arxiv: v1 [math.dg] 27 Jul 2012

Transcription

1 ESTIMATES FOR EIGENVALUES OF THE PANEITZ OPERATOR* arxiv: v1 [math.dg] 7 Jul 01 QING-MING CHENG Abstract. For a -dimesioal compact submaifold i the Euclidea space R N, we study estimates for eigevalues of the Paeitz operator o. Our estimates for eigevalues are sharp. 1. Itroductio For compact Riema surfaces M, Li ad Yau [13] itroduced the otio of coformal volume, which is a global ivariat of the coformal structure. They determied the coformal volume for a large class of Riema surfaces, which admit miimal immersios ito spheres. I particular, they proved that for a compact Riema surface M, if there exists a coformal map from M ito the uit sphere S N 1), the the first eigevalue λ 1 of the Laplacia satisfies λ 1 volm ) V c N,M ) ad the equality holds oly if M is a miimal surface i S N 1), where V c N,M ) is the coformal volume of M. For -dimesioal compact Riemaia maifolds, Paeitz [15] itroduced a fourth order operator P g defied by, lettig div be the divergece for the metric g, 1.1) P g f = f div [ 3 Rg Ric) f], forsmoothfuctiosf om, where ad deotethelaplaciaadthegradiet operator with respect to the metric g o M, respectively, ad R ad Ric are the scalar curvature ad Ricci curvature tesor with respect to the metric g o M. Furthermore, Braso [1] has geeralized the Paeitz operator to a -dimesioal Riemaia maifold. For a -dimesioal Riemaia maifold,g), the operator P g is defied by 1.) P g f = f div [ a Rg +b Ric) f ] + Qf, where Q = c Ric +d 1 1) R 001 Mathematics Subject Classificatio: 53C0, 58C0. Key words ad phrases: A Paeitz operator, Q-curvature, eigevalues, the first eigefuctio * Research partially Supported by JSPS Grat-i-Aid for Scietific Research B) No

2 QING-MING CHENG is called Q-curvature with respect to the metric g, a = ) + 1) ), b =, c = ), d = ) ) ). This operator P g is also called Paeitz operator or Braso-Paeitz operator. It is kow that Paeitz operator is coformally ivariat of bi-degree, + ), thatis, udercoformaltrasformatioofriemaiametricg = e w g 0, thepaeitz operator P g chages ito 1.3) P g f = e + w P g0 e w f). Let M ) be the set of Riemaia metrics o. For each g M ), the total Q-curvature for g is defied by Q[g] = Qdv. Whe =, from the Gauss-Boet theorem for dimesio, we have 1.) Q[g] = 1 W dv+8π χm ), M where W is the Weyl coformal curvature tesor ad χm ) is the Euler characteristic of M. Hece, we kow that the total Q-curvature is a coformal ivariat for dimesio. I[1], Nishikawa has studied the variatio of the total Q-curvature for a geeral dimesio. He has proved that a Riemaia metric g o a )- dimesioal compact maifold is a critical poit of the total Q-curvature fuctioal with respect to a volume preservig coformal variatio of the metric g, if ad oly if the Q-curvature with respect to the metric g is costat. Sice the Paeitz operator P g is a elliptic operator ad P g 1 = 0 for =, we kow that λ 0 = 0 is a eigevalue of P g. Gursky [10] show that if the Yamabe ivariat of M is positive ad the total Q-curvature is positive, the first eigevalue λ 1 is positive. For 6, Yag ad Xu [16] have proved the Paeitz operator P g is positive if the scalar curvature is positive ad Q-curvature is oegative. Furthermore, see [,, 6, 1]. For 3, we cosider the followig closed eigevalue problem o a -dimesioal compact maifold : 1.5) P g u = λu. Sice P g is a elliptic operator, the spectrum of P g o is discrete. We assume for ad for =, 0 < λ 1 < λ,λ k + 0 = λ 0 < λ 1 λ,λ k +.

3 EIGENVALUES OF THE PANEITZ OPERATOR 3 Whe =, Yag ad Xu [17] have itroduced a N-coformal eergy E c N,M ) if M ca be coformally immersed ito the uit sphere S N 1) ad have obtaied a upper boud for the first eigevalue λ 1 : λ 1 volm ) E c N,M ), where vol ) deotes the volume of. Furthermore, Che ad Li [8] have also studied the upper boud o the first eigevalue λ 1 whe M is cosidered as a compact submaifold i a Euclidea space R N. They have proved λ 1 M 16 H + 3 R) dv M H dv { volm ) } ad the equality holds if ad oly if M is a miimal submaifold i a sphere S N 1 r) for N > 5 ad M is a roud sphere S r) for N = 5. I [9], the secod eigevalue λ of the Paeitz operator P g is studied. By makig use of the coformal trasformatio itroduced by Li ad Yau [13], Che ad Li proved, for 7, λ vol ) 1 ) H dv + M Qdv if is a compact submaifold i the Euclidea space R N. Here H deotes the mea curvature of i R N. As they remarked, their method does ot work for 3 6. The purpose of this paper is to study eigevalues of the Paeitz operator P g i - dimesioal compact Riemaia maifolds. Our method is very differet from oe used by Che ad Li [9] ad Xu ad Yag [17]. From Nash s theorem, we kow that each compact Riemaia maifold ca be isometrically immersed ito a Euclidea space R N. Thus, we ca assume is a -dimesioal compact submaifold i R N. Theorem 1.1. Let M,g) be a -dimesioal compact submaifold with the metric g i R N. The, eigevalues of the Paeitz operator P g satisfy λ 1 M j 16 H + R) dv H 3 M dv volm ) ad the equality holds if ad oly if M is a roud sphere S r) for N = 5 ad M is a compact miimal submaifold with costat scalar curvature i S N 1 r) for N > 5. Corollary 1.1. Let M,g) be a -dimesioal compact submaifold with the metric g i the uit sphere S N 1). The, eigevalues of the Paeitz operator P g satisfy λ 1 M j 16 H +16+ R) dv H 3 M +1)dv volm ) ad the equality holds if ad oly if M is a compact miimal submaifold with costat scalar curvature i S N 1).

4 QING-MING CHENG Theorem 1.. Let,g) > ) be a -dimesioal compact submaifold with the metric g i R N. The, eigevalues of the Paeitz operator P g satisfy λ j+1 λ 1 ) 1 ) H u M 1dv++) g u 1, u 1 )dv M H u 1dv + g u 1, u 1 )dv ad the equality holds if ad oly if is isometric to a sphere S r), where u 1 is the ormalized first eigefuctio of P g. Remark 1.1. I our theorem 1., we do ot eed to assume the positivity of the Paeitz operaator P g. If the Paeitz operator P g is a positive operator, we have Theorem 1.3. Let,g) ) be a -dimesioal compact submaifold with the metric g i the uit sphere S N 1). The, eigevalues of the Paeitz operator P g satisfy H + )+a +b )R+ Q ) dv H λ 1 j < M M +1)dv. vol ). Eigevalues of the Paeitz operator o M Sice is a -dimesioal submaifold i R N. Let x 1,,x ) be a local coordiate system i a eighborhood U of p. Let y be the positio vector of p i R N, which is defied by y = y 1 x 1,,x ),,y N x 1,,x )). Let g deote the iduced metric of from R N ad <,> is the stadard ier product i R N. Thus, we have

5 .1) EIGENVALUES OF THE PANEITZ OPERATOR 5 Lemma.1. For ay fuctio u C ), we have g ij = g y α y β, ) =<, >= x i x j x i y α x i y β g y α, u)) = u, g y α, y α ) = y α =, y α ) = H, y α y α = 0, β=1 y α x i y α x j, where deotes the gradiet operator o ad H is the mea curvature of. Proof of Theorem 1. Let u i be a eigefuctio correspodig to eigevalue λ i such that {u i } i=0 becomes a orthoormal basis of L ), that is, { P g u i = λ i u i, M u i u j dv = δ ij, i,j = 0,1,. We defie a N N-matrix A as follows: A := a αβ ) where a αβ = y M α u 0 u β dv, for α,β = 1,,,N, ad y = y α ) is the positio vector of the immersio i R N. Usig the orthogoalizatio of Gram ad Schmidt, we kow that there exist a upper triagle matrix T = T αβ ) ad a orthogoal matrix U = q αβ ) such that T = UA, i.e., T αβ = q αγ a γβ = q αγ y γ u 0 u β dv = 0, 1 β < α N. γ=1 Defiig z α = N q αγ y γ, we get Puttig we ifer γ=1 z α u 0 u β dv = M M γ=1 M γ=1 ψ α := z α b α )u 0, b α := q αγ y γ u 0 u β dv = 0, 1 β < α N. M z α u 0dv, 1 α N, M ψ α u β dv = 0, 0 β < α N.

6 6 QING-MING CHENG Thus, from the Rayleigh-Ritz iequality, we have λ α ψα M dv ψ α P g ψ α dv, 1 α N. M Sice u 0 is costat ad.) P g ψ α = z α u 0 ) div [ 3 Rg Ric) z αu 0 ) ], accordig to the Stokes formula, we derive [ ] zα ) ψ α P g ψ α dv = u 0 +g M M 3 Rg Ric) z α, z α )u 0 dv. From the lemma.1, we have Hece,.3) O the other had, ψ α P g ψ α dv M [ ] zα ) = u 0 +g M 3 Rg Ric) z α, z α )u 0 dv = 16 H + M 3 R) u 0 dv. λ α ψαdv M 16 H + M 3 R) u 0dv. ψ α u 0 z α )dv M = z α u 0 u 0 b α )u 0 z α )dv M = z α u 0 ) dv. M Therefore, for ay positive δ > 0, we obtai from.3) λ 1 α M z α u 0 ) dv = λ 1 α ψ α u 0 z α )dv M 1 δλα ψα dv + 1 u 0 z α ) dv ) M δ M

7 EIGENVALUES OF THE PANEITZ OPERATOR 7 λ 1 α z α u 0 ) M dv.) 1 N δ λ α ψ αdv+ 1 u 0 z α ) dv ) M δ M 1 δ 16 H + M 3 R) u 0 dv H u 0 δ dv). M It is ot hard to prove that, for ay poit ad for ay α, Hece,.5) z α = g z α, z α ) 1. λ 1 α z α = N λ 1 i z i +λ 1 5 z A i=1 A=5 λ 1 i z i +λ 1 5 i=1 λ 1 i z i + i=1 λ 1 j. z j ) λ 1 j 1 z j ) We obtai, by.) ad.5), λ 1 j 1 δ 16 H + M 3 R) u 0dv H u δ 0dv ). M Takig M 16 H + 3 R) u 0 dv M 16 H u 0dv 1 δ = 1 we have, because of u 0 =, volm ).6) λ 1 M j 16 H + If the equality holds, we have λ 1 = λ = = λ N, R) dv H 3 M dv. volm )

8 8 QING-MING CHENG.7) z α b α ) = λ 5 δz α b α ). Accordig to Takahashi s theorem, we kow that M is a roud sphere S r) for N = 5 ad M is a miimal submaifold i a sphere S N 1 r) for N > 5 with N z α b α ) = r. Thus, we have λ 1 = λ = = λ N = 16 r δ. From the defiitio of the Paeitz operator P g, we have.8) P g z α b α ) = z α b α ) div [ 3 Rg Ric) z α b α ) ], that is, from.7) ad.8), we have λ 5 1 δ )z α b α ) = div [ 3 Rg Ric) z α b α ) ]. Accordig to N z α b α ) = r, we obtai Hece, λ 5 1 δ )r = g 3 Rg Ric) z α b α ), z α b α )). λ 5 1 δ )r = 3 R. Thus, the scalar curvature R is costat. Hece, M is a compact miimal submaifold with costat scalar curvature i a sphere S N 1 r). This fiishes the proof of theorem 1.1. Proof of Corollary 1.1. Sice the uit sphere S N 1) is a hypersurface i R N+1 with the mea curvature 1, M ca be see as a compact submaifold i R N+1 with the mea curvature H +1. Accordig to the theorem 1.1, we complete the proof of the corollary Eigevalues of the Paeitz operator o ) Proof of theorem 1.. Sice >, eigevalues of the Paeitz operator P g satisfy λ 1 < λ,λ k +. Let u i be a eigefuctio correspodig to eigevalue λ i such that {u i } i=1 becomes a orthoormal basis of L ), that is, { P g u i = λ i u i, u i u j dv = δ ij, i,j = 1,,.

9 EIGENVALUES OF THE PANEITZ OPERATOR 9 We shall use the same idea to prove the theorem 1.. But, i this case, we eed to use the first eigefuctio u 1, which is ot costat i geeral. Thus, we eed to compute may formulas. We defie a N N-matrix A as follows: A := a αβ ) where a αβ = y α u 1 u β+1 dv, for α,β = 1,,,N, ad y = y α ) is the positio vector of the immersio i R N. Thus, there is a orthogoal matrix U = q αβ ) such that z α u 1 u β+1 dv = 0, 1 β < α N, where z α = N q αγ y γ. Puttig we ifer γ=1 ϕ α := z α a α )u 1, a α := z α u 1dv, 1 α N, ϕ α u β dv = 0, 1 β α N. Thus, from the Rayleigh-Ritz iequality, we have 3.1) λ α+1 ϕ M α dv ϕ α P g ϕ α dv, 1 α N. P g ϕ α = P g z α u 1 ) a α P g u 1 = P g z α u 1 ) λ 1 a α u 1. P g z α u 1 ) = z α u 1 ) div [ a Rg +b Ric) z α u 1 ) ] + Qz α u 1 ) = z α u 1 + z α u 1 + g z α, u 1 ) +g z α, u 1 ))+z α u 1 +g z α ), u 1 ) div [ ] [ ] u 1 a Rg +b Ric) z α div zα a Rg +b Ric) u 1 + Qz α u 1 ) = z α u 1 + z α u 1 + g z α, u 1 )+g z α, u 1 ))+g z α ), u 1 ) div [ u 1 a Rg +b Ric) z α ] g zα,a Rg +b Ric) u 1 )+z α Pu 1 =r α +λ 1 z α u 1 with r α = z α u 1 + z α u 1 + g z α, u 1 ) +g z α, u 1 ))+g z α ), u 1 ) div [ u 1 a Rg +b Ric) z α ] g zα,a Rg +b Ric) u 1 ). Accordig to the Stokes formula, we derive r α u 1 dv = 0.

10 10 QING-MING CHENG Lettig w α = r α ϕ α dv ) ϕ α P g ϕ α dv = ϕ α Pg z α u 1 ) λ 1 a α u 1 dv M ) = ϕ α rα +λ 1 ϕ α dv. Hece, 3.) λ α+1 λ 1 ) ϕ αdv ϕ α r α dv = w α = z α u 1 r α dv, 1 α N. By a direct calculatio, we obtai z α u 1 g z α ), u 1 )dv = z α ) u 1dv M + z α g z α, u 1)dv z α z α )u 1dv, z α u 1 g z α, u 1 )dv = u 1 z α g z α, u 1 )dv M + z α u 1 g z α, u 1 )dv + g z α, u 1 ) dv z α u 1 g z α, u 1 ))dv = u 1 z α z α u 1 dv M u 1 u 1 g z α, z α )dv z α g z α, u 1 ) u 1 dv. Thus, we derive λ α+1 λ 1 ) ϕ αdv w α = z α u 1 r α dv M 3.3) = u1 z α +g z α, u 1 ) ) dv + u 1g ) a Rg +b Ric) z α, z α dv M g z α, z α )u 1 u 1 dv, 1 α N. From the lemma.1, we have 3.) λ α+1 λ 1 ) ϕ αdv M H +a +b )R ) u 1 dv++) g u 1, u 1 )dv.

11 EIGENVALUES OF THE PANEITZ OPERATOR 11 O the other had, ) ϕ α u 1 z α +g z α, u 1 ) dv M ) 3.5) = z α a α )u 1 u 1 z α +g z α, u 1 ) dv M = u 1 z α dv. M Therefore, for ay positive δ > 0, we obtai, from 3.5), λ α+1 λ 1 ) 1 u 1 z α dv ) 3.6) = λ α+1 λ 1 ) 1 ϕ α u 1 z α +g z α, u 1 ) dv 1 { δλ α+1 λ 1 ) ϕ α dv + 1 } u 1 z α +g z α, u 1 )) dv. M δ Accordig to 3.) ad 3.6), we ifer λ α+1 λ 1 ) 1 u 1 z α dv 1 { δ λ α+1 λ 1 ) ϕ 3.7) αdv+ 1 u1 z α +g z α, u 1 ) ) } dv M δ 1 {M δ H +a +b )R ) } u 1dv ++) g u 1, u 1 )dv + 1 { } H u 1 δ dv+ g u 1, u 1 )dv. By the same proof as the formula.5) i the sectio, we have 3.8) λ α+1 λ 1 ) 1 zα λ j+1 λ 1 ) 1. Hece, we obtai λ j+1 λ 1 ) 1 3.9) 1 M δ H +a +b )R ) ) u 1dv ++) g u 1, u 1 )dv + 1 ) H u 1 δ dv+ g u 1, u 1 )dv. Lettig S deote the squared orm of the secod fudametal form of, from the Gauss equatio, we have R = 1) H S H ) 1) H.

12 1 QING-MING CHENG Sice we have Takig we have 3.10) 1 δ = a +b = 1) > 0, H +a +b )R ) H. H u 1 dv+ g u 1, u 1 )dv M ) H u 1dv++) g u 1, u 1 )dv λ j+1 λ 1 ) 1 If the equality holds, we have ) H u 1 M dv ++) g u 1, u 1 )dv M H u 1 dv+ g u 1, u 1 )dv λ = λ 3 = = λ N, ad S H. Thus, is totally umbilical, that is, is isometric to a sphere. It completes the proof of the theorem 1.. Corollary 3.1. Let,g) > ) be a -dimesioal compact submaifold with the metric g i the uit sphere S N 1). The, eigevalues of the Paeitz operator P g satisfy λ j+1 λ 1 ) ) ) H +1) u M 1dv++) g u 1, u 1 )dv M H +1)u 1dv + g u 1, u 1 )dv ad the equality holds if ad oly if is isometric to a sphere S r), where u 1 is the ormalized first eigefuctio of P g. Proof of Theorem 1.3. Sice, we assume that eigevalues of the Paeitz operator P g satisfy 0 < λ 1 < λ,λ k +.

13 EIGENVALUES OF THE PANEITZ OPERATOR 13 Let u i be a eigefuctio correspodig to eigevalue λ i such that {u i } i=1 becomes a orthoormal basis of L ), that is, { P g u i = λ i u i, u i u j dv = δ ij, i,j = 1,,. We shall use the similar method to prove the theorem 1.3. We defie a N +1) N +1)-matrix A as follows: A := a αβ ) where a αβ = y α u β dv, for α,β = 1,,,N + 1, ad y = y α ) is the positio vector of the immersio i R N+1 with y = N+1 y α = 1. Thus, there is a orthogoal matrix U = q αβ ) such that z α u β dv = 0, 1 β < α N +1, where z α = N+1 Puttig we ifer γ=1 q αγ y γ. Sice U is a orthogoal matrix, we have N+1 z α = 1. ψ α := z α, 1 α N +1, ψ α u β dv = 0, 1 β < α N +1. Thus, from the Rayleigh-Ritz iequality, we have λ α ψα M dv ψ α P g ψ α dv, 1 α N ) P g ψ α = P g z α ). Accordig to the Stokes formula, we derive [ zα ) ψ α P g ψ α dv = +ga Rg +b Ric) z α, z α )+ Qz α ) ]dv M From the lemma.1, we have N+1 ψ α P g ψ α dv 3.13) N+1 = = [ zα ) +ga Rg +b Ric) z α, z α )+ Qz α ) ]dv H + )+a +b )R+ M Q ) dv.

14 1 QING-MING CHENG Hece, 3.1) N+1 λ α ψαdv M H + )+a +b )R+ M O the other had, 3.15) ψ α z α )dv = z α z α dv = z α dv. Therefore, for ay positive δ > 0, we obtai 3.16) ad 3.17) N+1 λ 1 α z α dv = λ 1 α ψ α z α )dv 1 δλα ψα dv + 1 z α ) dv ) M δ λ 1 α z α dv 1 N+1 δ λ α ψα dv+ 1 N+1 z α ) dv ) M δ 1 [ δ H + )+a +b )R+ Q ) dv M + 1 ] H + )dv. δ By usig the same proof as the formula.5) i the sectio, we have 3.18) N+1 λ 1 α z α λ 1 j. Q ) dv. Thus, we obtai λ 1 j vol ) 1 [ δ H + )+a +b )R+ Q ) dv M 3.19) + 1 ] H + )dv. δ Takig 1 δ = M H + )+a +b )R+ Q ) dv M H + )dv

15 EIGENVALUES OF THE PANEITZ OPERATOR 15 we have H + )+a +b )R+ Q ) dv H λ 1 j M M +1)dv. vol ) If the equality holds, we have z 1 1 because of λ 1 < λ ad Sice we have Thus, λ = λ 3 = = λ N+1, z 1 = λ 1 δz 1, z α = λ δz α for α > 1. N+1 z α = 1, λ δ + λ δ λ 1 δ)z 1 = 0. λ δ = λ 1 δ or z 1 is costat. It is impossible because z 1 1 ad λ 1 < λ. Therefore, the equality does ot hold. It completes the proof of the theorem 1.3. Refereces [1] Braso T. P., Group represetatios arisig from Loretz coformal geometry, J. Fuct. Aal., ), [] Braso T. P., Chag S.-Y. A. ad Yag P. C., Estimates ad extremal for zeta fuctio determiats o four-maifolds, Comm. Math. Phys., ), 1-6. [3] Chag S.-Y.A., Coformal ivariats ad partial differetial equatios, Bull. Am. Math. Soc., 005), [] Chag S.-Y.A. ad Yag P. C., Extremal metrics of zeta fuctio determiats o -maifolds, A. of Math., ), [5] Chag S.-Y. A., Hag F. ad Yag P. C., O a class of locally coformally flat maifolds, It. Math. Res. Not. 00, [6] Chag S.-Y. A., Gursky M. J. ad Yag P. C., Regularity of a fourth order oliear PDE with critical expoet, Amer J. Math., ), [7] Che D. G. ad Cheg Q. -M., Extrisic estimates for eigevalues of the Laplace operator, J. Math. Soc. Japa, ), [8] Che D. G. ad Li H., The sharp estimates for the first eigevalue of Paeitz Operator o -dimesioal submaifolds, arxiv: , 010. [9] Che D. G. ad Li H., Secod eigevalue of Paeitz operator ad the mea curvature, Comm. Math. Phys., ), [10] Gursky M. J., The Weyl fuctioal, de Rham cohomology, ad Kähler-Eistei metrics, A. of Math., ), [11] Gursky M. J., The pricipal eigevalue of a coformally ivariat differetial operator, with a applicatio to semiliear elliptic PDE, Comm. Math. Phys., ), [1] Hebey E. ad Robert F., Coercivity ad Struwefs compactess for Paeitz type operators with costat coefficiets, Calculus of variatios ad PDEs, ), o., 91?517.

16 16 QING-MING CHENG [13] Li P. ad Yau S.-T., A ew coformal ivariat ad its applicatio to the Willmore cojecture ad the first eigevlalue of compact surfaces, Ivet. Math., ), [1] Nishikawa S., Coformal variatio of the total Q-curvature, Geometry ad Somethig 011, Fukuoka, [15] Paeitz S., A quartic coformally covariat differetial operator for arbitrary pseudo- Riemaia maifolds, Preprit, [16] Xu X. W. ad Yag P. C., Positivity of Paeitz operators, Discrete ad Cotiuous Dyamical Systems, 7 001), [17] Xu X. W. ad Yag P. C., Coformal eergy i four dimesio, Math. A. 3 00), Departmet of Applied Mathematics, Faculty of Scieces, Fukuoka Uiversity, Fukuoka , Japa cheg@fukuoka-u.ac.jp