- Research
- Open Access
- Published:
The critical exponent for fast diffusion equation with nonlocal source
Boundary Value Problems volume 2019, Article number: 164 (2019)
Abstract
This paper considers the Cauchy problem for fast diffusion equation with nonlocal source \(u_{t}=\Delta u^{m}+ (\int_{\mathbb{R}^{n}}u^{q}(x,t)\,dx )^{\frac{p-1}{q}}u^{r+1}\), which was raised in [Galaktionov et al. in Nonlinear Anal. 34:1005–1027, 1998]. We give the critical Fujita exponent \(p_{c}=m+\frac{2q-n(1-m)-nqr}{n(q-1)}\), namely, any solution of the problem blows up in finite time whenever \(1< p\le p_{c}\), and there are both global and non-global solutions if \(p>p_{c}\).
1 Introduction
In this paper, we study the following Cauchy problem of fast diffusion parabolic equation with a nonlinear nonlocal source:
where the spatial dimension \(n\ge1\), the coefficients m, p, q, r satisfy \(\max\{0,1-\frac{2}{n}+r\}< m<1\), \(p> 1\), \(q\ge1\), \(0\le r<\frac{2}{n}\), and the initial data \(u_{0}(x)\) is a nontrivial nonnegative continuous function.
The quasilinear parabolic equations involving a nonlocal term originate in the phenomena of diffusion about concentration of some Newtonian fluids or the density of some biological species and heat transfer in a special medium with nonlocal source (see [2, 3] and the references therein). In the past three decades, various nonlocal mathematical models were established to describe many physical phenomena (see [1, 4,5,6,7,8,9] and references therein). At the same time, many important results have appeared on the blow-up problem for a nonlinear parabolic equation with nonlocal source (see [2, 6, 8,9,10,11] and references therein), and for nonlocal nonlinear diffusion equations [12, 13]. However, most of efforts have been devoted in bounded domains, there were few researches for the Cauchy problems (see [1, 14, 15]).
It is well known that the classical Cauchy problem
possesses the critical exponent \(1+\frac{2}{n}\) [16,17,18,19], that is to say, any nontrivial solution blows up in finite time if \(1< p\le1+\frac {2}{n}\), whereas global and non-global solutions coexist if \(p>1+\frac{2}{n}\), depending on the size of initial data. From then on, the Fujita phenomenon has been observed for many nonlinear PDEs (see surveys [20, 21] and references therein).
The study for the Cauchy problem of nonlocal nonlinear parabolic equation was proposed by Galaktionov et al. [1], in which it was proved that the Cauchy problem (1.1) with \(m=1\) has a critical Fujita exponent, and Wang et al. [15] obtained similar results by other methods. Recently, Zhou [14] considered the global and non-global existence of solutions for (1.1) with \(m>1\).
The present paper investigates a fast diffusion parabolic equation (1.1) (\(\max\{0,1-\frac{2}{n}\}< m<1\)) with a nonlocal source, and establishes the critical Fujita exponent \(p_{c}=m+\frac{2q-n(1-m)-nqr}{n(q-1)}\). Comparing with the known result for the parallel problem with a local source
the critical Fujita exponent was obtained in [22, 23] and shown to be \(p_{c}=1+\frac{2m}{n}\).
In the rest of the paper, we always let u be a solution to (1.1), and \(p_{c}=m+\frac{2q-n(1-m)-nqr}{n(q-1)}\). The main results are stated in the following theorems.
Theorem 1.1
For \(1< p\leq p_{c}\), there are no global nontrivial solutions to (1.1).
Theorem 1.2
For \(p>p_{c}\), there are both global and non-global solutions to (1.1).
This paper is organized as follows. Section 2 concerns the non-global solution to prove Theorem 1.1. Section 3 deals with the global existence to prove Theorem 1.2. And Sect. 4 shows in what ways the parameter q of the nonlocal source affects the behavior of solutions in the fast diffusion problem (1.1).
2 Non-global solutions
This section mainly applies the test function method (refer to [15, 22]) to prove that any solution of (1.1) must blow up in finite time for \(1< p\le p_{c}\). Introducing the test function
for some \(k>0\), we can simply verify that
Define
It is sufficient to show that \(F(t)\) blows up in finite time as \(1< p\le p_{c}\) to deal with Theorem 1.1.
Proof of Theorem 1.1
Firstly, we consider the case of \(1< p< p_{c}\). Multiplying equation (1.1) by \(\varphi_{k}(x)\) and integrating by parts in \(\mathbb{R}^{n}\), we get
Using Jensen’s inequality for \(m<1\), \(q>1\), and \(r>0\),
Assuming
we obtain
and
This implies
Obviously, \(F(t)\) blows up for any nonnegative initial data as \(t\to T=\frac{2F^{-(p+r-1)}(0)}{p+r-1} (\frac{k}{\pi} )^{\frac{n(p-1)}{2q}}\). In the following, we show that
is a sufficient condition to prove condition (2.2). If not, there exists some τ, such that
and
This implies \(F'(\tau_{0})<0\) for some \(\tau_{0}\in(0,\tau)\), which contradicts \(F'(t)\ge0\), \(t\in(0,\tau)\). Thereby, to prove that a solution of (1.1) blows up in finite time, we only show (2.4) is true for any nonnegative nontrivial initial data \(u_{0}(x)\). Since \(\frac{n}{2}<\frac{2q+n(p-1)}{2q(p+r-m)}\) which was derived by \(1< p< p_{c}\), there exists a \(k>0\) small enough, such that
Next, we consider the case of \(p=p_{c}\). Supposing a solution of (1.1) is global for any \(t\ge0\), it holds that
That is, if (2.5) is not true, namely \(F(t_{1})> (\pi^{\frac{n(p-1)}{2q}}(4n)^{-1} )^{-\frac {1}{p+r-m}}k^{\frac{2q+n(p-1)}{2q(p+r-m)}}\) for some \(t_{1}>0\), then the solution \(u(x,t)\) must blow up in finite time by the above proof. The condition \(p=p_{c}\) means \(\frac{n}{2}=\frac{2q+n(p-1)}{2q(p+r-m)}\), and (2.5) can be rewritten as
Without loss of generality, assuming \(u_{0}(x)\) has compact support in \(\mathbb{R}^{n}\), we get that \(u(x,t)\in L(\mathbb{R}^{n})\) for any fixed \(t>0\) (see [24]). By Lebesgue Dominated Convergence Theorem, as \(k\to0\) in (2.6),
Integrating equation (1.1) on \(\mathbb{R}^{n}\times[0,t]\), we have
And then
as \(u_{0}(x,t)\ge0\). This implies that
On the other hand, from [25] we know that there exists \(\delta>0\) such that the solution of (1.1) satisfies
for \(B=\frac{(1-m)\alpha\delta^{1-m}}{2mn}\) and some \(\tau>0\). Setting
with \(\alpha=\frac{n}{2-n(1-m)}\), it is simple to verify
And we have
since \(-\alpha(p+r-1)+\frac{\alpha(p-1)}{q}=-1\) for \(p=p_{c}\) and \(\xi=\sqrt{B}x(1+t)^{-\frac{\alpha}{n}}\). This contradicts (2.8), and so our assumption that the solution of (1.1) globally exist for \(t>0\) is not true, which proves Theorem 1.1 with \(p=p_{c}\). □
3 Coexistence of global and non-global solutions
This section mainly deals with the global solution for the case of \(p>p_{c}\) to derive Theorem 1.2.
Proof of Theorem 1.2
Firstly, we show that the solution of (1.1) must blow up in finite time for large initial data \(u_{0}(x)\). The proof of Theorem 1.1 means that \(u(x,t)\) does not exist globally, provided \(u_{0}\) satisfies
For any fixed \(k=k_{0}>0\), we can choose large \(u_{0}(x)\) to fulfil condition (3.1).
Next, we prove that the solution of (1.1) exists globally for any small initial data \(u_{0}(x)\). Let
where \(\beta=\frac{n(p-1)+2q}{2q(p+r-1)-n(1-m)(p-1)}\), and \(D_{1},D_{2}>0\) are to be determined. We demonstrate that ū is a global supersolution of (1.1) for suitable \(D_{1}\) and \(D_{2}\). Setting
with \(z=|x|^{2}(t+1)^{-\beta(1-m)-1}\), we have
For \(\max\{0,1-\frac{2}{n}+r\}< m<1\), \(q\ge1\), \(r\ge0\) implying \(\frac{2q}{1-m}\ge\frac{2}{1-m}>n\), there exists a constant \(C>0\) such that
Substituting the above inequity into the expression of \(G(Z)\) in (3.2), and using \(D_{2}z=Z-D_{1}\), \(\beta=\frac{n(p-1)+2q}{2q(p+r-1)-n(1-m)(p-1)}\), we have
To describe \(F(Z)\ge0\) for some \(D_{1}\) and \(D_{2}\), we have to show (i) \(F(D_{1})\ge0\) and (ii) \(F'(Z)\ge0\) for \(Z\ge D_{1}\).
(i) \(F(D_{1})= (-\beta+\frac{2mDn}{1-m} )D_{1}-CD_{1}^{-\frac {r}{1-m}+1}\ge 0\) is equivalent to
(ii) By simple computation, \(F'(Z)=-\beta+\frac{\beta-\beta m+1}{1-m}+\frac{2mD_{2}n}{1-m}- \frac{4mD_{2}}{(1-m)^{2}}-C (1-\frac{r}{1-m} )Z^{-\frac{r}{1-m}}\). If \(1-\frac{r}{1-m}\le0\), condition (ii) is ensured by
If \(1-\frac{r}{1-m}> 0\), condition (ii) is ensured by (3.6) and
Inequalities (3.5) and (3.6) require
Due to \(\beta=\frac{n(p-1)+2q}{2q(p+r-1)-n(1-m)(p-1)}\) and \(p>p_{c}\), we can choose some \(D_{2}>0\) that fulfils (3.8). For such \(D_{2}\), choose \(D_{1}>0\) large enough to satisfy (3.4) and (3.7).
In conclusion, ū is a global supersolution to problem (1.1) with small initial data \(u_{0}(x)\le\bar{u}(x,0)=(D_{1}+D_{2}|x|^{2})^{-\frac{1}{1-m}}\). □
4 Conclusion
This paper shows that the model (1.1) possesses critical Fujita exponent \(p_{c}=m+\frac{2q-n(1-m)-nqr}{n(q-1)}\) in Theorems 1.1 and 1.2, and we find that the coefficient q of the nonlocal term affects the critical Fujita exponent. It’s easy to see that \(p_{c}\) is decreasing in q with \(\lim_{q\to\infty}p_{c}=m+\frac{2}{n}-r\) and \(\lim_{q\to1}p_{c}=\infty\). That is to say, the scope \(1< p\leq p_{c}\) for the blow-up of any nontrivial solutions will be enlarged as q is decreasing, and any nontrivial solution of (1.1) will blow up when \(p>1\) and \(q=1\). Refer to Fig. 1.
References
Galaktionov, V.A., Levine, H.A.: A general approach to critical Fujita exponents in nonlinear parabolic problems. Nonlinear Anal. 34, 1005–1027 (1998)
Deng, W.B.: The blow-up rate for a degenerate parabolic equation with a non-local source. J. Math. Anal. Appl. 264(2), 577–597 (2001)
Anderson, J.R., Deng, K.: Global existence for degenerate parabolic equations with a non-local forcing. Math. Methods Appl. Sci. 20(13), 1069–1087 (1997)
Bebernes, J.W., Bressan, A.: Thermal behavior for a confined reactive gas. J. Differ. Equ. 44, 118–133 (1982)
Deng, K., Kwong, M.K., Levine, H.A.: The influence of non-local nonlinearities on the long time behavior of solutions of Burger’s equation. Q. Appl. Math. 50, 173–200 (1992)
Deng, W.B., Li, Y.X., Xie, C.H.: Blow-up and global existence for a non-local degenerate parabolic system. J. Math. Anal. Appl. 277, 199–217 (2003)
Furter, J., Grinfeld, M.: Local vs. non-local interactions in population dynamics. J. Math. Biol. 27, 65–80 (1989)
Pao, C.V.: Blowing-up of solution for a nonlocal reaction-diffusion problem in combustion theory. J. Math. Anal. Appl. 166, 591–600 (1992)
Souplet, P.: Blow-up in nonlocal reaction–diffusion equations. SIAM J. Math. Anal. 29, 1301–1334 (1998)
Du, L.L., Mu, C.L., Fan, M.S.: Global existence and non-existence for a quasilinear degenerate parabolic system with non-local source. Dyn. Syst. 20(4), 401–412 (2005)
Du, L.L.: Blow-up for a degenerate reaction–diffusion system with nonlinear nonlocal sources. J. Comput. Appl. Math. 202(2), 237–247 (2007)
García-Melián, J., Quirós, F.: Fujita exponents for evolution problems with nonlocal diffusion. J. Evol. Equ. 10(1), 147–161 (2010)
Bogoya, M., Ferreira, B., Rossi, J.D.: A nonlocal nonlinear diffusion equation with blowing up boundary conditions. J. Math. Anal. Appl. 337(2), 1284–1294 (2008)
Zhou, J.: The second critical exponent for a nonlocal porous medium equation in \(\mathbb{R}^{N}\). Appl. Math. Lett. 38, 43–47 (2014)
Wang, S., Xie, C.H.: On critical exponent of blow-up for a nonlocal reaction–diffusion equations. Acta Math. Sin. 41, 261–266 (1998)
Fujita, H.: On the blowing up of solution of the Cauchy problem for \(u_{t}=\Delta u+u^{\alpha+1}\). J. Fac. Sci., Univ. Tokyo 13, 109–124 (1966)
Aronson, D., Weinberger, H.F.: Multidimensional nonlinear diffusion arising in population genetics. Adv. Math. 30, 33–76 (1978)
Hayakawa, K.: On nonexistence of global solution os some semilinear parabolic equation. Proc. Jpn. Acad. 49, 503–505 (1973)
Kobayashi, K., Sirao, T., Tanaka, H.: On the blowing up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977)
Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000)
Levine, H.A.: The role of critical exponents in blowup theorems. SIAM Rev. 32, 262–288 (1990)
Qi, Y.W.: On the equation \(u_{t}=\Delta u^{\alpha}+u^{\beta}\). Proc. R. Soc. Edinb., Sect. A, Math. 123, 373–390 (1993)
Mochizuki, K., Mukai, K.: Existence and nonexistence of global solution to fast diffusions with source. Methods Appl. Anal. 2, 92–102 (1995)
Evans, L.C.: Partial Differential Equations. American Mathematical Society, Providence (1998)
Herrero, M., Pierre, M.: The Cauchy problem for \(u_{t}=\Delta u^{m}\) when \(0< m<1\). Trans. Am. Math. Soc. 291, 145–158 (1985)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (Grant Nos. 11501438, 11501076), the Natural Science Basic Research Plan in Shaanxi Province of China (No. 2018JM1035), and the Young Talent fund of University Association for Science and Technology in Shaanxi, China (No. 20170607).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work. They all read 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
Yang, C., Kong, L., Wu, Y. et al. The critical exponent for fast diffusion equation with nonlocal source. Bound Value Probl 2019, 164 (2019). https://doi.org/10.1186/s13661-019-1282-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1282-1
MSC
- 35B33
- 35K65
Keywords
- Critical exponents
- Fast diffusion
- Nonlocal
- Global solutions
- Blow-up