Abstract
In this work, we deal with the blow-up solutions of the following parabolic p-Laplacian equations with a gradient source term:
where \(p>2\), the spatial domain \(\varOmega \subset \mathbb{R}^{N}\) (\(N\geq 2\)) is bounded, and the boundary ∂Ω is smooth. Our research relies on the creation of some suitable auxiliary functions and the use of the differential inequality techniques and parabolic maximum principles. We give sufficient conditions to ensure that the solution blows up at a finite time \(t^{*}\). The upper bounds of the blow-up time \(t^{*}\) and the upper estimates of the blow-up rate are also obtained.
Similar content being viewed by others
1 Introduction
The blow-up solutions of parabolic p-Laplician equations have been studied by many authors (see, for instance, [1–10]). In this work, we research the blow-up solutions of the following parabolic p-Laplacian equations with a gradient source term:
In (1.1), \(p>2\), the spatial domain \(\varOmega \subset \mathbb{R}^{N}\) (\(N\geq 2\)) is bounded, the boundary ∂Ω is smooth, and \(t^{*}\) is blow-up time, \(b(s)\) is a \(C^{3}(\overline{\mathbb{R}_{+}})\) function with \(b'(s)>0\), \(s\in \overline{\mathbb{R}_{+}}\), \(f(x,s,r,t)\) is a nonnegative \(C^{1}(\varOmega \times \overline{\mathbb{R}_{+}}\times \overline{\mathbb{R}_{+}}\times \mathbb{R}_{+})\) function, and \(u_{0}(x)\) is a nonnegative \(C^{2}(\overline{\varOmega })\) function satisfying \(\frac{\partial u_{0}(x)}{\partial n}=0\), \(x\in \partial \varOmega \).
As far as I know, there are many papers on the blow-up problems of parabolic equations with a gradient term (see, for instance, [11–23]). For the sake of research (1.1), we mainly focus on the papers [12, 22]. In [22], Zhang et al. researched the following problems:
In (1.2), \(p\geq 2\), the spatial domain \(\varOmega \subset \mathbb{R}^{N}\) (\(N\geq 2\)) is bounded, and the boundary ∂Ω is smooth. They derived some conditions which ensure the solution of (1.2) blows up in a finite \(t^{*}\) or exists globally. Moreover, an upper bound and a lower bound of the blow-up time were also specified when the blow-up occurs. Their research relied on using differential inequality techniques. In [12], Ding et al. studied the following problems:
In (1.3), the spatial domain \(\varOmega \subset \mathbb{R}^{N}\) (\(N\geq 2\)) is bounded, and the boundary ∂Ω is smooth. By combining the parabolic maximum principles and the differential inequality techniques, they obtained sufficient conditions for the existence of the blow-up solution and the global solution of (1.3). In addition, the upper bounds of the blow-up time \(t^{*}\) and the upper estimates of the blow-up rate were also given.
Inspired by the above two research works, in this paper we study the blow-up solutions of (1.1). Since the source term of the equation in (1.1) contains a gradient term, and the source term of the equation in (1.2) does not, the research methods in [22] cannot be used to research (1.1). In this paper, we use the method in [12] to study (1.1). In other words, we combine the parabolic maximum principles with the differential inequality techniques to study (1.1). The difficulty in using this research method is that some suitable auxiliary functions need to be constructed. We note that although the source terms in equations of (1.1) and (1.3) are the same, the boundary conditions are different. Therefore, the auxiliary functions in the paper [12] are not suitable for researching (1.1). In this paper, we need to construct some auxiliary functions that are completely different from those in [12] to study the blow-up solution of (1.1). We give sufficient conditions to guarantee that the solution of (1.1) blows up at a finite time \(t^{*}\). The upper bounds of the blow-up time \(t^{*}\) and the upper estimates of the blow-up rate are also obtained.
For convenience, in this paper we use a comma to represent partial derivative and adopt the summation convention, for example,
2 The main result and its proof
Due to the need to study the blow-up solution of (1.1), we define the following two constants:
where \(u_{0}\) is the initial value of (1.1). For the same purpose, we also construct two auxiliary functions as follows:
where \(u(x,t)\) is a nonnegative \(C^{3}(\varOmega \times (0,t^{*}))\cap C^{2}(\overline{\varOmega }\times [0,t^{*}))\) solution of (1.1). Now we have
which implies that the function H has an inverse function \(H^{-1}\). The following Theorem 2.1 is the main result of the blow-up solution to (1.1).
Theorem 2.1
Let u be a nonnegative \(C^{3}(\varOmega \times (0,t^{*}))\cap C^{2}(\overline{\varOmega }\times [0,t^{*}))\)solution of (1.1). Assume the following four assumptions are true:
-
(i)
$$ \beta \geq \alpha >0. $$(2.5)
-
(ii)
$$ \int ^{+\infty }_{M_{0}}\frac{b'(\tau )}{{\mathrm{e}}^{\tau }}\,\mathrm{d}\tau < + \infty , \quad M_{0}=\max_{x\in \overline{\varOmega }}u_{0}(x). $$(2.6)
-
(iii)
For \(s\in \overline{\mathbb{R}_{+}}\),
$$ (p-1) \biggl(\frac{1}{b'(s)} \biggr)'+(p-2) \frac{1}{b'(s)}\geq 0, \qquad \biggl(\frac{1}{b'(s)} \biggr)''+2 \biggl(\frac{1}{b'(s)} \biggr)'+ \frac{1}{b'(s)}\geq 0. $$(2.7) -
(iv)
For \((x,s,r,t)\in \varOmega \times \overline{\mathbb{R}_{+}}\times \overline{\mathbb{R}_{+}}\times \mathbb{R}_{+}\),
$$ \begin{gathered}[b] f_{r}(x,s,r,t)\geq 0, \qquad f_{t}(x,s,r,t)\geq 0, \\ \frac{f_{s}(x,s,r,t)}{b'(s)}-(p-1)f(x,s,r,t) \biggl[ \biggl( \frac{1}{b'(s)} \biggr)'+\frac{1}{b'(s)} \biggr]\geq 0. \end{gathered} $$(2.8)
Then, \(u(x,t)\)must blow up at a finite time \(t^{*}\)and
as well as
Proof
By directly calculating the auxiliary function \(G(x,t)\) defined in (2.3), we have
and
By (2.10), we get
Making use of the first equation of (1.1), we derive
where \(q=|\nabla u|^{2}\). It follows from (2.10)–(2.12) that
With (2.9), we obtain
and
We insert (2.14) and (2.15) into (2.13) to derive
By the first equation of (1.1), we have
We insert (2.17) into (2.16) to get
It follows from (2.3) that
We insert (2.19) into (2.18) to obtain
From assumptions (2.7) and (2.8) we know that the right-hand side of equality (2.20) is nonpositive. So now we have
Combining (2.21) and parabolic maximum principles ([24], Theorems 2.7–2.9, pp. 20–21), it follows that G may take its nonpositive minimum value under the following three possible cases:
(1) for \(t=0\); (2) at a point \((\hat{x},\hat{t})\in \varOmega \times (0,t^{*})\) where \(|\nabla u(\hat{x},\hat{t})|=0\); (3) on the boundary \(\partial \varOmega \times (0,t^{*})\).
We first study the first case. By (2.1), we derive
Then, we study the second case. With (2.5), we have
Finally, we study the third case. Using of the boundary condition of (1.1), we obtain
It follows from parabolic maximum principles and (2.22)–(2.24) that the minimum value of G in \(\overline{\varOmega }\times [0,t^{*})\) is zero. In fact, if the minimum value of G in \(\overline{\varOmega }\times [0,t^{*})\) is negative, then this minimum value must be taken on \(\partial \varOmega \times (0,t^{*})\). So there is \((\tilde{x},\tilde{t})\in \partial \varOmega \times (0,t^{*})\) such that \(G(\tilde{x},\tilde{t})=\min_{(x,t)\in \overline{\varOmega } \times [0,t^{*})}G(x,t)<0\). The parabolic maximum principle means
which contradicts (2.24). Hence, the minimum value of G in \(\overline{\varOmega }\times [0,t^{*})\) is zero. In other words, we have
from which we get the following differential inequality:
At the point \(\tilde{x}\in \overline{\varOmega }\) where \(u_{0}(\tilde{x})=M_{0}\), we integrate (2.25) from 0 to t to get
It follows from (2.26) that u must blow up at some finite time \(t^{*}\). In fact, assuming that the solution u does not blow up, we have, for any \(t>0\),
Letting \(t\rightarrow +\infty \) in (2.27), we derive
which contradicts (2.6). Hence, u must blow up at some finite time \(t^{*}\). Furthermore, letting \(t\rightarrow t^{*}\) in (2.26), we obtain
At each fixed point \(x\in \overline{\varOmega }\), we integrate (2.25) from t to ť (\(0< t<\check{t}<t^{*}\)) and use (2.4) to deduce
Letting \(\check{t}\rightarrow t^{*}\) in (2.28), we have
and
The proof is complete. □
In Theorem 2.1, we have the following conclusions when \(b(u)\equiv u\):
Corollary 2.1
Let u be a nonnegative \(C^{3}(\varOmega \times (0,t^{*}))\cap C^{2}(\overline{\varOmega }\times [0,t^{*}))\)solution of the following problem:
where \(p>2\), the spatial domain \(\varOmega \subset \mathbb{R}^{N}\) (\(N\geq 2\)) is bounded, and the boundary ∂Ω is smooth. Assume the following two assumptions are true:
-
(i)
$$ \beta \geq \alpha >0. $$
-
(ii)
For \((x,s,r,t)\in \varOmega \times \overline{\mathbb{R}_{+}}\times \overline{\mathbb{R}_{+}}\times \mathbb{R}_{+}\),
$$ f_{r}(x,s,r,t)\geq 0, \qquad f_{t}(x,s,r,t)\geq 0, \qquad f_{s}(x,s,r,t)-(p-1)f(x,s,r,t) \geq 0. $$
Then \(u(x,t)\)must blow up at a finite time \(t^{*}\)and
as well as
3 Application
In the following, we give an example to illustrate the application of Theorem 2.1
Example 3.1
Let u be a nonnegative \(C^{3}(\varOmega \times (0,t^{*}))\cap C^{2}(\overline{\varOmega }\times [0,t^{*}))\) solution of the following problem:
where \(\varOmega = \{ x=(x_{1},x_{2},x_{3}) \vert \sum^{3}_{i=1}x^{2}_{i}<1 \} \). We now have
It follows from (2.1) and (2.2) that
and
from which we know that the assumption (2.5) holds. We also easily check that the assumptions (2.6)–(2.8) hold true. Hence, Theorem 2.1 implies that \(u(x,t)\) must blow up at a finite time \(t^{*}\) and
as well as
4 Conclusions
In this paper, we combine parabolic maximum principles with the differential inequality techniques to study the blow-up solution of problem (1.1). The key to our research is constructing two auxiliary functions (2.3) and (2.4). With their help, we obtain sufficient conditions for the existence of the blow-up solution of problem (1.1). In addition, we also give an upper bound on the blow-up time and an upper estimate of the blow-up rate.
References
Anh, C.T., Ke, T.D.: On quasilinear parabolic equations involving weighted p-Laplacian operators. Nonlinear Differ. Equ. Appl. 17, 195–212 (2010)
Ding, J.T.: Global existence and blow-up results for p-Laplacian parabolic problems under nonlinear boundary conditions. J. Inequal. Appl. 2018, 67 (2018)
Ding, J.T.: Blow-up phenomena for p-Laplacian parabolic problems with Neumann boundary conditions. Bound. Value Probl. 2017, 149 (2017)
Ding, J.T., Shen, X.H.: Blow-up in p-Laplacian heat equations with nonlinear boundary conditions. Z. Angew. Math. Phys. 67, 125 (2016)
Le, C.N., Le, X.T.: Global solution and blow-up for a class of p-Laplacian evolution equations with logarithmic nonlinearity. Acta Appl. Math. 151, 149–169 (2017)
Li, F.S., Li, J.L.: Global existence and blow-up phenomena for p-Laplacian heat equation with inhomogeneous Neumann boundary conditions. Bound. Value Probl. 2014, 219 (2014)
Lian, S.Z., Yuan, H.J., Cao, C.L., Gao, W.J., Xu, X.J.: On the Cauchy problem for the evolution p-Laplacian equations with gradient term and source. J. Differ. Equ. 235, 544–585 (2007)
Liu, W.J.: A note on blow-up for fast diffusive p-Laplacian with sources. Math. Methods Appl. Sci. 32, 241–245 (2009)
Lu, H.Q., Zhang, Z.G.: Blow-up time estimate for a parabolic p-Laplacian equation with nonlinear gradient terms. Z. Angew. Math. Phys. 70, 3 (2019)
Yin, J.X., Jin, C.H.: Critical extinction and blow-up exponents for fast diffusive p-Laplacian with sources. Math. Methods Appl. Sci. 30, 1147–1167 (2007)
Andreu, F., Mazon, J.M., Simondon, F., Toledo, J.: Global existence for a degenerate nonlinear diffusion problem with nonlinear gradient term and source. Math. Ann. 314, 703–728 (1999)
Ding, J.T., Guo, B.Z.: Global existence and blow-up solutions for quasilinear reaction–diffusion equations with a gradient term. Appl. Math. Lett. 24, 936–942 (2011)
Ding, J.T.: Blow-up solutions for a class of nonlinear parabolic equations with Dirichlet boundary conditions. Nonlinear Anal. 52, 1645–1654 (2003)
Guo, J.S., Hu, B.: Blowup rate estimates for the heat equation with a nonlinear gradient source term. Discrete Contin. Dyn. Syst. 20, 927–937 (2008)
Payne, L.E., Philippin, G.A., Vernier-Piro, S.: Blow up, decay bounds and continuous dependence inequalities for a class of quasilinear parabolic problems. Math. Methods Appl. Sci. 29, 281–295 (2006)
Quittner, P.: Blow-up for semilinear parabolic equations with a gradient term. Math. Methods Appl. Sci. 14, 413–417 (1991)
Snoussi, S., Tayachi, S.: Large time behavior of solutions for parabolic equations with nonlinear gradient terms. Hokkaido Math. J. 36, 311–344 (2007)
Souplet, P.: Gradient blow-up for multidimensional nonlinear parabolic equations with general boundary conditions. Differ. Integral Equ. 15, 237–256 (2002)
Souple, P., Tayachi, S.: Blowup rates for nonlinear heat equations with gradient terms and for parabolic inequalities. Colloq. Math. 88, 135–154 (2001)
Tayachi, S., Zaag, H.: Existence of a stable blow-up profile for the nonlinear heat equation with a critical power nonlinear gradient term. Trans. Am. Math. Soc. 371, 5899–5972 (2019)
Zhang, L.L., Tian, H.M.: Blow-up phenomena for a class of nonlinear reaction–diffusion equations under nonlinear boundary conditions. Appl. Anal. 98, 2868–2883 (2019)
Zhang, L.L., Wang, H., Wang, X.Q.: Global and blow-up analysis for a class of nonlinear reaction diffusion model with Dirichlet boundary conditions. Math. Methods Appl. Sci. 41, 7789–7803 (2018)
Zhao, J.N.: Existence and nonexistence of solutions for \(u_{t}= {\mathrm{div}}(|\nabla u|^{p-2}\nabla u) +f(\nabla u,u,x,t)\). J. Math. Anal. Appl. 172, 130–146 (1993)
Sperb, R.P.: Maximum Principles and Their Applications. Academic Press, New York (1981)
Acknowledgements
The author is sincerely grateful to the editors and anonymous referees for careful reading of the original manuscript and useful comments.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (No 61473180).
Author information
Authors and Affiliations
Contributions
All results are due to JD. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Abbreviations
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ding, J. Blow-up analysis for parabolic p-Laplacian equations with a gradient source term. J Inequal Appl 2020, 215 (2020). https://doi.org/10.1186/s13660-020-02481-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02481-y