Universidade Federal de Alagoas

Programa de Ps-Graduao em Matemtica

DISSERTAO DE MESTRADO

Rio So Francisco

Teorema de Decomposio de Cheeger-Gromoll

MATEMTICA

A cincia
do infinito

Marcius Petrcio de Almeida Cavalcante

Macei
14 de Dezembro de 2007

Aos meus pais Francisco Petrcio Cavalcante

e Maria das Neves de Almeida Cavalcante.
3

O caminho do amor nunca suave,

mas ele pode ser contnuo...
4

Agradecimentos
Agradeo ao professor Hilrio Alencar, meu orientador, por esses anos de
orientao acadmica e oportunidades dadas.
Ao professor Adn Corcho, pela orientao e amizade fornecidas de sua
parte durante os anos de graduao e mestrado.
Ao meu irmo e professor Marcos Petrcio, pelo curso de Introduo
Geometria Riemanniana dado no primeiro semestre de 2007, pela moradia
proporcionada nestes dois ltimos anos, pela pacincia, etc.
Aos professores Enaldo Vergasta e Fernando Cod Marques pelas valiosas
correes e sugestes dadas para melhoria desta dissertao.
Aos meus amigos do Programa de Ps-Graduao em Matemtica da
UFAL, de forma especial a Andr Pizzaia, Arlyson Alves e Everson Fernando.
Aos meus amigos Askery Alexandre, Caio e Manoel do Instituto de Fsica
da UFAL pela fora dada, assim como tambm agradeo a Darliton Cezrio,
Gelsivnio Souza e Jos Eduardo.
Ao meu amigo Mrcio Henrique, um agradecimento todo especial pelas
importantes dvidas esclarecidas, as quais deram rmeza a vrios argumentos
matemticos desta dissertao.
Sou muito grato aos professores Adriano Aguiar e Eduardo Perdigo
pelos seminrios de Espaos Mtricos e Introduo Anlise Funcional
ministrados.
Ao professor Adelalson Peixoto e seus orientandos pela amizade e apoio
nesta dissertao, isto inclui Clarissa Cod e Claudemir Silvino.
A todos os professores do Instituto de Matemtica da UFAL que
colaboraram com minha formao matemtica.

Ao Conselho Nacional de Desenvolvimento Cientco e Tecnolgico CNPq - pelo apoio nanceiro.

A Deus por tudo...

Resumo
Demonstramos o Teorema de Decomposio de Cheeger-Gromoll,
o qual garante que uma variedade Riemanniana completa

n-

dimensional, com curvatura de Ricci no-negativa, que possui

uma linha, pode ser decomposta isometricamente num produto
Riemanniano de uma variedade (n-1 )-dimensional com o conjunto
dos reais.

Palavras-chave:

Isometria, Frmula de Weitzenbck, Laplaciano,

Decomposio de Cheeger-Gromoll, Funes de Busemann.

Abstract
We demonstrate the Splitting Theorem due to Cheeger and
Gromoll, which ensures that a complete Riemannian

n -manifold

which has nonnegative Ricci curvature and a line, can be split

isometrically into the Riemannian product of real with a (n-1 )manifold.

Key words:

Isometry, Weitzenbck's Formula, Laplacian,

Splitting Theorem of Cheeger-Gromoll, Busemann Functions.

Sumrio
Introduo

1 Conceitos Bsicos da Geometria Riemanniana

12

1.1

Variedades e Mtricas Riemannianas . . . . . . . . . . . . . . 12

1.2

A Conexo de Levi-Civita . . . . . . . . . . . . . . . . . . . . 16

1.3

Aplicao Exponencial . . . . . . . . . . . . . . . . . . . . . . 18

1.4

Variedades Completas . . . . . . . . . . . . . . . . . . . . . . 19

1.5

Curvaturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

2 Resultados Preliminares

24

2.1

Frmula de Weitzenbck . . . . . . . . . . . . . . . . . . . . . 24

2.2

A Hessiana da Funo Distncia . . . . . . . . . . . . . . . . . 28

2.3

Teorema de Comparao do Laplaciano . . . . . . . . . . . . . 33

3 O Teorema de Decomposio de Cheeger-Gromoll

39

3.1

Funes de Busemann . . . . . . . . . . . . . . . . . . . . . . 39

3.2

Teorema de Cheeger-Gromoll . . . . . . . . . . . . . . . . . . 41

Referncias Bibliogrcas

48

ndice Remissivo

50

Introduo
O Teorema de Decomposio de Cheeger-Gromoll de fundamental
importncia em Geometria Riemanniana e, alm disso, possui muitas
aplicaes. Inicialmente, este teorema foi provado por Cohn-Vossen, em
1936, para superfcies no espao Euclidiano R3 e, em seguida, por Toponogov
em 1964, para variedades completas n-dimensionais, com a hiptese de
curvatura seccional no-negativa. A verso que apresentamos aqui, devida a
Cheeger e Gromoll, generaliza o Teorema de Decomposio para variedades
Riemannianas completas com curvatura de Ricci no-negativa, cujo resultado
foi publicado em 1971 no Journal of Dierential Geometry com o seguinte
enunciado:

Teorema 0.1. Seja (M n ; g) uma variedade Riemanniana completa com

curvatura de Ricci no-negativa. Ento M isomtrica a um produto
Riemanniano da forma Rk  N , onde N no contm linhas e Rk possui
a mtrica cannica.
No entanto, com um argumento de induo nita, suciente provar que

se (M n ; g ) uma variedade Riemanniana completa, a qual contm uma linha

Ric(M )  0, ento M isomtrica a um produto Riemanniano da forma

R  N . Pois, teremos Ric(N )  0 e N completa.

Esta dissertao est dividida da seguinte maneira.

No primeiro captulo apresentamos conceitos bsicos de Geometria
Riemanniana e procuramos xar as notaes.
No segundo captulo, alguns resultados preliminares so demonstrados, a
saber, por exemplo, a Frmula de Weitzenbck.

10

Proposio 0.1. Seja f

2 C 3 uma funo denida em M . Ento

1

j grad f j2 = j Hess f j2 + hgrad f; grad(
f )i + Ric (grad f; grad f ) :
2

Apresentamos tambm resultados sobre a Hessiana da funo distncia e

conclumos o captulo com o Teorema de Comparao do Laplaciano:

Teorema 0.2. Seja (M n ; g) uma variedade Riemanniana completa. Suponhamos que a curvatura de Ricci de M satisfaz Ric(M )  (n 1)kg. Seja r
a distncia geodsica ao ponto p 2 M . Suponhamos ainda que a funo r
diferencivel no ponto x. Ento

r(x) 
rk (~x);
onde rk (~x) = r(x) = r0 e r0 < pk se k > 0.
Finalmente, no terceiro captulo desta dissertao, demonstramos o Teorema de Decomposio de Cheeger-Gromoll. Antes, porm, ainda demonstramos alguns resultados com o intuito de apresentarmos o teorema nal
com uma boa objetividade. Dentre tais resultados, mostramos que a funo
de Busemann b+ associada a um raio super-harmnica no sentido das
distribuies e o Teorema de Comparao do Laplaciano no sentido das
distribuies.
Ressaltamos que a demonstrao feita nesta dissertao baseada no
seguinte artigo:
Eschenburg, J.-H., Heintze, E.,

An elementary proof of the Cheeger-

Gromoll splitting theorem, Ann. Glob. Analysis and Geometry, vol. 2,

(1984), 141151.

O qual apresenta novas tcnicas de como atacar teoremas de

decomposio.
Vale observar que o teorema no vlido para variedades que possuem
curvatura escalar no negativa. Como contra-exemplo, podemos citar a variedade R2  S2 com a mtrica de Schwarzschild.

11

Captulo 1
Conceitos Bsicos da Geometria
Riemanniana
Neste captulo introduzimos conceitos e resultados bsicos de Geometria
Riemanniana, tais como variedades e mtricas Riemannianas, a conexo de
Levi-Civita, curvaturas, variedades completas e outros conceitos que precisaremos para os prximos captulos desta dissertao.

1.1

Variedades e Mtricas Riemannianas

Sabemos que dada uma variedade diferencivel M n , um campo

de vetores
X em M uma aplicao que a cada ponto p 2 M associa um vetor X (p)
pertecente ao espao tangente Tp M .
Considerando uma parametrizao x : U  Rn ! M , podemos escrever,
para cada p 2 x(U ),
n
X
@
X (p) =
i (p) (p);
@xi
i=1

onde f @x@ 1 (p); : : : ; @x@n (p)g a base de vetores tangentes em p 2 M associada

x, e 1 ; : : : ; n so funes diferenciveis em U . Com abuso de notao,
escrevendo f ao invs de f  x, podemos tambm pensar em um campo
de vetores como uma aplicao

X :

D !F

12

do conjunto

D das funes

diferenciveis em

no conjunto

F das funes em M , denida por

X (f )(p) =

n
X
i=1

i (p)

@f
(p):
@xi

O conjunto de todos os campos de vetores em M ser denotado por X (M ).

A seguir, apresentaremos o colchete de Lie de dois campos.
P

Exemplo 1.1. Sejam X = i ai @x@ i e Y = j bj @x@ j pertencentes a X (M ).

Ento [X; Y ] := XY Y X pertence a X (M ).
De fato,
XY (f ) =
=
=
=
=

@f
X
bj
@xj
j


X
@f
X bj
@xj
j


XX
@f
@
ai
bj
@x
@xj
i
j
i


XX
@bj @f
@ 2f
ai
+b
@xi @xj j @xi @xj
j
i


XX
@ 2f
@bj @f X X
+
ai bj
:
ai
@x
@x
@x
@x
i
j
i
j
j
i
j
i
X

Analogamente, vemos que

Y X (f ) =

XX
i

@a @f X X
@ 2f
bj i
+
bj ai
:
@xj @xi
@x
@x
j
i
i j

Da, usando o teorema de Schwartz, obtemos

XY (f ) Y X (f ) =

XX
j

@b
ai j
@xi

@a @f
bj i
:
@xj @xi

Isso mostra que [X; Y ] um campo de vetores.

Denominamos [X; Y ] o colchete de Lie dos campos X e Y .
13

Passemos agora seguinte denio:

mtrica Riemanniana em uma variedade diferencivel M n uma

correspondncia que associa a cada ponto p 2 M um produto interno h
;
ip =
gp (
;
) no espao tangente Tp M , tal que: se x : U  Rn ! M um sistema
de
D coordenadas
E locais em torno de p, ento para cada i; j 2 f1; : : : ; ng,
@ (q ); @ (q ) uma funo diferencivel em U .
@xi
@xj
Uma

gij :=

@
@
@xi ; @xj

componentes da mtrica
Riemanniana no sistema de coordenadas x : U  Rn ! M n . Uma
As funes

so chamadas

variedade diferencivel com uma mtrica Riemanniana chamada variedade

Riemanniana. Denotaremos por
dimenso

n com uma mtrica g.

(M n ; g)

uma variedade Riemanniana de

Exemplo 1.2. A esfera unitria Sn 1 (1) = fx = (x1 ; : : : ; xn ) 2 Rn ; jxj = 1g

uma variedade Riemanniana. Com efeito, basta denirmos a mtrica g por
g(u; v)p = hu; viRn , onde u; v 2 Tp Sn 1 .
Exemplo 1.3. O espao hiperblico Hn .
Considere a variedade diferencivel U = Rn+ = f(x1 ; : : : ; xn ) 2 Rn ; xn > 0g,
com a carta id : U  Rn ! U . Dado p 2 U , p = (x1 ; : : : ; xn ), sejam
v; w 2 Tp U = Rn .
Denimos
1
hp (v; w) = 2 hv; wiRn :
xn
V-se que (U; h) := Hn uma variedade Riemanniana, denominada
espao hiperblico.
Exemplo 1.4. Variedades Imersas.
Seja f : M n ! N n+k uma imerso, isto , f uma aplicao diferencivel
e dfp : Tp M ! Tf (p) N injetiva para todo p 2 M . Se N tem uma mtrica
Riemanniana, f induz uma mtrica Riemanniana em M , dada por

hu; vip = hdfp(u); dfp(v)if (p) ; u; v 2 TpM:

Com efeito, como dfp injetiva, h
;
i positivo denido. As demais
condies da denio de mtrica Riemanniana podem ser facilmente
14

vericadas.

M
imerso isomtrica.
Quando f : M n
A mtrica de

ento chamada a

mtrica induzida por f e f uma

! N n+k uma imerso e, alm disso, f um

homeomorsmo sobre f (M )  N , onde f (M ) tem a topologia induzida por
N , diz-se que f um mergulho. Se M  N e a incluso i : M ,! N um
mergulho, diz-se que

uma

subvariedade de N .

Uma classe importante de variedades Riemannianas dada no exemplo

seguinte.

Exemplo 1.5. Mtrica Produto.

Sejam (M1n ; g1 ) e (M2n ; g2 ) variedades Riemannianas e considere o produto
cartesiano M = M1  M2 com a estrutura diferencivel produto. Sejam
1 : M1  M2 ! M1 e 2 : M1  M2 ! M2 as projees naturais.
Podemos introduzir em M1  M2 uma mtrica Riemanniana pondo, para
cada (p; q) 2 M1  M2 e u; v 2 T(p;q) (M1  M2 ),
1

hu; vi(p;q) = hd1
u; d1
vip + hd2
u; d2
viq :

Como casos particulares temos, por exemplo, S1  S1 = T2 ou, mais
geralmente, S1 


 S1 = Tn , os quais tm uma estrutura Riemanniana
obtida quando escolhemos no crculo S1  R2 a mtrica Riemanniana
induzida por

R2 e, em seguida, tomamos a mtrica produto em Tn.

O toro

Tn com esta mtrica Riemanniana chamado toro plano ou toro at.

Teorema 1.1. Toda variedade com base enumervel, diferencivel e de

Hausdor possui uma mtrica Riemanniana.
Demonstrao. Ver [3], pgina 47.

Denio 1.1. Sejam (M n ; g) e (M n ; g) variedades Riemannianas. Um

difeomorsmo ' : M ! M dito uma isometria se
g'(p) (d'p (v); d'p (w)) = gp (v; w); 8 p 2 M; 8 v; w 2 Tp M:
15

1.2

A Conexo de Levi-Civita

Uma conexo

am

r em uma variedade diferencivel M uma aplicao

r : X (M )  X (M ) ! X (M )

tal que,

8 X; Y; Z 2 X (M ) e 8 f; g 2 D(M ), tem-se

(i)

rfX +gY Z = f rX Z + grX Z

(ii)

rX (Y + Z ) = rX Y + rX Z

(iii)

rX fY = f rX Y + X (f )Y .

Em coordenadas locais,

i xi Xi e

Y=

i yi Yi , que

rX Y
Os coecientes

Xi =

i;j

@
@xi , pode-se facilmente ver, para

xi y j

k , denidos por
ij

smbolos de Christoel da conexo.

X =

k
ij

+ X (yk ) Xk :

rX Xj
i

P k
k ij Xk , so chamados

Em termos dos coecientes da mtrica Riemanniana, os smbolos de

Christoel possuem a seguinte expresso:
m
ij

1X @
@
=
gjk +
g
2 k @xi
@xj ki

@
g gkm ;
@xk ij

(gkm ) a matriz inversa de (gkm ), ver [3], pgina 62.

Dada uma curva diferencivel  : I  R ! M , um campo ao
longo de  uma funo V : I ! T M tal que V (t) 2 T(t) M , onde
T M = f(p; v)jp 2 M; v 2 Tp M g o brado tangente de M .
d g em T I = R. Por
Seja t 2 I . Em coordenadas, temos a base f dt
t
d
0
denio, t ( dt ) o vetor tangente curva  em (t). Usaremos a notao:


d dtd = 0 (t).
onde

16

Proposio 1.1. Sejam M uma variedade Riemanniana com uma conexo

am r e  : I ! M uma curva diferencivel. Ento para cada campo V
ao longo de , existe um nico campo denotado por DV
dt tal que
(a)

D
dt (V

(b)

D
dt (fV )

+ W) =

DV
dt

+ DW
dt ;

= dfdt V + f DV
dt ;

(c) Se V (t) a restrio de um campo Y denido numa vizinhana de

(I ), ento DV
dt = r0 (t) Y .
Demonstrao. Ver [3], pgina 57.
Dizemos que uma conexo am
simtrica se

r em uma variedade diferencivel M

rX Y rY X = [X; Y ]; 8 X; Y 2 X (M ):

A justicativa para tal nomenclatura vem do seguinte fato:

f1;


; ng,

8 i; j 2

rX Xj rX Xi = [Xi; Xj ] = 0;
i

o que equivalente a kij = kji .

Dizemos que uma conexo am

r em uma variedade Riemanniana M

compatvel com a mtrica se

X hY; Z i = hrX Y; Z i + hY; rX Z i ; 8 X; Y; Z 2 X (M ):

O prximo teorema fundamental em Geometria Riemanniana.

Teorema 1.2 (Levi-Civita). Dada uma variedade Riemanniana M , existe

uma nica conexo am r em M que simtrica e compatvel com a mtrica
Riemanniana.
Demonstrao. Ver [3], pgina 61.

M.

Tal conexo denominada conexo de Levi-Civita (ou Riemanniana) de

A partir daqui estaremos sempre considerando variedades Riemannianas

com suas respectivas conexes de Levi-Civita.

17

1.3

Aplicao Exponencial

 em M uma geodsica em t 2 I se dtD 0 (t) = 0.

p
Neste caso, se v (t) = h0 (t); 0 (t)i a velocidade de , temos que
Uma curva

d 2
d 0
(v (t)) =
h
 (t); 0 (t)i
dt
dt

D 0
0
= 2
 (t);  (t)
dt
= 0:
Portanto, se

geodsica, ento o vetor velocidade de

possui norma

constante.

Denio 1.2. Um campo V ao longo de uma curva  dito paralelo se

DV = 0.
dt
Proposio 1.2. Sejam  : I ! M diferencivel e V0 2 T(t ) M . Ento
existe um nico campo paralelo V , ao longo de , tal que V (t0 ) = V0 .
0

Demonstrao. Ver [3], pgina 58.

Como consequncia do teorema de existncia e unicidade de solues de
equaes diferenciais ordinrias, obtemos o seguinte resultado:

Proposio 1.3. Dados p 2 M e v 2 Tp M , existe uma nica geodsica

 : I ! M tal que (0) = p e 0 (0) = v.

2 TpM , vamos denotar por v a nica geodsica de M que passa por

p 2 M com velocidade v 2 Tp M .
Seja p = fv 2 Tp M ; v est denida num intervalo contendo [0; 1]g.
Se v

Denio 1.3. A aplicao expp : p

denominada aplicao exponencial.

! M , denida por expp(v) = v (1),

Proposio 1.4. As seguintes propriedades so satisfeitas:

1. cada conjunto p  Tp M estrelado em relao a p;
18

2. para cada v 2 Tp M , a geodsica v dada por v (t) = expp (tv), para

todo t 2 R onde os dois lados esto denidos;
3. a aplicao expp diferencivel.
Demonstrao. Ver [3], pgina 71.
possvel aumentar a velocidade de uma geodsica diminuindo o
seu intervalo de denio e vice-versa.
conhecida, chamada

Isso segue de uma propriedade

homogeneidade das geodsicas. Em termos matem-

ticos, expressamos isso da seguinte forma:

v (t) = v (t);

8 v 2 Tp M

8 ; t 2 R:

Proposio 1.5. Para todo p 2 M , existem uma vizinhana V da origem de

Tp M e uma vizinhana U de p, tais que expp : V ! U um difeomorsmo.
Demonstrao. De fato,

d
(expp (tv))t=0
dt

d
( v (t))t=0
=
dt
= v0 (0)
= v:

d(expp )0 (v) =

Logo,

d(expp )0

funo inversa que

Tp M .

O aberto

de p.

1.4

a identidade de

expp

Tp M ,

segue-se ento do teorema da

um difeomorsmo local numa vizinhana de

dado pela proposio anterior chamado

0 em

vizinhana normal

Variedades Completas

Quando se est interessado em estudar propriedades globais de uma variedade Riemanniana, ca conveniente considerarmos variedades completas.
19

Denio 1.4. Uma variedade Riamanniana M (geodesicamente)

completa se, para todo p 2 M , a aplicao exponencial expp est denida
para todo v 2 Tp M , isto , as geodsicas (t) que partem de p esto denidas
para todos os valores do parmetro t 2 R.
Podemos denir uma distncia

d(p; q)

numa variedade Riemanniana, a

qual estaremos sempre supondo conexa, da seguinte maneira:

d(p; q) = nmo

dos comprimentos de todas as curvas p;q , onde p;q uma curva diferencivel
por partes ligando

p a q.

No difcil ver que

(M; d) um espao mtrico.

Teorema 1.3 (Hopf-Rinow). Uma variedade Riemanniana completa se, e

somente se, completa como um espao mtrico.
Demonstrao. Ver [8], pgina 108.
O Teorema (1.3) possui vrias conseqncias, por exemplo:
(i) se

completa, ento dois pontos quaisquer de

podem ser ligados

por um segmento de geodsica minimizante;

(ii) se

1.5

compacta, ento

completa.

Curvaturas

Nesta seo, introduzimos o conceito de curvatura numa variedade

Riemanniana, culminando com as denies de curvatura de Ricci e
curvatura escalar. Mais consideraes sobre curvaturas podem ser vistas,
por exemplo, em [8], captulo 7.

curvatura R de uma variedade Riemanniana a aplicao que a cada

par X; Y 2 X (M ) associa a correspondncia
A

R(X; Y ) : X (M )
dada por

R(X; Y )Z = rX rY Z
20

! X (M )

rY rX Z r[X;Y ]Z:

V com produto interno h; i,

linearmente independentes x; y 2 V ,
Para um espao vetorial

dados dois vetores

jx ^ yj = jxj2jyj2 hx; yi2

a rea do paralelogramo gerado por
Pode-se vericar que, se
base

fx; yg, ento

fx; yg.

 Tp M

K (x; y) =

um subespao de dimenso

com

hR(x; y)y; xi
jx ^ yj2

no depende da escolha da base de  .

curvatura seccional de  em M no ponto p

como sendo o nmero real dado por K ( ) := K (x; y ).
Seja x = zn um vetor unitrio em Tp M , tomemos uma base ortonormal
B = fz1; : : : ; zn 1g do hiperplano de TpM ortogonal a x e consideremos as
Fica ento bem denida a

seguintes mdias:

Denio 1.5. Curvatura de Ricci

Ricp (x) =

n 1

hR(x; zi)zi; xi ; i = 1; : : : ; n

1:

Denio 1.6. Curvatura Escalar

S (p) =

1X
Ricp (zj ):
n j

Em [3], pgina 108, demonstrado que a curvatura de Ricci e a curvatura

escalar no dependem das correspondentes bases ortonormais, portanto esto
bem denidas.
Ainda considerando a base ortonormal

Ricp (x) =
Portanto, se

n 1
X

n 1 i=1

B, observamos que
K (x; zi ):

uma variedade Riemanniana com curvatura seccional

21

no-negativa em todos os pontos, ento o mesmo acontece com a curvatura

de Ricci, isto ,

Ric(M )  0.

Observao 1.1. Algumas vezes usaremos a notao de Einstein, ou seja,

omitiremos o sinal de somatrio em somas que aparecem ndices repetidos,
por exemplo
X
k

kX
ij k

kX :
ij k

Seja fe1 ; : : : ; en g uma base ortonormal de campos de vetores em torno de

um ponto

p 2 M.

Os coecientes

l , denidos por
Rijk

R(ei ; ej )ek =

X
l

l e
Rijk
l

l e;
= Rijk
l

so denominados

(1.1)

componentes do tensor curvatura.

Temos ainda que

hR(ei; ej )ek ; esi

=
=

*
X
l
X

+
l e ;e
Rijk
l s

l 
Rijk
ls

l
s
Rijk

=
:= Rijks :
Os coecientes

Rijks so denominados coecientes de Ricci.

Outra notao que utilizaremos a seguinte:

Ric(v; w) =

X
i

hR(v; ei)ei; w)i = hR(v; ei)ei; w)i :

Os coecientes de Ricci tm uma expresso em termos dos smbolos de

22

Christoel dada por

s =
Rijk

X
l

l s
jk il

X
l

l s +
ik jl

@
@ei

s
jk

@
@ej

s;
ik

(1.2)

a qual, na notao de Einstein, se expressa como

s =
Rijk

l s
jk il

l s +
ik jl

@
@ei

s
jk

@
@ej

s:
ik

A expresso (1.2) pode ser encontrada, por exemplo, em [3], pgina 103.

23

Captulo 2
Resultados Preliminares
Os resultados deste captulo formaro uma base para o prximo e ltimo
captulo desta dissertao.

2.1

Frmula de Weitzenbck

Apresentaremos a seguir um resultado de grande importncia, a saber: a

frmula de Weitzenbck. Antes, porm, mostraremos a identidade de Ricci,
a m de fazermos uso adiante.

Lema 2.1 (Identidade de Ricci). Dada f

i; j; k  n, vale a igualdade:

2 C 3(M ),

fikl = filk + Rklsi fs ;

onde Rklsi so os coecientes de Ricci.
Demonstrao. Temos que
@f )
@ ( @e
i
@ek
@ 2f
=
@ei @ek

fik =

24

@f
@eu
@f
@eu

u
ki
u:
ki

para quaisquer 1

Da,

fikl =

@fik
@el

uf
li uk

uf ;
lk ui

filk =

@fil
@ek

uf
ki ul

uf :
kl ui

uf
li uk

@fil
+
@ek

Como ulk

u , segue-se que
kl

fikl

filk =

@fik
@el

uf :
ki ul

(2.1)

Mas


@ @ 2f
@fik
u @f
=
ik @e
@el
@el @ei ek
u
3
@f
@ u @f
=
( )
@el @ei @ek @el ik @eu

u @ f
ik @e @e
l u

@ 3f
@fil
=
@ek
@ek @ei @el

u @ f :
il @e @e
k u

@ u @f
( )
@ek il @eu

Assim,

@fik
@el

@fil
=
@ek

@
(
@el

u ) @f
ik @e
u

u @ f
ik @e @e
l u

@ u @f
( )
+
@ek il @eu

u @ f :
il @e @e
k u

Aplicando essa ltima equao a (2.1), obtemos

fikl

filk =
=

@ u @f
( )
@el ik @eu
uf + u f
li uk
ki ul

u @ f
ik @e @e
l u

@
(
@el

u @ f
ik @e @e
l u


u
li

u ) @f
ik @e
u

@ 2f
@eu @ek

s @f
uk @e
s

25

@ u @f
( )
+
@ek il @eu

u @ f
il @e @e
k u

@ 2f
@ u @f
( il )
+ uil
@e
@eu
@e
@e
k 2
k u
@f
s @f :
+ uki
ul @e
@eu @el
s
+

Usando mais uma vez a simetria dos smbolos de Christoel, vemos que

fikl

filk =

u s
li uk

u s +
ki ul

= Rklsi fs :

Proposio 2.1 (Frmula

denida em M . Ento

@ s
( )
@ek il

de Weitzenbck).

@
(
@el

Seja f

s)
ik

2 C3

@f
@es

uma funo

1

j grad f j2 = j Hess f j2 + hgrad f; grad(
f )i + Ric (grad f; grad f ) :
2

Demonstrao. Seja fE1 ; :::; En g uma base ortonormal em torno de um ponto

P
p 2 M . Armamos que j grad f j2 = ni=1 fi2 . De fato, em p 2 M ,
o campo grad f pode ser escrito na base fE1 ; :::; En g como grad f (p) =
Pn
i=1 i (p)Ei (p), onde cada i : U ! R uma aplicao diferencivel em
U.
Visto que

fi = Ei (f )
= hEi ; grad f i
= i ;
temos que

grad f =

Pn
i=1 fi Ei e, portanto,

j grad f j2

= hgrad f; grad f i
=
=

*
n
X

fi E i ;

i=1
n
X
fi2 :
i=1

Isto prova a armao.

26

n
X
i=1

fi E i

Agora,

(j grad f j2 )j = (

i
X

=
ou seja,

fi2 )j

2fi fij ;

X
1
(j grad f j2 )j =
fi fij :
2
i

Temos tambm que

X
1
(j grad f j2 )jj = (fij2 + fi fijj );
2
i

donde


1

j grad f j2 =
2

j
X

i;j

(fij2 + fi fijj )

(fij2 + fi fijj ):

(2.2)

Agora, como a Hessiana de uma funo um 2-tensor simtrico, temos

que fijj = fjij . Usando este fato juntamente com a identidade de Ricci,
obtemos que

fijj = fjij = fjji + Rijsj fs :

Aplicando esta ltima igualdade a (2.2), vemos que

1

j grad f j2 =
2

X
i;j

(fij2 + fi (fjji + Rijsj fs )):

27

Finalmente, obtemos que

1

j grad f j2 =
2

X
i;j

fij2 +

X
i;j

fi fjji +

X
i;j

Rijsj fs fi

= j Hess f j2 + hgrad f; grad(
f )i +

X
i;s

Ric(Es ; Ei )fs fi

= j Hess f j2 + hgrad f; grad(
f )i + Ric(

=

2.2

X
s

f s Es ;

X
i

f i Ei )

j Hess f j2 + hgrad f; grad(
f )i + Ric(grad f; grad f ):

A Hessiana da Funo Distncia

Nesta seo, obteremos dois resultados sobre a Hessiana da funo

distncia.

Tais resultados sero importantes para a demonstrao do

Teorema de Comparao do Laplaciano na prxima seo.

Proposio 2.2. Seja r : M ! R denida por r(x) = d(x; p), onde d a

funo distncia. Ento Hess r( @r@ ; @r@ ) = 0. Alm disso, se 8 X ? @r@ , vale
Hess r( @r@ ; X ) = 0, onde @r@ o vetor velocidade.
Demonstrao. Usando a denio de Hessiana para a funo r e o fato que
@,
as curvas r 7 ! rw, para w xado, so geodsicas com vetor velocidade @r
temos que

@ @
Hess r
;
@r @r

@ @
r
@r @r
@
=
(1)
@r
= 0:

@
r @r
r
@
@r

Agora, pelo Lema de Gauss, ver [8], pgina 102, temos que

grad r =
28

@
:
@r

Portanto, se

? @r@ , obtemos
Hess r(

pois

@
@
; X ) = Hess r(X; )
@r
@r
@
@
= X r (rX )r
@r
@r


@ @
=
rX @r ; @r ;

X ( @r@ )r = X (1) = 0.

Usando a compatibilidade da mtrica, obtemos



@
Hess r( ; X ) =
@r
Finalmente,

1
@ @
X
;
:
2
@r @r

como as geodsicas radiais so parametrizadas por

comprimento de arco,

Hess r(

@
1
; X ) = X (1) = 0:
@r
2

Proposio 2.3. Consideremos Rn munido com a mtrica g, escrita em

coordenadas polares como dr2 + f 2 (r)dw2 , onde dw2 representa a mtrica
cannica em S n 1 . Seja r(x) = d(x; p), onde d a funo distncia. Ento,
se x = rw, r > 0, w 2 S n 1 , para quaisquer X; Y ortogonais a @r@ ,
Hess r(X; Y ) =

f 0 (r )
g(X; Y ):
f (r)

Alm disso,

r(x) = (n 1)

f 0 (r)
:
f (r )

Demonstrao. Sejam X; Y campos de vetores tangentes ao conjunto de nvel

29

r = c, onde c uma constante positiva.

Temos que

Hess r(X; Y ) = Y (X (r)) rY X (r)


 

@
@
rY X; @r
= Y X;
@r
 


@
@
+ X; rY
= rY X;
@r
@r


@
= X; rY
@r


@
= Y; rX
:
@r

@
rY X; @r

Na ltima igualdade usamos a simetria da Hessiana.

@ o campo normal a hipersuperfcie

Agora, sejam @x@n = @r
@
n 1.
@xn 1 , os campos coordenados em S

Assim, para

r=ce

@
@x1 ; : : : ;

1  i; j  n 1, temos que


@ @
Hess r
;
@xi @xj

@
@
; r @x@
=
@xj
i @xn


@ @
k
=
ni @x ; @x
k
j
k
= ni gkj

Usando a frmula dos smbolos de Christoel

E em termos dos coecientes
D

da mtrica e usando o fato que gni

encontramos
k
ni

@ @
@r ; @xi

1 X kl @gln @gli
=
g
+
2 l
@xi @xn
1 X kl @gli
=
g
:
2 l
@r

= 0;

@gni
@xl

8 i = 1; : : : ; n

Mas, por outro lado,

@gli
= 2ff 0 (dw2 )li
@r

30

gkl = f 2 (dw2 )kl :

1,

Da,
k
ni

1 X 2 2 kl 0 2
f (dw ) 2ff (dw )li
2 l
f0
=
 :
f ik

Portanto,


@ @
;
Hess r
@xi @xj

Logo, se

XeY

f0
 g
f ik kj


f0
@ @
=
g
;
:
f @xi @xj

@ , ento
so ortogonais a @r

f0
Hess r(X; Y ) = g(X; Y ):
f
A : T S ! T S tal que tr Hess r = trA e
Hess r(X; Y ) = hAX; Y i, 8 X; Y 2 T S . Ora, A(Xi ) = aij Xj . Isto implica
que hA(Xi ); Xk i = aij gjk , ou seja, aij = g jk Hess r(Xi ; Xk ).
Agora, sabemos que existe

Assim,

r = tr Hess r = trA
X
f0
=
gik g(Xi ; Xk )
f
i
f0
= (n 1) :
f

Exemplo 2.1. Calcularemos o Laplaciano da funo distncia rk , com respeito a mtrica

dr2 + fk2 dw2 ;

31

onde

fk ( r ) =

8
>
>
>
>
<
>
>
>
>
:

p1
r;

sin( kr);

se k > 0

se k = 0
kr); se k < 0:

sinh(

Observamos que, quando k > 0, obtemos a mtrica da esfera Sn de raio k12

que tem curvatura seccional constante k. Quando k < 0, obtemos a mtrica
do espao hiperblico Hn , tambm com curvatura seccional constante igual a
k. Quando k = 0, obetmos a mtrica cannica do Rn em coordenadas polares.
fcil ver que

f 0 (r) =
k

8
>
<
>
:

cos( kr);
1;
p
cosh( kr);

se k > 0
se k = 0
se k < 0:

Assim, para k > 0, temos

Hess rk

k cos( kr)
p g
=
sin( kr)
p
p
= k cot( kr)g:

Quando k = 0,

1
Hess r = g:
r
E

Hess rk

k cosh( kr)
p g
=
sinh( kr)
p
p
= k coth( kr)g;

se k < 0.
32

Portanto

n 1
2.3

r k =

8
>
>
>
<

k cot( kr);

r;
>
>
>
:

k coth(

se k > 0
se k = 0
kr); se k < 0:

Teorema de Comparao do Laplaciano

Partimos agora para o teorema de Comparao do Laplaciano, o qual ser

demonstrado com o uso da frmula de Weitzenbck.

Teorema 2.1. Seja (M n ; g) uma variedade Riemanniana completa. Suponhamos que a curvatura de Ricci de M satisfaz Ric(M )  (n 1)kg. Seja r
a distncia geodsica ao ponto p 2 M . Suponhamos ainda que a funo r
diferencivel no ponto x. Ento

r(x) 
rk (~x);

(2.3)

onde rk (~x) = r(x) = r0 e r0 < pk se k > 0. Se a igualdade satisfeita,

ento a curvatura seccional de qualquer plano que contenha o vetor radial,
ao longo de geodsicas ligando p e x, constante e igual a k.
Demonstrao. A Hessiana da funo r possui um autovalor igual a zero, pois


Hess r @r@ ; @r@ = 0 e Hess r( @r@ ; X ) = 0; 8 X ? @r@ . Esse fato e a desigualdade
de Cauchy-Schwarz aplicada s matrizes Hessiana de r e Identidade nos do
2

r)
j Hess rj2  (

:
n 1

33

(2.4)

Usando a frmula de Weitzenbck e o fato de que

j grad rj = 1, obtemos


@ @
;
@r @r




@
@ @
2
= j Hess rj +
; grad(
r) + Ric
;
@r
@r @r


@
@ @
2
= j Hess rj +
r + Ric
;
@r
@r @r


@ @
2
0
= j Hess rj + (
r) + Ric
;
:
@r @r

0 = j Hess rj2 + hgrad r; grad(
r)i + Ric

Seja

' =
r .

Usando a hiptese sobre a curvatura de Ricci e a

desigualdade (2.4), vemos que

'0 +

'2

n 1

+ (n 1)k  0:

Estudando o caso da igualdade, observamos que

=
rk = (n 1) ffkk

sa-

tisfaz a igualdade, onde rk a funo distncia sobre a variedade de curvatura

seccional cons-tante

ke

fk ( r ) =

Visto que
uma funo

8
>
>
>
>
<
>
>
>
>
:

p1
r;

sin( kr);

sinh(

se k > 0
se k = 0
kr); se k < 0:

injetiva em seus respectivos domnios, podemos escolher

(t), denida em [0; r0 ), satisfazendo

(0) = 0;

((t)) = '(t):

Agora, como

'0 (t) +

2 ((t))
'2 (t)
+ (n 1)k  0 = 0 ((t)) +
+ (n 1)k;
n 1
n 1

34

segue-se diretamente que

'0 (t)  0 ((t)):

Mas '0 (t) = 0 ((t))0 (t) e, portanto,

0 ((t))0 (t)  0 ((t)):

Como

0 (t) < 0, temos 0 (t)

segue-se que

(t)  t, donde

 1.

Integrando esta ltima desigualdade

'(t) = ((t))  (t);

pois a funo

decrescente. Isto , vale a desigualdade (2.3).

Quanto igualdade em (2.3), sabemos que a mesma ocorre se, e somente

se, a Hessiana mltipla da identidade, ou seja,

Hess r = I ,

para alguma

Hess r
= 0 implica, neste caso, que o
termo ann da matriz Hessiana de r nulo e, portanto, j Hess rj2 = (n 1)2 .

constante

.

@ @

@r ; @r

Mas o fato de

Por outro lado,

j Hess rj2 =

n 1

 = n 1 . Agora,

@
e1 ; : : : ; en 1 ; @r de vetores ortonormais que

Dessas duas ltimas igualdades, segue-se que

=
diagonaliza a Hessiana de r.

consideremos a base

Armamos que

@
re @r
=
n

De fato, escrevendo

re

@
@r na base

ej :

B, temos

n 1
@ X
@
rej @r = k ek + a @r
:
k=1

35

Da,

re @r@ ; @r@

= a = 0, pois


1
@ @
0 = ej
;
2
@r @r


@ @
= rej ;
@r @r
= a:

i 6= j ,
todo i 6= j .
Para

temos

re @r@ ; ei

= Hess r(ej ; ei ) = 0,

Assim, obtemos que

ou seja,

i = 0 para

@
re @r
= j ej :
j

Como j

re @r@ ; ej
j

= Hess r(ej ; ej ) = , temos

@
=
re @r
n
j

ej :

E a armao est provada.

Temos ento


@
K ej ;
@r

@ @
= R ej ; ; ; ej
@r @r

@
@
r
= rej r @r@
@ rej
@r
@r
@r
=
=
=
=
= k:

@
@r

n 1

n 1
ej +

ej ; ej

n 1

r ej ; ej
@
@r

r ej ; ej

n 1 n 1
2 
1
0+
n 1
n 1
@
@r

36

@
r[ej ; @r@ ] @r
; ej

Denio 2.1. Dizemos que
r  f no sentido das distribuies, se

Z

r
' 

Z
M

8 '  0; ' 2 C01(M ):

'f;

O Teorema de Comparao do Laplaciano tambm vlido no sentido

das distribuies.

Teorema 2.2. Sejam (M n ; g) uma variedade Riemanniana completa e r a

funo distncia geodsica. Suponhamos que a curvatura de Ricci de g satisfaz Ric(M )  (n 1)kg. Ento
r(x) 
rk no sentido das distribuies.

2 M e consideremos o mergulho expp : Pp ! M .

Consideremos tambm uma famlia de abertos estrelados f
" ; " > 0g tal
P
que, quando " ! 0,
" ! p . Pelo Teorema de Comparao do Laplaciano,

Demonstrao. Seja p

"

r' 

"

rk '; '  0:

(2.5)

Agora, a primeira identidade de Green nos d

Z

"
Como

r' =

'  0 e


"

hgrad r; grad 'i +

@r
':
@
 @

estrelado, temos que a integral sobre

maior ou

igual a zero. Da
Z

"
Fazendo

r' 

"

hgrad r; grad 'i :

" ! 0 e usando a desigualdade (2.5), obtemos

Z

P hgrad r; grad 'i  P
rk ':

p

q:t:p: diferencivel e, portanto, sua derivada coincide com a derivada fraca em H 1 , ver
Como a funo distncia Lipschitziana, conseqentemente

[6], pginas 81 e 235.

37

Por outro lado, a denio de derivada fraca em

Z
M

hgrad r; grad 'i =

Z
M

r
';

H 1 nos diz que

8 '  0; ' 2 C01(M ):

Portanto
Z
M

r
' 

Z
M

rk ';

8 '  0; ' 2 C01(M ):

38

Captulo 3
O Teorema de Decomposio de
Cheeger-Gromoll
Neste captulo estaremos sempre nos direcionando ao Teorema de
Decomposio de Cheeger-Gromoll, obtendo antes importantes resultados
que faremos uso em sua demonstrao.

3.1

Funes de Busemann

As funes de Busemann desempenham um papel importante na demonstrao que daremos do Teorema de Cheeger-Gromoll sobre decomposio de
variedades Riemannianas com curvatura de Ricci no-negativa.

Denio 3.1. Uma geodsica : ( 1; 1) ! M , parametrizada pelo

comprimento de arco, chamada uma linha, se d( (t1 ); (t2 )) = jt1 t2 j,
8 t1; t2 2 ( 1; 1).
Denio 3.2. Uma geodsica : [0; 1) ! M , parametrizada pelo
comprimento de arco, chamada um raio, se d( (t1 ); (t2 )) = jt1 t2 j,
8 t1; t2 2 [0; 1).
p

Observamos que se

2 M , existe um raio

completa e no compacta, ento, para todo

tal que

(0) = p,

ver [2], pgina 405. Porm

nem toda variedade completa e no compacta possui uma linha, como

39

o caso do parabolide de revoluo

f(x; y; z) 2 R3 j z

= x2 + y 2 g .

Uma

demonstrao deste ltimo fato pode ser encontrada em [2], pginas 309 e
363.

Denio 3.3. Dado um raio , a funo de Busemann associada a esse

raio, b , denida por
b (x) = tlim
(d(x; (t)) t):
!1
Dada uma linha

:(

1; 1) ! M , podemos associar a ela duas funes

de Busemann, a saber:

b+ (x) = tlim
d(x; (t)) t;
!1
e

b (x) = tlim
d(x; ( t)) t:
!1
Denindo

b+t (x) := d(x; (t)) t;

temos, pela desigualdade triangular, que

b+t (x)

 d(x; (0)) + d( (0); (t)) t

= d(x; (0)):

Portanto, a famlia de funes

fb+t gt0

uniformemente limitada nos

M . Armamos agora que esta famlia no-crescente.

De fato, se t1 < t2 , pela desigualdade triangular, temos

compactos de

b+t (x) = d(x; (t2 )) t2

 d(x; (t1)) + d( (t1); (t2)) t2
= d(x; (t1 )) + t2 t1 t2
= b+t (x):
2

A famlia

t 7! b+t

, portanto, montona no-crescente. Assim, b+

t
40

! b+

uniformemente nos compactos de

M e b+ est bem denida.

Observamos ainda que, como

b+t (x) b+t (y) = d(x; (t)) d(y; (t))

 d(x; y) + d(y; (t)) d(y; (t))
= d(x; y);
as funes b+
t so Lipschitzianas para t > 0, com constante de Lipschitz igual
a 1, claro que a funo b+ tambm Lipschitziana, sendo, portanto, q:t:p:
diferencivel, ver [6], pgina 81.

3.2

Teorema de Cheeger-Gromoll

A idia da prova consiste em construir uma funo

denida em

M,

tal que

j grad hj = 1.

h suave e harmnica,

Ento, com o auxlio da frmula de

Weitzenbck, mostramos que os conjuntos de nvel de

N=h
truo, contaremos com as funes de Busemann b+ e b
.

totalmente geodsicas de

M.

h so subvariedades
1 (0). Para tal cons-

Denimos ento

associadas linha

Proposio 3.1 (Desigualdade do Valor Mdio). Seja (M n ; g) uma

variedade Riemanniana completa com Ric(M )  0. Seja f  0 uma funo
Lipschitziana tal que
f  0 no sentido das distribuies. Ento
f (x) 

1
wn Rn

Z
BR (x)

f:

Demonstrao. suciente mostrar que a funo h : (0; 1)

denida por

1
h(R) =
wn Rn

Z
BR (x)

f;

no crescente. Pois, como

1
lim
R!0 wn Rn

Z
BR (x)

41

f = f (x);

! (0; 1),

h no crescente, teremos o seguinte: se R > R1 >

> Rn >


> 0, ento h(R)  h(R1) 


 h(Rn) 


 f (x).
Observemos que h localmente Lipschitziana, portanto, h q:t:p: dife-

uma vez mostrado que

rencivel.
Temos que

h0 (R)  0

1
wn Rn

Z

,
Ainda,
R

lim sup

B(R+")

Z

BR ( x )

pdetg dx
P
f
\
p

"

"!0

BR (x)
0

BR

0

n
wn Rn+1

n
R

BR (x)

Z
BR (x)

0

pdetg dx
P
f
\
p


=

P)

int(SR \
Z
SR0

f detgd

fdg ;

onde SR0 = expp (int(SR \ p )).

Precisamos ento mostrar que

Z
SR0

n

f:

BR

(3.1)

Vale observar que estamos omitindo em (3.1) o elemento de rea na

integral da esquerda e o elemento de volume da integral do lado direito.
Agora,
Z

f
r2 = "lim
f
r 2
!0 expp (BR (0)\
" )
BR
Z

= "lim
!0

Z
BR

@r2
grad f; grad r +
f
expp (BR (0)\
" )
@ expp (BR (0)\
" ) @


grad f; grad r2 + 2R

42

SR0

f;

ou seja,

2R

Z
SR0

BR


grad f; grad r2 

Z
BR

f
r 2 :

Ora, pelo Teorema de Comparao do Laplaciano no sentido das

distribuies,

r2 = 2r
r + 2 hgrad r; grad ri

 2(n 1) + 2 = 2n:
Portanto,

2R

Z
SR0

BR


grad f; grad r2  2n

Z
BR

f:

(3.2)

Temos tambm que

Z
BR


grad f; grad r2 =

BR

BR

grad f; grad(r2

f (r 2

R2 )

 0;
pois

f

R2 )

(3.3)

 0 e r2(x) R2  0; 8 x 2 BR.

A desigualdade (3.3) aplicada a (3.2) nos fornece

2R

Z
SR0

 2n

Z
BR

f:

Corolrio 3.1. Sejam (M n ; g) uma variedade Riemanniana completa com

Ric(M )  0 e f : M ! R uma funo no-negativa com
f  0.
Suponhamos que existe x0 2 M tal que f (x0 ) = 0. Ento f  0.
Demonstrao. De fato,

0

Z
BR (x0 )

f; 8 R:

43

Lema 3.1. Seja (M n ; g) uma variedade Riemanniana completa com

curvatura de Ricci no-negativa. A funo b+ : M ! R, super-harmnica
no sentido das distribuies, isto ,
b+  0 no sentido das distribuies.
Demonstrao. O Teorema 2:2 implica, para todo t > 0 e para toda ' 2 C01 ,
'  0, que
Z
M

b+t
' =

ZM

'
b+t
d(x; (t))
'

 (n

1)

'

1
:
d(x; (t))

Ora,

d(x; (t))  d( (t); (0)) d( (0); x):

Temos ento que, xada a funo
suporte compacto,

lim
t !1

Z
M

'

'

diferencivel, no-negativa e de

1
= 0:
d(x; (t))

Logo, obtemos
Z
M

b+
'

 0:

Vale observar que, analogamente, podemos provar que

tambm

super-harmnica no sentido das distribuies.

Estamos agora em condies de demonstrar o principal resultado desta
monograa, o Teorema de Decomposio de Cheeger-Gromoll.

44

Teorema 3.1. Seja (M n ; g) uma variedade Riemanniana completa com

curvatura de Ricci no-negativa. Se M possui uma linha. Ento M
isomtrica a N  R munida da mtrica produto, onde N uma variedade
Riemanniana de dimenso (n 1) com Ric(N )  0.
Demonstrao. Inicialmente, usando a desigualdade triangular, vemos que
a funo f (x) = b+ (x) + b (x) no-negativa. Alm disso, f (x) = 0 para
x = (t). Pelo Lema 3.1, a funo f super-harmnica no sentido das
distribuies, uma vez que f soma de funes super-harmnicas. Segue
ento do Corolrio da Proposio 3.1 que f = 0 em M. Portanto,
f = 0,
isto ,
b+ +
b = 0. Isto implica que
b+ =
b = 0 no sentido
das distribuies, pois
b+  0 e
b  0. Isto garante a suavidade das
funes de Busemann, pelo Lema de Weyl. Armamos agora que a funo
h := b+ satisfaz j grad hj = 1. De fato, j grad hj2  1, pois j vimos que

h Lipschitiziana com constante

F := 1 j grad hj2 no-negativa.

de Lipschitz igual a 1. Logo a funo

Usando a frmula de Weitzenbck, temos

1

j grad hj2 =
2

j Hess hj2 + hgrad h; grad(
h)i + Ric (grad h; grad h)

 j Hess hj2  0:

d h( (s)) = 1 (isso
Segue-se ento que
F  0. Por sua vez, temos que ds
segue da denio de b+ ) e, portanto, hgrad h; 0 (s)i = 1. A desigualdade

de Cauchy-Schwarz implica

1 = j hgrad h; 0 (s)i j  j grad hjj 0 (s)j  1;

donde

grad h = 0 .

Da, obtemos que

Corolrio (3.1), temos

 0.

F ( (s)) = 0.

Finalmente, usando o

Isto prova a armao, ou seja,

Como conseqncia disso, ainda obtemos que

j Hess hj = 0.

paralelo.
Podemos ento denir uma isometria entre

45

j grad hj = 1.

Portanto

R cartesiano N

grad h

:= h 1 (0)

da seguinte maneira:

':RN !M
(t; x) ! expx (t grad h(x));
Com efeito, para vetores verticais basta observarmos que


@
@
d'(t;x)
; d'(t;x)
@t
@t



= hgrad h; grad hi
= 1

@ @
=
;
:
@t @t

Quando temos um vetor vertical e outro horizontal, o resultado segue do

Lema de Gauss.
Finalmente, no caso em que temos

u e v, vetores horizontais, a funo

f (t) := d'(t;x) (u); d'(t;x) (v) ;

constante em t. Com efeito, pelo Lema de Simetria, ver [3], pgina 76, e
por

grad h ser um campo paralelo, obtemos

f 0 (t) = rgrad h d'(t;x) (u); d'(t;x) (v) + d'(t;x) (u); rgrad h d'(t;x) (v)
D
E D
E
= rd' t;x (u) grad h; d'(t;x) (v) + d'(t;x) (u); rd' t;x (v) grad h
= 0:
(

Portanto,

para quaisquer

d'(t;x) (u); d'(t;x) (v)

u; v 2 T(t;x) R  N .

46

= hd'0 (u); d'0 (v)i

= hu; vi ;

Corolrio 3.2. Seja M uma variedade Riemanniana completa com

curvatura de Ricci no-negativa. Ento M isomtrica a um produto N Rk ,
onde N no contm linhas e Rk possui a mtrica cannica.
Demonstrao. De fato, se M n possuir uma linha, ento pelo teorema
anterior, M isomtrica a um produto R  N n 1 . Se, alm disso, N possuir
uma linha, ento usamos o teorema mais uma vez, j que Ric(N )  0 e N
completa. O resultado segue por induo.

47

Referncias Bibliogrcas
[1] Cheeger, J., Gromoll, D.,

The Splitting Theorem for Manifolds of

Nonnegative Ricci Curvature, J. Dierential Geometry, (1971), 119128.

[2] do Carmo, M. P., Geometria Diferencial de Curvas e Superfcies, Textos

Universitrios, SBM, Rio de Janeiro, 2a edio, 2005.
[3] do Carmo, M. P.,

Geometria Riemanniana, Projeto Euclides, Rio de

Janeiro, 3a edio, 2005.

[4] Eschenburg, J.-H., Heintze, E.,

An elementary proof of the Cheeger-

Gromoll splitting theorem, Ann. Glob. Analysis and Geometry, vol. 2,

(1984), 141151.
[5] Escobar, J. F.,

Topics in PDE'S and Dierential Geometry, XII Escola

de Geometria Diferencial, 2002.

[6] Evans, L. C., Gariepy, R. F.,

Functions, CRC Press, 1992.

[7] Evans, L. C.,

Measure Theory and Fine Properties of

Partial Dierential Equations, Graduate Studies in

Mathematics, Volume 19, 2002.

[8] Lee, J. M.,

Riemannian Manifolds - An Introduction to Curvature,

Springer, 1997.
[9] Schoen, R., Yau, S. T., Lectures on Dierential Geometry, International
Press Inc, Boston, vol. 1, 1994.

48

[10] Spivak, M.,

A Comprehensive Introduction to Dierential Geometry,

Publish or Perish, INC. Houston, Texas (U.S.A.), Volume II, 1970.

49

ndice Remissivo
aplicao exponencial, 15, 17

tangente, 9

campo

Frmula de Weitzenbck, 23

de vetores, 9, 10, 19

brado tangente, 13

de vetores tangentes, 26

funo de Busemann, 35

paralelo, 15, 42

geodsica, 8, 1517, 25, 26, 30, 34, 36

coecientes
da mtrica, 13, 27

Identidade de Ricci, 21

de Ricci, 19, 21

imerso, 11, 12

conexo, 9, 13

isomtrica, 12

am, 13, 14

isometria, 12, 42

compatvel, 14

Lema

de Levi-Civita, 14

de Gauss, 25

simtrica, 14

de Simetria, 42

conjunto

linha, 34, 41

dos campos de vetores, 10

curvatura, 17
de Ricci, 18, 19, 30, 31, 34, 36,

mtrica
cannica, 26, 43

41, 43

da esfera, 29

escalar, 18

do espao hiperblico, 29

seccional, 18, 29, 31

induzida, 12
produto, 12, 41

difeomorsmo, 12, 16
esfera unitria, 11
espao
hiperblico, 11, 29
mtrico, 17

Riemanniana, 1114
mergulho, 12
notao de Einstein, 19
parametrizao, 9
50

produto interno, 11, 18

raio, 34
smbolos de Christoel, 13, 19, 23, 27
subvariedade, 12, 36
Teorema
da funo inversa, 16
de Comparao do Laplaciano,
30, 36
de Decomposio de CheegerGromoll, 41
de Hopf-Rinow, 17
de Levi-Civita, 14
teorema
de Schwartz, 10
toro plano, 12
variedade
de Hausfor, 12
diferencivel, 9, 11, 13
imersa, 11
Riemanniana, 11, 12, 14, 17, 18,
34, 41
completa, 8, 17, 30, 34, 36, 37,
40, 41, 43

51