Abstract
In this paper, two interesting eigenvalue comparison theorems for the first non-zero Steklov eigenvalue of the Laplacian have been established for manifolds with radial sectional curvature bounded from above. Besides, sharper bounds for the first non-zero eigenvalue of the Wentzell eigenvalue problem of the weighted Laplacian, which can be seen as a natural generalization of the classical Steklov eigenvalue problem, have been obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let (M, g) be an n-dimensional \((n\ge 2)\) complete Riemannian manifold with the Riemannian metric g, and let \(\Omega \subseteq M\) be a compact domain with boundary \(\partial \Omega \). The so-called Steklov eigenvalue problem is actually to find a solution of the following system
where \(\Delta \) is the Laplacian on M associated with the metric g, \(\vec {\eta }\) is the unit outward normal vector field of the boundary \(\partial \Omega \), and v is a real number called the eigenvalue of this problem. There are infinitely many real numbers v satisfying the system (1.1) and can be listed increasingly as a sequence tending to the infinity. Clearly, the first Steklov eigenvalue of the problem (1.1) is zero with the constant function as its eigenfunction. By the variational principle, it is not difficult to get the first non-zero Steklov eigenvalue \(v_{1}(\Omega )\) is characterized by
where \(\nabla \) is the gradient operator on \(\Omega \subseteq M\), and \(u\in W^{1,2}(\Omega )\), the completion of the set of smooth functions under the Sobolev norm \(\Vert u\Vert _{1,2}=\int _{\Omega }u^{2}+\int _{\Omega }|\nabla u|^{2}\). The problem (1.1) was introduced by Steklov [25] with the physical background as follows: the function \(\varphi \) denotes the steady state temperature on \(\Omega \) such that the flux on \(\partial \Omega \) is proportional to the temperature. Since the set of eigenvalues for the Steklov eigenvalue problem is the same as the set of eigenvalues of the well-known Dirichlet-to-Neumann map, the problem (1.1) has important influence in the study of conductivity and harmonic analysis, which was initially studied by Calderón [5]. Anyway, Escobar [11] showed that the study of (1.1) is also important in the problem of conformal deformation of a Riemannian metric on manifolds with boundary.
By (1.2), it is easy to get the following Sobolev trace inequality
where \(u_{0}\) is the mean value of the function u when restricted to the boundary. This inequality makes an important role in the study of existence and regularity of solutions of some boundary value problems.
In order to state our main conclusions below clearly, here we would like to introduce some basic notions, which have been introduced in [14, 20,21,22] already. Besides, in the sequel, for convenience, we will drop the integral measures for all integrals except it is necessary.
1.1 Basic notions
As before, let (M, g) be an n-dimensional (\(n\ge 2\)) complete Riemannian manifold with the metric g, and \(\nabla \) be the gradient operator. For a point \(p\in M\), one can set up a geodesic polar coordinates \((t,\xi )\) around this point p, where \(\xi \in {S}_{p}^{n-1}\subseteq {T_{p}M}\) is a unit vector of the unit sphere \(S_{p}^{n-1}\) with center p in the tangent space \(T_{p}M\). Let \(\mathscr {D}_{p}\), a star-shaped set of \(T_{p}M\), and \(d_{\xi }\) be defined by
and \(d_{\xi }=d_{\xi }(p):= \sup \{t>0|~\gamma _{\xi }(s):= \exp _p(s\xi )~ \text{ is } \text{ the } \text{ unique } \text{ minimal } \text{ geodesic } \text{ joining } ~ p ~{\mathrm{and}} ~\gamma _{\xi }(t)\}\) respectively. Then \(\exp _p:\mathscr {D}_p \rightarrow M\backslash Cut(p)\) gives a diffeomorphism from \(\mathscr {D}_p\) onto the open set \(M\backslash Cut(p)\), with Cut(p) the cut locus of p. For \(\zeta \in {\xi ^{\bot }}\), one can define the path of linear transformations \(\mathbb {A}(t,\xi ):\xi ^\perp \rightarrow {\xi ^\perp }\) by
with \(\xi ^\perp \) the orthogonal complement of \(\{\mathbb {R}\xi \}\) in \(T_{p}M\), where \(\tau _{t}:T_{p}M\rightarrow {T_{\exp _{p}(t\xi )}M}\) is the parallel translation along the geodesic \(\gamma _{\xi }(t)\) with \(\gamma '(0)=\xi \), and Y(t) is the Jacobi field along \(\gamma _{\xi }\) satisfying \(Y(0)=0\), \((\triangledown _{t}Y)(0)=\zeta \). Moreover, set
where the curvature tensor R(X, Y)Z is defined by \(R(X,Y)Z=-[\nabla _{X},\)\( \nabla _{Y}]Z+ \nabla _{[X,Y]}Z\). Then \(\mathscr {R}(t)\) is a self-adjoint operator on \(\xi ^{\bot }\), whose trace is the radial Ricci tensor
Clearly, the map \(\mathbb {A}(t,\xi )\) satisfies the Jacobi equation \(\mathbb {A}''+\mathscr {R}\mathbb {A}=0\) with initial conditions \(\mathbb {A}(0,\xi )=0\), \(\mathbb {A}'(0,\xi )=\mathrm{I}_{(n-1)\times (n-1)}\), where \(\mathrm {I}_{(n-1)\times (n-1)}\) represents the \((n-1)\,\times \,(n-1)\) identity matrix, and by Gauss’s lemma, the Riemannian metric of M can be expressed by
on the set \(\exp _{p}(\mathscr {D}_p)\). Consider the metric components \(g_{ij}(t,\xi )\), \(i,j\ge 1\), in a coordinate system \(\{t, \xi _a\}\) formed by fixing an orthonormal basis \(\{\zeta _a, a\ge 2\}\) of \(\xi ^{\bot }=T_{\xi }S^{n-1}_p\), and extending it to a local frame \(\{\xi _a, a\ge 2\}\) of \(S_p^{n-1}\). Define a function \(J>0\) on \(\mathscr {D}_{p}\) by
Since \(\tau _t: S_p^{n-1}\rightarrow S_{\gamma _{\xi }(t)}^{n-1}\) is an isometry, we have
and
So, by (1.3), the volume V(B(p, r)) of the geodesic ball B(p, r) on M is given by
where \(d\sigma \) denotes the \((n-1)\)-dimensional volume element on \(\mathbb {S}^{n-1}\equiv S_{p}^{n-1}\subseteq {T_{p}M}\). The injectivity radius \(\mathrm {inj}(p)\) at p satisfies
In general, we have \(B(p,\mathrm {inj}(p))\subseteq {M}\backslash {Cut(p)}\). Besides, for \(r<\mathrm {inj}(p)\), by (1.4) we can obtain
Denote by \(r(x)=d(x,p)\) the intrinsic distance to the point \(p\in {M}\). Then, by the definition of a non-zero tangent vector “radial” to a prescribed point on a manifold given in the first page of [18], we know that for \(x\in {M}\backslash (Cut(p)\cup {p})\) the unit vector field
is the radial unit tangent vector at x. This is because for any \(\xi \in {S}_{p}^{n-1}\) and \(t_{0}>0\), we have \(\nabla {r}{(\gamma _{\xi }(t_{0}))}=\gamma '_{\xi }(t_{0})\) when the point \(\gamma _{\xi }(t_{0})=\exp _{p}(t_{0}\xi )\) is away from the cut locus of p.
We need the following concepts.
Definition 1.1
([14, 20, 21]) Given a continuous function \(k:[0,l)\rightarrow \mathbb {R}\), we say that M has a radial Ricci curvature lower bound \((n-1)k\) along any unit-speed minimizing geodesic starting from a point \(p\in {M}\) if
where \({\mathrm{Ric}}\) is the Ricci curvature of M.
Definition 1.2
([14, 20, 21]) Given a continuous function \(k:[0,l)\rightarrow \mathbb {R}\), we say that M has a radial sectional curvature upper bound k along any unit-speed minimizing geodesic starting from a point \(p\in {M}\) if
where \(V\perp {v_{x}}\), \(V\in {S^{n-1}_{x}}\subseteq {T_{x}M}\), and \(\mathscr {K}(v_{x},V)\) is the sectional curvature of the plane spanned by \(v_x\) and V.
Remark 1.3
Since \(r(x)=d(p,x)=t\) and \(\frac{d}{dt}|_{x}=\nabla {r(x)}=v_x\), we know that the inequalities (1.5) and (1.6) become \({\mathrm{Ric}}(\frac{d}{dt},\frac{d}{d{t}}) \ge (n-1)k(t)\) and \(\mathscr {K}(\frac{d}{dt},V)\le {k(t)}\), respectively. This fact has been pointed out in [14, Remark 2.4] or [20, Remark 2.1.5]. Besides, for convenience, if a manifold satisfies (1.5) [resp., (1.6)], then we say that M has a radial Ricci curvature lower bound w.r.t. a pointp (resp., a radial sectional curvature upper bound w.r.t. a pointp), that is to say, its radial Ricci curvature is bounded from below w.r.t.p (resp., radial sectional curvature is bounded from above w.r.t.p). As also pointed out in [14, page 706] or [21, page 378], for a given complete Riemannian n-manifold (M, g), one can define
and
where \(\mathbb {D}_{p}:=\{(t,\xi )\in [0,\infty )\times {S_{p}^{n-1}}|0\le t<d_{\xi }\}\) with closure \(\overline{\mathbb {D}}_{p}=\{(t,\xi )\in [0,\infty )\times {S_{p}^{n-1}}|0\le t\le d_{\xi }\}\), and, by applying the uniform continuity of continuous functions on compact sets, for a bounded domain \(\Omega \subseteq {M}\), one can always find optimally continuous bounds \(k_{\pm }(p,t)\) for the radial sectional and Ricci curvatures w.r.t. some point \(p\in \Omega \).
We need the following notion of spherically symmetric manifolds.
Definition 1.4
([14, 20, 21]) A domain \(\Omega =\exp _{p}([0,l)\,\times \,{S_{p}^{n-1}})\subset {M}\backslash Cut(p)\), with \(l<\mathrm {inj}(p)\), is said to be spherically symmetric with respect to a point \(p\in \Omega \), if the matrix \(\mathbb {A}(t,\xi )\) satisfies \(\mathbb {A}(t,\xi )=f(t)\mathrm {I}_{(n-1)\times (n-1)}\), for a function \(f\in {C^{2}([0,l])}\), \(l\in (0,\infty ]\) with \(f(0)=0\), \(f'(0)=1\), \(f|(0,l)>0\).
By (1.3), on the set \(\Omega \) given in Definition 1.4 the Riemannian metric of M can be expressed by
with \(|d\xi |^{2}\) the round metric on the unit sphere \(\mathbb {S}^{n-1}\subseteq \mathbb {R}^{n}\). Spherically symmetric manifolds were named as generalized space forms by Katz and Kondo [18], and a standard model for such manifolds is given by the quotient manifold of the warped product \([0,l)\,\times \,_{f} \mathbb {S}^{n-1}\) equipped with the metric (1.7), and all pairs \((0,\xi )\) are identified with a single point p, where f satisfies the conditions in Definition 1.4, and is called the warping function. A space form with constant curvature k is also a spherically symmetric manifold, and in this special case we have
1.2 The statement of main conclusions
In [14], Freitas, Mao and Salavessa proved that for n-dimensional (\(n\ge 2\)) complete Riemannian manifold (M, g) having a radial Ricci curvature lower bound\((n-1)k(t)\)w.r.t. a point\(p\in M\), the first Dirichlet eigenvalue \(\lambda _{1}(B(p,r))\) of the Laplacian on B(p, r) satisfies
where \(\lambda _{1}(\mathscr {B}_{n}(p^{-},r))\) is the first Dirichlet eigenvalue of the Laplacian on the geodesic ball \(\mathscr {B}_{n}(p^{-},r)\), with the center \(p^{-}\) and radius r, of the spherically symmetric n-manifold \(M^{-}=[0,l)\,\times \,_{f}\mathbb {S}^{n-1}\) with the base point \(p^{-}\) and the warping function f determined by
Equality in (1.8) holds if and only if B(p, r) is isometric to \(\mathscr {B}_{n}(p^{-},r)\). They also proved that if M has a radial sectional curvature upper bound\((n-1)k(t)\)w.r.t. a point\(p\in M\), then for \(r<\mathrm {inj}(p)\),
holds, where \(\lambda _{1}(\mathscr {B}_{n}(p^{+},r))\) is the first Dirichlet eigenvalue of the Laplacian on the geodesic ball \(\mathscr {B}_{n}(p^{+},r)\), with the center \(p^{+}\) and radius r, of the spherically symmetric n-manifold \(M^{+}=[0,l)\,\times \,_{f}\mathbb {S}^{n-1}\) with the base point \(p^{+}\) and f determined by (1.9). Equality in (1.10) holds if and only if B(p, r) is isometric to \(\mathscr {B}_{n}(p^{+},r)\). Clearly, the model spaces, i.e., spherically symmetric manifolds, are determined by the curvature bounds. These eigenvalue estimates improve the classical Cheng’s eigenvalue comparison theorems [6, 7], whose model spaces are space forms of constant curvature, a lot in the spectral geometry. Besides, Freitas, Mao and Salavessa [14, Sect. 6] have used interesting examples (i.e., torus, elliptic paraboloid, saddle) to intuitively and numerically show that their comparisons are better than those of Cheng’s. The eigenvalue comparison (1.8) has been already extended to the case of nonlinear p-Laplacian (\(1<p<\infty \))—see Mao [21, Theorem 3.2] for the detail.
It is interesting to know whether the system (1.9) has a long-time existence solution (i.e., a positive solution on \((0,\infty )\) and in this case \(l=\infty \)) or not. This has close relationship with the oscillation theory of ordinary differential equations (ODEs for short). Clearly, by Sturm–Picone comparison theorem, one can easily get that \(l=\infty \) if \(k(t)\le 0\), while \(l<\infty \) if \(k(t)\ge \alpha \) for some positive constant \(\alpha >0\). Readers can check [20, Sect. 2.6, Chapt. 2] for the details about the general restrictions on k(t) to get the existence or non-existence of positive solution to (1.9) on \((0,\infty )\).
By using spherically symmetric manifolds as the model spaces also, we can get the following eigenvalue comparisons for the first non-zero Steklov eigenvalue for the system (1.1) with \(\Omega \) chosen as geodesic balls.
Theorem 1.5
For a given n-dimensional (\(n=2,3\)) complete Riemannian manifold (M, g) having a radial sectional curvature upper bound k(t) w.r.t. p, where, as before, \(t:=d(p,\cdot )\) represents the distance to the point \(p\in M\), and k(t) is a continuous function w.r.t. t, we have
where \(r<\mathrm {inj}(p)\), and \(\mathscr {B}_{n}(p^{+},r)\) is the geodesic ball, with the center \(p^{+}\) and radius r, of the spherically symmetric n-manifold \(M^{+}=[0,l)\,\times \,_{f}\mathbb {S}^{n-1}\) with the base point \(p^{+}\) and the warping function f determined by (1.9). Equality holds if and only if B(p, r) is isometric to \(\mathscr {B}_{n}(p^{+},r)\).
For the higher dimensional case, we have the following.
Theorem 1.6
Assume that same notations have the same meaning as in Theorem 1.5. For a given n-dimensional (\(n\ge 2\)) complete Riemannian manifold (M, g) having a radial sectional curvature upper bound k(t) w.r.t. p, if the first non-zero closed eigenvalues of the Laplacian on the boundary satisfy
with \(r<\mathrm {inj}(p)\), then we have
Equality holds if and only if B(p, r) is isometric to \(\mathscr {B}_{n}(p^{+},r)\).
Remark 1.7
-
(1)
For the purpose of letting readers understand the assumption (1.11) clearly, here we would like to give a brief introduction to the closed eigenvalue problem of the Laplacian. For an open, bounded, connected domain \(D\subset M\), without boundary, on a given Riemannian n-manifold M, the so-called closed eigenvalue problem of the Laplacian on D is actually to find a nontrivial solution to \(\Delta u+\lambda ^{c}u=0\) in D, \(u\in W^{1,2}(D)\). It is well-known that \(-\Delta \) only has discrete spectrum and all the elements in the spectrum (i.e., eigenvalues) can be listed non-decreasingly into a sequence tending to infinity, i.e., \(0=\lambda _{0}^{c}(D)<\lambda _{1}^{c}(D)\le \lambda _{2}^{c}(D)\le \lambda _{3}^{c}(D)\le \cdots \uparrow \infty \). For each eigenvalue \(\lambda ^{c}\), the corresponding u to the equation \(\Delta u+\lambda ^{c}u=0\) is called the eigenfunction of \(\lambda ^{c}\). Clearly, the eigenfunction of \(\lambda _{0}^{c}(D)=0\) is a constant function over D. Besides, by the variational principle, one knows that the first non-zero closed eigenvalue \(\lambda _{1}^{c}(D)\) can be characterized as follows
$$\begin{aligned} \lambda _{1}^{c}(D)=\inf \left\{ \frac{\int _{D}|\nabla u|^{2}}{\int _{D}u^{2}}\Big |u\in W^{1,2}(D),u\ne 0,\int _{D}u=0\right\} . \end{aligned}$$ -
(2)
The assumption (1.11) is always true for lower dimensions \(n=2,3\) (see the 18th–19th pages of this article for details), so Theorem 1.5 looks much more natural and better than Theorem 1.6.
-
(3)
As pointed out by Escobar [13, page 145], the restraint on the injectivity radius is necessary. In fact, Escobar constructed a geodesic ball B(p, r), with \(r>\mathrm {inj}(p)\), in a flat two-dimensional torus such that \(v_{1}(B(p,r))>\frac{1}{r}\), which is strictly bigger than the first non-zero Steklov eigenvalue \(\frac{1}{r}\) of the Euclidean 2-ball with radius r.
-
(4)
Escobar [12, pages 109–111] used non-simply-connected annuli as the example to explain the fundamental difference between the Dirichlet eigenvalue problem and the Steklov eigenvalue problem of the Laplacian, which implies that the research experience on the Dirichlet eigenvalue problem might not be used in the study of the Steklov eigenvalue problem directly.
-
(5)
Clearly, one can get Escobar’s main conclusions [13, Theorems 1 and 2] by directly applying our Theorems 1.5 and 1.6 twice. Therefore, our conclusions here are sharper than Escobar’s and cover them as special cases. Inspired by examples constructed in [14, 20, 21], we would like to use the torus example below to let readers realize the advantage of our comparisons here intuitively.
Let \(\{x,y,z\}\) be the Cartesian coordinates of the Euclidean 3-space \(\mathbb {R}^3\). Consider the ring torus \(\mathscr {T}\) given by
$$\begin{aligned} \left\{ \begin{array}{lll} x=(1+\epsilon \cdot \cos v)\cos u,\\ y=\epsilon \cdot \sin v, \\ z=(1+\epsilon \cdot \cos v)\sin u, &{}\quad \end{array} \right. \end{aligned}$$with \(u,v\in [0,2\pi )\) and \(0<\epsilon <1\). Clearly, \(\mathscr {T}\) can be obtained by rotating the circle \((x-1)^2+y^2=\epsilon ^2\) with respect to the y-axis. Denote this circle by \(\mathscr {C}\). It is not difficult to know that the Gaussian curvature of \(\mathscr {T}\) is given by
$$\begin{aligned} K=\frac{\cos v}{\epsilon (1+\epsilon \cdot \cos v)}. \end{aligned}$$Without loss of generality, we can choose \(\epsilon =\frac{1}{2}\), and then \(K=\frac{4\cos v}{2+\cos v}\), \(\mathscr {T}\) is explicitly expressed as
$$\begin{aligned} \left( 1-\sqrt{x^2+z^2}\right) ^2+y^2=\frac{1}{4}. \end{aligned}$$As shown clearly in [20, Example 2.5.1, Sect. 2.5, Chapt. 2] (or using the method explained in [21, Example 4.4] for finding sharp lower bounds for the Gaussian curvature),Footnote 1 for the geodesic ball B(p, r) on \(\mathscr {T}\), where \(0\le r<\frac{\pi }{2}\),Footnote 2 one can get the following facts:
Case 1. If p is one of those points which are farthest from the y-axis, that is, p locates on the circle \(C_{1}\) in the xoz-plane defined by \(x^2+z^2=9/4\). Without loss of generality, we can choose p to be the point (3 / 2, 0, 0), which implies that p is also on the circle \(\mathscr {C}\). Clearly, the parameter v satisfies \(v=0\) at the point p. In this case, the best upper bound for the Gaussian curvature what we can choose is \(K_{upper}^{1}=4/3\), which implies the upper bound for \(v_{1}(B(p,r))\) given by Theorem 1.5 is the same with the one determined by Escobar’s eigenvalue comparison [13, Theorem 1].
Case 2. If p is one of those points which are nearest to the y-axis, that is, p locates on the circle \(C_{2}\) in the xoz-plane defined by \(x^2+z^2=1/4\). Without loss of generality, we can choose p to be the point (1 / 2, 0, 0), which implies \(p\in \mathscr {C}\). In this case, at p , \(v=\pi \) and the best upper bound for the Gaussian curvature what we can choose is \(K_{upper}^{2}=\frac{4\cos (\pi -2t)}{2+\cos (\pi -2t)}\), \(0\le t<\frac{\pi }{2}\), where \(t:=d(p,\cdot )\) is the Riemannian distance to p. Moreover, the model manifold is \(M^{+}_{2}:=[0,l)\,\times \,_{f_{2}(t)}\mathbb {S}^1\) with the base point \(p^{+}_{2}\), where \(f_{2}(t)\) is the solution to the system (1.9) with \(k(t)=K_{upper}^{2}\). By Theorem 1.5 and Fact 2 in Sect. 2, we have
$$\begin{aligned} v_{1}(B(p,r))\le v_{1}(\mathscr {B}_{2}(p^{+}_{2},r))=\frac{1}{f_{2}(r)}, \qquad {\mathrm {for~any}~0<r<\frac{\pi }{2}}. \end{aligned}$$(1.13)However, if one wants to use Escobar’s conclusion [13, Theorem 1], the best constant upper bound of the Gaussian curvature should be \(\widetilde{K}_{upper}^{2}=\frac{4\cos 2r}{-2+\cos 2r}:=k_{0}\) since the function \(\frac{4\cos (\pi -2t)}{2+\cos (\pi -2t)}\) is increasing on [0, r), and, in this setting, the model manifold is \(\mathbb {S}^{2}(k_{0})\) if \(k_{0}>0\), i.e., \(\frac{\pi }{4}<r<\frac{\pi }{2}\); \(\mathbb {R}^2\) if \(k_{0}=0\), i.e., \(k_{0}=\frac{\pi }{4}\); \(\mathbb {H}^{2}(k_{0})\) if \(k_{0}<0\), i.e., \(0\le r<\frac{\pi }{4}\), which is actually the 2-dimensional space form with constant curvature \(k_{0}\). Since spherically symmetric manifolds are natural generalization of space forms, which leads to the fact that Escobar’s model space here is actually the special spherically symmetric surface \(\widetilde{M}^{+}_{2}:=[0,\widetilde{l})\,\times \,_{\widetilde{f}_{2}(t)}\mathbb {S}^1\) (endowed with a one-point compactification topology if \(k_{0}>0\)), where
$$\begin{aligned} \widetilde{f}_{2}(t)=\left\{ \begin{array}{llll} \frac{\sin \sqrt{k_0}t}{\sqrt{k_0}}, &{} \quad \widetilde{l}= \frac{\pi }{\sqrt{k_0}}, &{} \quad k_0>0\\ t, &{}\quad \widetilde{l}=+\infty , &{} \quad k_0=0 \\ \frac{\sinh \sqrt{-k_0}t}{\sqrt{-k_0}}, &{} \quad \widetilde{l}=+\infty , &{}\quad k_0<0 \end{array} \right. \end{aligned}$$is a solution to the system (1.9) with \(k(t)=k_0=\widetilde{K}_{upper}^{2}\). Hence, by using Escobar’s conclusion [13, Theorem 1] and Fact 2, one has
$$\begin{aligned} v_{1}(B(p,r))\le \frac{1}{\widetilde{f}_{2}(r)},\qquad {\text {for any}~0<r<\frac{\pi }{2}}. \end{aligned}$$(1.14)Since \(f_{2}(t)\), \(\widetilde{f}_{2}(t)\) satisfy the system (1.9) with different curvature upper bounds \(K_{upper}^{2}\) and \(\widetilde{K}_{upper}^{2}\), by using the fact
$$\begin{aligned} K_{upper}^{2}<\widetilde{K}_{upper}^{2}=k_{0}, \qquad 0<t<r<\frac{\pi }{2} \end{aligned}$$and the Sturm–Picone comparison theorem, we have \(f_{2}(r)>\widetilde{f}_{2}(r)\) for any \(0<r<\frac{\pi }{2}\), i.e.,
$$\begin{aligned} \frac{1}{f_{2}(r)}<\frac{1}{\widetilde{f}_{2}(r)},\qquad {\text {for any}~0<r<\frac{\pi }{2}}, \end{aligned}$$which implies, in Case 2, our upper bound for \(v_{1}(B(p,r))\) given by (1.13) is sharper than the one in (1.14) determined by Escobar’s eigenvalue comparison [13, Theorem 1].
Case 3. If p is neither a point on the circle \(C_{1}\) nor a point on the circle \(C_{2}\). Without loss of generality, we can choose p to be a point, which is different from the points (3 / 2, 0, 0) and (1 / 2, 0, 0), on the circle \(\mathscr {C}\). Assume \(v=\alpha \) at p with \(0<\alpha <\pi \) or \(\pi<\alpha <2\pi \). By the symmetry of \(\mathscr {T}\) w.r.t. the xoy-plane, without loss of the generality, we can assume \(0<\alpha <\pi \). In this case, the best upper bound for the Gaussian curvature what we can choose is
$$\begin{aligned} K_{upper}^{3}=\left\{ \begin{array}{lll} \frac{4\cos (\alpha -2t)}{2+\cos (\alpha -2t)}, \qquad 0\le {t}\le \frac{\alpha }{2},\\ \\ \frac{4}{3}, \qquad \qquad \quad \quad \frac{\alpha }{2}<t<\frac{\pi }{2}. \end{array} \right. \end{aligned}$$If one wants to use Escobar’s conclusion [13, Theorem 1], the best constant upper bound of the Gaussian curvature should be
$$\begin{aligned} \widetilde{K}_{upper}^{3}=\left\{ \begin{array}{lll} \frac{4\cos (\alpha -2r)}{2+\cos (\alpha -2r)}, \qquad 0\le {t}<r\le \frac{\alpha }{2},\\ \\ \frac{4}{3}, \qquad \qquad \quad \quad \frac{\alpha }{2}<t<r<\frac{\pi }{2}. \end{array} \right. \end{aligned}$$Clearly, \(K_{upper}^{3}<\widetilde{K}_{upper}^{3}\) for \(0\le {t}<r\le \frac{\alpha }{2}\), and \(K_{upper}^{3}=\widetilde{K}_{upper}^{3}\) for \(\frac{\alpha }{2}<t<r<\frac{\pi }{2}\). Using a similar argument to Case 2, we know that for \(0\le r<\frac{\pi }{2}\), the upper bound for \(v_{1}(B(p,r))\) given by Theorem 1.5 is sharper than the one determined by Escobar’s eigenvalue comparison [13, Theorem 1].
-
(6)
By [16, Lemma 2.1], we know that for a given complete surface \(\Sigma \), which can be parameterized, and a geodesic ball B(p, r), with \(r<\mathrm {inj}(p)\), on \(\Sigma \), the optimal upper bound for the Gaussian curvature is actually the maximal values of the Gaussian curvature on geodesic circles C(p, t) with center p and radii \(0<t<r\), and this optimal upper bound can be computed numerically. This fact tells us that one can use any parameterized complete surface, not only the ring torus example mentioned above, to show the advantage of Theorem 1.5 here.
Now, we would like to introduce our estimates for the first non-zero eigenvalue of the Wentzell eigenvalue problem of the weighted Laplacian, which can be seen as a natural generalization of the classical Steklov eigenvalue problem. However, before that, we need to briefly mention several notions introduced by Bakry and Émery [1].
Let \((N,\langle \cdot ,\cdot \rangle )\) be an \((n+1)\)-dimensional compact oriented Riemannian manifold with smooth boundary \(\partial N\). The triple \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) is called a metric measure space (MMS for short), where \(\phi \in C^{\infty }(N)\) is a smooth function defined on N, and dv is the volume element. As introduced by Bakry–Émery [1], the weighted Laplacian (or the drifting Laplacian) and the K-dimensional Bakry–Émery Ricci curvature can be defined as follows
and
where, with the abuse of notations, \(\Delta \) and \(\nabla \) denote the Laplace and the gradient operators on N respectively, and \(\mathrm {Hess}\) is the Hessian operator on N associated to the metric \(\langle \cdot ,\cdot \rangle \). Here \(K>n+1\) or \(K=n+1\) if \(\phi \) is a constant function. When \(K=\infty \), one can defined the so-called \(\infty \)-dimensional Bakry–Émery Ricci curvature (simply, Bakry–Émery Ricci curvature or weighted Ricci curvature) as follows
By abuse of the notation, denote also by \(\vec {\eta }\) the outward unit normal vector field along the boundary \(\partial N\). Let \(i:\partial N\hookrightarrow N\) be the standard inclusion. For \(X,Y\in \mathscr {H}(\partial N)\), i.e., the set of tangent vector fields on \(\partial N\), the second fundament form II associated to \(\vec {\eta }\) is given by \(\langle \vec {\eta },\nabla _{X}Y\rangle =II(X,Y)\), and the mean curvature \(H=\frac{1}{n}\mathrm {tr}{II}\) of \(\partial N\) is actually the average of the trace of the second fundamental form. Naturally, one can define the so-called weighted mean curvature of the inclusion i as \(H_{\phi }=H-\frac{1}{n}\langle \vec {\eta },\nabla \phi \rangle \) on the MMS \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) - see, e.g., [15] for this notion.
On the compact MMS \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) mentioned above, consider the following eigenvalue problem with the Wentzell-type boundary condition
where \(\bar{\Delta }_{\phi }\) is the weighted Laplacian on the boundary \(\partial N\). In fact, (1.15) is called the Wentzell eigenvalue problem of the weighted Laplacian. When \(\phi =const. \), i.e., the non-zero constant function, \(\Delta _{\phi }\) and \(\bar{\Delta }_{\phi }\) degenerate into usual Laplacians \(\Delta \) on N and \(\bar{\Delta }\) on the boundary \(\partial N\) respectively, and (1.15) becomes
which, for \(\beta \ge 0\), has discrete spectrum and all the eigenvalues in the spectrum can be listed increasingly as follows
Recently, some interesting estimates for eigenvalues \(\tau _{i}\) of the eigenvalue problem (1.16) have been obtained—see, e.g., [8,9,10, 27]. Especially, when \(\beta =0\), (1.16) degenerates into the Steklov eigenvalue problem (1.1).
It is not difficult to find out that the weighted version (1.15) with \(\beta \ge 0\) also has discrete spectrum and all the eigenvalues in the spectrum can be listed increasingly as follows
Besides, by the variational principle, it is easy to know that the first non-zero eigenvalue \(\tau _{1,\phi }\) of the eigenvalue problem (1.15) can be characterized as follows
where \(\bar{\nabla }\) is the gradient operator on \(\partial N\). Here, we would like to point out one thing that all integrals in (1.17) should have weighted volume elements, and for convenience, we have dropped them. For \(\tau _{1,\phi }\), we can obtain its lower and sharp upper bounds under suitable assumptions on the K-dimensional Bakry–Émery Ricci curvature \(\mathrm {Ric}^{K}_{\phi }\), the weighted mean curvature \(H_{\phi }\), and the second fundamental form II of the boundary \(\partial N\)—see Theorems 4.1 and 4.2 for details.
The paper is organized as follows. Some preliminary facts will be mentioned in Sect. 2. Proofs for Theorems 1.5 and 1.6 will be shown carefully in Sect. 3. In Sect. 4, estimates for the first non-zero eigenvalue of the Wentzell eigenvalue problem of the weighted Laplacian will be investigated. An open problem will be issued in the last section.
2 Some useful facts
In this section, some facts will be mentioned in the purpose of proving the main conclusions of this paper. However, before that, let us recall several useful facts about spherically symmetric manifolds.
By making the radial sectional curvature upper bound assumption, Mao [20, Theorem 2.3.2] (see also [14, Theorem 4.2]) has proven the following Bishop-type volume comparison theorem.
Theorem 2.1
([14, 20], generalized Bishop’s volume comparison theorem II) Assume that M has a radial sectional curvature upper bound \(k(t)=-\frac{f''(t)}{f(t)}\) w.r.t. \(p\in {M}\) for \(t<\alpha \le \min \{inj_{c}(p),l\}\), where \(inj_{c}(p)=\inf _{\xi }c_{\xi }\), with \(\gamma _{\xi }(c_{\xi })\) a first conjugate point along the geodesic \(\gamma _{\xi }(t)=\exp _{p}(t\xi )\). Then on \((0,\alpha )\),
and equality occurs in the first inequality at \(t_{0}\in (0,\alpha )\) if and only if
on all of \([0,t_{0}]\).
There are another three important facts for our model spaces, which will be used later, we would like to list here.
Fact 1: ([14, page 706], [21, page 379]) By proposition 42 and corollary 43 of chapter 7 in [23] or subsect. 3.2.3 of chapter 3 in [24], we know that the radial sectional curvature, and the component of the radial Ricci tensor of the spherically symmetric manifold \(M^{*}=[0,l)\,\times \,_{f(t)}\mathbb {S}^{n-1}\) with the base point p are given by
$$\begin{aligned} \begin{array}{ll} \mathscr {K}\left( V,\frac{d}{dt}\right) =R\left( \frac{d}{d t},V,\frac{d}{d t}, V\right) =-\frac{f''(t)}{f(t)}&{} \text{ for }~~ V\in T_{\xi }\mathbb {S}^{n-1}, ~|V|_{g}=1,\\ {\mathrm{Ric}}\left( \frac{d}{d t},\frac{d}{d t}\right) =-(n-1)\frac{f''(t)}{f(t)}. \end{array} \end{aligned}$$(2.2)Thus, Definition 1.1 (resp., Definition 1.2) is satisfied with equality in (1.5) [resp., (1.6)] and \(k(t)=-f''(t)/f(t)\).
Fact 2: ([13, Lemma 3]) Let \(B_{r}\) be a ball in \(\mathbb {R}^n\) endowed with a rotationally invariant metric
$$\begin{aligned} dt^{2}+f^{2}(t)|d\xi |^{2}, \end{aligned}$$where, as before, \(|d\xi |^{2}\) represents the round metric on the unit sphere \(\mathbb {S}^{n-1}\subseteq \mathbb {R}^{n}\). The first nonconstant eigenfunction for the Steklov problem on \(B_{r}\) has the form
$$\begin{aligned} \varphi (t,\xi )=\psi (t)e(\xi ) \end{aligned}$$where \(e(\xi )\) satisfies the equation \(\Delta e+(n-1)e=0\) on \(\mathbb {S}^{n-1}\) and the function \(\psi \) satisfies the differential equation
$$\begin{aligned} \begin{array}{ll} \frac{1}{f^{n-1}(t)}\frac{d}{dt}\left( f^{n-1}(t)\frac{d}{dt}\psi (t)\right) -\frac{(n-1)\psi (t)}{f^{2}(t)}=0 &{} \text{ in }~~(0,r),\\ \psi '(r)=v_{1}(B_{r})\psi (r),~~~\psi (0)=0. \end{array} \end{aligned}$$Fact 3: ([13, Proposition 4]) Let \(B_{r}\) be a two-dimensional ball in \(\mathbb {R}^2\) endowed with a rotationally invariant metric
$$\begin{aligned} dt^{2}+f^{2}(t)|d\xi |^{2}. \end{aligned}$$Then the first nonzero Steklov eigenvalue is \(f^{-1}(r)\).
In order to get sharp bounds for the first non-zero eigenvalue \(\tau _{1,\phi }\) of the eigenvalue problem (1.15) on the compact MMS \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) with boundary \(\partial N\), we need the following facts which have been proven in [2, 3].
Lemma 2.2
([3, Proposition 2.2]) Assume that u is a smooth function on \(N^{n+1}\), and other same notations have the same meaning as those at the end of Subsect. 1.2. Then we have
for every \(K>n+1\) or \(K=n+1\) and \(\phi \) is constant. Moreover, equality holds if and only if \(\mathrm {Hess} u=\frac{\Delta u}{n+1}\langle \cdot ,\cdot \rangle \) and \(\langle \nabla u,\nabla \phi \rangle =-\frac{K-n-1}{K}\Delta _{\phi }u\).
By directly applying Lemma 2.2 and the generalized Reilly formula shown in [19], one can obtain the following fact.
Lemma 2.3
Assume that u is a smooth function on \(N^{n+1}\), \(h=\frac{\partial u}{\partial \vec {\eta }}\), \(z=u|_{\partial N}\), \(\bar{\nabla }\) is the gradient operator on \(\partial N\), and other same notations have the same meaning as those at the end of Subsect. 1.2. Then we have
for every \(K>n+1\) or \(K=n+1\) and \(\phi \) is constant. Moreover, equality holds if and only if \(\mathrm {Hess} u=\frac{\Delta u}{n+1}\langle \cdot ,\cdot \rangle \) and \(\langle \nabla u,\nabla \phi \rangle =-\frac{K-n-1}{K}\Delta _{\phi }u\).
Remark 2.4
The first conclusion of Lemma 2.3 is actually (2.5) in [2].
Batista and Santos have proved the following conclusion, which is a slight modification to [17, Theorem 1.6].
Lemma 2.5
([2, Proposition 2.2]) Let \(N^{n+1}\) be a compact weighted Riemannian manifold with nonempty boundary \(\partial N\) and \(\mathrm {Ric}^{K}_{\phi }\ge 0\). If the second fundamental form of \(\partial N\) satisfies \(II\ge c\mathrm {I}_{n\times n},\) in the quadratic form sense, and \(H_{\phi }\ge \frac{K-1}{n}c,\) then
where \(\lambda _{1}^{c}\) is the first non-zero closed eigenvalue of the drifting Laplacian acting on functions on \(\partial N\). The equality holds if and only if \(N^{n+1}\) is isometric to a Euclidean ball of radius \(\frac{1}{c}\), \(\phi \) is constant and \(K=n+1\).
3 Proofs of the Steklov eigenvalue comparisons
In this section, with the help of results mentioned in Sect. 2, by using a similar method to that shown by Escobar [13], we can give the proofs of Theorems 1.5 and 1.6 as follows.
Proof of Theorem 1.6
Let \(\psi (t)e(\xi )\) be the eigenfunction for the first non-zero eigenvalue \(v_{1}(\mathscr {B}_{n}(p^{+},r))\) on \(\mathscr {B}_{n}(p^{+},r)\) given as Fact 2. By Fact 2 also, we have
which implies that \(\psi \) is positive (resp., negative) in (0, r) if \(\psi '(t)\) is positive (resp., negative) in a neighborhood of zero. So, the function \(\psi \) determined in Fact 2 does not change sign in (0, r). Without loss of generality, we can assume \(\psi \ge 0\). Correspondingly, \(\psi '(t)>0\).
Consider the test function \(\varphi (t,\xi )=a_{+}(t)e_{1}(\xi )\), where \(e_{1}(\xi )\) is an eigenfunction of the first non-zero closed eigenvalue \(\lambda _{1}^{c}(\partial B(p,r))\) of the Laplacian on the boundary \(\partial B(p,r)\), and
with \(h(t):=\max \left\{ d^{*}(t),\frac{f^{2}(t)}{n-1}d^{\sharp }(t)\right\} \) and
Clearly, h(t) is Lipschitz continuous and hence differentiable almost everywhere. Besides, by Rayleigh’s theorem and Max–min principle, we have
and
By Theorem 2.1, we have
in (0, r), which implies
in (0, r).
Now, we claim that
in (0, r). This is because if \(h(t)=d^{*}(t)\) in a neighborhood of some point in (0, r), then together with (3.3), we have
If \(h(t)=\frac{f^{2}(t)}{n-1}d^{\sharp }(t)\) in a neighborhood of some point in (0, r), then together with (3.3), we have
which implies \(\left[ \frac{f^{n-1}(t)}{h(t)}\right] '\le 0\). Therefore, our claim (3.4) is true. So, the function
is negative for \(t<r\), except when \(J(t,\xi )=f(t)\). Together with the definitions of a(t) and \(a_{+}(t)\), it follows that
on (0, r). Using the above inequality, definitions of h(t) and \(d^{\sharp }(t)\), one can get
where, as before, \(d\sigma \) denotes the \((n-1)\)-dimensional volume element on \(\mathbb {S}^{n-1}\). Therefore, we have
On the other hand, by direct calculation, we have
Equality (3.1) is equivalent to
Together with the assumption (1.11), we have
which means \(\frac{f^{2}(r)}{n-1}d^{\sharp }(r)\le d^{*}(r)\). So, one has \(h(r)=d^{*}(r)\), and then (3.6) becomes
Combining (3.5) and (3.7) yields
Since by (3.2), the equality
holds, and then by applying Fact 2, the characterization (1.2) and (3.8), we can obtain
which is exactly (1.12). It is easy to find that the equality in the above inequality holds if and only if \(f(t)=J(t,\xi )\), which, by Theorem 2.1, Definition 1.4 and Fact 1, is equivalent to say that B(p, r) is isometric to \(\mathscr {B}_{n}(p^{+},r)\). This completes the proof. \(\square \)
Now, in order to prove Theorem 1.5, we only need to confirm that the precondition (1.11) holds naturally for the case of two and three dimensions.
Proof of Theorem 1.5
We divide the proof into two cases as follows:
Case 1. If \(n=2\), i.e., M is a 2-dimensional Riemannian surface, then \(\partial B(p,r)\) is connected and diffeomorphic to \(\mathbb {S}^{1}\) because \(r<\mathrm {inj}(p)\). Therefore, by Weinstock’s Theorem [26], we have
$$\begin{aligned} v_{1}(B(p,r))\le \frac{2\pi }{L}=\frac{2\pi }{\int _{0}^{2\pi }J(t,\xi )d\sigma }. \end{aligned}$$(3.9)
Here L represents the perimeter of the closed curve \(\partial B(p,r)\), which is diffeomorphic to \(\mathbb {S}^{1}\). Applying Theorem 2.1, from which one has \(J(t,\xi )\ge f(t)\) on (0, r), and Fact 3 to (3.9), we can get
Obviously, equality in the above inequality holds if and only if \(f(t)=J(t,\xi )\), which, by Theorem 2.1, Definition 1.4 and Fact 1, is equivalent to say that B(p, r) is isometric to \(\mathscr {B}_{n}(p^{+},r)\).
Case 2. If \(n=3\), i.e., M is a Riemannian 3-manifold, then \(\partial B(p,r)\) is connected and diffeomorphic to \(\mathbb {S}^{2}\) because \(r<\mathrm {inj}(p)\). Let e be any eigenfunction of the first non-zero closed eigenvalue \(n-1=2\) of the Laplacian on \(\mathbb {S}^{2}\). Therefore, \(e=\langle \zeta ,x\rangle \), where \(\zeta \in \mathbb {S}^{2}\), and x represents Euclidean coordinates. By direct calculation, we have
$$\begin{aligned} \frac{\int _{\partial B(p,r)}|\nabla e|^2}{\int _{\partial B(p,r)}e^2}= & {} \frac{\int _{\mathbb {S}^{n-1}}|\nabla e|^{2}_{\mathbb {S}^{n-1}}J^{n-3}(r,\xi )d\sigma }{\int _{\mathbb {S}^{n-1}}e^{2}J^{n-1}(r,\xi )d\sigma } \nonumber \\= & {} \frac{\int _{\mathbb {S}^{2}}|\nabla e|^{2}_{\mathbb {S}^{2}}d\sigma }{\int _{\mathbb {S}^{2}}e^{2}J^{2}(r,\xi )d\sigma }\nonumber \\\le & {} \frac{1}{f^{2}(r)}\frac{\int _{\mathbb {S}^{2}}|\nabla e|^{2}_{\mathbb {S}^{2}}d\sigma }{\int _{\mathbb {S}^{2}}e^{2}d\sigma }\nonumber \\= & {} \frac{2}{f^{2}(r)}=\lambda _{1}^{c}(\partial \mathscr {B}_{n}(p^{+},r)), \end{aligned}$$(3.10)
where the last inequality holds because \(J(t,\xi )\ge f(t)\) on (0, r). On the other hand, define \(F:\mathbb {S}^{2}\rightarrow \mathbb {R}^2\) by \(F(e_{\zeta })=\int _{\partial B(p,r)}e_{\zeta }=\int _{\mathbb {S}^2}e_{\zeta }J^{2}(r,\xi )d\sigma \), and then we know that there must exist some \(e\in \mathbb {S}^2\) such that \(F(e)=0\), i.e.,
This is because the function F is continuous and \(F(e_{\zeta })=-F(-e_{\zeta })\) by choosing antipodal points. By (3.11), Rayleigh’s theorem and Max–min principle, one has
Combining (3.10) and (3.12) results in
and then by applying Theorem 1.6 directly, we have \(v_{1}(B(p,r))\le v_{1}(\mathscr {B}_{n}(p^{+},r))\). Clearly, the rigidity conclusion for the equality \(v_{1}(B(p,r))= v_{1}(\mathscr {B}_{n}(p^{+},r))\) here can be attained by using almost the same argument as the 2-dimensional case.
This completes the proof. \(\square \)
Remark 3.1
It is easy to check that the method used in Case 2 here is also valid for Case 1.
4 Some eigenvalue estimates
Estimates for the first non-zero eigenvalue \(\tau _{1,\phi }\) of the eigenvalue problem (1.15) with \(\beta \ge 0\) will be given in this section. In fact, we can obtain the followings.
Theorem 4.1
Assume that \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) is an \((n+1)\)-dimensional compact connected MMS with smooth boundary \(\partial N\). If \(\mathrm {Ric}_{\phi }^{K}\ge 0\) and \(H_{\phi }\ge \frac{(K-1)c}{n}\), \(II\ge c\cdot \mathrm {I}_{n\times n}\) for some positive constant \(c>0\), with II the second fundamental form of \(\partial N\), then, for the eigenvalue problem (1.15) with \(\beta \ge 0\), we have
where, similar as before, \(\mathrm {I}_{n\times n}\) represents the \(n\,\times \, n\) identity matrix, and \(\lambda _{1}^{c}\) is the first non-zero closed eigenvalue of the drifting Laplacian on the boundary \(\partial N\). Equality in (4.1) holds if and only if N is isometric to an \((n+1)\)-dimensional Euclidean ball of radius \(\frac{1}{c}\), \(\phi \) is the non-zero constant function, and \(K=n+1\).
Proof
Let u be the solution to the following problem
where z is the eigenfunction of the first non-zero closed eigenvalue \(\lambda _{1}^{c}\) of the drifting Laplacian \(\bar{\Delta }_{\phi }\) on \(\partial N\). That is, \(\bar{\Delta }_{\phi }z+\lambda _{1}^{c}z=0\) on \(\partial N\), \(\int _{\partial N}z=0\). Set \(h=\frac{\partial u}{\partial \vec {\eta }}\). By (1.17) and the fact that \(\int _{\partial N}z=\int _{\partial N}u=0\), we have
where the first equality holds by the usage of the divergence theorem. By Lemmas 2.2 and 2.3, together with assumptions \(\mathrm {Ric}_{\phi }^{K}\ge 0\), \(H_{\phi }\ge \frac{(K-1)c}{n}\), \(II\ge c\cdot \mathrm {I}_{n\times n}\) for some positive constant \(c>0\), we have
and then, by applying Hölder’s inequality to the above inequality, it follows that
which is equivalent with
Combining (4.2) and (4.3) yields
which is exactly (4.1). If equality holds in (4.1), then all inequalities become equalities, and through the above argument, one has \(\mathrm {Hess}u=0\) and
Therefore, taking a local orthonormal fields \(\{e_{i}\}^n_{i=1}\) tangent to \(\partial N\), similar to the calculation in [2, page 9], we can obtain
which implies \(\lambda _{1}^{c}=(K-1)c^2\). Then, under the assumptions for \(\mathrm {Ric}^{K}_{\phi }\), II and \(H_{\phi }\), by Lemma 2.5, we know that N is isometric to an \((n+1)\)-dimensional Euclidean ball of radius \(\frac{1}{c}\), \(\phi \) is a non-zero constant function and \(K=n+1\). This completes the proof. \(\square \)
A lower bound for \(\tau _{1,\phi }\) can also be obtained as follows.
Theorem 4.2
Assume that \((N,\langle \cdot ,\cdot \rangle ,e^{-\phi }dv)\) is an \((n+1)\)-dimensional compact connected MMS with smooth boundary \(\partial N\). If \(\mathrm {Ric}_{\phi }^{K}\ge 0\), \(H_{\phi }\ge \frac{(K-1)c}{n}\), \(II\ge c\cdot \mathrm {I}_{n\times n}\) for some positive constant \(c>0\), then, for the eigenvalue problem (1.15) with \(\beta \ge 0\), we have
Proof
We use a similar proof to that of [27, Theorem 1.3]. In order to state precisely, we divide the proof into two cases as follows:
Case 1. Assume that \(\beta =0\). Let u be an eigenfunction of the first non-zero eigenvalue \(\tau _{1,\phi }\) of the eigenvalue problem (1.15) with \(\beta =0\). Set \(h=\frac{\partial u}{\partial \vec {\eta }}|_{\partial N}\), \(z=u|_{\partial N}\). By Lemmas 2.2 and 2.3, together with the assumptions \(\mathrm {Ric}_{\phi }^{K}\ge 0\), \(H_{\phi }\ge \frac{(K-1)c}{n}\), \(II\ge c\cdot \mathrm {I}_{n\times n}\) for some positive constant \(c>0\), we have
$$\begin{aligned} 0\ge & {} \int _{\partial N}\frac{K-1}{K}\left[ (\Delta _{\phi }u)^{2}-\mathrm {Ric}^{K}_{\phi }(\nabla u,\nabla u)\right] \\\ge & {} \int _{\partial N}\left[ nH_{\phi }h^2+2h\bar{\Delta }_{\phi }z+II(\bar{\nabla }z,\bar{\nabla }z)\right] \\> & {} \int _{\partial N}\left[ -2\langle \bar{\nabla } z,\bar{\nabla } h\rangle +c\langle \bar{\nabla }z,\bar{\nabla }z\rangle \right] \\= & {} \int _{\partial N}\left[ -2\tau _{1,\phi }\langle \bar{\nabla }z,\bar{\nabla }z\rangle +c\langle \bar{\nabla }z,\bar{\nabla }z\rangle \right] , \end{aligned}$$which implies
$$\begin{aligned} \tau _{1,\phi }>\frac{c}{2}. \end{aligned}$$(4.5)Case 2. Assume that \(\beta >0\). Let u be an eigenfunction of the first non-zero eigenvalue \(\tau _{1,\phi }\) of the eigenvalue problem (1.15) with \(\beta >0\). Set \(\gamma =\frac{1}{\beta }\), \(\tau =\frac{\tau _{1,\phi }}{\beta }\), \(h=\frac{\partial u}{\partial \vec {\eta }}|_{\partial N}\), \(z=u|_{\partial N}\). By (1.15), one has
$$\begin{aligned} \Delta _{\phi }u=0, \qquad \bar{\Delta }_{\phi }z=\gamma h-\tau z. \end{aligned}$$(4.6)
By Lemmas 2.2 and 2.3, together with the assumption \(\mathrm {Ric}_{\phi }^{K}\ge 0\), we have
which, together with assumptions \(H_{\phi }\ge \frac{(K-1)c}{n}\), \(II\ge c\cdot \mathrm {I}_{n\times n}\) for some positive constant \(c>0\), implies
Therefore, from the above inequality, one has
which implies
Solving the above inequality yields
or
Now, we show that (4.10) cannot happen. In fact, multiplying the second equation of (4.6) by z and integrating over \(\partial N\), one can obtain
where the fact \(\Delta _{\phi }u=0\) in N has been used. Since \(\int _{\partial N}z=0\), \(z\ne 0\), by Lemma 2.5, it follows that
Combining (4.11) and (4.12), together with the fact \(\int _{N}|\nabla u|^{2}>\frac{c}{2}\int _{\partial N}z^{2}\), yields
which implies that (4.10) cannot hold. In order to get the estimate (4.4), one only needs to exclude the equality case in (4.9). We shall get this fact by contradiction. Suppose that
From the above argument, we know that if (4.13) holds, then all inequalities in (4.7) and (4.8) should take equality sign. Therefore, it follows that
\(II=c\mathrm {I}_{n\times n}\), i.e., all principal curvatures of \(\partial N\) equal c, and, by Lemma 2.3 and the first equation of (4.6),
Using the restriction of (4.15) on the boundary, i.e., \(\mathrm {Hess}z=0\) on \(\partial N\), and \(II=c\mathrm {I}_{n\times n}\), one can get
Combining (4.14) and (4.16) yields
which, together with (4.13), implies \(\gamma =0\). This is a contradiction. Hence, we have
which implies (4.4). Besides, when \(\beta =0\), (4.5) is equivalent with (4.4). Summing up Cases 1 and 2, our estimate (4.4) can be achieved for the eigenvalue problem (1.15) with \(\beta \ge 0\). \(\square \)
Remark 4.3
When \(\beta =0\), our estimate (4.1) is exactly the main estimate (1.6) in [2], which means Theorem 4.1 here covers [2, Theorem 1.1] as a special case. When \(\beta =0\) and \(\phi =const. \) is a non-zero constant function, the Wentzell eigenvalue problem (1.15) of the weighted Laplacian degenerates into the classical Steklov eigenvalue problem (1.1), and naturally \(\tau _{1,\phi }=v_{1}\), i.e., the first non-zero Steklov eigenvalue. In this setting, by Theorem 4.2, one has \(v_{1}>\frac{c}{2}\), which is exactly Escobar’s estimate in [11, Theorem 8]. That is to say, Theorem 4.2 here covers Escobar’s conclusion [11, Theorem 8] as a special case.
Notes
In the 2-dimensional case, the radial Ricci curvature and the radial sectional curvature degenerate into the Gaussian curvature. Hence, here if one wants to use our conclusion Theorem 1.5 for a given parameterized surface, the only thing needed is finding upper bounds for the Gaussian curvature—see Remark 1.3 for the principle of getting optimal bounds. By Theorem 1.5, we know that the more sharper upper bounds found, the more shaper upper bounds can be given for \(v_{1}(B(p,r))\).
References
Bakry, D., Émery, M.: Diffusion hypercontractives. Sém. Prob. XIX. Lect. Notes Math. 1123, 177–206 (1985)
Batista, M., Santos, J.I.: The first Stekloff eigenvalue in weighted Riemannian manifolds. available online at arXiv:1504.02630v1
Batista, M., Cavalcante, M.P., Pyo, J.: Some isoperimetric inequalities and eigenvalue estimates in weighted manifolds. J. Math. Anal. Appl. 419, 617–626 (2014)
Betta, M.F., Brock, F., Mercaldo, A., Posterar, M.R.: A weighted isoperimetric inequality and applications to symmetrization. J. Inequal. Appl. 4, 215–240 (1999)
Calderón, A.P.: On an inverse boundary value problem. In: Seminar in Numerical Analysis and Its Applications to Continuum Physics, pp. 65–73. Soc. Brasileira de Matemática, Rio de Janeiro (1980)
Cheng, S.Y.: Eigenvalue comparison theorems and its geometric application. Math. Z. 143, 289–297 (1975)
Cheng, S.Y.: Eigenfunctions and eigenvalues of the Laplacian. Am. Math. Soc. Proc. Symp. Pure Math. 27, 289–297 (1975)
Dambrine, M., Kateb, D., Lamboley, J.: An extremal eigenvalue problem for the Wentzell–Laplace operator. Ann. I. H. Poincaré Non Linear Anal. 33(2), 409–450 (2014)
Du, F., Mao, J., Wang, Q.L., Xia, C.Y.: Isoperimetric bounds for eigenvalues of the Wentzell–Laplace, the Laplacian and a biharmonic Steklov problem. submitted and available online at arXiv:1808.10578
Du, F., Wang, Q.L., Xia, C.Y.: Estimates for eigenvalues of the Wentzell–Laplace operator. J. Geom. Phys. 129, 25–33 (2018)
Escobar, J.F.: The geometry of the first non-zero Stekloff eigenvalue. J. Funct. Anal. 150, 544–556 (1997)
Escobar, J.F.: An isoperimetric inequality and the first Steklov eigenvalue. J. Funct. Anal. 165, 101–116 (1999)
Escobar, J.F.: A comparison theorem for the first non-zero Steklov eigenvalue. J. Funct. Anal. 178, 143–155 (2000)
Freitas, P., Mao, J., Salavessa, I.: Spherical symmetrization and the first eigenvalue of geodesic disks on manifolds. Calc. Var. Partial Differ. Equ. 51, 701–724 (2014)
Gromov, M.: Isopermetric of waists and concentration of maps. Geom. Funct. Anal. 13(1), 178–215 (2003)
Hou, L.B., Mao, J.: The principle of numerical calculations for the eigenvalue comparison on parameterized surfaces. J. Math. Res. Appl. 38, 58–62 (2018)
Huang, Q., Ruan, Q.H.: Application of some elliptic equations in Riemannian manifolds. J. Math. Anal. Appl. 409, 189–196 (2014)
Katz, N.N., Kondo, K.: Generalized space forms. Trans. Am. Math. Soc. 354, 2279–2284 (2002)
Ma, L., Du, S.H.: Extension of Reilly formula with applications to eigenvalue estimates for drifting Laplacians. C. R. Math. Acad. Sci. Paris 348, 1203–1206 (2010)
Mao, J.: Eigenvalue estimation and some results on finite topological type. Ph.D. thesis, IST–UTL (2013)
Mao, J.: Eigenvalue inequalities for the p-Laplacian on a Riemannian manifold and estimates for the heat kernel. J. Math. Pures Appl. 101(3), 372–393 (2014)
Mao, J., Du, F., Wu, C.X.: Eigenvalue Problems on Manifolds. Science Press, Beijing (2017)
O’Neill, B.: Semi-Riemannian Geometry with Applications to Relativity. Pure and Applied Mathematics, vol. 103. Academic Press, San Diego (1983)
Petersen, P.: Riemannian Geometry. Graduate Texts in Mathematics, vol. 171, 2nd edn. Springer, New York (2006)
Stekloff, M.W.: Sur les problèmes fondamentaux de la physique mathématique. Ann. Sci. École Norm. Sup. 19, 455–490 (1902)
Weinstock, R.: Inequalities for a classical eigenvalue problem. J. Rational Mech. Anal. 3, 745–753 (1954)
Xia, C.Y., Wang, Q.L.: Eigenvalues of the Wentzell–Laplace operator and of the fourth order Steklov problems. J. Differ. Equ. 264(10), 6486–6506 (2018)
Acknowledgements
This research was supported in part by the National Natural Science Foundation of China (Grant Nos. 11401131 and 11801496), China Scholarship Council, the Fok Ying–Tung Education Foundation (China), the NSF of Hubei Provincial Department of Education (Grant No. D20184301), and Hubei Key Laboratory of Applied Mathematics (Hubei University). The eigenvalue comparisons here for the Steklov eigenvalue problem have been already announced by Prof. Jing Mao in a talk at School of Mathematical Sciences, Fudan University in May, 2017. The corresponding author, Prof. J. Mao, wants to thank the Department of Mathematics, IST, University of Lisbon for its hospitality during his visit from September 2018 to September 2019.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zhao, Y., Wu, C., Mao, J. et al. Eigenvalue comparisons in Steklov eigenvalue problem and some other eigenvalue estimates. Rev Mat Complut 33, 389–414 (2020). https://doi.org/10.1007/s13163-019-00322-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-019-00322-1
Keywords
- Steklov eigenvalue problem
- Laplacian
- Eigenvalues
- Spherically symmetric manifolds
- Wentzell eigenvalue problem