RELATIVIDAD

Biblioteca Digital - Dirección de Sistemas de Informática y Comunicación - UNT
UNIVERSIDAD NACIONAL DE
TRUJILLO
FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS
S
ESCUELA DE FÍSICA
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
Tema de Tesis:
M DE
“Las Ondas Gravitatorias en la Teoría de la Relatividad”

Y A
Autor:
A
C
Cuba Quispe Katharine Ivette

TE
O
LI
Asesor:
IB
PhD. Antonio Rivasplata Mendoza

B
2014
Esta obra ha sido publicada bajo la licencia Creative Commons Reconocimiento-No Comercial-Compartir bajola misma licencia 2.5 Perú.
Para ver una copia de dicha licencia, visite http://creativecommons.org/licences/by-nc-sa/2.5/pe/
“Las Ondas Gravitatorias en la Teoría de la Relatividad General”
A mis padres,
por su apoyo incondicional y a
mi querida madrina Anna que hiso de
hada durante la mayor parte de mi vida.
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
Resumen
El presente informe está orientado al estudio y análisis de las Ondas Gravitacionales dentro
del contexto de la Relatividad General a un nivel intermedio. Para ello, el Capítulo I hace
una revisión de la matemática necesaria1 con el fin de comprender la Relatividad General.
Luego, se desarrollan las Ecuaciones de Campo de Einstein, partiendo de la variación de la
S
acción y separando la acción debido a la materia y al campo gravitatorio (Ec. 2.4.44 que
A
incluye la constante cosmológica y Ec. 2.4.16 que no la incluye). Como consecuencia de las
C
Ecuaciones de Campo Gravitatorio, se obtienen las Ondas Gravitatorias desarrolladas en el
SI
Capítulo III. Se presenta tres formas de estudiar las ondas gravitatorias, la primera es la
linealización de las ecuaciones de campo en el límite Newtoniano, la segunda bajo el
S FÍ
método variacional y finalmente el método Post–Newtoniano. En el Capítulo IV se da a
conocer los diferentes experimentos que se realizan para la detección de las Ondas
C S
Gravitatorias y el hallazgo del BICEP 2 (Background Imaging of Cosmic Extragalactic
TI IA
Polarization) en la detección de ondas gravitatorias primordiales.
Á C
A
M EN
1. tensores, espacio de formas, variedades y espacios tangenciales, la métrica y significado geométrico,
símbolos de Christoffel, tensor de Riemann, etc.
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
Abstract
This report is oriented to the study and analysis of gravitational waves in the context of
General Relativity at an intermediate level. For this, the Chapter I makes a review of
mathematics1 needed in order to understand general relativity. Then, the Einstein field
equations are deduced starting from the variation of the action and spreading the action
S
because of the matter and the gravitational field (Eq. 2.4.44 which includes the
A
cosmological constant and Eq 2.4.16 not develop the included). As a consequence of
C
Gravitational Field Equations, the Gravitational Waves developed in Chapter III are
SI
obtained. Three ways to study gravitational waves is presented, the first is the linearization
of the field equations in the Newtonian limit, the second one under the variational method
S FÍ
and finally the Post-Newtonian method. In Chapter IV discloses the different experiments
carried out for the detection of Gravitational Waves and the finding of the BICEP 2
C S
(Background Imaging of Cosmic Extragalactic Polarization) in the detection of primordial
TI IA
gravitational waves.
Á C
A
M EN
1
Tensors, space forms, manifolds and tangential spaces, metric and geometric
meaning, Christoffel symbols, Riemann tensor, etc.
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
ÍNDICE
Introducción 7
S
Desarrollo 8
A
C
1. Capítulo I: Fundamento Previos para la Relatividad General
1.1.Vectores 8
SI
1.2.Uno-Formas 9
S FÍ
1.3.Tensores 11
1.4.Formas 13
C S
1.5.Variedades y su sistema de coordenadas 15
TI IA
1.5.1. Variedad con dimensión 1 16
1.5.2. Variedad con dimensión 2 17
Á C
1.6.Campo de Vectores tangenciales y el campo de las coordenadas de bases
A
M EN
vectoriales 19
1.7.Transformaciones Generales de Bases 22
1.8. El Tensor Métrico 23
I
TE C
1.9. Estructura de los coeficientes 24

1.10. Diferenciación exterior de Formas 26
M DE
1.11. Integración de formas 28

1.12. Diferenciación covariante de vectores 29
Y A
1.13. Curvas Geodésicas 33

A
1.13.1. La conexión Generalizada de Kozul 35

C
1.14. La Derivada de Lie 37

TE
1.15. El Tensor de Curvatura de Riemann, el Tensor de Ricci y el Tensor de

Einstein 38
O
LI
2. Capítulo II: Relatividad General

2.1.Principio de Equivalencia 43
IB
2.2.Ecuaciones de campo de Einstein 44

2.2.1. Deducción de las ecuaciones de campo de Einstein en el vacío a partir del
B
principio variacional de Hilbert. 45

2.2.2. Las ecuaciones de campo en presencia de materia y Energía 50
2.3.Conservación de Energía momento 52
2.4.Aproximación Lineal de las ecuaciones de Campo y el Limite Newtoniano 53
2.4.1. Las Ecuaciones de campo linealizadas 53
2.4.2. La constante cosmológica 61
3. Capítulo III: Ondas Gravitatorias

TT
3.1.Calibre Transversal sin Traza h 65
3.2.Interacción de Ondas Gravitacionales con partículas puntuales. 75
3.2.1. Descripción Newtoniana y relativista de la fuerza de marea 75
3.2.2. Descripción en el calibre transversal sin traza 78
S
3.2.3. Descripción en el marco de referencia de caída libre 79
A
3.2.4. Ideas Clave sobre los Detectores de Ondas Gravitatorias. 81
C
3.3.Tensor Eficaz Energía-Momento de Ondas Gravitatorias 82
SI
3.4.Generación de Ondas Gravitatorias (Método Post-Newtoniano) 87
3.4.1. Fuentes de movimiento lento, campo débil y auto-gravedad despreciable
S FÍ
87
3.4.2. Fuentes en movimiento lento y campo débil, pero con auto-gravedad no
C S
despreciable. 90
TI IA
3.5.Ondas Gravitatorias y Electromagnetismo 91
Á C
A
4. Capitulo IV: Detectores de Ondas Gravitatorias y Fuentes Astrofísicas.
M EN
4.1.Detectores de Ondas Gravitatorias 93
4.2.Fuentes Astrofísicas de la radiación Gravitatoria. 103
I
4.2.1. Fuentes Detectables desde Tierra y el espacio. 103

TE C
4.2.1.1.Supernovas y Colapso Gravitatorio 103

M DE
4.2.1.2.Estrellas Binarias 104

4.2.1.3.Pulsares y Estrellas de Neutrones rotantes 105
4.2.1.4.Fondo Aleatorio 106
Y A
A
C
Conclusiones 108
TE
Bibliografía 110
O
LI
IB
B
INTRODUCCIÓN
De acuerdo a la teoría de la Relatividad general, la concentración compacta de
energía (e.g. estrellas de neutrones y agujeros negros) deberían ondular fuertemente el
espacio-tiempo, y cuando una de estas concentraciones de energía cambien de forma,
debería crear un cambio dinámico en las ondulaciones del espacio-tiempo que se propagan
S
a través del universo a la velocidad de la luz. La ondulación que se propaga es llamada
A
Onda Gravitatoria- un nombre que surge de la descripción de la relatividad general de la
C
gravedad como una consecuencia de la ondulación del espacio-tiempo.
SI
Es bien conocido que las Ondas Gravitatorias (OG) constituyen una consecuencia
S FÍ
de la Teoría de la relatividad General. Teóricamente, en los últimos años se han realizado
grandes avances en lo que a fuentes de Ondas Gravitatorias se refiere, principalmente en
C S
sistemas binarios compuestos de estrellas de neutrones y agujeros Negros, de esta manera,
TI IA
el entendimiento del problema de los dos cuerpos y el génesis de las ondas Gravitatorias ha
mejorado considerablemente. El mejor método de aproximación analítica desarrollado ha
Á C
sido el método Post. Newtoniano, cuya expansión a mejorado el cálculo analítico hasta el
A
M EN
estado final de la evolución, además este método ha sido propuesto para entender la
dinámica conservativa de dos cuerpos y los efectos de reacción de la radiación. Nuestro
conocimiento ha progresado en el problema de movimiento de una partícula puntual en el
I
TE C
espacio-tiempo curvo, esto cuando se toma en cuenta la emisión de una onda gravitatoria.
M DE
Experimentalmente, tras muchos esfuerzos realizados por detectores de OG en tierra

(LIGO- Estados Unidos [16], VIRGO, EGO- Europa [8] y TAMA-Japón [24]) y un
interferómetro laser espacial LISA, el BICEP2 [1], [2] verifica la inflación cósmica y
Y A
encuentra la existencia de las Ondas gravitacionales indirectamente, este hallazgo se da a

A
C
conocer a la comunidad científica en Marzo del 2014 generando un gran impacto a nivel
mundial.
TE
Todo lo antes mencionado despierta un particular interés por el estudio en esta área,
O
es así entonces que la presente monografía contendrá cuatro capítulos introductorios: El

LI
capítulo 1 nos da las herramientas matemáticas necesarias para entender la relatividad

general. En el capítulo 2 entramos a la relatividad general para llegar a las ecuaciones de
IB
campo de Einstein y la linealización de las mismas. En el capítulo 3 entramos a lo que es

ondas gravitatorias y los métodos teóricos desarrollados para su estudio. El capítulo 4 nos
B
presenta, superficialmente, la parte experimental de los detectores de ondas gravitatorias.
DESARROLLO
Capítulo I
S
1. Fundamentos Previos para la Relatividad
A
C
General
SI
S FÍ
1.1. Vectores
C S
Cuando pensamos en vectores es casi inmediato representarlo por una “flecha” en
TI IA
nuestra imaginación, que como se sabe, esta se caracteriza por tener modulo y dirección; en
donde el modulo le asigna un valor numérico, al “tamaño” de la flecha y la dirección le
Á C
A
asigna un valor de orientación en función de un sistema de referencia tomado.
M EN
Se denota a un vector con una letra en “negrita” por ejemplo “ v ”; y se tiene,
entonces, que a y b son dos números reales, tal que au  bv es una combinación lineal que
I
TE C
también resulta ser un vector.

M DE
También se denota a un vector por medio de la combinación lineal de sus

proyecciones sobre el sistema elegido, a su vez estas proyecciones pueden escribirse en
manera resumida contrayéndolas en una sumatoria del producto de sus módulos en sus
Y A
∑ ̂ , en donde
A
respectivas bases, por ejemplo representa sus módulos en una

C
direcciones arbitraria (donde ) y ̂ son los versores (o vectores base) que

TE
representa la direcciones arbitrarias , en donde se proyecta el vector ; juntos en una

sumatoria completan la definición de un vector en “el lenguaje de los índices”.
O
Por el convenio de sumación de Einstein1, podemos expresar una combinación

LI
lineal de vectores e  de n términos como a  e  sin necesidad del símbolo “ ” de sumaria

IB
(en donde  1,..., n son números reales que remplazan a las coordenadas del sistema).
B
1
En el convenio de sumación, Einstein utilizaba letras del alfabeto latino para representar
magnitudes de tres dimensiones y letras del alfabeto griego para representar magnitudes de cuatro
dimensiones.
Los vectores base e1 ,...en se dice que son linealmente independientes si ningún
número real a   0 existen, tal que a  e  0 , y esto quiere decir que ningún vector e 
puede ser expresado en función del otro.
Un grupo de vectores base linealmente independientes e  se

 dice que es
S
máximamente lineal independiente (o máximamente independiente) si existe un vector v
e , v es
A
tal que el grupo de vectores  linealmente independiente. Entonces, existen
C
números reales no nulos a  y a tal que:
SI
a  e  av  0 (1.1.1)
S FÍ
Dado que el grupo de vectores e1 ,...en  son bases en un espacio n-dimensional. Si
C S
dividimos los términos de la ecuación (1.1.1) entre a y reemplazamos a   aυ tenemos:
TI IA
a
Á C v e
A
a
M EN
aυ 
v e
a
I
TE C
v  υ e (1.1.2)
M DE
Los números reales υ  son llamados las componentes de v relativo a la base e   .

Y A
Los vectores linealmente independientes (dos como mínimo) pueden formar

A
C
espacios vectoriales y nunca tienen la misma dirección. Cabe resaltar, que el número de
dimensiones del espacio será el número de vectores L.I. que como se mencionó
TE
anteriormente, se le atribuye el nombre de “base del espacio vectorial e  ”.


O
1.2.Uno-formas
LI
Se entiende por un uno-forma, como funciones lineales de dentro de , donde

IB
es un espacio vectorial (ver figura 1.2-1). Es decir, un uno-forma actúa en un vector y

B
nos da como resultado un número real .
S
A
C
SI
Figura 1.2-1: Acción de un uno-forma en un espacio vectorial.
S FÍ
Como parte del algebra lineal de las uno-formas y cumplen las siguientes
relaciones:
C S
α + β  v   α  v   β(v)
TI IA
(1.2.1)
Á C  aα  ( v)  a α( v) (1.2.2)
A
M EN
Donde es un número real.
I
Análogamente al espacio vectorial que lo expresamos a través de e   , es necesario

TE C
introducir una base de uno-formas ω   y sus respectivas componentes   para a partir de

M DE
estos poder definir todo el espacio de 1-formas. La base ω   es definida por:

Y A
  (e )   (1.2.3)

A
C
TE
En dónde:
1;   
  
O
(1.2.4)
0;   
LI
Expresando la uno-forma como una combinación lineal de la base de formas,

IB
tenemos:
B
α    ω (1.2.5)
Lo que nos dice esta ecuación (1.2.5) es que los componentes de un uno-forma  
son dados por las contracciones de las formas con las bases vectoriales.
( ) ( ) (1.2.6)
10
Por tanto α  v  se ejecuta mediante una operación conocida como la contracción o

el producto interno2 de α con v , el cual denotaremos como:
i vα  α  v  (1.2.7)
α  v   α(υ e )  υ α(e )  υ  (1.2.8)
S
A
O también:
C
α  v     ω (υvev )    υv (ω ev )    υv v    υ (1.2.9)
SI
Si comparando las ecuaciones (1.2.8) y (1.2.9) observamos que α  v   v(α) , que
S FÍ
corresponde a la simetría del producto escalar de dos vectores. De esta relación podemos
C S
concluir también que un campo de uno-formas α es un espacio dual al campo vectorial
TI IA
debido a que satisfacen los mismos axiomas. Por tanto las componentes de un vector
pueden ser expresados como:
Á C
A
υ  v(ω )
M EN
(1.2.10)
En las ecuaciones (1.2.6) y (1.2.10) se puede observar la dualidad que existe entre
I
TE C
α y v , al expresarse tanto las componentes de las formas como las componentes de los
vectores a través de la base del espacio dual de cada uno.
M DE
1.3.Tensores
n 
Y A
Un tensor de rango   es una función escalar de n uno-formas y n ' vectores que

A
 n '
C
es lineal en todos sus argumentos, es decir es un mapeado de un uno-forma y un vector en

TE
un escalar.
O
0 
De lo anterior, se puede decir que los escalares son tensores de rango   , los
LI
0 
1  0 
IB
vectores de rango   y los uno-formas de rango   . Diferenciamos entre tensores

0  1 
B
covariantes, contravariantes y tensores mixtos.
2
Se le conoce también como producto escalar o producto punto, o como también vemos,
contracción. El resultado de un producto interno entre un uno-forma y un vector nos da sencillamente un
número real, lo mismo que se graficó en la figura 1.2-1.
11
Para escribir un tensor en su forma componente necesitamos una base tensorial. El

producto tensorial  entre dos tensores covariantes T y S de rango m y n
respectivamente, se define por:
T  S (u1 ,..., um , v1 ,..., vn )  T ((u1,..., um ) S (v1,..., v n ) (1.3.1)
S
Los tensores de un rango definido forman también un algebra lineal, es decir que la
n  n 
A
combinación lineal de tensores de rango   es también un tensor de rango   .
 n '  n '
C
SI
Como mencionamos previamente, distinguimos entre tres tipos de tensores;
contravariantes, covariantes y mixtos. Un tensor contravariante de rango q se define de la
S FÍ
siguiente manera,
C S
1 ...q
RR e1  ...  eq (1.3.2)
TI IA
Á C
Y sus componentes vectoriales,
A
M EN
1 ...q
R( v1 ,...,  q )  R e1  ...  eq (ωv1 ,..., ω q )
v v
I
1 ...q
R(ωv1 ,..., ω q )  R ( v11 ... qq )
v v
TE C
M DE
1 ...q 
R  R(ω1 ,..., ω q ) (1.3.3)
De la misma manera un tensor covariante y sus componentes se expresaran:

Y A
A
q
S  S 1... q ω1  ...  ω
C
(1.3.4)
TE
S 1... q  S(e1 ,..., eq ) (1.3.5)

O
q 
LI
Un tensor mixto T de rango   es escrito como el número T ( q uno-formas y

 p
IB
p vectores) y es expresado por su forma componente como:

B
 ...
T  Tv1 ...1 v p q e1  ...  eq  ωv1  ...  ω
vp
(1.3.6)
Cabe notar que el producto tensorial no es conmutativo T  S  S  T (a menos

que S  cA donde c es un escalar).
12
1.4.Formas
Generalizaremos ahora el concepto de una uno-forma definiendo una p-forma. Una

p -forma es un tensor antisimétrico de rango p , expresando su antisimetría de la siguiente
manera:
A... ...v...  A(...e ,..., ev ...)  A(...ev ,...e ...)  A...v... ...
S
(1.4.1)
A
Para escribir una p -forma mediante sus componentes necesitamos que su base
C
tensorial sea antisimétrica. La combinación antisimétrica de una base tensorial
SI
es denotada por ω1   ω
p  p 
ω1  ...  ω y es definido por:
S FÍ
1 p!
ω 1    ω 
  p  
 (1) π(i )ω 1  ...  ω p (1.4.1)
C S
p ! i 1
TI IA
Donde π(i ) es una función sobre las p ! diferentes permutaciones de índices 1 ha
 p definido por:
Á C
A
M EN
 0; si la permutación es par
π(i)   (1.4.2)
1; si la permutación es impar
I
TE C
Teniendo estas relaciones, expresamos entonces una p -forma a través de sus

M DE
componentes con la siguiente relación,
α    ... p !ω 1   ω
  p 
(1.4.3)
Y A
1 p
A
C
Donde las barras denotan que solo los componentes con índices en aumento son
TE
incluidos en la suma. Ahora, se definirá el producto antisimétrico, llamado producto

externo3 y denotado por  de la siguiente manera:
O
( p  q)! 1
ω 1   ω  ω 1   ω q  
  p  v   v 
ω   ω p  ωv1  ...  ω q  (1.4.4)
LI
p !q !
IB
De las ecuaciones (1.4.3) y (1.4.4) podemos llegar a las siguientes relaciones de la

B
p -forma α
p
α    ... ω1  ω2  ...  ω (1.4.5)
1 p
3
Recordemos que el producto externo de por sí ya es una antisimetrización del producto tensorial.
De aquí, que si se realiza el producto externo de dos bases iguales el resultado será “cero”.
13
1 
α  1...  p ω 1  ω 2  ...  ω p (1.4.6)
p!
La razón para p ! en el denominador de esta expresión es que cada término es

incluido p ! veces debido a la sumatoria con ambos índices aumentando o disminuyendo.
S
De la ecuación (1.4.4) tenemos que ω  ωv  ωv  ω lo que indica que un
A
intercambio en las dos bases de las formas en la ecuación (1.4.4) nos da un número impar
C
de permutaciones de dos formas vecinas. De la ecuación (1.4.4) obtenemos que el producto
externo entre un p-forma α y una q-forma, β está dado por:
SI
( p  q)!
S FÍ
(α  β) 1 ... p  p1 ... pq    (1.4.7)
p !q ! 1 p  p1 pq 
C S
TI IA
Hasta ahora solamente hemos hablado sobre tensores covariantes antisimétricos.
Procederemos ahora con el mismo procedimiento paso a paso con tensores contravariantes
Á C
antisimétricos. Como un tensor de rango p es llamado un p-vector y tiene la forma
A
M EN
componente:
1 ... p
A A e 1  ...  e p (1.4.8)
I
TE C
El producto externo de p vectores A i es un p-vector con componentes:

M DE
 p ! A1 1 A22  Ap p 
1 ... p   
( A1  ...  Ap ) (1.4.9)
Y A
A
Dado una p-forma α , y un q-vector A en un espacio con n dimensiones donde

C
p  q . Entonces la contracción de α con A es un ( p  q) -forma definido por:

TE
1 
 v1 ...v p 1 ...q A 1 p ω 1  ...  ω p
v ...v
iAα =
O
(1.4.10)
( p  q)!
LI
Si q  p entonces iA es la función escalar:

IB
 1 ...  p  1
B
 ...
iA α = α(A)   v1 ...v p A 
  1 ... p A 1 p (1.4.11)
p!
Todo tensor covariante puede ser similarmente contraído con un vector. En este
caso el producto cuña  en la ecuación (1.4.10) es solo reemplazado con un producto
tensorial.
14
1.5.Variedades y su sistema de coordenadas
En la relatividad general, como mencionamos anteriormente nuestro espacio-tiempo

es curvo, y los vectores no existen más, es por eso que el trabajar con variedades en este
espacio se hace fundamental.
Existe entre vectores y uno-formas una relación de isomorfismo4, la cual es una
S
propiedad bastante importante, debido al hecho de que cada operación o ecuación en un
A
espacio tiene su equivalente en el otro (por ser su dual). Es decir, que hay una relación
C
biyectiva entre dichos espacios algebraicos5 (i.e. mapeado uno-uno)
SI
Entonces, definimos un mapeado uno-uno f , de un espacio M a un espacio N
S FÍ
como una regla en el que cada punto, x en M asocia un punto f ( x) en N . Además se
requiere diferentes puntos en M sean mapeados como diferentes puntos en N , es decir,
C S
x  y y f ( x)  f ( y )
TI IA
Á C
A
M EN
I
TE C
M DE
Figura 1.5-1: Mapeado uno-uno.

Y A
Resumiendo matemáticamente, una variedad M es un espacio topológico6 que

A
C
satisface las siguientes propiedades:

TE
 Existe una familia de vecindades abiertas U i junto a un mapeado continuo uno a

uno con una inversa continua para un número n .
O
 La familia de vecindades abiertas cubren a todo M .

LI
Ui  M
IB
i
B
De acuerdo a la definición de una variedad M existen aplicaciones .

Donde U es una región abierta en M . Si P es un punto en M , entonces  ( P)  (x ,..., x ) 1 n
4
Un isomorfismo es un tipo especial de homomorfismo que tiene como principal característica el
tener una función inversa continua. Tambien se le conoce como “homeomorfismo”
5
Para un mayor entendimiento, ver: C. J. Isham. “Modern Differential Geometry for phycisist”. 2°
edición. Pág. 51. [12]
6
Para mayor información ver [12]
15
será un vector en . Como un mapa es llamado un sistema de coordenadas y U es

llamado una región de coordenadas de M . Un sistema de coordenadas consiste entonces en
un grupo de mapas  x   y el sistema de coordenadas es una representación de puntos,
 1,...,n
en U por n-tuples (x1 ,..., x n ) .
S
Como consecuencia de esta definición tenemos que una variedad tiene bien definido
su espacio tangencial en cada punto de la variedad, esto se verá en la parte 1.6.
A
C
Para un mejor entendimiento de una “variedad” veremos a continuación variedades
SI
con dimensión 1 y 2.
S FÍ
1.5.1. Variedad con dimensión 1
C S
Una variedad unidimensional es una curva sin torceduras ni propias
TI IA
intersecciones. En este caso, en vez de hablar de espacios tangenciales,
Á C
hablaremos de líneas tangenciales. Las curvas pueden ser cerradas,
A
ilimitadas o tener uno o dos puntos finales. En la figura 2.1.1-1 mostramos
M EN
lo mencionado:
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
Figura 1.5-2: a) Curva cerrada. b) Curva ilimitada (las flechas indican la

continuidad de la curva hacia sus extremos). c) Curva con un punto final indicado
B
por el punto negro, el punto blanco indica que ese punto no pertenece a la curva, es
decir, la curva va desapareciendo paulatinamente sin un punto final. Fuente:
Reyer Sjamaar; Department of Mathematics, Cornell University, Ithaca, New
York. “Manifolds and Differential Forms”
Como ejemplo de curvas planas que no pueden ser variedades,

mostraremos la siguiente figura que muestra cuatro figuras que no cumplen
16
con la descripción hecha anteriormente. La lágrima en la figura a) tiene una

torcedura donde dos líneas tangenciales distintas se cruzan; El bucle de 5
puntas b) tiene cinco puntos de auto-intersección; la corbata de lazo c) y la
estrella de cinco puntos tampoco son variedades por tener la primera, una
auto intersección y la segunda por las torceduras en las puntas.
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
Figura 1.5-3: Ejemplos de curvas planas que no son variedades. a)

lagrima. b) Bucle de cinco puntas. c) Corbata de lazo. d) Estrella de cinco
M DE
puntas. Fuente: Reyer Sjamaar., Department of Mathematics, Cornell

University, Ithaca, New York. “Manifolds and Differential Forms”
Y A
A
Los puntos donde las curvas fallan en ser variedades, se les llama
C
“singularidades” y los puntos donde las curvas no presentan inconveniente

TE
en ser variedades se les llama puntos “smooth” (puntos suaves, pero

usaremos la palabra en ingles por ser más conocido en la diferente
O
bibliografía)
LI
IB
1.5.2. Variedad con dimensión 2

B
Una variedad bidimensional es una superficie suavizada sin auto-

intercepciones. Por ejemplo, podemos decir que un cuadrado abierto (sus
límites son abiertos) y un subgrupo cerrado con limites suavizados son
ejemplo de variedades bidimensionales, sin embargo un cuadrado cerrado no
es una variedad debido a que sus esquinas no están suavizadas (ver Figura
2.1.2-2)
17
S
A
C
SI
S FÍ
Figura 1.5-4: a) y b) son ejemplos de variedades bidimensionales. c) cuadrado
cerrado (está limitado) Ejemplo de que no es variedad bidimensional. Fuente:
C S
Reyer Sjamaar., Department of Mathematics, Cornell University, Ithaca, New
York. “Manifolds and Differential Forms”
TI IA
Á C
Como ejemplos de variedades bidimensionales en un espacio
A
M EN
tridimensional tenemos la esfera, el paraboloide y el toroide.
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
Figura 2.1.2-2: Variedades bidimensionales.
18
Como un último ejemplo veremos la famosa banda de Möbius7, que

se presenta en la siguiente figura:
S
A
C
SI
S FÍ
Figura 1.5-5: banda de Möbius obtenida al pegar uno de los bordes de una tira de
C S
papel rectangular con el otro borde de la tira girada en una mitad. Fuente: Reyer
TI IA
Sjamaar., Department of Mathematics, Cornell University, Ithaca, New York.
“Manifolds and Differential Forms”
Á C
A
M EN
Con los diferentes ejemplos dados se espera que la idea de variedad haya quedado
clara ya que es fundamental para el entendimiento del espacio tiempo.
I
1.6.Campo de Vectores tangenciales y el campo de las coordenadas de bases

TE C
vectoriales
M DE
Consideremos el caso especial en el que una variedad M es una superficie curva en

un espacio tridimensional euclidiano (con mayor dimensión que la variedad M ) y
a un punto arbitrario P en M , r ( ) será una
Y A
denotaremos un vector posición r en

A
curva en M con un parámetro  (ver figura 1.6.-1). El vector tangencial t (0 ) de esta
C
curva a un punto 0 es definido por:

TE
 dr 
O
t (0 )    (1.6.1)
 d   0
LI
IB
B
7
Descubierta por los matemáticos alemanes A.F. Möbius y J.B. LIsting. Es una superficie que posee
una sola cara, un soló borde y es no orientable.
19
S
A
C
SI
S FÍ
Figura 1.6-1: Representación de un Figura 1.6-2: Plano tangencial a un
C S
vector posición r , a una variedad M en un punto de la variedad M .
TI IA
punto de la curva r ( ) donde se define un
vector tangencial e .
Á C
A
M EN
El espacio tangencial Tp de un espacio M en un punto P es generado por los
I
TE C
vectores tangenciales de todas las posibles curvas en M a través de P , de lo cual

deducimos que diferentes puntos en M tienen diferentes espacios tangenciales.
M DE
Trazamos entonces un vector tangente e a un punto P en M , generando este

vector tangente todo el espacio tangencial Tp en dicho punto (en el caso de una variedad
Y A
A
bidimensional el espacio tangencial sería un plano tangencial). Las coordenadas de bases

C
vectoriales, e  de un sistema coordenado  x   dentro de la variedad M es definido por:

TE
r
e  (1.6.2)
O
x 
LI
La unión de todos los espacios Tp incluyendo el punto P es llamado el fibrado

IB
tangencial M que tiene el doble de la dimensión de la variedad inicial y se expresa

matemáticamente como TM  Tp . Un campo vectorial es una continuidad de vectores
B
PM
en TM , con componentes que son continuos y funciones diferenciales de las coordenadas

xu .
Como e  definen todo el espacio tangencial, entonces decimos que e  son vectores
linealmente independientes, que ya se ha discutido en el capítulo 1, y que además nos da la
dimensión del espacio tangencial y por ende el de la variedad M también. La relación entre
20
las coordenadas de las bases vectoriales de dos sistemas de coordenadas diferentes  x   y
 x  son:
'
r r x  x 
e '    e 
x  ' x  x  ' x  '
S
r r x  ' x  '
A
e    e ' (1.6.3)
x  x  ' x  x 
C
SI
Un vector arbitrario v por tanto, se puede expresar como:
S FÍ
x  ' 
v  e  ' υ '  e  υ  e  ' υ (1.6.4)
x 
C S
TI IA
En el estudio de la física hemos visto ya el concepto de una derivada direccional
cuando actúa en una función dada, análogamente veremos ahora el operador direccional
Á C
diferencial que al actuar sobre las coordenadas de una curva serían las derivadas parciales
A
M EN
  x  
denotadas por    y que además se transforma como un tensor  . Si
x  x  ' x  ' x 
I
observamos la ecuación (1.6.3) y la comparamos con la transformación del operador

TE C
direccional diferencial entonces podemos ver que la derivada direccional puede ser usada
como una base de M , de la siguiente manera:
M DE

e  (1.6.5)
x 
Y A
A
C
Esta sería la definición general de una base de coordenadas vectoriales, que no

depende de la existencia de un vector posición finito (de esta manera es como usualmente
TE
se define el vector e ). Esta definición es igualmente valida en espacios curvos como en

O
espacios planos.
LI
Cuando una base vectorial este por ser aplicada como un operador diferencial, lo
indicaremos en paréntesis alrededor del argumento. Por tanto, si f es una función escalar,
IB
entonces:
B
( f )
e ( f )  (1.6.6)
x 
Para simplificar escritura, usaremos una notación diferente para derivadas parciales,
dadas por Einstein.
21
f
 f, 
x 
2 f
 f,v (1.6.7)
x  x v
S
1.7.Transformaciones Generales de Bases
A
La transformación entre dos bases vectoriales arbitrarias es bastante importante, ya
C
que se usa en cualquier teoría física. Daremos entonces las nociones más importantes a
continuación. Sean dos bases vectoriales arbitrarias e   y e  , la transformación entre
SI
'
S FÍ
ambas está dada por las siguientes ecuaciones:
e '  e M ' (1.7.1)
C S
TI IA
e  e ' M  ' (1.7.2)
Á C
A
Donde la matriz de transformación ( M  ' ) es la inversa a la matriz ( M ' ) ,
M EN
M ' M vv '   v (1.7.3)
I
TE C
Los elementos de matriz de transformación M ' son los componentes de la base

M DE
vectorial e  ' como descomposición en la base e   .

Y A
En el caso especial de una transformación entre dos campos de bases coordinadas:

A
C
x 
M '  (1.7.4)
TE
x  '
Entonces M ,'v  M v, ' . Cabe resaltar que estas ecuaciones no son válidas en general.
O
LI
La ecuación de transformación para las componentes de los vectores sigue inmediatamente

de la ecuación (2.4.2)
IB
v  e υ  e ' M  ' υ  e ' υ ' (1.7.5)

B
Dónde,
υ '  M  ' υ (1.7.6)
Los componentes tensoriales con índices superiores se transforman de acuerdo a la

ecuación (2.2.6). A estos los llamaremos componentes contravariantes. Los componentes
22
con índices inferiores se transformaran de la misma manera que la base vectorial. Estos son
llamados componentes covariantes.
Las bases uno-forma tienen índices superiores y se transforman

contravariantemente,
ω '  M  'ω (1.7.7)
S
A
Mientras que las componentes uno-forma tienen índices inferiores y se transforman
C
covariantemente:
SI
  '    M  ' (1.7.8)
S FÍ
Notemos que si las componentes de dos vectores o dos uno-formas son iguales en
C S
una base, entonces lo serán en cualquier otra base.
TI IA
1.8.El Tensor Métrico
Á C
A
Existe un tensor particular de rango 0  que lo definiremos como el tensor métrico
M EN
2
y cuya inversa de dicho tensor sería el tensor de rango 2  al que llamaremos la inversa del
I
0  
TE C
tensor métrico. En otras palabras, definiéremos al tensor métrico g(u, v) como una
M DE
función escalar simétrica bilineal de dos vectores u y v , que en si es un producto escalar, y

lo denotaremos de la siguiente manera,
v.u  u.v  g(u, v)  gvu  υv

Y A
(1.8.1)
A
C
Dónde,
TE
gv  gv  g(e , ev )  e .ev (1.8.2)

O
La norma de un vector (valor absoluto) es definido por

LI
v  g( v, v)  ( g vu  υv )1/2

1/2
IB
(1.8.3)
B
Las componentes contravariantes, g  v se relaciona con g  v
g  g v   v (1.8.4)
Por una transformación de bases el tensor métrico obtiene nuevas componentes,
g  ' v '  g v M ' M vv ' (1.8.5)
23
Otras propiedades del tensor métrico son
υ   g  v υv
υv  g  υ (1.8.6)
S
Tv  g  g v T
A
El tensor métrico será usado para definir la “distancia” sobre una curva consideren
C
una distancia infinitesimal ds , entre dos puntos en una curva x  ( ) en 0 y 0  d  .
SI
Dejemos que v sea un campo vectorial tangencial a las curvas. Entonces,
S FÍ
ds 2  g( v, v)d  2  g v υ υv d  2  g v dx  dxv (1.8.8)
C S
Ya que υ  dx  / d  . La cantidad ds es llamada el elemento de línea asociada con
TI IA
el tensor métrico g  v .
Á C
A
M EN
1.9.Estructura de los coeficientes
Hemos hablado ya sobre la independencia lineal que deben tener las bases
I
TE C
vectoriales e para que se pueda definir un espacio a partir de estos, los coeficientes para
las bases vectoriales linealmente independientes deben de ser cero, como se ve en la
M DE
ecuación (1.9.8). Veremos ahora la estructura de los coeficientes cuando se hacen conmutar
dos vectores arbitrarios. En una base arbitraria (sin coordenadas) los vectores e  no son
Y A
simplemente derivadas parciales, sino que son combinaciones lineales de derivadas

A
parciales.
C
TE
Consideremos un campo vectorial u  u  e . Si f es una función escalar, tenemos:

O
u( f )  u  e  ( f ) (1.9.1)
LI
Donde e  es un operador diferencial de primer orden.

IB
Definimos un producto de operadores uv por:

B
uv( f )  u  e (υvev ( f )) (1.9.2)
Que podría ser escrito de la siguiente manera:
f  f
uv( f )  u  e (υv )  u   (υv v )
x v
x x
24
f υv
  v  f
2
uv( f )  u u υ
xv x  x  x v
uv( f )  u  e (υv )ev ( f )  u  υve ev ( f ) (1.9.3)
Como observamos en la ecuación (1.9.3) uv no es un operador ya que contiene
S
derivadas de segundo orden.
A
Es necesario resaltar que los campos vectoriales en una variedad diferenciable
C
forman un álgebra de Lie8 de dimensión infinita.
SI
Estos campos vectoriales actúan como operadores diferenciales sobre las funciones
S FÍ
diferenciables de la variedad. El conmutador (o producto de Lie) de dos vectores u y v es
un operador denotado por:
C S
u, v  uv  vu
TI IA
(1.9.4)
Á C
Calculando vu y usando la ecuación (2.3.3) tenemos:
A
M EN
 f
vu( f )  υvev (u  e ( f ))  υv (u   )
x v
x
I
TE C
f u  v  2 f
vu( f )  υv  υ u
M DE
x  x v x v x 
vu( f )  υvev (u  )e ( f )  υvu  eve ( f )

Y A
A
Entonces:
C
u, v  u  e υvev  u  υve ev  (υvevu  e  υvu eve )

TE
u, v  u  e (υv )  υ e (uv ) ev  u  υv e , ev 

O
(1.9.5)
LI
Ya que f, v  f,v y e  son combinaciones lineales de derivadas parciales, los

IB
términos de derivadas de segundo orden serán eliminados. Entonces, u, v  es un vector.

B
Las estructuras de los coeficientes Cv , de un campo arbitrario de bases  x   son

definidos por:
8
Se recomienda ver el grupo de Lie, en el presente trabajo no se abordara el tema.
25
e , ev   Cve  (1.9.6)
La ecuación (1.9.5) tomara la forma:
u, v  u  e (υv )  υ e (u v ) ev  u  υvCve (1.9.7)
S
Para las coordenadas de dos bases vectoriales tenemos:
A
    2 f 2 f
C
e  , ev     , v    v  v   0 (1.9.8)
 x x  x x x x
SI
La ecuación (1.9.8) es bastante lógica justamente por lo que mencionamos al
S FÍ
principio, ambas bases vectoriales son linealmente independientes. Entonces, la estructura
de coeficientes de desvanecen en una base de coordenadas. En este caso la ecuación (1.9.7)
C S
se reducirá a:
TI IA
u, v  u  e (υv )  υ e (u v ) ev (1.9.9)
Á C
A
M EN
1.10. Diferenciación exterior de Formas
El estudio de las formas diferenciales fue introducido por E. Cartan alrededor del
I
TE C
año de 1900, y se le suele denominar el cálculo exterior de formas. Una de las razones por
la cual la diferenciación exterior es importante es debido a que podemos generalizar las
M DE
operaciones que realizan los operadores de divergencia, gradiente y rotación.
Veremos aquí la diferenciación de formas, partiendo primero de una 0-forma, que

Y A
como mencionamos anteriormente vendría a ser una función f . Entonces, La derivada

A
C
externa, denotada por d es un operador local que al actuar en una 0-forma f queda
TE
definido como,
f
O
df  dxμ (1.10.1)
x 
LI
La expresión (1.10.1) es invariante, lo cual puede ser demostrado por:

IB
f f x  ' x 
B
'
 y dx  dx
μ
x  x  ' x  x v '
Encontramos que,
f f x  ' x   '
df  dx μ
 dx
x  x  ' x  x v '
26
f
df  dx ' v'   '
xv '
f
df  '
dxμ ' (1.10.2)
x
La expresión df es lo que anteriormente denominamos como una uno-forma, si
S
recordamos, habíamos definido una uno-forma como un espacio de funciones, pues bien es
A
aquí donde vemos más precisamente que una uno-forma es un espacio de funciones
C
diferenciables.
SI
Vemos que df es invariante, por tanto es independiente del sistema coordenado
S FÍ
elegido. Así, si X  X  e es un vector definido en un punto cualquiera, donde e  es una
C S
base coordenada, entonces podemos formar la derivada direccional.
TI IA
f
df  X   X( f ) (1.10.3)
x 
Á C
A
M EN
La derivada direccional (1.10.3) es entonces, una función multivariable que actúa
sobre el vector, podemos entonces interpretar la derivada direccional como el índice (taza)
I
de cambio de la función en la dirección del vector. Análogamente a lo anterior vamos a

TE C
definir la derivada externa de una p -forma α , por,

M DE
1  1 ... p v μ
dα  dx  dxμ1  ...  dx p
p ! x v
(1.10.4)
Y A
A
Esta ecuación generaliza la definición de la uno-forma dada anteriormente, y en

C
general entonces decimos que, la derivada externa de una p-forma dα es un ( p  1) -forma.

TE
Una consecuencia inmediata de esto es que en un espacio n -dimensional, cualquier n -

forma α da dα  0 . Esto es debido al hecho de que no hay (n  1) -formas triviales en un
O
espacio n -dimensional.
LI
Si tenemos la p-forma  y diferenciamos dos veces, partiendo de la ecuación

IB
(1.10.4) tenemos,
B
1 ω 1 ... p 
dx  dx   dxμ1  ...  dx p
μ
d 2ω   
p ! x x
1 1 ... p  1 ω 1 ... p 

dx  dx   dxμ1  ...  dx p  dx  dx   dxμ1  ...  dx p
μ μ
d 2ω     
2 p ! x x 2 p ! x x
27
1  ω 1 ... p ω 1 ... p    μp
d 2ω     dx  dx  dx 1  ...  dx
μ
2 p !  x x  x  x 
d 2ω  0
Por lo cual tenemos que,
S
d2  0
A
(1.10.5)
C
Esta ecuación es válida solo para formas puras, no cumple para formas vectoriales.
SI
Las propiedades de α y β , una p -forma y una q -forma respectivamente, al
S FÍ
aplicársele un operador diferencial son,
C S
d(α  β)  dα  β  (1) p α  dβ
TI IA
d(α  dβ)  dα  dβ
Á C
A
d(dα  dβ)  d2α  dβ  0 (1.10.6)
M EN
Resumiendo entonces la derivada exterior es una operación que toma p -formas y
I
las vuelve ( p  1) -formas.

TE C
M DE
1.11. Integración de formas
Veremos ahora como integrar formas. Sea una curva c en un espacio n -

dimensional y sea esta curva parametrizada por x  ( ) , es 0    1 . Dado una uno-forma
Y A
A
 , podemos definir una integral de línea,

C
TE
dx 
t
t
 ω   ω(c '( ))d    ω
c
0
0
d
d (1.11.1)
O
LI
El vector tangente a la curva es evaluada por la uno-forma sobre la curva. El

resultado es entonces integrado de una manera invariante.
IB
Sea ω  df , donde f es una 0-forma. Entonces,

B
 ω   df  f (c(t ))  f (c(0))
c 0
(1.11.2)
La integración solo depende de los puntos inicial y final. Esto, para formas exactas
la integral no depende del camino tomando entre los puntos inicial y final del todo. En
particular si el camino es una curva cerrada, entonces obtenemos cero,
28
 df 0 (1.11.3)
No importa como luzca la curva. Si tenemos dos formas A ' y A que difieren solo
por una forma exacta,
A '  A  df (1.11.4)
S
Hemos estudiado solo la integración de uno-formas, pero ahora estudiaremos la
A
integración de otro tipo de formas. Si consideramos un espacio n -dimensional (el cual
C
puede ser una subvariedad de un espacio dimensional de mayor dimensión) existe solo un
SI
tipo de n -formas. Todas estas n -formas son de la siguiente manera,
S FÍ
V  Vdx1  dx2  ...  dxn (1.11.5)
C S
Donde V es alguna función. Si M es alguna región limitada del espacio definimos
TI IA
la integral de V sobre M por,
Á C  V   ...  V ( x ,..., x )dx ...dx

1 n 1 n
(1.11.6)
A
M EN
M M
Que es solo una integral múltiple sobre la región con alguna parametrización
I
adecuada. Para un espacio métrico V puede típicamente ser la forma volumen. La forma
TE C
volumen es la única forma positiva que “mide” el volumen del espacio métrico
M DE
1.12. Diferenciación covariante de vectores
Veamos si la derivada parcial de un componente vectorial se transforma como un

Y A
componente tensorial. Consideremos un vector A con componentes A en la base de

A
C
coordenadas e   . Recordando que,

TE
x  ' 
A '  A
O
x 
LI
x  ' x v 
Av '  '  Av
IB
x  x v '
B
La derivada parcial de A se transforma como,
' x v   x  '  
A,v '  v' v   A 
x x  x 
xv x  ' x v  2 x  ' 

A,v '  '  A, 
 A (1.12.1)
xv ' x  x v ' x v x 
v
29
Con la ecuación (1.12.1) es fácil notar que la derivada parcial de las componentes
vectoriales no se transforma como componentes tensoriales. Debido a esto es necesario
introducir una generalización de derivada tal que sea invariante en cualquier sistema de
coordenadas. Para eso, diferenciaremos un vector A con respecto a un parámetro
dx 
invariante  , donde u   da:
d
S
A
dA
 A e  
dA d de
 
e  A  (1.12.2)
d d d d
C
SI
Al ir desarrollando por partes, tenemos que,
S FÍ
d d dx v ' dx v
 v' v
 d  dx dx d 
C S
TI IA
dA d  x   '  d dx v ' dx v  x   '  dx v ' d  x   '  dx v
   A     ' A   v v'   ' A   A,v  u v
d  d   x  ' 
v' v
       
Á C dx dx d x dx dx x d
A
M EN
de dx v dx v ' d  x  ' 
  v' 
e  u v e  ,v
 ' 
d d  dx dx  x
v

I
TE C
Reemplazando las anteriores ecuaciones en (1.12.2) tenemos,

M DE
dA
 A,v  u ve  A u ve ,v (1.12.3)
d
Y A
La derivada parcial A,v  solo representa el cambio de las componentes vectoriales

A
C
A , y no a todo el vector.
TE
Como se mencionó anteriormente debido a que las derivada que usualmente

O
utilizamos presenta limitaciones al no ser invariante en cualquier sistema de coordenadas,

LI
introducimos entonces una derivada que cumpla con dos condiciones, que la derivada de las
componentes tensoriales debería transformarse como componentes tensoriales, y que
IB
deberían representar el cambio de todo el vector, no solo de sus componentes.

B
Hemos menciona ya, que los vectores en diferentes puntos existen en diferentes
planos tangenciales. Por tanto, para comparar dos vectores diferentes de un campo
vectorial, primero debemos transportar paralelamente un vector a la posición del otro. Este
proceso aún no ha sido definido en espacios curvos, pero sí sabemos cómo transportar un
vector en un espacio plano. En un espacio plano estos son transportados tal que las
componentes en un sistema de coordenadas cartesianas no cambian.
30
Veamos un ejemplo gráfico antes de seguir con el concepto de transporte paralelo,

consideremos una esfera, tomemos un vector a en un punto P tangente al meridiano que
paso por P , y encontremos el resultado en P del transporte paralelo de a a lo largo de la
circunferencia de latitud al dar una vuelta. La superficie desarrollable tangente es un cono
circunscrito a la esfera y el vector a queda en una generatriz rectilínea. Cortando el cono a
lo largo de esta generatriz y desarrollándolo en el plano tenemos como imagen de la
S
circunferencia común a la esfera y al cono, un arco de circunferencia. Efectuamos a lo largo
A
de este el traslado paralelo del vector a , realizando el proceso inverso y tendremos el
C
vector tangente a la esfera en P imagen de a mediante el transporte paralelo a lo largo de
SI
la circunferencia de latitud, el cual no coincide con a a menos que dicha circunferencia sea
el ecuador de la esfera.
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
Figura 1.12-1: Ejemplo de transporte paralelo. Fuente: Obtenido de

http://amontes.webs.ull.es/apuntes/gth.pdf
O
Para obtener tener una idea intuitiva del concepto de transporte paralelo y derivada
LI
covariante, primero consideremos transporte paralelo en un espacio plano usando

IB
coordenadas arbitrarias.
B
Consideremos una curva c en un espacio plano parametrizado por x  ( ) , donde 

es un parámetro invariante. El vector tangencial es u  u  e donde u   dx  / d  . En la
figura (1.12-2) se dibuja una curva c( ) y dos vectores del campo A a dos puntos
cercanos marcados por los parámetros  y    . Aquí A (   ) es el vector
A(   ) transportado paralelamente de    a  .
31
S
A
C
SI
S FÍ
Figura 1.12-2: Transporte paralelo del vector A sobre los puntos  y    .
C S
TI IA
El transporte paralelo puede ser definido de la misma manera, transportando un
Á C
vector tal que sus componentes permanezcan sin cambios, en un sistema coordenado
A
cartesiano local en el espacio curvo. Esto motivo la siguiente definición de la derivada
M EN
covariante direccional de un campo vectorial A  A e en la dirección de un vector
u  u  e en un espacio curvo,
I
TE C
A (   )  A( )
M DE
A;vu ve  lim (1.12. 4)

 0 
En un sistema coordenado cartesiano local (LCCS) la componente A no cambia

Y A
A
cuando el vector A es transportado paralelamente. Por tanto, la ecuación (1.12.4) en dichas

C
coordenadas es como evaluar la derivada de una función escalar. Por tanto,

TE
A;vu ve  A,v  u ve (LCCS) (1.12.5)

O
La ecuación (1.12.5) es válida en un sistema cartesiano. Esta expresión debe, sin

LI
embargo ser generalizada a un sistema coordenado arbitrario. Vemos entonces que el lado
de la mano derecha de (1.12.5) es igual a la derivada de las componentes vectoriales A .
IB
Sin embargo, la derivada de un campo vectorial A involucra un término representando el

B
cambio de bases vectoriales con la posición. Estos cambios son proporcionales a la

diferencia en posición de dos bases vectoriales. Esto implica,
de dxv
 v e  vu ve (1.12.6)
d d
Donde  v son los coeficientes de conexión. Por tanto, la ecuación (1.12.3)
32
dA
 A,v  u ve  A u ve ,v  A,v  u ve  A vu ve
d
dA
 A,v  u ve  A  vu ve
d
  A,v   A v  u ve 
dA
S
(1.12.7)
d
A
C

Donde, la derivada covariantes A ;v de la componente vectorial A es definido por:
SI
dA
 A;vu ve  (1.12.8)
S FÍ
d
C S
Comparando (1.12.8) y (1.12.7) tenemos,
TI IA
A;v  A,v   A v (1.12.9)
Á C
A
Esta derivada representa el cambio de todo el vector A , no solamente de las
M EN
componentes A . Si la derivada covariante A;v se transformara como componentes de un
1
I
tensor de rango   , los componentes de conexión se transformaran de acuerdo a,

TE C
1
M DE
 '' v '  M vv' M ' M'v  M ' M ',v ' (1.12.10)
Por tanto, los coeficientes de conexión no se transforman como componentes

Y A
A
tensoriales, se transforman no homogéneamente.

C
TE
A los coeficientes de conexión se les da el nombre de Símbolos de Christoffel

cuando se expresa en una base coordenada, los cuales tienen una simetría especial, que
mostramos a continuación,
O
LI
v  v (1.12.11)

IB
La ecuación (1.12.11) es válida solo para los símbolos de Christoffel, no se puede

B
generalizar para todos los coeficientes de conexión.
1.13. Curvas Geodésicas
El transporte paralelo es muy útil para definir una clase especial de curvas, nos
referimos a las geodésicas. Las curvas que conectan puntos en la manera más corta son
llamados curvas geodésicas.
33
Considerando primero, la última definición, el vector tangente de la curva está dado

por,
u  u  e (1.13.1)
Por la definición de que los vectores tangenciales de una curva geodésica son
S
conectados por transporte paralelo, tenemos,
A
u;v u v  0 (1.13.2)
C
SI
De lo cual,
S FÍ
u;v u v  u,v u v  u vu v  0
C S
du  dx v
 u 

u  0
TI IA
dx d 
v
Á C du 
A
  
  u u 0
M EN
d
d  dx   
 dx dx

I
 
  0
TE C
d  d  d d
M DE
d 2 x 
 dx dx

  0 (1.13.3)
d2 d d
Y A
Denotando la diferenciación con respecto a  por un punto, la ecuación geodésica

A
C
puede ser escrita como,

TE
x   
  
x x 0 (1.13.4)
O
En un sistema coordenado cartesiano los símbolos de Christoffel desparecen y la

LI
solución de la ecuación geodésica son líneas rectas. En un espacio curvo, estas son “lo más
recto posible”, pero siguen siendo curvos.
IB
Veamos como el mismo resultado puede salir de la otra definición de la curva

B
geodésica. El principio de variación expresan que las curvas geodésicas tienen enormes
“distancias de espacio-tiempo” entre dos puntos dados y tiene la forma,
2
  ds  0 (1.13.5)
1
34
Donde ds 2  g v dx   dxv es el elemento de línea del espacio-tiempo. La ecuación

(1.13.5) puede ser escrito como,
2
  L( x  , x  ) d   0 (1.13.6)
1
S
Donde L  g v x  xv . Calculamos ahora la ecuación para la curva geodésica por
A
C
las ecuaciones de Lagrange,
SI
d  L  L
  0 (1.13.7)
d   x   x 
S FÍ
Da la ecuación,
C S
TI IA
g  g ,v  gv ,  g v ,  x x v  0
1 
x (1.13.8)
2
Á C
A
M EN
Comparando (1.13.8) con (1.13.4),
g  g ,v  gv ,  g v , 
1 
v  (1.13.9)
I
TE C
2
M DE
Para encontrar una interpretación física de alguno de los símbolos de Christoffel

consideremos una partícula libre instantáneamente en reposo. Ya que las componentes
espaciales de la cuadrivelocidad desaparecen, la ecuación geodésica se reduce a,
Y A
x   
  
x x  0  x   00

A
(1.13.10)
C
TE

Aquí los símbolos de Christoffel  00 representan la aceleración de la gravedad en el
marco de referencia elegido.
O
1.13.1. La conexión Generalizada (Conexión de Kozul)

LI
Definimos la conexión de Kozul  como una función que asocia un campo

IB
vectorial  X Y a cualquiera de los dos campos vectoriales X y Y , el cual satisface las

B
siguientes propiedades:
 X1  X2 Y  X1 Y  X2 Y

 X  Y1 + Y2   X Y1  X Y2
  fX Y  f .X Y
 X  fY   f .X Y  X  f  .Y
35
En donde f es una función.
Diremos que tenemos un grupo de bases vectoriales, e  que denotaremos (para

hacerlo más simple como)  e por   . Los coeficientes de conexión son definidos como
las componentes de la derivada direccional de la base vectorial:
S
 e   e (1.13.11)
A
C
Si tenemos dos campos vectoriales: A  A e y u  u  e . De acuerdo a las
SI
propiedades de la conexión de kozul mencionados anteriormente, tendremos que,
S FÍ
u A  u  A e   A ue  u  A  e
C S
 
u A  A u  e e  u  e  A  e
TI IA

Á C u A  A u   e  u  e  A  e
A
M EN
u A  A u  e  u e  A  e
I
TE C

u A  e  A  u  A 
 
u e  (1.13.12)
M DE
La ecuación (1.13.12) se puede expresar como,
u A  A ;  u e
Y A
(1.13.13)
A
C
En donde:
TE
A ;   e  A   A 

(1.13.14)
O
A es transportado paralelamente sobre u si,

LI
u A  0
IB
(1.13.15)
B
Y la curva es una geodésica si,
u u  0 (1.13.16)
Las ecuaciones han sido expresadas de tal manera que las coordenadas sean libres,
esto conlleva a decir que la conexión de Kozul tiene que ser independiente de la elección
de las coordenadas.
36
1.14. La Derivada de Lie
Veremos ahora la derivada de Lie que es bastante útil en un espacio curvo, y que
denotaremos como X T donde X es un campo vectorial y T un tensor de campo. La
derivada de Lie al trasformar tensores no modifica su rango. Considere un campo vectorial
X  X  e , al cual se le hace la siguiente transformación infinitesimal,
S
A
x   x  '  x   tX  (1.14.1)
C
Donde t es un parámetro pequeño. La ecuación (1.14.1) nos indica que el campo
SI
tensorial cambia de Tx a T 'x ' , en donde Tx es el campo tensorial T en el punto x . La
S FÍ
derivada de Lie de T con respecto a u se le define de la siguiente manera,
C S
1
X T  lim
t 0 t
 T 'x '  Tx  (1.14.2)
TI IA
Para dar las expresiones correspondientes para diferentes vectores, tenemos que
Á C
A
definir primeramente el tensor T 'x ' . Sea un campo vectorial X y sea  (t )  t el flujo
M EN
generado por X . El parámetro t será un parámetro temporal tal que t ( x) es el punto t a
lo largo de la integral de curva de X . Y ya que el parámetro t es infinitesimal, podemos
I
TE C
aproximar,
M DE
t ( x) 

 x  '  x   tX  (1.14.3)
Si T es un tensor covariante, entonces podemos definir el tensor T 'x ' como,

Y A
A
C
T 'x '  t*Tt ( x ) (1.14.4)

TE
Reemplazando (1.14.4) en (1.14.2) tenemos,

O
T  lim
1 *

t Tt ( x )  Tx  (1.14.5)
LI
X
t 0 t
IB
De la misma manera, podemos definir la derivada de Lie de un vector Y con

respecto al vector X . Si T 'x ' es un vector entonces,
B
T 'x '  t*Tt ( x ) (1.14.6)
Por tanto,
X T  lim
t 0
1
t

t*Tt ( x )  Tx  (1.14.7)
37
Veamos brevemente el transporte de Lie de un campo tensorial. Los tensores de

diferentes puntos de un campo tensorial T son conectados por el transporte de Lie a largo
de una curva si la derivada de Lie de T sobre la curva desaparece. Si u es el vector
tangente sobre la curva, entonces T es un transporte de Lie si,
u T0 (1.14.8)
S
Es decir, un campo escalar conectado por un transporte de Lie sobre la curva es
A
constante en toda la curva.
C
SI
1.15. El Tensor de Curvatura de Riemann, el Tensor de Ricci y el Tensor de
Einstein
S FÍ
“El tensor de curvatura de una variedad de Riemann es un pequeño monstruo de
C S
algebra multilineal cuyo significado permanece oscuro”
TI IA
Micha Gromov
Á C
A
Hemos llegado finalmente a uno de los conceptos más importantes de la matemática
M EN
para la relatividad general, el tensor de Riemann, el cual describe completamente la
curvatura de un espacio arbitrario de cualquier número de dimensiones.
I
Consideremos entonces, dos puntos cercanos Q y P conectados por un vector  v

TE C
de longitud infinitesimal. Sea A un campo vectorial, la diferencia entre el vector en el

M DE
punto Q (denotado por A Q ) y el vector A P transportado paralelamente de P a Q

(denotado por A PQ ) es de primer orden en  y es dado por la derivada direccional en Q
Y A
dé A en la dirección v .
A
C
v A  AQ  A PQ (1.15.1)
TE
A PQ  1   v  AQ (1.15.2)
O
LI
Expresando A PQ mediante los primeros términos de la serie de Taylor tenemos,

IB
 1 
A PQ  1   v   2 v v  AQ (1.15.3)
B
 2 
Vamos a transportar paralelamente el vector A P sobre el polígono que se muestra en la

figura 4.1-1, transportando paralelamente A PQ de Q a R da,
38
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
Figura 1.15-1: Polígono que muestra el transporte paralelo del vector A P a lo largo
M EN
de PQRST . Fuente: “Einstein’s General Theory of Relativity” 9th edición, pág. 155. 2008
I
 1  1 
TE C
A PQR  1  u   2uu 1   v   2 v v  A R (1.15.4)

 2  2 
M DE
Y sobre todo el polígono,
 1  1 
 
Y A
A PQRSTP  1  u   2uu 1   v   2 v v   1   2u , v

A
 2  2 
C
 1  1 
 1  u   2uu 1   v   2 v v  A R
TE
 2  2 
(1.15.5)
O
LI
El cambio de vector después del transporte paralelo sobre el polígono es,
 
IB
 A  A PQRSTP  A P  u ,  v   u,v  2 A P (1.15.6)

B
En un espacio plano no habrá ningún cambio del campo vectorial A ya que el

cambio se debe a la curvatura del espacio. La ecuación (1.15.6) muestra que  A es lineal
1 
en A , u y v , por lo cual  A puede ser expresado como un tensor de rango   . A este
3 
tensor R se le llama el tensor de curvatura de Riemann y se define mediante la ecuación:
39

R  u, v  A  u ,  v   u,v A  (1.15.7)
Las componentes de este tensor están dados por:

e Rv   ,      e ,e  ev
  
 (1.15.8)
S
La curvatura de Riemann es antisimétrica bajo el cambio de u y v , o lo que es lo
A
mismo  y  . Definimos entonces una matriz dos-forma mediante la siguiente expresión:
C
SI
1  
R v  Rv ω  ω  (1.15.9)
2
S FÍ
A la ecuación (1.15.9) se le llama la curvatura de formas.
C S
Veremos ahora como se expresa Rv mediante las conexiones y coeficientes de
TI IA
estructura de una base dada. Tenemos:
Á C
A
 
e Rv   ,     e ,e  ev           c    ev
M EN

  
e Rv   v ,  v    v ,  v    c v  e

I

(1.15.10)
TE C
M DE
Lo que implica que:

        
R   ,   ,           c  (1.15.11)
Y A
A
Los coeficientes de conexión y estructura son calculados de una base vectorial en un

C
determinado espacio, sin referencia a ningún espacio de mayor dimensión. La ecuación

TE
(1.15.11) muestra que el tensor de Riemann describe la geometría intrínseca del espacio.
Se puede deducir fácilmente la siguiente expresión9:

O
LI
 v;  e ( v )    v (1.15.12)

IB
El cuál es la derivada covariante de las componentes uno-forma  v , denotado por

B
 v; . Veamos ahora, algunas ecuaciones que cumplen con el tensor de Riemann. Utilizando
las ecuaciones (1.13.14) y (1.15.12) tenemos que:
A;   A  ,  A    A;    A,    A;   A;  

          
9
La resolución de esta ecuación se puede encontrar en Einstein´s General theory of Relativity [10]
pág. 127-128
40
De aquí, se puede deducir que:
A;  A;  A R


 A;T (1.15.13)
Debido a que esta ecuación tensorial es válida en una base arbitraria. A la ecuación
(1.15.13) se le llama la identidad de Ricci. En geometría Riemanniana se reduce a:
S
A;  A;  A R

(1.15.14)
A
C
Otras relaciones de simetría del tensor de Riemann se muestran en la siguiente
SI
ecuación
S FÍ
Rv   Rv (1.15.15)
C S
Rv 
1
 g ,v  g ,v  gv ,  gv ,  (1.15.16)
TI IA
2
Por tanto:
Á C
A
M EN
Rv  Rv (1.15.17)
I
0 
TE C
Construiremos ahora un tensor de curvatura de rango   contrayendo el tensor de

2
M DE
Riemann, recordando que:


R v 0 (1.15.18)
Y A
A
C
Debido a la antisimetría de los dos índices. Además:

TE
Rv   R

v (1.15.19)
O
Como vemos, existe solo una contracción del tensor de Riemann que no desparece,
LI
a esta contracción lo llamamos el tensor de Riemann y se define mediante la siguiente

ecuación,
IB

Rv  R (1.15.20)
B
Asimismo, las contracciones del tensor de Ricci nos da el escalar de Ricci:
R  R (1.15.21)
Otra notación importante que se deriva a partir del tensor de Ricci es la divergencia
de Ricci denotado por:
41
Rv ;v 
2
  R ;v
1 v
(1.15.22)
El tensor de curvatura de Einstein se expresa a través del tensor de Ricci,
1
Ev  Rv  Rg v (1.15.23)
2
S
A
La ecuación (1.15.23) es simétrica.
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
42
Capitulo II
2. RELATIVIDAD GENERAL
S
2.1. Principio de Equivalencia
A
Luego de que Einstein propuso la Teoría de la Relatividad Especial, casi
C
inmediatamente se dio cuenta que era incompatible con la gravedad newtoniana. Por otro
SI
lado, el hecho de que la masa gravitatoria y la masa inercial resultaran ser iguales le llamo
mucho la atención a Einstein, el cual creía que debía tener una interpretación más profunda
S FÍ
que lo que se le daba.
C S
mi  mg (2.1.1)
TI IA
Teóricamente se había encontrado que la relación entre masa inercial y masa
Á C
A
gravitatoria era constante, en otras palabras ambas eran equivalentes. Sin embargo, en 1888
M EN
el barón húngaro Lóránd von Eötvös invento una balanza de torque que midió la diferencia
entre el valor de mg / mi encontrando que el valor de la constante era uno con la apropiada
I
elección de unidades, esto con una precisión de aproximadamente 109 . Actualmente la

TE C
precisión de los experimentos hechos por satélites alcanzarían hasta una precisión de 1018 .
M DE
En lo que Einstein llama como “la idea más feliz de mi vida” es cuando se da
cuenta de que un observador en caída libre no siente su propio peso y por lo tanto podría
Y A
pensar que estuviera en una región del espacio donde no hubiera campo gravitatorio. Es
A
decir, que para un observador en caída libre a una velocidad constante que es atraído solo
C
por el campo gravitatorio sería lo mismo que estar flotando en el espacio interestelar, esto
TE
válido localmente, mientras no sean perceptibles las fuerzas de marea10.

O
Einstein formulo el principio de equivalencia, del cual hay tres versiones, que son:
LI
 Principio de Equivalencia Débil: “El movimiento de cualquier partícula de

prueba en caída libre es independiente de su composición y estructura”
IB
 Principio de Equivalencia Fuerte: “El movimiento gravitacional de un cuerpo de

B
prueba depende únicamente de su posición inicial en el espacio tiempo y no de su

constitución, y el resultado de cualquier experimento local, gravitacional o no, en
10
Einstein propuso la idea de Fuerzas de Marea Gravitacionales como la manifestación más clara de
que el espacio-tiempo 4-dimencional esta curvado por la presencia de la materia. Esto quedara más claro
cuando veamos como la geometría curvada del espacio tiempo y la gravedad están estrechamente
relacionadas.
43
un laboratorio moviéndose en un sistema de referencia inercial es independiente

de la velocidad del laboratorio y de su localización en el espacio-tiempo”.
 Principio de Equivalencia de Einstein: “El resultado de cualquier experimento no
gravitacional en un laboratorio desplazándose en un sistema de referencia inercial
es independiente de la velocidad del laboratorio o de su localización en el
espacio-tiempo”.
S
A
2.2. Ecuaciones de Campo de Einstein
C
La integral de acción para las partículas es:
SI
∫ (2.2.1)
S FÍ
Donde es la densidad lagrangiana escalar y es el elemento de 4-volumen.
C S
Debido a que la acción se debe al campo gravitatorio y la materia, entonces la
TI IA
acción total S sería la suma de las antes mencionadas:
Á C
A
S  SG  Smat (2.2.2)
M EN
De la misma manera la densidad lagrangiana total sería la suma de la densidad
I
lagrangiana debido al campo gravitatorio y a la materia:

TE C
(2.2.3)
M DE
Por tanto,
Y A
∫ (2.2.4)
A
C
∫ (2.2.5)
TE
El elemento de volumen en un sistema de coordenadas de Minkowsky ( x i ' ,

i '  0,...,3 ) es d 4V  dx0'dx1'dx2'dx3' . Para expresar este elemento de volumen a través de
O
un sistema de coordenadas generales ( x j , j  0,...,3 ) usaremos el determinante positivo de

LI
la matriz Jacobiana J ij'  xi ' / x j que relaciona la trasformación de ambos sistemas de
IB
coordenadas, por tanto se tiene:

B
d 4V  dx0' dx1' dx2' dx3'  (det J ij' )dx0 dx1dx2 dx3  (det J ij' )d 4 x (2.2.6)
Si se expresa el tensor métrico en coordenadas generales a través de la métrica del

sistema de referencia de Minkowsky se tiene:
g  Ji ' J i 'i ' j ' (2.2.7)
44
Matricialmente g  J T ηJ . Si definimos g como la determinante de la matriz 4x4 g

, entonces tendríamos:
g  det(J T ηJ)
g  (det J)2
S
A
Por lo cual,
C
det J   g (2.2.8)
SI
Reemplazando (2.2.8) en (2.2.6) tenemos:
S FÍ
d 4V   gd 4 x (2.2.9)
C S
TI IA
Entonces, (2.2.4) y (2.2.5):
Á C ∫  gd 4 x
A
(2.2.10)
M EN
∫  gd 4 x (2.2.11)
I
TE C
De la ecuación (2.2.6) observamos que la acción total es igual a la acción debido al

campo gravitatorio en ausencia de materia, es decir si estamos en el vacío. A continuación
M DE
veremos ambos casos: La deducción de las ecuaciones de campo en el vacío y en presencia

de materia.
Y A
2.2.1. Deducción de las ecuaciones de campo de Einstein en el vacío a partir del

A
C
principio variacional de Hilbert.

TE
La ecuación para el principio variacional es la siguiente,

O
 SG  0 (2.2.12)
LI
Donde SG es la acción integral para la gravitación. La naturaleza de SG es de forma

IB
geométrica. En la ecuación (2.2.10) se ha denotado la ecuación para la acción debido al

B
campo gravitatorio, que en este caso equivalentemente se denotara de la siguiente manera:
∫  g    gd 4 x (2.2.13)
Donde k es una constante que será determinada en el límite newtoniano.
45
Para desarrollar la ecuación anterior primero se debe encontrar la función g   el

cuál tiene que ser la función más simple, debido a que debe transformarse de manera
invariante. Lo más sencillo sería pensar en una constante diferente de cero, sin embargo no
se toma esta solución puesto que, a pesar de estar en el vacío, el campo gravitatorio aún
depende de la métrica g  , incluso si se introduce esta solución por probar en la ecuación
S
(2.2.13) se llega a que no hay solución. De esta manera entonces, se propone la otra
A
solución más simple, que es:
C
k1R  k2 (2.2.14)
SI
S FÍ
En donde R es el escalar de Ricci y k1 , k 2 son constantes.
 g  
C S
 SG
Utilizando el cálculo variacional  0 y recordando que,
TI IA
 g 
llegaremos a que,
Á C
A
M EN
 g   R  2 (2.2.15)
I
En donde  es la constante cosmológica.

TE C
La ecuación (2.2.13) entonces quedara expresada:

M DE
1
SG 
2k  ( R  2)  gd 4 x (2.2.16)
Y A
A
C
Haremos ahora, que la acción varíe dentro de una región infinitesimal V , de esta
manera, la variación de la métrica y su derivada se cancelaran en el límite de la región V .
TE
Luego, se calcula la variación de la integral de acción, se llegan a las ecuaciones de campo

de Einstein del requerimiento que  SG  0 .
O
LI
En la ecuación (2.2.16) y recordando que R  R g  ,

IB
1
2k 
SG  ( R g   g  2  g )d 4 x (2.2.17)
B
Calculando la variación,
1
2k 
 SG   ( R g   g  2  g )d 4 x
46
1
( g   g R  R   g   g   2  g )d 4 x
2k 
 SG  (2.2.18)
Se introduce un sistema de coordenadas locales con los símbolos de Christoffel que

se desaparecen en V . Recordando la relación (1.15.11) las componentes del tensor de Ricci
se reducen a la contracción:
S

R   ,   ,   

   

  C

 (2.2.19)
A
C

En donde los tres últimos términos se cancelan. Debido a que R  R ,
SI
R   ,   , (2.2.20)
S FÍ
La variación de R sería,
C S
TI IA
 R    ,    , (2.2.21)
Á C
A
Ya que la ecuación (2.2.21) conmuta con la derivada parcial, entonces:  e  e 
M EN
 R  (  ),  (  ), (2.2.22)
I
TE C
Ya que la derivada parcial de la métrica desaparece en V , esta ecuación podría ser

M DE
escrita como,
g   R  g  (  ),  g  (  ),

Y A
A
g   R  ( g    ),   ( g   ), 

C
TE
g   R  ( g     g   ),  (2.2.23)

O
Recordando la ecuación (1.11.10), los índices contravariantes de los símbolos de

Christoffel se transforman como índices tensoriales. Se define un vector A por:
LI
A  g     g  

IB
(2.2.24)
B
La ecuación (2.2.23) tomaría la forma:
g   R  A ,   A ,  (2.2.25)
La ecuación (2.2.25) es una divergencia total y según el teorema de Stock (o del

teorema integral de Gauss) la integral de este término solo contribuye con un término
límite, esto debido a que la métrica y su derivada desaparecen en el límite de V , por tanto:
47
g 
 g R d 4 x  0

(2.2.26)
Así, el primer término de la ecuación (2.2.18) no contribuye a  SG . Para obtener la

variación de  g , se tiene que:
S
  g  1  g 
 g     g      g (2.2.27)
2  g  g
A
 g  
C
g
SI
Para calcular podemos formular,
g
S FÍ
Cof g 
g   g Cof g  (2.2.28)
C S
 g
TI IA
En donde Cof g  es l cofactor matricial de la métrica. De esta manera en (2.2.27)
Á C
A
M EN
 g 
1
2 g
 gg    g 
1
2
 g g   g (2.2.29)
I
TE C
Ahora solo quedaría calcular el segundo término de la ecuación (2.2.18), por tanto,
M DE
  g   g    g g   g    g (2.2.30)
De la cual solo faltaría calcular  g  . Recordando que,

Y A
A
C
g  g    (2.2.31)
TE
  g  g   0 (2.2.32)
O
Desarrollando, se llega a lo siguiente,

LI
g 
 g  g  g   0  g 
IB
g  g  g  g g   g   0

B
Como g   g  (en un sistema de coordenadas locales)
 g  g g  g   0

 g   g g  g    g g   g  (2.2.33)
48
De (2.2.29) y (2.2.30) tenemos:
1
  g   g    g g   g   g g   g
2
 1 
  g   g    g  g   g  g   g  (2.2.34)
 2 
S
A
Introduciendo la ecuación (2.2.33) en (2.2.34) se obtiene:
C
 
  g   g    g  g   g  g    g g  g  
1
SI
 2 
 
S FÍ
1
  g  g     g  g  g  
 2 
C S
 1 
  g  g   g  g  g  
TI IA
 2 
Realizando el cambio    ,    y g  g
 
Á C
A
M EN
 1 
  g   g    g  g   g  g  g   (2.2.35)
 2 
I
TE C
Insertando la ecuación (2.2.29) y (2.2.35) en (2.2.18),
 
M DE
1
R   g   g   2  g d 4 x
2k 
 SG 
Y A
1     1     1 
 SG    R   g   g  g g  g    2  g g   g d 4 x
A
C
2k    2  2 
TE
1  1 
 SG 
2k   g  R  g   R g  g  g   g   g d 4 x
 2 
O
LI
1  1 
 SG 
2k   g  R  g   R g  g  g   g  ( g g   g  ) d 4 x
 2 
IB
 
B
1 1
 SG 
2k   g  R  Rg  g  g  d 4 x
 2 
(2.2.36)
Esto debido a que R g   R . Ahora, recordemos que  SG  0 . Las ecuaciones de

campo en el vacío de la teoría de la relatividad general resultan del requerimiento de
 SG  0 para cualquier variación de métrica. Esto conlleva a:
49
1
R  Rg  g  0 (2.2.37)
2
Estas ecuaciones son ecuaciones no lineales con valores iniciales de estructura bien
planteados, es decir, que determinan los futuros valores de g  a partir de los valores
iniciales. Ya que   0,...,3 y   0,...,3 , la ecuación (2.2.37) contiene dieciséis
S
ecuaciones diferenciales que se reducen a diez una vez que se usa la simetría de E y T .
A
Finalmente, debido a la identidad de Bianchi E ;  0 las diez ecuaciones que se tenían se
C
reducen a seis.
SI
2.2.2. Las ecuaciones de campo en presencia de materia y Energía
S FÍ
Recordando la ecuación de la acción integral para materia y energía (2.2.11):
C S
TI IA
∫  gd 4 x
Á C
A
Para resolver esta ecuación primeramente obtendremos la variación del argumento
M EN
de la ecuación (2.2.11), tal que,
g g
I
[ ] [ ]
TE C
[ g ] g g (2.2.38)
g g
M DE
La ecuación (2.2.38) esta expresada de esa manera debido a la dependencia entre el

Lagrangeano, el tensor métrico y la derivada del tensor métrico.
Y A
A
Definiremos un vector B por,

C
TE
[ g ]
g (2.2.39)
g
O
LI
Luego, la divergencia ordinaria (no covariante) de B es,

IB
[ g ] [ g ]
{ } g g (2.2.40)
B
g g
[ g ] [ g ]
g { } g (2.2.41)
g g
Insertando la ecuación (2.2.41) en la ecuación (2.2.38) tenemos,
50
[ g ] [ g ]
[ g ] g { } g (2.2.42)
g g
Si integramos la ecuación (2.2.42) obtendremos el término *∫ , el cuál

contribuye solo con un término límite, por lo cual desaparecerá debido a que inicialmente
S
hemos considerado que la variación desaparece en el límite. Por tanto, la variación de la
A
ecuación (2.2.11) es,
C
g g
SI
[ ] [ ]
∫( g { } g ) (2.2.43)
g g
S FÍ
C S
El Tensor de Energía- momento T de un sistema con densidad Lagrangeana
TI IA
es un tensor simétrico defino por,
Á C
A
[ g ] [ g ]
M EN
( { } ) (2.2.44)
g g g
I
TE C
De la ecuación (2.2.43) y (2.2.44) tenemos,

M DE
1
2
 Smat    gT  g  d 4 x (2.2.45)
Y A
Reemplazando la ecuación (2.2.45), (2.2.36) en,

A
C
 S   (SG  Smat )  0 (2.2.46)

TE
Tenemos,
O
1  1  1
 SG   Smat    g  R  Rg  g   g  d 4 x    gT  g  d 4 x
LI
2k  2  2
IB
1 1  1    4
 SG   Smat    g   R  Rg   g    T   g d x (2.2.47)
B
2 k  2  
Por tanto,
1 1 
 R  Rg   g    T  0
k 2 
51
1
R  Rg   g   kT (2.2.48)
2
Estas ecuaciones son las Ecuaciones de Campo de Einstein.
Ahora, si contraemos la ecuación (2.2.48) tendremos,
S
 1  
 R  Rg   g   kT  g
A
 2 
C
1
SI
R g   Rg  g   g  g   kT g 
2
S FÍ
1
Rv  R v   v  kTv
2
C S
TI IA
Igualando    y sumando de 1 a 4 (recordemos que gv   v ) tenemos,
Á C
A
4
R  R  4  kT
M EN
2
R  kT  4 (2.2.49)
I
TE C
Donde T es el tensor de energía-momento contraído. Reemplazando la ecuación

M DE
(2.2.49) en (2.2.48) tenemos,
1
R  (kT  4) g  g   kT
Y A
2
A
C
1
R  kTg  2g  g  kT
TE

2
1
O
R  g  k (T  Tg  ) (2.2.50)

2
LI
Esta es una forma equivalente de las ecuaciones de campo de Einstein donde el

IB
tensor de Ricci está directamente relacionado con el tensor de energía-momento. Además,

B
observamos que el tensor de Ricci y el tensor de energía-momento son invariantes si se

realiza una permutación entre ambos. Por tanto, la ecuación (2.2.50) refleja una simetría
entre los dos tensores antes mencionados.
2.3. Conservación de Energía momento
La formulación de la ley de conservación de energía-momento tiene la forma:
52
T;  0 (2.3.1)
Las componentes temporales describen la conservación de la energía mientras las

componentes espaciales describen la conservación del momento.
2.4. Aproximación Lineal de las ecuaciones de Campo y el Límite Newtoniano.
S
Cuando Einstein presento su versión final de la relatividad general, no había
A
ninguna razón experimental para dudar de la validez de la teoría Newtoniana de la
C
gravedad, excepto por el desplazamiento del perihelio de Mercurio. Por tanto, para que la
SI
relatividad general pretenda ser una teoría moderna de la gravedad, que corrige la teoría
Newtoniana, tendría que englobar a está en algún límite no relativista. ¿Cuál sería el
S FÍ
adecuado?, El límite adecuado resulta ser el límite cuando el campo gravitatorio es débil y
“casi” estático. Cuando la curvatura del espacio-tiempo es prácticamente cero y todas las
C S
partículas tienen velocidades mucho más bajas que la velocidad de la luz, v 1
TI IA
2.4.1. Las ecuaciones de campo linealizadas
Á C
A
La condición del campo gravitatorio débil permite describir la métrica como una
M EN
perturbación del espacio de Minkowsky,
g     h
I
(2.4.1)
TE C
Donde las transformaciones de las componentes se expresan como,

M DE
x  x
g   g  ' ' ( x ')  g  ( x) (2.4.2)
x  ' x '
Y A
A
C
Bajo una transformación de coordenadas infinitesimales es un punto P ,

TE
x  ' ( P)  x  ( P)    ( P) (2.4.3)
O
Donde   x  . Reemplazando ecuación (2.4.3) en (2.4.2) tenemos,

LI
x  x
IB
g  ' ' ( x ')   '  ' g  ( x  '    ) (2.4.4)

x x
B
Los cálculos que se realizaran solo se harán hasta el primer orden de h ,   y sus
derivadas. Entonces,
x  x   
'
        , (2.4.5)
x x x
53
x x  
'
       ,
x x x
De la ecuación (2.4.1) se tiene que,
g   x  '        h (2.4.6)
S
A
Reemplazando las ecuaciones (2.4.5), (2.4.6) en la ecuación (2.4.4) tenemos,
C
g  ' '     ,   ,    h 
SI
g  ' '       h   ,   , h  ,  , h  ,,  ,, h
S FÍ
g  ' '    h  ,  , h  ,  , h  ,,  ,, h
C S
TI IA
De esta ecuación solo nos quedarían cuatro términos debido a que, como
mencionamos anteriormente, “Los cálculos que se realizaran solo se harán hasta el primer
Á C
A
orden de h ,   y sus derivadas.” Por tanto,
M EN
g  ' '    h  ,  , h
I
TE C
g  ' '    h  e   ev hv h

M DE
g  ' '    h   ,    v, v

Y A
g  ' '    h    ,   ,  (2.4.7)

A
C
TE
Ya que,
g  ' '    h ' ' (2.4.8)

O
LI
Con las ecuaciones (2.4.7) y (2.4.8) tenemos que,

IB
h ' '  h    ,   ,  (2.4.9)

B
Esta transformación es llamada la transformación “de calibre11”
El tensor de curvatura de Riemann (ecuación 1.15.11) presenta producto de los

símbolos de Christoffel, al depender estos de h , entonces el producto de estos ya no sería
de primer orden, por lo cual el tensor de Riemann queda expresado de la siguiente manera,
11
En el capítulo 3 discutiremos mejor este tema.
54
R   ,   , (2.4.10)
Donde,
 
1
2
 h ,  h ,  h ,  (2.4.11)
S
Reemplazando la ecuación (2.4.11) en (2.4.10) tenemos,
A
C
R 
1
2
 h ,  h ,   h ,    h ,  h ,  h , 
,
1
2 ,
SI
1
 h ,  h ,  h ,  h ,  h ,  h , 
S FÍ
R 
2
C S
R 
1
 h ,  h ,  h ,  h , 
TI IA
(2.4.12)
2
Á C
El tensor de Ricci hasta primer orden, sería:
A
M EN

R  R   ,   ,v
I
TE C
   R     h ,   h ,  h ,  h ,  

 1
R
2
M DE
 1
R  e e  h  e e  h  e e  h v  e e  h 
2
Y A
A
1
C

R  e e  h  e e  h  e e  h v  e e  h 
2
TE
R  
1 
hv ,  h ,  h,  hv  (2.4.13)
O
2
LI
En donde,    e e   2  2 es el operador de onda de d’Alembert en el

IB
espacio tiempo de Minkowsky. El escalar de Ricci que se obtiene a partir de la ecuación

(2.4.13) es,
B
R  
1
2
 e e hv   e e h   e e h   h  
R
1
2
 2e e h  2 h 
55
R  h,
  h (2.4.14)
Recordando que el tensor de Einstein, lo denotamos por:
1
E  R  R
2
S
Reemplazando la ecuación (2.4.14) y (2.4.13) en la ecuación del tensor de Einstein,
A
tenemos:
C
hv ,  h ,  h,   hv    h,
  h  
1 
SI
E   (2.4.15)
2 
S FÍ
En la ecuación (2.2.48) consideremos que   0 12
C S
1
R  R  kT
TI IA
2
Á C E  kT
A
(2.4.16)
M EN
Reemplazando la ecuación (2.4.16) en la ecuación (2.4.15),
I
hv ,  h ,  h,  hv   h,

  h   2kT
TE C
(2.4.17)
M DE
Introduciendo,
1
h  h   h (2.4.18)
Y A
2
A
C
Donde h es la “traza invertida” se la perturbación h .

TE
Esta igualdad simplifica las ecuaciones de campo a,

O
hv,  h,  h  h,


 2kT (2.4.19)
LI
IB
Para simplificar aún más las ecuaciones, realizamos una transformación de gauge
siguiendo la ecuación (2.4.9),
B
h '  h   ,   ,   , (2.4.20)
Si se contrae nuevamente la ecuación anterior, se tiene que:
12
Analizaremos en la sección (2.4.2) el significado de la constante cosmológica en las ecuaciones de
campo de Einstein.
56
h '    h '  h    ,    ,    , 
h '  h   e   e    ,
e h '  e h   e e  e e    ,
S
Los últimos dos términos de la ecuación anterior se eliminan por ser muy pequeños
A
(de segundo orden), por tanto,
C
h ' ,  h,  
SI
S FÍ
h ' ,  h,   (2.4.21)
C S
Eligiendo las funciones de calibre  que satisfaga   h, , obtenemos:
TI IA
  h ' , (2.4.22)
Á C
A
M EN
La ecuación (2.4.22) es llamado la condición de Lorenz, o gauge de Lorenz. Con
este “gauge”, las ecuaciones de campo se reducen a:
I
h  2kT
TE C
(2.4.23)
M DE
En el caso de dependencia temporal, las ecuaciones de campo en el espacio vacío

son:
Y A
h  0 (2.4.24)
A
C
La ecuación (2.4.24) es la ecuación de d’Alambert.

TE
R  0 (2.4.25)
O
La ecuación anterior indica que las ondas gravitatorias se mueven en el vacío a la

LI
velocidad de la luz.
IB
Para obtener el valor de la constante k , primeramente recordemos la ecuación

B
geodésica
2 x 
 x x

  0
 2  
Y usando el tiempo propio  de la partícula como parámetro:
57
2 x 
 x x

  0 (2.4.26)
 2  
El límite Newtoniano es para velocidades no-relativistas (mucho menor al de la

dxi
velocidad de la luz) entonces se puede decir que c , por tanto el tiempo propio
d
S
moviéndose en un campo gravitatorio es en primera aproximación igual al tiempo en el
A
sistema de referencia, dt  d ( dt : tiempo Newtoniano).
C
Debido a lo anterior mencionado, la métrica es diagonal e independiente del tiempo,
SI
por lo cual la aceleración de la gravedad g i :
S FÍ
 2 xi i x x
0 0
(ct ) (ct )
gi     i00
C S
    
2 00
TI IA
g i  c2i00 (2.4.27)
Á C
A
De esta manera hemos obtenido una simple interpretación del campo débil a partir
M EN
de los símbolos de Christoffel. Ellos representan las componentes de la aceleración de la
gravedad. Usando la ecuación (1.11.10) y recordando que el tensor métrico es diagonal, se
I
obtiene:
TE C
g  g 0,0  g 0,0  g00, 

1 i
M DE
i00 
2
1 1 1
Y A
i00   g i g00,    i h00,    ii h00,i

A
2 2 2
C
1 h00
TE
i00   (2.4.28)
2 xi
O
Reemplazando la ecuación (2.4.28) en (2.4.27) se obtiene:

LI
 1 h00  c h00
2
g  c  
i 2
i 

IB
(2.4.29)
 2 x  2 x
i
B
Claramente se puede ver en la ecuación (2.4.29) que las componentes temporales en

el tensor métrico son las que determinan la aceleración de la gravedad.
El límite Newtoniano de las ecuaciones de Campo de Einstein se realizara,

asumiendo que el elemento de línea del espacio-tiempo puede ser escrito recordando la
ecuación (1.8.8), por tanto:
58
ds 2  g dx  dx  g00 dx0 dx0  g11dx1dx1  g22 dx 2dx 2  g33dx3dx3
ds 2  g00 dx0 dx0  gii dxi dxi
ds 2  00  h00  d (ct )d (ct )  ii  hii  dxi dxi
S
ds 2   1  h00  c2 dt 2  ii  hii  dxi dxi (2.4.30)
A
C
Para encontrar la función h00 usaremos las ecuaciones de campo. En este caso
SI
necesitamos solo una ecuación independiente, el cuál puede ser tomado como la
componente 00 de la ecuación (2.2.50) con   0 ,
S FÍ
 1 
R00  k  T00  g00T  (2.4.31)
C S
 2 
TI IA
De la ecuación (2.4.12) tenemos,
Á C
A
1
 h 0,0  h ,00  h00,  h0 , 0 
M EN
R 0 0  (2.4.32)
2
I
Puesto que el campo considerado es estático, eliminamos las derivadas temporales,

TE C
tal que:
M DE
1
R 0 0   h00,  (2.4.33)
2
Y A
Contrayendo la ecuación (2.4.33) se obtiene:

A
C
1  1   h00 
TE
R00  R0 0   h00, 

2 xi  xi 
(2.4.34)
2
O
La ecuación (2.4.34) queda expresada en esta forma debido a que sus derivadas con
LI
respecto al tiempo desaparecen. Comparando la ecuación (2.4.29) y (2.4.34) tenemos,

IB
h00 2 g i 1   2g i 
 2  R00    
xi c 2 xi  c 2 
B
1 g i
R00   (2.4.35)
c 2 xi
Como h 1,
59
1
R00   .g (2.4.36)
c2
El tensor energía-momento de un fluido perfecto se expresa de la siguiente manera,
T  (   p)u u  pg  (2.4.37)
S
En el límite newtoniano se encuentra que,
A
T  T00   0 T 0  T00
C
(2.4.38)
SI
Reemplazando esto en una pate de la ecuación (2.4.31) vemos que,
S FÍ
1 1 1 1
T00  g00T  T00  00T  T00  (1)(T00 )  T00 (2.4.39)
2 2 2 2
C S
TI IA
En la ecuación (2.4.37) es fácil observar el tensor energía-momento debido a la
parte temporal es predominante frente a la parte espacial debido a las velocidades pequeñas
Á C
A
compradas con la velocidad de la luz, por tanto se tendría que:
M EN
T00   c 2 (2.4.40)
I
TE C
Por tanto, la ecuación (2.4.31) quedaría expresada como:

M DE
k k c2
R00  T00  (2.4.41)
2 2
Y A
Comparando las ecuaciones (2.4.36) y (2.4.41) se obtiene,

A
C
1 k  c2
  
TE
.g
c2 2
O
k c4
.g   (2.4.42)
LI
2
IB
Esta es la ecuación de campo gravitacional de Einstein en el límite Newtoniano es el

caso de campos estáticos.
B
Recordando la ecuación de Poisson para la ley de gravitación de Newton

 (r )  4 G (r ) y la aceleración de la gravedad, por lo cual .g  2 . Entonces,
2
.g  4 G (r )
60
 k c4 
    4 G 
 2 
8 G
k (2.4.43)
c4
S
Reemplazando (2.4.43) en (2.2.48) tenemos que las ecuaciones de campo de
A
Einstein quedarían expresadas como:
C
1 8 G
R  Rg   g   4 T (2.4.44)
SI
2 c
S FÍ
Estas ecuaciones claramente relacionan la materia con la curvatura del espacio-
tiempo, debido a que mientras mayor sea la concentración de materia, que es representado
C S
por el tensor de energía impulso, mayores serán las componentes del tensor de curvatura de
TI IA
Ricci, que a su vez es definido por la métrica del espacio-tiempo.
Á C
2.4.2. La constante cosmológica
A
M EN
Las ecuaciones de campo de Einstein originales no incluían la constante
cosmológica sino que tenían la forma de (2.4.16), cuando Einstein utilizó sus ecuaciones
I
para describir el universo se encontró con que las estrellas localmente distorsionaban el
TE C
espacio-tiempo con formas complicadas que serían difíciles de calcular pero creía que si
M DE
retrocedía lo bastante; toda la materia del universo sería como las moléculas de una nube de
gas (un fluido cósmico). Desde esta perspectiva la forma del espacio-tiempo sería lo
bastante uniforme y sencilla como para enfrentarse a ella, sin embargo cuando empezó a
Y A
calcular como se comportaría el universo bajo la influencia de la gravedad, se llevó una

A
C
gran sorpresa… Einstein descubrió que sus ecuaciones predecían que toda la materia y la
energía del universo se habrían encontrado inicialmente en un punto, su universo no era
TE
estático.
O
Tras este descubrimiento, Einstein decidió añadir una constante cosmológica  con
LI
el fin de equilibrar el universo, añadió esa constante en la cantidad adecuada para que la
propiedad del universo de expandirse en el espacio-tiempo se equilibrase con exactitud con
IB
la propiedad de hundirse bajo su propia gravedad de la materia en el universo, y así

equilibrando con exactitud dichas propiedades estabilizar el universo. El problema aquí, es
B
que según la Teoría de la Relatividad General, el universo era intrínsecamente inestable y

debería haberse hundido o explotado hace mucho tiempo, este problema aún sigue
preocupando a los científicos en la actualidad. Este tema aún está en estudio y no abarca
nuestros principales objetivos, sin embargo podría ser motivo de otro estudio a futuro.
Tras todo este ajuste matemático en las ecuaciones de campo para estabilizar el
universo, en 1929 Hubble descubrió la expansión del universo. Hubble determino las
61
distancias y los corrimientos al rojo de las galaxias vecinas y concluyo que el universo se
estaba expandiendo (figura 2.4.1). ¡La constante cosmológica parecía innecesaria!
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
Figura 2.4-1: Izquierda: La velocidad de una galaxia puede ser determinado del efecto Doppler. Derecha: Se
M EN
observa que las galaxias se están alejando de nosotros con mayor velocidad cuando la distancia es mayor, esto no quiere
decir que las galaxias se están moviendo en el sentido de alejarse nosotros, sino que se dejan llevar por el universo
I
TE C
expandiéndose. Fuente: Van den Brand J. & Van Den Broeck C., Vrije Universiteit Amsterdam, “General Relativity and
Gravitational Waves”
M DE
Si a la ecuación (2.4.16) le agregamos la constante cosmológica y luego lo

evaluamos en el límite Newtoniano, obtendríamos:
Y A
A
C
2  4 G  c2 (2.4.45)

TE
Para una masa esférica M obtenemos para el campo gravitatorio:

O
3GM
g     r  c 2 rr (2.4.46)
LI
2
2r
IB
Con esta ecuación se concluye que la constante cosmológica corresponde a una

repulsión gravitacional, cuya fuerza aumenta proporcional a r .
B
Hoye en día hay otra forma de ver la constante cosmológica. El tensor de energía-
momento de un fluido perfecto está dado por:
 P
T      2 U U   Pg  (2.4.47)
 c 
62
Imaginemos que una cierta substancia “existe” con una ecuación de estado
P    c 2 . Nunca encontraremos dicha substancia, ya que tiene presión negativa. El tensor
de energía-momento de esta substancia está dado por:
T  Pg     c 2 g  (2.4.48)
S
Aquí, vemos lo siguiente. Primeramente, el tensor de energía-momento de esta
A
substancia solo depende del tensor métrico: es una propiedad del vacío por sí mismo y
denotamos por  la densidad de energía del vacío. Segundo, la expresión T es idéntica
C
SI
al de la constante cosmológica en la ecuación (2.4.44). Podemos visualizar la constante
cosmológica como una constante universal que determina la densidad de energía del vacío.
S FÍ
c 4
vacío c 2  (2.4.49)
C S
8 G
TI IA
Denotando la densidad de energía-momento del vacío por Tvacío   vacío c 2 g  ,
Á C
A
entonces podemos escribir las ecuaciones de campo modificadas como,
M EN
8 G
R  Rg   4 T  Tvacío 
1
(2.4.50)
2 c
I
TE C
Siendo T el tensor de energía-momento de materia y radiación.

M DE
Si es el caso de que   0 , entonces por lo menos debería ser lo suficientemente

pequeño para que vacío tenga efectos gravitacionales despreciables   materia  en
Y A
vacío
A
situaciones donde la teoría gravitacional Newtoniana dé una buena descripción de los datos.
C
Sistemas con pequeñas densidades donde las leyes de Newton puedan ser aplicadas, son
TE
pequeños clusters13 de galaxias. De esta manera podemos fijar el siguiente límite:
c 4
O
vacío c 2   cluster 1026 g / cm3 (2.4.51)

8 G
LI
IB
Para la magnitud del parámetro cosmológico. Es evidente que si  es

suficientemente pequeño, es completamente insignificante en la escala de una estrella. Sin
B
embargo, si no es despreciable comparado a la densidad de materia promedio del universo

(ya que en su mayoría es espacio vacío) y a escalas muy grandes, puede tener efectos
importantes en la evolución de curvatura del universo.
13
Un cluster de galaxia es una estructura donde ciento o miles de galaxias están atados por la
gravedad.
63
Para calcular la densidad de la energía en el vacío, el cálculo más simple hace una
sumatoria sobre todos los puntos “ceros” de energía de todos los campos cuánticos
conocidos en la naturaleza. La respuesta obtenida excede el límite más alto en  que solo
se determina con 120 órdenes de magnitud. Esto aún no se ha entendido y debería existir un
principio físico que haga la constante cosmológica pequeño. Sin una constante
cosmológica se esperaría de que la fuerza atractiva entre toda la materia en el universo
S
debería ralentizar la expansión y tal vez, incluso conducir al universo a una contracción. Sin
A
embargo, cuando la constante cosmológica no desaparece, entonces la presión negativa del
C
vacío puede hacer que la expansión del universo se incremente.
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
64
Capítulo III
3. Ondas Gravitatorias
El hecho de que la teoría de gravedad de la relatividad general incluya el postulado
S
de la relatividad especial de que nada viaja más rápido que la velocidad de la luz, significa
que los cambios en el campo gravitatorio no se sienten inmediatamente en cualquier lugar
A
del espacio-tiempo; sino que se deben propagar. Como hemos visto, en la relatividad
C
general “estos cambios” se propagan exactamente a la misma velocidad que las ondas del
SI
campo electromagnético en el vacío, i.e. la velocidad de la luz. Estos cambios que se
propagan son llamados ondas gravitacionales.
S FÍ
Sin embargo, la relatividad general es una teoría no lineal y no hay una distinción
C S
entre la parte de la métrica que representan las ondas y el resto de la métrica. Solo en
TI IA
ciertas aproximaciones podemos definir claramente la radiación gravitatoria, tres de esas
aproximaciones son:
Á C
A
M EN
 La teoría linealizada.
 Perturbaciones pequeñas de una variedad suavizada (smooth) métrica de fondo
independiente del tiempo. (Sección 3.3)
I
TE C
 Teoría Post-Newtoniana. (Sección 3.4)

M DE
Hemos visto ya, en el capítulo anterior como se linealizan las ecuaciones de campo
de Einstein, el cual nos ayudó a entender el origen de la radiación gravitatoria y en donde
se idealiza una onda gravitatoria como una onda (rizo) que se propaga a través de un
Y A
universo plano y vacío.

A
C
Mas general que la teoría linealizada es la aproximación de onda corta, en el cual

TE
las ondas aparecen como pequeñas perturbaciones de una variedad suavizada, que es
independiente del tiempo y cuyo radio de curvatura es mucho más grande la longitud de
O
onda de las ondas. Esta aproximación describe bastante bien la propagación de ondas, pero
LI
no es adecuado para la generación de ondas. La aproximación más útil para las fuentes de
ondas gravitatorias es la aproximación post-Newtoniano, donde las ondas surgen de un
IB
orden superior de las correcciones que conllevan a la relatividad general fuera del límite
B
Newtoniano.
TT
3.1.Calibre Transversal sin Traza h (Transverse-traceless gauge)
Para empezar con el estudio de las ondas gravitatorias, primeramente tenemos que
entender el problema que se da en la invariancia de calibre en la ecuación (2.4.1) cuando
esta no especifica completamente el sistema de coordenadas del espacio-tiempo, podría
haber otro sistema de coordenadas en el cual la métrica pueda seguir siendo escrita como la
65
métrica de Minkowsky más una pequeña perturbación, lógicamente la perturbación será

diferente. Esto nos dice, que la descomposición de la métrica dentro de un marco plano más
una perturbación no es única.
La noción de que la teoría generalizada se pueda entender como una teoría que
gobierne el comportamiento de los campos tensoriales en un marco de referencia
S
inicialmente plano puede ser formalizado en términos de un “espacio-tiempo de fondo” M b
A
un “espacio tiempo físico” M p y un difeomorfismo  : M b  M p . Como variedades M b y
C
M p son “lo mismo” (debido a que son difeomorficas) pero imaginamos que poseen
SI
diferentes campos tensoriales; en M b se ha definido la métrica de Minkowsky   ,
S FÍ
mientras que en M p se ha definido una métrica g que obedece las ecuaciones de campo
de Einstein.
C S
TI IA
El difeomorfismo nos permite ir y regresar entre ambas variedades M b y M p . Ya
que la teoría linealizada se da en el espacio-tiempo plano M b , daremos hincapié en el
Á C
A
pullback de (* g )  . Definimos la perturbación como la diferencia entre el pullback de la
M EN
métrica perteneciente a la variedad M p y la métrica M b .
I
TE C
h  (* g )   (3.1.1)

M DE
De la ecuación (3.1.1) se puede ver que no hay ninguna razón para suponer que h
es pequeño, sin embargo habiendo considerado que el campo gravitacional M p es débil,
Y A
tenemos que “algunos” difeomorfismos  serán h 1 . Nos limitaremos a trabajar con
A
C
los difeomorfismos donde se cumpla esta relación.

TE
O
LI
IB
B
Figura 3.1-1: Gráfica de Difeomorfismo.
De esta manera, el problema de la invariancia de gauge es simplemente el hecho de

que hay una gran cantidad (de número) de difeomorfismos permisibles entre M b y M p .
Consideremos un campo vectorial   ( x) en la variedad M b . Este campo vectorial genera
una familia de difeomorfismos uni-paramétricas   : M b  M b . Para un suficientemente
66
pequeño, si  es un difeomorfismo para el cuál la perturbación definida en (3.1.1) es

pequeña tal que se de (  ).
S
A
C
Figura 3.1-2: Familia de difeomorfismo uni-paramétrica   : M b  M b .
SI
S FÍ
Definimos una familia de perturbaciones parametrizado por :
()
    * g  
C S
h

TI IA
()
h   * * g    (3.1.2)
Á C
A
M EN
Esta igualdad es debido a que el pullback de la composición de dos funciones es el
pullback de las funciones en orden opuesto. Esto se basa en el hecho de que el pullback
I
mueve cosas en la dirección opuesta del mapa original.

TE C
De la ecuación (3.1.1) y (3.1.2) tenemos:

M DE
()
h   *  h    
Y A
()
h   *  h   *    (3.1.3)
A
C
es pequeño en este caso  *  h  será

TE
Recordando que habíamos asumido que

aproximadamente igual a h en menor orden, mientras que los otros dos términos nos dan
O
una derivada de Lie, así:

LI
 *      
  *  h    
IB
()
h 
  
B
h  
()
h  h  2  (  ) } (3.1.4)
El difeomorfismo infinitesimal  provee una representación diferente de la misma

situación física, mientras que se mantenga la condición de que la perturbación sea pequeña.
67
Por tanto, la ecuación (3.1.4) nos dice que tipo de perturbaciones métricas denotan
espacios-tiempo físicamente equivalente.
Recordando la ecuación (2.4.23) y la ecuación (2.4.18) tenemos que,
1
h  h   h (3.1.5)
2
S
A
Reemplazando la ecuación (3.1.5) en la ecuación (2.4.23) anterior y recordando que
8 G
C
k  4 con c  1 , tenemos que:
c
SI
S FÍ
1
h   h  2kT  16 GT (3.1.6)
2
C S
O lo que es igual:
TI IA
h  16 GT (3.1.7)
Á C
A
M EN
De la ecuación (2.4.13) observamos que sí R  0 , entonces:
h  0
I
(3.1.8)
TE C
Que es sencillamente la ecuación de onda relativista convencional.

M DE
De la ecuación (3.1.7) y de la exploración previa del límite Newtoniano,

derivaremos la métrica del campo débil para una fuente esférica estacionaria como un
Y A
planeta o una estrella. Recordando la ecuación (2.4.34) y denotándola a través del tensor
A
C
métrico espacial:
TE
1   h00  1 1
R00   i  i 
   ij ei e j h00   2 h00 (3.1.9)
2 x  x  2 2
O
LI
Comparando esta ecuación con la ecuación (2.4.36) y recordando que .g  2
tenemos,
IB
1
B
  2 h00  .g
2
 2 h00     2    2
1
2
2 h00  2 (2)
68
h00  2 (3.1.10)
Donde  es el potencial Newtoniano convencional   GM / r . Recordando que

habíamos considerado el término T00  c 2    (para c  1 ), el cuál predominaba en el
límite Newtoniano, entonces pasará lo mismo con h debido a la ecuación (3.1.7) y h00
S
predominara sobre hij , por tanto:
A
h  h    h  h00
C
(3.1.11)
SI
Utilizando nuevamente la ecuación (2.4.18) tenemos,
S FÍ
1
h00  h00  00 h
2
C S
TI IA
1
h00  00 h00  h00
2
Á C
A
M EN
1
h00  h00
2
I
h00  2h00  4

TE C
(3.1.12)
M DE
Los otros componentes de h son insignificantes, por tanto, podemos decir que:
1
hi 0  hi 0  i 0 h  0 (3.1.13)
Y A
2
A
C
Y,
TE
1
hij  hij  ij h  2 i j (3.1.14)
O
2
LI
Reemplazando (3.1.10) y (3.1.14) en la ecuación (2.4.30) tenemos,

IB
ds 2   1  2  dt 2  1  2  dxi dxi (3.1.15)

B
Una aplicación menos simplista del límite de campo débil es la radiación

gravitatoria. Recordando que las ecuaciones de campo tienen la forma de ecuaciones de
onda para h empezaremos por escribir soluciones para ondas planas de variable
compleja y luego tomaremos la parte real, por tanto,

h  C eik x (3.1.16)
69
Donde C es un tensor de rango (0, 2) constante, simétrico y k es un vector

constante conocido como el vector de onda. Para comprobar que es una solución haremos
lo siguiente,
h  0
S
  e e h  0
A
  e  ik h   0
C
SI
  k k h  0
S FÍ
k k  h  0 (3.1.17)
C S
TI IA
Ya que no todos los componentes de h son igual a cero, tenemos que,
Á C
A
k k   0 (3.1.18)
M EN
Esto corrobora el hecho de que la ecuación (3.1.16) es una solución de las
I
ecuaciones linealizadas si el vector de onda es nulo, esto quiere decir que las ondas
TE C
gravitacionales se propagan a la velocidad de la luz. A menudo se denomina como

M DE
frecuencia de la onda al componente de tipo-temporal del vector de onda, y se escribe

k   , k 1 , k 2 , k 3  . Un observador en movimiento con cuadrivelocidad U  observaría la
frecuencia de la onda como   kU  . Así, la condición de que el vector de onda sea nulo
Y A
A
se convierte en:
C
TE
 2   ij k i k j (3.1.19)
O
Lógicamente, la solución planteada está lejos de ser la solución más general,

cualquier número (posiblemente infinito) de distintas ondas planas se pueden sumar y
LI
seguirían siendo solución de la ecuación lineal de (2.4.24). En sí, cualquier solución puede
IB
ser escrita como una superposición de ondas.

B
Hay un número de parámetros libres para especificar la onda: diez números de los
coeficientes C y tres para el vector nulo k  . Gran parte de estos son el resultado de las
coordenadas libres y del calibre libre, lo cuales pasaremos a eliminarlos. Primero
comenzaremos por imponer la condición de calibre armónico:
e h  0 (3.1.20)
70
Lo cual implicaría:
e h   0

e C  eik x

0
S

iC  k eik x  0 (3.1.21)
A
C
El cuál es cierto solo sí,
SI
k C   0 (3.1.22)
S FÍ
Esta ecuación indica que el vector de onda es ortogonal a C  . Estos son cuatro
C S
ecuaciones que reducen el número de componentes independientes C de diez a seis.
TI IA
Aunque hasta ahora solo hemos trabajado con la condición de calibre armónica, aún
Á C
hay algunas coordenadas libres restantes. Recordemos que cualquier transformación de
A
M EN
coordenadas de la forma:
x  x    (3.1.23)
I
TE C
Esta ecuación dejara la condición de coordenadas harmónicas,

M DE
x  0 (3.1.24)
La cual se satisface si tiene,

Y A
A
C
 0 (3.1.25)
TE
La ecuación (3.1.25) es una ecuación de onda para   que cuando se elija una
O
solución se habrían agotado toda la libertad de calibre. Escogeremos a la siguiente solución,

LI

   B eik x (3.1.26)
IB
Donde k es el vector de onda para nuestra onda gravitacional y B son coeficientes

B
constantes.
La libertad restante nos permite convertir los coeficientes C  a n t   que caracteriza

las ondas gravitatorias a un nuevo grupo C  nue  , tal que:
C
nue  
 0 (3.1.27)
71
C
nue 
0v 0 (3.1.28)
Bajo la transformación (3.1.23), la perturbación de la métrica sería escrita de la

siguiente manera:
S
h
nue 
 h
a n t
  ,     , (3.1.29)
A
 
C
Esta ecuación induce a que la perturbación de traza-invertida cambie como:
SI
 nue  1
 h
nue 
  h 
nue
h 
S FÍ

2
 
C S
nue  1
 h
a n t
  ,     ,   h   2 ,
ant
h  
TI IA
2
 nue 
 h
a n t
  ,    ,    ,
Á C h  (3.1.30)
A
M EN
Utilizando las ecuaciones (3.1.16) para la solución y (3.1.26) para la
transformación, tenemos que:
I
TE C
C
nue 
 C
a n t
   ik B  ik B  i k B (3.1.31)
M DE
Si contraemos (3.1.31) y reemplazamos (3.1.28)
C
a n t 
 2ik B  0 (3.1.32)
Y A

A
C
O también:
TE
i ant 
k B   C    (3.1.33)
2
O
Reemplazando   0 en la ecuación (3.1.28) y recordando la relación (3.1.31)

LI
tenemos,
IB
0  C
a n t
 2ik0 B0  ik B (3.1.34)
B
00
Reemplazando al ecuación (3.1.33) en (3.1.34) tenemos que:
1 ant 
C
a n t
00  2ik0 B0  C     0
2
72
i  a n t  1 a n t  
B0  C 00  C   (3.1.35)
2k0  2 
Tomaremos nuevamente la ecuación (3.1.28) pero esta vez tomaremos la parte

espacial del subíndice  y lo reemplazaremos por   j , obteniendo que,
S
C
a n t
0j  ik0 B j  ik j B0  0
A
 i  a n t  1 a n t  
C
C
a n t
0j  ik0 B j  ik j  C 00  C  
 2 k0  
SI
2
S FÍ
i  a n t   a n t  1 a n t  
Bj   2k0C 0 j  kj C 00  C   (3.1.36)
2  k0   
2
 2
C S
TI IA
Habiendo obtenido estas dos relaciones, nos faltaría encontrar las nuevas
componentes C  nue  que a partir de ahora se denotara simplemente como C . Todo el
Á C
A
proceso hecho anteriormente, nos lleva a dos componentes independientes que
M EN
representarían la información física que caracteriza la onda plana en este calibre. Esto se
puede ver de una manera más explícita por la elección de nuestras coordenadas espaciales
I
TE C
de tal manera que la onda viaja en la dirección x 3 (eje z ), es decir:
k   , 0, 0, k 3   , 0, 0,  
M DE
(3.1.37)
Sabemos que k 3   debido a que el vector de onda es nulo. En este caso,

Y A
k  C  0 y C0  0 implican:

A
C
TE
C3  0 (3.1.38)
O
Los únicos componentes no nulos de C serían: C11 , C12 , C21 y C22 . Recordando
LI
que C no tiene traza y además es simétrico, entonces en general podemos escribir la
matriz de la siguiente manera:
IB
0 0 0 0
B
 
0 C11 C12 0
C  (3.1.39)
 0 C12 C11 0
 
0 0 0 0
Por tanto, para una onda plana que viaja en la dirección x 3 , las dos componentes
C11 y C12 caracterizan completamente la onda.
73
Al usar toda la libertad de calibre, se ha llegado a un sub-calibre del calibre

harmónico conocido como el calibre transversal sin traza (también conocido como
“radiación de gauge”). El nombre viene del hecho de que la perturbación de la métrica no
tiene traza y es perpendicular al vector de onda. Se ha trabajado con la perturbación de
traza invertida h en vez de la perturbación h , pero ya que h no tiene traza y es igual
S
a la inversa de la traza de h , entonces en este calibre tenemos que:
A
TT
h   hTT  (3.1.40)
C
SI
Expresando matricialmente el calibre transversal sin traza (Calibre T-T) asumiendo
que la onda plana se propaga sobre el eje z obtenemos,
S FÍ
0 0 0 0
C S
 
0 h hx 0
hTT  
TI IA
(3.1.41)
 0 hx h 0
 
Á C 0 0 0 0
A
M EN
Que también puede ser expresado como:
 h 0
I
hx
TE C
    z 
h ij (t , z )   hx
TT
h 0  cos   t    (3.1.42)
0   c 
0 
M DE
 0
En donde h y hx son los dos estados de polarización.

Y A
A
C
Definirnos ahora un tensor P que actúa como un operador de proyección:

TE
P    n n (3.1.43)

O
Este tensor proyecta vectores en hiperplanos ortogonales al vector unitario n

LI
(vector unitario tipo espacial) el cual se usara para encontrar la dirección de propagación de
IB
la onda.
n0  0, nj  k j / 
B
(3.1.44)
De estas expresiones podemos decir que,
Pi j   i j  ni n j (3.1.45)
Esta ecuación da como resultado:
74
Pi j  Pj i , ni Pi j  0, Pi j Pi k  Pi k , Pii  2
De esta manera, la parte transversal de la perturbación h es simplemente la

proyección P P h , Y hTT  se obtiene restando la proyección de la traza:
S
hTT   P P h  P P  h (3.1.46)
2
A
C
Si definimos un operador  de la siguiente manera,
SI
1
ij ,kl  Pi k Pj l  Pi j Pk l (3.1.47)
S FÍ
2
Con esta ecuación podemos expresar el campo T-T para una dirección de
C S
propagación genérica,
TI IA
hTT ij  ij ,kl hkl (3.1.48)
Á C
A
M EN
Donde hkl está dado por el calibre de Lorenz pero no necesariamente por el calibre
T-T.
I
TE C
3.2.Interacción de Ondas Gravitacionales con partículas puntuales.

M DE
3.2.1. Descripción Newtoniana y relativista de la fuerza de marea
Consideremos dos partículas puntuales A y B cayendo libremente en un espacio

Y A
euclidiano 3-dimensional bajo la acción de un potencial Newtoniano externo  .

A
C
Asumiremos que en un tiempo t  0 las partículas están separadas por una pequeña
TE
distancia  , y que tienen las mismas velocidades iniciales v A (t  0)  v B (t  0) . Ya que las

dos partículas están en diferentes posiciones (por  ), entonces experimentaran un potencial
O
gravitacional  ligeramente diferente y una aceleración g   . Para un tiempo t  0 ,

LI
IB
B
75
vA t   vB t  .
S
A
C
SI
S FÍ
Figura. 3.2-1: Los efectos de la gravedad de marea en el movimiento relativo de las dos partículas en caída libre.
C S
Diagrama (a) representa la gravedad de marea en un diagrama en el espacio Euclidiano 3-dimensional usando la teoría de
TI IA
gravedad de Newton. Diagrama (b) lo representa en un diagrama en el espacio-tiempo usando la teoría de gravedad de
Einstein (relatividad general)
Á C
A
Introduciremos ahora el vector de separación   xA  xB en el espacio euclidiano
M EN
3-Dimensional, donde sus componentes son  i  xi A  xi B ( x i I son las coordenadas de la
I
partícula I . Correspondientemente, la tasa de cambio de  i con respecto al tiempo

TE C
Newtoniano es d i / dt   i A   i B ; la aceleración relativa de las dos partículas estaría dado

M DE
por:
d 2 i  d 2 xB i   d 2 x Ai          2  j
     i    i   i j 
Y A
 2 
dt 2  x  A  x  B  x x
2
 dt   dt  
A
C
TE
d 2 i
2
  j i j (3.2.1)
dt
O
Donde la tercera igualdad es obtenida por una expansión de Taylor alrededor de la

LI
posición de la partícula A . El tensor de  j i es llamado el tensor Newtoniano de gravedad

IB
de marea, este mide las inhomogeneidades de la gravedad Newtoniana.

B
Generalizaremos la discusión Newtoniana anterior a la teoría de Einstein. En la

relatividad general, las partículas de prueba no-rotantes se mueven sobre las curvas
geodésicas (ecuación 1.12.3).
Consideraremos dos geodésicas cercanas ( A y B ) que estarán parametrizadas por

x   y x         , con   mucho más pequeño que la típica escala donde varía el

campo gravitatorio.
76
Recordemos que la ecuación de la geodésica también se puede expresar mediante la

ecuación (1.12.16) uu  0 , que es equivalente a decir u; u   0 . Si recodamos la
ecuación (1.9.9) u, v  u  υ, v  υ u, v  ev podremos hacer conmutar la cuadrivelocidad
u con el vector ξ  ξ con la diferencia que en este caso la partícula se mueve sobre líneas
geodésicas por tanto el conmutador no podría expresarse a través de derivadas parciales (las
S
cuales son solo invariantes en un marco local) sino a través de sus derivadas covariantes,
A
teniendo presente estos punto, entonces:
C
u, ξ   u  ξ; v  ξ  u; v  ev
SI
(3.2.2)
S FÍ
O,
u, ξ   uξ  ξu 
C S
(3.2.3)
TI IA
Como ambos vectores conmutan, entonces uξ  ξ u . La aceleración relativa a las
Á C
A
dos partículas puede ser expresada como,
M EN
uuξ  uξu  uξ u  ξuu (3.2.4)
I
TE C
En donde el segundo término de la diferencia no tiene ningún valor debido a que

uu  0 . La ecuación (3.2.4) puede ser expresada también como,
M DE
 
; u   u   u;    u   u; u   
; ; ;
(3.2.5)
Y A
A
Diferenciando el producto y renombrando los índices tal que,

C
 
u   u   u;  u;    u  u; ; u  u;   
TE
; ;
O
El segundo término se elimina debido a que es el conmutador de ξ con u , por lo

que tendríamos solamente,
LI
 u   u   u;  u;    u
IB

; (3.2.6)
;
B
Teniendo en cuenta la ecuación (1.15.14) podemos ver que u;  u;   R

u ,
reemplazando esta igualdad en (3.2.6) tenemos
 
; u   u   R
;

u    u (3.2.7)
77
Realizando un cambio de índices y recordando que las componentes de la

cuadrivelocidad es u  dx / d , podemos decir que,
dx dx
       R

 (3.2.8)
d d
S
En donde:
A
d  dx
       
C
(3.2.9)
d d
SI
Así, estas dos geodésicas cercanas tipo-temporal experimentan una fuerza
S FÍ
gravitacional de marea proporcional al tensor de Riemann.
C S
3.2.2. Descripción en el calibre Transversal sin traza
TI IA
En esta sección describiremos la interacción de una onda gravitatoria con una
partícula puntual en el calibre TT. Consideremos una partícula de prueba A en reposo en el
Á C
A
tiempo   0 . Usando la ecuación de la geodésica (1.13.3) tenemos que,
M EN
d 2 xi  i dx  dx   i dx 0 dx 0 
  
       00  (3.2.10)
I
d 2 ( 0)  d d ( 0)  d d ( 0)

TE C
 dx / d    c,0  y,
M DE

Debido a que la partícula esta inicialmente en reposo:
 0
i00   ij   0 h0 j   0 h j 0   j h00 
1
Y A
(3.2.11)
2
A
C
En el calibre TT, h00  0 y h0 j  0 , entonces  i00   0 . Es decir para   0 la

TE
 0
velocidad y la aceleración serán cero también: dxi / d  0 , d 2 xi / d 2  0 . Por tanto

O
concluimos que, en el calibre TT, la partícula en reposo antes de que la onda gravitacional
LI
llegue, permanece en reposo. Las coordenadas en el calibre TT se estiran cuando las ondas
gravitatorias llegan tal que la posición de las coordenadas inicialmente en reposo no varía.
IB
Lo que varía es la distancia propia relativa entre las dos partículas, de esta manera los
efectos físicos son monitoreados por las distancias propias.
B
Para una onda propagándose sobre el eje z , el elemento de línea a partir de la

métrica (3.1.42) es:
78
  z    z   z
ds 2  c 2 dt 2  dz 2  dy 2 1  h cos   t     dx 2 1  h cos   t     2dxdyhx cos   t  
  c    c   c
(3.2.12)
Si las partículas A y B se encuentran inicialmente sobre el eje x , tenemos que,
 h 
S
s  L 1   cos t  (3.2.13)
 
A
2
C
Donde L es la distancia inicial, no perturbada entre las partículas A y B .
SI
3.2.3. Descripción en el marco de referencia de caída libre.
S FÍ
Es posible realizar un cambio de coordenadas en un punto Q de un espacio-tiempo
dado, tal que podamos establecer qué    Q   0 y  d 2 x  / d 2   0 . En este marco de
C S
Q
TI IA
referencia, en un momento dado del espacio y el tiempo, la partícula puntual se encuentra
Á C
en caída libre (FF). Este marco de referencia puede ser construido usando las coordenadas
A
normales Riemanniana.
M EN
Introduciremos ahora un marco de referencia FF ligado a la partícula A con origen
espacial x j  0 y la coordenada temporal igual al tiempo propio x0   . Por definición del
I
TE C
marco de referencia FF, la métrica se reduce a la métrica de Minkowsky en el origen y

M DE
todas sus derivadas desaparecen en el origen, esto es,
 x2
ds  c dt  dx  O  2 
2 2 2 2
(3.2.14)
R 
Y A
 
A
C
Donde R es el radio de curvatura y R 2  R , Realizando los cálculos hasta

TE
segundo orden en x , encontramos que:

O
2   1 
ds 2  c 2 dt 2 1  Ri 0 j 0 xi x j   2cdtdxi  R0 jik x j x k   dxi dx j  ij  Rijkl x k xl  (3.2.15)
LI
3   3 
IB
En los experimentos de ondas gravitatorias localizados en la tierra, el interferómetro

B
no está en caída libre con respecto a la gravedad terrestre. El detector está sometido a la
aceleración a = -g con respecto al marco de referencia local y rota con respecto a
giroscopios locales. En general, los efectos de las ondas gravitatorias en partículas
puntuales compiten con otros efectos. Restringiremos nuestra discusión a una frecuencia de
banda de 10  103 Hz  en el cuál los otros efectos son despreciables.
79
Veamos la ecuación de la desviación de la geodésica en el marco de referencia FF

adjunto a una partícula A . Tenemos,
uu   u    u      u  u        ,   (3.2.16)
Donde en la última igualdad decimos que   0 ya que asumimos que la partícula
S
esta inicialmente en reposo, u    0 . Utilizando  0  0 y el hecho que 0j k ,0 puede ser
A
despreciado cuando se calcule en la posición de A , tenemos,
C
d 2 j
SI
uu j   c 2 R0jk 0 k (3.2.17)
d 2
S FÍ
Para completar los cálculos necesitamos evaluar el tensor de Riemann R0jk 0 .
C S
Recordando que el tensor de Riemann es invariante bajo un cambio de coordenadas, lo
TI IA
calcularemos en el calibre TT. Utilizando la ecuación (2.4.12) obtenemos,
Á C 1 TT
A
j 0k 0  
RTT h jk (3.2.18)
M EN
2c 2
Entonces,
I
TE C
d 2 j 1
jk 
  hTT k
(3.2.19)
M DE
d 2
2
En conclusión, en el marco de referencia FF el efecto de una onda gravitatoria en

Y A
una partícula puntual de masa m puede ser descrito en términos de una fuerza Newtoniana
A
Fi   m / 2  hijTT  j . Note que en el marco de referencia FF, las distancias coordenadas y las
C
TE
distancias propias coinciden lo que nos da inmediatamente (3.2.13).
La descripción en el marco de referencia FF es útil siempre que podamos escribir la

O
métrica como g     O  x 2 / R 2  , i.e. tan pronto como podamos despreciar la

LI
corrección x 2 / R 2 . Ya que R2  Ri 0 j 0 h h / GW

2
, tenemos x 2 / R2 L2 h / GW
2
, y
IB
comparándolo con  L / L h , encontramos que L2 / GW

2
1 . Esta condición es satisfecha
B
por los detectores localizados en tierra, por qué L 4km y GW 3000km . Sin embargo,
no es satisfecha por los detectores localizados en el espacio, los cuales tienen
L 5 106 km y observan las ondas gravitatorias con una longitud de onda menor que L .
80
3.2.4. Ideas Clave sobre los detectores de ondas Gravitatorias.
Consideremos una onda gravitatoria monocromática propagándose en la dirección z

y estudiando su efecto en las partículas puntuales en el plano ( x, y) . Primero nos
concentramos en la polarización  . En z  0 y eligiendo el origen del tiempo tal que
hijTT  0 en t  0 ,
S
A
1 0 0
 
 i   x0   x  t  , y0   y  t 
C
hTT
ij  h  0 1 0  sent , (3.2.20)
0 0 0
SI
 
S FÍ
Donde  x0 , y0  es la posición no perturbada y  x  t  ,  y  t  el desplazamiento
causado por la onda gravitatoria. Entonces de la ecuación (3.2.19) y asumiendo que
C S
 x0 , y0  está lo suficientemente cerca del origen  0, 0  y las partículas están en geodésicas
TI IA
“cercanas” entonces,
Á C
A
M EN
h
x  x0   x   2sent (3.2.21)
2
I
h
 y0   y   2sent
TE C
y (3.2.22)
2
M DE
Si consideramos desplazamientos pequeños comparados con la posición no

perturbada,  x x0 y  y y0 , entonces las ecuaciones anteriores se simplifican a,
Y A
A
h
x x0 2sent
C
(3.2.23)
2
TE
h
y y0 2sent (3.2.24)
O
2
LI
Si integramos obtendríamos:
IB
h
 x t   x0sent (3.2.25)
2
B
h
y y0sent (3.2.26)
2
Si sólo la polarización x está presente, daría,
h
 x t   y0sent (3.2.27)
2
81
h
 y t   x0sent (3.2.28)
2
La polarización  y  difieren por una rotación de 45°.
S
A
C
SI
S FÍ
Figura 3.2-2: Onda gravitatoria con polarización  (izquierda), líneas de fuerza asociadas a la polarización 
C S
TI IA
(derecha). Fuente: Buonono Alessandra; Department of Physics; University of Maryland. “Gravitational Waves”
Á C
A
M EN
I
TE C
M DE
Y A
A
C
Figura 3.2-3: Onda gravitatoria con polarización  (izquierda), líneas de fuerza asociadas a la polarización 
(derecha). Fuente: Buonono Alessandra; Department of Physics; University of Maryland. “Gravitational Waves”
TE
3.3.Tensor Eficaz Energía-Momento de ondas Gravitatorias

O
LI
Hemos visto las ondas Gravitatorias sólo como fluctuaciones de un espacio-tiempo

plano. Anteriormente hemos formulado la versión linealizada de la relatividad general. Las
IB
ecuaciones linealizadas de Einstein en el vacío son:

B
1 1
  R   0
1
R (3.3.1)
2
1
Donde R es el tensor de Ricci hasta términos lineales (primera aproximación
Ecuación 2.4.13) en la pequeña perturbación h sobre la métrica plana   . Las
ecuaciones linealizadas de Einstein se dan de la siguiente manera:
82

E  h   0
1
(3.3.2)
1
Donde E es el tensor de Einstein de primer orden en h y sus derivadas.
Dada que la solución de las ecuaciones linealizadas de Einstein es h , la métrica

g     h en general no será una solución de todas las ecuaciones de campo de
S
A
Einstein. De hecho, ni siquiera resolverá las ecuaciones de Einstein de segundo orden, en el
C
cuál los términos de segundo orden en h y sus derivada son incluidas. Para hacer que el
SI
resultado sea más general, entonces expandiremos el tensor de Einstein de la siguiente
manera,
S FÍ
1  2
E h   E  h   E h   ... (3.3.3)
C S
 2
TI IA
En donde E reúne todos los términos de segundo orden. Las ecuaciones de segundo
 2
Á C
orden de Einstein con la corrección h son:
A
M EN
 2 1   2 
E h   E h 0 (3.3.4)
  
I
TE C
Podemos escribir la segunda parte de esta ecuación de la siguiente manera,
1   2  8 G
M DE
E h  4 t (3.3.5)

   c
Y A
En donde t  se expresaría como:

A
C
c 4  2
 E  h 
TE
t (3.3.6)
8 G
O
Se puede ver, que hasta segundo orden, h sigue causando la misma corrección a la
LI
métrica del espacio tiempo tal como si se produjeran por materia ordinaria adicional con el
tensor de energía-momento t  . Como t  es simétrico y h satisface las ecuaciones
IB
linealizadas de Einstein entonces t  se conserva en el espacio-tiempo plano, es decir

B
  t  0 .
Se suele pensar en t  cómo el tensor de Energía-momento del campo gravitacional

válido hasta el segundo orden de la desviación de la planeidad, sin embargo, t  no es un
invariante de calibre. De hecho en la relatividad general no hay noción local de la densidad
de energía del campo gravitatorio, esto se cumple si evaluamos t  en un punto en
83
particular, pero si lo evaluamos en una pequeña porción de volumen rodeando ese punto,
entonces t  se convierte en una cantidad que es un invariante de calibre. Por tanto
redefinimos:
c4  2 1
t     R 
2
R (3.3.7)
8 G 2
S
A
Donde ... es el promedio sobre un volumen espacial delimitado. El tensor de Ricci
C
hasta segundo orden, es:
SI
 2 1 1
R  [   h  h   h     h  h    h  h     h
S FÍ
2 2
 h     h   h  h   h   h   h   h (3.3.8)
C S
1 1 1
  h    h   h    h    h  h    h h    h  h ]
TI IA
2 2 2
Á C
A
Ya que asumimos una integración de volumen con un límite, podemos usar
M EN
integración por partes para las derivadas espaciales  i y descartar los términos límites.
Cualquier dependencia temporal de h será a través de un tiempo retardado; por ejemplo
I
para ondas en la dirección z , h dependerá del tiempo como h  x0  z  .

TE C
M DE
Integrando por parte y utilizando la condición de equilibrio   h   0 , la condición

sin traza h  0 , y las ecuaciones de campo h  0 , hacen que en el promedio de (3.3.8)
Y A
todos los términos desaparezcan, excepto el primero. Integrando nuevamente por partes, los
A
C
términos restantes pueden ser combinados para obtener:

TE
  1
   h  h 
2
R (3.3.9)
4
O
En la ecuación (3.3.7) R  es cero, y usando h  0 . De esta manera llegamos a,

2
LI
IB
c4
t    h  h  (3.3.10)
32 G
B
La variación en t  bajo las transformaciones de calibre (3.1.29) da:
84
c4
 t    h   h       h   h 
32 G
c4
   h                (3.3.11)
32 G
c4
   h           
16 G
S
A
Dentro del promedio ... podemos integrar   por partes y luego utilizar la
C
condición de calibre   h  0 . Por tanto  t  0 y t  0 son invariantes de calibre. Por
SI
tanto, solo depende del contenido físico de la perturbación del espacio-tiempo h . En este
S FÍ
calibre la densidad de energía gravitacional es,
C S
c2
t 00  hijTT hijTT (3.3.12)
TI IA
32 G
Á C
En términos de las dos polarizaciones de las ondas gravitatorias, h y h tenemos,
A
M EN
c2
t 00  h2  h2 (3.3.13)
16 G
I
TE C
Dado un volumen V alrededor de una superficie S , la energía gravitatoria dentro

M DE
del volumen ( EV ) y la energía gravitatoria a través de la superficie ( dEGW / dt ) serán

respectivamente:
Y A
EV   t 00 d 3 x (3.3.14)
A
C
V
TE
dEGW
    t t 00 d 3 x (3.3.15)
dt V
O
LI
En donde el signo menos en la ecuación (3.3.15) significa que se está interesado en

la energía que abandona la superficie. Si utilizamos la conservación del tensor energía-
IB
momento podemos expresar la ecuación (3.3.15) de la siguiente manera,

B
1 dEGW
    i t 0i d 3 x
c dt V
(3.3.16)
  dAni t 0i
S
85
En donde dA es el elemento infinitesimal de superficie y n̂ el vector unitario

normal a S . Si S es una esfera entonces nˆ  r̂ es el vector radial y dA  r 2 d  , siendo r
el radio de la esfera y d   sin( )d d . Entonces,
dEGW
 cr 2  t 0r d  (3.3.17)
dt
S
A
Y,
C
c2
t 0r   0 hijTT  r hijTT
SI
(3.3.18)
32 G
S FÍ
A grandes distancias se tiene que t 0 r  t 00 y,
C S
dEGW
 cr 2  t 00 d  (3.3.19)
TI IA
dt
Á C
Utilizando la ecuación (3.3.12) y (3.3.13) se puede expresar la ecuación (3.3.19) de
A
M EN
la siguiente manera,
dEGW c2r 2
  hijTT hijTT d 
I
(3.3.20)
32 G
TE C
dt
M DE
dEGW c2r 2
16 G 
 h2  h2 d  (3.3.21)
dt
Y A
De esta manera podemos ver que las ondas gravitatorias llevan energía que pueden
A
ser introducidos en sistemas físicos. Al igual que las ondas electromagnéticas, las ondas
C
gravitatorias conllevan momento. Dado un volumen V , el momento gravitatorio dentro de

TE
este es:
O
1 0k 3
c V
PK  t d x (3.3.22)
LI
IB
Si V es una gran esfera limitada por una superficie S con radio r y con ondas
gravitatorias que viajan radialmente hacia el exterior, entonces el momento por unidad de
B
tiempo es,
PGW
K
    0t 0 k d 3 x
t V (3.3.23)
r  d t
2 0k
86
Usando la expresión (3.3.10), obtenemos:
PGW
K
c2r 2
32 G S
 hijTT  k hijTT d  (3.3.24)
t
3.4.Generación de Ondas Gravitatorias (Método Post- Newtoniano)
S
A
3.4.1. Fuentes de movimiento lento, campo débil y auto-gravedad despreciable.
C
Se analiza ahora las principales contribuciones a la perturbación métrica asumiendo
SI
que los movimientos internos de la fuente son lentos comparados con la velocidad de la luz.
Se asumirá también que, la auto-gravedad de la fuente es despreciable. Luego, veremos
S FÍ
cómo extender estos resultados a fuentes con auto-gravedad no despreciable.
C S
Recordando al ecuación (2.4.23),
TI IA
16 G
h   T ,   h  0,   T  =0 (3.4.1)
Á C c 4
A
M EN
Introducimos las funciones retardadas de Green,
 x  x' 
I
1 1
G( x  x ')    t   t '
TE C
(3.4.2)
4 x  x '  c 
M DE
El cual satisface G( x  x ')     ( x  x ') . La solución de la ecuación (3.4.1) puede

4
ser escrita como,

Y A
A
16 G 4
h  x    d x 'G( x  x ')T  x '
c4 
C
(3.4.3)
TE
Fuera de la fuente, usando el calibre TT (recordando ecuación 3.1.48), tenemos:

O
4G 3 1  x  x' 
hijTT  t , x   ij ,kl  n  4 
Tkl  t 
LI
d x' , x ' (3.4.4)

c x  x'  c 
IB
Denotaremos d al tamaño de la fuente, asumiendo que estemos lejos de la fuente,

B
es decir r d , podemos decir que x  x '  r  x '.n  o  d 2 / r  , de esta manera la ecuación

(3.4.3) se convierte en,
1 4G  r x'.n 
hijTT  t , x  ij ,kl  n   d 3 x ' Tkl  t   ; x ' (3.4.5)
 c 
4
r c x ' d
c
87
Se simplifica esta ecuación recordando que la velocidad dentro de la fuente es

mucho más pequeña que la velocidad de la luz. Si  es la frecuencia asociada con el
movimiento de la fuente, las velocidades de las fuentes serán  d .
La señal de una onda gravitatoria es determinada por su principal momento

multipolar, es decir GW   / d y GW c /   d . Si  / c 1 tendremos que
S
GW d.
A
C
Aplicando una transformada de Fourier al tensor de energía-momento, tenemos,
SI
 r x'.n 
 r x'.n  d 4k  i  t     ik .x '
4 kl 
Tkl  t   ; x '   T , k   e  c c 
(3.4.6)
S FÍ
 c c   2 
C S
Usando x '.n d  / c 1 como un parámetro de expansión, se expande la
TI IA
ecuación (3.4.6), obteniéndose:
Á C
A
 r x'.n   r  x' n
i i
1
Tkl  t   ; x '   Tkl  t  ; x '    0Tkl  2 x 'i x ' j ni n j  02Tkl  ... (3.4.7)
M EN
 c c   c  c 2c
I
Reemplazando (3.4.7) en (3.4.5) tenemos,

TE C
1 4G 1 d
hijTT  t , x  ij ,kl  n  [  d 3 xT kl  t , x   nm  d 3 xT kl  t , x  x m 
M DE
4
r c c dt
1 d2
2 
d 3 xT kl  t , x  x m x p  ...]t r / c
Y A
n n
2 m p
(3.4.8)
2c dt
A
C
Introduciendo el momento multipolar del tensor energía-momento Tij :

TE
S ij   d 3 xT ij  t , x 
O
LI
S ij ,k   d 3 xT ij  t , x  x k
IB
S ij ,kl   d 3 xT ij  t , x  x k xl (3.4.9)
B
Y reemplazando (3.4.9) en (3.4.8) se tiene:
1 4G  1 1 
hijTT  t , x  ij ,kl  n   S kl  nm S kl ,m  2 nm n p S kl ,mp  ... (3.4.10)
 
4
r c c 2c
Esta ecuación es válida para fuentes con gravedad linealizada y para fuentes con
auto-gravedad, es decir para fuentes cuya dinámica no es determinada por fuerzas
88
gravitacionales. Observamos en la ecuación (3.4.8) que los múltiplos mayores se suprimen

debido al factor  / c . Para entender mejor la ecuación (3.4.8), podemos expresar el
momento T ij en términos del momento T 00 y T 0i (debido a que en la práctica es un tanto
complicado determinar el tensor T ij ). Físicamente es de mayor conveniencia expresar la
expansión en términos del momento de la densidad de masa14 1/ c 2T 00 y el momento de la
densidad de momento 1/ c 2T 0i . Los momentos de la densidad de masa están dados por,
S
A
1
M 2 
d 3 xT 00  t , x  (3.4.11)
C
c
SI
1
d 3 xT 00  t , x  xi
c2 
Mi  (3.4.12)
S FÍ
1
C S
M ij  2 
d 3 xT 00  t , x  xi x j (3.4.13)
c
TI IA
Y los momento de densidad son dados por,
Á C
A
M EN
1 3 0i
d xT  t , x 
c
Pi  (3.4.14)
I
TE C
1
Pi  2 
d 3 xT 0i  t , x  xi (3.4.15)
c
M DE
1
Pij  2 
d 3 xT 0i  t , x  xi x j (3.4.16)
c
Y A
A
Teniendo en cuenta la ley de conservación que es válida para la gravedad

C
linealizada  T   0 . Para   0 tenemos  0T 00  iT i 0  0 , integrando esta ecuación en

TE
el volumen que contiene la fuente, obtenemos la conservación de la masa M  0 .

Similarmente, se puede probar que la conservación del momento M  0 de la siguiente
O
manera,
LI
cM ij   xi  0T 00 d 3 x    xi x j  kT 0 k d 3 x
IB
V V
B
   x jT 0i  xiT 0 j d 3 x (3.4.17)
V
Finalmente,
14
1/ c 2T 00 tiene dimensiones de densidad de masa, pero también incluye las contribuciones de la
energía cinética. Puede ser aproximado como la densidad de masa en reposo en el límite no relativista.
89
M ij  2 T ij d 3 x (3.4.18)
V
Reemplazando esta ecuación en (3.4.8), tenemos;
1 2G  r
hijTT  t , x   ij ,kl  n  M kl  t   (3.4.19)
 c
4
r c
S
A
La ecuación (3.4.19) es la ecuación de radiación de masa cuadripolar ( M kl está
C
dado en la ecuación (3.4.13))
SI
3.4.2. Fuentes en movimiento lento y campo débil, pero con auto-gravedad no
S FÍ
despreciable.
Como hemos mencionado anteriormente, la derivación de la gravedad linealizada de
C S
la ecuación del cuadrupolo (3.4.13) no puede ser aplicado a sistemas como el de una
TI IA
estrella binaria debido a que su dinámica es dominada por fuerzas gravitacionales. Debido a
Á C
la ley de conservación válida para la gravedad linealizada, los dos cuerpos se mueven sobre
A
líneas geodésicas en espacio-tiempo de Minkowski. Veremos ahora la extensión al caso en
M EN
que la auto-gravedad no es despreciable.
I
Definamos un campo H  tal que,

TE C
 g g      H 
M DE
(3.4.14)
En donde, en el límite de campo débil H  coincide con el tensor transversal

Y A
(reverse-trace) que hemos introducido anteriormente. Con el calibre harmónico   H   0 ,

A
C
obtenemos:
TE
16 G
H      g  T     (3.4.15)
c4 
O
Donde   es un pseudotensor dependiente de H  . La ley de conservación en este

LI
caso sería,
IB
   g  T       0
B
(3.4.16)
Podemos rehacer la derivada en la gravedad linealizada, reemplazando

T 
   g  T    obteniendo por el término principal en la ecuación (3.4.13)
T 00 xi x j d 3 x   T00   00 xi x j d 3 x . Para fuentes caracterizadas por la gravedad débil  00 es

despreciable con respecto a T00 . A pesar de que al final uno obtiene la misma fórmula, es
90
crucial tomar en cuenta las correcciones de segundo orden en h , es decir el campo   ,
en la ley de conservación. De otra manera, las fuentes serían obligadas a moverse sobre las
curvas geodésicas en el espacio-tiempo de Minkowski, en vez de moverse en una órbita
delimitada.
3.5. Ondas Gravitatorias y electromagnéticas
S
Para concluir este capítulo es importante discutir las diferencias y similitudes más
A
importantes entre las ondas gravitatorias y las electromagnéticas. Haremos lo anterior, en el
C
siguiente cuadro comparativo:
SI
Tabla N°1
S FÍ
Cuadro Comparativo entre el campo gravitatorio en la relatividad General y el campo
Electromagnético en el Electromagnetismo.
C S
Electromagnetismo Relatividad General
TI IA
- Dos signos de carga. - Un signo de masa.
- Los cuerpos grandes son - Gravedad acumulada.
Á C
generalmente neutros. - Mientras más grande el cuerpo más
A
- Las ondas electromagnéticas son
M EN
fuerte es la emisión de las ondas.
usualmente emitidas por partículas - Las ondas llevan información
individuales, algunas veces global.
I
incoherentemente.
TE C
- Las ondas solo llevan información

local
M DE
- Fuerza física genuina que actúa - Principio de Equivalencia: la

según el cuerpo (acción diferente en gravedad afecta a todos los cuerpos
Y A
diferentes cuerpos). Se detecta a de la misma manera. Se representa

A
C
través de la medición de como la curvatura del espacio-

aceleraciones. tiempo en vez de una fuerza.
TE
Detectados solamente por fuerzas de

marea (aceleraciones diferenciales)
O
- Las ecuaciones de Maxwell son - Las ecuaciones de campo de

Einstein no son lineales. Su campo
LI
lineales. Su campo físico es F ( E

y B ). físico es el tensor de curvatura de
IB
- Su campo de calibre es el vector Riemann R .

potencial A . - Su campo de calibre son las métricas
B
g  y conexiones  . Las

transformaciones de calibre son las
transformaciones de las
coordenadas.
- Su fuente es la densidad de corriente - Su fuente es el tensor de energía-
J  . La carga crea campo eléctrico y tensión T . La masa crea un campo
magnético. tipo Newtoniano, el momento como
91
efecto gravito-magnético. La tensión

también crea un campo.
- Moderadamente fuerte a escala - Más débil que la interacción débil.

e2 / 4 0
atómica: 2
 1039
GmP
S
- La generación se onda de da por - La generación de onda se da por
h  g   :
A
A :     A  4 0 J  en un
C
calibre conveniente (calibre de  1 
     h   h   8 T en un
Lorentz)  
SI
2
calibre conveniente.
S FÍ
- Se propagan a la velocidad de la luz, Se propagan a la velocidad de la luz, la
la amplitud decae como 1/ r amplitud decae como 1/ r
C S
- Conservación de la carga → la - Conservación de la masa y momento
radiación por cargas de baja → la radiación por masas a baja
TI IA
velocidad es dominada por velocidad es dominada por
componentes dipolares. componentes cuadripolares.
Á C
A
- La consistencia de la fuerza - La gravedad al ser débil hace que las
M EN
electromagnética hace que las ondas ondas se propaguen casi
se dispersen y refracten fácilmente. imperturbables y transfieran energía
débilmente.
I
TE C
- Energía local y de flujo bien - La densidad de energía local no es

definidos. exacta. Sólo la energía de balance
M DE
global es exacta.
- Su expansión multipolar en - La expansión multipolar es
movimiento lento es sencillo y la diferente, depende de si el campo es
Y A
reacción a la radiación está bien débil o fuerte. Para el caso cuasi-

A
definida. Newtoniano los campos son débiles

C
mientras que el resultado de la

TE
expansión Post- Newtoniano es

delicado. La reacción a la radiación
sigue sin entenderse completamente.
O
- Soluciones exactas que están - No hay disponibilidad de soluciones

LI
disponibles y pueden guiar a la exactas para situaciones dinámicas

construcción de métodos de de interés físico, sin embargo hay
IB
aproximación para situaciones más amplia confianza en los métodos de

complicadas. aproximación.
B
92
CAPITULO IV
4. Detectores de ondas Gravitatorias y Fuentes

Astrofísicas
S
A
4.1.Detectores de ondas gravitatorias
C
Hemos visto que las ondas gravitacionales tiene le efecto de estirar y comprimir el
SI
espacio periódicamente; la manera en como las ondas actúan en las partículas de materia se
puede entender como la propagación de la distorsión de marea. Una manera simplista de
S FÍ
detectar estas fuerzas de marea sería tomar una barra de metal y ver por las vibraciones
inducidas en la barra por las ondas gravitatorias, Joseph Weber utilizo este método en 1960
C S
y dijo haber detectado las ondas gravitatorias, sin embargo cuando volvió a repetir el
TI IA
experimento lo resultados fueron nulos debido a que su experimento solo tenía un alcance
de 1016 en la sensibilidad al cambio a la longitud relativa y se sabe que tienen que ser más
Á C
A
pequeños que 1020 . Actualmente, los detectores de barras son criogenizados, de esta
M EN
manera se elimina, en gran medida, las vibraciones térmicas como una fuente de ruido. , y
son equipados con SQUIDs (Superconducting Quantum Interference Devices) para
I
TE C
encontrar las variaciones de longitud.

M DE
Una desventaja de estos detectores resonantes es que son solo sensibles en torno a
su frecuencia de resonancia natural (típicamente unos cuantos kHz). Debido a esto, los
esfuerzos de detección se han concentrado en los interferómetros, los cuales son bastante
Y A
largos (en una escala de kilómetros), el cual se observa en las figuras (4.1-1) y (4.1-2).
A
C
TE
O
LI
IB
B
Figura 4.1-1: Representación esquemática de un detector interferométrico de ondas gravitatorias.
93
S
A
C
SI
S FÍ
C S
TI IA
Figura4.1-2: Diseño genérico de un detector laser interferométrico localizado en tierra. Los bloques son un láser,
Á C
A
M EN
Un rayo láser se envía a través de un divisor de haz y termina en dos cavidades
resonantes que son muy largos, en el cual la luminosidad es aumentada. Se permite que la
I
luz interfiera donde los brazos se unen. Las cosas están configuradas de tal manera que si
TE C
no hay ondas gravitacionales pasando, la interferencia es destructiva y no hay luz que

M DE
llegue a la célula fotoeléctrica en la salida. De esta manera los cambio en la velocidad

22
relativa de 10 pueden ser medidos. Los interferómetros son también detectores de banda
ancha, con buena sensibilidad entre algunas decenas de Hz y kHz.
Y A
A
Calcularemos ahora la respuesta de un detector a una onda gravitatoria. Se hará el

C
cálculo en el límite donde la longitud de onda de las ondas gravitatorias sea mucho mayor
TE
que el tamaño L del detector; en términos de la frecuencia angular de las ondas

gravitatorias, OGL L 1 . El divisor de haz y los espejos finales están en geodésicas
O
cercanas, en donde “cercanas” indica el estar cerca el uno al otro comparado a la escala de
LI
longitud donde la métrica varía. De la ecuación (3.2.19) la distancia de un espejo con

respecto al divisor de haz involucra que,
IB
1
B
 Ai  h i j Aj (4.1.1)
2
Con A  1, 2 etiquetando los espejos. Asumiremos que los espejos y el divisor de

haz están en el plano  x, y  , con el divisor de haz en el origen y los espejos en  L, 0, 0  y
 0, L,0  respectivamente ninguna onda gravitatoria está presente.
94
En el caso del espejo A  1 solo estaremos interesados en su movimiento en la

dirección x , y en el caso del espejo A  2 solo consideraremos el movimiento en la
dirección y . Análogamente a la ecuación (3.2.20) escribiremos que, 1x  L  1x y
2y  L  2u .
1x  hxx  L  1x 

1
S
2
A
C
2y  hyy  L  2y 
1
(4.1.2)
SI
2
S FÍ
Por simplicidad consideraremos nuevamente una onda gravitacional
monocromática: hij  Ai j cos t  . Por tanto la ecuación (4.1.2) quedaría expresada como:
C S
1x   Axx  L  1x   2 cos t 
TI IA
1
2
Á C
A
2y   Ayy  L  2y   2 cos t 
1
M EN
(4.1.3)
2
Ya que esperamos que  Ay

I
L , despreciaremos estos términos e integraremos

TE C
(4.1.3) y nos queda:

M DE
1
1x  Axx cos t 
2
Y A
A
1
2y  Ayy cos t 
C
(4.1.4)
2
TE
O,
O
1
1x  hxx
LI
2
IB
1
 2y  hyy (4.1.5)
2
B
Este resultado es válido para una onda completamente genérica, la cual es una
superposición de onda con diferentes frecuencias, debido a que la manera en cómo se llegó
a esto involucró ecuaciones que fueron lineales en hij .
La salida del detector h  t  es la diferencia ente las longitudes de los brazos en la

dirección x y y ,
95
h  t    L  1x    L  2y  (4.1.6)
O,
h t  
1
2
 hxx  hyy  (4.1.7)
S
A esto le llamamos deformación. La ecuación (4.1.7) es para un detector con brazos
A
perpendiculares, para hacerlo más general consideraremos un interferómetro con los brazos
C
sobre los vectores unitarios û y v̂ , con un ángulo arbitrario entre ambos. La deformación
SI
tomara la forma,
S FÍ
1
h t    huu  hvv  (4.1.8)
2
C S
Con huu  hij u iu j y hvv  hij vi v j . Es conveniente ahora, introducir un tensor del
TI IA
detector Dij que relaciona la perturbación métrica en el calibre TT a la respuesta del
Á C
A
detector.
M EN
h  t   Dij hij (4.1.9)
I
TE C
Donde
M DE
Dij 
2
u u  v v 
1 i j i j
(4.1.10)
Y A
Ya que la ecuación (4.1.9) es lineal en h y h es posible expresarlo como,

A
C
h  t   F h  Fh
TE
(4.1.11)
Donde F y F son llamados: funciones de dispersión de haz. Note que h y h

O
fueron definidos con respecto a un marco de referencia en el cual la onda gravitacional se

LI
propaga en la dirección z , en ese caso:

IB
 h h 0
 
B
h 'ij   h h 0 (4.1.12)

0 0 
 0
Sin embargo, un interferómetro puede tener una orientación arbitraria con respecto a
la dirección de propagación de la radiación gravitatoria. Denotaremos  x ', y ', z ' el sistema
de coordenadas donde el marco de referencia de la onda gravitatoria se mantiene,
96
asumiremos un interferómetro con 90 de ángulo de abertura y definiremos un marco

 x, y, z  tal que un brazo apunte en la dirección x y el otro en la dirección y ; el eje z esta
fijo.
Note que hay cierta arbitrariedad en la elección del marco de referencia de la onda
gravitatoria. Sera tal que la dirección de propagación, n̂ es a lo largo del eje z ' , pero los
S
ejes x ' y y ' pueden ser arbitrarios. La radiación gravitatoria emitida por la mayoría de las
A
fuentes están elípticamente polarizadas, lo que significa que las amplitudes h' y h' no son
C
iguales, y el marco de la onda gravitatoria es entonces definida tal que x ' y y ' estén a lo
SI
largo de los ejes mayor y menor de la elipse asociada, respectivamente. Introduciremos
ahora nuevos ejes x , y y  el ángulo entre x y x tal que se cumpla:
S FÍ
xˆ   xˆ  cos    yˆ  sin  
C S
TI IA
yˆ   xˆ  sin    yˆ  cos   (4.1.13)
Á C
A
Así, en el marco de referencia  x, y, z  (donde z  z )
M EN
 h h 0 
I
 
TE C
hij   h h 0  (4.1.14)

0 0 0 

M DE
Con:
Y A
h  h cos  2   h sin  2 

A
C
h  h sin  2   h cos  2 

TE
(4.1.15)
 x, y, z  x, y, z  .

O
Luego, necesitamos rotar (4.1.14) del marco al marco Para

hacer esto se hará una rotación en un ángulo  sobre el eje x seguido por una rotación en
LI
un ángulo  alrededor del eje z . Note que  ,   son las usuales coordenadas esféricas en
IB
el marco  x, y, z  ; determinan la dirección de propagación en el marco del detector y por

B
tanto la posición de la fuente en el cielo. La matriz de rotación correspondiente es:
 cos   sin   0   1 0 0 
  
R    sin   cos   0   0 cos  sin   (4.1.16)

 0 0 1   0  sin  cos  
97
En el marco  x, y, z  , la perturbación métrica es
hij  Rik R jl hkl (4.1.17)
La deformación (1.4.7) en un detector de 90 esta dado por,
S
h
1
 hxx  hyy   F h  Fh (4.1.18)
A
2
C
Donde,
SI
F 
1
1  cos2   cos 2 cos 2  cos  sin 2 sin 2
S FÍ
2
1  cos2   cos 2 cos 2  cos sin 2 sin 2
C S
1
Fx  (4.1.19)
TI IA
2
Los interferómetros trabajan sobre un amplio ancho de banda y no tienen ninguna

Á C
A
resonancia natural en su banda de observación. Son ideales para detectar explosiones ya que
M EN
se puede hacer coincidir los patrones por todo el ancho de banda y detectar dichas señales
óptimamente. Son ideales también para la búsqueda de señales continuas no conocidas,
I
tales como rastrear el cielo para buscar estrellas de neutrones. Y en observaciones de

TE C
señales estocásticas por correlación cruzada de dos detectores, esto puede dar información
M DE
sobre el espectro de la señal.
Si un interferómetro quiere estudiar una señal con una frecuencia conocida, como
por ejemplo, pulsares conocidos; hay otra técnica óptica disponible para mejorar su
Y A
A
sensibilidad en un pequeño ancho de banda, a expensas de la sensibilidad fuera de esa

C
banda. A esto se le llama señal reciclada. En esta técnica, un espejo adicional es localizado
TE
en frente del detector de luz, donde la señal emerge del interferómetro (ver figura (4.1-3)
parte d). Si el espejo se elige correctamente, la señal se dará, pero solo en un cierto ancho
O
de banda.
LI
IB
B
98
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
Figura 4.1-3: Cinco tipos para un interferómetro de ondas gravitatorias. (a) Interferómetro de Michelson, donde
TE
hay dos haces: una va a través del fotodetector y otro a través del láser. (b) Línea retardada: Un interferómetro de Michelson
con múltiples rebotes en cada brazo para mejorar la señal. (c) Potencia reciclada: El espejo extra recicla la luz que viaja a
O
través del láser, de no ser por el espejo la luz sencillamente se desperdiciaría. (d) Señal reciclada: El espejo que esta delante
LI
del fotodetector recicla solo la señal de las bandas laterales, de esta manera se asegura que en ausencia de una señal ningún
haz de luz viaje al fotodetector. (e) Interferómetro de Fabry- Perot: las líneas retardadas son convertidas a cavidades con
IB
espejos interiores parcialmente plateados.

B
Cuatro grandes proyectos de interferómetros que se han construidos y son los

siguientes:
 TAMA300 (Japón)
Está localizado en Tokio y la longitud de sus brazos es de 300 m. A pesar de que

nos es tan sensible como los otros tres interferómetros sigue operando hoy en día. TAMA
99
300 fue el primer interferómetro (Agosto 1999). En años recientes ha pasado por un
periodo prolongado de actualizaciones. Debido a la ubicación de TAMA, en una gran área
metropolitana, suele estar sometido a grandes cantidades de ruido sísmico por lo cual se
han desarrollado dos atenuadores sísmicos que se han acoplado al interferómetro.
La corta longitud de los brazos de TAMA (comparado con los otros tres) y su alto
S
nivel de perturbación sísmica, TAMA 300 es más sensible en la banda de 1-1,5 kHz,
logrando una sensibilidad de tensión que se acerca a 1021 / Hz . La curva a la sensibilidad
A
de tensión del TAMA 300 de Setiembre del 2008 se muestra en la figura (4.1-4). La
C
experiencia del TAMA se ha utilizado en el diseño del gran Observatorio Criogénico de
SI
Ondas Gravitatorias LCGT en Japón.
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
Figura 4.1-4: Sensibilidad de Tensión de TAMA 300 en Septiembre del 2008. Fuente: E. Augé, J. Dumarchez & J
Thanh Van. The XLVIth Recontres de Morind and GPhyS Colloquium. “2011 Gravitational Waves and Experimental
O
Gravity”
LI
 GEO600
IB
GEO600 es un proyecto Británico-Alemán localizado a 20 Km del sur de Hannover,

B
Alemania. La longitud de los brazos del detector es de 600 m y consiste de un

interferómetro de Michelson con poder y señal reciclado. GEO600 no tiene cavidades de
Fabry-Perot en los brazos, pero una vez que los brazos son plegados obtiene una longitud
de 1,2 km. GEO 600 es capaz de detectar las ondas gravitatorias en el rango de frecuencia
de 50 Hz a 1.5 kHz.
100
GEO es el único proyecto que utiliza unidades estáticas que actúan en las
principales masas de prueba. El detector GEO es automático y ha alcanzado un arduo ciclo
de trabajo.
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
Figura 4.1-5: Sensibilidad de tensión representativa de GEO600. Fuente: E. Augé, J. Dumarchez & J Thanh
M DE
Van. The XLVIth Recontres de Morind and GPhyS Colloquium. “2011 Gravitational Waves and Experimental Gravity”
La figura (4.1-5) muestra la sensibilidad de tensión de GEO600 del 2006 y del

Y A
2011.
A
C
 LIGO (Laser Interferometer Gravitational-Wave Observatory)

TE
Ligo tiene dos instalaciones ubicadas por separado en los Estados Unidos, uno en
O
Hanford, Washington y uno en Livingstone, Louisiana. El observatorio Hanford LIGO

albergaba dos interferómetros un interferómetro con una longitud de brazo de 4 km y otro
LI
de 2 km. El observatorio LIGO de Livingstone alberga un interferómetro simple de 4 km.

IB
El interferómetro de 2 km en Hanford fue sacado de operación en verano del 2009 y a los

otros dos interferómetros de 4 km se le sacaron de operación en Octubre del 2010, esto,
B
para poder dar paso al proyecto LIGO Avanzado.
Mientras se conserva el diseño de suspensión, los dos interferómetros LIGO de 4

km han sido líderes en el pico de sensibilidad, así como en la mayor parte del espectro de
frecuencias, con el pico de sensibilidad de tensión de aproximadamente 2 1023 / Hz en
la región de 150-200 Hz (ver figura4.1.6)
101
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
Figura 4.1-6: Sensibilidad de tensión representativas de los tres interferómetros de LIGO. Fuente: E. Augé, J.
Dumarchez & J Thanh Van. The XLVIth Recontres de Morind and GPhyS Colloquium. “2011 Gravitational Waves and
I
TE C
Experimental Gravity”
M DE
 VIRGO
El interferómetro de Virgo está localizado en Cascina, Italia, es operado por un

Y A
consorcio de científicos italianos, Franceses, Holandeses, Polacos y Húngaros. La

A
C
topología del interferómetro de Virgo es idéntico al de LIGO, este interferómetro auto-

TE
recicla su potencia y emplea las cavidades de brazo de Fabry Perot. Los brazos de Virgo
tienen 3 km de longitud. La principal característica de Virgo que la diferencia de LIGO es
su súper-atenuador, que es un sistema de aislamiento sísmico.
O
LI
Como resultado del sofisticado aislamiento de baja frecuencia, Virgo posee la mejor
sensibilidad a la tensión en la banda baja de 10-40 Hz. Virgo fue diseñada para ser
IB
ligeramente menos sensible que LIGO en el ancho de banda de 40-100 Hz y completamente

B
sensible cuando alcanza 1 kHz. Las curvas de sensibilidad a la Tensión se muestran e la

figura (4.1-7).
102
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
Figura 4.1-7: Sensibilidad a la Tensión de Virgo, a partir de Julio del 2009 a Junio del 2011. En el periodo
después del 2009, suspensiones monolíticas fueron implementadas y la finesa de las cavidades de los brazos se
I
TE C
incrementó.
M DE
4.2. Fuentes Astrofísicas de la radiación Gravitatoria.
Cuando hablamos de fuentes de ondas gravitatorias hay un gran número de posibilidades de

Y A
las mismas en el ancho de banda de la onda observable, los cuales se extienden en 8

A
órdenes de magnitud en la frecuencia: desde 104 Hz (límite inferior del diseño del detector
C
actual del espacio) hasta 104 Hz (límite de frecuencia de los posibles detectores en tierra).
TE
Muchas de estas fuentes son altamente relativistas y no muy masivos, especialmente por
O
encima de los 10 Hz: un agujero negro con una masa de 1000 M tiene un frecuencia de 10
Hz, y los agujeros negros más grandes tienen menor frecuencia en proporción inversa a la
LI
masa. Las estrellas de neutrones tienes frecuencias características más grandes.

IB
4.2.1. Fuentes detectables desde Tierra y el espacio.

B
4.2.1.1. Supernovas y Colapso Gravitatorio
La fuente menos entendida y más esperada, el colapso gravitatorio es uno de los

eventos más violentos que conoce la astronomía debido a que se posee muy poca
información de lo que sucede en el interior del colapso, por lo cual no se pueden hacer
predicciones muy confiables sobre la radiación gravitatoria que procede de éste.
103
Las supernovas se desencadenan por el colapso gravitatorio del núcleo interno de

una estrella evolucionada. De acuerdo a las teorías actuales, el resultado debería ser una
estrella de neutrones o un agujero negro. El colapso libera una enorme cantidad de energía,
alrededor de 0.15 M c 2 , de la cual mucha de ella es arrastrada por los neutrinos, y una
pequeña fracción incierta se convierte en ondas gravitatorias. Un mecanismo para producir
esta radiación podría ser la inestabilidad dinámica de la rápida rotación del núcleo antes de
S
convertirse en una estrella de neutrones. Otra probable fuente de radiación es la
A
inestabilidad r - modo.
C
Sin embargo, ambos mecanismos son difíciles de modelar. El problema con el
SI
colapso gravitatorio es que los movimientos perfectamente esféricos no emiten ondas
S FÍ
gravitatorias, por lo cual no es posible estimar de manera confiable la cantidad de asimetría
en un colapso gravitatorio.
C S
Un enfoque alternativo es considerar el uso de la energía general, Si por ejemplo,
TI IA
asumimos que el 1% de la energía disponible se convierte en radiación gravitatoria,
Á C
entonces la amplitud h será lo suficientemente grande para ser detectados por los
A
interferómetros localizados en tierra a una distancia del cluster de Virgo (18 Mpc15) si la
M EN
emisión se centra en 300 Hz.
I
La incertidumbre de las predicciones tienes un aspecto positivo: es claro que si

TE C
podemos detectar la radiación de una supernova, aprenderemos mucho más sobre las etapas
M DE
finales de la evolución estelar y sobre la física de las estrellas de neutrones.
4.2.1.2. Estrellas Binarias

Y A
Los sistemas binarios han dado la mayor prueba de la confiabilidad de la relatividad general
A
C
para las ondas gravitatorias. El ejemplo más famoso de dichos sistemas es el pulsar binario
TE
PSR1916+16, descubierto por Hulse y Taylor en 1974. De las observaciones de la

modulación del periodo de pulso de como las estrellas se mueven en sus orbitas, se conoce
parámetros importantes de este sistema (periodo orbital, excentricidad, la masa de las dos
O
estrellas, etc.) y los datos incluso muestran el decaimiento del periodo orbital debido a la
LI
emisión de radiación gravitatoria.

IB
Desafortunadamente la radiación del sistema Hulse-taylor será muy débil y de muy baja
B
frecuencia para ser detectado por LISA.
15
1Mpc  3.086 1022 m
104
4.2.1.3. Pulsares y Estrellas de Neutrones rotantes
Hay varias maneras en el cual una estrella de neutrones puede emitir un flujo continuo de
ondas gravitatorias. Ya que son débiles, requieren largas horas de observación continua,
incluso meses. Aquí presentamos algunos posibles mecanismos para estrellas de neutrones.
 Los modos-r
S
A
Cuando una estrella de neutrones nace lo hace a muy elevadas temperaturas y
C
probablemente rotando. Antes de enfriarse, presentan modos normales inestables, los
modos-r16. Estos “modos” son excitados a la inestabilidad por la emisión de radiación
SI
gravitatoria. Su estudio es muy interesante teóricamente ya que la radiación es gravito-
S FÍ
magnética. Siendo inestables, las estrellas de neutrones jóvenes irradiaran suficiente
momento angular para reducir su rotación y llegar a ser estables. Esto podría disminuir la
C S
rotación de una estrella de neutrones hasta 100 Hz sin ni siquiera un año después de su
TI IA
formación. La energía que se emite en esta forma debería ser una buena fracción de la
energía de la enlace de la estrella, esta radiación podría ser detectado por LIGO II (LIGO
avanzado).
Á C
A
M EN
 Acreción17 de estrellas de Neutrones.
I
Son los objetos centrales de la mayoría de fuentes binarias de rayos X en la Galaxia. Los
TE C
astrónomos lo dividen en dos grupos distintivos: Las binarias de poca masa y las binarias
M DE
de gran masa, de acuerdo a la masa de estrella acompañante. En las binarias de rayos X de

poca masa (LMXBs: Low-Mass X-ray Binaries) la acreción dura el tiempo suficiente para
hacer rotar a la estrella de neutrones hasta que el pulsar18 alcanza una velocidad de rotación
Y A
de milisegundos. Por tanto, los astrónomos han supuesto que una estrella de neutrones en
A
LMXBs tendría un rango de rotaciones, desde cercanas a cero (sistemas jóvenes) hasta
C
cercanos a 500 o 600 Hz (en el término de la fase de acreción).

TE
En este modelo el flujo de energía de la onda gravitacional es proporcional al flujo

O
de energía observado de los rayos X. La fuente más poderosa en este modelo es Sco X-119,
esta binaria podría ser detectada por GEO600 y LIGO II.
LI
IB
B
16
Un modo-r es en sí un tipo de oscilación que tiene las estrellas de neutrones, aparece solo en
estrellas rotantes.
17
Acreción es un término utilizado por los astrónomos para definir agregación de materia a un
cuerpo. Por ejemplo, la acreción de masa por una estrella es la adición de masa a la estrella a partir de
materia interestelar o de una compañera.
18
Para más información de un pulsar ver [15]
19
Scorpius X-1 (Sco X-1) es una binaria de Rayos X localizada en la constelación de escorpio
105
4.2.1.4. Fondo Aleatorio
El big bang fue el evento más violento de todos, por lo que se cree que creo una
cantidad bastante significante de radiación gravitatoria. Otros eventos en el universo
temprano podrían haber creado radiación, de lo cual tendríamos fondo aleatorio de épocas
más recientes como por ejemplo el sistema de estrellas binarias que mencionamos
S
anteriormente.
A
Consideremos otro ejemplo importante, de los modos-r. Este proceso habría
C
ocurrido en una fracción de todas las formaciones de estrellas de neutrones desde el inicio
SI
de la formación de la estrella. La suma de toda la radiación modo-r será un fondo aleatorio,
con un espectro que se extiende desde un punto de corte inferior de aproximadamente 200
S FÍ
Hz en un marco de referencia inercial del emisor hasta un límite superior que depende de la
velocidad angular de las estrellas.
C S
TI IA
Podría ser también un fondo cosmológico ya sea por defectos topológicos (e.g.
Cuerdas cósmicas) o de la inflación (el cual amplifica las fluctuaciones cuánticas
Á C
gravitacionales iniciales) y justamente de este último punto se tuvieron noticias en marzo
A
M EN
del 2014 del Centro Harvard-Smithsonian de Astrofísica, cuyo experimento BICEP2
(Background Imaging of Cosmic Extragalactic Polarization) [1] y [2], anuncias el
descubrimiento de que se ha conseguido medir el efecto de las ondas gravitatorias
I
TE C
producidas en la inflación cósmica.

M DE
La inflación cósmica sugiere que hubo un periodo de expansión exponencial en el

universo pre-primigenio. La expansión es exponencial porque la distancia entre dos
observadores fijos se incrementa exponencialmente, debido a la métrica de expansión del
Y A
Universo (un espacio-tiempo con esta propiedad es llamado un espacio de Sitter). Según la
A
C
teoría del Big Bang, la expansión del universo pierde velocidad, mientras que la teoría
TE
inflacionaria lo acelera e induce el distanciamiento, cada vez más rápido, de unos objetos
de otros. Esta velocidad de separación llega a ser superior a la velocidad de la luz, sin violar
la teoría de la relatividad, que prohíbe que cualquier cuerpo de masa finita se mueva más
O
rápido que la luz. Lo que sucede es que el espacio alrededor de los objetos se expande más
LI
rápido que la luz, mientras los cuerpos permanecen en reposo en relación con él. A esta
IB
extraordinaria velocidad de expansión inicial se le atribuye la uniformidad del universo

visible, las partes que lo constituían estaban tan cerca unas de otras, que tenían una
B
densidad y temperatura comunes.
El anuncio del BICEP2 es que logran detectar la polarización de modo-B20 y al ser

las ondas gravitatorias las únicas que pueden presentar este tipo de polarización entonces
20
Señal de polarización en la radiación de fondo cósmico de microondas. Existen dos tipos de
modo-B, la primera generadas durante la inflación cósmica y la segunda generada por los lentes
gravitatorios.
106
concluyen lógicamente en la detección de ondas gravitatorias durante la inflación cósmica

como se muestra en la figura 4.2-1.
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
Figura 4.2-1: Izquierda: Señal real de una porción de cielo y lo que sería las ondas gravitatorias detectadas por BICEP2.
I
Derecha: Simulación basada en las predicciones de la inflación y de la materia oscura fría.

TE C
M DE
Y A
A
C
TE
O
LI
IB
B
107
CONCLUSIONES
 Se logró obtener una noción geométrica más profunda del espacio-tiempo tras haber
hecho la revisión de los temas que se exponen en el capítulo I, siendo una de las
notaciones más importantes el tensor de curvatura de Riemann (ecuación 1.15.7), el
cual describe completamente la curvatura del espacio-tiempo.
S
A
 Las Ecuaciones de campo de Einstein (ecuación 2.4.44) mostraron como la
C
presencia de materia y energía afectan la geometría del espacio-tiempo,
SI
produciendo en este una curvatura, debido a esta ecuación se afirma que lo que
clásicamente denominamos “fuerza gravitatoria” no es más que la curvatura del
S FÍ
espacio-tiempo.
C S
 Las ecuaciones de campo linealizadas (Ecuación 2.4.23) mostraron como el tensor
TI IA
de energía-momento genera “ondas” en un campo gravitatorio no estático, a estas
ondas se las denomino “ondas gravitatorias”, las cuales viajan a la velocidad de la
Á C
A
luz, como se demuestra en la ecuación (3.1.18).
M EN
 La ecuación (3.2.8) corrobora el principio de equivalencia al demostrar como la
I
curvatura del espacio-tiempo se sienten en un marco de referencia no local, es decir

TE C
la aceleración relativa al sistema de dos partículas es proporcional a la curvatura del

espacio-tiempo, debido a esto el principio de equivalencia cumple solo para un
M DE
marco de referencia local.

Y A
Al estudiarse el método de Perturbaciones de una variedad suavizada se logró

A
observar algunas de las propiedades de una onda gravitatoria, estas son: la densidad
C
de la energía gravitacional (Ecuación 3.3.13) que es exacta solo globalmente, la

TE
energía gravitatoria dentro de un volumen (ecuación 3.3.14) y el momento

gravitatorio (ecuación 3.3.22).
O
LI
 En la sección 3.2.2. se vio como la gravedad al ser débil hace que las ondas
gravitatorias interactúen muy débilmente con la materia, por lo cual se propagan
IB
casi imperturbables y trasfieren energía débilmente.

B
 Al estudiar el Método Post-Newtoniano se obtuvo la radiación de masa cuadripolar

(Ecuación 3.4.19) , el cual depende de si el campo es débil o fuerte, sin embargo la
reacción a la radiación sigue sin entenderse completamente.
108
 Como se expone en el capítulo IV han habido y hay muchos trabajos experimentales

encargados del estudio de las ondas Gravitatorias, un evento trascendental, sin
embargo lo marca el BICEP 2 que logra detectar ondas gravitatorias primordiales, y
aunque no se realiza un estudio muy detallado del material que BICEP 2 encontró
(debido a la dificultad del proyecto) si se muestra uno de sus resultados (figura 4.2-
1) el cual es la prueba del hallazgo. Las consecuencias de este hallazgo no serán
S
para nada simplistas y seguro traerá interpretaciones profundas sobre la relatividad
A
general y la evolución del universo. Lógicamente los detectores en Tierra y en el
C
espacio aun seguirán operando y se esperan nuevos resultados en este campo. De
esta manera, se cumplen con los objetivos planteados inicialmente.
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
109
BIBLIOGRAFÍA
[1] Ade, P., Aikin, R., Amiri, M., Barkats, D., Benton, S., Bischoff, C., Bock, J.,
Brevik, J., Buder, I., Bullock, E., Davis, G., Day, P., Dowell, C., Duband, L.,
Filippini, J., Fliesher, S., Golwala, S., Halpern, M., Hasselfield, M., Hildebrandt, S.,
Hilton, G., Irwin, K. Karkare, K., Kaufman, J. Keating, B., Kernasovskiy, S., Kovac,
S
J., Kuo, C., Leitch, E., Llombart, N., Lueker, M., Netterfield, C., Nguyen, H.,
A
O´Brient, R., Ogurn, R., Orland, A., Pryke, C., Reintsema, C., Richter, S., Schwarz,
C
R., Sheen, C., Staniszewski, Z., Story, K., Studiwala, R., Teply, G., Tolan, J., Turner,
A, Vieregg, A., Wilson, P., Wong, C. & Yoon, K. (2014). “BICEP 2 I: Detection of
SI
β-mode Polarization at Degree Angular Scales”. Recuperado de:
S FÍ
http://arxiv.org/abs/1403.3985v2, arXiv:1403.3985 [astro-ph.CO].
C S
[2] Ade, P., Aikin, R., Amiri, M., Barkats, D., Benton, S., Bischoff, C., Bock, J., Brevik,
TI IA
J., Buder, I., Bullock, E., Davis, G., Day, P., Dowell, C., Duband, L., Filippini, J.,
Fliesher, S., Golwala, S., Halpern, M., Hasselfield, M., Hildebrandt, S., Hilton, G.,
Á C
Irwin, K. Karkare, K., Kaufman, J. Keating, B., Kernasovskiy, S., Kovac, J., Kuo, C.,
A
M EN
Leitch, E., Llombart, N., Lueker, M., Netterfield, C., Nguyen, H., O´Brient, R.,
Ogurn, R., Orland, A., Pryke, C., Reintsema, C., Richter, S., Schwarz, R., Sheen, C.,
Staniszewski, Z., Story, K., Studiwala, R., Teply, G., Tolan, J., Turner, A, Vieregg,
I
TE C
A., Wilson, P., Wong, C. & Yoon, K. (2014). “BICEP 2 II: Experiment and Three-
Year data Set”. Recuperado de: http://arxiv.org/abs/1403.4302v2, arXiv:1403.4302
M DE
[astro-ph.CO].
[3] Augé, E., Dumarchez, J. & Thanh, J. (2011). “Gravitational Waves and
Y A
Experimental Gravity”. The XLVIth Recontres de Moriond and GPhyS Colloquium.

A
C
[4] Buonanno, A. (2007). “Gravitational Waves”. Department of Physics. University of

TE
Maryland. Recuperado de: http://arxiv.org/abs/0709.4682v1
Bertschinger E. (1999) “Introduction to Tensor Calculus for General Relativity”,

O
[5]
Massachusetts Institute of Technology, Department of Physics.
LI
[6] Chen, X. & Zhu, B. (2011). “Tensor gauge condition and tensor field descomposition”.
IB
Recuperado de: http://arxiv.org/abs/1101.2809v5, arXiv:1101.2809 [gr-qc]

B
[7] Crowell, B. (2009). “General Relativity”. California. Recuperado de:

http://lightandmatter.com/genrel/
[8] EGO-VIRGO, European Gravitational Observatory. Recuperado de: http://www.ego-

gw.it/virgodescription/index.html
110
[9] Ferreira, P. (2013). “Lectures on general Relativity and Cosmology”. Oxford:

Oxford OX1 3RH.
[10] Grøn Ø. & Hervik S, (2004). “Einstein’s General Theory of Relativity”. Novena
edición
[11] Hawking, S. & Istrael, W. (1987). “Three hundred years of gravitation”. Cambridge:
S
Cambridge University Press.
A
C
[12] Isham, C. (1999). Modern Differential Geometry for Physicists. United Kingdom:
Imperial College of Science, Technology and Medicine. Segunda Edición
SI
[13] Life Insurance Settlement Association LISA, Recuperado de: http://www.lisa.org/
S FÍ
[14] Loveridge L. (2008) “Physical and Geometric Interpretations of the Riemann tensor,
C S
Ricci Tensor, and Scalar Curvature” Recuperado de: http://arxiv.org/pdf/gr-
TI IA
qc/0401099.pdf
Á C
[15] Lyne, A. & Graham-Smith, F. (2012). Pulsar Astronomy. Cambridge: Cambridge
A
M EN
University Press.
[16] LSC, LIGO Scientific Collaboration. Recuperado de: http://www.ligo.org

I
TE C
[17] Martínez, A. (2007). “La curvatura de Riemann a través de la historia”. Valencia.

Miscelánea Matemática 44 (2007) 29-52. Recuperado de:
M DE
http://albertofest.matcuer.unam.mx/Misc44/Naveira_A_M.pdf.
[18] Montesdeoca A. (2004) “Geometría diferencial de Curvas y Superficies”.

Y A
Recuperado de: http://amontes.webs.ull.es/apuntes/gth.pdf

A
C
[19] Ni, W & Zimmermann, Phys. Rev. D 17, 1473 (1978)

TE
[20] Rakhmanov, Phys. Rev. D71, 084003 (2005)

O
[21] Schutz, B. & Ricci, F. (1999). “Gravitational Waves, Sources and Detectors”.
LI
Recuperado de: http://arxiv.org/abs/1005.4735, arXiv:1005.4735 [gr-qc]

IB
[22] Schutz, B. (2009). “A first Course in General Relativity”. Segunda Edición..

B
Cambridge: Cambridge University Press.
[23] Sjamaar R. (2006) “Manifolds and Differential forms” Cornell University,

Department of Mathematics, New York.
[24] TAMA. Recuperado de: http://tamago.mtk.nao.ac.jp/spacetime/tama300_e.html
[25] Thorne, K. “Gravitational Waves”. (1995). California Institute of Technology.

Recuperado de: http://arxiv.org/abs/gr-qc/9506086v1, arXiv:gr-qc/9506086v1
111
[26] Thorne, K., Misner, C. & Wheeler, J. (1973). “Gravitation”. San Francisco: W. H.
Freeman and Company.
[27] Van den brand, J. & Van Den Broeck, C. (2011). “General Relativity and
Gravitational Waves”. Recuperado de: http://master.particles.nl/LectureNotes/2011-
GW.pdf
S
A
C
SI
S FÍ
C S
TI IA
Á C
A
M EN
I
TE C
M DE
Y A
A
C
TE
O
LI
IB
B
112

RELATIVIDAD

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

RELATIVIDAD

Cargado por

Copyright:

Formatos disponibles

Biblioteca Digital - Dirección de Sistemas de Informática y Comunicación - UNT

“Las Ondas Gravitatorias en la Teoría de la Relatividad”

Cuba Quispe Katharine Ivette

PhD. Antonio Rivasplata Mendoza

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

1.9. Estructura de los coeficientes 24

1.11. Integración de formas 28

1.13. Curvas Geodésicas 33

1.13.1. La conexión Generalizada de Kozul 35

1.14. La Derivada de Lie 37

1.15. El Tensor de Curvatura de Riemann, el Tensor de Ricci y el Tensor de

2. Capítulo II: Relatividad General

2.2.Ecuaciones de campo de Einstein 44

principio variacional de Hilbert. 45

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

3. Capítulo III: Ondas Gravitatorias

4.2.1. Fuentes Detectables desde Tierra y el espacio. 103

4.2.1.1.Supernovas y Colapso Gravitatorio 103

4.2.1.2.Estrellas Binarias 104

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

Experimentalmente, tras muchos esfuerzos realizados por detectores de OG en tierra

encuentra la existencia de las Ondas gravitacionales indirectamente, este hallazgo se da a

es así entonces que la presente monografía contendrá cuatro capítulos introductorios: El

capítulo 1 nos da las herramientas matemáticas necesarias para entender la relatividad

campo de Einstein y la linealización de las mismas. En el capítulo 3 entramos a lo que es

presenta, superficialmente, la parte experimental de los detectores de ondas gravitatorias.

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

también resulta ser un vector.

También se denota a un vector por medio de la combinación lineal de sus

respectivas bases, por ejemplo representa sus módulos en una

direcciones arbitraria (donde ) y ̂ son los versores (o vectores base) que

representa la direcciones arbitrarias , en donde se proyecta el vector ; juntos en una

Por el convenio de sumación de Einstein1, podemos expresar una combinación

lineal de vectores e  de n términos como a  e  sin necesidad del símbolo “ ” de sumaria

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

Un grupo de vectores base linealmente independientes e  se

Los números reales υ  son llamados las componentes de v relativo a la base e   .

Los vectores linealmente independientes (dos como mínimo) pueden formar

anteriormente, se le atribuye el nombre de “base del espacio vectorial e  ”.

Se entiende por un uno-forma, como funciones lineales de dentro de , donde

es un espacio vectorial (ver figura 1.2-1). Es decir, un uno-forma actúa en un vector y

nos da como resultado un número real .

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

Á C  aα  ( v)  a α( v) (1.2.2)

Análogamente al espacio vectorial que lo expresamos a través de e   , es necesario

introducir una base de uno-formas ω   y sus respectivas componentes   para a partir de

estos poder definir todo el espacio de 1-formas. La base ω   es definida por:

  (e )   (1.2.3)

Expresando la uno-forma como una combinación lineal de la base de formas,

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

Por tanto α  v  se ejecuta mediante una operación conocida como la contracción o

α  v   α(υ e )  υ α(e )  υ  (1.2.8)

Un tensor de rango   es una función escalar de n uno-formas y n ' vectores que

es lineal en todos sus argumentos, es decir es un mapeado de un uno-forma y un vector en

vectores de rango   y los uno-formas de rango   . Diferenciamos entre tensores

covariantes, contravariantes y tensores mixtos.

“Las Ondas Gravitatorias en la Teoría de la Relatividad General”

Para escribir un tensor en su forma componente necesitamos una base tensorial. El

T  S (u1 ,..., um , v1 ,..., vn )  T ((u1,..., um ) S (v1,..., v n ) (1.3.1)

De la misma manera un tensor covariante y sus componentes se expresaran:

S 1... q  S(e1 ,..., eq ) (1.3.5)