Abstract and Applied Analysis

Volume 2013, Article ID 747613, 5 pages

http://dx.doi.org/10.1155/2013/747613

## Extinction and Nonextinction for the Fast Diffusion Equation

^{1}College of Mathematics and Physics, Chongqing University, Chongqing 400044, China^{2}College of Elementary Education, Chongqing Normal University, Chongqing 400047, China^{3}School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu, Sichuan 610054, China

Received 28 February 2013; Accepted 28 April 2013

Academic Editor: Ru Dong Chen

Copyright © 2013 Chunlai Mu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

This paper deals with the extinction and nonextinction properties of the fast diffusion equation of homogeneous Dirichlet boundary condition in a bounded domain of with . For , under appropriate hypotheses, we show that is the critical exponent of extinction for the weak solution. Furthermore, we prove that the solution either extinct or nonextinct in finite time depends strongly on the initial data and the first eigenvalue of with homogeneous Dirichlet boundary.

#### 1. Introduction

In this paper, we deal with the following fast diffusion equation with gradient absorption terms: where , , , with is an open bounded domain with smooth boundary, and is a nonzero positive function.

Equation (1) appears in a lot of applications to describe the evolution of diffusion processes, in particular, fast diffusion for . In combustion theory, for instance, the function represents the temperature, the term represents the thermal diffusion, and is a source.

Extinction and nonextinction are important properties for solutions of many evolutionary equations, especially for fast diffusion equations. In 1974, Kalashnikov [1] considered the Cauchy problem of equation and firstly introduced the definition of extinction for its solution; that is, there exists a finite time such that the solution is nontrivial for , but for all . In this case, is called the extinction time.

Since then, many authors became interested in the extinction and nonextinction of all kinds of evolutionary equations. For the following homogeneous Dirichlet boundary value problem: Gu [2] obtained that the nontrivial solutions of the problem (2) vanish identically in a finite time if and only if , which implies that strong absorption will cause extinction in a finite time. More results on the extinction for the problem (2) have also been obtained by many researchers, and we can refer to [3–7] and the references therein. Because of the occurrence of such a phenomenon for a diffusion equation with a different absorption term, that is, the absorption term is a nonnegative function of instead of being a nonnegative function of , Benachour et al. [8, 9] considered the following Cauchy problem for the viscous Hamilton-Jacobi equation: They proved that the nonnegative classical solutions to the problem (3) are extinct in finite time and have noncompact support if .

Generally, in the problems (2) and (3), there is a comparison between the diffusion term and the absorption term, and the absorption is sufficiently strong to lead any bounded nonnegative solution to zero in finite time. However, while both the source in problem (2) and the source in problem (3) are called the “cool source,” the nonlinear source in problem (1) is physically called the “hot source.” As far as we know, the type of “hot source” has complicated influences on the properties of solutions compared with the case of “cool source” [10]. Thus, few works are concerned with extinction property for solutions to the evolutionary equations with “hot source.” In 2005, Li and Wu [10] gave some necessary and sufficient conditions of extinction for the solutions to the following problem with “hot source”: where . They proved that if , the solutions to the problem (4) with small initial data vanished in finite time and if , the maximal solution to the problem (4) is positive for all . Recently, Tian and Mu [11] studied the following -Laplacian equation with nonlinear “hot source”: They obtained that for , is the critical exponent of extinction for the weak solution to the problem (5). Also, they show that for and , the extinction and nonextinction of the solution to the problem (5) depend strongly on the first eigenvalue of the problem in , . For more results on the extinction properties of equations with “hot source,” we can refer to [12, 13] and the references therein.

By replacing the diffusion term with the gradient absorption terms in (4), in this paper, we devote to establish the conditions for the extinction of solution to the problem (1), which involves the “hot source” rather than the “cool source.”

#### 2. Preliminaries

In this section, we will give some definitions and lemmas which is useful to the proof of our results in the next section. For our convenience, we first define some sets as follows: It is well known that the problem (1) has no classical solution in general. We need to consider its weak solutions which is defined as follows.

*Definition 1. *For any , a function is called a weak solution to the problem (1) if the following equalities hold for any and :

*Remark 2. *Similarly, to define a subsolution (resp., supersolution) (resp., ) of the problem (1), we need only to set (resp., ) in , (resp., ) on , and the first equality in (7) is replaced by (resp., ) for every .

As a useful tool in the proof of our main results in the next section, a comparison principle of the following problem is needed: Under the following four hypotheses:(H1), , , and , s.t. and for all and ;(H2) and with for all ;(H3) with ;(H4) for any constant , if , in and , , then the functions and defined almost everywhere in by belong to and , respectively, we have the following lemma on the comparison principle of the problem (8).

Lemma 3 (see [14]). *Assume that the hypotheses (H1)–(H4) hold. Let and be nonnegative solutions of (8) on with . Assume further that for any , there is a constant such that for all . Then, almost everywhere on .*

#### 3. Main Results

In this section, by applying the energy method introduced in [11] and the comparison result in Lemma 3 of the problem (8), we give the main results on the extinction and nonextinction of the solution to the problem (1).

##### 3.1. Extinction of the Solution

In this subsection, we consider the extinction of the solution to the problem (1) and give the conditions for the extinction of the solution to the problem (1).

Theorem 4. *Assume that , and let be a weak solution of the problem (1). If , then, for sufficiently small initial data, there exists a finite time , such that
**
for all .*

*Proof. *First of all, multiplying the first equation of the problem (1) by and integrating over , we can obtain the following crucial equation to our proof:
Then, we prove the theorem by the following two cases.

First, we consider the case of . Let in (11), and we can get by the Hölder inequality and Poincare inequality that
where is the Sobolev embedding constant depending only on and .

Since , , it follows from the Young’s inequality for any that
Also, since the assumptions and imply that , we can obtain by the Hölder inequality that
Therefore, from the previous inequalities (11)–(14), we can obtain the following differential inequality:
Choose sufficiently small such that and initial data sufficiently small such that
Thus, we can obtain that
where .

By integrating the inequality (17), we can obtain that there exists a finite time such that
which implies that vanishes in finite time .

Next, we consider the second case of . Let in (11), and we can get by the Poincare inequality that
where is the Sobolev embedding constant depending only on , , and . Also, by the similar calculations as the proof in the first case, we can get from the Young’s inequality for any that
Choose sufficiently small such that and initial data sufficiently small such that
Then, it follows from the inequalities (11) and (19)–(21) that
where − .

By integrating the inequality (22), we can obtain that there exists a finite time such that
which implies that vanishes in finite time . This completes the proof of Theorem 4.

Theorem 5. * If , the solution to the problem (1) vanishes in finite time for sufficiently small.*

*Proof. *When , we note that the left sides of the inequalities (16) and (21) always equal 1. Thus, by a similar argument in the proof of Theorem 4, we can choose sufficiently small such that the inequalities (16) and (21) hold, which imply that there exist such that vanishes identically for all . This completes the proof of Theorem 5.

##### 3.2. Nonextinction of the Solution

In this subsection, we investigate the conditions under which the solution of the problem (1) cannot become extinct.

Theorem 6. *If , the weak solution of (1) cannot vanish in finite time for any nonnegative initial date with being sufficiently large. *

*Proof. *In order to prove Theorem 6, we first define two useful functions as follows. The first function satisfying is the associated eigenfunction with the principal eigenvalue of the following problem:
For , we define the second useful function as follows:
where and . It follows from [11] that the function satisfies the following properties:
Now, let be a function . Next, we will show that is a subsolution of the problem (1). In fact, from the definitions of functions , and the properties (26) of the function , we have that
In order to prove that which implies that is a subsolution of the problem (1), we only show that
Since and , we have that
By choosing , we can get that
which together with (29) implies that (28) holds. Therefore, is a subsolution of the problem (1). Moreover, since in and , we can obtain by the comparison principle that in , which implies that the weak solution of (1) cannot vanish in finite time. This completes the proof of Theorem 6.

*Remark 7. * From Theorems 4–6, we observe that is the critical exponent of extinction for the solution to the problem (1).

#### Acknowledgments

This work is supported in part by NSF of China (11101069, 11071266) and in part by the Natural Science Foundation Project of CQ CSTC (2010BB9218).

#### References

- A. S. Kalashnikov, “The nature of the propagation of perturbations in problems of nonlinear heat conduction with absorption,”
*USSR Computational Mathematics and Mathematical Physics*, vol. 14, no. 4, pp. 70–85, 1974. View at Google Scholar · View at MathSciNet - Y. G. Gu, “Necessary and sufficient conditions for extinction of solutions to parabolic equations,”
*Acta Mathematica Sinica*, vol. 37, no. 1, pp. 73–79, 1994 (Chinese). View at Google Scholar · View at MathSciNet - E. Dibenedetto,
*Degenerate Parabolic Equations*, Springer, New York, NY, USA, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - L. C. Evans and B. F. Knerr, “Instantaneous shrinking of the support of nonnegative solutions to certain nonlinear parabolic equations and variational inequalities,”
*Illinois Journal of Mathematics*, vol. 23, no. 1, pp. 153–166, 1979. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Friedman and M. A. Herrero, “Extinction properties of semilinear heat equations with strong absorption,”
*Journal of Mathematical Analysis and Applications*, vol. 124, no. 2, pp. 530–546, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. A. Galaktionov and J. L. Vazquez, “Continuation of blowup solutions of nonlinear heat equations in several space dimensions,”
*Communications on Pure and Applied Mathematics*, vol. 50, no. 1, pp. 1–67, 1997. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Herrero and J. J. L. Velázquez, “Approaching an extinction point in one-dimensional semilinear heat equations with strong absorption,”
*Journal of Mathematical Analysis and Applications*, vol. 170, no. 2, pp. 353–381, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Benachour, Ph. Laurençot, and D. Schmitt, “Extinction and decay estimates for viscous Hamilton-Jacobi equations in
*R*^{N},”*Proceedings of the American Mathematical Society*, vol. 130, no. 4, pp. 1103–1111, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Benachour, Ph. Laurençot, D. Schmitt, and Ph. Souplet, “Extinction and non-extinction for viscous Hamilton-Jacobi equations in
*R*^{N},”*Asymptotic Analysis*, vol. 31, no. 3-4, pp. 229–246, 2002. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Li and J. Wu, “Extinction for fast diffusion equations with nonlinear sources,”
*Electronic Journal of Differential Equations*, vol. 2005, no. 23, pp. 1–7, 2005. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Tian and C. Mu, “Extinction and non-extinction for a
*p*-Laplacian equation with nonlinear source,”*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 69, no. 8, pp. 2422–2431, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - W. Liu and B. Wu, “A note on extinction for fast diffusive
*p*-Laplacian with sources,”*Mathematical Methods in the Applied Sciences*, vol. 31, no. 12, pp. 1383–1386, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - J. Yin and C. Jin, “Critical extinction and blow-up exponents for fast diffusive
*p*-Laplacian with sources,”*Mathematical Methods in the Applied Sciences*, vol. 30, no. 10, pp. 1147–1167, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - A. W. Leung and Q. Zhang, “Finite extinction time for nonlinear parabolic equations with nonlinear mixed boundary data,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 31, no. 1-2, pp. 1–13, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet