Critical extinction exponents for a fast diffusion equation with nonlocal source and absorption
© Li and Han; licensee Springer. 2014
Received: 22 August 2013
Accepted: 10 January 2014
Published: 30 January 2014
In this article, the authors apply the super-solution and sub-solution methods, instead of energy estimate methods, to investigate the critical extinction exponents for a fast diffusion equation with a nonlocal source and an absorption term. They give a classification of the exponents and coefficients for the solutions to vanish in finite time or not, which improve, in some sense, the results by Xu et al. (Bound. Value Probl. 2013:24 2013) and by Han et al. (Arch. Math. 97:353-363, 2011).
where , , Ω is a bounded domain in () with smooth boundary ∂ Ω, and is a nonnegative nontrivial function.
The equation in (1.1) is a fast diffusion equation perturbed by both a nonlocal source term and an absorption term, which describes the diffusion of concentration of some Newtonian fluids or the density of some biological species (see [1, 2] and the references therein). What we are interested in here is the extinction in finite time of the nonnegative solutions of (1.1), i.e. there exists a finite time such that the solution is nontrivial for , but for almost every . In this case, T is called the extinction time. As one of the most important properties of solutions of evolutionary equations, extinction in finite time of solutions has been intensively studied by several authors (see [3–16] and the references therein). In particular, in a recent paper by Xu et al. , the authors investigated the extinction and non-extinction phenomena of solutions of Problem (1.1) and obtained the following result.
Theorem 1.1 (Theorems 1-3 in )
Suppose . If and , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time for any nonnegative initial data provided that either or a is sufficiently small; If , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time provided that , or a is sufficiently small, and with C being a positive constant depending only on N, r and m; If and , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time for any nonnegative initial data provided that b is sufficiently large.
It can be seen from the above theorem that the extinction of nonnegative nontrivial weak solutions to Problem (1.1) occurs when the absorption term is in some sense strong. However, when the absorption term is suitably weak, whether Problem (1.1) admits non-extinction solutions or not is not answered in . On the other hand, it can be seen from  that is the critical extinction exponent when there is no absorption term. An interesting problem is whether the absorption term can change the critical extinction exponent. We know from a recent paper  by Liu et al. that the critical extinction exponent is not changed (at least when the source is local) when . However, when the absorption term is nonlinear, i.e. when , the problem is open.
Motivated by the works mentioned above, we investigate the critical extinction exponents for Problem (1.1) by constructing suitable super and sub-solutions and give a more complete classification of exponents and coefficients for the solutions to vanish in finite time or not.
By the strong maximum principle we know that . Our main results are the following theorems.
Theorem 1.2 If , then all the solutions vanish in finite time for suitably small initial data . If and , then all the solutions vanish in finite time for any nonnegative bounded initial data.
Theorem 1.3 If or with , then all the solutions of Problem (1.1) vanish in finite time for appropriately small initial data .
Theorem 1.4 If or with , then Problem (1.1) admits at least one non-extinction solution for any nonnegative initial data.
Here will be given in the proof of Theorem 1.4.
Theorem 1.5 If with , then Problem (1.1) admits at least one non-extinction solution for any nonnegative initial data.
Theorem 1.6 If with , then (1.1) admits at least one non-extinction solution for any strictly positive initial data . If with , then Problem (1.1) admits at least one extinction solution for any nonnegative initial data. If and , then vanishes in the sense that .
Remark 1.1 Comparing Theorems 1.2-1.6 with Theorem 1.1 we can see that our results complement those obtained in  since the case is also considered in our paper. Moreover, according to Theorems 1.2, 1.5 and the first part of Theorem 1.6 it is easy to see that is the critical extinction exponent for Problem (1.1) when , which is the same as the problems with local reaction terms (see ). However, when and , for the nonlocal problem under consideration, the first eigenvalue of −Δ in Ω no longer plays the same role as it does in the local case.
2 Proof of the main results
- (iii)for almost every and every ,(2.1)
A function is called a local solution of (1.1) if it is both a sub-solution and a super-solution for some and is called a solution of (1.1) if it is a local solution of (1.1) in for any .
where may be chosen sufficiently small in such a way that there exists a solution of (2.2) on for every , and is bounded independently of k. Furthermore, for , and a super-solution (sub-solution) comparison theory holds for (2.2) (see [1, 19]).
Thus, we can choose the appropriate test function ξ as in [1, 19] to obtain . If u is a sub-solution of (1.1), the above argument shows that . Thus is the maximal solution of (1.1), and this solution satisfies a sub-solution comparison principle.
Before proving our main results, we give a comparison principle for the solution of Problem (1.1), which is similar to Proposition 2.3 in  and can be proved by modifying the above arguments (see also [1, 10, 19]).
Proposition 2.1 Let u and v be a nonnegative bounded sub-solution and a nonnegative super-solution of (1.1), respectively. If either and u is bounded from the above or and v has a positive lower bound, then in if in Ω.
By the comparison principle for linear elliptic problem we know in Ω. Set , and . It is well known from the strong maximum principle that .
In addition, on , for any , and by the choice of A. Moreover, there exists a positive constant such that in . Therefore, by applying Proposition 2.1 to (1.1) we see that for , which implies . The arbitrariness of and ensure that . Furthermore, let , then satisfies (1.1) with the initial condition . By the aforementioned proof, we see that with any . From the relation of the extinction time of to A, it follows that for any , i.e. for any .
By the choice of k and it is easily verified that . Thus, by the results of Case (i), we can conclude that the solution vanishes in finite time when the initial data are suitably small. The proof of this theorem is complete. □
Since and , we know by integrating the ODE that vanishes at some finite time . Moreover, as in the proof of Theorem 1.2, it can be verified that is a super-solution of (1.1). Thus, by applying Proposition 2.1 to and for any we know that also vanishes at .
where . Similar to the first case, it is well known that vanishes in finite time since and is a super-solution of (1.1) provided that is small enough such that . Applying Proposition 2.1 to and guarantees the finite time extinction of . This completes the proof of Theorem 1.3. □
where . It is easy to see that (2.10) is valid for sufficiently small since .
The case can be treated similarly to Case (i).
- (iii)Finally we consider the case with . Let satisfy the following ODE:(2.11)
Then is nondecreasing and satisfies . (The upper bound of can be obtained by contradiction arguments and the monotonicity of follows immediately as the upper bound is derived.) As in the proof of Case (i), we can construct a non-extinction sub-solution with sufficiently small.
Moreover, by the choice of k. Therefore, by applying the monotonicity iteration process we can obtain a non-extinction solution of (1.1) satisfying . The proof of Theorem 1.4 is complete. □
Since and , it is well known that is nondecreasing and bounded above by . Then is a sub-solution of (1.1) if is sufficiently small. On the other hand, the super-solution can be chosen to be a large positive constant L satisfying . It can be observed that is a pair of sub-solution and super-solution of (1.1) satisfying . Therefore, by monotonicity iteration, we know that (1.1) admits at least one solution such that . Since in , cannot vanish at any finite time. The proof of Theorem 1.5 is complete. □
- (ii)Let , where satisfies(2.15)
Finally we consider the case . First we construct a non-extinction sub-solution of (1.1). Set , where , α are two positive constants to be determined. Noticing that , it is easily verified that when , is a sub-solution of (1.1) if and if is so small such that . When , for to be sub-solution of (1.1) it is reasonable to choose first so small such that and then . Next, since and is bounded, we can choose a sufficiently large constant to be a sup-solution of (1.1). Therefore, by monotonicity iteration, we can obtain a solution of (1.1) satisfying . Since does not vanish at any finite time, neither does . The proof of Theorem 1.6 is complete. □
The authors would like to thank the referees for their valuable comments and suggestions which improve the original manuscript. The authors would also like to express their sincere gratitude to Professor Wenjie Gao for his enthusiastic guidance and constant encouragement. The project was supported by NSFC (11271154).
- Anderson JR, Deng K: Global existence for degenerate parabolic equations with a nonlocal forcing. Math. Methods Appl. Sci. 1997, 20: 1069-1087. 10.1002/(SICI)1099-1476(19970910)20:13<1069::AID-MMA867>3.0.CO;2-YMATHMathSciNetView ArticleGoogle Scholar
- Vázquez JL Oxford Mathematical Monographs. In The Porous-Medium Equation: Mathematical Theory. Oxford University Press, Oxford; 2007.Google Scholar
- Berryman JG, Holland CJ: Stability of the separable solution for fast diffusion. Arch. Ration. Mech. Anal. 1980, 74: 379-388.MATHMathSciNetView ArticleGoogle Scholar
- Bonforte M, Grillo G, Vázquez JL: Behaviour near extinction for the fast diffusion equation on bounded domains. J. Math. Pures Appl. 2012, 97: 1-38. 10.1016/j.matpur.2011.03.002MATHMathSciNetView ArticleGoogle Scholar
- Galaktionov VA, Peletier LA, Vazquez JL: Asymptotics of fast-diffusion equation with critical exponent. SIAM J. Math. Anal. 2000, 31: 1157-1174. 10.1137/S0036141097328452MATHMathSciNetView ArticleGoogle Scholar
- Galaktionov VA, Vazquez JL: Asymptotic behavior of nonlinear parabolic equations with critical exponents. A dynamical system approach. J. Funct. Anal. 1991, 100: 435-462. 10.1016/0022-1236(91)90120-TMATHMathSciNetView ArticleGoogle Scholar
- Galaktionov VA, Vazquez JL: Extinction for a quasilinear heat equation with absorption I. Technique of intersection comparison. Commun. Partial Differ. Equ. 1994, 19: 1075-1106. 10.1080/03605309408821046MATHMathSciNetView ArticleGoogle Scholar
- Galaktionov VA, Vazquez JL: Extinction for a quasilinear heat equation with absorption II. A dynamical system approach. Commun. Partial Differ. Equ. 1994, 19: 1107-1137. 10.1080/03605309408821047MATHMathSciNetView ArticleGoogle Scholar
- Han YZ, Gao WJ: Extinction for a fast diffusion equation with a nonlinear nonlocal source. Arch. Math. 2011, 97: 353-363. 10.1007/s00013-011-0299-1MATHMathSciNetView ArticleGoogle Scholar
- Han YZ, Gao WJ: Extinction and non-extinction for a polytropic filtration equation with a nonlocal source. Appl. Anal. 2013, 92(3):636-650. 10.1080/00036811.2011.632766MATHMathSciNetView ArticleGoogle Scholar
- Leoni G:A very singular solution for the porous media equation when . J. Differ. Equ. 1996, 132: 353-376. 10.1006/jdeq.1996.0184MATHMathSciNetView ArticleGoogle Scholar
- Wang YF, Yin JX: Critical extinction exponents for a polytropic filtration equation with absorption and source. Math. Methods Appl. Sci. 2012. 10.1002/mma.2708Google Scholar
- Xu XH, Fang ZB, Yi S: Extinction and decay estimates of solutions for a porous medium equation with nonlocal source and strong absorption. Bound. Value Probl. 2013., 2013: Article ID 24Google Scholar
- Yin JX, Li J, Jin CH: Non-extinction and critical exponent for a polytropic filtration equation. Nonlinear Anal. 2009, 71: 347-357. 10.1016/j.na.2008.10.082MATHMathSciNetView ArticleGoogle Scholar
- Yin JX, Jin CH: Critical extinction and blow-up exponents for fast diffusive polytropic filtration equation with sources. Proc. Edinb. Math. Soc. 2009, 52: 419-444. 10.1017/S0013091507000399MATHMathSciNetView ArticleGoogle Scholar
- Zheng P, Mu CL: Extinction and decay estimates of solutions for a polytropic filtration equation with the nonlocal source and interior absorption. Math. Methods Appl. Sci. 2012. 10.1002/mma.2630Google Scholar
- Liu WJ, Wang MX, Wu B: Extinction and decay estimates of solutions for a class of porous medium equations. J. Inequal. Appl. 2007., 2007: Article ID 087650Google Scholar
- Sacks PE: Continuity of solutions of a singular parabolic equation. Nonlinear Anal. 1983, 7: 387-409. 10.1016/0362-546X(83)90092-5MATHMathSciNetView ArticleGoogle Scholar
- Anderson JR: Local existence and uniqueness of solutions of degenerate parabolic equations. Commun. Partial Differ. Equ. 1991, 16: 105-143. 10.1080/03605309108820753MATHView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.