- Research
- Open access
- Published:
Gradient estimates and Liouville-type theorems for a weighted nonlinear elliptic equation
Journal of Inequalities and Applications volume 2018, Article number: 112 (2018)
Abstract
We consider gradient estimates for positive solutions to the following nonlinear elliptic equation on a smooth metric measure space \((M, g,e^{-f}\,dv)\):
where a, b are two real constants. When the ∞-Bakry–Émery Ricci curvature is bounded from below, we obtain a global gradient estimate which is not dependent on \(|\nabla f|\). In particular, we find that any bounded positive solution of the above equation must be constant under some suitable assumptions.
1 Introduction
Let \((M, g)\) be an n-dimensional complete Riemannian manifold and f be a smooth function defined on M. Then the triple \((M, g,e^{-f}\, dv)\) is called a smooth metric measure space, where dv denotes the volume element of the metric g and \(e^{-f}\,dv\) is called the weighted measure. On the smooth metric measure space \((M, g,e^{-f}\, dv)\), the m-Bakry–Émery Ricci curvature (see [1–3]) is defined by
where \(m\geq n\) is a constant, and \(m=n\) if and only if f is a constant. We define
Then \(\mathrm{Ric}_{f}\) can be seen as the ∞-dimensional Bakry–Émery Ricci curvature. However, there are many differences between the m-Bakry–Émery Ricci curvature and the ∞-Bakry–Émery Ricci curvature. For example, there exist complete noncompact Riemannian manifolds which satisfy \(\mathrm{Ric}_{f}=\lambda g\) for some positive constant λ (which is called the shrinking gradient Ricci soliton), but not for \(\mathrm{Ric}_{f}^{m}=\lambda g\). We recall that the f-Laplacian \(\Delta_{f}\) on \((M, g,e^{-f}\,dv)\) is defined by
Since we have the Bochner formula with respect to f-Laplacian:
which is similar to the Bochner formula associated with the Laplacian, many results with respect to the Laplacian have been generalized to those of the f-Laplacian under the m-dimensional Bakry–Émery Ricci curvature. For example, see [4–7] and the references therein. But for elliptic gradient estimates for f-Laplacian under the ∞-Bakry–Émery Ricci curvature, in order to using the weighted comparison theorem, the assumption \(|\nabla f|\leq\theta\) is forced commonly.
In this paper, under the assumption that the ∞-Bakry–Émery Ricci curvature is bounded from below, we consider the following nonlinear elliptic equation:
where a, b are two real constants. Inspired by the ideas of Brighton in [8], we can obtain global gradient estimates for positive solutions to (1.3) without any restriction on \(|\nabla f|\).
Theorem 1.1
Let \((M, g,e^{-f}\,dv)\) be an n-dimensional complete smooth metric measure space with \(\mathrm{Ric}_{f}(B_{p}(2R))\geq-(n-1)K\), where \(K\geq0\) is a constant. Suppose that u is a positive solution to (1.3) with \(u\leq A\) on \(B_{p}(2R)\). Then on \(B_{p}(R)\) with \(R>1\), the following inequality holds:
where C is a positive constant which depends on the dimension n, \(\beta=\max_{\{x|d(x,p)=1\}} \Delta_{f} r(x)\) and
Letting \(R\rightarrow\infty\) in (1.4), we obtain the following global estimates on complete noncompact Riemannian manifolds:
Corollary 1.2
Let \((M, g,e^{-f}\,dv)\) be an n-dimensional complete smooth metric measure space with \(\mathrm{Ric}_{f} \geq-(n-1)K\), where \(K\geq0\) is a constant. If u is a positive solution to (1.3) with \(u\leq A\), then we have
where
Using the ideas of the proof of Theorem 1.1, by choosing \(\tilde{h}=\log u\) a gap develops between the constants, and we also establish the following.
Theorem 1.3
Let \((M, g,e^{-f}\,dv)\) be an n-dimensional complete smooth metric measure space with \(\mathrm{Ric}_{f}(B_{p}(2R))\geq-(n-1)K\), where \(K\geq0\) is a constant. Suppose that u is a positive solution to (1.3) on \(B_{p}(2R)\) such that:
-
(1)
either \(\nabla f \nabla(\log u)-a\log u-b\leq\delta|\nabla (\log u)|^{2}\) for some \(0\leq\delta<\frac{1}{2}\);
-
(2)
or \(\nabla f \nabla(\log u)-a\log u-b\geq2 |\nabla(\log u)|^{2}\).
Then on \(B_{p}(R)\) with \(R>1\), the following inequality holds:
where \(\beta=\max_{\{x|d(x,p)=1\}}\Delta_{f}r(x)\).
Letting \(R\rightarrow\infty\) in (1.8), we obtain the following global estimates on complete noncompact Riemannian manifolds:
Corollary 1.4
Let \((M, g,e^{-f}\,dv)\) be an n-dimensional complete smooth metric measure space with \(\mathrm{Ric}_{f} \geq-(n-1)K\), where \(K\geq0\) is a constant. Let u be a positive solution to (1.3). Then under the assumption of either (1) or (2) as in Theorem 1.3, we have
Clearly, if either \(u\leq e^{-(\frac{5}{4}+\frac{b}{a})}\) and \(a>0\), or \(u\geq e^{-(\frac{5}{4}+\frac{b}{a})}\) and \(a<0\), then we have \(\frac {4}{5}b+ a (1+\frac{4}{5}L )\leq0\). This gives the following result.
Corollary 1.5
Let \((M, g,e^{-f}\,dv)\) be an n-dimensional complete smooth metric measure space with \(\mathrm{Ric}_{f} \geq0\).
-
(1)
There exists no bounded positive solution to (1.3) with \(a>0\) and \(u\leq e^{-(\frac{5}{4}+\frac{b}{a})}\);
-
(2)
if \(a<0\) and \(u\geq e^{-(\frac{5}{4}+\frac{b}{a})}\), then any bounded positive solution to (1.3) must be constant \(u=e^{-\frac{b}{a}}\).
Remark 1.1
In particular, when \(a=0\), Eq. (1.3) becomes
and (1.6) becomes
In this case, on a complete smooth metric measure space \((M, g,e^{-f}\, dv)\) with \(\mathrm{Ric}_{f} \geq0\), there exists no bounded positive solution to (1.10) with \(b<0\). On the other hand, if \(a=b=0\), our Theorem 1.1 becomes Theorem 1 of Brighton in [8].
Remark 1.2
It is easy to see from Corollary 1.4 that if u is a positive solution to (1.3) with \(a\leq-(n-1)K\) satisfying either (1) or (2) in Theorem 1.3, then \(u=e^{-\frac{b}{a}}\) is a constant. In particular, if \(a=b=0\), then our Theorem 1.3 becomes Theorem 3 of Brighton in [8].
Remark 1.3
Some related results for gradient estimates of positive solutions to
can be found in [9–11]. Moreover, Qian in [10] used a different method to derive similar estimates to (1.12) with constant f. On the other hand, if we assume \(\mathrm{Ric}_{f} \geq -(n-1)K\) and \(|\nabla f|\leq\theta\), then from (1.1), we obtain
Hence, Theorem 1.5 in [11] follows from Theorem 1.1 of [11] immediately. However, our estimates in this paper are not dependent on \(|\nabla f|\).
2 Proof of results
We firstly give the following lemma which plays an important role in the proof of main results.
Lemma 2.1
Let u be a positive solution to (1.3) with \(u\leq A\) and \(\mathrm{Ric}_{f}\geq-(n-1)K\) for some positive constant K. Denote \(\tilde{u}=u/A\) and \(h=\tilde {u}^{\epsilon}\) for \(\epsilon\in(0,1)\). If there exists one positive constant δ satisfying
then we have
where
Proof
Under the scaling \(u\rightarrow\tilde{u}=u/A\), it follows from (1.3) that ũ satisfies
where the constant b̃ is given by \(\tilde{b}=b+a\log A\). Let \(h=\tilde{u}^{\epsilon}\), where \(\epsilon\in(0,1)\) is a constant to be determined. Then we have
Since \(0<\tilde{u}\leq1\), we have \(\log h\leq0\) and
which implies
Thus, under the assumption \(\mathrm{Ric}_{f}\geq-(n-1)K\), one has
For any fixed point p, if there exists a positive constant δ such that \(\nabla f\nabla h-ah\log h-\tilde{b}\epsilon h\leq \delta\frac{|\nabla h|^{2}}{h}\), then from (2.8), we can deduce
On the contrary, if \(\nabla f\nabla h-ah\log h-\tilde{b}\epsilon h\geq \delta\frac{|\nabla h|^{2}}{h}\) at the point p, then from (2.8), we can deduce
as long as (2.1) holds.
Therefore, in these two cases the estimate (2.2) holds, which finishes the proof of the Lemma 2.1. □
2.1 Proof of Theorem 1.1
In order to obtain the upper bound of \(|\nabla h|\) by using the maximum principle for (2.2), we need to choose ϵ, δ such that the coefficient of \(\frac{|\nabla h|^{4}}{h^{2}}\) in (2.2) is positive. That is, we need
In particular, by choosing \(\epsilon=\frac{4}{5}\) and letting \(\delta\rightarrow\frac{1}{2}\), we find that the inequality (2.1) holds and (2.2) becomes
As in [8], we define a cut-off function \(\psi\in C^{2}([0,+\infty))\) by
satisfying \(\psi(t)\in[0,1]\) and
where C is a positive constant. Let
Using Eq. (2.19) in [8] (see Eq. (4.5) in [5] or [12, Theorem 3.1]), we obtain
and
Denote by \(B_{p}(R)\) the geodesic ball centered at p with radius R. Let \(G=\phi|\nabla h|^{2}\). Assume G achieves its maximum at the point \(x_{0}\in B_{p}(2R)\) and assume \(G(x_{0})>0\) (otherwise the proof is trivial). Then, at the point \(x_{0}\),
and
where in the second inequality, we used (2.12). Multiplying both sides of (2.17) by \(\frac{\phi}{G}\), we obtain
Substituting the Cauchy inequality
into (2.18) gives
where \(C_{1}\), \(C_{2}\) are two positive constants depending on n. Hence, on \(B_{p}(R)\) with \(R>1\), it follows from (2.19) that
In particular, the estimate (2.20) gives
which finishes the proof of Theorem 1.1.
2.2 Proof of Theorem 1.3
We define \(\tilde{h}=\log u\). Then we have
where, in the last equality of (2.22), we used Eq. (1.3). Using the Bochner formula with respect to the f-Laplacian, we have
Moreover, by virtue of (2.22), we have
If the assumption (1) holds, then (2.24) yields
On the other hand, if the assumption (2) holds, then (2.24) shows
Therefore, in these two cases, we have
and (2.23) gives
Following the proof of Theorem 1.1 line by line, we obtain on \(B_{p}(R)\) with \(R>1\),
where δ is taken to zero in the second assumption.
We completed the proof of Theorem 1.3.
References
Bakry, D., Emery, M.: Diffusion hypercontractives. In: Sém. Prob. XIX. Lect. Notes in Math. 1123, pp. 177–206 (1985)
Bakry, D.: L’hypercontractivité et son utilisation en théorie des semigroupes. Lect. Notes Math. 1581, 1–114 (1994)
Li, X.-D.: Liouville theorems for symmetric diffusion operators on complete Riemannian manifolds. J. Math. Pures Appl. 84, 1361–1995 (2005)
Huang, G.Y., Li, Z.: Liouville type theorems of a nonlinear elliptic equation for the V-Laplacian. Anal. Math. Phys. 8, 123–134 (2018)
Wu, J.-Y.: Elliptic gradient estimates for a weighted heat equation and applications. Math. Z. 280, 451–468 (2015)
Huang, G.Y., Li, H.: Gradient estimates and entropy formulae of porous medium and fast diffusion equations for the Witten Laplacian. Pac. J. Math. 268, 47–78 (2014)
Li, X.-D.: Perelman’s entropy formula for the Witten Laplacian on Riemannian manifolds via Bakry–Emery Ricci curvature. Math. Ann. 353, 403–437 (2012)
Brighton, K.: A Liouville-type theorem for smooth metric measure spaces. J. Geom. Anal. 23, 562–570 (2013)
Huang, G.Y., Ma, B.Q.: Gradient estimates and Liouville type theorems for a nonlinear elliptic equation. Arch. Math. (Basel) 105, 491–499 (2015)
Qian, B.: Yau’s gradient estimates for a nonlinear elliptic equation. Arch. Math. (Basel) 108, 427–435 (2017)
Xiang, N., Chen, Y.: Liouville type theorems for a nonlinear elliptic equation. J. Math. 37, 977–986 (2017)
Wei, G.-F., Wylie, W.: Comparison geometry for the Bakry–Emery Ricci tensor. J. Differ. Geom. 83, 377–405 (2009)
Acknowledgements
The authors want to thank the referee for helpful suggestions, which made the paper more readable. The research of the author is supported by NSFC No. 11401179.
Author information
Authors and Affiliations
Contributions
BM and YD participated in gradient estimates in this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ma, B., Dong, Y. Gradient estimates and Liouville-type theorems for a weighted nonlinear elliptic equation. J Inequal Appl 2018, 112 (2018). https://doi.org/10.1186/s13660-018-1705-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1705-z