Arxiv:1802.05502V5 [Math.AP]

Home , Dirichlet eigenvalue

arXiv:1802.05502v5 [math.AP] 18 Jan 2020 rtnnzr ievleo h alca of Laplacian the of eigenvalue non-zero first n qaiyhlsi n nyif only and if holds equality and (1.1) ana aiodwt ic uvtr one eo by below bounded curvature Ricci with manifold mannian ievleo h alca fcmatmnflswt onayadp and boundary with manifolds [37]. compact curvature of Laplacian the of eigenvalue pia oe on [45]: bound lower optimal where (1.2) oevr agWn 2]soe hti h qaiyi 13 od t holds radius (1.3) of in circle equality a the to isometric if that be showed [21] Hang-Wang Moreover, (1.3) uvtr,SelvPolm ulda al hemisphere. ball, Euclidean Problem, Steklov curvature, h encraueof curvature mean the aiodwt ic uvtr one eo by below bounded curvature Ricci with manifold alca of Laplacian (1.4) HR OE ONSFRTEFRTEGNAUSOF EIGENVALUES FIRST THE FOR BOUNDS LOWER SHARP h lsia iheoizOaatermi ttda olw (Cf. follows A as Theorem stated is theorem Lichnerowicz-Obata classical The nteohrhn,i 97 elyotie hr oe o h first the for lower sharp a obtained Reilly 1977, in hand, other the On † hoe B Theorem When ∗ e od n phrases and words Key 2010 † atal upre yCP-Rgatnme:306146/2014- number: grant CNPq-BR by supported Partially orsodn author. Corresponding atal upre yCP-Rgatnme:307089/2014- number: grant CNPq-BR by supported Partially D ahmtc ujc Classification Subject Mathematics ucin faWnzl-yeb-alc rbe nEuclide on problem corr bi-Laplace the Wentzell-type and eigenvalues a the of all functions c determine on and operator boundary bi-Laplace the with by defined problem eigenvalue of Abstract. M stedaee of diameter the is a ongtv ic uvtr,L-a 2]poe that proved [29] Li-Yau curvature, Ricci nonnegative has M satisfies (Lichnerowicz-Obata). (Reilly). eoti hr oe onsfrtefis ievleo ort four of eigenvalue first the for bounds lower sharp obtain We 1. H ILPAEOPERATOR BI-LAPLACE THE IOIGWANG QIAOLING nrdcinadtemi results main the and Introduction ∂M e od n hae:Egnau,B-alc prtr R Operator, Bi-Laplace Eigenvalue, phrases: and words Key : Let snneaiete h rtDrcltegnau fthe of eigenvalue Dirichlet first the then nonnegative is M M ae,ZogYn mrvdti siaet an to estimate this improved Zhong-Yang Later, . M D/π η ean be λ λ sioercEuclidean isometric is 1 η 1 ≥ ≥ ≥ . ≥ 51,5C0 34,58G25 53C42, 53C20, 35P15, : ∗ 2 D nκ, π nκ, π N HNY XIA CHANGYU AND Let D n 1 2 2 2 ( 2 . ≥ , M M 2) ean be dmninlcmatRiemannian compact -dimensional satisfies ( n − n 1) dmninlcmlt Rie- complete -dimensional 2. 2. > κ n nballs. an shr fradius of -sphere ( matmanifolds ompact † n sodn eigen- esponding − 0 1) n onay If boundary. and > k 1,3,34]): 30, [14, e must M hen stv Ricci ositive ypes 0 hnthe then , Dirichlet 1 / √ icci κ. 2 QIAOLINGWANGANDCHANGYUXIA and equality holds if and only M is isometric to an n-dimensional Euclidean hemisphere of radius 1/√κ. For the Neumann boundary case a similar result has been proven by Escobar [17] and Xia [43] independently. They showed that if M is an n( 2)-dimensional compact Riemannian manifold with Ricci curvature bounded below≥ by (n 1)κ> 0 and convex boundary, then the first nonzero eigenvalue of the Laplace of−M with Neumann boundary condition satisfies (1.5) µ nκ, 1 ≥ and equality holds if and only if M is isometric to and n-dimensional Euclidean hemisphere of curvature κ. A natural question related to the above results is to study similar rigidity phe- nomenon for other eigenvalue problems on Riemannian manifolds. In the first part of this paper, we consider two kinds of eigenvalue problem of the bi-Laplace operator on compact Riemannian manifolds with boundary and obtain sharp lower bound for the first eigenvalue of them. The point of interest is that no assumption on the boundary is made. Theorem 1.1. Let M be an n( 2)-dimensional compact Riemannian manifold with boundary. Assume that the Ricci≥ curvature of M is bounded below by (n 1)k − ≥ 0. Denote by λ1 the first Dirichlet eigenvalue of the Laplacian of M and Γ1 the first eigenvalue of the following problem : ∆2u =Γu in M, (1.6) ∂2u u = ∂ν2 =0 on ∂M. Then λ (1.7) Γ λ 1 + (n 1)κ , 1 ≥ 1 n − with equality holding if and only if κ > 0 and M is isometric to an n-dimensional Euclidean hemisphere of radius 1/√κ. Theorem 1.2. Let M be an n( 2)-dimensional compact Riemannian manifold with boundary. Assume that the Ricci≥ curvature of M is bounded below by (n 1)k. − Denote by λ1 the first Dirichlet eigenvalue of the Laplacian of M and Λ1 the first eigenvalue of the problem ∆2u = Λ∆u in M, (1.8) ∂2u− u = ∂ν2 =0 on ∂M. Then λ (1.9) Λ 1 + (n 1)κ, 1 ≥ n − with equality holding if and only if κ > 0 and M is isometric to an n-dimensional Euclidean hemisphere of radius 1/√κ. The eigenvalue problems (1.6) and (1.8) should be compared with the clamped plate problem and the buckling problem, respectively. The later two ones are as follows: ∆2u =Γu in M, (1.10) ∂u u = ∂ν =0 on ∂M. SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 3

∆2u = Λ∆u in M, (1.11) ∂u − u = ∂ν =0 on ∂M. Theorems (1.1) and (1.2) shows that the first eigenvalue of (1.6) (or (1.8)) is closely related to the first Dirichlet eigenvalue of the Laplacian. Many important results have been obtained for the eigenvalues of the problems (1.10) and (1.11) (cf. [2], [3], [4], [5], [10], [11], [12], [13], [22], [23], [24], [33], [39], [40], [41], etc). It would be interesting to characterize the hemisphere by the first non-zero eigenvalue of the problem (1.10) or (1.11). In the second part of this paper, we study Steklov eigenvalue problems of the bi-Laplace operator. The eigenvalue problems we are interested in are as follows: ∆2u = 0 in M, (1.12) u = ∆u p ∂u =0 on ∂M, − ∂ν ∆2u = 0 in M, (1.13) ∂2u ∂u u = 2 q =0 on ∂M, ∂ν − ∂ν ∆2u = 0 in M, (1.14) ∂u ∂(∆u) ∂ν = ∂ν + ξu =0 on ∂M, and ∆2u = 0 in M, (1.15) ∂u ∂(∆u) ∂ν = ∂ν + β∆u + ςu =0 on ∂M, where β is a nonnegative constant and ∆ is the Laplace operator with respect to the induced metric of ∂M. Elliptic problems with parameters in the boundary conditions are called Steklov problems from their first appearance in [38]. Problem (1.12) was considered by Kuttler [25] and Payne [35] who studied the isoperimetric properties of the first 2 eigenvalue p1 which is the sharp constant for L a priori estimates for solutions of the (second order) Laplace equation under nonhomogeneous Dirichlet boundary conditions (cf. [26, 27, 28] ). The whole spectrum of (1.12) was studied in [18, 31, 32] where one can also find a physical interpretation of p1. We referto [7, 8,9, 19, 36, 42] for some further developments about p1. One can see that p1 is positive and given by 2 M (∆w) (1.16) p1 = min 2 . w|∂M =0,w6=const. R ∂w ∂M ∂ν The problem (1.13) is a natural Steklov problemR and is equivalent to (1.12) when the mean curvature of ∂M is constant. We have a sharp relation between the first eigenvalues of (1.12) and (1.13). Theorem 1.3. Let M be an n-dimensional compact Riemannian manifold with boundary and non-negative Ricci curvature. Denote by p1 and q1 the first eigenvalue of the problems (1.12) and (1.13), respectively. Then we have p (1.17) q 1 , 1 ≥ n with equality holding if and only if M is isometric to a ball in Rn.

The next result is a sharp lower bound for p1. 4 QIAOLINGWANGANDCHANGYUXIA

Theorem 1.4. Let M be a compact Riemannian manifold with Ricci curvature bounded below by (n 1)κ for some constant κ 0. Denote by λ the ﬁrst − − ≥ 1 Dirichlet eigenvalue of the Laplacian of M and let p1 be the ﬁrst eigenvalue of the problems (1.12). Suppose that the mean curvature of ∂M is bounded below by a positive constant c. Then we have

ncλ1 (1.18) p1 ≥ nκ + λ1 with equality holding if and only if κ =0 and M is isometric to a Euclidean n-ball of radius 1/c. The problem (1.14) was first studied in ([27]) where some estimates for the first non-zero eigenvalue ξ1 were obtained. When M is an Euclidean ball, all the eigenvalues of the problem (1.13) have been recently obtained in [44]. Also, the authors n proved an isoperimetric upper bound for ξ1 when M is a bounded domain in R . The Rayleigh-Ritz formula for ξ1 is: 2 M (∆u) (1.19) ξ1 = min . u H2 M R 2 06= ∈ ( ) ∂M u R∂M u=0,∂ν u|∂M =0 R The problem (1.15) is a so called Wentzell problem for the bi-laplace operator which is motivated by (1.14) and the following Wentzell-Laplace problem: ∆u = 0 in M, (1.20) β∆u + ∂ν u = λu on ∂M, − where β is a given non-negative number. The problem (1.20) has been studied recently, in [16], [44], etc. The first non-zero eigenvalue of (1.15) can be characterized as

2 2 M (∆w) + β ∂M w (1.21) ς1,β = min |∇ | . u H2 M R R2 06= ∈ ( ) ∂M w R∂M u=0,∂ν u|∂M =0 R

From (1.19), one can see that if β > 0, ξ1 is the ﬁrst non-zero eigenvalue of the Steklov problem (1.14) and λ1 the ﬁrst non-zero eigenvalue of the Laplacian of ∂M, then we have

(1.22) ς ,β ξ + βλ , 1 ≥ 1 1 with equality holding if and only if any eigenfunction f corresponding to ς1,β is an eigenfunction corresponding to ξ and f ∂M is an eigenfunction corresponding to 1 | λ1. For each k =0, 1, , let k be the space of harmonic homogeneous polynomials n ··· D in R of degree k and denote by µk the dimension of k. We refer to [6] for the D basic properties of k and µk. In particular, we have D = span 1 , µ =1, D0 { } 0 1 = span xi,i =1, ,n , µ1 = n, D { ··· } 2 2 2 n + n 2 = span xixj , x x , 1 i < j n,h =2, ,n , µ = − . D2 { 1 − h ≤ ≤ ··· } 2 2 SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 5

In the next result we determine explicitly all the eigenvalues of (1.15) and the corresponding eigenfunctions when M = B(the unit ball with center at the origin in Rn). Theorem 1.5. If n 2 and M = B, then we have ≥ 2 i) the eigenvalues of (1.15) are ςk = k (n +2k)+ βk(k + n 2), k =0, 1, 2, ; − ··· ii) for all k =0, 1, 2, , the multiplicity of ςk is µk; ··· iii) for all k =0, 1, 2, , the eigenspace corresponding to ςk is given by ··· 2 (1.23) Ek = 2wk + k( x 1)wk wk k . {− | | − | ∈ D } Our last result is a lower bound for ς1. Theorem 1.6. Let M be an n-dimensional compact Riemannian manifold with boundary and Ricci curvature bounded below by (n 1)κ, κ 0. Assume that the principal curvatures of ∂M are bounded below by− a− positive constant≥ c and denote by ς1 the first eigenvalue of the problems and (1.15). Then we have ncλ µ (1.24) ς > 1 1 + βλ , 1 (n 1)(µ + nκ) 1 − 1 where µ1 and λ1 are the first nonzero Neumann eigenvalue of the Laplacian of M and the first nonzero eigenvalue of the Laplacian of ∂M, respectively.

2. Proof of Theorems 1.1 and 1.2 In this section, we shall prove Theorems 1.1 and 1.2. Before doing this, we first recall Reilly’s formula which will be used later. Let M be an n-dimensional compact manifold with boundary. We will often write , the Riemannian metric on M as well as that induced on ∂M. Let and ∆ beh i the connection and the Laplacian on M, respectively. Let ν be the unit∇ outward normal vector of ∂M. The shape operator of ∂M is given by S(X)= X ν and the second fundamental form of ∂M is defined as II(X, Y ) = S(X), Y ,∇ here X, Y T∂M. The eigenvalues of S are called the principal curvaturesh of ∂Mi and the mean∈ curvature H of ∂M is given by 1 H = n−1 tr S, here tr S denotes the trace of S. For a smooth function f defined on ∂ M, the following identity holds [37] if h = f , z = f ∂M and Ric denotes the ∂ν ∂M | Ricci tensor of M:

(2.1) (∆f)2 2f 2 Ric( f, f) Z − |∇ | − ∇ ∇ M = ((n 1)Hh +2∆z)h + II( z, z) . Z − ∇ ∇ ∂M Here 2f is the Hessian of f; ∆ and represent the Laplacian and the gradient on ∂M∇ with respect to the induced metric∇ on ∂M, respectively. Proof of Theorem 1.1. Let f be an eigenfunction of the problem (1.6) corresponding to the ﬁrst eigenvalue Γ1. That is, 2 ∆ f =Γ1f in M, (2.2)  ∂2f  f = =0 on ∂M. ∂ν2  6 QIAOLINGWANGANDCHANGYUXIA

It follows from the divergence theorem that

2 2 (2.3) Γ1 f = f∆ f ZM ZM = f, (∆f) − ZM h∇ ∇ i = (∆f)2 h∆f, ZM − Z∂M 2 ∂f ∂ u where h = ∂ν . Since f ∂M = ∂ν2 = 0, we have ∂M | ∂M

(2.4) ∆f ∂M = (n 1)Hh. | − From Reilly’s formula, we infer

(2.5) (∆f)2 2f 2 = Ric( f, f) + (n 1) Hh2. Z − |∇ | Z ∇ ∇ − Z M M ∂M Combining (2.3)-(2.5) and using Ric( f, f) (n 1)κ f 2 , we get ∇ ∇ ≥ − |∇ | ( 2f 2 + Ric( f, f) (2.6) Γ = M |∇ | ∇ ∇ 1 R 2 M f ( 2f 2R+ (n 1)κ f 2) M |∇ | − |∇ | . R 2 ≥ M f The Schwarz inequality implies that R 1 (2.7) 2f 2 (∆f)2, |∇ | ≥ n with equality holding if and only if ∆f (2.8) 2f = , . ∇ n h i Therefore, we have 1 (∆f)2 + (n 1)κ f 2 (2.9) Γ M n − |∇ | , 1 R 2 ≥ M f with equality holding if and only (2.8)R holds and Ric( f, f) = (n 1)κ f 2 on M. ∇ ∇ − |∇ | On the other hand, since f is not a zero function which vanishes on ∂M, we know that

2 2 2 2 (2.10) (∆f) λ1 f λ1 f ZM ≥ ZM |∇ | ≥ ZM with equality holding if and only if f is a ﬁrst eigenfunction of the Dirichlet Lapla- cian of M. Thus we conclude that λ (2.11) Γ λ 1 + (n 1)κ . 1 ≥ 1 n − Assume now that λ (2.12) Γ = λ 1 + (n 1)κ . 1 1 n − SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 7

In this case, (2.10) should take equality sign which implies that f is a first eigenfunction corresponding to the the first eigenvalue λ1 of the Dirichlet Laplacian of M. Consequently, we have (2.13) ∆f = λ f in M − 1 It then follows that (2.14) ∆2f = λ ∆f = λ2f in M − 1 1 which, combining with (2.2) and (2.12), gives λ1 = nκ > 0. Since f is an eigenfunction corresponding to the first Dirichlet eigenvalue of the Laplacian, it is well known that f doest not change sign in M. Let us assume that f is negative in the interior of M. From ∆f = λ1f 0 on M and f ∂M = 0, we know from the the maximum principle and the− Hopf≥ lemma [20] that | ∂f (2.15) > 0 on ∂M. ∂ν

It then follows from 0 = ∆f ∂M and (2.4) that the mean curvature of ∂M vanishes. Thus one can use Reilly theorem| as stated before to conclude that M is isometric to an n-dimensional hemisphere of curvature κ. This completes the proof of Theorem 1.1.

Proof of Theorem 1.2. The discussions are similar to those in the proof of Theorem 1.1. For the sake of completeness, we include it. Let g be the eigenfunction of the problem (1.8) corresponding to the ﬁrst eigenvalue Λ1: ∆2g = Λ ∆g in M, − 1 (2.16)  ∂2g  g = =0 on ∂M. ∂ν2 Multiplying the ﬁrst equation of (2.16) by g and integrating on M, we have from divergence theorem that

2 2 (2.17) Λ1 g = (∆g) s∆g, ZM |∇ | ZM − Z∂M

∂g where s = ∂ν . Also, we have ∂M

(2.18) ∆g ∂M = (n 1)Hs. | − Hence (∆g)2 (n 1) Hs2 (2.19) Λ = M − − ∂M , 1 R g 2 R M |∇ | R which, combining with Reilly’s formula gives ( 2g 2 + Ric( g, g) (2.20) Λ = M |∇ | ∇ ∇ 1 R 2 M g 2 |∇ | (∆gR) 2 M n + (n 1)κ g − |∇ | . ≥ R g 2 M |∇ | R 8 QIAOLINGWANGANDCHANGYUXIA

We also have

2 2 (2.21) (∆g) λ1 g , ZM ≥ ZM |∇ | with equality holding if and only if g is an eigenfunction corresponding to λ1. There- fore, we have λ (2.22) Λ 1 + (n 1)κ. 1 ≥ n − If the equality occurs in (2.22), then (2.23) ∆g = λ g on M, − 1 and so (2.24) ∆2g = λ ∆g. − 1 It then follows that λ (2.25) Λ = λ = 1 + (n 1)κ, 1 1 n − which gives 0 < λ1 = nκ. As in the proof of Theorem 1.1, we can deduce that the mean curvature of ∂M vanishes and by Reilly’s theorem that M is isometric to an n-dimensional Euclidean hemisphere of curvature κ.

3. Proof of Theorems 1.3-1.6 In this section, we shall prove Theorems 1.3-1.6. Proof of Theorem 1.3. Let w be an eigenfunction corresponding to the ﬁrst eigenvalue q1 of the problem (1.13): ∆2w = 0 in M, (3.1) ∂2w ∂w w = 2 q =0 on ∂M. ∂ν − 1 ∂ν Note that w is not a constant since w ∂M = 0. Set η = ∂ν w ∂M ; then η = 0. Otherwise, we would deduce from | | 6 ∂2w w ∂M = w ∂M = =0 | ∇ | ∂ν2 ∂M that ∆w ∂M = 0 and so ∆w = 0 on M by the maximum principle, which in turn implies that| w = 0. This is a contradiction. From w ∂M = 0, one gets from divergence theorem that | (3.2) w, (∆w) = w∆2w =0. ZM h∇ ∇ i − ZM Thus ∂w (3.3) ∆w = (∆w), w + (∆w)2 Z∂M ∂ν ZM h∇ ∇ i ZM = (∆w)2. ZM SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 9

Since ∂2w ∂w (3.4) ∆w ∂M = + (n 1)H | ∂ν2 − ∂ν ∂w ∂w = q + (n 1)H , 1 ∂ν − ∂ν we conclude that (∆w)2 (n 1) Hη2 (3.5) q = M − − ∂M , 1 R 2 R ∂M η which, combining with Reilly’s formula,R gives ( 2w 2 + Ric( w, w)) 2w 2 (3.6) q = M |∇ | ∇ ∇ M |∇ | . 1 R 2 R 2 ∂M η ≥ ∂M η The Schwarz inequality impliesR that R 1 (3.7) 2w 2 (∆w)2, |∇ | ≥ n with equality holding if and only if ∆w (3.8) 2w = , . ∇ n h i Therefore, we have 1 (∆w)2 (3.9) q M . 1 R 2 ≥ n · ∂M η R On the other hand, we have from the variational characterization of p1 (cf. (1.16)) that (∆w)2 (3.10) M p R 2 1 ∂M η ≥ with equality holding if and onlyR if w is an eigenfunction corresponding to p1. Combining (3.9) and (3.10), we get p (3.11) q 1 . 1 ≥ n This proves the ﬁrst part of Theorem 1.3. Assume now that q1 = p1/n. In this case, we know from the above proof that (3.8) holds on M and w is an eigenfunction corresponding to q1. Hence

(3.12) ∆w = p1η on ∂M.

Take an orthornormal frame e1, ,en−1,en on M such that when restricted to 2 { ··· } ∂M, en = ν. From 0 = w(ei,en), i = 1, ,n 1, and w ∂M = 0, we conclude ∇ ··· − | that η = b0 = const. = 0. It then follows from the harmonicity of ∆w and 3.12) that 6

(3.13) ∆w = p1b0 = nq1b0 on M. Setting w (3.14) ρ = , −p1b0 we have 1 (3.15) 2ρ = , on M. ∇ −nh i 10 QIAOLINGWANGANDCHANGYUXIA

Taking the covariant derivative of (3.15), we get 3ρ = 0 and from the Ricci identity, ∇ (3.16) R(X, Y ) ρ =0, ∇ for any tangent vectors X, Y on M, where R is the curvature tensor of M. By the the maximum principle ρ attains its maximum at some point x0 in the interior of M. Let r be the distance function to x0; then from (3.15) it follows that 1 ∂ (3.17) ρ = r . ∇ −n ∂r Using (3.16), (3.17), Cartan’s theorem (cf. [15]) and ρ ∂M = 0, we conclude that n | M is a ball in R whose center is x0, and 1 ρ(x)= (r2 x x ) 2n 0 − | − 0| in M, here r0 is the radius of the ball. Thus, p b w(x)= 1 0 ( x x r2). 2n | − 0|− 0 This completes the proof of Theorem 1.3

Proof of Theorem 1.4 Let φ be an eigenfunction corresponding to the ﬁrst eigenvalue p1 of the problem (1.12), that is ∆2φ = 0 in M, (3.18) φ = ∆φ p ∂φ =0 on ∂M. − 1 ∂ν ∂φ Set η = ∂ν ; then ∂M

(∆φ)2 (3.19) q = M . 1 R 2 ∂M η Substituting φ into Reilly’s formula, weR have

(3.20) (∆φ)2 2φ 2 = Ric( φ, φ)+ (n 1)Hη2 Z − |∇ | Z ∇ ∇ Z − M M ∂M (n 1)κ φ 2 + (n 1)c η2 ≥ − − ZM |∇ | − Z∂M (n 1)κ − (∆φ)2 + (n 1)c η2, ≥ − λ1 ZM − Z∂M where, in the last step above, we have used the fact that κ 0 and ≥ 1 (3.21) φ 2 (∆φ)2. ZM |∇ | ≤ λ1 ZM The Schwarz inequality implies that 1 (3.22) 2φ 2 (∆φ)2 |∇ | ≥ n with equality holding if and only if ∆φ (3.23) 2φ = , . ∇ n h i Combining (3.19), (3.20) and (3.22), we have

ncλ1 (3.24) p1 . ≥ nκ + λ1 SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 11

If the equality sign holds in (3.24), then the inequalities (3.20) and (3.22) must take equality sign and, in particular, (3.23) holds on M. By using the same arguments as in the proof of Theorem 1.3, we conclude that ∆φ is a nonzero constant and M is isometric to a ball in Rn which, in turn, implies that κ = 0.

Proof of Theorem 1.5. Let u be an eigenfunction of the problem (1.15) with M = B corresponding to an eigenvalue ς. From the bi-harmonicity of u we can two uniquely determined harmonic functions g,h on B, such that [1] (3.25) u(x)= g(x)+ x 2h(x). | | Let us denote by the Euler operator deﬁned by E n ∂f (3.26) f(x) := xi (x). E ∂xi Xi=1 We will use the notation lf = ( l−1f),l =1, 2, . Observe that is related to the exterior normal derivativeE byE theE relation ··· E ∂f (3.27) = f ∂B, ∂ν E | ∂B and if f is harmonic then so is f. Setting 2w = g + h, we have u(x)= 2w(x)+ ( x 2 1)h(x). From E − − | | − 0= ∂ν u ∂B = ( 2∂ν w +2h) ∂B = ( 2 w +2h) ∂B | − | − E | and the harmonicity of 2 w +2h, we know that 2 w +2h =0 on B. Hence − E − E (3.28) u(x)= 2w(x) + ( x 2 1) w(x). − | | − E We have (3.29) ∆u =2n w +4 2w, E E and so 2 3 (3.30) ∂ν (∆u) ∂B = (2n w +4 w) ∂B. | E E | If z ∂B, we have from ∂ν u(z) = 0 that ∈ (3.31) ∆u(z)= ∆u(z)+ 2u(ν,ν)(z)= ∆u(z)+ 2u(z). ∇ E For any x B, a simple calculation gives ∈ (3.32) u(x) = ( x 2 1)(2 w + 2w)(x) E | | − E E and (3.33) 2u(x)=2 x 2(2 w + 2w)(x) + ( x 2 1)(2 2w + 3w)(x). E | | E E | | − E E Thus (3.34) 2u(y) = 2(2 w + 2w)(y), y ∂B, E E E ∀ ∈ which, combining with (3.29) and (3.31), gives (3.35) ∆u(y) = ((2n 4) w +2 2w)(y), y ∂B. − E E ∀ ∈ Substituting (3.28), (3.30) and (3.35) into the equation:

∂ν (∆u)+ β∆u + ςu =0 on ∂B, 12 QIAOLINGWANGANDCHANGYUXIA we infer 2 3 2 (3.36) 0=(2n w +4 w + β((2n 4) w +2 w) 2ςw) ∂B. E E − E E − | It follows that (3.37) n 2w +2 3w + β((n 2) w + 2w)= ςw on B. E E − E E Since w is harmonic on B, there exist pm m such that ∞ ∈ D (3.38) w(x)= pm(x) mX=0 for all x B, the series converging absolutely and uniformly on compact subsets of ∈ B(cf. [6]). Substituting (3.38) into (3.37) and using pm = mpm, we infer E (3.39) 2m3 + nm2 + β(m2 + (n 2)m)= ς,m =0, 1, − ··· ′ which shows that all but one of the pms are zeros. Consequently, the eigenvalues are 2 (3.40) ςk = k (n +2k)+ βk(k + n 2), k =0, 1, , − ··· the multiplicity of ςk is the dimension of k and the eigenspace corresponding to D ςk is 2 (3.41) Ek = 2wk + k( x 1)wk wk k . {− | | − | ∈ D } This completes the proof of Theorem 1.5.

Proof of Theorem 1.6. From (1.22), we only need to show that the ﬁrst non-zero eigenvalue ξ1 of the problem (1.14) satisﬁes ncλ µ (3.42) ξ > 1 1 . 1 (n 1)(µ + nκ) − 1 Let f be an eigenfunction corresponding ξ1: ∆2f = 0 in M, (3.43) ∂ ∂ ∂ν f = ∂ν ∆f + ξ1f =0 on ∂M.

Set z = f ∂M ; then z = 0 and | 6 (∆f)2 (3.44) ξ = M . 1 R 2 ∂M z Substituting f into Reilly’s formula, weR have

(3.45) (∆f)2 2f 2 = Ric( f, f)+ II( z, z) Z − |∇ | Z ∇ ∇ Z ∇ ∇ M M ∂M (n 1)κ f 2 + c z 2. ≥ − − ZM |∇ | Z∂M |∇ |

Since ∂ν f ∂M = 0, we have | 2 2 (3.46) (∆f) µ1 f . ZM ≥ ZM |∇ |

It follows from (3.43) that ∂M z = 0 and so we have from the Poincar´einequality that R 2 2 (3.47) z λ1 z . Z∂M |∇ | ≥ Z∂M SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 13

The Schwarz inequality implies that 1 (3.48) 2f 2 (∆f)2 |∇ | ≥ n 2 ∆f with equality holding if and only if f = n , . Combining (3.44)-(3.48), we get ∇ h i ncλ µ (3.49) ξ 1 1 . ≥ (n 1)(µ + nκ) − 1 Let us show by contradiction that the equality in (3.49) can’t occur. In fact, if (3.49) take equality sign, then we must have ∆f (3.50) 2f = , . on M. ∇ n h i Thus for a tangent vector ﬁeld X of ∂M, we have from (3.50) and ∂ν f ∂M = 0 that | 2 (3.51) 0= f(ν,X)= Xνf ( X ν)f = X ν, z . ∇ − ∇ −h∇ ∇ i In particular, we have II( z, z)=0. ∇ ∇ This is impossible since II cI and z is not constant. This ﬁnishes the proof Theorem 1.6. ≥

An interesting question related to the above proof is to find a sharp lower bound for ξ1. We propose a Conjecture. Let M be an n-dimensional compact Riemannian manifold with boundary and nonnegative Ricci curvature. Assume that the principal curvatures of ∂M are bounded below by a positive constant c and denote by λ1 the first nonzero eigenvalue of the Laplacian of ∂M. Then the first nonzero eigenvalue of the problem (1.14) satisfies (n + 2)cλ (3.52) ξ 1 1 ≥ n 1 − with equality holding if and only if M is isometric to an n-dimensional Euclidean ball of radius 1/c. References

[1] N. Aronszajn, T. Creese, L. Lipkin, Polyharmonic Functions. Clarendon Press, Oxford, 1983. [2] M. S. Ashbaugh, R. Benguria, On Rayleigh’s conjecture for the clamped plate and its generalization to three dimensions, Duke Math. J. 78 (1995), 117. [3] M. S. Ashbaugh, R. Benguria, R. S. Laugesen, Inequalities for the ﬁrst eigenvalues of the clamped plate and buckling problems, General Inequalities 7 (1997), 95-110. [4] M. S. Ashbaugh, D. Bucur, On the isoperimetric inequality for the buckling of a clamped plate. Special issue dedicated to Lawrence E. Payne. Z. Angew. Math. Phys. 54 (2003), 756-770. [5] M. S. Ashbaugh, R. S. Laugesen, Fundamental tones and buckling loads of clamped plates, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 23 (1996), 383-402. [6] S. Axler, P. Bourdon, W. Ramey, Harmonic Function Theory (Graduate Texts in Math- ematics, Vol 137) Hardcover December, 1992. [7] E. Berchio, F. Gazzola, E. Mitidieri, Positivity preserving property for a class of biharmonic elliptic problems. J. Diﬀer. Equa. 229 (2006) 1-23. 14 QIAOLINGWANGANDCHANGYUXIA

[8] D. Bucur, A. Ferrero, F. Gazzola, On the first eigenvalue of a fourth order Steklov problem, Calc. Var. 35 (2009) 103-131. [9] D. Buoso, L. Provenzano, A few shape optimization results for a biharmonic Steklov problem, J. Diff. Equa. 259 (2015), 1778-1818. [10] Q. M. Cheng, H. C. Yang, Inequalities for eigenvalues of a clamped plate problem, Trans. Amer. Math. Soc., 358 (2006), 2625-2635. [11] Q. M. Cheng and H. C. Yang, Universal bounds for eigenvalues of a buckling problem, Commun. Math. Phys. 262 (2006), 663-675. [12] Q. M.Cheng, H. C. Yang, Estimates for eigenvalues on Riemannian manifolds. J. Differ- ential Equations 247 (2009), 2270-2281. [13] Q. M.Cheng, H. C. Yang, Universal Bounds for Eigenvalues of a Buckling Problem II, Trans. Amer. Math. Soc. 364 (2012), 6139-6158. [14] I. Chavel, Eigenvalues in Riemannian geometry, Including a chapter by Burton Randol. With an appendix by Jozef Dodziuk. Pure and Applied Mathematics, 115. Academic Press, Inc., Orlando, FL, 1984. xiv+362 pp. [15] M.P. do Carmo, Riemannian Geometry, Birkhäuser, Boston, 1993. [16] M. Dambrine, D. Kateb and J. Lamboley, An extremal eigenvalue problem for the Wentzell-Laplace operator, Ann. I. H. PoincaréNonlinear Analysis 33 (2016), 409-450. [17] J.F. Escobar, Uniqueness theorems on conformal deformation of metrics, Sobolev inequalities, and an eigenvalue estimate, Comm. Pure Appl. Math. 43 (1990), 857-883. [18] A. Ferreero, F. Gazzola, T. Weth, On a fourth order Steklov eigenvalue problem, Analysis 25 (2005) 315-332. [19] F. Gazzola, G. Sweers, On positivity for the biharmonic operator under Steklov boundary conditions, Arch. Ration. Mech. Anal. 188 (2008), 399-427. [20] D. Gilbarg, N. Trudinger, Elliptic Partial differential equations of second order, Reprint of the 1998 edition, Classics in Mathematics. Springer-Verlag, Berlin, 2001. [21] F.B. Hang, X.D. Wang, A remark on Zhong-Yangs eigenvalue estimate, Int. Math. Res. Not. IMRN 2007, no. 18, Art. ID rnm064, 9 pp. [22] A. Henrot, Extremum problems for eigenvalues of elliptic operators. Frontiers in Mathe- matics. Birkhäuser Verlag, Basel, 2006. x+202 pp. [23] J. Jost, X. Li-Jost, Q. Wang, C. Xia, Universal bounds for eigenvalues of the polyharmonic operator, Trans. Am. Math. Soc. 363 (2011), 18211854. [24] J. Jost, X. Li-Jost, Q. Wang and C. Xia, Universal bounds for eigenvalues of the buckling problem of arbitrary order, Commun. Partial Differ. Equ. 35 (2010), 15631589. [25] J. R. Kuttler, Remarks on a Stekloff eigenvalue problem, SIAM J. Numer. Anal. 9 (1972), 1-5. [26] J. R. Kuttler, Dirichlet eigenvalues, SIAM J. Numer. Anal. 16 (1979), 332338. [27] J. R. Kuttler, V. G. Sigillito, Inequalities for membrane and Stekloff eigenvalues, J. Math. Anal. Appl. 23 (1968), 148-160. [28] J. R. Kuttler, V. G. Sigillito, Estimating eigenvalues with a posteriori àpriori inequalities, Research Notes in Mathematics, Pitman Advanced Publishing Program (1985). [29] P. Li, S.T. Yau, Estimates of eigenvalues of a compact Riemannian manifold, in Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979), Proc. Sympos. Pure Math., XXXVI, Amer. Math. Soc., Providence, R.I., 1980, 205-239. [30] A. Lichnerowicz, Géométrie des groupes de transformations. Travaux et Recherches Math- ematiques, III. Dunod, Paris 1958 [31] G. Q. Liu, The Weyl-type asymptotic formula for biharmonic Steklov eigenvalues on Riemannian manifolds, Adv. Math. 228 (2011), 2162-2217. [32] G. Q. Liu, On asymptotic properties of biharmonic Steklov eigenvalues, J. Differential Equations. 261 (2016), 4729-4757. [33] N. S. Nadirashvili, Rayleigh’s conjecture on the principal frequency of the clamped plate, Arch. Ration. Mech. Anal. 129 (1995) 1-10. [34] M. Obata, Certain conditions for a Riemannian manifold to be isometric with a sphere, J. Math. Soc. Japan 14 (1962), 333-340. [35] L.E. Payne, Some isoperimetric inequalities for harmonic functions, SIAM J. Math. Anal. 1 (1970), 354-359. SHARP BOUNDS FOR THE FIRST EIGENVALUES OF THE BI-LAPLACE OPERATOR 15

[36] S. Raulot, A. Savo, Sharp bounds for the first eigenvalue of a fourth-order Steklov Prob- lem, J. Geom. Anal. 25 (2015) 1602-1619. [37] R. Reilly, Applications of the Hessian operator in a Riemannian manifold, Indiana Univ. Math. J. 26 (1977), 459-472. [38] M. W. Stekloff, Sur les problèmes fondamentaux de la physique mathématique, Ann. Sci. Ecole Norm. Sup. 19 (1902), 455-490. [39] Q. Wang, C. Xia, Universal bounds for eigenvalues of the buckling problem on spherical domains, Comm. Math. Phsy. 270 (2007), 759-775. [40] Q. Wang, C. Xia, Universal bounds for eigenvalues of the biharmonic operator on Rie- mannian manifolds, J. Funct. Anal. 245 (2007), 334-352. [41] Q. Wang, C. Xia, Inequalities for eigenvalues of a clamped plate problem. Calc. Var. Partial Differential Equations 40 (2011), 273289. [42] Q. Wang, C. Xia, Sharp bounds for the first non-zero Steloff eigenvalues, J. Funct. Anal. 257 (2009), 2635-2644. [43] C. Xia, The first nonzero eigenvalue for manifolds with Ricci curvature having positive lower bound, Chinese mathematics into the 21st century (Tianjin, 1988), 243-249, Peking Univ. Press, Beijing, 1991. [44] C. Xia, Q. Wang, Eigenvalues of the Wentzell-Laplace Operator and of the Fourth Order Steklov Problems, J. Differential Equations (2018), https://doi.org/10.1016/j.jde.2018.01.041 [45] J.Q. Zhong, H.C. Yang. On the estimate of first eigenvalue of a compact Riemannian ma nifold . Sci. Sinica Ser. A 27 (1984), 1265-1273. Qiaoling Wang Departamento de Matemática Universidade de Bras´ılia Bras´ılia-DF 70910-900, Brazil e-mail: [email protected]

Changyu Xia Departamento de Matem´atica Universidade de Bras´ılia Bras´ılia-DF 70910-900 , Brazil e-mail: [email protected]