Sharp threshold for blow-up and global existence in a semilinear parabolic equation with variable source

Jinge Yang; Haixiong Yu

doi:10.1186/s13661-017-0812-y

Research
Open Access

Sharp threshold for blow-up and global existence in a semilinear parabolic equation with variable source

Jinge Yang¹Email author and
Haixiong Yu¹

Boundary Value Problems20172017:80

https://doi.org/10.1186/s13661-017-0812-y

Received: 20 February 2017
Accepted: 18 May 2017
Published: 30 May 2017

Abstract

This paper deals with a semilinear parabolic equation with variable source under the case that the initial energy is less than the potential well depth. We deduce a sharp threshold for blow-up and global existence of solutions. Furthermore, we conclude that the global solution decays as the time goes to infinity.

Keywords

semilinear parabolic equations
variable source
initial energy
global existence
blow-up

1 Introduction

In this paper, we consider an initial boundary value problem for the semilinear parabolic equation with variable exponent:

$$ \textstyle\begin{cases} u_{t}=\Delta {u}+\vert u\vert ^{p(x)-2}u, & x \in \Omega, t>0, \\ u(x,t)=0,& x \in \partial \Omega, t>0, \\ u(x,0)=u_{0}(x), & x\in \Omega, \end{cases} $$

(1.1)

where Ω is a bounded smooth domain of $\mathbb{R}^{N}$ ($N \geq 3$), $u_{0}\in H_{0}^{1}(\Omega)$, and $p(x)$ is a continuous and bounded function satisfying

$$ 2< p^{-}:=\inf_{x\in \Omega }p(x)\le p^{+}:=\sup_{x\in \Omega }p(x)< 2^{*}= \frac{2N}{N-2}. $$

(1.2)

Eq. (1.1) has been used to model a variety of important physical processes, such as electrorheological fluids (where u is the velocity of moving fluids in electro-magnetic fields) [1], thermo-rheological flows or population dynamics [2, 3]. There is a substantial amount of work concerning the case $p(x)\equiv p$, see, for example, [4–6].

To deal with the variable source, it is convenient to introduce a Lebesgue space $L^{p(\cdot)}(\Omega)$, defined as the space of measurable functions u in Ω satisfying $\int_{\Omega }\vert u\vert ^{p(x)}\,dx< \infty $. We mention that this kind of Lebesgue space or general Sobolev space with variable exponent and their applications have got a lot of attention, see the monograph [7] and some recent work [8–11] for instance.

With the norm

$$\Vert u\Vert _{p(\cdot)}:=\Vert u\Vert _{L^{p(\cdot)}}(\Omega) =\inf \biggl\{ \lambda >0: \int_{\Omega } \biggl\vert \frac{u}{\lambda } \biggr\vert ^{p(x)}\,dx\le 1 \biggr\} , $$

the space $L^{p(\cdot)}(\Omega)$ is a Banach space and

$$ \inf \bigl\{ \Vert u\Vert _{p(\cdot)}^{p^{+}}, \Vert u\Vert _{p(\cdot)}^{p^{-}} \bigr\} \leq \int_{\Omega }\vert u\vert ^{p(x)}\,dx \leq \max \bigl\{ \Vert u\Vert _{p(\cdot)}^{p^{+}}, \Vert u\Vert _{p(\cdot)}^{p^{-}}\bigr\} , $$

(1.3)

see [12]. Combining Corollary 3.34 in [12] and the Poincaré inequality, we have

$$\begin{aligned} \Vert u\Vert _{p(\cdot)}\le B \Vert \nabla u\Vert _{2}. \end{aligned}$$

(1.4)

Regarding variable sources, Pinasco [13] proved that the solution of (1.1) blows up in finite time provided that $p^{-}>1$ and the initial data is large enough. This result was then extended to $p^{+}>1$ by Ferreira et al. in [14]. For some positive initial energy, Wu et al. [15] gave a blow-up condition.

Proposition 1.1

Theorem 1.1 in [15]

Let

$$ E_{1}=:\frac{1}{p^{-}} \biggl(\frac{p^{+}-2}{2}B^{p^{+}} \alpha_{1}^{\frac{p ^{+}}{2}} +\frac{p^{-}-2}{2}B^{p^{-}} \alpha_{1}^{\frac{p^{-}}{2}} \biggr), $$

(1.5)

and

$$\overline{E}_{1}=: \biggl(\frac{p^{+}-2}{p^{-}-2} \biggr)^{\frac{2}{p^{+}}} \biggl\{ \frac{\alpha_{1}}{2}-\frac{1}{p^{-}} \biggl[B^{p^{+}} \biggl( \frac{p ^{+}-2}{p^{-}-2} \biggr)^{\frac{p^{+}-2}{p^{+}}}\alpha_{1}^{ \frac{p^{+}}{2}} +B^{p^{-}} \biggl(\frac{p^{+}-2}{p^{-}-2} \biggr)^{\frac{p ^{-}-2}{p^{-}}} \alpha_{1}^{\frac{p^{-}}{2}} \biggr] \biggr\} < E_{1}, $$

where $\alpha_{1}$ is defined by

$$ \frac{1}{p^{-}} \bigl(B^{p^{+}}p^{+} \alpha_{1}^{\frac{p^{+}-2}{2}}+B ^{p^{-}}p^{-} \alpha_{1}^{\frac{p^{-}-2}{2}} \bigr)=1. $$

(1.6)

Assume $1<\sqrt{2p^{+}-1}<p^{-}\le p^{+}\le \frac{N+2}{N-2}$ and $0< E(u_{0})<\overline{E}_{1}$. If $\Vert \nabla u_{0}\Vert _{2}^{2}>\alpha _{1}$, then the solution of Eq. (1.1) blows up in finite time.

Later, another blow-up condition was derived by Wang and He [16].

Proposition 1.2

Theorem 1 in [16]

Assume $1< p^{-}\le p^{+}\le \frac{N+2}{N-2}$ and $0< E(u_{0})< E_{2}=\frac{p ^{-}-2}{2p^{-}}B_{1}^{-\frac{2p^{-}}{p^{-}-2}}$ with $B_{1}\geq \max \{B,1\}$. If $\Vert \nabla u_{0}\Vert _{2}^{2}>\alpha_{2}=B_{1}^{-\frac{2p ^{-}}{p^{-}-2}}$, then the solution of Eq. (1.1) blows up in finite time.

Motivated by the above research, in this paper we have the main purpose to look for a sharp threshold for blow-up and global existence of solutions of (1.1) in general case (1.2) and (1.7) (in Section 4, we show $E_{0}> \overline{E}_{1}$ and $E_{0}\geq E_{2}$). We mainly use the potential well method, which was used to study the case $p(x)\equiv p$ by Payne and Sattinger [17], and was widely used to consider other parabolic models during the last years, see, for example, [18–21]. Similar to [22], local existence and uniqueness of solutions of (1.1) can be obtained by the Banach fixed point theorem as follows.

Proposition 1.3

Assume that (1.2) holds. Then (1.1) admits a unique solution $u\in C ([0,T_{\max });H_{0}^{1}(\Omega)) \cap C^{1} ((0,T_{\max });L^{2}(\Omega))$, where $T_{\max }>0$ denotes the maximal existence time. Either $T_{\max }<+\infty $ and $\lim_{t\rightarrow T_{\max }}\Vert u\Vert _{H_{0}^{1}(\Omega)}^{2}=+\infty $ (we say that the solution blows up in finite time), or $T_{\max }=+ \infty $ (we say that the solution is global in time).

Denote the energy functional

$$E(u)= \int_{\Omega } \biggl[\frac{1}{2}\bigl\vert \nabla u(x,t) \bigr\vert ^{2}-\frac{1}{p(x)}\bigl\vert u(x,t)\bigr\vert ^{p(x)} \biggr]\,dx $$

and the Nehari manifold

$$\mathcal{N}=\bigl\{ u\in H_{0}^{1}(\Omega)\vert N(u)=0, u \neq 0\bigr\} $$

with

$$N(u)=\bigl\langle E'(u),u\bigr\rangle = \int_{\Omega } \bigl[\bigl\vert \nabla u(x,t)\bigr\vert ^{2}-\bigl\vert u(x,t)\bigr\vert ^{p(x)} \bigr]\,dx. $$

In this paper, we assume that the initial energy is less than the potential well depth, namely

$$\begin{aligned} E(u_{0})< E_{0}:=\inf_{u\in \mathcal{N}}E(u). \end{aligned}$$

(1.7)

Now, we introduce our main results as follows.

Theorem 1.1

Assume that (1.2) and (1.7) hold. Then

(1)

if $N(u_{0})<0$, then the solution of Eq. (1.1) blows up in finite time;
(2)

if $N(u_{0})\geq 0$, then the solution u of Eq. (1.1) is global in time and $u(t)\rightarrow 0$ strongly in $H^{1}_{0}(\Omega)$ as $t\rightarrow \infty $.

Finally, we consider applications of Theorem 1.1 and derive the following results.

Corollary 1.1

Assume (1.2) and $0< E(u_{0})<\overline{E}_{1}$. The solution to Eq. (1.1) is global in time if $\Vert \nabla u_{0}\Vert _{2}^{2} \leq \alpha_{1}$.

Corollary 1.2

Assume (1.2) and $0< E(u_{0})< E_{2}$. The solution of Eq. (1.1) is global in time if $\Vert \nabla u_{0}\Vert _{2}^{2} \leq \alpha_{2}$.

Remark 1.1

Combined with Proposition 1.1 and Proposition 1.2, the above corollaries imply that the blow-up conditions in [15] and [16] are also sharp there.

This paper is organized as follows. In Section 2, we determine the blow-up condition of solutions of Eq. (1.1). In Section 3, we deal with global existence condition and then conclude that the global solution decays as the time goes to infinity. In Section 4, we prove Corollaries 1.1 and 1.2. Finally, we summarize the main results of the current paper.

In the sequel, we use $\Vert \cdot \Vert _{p}$ to denote $L^{p}(\Omega)$ norm, and denote the inner product in $L^{2}(\Omega)$ by the symbol $(\cdot ,\cdot )$.

2 Finite time blow-up

In this section, we pay attention to studying blow-up of solutions to Eq. (1.1). To deal with Theorem 1.1(1), we first give some preliminary lemmas.

Lemma 2.1

It holds $E_{0}>0$.

Proof

For $u\in \mathcal{N}$, that is $\int_{\Omega }\vert \nabla u\vert ^{2}\,dx= \int_{\Omega }\vert u\vert ^{p(x)}\,dx$, we have

$$ \begin{aligned} \int_{\Omega }\vert \nabla u\vert ^{2}\,dx &\le \int_{\Omega }\vert u\vert ^{p^{-}}\,dx+ \int_{\Omega }\vert u\vert ^{p^{+}}\,dx. \end{aligned} $$

We then apply the Poincáre inequality to find that

$$\begin{aligned} \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \le& \int_{\Omega }\vert u\vert ^{p^{-}}\,dx+ \int_{\Omega }\vert u\vert ^{p^{+}}\,dx \\ \le& C \biggl( \biggl( \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \biggr)^{ \frac{p^{-}}{2}} + \biggl( \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \biggr)^{\frac{p ^{+}}{2}} \biggr), \end{aligned}$$

thereby obtaining the inequality

$$\biggl( \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \biggr)^{\frac{p^{-}}{2}-1} + \biggl( \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \biggr)^{\frac{p^{+}}{2}-1}\ge \frac{1}{C}. $$

This implies

$$\int_{\Omega }\vert \nabla u\vert ^{2}\,dx\ge \min \biggl\{ \biggl(\frac{1}{2C} \biggr)^{\frac{2}{p^{-}-2}}, \biggl( \frac{1}{2C} \biggr)^{\frac{2}{p^{+}-2}} \biggr\} . $$

Therefore, we deduce

$$\begin{aligned} E(u) &\ge \frac{1}{2} \int_{\Omega }\vert \nabla u\vert ^{2}\,dx- \frac{1}{p^{-}} \int_{\Omega }\vert u\vert ^{p(x)}\,dx \\ &=\biggl(\frac{1}{2}-\frac{1}{p^{-}}\biggr) \int_{\Omega }\vert \nabla u\vert ^{2}\,dx+ \frac{1}{p ^{-}}N(u) \\ &\ge \frac{p^{-}-2}{2p^{-}}\min \biggl\{ \biggl(\frac{1}{2C} \biggr)^{\frac{2}{p ^{-}-2}}, \biggl(\frac{1}{2C} \biggr)^{\frac{2}{p^{+}-2}} \biggr\} . \end{aligned}$$

Due to the arbitrariness of $u\in \mathcal{N}$, we conclude $E_{0}>0$. □

Lemma 2.2

Fix $u\in H_{0}^{1}(\Omega)$, $u\neq 0$ and define $u^{\lambda }:= \lambda u$ with $\lambda >0$. Then

(1)

There exists a unique positive constant $\lambda_{0}>0$ such that $u^{\lambda_{0}}\in \mathcal{N}$ and $E(u^{\lambda_{0}})=\max_{\lambda >0} E(u^{\lambda })$;
(2)

$\lambda_{0}<1$ if and only if $N(u)<0$;
(3)

$\lambda_{0}=1$ if and only if $N(u)=0$.

Proof

A direct computation yields

$$\frac{d}{d\lambda }E\bigl(u^{\lambda }\bigr)=\lambda \int_{\Omega }\vert \nabla u\vert ^{2}\,dx- \int_{\Omega }\lambda^{p(x)-1}\vert u\vert ^{p(x)}\,dx=\frac{1}{\lambda }N( \lambda u), $$

and

$$\frac{d^{2}}{d\lambda^{2}}E\bigl(u^{\lambda }\bigr)= \int_{\Omega }\vert \nabla u\vert ^{2}\,dx- \int_{\Omega }\bigl(p(x)-1\bigr)\lambda^{p(x)-2}\vert u \vert ^{p(x)}\,dx. $$

Set $f(\lambda):=\frac{d}{d\lambda }E(\lambda u)$. There exists a unique $\lambda_{1}>0$ such that

(i)

$f(\lambda_{1})=\max_{\lambda >0}f(\lambda)$,
(ii)

$f(0)=0$,
(iii)

$f(\lambda)$ increases in $(0, \lambda_{1})$ and decreases in $(\lambda_{1}, +\infty)$. Conclusions (1)-(3) are easy consequences of (i)-(iii).

□

Denote

$$E^{\varepsilon }:=\inf \bigl\{ E(u):N(u)=-\varepsilon, u\in H_{0}^{1}( \Omega)\bigr\} $$

with $\varepsilon >0$.

Lemma 2.3

Let (1.2) hold. Then $E^{\varepsilon }\ge E_{0}-\frac{\varepsilon }{2}$.

Proof

Choose a minimized sequence $(u_{i})\subseteq H_{0}^{1}(\Omega)$ such that

$$N(u_{i})=-\varepsilon \quad \mbox{and}\quad E(u_{i})\rightarrow E^{\varepsilon } \quad ( \mbox{as }i\rightarrow \infty). $$

It follows from Lemma 2.2 that there exists a positive constant $\mu_{i}\in (0,1)$ such that

$$N(\mu_{i} u_{i})=0. $$

Therefore

$$\begin{aligned} E_{0}\le E(\mu_{i} u_{i}) =& \frac{1}{2}N(\mu_{i} u_{i})+ \int_{\Omega } \biggl(\frac{1}{2}- \frac{1}{p(x)} \biggr) \bigl\vert \mu_{i} u_{i}(x,t)\bigr\vert ^{p(x)}\,dx \\ =& \int_{\Omega } \biggl(\frac{1}{2}-\frac{1}{p(x)} \biggr) \bigl\vert \mu_{i} u_{i}(x,t)\bigr\vert ^{p(x)}\,dx \\ \le& \int_{\Omega } \biggl(\frac{1}{2}-\frac{1}{p(x)} \biggr) \bigl\vert u_{i}(x,t)\bigr\vert ^{p(x)}\,dx \\ =&E(u_{i})-\frac{1}{2}N(u_{i}) \\ =&E(u_{i})+\frac{\varepsilon }{2}. \end{aligned}$$

Let $i\rightarrow \infty $, then $E_{0}\le E^{\varepsilon }+\frac{ \varepsilon }{2}$. □

Lemma 2.4

Lemma 2.1 [15]

$\frac{d}{dt}E(u)=-\int_{\Omega }u_{t}^{2}\,dx\le 0$.

Now we can prove Theorem 1.1(1) via the potential well method [17] and the Kaplan method [23].

Proof of Theorem 1.1(1)

By Lemma 2.4, we have $E(u)\le E(u_{0})< E_{0}$. We claim that the solution u blows up in finite time provided that $N(u_{0})<0$. Otherwise, assume that u is global in time. Choose $\varepsilon =\min \{E_{0}-E(u_{0}),-N(u_{0}) \}/2$. Then $N(u_{0})\leq -2\varepsilon <-\varepsilon, E(u_{0}) \leq E_{0}-2\varepsilon <E_{0}-\frac{\varepsilon }{2}\le E^{\varepsilon }$ by Lemma 2.3. Consequently, $N(u)<-\varepsilon $ for all $t>0$. Indeed, if there exists $t_{0}>0$ such that $N(u(t_{0}))=- \varepsilon $, then $E(u(t_{0}))\geq E^{\varepsilon }$ by the definition of $E^{\varepsilon }$. This is impossible since $E(u_{0})< E^{\varepsilon }$ and Lemma 2.4.

Let $M(t)=\frac{1}{2}\int_{\Omega }\vert u(x,t)\vert ^{2}\,dx$. Then by (1.1) we get that

$$\begin{aligned} M'(t) &= \int_{\Omega }u(x,t)u_{t}(x,t)\,dx \\ &=- \int_{\Omega }\bigl\vert \nabla u(x,t)\bigr\vert ^{2}\,dx+ \int_{\Omega }\bigl\vert u(x,t)\bigr\vert ^{p(x)}\,dx \\ &=-N(u)>\varepsilon. \end{aligned}$$

(2.1)

Consequently, we have

$$\begin{aligned} \lim_{t\rightarrow \infty }M(t)=+\infty. \end{aligned}$$

(2.2)

Next, we derive a contradiction by showing that $M(t)$ blows up in finite time. We deal with variable source as

$$\begin{aligned} \int_{\Omega }\vert u\vert ^{p(x)}\,dx &= \int_{\vert u\vert \leq 1}\vert u\vert ^{p(x)}\,dx+ \int_{\vert u\vert \geq 1}\vert u\vert ^{p(x)}\,dx \\ &\geq \int_{\vert u\vert \leq 1}\vert u\vert ^{p^{+}}\,dx+ \int_{\vert u\vert \geq 1}\vert u\vert ^{p^{-}}\,dx \\ &\geq \int_{\vert u\vert \geq 1}\vert u\vert ^{p^{-}}\,dx \\ &= \int_{\vert u\vert \leq 1}\,dx+ \int_{\vert u\vert \geq 1}\vert u\vert ^{p^{-}}\,dx-\vert \Omega \vert \\ &\geq \int_{\vert u\vert \leq 1}\vert u\vert ^{p^{-}}\,dx+ \int_{\vert u\vert \geq 1}\vert u\vert ^{p^{-}}\,dx-\vert \Omega \vert \\ &\geq \int_{\Omega }\vert u\vert ^{p^{-}}\,dx-\vert \Omega \vert , \end{aligned}$$

where $\vert \Omega \vert $ is the measure of Ω. By the Hölder inequality, we have

$$\begin{aligned} \int_{\Omega }\vert u\vert ^{p(x)}\,dx &\geq \vert \Omega \vert ^{\frac{2-p^{-}}{2}} \biggl( \int_{\Omega }\vert u\vert ^{2}\,dx \biggr)^{\frac{p^{-}}{2}}-\vert \Omega \vert \\ &=\vert \Omega \vert ^{\frac{2-p^{-}}{2}}M(t)^{\frac{p^{-}}{2}}-\vert \Omega \vert . \end{aligned}$$

Therefore, by Lemma 2.4, we rewrite $M'(t)$ in (2.1) as

$$\begin{aligned} M'(t) &=-2E(u)+ \int_{\Omega } \biggl(1-\frac{2}{p(x)} \biggr)\vert u\vert ^{p(x)}\,dx \\ &\geq -2E(u_{0})+ \biggl(1-\frac{2}{p^{-}} \biggr) \int_{\Omega }\vert u\vert ^{p(x)}\,dx \\ &\geq \biggl(1-\frac{2}{p^{-}} \biggr)\vert \Omega \vert ^{\frac{2-p^{-}}{2}}M(t)^{\frac{p ^{-}}{2}} - \biggl(1-\frac{2}{p^{-}} \biggr)\vert \Omega \vert -2E(u_{0}). \end{aligned}$$

It follows from (2.2) that there exists $t_{0}>0$ such that

$$\biggl(1-\frac{2}{p^{-}} \biggr)\vert \Omega \vert ^{\frac{2-p^{-}}{2}}M(t)^{\frac{p ^{-}}{2}} \geq 2 \biggl[ \biggl(1-\frac{2}{p^{-}} \biggr)\vert \Omega \vert +2E(u_{0}) \biggr], $$

for $t\geq t_{0}$. Thus $M'(t)\geq \frac{1}{2}(1-\frac{2}{p^{-}})\vert \Omega \vert ^{\frac{2-p^{-}}{2}}M(t)^{\frac{p^{-}}{2}}$. This immediately implies that $M(t)$ blows up in finite time, a contradiction. □

3 Global existence of solutions

In this section, we consider global existence of solutions to Eq. (1.1) and study asymptotic behavior of the global solution.

Proof of Theorem 1.1(2)

We divide the proof into two cases: (i) $N(u_{0})=0$, (ii) $N(u_{0})>0$. If $N(u_{0})=0$, then $u_{0}=0$. Otherwise, if $u_{0}\neq 0$, then $E(u_{0})\geq E_{0}$. This is a contradiction to the assumption condition (1.7). By uniqueness of solutions to (1.1), we have the solution $u(t)=0$ for all $t\geq 0$.

If $N(u_{0})>0$, if $u(t)=0$ for some t, then $u(s)=0$ for $s\ge t$ by uniqueness, and the conclusion is true. Hereafter, we assume that $u(t)\neq 0$ for all $t\in (0,T)$. We claim that $N(u)>0$ as long as the solution u exists. Otherwise, there exists $t_{0}$ such that $N(u(t_{0}))=0$. By Lemma 2.4, $E(u(t_{0}))\le E(u_{0})< E _{0}$, which contradicts the definition of $E_{0}$. Therefore,

$$\begin{aligned} E_{0}>E(u) &\ge \frac{1}{2} \int_{\Omega }\vert \nabla u\vert ^{2}\,dx- \int_{ \Omega }\frac{1}{p^{-}}\vert u\vert ^{p(x)}\,dx \\ &= \biggl(\frac{1}{2}-\frac{1}{p^{-}} \biggr) \int_{\Omega }\vert \nabla u\vert ^{2}\,dx+ \frac{1}{p ^{-}}N(u) > \biggl(\frac{1}{2}-\frac{1}{p^{-}} \biggr) \int_{\Omega }\vert \nabla u\vert ^{2}\,dx. \end{aligned}$$

This with the Poincaré inequality yield that $\Vert u\Vert _{H_{0}^{1}( \Omega)}$ is uniformly bounded. By Proposition 1.3, there exists a global solution of Eq. (1.1).

Next, we investigate long time behavior of the global solution to Eq. (1.1). Basing on the above process, if $N(u_{0})=0$, then $u(t)=0$ for all $t\geq 0$. The conclusion is true. If $N(u_{0})>0$, then the global solution u is uniformly bounded in $H_{0}^{1}( \Omega)$ and $N(u)\geq 0$. Consequently, $E(u)\geq 0$. Noting the equality

$$\int_{0}^{t} \int_{\Omega }u_{t}^{2}\,dx\,ds+E(u)=E(u_{0}) $$

by (1.1), we have

$$\int_{0}^{\infty } \int_{\Omega }u_{t}^{2}\,dx\,ds\leq E(u _{0}). $$

Therefore, there exists a time sequence $\{t_{i}\}_{i=1}^{\infty }$ with $t_{i}\rightarrow \infty $, as $i\rightarrow \infty $, such that $\Vert u_{t}(t_{i})\Vert _{2}^{2}\rightarrow 0$. Since $u(t_{i})$ is bounded in $H_{0}^{1}(\Omega)$ and thus $\vert u\vert ^{p(\cdot)-2}u(t_{i})$ is bounded in $H^{-1}(\Omega)$, going to a subsequence if necessary, still denoted by $u(t_{i})$,

$$\begin{aligned}& u(t_{i})\rightharpoonup \varphi\quad \mbox{weakly in } H_{0}^{1}( \Omega), \end{aligned}$$

(3.1)

$$\begin{aligned}& u(t_{i})\rightarrow \varphi \quad \mbox{strongly in } L^{q}( \Omega)\quad \bigl(2 \leq q< 2^{*}\bigr), \end{aligned}$$

(3.2)

$$\begin{aligned}& \bigl\vert u(t_{i})\bigr\vert ^{p(\cdot)-2}u(t_{i}) \rightharpoonup \vert \varphi \vert ^{p(\cdot)-2} \varphi \quad \mbox{weakly in } H^{-1}(\Omega). \end{aligned}$$

(3.3)

Multiplying (1.1) by $v\in H_{0}^{1}(\Omega)$ and integrating, we have

$$\begin{aligned} \bigl(u_{t}(t_{i}),v\bigr)+\bigl(\nabla u(t_{i}), \nabla v\bigr)=\bigl\langle \vert u\vert ^{p(\cdot)-2}u(t _{i}),v\bigr\rangle . \end{aligned}$$

(3.4)

Letting $i\rightarrow \infty $ in the above equality, we obtain that

$$(\nabla \varphi, \nabla v)=\bigl\langle \vert \varphi \vert ^{p(\cdot)-2} \varphi, v \bigr\rangle . $$

Choosing $v=\varphi $ in the above equality, we have $N(\varphi)=0$. By (3.2) and the mean value theorem, we derive that

$$ \lim_{i\rightarrow \infty } \int_{\Omega }\bigl\vert u(t_{i})\bigr\vert ^{p(x)}\,dx= \int_{\Omega }\vert \varphi \vert ^{p(x)}\,dx. $$

(3.5)

By the weak semi-continuity of $H_{0}^{1}(\Omega)$ norm and (3.5), we have

$$E(\varphi)\leq \liminf_{i\rightarrow \infty } E\bigl(u(t_{i}) \bigr)< E_{0}. $$

This with $N(\varphi)=0$ yield that $\varphi =0$. Setting $v=u(t_{i})$ in (3.4), observing that

$$\bigl\vert \bigl(u_{t}(t_{i}),u(t_{i})\bigr)\bigr\vert \leq \bigl\Vert u_{t}(t_{i})\bigr\Vert _{2}\bigl\Vert u(t_{i})\bigr\Vert _{2} \rightarrow 0, $$

we get that

$$\begin{aligned} \lim_{i\rightarrow \infty }\bigl\Vert \nabla u(t_{i})\bigr\Vert _{2}^{2}- \int_{\Omega }\bigl\vert u(t_{i})\bigr\vert ^{p(x)}\,dx=0. \end{aligned}$$

(3.6)

This with (3.5) imply that

$$\lim_{i\rightarrow \infty }\bigl\Vert \nabla u(t_{i})\bigr\Vert _{2}^{2}= \lim_{i\rightarrow \infty } \int_{\Omega }\bigl\vert u(t_{i})\bigr\vert ^{p(x)}\,dx= \int_{\Omega }\vert \varphi \vert ^{p(x)}\,dx=0. $$

Consequently, $E(u(t_{i}))\rightarrow 0$ as $i\rightarrow \infty $. This with the fact that $E(u(t))$ is decreasing with respect of time t and $E(u(t))\geq 0$ imply that $\lim_{t\rightarrow \infty }E(u(t))=0$.

Rewrite $E(u(t))$ as

$$E\bigl(u(t)\bigr)=\frac{1}{2} N\bigl(u(t)\bigr)+ \int_{\Omega } \biggl(\frac{1}{2}- \frac{1}{p(x)} \biggr) \bigl\vert u(t)\bigr\vert ^{p(x)}\,dx. $$

It follows from $N(u(t))\geq 0$ that

$$\begin{aligned} \int_{\Omega }\bigl\vert u(t)\bigr\vert ^{p(x)}\,dx \leq& \frac{2p^{-}}{p^{-}-2} \int_{ \Omega } \biggl(\frac{1}{2}-\frac{1}{p(x)} \biggr) \bigl\vert u(t)\bigr\vert ^{p(x)}\,dx \\ \leq& \frac{2p ^{-}}{p^{-}-2}E\bigl(u(t) \bigr)\rightarrow 0,\quad \text{as } t\rightarrow \infty. \end{aligned}$$

Therefore,

$$\bigl\Vert \nabla u(t)\bigr\Vert _{2}^{2}=2E\bigl(u(t) \bigr)+ \int_{\Omega }\frac{2}{p(x)}\bigl\vert u(t)\bigr\vert ^{p(x)}\,dx\rightarrow 0, \quad \mbox{as } t\rightarrow \infty. $$

This with the Poincáre inequality imply that $u(t)\rightarrow 0$ strongly in $H_{0}^{1}(\Omega)$. □

4 Proof of Corollaries 1.1 and 1.2

To compare our results to those in [15, 16], we begin with analyzing $E_{0}$ defined in (1.7) more precisely.

Lemma 4.1

Set

$$E_{3}:=\inf \Bigl\{ \max_{\lambda >0}E( \lambda u):u\in H_{0}^{1}(\Omega), \textit{and } u\neq 0\Bigr\} . $$

It holds $E_{0}=E_{3}$.

Proof

For any $u\in \mathcal{N}$, by Lemma 2.2, we have that

$$E(u)=\max_{\lambda >0}E(\lambda u)\geq E_{3}. $$

Therefore, $E_{0}\geq E_{3}$. On the other hand, for any $u\in H_{0} ^{1}(\Omega)$, $u(x)\neq 0$, by Lemma 2.2, there exists $\lambda_{0}>0$ such that $\max_{\lambda >0} E(\lambda u)=E(\lambda _{0}u)$ and $N(\lambda_{0}u)=0$. This implies that $\max_{\lambda >0} E(\lambda u)\geq E_{0}$. Because of the arbitrariness of u, we have $E_{3}\geq E_{0}$. The proof is complete. □

Next, we compare $E_{0}$ with $\overline{E}_{1}$ and $E_{2}$, where $\overline{E}_{1}$ is defined in Proposition 1.1 and $E_{2}$ defined in Proposition 1.2, respectively.

Lemma 4.2

$E_{0}>\overline{E}_{1}$ and $E_{0}\geq E_{2}$.

Proof

For any $u\in H_{0}^{1}(\Omega)$, $u\neq 0$, define $u^{\lambda }= \lambda u$ with $\lambda >0$. It follows from (1.3) and the Poincaré inequality (1.4) that

$$\begin{aligned} E(\lambda u) &=E\bigl(u^{\lambda }\bigr) \\ &\geq \frac{1}{2}\bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2}^{2}-\frac{1}{p^{-}} \int_{\Omega }\bigl\vert u^{\lambda }\bigr\vert ^{p(x)}\,dx \\ &\geq \frac{1}{2}\bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2}^{2}- \frac{1}{p^{-}}\bigl\Vert u^{\lambda } \bigr\Vert _{p(\cdot)}^{p^{-}} -\frac{1}{p^{-}}\bigl\Vert u^{\lambda }\bigr\Vert _{p(\cdot)} ^{p^{+}} \\ &\geq \frac{1}{2}\bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2}^{2}-\frac{1}{p^{-}}B ^{p^{-}}\bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2}^{p^{-}} - \frac{1}{p^{-}}B^{p^{+}} \bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2}^{p^{+}} \\ &=: h\bigl(\bigl\Vert \nabla u^{\lambda }\bigr\Vert _{2} \bigr). \end{aligned} $$

Choose $\lambda_{1}>0$ such that $\Vert \nabla u^{\lambda }\Vert _{2}=\alpha _{1}$, defined in (1.6), and $h(\Vert \nabla u^{\lambda_{1}}\Vert _{2})=E_{1}$. Thus

$$\max_{\lambda >0}E(\lambda u)\geq E(\lambda_{1}u)\geq h \bigl(\bigl\Vert \nabla u^{\lambda_{1}}\bigr\Vert _{2} \bigr)=E_{1}. $$

This with Lemma 4.1 yield that $E_{0}\geq E_{1}$. Since $E_{1}>\overline{E}_{1}$, we have $E_{0}>\overline{E}_{1}$.

Now we prove $E_{0}\geq E_{2}$. For any nontrivial function $u\in \mathcal{N}$, by (1.3), we have

$$\begin{aligned} \Vert \nabla u\Vert _{2}^{2} &= \int_{\Omega }\vert u\vert ^{p(x)}\,dx \\ &\leq \max \bigl\{ \Vert u\Vert _{p(\cdot)}^{p^{+}},\Vert u\Vert _{p(\cdot)}^{p^{-}} \bigr\} \leq \max \bigl\{ B_{1}^{p^{+}}\Vert \nabla u\Vert _{2}^{p^{+}},B_{1}^{p^{-}}\Vert \nabla u \Vert _{2}^{p^{-}} \bigr\} . \end{aligned}$$

Therefore, $\Vert \nabla u\Vert _{2}\geq B_{1}^{-\frac{p^{+}}{p^{+}-2}}$, or $\Vert \nabla u\Vert _{2}\geq B_{1}^{-\frac{p^{-}}{p^{-}-2}}$. As $B_{1}>1$ and $p^{+}\geq p^{-}$, we get $\Vert \nabla u\Vert _{2}\geq B_{1}^{-\frac{p^{-}}{p ^{-}-2}}$. Consequently,

$$\begin{aligned} E(u)\geq \biggl(\frac{1}{2}-\frac{1}{p^{-}} \biggr)\Vert \nabla u \Vert _{2}^{2} \geq \frac{p^{-}-2}{2p^{-}}B_{1}^{-\frac{2p^{-}}{p^{-}-2}}=E_{2}. \end{aligned}$$

Due to the arbitrariness of $u\in \mathcal{N}$, we conclude $E_{0}\geq E_{2}$. □

Finally, we prove Corollaries 1.1 and 1.2.

Proof of Corollary 1.1

Assume $\Vert \nabla u_{0}\Vert _{2} ^{2}\leq \alpha_{1}$, where $\alpha_{1}$ is defined in (1.6). Then

$$\frac{1}{p^{-}} \bigl(B^{p^{+}}p^{+}\Vert \nabla u_{0}\Vert _{2}^{p^{+}-2} +B ^{p^{-}}p^{-} \Vert \nabla u_{0}\Vert _{2}^{p^{-}-2} \bigr)\leq 1. $$

Consequently,

$$\begin{aligned} \Vert \nabla u_{0}\Vert _{2}^{2} &\geq \frac{1}{p^{-}} \bigl(B^{p^{+}}p^{+}\Vert \nabla u_{0}\Vert _{2}^{p^{+}}+B^{p^{-}}p^{-} \Vert \nabla u_{0}\Vert _{2}^{p^{-}} \bigr) \\ &\geq B^{p^{+}}\Vert \nabla u_{0}\Vert _{2}^{p^{+}}+B^{p^{-}} \Vert \nabla u_{0}\Vert _{2}^{p^{-}}. \end{aligned}$$

By (1.3) and the Poincaré inequality (1.4), we have

$$\begin{aligned} \Vert \nabla u_{0}\Vert _{2}^{2} &\geq \Vert u_{0}\Vert _{p(\cdot)}^{p^{+}}+\Vert u_{0}\Vert _{p(\cdot)} ^{p^{-}} \\ &\geq \int_{\Omega }\vert u_{0}\vert ^{p(x)}\,dx, \end{aligned}$$

thereby we obtain $N(u_{0})\geq 0$. Combining Lemma 4.2 and Theorem 1.1(2), we see that the solution of Eq. (1.1) is global. □

Proof of Corollary 1.2

Since $\Vert \nabla u_{0}\Vert _{2}^{2} \leq \alpha_{2}=B_{1}^{-\frac{2p^{-}}{p^{-}-2}}$, $B_{1}\geq 1$ and $p^{-}\leq p^{+}$, then $B_{1}^{-\frac{2p^{-}}{p^{-}-2}}\geq B_{1} ^{-\frac{2p^{+}}{p^{+}-2}}$ and

$$\Vert \nabla u_{0}\Vert _{2}^{2}\leq \min \bigl\{ B_{1}^{- \frac{2p^{-}}{p^{-}-2}},B_{1}^{-\frac{2p^{+}}{p^{+}-2}} \bigr\} . $$

Consequently,

$$\Vert \nabla u_{0}\Vert _{2}^{2}\geq \max \bigl\{ B_{1}^{p^{-}}\Vert \nabla u_{0}\Vert _{2}^{p^{-}}, B_{1}^{p^{+}} \Vert \nabla u_{0}\Vert _{2}^{p^{+}} \bigr\} . $$

Using (1.3) and the Poincaré inequality (1.4), we obtain that

$$\begin{aligned} \Vert \nabla u_{0}\Vert _{2}^{2} &\geq \max \bigl\{ \Vert u_{0}\Vert _{p(\cdot)}^{p^{-}},\Vert u_{0}\Vert _{p(\cdot)}^{p^{+}} \bigr\} \\ &\geq \int_{\Omega }\vert u_{0}\vert ^{p(x)}\,dx. \end{aligned}$$

This implies that $N(u_{0})\geq 0$. The rest is the same as the proof of Corollary 1.1, and hence is omitted. □

5 Conclusions

The main aim of the current work is to study asymptotic behavior of solutions to the parabolic equation (1.1). We prove that, when the initial energy is smaller than the mountain pass level corresponding to the stationary equation of (1.1) (see (1.7) and Lemma 4.1), the initial Nehari functional plays an important role in determining asymptotic behavior of the solution of (1.1), see Theorem 1.1. That is, if the initial Nehari functional is negative, then the solution of (1.1) blows up in finite time, while there exists a global solution if the initial Nehari functional is nonnegative. Moreover, the global solution decays as the time goes to infinity. This result generalizes the ones in [15] and [16], see Lemma 4.2 for differences between them. As applications of Theorem 1.1, we derive two corollaries which yield that the blow-up conditions in [15] and [16] are also sharp there, see Corollaries 1.1, 1.2 and Remark 1.1.

Declarations

Acknowledgements

JY was partially supported by NSF of Jiangxi Province (GJJ161112), NNSF of China, No:61461032 and the Project of Nanchang Institute of Technology, No:2014KJ020. HY was partially supported by the STRP of Jiangxi Province, No:20151BAB211009.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

School of Sciences, Nanchang Institute of Technology, Nanchang, 330099, P.R. China

References

Acerbi, E, Mingione, G: Regularity results for stationary electrorheological fluids. Arch. Ration. Mech. Anal. 164, 213-259 (2002) MathSciNetView ArticleMATHGoogle Scholar
Antontsev, SN, Rodrigues, JF: On stationary thermo-rheological viscous flows. Ann. Univ. Ferrara, Sez. 7: Sci. Mat. 52, 19-36 (2006) MathSciNetView ArticleMATHGoogle Scholar
Pao, CV: Nonlinear Parabolic and Elliptic Equations. Plenum, New York (1992) MATHGoogle Scholar
Deng, K, Levine, HA: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85-126 (2000) MathSciNetView ArticleMATHGoogle Scholar
Qi, YW: On the equation $u_{t}=\Delta u^{\alpha }+u^{\beta }$. Proc. R. Soc. Edinb., Sect. A 123, 373-390 (1993) View ArticleGoogle Scholar
Quittner, P, Souplet, P: Superlinear Parabolic Problems: Blow-up, Global Existence and Steady States. Birkhäuser, Basel (2007) MATHGoogle Scholar
Radulescu, V, Repovs, D: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2015) View ArticleMATHGoogle Scholar
Bisci, GM, Repovs, D: Multiple solutions for elliptic equations involving a general operator in divergence form. Ann. Acad. Sci. Fenn., Math. 39, 259-273 (2014) MathSciNetView ArticleMATHGoogle Scholar
Fu, Y, Shan, Y: On the removability of isolated singular points for elliptic equations involving variable exponent. Adv. Nonlinear Anal. 5, 121-132 (2016) MathSciNetMATHGoogle Scholar
Mihailescu, M, Radulescu, V: Neumann problems associated to nonhomogeneous differential operators in Orlicz-Sobolev spaces. Ann. Inst. Fourier (Grenoble) 58, 2087-2111 (2008) MathSciNetView ArticleMATHGoogle Scholar
Mihailescu, M, Radulescu, V, Repovs, D: On a non-homogeneous eigenvalue problem involving a potential: an Orlicz-Sobolev space setting. J. Math. Pures Appl. 93, 132-148 (2010) MathSciNetView ArticleMATHGoogle Scholar
Diening, L, Harjulehto, P, Hästö, P, Rûžička, M: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics, vol. 2017. Springer, Heidelberg (2011) MATHGoogle Scholar
Pinasco, JP: Blow-up for parabolic and hyperbolic problems with variable exponents. Nonlinear Anal. 71, 1049-1058 (2009) MathSciNetView ArticleMATHGoogle Scholar
Ferreira, R, Pablo, A, Pérez-Llanos, M, Rossi, JD: Critical exponents for a semilinear parabolic equation with variable reaction. Proc. R. Soc. Edinb., Sect. A 142, 1027-1042 (2012) MathSciNetView ArticleMATHGoogle Scholar
Wu, XL, Guo, B, Gao, WJ: Blow-up of solutions for a semilinear parabolic equation involving variable source and positive initial energy. Appl. Math. Lett. 26, 539-543 (2013) MathSciNetView ArticleMATHGoogle Scholar
Wang, H, He, YJ: On blow-up of solutions for a semilinear parabolic equation involving variable source and positive initial energy. Appl. Math. Lett. 26, 1008-1012 (2013) MathSciNetView ArticleMATHGoogle Scholar
Payne, L, Sattinger, O: Saddle points and instability on nonlinear hyperbolic equations. Isr. J. Math. 22, 273-303 (1975) MathSciNetView ArticleMATHGoogle Scholar
Xu, RZ, Su, J: Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations. J. Funct. Anal. 264, 2732-2763 (2013) MathSciNetView ArticleMATHGoogle Scholar
Liu, YC, Zhao, JS: On potential wells and applications to semilinear hyperbolic equations and parabolic equations. Nonlinear Anal. 64, 2665-2687 (2006) MathSciNetView ArticleMATHGoogle Scholar
Liu, BY, Ma, L: Blow up threshold for the Gross-Pitaevskii system with combined nonlocal nonlinearities. J. Math. Anal. Appl. 425, 1214-1224 (2015) MathSciNetView ArticleMATHGoogle Scholar
Liu, BY, Ma, L: Invariant sets and the blow up threshold for a nonlocal equation of parabolic type. Nonlinear Anal. 110, 141-156 (2014) MathSciNetView ArticleMATHGoogle Scholar
Hoshino, H, Yamada, Y: Solvability and smoothing effect for semilinear parabolic equations. Funkc. Ekvacioj 34, 475-494 (1991) MathSciNetMATHGoogle Scholar
Kaplan, S: On the growth of solutions of quasi-linear parabolic equations. Commun. Pure Appl. Math. 16, 305-330 (1963) MathSciNetView ArticleMATHGoogle Scholar