Skip to main content
Top
Published in: Journal of Inequalities and Applications 1/2016

Open Access 01-12-2016 | Research

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

Authors: Liuwei Zhang, Yan Zhao

Published in: Journal of Inequalities and Applications | Issue 1/2016

Activate our intelligent search to find suitable subject content or patents.

search-config
download
DOWNLOAD
print
PRINT
insite
SEARCH
loading …

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

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.

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

Acknowledgements

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

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.
Literature
1.
go back to reference 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) MATHMathSciNetCrossRef 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) MATHMathSciNetCrossRef
3.
5.
go back to reference Huang, GY, Li, XX, Qi, XR: Estimates of the first two buckling eigenvalues on spherical domains. J. Math. Phys. 60, 714-719 (2010) MATHMathSciNet Huang, GY, Li, XX, Qi, XR: Estimates of the first two buckling eigenvalues on spherical domains. J. Math. Phys. 60, 714-719 (2010) MATHMathSciNet
6.
go back to reference 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 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
8.
go back to reference 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) MATHMathSciNetCrossRef 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) MATHMathSciNetCrossRef
9.
go back to reference Deepmala: A Study on Fixed Point Theorems for Nonlinear Contractions and Its Applications. PhD thesis, Pt. Ravishankar Shukla University, Raipur (Chhatisgarh), India (2014) Deepmala: A Study on Fixed Point Theorems for Nonlinear Contractions and Its Applications. PhD thesis, Pt. Ravishankar Shukla University, Raipur (Chhatisgarh), India (2014)
10.
go back to reference 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) 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)
11.
go back to reference Mishra, VN: Some Problems on Approximations of Functions in Banach Spaces. PhD thesis, Indian Institute of Technology, Roorkee, Uttarakhand, India (2007) Mishra, VN: Some Problems on Approximations of Functions in Banach Spaces. PhD thesis, Indian Institute of Technology, Roorkee, Uttarakhand, India (2007)
12.
go back to reference Mishra, VN, Mishra, LN: Trigonometric approximation of signals (functions) in \({L_{p}}\ (p\geq1)\)-norm. Int. J. Contemp. Math. Sci. 7, 909-918 (2012) MATHMathSciNet Mishra, VN, Mishra, LN: Trigonometric approximation of signals (functions) in \({L_{p}}\ (p\geq1)\)-norm. Int. J. Contemp. Math. Sci. 7, 909-918 (2012) MATHMathSciNet
15.
go back to reference Bessa, GP, Montenegro, JF: Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Glob. Anal. Geom. 24(3), 279-290 (2003) MATHMathSciNetCrossRef Bessa, GP, Montenegro, JF: Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Glob. Anal. Geom. 24(3), 279-290 (2003) MATHMathSciNetCrossRef
Metadata
Title
The lower bounds of the first eigenvalues for the biharmonic operator on manifolds
Authors
Liuwei Zhang
Yan Zhao
Publication date
01-12-2016
Publisher
Springer International Publishing
Published in
Journal of Inequalities and Applications / Issue 1/2016
Electronic ISSN: 1029-242X
DOI
https://doi.org/10.1186/s13660-015-0948-1

Other articles of this Issue 1/2016

Journal of Inequalities and Applications 1/2016 Go to the issue

Premium Partner