Objetivos Primários

• Dedução das Equações de Campo da Teoria da Relatividade

Geral (A. Einstein)

Objetivos Secundários:
• Dedução da Métrica de Schwarzschild.
• Precessão do Periélio de Mercúrio.
• Buracos Negros.

Sonho:
• Desenvolver alguma programação no assunto.
“Estilo”
• Esta série não é um ponto final sobre o assunto.
• Seguiremos a linha de raciocínio de Einstein.
• Evitarei o pedantismo e demonstrações de erudição.
• O que foi bom para o Einstein será bom para nós.
• Todo a descrição será honesta e limpinha.
• Aceitaremos os resultados da Teoria da Relatividade Restrita.
• Não estou imune a erros.
• Sugestões e ajuda serão bem vindas.
Referências livros:
• Sobre a eletrodinâmica dos corpos em movimento – A.
Einstein
• Teoria da Relatividade Especial – R. Gazzinelli.
• Introduction to General Relativity – J. Walecka.
• A Teoria da Relatividade Especial e Geral – A. Einstein.
• Relativity – T. Charnock.
• A Ciência e a Hipótese – H. Poincaré.
Referências Youtube:
• IMPA – Segunda Jornada de Iniciação Científica – “O que é
Relatividade Geral de Albert Einstein ?” (George Matsas).
• Fernando Deeke Sasse – “Teoria da Relatividade Geral”.
• Centro de Ciências UFJF – A mecânica e a Óptica de Newton
– André Assis
• dXoverdteqprogress – “General Relativity”.
• Stanford – “General Relativity Lecture” (L.Susskind).
• FisicaModernaUFF – “Teoria da Relatividade” (Jorge Sá
Martins)
 Einstein: O que mais me admira em sua arte é a
universalidade. Você não diz uma palavra, e mesmo assim,
todo mundo entende você.

Chaplin: É verdade, mas sua fama é ainda maior. O

mundo inteiro te admira mesmo ninguém entendendo o
que você diz.
 PARTE I:

RECORDANDO
CONCEITOS
INICIAIS
O ESPAÇO-TEMPO
As 4 dimensões do espaço-tempo1
Evento do
Encontro

Evento (Física): Algo que pode acontecer em

algum lugar do espaço e do tempo.

Partícula A Partícula B
Evento (Matemática): É um ponto da variedade
que descreve o espaço-tempo.

O Espaço-Tempo é uma variedade (um conjunto

de pontos) munida de métrica.
LINHAS DE
MUNDO LINHA DE MUNDO: Uma sucessão de eventos

1. Utilizo a didática de George Matsas

 O ESPAÇO-TEMPO
Linhas de Mundo

▪ Na mecânica Newtoniana as linha de mundo precisam ser duas vezes

diferenciáveis.

Exceto para casos que existem um número finitos de descontinuidades que podem ocorrer, por
exemplo, com impulsos ou quando a linha de mundo é continua mas não diferenciável, exemplo o
movimento Browniano.

▪ A posição é única para um dado tempo: Laço temporal não é permitido.

▪ A posição não pode ser descontínua num determinado tempo (não é

permitido o teletransporte).
INERCIA
Lei da Inércia (Galileu):

“Um corpo suficientemente afastado de outros corpos permanece em estado de

repouso ou de movimento retilíneo uniforme” - A. Einstein referindo-se a Lei
da Inércia.

Primeira lei de Newton:

“Todo corpo persiste em seu estado de repouso ou de se mover uniformemente

para a frente, exceto na medida em que é obrigado a mudar de estado pela
força impressa.” - I. Newton.
REFERENCIAL INERCIAL
O referencial inercial
(Sistemas de Coordenadas)

“...um referencial cujo estado de movimento é tal que, relativamente a ele, a lei
da inércia é válida” - A. Einstein referindo-se ao referencial Inercial.

Um referencial no qual não realiza movimento circulares ou esteja acelerado em

relação às estrelas fixas - Diversos autores.

Um referencial na qual, se lançarmos 3 partículas (uma em cada eixo) elas

seguirão trajetórias dados por linhas retas e velocidade constante com relação à
origem - J. Hartle (Porém com as minhas palavras).
 PARTE II:

A FÍSICA DE
ARISTÓTELES
 A FÍSICA DE ARISTÓTELES
Objetivo: Descrever a natureza por algum
conjunto de observadores que fosse adequado

Observação de Aristóteles:

Todo objeto que é lançado se dirige para a

superfície depois e de algum rolamento este objeto
para.

Conclusão de Aristóteles:

Existe um conjunto de observadores

privilegiados para descrever a natureza e esse
conjunto de observadores privilegiados esta LINHAS DE
PARADO com relação à terra. MUNDO
Então esses observadores são responsáveis pela
descrição da natureza, logo as teorias deven ser
adaptadas por observáveis medidos por esses
observadores.

1. Utilizo a didática de George Matsas

PARTE III:

RELATIVIDADE DE GALILEU
 O PRINCÍPIO DE RELATIVIDADE
(“Proto-Teoria”)
Basicamente, se sua teoria for “boa” ela deve predizer os mesmos resultados para quaisquer referenciais
inerciais.
Isso significa que deve ser fisicamente impossível diferenciar qual referencial é o privilegiado por nenhum
experimento mecânico.
A A A B B B
1 2 3 1 2 3

B B B
1 2 3
Escolho um sistema de
coordenadas no qual as
velocidades constantes são
Tempo

representadas por retas

A A A
1 2 3
 O PRINCÍPIO DE RELATIVIDADE (“Proto-Te
Basicamente, se sua teoria for “boa” ela deve predizer os mesmos resultados para quaisquer referenciais
inerciais.
Isso significa que deve ser fisicamente impossível diferenciar qual referencial é o privilegiado por nenhum
experimento mecânico.
A A A B B B
1 2 3 1 2 3

A A A
1 2 3
Tempo

B B B
1 2 3
PARTE IV:

TEORIA DE ESPAÇO TEMPO DE

GALILEU-NEWTON
TEORIA DE GALILEU-NEWTON
LINHAS DE
1. Relógios Honestos MUNDO
Passando por eventos comuns medirão o mesmo
intervalo temporal independente da sua história
passada.

O INTERVALO TEMPORAL ENTRE TODOS

OS EVENTOS É ABSOLUTO (INDEPENDE DO
OBSERVADOR) início
início

2. Réguas Honestas
Medem o mesmo intervalo espacial entre quaisquer dois eventos simultâneos

DISTÂNCIAL ESPACIAL ENTRE EVENTOS SIMULTÂNEOS É ABSOLUTA

(INDEPENDE DO OBSERVADOR)
TEORIA DE GALILEU-NEWTON
Relógios Honestos
O INTERVALO TEMPORAL ENTRE TODOS OS EVENTOS É ABSOLUTO
(INDEPENDE DO OBSERVADOR)

Segundo Newton, todos os eventos do Universo que constituem o espaço-tempo

possuem vários “rótulos”. Um desses rótulos, talvez o mais importante é associado
ao tempo.

A partir deste rótulo, que é um número real, podemos classificar os eventos

em Classes de Equivalências, ou seja, todos aqueles eventos que possuem o
mesmo “t” (rótulo) poderemos classificar na mesma Classe de Equivalência.

A partir disso podemos saber o intervalo temporal em quaisquer dois

eventos subtraindo esses rótulos.
TEORIA DE GALILEU-NEWTON
Réguas Honestas
DISTÂNCIAL ESPACIAL ENTRE EVENTOS SIMULTÂNEOS É ABSOLUTA
(INDEPENDE DO OBSERVADOR)

Dada uma Classe de Equivalência (todos os eventos que possuem o mesmo rótulo
t), qualquer dois eventos tem ∆t =0.

Esses eventos por definição, pertencentes à mesma classe de equivalência são

chamados de eventos simultâneos.

Cada um desses eventos carrega outros rótulos que podemos usar para estabelecer
distâncias espaciais entre quaisquer dois eventos dentro da mesma C.E. usando a
geometria Euclidiana, no qual o intervalo espacial é dado por:

𝐷= ∆𝑥 2 + ∆𝑦 2 + ∆𝑧 2
TEORIA DE GALILEU-NEWTON

B B B
1 2 3

Intervalo temporal
Tempo

∆t absoluto para todos

os observadores

A A A
1 2 3
TEORIA DE GALILEU-NEWTON
Distância espacial
∆l absoluto para eventos simultâneos
para todos os observadores

B B B
1 2 3
Tempo

A A A
1 2 3
TEORIA DE GALILEU-NEWTON
Distância espacial
∆l relativo ao observador para eventos
não simultâneos

B B B
1 2 3
Tempo

A A A
1 2 3
 TEORIA DE GALILEU-NEWTON

ABSOLUTO: Intervalos temporais entre eventos

ABSOLUTO: Simultaneidade entre eventos

ABSOLUTO: Distância espacial entre eventos simultâneos.

RELATIVO: Distância espacial entre eventos não simultâneos.

 TEORIA DE GALILEU-NEWTON
Diagrama Causal

Futuro de p ∆t >0

p
∆t =0
Simultâneo a p

∆t <0

Passado de p

Absoluto de acordo com Newton. Todos observadores concordaram com o que está no
passado ou no futuro de um dado evento.
PARTE IV:

AS CRÍTICAS DE POINCARÉ
CRÍTICAS:

HENRY POINCARÉ
A medição do tempo (1898)
Como podemos avaliar a “simultaneidade” em um referencial
inercial?

“Como define-se o tempo? Com a causalidade?

Mas a causalidade é definida pelo tempo.
E como se isola uma causa ou como se determina uma
consequência...” – Representação minha do texto original
CRÍTICAS:

HENRY POINCARÉ
A medição do tempo (1898)
Em vez de dizer: as mesmas causas demoram o mesmo tempo a produzir os mesmos
efeitos.

Deveremos dizer: as causas aproximadamente idênticas demoram aproximadamente o

mesmo tempo a produzir aproximadamente os mesmos efeitos.

“A simultaneidade de dois eventos, ou a ordem da sua sucessão, ou a igualdade de duas

durações, deverão ser definidas de modo que o enunciado das leis naturais seja tão simples
quanto possível. Por outras palavras, todas estas regras, todas estas definições são o fruto
dum oportunismo inconsciente.”
 CRÍTICAS:

HENRY POINCARÉ
A ciência e a hipótese (1904)1
“Talvez devêssemos construir uma mecânica inteiramente nova, da
qual podemos ter apenas um vislumbre, onde a inércia, crescendo
com a velocidade, faria da velocidade da luz um limite insuperável”

1. Este livro foi lido por Einstein

 CRÍTICAS:

HENRY POINCARÉ
O que faltou para Poincaré chegar na TER?

1. Aceitar a existência da simultaneidade.

2. Analisar a simultaneidade com relação a outros referenciais

inerciais. (Ele sempre estudava no mesmo referencial)

3. “Coragem para chutar a bola” – Leiam as últimas páginas de

Ciência e Hipótese. Ele colocou a bola (Física do Séc XX) na
cara do Gol, mas não chutou. Isso não faz dele um covarde e
sim cauteloso com o nome e reputação que tinha.
Coordenadas
intrínsecas
 y3

y2

y1
 y3

y2

y1
 y3

y2

y1
𝑦3 = 𝑦3 (𝑦1 , 𝑦2 ) Podemos descrever uma superfície
escrevendo uma das coordenadas como
y3 função das outras coordenadas.

Ex: em R2, y=y(x)

y2

y1
𝑦3 = 𝑦3 (𝑦1 , 𝑦2 ) Podemos associar à cada ponto uma
coordenada
y3

y2

y1
𝑦3 = 𝑦3 (𝑦1 , 𝑦2 )
y3

y2

y1
𝑦3 = 𝑦3 (𝑦1 , 𝑦2 )
y3

Esta descrição é chamada de extrínseca,

pois envolve coordenadas externas à
superfície.

y2

y1
 Uma outra forma de descrever um ponto
na superfície é utilizando coordenadas na
y3 𝑋1 própria superfície.

y2

y1
 Uma outra forma de descrever um ponto
na superfície é utilizando coordenadas na
y3 própria superfície.

𝑋2

y2

y1
 Uma outra forma de descrever um ponto
na superfície é utilizando coordenadas na
y3 𝑋1 própria superfície.

𝑋2

y2

y1
 Uma outra forma de descrever um ponto
na superfície é utilizando coordenadas na
y3 𝑋1 própria superfície.

𝑋2

y2

y1
 As linhas não precisam ser
perpendiculares
y3 𝑋1

𝑋2

y2

y1
 y3 𝑋1

y= 𝒚(𝑥1 , 𝑥2 )
𝑋2

y2

y1
 y3 𝑋1

y= 𝒚(𝑥1 , 𝑥2 )
𝑋2

y2
y= 𝒚(𝑥1 + 𝑑𝑥1 , 𝑥2 )

y1
 y3 𝑋1
𝑒1
𝑦Ԧ 𝑥1 + 𝑑𝑥1 , 𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒1
𝑑𝑥1

y= 𝒚(𝑥1 , 𝑥2 )
𝑋2

y2
y= 𝒚(𝑥1 + 𝑑𝑥1 , 𝑥2 )

y1
 y3 𝑋1
𝑒1
𝑦Ԧ 𝑥1 + 𝑑𝑥1 , 𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒1
𝑑𝑥1
𝑒2
𝑦Ԧ 𝑥1 , 𝑥2 + 𝑑𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒2
𝑑𝑥2

y= 𝒚(𝑥1 , 𝑥2 )
𝑋2

y2
y= 𝒚(𝑥1 , 𝑥2 + 𝑑𝑥2 )

y1
 y3 𝑋1
𝑒1
𝑦Ԧ 𝑥1 + 𝑑𝑥1 , 𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒1
𝑑𝑥1
𝑒2
𝑦Ԧ 𝑥1 , 𝑥2 + 𝑑𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒2
𝑑𝑥2

𝜕 𝑦Ԧ
𝑋2 𝜕𝑥1
= 𝑒1

𝜕𝑦Ԧ
= 𝑒2
𝜕𝑥2
y2

y1
 y3 𝑋1
𝑒1
𝑦Ԧ 𝑥1 + 𝑑𝑥1 , 𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒1
𝑑𝑥1
𝑒2
𝑦Ԧ 𝑥1 , 𝑥2 + 𝑑𝑥2 − 𝑦Ԧ 𝑥1 , 𝑥2
= 𝑒2
𝑑𝑥2

𝜕 𝑦Ԧ
𝑋2 𝜕𝑥1
= 𝑒1

𝜕𝑦Ԧ
= 𝑒2
𝜕𝑥2
y2

y1
 𝜕 𝑦Ԧ
= 𝑒1
𝜕𝑥1
y3 𝑋1
𝜕𝑦Ԧ
𝑒1 = 𝑒2
𝜕𝑥2

𝑒2

𝑉 = V1 𝑒1 + V 2 𝑒2

𝑋2 𝑒1

𝑒2

y2

y1
Distância entre dois
pontos
 y3

p1 p2

y2

y1
 (𝑥1 , 𝑥2 )
y3
p2
p1

(𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

y2

y1
 (𝑥1 , 𝑥2 )
y3
p2
p1

(𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

y2
𝑦(𝑥
Ԧ 1 , 𝑥2 )
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )
y1
 𝜕𝑦 𝜕𝑦
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) =𝑦Ԧ 𝑥1 , 𝑥2 + 𝜕𝑥 𝑑𝑥1 + 𝜕𝑥 𝑑𝑥2
(𝑥1 , 𝑥2 ) 1 2

y3
p2
p1

(𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

y2
𝑦(𝑥
Ԧ 1 , 𝑥2 )
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )
y1
 𝜕𝑦 𝜕𝑦
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) =𝑦Ԧ 𝑥1 , 𝑥2 + 𝜕𝑥 𝑑𝑥1 + 𝜕𝑥 𝑑𝑥2
(𝑥1 , 𝑥2 ) 1 2

y3 𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) =𝑦Ԧ 𝑥1 , 𝑥2 + 𝑒1 𝑑𝑥1 +𝑒2 𝑑𝑥2

p2
p1

(𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

y2
𝑦(𝑥
Ԧ 1 , 𝑥2 )
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )
y1
 𝜕𝑦 𝜕𝑦
𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) =𝑦Ԧ 𝑥1 , 𝑥2 + 𝜕𝑥 𝑑𝑥1 + 𝜕𝑥 𝑑𝑥2
1 2

y3 𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) =𝑦Ԧ 𝑥1 , 𝑥2 + 𝑒1 𝑑𝑥1 +𝑒2 𝑑𝑥2

𝑦(𝑥
Ԧ 1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 ) -𝑦Ԧ 𝑥1 , 𝑥2 = 𝑒1 𝑑𝑥1 + 𝑒2 𝑑𝑥2
𝑑𝑠Ԧ p2
p1

𝑑𝑠=
Ԧ 𝑒1 𝑑𝑥1 +𝑒2 𝑑𝑥2

y2

y1
 Ԧ 1 𝑑𝑥 1 + 𝑒2 𝑑𝑥 2
𝑑 𝑠=𝑒

𝑑𝑠 2 = (𝑒1 𝑑𝑥 1 +𝑒2 𝑑𝑥 2 ). (𝑒1 𝑑𝑥 1 +𝑒2 𝑑𝑥 2 ).

𝑑𝑠 2 = σ2𝑖=1 σ2𝑗=1 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗

𝑔𝑖𝑗 = (𝑒1 . 𝑒2 ) Tensor métrico

𝑔11 𝑔12 𝟏 𝟎
𝑔𝑖𝑗 = 𝑔 𝒈𝒊𝒋 =
21 𝑔22 𝟎 𝟏
Espaço Plano
𝑑𝑠 2 = (𝑑𝑥 1 )2 + (𝑑𝑥 2 )2
Notação de Einstein:

𝑑𝑠 2 = σ2𝑖=1 σ2𝑗=1 𝑔𝑖𝑗 𝑑𝑥 1 𝑑𝑥 2

𝑑𝑠 2 = 𝑔𝑖𝑗 𝑑𝑥 1 𝑑𝑥 2 Índices repetidos estão na somatória

Derivada Covariante
 (𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

(𝑥1 , 𝑥2 )
 (𝑥1 + 𝑑𝑥1 , 𝑥2 + 𝑑𝑥2 )

𝒆′𝟏

𝒆𝟏

𝒆𝟐
𝒆′𝟐

(𝑥1 , 𝑥2 )
 𝒆′𝟏

𝒆𝟏

𝒆𝟐
𝒆′𝟐
 𝒆𝟐
𝒆𝟏
 𝒆𝟐
𝒆𝟏
 𝒆𝟏

𝒆𝟐

𝒆′𝒊 De maneira mais genérica a nova base pode ser escrito como uma
combinação linear de vetores compreendidos no plano formado pela
base original e de vetores perpendiculares a base original.

𝒆′𝒊 = α 𝒆𝒊 + β 𝒏𝒊
 n

𝒆𝟐
𝒆𝟏
 n

𝒆𝟐
𝒆𝟏

𝒆′𝒊 = α 𝒆𝒊 + β 𝒏𝒊
𝑉 = V1 𝑒1 + V 2 𝑒2

𝑉 = V i 𝑒𝑖 Notação de Einstein

𝜕𝑉 𝜕𝑉 𝑖 𝜕𝑒𝑖
= 𝑒𝑖 + 𝑉 𝑖
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑒𝑖
= 𝑒𝑗 + 𝑛𝑗
𝜕𝑥 𝑘

𝜕𝑒𝑖 𝑗 𝑗
= 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘

𝜕𝑉 𝜕𝑉 𝑖 𝑗 𝑗
= 𝑒𝑖 + 𝑉 𝑖 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘
𝜕𝑉 𝜕𝑉 𝑖 𝑗 𝑗
= 𝑒𝑖 + 𝑉 𝑖 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑉 𝜕𝑉 𝑖 𝑗 𝑗
= 𝑒𝑖 + 𝑉 𝑖 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑉 𝜕𝑉 𝑖 𝑗 𝑗
= 𝑒𝑖 + 𝑉 𝑖 𝛤𝑘𝑖 𝑒𝑗 + 𝑉 𝑖 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑉 𝜕𝑉 𝑖 𝑗𝛤𝑖 𝑒 + 𝑉𝑖𝑁 𝑗 𝑛 Índices mudos

= 𝑒 + 𝑉
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝑖 𝑘𝑗 𝑖 𝑘𝑖 𝑗 j

𝜕𝑉 𝜕𝑉 𝑖 𝜕𝑉 𝑖 𝑗𝛤𝑖
= + 𝑖
𝑉𝑗 𝛤𝑘𝑗 𝑒𝑖 +
𝑗
𝑉 𝑖 𝑁𝑘𝑖 𝑛𝑗 𝐷𝑘 𝑉 𝑖 = + 𝑉 𝑘𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝜕𝑥 𝑘
𝜕V 𝜕𝑉 𝑖 𝑖 𝑗
= + 𝑉𝑗 𝛤𝑘𝑗 𝑒𝑗 + 𝑉 𝑖 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑉 𝑖 𝑗𝛤𝑖
𝐷𝑘 𝑉 𝑖 = + 𝑉 𝑘𝑗
𝜕𝑥 𝑘

Símbolo de Christoffel

A Derivada Covariante é a única componente que importa ou pode ser medida no

espaço plano tangente à superfície

A Derivada Covariante é um operador que projeta a derivada de um vetor no plano

tangente
 𝜕𝑉 𝑖 𝑗𝛤𝑖
𝐷𝑘 𝑉 𝑖 = + 𝑉 𝑘𝑗
𝜕𝑥 𝑘

Símbolo de Christoffel

𝜕𝑒𝑖 𝑗 𝑗
= 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗
𝜕𝑥 𝑘
𝜕𝑒𝑖 𝑗 𝑗
𝑒𝑙 = 𝛤𝑘𝑖 𝑒𝑙 𝑒𝑗 + 𝑁𝑘𝑖 𝑒𝑙 𝑛𝑗
𝜕𝑥 𝑘
𝜕𝑒𝑖 𝑗 𝑗
𝑒𝑙 𝑘 = 𝛤𝑘𝑖 𝑔𝑙𝑗 + 𝑁𝑘𝑖 𝑒𝑙 𝑛𝑗
𝜕𝑥
𝜕𝑒𝑖 𝑗 −1 𝜕𝑒𝑖 𝑞
𝑒𝑙 𝑘 = 𝛤𝑘𝑖 𝑔𝑙𝑗 , 𝑔𝑞𝑗 𝑒𝑙 𝑘 = 𝛤𝑘𝑖
𝜕𝑥 𝜕𝑥

𝜕𝑦 𝜕𝑒𝑖 𝜕2 𝑦 𝜕2 𝑦 𝜕𝑒𝑗
𝑒𝑖 = , = = =
𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑖
 𝜕𝑒𝑖 𝑗 −1 𝜕𝑒𝑖 𝑞
𝑒𝑙 = 𝛤𝑘𝑖 𝑔𝑙𝑗 , 𝑔𝑞𝑗 𝑒𝑙 = 𝛤𝑘𝑖
𝜕𝑥 𝑘 𝜕𝑥 𝑘

𝜕𝑦 𝜕𝑒𝑖 𝜕2 𝑦 𝜕2 𝑦 𝜕𝑒𝑗
𝑒𝑖 = , = = =
𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑖

𝜕𝑒𝑖 𝑞 −1 𝝏𝑒𝑘 𝒒
−1
𝑔𝑞𝑗 𝑒𝑙 = 𝛤 𝑔𝑞𝑗 𝑒𝑙 = Γ𝒊𝒌
𝜕𝑥 𝑘 𝑘𝑖 𝝏𝒙𝒊

Simetria fundamental

𝒒 𝒒
Γ𝒌𝒊 = Γ𝒊𝒌
Símbolo de
Christoffel
𝑔𝑖𝑗 = 𝑒𝑖 . 𝑒𝑗 = 𝑒𝑖 . 𝑒𝑗 = 𝑔𝑗𝑖 O produto escalar comuta

𝜕𝑔𝑖𝑗 𝜕𝑒𝑖 𝜕𝑒𝑗

= 𝑒𝑗 + 𝑒𝑖
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝜕𝑥 𝑘

Relembrando
Normal à superfície
𝜕 𝑒𝑖 𝑞 𝑞
= 𝛤𝑘𝑖 𝑒𝑞 + 𝑁𝑘𝑖 𝑛𝑞
𝜕𝑥 𝑘

Tangente à superfície

𝜕𝑔𝑖𝑗 𝑞 𝑞 𝑞 𝑞
= 𝛤𝑘𝑖 𝑒𝑞 + 𝑁𝑘𝑖 𝑛𝑞 ej + e𝑖 𝛤𝑘𝑗 𝑒𝑞 + 𝑁𝑘𝑗 𝑛𝑞
𝜕𝑥 𝑘
𝜕𝑔𝑖𝑗 𝑞 𝑞
= 𝛤𝑘𝑖 eq . ej + e𝑖 . eq 𝛤𝑗𝑘
𝜕𝑥 𝑘

𝜕𝑔𝑖𝑗 𝑞 𝑞
= 𝛤𝑘𝑖 𝑔𝑞𝑗 + 𝛤𝑗𝑘 𝑔𝑖𝑞 (1)
𝜕𝑥 𝑘

Fazendo i → k, k → i

𝜕𝑔𝑘𝑗 𝑞 𝑞
= 𝛤𝑖𝑘 𝑔𝑞𝑗 + 𝛤𝑗𝑖 𝑔𝑘𝑞 (2)
𝜕𝑥 𝑖

Fazendo j → k, k → j

𝜕𝑔𝑖𝑘 𝑞 𝑞
= 𝛤𝑗𝑖 𝑔𝑞𝑘 + 𝛤𝑘𝑗 𝑔𝑖𝑞 (3)
𝜕𝑥 𝑗
 𝜕𝑔𝑖𝑗 𝑞 𝑞
= 𝛤𝑘𝑖 𝑔𝑞𝑗 + 𝛤𝑗𝑘 𝑔𝑖𝑞 (1)
𝜕𝑥 𝑘
𝜕𝑔𝑘𝑗 𝑞 𝑞
= 𝛤𝑖𝑘 𝑔𝑞𝑗 + 𝛤𝑗𝑖 𝑔𝑘𝑞 (2)
𝜕𝑥 𝑖
𝑞 𝑞
= 𝛤𝑗𝑖 𝑔𝑞𝑘 + 𝛤𝑘𝑗 𝑔𝑖𝑞 (3)

(1) + (2) – (3)

𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘 𝑞 𝑞 𝑞 𝑞 𝑞 𝑞

+ − = 𝛤𝑘𝑖 𝑔𝑞𝑗 + 𝛤𝑗𝑘 𝑔𝑖𝑞 + 𝛤𝑖𝑘 𝑔𝑞𝑗 + 𝛤𝑗𝑖 𝑔𝑘𝑞 - 𝛤𝑗𝑖 𝑔𝑞𝑘 − 𝛤𝑘𝑗 𝑔𝑖𝑞
𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘 𝑞 𝑞 𝑞 𝑞 𝑞 𝑞

+ − = 𝛤𝑘𝑖 + 𝛤𝑖𝑘 𝑔𝑞𝑗 + 𝛤𝑗𝑘 −𝛤𝑘𝑗 𝑔𝑖𝑞 + 𝛤𝑗𝑖 −𝛤𝑗𝑖 𝑔𝑞𝑘
𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝒒 𝒒
Pela Simetria fundamental Γ𝒋𝒌 =Γ𝒌𝒋
 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘 𝑞
+ − = 2. 𝛤𝑘𝑖 𝑔𝑞𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝑞 1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 . 𝑔𝑞𝑗 = 𝑘
+ 𝑖
−
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗

𝑞 −1 1 −1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 . 𝑔𝑞𝑗 . 𝑔𝑗𝑙 = 𝑔𝑗𝑙 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝑞 1 −1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 . 𝛿𝑞𝑙 = 𝑔𝑗𝑙 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝑙 1 −1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 = 𝑔𝑗𝑙 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗
Cálculo Variacional
 Considerando, inicialmente, apenas 1 grau de liberdade
Trajetória em uma dimensão: 𝑥 𝑡 , 𝑡 𝜖 [𝑡𝑖 , 𝑡 𝑓 ]
x

Condições de Contorno:
𝑥(𝑓)

𝑡𝑓
S [x(t) , 𝑥(𝑡)]
ሶ = ‫𝐿 𝑖𝑡׬‬ [x(t) , 𝑥(𝑡)]𝑑𝑡
ሶ
Funcional = “Função de função”
𝑥 𝑖
S = Ação

𝑡 𝑖 𝑡(𝑓) t
 Exemplo de aplicação:

Princípio de Hamilton A trajetória física corresponde a um extremo da ação (funcional):

x
Supondo x(t) um extremo da ação (S)

𝑥(𝑓)

𝑥(𝑡) 𝛿S

𝛿𝑥 𝑡𝑖 = 0
𝑥 𝑡 + 𝛿𝑥 𝑡
𝑥 𝑖 𝛿𝑥 𝑡𝑓 = 0

𝑡 𝑖 𝑡(𝑓) t
Princípio de Hamilton
A trajetória física corresponde a um extremo da ação:

𝑡𝑓 𝑡𝑓
𝛿S = ‫[ 𝐿 𝑖𝑡׬‬x(t)+𝛿x(t), 𝑥ሶ 𝑡 + 𝛿 𝑥ሶ 𝑡 ] 𝑑𝑡 − ‫[ 𝐿 𝑖𝑡׬‬x(t) , 𝑥(𝑡)]
ሶ 𝑑𝑡

𝑡𝑓
𝛿S = ‫( 𝐿[ 𝑖𝑡׬‬x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)]
ሶ 𝑑𝑡 Retirado os “(t)” para não sobrecarregar a
notação

Analisando esta diferença em

primeira ordem
CONCEITO CHAVE

𝜕𝐿 𝜕𝐿
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿 𝑥ሶ
𝜕𝑥 𝜕𝑥ሶ

𝜕𝐿 𝜕𝐿 𝑑 Pois, 𝑑𝑥
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿𝑥 𝑥ሶ =
𝜕𝑥 𝜕𝑥ሶ 𝑑𝑡 𝑑𝑡
 𝜕𝐿 𝜕𝐿 𝑑 Pois, 𝑑𝑥
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿𝑥 𝑥ሶ =
𝜕𝑥 𝜕𝑥ሶ 𝑑𝑡 𝑑𝑡

Partindo de:

𝑑 𝜕𝐿 𝑑 𝜕𝐿 𝜕𝐿 𝑑
𝛿𝑥 = 𝛿𝑥 + 𝛿𝑥
𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ 𝜕𝑥ሶ 𝑑𝑡

𝜕𝐿 𝑑 𝑑 𝜕𝐿 𝑑 𝜕𝐿
𝛿𝑥 = 𝛿𝑥 − 𝛿𝑥
𝜕𝑥ሶ 𝑑𝑡 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ

𝜕𝐿 𝜕𝐿 𝑑
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿𝑥
𝜕𝑥 𝜕𝑥ሶ 𝑑𝑡
𝜕𝐿 𝑑 𝜕𝐿 𝑑 𝜕𝐿
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿𝑥 - 𝛿𝑥
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ
 𝜕𝐿 𝑑 𝜕𝐿 𝑑 𝜕𝐿
𝐿 (x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)
ሶ = 𝛿𝑥 + 𝛿𝑥 - 𝛿𝑥
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ

𝑡𝑓
𝛿S = ‫( 𝐿[ 𝑖𝑡׬‬x+𝛿x, 𝑥ሶ + 𝛿 𝑥)
ሶ − 𝐿 (x , 𝑥)]
ሶ 𝑑𝑡

𝑡𝑓 𝜕𝐿 𝑑 𝜕𝐿 𝑑 𝜕𝐿
𝛿S = ‫[ 𝑖𝑡׬‬ 𝛿𝑥 + 𝛿𝑥 − 𝛿𝑥] 𝑑𝑡
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ

𝑡𝑓 𝜕𝐿 𝑑 𝜕𝐿 𝑑 𝜕𝐿
𝛿S = ‫[ 𝑖𝑡׬‬ 𝛿𝑥− 𝛿𝑥 + 𝛿𝑥 ] 𝑑𝑡
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ

𝑡𝑓 𝜕𝐿 𝑑 𝜕𝐿 𝑡𝑓 𝑑 𝜕𝐿
𝛿S = ‫𝑖𝑡׬‬ − 𝛿𝑥. 𝑑𝑡 + ‫𝑖𝑡׬‬ 𝛿𝑥 𝑑𝑡
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑑𝑡 𝜕𝑥ሶ

0
𝛿𝑥 𝑡𝑖 = 0
𝑡𝑓 𝜕𝐿 𝑑 𝜕𝐿 𝜕𝐿 𝑡
𝛿S = ‫ 𝑥𝜕 𝑖𝑡׬‬− 𝑑𝑡 𝜕𝑥ሶ 𝛿𝑥. 𝑑𝑡 + 𝛿𝑥 ȁ𝑡𝑓
𝜕𝑥ሶ 𝑖
𝛿𝑥 𝑡𝑓 = 0
 𝑡𝑓 𝜕𝐿 𝑑 𝜕𝐿
𝛿S = ‫𝑖𝑡׬‬ − 𝛿𝑥. 𝑑𝑡 = 0
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ

Logo:

𝜕𝐿 𝑑 𝜕𝐿 Pois 𝛿𝑥 é arbitrário
− =0
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ

Para N graus de liberdade:

𝜕𝐿 𝑑 𝜕𝐿
𝑘 − =0 1≤𝑘≤𝑁
𝜕𝑥 𝑑𝑡 𝜕𝑥ሶ 𝑘
Equações de Lagrange
em coordenadas
Gaussianas:
Partícula sobre uma superfície 2-Dimensional

y3 𝒙𝟏 I. A única força que atua no

partícula é a força de vínculo.
𝑒1
II. A superfície é suficientemente
suave de modo que em cada
𝑒2 ponto passe um único plano
tangente.

𝒙𝟐

y2

y1
Partícula sobre uma superfície 2-Dimensional

Deslocamento Infinitesimal
y3 𝑥1
𝑥 1 , 𝑥 2 → 𝑥 1 + 𝛿𝑥 1 , 𝑥 2 + 𝛿𝑥 2
𝑒1 p2
d𝑠Ԧ
p1
𝑒2 I. Como os 𝛿𝑥 𝑖 são pequenos,
podemos considerar o p2 ainda
no plano.

II. Como estamos no plano

tangente, podemos procurar dois
vetores não colineares para
𝑥2
utilizarmos como base.

y2

y1
Partícula sobre uma superfície 2-Dimensional

Espaço vetorial (Base): Vetores

𝑥1 tangentes ao ponto p, 𝑒1 , 𝑒2

𝑒1
d𝑠Ԧ
p2 𝑑𝑠 2 = σ2𝑖=1 σ2𝑗=1 𝑔𝑖𝑗 𝑑𝑥 1 𝑑𝑥 2
p1
𝑒2
Antigo Novo

𝜕 𝑦Ԧ 𝜕 𝑦Ԧ
= 𝑒1 = 𝑒1
𝜕𝑥1 𝜕𝑥 1

𝜕 𝑦Ԧ 𝜕 𝑦Ԧ
𝑥2 = 𝑒2 = 𝑒2
𝜕𝑥2 𝜕𝑥 2
Equações de Euller- Lagrange Ԧ 1 𝑑𝑥 1 + 𝑒2 𝑑𝑥 2
d𝑠=𝑒
𝑑𝑠Ԧ 𝑑𝑥1 𝑑𝑥2
y3 𝑣=
Ԧ 𝑑𝑡 =𝑒1 𝑑𝑡 + 𝑒2 𝑑𝑡
𝑥1
2 𝑑𝑠 𝑑𝑠 𝑑𝑥1 𝑑𝑥2
𝑒1 𝑣 = 𝑣. 𝑣 = . =𝑒1 .𝑒2 𝑑𝑡 . 𝑑𝑡
𝑑𝑡 𝑑𝑡
𝑑𝑠Ԧ
𝑣=
Ԧ 𝑑𝑡 𝑑𝑠 𝑑𝑠
𝑣 2 = 𝑣. 𝑣 = 𝑑𝑡 .𝑑𝑡 =𝑒1 . 𝑒2 𝑥ሶ 1 𝑥ሶ 2
𝑒2
𝑑𝑠 𝑑𝑠
𝑣 2 = 𝑣. 𝑣 = 𝑑𝑡 .𝑑𝑡 = 𝑔12 𝑥ሶ 1 𝑥ሶ 2
𝑑𝑠 𝑑𝑠
𝑣 2 = 𝑣. 𝑣 = 𝑑𝑡 .𝑑𝑡 = 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗

𝑆 (𝑡)
1 1
𝑥2 L = 2 𝑚𝑣 2 = 2 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗

y2

y1
Equações de Euller- Lagrange

𝜕𝐿 𝑑 𝜕𝐿 1 1
− 𝑑𝑡 =0 (i = 1,2) L = 2 𝑚𝑣 2 = 2 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗
𝜕𝑥 𝑖 𝜕𝑥ሶ 𝑖

𝜕𝐿 𝑚 𝜕𝑔𝑘𝑗
(1) = ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗
𝜕𝑥 𝑖 2 𝜕𝑥 𝑖

1 𝑘 𝑗
𝑑 𝜕𝐿 𝑑 𝜕(2𝑚 𝑔𝑘𝑗 𝑥ሶ 𝑥ሶ ) 𝑑 𝑚.𝑔𝑘𝑗 𝜕(𝑥ሶ 𝑘 𝑥ሶ 𝑗 )
(2) = =
𝑑𝑡 𝜕𝑥ሶ 𝑖 𝑑𝑡 𝜕𝑥ሶ 𝑖 𝑑𝑡 2 𝜕𝑥ሶ 𝑖

𝑑 𝜕𝐿 𝑑 𝑚. 𝑔𝑘𝑗 𝑘 𝑗 𝑘𝛿𝑗
= 𝛿𝑖 𝑥ሶ + 𝑥ሶ 𝑖
𝑑𝑡 𝜕𝑥ሶ 𝑖 𝑑𝑡 2

𝑑 𝜕𝐿 𝑑 𝑚 𝑑 𝑚
= 𝑑𝑡 𝑔𝑖𝑗 𝑥ሶ 𝑗 + 𝑥ሶ 𝑘 𝑔𝑘𝑖 = 𝑑𝑡 𝑔𝑖𝑗 𝑥ሶ 𝑗 + 𝑥ሶ 𝑘 𝑔𝑖𝑘
𝑑𝑡 𝜕𝑥ሶ 𝑖 2 2

Como os índices são mudos pode-se

substituir k por j.
Equações de Euller- Lagrange

𝜕𝐿 𝑑 𝜕𝐿 1 1
− 𝑑𝑡 =0 (i = 1,2) L = 2 𝑚𝑣 2 = 2 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗
𝜕𝑥 𝑖 𝜕𝑥ሶ 𝑖

𝜕𝐿 𝑚 𝜕𝑔𝑘𝑗
(1) = ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗
𝜕𝑥 𝑖 2 𝜕𝑥 𝑖

𝑑 𝜕𝐿 𝑑 𝑚 𝑑 𝑚 𝑑
(2) = 𝑑𝑡 𝑔𝑖𝑗 𝑥ሶ 𝑗 + 𝑥ሶ 𝑘 𝑔𝑖𝑘 = 𝑑𝑡 2. 𝑔𝑖𝑗 𝑥ሶ 𝑗 = 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑗
𝑑𝑡 𝜕𝑥ሶ 𝑖 2 2 𝑑𝑡

Como os índices são mudos pode-se

substituir k por j.
Equações de Euller- Lagrange

𝜕𝐿 𝑑 𝜕𝐿 1 1
− 𝑑𝑡 =0 (i = 1,2) L = 2 𝑚𝑣 2 = 2 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗
𝜕𝑥 𝑖 𝜕𝑥ሶ 𝑖

𝜕𝐿 𝑚 𝜕𝑔𝑘𝑗
(1) = ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗
𝜕𝑥 𝑖 2 𝜕𝑥 𝑖

𝑑 𝜕𝐿 𝑑 𝜕𝑔𝑖𝑗 𝜕𝑥 𝑘 𝜕𝑔𝑖𝑗
(2) = 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑗 = m( 𝜕𝑥 𝑘 )𝑥ሶ 𝑗 + m 𝑔 𝑥ሷ 𝑗 = m
𝑖𝑗 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + m 𝑔 𝑥ሷ 𝑗
𝑖𝑗
𝑑𝑡 𝜕𝑥ሶ 𝑖 𝑑𝑡 𝜕𝑡 𝜕𝑥 𝑘

(1) – (2)
𝑚 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑗
( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 - m 𝜕𝑥 𝑘 𝑥ሶ 𝑘 𝑥ሶ 𝑗 - m 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
2 𝜕𝑥 𝑖

𝜕𝑔𝑖𝑗 𝑘 𝑗 𝑚 𝜕𝑔𝑘𝑗
m 𝑘 𝑥ሶ 𝑥ሶ - ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + m 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
𝜕𝑥 2 𝜕𝑥 𝑖

𝜕𝑔𝑖𝑗 𝑘 𝑥ሶ 𝑗 - 1 𝜕𝑔𝑘𝑗
𝜕𝑥 𝑘 𝑥ሶ (
2 𝜕𝑥 𝑖
) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
Equações de Euller- Lagrange

𝜕𝑔𝑖𝑗 𝑘 𝑗 1 𝜕𝑔𝑘𝑗
𝑘 𝑥ሶ 𝑥ሶ - ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
𝜕𝑥 2 𝜕𝑥 𝑖

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 1 𝜕𝑔𝑘𝑗

+ 𝑥ሶ 𝑘 𝑥ሶ 𝑗 - ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 2 𝜕𝑥 𝑖

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 1 𝜕𝑔𝑘𝑗

+ 𝑥ሶ 𝑘 𝑥ሶ 𝑗 - ( ) 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 2 𝜕𝑥 𝑖

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

+ − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 + 𝑔𝑖𝑗 𝑥ሷ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝑔𝑖𝑗 𝑥ሷ 𝑗 + + − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

Definido:
𝑖𝑘 𝑘
𝑔𝑖𝑗 = [𝑔𝑖𝑗 ]−1 Então, 𝑔 𝑔𝑖𝑗 = 𝛿𝑗
Equações de Euller- Lagrange

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝑔𝑖𝑗 𝑥ሷ 𝑗 + + − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

Definido:
𝑖𝑘 𝑘
𝑔𝑖𝑗 = [𝑔𝑖𝑗 ]−1 Então, 𝑔 𝑔𝑖𝑗 = 𝛿𝑗

𝑚𝑖
Como o índice livre é i, multiplicarei a equação por 𝑔

𝑔𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝑔𝑚𝑖 . 𝑔𝑖𝑗 𝑥ሷ 𝑗 + + − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

𝑔𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝛿𝑗𝑚 𝑥ሷ 𝑗 + + − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

𝑔𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝑥ሷ 𝑚 + + − 𝑥ሶ 𝑘 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖
Equações de Euller- Lagrange

𝑚 𝑔𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗 𝑘 𝑗

𝑥ሷ + + − 𝑥ሶ 𝑥ሶ = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖
𝑚 𝑚 𝑘 𝑗
𝑥ሷ + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ =0 2º Lei de Newton
Símbolo de Christoffel

𝑚 1 𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗

𝛤𝑘𝑗 = 𝑔 𝑘
+ 𝑗
−
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑖
Substituindo:
m→l 1 𝑙𝑗 𝜕𝑔𝑗𝑘 𝜕𝑔𝑗𝑖 𝜕𝑔𝑖𝑘
k→i 𝛤𝑖𝑘𝑙 = 𝑔 𝑖
+ 𝑘−
j→k 2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗
i→j
1 𝑙𝑗 𝜕𝑔𝑗𝑖 𝜕𝑔𝑗𝑘 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔 𝑘
+ 𝑖
−
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗
Equações de Euller- Lagrange

1 𝑙𝑗 𝜕𝑔𝑗𝑖 𝜕𝑔𝑗𝑘 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘𝑙 = 𝑔 𝑘
+ 𝑖
− Pela simetria do
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗 tensor métrico

1 𝑙𝑗 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘𝑙 = 𝑔 𝑘
+ 𝑖
−
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗

Símbolo de Christoffel

𝑙 1 𝑙𝑗 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 = 𝑔 𝑘
+ 𝑖
−
2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗
Símbolo de Christoffel

Anterior

𝑙 1 −1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘

𝛤𝑖𝑘 = 𝑔𝑗𝑙 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

Novo

𝑙 1 𝑙𝑗
𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘 = 𝑔 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝑙𝑗 −1
𝑔 = [𝑔𝑗𝑙 ]
 2° Lei de Newton

Na ausência de força, seria essa

𝑚 𝑚 𝑘 𝑗
𝑥ሷ + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ =0 a equação de uma “linha reta”
numa superfície genérica?

Se a superfície for plana e as coordenadas forem cartesianas:

𝑚 1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘 1 0

𝛤𝑘𝑗 =0 𝛤𝑖𝑘𝑙 = 𝑔
2 𝑗𝑙
−1
𝜕𝑥 𝑘
+
𝜕𝑥 𝑖
− 𝑗
𝜕𝑥
𝑔𝑖𝑗 =
0 1

𝑥ሷ 𝑚 = 0
𝑚 Na ausência de forças a trajetória, numa superfície
𝑥 = a.t + b plana, é uma linha reta
 Geodésica
“A linha reta dos espaços”
 y3 C: O menor caminho que conecta dois
pontos na superfície
𝑑𝒔
A C

y2

y1
 𝑑𝑠Ԧ =𝐞𝐢 𝑑𝑥 𝑖
y3 𝑑𝑠 2 = σ2𝑖=1 σ2𝑗=1 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗

𝑑𝒔
A C 𝑑𝑠 = 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗

B Comprimento da curva C:

𝐵 𝐵
‫𝐴׬ = 𝑠𝑑 𝐴׬‬ 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗

y2

y1
 Comprimento da curva C:

𝐵 𝐵
‫𝑠𝑑 𝐴׬‬ = ‫𝐴׬‬ 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗

Farei a curva ser parametrizada pelo parâmetro τ, escolhido de modo que τ(A)=0 e τ(B)=1

𝐵 1 𝑑𝑠 1 1 𝑑𝑥 𝑖 𝑑𝑥 𝑗
‫𝑠𝑑 𝐴׬‬ = ‫׬‬0 𝑑τ 𝑑τ = ‫׬‬0 𝑙 𝑑τ =‫׬‬0 𝑔𝑖𝑗 𝑑τ
𝑑τ 𝑑τ

𝑑𝑠
=𝑙 (comprimento total da curva C, pois τ vai de 0 à 1)
𝑑τ

𝑑𝑠 = 𝑙. 𝑑τ
𝒔
Isso significa que escolhemos τ como sendo τ = 𝑙

1 𝐵 𝑑𝑥 𝑖 𝑑𝑥 𝑗
‫׬‬0 𝑑𝑠 = ‫𝐴׬‬ 𝑔𝑖𝑗 𝑑τ ≝ D 𝑥 𝑖 τ , 𝑥ሶ 𝑖 (τ)
𝑑τ 𝑑τ
 1 𝐵 𝑑𝑥 𝑖 𝑑𝑥 𝑗
‫׬‬0 𝑑𝑠 = ‫𝐴׬‬ 𝑔𝑖𝑗 𝑑τ ≝ D 𝑥 𝑖 τ , 𝑥ሶ 𝑖 (τ)
𝑑τ 𝑑τ

Vamos minimizar D, ou seja, queremos fazer variações nas coordenadas 𝑥 𝑖 , mantendo 𝛿𝑥 𝑖

= 0 nos extremos A e B exigindo que 𝛿𝐷 = 0 sob essas variações:

𝑥 𝑖 → 𝑥 𝑖 + 𝛿𝑥 𝑖 , 𝛿𝐷 = 0

𝑑𝑥𝑖 𝑑𝑥𝑗 𝑑𝑥𝑖 𝑑𝑥𝑗

𝜕 𝑔𝑖𝑗 𝑑 𝜕 𝑔𝑖𝑗
𝑑 𝑑 τ τ− 𝑑 𝑑τ τ =0
𝜕𝑥 𝑖 𝑑τ 𝜕𝑥ሶ 𝑖
 𝑑𝑥𝑖 𝑑𝑥𝑗 𝑑𝑥𝑖 𝑑𝑥𝑗
𝜕 𝑔𝑖𝑗 𝑑 𝜕 𝑔𝑖𝑗
𝑑 𝑑τ τ− τ τ =0
𝑑 𝑑
𝜕𝑥 𝑖 𝑑τ 𝜕𝑥ሶ 𝑖

𝜕 𝐿 𝑑 𝜕 𝐿
− =0 L≝
𝑑𝑥 𝑖 𝑑𝑥 𝑗
𝑔𝑖𝑗 𝑑τ 𝑑τ
𝜕𝑥 𝑖 𝑑τ 𝜕𝑥ሶ 𝑖

𝜕 𝐿 𝜕 𝐿 𝜕𝐿 1 𝜕𝐿
𝑖 = =
𝜕𝑥 𝜕𝐿 𝜕𝑥 𝑖 2 𝐿 𝜕𝑥 𝑖
1 𝜕𝐿 𝑑 1 𝜕𝐿
- =0
2 𝐿 𝜕𝑥 𝑖 𝑑τ 2 𝐿 𝜕𝑥ሶ 𝑖
𝑑 𝜕 𝐿 𝑑 1 𝜕𝐿
=
𝑑τ 𝜕𝑥ሶ 𝑖 𝑑τ 2 𝐿 𝜕𝑥ሶ 𝑖
 1
𝜕𝐿 𝑑 1 𝜕𝐿
- =0
2 𝐿 𝜕𝑥 𝑖 𝑑τ 2 𝐿 𝜕𝑥ሶ 𝑖

𝐵 1 𝑑𝑠 1 1 𝑑𝑥 𝑖 𝑑𝑥 𝑗
‫𝑠𝑑 𝐴׬‬ = ‫׬‬0 𝑑τ 𝑑τ = ‫׬‬0 𝑙 𝑑τ =‫׬‬0 𝑔𝑖𝑗 𝑑τ
𝑑τ 𝑑τ

𝑑𝑠
1 𝑑𝑠 1 𝑑𝑥 𝑖 𝑑𝑥 𝑗 =𝑙
‫׬‬0 𝑑τ 𝑑τ =‫׬‬0 𝑔𝑖𝑗 𝑑τ 𝑑τ
𝑑τ 𝑑τ (comprimento total da curva C, pois τ vai de 0 à 1)

𝑑𝑠 𝑑𝑥 𝑖 𝑑𝑥 𝑗
=𝑙= 𝑔𝑖𝑗
𝑑τ 𝑑τ 𝑑τ

𝑑𝑥 𝑖 𝑑𝑥 𝑗
𝜕𝐿 𝑑 𝜕𝐿
𝑑𝑠
=𝑙= 𝑔𝑖𝑗 = 𝐿 = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 - =0
𝑑τ 𝑑τ 𝑑τ 𝜕𝑥 𝑖 𝑑τ 𝜕𝑥ሶ 𝑖
 1 𝜕𝐿 𝑑 1 𝜕𝐿
- =0
2 𝐿 𝜕𝑥 𝑖 𝑑τ 2 𝐿 𝜕𝑥ሶ 𝑖

𝜕𝐿 𝑑 𝜕𝐿 Trocando i ↔ K
- =0
𝜕𝑥 𝑘 𝑑τ 𝜕𝑥ሶ 𝑘 Nenhum motivo especial. Apenas economia do autor

𝜕 𝑔 𝑖 𝑑𝑥 𝑗
(1) 𝜕𝐿 𝑖𝑗 𝑑𝑥 𝑥ሶ 𝑖 𝑥ሶ 𝑗
=
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝑑τ 𝑑τ

𝑑 𝜕𝐿 𝑑 𝜕 𝑑𝑥 𝑖 𝑑𝑥 𝑗 𝑑 𝑖 𝑑𝑥
𝑗 𝑑𝑥 𝑖 𝑗
(2) = 𝑔𝑖𝑗 ሶ 𝑘 = 𝑔𝑖𝑗 𝛿𝑘 + 𝛿
𝑑τ 𝜕𝑥ሶ 𝑘 𝑑τ 𝜕𝑥 𝑑τ 𝑑τ 𝑑τ 𝑑τ 𝑑τ 𝑘

𝑑 𝑑𝑥 𝑗 𝑑𝑥 𝑖 𝑑 𝑑𝑥 𝑗 𝑑𝑥 𝑖
= 𝑔𝑘𝑗 + 𝑔𝑖𝑘 = 𝑔𝑘𝑗 + 𝑔𝑗𝑘
𝑑τ 𝑑τ 𝑑τ 𝑑τ 𝑑τ 𝑑τ

Como os índices são mudos 𝑑 𝑑𝑥 𝑗

= 2. 𝑔𝑗𝑘
pode-se substituir i pelo j 𝑑τ 𝑑τ
 𝜕𝐿 𝜕 𝑔𝑖𝑗 𝑑𝑥 𝑖 𝑑𝑥 𝑗 𝜕 𝑔𝑖𝑗
(1) = = 𝑥ሶ 𝑖 𝑥ሶ 𝑗
𝜕𝑥 𝑘 𝜕𝑥 𝑘 𝑑τ 𝑑τ 𝜕𝑥 𝑘

𝑑 𝜕𝐿 𝑑 𝑑𝑥 𝑗 𝑑 𝜕𝑔𝑗𝑘
(2) = 2. 𝑔𝑗𝑘 = 2. 𝑔𝑗𝑘 𝑥ሶ 𝑗 = 2. 𝑥ሶ 𝑖 𝑥ሶ 𝑗 + 𝑔𝑗𝑘 𝑥ሷ 𝑗
𝑑τ 𝜕𝑥ሶ 𝑘 𝑑𝑣 𝑑τ 𝑑τ 𝜕𝑥 𝑖

𝜕 𝑔𝑖𝑗 𝜕𝑔𝑗𝑘
𝑥ሶ 𝑖 𝑥ሶ 𝑗 - 2 𝑥ሶ 𝑖 𝑥ሶ 𝑗 - 2 𝑔𝑗𝑘 𝑥ሷ 𝑗 = 0
𝜕𝑥 𝑘 𝜕𝑥 𝑖

1 𝜕 𝑔𝑖𝑗 𝑖 𝑗 𝜕𝑔𝑗𝑘
𝑔𝑗𝑘 𝑥ሷ 𝑗 - 𝑥ሶ 𝑥ሶ + 𝑥ሶ 𝑖 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖

1 𝜕 𝑔𝑖𝑗 𝑖 𝑗 1 𝜕𝑔𝑗𝑘 𝜕𝑔𝑘𝑖 𝑖

𝑔𝑗𝑘 𝑥ሷ 𝑗 - 𝑥ሶ 𝑥ሶ + ( + )𝑥ሶ 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑘 2 𝜕𝑥 𝑖 𝜕𝑥 𝑗

1 𝜕𝑔𝑗𝑘 𝜕𝑔𝑘𝑖 𝜕 𝑔𝑖𝑗 𝑖

𝑔𝑗𝑘 𝑥ሷ 𝑗 + ( + − 𝑘 )𝑥ሶ 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥
 1 𝜕𝑔𝑗𝑘 𝜕𝑔𝑘𝑖 𝜕 𝑔𝑖𝑗 𝑖
𝑔𝑗𝑘 𝑥ሷ 𝑗 + ( + − 𝑘 )𝑥ሶ 𝑥ሶ 𝑗 = 0
2 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕 𝑔𝑘𝑗 𝑘

𝑔𝑖𝑗 𝑥ሷ 𝑗 + ( + − )𝑥ሶ 𝑥ሶ 𝑗 = 0 Trocando K ↔ i
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

𝑚 𝑔𝑚𝑖 𝜕𝑔𝑖𝑗 𝜕𝑔𝑖𝑘 𝜕𝑔𝑘𝑗 𝑘 𝑗

𝑥ሷ + + − 𝑥ሶ 𝑥ሶ = 0
2 𝜕𝑥 𝑘 𝜕𝑥 𝑗 𝜕𝑥 𝑖

𝑚 𝑚 𝑘 𝑗
𝑥ሷ + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ =0
 Geodésica Lei de Newton
𝑚 𝑘 𝑗 𝑚 𝑘 𝑗
𝑥ሷ 𝑚 + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ = 0 𝑥ሷ 𝑚 + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ = 0

Geometria Dinâmica

O parâmetro O parâmetro
escolhido foi τ escolhido foi t
Como

1 1
L = 2 𝑚𝑣 2 = 2 𝑚 𝑔𝑖𝑗 𝑥ሶ 𝑖 𝑥ሶ 𝑗

É trivial passar de τ para t caso

se trate da Geodésica de uma
partícula livre
 Como não age força na partícula o módulo da velocidade é constante:
𝑚𝑣02 𝑚𝑣𝑡2 𝑚 𝑑𝑠 2
𝐸=
2
=
2
=
2 𝑑𝑡
= constante
𝑑𝑠
Observamos que 𝑑τ = 𝑙 (Comprimento total de C)

𝑑𝑠 = 𝑣0 .dt = 𝑙. 𝑑τ
𝑣0
𝑑τ = .dt
𝑙
𝜕𝐿 𝑑 𝜕𝐿 𝜕𝐿 𝑑 𝜕𝐿
- =0 - 𝑣0 =0
𝜕𝑥 𝑖 𝑑τ 𝜕𝑥ሶ 𝑖 𝜕𝑥 𝑖 .dt 𝑑𝑥
𝜕(𝑣0 )𝑖
𝑙
𝑙
.dt

𝜕𝐿 𝑑 𝜕𝐿 𝜕𝐿 𝑑 𝜕𝐿
- =0 - =0
𝜕𝑥 𝑖 𝑑τ 𝑑𝑥 𝑖
𝜕(𝑑τ ) 𝜕𝑥 𝑖 𝑑t 𝜕𝑥ሶ 𝑖
Tensor de curvatura de
Riemann
Curvatura intrínseca
α+ β +γ = π α+ β +γ = π

β
Curvatura extrínseca
α+ β +γ > π

Curvatura intrínseca
Curvas Paralelas
 Curvas Paralelas

Geometria Euclidiana:

Se duas curvas são geodésicas e inicialmente paralelas entre elas então elas deverão
permanecer paralelas em todo o domínio
Geodésicas, mas não paralelas

Paralelas, mas não geodésicas

Desvio da Geodésica Mesma velocidade
𝒚2 𝑡 = ct𝑥ො + ct𝑦ො
𝒚1ሶ (𝑡) = 𝒚2ሶ (𝑡) = cte
𝒚1 𝑡 = at𝑥ො + bt𝑦ො 𝑎2 + 𝑏 2 = 𝑐 2 + 𝑑 2

𝑑= 𝑎2 + 𝑏 2 − 𝑐 2

ሶ
Digite a equação aqui.
𝜒Ԧ 𝑡 = (c−a)𝑥ො + (d-b)𝑦ො

𝜒Ԧሷ 𝑡 = 0

𝜒Ԧ 𝑡 = 𝑦2 𝑡 − 𝑦1 𝑡 =(c−a)t𝑥ො + (d-b)t𝑦ො
𝜒Ԧሷ 𝑡 = 0 𝜒Ԧሷ 𝑡 = 0
 Se𝜒Ԧሷ 𝑡 ≠ 0, Sim

Curvatura intrínseca local

Se 𝜒ሷ 𝑡 = 0, Não
Vamos calcular a aceleração do vetor diferença de duas geodésicas
numa superfície arbitária:
Equação das Geodésicas

𝑥ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥).
෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘

𝑥ሷ 𝑖 + 𝜒ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)(

෤ 𝑥ሶ 𝑗 + 𝜒ሶ 𝑗 )(𝑥ሶ 𝑘 + 𝜒ሶ 𝑘 )

𝑥(𝑡)
෤ = (𝑥 1 , 𝑥 2 )

𝑥෤ 𝑠 + 𝜒ǁ 𝑠

𝑥(𝑠)
෤ 𝜒Ԧ 𝑠 = 𝜒 𝑖 (𝑠)𝒆𝒊 (s)

x෤ s , é descrito em função de s (a distância percorrida ao longo da geodésica)

 𝑥ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥).
෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘

𝑥ሷ 𝑖 + 𝜒ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)(

෤ 𝑥ሶ 𝑗 + 𝜒ሶ 𝑗 )(𝑥ሶ 𝑘 + 𝜒ሶ 𝑘 )
Muito pequeno ~ 0

= − 𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒ǁ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒ǁ 𝑥ሶ 𝑗 𝜒ሶ 𝑘 − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)ǁ 𝜒ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)ǁ 𝜒ሶ 𝑗 𝜒ሶ 𝑘

Série de Taylor
𝜕
𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒෤ = 𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒 𝑙 𝑙 𝛤 𝑖
𝑗𝑘 𝑥෤ + ...
𝜕𝑥

𝑥ሷ 𝑖 + 𝜒ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥෤ + 𝜒෤ 𝑥ሶ 𝑗 𝜒ሶ 𝑘 − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)

෤ 𝜒ሶ 𝑗 𝑥ሶ 𝑘

𝜕 𝜕 𝜕
= − (𝛤𝑗𝑘𝑖 𝑥෤ +𝜒 𝑙 𝛤 𝑖 𝑥෤ )𝑥ሶ 𝑗 𝑥ሶ 𝑘 − (𝛤𝑗𝑘𝑖 𝑥෤ +𝜒 𝑙
𝑙 𝑗𝑘
𝛤 𝑖 𝑥෤ )𝑥ሶ 𝑗 𝜒ሶ 𝑘 − (𝛤𝑗𝑘𝑖 𝑥෤ +𝜒 𝑙
𝑙 𝑗𝑘
𝛤 𝑖
𝑥෤ )𝜒ሶ 𝑗 𝑥ሶ 𝑘
𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑙 𝑗𝑘
~0 ~0
𝜕 𝜕 𝑖 𝜕 𝑖
= − 𝛤𝑗𝑘𝑖 𝑥෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 −𝜒 𝑙 𝛤 𝑖 𝑥෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥෤ 𝑥ሶ 𝑗 𝜒ሶ 𝑘 −𝜒 𝑙
𝑙 𝑗𝑘 𝑙 𝛤𝑗𝑘 𝑥
෤ 𝑥ሶ 𝑗 𝑘
𝜒ሶ − 𝛤 𝑖
𝑗𝑘 𝑥
෤ 𝜒ሶ 𝑗 𝑘
𝑥ሶ −𝜒 𝑙
𝑙 𝛤𝑗𝑘 𝑥෤ 𝜒ሶ 𝑗 𝑥ሶ 𝑘
𝜕𝑥 𝜕𝑥 𝜕𝑥
𝜕
= − 𝛤𝑗𝑘𝑖 𝑥෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 −𝜒 𝑙 𝛤 𝑖
𝑥෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥෤ 𝑥ሶ 𝑗 𝜒ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥෤ 𝜒ሶ 𝑗 𝑥ሶ 𝑘
𝜕𝑥 𝑙 𝑗𝑘
 𝑥ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥).
෤ 𝑥ሶ 𝑗 𝑥ሶ 𝑘

𝑥ሷ 𝑖 + 𝜒ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 (𝑥෤ + 𝜒)(

෤ 𝑥ሶ 𝑗 + 𝜒ሶ 𝑗 )(𝑥ሶ 𝑘 + 𝜒ሶ 𝑘 )

𝜕
𝑥ሷ 𝑖 + 𝜒ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 𝑥ǁ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 −𝜒 𝑙 𝛤𝑖
𝑥ǁ 𝑥ሶ 𝑗 𝑥ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥ǁ 𝑥ሶ 𝑗 𝜒ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝑥ǁ 𝜒ሶ 𝑗 𝑥ሶ 𝑘
𝜕𝑥 𝑙 𝑗𝑘

Equação das Geodésicas

𝑥ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝑥ሶ 𝑘
𝜕 𝑖 𝑙 𝑗 𝑘 𝑖 𝑗 𝑘 𝑖 𝑗 𝑘
𝜒ሷ 𝑖 =− 𝑙
𝛤𝑗𝑘 𝜒 𝑥ሶ 𝑥ሶ − 𝛤𝑗𝑘 𝑥ሶ 𝜒ሶ − 𝛤𝑗𝑘 𝜒ሶ 𝑥ሶ
𝜕𝑥

Derivada do vetor 𝜒 (Derivada covariante)

𝑑2 𝜒
𝜕𝑉 𝑖 𝑘𝛤𝑖
= (𝐷 𝜒 ) 𝑒𝑖 2 𝑖 𝐷𝑘 𝑉 𝑖 = + 𝑉 𝑗𝑘
𝑑𝑠 2 𝜕𝑥 𝑘
Derivada do vetor 𝜒 (Derivada covariante)

𝑑 2 𝜒Ԧ 2 𝜒 𝑖 )𝑒
= (𝐷 𝑖
𝑑𝑠 2 𝜕 𝑒𝑖
𝜕𝑥 𝑘
𝑗 𝑗
= 𝛤𝑘𝑖 𝑒𝑗 + 𝑁𝑘𝑖 𝑛𝑗

𝜕𝑉 𝜕𝑉 𝑖 𝜕𝑒𝑖 𝜕𝑒𝑖 𝜕𝑥 𝑘
= 𝑒𝑖 + 𝑉𝑖 = 𝑉ሶ 𝑖 𝑒𝑖 + 𝑉𝑖
𝜕𝑠 𝜕𝑠 𝜕𝑠 𝜕𝑥 𝑘 𝜕𝑠

𝜕𝑒𝑖 𝜕𝑥 𝑘 𝑗 𝑖
𝑉𝑖 = 𝛤𝑘𝑖 𝑥ሶ 𝑘 𝑉 𝑖 𝑒𝑗 = 𝛤𝑘𝑗 𝑥ሶ 𝑘 𝑉𝑗 𝑒𝑖 = 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝑉 𝑘 𝑒𝑖
𝜕𝑥 𝑘 𝜕𝑠

𝜕𝑉
= [𝑉ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝑉 𝑘 ]𝑒𝑖
𝜕𝑠

𝑑
𝐷 2 𝜒 𝑖 = 𝐷 𝜒ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒 𝑘 = 𝜒ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑘 + 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
𝑑𝑠
 𝑑
𝐷 2 𝜒 𝑖 = 𝐷 𝜒ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒 𝑘 = 𝜒ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑘 + 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
𝑑𝑠

ሶ 𝑖 𝑥ሶ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝑥ሷ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒ሶ 𝑘 + 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑘 𝑥ሶ 𝑗 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗

𝐷 2 𝜒 𝑖 = 𝜒ሷ 𝑖 + 𝛤𝑗𝑘

Equação das Geodésicas

𝑥ሷ 𝑖 = − 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝑥ሶ 𝑘
𝜕 𝑖 𝑙 𝑗 𝑘 𝑖 𝑗 𝑘 𝑖 𝑗 𝑘
𝜒ሷ 𝑖 =− 𝑙
𝛤𝑗𝑘 𝜒 𝑥ሶ 𝑥ሶ − 𝛤𝑗𝑘 𝑥ሶ 𝜒ሶ − 𝛤𝑗𝑘 𝜒ሶ 𝑥ሶ
𝜕𝑥

ሶ 𝑖 𝑥ሶ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝑥ሷ 𝑗 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒ሶ 𝑘 + 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑘 𝑥ሶ 𝑗 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗

𝐷 2 𝜒 𝑖 = 𝜒ሷ 𝑖 + 𝛤𝑗𝑘
𝜕
𝐷2𝜒𝑖 = − 𝑙 𝛤𝑗𝑘𝑖 𝜒 𝑙 𝑥ሶ 𝑗 𝑥ሶ 𝑘 ሶ 𝑖 𝑥ሶ 𝑗 𝜒 𝑘 − 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑗 𝑥ሶ 𝑙 𝑥ሶ 𝑞 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑘 𝜒ሶ 𝑖 + 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑘 𝑥ሶ 𝑗 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
− 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝜒ሶ 𝑘 − 𝛤𝑗𝑘𝑖 𝜒ሶ 𝑗 𝑥ሶ 𝑘 + 𝛤𝑗𝑘
𝜕𝑥

𝜕 𝑗
𝐷2 𝜒𝑖 = − 𝑙 𝛤𝑗𝑘𝑖 𝜒 𝑙 𝑥ሶ 𝑗 𝑥ሶ 𝑘 + 𝛤𝑗𝑘
ሶ𝑖 𝑥ሶ 𝑗 𝜒 𝑘 − 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞 𝑥ሶ 𝑙 𝑥ሶ 𝑞 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
𝜕𝑥
 𝜕 𝑖 𝑙 𝑗 𝑘 𝑖 𝑗
𝐷2 𝜒𝑖 = − 𝛤 𝜒 𝑥ሶ 𝑥ሶ + 𝛤 ሶ 𝑥ሶ 𝑗 𝜒 𝑘 − 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞 𝑥ሶ 𝑙 𝑥ሶ 𝑞 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
𝜕𝑥 𝑙 𝑗𝑘 𝑗𝑘

𝑙
ሶ 𝑖 = 𝜕 𝛤𝑗𝑘𝑖 =
𝛤𝑗𝑘
𝜕
𝛤 𝑖 𝜕𝑥
=
𝜕
𝛤 𝑖 𝑙
𝑥ሶ
𝜕𝑠 𝜕𝑥 𝑙 𝑗𝑘 𝜕𝑠 𝜕𝑥 𝑙 𝑗𝑘

𝜕 𝑖 𝑙 𝑗 𝑘 𝜕 𝑖 𝑙 𝑗 𝑘 𝑗
𝐷2 𝜒𝑖 = − 𝛤𝑗𝑘 𝜒 𝑥ሶ 𝑥ሶ + 𝛤𝑗𝑘 𝑥ሶ 𝑥ሶ 𝜒 − 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞 𝑥ሶ 𝑙 𝑥ሶ 𝑞 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑙 𝜒 𝑞 𝑥ሶ 𝑗
𝜕𝑥 𝑙 𝜕𝑥 𝑙

Como todos os índices são somados, excetos pelo “i”. Podemos renomeá los.
𝜕 𝜕 𝑗
𝐷2 𝜒𝑖 = − 𝑙 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑗 𝑥ሶ 𝑘 𝜒 𝑙 + 𝑙 𝛤𝑗𝑘𝑖 𝑥ሶ 𝑙 𝑥ሶ 𝑗 𝜒 𝑘 − 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞 𝑥ሶ 𝑙 𝑥ሶ 𝑞 𝜒 𝑘 + 𝛤𝑗𝑘𝑖 𝛤𝑙𝑞𝑘 𝑥ሶ 𝑗 𝑥ሶ 𝑙 𝜒 𝑞
𝜕𝑥 𝜕𝑥
k→l k→l q→l
l→K j→m l→j
l→k j→k
k→m i→α
q→j
l→γ
j→β
𝜕 𝑖 𝜕
𝐷2 𝜒𝑖 = − 𝑙 𝛤𝑗𝑘 − 𝐾 𝛤𝑗𝑙𝑖 𝑖
+ 𝛤𝑚𝑙 𝑚
𝛤𝑘𝑗 𝑖
−𝛤𝑘𝑚 𝛤𝑗𝑙𝑚 𝑥ሶ 𝑗 𝑥ሶ 𝑘 𝜒 𝑙 k→𝛿
𝜕𝑥 𝜕𝑥 m→ϵ

Tensor de Curvatura de Riemann

 𝜕 𝑖 𝜕 𝑖 𝑚
𝐷2𝜒𝑖 = − 𝛤 − 𝛤 𝑖
+ 𝛤𝑚𝑙 𝛤𝑘𝑗 𝑖
−𝛤𝑘𝑚 𝛤𝑗𝑙𝑚 𝑥ሶ 𝑗 𝑥ሶ 𝑘 𝜒 𝑙
𝜕𝑥 𝑙 𝑗𝑘 𝜕𝑥 𝐾 𝑗𝑙

i→α
l→γ
j→β
k→𝛿
m→ϵ

α 𝜕 𝛼 𝜕 α α ϵ α ε
𝑅βγδ =− γ
𝛤𝛽δ − 𝛿
𝛤𝛽γ + 𝛤ϵ 𝛤
𝛾 𝛿𝛽 −𝛤𝛿 ε
𝛤βγ
𝜕𝑥 𝜕𝑥

𝑑2𝝌 α β 𝛿 𝛾
= −𝑅βγδ 𝑥ሶ 𝑥ሶ 𝜒 . 𝒆𝒊 Desvio da Geodésica
𝑑𝑠 2
Tensor de curvatura
de Ricci
𝑥෤ 𝑠 + 𝜉ሚ 𝑠
𝑥෤ 𝑠 + 𝜒ǁ 𝑠
𝑥(𝑠)
෤

Ԧ
𝜉(𝑠)
𝜒(𝑠)
Ԧ
𝑥෤ 𝑠 + 𝜉ሚ 𝑠
𝑥෤ 𝑠 + 𝜒ǁ 𝑠
𝑥(𝑠)
෤

Ԧ
𝜉(𝑠)
𝜒(𝑠)
Ԧ
𝑥෤ 𝑠 + 𝜉ሚ 𝑠
𝑥෤ 𝑠 + 𝜒ǁ 𝑠
𝑥(𝑠)
෤

Ԧ + 𝑑𝑠)
𝜉(𝑠
𝜒(𝑠
Ԧ + 𝑑𝑠)

A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො

Para uma superfície 2-D:

(𝑒1 x 𝑒2 ). 𝑛ො = - (𝑒2 x 𝑒1 ). 𝑛ො

(𝑒1 x 𝑒1 ). 𝑛ො = (𝑒2 x 𝑒2 ). 𝑛ො = 0

1
𝜒 𝜒2
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො = 1 2 (𝑒1 x 𝑒2 ). 𝑛
ො
𝜉 𝜉
A= (𝜒1 𝜉 2 − 𝜒 2 𝜉1 ) (𝑒1 x 𝑒2 ). 𝑛ො
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො
𝑑𝐴 ሶ Ԧ Ԧሶ ෝሶ
= (𝜒Ԧ x 𝜉 ). 𝑛ො + (𝜒x 𝜉). 𝑛ො + (𝜒x 𝜉). 𝑛
𝑑𝑠
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො
𝑑𝐴 ሶ Ԧ Ԧሶ ෝሶ
= (𝜒Ԧ x 𝜉 ). 𝑛ො + (𝜒x 𝜉). 𝑛ො + (𝜒x 𝜉). 𝑛
𝑑𝑠
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො = 𝜒 𝑖 𝜉 𝑗 (𝑒𝑖 x 𝑒𝑗 ). 𝑛ො
𝑑𝐴 ሶ Ԧ Ԧሶ ෝሶ
= (𝜒Ԧ x 𝜉 ). 𝑛ො + (𝜒x 𝜉). 𝑛ො + (𝜒x 𝜉). 𝑛
𝑑𝑠

𝑑𝐴 ሶ Ԧ Ԧሶ
= (𝜒Ԧ x 𝜉 ). 𝑛ො + (𝜒x 𝜉). 𝑛ො
𝑑𝑠
𝜃
𝐴 = 𝜋𝑟 2 𝜃
𝑑2𝐴
2 = ?
𝑑𝑠

sin 𝜃 = 𝜃
1 − cos 𝜃 = 𝜃²
A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො
𝑑𝐴 ሶ Ԧ Ԧሶ
= (𝜒Ԧ x 𝜉) 𝑛ො + (𝜒 x 𝜉) 𝑛ො
𝑑𝑠

𝑑(𝜒ሶ x 𝜉 ). 𝑛ො ሷ Ԧ ሶ Ԧሶ
= (𝜒Ԧ x 𝜉 ) + (𝜒 x 𝜉) 𝑛ො
𝑑𝑠
𝑑( 𝜒 x 𝜉ሶ ). 𝑛ො ሶ Ԧሶ ሷ
= (𝜒Ԧ x 𝜉) + (𝜒Ԧ x 𝜉) 𝑛ො
𝑑𝑠

𝑑2𝐴 ሷ Ԧ ሷ ሶ Ԧሶ
2 = (𝜒Ԧ x 𝜉 ) + (𝜒Ԧ x 𝜉) + 2(𝜒 x 𝜉) 𝑛ො
𝑑𝑠

𝑑2𝝌 α
= −𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 𝛾 𝑒𝑖
𝑑𝑠 2
 𝑑2𝐴 Ԧሶ 𝑛ො
= α
( − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 𝛾 𝑒𝑖 x 𝜉Ԧ ) + (𝜒Ԧ x − 𝑅βγδ
α
𝑥ሶ β 𝑥ሶ 𝛿 𝜒 𝛾 𝑒𝑖 ) + 2(𝜒ሶ x 𝜉)
𝑑𝑠 2
α 1 1 2 2
−𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 = −𝑅β1δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒1 𝑒𝑖 −𝑅β2δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 2 𝑒𝑖 −𝑅β1δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒1 𝑒𝑖 −𝑅β2δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 2 𝑒𝑖

α 1 1 2 2
−𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 = −𝑅β1δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒1 (𝑒1 + 𝑒2 ) − 𝑅β2δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 2 (𝑒1 + 𝑒2 ) − 𝑅β1δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒1 (𝑒1 + 𝑒2 ) −𝑅β2δ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒 2 (𝑒1 + 𝑒2 )

𝜉Ԧ = 𝜉1 𝑒1 + 𝜉 2 𝑒2 = 𝜉 𝑖 𝑒𝑖 Ԧ 𝜒1 𝑒1 + 𝜒 2 𝑒2 = 𝜉 𝑖 𝑒𝑖
𝜒=

(𝑒1 + 𝑒2 ) x 𝜉Ԧ = ( 𝑒1 x 𝜉)
Ԧ + (𝑒2 x 𝜉)
Ԧ 𝜒Ԧ x (𝑒1 + 𝑒2 ) = (𝜒Ԧ x 𝑒1 ) + (𝜒Ԧ x 𝑒2 )

(𝑒1 + 𝑒2 ) x 𝜉Ԧ = (𝑒1 x (𝜉1 𝑒1 + 𝜉 2 𝑒2 )) +( 𝑒2 x (𝜉1 𝑒1 + 𝜉 2 𝑒2 )) 𝜒Ԧ x (𝑒1 + 𝑒2 ) = ((𝜒1 𝑒1 + 𝜒 2 𝑒2 )x 𝑒1 ) + ((𝜒1 𝑒1 + 𝜒 2 𝑒2 ) x 𝑒2 )

(𝑒1 + 𝑒2 ) x 𝜉Ԧ = 𝜉 2 (𝑒1 x 𝑒2 ) + 𝜉1 ( 𝑒2 x 𝑒1 ) 𝜒Ԧ x (𝑒1 + 𝑒2 ) = 𝜒 2 (𝑒2 x 𝑒1 ) + 𝜒1 (𝑒1 x 𝑒2 )

(𝑒1 + 𝑒2 ) x 𝜉Ԧ = (𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 ) 𝜒Ԧ x (𝑒1 + 𝑒2 ) = (𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 )

𝑖
𝑅෨𝑙𝑖 ≡ 𝑅β𝑙𝛿 𝑥ሶ β 𝑥ሶ 𝛿
α
−𝑅βγδ ෩11 𝜒1 − 𝑅ሚ21 𝜒 2 − 𝑅ሚ12 𝜒1 − 𝑅ሚ22 𝜒 2 )(𝑒1 + 𝑒2 )
𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 = (−𝑅

α
( − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 x 𝜉Ԧ ) = (−𝑅෨11 𝜒1 − 𝑅ǁ21 𝜒 2 − 𝑅ǁ12 𝜒1 − 𝑅ǁ22 𝜒 2 )(𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )

α
−𝑅βγδ ෩11 𝜉Ԧ1 − 𝑅ሚ21 𝜉Ԧ2 − 𝑅ሚ12 𝜉Ԧ1 − 𝑅ሚ22 𝜉Ԧ2 )(𝑒1 + 𝑒2 )
𝑥ሶ β 𝑥ሶ 𝛿 𝜉Ԧγ 𝑒𝑖 = (−𝑅

α
(𝜒Ԧ x − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜉Ԧγ 𝑒𝑖 ) = (−𝑅෨11 𝜉1 − 𝑅ǁ21 𝜉 2 − 𝑅ǁ12 𝜉1 − 𝑅ǁ22 𝜉 2 )(𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 )
 𝑑2 𝐴 Ԧሶ 𝑛ො
= α
( − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 x 𝜉Ԧ ) + (𝜒Ԧ x − 𝑅βγδ
α
𝑥ሶ β 𝑥ሶ 𝛿 𝜉Ԧγ 𝑒𝑖 ) + 2(𝜒ሶ x 𝜉)
𝑑𝑠 2

α
( − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜒Ԧ γ 𝑒𝑖 x 𝜉Ԧ ) = (−𝑅෨11 𝜒1 − 𝑅ǁ21 𝜒 2 − 𝑅ǁ12 𝜒1 − 𝑅ǁ22 𝜒 2 )(𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )
α
(𝜒Ԧ x − 𝑅βγδ 𝑥ሶ β 𝑥ሶ 𝛿 𝜉Ԧγ 𝑒𝑖 ) = (−𝑅෨11 𝜉1 − 𝑅ǁ21 𝜉 2 − 𝑅ǁ12 𝜉1 − 𝑅ǁ22 𝜉 2 )(𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 )

෩11 A
−𝑅෨11 𝜒1 (𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )𝑛ො − 𝑅෨11 𝜉1 (𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 ) = −𝑅෨11 (𝑒1 x 𝑒2 ) 𝜒1 𝜉 2 − 𝜒1 𝜉1 + 𝜒1 𝜉1 −𝜉1 𝜒 2 𝑛ො = −𝑅
෩21 (𝑒1 x 𝑒2 ) 𝜒 2 𝜉 2 − 𝜒 2 𝜉1 + 𝜒1 𝜉 2 −𝜉 2 𝜒 2 𝑛ො = 0
−𝑅ሚ 21 𝜒 2 (𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )𝑛ො − 𝑅ሚ21 𝜉 2 (𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 ) = −𝑅
෩12 (𝑒1 x 𝑒2 ) 𝜒1 𝜉 2 − 𝜒1 𝜉1 + 𝜒1 𝜉1 −𝜉1 𝜒 2 𝑛ො = 0
−𝑅ሚ12 𝜒1 (𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )𝑛ො − 𝑅ሚ12 𝜉1 (𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 ) = −𝑅
෩22 (𝑒1 x 𝑒2 ) 𝜒 2 𝜉 2 − 𝜒 2 𝜉1 + 𝜒1 𝜉 2 −𝜉 2 𝜒 2 𝑛ො = −𝑅
−𝑅ሚ 22 𝜒 2 (𝜉 2 − 𝜉1 )(𝑒1 x 𝑒2 )𝑛ො − 𝑅ሚ 22 𝜉 2 (𝜒1 −𝜒 2 )(𝑒1 x 𝑒2 ) = −𝑅 ෩22 A

𝑖
𝑅෨𝑙𝑖 ≡ 𝑅β𝑙𝛿 𝑥ሶ β 𝑥ሶ 𝛿

𝑑2 𝐴 ሶ ሶԦ β 𝛿
= − 𝑅𝑖𝑗 𝑥ሶ 𝑥ሶ 𝐴 + 2(𝜒 x 𝜉) 𝑛ො
𝑑𝑠 2
Relatividade Geral
Parte I
Aceleração de maré (Newton)

𝑥(𝑡)
Ԧ + 𝜒Ԧ(𝑡)

𝑑 2 𝑥(𝑡)
= −𝛻𝜙(𝑥 (𝑡))
𝑥Ԧ (𝑡) 𝑑𝑡 2

𝑑 2 𝑥(𝑡) + 𝜒Ԧ(𝑡)
2
= −𝛻𝜙(𝑥(𝑡) + 𝜒Ԧ(𝑡))
𝑑𝑡
𝑥Ԧ (𝑡) = (𝑥 1 , 𝑥 2 )
Aceleração de maré (Newton)
𝑑 2 𝑥Ԧ + 𝜒 𝑑 2 𝑥Ԧ
2
− 2 = −𝛻𝜙(𝑥Ԧ + 𝜒) + 𝛻𝜙(𝑥Ԧ )
𝑑𝑡 𝑑𝑡
𝑑2𝜒
2
= −𝛻𝜙(𝑥 + 𝜒) + 𝛻𝜙(𝑥Ԧ )
𝑑𝑡
𝜙 𝑥 + 𝜒Ԧ = 𝜙 𝑥 + 𝛻𝜙(𝑥 )𝜒Ԧ+ ...
𝜙 𝑥 + 𝜒Ԧ − 𝜙 𝑥 = 𝛻𝜙(𝑥 )𝜒Ԧ+ ...

𝛻𝜙 𝑥 + 𝜒Ԧ − 𝛻𝜙 𝑥 = 𝛻 𝛻𝜙(𝑥 )𝜒Ԧ + O~2

𝜕 𝜕𝜙(𝑥) 𝑗
𝛻𝜙 𝑥 + 𝜒Ԧ − 𝛻𝜙 𝑥 = 𝜒 𝑒Ƹ𝑖
𝜕𝑥 𝑖 𝜕𝑥 𝑗

𝑑 2 𝜒Ԧ 𝜕 𝜕𝜙 𝑗
2
= − 𝑖 𝑗
𝜒 𝑒Ƹ 𝑖
𝑑𝑡 𝜕𝑥 𝜕𝑥
Comparações (Desvio da Geodésica)

𝑑2𝜒 𝜕 𝜕𝜙 𝑗
2
=− 𝑖 𝑗
𝜒 𝑒Ƹ𝑖
𝑑𝑡 𝜕𝑥 𝜕𝑥
𝜒Ԧ= 𝜒 𝑖 𝑒𝑖
𝑑 2 𝜒Ԧ 𝛼 𝛽 𝑥ሶ 𝛿 . 𝜒 𝛾 𝑒Ƹ
= −𝑅𝛽𝛾𝛿 𝑥ሶ 𝑖
𝑑𝑠 2

Tensor de curvatura de Riemann

𝜕 𝜕𝜙 𝑗 𝛼
𝑖 𝑗
𝜒ǁ 𝑅𝛽𝛾𝛿 𝑥ሶ 𝛽 𝑥ሶ 𝛿 𝜒𝛾
𝜕𝑥 𝜕𝑥
Dois índices (i,j) 4 índices
Aceleração da área

𝑑 2 𝜉Ԧ 𝜕 𝜕𝜙 𝑗 A= (𝜒Ԧ x 𝜉Ԧ ). 𝑛ො
2
=− 𝑖 𝑗
𝜉 𝑒Ƹ𝑖
𝑑𝑡 𝜕𝑥 𝜕𝑥

𝑑2𝜒 𝜕 𝜕𝜙 𝑗
2
=− 𝑖 𝑗
𝜒 𝑒Ƹ𝑖
𝑑𝑡 𝜕𝑥 𝜕𝑥 Ԧ
𝜉(𝑠)
𝜒(𝑠)
Ԧ

𝑑𝐴 ሶ Ԧ Ԧሶ
= (𝜒Ԧ x 𝜉 ). 𝑛ො + (𝜒x 𝜉). 𝑛ො
𝑑𝑡

𝑥Ԧ 𝑠 + 𝜒Ԧ 𝑠
𝑥Ԧ 𝑠 + 𝜉Ԧ 𝑠
𝑥(𝑠)
Ԧ
𝑑2𝜉 𝜕 𝜕𝜙 𝑗 𝜕2 𝜙 𝜕𝜙 𝜕𝜉 𝑗
= − 𝑖 𝜉 𝑒Ƹ𝑖 = − 𝑖 𝑗 𝜉 𝑗 𝑒Ƹ𝑖 − 𝑒Ƹ𝑖
𝑑𝑡 2 𝜕𝑥 𝜕𝑥 𝑗 𝜕𝑥 𝜕𝑥 𝑗
𝜕𝑥 𝜕𝑥 𝑖

𝑑𝐴 ሶ Ԧ Ԧሶ
= (𝜒Ԧ x 𝜉 ) + (𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡

𝑑2 𝐴 ሷ Ԧ ሶ Ԧሶ ሶ Ԧሶ Ԧሷ
= (𝜒Ԧ x 𝜉 ) + (𝜒x
Ԧ 𝜉) + (𝜒Ԧ x𝜉) + (𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡 2

𝑑2𝐴 2𝜉
𝑑2 𝜒
Ԧ 𝑑 ሶ Ԧሶ
= ( 2 x 𝜉 ) + (𝜒Ԧ x 2 ) + 2(𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡 2 𝑑𝑡 𝑑𝑡
𝑑2𝐿 𝜕 𝜕𝜙 𝑗 𝜕2 𝜙 𝜕𝜙 𝜕𝐿𝑗
= − 𝑖 𝐿 𝑒Ƹ𝑖 = − 𝑖 𝑗 𝐿𝑗 𝑒Ƹ𝑖 − 𝑒Ƹ
𝑑𝑡 2 𝜕𝑥 𝜕𝑥 𝑗 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝑖

𝑑2𝐴 2𝜉
𝑑2 𝜒
Ԧ 𝑑 ሶ Ԧሶ
= ( 2 x 𝜉 ) + (𝜒Ԧ x 2 ) + 2(𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡 2 𝑑𝑡 𝑑𝑡

𝑑2𝜒 𝜕 2𝜙 𝜕𝜙 𝜕𝜒𝑗
x 𝜉Ԧ =− 𝑖 𝑗 𝜒 𝑗 (𝑒Ƹ𝑖 x Ԧ
𝜉) − 𝑗 𝑖 (𝑒Ƹ𝑖 x Ԧ
𝜉)
𝑑𝑡 2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥
𝑑2𝜒 𝜕 2𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙
x 𝜉Ԧ =− 𝑖 𝑗 𝜒 𝑗 𝜉 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) − 𝑗 𝑖 𝜉 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )
𝑑𝑡 2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥

𝑑2𝜉 𝜕2 𝜙 𝜕𝜙 𝜕𝜉 𝑗
𝜒Ԧ x 2 = − 𝑖 𝑗 𝜉 𝑗 (𝜒Ԧ x 𝑒Ƹ𝑖 ) − 𝑗 𝑖 (𝜒Ԧ x 𝑒Ƹ𝑖 )
𝑑𝑡 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥
𝑑2𝜉 𝜕2 𝜙 𝜕𝜙 𝜕𝜉 𝑗 𝑙
𝜒Ԧ x 2 = − 𝑖 𝑗 𝜉 𝑗 𝜒 𝑙 (𝑒Ƹ𝑙 x 𝑒Ƹ𝑖 ) − 𝑗 𝑖 𝜒 (𝑒Ƹ𝑙 x 𝑒Ƹ𝑖 )
𝑑𝑡 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥
𝑑2𝐴 2𝜉
𝑑2 𝜒
Ԧ 𝑑 ሶ Ԧሶ
= ( 2 x 𝜉 ) + (𝜒Ԧ x 2 ) + 2(𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡 2 𝑑𝑡 𝑑𝑡

𝑑2𝜒 𝜕2 𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙
x 𝜉Ԧ = − 𝑖 𝑗 𝜒 𝑗 𝜉 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) − 𝑗 𝑖 𝜉 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )
𝑑𝑡 2 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥

𝑑2𝜉 𝜕2 𝜙 𝜕𝜙 𝜕𝜉 𝑗 𝑙
𝜒Ԧ x 2 = + 𝑖 𝑗 𝜉 𝑗 𝜒 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) + 𝑗 𝑖 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )
𝑑𝑡 𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑥

𝑑2 𝜒 𝑑 𝜉2 𝜕2 𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙 𝜕𝜉 𝑗 𝑙
( 2x 𝜉Ԧ ) + (𝜒Ԧ x 2 ) = − 𝑗 𝑙 𝑗 𝑙
𝜒 𝜉 − 𝜉 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) − 𝑗 𝜉 − 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )
𝑑𝑡 𝑑𝑡 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝜕𝑥 𝑖 𝜕𝑥 𝑖

𝑑2 𝜒 𝑑 𝜉2 𝜕2 𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙 𝜕𝜉 𝑗 𝑙
( x 𝜉Ԧ ) + (𝜒Ԧ x 2 )𝑛ො = − 𝜒 𝑗 𝜉 𝑙 − 𝜉𝑗 𝜒 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) 𝑛ො − 𝜉 − 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )𝑛ො
𝑑𝑡 2 𝑑𝑡 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑖
 𝑑2 𝜒 2
𝑑 𝜉 𝜕2 𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙 𝜕𝜉 𝑗 𝑙
( x 𝜉Ԧ ) + (𝜒Ԧ x 2 )𝑛ො = − 𝜒 𝑗 𝜉 𝑙 − 𝜉𝑗 𝜒 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) 𝑛ො − 𝜉 − 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )𝑛ො
𝑑𝑡 2 𝑑𝑡 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑖

𝜕2 𝜙 𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉 2 − 𝜉𝑗 𝜒 2 (𝑒1Ƹ x 𝑒Ƹ2 ) 𝑛ො = − 𝜒1 𝜉 2 − 𝜉1 𝜒 2 (𝑒1Ƹ x 𝑒Ƹ2 ) 𝑛ො − 𝜒 2 𝜉 2 − 𝜉 2 𝜒 2 (𝑒1Ƹ x 𝑒Ƹ2 ) 𝑛ො =
𝜕𝑥 1 𝜕𝑥 𝑗 𝜕𝑥 1 𝜕𝑥 1 𝜕𝑥 1 𝜕𝑥 2

𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉 2 − 𝜉𝑗 𝜒 2 (𝑒1Ƹ x 𝑒Ƹ2 ) 𝑛ො = − A A= (𝜒1 𝜉 2 − 𝜒 2 𝜉1 ) (𝑒1 x 𝑒2 ). 𝑛ො
𝜕𝑥 1 𝜕𝑥 𝑗 𝜕𝑥 1 𝜕𝑥 1

𝜕2 𝜙 𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉1 − 𝜉 𝑗 𝜒1 𝑒Ƹ2 x 𝑒1Ƹ 𝑛ො = − 𝜒1 𝜉1 − 𝜉1 𝜒1 𝑒Ƹ2 x 𝑒1Ƹ 𝑛ො − 𝜒 2 𝜉1 − 𝜉 2 𝜒1 𝑒Ƹ2 x 𝑒1Ƹ 𝑛ො
𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 2 𝜕𝑥 1 𝜕𝑥 2 𝜕𝑥 2

𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉1 − 𝜉 𝑗 𝜒1 𝑒Ƹ2 x 𝑒1Ƹ 𝑛ො = − A - A= −(𝜒1 𝜉 2 − 𝜒 2 𝜉1 ) (𝑒1 x 𝑒2 ). 𝑛ො
𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 2 𝜕𝑥 2

𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉 2 − 𝜉 𝑗 𝜒 2 (𝑒1Ƹ x 𝑒Ƹ2 ) 𝑛ො = − A
𝜕𝑥 1 𝜕𝑥 𝑗 𝜕𝑥 1 𝜕𝑥 1
𝜕2 𝜙 𝜕2 𝜙
− 𝜒 𝑗 𝜉1 − 𝜉 𝑗 𝜒1 𝑒Ƹ2 x 𝑒1Ƹ 𝑛ො = − A
𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 2 𝜕𝑥 2

𝜕2 𝜙 𝜕2 𝜙 𝜕2 𝜙 𝜕𝜙 𝜕𝜒𝑗 𝑙 𝜕𝜉 𝑗 𝑙
− 𝜒 𝑗 𝜉 𝑙 − 𝜉 𝑗 𝜒 𝑙 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 ) 𝑛ො = −( + )A − 𝜉 − 𝜒 (𝑒Ƹ𝑖 x 𝑒Ƹ𝑙 )𝑛ො
𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕𝑥 1 𝜕𝑥 1 𝜕𝑥 2 𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑖

Todos os termos são zero pois o vetor posição só depende do tempo.

E os vetores em questão são diferenças de vetores posições.
𝑑2𝐴 2𝜉
𝑑2 𝜒
Ԧ 𝑑 ሶ Ԧሶ
= ( 2 x 𝜉 ) + (𝜒Ԧ x 2 ) + 2(𝜒x
Ԧ 𝜉) 𝑛ො
𝑑𝑡 2 𝑑𝑡 𝑑𝑡

𝑑2𝐴 2 ሶ Ԧሶ
= − 𝛻 𝜙 𝐴+ 2(𝜒x
Ԧ 𝜉)𝑛ො
𝑑𝑡 2

Dois índices
(Traço da Matriz Hessiana)
 Massa ↔ Curvatura
𝑑2𝐴 𝑑2𝐴
=- 𝛻2𝜙 Ԧሶ 𝑛ො
𝐴 + 2(𝜒ሶ x 𝜉) Ԧሶ 𝑛ො
= − 𝑅𝑖𝑗 𝑥ሶ β 𝑥ሶ 𝛿 𝐴 + 2(𝜒ሶ x 𝜉)
𝑑𝑡 2 𝑑𝑠 2
Aceleração da área – Desvio Gravitacional Aceleração da área – Geometria

2 ↔ 𝑅𝑖𝑗 𝑥ሶ 𝑥ሶ 0 𝑘 𝑞
𝛻 𝜙

Tensor de Ricci
https://math.stackexchange.com/questions/2848033/how-is-hessian-tensor-on-riemannian-manifold-related-to-the-hessian-matrix-from
Equações de Campo no vácuo
(Limite Newtoniano)

Dedução - I
Equações de Campo no vácuo

𝑑 2 𝑥 𝑖 (𝑡) Pois as “velocidades

2
= −𝛻𝜙 generalizadas” são arbitrarias, ie,
𝑑𝑡 dependem do referencial.

𝛻2𝜙 = 0 ↔ 𝑅𝑖𝑗 𝑥ሶ 𝑘 𝑥ሶ 𝑞 = 0 ↔ 𝑅𝑖𝑗 = ෍ 𝑅𝑖𝑚𝑗

𝑚
=0
𝑚

α 𝜕 𝛼 𝜕 α α ϵ α ε
𝑅βγδ =− γ
𝛤𝛽𝛿 − 𝛿
𝛤𝛽γ + 𝛤ϵ 𝛤
𝛾 𝛿𝛽 −𝛤𝛿ε 𝛤βγ
𝜕𝑥 𝜕𝑥

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝑖𝑗 = 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚 + 𝛤ϵ 𝛤
𝑚 𝑗𝑖 −𝛤
𝑗ε 𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥
Equações de Campo no vácuo

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε 𝑘 𝑞
𝑅𝑖𝑗 = 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚 + 𝛤ϵ𝑚 𝛤
𝑗𝑖 −𝛤 𝛤
𝑗ε 𝑖𝑚 𝑥ሶ 𝑥ሶ = 0
𝜕𝑥 𝜕𝑥

(𝑥 0 , 𝑥 1 , 𝑥 2 , 𝑥 3 )
𝑥, 𝑦, 𝑧
𝑐𝑡
Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝑖𝑗 = 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚 + 𝛤ϵ 𝛤
𝑚 𝑗𝑖 −𝛤
𝑗ε 𝛤𝑖𝑚 = 0
𝜕𝑥 𝜕𝑥

1 0 0 0
Métrica de 0 −1 0 0
Minkowski
𝜂𝑖𝑗 =
0 0 −1 0
0 0 0 −1

𝜕 𝜕
𝛤𝑗𝑘𝑖 =0 𝑅𝑖𝑗 = 𝑚
0 − 𝑗
0 + 0.0−0.0 𝑥ሶ 𝑘 𝑞
𝑥ሶ = 0
𝜕𝑥 𝜕𝑥
Equações de Campo no vácuo

𝑔𝑖𝑗 = 𝜂𝑖𝑗 + ℎ𝑖𝑗

1 + ℎ00 0 0 0
0 −1 + ℎ11 0 0
0 0 −1 + ℎ22 0
0 0 0 −1 + ℎ33

∞
𝑣
<< 1
𝑐

𝜕𝑔𝑖𝑗
= 0 , para 𝑔𝑖𝑗 ≠ 𝑔00
𝜕𝑡
Equações de Campo no vácuo
1 + ℎ00 0 0 0
𝑔𝑖𝑗 = 0 −1 + ℎ11 0 0
0 0 −1 + ℎ22 0
0 0 0 −1 + ℎ33

1 0 0 0
−1
𝑔𝑖𝑗 = 1 + ℎ00 1
0 0 0
−1 + ℎ11
1
0 0 0
−1 + ℎ22
1
0 0 0
−1 + ℎ33

1 ⋯ 0
−1
𝑔𝑖𝑗 . 𝑔𝑖𝑗 = ⋮ ⋱ ⋮
0 ⋯ 1
Equações de Campo no vácuo

𝑔00 0 0 0
0 𝑔11 0 0
𝑔𝑖𝑗 =
0 0 𝑔22 0
0 0 0 𝑔33
1 ⋯ 0
−1
𝑔𝑖𝑗 . 𝑔𝑖𝑗 = ⋮ ⋱ ⋮
−1
𝑔00 0 0 0 0 ⋯ 1
−1 −1
𝑔𝑖𝑗 = 0 𝑔11 0 0
−1
0 0 𝑔22 0
0 −1
0 0 𝑔33
Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝑖𝑗 → 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚 + 𝛤ϵ 𝛤
𝑚 𝑗𝑖 −𝛤
𝑗ε 𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥
1 −1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔𝑗𝑙 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗

1 −1 𝜕ℎ𝑖𝑗 𝜕ℎ𝑘𝑗 𝜕ℎ𝑖𝑘

𝛤𝑖𝑘𝑙 = 𝑔 + − 𝑗 ~ 𝑂(ℎ)
2 𝑗𝑙 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥

~ O(ℎ2 ) ~ O(ℎ2 )

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε O(𝑓(𝑥)) ≥ O(
𝑑𝑓(𝑥)
)
𝑅𝑖𝑗 → 𝛤 − 𝛤 + 𝛤 𝛤 −𝛤
𝑗ε 𝛤𝑖𝑚
𝑑𝑥

𝜕𝑥 𝑚 𝑖𝑗
𝜕𝑥 𝑗 𝑖𝑚 ϵ 𝑚 𝑗𝑖 :. A ordem da derivada é
menor que a ordem da
função
Equações de Campo no vácuo
Para:

𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥

Irei mostrar que:

𝑅00 → Possui termos diferentes de zero

𝑅𝑖𝑗 → Todos os termos são zero para ‘ij’ diferente de ‘00’

Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑚 𝜕 𝑚
𝑅𝑖0 → 𝑚 𝛤𝑖0 − 0
𝛤𝑖𝑚 𝑔𝑖𝑗 = 0 𝑝𝑎𝑟𝑎 𝑖 ≠j
𝜕𝑥 𝜕𝑥

1 𝜕𝑔𝑖𝑘 𝜕𝑔0𝑘 𝜕𝑔𝑖0 1 𝜕𝑔0𝑘 𝜕𝑔𝑖0

𝛤𝑖0𝑚 = 𝑔𝑘𝑚 −1 + − = 𝑔𝑘𝑚 −1 − =0
2 𝜕𝑥 0 𝜕𝑥 𝑖 𝜕𝑥 𝑘 2 𝜕𝑥 𝑖 𝜕𝑥 𝑘

Lembrando (Símbolo de Christoffel)

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔𝑗𝑙 −1 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗
Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑚 𝜕 𝑚
𝑅0𝑗 → 𝑚
𝛤0𝑗 − 𝑗
𝛤0𝑚 𝑔𝑖𝑗 = 0 𝑝𝑎𝑟𝑎 𝑖 ≠j
𝜕𝑥 𝜕𝑥
1 𝜕𝑔0𝑘 𝜕𝑔𝑗𝑘 𝜕𝑔0𝑗 1 𝜕𝑔0𝑘 𝜕𝑔0𝑗
𝛤0𝑗𝑚 = 𝑔𝑘𝑚 −1 + − = 𝑔𝑘𝑚 −1 − =0
2 𝜕𝑥 𝑗 𝜕𝑥 0 𝜕𝑥 𝑘 2 𝜕𝑥 𝑗 𝜕𝑥 𝑘

𝑚 1 𝜕𝑔0𝑘 𝜕𝑔𝑚𝑘 𝜕𝑔0𝑚 1 𝜕𝑔0𝑘 𝜕𝑔0𝑚

𝛤0𝑚 = 𝑔𝑘𝑚 −1 + − = 𝑔𝑘𝑚 −1 − =0
2 𝜕𝑥 𝑚 𝜕𝑥 0 𝜕𝑥 𝑘 2 𝜕𝑥 𝑚 𝜕𝑥 𝑘

Lembrando (Símbolo de Christoffel)

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔𝑗𝑙 −1 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗
Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝛤𝑖𝑗 − 𝛤𝑖𝑚 𝑝𝑎𝑟𝑎 𝑖 ≠ 0 e 𝑗 ≠ 0
𝜕𝑥 𝑚 𝜕𝑥 𝑗

𝜕 𝜕 1 𝜕ℎ𝑖𝑘 𝜕ℎ𝑗𝑘 𝜕ℎ𝑖𝑗

𝑚 𝛤𝑖𝑗𝑚 = [ 𝑔𝑗𝑚 −1 + − ]
𝜕𝑥 𝜕𝑥 𝑚 2 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑘
𝜕 𝑗 𝜕 1 𝜕ℎ𝑖𝑘 𝜕ℎ𝑗𝑘 𝜕ℎ𝑖𝑗
𝛤𝑖𝑗 = [ 𝑔𝑗𝑗 −1 + − ]
𝜕𝑥 𝑗 𝑗
𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑘
𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝛤 − 𝛤
𝜕𝑥 𝑚 𝑖𝑗 𝜕𝑥 𝑗 𝑖𝑚
𝜕 𝑚 𝜕 1 −1 𝜕ℎ𝑖𝑗 𝜕ℎ𝑚𝑗 𝜕ℎ𝑖𝑚
𝛤𝑖𝑚 = [ 𝑔 + − ]
𝜕𝑥 𝑗 𝜕𝑥 𝑗 2 𝑗𝑚 𝜕𝑥 𝑚 𝜕𝑥 𝑖 𝜕𝑥 𝑗 𝜕 𝑗 𝜕 𝑗
𝜕 𝑗 𝜕 1 𝜕ℎ𝑖𝑚 𝜕ℎ𝑗𝑚 𝜕ℎ𝑖𝑗 𝑅𝑖𝑗 → 𝛤 − 𝛤 =0
𝜕𝑥 𝑗 𝛤𝑖𝑗 = 𝑗
𝜕𝑥 2
[ 𝑔𝑗𝑗 −1
𝜕𝑥 𝑗
+
𝜕𝑥 𝑖
−
𝜕𝑥 𝑚
] 𝜕𝑥 𝑗 𝑖𝑗 𝜕𝑥 𝑗 𝑖𝑗
𝜕 𝑗 𝜕 1 𝜕ℎ𝑖𝑘 𝜕ℎ𝑗𝑘 𝜕ℎ𝑖𝑗
𝑗 𝛤𝑖𝑗 = 𝑗 [ 𝑔𝑗𝑗 −1 + − ]
𝜕𝑥 𝜕𝑥 2 𝜕𝑥 𝑗 𝜕𝑥 𝑖 𝜕𝑥 𝑘

Lembrando (Símbolo de Christoffel)

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔𝑗𝑙 −1 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗
Equações de Campo no vácuo
𝜕 𝑚 𝜕 𝑚
𝑅𝑖𝑗 → 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑚
𝜕 𝑚
𝑅00 → 𝑚
𝛤00 − 0
𝛤0𝑚 Derivada Temporal
𝜕𝑥 𝜕𝑥

𝑚 1 𝜕𝑔00 1 𝜕ℎ00
𝛤00 = - 𝑔𝑗𝑚 −1 = - 𝑔𝑗𝑚 −1
2 𝜕𝑥 𝑗 2 𝜕𝑥 𝑗
0 1 𝜕𝑔00
𝛤00 = - 𝑔00 −1 =0
2 𝜕𝑥 0
1 1 𝜕𝑔00 1 𝜕ℎ00
𝛤00 = - 𝑔11 −1 =+ 1 1
2 𝜕𝑥 1 2 𝜕𝑥 1
𝑔𝑎𝑎 −1 = =- = - (1 + ℎ𝑎𝑎 + ⋯ )
1 𝜕𝑔 1 𝜕ℎ00 −1+ℎ𝑎𝑎 1−ℎ𝑎𝑎
2
𝛤00 =- 𝑔22 −1 00 =+
2 𝜕𝑥 2 2 𝜕𝑥 2

3 1 𝜕𝑔00 1 𝜕ℎ00
𝛤00 = - 𝑔33 −1 =+
2 𝜕𝑥 3 2 𝜕𝑥 3

Lembrando (Símbolo de Christoffel)

1 𝜕𝑔𝑖𝑗 𝜕𝑔𝑘𝑗 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑙 = 𝑔𝑗𝑙 −1 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑗
Equações de Campo no vácuo
Resumo
𝛻2𝜙 = 0 ↔ 𝑅𝑖𝑗 𝑥ሶ 𝑘 𝑥ሶ 𝑞 = 0 ↔ 𝑅00 𝑥ሶ 0 𝑥ሶ 0 = 0
As componentes de 𝑥 0 𝑠ã𝑜 ~ O 𝑐 2 o que torna as outras
𝑑𝑥 0 𝑑𝑐𝑡 componentes insignificantes. Descartaremos elas então:
𝑥ሶ 0 = = =c
𝑑𝑡 𝑑𝑡

𝜕 𝑚
𝜕 1 𝜕ℎ00 2 𝜕2 𝑐2
𝑅00 𝑥ሶ 0 𝑥ሶ 0 = 𝛤 𝑥ሶ 0 𝑥ሶ 0 = 𝑐 = ℎ
𝜕𝑥 𝑚 00
𝜕𝑥 𝑚 2 𝜕𝑥 𝑚 𝜕(𝑥 𝑚 )2 2 00

𝑐2
𝑅00 𝑥ሶ 0 𝑥ሶ 0 = 2
𝛻 ( 2 ℎ00 )

𝑐2 2𝜙 2.𝑀.𝐺
𝛻2𝜙 = 2
𝛻 (
2
ℎ00 ) ℎ00 = =-
𝑐2 𝑐 2𝑟
𝐶2
𝜙= ℎ00
2
Equações de Campo no vácuo
(Limite Newtoniano)

Dedução - II
Geodésica da partícula livre
𝑚 𝑚 𝑘 𝑗
𝑥ሷ + 𝛤𝑘𝑗 . 𝑥ሶ 𝑥ሶ =0
Já demonstramos que podemos utilizar o
𝑥(𝑡) parâmetro t ao invés de τ

𝑑2𝑥 𝑚 𝑚 𝑑𝑥 𝑘 𝑑𝑥 𝑗
=− 𝛤𝑘𝑗 .
𝑑𝑡 2 𝑑𝑡 𝑑𝑡
Geodésica da partícula livre

𝑑2𝑥 𝑚 𝑑𝑥 𝑘 𝑑𝑥 𝑗 (𝑥 0 , 𝑥 1 , 𝑥 2 , 𝑥 3 )
𝑚
=− 𝛤𝑘𝑗 . 𝑥, 𝑦, 𝑧
𝑑𝑡 2 𝑑𝑡 𝑑𝑡
𝑐𝑡
No segundo membro as componentes de 𝑥 0 𝑠ã𝑜 ~ O 𝑐 2 o que torna as outras
componentes insignificantes. Descartaremos elas então:

𝑑2𝑥 𝑚 𝑚 2
≈ − 𝛤00 .𝑐
𝑑𝑡 2
𝑚 1 −1 𝜕𝑔0𝑗 𝜕𝑔0𝑗 𝜕𝑔00 1 −1 𝜕𝑔00
𝛤00 = 𝑔𝑗𝑚 + − =− 𝑔𝑗𝑚
2 𝜕𝑥 0 𝜕𝑥 0 𝜕𝑥 𝑗 2 𝜕𝑥 𝑗
Geodésica da partícula livre
𝑚 1 −1 𝜕𝑔00
𝛤00 =− 𝑔𝑗𝑚
2 𝜕𝑥 𝑗

𝑚 1 −1 𝜕ℎ00
𝛤00 =− 𝑔𝑗𝑚
2 𝜕𝑥 𝑗
𝑚 1 𝜕ℎ00
𝛤00 = − 𝑔00 −1 =0
2 𝜕𝑥 0

𝑚 1 𝜕ℎ00 1 𝜕ℎ00
𝛤00 = − 𝑔11 −1 = 3
2 𝜕𝑥 1 2 𝜕𝑥 1 1 𝜕
𝑚
𝛤00 = ෍ 𝑘 ℎ00
𝑚 1 𝜕ℎ00 1 𝜕ℎ00 2 𝜕𝑥
𝛤00 = − 𝑔22 −1 = 𝑘=1
2 𝜕𝑥 2 2 𝜕𝑥 2

𝑚 1 𝜕ℎ00 1 𝜕ℎ00
𝛤00 = − 𝑔33 −1 =
2 𝜕3 2 𝜕3
1 1
𝑔𝑎𝑎 −1 = =- = - (1 + ℎ𝑎𝑎 + ⋯ )
−1+ℎ𝑎𝑎 1−ℎ𝑎𝑎
Geodésica da partícula livre

𝑑2 𝑥 𝑚 𝑚 2
≈− 𝛤00 . 𝑐
𝑑𝑡 2
𝑑2𝑥𝑚 1 𝜕
= − σ3𝑘=1 ℎ00 . 𝑐 2
𝑑𝑡 2 2 𝜕𝑥 𝑘

𝑑2𝑥𝑚 𝜕 1 1
= − σ3𝑘=1 ( ℎ 00 . 𝑐 2) = - 𝛻 ( ℎ00 . 𝑐 2 )
𝑑𝑡 2 𝜕𝑥 𝑘 2 2

𝑑2𝑥𝑚 1
= - 𝛻 ( ℎ00 . 𝑐 2 )
𝑑𝑡 2 2 2𝜙 2.𝑀.𝐺
𝑑2𝑥𝑚 ℎ00 = =-
𝑑𝑡 2
= - 𝛻 (𝜙) 𝑐2 𝑐 2𝑟

𝐶2
𝜙= ℎ00
2
Equações de Campo no vácuo
(Limite Newtoniano)
2𝜙
𝑑 𝑠Ԧ 2 = (1+ )𝑐 2 𝑑𝑡 2 - (𝑑𝑥Ԧ 𝑖 )2
𝑐2

2𝐺𝑀
𝑑 𝑠Ԧ 2 = (1− )𝑐 2 𝑑𝑡 2 - (𝑑𝑥Ԧ 𝑖 )2
𝑐 2𝑟
2𝜙
1+ 2 0 0 0
𝑐
0 −1 0 0
0 −1 0
0
0 0 0 −1

∞
 Métrica de
Schwarzschild
𝑑𝑠=
Ԧ 𝑒Ԧ𝑟 𝑑𝑟 + 𝑒Ԧ𝜃 𝑑𝜃 + 𝑒Ԧ𝜙 𝑑𝜙 + 𝑒Ԧ4 𝑑(𝑐𝑡)
Equações de Campo no vácuo
(Simetria esférica)
𝑑 𝑠=
Ԧ 𝑒Ԧ𝑟 𝑑𝑟 + 𝑒Ԧ𝜃 𝑑𝜃 + 𝑒Ԧ𝜙 𝑑𝜙 + 𝑒Ԧ4 𝑑(𝑐𝑡)
Elemento de linha da esfera

𝑑𝑠 2 = A(r) (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −B(r)(𝑑𝑐𝑡)2

Se dr = dt = 0, o elemento de linha é igual ao da esfera:

𝑑𝑠 2 = 𝑟 2 (𝑑𝜃)2 +𝑟 2 sin(𝜃) (𝑑𝜙)2 = 𝑟 2 (𝑑𝜃 2 + sin(𝜃) 𝑑𝜙 2 )
Equações de Campo no vácuo
(Simetria esférica)
𝑑𝑠 2 = A(r) (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −B(r)(𝑑𝑐𝑡)2

1
𝑔𝑟𝑟 = A(r) 𝑔𝑟𝑟 =
A(r)
1
𝑔𝜃𝜃 = 𝑟 2 𝑔𝜃𝜃 =
𝑟2
1
𝑔𝜙𝜙 = 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝑔𝜙𝜙 =
𝑟 2 𝑠𝑖𝑛2 (𝜃)
1
𝑔44 = −B(r) 𝑔44 = −
B(r)

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝑖𝑗 = 𝑚
𝛤𝑖𝑗 − 𝑗
𝛤𝑖𝑚 + 𝛤ϵ 𝛤
𝑚 𝑗𝑖 −𝛤
𝑗ε 𝛤𝑖𝑚 = 0
𝜕𝑥 𝜕𝑥
Símbolos de Christoffel
(l=r)
1 𝑟𝑟 𝜕𝑔𝑖𝑟 𝜕𝑔𝑘𝑟 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝑟 = 𝑔 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝑟

1 1 𝜕grr 𝜕grr 𝜕grr 1 1 d A(r) r 1 1 𝜕g𝜙𝑟 𝜕g𝜙r 𝜕g𝜙𝜙 1

r
Γrr = + − = Γ𝜙𝜙 = + − =- 𝑟 𝑠𝑖𝑛2 (𝜃)
2 A(r) 𝜕r 𝜕r 𝜕r 2 A(r) dr 2 A(r) 𝜕𝜙 𝜕𝜙 𝜕r A(r)
1 1 𝜕grr 𝜕g𝜙r 𝜕gr𝜙 r r
r
Γr𝜙 = + − =0 Γ𝜙𝑟 = Γr𝜙 =0
2 A(r) 𝜕𝜙 𝜕r 𝜕r
1 1 𝜕grr 𝜕g𝜃r 𝜕gr𝜃 r 1 1 𝜕g𝜙𝜃 𝜕g𝜙𝜃 𝜕g𝜙𝜃
r
Γr𝜃 = + − =0 Γ𝜙𝜃 = + − =0
2 A(r) 𝜕𝜃 𝜕r 𝜕r 2 A(r) 𝜕𝜙 𝜕𝜙 𝜕r
1 1 𝜕grr 𝜕g4r 𝜕gr4 r 1 1 𝜕g𝜙4 𝜕g𝜙4 𝜕g𝜙4
r Γ𝜙4 = + − =0
Γr4 = + − =0 2 A(r) 𝜕𝜙
2 A(r) 𝜕4 𝜕r 𝜕r 𝜕𝜙 𝜕r

r 1 1 𝜕g𝜃𝑟 𝜕g𝜃r 𝜕g𝜃𝜃 1 r 1 1 𝜕g4𝑟 𝜕g4r 𝜕g44 1 1 d B(r)

Γ𝜃𝜃 = + − =- 𝑟 Γ44 = + − =
2 A(r) 𝜕𝜃 𝜕𝜃 𝜕r A(r) 2 A(r) 𝜕4 𝜕4 𝜕r 2 A(r) dr
r r r r
Γ𝜃𝑟 = Γr𝜃 =0 Γ4r = Γr4 =0
r r r r
Γ𝜃𝜙 = Γ𝜙𝜃 =0 Γ4𝜙 = Γ𝜙4 =0
r 1 1 𝜕g𝜃𝑟 𝜕g4r 𝜕g𝜃4 r r
Γ𝜃4 = + − =0 Γ4𝜃 = Γ𝜃4 =0
2 A(r) 𝜕4 𝜕𝜃 𝜕r
Símbolos de Christoffel
(l=𝜃)
1 𝜃𝜃 𝜕𝑔𝑖𝜃 𝜕𝑔𝑘𝜃 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘𝜃 = 𝑔 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝜃

𝜃 1 1 𝜕gr𝜃 𝜕gr𝜃 𝜕grr 𝜃 1 1 𝜕g𝜙𝜃 𝜕g𝜙𝜃 𝜕g𝜙𝜙

Γrr = + − =0 Γ𝜙𝜙 = + − = - sin(𝜃).cos(𝜃)
2 𝑟2 𝜕r 𝜕r 𝜕𝜃 2 𝑟 2 𝜕𝜙 𝜕𝜙 𝜕𝜃

𝜃 1 1 𝜕gr𝜃 𝜕g𝜙𝜃 𝜕gr𝜙 𝜃 𝜃

Γr𝜙 = + − =0 Γ𝜙𝑟 = Γr𝜙 =0
2 𝑟 2 𝜕𝜙 𝜕r 𝜕𝜃
1 1 𝜕gr𝜃 𝜕g𝜃𝜃 𝜕gr𝜃 1 𝜃 1 1 𝜕g𝜙𝜃 𝜕g𝜙𝜃 𝜕g𝜙𝜃
𝜃
Γr𝜃 = + − = Γ𝜙𝜃 = + − =0
2 𝑟 2 𝜕𝜃 𝜕r 𝜕𝜃 𝑟 2 𝑟2 𝜕𝜙 𝜕𝜙 𝜕𝜃

𝜃 1 1 𝜕gr𝜃 𝜕g4𝜃 𝜕gr4 𝜃 1 1 𝜕g𝜙𝜃 𝜕g𝜙𝜃 𝜕g𝜙4

Γr4 = + − =0 Γ𝜙4 = + − =0
2 𝑟 2 𝜕4 𝜕r 𝜕𝜃 2 𝑟2 𝜕𝜙 𝜕𝜙 𝜕𝜃

1 1 𝜕g𝜃𝜃 𝜕g𝜃𝜃 𝜕g𝜃𝜃 𝜃 1 1 𝜕g4𝜃 𝜕g4𝜃 𝜕g44

𝜃
Γ𝜃𝜃 = + − =0 Γ44 = + − = 0
2 𝑟 2 𝜕𝜃 𝜕𝜃 𝜕𝜃 2 𝑟 2 𝜕4 𝜕4 𝜕𝜃

𝜃 𝜃 1 𝜃 𝜃 =0
Γ𝜃𝑟 = Γr𝜃 == Γ4r = Γr4
𝑟
𝜃 𝜃 𝜃 𝜃
Γ𝜃𝜙 = Γ𝜙𝜃 =0 Γ4𝜙 = Γ𝜙4 =0
𝜃 1 1 𝜕g𝜃𝜃 𝜕g4𝜃 𝜕g𝜃4 𝜃 𝜃
Γ𝜃4 = + − =0 Γ4𝜃 = Γ𝜃4 =0
2 𝑟2 𝜕4 𝜕𝜃 𝜕𝜃
Símbolos de Christoffel
(l=𝜙)
𝜙 1 𝜙𝜙 𝜕𝑔𝑖𝜙 𝜕𝑔𝑘𝜙 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘 = 𝑔 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 𝜙

𝜙 1 1 𝜕gr𝜙 𝜕gr𝜙 𝜕grr 𝜙 1 1 𝜕g𝜙𝜙 𝜕g𝜙𝜙 𝜕g𝜙𝜙

Γrr = + − =0 Γ𝜙𝜙 = + − =0
2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕r 𝜕r 𝜕𝜙 2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕𝜙 𝜕𝜙 𝜕𝜙
𝜙 1 1 𝜕gr𝜙 𝜕g𝜙𝜙 𝜕gr𝜙 1 𝜙 𝜙 1
Γr𝜙 =
2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕𝜙
+
𝜕r
−
𝜕𝜙
=𝑟 Γ𝜙𝑟 = Γr𝜙 = 𝑟
𝜙 1 1 𝜕g𝜙𝜙 𝜕g𝜙𝜙 𝜕g𝜙𝜃
𝜙 1 1 𝜕gr𝜙 𝜕g𝜃𝜙 𝜕gr𝜃 Γ𝜙𝜃 = + − =0
Γr𝜃 = + − =0 2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕𝜙 𝜕𝜙 𝜕𝜙
2 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝜕𝜃 𝜕r 𝜕𝜙
𝜕gr𝜙 𝜕g4𝜙 𝜙 1 1 𝜕g𝜙𝜙 𝜕g𝜙𝜙 𝜕g𝜙4
𝜙 1 1 𝜕gr4 Γ𝜙4 = + − =0
Γr4 = + − =0 2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕𝜙
2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕4 𝜕r 𝜕𝜙 𝜕𝜙 𝜕𝜙

𝜕g𝜃𝜙 𝜕g𝜃𝜙 𝜙 1 1 𝜕g4𝜙 𝜕g4𝜙 𝜕g44

𝜙 1 1 𝜕g𝜃𝜃 Γ44 = + − = 0
Γ𝜃𝜃 = + − =0 2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕4 𝜕4 𝜕𝜙
2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕𝜃 𝜕𝜃 𝜕𝜙
𝜙 𝜙 𝜙 𝜙
Γ𝜃𝑟 = Γr𝜃 = 0 Γ4r = Γr4 = 0
𝜙 1 1 𝜕g𝜃𝜙 𝜕g𝜙𝜙 𝜕g𝜃𝜙 cos(𝜃) 𝜙 𝜙
Γ𝜃𝜙 = + − = Γ4𝜙 = Γ𝜙4 = 0
2 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝜕𝜙 𝜕𝜃 𝜕𝜙 sin(𝜃)
1 1 𝜕g𝜃𝜙 𝜕g4𝜙 𝜕g𝜃4 𝜙 𝜙
𝜙
Γ𝜃4 = + − =0 Γ4𝜃 = Γ𝜃4 = 0
2 𝑟 𝑠𝑖𝑛2 (𝜃)
2 𝜕4 𝜕𝜃 𝜕𝜙
Símbolos de Christoffel
(l=4)
1 44 𝜕𝑔𝑖4 𝜕𝑔𝑘4 𝜕𝑔𝑖𝑘
𝛤𝑖𝑘4 = 𝑔 + −
2 𝜕𝑥 𝑘 𝜕𝑥 𝑖 𝜕𝑥 4

4 1 1 𝜕gr4 𝜕gr4 𝜕grr 4 1 1 𝜕g𝜙4 𝜕g𝜙4 𝜕g𝜙𝜙

Γrr =− + − =0 Γ𝜙𝜙 =− + − =0
2 B(r) 𝜕r 𝜕r 𝜕4 2 B(r) 𝜕𝜙 𝜕𝜙 𝜕4
1 1 𝜕gr4 𝜕g𝜙4 𝜕gr𝜙 4 4
4
Γr𝜙 =− + − =0 Γ𝜙𝑟 = Γr𝜙 =0
2 B(r) 𝜕𝜙 𝜕r 𝜕4
1 1 𝜕gr4 𝜕g𝜃4 𝜕gr𝜃 4 1 1 𝜕g𝜙4 𝜕g𝜙4 𝜕g𝜙𝜃
4
Γr𝜃 =− + − =0 Γ𝜙𝜃 =− + − =0
2 B(r) 𝜕𝜃 𝜕r 𝜕4 2 B(r) 𝜕𝜙 𝜕𝜙 𝜕4

1 1 𝜕gr4 𝜕g44 𝜕gr4 1 1 𝑑B(r) 4 1 1 𝜕g𝜙4 𝜕g44 𝜕g𝜙4

4
Γr4 =− + − = Γ𝜙4 =− + − =0
2 B(r) 𝜕4 𝜕r 𝜕4 2 B(r) 𝑑𝑟 2 B(r) 𝜕𝜙 𝜕𝜙 𝜕4

1 1 𝜕g𝜃4 𝜕g𝜃4 𝜕g𝜃𝜃 4 1 1 𝜕g44 𝜕g44 𝜕g44

4
Γ𝜃𝜃 =− + − =0 Γ44 =− + − = 0
2 B(r) 𝜕𝜃 𝜕𝜃 𝜕4 2 B(r) 𝜕4 𝜕4 𝜕4
4 4
Γ𝜃𝑟 = Γr𝜃 =0 4 4 1 1 𝑑B(r)
Γ4r = Γr4 =
𝜕g𝜙4 𝜕g𝜃𝜙 2 B(r) 𝑑𝑟
4 1 1 𝜕g𝜃4
Γ𝜃𝜙 =− + − =0 4
Γ4𝜙 4
= Γ𝜙4 =0
2 B(r) 𝜕𝜙 𝜕𝜃 𝜕4
4 1 1 𝜕g𝜃4 𝜕g 𝜕g
Γ𝜃4 =− + 44 − 𝜃4 =0 4
Γ4𝜃 4
= Γ𝜃4 =0
2 B(r) 𝜕4 𝜕𝜃 𝜕4
Resumo
r 𝐴′
Γrr = Todos os outros símbolos de
2𝐴
r r si𝑛2 𝜃 Christoffel são iguais a zero.
Γ𝜙𝜙 =-
𝐴
r 𝑟
Γ𝜃𝜃 =-
𝐴
𝐵′
r
Γ44 =
2𝐴 𝑅𝑖𝑗 = 0
𝜃
Γ𝜙𝜙 = - sin 𝜃. cos 𝜃
𝜃 1
Γr𝜃 =
𝑟

𝜙 1
Γr𝜙 = 𝑅𝑖𝑗 =
𝜕
𝛤 𝑚
−
𝜕 𝑚
𝛤𝑖𝑚 + 𝛤ϵ𝑚 ϵ 𝑚 ε 𝑖 𝑗
𝑟 𝑚 𝑖𝑗 𝑗 𝑚 𝛤𝑗𝑖 −𝛤𝑗ε 𝛤𝑖𝑚 𝑥ሶ 𝑥ሶ = 0
𝜕𝑥 𝜕𝑥
𝜙 cos 𝜃
Γ𝜃𝜙 =
sin 𝜃

4 1 𝐵′
Γr4 =
2 𝐵
Resolvendo o tensor de Ricci

𝜆 𝜌
𝑅ji = 𝑅j𝜆i = 𝑔 𝜆𝜌 𝑅𝜌j𝜆i = 𝑔 𝜆𝜌 𝑅𝜆i𝜌j = 𝑅i𝜌j = 𝑅ij

𝑅𝑗𝑖 = 𝑅𝑖𝑗
Resolvendo o tensor de Ricci
(Para r)

𝜕 𝑚
𝜕 𝑚 + 𝛤 𝑚 𝛤 ϵ −𝛤 𝑚 𝛤 ε
𝑅𝑟𝑟 = 𝛤 − 𝛤 ϵ𝑚 𝑟𝑟 𝑟ε 𝑟𝑚
𝜕𝑥 𝑚 𝑟𝑟 𝜕𝑥 𝑗 𝑟𝑚
𝜕 𝜕 𝜃 𝜙
= 𝑟
𝛤𝑟𝑟 − 𝛤 𝑟 + Γr𝜃 4
+ Γr𝜙 + Γr4 + 𝛤r𝑚 r 𝑚 ε
𝑚 Γrr −𝛤𝑟ε 𝛤𝑟𝑚
𝜕𝑟 𝜕𝑥 𝑗 𝑟𝑟
𝜕 𝐴′ 𝜕 𝐴′ 2 1 𝐵 ′
= − + + + 𝛤r𝑚 r 𝑚 ε
𝑚 Γrr −𝛤𝑟ε 𝛤𝑟𝑚
𝜕𝑟 2𝐴 𝜕𝑥 𝑗 2𝐴 𝑟 2 𝐵
𝜕 2 1 𝐵′ 𝑚 𝐴
′
r r 𝜃 𝜃 𝜙 𝜙 4 4
= − + + 𝛤r𝑚 − Γrr Γrr + Γr𝜃 Γr𝜃 + Γr𝜙 Γr𝜙 + Γr4 Γr4
𝜕𝑟 𝑟 2 𝐵 2𝐴
2 2 2 2
𝜕 2 1 𝐵′ 𝑚 𝐴
′
𝐴′ 1 1 1 𝐵′
= − + + 𝛤ϵ𝑚 − + + +
𝜕𝑟 𝑟 2 𝐵 2𝐴 2𝐴 𝑟 𝑟 2𝐵
2 2 2
2 𝐵 ′′ 𝐵′ 𝑚 𝐴
′
𝐴′ 2 1 𝐵′
= − 2− + 2 + 𝛤ϵ𝑚 − + 2−
𝑟 2𝐵 2𝐵 2𝐴 2𝐴 𝑟 2𝐵
2 2 2
𝐵 ′′ 𝐵 ′ 𝐴′ 1 1 1 𝐵 ′ 𝐴′ 𝐴′ 1 𝐵′
= − + 2+ + + + − −
2𝐵 2𝐵 2𝐴 𝑟 𝑟 2 𝐵 2𝐴 2𝐴 2𝐵
2 2 2 2
𝐵 ′′ 𝐵 ′ 1 𝐴′ 𝐴′ 1 𝐵 ′ 𝐴′ 1 𝐴′ 𝐵′
= − + + + + − − 2
2𝐵 2𝐵 2 4 𝐴 𝑟𝐴 4 𝐵𝐴 4 𝐴 4𝐵
2
𝐵 ′′ 𝐴′ 1 𝐵 ′ 𝐴′ 1 𝐵′ 𝐵 ′′ 1 𝐵′ 𝐵′ 𝐴′ 1 𝐴′
= − 2𝐵 + + + = − 2𝐵 + 4 + +𝑟
𝑟𝐴 4 𝐵𝐴 4 𝐵2 𝐵 𝐵 𝐴 𝐴
Resolvendo o tensor de Ricci
(Para r)

𝜕 𝑚 𝜕 𝑚 + 𝛤 𝑚 𝛤 ϵ −𝛤 𝑚 𝛤 ε
𝑅𝑟𝜃 = 𝛤 − 𝛤 ϵ𝑚 𝜃𝑟 𝜃ε 𝑟𝑚
𝜕𝑥 𝑚 𝑟𝜃 𝜕𝑥 𝜃 𝑟𝑚
𝜙 𝜃 𝜙 𝜙 cos 𝜃 1 cos 𝜃 1
= Γ𝜃𝜙 Γ𝜃𝑟 − Γ𝜃𝜙 Γr𝜙 = − − − =0
sin 𝜃 𝑟 sin 𝜃 𝑟

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝑟𝜙 = 𝑚
𝛤𝑟𝜙 − 𝜙
𝛤𝑟𝑚 + 𝛤ϵ 𝛤
𝑚 𝜙𝑟 −𝛤𝜙ε 𝛤𝑟𝑚
𝜕𝑥 𝜕𝑥
𝑚 𝜙 r 𝜙 𝜃 𝜙 𝑟 𝜙 𝜃 𝜙
= 𝛤𝜙𝑚 Γr𝜙 − Γ𝜙𝜙 Γr𝑟 + Γ𝜙𝜙 Γr𝜃 + Γ𝜙𝑟 Γr𝜙 + Γ𝜙𝜃 Γr𝜙 =0

𝜕 𝑚
𝜕 𝑚 + 𝛤 𝑚 𝛤 ϵ −𝛤 𝑚 𝛤 ε
𝑅𝑟4 = 𝛤𝑟4 − 𝛤𝑟𝑚 ϵ𝑚 4𝑟 4ε 𝑟𝑚
𝜕𝑥 𝑚 𝜕𝑥 4
4− 𝛤 4 𝛤 𝑟
= 𝛤4𝑚𝑚 𝛤4𝑟 =0
4𝑟 𝑟4
Resolvendo o tensor de Ricci
(Para r)

𝐵′′ 1 𝐵′ 𝐵′ 𝐴′ 1 𝐴′
𝑅𝑟𝑟 = − + + +
2𝐵 4 𝐵 𝐵 𝐴 𝑟 𝐴
𝑅𝑟𝜃 = 0
𝑅𝑟𝜙 = 0
𝑅𝑟4 = 0
Resolvendo o tensor de Ricci
(Para 𝜃)

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝜃𝜃 = 𝑚
𝛤𝜃𝜃 − 𝑗
𝛤𝜃𝑚 + 𝛤ϵ 𝛤
𝑚 𝜃𝜃 −𝛤𝜃ε 𝛤𝜃𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑟 𝜕 𝜙 𝜙 r 4 r 𝜃 r 𝑟 r 𝑟 𝜃 𝜃 𝑟 𝜙 𝜙
= 𝛤𝜃𝜃 − 𝛤 + 𝛤𝑟𝜙 𝛤𝜃𝜃 + 𝛤𝑟4 𝛤𝜃𝜃 + 𝛤𝑟𝜃 𝛤𝜃𝜃 + 𝛤𝑟𝑟 𝛤𝜃𝜃 −𝛤𝜃𝜃 𝛤𝜃𝑟 − 𝛤𝜃𝑟 𝛤𝜃𝜃 − 𝛤𝜃𝜙 𝛤𝜃𝜙
𝜕𝑟 𝜕𝜃 𝜃𝜙
𝜕 𝑟 𝜕 𝜙 𝜙 r 4 r 𝑟 r 𝜃 𝑟 𝜙 𝜙
= 𝛤𝜃𝜃 − 𝛤𝜃𝜙 + 𝛤𝑟𝜙 𝛤𝜃𝜃 + 𝛤𝑟4 𝛤𝜃𝜃 + 𝛤𝑟𝑟 𝛤𝜃𝜃 − 𝛤𝜃𝑟 𝛤𝜃𝜃 − 𝛤𝜃𝜙 𝛤𝜃𝜙
𝜕𝑟 𝜕𝜃
2
1 𝜕 cos 𝜃 𝑟 𝑟𝐵 ′ 𝐴′ 𝑟 𝑟 cos 𝜃
= − − − − − + −
𝐴 𝜕𝜃 sin 𝜃 𝑟𝐴 2𝐴𝐵 2𝐴 𝐴 𝑟𝐴 sin 𝜃
1 1 𝐴′ 𝑟 𝑟𝐵 ′ 𝑐𝑜𝑠2 𝜃 1 𝐴′ 𝑟 𝑟𝐵 ′ 1−𝑐𝑜𝑠2 𝜃 1 𝑟 𝐴′ 𝐵′
= − 𝐴 + 𝑠𝑖𝑛2 𝜃 + 2𝐴 𝐴 − 2𝐴𝐵 − 𝑠𝑖𝑛2 𝜃 = − 𝐴 + 2𝐴 𝐴 − 2𝐴𝐵 + = 1 − 𝐴 + 2𝐴 −
𝑠𝑖𝑛2 𝜃 𝐴 𝐵
Resolvendo o tensor de Ricci
(Para 𝜃)

𝑅𝜃𝑟 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝜃𝜙 = 𝑚
𝛤𝜃𝜙 − 𝜙
𝛤𝜃𝑚 + 𝛤ϵ 𝛤
𝑚 𝜙𝜃 −𝛤𝜙ε 𝛤𝜃𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝜙 𝜕 𝑚 𝑟 𝜙 𝑚 ε 𝜃 𝑟 𝑟 𝜃 𝜙 𝜙
= 𝛤𝜃𝜙 − 𝜙
𝛤𝜃𝑚 + 𝛤𝜙𝑟 𝛤𝜙𝜃 + −𝛤𝜙ε 𝛤𝜃𝑚 = −𝛤𝜙𝑟 𝛤𝜃𝜃 −𝛤𝜙𝜃 𝛤𝜃𝑟 −𝛤𝜙𝜙 𝛤𝜃𝜙 = 0
𝜕𝜙 𝜕𝑥

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝜃4 = 𝑚
𝛤𝜃4 − 4
𝛤𝜃𝑚 + 𝛤ϵ𝑚 𝛤4𝜃 −𝛤4ε 𝛤𝜃𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝜕 𝑚 ϵ
= 𝛤𝑚
𝜕𝑥 𝑚 𝜃4
− 𝜕𝑥 4
𝛤𝜃𝑚 4 𝑟
𝑚 + 𝛤ϵ𝑚 𝛤4𝜃 −𝛤4𝑟 𝛤𝜃4 = 0
Resolvendo o tensor de Ricci
(Para 𝜃)

1 𝑟 𝐴′ 𝐵′
𝑅𝜃𝜃 = 1 − + −
𝐴 2𝐴 𝐴 𝐵
𝑅𝜃𝑟 = 0
𝑅𝜃𝜙 = 0
𝑅𝜃4 = 0
Resolvendo o tensor de Ricci (Para 𝜙)

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝜙𝜙 = 𝑚
𝛤𝜙𝜙 − 𝑗
𝛤𝜙𝑚 + 𝛤ϵ 𝛤
𝑚 𝜙𝜙 −𝛤𝜙ε 𝛤𝜙𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑟 𝜕 𝜃 𝜕
= 𝛤𝜙𝜙 + 𝛤𝜙𝜙 − 𝑚 𝑟
𝛤 𝑚 +𝛤𝑟𝑚 𝑚
𝛤𝜙𝜙 +𝛤𝜃𝑚 𝛤𝜙𝜃𝜙 −𝛤𝜙𝑚ε 𝛤𝜙ε𝑚
𝜕𝑟 𝜕𝜃 𝜕𝑥 𝑗 𝜙𝑚
𝜕 𝑟 𝜕 𝜃 𝜙 𝜃 𝑟 𝜙 𝜙 ε
= 𝛤𝜙𝜙 + 𝛤𝜙𝜙 +(𝛤𝑟𝑟𝑟 𝛤𝜙𝑟𝜙 + 𝛤𝑟𝜙 𝛤𝜙𝑟𝜙 + 𝛤𝑟𝜃 𝛤𝜙𝜙 + 𝛤𝑟4 4 𝑟
𝛤𝜙𝜙 +𝛤𝜃𝑟 𝑟
𝛤𝜙𝜃𝜙 + 𝛤𝜃𝜙 𝛤𝜙𝜃𝜙 −𝛤𝜙𝑟ε 𝛤𝜙𝑟
ε
−𝛤𝜙𝜃ε 𝛤𝜙𝜃
ε
−𝛤𝜙ε 𝛤𝜙𝜙
𝜕𝑟 𝜕𝜃
𝜕 𝑟 𝜕 𝜃 𝜙 𝜃 𝑟 𝜃 𝜙 𝜙 𝜙 𝜙 𝑟 𝜙 𝜃
= 𝛤𝜙𝜙 + 𝛤 +(𝛤𝑟𝑟𝑟 + 𝛤𝑟𝜙 + 𝛤𝑟𝜃 + 𝛤𝑟44
)𝛤𝜙𝑟𝜙 +𝛤𝜃𝑟 𝛤𝜙𝜙 + 𝛤𝜃𝜙 𝛤𝜙𝜃𝜙 −𝛤𝜙𝑟𝜙 𝛤𝜙𝑟 −𝛤𝜙𝜃𝜙 𝛤𝜙𝜃 −𝛤𝜙𝜃𝜃 𝛤𝜙𝜃 𝜃
−𝛤𝜙𝑟 𝛤𝜙𝜙 −𝛤𝜙𝜃 𝛤𝜙𝜙
𝜕𝑟 𝜕𝜃 𝜙𝜙
𝜕 𝑟 𝜕 𝜃 𝜙 𝜃 𝜙 𝜙 𝜙 𝑟
= 𝛤𝜙𝜙 + 𝑟
𝛤𝜙𝜙 +(𝛤𝑟𝑟 + 𝛤𝑟𝜙 + 𝛤𝑟𝜃 + 𝛤𝑟44
)𝛤𝜙𝑟𝜙 −𝛤𝜙𝑟𝜙 𝛤𝜙𝑟 −𝛤𝜙𝜃𝜙 𝛤𝜙𝜃 −𝛤𝜙𝑟 𝛤𝜙𝜙
𝜕𝑟 𝜕𝜃
𝜕 rsi 𝑛2 𝜃 𝜕 𝐴′ 2 𝐵 ′ r si𝑛2 𝜃 r si𝑛2 𝜃 cos 𝜃 si𝑛2 𝜃
= − − sin 𝜃. cos 𝜃 +( + + )(− )+ + sin 𝜃. cos 𝜃 . +
𝜕𝑟 𝐴 𝜕𝜃 2𝐴 𝑟 2𝐵 𝐴 𝐴𝑟 sin 𝜃 𝐴
2 ′ ′ 2 2 2
𝜕 rsi 𝑛 𝜃 𝜕 𝐴 2 𝐵 r si𝑛 𝜃 si𝑛 𝜃 si𝑛 𝜃
= − − sin 𝜃. cos 𝜃 +( + + )(− )+ + co𝑠 2 𝜃+
𝜕𝑟 𝐴 𝜕𝜃 2𝐴 𝑟 2𝐵 𝐴 𝐴 𝐴
2 2 ′ 2 ′
𝜕 rsi 𝑛 𝜃 r si𝑛 𝜃𝐵 r si𝑛 𝜃𝐴
= − − (co𝑠 2 𝜃− si𝑛2 𝜃)− − + co𝑠 2 𝜃
𝜕𝑟 𝐴 2𝐴𝐵 2𝐴2
si𝑛2 𝜃 𝑟𝐴′ si𝑛2 𝜃 2 2
r si𝑛2 𝜃𝐵 ′ r si𝑛2 𝜃𝐴′
= − + − (co𝑠 𝜃− si𝑛 𝜃) − − + co𝑠 2 𝜃
𝐴 𝐴2 2𝐴𝐵 2𝐴2
si𝑛2 𝜃 2 2
r si𝑛2 𝜃𝐵 ′ r si𝑛2 𝜃𝐴′
= − − (co𝑠 𝜃− si𝑛 𝜃) − + + co𝑠 2 𝜃
𝐴 2𝐴𝐵 2𝐴2
si 𝑛2 𝜃 𝐴′ 𝐵′
= si𝑛2 𝜃 − + (2𝐴2 − 2𝐴𝐵 )rsi𝑛2 𝜃 = 𝑅𝜃𝜃 si𝑛2 𝜃
𝐴
Resolvendo o tensor de Ricci
(Para 𝜙)

𝑅𝜙𝑟 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜

𝑅𝜙𝜃 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜

𝜕 𝑚 𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅𝜙4 = 𝑚
𝛤𝜙4 − 4
𝛤𝜙𝑚 + 𝛤ϵ 𝛤
𝑚 4𝜙 −𝛤4ε 𝛤𝜙𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝜕 𝑚 ϵ
= 𝛤𝑚
𝜕𝑥 𝑚 𝜙4
− 𝜕𝑥 4
𝛤𝜃𝑚 𝑟 4 𝑟 𝑟
𝑚 + 𝛤ϵ𝑚 𝛤4𝜙 −𝛤44 𝛤𝜙𝑟 −𝛤4𝑟 𝛤𝜙𝑟 = 0
Resolvendo o tensor de Ricci
(Para 𝜙)

2
𝑅𝜙𝜙 = 𝑅𝜃𝜃 si𝑛 𝜃
𝑅𝜙𝑟 = 0
𝑅𝜙𝜃 = 0
𝑅𝜙4 = 0
 Resolvendo o tensor de Ricci (Para 4)

𝜕 𝑚
𝜕 𝑚 𝑚 ϵ 𝑚 ε
𝑅44 = 𝑚
𝛤44 − 𝑗
𝛤4𝑚 + 𝛤ϵ 𝛤
𝑚 44 −𝛤4ε 𝛤4𝑚
𝜕𝑥 𝜕𝑥
𝜕 𝑟 𝜕 r
= 𝛤44 − 𝑗
𝑚
𝛤4𝑚 +𝛤r𝑚 4 𝑟 𝑟 𝑟 4 4
𝑚 𝛤44 −𝛤4𝑟 𝛤44 − 𝛤4𝑟 𝛤4𝑟 −𝛤44 𝛤4𝑟
𝜕𝑟 𝜕𝑥
′ ′ ′
𝐵′ 𝐴 𝐵 𝑟 𝜃 𝜙 4 r
= − +(𝛤𝑟𝑟 + 𝛤𝑟𝜃 + 𝛤𝑟𝜙 + 𝛤𝑟4 )𝛤44
2𝐴 2𝐴2
𝐵′′ 𝐴′ 𝐵 ′ 𝐴′ 2 𝐵 ′ 𝐵 ′
= − +( + + )
2𝐴 2𝐴2 2𝐴 𝑟 2𝐵 2𝐴
2 2 2
𝐵′′ 𝐴′ 𝐵 ′ 𝐴′ 𝐵 ′ 𝐵 ′ 𝐵′ 𝐵′′ 2𝐴′ 𝐵 ′ 𝐴′ 𝐵 ′ 𝐵 ′ 𝐵′ 𝐵′′ 𝐴′ 𝐵 ′ 𝐵 ′ 𝐵′
= − + + + = − + + + = − + +
2𝐴 2𝐴2 4𝐴2 𝑟𝐴 4𝐴𝐵 2𝐴 4𝐴2 4𝐴2 𝑟𝐴 4𝐴𝐵 2𝐴 4𝐴2 𝑟𝐴 4𝐴𝐵
𝐵′′ 1 𝐵 ′ 𝐴′ 𝐵 ′ 1 𝐵′
= − + +
2𝐴 4 𝐴 𝐴 𝐵 𝑟 𝐴

𝐵′′ 1 𝐵′ 𝐴′ 𝐵′ 1 𝐵′
𝑅4𝑟 = − + +
2𝐴 4 𝐴 𝐴 𝐵 𝑟 𝐴
𝑅4𝑟 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜

𝑅4𝜃 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜

𝑅4𝜙 = 0 𝐽á 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑑𝑜
Resumo: Tensor de Ricci

𝑅𝑖𝑗 = 0 para i ≠ j

𝐵′′ 1 𝐵′ 𝐴′ 𝐵′ 1 𝐴′
𝑅𝑟𝑟 = − + + +
2𝐵 4 𝐵 𝐴 𝐵 𝑟 𝐴
1 𝑟 𝐴′ 𝐵′
𝑅𝜃𝜃 = 1 − + −
𝐴 2𝐴 𝐴 𝐵

𝑅𝜙𝜙 = 𝑅𝜃𝜃 si𝑛2 𝜃

𝐵′′ 1 𝐵′ 𝐴′ 𝐵′ 1 𝐵′
𝑅44 = − + +
2𝐴 4 𝐴 𝐴 𝐵 𝑟 𝐴
Solução no Vácuo - 1
𝑅𝑖𝑗 = 0
A = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒
B = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒
1
𝑅𝜃𝜃 = 1 − = 0
𝐴

A=1
B = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒
𝑑𝑠 2 = A(r) (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −B(r)(𝑑𝑐𝑡)2

𝑑𝑠 2 = (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −𝐵(𝑑𝑐𝑡)2

𝑡
𝑖𝑛𝑡𝑟𝑜𝑑𝑢𝑧𝑖𝑛𝑑𝑜 𝑛𝑜𝑣𝑎 𝑐𝑜𝑜𝑟𝑑𝑒𝑛𝑎𝑑𝑎 𝑑𝑒 𝑡𝑒𝑚𝑝𝑜 t→ 𝐵

𝑑𝑠 2 = (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −(𝑑𝑐𝑡)2

𝑑𝑠 2 = (𝑑 𝑥)
Ԧ 2 −𝑐 2 (𝑑𝑡)2 𝐸𝑠𝑝𝑎ç𝑜 𝑝𝑙𝑎𝑛𝑜
Solução no Vácuo – 2 (Karl Schwarzschild)
𝑅𝑖𝑗 = 0 𝐴′ 𝐵′
+ =0
𝐴 𝐵
AB = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 ≡ λ A’B + AB’=0
𝐴′ 𝐵′
=−
𝐴 𝐵

𝐵′′ 1 𝐵′ 𝐴′ 𝐵′ 1 𝐴′ 𝐵′′ 1 𝐴′
𝑅𝑟𝑟 = − + + + =0 − + =0
2𝐵 4 𝐵 𝐴 𝐵 𝑟 𝐴 2𝐵 𝑟 𝐴

1 𝑟 𝐴′ 𝐵′ 1 𝑟𝐴′
𝑅𝜃𝜃 = 1 − + − =0 1− + 2 =0
𝐴 2𝐴 𝐴 𝐵 𝐴 𝐴
𝑅𝜙𝜙 = 𝑅𝜃𝜃 si𝑛2 𝜃 = 0
𝐵′′ 1 𝐵′ 𝐴′ 𝐵′ 1 𝐵′ 𝐵′′ 1 𝐵′
𝑅44 = − + + =0 + =0
2𝐴 4 𝐴 𝐴 𝐵 𝑟 𝐴 2𝐴 𝑟 𝐴
 Solução no Vácuo – 2 (Karl Schwarzschild)
𝑅𝑖𝑗 = 0 𝐴′ 𝐵′
+ =0
𝐴 𝐵

AB = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 ≡ λ A’B + AB’=0

𝐴′
𝐴
=−
𝐵′
𝐵

𝐵′′ 1 𝐴′ 𝐵′′ 1 𝐴′ 𝐵 ′′ 1 𝐵′ 𝑑 2 ′
− 2𝐵 +𝑟 𝐴 = 0; − 2𝐵 +𝑟 𝐴 = 0; = −𝑟 𝐵 ; 𝑟𝐵′′ + 2𝐵′ = 0; 𝑟 𝐵 =0
2𝐵 𝑑𝑟
𝐵 ′′ 1 𝐵′ 𝐵 ′′ 1 𝐵′ 𝐵 ′′ 1 𝐴′
+ =0 - - = 0; - 2𝐵 + 𝑟 = 0; 𝐼𝑔𝑢𝑎𝑙 à 𝑒𝑞𝑢𝑎çã𝑜 𝑎𝑛𝑡𝑒𝑟𝑖𝑜𝑟
2𝐴 𝑟 𝐴 2𝐵 𝑟 𝐵 𝐴

1 𝑟𝐴′ 𝐴 𝑟𝐴′ 𝑑 𝑟 𝑑 𝑟
1 − + 2 = 0 1 − 2 − 2 = 0; 1 − 𝑑𝑅 = 0; =1
𝐴 𝐴 𝐴 𝐴 𝐴 𝑑𝑟 𝐴
Solução no Vácuo – 2 (Karl Schwarzschild)
λ 1 𝐵
A= ; =
𝐵 𝐴 λ

𝑟𝐵 = λ 𝑟 − 𝑘
𝑑 𝑟 1 𝑑
=1 𝑟𝐵 = 1; 𝑘 = 𝐶𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒
𝑑𝑟 𝐴 λ 𝑑𝑅 𝒌
𝑩=𝝀 𝟏−
𝒓

𝑘
𝐵′ = λ 𝑟 2 𝐵′ = λ𝑘
𝑟2

𝑑 2 ′ A mesma solução para as

𝑟 𝐵 =0 𝑟 2 𝐵′ = λ𝑘
𝑑𝑟 duas equações
Solução no Vácuo – 2 (Karl Schwarzschild)
λ
𝑑𝑠 2 = (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −𝐵(𝑑𝑐𝑡)2 AB = λ
𝐵

1 𝑘
𝑑𝑠 2 = 𝑘 (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 −𝜆 1 − 𝑐 2 (𝑑𝑡)2
1− 𝑟 𝑟
𝑡
t→ ; Re-escalando a coordenada t
𝜆
1 𝑘
𝑑𝑠 2 = 𝑘 (𝑑𝑟)2 + 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 − 1 − 𝑐 2 (𝑑𝑡)2
1− 𝑟 𝑟

1
r → ∞; 𝑘 ≪ 𝑟 2 ; logo o coeficiente da coordenada r se torna desprezível frente os outros.
1−
𝑟

𝑘
𝑑𝑠 2 = 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 − 1 − 𝑐 2 (𝑑𝑡)2
𝑟
Solução no Vácuo – 2 (Karl Schwarzschild)
2𝜙
Utilizando o limite Newtoniano como contorno 𝑑 𝑠Ԧ 2 = - (𝑑 𝑥Ԧ 𝑖 )2 + (1+ )𝑐 2 𝑑𝑡 2
𝑐2

𝑘
𝑑𝑠 2 = 𝑟 2 (𝑑𝜃)2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃)(𝑑𝜙)2 − 1 − 𝑐 2 (𝑑𝑡)2
𝑟

𝑘 2𝜙 𝑘 2𝜙 𝑘 2𝜙 2𝜙
- 1 − 𝑟 = 1+ =2+ 1 − 𝑟 = 1− 2 − =- 1+
𝑐2 𝑟 𝑐2 𝑐2 𝑐2

1 2𝜙
𝑑𝑠 2 = − 𝑑𝑟 2 + 𝑟 2 𝑑𝜃 2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝑑𝜙 2 − 1+ 𝑐 2 (𝑑𝑡)2
1+ 2
2𝜙 𝑐2
𝑐

1 2𝑀𝐺
𝑑𝑠 2 = − 𝑑𝑟 2 + 𝑟 2 𝑑𝜃 2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝑑𝜙 2 + 1− 𝑐 2 (𝑑𝑡)2
2𝐺𝑀
1− 2
𝑐 2𝑟
𝑐 𝑟
Solução no Vácuo – 2 (Karl Schwarzschild)
Pelo limite Newtoniano

1 2𝑀𝐺
𝑑𝑠 2 = − 𝑑𝑟 2 + 𝑟 2 𝑑𝜃 2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝑑𝜙 2 + 1− 𝑐 2 (𝑑𝑡)2
2𝐺𝑀
1− 2
𝑐 2𝑟
𝑐 𝑟

1 2𝐺𝑀
r → ∞; =1+
2𝐺𝑀
1− 2
𝑐 2𝑟
𝑐 𝑟

Fazendo c → ∞;

Espaço Plano
2𝑀𝐺 2𝑀𝐺
𝑑𝑠 2 ≈ − 𝑑𝑟 2 + 1− 𝑐 2 (𝑑𝑡)2 𝑑 𝑠Ԧ 2 = - (𝑑 𝑥Ԧ 𝑖 )2 + (1 − 2 )𝑐 2 𝑑𝑡 2
𝑐 2𝑟 𝑐 𝑟
𝜃 𝑒 𝜙 , 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒𝑠
Solução no Vácuo – 2 (Karl Schwarzschild)

2𝐺𝑀 Raio de Schwarzchild

𝑅𝑠 ≝
𝑐2

1 𝑅𝑠
𝑑𝑠 2 = − 𝑅 𝑑𝑟 2 + 𝑟 2 𝑑𝜃 2 + 𝑟 2 𝑠𝑖𝑛2 (𝜃) 𝑑𝜙 2 + 1− 𝑐 2 (𝑑𝑡)2
1− 𝑟𝑠 𝑟