Abstract
In this paper, we prove a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear porous medium equation and the nonlinear pseudo-parabolic equation on the stratified Lie groups. Our proof is based on the concavity argument and the Poincaré inequality, established in Ruzhansky and Suragan (J Differ Eq 262:1799–1821, 2017) for stratified groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main purpose of this paper is to study the global existence and blow-up of the positive solutions to the initial-boundary problem of the nonlinear porous medium equation
and the nonlinear pseudo-parabolic equation
where \(m \ge 1\) and \(p\ge 2\), f is locally Lipschitz continuous on \({\mathbb {R}}\), \(f(0)=0\), and such that \(f(u)>0\) for \(u>0\). Furthermore, we suppose that \(u_0\) is a non-negative and non-trivial function in \(C^1({\overline{D}})\) with \(u_0(x)=0\) on the boundary \(\partial D\) for \(p=2\) and in \(L^{\infty }(D)\cap \mathring{S}^{1,p}(D)\) for \(p>2\), respectively.
Definition 1.1
Let \({\mathbb {G}}\) be a stratified group. We say that an open set \(D \subset {\mathbb {G}}\) is an admissible domain if it is bounded and if its boundary \(\partial D\) is piecewise smooth and simple, that is, it has no self-intersections.
Let \({\mathbb {G}}\) be a stratified group. Let \(D \subset {\mathbb {G}}\) be an open set, then we define the functional spaces
We consider the following functional
Thus, the functional class \(\mathring{S}^{1,p}(D)\) can be defined as the completion of \(C_0^1(D)\) in the norm generated by \({\mathcal {J}}_p\), see e.g. [2].
A Lie group \({\mathbb {G}}=({\mathbb {R}}^{n},\circ )\) is called a stratified (Lie) group if it satisfies the following conditions:
-
(a)
For some integer numbers \(N_1+N_{2}+...+N_{r}=n\), the decomposition \({\mathbb {R}}^{n}={\mathbb {R}}^{N_1}\times \ldots \times {\mathbb {R}}^{N_{r}}\) is valid, and for any \(\lambda >0\) the dilation
$$\begin{aligned} \delta _{\lambda }(x):=(\lambda x',\lambda ^{2}x^{(2)},\ldots ,\lambda ^{r}x^{(r)}) \end{aligned}$$is an automorphism of \({\mathbb {G}}.\) Here \(x'\equiv x^{(1)}\in {\mathbb {R}}^{N_1}\) and \(x^{(k)}\in {\mathbb {R}}^{N_{k}}\) for \(k=2,\ldots ,r.\)
-
(b)
Let \(N_1\) be as in (a) and let \(X_{1},\ldots ,X_{N_1}\) be the left-invariant vector fields on \({\mathbb {G}}\) such that \(X_{k}(0)=\frac{\partial }{\partial x_{k}}|_{0}\) for \(k=1,\ldots ,N_1.\) Then the Hörmander rank condition must be satisfied, that is,
$$\begin{aligned} \mathrm{rank}\left( \mathrm{Lie}\{X_{1},\ldots ,X_{N_1}\}\right) =n, \end{aligned}$$for every \(x\in {\mathbb {R}}^{n}.\)
Then, we say that the triple \({\mathbb {G}}=({\mathbb {R}}^{n},\circ , \delta _{\lambda })\) is a stratified (Lie) group.
Recall that the standard Lebesgue measure dx on \({\mathbb {R}}^{n}\) is the Haar measure for \({\mathbb {G}}\) (see e.g. [3, 4]). The left-invariant vector field \(X_{j}\) has an explicit form:
see e.g. [4]. The following notations are used throughout this paper:
for the horizontal gradient, and
for the p-sub-Laplacian. When \(p=2\), that is, the second order differential operator
is called the sub-Laplacian on \({\mathbb {G}}\). The sub-Laplacian \({\mathcal {L}}\) is a left-invariant homogeneous hypoelliptic differential operator and it is known that \({\mathcal {L}}\) is elliptic if and only if the step of \({\mathbb {G}}\) is equal to 1.
One of the important examples of the nonlinear parabolic equations is the porous medium equation, which describes widely processes involving fluid flow, heat transfer or diffusion, and its other applications in different fields such as mathematical biology, lubrication, boundary layer theory, and etc. Existence and nonexistence of solutions to problem (1.1) for the reaction term \(u^m\) in the case \(m=1\) and \(m>1\) have been actively investigated by many authors, for example, [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19], Grillo, Muratori and Punzo considered fractional porous medium equation [20, 21], and it was also considered in the setting of Cartan-Hadamard manifolds [22]. By using the concavity method, Schaefer [23] established a condition on the initial data of a Dirichlet type initial-boundary value problem for the porous medium equation with a power function reaction term when blow-up of the solution in finite time occurs and a global existence of the solution holds. We refer for more details to Vazquez’s book [24] which provides a systematic presentation of the mathematical theory of the porous medium equation.
The energy for the isotropic material can be modeled by a pseudo-parabolic equation [25]. Some wave processes [26], filtration of the two-phase flow in porous media with the dynamic capillary pressure [27] are also modeled by pseudo-parabolic equations. The global existence and finite-time blow-up for the solutions to pseudo-parabolic equations in bounded and unbounded domains have been studied by many researchers, for example, see [28,29,30,31,32,33,34,35] and the references therein.
In [36], Veron and Pohozaev have obtained blow-up results for the following semi-linear diffusion equation on the Heisenberg groups
Also, blow-up of the solutions to the semi-linear diffusion and pseudo-parabolic equations on the Heisenberg groups was derived in [37,38,39,40,41]. In addition, in [42] the authors found the Fujita exponent on general unimodular Lie groups.
In some of our considerations a crucial role is played by
-
The condition
$$\begin{aligned} \alpha F(u) \le u^m f(u) + \beta u^{pm} +\alpha \gamma ,\,\,\, u>0, \end{aligned}$$(1.7)where
$$\begin{aligned} F(u)=\frac{pm}{m+1}\int _{0}^{u}s^{m-1}f(s)ds, \,\,\, m\ge 1, \end{aligned}$$introduced by Chung-Choi [43] for a parabolic equation. We will deal with several variants of such condition.
-
The Poincaré inequality established by the first author and Suragan in [1] for stratified groups:
Lemma 1.2
Let \(D \subset {\mathbb {G}}\) be an admissible domain with \(N_1\) being the dimension of the first stratum. Let \(1<p<\infty \) with \(p\ne N_1\). For every function \(u \in C_0^{\infty }(D \backslash \{x'=0\})\) we have
where \(R = \sup _{x \in D} |x'|\).
Note that condition on nonlinearity (2.1) includes the following cases:
-
1.
Philippin and Proytcheva [44] used the condition
$$\begin{aligned} (2+\epsilon )F(u) \le u f(u), \,\,\, u>0, \end{aligned}$$(1.9)where \(\epsilon >0\). It is a special case of an abstract condition by Levine and Payne [45].
-
2.
Bandle and Brunner [6] relaxed this condition as follows
$$\begin{aligned} (2+\epsilon )F(u) \le u f(u) + \gamma , \,\,\, u>0, \end{aligned}$$(1.10)where \(\epsilon >0\) and \(\gamma >0\).
These cases were established on the bounded domains of the Euclidean space, and it is a new result on the stratified groups.
Also, the condition (1.7) depends on a domain D, due to the term \(\beta u^p\) where \(\beta \) is related to constant \(\frac{|N_1-p|^p}{(pR)^p}\), which can be interpreted as a measure of the size of the domain D. Then \(\beta \) in (1.7) is dependent on the size of the domain D. If we choose \(\beta \) as arbitrary small in (2.1), then it gets closer to condition (1.10). For small \(\beta \) and \(\gamma =0\), condition (2.1) gets closer to (1.9) in the case \(p=2\) and \(m=1\). Since the case \(m>1\) is equivalent to \(m=1\) we refer to Sect. 4 in [43] for more detailed discussion to condition (2.1).
Our paper is organised so that we discuss the existence and nonexistence of positive solutions to the nonlinear porous medium equation in Sect. 2 and the nonlinear pseudo-parabolic equation in Sect. 3.
2 Nonlinear porous medium equation
In this section, we prove the global solutions and blow-up phenomena of the initial-boundary value problem (1.1).
2.1 Blow-up solutions of the nonlinear porous medium equation
We start with the blow-up properly.
Theorem 2.1
Let \({\mathbb {G}}\) be a stratified group with \(N_1\) being the dimension of the first stratum. Let \(D \subset {\mathbb {G}}\) be an admissible domain. Let \(2\le p<\infty \) with \(p\ne N_1\).
Assume that function f satisfies
where
for some
where \(R = \sup _{x \in D} |x'|\) and \(x=(x',x'')\) with \(x'\) being in the first stratum. Let \(u_0 \in L^{\infty }(D)\cap \mathring{S}^{1,p}(D)\) satisfy the inequality
Then any positive solution u of (1.1) blows up in finite time \(T^*,\) i.e., there exists
such that
where \(M>0\) and \(\sigma = \frac{\sqrt{pm\alpha }}{m+1}-1>0\). In fact, in (2.3), we can take
Proof of Theorem 2.1
Assume that u(x, t) is a positive solution of (1.1). We use the concavity method for showing the blow-up phenomena introduced by Levine [46]. We introduce the functional
and by (2.2) we have
Moreover, J(t) can be written in the following form
where
Define
with \(M>0\) to be chosen later. Then the first derivative with respect t of E(t) gives
By applying (2.1), Lemma 1.2 and \(0<\beta \le \frac{|N_1-p|^p}{(pR)^p}\frac{(\alpha - m -1)}{m+1}\), we estimate the second derivative of E(t) as follows
By employing the Hölder and Cauchy-Schwarz inequalities, we obtain the estimate for \([E'(t)]^2\) as follows
for arbitrary \(\delta >0\). So we have
The previous estimates together with \(\sigma =\delta = \frac{\sqrt{pm\alpha }}{m+1}-1>0\) where positivity comes from \(\alpha > m+1\), imply
By assumption \(J(0)>0\), thus if we select
that gives
We can see that the above expression for \(t\ge 0\) implies
Then for \(\sigma = \frac{\sqrt{pm\alpha }}{m+1}-1>0\), we arrive at
and some rearrangements with \(E(0)=M\) give
Then the blow-up time \(T^*\) satisfies
That completes the proof. \(\square \)
2.2 Global existence for the nonlinear porous medium equation
We now show that under some assumptions, if a positive solution to (1.1) exists, its norm is globally controlled.
Theorem 2.2
Let \({\mathbb {G}}\) be a stratified group with \(N_1\) being the dimension of the first stratum. Let \(D \subset {\mathbb {G}}\) be an admissible domain. Let \(2 \le p<\infty \) with \(p\ne N_1\).
Assume that
where
for some
where \(R = \sup _{x \in D} |x'|\) and \(x=(x',x'')\) with \(x'\) being in the first stratum.
Assume also that \(u_0 \in L^{\infty }(D)\cap \mathring{S}^{1,p}(D)\) satisfies inequality
If u is a positive local solution of problem (1.1), then it is global and satisfies the following estimate:
Proof of Theorem 2.2
Recall from the proof of Theorem 2.1, the functional
Let us define
By applying (2.10), Lemma 1.2 and \(\beta \ge \frac{|N_1-p|^p}{(pR)^p}\frac{( \alpha -m-1 )}{m+1}\), respectively, one finds
We can rewrite \({\mathcal {E}}'(t)\) by using (2.7) and \(\alpha \le 0\) as follows
That gives
This completes the proof of Theorem 2.2. \(\square \)
3 Nonlinear pseudo-parabolic equation
In this section, we prove the global solutions and blow-up phenomena of the initial-boundary value problem (1.2).
3.1 Blow-up phenomena for the pseudo-parabolic equation
We start with conditions ensuring the blow-up of solutions in finite time.
Theorem 3.1
Let \({\mathbb {G}}\) be a stratified group with \(N_1\) being the dimension of the first stratum. Let \(D \subset {\mathbb {G}}\) be an admissible domain. Let \(2\le p<\infty \) with \(p\ne N_1\).
Assume that
where
for some
Assume also that \(u_0 \in L^{\infty }(D)\cap \mathring{S}^{1,p}(D)\) satisfies
Then any positive solution u of (1.2) blows up in finite time \(T^*,\) i.e., there exists
such that
where \(\sigma =\sqrt{\frac{\alpha }{2}}-1>0\) and
Proof of Theorem 3.1
The proof is based on a concavity method. The main idea is to show that \([E^{-\sigma }_p(t)]''\le 0\) which means that \(E^{-\sigma }_p(t)\) is a concave function, for \(E_p(t)\) defined below.
Let us introduce some notations:
and
with
We know that
where
Let us define
with a positive constant \(M>0\) to be chosen later. Then
Now we estimate \(E''_p(t)\) by using assumption (3.1) and integration by parts, that gives
Next we apply Lemma 1.2, which gives
with \({\mathcal {F}}(t)\) as in (3.6), then \(E''_p(t)\) can be rewritten in the following form
Also we have for arbitrary \(\delta >0\), in view of (3.7),
Then by taking \(\sigma =\delta =\sqrt{\frac{\alpha }{2}}-1>0\), we arrive at
Note that in the last line we have used the following inequality
where making use of the Hölder inequality and Cauchy-Schawrz inequality we have
By assumption \({\mathcal {F}}(0)>0\), thus we can select
that gives
We can see that the above expression for \(t\ge 0\) implies
Then for \(\sigma =\sqrt{\frac{\alpha }{2}}-1>0\), we arrive at
Then the blow-up time \(T^*\) satisfies
This completes the proof. \(\square \)
3.2 Global solution for the pseudo-parabolic equation
We now show that positive solutions, when they exist for some nonlinearities, can be controlled.
Theorem 3.2
Let \({\mathbb {G}}\) be a stratified group with \(N_1\) being the dimension of the first stratum. Let \(D \subset {\mathbb {G}}\) be an admissible domain. Let \(2 \le p<\infty \).
Assume that function f satisfies
where
for some
Let \(u_0 \in L^{\infty }(D)\cap \mathring{S}^{1,p}(D)\) satisfy
If u is a positive local solution of problem (1.2), then it is global and satisfies the following estimate:
Proof of Theorem 3.2
Define
Now we estimate \({\mathcal {E}}'(t) \) by using assumption (3.10), that gives
with
Since \(\beta \ge \frac{p-\alpha }{2}\) we arrive at
This implies,
finishing the proof. \(\square \)
References
Ruzhansky, M., Suragan, D.: On horizontal Hardy, Rellich, Caffarelli-Kohn-Nirenberg and \(p\)-sub-Laplacian inequalities on stratified groups. J. Differ. Eq. 262, 1799–1821 (2017)
Capogna, L., Danielli, D., Garofalo, N.: An embedding theorem and the Harnack inequality for nonlinear subelliptic equation. Comm. Part. Differ. Eq. 18, 1765–1794 (1993)
Fischer, V., Ruzhansky, M.: Quantization on nilpotent Lie groups. Progress in Mathematics, Vol. 314, Birkhäuser, (2016). (open access book)
Ruzhansky, M., Suragan, D.: Hardy inequalities on homogeneous groups. Progress in Math. Vol. 327, Birkhäuser, 588 pp, 2019. (open access book)
Ball, J.M.: Remarks on blow-up and nonexistence theorems for nonlinear evolution equations. Quart. J. Math. 28, 473–486 (1977)
Bandle, C., Brunner, H.: Blow-up in diffusion equations, a survey. J. Comput. Appl. Math. 97, 3–22 (1998)
Chen, X., Fila, M., Guo, J.S.: Boundedness of global solutions of a supercritical parabolic equation. Nonlinear Anal. 68, 621–628 (2008)
Ding, J., Hu, H.: Blow-up and global solutions for a class of nonlinear reaction diffusion equations under Dirichlet boundary conditions. J. Math. Anal. Appl. 433, 1718–1735 (2016)
Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000)
Galaktionov, V.A., Vázquez, J.L.: Continuation of blowup solutions of nonlinear heat equations in several dimensions. Comm. Pure Appl. Math. 50, 1–67 (1997)
Grillo, G., Muratori, M., Porzio, M.: Porous media equations with two weights: existence, uniqueness, smoothing and decay properties of energy solutions via Poincaré inequalities. Discrete Contin. Dyn. Syst. 33, 3599–3640 (2013)
Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic differential equations. Proc. Jpn. Acad. 49, 503–505 (1973)
Iagar, R. G., Sanchez, A.: Large time behavior for a porous medium equation in a nonhomogeneous medium with critical density. Nonlinear Anal., 102, 10.1016 (2014)
Iagar, R.G., Sanchez, A.: Blow up profiles for a quasilinear reaction-diffusion equation with weighted reaction with linear growth. J. Dyn. Differ. Eq. 31, 2061–2094 (2019)
Levine, H.A.: The role of critical exponents in blow-up theorems. SIAM Rev. 32, 262–288 (1990)
Levine, H.A., Payne, L.E.: Nonexistence theorems for the heat equation with nonlinear boundary conditions and for the porous medium equation backward in time. J. Differ. Eq. 16, 319–334 (1974)
Sabitbek B., Torebek B.: Global existence and blow-up of solutions to the nonlinear porous medium equation. arXiv:2104.06896, (2021)
Samarskii, A. A., Galaktionov, V. A., Kurdyumov, S. P., Mikhailov, A. P.: Blow-up in quasilinear parabolic equations. In: De Gruyter Expositions in Mathematics, vol. 19, Walter de Gruyter Co., Berlin, (1995)
Souplet, P.: Morrey spaces and classification of global solutions for a supercritical semilinear heat equation in \(R^n\). J. Funct. Anal. 272, 2005–2037 (2017)
Grillo, G., Muratori, M., Punzo, F.: Fractional porous media equations: existence and uniqueness of weak solutions with measure data. Calc. Var. Part. Differ. Eq. 54, 3303–3335 (2015)
Grillo, G., Muratori, M., Punzo, F.: On the asymptotic behaviour of solutions to the fractional porous medium equation with variable density. Discrete Contin. Dyn. Syst. 35, 5927–5962 (2015)
Grillo, G., Muratori, M., Punzo, F.: Blow-up and global existence for the porous medium equation with reaction on a class of Cartan-Hadamard manifolds. J. Differ. Eq. 266, 4305–4336 (2019)
Schaefer, P.W.: Blow-up phenomena in some porous medium problems. Dyn. Syst. Appl. 18, 103–110 (2009)
Vazquez, J.L.: The Porous Medium Equation: Mathematical Theory. Oxford University Press, Oxford (2006)
Chen, P.J., Gurtin, M.E.: On a theory of heat conduction involving two temperatures. Z. Angew. Math. Phys. 19, 614–627 (1968)
Benjamin, T.B., Bona, J.L., Mahony, J.J.: Model equations for long waves in nonlinear dispersive systems. Philos. Trans. R. Soc. London. Ser. A 272, 47–78 (1972)
Barenblatt, G.I., Garcia-Azorero, J., De Pablo, A., Vazquez, J.L.: Mathematical model of the non-equilibrium water-oil displacement in porous strata. Appl. Anal. 65, 19–45 (1997)
Korpusov, M.O., Sveshnikov, A.G.: On the blow-up of solutions of semilinear pseudoparabolic equations with rapidly growing nonlinearities. Zh. Vychisl. Mat. Mat. Fiz. 45(1), 145–155 (2005). (in russian)
Korpusov, M.O., Sveshnikov, A.G.: On the blow-up in a finite time of solutions of initial-boundary-value problems for pseudoparabolic equations with the pseudo-Laplacian. Zh. Vychisl. Mat. Mat. Fiz. 45(2), 272–286 (2005). (in russian)
Long, Q.F., Chen, J.Q.: Blow-up phenomena for a nonlinear pseudo-parabolic equation with nonlocal source. Appl. Math. Lett. 74, 181–186 (2017)
Luo, P.: Blow-up phenomena for a pseudo-parabolic equation. Math. Meth. Appl. Sci. 38(12), 2636–2641 (2015)
Peng, X.M., Shang, Y.D., Zheng, X.X.: Blow-up phenomena for some nonlinear pseudo-parabolic equations. Appl. Math. Lett. 56, 17–22 (2016)
Xu, R.Z., Su, J.: Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations. J. Funct. Anal. 264(12), 2732–2763 (2013)
Xu, R.Z., Wang, X.C., Yang, Y.B.: Blowup and blowup time for a class of semilinear pseudo-parabolic equations with high initial energy. Appl. Math. Lett. 83, 176–181 (2018)
Wang, X.C., Xu, R.Z.: Global existence and finite time blowup for a nonlocal semilinear pseudo-parabolic equation. Adv. Nonlinear Anal. 10(1), 261–288 (2021)
Véron, L., Pohozaev, S.I.: Nonexistence results of solutions of semilinear differential inequalities on the Heisenberg group. Manuscripta Math. 102, 85–99 (2000)
Ahmad, B., Alsaedi, A., Kirane, M., Al-Yami, M.: Nonexistence results for higher order pseudo-parabolic equations in the Heisenberg group. Math. Methods Appl. Sci. 40, 1280–1287 (2017)
Ahmad, B., Alsaedi, A., Kirane, M.: Blow-up of solutions to parabolic inequalities in the Heisenberg group. Electron. J. Differ. Eq. 2015, 1–9 (2015)
D’Ambrosio, L.: Critical degenerate inequalities on the Heisenberg group. Manuscripta Math. 106, 519–536 (2001)
Jleli, M., Kirane, M., Samet, B.: Nonexistence results for a class of evolution equations in the Heisenberg group. Fract. Cal. Appl. Anal. 18, 717–734 (2015)
Jleli, M., Kirane, M., Samet, B.: Nonexistence results for pseudo-parabolic equations in the Heisenberg group. Monatsh. Math. 180, 255–270 (2016)
Ruzhansky M., Yessirkegenov N.: Existence and non-existence of global solutions for semilinear heat equations and inequalities on sub-Riemannian manifolds, and Fujita exponent on unimodular Lie groups. arXiv:1812.01933 (2019)
Soon-Yeong, C., Min-Jun, C.: A new condition for the concavity method of blow-up solutions to \(p\)-Laplacian parabolic equations. J. Differ. Eq. 265, 6384–6399 (2018)
Philippin, G.A., Proytcheva, V.: Some remarks on the asymptotic behaviour of the solutions of a class of parabolic problems. Math. Methods Appl. Sci. 29, 297–307 (2006)
Levine, H.A., Payne, L.E.: Some nonexistence theorems for initial-boundary value problems with nonlinear boundary constraints. Proc. Am. Math. Soc. 46, 277–284 (1974)
Levine, H.A.: Some nonexistence and instability theorems for formally parabolic equations of the form \(Pu_t=-Au +J(u)\). Arch. Ration. Mech. Anal. 51, 277–284 (1973)
Funding
Queen Mary University of London.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflict of interest.
Data availibility
The manuscript has no associated data.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first and second authors were supported by EPSRC Grant EP/R003025/2. The first and third authors were also supported by FWO Odysseus 1 Grant G.0H94.18N: Analysis and Partial Differential Equations and the Methusalem programme of the Ghent University Special Research Fund (BOF) (Grant Number 01M01021).
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
Ruzhansky, M., Sabitbek, B. & Torebek, B. Global existence and blow-up of solutions to porous medium equation and pseudo-parabolic equation, I. Stratified groups. manuscripta math. 171, 377–395 (2023). https://doi.org/10.1007/s00229-022-01390-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-022-01390-2