Tarea 4

Marín Arciniega Juan Daniel

Relatividad, Facultad de Ciencias, 2021-1
Universidad Nacional Autónoma de México

1. (b) Considere el tensor de energía-esfuerzos dado por

1
Tµν = ∂µ φ∂ν φ − gµν (∂α φ∂ α φ + 2V (φ)) (1)
2

Donde V (φ) es el potencial del campo φ y ∂ α φ = g αβ ∂β φ. Mostrar que la derivada covariante igual a cero de este
tensor de energía-momento (i.e. ∇ν T µν = 0), implica la ecuación de Klein-Gordon

dV
φ − =0 (2)
dφ

Primero, notemos el siguiente resultado, sea Tδαγ un tensor y g µν una métrica entonces

∇ (g µν Tδαγ ) = g µν ∇ (Tδαγ ) + Tδαγ ∇ (g µν )

= g µν ∇ (Tδαγ ) Ya que la derivada covariante de la métrica es cero
(3)

∴ ∇ (g µν Tδαγ ) = g µν ∇ (Tδαγ )

Con lo cual, podemos afirmar que la métrica se comporta como constante ante la derivada covariante
Ahora, tenemos que

T µν = g µγ g νβ Tγβ
1
= g µγ g νβ (∂γ φ)(∂β φ) − g µγ g νβ gµν (∂α φ∂ α φ + 2V (φ)) (4)
2
1
= ∂ µ φ∂ ν φ − g µν (∂α φ∂ α φ + 2V )
2
Entonces

1
∇ν T µν = ∇ν (∂ µ φ∂ ν φ) − ∇ν [g µν (∂α φ∂ α φ + 2V )]
2 (5)
1
= ∂ φ∇ν (∂ φ) + ∂ ν φ∇ν (∂ µ φ) − g µν ∇ν (∂α φ∂ α φ + 2V )
µ ν
2
Del inciso (a) sabemos que  = g νµ ∇ν ∇µ entonces

φ = g νµ ∇ν ∇µ φ (6)

Dado que φ es una función escalar se tiene que ∇µ φ = ∂µ φ, entonces

 Relatividad, 2021-1

φ = g νµ ∇ν ∂µ φ
= ∇ν g νµ ∂µ φ (7)
= ∇ν ∂ ν φ

Sustituyendo 7 en 5

1
∇ν T µν = ∂ µ φφ + ∂ ν φ∇ν (∂ µ φ) − g µν ∇ν (∂α φ∂ α φ + 2V )
2 (8)
1
= ∂ φφ + ∂ φ∇ν (∂ φ) − g µν (∇ν (∂α φ∂ α φ) + ∇ν 2V )
µ ν µ
2
Ahora, tenemos que V (φ) es una función escalar con lo cual se sigue que

∇ν V (φ) = ∂ν V (φ)
dV (φ) (9)
= ∂ν φ
dφ
Y ademas

∇ν (∂α φ∂ α φ) = ∇ν (∂α φg γα ∂γ φ)
= ∂α φ∇ν (g γα ∂γ φ) + g γα ∂γ φ∇ν (∂α φ)
= ∂α φ∇ν (∂ α φ) + ∂γ φ∇ν (g γα ∂α φ)
(10)
= ∂α φ∇ν (∂ α φ) + ∂γ φ∇ν (∂ γ φ)
= ∂α φ∇ν (∂ α φ) + ∂α φ∇ν (∂ α φ) Ya que α y γ son índices mudos
= 2∂α φ∇ν (∂ α φ)

Sustituyendo 9 y 10 en 8 obtenemos

 
µν µ ν µ 1 µν α dV (φ)
∇ν T = ∂ φφ + ∂ φ∇ν (∂ φ) − g 2∂α φ∇ν (∂ φ) + 2 ∂ν φ
2 dφ
dV (φ)
= ∂ µ φφ + ∂ ν φ∇ν (∂ µ φ) − g µν ∂α φ∇ν (∂ α φ) − g µν ∂ν φ
dφ
(11)
dV (φ) µ
= ∂ µ φφ + ∂ ν φ∇ν (∂ µ φ) − g µν ∂α φ∇ν (∂ α φ) − ∂ φ
dφ
 
dV (φ)
= ∂ µ φ φ − + ∂ ν φ∇ν (∂ µ φ) − g µν ∂α φ∇ν (∂ α φ)
dφ
Ahora, queremos que se cumpla ∇ν T µν = 0, sin embargo, notemos que en esta expresión el lado izquierdo corres-
ponde a una expresión vectorial y el derecho a un escalar, para evitar esto tenemos que "fijar.el indice libre µ, para
ello multiplicamos por ∂µ φ, entonces

∂µ φ∇ν T µν = 0
 
dV (φ)
(∂µ φ)∂ µ φ φ − + (∂µ φ)∂ ν φ∇ν (∂ µ φ) − (∂µ φ)g µν ∂α φ∇ν (∂ α φ) = 0
dφ
 
µ dV (φ)
∂µ φ∂ φ φ − + ∂µ φ∂ ν φ∇ν (∂ µ φ) − ∂ ν φ∂α φ∇ν (∂ α φ) = 0
dφ (12)
 
µ dV (φ)
∂µ φ∂ φ φ − + ∂µ φ∂ ν φ∇ν (∂ µ φ) − ∂µ φ∂ ν φ∇ν (∂ µ φ) = 0
dφ
 
µ dV (φ)
∂µ φ∂ φ φ − =0
dφ

Marín Arciniega Juan Daniel 2

 Relatividad, 2021-1

En donde, para la cuarta igualdad se uso µ y α son indices mudos, por lo cual se renombro α = µ, por lo tanto se
concluye que

dV (φ)
∂µ φ∂ µ φ = 0 ∨ φ − =0 (13)
dφ
2. Demostrar explícitamente
(a) Γµµλ = 21 g µν ∂λ gµν
Se tiene que

1 µν
Γµαλ = g (∂α gλν + ∂λ gνα − ∂ν gαλ ) (14)
2
Entonces si α = µ

1 µν
Γµµλ = g (∂µ gλν + ∂λ gνµ − ∂ν gµλ )
2 (15)
1
= (g µν ∂µ gλν + g µν ∂λ gνµ − g µν ∂ν gµλ )
2
Para la segunda igualdad de 15 se tiene que para el primer y tercer termino los indices µ y ν son mudos, y ademas
sabemos que el tensor métrico es simétrico, con lo cual gµν = gνµ , entonces se tiene que

g µν ∂µ gλν = g µν ∂ν gµλ
(16)
⇒ g µν ∂µ gλν − g µν ∂ν gµλ = 0
Sustituyendo 16 en 15 se concluye

1 µν
Γµµλ = g ∂λ gνµ (17)
2
(b) Para un tensor antisimétrico, F µν = −F νµ , demuestra que

1 √
∇ν F µν = √ ∂ν ( −gF µν ) (18)
−g
Se tiene que para un tensor de segundo orden la derivada covariente esta dada como

∇ν F µν = ∂ν F µν + Γµνα F αν + Γννα F µα (19)

Desarrollando el segundo termino del lado derecho de la igualdad se tiene que

Γµ00 F 00 + Γµ01 F 10 + Γµ02 F 20 + Γµ03 F 30

+ Γµ10 F 01 + Γµ11 F 11 + Γµ12 F 21 + Γµ13 F 31

Γµνα F αν =
+ Γµ20 F 02 + Γµ21 F 12 + Γµ22 F 22 + Γµ23 F 32

+ Γµ30 F 03 + Γµ31 F 13 + Γµ32 F 23 + Γµ33 F 33

Γµ00 F 00 + Γµ01 F 10 + Γµ02 F 20 + Γµ03 F 30 (20)

− Γµ01 F 10 + Γµ11 F 11 + Γµ12 F 21 + Γµ13 F 31

=
− Γµ02 F 20 − Γµ12 F 21 + Γµ22 F 22 + Γµ23 F 32

− Γµ03 F 30 − Γµ13 F 31 − Γµ23 F 32 + Γµ33 F 33

= Γµ00 F 00 + Γµ11 F 11 + Γµ22 F 22 + Γµ33 F 33

Marín Arciniega Juan Daniel 3

 Relatividad, 2021-1

En donde para la segunda igualdad se uso que F µν es antisimétrico y que Γµνα es simétrico para sus componentes
να, el código se colores es solo para identificar que términos son iguales pero de signo opuesto. Además, dado que
F µν es antisimétrico se sigue que F µν = 0 si µ = ν, con lo cual

Γµνα F αν = 0 (21)
Sustituyendo 21 en 19 obtenemos

∇ν F µν = ∂ν F µν + Γννα F µα
(22)
= ∂ν F µν + Γναν F µα En dónde se ocupo que Γα α
µν = Γνµ
√
∂α −g
Ahora, se tiene la propiedad Γναν = √
−g
, tomada de la ecuación 6.40 de A First Course In General Relativity.
Bernard Schutz. Con lo cual
√
µν µν ∂α −g µα
∇ν F = ∂ν F + √ F (23)
−g
Notemos que del lado derecho de la igualdad los indices ν y α son mudos con lo cual podemos renombrar
√
∂ν −g µν
∇ν F µν = ∂ν F µν + √ F
−g
√ √
−g ∂ν −g µν
= √ ∂ν F µν + √ F
−g −g
(24)
1 √ √
−g(∂ν F µν ) + (∂ν −g)F µν

=√
−g
1  √
∂ν ( −gF µν )

=√
−g

1 √
∴ ∇ν F µν = √ ∂ν ( −gF µν ) (25)
−g
(c) Y que además, satisface la relación cíclica

∇λ Fµν + ∇µ Fνλ + ∇ν Fλµ = ∂λ Fµν + ∂µ Fνλ + ∂ν Fλµ (26)

Se tiene que, siguiendo con la definición de derivada covariante

∇λ Fµν = ∂λ Fµν − Γσµλ Fσν − Γσνλ Fµσ (27)

∇µ Fνλ = ∂µ Fνλ − Γσνµ Fσλ − Γσλµ Fνσ (28)
∇ν Fλµ = ∂ν Fλµ − Γσλν Fσµ − Γσµν Fλσ (29)
Sumando 27, 28 y 29 obtenemos

∂λ Fµν − Γσµλ Fσν − Γσνλ Fµσ

∇λ Fµν + ∇µ Fνλ + ∇ν Fλµ = +∂µ Fνλ − Γσνµ Fσλ − Γσλµ Fνσ

+∂ν Fλµ − Γσλν Fσµ − Γσµν Fλσ

∂λ Fµν − Γσµλ Fσν − Γσνλ Fµσ (30)

= +∂µ Fνλ − Γσνµ Fσλ + Γσµλ Fσν

+∂ν Fλµ + Γσνλ Fµσ − Γσνµ Fσλ

= ∂λ Fµν + ∂µ Fνλ + ∂ν Fλµ

Marín Arciniega Juan Daniel 4

 Relatividad, 2021-1

En dónde, para la segunda igualdad de 30 se ocupo que Fµν es antisimétrico y Γα

µν es simétrico, por lo tanto

∴ ∇λ Fµν + ∇µ Fνλ + ∇ν Fλµ = ∂λ Fµν + ∂µ Fνλ + ∂ν Fλµ (31)

3. A partir de la definición del tensor de Faraday y considerando la definición de la 4-corriente J~ como J 0 = ρ, J i = (~j)i
(corriente espacial) muestre que se pueden obtener dos de las ecuaciones de Maxwell calculando

(a)

F,νµν = 4πJ µ (32)

Primera ley ∇ · E~
Se tiene que el tensor de Faraday esta dado como

0 Ex Ey Ez
 
−Ex 0 −Bz By 
Fµν  (33)
−Ey Bz 0 −Bx 
−Ez −By Bx 0
y

0 −Ex −Ey −Ez

 
E 0 −Bz By 
F µν  x (34)
E y Bz 0 −Bx 
Ez −By Bx 0

Ahora de 32 para µ = 0 se tiene que

F,ν0ν = 4πJ 0
∂F 0ν
⇒= 4πρ
∂xν
∂F 00 ∂F 01 ∂F 02 ∂F 03
⇒ 0
+ 1
+ 2
+ = 4πρ
∂x ∂x ∂x ∂x3 (35)
∂0 ∂Ex ∂Ey ∂Ez
⇒ + + + = 4πρ
∂t ∂x ∂y ∂z

~ = 4πρ
∴∇·E

~− ~
Segunda ley ∇ × B ∂E
∂t = 4π J~
Tomando µ = 1 en 32

F,ν1ν = 4πJ 1
∂F 1ν
⇒ = 4πJx
∂xν
∂F 10 ∂F 11 ∂F 12 ∂F 13
⇒ + + + = 4πJx (36)
∂x0 ∂x1 ∂x2 ∂x3
∂Ex ∂0 ∂Bz ∂By
⇒− + + − = 4πJx
∂t ∂x ∂y ∂z
∂Ex ∂Bz ∂By
⇒− + − = 4πJx
∂t ∂y ∂z

Multiplicando por el vector unitario î

Marín Arciniega Juan Daniel 5

 Relatividad, 2021-1

 
∂Ex ∂Bz ∂By
− î + − î = 4πJx î (37)
∂t ∂y ∂z
Para µ = 2 en 32

F,ν2ν = 4πJ 2
∂F 2ν
⇒ = 4πJy
∂xν
20 21 22
∂F ∂F ∂F ∂F 23
⇒ + + + = 4πJy (38)
∂x0 ∂x1 ∂x2 ∂x3
∂Ey ∂Bz ∂0 ∂Bx
⇒− − + + = 4πJy
∂t ∂x ∂y ∂z
∂Ey ∂Bz ∂Bx
⇒− − + = 4πJy
∂t ∂x ∂z
Multiplicando por el vector unitario ĵ

 
∂Ey ∂Bz ∂Bx
− ĵ − + ĵ = 4πJy ĵ (39)
∂t ∂x ∂z
Para µ = 3 en 32

F,ν3ν = 4πJ 3
∂F 3ν
⇒ = 4πJz
∂xν
30 31 32
∂F ∂F ∂F ∂F 33
⇒ 0
+ 1
+ 2
+ = 4πJz (40)
∂x ∂x ∂x ∂x3
∂Ez ∂By ∂Bx ∂0
⇒− + − + = 4πJz
∂t ∂x ∂y ∂z
∂Ez ∂By ∂Bx
⇒− + − = 4πJz
∂t ∂x ∂y

Multiplicando por el vector unitario k̂

 
∂Ez ∂By ∂Bx
− k̂ + − k̂ = 4πJz k̂ (41)
∂t ∂x ∂y
Sumando 37, 39 y 41

     
∂Ex ∂Bz ∂By ∂Ey ∂Bz ∂Bx ∂Ez ∂By ∂Bx
− î + − î − ĵ − + ĵ − k̂ + − k̂ = 4πJx î + 4πJy ĵ + 4πJz k̂
∂t ∂y ∂z ∂t ∂x ∂z ∂t ∂x ∂y
     
∂Bz ∂By ∂Bz ∂Bx ∂By ∂Bx ∂    
− î − + ĵ + − k̂ − Ex î + Ey ĵ + Ez k̂ = 4π Jx î + Jy ĵ + Jz k̂
∂y ∂z ∂x ∂z ∂x ∂y ∂t (42)

~
∂E
∴∇×B− = 4π J~
∂t
(b) Y las otras dos usando la siguiente relación

Fµν,λ + Fνλ,µ + Fλµ,ν = 0 (43)

Marín Arciniega Juan Daniel 6

 Relatividad, 2021-1

Tercera ley ∇ · B = 0
De la relación 43 se tiene que

∂Fµν ∂Fνλ ∂Fλµ

λ
+ µ
+ =0 (44)
∂x ∂x ∂xν
Tomemos λ = 1, µ = 2 y ν = 3 se sigue que

∂F23 ∂F31 ∂F12

1
+ 2
+ =0
∂x ∂x ∂x3
∂Bx ∂By ∂Bz
+ + =0 (45)
∂x ∂y ∂z

∴∇·B =0

~ + ∂ B~ = 0
Cuarta ley ∇ × E ∂t
De 44 tomemos λ = 0, µ = 2 y ν = 3 se tiene

∂F23 ∂F30 ∂F02

0
+ 2
+ =0
∂x ∂x ∂x3
(46)
∂Bx ∂Ez ∂Ey
+ − =0
∂t ∂y ∂z

Multiplicando por el vector unitario î

 
∂Bx ∂Ez ∂Ey
î + − î = 0 (47)
∂t ∂y ∂z

De 44 tomemos λ = 1, µ = 0 y ν = 3 se tiene

∂F03 ∂F31 ∂F10

1
+ 0
+ =0
∂x ∂x ∂x3 (48)
∂Ez ∂By ∂Ex
− + + =0
∂x ∂t ∂z
Multiplicando por el vector unitario ĵ se obtiene

 
∂By ∂Ez ∂Ex
ĵ − − ĵ = 0 (49)
∂t ∂x ∂z

De 44 tomemos λ = 1, µ = 2 y ν = 0 se tiene

∂F20 ∂F01 ∂F12

+ + =0
∂x1 ∂x2 ∂x0
(50)
∂Ey ∂Ex ∂Bz
− + =0
∂x ∂y ∂t

Multiplicando por el vector unitario k̂ se obtiene

 
∂Bz ∂Ey ∂Ex
k̂ + − k̂ = 0 (51)
∂t ∂x ∂y

Sumando 47, 49 y 51 obtenemos

Marín Arciniega Juan Daniel 7

 Relatividad, 2021-1

     
∂Bx ∂Ez ∂Ey ∂By ∂Ez ∂Ex ∂Bz ∂Ey ∂Ex
î + − î + ĵ − − ĵ + k̂ + − k̂ = 0
∂t ∂y ∂z ∂t ∂x ∂z ∂t ∂x ∂y
     
∂Ez ∂Ey ∂Ez ∂Ex ∂Ey ∂Ex ∂  
− î − − ĵ + − k̂ + Bx î + By ĵ + Bz k̂ = 0
∂y ∂z ∂x ∂z ∂x ∂y ∂t (52)

~
~ + ∂B = 0
∴∇×E
∂t

Marín Arciniega Juan Daniel 8