Abstract
This paper concerns the asymptotic behavior of the solution to a class of coupled semilinear parabolic systems with gradient terms. The Fujita-type blow-up theorems are established and the critical Fujita curve is determined not only by the behavior of the coefficients of the gradient term and the source terms at infinity, but also by the spacial dimension.
Similar content being viewed by others
1 Introduction
In this paper, we deal with the following Cauchy problem of the coupled semilinear parabolic system:
where \(p,q>1\), \(\lambda_{1},\lambda_{2}\geq0\), \(u_{0},v_{0}\in L_{\mathrm{loc}}^{1}(\mathbb {R}^{n})\cap L^{\infty}(\mathbb {R}^{n})\) are nonnegative nontrivial, \(b\in C^{1}([0,+\infty))\) satisfies
and additionally, in the case that \(-n<\kappa\leq+\infty\), b also satisfies
It was Fujita [1] who first proved that the Cauchy problem of the semilinear equation
admits no nonnegative nontrivial global solutions if \(1< p< p_{c}=1+2/n\), whereas it admits both nontrivial global (with small initial data) and non-global nonnegative (with large initial data) solutions if \(p>p_{c}\). Later, the fact that the critical case \(p=p_{c}\) belongs to the blow-up case was shown in [2,3,4]. From then on, many mathematicians have focused on the extensions of Fujita’s results (see, e.g., [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] and the references therein).
Studies on equations with a gradient term are relatively rich. Meier [5] investigated the Cauchy problem of
with \(\mathbf{b}\in L^{\infty}(\mathbb {R}^{n};\mathbb {R}^{n})\) and proved that the critical Fujita exponent is
where \(\omega^{*}\) is the maximal decay rate for solutions to (1.7) without \(u^{p}\). For constant vector b, \(\omega^{*}={n}/2\), while for nonconstant vector b, \(\omega^{*}\) is unknown generally. Nevertheless, there are still some results for some special nonconstant vectors b. In [20], Zheng et al. studied the Neumann exterior problem for (1.7) with
and formulated its critical Fujita exponent as
Also, it was shown in [22] that the critical Fujita exponent to the Cauchy problem for (1.7) with \(\mathbf{b}(x)=b(|x|)x\) is still (1.8), where b satisfies (1.4) and (1.5). A more general case that the coefficients of the derivative of u with respect to time t and source term depend on spatial position was considered in [23]. For more studies about the quasilinear equations with gradient terms, one can see [14, 18, 20], etc.
The results of Fujita type for coupled systems are also fairly rich. In 1991, Escobedo et al. [6] formulated the critical Fujita curve for (1.1)–(1.3) with \(b\equiv0\) and \(\lambda _{1}=\lambda_{2}=0\) as follows:
Moreover, Guo [9] studied the Neumann exterior problem of the system
with \(\kappa\in\mathbb{R}\), \(\lambda\geq0\), and proved that the corresponding critical Fujita curve is
Na et al. [24] showed that the critical Fujita curve for problem (1.1)–(1.3) with \(\lambda_{1}=\lambda_{2}=0\) and nonnegative b is
There are also some results about coupled parabolic systems involving time-weighted sources. For example, Cao et al. [25] investigated the Cauchy problem of the following systems:
where \(f_{i}(t)\in C^{\mu}([0,+\infty))\), \(f_{i}(t)\sim t^{\sigma_{i}} (t\to+\infty)\) with \(\sigma_{i}\in\mathbb {R}\), \(i=1, 2\), and showed that the critical Fujita curve is
In this paper, we formulate the critical Fujita curve to problem (1.1)–(1.3) as follows:
and prove the following Fujita-type blow-up theorems.
Theorem 1.1
Assume that \(b\in C^{1}([0,+\infty))\) satisfies (1.4) and (1.5) with \(-\infty\le\kappa<+\infty\). Let \(p, q>1\) satisfy
with \((pq)_{c}\) defined in (1.12). Then every nonnegative nontrivial solution to problem (1.1)–(1.3) must blow up in a finite time.
Theorem 1.2
Assume that \(b\in C^{1}([0,+\infty))\) satisfies (1.4) and (1.5) with \(-n<\kappa\leq+\infty\). Let \(pq>(pq)_{c}\) with \((pq)_{c}\) defined in (1.12), then there exist both nonnegative nontrivial global and nonnegative blow-up solutions to problem (1.1)–(1.3).
The difference between (1.12) and (1.9) shows that the asymptotic behavior of the coefficients of the gradient term and the exponents in the coefficients of source terms can affect the properties of solutions essentially. The method used in the paper is mainly inspired by [16, 18, 20, 22, 23]. To prove the blow-up of solutions, we determine the interactions between the diffusion terms and the gradient terms by energy estimates instead of the pointwise comparison principle. A nontrivial global supersolution is constructed to show the global existence of nontrivial solutions. What is noteworthy is that the non-self-similarity of (1.1) and (1.2) brings a difficult challenge for constructing the supersolution.
The paper is divided into three parts. In Section 2, we list some preliminaries such as the well-posedness of problem (1.1)–(1.3). Later, in Section 3, we illustrate several auxiliary lemmas to be used later. Finally, in Section 4, the Fujita-type blow-up theorems are proved. We will always assume that
without loss of generality.
2 Preliminaries
The solution to problem (1.1)–(1.3) is defined as follows.
Definition 2.1
Let \(0< T\le+\infty\). \((u,v)\) is called a solution to problem (1.1)–(1.3) in \((0,T)\) if
and the integral identities
and
are fulfilled for any \(\varphi, \psi\in C^{2,1}(\mathbb {R}^{n}\times[0,T))\) vanishing when t is near T or \(|x|\) are sufficiently large.
Definition 2.2
\((u,v)\) is said to be a blow-up solution to problem (1.1)–(1.3) if
with \(0< T_{*}<+\infty\), which is called blow-up time. Otherwise, \((u,v)\) is said to be a global solution.
The existence theorem and the comparison principle to problem (1.1)–(1.3) can be found in [26, 27] and the references therein.
3 Auxiliary lemmas
As mentioned in [20, 22, 24], one can prove the following lemma and remarks which will be used later.
Lemma 3.1
Assume that \(b\in C^{1}([0,+\infty))\) satisfies (1.4) and (1.5) with \(-\infty\leq\kappa<+\infty\). Let \((u,v)\) be a solution to problem (1.1)–(1.3). Then there exist \(R_{0}>0\), \(\delta>1\), and \(M_{0}>0\), depending only on n and b, such that for any \(R>R_{0}\),
and
in the distribution sense, where
with
while \(B_{r}\) denotes the open ball in \(\mathbb {R}^{n}\) with radius r and centered at the origin.
Remark 3.1
If \(\kappa=+\infty\), then Lemma 3.1 holds for any fixed \(R>0\), but \(\delta>1\) and \(M_{0}>0\) depend also on R.
Let us seek the self-similar supersolutions to system (1.1) and (1.2) of the following form:
with
and \(t_{0}>0\) to be determined later. If \(\mathcal{U}, \mathcal{V}\in C^{1}([0,+\infty))\) solve
for fixed \(t>0\), respectively. Then \((u,v)\) given by (3.3) is a supersolution to system (1.1) and (1.2).
Lemma 3.2
Assume that \(b\in C^{1}([0,+\infty))\) satisfies (1.4) and (1.5) with \(-n<\kappa\leq+\infty\). Let \(pq>(pq)_{c}\) with \((pq)_{c}\) defined in (1.12) and
with \(\omega\in C^{1,1}([0,+\infty))\) satisfies \(\omega(0)=0\) and
where \(0< l<1\) will be determined,
with \(\kappa_{1}\), \(\kappa_{2}\) satisfying
Then there exist \(\sigma>0\), \(0< l<1\), and \(t_{0}>0\) such that \((u,v)\) given by (3.3) and (3.6) is a supersolution to (1.1)–(1.3).
Proof
In the case that \(0< r< l^{2}\) and \(t>0\),
where \(\kappa_{0}=\inf\{s(s+1)b(s):s>0\}\). We can take \(0< l_{1}<1\) such that, for any \(0< l< l_{1}\),
From the definition of the function ω, one gets
which implies that one can take \(0< l_{2}< l_{1}\) such that, for any \(0< l< l_{2}\),
Finally, for \(r>l\), it holds that
The choice of \(\kappa_{1}\), \(\kappa_{2}\) leads to
which yields that there exists \(0< l_{3}< l_{2}\) such that, for any \(0< l< l_{3}\),
and thus
Fix \(0< l< l_{3}\), it follows from (1.4) that, for \(t_{0}>0\) sufficiently large,
It follows from (3.7)–(3.10) that
Similarly, one can show that
Due to \(\lambda_{1}, \lambda_{2}\geq0\), \(p, q>1\), and the definition of the function ω,
Choose \(\sigma>0\) sufficiently small such that
Then (3.11) and (3.12) yield that
and
Therefore, \((u,v)\) given by (3.3) and (3.6) is a supersolution to system (1.1) and (1.2). □
4 Proofs of Fujita-type blow-up theorems
In the final section, we will prove the blow-up theorems of Fujita type for problem (1.1)–(1.3). Let \(\eta_{R}\), h, \(R_{0}\), δ, and \(M_{0}\) be given as Lemma 3.1 in this section.
Let us prove Theorem 1.1 firstly.
Proof of Theorem 1.1
It follows from \(-\infty\le\kappa<+\infty\) and \(1< pq<(pq)_{c}\) that
Fix \(\tilde{\kappa}\geq\kappa\) to satisfy
which, together with (1.4), yields that there exists \(R_{1}>1\) such that
For any \(R>R_{1}\), one can get that
and
where
Therefore,
where \(\chi_{[0,\delta R]}\) is the characteristic function of the interval \([0,\delta R]\) and \(K>0\) depends only on n, b, \(R_{1}\), δ, and κ̃. Let \((u,v)\) be the solution to problem (1.1)–(1.3), and denote
with some constant θ to be determined. For any \(R>\max\{R_{0}, R_{1}\}\), Lemma 3.1 shows
From the Hölder inequality and (4.2), one gets
Similarly, we have
while \(M_{1}>0\) depends only on n, b, \(R_{1}\), δ, \(\lambda_{1}\), \(\lambda_{2}\), p, q, and κ̃. Substituting (4.4) and (4.5) into (4.3) gives
Choosing \(\theta=\frac{(q-p)(n+\tilde{\kappa})+\lambda_{1}-\lambda _{2}}{p+1}\), then
Lemma 3.6 in [24] and (4.6) lead to
with \(M_{2}=\min\{M_{1}^{1-p}, M_{1}^{1-q}\}\). Note that (4.1) implies
while \(w_{R}(0)\) is nondecreasing with respect to \(R\in(0,+\infty)\) and
Therefore, there exists \(R_{2}>0\) such that, for any \(R>R_{2}\),
Fix \(R>\max\{R_{0},R_{1},R_{2}\}\). Then (4.7) and (4.8) yield
It follows from \(p, q>1\) that there exists \(T_{*}>0\) such that
From \(\operatorname{supp} \eta_{R}(|x|)=\overline{B}_{\delta R}\), one gets
That is to say, \((u,v)\) blows up in a finite time. □
Let us turn to proving Theorem 1.2.
Proof of Theorem 1.2
The fact that problem (1.1)–(1.3) with small initial data admits a nontrivial global solution follows from the comparison principle and Lemma 3.2. Then let us show the blow-up of the solution to problem (1.1)–(1.3) with large initial data.
Fix \(R>R_{0}\) and let \((u,v)\) be the solution to problem (1.1)–(1.3). Denote
From Lemma 3.1, Remark 3.1, the Hölder inequality, and Lemma 3.6 in [24], it follows that
with
depending only on n, δ, p, q, and R. If \((u_{0},v_{0})\) is so large that
then (4.9) leads to
The same argument as the proof of Theorem 1.1 shows that \((u,v)\) must blow up in a finite time. □
References
Fujita, H.: On the blowing up of solutions of the Cauchy problem for \(\frac{\partial u}{\partial t}=\Delta u+u^{1+\mu}\). J. Fac. Sci. Univ. Tokyo, Sect. I 13, 109–124 (1966)
Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic equations. Proc. Jpn. Acad. 49, 503–525 (1973)
Kobayashi, K., Siaro, T., Tanaka, H.: On the blowing up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977)
Weissler, F.B.: Existence and non-existence of global solutions for semilinear equation. Isr. J. Math. 6, 29–40 (1981)
Meier, P.: On the critical exponent for reaction–diffusion equations. Arch. Ration. Mech. Anal. 109(1), 63–71 (1990)
Escobedo, M., Herrero, M.A.: Boundedness and blow up for a semilinear reaction–diffusion system. J. Differ. Equ. 89, 176–202 (1991)
Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243(1), 85–126 (2000)
Guo, W., Wang, X., Zhou, M.: Asymptotic behavior of solutions to a class of semilinear parabolic equations. Bound. Value Probl. 2016, 68 (2016)
Guo, W., Lei, M.: Critical Fujita curves for a coupled reaction–convection–diffusion system with singular coefficients. J. Jilin Univ. Sci. Ed. 54(2), 183–188 (2016)
Levine, H.A.: The role of critical exponents in blow-up theorems. SIAM Rev. 32(2), 262–288 (1990)
Li, H.L., Wang, X.Y., Nie, Y.Y., He, H.: Asymptotic behavior of solutions to a degenerate quasilinear parabolic equation with a gradient term. Electron. J. Differ. Equ. 2015, 298 (2015)
Qi, Y.W.: The critical exponents of parabolic equations and blow-up in \(R^{n}\). Proc. R. Soc. Edinb., Sect. A 128(1), 123–136 (1998)
Qi, Y.W., Wang, M.X.: Critical exponents of quasilinear parabolic equations. J. Math. Anal. Appl. 267(1), 264–280 (2002)
Suzuki, R.: Existence and nonexistence of global solutions to quasilinear parabolic equations with convection. Hokkaido Math. J. 27(1), 147–196 (1998)
Wang, C.P.: Asymptotic behavior of solutions to a class of semilinear parabolic equations with boundary degeneracy. Proc. Am. Math. Soc. 141(9), 3125–3140 (2013)
Wang, C.P., Zheng, S.N.: Critical Fujita exponents of degenerate and singular parabolic equations. Proc. R. Soc. Edinb., Sect. A 136(2), 415–430 (2006)
Wang, C.P., Zheng, S.N.: Fujita-type theorems for a class of nonlinear diffusion equations. Differ. Integral Equ. 26(5–6), 555–570 (2013)
Wang, C.P., Zheng, S.N., Wang, Z.J.: Critical Fujita exponents for a class of quasilinear equations with homogeneous Neumann boundary data. Nonlinearity 20, 1343–1359 (2007)
Zheng, S.N., Song, X.F., Jiang, Z.X.: Critical Fujita exponents for degenerate parabolic equations coupled via nonlinear boundary flux. J. Math. Anal. Appl. 298, 308–324 (2004)
Zheng, S.N., Wang, C.P.: Large time behaviour of solutions to a class of quasilinear parabolic equations with convection terms. Nonlinearity 21(9), 2179–2200 (2008)
Zhou, M.J., Li, H.L., Guo, W., Zhou, X.: Critical Fujita exponents to a class of non-Newtonian filtration equations with fast diffusion. Bound. Value Probl. 2016, 146 (2016)
Zhou, Q., Nie, Y.Y., Han, X.Y.: Large time behavior of solutions to semilinear parabolic equations with gradient. J. Dyn. Control Syst. 22(1), 191–205 (2016)
Na, Y., Zhou, M., Zhou, X., Gai, G.: Blow-up theorems of Fujita type for a semilinear parabolic equation with a gradient term. Adv. Differ. Equ. 2018, 128 (2018)
Na, Y., Nie, Y., Zhou, X.: Asymptotic behavior of solutions to a class of coupled semilinear parabolic systems with gradient terms. J. Nonlinear Sci. Appl. 10(11), 5813–5824 (2017)
Cao, X., Bai, X., Zheng, S.: Critical Fujita curve for a semilinear parabolic system with time-weighted sources. Appl. Anal. 93(3), 597–605 (2014)
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)
Ladyz̆enskaja, O., Solonnikov, V., Ural’ceva, N.: Linear and Quasilinear Equations of Parabolic Type. Transl. Math. Mono., vol. 23. Am. Math. Soc., Providence (1968)
Funding
This work is supported by the National Natural Science Foundation of China (11571137 and 11601182), Natural Science Foundation of Guandong Province (2016A030313048), and Excellent Young Teachers Program of Guandong Province.
Author information
Authors and Affiliations
Contributions
All the authors contributed to each part of this study equally and approved the final version of the manuscript.
Corresponding author
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 (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.
About this article
Cite this article
Gai, G., Liu, Q., Na, Y. et al. Fujita-type theorems for a class of coupled semilinear parabolic systems with gradient terms. Adv Differ Equ 2018, 467 (2018). https://doi.org/10.1186/s13662-018-1911-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1911-5