Bonnesen-style inequality for the first eigenvalue on a complete surface of constant curvature
- Niufa Fang^{1} and
- Jiazu Zhou^{1, 2}Email authorView ORCID ID profile
https://doi.org/10.1186/s13660-017-1462-4
© The Author(s) 2017
Received: 1 July 2017
Accepted: 2 August 2017
Published: 15 August 2017
Abstract
By Cheeger’s isoperimetric constants, some lower bounds and upper bounds of \(\lambda_{1}\), the first eigenvalue on a complete surface of constant curvature, are given. Some Bonnesen-style inequalities and reverse Bonnesen-style inequalities for the first eigenvalue are obtained. Those Bonnesen-style inequalities obtained are stronger than the well-known Osserman’s results and the upper bound is stronger than Osserman’s results (Osserman in Proceedings of the International Congress of Mathematicians, Helsinki, 1978).
Keywords
the first eigenvalue Cheeger’s isoperimetric constants Bonnesen-style inequalityMSC
53A25 53A10 53C231 Introduction
The classical isoperimetric problem is to determine a plane figure of largest possible area whose boundary has a specific length and it was known in Ancient Greece. However, the first mathematically rigorous proof was obtained only in the nineteenth century and it was well recognized by Weierstrass though Bernoulli, Euler and Lagrange once claimed the proof that was found flawed later. Hurwitz published a short proof using the Fourier series that applies to arbitrary plane domain D whose boundary ∂D was not assumed to be smooth. An elegant direct proof, based on the comparison of a smooth simple closed curve with a circle, was given by Schmidt in 1938 by using only the arc length formula, expression for the area of a plane region from Green’s theorem, and the Cauchy-Schwarz inequality [2]. Many other proofs have been found and some of them were stunningly simple. The isoperimetric problem has been extended in multiple ways, for example, to domains on surfaces and in higher dimensional spaces, or more generally to integral currents and analytic manifolds, but the proof is too difficult.
It is known that the isoperimetric inequality (1.1) is equivalent to the following Sobolev inequality (see [3]):
An inequality of the form (1.3) is called the Bonnesen-style inequality, and it is stronger than the classical isoperimetric inequality. The Bonnesen-style inequality has been extended to surfaces of constant curvature and higher dimensions and many Bonnesen-style inequalities have been found during the past. Mathematicians are still working on unknown Bonnesen-style inequalities of geometric significance [3–6]. The isoperimetric inequality for domains on surfaces M of constant curvature can be stated as follows.
The Bonnesen-style inequality for domains on surfaces of constant curvature was first investigated by Santaló [7, 8]. Klain obtained some new Bonnesen-style inequalities for domains on surfaces of constant curvature [9]. By the kinematic formulas in integral geometry, Xu, Zhou et al. also obtained Bonnesen-style inequalities on a complete surface of constant curvature (see [10, 11]). Osserman [5] studied the Bonnesen-style inequality for the domains on surfaces with the bounded Gauss curvature. More Bonnesen-style homothetic (Wulff) inequalities were obtained in [4, 12, 13]. Another important extension of the isoperimetric problem in analysis is eigenvalues of the Laplacian.
One would ask naturally a basic question: how are the properties of domain D on a compact Riemannian surface M, that is, area of \(D\subset M\), length and integrals of curvature of ∂D, reflected in the set of eigenvalues \(\{\lambda_{n}\}\)?
The upper estimate of the first eigenvalue of Laplacian has been discussed by geometers and analysts. Hersch [14] obtained an upper bound for manifolds homeomorphic to the two sphere. Cheeger [15], Chavel and Feldman [16] obtained upper bound for manifolds with non-negative Ricci curvature. The comparison theorem of Cheng [17] gives a sharp upper bound for general Riemannian manifold in terms of the Ricci curvature and the diameter of domain.
While the progress has been made on the upper bound, not too much is known about the lower bound of the first eigenvalue. The best result is due to Lichnerowicz [18] who gives a computable sharp lower bound for manifolds whose Ricci curvature is bounded from below by a positive constant. Cheeger [19] also gives a lower estimate for general manifolds in terms of some isoperimetric constants. These constants of Cheeger, however, are not computable. Cheng [20] observed that if the manifold is a two-dimensional convex surface, then the isoperimetric constant has a lower bound in terms of the diameter. Since 1979, Li and Yau have been trying to obtain the lower bound of the first eigenvalue [21, 22]. Chen introduced the method in probability theory to improve almost all results proved by others in [23]. For more detailed isoperimetric properties and the first eigenvalue, one can refer to [1, 18, 24–31].
In [5], Osserman considered the first eigenvalue \(\lambda_{1}\) on the two-dimensional manifolds with bounded Gauss curvature and obtained some lower and upper bounds of the first eigenvalue by using Cheeger’s isoperimetric constant as follows:
In this paper, we obtain the following lower bound of the first eigenvalue that is stronger than Osserman’s result (1.7):
We also obtain the upper bound of the first eigenvalue. By Cheng’s eigenvalue comparison theorem ([17], Theorem 1.1), we obtain a stronger upper bound of the first eigenvalue \(\lambda_{1}\) (Theorem 4.1).
2 The Bonnesen-style isoperimetric inequalities
Osserman considered the isoperimetric inequality of two-dimensional complete surface with bounded Gauss curvature [5].
Osserman also obtained the following Bonnesen-style isoperimetric inequalities.
Theorem A
[5]
Osserman estimated lower bounds of the first eigenvalue by Cheeger’s isoperimetric constants as follows.
Theorem B
[5]
3 The lower bound of \(\lambda_{1}\)
In this section, we give some lower bounds of the first eigenvalue \(\lambda_{1}\) by Cheeger’s isoperimetric constants and Bonnesen-style isoperimetric inequalities. We need the following lemmas.
Lemma 3.1
Proof
Lemma 3.2
Proof
Theorem 3.1
Proof
Since \(\frac{x}{\sinh x}\) is monotonically decreasing for \(x\geq 0\), hence (3.7) is stronger than (2.8) if \(\frac{1}{2} \beta < \alpha\). By (2.4) we obtain a lower bound of \(\lambda_{1}\) that is stronger than the one in (2.9).
Theorem 3.2
Proof
Since \(B\geq0\), hence inequality (3.11) is stronger than inequality (2.9). Let \(R=\rho\) in Theorem 3.2, that is, let D be a geodesic disc with radius ρ on S. Then let \(\rho\rightarrow\infty\) in (3.11), we immediately obtain the following.
Corollary 3.1
Next, we give a lower bound of the first eigenvalue \(\lambda_{1}\).
Theorem 3.3
Proof
By Lemma 3.2, we obtain a lower bound of \(\lambda_{1}\).
Corollary 3.2
4 The upper bound of \(\lambda_{1}\)
In this section, we consider the upper bound of the first eigenvalue \(\lambda_{1}\). We start with the following eigenvalue comparison theorem proved by Cheng in [17]. Denote the open geodesic ball of radius r with center x by \(D(x;r)\). Denote by \(V_{n}(M;r)\) the geodesic ball of radius r in the n-dimensional simply connected space form with constant sectional curvature M. We write \(\lambda_{1}(\overline{D(x;r)})\) as \(\lambda_{1}(D(x;r))\).
Theorem C
In particular, the eigenvalue comparison theorem is also valid when S is a two-dimensional complete simply connected surface.
Corollary 4.1
The next lemma will be needed in proving our theorem.
Lemma 4.1
[5]
Combining Corollary 4.1 and Lemma 4.1 immediately yields the following.
Theorem 4.1
Proof
Since the function \(x\coth x\) is monotonically increasing for \(x\geq0\), hence inequality (4.3) is stronger than (4.2). Let \(\rho\rightarrow\infty\) in (4.3), we can easily have the following corollary.
Corollary 4.2
Declarations
Acknowledgements
The authors would like to thank anonymous referees for helpful comments and suggestions that directly led to the improvement of the original manuscript. This paper is supported in part by Natural Science Foundation Project (grant number: #11671325).
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.
Authors’ Affiliations
References
- Osserman, R: Isoperimetric inequalities and eigenvalues of the Laplacian. In: Proceedings of the International Congress of Mathematicians, Helsinki (1978) Google Scholar
- Blaschke, W: Kreis und Kugal, 2nd edn. de Gruyter, Berlin (1956) View ArticleGoogle Scholar
- Osserman, R: The isoperimetric inequalities. Bull. Am. Math. Soc. 84(6), 1182-1238 (1978) View ArticleMATHGoogle Scholar
- Luo, M, Xu, W, Zhou, J: Translative containment measure and symmetric mixed isohomothetic inequalities. Sci. China Math. 58, 2593-2610 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Osserman, R: Bonnesen-style isoperimetric inequalities. Am. Math. Mon. 86, 1-29 (1978) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J: Bonnesen-type inequalities on the plan. Acta Math. Sin. 50, 1397-1402 (2007) MATHGoogle Scholar
- Santaló, L: Integral Geometry and Geometric Probability. Addison-Wesley, Reading (1976) MATHGoogle Scholar
- Santaló, L: Integral formulas in Crofton’s style on the sphere and some inequalities referring to spherical curves. Duke Math. J. 9, 707-722 (1942) MathSciNetView ArticleMATHGoogle Scholar
- Klain, D: Bonnesen-type inequalities for surfaces of constant curvature. Adv. Appl. Math. 39, 143-154 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Zeng, C, Ma, L, Zhou, J, Chen, F: The Bonnesen isoperimetric inequality in a surface of constant curvature. Sci. China Math. 55(9), 1913-1919 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Chen, F: The Bonnesen-type inequalities in a plane of constant curvature. J. Korean Math. Soc. 44, 1363-1372 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Wang, X, Xu, W, Zhou, J: Some logarithmic Minkowski inequalities for nonsymmetric convex bodies. Sci. China Math. (2017). doi:10.1007/s11425-016-9056-5 Google Scholar
- Zhang, Z, Zhou, J: Bonnesen-style Wulff isoperimetric inequality. J. Inequal. Appl. 2017(1), 42 (2017) MathSciNetView ArticleMATHGoogle Scholar
- Hersch, J: Caractérisation variationnelle d’une somme de valeurs propres consécutives. C. R. Acad. Sci. 252, 1714-1716 (1961) MATHGoogle Scholar
- Cheeger, J: The relation between the Laplacian and diameter for manifolds of non-negative curvature. Arch. Math. 19, 558-560 (1968) MathSciNetView ArticleMATHGoogle Scholar
- Chavel, I, Feldman, E: The first eigenvalue of Laplacian on manifolds of non-negative curvature. Compos. Math. 29, 43-53 (1974) MathSciNetMATHGoogle Scholar
- Cheng, S: Eigenvalue comparison theorems and its geometric applications. Math. Z. 143, 289-297 (1975) MathSciNetView ArticleMATHGoogle Scholar
- Yau, S: Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold. Ann. Sci. Éc. Norm. Supér. 8, 487-507 (1975) MathSciNetView ArticleMATHGoogle Scholar
- Cheeger, J: A lower bound for the smallest eigenvalue of the Laplacian. In: Problems in Analysis: A Symposium in Honor of Salomon Bocher, pp. 145-199. Princeton University Press, Princeton (1970) Google Scholar
- Cheng, S: Eigenfunctions and eigenvalues of Laplacian. Proc. Symp. Pure Math. 27, 185-193 (1975) MathSciNetView ArticleGoogle Scholar
- Li, P, Yau, S: Estimate of eigenvalue of compact Riemannian manifold. Proc. Symp. Pure Math. 36, 203-239 (1980) Google Scholar
- Li, P: Eigenvalue estimates on homogenous manifolds. Comment. Math. Helv. 55, 347-363 (1980) MathSciNetView ArticleGoogle Scholar
- Chen, M, Wang, F: General formula for lower bound of the first eigenvalue on Riemannian manifolds. Sci. China Ser. A 27(1), 34-42 (1997) MathSciNetGoogle Scholar
- Hile, G, Protter, M: Inequalities for eigenvalues of the Laplacian. Indiana Univ. Math. J. 29(4), 523-538 (1980) MathSciNetView ArticleMATHGoogle Scholar
- Jia, F: Estimate on the first eigenvalue of a compact Riemannian manifold. Chin. Ann. Math., Ser. A 12(4), 496-502 (1991) MathSciNetGoogle Scholar
- Xu, S, Xue, C, Hu, Z, Jin, Y: Modern differential geometry: spectral theory and isospectrum problems, curvature and topological invariants. Pre. of USCT (2009) Google Scholar
- Xu, S, Pang, H: Estimate of the first eigenvalue on a compact Riemannian manifold. Math. Appl. 14(1), 116-119 (2001) MathSciNetMATHGoogle Scholar
- Yang, H: Estimate of the first eigenvalue of a compact Riemannian manifold. Sci. China Ser. A 33(1), 39-51 (1990) MathSciNetMATHGoogle Scholar
- Yau, S, Schoen, R: Lectures on Differential Geometry. Higher Education Press, Beijing (2004) MATHGoogle Scholar
- Zhong, J, Yang, H: On the estimate of the first eigenvalue of a compact Riemannian manifold. Sci. China Ser. A 27(12), 1265-1273 (1983) MathSciNetMATHGoogle Scholar
- Zhao, D: Estimate of the first eigenvalue on a compact Riemannian manifold. Sci. China Ser. A 29(3), 207-214 (1999) MathSciNetGoogle Scholar