- Open Access
Global existence and nonexistence of solutions for quasilinear parabolic equation
© Xu et al.; licensee Springer. 2014
- Received: 30 October 2013
- Accepted: 22 January 2014
- Published: 7 February 2014
This work is concerned with the global existence and nonexistence of solutions for a quasilinear parabolic equation with null Dirichlet boundary condition. Based on the Galerkin approximation technique and the theory of a family of potential wells, we obtain the invariant sets and vacuum isolating of global solutions including critical case, and we also give global nonexistence.
MSC:35A01, 35B06, 35B08.
- family of potential wells
- global existence
- vacuum isolating
- critical value
where , () is a bounded domain with smooth boundary, if ; if and . For simplicity, we denote by and .
Many natural phenomena have been formulated as the nonlinear diffusive equation (1.1) such as the model of non-Newton flux in the mechanics of a fluid, the model of a population, biological species and filtration; we refer to [1, 2] and the references therein. In the non-Newtonian theory, the quantity p is a characteristic of the medium. Media with are called dilatant fluids, while media with are called pseudoplastics. If , they are Newtonian fluids.
and they obtained the sufficient conditions as regards global existence and nonexistence of solution by using a potential well method.
However, the potential wells used in these works were defined by the same method as Sattinger  and their results were similar. Until Liu  firstly introduced the theory of a family of potential wells, described the structure of potential wells and the estimates of the depth of potential wells. And he firstly found the phenomenon of vacuum isolating of solutions for nonlinear evolution equations. The study of applications about a family of potential wells has attracted more and more attention [20–25]. For instance, Liu and Zhao  not only proved the global existence and nonexistence of solutions, but they also obtained the vacuum isolating of solutions of the initial boundary value problem for semilinear hyperbolic equations and parabolic equations.
As far as we know, there are fewer papers on the global existence and nonexistence of weak solutions for nonlinear parabolic equations by using the theory of a family of potential wells. In particular, for our problem (1.1)-(1.3), the analysis of the structure and depth of the potential well, the invariant sets, the vacuum isolating of global solutions, and the question of the global existence of solutions with critical initial conditions are still open. It is difficult to obtain an a priori estimate of the approximate solution for the study of the existence of global solutions by using the general Galerkin approximation method, but the theory of the potential well often makes up for the defect. The combination of the two methods can be used to solve the existence of solutions effectively. Moreover, the study of the phenomenon of vacuum isolating will be helpful for us in studying the distribution of solutions in Sobolev space. But the depth of potential well d for the problem (1.1)-(1.3) is usually very small etc. Our goal is to improve the theory of a family of potential wells for studying the global existence and nonexistence of solutions for our problem (1.1)-(1.3), including the critical case, and we further generalize the results in [10–12, 20].
The outline of the paper is as follows. In Section 2, we firstly give the definition of the weak solution for problem (1.1)-(1.3), and the definition and properties of a family of potential wells. Then we prove the global existence of solutions for problem (1.1)-(1.3) by using the Galerkin approximation technique and the theory of a family of potential wells in Section 3. The invariant sets of global solutions and vacuum isolating are obtained in Section 4. Then the sufficient condition of global nonexistence of solutions is given in Section 5. Finally, we give the result of global existence with critical initial conditions.
Due to the degeneracy of (1.1), problem (1.1)-(1.3) has no classical solutions in general. We need to give the definition of the weak solution firstly.
for , ;
where T is either infinity or the limit of the existence interval of solution.
where , .
Before giving our main results, we show some preliminary lemmas which are very important in the following proofs. As for the proofs of these several lemmas, we will not repeat them again (see [11, 20]).
Lemma 1 (, Lemma 2.2)
There exists a unique such that ;
, i.e. is increasing for ; , i.e. is decreasing for ;
Lemma 2 (, Lemmas 2.1-2.3)
Let , then if and only if .
Let , then if and only if .
Let , then if and only if .
Lemma 3 (, Lemma 2.4)
takes the maximum at , where , ;
is increasing on and decreasing on ;
For any given , the equation has exactly two roots and .
Lemma 4 (, Lemma 2.5)
, where , , .
Proposition 1 , where , , .
Proof The result can easily be obtained by Lemma 4 and the fact that is equivalent to . □
Obviously, we have .
Remark 1 From , we see that implies that .
Obviously, we have .
Note that , hence for any given , when , we have and . This implies that , where satisfies .
Lemma 5 (, Theorem 2.7)
Lemma 6 (, Lemma 2.10)
Assume that for some given , are the two roots of the equation , then the sign of is not changed for .
Lemma 7 (, Lemma 2.8)
In this section, we obtain the global existence of solutions for problem (1.1)-(1.3) by combining the Galerkin approximation technique and the theory of a family of potential wells.
If , then the solution is uniquely determined by the initial function;
If a.e. in Ω, the solution a.e. in Ω for any fixed , hence is a solution of the problem (1.1)-(1.3).
Note that implies . By Lemma 6, we have for . From this and , we obtain for . If , then for . For any fixed , we have and (if ) or (if and is defined in Lemma 5), thereby for sufficiently large n.
for and sufficiently large n. From these and the compactness method, we can prove that problem (1.1a)-(1.3) admits a global weak solution such that , and for any and .
Furthermore, by Theorem 1 in  we can easily get the results (1)-(3), here we omit the proofs. □
Similarly, we can get the following conclusions directly.
Corollary 1 Under the conditions of Theorem 1, we have for .
Corollary 2 If the assumption or is replaced by or , i.e. , then the conclusion of Theorem 1 also holds.
Corollary 3 If the assumption is replaced by or , then problem (1.1)-(1.3) admits a global weak solution such that , and for .
In this section, we discuss the invariance of some sets under the flow of (1.1)-(1.3) and vacuum isolating behavior of solutions for problem (1.1)-(1.3).
4.1 Invariant property of global solutions
All solutions of problem (1.1)-(1.3) with initial energy belong to for , provided that or .
All solutions of problem (1.1)-(1.3) with initial energy belong to for , provided that .
Proof Firstly, we consider the case of . Here we denote .
by Theorem 1, we have .
we see that is impossible. On the other hand, if and , then by Lemma 4, we have , which contradicts (4.1).
(2) Let be any solution of problem (1.1)-(1.3) with initial energy and , T be the existence time of . Since the sign of is not changed for , we have for . From this and for we obtain for .
Next we prove for and . Otherwise, there exists a such that for some , i.e. or . From (4.1) we see that is impossible. On the other hand, let be the first time such that , then for . From (4.1) and Lemma 2, we have for . Hence we have , thus by Lemma 4, we get , which contradicts (4.1).
For the case of , we can obtain the same results as the case by Lemma 4, we omit it here. □
Remark 2 Assume that , then and are invariant under the flow of (1.1)-(1.3) for any .
From the above Theorem 2 and Lemma 2, we can easily get the following conclusions.
All solutions of problem (1.1)-(1.3) with initial energy and belong to for .
All solutions of problem (1.1)-(1.3) with initial energy and belong to for .
Remark 3 Let p and q satisfy (H), . Assume that , then and are invariant under the flow of (1.1)-(1.3) for any .
4.2 Vacuum isolating of global solutions
Theorem 4 Let p and q satisfy (H), . All nontrivial solutions of problem (1.1)-(1.3) with initial energy lie outside of the ball (maybe in ).
Remark 4 The proofs of Theorems 4-5 are similar to Theorems 4.7-4.8 in , we omit them.
In this section, we given the sufficient condition of global nonexistence of solutions.
Theorem 6 Assume that , , is a local solution of problem (1.1)-(1.3) on , then no solution of (1.1)-(1.3) can exist on when .
Proof Assume for contradiction that there is a solution of (1.1)-(1.3) on .
This is impossible, since the left hand side is finite and the right hand side goes to ∞ as . □
In this section, we prove the result of global existence with critical initial conditions.
Theorem 7 Assume that p and q satisfy (H), . If , or , , are the two roots of the equation , then problem (1.1)-(1.3) admits a global solution such that , and for any and , where .
with the corresponding problem (1.1)-(1.3) and suppose that are two roots of the equation .
Obviously, implies that . As and is increasing with δ, it follows that .
By using the monotone operator method, we get .
On the other hand, letting in we get in . Also , as .
By Lemma 2, we have and for any . □
Remark 5 The invariant sets and vacuum of solutions for problem (1.1)-(1.3) with critical initial conditions also occur.
Remark 6 Taking or , Theorem 7 is still satisfied and generalizes the results of . Similarly, the invariant sets and vacuum isolating of solutions also occur.
The second and third authors were supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2012005767) and the National Science Foundation of Shandong Province of China (ZR2012AM018) and the Fundamental Research Funds for the Central Universities (No. 201362032), respectively. The authors would like to express their sincere gratitude to the anonymous reviewers for their insightful and constructive comments.
- Bebernes J, Eberly D Applied Mathematical Sciences 83. In Mathematical problems from combustion theory. Springer, New York; 1989.View ArticleGoogle Scholar
- Pao CV: Nonlinear parabolic and elliptic equations. Plenum Press, New York; 1992.Google Scholar
- Bourgault Y, Coudiere Y, Pierre C: Existence and uniqueness of the solution for the bidomain model used in cardiac electrophysiology. Nonlinear Anal., Real World Appl. 2009, 10: 458-482. 10.1016/j.nonrwa.2007.10.007MathSciNetView ArticleGoogle Scholar
- Klainerman S, Ponce G: Global, small amplitude solutions to nonlinear evolution equations. Commun. Pure Appl. Math. 1983, 36: 133-141. 10.1002/cpa.3160360106MathSciNetView ArticleGoogle Scholar
- Gazzola F, Weth T: Finite time blow-up and global solutions for semilinear parabolic equations with initial data at high energy level. Differ. Integral Equ. 2005, 18: 961-990.MathSciNetGoogle Scholar
- Levine HA, Park SR, Serrin J: Global existence and nonexistence theorems for quasilinear evolution equations of formally parabolic type. J. Differ. Equ. 1998, 142: 212-229. 10.1006/jdeq.1997.3362MathSciNetView ArticleGoogle Scholar
- Sattinger DH: On global solution of nonlinear hyperbolic equations. Arch. Ration. Mech. Anal. 1968, 30: 148-172.MathSciNetView ArticleGoogle Scholar
- Levine HA, Smith RA: Ames, A potential well theory for the heat equation with a nonlinear boundary condition. Math. Methods Appl. Sci. 1987, 9: 127-136. 10.1002/mma.1670090111MathSciNetView ArticleGoogle Scholar
- Payne LE, Sattinger DH: Saddle points and instability of nonlinear hyperbolic equations. Isr. J. Math. 1975, 22: 273-303. 10.1007/BF02761595MathSciNetView ArticleGoogle Scholar
- Tsutsumi M: Existence and nonexistence of global solutions for nonlinear parabolic equations. Publ. Res. Inst. Math. Sci. 1972/73, 8: 211-229. 10.2977/prims/1195193108MathSciNetView ArticleGoogle Scholar
- Liu YC, Zhao JS:Nonlinear parabolic equations with critical initial conditions or . Nonlinear Anal. 2004, 58: 873-883. 10.1016/j.na.2004.05.019MathSciNetView ArticleGoogle Scholar
- Pang JS, Zhang HW: Existence and nonexistence of the global solution on the quasilinear parabolic equation. Chin. Q. J. Math. 2007, 22: 444-450.MathSciNetGoogle Scholar
- Todorova G: Existence of a solution of the wave equation with nonlinear damping and source terms. J. Differ. Equ. 1994, 109: 295-308. 10.1006/jdeq.1994.1051MathSciNetView ArticleGoogle Scholar
- Ikehata R: Some remarks on the wave equations with nonlinear damping and source terms. Nonlinear Anal. TMA 1996, 27: 1165-1175. 10.1016/0362-546X(95)00119-GMathSciNetView ArticleGoogle Scholar
- Ikehata R, Suzuki T: Stable and unstable sets for evolution equations of parabolic and hyperbolic type. Hiroshima Math. J. 1996, 26: 475-491.MathSciNetGoogle Scholar
- Pucci P, Serrin J: Asymptotic stability for nonautonomous dissipative wave systems. Commun. Pure Appl. Math. 1996, 49: 177-216. 10.1002/(SICI)1097-0312(199602)49:2<177::AID-CPA3>3.0.CO;2-BMathSciNetView ArticleGoogle Scholar
- Aassila M: Global existence and global nonexistence of solutions to a wave equation with nonlinear damping and source terms. Asymptot. Anal. 2002, 30: 301-311.MathSciNetGoogle Scholar
- Alfredo J, Avila E: A characterization of global and nonglobal solutions of nonlinear wave and Kirchhoff equations. Nonlinear Anal. 2003, 52: 1111-1127. 10.1016/S0362-546X(02)00155-4MathSciNetView ArticleGoogle Scholar
- Xu RZ, Cao XY, Yu T: Finite time blow-up and global solutions for a class of semilinear parabolic equations at high energy level. Nonlinear Anal., Real World Appl. 2012, 13: 197-202. 10.1016/j.nonrwa.2011.07.025MathSciNetView ArticleGoogle Scholar
- Liu YC: On ponential wells and vacuum isolating of solutions for semilinear wave equations. J. Differ. Equ. 2003, 192: 155-169. 10.1016/S0022-0396(02)00020-7View ArticleGoogle Scholar
- Liu YC, Zhao JS: On potential wells and applications to semilinear hyperbolic equations and parabolic equations. Nonlinear Anal. 2006, 64: 2665-2687. 10.1016/j.na.2005.09.011MathSciNetView ArticleGoogle Scholar
- Liu YC, Xu RZ, Yu T: Wave equations and reaction-diffusion equations with several nonlinear source terms. Appl. Math. Mech. 2007, 28: 1209-1218. 10.1007/s10483-007-0909-yMathSciNetView ArticleGoogle Scholar
- Liu YC, Xu RZ: Potential well method for initial boundary value problem of the generalized double dispersion equations. Commun. Pure Appl. Anal. 2008, 7: 63-81.MathSciNetGoogle Scholar
- Jiang XL, Xu RZ: Global well-posedness for semilinear hyperbolic equations with dissipative term. J. Appl. Math. Comput. 2012, 38: 467-487. 10.1007/s12190-011-0491-2MathSciNetView ArticleGoogle Scholar
- Wu ST: Global existence, blow-up and asymptotic behavior of solutions for a class of coupled nonlinear Klein-Gordon equations with damping terms. Acta Appl. Math. 2012, 119: 75-95. 10.1007/s10440-011-9662-2MathSciNetView 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.