Isometrias Do Espaço-Tempo
Isometrias Do Espaço-Tempo
Isometrias Do Espaço-Tempo
Isometrias do Espao-tempo
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
(1.2)
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)
(1.9)
(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)
(1.13)
La g = g a, + g a , + g, a
(1.14)
(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)
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)
(1.24)
La V = a; V + a V;
(1.25)
La g = g a; + g a;
(1.26)
,
x
e =
,
x
A = a e
(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)
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)
(1.37)
h
i
La V = [A, V] = a , y
=0
x y
(1.38)
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
+ 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 )
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)
(1.47)
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)
(1.49)
i = ik xk + ai
(1.50)
(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)
(1.52)
De 1.42, temos:
(1.53)
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
(1.55)
(1.56)
(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()
1
=
sin2
1 ()d + B 0 ()
Z
=
1 ()d + B 0 () + 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)
(1.63)
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 =
,
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 ,
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
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)
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