- Research
- Open access
- Published:
On stable entire solutions of sub-elliptic system involving advection terms with negative exponents and weights
Journal of Inequalities and Applications volume 2020, Article number: 119 (2020)
Abstract
We examine the weighted Grushin system involving advection terms given by
where \(\Delta _{G} u= \Delta _{x} u+ |x|^{2\alpha } \Delta _{y} u\), \(\mathbf{z}=(x,y) \in \mathbb {R}^{n}:= \mathbb {R}^{n_{1}} \times \mathbb {R}^{n_{2}}\) is the Grushin operator, \(\alpha \geq 0\), \(p \geq q >1\), \(\|\mathbf{z}\|^{2(\alpha +1)}= |x|^{2(\alpha +1)} + |y|^{2} \), \(\gamma \geq 0\) and a is a smooth divergence-free vector that we will specify later. Inspired by recent progress in the study of the Lane–Emden system, we establish some Liouville-type results for bounded stable positive solutions of the system. In particular, we prove the comparison principle to establish our result. As consequences, we obtain a Liouville-type theorem for the weighted Grushin equation involving advection terms
The main tools in the proof of the main result are the comparison principle, nonlinear integral estimates via the stability assumption and the bootstrap argument. Our results generalize and improve the previous work in (Duong et al. in Complex Var. Elliptic Equ. 64(12):2117–2129, 2019).
1 Introduction
In this paper, we study the Liouville-type theorem for bounded stable positive classical solutions of the weighted nonlinear degenerate elliptic system involving advection terms
and of the scalar equation
where \(\Delta _{G} u = \Delta _{x} u + |x|^{2\alpha } \Delta _{y} u\), \(\mathbf{z}=(x,y) \in \mathbb {R}^{n}:= \mathbb {R}^{n_{1}} \times \mathbb {R}^{n_{2}}\) is the Grushin operator, \(\Delta _{x}\) and \(\Delta _{y}\) are Laplace operators with respect to \(x\in \mathbb {R}^{n_{1}}\) and \(y\in \mathbb {R}^{n_{2}}\), and \(\|\mathbf{z}\|^{2(\alpha +1)}:= |x|^{2(\alpha +1)} + |y|^{2} \). Here we always assume that \(\alpha \geq 0\), \(p \geq q >1\), \(\gamma \geq 0\) and a is a smooth divergence-free vector field:
where \(\operatorname{div}_{G}= \operatorname{div}_{x}+ |x|^{\alpha } \operatorname{div}_{y}\).
For simplicity of the presentation, we define the following parameters which play an important role in the sequel:
We start by noting that, in the case \(a\equiv 0\) and \(\gamma =0\), the system (1.1) and Eq. (1.2) reduce to
and
In the case \(\alpha =0\), Eq. (1.5) arises in many branches of applied sciences and has been studied in a number of recent works; see [6, 20] and the references therein. The nonexistence of positive stable classical solutions of (1.5) was examined in [20]. This result was then generalized in [6] to positive stable weak solutions of a weighted equation. More precisely, the authors of [6] figured out the critical exponent and established an optimal Liouville-type theorem for this class of solutions. When \(\alpha >0\), the Liouville-type theorem for a special class of solutions of (1.4) and (1.5). “the so-called stable solutions” has been studied by Duong, Lan, Le and Nguyen [10]. We summarize here some results in [10].
Theorem 1.1
([10])
Assume that\(p\geq q>1\)and
then (1.4) has no bounded stable positive solution.
Corollary 1.1
([10])
Let\(p>1\)and
then Eq. (1.5) has no bounded stable positive solution.
We remark that for Eq. (1.5) (with \(\alpha =0\)), the critical exponent on the right-hand side of (1.6) was first found in [20]. This exponent has been shown to be optimal in the class of positive stable weak solutions; see [6].
Similar to the celebrated Lane–Emden system in the case of positive exponents, the system (1.4) is also a natural extension of Eq. (1.5). It is worth to remark that there are many papers developing various useful tools to study the nonexistence of positive stable solutions (see for example [2, 12, 13, 17, 22, 26] and the references therein. For other results on Grushin operators, Wei et al. [25] established a Liouville-type theorem for weak stable solutions of weighted p-Laplace-type Grushin equation in the case of negative exponent nonlinearity. Some important and interesting results can be found in [21].
Recently, elliptic problems involving advection terms, i.e. \(a\neq 0\), have received considerable attention [3, 4, 8, 11]. In particular, Duong and Nguyen [11] studied the equation
Taking advantage of the variational structure, and using the approach of Farina [13], he established some Liouville-type theorems for the class of stable sign-changing weak solutions. Now, we state this result as follows.
Theorem 1.2
([11])
Suppose that there is a nonnegative constantθsuch that
Assume in addition that
for\(\beta \in (1, 2p+2\sqrt{p(p-1)}-1 )\). Then any stable weak solutionuto (1.7) must be the trivial one.
In the general case where \(a\neq 0\), elliptic problems with advections have no variational structure and this requires another approach to obtaining a classification of stable solutions. Recall that, in this case, see e.g. [3], a positive classical solution u of
is called stable if there is a smooth positive function F such that
Recently, relying on Farina’s approach [13] and the generalized Hardy inequality, Cowan [3] established a Liouville-type theorem for stable positive solution of (1.8) under the smallness condition imposed on the divergence-free a.
On the other direction, the Liouville-type theorem for the class of stable solutions for system
was examined by Duong [8]. He established a Liouville-type result for stable positive solutions of the system in the case \(p\geq q \geq 1\) and \(pq > 1\). In particular, when \(p = q\), his result is a natural extension of Cowan [3] to the equation with advection. Furthermore, we would also like to mention that when \(pq\leq 1\), the system (1.9) has no positive supersolutions (see Theorem 1.3 [9]).
For the general equation or system with \(\gamma \neq 0\), the Liouville property is less understood and is more delicate to deal with than \(\gamma =0\). There exist many excellent papers using Farina’s approach to the Hardy–Hénon equation and the weighted nonlinear elliptic equations. We refer to [7, 22, 24] and the references therein. Inspired by the ideas in [2, 16], Hu [18] adopt the new approach of a combination of second order stability, Souplet’s inequality [23] and a bootstrap iteration to establish Liouville-type theorems for the semi-stable solutions of
and of the scalar equation
In particular, Hu [18] has obtained the following result.
Theorem 1.3
([18])
-
1.
Suppose\(\gamma >0\), \(2\sigma ^{-} < p\leq q\)and
$$ n< 2+\frac{(4+2\gamma )(q+1)}{pq-1} \sigma ^{+} . $$Then there is no classical positive semi-stable solution of (1.10). In particular, there is no classical positive semi-stable solution of (1.10) for any\(2\leq p\leq q\)if\(n\leq 10+4\gamma \).
-
2.
Let\(p>\frac{4}{3}\), \(\gamma >0\)and
$$ n< 2+\frac{2(2+\gamma )}{p-1} \bigl( p+\sqrt{p(p-1)} \bigr). $$Then there does not exist a classical positive semi-stable solution of (1.11).
In this paper, we propose to study the system (1.1) which can be regarded as a natural generalization of the scalar equation (1.2). Motivated by [8, 10, 18], we give the classification of bounded stable positive solutions of (1.1) under the assumption (1.3). Before stating our main results, let us recall the definition of such solutions motivated by [8, 10].
Definition 1.1
A positive solution \((u, v) \in C^{2}(\mathbb {R}^{n}) \times C^{2}(\mathbb {R}^{n})\) of (1.1) is called stable if there are positive smooth functions ξ, η such that
The main result in this paper is the following.
Theorem 1.4
Assume that\(p\geq q>1\)and
then (1.1) has no bounded stable positive solution.
The key in our proof is the comparison principle and nonlinear integral estimates. However, the techniques used to prove the comparison principle in [14, 18] for the Laplace operator do not seem applicable to the system (1.1) because the operator \(\Delta _{G}\) no longer has symmetry and it degenerates on the manifold \(\{0 \} \times \mathbb {R}^{n_{2}}\). Then, in this paper, we establish the comparison principle for Grushin operators by developing the idea in [1, 10, 12, 15]. In addition, the \(L^{1}\)-estimate to the bootstrap iteration in [2] does not work in the case of Grushin operator, we instead switch to the \(L^{2}\)-estimate in the bootstrap argument. We also employ the idea in [1, 10, 12, 15] to prove the “inverse” comparison principle which is crucial to proving our result.
Recall that a classical solution of (1.2) is called stable if
for all \(\phi \in C^{1}_{c}(\mathbb {R}^{n})\).
When \(p=q\), by using the comparison principle below, we obtain a direct consequence of Theorem 1.4 for the scalar equation (1.2).
Corollary 1.2
Let\(p>1\)and
Then Eq. (1.2) has no bounded stable positive solution.
We remark also that the method used in the present paper can be applied to study the weighted systems, and to more general class of degenerate operator, such as the \(\Delta _{\lambda }\) operator (see [19, 22]) of the form
Here \(\lambda _{i}: \mathbb {R}^{n} \rightarrow \mathbb {R}\), \(i=1,\ldots,n\) are nonnegative continuous functions satisfying some properties such that \(\Delta _{\lambda }\) is homogeneous of degree two with respect to a group dilation in \(\mathbb {R}^{n}\).
The organization of this paper is as follows. In Sect. 2, we establish the stability inequality and the comparison principle for the system (1.1) and then prove an a priori estimate of the solutions. In Sect. 3, we give the proof of the main result.
2 Stability inequality and comparison principle
2.1 Stability inequality
Lemma 2.1
Assume that\((u, v)\)is a positive stable solution of the system (1.1) with (1.3) is satisfied. Then, for\(\phi \in C^{1}_{c}(\mathbb {R}^{n})\), we have
Proof
We follow the idea in [2, 8]. Let \(\phi \in C^{1}_{c}(\mathbb {R}^{n})\). Multiplying the first equation in (1.12) by \(\frac{\phi ^{2}}{\xi }\), we obtain
Using integration by parts and Young’s inequality: \(2zz'-z^{\prime 2}\leq z^{2}\), we obtain
Consequently, combining (2.2) and (2.3), it follows that
By the same argument, we also have
We now add the inequalities (2.4) and (2.5) to obtain
Now note that
Putting this back into (2.6) gives the desired result. □
2.2 Comparison principle
In this subsection, we shall prove the comparison principle for the system (1.1) without stability assumption.
Lemma 2.2
Suppose that\((u, v)\)is a bounded positive solution of (1.1). Assume that\(1< q\leq p\)and (1.3) hold. Then
Proof
Let \(d = \frac{q-1}{p-1}\leq 1\) and \(l= d^{\frac{1}{p-1}}\). The inequality (2.7) is equivalent to
Put \(w= v-l u^{d}\). A direct calculation leads to
Therefore
We now prove (2.8) by contradiction. Suppose that
Next, we divide the proof into two cases.
Case 1. If there exists \(z^{*}\) such that \(\sup_{\mathbb {R}^{n}} w= w(z^{*})= v(z^{*})- l u ^{d} (z^{*}) >0\), then
This implies that
However, the right-hand side of (2.9) at \(z^{*}\) is positive. This is a contradiction.
Case 2. If the supremum of w is attained at infinity.
Take a cut-off function \(\chi \in C^{\infty }_{c}( \mathbb {R}^{n}, [0,1])\) verifying \(\chi =1\) on \(B_{1} \times B_{1}\) and \(\chi =0\) outside \(B_{2} \times B_{2^{1+\alpha }}\). Put \(\phi _{R}(x)= \chi ^{m} (\frac{x}{R}, \frac{y}{R^{1+\alpha }})\). Here \(m>0\) will be chosen later. A simple calculation yields
Let \(w_{R}= \phi _{R} w\) which is a compactly supported function. Then there exists \(z_{R}=(x_{R},y_{R}) \in B_{2R} \times B_{(2R)^{1+\alpha }}\) such that
This implies that
In what follows, all the estimates are taken at the point \(z_{R}\). First, using \(\nabla _{G} w_{R} (z_{R})=0\), we have
Hence,
Since \(\Delta _{G} w_{R} (z_{R})\leq 0\), we get
Thus,
Combining (2.11) and (2.15), one has
Using (2.11), (2.14) and the fact that \(|a(\mathbf{z})| \leq \frac{\epsilon }{\|\mathbf{z}\| +1}\), one has
Recall that \(v- l u^{d} =w\) and at \(z_{R}\), we get
Multiplying (2.9) by \(\phi _{R}\) and using (2.16), (2.17) and (2.18), we obtain
Recall that the constant C is independent of R. Consequently,
Choosing \(m= \frac{2}{p-1}\) (or \(p=\frac{m+2}{m}\)), we get
It follows from (2.19), the boundedness of \((u,v)\) and \(d\leq 1\) that
Finally, letting \(R \rightarrow +\infty \), we get \(M=0\), which contradicts (2.10). The proof is complete. □
Combining the proof of Lemma 2.2 with the idea in [1, 10, 12, 15], we have the inverse comparison principle as follows.
Lemma 2.3
Suppose that\((u, v)\)is a bounded positive solution of (1.1). Assume that\(1< q\leq p\)and (1.3) hold. Then we have
where\(\|v\|_{\infty }= \sup_{\mathbb {R}^{n}} v\).
Proof
Let \(l=\|v\|^{\frac{p-q}{q-1}}_{\infty }\) and \(w= u-lv\). We need to show that \(w\leq 0\). Notice that
In order to obtain the proof, it suffices to use the arguments as in Lemma 2.2 by noting that (2.9) is replaced by (2.21). The details are then omitted. □
In what follows, the constant C does not depend on a positive parameter R and may change from line to line.
Lemma 2.4
Suppose that\((u, v)\)be a bounded stable positive solution of (1.1). Assume that\(1< q\leq p\)and (1.3) hold. Then for\(R>0\)there exists\(C>0\)independent ofRsuch that
and
Proof
Using Lemma 2.2, we get
Take a cut-off function \(\phi \in C^{\infty }_{c}(\mathbb {R}^{n} , [0,1])\) verifying \(\phi =1 \) on \(B_{1}\times B_{1}\) and \(\phi =0\) outside \(B_{2}\times B_{2^{\alpha +1}}\). For \(R>0\), put \(\phi _{R}(x)= \phi ^{m} (\frac{x}{R}, \frac{y}{R^{1+\alpha }})\), where \(m \geq 2\) which is fixed. Then there exists \(C>0\) independent of R such that
By virtue of (2.1) and (2.24), we derive
Recall that \(\frac{pq-1}{pq-q}>1\). Then, by combining the Hölder inequality, (2.25) and (2.26), we get
Hence, the desired integral estimate (2.22) follows. Finally, (2.23) follows from using the same argument as above where we use (2.20) instead of (2.7). □
3 Proof of the main result
3.1 Beginning of the proof
In this subsection, we give a preparation for the bootstrap iteration. Using Lemmas 2.2 and 2.1, we get the following.
Lemma 3.1
Under the same assumptions of Lemma 2.4, suppose that
Then we have
for all\(\phi \in C^{2}_{c}(\mathbb {R}^{n})\)satisfying\(0\leq \phi \leq 1\). HereCdoes not depend on\((u, v)\).
Proof
Using Lemma 2.1 with the test function \(v^{-t} \phi \) we have
where in the last equality, we have used \(\operatorname{div}_{G} a=0\).
Applying the Hardy inequality related to Grushin type operators, see e.g. [5], one obtains
Combining the above two estimates, we derive that
Multiplying the second equation in (1.1) by \(v^{-2t-1} \phi ^{2}\) and integrating by parts we arrive at
Combining (3.1) and (3.2), we obtain
Using Lemma 2.2 and (3.3), we get
Since \(\tau _{0}^{-}< t <\tau _{0}^{+} \), we have \(\sqrt{\frac{pq(p-1)}{q-1}}- \frac{t^{2}}{2t+1} ( 1+ \frac{\epsilon ^{2}}{(Q-2)^{2}} )>0\) provided ϵ is sufficiently small, which completes the proof. □
3.2 End of the proof
The bootstrap argument in this subsection is quite similar to that in [10, 12]. For completeness, we present the details.
Take a cut-off function \(\phi \in C^{\infty }_{c} (\mathbb {R}^{n}, [0,1])\) verifying
Let w be a smooth function and let \(\kappa = \frac{Q}{Q -2}\) if \(Q>2\). For \(Q>2\), put \(w_{R}(x)= w(R x, R^{1+\alpha } y)\), then, by using the Sobolev inequality (see [26]) and integration by parts, we have
So we get
From a scaling argument it follows that
Suppose that \((u, v)\) is a positive stable solution of (1.1). Set
A simple calculation gives
Let \(\phi _{R}= \phi (\frac{x}{R},\frac{y}{R^{1+\alpha }})\) where ϕ is given in (3.4). Then
Multiplying the second equation in (1.1) by \(v^{-2t-1} \phi _{R}^{2}\) and using integration by parts, we obtain
Inserting this into (3.6), using Lemma 3.1, we obtain
Substituting the above inequality into (3.5), we have
We fix a real positive number \(\delta = \frac{p+q+2}{4}\) and recall the fact that
Let m be a nonnegative integer satisfying \(\delta \kappa ^{m-1}< \tau _{0}^{+}\leq \delta \kappa ^{m}\). We construct an increasing geometric sequence.
given by
where \(r\in [1, \kappa ]\) is chosen such that \(t_{m}\) is arbitrarily close to \(\tau _{0}^{+}\).
To simplify notations below, we use \(R_{n}= 2^{n} R\). By using (3.7) and an induction argument, we obtain
For the last integral, we shall use Hölder’s inequality, (3.7) and Lemma 2.4 to obtain
Consequently,
Substituting (3.10) into the last inequality of (3.9), one has
Since \(r\in [1, \kappa ]\) is chosen such that \(t_{m}\) is close to \(\tau _{0}^{+}\), the exponent in the right-hand side of (3.11) is negative. Letting \(R \rightarrow + \infty \), we obtain a contradiction.
References
Cheng, Z., Huang, G., Li, C.: On the Hardy–Littlewood–Sobolev type systems. Commun. Pure Appl. Anal. 15(6), 2059–2074 (2016)
Cowan, C.: Liouville theorems for stable Lane–Emden systems with biharmonic problems. Nonlinearity 26(8), 2357–2371 (2013)
Cowan, C.: Stability of entire solutions to supercritical elliptic problems involving advection. Nonlinear Anal. 104, 1–11 (2014)
Cowan, C., Fazly, M.: On stable entire solutions of semi-linear elliptic equations with weights. Proc. Am. Math. Soc. 140(6), 2003–2012 (2012)
D’Ambrosio, L.: Hardy inequalities related to Grushin type operators. Proc. Am. Math. Soc. 132(3), 725–734 (2004)
Du, Y., Guo, Z.: Positive solutions of an elliptic equation with negative exponent: stability and critical power. J. Differ. Equ. 246, 2387–2414 (2009)
Du, Y.H., Guo, Z.M.: Finite Morse-index solutions and asymptotics of weighted nonlinear elliptic equations. Adv. Differ. Equ. 18, 737–768 (2013)
Duong, A.T.: A Liouville type theorem for non-linear elliptic systems involving advection terms. Complex Var. Elliptic Equ. 63, 1704–1720 (2018)
Duong, A.T.: On the classification of positive supersolutions of elliptic systems involving the advection terms. J. Math. Anal. Appl. 478(2), 1172–1188 (2019)
Duong, A.T., Lan, D., Le, P.Q., Nguyen, P.T.: On the nonexistence of stable solutions of sub-elliptic systems with negative exponents. Complex Var. Elliptic Equ. 64(12), 2117–2129 (2019). https://doi.org/10.1080/17476933.2019.1574772
Duong, A.T., Nguyen, N.T.: Liouville type theorems for elliptic equations involving Grushin operator and advection. Electron. J. Differ. Equ. 2017, 108 (2017)
Duong, A.T., Phan, Q.H.: Liouville type theorem for nonlinear elliptic system involving Grushin operator. J. Math. Anal. Appl. 454, 785–801 (2017)
Farina, A.: On the classification of solutions of the Lane–Emden equation on unbounded domains of \(\mathbb {R}^{n}\). J. Math. Pures Appl. 87, 537–561 (2007)
Fazly, M., Ghoussoub, N.: On the Hénon–Lane–Emden conjecture. Discrete Contin. Dyn. Syst. 34(6), 2513–2533 (2014)
Hajlaoui, H., Harrabi, A., Mtiri, F.: Liouville theorems for stable solutions of the weighted Lane–Emden system. Discrete Contin. Dyn. Syst. 37(1), 265–279 (2017)
Hajlaoui, H., Harrabi, A., Ye, D.: On stable solutions of biharmonic problems with polynomial growth. Pac. J. Math. 270, 79–93 (2014)
Harrabi, A., Rahal, B.: Liouville type theorems for elliptic equations in half-space with mixed boundary value conditions. Adv. Nonlinear Anal. 8(1), 193–202 (2019). https://doi.org/10.1515/anona-2016-0168
Hu, L.G.: Liouville type results for semi-stable solutions of the weighted Lane–Emden system. J. Math. Anal. Appl. 432(1), 429–440 (2015). https://doi.org/10.1016/j.jmaa.2015.06.032
Kogoj, A.E., Lanconelli, E.: On semilinear \(\Delta _{\lambda }\)-Laplace equation. Nonlinear Anal. 75(12), 4637–4649 (2012)
Ma, L., Wei, J.C.: Properties of positive solutions to an elliptic equation with negative exponent. J. Funct. Anal. 254(4), 1058–1087 (2008)
Papageorgiou, N.S., Rǎdulescu, V.D., Repovš, D.D.: Nonlinear Analysis—Theory and Methods. Springer Monographs in Mathematics. Springer, Cham (2019)
Rahal, B.: Liouville-type theorems with finite Morse index for semilinear \(\Delta _{\lambda }\)-Laplace operators. Nonlinear Differ. Equ. Appl. 25(3), 21 (2018)
Souplet, P.: The proof of the Lane–Emden conjecture in four space dimensions. Adv. Math. 221(5), 1409–1427 (2009)
Wang, C., Ye, D.: Some Liouville theorems for Hénon type elliptic equations. J. Funct. Anal. 262, 1705–1727 (2012)
Wei, Y., Chen, C., Chen, Q., Yang, H.: Liouville-type theorem for nonlinear elliptic equations involving p-Laplace-type Grushin operators. Math. Methods Appl. Sci. 43(1), 320–333 (2020)
Yu, X.: Liouville type theorem for nonlinear elliptic equation involving Grushin operators. Commun. Contemp. Math. 17(2), art. 12 (2015)
Acknowledgements
We would like to express our gratitude to the anonymous referee for the careful reading and helpful suggestions.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author contributed to the writing of this paper. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares to have no competing interests.
Additional information
Disclosure statement
No potential conflict of interest was reported by the author.
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
Rahal, B. On stable entire solutions of sub-elliptic system involving advection terms with negative exponents and weights. J Inequal Appl 2020, 119 (2020). https://doi.org/10.1186/s13660-020-02385-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02385-x