Documente Academic
Documente Profesional
Documente Cultură
S. C. Ulhoa1,
1
Centro Internacional de Fsica da Materia Condensada,
Universidade de Brasilia, 70910-900, Brasilia, DF, Brazil
O problema do momento angular gravitacional e analisado no contexto do teleparalelismo equiv-
alente a relatividade geral (TEGR na sigla em ingles). Utilizando-se o formalismo Hamiltoniano,
encontra-se o momento angular de uma configuracao arbitraria com simetria axial, quando aplicado
a uma estrela de neutrons, tem-se que o resultado e proporcional ao proprio momento angular da
fonte. O TEGR e descrito em detalhes, no qual se define energia, momento e momento angular grav-
itacionais. O campo de tetradas, que sao as variaveis dinamicas da teoria, tem sua interpretacao
associada a um observador no espaco-tempo.
Physic 8, 2009 11
S. C. Ulhoa
3. FORMULACAO LAGRANGEANA
V a = ea V , (1)
Exigiremos inicialmente que a teoria exiba invariancia
sendo que para isso utilizamos o campo de tetradas ea . local de Lorentz, atraves da introducao de uma conexao
Da mesma forma e possvel projetar um vetor do espaco- de spin ab do grupo SO(3,1) local, e posteriormente va-
tempo tangente V a no espaco-tempo fsico, mos impor que essa conexao seja nula para obtermos uma
densidade de Lagrangeana invariante por transformacoes
globais de Lorentz [10]. As equacoes de campo serao
V = ea V a , (2) obtidas a partir dessa densidade de Lagrangeana.
Quando introduzimos a conexao de spin a condicao
usando o campo de tetradas inverso ea . As quan- de teleparalelismo exige que a derivada covariante da
tidades cujas componentes possuem ndices do espaco- tetrada seja nula, o que pode ser escrito como
tempo fsico se comportam como tensores sob trans-
formacoes de coordenadas, enquanto aquelas cujas com-
ponentes possuem ndices do espaco-tempo tangente sao e a = 0
invariantes por transformacoes de Lorentz. A relacao de
ortogonalidade entre as tetradas pode ser expressa por: ea ea + a b eb = 0 , (5)
A seguir sera discutido como construir um campo de Substituindo essa quantidade na definicao usual do tensor
tetradas em um espaco-tempo plano, claro que neste caso de curvatura obtemos
o espaco-tempo tangente sera o proprio espaco-tempo
fsico. Para isso vamos considerar dois sistemas de co-
ordenadas, q a = (t, x, y, z) no espaco-tempo tangente R () = R (e , ) = ea eb ( a b a b +
e x = (t, r, , ) no espaco-tempo fsico. Os dois sis- + a c c b a c c b ) . (7)
temas estao relacionados pela transformacao de coorde-
nadas dq a = ea dx , com isso o campo de tetradas pode Devemos notar que os termos envolvendo ea se
ser escrito como cancelam de modo que temos a relacao R () =
Physic 8, 2009 12
O teleparalelismo equivalente a relatividade geral e o momento angular gravitacional
1 1 abc 1
Kab = ea eb (T + T + T ) , abc = (T + T bac T cab ) + ( ac T b ab T c ) , (16)
2 4 2
1 e T a = T b b a . As equacoes de campo sao obtidas a partir
ab = ec (abc bac cab ) , (10)
2 de (15), por meio de sua variacao funcional em relacao a
ea e sao dadas por
com abc dado por
b b 1 1
bcd
abc = ea (eb ec ec eb ) . (11) ea eb (e )e a Tb ea Tbcd eTa . =
4 4k
(17)
Devemos notar que ab possui torcao nula. Como abc Tabc e proporcional ao escalar de curvatura
Se usarmos a expressao (9) para calcular o escalar de a menos de uma divergencia total, pode-se mostrar, por
curvatura, que e calculado por meio da contracao dos calculos explcitos, que o lado esquerdo de (17) e propor-
ndices do tensor definido em (7), chegamos a seguinte cional ao tensor de Einstein Ga = ea G . Ou seja
relacao
1
1 abc 1
ea eb (eb ) e b a Tb ea Tbcd bcd =
eR(e, ) = eR(e) + e T Tabc + T abc Tbac T a Ta 4
4 2 1 1
e[Ra (e) ea R(e)] , (18)
2 (eT ) . (12) 2 2
Essa e a relacao fundamental que sera usada para definir- com isso, a seguinte equacao se torna clara
mos a densidade de Lagrangeana no TEGR.
Na formulacao Lagrangeana do TEGR vamos impor 1 1
Ra (e) ea R(e) = Ta . (19)
que a conexao de spin ab seja igual a zero. Com isso o 2 2k
escalar de curvatura, obtido por contracao dos ndices do
tensor em (7), torna-se nulo e a expressao (12) se reduz Isso mostra a equivalencia entre a teoria em questao e a
a relatividade geral, o que justifica o proprio nome da teo-
ria. Essa equivalencia pode ser visualizada quando anal-
isamos a maneira como a relatividade geral e descrita.
Usualmente ela e descrita em termos de um tensor de cur-
1 abc 1 abc
eR(e) e T Tabc + T Tbac T a Ta +2 (eT ) . vatura diferente de zero, e portanto uma teoria essencial-
4 2
(13) mente geometrica, e com o tensor de torcao nulo. Para
Alem disso, a torcao em (8) assume a seguinte forma o teleparalelismo o quadro e oposto, mas absolutamente
equivalente. Tem-se a curvatura construda a partir da
conexao de Cartan nula e a torcao diferente de zero.
a a a
T (e) = e e . (14) As equacoes de campo (17) podem ser reescritas na
forma
Se desprezarmos a divergencia em (13), a densidade de
Lagrangeana para o campo gravitacional no TEGR e 1 a
dada por (ea ) = e e (t + T ) , (20)
4k
Physic 8, 2009 13
S. C. Ulhoa
(eta + eT a ) = 0 , (23)
ai = 4kea0i . (26)
que e uma lei de conservacao local para os tensores de
O surgimento de divergencias totais na forma de den-
energia-momento gravitacional, ta , e dos campos de
sidades escalares ou vetoriais e possvel no contexto de
materia, T a .
teorias contrudas a partir do tensor de torcao, o que nao
e o caso de teorias metricas da gravitacao.
4. FORMULACAO HAMILTONIANA Em termos da definicao (21), podemos escrever:
Z I
Nesta secao faremos uma apresentacao resumida dos d 3 a 0 0
dSj e ea (tj + T j ) ,
d xee (t +T )=
resultados principais estabelecidos nas referencias [13] dt V S
e [2]. Para obtermos a formulacao Hamiltoniana do (27)
TEGR temos que, primeiramente, estabelecer o espaco que representa uma equacao de continuidade para o ten-
de fase da teoria. Como a densidade de Lagrangeana nao sor de energia-momento total t + T . Assim, alter-
contem explicitamente a derivada temporal de ea0 , essa nativamente, podemos reescrever P a de uma forma mais
quantidade surge como um multiplicador de Lagrange. familiar:
O momento canonicamente conjugado a eai e dado por
ai = L/ eai . A formulacao Hamiltoniana (nao explici- Z
tamente covariante) e obtida reescrevendo a densidade Pa = d3 x e ea (t0 + T 0 ) . (28)
de Lagrangeana na forma L = pq H0 , em termos de V
eai , ai e dos multiplicadores de Lagrange. Executando
Entretanto utilizaremos a expressao (25), por motivos
a transformacao de Legendre, chegamos a densidade de
praticos, uma vez que e muito mais facil lidar com (25)
Hamiltoniana [2] na forma
do que (28).
O vnculo ab e
1
H = ea0 C a + ab ab , (24)
2
ab = M ab + 4ke(a0b b0a ) , (29)
onde ab = ba sao multiplicadores de Lagrange. Apos
resolvermos as equacoes de campo identificamos os mul- com M ab = ea eb M = M ba e M definido como
tiplicadores de Lagrange como ik = 1/2(Ti0k + Tk0i ) e
0k = k0 = T00k . Garantimos que a evolucao tempo-
ral de qualquer quantidade e bem definida neste formal- M ik = 2[ik] = ea i ak ea k ai , (30)
ismo quando verificamos que os vnculos C a e ab sao de M 0k = 0k = ea 0 ak . (31)
primeira classe [13].
O vnculo C a e escrito como C a = i ai + ha , onde Assim como interpretamos a equacao C a = 0 como uma
a
h e uma expressao muito complicada das variaveis de equacao que define a energia-momento, a equacao ab =
campo, entretanto nao e necessario explicitar esta ex- 0 define a expressao do momento angular gravitacional.
pressao para interpretarmos o vnculo C a como definicao Ao analisarmos as dimensoes desse vnculo, vemos que
Physic 8, 2009 14
O teleparalelismo equivalente a relatividade geral e o momento angular gravitacional
essa quantidade fsica tem que estar relacionada com o onde ab e o tensor de aceleracoes antissimetrico.
momento angular. Seguindo o que e apresentado em [1719], em analogia
Portanto de maneira analoga a definicao de P a [11], a ao tensor de Faraday podemos identificar ab (a, ),
forma integral da equacao de vnculo ab = 0 motiva a onde a e a aceleracao translacional ((0)(i) = a(i) ) e e
definicao da densidade do 4-momento angular do espaco- a frequencia de rotacao de um sistema de referencia em
tempo: relacao a outro que nao esta em rotacao (transporte de
Fermi-Walker [16]).
Podemos inverter a relacao (34), o que gera
M ab = 4ke(a0b b0a ) . (32)
Dea
e que, portanto, define a b = e b = e b u e a , (35)
ds
Z onde a derivada covariante e escrita em termos dos
Lab = d3 x ea eb M , (33) smbolos de Christoffel. Lembrando que esta conexao
V se relaciona com a conexao de spin definida em (9) por
meio de (5), temos, quando a substitumos na expressao
como o quadri-momento angular do campo gravitacional
acima, a forma de ab
[2]. Essa expressao e invariante sob transformacoes de
coordenadas do espaco tridimensional.
1
ab = [T(0)ab + Ta(0)b Tb(0)a ] . (36)
2
5. INTERPRETACAO DO CAMPO DE
TETRADAS Interpretamos ab como a aceleracao inercial ao longo de
x (s).
As invariancias exibidas pela Lagrangeana (15) sao
responsaveis pela interpretacao do campo de tetradas 6. O MOMENTO ANGULAR DE UM SISTEMA
como sistemas de referencia. Ou seja, a invariancia da COM SIMETRIA AXIAL
teoria por transformacoes globais SO(3,1) estabelece que
dois campos de tetradas que (i) sao solucoes das equacoes Quando a simetria esferica e quebrada por uma
de campo, (ii) produzem o mesmo tensor metrico e (iii) rotacao, temos uma simetria axial. Esse tipo de sime-
nao se relacionam por nenhuma transformacao global de tria engloba um grande numero de configuracoes, de
Lorentz, descrevem dois sistemas de referencia diferentes. uma massa em rotacao, passando por quasares, sistemas
Assim podemos adotar o significado fsico desses objetos binarios, aglomerados de galaxias, ate o buraco negro
como sendo sistemas de referencia adaptados a obser- de Kerr. E bom ressaltar que para o caso de Kerr
vadores ideais de massa nula no espaco-tempo. a singularidade da configuracao nao permite conclusoes
Cada conjunto de tetradas define uma classe de sis- inequvocas, uma vez que estaremos lidando com um
temas de referencia [15]. Se denotamos por x (s) a observador estatico e sabemos que na regiao conhecida
linha mundo C de um observador no espaco-tempo, e como ergoesfera nao e possvel existir tal situacao.
por u (s) = dx /ds sua velocidade ao longo de C, pode- O tensor metrico mais geral para uma simetria axial
mos fazer a identificacao da velocidade do observador [20] e dado por
com a componente a = (0) de ea [16]. A aceleracao
do observador e dado por a = Du /ds = De(0) /ds =
u e(0) , onde a derivada covariante e escrita em ter- ds2 = g00 dt2 +2g03 ddt+g11 dr2 +g22 d2 +g33 d2 , (37)
mos dos smbolos de Christoffel.
Vemos, entao, que ea determina a velocidade e a sendo todas as componentes do tensor metrico depen-
aceleracao, ao longo de uma linha mundo, de um obser- dentes de r e .
vador adaptado a um sistema de referencia. Deste ponto Com a finalidade de calcular o momento angular para
de vista, conclumos que um conjunto de tetradas, para essa configuracao temos que calcular o tensor metrico
os quais e(0) descreve uma congruencia de curvas do contravariante. Fazendo isso temos
tipo tempo, e adaptado a uma classe de observadores. A
ttulo de comparacao, devemos lembrar que se ea a
g33 g03
0 0
no limite r , entao ea e adaptado a observadores 0 1
0 0
g g11
estaticos no infinito espacial. = 1
, (38)
0 0 0
Podemos generalizar a nocao de aceleracao no espaco- g03
g22
tempo por meio da derivada absoluta da tetrada, ou seja 0 0 g00
Physic 8, 2009 15
S. C. Ulhoa
A. Observador Estatico Devemos notar que, de modo analogo ao que e feito nas
referencias [22] e [23], o comportamento assintotico da
metrica determina se o momento angular e bem definido,
Um observador estatico e caracterizado por um campo especialmente o comportamento das componentes g00 e
de velocidade do tipo u = (u0 , 0, 0, 0) ao longo de uma g03 , as quais estao intimamente relacionadas as funcoes
linha mundo C. Uma vez que fazemos a identificacao lapso e shift. Ou seja, se o tensor metrico tiver o com-
u = e(0) podemos concluir que para observadores portamento assintotico
estaticos a condicao e(0) k = 0 deve ser satisfeita, claro g03
= O(1/r) + ...
que dessa condicao temos e(i) 0 = 0, conforme foi anal- g22
= r2 + O(r) + ...
isado no captulo anterior. Escolhendo um observador
g00 = 1 + O(1/r) + ... , (44)
estatico adaptado a esse sistema, temos
entao o momento angular espacial L(1)(2) sera bem
0
A 0 0 B
1 definido. As expressoes em (43) constituem um dos resul-
ea = @
B 0 g sin cos
11
g cos cos C sin sin C
22 , tados mais importantes deste artigo, pois sao expressoes
0 g11 sin sin g22 cos sin C sin cos A
0
g11 cos
g22 sin 0 que nao dependem do sistema de coordenadas.
(39)
onde
1. Estrela de Neutrons:
p
A = (g00 ) , Para uma estrela de neutrons em rotacao aproximada-
g03 mente rgida [24], o tensor metrico e dado pelo elemento
AB = ,
A de linha
1/2
C sin = p . (40)
(g00 ) ds2 = A0 2 dt2 + B 0 2 dr2 + r2 d2 + r2 sin2 (d dt)2 .
(45)
O determinante da tetrada ea e e = g11 g22 . Deve- O comportamento desses parametros, segundo e desen-
mos notar que o campo de tetradas (39) gera a quadri- volvido em [24], e o seguinte:
velocidade e(0) = ( A1 , 0, 0, 0), isso mostra que esse Para r R,
campo de tetradas e realmente adaptado a observadores 1/2 1/2
estaticos. 3 8 2 1 8 2
A0 = 1 R 1 r ,
Com isso, apos uma serie de manipulacoes tediosas mas 2 3 2 3
simples, verificamos que a expressao para M (1)(2) pode
8 2
1
02
ser escrita como B = 1 r ,
3
r 2 r 4
= (0) 1 b b , (46)
(1)(2) g03 g22 sin g03 g11 cos R R
M = 2k 1 p +2 p .
(g00 ) (g00 )
para r R,
(41)
Para M (0)(3) temos 02 2m(R)
A = 1 ,
r
1/2 1/2 1
g22 cos
g11 sin
2m(R)
M (0)(3) = 2k 1 2 . B0 2 = 1 ,
p p r
(g00 ) (g00 )
(42) = 2Jr3 , (47)
As outras componentes de M ab vao gerar componentes onde R e o raio da estrela, e a velocidade de obser-
do momento angular iguais a zero, porque a sua de- vadores inerciais ao longo do eixo de rotacao, e a den-
pendencia em relacao a e dado por um sin , um cos , sidade (uniforme) da estrela e J e o momento angular da
ou um produto de ambos. Isso sera nulo quando inte- estrela. A quantidade b e definida por b = 3/(5 + 7 ),
grarmos sobre essa variavel. onde e um parametro livre.
Finalmente, integrando M ab , as componentes do mo- Para calcular L(0)(3) vamos utilizar a primeira ex-
mento angular Lab sao pressao de (43). Lembrando que 1/2 = A0 r sin ,
1/2 g00 = (A0 2 2 r2 sin2 )1/2 , g22 = r e r3 = 2J,
g22 cos
I
L(0)(3) = 2k dd p , entao
S (g00 )
g03 g22 sin A0 r2 sin cos
I Z
(1)(2) (0)(3)
L = 2k dd p . (43) L = 4k lim d , (48)
S (g00 ) r 0 (A0 2 2J sin2 /r)1/2
Physic 8, 2009 16
O teleparalelismo equivalente a relatividade geral e o momento angular gravitacional
uma vez que o denominador da expressao acima tende por transformacoes de coordenadas no espaco tridimen-
(0)(3)
Ra 1 com r , claro que L e zero, pois sional, pois sao projetadas no espaco tangente. Uma
0
d sin cos = 0. caracterstica compartilhada pela nossa expressao de mo-
Vamos usar a segunda expressao de (43) ecalcular mento angular e as expressoes da Mecanica Classica e a
L(1)(2) . Considerando que g03 = r2 sin2 g00 = dependencia do sistema de referencia, o que nao e in-
(A0 2 2 r2 sin2 )1/2 , g22 = r e r3 = 2J, entao consistente com a interpretacao fsica de referencial e
nem com o princpio da equivalencia. Analisamos as
Z condicoes necessarias para que o momento angular seja
r3 sin3 bem definido e estabelecemos qual deve ser o comporta-
L(1)(2) = 4k lim d 0 2 =
r 0 (A 2J sin2 /r)1/2 mento assintotico do tensor metrico para que isso ocorra.
Z Aplicamos a nossa expressao para uma configuracao com
= 8kJ d sin3 . (49) simetria axial em relacao a um observador estatico e veri-
0
ficamos que o resultado e coerente pois a nossa expressao
R tem dimensao de momento angular e e dada, no caso
Assim, considerando que 0 d sin3 = 4
3, o momento
angular gravitacional resulta em especfico de uma estrela de neutrons em rotacao, em
termos do momento angular da fonte. Portanto vemos
2 que as dificuldades encontradas na formulacao metrica
L(1)(2) = J. (50)
3 da relatividade geral nao sao compartilhadas pelo for-
malismo que usamos e conclumos que para entendermos
1
Onde substitumos o valor k = 16 . Deste modo, o mo- as caractersticas de um sistema gravitacional, basta fo-
mento angular do campo e dado em termos do momento carmos nas simetrias do sistema. Esse poder do TEGR
angular da fonte. em sua formulacao Hamiltoniana e evidenciado pelo que
expomos neste trabalho.
7. CONCLUSAO
[1] J. W. Maluf, J. F. da Rocha-Neto, T. M. L. Torbio, and [13] J. W. Maluf and J. F. da Rocha-Neto, Phys. Rev. D 64,
K. H. Castello-Branco, Phys. Rev. D 65, 124001 (2002). 084014 (2001).
[2] J. W. Maluf, S. C. Ulhoa, F. F. Faria, and J. F. da Rocha- [14] R. Arnowitt, S. Deser, and C. Misner, in Gravitation: An
Neto, Classical and Quantum Gravity 23, 6245 (2006), Introduction to Current Research, edited by L. Witten
URL http://stacks.iop.org/0264-9381/23/6245. (Wiley, New York, U.S.A., 1962), pp. 227265.
[3] J. D. Brown and J. W. York, Phys. Rev. D 47, 1407 [15] J. W. Maluf, M. V. O. Veiga, and J. F. da Rocha-Neto,
(1993). Gen. Rel. Grav. 39, 227 (2007), gr-qc/0507122.
[4] A. Komar, Phys. Rev. 113, 934 (1959). [16] F. W. Hehl, J. Lemke, and E. W. Mielke, in Geometry
[5] J. M. Aguirregabiria, A. Chamorro, and K. S. Virbhadra, and Theoretical Physics, edited by J. Debrus and A. C.
Gen. Rel. Grav. 28, 1393 (1996), gr-qc/9501002. Hirshfeld (Springer, Berlim, 1991).
[6] L. B. Szabados, Living Reviews in Relativity 7 (2004), [17] B. Mashhoon and U. Muench, Annalen Phys. 11, 532
URL http://www.livingreviews.org/lrr-2004-4. (2002), gr-qc/0206082.
[7] T. Regge and C. Teitelboim, Annals of Physics [18] B. Mashhoon, Annalen Phys. 12, 586 (2003), hep-
88, 286 (1974), URL http://www.sciencedirect. th/0309124.
com/science/article/B6WB1-4DDR5WY-19V/2/ [19] J. W. Maluf, F. F. Faria, and S. C. Ulhoa, Class. Quant.
0002487b1bdb9c911ea323200b7aebee. Grav. 24, 2743 (2007), 0704.0986.
[8] C. Moller, in Evidence for Gravitational Theories, edited [20] N. K. Glendenning, Compact Stars (Springer, New York,
by C. Mller (1961), p. 252. 2000), 2nd ed.
[9] A. Einstein, Math. Annal. 102, 685 (1930). [21] J. W. Maluf and S. C. Ulhoa (2008), 0810.1934.
[10] J. W. Maluf, Physical Review D 67, 108501 [22] R. Beig and N. o Murchadha, Annals of Physics
(2003), URL http://www.citebase.org/abstract?id= 174, 463 (1987), URL http://www.sciencedirect.
oai:arXiv.org:gr-qc/0304005. com/science/article/B6WB1-4DDR713-1MP/2/
[11] J. W. Maluf, Annalen Phys. 14, 723 (2005), gr- 9617f825a9082a0320d6f34b827e85e1.
qc/0504077. [23] L. B. Szabados, Classical and Quantum Gravity 20,
[12] S. V. Babak and L. P. Grishchuk, Phys. Rev. D 61, 2627 (2003), URL http://stacks.iop.org/0264-9381/
024038 (1999). 20/2627.
Physic 8, 2009 17
S. C. Ulhoa
[24] R. C. Adams, J. M. Cohen, R. J. Adler, and C. Sheffield, [26] V. C. de Andrade, L. C. T. Guillen, and J. G. Pereira,
The Astrophysical Journal 192, 525 (1974). Phys. Rev. Lett. 84, 4533 (2000).
[25] J. W. Maluf and F. F. Faria, Annalen Phys. 13, 604
(2004), gr-qc/0405142.
Physic 8, 2009 18