# Bonnesen-style inequality for the first eigenvalue on a complete surface of constant curvature

- 419 Downloads

## 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 inequality## MSC

53A25 53A10 53C23## 1 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.

*D*be a domain (subset with nonempty interiors) in the Euclidean plane \(\mathbb{R}^{2}\) with the boundary composing of the simple curve of length

*L*and area

*A*. Then

*D*is a disc.

It is known that the isoperimetric inequality (1.1) is equivalent to the following Sobolev inequality (see [3]):

*f*has compact support in \(D\subset\mathbb{R}^{2}\), then

*f*is the characteristic function of balls.

*D*is a disc.

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, 4, 5, 6]. The isoperimetric inequality for domains on surfaces *M* of constant curvature can be stated as follows.

*D*be a compact domain on the surface

*M*of constant curvature. Let

*A*and

*L*denote the area and the boundary length of

*D*, respectively. Then

*D*is a geodesic disc.

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.

*Eigenvalues of the Laplacian*. Let

*D*be a domain with smooth boundary

*∂D*on a compact Riemannian surface

*M*. The eigenvalue problem

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}\}\)?

*M*be a compact Riemannian surface and Δ be the Laplacian-Beltrami operator acting on differential functions \(C^{\infty}(M)\). It is known that Δ is an elliptic operator. The first eigenvalue \(\lambda_{1}\) on domain \(D\subset M\) can be also characterized by [1]

*D*vanishing on the boundary.

*D*on a two-dimensional surface, Cheeger considers the quantity

*F*is the family of relatively compact subdomains of

*D*, \(A'\) and \(L'\) are the area and the boundary length of subdomain \(D'\subset D\), respectively. Cheeger proved that

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, 25, 26, 27, 28, 29, 30, 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:

*S*be a compact simply connected surface with Gauss curvature

*K*, \(K\leq-\alpha^{2}\), \(\alpha>0\). If \(D\subset S\) is simply connected and

*ρ*is inradius of

*D*, then

In this paper, we obtain the following lower bound of the first eigenvalue that is stronger than Osserman’s result (1.7):

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*\(K\leq0\)

*everywhere. For any simply connected domain*\(D\subset S\)

*, let*

*ρ*

*denote its inradius and*

*R*

*denote its circumradius. Let*

*then*

*where the quantity*

*B*

*is a positive number depending on*

*α,*

*β,*

*ρ,*

*R.*

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

*r*on the complete simply connected surface of constant Gauss curvature \(K\equiv M\). Let \(A_{r}^{M}, L_{r}^{M} \) be, respectively, the area and the length of boundary of \(D_{r}^{M}\). Then the explicit expressions for these quantities are

*D*of area

*A*, if

*r*is chosen so that \(A_{r}^{M}\) equals

*A*, then (2.1) and (2.2) imply \(L\geq L_{r}^{M}\), so that the disc \(D_{r}^{M}\) has minimum boundary length among all domains of the same area.

Osserman considered the isoperimetric inequality of two-dimensional complete surface with bounded Gauss curvature [5].

*D*be a simply connected domain whose Gauss curvature

*K*satisfies \(K\leq M\). Let

*L*and

*A*be the boundary length and the area of

*D*, respectively. Then

*D*is a geodesic disc.

Osserman also obtained the following Bonnesen-style isoperimetric inequalities.

### Theorem A

[5]

*Let*

*D*

*be a simply connected domain whose Gauss curvature*

*K*

*satisfies*\(K\leq M\).

*Let*

*ρ*

*be the inradius of*

*D*,

*A*

*be the area of*

*D*

*and*

*L*

*be the length of its boundary*.

*Then the following inequalities are equivalent*:

*Moreover*,

*if*\(MA<4\pi\),

*then these inequalities are equivalent to*

Osserman estimated lower bounds of the first eigenvalue by Cheeger’s isoperimetric constants as follows.

### Theorem B

[5]

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*

*K*, \(K\leq-\alpha^{2}\), \(\alpha>0\).

*Then*,

*for any domain*\(D\subset S\)

*of circumradius*

*R*,

*If*

*D*

*is simply connected and*

*ρ*

*is its inradius*,

*then*

## 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

*Let*\(f(r)\)

*be continuously differentiable on the interval*\(0\leq r\leq r_{0}\).

*Suppose that*,

*except at a finite number of the points in the interval*, \(f''(r)\)

*exists and satisfies*

*for some constants*

*a*,

*c*.

*Let*\(h(r)\)

*be the unique solution of*

*Let*

*s*

*be any number such that*\(h(r)>0\)

*for*\(0< r< s\),

*and let*\(r_{1}=\min\{r_{0}, s\}\).

*Then*

*for*\(0\leq r\leq r_{1}\).

### Proof

### Lemma 3.2

*Let*\(D_{\rho}\)

*be a geodesic disc of radius*

*ρ*,

*and let*\(A_{\rho}\)

*be the area of*\(D_{\rho}\).

*If*\(M\leq K\leq0\)

*on*\(D_{\rho}\),

*then*

*where equality holds if and only if*\(K\equiv M\)

*on*\(D_{\rho}\).

### Proof

*θ*, the function \(f(r)=\sqrt{g}(r,\theta)\) satisfies \(f(0)=0\), \(f'(0)=1\). Since \(K\leq 0\), the geodesic disc of radius

*ρ*always exists. Then with the fact \(K=-\frac{1}{\sqrt{g}}\frac{\partial^{2}}{\partial r^{2}}\sqrt{g}\) and the condition \(M\leq K\leq0\), \(f(r)\) satisfies (3.1), with \(a=1\), \(c=M\), \(r_{0}=\rho\). By (3.3), we have

### Theorem 3.1

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*\(K\leq0\)

*everywhere*.

*For any simply connected domain*\(D\subset S\),

*let*

*A*,

*L*,

*R*

*be the area*,

*the boundary length and the circumradius of*

*D*,

*respectively*.

*Let*

*then*

### 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

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*\(K\leq0\)

*everywhere*.

*For any simply connected domain*\(D\subset S\),

*let*

*A*,

*L*,

*ρ*,

*R*

*be the area*,

*the boundary length*,

*the inradius and the circumradius of*

*D*,

*respectively*.

*Let*

*then*

*where*

### 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

*Let*

*S*

*be a simply connected complete surface with*\(K\leq-\alpha^{2}\), \(\alpha>0\)

*everywhere*,

*then*

Next, we give a lower bound of the first eigenvalue \(\lambda_{1}\).

### Theorem 3.3

*Let*

*D*

*be a complete simply connected surface and*

*A*

*denote the area of*

*D*.

*Then*

### Proof

By Lemma 3.2, we obtain a lower bound of \(\lambda_{1}\).

### Corollary 3.2

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*

*K*, \(-\beta^{2}\leq K\leq0\)

*everywhere*.

*Suppose*\(D\subset S\),

*then*

*Here*

*R*

*is the circumradius of*

*D*.

## 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

*Suppose that*

*S*

*is a complete Riemannian manifold and Ricci curvature of*\(S\geq(n-1)M\), \(n=\dim S\).

*Then*,

*for*\(x\in S\),

*we have*

*and equality holds if and only if*\(D(x;r)\)

*is isometric to*\(V_{n}(M;r)\).

In particular, the eigenvalue comparison theorem is also valid when *S* is a two-dimensional complete simply connected surface.

### Corollary 4.1

*Suppose that*

*S*

*is a complete simply connected surface with Gauss curvature*\(K\geq M\).

*Let*\(D_{r}\)

*be a geodesic disc with radius*

*r*

*on*

*S*,

*then*

*where equality holds if and only if*\(K\equiv M\)

*on*

*S*.

The next lemma will be needed in proving our theorem.

### Lemma 4.1

[5]

*Suppose that*

*S*

*is a simply connected complete surface with Gauss curvature*\(K\leq0\)

*everywhere*.

*Let*\(D_{\rho}\)

*be a geodesic disc of radius*

*ρ*.

*If*

*then*

Combining Corollary 4.1 and Lemma 4.1 immediately yields the following.

### Theorem 4.1

*Suppose that*

*S*

*is a simply connected complete surface with Gauss curvature*

*K*, \(-\beta^{2}\leq K\leq0\)

*everywhere*.

*Let*\(D_{\rho}\)

*be a geodesic disc of radius*

*ρ*,

*then*

### 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

*Let*

*S*

*be a simply connected complete surface with Gauss curvature*

*K*, \(-\beta^{2}\leq K\leq0\)

*everywhere*.

*Then*

## Notes

### 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).

## References

- 1.Osserman, R: Isoperimetric inequalities and eigenvalues of the Laplacian. In: Proceedings of the International Congress of Mathematicians, Helsinki (1978) Google Scholar
- 2.Blaschke, W: Kreis und Kugal, 2nd edn. de Gruyter, Berlin (1956) CrossRefGoogle Scholar
- 3.Osserman, R: The isoperimetric inequalities. Bull. Am. Math. Soc.
**84**(6), 1182-1238 (1978) CrossRefzbMATHGoogle Scholar - 4.Luo, M, Xu, W, Zhou, J: Translative containment measure and symmetric mixed isohomothetic inequalities. Sci. China Math.
**58**, 2593-2610 (2015) MathSciNetCrossRefzbMATHGoogle Scholar - 5.Osserman, R: Bonnesen-style isoperimetric inequalities. Am. Math. Mon.
**86**, 1-29 (1978) MathSciNetCrossRefzbMATHGoogle Scholar - 6.Zhou, J: Bonnesen-type inequalities on the plan. Acta Math. Sin.
**50**, 1397-1402 (2007) zbMATHGoogle Scholar - 7.Santaló, L: Integral Geometry and Geometric Probability. Addison-Wesley, Reading (1976) zbMATHGoogle Scholar
- 8.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) MathSciNetCrossRefzbMATHGoogle Scholar - 9.Klain, D: Bonnesen-type inequalities for surfaces of constant curvature. Adv. Appl. Math.
**39**, 143-154 (2007) MathSciNetCrossRefzbMATHGoogle Scholar - 10.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) MathSciNetCrossRefzbMATHGoogle Scholar - 11.Zhou, J, Chen, F: The Bonnesen-type inequalities in a plane of constant curvature. J. Korean Math. Soc.
**44**, 1363-1372 (2007) MathSciNetCrossRefzbMATHGoogle Scholar - 12.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
- 13.Zhang, Z, Zhou, J: Bonnesen-style Wulff isoperimetric inequality. J. Inequal. Appl.
**2017**(1), 42 (2017) MathSciNetCrossRefzbMATHGoogle Scholar - 14.Hersch, J: Caractérisation variationnelle d’une somme de valeurs propres consécutives. C. R. Acad. Sci.
**252**, 1714-1716 (1961) zbMATHGoogle Scholar - 15.Cheeger, J: The relation between the Laplacian and diameter for manifolds of non-negative curvature. Arch. Math.
**19**, 558-560 (1968) MathSciNetCrossRefzbMATHGoogle Scholar - 16.Chavel, I, Feldman, E: The first eigenvalue of Laplacian on manifolds of non-negative curvature. Compos. Math.
**29**, 43-53 (1974) MathSciNetzbMATHGoogle Scholar - 17.Cheng, S: Eigenvalue comparison theorems and its geometric applications. Math. Z.
**143**, 289-297 (1975) MathSciNetCrossRefzbMATHGoogle Scholar - 18.Yau, S: Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold. Ann. Sci. Éc. Norm. Supér.
**8**, 487-507 (1975) MathSciNetCrossRefzbMATHGoogle Scholar - 19.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
- 20.Cheng, S: Eigenfunctions and eigenvalues of Laplacian. Proc. Symp. Pure Math.
**27**, 185-193 (1975) MathSciNetCrossRefGoogle Scholar - 21.Li, P, Yau, S: Estimate of eigenvalue of compact Riemannian manifold. Proc. Symp. Pure Math.
**36**, 203-239 (1980) Google Scholar - 22.Li, P: Eigenvalue estimates on homogenous manifolds. Comment. Math. Helv.
**55**, 347-363 (1980) MathSciNetCrossRefGoogle Scholar - 23.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 - 24.Hile, G, Protter, M: Inequalities for eigenvalues of the Laplacian. Indiana Univ. Math. J.
**29**(4), 523-538 (1980) MathSciNetCrossRefzbMATHGoogle Scholar - 25.Jia, F: Estimate on the first eigenvalue of a compact Riemannian manifold. Chin. Ann. Math., Ser. A
**12**(4), 496-502 (1991) MathSciNetGoogle Scholar - 26.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
- 27.Xu, S, Pang, H: Estimate of the first eigenvalue on a compact Riemannian manifold. Math. Appl.
**14**(1), 116-119 (2001) MathSciNetzbMATHGoogle Scholar - 28.Yang, H: Estimate of the first eigenvalue of a compact Riemannian manifold. Sci. China Ser. A
**33**(1), 39-51 (1990) MathSciNetzbMATHGoogle Scholar - 29.Yau, S, Schoen, R: Lectures on Differential Geometry. Higher Education Press, Beijing (2004) zbMATHGoogle Scholar
- 30.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) MathSciNetzbMATHGoogle Scholar - 31.Zhao, D: Estimate of the first eigenvalue on a compact Riemannian manifold. Sci. China Ser. A
**29**(3), 207-214 (1999) MathSciNetGoogle Scholar

## Copyright information

**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.