Eigenvalue estimates for submanifolds of warped product spaces

0 downloads 0 Views 256KB Size Report
Mar 22, 2013 - arXiv:1303.5618v1 [math.DG] 22 Mar 2013. EIGENVALUE .... (2) are well known in the literature, see [22]. Models and Hessian comparisons.
arXiv:1303.5618v1 [math.DG] 22 Mar 2013

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS OF WARPED PRODUCT SPACES G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

Abstract. In this paper, we give lower bounds for the fundamental tone of open sets in minimal submanifolds immersed into warped product spaces of type N n ×f Qq , where f ∈ C ∞ (N ). Some applications, also regarding the essential spectrum, illustrate the applicability and the generality of our results.

1. Introduction Let M be a connected Riemannian manifold, possibly incomplete, and let ∆ = div◦∇ be the Laplace-Beltrami operator on acting on Co∞ (M ), the space of smooth functions with compact support. When M is geodesically complete, ∆ is essentially self-adjoint, thus there is a unique self-adjoint extension to an unbounded operator, denoted by ∆, whose domain is the set of functions f ∈ L2 (M ) so that ∆f ∈ L2 (M ), see [17], [19] and [30]. If M is not complete we will always consider the Friedrichs extension of ∆. Denote by σ(−∆) and σess (−∆), respectively, the spectrum and the essential spectrum of −∆. Given an open subset Ω ⊂ M , the fundamental tone of Ω, λ∗ (Ω), is defined by   ∫Ω |∇f |2 ∗ 1 λ (Ω) = inf σ(−∆) = inf ; f ∈ H0 (Ω)\{0} . ∫Ω f 2

When Ω has compact closure and Lipschitz boundary, λ∗ (Ω) coincides with the first eigenvalue λ1 (Ω) of Ω, with Dirichlet boundary data on ∂Ω. Its associated eigenspace is 1-dimensional and spanned by any solution u of ( ∆u + λ1 (Ω)u = 0 on Ω, u=0

on ∂Ω.

The relations between the fundamental tone of open sets of M and their geometric invariants has been the subject to an intensive research in the past 50 years. Among a huge literature, we limit ourselves to quote the classics [5], [6], [15] and references therein for a detailed picture. In particular, a great effort has been done to estimate the fundamental tone of minimal submanifolds of well-behaved ambient spaces (for instance, in [8], [9], [14], [16] and [18]). In this paper, we move a step further by giving lower bounds for the fundamental tone of manifolds which are minimally immersed in ambient spaces N n ×f Qq carrying a warped product structure, see Theorem 10 below. As we shall see in the last section, the generality of our setting allows applications to submanifolds of cylinders, cones, tubes, improving certain recent results in the literature ([7], [8], [9]). We remark that there have been an increasing interest in the study of minimal and constant mean curvature submanifolds in product spaces N × R, after the discovery of many beautiful examples such 1

2

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

as those in [24], [25], and this motivates a thorough investigation of the spectrum of such submanifolds. In this respect, we hope that our estimates could be useful. 2. Preliminaries Isometric immersions Let M and W be smooth Riemannian manifolds of dimension m and n + q respectively and ϕ : M ֒→ W be an isometric immersion. Consider a smooth function F : W → R and the composition F ◦ ϕ : M → R. Identifying X with dϕ(X), the Hessian of F ◦ ϕ at x ∈ M is given by (1)

Hess M (F ◦ ϕ)(x) (X, Y ) = Hess W F (ϕ(x)) (X, Y ) + h∇F, σ(X, Y )iϕ(x) ,

where σ(X, Y ) is the second fundamental form of ϕ. Tracing (1) with respect to an orthonormal basis {e1 , . . . em }, ) ( m m X X σ(ei , ei )i Hess W F (ϕ(x)) (ei , ei ) + h∇F, ∆M (F ◦ ϕ)(x) = (2)

=

i=1

i=1

m X

Hess W F (ϕ(x)) (ei , ei ) + mh∇F, Hi,

i=1

where H = m−1 tr(σ) is the normalized mean curvature vector. Formulae (1) and (2) are well known in the literature, see [22]. Models and Hessian comparisons + 2 Hereafter, we denote with R+ 0 = [0, +∞). Let g ∈ C (R0 ) be positive in (0, R0 ), for some 0 < R0 ≤ ∞, and satisfying g(0) = 0,

g ′ (0) = 1.

The κ-dimensional model manifold Qκg constructed from the function g is the ball BR (o) ⊆ Rκ with metric given, in polar geodesic coordinates centered at o, by ds2g = dr2 + g(r)2 h , iSκ−1 , where h , iSκ−1 is the standard metric on the unit (κ − 1)-sphere. The radial sectional curvature and the Hessian of the distance function r on Qκg are given by the expressions  g ′′ (r) g ′ (r)  2 K rad = − ds − dr ⊗ dr . , Hess r = g(r) g(r)

From the first relation, we see that a model can equivalently be specified by prescribing its radial sectional curvature G ∈ C ∞ (R+ 0 ) and recovering g as the solution of ( g ′′ − Gg = 0, (3) g(0) = 0, g ′ (0) = 1, on the maximal interval (0, R0 ) where g > 0. For the proof of our main results we will make use of the following version of the Hessian Comparison Theorem, see [21] and [27, Chapter 2].

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

3

Theorem 1. Let Qq be a complete Riemannian q-manifold. Fix a point o ∈ Q, denote by ρQ (x) the Riemannian distance function from o and let Do = Q\cut(o) be the domain of the normal geodesic coordinates centered at o. Given G ∈ C ∞ (R+ 0 ), let g be the solution of the Cauchy problem (3), and let (0, R0 ) ⊆ [0, +∞) be the maximal interval where g is positive. If the radial sectional curvature of Q satisfies (4)

rad KQ ≤ −G(ρQ )

rad (respectively, KQ ≥ −G(ρQ )),

on B(o, R0 ), then Hess Q ρQ ≥

 g ′ (ρQ )  h , iQ− dρQ ⊗ dρQ (respectively, ≤) g(ρQ )

on Do ∩ B(o, R0 )\{o}, in the sense of quadratic forms.

Eigenvalues and Eigenfunctions The generalized version of Barta’s Eigenvalue Theorem [4], proved in [9] will be important in the sequel. Theorem 2. Let Ω be an open set in a Riemannian manifold M and let f ∈ C 2 (Ω), f > 0 on Ω. Then   ∆f ∗ (5) λ (Ω) ≥ inf − . Ω f We recall that, given a model Qκg with g > 0 on (0, R0 ), and given R ∈ (0, R0 ), the first eigenfunction v of the geodesic ball Bg (R) centered at o is radial. This can be easily seen by proving that its spherical mean Z 1 v¯(r) = v g(r)κ−1 ∂Bg (R) is still an eigenfunction associated to λ1 (Bg (R)) and using the fact that the space of first eigenfunctions has dimension 1. With a slight abuse of notation, we can thus identify the first eigenfunction v ∈ C ∞ (Bg (R)) of Bg (R) with the solution v : [0, R] → R of  ′  v ′′ + (κ − 1) g v ′ + λ (B (R))v = 0 on (0, R), 1 g g (6)  v(0) = 1, v ′ (0) = 0, v(R) = 0, v > 0 on [0, R).

Note that, multiplying the ODE by g κ−1 , integrating and using the initial condition, one can easily argue that v ′ < 0 on (0, R].

We will need the following technical lemma, which extends a result due to BessaCosta, see [7, Lemma 2.4]. Lemma 3. Let Qκg be a model manifold with radial sectional curvature −G(r), and suppose that g ′ > 0 on [0, R). Let v ∈ C 2 (Bg (R)) be a first positive eigenfunction of Bg (R) ⊂ Qκg . If λ1 (Bg (R)) ≥ κkG− kL∞ ([0,R]) .

(7)

Then the following inequality holds: (8)

κ

g ′ (t) ′ v (t) + λ1 (Bg (R))v(t) ≤ 0, g(t)

t ∈ (0, R].

4

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

Proof. For simplicity of notation, we denote by λ = λ1 (Bg (R)). Multiplying (6) by g κ−1 we deduce that v(t) satisfies the following differential equation: ( κ−1 ′ ′ (g v ) + λg κ−1 v = 0 on (0, R), (9) ′ v(0) = 1, v (0) = 0, v(R) = 0, v > 0 on [0, R). Our aim is to deduce (8) via some modified Sturm-type arguments. In order to do so, we search for a positive function µ solving g ′ (t) + λµ(t) = 0 on (0, R). g(t) Z λ t g(s) ds, thus Integrating, we get that log µ(t) = − κ 0 g ′ (s)   Z λ t g(s) − ds κ 0 g ′ (s) µ(t) = e . κµ′ (t)

(10)

The above expression is well defined since g ′ > 0 on [0, R). λ g(t) Since µ′ (t) = − ′ µ(t) we deduce κ g (t)     Z Z λ t g(s) λ t g(s) −  −  ds ds λ g(t) κ 0 g ′ (s) κ 0 g ′ (s) v(t)−v ′ (t)e µ′ (t)v(t)− v ′ (t)µ(t) = − ′ e κ g (t) 

λ − 1 g(t) κ e =− κ g ′ (t)

(11)

From (11) we see that κ

Z

0

t



g(s)  ds  ′ g (t) ′ g ′ (s) v (t) + λv(t) . κ g(t)

g ′ (t) ′ v (t) + λv(t) ≤ 0 on (0, R) if and only if g(t)

µ′ (t)v(t) − v ′ (t)µ(t) ≥ 0

on (0, R),

and we are going to prove this last inequality. Differentiating (10) and multiplying by (1/κ) both sides of the equality, we have # "  ′ 2 g ′ (t) λ g (t) ′′ ′ µ (t) = 0, + + µ (t) G(t) − g(t) g(t) κ that is, " #  ′ 2 g (t) λ g(t) G(t) − . + µ (t) = −µ (t) ′ g (t) g(t) κ ′′

Since µ′ (t)

λ g(t) = − µ(t) ′ g (t) κ





g(t) g ′ (t) "

2

λ µ (t) = µ(t) G(t) κ ′′

we can rewrite µ′′ (t) in the following way: 

g(t) g ′ (t)

2

λ −1+ κ



g(t) g ′ (t)

2 #

.

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

5

Multiplying the above equation by g κ−1 (t), and then adding and subtracting the term (κ − 1)g κ−2 (t)g ′ (t)µ′ (t), we obtain # "  2 2  λ g(t) G(t) g(t) κ−1 ′ ′ κ−1 − 2 +1 . (12) (g µ ) (t) = −λg (t)µ(t) − κ g ′ (t) κ g ′ (t) Next, we multiply (12) by v(t) and (9) by −µ(t), and we add them to get  2   λ g(t) λ (g κ−1 µ′ )′ (t)v(t) − (g κ−1 v ′ )′ (t)µ(t) = g κ−1 (t)µ(t)v(t) G(t) + . κ g ′ (t) κ

Integrating from 0 to t gives (13)

g

κ−1





(µ v − v µ) (t) =

Z

t 0

λ κ−1 g (s) κ



g(s) g ′ (s)

2 

 λ G(s) + µ(s)v(s)ds. κ

Now, from (7) we deduce that 2    λ λ κ−1 g(t) G(t) + µ(t)v(t) ≥ 0, g (t) κ g ′ (t) κ

whence µ′ (t)v(t) − v ′ (t)µ(t) ≥ 0 for t ∈ (0, R), as claimed.



Remark 4. It is important to find conditions to ensure (7). For instance, if −G(r) = B 2 , where B is a positive constant, then the solution gB of (3) is (14)

gB (r) = B −1 sin(Br),

thus

gB′ > 0 on [0, π/(2B)).

The function gB yields the model manifold Qκg = Sκ (B 2 ), the κ-dimensional B sphere of constant sectional curvature B 2 and diameter diamSκ (B 2 ) = π/B. Note that the first eigenvalue of the geodesic ball of Sκ (B 2 ) of radius R = π/2B is λ1 (BSκ (B 2 ) (π/2B)) = κB 2 and v(r) = cos(Br) is its first eigenfunction. When −G(r) ≤ B 2 and R ≤ π/(2B), by Sturm’s argument a solution g of (3) satisfies h π  g′ g′ . ≥ B > 0 on 0, g gB 2B By Cheng’s Comparison Theorem (version proved by Bessa-Montenegro in [10]), h π  . λ1 (Bg (R)) ≥ λ1 (BgB (R)), R ∈ 0, 2B In order to get λ1 (Bg (R)) ≥ κkG− kL∞ ([0,R)) it is sufficient to have λ1 (BgB (R)) = λ1 (BSκ (B 2 ) (R)) ≥ κkG− kL∞ ([0,R)) .

(15)

On the other hand, we can see κkG− kL∞ ([0,R)) as a first eigenvalue of a ball of e in a κ-dimensional sphere of sectional curvature B e 2, i.e. radius R e= √ where R 2

e κkG− kL∞ ([0,R)) = λ1 (BSκ (Be2 ) (R)),

π kG− kL∞ ([0,R))

e 2 = kG− kL∞ ([0,R)) . and B

We conclude that the inequality (15) holds, thus λ1 (Bg (R)) ≥ κkG− kL∞ ([0,R)) , whenever π R≤ p · 2 kG− kL∞ ([0,R))

6

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

Remark 5. We remark that if Z ∞ 1 G− (s)ds ≤ t 4 t

for every t ∈ R+ ,

where G− (s) = max {0, −G(s)}, both g and g ′ are strictly positive on R+ . This criterion has been proved in [13, Prop. 1.21]. A preliminary computation. From now on, we will consider the case when the ambient space is a warped product W n+q = N ×f Q of two Riemannian manifolds (N n , h, iN ) and (Qq , h, iQ ), with the Riemannian metric on W given by hh , ii = h , iN + f 2 h , iQ for some smooth positive function f : N → R+ . We fix the index convention 1 ≤ j, k ≤ n,

n + 1 ≤ α, β ≤ n + q.

For (p, q) ∈ W , we choose a chart (U, ψ) on N around p, with coordinate tangent basis {∂j } = {∂/∂ψj }, and a chart (V, φ) on Q around q, with basis {∂α } = {∂/∂φα }. Then, with respect to the product chart (U × V, ψ × φ) around (p, q), the Hessian of F at (p, q) has components

(16)

 Hess W F (∂j , ∂κ ) = Hess N F (∂j , ∂κ ),      1 Hess W F (∂j , ∂α ) = ∂j ∂α F − ∂j f ∂α F, f  D E     Hess W F (∂α , ∂β ) = Hess Q F (∂α , ∂β ) + 1 ∇N f, ∇F hh∂α , ∂β ii , f N

where Hess NF and Hess QF mean respectively Hess (F ◦ iN ) and Hess (F ◦ iQ ) and the inclusions are given by iN : (N, h, iN ) → N ×f {q} ⊆ N ×f Q, iQ : (Q, h, iQ ) → {p} ×f Q ⊆ N ×f Q,

x 7→ (x, q), y 7→ (p, y).

From (16) we observe that if F (p, q) = f (p) · h(q), where f is the warping function and h : Q → R is a smooth function on Q, then Hess W F has a block structure, that is   Hess W F (X, Z) = 0 ∀X ∈ T(p,q) N ×f {q} , Z ∈ T(p,q) {p} ×f Q . More precisely, we have the following result.

Lemma 6. Let F ∈ C ∞ (N ×f Q) be given by F (p, q) = f (p) · h(q), where h ∈ C ∞ (Q). Then  Hess W F (X, Y ) = hHess N f (X, Y ),     Hess W F (X, Z) = 0, (17) N 2  ∇ f   N  Hess W F (Z, W ) = f Hess Q h(Z, W ) + h hhZ, W ii , f   for every X, Y ∈ T(p,q) N ×f {q} and Z, W ∈ T(p,q) {p} ×f Q .

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

7

3. Main results Let ϕ : M m → N n ×f Qq , m > n, be a minimal immersion. Hereafter, we shall require the following Assumption 7. Define ρQ (x) = distQ (o, x) and suppose that the radial sectional curvature of Q satisfies rad KQ ≤ −G(ρQ ), where G ∈ C ∞ (R+ 0 ).

We assume that the solution g of (3) is positive and g ′ > 0 on [0, R), and that BQ (o, R) ⊆ Q\cut(o). . As Let v : Bg (R) → R be the first eigenfunction of the ball Bg (R) ⊂ Qm−n g remarked, v > 0 on Bg (R), v is radial and (up to normalization) solves  ′  v ′′ (t) + (m − n − 1) g (t) v ′ (t) + λ (B (R))v(t) = 0, t ∈ (0, R) 1 g g(t) (18)  v(0) = 1, v(R) = 0, v > 0 on [0, R), v ′ < 0 on (0, R].

Observe that, when m = n + 1, the equation simply becomes v ′′ (t) + λ1 (Bg (R))v(t) = 0.

Theorem 8. Let ϕ : M m → N n ×f Qq be an m-dimensional submanifold minimally immersed into N n ×f Qq , where Q satisfies Assumption 7 and m > n. Suppose that the warping function f satisfies N 2 ∇ f N (19) h, iN ≤ 0. Hess N f (·, ·) − f

Let U ⊆ N be an open subset, and let Ω ⊂ ϕ−1 (U ×f BQ (o, R)) be a connected component. Then, if R is such that π (20) R≤ p 2 kG− kL∞ ([0,R)) the following estimate holds: (21)

λ∗ (Ω) ≥ inf

p∈U



λ1 (Bg (R)) − m |∇N f |2N (p) |f (p)|2



,

where Bg (R) is the geodesic ball of radius R in the model manifold Qm−n or the g interval [−R, R] if m = n + 1. Proof. We start defining F : U ×f BQ (o, R) → R by F (p, q) = f (p) · h(q), where h ∈ C ∞ (BQ (o, R)) is given by h(q) = (v ◦ ρQ )(q) and v ∈ C ∞ ([0, R]) is the solution of (18). By Theorem 2, we have that   ∆(F ◦ ϕ) ∗ (22) λ (Ω) ≥ inf − . Ω F ◦ϕ We are going to give a lower bound for −∆(F ◦ ϕ)/(F ◦ ϕ). Let x ∈ Ω and let {e1 , . . . , em } be an orthonormal basis for Tx Ω. Let ϕ(x) = (p(x), q(x)), t(x) = ρQ (q(x)) and denote by PN : T(p,q) N ×f Q → T(p,q) N ×f {q} and PQ : T(p,q) N ×f   Q → T(p,q) {p} ×f Q the orthogonal projections onto the tangent spaces of the

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

8

two fibers. Then, by (2) and the minimality of M , the Laplacian of F ◦ ϕ at x has the expression ∆ (F ◦ ϕ)(x) = =

m X

Hess W F (ϕ(x))(ei , ei )

i=1 m h X

Hess W F (ϕ(x))(PNei , PNei ) + Hess W F (ϕ(x))(PQei , PQei )

i=1

i

where W = N ×f Q. Using Lemma 6, we deduce and writing t = t(x) for simplicity of notation, ∆ (F ◦ ϕ)(x) = v(t)

m X

Hess N f (PNei , PNei )(p) + f (p)

i=1

(23)

+ v(t)

m X

Hess Q v(t)(PQei , PQei )

i=1

N 2 m ∇ f X

N (p) PQei , PQei . f i=1

Let {E1 , . . . , En } be an orthonormal basis for Tp N , and consider the tangent basis  n+q ∂/∂ρQ , {∂/∂θγ }γ=n+2 , associated to normal coordinates at Q. Then the set n+q {ξl }l=1 given by 1 ∂ 1 ∂ , ξγ = ∀γ = n + 2, . . . , n + q f ∂ρQ f ∂θγ  is an orthonormal basis of T(p,q) N ×f Q . So, we can write ei as a linear combination of vectors of this basis in the following way: ξj = Ej ∀j = 1, . . . , n, ξn+1 =

ei =

n X j=1

for constants (24)

aji , bi , cγi n X

aji · ξj + bi · ξn+1 +

n+q X

γ=n+2

cγi · ξγ ,

satisfying

(aji )2 + b2i +

n+q X

(cγi )2 = 1, ∀i = 1, . . . , m.

γ=n+2

j=1

From ∇Q v(t) = v ′ (t)

∂ , ∂ρQ

Hess Q v(t) = v ′ (t)Hess Q ρQ + v ′′ (t)dρQ ⊗ dρQ ,

we can rewrite (23) in the following way: m X

  m h X ∂ PQei (v ′ (t)) , PQei ∂ρQ Q i=1 i=1 N 2 m i ∇ f X

N (p) PQei , PQei + v ′ (t)Hess Q ρQ (PQei , PQei ) + v(t) f i=1 ! N 2 m  ∇ f  X N 1 − hhPNei , PNei ii (p) Hess N f (PNei , PNei ) + =v(t) f i=1  ! n+q m m X X X γ 2 1 ∂ ∂ ′′ 2 ′ + v (t) bi + v (t) . (ci ) Hess Q ρQ , f (p) ∂θγ ∂θγ i=1 i=1 γ=n+2

∆(F ◦ ϕ)(x) =v(t)

Hess N f (PNei , PNei )(p) + f (p)

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

9

Using (19) and the fact that v is positive we have m X 1 h N 2 ′′ b2i mv(t)|∇ f |N (p) + v (t) − ∆(F ◦ ϕ)(x) ≥ − f (p) i=1  i n+q m X γ X ∂ ∂ (ci )2 Hess Q ρQ + v ′ (t) . , ∂θγ ∂θγ i=1 γ=n+2

Since v ′ (t) ≤ 0, we can apply the Hessian Comparison Theorem, to obtain −∆(F ◦ ϕ)(x) ≥ −

m 2 X 1 h mv(t) ∇N f (p) + v ′′ (t) b2i f (p) N i=1

+v ′ (t)

n+q m g ′ (t) X X γ 2 i (c ) g(t) i=1 γ=n+2 i

m n m m X  X X 1 h ′′ X 2 g ′ (t)  b2i (aji )2 − bi + v ′ (t) v (t) m− f (p) g(t) i=1 i=1 i=1 j=1 2 i + mv(t) ∇N f (p)

=−

N

where the last equality follows by an algebraic manipulation that uses (24) summed for i = 1, . . . , m. Now, by a simple rearranging, ! m X g ′ (t) 1 h ′′ 2 ′ ′′ bi v (t) + (m − n − 1)v (t) − v (t) 1− −∆(F ◦ ϕ)(x) ≥ − f (p) g(t) i=1 ! m n m X 2 i X X g ′ (t) ′ 2 j 2 +v (t) bi +mv(t) ∇N f (p) . (ai ) +1 − n− g(t) N i=1 i=1 j=1

From (18) we get

(25)



 2 λ1 (Bg (R)) −m ∇N f (p) N ! " !# m m X n m X X X 1 g ′ (t) ′ ′′ 2 j 2 2 + v (t) 1− n− bi −v (t) . (ai ) +1 − bi f (p) g(t) i=1 i=1 j=1 i=1

−∆(F ◦ ϕ)(x) ≥

v(t) f (p)

We claim that the last line of (25) is nonnegative, that is,

(26)

v ′′ (t) 1 −

m X i=1

b2i

!

  m m X n ′ X X g (t) n − b2i  ≥ 0. (aji )2 + 1 − − v ′ (t) g(t) i=1 i=1 j=1

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

10

To prove this, we substitute v ′′ (t) = −(m − n − 1)v ′(t)

to get

v ′′ (t) 1 −

m X

b2i

i=1

!

g ′ (t) − λ1 (Bg (R))v(t) in (26) g(t)

  m m X n ′ X X g (t) n − − v ′ (t) b2i  = (aji )2 + 1 − g(t) i=1 i=1 j=1

!   m X g ′ (t) ′ 2 − (m − n)v (t) bi + λ1 (Bg (R))v(t) 1− g(t) i=1   m X n ′ X g (t)  (aji )2  , n− −v ′ (t) g(t) i=1 j=1

(27)

so that (26) is equivalent to show that

(28)

!   m X g ′ (t) ′ 2 − (m − n)v (t) bi + λ1 (Bg (R))v(t) 1− g(t) i=1   m X n ′ X g (t) n − (aji )2  ≥ 0. −v ′ (t) g(t) i=1 j=1

Now, in our assumption (20), by Remark 4 it holds

λ1 (Bg (R)) ≥ (m − n)kG− kL∞ ([0,R]) . Hence, applying Lemma 3 we infer that g ′ (t) + λ1 (Bg (R))v(t) ≤ 0. g(t)  Pm Moreover, it is clear that 1 − i=1 b2i ≥ 0, and finally we observe the inequality ! n n n m n m X n X X X X X X 2 2 j 2 1 = n, |ξj | = |PM ξj | ≤ hhei , ξj ii = (ai ) = (m − n)v ′ (t)

i=1 j=1

j=1

i=1

j=1

j=1

j=1

where PM is the projection on M . Keeping in mind that v ′ ≤ 0, this concludes the proof of the claimed (28). From (25) we have  2 ∆(F ◦ ϕ) 1  (29) − λ1 (Bg (R)) − m ∇N f N (p) . (x) ≥ 2 F ◦ϕ f (p) Therefore, by (22) we conclude the desired (21).



Remark 9. In the case N = R, we observe that the mean curvature function of the fibers {p} ×f Q is given by H(y) = f ′ (y)/f (y). Therefore, condition (19) is equivalent to f H′ ≤ 0, that is, H′ ≤ 0. There exists a large class of functions for which H′ ≤ 0. For instance, f (y) = constant, f (y) = y and f (y) = ecy , where c ∈ R.

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

11

4. Applications To show the generality of Theorem 10, we conclude this paper with a number of different examples, and we discuss the sharpness of the estimates produced. 4.1. Cylinders. Considering f = 1 and N = R in Theorem 10 we obtain a generalized version of Theorem 1.1 of [7]. Corollary 10. Let ϕ : M m → R × Qq be an m-dimensional submanifold minimally immersed into R × Qq . Suppose that Q satisfies the Assumption 7. Let Ω ⊂ ϕ−1 (R × BQ (o, R)) be a connected component with π R≤ p · 2 kG− kL∞ ([0,R))

Then

λ∗ (Ω) ≥ λ1 (Bg (R)). Here Bg (R) is a geodesic ball of radius R in an (m− 1)-dimensional model manifold Qm−1 . g

In particular, when Qq = Rq in the last corollary we get the following result in the Euclidean space proved by Bessa and Costa in [7]. Corollary 11. Let ϕ : M m → Rq+1 be an m-dimensional submanifold minimally immersed into Rq+1 . Let Ω ⊂ ϕ−1 (R × BRq (o, R)) be a connected component. Then 2 c m−1 . (30) λ∗ (Ω) ≥ λ1 (BRm−1 (o, R)) = R Here cm−1 is the first zero of the J(m−1)/2−1 -Bessel function. 4.2. Pseudo-hyperbolic and hyperbolic spaces. The pseudo-hyperbolic spaces, introduced by Tashiro in [31], are warped products R ×f Qq with (i) f (y) = aeby ,

or

(ii) f (y) = a cosh(by),

for some constants a, b > 0. In the case (i), we observe that condition (19) is satisfied, as it shows ( 0 in case (i), (f ′ )2 ′′ f − = 2 f ab / cosh(by) > 0 in case (ii). We state the following corollary in the case f (y) = eby . Corollary 12. Let ϕ : M m → R ×eby Qq be an m-dimensional submanifold minimally immersed into R ×eby Qq . Suppose that Q satisfies Assumption 7. Let Ω ⊂ ϕ−1 (α, β) ×eby BQ (o, R) be a connected component with π · R≤ p 2 kG− kL∞ ([0,R)) Then,

λ1 (Bg (R)) − mb2 . e2bβ Here Bg (R) is the geodesic ball of (m − 1)-dimensional model space Qm−1 . g

(31)

λ∗ (Ω) ≥

Foliating through horospheres, we can represent the hyperbolic space Hq+1 as the warped product R ×ey Rq . By Corollary 12 we have the following eigenvalue estimate.

12

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

Corollary 13. Let ϕ : M m → Hq+1 be an m-dimensional submanifold minimally immersed into Hq+1 . Let Ω ⊂ ϕ−1 ((−∞, β) ×ey BRq (o, R)) be a connected component. Then 2  λ1 (BRm−1 (o, R)) −2β cm−1 − m, − m = e (32) λ∗ (Ω) ≥ e2β R where cm−1 is the first zero of the J(m−1)/2−1 -Bessel function. 4.3. Cones. A (q+1)-dimensional cone C q+1 (Q) ⊆ Rm over an open subset Q ⊂ Sq can be seen as the warped product C q+1 (Q) = (0, +∞) ×f Q where f (y) = y. In order to match with Assumption 7 we shall suppose that Q ⊂ BSq (o, R) for some R ≤ π/2. More generally, we can consider cones C q+1 (Q) over open subsets Q ⊂ W of Riemannian manifolds W with Q satisfying Assumption 7. We have the following result. Corollary 14. Let ϕ : M m → C q+1 (Q) be a m-dimensional submanifold minimally immersed into C q+1 (Q) with Q satisfying the Assumption 7. Let Ω ⊂ ϕ−1 (0, a) ×y BQ (o, R) be a connected component with π R≤ p · 2 kG− kL∞ ([0,R))

Then,

 1 λ1 (Bg (R)) − m , 2 a where Bg (R) is the geodesic ball of radius R in the model manifold Qm−1 . g (33)

λ∗ (Ω) ≥

We are ready to analyze the spherical case. Although the sphere is well studied, the values of the first eigenvalue λ1 (BSm (r)) are pretty much unknown, with the exceptions λ1 (BSm (π/2)) = m and λ1 (BSm (π)) = 0. We should mention the estimates for spherical cups [1], [28], [29] in dimension two, [20] in dimension three and [2], [3], [12] in all dimensions. Corollary 15. Let ϕ : M m → Sq+1 = (o, π) ×sin y Sq be an m-dimensional submanifold minimally immersed into Sq+1 . Let Ω ⊂ ϕ−1 ((o, r) ×sin y BSq (θ)), θ < π/2 be a connected component. Then  λ1 (BSm−1 (θ)) − m   if r ≤ π/2,  (sin r)2 (34) λ∗ (Ω) ≥    λ1 (BSm−1 (θ)) − m if r ≥ π/2.

4.4. Essential spectrum. The ideas developed above can be applied to study the essential spectrum of −∆ of submanifolds properly immersed into the hyperbolic spaces with fairly weak bounds on the mean curvature vector. Via Persson formula ([26] and [11, Prop. 3.2]), one can express the bottom of the essential spectrum of −∆ as follows: for every exhaustion of M by relatively compact open sets {Kj } with Lipschitz boundary, (35)

inf σess (−∆) = lim λ∗ (M \Kj ). j→+∞

It therefore follows that −∆ has pure discrete spectrum if and only if lim λ∗ (M \Kj ) = ∞.

j→+∞

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

13

Our next application regards the essential spectrum of graph hypersurfaces of Hq+1 whose boundary lies in a relatively compact region of Hq∞ , the boundary at infinity of Hq+1 . Corollary 16. Consider the upper half-space model of the hyperbolic space Hq+1 , q ≥ 2, with coordinates (x0 , x1 , . . . , xq ) = (x0 , x ¯) and metric   1 h , i = 2 dx20 + dx21 + . . . + dx2q , x0

and let Hq∞ be its boundary at infinity, with chart x¯. Consider a hypersurface without boundary ϕ : M q → Hq+1 that can be written as the graph of a function u over a relatively compact, open set W ⊆ Hq∞ , and denote with H(¯ x) its mean curvature. For z > 0, define  Hz = sup H(¯ x) : x¯ ∈ W, u(¯ x) = z If

lim z 2 Hz = 0,

(36)

z→0

then M has pure discrete spectrum. Proof. Setting y = log x0 , we can rewrite the metric on Hq+1 as the one of the warped product R ×ey Rq . In our assumptions, since M has no boundary and is a graph over W it holds y(ϕ(x)) → −∞ as x diverges in M q . We identify the factor Rq in the warped product structure with Hq∞ endowed with the Euclidean metric, we fix an origin o ∈ Hq∞ and we let R be large enough that W ⊂ BRq (o, R). Let {zj } ↓ 0+ be a chosen sequence, set βj = log zj ↓ −∞ and define  Kj = ϕ−1 (βj , +∞) × W , Ωj = M \Kj .

In our assumptions, Kj is relatively compact for every j and {Kj } is a smooth exhaustion of M . Consider a positive first eigenfunction v of the geodesic ball BRq−1 (o, 2R), with the normalization kvkL∞ = 1. Define F : (−∞, βj )×ey BRq (o, 2R) → R as F (y, p) = ey · h(p),

where h(p) = v(ρRq (p)). By Theorem 2 and formula (2),

−∆(F ◦ ϕ) F ◦ϕ M\Kj # " q X 1 Hess Hq+1 F (ϕ(x)) (ei , ei ) + qh∇F, Hi . = inf − M\Kj F ◦ ϕ i=1

λ∗ (M \ Kj ) ≥ inf

The proof of Theorem 10, in particular inequality (29), show that, for x ∈ M \Kj , q

λ1 (BRq−1 (o, 2R)) 1 X Hess Hq+1 F (ϕ(x)) (ei , ei ) ≥ − − q, F ◦ ϕ i=1 e2y(x) therefore, on M \ Kj , −

|∇F | λ1 (BRq−1 (o, 2R)) ∆(F ◦ ϕ) − q − q |H| (x) ≥ (ϕ(x)). 2y(x) F ◦ϕ F e

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

14

On the other hand, ∇F = F ∇y + ey ∇h and thus |∇F |/F ≤ 1 + |∇h|/h. Since 1 ≥ h > 0 on BRq−1 (o, R), we infer that |∇F | ≤ C(R), BRq−1 (o,R) F sup

where C(R) = 1 +

|∇h| > 0. BRq−1 (o,R) h sup

From the above, we have (37)



λ (M \ Kj ) ≥ inf

M\Kj



 λ1 (BRq−1 (o, 2R)) − qC(R)|H(x)|e2y(x) − qe2y(x) . e2y(x)

In our assumptions, on M \Kj ,

 2 |H(x)|e2y(x) ≤ Hx0 (x) e2y(x) = Hx0 (x) x0 (x) .

By (36), this latter goes to zero uniformly for x ∈ M \Kj and divergent j. In particular, for each fixed ε > 0, there exists jε large such that, for j ≥ jε , |H(x)|e2y(x) ≤ ε on M \Kj . It therefore follows that, for j large enough,   λ1 (BRq−1 (o, 2R)) − qC(R)ε − qx0 (x)2 λ∗ (M \ Kj ) ≥ inf . x0 (x)2 M\Kj Choosing ε sufficiently small, letting j → +∞ and using that x0 (x)2 ≤ e2βj → 0+ for x ∈ M \Kj and divergent j, we deduce that λ∗ (M \Kj ) → +∞, and the claim follows by Persson formula.  To conclude, we consider the essential spectrum of submanifolds satisfying some strong non-properness assumption. This includes submanifolds with bounded image immersed in a complete manifold. We begin with recalling the following Definition 17. Let M , W be Riemannian manifolds and let ϕ : M → W be an isometric immersion. The limit set of ϕ, denoted by lim ϕ, is a closed set defined as follows  lim ϕ = p ∈ W ; ∃ {pk } ⊂ M, distM (o, pk ) → ∞ and distW (p, ϕ(pk )) → 0 .

Observe that: • An isometric immersion ϕ : M → W is proper if and only if lim ϕ = ∅. • The closure of the set ϕ−1 [W \ Tǫ (lim ϕ)] may not be a compact subset of M . Here Tǫ (lim ϕ) = {y ∈ W : distW (y, lim ϕ) < ǫ} is the ǫ-tubular neighborhood of lim ϕ.

Definition 18. An isometric immersion ϕ : M → W is strongly non-proper if for all ǫ > 0 the closed subset ϕ−1 (W \ Tǫ lim ϕ) is compact in M . Remark 19. A strongly non-proper immersions is not necessarily bounded: for example, the graph immersion ϕ : B1 (0)\{0} ⊂ Rm → Rm × R given by    1 − r(x) sin r(x)(1 − r(x) ϕ(x) = (w, z) = x, r(x) is strongly non-proper, and lim ϕ = {w = 0} ∪ {r(w) = 1, z = 0}.

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

15

Corollary 20. Let ϕ : M m → N n ×f Qq be a strongly non-proper minimal submanifold. Suppose that Q satisfies Assumption 7. Assume in addition that the warping function f satisfies inf N f > c1 > 0, supN |∇f | ≤ c2 < ∞ and N 2 ∇ f N h, iN ≤ 0. Hess N f (·, ·) − f Then, if lim ϕ ⊂ N ×f {o}, the spectrum of M is discrete. Proof. Let Tj (N ) = N ×f BQ (o, 1/j), for j large enough that BQ (o, 2/j) ⋐ M is a regular, convex ball. Let Kj = ϕ−1 [(N ×f Q) \ Tj (N )] be an exhaustion of M by relatively compact, open sets. Note that ϕ(M \ Kj ) ⊂ Tj (N ). We now proceed as in the proof of Corollary 16. Define F = f (p)vj (ρQ (q)), where vj is the first eigenfunction of Bg (2/j) ⊂ Qm−n , normalized according to kvj kL∞ = 1, and note g that c2 + k∇ log vj k. k∇ log F kL∞ (Tj (N )) ≤ k∇ log f k + k∇ log vj k ≤ c1 By gradient estimates (see for instance, [23, Thm. 6.1].)



vj

k∇ log vj kL∞ (Tj ) = ≤ C · j,

vj ∞ L

([0,j])

for some absolute constant C > 0, and so k∇ log F kL∞ (Tj ) ≤ Cj. Using formula (37) and proceeding as in the proof of Corollary 16, we have that   λ1 (Bg (2/j)) − m |∇N f |2N (p) λ∗ (M \ Kj ) ≥ inf p∈N |f (p)|2

Since

we deduce

− mkHkL∞ (M) k∇ log F kL∞ (Tj ) . λ1 (Bg (2/j)) − mc22 λ1 (Bg (2/j)) − m |∇N f |2N (p) ≥ , 2 |f (p)| c21

λ1 (Bg (2/j)) − mc22 − mkHkL∞ (M ) Cj. c21 Taking into account the standard asymptotic λ1 (Bg (2/j)) ∼ Cj 2 , for some C > 0, we conclude that lim λ∗ (M \ Kj ) = +∞, λ∗ (M \ Kj ) ≥

j→+∞

and the thesis follows by Persson formula.



Acknowledgements: The first author was partially supported by CNPq, grant # 301041/2009-1. The second author was partially supported by MICINN project MTM2009-10418 and Fundaci´on S´eneca project 04540/GERM/06, Spain, by the Inter-university Cooperation Programme Spanish-Brazilian project PHB2010-0137 and by a research training grant within the framework of the programme Research Training in Excellence Groups GERM by Universidad de Murcia. This work was developed during the third author’s visiting period at the Universidade Federal do Cear´ a-UFC, Fortaleza-Brazil. He wishes to thank the Mathematics Department for the warm hospitality and for the delightful research environment. The fourth author was supported by FPI Grant BES-2010-036829 and by was partially supported by

16

G. P. BESSA, S.C. GARC´IA-MART´INEZ, L. MARI, AND H.F. RAMIREZ-OSPINA

MICINN project MTM2009-10418 and Fundaci´on S´eneca project 04540/GERM/06, Spain. This research is a result of the activity developed within the framework of the Programme in Support of Excellence Groups of the Regi´on de Murcia, Spain, by Fundaci´ on S´eneca, Regional Agency for Science and Technology (Regional Plan for Science and Technology 2007-2010). References 1. J.L. Barbosa, M.P. Do Carmo, Stability of minimal surfaces and eigenvalues of the Laplacian. Math. Z. 173, (1980), 13–28. 2. C.S. Barroso and G.P. Bessa, A note on the first eigenvalue of spherically symmetric manifolds. Mat. Contemp. 30, (2006), 63–69. 3. C.S. Barroso and G.P. Bessa, Lower bounds for the first Laplacian eigenvalue of geodesic balls of spherically symmetric manifolds. Int. J. Appl. Math. Stat. 6 (2006), 82-86. 4. J. Barta, Sur la vibration fundamentale d’une membrane. C. R. Acad. Sci. 204, (1937), 472– 473. 5. P.H. B´ erard, Spectral geometry: direct and inverse problems. Lect. Notes in Math. 1207, Springer-Verlag, 1986. 6. M. Berger, P. Gauduchon and E. Mazet, Le Spectre d’une Vari´ et´ e Riemannienes. Lect. Notes in Math. 194, Springer-Verlag, 1974. 7. G.P. Bessa and M.S. Costa, Eigenvalue estimates for submanifolds with locally bounded mean curvature in N × R. Proc. Amer. Math. Soc. 137, (2009), 1093–1102. 8. G.P. Bessa and J.F. Montenegro, Eigenvalue estimates for submanifolds with locally bounded mean curvature. Ann. Global Anal. and Geom. 24, (2003), 279–290. 9. G.P. Bessa and J.F. Montenegro, An Extension of Barta’s Theorem and Geometric Applications. Ann. Global Anal. Geom. 31, (2007), 345–362. 10. G.P. Bessa and J.F. Montenegro, On Cheng’s eigenvalue comparison theorem. Math. Proc. Cambridge Philos. Soc. 144, (2008), 673-682. 11. G.P. Bessa J.F. Montenegro and Paolo Piccione, Riemannian Submersions with Discrete Spectrum. J. Geom. Anal. 22, (2012), 603-620. 12. C. Betz, G.A. Camera and H. Gzyl, Bounds for first eigenvalue of a spherical cap. Appl. Math. Optm. 10, (1983), 193–202. 13. B. Bianchini L. Mari and M. Rigoli, On some aspects of Oscillation Theory and Geometry, to appear on Mem. Amer. Math. Soc. 14. A. Candel, Eigenvalue estimates for minimal surfaces in Hyperbolic space. Trans. Amer. Math. Soc. 359, (2007), 3567–3575. 15. I. Chavel, Eigenvalues in Riemannian Geometry. Pure and Applied Mathematics, 1984, Academic Press, INC. 16. S.Y. Cheng, P. Li and S.T. Yau, Heat equations on minimal submanifolds and their applications. Amer. J. Math. 106, (1984), 1033–1065. 17. P. Chernoff, Essential self-adjointness of powers of generators of hyperbolic equations, J. Funct. An. 12, (1973), 401–414. 18. L-F Cheung and P-F Leung, Eigenvalue estimates for submanifolds with bounded mean curvature in the hyperbolic space. Math. Z. 236, (2001), 525–530. 19. E.B. Davies, Spectral theory and differential operators, Cambrigde University Press, 1995. 20. S. Friedland and W.K. Hayman, Eigenvalue inequalities for the dirichlet problem on spheres and the growth of subharmonic functions. Comment. Math. Helvetici 51, (1976), 133–161. 21. R.E. Greene and H. Wu, Function theory on manifolds which possess a pole. Lect. Notes in Math. 699. Springer, Berlin, 1979. 22. L. Jorge and D. Koutrofiotis, An estimate for the curvature of bounded submanifolds. Amer. J. Math. 103, (1980), 711–725. 23. P. Li, lecture notes on Geometric analysis. Lecture Notes Series, 6. Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1993. iv+90 pp. 24. W. Meeks and H. Rosenberg, The theory of minimal surfaces in M 2 × R. Comment. Math. Helv. 80, (2005), 811–858. 25. W. Meeks and H. Rosenberg, Stable minimal surfaces in M 2 × R. J. Differential Geom. 68, (2004), 515–534.

EIGENVALUE ESTIMATES FOR SUBMANIFOLDS

17

26. A. Persson, Bounds for the discrete part of the spectrum of a semi-bounded Schrdinger operator. Math. Scand. 8, (1960) 143-153. 27. S. Pigola, M. Rigoli and A.G. Setti, Vanishing and finiteness results in geometric analysis. A generalization of the Bochner technique. Progress in Mathematics, 266. Birkhauser Verlag, Basel, 2008. 28. M.A. Pinsky, The first eigenvalue of a sphercial cap. Appl. Math. Opt. 7, (1981), 137–139. 29. S. Sato, Barta’s inequalities and the first eigenvalue of a cap domain of a 2-sphere. Math. Z. 181, (1982), 313–318. 30. R.S. Strichartz, Analysis of the Laplacian on the complete Riemannian manifold, J. Funct. An. 52, (1983), 48–79. 31. Y. Tashiro, Complete Riemannian manifolds and some vector fields. Trans. Amer. Math. Soc. 117, (1965), 251–275. ´ tica, Universidade Federal do Ceara ´ -UFC, 60455-760 ForDepartamento de Matema taleza, CE, Brazil E-mail address: [email protected] ´ ticas,, Universidad de Murcia,, Campus de Espinardo, 30100 Departamento de Matema Espinardo, Murcia, Spain E-mail address: [email protected] ´ tica, Universidade Federal do Ceara ´ -UFC, 60455-760 ForDepartamento de Matema taleza, CE, Brazil E-mail address: [email protected] ´ ticas,, Universidad de Murcia,, Campus de Espinardo, 30100 Departamento de Matema Espinardo, Murcia, Spain E-mail address: [email protected]