arxiv: v1 [math.dg] 14 Nov 2018

Transcription

1 arxiv:8.0567v [math.dg] Nov 08 WILLMORE TYPE INEQUALITY USING MONOTONICITY FORMULAS XIAOXIANG CHAI Abstract. Simon type monotonicity formulas for the Willmore functional H in the hyperbolic space H n and S n are obtained. The formula gives a lower bound of H where is any closed surface in H n.. Introduction We study the Willmore functional H for a -surface in the standard hyperbolic n-space H n of constant sectional curvature - and standard n-sphere S n. Here H is the mean curvature vector of in the respective ambients. Willmore established the following classic result in the Euclidean space R 3, Theorem. (See for example [Wil7]) Given any closed smooth -surface R 3, () H 6π with equality occurring if and only if is a standard sphere of any radius. There are many proofs of the inequality(). For instance, one can invoke classical differential geometry methods (see for example [Küh05, Theorem.6]), and Simon [Sim93] (cf. Gilbarg and Trudinger [GT83, Eq. (6.3)]) obtained the inequality using a monotonicity formula. By a stereographic projection from S 3 \{0,0,0,} R to R 3 {0}, one obtains an analog result for S 3 from the result of the Euclidean 3-space. Theorem. (See Introduction in [MN]) Given any closed smooth surface S 3, H π with equality if and only if is a geodesic sphere in S 3. Chen [Che7] observed the conformal invariance properties of the Willmore functional, so his proof worked well for both the hyperbolic n-space and n-sphere. Corollary. (See [Che7]) Give any closed smooth -surface H n, () H π+

2 XIAOXIANG CHAI with equality occurring if and only if lies in a H 3 subspace as a geodesic sphere. We are concerned with the hyperbolic case mainly, and with the notations not clarified now we have the following result. Theorem 3. Give any closed -surface H n, if o is a point of multiplicity k, (3) +kπ = w X + H + It easily implies Chen s result [Che7] as a corollary. Also, based on a similar idea, we prove for a surface S n the following theorem. Theorem. Given any closed S n and 0 < σ < ρ < π, if o is a point of multiplicity k, then φ(ρ) =φ(ρ) X H ρ cosr+kπ ρ ρ w X + H ρ + ρ Since our proofs are based on monotonicity formulas, one can follow the same philosophy in [HS7] and generalize Theorem 3 and to general Riemannian manifolds with upper sectional curvature bounds. However, for the purpose of a clear exposition, we deal only with the two special cases H n and S n. Acknowledgements. I would like to thank sincerely my PhD advisor Prof. Martin Man-chun Li at the Chinese University of HK for continuous encouragement and support.. Preliminaries First, we recall a basic comparison theorem of sectional curvature. Lemma. (See Theorem 7 of [Pet98, Chapter 5]) Assume that (M n,g) satisfies sec K, the metric g written in geodesic polar coordinates centered at x M is dr +g r, then Here, sn K is defined to be Hess M r sn K (r) sn K (r) g r. sn K (r) = K sin( Kr) if K > 0; sn K (r) = r if K = 0; sn K (r) = K sinh( Kr) if K < 0. If K > 0, the estimate on Hess M r is only valid with r < π K. Suppose that the Levi-Civita connection on (M,g) is, then r(y) = dist M (x,y) gives a vector field r. We define X to be the following, X = sn K (r) r.

3 WILLMORE TYPE INEQUALITY USING MONOTONICITY FORMULAS 3 Given any -surface in (M,g), we are concerned with an estimate of the quantity div X. Lemma. Given any x M n with sec K, div X sn K (r). Proof. Let {e i },i =, be a chosen orthonormal frame spanning T, we use the convention of summation over repeated indices, and apply Theorem, div X = ei X,e i Hence the proof is concluded. = ei (sn K (r) r),e i = [sn K (r) ei r,e i +sn K (r) e ir ] = [sn K (r)hess M r(e i,e i )+sn K (r) e ir ] sn K (r)[g r(e i,e i )+ e i r ] = sn K (r)[g r(e i,e i )+ e i r ] = sn K(r)g(e i,e i ) = sn K(r). Although one can obtain the same estimate by Jacobi fields or exponential maps similar to that of [HS7], using Lemma is much more direct and convenient in our settings. 3. Willmore type inequalities Our main result Theorem 3 is a finer version of the Willmore type inequality (). In its proof we established a monotonicity formula (5). Let φ(r) = w(r) = r 0 sinhtdt. Note that w(r) is a constant multiple of the volume of a H -geodesic ball. We see that φ (r) = sinhr/w. Proof. Let and be respectively the connections on H n and. Given any number σ > 0, we define a cutoff version of φ as φ σ (r) = φ(max{σ,r}). Let r(x) = dist H n(o,x) be the geodesic distance from o to any point x H n and ρ = {x : r(x) < ρ}. We choose the Lipschitz vector field Y(x) = (φ σ (r) φ(ρ)) + X where 0 < σ < ρ <. Let V(x) = coshr(x) = sn (r), we see that V = X. V is called a static potential in general relativity literatures, see Chrusciel and Herzlich [CH03]. We often write φ instead of φ(r) and similarly for other quantities. We make use of the first variation formula, () div Y = Y,H, where H is the mean curvature vector. We calculate div Y first. By Lemma, div Y = (φ σ φ(ρ))v +sinhr r ((φ σ φ(ρ)) + ). Note that r, the length of r along normal direction of is r = r. Integrating div Y over then gives

4 XIAOXIANG CHAI (5) div Y = φ(ρ) + V +φ(σ) V + φv ρ σ ρ,σ φ (r)sinhr( r ) ρ\ σ = φ(ρ) V +φ(σ) V ρ σ + ρ \ σ φ (r)sinhr r, ρ\ σ where we have used a consequence of a simple calculus, (6) φv +φ sinhr =. Since H is a vector normal to, (7) (8) We then have (9) Y,H = (φ σ (r) φ(ρ)) + sinhr r H ρ =φ(ρ) sinhr r H φ(σ) sinhr r H ρ σ φsinhr r H. ρ\ σ φsinhr r H+φ sinhr r = w X H X w = w X + H + H, where X = sinhr r is the normal component to of the vector field X. To collect (5), (8) and (9), one has (0) V +φ(σ) V + ρ \ σ ρ σ sinhr r H φ(σ) sinhr r H ρ σ w X + H + ρ\ σ φ(ρ) =φ(ρ) ρ\ σ Then (0) is the monotonicity formula we desired. Since is closed, letting ρ + and σ 0, the above greatly simplifies as + lim φ(σ) V = σ 0 σ w X + H + Since σ is locally Euclidean with multiplicity k o and V(0) =, the fact that the limit

5 WILLMORE TYPE INEQUALITY USING MONOTONICITY FORMULAS 5 () will give finally (3). lim φ(σ) V = lim σ 0 σ πσ σ σ 0 0 sinhtdt σ = π lim σ 0 πσ = kπ ( ) πσ V σ If has multiplicity greater than somewhere, () is similar to that of Li and Yau [LY8] when a point in is covered multiple times by the immersion. In fact, we have the following interesting result analogous to [LY8, Theorem 6], Corollary. Give any closed -surface H n, () H < +8π, then is embedded in H n. Proof. If is of multiplicity at least two somewhere x, then by (), H +8π, but this contradicts with (). Hence, has to be embedded. When H n is a surface with boundary, one should apply the first variation formula with boundary, div Y = Y,H + Y,η, where η is the outward pointing normal of to. We prove similarly, Corollary 3. Suppose that is a -surface with nonempty boundary, if o is an interior point of, then +π w X,η and if o is a boundary point of, then w X + H + H ; +π w X,η w X + H + We now give an estimate of H in the same fashion as [GT83, Eq. (6.3] and arrive the following. Theorem 5. Given any closed -surface in H n and a real number ρ > 0, then (3) π+ ρ V + w(ρ) ρ Proof. The proof goes as before with some modifications. From (), (7), (5) and (6), and also using the shorthand X = sinhr r we have

6 6 XIAOXIANG CHAI () φ(ρ) V +φ(σ) V + ρ \ σ ρ σ = (φ σ φ(ρ)) + X H ρ For any x ρ \ σ, we claim the following (5) (φ σ φ(ρ)) + X H X Then from () and (5), we have w H. φ(ρ) V +φ(σ) V + ρ \ σ ρ σ = (φ σ φ(ρ)) + X H+ σ (φ σ φ(ρ)) + X H+ σ ρ\σ X w, H ρ\ σ By letting σ 0, we obtain (3) immediately. Now we turn to the proof of the claimed estimate (5). Indeed, when X H 0, the inequality is trivial. When X H 0, we have similar to (9) that (φ σ φ(ρ)) + X H X w = w X + H H. + H +φ(ρ)x H Hence the proof is concluded. Now we turn to the case of surfaces an n-sphere S n. Proof. Let r(x) = dist S n(x,o), X = sinr r, φ(r) = w(r) = r sintdt. We 0 proceed similarly as the proof of Theorem 3 noting the relation φcosr +φ sinr =. Similar to the proof of Theorem 5, we have Theorem 6. Given any closed -surface in S n and a real number 0 < ρ < π, then π ρ cosr+ w(ρ) ρ Remark. The reason that we do not take a limit ρ is the existence of conjugate points in S n.

7 WILLMORE TYPE INEQUALITY USING MONOTONICITY FORMULAS 7. Equality case of Corollary Now we turn to discuss the equality case of Corollary. We recall some basics of the hyperboloid model of the hyperbolic space H n. The readers can find relevant materialsin [Pet98, Chapter3]. H n canberealizedasapseudo-sphereinminkowski space i.e. H n = {x = (x 0,x,...,x n ) R,n : x,x =,x 0 > 0}, where the bilinear form, is defined to be x,y = x 0 y 0 +x y + +x n y n. The notation, is still used because of no confusion caused. By differentiating the relation x,x =, we find that the tangent space T x H n at x H n is {y R,n : x,y = 0}. By restricting, to T x H n, we get the standard Riemannian metric, TxH n on Hn. The geodesic passing through x H n with unit velocity z T x H n is (6) x(ρ) = xcoshρ+zsinhρ, ρ (, ). If we know the endpoints x y of a geodesic segment, we can solve ρ = ρ(x,y) and z := z(x,y) T x H n, (7) x,y = coshρ,z = sinh ρ(y +x x,y ). Theorem 7. The equality holds in (3) if and only if lies in a H 3 subspace as a geodesic -sphere. Proof. One easily verifies the equality of (3) for geodesic -spheres. If equality holds in (3), then is of multiplicity one at every point of x by Corollary. Also, there is some point y such that H(y) 0. Most importantly, the mean curvature vector H at y can be evaluated in terms of (8) sinhρ H(y) = w(ρ) τ, where ρ and τ T y H n are respectively the length and the velocity vectorat y of the geodesic segment from from any x to y. Let {e,e } span T y, note that (8) says that τ is a linear combination of {e,e,h(y)}, and hence every point x lies in a H 3 subspace of H n. H 3 is totally geodesic in H n, we can then consider n = 3 only. Now we identify every point and the tangent space as elements in R,3, and from (6), τ = xsinhρ+zcoshρ. Let ν be the outward pointing normal of in H 3 at y, by (7),

8 8 XIAOXIANG CHAI sinhρ H(y) = w(ρ) xsinhρ+zcoshρ,ν ν = sinh ρ w(ρ) coshρ x,ν ν + y +x x,y,ν ν w(ρ) = sinh ρ coshρ x,ν ν + w(ρ) w(ρ) x,ν x,y ν = sinh ρ w(ρ) x,ν ν cosh ρ w(ρ) x,ν ν = w(ρ) x,ν ν. Since H = Hν, the mean curvature H at y of immersed in H 3 is (9) H(y) = x,ν w(ρ) = x,ν coshρ = x,ν + x,y. We prove now that H(y) can not be less than 0. Assume on the contrary that H(y) = cotht < 0, we fix the coordinates of R,3 now by setting the point exp y ( tν) to be o = (,0,...,0) R,n, where exp y is the exponential map of H 3 at y. Note that o is the origin under polar coordinates [0, ) S R,n (s,θ) (coshs,θsinhs), where θ S R 3. We assume that y = (cosht,θsinht) since the distance from o to y is t, and x = (cosh t, θsinh t), t > 0. ν is then (sinht,θcosht). By inserting the values of y,ν and x to the identity (9), we get cotht = cosh tsinht+sinh tcoshtθ θ coshtcosh t+sinhtsinh tθ θ. Here θ θ is the standard R 3 inner product. This readily reduces to 0 = sinh tsinhtcoshtθ θ cosh tsinh t +cosht cosh tcosh t = sinh tsinh(t)θ θ cosh tcosh(t) which is however not possible since θ θ. So H(y) > 0. So we set instead H(y) = cotht > 0. We use this t and do the same thing as before, we arrive cotht = cosh tsinht+sinh tcoshtθ θ coshtcosh t+sinhtsinh tθ θ, and finally t = t. Then has to be a geodesic sphere of radius t.

9 WILLMORE TYPE INEQUALITY USING MONOTONICITY FORMULAS 9 References [CH03] Piotr T. Chruściel and Marc Herzlich. The mass of asymptotically hyperbolic Riemannian manifolds. Pacific journal of mathematics, ():3 6, 003. [Che7] Bang-Yen Chen. Some conformal invariants of submanifolds and their applications. Boll. Un. Mat. Ital, 0(): , 97. [GT83] David Gilbarg and Neil S. Trudinger. Elliptic Partial Differential Equations of Second Order. Springer Berlin Heidelberg, Berlin, Heidelberg, 983. [HS7] David Hoffman and Joel Spruck. Sobolev and isoperimetric inequalities for Riemannian submanifolds. Communications on Pure and Applied Mathematics, 7(6):75 77, 97. [Küh05] Wolfgang Kühnel. Differential Geometry: Curves - Surfaces - Manifolds, Second Edition. American Mathematical Society, Providence, R.I, edition edition, 005. [LY8] Peter Li and Shing-Tung Yau. A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Inventiones mathematicae, 69():69 9, 98. [MN] Fernado Coda Marques and Andre Neves. Min-Max theory and the Willmore conjecture. Annals of Mathematics, 79():638 78, 0. [Pet98] Peter Petersen. Riemannian geometry, volume 7 of Graduate Texts in Mathematics. Springer-Verlag, New York, 998. [Sim93] Leon Simon. Existence of surfaces minimizing the Willmore functional. Communications in Analysis and Geometry, ():8 36, 993. [Wil7] T. J. Willmore. Mean Curvature of Riemannian Immersions. Journal of the London Mathematical Society, s-3():307 30, 97. address: chaixiaoxiang@gmail.com