Você está na página 1de 16

Universidade Federal do Rio Grande do Norte

Centro de Cincias Exatas e da Terra


Departamento de Fsica Terica e Experimental
Programa de Ps-Graduao em Fsica

Isometrias do Espao-tempo

William Jouse Costa da Silva

Natal-RN
Novembro/2014

Captulo 1
Isometria do Espao-Tempo
As simetrias simplificam, em geral, o tratamento matemtico dos sistemas fsicos pois esto
naturalmente associados as leis de conservao e constantes de movimento. Assim como na
Mecnica Clssica, em Relatividade Geral quando existe um alto grau de simetria as equaes
diferenciais associadas aos diversos problemas sero mais fceis de resolver e suas solues tero
propriedades especiais. fato que as equaes diferenciais que aparecem na Relatividade Geral
no so lineares, assim, s possvel resolv-las quando se impem simetrias que restrinjam o
espao de solues. O estudo da forma como os objetos se transformam sob uma mudana de
coordenada de grande importncia, principalmente quando estes no mudam. Um exemplo
de grande importncia so as mudanas de coordenadas que deixam a mtrica com a mesma
forma em toda variedade Riemanniana. Esse tipo de simetria importante, pois a mtrica
contem toda a informao da variedade (a partir dela podemos encontrar a conexo, Tensor de
Riemann). Esse tipo de simetria dado o nome de isometria.
Dessa forma, como podemos usar uma dada simetria de um espao que possua uma mtrica
para obter informaes sobre a mtrica antes de estabelecer um sistema de coordenadas para
definir a simetria? Por exemplo, a mtrica de Schwarzchild escrita em coordenadas esfricas
e nesse sistema, de certa forma, sabemos todas as simetrias. Mas se ela for escrita em um
sistema de coordenadas (elptico, parablico) no qual no estamos acostumados a trabalhar?
Assim, devemos tentar escrever essa mtrica em uma coordenada independente ou seja, obter
as simetrias independente das coordenadas utilizadas. Para compararmos a mtrica em dois
pontos diferentes sem mencionar o sistema de coordenadas, temos que definir um novo tipo de
derivada, a Derivada de Lie.

1.1

Derivada de Lie

Considere em uma variedade M uma congruncia de curvas. Vamos exigir que por cada
ponto P da variedade passe uma curva parametrizada x (). Uma dessas curvas define um
campo vetorial tangente a (x) a ela, dado por:
dx
(1.1)
a (x) =
d
A operao inversa tambm satisfeita, dado um campo vetorial no-nulo a (x) sobre toda
a variedade, podemos construir uma congruncia de curvas, a partir da soluo da equao
diferencial que nica (a menos de uma constante).
Se um campo vetorial a (x) definido em uma variedade, podemos utiliz-lo apara definir
pontos prximos. Por exemplo, na figura 1.1, P tem coordenadas x e P , x . Ento considere

Figura 1.1: Campo vetorial a mapeia P em P .


uma transformao de coordenadas dita ativa pois leva o vetor x do ponto P ao ponto P no
mesmo sistema de coordenadas ao invs de redefinir o sistema de coordenadas, assim
x = x a (x)

(1.2)

em que  infinitesimal. O campo vetorial a mapeia P em P , isto , mapeia a variedade nela


mesma. Tambm mapeia objetos geomtricos definidos na variedade em objetos geomtricos
semelhantes, por exemplo vetores em vetores. Se V um vetor, aplicando 1.2 na sua lei de
transformao temos o seguinte:
x
V
V =
x
 x
a 


V
V =
x
x

(1.3)
(1.4)

V = ( a, )V

(1.5)

V = V a, V

(1.6)

onde a, = x . Como V (
x) V (x) no um vetor, j que foi calculado em dois pontos
diferentes, ns podemos expandir V em srie de Taylor at primeira ordem de ,
V (
x) w V (x) + (
x x) V , (x) + O(2 )...

(1.7)

V (
x) w V (x) a V , (x) + O(2 ) + ...

(1.8)

desprezando os termos de O(2 ) e substituindo 1.8 em 1.6


V (x) a, V = V (x) a V ,

(1.9)

V (x) V (x) = a, V a V ,

(1.10)

Fazendo o limite de  0
h V (x) V (x) i

= lim[a, V a V , ]
(1.11)
0

logo, temos a definio da derivada de Lie da componente V em relao ao campo vetorial
lim
0

a
2

La V = a, V a V ,

(1.12)

Analogamente, podemos fazer o mesmo procedimento para vetores covariantes e tensores,


logo:
La V = a, V + a V ,

(1.13)

La g = g a, + g a , + g, a

(1.14)

assim, para um tensor de segunda ordem contravariante, temos


La T = T a, + T a , + T , a

(1.15)

possvel mostrar que existe um sistema de coordenadas especial no qual a curva que passa
por P tem a forma a = 1 = diag(1, 0, ..., 0) e a derivada de Lie do tensor T com relao a
a passa a ser [3]
La T = T ,1

(1.16)

que uma derivada ordinria. Nesse sistema de coordenadas podemos avaliar o significado
de uma derivada de Lie nula,
La T = T ,1 = 0

(1.17)

ou seja, T no depende de x1 . Dessa forma, T invariante sob o transporte ao longo


de a .
Vamos mostrar que a derivada de Lie tambm um tensor. Da simetria dos indicies inferiores
da conexo podemos substituir as derivadas ordinrias por derivadas covariantes,
La V = a; V a V ;
sabendo que

a; = a, + a

(1.18)

e V ; = V , + V

logo, temos
La V = [a, + a ]V a [V , + V ]

(1.19)

La V = a, V + a V a V , a V

(1.20)

La V = a, V a V , + a V a V

(1.21)

La V = a, V a V , + a V [ ]

(1.22)

La V = a, V a V ,

(1.23)

Assim, recuperamos a definio de derivada de Lie. Portanto, podemos reescrever as


equaes 1.12, 1.13 e 1.14 em termos da derivada covariante,
La V = a; V a V ;
3

(1.24)

La V = a; V + a V;

(1.25)

La g = g a; + g a;

(1.26)

Ento a Derivada de Lie de um tensor uma translao infinitesimal na direo do campo


vetorial. Munido da definio da derivada de Lie, vamos escrev-la em coordenadas livres.
Fazendo
V = V e ,
na base natural e =

,
x

e =

,
x

A = a e

(1.27)

fazendo o comutador de 1.27,

[A, V] = [a e , V e ]

(1.28)

[A, V] = a e V e V e a e

(1.29)

[A, V] = a

V e V a e

x
x

(1.30)

A
V
V

x
x

(1.31)

[A, V] = a
logo,

La V = [A, V]

(1.32)

Ento a derivada de Lie est relacionada com esse comutador. Vamos fazer alguns exemplos
do uso da derivada de Lie.
a) Considere um campo vetorial como o da figura 1.2(a). Algebricamente, este campo
representado por:
V = ai + bj = a

+b
x
y

(1.33)

Considere uma translao A = f x


+g y
em que f e g so constantes. Fazendo a derivada
de Lie,

La V = [A, V]


 


a
a
f
La V = f
+g
+b
+b
+g
x
y
x
y
x
y
x
y
La V = 0

(1.34)
(1.35)
(1.36)

Figura 1.2: Trs campos vetoriais, invariantes sob simetrias particulares.


b) Considere o campo como o da figura 1.2(b) descrito por:
V = y = yj = y

(1.37)

Uma translao no eixo x seria, A = a x


. Logo, a derivda de Lie

h
i
La V = [A, V] = a , y
=0
x y

(1.38)

c) Agora considere um campo vetorial como 1.2 (c)




V = r = rer = r cos
+ sin
=x
+y
x
y
x
y
5

(1.39)

o gerador de rotao

= y x
+ x y
, logo

i
La V = [A, V] = x
+ y , y
+x
=0
x
y
x
y

(1.40)

Em todos os casos a derivada de Lie nula. Assim, em a) o campo vetorial invariante sob
uma translao, b) invariante sob translao no eixo x e c) invariante sob rotaes.

1.2

Vetores de Killing

Depois de definir a operao na qual utilizaremos para analisarmos a mtrica, agora


queremos saber quais simetrias do espao-tempo teremos para que a derivada de Lie da mtrica
seja nula, La g = 0. Como j foi dito, cada simetria desse tipo chamada de isometria.
Agora considere um espao-tempo equipado com uma mtrica. Considerando tambm um
campo vetorial , uma condio para uma isometria L g = 0, isto ,

+ g ,
L g = g , + g ,

(1.41)

g , + g ,
+ g , = 0

(1.42)

Sabendo que
; = (g );
; = g ; = g (, + )

; + ; = g (, + ) + g (,
+ )

; + ; = g , + g + g ,
+ g

; + ; = g , + g ,
+ (g + g )

considerando a condio de metricidade, temos


g + g = g,
assim,

g , + g ,
+ g, = ; + ;

(1.43)

; + ; = 0

(1.44)

logo,

Cada vetor que satisfaz essa equao diferencial chamado de vetor de Killing da mtrica
g associada a variedade em questo. Para encontrarmos todas as isometrias basta resolver a
equao diferencial. Em qualquer espao-tempo h uma relao entre os vetores de Killing e o
tensor de curvatura. Para qualquer vetor V ns temos
6

V ;; V;; = R V

(1.45)

;; ;; = R

(1.46)

Para o vetor de Killing,

lembrando a propriedade de antissimetria do tensor de Riemann


R + R + R = 0
(R + R + R ) = 0
(;; ;; ) + (;; ;; ) + (;; ;; ) = 0
juntando os termos com a mesma derivada segunda
(;; ;; ) + (;; ;; ) + (;; ;; ) = 0
(; ; ); + (; ; ); + (; ; ); = 0
;; + ;; + ;; = 0
usando a propriedade de antissimtrica dos vetores de Killing
;; ;; ;; = 0
;; ;; = ;;
logo, podemos reescrever 1.46
;; = R

(1.47)

A partir de 1.47 podemos obter os vetores de Killing.

Exemplos
Espao R3
Vamos encontrar os vetores de Killing para o espao R3 . Considere a seguinte mtrica
ds2 = dx2 + dy 2 + dz 2

(1.48)

No espao R3 sabemos que a conexo nula e consequentemente o tensor de Riemann tambm


. Logo de 1.47
i;j;k = 0
Isso uma equao diferencial com soluo conhecida da forma
i;k = ik
7

(1.49)

i = ik xk + ai

(1.50)

Substituindo a soluo em 1.44, temos:


i;j + j;i = 0
ik xk,j + jk xk,i = 0
ik kj + jk ki = 0
ij = ji
Ou seja, a constante ik antissimtrica. Juntando a constante antissimtrica mais a
constante ai , temos 6 constates a serem determinadas, logo 6 vetores de Killing. Qualquer
soluo que tenha essa forma mais as combinaes lineares destas sero solues (vetores de
Killing), logo escolheremos as mais simples.
(1) Por simplicidade, escolheremos ik = 0 e a1 = 1, assim obtendo
(1) = (1, 0, 0)
(2) Da mesma maneira ik = 0 e a2 = 1, para o segundo vetor de Killing
(2) = (0, 1, 0)
(3) ik = 0 e a3 = 1,

(3) = (0, 0, 1)

(4) Agora faltam encontrar mais 3 vetores. Fazendo ai = 0, podemos fazer combinaes
lineares fixando a outra constante. Assim, 12 = 13 = 0 e 23 = 1, logo
(4) = (0, z, y)
(5) 12 = 23 = 0 e 13 = 1,
(5) = (z, 0, x)
(6) 13 = 23 = 0 e 21 = 1,
(6) = (y, x, 0)

Esfera S 2
Como um segundo exemplo considere uma esfera S 2 . O elemento de linha :
ds2 = d2 + sin2 d2

(1.51)

gkm m,i + gim m,k + gik,m m = 0

(1.52)

De 1.42, temos:

Fazendo x1 = , x2 = e fixando alguns valores para os indicies i, k, por exemplo:


i=k=1
g1m m,1 + g1m m,1 + g11,m m = 0

(1.53)

g11,m m = g11,1 1 + g11,2 2 = 0


g1m m,1 = g11 1,1 + g12 2,1 = 1,1
logo
(1.54)

1,1 = 0
i=k=2
g22,m m + g2m m,i + g2m m,2 = 0
g22,m m = g22,1 1 + g22,2 2 =

 2  1
sin

g22,m m = 2 sin cos 1


g2m m,2 = g21 1,2 + g22 2,2 = sin2 2,2
g2m m,2 = sin2 2,2
assim,
2 sin cos 1 + 2 sin2 2,2 = 0
dividindo por 2 sin
cos 1 + sin 2,2 = 0
i = 1, k = 2
g2m m,1 + g1m m,2 + g12,m m = 0
g2m m,1 = g21 1,1 + g22 2,1 = sin2 2,1
9

(1.55)

g1m m,2 = g11 1,2 + g12 2,2 = 1,2


sin2 2,1 + 1,2 = 0

(1.56)

Assim, ficamos com trs equaes diferenciais acopladas


1,1 = 0
cos 1 + sin 2,2 = 0
sin2 2,1 + 1,2 = 0

(1.57)
(1.58)
(1.59)

De 1.58, temos
cos 1 + sin 2,2 = 0
2,2 =

cos 1

sin

2,2 = cot 1
De 1.57, temos 1 = 1 (). Integrando em
Z
2
= cot 1 ()d + B()
Z

= cot

1 ()d + B()

agora derivando com relao a


2,1

1
=
sin2

1 ()d + B 0 ()

Agora substituindo em 1.59


2,1

Z
=

1 ()d + B 0 () + 1,2 = 0

diferenciando em relao a , temos


1 + 1,,2 = 0

(1.60)

A soluo dessa equao diferencial conhecida. Ajustando os valores das constantes, temos
1 = A sin( + o )
Substituindo 1.61 em 1.58, temos
A cos sin( + o ) + sin 2,2 = 0
sin 2,2 = A cos sin( + o )
2,2 = A cot sin( + o )
10

(1.61)

integrando em ,
2 = A cot cos( + o ) + B()

(1.62)

Substituindo essa soluo em 1.59, encontramos que


B 0 () = 0 B() = constante

(1.63)

So trs constantes (o , A e B) de integrao. Ento temos 3 vetores de Killing. Fixando


os valores, temos
1. o = 0, A = 1, B = 0
(1)

1 = sin
(1)

2 = cot cos
(1) = (sin , cot cos )
2. o = 2 , A = 1, B = 0
(2)

1 = cos
(2)

2 = cot sin
(2) = (cos , cot sin )
3. A = 0, B = 1
(3)

1 = 0
(3)

2 = 1
(3) = (0, 1)

11

Grupos de Movimento
Nos dois casos podemos construir operadores a partir dos vetores de Killing. Considere um
operador da forma:
(a)
Xa = i
(1.64)
xi
Para o espao R3 , temos os seguintes vetores de Killing
(1) = (1, 0, 0) (2) = (0, 1, 0) (3) = (0, 0, 1)
(4) = (0, z, y) (5) = (z, 0, x) (6) = (y, x, 0)
Assim, com (x1 , x2 , x3 ) = (x, y, z), podemos montar os seguintes operadores:

X1 =
X4 = y

z ,
z
y

X5 = z

,
x

,
z

X6 = x
y
y
x

X2 =

x ,
x
z

,
y

X3 =

Os trs primeiros (X1 , X2 , X3 ) representam translaes e claramente comutam. Os trs


ltimos (X4 , X5 , X6 ) representam rotaes e respeitam a seguinte regra de comutao [X4 , X5 ] =
X6 .
Reescrevendo os operadores que representam as rotaes do espao R3 da seguinte maneira


z
J1 = iX4 = i y
z
y


x
J2 = iX5 = i z
x
z


y
J3 = iX6 = i x
y
x
As relaes de comutao so [J1 , J2 ] = iJ3 , [J1 , J3 ] = iJ2 e [J2 , J3 ] = iJ1 . E reescrevendo
os operadores que representam as translaes da mesma forma
P1 = iX1 = i

,
x

P2 = iX2 = i

,
y

z
Temos as seguinte regras de comutao [Pi , Pk ] = 0 e [P1 , J2 ] = iP3 . Estas regras de
comutao definem o grupo de rotao e translao no R3 , assim, encontramos que as isometrias
no R3 exatamente o grupo de rotao e translao no R3 . O subgrupo de translao abeliano
e o de rotao no-abeliano e as translaes e as rotaes no comutam entre si.
Agora para esfera S 2 , temos os seguintes operadores
P3 = iX3 = i

12

+ cot cos ,

X2 = cos cot sin ,

X3 =

X1 = sin

Esses operadores obedecem a seguinte regra de comutao [Xi , Xj ] = ijk Xk . Logo, temos
o grupo de movimento da esfera S 2 .
Analisando as isometrias envolvidas nesses exemplos podemos dizer que um objeto
homogneo se qualquer de seus pontos puder ser levado em qualquer outro por meio de alguma
isometria. Essas isometrias devem ser contnuas e so conhecidas como translaes. Por outro
lado, um objeto isotrpico em torno de um dado ponto se for exatamente o mesmo quando visto
de todas as diferentes direes a partir do referido ponto. Esse tipo de isometria conhecido
como rotao. Se a variedade n-dimensional homognea e isotrpica possuir o nmero
mximo n(n + 1)/2 de vetores de Killing e ser, por definio, maximalmente simtrica.[1]

1.3

Espaos-tempos estticos e estacionrios

Considere a mtrica de Schwarzchild


2m 1 2
2m  2 2 
c dt + 1
dr + r2 (d2 + sin2 d2 )
ds = 1
r
r
2

onde m = Mc2g . Essa mtrica esttica, pois ela no depende do tempo. Agora considere a
mtrica de Lense- Thirring,

2m  2 2 
2m  2
ds2 = 1
c dt + 1
(dx + dy 2 + dz 2 ) + 2i (cdt)dxj
r
r
Essa mtrica estacionaria. Uma definio bvia de um espao-tempo estacionrio que
ele no depende do tempo, ou seja
g,0 = 0
mas isto muito especifico, s vlido para um determinado sistema de coordenadas. No
espao-tempo esttico, alm de ser estacionrio, sua mtrica tem a propriedade de ser diagonal,
g0i = 0
que tambm vlido para um sistema de coordenadas especfico. Para obter as condies que
caracterizam espao-tempo estacionrio e espao-tempo esttico que independam do sistema
de coordenada, vamos utilizar os vetores de Killing.
Suponha um espao-tempo que tenha vetores de Killing do tipo-tempo, ou seja,
K K < 0
podemos escolher um sistema de coordenadas no qual o vetor K = (1, 0), ou seja, K = 0 .
Como K um vetor de Killing ele satisfaz as seguinte relaes:

13

LK g = 0
g K , + g K , + g, K = 0

(1.65)

No sistema de coordenada em que K = 0 , 1.65 fica


g, K = g,0 = 0
assim, uma mtrica estacionria quando tem um vetor de Killing do tipo-tempo. Nesse
sistema de coordenadas o operador relacionado a esse vetor dado por
1
(1.66)
c t
Para encontrar as caractersticas independentes do sistema de coordenadas para uma mtrica
esttica, a condio que alm de ser estacionria, ela tem que ter vetor de Killing do tipotempo que seja ortogonal a hipersuperfcie do tipo-espao.[2][3]
K=

14

Referncias Bibliogrficas
[1] Weinberg, Steven. Gravitation and Cosmology: Principles and Applications of
the General Theory of Relativity. New York: John Wiles & Sons, 1972
[2] Ryder, Lewis. Introduction to General Relativity. Cambridge: University Press, 2009
[3] DInverno, Ray. Introducing Einsteins Relativity. Oxford: Clarendon Press: 1992
[4] Ferrari, Valeria. Gualtieri, Leonardo. Lectures of General Relativity. Department of
Physics, University of Rome "La Sapienza"2011/2012
[5] Herdeiro, Carlos A. R. Notas de Teoria da Relatividade. Departamento de Fsica
Universidade de Aveiro: v1.1 2011/2012

15