Abstract
We give some sharp lower bounds of the first eigenvalue for the Hodge Laplacian acting on differential forms on the boundary of a Riemannian manifold. We also give some sharp estimates for the first nonzero Steklov eigenvalue for differential forms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we obtain some sharp lower bounds for the first nonzero Hodge Laplacian eigenvalue and also Steklov eigenvalue for differential forms on a boundary \(\Sigma \) of a compact Riemannian manifold (N, g) in terms of the extrinsic curvature of \(\Sigma \) and the intrinsic curvature of N. The main tools we use are Hodge theory and a Reilly formula [15] for differential forms on a manifold with boundary. Our main results, Theorems 2.3 and 2.4, are generalizations of the results of Choi-Wang [2], Escobar [4], Xia [24], Wang-Xia [22] and Raulot-Savo [15]. For instance, in Theorem 2.3 we generalize the results of Xia [24] and Raulot-Savo [15]:
Theorem 1.1
Let \((N^n,g)\) be a compact orientable Riemannian manifold with boundary \(\Sigma \). Suppose the Bochner curvature \(W^r\) or \(W^{n-r}\) on N is bounded from below by \(k\ge 0\). Assume that the lowest q-curvature \(s_q\) of \(\Sigma \) is nonnegative, where \(q=\min \{r,n-r\}\). Then for \(1\le r\le n-1\), we have
where \(\lambda _{1,r}'\) (resp. \(\lambda _{1,r}''\)) is the first nonzero eigenvalue of the Hodge Laplacian on the exact (resp. co-exact) r-forms on \(\Sigma \). The equality can hold only when \(k=0\), with the r-curvatures and the \((n-r)\)-curvatures being positive constants. If, furthermore, (N, g) has non-negative Ricci curvature, then the equality holds if and only if (N, g) is isometric to a Euclidean ball.
The curvatures \(W^r\) and \(s_r\) will be explained in Sect. 2. When \(r=1\), \(s_1\) is the minimum eigenvalue of the second fundamental form of \(\Sigma \) and \(s_{n-1}\) is the minimum of its mean curvature, \(W^1\) is just the Ricci curvature and \(\lambda _1=\lambda _{1,0}''\) is the first nonzero eigenvalue of the Laplacian on functions on \(\Sigma \).
We will also give a sharp lower bound of \(\lambda _{1,r}'\) in terms of the first nonzero Steklov eigenvalues for differential forms, as well as some lower and upper bounds for the Steklov eigenvalues in terms of \(\lambda _{1,r}'\) (Theorem 2.4). The Steklov eigenvalue is the eigenvalue of an elliptic nonnegative self-adjoint pseudo-differential operator of order one, which will be explained in Sect. 2. Recently, there are a number of authors studying the Steklov eigenvalues problems (e.g. [5, 7–9]). It is also interesting to see that when \(n=2\), an extension of the result of Hang-Wang [11] gives an improvement of Choi-Wang’s result [2], which is a special case of Theorem 2.3. Indeed, we can prove that \(\lambda _1(\Sigma )\ge k\) and the estimate is sharp (Theorem 3.1). It may have some independent interest.
There are a number of applications of our results. For example:
Theorem 1.2
(Corollary 3.1) If \(\Sigma \) is a closed surface of genus g in \(\mathbb S^3\) with second fundamental form bounded from below by \(s_1\) and mean curvature bounded from below by \(s_{n-1}\), then
This paper is organized as follows. In Sect. 2, we prove the various estimates for the Hodge Laplacian eigenvalues and also Steklov eigenvalues for differential forms on a manifold with boundary. In Sect. 3, we give some applications of the main results and take a closer look when N is 2-dimensional.
2 Eigenvalue estimates
In this section, we will prove several lower bounds of the first nonzero eigenvalue of the Hodge Laplacian on differential forms on the boundary \(\Sigma \) of a Riemannian manifold (N, g). These results are the natural generalizations of some results in [4, 11, 13, 15, 22, 24].
Let us first set up the notations. Throughout this paper, (N, g) denotes a compact n-dimensional connected oriented Riemannian manifold (\(n\ge 2\)) smooth boundary \(\partial N=\Sigma \). We denote the Levi-Civita connection on N and \(\Sigma \) by \(\overline{\nabla }\) and \(\nabla \) respectively.
Fix \(x\in \Sigma \) and let \(k_1(x), \ldots , k_{n-1}(x)\) be the principal curvatures of \(\Sigma \) at x w.r.t. the outward unit normal \(\nu \). We define the r-curvatures (not to be confused with the r-th mean curvature) to be all the possible sums \( k_{i_1}(x)+\cdots + k_{i_r}(x)\) where \(i_1<\cdots < i_r\). We can assume \(k_1(x)\le \cdots \le k_{n-1}(x)\), then we define the lowest r-curvature to be
We also define
Note that the second fundamental form is bounded from below by \(s_1\) and \(s_{n-1}(x)=H\) is the mean curvature. It is easy to see that if \(l\le m\), then \(\frac{s_l}{l}\le \frac{s_m}{m}\) and that \(s_l\ge 0\) implies \(s_m\ge 0\).
We denote by \(\overline{d}\) and \(\overline{\delta }\) the exterior derivative and its (formal) adjoint w.r.t. the \(L^2\) inner product on (N, g) respectively. The Hodge Laplacian \(\overline{\Delta }\) of a p-form on (N, g) is defined by
for \(\alpha \in \Omega ^r (N)\). Our sign is chosen such that \(\overline{\Delta }\) is the second derivative for functions on \(N=\mathbb R\). Recall the Bochner formula (see e.g. [14] p. 218 Theorem 50):
where \(W^r\) is a self-adjoint endomorphism on \(\Omega ^r(N)\), which is determined by the Riemann curvature tensor on (N, g). This term is called the Bochner curvature. When \(r=1\), \(W^1\) is just the Ricci curvature \(\overline{\mathrm {Ric}}\) of N and by [10], \(W^r\ge r(n-r)\gamma \) where \(\gamma \) is the lowest eigenvalue of the curvature operator on (N, g). However, \(W^r \ge 0\) is usually much weaker than the curvature operator being nonnegative.
We define the shape operator \(S= \overline{\nabla }\nu \) on \(T\Sigma \) and define \(S^r: \Omega ^r(\Sigma )\rightarrow \Omega ^r(\Sigma )\) by
We also define \(S^0\) to be zero. For example, if \(\alpha \) is a 1-form, then \(S^1\alpha (X)= \alpha (S(X))\). Observe that \(S^{n-1}\alpha = H \alpha \) and that the eigenvalues of \(S^r\) are exactly the r-curvatures of \(\Sigma \), therefore
We define \(\lambda _{k,r}'\) (respectively \(\lambda _{k,r}''\)) to be the kth nonzero eigenvalue for the exact (respectively co-exact) r-forms on \(\Sigma \). By Hodge decomposition theorem and Hodge duality (e.g. [23]), we have
From this we see that to determine \(\lambda _{1,r}\), it suffices to determine \(\lambda _{1,r}'\) for \(1\le r\le \lfloor \frac{n}{2}\rfloor \).
The following formula is the generalization of Reilly’s formula to differential forms.
Theorem 2.1
([15] Theorem 3) Let \(\alpha \in \Omega ^r(N)\), \(r\ge 1\), then
where the boundary term is given by
Here \(i: \Sigma \rightarrow N\) is the inclusion and \(\overline{*}: \Omega ^r(N)\rightarrow \Omega ^{n-r}(N)\) is the Hodge star operator on N. We will also denote by d and \(\delta \) the exterior derivative and its adjoint on \(\Sigma \) respectively.
The classical Reilly formula can be recovered by setting \(\alpha =\overline{d}f\in \Omega ^1(N)\):
Theorem 2.2
[18] Let f be a smooth function on N and \(z=f|_{\Sigma }\). Then
Here A is the second fundamental form and \(H=\mathrm {tr}_\Sigma (A)\) is the mean curvature of \(\Sigma \) in N.
We now state our first main result.
Theorem 2.3
Let \((N^n,g)\) be a compact orientable Riemannian manifold with boundary \(\Sigma \). Suppose \(W^r\) or \(W^{n-r}\) on N is bounded from below by \(k\ge 0\). Assume that \(s_q\ge 0\) where \(q=\min \{r,n-r\}\). Then for \(1\le r\le n-1\), we have
If the equality holds, then \(k=0\), the r-curvatures constantly equal \(s_r>0\) and the \((n-r)\)-curvatures constantly equal \(s_{n-r}>0\). If, furthermore, (N, g) has non-negative Ricci curvature, then the equality holds if and only if (N, g) is isometric to a Euclidean ball. The condition on Ricci curvature can be removed if \(r=1\) or \(n-1\).
Proof
Note that by Hodge decomposition theorem and Hodge duality, \(\lambda _{1,r}'= \lambda _{1,r-1}''= \lambda _{1,n-r}'\) and by (2.6) below, both \(W^r\) and \(W^{n-r}\) are bounded from below by k.
Let \(\phi \) be a co-exact \((r-1)\) eigenform on \(\Sigma \) with eigenvalue \(\lambda = \lambda ''_{1,r-1}=\lambda _{1,r}'\), i.e. \(\Delta \phi =-\delta d \phi =-\lambda \phi \). Then \(\omega =d\phi \) is an exact r-eigenform with eigenvalue \(\lambda \). By Theorem 2 of [3] (p. 148), there exists an \((r-1)\)-form \(\overline{\phi }\) on N such that \(\overline{\delta }\,\overline{d} \,\overline{\phi }=0\) and \(i^* \overline{\phi }=\phi \) on \(\Sigma \). Let \(\overline{\omega }=\overline{d} \,\overline{\phi }\). Then
Using Reilly’s formula on \(\overline{\omega }=\overline{d} \,\overline{\phi }\),
The condition \(s_q\ge 0\) implies \(s_{n-r}\ge 0\). From the above, as \(\int _\Sigma \langle \phi ,\iota _\nu \overline{\omega }\rangle = \int _N |\overline{\omega }|^2>0\), this shows that \( 2\lambda \ge k\), which proves (2.2) in the case where \(s_{n-r}=0\). So in the following we can assume \(s_{n-r}>0\).
As \(|i^* \overline{*} \,\overline{\omega }|^2= |\iota _\nu \overline{\omega }|^2\) and \(\int _\Sigma |d\phi |^2 = \int _\Sigma \langle \phi , \delta d \phi \rangle = \lambda \int _\Sigma |\phi |^2\), the inequality (2.3) becomes
As \(\phi \) is not identically zero, we conclude that
where \(2c= s_{r}s_{n-r}\). This implies either
In view of (2.3), we conclude that the second case holds. i.e.
Suppose the equality holds, then from (2.3), \(\overline{\nabla }\overline{\omega }=0\). As \(\overline{\omega }\) is parallel, \(|\overline{\omega }|^2\) is constant, and as \(i^* \overline{\omega }= \omega \), this constant is nonzero, which we can assume to be 1. The curvature term \(W^r\) is given by (see e.g. [14] p. 218 Theorem 50):
where \(\{e_j\}_{j=1}^n\) is a local orthonormal frame on N, \(\{\theta ^j\}_{j=1}^n\) is its dual frame and \(\overline{R}\) is the curvature operator on (N, g). Here \(\theta ^i\cdot \alpha = \theta ^i \wedge \alpha - \iota _ {e_i}\alpha \) is the Clifford multiplication on a differential form \(\alpha \). Since \(0=\overline{\nabla }\,\overline{\omega }\), we have \(\overline{\nabla }^2 \overline{\omega }=0\) and so \(\overline{R}(e_i,e_j)\overline{\omega }=0\). Therefore from (2.3)
So we now have \(\lambda = s_rs_{n-r}>0\). Therefore from (2.4),
From this and (2.3), (2.4), we see that \(S^{r}\equiv s_r\) and \(S^{n-r}\equiv s_{n-r}\), i.e. the r-curvatures and the \((n-r)\)-curvatures are constants.
Now we suppose, furthermore, that \(\overline{\mathrm {Ric}}\ge 0\). As \(|\overline{\omega }|^2=1\),
On the other hand, by Stokes theorem,
From these we have
Recall that we have \(\frac{s_l}{l}\le \frac{s_m}{m}\) for \(l\le m\), so \(s_r+ s_{n-r}\le \frac{r}{n-1}s_{n-1}+ \frac{n-r}{n-1}s_{n-1}= \frac{n}{n-1}s_{n-1} \). Thus
By [19] Theorem 1, as \(\overline{\mathrm {Ric}}\ge 0\), we conclude that (N, g) is isometric to a Euclidean ball.
Using \(\overline{\nabla }_X (\overline{*} \alpha )= \overline{*} (\overline{\nabla }_X\alpha )\) and \(\theta ^j\cdot \overline{*} \alpha = \overline{*}(\theta ^j\cdot \alpha )\), we have, by (2.5),
As \(W^1=\overline{\mathrm {Ric}}\) and \(k=0\), so the condition \(\overline{\mathrm {Ric}}\ge 0\) is redundant for \(r=1\) or \(n-1\). Finally, it is well-known that (see e.g. [10])
From this it is easy to see that the equality holds on any Euclidean ball, with \(k=0\). \(\square \)
Remark 1
When \(k=0\) and \(r=1\), Theorem 2.3 is Theorem 1 in [24].
To state our next result, we need to define the Steklov eigenvalues as follows. Let \(\alpha \in \Omega ^r(\Sigma )\), \(r=0,\ldots , n-1\). Then there exists a unique r-form \(\overline{\alpha }\in \Omega ^r(N)\) such that (see e.g. [20] Theorem 3.4.6)
We define the Steklov operator \(T^r: \Omega ^r(\Sigma )\rightarrow \Omega ^r(\Sigma )\) by
By [16] Theorem 11, \(T^r\) is an elliptic nonnegative self-adjoint pseudo-differential operator of order one. Thus the eigenvalue problem
has a discrete spectrum
We will write \(p_{k,r}\) for \(p_{k,r}(N)\). Here we use the convention in [16] that \(p_{1,r}\) is the smallest nonnegative eigenvalue of \(T^r\). Thus in the classical case where \(r=0\), i.e. for \(f\in C^\infty (\Sigma )\), \(\overline{f} \) being the unique harmonic extension of f to N and
the first nonnegative eigenvalue of T is zero, corresponding to the constant functions on \(\Sigma \). So in our convention, \(p_{1,0}=0\) and \(p_{2,0}\) is the smallest positive eigenvalue, usually called the first Steklov eigenvalue of N. We will simply denote \(p_{2,0}\) by \(p_2\).
We remark that the first eigenvalue of \(T^r\) satisfies the min-max principle ([16] Theorem 11):
When \(r=0\), we also have the following min-max principle for the smallest nonzero Steklov eigenvalue (see for example [12] p. 113):
Remark 2
By the Hodge-deRham theorem for manifolds with boundary ([20] Theorem 2.6.1), any cohomology class of the deRham cohomology space (with real coefficients) \(H^{r}_{dR}(N, \overline{d})\) is uniquely represented by \(\overline{\phi }\in \Omega ^r(N)\) such that
We will denote the space of all such \(\overline{\phi }\) by \(\mathcal H^r(N)\). So from (2.8), we see that \(p_{1,r}\) is positive if and only if \(\mathcal H^r(N)=0\). Therefore we are interested in \(p_{1,r}\) only when \(\mathcal H^r(N)=0\).
By Hodge duality, the relative deRham cohomology space (cf. [20] p. 103) \(H_{dR}^r(N, \overline{\delta })\) is isomorphic to the vector space
called the space of Dirichlet harmonic fields.
Theorem 2.4
Let \((N^n,g)\) be a compact orientable Riemannian manifold with boundary \(\Sigma \). Let \(r=1, \ldots ,n-1\). We assume \(p_{1,r-1}\) is nontrivial if \(r>1\) (corresponding to \(\mathcal H^{r-1}(N)=0\)). Suppose \(W^r(N)\ge k\), the r-curvatures of \(\Sigma \) are bounded from below by l and \(s_{n-r}\ge 0\). Let \(\lambda =\lambda _{1,r}'(\Sigma )=\lambda _{1,r-1}''(\Sigma )\) and let p to be \(p_{1,r-1}\) if \(r>1\) and \(p_2=p_{2,0}\) if \(r=1\). Then
-
(1)
We have the following upper bound for p:
$$\begin{aligned} s_{n-r}p\le \lambda -\frac{k}{2} +\left( \left( \lambda -\frac{k}{2}\right) ^2 -s_{n-r}l\lambda \right) ^{\frac{1}{2}}. \end{aligned}$$(2.10) -
(2)
Assume \(l\le 0\), then we have the following lower bounds for p and \(\lambda \):
$$\begin{aligned} s_{n-r}p\ge \lambda -\frac{k}{2} -\left( \left( \lambda -\frac{k}{2}\right) ^2 -s_{n-r}l\lambda \right) ^{\frac{1}{2}}. \end{aligned}$$(2.11)$$\begin{aligned} \lambda \ge \frac{s_{n-r}p^2 + kp}{2p-l}. \end{aligned}$$(2.12) -
(3)
Assume \(k\ge 0\) and \(l\ge 0\). We have either
$$\begin{aligned} \lambda \ge s_{n-r}p +\frac{k}{2} \end{aligned}$$(2.13)or
$$\begin{aligned} \lambda \ge \frac{s_{n-r}p^2 + kp}{2p-l}, \end{aligned}$$(2.14)provided that it is well-defined. (If \(\lambda \le s_{n-r}p+\frac{k}{2}\) and \(s_{n-r}>0\), we will show that \(2p-l>0\), see Remark 3.)
-
(4)
Assume \(s_r\ge 0\), and \(\mathcal H^r_R(N)=0\) . Then
$$\begin{aligned} 2\lambda \ge k+s_r p_{1, n-1-r}+ s_{n-r}p. \end{aligned}$$(2.15)If \(r=1\), the condition \(\mathcal H^1 _R(N)=0\) can be replaced by \(s_{n-1}>0\) and \(k\ge 0\).
-
(5)
The inequalities (2.11) and (2.12) are actually strict (if \(l\le 0\)). Any of the equality cases in (2.10), (2.14) or (2.15) can hold only when \(k=0\), with the r-curvatures and \((n-r)\)-curvatures both being positive constants.
Suppose (N, g) has non-negative Ricci curvature. Then the equality in (2.10) or (2.14) holds if and only if \(r\ge \frac{n}{2} +1\) or \(r=1\), and (N, g) is isometric to a Euclidean ball. The condition on Ricci curvature can be removed if \(r=1\). The equality case in (2.15) can hold if and only if \(r=1\), \(n\ge 4\) and (N, g) is a Euclidean ball.
Proof
Let \(\phi \) be a co-exact \((r-1)\)-eigenform on \(\Sigma \) with eigenvalue \(\lambda = \lambda ''_{1,r-1}=\lambda _{1,r}'\), i.e. \(\Delta \phi =-\delta d \phi =-\lambda \phi \). Then \(\omega = d\phi \) is an exact r-eigenform on \(\Sigma \) and by [20] Lemma 3.4.7, there exists an \((r-1)\)-form \(\overline{\phi }\) on N such that
By Stokes theorem,
So we have \(\overline{d}\,\overline{\delta }\,\overline{\phi }=\overline{\delta }\,\overline{d}\,\overline{\phi }=0\). Let \(\overline{\omega }= \overline{d} \,\overline{\phi }\), then \(\overline{\omega }\) is a harmonic field, i.e. \(\overline{d} \overline{\omega }= \overline{\delta }\overline{\omega }=0\).
By applying Reilly’s formula (Theorem 2.1) on \(\overline{\omega }=\overline{d} \,\overline{\phi }\), and following exactly the same steps in the proof of Theorem 2.3,
We now prove (1) and (2) together. Let us first assume \(l\ge 0\). As \(\omega \ne 0\), \(\int _\Sigma \langle \phi , \iota _\nu \overline{\omega }\rangle =\int _N |\overline{\omega }|^2> 0\), thus by (2.16), we have
The inequality (2.10) (and also (2.11)) is trivial if \(s_{n-r}=0\), so we assume \(s_{n-r}>0\). Let \(k=2a\), \(U= (\int _\Sigma |\iota _\nu \overline{\omega }|^2 )^{\frac{1}{2}}\) and \(Z= (\int _\Sigma |\phi |^2 )^{\frac{1}{2}}>0\). So by Cauchy Schwarz inequality,
By completing the square,
Let us for the time being assume \(r>1\). We claim that
By the Friedrichs decomposition for harmonic fields , as \(\overline{\omega }\) is exact, there is a unique co-exact \((r-1)\)-form \(\widetilde{\phi }\) on N such that (see [20] Theorem 2.4.8 and its proof):
Let \(\phi '=i^*\widetilde{\phi }\), then as \(\overline{\delta }\widetilde{\phi }=0\),
Thus by (2.8),
On the other hand, we have
As \( \overline{d} \widetilde{\phi }= \overline{d} \,\overline{\phi }\), we also have \(d\phi '=d\phi \), so
We conclude that \(\phi '-\phi \perp \phi \) and thus \(\int _\Sigma |\phi '|^2 \ge \int _\Sigma |\phi |^2\). Combining this with (2.22), (2.21), we can get (2.20). By Cauchy Schwarz inequality,
which implies
Putting this into (2.19), we obtain (2.10)
We now claim that this is also true for \(l\le 0\). Actually, in this case, by (2.16) and (2.23),
Rearranging, we have
which implies (2.10) and (2.11) (regardless of whether \(s_{n-r}=0\)). Also, (2.12) follows immediately from (2.25).
We have completed the proofs of (1) and (2) except for the case where \(r=1\). For \(r=1\), the proofs proceed in the same way except we have to replace (2.23) by
This is true due to the min-max principle for \(p_2\) (Eq. (2.9)), together with the fact that \( \int _\Sigma \langle i^*\overline{\phi }, \iota _\nu \overline{d} \,\overline{\phi }\rangle =\int _N (|\overline{\nabla }\,\overline{\phi }|^2 + \overline{\phi }\,\overline{\Delta }\,\overline{\phi })=\int _N |\overline{\nabla }\,\overline{\phi }|^2 \) and \(\int _\Sigma \phi = -\frac{1}{\lambda }\int _\Sigma \Delta \phi =0\).
We now prove (3). If \(s_{n-r}=0\), then (2.13) becomes \(\lambda \ge \frac{k}{2}\) which is true in view of (2.17). We can now assume \(s_{n-r}>0\). Suppose \(\lambda -\frac{k}{2} \le s_{n-r}p\), then by (2.10), we have
Squaring this inequality gives \( s_{n-r}p^2 +kp \le (2p-l)\lambda \). From this we see that \(p>\frac{l}{2}\) and (2.13) follows.
For (4), we can put \(l=s_r\) in (2.3) and using (2.23) or (2.26) to obtain
As \(\overline{\omega }\) is co-closed and \(\mathcal H^r_R(N)\cong H^r_{dR}(N,\overline{\delta })=0\), it is also co-exact. So by [16] Proposition 14, \(\frac{\int _\Sigma |i^* \overline{\omega }|^2}{\int _N |\overline{\omega }|^2}\ge p_{1, n-1-r}\), and (2.15) follows. If \(r=1\), \(k\ge 0\) and \(s_{n-1}>0\), then by [20] (Theorem 2.6.4, Corollary 2.6.2 and Theorem 2.6.1), \(\mathcal H^1_R (N)=0\), thus this later condition can be dropped.
We now prove (5). Suppose the equality sign in any of the inequalities (2.10), (2.11), (2.12), (2.14) and (2.15) holds, then by (2.3), \(\overline{\nabla }\overline{\omega }=0\). We can then argue as in the proof of Theorem 2.3 that \(k=0\).
If any inequality sign of the inequalities (2.10), (2.11), (2.12) or (2.14) becomes an equality sign, then one of the inequalities in (2.10) or (2.11) is an equality. Assume one of these holds. The inequalities (2.23) (or (2.26)) and (2.3) then become equations. So we have the r-curvatures are constantly equal to \(s_r=l\), \(\iota _\nu \overline{\omega }= p \phi \) and the \((n-r)\)-curvatures are equal to the constant \(s_{n-r}\). In particular, \(S^{n-r}\equiv s_{n-r}\).
We now show that \(\lambda =s_{n-r}s_r\). To do this we make use of the following formulas:
Here \(*: \Omega ^r(\Sigma )\rightarrow \Omega ^{n-1-r}(\Sigma )\) is the Hodge star operator on \(\Sigma \) and \(\{e_j\}_{j=1}^n\) is a local orthonormal frame on N. The last two formulas are standard and are included here just for convenience (e.g. [20]). For the first two formulas, see [15] Sects. 2 and 6. Using (2.28), we compute
This implies
As \(s_{n-r}p= \lambda \pm (\lambda ^2 -s_{n-r}s_r\lambda )^{\frac{1}{2}}\), we conclude that \(-\lambda + \lambda \pm (\lambda ^2 -s_{n-r}s_r\lambda )^{\frac{1}{2}}=0\), or
This shows that \(s_r=l>0\) which contradicts the assumption of (2), thus the inequalities (2.11) and (2.12) must be strict.
We can now proceed in exactly the same way as the proof of Theorem 2.3 to show that N must be a Euclidean ball if \(\overline{\mathrm {Ric}}\ge 0\), which we can w.l.o.g. assume to be the standard unit ball \(\mathbb B^n\). But then by [17] Corollary 4,
As \(s_m(\mathbb S^{n-1})=m\) and by (2.7), we conclude that if \(r>1\), the equality in (2.10) or (2.14) holds if and only if \(r\ge \frac{n}{2} +1\). For \(r=1\), it is well-known that \(p_{2,0}(\mathbb B^n)=1\), from this we can also conclude that the equality in (2.10) or (2.14) holds if and only if N is a Euclidean ball.
Suppose the equality in (2.15) holds, then by (2.23) or (2.26), \(\iota _\nu \overline{\omega }= p \phi \) and by the same reason as above, the r-curvatures are constantly equal to \(s_r\), the \((n-r)\)-curvatures are constantly \(s_{n-r}\), and \(\lambda = s_{n-r}p\). In particular, \(s_r\ne 0\) in view of (2.15), so from (2.27), we have
In view of (2.15), we deduce that \(p=s_r\). We can then proceed as before to conclude that if \(\overline{\mathrm {Ric}}\ge 0\), then (N, g) is a Euclidean ball. But then by (2.7) and (2.29), the equality cannot be attained on a Euclidean ball if \(r>1\). If \(r=1\), then from (2.29) we see that the equality is attained if and only if \(n\ge 4\), on a Euclidean ball. \(\square \)
Remark 3
-
(1)
Escobar ([6] Theorem 8) showed that if \(k\ge 0\), then \(p_{2,0}>\frac{s_1}{2}\), so (2.14) is well-defined. Also, (2.15) is a generalization [4, Theorem 9] and [16, Theorem 8, Theorem 9].
-
(2)
Theorem 2.4 (1) is an extension of [22] Theorem 1.1, in which they provided an upper bound for \(p_2\), which corresponds to our result when \(k=0\) and \(r=1\).
-
(3)
We suspect that (2.14) holds whenever \(k\ge 0\) and in this case we have \(2p> s_r\ge l\), but we are unable to show it for the time being.
3 Some applications and special cases
In [25], Yang and Yau proved that for a compact Riemann surface \(\Sigma \) of genus g, for any metric on \(\Sigma \), \(\lambda _1(\Sigma ) \mathrm {Area}(\Sigma ) \le 8\pi (1+g)\). Combining this result with Theorems 2.3 and 2.4, we have several corollaries. Let us only state the following:
Corollary 3.1
If \(N=\mathbb S^3\), then under the assumptions of Theorem 2.3, we have \( \left( 2+s_{n-1}s_1+\sqrt{(s_{n-1}s_1)^2+4s_{n-1}s_1}\right) \mathrm {Area}(\Sigma )< 16\pi (g+1)\).
Remark 4
Although the estimate of Theorem 2.3 is not sharp when \(k\ne 0\), \(r=1\), by examining the case where \(\Sigma \) is a geodesic circle of radius \(\rho \) in a hemisphere (\(\lambda _1=\lambda _{1,0}''(\Sigma )=1/\sin ^2(\rho )\)), it is found that the error is within 1 / 2. Indeed, in this case, \(k=1\), \(s_1=s_{n-1} =\cot \rho \), we have \(\lambda _1-\frac{1}{2}(k+ s_1^2+\sqrt{s_1^4 +2s_1^2k})=\frac{1}{2} \csc ^2 \rho - \frac{1}{2}\sqrt{\csc ^4 \rho -1}\le \frac{1}{2}\). The error tends to zero as \(\rho \rightarrow 0\).
On the other hand, by [6] Example 5, the first nonzero Steklov eigenvalue of the geodesic ball of radius \(\rho \) in \(\mathbb S^2\) is computed to be \(\cot \rho + \tan \frac{\rho }{2}\). By direct computations, it is found that the error in Theorem 2.4 (2) is \(\lambda _1-\frac{s_1 p_2^2 +k p_2}{2p_2-s_1}= \frac{\tan ^2 (\rho /2)}{2-\cos \rho }\) which is (very) slightly better than that of Theorem 2.3.
The following result is another immediate consequence of Theorem 2.3, which can be regarded as the analogue of Theorem 2 of Hang-Wang [11] (see also [24] Corollary 1).
Corollary 3.2
Let \((N^n,g)\) be a compact orientable Riemannian manifold with boundary \(\Sigma \). Suppose the Ricci curvature of N is nonnegative, \(s_r(\Sigma ) s_{n-r}(\Sigma )\ge r(n-r)=\lambda _{1,r-1}''(\mathbb S^{n-1})\ge \lambda _{1,r-1}''(\Sigma )\) for some \(r=1, \ldots , n-1\), and \(W^r\) is nonnegative, then (N, g) is isometric to the unit ball in \(\mathbb R^n\).
Theorem 2.3 gives a quick proof of the following result, which is the \(K\ge 0\) analogue of Theorem 3.1:
Corollary 3.3
Suppose \((N^2, g)\) be a compact surface with (not necessarily connected) boundary \(\gamma \) with the Gaussian curvature \(K\ge 0\). If the geodesic curvature \(k_g\) of \(\gamma \) satisfies \(k_g\ge l>0\), then its length \(L(\gamma )\le \frac{2\pi }{l}\). The equality holds if and only if (N, g) is isometric to the Euclidean disk of radius 1 / l.
Proof
By Gauss-Bonnet theorem, \(2\pi \chi (N)=\int _N K +\int _\gamma k_g >0\), thus \(\gamma \) has only one component. By Theorem 2.3, \(\lambda _1(\gamma )\ge l^2\). The equality holds if and only if N is a Euclidean disk of radius 1 / l. As \(\lambda _1(\gamma )= (\frac{2\pi }{L(\gamma )})^2\), the result follows. \(\square \)
In [2], Choi and Wang proved that if \((N^n,g)\) is a compact orientable manifold whose Ricci curvature is bounded from below by \(k>0\) and \(\Sigma \) is an embedded orientable minimal hypersurface in N, then \(\lambda _1(\Sigma )\ge \frac{k}{2}\). Since their proof are essentially the same as that of Theorem 2.3, their result can be improved slightly to \(\lambda _1(\Sigma )>\frac{k}{2}\). This is related to Yau’s conjecture [26]. It is easy to see that the coordinate functions are eigenfunctions of a minimal hypersurface of \(\mathbb S^n\) (whose Ricci curvature is \(n-1\)) with eigenvalue \(n-1\). Yau conjectured that the first eigenvalue is actually \(n-1\). Escobar also have a similar conjecture in [4]. We also notice that Barros and Bessa [1] proved an improvement on the Choi-Wang estimate.
In the two-dimensional case, an embedded minimal submanifold is reduced to a simple closed geodesic, the result of Choi-Wang can be improved to \(\lambda _1\ge k\), by a result of Toponogov [21] on the length of a closed geodesic. More generally, we have the following result which is an extension of the result in [11], which may have some independent interest:
Theorem 3.1
Let \((N^2, g)\) be a closed surface with Gaussian curvature \(K\ge 1\). Let \(\gamma \) be a simple closed curve in N which separates N into \(N_1\), \(N_2\). Suppose its geodesic curvature w.r.t. the outward normal of \(N_1\) satisfies \(k_g\ge l\ge 0\). Then its length \(L(\gamma )\le \frac{2\pi }{\sqrt{1+l^2}}\), which is equivalent to \(\lambda _1(\gamma )\ge 1+l^2\) (as \(\lambda _1(\gamma )= (\frac{2\pi }{L(\gamma )})^2\)), and also \(\mathrm {Area}(N_2)\le \mathrm {Area}(B_r)\), where \(B_{r}\) is the disk of radius \(r=\cot ^{-1}(-l)\) in the standard sphere \(\mathbb S^2\). If \(L(\gamma )=\frac{2\pi }{\sqrt{1+l^2}}\) then \(N_1\) is isometric to \(B_{\pi -r}\). If, moreover, \(\mathrm {Area}(N_2)=\mathrm {Area}(B_{r})\), then (N, g) is \(\mathbb S^2\). The condition for the area can be dropped if \(l=0\).
Proof
By [11] Theorem 3, we have \(L(\gamma )\le \frac{2\pi }{\sqrt{1+l^2}}\). The equality holds if and only if \((N_1,g)\) is isometric to the disk \(B_{r'}\subset \mathbb S^2\), \(r'=\cot ^{-1}(l)\). Therefore if \(L(\gamma )=2\pi \), \((N_1,g)\) is isometric to the standard hemisphere. But then \(k_g=0\), thus we can apply the same argument to \(N_2\) to deduce that (N, g) is \(\mathbb S^2\). In general, if \(L(\gamma )= \frac{2\pi }{\sqrt{1+l^2}}\), then by Gauss-Bonnet theorem, as N is a topological sphere,
So if \( \mathrm {Area}(N_2)= \mathrm {Area}(B_r)\), then \(K=1\) on N and so (N, g) is \(\mathbb S^2\). \(\square \)
References
Barros, A., Bessa, G.P.: Estimates of the first eigenvalue of minimal hypersurfaces of \(\mathbb{S}^{n}\) http://arxiv.org/abs/preprintmath/0410493, (2004)
Choi, H.I., Wang, A.N.: A first eigenvalue estimate for minimal hypersurfaces. J. Differ. Geom. 18(3), 559–562 (1983)
Duff, G.F.D., Spencer, D.C.: Harmonic tensors on Riemannian manifolds with boundary. Ann. Mat. 56(1), 128–156 (1952)
Escobar, J.F.: An isoperimetric inequality and the first Steklov eigenvalue. J. Funct. Anal. 165(1), 101–116 (1999)
Fan, X-Q., Tam, L-F., Yu C. Steklov eigenvalues on annulus. http://arxiv.org/abs/1310.7686, (2013)
Escobar, J.F.: The geometry of the first non-zero Stekloff eigenvalue. J. Funct. Anal. 150(2), 544–556 (1997)
Fraser, A., Schoen, R.: The first steklov eigenvalue, conformal geometry, and minimal surfaces. Adv. Math. 226(5), 4011–4030 (2011)
Fraser, A., Schoen, R.: Minimal surfaces and eigenvalue problems. Geomet. Anal. Math. Relativ. Nonlinear. Partial. Differ. Equ. 599, 105–121 (2012)
Fraser, A., Schoen, R.: Sharp eigenvalue bounds and minimal surfaces in the ball. Invent. Math. 1–68 (2012)
Gallot, S., Meyer, D.: Opérateur de courbure et laplacien des formes différentielles dune variété Riemannienne. J. Math. Pures. et. Appl. 54, 259–284 (1975)
Hang, F., Wang, X.: A rigidity theorem for the hemisphere. http://arxiv.org/abs/0711.4595
Henrot, A.: Extremum problems for eigenvalues of elliptic operators. Birkhauser (2006)
Ilias, S., Makhoul, O.: A reilly inequality for the first Steklov eigenvalue. Diff. Geom. Appl. 29(5), 699–708 (2011)
Petersen, P.: Riemannian geometry, graduate Texts in mathematics. (1998)
Raulot, S., Savo, A.: A Reilly formula and eigenvalue estimates for differential forms. J. Geom. Anal. 21(3), 620–640 (2011)
Raulot, S., Savo, A.: On the first eigenvalue of the Dirichlet-to-Neumann operator on forms. J. Funct. Anal. 262(3), 889–914 (2012)
Raulot, S., Savo, A.: On the spectrum of the Dirichlet-to-Neumann operator acting on forms of a Euclidean domain. J. Geom. Phys. 77, 1–12 (2014)
Reilly, R.C.: Applications of the Hessian operator in a Riemannian manifold. Indiana. Univ. Math. J. 26, 459–472 (1977)
Ros, A.: Compact hypersurfaces with constant higher order mean curvatures. Revista. Matemática. Iberoamericana. 3(3), 447–453 (1987)
Schwarz, G.: Hodge decomposition: a method for solving boundary value problems, Springer lecture notes in mathematics, (1995)
Toponogov, V.: Evaluation of the length of a closed geodesic on a convex surface. Dokl. Akad. Nauk. SSSR. 124, 282–284 (1959). (Russian)
Wang, Q., Xia, C.: Sharp bounds for the first non-zero Stekloff eigenvalues. J. Funct. Anal. 257(8), 2635–2644 (2009)
Warner, F.W.: Foundations of differentiable manifolds and lie groups Springer Verlag, (1971)
Xia, C.: Rigidity of compact manifolds with boundary and nonnegative Ricci curvature. Proc. Am. Math. Soc. 125, 1801–1806 (1997)
Yang, P., Yau, S.T.: Eigenvalues of the Laplacian of compact Riemann surfaces and minimal submanifolds. Ann. Scuola. Norm. Sup. Pisa. Cl. Sci. 7(1), 55–63 (1980)
Yau, S.T.: Seminar on differential geometry. Ann. Math. Studies. 102, 669–706 (1982)
Acknowledgments
We would like to thank Prof. Luen-Fai Tam and Gilbert Weinstein for useful comments. We would also like to thank the anonymous referee for the useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Chang.
Research partially supported by Ministry of Science and Technology in Taiwan under grant MOST103-2115-M-006-016-MY3.
Rights and permissions
About this article
Cite this article
Kwong, KK. Some sharp Hodge Laplacian and Steklov eigenvalue estimates for differential forms. Calc. Var. 55, 38 (2016). https://doi.org/10.1007/s00526-016-0977-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-016-0977-8