Documentos de Académico
Documentos de Profesional
Documentos de Cultura
RADIACIÓN GRAVITACIONAL v3
RADIACIÓN GRAVITACIONAL v3
FACULTAD DE CIENCIAS
ESCUELA PROFESIONAL DE FÍSICA
Radiación Gravitacional
Proyecto de Tesis II
Estudiante:
Samuel Américo Oré Tananta
Asesor:
Prof. Dr. Daniel Eduardo Soto Barrientos
Agosto 2023
3
Resumen
4
Índice general
Resumen 3
1. Introducción 5
3. Ondas gravitacionales 32
3.1. Solución de onda gravitacional . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1.1. Primer postulado de la relatividad especial . . . . . . . . . . . . . . . 32
3.1.2. Acción y lagrangiana . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1.3. Principio de Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1.4. Condiciones de fijación de calibre . . . . . . . . . . . . . . . . . . . . 32
5. Conclusiones y Perspectivas 34
A. Prueba de identidades 35
√
A.1. ▽α Aα = √1−g ∂α ( −gAα ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Bibliografı́a 36
5
Capı́tulo 1
Introducción
7
Capı́tulo 2
1. Las leyes de la fı́sica son las mismas en todos los sistemas de referencia inerciales.
2. La rapidez de la luz en el vacio es igual para todos los sistemas de referencia inerciales.
∆l′
c= → −c2 ∆t′2 + ∆l′2 = 0, (2.1b)
∆t′
estas ecuaciones para un rayo de luz son las mismas para todos los referenciales inerciales y
se toman como guı́a para la construcción de la geometrı́a del espacio-tiempo.
2.1. Espacio-tiempo curvo 8
De aquı́, podemos definir el intervalo del espacio-tiempo ∆s2 entre dos eventos P y Q unidos
−→
por el vector P Q como el producto escalar de este vector consigo mismo. Si respecto a un
referencial afı́n Σ las componetes de P son (ct, x, y, z) y de Q son (c(∆t + t), ∆x + x, ∆y +
−→
y, ∆z + z), luego P Q se escribe como xµ eµ con (xµ ) = (c∆t, ∆X, ∆y, ∆z). Ası́, el intervalo
del espacio-tiempo entre P y Q es
−→ −→
∆s2 = P Q · P Q
= xµ xν ηµν
= −c2 ∆t2 + ∆x2 + ∆y 2 + ∆z 2 .
Esta cantidad resulta ser un invariante para cualquier sistema de referencia inercial tomado.
El intervalo del espacio-tiempo ds2 , también llamado elemento de lı́nea del espacio-tiempo,
puede ser hallado directamente de la métrica de Minkowski mediante la relación
Se puede mencionar que este elemento de lı́nea (2.6) se halló para coordenadas cartesianas,
sin embargo también es posible obtenerlo para diferentes sistemas coordenados. Por ejemplo
para coordenadas cilı́ndricas (t, r, θ, z), se tendrá el cambio de variable x = r cos θ, y = r sin θ
y z = z. Ası́ de (2.6) encontramos
luego para hallar la métrica de Minkowski asociada a este sistema coordenado se usa (2.7),
donde ahora se toma (x0 = ct, x1 = r, x2 = θ, x3 = z), esto nos da:
−1 0 0 0
0 1 0 0
ηµν =
0 0 r2 0 .
(2.9)
0 0 0 1
Para el caso de un sistema de coordenadas esféricas (t, r, θ, ϕ), donde el cambio de variable
es x = r sin θ cos ϕ, y = r sin θ sin ϕ y z = r cos θ, se tiene que el procedimiento para hallar
el elemento de lı́nea es similar a (2.8). Ası́, se encuentra que el elemento de lı́nea para estas
coordenadas es
ds2 = −c2 dt2 + dr2 + r2 dθ2 + r2 sin2 θdϕ2 , (2.10)
luego la métrica de Minkowski para este caso se halla considerando (x0 = ct, x1 = r, x2 =
θ, x3 = ϕ), esto nos da:
−1 0 0 0
0 1 0 0
ηµν =
0 0 r 2
. (2.11)
0
0 0 0 r2 sin2 θ
Por otro lado, el elemento de lı́nea de Minkowski puede tener caulquier signo. Entonces,
podemos clasificar el inteevalo del espacio-tiempo entre dos eventos P y Q según el signo
que tenga. Esto es:
• ds2 < 0: tipo tiempo
• ds2 > 0: tipo espacio
• ds2 = 0: tipo luz.
Otra caracterı́stica del espacio de Minkowski se puede encontrar en las transformaciones
entre refenciales. Si consideramos dos sistemas referenciales inerciales Σ = (O, {eµ }) y Σ′ =
′ ′
O , {eµ } . Luego, un evento P ∈ M puede ser descrito por vectores con respecto a estos
referenciales de la forma: −−→
−→
OP = xµ eµ y O′ P = x′µ e′µ ,
−−→
luego de la regla de suma vectorial, podemos expreasr al vector O′ P como
−−′→ −−′→ −→
O P = O O + OP = aµ e′µ + xµ eµ , (2.12)
2.1. Espacio-tiempo curvo 10
−−→
con aµ siendo las camponentes del vector O′ O respecto a Σ′ . Luego entre los vectores base
existe una matriz de transomfación lineal Λ que los relaciona. Esto es:
eµ = Λν µ e′ν , (2.13)
donde se intercambio µ por ν en el último término. Por lo tanto, la relación entre las coor-
denadas de un evento P descrito por dos referenciales Σ y Σ′ es:
x′µ = Λµ ν xν + aµ . (2.14)
Por otro lado, estas transformaciones Λ deben ser tal que el diferencial de lı́nea ds2 sea el
mismo para distintos referenciales. Esto se consigue exigiendo que para todo v, w ∈ M × M ,
se cumpla la condición
Λ(v) · Λ(w) = v · w, (2.15)
las tranformaciones lineales Λ que cumplan esta última relación se las llama transformaciones
de Lorentz. Entonces, si para un referencial afı́n Σ podemos describir dos vectores como
v = v µ eµ y w = wν eν , luego en un referencial Σ′ estos mismos vectores se escriben como
v = v ′α e′α y w = w′β e′β . Reemplazando esto en (2.15) nos da
ΛT ηΛ = η. (2.17)
Por otro lado, tenemos que asegurar que las cantidades fı́sicas se transformen adecuada-
mente (mediante la transformación de Lorentz). Para esto primero podemos recordar que la
trasformación entre bases está dado según (2.13), luego la relación entre las componentes de
un vector u entre los referenciales Σ y Σ′ es
u′ν = Λν µ uµ . (2.18)
Estos también son llamados vectores contravariantes. Además de estas cantidades podemos
obtener otras; en primer lugar aquellas asociadas al espacio dual del espacio de Minkowski
M̃ (funciones lineales sobre M ). Entonces si w̃ ∈ M̃ y dado un v ∈ M , luego este es un
mapeo de la forma
w̃ : M −→ R
v 7−→ w̃(v) (2.19)
2.1. Espacio-tiempo curvo 11
En particular si {eα } es una base de M , entonces existen las funcionales lineales {eµ } de M̃
tal que
eµ (eα ) = δ µ α (2.20)
Más aún {eµ } forma una base para M̃ , y es conocida como base dual. Además las bases
duales respectivas {eν } y {e′β } se relacionan como:
eν = e′β Λβ ν (2.21)
Luego en el espacio dual definiremos un producto interno o métrica, tal que dado la base
ortonormal {eµ }, se tendrá:
eµ · eν = η µν = [η −1 ]µ,ν , (2.22)
también para esta base se podrá expresar un vector w̃ ∈ M̃ como:
w̃ = eµ wµ . (2.23)
Sustituyendo (2.21) arriba, podemos encontrar la relación entre las componentes de w̃ entre
las bases {e′β } y {eµ }, esta es
wβ′ = wµ Λβ µ (2.24)
Estos últimos tipos de vectores son llamados vectores covariantes (o covectores). Por otro
lado, se tiene que cada w̃ ∈ M̃ tiene un vector w ∈ M , tal que para un v ∈ M se cumple
w̃(v) = w · v. (2.25)
Respecto a una base {eµ } ∈ M , junto a su base dual asociada {eν } ∈ M̃ lo anterior se puede
expreasar como:
wρ v β eρ · eβ = wρ v β ηρβ = wβ eβ (v α eα )
= wβ v α δ β α
= wβ v β ,
wβ = wρ ηρβ (2.26)
La expresión anterior es conocida como bajada de ı́ndice. Con una secuencia lógica similar
se puede encontrar que:
wν = η µν wµ , (2.27)
esta corresponde a la subida de ı́ndice. Es ası́ que a partir de los vectores contravariantes y
covariantes, podemos introducir productos tensoriales de estos llamados tensores. En primer
2
lugar, consideramos como base del espacio de tensores de rango 0 , denotado como 2 T , al
producto tensorial:
{eµ ⊗ eν }, (2.28)
luego si u, v, w ∈ 2 T y a, b ∈ R, entonces se van a cumplir las siguientes propiedades:
T = T µν eµ ⊗ eν . (2.29)
y como sabemos la transformación de {eµ } a {e′ν } dada por (2.13), luego podemos aplicar
esto en (2.29), esto nos lleva a
T = T µν eµ ⊗ eν
= T µν (e′α Λα µ ) ⊗ (e′β Λβ ν )
= T µν Λα µ Λβ ν e′α ⊗ e′β .
T ′αβ = Λα µ Λβ ν T µν . (2.31)
Similarmente podemos definir bases para otros espacios de tensoriales, por ejemplo de rango
0 1
2
y 1
estas se denotan como {eµ ⊗ eν } y {eµ ⊗ eν } respectivamente. Los elementos de
estos espacios tensoriales también tendrán que transformarce adecuadamente. Es decir:
′
Tαβ = Λα µ Λβ ν Tµν (2.32a)
S ′α β = Λα µ Λβ ν S µ ν . (2.32b)
También se tiene que los ı́ndices de las componentes de los tensores van a poder subirce o
bajarce . Como ejemplo:
T αβ = η µα η νβ Tµν (2.33a)
Sαβ = ηµα ηνβ S µν . (2.33b)
Por último, se menciona el concepto de la lı́nea de mundo y las formas de lı́neas de mundo
que poseen cierto tipo de partı́culas. Es ası́ que la definición de lı́nea de mundo viene dada
como la curva en el espacio-tiempo formada por la unión de eventos (de forma continua)
por los que pasa una partı́cula. La distinción para las lı́neas de mundo se dan para dos tipos
de partı́culas: con masa y sin masa.
• Para las partı́culas con masa sus lı́neas de mundo tienen que ser tal que los vectores
tangente a cada punto de su lı́nea de mundo sea tipo-tiempo.
• Para las patı́culas sin masa se tiene que al moverse a una velocidad constante sus lı́nea
de mundo son rectas, en donde cada vector tangete a la lı́nea de mundo es tipo-luz.
2.1. Espacio-tiempo curvo 13
2.1.2. Geodésicas
Un mejor acercamiento para la descripción del espacio-tiempo es dado bajo el concepto
matemático de una variedad topológica. Este espacio-tiempo M está conformado de eventos,
tal que se puede cubrir todo M por una colección de regiones de esta, para eventos distintos
encontrar regiones disjuntas que los contengan y en donde regiones disjuntas no puedan
cubrir todo M .
Sea Up ⊂ M una vecindad centrada en un punto p ∈ M . En donde podemos definir un
mapeo φ de la forma φ : M → R4 , tal que nos permita conectar Up con R4 (φ y φ−1 son
contimuas). De aquı́, podemos definir la función µ-ésima coordenada como
xµ = uµ ◦ φ, (2.34)
(Up , x) . (2.35)
Dados dos sistemas coordenados locales (Up , x) y (Up′ , x′ ), si es posible encontrar puntos
puntos en común Up ∩ Up′ ̸= ∅, luego podemos decir que ambos sistemas son igualemnte
válidos para describir los puntos que pertenezcan a la intersección. Si un punto p pertenece
tanto a U como a U ′ , luego este puede ser descrito mediante las coordenadas de x y x′ ,
repectivamente estas son:
′
x(p) = (xµ (p)) y x′ (p) = (xν (p)). (2.36)
f ◦ x−1 ◦ x ◦ γ : I → R, (2.38)
Lo anterior es para cualquier f , luego podemos generalizarlo y definir un operado vp que nos
lleve de f a (2.39), esto es:
dxµ ∂f
vp (f ) = . (2.40)
dλ x(p) ∂xµ x(p)
2.1. Espacio-tiempo curvo 14
Ahora definiremos lo que son las 1-formas. Para esto consideramos las variedades M y
N , y la función f : N → N , luego definimos el push-forward como el mapeo:
f∗ : Tp M −→ Tf (p) N
vp 7−→ f∗ (vp ), (2.46)
Se sigue que los df son llamados 1-forma y son elementos de Tp∗ M , donde Tp∗ M es el espacio
dual de Tp M , además {dxµ } forma una base en Tp∗ M . Por otro lado, para (Up , x) y (Up′ , x′ ),
se tendrán las tranformaciones entre las bases como:
′
µ′∂xµ ν ′
dx = ν
dx = M µ ν dxν , (2.52)
∂x
y similarmente en el otro sentido
∂xα β ′ ′
dxα = β ′ dx = Mβ ′ α dxβ . (2.53)
∂x
′
También para las componentes de ω = ωα dxα = ωβ ′ dxβ vamos a tener las transformaciones:
′
ωβ ′ = Mβ ′ α ωβ y ωα = M β α ωβ ′ . (2.54)
Además, podemos mencionar que las 1-formas ω ∈ Tp∗ M al ser elementos del espacio dual
esto las hace aplicaciones lineales de la forma ω : Tp M → R. Luego podemos llamar a ω
0
como un tensor de rango 1 , esto es
ω ∈ Tp∗ M ≃ 0 1 Tp M. (2.55)
Además, para los vectores tagentes vp ∈ Tp M similarmente tenemos que son aplicaciones
lineales de la forma vp : Tp∗ M → R, luego vp es un tensor de rango 10 , esto es:
vp ∈ Tp M ≃ 1 0 Tp M. (2.56)
1
Por otro lado, para un SCL (Up , x) se tiene que {∂µ } genera a 0 Tp M y {dxα } genera a 0
1 Tp M .
Se sigue que un tensor T ∈ r s Tp M se puede expresar como:
donde T µ1 ···µrα1 ···αs son los coeficientes de T y los ı́ndices µ1 · · · µr se les llama contravariantes
y a α1 · · · αs los ı́ndices covariantes. Además los coeficentes del tensor T se obtienen como:
Por último, también podemos transformar las componentes de un tensor T entre sistemas
coordenados locales que se intersecten (Up , x) y (Up′ , x′ ), de la forma:
µ′1 ···µ′r ′ ′ ν1′ ···νr′
T α′1 ···α′s = M µ1ν1 · · · M µrνr Mα′ β1 · · · Mα′s βs T β1 ···βs . (2.60)
1
2.1. Espacio-tiempo curvo 16
g ∈ ∪ Tp M ≡ 0 2 T M, (2.61)
p∈M
Aquı́, F denota al espacio de funciones reales. Bajo un SCL (Up , x) uno puesde determinar
el valor de la evaluación de dos vectores tangentes vp y up como:
Además, otras caracteristicas de g es que es simétrico y no degenerado. Para ver esto consi-
deraremos para un SCL (Up , x) los vectores tangentes up = up (xµ )∂µ y vp = vp (xν )∂ν , leugo
esto en (2.63) nos da:
que según las propiedades que se mencionaron g es simétrico, luego se debe cumplir la
relación gµν = gνµ , y que no sea degenerado significa que |g| ≡ det[gµν ] ̸= 0. Por otro lado,
similarmente es posible introducir el tensor métrico:
g −1 = g µν ∂µ ⊗ ∂ν , (2.66)
de tal manera que este también es simétrico como el g, luego se tiene g µν = g νµ y entre g y g −1
se cumple g µν gνα = δ µ α . Además, estos tensores métricos permiten definir un isomorfismo
entre espacios tensoriales de la misma dimensión. En particular, fijando un SCL, vamos a
tener:
T µ1 ···µrα1 ···αs = gβα1 T µ1 ···µr βα2 ···αs , (2.67)
que es la baja de ı́ndice, también podemos tener
que es la subida de ı́ndice. Por otro lado, también es posible definir mapeos entre tensores de
difente dimensión. En particular, para un tensor T de la forma T µ1 µ2ν1 ν2 ∂µ1 ⊗∂µ2 ⊗dxν1 ⊗dxν2 ,
2.1. Espacio-tiempo curvo 17
aquı́ los Γµνα son conocidos como los coeficientes de conexión. Entonces regresando a (2.71),
lo podemos reescribir como
que denota la derivada covariante de un vector. Por otro lado, de una 1-forma ω ∈ 0 1 T M
y un campo vectorial t ∈ 1 0 T M podemos obtener el tensor ω ⊗ t ∈ 1 1 T M , aplicando la
derivada covariante a este último tensor nos da
▽v (ω ⊗ t) = ▽v ω ⊗ t + ω ⊗ ▽v t, (2.75)
y reordenando llegamos a
▽v ω ⊗ t = ▽v (ω ⊗ t) − ω ⊗ ▽v t. (2.76)
2.1. Espacio-tiempo curvo 18
Lo siguiente que se hace es aplicar una contracción de la forma C 11 a (2.76), que por ser
1 0
1 T M lo pasrá a 0 T M , esto es:
Para la expresión del elemento que falta por contraerce vamos a establecer una cuarta pro-
piedad para la derivada covariante
iv) C ij ▽v T = ▽v C ij T, donde T ∈ r s T M.
si tomamos t = ∂α , entonces
Lo anterior solo son las componentes de ▽v ω, luego la 1-forma ▽v ω completa se ecribe como:
por lo que hemos encontrado la derivada covariante de una 1-forma ω junto a sus diferentes
notaciones posibles. En general podemos expresar la forma que tiene la derivada covariante
de un tensor o campo tensorial arbitrario. Para esto consideramos el siguiente tensor de
r
rango s :
T = T µ1 ···µrα1 ···αs ∂µ1 ⊗ · · · ⊗ ∂µr ⊗ dxα1 ⊗ · · · ⊗ dxαs , (2.82)
luego su derivada covariante también va a ser un tensor de rango rs y se escribe como
en donde
▽β T µ1 ···µrα1 ···αs = ∂β T µ1 ···µrα1 ···αs + Γµ1 νβ T νµ2 ···µrα1 ···αs + · · · + Γµr νβ T µ···µr−1 να1 ···αs
− Γσα1 β T µ1 ···µrσα2 ···αs − · · · − Γσαs β T µ1 ···µrα1 ···αs−1 σ . (2.84)
Ahora teniendo presente las operaciones con derivadas covariantes nos dispondremos a
econtrar las ecuaciones de las geodésicas en el espacio-tiempo curvo. Para esto enunciamos
la siguiente definicIón: Sea γ : I → M una curva en M con campo tangente γ̇, y sea X un
2.1. Espacio-tiempo curvo 19
campo vectorial en alguna vecindad abierta de γ(I). Entonces se dice que X es autoparalela
a γ si
▽γ̇ X = 0. (2.85)
El vector ▽γ̇ X es aveces denotado como DX
dt
o ▽X
dt
(derivada covariante a lo largo de γ). En
α
términos de coordenadas, tenemos X = ξ ∂α , γ̇ = dxdt ∂α . De esto conseguimos
α
▽γ̇ X = ▽ dxα ∂α (ξ β ∂β )
dt
dxα
= ▽∂α (ξ β ∂β )
dt
dxα β σ
ξ Γ αβ ∂σ + ∂α ξ β ∂β
=
dt
dxα σ β
ξ Γ ασ ∂β + ∂α ξ β ∂β
=
ïdt β
dxα σ
ò
dξ β
= + Γ ασ ξ ∂β , (2.86)
dt dt
∂ξ α β
dξ β
donde hemos usado dxdt ∂x α = dt . Esto muestra que ▽γ̇ X solo depende de los valores de X
dξ β dxα σ
+ Γβ ασ ξ =0 (2.87)
dt dt
Alguna curva integral2 asociada a un campo vectorial u es llamada geodésica si cumple con
▽u u = 0. (2.88)
Por cumplir la condición anterior a u se le dice que es autoparalela a dicha curva. Luego
respecto a un SCL (Up , x), podemos expresar a u como
dxµ d
u = uµ ∂µ = u(xµ )∂µ = ∂µ = , (2.89)
dτ dτ
donde τ es el parámetro que describe a la curva. Reemplazando esto en (2.88) y de la
expresión de la derivada covariante de un campo vectorial (2.74) nos da
Para terminar esta parte se menciona que g y M al cumplir todas las caracteristicas que
se han mencionado hasta ahora (para ellos) reciben los nombres respectivamente de métrica
y variedad pseudo-Riemanniana. Además una derivada covariante o conexión afı́n ▽ se dice
que es una conexión métrica si el transporte paralelo a través de cualquier curva γ en M
preserva el producto interno. Entonces, sea g ∈ 0 2 T M el tensor métrico y si se cumple
▽v g = 0; ∀v (2.93)
entonces la conexión es métrica. Luego para un SCL podemos expresar a la métrica como
g = gαβ dxα ⊗ dxβ y aplicando (2.93) nos lleva a
Esto implica que ▽µ gαβ = 0, por lo que usando las expresiones generales de derivadas
covariantes para tensores, la relación ▽µ gαβ = 0 se escribe como:
Para los que sigue nos es conveninete reoordenar la expresión anterior como:
intermcambiando µ con β
∂β gαβ = gσµ Γσαβ + gασ Γσµβ , (2.97)
e intermcambiando β con α de (2.95)
De esta manera, hemos obtenido tres ecuaciones equivalentes. Sumando (2.96) con (2.102)
y restandoles (2.98), podemos llegar a
∂µ gαβ + ∂α gβµ − ∂α gβµ = gσβ Γσαµ − Γσµα + gσµ Γσαβ − Γσβα + gασ Γσβµ + Γσµβ
Ä ä Ä ä Ä ä
= gσβ 2Γσ[αµ] + gσµ 2Γσ[αβ] + gασ 2Γσ(βµ) ,
(2.99)
que es un resultado parcial que relaciona la métrica con los coeficientes de conexión.
2.1. Espacio-tiempo curvo 21
2.1.3. Curvatura
Sea una conexión afı́n dada en M , y sean X, Y , Z campos vectorial, luego se definen los
tensores:
T (f X, gY ) = f gT (X, Y ), (2.103)
y define un tensor de rango 12 de tal forma que la aplicación de una 1-forma ω en T (X, Y )
nos lleva a los reales. Este tensor de rango 12 es llamado tensor de torsión. En coordenadas
1
Γλβµ = g λα (∂µ gαβ + ∂α gβµ − ∂α gβµ ) . (2.105)
2
Los coeficiente de conexión para este caso son llamados simbolos de Christoffel. Ası́, ob-
tenemos una expresión que nos relaciona directamente los coeficientes de conexión con las
componentes de la métrica.
Por otro lado, para R se tendrá similarmente que R(X, Y ) = −R(Y, X), el campo vecto-
rial R(x, y)z es multilineal tal que para f, g, h ∈ F , se tiene
que aplicada una 1-forma ω en R(X, Y )Z nos lleva a los reales. En coordenadas locales las
componentes del tensor de Riemman son:
≃ V0µ − V0θ Γµ θλ (p)ελ − V0θ Γµ θσ (p)δ σ + V0θ (Γρ θλ (p)Γµ ρσ (p) − ∂λ Γµ θσ (p)) ελ δ σ ,
(2.111)
2.1. Espacio-tiempo curvo 23
donde nos hemos quedado con términos máximos del orden uno para ε y δ. Similarmente,
el transporte paralelo de V0 a través de C ′ = psr nos dará otro vector VC ′ (r) ∈ Tr M , dado
como:
VCµ′ (r) ≃ V0µ − V0θ Γµ θλ (p)δ λ − V0θ Γµ θσ (p)εσ + V0θ (Γρ θσ (p)Γµ ρλ (p) − ∂σ Γµ θλ (p)) ελ δ σ . (2.112)
VCµ′ (r) − VCµ (r) = V0θ (∂λ Γµ θσ − ∂σ Γµ θλ − Γρ θλ (p)Γµ ρσ (p) + Γρ θσ (p)Γµ ρλ (p)) ελ δ σ
= V0θ Rµ θλσ ελ δ σ . (2.113)
como u y s se pueden describir para un mismo SCL, luego se obtiene [u, s] = 0 entonces:
▽u s = ▽s u, (2.115)
▽u ▽u s = ▽u ▽s u. (2.116)
Además, el principio de covarianza nos dice que la forma de las leyes fı́sicas debe ser invariante
bajo el grupo de transformaciones de coordenadas generales, para R asegurar esto necesitamos
formar una acción integral invariante. Sin embargo, la integral D d4 xL(x), sobre un dominio
D del espacio-tiempo, no será un invariante mientras L(x) se una cantidad escalar, porque
Z Z Å ã Z
4 4 ∂x
d xL(x) = d x̄ L̄ =
̸ d4 x̄L̄, (2.121)
D D ∂ x̄ D
∂x
esto cuando el Jacobiano ∂ x̄
̸= 1. Entonces necesitamos alguna cantidad a(x) tal que
Z Z
4
d xa(x)L(x) = d4 x̄ā(x̄)L̄, (2.122)
D D
se mantenga, i.e., a(x) necesita ser una densidad escalar que se transforma como
∂x
ā(x) = a(x). (2.123)
∂ x̄
Desde que la métrica, que se transforma como
∂xθ ∂xλ
ḡαβ (x̄) = gθλ (x), (2.124)
∂ x̄α ∂ x̄β
es la única cantidad a nuestra disposición, debemos contruir el escalar densidad a(x), a
partir de esta. Tomando los determinantes de ambos lados de ley de tranformación del
tensor métrico, encontramos Å ã2
∂x
ḡ(x̄) = g(x). (2.125)
∂ x̄
Desde que la signatura de Lorentz implica que g = det(gαβ ) < 0, entonces
√ ∂x √
−ḡ = −g. (2.126)
∂ x̄
2.2. Derivación de las ecuaciones de Einstein 25
√
De esta manera, si tomamos a(x) = −g nuestra acción invariante se conviente en,
√
Z
S[gαβ ] = d4 x −gL(x). (2.127)
D
La densidad Lagrangiana L(x) ahora si debe ser un escalar para que la integral se transforme
de una forma invariante. y desde que escalar más sencillo que involucre curvatura es el escalar
de Ricci R, usaremos
L(x) = R, (2.128)
y reemplazando esto en (2.127), llegamos a
√
Z
S[gαβ ] ≡ SEH = d4 x −gR, (2.129)
en donde esta expresión es conocida como la acción de Eistein-Hilbert. Entonces, se sigue que
las ecuaciones de campo asociadas a esta acción pueden ser derivadas mediante la aplicación
de un principio variacional. La condición requerida para obtener la ecuaiones de campo se
tienen de
δSEH = 0. (2.130)
Para esto, necesitamos encontrar la variación de la acción (2.129). Esto nos da:
√
Z
δSEH = δ −gRd4 x
√
Z
= d4 xδ −gg µν Rµν
√ √ √
Z Z Z
= d x −gg δRµν + d x −gRµν δg + d4 xg µν Rµν δ −g.
4 µν 4 µν
(2.131)
luego
y también tenemos
los pasos especı́ficos se encuentran en (A.1). Esta es una integral a la cual podemos aplicar el
teorema de Stokes. Denotamos nα al vector normal a la superficie ∂D, por lo tanto el primer
término de la acción se covierte en
√
Z
δSEH(1) = d3 x −gnα Aα = 0. (2.143)
∂D
g αβ gβρ = δ α ρ (2.144)
2.2. Derivación de las ecuaciones de Einstein 27
donde {Φi } es el conjunto completo de campos variados. Los puntos estacionarios son aque-
llos para los que δS/δΦi = 0. De esta manera logramos llegar a la siguiente ecuación de
movimiento:
1 δSEH 1
√ µν
= Rµν − gµν R ≡ Gµν = 0, (2.157)
−g δg 2
donde Gµν es el tensor de Eistein. De esta menra hemos encontrado las ecuaciones de campo
de Eistein en el caso de ausencia de materia mediante un principio variacional.
Entre algunas propiedades que posee el tensor de Eistein, encontramos que este tiene
divergencia nula ▽β Gαβ = 0. Para esto consideramos la identidad de Bianchi,
0 = 2▽α Rαλ − ▽λ R
1
= ▽α Rαλ − ▽λ R
Å 2 ã
α 1
= ▽ Rαλ − gαλ R . (2.159)
2
Por lo tanto vemos que contraer dos veces la identidad de Bianhi nos lleva a el resultado
▽α Gαλ = 0, (2.160)
2.2. Derivación de las ecuaciones de Einstein 29
S = SG + SM , (2.161)
donde SM es la acción integral para la materia y la energı́a, que puede ser escrita como
√
Z
SM = LM −gd4 x, (2.162)
δ(SG + SM ) = 0, (2.163)
Esto nos da
√
Z
1
δSM =− Tµν −gδg µν d4 x. (2.170)
2
Usando las ecuaciones (2.155) y (2.170) el principio variacional luego nos conduce a las
ecuaciones de campo gravitacional para la teorı́a general de la relatividad
1
Rµν − Rgµν = κTµν . (2.171)
2
Estas son las famosas ecuaciones de campo de Eistein. En donde es posible determinar la
constante κ, esta tiene que ser
8πG
κ= 4
c
Contrayendo (2.171) conseguimos
R = −κT, (2.172)
donde T es la contracción del tensor de energı́a-momento, T = T µ µ . Insertando la ecución
(2.172) en (2.171) nos lleva a
Å ã
1
Rµν = κ Tµν − T gµν . (2.173)
2
Esta ecuación refleja una simetria en las ecuaciones, el tensor de Ricci y el tensor de enegı́a-
momento es invariante bajo una permutación entre los dos tensores.
2.3.Linealización de las ecuaciones de Einstein 31
Capı́tulo 3
Ondas gravitacionales
Capı́tulo 4
Capı́tulo 5
Conclusiones y Perspectivas
35
Apéndice A
Prueba de identidades
√
A.1. ▽α A α = √1 ∂α ( −gAα )
−g
▽α Aα = ∂α Aα + Γα να Aν . (A.1)
Luego para el simbolo de Christoffel
1 1 1
Γα να = g ασ (∂ν gσα + ∂α gνσ − ∂σ gνα ) = g ασ ∂ν gσα + g ασ ∂[α gνσ] = g ασ ∂ν gασ . (A.2)
2 2 2
Reconrdando que el determinante y la inversa de una matriz puede ser expresada en
términos de la comatriz C µν , que es la matriz hecha de los determianntes de las (n−1)×(n−1)
submatrices obtenidas suprimiendo la fila µ y columna ν (y luego multiplicando por (−1)µ+ν ):
1 1
g µν = (C µν )T = C νµ . (A.4)
g g
Por lo tanto, conseguimos
√
∂ν −g 1 ∂g 1 1
√ = ∂ν gασ = C ασ ∂ν gασ = g ασ ∂ν gασ . (A.5)
−g 2g ∂gασ 2g 2
Entonces, hemos encontrado
√
α ∂ν −g ν
α 1 √
▽ α A = ∂α A + √ A = √ ∂α ( −gAα ) (A.6)
−g −g
36
Bibliografı́a