• Research
• Open Access

Bounds for blow-up time in a semilinear pseudo-parabolic equation with nonlocal source

Journal of Inequalities and Applications20162016:229

https://doi.org/10.1186/s13660-016-1171-4

• Accepted: 7 September 2016
• Published:

Abstract

This paper considers the following semilinear pseudo-parabolic equation with a nonlocal source:
$$u_{t}-\triangle u_{t}-\triangle u=u^{p}(x,t) \int_{\Omega}k(x,y)u^{p+1}(y,t)\,dy,$$
and it explores the characters of blow-up time for solutions, obtaining a lower bound as well as an upper bound for the blow-up time under different conditions, respectively. Also, we investigate a nonblow-up criterion and compute an exact exponential decay.

• lower bound
• blow up
• upper bound

• 60H15
• 35L05
• 35L70

1 Introduction

In this paper, we deal with the blow-up problem for the following equation:
$$\left \{ \textstyle\begin{array}{@{}l} u_{t}-\triangle u_{t}-\triangle u=u^{p}(x,t)\int_{\Omega} k(x,y)u^{p+1}(y,t)\,dy \quad\mbox{in } [0,T]\times\Omega,\\ u(0,x)=u_{0}(x) \quad\mbox{in } \Omega,\\ u(t,x)=0 \quad\mbox{on } [0,T]\times\partial\Omega, \end{array}\displaystyle \right .$$
(1.1)
where $$\Omega\subset\mathbb{R}^{n}$$ ($$n\geq3$$) is a bounded domain with smooth boundary, $$u_{0}(x)\in H_{0}^{1}(\Omega)$$, $$T\in(0,\infty]$$, and p satisfies
\begin{aligned} 0< p\leq\frac{2}{n-2}, \end{aligned}
(1.2)
$$k(x,y)$$ is an integrable, real valued function satisfying
\begin{aligned} &k(x,y)=k(y,x),\qquad \int_{\Omega} \int_{\Omega }k^{2}(x,y)\,dx\,dy< \infty, \\ & \int_{\Omega} \int_{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy>0. \end{aligned}
(1.3)
The blow-up phenomena for problems similar to (1.1) have been extensively researched (see ). For instance,
$$\left \{ \textstyle\begin{array}{@{}l} u_{t}-\triangle u=u^{p} \quad\mbox{in } [0,T]\times\Omega,\\ u(0,x)=u_{0}(x) \quad\mbox{in } \Omega,\\ u(t,x)=0 \quad\mbox{on } [0,T]\times\partial\Omega, \end{array}\displaystyle \right .$$
and bounds for the blow-up time have been explored [8, 9].
Recently, authors have begun to consider
$$u_{t}-\triangle u_{t}-\triangle u=f(u).$$
(1.4)
When $$f(u)=u^{p}$$ in (1.4), many results have been studied in [5, 6, 1012] and the references therein, among which Xu  proved finite time blow up for solutions through the so-called potential well method, first introduced in . The method has played an important role in dealing with parabolic and hyperbolic problems since it was discovered. Later on, confirmed by the same conditions as  that guarantee the occurrence of blow up, Luo  established a lower bound for the blow-up time. Furthermore, when $$f(u)=u^{p}(x,t)\int_{\Omega}k(x,y)u^{p+1}(y,t)\,dy$$ with $$0< p\leq \frac{2}{n-2}$$ in (1.4), which is a new problem and has not been considered, by means of the potential well method, Yang  not only obtained the global existence and asymptotic behavior of solutions with deducing exponential decay, but also got the existence of solutions that blow up in finite time in $$H^{1}_{0}(\Omega)$$-norm with energy $$J(u_{0})\leq d$$.

In the last several decades, an increasing number of researchers focused on exploring the upper bounds for the blow-up time. However, the authors have trouble getting lower bounds for the blow-up time, and therefore they received little attention. In this paper, we use the means of a differential inequality technique and present some results on the bounds for the blow-up time to problem (1.1) since little attention is paid to the bounds before we study. Our paper is organized as follows. In Section 2, we come up with the main results: First of all, a blow-up criterion and an upper bound for the blow-up time are determined. Second, we investigate the nonblow-up case. Finally, a lower bound for the blow-up time is obtained.

Before stating our principal theorem, we note that the Fréchet derivative $$f_{u}$$ of the nonlinear function $$f(u)=u^{p}(x,t)\int_{\Omega}k(x,y)u^{p+1}(y,t)\,dy$$ is
\begin{aligned} f_{u}\cdot h(x,t) =&pu^{p-1}(x,t)h(x,t) \int_{\Omega }k(x,y)u^{p+1}(y,t)\,dy \\ &{} +(p+1)u^{p}(x,t) \int_{\Omega }k(x,y)u^{p}(y,t)h(y,t)\,dy, \quad \forall u\in H^{1}_{0}(\Omega). \end{aligned}
Clearly $$f_{u}$$ is symmetric and bounded, so the potential F exists and is given by
\begin{aligned} F(u) =& \int^{1}_{0}\bigl(f(\rho u),u\bigr)\,d\rho \\ =& \int^{1}_{0} \int_{\Omega}\rho^{p}u^{p}(x,t) \biggl( \int_{\Omega}k(x,y)\rho^{p+1}u^{p+1}(y,t)\,dy \biggr)u(x,t)\,dx\,d\rho \\ =&\frac{1}{2p+2} \int_{\Omega} \int_{\Omega }k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy. \end{aligned}
(1.5)
Differentiating (1.5) with respect to t, it follows that
\begin{aligned} \frac{d}{dt}F(u) =&\frac{1}{2p+2}\frac{d}{dt} \int_{\Omega} \int _{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy \\ =&\frac{1}{2} \int_{\Omega} \int_{\Omega }k(x,y)u^{p}(x,t)u^{p+1}(y,t)u_{t}(x,t)\,dx\,dy \\ &{} +\frac{1}{2} \int_{\Omega} \int_{\Omega }k(x,y)u^{p}(y,t)u^{p+1}(x,t)u_{t}(y,t)\,dx\,dy \\ =& \int_{\Omega} \int_{\Omega }k(x,y)u^{p}(x,t)u^{p+1}(y,t)u_{t}(x,t)\,dx\,dy= \bigl(f(u),u_{t}\bigr), \end{aligned}
(1.6)
where we have used the symmetry of $$k(x,y)$$.
To obtain the main results, we introduce the functionals
$$J(u)=\frac{1}{2}\|\nabla u\|^{2}_{2}- \frac{1}{2p+2} \int_{\Omega } \int _{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy$$
(1.7)
and
$$I(u)=\|\nabla u\|^{2}_{2}- \int_{\Omega} \int_{\Omega }k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy.$$
(1.8)

We set out to establish local existence and uniqueness for (1.1).

Theorem 1.1

Assume (1.2) holds. Then for any $$u_{0}\in H_{0}^{1}(\Omega)$$, there exists a $$T>0$$ for which (1.1) has a unique local solution $$u(t)\in L^{\infty}([0,T);H_{0}^{1}(\Omega))$$ with $$u_{t}(t)\in L^{2}([0,T);H_{0}^{1}(\Omega))$$, satisfying
\begin{aligned} (u_{t}, v)+(\nabla u_{t},\nabla v)+(\nabla u, \nabla v)=\biggl(u^{p}(x,t) \int _{\Omega}k(x,y)u^{p+1}(y,t)\,dy, v\biggr) \end{aligned}
(1.9)
for all $$v \in H_{0}^{1}(\Omega)$$.

Proof

Choose $$\{\omega_{j}(x)\}$$ as the basis functions of $$H^{1}_{0}(\Omega)$$. Construct the approximate solutions $$u_{m}(x,t)$$ of the problem (1.1)
\begin{aligned} u_{m}(x,t)=\sum^{m}_{j=1}g_{j}(t) \omega_{j}(x), \quad m=1,2,\ldots \end{aligned}
which satisfy
\begin{aligned}& \begin{aligned}[b] &(u_{mt},\omega_{s})+(\nabla u_{mt},\nabla \omega_{s})+(\nabla u_{m},\nabla\omega_{s})\\ &\quad= \biggl(u^{p}_{m}(x,t) \int_{\Omega }k(x,y)u^{p+1}_{m}(y,t)\,dy, \omega_{s}\biggr),\quad s=1,2,\ldots,m, \end{aligned} \end{aligned}
(1.10)
\begin{aligned}& u_{m}(x,0)=\sum^{m}_{j=1}a_{j} \omega_{j}(x)\rightarrow u_{0}(x) \quad \mbox{in }H^{1}_{0}(\Omega). \end{aligned}
(1.11)
Multiplying (1.10) by $$g^{\prime}_{s}(t)$$, summing over s, and integrating with respect to t from 0 to t, we obtain
$$\int^{t}_{0}\bigl[\|u_{m\tau} \|^{2}_{2}+\|\nabla u_{m\tau}\| ^{2}_{2} \bigr]\,d\tau +J\bigl(u_{m}(t)\bigr)=J\bigl(u_{m}(0)\bigr)\leq C.$$
(1.12)
In fact
\begin{aligned} J(u_{0}) =&\frac{1}{2}\|\nabla u_{0} \|^{2}_{2}-\frac{1}{2p+2} \int _{\Omega} \int_{\Omega}k(x,y)u_{0}^{p+1}(x,t)u_{0}^{p+1}(y,t)\,dx\,dy \\ \leq&\frac{1}{2}\|\nabla u_{0}\|^{2}_{2} \leq C, \end{aligned}
where we have used condition (1.3) and $$u_{0}\in H_{0}^{1}(\Omega)$$. Thus for sufficiently large m, we get (1.12). Hence, by (1.12) and
\begin{aligned} J(u_{m})=\frac{1}{2}\|\nabla u_{m} \|^{2}_{2}-\frac{1}{2p+2} \int _{\Omega } \int_{\Omega}k(x,y)u_{m}^{p+1}(x,t)u_{m}^{p+1}(y,t)\,dx\,dy \end{aligned}
we obtain
\begin{aligned} &\int^{t}_{0}\bigl[\|u_{m\tau} \|^{2}_{2}+\|\nabla u_{m\tau}\| ^{2}_{2} \bigr]\,d\tau +\frac{1}{2}\| u_{m}\|^{2}_{H_{0}^{1}} \\ &\quad\leq C+\frac{1}{2p+2} \int _{\Omega } \int_{\Omega}k(x,y)u_{m}^{p+1}(x,t)u_{m}^{p+1}(y,t)\,dx\,dy. \end{aligned}
(1.13)
We estimate the last term in the right-hand side using the Hölder and Sobolev inequalities (recall $$u_{m}\in C^{1}([0,T],H_{0}^{1}(\Omega))$$):
\begin{aligned} & \int_{\Omega} \int_{\Omega }k(x,y)u_{m}^{p+1}(x,t)u_{m}^{p+1}(y,t)\,dx\,dy \\ &\quad\leq \int_{\Omega}u_{m}^{p+1}(x,t) \biggl( \int_{\Omega }k^{2}(x,y)\,dy \biggr)^{\frac{1}{2}} \biggl( \int_{\Omega }u_{m}^{2p+2}(y,t)\,dy \biggr)^{\frac{1}{2}}\,dx \\ &\quad=\|u_{m}\|^{p+1}_{2p+2} \int_{\Omega }u_{m}^{p+1}(x,t) \biggl( \int_{\Omega}k^{2}(x,y)\,dy \biggr)^{\frac{1}{2}}\,dx \\ &\quad\leq\|u_{m}\|^{p+1}_{2p+2} \biggl( \int _{\Omega }u_{m}^{2p+2}(x,t)\,dx \biggr)^{\frac{1}{2}} \biggl( \int_{\Omega} \int _{\Omega }k^{2}(x,y)\,dy\,dx \biggr)^{\frac{1}{2}} \\ &\quad=\|u_{m}\|^{2p+2}_{2p+2} \biggl( \int_{\Omega } \int _{\Omega}k^{2}(x,y)\,dy\,dx \biggr)^{\frac{1}{2}} \\ &\quad=\kappa\|u_{m}\|^{2p+2}_{2p+2}\leq\kappa C^{2p+2}_{\ast}\| u_{m}\| ^{2p+2}_{H_{0}^{1}} \leq C_{T}, \end{aligned}
(1.14)
here $$\kappa= (\int_{\Omega}\int_{\Omega}k^{2}(x,y)\,dx\,dy )^{\frac {1}{2}}<\infty$$, and $$C_{\ast}$$ is the embedding constant for $$H_{0}^{1}(\Omega)\hookrightarrow L^{2p+2}(\Omega)$$. From (1.13) and (1.14) we obtain
$$\int^{T}_{0}\bigl[\|u_{m\tau} \|^{2}_{2}+\|\nabla u_{m\tau}\| ^{2}_{2} \bigr]\,d\tau +\frac{1}{2}\| u_{m}\|^{2}_{H_{0}^{1}} \leq C_{T}.$$
(1.15)
On the other hand, by using the Hölder and Sobolev inequalities, here $$q=\frac{2p+2}{2p+1}$$, we have
\begin{aligned} & \int_{\Omega} \biggl[u^{p}_{m}(x,t) \int_{\Omega }k(x,y)u^{p+1}_{m}(y,t)\,dy \biggr]^{q}\,dx \\ &\quad\leq \int _{\Omega}\bigl|u_{m}(x,t)\bigr|^{pq} \biggl( \int_{\Omega}\bigl|k(x,y)\bigr|^{2}\,dy \biggr)^{\frac {q}{2}} \biggl( \int_{\Omega}\bigl|u_{m}(y,t)\bigr|^{2p+2}\,dy \biggr)^{\frac{q}{2}}\,dx \\ &\quad\leq\|u_{m}\|^{q(p+1)}_{2p+2} \biggl[ \int _{\Omega }\bigl|u_{m}(x,t)\bigr|^{pq\cdot\frac{2p+1}{p}}\,dx \biggr]^{\frac{p}{2p+1}} \biggl[ \int _{\Omega} \biggl( \int_{\Omega}\bigl|k(x,y)\bigr|^{2}\,dy \biggr)^{\frac{q}{2}\cdot \frac {2p+1}{p+1}}\,dx \biggr]^{\frac{p+1}{2p+1}} \\ &\quad\leq\|u_{m}\|^{2p+2}_{2p+2} \biggl[ \int _{\Omega } \int_{\Omega}\bigl|k(x,y)\bigr|^{2}\,dy\,dx \biggr]^{\frac{p+1}{2p+1}} \\ &\quad =\|u_{m}\|^{2p+2}_{2p+2} \kappa^{\frac {2p+2}{2p+1}} \leq C^{2p+2}_{\ast}\| u_{m}\|^{2p+2}_{H_{0}^{1}} \kappa ^{\frac{2p+2}{2p+1}}. \end{aligned}
(1.16)
By (1.15) and (1.16), for sufficiently large m, we get
\begin{aligned}& \| u_{m}\|^{2}_{H_{0}^{1}}\leq2C_{T}, \end{aligned}
(1.17)
\begin{aligned}& \int^{T}_{0}\bigl[\|u_{m\tau} \|^{2}_{2}+\|\nabla u_{m\tau}\| ^{2}_{2} \bigr]\,d\tau< C_{T}, \end{aligned}
(1.18)
\begin{aligned}& \biggl\| u^{p}_{m} \int_{\Omega}k(x,y)u^{p+1}_{m}(y,t)\,dy \biggr\| ^{q}_{q}\leq C^{2p+2}_{\ast}(2C_{T})^{p+1} \kappa^{\frac{2p+2}{2p+1}}. \end{aligned}
(1.19)
Therefore, by these uniform estimates from (1.17)-(1.19), there exist u and a subsequence still denoted by $$\{u_{m}\}$$ such that, as $$m\rightarrow\infty$$,
\begin{aligned}& u_{m}\rightarrow u \quad\mbox{in } L^{\infty}\bigl([0,T], H^{1}_{0}(\Omega)\bigr) \mbox{ weakly star and a.e. in } \Omega\times[0,T], \\& u_{mt}\rightarrow u_{t} \quad\mbox{in } L^{2} \bigl([0,T], H_{0}^{1}(\Omega)\bigr) \mbox{ weakly star}, \\& \begin{aligned}[b] &u^{p}_{m} \int_{\Omega}k(x,y)u^{p+1}_{m}(y,t)\,dy\rightarrow u^{p} \int _{\Omega}k(x,y)u^{p+1}(y,t)\,dy \\ &\quad\mbox{in } L^{\infty}\bigl([0,T], L^{q}(\Omega)\bigr) \mbox{ weakly star}. \end{aligned} \end{aligned}
Thus in (1.10), for s fixed, letting $$m\rightarrow\infty$$, one has
$$(u_{t},\omega_{s})+(\nabla u_{t},\nabla \omega_{s})+(\nabla u,\nabla \omega_{s})= \biggl(u^{p}(x,t) \int_{\Omega}k(x,y)u^{p+1}(y,t)\,dy,\omega _{s} \biggr), \quad \forall s$$
and
\begin{aligned} &(u_{t},v)+(\nabla u_{t},\nabla v)+(\nabla u,\nabla v)= \biggl(u^{p}(x,t) \int _{\Omega}k(x,y)u^{p+1}(y,t)\,dy,v\biggr), \\ &\quad \forall v\in H^{1}_{0}(\Omega), t\in[0,T]. \end{aligned}
Moreover, (1.11) gives $$u(x,0)=u_{0}(x)$$ in $$H^{1}_{0}(\Omega)$$. The existence of u solving (1.1) and satisfying (1.9) is so proved. □

2 Main results

I. Upper bound for blow-up time

Here, a condition to ensure blow-up at some finite time as well as an upper bound for the blow-up time is considered.

$$J(u)$$ is defined in (1.7) and we introduce
\begin{aligned} \alpha(t)=\bigl\| u(x,t)\bigr\| ^{2}_{H_{0}^{1}}= \int_{\Omega}u^{2}\,dx + \int_{\Omega}|\nabla u|^{2}\,dx. \end{aligned}
(2.1)
A straightforward computation shows that
\begin{aligned} \int_{\Omega}uu_{t}\,dx+ \int_{\Omega}\nabla u\cdot\nabla u_{t}\,dx+ \int _{\Omega}|\nabla u|^{2}\,dx = \int_{\Omega} \int_{\Omega }k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dy\,dx. \end{aligned}
(2.2)
Combining (2.1) with (2.2), we obtain
\begin{aligned} \alpha^{\prime}(t) =&-2 \int_{\Omega}|\nabla u|^{2}\,dx +2 \int _{\Omega} \int _{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dy\,dx \geq\beta(t), \end{aligned}
(2.3)
where
$$\beta(t)=-4(p+1)J(u)=-2(p+1)\|\nabla u\|^{2}_{2}+2 \int_{\Omega} \int_{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy,$$
(2.4)
for any $$p>0$$. We obtain the following by multiplying $$u_{t}(x,t)$$ on both sides of (1.1) and integrating by parts:
\begin{aligned} \int_{\Omega}|u_{t}|^{2}\,dx+ \int_{\Omega}|\nabla u_{t}|^{2}\,dx =&- \int _{\Omega}\nabla u\cdot\nabla u_{t}\,dx \\ &{} + \int_{\Omega} \int_{\Omega }k(x,y)u^{p}(x,t)u^{p+1}(y,t)u_{t}(x,t) \,dy\,dx. \end{aligned}
(2.5)
From (2.5), we have
\begin{aligned} \beta^{\prime}(t) =&4(p+1) \biggl(- \int_{\Omega}\nabla u\cdot\nabla u_{t}\,dx \\ &{}+ \frac{1}{2p+2} \int_{\Omega} \int_{\Omega }k(x,y) (p+1)u^{p}(x,t)u^{p+1}(y,t)u_{t}(x,t) \,dy\,dx \\ &{} +\frac{1}{2p+2} \int_{\Omega} \int _{\Omega }k(x,y) (p+1)u^{p}(y,t)u^{p+1}(x,t)u_{t}(y,t) \,dy\,dx \biggr) \\ =&4(p+1) \biggl(- \int_{\Omega}\nabla u\cdot\nabla u_{t}\,dx + \int_{\Omega} \int_{\Omega}k(x,y)u^{p}(x,t)u^{p+1}(y,t)u_{t}(x,t) \,dy\,dx \biggr) \\ =&4(p+1) \biggl( \int_{\Omega}|u_{t}|^{2}\,dx+ \int_{\Omega }|\nabla u_{t}|^{2}\,dx \biggr), \end{aligned}
(2.6)
where we have used the symmetry property of $$k(x,y)$$ in the second step in (2.6).
By (2.1) and (2.6), one sees
\begin{aligned}[b] \alpha(t)\beta^{\prime}(t)&=4(p+1) \biggl( \int_{\Omega}u^{2}\,dx + \int_{\Omega}|\nabla u|^{2}\,dx \biggr) \biggl( \int_{\Omega }|u_{t}|^{2}\,dx+ \int _{\Omega}|\nabla u_{t}|^{2}\,dx \biggr)\\ &\geq4(p+1) \biggl( \int_{\Omega }uu_{t}\,dx+ \int _{\Omega}\nabla u\cdot\nabla u_{t}\,dx \biggr)^{2}=(p+1)\bigl[\alpha^{\prime }(t)\bigr]^{2}. \end{aligned}
(2.7)
In addition, it is indicated from (2.4) and (2.6) that $$\beta(t)$$ is a nondecreasing function of t. So if we assume $$J(u_{0})<0$$, then $$\beta(t)> 0$$ for all $$t\geq0$$. And with (2.3), we have
$$\alpha(t)\beta^{\prime}(t)\geq(p+1)\alpha^{\prime}(t)\beta(t),$$
which becomes
\begin{aligned} \frac{\beta^{\prime}(t)}{\beta(t)}\geq(p+1)\frac{\alpha^{\prime }(t)}{\alpha(t)}. \end{aligned}
(2.8)
By (2.3), we have
\begin{aligned} \frac{\alpha^{\prime}(t)}{[\alpha(t)]^{p+1}}\geq\frac{\beta (0)}{[\alpha (0)]^{p+1}}. \end{aligned}
(2.9)
Then
\begin{aligned} \frac{1}{[\alpha(t)]^{p}}\leq\frac{1}{[\alpha(0)]^{p}}-p\frac {\beta (0)}{[\alpha(0)]^{p+1}}t. \end{aligned}
(2.10)
It is obvious that (2.10) implies u blows up at some finite time T. T is given by
\begin{aligned} T\leq\frac{1}{p}\frac{\alpha(0)}{\beta(0)} =\frac{\|u_{0}\|^{2}_{H_{0}^{1}}}{-4p(p+1)J(u_{0})}. \end{aligned}
(2.11)

The above result is presented in the following theorem.

Theorem 2.1

For any $$p>0$$, $$u_{0}\in H_{0}^{1}(\Omega)\cap L^{2p+2}(\Omega)$$, $$J(u_{0})< 0$$, then the solution $$u(x,t)$$ of (1.1) blows up in finite time, and T is bounded by (2.11).

II. Nonblow-up case

In this section, we not only give a criterion which guarantees nonblow up, but also we deduce the exponential decay of $$u(\cdot,t)$$ in $$H^{1}_{0}(\Omega)$$-norm when $$u_{0}(x)$$ satisfies some conditions.

$$\alpha(t)$$ is defined in (2.1).

By a similar calculation to (1.14), we have
\begin{aligned} \int_{\Omega} \int_{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dx\,dy \leq \kappa \|u\|^{2p+2}_{2p+2}. \end{aligned}
(2.12)
By a straightforward computation, we have
\begin{aligned} \alpha^{\prime}(t) \leq&-2 \int_{\Omega}|\nabla u|^{2}\,dx +2\kappa\| u\| ^{2p+2}_{2p+2} \\ \leq&-2 \int_{\Omega}|\nabla u|^{2}\,dx+2\kappa C^{2p+2}_{\ast}\|\nabla u\|^{2p+2}_{2} \\ \leq&-2 \int_{\Omega}|\nabla u|^{2}\,dx+2\kappa C^{2p+2}_{\ast}\bigl[\varphi(t)\bigr]^{p+1}. \end{aligned}
(2.13)
The Poincaré inequality gives $$\|\nabla u\|^{2}_{2}\geq\lambda_{1}\| u\|^{2}_{2}$$ where $$\lambda_{1}$$ is the first eigenvalue of the problem
$$\left \{ \textstyle\begin{array}{@{}l} \triangle\omega+\lambda\omega=0 \quad \mbox{in } \Omega,\\ \omega=0 \quad\mbox{on } \partial\Omega,\\ \omega>0 \quad\mbox{in } \Omega. \end{array}\displaystyle \right .$$
(2.14)
Then
\begin{aligned} \|\nabla u\|^{2}_{2}\geq\frac{\lambda_{1}}{1+\lambda_{1}}\| u \| ^{2}_{H_{0}^{1}}. \end{aligned}
(2.15)
From (2.13) and (2.15), we know that
\begin{aligned} \alpha^{\prime}(t) \leq&-2\frac{\lambda_{1}}{1+\lambda_{1}}\| u\| ^{2}_{H_{0}^{1}}+2\kappa C^{2p+2}_{\ast}\bigl[ \alpha(t)\bigr]^{p+1} \\ =&-2\frac{\lambda_{1}}{1+\lambda_{1}}\alpha (t)+2\kappa C^{2p+2}_{\ast}\bigl[ \alpha(t)\bigr]^{p+1} \\ \leq&\frac{-2}{1+\lambda_{1}}\alpha(t) \bigl(\lambda _{1}-\kappa(1+ \lambda_{1})C^{2p+2}_{\ast}\bigl[\alpha(t) \bigr]^{p} \bigr). \end{aligned}
(2.16)
Let
$$M= \biggl(\frac{\lambda_{1}}{\kappa(1+\lambda_{1})C^{2p+2}_{\ast }} \biggr)^{\frac{1}{p}}.$$
If $$\alpha(0)< M$$, then we show that $$\alpha(t)< M$$.

In fact, if $$\alpha(t)\geq M$$, we know that there exists $$t_{0}$$ such that $$\alpha(t_{0})=M$$ and $$\alpha(t)< M$$ for $$0\leq t< t_{0}$$. From (2.16), we have $$\alpha^{\prime}(t)<0$$ for $$0\leq t< t_{0}$$, from which we deduce $$\alpha(0)\geq\alpha(t_{0})=M$$. It leads to a contradiction. This shows $$\alpha^{\prime}(t)<0$$, and blow up cannot occur in finite time.

Thus (2.16) becomes
\begin{aligned} \frac{\alpha^{\prime}(t)}{\alpha(t) (\lambda_{1}-\kappa (1+\lambda _{1})C^{2p+2}_{\ast}[\alpha(t)]^{p} )}\leq\frac{-2}{1+\lambda_{1}}, \end{aligned}
(2.17)
then
\begin{aligned} \int^{\alpha(t)}_{\alpha(0)} \frac{d\gamma}{\gamma (\lambda_{1}-\kappa(1+\lambda_{1}) C^{2p+2}_{\ast}\gamma^{p} )}\leq \frac{-2}{1+\lambda_{1}}t, \end{aligned}
(2.18)
through variable substitution $$\eta=\gamma^{p}$$, (2.18) turns to
\begin{aligned} \int^{[\alpha(t)]^{p}}_{[\alpha(0)]^{p}} \frac{d\eta}{p\eta (\lambda_{1}-\kappa(1+\lambda_{1}) C^{2p+2}_{\ast}\eta )}\leq \frac{-2}{1+\lambda_{1}}t \end{aligned}
(2.19)
and
$$\bigl\| u(x,t)\bigr\| ^{2}_{H_{0}^{1}}=\alpha(t)\leq \biggl(\frac{\lambda_{1} \| u_{0}\|^{2p}_{H_{0}^{1}}}{\lambda_{1}-\kappa(1+\lambda_{1}) C^{2p+2}_{\ast}\|u_{0}\|^{2p}_{H_{0}^{1}}} \biggr)^{\frac {1}{p}}e^{-\frac {2\lambda_{1}}{1+\lambda_{1}}}.$$

We state this result in the following theorem.

Theorem 2.2

If $$0< p\leq\frac{2}{n-2}$$, $$\|u_{0}\|^{2}_{H_{0}^{1}}< M$$, then the solution of (1.1) cannot blow up in finite time in $$H^{1}_{0}(\Omega)$$-norm, and we have the exponential decay estimate
$$\bigl\| u(x,t)\bigr\| ^{2}_{H_{0}^{1}}\leq \biggl(\frac{\lambda_{1} \|u_{0}\| ^{2p}_{H_{0}^{1}}}{\lambda_{1}-\kappa(1+\lambda_{1}) C^{2p+2}_{\ast}\|u_{0}\|^{2p}_{H_{0}^{1}}} \biggr)^{\frac {1}{p}}e^{-\frac {2\lambda_{1}}{1+\lambda_{1}}}.$$

III. Lower bounds for blow-up time

This section is devoted to establishing a lower bound for T if the solution $$u(x,t)$$ blows up at $$t=T$$ under some conditions.

Let
$$d=\frac{p}{2(p+1)\kappa^{\frac{1}{p}}} \biggl(\frac{\lambda_{1}}{C^{2}_{\ast}(1+\lambda_{1})} \biggr)^{1+\frac{1}{p}}.$$
(2.20)

For the problem (1.1) Yang  has proved Theorem 2.3.

Theorem 2.3

(Blow up for $$J(u_{0})< d$$) ()

Let p satisfy (1.2), $$u_{0}\in H_{0}^{1}(\Omega)$$. Assume that $$J(u_{0})< d$$, $$I(u_{0})<0$$. Then the weak solution $$u(t)$$ of problem (1.1) blows up in finite time.

In view of Theorem 2.3, we see that when $$J(u_{0})< d$$ and $$I(u_{0})<0$$, the solution $$u(x,t)$$ of problem (1.1) blows up in finite time T. To continue our study and estimate the lower bound for the blow-up time T, we assume $$J(u_{0})< d$$, $$I(u_{0})<0$$ in this section.

We introduce $$\alpha(t)$$ in (2.1) and, calculating as (2.13), we have
\begin{aligned} \alpha^{\prime}(t) =&-2 \int_{\Omega}|\nabla u|^{2}\,dx +2 \int _{\Omega} \int _{\Omega}k(x,y)u^{p+1}(x,t)u^{p+1}(y,t)\,dy\,dx \\ \leq&2\kappa C^{2p+2}_{\ast}\bigl[\alpha(t) \bigr]^{p+1}. \end{aligned}
(2.21)
Here, we claim $$\alpha(t)>0$$. In fact, if there exists $$t_{0}\in[0,T)$$ such that $$\alpha(t_{0})=0$$, then $$\alpha(T)=0$$. It leads to a contradiction with the fact that $$u(x,t)$$ blows up at T in $$H^{1}_{0}(\Omega)$$-norm. Thus
$$\frac{\alpha^{\prime}(t)}{(\alpha(t))^{p+1}}\leq2\kappa C^{2p+2}_{\ast}$$
(2.22)
and
$$\bigl(\alpha(0)\bigr)^{-p}-\bigl(\alpha(t) \bigr)^{-p}\leq2p\kappa C^{2p+2}_{\ast}t.$$
(2.23)
Letting $$t\rightarrow T$$ in (2.23), one obtains
$$T\geq\frac{\|u_{0}\|^{-2p}_{H_{0}^{1}}}{2p\kappa C^{2p+2}_{\ast}}.$$
(2.24)

We summarize this result in the following theorem.

Theorem 2.4

If $$0< p\leq\frac{2}{n-2}$$, $$u_{0}\in H_{0}^{1}(\Omega)$$, $$J(u_{0})< d$$, $$I(u_{0})<0$$, then the solution $$u(x,t)$$ of (1.1) blows up in finite time T in $$H^{1}_{0}(\Omega)$$-norm, and T is bounded below by (2.24).

Remark 2.1

We mention that the lower bound $$\frac{\|u_{0}\| ^{-2p}_{H_{0}^{1}}}{2p\kappa C^{2p+2}_{\ast}}$$ is smaller than the upper bound $$\frac{\|u_{0}\|^{2}_{H_{0}^{1}}}{-4p(p+1)J(u_{0})}$$ under the conditions in Theorem 2.4 and Theorem 2.1.

In fact,
$$J(u_{0})\geq \int_{\Omega}|\nabla u_{0}|^{2}\,dx- \frac{1}{2p+2}\kappa\|u_{0}\|^{2p+2}_{2p+2}\geq- \frac {1}{2p+2}\kappa C^{2p+2}_{\ast}\| u_{0} \|^{2p+2}_{H_{0}^{1}},$$
thus
$$\frac{\|u_{0}\|^{-2p}_{H_{0}^{1}}}{2p\kappa C^{2p+2}_{\ast}}\leq \frac{\| u_{0}\|^{2}_{H_{0}^{1}}}{-4p(p+1)J(u_{0})}.$$

Remark 2.2

Suppose $$p\in(0,\frac{2}{n-2}]$$, $$u_{0}\in H_{0}^{1}(\Omega)$$, $$J(u_{0})< d$$, then it is well known through the results in  that problem (1.1) has a sharp condition: the case of $$I(u_{0})>0$$ admits a global weak solution and the case of $$I(u_{0})<0$$ does not admit any global weak solution. However, a more powerful condition $$J(u_{0})< 0$$ is required in Theorem 2.1 and we can deduce $$I(u_{0})<0$$ from $$J(u_{0})< 0$$. More importantly, we obtain the precise upper bound $$\frac{\|u_{0}\|^{2}_{H_{0}^{1}}}{-4p(p+1)J(u_{0})}$$ for the blow-up time.

Declarations

Acknowledgements

The authors would like to thank the anonymous referees for their constructive corrections and valuable comments on this paper, which have considerably improved the presentation of this paper. This project is supported in part by China NSF Grant No. 11501442, Natural Science Basic Research Plan in Shaanxi Province of China No. 2016JM1025, the scientific research program funded by Shanxi Provincial Education Department No. 14JK1474, Graduate student self-determined and innovative research funds No. YZZ15070. 