- Research
- Open access
- Published:

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

*Journal of Inequalities and Applications*
**volume 2017**, Article number: 190 (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).

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

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

the equality holds when and only when *D* is a disc.

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

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

Here ∇ denotes the gradient operator. The equality holds in (1.2) if and only if *f* is the characteristic function of balls.

During 1920s, Bonnesen proved a series of inequalities of the form

where the quantity \(B_{D}\) on the right-hand side is a non-negative geometric invariant of significance and vanishes only when *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–6]. The isoperimetric inequality for domains on surfaces *M* of constant curvature can be stated as follows.

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

the equality holds if and only if *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

is known to have a complete system of eigenfunctions \(u=\phi_{n}\), with corresponding eigenvalues \(\lambda_{n}\), where

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

In this paper, we will investigate the Bonnesen-style inequalities for the first eigenvalue \(\lambda_{1}\) of Laplacian on the complete surface. Let *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]

where \(\mathfrak{F}\) is the set of smooth functions in *D* vanishing on the boundary.

The Laplace operator on a Riemannian manifold, its spectral theory and the relations between its first eigenvalue and the geometrical data of the manifold, such as curvatures, diameter, injectivity radius and volume, have been extensively studied in the recent mathematical literature. Amazing connections between the isoperimetric inequality and the first eigenvalue of Laplacian operator have been found during the past decades. One of the basic results is that Cheeger connected the first eigenvalue \(\lambda_{1}\) of the Laplacian on a manifold to certain isoperimetric constants. For a domain *D* on a two-dimensional surface, Cheeger considers the quantity

where *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–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:

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

Let \(D_{r}^{M} \) denote the geodesic disc of radius *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

For the geodesic disc, the following equation can be easily verified in all three cases:

The isoperimetric inequality on a surface of constant curvature \(K\equiv M\) is

Namely, given a domain *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].

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

where the equality holds if and only if \(K\equiv M\) and *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

Let \(\phi(r)=\frac{f(r)}{h(r)}\). Then by (3.1) and (3.2)

except at the singular points. By the mean value theorem, \(h^{2}\phi'\) is a weakly monotone decreasing function, and hence

That is, \(\phi'(r)\leq0\), and hence

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

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

We introduce geodesic polar coordinates in \(D_{\rho}\). The metric can be written as \(ds^{2}=dr^{2}+g(r,\theta)\, d\theta^{2}\), where for each *θ*, 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

Since \(h(r)\) can be written explicitly as \(h(r)=\frac{1}{2\pi}L_{\rho}^{M}\), it satisfies (3.2) and \(A_{\rho}=\int_{0}^{\rho}L(r)\,dr\). The equality holds if and only if \(\sqrt{g}(r,\theta)\equiv h(r)\), hence \(K\equiv M\). □

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

By Lemma 3.2 and (3.6), we have

Via (3.6), the isoperimetric inequality (2.3) can be rewritten as

Then, by (3.8), we have

We complete the 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

and hence,

By (3.4) and (3.10), (3.12) can be rewritten as

and

□

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 Sobolev inequality (1.2) and Hölder’s inequality, we have

that is,

By (1.4), we have

□

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 \(D_{\rho}^{-\beta^{2}}\) satisfies the hypotheses of Lemma 4.1 when \(\alpha=\beta\), hence

By Corollary 4.1, we immediately obtain (4.3). We complete the proof of Theorem 4.1. □

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*

## References

Osserman, R: Isoperimetric inequalities and eigenvalues of the Laplacian. In: Proceedings of the International Congress of Mathematicians, Helsinki (1978)

Blaschke, W: Kreis und Kugal, 2nd edn. de Gruyter, Berlin (1956)

Osserman, R: The isoperimetric inequalities. Bull. Am. Math. Soc.

**84**(6), 1182-1238 (1978)Luo, M, Xu, W, Zhou, J: Translative containment measure and symmetric mixed isohomothetic inequalities. Sci. China Math.

**58**, 2593-2610 (2015)Osserman, R: Bonnesen-style isoperimetric inequalities. Am. Math. Mon.

**86**, 1-29 (1978)Zhou, J: Bonnesen-type inequalities on the plan. Acta Math. Sin.

**50**, 1397-1402 (2007)Santaló, L: Integral Geometry and Geometric Probability. Addison-Wesley, Reading (1976)

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)Klain, D: Bonnesen-type inequalities for surfaces of constant curvature. Adv. Appl. Math.

**39**, 143-154 (2007)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)Zhou, J, Chen, F: The Bonnesen-type inequalities in a plane of constant curvature. J. Korean Math. Soc.

**44**, 1363-1372 (2007)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

Zhang, Z, Zhou, J: Bonnesen-style Wulff isoperimetric inequality. J. Inequal. Appl.

**2017**(1), 42 (2017)Hersch, J: Caractérisation variationnelle d’une somme de valeurs propres consécutives. C. R. Acad. Sci.

**252**, 1714-1716 (1961)Cheeger, J: The relation between the Laplacian and diameter for manifolds of non-negative curvature. Arch. Math.

**19**, 558-560 (1968)Chavel, I, Feldman, E: The first eigenvalue of Laplacian on manifolds of non-negative curvature. Compos. Math.

**29**, 43-53 (1974)Cheng, S: Eigenvalue comparison theorems and its geometric applications. Math. Z.

**143**, 289-297 (1975)Yau, S: Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold. Ann. Sci. Éc. Norm. Supér.

**8**, 487-507 (1975)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)

Cheng, S: Eigenfunctions and eigenvalues of Laplacian. Proc. Symp. Pure Math.

**27**, 185-193 (1975)Li, P, Yau, S: Estimate of eigenvalue of compact Riemannian manifold. Proc. Symp. Pure Math.

**36**, 203-239 (1980)Li, P: Eigenvalue estimates on homogenous manifolds. Comment. Math. Helv.

**55**, 347-363 (1980)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)Hile, G, Protter, M: Inequalities for eigenvalues of the Laplacian. Indiana Univ. Math. J.

**29**(4), 523-538 (1980)Jia, F: Estimate on the first eigenvalue of a compact Riemannian manifold. Chin. Ann. Math., Ser. A

**12**(4), 496-502 (1991)Xu, S, Xue, C, Hu, Z, Jin, Y: Modern differential geometry: spectral theory and isospectrum problems, curvature and topological invariants. Pre. of USCT (2009)

Xu, S, Pang, H: Estimate of the first eigenvalue on a compact Riemannian manifold. Math. Appl.

**14**(1), 116-119 (2001)Yang, H: Estimate of the first eigenvalue of a compact Riemannian manifold. Sci. China Ser. A

**33**(1), 39-51 (1990)Yau, S, Schoen, R: Lectures on Differential Geometry. Higher Education Press, Beijing (2004)

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)Zhao, D: Estimate of the first eigenvalue on a compact Riemannian manifold. Sci. China Ser. A

**29**(3), 207-214 (1999)

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

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors read and approved the final manuscript.

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

Fang, N., Zhou, J. Bonnesen-style inequality for the first eigenvalue on a complete surface of constant curvature.
*J Inequal Appl* **2017**, 190 (2017). https://doi.org/10.1186/s13660-017-1462-4

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-017-1462-4