Advertisement

Boundary Value Problems

, 2019:68 | Cite as

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

  • Yan Leng
  • Yuanyuan NieEmail author
  • Qian Zhou
Open Access
Research
  • 153 Downloads

Abstract

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.

Keywords

Critical Fujita exponent Asymptotic behavior Blow-up theorem 

MSC

35B33 35K20 35K58 

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}$$
(1)
$$\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}$$
(2)
$$\begin{aligned} &u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x),\quad x \in \mathbb{R}^{n}, \end{aligned}$$
(3)
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}$$
(4)
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}$$
(5)
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.

Proof

Let
$$ \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}. $$
Then
$$ \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}$$
(6)
where
$$ 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}$$
and
$$\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}$$
(7)
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}$$
and
$$\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}$$
(8)
and
$$\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}$$
(9)
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}$$
(10)
where \(C_{2}=\min \{C_{2}', C_{2}''\}\), \(C=\max \{C_{1}C_{2}', C_{1}C _{2}''\}\).
Set
$$ \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}$$
(11)
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}$$
(12)
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}$$
(13)
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}$$
(14)
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}$$
(15)
$$\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}$$
(16)
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}$$
(17)
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).

Proof

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}$$
(18)
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}$$
(19)
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).

Proof

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}$$
(20)
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\). □

Notes

Acknowledgements

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.

Authors’ contributions

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

Funding

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).

Competing interests

The authors declare that they have no competing interests.

References

  1. 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) MathSciNetCrossRefGoogle Scholar
  2. 2.
    Deng, K., Levine, H.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Escobedo, M., Herrero, M.: Boundedness and blow up for a semilinear reaction–diffusion system. J. Differ. Equ. 89, 176–202 (1991) MathSciNetCrossRefGoogle Scholar
  4. 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) MathSciNetzbMATHGoogle Scholar
  5. 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) MathSciNetGoogle Scholar
  6. 6.
    Galaktionov, V.: Blow-up for quasilinear heat equations with critical Fujita’s exponents. Proc. R. Soc. Edinb. A 124, 517–525 (1994) MathSciNetCrossRefGoogle Scholar
  7. 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) MathSciNetGoogle Scholar
  8. 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) MathSciNetzbMATHGoogle Scholar
  9. 9.
    Guo, W., Wang, X., Zhou, M.: Asymptotic behavior of solutions to a class of semilinear parabolic equations. Bound. Value Probl. 2016, 68 (2016) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic equations. Proc. Jpn. Acad. 49, 503–525 (1973) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Kobayashi, K., Siaro, T., Tanaka, H.: On the blowing up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977) CrossRefGoogle Scholar
  12. 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) MathSciNetzbMATHGoogle Scholar
  13. 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) MathSciNetCrossRefGoogle Scholar
  14. 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) MathSciNetCrossRefGoogle Scholar
  15. 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) CrossRefGoogle Scholar
  16. 16.
    Qi, Y., Levine, H.: The critical exponent of degenerate parabolic systems. Z. Angew. Math. Phys. 44, 249–265 (1993) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Qi, Y., Wang, M.: Critical exponents of quasilinear parabolic equations. J. Math. Anal. Appl. 267, 264–280 (2002) MathSciNetCrossRefGoogle Scholar
  18. 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) zbMATHGoogle Scholar
  19. 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) MathSciNetCrossRefGoogle Scholar
  20. 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) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Weissler, F.: Existence and non-existence of global solutions for semilinear equation. Isr. J. Math. 6(1), 85–126 (2000) MathSciNetGoogle Scholar
  22. 22.
    Winkler, M.: A critical exponent in a degenerate parabolic equation. Math. Methods Appl. Sci. 25, 911–925 (2002) MathSciNetCrossRefGoogle Scholar
  23. 23.
    Wu, Z., Zhao, J., Yin, J., Li, H.: Nonlinear Diffusion Equations. World Scientific, River Edge (2001) CrossRefGoogle Scholar
  24. 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) MathSciNetCrossRefGoogle Scholar
  25. 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) MathSciNetCrossRefGoogle Scholar
  26. 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) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

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 and Affiliations

  1. 1.School of MathematicsJilin UniversityChangchunChina

Personalised recommendations