Abstract
In this paper, we study the blow-up and global solutions of the following nonlinear reaction-diffusion equations under Neumann boundary conditions:
where \(D\subset\mathbb{R}^{N}\) (\(N\geq2\)) is a bounded domain with smooth boundary ∂D. By constructing auxiliary functions and using maximum principles and a first-order differential inequality technique, sufficient conditions for the existence of the blow-up solution, an upper bound for the ‘blow-up time’, an upper estimate of the ‘blow-up rate’, sufficient conditions for the existence of global solution, and an upper estimate of the global solution are specified under some appropriate assumptions on the functions a, b, f, g, and initial value \(u_{0}\).
Similar content being viewed by others
1 Introduction
In this paper, we study the blow-up and global solutions for the following nonlinear reaction-diffusion equations under Neumann boundary conditions:
where \(D\subset\mathbb{R}^{N}\) (\(N\geq2\)) is a bounded domain with smooth boundary ∂D, \(\partial/\partial n\) represents the outward normal derivative on ∂D, \(u_{0}\) is the initial value, T is the maximal existence time of u, and D̅ is the closure of D. In order to study the blow-up problem of (1.1) by using maximum principles, we make the following assumptions about the functions a, b, f, g, and \(u_{0}\). Set \(\mathbb{R}^{+}:=(0,+\infty)\). Throughout the paper, we assume that \(a(s)\) is a positive \(C^{2}(\mathbb{R}^{+})\) function, \(b(x)\) is a positive \(C^{1}(\overline{D})\) function, \(f(x,s)\) is a nonnegative \(C^{1}(D\times\mathbb{R}^{+})\) function, \(g(s)\) is a \(C^{3}(\mathbb{R}^{+})\) function, \(g'(s)>0\) for any \(s\in\mathbb{R}^{+}\), and \(u_{0}(x)\) is a positive \(C^{2}(\overline{D})\) function. Under these assumptions, the classical parabolic equation theory ensures that there exists a unique classical solution \(u(x,t)\) for problem (1.1) with some \(T>0\) and the solution is positive over \(\overline{D}\times[0,T)\). Moreover, by regularity theorem [1], \(u\in C^{3}(D\times(0,T))\cap C^{2}(\overline{D}\times[0,T))\).
During the past decades, the problems of the blow-up and global solutions for nonlinear reaction-diffusion equations have received considerable attention. The contributions in the filed can be found in [2–8] and the references therein. Many authors discussed the blow-up and global solutions for nonlinear reaction-diffusion equations under Neumann boundary conditions and obtained a lot of interesting results; we refer the reader to [9–19]. Some particular cases of (1.1) have been investigated already. Lair and Oxley [20] studied the following problem:
where D is a bounded domain of \(\mathbb{R}^{N}\) (\(N\geq2\)) with smooth boundary ∂D. Necessary and sufficient conditions characterized by functions a and f were given for the existence of blow-up and global solutions. Zhang [21] discussed the following problem:
where D is a bounded domain of \(\mathbb{R}^{N}\) (\(N\geq2\)) with smooth boundary ∂D. Sufficient conditions were developed there for the existence of blow-up and global solutions. Ding and Guo [22] considered the following problem:
where D is a bounded domain of \(\mathbb{R}^{N}\) (\(N\geq2\)) with smooth boundary ∂D. Sufficient conditions were given there for the existence of blow-up and global solutions. Meanwhile, an upper bound of the ‘blow-up time’, an upper estimate of ‘blow-up rate’, and an upper estimate of the global solution were also obtained.
The object of this paper is the blow-up and global solutions for problem (1.1). Since the reaction function \(f(x,u)\) contains not only the concentration variable u but also the space variable x, it seems that the methods of [20–22] are not applicable to problem (1.1). In this paper, we investigate problem (1.1) by constructing auxiliary functions completely different from those in [20–22] and technically using maximum principles and a first-order differential inequality technique. We obtain some existence theorems for a blow-up solution, an upper bound of ‘blow-up time’, an upper estimate of ‘blow-up rate’, existence theorems for a global solution, and an upper estimate of the global solution. Our results can be considered as extensions and supplements of those obtained in [20–22].
We proceed as follows. In Section 2 we study the blow-up solution of problem (1.1). Section 3 is devoted to the global solution of (1.1). A few examples are presented in Section 4 to illustrate the applications of the abstract results.
2 Blow-up solution
Our main result for the blow-up solution is stated in the following theorem.
Theorem 2.1
Let u be a solution of problem (1.1). Assume that the following conditions (i)-(iv) are satisfied:
-
(i)
for any \(s\in\mathbb{R}^{+}\),
$$ \biggl(\frac{a(s)}{g'(s)} \biggr)'\geq0,\quad \biggl[ \frac{1}{a(s)} \biggl(\frac{a(s)}{g'(s)} \biggr)' + \frac{1}{g'(s)} \biggr]'+ \biggl[\frac{1}{a(s)} \biggl( \frac {a(s)}{g'(s)} \biggr)' +\frac{1}{g'(s)} \biggr]\geq0; $$(2.1) -
(ii)
for any \((x,s)\in D\times\mathbb{R}^{+}\),
$$ \biggl(\frac{f(x,s)g'(s)}{a(s)} \biggr)_{s} -\frac{f(x,s)g'(s)}{a(s)} \geq0; $$(2.2) -
(iii)
$$ \int^{+\infty}_{M_{0}}\frac{g'(s)}{{\mathrm{e}}^{s}}\, {\mathrm{d}}s< + \infty,\qquad M_{0}:=\max_{\overline{D}}u_{0}(x); $$(2.3)
-
(iv)
$$ \beta:=\min_{\overline{D}} \frac{\nabla\cdot (a(u_{0})b(x)\nabla u_{0} )+f(x,u_{0})}{{\mathrm{e}}^{u_{0}}}>0. $$(2.4)
Then the solution u to problem (1.1) must blow up in a finite T, and
where
and \(H^{-1}\) is the inverse function of H.
Proof
Consider the auxiliary function
For brevity of notation, we write g in place of \(g(u)\), suppressing the symbol u. We find that
and
It follows from (2.10) and (2.11) that
By (1.1) we have
Substituting (2.13) into (2.12), we get
In view of (2.9), we have
Substitution of (2.15) into (2.14) results in
With (2.8), we have
Substituting (2.17) into (2.16), we obtain
By assumptions (2.1) and (2.2) the right-hand side of (2.18) is nonpositive, that is,
Now by (2.4) we have
It follows from (1.1) that
The assumptions concerning the functions a, b, f, g, and \(u_{0}\) in Section 1 imply that we can use maximum principles to (2.19)-(2.21). Combining (2.19)-(2.21) and applying maximum principles [23], it follows that the minimum of Ψ in \(\overline{D}\times[0,T)\) is zero. Thus, we have
that is, the differential inequality
Suppose that \(x_{0}\in\overline{D}\) and \(u_{0}(x_{0})=M_{0}\). At the \(x_{0}\), integrate (2.22) over \([0,t]\) to get
which implies that u must blow up in finite time. Actually, if u is a global solution of (1.1), then for any \(t>0\), it follows from (2.23) that
Letting \(t\rightarrow+\infty\) in (2.24) yields
which contradicts with assumption (2.3). This shows that u must blow up in a finite time \(t=T\). Furthermore, letting \(t\rightarrow T\) in (2.23), we have
Integrating inequality (2.22) over \([t,s]\) (\(0< t< s< T\)) yields, for each fixed x, that
Passing to the limit as \(s\rightarrow T^{-}\) gives
Since H is a decreasing function, we have
The proof is complete. □
3 Global solution
The following theorem is the main result for the global solution.
Theorem 3.1
Let u be a solution of problem (1.1). Assume that the following conditions (i)-(iv) are satisfied:
-
(i)
for any \(s\in\mathbb{R}^{+}\),
$$ \biggl(\frac{a(s)}{g'(s)} \biggr)'\leq0,\quad \biggl[ \frac{1}{a(s)} \biggl(\frac{a(s)}{g'(s)} \biggr)' - \frac{1}{g'(s)} \biggr]'- \biggl[\frac{1}{a(s)} \biggl( \frac {a(s)}{g'(s)} \biggr)' -\frac{1}{g'(s)} \biggr]\leq0; $$(3.1) -
(ii)
for any \((x,s)\in D\times\mathbb{R}^{+}\),
$$ \biggl(\frac{f(x,s)g'(s)}{a(s)} \biggr)_{s} +\frac{f(x,s)g'(s)}{a(s)} \leq0; $$(3.2) -
(iii)
$$ \int^{+\infty}_{m_{0}}\frac{g'(s)}{{\mathrm{e}}^{-s}}\,{\mathrm{d}}s=+ \infty,\qquad m_{0}:=\min_{\overline{D}}u_{0}(x); $$(3.3)
-
(iv)
$$ \alpha:=\max_{\overline{D}} \frac{\nabla\cdot (a(u_{0})b(x)\nabla u_{0} )+f(x,u_{0})}{{\mathrm{e}}^{-u_{0}}}>0. $$(3.4)
Then the solution u of (1.1) must be a global solution, and
where
and \(G^{-1}\) is the inverse function of G.
Proof
Construct the auxiliary function
By using the same reasoning process with that of (2.9)-(2.18), we have
From assumptions (3.1) and (3.2) we see that the right-hand side of (3.8) is nonnegative, that is,
By (3.4) we have
Repeating the arguments for (2.21), we have
Combining (3.9)-(3.11) and applying the maximum principles again, we get that the maximum of Φ in \(\overline{D}\times[0,T)\) is zero. Hence, we have
that is, the differential inequality
For each fixed \(x\in\overline{D}\), integrate (3.12) over \([0,t]\) to produce
which shows that u must be a global solution. In fact, suppose that u blows up at finite time T, that is,
Passing to the limit as \(t\rightarrow T^{-}\) in (3.13) gives
and
which is a contradiction. This shows that u is global. Moreover, (3.13) implies that
Since G is an increasing function, we have
The proof is complete. □
4 Applications
When \(g(u)\equiv u\), \(b(x)\equiv1\), and \(f(x,u)\equiv f(u)\), problem (1.1) is problem (1.2) studied by Lair and Oxley [20]. When \(a(u)\equiv1\), \(b(x)\equiv1\), and \(f(x,u)\equiv f(u)\), problem (1.1) is problem (1.3) discussed by Zhang [21]. When \(b(x)\equiv1\) and \(f(x,u)\equiv f(u)\), problem (1.1) is problem (1.4) considered by Ding and Guo [22]. In these three cases, the conclusions of Theorems 2.1 and 3.1 still hold. In this sense, our results extend and supplement the results of [20–22].
In what follows, we present several examples to demonstrate applications of Theorems 2.1 and 3.1.
Example 4.1
Let u be a solution of the following problem:
where \(D= \{x=(x_{1},x_{2},x_{3}) \mid \|x\| ^{2}=x_{1}^{2}+x_{2}^{2}+x_{3}^{2}<1 \}\) is the unit ball of \(\mathbb{R}^{3}\). Now we have
In order to determine the constant β, we assume that
Then \(0\leq s\leq1\) and
It is easy to check that (2.1)-(2.3) hold. By Theorem 2.1, u must blow up in a finite time T, and
Example 4.2
Let u be a solution of the following problem:
where \(D= \{x=(x_{1},x_{2},x_{3}) \mid \|x\| ^{2}=x_{2}^{2}+x_{2}^{2}+x_{3}^{2}<1 \}\) is the unit ball of \(\mathbb{R}^{3}\). Now we have
By setting
we have \(0\leq s\leq1\) and
Again, it is easy to check that (3.1)-(3.3) hold. By Theorem 3.1, u must be a global solution, and
References
Sperb, RP: Maximum Principles and Their Applications. Academic Press, New York (1981)
Bandle, C, Brunner, H: Blow-up in diffusion equations: a survey. J. Comput. Appl. Math. 97, 3-22 (1998)
Deng, K, Levine, HA: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85-126 (2000)
Galaktionov, VA, Vázquez, JL: The problem of blow-up in nonlinear parabolic equations. Discrete Contin. Dyn. Syst. 8, 399-433 (2002)
Quittner, P, Souplet, P: Superlinear Parabolic Problems: Blow-up, Global Existence and Steady States. Birkhäuser Advanced Texts. Birkhäuser, Basel (2007)
Samarskii, AA, Galaktionov, VA, Kurdyumov, SP, Mikhailov, AP: Blow-up in Problems for Quasilinear Parabolic Equations. Nauka, Moscow (1987) (in Russian); English translation: de Gruyter, Berlin (1995)
Zhang, LL: Blow-up of solutions for a class of nonlinear parabolic equations. Z. Anal. Anwend. 25, 479-486 (2006)
Zhang, LL, Zhang, N, Li, LX: Blow-up solutions and global existence for a kind of quasilinear reaction-diffusion equations. Z. Anal. Anwend. 33, 247-258 (2014)
Deng, K: Blow-up behavior of the heat equations with Neumann boundary conditions. J. Math. Anal. Appl. 188, 641-650 (1994)
Ding, JT: Global existence and blow-up for a class of nonlinear reaction diffusion problem. Bound. Value Probl. 2014, 168 (2014)
Ding, JT, Li, SJ: Blow-up and global solutions for nonlinear reaction-diffusion equations with Neumann boundary conditions. Nonlinear Anal. TMA 68, 507-514 (2008)
Soufi, AE, Jazar, M, Monneau, R: A gamma-convergence argument for the blow-up of a non-local semilinear parabolic equation with Neumann boundary conditions. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 24, 17-39 (2007)
Gao, WJ, Han, YZ: Blow-up of a nonlocal semilinear parabolic equation with positive initial energy. Appl. Math. Lett. 24, 784-788 (2011)
Ishige, K, Yagisita, H: Blow-up problems for a semilinear heat equations with large diffusion. J. Differ. Equ. 212, 114-128 (2005)
Jazar, M, Kiwan, R: Blow-up of a non-local semilinear parabolic equation with Neumann boundary conditions. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 25, 215-218 (2008)
Mizoguchi, N: Blow-up rate of solutions for a semilinear heat equation with Neumann boundary condition. J. Differ. Equ. 193, 212-238 (2003)
Payne, LE, Schaefer, PW: Lower bounds for blow-up time in parabolic problems under Neumann conditions. Appl. Anal. 85, 1301-1311 (2006)
Pérez-Llanos, M, Rossi, JD: Blow-up for a non-local diffusion problem with Neumann boundary conditions and a reaction term. Nonlinear Anal. TMA 70, 1629-1640 (2009)
Qu, CY, Bai, XL, Zheng, SN: Blow-up versus extinction in a nonlocal p-Laplace equation with Neumann boundary conditions. J. Math. Anal. Appl. 412, 326-333 (2014)
Lair, AV, Oxley, ME: A necessary and sufficient condition for global existence for degenerate parabolic boundary value problem. J. Math. Anal. Appl. 221, 338-348 (1998)
Zhang, HL: Blow-up solutions and global solutions for nonlinear parabolic problems. Nonlinear Anal. TMA 69, 4567-4574 (2008)
Ding, JT, Guo, BZ: Blow-up and global existence for nonlinear parabolic equations with Neumann boundary conditions. Comput. Math. Appl. 60, 670-679 (2010)
Protter, MH, Weinberger, HF: Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs (1967)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Nos. 61473180 and 61174082).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
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
Ding, J. Blow-up and global existence for nonlinear reaction-diffusion equations under Neumann boundary conditions. J Inequal Appl 2016, 86 (2016). https://doi.org/10.1186/s13660-016-1029-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1029-9