Skip to main content

Asymptotic behavior of solutions to a class of coupled nonlinear parabolic systems


This paper studies the Cauchy problem to a class of coupled nonlinear parabolic systems and investigates the asymptotic behavior of solutions to the problem. The blow-up theorem of Fujita type is established by the integral estimation and suitable supersolutions. Moreover, the critical Fujita exponent determined by the diffusion and the spatial dimension is given.

1 Introduction

We investigate the asymptotic behavior of solutions to the Cauchy problem of the coupled nonlinear parabolic systems by the following initial value problem:

$$\begin{aligned} &\frac{\partial u}{\partial t}=\Delta u^{m} +v^{p}, \quad x\in \mathbb{R}^{n}, t>0, \end{aligned}$$
$$\begin{aligned} &\frac{\partial v}{\partial t}=\Delta v^{m} +\bigl( \vert x \vert +1\bigr)^{{2(q-p)}/{(p-m)}} u^{q}, \quad x\in \mathbb{R}^{n}, t>0, \end{aligned}$$
$$\begin{aligned} &u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x),\quad x \in \mathbb{R}^{n}, \end{aligned}$$

where \(q\ge p>m>1\) and \(0\le u_{0}\), \(v_{0}\in C_{0}(\mathbb{R}^{n})\) are nontrivial.

The related studies trace back to 1966, when Fujita [5] first investigated the Cauchy problem of the semilinear equation

$$ \frac{\partial u}{\partial t}=\Delta u+u^{p},\quad x\in \mathbb{R}^{n}, t>0, $$

and showed that the problem does not have any nontrivial global nonnegative solution if \(1< p< p_{c}=1+2/n\), whereas there exist both nontrivial global (with small initial data) and non-global nonnegative (with large initial data) solutions when \(p>p_{c}=1+2/n\). Then, it was proved that \(p=p_{c}\) belongs to the blow-up case by Hayakawa [10], Weissler [11], and Kobayashi [21]. We call \(p_{c}\) the critical Fujita exponent and the similar results as the blow-up theorem of Fujita type. There have been many various extensions of Fujita’s results thence, such as different types of parabolic equations, kinds geometries of domains, different nonlinear reactions, nonhomogeneous boundaries, etc. One can refer to the survey papers [1, 2, 4, 8, 9, 12, 13, 17, 22, 23, 25] and the references therein.

The critical Fujita exponent for the Cauchy problem of

$$\begin{aligned} \frac{\partial u}{\partial t}=\Delta u^{m}+u^{p}, \quad x\in \mathbb{R}^{n}, t>0 \end{aligned}$$

was investigated by Galaktionov et al. in [6, 7], where \(p>m>1\). It was proved that \(p_{c}=m+2/n\). The Cauchy problem

$$\begin{aligned} \frac{\partial u}{\partial t}=\Delta u^{m}+ \vert x \vert ^{\sigma }u^{p}, \quad x\in \mathbb{R}^{n}, t>0 \end{aligned}$$

with \(\sigma >-2\) was considered by Qi [15] who proved that \(p_{c}=m+(2+\sigma )/n\). The authors in [19] considered the Cauchy problem

$$\begin{aligned} \vert x \vert ^{\lambda _{1}}\frac{\partial u}{\partial t}=\Delta u^{m}+ \vert x \vert ^{ \lambda _{2}}u^{p}, \quad x\in \mathbb{R}^{n}, t>0, \end{aligned}$$

where \(p>m\ge 1\) and \(0\le \lambda _{1}\le \lambda _{2}< p(\lambda _{1}+1)-1\). It was proved that if \(m< p\le p_{c}=m+(2+\lambda _{2})/(n+\lambda _{1})\), then every nontrivial solution of equation (4) blows up in a finite time. If \(p>p_{c}\), there exist both nontrivial global and non-global solutions, with small and large \(u_{0}\), respectively, to the initial-value problem (4). Martynenko and Tedeev [14] considered the Cauchy problem of the following equation with an inhomogeneous density and a source term:

$$ \rho (x)\frac{\partial u}{\partial t}=\operatorname{div}\bigl(u^{m-1} \vert \nabla u \vert ^{q-1}\nabla u\bigr)+u^{p}, \quad x\in \mathbb{R}^{n}, t>0, $$

where \(q>0\), \(m+q-2>0\), \(p>m+q-1\), and \(\rho (x)=|x|^{\lambda }\) or \(\rho (x)=(|x|+1)^{\lambda }\), \(\lambda \le 0\). Under some restrictions on the parameters, the authors researched if any nontrivial solution to the Cauchy problem blows up in a finite time and established a sharp universal estimate of the solution near the blow-up point.

In 1991, Escobedo and Herrero [3] investigated the following coupled systems:

$$ \frac{\partial u}{\partial t}=\Delta u+v^{p},\qquad \frac{\partial v}{ \partial t}=\Delta v+u^{q}, \quad x\in \mathbb{R}^{n}, t>0, $$

where \(p,q>0\), and showed that a Fujita curve is

$$ (pq)_{c}=1+\frac{2}{n}\max \{p+1, q+1\}. $$

If \(1< pq\le (pq)_{c}\), any nonnegative nontrivial solution blows up in a finite time, whereas if \(pq>(pq)_{c}\), there exist both nontrivial nonnegative global solution (with small initial data) and nonnegative blow-up solution (with large initial data). In [16], the authors studied the following Newton-filtration system:

$$\begin{aligned} \frac{\partial u}{\partial t}=\Delta u^{m}+v^{p},\qquad \frac{\partial v}{\partial t}=\Delta v^{m}+u^{q}, \quad x\in \mathbb{R}^{n}, t>0 \end{aligned}$$

with \(0< m<1\), \(p,q\ge 1\), and \(pq>1\). It was proved that the critical Fujita exponent is

$$ (pq)_{c}=m^{2}+\frac{2}{n}\max \{p+m,q+m\}. $$

However, for the case \(m>1\), the Cauchy problem of (5) does not have any results. The main difficulty is that it has a finite velocity of the disturbance propagation, but the propagation velocities of two equations may be different, that is why we choose the two special equations.

In this paper, it is proved that the critical Fujita exponent to the problem can be formulated as \(p_{c}=m+2/n\). The main methods are inspired by [15, 19, 20, 24, 26]. We can prove that there are the blow-up solutions by using the integral estimation method. And the existence of nontrivial global solutions is shown by constructing self-similar supersolutions. For the system coupled by reactions, solutions to one equation may influence another equation. In order to guarantee the existence of the self-similar supersolutions, we set perturbation term \((|x|+1)^{\mu }\). Specifically, this ensures that the self-similar supersolutions to systems (1)–(3) of \(u(x,t)=(t+1)^{-\alpha _{1}}U((t+1)^{-\beta _{1}}(|x|+1))\) and \(v(x,t)=(t+1)^{-\alpha _{2}}V((t+1)^{-\beta _{2}}(|x|+1))\) have the same support, i.e., \(\beta _{1}=\beta _{2}\). The determination of μ depends on the definition of the supersolutions. By simple calculation, \(\alpha _{1}=\alpha _{2}=1/(p-1)\), \(\beta _{1}=\beta _{2}=(p-m)/(2(p-1))\), and \(\mu =\alpha (q-p)/\beta \). Thus, we select \((|x|+1)\) to the power of \(2(q-p)/(p-m)\).

The paper is organized as follows. Section 2 lists some preliminaries such as the definition of solution, the well-posedness of problem (1)–(3). Then, several useful auxiliary lemmas are given. At last, we obtain the blow-up theorems of Fujita type for problem (1)–(3).

2 Preliminaries

In the following, we define the subsolutions, supersolutions, as well as solutions to problem (1)–(3).

Definition 2.1

Let \(0< T\le +\infty \). A pair of nonnegative functions \((u,v)\) is called a super (sub) solution to problem (1)–(3) in \((0,T)\) if

$$ u, v\in C\bigl([0,T),L_{\mathrm{loc}}^{m}\bigl( \mathbb{R}^{n}\bigr)\bigr)\cap L ^{\infty }_{\mathrm{loc}} \bigl(0,T;L^{\infty }\bigl(\mathbb{R}^{n}\bigr)\bigr), $$

and for any \(0\le \varphi \), \(\psi \in C^{2,1}(\mathbb{R}^{n}\times [0,T))\) vanishing when t near T or \(|x|\) being sufficiently large, the following integral identities are satisfied:

$$\begin{aligned} &\int _{0}^{T} \int _{\mathbb{R}^{n}}u(x,t)\frac{\partial \varphi }{ \partial t}(x,t)\,\mathrm{d}x\, \mathrm{d}t+ \int _{0}^{T} \int _{\mathbb{R} ^{n}}u^{m}(x,t)\Delta \varphi (x,t)\,\mathrm{d}x \,\mathrm{d}t \\ &\quad {}+ \int _{0}^{T} \int _{\mathbb{R}^{n}}v^{p}(x,t)\varphi (x,t)\,\mathrm{d}x \, \mathrm{d}t+ \int _{\mathbb{R}^{n}}u_{0}(x)\varphi (x,0)\,\mathrm{d}x \le ( \ge ) 0, \\ &\int _{0}^{T} \int _{\mathbb{R}^{n}}v(x,t)\frac{\partial \psi }{\partial t}(x,t)\,\mathrm{d}x\, \mathrm{d}t+ \int _{0}^{T} \int _{\mathbb{R}^{n}}v^{m}(x,t) \Delta \psi (x,t)\,\mathrm{d}x\, \mathrm{d}t \\ &\quad {}+ \int _{0}^{T} \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi (x,t) \,\mathrm{d}x\,\mathrm{d}t+ \int _{\mathbb{R}^{n}}v_{0}(x)\psi (x,0) \,\mathrm{d}x\le (\ge ) 0, \end{aligned}$$

where \(\mu ={2(q-p)}/{(p-m)}\). When it is both a supersolution and a subsolution, \((u,v)\) is called a solution to problem (1)–(3) in \((0,T)\).

Definition 2.2

A solution \((u,v)\) to problem (1)–(3) is said to blow up in a finite time \(0< T<+\infty \), which is called blow-up time, if

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\mathbb{R}^{n})} + \bigl\Vert v(\cdot ,t) \bigr\Vert _{L^{ \infty }(\mathbb{R}^{n})} \to +\infty\quad \mbox{as }t\to T^{-}. $$

Otherwise, \((u,v)\) is said to be global.

Next, we will give the existence theorem and the comparison principle to problem (1)–(3).

Theorem 2.1

(Local existence theorem)

When \(0\le u_{0}\), \(v_{0}\in L_{\mathrm{loc}}^{1}(\mathbb{R} ^{n})\cap L^{\infty }(\mathbb{R}^{n})\), the Cauchy problem (1)(3) admits at least one solution locally in time.

Theorem 2.2

(Comparison principle)

For \(t\in (0,T)\), let \((u^{*},v^{*})\) and \((u^{**},v^{**})\) be two solutions to system (1) and (2) with nonnegative initial data \(u_{0}^{*}(x)\), \(v_{0}^{*}(x)\) and \(u_{0}^{**}(x)\), \(v_{0}^{**}(x)\), respectively. If \((u_{0}^{*}(x), v_{0}^{*}(x))\le (u_{0}^{**}(x), v _{0}^{**}(x))\) a.e. in \(\mathbb{R}^{n}\), then \((u^{*},v^{*})\le (u ^{**},v^{**})\) a.e. in \(\mathbb{R}^{n}\times (0,T)\).

As to the proofs of Theorems 2.1 and 2.2, one can see [18, 19] and the references therein.

3 Blow-up theorems of Fujita type

In this section, we establish the blow-up theorems of Fujita type for problem (1)–(3).

Firstly, we consider the case \(p< p_{c}\).

Theorem 3.1

Assume that \(m< p< p_{c}=m+2/n\). Then any nontrivial solution to problem (1)(3) blows up in a finite time.



$$ \psi (x)= \textstyle\begin{cases} 1,& 0\le \vert x \vert \le 1, \\ \cos \frac{1}{2}( \vert x \vert -1)\pi ,& 1< \vert x \vert < 2, \\ 0,& \vert x \vert \ge 2. \end{cases} $$

For \(l>1\), set

$$ \psi _{l}(x)=\psi \biggl(\frac{x}{l} \biggr),\quad x\in \mathbb{R}^{n}. $$


$$ \bigl\vert \nabla \psi _{l}(x) \bigr\vert \le \frac{C}{l}, \qquad \bigl\vert \Delta \psi _{l}(x) \bigr\vert \le \frac{C}{l ^{2}},\qquad \frac{ \vert \Delta \psi _{l}(x) \vert }{\psi _{l}}\le \frac{C}{l^{2}}, \quad \forall x \in B_{2l}\backslash B_{l}, $$

where \(C>0\) is a constant independent of l, and \(B_{r}\) is the ball in \(\mathbb{R}^{n}\) with radius r and center at the origin. Let \((u,v)\) be a nontrivial solution to problem (1)–(3) in \((0,+\infty )\). Owing to Definition 2.1, we can obtain, for any \(t\in (0,+\infty )\),

$$\begin{aligned} &\frac{\mathrm{d}}{\mathrm{d}t} \int _{\mathbb{R}^{n}}u(x,t) \psi _{l}(x)\,\mathrm{d}x\ge \int _{B_{2l}}u^{m}(x,t)\Delta \psi _{l}(x) \, \mathrm{d}x+ \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x, \\ &\frac{\mathrm{d}}{\mathrm{d}t} \int _{\mathbb{R}^{n}}v(x,t) \psi _{l}(x)\,\mathrm{d}x\ge \int _{B_{2l}}v^{m}(x,t)\Delta \psi _{l}(x) \, \mathrm{d}x+ \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x) \,\mathrm{d}x \end{aligned}$$

in the distribution sense. Thus,

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t)\ge {}&{-} \int _{B_{2l}}u^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x+l^{\theta } \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{ \mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \\ &{}-l^{\theta } \int _{B_{2l}}v^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x+ \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x, \end{aligned}$$


$$ w_{l}(t)= \int _{\mathbb{R}^{n}}\bigl(u(x,t)+l^{\theta }v(x,t)\bigr)\psi _{l}(x) \,\mathrm{d}x,\quad t>0 $$

and θ is to be determined. Using the Hölder inequality, one gets

$$\begin{aligned} &\int _{B_{2l}}u^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x\\ &\quad = \int _{B_{2l}\backslash B_{l}}u^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x \\ &\quad \le \biggl( \int _{B_{2l}\backslash B_{l}}\bigl( \vert x \vert +1\bigr)^{-m\mu /(q-m)} \bigl\vert \Delta \psi _{l}(x) \bigr\vert ^{q/(q-m)}\psi _{l}^{-m/(q-m)}(x)\,\mathrm{d}x \biggr)^{(q-m)/q} \\ & \qquad {}\times \biggl( \int _{B_{2l}\backslash B_{l}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \biggr)^{m/q} \\ &\quad \le C_{1}'l^{n-2-(n+\mu )m/q} \biggl( \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{ \mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \biggr)^{m/q} \end{aligned}$$


$$\begin{aligned} & \int _{B_{2l}}v^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x\\ &\quad = \int _{B_{2l}\backslash B_{l}}v^{m}(x,t) \bigl\vert \Delta \psi _{l}(x) \bigr\vert \,\mathrm{d}x \\ &\quad \le \biggl( \int _{B_{2l}\backslash B_{l}} \bigl\vert \Delta \psi _{l}(x) \bigr\vert ^{p/(p-m)} \psi _{l}^{-m/(p-m)}(x)\,\mathrm{d}x \biggr)^{(p-m)/p} \\ & \qquad {} \times \biggl( \int _{B_{2l}\backslash B_{l}}v^{p}(x,t)\psi _{l}(x) \, \mathrm{d}x \biggr)^{m/p} \\ &\quad \le C_{1}''l^{n-2-mn/p} \biggl( \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x \biggr)^{m/p}, \end{aligned}$$

where \(C_{1}', C_{1}''>0\) independent of l. Combining these inequalities with (6), we obtain

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t} w_{l}(t) \ge{} & \biggl( \int _{\mathbb{R} ^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \biggr)^{m/q} \\ & {} \times \biggl(l^{\theta } \biggl( \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \biggr)^{(q-m)/q}-C_{1}l^{n-2-m(n+\mu )/q} \biggr) \\ &{}+ \biggl( \int _{\mathbb{R}^{n}} v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x \biggr)^{m/p} \\ & {} \times \biggl( \biggl( \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x \biggr)^{(p-m)/p}-C_{1}l^{n-2-mn/p+\theta } \biggr) \end{aligned}$$

with \(C_{1}=\max \{C_{1}', C_{1}''\}\). It leads to

$$\begin{aligned} \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x\le{} & \biggl( \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{-\mu /(q-1)}\psi _{l}(x)\,\mathrm{d}x \biggr)^{(q-1)/q} \\ & {} \times \biggl( \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x) \,\mathrm{d}x \biggr)^{1/q} \end{aligned}$$


$$\begin{aligned} \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x)\,\mathrm{d}x\le \biggl( \int _{\mathbb{R}^{n}}\psi _{l}(x)\,\mathrm{d}x \biggr)^{(p-1)/p} \biggl( \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x \biggr)^{1/p}, \end{aligned}$$

which imply that

$$\begin{aligned} & \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x \\ &\quad \ge \textstyle\begin{cases} C_{2}' ( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x )^{q} l^{-qn+n+ \mu },& \mbox{if } -qn+n+\mu < 0, \\ C_{3} ( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x )^{q}(\ln l)^{-(q-1)},&\mbox{if }-qn+n+ \mu =0, \\ C_{4} ( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x )^{q},&\mbox{if }-qn+n+ \mu >0 \end{cases}\displaystyle \end{aligned}$$


$$\begin{aligned} \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x\ge C_{2}''l^{-np+n} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{p}, \end{aligned}$$

where \(C_{2}',C_{2}'',C_{3},C_{4}>0\) are the constants independent of l.

For the case \(-qn+n+\mu <0\), one can select

$$ \theta =\frac{q-p}{p+1}n-\frac{\mu }{p+1}=\frac{q-p}{p+1} \biggl(n- \frac{2}{p-m} \biggr). $$

It follows from (7), (8), and (9) that

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t) \ge{} & \biggl(C_{2}'l^{-qn+n+\mu } \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q} \biggr)^{m/q} \biggl(-C_{1}l^{n-2-m(n+\mu )/q} \\ &{} +C_{2}^{\prime (q-m)/q}l^{(-qn+n+\mu )(q-m)/q+\theta } \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q-m} \biggr) \\ &{}+ \biggl(C_{2}''l^{-np+n} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{p} \biggr)^{m/p} \biggl(-C_{1}l^{n-2-mn/p+\theta } \\ &{} +C_{2}^{'' (p-m)/p}l^{(-np+n)(p-m)/p} \biggl( \int _{\mathbb{R} ^{n}}v(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{p-m} \biggr) \\ \ge {}&{-}Cl^{n-2-mn-(m-1)\theta }w_{l}^{m}(t)+C_{2}l^{-qn+n+\mu +\theta } \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q} \\ &{}+C_{2}l^{-np+n-p\theta } \biggl( \int _{\mathbb{R}^{n}}l^{\theta }v(x,t) \psi _{l}(x)\, \mathrm{d}x \biggr)^{p}, \end{aligned}$$

where \(C_{2}=\min \{C_{2}', C_{2}''\}\), \(C=\max \{C_{1}C_{2}', C_{1}C _{2}''\}\).


$$ \varLambda =\frac{-p^{2}qn-p^{2}n+pqmn+pmn+2pq-2p^{2}}{(p+1)(p-m)}+n. $$

Note that \(-qn+n+\mu +\theta =-np+n-p\theta =\varLambda \). So, for any \(t>0\),

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t) \ge{}&{-}Cl^{n-2-mn-(m-1)\theta }w_{l}^{m}(t) \\ &{}+C_{2}l^{\varLambda } \biggl( \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{q}+ \biggl( \int _{\mathbb{R}^{n}}l^{\theta }v(x,t)\psi _{l}(x)\, \mathrm{d}x \biggr)^{p} \biggr) \\ \ge{}& w_{l}^{m}(t) \bigl(-Cl^{n-2-mn-(m-1)\theta }+2^{-p}C_{2}l^{\varLambda } \cdot \min \bigl\{ w_{l}^{p-m}(t),w_{l}^{q-m}(t) \bigr\} \bigr). \end{aligned}$$

Owing to \(p< p_{c}\), we get

$$ n-2-mn-(m-1)\theta < \varLambda . $$

Recalling \(w_{l}(0)\) is a nondecreasing function of \(l\in (0,+\infty )\) with \(\sup \{w_{l}(0): l\in (0,+\infty )\}>0\), we have

$$\begin{aligned} Cl^{n-2-mn-(m-1)\theta }\le &2^{-(p+1)}C_{2}l^{\varLambda } \cdot \min \bigl\{ w _{l}^{p-m}(0),w_{l}^{q-m}(0) \bigr\} . \end{aligned}$$

Then (11) and (12) yield

$$ \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t)\ge 2^{-(p+1)}C_{2}l^{\varLambda } \cdot \min \bigl\{ w_{l}^{p}(t),w_{l}^{q}(t) \bigr\} , \quad t>0. $$

Since \(q\ge p>m>1\), there exists a constant \(0< T<+\infty \) such that

$$ w_{l}(t)= \int _{\mathbb{R}^{n}}\bigl(u(x,t)+l^{\theta }v(x,t)\bigr)\psi _{l}(x) \,\mathrm{d}x\rightarrow +\infty \quad \mbox{as } t\rightarrow T^{-}. $$

Owing to supp \(\psi _{l}(x)=B_{2l}\), we find that

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\mathbb{R}^{n})} + \bigl\Vert v(\cdot ,t) \bigr\Vert _{L^{ \infty }(\mathbb{R}^{n})} \to +\infty\quad \mbox{as } t\to T^{-}, $$

that is, \((u,v)\) blows up in a finite time.

For the case \(-qn+n+\mu =0\), select \(\theta =0\). It follows from (7), (8), and (9) that

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t)\ge {}& \biggl(C_{3}( \ln l)^{-(q-1)} \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q} \biggr)^{m/q} \\ &{}\times\biggl(-C_{1}l^{n-2-m(n+\mu )/q} +C_{3}^{(q-m)/q}(\ln l)^{-(q-1)(q-m)/q} \biggl( \int _{\mathbb{R} ^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q-m} \biggr) \\ &{}+ \biggl(C_{2}''l^{-np+n} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{p} \biggr)^{m/p} \\ &{}\times\biggl(-C_{1}l^{n-2-mn/p} \\ &{} +\bigl(C_{2}''\bigr)^{(p-m)/p}l^{(-np+n)(p-m)/p} \biggl( \int _{\mathbb{R} ^{n}}v(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{p-m} \biggr). \end{aligned}$$

Owing to \(n-2-m(n+\mu )/q<0\), \(n-2-mn/p<(-np+n)(p-m)/p\), and \(w_{l}\) is a nondecreasing function of l, there exist \(\delta ', \delta ''>0\), \(l\gg 1\) such that

$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t}w_{l}(t)\ge {}&\bigl(C_{3}(\ln l)^{-(q-1)}\bigr)^{m/q} \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{m} \\ &{} \times \biggl(\frac{1}{2}C_{3}^{(q-m)/q}(\ln l)^{-(q-1)(q-m)/q} \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q-m} \biggr) \\ &{}+\bigl(C_{2}''l^{-np+n} \bigr)^{m/p} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{m} \\ &{} \times \biggl(\frac{1}{2}\bigl(C_{2}'' \bigr)^{(p-m)/p}l^{(-np+n)(p-m)/p} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{p-m} \biggr) \\ \ge{} &\delta ' \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q} +\delta '' \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{q} \\ \ge{} &2^{-p}\delta \cdot \min \bigl\{ w_{l}^{p}(t),w_{l}^{q}(t) \bigr\} , \end{aligned}$$

where \(\delta =\min \{\delta ',\delta ''\}\). Thus, there exists a constant \(0< T<+\infty \) such that \((u,v)\) blows up in a finite time.

For the case \(-qn+n+\mu >0\), we still select \(\theta =0\). By a similar argument as the case \(-qn+n+\mu =0\), we can also prove that any nontrivial solution blows up in a finite time. □

Turn to the case \(p>p_{c}\). To prove the existence of a nontrivial global solution to problem (1)–(3), we research self-similar supersolutions to system (1) and (2) of the following form:

$$\begin{aligned} u(x,t)=\frac{U((t+1)^{-\beta }( \vert x \vert +1))}{(t+1)^{\alpha }}, \qquad v(x,t)=\frac{V((t+1)^{-\beta }( \vert x \vert +1))}{(t+1)^{\alpha }}, \end{aligned}$$

where \((x, t)\in \mathbb{R}^{n}\times [0,+\infty )\),

$$ \alpha =\frac{1}{p-1},\qquad \beta =\frac{p-m}{2(p-1)}. $$

If \(U, V\in C^{1}([0,+\infty ))\) with \(U^{m}, V^{m}\in C^{1}([0,+ \infty ))\) satisfy

$$\begin{aligned} &\bigl(U^{m}\bigr)''(r)+ \frac{n-1}{r}\cdot \frac{ \vert x \vert +1}{ \vert x \vert }\bigl(U^{m} \bigr)'(r)+\beta rU'(r)+\alpha U(r)+V^{p}(r) \le 0, \end{aligned}$$
$$\begin{aligned} &\bigl(V^{m}\bigr)''(r)+ \frac{n-1}{r}\cdot \frac{ \vert x \vert +1}{ \vert x \vert }\bigl(V^{m} \bigr)'(r)+\beta rV'(r)+\alpha V(r)+r^{\mu }U^{q}(r) \le 0 \end{aligned}$$

for any \(r>0\), \(x\in \mathbb{R}^{n}\), then (14) implies that \((u,v)\) is a supersolution to system (1) and (2).

Lemma 3.1

Let \(p>p_{c}\) and

$$\begin{aligned} U(r)=V(r)=\bigl(\eta -Ar^{2}\bigr)_{+}^{1/(m-1)}, \quad r\ge 0, \end{aligned}$$

where \(s_{+}=\max \{0,s\}\) and \(\eta >0\) is sufficiently small, while

$$ A=\frac{m-1}{4m(p-1)} \biggl(\frac{1}{n}+\frac{p-m}{2} \biggr). $$

Then there exists sufficiently small \(\eta >0\) such that \((u,v)\) given by (14) and (17) is a supersolution to the system of (1) and (2).


A simple computation can lead to

$$\begin{aligned} &\bigl(U^{m}\bigr)''(r)+\frac{n-1}{r} \bigl(U^{m}\bigr)'(r)+\beta rU'(r)+\alpha U(r) \\ &\quad = \biggl(\frac{2A}{m-1} \biggl(\frac{2Am}{m-1}-\beta \biggr)r^{2}U^{1-m}(r)+ \biggl(\alpha -\frac{2Amn}{m-1} \biggr) \biggr)U(r), \quad 0< r< \biggl(\frac{ \eta }{A} \biggr)^{1/2}. \end{aligned}$$

By the definition of A, we choose \(\eta _{1}>0\) sufficiently small, and when \(0<\eta <\eta _{1}\), we obtain

$$\begin{aligned} &\bigl(U^{m}\bigr)''(r)+\frac{n-1}{r} \bigl(U^{m}\bigr)'(r)+\beta r U'(r)+\alpha U(r) < 0,\quad 0< r< \biggl(\frac{\eta }{A} \biggr)^{1/2}. \end{aligned}$$

Owing to \((U^{m})'(r)=-\frac{2Amr}{m-1}U(r)\le 0\), then, for \(0< r<(\frac{\eta }{A})^{1/2}\),

$$\begin{aligned} & \bigl(U^{m}\bigr)''(r)+ \frac{n-1}{r}\cdot \frac{ \vert x \vert +1}{ \vert x \vert }\bigl(U^{m} \bigr)'(r)+ \beta rU'(r)+\alpha U(r) \\ & \quad =\bigl(U^{m}\bigr)''(r)+ \frac{n-1}{r}\bigl(U^{m}\bigr)'(r)+\beta r U'(r)+ \alpha U(r)+\frac{n-1}{r}\cdot \frac{1}{ \vert x \vert } \bigl(U^{m}\bigr)'(r)< 0. \end{aligned}$$

Similarly, for each \(0<\eta <\eta _{1}\), we have

$$\begin{aligned} \bigl(V^{m}\bigr)''(r)+ \frac{n-1}{r}\cdot \frac{ \vert x \vert +1}{ \vert x \vert }\bigl(V^{m} \bigr)'(r)+\beta r V'(r)+\alpha V(r)< 0, \end{aligned}$$

where \(0< r<(\frac{\eta }{A})^{1/2}\). The definitions of U, V imply that

$$\begin{aligned} r^{\mu }U^{q-1}(r) &\le A^{-\mu /2}\eta ^{[(p-1)(q-m)]/[(m-1)(p-m)]}, \qquad V^{p-1}(r)\le \eta ^{(p-1)/(m-1)}, \end{aligned}$$

where \(0< r<(\frac{\eta }{A})^{1/2}\). Together with (18) and (19), for sufficiently small \(0<\eta _{2}<\eta _{1}\) and when \(0<\eta <\eta _{2}<\eta _{1}\), we get (15) and (16). Since \(U, V\in C^{1}([0,+\infty ))\), \((u,v)\) is given by (14) and (17) which is a supersolution to system (1) and (2). □

Theorem 3.2

Let \(p>p_{c}\). Then there exist both nontrivial global and blow-up solutions to problem (1)(3).


The comparison principle and Lemma 3.1 yield that problem (1)–(3) with small initial data admits a nontrivial global solution. Next, let us show the existence of a blow-up solution to problem (1)–(3) with large initial data.

Fix \(l>0\) and let \((u,v)\) be the solution to problem (1)–(3). Set

$$ \tilde{w}_{l}(t)= \int _{\mathbb{R}^{n}} \bigl(u(x,t)+v(x,t) \bigr)\psi _{l}(x)\, \mathrm{d}x,\quad t\ge 0. $$

From the first half of the proof of Theorem 3.1, we know that when \(-qn+n+\mu <0\), we use the Hölder inequality to get

$$\begin{aligned} &\frac{\mathrm{d}}{\mathrm{d}t}\tilde{w}_{l}(t) \\ &\quad \ge-C_{1}l^{n-2-mn} \biggl( \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{m}+ \biggl( \int _{\mathbb{R}^{n}} v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{m} \biggr) \\ &\qquad {}+ \int _{\mathbb{R}^{n}}\bigl( \vert x \vert +1\bigr)^{\mu }u^{q}(x,t) \psi _{l}(x)\,\mathrm{d}x+ \int _{\mathbb{R}^{n}}v^{p}(x,t)\psi _{l}(x)\, \mathrm{d}x \\ &\quad \ge-C_{1}l^{n-2-mn}\tilde{w}_{l}^{m}(t)+C_{2}'l^{-qn+n+\mu } \biggl( \int _{\mathbb{R}^{n}}u(x,t)\psi _{l}(x)\,\mathrm{d}x \biggr)^{q} \\ &\qquad {}+C_{2}''l^{-np+n} \biggl( \int _{\mathbb{R}^{n}}v(x,t)\psi _{l}(x) \,\mathrm{d}x \biggr)^{p} \\ &\quad \ge\tilde{w}_{l}^{m}(t) \bigl(-C_{1}l^{n-2-mn}+2^{-p}C_{2} \cdot \min \bigl\{ \tilde{w}_{l}^{p-m}(t), \tilde{w}_{l}^{q-m}(t)\bigr\} \bigr),\quad t\ge 0, \end{aligned}$$

where \(C_{2}=\min \{C_{2}'l^{-np+n},C_{2}''l^{-qn+n+\mu }\}\) is a positive constant that depends only on n, p, q, and l. If \((u _{0},v_{0})\) is so large that

$$ C_{1}l^{n-2-mn}\le 2^{-(p+1)}C_{2}\cdot \min \bigl\{ \tilde{w}_{l}^{p-m}(0), \tilde{w}_{l}^{q-m}(0) \bigr\} , $$

then (20) leads to

$$ \frac{\mathrm{d}}{\mathrm{d}t}\tilde{w}_{l}(t)\ge 2^{-(p+1)}C_{2} \cdot \min \bigl\{ \tilde{w}_{l}^{p}(t),\tilde{w}_{l}^{q}(t) \bigr\} ,\quad t>0. $$

By the same method above, one can show that \((u,v)\) must blow up in a finite time. Similarly, we can prove that blow-up solutions to problem (1)–(3) with large initial data exist when \(-qn+n+\mu \ge 0\). □


  1. Andreucci, D., Cirmi, G., Leonardi, S., Tedeev, A.: Large time behavior of solutions to the Neumann problem for a quasilinear second order degenerate parabolic equation in domains with noncompact boundary. J. Differ. Equ. 174, 253–288 (2001)

    Article  MathSciNet  Google Scholar 

  2. Deng, K., Levine, H.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000)

    Article  MathSciNet  Google Scholar 

  3. Escobedo, M., Herrero, M.: Boundedness and blow up for a semilinear reaction–diffusion system. J. Differ. Equ. 89, 176–202 (1991)

    Article  MathSciNet  Google Scholar 

  4. Fira, M., Kawohl, B.: Large time behavior of solutions to a quasilinear parabolic equation with a nonlinear boundary condition. Adv. Math. Sci. Appl. 11, 113–126 (2001)

    MathSciNet  MATH  Google Scholar 

  5. Fujita, H.: On the blowing up of solutions of the Cauchy problem for \(u_{t}=\Delta u+u^{1+\alpha }\). J. Fac. Sci., Univ. Tokyo, Sect. I 13, 109–124 (1966)

    MathSciNet  Google Scholar 

  6. Galaktionov, V.: Blow-up for quasilinear heat equations with critical Fujita’s exponents. Proc. R. Soc. Edinb. A 124, 517–525 (1994)

    Article  MathSciNet  Google Scholar 

  7. Galaktionov, V., Kurdjumov, S., Mikhailov, A., Samarskii, A.: On unbounded solutions of the Cauchy problem for the parabolic equation \(\partial u/\partial t=\nabla (u\sigma \nabla u)+u^{\beta}\). Dokl. Akad. Nauk SSSR 252, 1362–1364 (1980)

    MathSciNet  Google Scholar 

  8. Guo, W., Lei, M.: Critical Fujita curves for a coupled reaction-convection-diffusion system with singular coefficients. J. Jilin Univ. Sci. 54, 183–188 (2016)

    MathSciNet  MATH  Google Scholar 

  9. Guo, W., Wang, X., Zhou, M.: Asymptotic behavior of solutions to a class of semilinear parabolic equations. Bound. Value Probl. 2016, 68 (2016)

    Article  MathSciNet  Google Scholar 

  10. Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic equations. Proc. Jpn. Acad. 49, 503–525 (1973)

    Article  MathSciNet  Google Scholar 

  11. Kobayashi, K., Siaro, T., Tanaka, H.: On the blowing up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977)

    Article  Google Scholar 

  12. Levine, H., Zhang, Q.: The critical Fujita number for a semilinear heat equation in exterior domains with homogeneous Neumann boundary values. Proc. R. Soc. Edinb., Sect. A 130(3), 591–602 (2000)

    MathSciNet  MATH  Google Scholar 

  13. Li, H., Wang, X., Nie, Y., He, H.: Asymptotic behavior of solutions to a degenerate quasilinear parabolic equation with a gradient term. Electron. J. Differ. Equ. 2015, 295 (2015)

    Article  MathSciNet  Google Scholar 

  14. Martynenko, A., Tedeev, A.: Cauchy problem for a quasilinear parabolic equation with a source term and an inhomogeneous density. Comput. Math. Math. Phys. 47(2), 238–248 (2007)

    Article  MathSciNet  Google Scholar 

  15. Qi, Y.: The critical exponents of parabolic equations and blow-up in \(\mathbb {R}^{n}\). Proc. R. Soc. Edinb., Sect. A 128(1), 123–136 (1998)

    Article  Google Scholar 

  16. Qi, Y., Levine, H.: The critical exponent of degenerate parabolic systems. Z. Angew. Math. Phys. 44, 249–265 (1993)

    Article  MathSciNet  Google Scholar 

  17. Qi, Y., Wang, M.: Critical exponents of quasilinear parabolic equations. J. Math. Anal. Appl. 267, 264–280 (2002)

    Article  MathSciNet  Google Scholar 

  18. Quittner, P., Souplet, P.: Superlinear Parabolic Problems. Blow-up, Global Existence and Steady States. Birkhäuser Advanced Texts: Basler Lehrbücher. Birkhäuser, Basel (2007)

    MATH  Google Scholar 

  19. Wang, C., Zheng, S.: Critical Fujita exponents of degenerate and singular parabolic equations. Proc. R. Soc. Edinb., Sect. A 136(2), 415–430 (2006)

    Article  MathSciNet  Google Scholar 

  20. Wang, C., Zheng, S., Wang, Z.: Critical Fujita exponents of a class of quasilinear equations with homogeneous Neumann boundary data. Nonlinearity 20, 1343–1359 (2007)

    Article  MathSciNet  Google Scholar 

  21. Weissler, F.: Existence and non-existence of global solutions for semilinear equation. Isr. J. Math. 6(1), 85–126 (2000)

    MathSciNet  Google Scholar 

  22. Winkler, M.: A critical exponent in a degenerate parabolic equation. Math. Methods Appl. Sci. 25, 911–925 (2002)

    Article  MathSciNet  Google Scholar 

  23. Wu, Z., Zhao, J., Yin, J., Li, H.: Nonlinear Diffusion Equations. World Scientific, River Edge (2001)

    Book  Google Scholar 

  24. Zheng, S., Wang, C.: Large time behaviour of solutions to a class of quasilinear parabolic equations with convection terms. Nonlinearity 21(9), 2179–2200 (2008)

    Article  MathSciNet  Google Scholar 

  25. Zhou, M., Li, H., Guo, W., Zhou, X.: Critical Fujita exponents to a class of non-Newtonian filtration equations with fast diffusion. Bound. Value Probl. 2016, 146 (2016)

    Article  MathSciNet  Google Scholar 

  26. Zhou, Q., Nie, Y., Han, X.: Large time behavior of solutions to semilinear parabolic equations with gradient. J. Dyn. Control Syst. 22(1), 191–205 (2016)

    Article  MathSciNet  Google Scholar 

Download references


The authors would like to thank the referees for their valuable comments and suggestions which improved the original manuscript.

Availability of data and materials

Not applicable.


This work is supported by the National Natural Science Foundation of China (Grant Nos. 11571137, 11601182, and 11801211), by the Department of Science and Technology of Jilin Province (20180520213JH), and by the Education Department of Jilin Province (JJKH20180114KJ).

Author information

Authors and Affiliations



All the authors contributed to each part of this study equally and approved the final version of the manuscript.

Corresponding author

Correspondence to Yuanyuan Nie.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Leng, Y., Nie, Y. & Zhou, Q. Asymptotic behavior of solutions to a class of coupled nonlinear parabolic systems. Bound Value Probl 2019, 68 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: