- Research
- Open access
- Published:
Eigenvalue inequalities of elliptic operators in weighted divergence form on smooth metric measure spaces
Journal of Inequalities and Applications volumeĀ 2016, ArticleĀ number:Ā 191 (2016)
Abstract
In this paper, we study the eigenvalue problem of elliptic operators in weighted divergence form on smooth metric measure spaces. First of all, we give a general inequality for eigenvalues of the eigenvalue problem of elliptic operators in weighted divergence form on compact smooth metric measure space with boundary (possibly empty). Then applying this general inequality, we get some universal inequalities of Payne-PĆ³lya-Weinberger-Yang type for the eigenvalues of elliptic operators in weighted divergence form on a connected bounded domain in the smooth metric measure spaces, the Gaussian shrinking solitons, and the general product solitons, respectively.
1 Introduction
A smooth metric measure space is actually a Riemannian manifold equipped with some measure which is absolutely continuous with respect to the usual Riemannian measure. More precisely, for a given complete n-dimensional Riemannian manifold \((M,\langle,\rangle)\) with the metric \(\langle,\rangle\), the triple \((M,\langle,\rangle,e^{-f}\,d\nu )\) is called a smooth metric measure space, where f is a smooth real-valued function on M and dĪ½ is the Riemannian volume element related to \(\langle,\rangle\) (sometimes, we also call dĪ½ the volume density). Let Ī© be a bounded domain in a smooth metric measure space \((M,\langle,\rangle,e^{-f}\,d\nu )\), and let \(A: \Omega \rightarrow\operatorname{End}(T\Omega )\) be a smooth symmetric and positive definite section of the bundle of all endomorphisms of TĪ©, we can define the elliptic operator in weighted divergence form as
where \(\operatorname{div}_{f}X=e^{f}\operatorname{div}(e^{-f}X)\) is the weighted divergence of vector fields X, and ā is the gradient operator. When A is an identity map, \(-\mathfrak{L}_{f}\) becomes the drifting Laplacian \(\Delta_{f}\), for the drifting Laplacian, some universal inequalities have been given in [1ā5]. When f is a constant, \(\mathfrak{L}_{f}\) becomes the elliptic operator in divergence form, for some recent developments about universal inequalities of the eigenvalue of elliptic operator in divergence form on Riemannian manifolds, we refer to [6ā10] and the references therein. As briefly mentioned above, it is a natural problem how to get the universal inequalities of the eigenvalues of elliptic operator in weighted divergence form. Actually, in this paper, we first consider the eigenvalue problem as follows:
where Ī© is a bounded domain in a complete smooth metric measure space \((M,\langle,\rangle,e^{-f}\,d\nu )\), V is a non-negative continuous function on M, and Ļ is a weight function which is positive and continuous on M. For the eigenvalues of (1.2), we can give the following universal inequalities.
Theorem 1.1
Let Ī© be a connected bounded domain in an n-dimensional complete smooth metric measure space \((M,\langle,\rangle, e^{-f}\,d\nu )\). Assume that \(\xi_{1} I\leq A, tr(A)\leq n\xi_{2}\) throughout Ī©, and \(\rho_{1} \leq\rho(x) \leq\rho_{2}, |\nabla f|(x)\leq C_{0}, \forall x \in \Omega \), here I is the identity map, \(\xi_{1}, \xi_{2},\rho_{1},\rho_{2}, C_{0}\) are positive constants and \(tr(A)\) denotes the trace of A. Let \(\lambda_{i}\) be the ith eigenvalue of the eigenvalue problem (1.2), then we have
where \(H_{0}=\sup_{x\in \Omega }\mathbf{|H|}(x), V_{0}=\min_{x\in \Omega }V(x)\), and H is the mean curvature vector field of M in a Euclidean space \(\mathbb {R}^{m}\).
Remark 1.2
From inequality (1.3), we can get some results which are given in [5, 8], for example, if f is a constant, then \(C_{0}=0\), (1.3) becomes (3.2) in [8].
For the fourth-order elliptic operator in weighted divergence, we can consider the following eigenvalue problem:
we also give some universal inequalities for the eigenvalues of (1.4) as follows.
Theorem 1.3
Let Ī© be a connected bounded domain in an n-dimensional complete smooth metric measure space \((M,\langle,\rangle, e^{-f}\,d\nu )\). Assume that \(\xi_{1} I\leq A\leq\xi_{2} I \) throughout Ī©, and \(|\nabla f|(x)\leq C_{0}, \forall x \in \Omega \), here I is the identity map, \(\xi_{1}, \xi_{2}, C_{0}\) are positive constants. Let \(\Lambda_{i}\) be the ith eigenvalue of the eigenvalue problem (1.4), then we have
where \(H_{0}=\sup_{x\in \Omega }|\mathbf{H}|(x)\), and H is the mean curvature vector field of M in a Euclidean space \(\mathbb {R}^{m}\).
Remark 1.4
From inequality (1.5), we can get some results which are given in [3, 11], for example, if A is an identity map, then \(\xi_{1}=\xi_{2}=1\), (1.5) becomes (1.2) in [3].
On smooth metric measure spaces, we can also define the so-called weighted Ricci curvature \(\operatorname{Ric}^{f}\) given by
which is also called the ā-Bakry-Ćmery Ricci tensor. The equation \(\operatorname{Ric}^{f}=\kappa\langle,\rangle\) for some constant Īŗ is just the gradient Ricci soliton equation, which plays an important role in the study of Ricci flow. We refer the reader to [12] for some recent progress about Ricci solitons. For \(\kappa>0, \kappa= 0, \operatorname{or } \kappa< 0\), the gradient Ricci soliton \((M, \langle,\rangle, e^{-f}\,d\nu , \kappa)\) is called shrinking, steady, or expanding, respectively. In the following, we would like to give two examples of Ricci solitons.
Example 1
The Gaussian shrinking soliton \((\mathbb {R}^{n},\langle,\rangle_{\mathrm{can}},e^{-\frac{1}{4}|x|^{2}}\,d\nu ,\frac{1}{2})\), where \(\langle,\rangle_{\mathrm{can}}\) is the standard Euclidean metric on \(\mathbb {R}^{n}\), \(f=\frac{1}{4}|x|^{2}, x\in \mathbb {R}^{n}\), and \(\operatorname{Ric}^{f}=\frac{1}{2}\langle,\rangle_{\mathrm{can}}\).
Example 2
More generally, consider the Riemannian product \(\Sigma\times \mathbb {R}^{n}\), where \((\Sigma; \langle,\rangle_{\Sigma})\) is an Einstein manifold satisfying \(\operatorname{Ric}_{\Sigma}= \kappa \langle,\rangle_{\Sigma}\). Define the smooth function \(f : \Sigma\times \mathbb {R}^{n} \rightarrow \mathbb {R}\) by setting \(f(p; x) = \frac{\kappa}{2} |x|^{2} + x \cdot a + b\), for any \(a \in \mathbb {R}^{n}\setminus \{0\}\) and \(b \in \mathbb {R}\). Then \((\Sigma\times \mathbb {R}^{n}, \langle,\rangle_{\Sigma} +\langle,\rangle_{\mathrm{can}}, e^{-f}\,d\nu _{\Sigma}\otimes\,d\nu _{\mathbb {R}}^{n}, \kappa)\) is a non-trivial gradient Ricci soliton. Similarly, one could even construct gradient Ricci solitons with a warped product structure. More details of the product solitons can be found in the Remark 3.2 in [2].
In the following, we will give some universal inequalities for the Dirichlet eigenvalues in a connected bounded domain on the Gaussian shrinking solitons and general product solitons.
Theorem 1.5
Let Ī© be a connected bounded domain in the Gaussian shrinking soliton \((\mathbb {R}^{n},\langle,\rangle_{\mathrm{can}},e^{-\frac{1}{4}|x|^{2}}\,d\nu ,\frac {1}{2} )\), and assume that \(\xi_{1} I\leq A, tr(A)\leq n\xi_{2} \) throughout Ī©, here I is the identity map, \(\xi_{1}, \xi_{2}\) are positive constants and \(tr(A)\) denotes the trace of A. Let \(\lambda_{i}\) be the ith eigenvalue of the Dirichlet problem
where \(f=\frac{1}{4}|x|^{2}\), then we have
Remark 1.6
(i) For a self-shrinker, the drifting Laplacian \(\Delta_{f}\) with \(f=\frac{|x|^{2}}{4}\) is actually the operator \(\mathfrak{L}:=\Delta -\frac{1}{2}\langle x, \nabla (\cdot)\rangle\), which was introduced by Colding-Minicozzi [13] to study self-shrinker hypersurfaces. For the Dirichlet problem of the operator \(\mathfrak{L}\), some universal inequalities have been obtained by Cheng and Peng [14]. In this case, our results can be regarded as conclusions for the Dirichlet problem of the elliptic operator in weighted divergence form.
(ii) Let \(b=\frac{\xi_{2}}{\xi_{1}}\), using the recursive formula in Cheng and Yang [15], we can infer from (1.7) that
where \(C_{0}(n,k)\leq1+\frac{4b}{n}\) is a constant (see [15]).
Theorem 1.7
Let Ī© be a connected bounded domain in the gradient product Ricci soliton \((\Sigma\times \mathbb {R}, \langle,\rangle, e^{-\frac{\kappa t^{2}}{2}}\,d\nu ,\kappa )\), where Ī£ is an Einstein manifold with constant Ricci curvature Īŗ. Set \(\overline{x}=(x,t)\in \Omega \), where \(x\in\Sigma, t\in \mathbb {R}\), and assume that \(\xi_{1} I\leq A\leq\xi_{2}I \) throughout Ī©, here I is the identity map, \(\xi_{1}, \xi_{2}\) are positive constants. Let \(\lambda_{i}\) be the ith eigenvalue of the eigenvalue problem (1.6), where \(f=\frac{\kappa t^{2}}{2}\), then we have
2 A general inequality
In this section, we will prove a general inequality, which will play a key role in the proof of our main results which are listed in Section 1.
Lemma 2.1
Let \((M,\langle,\rangle, e^{-f}\,d\nu )\) be an n-dimensional compact smooth metric measure space with boundary āM (possibly empty), and let \(a, b\) be the random non-negative constants and \(a+b \neq0\). Let \(\lambda_{i}\) be the ith eigenvalue of the eigenvalue problem of the fourth-order elliptic operator in weighted divergence form with weight Ļ such that
and \(u_{i}\) be the orthonormal eigenfunction corresponding to \(\lambda_{i}\), that is,
where \(d\mu =e^{-f}\,d\nu \). Then, for any \(h\in C^{4}(\overline{M})\), we have
where Ī“ is any positive constant and
Proof
Let \(\varphi_{i}=hu_{i}-\sum_{j=1}^{k} a_{ij}u_{j}\), here \(k\geq 1\) is any integer and \(a_{ij}=\sum_{j=1}^{k}\int_{M}\rho hu_{i} u_{j}\,d\mu =a_{ji}\). Then we have
By the Rayleigh-Ritz inequality, we get
From the definition of \(\mathfrak{L}_{f}\), we have
and
It follows from (2.3) and (2.4) that
where \(p_{i}\) is defined by
Let us compute
where \(b_{ij}\) is defined by \(b_{ij}=\int_{M} p_{i} u_{j}\,d\mu \).
On the other hand, by (2.2) and (2.6), we have
By a similar computation to (2.8)-(2.12) in [6], we have
and
Combining (2.8)-(2.11) and a similar calculation to (2.13) in [6], we get
We infer from (2.7) and (2.12) that
Setting \(t_{ij}=\int_{M} u_{j}(\langle \nabla h, \nabla u_{i}\rangle+\frac{u_{i}\Delta _{f} h}{2})\,d\mu \), thus \(c_{ij}=-c_{ji}\) and
Using (2.13), (2.14), and the Schwarz inequality, we can get
where Ī“ is any positive constant. Summing over i from 1 to k in (2.15) and noticing \(a_{ij}=a_{ji}, c_{ij}=-c_{ji}\), we have
which implies that
This completes the proof of Lemma 2.1.āā”
3 Proof of Theorem 1.1 and Theorem 1.3
In this section, we will give the proof of Theorem 1.1 and Theorem 1.3 by using Lemma 2.1.
Proof of Theorem 1.1
From the Nash embedding theorem, we know that there exists an isometric immersion from a complete Riemannian manifold M into a Euclidean space \(\mathbb {R}^{m}\). Thus, M can be considered as an n-dimensional complete isometrically immersed submanifold in \(\mathbb {R}^{m}\). Let \(y_{1}, y_{2}, \ldots, y_{m}\) be the standard coordinate functions of \(\mathbb {R}^{m}\). Then we have
and
Then we infer from (3.3)-(3.7) that
and
Let \(a=0, b=1\) in (2.1), then taking \(h=y_{\alpha }\) and summing over Ī±, and noticing \(\rho^{-1}_{2}\leq\|u_{i}\|^{2}\leq\rho^{-1}_{1}\), we get
where \(p_{\alpha i}=-2\langle \nabla y_{\alpha }, A\nabla u_{i}\rangle+u_{i} \mathfrak{L}_{f}y_{\alpha }\). Since
we infer from above equality and \(\sum_{\alpha=1}^{m}\langle \nabla y_{\alpha },A \nabla y_{\alpha }\rangle =tr(A)\leq n\xi_{2}\) that
From \(\rho^{-1}_{2}\leq\|u_{i}\|^{2}\leq\rho^{-1}_{1}\) and \(A\geq\xi_{1} I\), we have
which implies
Using the Schwarz inequality and the above inequality, we have
Combining (3.4), (3.8), (3.9), (3.12), and (3.13), we have
Substituting (3.11) and (3.14) into (3.10), we have
Taking
we can get (3.1). This completes the proof of Theorem 1.1.āā”
Proof of Theorem 1.3
Let \(a=1,b=0,V\equiv0,\rho \equiv1\) in (2.1), then taking \(h=y_{\alpha }\) and summing over Ī±, where \(\{y_{\alpha }\}_{\alpha =1}^{m}\) are defined as above, we get
where \(p_{\alpha i}=-2\langle \nabla y_{\alpha }, A\nabla (\mathfrak{L}_{f}u_{i}) \rangle+\mathfrak{L}_{f}y_{\alpha }\mathfrak{L}_{f}u_{i}-2\mathfrak{L}_{f}(\langle \nabla y_{\alpha }, A\nabla u_{i}\rangle)+ \mathfrak{L}_{f}(u_{i} \mathfrak{L}_{f}y_{\alpha })\). By a direct computation, we have
Since \(\xi_{1} I\leq A\leq\xi_{2} I\), we can infer from (3.1)-(3.9) that
and
Combining (3.16)-(3.20), we have
Since \(\|\nabla u_{i}\|^{2}\leq\frac{1}{\xi_{1}}\int_{\Omega}\langle \nabla u_{i}, A\nabla u_{i}\rangle \,d\mu =\frac{1}{\xi_{1}}\int_{\Omega}u_{i}\mathfrak{L}_{f}u_{i}\,d\mu \leq\frac{\Lambda_{i}^{\frac {1}{2}}}{\xi_{1}}\), then from (3.14), we have
Taking (3.21) and (3.22) into (3.15), we have
Let
we can infer from (3.23) that
this completes the proof of Theorem 1.3.āā”
4 Proof of Theorem 1.5 and Theorem 1.7
In this section, applying Lemma 2.1, we will give the proof of Theorem 1.5 and Theorem 1.7.
Proof of Theorem 1.5
Let \(a=0, b=1,V\equiv0, \rho \equiv1\) in (2.1), then taking \(h=x_{\alpha }\) and summing over Ī±, where \(\{x_{\alpha }\}_{\alpha =1}^{n}\) are the coordinate functions of \(\mathbb {R}^{n}\), we have
where \(p_{\alpha i}=-2\langle \nabla x_{\alpha }, A\nabla u_{i}\rangle+u_{i} \mathfrak{L}_{f}x_{\alpha }\).
By a similar computation to (3.11), we have
Since \(f=\frac{|x|^{2}}{4}\), we have
hence, we infer from the above equality that
From integration by parts, we have
which implies that
By a similar computation to (3.12), we have
Using (4.4), we have
Taking (4.2) and (4.6) into (4.1), we have
Taking
we obtain (1.7). This finishes the proof of Theorem 1.5.āā”
Proof of Theorem 1.7
Let \(a=0, b=1,V\equiv0, \rho \equiv1\) in (2.1), Set \(\overline{x}=(x,t)\in \Omega \), where \(x\in\Sigma, t\in \mathbb {R}\). By a direct computation, we know that \(|\nabla t|=1, \Delta_{f} t=-\kappa t\), then taking \(h=t\), we have
where \(p_{ i}=-2\langle \nabla t, A\nabla u_{i}\rangle+u_{i} \mathfrak{L}_{f}t\).
In the following, let us estimate the right side of (4.8), first of all, by a similar computation to (3.11), we infer from \(A\leq\xi_{2} I\) that
By a direct computation,
which implies that
From the above equality, we have
Taking (4.9) and (4.11) into (4.8), we have
Taking
we obtain (1.9). This finishes the proof of Theorem 1.7.āā”
References
Du, F, Mao, J, Wang, Q, Wu, C: Universal inequalities of the poly-drifting Laplacian on the Gaussian and cylinder shrinking solitons. Ann. Glob. Anal. Geom. 48, 255-268 (2015)
Du, F, Mao, J, Wang, Q, Wu, C: Eigenvalue inequalities for the buckling problem of the drifting Laplacian on Ricci solitons. J. Differ. Equ. 260, 5533-5564 (2016)
Du, F, Wu, C, Li, G, Xia, C: Estimates for eigenvalues of the bi-drifting Laplacian operator. Z. Angew. Math. Phys. 66(3), 703-726 (2015)
Pereira, RG, Adriano, L, Pina, R: Universal bounds for eigenvalues of the polydrifting Laplacian operator in compact domains in the \(\mathbb {R}^{n}\) and \(\mathbb {S}^{n}\). Ann. Glob. Anal. Geom. 47, 373-397 (2015)
Xia, C, Xu, H: Inequalities for eigenvalues of the drifting Laplacian on Riemannian manifolds. Ann. Glob. Anal. Geom. 45, 155-166 (2014)
Du, F, Wu, C, Li, G: Estimates for eigenvalues of fourth-order elliptic operators in divergence form. Bull. Braz. Math. Soc. 46(3), 437-459 (2015)
Du, F, Wu, C, Li, G, Xia, C: Estimates for eigenvalues of fourth-order elliptic operators in divergence form on complete Riemannian manifolds. Acta Math. Sin. 58(4), 635-648 (2015) (in Chinese)
do Carmo, MP, Wang, Q, Xia, C: Inequalities for eigenvalues of elliptic operators in divergence form on Riemannian manifolds. Ann. Math. 189, 643-660 (2010)
Sun, HJ, Chen, D: Inequalities for lower order eigenvalues of second order elliptic operators in divergence form on Riemannian manifolds. Arch. Math. (Basel) 101(4), 381-393 (2013)
Wang, Q, Xia, C: Inequalities for the Navier and Dirichlet eigenvalues of elliptic operators. Pac. J. Math. 251(1), 219-237 (2011)
Wang, Q, Xia, C: Inequalities for eigenvalues of a clamped plate problem. Calc. Var. Partial Differ. Equ. 40(1-2), 273-289 (2011)
Cao, HD: Recent progress on Ricci solitons. In: Recent Advances in Geometric Analysis. Adv. Lect. Math., vol.Ā 11, pp.Ā 1-38. International Press, Somerville (2010)
Colding, TH, Minicozzi, WP II: Generic mean curvature flow I; generic singularities. Ann. Math. 175(2), 755-833 (2012)
Cheng, QM, Peng, Y: Estimates for eigenvalues of \(\mathfrak{L}\) operator on self-shrinkers. Commun. Contemp. Math. 15(6), 1350011 (2013)
Cheng, QM, Yang, HC: Bounds on eigenvalues of Dirichlet Laplacian. Math. Ann. 58(2), 159-175 (2007)
Acknowledgements
Y Zhu and G Liu were partially supported by NSF of Hubei Provincial Department of Education (Grant No. Q20154301). FĀ Du was partially supported by the NSF of China (Grant No. 11401131), and NSF of Hubei Provincial Department of Education (Grant No. Q20154301).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
All authors declare that they have no competing interests.
Authorsā contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
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
Zhu, Y., Liu, G. & Du, F. Eigenvalue inequalities of elliptic operators in weighted divergence form on smooth metric measure spaces. J Inequal Appl 2016, 191 (2016). https://doi.org/10.1186/s13660-016-1130-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1130-0