Skip to main content

The lower bounds of the first eigenvalues for the biharmonic operator on manifolds

Abstract

In this paper, we use the Reilly formula and the Hessian comparison theorem to estimate the lower bounds of the first eigenvalues for the biharmonic operator eigenvalue problems (buckling problem and clamped plate problem) on manifolds.

1 Introduction

It is well known that the eigenvalues and eigenfunctions of the Laplacian play an important role in global differential geometry since they reveal important relations between geometry of the manifold and analysis. Among the eigenvalue problems of the Laplacian, the biharmonic operator eigenvalue problems are interesting projects because these problems root in physics and geometric analysis. In this paper, we investigate the lower bounds of the first eigenvalues for the buckling problem and clamped plate problem on manifolds. There is a lot of research on these problems; see, for example, [16], among others.

Let M be an n-dimensional compact connected Riemannian manifold with smooth boundary ∂M. We consider the biharmonic operator eigenvalue problem for the famous buckling problem

$$ \textstyle\begin{cases} \Delta^{2}f=-\Lambda\Delta{f}\quad \mbox{in }M, \\ f|_{\partial\Omega}=\frac{\partial f}{\partial\vec{n}}|_{\partial M}=0, \end{cases} $$
(1.1)

and clamped plate problem

$$ \textstyle\begin{cases} \Delta^{2}f=\Gamma f\quad \mbox{in }M, \\ f|_{\partial\Omega}=\frac{\partial f}{\partial\vec{n}}|_{\partial M}=0, \end{cases} $$
(1.2)

where \(\Delta^{2}\) is the bi-Laplace operator, and n⃗ denotes the outer unit normal vector field of the boundary ∂M. Equation (1.1) describes the critical buckling load of a clamped plate subjected to a uniform compressive force around its boundary. It is known that the spectrum of this eigenvalue problem is real and purely discrete:

$$0< \Lambda_{1}\leq\Lambda_{2}\leq\cdots\leq \Lambda_{k}\leq\cdots\uparrow +\infty. $$

Equation (1.2) describes the characteristic vibrations of a clamped plate. The spectrum of this eigenvalue problem is also real and purely discrete:

$$0< \Gamma_{1}\leq\Gamma_{2}\leq\cdots\leq \Gamma_{k}\leq\cdots\uparrow +\infty. $$

By the results of Li and Yau [7] and the variational characterization for eigenvalues, we can obtain lower bounds for eigenvalues of problems (1.1) and (1.2) on \(M \subset R^{n}\) (see Levine and Protter [8]), respectively,

$$\frac{1}{k}\sum_{i=1}^{k} \Lambda_{i}\geq\frac{n}{n+2}\frac{4\pi ^{2}}{(\omega_{n}V(M))^{\frac{2}{n}}}k^{\frac{2}{n}},\qquad \frac{1}{k}\sum_{i=1}^{k} \Gamma_{i}\geq\frac{n}{n+4}\frac{16\pi ^{4}}{(\omega_{n}V(M))^{\frac{4}{n}}}k^{\frac{4}{n}}, $$

where \(\omega_{n}\) denotes the volume of a unit ball in \(\mathbb{R}^{n}\). Recently, Chen et al. [1] have investigated the first eigenvalues of problems (1.1) and (1.2) on n-dimensional compact connected Riemannian manifolds with Ricci curvature bounded from below by \((n-1)\). They proved that

$$\Lambda_{1}>n,\qquad \Gamma_{1}>n\lambda_{1}, $$

where \(\lambda_{1}\) denotes the first eigenvalue of the Dirichlet eigenvalue problem. For more research, we refer the readers to [4, 5, 913].

In the present paper, we will use the Reilly formula and the Hessian comparison theorem to deal with problems (1.1) and (1.2) and estimate the lower bounds of their first eigenvalues.

2 Preliminaries

In this section, we recall some preliminary knowledge, such as the Reilly formula, for later use.

Lemma 2.1

(Reilly’s formula [14])

Let M be an n-dimensional compact connected Riemannian manifold with smooth boundary Ω. For every \(f\in C^{\infty}(\bar {\Omega})\), we have

$$\begin{aligned}& \int_{M}\bigl[(\Delta f)^{2}-\bigl|\nabla^{2}f\bigr|^{2}- \operatorname{Ric}(\nabla f,\nabla f)\bigr]\, \mathrm{d}V \\& \quad = \int_{\partial M}\bigl[-2(\bar{\Delta} f)\langle\nabla f, \vec{n} \rangle +(n-1)H\langle\nabla f, \vec{n}\rangle^{2}+\sigma(\bar{\nabla} f,\bar {\nabla} f)\bigr]\, \mathrm{d}A, \end{aligned}$$

where Δf, f, and \(\nabla^{2}f\) are the Laplacian, gradient, and Hessian of f, Ric is the Ricci curvature of M, Δ̄f and ̄f are the Laplacian and gradient of f in ∂M, and σ and H are the second fundamental form and the mean curvature of ∂M with respect to the inner unit normal vector field n⃗ on ∂M.

Lemma 2.2

(Hessian comparison theorem)

Let M be an n-dimensional complete Riemannian manifold, and let \(x_{0}, x_{1}\in M\). Let \(\gamma:[0, \rho(x_{1})]\rightarrow M\) be a minimizing geodesic joining \(x_{0}\) and \(x_{1}\), where \(\rho(x)\) is the distance function \(\operatorname {dist}_{M}(x_{0}, x)\). Let K be the sectional curvature of M, and let \(\mu_{i} (\rho)\) (\(i=0,1\)) be the functions defined by

$$\mu_{0}(\rho)= \textstyle\begin{cases} k_{0}\cdot\coth(k_{0}\cdot\rho(x))& \textit{if } \inf_{\gamma }K=-k_{0}^{2}, \\ \frac{1}{\rho(x)} & \textit{if } \inf_{\gamma}K=0, \\ k_{0}\cdot\cot(k_{0}\cdot\rho(x)) & \textit{if } \inf_{\gamma }K=k_{0}^{2} \textit{ and } \rho< \frac{\pi}{2k_{0}} \end{cases} $$

and

$$\mu_{1}(\rho)= \textstyle\begin{cases} k_{1}\cdot\coth(k_{1}\cdot\rho(x))& \textit{if } \inf_{\gamma }K=-k_{1}^{2}, \\ \frac{1}{\rho(x)} & \textit{if } \inf_{\gamma}K=0, \\ k_{1}\cdot\cot(k_{1}\cdot\rho(x)) & \textit{if } \inf_{\gamma }K=k_{1}^{2} \textit{ and } \rho< \frac{\pi}{2k_{1}}. \end{cases} $$

Then the Hessians of ρ and \(\rho^{2}\) satisfy

$$\begin{aligned}& \mu_{0}\bigl(\rho(x)\bigr)\cdot\|X\|^{2}\geq \nabla^{2}\rho(x) (X,X)\geq\mu _{1}\bigl(\rho(x)\bigr)\cdot \|X\|^{2}, \\& 2\rho(x)\mu_{0}\bigl(\rho(x)\bigr)\cdot\|X\|^{2}\geq \nabla^{2}\rho ^{2}(x) (X,X)\geq2\rho(x)\mu_{1} \bigl(\rho(x)\bigr)\cdot\|X\|^{2}, \\& \nabla^{2}\rho(x) \bigl(\gamma',\gamma' \bigr)=0, \qquad \nabla^{2}\rho^{2}(x) \bigl(\gamma ',\gamma'\bigr)=2, \end{aligned}$$

where X is any vector in \(T_{x}M\) perpendicular to \(\gamma'(\rho(x))\).

Thus, the following inequalities hold (cf. [15]):

$$\begin{aligned}& (n-1)\mu_{0}\bigl(\rho(x)\bigr)\geq\Delta\rho(x)\geq(n-1) \mu_{1}\bigl(\rho(x)\bigr), \end{aligned}$$
(2.1)
$$\begin{aligned}& 2(n-1)\rho(x)\mu_{0}\bigl(\rho(x)\bigr)+2\geq\Delta \rho^{2}(x)\geq2(n-1)\rho (x)\mu_{1}\bigl(\rho(x) \bigr)+2. \end{aligned}$$
(2.2)

We recall the following variational characterization for the first eigenvalues of the buckling problem and the clamped plate problem:

$$ \Lambda_{1}(M)=\min_{\substack{f\in H_{0}^{2}(M)\\f\not\equiv0}}\frac {\int_{M}(\Delta f)^{2} \, \mathrm{d}V}{\int_{M}|\nabla f|^{2}\, \mathrm {d}V} $$
(2.3)

and

$$ \Gamma_{1}(M)=\min_{\substack{f\in H_{0}^{2}(M)\\f\not\equiv0}}\frac {\int_{M}(\Delta f)^{2} \, \mathrm{d}V}{\int_{M}f^{2}\, \mathrm{d}V}. $$
(2.4)

3 Main results

In this section, we give and prove our main results, that is, we estimate the lower bounds of the first eigenvalues of problems (1.1) and (1.2).

Theorem 3.1

Let \((M,g)\) be an n-dimensional compact connected Riemannian manifold with smooth boundary ∂M and Ricci curvature bounded from below by a positive constant C. Let \(\Lambda_{1}(M)\) be the first eigenvalue of the buckling problem (1.1). Then, for any vector field \(X\in\Gamma(T M)\) such that \(\|X\|_{\infty}=\sup_{M}|X|<\infty\) (where \(|X|=\sqrt{g(X, X)}\)) and \(\inf_{M}\operatorname {div}(X)>0\), we have

$$ \Lambda_{1}(M)\geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty }} \biggr)^{2}+C. $$
(3.1)

Proof

For any \(f\in C^{\infty}_{0}(\Omega)\), the vector field \(|\nabla f|^{2}X\) has compact support on M, and a simple calculation shows that

$$\begin{aligned} \operatorname{div}\bigl(X|\nabla f|^{2}\bigr) =&2|\nabla f|X\bigl( \vert \nabla f\vert \bigr)+|\nabla f|^{2}\operatorname{div}(X) \\ \geq&-2|\nabla f|\|X\|_{\infty}\bigl\vert \nabla \vert \nabla f\vert \bigr\vert +|\nabla f|^{2}\inf_{M} \operatorname{div}(X). \end{aligned}$$
(3.2)

For any \(\varepsilon>0\), it follows from Young’s inequality that

$$|\nabla f|\bigl\vert \nabla \vert \nabla f\vert \bigr\vert \leq \frac{|\nabla|\nabla f||^{2}}{2\varepsilon^{2}}+\frac{\varepsilon^{2}|\nabla f|^{2}}{2}. $$

Combining this inequality and (3.2) yields

$$ \operatorname{div}\bigl(X|\nabla f|^{2}\bigr)\geq-2\|X\|_{\infty} \biggl(\frac{|\nabla |\nabla f||^{2}}{2\varepsilon^{2}}+\frac{\varepsilon^{2}|\nabla f|^{2}}{2} \biggr) +|\nabla f|^{2} \inf_{M}\operatorname{div}(X). $$
(3.3)

It follows from \(f|_{\partial M}=\frac{\partial f}{\partial\vec {n}}|_{\partial M}=0\) that \((\nabla f)|_{\partial M}=0\). Then by the divergence theorem we have

$$ \int_{M}\operatorname{div}\bigl(X|\nabla f|^{2} \bigr)\, \mathrm{dV}= \int_{\partial M}|\nabla f|^{2}\langle X, \vec{n}\rangle\, \mathrm{dV_{\partial M}}=0. $$

This equality and (3.3) imply

$$\int_{M}\bigl\vert \nabla \vert \nabla f\vert \bigr\vert ^{2}\, \mathrm{dV}\geq\frac{\varepsilon^{2}}{\| X\|_{\infty}} \Bigl(\inf _{M} \operatorname{div}X-\varepsilon^{2}\|X \|_{\infty } \Bigr) \int_{M}|\nabla f|^{2}\, \mathrm{dV}, $$

that is,

$$ \frac{\int_{M}|\nabla|\nabla f||^{2}\, \mathrm{d}V}{\int_{M}|\nabla f|^{2}\, \mathrm{d}V} \geq\frac{\varepsilon^{2}}{\|X\|_{\infty}} \Bigl(\inf_{M} \operatorname {div}X-\varepsilon^{2}\|X\|_{\infty} \Bigr). $$
(3.4)

Let

$$g(\varepsilon)=\varepsilon^{2}\inf_{M} \operatorname{div}X-\varepsilon^{4}\|X\| _{\infty}. $$

Then

$$g'(\varepsilon)=2\varepsilon\inf_{M} \operatorname{div}X-4\varepsilon^{3}\|X\| _{\infty}, \qquad g''(\varepsilon)=2\inf_{M} \operatorname{div}X-12\varepsilon ^{2}\|X\|_{\infty}. $$

It is obvious that when \(g'(\varepsilon)=0\), we have \(\varepsilon _{0}=(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}})^{\frac{1}{2}}\) and \(g''(\varepsilon_{0})=-4\inf_{M}\operatorname{div}X<0\), and therefore,

$$\max g(\varepsilon)= \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|^{\frac {1}{2}}_{\infty}} \biggr)^{2}. $$

From this equality and from (3.4) it follows that

$$ \frac{\int_{M}|\nabla|\nabla f||^{2}\,\mathrm{d}V}{\int_{M}|\nabla f|^{2}\,\mathrm{d}V} \geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}. $$
(3.5)

On the other hand, if \(f\in C^{\infty}_{0}(\Omega)\), then

$$ \bigl\vert \nabla \vert \nabla f\vert \bigr\vert ^{2}\leq\bigl| \nabla^{2} f\bigr|^{2}. $$
(3.6)

Indeed, without loss of generality, we choose the normal coordinate \((U; x^{1}, \ldots, x^{n})\) for any point \(P\in M\), and a simple calculation shows that

$$ \bigl\vert \nabla \vert \nabla f\vert \bigr\vert ^{2}(P) = \sum _{q=1}^{n} \biggl[\frac{(\sum_{i=1}^{n}f_{i}f_{iq})^{2}}{\sum_{i=1}^{n}f_{i}^{2}} \biggr], $$
(3.7)

where \(f_{j}=\frac{\partial f}{\partial x^{j}}\). From the Cauchy-Schwarz inequality it follows that

$$ \sum_{q=1}^{n} \Biggl(\sum _{i=1}^{n}f_{i}f_{iq} \Biggr)^{2} \leq \Biggl[\sum_{q=1}^{n} \Biggl(\sum_{i=1}^{n}f_{i}^{2} \Biggr) \Biggl(\sum_{i=1}^{n}f_{iq}^{2} \Biggr) \Biggr] = \Biggl(\sum_{i=1}^{n}f_{i}^{2} \Biggr) \Biggl(\sum_{i,q=1}^{n}f_{iq}^{2} \Biggr). $$
(3.8)

Combining (3.7) and (3.8) yields

$$\bigl\vert \nabla \vert \nabla f\vert \bigr\vert ^{2}(P)\leq \sum_{i,q=1}^{n}f_{iq}^{2}= \bigl\vert \nabla^{2} f\bigr\vert ^{2}(P), $$

which implies that

$$\bigl\vert \nabla \vert \nabla f\vert \bigr\vert ^{2}\leq\sum _{i,q=1}^{n}f_{iq}^{2}= \bigl\vert \nabla^{2} f\bigr\vert ^{2} $$

on M for any \(f\in C^{\infty}_{0}(\Omega)\). Since \(C^{\infty }_{0}(\Omega)\) is dense in \(H^{2}_{0}(\Omega)\), the last relation also holds for all \(f\in H^{2}_{0}(\Omega)\).

From Reilly’s formula and the equality \(f|_{\partial M}=\frac{\partial f}{\partial\vec{n}}|_{\partial M}=0\) we get

$$\int_{M} \bigl[(\Delta f)^{2}-\bigl|\nabla^{2}f\bigr|^{2}- \operatorname{Ric}(\nabla f,\nabla f) \bigr]\, \mathrm{d}V=0. $$

Since the Ricci curvature of M is bounded from below by a constant C, this gives

$$ \int_{M}\bigl|\nabla^{2}f\bigr|^{2}\,\mathrm{d}V \leq \int_{M}(\Delta f)^{2}\,\mathrm{d}V-C \int_{M}|\nabla f|^{2}\,\mathrm{d}V. $$

From this inequality and from (3.5) and (3.6) it follows that

$$ \frac{\int_{M}(\Delta f)^{2} \,\mathrm{d}V}{\int_{M}|\nabla f|^{2}\,\mathrm{d}V} \geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}+C, $$
(3.9)

which, together with (2.3) and the arbitrariness of X, implies

$$ \Lambda_{1}(M) \geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}+C. $$

 □

Theorem 3.2

Assume that \((M,g)\) and \(X\in\Gamma(T M)\) satisfy the conditions of Theorem  3.1 and let \(\Gamma_{1}(M)\) be the first eigenvalue of the clamped plate problem (1.2). Then

$$ \Gamma_{1}(M)\geq \biggl( \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\| _{\infty}} \biggr)^{2}+C \biggr)\lambda_{1}(M), $$
(3.10)

where \(\lambda_{1}(M)\) is the first eigenvalue of the Dirichlet eigenvalue problem.

Proof

By (3.9) we immediately get

$$ \frac{\int_{M}(\Delta f)^{2} \,\mathrm{d}V}{\int_{M} f^{2}\,\mathrm{d}V} \geq \biggl( \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}+C \biggr)\frac{\int_{M} |\nabla f|^{2}\,\mathrm{d}V}{\int_{M} f^{2}\,\mathrm{d}V} $$
(3.11)

for all \(f\in H^{2}_{0}(M)\). From the Poincaré inequality and the fact that f is nonzero with \(f|_{\partial M}=0\) it follows that

$$ \frac{\int_{M} |\nabla f|^{2}\,\mathrm{d}V}{\int_{M} f^{2}\,\mathrm {d}V}\geq\lambda_{1}(M), $$
(3.12)

where the equality holds if and only if f is the first eigenfunction of the Dirichlet eigenvalue problem. Thus, from (2.4), (3.11), and (3.12) and from the arbitrariness of X we have

$$\Gamma_{1}(M) \geq \biggl( \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}+C \biggr)\lambda_{1}(M). $$

 □

As an application of our theorems, we can get the following results.

Corollary 3.3

Let \((M,g)\) be an n-dimensional complete Riemannian manifold, and \(B_{M}(p,r)\) a geodesic ball with radius \(r<\operatorname{inj}(p)\). Let \(\kappa(p,r)=\sup\{K_{M}(x); x\in B_{M}(p,r)\}\), where \(K_{M}(x)\) is the sectional curvature of M at x. If for \(k>0\), \(\kappa(p,r)=k^{2}\), \(r<\frac{\pi}{2k}\), and the Ricci curvature of \(B_{M}(p,r)\) is bounded from below by a positive constant C, then

$$\begin{aligned}& \Lambda_{1}\bigl(B_{M}(p,r)\bigr)\geq\bigl[(n-1)kr \cot(kr)+1\bigr]^{2}/4r^{2}+C, \\& \Gamma_{1}\bigl(B_{M}(p,r)\bigr)\geq \bigl(\bigl[(n-1)kr \cot(kr)+1\bigr]^{2}/4r^{2}+C \bigr)\lambda_{1} \bigl(B_{M}(p,r)\bigr). \end{aligned}$$

Proof

Let \(X=\nabla\rho^{2}\). Then by (2.2), (3.1), and (3.10) we have

$$\begin{aligned} \Lambda_{1}\bigl(B_{M}(p,r)\bigr) \geq& \biggl[ \frac{\inf_{B_{M}(p,r)}\Delta\rho ^{2}}{2\|\nabla\rho^{2}\|_{\infty}} \biggr]^{2}+C \\ \geq& \biggl[\frac{(n-1)k\inf_{B_{M}(p,r)}\cot(k\rho)}{2}+\frac {1}{2r} \biggr]^{2}+C \\ \geq& \frac{[(n-1)kr\cot(kr)+1]^{2}}{4r^{2}}+C \end{aligned}$$

and

$$\Gamma_{1}\bigl(B_{M}(p,r)\bigr)\geq \biggl( \frac{[(n-1)kr\cot (kr)+1]^{2}}{4r^{2}}+C \biggr)\lambda_{1}(M). $$

 □

Corollary 3.4

Let \(\varphi: M\hookrightarrow N\) have a locally bounded mean curvature, that is, the number \(h(p,r)=\sup\{|H(x)|; x\in\varphi(M)\cap B_{N}(p,r) \}\) is finite, where H is the mean curvature, and let Ω be any connected component of \(\varphi^{-1}(\overline{B_{N}(p,r)})\), where \(p\in N\backslash\varphi(M)\) and \(r>0\).

  1. (1)

    If \(\kappa(p,r)=k^{2}<\infty\) and the Ricci curvature of Ω is bounded from below by a positive constant C, choose

    $$r< \min \biggl\{ \operatorname{inj}(p), \frac{\pi}{2k}, \cot^{-1} \bigl[h\bigl(p,\operatorname {inj}(p)\bigr)/(m-1)k\bigr]/k \biggr\} . $$

    Then

    $$\begin{aligned}& \Lambda_{1}(\Omega)\geq\bigl[(m-1)k\cot(kr)-h(p,r) \bigr]^{2}/4+C, \\& \Gamma_{1}(\Omega)\geq \bigl(\bigl[(m-1)k\cot(kr)-h(p,r) \bigr]^{2}/4+C \bigr)\lambda_{1}(\Omega). \end{aligned}$$
  2. (2)

    If \(\lim_{r\rightarrow\infty}\kappa(p,r)=\infty\) and the Ricci curvature of Ω is bounded from below by a positive constant C, let

    $$r(s)=\min \bigl\{ \pi/2\sqrt{\kappa(p,s)},\cot^{-1}\bigl[h(p,s)/(m-1) \kappa (p,s)\bigr]/\kappa(p,s) \bigr\} , \quad s>0. $$

    Choose \(r=\max_{s>0}r(s)\). Then

    $$\begin{aligned}& \Lambda_{1}(\Omega)\geq \bigl(\bigl[(m-1)\sqrt{\kappa(p,r)}\cot\bigl( \sqrt{\kappa (p,r)}r\bigr)-h(p,r)\bigr]^{2}/4+C \bigr), \\& \Gamma_{1}(\Omega)\geq \bigl(\bigl[(m-1)\sqrt{\kappa(p,r)}\cot\bigl( \sqrt{\kappa (p,r)}r\bigr)-h(p,r)\bigr]^{2}/4+C \bigr) \lambda_{1}(\Omega). \end{aligned}$$

Proof

By the proof of Theorem 4.3 of [15], if \(\rho(x)=\operatorname {dist}_{N}(p,x)\) and \(f=\rho\circ\varphi: M\rightarrow\mathbb{R}\), then applying (2.1), we have

$$\operatorname{div}(\nabla f)\geq(m-1)k\cot(kr)-h(p,r)>0 \quad \mbox{if } \kappa (p,r)=k^{2}. $$

Since \(\|\nabla f\|\leq1\), the estimates follow from Theorems 3.1 and 3.2. □

Remark 3.5

If, in (3.5), \(|\nabla f|\) is replaced by f, then

$$\frac{\int_{M} |\nabla f|^{2}\,\mathrm{d}V}{\int_{M} f^{2}\,\mathrm {d}V}\geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty}} \biggr)^{2}, $$

which, together with (3.11), implies

$$ \Gamma_{1}(M)\geq \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty }} \biggr)^{2} \biggl( \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty }} \biggr)^{2}+C \biggr). $$
(3.13)

From (3.13) and the proof of Corollary 3.3 we have that

$$\Gamma_{1}\bigl(B_{M}(p,r)\bigr)\geq \biggl( \frac{[(n-1)kr\cot (kr)+1]^{2}}{4r^{2}} \biggr) \biggl(\frac{[(n-1)kr\cot (kr)+1]^{2}}{4r^{2}}+C \biggr). $$

Remark 3.6

Using a similar argument as in Theorems 3.1 and 3.2 and Corollary 3.3, we can investigate the following two biharmonic operator eigenvalue problems:

$$\textstyle\begin{cases} \Delta^{2}u=-p\Delta u \quad \mbox{in } \Omega, \\ u|_{\partial\Omega}=\frac{\partial^{2} u}{\partial\vec {n}^{2}}|_{\partial\Omega}=0 \end{cases} $$

and

$$\textstyle\begin{cases} \Delta^{2}u=qu \quad \mbox{in } \Omega, \\ u|_{\partial\Omega}=\frac{\partial^{2} u}{\partial\vec {n}^{2}}|_{\partial\Omega}=0. \end{cases} $$

We get

$$\begin{aligned}& p_{1}(M)\geq\sup \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty }} \biggr)^{2}+C, \\& q_{1}(M)\geq \biggl(\sup \biggl(\frac{\inf_{M}\operatorname{div}X}{2\|X\|_{\infty }} \biggr)^{2}+C \biggr)\lambda_{1}(M) \end{aligned}$$

and

$$\begin{aligned}& p_{1}\bigl(B_{M}(p,r)\bigr)\geq \biggl( \frac{[(n-1)kr\cot (kr)+1]^{2}}{4r^{2}}+C \biggr), \\& q_{1}\bigl(B_{M}(p,r)\bigr)\geq \biggl( \frac{[(n-1)kr\cot (kr)+1]^{2}}{4r^{2}}+C \biggr)\lambda_{1}(M), \end{aligned}$$

where \(p_{1}\) and \(q_{1}\) are the first eigenvalues of these two problems.

References

  1. Chen, DG, Cheng, QM, Wang, QL, Xia, CY: On eigenvalues of a system of elliptic equations and biharmonic operator. J. Math. Anal. Appl. 387, 1146-1159 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  2. Cheng, QM, Yang, HC: Universal bounds for eigenvalues of a buckling problem. Commun. Math. Phys. 262, 663-675 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  3. Cheng, QM, Yang, HC: Universal bounds for eigenvalues of a buckling problem II. Trans. Am. Math. Soc. 364, 6139-6158 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  4. Hile, GN, Yeh, RZ: Inequality for eigenvalues of the biharmonic operator. Pac. J. Math. 112, 115-133 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  5. Huang, GY, Li, XX, Qi, XR: Estimates of the first two buckling eigenvalues on spherical domains. J. Math. Phys. 60, 714-719 (2010)

    MATH  MathSciNet  Google Scholar 

  6. Zhang, LW: The lower and upper bounds of the first eigenvalues for the bi-harmonic operator on manifolds. C. R. Math. 353(8), 735-740 (2015)

    MathSciNet  Google Scholar 

  7. Li, P, Yau, ST: On the Schrödinger equations and the eigenvalue problem. Commun. Math. Phys. 88, 309-318 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  8. Levine, HA, Protter, MH: Unrestricted lower bounds for eigenvalues for classes of elliptic equations and systems of equations with applications to problems in elasticity. Math. Methods Appl. Sci. 7, 210-222 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  9. Deepmala: A Study on Fixed Point Theorems for Nonlinear Contractions and Its Applications. PhD thesis, Pt. Ravishankar Shukla University, Raipur (Chhatisgarh), India (2014)

  10. Deepmala, Mishra, LN: Differential operators over modules and rings as a path to the generalized differential geometry. Facta Univ., Ser. Math. Inform. 30, 753-764 (2015)

    Google Scholar 

  11. Mishra, VN: Some Problems on Approximations of Functions in Banach Spaces. PhD thesis, Indian Institute of Technology, Roorkee, Uttarakhand, India (2007)

  12. Mishra, VN, Mishra, LN: Trigonometric approximation of signals (functions) in \({L_{p}}\ (p\geq1)\)-norm. Int. J. Contemp. Math. Sci. 7, 909-918 (2012)

    MATH  MathSciNet  Google Scholar 

  13. Mishra, VN, Khatri, K, Mishra, LN, Deepmala: Inverse result in simultaneous approximation by Baskakov-Durrmeyer-Stancu operators. J. Inequal. Appl. 2013, 586 (2013). doi:10.1186/1029-242X-2013-586

    Article  MathSciNet  Google Scholar 

  14. Reilly, R: Applications of the Hessian operator in a Riemannian manifold. Indiana Univ. Math. J. 26, 459-472 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  15. Bessa, GP, Montenegro, JF: Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Glob. Anal. Geom. 24(3), 279-290 (2003)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Science Foundation of China (No. 11201400).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yan Zhao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved for the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhang, L., Zhao, Y. The lower bounds of the first eigenvalues for the biharmonic operator on manifolds. J Inequal Appl 2016, 5 (2016). https://doi.org/10.1186/s13660-015-0948-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0948-1

MSC

Keywords