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

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

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

$$L^2-4\pi A\ge 0,$$ 1.1

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

$${({\int }_D|\mathrm{\nabla }f|)}^2-4\pi {\int }_D{f}^2\ge 0.$$ 1.2

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

$$L^2-4\pi A\ge B_D,$$ 1.3

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

$$L^2-4\pi A+M{A}^2\ge 0,$$

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

$$\begin{array}{c}\mathrm{\Delta }u+\lambda u=0\text{in }D;\hfill \\ u{|}_{\partial D}=0,\hfill \end{array}$$

is known to have a complete system of eigenfunctions $u={\varphi }_n$, with corresponding eigenvalues ${\lambda }_n$, where

$$0={\lambda }_0<{\lambda }_1<{\lambda }_2<\cdots <{\lambda }_p<\cdots \nearrow \mathrm{\infty }.$$

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^{\mathrm{\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]

$${\lambda }_1(D)=\underset{f\in \mathfrak{F}}{inf}\frac{{\int }_D{|\mathrm{\nabla }f|}^2}{{\int }_D{|f|}^2},$$ 1.4

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

$$h=\underset{D^{\prime }\subset F}{inf}\frac{L^{\prime }}{A^{\prime }},$$ 1.5

where F is the family of relatively compact subdomains of D, $A^{\prime }$ and $L^{\prime }$ are the area and the boundary length of subdomain $D^{\prime }\subset D$, respectively. Cheeger proved that

$${\lambda }_1(D)\ge \frac{1}{4}{h}^2.$$ 1.6

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\le -{\alpha }^2$, $\alpha >0$. If $D\subset S$ is simply connected and ρ is inradius of D, then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\alpha }^2}{4}{csch}^2\alpha \rho .$$ 1.7

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\le 0$ everywhere. For any simply connected domain $D\subset S$ , let ρ denote its inradius and R denote its circumradius. Let

$${\alpha }^2=\underset{D}{inf}(-K),{\beta }^2=\underset{D}{sup}(-K),0<\alpha \le \beta ,$$

then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\alpha }^2}{4}{csch}^2\alpha \rho +B,$$

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

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

$$\begin{array}{c}M=-{\alpha }^2<0\text{:}{L}_r^M=2\pi \frac{sinh\alpha r}{\alpha },A_r^M=4\pi \frac{{sinh}^2\frac{\alpha r}{2}}{{\alpha }^2}=2\pi \frac{cosh\alpha r-1}{{\alpha }^2};\hfill \\ M=0\text{:}{L}_r^M=2\pi r,A_r^M=\pi r^2;\hfill \\ M={\alpha }^2>0\text{:}{L}_r^M=2\pi \frac{sin\alpha r}{\alpha },A_r^M=4\pi \frac{{sin}^2\frac{\alpha r}{2}}{{\alpha }^2}=2\pi \frac{1-cos\alpha r}{{\alpha }^2}.\hfill \end{array}$$

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

$${\left(L_r^M\right)}^2-4\pi A_r^M+M{\left(A_r^M\right)}^2=0.$$ 2.1

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

$$L^2-4\pi A+M{A}^2\ge 0.$$ 2.2

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\ge 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\le M$. Let L and A be the boundary length and the area of D, respectively. Then

$$L^2-4\pi A+M{A}^2\ge 0,$$ 2.3

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\le 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:

$$L{L}_{\rho }^M+MA{A}_{\rho }^M\ge 2\pi (A+A_{\rho }^M),$$ 2.4

$$L^2-4\pi A+M{A}^2\ge {(L-\frac{L_{\rho }^M}{A_{\rho }^M}A)}^2,$$ 2.5

$$L^2-4\pi A+M{A}^2\ge {(L-L_{\rho }^M)}^2+M{(A-A_{\rho }^M)}^2.$$ 2.6

Moreover, if $MA<4\pi$, then these inequalities are equivalent to

$$L^2-4\pi A+M{A}^2\ge {\left(\frac{2\pi }{L_{\rho }^M}(A-A_{\rho }^M)\right)}^2.$$ 2.7

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\le -{\alpha }^2$, $\alpha >0$. Then, for any domain $D\subset S$ of circumradius R,

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\alpha }^2}{4}{(csch\alpha R)}^2.$$ 2.8

If D is simply connected and ρ is its inradius, then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\alpha }^2}{4}{(csch\alpha \rho )}^2.$$ 2.9

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\le r\le r_0$. Suppose that, except at a finite number of the points in the interval, $f^{″}(r)$ exists and satisfies

$$f^{″}(r)+cf(r)\le 0,f(0)=0,f^{\prime }(0)=a$$ 3.1

for some constants a, c. Let $h(r)$ be the unique solution of

$$h^{″}(r)+ch(r)=0,h(0)=0,h^{\prime }(0)=1.$$ 3.2

Let s be any number such that $h(r)>0$ for $0<r<s$, and let $r_1=min\{r_0,s\}$. Then

$$f(r)\le ah(r)$$ 3.3

for $0\le r\le r_1$.

Proof

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

$${\left(h^2{\varphi }^{\prime }\right)}^{\prime }={(f^{\prime }h-f{h}^{\prime })}^{\prime }=f^{″}h-f{h}^{″}\le 0,$$

except at the singular points. By the mean value theorem, $h^2{\varphi }^{\prime }$ is a weakly monotone decreasing function, and hence

$$\left(h^2{\varphi }^{\prime }\right)(r)\le \left(h^2{\varphi }^{\prime }\right)(0)=0,0\le r\le r_1.$$

That is, ${\varphi }^{\prime }(r)\le 0$, and hence

$$\frac{f(r)}{h(r)}=\varphi (r)\le \varphi (0)=\underset{r\to 0}{lim}\frac{f(r)}{h(r)}=a$$

for $0\le r\le 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\le K\le 0$ on $D_{\rho }$, then

$$A_{\rho }\le A_{\rho }^M,$$ 3.4

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 $d{s}^2=d{r}^2+g(r,\theta )d{\theta }^2$, where for each θ, the function $f(r)=\sqrt{g}(r,\theta )$ satisfies $f(0)=0$, $f^{\prime }(0)=1$. Since $K\le 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\le K\le 0$, $f(r)$ satisfies (3.1), with $a=1$, $c=M$, $r_0=\rho$. By (3.3), we have

$$A_{\rho }={\int }_0^{2\pi }{\int }_0^{\rho }\sqrt{g}(r,\theta )drd\theta \le 2\pi {\int }_0^{\rho }h(r)dr=A_{\rho }^M.$$ 3.5

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\le 0$ 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

$${\alpha }^2=\underset{D}{inf}(-K),{\beta }^2=\underset{D}{sup}(-K),0<\alpha \le \beta ,$$ 3.6

then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\beta }^2}{4}{(csch\frac{\beta R}{2})}^2.$$ 3.7

Proof

By Lemma 3.2 and (3.6), we have

$$A_R^{-{\beta }^2}\ge A_R\ge A.$$ 3.8

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

$${\left(\frac{L}{A}\right)}^2\ge 4\pi \frac{1}{A}+{\alpha }^2.$$

Then, by (3.8), we have

$$\begin{array}{rcl}{\left(\frac{L}{A}\right)}^2& \ge & 4\pi \frac{1}{A}+{\alpha }^2\\ & \ge & 4\pi \frac{1}{A_R^{-{\beta }^2}}+{\alpha }^2\\ & =& {\beta }^2{(csch\frac{\beta R}{2})}^2+{\alpha }^2.\end{array}$$ 3.9

By (1.6) and (3.9), then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\beta }^2}{4}{(csch\frac{\beta R}{2})}^2.$$

We complete the proof. □

Since $\frac{x}{sinhx}$ is monotonically decreasing for $x\ge 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\le 0$ 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

$${\alpha }^2=\underset{D}{inf}(-K),{\beta }^2=\underset{D}{sup}(-K),0<\alpha \le \beta ,$$ 3.10

then

$${\lambda }_1(D)-\frac{{\alpha }^2}{4}\ge \frac{{\alpha }^2}{4}{(csch\alpha \rho )}^2+B,$$ 3.11

where

$$B=\frac{1}{4}{\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^4{\left(\frac{\alpha }{sinh\alpha \rho }\right)}^2+\frac{1}{2}{\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^2\frac{{\alpha }^{2}coth\alpha \rho }{sinh\alpha \rho }.$$

Proof

By (2.4) and (3.10), we have

$$\frac{L}{A}{L}_{\rho }^{-{\alpha }^2}\ge 2\pi (1+\frac{A_{\rho }^{-{\alpha }^2}}{A})+{\alpha }^2{A}_{\rho }^{-{\alpha }^2},$$

and hence,

$$\frac{L}{A}\ge \frac{A_{\rho }^{-{\alpha }^2}}{A}\frac{\alpha }{sinh\alpha \rho }+\alpha coth\alpha \rho .$$ 3.12

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

$$\begin{array}{rcl}\frac{L}{A}& \ge & \frac{A_{\rho }^{-{\alpha }^2}}{A}\frac{\alpha }{sinh\alpha \rho }+\alpha coth\alpha \rho \\ & \ge & \frac{A_{\rho }^{-{\alpha }^2}}{A_R^{-{\beta }^2}}\frac{\alpha }{sinh\alpha \rho }+\alpha coth\alpha \rho \\ & =& {\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^2\frac{\alpha }{sinh\alpha \rho }+\alpha coth\alpha \rho .\end{array}$$

By (1.5) and (1.6), we have

$$\begin{array}{rcl}{\lambda }_1(D)& \ge & \frac{1}{4}{\{{\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^2\frac{\alpha }{sinh\alpha \rho }+\alpha coth\alpha \rho \}}^2\\ & =& \frac{{\alpha }^2}{4}{(coth\alpha \rho )}^2+B\\ & =& \frac{{\alpha }^2}{4}+\frac{{\alpha }^2}{4}{(csch\alpha \rho )}^2+B,\end{array}$$

and

$$B=\frac{1}{4}{\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^4{\left(\frac{\alpha }{sinh\alpha \rho }\right)}^2+\frac{1}{2}{\left(\frac{\beta sinh\frac{\alpha \rho }{2}}{\alpha sinh\frac{\beta R}{2}}\right)}^2\frac{{\alpha }^{2}coth\alpha \rho }{sinh\alpha \rho }.$$

 □

Since $B\ge 0$, 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 \to \mathrm{\infty }$ in (3.11), we immediately obtain the following.

Corollary 3.1

Let S be a simply connected complete surface with $K\le -{\alpha }^2$, $\alpha >0$ everywhere, then

$${\lambda }_1(S)\ge \frac{{\alpha }^2}{4}.$$

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

$${\lambda }_1(D)\ge \frac{4\pi }{A}.$$

Proof

By Sobolev inequality (1.2) and Hölder’s inequality, we have

$$\begin{array}{rcl}4\pi {\int }_D{f}^{2}dx& \le & {({\int }_D|\mathrm{\nabla }f|dx)}^2\\ & \le & {\int }_D{1}^{2}dx{\int }_D{|\mathrm{\nabla }f|}^{2}dx\\ & =& A{\int }_D{|\mathrm{\nabla }f|}^{2}dx,\end{array}$$

that is,

$$\frac{{\int }_D{|\mathrm{\nabla }f|}^{2}dx}{{\int }_D{f}^{2}dx}\ge \frac{4\pi }{A}.$$

By (1.4), we have

$${\lambda }_1=\underset{f\ne 0}{inf}\frac{{\int }_D{|\mathrm{\nabla }f|}^{2}dx}{{\int }_D{f}^{2}dx}\ge \frac{4\pi }{A}.$$

 □

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\le K\le 0$ everywhere. Suppose $D\subset S$, then

$${\lambda }_1(D)\ge {\beta }^2{(csch\frac{\beta R}{2})}^2.$$

Here R is the circumradius of D.

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\ge (n-1)M$, $n=dimS$. Then, for $x\in S$, we have

$${\lambda }_1(D(x;r))\le {\lambda }_1(V_n(M;r))$$

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\ge M$. Let $D_r$ be a geodesic disc with radius r on S, then

$${\lambda }_1(D_r)\le {\lambda }_1\left(D_r^M\right),$$

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\le 0$ everywhere. Let $D_{\rho }$ be a geodesic disc of radius ρ. If

$${\alpha }^2=\underset{D_{\rho }}{inf}(-K),{\beta }^2=\underset{D_{\rho }}{sup}(-K),0<\alpha \le \beta ,$$ 4.1

then

$${\lambda }_1(D_{\rho })\le {\left(\frac{{\beta }^2}{2\alpha coth\alpha \rho }\right)}^2+{\left(\frac{\pi }{\rho }\right)}^2.$$ 4.2

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\le K\le 0$ everywhere. Let $D_{\rho }$ be a geodesic disc of radius ρ, then

$${\lambda }_1(D_{\rho })\le {\left(\frac{\beta }{2coth\beta \rho }\right)}^2+{\left(\frac{\pi }{\rho }\right)}^2.$$ 4.3

Proof

Since $D_{\rho }^{-{\beta }^2}$ satisfies the hypotheses of Lemma 4.1 when $\alpha =\beta$, hence

$${\lambda }_1\left(D_{\rho }^{-{\beta }^2}\right)\le {\left(\frac{\beta }{2coth\beta \rho }\right)}^2+{\left(\frac{\pi }{\rho }\right)}^2.$$

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

Since the function $xcothx$ is monotonically increasing for $x\ge 0$, hence inequality (4.3) is stronger than (4.2). Let $\rho \to \mathrm{\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\le K\le 0$ everywhere. Then

$${\lambda }_1(S)\le \frac{{\beta }^2}{4}.$$