arxiv:math/0308099v3 [math.dg] 17 Sep 004 An Extension of Barta s Theorem and Geometric Applications G. Pacelli Bessa J. Fábio ontenegro arch 6, 008 Abstract We prove an extension of a theorem of Barta and we make few geometric applications. We generalize Cheng s lower eigenvalue estimates of geodesic normal balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. As a corollary we have that the greatest lower bound of the spectrum of Nadirashvilli minimal surfaces is positive depending on the radius of the bounding ball and we also prove an stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result due to Schoen. athematics Subject Classification: (000): 58C40, 53C4 Key words: Barta s theorem, Dirichlet eigenvalue estimates, minimal submanifolds, stability of minimal hypersurfaces. 1 Introduction The fundamental tone λ () of a smooth Riemannian manifold is defined by λ () = inf{ grad f f ; f L 1,0() \ {0}} where L 1, 0 () is the completion of C 0 () with respect to the norm ϕ = ϕ + ϕ. When is an open Riemannian manifold, then the fundamental tone λ () coincides with the infimum inf Σ of the spectrum Σ [0, ) of the unique self-adjoint extension of the bessa@mat.ufc.br, fabio@mat.ufc.br 1
Laplacian acting on C0 () also denoted by. When is compact with smooth boundary (possibly empty) then λ () is the first eigenvalue λ 1 () of (Dirichlet boundary data if ). What bounds can one give for λ () in terms of Riemannian invariants? If is an open manifold, for what geometries does have λ () > 0? (see [], [4]), [9] and [17]). A simple method for giving bounds, (especially lower bounds), for λ 1 () when is a bounded Riemannian manifold with smooth non-empty boundary is Barta s Theorem. It plays the role that the Rayleigh quotient plays in giving upper bounds for λ 1 (). Theorem 1.1 (Barta, [1]) Let be a bounded Riemannian manifold with smooth non-empty boundary and f C () C 0 () with f > 0 and f = 0 and λ 1 () be the first Dirichlet eigenvalue of. Then sup( f/f) λ 1 () inf( f/f). (1) To obtain the lower bound inequality in (1) one needs only f > 0. Cheng applied Barta s Theorem in a beautiful result known as Cheng s lower eigenvalue estimates. Theorem 1. (Cheng, [5]) Let N n be a Riemannian n-manifold and B N n(p,r) be a geodesic ball centered at p with radius r < inj(p). Let c be the supremum of all sectional curvatures at B N n(p,r) and N n (c) be the simply connected space form of constant sectional curvature c. Then λ 1 (B N n(p,r)) λ 1 (B N n (c)(r)) In particular, when c = 1 and inj(p) =, Cheng s lower bound becomes λ (N n ) λ (H n ( 1)) which is ckean s Theorem, see [13]. In our first result we give lower bounds for the fundamental tone λ () of general Riemannian manifolds regardless the smoothness degree of its boundary. That can be viewed as an extension of Barta s Theorem. Theorem 1.3 Let be a Riemannian manifold. Then λ () sup {inf (div X X() X )}. () If is a compact Riemannian manifold with smooth boundary then λ 1 () = sup {inf (div X X() X )} (3)
X() is the set of all vector fields X in such that div (fx) = 0 for all f C 0 (). Our first geometric application is an extension of Cheng s Theorem. We prove Cheng lower eigenvalue estimates of geodesic balls B N n(p,r) under radial curvature upper bounds provided (n 1)-Hausdorff measure H n 1 (Cut(p) B N n(p,r)) = 0. Theorem 1.4 Let N n be a Riemannian n-manifold and B N n(p,r) be a geodesic ball with radius r. Suppose that H n 1 (Cut(p) B N n(p,r)) = 0. If the radial curvature K(x)( t,v ) c for all x B N n(p,r) \ Cut(p) and all V T x N n, then λ (B N n(p,r)) λ 1 (B N n (c)(r)). (4) Equality in (4) iff B N n(p,r) B N n (c)(r). In [7], Cheng-Li-Yau proved the following result. Theorem 1.5 (Cheng-Li-Yau, [7]) Let m N n (c) be an immersed m-dimensional minimal submanifold of the n-dimensional space form of constant sectional curvature c { 1,0,1} and D m a C compact domain. Let a = inf p D sup z D dist N n (c)(p,z) > 0 be the outer radius of D. If c = 1 suppose that a π/. Then λ 1 (D) λ 1 (B N m (c)(a)) (5) Equality in (5) holds iff is totally geodesic in N n (c) and D = B N m (c)(a). Our second geometric application is a generalization of Cheng-Li-Yau s result. First, let us introduce the class of n-dimensional Riemannian manifolds N n (c). Let N n (c) be a complete Riemannian manifold and p N n (c). Write N n (c) = exp p (U p ) Cut(p) where 0 U p T p N n (c) is the largest connected open set where the exponential map is a local diffeomorphism. In N n (c)\cut(p) the metric is expressed by ds = dt + f (t,θ)dθ, f(0,θ) = 0, ( f/ t)(0,θ) = 1. In addition, suppose that f satisfies the differential inequality ( f/ t )(t,θ) + cf(t,θ) 0. This differential inequality says that the radial curvature K(t, θ)( t, v) c. Observe that when 1 sin( c t), if c > 0 c f(t,θ) = S c (t) = then N n (c) N n (c) t if c = 0 1 sinh( ct) if c < 0 c (6) 3
Theorem 1.6 Let m N n (c) be an m-dimensional minimal submanifold of N n (c), m < n. Let Ω B N n (c)(p,r) be a connected component. Suppose that H m 1 (Ω Cut N n (c)(p)) = 0. If c > 0, suppose that r < π/ c. Then λ (Ω) λ 1 (B N m (c)(r)), (7) where B N m (c)(r) is the geodesic ball with radius r in N n (c). Equality in (7) holds iff Ω = B N m (c)(r) and B N n (c)(p,r) B N n (c)(r). After Nadirashvili s [15] bounded minimal surfaces in R 3, Yau [18] asked about the spectrum of a Nadirashvili minimal surface, in particular he asked if it were discrete. A more basic question about the spectrum is if the lower bound of the spectrum of a Nadishvili minimal surface is positive. The following corollary shows that this is the case. Corollary 1.7 Let B R 3(r) be a complete bounded minimal surface in R 3. Then λ () λ 1 (D(r)) = c/r. Where c > 0 is an absolute constant. Let R 3 be a minimal surface with second fundamental form A and B (p,r) be a stable geodesic ball with radius r. Schoen [16] showed that A (p) c/r for an absolute constant c > 0. We have a converse of this result for minimal hypersurfaces of the Euclidean space as a corollary of Theorem (1.6). Corollary 1.8 Let R n+1 be a minimal hypersurface with second fundamental form A and B (r) be a geodesic ball with radius r. If sup A λ 1 (B R n(0,r)) = c(n)/r, B (r) then B (r) is stable. Here B R n(0,r) is a geodesic ball of radius r in the Euclidean space R n and c(n) > 0 is a constant depending on n. Finally we apply Barta s Theorem and Theorem (1.3) to the theory of quasi-linear elliptic equations. Theorem 1.9 Let be a bounded Riemannian manifold with smooth boundary and F C 0 (). Consider this problem, { u grad u = F in (8) u = + on. If (8) has a smooth solution then inf F λ 1 () sup F. If F is a constant λ the problem (8) has solution if and only if λ = λ 1 (). 4
Remark 1.10 1 If we set f = e u then (8) becomes { f + F f = 0 in f = 0 on. Kazdan-Warner, [11] showed that if F λ 1 (), then (9) has solution, in that case supf = λ 1 (). Thus Theorem (1.9) is a complementary result to Kazdan-Warner result. If we impose Dirichlet boundary data (u = 0 on ) on problem (8) then there is a solution if F λ 1 () with strict inequality in a positive measure subset of. This was proved by Kazdan-Kramer in [10]. We now prove a generalization of the result of Kazdan-Kramer. We allow continuous boundary data on problem (8). Theorem 1.11 Let be a bounded Riemannian manifold with smooth boundary and F C 0 () and ψ C 0 ( ). Consider the problem { u grad u = F in (10) u = ψ on. then a) If sup F < λ 1 () then (10) has solution. b) If (10) has solution then inf F < λ 1 (). Acknowledgement: The beginning of this work was greatly motivated by a paper of Kazdan & Kramer, [10] for which we thank Professor Djairo de Figueiredo for bringing it to our attention. An extension of Barta s theorem Theorem (1.3) can be considered an extension of Barta s theorem for if f C (), f > 0 and setting X = grad log f, we have that div X X = f/f. We would like to point out that the space of admissible vector fields X() is larger than the space of smooth vector fields. The defining condition is given by div (fx) = 0 for all f C0 () which is also satisfied by vector fields with certain mild singularities specified in the following version of the Divergence Theorem. 5 (9)
Lemma.1 (Divergence Thm.) Let Ω be a bounded domain with piecewise smooth boundary Ω in a smooth Riemannian manifold. Let G Ω be a closed subset with (n 1)-Hausdorff measure H n 1 (G) = 0. Let X be a vector field of class C 1 ( \ G) L (Ω) such that div (X) L 1 (Ω). Then Ω div (X) = Ω X,ν. (11) Proof: The proof of this lemma is standard but we will present it here for sake of completeness. Suppose that = R n and assume that G is connected, otherwise we consider each connected component. By Whitney s Theorem, there exists a C function f : Ω R such that G = f 1 (0). We may assume that f 0 otherwise we take f instead. By Sard s theorem we can pick a sequence of regular values ǫ i 0 such that f 1 (ǫ i ) Ω are smooth (n 1)-dimensional submanifolds. We claim that V ol n 1 (f 1 (ǫ i )) 0 as ǫ i 0. To prove this claim, observe that in Carathédory s construction of Hausdorff measures in R n if we use closed balls for coverings we obtain a Hausdorff type measure called Spherical measure. It turns out that for every A R n we have that H n 1 (A) S n 1 (A) n 1 H n 1 (A), see [14] for details. Since S n 1 (G) = sup δ>0 S n 1 (G) = 0 we have that S n 1 δ (G) = 0. This means that for a given δ,k > 0 there exists a finite covering of G by closed balls {B kj } of diameter d(b kj ) < δ such that d(b kj ) n 1 1/k. Exists an i 0 > 0 such that if i > i 0 then the union of the balls B kj is a covering for the submanifold f 1 (ǫ i ). This means that for a sequence of pairs (δ l,k l ), δ l 0, k l there (f 1 (ǫ l )) 1/k l. This implies that we have lim i S n 1 (f 1 (ǫ i )) = 0. But S n 1 (f 1 (ǫ i )) = c(n) vol n 1 (f 1 (ǫ i )). This proves the claim. Now, let N i = f 1 ([0,ǫ i ]), i = Ω\N i and χ i the characteristic function of i. Then we have that χ i div X div X almost everywhere in Ω and χ i div X div X L 1 (Ω). By the Lebesgue exists a ǫ l such that S n 1 δ l Dominated Convergence theorem χ i div X div X. On the other hand, by the divergence theorem we have i div X = i X,ν = X,ν N i X,ν But N i X,ν V ol n 1 ( N i ) X = V ol n 1 (f 1 (ǫ i )) X 0. Here, ν is the outward unit vector field on the boundary of i. Putting all these information together we have (11) when = R n. The general case is done similarly using partition of unit. q.e.d. 6 δ
Theorem 1.3 Let be a Riemannian manifold. Then λ () sup {inf (div X X() X )}. If is compact with smooth non-empty boundary then λ 1 () = sup {inf (div X X() X )}. Proof: Let X X() and f C0 (). All the integration over here considered is over a regular domain O containing the support of f. Developing div (f X) = 0 we have that 0 = Then and thus Therefore div (f X) = = = gradf,x + gradf X + f div (X) div X f f X gradf + div X f f X grad f + div X f (div X X ) f grad f inf (div X X ) f grad f inf (div X X ) f, grad f sup inf (div X X() X ) f. λ () sup inf (div X X() X ). grad f. This proves (). Suppose that is compact with smooth non-empty boundary and let v be its first eigenfunction. If we set X 0 = grad (log v) then we have that div X 0 X 0 = v/v = λ 1 () and (3) is proven. q.e.d. 7
3 Geometric Applications 3.1 Proof of Theorem 1.4 Theorem 1.4 Let N n be a Riemannian n-manifold and B N n(p,r) be a geodesic ball with radius r. Suppose that H n 1 (Cut(p) B N n(p,r)) = 0. If the radial curvature K(x)( t,v ) c for all x B N (p,r) \ Cut(p) and all V T x N, then λ (B N n(p,r)) λ 1 (B N n (c)(r)). (1) Equality in (1) iff B N n(p,r) B N n (c)(r). Proof: Let v : [0,r] [0, ) be the radial first eigenfunction of B N n (c)(r) satisfying the differential equation v (t) + (m 1) C c(t) S c (t) v (t) + λ 1 (B N n (c)(r))v(t) = 0, t [0,r] (13) and let u = v ρ : B N n(p,r) [0, ), where ρ(x) is the distance function dist N n(p,x). The function u is C (B N n(p,r) \ G), where G = {p} Cut(p). oreover u > 0 in B N n(p,r). Set X = grad (log u). We claim that the vector field X is admissible. By Lemma (.1) it is sufficient to show that for every f C0 (B Nn(p,r)) we have that and We have that div (f X) L 1 (B N n(p,r)) f X C 1 (B N n(p,r) \ G) L (B N n(p,r)) div f X = v (ρ) v(ρ) grad f, grad ρ + f [ v (ρ) v(ρ) v (ρ) v(ρ) v (ρ) v(ρ) ρ]. Since v (ρ)/v(ρ),v (ρ)/v(ρ) only at ρ = r and f C0 (B N n(p,r)) we have that div f X L 1 (B N n(p,r)) if ρ L 1 (B N n(p,r)). In B N n(p,r)\g the metric is given in polar coordinates by ds +h (t,θ)dθ, h(0,θ) = 0, h t (0,θ) = 1 and ρ = (n 1)h t /h where h t = h/ t. Now r(θ) h t ρ = ρ = (n 1) h hn 1 dθdt <. B N n(p,r) B N n(p,r)\g S n 1 To show that f X C 1 (B N n(p,r) \ G) L (B N n(p,r)) we observe that X(t,θ) = u (t) u(t) grad ρ(tθ) is smooth in B Nn(p,r)\G and X 8 0
iff t r and then the claim is proved since f C0 (B Nn(p,r)). By Theorem (1.3) we have that λ (B N n(p,r)) inf {div X B N n(p,r) X } = inf u B N n(p,r)\g u Recall that the metric in B N n(p,r) \ G is written by ds + h (t,θ)dθ, h(0,θ) = 0, h t (0,θ) = 1 and u(t,θ) = v (t)+(n 1) h t h (t,θ)v (t). The hypothesis K(x)( t,v ) c, x B N (p,r) \Cut(p) is equivalent to the following differential inequality h tt (t,θ)+c h(t,θ) 0, for every fixed θ and t [0,r(θ)]. Here r(θ) = min{r,c(θ)} and c(θ) is the distance from p to the cut point in the direction θ. The differential inequality above implies that (h t /h)(t,θ) C c (t)/s c (t) for every fixed θ and t [0,r(θ)], see (6) for definition of S c. It is well known that v (t) 0 hence From (13) we have that Therefore u(t,θ) v (t) + (n 1) C c S c (t,θ)v (t) u u (t,θ) v (t) λ (B N n(p,r)) v (t) (n 1)C c(t) S c (t) v (t) v(t) = λ 1(B N n (c)(r)) inf B N n(p,r)\g u u λ 1(B N n (c)(r)), proving (1). The equality case λ (B N n(p,r)) = λ 1 (B N n (c)(r)) implies that for every fixed θ and t [0,r(θ)] we have that (h t /h)(t,θ) = C c (t)/s c (t). Then h(t,θ) = S c (t)ψ(θ). The initial data h(0,θ) = 0, h t (0,θ) = 1 implies that ψ 1 and the metric on B N n(p,r) \ G is the constant sectional curvature metric ds = dt + S c (t)dθ. But p in this metric has cut locus only if c > 0 and at distance π/ c. Thus B N n(p,r) = B N n (c)(r). q.e.d. 3. Proof of Theorem 1.6 Theorem 1.6 Let m N n (c) be an m-dimensional minimal submanifold, m < n. Let Ω B N n (c)(p,r) be a connected component. Suppose that H m 1 (Ω Cut N n (c)(p)) = 0. If c > 0, suppose that r < π/ c. Then λ (Ω) λ 1 (B N m (c)(r)), 9
where B N m (c)(r) N m (c) is the geodesic ball with radius r. Equality holds iff Ω = B N m (c)(r) and B N n (c)(p,r) B N n (c)(r). Proof: On B N n (c)(r) \ Cut(p) the metric of N n (c) can be expressed in polar coordinates by ds = dt + h (t,θ)dθ, with h satisfying the differential inequality h tt (t,θ) + ch(t,θ) 0, with initial conditions h(0,θ) = 0, h t (0,θ) = 1. Now, let us consider v : B N m (c)(r) R be a positive first (radial) eigenfunction of the geodesic ball B N m (c)(r) N m (c) with v(0) = 1, v (0) = 0 satisfying the differential equation v (t) + (m 1) C c(t) S c (t) v (t) + λ 1 (B N m (c)(r))v(t) = 0, t [0,r] (14) where t is the distance to the origin in the space form N n (c). Let us agree that prime means partial derivative with respect to t. Define u : B N n (c)(r) R by given by u(x) = v(ρ N n (c)(x)), where ρ N n (c) is the distance to p in N n (c). Let Ω B N n (c)(p,r) be a connected component and ξ : Ω R defined by ξ = u ϕ, where ϕ is the minimal immersion ϕ : m N n (c). Set X = grad log ξ and identify X with dϕ(x). The function u is not smooth at the origin and the cut locus Cut N n (c)(p), thus X is not smooth at G = ({p} Ω) (Ω Cut N n (c)(p)). By hypothesis H m 1 (G) = 0 and it can be shown that the vector field X C 1 (Ω \ G) L (Ω) and div X L 1 (Ω) thus X satisfies (11) and by Theorem (1.3) we have that λ (Ω) inf Ω\G [div X X ] = inf Ω\G [ ξ/ξ]. Where ξ is given by the following formula, (see [3], [6], [1]), ξ(x) = = m Hess u(ϕ(x))(e i,e i ) + grad u, H i=1 m Hess u(ϕ(x))(e i,e i ) i=1 where H is the mean curvature vector and {e 1,... e m } is an orthonormal basis for T p Ω such that e,... e m are also tangent to the sphere S n 1 (t), e 1 = cos(β(x)) / t + sin(β(x)) / θ, where / θ is the projection of e 1 into the tangent space of the sphere S n 1 (t), ϕ(x) = exp p (tθ). Then we have that 10
ξ(x) = m Hess u(ϕ(x))(e i,e i ) i=1 = v (t)(1 sin β(x)) + h t h (t,θ)v (t)sin β(x) + (m 1) h t h (t,θ)v (t) Adding and subtracting (C c (t)/s c (t))v (t)sin β(x) we have ξ(x) = v (t) + (m 1) h t h (t,θ)v (t) ( ht + h (t,θ) C ) c(t) v (t)sin β(x) (15) S c (t) ( ) Cc (t) + S c (t) v (t) v (t) sin β(x) From (14) and (15) we have that ξ ξ (x) = λ 1(B N m (c)(r)) (m 1)( h t h (t,θ) C c(t) S c (t) ) v (t) v(t) ( ht h (t,θ) C ) c(t) v (t) S c (t) v(t) sin β(x) (16) 1 ( ) Cc (t) v(t) S c (t) v (t) v (t) sin β(x) As observed in the proof of Theorem (1.4) the differential inequality h tt (t,θ) + c h(t,θ) 0 implies that (h t /h) C c (t)/s c (t) 0. Since v (t) 0 we have that the second and third terms of (16) are nonnegative. If the fourth term of (16) is non-negative then we would have that ξ ξ (x) λ 1(B N m (c)(r)) By Theorem (1.3) we have that λ (Ω) inf( ξ ξ ) λ 1(B N m (c)(r)). 11
( Cc (t) v ) (t) This proves (7). We can see that S c (t) v(t) v (t) sin β(x) 0 v(t) is equivalent to m C c(t) S c (t) v (t) + λ 1 (B N m (c)(r))v(t) < 0, t (0,r). (17) To prove (17) we will assume without loss of generality that c = 1,0,1. Let us consider first the case c = 0 that presents the idea of the proof. The other two remaining cases (c = 1 and c = 1) we are going to treat (quickly) with the same idea. When c = 0 the inequality (17) becomes mv (t) t + λ 1 v(t) < 0, t (0,r), (18) where λ 1 := λ 1 (B N m (c)(r)). Let µ(t) := exp{ λ 1t }. The functions v m and µ satisfy the following identities, (t m 1 v (t)) + λ 1 t m 1 v(t) = 0 (t m 1 µ (t)) + λ 1 t m 1 (1 λ 1 t m )µ(t) = 0 (19) In (19) we multiply the first identity by µ and the second by v adding them and integrating from 0 to t the resulting identity we obtain, t m 1 v (t)µ(t) t m 1 v(t)µ (t) = λ 1 m t Then µ(t)v (t) < µ (t)v(t) and this proves (18). 0 µ(t)v(t) < 0, t (0,r). Assume that now that c = 1. The inequality (17) becomes m C 1(t) S 1 (t) v (t) + λ 1 v(t) < 0 (0) Set µ(t) := C 1 (t) λ 1/m. The functions v and µ satisfy the the following identities (S 1 m 1 v ) + λ 1 S m 1 (S m 1 1 µ ) + λ 1 S m 1 1 1 v ( ) = 0 m 1 m + 1 λ S mc 1 1 1 m µ = 0 C 1 (1) In (1) we multiply the first identity by µ and the second by v adding them and integrating from 0 to t the resulting identity we obtain S 1 m 1 ( v µ µ v ) t [ 1 (t) + λ 1 S 1 m 1 0 m 1 mc 1 + λ 1 S ] 1 m C 1 µv = 0 1
[ 1 The term S 1 m 1 ] µv is positive (one can easily m 1 mc 1 + λ 1 S 1 m C 1 check) therefore we have that (v µ µ v)(t) < 0 for all t (0,r). This proves (0). For c = 1 the inequality (17) becomes the following inequality m C 1 S 1 v (t) + λ 1 v(t) < 0, 0 < t < π/ () Set µ(t) := C 1 (t) λ 1/m, 0 < t < π/. The functions v and µ satisfy the the following identities (S m 1 1 v ) + λ 1 S m 1 (S1 m 1 µ ) λ 1 S1 m 1 1 v ( ) = 0 m 1 m + 1 + λ mc1 1 S m 1 µ = 0 C1 (3) In (3) we multiply the first identity by µ and the second by v adding them and integrating from 0 to t the resulting identity we obtain S m 1 1 ( v µ µ v ) (t) + t [ The term S1 m 1 1 m + 1 0 [ λ 1 S1 m 1 1 m + 1 mc1 + λ 1 S ] 1 m C1 µv = 0 ] µv is positive therefore we mc1 + λ 1 S1 m C1 have that (v µ µ v)(t) < 0 for all t (0,r). This proves () and the fourth term in (16) is non-negative. To finishes the proof of the Theorem (1.6) we need to address the equality case in (7). Therefore, suppose that λ (Ω) = λ 1 (B N n (c)(r)). This implies that the second, third and fourth terms of (16) are identically zero for all t [0,r(θ)] and all θ. If the second term is zero for all t [0,r(θ)] and all θ then (h t /h)tθ) = (C c /S c )(t). As in the proof of the equality case of Theorem (1.4) we have that h(t,θ) = S c (t) and N n (c)\cut(p) is isometric to a full measure subset of N n (c). Now second, the third and fourth terms of (16) being zero we conclude that ξ is an eigenfunction of Ω with eigenvalue λ 1 (B N m (c)(r)) and sin β(x) = 0 for all ϕ(x) Ω. We also have that e 1 (ϕ(x)) = / r and Ω contains the center of the ball B n (c)(r). Through every point ϕ(x) ϕ(ω) passes a minimal geodesic (geodesic in the ambient space integrating the vector field / r) joining ϕ(x) to the origin 0. This imply that Ω is the geodesic ball in centered at ϕ 1 (0) with radius r i.e. Ω = B (ϕ 1 (0),r). We can write the induced metric on Ω in polar coordinates as g = dt + ψ(t,θ) dθ. 13
Since ξ (in fact ξ = v ϕ(ω)) is an eigenfunction with the same eigenvalue λ 1 (B N m (c)(r)) we have that g v(t) = N n (c) v(t), t = ϕ(q), q Ω. (4) Rewriting this identity (4) in coordinates we have that (m 1) ψ t ψ (t,θ)v (t) + v (t) = (m 1) C c(t) S c (t) v (t) + v (t) This imply that ψ = S c. Thus the metric g is the constant sectional curvature c and Ω = B N m (c)(r). 3.3 Proof of Corollary 1.8 Let ϕ : N n+1 be a complete orientable minimal hypersurface and A(X) = X η its second fundamental form, where η is globally defined unit vector field normal to ϕ(). A normal domain D is said to be stable if the first Dirichlet eigenvalue λ L 1 = inf{ D ulu/ D u, u C 0 (D)} of the operator L = + Ric(η) + A is positive. On the other hand we have that D ulu = D [ grad u ( Ric(η) + A ) u ] D λ 1 (D) ( Ric(η) + A ) u. Therefore if λ 1 (D) sup x D{Ric(η)+ A (x)} then D is stable. In [3] we give estimates for λ 1 (D) in submanifolds with locally bounded mean curvature, in particular minimal hypersurfaces. With those estimates we have obvious statements for stability theorems. If D = B (p,r) is a ball in n R n+1 obviously that ϕ(d) B n+1 (ϕ(p),r). And we have that λ 1 (D) λ (ϕ 1 (B n+1 (ϕ(p),r)) λ 1 (B n (0,r)). This proves the Corollary (1.8). 3.4 Quasilinear elliptic equations In this section we want to apply Barta s Theorem to study the existence of solutions to certain quasi-linear elliptic equations. Let be a bounded Riemannian manifold with smooth non-empty boundary and f C (), f > 0. If we set u = log f 1, f > 0 then the problem f + Ff = 0 1 This transformation u = log f we learned from Kazdan & Kramer [10] but it also appears in [8] 14
becomes u grad u = F Therefore, Barta s Theorem can be translated as Theorem 1.9 Let be a bounded Riemannian manifold with smooth boundary and F C 0 (). Consider this problem, { u grad u = F in (5) u = + on. If (5) has a smooth solution then inf F λ 1 () sup F. If F is a constant λ the problem (5) has solution if and only if λ = λ 1 (). Likewise Theorem (1.3) can be translated into language of quasi-linear elliptic equations. Theorem 1.11Let be a bounded Riemannian manifold with smooth boundary and F C 0 () and ψ C 0 ( ). Consider the problem { u grad u = F in (6) u = ψ on. then a) If sup F < λ 1 () then (10) has solution. b) If (6) has solution then inf F < λ 1 (). Proof: The operator L = F is compact thus its spectrum is a sequence of eigenvalues λ L 1 < λl λl 3 ր +. Suppose that sup F < λ 1 () then we have that λ L 1 = inf { grad u F u ; u H0(), 1 u = 1} λ 1 () supf > 0. Therefore L is invertible. On the other hand, u = log f is a solution of (6) if and only if f is solution of { Lf = 0 in f = e ψ (7) on Consider the harmonic extension v of e ψ on, ( v = 0 in and v = e ψ on ), and h = f v. We have that Lh = F v in and 15
h = 0 on. Then h = L 1 (F v) and f = v + L 1 (F v) is solution of (7). Item b. Suppose that the equation (6) has a smooth solution u. Let ϕ be the first eigenfunction of the operator, ( ϕ + λ 1 ()ϕ = 0 in and ϕ = 0), and f a solution of (7). By Green we have that Thus f ϕ ϕ f = ψ ϕ e η ϕ f η = ψ ϕ e η = (F λ 1 )ϕf if v is the harmonic extension v of e ψ then we have λ 1 fϕ = v ϕ ϕ v = v ϕ η ϕ v η = ψ ϕ e η. ψ ϕ e η < 0 since inf v = inf v = inf e ψ > 0. Therefore (F λ 1 )ϕf < 0 and inf F < λ 1 (). References [1] Barta, J., Sur la vibration fundamentale d une membrane. C. R. Acad. Sci. 04, 1937, 47-473. [] Berger,., Gauduchon, P. and azet, E., Le Spectre d une Variété Riemannienes. Lect. Notes ath. 194. Springer-Verlag, Berlin, New-York 1974. [3] Bessa, G. P., ontenegro, J. F., Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Global Anal. and Geom. 4, 003, 79-90. [4] Chavel, I., Eigenvalues in Riemannian Geometry. Pure and Applied athematics, (1984), Academic Press. [5] Cheng, S. Y., Eigenfunctions and eigenvalues of the Laplacian. Am. ath. Soc Proc. Symp.Pure ath. 7, part II, 1975, 185-193. [6] Cheung, Leung-Fu and Leung, Pui-Fai, Eigenvalue estimates for submanifolds with bounded mean curvature in the hyperbolic space. ath. Z. 36, 001, 55-530. 16
[7] Cheng, S. Y., Li, P. and Yau, S. T., Heat equations on minimal submanifolds and their applications. Amer. J. ath. 106 (1984), 1033-1065. [8] Fisher-Colbrie, D. and Schoen, R,. The structure of complete stable minimal surfaces in 3-manifolds of non negative scalar curvature. Comm. Pure and Appl. ath. 33, 1980, 199-11. [9] Grigor yan, A.: Analytic and geometric background of recurrence and non-explosion of the brownian motion on Riemannian manifolds. Bull. Amer. ath. Soc. 36, no., 135-49 (1999). [10] Kazdan, J. and Kramer, R., Invariant Criteria for existence of solutions to second-order quasilinear elliptic equations. [11] Kazdan, J. and Warner, F. W., Remarks on some quasilinear elliptic equations. Comm. Pure Appl. ath. 8, 1975, 567-597. [1] Jorge, L. and Koutrofiotis, D., An estimate for the curvature of bounded submanifolds. Amer. J. ath., 103, n 0 4., 1980, 711-75. [13] ckean, H. P.: An upper bound for the spectrum of on a manifold of negative curvature. J. Differ. Geom. 4, (1970), 359-366. [14] atilla, P., Geometry of Sets and easurein Euclidean Spaces. Cambridge University Press, 1995. [15] Nadirashvili, N., Hadamard s and Calabi-Yau s conjectures on negatively curved and minimal surfaces. Invent ath., 16 (1996) 457-465. [16] Schoen, R., Stable minimal surfaces in three manifolds. Seminar on inimal Submanifolds. Edited by Enrico Bobieri. Annals of ath Studies. Princenton University Press. [17] Schoen, R. and Yau, S. T., Lectures on Differential Geometry. Conference Proceedings and Lecture Notes in Geometry and Topology, vol. 1, (1994). [18] Yau, S. T., Review of Geometry and Analysis. Asian J. ath. Vol.4 No.1 (000) 35-78. 17