MarinielSouzaGalvãoJr. 2016 Trabalhopdf PDF

Mariniel Souza Galvão Junior
Gravitação Canônica no Formalismo

Simplético
Vitória - ES
2016
Mariniel Souza Galvão Junior
Gravitação Canônica no Formalismo

Simplético
Dissertação submetida ao programa de

pós-graduação em Física da Universi-
dade Federal do Espírito Santo como re-
quisito parcial para a obtenção do título
de Mestre em Física.
Orientador: Davi C. Rodrigues
Vitória - ES
2016
Aluno, Nome C.
Gravitação Canônica no Formalismo Simplético
76 páginas
Dissertação (Mestrado) - Centro de Ciências Exatas
da Universidade Federal do Espírito Santo. Departamento
de Física.
1. Relatividade Geral
2. Formalismo Hamiltoniano
3. Sistemas Vinculados
4. Gravitação Modificada
I. Universidade Federal do Espírito Santo. Centro de Ciên-

cias Exatas. Departamento de Física.
Comissão Julgadora:
Prof. Dr. Prof. Dr.

Galen Mihaylov Sotkov José Alexandre Nogueira
Prof. Dr. Prof. Dr.

Júlio César Fabris Nelson Pinto Neto
Prof. Dr.
Davi Cabral Rodrigues (Orientador)
Dedico este trabalho à memória de meus avós Dona Biu e Zé Pereira
Agradecimentos
Ao meu orientador, Prof. Davi Rodrigues, pelo enorme apoio no trabalho e por ser o prin-
cipal responsáveis por minha formação acadêmica durante os dois últimos anos;
Ao meu colega Álefe de Almeida, pelas frutíferas discussões;
Meus sinceros agradecimentos à minha família: minha esposa Silvia pelo suporte e com-
preensão ao longo destes últimos dois anos, meus filhos, Frederico e José Pedro, minha mãe,
Silvânia e meu pai, Mariniel, por serem meu porto seguro e minha razão de viver;
Aos meus queridos amigos e colegas de pós-graduação Felipe, Taís, Michael, Eddy, Dênis,
Igor, Carla, Pedro e Cássio, pela companhia nos momentos difíceis e alegres;
Ao querido e sempre solícito secretário da pós-graduação, José Carlos.

Resumo
O formalismo hamiltoniano em teorias de gravitação, também conhecido por formalismo
ADM, é utilizado em uma ampla gama de aplicações, indo desde a obtenção de soluções nu-
méricas até a busca por teorias de gravidade quântica. A despeito de várias particularidades
não triviais e típicas da Relatividade Geral, é sabido que o formalismo ADM pode ser enten-
dido a partir do formalismo de Dirac de tratamento de sistemas vinculados. Neste traba-
lho é apresentada uma revisão do método de Dirac, uma revisão do método simplético, que
constitui outro método de análise Hamiltoniana, uma revisão do formalismo ADM e, por fim,
apresentamos um novo desenvolvimento do formalismo ADM a partir do método simplético.
Aplicações para a Relatividade Geral e Brans-Dicke são aqui apresentadas em detalhes.
Palavras-chave: Relatividade Geral, Formalismo Hamiltoniano, Sistemas Vinculados, Gravi-
tação Modificada
Abstract
The Hamiltonian formalism in theories of gravitation, also known as ADM formalism, is used
in a wide variety of aplications, from obtaining numerical solutions to searching quantum
gravity theories. Despite various non-trivial and typical particularities of General Relativity, it
is known that the ADM formalism may be understood from Dirac’s treatment of constrained
systems. In this work is presented a review of Dirac’s method, a review of the symplectic
method, which constitutes another method of Hamiltonian function analysis, a review of the
ADM formalism and, finally, we present a new development of the ADM formalism from the
symplectic method. Aplications for General Relativity and Brans-Dicke are presented here in
details.
Keywords: General Relativity, Hamiltonian Formalism, Constrained Systems, Modified Grav-
ity
Sumário
1 Introdução 1
2 Sistemas Hamiltonianos Vinculados 3
2.1 Introdução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Formalismos Lagrangiano e Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Vínculos Primários . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3.1 Equações Fortes e Fracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.2 Parênteses de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4 Condições de Consistência e Algoritmo de Dirac-Bergman . . . . . . . . . . . . 7
2.4.1 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 Vínculos de Primeira e Segunda Classes . . . . . . . . . . . . . . . . . . . . . . . 12
2.5.1 Vínculos de Primeira Classe como Geradores de Transformações de Ca-
libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3 Geometria de Sistemas Hamiltonianos Vinculadas 14
3.1 Introdução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2 Estruturas Simpléticas em uma Variedade . . . . . . . . . . . . . . . . . . . . . . 14
3.2.1 Variedade Diferenciável . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2.2 Espaço Tangente, Diferencial e Espaço Cotangente . . . . . . . . . . . . . 15
3.2.3 Formas Diferenciáveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2.4 Variedades Simpléticas e Teorema de Darboux . . . . . . . . . . . . . . . 16
3.3 Formalismo Simplético . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3.1 Formalismo de Faddeev-Jackiw . . . . . . . . . . . . . . . . . . . . . . . . 18
3.3.2 Algoritmo de Barcelos-Neto e Wotzasek . . . . . . . . . . . . . . . . . . . 19

3.3.3 Simetrias de Calibre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3.4 Contagem dos Graus de Liberdade . . . . . . . . . . . . . . . . . . . . . . 23
3.3.5 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4 Formalismo ADM da Gravitação 31
4.1 Introdução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Geometria de Hiperssuperfícies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2.1 Foliação do Espaço-Tempo . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2.2 Derivadas Temporais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2.3 Curvaturas Intrínseca e Extrínseca . . . . . . . . . . . . . . . . . . . . . . 33
4.2.4 Decomposição da Métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3 Relações de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3.1 Relações de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3.2 Relações de Codazzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3.3 A Relação de Ricci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3.4 Escalar de Curvatura no Formalismo ADM . . . . . . . . . . . . . . . . . 42
5 Gravitações Canônicas no Formalismo Simplético 44
5.1 Teoria da Relatividade Geral Canônica . . . . . . . . . . . . . . . . . . . . . . . . 44
5.2 Teoria Canônica da Gravitação de Brans-Dicke . . . . . . . . . . . . . . . . . . . 53
6 Considerações Finais 65
A Transformação de Coordenadas em Relatividade Geral Canônica no Método de Di-
rac 67
Referências Bibliográficas 72
Capítulo 1
Introdução
A “irracional eficácia da matemática nas ciências naturais” [1] tem fascinado e gui-
ado os físicos por séculos, acabando por tornar o desenvolvimento de descrições formais não
apenas desejável do ponto de vista da elegância e beleza intrínsecas, mas também necessário
para a evolução do conhecimento científico. Tomemos o exemplo das coordenadas generali-
zadas na descrição lagrangiana que podem ser convenientemente selecionadas para explorar
(e investigar!) as simetrias de um sistema e a geometria de seus vínculos [2]. Ou o formalismo
da mecânica quântica que através de espaços de Hilbert levou, por exemplo, ao enunciado do
importante axioma onde se diz que valores físicos observáveis como energia e momento não
podem ser considerados funções no espaço de fase, mas autovalores associados a uma fun-
ção de estado [3]. Enfim, é impossível exagerar a importância da perspectiva certa na física.
Neste trabalho motivações semelhantes nos levaram a investigar que informações diferentes
o formalismo simplético pode fornecer sobre teorias de gravitação canônicas.
Como sabido, um sistema físico pode ser descrito através de sua função hamiltoniana, por
sua vez dada por uma transformação de Legendre de sua lagrangiana. A evolução de um sis-
tema hamiltoniano é dada pelos parênteses de Poisson entre as variáveis que compõem seu
espaço de fase. Em alguns casos não é possível estabelecer a dinâmica diretamente através
do uso de parênteses de Poisson, esses são os chamados sistemas vinculados e uma estru-
tura adicional deve ser desenvolvida. Para lidar com essa situação Dirac, Anderson e Berg-
mann [4, 5] desenvolveram um método de manipular uma dada teoria e reduzir seu espaço
de fase a uma dimensão igual ao de seus graus de liberdade, obtendo equações que fornecem
a evolução de observáveis físicos sem ambiguidades.
Faddeev e Jackiw [6, 7] por sua vez desenvolveram um método para lidar diretamente
com a lagrangiana de uma teoria obtendo as equações de movimento mesmo para o caso
2
de teorias com lagrangiana singular, para isso utilizam o teorema de Darboux de modo a
transformar o conjunto de variáveis de um problema em um conjunto de variáveis canôni-
cas independentes, à parte duma transformação de calibre. Embora esse seja um resultado
teórico importante, frequentemente é muito difícil descobrir qual a transformação que deixa
o problema solucionável. Um algoritmo inspirado no formalismo simplético de Faddeev-
Jackiw foi especialmente desenvolvido por Barcelos Neto, Wotzasek [8–10] no qual o conhe-
cimento da transformação de Darboux é desnecessário. No método FJ com algoritmo BW
a lagrangiana é reescrita em termos do conjunto de variáveis estrategicamente definidas e
um algoritmo é aplicado para encontrar os vínculos da teoria, bem como suas equações de
movimento.
O método FJ com algoritmo BW foi utilizado na obtenção de resultados para uma am-
pla gama de problemas teóricos [8–17]. Serviu também de base para extensões de outros
métodos ou como princípio para gerar extensões de modelos conhecidos [13, 18–22]. A apli-
cação do método num contexto de gravitação é recente [23, 24] e ainda incompleta. Bus-
camos neste trabalho justamente desenvolver esta aplicação. Nesta dissertação aplicamos o
método simplético na teoria da Relatividade Geral e na teoria de gravitação de Brans-Dicke,
estudando suas consequências.
A dissertação foi estruturada em seis capítulos. O Capítulo 2 trata do formalismo de Di-
rac para sistemas vinculados, os principais conceitos e métodos são apresentados e discu-
tidos. No Capítulo 3 é apresentado o formalismo simplético e sua descrição geométrica de
sistemas físicos. O Capítulo 4 desenvolve o formalismo de foliações para geometria rieman-
niana e as quantidades geométricas pertinentes são deduzidas em detalhes. No Capítulo 5
são resolvidos os problemas de encontrar os vínculos e as simetrias de calibre das teorias
de Relatividade Geral e Brans-Dicke, além da contagem dos graus de liberdade. Por fim, o
último capítulo traz um resumo do que foi obtido juntamente com perspectivas adicionais
decorrentes do trabalho realizado.
Capítulo 2
Sistemas Hamiltonianos Vinculados
2.1 Introdução
Podemos brevemente definir uma teoria de calibre como aquela em que as variáveis di-
nâmicas possuem uma arbitrariedade contínua no espaço-tempo. As variáveis fisicamente
relevantes são independentes da escolha de um referencial local, desse modo, as grandezas
físicas são as invariante de calibre. Isto é, são grandezas que têm uma realidade independente
da escolha de calibre.
O método comumente usado para o tratamento de teorias de calibre recorre à formulação
hamiltoniana. Partindo do formalismo lagrangriano, vamos exibir a construção do forma-
lismo hamiltoniano e em seguida mostraremos como são tratados os sistemas que exibem
características de invariância sob determinados aspectos.
Uma propriedade das teorias de calibre é que soluções gerais das equações de movimento
contêm funções arbitrárias. A presença de grandezas arbitrárias, como será apresentado, leva
a relações de dependência entre as grandezas que descrevem a teoria, as relações entre elas
são chamadas de vínculos. Portanto, uma teoria de calibre é sempre um sistema hamiltoni-
ano vinculado. Entretanto o contrário é falso.
A seguir apresentaremos uma revisão baseada em especial nas Refs. [25] e [26].
2.2 Formalismos Lagrangiano e Hamiltoniano
Considere um sistema com n graus de liberdade — as coordenadas generalizadas q i —

com um parâmetro t fornecendo a evolução da trajetória no espaço de configuração. As
equações que descrevem a evolução dinâmica desse sistema são aquelas que fazem o fun-
4 2.3. Vínculos Primários
cional
Z t2
S[q(t)] = L(q,q̇,t)dt , (2.1)
t1
chamado ação, estacionário sob variações δq i (t) das coordenadas generalizadas q i (i = 1, . . . , N ),

tomado a zero no contorno t1 , t2 . A função L(q,q̇,t) é a lagrangiana do sistema.
A ação é estacionária se satisfaz as equações de Euler-Lagrange

d ∂L ∂L
− = 0, i = 1, . . . , N. (2.2)
dt ∂ q̇ i ∂q i
As equações (2.2) podem ser escritas como
∂2L ∂L 2
j ∂ L
q̈ j = − q̇ . (2.3)
∂ q̇ j ∂ q̇ i ∂q i ∂q j ∂ q̇ i
Imediatamente vemos de (2.3) que as acelerações q̈ i são determinadas unicamente em

função das velocidades e posições em um dado tempo se, e somente se, a matriz ∂ 2 L/∂ q̇ j ∂ q̇ i
pode ser invertida, ou seja, se o determinante
∂2L

det := |Wij | (2.4)
∂ q̇ j ∂ q̇ i
é não nulo. A matriz Wij é chamada de matriz hessiana. Se o determinante da matriz hessiana
é zero, ela é dita singular, caso contrário a matriz hessiana é dita não singular.
2.3 Vínculos Primários
Para tratar o problema sob o formalismo hamiltoniano primeiro definimos o momento

canônico pi (q j ,q̇ k ) por
∂L
pi = . (2.5)
∂ q̇ i
Utilizando essa relação na equação (2.4) temos Wij = ∂pi /∂ q̇ j . Consequentemente, se a ma-
triz hessiana for singular, as equações das velocidades não podem ser resolvidas em termos
das coordenadas e dos momentos canônicos porque não constituem um conjunto de equa-
ções independentes. Por exemplo, se tivermos uma lagrangiana L = L[q,q̇] tal que p = f (q),
temos que W = 0 e não existe q̇(p).
Em geral temos relações entre as coordenadas e os momentos do tipo
φm (q,p) = 0, m = 1, . . . , M. (2.6)
Supondo que as M relações acima sejam independentes entre si, temos que N − M é o posto
da matriz hessiana de ordem N . As relações (2.6) são chamados de vínculos primários.
Considere a hamiltoniana canônica, definida a partir da transformação de Legendre,
H = pi (q,q̇)q̇ i − L(q,q̇). (2.7)
Quando existem vínculos primários se faz necessário incorporá-los na hamiltoniana de

modo a descrever o sistema vinculado, o que é obtido através da inserção dos vínculos por
meio da técnica dos multiplicadores de Lagrange, ficando assim definida a hamiltoniana total
HT ≡ H + λ m φ m . (2.8)
Utilizando o princípio variacional
Z t2 Z t2
i
δ (pi q̇ − HT )dt = δ (pi q̇ i − H − λm φm )dt = 0 (2.9)
t1 t1
obtemos as equações de Hamilton
∂H ∂φm
q̇ i = + λm , (2.10a)
∂pi ∂pi
∂H ∂φm
ṗi = − − λm i , (2.10b)
δq i ∂q
com as condições (2.6).
2.3.1 Equações Fortes e Fracas
Os vínculos (2.6) determinam uma superfície de dimensão 2N - M no espaço de fase (de

dimensão 2N), esta é a superfície de vínculos primários (Γ).
É útil e comum introduzir o símbolo de igualdade fraca “≈” para designar quantidades
que se anulam em Γ. Em particular, todos os vínculos primários se anulam em Γ. Logo,
podemos reescrever (2.6) como
φm ≈ 0 (2.11)
para enfatizar que a quantidade φm é numericamente restrita a valer zero, mas não identica-
mente zero em todo o espaço de fase.
De modo geral, duas funções F e G coincidentes na subvariedade definida pelos vínculos
φm ≈ 0 são ditas fracamente iguais. Por outro lado, se a igualdade existe em todo o espaço de
fase, dizemos que as duas funções são fortemente iguais e utilizamos o símbolo de igualdade
usual. Logo
F ≈ G ⇔ F − G = λm (q,p)φm . (2.12)
2.3.2 Parênteses de Poisson
Os parênteses de Poisson têm um papel importante no formalismo hamiltoniano, por

exemplo, são utilizados nas equações de movimento de Hamilton e na classificação dos vín-
culos, como veremos adiante.
Definição 1. Seja um espaço de fase definido pelos eixos coordenados (q i ,pi ), dadas duas fun-
ções f (q,p) e g(q,p), o Parêntese de Poisson entre f e g é definido por
n
X ∂f ∂g ∂f ∂g
{f,g} ≡ − (2.13)
∂q i ∂pi ∂pi ∂q i
i=1
para um sistema com um número finito de graus de liberdade.
Os parênteses de Poisson têm as seguintes propriedades:
1. Antissimetria: {f,g} = - {g,f} .
2. Linearidade: {f + g, h} = {f,h} + {g,h} .
3. Regra de Leibniz: {fg,h} = f{g,h} + {f,h}g .
4. Identidade de Jacobi: {f,{g,h}} + {g,{h,f}} + {h,{f,g}} .
Com a notação de igualdade fraca e a ajuda dos parênteses de Poisson podemos reescre-
ver as equações de movimento de Hamilton (2.10) como
q̇ i ≈ {q i ,HT }, ṗi ≈ {pi ,HT }, (2.14)
e para uma função arbitrária do espaço de fase F (q i ,pj )
Ḟ ≈ {F,HT }, (2.15)
donde podemos ver que o hamiltoniano total gera — no sentido de realizar a operação parên-
teses de Poisson com o hamiltoniano como argumento — a evolução temporal das variáveis
no espaço de fase.
7 2.4. Condições de Consistência e Algoritmo de Dirac-Bergman
2.4 Condições de Consistência e Algoritmo de Dirac-Bergman
Os vínculos primários φm devem ser preservados com a passagem do tempo, isto é, é ne-
cesário exigir que φ̇m ≈ 0 por questão de consistência. Utilizando a equação (2.15) podemos
expressar essa exigência por
0
{φm ,H} + λm {φm ,φm0 } ≈ 0, (2.16)
chamada de condição de consistência. Dirac desenvolveu um algoritmo para resolver a equa-

ção (2.16) e obter um conjunto correto de equações de movimento para qualquer sistema
vinculado [27]. Vamos agora apresentar esse algoritmo.
Na solução das equações de condição de consistência podem ocorrer três casos distintos:
Caso (i). As condições de consistência são identicamente satisfeitas. Nesse caso os φm são
os únicos vínculos da teoria e os multiplicadores são arbitrários, ou seja, as equações
de movimento têm funções arbitrárias dependentes do tempo. Esses vínculos geram
transformações de calibre.
Caso (ii). As condições de consistência determinam univocamente os multiplicadores de La-

grange. Nesse caso os vínculos podem todos ser escritos como uma combinação linear
um dos outros. Isso ocorre se os parênteses de Poisson entre os vínculos são todos fra-
camente diferentes de zero, ou ainda, se
det ||{φm , φm0 }|| 6≈ 0. (2.17)
0
Seja ||C mm || a inversa de ||{φm , φm0 }||, nesse caso
00
C mm {φm00 ,φm0 } = δm
m
0. (2.18)
Então, das condições de consistência (2.16), temos
0
λm ≈ C mm {φm0 , H}, (2.19)
portanto, para uma função qualquer F (q,p),
0
Ḟ ≈ {F,H} − {F,φm }C mm {φm0 ,H}. (2.20)
Oportunamente, definimos os parênteses de Dirac.
Definição 2. Seja um espaço de fase definido pelos eixos coordenados (q i ,pi ), dadas duas fun-
ções F (q,p) e G(q,p), o Parêntese de Dirac entre F e G é definido por
0
{F,G}∗ ≡ {F,G} − {F,φm }C mm {φm0 ,G}. (2.21)
Os parênteses de Dirac tem as mesmas propriedades dos parênteses de Poisson.

A equação de movimento para uma função F qualquer pode ser escrita como
Ḟ = {F,H}∗ . (2.22)
Com o sinal de igualdade forte, já que os parênteses de Dirac entre os vínculos e uma função
qualquer são nulos,
0 00 0
{F,φm }∗ = {F,φm } − {F,φm0 }C m m {φm00 ,φm } = {F,φm } − {F,φm0 }δm
m
= 0. (2.23)
E por último temos o
Caso (iii). As condições de consistência geram novos vínculos
χs (q,p) = 0, s = 1, . . . , S. (2.24)
Os vínculos gerados dessa maneira são chamados de vínculos secundários. Nesse caso, a
partir de então, os vínculos secundários devem ser tratados da mesma forma como foi feito
com os vínculos primários, podendo recair nos casos (i), (ii), ou (iii), sendo que, caso ocorra
o terceiro caso, o procedimento deve ser repetido, de forma que após um número finito de
iterações ficamos com o conjunto de todos os vínculos secundários
φk (q,p) ≈ 0 , k = M + 1, . . . , M + K, (2.25)
onde K é o número total de vínculos secundários. A distinção entre vínculos primários e

secundários é meramente formal, sem qualquer implicação física, portanto podemos sim-
plesmente escrever
φj (q,p) ≈ 0, , j = 1, . . . , M + K = J. (2.26)
Finalmente, temos que as condições de consistência finais são
{φj ,H} + λm {φj ,φm } ≈ 0 . (2.27)
A solução geral do sistema de J equações para as M ≤ J incógnitas λm é da forma
λm = U m + v a V(a)
m
, (2.28)
onde os coeficientes v a são inteiramente arbitrários, U m é uma solução particular das equa-
ções não-homogêneas (2.27)
{φj ,φm }U m ≈ −{φj ,H} (2.29)
m,
e V(a) a = 1, . . . , A, são as soluções das equações homogêneas
m
{φj ,φm }V(a) ≈ 0. (2.30)
A hamiltoniana total deve ser escrita com todos os vínculos, ou seja,
HT = H + U m φm + v a V(a)
m
φm (2.31)
e as equações de movimento podem ser escritas como
Ḟ ≈ {F,HT }. (2.32)
Essas funções contêm A funções arbitrárias v a e são equivalentes as equações de movimento

de Euler-Lagrange (2.2).
2.4.1 Exemplos
Agora vamos ilustrar os resultados acima através de dois exemplos.
Exemplo 1. Encontrar os vínculos e classificá-los, encontrar as equações de movimento e mos-

trar que são idênticas às obtidas pelas equações de Euler-Lagrange.
1
L = [ṙ2 + r2 (θ̇ − ξ)2 ] − V (r) (2.33)
2
Solução.
Os momentos conjugados às coordenadas são
∂L ∂L ∂L
pr = = ṙ ; pθ = = r2 (θ̇ − ξ) ; pξ = = 0. (2.34)
∂ ṙ ∂ θ̇ ∂ ξ˙
De onde lemos o vínculo primário

φ1 ≡ pξ ≈ 0. (2.35)
Da equação (2.7) temos que o hamiltoniano é
p2r p2
H= + θ2 + pθ ξ + V (r). (2.36)
2 2r
Da condição de consistência (2.16) temos
∂φ1 ∂H
φ˙1 = {φ,H} + λ1 {φ1 ,φ1 } = − = −pθ ≈ 0. (2.37)
∂pξ ∂ξ
E obtemos então o vínculo secundário
φ2 ≡ −pθ ≈ 0. (2.38)
Novos vínculos não mais podem ser gerados, já que φ̇2 = {φ2 ,H} + λ2 {φ1 ,φ2 } = 0 , iden-
ticamente.
A partir daí, utilizando (2.32) obtemos as equações de movimento
ṗr ≈ {pr ,HT } ≈ {pr ,H + λ1 pξ − λ2 pθ }, (2.39)
∂V
⇒ ṗr = − ; (2.40)
∂r
Procedendo do mesmo modo obtemos
ṙ = pr ; ṗθ = 0; θ̇ = ξ − λ2 ; ṗξ = 0; ξ˙ = λ1 . (2.41)
Através das equações de Euler-Lagrange (2.2) obtemos as equações de movimento sem

recorrer à hamiltoniana
d ∂L ∂L
− = 0, (2.42)
dt ∂ ṙ ∂r
E também obtemos
∂V
⇒ r̈ − r(θ − ξ)2 + = 0; (2.43)
∂r
ṙ(θ̇ − ξ) = 0; ˙ =0.
2ṙ(θ̇ − ξ) + 2r(θ̈ − ξ) (2.44)
Resolvendo as equações diferenciais obtemos que as equações de movimento dos dois

diferentes métodos fornecem resultados idênticos.
Exemplo 2. Dada a lagrangiana abaixo, encontrar os vínculos e classificá-los, encontrar as

equações de movimento e resolvê-las.
1 1
L = q̇12 + q2 q̇1 + q1 q̇2 + (q1 − q2 )2 (2.45)
2 2
Solução.
Os momentos conjugados às coordenadas são
p1 = q̇1 + q2 , p2 = q1 , (2.46)
donde obtemos os vínculo primário
φ1 ≡ p2 − q1 ≈ 0. (2.47)
O hamiltoniano do sistema é
1 1
(p1 − q2 )2 − (q1 − q2 )2 . (2.48)
2 2
Da condição de consistência (2.16) temos o vínculo secundário
{φ1 ,H} = q1 − q2 ≈ 0 (2.49)
Utilizando a condição de consistência no último vínculo, temos que
φ˙2 = {φ2 ,H} + λ{φ2 ,φ1 } = p1 − q2 − λ ≈ 0. (2.50)
Segue que a hamiltonia total é
1 1
HT = H + λφ2 = (p1 − q2 )2 − (q1 − q2 )2 + (p1 − q2 )(q1 − q2 ). (2.51)
2 2
12 2.5. Vínculos de Primeira e Segunda Classes
Com o emprego dos parênteses de Dirac os vínculos podem ser postos iguais a zero, assim
1
HT = (p1 − q2 )2 . (2.52)
2
Podemos, então, obter as equações de movimento através de (2.32)
q̇1 ≈ {q1 ,HT } ≈ p1 − q2 (2.53)
e
ṗ2 ≈ {p2 ,HT } ≈ p1 − q2 (2.54)
ou, utilizando as equações fracas (2.46) e (2.49), temos as equações de movimento
q̇1 = p1 − q1 , p˙2 = p1 − q1 , (2.55)
cujas soluções são
q1 (t) = q2 (t) = p2 (t) = at + b − a, p1 (t) = at + b, (2.56)
onde a e b são constantes arbitrárias. Como os vínculos são de segunda classe, não existem
funções arbitrárias do tempo e conseguimos encontrar diretamente as equações de movi-
mento do sistema.
2.5 Vínculos de Primeira e Segunda Classes
Funções definidas em um espaço de fase, vínculos em particular, podem ser classificadas

em funções de primeira classe e funções de segunda classe. Essa classificação é de importân-
cia central no tratamento de teorias de calibre, como veremos mais adiante.
Definição 3. Uma função F (q,p) é dita de primeira classe se os parênteses de Poisson entre ela
e todos os vínculos da teoria são fracamente iguais a zero, isto é,
{F,φj } ≈ 0 , j = 1, . . . , J (2.57)
Uma função das variáveis canônicas que não é de primeira classe é dita ser de segunda classe.
13 2.5. Vínculos de Primeira e Segunda Classes
2.5.1 Vínculos de Primeira Classe como Geradores de Transformações de Calibre
A presença de funções arbitrárias na hamiltoniana total sugere que nem todas as variáveis
canônicas são observáveis físicos. De outro modo, embora o número de estados físicos dum
sistema seja definido unicamente se forem dados os q’s e p’s, o contrário não é verdadeiro,
ou seja, existe mais de um conjunto de variáveis canônicas representando o mesmo estado
físico.
De fato, dado um conjunto de valores das variáveis canônicas para um tempo t1 se espera
que as equações de movimento forneçam o estado do sistema em um tempo t2 , com t2 6= t1 ,
qualquer ambiguidade no valor das variáveis canônicas para o tempo t2 deve ser fisicamente
irrelevante.
Agora, da equação (2.28), temos que os coeficientes v a são funções arbitrárias do tempo,
portanto seus valores em t1 e t2 dependem da escolha dessas funções. Considerando, em
particular, t2 = t1 + δt, a diferença entre os valores de uma variável dinâmica F no tempo t2 ,
correspondente a diferentes escolhas, digamos v a e ṽ a , no tempo t1 é dada por
δF = δv a {F, φa } (2.58)
com δv a = (v a − ṽ a )δt. Portanto, a transformação (2.58) não altera o estado físico do sistema.
Pela construção de v a , dizemos que
Proposição 1. Vínculos de primeira classe geram transformações de calibre.
Essa observação é de importância crucial no tratamento canônico de teorias de campo,

uma vez que nesse contexto os vínculos de primeira classe são todos tratados como geradores
de calibre (conjectura de Dirac).
Capítulo 3
Geometria de Sistemas Hamiltonianos

Vinculadas
3.1 Introdução
Um sistema mecânico é descrito completamente através da análise de sua hamiltoniana.

Explorando as características gerais de um sistema mecânico podemos descrevê-lo formal-
mente utilizando geometria simplética. Descrições geométricas do espaço de fase são úteis,
dentre outras coisas [28], para generalizar o conceito de superfícies de vínculos e sistematizar
as relações existentes entre as quantidades duma dada teoria.
Neste capítulo fazemos uma revisão do formalismo simplético para sistemas vinculados
de Faddeev-Jackiv, uma alternativa para a descrição de Dirac.
3.2 Estruturas Simpléticas em uma Variedade
Iniciamos a seção fornecendo as definições e teoremas utilizados na descrição do mé-

todo simplético. A principal referência foi [29], os outros textos que também foram utilizados
são [30] e [31].
3.2.1 Variedade Diferenciável
Definição 4. Seja M um conjunto e U um subconjunto aberto de M . Uma variedade diferen-

ciável C k , com k ≥ 1, de dimensão n é um conjunto M munido de um conjunto de homeomor-
fismos φi : Ui → Vi , onde Vi é algum subconjunto aberto de Rn , tal que
∪i Ui = M
15 3.2. Estruturas Simpléticas em uma Variedade
Ui ∩ Uj 6= ∅, então φi ◦ φ−1
j : φi (Ui ∩ Uj ) → φj (Ui ∩ Uj )
O par (Ui , φi ) é chamado de carta e a coleção de todas as cartas é chamada de atlas.

Grosso modo, uma variedade é um conjunto de pontos que podem ser marcados com
coordenadas mais um conjunto de regras que dizem como esses pontos se relacionam com
seus vizinhos. Numa variedade diferenciável C k essas regras são funções que contêm deriva-
das parciais contínuas até a k-ésima ordem.
No que segue assumimos que todos os objetos são de classe C ∞ .
3.2.2 Espaço Tangente, Diferencial e Espaço Cotangente
Definição 5. Seja x ∈ M . Um vetor tangente a M em x é um mapa, ξx , de C ∞ em R tal que
ξx [af + bg] = aξx [f ] + bξx [g],
ξx [f g] = f (x)ξx [g] + g(x)ξx [f ],
para f, g ∈ C ∞ , a, b ∈ R.
O espaço tangente a M em x, denotado por Tx M é o conjunto de todos os vetores tan-

gentes a M em x.
Sejam M e N duas variedades diferenciáveis e seja ψ : M → N um mapa diferenciável. O
mapa ψ induz uma transformação linear entre os espaços tangentes Tx M e Tψ(x) M , chamado
de diferencial de ψ em x e denotado por dψx . Se ξx ∈ Tx M , dψx (ξx ) é definido como o vetor
tangente a N em ψ(x) tal que para f ∈ C ∞ (N )
dψx (ξx )[f ] ≡ ξx [ψ ∗ f ] .
Seja f ∈ C ∞ (M ); o elemento diferencial de f no ponto x (x ∈ M ), dfx , é definido por
dfx (ξx ) ≡ ξx [f ], ∀ξx ∈ Tx M .
O mapa dfx é uma transformação linear de Tx M à R.

dfx pertence ao espaço dual de Tx M , denotado por Tx∗ M . Por definição, os elementos
de Tx∗ M são transformações lineares de Tx M em R e são chamados de vetores covariantes,
enquanto Tx∗ M é chamado de espaço cotangente de M em x.
16 3.2. Estruturas Simpléticas em uma Variedade
3.2.3 Formas Diferenciáveis
Definição 6. Uma forma exterior de grau 1 (ou 1-forma) é uma função linear ω : M → R, i.e.,
ω(λ1 ξ1 + λ2 ξ2 ) = λ1 ω(ξ1 ) + λ2 ω(ξ2 ) , λ1 , λ2 ∈ R e ξ1 , ξ2 ∈ Tx M .
Definição 7. Uma forma exterior de grau 2 (ou 2-forma) é uma função bilinear ω 2 : M × M →
R e antissimétrica:
ω 2 (λ1 ξ1 + λ2 ξ2 , ξ3 ) = λ1 ω 2 (ξ1 , ξ3 ) + λ2 ω 2 (ξ2 , ξ3 ) ,
ω 2 (ξ1 ,ξ2 ) = −ω 2 (ξ2 ,ξ1 ) , ∀λ1 , λ2 ∈ R e ξ1 , ξ2 , ξ3 ∈ M .
Definição 8. O produto exterior entre duas 1-formas, denotado por ω1 ∧ ω2 , em um par de

vetores ξ1 , ξ2 ∈ Tx M , é a área orientada da imagem do paralelogramo de lados ω(ξ1 ) e ω(ξ2 )
no plano formado por ω1 , ω2 :
ω1 (ξ1 ) ω2 (ξ1 )
(ω(ξ1 ) ∧ ω(ξ2 ))(ξ1 , ξ2 ) = = ω1 (ξ1 )ω2 (ξ2 ) − ω1 (ξ2 )ω2 (ξ1 ) .

ω1 (ξ2 ) ω2 (ξ2 )
Definição 9. Seja xi = (x1 , . . . , xn ) um sistema de coordenadas local e ω uma 1-forma, escrita

localmente como ω = ai dxi — onde os diferenciais dx1 , . . . , dxn formam uma base para o
espaço de 1-formas em xi —, ambos os objetos em M . A derivada exterior de ω, denotada por
dω, é definida por
dω = dai ∧ dxi .
Analogamente, definimos a derivada exterior da 2-forma ω 2 ≡ 12 aij dxi ∧ dxj por
1
dω 2 ≡ daij ∧ dxi ∧ dxj . (3.1)
2
Por fim, uma k-forma ω é dita fechada se dω = 0.
3.2.4 Variedades Simpléticas e Teorema de Darboux
Definição 10. Seja M 2n uma variedade diferenciável de dimensão par. Uma 2-forma diferen-
cial ω 2 em M 2n é dita não-degenerada se para todo ξ 6= 0 existir um ζ tal que ω 2 (ξ, ζ) 6= 0, com
ξ, ζ ∈ Tx M .
17 3.3. Formalismo Simplético
Definição 11. Seja ω 2 uma 2-forma fechada e não-degenerada. O par (M 2n , ω 2 ) é chamado de

variedade simplética.
O exemplo mais simples de variedade simplética é o espaço euclidiano R2 com a forma

simplética
ω = dx ∧ dy .
Um sistema de coordenadas simplético em M 2n é um sistema de coordenadas locais

(q1 , . . . , q n , p1 , . . . , pn ) tal que nesse sistema a forma ω é escrita como
ω = dq i ∧ dpi , i = 1, . . . , n .
Considere a transformação linear de um espaço simplético, S : M 2n → M 2n . Seja pi :

(p1 , . . . , pn ), q i : (q 1 , . . . , q n ) um sistema de coordenadas simplético. Nesse sistema de
coordenadas podemos representar a transformação S por uma matriz n × n.
Teorema 1. Uma transformação é simplética se, e somente se, sua matriz S nas coordenadas
simpléticas (q i , pi ) satisfazem a relação
S −1 f S = f ,
onde  
0 δji
f =  .
−δij 0
A matriz f é chamada de matriz simplética canônica. E por fim apresentamos sem de-
monstração o teorema de Darboux.
Teorema 2. (Teorema de Darboux). Seja (M 2n , ω 2 ) uma variedade simplética e x ∈ M 2n

um ponto. Então, existe um sistema de coordenadas simpléticas locais ζ = (q i , pi ), com i =
1, . . . , n, centrado em x tal que a forma ω 2 é escrita como
ω 2 = dq i ∧ dpi .
3.3 Formalismo Simplético
Apresentamos nesta seção o método simplético de Faddeev-Jackiw para formulação ha-

miltoniana de sistemas vinculados [6, 7]. A formulação alternativa ao método de Dirac dis-
pensa a categorização dos vínculos (primeira e segunda classes, primários, secundários, etc),
bem como a construção de estruturas algébricas especiais (parênteses de Dirac), favore-

cendo uma abordagem lagrangiana. Logo em seguida apresentamos o algoritmo proposto
por Barcelos-Neto e Wotzaseck [8, 10] como uma sistematização do método simplético.
3.3.1 Formalismo de Faddeev-Jackiw
Considere a 1-forma lagrangiana, escrita nas coordenadas generalizadas do espaço de

fase ξ α ,
Ldt = aα dξ α − V (ξ)dt, α = 1, . . . , M (3.2)
A 1-forma lagrangiana pode ser escrita como
1
Ldt = ξ α fαβ dξ β − V (ξ)dt, (3.3)
2
onde fαβ é a matriz simplética, a 1-forma simplética a é
1
a ≡ ξ α fαβ dξ β (3.4)
2
e a 2-forma simplética f é
1
f = da = fαβ dξ α ∧ dξ β . (3.5)
2
De forma geral f não é constante.

As equações de movimento são dadas pelas equações de Euler-Lagrange
∂V
ξ˙β fαβ = α , (3.6)
∂ξ
com
∂aβ ∂aα
fαβ = α
− β. (3.7)
∂ξ ∂ξ
Quando a 2-forma f é não-singular, podemos inverter a matriz simplética e obtemos as

equações de movimento
∂V
ξ˙α = f αβ β , (3.8)
∂ξ
onde f αβ ≡ (fαβ )−1 .

Caso a matrix simplética seja singular não é possível invertê-la e encontrar as equações
de movimento, nesse caso denominamos a matriz de matriz pré-simplética. A partir daí de-
vemos proceder uma transformação de coordenadas. Faddeev e Jackiv argumentam que do
teorema de Darboux tem-se que para qualquer 1-forma a = aα ξ α , α = 1, . . . , N , sempre é

possível fazer uma mudança de variáveis
ξ α → (pj , q k , z l ), j, k = 1, . . . , M, l = 1, . . . , N − 2M, (3.9)
de modo que a toma a forma padrão a = pα dq α , fora termos de derivada total. Com a trans-
formação de coordenadas acabamos com os N −2M graus de liberdade no termo “potencial”
da lagrangiana
Ldt = pα dq α − Φ(p,q,z)dt. (3.10)
Resolvendo as equações
∂Φ
≡0, (3.11)
∂z l
eliminamos os vínculos e terminamos, em geral, com expressões lineares nas variáveis tipo z.
Reescrevendo a lagrangiana substituindo as variáveis tipo z em multiplicadores de Lagrange
λ, temos que
L = pα q̇ α − H(p,q) − λl φl (p,q). (3.12)
Temos então que os vínculos resultantes do método simplético são
φl = 0. (3.13)
Resolvendo as equações (3.13) reduzimos a lagrangiana ao seu formato original
Ldt = bα (η)dη α − W (η)dt, (3.14)
mas nesse caso a equação tem um número reduzido de variáveis. Se a nova matriz pré-
simplética for invertível obtemos as equações de movimento através de (3.8), caso contrário
repetimos o procedimento um número finito de vezes. O problema desse método é que nem
sempre é simples encontrar uma transformação de coordenadas que irá reduzir o espaço de
fase.
3.3.2 Algoritmo de Barcelos-Neto e Wotzasek
O algoritmo de Barcelos Neto-Wotzasek-Montani consiste em encontar, a partir de uma

lagrangiana dita de ordem zero, após n interações, uma lagrangiana dita de ordem n, a partir
da qual é possível derivar a matrix simplética que governa o sistema dinâmico.
Primeiro chamamos a lagrangiana (3.2) de L(0) , ou lagrangiana de ordem zero, assim
L(0) = a(0) ˙(0)α − V (0) , (3.15)

α ξ
onde as grandezas são definidas na forma matricial como

(ξ (0)α ) = ξ1 ... ξM ,
(3.16)
(0)
(aα )T = a1 . . . aM .
Então substituímos essas quantidades na equações (3.7) e encontramos a matriz pré-simplética

(0)
de ordem zero (fαβ ).
(0)
Agora, seja P < N o posto de uma matriz pré-simplética (fαβ ), existem N − P vetores
não-nulos e linearmente independentes chamados modos-zero que satisfazem
α
νm fαβ = 0, (3.17)
onde m = 1, . . . , N − P . Logo, de acordo com (3.6), temos
α
νm ∂α V = 0. (3.18)
Que equivale à condição de consistência no formalismo simplético.

Caso (3.18) não seja identicamente satisfeita, a relação deve ser imposta. O termo Ωm ≡
α ∂ V que não é identicamente nulo é um vínculo que fixa relações entre as variáveis da
νm α
teoria. O caso em que a relação (3.18) é identicamente nula leva a uma transformação de
calibre e será tratado na seção 3.3.3. Procedemos com o algoritmo supondo que a igualdade
em (3.18) não é uma identidade.
Fazendo
α
0 = νm ∂α V (0) ≡ Φ(0)
m , (3.19)
de modo que os Φm representem agora as equações de vínculos do sistema. Vamos impor os

vínculos na lagrangiana através da técnica dos multiplicadores de Lagrange, só que agora os
multiplicadores de Lagrange são inseridos como derivadas temporais de uma função arbitrá-
ria. O objetivo é encontrar a lagrangiana de ordem um, L(1) , equivalente à (3.12) e definida
por
L(1) = L(0) − λ̇m(0) Φ(0)
m . (3.20)
Assim, a menos de termos de derivada total, temos
L(1) = L(0) − λ̇(0)m Φ(0) α (1)

m = (a ) (ξα )
(1)
− V (1) . (3.21)
Com isso repetimos o procedimento apresentado onde, agora,

(ξ (1)α ) = ξ (0)α λm

(1) (0)
(aα )T = aα Φm (3.22)
V (1) = V (0) (ξ (0) ) |Φm =0 .
E substituindo as variáveis nas equações (3.7) obtemos a matriz pré-simplética da pri-

meira iteração  
(0) (0)
(1) (fαβ ) ∂α Φm
(fαβ ) =  . (3.23)
(0)
−∂α Φm 0
Devemos repetir o algoritmo, realizando um número finito de iterações até se obter a

matriz simplética e, por conseguinte, os parênteses generalizados entre as coordenadas do
espaço de fase definidos por
∂A αβ ∂B
{A,B}∗ ≡ f , (3.24)
∂ξ α ∂ξ β
Para quaisquer funções A(ξ) e B(ξ) definidas no espaço de fase.

Caso f (1) seja singular repetimos o algoritmo n vezes até se obter a f (n) inversível.
Caso Contínuo
O formalismo simplético se estende naturalmente para teorias de campo. Para o caso

contínuo fazemos as seguintes redefinições, sem alteração do algoritmo:
A equação (3.17), que define modo-zero, fica
Z
d3 y νm
α
(x)fαβ (x,y) = 0 . (3.25)
A condição de consistência (3.18) fica
Z
δV (y)
d3 y νm
α
(x) =0. (3.26)
δξ α
A lagrangiana é descrita em termos da densidade lagrangiana, e a matriz (pré-)simplética

(3.7) fica definida por

δaβ (x) δaα (y)
fαβ (x,y) = − . (3.27)
δξ α (y) δξ β (x)
E, finalmente, os parênteses generalizados ficam
δA(x) αβ δB(y)
{A,B}∗ ≡ α
f (x,y) β . (3.28)
δξ (y) δξ (x)
3.3.3 Simetrias de Calibre
Considere a variação infinitesimal de coordenadas
ξ 0α = ξ α + δε ξ α (3.29)
A variação infinitesimal da ação S, S{ξ 0 } − S{ξ}, é
Z t2
∂L ˙ α ∂L ˙ ˙
α
(ξ,ξ)δε ξ + (ξ,ξ)δε ξ dt. (3.30)
t1 ∂ξ α ∂ ξ˙α
Fixando a condição de contorno δε (t1 ) = δε (t2 ) = 0, temos
Z t2
∂L ˙ d ∂L ˙
δε S ≡ (ξ,ξ) − (ξ,ξ) δε ξ α dt. (3.31)
t1 ∂ξ α dt ∂ ξ˙α
Tome agora a lagrangiana L definida por (3.10), aqui também consideramos que a matriz
hessiana associada a L é singular. Se impusermos δε ξ = 0, o que simplesmente significa que
(3.29) define uma transformação de calibre, obtemos que

∂aβ ˙β ∂V daα
0= ξ − α− δε ξ α = (fαβ ξ˙β − ∂α V )δε ξ α . (3.32)
∂ξ α ∂ξ dt
Relação que é satisfeita caso os dois termos entre parênteses sejam iguais ou se
∂V
δε ξ α =0 (3.33)
∂ξ α
e
δε ξ α fαβ ξ˙β = 0, (3.34)
simultaneamente. O primeiro caso leva às equações de Euler-Lagrange, aqui descartado por

considerarmos fαβ singular. Comparando (3.33) e (3.34) com (3.17) e (3.18), temos que
δε ξ α = ν α ε, (3.35)
em que ε = ε(t), fornece as transformações de coordenadas que deixam a ação invariante.

Por essa razão dizemos que os modos-zero são os geradores de simetrias de calibre do mé-
todo simplético.
No caso contínuo ε(t) → ε(x,t) e
Z
α
δε ξ (x) = d3 y ε(y)ν α (y)δ 3 (x − y) . (3.36)
3.3.4 Contagem dos Graus de Liberdade
Em uma teoria que os vínculos são apenas equações que relacionam as variáveis canôni-
cas originais não há a presença de funções arbitrárias. Após a fixação de calibre, mesmo os
vínculos que geram transformações de calibre são reduzidos a relações numéricas entre as
variáveis canônicas originais. Dessa forma chegamos à seguinte fórmula para a contagem de
graus de liberdade:
   
Número de graus Número de variáveis
2× =  (3.37)
de liberdade canônicas independentes
   
Número total de Número de equações
= − 
variáveis canônicas de vínculos
   
Número de vínculos Número de variáveis
− − 
que geram trafos de calibre de calibre fixadas
Como os vínculos são todos derivados dos modos-zero, e como todos os vínculos que
levam a transformações de calibre devem ser fixados para se obter equações que descrevem
univocamente o estado de um sistema físico, podemos escrever a fórmula da contagem dos
graus de liberdade como
   
Número de graus Número total de
2× =  (3.38)
de liberdade variáveis canônicas
   
Número de Número de vínculos
− − 
modos-zero de calibre
3.3.5 Exemplos
À guisa de ilustração apresentamos dois exemplos de aplicação de método simplético

pelo algorítimo BW extraídos de [8] e [12].
Partícula se Movendo em uma Esfera N-dimensional
Considere a lagrangiana
N h
X m i
L(0) = (q̇ i )2 + λ((q i )2 − 1) , (3.39)
2
i=1
onde q i = {q 1 , . . . , q N } é a coordenada da partícula. Fazendo
∂L(0)
pi ≡ = mq̇ i , (3.40)
∂ q̇ i
temos que
L(0) = pi q̇ i − V (0) , (3.41)
p2i
com V (0) = i 2
P
2m −λ((q ) −1). Das definições (3.16) o vetor simplético e a 1-forma simplética
são, respectivamente,
(ξ i )(0) = {q i , pi , λ} e (aj )(0) = {pj , 0j , 0} , (3.42)
enquanto a matriz pré-simplética é

 
0 −δij 0i
 ij 
(0)  i
(fij ) =  δj 0ij 0i  . (3.43)

 
0j 0j 0
A matriz tem 1 modo-zero, a saber

ν = 0i 0i 1 , (3.44)
com 0i = {0, . . . , 0}, o zero aparecendo N vezes. Utilizando a condição de consistência (3.18)
obtemos o vínculo
∂V (0) ∂V (0)
ν = = q2 − 1 ≈ 0 , (3.45)
∂ξ i ∂λ
onde omitimos o símbolo de somatória para simplificação. Esse é o vínculo que indica que o
movimento da partícula está restrito à superfície da N -esfera de raio 1. Seguindo o método
realizamos a primeira iteração, o que consiste em em fazer
p2
V (1) = V (0) |q2 −1=0 = (3.46)
m
e recolocar os multiplicadores de Lagrange como derivadas no tempo. Assim a lagrangiana

de ordem um é
1 2
L(1) = pq̇ + q − 1 q̇ − V (1) ,

(3.47)
2
onde a soma entre as coordenadas está subentendida.

Agora q é incluída no conjunto de variáveis canônicas e nos livramos de λ por ela não mais
aparecer na lagrangiana. Assim temos
(1) 1 2
ai(1) = {pi , 0,

ξi = {qi , pi , η} e q −1 }. (3.48)
2
Daí, a matriz pré-simplética de ordem 1 é

 
0ij −δij −qi
 
(1)
f =  δji 0ij 0i  , (3.49)
 
 
qj 0j 0
contudo o modo-zero ν (1) = (0, −q i , 1), gerando o vínculo
∂V (1) ∂V (1)
− qi + = −q i pi ≈ 0 . (3.50)
∂pi ∂η
Seguindo para segunda interação, temos
1 2
L(2) pq̇ + q − 1 q̇ + pq ρ̇ − V (2) ,

(3.51)
2
onde V (2) = V (1) |Ω = V (1) . E

(2)
ξi = qi
pi η ρ (3.52)

1 2
ai(2) i i

= pi 0 q − 1 0 q pi (3.53)
2
e  
0 −δij −q i −pi
 ij 
 i
 δj 0ij 0i −q i 

(fij )(2) =
 j
 . (3.54)
0j

q 0 0 
 
pj qj 0 0
(2)
A matriz fij é regular e, portanto, possui inversa.
O número de graus de liberdade desse sistema é, então, igual a (2N variáveis iniciais - 2
modos-zero ) /2 = N −1 graus de liberdade. Um caso particular descrito por esse problema é
o de uma partícula “livre” de massa m se movendo na superfície bidimensional de uma esfera
tridimensional.
Teoria Eletromagnética
Agora vamos explorar um exemplo onde aplicamos o algoritmo BW no espaço contínuo,

trabalhando com um espaço de fase composto de campos e seus momentos conjugados.
Dada densidade de lagrangiana da teoria eletromagnética no vácuo
1
L = − Fµν F µν , (3.55)
4
onde Fµν = ∂µ Aν − ∂ν Aµ , aplicamos o algorítimo BM W para obter a dinâmica da teoria.

Primeiro obtemos as variáveis duais no espaço de fase. Os momentos conjugados são
∂L 1 ∂F γν
Πµ = = − Fγν
∂ Ȧµ 2 ∂ Ȧµ
1
= − Fγν δ0γ δµν − δµγ δ0ν

2
= Fµ0 = ∂µ A0 − Ȧµ . (3.56)
Logo, a lagrangiana de ordem zero é
1 1
L(0) = Ȧi Πi − Πi ∂ i A0 − Πi − F i0 Fi0 − F ij Fij
2 4
1
= Ȧi Πi − Πi ∂ i A0 + Πi Πi − F ij Fij , (3.57)
4
onde identificamos o potencial simplético de ordem zero, o vetor simplético de ordem zero e
a um forma simplética de ordem zero como sendo, respectivamente,
1 1
V (0) = Πi ∂ i A0 − Πi Πi + F ij Fij , (3.58)
2 4
(0) 0 i 0

ξ = A A Πi , (3.59)
a(0) = (0 Πi 0) . (3.60)
E pudemos eliminar Π0 do vetor simplético impunemente, já que ele não aparece na lagran-
giana.
A matriz pré-simplética de ordem zero é portanto, segundo a equação (3.27),
 
0 0 0
 
(0)  3
hαβ = 0 0 −δji  δ (~x − ~y ) . (3.61)

 
0 δji 0
Com modo zero

ν[0] = (1 0 0) . (3.62)
Utilizando a condição de consistência (3.26) obtemos o vínculo
δV (0) (~y ) 3
Z
d y = −∂ i Πi = Φ(0) . (3.63)
δA0 (~x)
Ora, (3.63) é simplesmente a lei de Gauss no vácuo.

Ao invés de adicionarmos um multiplicador de Lagrange ao vínculo Φ(0) , podemos notar
que o termo −∂ i Πi já aparece na parte potencial de L(0) , bastando somente uma redefinição
de variáveis para incluir (3.63) na próxima interação. Definindo A0 = −η̇, temos que
Z
(1) 1 1 ij
V =− Π Πi − F Fij d3 x
i
(3.64)
2 2
e
L(1) = Πi Ȧi + η̇∂i Πi − V (1) . (3.65)
Temos de L(1)
ξ (1) = Ai

Πi η , (3.66)
T
a(1) 0 ∂i Πi ,

α = Πi (3.67)
 
0 −δj 0
 
(1)  j  3
hαβ = δi 0 ∂iy  δ (~x − ~y ) , (3.68)
 
0 −∂jx 0

(1)
onde ∂jx ≡ ∂
∂xj
e ∂iy ≡ ∂
∂xi
. Temos que o modo zero de hαβ é
ν[1] = (−∂i 0 1) . (3.69)
Da condição de consistência (3.18)

!
δV (1) (~y ) δV (1) (~y )
Z Z
∂ h1 ∂
−∂ix + d3
y = − Fkl (~
y ) δ l δ 3 (~x − ~y ) (3.70)
δAi (~x) δη i (~x) ∂xi 2 ∂y k i
Z
∂ i ∂ ∂
− l δik δ 3 (~x − ~y ) d3 y = − i
Fik (~y ) k δ 3 (~x − ~y ) d3 y = 0 ,
∂y ∂x ∂y
isto é, identicamente nulo, desse resultado concluímos existir as seguintes transformações

de calibre
δ E Ai = ∂ i E , (3.71)
δE η = E . (3.72)
mas (3.72) é de fato

Z
δE A0 dt = E . (3.73)
Portanto, (3.72) pode ser escrita como
∂E
δE A0 = (3.74)
∂t
e as duas transformações de calibre ficam
δE Ai = −∂ i E , (3.75)
∂E
δ E A0 = , (3.76)
∂t
ou, substituindo E ≡ −Λ,
~→A
A ~ + ∇Λ , (3.77)
∂Λ
Φ→Φ− . (3.78)
∂t
De acordo como indicado em [32] (cap. 3, Equações 6.12 e 6.13). Temos então que o potencial
de ordem dois
1 1
V (2) = V (1) |Ω = − Πi Πi + F ij Fij (3.79)
2 4
e a lagrangiana de ordem dois é
L(2) = Πi Ȧi + η̇∂i Πi + γ̇∂i Ai − V (2) . (3.80)
Onde escolhemos ∂i Ai = 0, que é o gauge de Coulomb. Desta, obtemos

ξ (2)α Ai Πi

= η γ , (3.81)
T
a(2) ∂ i Πi ∂ i Ai ,

α = Πi 0 (3.82)
 
0 −δji 0 ∂iy
 
 j
 δi 0 ∂iy 0  3

fαβ =   δ (~x − ~y ) . (3.83)
−∂jx
 
 0 0 0
 
−∂jx 0 0 0
Com (fαβ ) é regular, possui inversa, e é igual a

 
∂ j ∂i ∂i
0 δji − k 0 δji − k 

 ∂ ∂k ∂ ∂k 

−δ i ∂ j ∂i ∂i 
 j + 0 − 0 
fαβ =  ∂ k ∂k ∂ k ∂k  3
 δ (~x − ~y ) . (3.84)
 ∂j 1 
 0 0 
 ∂ k ∂k k
∂ ∂k 
∂j
 
 1 
0 − 0
∂ k ∂k ∂k∂ k
Com todas as derivadas atuando em ~x. Os parênteses generalizados (3.28) entre Ai e Πj são,
portanto,
∂ j ∂i

i ∗
{A (~x,t), Πj (~y , t)} = δji − k δ 3 (~x − ~y ) . (3.85)
∂ ∂k
Procedendo à contagem dos graus de liberdade. Temos ( 8 campos iniciais (Aµ , Πµ ) - 2

modos zero (ν[0] , ν[1] ) - 1 variável eliminada (A0 ) - 1 vínculo ( Eq. (3.70)) ) /2 = 2 graus de
liberdade.
Por fim lembramos que resultados do tipo (3.84) e (3.85) não fazem parte do escopo dessa
dissertação, aqui nos interessa principalmente encontrar as transformações de calibre de
uma teoria mais a contagem de seus graus de liberdade. O resultado acima aparece como
ilustração do método conforme originalmente elaborado por Barcelos-Neto e Wotzasek.
Capítulo 4
Formalismo ADM da Gravitação
4.1 Introdução
A formulação da teoria de gravitação de Einstein em linguagem canônica é interessante

sob diversos aspectos, tais como em teoria de análise de sistemas dinâmicos, na investigação
de soluções numéricas, em questões envolvendo teorias quânticas da gravitação e até como
parte essencial de teorias alternativas como a SUGRA [33], só para citar algumas aplicações.
Tal formulação é atingida com o formalismo ADM.
O formalismo ADM (Arnowitt-Deser-Misner), desenvolvido na década de 60 [34], consiste
em "quebrar"a covariância explícita das equações de Einstein, separando direções espaciais
das temporais, assim fornecendo uma noção de tempo e evolução temporal em teorias de
gravitação. Assim como ocorre em espaços-tempo com a métrica de Minkowski, em geral1
também podemos adotar uma superfície “espacial” tridimensional e escolher uma quarta
coordenada perpendicular ao plano considerado e adotá-lo como o eixo do “tempo”, onde
deve ser arbitrado qual das duas direções possíveis é o futuro. Como esta foliação do espaço-
tempo pode ser feita é o objeto desse capítulo. As principais referências utilizadas nesse ca-
pítulo são [37] e [38], onde esse último, conforme apontado pelo autor, é basicamente uma
revisão de [35] com os cálculos expandidos.
1
Na verdade nem sempre é possível fazer uma foliação do espaço-tempo, para que essa foliação possa ser feita
globalmente a variedade precisa ser globalmente hiperbólica. Mais detalhes em [35] e [36].
32 4.2. Geometria de Hiperssuperfícies
4.2 Geometria de Hiperssuperfícies
4.2.1 Foliação do Espaço-Tempo
A formulação adequada de uma teoria canônica para a gravitação requer uma separação
do espaço e do tempo. No contexto de relatividade especial, existe uma escolha natural para
a coordenada temporal, e a métrica é invariante pelas transformações de especial interesse,
as transformações de Lorentz. Já para o caso geral não existem simetrias de fundo ou ob-
servadores inerciais prediletos, tornando a noção de tempo muito mais generalizada. Nesse
caso podemos simplesmente considerar superfícies “espaciais”, digamos Σ, parametrizada
para alguma função t ∈ R constante, assim M = Σ × R.
Em geometria Riemmaniana dada a função t sempre existe um vetor normal a Σ dado por
∇µ t. Para todo campo vetorial sµ ∈ T Σ a t constante, temos que gµν sµ ∇ν t = sµ ∇µ t = 0.
Apenas falta agora definir um vetor que aponte na direção da passagem do “tempo”. Da
não degenerescência da métrica definimos o vetor normalizado
∇µ t
nµ ≡ p , (4.1)
−gαβ ∇α t∇β t
tal que gαβ nα nβ = −1. Exigimos que esse vetor não mude de sentido (o qual denominamos
futuro), assim nµ ∇µ t > 0.
Esta divisão do espaço-tempo fornece à subvariedade Σ uma estrutura riemanniana pró-
pria. Temos, então, a métrica induzida definida por
hµν ≡ gµν + nµ nν , (4.2)
que é única por conta de sua propriedade de operador projetor, a saber, verifica-se imediata-
mente que
hσµ hµν = hνσ , (4.3)
hµν nν = 0 (4.4)
e
hµν sν = gµν sν , ∀ sν ∈ T Σ . (4.5)
Podemos considerar hµν como sendo a parte espacial de gµν , definindo uma métrica positivo
definida em Σ, daí simplesmente escrevemos hab . Assim hab equivale à inversa de hab quando
aplicada a vetores tangentes a Σ.
Nas seções abaixo até a seção (4.3) usaremos a notação com índices a, b, c etc, significando
que, dado um vetor sa ∈ T M , a = 0, 1, 2, 3.
4.2.2 Derivadas Temporais
Segundo a interpretação da métrica induzida hab como sendo a métrica espacial, faz sen-
tido definirmos uma derivada temporal da métrica induzida. Introduzimos o campo vetorial
evolução temporal ta para definir a direção da derivada temporal, que é dado por
ta ∇a t = 1 . (4.6)
Esta condição, junto com uma a condição ta ∇a sb = 0, com sa ∈ T Σ, garante que (4.6) possa
ser interpretada como uma componente temporal. Podemos simplesmente decompor ta em
ta = na N + N a , (4.7)
onde utilizamos a definição a seguir.
Definição 12. Definimos função lapso e vetor deslocamento, respectivamente, por
N ≡ −na ta e N a ≡ hab ta . (4.8)
Com isso é possível escrever a seguinte proposição [37]:
Proposição 2. Seja T um tensor arbitrário definido em M , sua derivada temporal é dada por
Ṫ ab11 ,...,a n a1 an d1 dm c1 ,...,cn

,...,bm ≡ hc1 . . . hcn hb1 . . . hbm Lt T d1 ,...,dm , (4.9)
onde Lt é a derivada de Lie ao longo do vetor evolução temporal ta .
4.2.3 Curvaturas Intrínseca e Extrínseca
Curvatura Intrínseca
Da equação (4.1), em geral temos que


 −1, se Σ é tipo-espaço,
na na = (4.10)
 1, se Σ é tipo-tempo .
Para o caso em que o produto interno é nulo, é possível construir uma conexão de Levi-
Civita única D, sem torção e com métrica compatível com Σ [35]. A própria métrica espacial
é uma quantidade intrínseca, e como ela é de fato uma métrica em Σ é possível definir o
operador Da , tal que Da hbc = 0 :
Definição 13.
Dc T ab11 ,...,a n a1 ak e1 el f d1 ,...,dk
,...,bm ≡ hd1 . . . hdk hb1 . . . hbl hc ∇f T e1 ,...,el . (4.11)
A derivada covariante Da imediatamente satisfaz a condição de linearidade, a regra de

Leibniz e preserva a métrica espacial. De fato,
hda heb hfc ∇f hde = hda heb hfc ∇(gde + nd ne ) = 0 , (4.12)
onde usamos que gde é covariante a ∇f , além da relação (4.4). Com uma derivada covariante
definida é possível definir outras quantidades geométricas da foliação.
Definição 14. O tensor curvatura intrínseca é definido como o tensor de Riemann tridimensi-
onal
(3) d
R abc ωd = Da Db ωc − Db Da ωc , (4.13)
para todo ωc ∈ T ∗ Σ.
Como usamos somente a derivada espacial Da , aplicada a formas espaciais ωc , (3)Rdabc é

definido intrinsecamente. Do tensor de Riemann intrínseco obtemos o 3-tensor de Ricci e o
3-escalar de Ricci usando as contrações usuais.
Curvatura Extrínseca
Acabamos de identificar que a curvatura intrínseca é uma quantidade completamente

definida na seção espacial do espaço-tempo, logo falta a informação associada à derivação
na direção temporal. O resultado é a componente geométrica extrínseca.
Ao contrário da geometria intrínseca, que se aplica somente à variedade (Σ, hab ), não
importando como ela está imersa na variedade do espaço-tempo, a geometria extrínseca de Σ
em Σ×R se refere ao modo como a variedade imersa Σ “se dobra” em torno de sua vizinhança.
Isso significa que, em geral, na é variável ao longo de Σ.
Definição 15. O tensor de curvatura extrínseca é definido por
Kab ≡ Da nb = hca hdb ∇c nd . (4.14)

O tensor Kab possui as seguintes propriedades úteis para nossa exposição:
1. Kab = hca ∇c nb = ∇a nb + na nc ∇c nb . Ou seja, pode-se dispensar um projetor da definição

de Da . Prova:
Kab = hdb hca ∇c nd = (δbd + nb nd )hca ∇c nd (4.15)
= hca ∇c nb + nb nd hca . (4.16)
Notando que nd ∇c nd = 21 (nd ∇c nd + nd ∇c nd ) = 12 ∇c (nd nd ) = 0, temos o resultado.
2. É simétrico, Kab = Kba .
3. A curvatura extrínseca é dada pela metade da derivada de Lie da métrica induzida ao

longo do vetor normal
1
Kab = Ln hab . (4.17)
2
A demonstração é imediata:
Ln hab = nc ∇c hab + hcb ∇a nc + hac ∇b nc (4.18)
= nc ∇c (na nb ) + ∇a nb + ∇b na
= (δac + na nc )∇c nb + (δbc + nb nc )∇c na
= hca ∇c nb + hcb ∇c na = Kab + Kba = 2Kab .
4.
1
Kab = (ḣab − Da Nb − Db Na ) , (4.19)
2N
onde ḣab = hca hdb Lt hcd . Esse resultado segue de
1
Kab = Ln hab (4.20)
2
1
= (N nc ∇c hab + hcb ∇a (N nc ) + hac ∇b (N nc ))
2N
1 c d 1 c d
= ha hb Lt−N hcd = h h (Lt hcd − LN hcd ) ,
2N 2N a b
onde fizemos a substituição N na = ta − N a .

4.2.4 Decomposição da Métrica
Definição 16. Sejam (y a ) as coordenadas induzidas da superfície Σt , chamamos de coordena-

das adaptadas à foliação as coordenadas
xα = xα (y a ) . (4.21)
O operador projeção pode, então, ser escrito como
∂xα
eαa = . (4.22)
∂y a
E o elemento de linha de Σt é
∂xα a ∂xβ b

ds2Σt α β
= gαβ dx dx = gαβ dy dy = hab dy a dy b , (4.23)
∂y a ∂y b
de modo que a métrica induzida é dada por
hab = gαβ eαa eβb . (4.24)
Expandindo a 3-métrica induzida h relativa às coordenadas (xi ) ∈ Σt , temos a 2-forma
h = hij dxi dxj . (4.25)
Como o vetor deslocamento é tangente à superfície Σt , a métrica induzida pode ser usada
para abaixar e levantar índices desse vetor,
Ni = hij N j . (4.26)
A expansão da métrica do espaço-tempo g nas coordenadas correspondentes é a 2-forma
g = gαβ dxα dxβ . (4.27)
Como g é um morfismo que leva dois vetores em um número real, podemos ver seus compo-
nentes como a função
gαβ = g(∂~t , ∂~N ) . (4.28)
Portanto, utilizando (4.7) temos
g00 = g(∂~t ,∂~t ) = ta ta (4.29)
= (na N + N a )(na N + Na )
= −N 2 + N a Na ,
onde utilizamos na na = −1, da Eq. (4.1), e na hab = 0, Eq. (4.4). Também
g0i = g(∂~t ,∂~i ) = ~t · ∂~i

~ ) · ∂~i = N
= (~nN + N ~ · ∂~i
= Na (∂ a ∂i ) = Na δia (4.30)
= Ni
e
gij = g(∂~i ,∂~j ) = ∂~i · ∂~j = hij . (4.31)
Portanto, a matriz que representa a métrica do espaço tempo em uma foliação 3 + 1 é

   
g00 g0j −N 2 + N i Ni Nj
gαβ =  =  . (4.32)
gi0 gij Ni hij
Podemos então avaliar explicitamente a métrica do espaço tempo:
gµν dxµ dxν = (−N 2 + Ni N i )dtdt (4.33)
+Nj dtdxj + Ni dtdxi (4.34)
+hij dxi dxj (4.35)
= (−N 2 + Ni N i )dtdt (4.36)
+hij N i dtdxj + hij N i dtdxj (4.37)
+hij dxi dxj , (4.38)
e obtemos a 2-forma métrica do formalismo ADM.
gµν dxµ dxν = −N 2 dtdt + hij (dxi + N i dt)(dxj + N j dt) . (4.39)
Esse resultado chave é o verdadeiro início do formalismo ADM, a partir daqui podem ser
derivadas as equações de Hamilton para a Relatividade Geral e outras teorias de gravitação.

Agora passemos a procurar a 2-forma dual da métrica. Suponha que a métrica dual tenha a
forma    
g 00 g 0j a vk
g αµ =  =  . (4.40)
g i0 g ij vj bjk
Por definição, o produto interno das duas matrizes tem que ser a matriz identidade, ou
     
−N 2 + N i Ni N j a vk 1 0
 · =  . (4.41)
Ni hij vj bjk 0 δik
Da multiplicação da primeira linha de gαµ com a primeira coluna de g αµ , temos
(−N 2 + Nj N j )a + Nj vj = 1 . (4.42)
Da multiplicação da segunda linha de gαµ com a primeira coluna de g αµ , temos
aNi + hij v j = 0 ⇒ aNi = vi . (4.43)
Daí, temos
(−N 2 + Nj N j )a − aNj N j = 1 . (4.44)
Nj
Das equações (4.43) e (4.44), temos que a = − N12 e v j = N2
. Da multiplicação da segunda
linha de gαµ com a segunda coluna de g αµ temos que
Ni N k
Ni v k + hij bjk = δik ⇒ δik − , (4.45)
N2
ou
N iN j
bij = hij − . (4.46)
N2
Logo, a matriz métrica dual de gαµ é

   
Nj
g 00 g 0j − N12 N2
g αµ =  =  (4.47)
Ni N iN j
g i0 g ij N2
hij − N2
.
Utilizando a regra de Cramer [39] é possível estabelecer o determinante da métrica ADM

do espaço-tempo. Primeiro, denotemos g = det(gαβ ) e h = det(hij ). Observe que g e h são
independentes das coordenadas.
39 4.3. Relações de Curvatura
Da regra de Cramer
C00 h
g 00 = = . (4.48)
g g
Daí, temos que

h 1
=− 2 . (4.49)
g N
Portanto, a relação entre o determinante da métrica do espaço tempo no formalismo usual e

o determinante da métrica induzida é
√ √
−g = N h . (4.50)
4.3 Relações de Curvatura
A curvatura do espaço-tempo é completamente descrita pelas curvaturas intrínseca (4.14)

e extrínseca (4.13) de Σ, da mesma forma que a métrica induzida hαβ e o vetor normal nµ
descrevem a métrica gµν . Somente as quantidades de 3-curvatura por si só não descrevem
toda a informação sobre a curvatura da variedade foliada, como é possível mostrar através
da contagem de componentes independentes: O tensor de Riemann de n dimensões tem
n2 (n2 −1)/12 componentes independentes, o que resulta em 20 componentes independentes
para n = 4 e 6 para n = 3, tomando o tensor de curvatura extrínseca que fornece mais 6
componentes, temos um total de 12 componentes de 3-curvatura contra 20 de 4-curvatura.
Essa aparente contradição é resolvida ao encontrar qual a correspondência entre o tensor de
Riemann e os tensores de curvatura intrínseca e extrínseca.
4.3.1 Relações de Gauss
A primeira relação que temos é a equação de Gauss
hαη hβφ hκγ hσδ Rσηφγ =(3) Rδαβκ + Kακ Kβδ − Kβκ Kαδ , (4.51)
que segue de
Dα Dβ ωκ = Dα (hβφ hκη ∇δ ωη ) = hαφ hβγ hκσ ∇φ (hγδ hση ∇δ ωη ) (4.52)
= hαφ hβδ hκσ ∇φ ∇δ ωη + hκη (hαφ hβγ ∇φ hγδ )∇δ ωη + hβδ (hαφ hκσ ∇φ hση )∇δ ωη ,
donde temos que
hαφ hβγ ∇φ hγδ = hαφ hβγ ∇φ (gβγ + nγ nδ ) = nδ hβγ ∇α nγ = Kαβnδ (4.53)
no segundo termo, também
hβδ (hφα hκσ ∇φ hση )∇δ ωη = hβδ Kακ nη ∇δ ωη = −Kακhβδ ωη ∇δ nη = −Kακ Kβη ωη . (4.54)
Portanto,
(3) η
R αβκ ωη = Dα Dβ ωκ − Dβ Dα ωκ (4.55)
= hα φ hβδ hκη (∇φ ∇δ ωη − ∇δ ∇φ ωη ) − Kακ Kβη ωη + Kβκ Kαη ωη .
O que prova a identidade.
4.3.2 Relações de Codazzi
A equação de Codazzi
hαη hβφ hκγ Rαβκδ nδ = Dη Kφγ − Dφ Kηγ (4.56)
segue diretamente fazendo
hαη hβφ hκγ Rαβκδ nδ = hαη hβφ hκγ (∇α ∇β − ∇β ∇α )nκ (4.57)
= hαη hβφ hκγ (∇α (gβδ ∇δ nκ ) − ∇β (gαδ ∇δ nκ ))
= Dη Kφγ − hαη hβφ hκγ ∇α (nβ nδ ∇δ nκ ) − Dφ Kηγ + hαη hβφ hκγ ∇β (nα nδ ∇δ nκ )
= Dη Kφγ − Dφ Kηγ − hαη hβφ hκγ (nδ ∇δ nκ )(∇α nβ − ∇β nα ) ,
considerando que o último termo é nulo por conta da simetria da projeção espacial de ∇α nβ ,
temos demonstrado a relação.
4.3.3 A Relação de Ricci
A equação de Ricci é
Rακβδ nκ nδ = −Ln Kαβ + Kακ Kβκ + D(α aβ) + aα aβ , (4.58)

onde definimos a aceleração normal aα ≡ nκ ∇κ nα , com aα nα = 0. Esta equação será dedu-

zida por partes. Primeiro, temos
Ln Kαβ = nκ ∇κ Kαβ + Kακ ∇β nκ + Kβκ ∇α nκ . (4.59)
Usando Kαβ = hακ ∇κ nβ = ∇α nβ + nα nκ ∇κ nβ , o primeiro termo fica
nκ ∇κ Kαβ = nκ ∇κ ∇α nβ + (nκ ∇κ nα )(nδ ∇δ nβ ) + nα nκ ∇κ (nδ ∇δ nβ )
= nκ ∇κ ∇α nβ + aα aβ − (∇α nδ )(∇δ nβ ) − nδ ∇α ∇δ nβ + hακ ∇κ (nδ ∇δ nβ ) .
No último termo, onde foi utilizada a relação nα nκ = −gακ + hακ , podemos escrever
hακ (hβη − nβ nη )∇κ aη = Dα aβ − hακ nβ nη ∇κ aη
= Dα aβ + nβ aη ∇α nη + nα nκ nβ aη ∇κ nη .
Logo,
nκ ∇κ Kαβ = nκ (∇κ ∇α − ∇α ∇κ )nβ + aα aβ + Dα aβ − (∇α nδ )(∇δ nβ )
+nβ ∇α nη (nκ ∇κ nη ) + nα nβ (nκ ∇κ nη )(nδ ∇δ nη ) .
Os dois últimos termos de Ln Kαβ podem ser escritos como
Kακ ∇β nκ + Kβκ ∇α nκ = (∇α nκ )(∇β nκ ) + nβ nκ (∇κ nδ )(∇α nδ ) + Kακ (Kβκ − nβ nδ ∇δ nκ )
= (∇α nκ )(∇β nκ ) + Kακ Kβκ − nα nδ (∇δ nκ )nβ nη ∇η nκ .
Notando que
(∇α nκ )(∇β nκ ) − (∇α nδ )(∇δ nβ ) + nβ ∇α nη (nκ ∇κ nη )
= (∇α nκ )(∇β nκ − ∇κ nβ + nβ nδ ∇δ nκ )
= (∇α nκ )(hβδ (∇δ nκ − ∇κ nδ ) + nβ nδ ∇δ nκ ) = 0 ,
onde utilizamos na primeira linha o fato de na ser normalizado para sumir com o último
termo, e
hβδ (∇δ nκ − ∇κ nδ ) = hβδ hκη (∇δ nη − ∇η nδ ) − hβδ nκ nη (∇δ nη − ∇η nδ )
= −nκ nη ∇η nβ ,
para zerar o resto.

Reagrupando os termos obtemos a equação de Ricci.
4.3.4 Escalar de Curvatura no Formalismo ADM
Primeiro chamamos atenção à importante relação
Rαβ nα nβ = (Kαα )2 − Kαβ Kβα + ∇α v α . (4.60)
A relação (4.60) segue diretamente de
Rαβ nα nβ = Rακβκ nα nβ = −nα (∇α ∇κ − ∇κ ∇α ) − nκ
= (∇α nα )(∇κ nκ ) − (∇κ nα )(∇α nκ ) − ∇α (nα ∇κ nκ ) + ∇κ (nα ∇α nκ ) ,
usando
(∇κ nα )(∇α nκ ) = gαδ gηκ (∇κ nδ )(∇δ nκ )
= (hηκ ∇κ nα )(hαδ ∇δ nη ) − hαδ nκ nκ (∇κ nα )(∇δ nκ )
hηκ nα nδ (∇κ nα )(∇δ nκ ) + nα nδ nκ nη (∇κ nα )(∇δ nκ )
= Kηα Kαη .
Analogamente (∇α nα )(∇κ nκ ) = (Kηα )(Kαη ) = (Kαα )2 e o resultado segue notando que
v α = −nα ∇κ nκ + nκ ∇κ nα .
Agora, passando para o cálculo do escalar de curvatura
R = g αβ g κδ Rακβδ = (hαβ − nα nβ )(hκδ − nκ nδ )Rακβδ
= hαβ hκδ Rακβδ − 2Rαβ nα nβ
= hηϕ hγσ hηα hϕβ hγκ hσδ Rακβδ − 2Rαβ nα nβ
= hηϕ [(3)Rηγϕγ + Kηϕ Kγγ − Kγϕ Kηγ ] − 2[(Kαα )2 − Kβα Kαβ + ∇α v α ] ,

onde utilizamos a equações (4.51) e (4.60). Portanto, o escalar de Ricci no formalismo ADM é
R =(3) R − (Kαα )2 + Kαβ K αβ − 2∇α v α . (4.61)

Capítulo 5
Gravitações Canônicas no Formalismo

Simplético
5.1 Teoria da Relatividade Geral Canônica
A relatividade geral é a teoria que descreve o espaço-tempo e a gravitação. Suas equações

revelam a descrição matemática da dinâmica do tecido espaço-temporal, por ser essencial-
mente geométrica, a relatividade geral se diferencia fundamentalmente das outras teorias de
campo de calibre. Nesta seção mostramos como a relatividade geral pode ser escrita e resol-
vida pelo mesmo formalismo canônico em que outras outras teorias de campo são escritas.
Aqui seguimos a abordagem simplética da relatividade geral, e esta aplicação é aqui feita pela
primeira vez no contexto da formulação sistemática de BW.
No contexto da formulação original de FJ, o formalismo simplético foi aplicado à relati-
vidade geral em [40]. Entretanto, devido à falta de sistemática, em teorias mais complexas a
extensão iterativa proposta de BW é naturalmente mais conveniente. Avanços no sentido da
aplicação da proposta de BW à relatividade geral foram recentemente atingidos em alguns
artigos recentes [23], [24], contudo o formalismo não foi empregado em sua totalidade, pois
somente parte da matriz pré-simplética foi analisada.
Escrever teorias de gravitação em termos de geometria simplética pode evidenciar de-
talhes que não estejam explícitos no esquema canônico de Dirac para sistemas vinculados.
Usamos o algoritmo BW para procurar as simetrias de calibre e contar os graus de liberdade
da teoria.
Até a obtenção do potencial simplético os principais resultados abaixo podem ser encon-
trados em [37].
45 5.1. Teoria da Relatividade Geral Canônica
Utilizamos a equação (4.61) para escrever a ação de Einstein-Hilbert, a menos de um

termo de superfície, como
1
Z √ h i
L[hij , N, N ] = i
d3 xN h (3) R + K ab Kab − (K a a )2 . (5.1)
2κ
Os campos da teoria são N , N a e hab . A lagrangiana não é linear nas velocidades. Por con-
veniência, pela maior proximidade explícita com o formalismo de Dirac, escolhemos usar os
momentos para linearizar a lagrangiana.
Os momentos conjugados aos campos que compõem a teoria são
∂L
ΠN = =0, (5.2)
∂ Ṅ
∂L a
Πa = =0, (5.3)
∂ Ṅ √
∂L 1 ∂L h
Πab = = ab
= (Kab − K c c hab ) , (5.4)
∂ ḣab 2N ∂K 2κ
1
de modo que, temos usado Kab = ḣab D(a Nb) . Levando em conta
N
√ √
a h a c h
Π a = (K a − 3K c ) = (−2K a a ) , (5.5)
2κ 2κ
resultando
2κ Πc c
Ka a = −√ , (5.6)
h 2
e, notando que
Πc c ab

ab 2κ 2κ
K = √ Πab + K c c hab = √ ab
Π − h , (5.7)
h h 2
vemos que
Πc c

2κ
ḣab = 2N √ Πab − hab + 2D(a Nb) . (5.8)
h 2
Considerando a Hamiltoniana como o potencial de ordem zero, isto é, V (0) ≡ H, temos

que

(0) 2κ
V = √ N 2Πab − Πc c hab Πab − 2D(a Nb) Πab −
h
√ !h
h i
−N (3)
R + K ab ab (K c c )2 . (5.9)
2κ
Mas
√ !2
ab h
Π Πab = K ab − K c c hab (Kab − K c c hab )
2κ
√ !2
h
= Kab K ab − K c c K ab hab − K c c Kab hab + 3 (K c c )2
2κ
√ !2
h
= Kab K ab − 2 (K c c )2 + 3 (K c c )2
2κ
√ !2
h
= Kab K ab + (K c c )2 . (5.10)
2κ
Então
√ !
2κ h
√ 2Πab Πab − (Πc c )2 = 2Kab K ab + 2 (K a a )2 − 4 (K a a )2 , (5.11)
h 2κ
ou seja,
√ !
1 2κ 2
h
√ 2Πab Πab − (Πc c ) = Kab K ab − (K a a )2 . (5.12)
2 h 2κ
Assim, reescrevendo o potencial utilizando somente as variáveis do espaço de fase,
√ !
(0) 2κ 1 c 2 h
V = √ N Πab Π − (Π c ) + 2D(a Nb) Πab − N
ab (3)
R. (5.13)
h 2 κ
E a densidade de Lagrangiana da iteração zero é então

√
(0) ab 2κ ab 1 c 2 ab h (3)
L = ḣ Πab − √ N Πab Π − (Π c ) + 2D(a Nb) Π − N R. (5.14)
h 2 2κ
Assim, o vetor simplético é

(ξ β(ij)(0) ) = N N i hij Π Πi Πij . (5.15)
O vetor ξ α é definido tal que ξ 1 = N , ξ 2(i) = N i , ξ 3(ij) = hij . E a 1-forma simplética é

(0)
(aα(kl) )T = 0 0k Πkl 0 0k 0kl . (5.16)
A matriz pré-simplética é construída a partir de
δaα (x) δaβ (y)

fαβ (x,y) = − . (5.17)
δξ β (y) δξ α (x)
Em particular,
 
0 0k 0kl 0 0k 0kl
 
 0i 0ik 0ikl 0i 0ki 0kl
 
 i  
δaβ (0) (y)  0ij 0ijk 0ijkl 0ij 0kij 0 
 
α(0)
=  , (5.18)
δξ (x) 
0 0k 0kl 0 0k 0kl 

 
 i
0ik 0ikl 0i 0ik ikl

0 0 
 
ij
0ij 0ij δkl (x, y) 0ij 0ijk 0 ijkl
kl (x, y) = δ kl δ 3 (x − y) e δ kl = 1 (δ k δ l + δ l δ k ). Logo, a matriz pré-simplética de ordem

onde δij ij ij 2 i j i j
zero é
 
0 0k 0kl 0 0k 0kl
 
 0i 0ik 0ikl 0i 0ki 0kl
 
 i 

ij
0ij 0ijk 0ijkl 0ij 0kij δkl (x, y)
 
(0)
(fα(ij)β(kl) )(x,y) =   . (5.19)
0k kl
 
0 0k 0kl 0 0 
 
 i
0ik 0ikl 0i 0ik ikl

0 0 
 
ij
0ij 0ij −δkl (x, y) 0ij 0ijk 0 ijkl
A matriz tem 4 modos-zero no espaço αβ, mas considerando os índices internos o total
de modos-zero é, na realidade, 2 × 1 + 2 × 3 = 8. São eles

α(ij)
ν[1] = 1 0i 0ij 0 0i 0ij , (5.20)

α(ij)
ν[2]p = 0 δpi 0ij 0 0i 0ij , (5.21)

α(ij)
ν[3] = 0 0i 0ij 1 0i 0ij , (5.22)

α(ij)
ν[4]p = 0 0i 0ij 0 δpi 0ij , (5.23)
onde p = 1, 2, 3.
A condição de consistência deve ser satisfeita. Para o modo-zero ν[1] encontramos
δV (0) 3
Z Z n
2κ ab 1 c 2
d y = √ Πab Π − (Π c ) (5.24)
δN (x) h 2
√ !
h 3 o 3
− R δ (y − x)d3 y = 0 .
2κ
Daí definimos o vínculo Hamiltoniano como

√ !
2κ ab 1 c 2 h (3)
Ω ≡ √ Πab Π − (Π c ) − R. (5.25)
h 2 2κ
Para o modo-zero ν[2p]
Z Z
δ
b) c

3 δ c b

2D(c N Π b (y)d y = 2 D b N Π c d3 y
δN a (x) δN a
Z
δ c b

= − 2 N D b Π c d3 y
δN a
Z
= −2 δac (y − x)Db Πb c (y)d3 y
= −2Db Πb a (x) = 0 . (5.26)
É oportuno comentar que a integração por partes na penúltima linha só é possível pois Πb a é
√
um tensor densidade em Σ , — o termo h está incorporado nele — enquanto N a é vetor em
Σ.
Do cálculo acima definimos o vínculo de difeomorfismo
Ωa ≡ −2Db Πb a . (5.27)
Em geral, se a condição de consistência for identicamente nula para um certo modo-zero,

então existe uma simetria de calibre dada por (3.36)
Z
α
δξ (x) = ε(y)ν α (y)δ 3 (x − y)d3 y , (5.28)
onde ε é um parâmetro infinitesimal arbitrário. Os modos-zero ν(3) e ν(4p) levam às seguintes

“simetrias de calibre” triviais, onde ι e η i são parâmetros infinitesimais arbitrários,
δΠ = ι, (5.29)
δΠi = η i . (5.30)
Essas são simetrias de calibre triviais, uma vez que nem Π nem Πi aparecem na lagrangiana.
Agora vamos estabelecer o potencial simplético impondo o potencial de ordem zero na
superfície de vínculo
V (1) = V (0) |Ω = 0 . (5.31)
Impondo a derivada temporal do campo como multiplicador de Lagrange, como dita o mé-
todo, temos que a densidade de Lagrangiana de primeira ordem é
L(1) = ḣij Πij + λ̇Ω + κ̇i Ωi . (5.32)
De modo que o vetor pré-simplético de ordem 1 é

(ξ β(ij)(1) ) = hij Πij λ κi (5.33)
e a 1-forma simplética de ordem 1 é

(1)
(aα(kl) )T = Πkl 0kl Ω Ωk . (5.34)
Onde foram omitidos os campos que não aparecem na lagrangiana de ordem 1. Assim, a
matriz de primeira ordem pré-simplética fica
δΩ(y) δΩk (y)

 
0ijkl kl (x, y)
δij − −

 δhij (x) δhij (x) 

 ij δΩ(y) δΩk (y) 
−δ (x, y)
 kl 0ijkl − − 
(1) δΠij (x) δΠij (x) 
(fα(ij)β(kl) )(x,y) = 
 δΩ(x)
 . (5.35)
δΩ(x) 

 δhkl (y) 0 0k 
 δΠkl (y) 

 δΩi (x) δΩi (x) 
0i 0ik
δhkl (y) δΠkl (y)
Agora, o passo a ser dado é encontrar os modos-zero dessa matriz, estabelecer se existe
algum vínculo e saber se ele gera transformações de calibre. Como o potencial da lagran-
giana de grau um é nulo, V (1) = V (0) |Ω , o modo-zero da matriz pré-simplética de grau um
necessariamente irá levar a uma liberdade de calibre da teoria.
Do cálculo do determinante da matriz simplética f (1) temos que não existem novos mo-
dos zero associados à teoria, entretanto isso vai de encontro ao estabelecido para relativi-
dade geral, uma teoria que apresenta invariância por difeomorfismos. Porém, devido à se-
melhança entre as matrizes (pré)-simpléticas (3.23) e (5.35), podemos construir um ansatz

semelhantemente ao sugerido em [13] para uma matriz pré-simplética similar, dessa forma
podemos supor a existência de modos-zero do tipo
R
α(ij) δΩ(z) δΩ(z)
d3 z δΠ − d3 z δh −1 0i (5.36)
R
ν[5] (x) = ij (x)
ij (x)
e
R
α(ij) δΩ (z) δΩ (z)
d3 z δΠijp (x) d3 z δhijp (x) −δpi (5.37)
R
ν[6]p (x) = − 0
como modos zero de segunda interação. Contraindo os vetores (5.36) com a matriz (5.35),
utilizando os parênteses de Poisson calculados por Dirac [4], obtemos
Z
3 α(ij)
d x ν[5] (x)fα(ij)β(kl) (x,y) . (5.38)
Resolvendo cada termo separadamente
Z Z Z
3 3δΩ(z) ij δΩ(x)
(ν5 · f )1 = d zd x ij δ (x, y) − d3 x ij (5.39)
δh (x) kl δh (y)
Z Z
3 δΩ(z) δΩ(x)
= d z kl − d3 x kl = 0kl ;
δh (y) δh (y)
Z Z Z
3 3 δΩ(z) ij δΩ(x)
(ν5 · f )2 = d zd x δ (x, y) − d3 x (5.40)
δΠij (x) kl δΠij (y)
Z Z
3 δΩ(z) δΩ(x)
= d z − d3 x = 0kl ;
δΠkl (y) δΠkl (y)
Z Z
3 3 δΩ(z) δΩ(y) ij δΩ(z) δΩ(y)
(ν5 · f )3 = d zd x − δ (x, y) + ij (5.41)
δΠij (x) δhij (x) kl δh (x) δΠij (x)
Z
= { d3 z Ω(z) , Ω(y)} ≈ 0 ;
Z Z
3 3 δΩ(z) δΩk (y) ij δΩ(z) δΩk (y)
(ν5 · f )4 = d zd x − δ (x, y) + ij (5.42)
Z
= { d3 z Ω(z) , Ωk (y)} ≈ 0k ;
Onde usamos (A.14). Ou seja,

Z
3 α(ij)
d x ν[5] (x)fα(ij)β(kl) (x,y) = (5.43)

0 0 { d3 z Ω(z), Ω(y)} { d3 z Ω(z), Ωk (y)} ≈
R R
0 0 0 0 .
Da mesma forma, contraindo (5.37) com (5.35) e resolvendo cada elemento do vetor resul-
tante separadamente, temos
Z Z Z
3 3 δΩp (z) ij δΩi (x) i
(ν6p · f )1 = d zd x ij δkl (x, y) − d3 x ij δ (5.44)
δh (x) δh (y) p
Z Z
δΩp (z) δΩp (x)
= d3 z kl − d3 x kl = 0kl ;
δh (y) δh (y)
Z Z Z
3 3 δΩp (z) ij δΩi (x) i
(ν6p · f )2 = d zd x δkl (x, y) − d3 x δ (5.45)
δΠij (x) δΠij (y) p
Z Z
δΩp (z) δΩp (x)
= d3 z − d3 x = 0kl ;
δΠkl (y) δΠkl (y)
Z Z
3 3 δΩp (z) δΩ(y) ij δΩp (z) δΩ(y)
(ν6p · f )3 = d zd x − δ (x, y) + ij (5.46)
Z
= { d3 z Ωp (z) , Ω(y)} ≈ 0 ;
Z Z
δΩp (z) δΩk (y) ij δΩp (z) δΩk (y)
(ν6p · f )4 = d3 zd3 x − δ (x, y) + (5.47)
δΠij (x) δhij (x) kl δhij (x) δΠij (x)
Z
= { d3 z Ωp (z) , Ωk (y)} ≈ 0pk ;
Onde usamos (A.14). Ou seja,

Z
3 α(ij)
d y ν[6]p (x)fα(ij)β(kl) (x,y) = (5.48)

0 0 { d3 z Ωp (z), Ω(y)} { d3 z Ωp (z), Ωk (y)} ≈
R R
0 0 0 0 .
De maneira que os candidatos (5.36) e (5.37) funcionam como uma espécie de “modos-zero”
na superfície de vínculos. Isso sugere a existência transformações de calibre válidas somente
na superfície de vínculos. Assumindo que de fato isto ocorra, temos, de (3.36),
Z
δΩ(z)
δε hij (x) = − d3 zε(z)
δΠij (x)
Z
3 2κ 1 a
= − d z√ Πij (z) − hij (z)Πa (z)
h 2
Z
= d3 z(−2Kij (z))ε δ 3 (z − x)
δε hij (x) = −2εKij (x) (5.49)

δΩb (z)
Z Z
3 δ
δεb hij (x) = d z ij ε(z) = d3 z ij (Πab (z)Da εb )
δΠ (x) δΠ (x)
Z
= 2 d3 zDa (hbc εc )(z)δij ab
(z,x)
Z Z
1h
= 2 d zhbc (∂a ε + Gad ε )(z)δij (z,x) = 2 d3 z(hbc ∂a εc + (hbc hcf
3 c c d ab
2 ad
(∂a hdf + ∂d haf − ∂f had ] εd )(z))δij ab
(z,x)
Z
3 c 1 ab
= 2 d z hbc ∂a ε + (∂a hbd + ∂d hab − ∂b had ) (z) δij (z,x)
2
Z
1 1 1
= 2 d3 z (hbc ∂a εc + hac ∂d εc ) + (∂a hbd + ∂b had )
2 2 2

1
+∂d hab − (∂b had + ∂a hbd ) εd (z)δij ab
(z,x)
2
Z
= d3 z(hbc ∂a εc + hac ∂b εc + εd ∂d hab )(z)δijab
(z,x)
δεb hij (x) = εd ∂d hij + hjc ∂i εc + hic ∂j εc . (5.50)
Portanto, a transformação do campo hij que apresenta invariância de calibre fornecida

pelo formalismo simplético é
δεµ hij (x) = −2εKij (x) + εd (x)∂d hij (x) + hjc (x)∂i εc (x) + hic (x)∂j εc (x) , (5.51)
que representa exatamente a invariância por difeomorfismo em relatividade geral no forma-

lismo ADM [41], em concordância com o obtido no formalismo à la Dirac [42], [43].
Esse fato, que parece estranho a primeira vista, na verdade é uma consequência da apli-
cação do formalismo ADM e já havia sido estabelecido em outros trabalhos [44], seguidas
de demais discussões sobre os fundamentos da teoria da gravitação de Einstein [45], [46].
Ocorre que a necessária fixação arbitrária de superfícies “espaciais” e vetores "temporais",
bem como a fixação de um sistema de coordenadas arbitrário, são condições fortes e impõem
alguma limitação. Um difeomorfismo aplicado a função lapso, por exemplo, em geral torce a
hipersuperfície espacial e altera a direção do vetor normal, o que faz com que a teoria da RG
canônica apresente uma estrutura de vínculos que não fornece um grupo verdadeiro [44].
É digno de nota que o formalismo simplético, desenvolvido conforme o algorítimo BW,
tenha chegado a esse resultado de forma natural e direta, dispensando uma análise mais
minuciosa da teoria como ocorre se contamos apenas com o formalismo de Dirac.
Se inserirmos os campos N e N i no vetor simplético ξ (1) iremos obter que existe uma
53 5.2. Teoria Canônica da Gravitação de Brans-Dicke
simetria de calibre trivial tal como exibido em (5.29),
δN = ε4 , (5.52)
δN i = ε4+i . (5.53)
Entretanto, os parâmetros de calibre dessas transformações não são independentes, eles

dependem dos próprios parâmetros de calibre ε e εi associados à hij . A relação explícita
entre eles pode ser obtida usando um método à la Dirac [41] e resulta nas transformações
invariantes
δN (x) = [ε̇ + εs ∂s N − N i ∂i ε](x) , (5.54)
δN i (x) = [ε̇i + εs ∂s N i − N l ∂l εi − N g ri ∂r ε + εg ri ∂r N ](x). (5.55)
Agora analisamos o número de campos independentes em Relatividade Geral segundo o

esquema simplético. Temos que o número de graus de liberdade da teoria é igual a: ( número
de campos iniciais - o número de modos-zero - o número de vínculos)/2, nesse caso temos
( 20 (campos iniciais) − 8 (ν1 , ν2p , ν3 , ν4p ) − 4 (ν5 , ν6p ) − 4 (1 vínculo hamiltoniano mais 3
vínculos de difeomorfismo ) )/2 = 2 graus de liberdade.
5.2 Teoria Canônica da Gravitação de Brans-Dicke
Através da teoria da relatividade geral de Einstein obtemos uma representação elegante

e concisa da gravitação. O espaço e o tempo perdem seus status de entidades absolutas e se
tornam quantidades dinâmicas que fluem e têm comportamento afetado pela distribuição
de matéria na região.
A teoria de Einstein prova seu sucesso por medidas que não podiam ser obtidas pela gra-
vitação newtoniana [36]. Mas, além disso, a relatividade geral abriu caminho para se estudar
o universo como um sistema dinâmico, acabando por criar uma ciência crucial no esquema
fundamental da descrição física da natureza.
Ironicamente, ou talvez como era de se esperar, a própria cosmologia passou a sugerir que
a relatividade geral poderia não ser a descrição definitiva do espaço-tempo. Problemas como
a singularidade do Big-Bang e o problema do horizonte e da planura trouxeram a atenção
para teorias alternativas da gravitação.
Trataremos aqui a teoria de Brans-Dicke, protótipo das teorias escalares-tensoriais [47].
Partimos da Lagrangiana da Brans-Dicke, fazemos a foliação 3 + 1 da teoria, aplicamos o
algoritmo BW e finalizamos apresentando as transformações de calibre da teoria e fazendo a

contagem dos graus de liberdade.
A foliação da teoria de Brans-Dicke que se segue foi obtida em [48], [49] e [50] e agora é
apresentada em seus detalhes.
Da a ação de Brans-Dicke [51]
√
Z
µν 1 4 (4) ω(φ) α
S [g ,φ] = d x −g φ R− ∂α φ∂ φ − V (φ) , (5.56)
Σ 2 φ
onde fizemos 8πG = 1. Por foliação 3 + 1, o escalar de Ricci (4) R é dado por
(4)
R = Kab K ab − K 2 + (3)
R − 2∇c (nc ∇a na − na ∇a nc ) , (5.57)
sendo Kab = ha c hb a ∇c nd , K = Kab hab e (3)R o escalar de curvatura tridimensional, con-

forme definido no capítulo 4.
E podemos reescrever a ação de Brans-Dicke na forma foliada 3 + 1 como
Z √ n1 h i
L = d4 x N h φ (3)R + Kab K ab − K 2 − 2 (nc ∇c na − na ∇a nc ) ∇c −
2
2
ω(φ) 2 ab

a
o
− √ N h Da φDb φ − φ̇ − N Da φ − V (φ) , (5.58)
φ
onde
g αβ ∂α φ∂β φ = g 00 φ̇2 − 2g 0a φ̇∂a φ + g ab ∂a φ∂b φ

Na N aN b

1
= − 2 φ̇2 + 2 2 φ̇∂a φ + hab − ∂a φ∂b φ
N N N2
1 h 2 ab
2 a a b
i
= N h D a φD b φ − φ̇ − 2N φ̇D a φ + N N Da φDb φ
N2
1 2
2 ab a
= N h Da φDb φ − φ̇ − N Da φ , (5.59)
N2
e usando
tc − N c
c a a c ab
N (n ∇a n − n ∇a n ) ∇c φ = N ∇a nb g ∂c φ − N na ∇c φ∇a nc
N

= g ab ∇a nb (tc − N c ) ∂c φ − N na ∇a φ∇a nb g bc

= hab − na nb ∇a nb (tc φ − N c Dc φ) − N hbc − nb nc na ∇a nb ∇c φ

= hab ∇a nb φ̇ − N a Da φ − na nb ∇a nb N nc ∇c φ
−N na hbc ∇a nb ∇c φ + N na nb nc ∇a nb ∇c φ

= ha c hbc ∇a nb φ̇ − N a ∇a φ − N hbc na ∇a nb ∇c φ

= hbc Kbc φ̇ − N a Da φ − N hbc na ∇a nb ∇c φ

= K φ̇ − N a Da φ − ∇c φhbc [∇a (na nb ) − nb ∇a na ] N

= K φ̇ − N a Da φ − had hc d ∇c φhb a ∇b N

= −had Da N Dd φ + K φ̇ − N a Da φ , (5.60)
onde usamos as relações Kab = ha c ∇c nb , φ̇ = ta ∂a φ e hab nb = 0. Portanto, a densidade de

Lagrangiana é
√ n
h
L = N φ R + Kab K ab − K 2 + 2hab Da N Db φ −
2
ω 2
− N 2 hab Da φDb φ − φ̇ − N a Da φ −
Nφ
o
−2K φ̇ − N a Da φ − N V (φ) . (5.61)
Os campos originais da teoria são g ab , φ ≡ N, N a , hab , φ . Os momentos canônicos

conjugados à função lapso temporal e ao vetor deslocamento espacial são, respectivamente,
∂L
ΠN = =0, (5.62)
∂ Ṅ
∂L
Πa = = 0. (5.63)
∂ Ṅ a
O momento canonicamente conjugado à métrica induzida é
∂L
Πab =
∂ ab
√ḣ
h hab c
= φ (Kab − Khab ) − φ̇ − N Dc φ , (5.64)
2 N
onde utilizamos

∂ ab ∂ 1 ab (a b) 1
K = ḣ − 2D N = (5.65)
∂ ḣab ∂ ḣ ab 2N 2N
∂ ∂ ∂K ab hab
K= hab K ab = hab = . (5.66)
∂ ḣab ∂ ḣab ∂ ḣab 2N
Finalmente, o momento conjugado ao campo φ é dado por

√
∂L h 2ω c
Πφ = = −2K + φ̇ − N Dc φ . (5.67)
∂ φ̇ 2 Nφ
Tal como em relatividade geral, o momento conjugado para N e N a são equações de vínculos
triviais, ou seja, Π ≈ Πa ≈ 0. Por outro lado, a partir da combinação de Πh ≡ hab Πab e Πφ ,
encontramos que
√
h 3 c
Πh − φΠφ = φ (K − 3K) − φ̇ − N Dc φ −
2 N

2ω c
− −2Kφ + φ̇ − N Dc φ
N
√
3 + 2ω h
= − φ̇ − N c Dc φ , (5.68)
N 2
3 3
também desaparece quando ω = − , que é o caso associado à f (R) Palatini [49]. Para ω 6= −
2 2
obtemos o caso geral. Na exposição que se segue trataremos do caso geral.
Tomando
√ hab
ab h ab ab c
Π Πab = φ K − Kh − φ̇ − N Dc φ ×
2 N
√
h hab c
× φ (Kab − Khab ) − φ̇ − N Dc φ
2 N
h n 2 ab
= φ K − Khab (Kab − Khab ) −
4
hab

ab hab

ab
− φ K − Kh + φ (Kab − Khab ) φ̇ − N c Dc φ +
N N
ab
h hab 2 o
+ 2
φ̇ − N c Dc φ
N
h h 2 ab
= φ K Kab − 2K 2 + 3K 2 −
4
h
ab
−2φ K ab − Khab φ̇ − N c Dc φ +
N
3 2 i
+ 2 φ̇ − N c Dc φ (5.69)
N
Π2 = hab Πab hcd Πcd =

h 3 c 3 c
= φ (K − 3K) − φ̇ − N Dc φ φ (K − 3K) + φ̇ − N Dc φ
4 N N
2
h 2 12Kφ 9
= φ (4K 2 ) + φ̇ − N c Dc φ + 2 φ̇ − N c Dc φ . (5.70)
4 N N
Temos
Π2 h n 2 ab 2φ
Πab Πab − = φ K Kab + K 2 − (K − 3K) φ̇ − N c Dc φ +
2 4 N
3 2 h 6Kφ
c
+ 2 φ̇ − N Dc φ − φ2 (2K 2 ) + φ̇ − N c Dc φ +
N N
9 2 io
+ φ̇ − N c Dc φ
2N 2
hn 2 4φK 6 2
ab 2 c c
= φ K Kab + K + φ̇ − N Dc φ + φ̇ − N D c φ −
4 N 2N 2

6Kφ 9 2 o
− φ2 (2K 2 ) + φ̇ − N c Dc φ + φ̇ − N c
D c φ
N 2N 2
2
h 2 ab 2
2φK
c
3 c
= φ K Kab − K − φ̇ − N Dc φ − φ̇ − N Dc φ
4 N 2N 2
√ h√ √hK
hφ hφ ab 2

= K Kab − K + φ̇ − N c Dc φ −
2√ 2 N
3 h 2 i
− φ̇ − N c Dc φ , (5.71)
2N 2
então
√ √ h
Π2

2N ab 3 h 2 h
√ Π Πab − + φ̇ − N c Dc φ = N φ K ab Kab − K 2 −
hφ 2 2N 2 2
i
−2K φ̇ − N c Dc φ . (5.72)
De modo que a Lagrangiana pode ser reescrita da seguinte forma
2
√ n

2
φ̇ − N cD φ
h 4 Π c
L = N φR + Πab Πab − + (3 + 2ω) −
2 hφ 2 2N φ
Nω a o
− D φDa φDb φDb N − N V (φ) + Dc φDc N . (5.73)
φ
Mas, notamos que

2

c
2 2 N
φ̇ − N Dc φ = −√ (Πh − φΠφ ) . (5.74)
h 3 + 2ω
Logo
2
√ √

h φ̇ − N c Dc φ h (3 + 2ω) 4

N
2
(3 + 2ω) = (Πh − φΠφ )2
2 2N φ 2 2N φ h 3 + 2ω
√
h 1 4N
= (Πh − φΠφ )2 (5.75)
2 (3 + 2ω) h 2φ
E a Lagrangiana pode finalmente ser escrita como

√ n
Π2h

h 4 ab
L = N φR + Π Πab − −
2 hφ 2
Nω
− Dc φDc φ − N V (φ) +
φ
2N 1 o
+ (Πh − φΠφ )2 +
hφ (3 + 2ω)
√
2 h
+ Dc φDc N . (5.76)
2
Agora vamos encontrar a Hamiltoniana da teoria
Z
H= (pq̇(q,p) − L) d3 x . (5.77)
Primeiro, calculamos ḣab . Tomando o traço de seu momento conjugado

a h 3 c
Π a = 2φ(K − 3K) − φ̇ − N Dc φ
2 N
√
h 3 c
= φ̇ − N Dc φ , (5.78)
2 N
resultando

φ̇ − N cD φ
a Πa
3 c
−K = √ + , (5.79)
φ h 2 Nφ
também
2Πab hab
√ = φ K ab − Khab − φ̇ − N c Dc φ , (5.80)
h N
obtendo
2Πab hab
√ + φ̇ − N c Dc φ = K ab − Khab . (5.81)
φ h φN
Usando (5.79), temos
2Πab hab Πc hab

c 3hab
K ab = √ + φ̇ − N c Dc φ − √ − φ̇ − N c Dc φ
φ h φN φ h 2N φ
hab

2 1
= √ Πab − Πc c hab − φ̇ − N c Dc φ . (5.82)
φ h 2 2φN
Da relação ḣab = 2N Kab + 2D(a Nb) ,

2N 2 1 hab
ḣab = √ Πab − Πc c hab − φ̇ − N c Dc φ + 2D(a Nb) , (5.83)
φ h 2 φ

N 2
N cD √ hab Πab − φΠφ , temos

e usando φ̇ − cφ =−
3 + 2ω h

2N 2 1 c 2 N hab
ḣab = √ Πab − Π c hab + √ hcd Πcd − φΠφ 2D(a Nb) (5.84)
φ h 2 h 3 + 2ω φ
e

ab 2N 2 ab 1 c 2
ḣab Π = √ Π Πab − (Π c ) −
φ h 2

2 N Π
h
−√ hcd Πcd − φΠφ + 2Πab D(a Nb) . (5.85)
h 3 + 2ω φ
Também

2 N
φ̇ = − √ hab Πab − φΠφ + N a Da φ (5.86)
h 3 + 2ω
e

2 N
φ̇Πφ = √ hab Πab − φΠφ Πφ + Πφ N a Da φ , (5.87)
h 3 + 2ω
obtemos

2N 2 1 c 2
ḣab Πab + φ̇Πφ = √ (Π c ) + 2D(a Nb) Πab +
Πab Πab −
φ h 2
Π
a 2 N cd h
+N Da φΠφ − √ hcd Π − φΠφ − Πφ
h 3 + 2ω φ

2 2N 1 c 2
= √ Π Πab − (Π c ) + 2D(a Nb) Πab +
ab
h φ 2

c 2 N 2
+N Dc φΠφ + √ hcd Πcd − φΠφ . (5.88)
φ h 3 + 2ω
Logo, a densidade Hamiltoniana é
H = ḣab Πab + φ̇Πφ − L

√ ! h
Π2h

h 4 ab ω
= N − φR + Π Πab − + Dc φDc φ +
2 hφ 2 φ
√
2 i h
+V (φ) + (Πh − φΠφ )2 − × 2Dc φDc N +
hφ(3 + 2ω) 2
+N c Πφ Dc φ + 2D(a Nb) Πab . (5.89)
Agora podemos proceder com o algoritmo simplético. Tomando V (0) = H, a Lagrangiana

simplética de ordem zero fica
L(0) = ḣab Πab + φ̇Πφ − V (0) . (5.90)

O vetor simplético e a 1-forma de ordem zero são, respectivamente,

(ξ α(ij)(0) ) = hij Πij φ Πφ N Ni (5.91)

(aα(kl) (0) )T = Πkl 0kl Πφ 0 0 0k . (5.92)
Nesse caso optamos por deixar de fora do vetor simplético de ordem zero os momentos con-
jugados à função lapso e ao vetor deslocamento, porque, como vimos para o caso de Rela-
tividade Geral, esses campos levam a simetrias de calibre triviais que não afetam o desen-
volvimento dos cálculos. Vamos chamar os modos-zero associados a esses campos de ν[3] e
ν[4]p .
A matriz pré-simplética tem seus elementos dados por
δaα (x) δaβ (y)

fαβ (x,y) = − , (5.93)
δξ β (y) δξ α (x)
Em particular,
 
0ijkl 0kl
ij 0ij 0ij 0ij 0ijk
 
 ij
δkl (x,y) 0ijkl 0ij 0ij 0ij 0ij

 k 

0kl 0kl 0 0 0 0k 
 
δaβ (y) 
α
=   . (5.94)
δξ (x)  0

0kl 1 0 0 0k 

 kl 
0kl
 
 0kl 0 0 0 0k 
 
0ikl 0kl
i 0i 0i 0i 0ik
Logo, a matriz pré-simplética de ordem zero é
 
0ijkl kl (x,y) 0
δij 0ij 0ij 0ijk
ij
 
 ij
−δkl (x,y) 0ijkl 0ij 0ij 0ij 0ij

 k 

 0kl 0kl 0 1 0 0k 
 
(0)
(fα(ij)β(kl) (x,y)) =   . (5.95)
0kl −1
 
 0kl 0 0 0k 
 
0kl
 
 0kl 0 0 0 0k 
 
0ikl 0kl
i 0i 0i 0i 0ik
Os modos zeros desta matriz são

α(ij)
ν[1] = 0ij 0ij 0 0 1 0i (5.96)

α(ij)
ν[2]p = 0ij 0ij 0 0 0 δpi . (5.97)
A condição de consistência (3.26) aplicada aos vínculos conduz ao vínculo hamiltoniano

para Brans-Dicke [50], [52]
√ h
Π2h

h 4 ab ω
Ω ≡ − φR + Π Πab − + Dc φDc φ + V (φ) +
2 hφ 2 φ
2 i
+ (Πh − φΠφ )2 + 2Da Da φ ≈ 0 (5.98)
hφ(3 + 2ω)
e ao vínculo de difeomorfismo para Brans-Dicke [50], [52]
Ωa ≡ −2hab Dc Πcb + Πφ Da φ ≈ 0 . (5.99)
Procedendo à primeira iteração, fazendo V (1) = V (0) |Ω = 0, como em relatividade geral, e
L(1) = ḣab Πab + φ̇Πφ + λ̇Ω + λ̇a Ωa . (5.100)
Então

ξ α(kl)(1) = hij Πij φ Πφ λ λ i , (5.101)

aα(kl) (1) = Πkl 0kl Πφ 0 Ω Ωk . (5.102)
Quando a matriz simplética de primeira ordem é

 
kl (x,y) δΩ(y) δΩk (y)
0 δij 0 0 − −

 δhij (x) δhij (x) 


 ij δΩ(y) δΩk (y) 
−δkl (x,y) 0 0 0 − −


 δΠij (x) δΠij (x) 
 
 δΩ(y) δΩk (y) 
 0 0 0 1 − − 
(1)
 δφ(x) δφ(x) 
(fα(ij)β(kl) )(x,y) =   .(5.103)
 
δΩ(y) δΩk (y) 
−1 − −

 0 0 0 

 δΠφ (x) δΠΦ (x) 
 δΩ(x) δΩ(x) δΩ(x) δΩ(x) 
 0 0 
 δhkl (y) δΠkl (y) δφ(y) δΠφ (y)
 

 
 δΩi (x) δΩi (x) δΩi (x) δΩi (x) 
0 0
δhkl (y) δΠkl (y) δφ(y) δΠφ (y)
Analogamente a (5.36) e a (5.37), os modos-zero de (5.103) são
R
α(ij) δΩ(z) δΩ(z) δΩ(z) δΩ(z)
d3 z δΠ d3 z δh d3 z δΠ d3 z δΦ(x) (5.104)
R R R
ν[5] (x) = ij (x) − ij (x) − −1 0
Φ (x)
R
α(ij) δΩ (z) δΩ (z) δΩ (z) δΩp (z)
d3 z δΠijp (x) − d3 z δhijp (x) d3 z δΠΦp (x) − d3 z δΦ(x) 0 −δpi . (5.105)
R R R
ν[6]p (x) =
Contraindo os vetores (5.104) com a matriz (5.103), obtemos

Z
3 α(ij)
d x ν[5] (x)fα(ij)β(kl) (x,y) = (5.106)

0 0 0 0 { d3 z Ω(z), Ω(y)} { d3 z Ω(z), Ωk (y)} ≈
R R
0 0 0 0 0 0 .
Da mesma forma com os vetores (5.105)

Z
α(ij)
d3 x ν[6]p (x)fα(ij)β(kl) (x,y) = (5.107)

≈
R 3 R 3
0 0 0 0 { d z Ω(z), Ωp (y)} { d z Ωk (z), Ωp (y)} 0 0 0 0 0 0 .
Assim, como ocorre com Relatividade Geral, como era de se esperar, a gravitação de Brans-
Dicke no formalismo canônico também comporta modos-zero somente na superfície de vín-
culos. A explicação é a mesma: isso ocorre devido à foliação ser uma operação que fixa uma
direção temporal e mudanças arbitrárias de coordenada acabam por contorcer a foliação,
gerando transformações não invariantes de calibre.
Procedendo a contagem dos campos independentes da teoria temos (22 (campos iniciais)−
8 (ν1 , ν2p , ν3 , ν4p ) − 4 (ν5 , ν6p ) − 4 ( 1 vínculo hamiltoniano mais 3 vínculos de difeomor-
fismo) )/2 = 3 graus de liberdade.
Capítulo 6
Considerações Finais
O formalismo canônico representou uma revolução nos métodos de se fazer física no sé-
culo XIX [53]. A possibilidade de abordar uma ampla gama de problemas sob uma ótica for-
malmente estruturada e unificada trouxe sucessivos avanços no modo de pensar científico.
No último século, a ciência tem sido desafiada a pensar geometricamente e a geometria sim-
plética na mecânica hamiltoniana vem ganhando espaço como linguagem formal no trata-
mento matemático de teorias físicas [28].
Neste trabalho tratamos de descrever as teorias da gravitação de Einstein e Brans-Dicke
utilizando o formalismo geométrico simplético através da aplicação do método desenvolvido
por Barcelos-Neto e Wotzaseck [8, 10]. No capítulo 2 fizemos uma revisão do método mate-
mático utilizado na descrição de teorias hamiltonianas que apresentam vínculos, destacando
o algoritmo de Dirac para o tratamento de vínculos.
No capítulo 3 descrevemos como um sistema hamiltoniano vinculados pode ser tratado
como um problema geométrico e como o formalismo simplético de Faddeev-Jackiw dá aber-
tura para um tratamento puramente geométrico da evolução das variáveis duma teoria em
seu espaço de fase.
No capítulo 4 apresentamos como a gravitação, uma teoria do espaço-tempo, pode ser
matematicamente transformada em uma teoria hamiltoniana com evolução num tipo es-
pecial de espaço de fase. Tentamos fazer uma descrição detalhada do formalismo ADM da
geometria do espaço-tempo no que concerne ao desenvolvimento dos cálculos empregados
na teoria.
Partindo da teoria da Relatividade Geral no vácuo em sua formulação lagrangiana, no
capítulo 5 apresentamos pela primeira vez como usar o formalismo simplético, em sua for-
mulação de BW, para tratar de Relatividade Geral e Brans-Dicke. Avanços nessa direção foram
66
atingidos em alguns trabalhos recentes [23, 24], mas o emprego do formalismo de BW não foi
completo, somente parte da matriz pré-simplética foi analisada nesses artigos, o que impos-
sibilita, em geral, a contagem dos graus de liberdade e a descoberta das transformações de
calibre. Introduzimos aqui também uma notação adequada para tratar de relatividade geral
no contexto do formalismo simplético, em particular a coordenada simplética é descrita por
um índice principal α e outros dois sub-índices, como visto na Eq. (5.15).
Apesar da equivalência entre as abordagens de Dirac e de Faddeev-Jackiw [54], encontra-
mos que a descrição simplética fornece de maneira explícita uma importante característica
da gravitação ADM: uma limitação na própria invariância por transformações arbitrárias de
coordenadas. Uma vez que os campos que definem uma foliação (N e N i ) não podem sofrer
deformações arbitrárias sem alterar a própria foliação, a geometria do espaço-tempo passa
a apresentar, nessa descrição, invariância por difeomorfismos espaciais mais invariância por
deslocamentos “temporais” dados por seu vínculo hamiltoniano.
A gravitação de Brans-Dicke exibe, no contexto da geometria simplética, as mesmas ca-
racterísticas fundamentais que a gravitação de Einstein no que diz respeito à natureza do
espaço-tempo foliado, o que indica a consistência matemática da abordagem alternativa-
mente explorada neste trabalho.
Apêndice A
Transformação de Coordenadas em
Relatividade Geral Canônica no
Método de Dirac
Seção extraída de [44], explica como Relatividade Geral se comporta sob transformações
de coordenadas no contexto do formalismo canônico. O objetivo é mostrar que RG canônica
só é uma teoria fisicamente consistente na superfície de vínculos.
Partindo do princípio que o espaço-tempo (entendido aqui como uma superfície geo-
métrica mais um sistema de coordenadas) evolui dinamicamente em resposta a variação de
outros campos nele definidos, temos que a descrição física de um evento qualquer nesse
espaço-tempo requer que a introdução de quatro variáveis redundantes (descritoras da geo-
metria com características dinâmicas) resulte na inclusão de quatro vínculos no formalismo
hamiltoniano, uma vez que os momentos não podem ser dados como funcionais das coor-
denadas e velocidades. Sejam as variáveis que descrevem a superfície denotadas por y A (x)
(A = 0,1,2,3) e seus momentos conjugados ΠA (x), então esses vínculos têm a forma
HA ≡ ΠA + KA = 0 , (A.1)
onde KA é independente dos ΠA , mas em geral depende dos y A e das variáveis canônicas do
campo.
A mudança em qualquer funcional F das variáveis canônicas é dada pelo parêntese de
68
Poisson de F com o hamiltoniano
Z
δH = d3 xδy A (x)HA (x) . (A.2)
Se os quatro vínculos (A.1) são projetados em uma componente H⊥ ortogonal à superfície

e três componentes Hr tangenciais temos, por definição,
H⊥ ≡ HA nA ; A
Hr ≡ HA y,r (A.3)
onde nA é o vetor unitário normal à superfície. De modo que obtemos o sistema de vínculos
H⊥ ≡ Π⊥ + K⊥ = 0 , (A.4)
Hr ≡ Πr + Kr = 0 .
O hamiltoniano (A.2) toma, então, a forma
Z Z
δH = 3 α
d xδy α ≡ d3 x δy ⊥ H⊥ + δy s Hs . (A.5)
Na análise que se segue supomos que as equações de Hamilton são integráveis, isto é, a
mudança nas variáveis canônicas durante a evolução duma dada superfície inicial para uma
dada superfície final é independente de uma sequência particular de superfícies intermediá-
rias usadas na avaliação dessa mudança.
No formalismo hamiltoniano de Dirac a mudança em qualquer funcional F sob uma de-
formação δy α da superfície é dada por
Z
δF = d3 x {F, δy α Hα } . (A.6)
Ao mesmo tempo que os vínculos
Hα = 0 (A.7)
se mantêm.
Considere uma superfície σ que é deformada por uma transformação de coordenadas in-
finitesimal, digamos δξ α , em uma superfície σ1 . Seja outra transformação δη α em σ1 levando
a uma superfície σ 0 . Realizando as operações acima na ordem inversa obtemos como resul-
tado a superfície σ 00 , em geral diferente de σ 0 — deformações normais e tangenciais são não
69
"holonômicas". Nesse caso existe uma transformação δζ que deforma σ 0 em σ 00 . Essa defor-
mação compensatória é dada por
Z Z
00
ν
δζ (x ) = 3
d x d3 x0 κναβ (x00 , x,x0 )δξ α (x)δη β (x0 ) , (A.8)
onde foram desprezados os termos lineares.

Repetindo (A.6) suficientemente encontramos
Z
F [σ 0 ] = F + d3 x {F, (δξ α (x) + δη α (x)) Hα (x)}
Z Z nn o o
+ d3 x d3 x F, δη β (x0 ) Hβ (x0 ) , δξ α (x)Hα (x) , (A.9)
F e Hα são avaliados na superfície original σ.

Mudando a ordem das deformações e subtraindo o resultado de (A.9) obtemos
Z Z n n oo
00 0
F [σ ] − F [σ ] = 3
d x d3 x0 F, δξ α (x) Hα (x), δη β (x0 ) Hβ (x0 ) . (A.10)
Por outro lado, da própria definição de δζ, temos que
Z
00 0
d3 x00 F, δζ ν (x00 ) Hν (x00 ) .

F [σ ] − F [σ ] = (A.11)
A teoria só poderá descrever uma evolução dinâmica consistente se (A.10) e (A.11) forem
iguais, logo, de (A.8), temos que
Z
F, Hα (x), Hβ (x0 ) − d3 x00 κναβ (x00 ; x,x0 ) Hν (x00 ) = 0 .

(A.12)
Dessa forma pode-se provar que [44]
Z
Hα (x), Hβ (x0 ) = d3 x00 κναβ (x00 ; x,x0 ) Hν (x00 ) .

(A.13)
O que significa que a teoria só pode fornecer equações dinâmicas consistentes se as con-
dições iniciais forem dadas sob os vínculos (A.7), cuja a superfície por eles formada jamais
será abandonada.
Uma análise das deformações em um sistema de coordenadas fixado fornece o algebróide [37]
70
dos vínculos
H⊥ (x), H⊥ (x0 ) = Hr (x) + Hr (x0 ) δ,r (x,x0 ) ,

(A.14a)
Hr (x), H⊥ (x0 ) = H⊥ (x)δ,r (x,x0 ) ,

(A.14b)
Hr (x), Hs (x0 ) = Hr (x) δ,s (x,x0 ) + Hs (x0 ) δ,r (x,x0 ) .

(A.14c)
Donde se obtém que [44]
κ⊥ 00 0 ⊥ 00 0 00 00 0
r⊥ (x ; x,x ) = −κ⊥r (x ; x ,x) = δ(x ,x)δ,r (x ,x ) , (A.15a)
κrab (x00 ; x,x0 ) = −κrba (x00 ; x0 ,x)
= δ(x00 ,x)δ,a (x00 ,x0 )δbr − δ(x00 ,x)δ,b (x00 ,x0 )δar , (A.15b)
κr⊥⊥ (x00 ; x,x0 ) = −κr⊥⊥ (x00 ; x0 ,x)
= g rs (x00 ) δ(x00 ,x)δ,s (x00 ,x0 ) − δ(x00 ,x)δ,s (x00 ,x0 ) ,

(A.15c)
todos os outros componentes sendo zero.

Agora demonstramos porque a relação (A.13) implica que evoluções dinâmicas só podem
ser independentes de caminho na superfície de vínculo.
Considere o argumento utilizado na obtenção de (A.11). Assumindo, como um caso par-
ticular, que δξ α e δη β sejam c − numbers1 , então podemos simplesmente retirá-los dos pa-
rênteses de Poisson, mesmo quando Hν 6= 0. Utilizando (A.11) podemos reescrever (A.10)
como
Z Z Z n o
00
F [σ ] − F [σ ] =0 3
d x 3 0
d x d3 x00 F, κγαβ (x00 ; x,x0 ) Hγ (x00 ) δξ α (x) δη β (x0 ) . (A.16)
Tomando δξ e δη como sendo puramente ortogonais temos que (A.16) fica
Z Z Z
F [σ 00 ] − F [σ 0 ] = d3 x d3 x0 d3 x00 F, κγ⊥⊥ (x00 ; x,x0 ) Hr (x00 ) δξ ⊥ (x) δη ⊥ (x0 ) .

(A.17)
Primeiro notemos que a mudança de um funcional F arbitrário sob uma deformação tan-
gencial δξ r dada por
Z
δF = d3 x {F, Hr (x)} δξ r (x) (A.18)
1
De classicalnumber, nomenclatura utilizada por Dirac para se referir a números reais e complexos. Usada
para distinguir números comuns de operadores.
71
é válida mesmo para Hr (x) não vinculado a ser nulo. Isso decorre so fato que mudanças
de coordenadas numa superfície dependem somente do valor numérico da deformação e é,
portanto, independente de qualquer dependência funcional que δξ r possa ter.
O análogo de (A.11) é, de acordo com (A.18),
Z
00 0
d3 x00 F, κr (x00 ) δξ r (x00 )

F [σ ] − F [σ ] =
Z Z Z
3 3 0
d3 x00 F, Hr (x00 ) κγ⊥⊥ (x00 ; x0 )δξ ⊥ (x) δη ⊥ (x0 ) . (A.19)

≡ d x d x
A evolução somente será independente de caminho se as equações (A.18) e (A.19) con-

cordam entre si, ou seja, quando
F, κγ⊥⊥ (x00 ; x,x0 ) Hr (x00 ) = F, Hr (x00 ) κγ⊥⊥ (x00 ; x0 ) ,

(A.20)
que é equivalente a
F, κγ⊥⊥ (x00 ; x0 ) Hr (x00 ) = 0 .

(A.21)
Mas a equação (A.21) só é uma identidade se κr⊥⊥ for um c − number, entretanto isso não é
verdadeiro. κr⊥⊥ não é um c − number pois depende da métrica γrs (equação (A.15a)). E (A.21)
só é uma identidade para o caso
Hr = 0 , (A.22)
o que deve ocorrer em qualquer superfície, inclusive, em particular, sob deformações pura-
mente normais. E segundo (A.5) e (A.15b)
H⊥ = 0 . (A.23)
Concluímos que a exigência de independência de caminho implica que a dinâmica deve

ocorrer somente na superfície de vínculos. Em particular, a invariância por transformações
de calibre só estão bem definidas na superfície de vínculos.
Referências Bibliográficas
[1] E. P. Wigner. The unreasonable effectiveness of mathematics in the natural sciences.
richard courant lecture in mathematical sciences delivered at new york university, may
11, 1959. Communications on Pure and Applied Mathematics, 13(1):1–14, 1960.
[2] J.L. Lagrange. Mécanique analytique. Number v. 1 in Mécanique analytique. Ve Courcier,
1811.
[3] F.W. Byron and R.W. Fuller. Mathematics of Classical and Quantum Physics. Dover Books
on Physics. Dover Publications, 2012.
[4] P. A. M. Dirac. Generalized Hamiltonian dynamics. Can. J. Math., 2:129–148, 1950.
[5] J. L. Anderson and P. G. Bergmann. Constraints in covariant field theories. Phys. Rev.,
83:1018–1025, 1951.
[6] L. D. Faddeev and R. Jackiw. Hamiltonian Reduction of Unconstrained and Constrained
Systems. Phys. Rev. Lett., 60:1692–1694, 1988.
[7] R. Jackiw. (Constrained) quantization without tears. In 2nd Workshop on Constraint
Theory and Quantization Methods Montepulciano, Italy, June 28-July 1, 1993, 1993.
[8] J. Barcelos-Neto and C. Wotzasek. Faddeev-Jackiw quantization and constraints. Int. J.
Mod. Phys., A7:4981–5004, 1992.
[9] J. Barcelos-Neto and C. Wotzasek. Symplectic quantization of constrained systems. Mod.
Phys. Lett., A7:1737–1748, 1992.
[10] C. Wotzasek. Faddeev-Jackiw approach to hidden symmetries. Annals Phys., 243:76–89,
1995.
[11] H. Montani and C. Wotzasek. Faddeev-Jackiw quantization of nonabelian systems. Mod.
Phys. Lett., A8:3387–3396, 1993.
[12] D. C. Rodrigues. Electromagnetic dualities on noncommutative space-time and symplec-
tic formalisms. PhD thesis, Rio de Janeiro Federal U., 2006.
[13] E. M. C. Abreu, A. C. R. Mendes, C. Neves, W. Oliveira, R. C. N. Silva, and C. Wotzasek.
Obtaining non-Abelian field theories via Faddeev-Jackiw symplectic formalism. Phys.
Lett., A374:3603–3607, 2010.
[14] Y. Huang and J. Yang. Modified Faddeev-Jackiw quantization of massive non-Abelian
Yang-Mills fields and Lagrange multiplier fields. Phys. Lett., B668:438–441, 2008.
[15] D. S. Kulshreshtha and H. J. W. Muller-Kirsten. Faddeev-Jackiw quantization of selfdual
fields. Phys. Rev., D45:393–397, 1992.
[16] H. Blas and B. M. Pimentel. The Faddeev-Jackiw approach and the affine sl(2) Toda mo-
del coupled to matter field. Annals Phys., 282:67–86, 2000.
[17] Z. Long and J. Jing. Faddeev-Jackiw approach to the noncommutativity. Phys. Lett.,
B560:128–132, 2003.
[18] C. Neves, W. Oliveira, D. C. Rodrigues, and C. Wotzasek. Embedding commutative and
noncommutative theories in the symplectic framework. Phys. Rev., D69:045016, 2004.
[19] A. C. R. Mendes, C. Neves, W. Oliveira, and D. C. Rodrigues. Symplectic embedding of
second class systems. Nucl. Phys. Proc. Suppl., 127:170–173, 2004.
[20] E. M. C. Abreu, A. C. R. Mendes, C. Neves, W. Oliveira, and F. I. Takakura. Duality through
the symplectic embedding formalism. Int. J. Mod. Phys., A22:3605–3620, 2007.
[21] C. Neves, W. Oliveira, D. C. Rodrigues, and C. Wotzasek. Hamiltonian symplectic em-
bedding of the massive noncommutative U(1) theory. J. Phys., A37:9303–9316, 2004.
[22] S. Hong, Y. Kim, Y. Park, and K. D. Rothe. Symplectic embedding and Hamilton-Jacobi
analysis of Proca model. Mod. Phys. Lett., A17:435–452, 2002.

[23] A. Escalante and J. Manuel-Cabrera. Faddeev–Jackiw quantization of an Abelian and
non-Abelian exotic action for gravity in three dimensions. Annals Phys., 361:585–604,
2015.
[24] A. Escalante and O. Rodríguez-Tzompantzi. Dirac’s and generalized Faddeev–Jackiw
brackets for Einstein’s theory in the G -> 0 limit. Annals Phys., 364:136–147, 2016.
[25] N. A. Lemos. Mecânica Analítica. Livraria da Física, 2007.
[26] M. Henneaux and C. Teitelboim. Quantization of gauge systems. Princeton, USA: Univ.
Pr. (1992) 520 p, 1992.
[27] P. A. M. Dirac. Lectures on quantum mechanics, volume 2 of Belfer Graduate School of
Science Monographs Series. Belfer Graduate School of Science, New York, 1964.
[28] M. Gotay and J. Isenberg. The symplectization of science. Gazette des Mathématiciens,
2 1992. http://www.pims.math.ca/ gotay/Symplectization
[29] V. I. Arnold. Mathematical Methods of Classical Mechanics. Springer, 1989.
[30] G.F.T. Castillo. Differentiable Manifolds: A Theoretical Physics Approach. Birkhäuser Bos-
ton, 2011.
[31] M.P. Do Carmo. Differential Geometry of Curves and Surfaces: Second Edition. Dover
Books on Mathematics. Dover Publications, 2016.
[32] J. D. Jackson. Classical Electrodynamics. Wiley, 1998.
[33] S. Deser. The legacy of ADM. Phys. Scripta, 90(6):068006, 2015.
[34] Richard L. Arnowitt, Stanley Deser, and Charles W. Misner. The Dynamics of general
relativity. Gen. Rel. Grav., 40:1997–2027, 2008.
[35] E. Gourgoulhon. 3+1 formalism and bases of numerical relativity. gr-qc/0703035, 2007.
[36] R. M. Wald. General Relativity. Chicago, Usa: Univ. Pr. ( 1984) 491p, 1984.
[37] M. Bojowald. Canonical Gravity and Applications Cosmology, Black Holes, and Quantum
Gravity. Cambridge University Press, 2010.

[38] S. Dengiz. 3+1 Orthogonal and Conformal Decomposition of the Einstein Equation and
the ADM Formalism for General Relativity. 1103.1220, 2011.
[39] C.A. Callioli, R.C.F. Costa, and H.H. Domingues. Álgebra linear e aplicações. Atual, 1990.
[40] F. T. Falciano, N. Pinto-Neto, and S. Dias Pinto Vitenti. Scalar Field Perturbations with
Arbitrary Potentials in Quantum Backgrounds. Phys. Rev., D87(10):103514, 2013.
[41] P. Mukherjee and A. Saha. Gauge invariances vis-a-vis diffeomorphisms in second order
metric gravity. Int. J. Mod. Phys., A24:4305–4315, 2009.
[42] R. Banerjee, H. J. Rothe, and K. D. Rothe. Master equation for Lagrangian gauge symme-
tries. Phys. Lett., B479:429–434, 2000.
[43] R. Banerjee, H. J. Rothe, and K. D. Rothe. Hamiltonian approach to Lagrangian gauge
symmetries. Phys. Lett., B463:248–251, 1999.
[44] C. Teitelboim. How commutators of constraints reflect the space-time structure. Annals
Phys., 79:542–557, 1973.
[45] S. A. Hojman, K. Kuchar, and C. Teitelboim. Geometrodynamics Regained. Annals Phys.,
96:88–135, 1976.
[46] K. Kuchař. Relativity, Astrophysics and Cosmology: Proceedings of the Summer School
Held, 14–26 August, 1972 at the Banff Centre, Banff, Alberta, chapter Canonical Quanti-
zation of Gravity, pages 237–288. Springer Netherlands, Dordrecht, 1973.
[47] V. Faraoni and S. Capozziello. Beyond Einstein Gravity, volume 170. 170 of Fundamental
Theories of Physics. Springer, Dordrecht, 2011.
[48] G. J. Olmo. Palatini Approach to Modified Gravity: f(R) Theories and Beyond. Int. J. Mod.
Phys., D20:413–462, 2011.
[49] M. Salgado. The Cauchy problem of scalar tensor theories of gravity. Class. Quant. Grav.,
23:4719–4742, 2006.
[50] X. Zhang and Y. Ma. Loop Quantum Brans-Dicke Theory. J. Phys. Conf. Ser., 360:012055,
2012.
[51] C. Brans and R. H. Dicke. Mach’s principle and a relativistic theory of gravitation. Phys.
Rev., 124:925–935, 1961.
[52] G. J. Olmo and H. Sanchis-Alepuz. Hamiltonian Formulation of Palatini f(R) theories a
la Brans-Dicke. Phys. Rev., D83:104036, 2011.
[53] C. Lanczos. The Variational Principles of Mechanics (Dover Books on Physics). Dover
Publications, 1986.
[54] J. A. Garcia and J. M. Pons. Equivalence of Faddeev-Jackiw and Dirac approaches for
gauge theories. Int. J. Mod. Phys., A12:451–464, 1997.

MarinielSouzaGalvãoJr. 2016 Trabalhopdf PDF

Enviado por

Direitos autorais:

Formatos disponíveis

MarinielSouzaGalvãoJr. 2016 Trabalhopdf PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

MarinielSouzaGalvãoJr. 2016 Trabalhopdf PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Mariniel Souza Galvão Junior

Gravitação Canônica no Formalismo

Gravitação Canônica no Formalismo

Dissertação submetida ao programa de

I. Universidade Federal do Espírito Santo. Centro de Ciên-

Prof. Dr. Prof. Dr.

Prof. Dr. Prof. Dr.

Ao meu colega Álefe de Almeida, pelas frutíferas discussões;

Ao querido e sempre solícito secretário da pós-graduação, José Carlos.

O formalismo hamiltoniano em teorias de gravitação, também conhecido por formalismo

dido a partir do formalismo de Dirac de tratamento de sistemas vinculados. Neste traba-

apresentamos um novo desenvolvimento do formalismo ADM a partir do método simplético.

Aplicações para a Relatividade Geral e Brans-Dicke são aqui apresentadas em detalhes.

Palavras-chave: Relatividade Geral, Formalismo Hamiltoniano, Sistemas Vinculados, Gravi-

in a wide variety of aplications, from obtaining numerical solutions to searching quantum

Keywords: General Relativity, Hamiltonian Formalism, Constrained Systems, Modified Grav-

2 Sistemas Hamiltonianos Vinculados 3

2.2 Formalismos Lagrangiano e Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . 3

2.3 Vínculos Primários . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.3.1 Equações Fortes e Fracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.3.2 Parênteses de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.4 Condições de Consistência e Algoritmo de Dirac-Bergman . . . . . . . . . . . . 7

2.5 Vínculos de Primeira e Segunda Classes . . . . . . . . . . . . . . . . . . . . . . . 12

2.5.1 Vínculos de Primeira Classe como Geradores de Transformações de Ca-

3 Geometria de Sistemas Hamiltonianos Vinculadas 14

3.2 Estruturas Simpléticas em uma Variedade . . . . . . . . . . . . . . . . . . . . . . 14

3.2.1 Variedade Diferenciável . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

3.2.2 Espaço Tangente, Diferencial e Espaço Cotangente . . . . . . . . . . . . . 15

3.2.3 Formas Diferenciáveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3.2.4 Variedades Simpléticas e Teorema de Darboux . . . . . . . . . . . . . . . 16

3.3 Formalismo Simplético . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

3.3.1 Formalismo de Faddeev-Jackiw . . . . . . . . . . . . . . . . . . . . . . . . 18

3.3.2 Algoritmo de Barcelos-Neto e Wotzasek . . . . . . . . . . . . . . . . . . . 19

3.3.4 Contagem dos Graus de Liberdade . . . . . . . . . . . . . . . . . . . . . . 23

4 Formalismo ADM da Gravitação 31

4.2 Geometria de Hiperssuperfícies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.2.1 Foliação do Espaço-Tempo . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.2.2 Derivadas Temporais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

4.2.3 Curvaturas Intrínseca e Extrínseca . . . . . . . . . . . . . . . . . . . . . . 33

4.2.4 Decomposição da Métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

4.3 Relações de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

4.3.1 Relações de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

4.3.2 Relações de Codazzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

4.3.3 A Relação de Ricci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

4.3.4 Escalar de Curvatura no Formalismo ADM . . . . . . . . . . . . . . . . . 42

5 Gravitações Canônicas no Formalismo Simplético 44

5.1 Teoria da Relatividade Geral Canônica . . . . . . . . . . . . . . . . . . . . . . . . 44

5.2 Teoria Canônica da Gravitação de Brans-Dicke . . . . . . . . . . . . . . . . . . . 53

A Transformação de Coordenadas em Relatividade Geral Canônica no Método de Di-

Sistemas Hamiltonianos Vinculados

2.2 Formalismos Lagrangiano e Hamiltoniano

Considere um sistema com n graus de liberdade — as coordenadas generalizadas q i —

chamado ação, estacionário sob variações δq i (t) das coordenadas generalizadas q i (i = 1, . . . , N ),

As equações (2.2) podem ser escritas como

Imediatamente vemos de (2.3) que as acelerações q̈ i são determinadas unicamente em

2.3 Vínculos Primários

Para tratar o problema sob o formalismo hamiltoniano primeiro definimos o momento

H = pi (q,q̇)q̇ i − L(q,q̇). (2.7)

Quando existem vínculos primários se faz necessário incorporá-los na hamiltoniana de