arxiv:math/ v1 [math.dg] 7 Jun 2004

Transcription

1 arxiv:math/46v [math.dg] 7 Jun 4 The First Dirichlet Eigenvalue and Li s Conjecture Jun LING Abstract We give a new estimate on the lower bound for the first Dirichlet eigenvalue for the compact manifolds with boundary and positive Ricci curvature in terms of the diameter and the lower bound of the Ricci curvature and give an affirmative answer to the conjecture of P. Li for the Dirichlet eigenvalue. Introduction Let (M, g) be an n-dimensional compact Riemannian manifold that has a positive lower bound for the Ricci curvature Ric(M), () Ric(M) (n )K > for some constant K >, and has a non-empty boundary M whose mean curvature with respect to the outward normal is nonnegative. Let be the Laplac-Betrimi operator, λ the first Dirichlet eigenvalue of, unless otherwise stated. Reilly[] gave a version of Lichnerowicz-type estimate for the first Dirichlet eigenvalue of such manifolds, namely () λ nk. Escobar[3] give a Neumann version of the estimate with the assumption that the boundary is weakly convex with respect to the outward normal. On the other hand, it has been proved by Li-Yau[6] and Zhong-Yang[4] that if M is a compact manifold with nonnegative Ricci curvature, then the first positive closed eigenvalue λ of the manifold has a lower bound estimate (3) λ π d, Mathematics Subject Classification 35P5, 58J5

2 where and below d is the diameter of M. It is an interesting and reasonable problem to find a unified lower bound in terms of the lower bound (n )K of the Ricci curvature and the diameter d of the manifold for any compact manifold with positive Ricci curvature. P. Li conjectured that (4) λ π d + (n )K. for the first positive closed or Dirichlet or Neumann eigenvalue λ. There have been some attempts and progress on the conjecture, say Yang[], but there was no affirmative or negative answer. In this paper we give a new estimate the lower bound of the first Dirichlet eigenvalue λ and an affirmative answer to the conjecture of P. Li for the first Dirichlet eigenvalue λ. The following is the main result. Main Theorem. If M is an n-dimensional compact manifold with boundary. Suppose that Ricci curvature Ric(M) of M is bounded from below by (n )K for some positive constant K, i. e. Ric(M) satisfies (), and that the mean curvature of the boundary M with respect to the outward normal is nonnegative, then the first Dirichlet eigenvalue λ of M has the following lower bound (5) λ π ( d) + (n )K, where d is the diameter of the inscribed disk in M, that is, d = sup {dist(x, M)}. x M Since d d, we have the following Corollary. Li s conjecture (4) is true for the first Dirichlet eigenvalue λ. Preliminary Estimates The first basic estimate is of Lichnerowicz-type. Recall that the classic Lichnerowicz Theorem[7] states that if M is an n-dimensional compact manifold without boundary whose Ricci curvature satisfies () then the first positive closed eigenvalue has a lower bound in (). Reilly[] proved that this Lichnerowicz-type estimate is true for the first Dirichlet eigenvalue λ as well

3 if the manifold has the same lower bound for the Ricci curvature and has non-empty boundary whose mean curvature with respect to the outward normal is nonnegative. For the completeness and consistency, we derive this estimate below, using Li-Yau s method (see Li and Yau[6], or Li and Treibergs[4]). Lemma. Under the conditions in the Main Theorem, the estimate () holds. Proof. Let v be a normalized eigenfunction of the first Dirichlet eigenvalue such that (6) supv =, M inf M v =. The function v satisfies the following (7) v = λv in M (8) v = on M. Take an orthonormal frame {e,...,e n } of M about x M. At x we have ej ( v )(x ) = v i v ij and ( v )(x ) = v ij v ij + v i v ijj i,j= i,j= = v ij v ij + v i v jji + R ij v i v j i,j= i,j= i,j= = v ij v ij + v ( v) + Ric( v, v) i,j= v ii + v ( v) + (n )K v n ( v) λ v + (n )K v. 3

4 Thus at all point x M, (9) ( v ) n λ v + [(n )K λ] v. On the other hand, after multiplying (7) by v and integrating both sides over M and using (8), we have λv dx = v v dx M = v M ν v ds + v dx = v dx, M M where and below ν is the outward normal of M. That the integral on the boundary vanishes is due to (8). Integrating (9) over M and using the above equality, we get () M ν ( v )dx (nk λ) n M n λv dx. We need show that ν ( v ) on M. Take any x M. If v(x ) =, then it is done. Assume now that v(x ). Choose a local orthonormal frame {e,e,,e n } of M about x so that e n is the unit outward normal vector field near x M and {e,e,,e n } M is a local frame of M about x. The existence of such local frame can be justified as the following. Let e n be the local unit outward normal vector field of M about x M and {e,,e n } the local orthonormal frame of M about x. By parallel translation along the geodesic γ(t) = exp te n, we may extend e,, e n to local vector fields of M. Then the extended frame {e,e,,e n } is what we need. Note that en e i = for i n. Since v M =, we have v i (x ) = for i n. Using (6)-(8) in the M 4

5 following arguments, then we have that, at x, () ν ( v )(x ) = v i v in = v n v nn n n = v n ( M v v ii ) = v n ( λv v ii ) n n = v n v ii = v n (e i e i v M e i e i v) n n = v n M e i e i v = v n j= g( M e i e i,e j )v j n n = vn g( M e i e i,e n ) = vn g( M e i e n,e i ) n = vn h ii = vn (x )m(x ) by the non-negativity of m, where g(,) is the Riemann metric of M, (h ij ) is the second fundamental form of M with respect to the outward normal ν and m is the mean curvature of M with respect to ν. Therefore () holds. Lemma. Let v be, as the above, the normalized eigenfunction for the first Dirichlet eigenvalue λ. Then v satisfies the following () v b v λ, where b > is an arbitrary constant. Proof. Consider the function (3) P(x) = v + Av, where A = λ( + ǫ) for small ǫ >. Function P must achieve its maximum at some point x M. Suppose that x M. Take the same local orthonormal frame {e,e,,e n } of M about x as in the proof of Lemma, where e n is the unit outward normal vector field near x M, 5

6 {e,e,,e n } M is a local frame of M about x and en e i = for i n. Since v M =, we have v i (x ) = and P i (x ) = ei ( v )(x ) + Av(x )v i (x )) for i n. Using argument in proving (), we get en ( v )(x ) by the non-negativity of the mean curvature m of M with respect to the outward normal. Thus by v M =, P n (x ) = en ( v )(x ) + Av(x )v n (x )). On the other hand P n (x ) since P achieves its maximum at x. Thus P n (x ) = and v(x ) =. Therefore we have the estimate P(x ) = Av(x ) Amax v A We claim that if P achieves its maximum at a point x M\ M then we must have v(x ) =. If on the contrary, v(x ), then we can rotate the local orthonormal about x such that v (x ) = v(x ) and v i (x ) =, i. Since P achieves its maximum at x M\ M, we have, That is, at x we have P(x ) = and P(x ). = ip = v j v ji + Avv i, j= (4) v = Av and v i = i, 6

7 and P(x ) = (v ji v ji + v j v jii + Av i v i + Avv ii ) i,j= ( = v ji + v j (v ii ) j + R ji v j v i + Avii ) + Avv ii i,j= = vji + v ( v) + Ric( v, v) + A v + Av v i,j= v + v ( v) + (n )K v + A v + Av v = ( Av) λ v + (n )K v + A v λav = (A λ + (n )K) v + Av (A λ) where we have used (4) and (). Therefore at x, (5) (A λ) v + A(A λ)v, that is, v(x ) + λ( + ǫ)v(x ). Thus v(x ) =. This contradicts v(x ). So the above claim is right. Therefore in any case, if P achieves its maximum at a point x, then v(x ) =. Thus and at all x M P(x ) = v(x ) + Av(x ) = Av(x ) A. v(x) + Av(x) = P(x) P(x ) A Letting ǫ in the above inequality, the estimate () follows. We want to improve the upper bound in () further and proceed in the following way. Define a function F by F(t) = The estimate in () becomes max x M,t=sin (v(x)/b) v b v. (6) F(t) λ on [,sin (/b)]. 7

8 Define a function Z by Then from (6) we have F(t) = λz(t). (7) Z(t) on [,sin (/b)] For convenience, in this paper we let (8) α = (n )K and δ = α/λ. By () we have (9) δ n n. We have the following theorem on the behavior of the barriers of the function Z. Theorem. If the function z : [, sin (/b)] R satisfies the following. z(t) Z(t) t [,sin (/b)],. there exists some x M such that at point t = sin (v(x )/b) z(t ) = Z(t ), 3. z(t ) >, 4. z extends to a smooth even function, 5. z (t )sin t, then we have the following () z (t )cos t z (t )cos t sin t z(t ) + δ cos t. Proof. Define { } v J(x) = b v λz cos t, where t = sin (v(x)/b). Then J(x) for x M and J(x ) =. If v(x ) =, then = J(x ) = λz cos t. 8

9 This contradicts Condition 3 in the theorem. Therefore v(x ). Suppose now that J achieves its maximum at a point x M. We want to show that v(x ) =. If on the contrary, v(x ). Then we take the same local orthonormal frame {e,e,,e n } of M about x as in the proof of Lemma, where e n is the unit outward normal vector field near x M, {e,e,,e n } M is a local frame of M about x and en e i = for i n. Since v M =, we have v i (x ) =. That v(x ) = implies that t(x ) =, z (t(x )) = z () = since z extends to a smooth even function. Therefore en J(x ) = b ( v ) n λcos t[z cos t z sint]t n = ( v ) b n, Last inequality is due to the nonnegativity of the mean curvature m of M with respect to the outward normal and the argument in proving (). On the other hand J n (x ) since J(x ) is its maximum. Thus ( v ) b n = J n (x ), ( v ) n = and ( v ) =. Now = J(x ) = λz() = λz(). This contradicts Condition 3 in the theorem. Thus we must have x M\ M. The Maximum Principle implies that () J(x ) = and J(x ). J(x) can be rewritten as J(x) = b v λz cos t. Thus () is equivalent to () b v i v ij = λcos t[z cos t z sin t]t j i 9

10 and (3) b vij + b v i v ijj λ(z t + z t)cos t i,j i,j +4λz cos t sin t t λz cos t. Rotate the frame so that v (x ) and v i (x ) = for i. Then () implies (4) v = λb (z cos t z sin t) and v i = for i. Now we have v = λb z cos t, t = v b v = λz, v = sin t = cos t t sin t t, b t = cos t (sin t t + v b ) cos t = cos t [λz sin t λ b v], and ) = ( v b = b v b v v = λz cos t + b λv. Therefore, b i,j = λ v ij b v (z ) cos t λ zz cos t sin t + λ z sin t,

11 b v i v ijj = ( v ( v) + Ric( v, v)) b i,j b ( v ( v) + (n )K v ) = λ z cos t + 4αλz cos t, λ(z t + z t)cos t = λ zz cos t λ zz cos t sin t + b λ z v cos t, and 4λz cos t sin t t λz cos t = 4λ zz cos t sint + λ z cos t b λ zv sin t. Putting these results into (3) we get (5) λ zz cos t + λ (z ) cos t + λ z cos t (z sin t + sin t) + λ z λ z + 4αλz cos t, where we used (4). Now (6) z(t ) >, by Condition 3 in the theorem. Dividing two sides of (5) by λ z, we have Therefore, z (t )cos t + ( z (t )cos t sin t + sin t ) + z(t ) z(t ) + δ cos t + 4z(t ) (z (t )) cos t. z (t )cos t + z (t )cos t sin t + z(t ) + δ cos t (7) + 4z(t ) (z (t )) cos t + z (t )sin t cos t [ z(t ) ].

12 Conditions, and 5 in the theorem imply that < z(t ) = Z(t ) and z (t )sin t. Thus the last two terms in (7) are nonnegative and () follows. 3 Proof of Main Theorem Proof of Main Theorem. Let (8) z(t) = + δξ(t), where ξ is the functions defined by (38) in Lemma 3. By that lemma, it is easy to that z satisfies the conditions in Theorem. We claim that (9) Z(t) z(t) for t [,sin (/b)]. Lemma 3 implies that for t [,sin (/b)], we have the following (3) (3) (3) (33) (34) z cos t z cos t sin t z = + δ cos t, z (t) and z (t)sin t, z is a smooth even function, < ( π 4 )n n (π )δ = z() z(t), and 4 z(t) z( π ) =. Thus Let P R and t [,sin (/b)] such that P = max (Z(t) z(t)) = Z(t ) z(t ). t [,sin (/b)] (35) Z(t) z(t)+p for t [,sin (/b)] and Z(t ) = z(t )+P. Suppose that P >. Then z + P satisfies () in Theorem. Then z(t ) + P = Z(t ) (z + P) (t )cos t (z + P) (t )cos t sint + δ cos t = z (t )cos t z (t )cos t sin t + δ cos t = z(t ).

13 This contradicts the assumption P >. Thus P and (9) must hold. That means (36) λ t z(t). Take q on M such that v(q ) = = sup M v and and q M such that distance d(q,q ) = distance d(q, M). Let L be the minimum geodesic segment between q and q. We integrate both sides of (36) along L from q to q and change variable and let b. Let d be the diameter of the largest inscribed disk in M. Then (37) π d λ Square the two sides. Then Now π z(t) dt λ z(t)dt = by (4) in Lemma 3. That is, ( ) 3 π/ dt ( π/ z(t)dt) π 3 ( d) π/ z(t)dt. π ( [ + δξ(t)]dt = π ( δ), ( π )3 π/ z(t) dt ) λ π ( δ)( d) and λ π π + α ( d) ( d) + (n )K. We now present a lemma that is used in the proof of the main theorem. Lemma 3. Let (38) ξ(t) = cos t + t sin t cos t + t π 4 cos t on [ π, π ]. 3

14 Then the function ξ satisfies the following (39) (4) (4) ξ cos t ξ cos t sin t ξ = cos t in ( π, π ), ξ cos t ξ sin t = 4t cos t π ξ(t)dt = π π 4 = ξ() ξ(t) ξ(±π ) = on [ π, π ], Proof. ξ is increasing on [ π, π ] and ξ (± π ) = ±π 3, ξ (t) < on ( π,) and ξ (t) > on (, π ), ξ (± π ) =, ξ () = (3 π 4 ) and ξ (t) > on [ π, π ], ( ξ (t) ) > on (,π/) and (3 π t 4 ) ξ (t) 4 t 3 on [ π, π ], ξ ( π ) = 8π 5,ξ (t) < on ( π,) and ξ (t) > on (, π ). For convenience, let q(t) = ξ (t), i.e., (4) q(t) = ξ (t) = (t cos t + t sin t + cos t sin t π 4 cos 3 t sin t). Equation (39) and the values ξ(± π π ) =, ξ() = 4 and ξ (± π ) = ±π 3 can be verified directly from (38) and (4). The values of ξ at and ± π can be computed via (39). By (4), (ξ(t)cos t) = 4t cos t. Therefore ξ(t)cos t = t π 4s cos s ds, and π π π ξ(t)dt = π ( s = 8 ) cos (t) dt ( π ξ(t)dt = 8 cos (t) π s cos s ds = 8 π It is easy to see that q and q satisfy the following equations t s cos s ds ) dt s cos s sin s ds = π. (43) q cos t q sin t q cos t = 4sin t, 4

15 and (44) cos t ( + cos t) (q ) cos t sin t + cos t (q ) (q 4 ) = + cos t. The last equation implies q = ξ cannot achieve its non-positive local minimum at a point in ( π, π ). On the other hand, ξ (± π ) =, by equation (39), ξ(± π ) = and ξ (± π ) = ±π 3. Therefore ξ (t) > on [ π, π ] and ξ is increasing. Since ξ (t) =, we have ξ (t) < on ( π,) and ξ (t) > on (, π ). Similarly, from the equation (45) cos t (+cos t) (q ) cos tsin t(3+ cos t) (q ) (5 cos t+cos 4 t) (q ) (+cos t) (+cos t) = 8cos tsin t (+cos t) we get the results in the last line of the lemma. Set h(t) = ξ (t)t ξ (t). Then h() = and h (t) = ξ (t)t > in (, π ). Therefore (t) (ξ t ) = h(t) > in (, π t ). Note that ξ ( t) t = ξ (t) t, ξ (t) t t= = ξ () = (3 π 4 ) and ξ (t) t t=π/ = 4 3. This completes the proof of the lemma. References [] I. Chavel, Eigenvalues in Riemannian Geometry, Academic Press, Olando,Fla, 984. [] S. Y. Cheng, Eigenfunctions and nodal sets, Comment. Math. Helv., 5(976), [3] H. Escobar, Uniquness theorems on conformal deformation of metrics, Sobolev inequalities, and an eigenvalue estimate, Comm. Pure Appl. Math.43(99), no. 7, [4] P. Li and A. Treibergs, Applications of Eigenvalue Techniques to Geometry, H. Wu, editor, Contemporary Geometry: J. Q. Zhong Memorial Volume Plenum, 5, 99. [5] P. Li and S. T. Yau, On the Schrödinger equation and the eigenvalue problem, Comm. Math. Phys, 88(983), [6] P. Li and S. T. Yau, Estimates of eigenvalues of a compact Riemannian manifold, AMS Proc. Symp. Pure Math., 36(98),

16 [7] A.Lichnerowicz, Geometrie des groupes de tansformations, Dunod, Paris, 958. [8] J. Ling, A lower bound for the gap between the first two eigenvalues of Schrödinger operators on convex domains in S n or R n, Michigan Math. J., 4(993), [9] J. Ling, Estimates on the Lower Bound of the First Gap, Preprint, 4. [] R. Reilly, Applications of the Hessian operatior in a Riemannian manifold, Indiana Univ. Math. J., 6(977), [] R. Schoen, S. Wolpert, and S. T. Yau, Geometric bounds on the low eigenvalues of a compact surface, In S. T. Yau, editor, AMS symposium on the Geometry of Laplace Operator, pages 79 85, University of Hawaii at Manoa, 979. [] D. Yang, Lower bound estimates on the first eigenvalue for compact manifolds with positive Ricci curvature, Pacific Journal of Mathematics, 9(999), [3] S. T. Yau, editor, Problem Section, Seminar on Diff. Geom., Princeton University Press, Princeton, 98. [4] J.-Q. Zhong and H.C. Yang, On the estimate of the first eigenvalue of a compact Riemannian manifod, Sci. Sinica, Ser. A 7, (984), Department of mathematics, Utah Valley State College, Orem, Utah address: lingju@uvsc.edu 6