Deduzindo as equações de campo de Einstein através do

princípo variacional.
4
S d x g R

Queremos calcular  S  0 para isso calculemos cada variação

4   
S d x  g g R  g g R  g g  R

Primeiro Termo:
1
 g   g
2 g

 1 
Usando  ln g  g  g ,  g  g  g temos ,
g

1 1
 g   g g   g  g g

 g
2 g  2

Vamos escrever  g em na forma contravariante.

Aplicando  no delta de kronecker , temos

   
     g g   g g   g g  0

g   g   g    g   g    g   g g
Logo
1   1  
 g  g g g g g   g   g g
2 2
1 
 g g  g
2

Vamos calcular agora a variação do Ricci

     
 R             

Considerando que variação e derivada comutam , temos

         
 R                        

Calculando a variações dos Simbolos de Cristoffel:

  1 
    g  g   g   g
2
1  1 
 g  g   g   g  g   g    g    g
2 2


Usando o fato que  g   g   g    g
1 1 
  g   g    g  g   g   g  g   g    g    g
2 2
1  1 
  g    g g  g   g   g  g   g    g    g
2 2
 1 
  g    g   g   g    g    g
2
1 
 g    g    g    g  2 g 
2
1  
 g    g    g    g   g    g 
2
Como
   
D  g    g    g    g    g  D  g    g    g

   
D  g    g    g    g    g  D  g    g    g

Substituindo
1      
 g  D  g    g    g  D  g    g    g    g   g    g 
2
1  
 g  D  g    g  D  g    g    g
2
1  
 g  D  g  D  g    g    g    g
2
1 
 g  D  g  D  g  D  g    (1)
2

A equação (1) , prova que   é um tensor , pois todos os termos
do lado esquerdo são tensores.

Sendo um tensor podemos tirar a derivada covariante de   
       
D                  
       
D                   (2)
       
D                   (3)

Como  R                        
Substituimos (2) e (3) macetosamente e cancelando os termos
corretamente,
        
 R  D                  
             
 D        D                      
         
 D    D                  
 
 D    D  

 
 R  D    D   é a denominada identidade de Palatini.

Agora que calculamos todos as variações, jogamos tudo de volta na

ação.

4 1      
S d x  g g  g g R  g g R  g g D    D  
2

1  
 d 4 x  g  g  g R  R  d 4 x g  g D    D  
2 

 
Trabalhando o ultimo termo separadamente: d 4 x g  g D    D  

 
Usando a formula do divergente : g A     g A

   
d x g   D g      D g    
4 4
g D    D   d x g

     
Escrevendo A  g   e B  g   , podemos usar a formula do
divergente , sendo assim :
 
 g       g    
4
d x  g g

 
 d4x  A   B  0

Se estivermos integrando por todo o espaço esse termo é nulo, logo

só sobra na ação :

4  1
 S  d x g g  g R  R 0
2 

Portanto,
1
R  R g  0
2
que é a equação de Einstein na ausência de fonte.