Open Access

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

Journal of Inequalities and Applications20162016:5

Received: 7 April 2015

Accepted: 21 December 2015

Published: 4 January 2016


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.


biharmonic operator buckling problem clamped plate problem eigenvalues lower bounds


35P15 53C20

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} $$
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} $$
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} $$
$$\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}$$
$$\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}$$
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} $$
$$ \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}. $$

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


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}$$
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). $$
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). $$
$$g(\varepsilon)=\varepsilon^{2}\inf_{M} \operatorname{div}X-\varepsilon^{4}\|X\| _{\infty}. $$
$$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}. $$
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}. $$
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], $$
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). $$
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, $$
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), $$
where \(\lambda_{1}(M)\) is the first eigenvalue of the Dirichlet eigenvalue problem.


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} $$
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), $$
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}$$


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}$$
$$\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\} . $$
    $$\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}$$


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). $$
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} $$
$$\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}$$
$$\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.



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

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

Department of Mathematics, Tongji University
Department of Mathematics, Xinyang Normal University
Department of Mathematics, Dalian University of Technology


  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) MATHMathSciNetView ArticleGoogle Scholar
  2. Cheng, QM, Yang, HC: Universal bounds for eigenvalues of a buckling problem. Commun. Math. Phys. 262, 663-675 (2006) MATHMathSciNetView ArticleGoogle Scholar
  3. Cheng, QM, Yang, HC: Universal bounds for eigenvalues of a buckling problem II. Trans. Am. Math. Soc. 364, 6139-6158 (2012) MATHMathSciNetView ArticleGoogle Scholar
  4. Hile, GN, Yeh, RZ: Inequality for eigenvalues of the biharmonic operator. Pac. J. Math. 112, 115-133 (1984) MATHMathSciNetView ArticleGoogle 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) MATHMathSciNetGoogle 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) MathSciNetGoogle Scholar
  7. Li, P, Yau, ST: On the Schrödinger equations and the eigenvalue problem. Commun. Math. Phys. 88, 309-318 (1983) MATHMathSciNetView ArticleGoogle 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) MATHMathSciNetView ArticleGoogle 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) Google Scholar
  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) Google Scholar
  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) MATHMathSciNetGoogle 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: MathSciNetView ArticleGoogle Scholar
  14. Reilly, R: Applications of the Hessian operator in a Riemannian manifold. Indiana Univ. Math. J. 26, 459-472 (1977) MATHMathSciNetView ArticleGoogle Scholar
  15. Bessa, GP, Montenegro, JF: Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Glob. Anal. Geom. 24(3), 279-290 (2003) MATHMathSciNetView ArticleGoogle Scholar


© Zhang and Zhao 2015