Vous êtes sur la page 1sur 79

UNIVERSIDADE FEDERAL DE SANTA CATARINA

MESTRADO EM MATEMATICA

MARCIO
ROSTIROLLA ADAMES

Os invariantes de Perelman e
Yamabe

Florianopolis - SC
Janeiro - 2008

UNIVERSIDADE FEDERAL DE SANTA CATARINA

MESTRADO EM MATEMATICA

MARCIO
ROSTIROLLA ADAMES

Os invariantes de Perelman e
Yamabe
Dissertacao de Mestrado apresentada ao curso
Mestrado em Matematica - Habilitacao Honors Magister
Departamento de Matematica
Centro de Ciencias Fsicas Matematicas
Universidade Federal de Santa Catarina

Orientador: Celso M. Doria

Florianopolis - SC
Janeiro - 2008

Agradecimentos

Gracas ao Bom Senhor que me ajudou em muitos momentos neste trabalho, devido a Ele completei esta dissertac
ao. Louvado seja o nome do Senhor.
A Jhuliane pelo carinho e a compreens
ao, nas noites e finais de semana
que fiquei pesquisando e estudando.
Agradeco aos meus pais Vitor e Yara pela oportunidade de me dedicar
aos meus estudos e apoio e incentivo em tudo o que faco, a minha vo Elca
por tambem me apoiar e incentivar.
Agradeco ao meu orientador, o professor Celso M. Doria, pela paciencia
quando mudamos o assunto do trabalho e por estar disponvel sempre que
precisei.
Agradeco aos professores do Departamento que, apesar de nao ter participac
ao direta na pesquisa, me ajudaram em algumas d
uvidas que tive pelo
caminho: Ivan, Eliezer, Ruy Charao, Luciano, Marcelo.
Agradeco ao professor Fernando Cod
a Marques que, apesar de nao me
conhecer pessoalmente, respondeu os emails que lhe enviei e sua ajuda foi de
grande valia.
Agradeco a todos os colegas do mestrado pois sempre que lhes perguntei
algo tentaram me ajudar, especialmente ao Felipe Vieira pois pensamos juntos
em varias questoes e ao Conrado D. Lacerda pelo excelente trabalho sobre
distribuic
oes.
Agradeco a CAPES pelo patrocinio que deu a este trabalho, sem o qual
seria impossvel completa-lo.

Resumo
Definimos o Laplaciano e a Curvatura Escalar sobre uma variedade M
e os invariantes de Yamabe e de Perelman. Provamos que eles sao iguais
quando o primeiro e nao positivo e que o Invariante de Perelman e igual a
+ quando o invariate de Yamabe e positivo.

Abstract
We define the Laplacian and the Scalar Curvature of a manifold M and
the invariants of Yamabe and Perelman. We prove that they are equal when
the first is non-positive and that Perelmans invariant is equal to + when
the Yamabe invariant is positive.

Sum
ario
Introduc
ao

1 Curvatura Escalar
10
1.1 A conexao de Levi-Civita . . . . . . . . . . . . . . . . . . . . . 10
1.2 Curvaturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 O Laplaciano
2.1 Espacos e produtos internos sobre M . . . .
2.2 O divergente, o gradiente e o Laplaciano . .
2.3 Generalizando o Laplaciano . . . . . . . . .
2.3.1 Integracao `a Lebesgue em Variedades
3 Os
3.1
3.2
3.3

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

29
29
33
44
44

invariantes
49
Invariante de Perelman . . . . . . . . . . . . . . . . . . . . . . 49
Problema de Yamabe . . . . . . . . . . . . . . . . . . . . . . . 57
A igualdade entre os invariantes . . . . . . . . . . . . . . . . . 71

4 Anexo

74

Introduc
ao
O estudo da geometria e muito antigo. Desde os primordios a tarefa
de medir comprimentos, areas e volumes tem importancia pratica nas mais
diversas atividades humanas, desde a agricultura ate a fabricacao de vestes.
Os elementos de Euclides, que tem mais de 2000 anos, re
unem o conhecimento
geometrico que havia sido construido ate a epoca em que foi escrito. Esse
conhecimento resolvia muitos problemas envolvendo poligonos e crculos, mas
nao todos.
Com o advento do Plano Cartesiano e da Geometria Analtica muitos
dos problemas que resistiam `as ferramentas da Geometria Euclideana foram
resolvidos, mas estas ferramentas sao eficientes apenas no estudo de retas,
crculos e algumas curvas simples.
O Calculo Diferencial e Integral de Newton e Leibniz resolve muitos destes problemas, calculando comprimentos de curvas, areas de superfcies, e
volumes de solidos que possam ser descritos como funcoes. Para tais feitos
utiliza-se o conceito de derivacao: no caso de uma funcao f : Rn R, se
v, p Rn , a derivada de f no ponto p na direcao de v e denotada por dfp (v)
e e dada por
f (p + tv) f (p)
dfp (v) = lim
.
t0
t
Note que precisa-se da estrutura de espaco vetorial de Rn a fim de calcular
f no ponto p + tv.
Considere no entanto o seguinte:
Exemplo 1. Sejam S 2 a superfcie de uma esfera e f : S 2 R a funcao que
descreva a temperatura em cada ponto da superfcie. Dado um vetor v no
plano tangente a S 2 no ponto p qual e a variacao da temperatura em p na
direcao de v?
As ferramentas de calculo nao sao suficientes para resolver tal problema
pois nao sabemos calcular f (p + tv) para nenhum t 6= 0. Pelo mesmo motivo,
as ferramentas do Calculo nao resolvem problemas analogos aos do Exemplo
1 para funcoes definidas em superfcies que nao sejam planas.
7

Outro exemplo e a teoria da Relatividade Geral, na qual o espaco-tempo


tem 4 dimensoes mas nao e plano como R4 e portanto as ferramentas do
Calculo sao insuficientes para estuda-lo de forma completa.
A incapacidade do Calculo para lidar com superfcies que nao sejam planas e apenas um motivo que mostra a importancia de construir uma teoria
geral de superfcies (e uma geometria) que independa do espaco ambiente
em que ela esta contida. Para tal introduziu-se o conceito de variedade diferenciavel:
Defini
c
ao 0.0.1. Uma variedade diferenci
avel de dimensao n e um espaco
topologico de Hausdorff segundo contavel localmente homeomorfo ao Rn tal
que as aplicacoes de transicao sejam suaves.
Para mais detalhes sobre esta definicao o leitor pode consultar [2].
A maioria dos objetos que pensamos intuitivamente como superfcies sao
variedades diferenciaveis. Existem generalizacoes para as variedades de muitos conceitos do Calculo, e com eles podemos derivar e integrar funcoes definidas sobre estas variedades. Alem disso, se tivermos uma metrica definida
sobre a variedade, isto e, uma maneira de medirmos comprimentos e angulos,
podemos fazer geometria sobre a variedade.
Contudo estudar tais variedades e bastante complexo. Descobrir quais
estruturas podem ser variedades e quais nao, ou tentar extrair caractersticas
destas variedades, ou dividi-las em classes que tenham alguma caracterstica
em comum sao problemas que nao estao completamente resolvidos.
Mas existem algumas ferramentas que nos permitem entender um pouco
mais destas variedades. Uma delas sao os invariantes, funcoes que associam
a cada variedade um n
umero real (ou um grupo, ou uma variedade, ou uma
funcao) e sao invariantes por difeomorfismos 1
Neste trabalho denotamos por sg a curvatura escalar e 4g o Laplaciano
associados a metrica Riemanniana g. Definimos dois invariantes:
O invariante de Perelman
Defini
c
ao 0.0.2. Sejam M uma variedade diferenciavel fechada orientada ndimensional, n 3. Dada uma metrica Riemanniana g sobre M , denotamos
o menor autovalor do operador 44g + sg por g e o volume de M em relacao
a esta metrica por volg . O invariante de Perelman de M e definido
como
2
(M ) := sup g volgn ,
g

onde o sup e tomado sobre todas as metricas Riemannianas de M .


1

Em topologia diferencial diz-se que duas variedades sao a mesma se elas sao difeomor-

fas.

E o invariante de Yamabe
Defini
c
ao 0.0.3. Seja M uma variedade diferenciavel fechada de dimensao
n 3. Definimos o invariante de Yamabe (tambem conhecido como sigma
constante) de M como
R
sg dg
Y(M ) = sup Y = sup inf R M
,
(1)
n2
n

g
d
g
M
onde o sup e tomado sobre as classes conformes (trataremos sobre estas
classes mais adiante) e o infimo sobre as todas as metricas na classe conforme
.
O primeiro surgiu em uns artigos de Perelman sobre o fluxo de Ricci ([9] e
[10]) e o segundo em trabalhos de de Kobayashi [6] e Schoen [13] influenciados
pelas ideias de Yamabe de encontrar metricas de curvatura escalar constante.
Assumimos que o leitor tem algum conhecimento sobre variedades diferenciaveis e Geometria Riemanniana, os primeiros 5 captulos de [2] e o
primeiro captulo de [3] contem o que assumimos como ja conhecido pelo
leitor.
No primeiro captulo definimos a curvatura escalar e introduzimos a notacao
para a metrica e outros objetos em coordenadas locais.
No segundo captulo definimos a integracao `a Riemann sobre variedades
e o Laplaciano para funcoes C (M ). Em seguida uma rapida apresentacao
sobre integracao a Lebesgue em variedades, espacos Lp (M ) e teoria das distribuicoes. Por fim generalizamos o Laplaciano para estas funcoes e o escrevemos em termos dos coeficientes de conexao.
No terceiro captulo definimos o invariante de Perelman e damos uma
formula para encontra-lo. Em seguida estudamos um pouco do problema de
Yamabe e definimos o invariante de Yamabe. A u
ltima parte deste trabalho e
baseada no artigo [1] no qual demonstra-se o seguinte fato: Estes invariantes
sao iguais se o invariante de Yamabe e nao positivo e o invariante de Perelman
e igual a + se o invariante de Yamabe e positivo. Este fato e um tanto
surpreendente pois tais invariantes vem de contextos distintos.

Captulo 1
Curvatura Escalar
Nosso objetivo neste captulo e definir a curvatura escalar. Para isso
definiremos uma conexao de Levi-Civita. A primeira secao e baseada no
captulo 2 de [3] e a segunda secao e baseada no captulo 4 de [3].

1.1

A conex
ao de Levi-Civita

Denotamos X (M ) o conjunto dos campos vetoriais suaves sobre M .


Defini
c
ao 1.1.1. Uma conex
ao afim em uma variedade diferenciavel M
e uma aplicacao
: X (M ) X (M ) X (M )

denotada por (X, Y ) X Y que, para todo X, Y, Z X (M ) e f, g


C (M ), satisfaz as seguintes propriedades
1. f X+gY Z = f X Z + gY Z
2. X (Y + Z) = X Y + X Z
3. X (f Y ) = f X Y + X(f )Y
Podemos tomar esta definicao localmente:
Dados um ponto p M e campos vetoriais X, Y X (M ) tomemos uma
carta local (U, ), com (q) = (x1 (q), ..., xn (q)). Existem uma vizinhanca
V U de p e uma funcao suave f : M [0, 1] tal que f (x) = 1 se x V e
f (x) = 0 se x M \U . Assim, para qualquer ponto q V , temos
f X (f Y ) = f 2 X Y + f X(f )Y = X Y,
10

portanto a conexao afim depende apenas do valor dos campos X e Y em uma


vizinhanca de p, ou seja,
definicao local.
P a conexao afim
P uma

Escrevendo X = i ai xi e Y = j bj xj temos
X Y =

ai bj

ij

xi

+
ai i (bj ) j .
j
x
x
x
ij

P
Fazendo i x j = k kij x k (estas funcoes kij sao chamadas de smbolos
x
de Christoffel) temos

!
X X

X Y =
ai bj i j k + X(bk )
.
k
x
ij
k
Assim X Y (p) depende de ai (p), bk (p) e das derivadas X(bk )(p) de bk
segundo X, ou seja, depende apenas do valor do campo X no ponto p, de
uma curva tangente a X no ponto p (pois a derivada X(yk )(p) depende
apenas de uma destas curvas) e do campo Y em uma vizinhanca do ponto p.
Portanto, dados p M , uma curva c(t) : I M que passa por p, um
campo vetorial Xc sobre c e um campo vetorial Y X (M ), faz sentido
escrever Xc Y .
Teorema 1.1.2. Seja M uma variedade diferenci
avel com uma conex
ao afim
. Entao existe uma u
nica correspondencia que associa a um campo vetorial
V ao longo de uma curva diferenci
avel c : I M um outro campo vetorial
DV
ao
longo
de
c
denominado
derivada
covariante de V ao longo de c, tal que,
dt
se V, W sao campos de vetores ao longo de c e f e uma func
ao diferenci
avel
em I, temos:
1.

D
(V
dt

2.

D
(f V
dt

+ W) =
)=

df
V
dt

DV
dt

DW
dt

+ f DV
dt

3. Se V e induzido por um campo de vetores Y X (M ), isto e, V (t) =


= dc/dt Y ,
Y (c(t)), entao DV
dt
d
onde dc/dt = dc dt .
Demonstra
c
ao: Vamos supor que existe uma coorespondencia satisfazendo 1, 2 e 3. Sejam : U M Rn um homeomorfismo com c(I)U 6=
e (x1 (t), ..., xn (t)) := P
c para todo t I. Podemos expressar localmente o
campo V como V = j v j (t) x j (c(t)).

11

Por 1 e 2 temos
X dv j
X D
DV
=
+
vj
j
dt
dt
x
dt
j
j
Mas

xj

xj

define um campo vetorial sobre U entao, por 3, temos

= dc/dt j = P dxi j
j
i dt xi x
dt x
x
X dxi

=
i j ,
dt x x
i

pois c(t) = 1 (x1 (t), ..., xn (t)) e da

d
dt

dc/dt = d (x (t), ..., x (t))/dt = d[ (x (t), ..., x (t))]

X i
X dxi d
X dxi
d
dx
1
1
= d
=
d
=
i
i
dt dx
dt
dx
dt xi
i
i
i
Portanto

X dv j
X dxi
DV

=
+
vj i j .
j
x x
dt
dt x
dt
i
ij

(1.1)

Se existe uma correspondencia satisfazendo `as condicoes do teorema, a


expressao 1.1 nos mostra que ela e u
nica.
Para mostrar que tal correspondencia existe, definamos DV
em U por 1.1.
dt
imediato que 1.1 tem as propriedades desejadas. Se : W Rn e uma
E
outra vizinhanca coordenada, com W U 6= e definirmos DV
em W por
dt
1.1 entao, em W U , ambas as definicoes sao iguais, pela unicidade de DV
dt
em U . Portanto podemos estender esta definicao para todo M , o que conclui
a demonstracao.

Defini
c
ao 1.1.3. Seja M uma variedade diferenciavel com uma conexao
afim . Um campo vetorial V ao longo de uma curva c : I M e chamado
= 0 para todo t I.
paralelo quando DV
dt
Teorema 1.1.4. Seja M uma variedade diferenci
avel com uma conex
ao afim
. Seja c : I M uma curva diferenci
avel em M e V0 um vetor tangente a
M em c(t0 ), t0 I. Entao existe um u
nico campo de vetores paralelo V ao
longo de c, tal que V (t0 ) = V0 .
12

Demonstra
c
ao: Suponhamos que o teorema foi provado para o caso em
que c(I) esta contido em uma vizinhanca coordenada. Entao, no caso geral,
temos que o segmento c([t0 , t1 ]) M (ou c([t1 , t0 ])) para qualquer t1 I
pode ser coberto por um n
umero finito de vizinhancas coordenadas, em cada
uma das quais V pode ser definido por hipotese. Pela unicidade, as definicoes
coincidem nas intersecoes nao vazias, o que permite definir V para c([t0 , t1 ]).
Deste modo podemos definir V (t) para todo t I. Entao basta mostrarmos o teorema para o caso em que c(I) esta em U , onde (, U ) e uma carta
de M .
(c(t)) = (x1 (t), ..., xn (t)) a expressao local de c(t) e seja V0 =
P Seja
j
j v0 xj (c(t0 )).
Suponhamos que
um V em U que e paralelo ao longo de c com
Pexiste
j
V (t0 ) = V0 . Entao j v xj satisfaz
X dv j
X dxi
DV

j
=
+
v

j
xi xj
dt
dt
x
dt
j
ij
P
Escrevendo i x j na base x j obtemos i x j = k kij x k . Entao obtex
x
mos
(
)
X dv k X dxi
DV

=
+
vj
kij
= 0.
k
dt
dt
dt
x
ij
k
0=

Formamos um sistema de n equacoes diferenciais ordinarias em v k (t) para


k = 1, ..., n
DV
dv k X j dxi k
=
+
v
= 0.
dt
dt
dt ij
ij

(1.2)

com a condicao inicial v k (t0 ) = v0k . Tal sistema e linear e portanto admite
1
uma u
nica solucao v(t)
(t), ..., v n (t)) que esta definida em todo I.
P= (v
Definindo V (t) = k v k (t) x k , onde v(t) = (v 1 (t), ..., v n (t)) e a solucao da
equacao 1.2, temos que V tem as propriedades desejadas e e o u
nico campo
que as satisfaz.

O campo V (t) encontrado no teorema acima e denominado transporte


paralelo de V0 ao longo de c.
Utilizaremos o seguinte produto de campos vetoriais. Sejam (M, hh, ii)
uma variedade Riemanniana e V, W X (M ) definimos a funcao hhV, W ii :
M R como hhV, W ii(x) := hhV (x), W (x)ii.
13

Defini
c
ao 1.1.5. Seja M uma variedade diferenciavel com uma conexao
afim e uma metrica Riemanianna hh, ii. A conexao e dita compatvel
com a m
etrica hh, ii quando, para toda curva diferenciavel c e quaisquer pares de campos de vetores paralelos P e P 0 ao longo de c, tivermos
hhP (c(t)), P 0 (c(t))ii = k fixo para todo t I.
Teorema 1.1.6. Seja M uma variedade Riemanianna. Uma conex
ao em
M e compatvel com a metrica se, e somente se, para todo par V e W de
campos de vetores ao longo da curva diferenci
avel c : I M tem-se

d
DW
DV
, t I.
(1.3)
hhV, W ii =
,W
+
V,
dt
dt
dt
Demonstra
c
ao: (=) Supomos que vale 1.3 entao, dados campos
0
paralelos P e P ao longo de c temos

d
DP 0
DP 0
0
hhP, P ii =
,P
+
P,
=0
dt
dt
dt
portanto, pelo teorema de existencia e unicidade de EDOs, hhP, P 0 ii = k
constante.
(=) Supomos que e compatvel com a metrica. Escolhamos uma base
ortonormal {P1 (t0 ), ..., Pn (t0 )} de Tc(t0 ) M . Pelo teorema 1.1.4 estendamos
cada um dos vetores Pi (t0 ) ao longo de c. Como e compatvel com a
metrica temos que hhPi (t), Pj (t)ii = ij . Portanto {P1 (t), ..., Pn (t)} e uma
base ortonormal de Tc(t) M para todo t I. Deste modo podemos escrever
X
X
V =
v i Pi ,
W =
wi Pi ,
i

onde v i e wi sao funcoes diferenciaveis em I para todo i.


Segue-se da que
X dv i
X dPi X dv i
DV
=
Pi +
vi
=
Pi
dt
dt
dt
dt
i
i
i
X dwi
X dPi X dwi
DW
=
Pi +
wi
=
Pi .
dt
dt
dt
dt
i
i
i
Assim

X i
DW
DV
dv i dwi i
,W
+
V,
w +
v
=
dt
dt
dt
dt
i

!
d X i i
d
=
v w = hhV, W ii.
dt
dt
i
14

Corol
ario 1.1.7. Uma conex
ao em uma variedade Riemanniana M e
compatvel com a metrica se e somente se
XhhY, Zii = hhX Y, Zii + hhY, X Zii,

X, Y, Z X (M ).

Demonstra
c
ao: (=) Suponhamos que e compatvel com a metrica.
Seja p M
e
sejam
c : I M uma curva diferenciavel com c(t0 ) = p, t0 I

dc
e com dt t=t0 = X(p). Entao

dc
d

X(p)hhY, Zii =
hhY,
Zii
=
hhY
(c(t)),
Z(c(t))ii

dt t=t0
dt
t=t0

dY
dZ

=
,Z
+
Y,

dt
dt
t=t0

= hhdc/dt Y, Zii + hhY, dc/dt Ziit=t0


= hhX(p) Y, Ziip + hhY, X(p) Ziip .
Como p e arbitrario segue o resultado.
(=) Sejam P, P 0 campos paralelos sobre uma curva diferenciavel c(t)
entao

d
DP 0
DP 0
0
hhP (c(t)), P (c(t))ii =
,P
+
P,
= 0.
dt
dt
dt
Como c(t) e uma curva arbitraria temos que hhP, P 0 ii = k fixo, ou seja, a
conexao e compatvel com a metrica.

Podemos pensar,
como no corolario anterior, em um campo vetorial X
P

1
X (M ), X =
a
(x)
i como um operador linear X : C (M ) C(M )
i i
x
P
f
definido por X(f ) =
Pensando assim, dados dois campos
i ai (x) xi .
X, Y X (M ), faz sentido pensar no operador XY , o qual nao e um campo
vetorial.
Contudo, calculando XY Y X numa carta (U , x )
!

X bj f
X
X f
2f
ai i j +
ai bj i j ,
XY f = X
bj j =
x
x x
x x
ij
ij
j

!
X
X f
X ai f
2f
Y Xf = Y
ai bj i j ,
ai i =
bj j i +
x
x x
x x
ij
i
ij
15

assim

X bj
aj f
(XY Y X)(f ) =
ai
.
bi
xi
xi xj
ij
Portanto XY Y X esta unicamente definido em cada carta.
Assim dadas cartas (U , x ) e (U , x ) com U U 6= temos que
(XY Y X)(f ) tem, na intersecao, o mesmo valor em ambas as cartas. Desta
maneira podemos definir um campo vetorial XY Y X globalmente sobre
M . Este campo e dado em coordenadas locais por

X bj
aj f
ai i bi i
(XY Y X)(f ) =
.
x
x xj
ij
Podemos considerar a operacao [, ] : X (M ) X (M ) X (M ) que associa
dois campos vetoriais X e Y ao campo [X, Y ] := XY Y X tal operacao e
chamada colchete, ela e R-linear e [X, Y ] = [Y, X].
Lema 1.1.8 (Identidade de Jacobi). Sejam X, Y, Z campos vetoriais diferenci
aveis em M ent
ao
[[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] = 0
Demonstrac
ao: Calculando diretamente temos
[[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] =[XY Y X, Z] + [Y Z ZY, X]
+ [ZX XZ, Y ]
=XY Z Y XZ ZXY + ZY X + Y ZX
ZY X XY Z + XZY + ZXY
XZY Y ZX + Y XZ = 0

Defini
c
ao 1.1.9. Uma conexao afim em uma variedade diferenciavel M
e dita sim
etrica quando
X Y Y X = [X, Y ] para quaisquer X, Y X (M )
Teorema 1.1.10 (Levi-Civita). Dada uma variedade Riemanianna M ,
existe uma u
nica conex
ao afim em M simetrica e compatvel com a metrica
Riemanianna.
16

Demonstra
c
ao: Suponhamos que tal conexao afim exista. Pelo
corolario do teorema 1.1.6 temos que
XhhY, Zii = hhX Y, Zii + hhY, X Zii,
Y hhZ, Xii = hhY Z, Xii + hhZ, Y Xii,
ZhhX, Y ii = hhZ X, Y ii + hhX, Z Y ii.

(1.4)
(1.5)
(1.6)

Calculando (1.4) + (1.5) (1.6) usando o fato que e simetrica temos


XhhY, Zii + Y hhZ, Xii ZhhX, Y ii = hhX Y, Zii + hhY, X Zii + hhY Z, Xii
+ hhZ, Y Xii hhZ X, Y ii hhX, Z Y ii
= hhX Z Z X, Y ii + hhY Z Z Y, Xii
+ hhX Y Y X, Zii + 2hhZ, Y Xii
= hh[X, Z], Y ii + hh[Y, Z], Xii
+ hh[X, Y ], Zii + 2hhZ, Y Xii.
Portanto
1
hhZ, Y Xii = {XhhY, Zii + Y hhZ, Xii ZhhX, Y ii
(1.7)
2
hh[X, Z], Y ii hh[Y, Z], Xii hh[X, Y ], Zii}
Pelo isomorfismo canonico entre X (M ) e X (M ) temos que Y X esta unicamente definido pela equacao 1.7. Assim se tal conexao existir ela e u
nica.
Para mostrar a existencia definamos por 1.7. Vamos mostrar que ela
satisfaz as propriedades desejadas.
e simetrica pois
hhZ, X Y Y Xii = hhZ, X Y ii hhZ, Y Xii
1
= {hh[Y, X], Zii + hh[X, Y ], Zii} = hh[X, Y ], Zii
2
como Z e arbitrario isto demonstra que X Y Y X = [X, Y ], ou seja,
e simetrica.
e compatvel com a metrica pois, calculando diretamente, temos
hhX Y, Zii + hhY, X Zii = XhhY, Zii.
Entao, pelo corolario do teorema 1.1.6, a conexao e compatvel com a
metrica.

17

A conexao dada pelo teorema anterior e denominada conex


ao de LeviCivita (ou Riemanianna) de M . Agora calculemos a conexao de LeviCivita em coordenadas locais. Para tal precisamos conhecer apenas os campos i j , para 1 i, j n, escrevemos:

xi

=
kij k .
j
x
x
k

Chamamos os coeficientes kij desta conexao de smbolos de Christoffel.


Denotamos por gij := hh x i , x j ii os coeficientes da matiz da metrica em
uma carta local e por g ij os coeficientes da inversa da matriz da metrica.
Pela equacao 1.7, fazendo X = x i , Y = x j e Z = x k , temos

gjk + j gki k gij =


, i j
x x
2 xi
x
x
xk
**
++
X
X l
=
,

=
lij glk .
xk l ij xl
l
Denotando zk :=

1
2

g
xi jk

g
xj ki

g
xk ij

podemos escrever

g11 . . . g1n

.. = (z , ..., z ) =
...
(1ij , . . . , nij ) ...
1
n
.
gn1 . . . gnn

g 11 . . . g 1n

.. ,
..
(1ij , . . . , nij ) = (z1 , ..., zn ) ...
.
.
n1
nn
g
... g
onde (g ij ) = (gij )1 portanto

1X

m
ij =
gjk + j gki k gij g km .
2 k
xi
x
x

1.2

(1.8)

Curvaturas

Defini
c
ao 1.2.1. A curvatura R de uma variedade Riemanniana M e
uma correspondencia que associa a cada par X, Y X (M ) uma aplicacao
R(X, Y ) : X (M ) X (M ) dada, para cada Z X (M ), por
R(X, Y )Z = Y X Z X Y Z + [X,Y ] Z,
onde e a conexao Riemanianna de M .
18

Proposic
ao 1.2.2. A curvatura R de uma variedade Riemanianna tem as
seguintes propriedades:
1. R e C -bilinear em X (M ) X (M ), isto e,
R(f X1 + gX2 , Y1 ) = f R(X1 , Y1 ) + gR(X2 , Y1 ),
R(X1 , f Y1 + gY2 ) = f R(X1 , Y1 ) + gR(X1 , Y2 ),
f, g : M R de classe C e X1 , X2 , Y1 , Y2 X (M ).
2. Para todo par X, Y X (M ), o operador curvatura R(X, Y ) : X (M )
X (M ) e C -linear, isto e,
R(X, Y )(Z + W ) = R(X, Y )Z + R(X, Y )W,
R(X, Y )f Z = f R(X, Y )Z,
f : M R de classe C e Z, W X (M ).
Demonstrac
ao: Para o item 1) basta vermos que, para todo Z
X (M ), temos
R(f X1 + gX2 , Y1 )Z =Y1 f X1 +gX2 Z f X1 +gX2 Y1 Z + [f X1 +gX2 ,Y1 ] Z
=Y1 (f X1 Z) + Y1 (gX2 Z) f X1 Y1 Z
gX2 Y1 Z + (f X1 +gX2 )Y1 Y1 (f X1 +gX2 ) Z
=f Y1 X1 Z + Y1 (f )X1 Z + gY1 X2 Z + Y1 (g)X2 Z
f X1 Y1 Z gX2 Y1 Z
(f X1 +gX2 )Y1 (f Y1 X1 +Y1 (f )X1 +gY1 X2 +Y1 (g)X2 ) Z
=f Y1 X1 Z + Y1 (f )X1 Z + gY1 X2 Z + Y1 (g)X2 Z
f X1 Y1 Z gX2 Y1 Z + f X1 Y1 f Y1 X1 Z
+ gX2 Y1 gY1 X2 Z + Y1 (f )X1 Z + Y1 (g)X2 Z
=f Y1 X1 Z f X1 Y1 Z + f X1 Y1 Y1 X1 Z
+ gY1 X2 Z gX2 Y1 Z + gX2 Y1 Y1 X2 Z
+ Y1 (f )X1 Z Y1 (f )X1 Z + Y1 (g)X2 Z Y1 (g)X2 Z
=f R(X1 , Y1 ) + gR(X2 , Y1 ).
Para a segunda igualdade basta notarmos que, para todo Z X (M ),
R(X, Y )Z =Y X Z X Y Z + [X,Y ] Z
= (Y X Z + X Y Z [X,Y ] Z)
R(X, Y )Z = (X Y Z Y X Z + [Y,X] Z) = R(Y, X)Z
19

(1.9)

A primeira parte do item 2) vem do fato que X (Z +W ) = X Z +X W .


Para a segunda parte vejamos que
Y X (f Z) =Y (f X Z + X(f Z))
=f Y X Z + (Y f )X Z + (Xf )Y Z + (Y (Xf ))Z.
Portanto
Y X (f Z) X Y (f Z) = f (Y X X Y )Z + ((Y X XY )f )Z,
assim
R(X, Y )f Z =f (Y X X Y )Z + ([Y, X]f )Z
+ f [X,Y ] Z + ([X, Y ](f ))Z = f R(X, Y )Z

Lema 1.2.3 (Primeira Identidade de Bianchi). Sejam X, Y, Z X (M )


ent
ao
R(X, Y )Z + R(Y, Z)X + R(Z, X)Y = 0
Demonstrac
ao: Pela simetria da conexao de Levi-Civita temos
R(X, Y )Z + R(Y, Z)X + R(Z, X)Y =Y X Z X Y Z + [X,Y ] Z
+ Z Y X Y Z X + [Y,Z] X
+ X Z Y Z X Y + [Z,X] Y
=Y [X, Z] + X [Z, Y ] + Z [Y, X]
+ [X,Y ] Z + [Y,Z] X + [Z,X] Y
=[Y, [X, Z]] + [X, [Z, Y ]] + [Z, [Y, X]],
que e igual a zero pela identidade de Jacobi.

Proposic
ao 1.2.4. Sejam X, Y, Z, T X (M )
1. hhR(X, Y )Z, T ii + hhR(Y, Z)X, T ii + hhR(Z, X)Y, T ii = 0.
2. hhR(X, Y )Z, T ii = hhR(Y, X)Z, T ii.
3. hhR(X, Y )Z, T ii = hhR(X, Y )T, Zii.
20

4. hhR(X, Y )Z, T ii = hhR(Z, T )X, Y ii.


Demonstra
c
ao: O item 1) segue da bilinearidade do produto interno
e da primeira identidade de Bianchi. O item 2) segue da equacao 1.9.
Para demonstrarmos o item 3) notemos que esta igualdade e equivalente
a hhR(X, Y )Z, Zii = 0 pois, se esta igualdade valer temos
0 =hhR(X, Y )(Z + T ), (Z + T )ii
=hhR(X, Y )Z, (Z + T )ii + hhR(X, Y )T, (Z + T )ii
=hhR(X, Y )Z, Zii + hhR(X, Y )T, Zii + hhR(X, Y )Z, T ii + hhR(X, Y )T, T ii
=hhR(X, Y )T, Zii + hhR(X, Y )Z, T ii.
Agora provamos que hhR(X, Y )Z, Zii = 0:
hhR(X, Y )Z, Zii = hhY X Z X Y Z + [X,Y ] Z, Zii
Mas, pelo corolario 1.1.7
hhY X Z, Zii = Y hhX Z, Zii hhX Z, Y Zii,
e
hh[X,Y ] Z, Zii = [X, Y ]hhZ, Zii hhZ, [X,Y ] Zii
1
= hh[X,Y ] Z, Zii = [X, Y ]hhZ, Zii.
2
Logo
1
hhR(X, Y )Z, Zii =Y hhX Z, Zii XhhY Z, Zii + [X, Y ]hhZ, Zii
2
1
1
1
= Y (XhhZ, Zii) X(Y hhZ, Zii) + [X, Y ]hhZ, Zii
2
2
2
1
1
= [Y, X]hhZ, Zii + [X, Y ]hhZ, Zii = 0,
2
2
o que demonstra 3).
Para demonstrar 4) usaremos 1) repetidas vezes
hhR(Y, Z)X, T ii + hhR(Z, X)Y, T ii + hhR(X, Y )Z, T ii = 0,
hhR(Z, X)T, Y ii + hhR(X, T )Z, Y ii + hhR(T, Z)X, Y ii = 0,
hhR(X, T )Y, Zii + hhR(T, Y )X, Zii + hhR(Y, X)T, Zii = 0,
hhR(T, Y )Z, Xii + hhR(Y, Z)T, Xii + hhR(Z, T )Y, Xii = 0.
21

Somando as equacoes acima e usando 2) e 3) obtemos


2hhR(X, Y )Z, T ii + 2hhR(T, Z)X, Y ii = 0,
e, novamente 2), chegamos `a
hhR(X, Y )Z, T ii = hhR(Z, T )X, Y ii.

Como a curvatura R e C -trilinear, para descreve-la precisamos apenas


calcula-la numa base do plano tangente. Em coordenadas locais {/xi }
denotamos

l
R
,
=
R
.
ijk
l
xi xj xk
x
l
l
Assim Rijk
sao os coeficientes da curvatura R em uma carta e, dados campos
vetoriais
X
X
X

wk i ,
U=
ui i ,
V =
vj i ,
W =
x
x
x
i
j
k

obtemos
R(X, Y )Z =

l
Rijk
ui v j w k

ijkl

.
xl

Para calcularmos a curvatura em termos dos coeficientes da conexao kij


l
precisamos apenas calcular os coeficientes da curvatura Rijk
em termos dos
coeficientes da conexao. Para tal calculemos:

, j
= j i k i j k + [ , ] k
R
i
k
x x
x
x
x x
xi xj x
x x x

!
!

X
X

= j
m
i
m
ik
jk
m
x
x
x
xm
m
m

X
X

m
m
=
ik j m +
ik
j
x x
x
xm
m
m

X
X

m
m
jk

jk i m
i
x x
x
xm
m
m

X
X
X

m
l
l
=
ik
jm l +
ik
j
x
x
xl
m
l
l

X
X
X

l
m
l

jk
im l
jk
i
l
x
x
x
m
l
l
22

Portanto
l
Rijk
=

l
m
ik jm

l
m
jk im +

(lik ) i (ljk ).
j
x
x

Tambem denotamos

l
Rijks :=
R
gls ,
, j
, s
=
Rijk
i
k
x x x x
l
portanto

g11 . . . gn1

n
2
1
) ... . . . ... ,
(Rijk1 , Rijk2 , ..., Rijkn ) = (Rijk
, Rijk
, ..., Rijk
g11 . . . gn1

g 11 . . . g n1

1
2
n
(Rijk
, Rijk
, ..., Rijk
) = (Rijk1 , Rijk2 , ..., Rijkn ) ... . . . ... ,
g 11 . . . g n1
X
s
Rijkl g ls .
Rijk
=
l

Pela trilinearidade de R e a bilinearidade do produto interno o teorema


anterior e equivalente a escrevermos
Rijks + Rjkis + Rkijs = 0
Rijks = Rjiks
Rijks = Rijsk
Rijks = Rksij .
Defini
c
ao 1.2.5. Seja x = zn um vetor unitario em Tp M ; tomemos uma base
ortonormal {z1 , ..., zn1 } do hiperplano de Tp M ortogonal a x. A curvatura
de Ricci da metrica hh, ii no ponto p, na direcao de x e:
n1
X
Ricp (x) =
hhR(x, zi )x, zi ii.
i=1

A curvatura escalar da metrica hh, ii, no ponto p e:


shh,ii (p) =

X
j

Ricp (zj ) =

n X
n1
X
j=1 i=1

23

hhR(zi , zj )zi , zj ii.

Teorema 1.2.6. A curvatura de Ricci e a curvatura escalar independem da


base escolhida.
Demonstrac
ao: Consideremos a aplicacao Q : Tp M Tp M R definida como
Q(x, y) = traco da aplicacao z R(x, z)y.
Como R e C -linear em cada uma das suas entradas temos que Q e bilinear. Sejam x Tp M um vetor unitario e {z1 , ..., zn1 , zn = x} uma base
ortonormal de Tp M entao, pelo teorema 1.2.4 item 4), temos
X
Q(x, y) =
hhR(x, zi )y, zi ii
i

X
hhR(y, zi )x, zi ii = Q(y, x),
=
i

isto e, Q e simetrica e portanto so precisamos conhecer Q(x, x) numa base


ortonormal para defini-la. Q(x, x) independe da base {z1 , ..., zn = x} que
usamos para calcula-la (por ser um traco); mas Q(x, x) = Ricp (x), entao
Ricp (x) independe da base escolhida.
Por outro lado, podemos associar a forma bilinear Q em Tp M uma aplicacao
linear auto-adjunta K tal que
hhK(x), yii = Q(x, y).
Tomando uma base ortonormal {z1 , ..., zn }, temos
X
X
tr(K) =
hhK(zj ), zj ii =
Q(zj , zj )
j

Ricp (zj ) = shh,ii (p),

o que demonstra que shh,ii (p) independe da base escolhida.

Dada uma metrica hh, ii precisaremos, muitas vezes, nos referir a matriz G
que a representa a metrica. Por isso usaremos, de agora em diante, a notacao
g(, ) (ou simplesmente g) para a metrica. Denotaremos os coeficientes da
matriz G por gij e os coeficientes de sua inversa por g ij .

24

A forma bilinear Q e chamada, `as vezes, de tensor de Ricci.


Calculemos
agora os coeficientes deste tensor numa base ortonormal x i de T M .
X

=
,
g R
,
,
Q
xi xj
xi xl xj xl
l

l
=
Rilj g
,
l xl
x
l
X
X
l
=
Rilj
=
Riljm g ml .
lm

Observemos que se A : Tp M Tp M e uma aplicacao linear auto-adjunta


e B : Tp M Tp M R e a forma bilinear tal que B(X, Y ) = g(A(X), Y ),
temos
uT Bv = B(u, v) = g(Au, v) = (Au)T Gv = uAT Gv
B = AT G AT = BG1 ,
onde G e a matriz P
que representa
etrica.
a m
ik
Entao tr(A) = ik B xi , xk g . Portanto, a curvatura escalar e dada
por
X
X
l
Rilj
g ij =
Rij g ij ,
sg =
onde denotamos Rij =
Usando a expressao
l
Rijk
=

X
m

ij

ijl

P
l

l
Rilj
.

l
m
ik jm

l
m
jk im +

(lik ) i (ljk ).
j
x
x

dos coeficientes da curvatura em termos dos coeficientes da conexao temos

ij
m l
m l
l
l
sg =
g
ij lm lj im + l (ij ) i (lj ) .
(1.10)
x
x
ijlm
Vamos mostrar que a curvatura escalar e um invariante por ismetrias.
Para isso precisaremos do seguinte resultado:
Teorema 1.2.7. Sejam (M, h) e (N, g) variedades Riemannianas de dimens
ao n, g a conex
ao de Levi-Civita de (N, g) e uma isometria entre

elas, entao : X (M ) X (M ) X (M ) dada por X Y = d1 gdX dY


e a conex
ao de Levi-Civita em (M, h).
25

Demonstrac
ao: Seja (Ui , i ) um atlas de M . Entao ((Ui ), i 1 ) e
um atlas de N . As bases dos planos tangentes de M e N sao, respectivamente,

, ..., xn e x 1 , ..., xn . Podemos considerar um vetor de Tp M como uma


x1

clase de equivalencia de curvas do seguinte modo: o vetor x j pode ser visto


como a classe de equivalencia da curva i1 xj : R M , onde xj (t)p : R
Rn e dada por xj (t)p = (x1 , ..., xj + t, ..., xn ), (onde i (p) = (x1 , ..., xj , ..., xn ))
pela relacao k l se, e somente se, (i k)0 (0) = (i l)0 (0). Assim

1
1
j
j
= [ i x ] = d[i x ] = d
.
xj
xj
Sejam a, b C (M ) e X, Y, Z X (M ). e uma conexao afim pois
valem as propriedades
aX+bY Z =d1 g(a1 )dX dZ + d1 g(b1 )dY dZ
=a.d1 gdX dZ + b.d1 gdY dZ
=aX Z + bY Z
e
X (Y + Z) =d1 gdX dY + d1 gdX dZ
=X Y + X Z
e
X (aY ) =d1 gdX (a 1 )dY
=d1 [(a 1 )gdX dY + dX(a 1 )dY ]
=a.d1 gdX dY + X(a)Y = aX Y + X(a)Y,
pois, se X =

P
i

ui x i , temos
X

(a 1 )
i
x

i
X
ui (a 1 i1 (xi )1 )(x1 , ..., xi + t, ..., xn )
= lim

dX(a 1 ) =

t0

= lim
t0

ui

ui (a i1 (xi )1 )(x1 , ..., xi + t, ..., xn ) = X(a) .

26

e simetrica pois, se X =

i ui xi e Y =

P
j

vj x j , temos

[dX, dY ] =dXdY dY dX

1
1
X

1 (vj )
1 (uj )
=
(ui )
(vi )
i
i
x
x
xj
ij

X vj
uj

=
d ui i vi i
= d[X, Y ].
x
x xj
ij
Entao
h(Z, X Y Y X) = g(dZ, dX dY dY dX)
= g(dZ, [dX, dY ]) = g(dZ, d[X, Y ]) = h(Z, [X, Y ]).
e compatvel com a metrica h: Sejam c : I R M uma curva
diferenciavel e i : Ui M Rn um homeomorfismo com c(I) Ui 6= e
(c1 (t), ..., cn (t)) := iP
c para todo t I. Podemos expressar localmente o
campo Y como Y = j v j (t) x j (c(t)) e, pela equacao 1.1, temos

X dci
D(dY ) X d(v j 1 )

1
=

(v j 1 )g
j +
j
dt
dt
dt
x
xi x
i
ij

!
X dv j
X dci

DY
= d
+
v j
= d
.
j
j
dt x
dt
dt
xi x
i
ij
Assim

d
DdX
d
DdY
h(X, Y ) = g(dX, dY ) = g
, dY + g dX,
dt
dt
dt
dt

DX
DY
=h
, Y + g X,
,
dt
dt
deste modo, pelo teorema 1.1.6, a conexao e compatvel com a metrica.
Portanto, pela unicidade da conexao de Levi-Civita, e a conexao de
Levi-Civita de (M, h).

Teorema 1.2.8. Sejam (M, h) e (N, g) variedades Riemannianas e uma


isometria entre elas, entao sg = sh .

27

Demonstrac
ao: Pelo teorema anterior : X (M ) X (M ) X (M )

dada por X Y = d1 gdX dY e a conexao de Levi-Civita em (M, h).


Assim, denotando por R e R as curvaturas de N e M respectivamente,
temos
R (X, Y )Z = d1 (R(dX, dY )dZ),
entao, como e uma isometria,

,
,
=g R d i , d j d k , d l
h R
xi xj xk xl
x
x
x
x

=g R
, j
, l
i
k
x x x x

= Rijkl para quaisquer i, j, k, l {1, ..., n}.


Deste modo Rijkl
Por outro lado

h(X, Y ) = g(dX, dY ) = X T DT GDY


onde G e a matriz da metrica, d e a derivada de e D e a matriz Jacobiana
de (i 1 ) i1 = I, assim hij = g ij .
Entao
X
X

(Riljm g ml ) = sg
Riljm
hml =
sh =
ijlm

ijlm

28

Captulo 2
O Laplaciano
2.1

Espacos e produtos internos sobre M

Definiremos o produto interno de duas funcoes f, h C (M ) como uma


integral sobre uma variedade Riemanniana (M, g) (que consideraremos orientada e fechada), faremos isto usando a n-forma dvol e, com esta, definiremos
o que significa integrar sobre M usando o atlas diferenciavel de M .
Defini
c
ao 2.1.1. Seja (M, g) uma variedade Riemanniana de dimensao n.
A forma de volume de uma metrica Riemanniana g e a n-forma dvol que
e dada em coordenadas locais por
p
dvolg = det gdx1 ... dxn ,
para uma base (x1 , ..., xn ) de Tx M orientada positivamente. Definimos o
volume de (M, g) como
Z
volg (M ) =
dvolg .
M

Teorema 2.1.2. A forma de volume dvol = det gdx1 ... dxn independe
das coordenadas locais; ou seja, dadas coordenadas locais e em x temos
p
p
det g()dx1 ... dxn = det g()dy 1 ... dy n
Demonstrac
ao: Dadas as coordenadas locais e definimos, para
cada i {0, ..., n}, as aplicacoes xi : M R como xi := i e y i : M R
como y i := i , onde i e a projecao na i-esima coordenada. Temos entao
que (x) = (x1 (x), ..., xn (x)) e que (x) = (y 1 (x), ..., y n (x)). De modo que

29

y i = i 1 (x1 , ..., xn ) e xi = i 1 (y 1 , ..., y n ), assim podemos nos


y i
y i
referir a x
:
j e xj da
dy i =

X y i
X xk
j
k
dx
e
dx
=
dy l .
j
l
x
y
j
l

Entao, denotando como o conjunto das permutacoes de n elementos, temos:


X y 1
X y n
p
p
j
det g()dy 1 ... dy n = det g()
dx

...

dxj
j
j
x
x
j
j
X

Y y i
dx1 ... dxn
(i)
x
i

i
p
y
= det g() det
dx1 ... dxn .
xj

det g()

(1)

Por outro lado, para todo h C (M )


X h xl

h
=
=
y i
xl y i
l
Assim

y i

gij () =

xl
l y i xl

, j
i
y y

e:

XX l k
X X xl xk
x x

=
, k =
glk ().
i
j
l
y y
x x
y i y j
l
k
l
k

Portanto, denotando J :=
p

!
X xl
h.
y i xl
l

xi
y j

, temos g() = J T g()J. Entao:

y i
xj

det g() det


dx1 ... dxn
p
= det(J T g()J) det(J 1 )dx1 ... dxn
p
= det(J)2 det(g()) det(J 1 )dx1 ... dxn
p
= det(g()) det(J) det(J 1 )dx1 ... dxn
p
= det(g())dx1 ... dxn .

det g()dy ... dy =

30

Defini
c
ao 2.1.3. Sejam
(M, g) uma variedade Riemanniana, (Uk , k ) uma
carta de M e = x i a base para T Ui associada a esta carta. Dizemos
que uma funcao f : M R e integr
avel se cada f 1
k : k (Uk ) R for
integravel `a Riemann e definimos a integral de f sobre Uk como
Z
Z

p
1
n
f (x) det(g()) 1
f (x)dvolg =
k dx ...dx .
Uk

k (Uk )

Esta integral esta bem definida pois dadas cartas (Uk , k ) e (Ul , l ) em

um atlas positivamente orientado tais que Uk Ul 6= . Sejam

=
i
x
n o

a base de T {Uk Ul } associada a carta (Uk , k ) e = y i a base de


T {Uk Ul } associada a carta (Ul , l ). Denotamos por g() e g() as matrizes
que representam a metrica associadas a e respectivamente a aplicacao
de transicao kl temos:
Z

f (x)dvol =
Uk Ul

p
1
n
f (x) det(g()) 1
k dx ...dx

Zk (Uk Ul )
=
Z

kl l (Uk Ul )

p
1
n
f (x) det(g()) 1
k dx ...dx

p
1
n
f (x) det(g()) det(J(kl )) 1
l dy ...dy

Zl (Uk Ul )

p
1
n
=
f (x) det(g()) 1
l dy ...dy .
l (Uk Ul )

Onde usamos formula de mudanca de variavel (teorema 4.0.4 em anexo) em


Rn e o fato que a orientacao e positiva.
Assim, dada uma funcao integravel f : M R com suporte compacto
em uma carta Uk , dizemos que
Z
Z
f (x)dvolg =
f (x)dvolg .
M

Uk

Defini
c
ao 2.1.4. Sejam (M, g) uma variedade Riemanniana, {(Ui , i )} um
atlas de M , {ai }1ik uma particao da unidade associada a este atlas e =
{ x i } uma base local para T M . Dizemos que uma funcao f e integravel
se ai f e integravel sobre M para i [1, ...k] e definimos a integral de uma
funcao f : M R sobre M como
Z
f (x)dvolg =
M

k Z
X
i=1

p
ai f (x) det(g())dx1 ... dxn .
M

31

A definicao de f ser integravel independe da particao da unidade e esta


integral esta bem definida pois, dada outra particao da unidade {bi }1il
temos
k Z
X
i=1

ai f (x)dvolg =
M

k Z X
l
X
i=1

k X
l Z
X

l X
k Z
X
j=1 i=1

l Z
X
j=1

bj ai f (x)dvolg
M

i=1 j=1

bj ai f (x)dvolg
M

bj
M

l Z
X
j=1

bj ai f (x)dvolg

M j=1

k
X

ai f (x)dvolg

i=1

bj f (x)dvolg .
M

Note, que por temos definido a integral usando a particao da unidade faz
sentido escrevermos a integral de um objeto local, como o produto interno
de campos vetoriais em coordenadas locais.
Tambem definimos um produto interno em C (M ) por
Z
hf, hi =
f (x)h(x)dvolg .
M

Definimos o produto interno de dois campos vetoriais X e Y sobre M


como
Z
hX, Y i =
g(X(x), Y (x))dvolg ,
M

onde g(X(x), Y (x)) := hhX(x), Y (x)ii. Utilizamos estas duas notacoes du claro que isto define um produto interno.
rante o texto. E
1
Sejam (M ) o conjunto das 1-formas sobre M e o isomorfismo natural
g : X (M ) 1 (M ), dado em cada plano tangente por g (v) = v onde
v (w) = hv, wi para quaisquer v, w TM . Definimos o produto interno de
duas 1-formas v e w como
Z

hv , w i =
g(g1 v (x), g1 w (x))dvolg .
M

claro que isto define um produto interno.


E
32

Vamos calcular 1 (v ) ePhv , w i em coordenadas


locais.
P
Sejam v, w T M , w = k wk x k e v = j v j dxj . Pela definicao de
temos
X
wk = dxk (w) = hg1 (dxk ), wi =
i gij wj .
Onde g1 (dxk ) =
de equacoes

P
i

ij

i x i . Entao, variando j, formamos o seguinte sistema


X

i gij =

0
1

se j 6= k
se j = k

que e denotado matricialmente por (gij ) = ek e admite uma u


nica solucao
X
g ik ei .
= (gij )1 ek =
i

Desta forma g1 (dxj ) =

g1 (v )

g1

P
i

g ij x i . Portanto

!
vj dx

vj g1 (dxj ) =

X
ij

Para o produto interno tome duas formas v =


sobre M

P
j

vj g ij

.
xi

v j dxj e w =

(2.1)

P
k

wk dxk

g g1 v (x), g1 w (x) dvolg


M

!
Z
X
X

=
g
vj g ij i ,
wk g lk l dvolg
x
x
M
ij
lk
Z X
Z X
=
vj g ij wk g lk gil dvol =
vj g ij wk ik dvolg

hv , w i =

M ijkl

Z X
M

2.2

M ijk

vj g ij wi dvolg .

ij

O divergente, o gradiente e o Laplaciano

Em Rn podemos definir um operador 4 : C 2 (Rn ) C(Rn ) chamado de


Laplaciano da seguinte forma
33

n
X
2f
4f =
.
(xi )2
i=1

(2.2)

2
Assim, no caso euclidiano, o Laplaciano e dado por (x 1 )2 + ... + (xn )2 .
Queremos definir o operador Laplaciano sobre C (M ). Se o definirmos
como na equacao 2.2 o nosso operador dependera do sistema coordenado
em questao, mas queremos um operador que independa do sistema de coordenadas. Para tal lembremos da equacao classica para o Laplaciano em
Rn :

2
2

+ ... +
= div grad.
(x1 )2
(xn )2
Definiremos os operadores grad : C (M ) X (M ) e div: X (M )
C (M ) em uma variedade Riemanniana de modo que eles independam de
coordenadas locais para, atraves destes, definir o Laplaciano.
Defini
c
ao 2.2.1. Sejam (M, g) uma variedade Riemanniana, d : C (M )
1
(M ) a derivada exterior e g o isomorfismo canonico entre X (M ) e 1 (M ).
O gradiente e o operador grad : C (M ) X (M ) definido por grad :=
g1 d.
Podemos definir o gradiente da mesma maneira em uma variedade diferenciavel (sem matrica) mas colocamos uma variedade Riemanniana na
definicao pois estamos interessados em coordenadas locais.
Teorema 2.2.2. Em coordenadas locais o gradiente e dado por
X
gradf =
g ij i f j ,
i,j

onde j = xj =

xj

e (g ij ) = (gij )1 .

Demonstrac
ao: Dada f C (M ) temos

!
X f
gradf = g1 d(f ) = g1
dxi
i
x
i

!
X f X
X f

g ji j
1 (dxi ) =
=
i g
i
x
x
x
i
j
i
X f
X f
ji
ij
=
g
=
g
.
i
j
i
j
x
x
x
x
ij
ij
34

Que no caso euclidiano e o gradiente usual. Da definirmos grad := g1 d


pois, g1 e d independem de coordenadas e coincidem com o gradiente usual
em Rn .
Por outro lado lembremos que no caso de um campo vetorial suave X :
Rn Rn o divergente e definido por
div(X) :=

X1
Xn
+ ... +
x1
xn

e que, dada uma funcao f C0 (Rn ), usando integracao por partes temos
Z X
Z X
Z X
(f.Xi )
hdivX, f i =
i Xi .f =
+
i f.Xi
xi
Rn i
Rn i
Rn i
+
XZ

=
(f.Xi ) dx1 ...dxi1 dxi+1 ...dxn
Rn1

Zi X
Rn

=
Z

Rn

Rn

i f.Xi

i f.Xi

i f.Xi = hX, gradf i,

pois f tem suporte compacto. Assim o divergente de um campo vetorial X


em Rn satisfara, f C0 (Rn ), a equacao
hdivX, f i = hX, gradf i

(2.3)

P
Sejam X = i X i i X (M ) e f C0 (M ) e (Ui , i ) um atlas na variedade M com particacao da unidade associada {ai }i=1,...,k . Suponhamos que
exista uma funcao divX satisfazendo a equacao 2.3 . Entao, em coordenadas
locais, temos

35

Z
hX, gradf i =

hhX, gradf iidvol


++
Z **X
X
X i i ,
g kj k f j
dvol
=
M

XZ
XZ
l

al
l (Ul )

l (Ul )

XZ

= hf,

k,j

X i (k f )g kj gij

det gdx1 ...dxn

ijk

al

X
X

p
X i (i f ) det gdx1 ...dxn

X
p
p
1
f
i (X i det g) det gdx1 ...dxn
det g i
X
p
i (X i det g)i

al
l (Ul )

1
det g

integrando por partes e usando o fato que (g ij ) e (gij ) sao inversas.


O que nos motiva a definir o divergente em coordenadas locais da seguinte
maneira.
Defini
c
ao 2.2.3. O divergente e o operador div: X (M ) C (M ), dado
localmente por
p
1 X
divX :=
i (X i det g).
det g i
Este operador esta bem definido, pois
Teorema 2.2.4. A func
ao divX esta bem definida, isto e, dadas coordenadas
1
n
locaisP
= (x , ...,P
x ) e = (y 1 , ..., y n ) em um aberto U M , escrevendo
X = i X i x i = j Y j y j temos que

p
p
1 X
1 X
i
j

(X
det
g)
=
(Y
det g)
det g i xi
det g j y j

Demonstra
c
ao: Podemos considerar qualquer funcao f : M R como
uma funcao que depende das funcoes xi e y j (analogamente ao que fizemos
no teorema 2.1.2). Notamos entao que
X
i

Xi

X y j
X y j

i
j
=
X
=
Y
=
Xi i
i y j
xi
x
x
ij
i
36

portanto
j
X y j X X i y j X
y
i
i
=
X
=
+
X
j
j
i
j
i
j
y
y
x
y x
y
xi
ij
ij
ij
j X
X X i y j X
y
X i
i
X
+
.
(2.4)
=
=
y j xi
xi y j
xi
ij
ij
i

X Y j
j

Por outro lado,


(n) como
das perutacoes de n
denotando
o l conjunto

k
x
y
elementos e J :=
, temos J 1 :=
da
l
y
xk

!
X
Y y l
X
Y y l

det(J 1 ) = j
=
=
(1)
(1) j
(l)
y j
y
x
y
x(l)

l
l

Y
n
a
n
(i)
(i)
X
XX
Y

y
y
1
=
(1)
=
j
((i))
((i))
a!(n

a)!
y
x
x
i=1
i=a+1

a=1

n
a
n
(i)
(i)
X
XX
Y
Y

1
y
y
=
(1)
= 0,
((i))
j
a!(n a)! i=1 x
y
x((i))
i=a+1

a=1
(2.5)
i

y
pois y
j = ij e, da primeira para a segunda linha, usamos a regra do produto
varias vezes.

37

Usando as equacoes 2.5 e 2.4 temos


X
X X y j
p
p
1
i
i
p
(X
det
g())
=
(X
det g())
det g() i xi
det g() i j xi y j

!
p
X X y j X i p
det g() i
1
=p
det g() +
X =
y j
det g() i j xi y j
X X y j X i p
1
p
det g() det(J 1 )+
=
i
j
1
x
y
det(J ) det g() i j
!
p
1 p

det
g()

det(J
)
+ Xi
det(J 1 ) + X i
det g() =
y j
y j
p
X X X i p
1
y j i det g()
=p
det g() + i X
=
x
y j
det g() j i xi
p
X Y j p

det g()
1
det g() + Y j
=
=p
j
y j
det g() j y

X p
1
j
=p
Y
det
g()
.
det g() j y j
1

Podemos agora definir o Laplaciano.


Defini
c
ao 2.2.5. O Laplaciano e o operador 4 : C (M ) C (M ) definido
como 4f = (div gradf ).
Agora escreveremos o Laplaciano em coordenadas locais. Tome f
C (M ) entao

4f = div(gradf )
!

X
= div
g ij i f j
i

1 X
=
j
det g j

g ij i f

det g .

Que no espaco euclideano e o Laplaciano usual.


Observe que apesar de estar definido em coordenadas locais o Laplaciano
independe destas pois div e grad independem das coordenadas locais. O
Laplaciano e linear pois:
38

Dados f, h C (M ) e a, b R, temos
4(af + bh) = div grad(af + bh)

!
X
p
1 X
ij
=
j
g i (af + bh) det g
det g j
i

!
X
p
1 X
g ij i f det g +
=
j a
det g j
i

!
X
p
1 X
j b

g ij i hn det g
det g j
i

!
X
p
a X
j
g ij i fn det g +
=
det g j
i

!
X
p
b X

j
g ij i h det g
det g j
i
= a4f + b4h.
Considerando g como o isomorfismo canonico entre X (M ) e 1 (M ).
Definimos o seguinte operador:
Defini
c
ao 2.2.6. Definimos : 1 (M ) C (M ) por (w) = div(g1 (w)).
Como g e uma isometria pela definicao de produto interno em T M ,
g((X), df ) = g(X, gradf ) para qualquer campo vetorial X e qualquer funcao
f C (M ) entao temos que e caracterizado, para quaisquer w 1 (M )
e f C (M ), pela equacao
hw, f i = hg1 (w), gradf i = hg1 (w), g1 df i = hw, df i,

(2.6)

usando o fato que definimos div de modo que hgradf, Xi = hf, divXi para
quaisquer f C (M ) e X X (M ).
P
i
1
Teorema 2.2.7. Para w =
e dado, em
i wi dx (M ) temos que
coordenadas locais, por
(w) =

p
1 X
j (g ij det gwi ).
det g ij

Onde (g ij ) = (gij )1 .

39

P
Demonstra
c
ao: Pela equacao 2.1 temos g1 (w) = ij wj g ij x i . Portanto:

!
X

(w) = div(1 (w)) = div


wj g ij i
x
ij
p
1 X
j (g ij det gwi ).
=
det g ij

Agora damos uma segunda definicao de Laplaciano, equivalente `a primeira.


Defini
c
ao 2.2.8. O Laplaciano e o operador 4 : C (M ) C (M ) definido
como 4f = df .
Como, para todo f C (M ) temos df = (div1 ) ((gradf )) =
div gradf vemos que as duas definicoes coincidem.
Ainda notamos, pela equacao 2.6, que 4 e simetrica pois
h4f, gi = hdf, gi = hdf, dgi = hf, dgi = hf, 4gi.
Agora vamos escrever o Laplaciano em termos dos coeficientes da conexao.
Para isso precisaremos do seguinte Lema:
Lema 2.2.9. Sejam (gij ) a matriz que representa a metrica em uma base
1 , ..., n e (g ij ) sua inversa entao temos as duas igualdades
X

lj
gmk =
gml gjk
g ,
xi
xi
jl
X
mk

g =
g mj g lk
glj .
xi
xi
jl
Demonstrac
ao: Como (gij ) e (g ij ) sao inversas
mk =

gjk g mj = 0 =

entao

g 11 . . . g 1n
.. . .
.
.
. ..
g n1 . . . g nn

X
mj
X
gjk g mj =
gjk g mj + gjk
g ,
xi j
xi
xi
j

g
xi 1k

..
.

g
xi nk

g11 . . . g1n
.

.
= .. . . . ..
gn1 . . . gnn

40

m1
g
xi

..
,
.
mn
g
xi

assim

g11 . . . g1n
g11 . . . g1n

.
.
..
. .

= .. . . . .. .. . . . ..
.

gn1 . . . gnn
gn1 . . . gnn
g
xi nk
X
lj

gmk =
gml gjk
g
=
xi
xi
jl

g
xi 1k

m1
g
xi

..

.
mn
g
xi

g 11 . . . g 1n

.
..
.

= .. . . . ..
.
mn
g n1 . . . g nn
g
xi
X

mk
g mj g lk
=
g =
glj .
xi
x
i
jl
m1
g
xi

g 11 . . . g 1n
.. . .
.
. ..
.
g n1 . . . g nn

g
xi 1k

..

g
xi nk

Como corolario podemos escrever a seguinte derivada em termos da conexao


Corol
ario 2.2.10. Sejam (gij ) a matriz que representa a metrica em uma
base 1 , ..., n , (g ij ) sua inversa e ijk , para i, j, k {1, ..., n}, os coeficientes
da conex
ao de Levi-Civita (smbolos de Christoffel) entao
X
X
im
g =
g ik m

g jm iji ,
ik
xi
j
k
X
X
X

g ij l gij =
jjl +
iil .
x
ij
j
i

41

Demonstrac
ao: Pelo Lema anterior
X
im
g =
gkj g ik g jm
xi
xi
kj

X
1
=
gkj g ik g jm +
gji g ik g jm
x
2
x
i
k
kj

1
1
1
ik jm
ik jm
ik jm

gji g g +
gik g g
gik g g
2 xk
2 xj
2 xj

X 1
1
1
ik jm
ik jm
ik jm
=
gkj g g +
gji g g
gik g g
2 xi
2 xk
2 xj
kj

1
1
1
ik jm
ik jm
ik jm
+
gkj g g +
gik g g
gji g g
2 xi
2 xj
2 xk
X
X
g ik m
g jm iij ,
=
ik
j

onde usamos a f
ormula
de Christoffel em termos da
1.8 que da os simbolos
km
P

1
m
metrica ij = 2 k xi gjk + xj gki xk gij g .
Para a outra igualdade basta calcularmos diretamente
X
X 1

ij
g
gij =
g ij l gij + g ij i gjl g ij i glj
l
x
2 x
2 x
2 x
ij
ij

1 ij
1 ij
1 ij
gij g
gjl + g
glj
+ g
2 xl
2 xi
2 xi
X j
X
=
jl +
iil .
j

Podemos demonstrar que


Teorema 2.2.11. Sejam (gij ) a matriz que representa a metrica em uma
base 1 , ..., n , (g ij ) sua inversa e ijk , para i, j, k {1, ..., n}, os coeficientes
da conex
ao de Levi-Civita (smbolos de Christoffel) entao
4u =

X
X u
2
g jk
g jm kjm
u.
xk
xj xk
jk
jkm

42

P jk 2
P
u jm k
Demonstra
c
ao: Denotando :=
g
u

jm
jk
jkm xk g
xj xk
temos

X
X u
jk
jk
=
g
u
g
u
g jm
x
x
x
x
x
j
k
j
k
k
jk
jkm

X
X u
X

u
=
u +
g jm kjm + g mk jmj
g jm kjm
g jk
x
x
x
x
j
k
k
k
m
jk
jkm

X u
X

=
g jk
u +
g mk jmj
xj
xk
xk
jk
jmk

X
X 1 u

g jk
u +
g mk g ij m gji .
=
xj
xk
2 xk
x
jk
ijmk
Mas

!
X
p

1 1
log det g =
gij Cij
xm
2 det g
x
m
ij
X
Cij
1
=
gij
2 ij det g xm
1 X ij
g
gij ,
=
2 ij
xm
onde Cij = (1)i+j det(g(i, j)) e g(i, j) e a matriz obtida de g retirando-se a
linha i e a coluna j.
Portanto
X
X
p
u mk
jk
=
g
u +
g
log det g
xj
xk
xk
xm
jk
mk

X
X u

1
p
=
g jk
u +
g jk
det g
x
x
x
x
det
g
j
k
k
j
jk
jk

X u
X
p
p
1

g jk
u
det g +
g jk
det g
=
x
x
x
x
det g jk
j
k
k
j
jk

X
p
1

=
g jk det g
u = 4u.
xk
det g jk xj

43

2.3

Generalizando o Laplaciano

Ate agora construmos um operador Laplaciano definido sobre funcoes


C (M ) contudo precisaremos defini-lo em espacos mais gerais do que esse
para calcular o menor auto-valor do operador 44 + sg , onde sg e a curvatura
escalar. Para tal utilizaremos alguns teoremas de E.D.P. sobre operadores elpticos definidos sobre espacos de Sobolev. Nesta secao definimos tais
espacos e construimos uma teoria de integracao a Lebesgue, que pode ser
encontrada em [12] com mais detalhes.

2.3.1

Integrac
ao `
a Lebesgue em Variedades

Defini
c
ao 2.3.1. Uma colecao M de subconjuntos de um conjunto X e dita
ser uma -
algebra em X se M tem as seguintes propriedades:
X M.
Se A M entao Ac M, onde Ac e o complemento de A em relacao a
X.
Se A =
ao A M.
n=1 An e se An M para todo n N ent
Se M e uma -algebra em X, entao (X, M) e dito um espa
co mensur
avel e os elementos de M sao ditos os conjuntos mensur
aveis em X.
Muitas vezes denotaremos um espaco mensuravel (X, M) apenas por X.
Se X e um espaco mensuravel, Y e um espaco topologico e f e uma funcao
de X em Y entao f e dita ser mensur
avel se f 1 (V ) e mensuravel para todo
aberto V Y .
Defini
c
ao 2.3.2. Uma medida e uma funcao , definida em uma -algebra
M cuja imagem esta em [0, ] e que e aditivamente contavel, ou seja, se Ai
e uma colecao disjunta de elementos de M entao
(
i=1 Ai )

(Ai ).

i=1

E (Ai ) < para algum A M.


Um espaco de medida e um espaco mensuravel que tem uma medida
definida na -algebra dos seus conjuntos mensuraveis.
No comeco deste captulo definimos o que significa integrar (no sentido de
Riemann) sobre uma variedade diferenciavel M , com esta definicao podemos
definir uma medida e uma -algebra M sobre M da seguinte maneira:
44

Dizemos que um conjunto E M e mensuravel se a funcao caracterstica


E : M R de E, definida como E (x) = 1 se x E e E (y) = 0 se y E c , e
integravel `a Riemann e definimos a medida (E) de um conjunto mensuravel
E como
Z
(E) =
E dvol.
M

Entao consideramos a -algebra gerada por estes conjuntos. Note que,


utilizando esta medida, temos que a medida de um ponto e zero (pois a funcao
caracterstica deste ponto e integravel a Riemann e sua integral vale zero)
entao, como a medida e aditivamente contavel qualquer conjunto enumeravel
de pontos tem medida nula.
Podemos estender nossa -algebra e nossa medida utilizando o seguinte
teorema, que esta demonstrado em [12].
ao
Teorema 2.3.3. Seja (X, M, ) um espaco de medida, seja M a colec
de todos conjuntos E X para os quais existem conjuntos A, B M tais
que A E B e (B A) = 0, definimos (E) = (A). Entao M e uma
-
algebra e e uma medida em M .
Seja P e uma propriedade que pode valer ou nao para um ponto x M .
Dizemos que P vale quase sempre em M se o conjunto dos pontos onde P
nao vale tem medida nula.
Com esta medida definiremos uma teoria de integracao a Lebesgue
Defini
c
ao 2.3.4. Se f : M [0, ) uma funcao da forma
f=

n
X

i Ai ,

i=1

onde 1 , ..., n R, com i 6= j se i 6= j; entao dizemos que f e uma fun


c
ao
simples.
Note que f e mensuravel se e somente se os conjuntos Ai sao mensuraveis.
Defini
ao 2.3.5. Seja f : M [0, ) uma funcao simples mensuravel,
Pcn
f = i=1 i Ai . Dado um conjunto E M definimos a integral a Lebesgue
de f sobre E em relacao a medida como
Z
n
X
f d =
i (E Ai ).
E

i=1

A medida de alguns conjuntos pode ser infinita. Para lidarmos com isto,
definimos, a. = .a = se a (0, ) e 0. = .0 = 0 e a + =
+ a = se a [0, ].
45

Defini
c
ao 2.3.6. Dado um conjunto E M definimos a integral a Lebesgue de f : M [0, ) sobre E em relacao a medida como
Z
Z
f d = sup sd,
s

onde s e uma funcao simples menor ou igual que f .


Denotando

f (x),
+
f :=
0,

se f (x) 0
,
se f (x) < 0

f :=

0,
f (x),

se f (x) 0
se f (x) < 0

podemos definir o que e uma funcao integravel a Lebesgue e a integral de


uma destas funcoes como
avel a LeDefini
c
ao 2.3.7. Dizemos que uma funcao mensuravel e integr
besgue se
Z
|f (x)|d < .
M

Denotamos o conjunto das funcoes integraveis a Lebesgue em M por I 1 (M ).


Dado um conjunto E M definimos a integral a Lebesgue de f :
M R sobre E em relacao a medida como
Z
Z
Z
+
f d = sup s d sup s d,
E

s+

onde s+ e uma funcao simples menor ou igual que f + e s e uma funcao


simples menor ou igual que f .
Se uma funcao e integravel `a Riemann ela tambem o e `a Lebesgue e as
duas integrais tem o mesmo valor. O operador integral `a Lebesgue tambem
e linear.
Sejam f, g I 1 (M ), f = g quase sempre (a menos de um conjunto G
mensuravel); E, F conjuntos mensuraveis e (F ) = 0 entao
Z
Z
f d
sup f d = sup f (F ) = 0;
F
F
Z
Z
Z
(f g)d =
(f g)d + (f g)d = 0.
E

EG

Temos ainda o seguinte resultado de convergencia:

46

Teorema 2.3.8 (Teorema da Converg


encia Dominada de Lebesgue).
Seja {fn } uma sequencia de func
oes integr
aveis `a Lebesgue em X, tais que
f (x) = lim fn (x)
n

existe para todo x X. Se existe uma func


ao g I 1 (M ) tal que
|f (x)| g(x)
Ent
ao f I 1 (M ),
Z
lim
|fn f |d = 0
n

n N.
Z

lim

fn d =

f (x)d.

Assim como o conjunto I 1 (M ) das funcoes integraveis em modulo podemos definir I p (M ), para todo p N, como o conjunto das funcoes mensuraveis tais que
Z
|f |p d .
M
R
p
Denotando Ep = {f L (M )| M |f |p = 0} (o qual e um subespaco
vetorial) definimos Lp (M) := I p (M )/Ep e uma norma da seguinte maneira
1/p
Z
p
|f | d
.
kf kp =
M

Os espacos Lp (M ) sao completos. De fato: Se (fn ) e uma sequencia de


Cauchy de funcoes em Lp (M ) entao f n f , onde f e uma funcao mensuravel, e (fn )p e uma sequencia de Cauchy. Tome > 0 fixo, entao existe
um N0 N tal que se m, n N0 temos, a menos de um conjunto de medida
nula:
sup((fn (x))p (fm (x))p )
x

deste modo |fn (x)| g(x) := supx {|f1 (x)|p , ..., |fN0 1 (x)|p , |fN0 (x)|p + }
para todo n N g : M R e uma funcao integravel (pois e o sup de um
n
umero finito de funcoes integraveis) assim, pelo Teorema da Convergencia
Dominada de Lebesgue, |fn |p h e h = |f |p pela unicidade do limite.
Portanto os espacos Lp (M ) sao completos.
Pode-se mostrar que o u
nico destes espacos no qual a norma provem de
um produto inteno e L2 (M ) e que Lp (M ) e espaco de Banach se p 1 e
portanto um espaco de Hilbert se p = 2.
Podemos definir uma norma em L2 (M ):
Z
1/2
1/2
2
kukL2 = (hu, uiL2 ) =
u d
M

47

e uma norma em C (M ):
kukH 1

1/2
Z

1/2 Z
2
= hu, uiH01
=
u d +
g(gradu, gradu)d
.
M

Estas normas estao associadas, respectivamente, ao seguintes produtos


internos
Z
hu, viL2 =
uvd
M

e ao produto interno de u, v C (M )
Z
Z
hu, viH 1 =
uvd +
g(g1 (du), g1 (dv))d
ZM
ZM
g(gradu, gradv)d.
uvd +
=
M

Pode ser demostrado que C (M ) e denso em L2 (M ) em relacao a norma


k.kL2 . Alem disso, em relacao a esta norma, a imersao de C (M ) em L2 (M )
e compacta. Denotaremos o fecho de C (M ) em relacao a norma kukH 1 por
H 1 (M ).
Dizemos que H 1 (M ) e H01 (M ) (f H 1 (M ) com suporte compacto) sao
espa
cos de Sobolev.

48

Captulo 3
Os invariantes
3.1

Invariante de Perelman

Seja M uma variedade fechada conexa de dimensao n 3 e g uma metrica


Riemanniana sobre M . Considere o operador 44g +sg I : C (M ) C (M )
associado a g, onde sg e a curvatura escalar de g e 4g = div grad e o
operador de Laplace-Beltrami.
Denotamos por g o menor autovalor do operador 44g + sg I que e dado,
em termos do quociente de Rayleigh, pelo seguinte teorema
Teorema 3.1.1. O menor autovalor g do operador 44g + sg I e dado por
R
[s u2 + 4|gradu|2 ]dg
M g R
g = inf
(3.1)
u
u2 dg
M
onde o nfimo e tomado sobre todas as func
oes reais suaves u sobre M . Alem
disso este nfimo e atingido por uma u
nica func
ao u C (M ).
Demonstra
c
ao: Podemos escrever, para cada f C (M ), este opera-

49

dor como
4 X
(44g + sg I)(f ) =
j
det g j

g ij i (f

det g)

+ sg f

X p
p
4 X
g ij i f det g + f i det g
=
j
+ sg f
det g j
i

X
p
1 X ij p
j
= 4
g i f det g + f i det g
det g i
j

X 1 X p
p
+4
j
g ij i f det g + f i det g + sg f
det g
j
i
!

X
X
X
X i det g
(f )
= 4
j
g ij (i f ) 4
j
g ij
det g
j
i
j
i
X 1 X p
+4
j
g ij det g(i f )
det
g
j
i
X 1 X
p
+4
j
g ij i det g(f ) + sg (f )
det g
j
i

!
X
X
X
X i det g
= 4
j
g ij (i f ) 4
j
g ij
(f )
2 det g
j
i
j
i

!
X
X i det g
X
p
1
j f + 4
j
4
g ij
g ij i det g + sg f
2
det
g
det
g
j
ij
i
= 4j (g ij (i f )) + j (bi f ) + bi j f + cf,

P
det g
utilizando a convencao de somatorio de Einstein e denotando bj = 4 i g ij 2idet
,
g
P
P ij
1
c = 4 j j det g i g i det g + sg .
Podemos definir uma forma quadratica em C (M ) associada ao operador
44g + sg I por
L(u, v) : = h(44g + sg I)(u), viL2
Z
ij

4g i uj v + j (bj u)v + bj j uv + cuv d


=
ZM
ij

4g i uj v bj uj v + bj j uv + cuv d.
=
M

O operador 44g + sg I e elptico 1 .


1

A teoria que desenvolvemos aqui pode ser generalizada para operadores elpticos em

50

Para cada u C (M ), u 6= 0, a razao


J(u) =

L(u, u)
hu, uiL2

e dita o quociente de Rayleigh de L.


Vamos minimizar J. Primeiro notamos que J e limitado inferiormente
pois, como M e compacta, |sg | k para algum k R, entao
h(44g + sg )(u), uiL2
L(u, u)
R
=
hu, uiL2
u2 d
M R
R
sg u2 d
ku2 d
4hgradu, graduiL2
M
M
R
R
R
=
+

= k.
u2 d
u2 d
u2 d
M
M
M

J(u) =

Assim faz sentido definirmos


g =

inf

uC (M )

J(u).

Vamos mostrar que g e um autovalor de 44g + sg I.


Como g e o infimo de J(u) existe uma sequencia {vm } C (M ) tal que
J(vm ) g entao, denotando um = vm /kvm kL2 , temos que J(um ) = J(vm )
claro que kum kL2 = 1. Por outro lado,
portanto J(um ) g . E
Z
L(um , um ) =
[4g(grad(um ), grad(um )) + sg u2m ]d g + k,
M

pois L(um , um ) = J(um ) e J(um ) g . Entao

Z
Z
1
2
g + k
sg um d
g(gradum , gradum )d
4
M
M

Z
1
1
2

g + k (k)
um d = (g + k + k) := K0 .
4
4
M
C (M ) pode ser mergulhada em H 1 (M ), usaremos a mesma notacao
para {un } e sua imagem de {un } em H 1 (M ). Portanto, para todo m N
temos
Z
Z
kum kH 1 =
g(gradum , gradum )d +
u2m d K0 + 1,
M

ou seja, {um } e limitada em H 1 (M ).


geral. Para ver detalhes sobre a teoria de operadores elpticos consulte [4]

51

O espaco H 1 (M ) pode ser compactamente mergulhado (teorema 4.0.6 no


anexo) em L2 (M ), portanto a imagem de {um } em L2 (M ), que denotamos
0
por {wm }, possui uma subsequencia {wm
} converge para uma funcao w em
2
2
L (M ) com kwkL = 1.
Denotando Q(u) = L(u, u) temos, para todo m, n N,

1
ul + um
ul um
+Q
= (Q(um ) + Q(ul )),
Q
2
2
2
entao

ul um
2

1
= (Q(um ) + Q(ul )) Q
2

u l + um
2

quando m, l pois
1
lim Q( (um + ul )) = lim Q(2um ) = lim Q(ul ) = g .
m
m,l
l
2
Deste modo
Z

ul um
ul um
ul um
=
4g grad
, grad
d
Q
2
2
2
M
2

Z
ul um
+
sg
d,
2
M
entao

Z
ul um
ul um
ul um
1
g grad
, grad
d = Q
2
2
4
2
M

2
Z
1
ul um

sg
d 0
2
M 4
quando m, l pois sg e limitada.
Assim
Z
kul um kH 1 = kul um kL2 +
g (grad(ul um ), grad(ul um )) d 0
M

quando l, m , ou seja, {um } e uma sequencia de Cauchy em H 1 (M )


que e completo em relacao `a norma de k.kH 1 portanto um u em H 1 (M ).
Os resultados classicos de regularizacao (teorema 4.0.5 no anexo) de EDPs
garantem que u c (M ). Assim Q(u) = g e u = w pela unicidade do
limite. Alem disso provamos que existe uma u
nica funcao u tal que J(u, u) =
g (caso contrario a sequencia (um ) poderia nao convergir).
52

Vamos mostrar que


(44g + sg )u g u = 0
pelo metodo usual do calculo variacional. Dado v H 1 (M ), definimos
f (t) = J(u + tv).
Vamos calcular f 0 (0)
J(u + tv) J(u)
t0
t
Z
1
= lim R
4g ij i uj u + 4tg ij i uj v + 4tg ij i vj u
2
t0 t
(u + tv) d
M
M

f 0 (0) = lim

+ 4t2 g ij i vj v bj uj u tbj uj v tbj vj u t2 bj vj v + bj uj u

+tbj uj v + tbj vj u + t2 bj vj v + cu2 + 2tcuv + t2 cv 2 d


Z
1
g ij i uj u + cu2 d
R
t M u2 d M

Z
1
g +
4tg ij i uj v + 4tg ij i vj u + 4t2 g ij i vj v
= lim R
2 d
t0 t
(u
+
tv)
M
M
tbj uj v tbj vj u t2 bj vj v + tbj uj v + tbj vj u + t2 bj vj v + 2tcuv

Z
Z
2 2
2
2
+ t cv d g 1 + 2t
uvd + t
v d
M
M
Z
=
4g ij i uj v bj uj v + bj j uv + cuv d
MZ
Z
ij
j
j
+
4g i uj v b vj u + b j vu + cuv d 2g
uvd
M

=2L(u, v) 2g hu, viL2 ,


pois L(u, v) = L(v, u). Portanto f e diferenciavel no 0.
Por outro lado, como J(u) e o nfimo, temos
J(u + tv) J(u)
0
t
J(u + tv) J(u)
0
t

para t > 0 e
para t < 0.

entao
L(u, v) g hu, viL2 = f 0 (0) = 0,

v H 1 (M ),

entao (44g + sg )u = g u, ou seja, u e um autovetor com autovalor associado


g .
53

claro que este e o menor autovalor pois, dado um autovetor w, com


E
autovalor associado 0 temos
g J(w) =

0 hw, wiL2
= 0 .
hw, wiL2

Como existe um u
nico u H 1 (M ) tal que J(u) = g temos que g e um
autovalor simples.
Defini
c
ao 3.1.2. Sejam M uma variedade diferenciavel fechada orientada ndimensional, n 3. Dada uma metrica Riemanniana g sobre M , denotamos
o menor autovalor do operador 44g + sg por g e o volume de M em relacao
a esta metrica por volg . O invariante de Perelman de M e definido
como
2
(M ) := sup g volgn ,
g

onde o sup e tomado sobre todas as metricas Riemannianas de M .


Teorema 3.1.3. Sejam M e N variedades diferenci
aveis e : M N um
difeomorfismo entao (M ) = (N ), ou seja, e um invariante por difeomorfismos.
Demonstra
c
ao: Sejam {a1 , ..., ak } uma particao da unidade associada
ao atlas (Ui , i ) de M e {b1 , ..., bl } uma particao da unidade associada ao
atlas (Vj , j ) de N e g uma metrica Riemanniana sobre N . Entao o pullback
g de g define uma metrica Riemanniana sobre M e, por definicao, (M, g)
e (N, g) sao isometricas. As formas de volume sao, respectivamente,
p
dvol g = det( g)dx1 ... dxn
e
dvolg =

det(g)dy 1 ... dy n .

Pelo teorema 1.2.8 sg = s g . Alem disso, dados campos vetoriais X, Y


em M temos, em Ui 1 (Vj ),
g(X, Y ) = g(dX, dY ) = X T DT GDY
onde G e a matriz da m
petrica, d e a derivada
p de e D e a matriz Jacobiano
1

de j i , entao det( g) = det(D) det(g).


i
), entao
Alem disso D = ( (yx)
j
( g)ij =

X
lr

xi
xj
lr
g
.
(y l ) (y r )
54

Portanto, para cada u C (M ) usando a formula de mudanca de


variaveis (teorema 4.0.4 em anexo) em Rn , temos:
Z
L g (u, u) =
4(4 g u)u + s g u2 d g
ZM
=
4 g(grad g u, grad g u) + s g u2 d g

ZM
xj
u xi
xj

u xi
lr
lr

=
g
,
g
4 g
xi (y l ) (y r ) xj xi (y l ) (y r ) xj
M
+ s g u2 d g

Z
u

lr
lr
+ s g u2 d g
=
4 g
g
,
g
l )
r ) (y l )
r )
(y
(y
(y
M

XZ
u

lr
lr
=
4 g
g
,
g
l )
r ) (y l )
(y
(y
(y r )
1 (V ))

(U

i
i
j
ij

+s g u2 ai (bj )
p
i1 det(D) det(g)dx1 ...dxn

XZ
u

lr
lr
=
4 g
g
,
g
l )
r ) (y l )
(y
(y
(y r )

(V
)
j
j
j
p

+s g u2 1 j1 (bj j1 ) det(g)dy 1 ...dy n .


Por outro lado temos
u
(u 1 )
1
i 1
=
lim
u

(y
)
(y
,
...,
y
+
t,
...,
y
)
=
.
1
i
n
(y i ) t0
y i
Tambem temos que o vetor (yf ) pode ser visto como a classe de equivalencia
da curva 1 j1 (y f )1 : R M , onde y f : R Rn e dada por
y f (t)p = (y1 , ..., yf +t, ..., yn ), pela relacao k l se, e somente se, (j k)0 (0) =

. Assim:
(j l)0 (0). Assim d([1 j1 (y i )1 ]) = [j1 y i ] = y

u
lr
lr
g
,
g
g
=
(y l ) (y r ) (y l ) (y r )

(u 1 ) lr
(u 1 ) lr
g
g
=g d
, d
=
y l
(y r )
y l
(y r )

(u 1 ) lr (u 1 ) lr
=g
g
,
g
.
y l
y r
y l
y r

55

Portanto
Z
4g(gradg (u 1 ), gradg (u 1 )) + s g (u2 1 )dg

L g (u, u) =
N

= Lg (u 1 , u 1 ).
Alem disso
Z

Z
2

u d g =
M

u2
M
XZ
ij

XZ
Z

det( g)dx1 ... dxn

i (Ui 1 (Vj ))

j (Vj )

p
(ai (bj )u2 ) i1 det(D) det(g)dx1 ...dxn

[bj (u2 1 )] j1

det(g)dy 1 ...dy n

(u2 1 )dg

=
N

e
Z
d g =
M

Z p

det( g)dx1 ... dxn

XZ
ij

XZ
Z

i (Ui 1 (Vj ))

j (Vj )

p
[ai (bj )s g ] i1 det(D) det(g)dx1 ...dxn

bj j1

p
det(g)dy 1 ...dy n

dg .
N

Deste modo para cada u C (M ) temos outra funcao u 1 C (N )


tal que Jg (u 1 ) = J g (u). Da g g , mas 1 : N M e um
difeomorfismo, entao g g (analogo ao que fizemos acima) = g =
g .
Portanto para cada g em N temos outra metrica g em M tal que
g = g . Da (M ) (N ), mas 1 : N M e um difeomorfismo, entao
(N ) (M ) (analogo ao que fizemos acima) = (M ) (N ).

56

3.2

Problema de Yamabe

Seja (M, g) uma variedade Riemanniana suave fechada conexa orientavel


de dimensao n 3 (escreveremos apenas variedade Riemanniana). Consideremos o conjunto (M ) de todas as metricas Riemannianas sobre M (que
nao e vazio, pois toda variedade Hausdorff com base enumeravel admite ao
menos uma metrica Riemanniana [3]). Podemos definir sobre este conjunto
a relacao como g g g = ug para alguma u : M R+ de classe C .
Esta e uma relacao de equivalencia pois
g g pois a funcao 1 : M R+ , dada por 1(x) = 1 e de classe C .
g h = h g pois u : M R+ de classe C = 1/u : M R+ e
de classe C entao h = ug = g = u1 h.
g h i = g i pois h = ug e i = vh implica em i = (uv)g e
uv : M R+ e de classe C .
Defini
c
ao 3.2.1. Definimos a classe conforme de uma metrica g (M )
como
= [g] = {g (M )|g g}.
Se g , g dizemos que g e conformal a g e que e uma classe conforme
sobre M .
Em [14] Yamabe conjecturou que:
Problema de Yamabe: Para toda variedade compacta Riemanniana (M, g)
de dimensao n 3, existe uma metrica conforme `a g, denotada por g, de
curvatura escalar constante.
Ao tentarmos formular este problema em termos de EDP chegamos a uma
equacao que relaciona o operador de Laplace-Beltrami e a curvatura escalar
com a curvatura escalar de uma metrica g conforme `a g. De fato:
Suponha que (M, g) e uma variedade riemanniana compacta conexa de
dimensao n 3. Qualquer metrica g conforme a g pode ser escrita na forma
4
g = u4/(n2) g para alguma funcao real u suave em M . Denotando r = n2
em
etrica
e usando a equacao 1.8 temos que os smbolos de Christoffel
ij da m

57

sao dados por

g + j g ki k g ij g km
i jk
x
x
x
k

1X

r
r
r
=
(u gjk ) + j (u gki ) k (u gij ) ur g km
2 k
xi
x
x

1X r

u
=
gjk + j gki k gij ur g km
2 k
xi
x
x

1X r
r
r
+
u gjk + j u gki k u gij ur g km
2 k
xi
x
x

1X

=
g
+
g

gij g km
jk
ki
i
j
k
2 k
x
x
x

1 1 X u
u
u
km
km
km
+ ru
gjk g + j gik g k gij g
2
xi
x
x
k
(
)
X u
1 1
u
u
m
km
=ij + ru
jm i + im j
gij g
.
2
x
x
xk
k

em = 1

ij
2

Teorema 3.2.2. Se (M, g) e uma variedade Riemanniana de dimensao n,


4
g e uma metrica conforme `a g, com g = ur g, r = n2
, 4g e o Laplaciano
em relac
ao `a metrica g, sg a curvatura escalar de (M, g) e sg a curvatura
escalar de (M, g) entao
4g u +

n+2
n2
n2
sg u =
sgu n2 .
4(n 1)
4(n 1)

Demonstrac
ao: Pela equacao 1.10 da curvatura em termos dos simbo-

58

los de Christoffel temos

l
m
l
m
l
l
ij
e
e
e e
e )
e )
sg =

(
(
g
ij lm lj im +
ij
lj
l
i
x
x
ijlm
(

(
)!
X
X u
1

u
u
=
ur g ij
lij + ru1 jl i + il j
g g kl
l
k ij
x
2
x
x
x
ijlm
k

)!
(
X u
1
u

u
g g kl
i llj + ru1 jl l + ll j
k lj
x
2
x
x
x
k

(
)!
X
1
u
u
u
1
+ m
jm i + im j
g g km
ij + ru
k ij
2
x
x
x
k

(
)!
X
u
u
u
1
g g kl
. llm + ru1 ml l + ll m
k lm
2
x
x
x
k

(
)!
X u
1
u
u
1
m
jm l + lm j
g g km
lj + ru
k lj
2
x
x
x
k

(
)!)
X u
1
u
u
. lim + ru1 ml i + il m
g g kl
k im
2
x
x
x
k

X
l
ij
r
l
m l
m l
g
=u

+ ij lm lj im
xl ij xi lj
ijlm

r X r ij
u
u
u
kl
1
u g
+
u
jl i + il j k gij g
2 ijklm
xl
x
x
x

u
u
u
i u1 jl l + ll j k jk
x
x
x
x

X
r
u
u
r1
m ij
m ij
m ij u
kl
+
u
ij g ml l + ij g ll m ij g
glm g
2 ijklm
x
x
xk

r X r1
u
u
l
ij
l
ij u
km
l
ij
+
gij g
u
lm g jm i + lm g im j lm g
2 ijklm
x
x
xk

u
r X r1
u
m ij
m ij u
kl
m ij
gim g

u
lj g ml i + lj g il m lj g
2 ijklm
x
x
xk

u
u
r X r1
ij
ij u
ij
l
l
km
l
glj g

u
im g jm l + im g lm j im g
2 ijklm
x
x
xk

59

r2 X r2
u ij
u
u ij u
u ij u
kl
+
u
jm i g ml l + jm i g ll m jm i g
glm g
4 ijklm
x
x
x
x
x
xk

r2 X r2
u ij
u
u ij u
u ij u
kl
+
u
im j g ml l + im j g ll m im j g
glm g
4 ijklm
x
x
x
x
x
xk

u
u
u
r2 X r2 u
glj g km g ij ml l + k glj g km g ij ll m
+
u
k
4 ijklm
x
x
x
x
)
X u
u

glj g km g ij r glm g rl
k
x
x
r

u ij
u
u ij u
u ij u
r2 X r2
kl
u
jm l g ml i + jm l g il m jm l g
gim g

4 ijklm
x
x
x
x
x
xk

r2 X r2
u ij
u
u ij u
u ij u
kl

u
lm j g ml i + lm j g il m lm j g
gim g
4 ijklm
x
x
x
x
x
xk

r2 X r2 u
u
u
u
km ij
km ij
u

g
g
g

+
g
g
g

lj
ml
lj
il
4 ijklm
xk
xi xk
xm

u
km ij u
kl

glj g g
gim g
xk
xk

r X r ij

r
1 u
1 u
u g
=u sg +
u
+ i u
2 ijklm
xj
xi
x
xj

u
u
1 u
kl
1
l u
gij g
i u
+n j j
x
xk
x
xj
x
x

X
r
u
u
u
ij u
+
ur1 lij g ij l + nm
kij g ij k + llj g ij i
ij g
m
2 ijklm
x
x
x
x

r X r1
l ij u
l
l ij u
m ij u
km u
u
li g
nlm g
lj g
ij g
+
2 ijklm
xj
xk
xi
xm

r X r1
l ij u
l ij u
l u km
m u kl
+
il g
+ lm k g
u
lm k g ij g
2 ijklm
x
xl
xj
x

60

r2 X r2 ij u u
ij u u
ij u u
+
u
g
+ ng
g
4 ijklm
xi xj
xi xj
xi xj

r2 X r2 ij u u
ij u u
ij u u
+
u
g
+ ng
g
4 ijklm
xj xi
xj xi
xj xi

r2 X r2 km u u
km u u
km u u
+ ng
g
u
g
+
4 ijklm
xk xm
xk xm
xk xm

r2 X r2 ij u u
ij u u
kl u u

u
g
+g
ng
4 ijklm
xj xi
xi xj
xl xk

r2 X r2
2 ij u u
ij u u
ij u u
u
ng

+g
g
4 ijklm
xj xi
xj xi
xj xi

r2 X r2 ij u u
km u u
ij u u

u
g
+ ng
g
4 ijklm
xj xi
xk xm
xi xj

u u
r X r
2u
r
u
2(n 1)u2 g ij j i 2(n 1)u1 g ij j i
=u sg +
2 ijklm
x x
x x

kl
u
gij u
1 g

nu
u1 g ij g kl l
k
l
x x
x xk

r X r1
m ij u
l ij u
+
u
(n 1)ij g
(n 1)li g
2 ijklm
xm
xj

r2 X r2
2
ij u u
+
u
(n + 3n 2)g
4 ijklm
xi xj

u u
2u
r X r
r
u
2(n 1)u2 g ij j i 2(n 1)u1 g ij j i
=u sg +
2 ijklm
x x
x x

u
li k
u
1
ik l
u g jjl + iil

nu
g

li
li
xk
xk

u
r X r1
ij u
+
(n 2)lli g ij j
u
(n 2)m
ij g
m
2 ijklm
x
x

r2 X r2
u u
+
u
(n2 + 3n 2)g ij i j
4 ijklm
x x
1 kl

Onde usamos o corolario 2.2.10.


61

2
r X r
m ij u
ij u
sg =u
sg +
u
2(n 1) ij g
g
2 ijklm
xm
xj xi

r2 X r2
2
ij u u
+
u
2(n 1) 1 +
g
4 ijklm
r
xi xj
r
=ur sg + 2(n 1)ur1 4g u.
2
r1

Portanto
4(n 1)
sg ur+1 =sg u +
4g u
n2
n+2
n2
n2
sg u n2 =
sg u + 4g u.
4(n 1)
4(n 1)

Teorema 3.2.3 (Problema de Yamabe (formula


c
ao EDP)). Seja (M, g)
uma variedade Riemanniana de dimensao n 3. O problema de Yamabe tem
soluc
ao se, e somente se, existem u C (M ), u > 0 em M e R tais
que
n+2
n2
4g u +
(3.2)
sg u = u n2 .
4(n 1)
Demonstrac
ao: (=) Se o problema de Yamabe tem solucao existe
4
uma metrica g = u n2 g onde u : M R+ e suave tal que a curvatura escalar
de (M, g ) e constante entao, pelo teorema anterior 3.2.2, temos
4g u +

n+2
n+2
n2
n2
sg u =
sg u n2 = u n2 ,
4(n 1)
4(n 1)

n2
com = 4(n1)
sg constante.
(=) Se existem u C (M ), u > 0 em M e R que satisfazem a
4
equacao 3.2 entao, para a metrica g = u n2 g que e conforme `a g, temos
n+2

u n2 = 4g u +
entao, como u > 0,

n2
sg
4(n1)

n+2
n2
n2
sg u =
sg u n2 ,
4(n 1)
4(n 1)

= portanto sg e constante.

62

Tinhamos um problema geometrico e o transformamos em um problema


de EDP. Vamos dar a formulacao variacional deste problema.
Defini
c
ao 3.2.4. Sejam (M, g) uma variedade Riemanniana, a classe con2n
forme de g e p = n2
.
Definimos Q : R do seguinte modo: para cada metrica g = up2 g
conforme a g definimos
R
sg dg
M
Q(g ) :=
p2 .
R
dg
M
Tambem definimos Qg : {u : M R+ , u C (M )} R como
Qg (u) := Q(up2 g).
2n
De agora em diante usaremos p = n2
. Pelo teorema 3.2.2, denotando

R 4
E(u) := M n(n2) (4u)u + sg u2 dg , temos

sg dg
p2
dg
M

Qg (u) =Q(up2 g) =
R
R 4(n1)
=

n2

2n
n+2
4
(4g u)u n2 + sg u n2 u n2 dg
E(u)
=
.
2
R

2n
kuk2p
p
u n2 dg
M

Teorema 3.2.5. Uma func


ao u : M R+ de classe C (M ) e um ponto
crtico de Qg se, e somente se, satisfaz a equac
ao 3.2 com = E(u)
, ou seja,
kukpp
4g u +

n+2
n2
E(u) n2
.
sg u =
pu
4(n 1)
kukp

Demonstrac
ao: Pelo metodo usual do calculo variacional, usando a
generalizacao do binomio de Newton

k1
X
1 Y
(x + y) =
(z j)xzk (y)k ,
k!
j=0
k=0
z

63

tomando uma funcao v C (M ) e denotando = 1t (Q(u + tv) Q(u))


temos
R 4(n1)
4g (u + tv)(u + tv) + sg (u + tv)2 dg
M n2
=
2
R
t M (u + tv)p dg p
R 4(n1)
(4g u)u + sg u2 dg
M n2 R
2
t M up dg p
Z
p2 R 4(n1)
4g (u + tv)(u + tv)dg
M n2
=
up dg
R
2 R
2
M
t M up dg p M (u + tv)p dg p
R
Z
p2
s (u + tv)2 dg
p
M g
+
u dg
R
2 R
2
M
t M up dg p M (u + tv)p dg p
R 4(n1)
Z
p2
(4g u)u + sg u2 dg
M n2
(u + tv)p dg

R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
p
u dg
=
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
u dg
+
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
X 1 k1
Y

(p j) upk (tv)k + up
k!
M k=2
j=0
R 4(n1)
p2
(4g u)u + sg u2 dg
p1
+ pu tv dg . R M n2 2 R
2
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
up dg
=
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
+
u dg
2
2 R
R
M
t M up dg p M (u + tv)p dg p

64

(Z
p

p1

u + pu

tv d

p2

"
Z
p2 l
l1
X1Y
2
p
p1
+
i
u + pu tv d
l!
p
M
i=0
l=1
!l
Z
k1

X 1 Y
(p j) upk (tv)k d

M k=2 k! j=0
R 4(n1)
(4g u)u + sg u2 dg
. R M n2 2 R
2
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
p
u dg
=
2
R
2 R
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
u dg
+
R
2 R
2
M
t M up dg p M (u + tv)p dg p
(Z
p2
p2 1 Z
Z

2
p
p
p1
u d
u d

+
pt
u v d
p
M
M
M
p2 r Z
Z
r

r1
X
1Y 2
p
p1
u d
+
s
p
u tv d
r!
p
M
M
r=2
s=0
"
p2 l
Z
l1
X1Y
2
p
p1
+
u + pu tv d
i
l!
p
M
i=0
l=1
Z
!l

X 1 k1
Y
(p j) upk (tv)k d

M k=2 k! j=0
R 4(n1)
(4g u)u + sg u2 dg
. R M n2 2 R
2 .
t M up dg p M (u + tv)p dg p
Note que somente os dois primeiros dos termos negativos nao apresentam
fator tx , com x 2 entao

65

d
Q(u + tv) Q(u)
Q(u + tv) = lim
t0
dt
t
0
R
4(n1)
2
4g (u)v + 2sg uvdg
= M n2R
2
p d p
u
g
M
Z
1 Z
R
2
up d
up1 v d . M
M

R 4(n1)
=2

n2

4(n1)
(4g u)u
n2

n+2

+ sg u2 dg
p2

up dg

n2
4g (u) + sg u kukp
vdg
p E(u)u
R
p2
up dg
M

Como v e qualquer de classe C (M ) temos que u e um ponto crtico de


Qg se e somente se
n+2
4(n 1)
E(u) n2
4g (u) + sg u
= 0.
pu
n2
kukp

Existe uma constante c > 0 tal que kuk2 ckukp (pela desigualdade
de Holder). Por outro lado M e compacta entao |sg | e limitada por uma
constante k entao

Z
E(u)
4(n 1)
1
2
Qg (u) =
g(gradu, gradu) + sg u dg
=
kuk2p
kuk2p M (n 2)
Z
kuk22
1
2

s
u
d

k
kc2 .
g
g
2
2
kukp M
kukp
Assim, podemos definir a constante de Yamabe como segue:
Defini
c
ao 3.2.6. Seja M uma variedade fechada suave orientada de dimensao n 3. A cada classe conforme sobre M podemos associar o
n
umero Y , chamado constante de Yamabe da classe , definido como
R
sg dg
Y = inf R M
.
(3.3)
n2
g
n
d
g
M
Se existir uma funcao u tal que Qg (u) = Y entao Y e um valor crtico
de Qg , portanto up2 g e uma metrica conforme a g de curvatura escalar
. A prova da existencia de tal funcao e devida aos trabalhos
constante E(u)
kukpp
de Yamabe, Truddinger, Aubin e Schoen, uma demonstracao completa disto
e um panorama historico da solucao pode ser visto em [7].
66

Defini
c
ao 3.2.7. Uma metrica g tal que
R
s dg
M g
= Y ,
R
n2
n
d
g
M
onde e a classe conforme de g, e dita um minimizante de Yamabe.
Lema 3.2.8. Seja M uma variedade diferenci
avel fechada conexa suave de
dimens
ao n 3. Se g e uma metrica Riemanniana sobre M com curvatura
escalar sg 0 constante entao g e um minimizante de Yamabe.
Demonstra
c
ao: Se g e uma metrica e c > 0 entao g = cg e conforme
a g e os coeficientes da conexao (Simbolos de Christoffel) sao

1X

1 km
m
e
ij =
cgjk + j cgki k cgij
g
i
2 k
x
x
x
c

1X
gjk + j gki k gij g km = m
=
ij .
2 k
xi
x
x
Assim a curvatura escalar e

X
el
el
m el
m el
ij
e
e
ij lm lj im + l (ij ) i (lj )
g
sg =
x
x
ijlm

X1

1
ij
m l
m l
l
l
=
g
ij lm lj im + l (ij ) i (lj ) = sg .
c
x
x
c
ijlm
Portanto
R

R
n2 R
n
1
sg dg
2 d
2
s dg
s
c
c
g
g
c M
M g
Q(g ) =
=
=
= Q(g).
n2
2

R
n2

R
n2
n
R
p
n
n
2
2 d
c
d
c
g
g
dg
M
M
M
M

Alem disso, o volume de M em relacao `a metrica h =


Z Z

Z
vol(M, h) =

dh =
M

dg
M

n2 . n2

dg
M

n2

g e

1 Z

dg =

dg = 1.

dg
M

Se g e uma metrica tal que a curvatura escalar sg 0 e constante, c =


2
dg n , h = cg e se q satisfaz p1 + 1q = 1 temos que, para qualquer outra
M
67

metrica g = ug conforme a g temos


Q(g ) =Qg (u) = Q(up2 g) = Q(cup2 g) = Qcg (u)
R
4
h(gradu, gradu) + sh u2 dh
M n(n2)
=
kuk2p
Z
1q
sg
sg
kuk22

=
sh
dh
= Q(g),
2
kukp
c
c
M
onde usamos a desigualdade de Holder:
Z

Z
2

2 p

u dh
M

|u | dh
Z

|u|p dh

p1 Z

p2 Z

dh
M

dh

1q

1q

Z
2 p

|u | dh

p1 Z

dh

1q

kuk22
1.
kuk2p

Corol
ario 3.2.9. Seja M uma variedade diferenci
avel fechada orientada suave de dimensao n 3, sejam uma classe conformal sobre M e Y a
constante de Yamabe associada a . Se Y 0 o minimizante de Yamabe e
u
nico a menos de reescalamento constante.
Demonstra
c
ao: Ja mostramos, na demonstracao do teorema anterior,
que o reescalamento constante de uma metrica g nao altera o valor de Q(g),
portanto qualquer m
ultiplo positivo de um minimizante de Yamabe tambem
e um minimizante de Yamabe.
Para a unicidade a menos de rescalamento constante consideremos um
minimizante de Yamabe g e uma metrica g = up2 g conforme a g tal que
u : M R+ seja nao constante. Como reescalamento constante nao altera
o valor de Qg (u) podemos considerar o volume de M em relacao a g como
unitario, assim, usando a desigualdade de Holder como no teorema anterior
i
R h 4(n1)
2
g(gradu,
gradu)
+
s
u
dg
g
n2
M
Q(g ) =Qg (u) =
kuk2p
R
sg u2 dg
sg kuk22
> M
=
sg ,
kuk2p
kuk2p
pois kgrad(u)k > 0 se u e nao constante e do fato que sg < 0.

68

A situacao e muito mais difcil quando Y > 0, contudo podemos notar


que
Teorema 3.2.10. Seja (M, g) uma variedade Riemanniana de dimensao n
3. Se g e uma metrica para qual sg tem sinal fixo (positivo, negativo ou zero)
em todo lugar em M , entao este sinal concorda com o do n
umero Y , onde
= [g] e a classe conforme de g.
Demonstrac
ao: Existe c > 0 tal que kvk2 ckvkp para todo v
C (M ) (segue da desigualdade de Holder).
Se sg e positiva existe k R+ tal que sg k (pois M e compacta) assim,
para qualquer metrica g = up2 g conforme a g, temos
R
4
(4u)u + sg u2 dg
E(u)
kuk22
M n(n2)
Q(g ) = Qg (u) =
=

k
kc,
kuk2p
kuk2p
kuk2p

portanto Y kc > 0.
Se sg = 0 temos, para qualquer metrica g = up2 g conforme a g,
R
4
(4u)u + sg u2 dg
E(u)
M n(n2)
=
0,
Q(g ) = Qg (u) =
kuk2p
kuk2p
R

assim Y 0, mas Q(g) =

sg dg

ao Y = 0.
2 = 0 ent
( M dg ) p
Se sg e negativa existe k < 0 tal que sg k (pois M e compacta) assim
R
R
s dg
dg
M g
M
Q(g) = R
p2 k R
p2 < 0,
d
d
g
g
M
M
M

portanto Y < 0.

O trabalho de Yamabe foi aparentemente motivado pela esperanca de


construir metricas de Einstein atraves de uma abordagem variacional. Esta
ideia levou Kobayashi [6] e Schoen [13] a, independentemente, introduzir o
invariante de variedade suave:
Defini
c
ao 3.2.11. Seja M uma variedade compacta suave de dimensao n
3. Definimos o invariante de Yamabe (tambem conhecido como sigma
constante) de M como
R
sg dg
.
(3.4)
Y(M ) := sup Y = sup inf R M
n2
n

g
d
g
M
69

Teorema 3.2.12. Sejam M e N variedades diferenci


aveis e : M N
um difeomorfismo entao Y(M ) = Y(N ), ou seja, Y e um invariante por
difeomorfismos.
Demonstra
c
ao: Sejam {a1 , ..., ak } uma particao da unidade associada
ao atlas (Ui , i ) de M e {b1 , ..., bl } uma particao da unidade associada ao
atlas (Vj , j ) de N e g uma metrica sobre N . Entao o pullback g de g
define uma metrica Riemanniana sobre M e, por definicao, (M, g) e (N, g)
sao isometricas. As formas de volume sao, respectivamente,
p
dvol g = det( g)dx1 ... dxn
e
dvolg =

det(g)dy 1 ... dy n .

Pelo teorema 1.2.8 sg = s g . Alem disso, dados campos vetoriais X, Y


em M temos, em Ui 1 (Vj ),
g(X, Y ) = g(dX, dY ) = X T J T GJY
onde G e a matriz da mep
trica, d e a diferencialpde e D e a matriz Jacobiano
de j i1 , entao det( g) = det(D) det(g). Portanto, usando a
formula de mudanca de variaveis (teorema 4.0.4 em anexo) em Rn , temos:
Z
Z
p
s g d g =
s g det( g)dx1 ... dxn
M
M
XZ
p
[ai (bj )s g ] i1 det(D) det(g)dx1 ...dxn
=
ij

XZ
Z

i (Ui 1 (Vj ))

j (Vj )

bj sg j1

det(g)dy 1 ...dy n

sg dg
N

Z
d g =
M

Z p

det( g)dx1 ... dxn

XZ
ij

XZ
Z

i (Ui 1 (Vj ))

j (Vj )

p
[ai (bj )s g ] i1 det(D) det(g)dx1 ...dxn

bj j1

p
det(g)dy 1 ...dy n

dg .
N

70

claro que mantem classes conformes


Deste modo Q(g) = Q( g). E
entao as constantes de Yamabe das respectivas classes sao iguais, ou seja,
Y[g] = Y[ g] . Da Y(M ) Y(N ), mas 1 : N M e um difeomorfismo,
entao Y(N ) Y(M ) (analogo ao que fizemos acima). Portanto Y(M ) =
Y(N ).

Lema 3.2.13. Seja M uma variedade fechada suave de dimensao n 3.


Y(M ) 0 se, e somente se, M n
ao admite metricas de curvatura escalar
positiva. Se Y(M ) 0 entao Y(M ) e simplesmente o supremo das curvaturas
escalares das metricas em M com curvatura escalar constante de volume
unit
ario.
Demonstra
c
ao: A primeira afirmacao e consequencia imediata da definicao e do teorema 3.2.10. A segunda afirmacao vem da unicidade a menos
de reescalamento constante do minimizante de Yamabe e do fato que toda
metrica de curvatura escalar constante nao positiva e um minimizante de
Yamabe.

Este resultado mostra a importancia do invariante de Yamabe pois, se


Y(M ) 0, sabemos que a variedade nao admite metricas de curvatura escalar
positiva o que e uma importante informacao topologica da variedade.

3.3

A igualdade entre os invariantes

O fato que existe uma relacao fundamental entre o invariante de Yamabe


Y(M ) e o invariante de Perelman foi apontado pela primeira vez provavelmente por Anderson [C1]. Mais recentemente Fang e Zang [C2] calcularam
o invariante de Perelman para uma grande classe de 4-variedades, na qual o
invariante de Yamabe ja havia sido calculado por Ishida e Lebrun [C3, C5]
e Petean [C6, C7]. Os resultados obtidos para o invariante de Perelman sao
iguais os encontrados para o invariante de Yamabe, como foi enfatizado por
Kotoschick [C4]. Nosso objetivo, baseado em [1], e mostrar que isso nao e
mera coincidencia.
Teorema 3.3.1. Seja M uma variedade suave compacta de dimensao n 3.
Ent
ao

Y(M ) se Y(M ) 0
(M ) =
+
se Y(M ) > 0
71

Para demonstrar este fato precisaremos de alguns resultados auxiliares.


Proposic
ao 3.3.2. Sejam M uma variedade Riemanniana de dimensao n
3 e g o menor autovalor do operador 44g + sg . Se a classe conforme de g
nao contem uma metrica de curvatura escalar positiva entao
Y = sup g volg2/n .
g

Demonstrac
ao: Seja g , e seja gb = u4/(n2) g o minimizante de
Yamabe em (so existe um pelo lema 3.2.8 e seu corolario 3.2.9). Entao

R 2
sg u + 4 n1
|gradu|2 dg
n2
M
.
0 Y =
R
n2
2n
n
n2
u dg
M
Usando isto, a equacao 3.1 e a definicao 3.2.7 calculamos
Z
Z
2
g u dg [sg u2 + 4|gradu|2 ]dg

Z
n1
2
2

|grad u| dg
sg u + 4
n2
Z
(n2)/n
2n
= Y
u n2 dg
Z
Z
2
2/n
g u dg Y volg
u2 dg ,

(3.5)

onde, como Y 0, o u
ltimo passo e uma aplicacao da desigualdade de
Holder
1/q
1/p Z
Z
Z
q
p
|f1 | d
|f2 | d
,
f1 f2 d
com f1 = 1, f2 = u2 , p = n/2 e q = n/(n 2) e do fato que 0 Y .
2/n
0 a equacao 3.5 mostra que
Como volg
g volg2/n Y .
Se g e um minimizante de Yamabe entao, pelo corolario 3.2.9, gb tem curvatura
escalar constante e u e constante assim, vale a igualdade na desigualdade de
Holder e grad u = 0 portanto temos a igualdade na equacao 3.5, ou seja,
Z
Z
2/n
2
u2 dg ,
gb u dg = Y volgb
assim segue que
Y = sup g volg2/n .
g

72

Lema 3.3.3. Se M carrega uma metrica g com sg > 0 ent


ao, (M ) = +.
Demonstra
c
ao: Como M carrega uma metrica g com sg > 0 entao,
dada uma funcao f : M R suave nao constante, Kobayashi mostrou
(em [6]) que existe uma metrica h com volume unitario em M com sh = f .
Em particular, dado qualquer n
umero real L, existe uma metrica com volume
unitario gL sobre M com sgL > L em toda parte. Mas para tal metrica, gL >
2/n
L e volgL = 1. Assim, tomando L , temos (M ) = supg g volg = +.

Agora vamos demonstrar o teorema 3.3.1


Demonstra
c
ao do teorema 3.3.1: Se Y(M ) > 0, entao M admite uma
metrica g com sg > 0 e o lema 3.3.3 mostra que (M ) = +. Por outro
lado, se Y(M ) 0 entao nenhuma classe conforme contem uma metrica de
curvatura escalar positiva a proposicao 3.3.2 garante que cada metrica h com
2/n
curvatura escalar constante maximiza h volh em sua classe conformal.
2/n
Para qualquer sequencia (b
gj ) de metricas tal que gbj volgbj (M ) podemos construir uma nova sequencia (gj ) onde cada gj maximiza vol2/n na
classe conformal [b
gj ] e tem volume unitario (dividindo pelo volume de M em
relacao a esta metrica pois multiplicar a metrica por uma constante positiva
2/n
nao altera o valor de vol2/n ), e claro que gj volgj (M ).
2/n
Contudo, para cada gi , pela proposicao 3.3.2 temos gj Vgj = Y[gj ] . Deste
modo
= (M )
Y(M ) = sup Y = lim Y[gj ] = lim gj volg2/n
j

Calcular o valor destes invariantes pode ser um trabalho duro, por que
considerar o supremo sobre o conjunto das metricas (ou das classes conformes) e difcil, pois o conjunto destas metricas e bastante grande. Os artigos
[C1, C2, C3, C4, C5, C6, C7] contem mais informacoes sobre estes invariantes e calculam os invariantes de Perelman e Yamabe para algumas classes de
variedades.

73

Captulo 4
Anexo
Enunciamos aqui alguns teoremas que utilizamos sem colocar os enunciados explicitamente no trabalho.
Teorema 4.0.4 (F
ormula da mudan
ca de vari
aveis). Sejam V Rn ,
: V R contnua e com suporte compacto, f : Rn Rn diferenci
avel e
U = f (V ), entao:
Z
Z
f (x)|Df (x)|dx =
(y)dy.
U

Este e um resultado classico de analise.


Teorema 4.0.5. Sejam M uma variedade diferenci
avel compacta com densidade e L um operador diferencial elptico que e formalmente auto adjunto.
Ent
ao todos os autovetores de L no sentido distribucional sao func
oes em
C (M ).
Este resultado pode ser visto em [5] pag 87
Teorema 4.0.6 (Teoremas de Mergulho de Sobolev para variedades
compactas). . Seja M uma variedade Riemanniana compacta de dimensao
n (possivelmente com fronteira de classe C 1 ).
(a) Se
1 k
1
,
r
q n
q
ent
ao Lk (M ) esta mergulhada continuamente em Lr (M ).
(b)(Teorema de Rellich-Kondrakov) Suponha que vale a igualdade estrita
em (a). Entao a inclusao Lqk (M ) Lr (M ) e um operador compacto.
(c) Suponha que 0 < < 1, e
k
1

.
q
n
74

Ent
ao Lqk (M ) esta mergulhado continuamente em C (M ).
Uma versao para Rn deste resultado classico pode ser encontrado em [4],
teorema 7.22. A versao para variedades ser encontrada em [7].

75

Conclus
ao
O fato que se uma variedade tem invariante de Yamabe nao positivo
entao a variedade nao admite metricas de curvatura escalar positiva e um
exemplo de como os invariantes podem revelar importantes caractersticas
das variedades. Uma das possibilidades de pesquisa para se seguir e estudar
os diversos invariantes das variedades.
Calculando o menor autovalor do operador 44 + sg utilizamos algumas
tecnicas basicas de EDP. Outra possibilidade de pesquisa poderia ser estudar
EDPs em variedades.
Tambem estudamos um pouco do problema de Yamabe e a sua solucao
completa utiliza muitas tecnicas interessantes (que nao apresentamos no trabalho mas podem ser vistas em [8]). Este e outro tema no qual a pesquisa
pode continuar.
Ainda temos o fluxo de Ricci que nao estudamos, mas e tema comum a
todas as referencias sobre o invariante de Perelman e que parece ser bastante
importante em algumas areas da geometria diferencial.
Poderia se pensar que o trabalho foi prematuramente interrompido contudo chegamos ao nosso objetivo principal. O que ficam sao as varias possibilidades para seguir estudando e as linhas de pesquisa que se abrem a
frente.

76

Bibliografia
[1] Akutagawa, k.; Ishida, M.; LeBrun,C. - Perelmans invariant, Ricci
flow, and the Yamabe invariants of smooth manifolds. Archiv der
Mathematik, (88):71-76, 2007.
[2] Barden, D.; Thomas, C. - An Introduction to Differential Manifolds.
Imperial College Press, Londres, Inglaterra, 2005.
[3] Carmo, M. P. do - Geometria Riemanniana. Impa, Rio de Janeiro,
Brasil, 2005.
[4] Gilbarg, D.; Trudinger, N. S. - Elliptic Partial Differential Equations
of Second Order. Springer, Berlin, Alemanha, 2005.
[5] Thayer, F. J. - Notes on partial differential equations. Impa, Rio de
Janeiro, Brasil, 1980.
[6] Kobayashi, O. - Scalar curvature of a metric of unit volume. Math.
Ann., (279): 253 - 265, 1987.
[7] Lee, J. M.; Parker, T. H. - The Yamabe Problem. Bull. Amer. Math.
Soc., (17): 37 - 91, 1987.
[8] Miyagaki, O. H. - Equac
oes Elpticas Modeladas em Variedades Riemannianas: Uma Introduc
ao. Milenio Workshop em Equacoes Elpticas,
UFCG/UFPB, Campina Grande / Joao Pessoa, Brasil, 2004.
[9] Perelman, G. - The entropy formula for the Ricci flow and its geometric
applications. e-print math.DG/0211159.
[10] Perelman, G. - Ricci flow with surgery on three-manifolds. e-print
math.DG/0303109.

77

[11] Rosenberg, S. - The Laplacian on a Riemannian Manifold. London


Mathematical Society Student Texts 31. Cambridge University Press,
Cambridge, Inglaterra, 1997.
[12] Rudin, W. - Real and complex analysis. McGraw-Hill Series in Higher
Mathematics. McGraw-Hill, Londres, Inglaterra, 1970.
[13] Schoen, R. - Variational theory for the total scalar curvature functional
for Riemannian metrics and related topics. Lec. Notes Math., (1365),
120-154, 1987.
[14] Yamabe, H. - On the deformation of Riemannian structures on compact
manifolds. Osaka Math. J., (12), 21-37, 1960.

78

Biliografia Complementar
[C1] Anderson, M. T. - Canonical metrics on 3-manifolds and 4-manifolds.
Asian J. Math., (10), 127-163, 2006.
[C2] Fang, F.; Zang, Y. - Perelmans functional and the Seiberg-Witten
equations. e-print math.FA/0608439.
[C3] Ishida, M.; LeBrum, C. - Curvature, connected sums, and the SeibergWitten theory. Comm. Anal. Geom., (11), 809-836, 2003.
[C4] Kotschick, D. - Monopole classes and Perelmans invariant of four manifolds. e-print math.DG/0608504.
[C5] LeBrum, C. - Four-manifolds without Einstein metrics. Math. Res,
Lett., (3), 133-147, 1996
[C6] Petean, J. - Computations of the Yamabe invariant. Math. Res. Lett.
(5), 703-709, 1998.
[C7] Petean, J. - The Yamabe invariant of simply connected manifolds. J.
Reine Angew. Math. (523), 225-231, 2000.

79