13.06.2013 Views

Teorías Escalar-Tensor - Departamento de Física Teórica de la UAM

Teorías Escalar-Tensor - Departamento de Física Teórica de la UAM

Teorías Escalar-Tensor - Departamento de Física Teórica de la UAM

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

LA TEORÍA ESCALAR-TENSOR COMO UNA<br />

ALTERNATIVA PLAUSIBLE A LA RELATIVIDAD<br />

GENERAL<br />

JAVIER RUBIO PE ÑA


Abstract<br />

En este trabajo analizaré <strong>la</strong> teoría <strong>de</strong> Brans-Dicke tanto <strong>de</strong>s<strong>de</strong> un punto <strong>de</strong> vista histórico<br />

como formal, poniendo especial interés en dar una visión global <strong>de</strong> <strong>la</strong> misma y en comparar<strong>la</strong><br />

constantemente con <strong>la</strong> teoría re<strong>la</strong>tivista einsteniana. Abordaré <strong>la</strong>s polémicas existentes en lo<br />

que respecta a <strong>la</strong> convergencia hacia <strong>la</strong> teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General en un cierto límite,<br />

así como <strong>la</strong> equivalencia física entre los distintos frames en los que pue<strong>de</strong> expresarse, tema <strong>de</strong><br />

continuo <strong>de</strong>bate. Analizaré los tests clásicos <strong>de</strong> Re<strong>la</strong>tividad General en los regímenes <strong>de</strong> campo<br />

débil y fuerte <strong>de</strong>s<strong>de</strong> el punto <strong>de</strong> vista <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, poniendo especial énfasis<br />

en los resultados experimentales obtenidos hasta <strong>la</strong> fecha y en los que han <strong>de</strong> venir; incluiré<br />

a<strong>de</strong>más una exposición <strong>de</strong> nuevos efectos con respecto a re<strong>la</strong>tividad general tales como ondas<br />

esca<strong>la</strong>res y radiación dipo<strong>la</strong>r. Para finalizar expondré <strong>la</strong>s re<strong>la</strong>ciones existentes con <strong>la</strong> variación<br />

<strong>de</strong> <strong>la</strong>s constantes fundamentales <strong>de</strong> <strong>la</strong> naturaleza y como esta teoría aparece <strong>de</strong> forma natural<br />

e inevitable en algunas teorías unificadas como <strong>la</strong>s teorías <strong>de</strong> cuerdas en el límite <strong>de</strong> bajas<br />

energías.


Contents<br />

1 Marco teórico <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor 3<br />

1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />

1.2 Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />

1.3 La teoría <strong>de</strong> Brans-Dicke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />

1.3.1 El frame <strong>de</strong> Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />

1.3.2 El frame <strong>de</strong> Einstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />

1.3.3 El frame <strong>de</strong> Jordan VS el frame <strong>de</strong> Einstein . . . . . . . . . . . . . . . . 7<br />

1.3.4 La teoría <strong>de</strong> Brans-Dicke y el principio <strong>de</strong> Mach . . . . . . . . . . . . . 8<br />

1.3.5 La vio<strong>la</strong>ción <strong>de</strong>l principio <strong>de</strong> equivalencia fuerte . . . . . . . . . . . . . . 11<br />

1.3.6 El límite newtoniano y <strong>la</strong> <strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong>l campo esca<strong>la</strong>r <strong>de</strong> <strong>la</strong> constante<br />

gravitacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />

1.3.7 Teoría <strong>de</strong> Brans-Dicke e invarianza conforme. . . . . . . . . . . . . . . . 14<br />

1.4 Generalización en presencia <strong>de</strong> una constante cosmológica . . . . . . . . . . . . 15<br />

1.5 Soluciones aproximadas a <strong>la</strong> teoría <strong>de</strong> Brans-Dicke . . . . . . . . . . . . . . . . 16<br />

2 Efectos clásicos <strong>de</strong> GR en el sistema so<strong>la</strong>r <strong>de</strong>s<strong>de</strong> el punto <strong>de</strong> vista <strong>de</strong> BD 20<br />

2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />

2.2 Deflexión <strong>de</strong> <strong>la</strong> luz por el sol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />

2.3 La precesión <strong>de</strong> los periastros . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />

2.4 El retraso en el eco <strong>de</strong> radar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />

2.5 El efecto Lense-Thirring en <strong>la</strong>s teorías esca<strong>la</strong>r tensor . . . . . . . . . . . . . . . 22<br />

2.6 Cotas experimentales en el regimen <strong>de</strong> campo débil: Resumen <strong>de</strong> <strong>la</strong> situación<br />

actual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25<br />

3 Regimen <strong>de</strong> campo fuerte: el pulsar binario y <strong>la</strong> producción <strong>de</strong> ondas gravitacionales<br />

27<br />

3.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />

3.2 Ondas esca<strong>la</strong>res en <strong>la</strong> teoría esca<strong>la</strong>r tensor . . . . . . . . . . . . . . . . . . . . 27<br />

3.3 Ondas gravitacionales esca<strong>la</strong>res en co<strong>la</strong>psos tipo Oppenheimer-Sny<strong>de</strong>r . . . . . 29<br />

3.4 El pulsar binario y <strong>la</strong>s teorías esca<strong>la</strong>r-tensor . . . . . . . . . . . . . . . . . . . . 38<br />

3.5 Los dispositivos actuales y los que han <strong>de</strong> venir . . . . . . . . . . . . . . . . . . 42<br />

3.5.1 Gravity Prove B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42<br />

3.5.2 LISA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42<br />

3.5.3 GAIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43<br />

3.5.4 LIGO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44<br />

1


4 Re<strong>la</strong>ción con otras teorías mo<strong>de</strong>rnas 45<br />

4.1 Introduccíon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45<br />

4.2 Re<strong>la</strong>ción con <strong>la</strong> teoría <strong>de</strong> cuerdas . . . . . . . . . . . . . . . . . . . . . . . . . . 45<br />

4.3 <strong>Teorías</strong> esca<strong>la</strong>r tensor y cosmología . . . . . . . . . . . . . . . . . . . . . . . . . 47<br />

4.4 Variación <strong>de</strong> <strong>la</strong> constante gravitacional . . . . . . . . . . . . . . . . . . . . . . . 48<br />

4.4.1 Medidas <strong>de</strong> Viking y Lunar-Laser-Ranging . . . . . . . . . . . . . . . . 49<br />

4.4.2 Medidas realizadas utilizando los pulsares PSR 1913+16 y PSR 0655+64 49<br />

4.4.3 Medias basadas en <strong>la</strong> estructura y evolucion este<strong>la</strong>r . . . . . . . . . . . . 50<br />

4.4.4 Nucleosíntesis en el Big Bang . . . . . . . . . . . . . . . . . . . . . . . . 51<br />

4.4.5 Análisis <strong>de</strong> los datos y conclusión . . . . . . . . . . . . . . . . . . . . . . 51<br />

4.5 Resumen y conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52<br />

A Derivación <strong>de</strong> <strong>la</strong>s ecuaciones <strong>de</strong> los campos 53<br />

B Otros sistemas este<strong>la</strong>res para testar <strong>la</strong> re<strong>la</strong>tividad general 56<br />

B.1 El pulsar 4U1820-30 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56<br />

B.2 El pulsar 1744-24A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56<br />

B.3 El pulsar J1141-6545 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57<br />

2


Chapter 1<br />

Marco teórico <strong>de</strong> <strong>la</strong>s teorías<br />

esca<strong>la</strong>r-tensor<br />

1.1 Introducción<br />

“Imagination is more important than knowledge.<br />

Knowledge is limited. Imagination encircles the world”<br />

Albert Einstein<br />

“An i<strong>de</strong>a that is not dangerous<br />

is unworthy to be called an i<strong>de</strong>a”<br />

Elbert Hubbard<br />

Los campos esca<strong>la</strong>res han tenido una vida difícil en <strong>la</strong>s teorías <strong>de</strong> <strong>la</strong> gravedad, con gran cantidad<br />

<strong>de</strong> muertes y resurrecciones . La primera teoría <strong>de</strong> <strong>la</strong> gravedad <strong>de</strong> Newton constaba <strong>de</strong> un campo<br />

esca<strong>la</strong>r, por lo que fue natural para Einstein entre otros intentar incorporar <strong>la</strong> gravedad y <strong>la</strong><br />

re<strong>la</strong>tividad especial a una teoría esca<strong>la</strong>r. Este esfuerzo, infructuoso en su primer intento, fue sin<br />

embargo útil para marcar el camino hacia <strong>la</strong> re<strong>la</strong>tividad general (GR) <strong>de</strong> Einstein, una teoría<br />

puramente tensorial. Sin embargo, <strong>la</strong> i<strong>de</strong>a <strong>de</strong> un campo esca<strong>la</strong>r resucitó en <strong>la</strong> <strong>de</strong>cada <strong>de</strong> los<br />

60 <strong>de</strong> <strong>la</strong> mano <strong>de</strong> <strong>la</strong>s teorías <strong>de</strong> campos unificadas en cinco dimensiones estudiadas por Fierz<br />

y Jordan entre otros, así como <strong>de</strong> <strong>la</strong> hipótesis <strong>de</strong> gran<strong>de</strong>s números <strong>de</strong> Dirac. Posiblemente<br />

una <strong>de</strong> <strong>la</strong>s teorías más importantes y mejor motivadas en <strong>la</strong>s en <strong>la</strong>s cuales un campo esca<strong>la</strong>r<br />

comparte protagonismo con <strong>la</strong> gravitación es <strong>la</strong> teoría <strong>de</strong>sarrol<strong>la</strong>da por Brans-Dicke (BD) en<br />

1960. Dicha teoría fue, y todavía es, una <strong>de</strong> <strong>la</strong>s alternativas a <strong>la</strong> Re<strong>la</strong>tividad General (GR)<br />

más discutidas. A pesar <strong>de</strong> su casi medio siglo <strong>de</strong> existencia <strong>la</strong> teoría esca<strong>la</strong>r-tensor continua<br />

atrayendo los intereses no sólo <strong>de</strong> los teóricos sino también <strong>de</strong> los experimentales. Las razones<br />

para esto son varias. En primer lugar, <strong>la</strong>s teorías esca<strong>la</strong>r tensor son invariantes bajo un cierto<br />

grupo <strong>de</strong> transformaciones l<strong>la</strong>madas conformes, lo cual es una propiedad reminiscente <strong>de</strong> <strong>la</strong><br />

invarianza conforme <strong>de</strong> <strong>la</strong>s teorías <strong>de</strong> cuerdas. En segundo lugar, <strong>la</strong> teoría <strong>de</strong> Brans-Dicke<br />

pue<strong>de</strong> obtenerse como <strong>de</strong>rivación <strong>de</strong> una teoría <strong>de</strong> Kaluza-Klein en <strong>la</strong> cual el campo esca<strong>la</strong>r es<br />

generado por <strong>la</strong> presencia <strong>de</strong> dimensiones extras compactificadas, un aspecto esencial <strong>de</strong> todas<br />

<strong>la</strong>s teorías unificadas mo<strong>de</strong>rnas. Por último , pero no por ello menos importante, se encuentra<br />

el renovado interés por estas teorías con respecto a sus aplicaciones cosmológicas; se cree que <strong>la</strong><br />

convergencia <strong>de</strong> <strong>la</strong> <strong>la</strong> teoría <strong>de</strong> BD a <strong>la</strong> re<strong>la</strong>tividad general pudo ocurrir durante <strong>la</strong> era dominada<br />

por materia , o incluso durante <strong>la</strong> fase inf<strong>la</strong>cionaria <strong>de</strong>l universo temprano.<br />

3


1.2 Transformaciones conformes<br />

Para enten<strong>de</strong>r los <strong>de</strong>sarrollos posteriores y sus implicaciones es necesario establecer <strong>de</strong>s<strong>de</strong> un<br />

punto <strong>de</strong> vista formal el concepto <strong>de</strong> transformación conforme. Supongamos 2 espacios-tiempo<br />

M, ˜ M con métricas gµν, ˜gµν en los que se usan <strong>la</strong>s mismas coor<strong>de</strong>nadas x µ . Diremos que ambos<br />

espacios son conformes si están re<strong>la</strong>cionados por <strong>la</strong> transformación conforme:<br />

˜gµν = Ω 2 (x)gµν<br />

don<strong>de</strong> Ω, que recibe el nombre <strong>de</strong> factor conforme, <strong>de</strong>be ser una función dos veces diferenciable<br />

<strong>de</strong> <strong>la</strong>s coor<strong>de</strong>nadas y permanecer en el rango 0 < Ω < ∞. Las transformaciones conformes<br />

estiran o encogen <strong>la</strong>s distancias entre los dos puntos <strong>de</strong>scritos por <strong>la</strong>s mismas coor<strong>de</strong>nadas x µ<br />

en los espacios M, ˜ M, pero preservando los ángulos entre vectores (en particu<strong>la</strong>r los vectores<br />

<strong>de</strong> tipo luz que <strong>de</strong>finen los conos <strong>de</strong> luz). Si tomamos Ω constante nos encontramos con <strong>la</strong>s l<strong>la</strong>madas<br />

transformaciones <strong>de</strong> esca<strong>la</strong>. De hecho po<strong>de</strong>mos ver <strong>la</strong>s transformaciones conformes como<br />

transformaciones <strong>de</strong> esca<strong>la</strong> localizadas. En un espacio tiempo <strong>de</strong> 4 dimensiones el <strong>de</strong>terminante<br />

<strong>de</strong> <strong>la</strong> métrica g =| <strong>de</strong>t gµν | se transforma como:<br />

˜g = Ω 4 √ g. (1.2)<br />

Es obvio <strong>de</strong> <strong>la</strong> <strong>de</strong>finición <strong>de</strong> transformaciones conformes que:<br />

Por último <strong>de</strong>finimos p<strong>la</strong>nitud conforme como:<br />

˜g µν = Ω −2 g µν<br />

(1.1)<br />

(1.3)<br />

d˜s 2 = Ω 2 ds 2 . (1.4)<br />

˜gµνΩ −2 (x) = gµν ≡ ηµν<br />

Con todo esto es fácil ver que <strong>la</strong> conexión afín se transforma como:<br />

<br />

˜Γ λ µν = Γ λ µν + 1<br />

Ω<br />

<br />

g λ µΩ,ν + g λ ν Ω,µ − gµνg λκ Ω,κ<br />

Del mismo modo el tensor y esca<strong>la</strong>r <strong>de</strong> Ricci se transforman según:<br />

y el operador d’A<strong>la</strong>mbertian:<br />

(1.5)<br />

(1.6)<br />

˜Rµν = Rµν + Ω −2 [4Ω,µΩ,ν − Ω,σΩ ,σ gµν] − Ω −1 [2Ω;µν + ✷Ωgµν] (1.7)<br />

1.3 La teoría <strong>de</strong> Brans-Dicke<br />

˜R = Ω −2<br />

<br />

R − 6 ✷Ω<br />

<br />

Ω<br />

∼<br />

✷ φ = Ω −2<br />

<br />

µν Ω,µ<br />

✷φ + 2g<br />

Ω φ,ν<br />

<br />

La forma <strong>de</strong> introducir <strong>la</strong> teoría <strong>de</strong> Brans-Dicke varía <strong>de</strong> unos autores a otros; unos prefieren<br />

introducir<strong>la</strong> <strong>de</strong>s<strong>de</strong> un punto <strong>de</strong> vista histórico basándose en <strong>la</strong>s i<strong>de</strong>as <strong>de</strong> Brans-Dicke; otros, en<br />

cambio prefieren, <strong>de</strong>s<strong>de</strong> un punto <strong>de</strong> vista más mo<strong>de</strong>rno, introducir <strong>la</strong> acción <strong>de</strong> Brans-Dicke<br />

directamente. Ambas <strong>de</strong> estas formu<strong>la</strong>ciones tienen, a mi enten<strong>de</strong>r, sus ventajas e inconvenientes;<br />

por este motivo optaré por un p<strong>la</strong>nteamiento intermedio entre ambas; daré una visión<br />

mo<strong>de</strong>rna <strong>de</strong>l problema, pero intentando no <strong>de</strong>scuidar <strong>la</strong> física más básica que se escon<strong>de</strong> bajo<br />

esa formu<strong>la</strong>ción.<br />

4<br />

(1.8)<br />

(1.9)


Figure 1.1: Brans (izquierda) y Dicke (<strong>de</strong>recha) p<strong>la</strong>ntearon por primera vez en 1961 una teoría<br />

<strong>de</strong> <strong>la</strong> gravitación alternativa a <strong>la</strong> einsteniana que incluía <strong>la</strong> existencia <strong>de</strong> un campo esca<strong>la</strong>r<br />

adicional al tensor métrico.<br />

1.3.1 El frame <strong>de</strong> Jordan<br />

Las teorías esca<strong>la</strong>r-tensor tienen su origen en los años 50. Pascual Jordan estaba intrigado por<br />

<strong>la</strong> aparición <strong>de</strong> un nuevo campo esca<strong>la</strong>r en <strong>la</strong>s teorías <strong>de</strong> tipo Kaluza-Klein, y especialmente<br />

en su posible papel como una constante gravitacional generalizada. Sabemos que <strong>la</strong> teoría <strong>de</strong><br />

<strong>la</strong> gravitación <strong>de</strong>be ser una teoría métrica, ya que esta es <strong>la</strong> forma más sencil<strong>la</strong> <strong>de</strong> incluir el<br />

principio <strong>de</strong> equivalencia. Sin embargo nada nos impi<strong>de</strong> suponer ingredientes adicionales al<br />

tensor métrico. La propuesta más sencil<strong>la</strong> es un campo esca<strong>la</strong>r.<br />

Recor<strong>de</strong>mos que <strong>la</strong> re<strong>la</strong>tividad general utiliza <strong>la</strong> acción más sencil<strong>la</strong> para el campo gravitacional:<br />

<br />

SG = d 4 x √ gR (1.10)<br />

A<strong>de</strong>más sabemos que <strong>la</strong> acción <strong>de</strong> un campo esca<strong>la</strong>r es:<br />

<br />

Sφ = d 4 x √ <br />

g − 1<br />

2 (∂φ)2 <br />

− V (φ)<br />

(1.11)<br />

Si suponemos ahora acoplos no mínimos entre ambos campos, <strong>la</strong> acción generalizada se pue<strong>de</strong><br />

escribir como:<br />

<br />

S = d 4 x √ <br />

g f(φ)R − 1<br />

2 (∂φ)2 <br />

− V (φ) + 16π d 4 x √ gLM (1.12)<br />

El tratamiento anterior es <strong>de</strong> caracter formal, pues no hemos mostrado <strong>la</strong> forma exacta <strong>de</strong> <strong>la</strong><br />

función f(φ). Si suponemos<br />

f(φ) = 1<br />

8ω φ2 = Φ (1.13)<br />

y tomamos V (φ) = 0 y ω = cte obtenemos <strong>la</strong> acción que encontraron Brans y Dicke en 1961<br />

(frame <strong>de</strong> Jordan) :<br />

SJBD = 1<br />

<br />

16π<br />

d 4 x √ <br />

g ΦR − ω<br />

Φ gµν <br />

∂µΦ∂νΦ + SM, (1.14)<br />

Es importante seña<strong>la</strong>r que aunque en un principio Jordan admitió un campo esca<strong>la</strong>r que<br />

estuviera incluido en el <strong>la</strong>grangiano <strong>de</strong> materia, Brans y Dicke no lo hicieron, puesto que sólo<br />

<strong>de</strong> esta forma es posible preservar el principio <strong>de</strong> equivalencia débil (WEP), <strong>la</strong>s ecuaciones <strong>de</strong><br />

5


movimiento <strong>de</strong> <strong>la</strong> materia en un campo gravitacional no se ven modificadas pues <strong>de</strong>pen<strong>de</strong>n solo<br />

<strong>de</strong> <strong>la</strong> métrica g y no <strong>de</strong>l esca<strong>la</strong>r Φ.<br />

El análogo a <strong>la</strong>s ecuaciones <strong>de</strong> evolucion <strong>de</strong> Einstein es (veáse el Apéndice A):<br />

Rµν − 1<br />

2 Rgµν = 8π<br />

Φ T M µν + ω<br />

Φ 2<br />

<br />

DµΦDνΦ − 1<br />

2 gµν ✷Φ<br />

<br />

+ 1<br />

Φ (DµDνΦ − gµν✷Φ) (1.15)<br />

El <strong>la</strong>do izquierdo <strong>de</strong> esta ecuación nos es completamente familiar y no necesita comentario alguno.<br />

El primer término <strong>de</strong>l <strong>la</strong>do <strong>de</strong>recho es el término fuente usual <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad<br />

general, pero con el parámetro <strong>de</strong> acoplo Φ −1 . Por tanto, <strong>la</strong>s ecuaciones <strong>de</strong> movimiento <strong>de</strong> una<br />

masa en una métrica dada son <strong>la</strong>s mismas que en <strong>la</strong> re<strong>la</strong>tividad general. El segundo término<br />

es el tensor energía momento <strong>de</strong>l campo esca<strong>la</strong>r acop<strong>la</strong>do también con Φ −1 . Por último, el<br />

tercer término es nuevo y proviene <strong>de</strong> <strong>la</strong> presencia <strong>de</strong> segundas <strong>de</strong>rivadas <strong>de</strong>l tensor métrico,<br />

que son eliminadas al integrar por partes para dar una divergencia y los términos extras. Estos<br />

términos extras son esenciales para garantizar <strong>la</strong> conservación <strong>de</strong>l tensor energía momento. El<br />

<strong>la</strong>do <strong>de</strong>recho <strong>de</strong> <strong>la</strong> ecuación tiene,como sabemos por <strong>la</strong>s i<strong>de</strong>ntida<strong>de</strong>s <strong>de</strong> Bianchi divergencia<br />

nu<strong>la</strong>. Usando estas y <strong>la</strong> i<strong>de</strong>ntidad<br />

(D ν Φ)Rµν = ✷(DµΦ) − Dµ(✷Φ) (1.16)<br />

obtenemos que el tensor energía momento es conservado, T µν<br />

nueva ecuación <strong>de</strong> onda para Φ será:<br />

✷Φ =<br />

8π M<br />

T<br />

(3 + 2ω)<br />

M;ν<br />

= 0, como era <strong>de</strong> esperar. La<br />

(1.17)<br />

Es <strong>de</strong>cir, el campo esca<strong>la</strong>r sólo <strong>de</strong>pen<strong>de</strong> <strong>de</strong> <strong>la</strong> traza <strong>de</strong>l tensor energía-momento asociado a <strong>la</strong><br />

materia, y por tanto en <strong>la</strong> distribución espacial <strong>de</strong> materia, <strong>de</strong> acuerdo con el principio <strong>de</strong> Mach<br />

(ver sección 1.4).<br />

Es conveniente, por motivos que veremos mas a<strong>de</strong><strong>la</strong>nte, introducir una notación ligeramente<br />

diferente <strong>de</strong> <strong>la</strong> que utilizaron Brans y Dicke. Sea:<br />

Φ = 1<br />

2 ξφ2 , ɛξ −1 = 4ω, ɛ = Sign(ω), ξ > 0. (1.18)<br />

Con esta notación <strong>la</strong> acción <strong>de</strong> Brans-Dicke se escribe:<br />

SJBD = 1<br />

<br />

d<br />

16π<br />

4 x √ <br />

1<br />

g<br />

2 ξφ2R − ɛ 1<br />

2 gµν <br />

∂µφ∂νφ<br />

+ SM, (1.19)<br />

acción a <strong>la</strong> que volveremos más a<strong>de</strong><strong>la</strong>nte, cuando hablemos <strong>de</strong> cuerdas. En alguna ocasión me<br />

referire a esta forma <strong>de</strong> escribir <strong>la</strong> acción como el frame <strong>de</strong> cuerdas.<br />

1.3.2 El frame <strong>de</strong> Einstein<br />

La acción <strong>de</strong> Brans-Dicke en el frame <strong>de</strong> Jordan viene, como hemos visto dada por:<br />

S = 1<br />

<br />

16π<br />

d 4 x <br />

˜g ˜R ˜ Φ − ω<br />

˜Φ ∂µ Φ∂µ<br />

˜ ˜ <br />

Φ + SM[Ψm, ˜gµν], (1.20)<br />

Siempre po<strong>de</strong>mos realizar una transformación conforme (ver siguiente apartado para ver una<br />

justificación <strong>de</strong> esto),<br />

6


˜gµν = Ω 2 (φ)gµν, (1.21)<br />

Ω(φ) ≡ exp(a(φ)) . (1.22)<br />

don<strong>de</strong> el parámetro a <strong>de</strong>pen<strong>de</strong> linealmente <strong>de</strong> φ. Haciendo ahora una re<strong>de</strong>finición <strong>de</strong> <strong>la</strong>s<br />

cantida<strong>de</strong>s<br />

α0(φ) ≡<br />

∂ ln Ω(φ)<br />

∂ φ<br />

Ω 2 (φ) = 1<br />

˜Φ<br />

≡<br />

∂ a(φ)<br />

∂ φ =<br />

(1.23)<br />

1<br />

, (1.24)<br />

(2ω + 3) 1/2<br />

escribimos <strong>la</strong> acción en el conocido como frame <strong>de</strong> Einstein<br />

S = 1<br />

<br />

√g µν<br />

[R − 2g ∂µφ∂νφ] + SM[Ψm, Ω<br />

16π<br />

2 (φ)gµν], (1.25)<br />

Las ecuaciones <strong>de</strong> los campos se escriben en este frame como:<br />

Gµν = Rµν − 1<br />

2 Rgµν<br />

<br />

= 8πTµν + 2 φ,µφ,ν − 1<br />

2 gµνg αβ <br />

φ, αφ,β , (1.26)<br />

✷φ = −4πα0(φ)T, (1.27)<br />

Merece <strong>la</strong> pena hacer una serie <strong>de</strong> reflexiones acerca <strong>de</strong> los dos frames antes mencionados.<br />

En el frame <strong>de</strong> Jordan el acoplo <strong>de</strong>l campo Φ a <strong>la</strong> materia es indirecto, en el sentido <strong>de</strong> que<br />

sólo interacciona indirectamente con <strong>la</strong> materia al modificar <strong>la</strong> forma <strong>de</strong>l espacio-tiempo en <strong>la</strong><br />

que esta se mueve. Se eligen <strong>la</strong>s masas visibles ( el <strong>la</strong>grangiano se pue<strong>de</strong> generalizar e incluir<br />

materia oscura, <strong>de</strong> ahí lo <strong>de</strong> visible) constantes por conveniencia y porque estas partícu<strong>la</strong>s<br />

visibles siguen así geodésicas <strong>de</strong> <strong>la</strong> métrica.<br />

En el frame <strong>de</strong> Einstein, en cambio, el campo esca<strong>la</strong>r Φ aparece como un campo adicional<br />

que se acop<strong>la</strong> directamente a <strong>la</strong> materia y cuyo efecto es alterar <strong>la</strong> masa en reposo <strong>de</strong> <strong>la</strong>s<br />

partícu<strong>la</strong>s que constituyen dicha materia, es <strong>de</strong>cir, <strong>la</strong>s masas <strong>de</strong> <strong>la</strong>s partícu<strong>la</strong>s son variables.<br />

Des<strong>de</strong> este punto <strong>de</strong> vista, el hecho <strong>de</strong> que <strong>la</strong>s partícu<strong>la</strong>s <strong>de</strong> materia no sigan geodésicas <strong>de</strong> <strong>la</strong><br />

métrica <strong>de</strong> Einstein pue<strong>de</strong> interpretarse en cierta manera como consecuencia <strong>de</strong> <strong>la</strong> interacción<br />

entre <strong>la</strong> materia y el campo esca<strong>la</strong>r Φ , <strong>de</strong> forma análoga a <strong>la</strong> <strong>de</strong>sviación <strong>de</strong> <strong>la</strong>s trayectorias <strong>de</strong><br />

partícu<strong>la</strong>s cargadas en presencia <strong>de</strong> un campo magnético.<br />

1.3.3 El frame <strong>de</strong> Jordan VS el frame <strong>de</strong> Einstein<br />

Los frames <strong>de</strong> Jordan y Eistein aparecen a menudo en <strong>la</strong> literatura y en gran cantidad <strong>de</strong><br />

ocasiones enfrentados. Se afirma a menudo que existen diferencias entre ambos frames [25, 26,<br />

27, 28, 30, 31, 32, 33, 34, 35, 36], llegandose a afirmar que sólo uno <strong>de</strong> los frames se correspon<strong>de</strong><br />

con un frame físico. Nada más lejos <strong>de</strong> <strong>la</strong> realidad. Los autores que afirman esto, como<br />

Vollick [25], se basan en <strong>la</strong> i<strong>de</strong>a <strong>de</strong> que dos teorías fisicas diferentes pue<strong>de</strong>n ser equivalentes<br />

matemáticamente sin serlo fisicamente. Esta afirmación no es <strong>de</strong>l todo <strong>de</strong>scabel<strong>la</strong>da y pue<strong>de</strong><br />

ser cierta en algunos contextos muy restringidos. Como primer ejemplo, sea T1 el mo<strong>de</strong>lo<br />

estándar <strong>de</strong> <strong>la</strong> física <strong>de</strong> particu<strong>la</strong>s, y sea T2 el mo<strong>de</strong>lo estándar pero con los papeles “izquierda”<br />

y “<strong>de</strong>recha” cambiados. Según esto T1 y T2 diferirán <strong>de</strong>bido a <strong>la</strong> vio<strong>la</strong>ción <strong>de</strong> paridad en <strong>la</strong><br />

interacción débil. Son equivalentes ambas teorías?. C<strong>la</strong>ramente lo son matematicamente, ya<br />

7


que los estados <strong>de</strong> T1 se correspon<strong>de</strong>n uno a uno con los estados <strong>de</strong> T2. Por otro <strong>la</strong>do, <strong>de</strong>s<strong>de</strong><br />

el siguiente punto <strong>de</strong> vista, no son equivalentes. Siempre po<strong>de</strong>mos elegir objetos exteriores a<br />

<strong>la</strong> teoría para <strong>de</strong>finir los conceptos <strong>de</strong> izquierda y <strong>de</strong>recha (por ejemplo, molecu<strong>la</strong>s orgánicas<br />

quirales, cuya quiralidad se basa en algún acci<strong>de</strong>nte histórico); con respecto a este estándar <strong>la</strong><br />

teoría T1 sería correcta mientras que T2 no estaría <strong>de</strong> acuerdo con los experimentos.<br />

Sin embargo, existe un segundo punto <strong>de</strong> vista, según el cual <strong>la</strong>s teorías T1 y T2 son fisicamente<br />

equivalentes. La diferencia entre ambas teorías se basa en un criterio arbitrario <strong>de</strong><br />

lo que es izquierda y <strong>de</strong>recha. Si nosotros tuvieramos que testar un mo<strong>de</strong>lo <strong>de</strong> partícu<strong>la</strong>s <strong>de</strong><br />

una civilización alienígena , no sabríamos su convenio para <strong>de</strong>recha e izquierda , y diríamos <strong>de</strong><br />

forma natural que el mo<strong>de</strong>lo sería correcto si existe algúna elección tal que <strong>la</strong> teoría esta <strong>de</strong><br />

acuerdo con los experimentos. Des<strong>de</strong> este punto <strong>de</strong> vista, una teoría estaría <strong>de</strong> acuerdo con los<br />

experimentos si existe algúna elección <strong>de</strong> convenio tal que, <strong>la</strong>s predicciones <strong>de</strong> <strong>la</strong> teoría están<br />

<strong>de</strong> acuerdo con los experimentos. Respectivamente, una teoría solo pue<strong>de</strong> ser consi<strong>de</strong>rada falsa<br />

si existe un <strong>de</strong>sacuerdo con los experimentos bajo todas <strong>la</strong>s elecciones <strong>de</strong> convenios.<br />

El segundo contexto en el que <strong>la</strong> afirmación <strong>de</strong> Vollick pue<strong>de</strong> tener sentido es cuando se da<br />

una especificación incompleta <strong>de</strong> una teoría física. En particu<strong>la</strong>r esto ocurre si <strong>la</strong> teoría constituye<br />

una parte <strong>de</strong> una teoría mayor, y si <strong>la</strong>s interacciones en dicha teoría mayor <strong>de</strong>terminan<br />

algunas <strong>de</strong> <strong>la</strong>s convenciones usadas en <strong>la</strong> interpretación <strong>de</strong> <strong>la</strong> teoría más pequeña. Un ejemplo<br />

c<strong>la</strong>ro <strong>de</strong> esto es el electromagnetismo. Si consi<strong>de</strong>ramos un electromagnetismo libre <strong>de</strong> fuentes,<br />

este es matematicamente equivalente a una teoría dual en <strong>la</strong> cual los papeles <strong>de</strong> los campos<br />

magnéticos y eléctricos hayan sido intercambiados. Sin embargo esta equivalencia matemática<br />

no es física, ya que si exten<strong>de</strong>mos <strong>la</strong> teoría para incluir acoplos a campos cargados existen<br />

cargas eléctricas, pero no monopolos magnéticos.<br />

La conclusión a <strong>la</strong> que llegamos con todo lo anterior es que, si dos teorías son fisicamente<br />

equivalentes lo serán también fisicamente, siempre y cuando (i) <strong>la</strong>s convenciónes arbitrarias en<br />

<strong>la</strong> interpretación <strong>de</strong> <strong>la</strong> teoría no sean fijas y (ii) <strong>la</strong> teoría sea completa y contenga todos los<br />

grados <strong>de</strong> libertad que están involucrados en <strong>la</strong>s medidas re<strong>la</strong>cionadas con <strong>la</strong> teoría. La acción<br />

más general <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor es completa y contiene todos los grados <strong>de</strong> libertad<br />

relevantes, y por tanto, según hemos discutido arriba, todas <strong>la</strong>s representaciones conformes son<br />

fisicamente equivalentes.<br />

A<strong>de</strong>más <strong>de</strong> lo anteriormente expuesto, po<strong>de</strong>mos utilizar otros argumentos para mostrar que<br />

los frames <strong>de</strong> Einstein y Jordan son equivalentes. Cuando nosotros elegimos un frame conforme<br />

estamos eligiendo un sistema <strong>de</strong> unida<strong>de</strong>s, como ya indicó Dicke en 1961! [37].Cuando<br />

cambiamos <strong>de</strong> un sistema <strong>de</strong> unida<strong>de</strong>s a otro, el cociente entre <strong>la</strong> antigua unidad <strong>de</strong> longitud<br />

y <strong>la</strong> nueva es generalmente una constante , in<strong>de</strong>pendiente <strong>de</strong>l espacio y <strong>de</strong>l tiempo; es <strong>de</strong>cir,<br />

<strong>la</strong> elección <strong>de</strong> un frame conforme no es más que una elección <strong>de</strong> unida<strong>de</strong>s físicas, una simple<br />

convención humana!. Los distintos frames, hab<strong>la</strong>ndo vagamente, pue<strong>de</strong>n consi<strong>de</strong>rarse por<br />

tanto como distintas normalizaciones <strong>de</strong> <strong>la</strong> teoría y son observacionalmente indistinguibles, a<br />

diferencia <strong>de</strong> lo que se afirma normalmente en <strong>la</strong> literatura.<br />

“Never attribute to malice that which can be a<strong>de</strong>quately exp<strong>la</strong>ined by stupidity”<br />

1.3.4 La teoría <strong>de</strong> Brans-Dicke y el principio <strong>de</strong> Mach<br />

Como se dijo, fueron Brans y Dicke los primeros que obtuvieron <strong>la</strong> acción (1.14), pero lo<br />

hicieron <strong>de</strong> un modo muy distinto al que se ha mostrado aquí, utilizando el principio <strong>de</strong> Mach.<br />

El problema arranca <strong>de</strong>l enfrentamiento entre Newton y Leibnitz. Como es sabido, <strong>la</strong>s leyes <strong>de</strong><br />

Newton estan siempre referidas a sistemas <strong>de</strong> referencia l<strong>la</strong>mados inerciales. La cuestión es como<br />

8


<strong>de</strong>terminar dichos sistemas. Para Newton <strong>la</strong> respuesta era simple: Existe un espacio absoluto<br />

y los sistemas inerciales son los que están en reposo o en movimiento uniforme con respecto a<br />

dicho espacio absoluto. Por el contrario <strong>la</strong> opinión <strong>de</strong> Leibnitz era que no <strong>de</strong>bía ser necesario<br />

<strong>de</strong>finir un espacio con in<strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong> los objetos materiales. El filósofo austriaco Ersnt Mach<br />

el primero en atacar <strong>de</strong> forma constructiva el espacio absoluto <strong>de</strong> Newton. Mach p<strong>la</strong>nteó <strong>la</strong><br />

i<strong>de</strong>a heurística <strong>de</strong> que el fenómeno <strong>de</strong> inercia se <strong>de</strong>be a <strong>la</strong>s aceleraciones con respecto a <strong>la</strong><br />

distribución <strong>de</strong> masas <strong>de</strong>l Universo. Las masas inerciales <strong>de</strong> <strong>la</strong>s diversas partícu<strong>la</strong>s elementales<br />

no serían constantes fundamentales, sino que representarían <strong>la</strong> interacción <strong>de</strong> <strong>la</strong>s partícu<strong>la</strong>s con<br />

algún tipo <strong>de</strong> campo cósmico. Pero, puesto que <strong>la</strong>s masas inerciales <strong>de</strong> <strong>la</strong>s partícu<strong>la</strong>s solo se<br />

pue<strong>de</strong>n <strong>de</strong>terminar midiendo <strong>la</strong> ace<strong>la</strong>ración gravitacional, una conclusión equivalente es que <strong>la</strong><br />

constante <strong>de</strong> gravitación Universal G <strong>de</strong>bería estar re<strong>la</strong>cionada con el valor medio <strong>de</strong> un campo<br />

esca<strong>la</strong>r Φ, acop<strong>la</strong>do a <strong>la</strong> <strong>de</strong>nsidad <strong>de</strong> masa <strong>de</strong>l Universo. Haciendo uso <strong>de</strong> esta suposición Brans<br />

y Dicke formu<strong>la</strong>ron <strong>la</strong> teoría que lleva su nombre y que es exactamente <strong>la</strong> misma a <strong>la</strong> presentada<br />

aquí utilizando el principio variacional.<br />

Lo que queremos <strong>de</strong>stacar con <strong>la</strong> exposición anterior, es que <strong>la</strong> teoría <strong>de</strong> Brans-Dicke cumple<br />

por construcción el principio <strong>de</strong> Mach, a diferencia <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General, a pesar <strong>de</strong><br />

<strong>la</strong>s intenciones <strong>de</strong> Einstein. Einstein consi<strong>de</strong>ró este principio <strong>de</strong> gran importancia e intento<br />

incorporarlo a <strong>la</strong> Re<strong>la</strong>tividad General, como nos indican <strong>la</strong>s siguientes afirmaciones <strong>de</strong> Einstein<br />

dirigidas a Mach en noviembre <strong>de</strong> 1915, cuando estaba a punto <strong>de</strong> obtener <strong>la</strong> formu<strong>la</strong>ción<br />

estandar <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad general:<br />

” If so, then your happy investigations on the foundations of mechanics, P<strong>la</strong>nck’s<br />

unjustified criticism notwithstandig, will receive brilliant confirmation. For it necessarily<br />

turns our that inertia originates in a kind of interaction between bodies,<br />

quite in the sense of your consi<strong>de</strong>rations on Newton’s pail experiment. The first<br />

consequence is on p.6 of my paper. The following additional points emerge: (1) If<br />

one accelerates a heavy shell of matter S, then a mass enclosed by that shell experiences<br />

an accelerative force. (2) If one rotates the shell re<strong>la</strong>tive to the fixed stars<br />

about an axis going through its center a Coriolis force arises in the interior of the<br />

shell; that is, the p<strong>la</strong>ne of a Foucault pendulum is dragged around . . . ”<br />

Sin embargo, que <strong>la</strong> teoría Einsteniana <strong>de</strong> <strong>la</strong> gravitación no sea por construcción una teoría<br />

“machiana”, no implica necesariamente que <strong>la</strong> teoría y sus resultados no presenten rasgos<br />

“machianos”. A menudo se afirma en <strong>la</strong> literatura que <strong>la</strong> Re<strong>la</strong>tividad General no satisface el<br />

principio <strong>de</strong> Mach. Esta cuestión <strong>de</strong>be p<strong>la</strong>ntearse con cuidado, pues son muchas <strong>la</strong>s interpretaciones<br />

<strong>de</strong> dicho principio que se han dado a lo <strong>la</strong>rgo <strong>de</strong> <strong>la</strong> historia. Dichas interpretaciones se<br />

muestran en <strong>la</strong> tab<strong>la</strong> 1.1. El lector interesado, podrá encontrar un excelente review sobre el<br />

tema en <strong>la</strong>s referencias [7] y [8].<br />

Cierto es que <strong>la</strong> re<strong>la</strong>tividad general no es “machiana”, en el sentido <strong>de</strong> que <strong>la</strong> constante<br />

gravitacional G no es dinámica y se satisface el principio <strong>de</strong> equivalencia fuerte (SEP), a<br />

diferencia <strong>de</strong> lo que ocurre, por ejemplo, en <strong>la</strong>s teorías esca<strong>la</strong>r-tensor. Sin embargo, algunas<br />

<strong>de</strong> <strong>la</strong>s predicciones <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad general satisfacen c<strong>la</strong>ramente el principio <strong>de</strong> Mach en su<br />

interpretación Mach 3 <strong>de</strong> <strong>la</strong> tab<strong>la</strong> 1.1; sirva <strong>de</strong> ejemplo el, <strong>de</strong> sobra conocido, efecto Lense-<br />

Thirring, que nos muestra <strong>la</strong> influencia <strong>de</strong>l movimiento cósmico y <strong>de</strong> <strong>la</strong> distribución <strong>de</strong> materia<br />

sobre los sistemas <strong>de</strong> referencia.<br />

9


Interpretación <strong>de</strong>l Lo satisface GR?<br />

Principio <strong>de</strong> Mach<br />

EA EC<br />

Mach 1 La constante gravitacional No No<br />

es un campo dinámico<br />

Mach 2 En el espacio vacío un cuerpo No No<br />

ais<strong>la</strong>do no tiene inercia<br />

Mach 3 Los sistemas <strong>de</strong> referencia<br />

locales se ven afectados por Si<br />

el movimiento cósmico y <strong>la</strong><br />

distribución <strong>de</strong> materia<br />

Mach 4 El Universo es cerrado ? ?<br />

Mach 5 La energía, momento angu<strong>la</strong>r No Sí<br />

y lineal <strong>de</strong>l Universo son cero<br />

Mach 6 La masa inercial se ve afectada No No<br />

por <strong>la</strong> distribución <strong>de</strong> materia<br />

Mach 7 Si <strong>de</strong>saparece <strong>la</strong> materia no No No<br />

habría espacio<br />

Mach 8 La teoría no contiene elementos No Sí<br />

absolutos<br />

Table 1.1: La tab<strong>la</strong> superior muestra algunas <strong>de</strong> <strong>la</strong>s posibles interepretaciones <strong>de</strong>l principio <strong>de</strong><br />

Mach. C<strong>la</strong>ramente algunas <strong>de</strong> el<strong>la</strong>s son verificadas en re<strong>la</strong>tividad general. La teoría Einsteniana<br />

<strong>de</strong> <strong>la</strong> gravitación es “machiana” en el sentido <strong>de</strong> esas proposiciones , a pesar <strong>de</strong> no serlo en lo<br />

que respecta a <strong>la</strong> interpretación dada por Brans y Dicke <strong>de</strong>l principio <strong>de</strong> Mach.<br />

10


1.3.5 La vio<strong>la</strong>ción <strong>de</strong>l principio <strong>de</strong> equivalencia fuerte<br />

Tanto <strong>la</strong> Re<strong>la</strong>tividad General como <strong>la</strong> teoría <strong>de</strong> Brans-Dicke son teorías “puramente dinámicas”,<br />

en el sentido <strong>de</strong> que <strong>la</strong> estructura y evolución <strong>de</strong> los campos gravitacionales viene <strong>de</strong>terminada<br />

por ecuaciones <strong>de</strong> campo en <strong>de</strong>rivadas parciales 1 . La teoría <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad es una teoría<br />

dinámica, puesto que contiene unicamente el campo gravitacional, <strong>la</strong> métrica en si misma, y<br />

su estructura y evolución estan gobernadas por <strong>la</strong>s ecuaciones <strong>de</strong> Einstein. La teoría <strong>de</strong> Brans-<br />

Dicke es también puramente dinámica, puesto que <strong>la</strong> ecuación <strong>de</strong> campo para <strong>la</strong> métria incluye<br />

también el campo esca<strong>la</strong>r, y viceversa.<br />

Des<strong>de</strong> este punto <strong>de</strong> vista, es posible establecer algunas conclusiones <strong>de</strong> caracter general sobre<br />

<strong>la</strong> naturaleza <strong>de</strong> <strong>la</strong> gravedad en diferentes teorías métricas, conclusiones que son reminiscentes<br />

<strong>de</strong>l principio <strong>de</strong> equivalencia <strong>de</strong> Einstein, pero a <strong>la</strong>s que daremos un nuevo nombre, el Principio<br />

<strong>de</strong> Equivalencia Fuerte.<br />

Consi<strong>de</strong>remos un sistema referencial local en caída libre en cualquier teoría métrica <strong>de</strong> <strong>la</strong><br />

gravedad. Supongamos que este referencial es lo suficientemente pequeño como para que <strong>la</strong>s<br />

inhomogeneida<strong>de</strong>s en los campos gravitacionales externos puedan ser <strong>de</strong>spreciadas. El sistema<br />

pue<strong>de</strong> ser una extrel<strong>la</strong>, un agujero negro, el sistema so<strong>la</strong>r, o un experimento <strong>de</strong> Cavendish.<br />

L<strong>la</strong>memos a este sistema “referencial <strong>de</strong> Lorentz cuasilocal”. Para <strong>de</strong>terminar el comportamiento<br />

<strong>de</strong>l sistema <strong>de</strong>bemos calcu<strong>la</strong>r <strong>la</strong> métrica. El cálculo proce<strong>de</strong> en dos etapas. Primero,<br />

<strong>de</strong>terminamos el comportamiento externo <strong>de</strong> <strong>la</strong> métrica y los campos gravitacionales, estableciendo<br />

valores en <strong>la</strong> frontera para los campos generados por el sistema local, en una frontera<br />

<strong>de</strong>l referencial cuasilocal “lejos” <strong>de</strong>l sistema local. Segundo, resolveremos <strong>la</strong>s ecuaciones <strong>de</strong><br />

campo generadas por el sistema local. Pero, <strong>de</strong>bido a que <strong>la</strong> métrica es acop<strong>la</strong>da, directa o<br />

indirectamente, a los <strong>de</strong>mas campos <strong>de</strong> <strong>la</strong> teoría su estructura y evolución estará influenciada<br />

por estos campos, particu<strong>la</strong>rmente por los valores tomados por estos campos en <strong>la</strong> frontera<br />

lejos <strong>de</strong>l sistema local. Esto será cierto incluso si trabajamos en un sistema <strong>de</strong> coor<strong>de</strong>nadas<br />

en el cual <strong>la</strong> forma asintótica <strong>de</strong> <strong>la</strong> métrica en <strong>la</strong> frontera entre el sistema local y el mundo<br />

exterior sea <strong>la</strong> métrica <strong>de</strong> Minkowski. Por tanto, el entorno gravitacional en el cual resi<strong>de</strong> el<br />

sistema local pue<strong>de</strong> influenciar <strong>la</strong> métrica generada por el sistema local a través <strong>de</strong> los valores<br />

en <strong>la</strong> frontera <strong>de</strong> los campos auxiliares. En consecuencia, los resultados <strong>de</strong> los experimentos <strong>de</strong><br />

los experimentos gravitacionales pue<strong>de</strong>n <strong>de</strong>pen<strong>de</strong>r <strong>de</strong> <strong>la</strong> localización y velocidad <strong>de</strong>l referencial<br />

re<strong>la</strong>tiva al entorno externo. Por supuesto, los experimentos locales no gravitacionales no son<br />

afectados puesto que los campos gravitacionales que generan se asumen que son <strong>de</strong>spreciables,<br />

y puesto que estos experimentos se acop<strong>la</strong>n solo a <strong>la</strong> métrica cuya forma pue<strong>de</strong> siempre hacerso<br />

Minkowskiana totalmente. Po<strong>de</strong>mos ahora hacer varios afirmaciones sobre algunos tipos <strong>de</strong><br />

teorías 2 :<br />

(a) Una teoría que contiene sólo <strong>la</strong> métrica g da lugar a una física gravitacional local que es in<strong>de</strong>pendiente<br />

<strong>de</strong> <strong>la</strong> localización y velocidad <strong>de</strong>l sistema local, ya que el único campo que se acop<strong>la</strong><br />

al entorno externo es <strong>la</strong> métrica, y siempre es posible encontrar un sistema <strong>de</strong> coor<strong>de</strong>nadas en el<br />

cual <strong>la</strong> métrica adopta <strong>la</strong> forma Minkowskiana en <strong>la</strong> frontera. Por tanto, los valores asintoticos<br />

<strong>de</strong> <strong>la</strong> métrica son constantes, con in<strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong> <strong>la</strong> localización, y <strong>de</strong> forma asintótica invariantes<br />

Lorentz, y por tanto in<strong>de</strong>pendientes <strong>de</strong> <strong>la</strong> velocidad. La Re<strong>la</strong>tividad General pertenece a<br />

este tipo <strong>de</strong> teorías.<br />

(b) Una teoría que contiene <strong>la</strong> métrica y un campo esca<strong>la</strong>r dinámico φ, como es el caso <strong>de</strong><br />

1 Existen otras teorías que contienen “elementos absolutos”, campos o ecuaciones cuya estructura y evolución<br />

vienen dadas a priori y son in<strong>de</strong>pendientes <strong>de</strong> <strong>la</strong> estructura y evolución <strong>de</strong> los otros campos <strong>de</strong> <strong>la</strong> teoría, un<br />

ejemplo <strong>de</strong> esto sería <strong>la</strong> teoría bimétrica <strong>de</strong> Rosen.<br />

2 Me centraré solo en <strong>la</strong>s dos que nos interesan.<br />

11


<strong>la</strong> teoría <strong>de</strong> Brans-Dicke, da lugar a una física gravitacional local que pue<strong>de</strong> <strong>de</strong>pen<strong>de</strong>r <strong>de</strong> <strong>la</strong><br />

localización <strong>de</strong>l sistema, pero que es in<strong>de</strong>pendiente <strong>de</strong> <strong>la</strong> velocidad <strong>de</strong>l mismo 3 . Esto se <strong>de</strong>be<br />

a <strong>la</strong> invarianza asintótica Lorenzt <strong>de</strong> <strong>la</strong> métrica <strong>de</strong> Minkowiski y <strong>de</strong> los campos esca<strong>la</strong>res, salvo<br />

que ahora, los valores asintóticos <strong>de</strong> los campos esca<strong>la</strong>res pue<strong>de</strong>n <strong>de</strong>pen<strong>de</strong>r <strong>de</strong> <strong>la</strong> localización<br />

<strong>de</strong>l sistema. En el caso <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, el comportamiento asintótico <strong>de</strong>l campo<br />

esca<strong>la</strong>r <strong>de</strong>termina el valor <strong>de</strong> <strong>la</strong> constante gravitacional.<br />

Las i<strong>de</strong>as anteriores se pue<strong>de</strong>n resumir en el <strong>de</strong>nominado Principio <strong>de</strong> Equivalencia Fuerte,<br />

o SEP en sus sig<strong>la</strong>s inglesas, que establece:<br />

(1) El principio <strong>de</strong> equivalencia débil WEP es válido para cuerpos autogravitantes así como<br />

para particu<strong>la</strong>s prueba (WEP).<br />

(2) El resultado <strong>de</strong> cualquier experimento local es in<strong>de</strong>pendiente <strong>de</strong> <strong>la</strong> velocidad <strong>de</strong>l aparato<br />

(en caída libre).<br />

(3) El resultado <strong>de</strong> cualquier experimento local es in<strong>de</strong>pendiente <strong>de</strong> cuando y don<strong>de</strong> sea realizado<br />

La diferencia existente entre el SEP y el EEP es <strong>la</strong> inclusión <strong>de</strong> cuerpos con interacciones autogravitacionales<br />

(p<strong>la</strong>netas, estrel<strong>la</strong>s) y <strong>de</strong> experimentos que involucren fuerzas gravitacionales.<br />

La discusión que hemos presentado anteriormente nos indica que, si el Principio <strong>de</strong> Equivalencia<br />

Fuerte es válido, entonces so<strong>la</strong>mente pue<strong>de</strong> existir un campo gravitacional en el universo,<br />

<strong>la</strong> métrica. No obstante nuestros argumentos son so<strong>la</strong>mente sugestivos, y no existe en <strong>la</strong> actualidad<br />

ninguna prueba rigurosa <strong>de</strong> esta afirmación.<br />

C<strong>la</strong>ramente <strong>la</strong> teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad satisface por construcción el Principio <strong>de</strong> Equivalencia<br />

Fuerte, pues incluye sólo <strong>la</strong> métrica, <strong>de</strong> hecho es <strong>la</strong> única teoría métrica que lo hace! 4 . En<br />

el momento que incluimos algún tipo <strong>de</strong> campo auxiliar el Principio <strong>de</strong> Equivalencia Fuerte es<br />

vio<strong>la</strong>do, tal es el caso <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor, y por tanto <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke. Una<br />

manifestación “práctica”<strong>de</strong> esta vio<strong>la</strong>ción <strong>de</strong> SEP <strong>la</strong> veremos cuando hablemos <strong>de</strong> <strong>la</strong> producción<br />

<strong>de</strong> radiación dipo<strong>la</strong>r.<br />

1.3.6 El límite newtoniano y <strong>la</strong> <strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong>l campo esca<strong>la</strong>r <strong>de</strong> <strong>la</strong> constante<br />

gravitacional<br />

En los apartados anteriores hemos expresado en varias ocasiones que en <strong>la</strong> teoría <strong>de</strong> Brans-<br />

Dicke <strong>la</strong> “constante gravitacional” G no es constante, sino que su valor <strong>de</strong>pen<strong>de</strong> <strong>de</strong>l valor<br />

que toma el campo Φ (o el parámetro ω). Son varias <strong>la</strong>s formas <strong>de</strong> llegar a <strong>la</strong> expresión <strong>de</strong><br />

esta “’constante gravitacional’. Yo he elegido una <strong>de</strong>mostración basada en <strong>la</strong> obtención <strong>de</strong>l<br />

correcto límite newtoniano ya que es muy ilustrativa, y me permite introducir el concepto<br />

<strong>de</strong> aproximación <strong>de</strong> campo débil que usaremos más a<strong>de</strong><strong>la</strong>nte. Para tomar contacto con <strong>la</strong>s<br />

3 Nótese que he dicho “pue<strong>de</strong>” y no “<strong>de</strong>be”, pues existen teorías esca<strong>la</strong>r tensor, en <strong>la</strong>s cuales mediante elecciones<br />

<strong>de</strong>terminadas <strong>de</strong> <strong>la</strong> función ω(φ) es posible retornar al caso anterior, como por ejemplo <strong>la</strong> Teoría <strong>de</strong> G constante<br />

<strong>de</strong> Barker.<br />

4 Existen intentos <strong>de</strong> renormalizar <strong>la</strong> teoría cuántica <strong>de</strong> <strong>la</strong> gravedad mediante <strong>la</strong> inclusión en <strong>la</strong> acción <strong>de</strong><br />

términos que eliminen los infinitos no renormalizables. Estos términos son <strong>de</strong> or<strong>de</strong>n cuadrático o superior en el<br />

tensor <strong>de</strong> Riemann, el <strong>de</strong> Ricci, o el esca<strong>la</strong>r <strong>de</strong> curvatura:<br />

S = (16π) −1 R + aRr + bRµνR µν + cRµναβR µναβ (g) 1/2 d 4 x. (1.28)<br />

Podría parecer que, puesto que <strong>la</strong> teoría contiene so<strong>la</strong>mente en campo gravitacional gµν, contradice nuestra<br />

afirmación <strong>de</strong> que <strong>la</strong> Re<strong>la</strong>tividad General es <strong>la</strong> única teoría que satisface el SEP. No obstante, en <strong>la</strong> mayoría <strong>de</strong><br />

<strong>la</strong>s teorías <strong>de</strong> este tipo, <strong>la</strong>s constante a,b y c ( unida<strong>de</strong>s <strong>de</strong> longitud al cuadrado ) tienen tamaños que varían entre<br />

<strong>la</strong> esca<strong>la</strong> <strong>de</strong> P<strong>la</strong>nck, 10 −33 cm y <strong>la</strong>s dimensiones nucleares 10 −13 cm, <strong>de</strong> forma que los efectos observables <strong>de</strong> estos<br />

términos se encuentran restringidos a <strong>la</strong>s interacciones <strong>de</strong> <strong>la</strong>s partícu<strong>la</strong>s elementales o al Universo temprano.<br />

12


ecuaciones <strong>de</strong> Newton es necesario consi<strong>de</strong>rar campo estáticos y débiles y que <strong>la</strong> velocidad <strong>de</strong><br />

<strong>la</strong>s partícu<strong>la</strong>s es no re<strong>la</strong>tivista. De forma matemática consi<strong>de</strong>raremos perturbaciones lineales<br />

<strong>de</strong> <strong>la</strong> metrica <strong>de</strong> Minkowski ηµν y <strong>de</strong> un campo esca<strong>la</strong>r constante Φ0.<br />

gµν = ηµν + hµν, (1.29)<br />

Φ = Φ0 + δΦ. (1.30)<br />

don<strong>de</strong> hµν y δΦ son cantida<strong>de</strong>s pequeñas.<br />

Con esta aproximación <strong>la</strong>s ecuaciones <strong>de</strong> los campos 1.26 y 1.27 se pue<strong>de</strong>n reescribir como:<br />

don<strong>de</strong><br />

✷δΦ = 8π<br />

T, (1.31)<br />

3 + 2ω0<br />

2R (1)<br />

µν = ✷ 2 hµν + h λ λ,µ,ν − hλ µ,λ,ν − hλν,λ,µ = 16πSµν<br />

(1.32)<br />

Sµν = Φ −1<br />

<br />

0<br />

Tµν − ηµν<br />

1 + ω<br />

3 + 2ω T<br />

<br />

+ 1<br />

8π Φ−1<br />

0 δΦ,µ,ν (1.33)<br />

a primer or<strong>de</strong>n en hµν y δΦ. R (N)<br />

µν <strong>de</strong>nota el término en Rµν que es <strong>de</strong> or<strong>de</strong>n N en hµν. Debido<br />

a <strong>la</strong>s i<strong>de</strong>ntida<strong>de</strong>s <strong>de</strong> Bianchi <br />

Rµν − 1<br />

2 Rgµν<br />

<br />

;ν<br />

= 0 (1.34)<br />

existen cuatro grados <strong>de</strong> libertad que no estan univocamente especificados por <strong>la</strong>s ecuaciones<br />

tensoriales <strong>de</strong> los campos. Consequentemente, tenemos a nuestra disposición cuatro condiciones,<br />

o gauges, <strong>de</strong> <strong>la</strong>s que po<strong>de</strong>mos sacar un gran partido. Por inspección <strong>de</strong> 1.32 y 1.33 se<br />

pue<strong>de</strong> ver que el término que involucra δΦ pue<strong>de</strong> eliminarse si hacemos<br />

h λ λ,µ,ν − hλ µ,λ,ν − hλ ν,λ,µ<br />

Para conseguir esto basta con elegir el gauge 5<br />

h λ µ,λ<br />

= −2Φ−1<br />

0 δΦ,µ,ν. (1.35)<br />

1<br />

−<br />

2 hλλ,µ = Φ−1 0 δφ,µ (1.36)<br />

condicion que, inci<strong>de</strong>ntalmente, tien<strong>de</strong> al l<strong>la</strong>mado gauge harmónico cuando el campo esca<strong>la</strong>r<br />

δΦ tien<strong>de</strong> a cero. La ecuación <strong>de</strong>l campo 1.32 se escribe en este gauge <strong>de</strong> una manera mucho<br />

más sencil<strong>la</strong><br />

✷ 2 hµν = 16πΦ −1<br />

<br />

1 + ω<br />

0 Tµν − ηµν<br />

3 + 2ω T<br />

<br />

. (1.37)<br />

A pesar <strong>de</strong> lo que parece los campos esca<strong>la</strong>r y tensor siguen estando acop<strong>la</strong>dos (como <strong>de</strong>be<br />

ser) mediante <strong>la</strong> imposicion <strong>de</strong>l gauge . Consi<strong>de</strong>remos ahora un sistema muy simple <strong>de</strong> presión<br />

nu<strong>la</strong>. Sea<br />

= −ρ. (1.38)<br />

Tµν = diag (ρ, 0, 0, 0) −→ T λ λ<br />

5 Para ver esto basta con tomar <strong>la</strong> <strong>de</strong>rivada <strong>de</strong> 1.3.6 con respecto a x ν ,obteniendo<br />

h λ µ,λ,ν − 1<br />

2 hλ λ,µ,ν = Φ −1<br />

0 δφ,µ,ν.<br />

Intercambiando ahora µ y ν y utilizando <strong>la</strong> conmutatividad <strong>de</strong> <strong>la</strong>s <strong>de</strong>rivadas parciales<br />

h λ ν,λ,µ − 1<br />

2 hλ λ,µ,ν = Φ −1<br />

0 δφ,µ,ν.<br />

Sumando <strong>la</strong>s dos expresiones anteriores y cambiando <strong>de</strong> signo se obtiene 1.3.6.<br />

13


La ecuación 1.37 con ∂0 = ∂t = 0 se escribe<br />

✷h 2 00 = ∇h00 = 16πΦ −1<br />

0 ρ<br />

<br />

2 + ω<br />

. (1.39)<br />

3 + 2ω<br />

Para una distribución general, pero localizada, ρ(x), tenemos<br />

h00 = 4Φ −1<br />

<br />

2 + ω<br />

0 3 + 2ω<br />

d 3 x ′ ρ( x ′ )<br />

| x ′ − x|<br />

∼= 4Φ −1<br />

<br />

2 + ω M<br />

0<br />

, (1.40)<br />

3 + 2ω r<br />

don<strong>de</strong> | x ′ − x| ∼ = r y M ≡ d 3 x ′ ρ( x ′ ). Sustituyendo ahora en <strong>la</strong> expresión 1.29<br />

g00 = η00 + h00 = −1 + 2M<br />

r Φ−1 0<br />

Puesto que queremos obtener el correcto límite newtoniano<br />

4 + 2ω<br />

. (1.41)<br />

3 + ω<br />

g00 −→ −1 + 2GM<br />

. (1.42)<br />

r<br />

Comparando <strong>la</strong>s expresiones 1.41 y 1.42 vemos que Φ0 y G estan re<strong>la</strong>cionadas por<br />

Φ0 = 1<br />

G<br />

4 + 2ω<br />

3 + 2ω<br />

<br />

. (1.43)<br />

Nótese que cuando ω −→ ∞, Φ −1<br />

0 −→ G, y <strong>la</strong> teoría <strong>de</strong> Brans-Dicke tien<strong>de</strong> a <strong>la</strong> Re<strong>la</strong>tividad<br />

General. Los límites <strong>de</strong> esta convergencia serán tratados en <strong>la</strong> siguiente sección.<br />

1.3.7 Teoría <strong>de</strong> Brans-Dicke e invarianza conforme.<br />

Otro <strong>de</strong> los aspectos más controvertidos <strong>de</strong> <strong>la</strong> literatura, a<strong>de</strong>más <strong>de</strong> <strong>la</strong> equivalencia física entre<br />

los frames <strong>de</strong> Jordan y Einstein, es <strong>la</strong> convergencia <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke a <strong>la</strong> re<strong>la</strong>tividad<br />

general en el límite ω → ∞ cuando el tensor energía momento se anu<strong>la</strong> T = 0. Basándonos en<br />

<strong>la</strong>s propieda<strong>de</strong>s conformes <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, intentaremos en esta sección dar una<br />

explicación <strong>de</strong> <strong>la</strong> convergencia a GR en ese límite y daremos también algunos contraejemplos<br />

a <strong>la</strong> creencia extendida <strong>de</strong> que toda solución con T = 0 converge siempre a <strong>la</strong> solución <strong>de</strong><br />

re<strong>la</strong>tividad general.<br />

Sea SBD <strong>la</strong> acción <strong>de</strong> Brans-Dicke en el frame <strong>de</strong> Jordan:<br />

SJBD = 1<br />

16π<br />

<br />

d 4 x √ g<br />

<br />

ΦR − ω<br />

Φ gµν <br />

∂µΦ∂νΦ<br />

+ SM, (1.44)<br />

don<strong>de</strong> SM es <strong>la</strong> parte <strong>de</strong> <strong>la</strong> acción asociada a <strong>la</strong> materia y que es in<strong>de</strong>pendiente, como justificamos,<br />

<strong>de</strong>l campo esca<strong>la</strong>r Φ.<br />

Olvidémonos por el momento <strong>de</strong> <strong>la</strong> parte asociada a <strong>la</strong> materia y concentrémonos en <strong>la</strong> parte<br />

puramente gravitacional. Si aplicamos una transformación conforme:<br />

gµν −→ ˜gµν = Ω 2 gµν<br />

(1.45)<br />

don<strong>de</strong> Ω(xα ) es una función dos veces diferenciable distinta <strong>de</strong> cero. Aplicando los resultados<br />

<strong>de</strong> <strong>la</strong> sección 1.2, <strong>la</strong> parte gravitacional <strong>de</strong> <strong>la</strong> acción se escribe:<br />

<br />

<br />

√ <br />

LBD g = ˜g<br />

(1.46)<br />

Ω −2 Φ ˜ R − 6ΦΩ ω<br />

+<br />

Ω5 Ω2Φ ˜gµνDµΦDνΦ 14


Si suponemos ahora una transformación <strong>de</strong> <strong>la</strong> forma:<br />

Ω = Φ α<br />

con α = 1/2 ,y re<strong>de</strong>finiendo el campo esca<strong>la</strong>r como:<br />

<strong>la</strong> acción gravitacional se escribe:<br />

√ <br />

LBD g = −˜g<br />

Φ −→ ˜ Φ = Φ 1−2α<br />

<br />

˜Φ ˜ R + ˜ω<br />

˜Φ ˜gµνDµ ˜ ΦDν ˜ <br />

Φ<br />

(1.47)<br />

(1.48)<br />

(1.49)<br />

con<br />

ω − 6α (α − 1)<br />

˜ω =<br />

(1 − 2α) 2<br />

(1.50)<br />

Como vemos <strong>la</strong> acción no asociada a <strong>la</strong> materia permanece invariante bajo una transformación<br />

Fα consistente en un cambio <strong>de</strong> esca<strong>la</strong> y un cambio <strong>de</strong>l campo esca<strong>la</strong>r para α = 1/2. Dicho <strong>de</strong><br />

otra forma, <strong>la</strong>s transformaciones<br />

<br />

Fα : M, g (ω)<br />

µν , Φ (ω)<br />

<br />

−→ M, ˜g (˜ω)<br />

µν , ˜ Φ (˜ω)<br />

(1.51)<br />

<br />

mapean el espacio <strong>de</strong> Brans-Dicke M, g (ω)<br />

µν , Φ (ω)<br />

<br />

en otro espacio <strong>de</strong>l mismo tipo; ambos<br />

espacios contituyen una misma c<strong>la</strong>se equivalente E. Nótese que <strong>la</strong>s transformaciones Fα constituyen<br />

un grupo abeliano <strong>de</strong> simetrías con una singu<strong>la</strong>ridad en α = 1/2. Es importante <strong>de</strong>stacar<br />

que, cuando <strong>la</strong> parte <strong>de</strong> <strong>la</strong> acción asociada a <strong>la</strong> distribución <strong>de</strong> materia SM es incluida en el<br />

tratamiento anterior, <strong>la</strong> invarianza conforme es vio<strong>la</strong>da. Esto es fácil <strong>de</strong> ver sin más que darse<br />

cuenta <strong>de</strong> que, <strong>de</strong>s<strong>de</strong> un punto <strong>de</strong> vista físico, una teoría que contenga masas tendrá también<br />

una esca<strong>la</strong> <strong>de</strong> masas asociada y por tanto no será invariante bajo cambios <strong>de</strong> esca<strong>la</strong>. Una vez<br />

hecha esta observación es c<strong>la</strong>ro que siempre que T= 0 <strong>la</strong> teoría será invariante bajo transformaciones<br />

conformes. El argumento previo nos permite enten<strong>de</strong>r por que <strong>la</strong> teoría <strong>de</strong> Brans-Dicke<br />

no se reduce a <strong>la</strong> re<strong>la</strong>tividad general en el límite ω → ∞ si T = 0. Como vimos un cambio<br />

en el parámetro <strong>de</strong> Brans-Dicke ω → ˜ω es equivalente a una transformación Fα para un cierto<br />

valor <strong>de</strong>l parámetro α. En particu<strong>la</strong>r uno pue<strong>de</strong> consi<strong>de</strong>rar un cambio en el parámetro tal que<br />

˜ω ≫ 1 (esto es posible ya que <strong>la</strong> función ˜ω(α) tiene un polo en α = 1/2), lo cual pue<strong>de</strong> verse<br />

como un caso equivalente al limite ω → ∞ , en el cual se espera recuperar <strong>la</strong> re<strong>la</strong>tividad general.<br />

Según los argumentos, previos este límite simplemente mueve el espacio <strong>de</strong> Brans-Dicke<br />

M, g (ω)<br />

µν , φ (ω)<br />

<br />

<strong>de</strong>ntro <strong>de</strong> <strong>la</strong> c<strong>la</strong>se equivalente E; y puesto que <strong>la</strong> re<strong>la</strong>tividad general no es una<br />

teoría invariante conforme [4] y por tanto no pertenece a dicha c<strong>la</strong>se, concluimos que no pue<strong>de</strong><br />

ser obtenida a partir <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke si T = 0. Es conveniente <strong>de</strong>stacar que <strong>la</strong><br />

condicion T = 0 no es una condición necesaria ni suficiente para que <strong>la</strong>s soluciones exactas<br />

en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke se reduzcan a <strong>la</strong>s correspondientes soluciones <strong>de</strong> <strong>la</strong>s ecuaciones <strong>de</strong><br />

Einstein. Existen <strong>de</strong> hecho ciertas soluciones con T = 0 que no se reducen a <strong>la</strong>s soluciones<br />

re<strong>la</strong>tivistas generales cuando ω → ∞, como serían por ejemplo los problemas con simetría<br />

cilíndrica [21].<br />

1.4 Generalización en presencia <strong>de</strong> una constante cosmológica<br />

El mó<strong>de</strong>lo propuesto por Brans y Dicke en 1961 es un buen mó<strong>de</strong>lo teórico para empezar, pero<br />

<strong>de</strong>be sin embargo ser revisado en presencia <strong>de</strong> <strong>la</strong> constante cosmológica, un ingrediente fundamental<br />

para enten<strong>de</strong>r el universo acelerado. Nosotros no haremos un tratamiento exhaustivo<br />

15


<strong>de</strong> esto aquí, pero por completitud exponemos a continuación los resultados que se obtienen si<br />

tenemos en cuenta <strong>la</strong> constante cosmológica.<br />

La acción para una teoría esca<strong>la</strong>r-tensor que tenga en cuenta <strong>la</strong> constante cosmológica será<br />

Sλ = 1<br />

<br />

d<br />

16π<br />

4 x √ <br />

g ΦR − ω(Φ)<br />

Φ gµν <br />

∂µΦ∂νΦ + 2Φλ(Φ) + SM (1.52)<br />

don<strong>de</strong> λ(Φ) es <strong>la</strong> función cosmológica y don<strong>de</strong> hemos hecho ω = ω(Φ) para mayor generalidad.<br />

Las ecuaciones <strong>de</strong> campo para g son:<br />

Rµν− 1<br />

2 Rgµν−λ(Φ)gµν = 8π<br />

Φ T M µν + ω(Φ)<br />

Φ2 <br />

DµΦDνΦ − 1<br />

2 gµν<br />

<br />

✷Φ + 1<br />

Φ (DµDνΦ−gµν✷Φ) (1.53)<br />

La función cosmológica juega por tanto el mismo papel que <strong>la</strong> constante cosmológica en Re<strong>la</strong>tividad<br />

General. Teniendo en cuenta esto, <strong>la</strong> ecuación para Φ se escribe:<br />

✷Φ + 2Φ2 <br />

dλ/dΦ − 2Φλ(Φ) 1<br />

=<br />

8πT<br />

2ω(Φ) + 3 (2ω(Φ) + 3)<br />

M − dω<br />

<br />

µ<br />

ΦµΦ (1.54)<br />

dΦ<br />

La función cosmológica otorga un rango l re<strong>la</strong>cionado con λ,ω y sus <strong>de</strong>rivadas, en el sentido<br />

<strong>de</strong> que <strong>la</strong>s soluciones para Φ contiene términos tipo Yukawa exp(−r/l), es <strong>de</strong>cir, el alcance<br />

<strong>de</strong>l campo Φ sería limitado. Una vez hecha estas ac<strong>la</strong>raciones supondremos que, salvo que se<br />

indique lo contrario, <strong>la</strong> función cosmológica no juega ningún papel.<br />

1.5 Soluciones aproximadas a <strong>la</strong> teoría <strong>de</strong> Brans-Dicke<br />

Al igual que hacíamos con <strong>la</strong> teoría <strong>de</strong> Einstein es conveniente <strong>de</strong>sarrol<strong>la</strong>r <strong>la</strong> teoría <strong>de</strong> Brans-<br />

Dicke en términos <strong>de</strong> los parámetros postnewtonianos α,β y γ. Serán <strong>la</strong>s medidas experimentales<br />

<strong>de</strong> estos parámetros <strong>la</strong>s que nos permitirán averiguar si <strong>la</strong> teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General<br />

es <strong>la</strong> verda<strong>de</strong>ra teoría <strong>de</strong> <strong>la</strong> gravitación o si, por el contrario, lo es cualquier otra, entre el<strong>la</strong>s <strong>la</strong><br />

teoría <strong>de</strong> Brans-Dicke.<br />

Consi<strong>de</strong>remos <strong>la</strong> métrica <strong>de</strong> Schwarzschild<br />

ds 2 = −<br />

<br />

1 − 2GM<br />

r<br />

<br />

dt 2 +<br />

<br />

1 − 2GM<br />

−1 dr<br />

r<br />

2 + r 2 dΩ 2<br />

(1.55)<br />

que en coor<strong>de</strong>nadas isotrópicas ( aquel<strong>la</strong>s en <strong>la</strong>s que <strong>la</strong> distancia espacial es proporcional a <strong>la</strong><br />

distancia euclí<strong>de</strong>a)<br />

se escribe<br />

ρ = 1<br />

<br />

r − GM +<br />

2<br />

r2 <br />

− 2GMr −→ r = ρ 1 + GM<br />

2 2ρ<br />

ds 2 = −<br />

2 2ρ − GM<br />

dt<br />

2ρ + GM<br />

2 <br />

+ 1 − GM<br />

4 dρ2 2 2<br />

+ ρ dΩ<br />

2ρ<br />

<br />

(1.56)<br />

(1.57)<br />

El teorema <strong>de</strong> Birkhoff es generalizable a <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, y por tanto, esta teoría<br />

generará también soluciones estáticas y esfericamente simétricas en el vacio. Esto nos permite<br />

<strong>de</strong>sarrol<strong>la</strong>r <strong>la</strong> métrica en términos <strong>de</strong> una cantidad pequeña, por ejemplo, ɛ ∼ v2 ∼ GM/ρ<br />

ds 2 = −<br />

<br />

1 − 2α GM<br />

ρ<br />

<br />

GM<br />

+ 2β<br />

ρ<br />

2<br />

+ . . .<br />

<br />

dt 2 <br />

+ 1 + 2γ GM<br />

ρ<br />

16<br />

<br />

dρ2 2 2<br />

+ . . . + ρ dΩ , (1.58)


don<strong>de</strong> α, β y γ,. . . son parámetros adimensionales <strong>de</strong>sconocidos, y que a menudo se <strong>de</strong>nominan<br />

parámetros <strong>de</strong> Eddington o parámetros postnewtonianos. Como dijimos <strong>la</strong> medición <strong>de</strong> estos<br />

parámetros nos permitirá discernir cual <strong>de</strong> todas <strong>la</strong>s posibles teorías <strong>de</strong> <strong>la</strong> gravitación es <strong>la</strong><br />

correcta. En <strong>la</strong> tab<strong>la</strong> 1.2 se resume el conjunto <strong>de</strong> los 10 parámetros <strong>de</strong> <strong>la</strong> aproximación<br />

postnewtoniana indicándose su interpetración física (el formato original se tomó <strong>de</strong> los trabajos<br />

<strong>de</strong> Will [3]). Escribamos <strong>la</strong> expresión 1.55 en términos <strong>de</strong> <strong>la</strong> coor<strong>de</strong>nada original r. Hacemos<br />

por tanto<br />

<br />

r = ρ 1 + γ GM<br />

ρ<br />

con lo que <strong>la</strong> métrica se escribe<br />

ds 2 <br />

= − 1 − 2α GM<br />

<br />

GM<br />

+ 2 (β − αγ)<br />

r r<br />

<br />

+ . . . −→ ρ = r 1 − γ GM<br />

r<br />

2<br />

+ . . .<br />

<br />

dt 2 <br />

+ 1 + 2γ GM<br />

r<br />

Por último, po<strong>de</strong>mos construir coor<strong>de</strong>nadas armónicas X [2], <strong>de</strong>finidas como<br />

<br />

+ . . . , (1.59)<br />

<br />

+ . . . dr 2 + r 2 dΩ 2 ,<br />

(1.60)<br />

X1 = R sin θ cos ϕ (1.61)<br />

X2 = R sin θ sin ϕ (1.62)<br />

X3 = R cos θ (1.63)<br />

don<strong>de</strong> R satisface <strong>la</strong> siguiente ecuación diferencial<br />

d<br />

dr r2<br />

<br />

1 − (α + γ) MG<br />

<br />

dR<br />

+ . . . − 2 1 − (α − γ)<br />

r dr GM<br />

r<br />

que tiene por solución<br />

R =<br />

<br />

(α − 3γ)GM<br />

1 +<br />

2r<br />

<br />

+ . . . , (1.64)<br />

<br />

+ . . . r (1.65)<br />

Con esto, el elemento <strong>de</strong> línea se escribe<br />

ds 2 <br />

= − 1 − 2α GM<br />

R + αγ − α 2 + 2β G2M 2<br />

R2 <br />

+ . . . dt 2<br />

<br />

<br />

(3γ − α)GM<br />

+ 1 + + . . . dX<br />

R<br />

2 (α − γ)GM/R + . . .<br />

+<br />

R2 (X dX) 2<br />

Tomando α ≡ 1, tenemos<br />

g00 = − 2GM<br />

r<br />

P P N(1)<br />

(1.66)<br />

g00 = (γ − 1 + 2β) G2M 2<br />

r2 P P N(2) (1.68)<br />

GM<br />

gij = −(3γ − 1)δij + (1 − γ)GMxixj<br />

r r3 P P N(1).<br />

Por otro <strong>la</strong>do, si <strong>de</strong>sarrol<strong>la</strong>mos <strong>la</strong>s ecuaciones <strong>de</strong> campo <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke hasta el<br />

mismo or<strong>de</strong>n [2], se tiene 6<br />

g00 = − 2GM<br />

r<br />

P P N(1)<br />

6 He <strong>de</strong>cidido no incluir todo el <strong>de</strong>sarrollo puesto que no aporta nada nuevo. De todas formas, el cálculo<br />

completo se encuentra en el libro <strong>de</strong> Weinberg. Nuestro resultado es idéntico al mismo salvo <strong>la</strong> signatura <strong>de</strong> <strong>la</strong><br />

métrica.<br />

17


Valor<br />

en teorías-<br />

Que mi<strong>de</strong> Valor totalmente<br />

Parametro en re<strong>la</strong>ción a GR en GR conservativas<br />

γ Que cantidad <strong>de</strong> curvatura 1 γ<br />

se produce por unidad <strong>de</strong> masa?<br />

β Que cantidad <strong>de</strong> ‘no linearidad’ 1 β<br />

hay en <strong>la</strong> ley <strong>de</strong> superposición<br />

para <strong>la</strong> gravedad?<br />

ξ Efectos localización preferida? 0 ξ<br />

α1 Efectos sistemas preferidos? 0 0<br />

α2 0 0<br />

α3 0 0<br />

α3 Vio<strong>la</strong>ción <strong>de</strong> <strong>la</strong> conservación 0 0<br />

ζ1 <strong>de</strong>l momento total? 0 0<br />

ζ2 0 0<br />

ζ3 0 0<br />

ζ4 0 0<br />

Table 1.2: Los parámetros PPN y su significado ( α3 se ha mostrado dos veces para indicar<br />

que mi<strong>de</strong> ambos efectos).<br />

<br />

2ω + 3 G2M 2<br />

g00 =<br />

ω + 2 r2 P P N(2) (1.69)<br />

<br />

2ω + 1 GM 1 GMxixj<br />

gij = − δij +<br />

ω + 2 r ω + 2 r3 P P N(1)<br />

Si comparamos esta solución con <strong>la</strong> expansión general con α ≡ 1 (1.68)(nótese que <strong>la</strong> propia<br />

<strong>de</strong>finición <strong>de</strong> masa lleva incluida esta asignación [1]) obtenemos los parámetros postnewtonianos<br />

como función <strong>de</strong>l parámetro ω:<br />

α = 1 β = 1 γ =<br />

ω + 1<br />

ω + 2<br />

En re<strong>la</strong>tividad general, como sabemos, el valor <strong>de</strong> los parámetros <strong>de</strong> Eddington es:<br />

(1.70)<br />

α = β = γ = 1 (1.71)<br />

Como era <strong>de</strong> esperar, por <strong>la</strong> forma en <strong>la</strong> que esta construida <strong>la</strong> teoría, el parámetro β en <strong>la</strong><br />

teoría <strong>de</strong> Brans-Dicke (que mi<strong>de</strong> <strong>la</strong> “no linearidad” en <strong>la</strong> ley <strong>de</strong> superposición <strong>de</strong> <strong>la</strong> gravedad)<br />

es exactamente igual al <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General. El único parámetro que difiere <strong>de</strong>l resultado<br />

obtenido en GR es el parámetro γ, que mi<strong>de</strong> <strong>la</strong> cantidad <strong>de</strong> curvatura producida por unidad<br />

<strong>de</strong> masa. Nótese a<strong>de</strong>más que, en el límite en que el parámetro ω tiene a infinito, se recupera el<br />

resultado <strong>de</strong> GR,<br />

γ =<br />

ω + 1<br />

−→ 1. (1.72)<br />

ω + 2<br />

18


Funciones Parámetros Parámetros PPN<br />

Arbitrarias <strong>de</strong> ajuste<br />

Teoría o Constantes Cósmico γ β ξ α1 α2<br />

Re<strong>la</strong>tividad General<br />

<strong>Esca<strong>la</strong>r</strong>-<strong>Tensor</strong><br />

ninguna ninguno 1 1 0 0 0<br />

Brans-Dicke ω φ0<br />

(1+ω)<br />

(2+ω) 1 0 0 0<br />

General A(ϕ), V (ϕ) ϕ0<br />

(1+ω)<br />

(2+ω) 1 + Λ 0 0 0<br />

Table 1.3: Los parámetros PPN en teorías esca<strong>la</strong>r-tensor comparados con GR (α3 = ζi = 0<br />

para todos los casos).<br />

19


Chapter 2<br />

Efectos clásicos <strong>de</strong> GR en el sistema<br />

so<strong>la</strong>r <strong>de</strong>s<strong>de</strong> el punto <strong>de</strong> vista <strong>de</strong> BD<br />

2.1 Introducción<br />

“The great tragedy of science is the s<strong>la</strong>ying<br />

of a beautiful hypothesis by an ugly fact. ”<br />

Thomas H. Huxley<br />

Toda teoría física, por muy elegante que sea, <strong>de</strong>berá ser abandonada si sus predicciones no están<br />

<strong>de</strong> acuerdo con <strong>la</strong>s observaciones. Es innegable <strong>la</strong> belleza intrínseca a <strong>la</strong> Re<strong>la</strong>tividad General<br />

y su sencillez; sin embargo, como he intentado argumentar a lo <strong>la</strong>rgo <strong>de</strong> todos los <strong>de</strong>sarrollos<br />

anteriores, es necesario realizar experimentos que distingan si <strong>la</strong> Re<strong>la</strong>tividad General es <strong>la</strong><br />

verda<strong>de</strong>ra teoría <strong>de</strong> <strong>la</strong> gravitación (abuso <strong>de</strong>l lenguaje por sencillez, en mi opinión, una teoría<br />

física no pue<strong>de</strong> nunca catalogarse <strong>de</strong> verda<strong>de</strong>ra) o si correspon<strong>de</strong> realmente el límite <strong>de</strong> alguna<br />

otra teoría como <strong>la</strong>s teorías esca<strong>la</strong>r-tensor estudiadas aquí.<br />

Utilizando los resultados <strong>de</strong>l capítulo anterior analizaré los efectos clásicos <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad<br />

General realizados en el sistema so<strong>la</strong>r , tales como <strong>la</strong> <strong>de</strong>flexión <strong>de</strong> <strong>la</strong> luz por el sol, <strong>la</strong> precesión<br />

<strong>de</strong>l perihelio, el retraso en el eco <strong>de</strong> radar y el efecto Lense-Thirring entre otros, <strong>de</strong>s<strong>de</strong> el<br />

punto <strong>de</strong> vista <strong>de</strong> <strong>la</strong> teoría esca<strong>la</strong>r-tensor. En algunos casos el estudio se limitará a traducir<br />

los parámetros postnewtonianos <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General a los <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke,<br />

en otros, como por ejemplo el efecto Lense-Thirring, realizaré un estudio <strong>de</strong>tal<strong>la</strong>do. Por último<br />

analizaré los distintos experimentos realizados hasta <strong>la</strong> fecha y resumiré sus cotas sobre <strong>la</strong><br />

teorías esca<strong>la</strong>r-tensor.<br />

2.2 Deflexión <strong>de</strong> <strong>la</strong> luz por el sol<br />

Uno <strong>de</strong> los resultados c<strong>la</strong>ve en los que se basa el triunfo <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General sobre <strong>la</strong><br />

teoría newtoniana <strong>de</strong> <strong>la</strong> gravitación es sin duda <strong>la</strong> <strong>de</strong>flexión <strong>de</strong> <strong>la</strong> luz por sol. La confirmación<br />

por Eddington <strong>de</strong> <strong>la</strong> <strong>de</strong>sviación <strong>de</strong> <strong>la</strong> luz emitida por una estrel<strong>la</strong> durante un eclipse <strong>de</strong> Sol en<br />

los días siguientes al fin <strong>de</strong> <strong>la</strong> Primera Guerra Mundial elevó a Einstein a <strong>la</strong> categoría <strong>de</strong> ídolo<br />

<strong>de</strong> masas, llegando a ser portada incluso <strong>de</strong> <strong>la</strong> revista Times. La <strong>de</strong>flexión total <strong>de</strong> un fotón<br />

20


cuando pasa cerca <strong>de</strong>l campo gravitacional <strong>de</strong>bido a un objeto masivo viene dada por [1]:<br />

∆φ = 4GM<br />

c2 <br />

1 + γ<br />

(2.1)<br />

r0 2<br />

don<strong>de</strong> r0 es <strong>la</strong> distancia <strong>de</strong>l centro <strong>de</strong>l objeto masivo al punto <strong>de</strong> máximo acercamiento <strong>de</strong>l<br />

fotón. En el caso <strong>de</strong>l Sol y suponiendo que el fotón pasa a una distancia mínima igual al radio<br />

so<strong>la</strong>r tenemos<br />

∆φ = 1.75 ′′<br />

<br />

1 + γ<br />

, (2.2)<br />

2<br />

expresión que tiene dos contribuciones: un factor 1/2 <strong>de</strong>bido a <strong>la</strong> teoría corpuscu<strong>la</strong>r y al<br />

principio <strong>de</strong> equivalencia que ya predijo Newton, y un nuevo factor γ/2 proce<strong>de</strong>nte <strong>de</strong> <strong>la</strong><br />

curvatura <strong>de</strong>l espacio tiempo. Para el caso <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad <strong>la</strong> <strong>de</strong>flexión esperada sería 1.75 ′′ ,<br />

mientras que para <strong>la</strong> teoría <strong>de</strong> Brans-Dicke esta <strong>de</strong>flexión es ligeramente inferior<br />

∆φ = 4GM<br />

c 2 r0<br />

2.3 La precesión <strong>de</strong> los periastros<br />

<br />

2ω + 3<br />

2ω + 4<br />

La explicación <strong>de</strong> <strong>la</strong> precesión anóma<strong>la</strong> <strong>de</strong>l perihelio <strong>de</strong> Mercurio fue otro <strong>de</strong> los triunfos <strong>de</strong><br />

GR. Este problema no había encontrado una solución en <strong>la</strong> mecánica celestial <strong>de</strong>s<strong>de</strong> el anuncio<br />

en 1859 por Le Verrier <strong>de</strong> que, <strong>de</strong>spués <strong>de</strong> haber tenido en cuenta los efectos perturbativos<br />

<strong>de</strong>l resto <strong>de</strong> p<strong>la</strong>netas en <strong>la</strong> órbita <strong>de</strong> Mercurio y <strong>de</strong>spués <strong>de</strong> que el efecto <strong>de</strong> precesión <strong>de</strong> los<br />

equinocios en el sistema <strong>de</strong> coor<strong>de</strong>nadas astronómicas hubiera sido sustraído, existía aún un<br />

avance no explicado en el avance <strong>de</strong>l perihelio <strong>de</strong> Mercurio.<br />

Sea una partícu<strong>la</strong> prueba orbitando alre<strong>de</strong>dor <strong>de</strong>l Sol. La precesión <strong>de</strong>l periastro <strong>de</strong> dicha<br />

órbita predicha por Re<strong>la</strong>tividad General viene dada por:<br />

∆φ = 6πGM<br />

c 2 a(1 − e 2 )<br />

2 + 2γ − β<br />

Las medidas actuales <strong>de</strong> <strong>la</strong> precesión <strong>de</strong>l perihelio <strong>de</strong> Mercurio dan<br />

3<br />

(2.3)<br />

<br />

rad/rev. (2.4)<br />

∆φexp = (42.97 ± 0.04) ′′ /siglo = ∆φGR (1.0002 ± 0.0009) (2.5)<br />

con lo que para el caso <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke tenemos<br />

<br />

2 + 2γ − β<br />

3ω + 4<br />

rad/rev = = 1.0002 ± 0.0009 (2.6)<br />

3<br />

3ω + 6<br />

que constituye una fuerte cota sobre el parámetro ω.<br />

2.4 El retraso en el eco <strong>de</strong> radar<br />

Irwin Shapiro predijo que <strong>la</strong>s ondas <strong>de</strong> luz (o cualquier tipo <strong>de</strong> onda electromagnética) sufrirían<br />

un retraso al atravesar un campo gravitacional. Las ondas se verían “obligadas” a seguir curvas<br />

en el espacio-tiempo que harían que su camino fuera mas <strong>la</strong>rgo <strong>de</strong> lo esperado, lo que produciría<br />

un retraso en el tiempo <strong>de</strong> transmisión. Calculemos el retraso sufrido por una onda <strong>de</strong> radio<br />

21


que viaja <strong>de</strong>s<strong>de</strong> <strong>la</strong> tierra a una cierta sonda situada en conjunción superior, es reflejada y vuelve<br />

por el mismo camino, <strong>de</strong>spreciando el efecto <strong>de</strong> <strong>la</strong> <strong>de</strong>flexión gravitacional <strong>de</strong> <strong>la</strong> luz. Tomemos<br />

coor<strong>de</strong>nadas isotrópicas cartesianas en el <strong>de</strong>sarrollo <strong>de</strong> Eddington<br />

ds 2 = −B(ρ)dt 2 + A(ρ)dx 2<br />

don<strong>de</strong> ρ = (x 2 + r 2 0 ) es <strong>la</strong> coor<strong>de</strong>nada radial isotrópica entre <strong>la</strong> tierra y el Sol, ρ⊕, o <strong>la</strong> sonda<br />

y el Sol, ρs. Supongamos dy = dz = 0. Un fotón viajando a lo <strong>la</strong>rgo <strong>de</strong> una geodésica tardará<br />

un tiempo<br />

<br />

<br />

x⊕ A(ρ)<br />

ct =<br />

B(ρ) = xs<br />

<br />

1 + γ 2GM<br />

+ x⊕ +<br />

2 c2 ⎛<br />

ln ⎝ (x⊕<br />

<br />

+ x2 ⊕ + r2 0 )(xs + x2 s + r2 0 )<br />

⎞<br />

⎠ (2.8)<br />

−xs<br />

en recorrer el camino <strong>de</strong> ida. Evi<strong>de</strong>ntemente tardará el doble <strong>de</strong> tiempo en recorrer el camino<br />

<strong>de</strong> ida y <strong>de</strong> vuelta, siempre y cuando los p<strong>la</strong>netas no se muevan. Si le restamos <strong>la</strong> predicción<br />

correspondiente al espacio <strong>de</strong> Minkowski se tiene<br />

<br />

1 + γ 4GM<br />

∆t =<br />

2 c2 <br />

4xsx⊕<br />

ln<br />

(2.9)<br />

Las medidas mas recientes <strong>de</strong> este efecto se han obtenido utilizando <strong>la</strong> sonda Cassini, cuando<br />

esta, en su viaje hacia Saturno, pasaba por conjunción superior el 21 <strong>de</strong> Junio <strong>de</strong> 2002. La<br />

cota obtenida fue<br />

lo que implica<br />

γ − 1 = (2.1 ± .3) × 10 −5<br />

r 2 0<br />

r 2 0<br />

(2.7)<br />

(1σ), (2.10)<br />

ω > 50, 000, (2.11)<br />

que constituye <strong>la</strong> mayor cota obtenida para el parámetro ω hasta <strong>la</strong> fecha. Se espera que sea<br />

superada, al menos en un or<strong>de</strong>n <strong>de</strong> magnitud en <strong>la</strong> próxima década.<br />

2.5 El efecto Lense-Thirring en <strong>la</strong>s teorías esca<strong>la</strong>r tensor<br />

El efecto Lense-Thirring es uno <strong>de</strong> los efectos más curiosos que predice <strong>la</strong> re<strong>la</strong>tividad general.<br />

Este efecto también es predicho por <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, y en principio los experimentos<br />

podrían permitirnos discernir cual <strong>de</strong> <strong>la</strong>s dos opciones es <strong>la</strong> correcta. Antes <strong>de</strong> mostrar los<br />

resultados que se obtienen en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke para el efecto Lense-Thirring pienso que<br />

sería conveniente recordar este efecto en re<strong>la</strong>tividad general. En <strong>la</strong> aproximación <strong>de</strong> campo<br />

débil en re<strong>la</strong>tividad general asumimos:<br />

don<strong>de</strong> h µ<br />

ν = h µ υ − 1<br />

✷hµν = − 16πG<br />

c 4 Tµν (2.12)<br />

2δµ ν h y don<strong>de</strong> estamos tomando el gauge armónico usual h µ υ − 1<br />

2δµ ν h ,µ = 0.<br />

Si asumimos una distribución <strong>de</strong> materia no re<strong>la</strong>tivista con una <strong>de</strong>nsidad ρ y un campo <strong>de</strong><br />

velocida<strong>de</strong>s −→ v , <strong>la</strong> ecuación (2.12) nos da:<br />

✷h00 = − 16πG<br />

ρ (2.13)<br />

c2 22


✷h0i = 16πG<br />

c 3 ρvi (2.14)<br />

don<strong>de</strong> vi <strong>de</strong>nota <strong>la</strong>s componentes <strong>de</strong> <strong>la</strong> velocidad, y don<strong>de</strong> se han <strong>de</strong>spreciado términos como<br />

p y vivj/c 4 . Fijémonos ahora en el caso particu<strong>la</strong>r <strong>de</strong> un campo gravitacional estacionario<br />

asociado a un cuerpo en rotación lenta. Las ecuaciones (2.13) y (2.14) se reducen entonces a<br />

∇ 2<br />

<br />

c2h00 ≡ ∇<br />

4<br />

2 (ϕg) = −4πGρ (2.15)<br />

∇ 2 h0i = 16πG<br />

c 3 ρvi (2.16)<br />

don<strong>de</strong> ϕg es el potencial gravitoeléctrico. Lejos <strong>de</strong> <strong>la</strong> fuente tendremos:<br />

Φg = GM<br />

r<br />

−→ h = − 2G( −→ J × −→ r )<br />

c 3 r 3<br />

≡ − 2−→ A g<br />

c 2<br />

(2.17)<br />

(2.18)<br />

don<strong>de</strong> −→ A g es el potencial vector gravitomagnético, h0i son <strong>la</strong>s componentes <strong>de</strong>l vector −→ h , y<br />

M y −→ J son <strong>la</strong>s masa y el momento angu<strong>la</strong>r <strong>de</strong> <strong>la</strong> fuente. En analogía con <strong>la</strong> electrodinámica<br />

<strong>de</strong>finimos el campo gravitoeléctrico como −→ Eg = −∇Φg y el campo gravitomagnético como:<br />

−→ B g = −→ ∇ × −→ A g = G<br />

c<br />

<br />

3r(r · −→ J ) − −→ J<br />

r 3<br />

<br />

(2.19)<br />

Es interesante darse cuenta <strong>de</strong> que <strong>la</strong> condición h µν ,µ = 0 nos lleva directamente a ∇ · −→ A g = 0<br />

(que es análogo al gauge <strong>de</strong> Coulomb <strong>de</strong>l electromagnetismo).<br />

En <strong>la</strong> teoría <strong>de</strong> Brans-Dicke <strong>la</strong>s ecuaciones <strong>de</strong>l campo estan dadas por (incluimos <strong>la</strong> velocidad<br />

<strong>de</strong> <strong>la</strong> luz c):<br />

Gµυ = 8πG<br />

c 4 Φ T M µν + ω<br />

Φ 2<br />

<br />

DµΦDνΦ − 1<br />

2 gµν<br />

<br />

✷Φ + 1<br />

Φ (DµDνΦ − gµν✷Φ) (2.20)<br />

Al igual que hicimos en re<strong>la</strong>tividad general po<strong>de</strong>mos linearizar <strong>la</strong>s ecuaciones <strong>de</strong> los campos <strong>de</strong><br />

Brans-Dicke asumiendo que tanto <strong>la</strong> métrica gµν como el campo esca<strong>la</strong>r Φ se pue<strong>de</strong>n escribir<br />

como gµν = ηµν + hµυ y Φ = Φ0 + δΦ, don<strong>de</strong> Φ0 es una constante y δΦ = δΦ(x) es un término<br />

a primer or<strong>de</strong>n ( se asume que tanto |hµυ| como δΦΦ −1<br />

<br />

son ≪ 1). Bajo estas hipótesis :<br />

✷hµν = − 16π<br />

c4 <br />

Tµυ −<br />

Φ0<br />

don<strong>de</strong> hemos usado el gauge <strong>de</strong> Brans-Dicke<br />

<br />

h µ υ − 1<br />

2 δµ <br />

ν h<br />

0<br />

ω + 1<br />

2ω + 3 ηµνT<br />

<br />

(2.21)<br />

,µ = δΦ,υ Φ −1<br />

0 . (2.22)<br />

El problema <strong>de</strong> encontrar <strong>la</strong>s soluciones a <strong>la</strong>s ecuaciones <strong>de</strong> Brans-Dicke en <strong>la</strong> aproximación<br />

<strong>de</strong> campo débil se pue<strong>de</strong> reducir por tanto a resolver <strong>la</strong>s ecuaciones <strong>de</strong> Eistein linearizadas<br />

para el mismo tensor energia-momento [11]. De hecho, si g ∗ µν(G, x) es una solución conocida<br />

<strong>de</strong> <strong>la</strong>s ecuaciones <strong>de</strong> Einstein en <strong>la</strong> aproximación <strong>de</strong> campo débil para un Tµυ dado, entonces,<br />

23


<strong>la</strong> correspondiente solución para el mismo Tµυ vendrá dada en <strong>la</strong> aproximación <strong>de</strong> campo débil<br />

por<br />

don<strong>de</strong> G es <strong>la</strong> contante gravitacional, G0 = Φ −1<br />

0 =<br />

<strong>de</strong> <strong>la</strong> ecuación:<br />

Definiendo hµν como<br />

Es fácil ver <strong>de</strong> (2.21) que<br />

gµυ(x) = [1 − δΦG0]g ∗ µν(G0, x) (2.23)<br />

✷δφ =<br />

2ω+3<br />

2ω+4<br />

8πT<br />

c 4 (2ω + 3)<br />

hµν = hµυ − 1<br />

2 ηµυh − δΦG0ηµυ<br />

<br />

G y <strong>la</strong> función δΦ(x) es una solución<br />

(2.24)<br />

(2.25)<br />

hµν = − 16πG0<br />

c 4 Tµν (2.26)<br />

Por tanto, en analogía con el caso <strong>de</strong> re<strong>la</strong>tividad general si nos restringimos <strong>de</strong> nuevo al caso<br />

<strong>de</strong> fuentes estacionarias en movimiento lento, llegamos a:<br />

h00 ≡ 4ϕBD g<br />

c2 −→ h = − 2G0( −→ J × −→ r )<br />

c 3 r 3<br />

4G0M<br />

=<br />

c2r ≡ − 2−→ A BD<br />

g<br />

c2 Definimos al igual que antes el campo gravitoeléctrico como −→ Eg BD = −∇ϕ BD<br />

g<br />

gravitomagnético como<br />

−→ B BD<br />

g<br />

= −→ ∇ × −→ A BD<br />

g<br />

= G0<br />

c<br />

<br />

3r(r · −→ J ) − −→ J<br />

r3 <br />

y el campo<br />

(2.27)<br />

Una vez introducidos los campos gravitomagnéticos en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke, pasemos<br />

a estudiar el conocido como efecto Lense-Thirring. Como es sabido, el efecto Lense-Thirring<br />

consiste en <strong>la</strong> recesión <strong>de</strong> un giróscopo re<strong>la</strong>tivo a <strong>la</strong>s estrel<strong>la</strong>s distantes, o alternativamente, un<br />

” frame dragging” (no he encontrado una traducción, lo usaré así). Si <strong>de</strong>notamos el momento<br />

angu<strong>la</strong>r y <strong>la</strong> velocidad <strong>de</strong> precesión por −→ S y −→ Ω respectivamente, entonces, el torque que actúa<br />

sobre el giróscopo predicho por <strong>la</strong> Re<strong>la</strong>tividad General será<br />

don<strong>de</strong><br />

<br />

−→ 1−→<br />

τ = S × −<br />

2<br />

2<br />

c2 <br />

−→<br />

B g = d−→ S<br />

dt = −→ Ω × −→ S (2.28)<br />

−→ 1<br />

Ω =<br />

c2 <br />

−→ 3r(r ·<br />

B g = G<br />

−→ J ) − −→ J<br />

c3r3 <br />

Por tanto en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke <strong>la</strong> ecuación (2.29)se convierte en:<br />

−→ BD 1<br />

Ω =<br />

c2 <br />

−→ BD 3r(r ·<br />

B g = G0<br />

−→ J ) − −→ J<br />

c3r3 <br />

(2.29)<br />

(2.30)<br />

Para comparar el valor <strong>de</strong> Ω predicho por <strong>la</strong> Re<strong>la</strong>tividad General, con Ω BD , predicho por <strong>la</strong><br />

teoría <strong>de</strong> Brans-Dicke, <strong>de</strong>bemos obtener, como ya viene siendo habitual, valores para ω. Según<br />

24


<strong>la</strong>s medidas realizadas con VLBI ω = 3500 (siendo muy optimistas, como sabemos por <strong>la</strong>s<br />

cotas <strong>de</strong> Cassini ω > 50, 000). Para una orbita po<strong>la</strong>r a 650 Km <strong>de</strong> altura <strong>la</strong> precesión predicha<br />

para el eje <strong>de</strong>l giróscopo es <strong>de</strong> 42 milisegundos <strong>de</strong> arco por año. La precisión esperada para los<br />

experimentos bajo esas condiciones (Gravity Probe B) está en torno a los 0.5 milisegundos <strong>de</strong><br />

2ω+3<br />

arco por año. Dado que G0 = 2ω+4G <br />

, el valor predicho por <strong>la</strong> teoría <strong>de</strong> Brans-Dicke es:<br />

Ω BD = 7003<br />

Ω 41.99 milisegundos <strong>de</strong> arco por año. (2.31)<br />

7004<br />

Es <strong>de</strong>cir, con <strong>la</strong> precisión actual <strong>de</strong> este tipo <strong>de</strong> experimentos nos es imposible diferenciar<br />

una teoría <strong>de</strong> otra.<br />

2.6 Cotas experimentales en el regimen <strong>de</strong> campo débil: Resumen<br />

<strong>de</strong> <strong>la</strong> situación actual<br />

Como vimos <strong>la</strong> teoría <strong>de</strong> Brans-Dicke es una teoría basada en un único parámetro <strong>de</strong>finido por<br />

una función <strong>de</strong> acoplo lineal, a(ϕ) = α0 ϕ. Actualmente el tratamiento es más general que<br />

el expuesto hasta este momento. Se consi<strong>de</strong>ran teorías esca<strong>la</strong>r-tensor <strong>de</strong> <strong>la</strong> gravitación en <strong>la</strong>s<br />

cuales <strong>la</strong> función <strong>de</strong> acoplo no es lineal,<br />

a(ϕ) = a0 + α0(ϕ − ϕ0) + 1<br />

2 β0(ϕ − ϕ0) 2<br />

don<strong>de</strong> α0 ≡ α(ϕ0) y β(ϕ) ≡ ∂α(ϕ)<br />

∂ϕ , evaluada en ϕ0. Escrito en términos <strong>de</strong> α(ϕ)<br />

(2.32)<br />

α(ϕ) = α0 + β(ϕ − ϕ0) + β (2) (ϕ − ϕ0) 2 + · · · , (2.33)<br />

Se ha <strong>de</strong>mostrado [38] [39] que <strong>la</strong>s aproximaciones post-newtonianas <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad general<br />

se pue<strong>de</strong>n expresar en términos <strong>de</strong> los valores <strong>de</strong> α(ϕ) y <strong>de</strong> sus <strong>de</strong>rivadas sucesivas, empezando<br />

con β(ϕ) ≡ ∂α(ϕ)<br />

∂ϕ ,<br />

a(ϕ) = a0 + α0(ϕ − ϕ0) + 1<br />

2 β0(ϕ − ϕ0) 2<br />

(2.34)<br />

don<strong>de</strong> α0 ≡ α(ϕ0) and β0 ≡ β(ϕ0). En concreto pue<strong>de</strong> <strong>de</strong>mostrarse que los parámetros<br />

postnewtonianos γ P P N y β P P N se expresan en términos <strong>de</strong> α0 y β0 como<br />

γ PPN − 1 = − 2α2 0<br />

1 + α2 , β<br />

0<br />

PPN − 1 = 1<br />

2<br />

α0β0α0<br />

(1 + α2 . (2.35)<br />

0 )2<br />

El factor α2 0<br />

mientras que el término α0β0α0 viene <strong>de</strong>l intercambio <strong>de</strong> un esca<strong>la</strong>r entre tres cuerpos. El caso<br />

β0 = 0 se reduce a <strong>la</strong> teoría <strong>de</strong> Brans-Dicke con parámetro 2ω + 3 = 1/α2 0 .<br />

Los experimentos realizados en el sistema so<strong>la</strong>r imponen restricciones muy fuertes a los<br />

valores que pue<strong>de</strong>n tomar los parámetros postnewtonianos γP P N y βP P N ( y con ello el valor<br />

<strong>de</strong> ω en <strong>la</strong> teoría <strong>de</strong> Brans-dicke). Los resultados obtenidos en dichos experimentos se muestran<br />

en <strong>la</strong> tab<strong>la</strong> 2.1 y en <strong>la</strong> figura 2.1.<br />

viene <strong>de</strong> consi<strong>de</strong>rar el intercambio <strong>de</strong> una partícu<strong>la</strong> esca<strong>la</strong>r entre dos cuerpos,<br />

25


Experimento Cota experimental<br />

Precesión <strong>de</strong>l perihelio |2 γ PPN − β PPN − 1| < 3 × 10 −3<br />

Lunar Laser Ranging 4β PPN − γ PPN − 3 = (−0.7 ± 1) × 10 −3<br />

VLBI |γ PPN − 1| < 4 × 10 −4<br />

Sonda Cassini γ PPN − 1 = (2.1 ± 2.3) × 10 −5<br />

Table 2.1: Ligaduras impuestas por los experimentos en el sistema so<strong>la</strong>r a los parámetros γP P N<br />

y βP P N .<br />

Cassini<br />

matter<br />

VLBI<br />

|α 0|<br />

−6 −4 −2 0 2 4 6<br />

ϕ<br />

0.050<br />

0.045<br />

0.040<br />

0.035<br />

0.030<br />

0.025<br />

0.020<br />

0.015<br />

0.010<br />

0.005<br />

general re<strong>la</strong>tivity<br />

PSR<br />

B1913+16<br />

PSR<br />

J1141–6545<br />

Figure 2.1: Ligaduras impuestas por los experimentos en el sistema so<strong>la</strong>r y en el pulsar binario<br />

a <strong>la</strong> función <strong>de</strong> acoplo campo-materia ln A(ϕ) = α0(ϕ − ϕ0) + 1<br />

2 β0(ϕ − ϕ0) 2 + O(ϕ − ϕ0) 3 .<br />

La región permitida se muestra sombreada. El eje vertical (β0 = 0) correspon<strong>de</strong> a <strong>la</strong> teoría<br />

<strong>de</strong> Brans-Dicke con parámetro 2ω + 3 = 1/α 2 0 . En eje horizontal (α0 = 0) correspon<strong>de</strong> a <strong>la</strong>s<br />

teorias que son perturvativamente equivalentes a GR, es <strong>de</strong>cir, que predicen no <strong>de</strong>sviación <strong>de</strong><br />

<strong>la</strong> misma (a cualquier or<strong>de</strong>n 1/c n ) en <strong>la</strong>s condiciones <strong>de</strong> campo débil <strong>de</strong>l sistema so<strong>la</strong>r.<br />

26<br />

matter<br />

β 0<br />

ϕ<br />

ϕ


Chapter 3<br />

Regimen <strong>de</strong> campo fuerte: el pulsar<br />

binario y <strong>la</strong> producción <strong>de</strong> ondas<br />

gravitacionales<br />

3.1 Introducción<br />

“It is the nature of all<br />

greatness not to be exact”<br />

Edmund Burke,1774<br />

En el capítulo anterior analizamos <strong>la</strong>s consecuencias <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor en <strong>la</strong> aproximación<br />

<strong>de</strong> campos poco intensos y velocida<strong>de</strong>s pequeñas, es <strong>de</strong>cir, en lo que se conoce como<br />

régimen <strong>de</strong> campo débil. El objetivo <strong>de</strong> este capítulo es analizar <strong>la</strong>s consecuencias <strong>de</strong> estas<br />

teorías en <strong>la</strong> aproximación re<strong>la</strong>tivista o regimen <strong>de</strong> campo fuerte. Comenzaré analizando los<br />

distintos tipos <strong>de</strong> ondas gravitacionales (po<strong>la</strong>rizaciones) permitidos en <strong>la</strong>s teorías esca<strong>la</strong>r-tensor,<br />

para pasar posteriormente a analizar los procesos en los cuales dichas ondas gravitacionales<br />

pue<strong>de</strong>n ser producidas. En concreto, estudiaré los co<strong>la</strong>psos esféricos <strong>de</strong> tipo Oppenheimer-<br />

Sny<strong>de</strong>r y el pulsar binario, poniendo especial énfasis en <strong>la</strong>s cotas experimentales que proporcionan<br />

este tipo <strong>de</strong> sistemas.<br />

3.2 Ondas esca<strong>la</strong>res en <strong>la</strong> teoría esca<strong>la</strong>r tensor<br />

Las ondas gravitacionales son ondas en el espacio-tiempo producidas por eventos violentos en<br />

el universo. Son emitidas por masas aceleradas, <strong>de</strong>l mismo modo que una carga acelerada<br />

emite ondas electromagnéticas. Albert Einstein predijo <strong>la</strong> existencia <strong>de</strong> ondas gravitacionales<br />

en 1916, pero sólo a partir <strong>de</strong> 1990 <strong>la</strong> tecnología llegó a estar lo suficientemente <strong>de</strong>sarrol<strong>la</strong>da<br />

como para permitir su <strong>de</strong>tección, aunque fuera <strong>de</strong> manera indirecta, a través <strong>de</strong>l pulsar binario.<br />

El <strong>de</strong>scubrimiento <strong>de</strong> dicho pulsar brindó a sus <strong>de</strong>scubridores, Taylor y Hulse, un premio Nóbel<br />

en 1993.<br />

La teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General <strong>de</strong> Einstein predice dos po<strong>la</strong>rizaciones para <strong>la</strong>s ondas<br />

gravitacionales, los modos + y ×. La diferencia fundamental entre <strong>la</strong> Re<strong>la</strong>tividad General y<br />

<strong>la</strong>s teorías esca<strong>la</strong>r-tensor es que en esta última, a<strong>de</strong>más <strong>de</strong> los modos tensoriales, aparece un<br />

modo esca<strong>la</strong>r que se propaga como una onda gravitacional.<br />

27


Consi<strong>de</strong>remos perturbaciones lineales <strong>de</strong> <strong>la</strong> métrica <strong>de</strong> Minkowski ηµν y <strong>de</strong> un campo esca<strong>la</strong>r<br />

constante Φ0.<br />

gµν = ηµν + hµν, (3.1)<br />

Φ = Φ0 + δΦ. (3.2)<br />

A lo <strong>la</strong>rgo <strong>de</strong> esta sección utilizaremos <strong>la</strong> metrica p<strong>la</strong>na η µν and ηµν para subir y bajar índices.<br />

Las ecuaciones <strong>de</strong> campo se escriben en esta aproximación:<br />

1 α<br />

(hµ ,να + h<br />

2 α<br />

ν ,µα − h ,α<br />

µν α − h,µν) − 1<br />

2<br />

ηµν(h ,αβ<br />

αβ<br />

α<br />

− h,α )<br />

= 8π<br />

Tµν +<br />

Φ0<br />

1<br />

(δΦ,µν − ηµν✷δΦ), (3.3)<br />

Φ0<br />

✷δΦ = 8π<br />

T, (3.4)<br />

3 + 2ω<br />

don<strong>de</strong> ω ≡ ω(Φ0) and h ≡ h α<br />

α . Introduciendo:<br />

<strong>la</strong>s ecuaciones (3.3) y (3.4) se convierten en:<br />

α<br />

θµα,ν<br />

+ θ<br />

θµν ≡ hµν + δΦ<br />

ηµν. (3.5)<br />

Φ0<br />

α<br />

να,µ − θ ,α<br />

µν α − θ,µν − ηµν(θ ,αβ<br />

αβ<br />

− θ β<br />

,β<br />

16π<br />

) = Tµν, (3.6)<br />

Φ0<br />

✷δΦ = 8π<br />

T, (3.7)<br />

3 + 2ω<br />

don<strong>de</strong> θ ≡ θ α<br />

α . Definimos ahora ¯ θµν y ¯ hµν como:<br />

y<br />

Usando el gauge <strong>de</strong> Brans-Dicke:<br />

<strong>la</strong>s ecuaciones <strong>de</strong> campo se escriben:<br />

¯θµν ≡ θµν − 1<br />

2 ηµνθ, (3.8)<br />

¯hµν ≡ hµν − 1<br />

2 ηµνh. (3.9)<br />

¯h µα ,α = δΦ,µ<br />

Φ0<br />

. (3.10)<br />

✷¯ θµν = − 16π<br />

Tµν, (3.11)<br />

✷δΦ =<br />

Φ0<br />

8π<br />

T. (3.12)<br />

3 + 2ω<br />

ecuaciones, que en ausencia <strong>de</strong> materia, son ecuaciones <strong>de</strong> onda. Po<strong>de</strong>mos usar el resto <strong>de</strong><br />

grados <strong>de</strong> libertad para hacer que ¯ θµν sea transverso y sin traza. Entonces, <strong>la</strong>s perturbaciones<br />

pue<strong>de</strong>n separarse en el modo + , el modo × y el modo esca<strong>la</strong>r. La forma <strong>de</strong> <strong>la</strong> perturbación<br />

métrica <strong>de</strong> <strong>la</strong> onda p<strong>la</strong>na se escribe<br />

hµν =<br />

⎛<br />

⎜<br />

⎝<br />

0 0 0 0<br />

0 h+ h× 0<br />

0 h× −h+ 0<br />

0 0 0 0<br />

⎞<br />

⎟<br />

⎠<br />

28<br />

⎛<br />

δφ ⎜<br />

− ⎜<br />

φ0<br />

⎝<br />

−1 0 0 0<br />

0 1 0 0<br />

0 0 1 0<br />

0 0 0 1<br />

⎞<br />

⎟<br />

⎠<br />

(3.13)


don<strong>de</strong> h+, h× representan los modos + y ×, respectivamente. Nótese que <strong>la</strong> expresión (3.13)<br />

tiene <strong>la</strong> forma:<br />

hµν = h GR<br />

µν − δφ<br />

ηµν<br />

(3.14)<br />

don<strong>de</strong> h GR<br />

µν es <strong>la</strong> perturbación que aparece en re<strong>la</strong>tividad general y ηµν en <strong>la</strong> métrica <strong>de</strong><br />

Minkowski. La teoría <strong>de</strong> Brans-Dicke predice por tanto <strong>la</strong> existencia <strong>de</strong> ondas esca<strong>la</strong>res, a<br />

diferencia <strong>de</strong> <strong>la</strong> re<strong>la</strong>tividad general don<strong>de</strong> sólo nos encontrabamos po<strong>la</strong>rizaciones × y + (Veáse<br />

<strong>la</strong> figura 3.1) .<br />

3.3 Ondas gravitacionales esca<strong>la</strong>res en co<strong>la</strong>psos tipo Oppenheimer-<br />

Sny<strong>de</strong>r<br />

A diferencia <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General, <strong>la</strong>s teorías esca<strong>la</strong>r-tensor predicen ondas gravitacionales<br />

esca<strong>la</strong>res incluso en el caso <strong>de</strong> un co<strong>la</strong>pso gravitacional esfericamente simétrico. La <strong>de</strong>tección<br />

<strong>de</strong> ondas gravitacionales esca<strong>la</strong>res podría constituir no sólo una revolución en el marco teórico<br />

sino que abriría una nueva ventana a <strong>la</strong> astrofísica pues permitiría conocer el radio inicial y <strong>la</strong><br />

masa <strong>de</strong> <strong>la</strong> estrel<strong>la</strong>.<br />

Como vimos en el capítulo anterior el tratamiento actual <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor consi<strong>de</strong>ra<br />

teorías funciónes <strong>de</strong> acoplo no lineales<br />

φ0<br />

a(ϕ) = a0 + α0(ϕ − ϕ0) + 1<br />

2 β0(ϕ − ϕ0) 2<br />

don<strong>de</strong> α0 ≡ α(ϕ0) y β(ϕ) ≡ ∂α(ϕ)<br />

∂ϕ , evaluada en ϕ0. Escrito en términos <strong>de</strong> α(ϕ)<br />

(3.15)<br />

α(ϕ) = α0 + β(ϕ − ϕ0) + β (2) (ϕ − ϕ0) 2 + · · · , (3.16)<br />

En todo lo que sigue asumiré que nos encontramos en el frame <strong>de</strong> Einstein. Asumamos que<br />

|α0| ≪ 1 (aunque esto pueda excluir efectos no perturbativos interesantes), y expandamos el<br />

tensor métrico, el campo esca<strong>la</strong>r y el tensor energía momento en términos <strong>de</strong> α0,<br />

Tαβ = T (E)<br />

αβ<br />

gαβ = g (E)<br />

αβ<br />

+ α0t (1)<br />

αβ + α2 0t (2)<br />

αβ + O(α3 0), (3.17)<br />

+ α0h (1)<br />

αβ + α2 0h (2)<br />

αβ + O(α3 0), (3.18)<br />

ϕ = ϕ0 + α0ϕ (1) + α 2 0ϕ (2) + O(α 3 0). (3.19)<br />

De <strong>la</strong> ecuación (1.26) obtenemos, para el or<strong>de</strong>n más bajo en α0,<br />

Lo que significa que g (E)<br />

αβ<br />

or<strong>de</strong>n en α0 se tiene,<br />

y T (E)<br />

αβ<br />

G (E)<br />

αβ<br />

(E)<br />

= 8πT αβ . (3.20)<br />

son <strong>la</strong>s soluciones en Re<strong>la</strong>tividad General. Para el siguiente<br />

G (1)<br />

αβ<br />

= 8πt(1)<br />

αβ . (3.21)<br />

que también tiene <strong>la</strong> misma forma que <strong>la</strong>s ecuaciones <strong>de</strong> Einstein, <strong>de</strong> forma que <strong>la</strong> métrica<br />

<strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor se <strong>de</strong>svía <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General en O(α2 0 ); por tanto, po<strong>de</strong>mos<br />

<strong>de</strong>terminar el campo esca<strong>la</strong>r hasta O(α0) resolviendo <strong>la</strong> ecuación <strong>de</strong> onda para el campo esca<strong>la</strong>r.<br />

✷ (E) ϕ = −4πα(ϕ)T (E) . (3.22)<br />

29


(a)<br />

(c)<br />

(e)<br />

y<br />

y<br />

x<br />

x<br />

x<br />

z<br />

(b)<br />

(d)<br />

(f)<br />

GR = ST = +<br />

Figure 3.1: En cualquier teoría métrica <strong>de</strong> <strong>la</strong> gravedad existen seis po<strong>la</strong>rizaciones distintas para<br />

<strong>la</strong>s ondas gravitacionales p<strong>la</strong>nas. La figura superior muestra el <strong>de</strong>sp<strong>la</strong>zamiento que produce<br />

cada modo sobre un anillo <strong>de</strong> partícu<strong>la</strong>s prueba. Las ondas se propagan en <strong>la</strong> dirección +z y<br />

no existe <strong>de</strong>sp<strong>la</strong>zamiento fuera <strong>de</strong>l p<strong>la</strong>no <strong>de</strong> <strong>la</strong> figura. En (a), (b) y (c), <strong>la</strong> onda se propaga<br />

fuera <strong>de</strong>l p<strong>la</strong>no; en (d), (e), y (f), lo hace en el p<strong>la</strong>no. En <strong>la</strong> Re<strong>la</strong>tividad General, so<strong>la</strong>mente<br />

aparecen los modos (a) y (b) que correspon<strong>de</strong>n a <strong>la</strong>s po<strong>la</strong>rizaciones + y × respectivamente ;<br />

sin embargo, en <strong>la</strong>s teorías esca<strong>la</strong>r-tensor el modo esca<strong>la</strong>r (c) también está presente.<br />

30<br />

y<br />

y<br />

y<br />

x<br />

z<br />

z


Supongamos el co<strong>la</strong>pso <strong>de</strong> una nube <strong>de</strong> polvo esféricamente simétrica y homogénea. La<br />

conocida como solución <strong>de</strong> Oppenheimer-Sny<strong>de</strong>r <strong>de</strong>scribe este tipo <strong>de</strong> col<strong>la</strong>pso. En el interior<br />

<strong>de</strong> dicha esfera <strong>de</strong> polvo el elemento <strong>de</strong> línea se pue<strong>de</strong> escribir en <strong>la</strong> forma (Friedmann):<br />

don<strong>de</strong><br />

ds 2 = −dτ 2 + a(τ) 2 (dχ 2 + sin 2 χdΩ 2 ) (3.23)<br />

= a(η) 2 (−dη 2 + dχ 2 + sin 2 χdΩ 2 ), (3.24)<br />

dΩ 2 = dθ 2 + sin 2 θdφ 2 , (3.25)<br />

a(η) = 1<br />

2 a0(1 + cos η), (3.26)<br />

τ(η) = 1<br />

2 a0(η + sin η). (3.27)<br />

La <strong>de</strong>nsidad <strong>de</strong> <strong>la</strong> nube <strong>de</strong> polvo viene dada por<br />

ρ(η) = 3a0<br />

8π a−3 = 3<br />

8πa0 2<br />

−3 1<br />

(1 + cos η) . (3.28)<br />

2<br />

Los rangos <strong>de</strong> variación <strong>de</strong> η and χ son<br />

0 ≤ η < π, (3.29)<br />

y<br />

0 ≤ χ ≤ χ0 < π<br />

.<br />

2<br />

(3.30)<br />

Sea rs(t) el radio <strong>de</strong> <strong>la</strong> superficie este<strong>la</strong>r. En el exterior <strong>de</strong> <strong>la</strong> nube <strong>de</strong> polvo (r > rs(t)), el<br />

espacio-tiempo se expresa, como sabemos, por <strong>la</strong> métrica <strong>de</strong> Schwarzschild:<br />

ds 2 <br />

= − 1 − 2M<br />

<br />

dt<br />

r<br />

2 <br />

+ 1 − 2M<br />

−1 dr<br />

r<br />

2 + r 2 dΩ 2 . (3.31)<br />

Las condiciones <strong>de</strong> empalme entre el interior y el exterior este<strong>la</strong>r son tales que los radios en<br />

ambas métricas sean iguales y que <strong>la</strong> superficie este<strong>la</strong>r se mueva en una geodésica. Dichas<br />

condiciones son:<br />

rs = a(η) sin χ0, (3.32)<br />

M = 1<br />

2 a0 sin 3 t =<br />

χ0,<br />

<br />

<br />

<br />

1<br />

rs0 <br />

2M ln 2M − 1 2 η <br />

+ tan <br />

2 <br />

<br />

1<br />

rs0 2 η <br />

2M − 1 − tan <br />

2<br />

1<br />

rs0<br />

2<br />

+2M − 1<br />

2M<br />

(3.33)<br />

<br />

rs0<br />

η + (η + sin η) ,<br />

4M<br />

(3.34)<br />

don<strong>de</strong> rs0 ≡ rs(t = 0).<br />

Reescribamos <strong>la</strong> ecuación (3.22) en el marco <strong>de</strong> un co<strong>la</strong>pso <strong>de</strong>l tipo Oppenheimer-Sny<strong>de</strong>r<br />

usando <strong>la</strong>s métricas (3.25) y (3.31). La ecuación <strong>de</strong> onda en el interior <strong>de</strong> <strong>la</strong> nube ( 0 ≤ χ ≤ χ0)<br />

será<br />

1<br />

a 2<br />

<br />

− 1<br />

a 2<br />

∂<br />

∂η<br />

<br />

a<br />

<br />

2 ∂δϕ<br />

+<br />

∂η<br />

1<br />

sin2 ∂<br />

χ ∂χ<br />

31<br />

<br />

sin 2 χ ∂δϕ<br />

<br />

∂χ<br />

= 4πα(ϕ)ρ, (3.35)


mientras que el exterior (r > rs(t)) vendrá dada por<br />

<br />

− 1 − 2M<br />

−1 ∂2δϕ 1<br />

+<br />

r ∂t2 r2 Definamos ahora una variable ζ en lugar <strong>de</strong> δϕ como<br />

<br />

∂<br />

r<br />

∂r<br />

2<br />

<br />

1 − 2M<br />

r<br />

<br />

∂δϕ<br />

= 0. (3.36)<br />

∂r<br />

ζ ≡ a sin χδϕ (interior) (3.37)<br />

ζ ≡ rδϕ (exterior).<br />

Sustituyendo esta nueva variable en <strong>la</strong>s ecuaciones (3.35) y (3.36), se tiene<br />

− ∂2ζ ∂η2 + ∂2 <br />

ζ<br />

= − 1 +<br />

∂χ2 a′′<br />

<br />

ζ + 4πα(ϕ)ρa<br />

a<br />

3 sin χ (interior), (3.38)<br />

= 2M<br />

r3 <br />

1 − 2M<br />

<br />

ζ (exterior), (3.39)<br />

r<br />

− ∂2 ζ<br />

∂t 2 + ∂2 ζ<br />

∂r 2 ∗<br />

don<strong>de</strong> r∗ es una coor<strong>de</strong>nada relentizada <strong>de</strong>finida <strong>de</strong> forma simi<strong>la</strong>r a lo que hacíamos con <strong>la</strong>s<br />

coor<strong>de</strong>nadas <strong>de</strong> Eddington-Filkelstein.<br />

<br />

r<br />

<br />

r∗ = r + 2M ln − 1 , (3.40)<br />

2M<br />

Introduciendo ahora <strong>la</strong>s coor<strong>de</strong>nadas “nu<strong>la</strong>s”<br />

para el interior y<br />

en el exterior, y utilizando (3.28) para reescribir ρ, se tiene<br />

∂ 2 ζ<br />

∂u∂v<br />

∂ 2 ζ<br />

∂ũ∂˜v<br />

<br />

1<br />

= 1 +<br />

4<br />

a′′<br />

a<br />

= − M<br />

2r 3<br />

u = η − χ, (3.41)<br />

v = η + χ, (3.42)<br />

ũ = t − r∗, (3.43)<br />

˜v = t + r∗, (3.44)<br />

<br />

ζ − 3<br />

<br />

1 − 2M<br />

r<br />

8 α(ϕ)a0 sin χ (interior), (3.45)<br />

<br />

ζ (exterior), (3.46)<br />

Resta <strong>de</strong>finir <strong>la</strong>s condiciones <strong>de</strong> contorno <strong>de</strong>l problema. La condición para el centro <strong>de</strong> <strong>la</strong><br />

nube <strong>de</strong> polvo será exigir que <strong>la</strong> <strong>de</strong>rivada <strong>de</strong>l campo esca<strong>la</strong>r en <strong>la</strong> dirección radial sea cero, es<br />

<strong>de</strong>cir,<br />

∂δϕ<br />

∂χ<br />

= 0 at χ = 0. (3.47)<br />

En <strong>la</strong> superficie este<strong>la</strong>r el campo ϕ y su <strong>de</strong>rivada en <strong>la</strong> dirección normal a <strong>la</strong> frontera <strong>de</strong>ben<br />

ser contínuas,<br />

δϕ|in = δϕ|ex, (3.48)<br />

n µ δϕ,µ|in = n µ δϕ,µ|ex, (3.49)<br />

32


Figure 3.2: Regiones <strong>de</strong>l espacio-tiempo <strong>de</strong> Oppenheimer-Sny<strong>de</strong>r para θ y φ constantes , expresadas<br />

en coor<strong>de</strong>nadas características.<br />

en χ = χ0 (interior) y r = rs(t) (exterior), don<strong>de</strong> n µ es el vector normal a <strong>la</strong> frontera. Por<br />

simplicidad tomaremos <strong>la</strong> condición inicial ϕ = ϕ0 y que <strong>la</strong> <strong>de</strong>rivada temporal <strong>de</strong> ϕ se anu<strong>la</strong><br />

en <strong>la</strong> hipersuperficie inicial η = 0 t = 0. Por tanto, en el interior <strong>de</strong> <strong>la</strong> nube se tendrá<br />

at η = 0, y en el exterior<br />

δϕ = 0, (3.50)<br />

∂δϕ<br />

= 0,<br />

∂η<br />

(3.51)<br />

δϕ = 0, (3.52)<br />

∂δϕ<br />

= 0.<br />

∂t<br />

(3.53)<br />

Des<strong>de</strong> un punto <strong>de</strong> vista físico po<strong>de</strong>mos pensar que estas son <strong>la</strong>s condiciones iniciales <strong>de</strong> una<br />

estrel<strong>la</strong> altamente re<strong>la</strong>tivista en equilibrio hidrodinámico, en <strong>la</strong> cual, en un cierto momento<br />

t=0, “<strong>de</strong>sconectamos” <strong>la</strong> presión interna, con lo que dicha estrel<strong>la</strong> empieza a co<strong>la</strong>psar 1 .<br />

Veamos cuales son los resultados numéricos. Para ello dividamos el espacio-tiempo <strong>de</strong><br />

Oppenheimer-Sny<strong>de</strong>r en tres regiones (A),(B) y (C) tal y como se muestra en <strong>la</strong> figura 3.2<br />

y siguiendo a Cunningham, Price y Moncrief.<br />

En <strong>la</strong> figura 3.3 se muestra <strong>la</strong> forma <strong>de</strong> <strong>la</strong> onda gravitacional esca<strong>la</strong>r para r = 100M en <strong>la</strong><br />

teoría <strong>de</strong> Brans-Dicke <strong>de</strong>s<strong>de</strong> el co<strong>la</strong>pso <strong>de</strong> una nube <strong>de</strong> polvo con radio inicial rs0 = 10M. El eje<br />

<strong>de</strong> or<strong>de</strong>nadas es ζ = rδϕ. La solución es proporcional al parámetro α0 y por eso normalizamos<br />

1 Consultense apuntes <strong>de</strong> Astrófisica Este<strong>la</strong>r <strong>de</strong> cualquier otra universidad<br />

33


Figure 3.3: Forma <strong>de</strong> una onda gravitacional esca<strong>la</strong>r para r = 100M. El radio inicial se tomo<br />

rs0 = 10M. La or<strong>de</strong>nada es ζ = rδϕ. La abscisa representa el tiempo t <strong>de</strong>s<strong>de</strong> el inicio <strong>de</strong>l<br />

co<strong>la</strong>pso en t = 0.<br />

ζ como α0 = −0.0316 correspondiente a ω = 500 2 . Pue<strong>de</strong> verse que el campo esca<strong>la</strong>r alcanza<br />

un valor máximo La amplitud <strong>de</strong> este pico pue<strong>de</strong> estimarse como [29]<br />

δϕ ∼ α0M<br />

. (3.54)<br />

r<br />

Después <strong>de</strong> alcanzar dicho máximo el campo esca<strong>la</strong>r <strong>de</strong>crece por <strong>de</strong>bajo <strong>de</strong> su valor asintótico<br />

ϕ0 para aumentar <strong>de</strong>spués <strong>de</strong> forma monótona <strong>de</strong> nueva hacia el valor ϕ0.<br />

La figura 3.4 muestra el campo esca<strong>la</strong>r en el interior <strong>de</strong> <strong>la</strong> nube <strong>de</strong> polvo. El radio inicial es<br />

rs0 es 10M. Las abscisas son <strong>la</strong>s coor<strong>de</strong>nadas nu<strong>la</strong>s u = η − χ and v = η + χ.<br />

La figura 3.5 muestra <strong>la</strong> evolución temporal <strong>de</strong>l campo esca<strong>la</strong>r vista por un observador<br />

comovil. La abscisa es el tiempo conforme η y los números que aparecen en <strong>la</strong>s curvas son los<br />

valores <strong>de</strong> <strong>la</strong>s coor<strong>de</strong>nadas radiales fijas χ <strong>de</strong> los observadores comoviles.<br />

En <strong>la</strong> figura 3.6 se muestra <strong>la</strong> evolución temporal <strong>de</strong> <strong>la</strong> configuración inicial <strong>de</strong>l campo esca<strong>la</strong>r<br />

en <strong>la</strong> hipersuperficie en el tiempo conforme η = const. La abscisa es <strong>la</strong> coor<strong>de</strong>nada radial χ y<br />

los números <strong>de</strong> cada curva son los valores <strong>de</strong> η.<br />

Como ya se mencionó, a η = 0 el campo esca<strong>la</strong>r es ϕ0, es <strong>de</strong>cir, ζ = 0 en todo lugar.<br />

Posteriormente ϕ aumenta homogeneamente en <strong>la</strong> región central (u ∼ v) <strong>de</strong>bido a que <strong>la</strong> fuente<br />

<strong>de</strong>l campo esca<strong>la</strong>r es <strong>la</strong> bo<strong>la</strong> <strong>de</strong> polvo homogénea y <strong>la</strong> información <strong>de</strong> <strong>la</strong> superficie aún no<br />

ha llegado a <strong>la</strong> región central en <strong>la</strong>s primeras etapas. Dicha información se propaga hacia el<br />

interior a <strong>la</strong> velcidad <strong>de</strong> <strong>la</strong> luz y alcanza el centro en un tiempo η = χ0. Después <strong>de</strong> <strong>la</strong> reflexión,<br />

<strong>la</strong> configuración <strong>de</strong> <strong>la</strong> masa <strong>de</strong> polvo en el interior alcanza un estado cuasiestático y el campo<br />

2 La cota es antigua, pero puesto que el tratamiento original es numérico no he repetido los cálculos. De todas<br />

formas <strong>la</strong> importancia es re<strong>la</strong>tiva, pues es un factor <strong>de</strong> esca<strong>la</strong>.<br />

34


Figure 3.4: El campo esca<strong>la</strong>r en el interior <strong>de</strong> <strong>la</strong> nube <strong>de</strong> polvo en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke El<br />

radio inicial rs0 es 10M. (a) La or<strong>de</strong>nada es ζ = a sin χδϕ. Las abscisas son <strong>la</strong>s coor<strong>de</strong>nadas<br />

“nu<strong>la</strong>s” u = η − χ y v = η + χ.<br />

Figure 3.5: La evolución <strong>de</strong>l campo esca<strong>la</strong>r vista por observadores comóviles.<br />

35


Figure 3.6: Configuración <strong>de</strong>l campo esca<strong>la</strong>r en <strong>la</strong> hipersuperficie η = cte.<br />

esca<strong>la</strong>r evoluciona también <strong>de</strong> manera cuasiestática. Finalmente el campo esca<strong>la</strong>r cae <strong>de</strong>ntro<br />

<strong>de</strong>l horizonte <strong>de</strong> eventos.<br />

La solución numérica ζ = rδϕ en el exterior <strong>de</strong>l polvo se muestra en <strong>la</strong>s figuras 3.7 y 3.8.<br />

Como se pue<strong>de</strong> ver en ambas figuras, el campo esca<strong>la</strong>r aumenta primero respecto <strong>de</strong> su valor ϕ0<br />

<strong>de</strong>bido a <strong>la</strong> presencia <strong>de</strong>l polvo. Una vez que se ha formado el horizonte <strong>de</strong> eventos, el campo<br />

en el interior no pue<strong>de</strong> afectar al campo en el exterior. El campo esca<strong>la</strong>r se aproxima a su valor<br />

asintótico una vez que <strong>la</strong> onda ha pasado al observador a r = const.<br />

Es posible estudiar el comportamiento <strong>de</strong> estas soluciones con respecto al radio inicial y<br />

al parámetro que <strong>de</strong>fine <strong>la</strong> teoría, pero no haremos esto aquí para no exten<strong>de</strong>rnos <strong>de</strong>masiado.<br />

La amplitud <strong>de</strong> <strong>la</strong> onda nos daría información <strong>de</strong> <strong>la</strong> energía autogravitante <strong>de</strong>l cuerpo. Si<br />

obtenemos experimentalmente <strong>la</strong> forma <strong>de</strong> una onda gravitacional esca<strong>la</strong>r, podremos <strong>de</strong>terminar<br />

su amplitud, su frecuencia característica y sus frecuencias modales. La amplitud <strong>de</strong> <strong>la</strong> onda<br />

nos daría información <strong>de</strong> <strong>la</strong> energía autogravitante <strong>de</strong>l cuerpo y puesto que <strong>la</strong> frecuencia modal<br />

es inversamente proporcional a <strong>la</strong> masa podríamos obtener información acerca <strong>de</strong> <strong>la</strong> fuente.<br />

A<strong>de</strong>más, si conocemos <strong>la</strong> distancia a <strong>la</strong> fuente por otro método, podríamos <strong>de</strong>terminar el<br />

parámetro <strong>de</strong> Brans-Dicke ω; es más, podríamos <strong>de</strong>terminar el radio inicial <strong>de</strong> su frecuencia<br />

característica. Resumiendo lo anterior:<br />

(1) En <strong>la</strong> teoría <strong>de</strong> Brans-Dicke el back-reaction <strong>de</strong>l campo esca<strong>la</strong>r sobre el espacio tiempo<br />

va como O(1/ω), <strong>de</strong> forma que si ω ≫ 1, este efecto es <strong>de</strong>spreciable.<br />

(2) En <strong>la</strong> teoría <strong>de</strong> Brans-Dicke (y en general en <strong>la</strong>s teorías esca<strong>la</strong>r-tensor) el campo esca<strong>la</strong>r<br />

se aproxima a su valor asintótico una vez que ha pasado al observador en r = const.<br />

(3) En <strong>la</strong> teoría <strong>de</strong> Brans-Dicke es posible <strong>de</strong>terminar <strong>la</strong> masa, el radio inicial y el parámetro<br />

<strong>de</strong> Brans-Dicke <strong>de</strong> <strong>la</strong> forma <strong>de</strong> <strong>la</strong> onda gravitacional y <strong>de</strong> <strong>la</strong> distancia a <strong>la</strong> fuente.<br />

36


Figure 3.7: El campo esca<strong>la</strong>r en el exterior <strong>de</strong>l polvo en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke (region (B)<br />

<strong>de</strong> <strong>la</strong> figura 3.2). El radio inicial es 10M.<br />

Figure 3.8: El campo esca<strong>la</strong>r en el exterior <strong>de</strong>l polvo en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke (region (C)<br />

<strong>de</strong> <strong>la</strong> figura 3.2). El radio inicial es 10M. La or<strong>de</strong>nada es ζ = rδϕ y <strong>la</strong>s abscisas ũ = t − r∗ y<br />

˜v = t + r∗.<br />

37


Figure 3.9: El pulsar binario constituye un reloj en movimiento <strong>de</strong> alta precisión: <strong>la</strong> herramienta<br />

i<strong>de</strong>al para testar <strong>la</strong> re<strong>la</strong>tividad general.<br />

3.4 El pulsar binario y <strong>la</strong>s teorías esca<strong>la</strong>r-tensor<br />

Los pulsares binarios son maravillosas herramientas para testar <strong>la</strong> re<strong>la</strong>tividad general en el<br />

regimen <strong>de</strong> campo fuerte. Un pulsar es una estrel<strong>la</strong> <strong>de</strong> neutrones rotando rapidamente y<br />

emitiendo un haz <strong>de</strong> ondas <strong>de</strong> radio, como si <strong>de</strong> un faro se tratase (veáse <strong>la</strong> figura 3.9).<br />

Los experimentos nos muestran que los pulsares, cuando son lo suficientemente viejos, son<br />

relojes extremadamente estables. Un pulsar A orbitando en torno a un objeto B es por tanto un<br />

reloj en movimiento, <strong>la</strong> mejor herramienta que uno podría imaginar para testar <strong>la</strong> Re<strong>la</strong>tividad<br />

General!. Los efectos re<strong>la</strong>tivistas que se producen en estos pulsares <strong>de</strong>pen<strong>de</strong>n <strong>de</strong> <strong>la</strong>s masas<br />

mA y mB, <strong>la</strong>s cuales no son directamente medibles. Sin embargo, bastan dos <strong>de</strong> estos efectos<br />

para <strong>de</strong>terminar<strong>la</strong>s. Con esto y utilizando un tercer observable es posible realizar tests <strong>de</strong> <strong>la</strong><br />

Re<strong>la</strong>tividad General. En el caso <strong>de</strong>l famoso pulsar binario 1913 + 16, <strong>de</strong>scubierto por Hulse<br />

y Taylor, se han <strong>de</strong>terminado con gran precisión tres <strong>de</strong> los parámetros <strong>de</strong>l pulsar: (i) El<br />

retraso temporal Einsteniano γT , que combina el efecto Doppler a segundo or<strong>de</strong>n (∝ v 2 A /2c2 ,<br />

don<strong>de</strong> vA es <strong>la</strong> velocidad <strong>de</strong>l pulsar) con el redshift <strong>de</strong>bido a <strong>la</strong> compañera (∝ GmB/rABc 2 ,<br />

don<strong>de</strong> rAB es <strong>la</strong> distancia entre el pulsar y <strong>la</strong> compañera); (ii) El avance <strong>de</strong>l periastro ˙ω (efecto<br />

re<strong>la</strong>tivista <strong>de</strong> or<strong>de</strong>n v2 /c2 );y (iii) <strong>la</strong> tasa <strong>de</strong> cambio <strong>de</strong>l periodo orbital, P ˙ , <strong>de</strong>bida a <strong>la</strong> emisión<br />

<strong>de</strong> ondas gravitacionales (un efecto <strong>de</strong> or<strong>de</strong>n v 5 /c 5 en GR, pero <strong>de</strong> or<strong>de</strong>n v 3 /c 3 en <strong>la</strong>s teorías<br />

esca<strong>la</strong>r-tensor)<br />

La figura 3.10 muestra el p<strong>la</strong>no <strong>de</strong> <strong>la</strong>s dos masas a priori <strong>de</strong>sconocidas, mA and mB. Para<br />

cada uno <strong>de</strong> los parámetros re<strong>la</strong>tivistas, <strong>la</strong> predicción <strong>de</strong> una cierta teoría dada es consistente<br />

con los experimentos sólo a lo <strong>la</strong>rgo <strong>de</strong> un línea estrecha. En Re<strong>la</strong>tividad General, el hecho<br />

<strong>de</strong> que <strong>la</strong>s tres líneas se encuentren en un único punto significa que existe un par <strong>de</strong> masas<br />

(mA, mB) que son simultaneamente consistentes con los tres observables físicos, lo cual es una<br />

extraordinaria confirmación <strong>de</strong> <strong>la</strong> teoría einsteniana <strong>de</strong> <strong>la</strong> gravitación.<br />

Obviamente, <strong>la</strong>s líneas <strong>de</strong> <strong>la</strong>s que hemos hab<strong>la</strong>do se verán <strong>de</strong>formadas en <strong>la</strong>s teorías esca<strong>la</strong>r<br />

tensor, y en el caso <strong>de</strong> que no encuentren un punto <strong>de</strong> intersección común <strong>la</strong> teoría <strong>de</strong>berá ser<br />

<strong>de</strong>scartada. La parte <strong>de</strong>recha <strong>de</strong> <strong>la</strong> figura 3.10 ilustra este caso. Las teorías permitidas son<br />

aquel<strong>la</strong>s que se situan por <strong>de</strong>bajo <strong>de</strong> <strong>la</strong> línea <strong>de</strong>notada como PSR B1913+16 en <strong>la</strong> figura 2.1.<br />

38


m B/m<br />

2.5<br />

2<br />

1.5<br />

1<br />

0.5<br />

General re<strong>la</strong>tivity Sca<strong>la</strong>r-tensor theory β = −6<br />

mB/m 0<br />

P GR (mA ,mB ) = P exp<br />

. .<br />

intersection<br />

γ GR (m A ,m B ) = γ exp<br />

T T<br />

ω GR (mA ,mB ) = ω exp<br />

. .<br />

0 0.5 1 1.5 2 2.5<br />

m A/m<br />

2.5<br />

2<br />

1.5<br />

1<br />

0.5<br />

ω .<br />

P .<br />

γ<br />

T<br />

0 0.5 1 1.5 2 2.5<br />

m A/m<br />

Figure 3.10: P<strong>la</strong>no <strong>de</strong> masas (mA = pulsar, mB = compañera) para el pulsar binario <strong>de</strong> Hulse-<br />

Taylor, PSR B1913+16 en Re<strong>la</strong>tividad General (a <strong>la</strong> izquierda) y para una teoría esca<strong>la</strong>r-tensor<br />

con β0 = −6 (<strong>de</strong>recha). La anchura <strong>de</strong> <strong>la</strong>s líneas es mayor que <strong>la</strong>s barras <strong>de</strong> error 1σ. Pue<strong>de</strong><br />

verse que mientras que GR pasa bril<strong>la</strong>ntemente el test, el valor β0 = −6 <strong>de</strong>be ser <strong>de</strong>sechado.<br />

Figure 3.11: P<strong>la</strong>no <strong>de</strong> masas para una teoría esca<strong>la</strong>r tensor con valor β0 = −4.5. Pue<strong>de</strong> verse<br />

c<strong>la</strong>ramente que, aunque <strong>la</strong>s líneas se encuentran <strong>de</strong>formadas con respecto a <strong>la</strong>s <strong>de</strong> <strong>la</strong> figura 3.10<br />

correspondiente a GR, los tres test encuentran un punto <strong>de</strong> intersección común en esta teoría,<br />

a diferencia <strong>de</strong> los que ocurría con β0 = −6.<br />

39


Figure 3.12: Cotas actuales a <strong>la</strong>s teorías esca<strong>la</strong>r tensor con acoplos no lineales. Se incluyen<br />

tanto los resultados obtenidos en el sistema so<strong>la</strong>r como los obtenidos utilizando los sistemas<br />

binarios.<br />

Dicha gráfica muestra c<strong>la</strong>ramente <strong>la</strong>s diferencias cualitativas entre los experimentos realizados<br />

en el sistema so<strong>la</strong>r y los realizados en los sistemas binarios. Estos últimos imponen (veáse <strong>la</strong><br />

figura 3.11)<br />

β0 > −4.5 , (3.55)<br />

incluso para un valor extremadamente pequeño <strong>de</strong> α0. Reescribiendo esta cota en términos <strong>de</strong><br />

los parámetros postnewtonianos β PPN and γ PPN se tiene,<br />

βPPN − 1<br />

γPPN < 1.1 . (3.56)<br />

− 1<br />

El carácter singu<strong>la</strong>r (0/0) <strong>de</strong> este cociente da cuenta <strong>de</strong> porqué tal conclusión no podía<br />

obtenerse a traves <strong>de</strong> experimentos realizados en el régimen <strong>de</strong> campo débil.<br />

Son muchos los pulsares que se conocen con una buena precisión en <strong>la</strong> actualidad (veáse el<br />

Apéndice B para obtener información sobre algunos <strong>de</strong> ellos). En <strong>la</strong> figura 3.12 se incluyen todas<br />

<strong>la</strong>s cotas existentes actualmente sobre <strong>la</strong> teoría esca<strong>la</strong>r tensor, ya sea <strong>de</strong>bidas a experimentos<br />

en el sistema so<strong>la</strong>r o mediante pulsares. Destacan, por su perspectiva <strong>de</strong> futuro, <strong>la</strong>s ligaduras<br />

impuestas por el sistema PSR J1141−6545, recientemente medido, constituido por una estrel<strong>la</strong><br />

<strong>de</strong> neutrones y una enana b<strong>la</strong>nca. Nótese <strong>la</strong> fuerte acotación que aporta este pulsar sobre<br />

los parámetros <strong>de</strong> acoplo. Este sistema binario es extraordinariamente asimétrico. Destaco<br />

esta característica , pues esta asimetría es fundamental para testar una <strong>de</strong> <strong>la</strong>s diferencias mas<br />

fuertes entre <strong>la</strong> teoría einsteniana <strong>de</strong> <strong>la</strong> gravitación y <strong>la</strong> teoría <strong>de</strong> Brans-Dicke: <strong>la</strong> predicción<br />

<strong>de</strong> radiación gravitacional dipo<strong>la</strong>r. No entraré a discutir aquí este efecto <strong>de</strong> manera profunda,<br />

40


pero pienso que es importante comentarlo y discutir <strong>de</strong> manera cualitativa esta diferencia entre<br />

ambas teorías.<br />

La teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General satisface, como vimos, el Principio <strong>de</strong> Equivalencia<br />

Fuerte porque contiene un, y sólo un, campo gravitacional, <strong>la</strong> métrica gµν (<strong>de</strong> hecho es <strong>la</strong> única<br />

teoría que lo hace). No existe por tanto radiación dipo<strong>la</strong>r ya que el “momento dipo<strong>la</strong>r” (centro<br />

<strong>de</strong> masas) <strong>de</strong> un sistema ais<strong>la</strong>do es uniforme en el tiempo (conservación <strong>de</strong>l momento), y <strong>la</strong><br />

“masa inercial ” que <strong>de</strong>termina el momento dipo<strong>la</strong>r es <strong>la</strong> misma que <strong>la</strong> masa que genera <strong>la</strong>s<br />

ondas gravitacionales (SEP).<br />

En cambio en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke esto no tiene porque cumplirse (vio<strong>la</strong>ción <strong>de</strong>l SEP).<br />

El origen <strong>de</strong> <strong>la</strong> radiación dipo<strong>la</strong>r en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke es <strong>la</strong> diferencia entre <strong>la</strong> energía<br />

<strong>de</strong> ligadura autogravitacional por unidad <strong>de</strong> masa entre los dos cuerpos que forman un sistema<br />

binario dado. La existencia <strong>de</strong> radiación gravitacional dipo<strong>la</strong>r podría, en principio, ser significativamente<br />

más fuerte que <strong>la</strong> radiación cuadrupo<strong>la</strong>r usual, pues <strong>de</strong>pen<strong>de</strong> <strong>de</strong> potencias menores<br />

<strong>de</strong> <strong>la</strong> velocidad orbital v, y a<strong>de</strong>más, <strong>de</strong>pen<strong>de</strong> <strong>de</strong> <strong>la</strong> energía <strong>de</strong> ligadura por unidad <strong>de</strong> masa<br />

<strong>de</strong> los cuerpos, <strong>la</strong> cual, para una estrel<strong>la</strong> <strong>de</strong> neutrones pue<strong>de</strong> correspon<strong>de</strong>r a un 40 por ciento<br />

<strong>de</strong>l total. De forma esquemática, el flujo <strong>de</strong> energía emitido en forma <strong>de</strong> ondas gravitacionales<br />

sería<br />

<br />

Cuadrupolo<br />

Flujo <strong>de</strong> energía =<br />

c5 <br />

Monopolo<br />

+<br />

0 +<br />

c<br />

1<br />

c2 2 <br />

1<br />

+ O<br />

c7 <br />

helicidad 2<br />

+ Dipolo<br />

c3 (αA − αB) 2 + Cuadrupolo<br />

c5 + O<br />

<br />

1<br />

c7 (3.57)<br />

helicidad 0<br />

El primer corchete contienen <strong>la</strong> predicción <strong>de</strong> re<strong>la</strong>tividad general, <strong>de</strong> or<strong>de</strong>n v 5 /c 5 , mientras<br />

que el segundo contiene <strong>la</strong>s contribuciones adicionales predichas por <strong>la</strong>s teorías esca<strong>la</strong>r-tensor.<br />

3 En particu<strong>la</strong>r, <strong>la</strong> contribución dipo<strong>la</strong>r es <strong>de</strong> or<strong>de</strong>n v 3 /c 3 , mucho mayor que el término<br />

cuadrupo<strong>la</strong>r usual <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General. Este nuevo flujo <strong>de</strong> energía podría llegar a<br />

alterar significativamente <strong>la</strong> órbita <strong>de</strong>l sistema binario. Sin embargo, en aquel<strong>la</strong>s teorías <strong>de</strong> <strong>la</strong><br />

gravedad próximas, en algún sentido, a GR es <strong>de</strong> esperar que <strong>la</strong> radiación dipo<strong>la</strong>r no sea un<br />

efecto tan pronunciado, y este es precisamente el caso <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke. Los sistemas<br />

con una alta simetría, como es el caso <strong>de</strong>l pulsar binario, 1913 + 16 no son buenos sistemas<br />

para buscar diferencias entre GR y <strong>la</strong> teoría <strong>de</strong> Brans-Dicke y proporcionan una cota muy baja<br />

para el parámetro ω. En cambio, en un sistema binario constituido por objetos distintos, tales<br />

como una enana b<strong>la</strong>nca o un agujero negro como compa˜eros, los efectos <strong>de</strong> radiación dipo<strong>la</strong>r<br />

serían mucho más pronunciados; este es precisamente el caso <strong>de</strong>l mencionado PSR J1141−6545.<br />

Nótese que <strong>la</strong>s cotas impuestas por este pulsar son casi tan importantes como <strong>la</strong>s impuestas<br />

por los experimentos en el sistema so<strong>la</strong>r, incluso en <strong>la</strong> región β0 > 0. Se espera que este pulsar<br />

proporcione cotas <strong>de</strong> los parámetros <strong>de</strong> Eddington en torno a |γ PPN − 1| ∼ 10 −6 para finales<br />

<strong>de</strong> esta década.<br />

Resumiendo, los experimentos realizados en el sistema so<strong>la</strong>r imponen fuertes ligaduras a<br />

ln A(ϕ) (acoplo lineal a <strong>la</strong> materia α0), mientras que los experimentos en el régimen <strong>de</strong> campo<br />

fuerte, imponen restricciones a su segunda <strong>de</strong>rivada β0 (acoplo cuadrático a <strong>la</strong> materia), imponiendo<br />

que no sea excesivamente gran<strong>de</strong> y negativa.<br />

3 Es conveniente hacer aquí una observación. Determinadas elecciones <strong>de</strong> <strong>la</strong> función ω(φ) pue<strong>de</strong>n evitar <strong>la</strong><br />

producción <strong>de</strong> radiación dipo<strong>la</strong>r. Por ejemplo, si ω(φ) = (4 − 3φ)/(2φ − 2) (Teoría <strong>de</strong> G constante <strong>de</strong> Barker),<br />

se satisface, a or<strong>de</strong>n postnewtoniano, el Principio <strong>de</strong> Equivalencia Fuerte; <strong>la</strong> constante gravitacional G medida<br />

localmente es constante, y <strong>la</strong> teoría no produce por tanto radiación dipo<strong>la</strong>r.<br />

41


Figure 3.13: Los giróscopos utilizados en Gravity Probe B constituyen <strong>la</strong>s esferas más perfectas<br />

jamas creadas por el hombre.<br />

3.5 Los dispositivos actuales y los que han <strong>de</strong> venir<br />

No sería a<strong>de</strong>cuado terminar esta sección <strong>de</strong>dicada a los resultados experimentales sin mencionar<br />

los dispositivos actuales <strong>de</strong> medición y, lo que es más importante, los que apareceran en el futuro.<br />

Por supuesto no estan todos, pero si los mas significativos (muchos <strong>de</strong> ellos son proyectos<br />

simi<strong>la</strong>res llevados a cabo por distintos grupos). Describiré a continuación estos prodigios <strong>de</strong> <strong>la</strong><br />

técnica, su utilidad, indicando en cada uno <strong>de</strong> ellos <strong>la</strong> cota aproximada esperada para <strong>la</strong> teoría<br />

esca<strong>la</strong>r-tensor a partir <strong>de</strong> sus mediciones.<br />

3.5.1 Gravity Prove B<br />

El Stanford-Lockheed-NASA Gyroscope Experiment, l<strong>la</strong>mado también Gravity Probe B, es<br />

un experimento diseado por <strong>la</strong> NASA y <strong>la</strong> Universidad <strong>de</strong> Stanford. El experimento medirá<br />

con gran precisión los minúsculos cambios en <strong>la</strong> dirección <strong>de</strong> cuatro giróscopos contenidos en<br />

un satélite orbitando a 650 km <strong>de</strong> altitud directamente sobre los polos y testeará con ello los<br />

dos efectos predichos por re<strong>la</strong>tividad general: <strong>la</strong> precesión geodética y el frame dragging. El<br />

objetivo es <strong>de</strong>tectar y medir estos dos efectos con una precisión mayor que 0.5 milisegundos <strong>de</strong><br />

arco por año. Para esto es necesario <strong>la</strong> utilización <strong>de</strong> giróscopos esféricos que difieran <strong>de</strong> una<br />

esfera perfecta en menos <strong>de</strong> 12 nm (veáse <strong>la</strong> figura 3.13).<br />

Aunque el objetivo anteriormente expuesto es el principal GP-B, medirá también <strong>la</strong> precesión<br />

causada por <strong>la</strong> curvatura <strong>de</strong>l espacio ordinario alre<strong>de</strong>dor <strong>de</strong> <strong>la</strong> Tierra. Las medidas <strong>de</strong> este<br />

último efecto podrían situar <strong>la</strong> cota para el parámetro ω en 10 5 o incluso más.<br />

3.5.2 LISA<br />

El Laser Interferometer Space Antenna (LISA) es un <strong>de</strong>tector <strong>de</strong> ondas gravitacionales que esta<br />

siendo diseñado para ser <strong>la</strong>nzado en un periodo comprendido entre el 2010 y el 2015. Consta<br />

<strong>de</strong> una disposición triangu<strong>la</strong>r <strong>de</strong> tres satélites orbitando alre<strong>de</strong>dor <strong>de</strong>l Sol en una órbita simi<strong>la</strong>r<br />

a <strong>la</strong> Tierra y utilizará interferometría <strong>la</strong>ser para abrir una ventana a ondas gravitacionales<br />

<strong>de</strong> baja frecuencia y para complementar <strong>la</strong>s ventanas <strong>de</strong> alta frecuencia que están siendo actualmente<br />

exploradas por interferómetros en tierra. Se espera que LISA sea capaz observar<br />

ondas proce<strong>de</strong>ntes <strong>de</strong> sistemas binarios conocidos, agujeros negros y otros objetos compactos<br />

y posiblemente también <strong>de</strong> transiciones <strong>de</strong> fase en el Universo primitivo.<br />

42


Figure 3.14: Posibles ligaduras al parámetro ω usando LISA<br />

LISA pue<strong>de</strong> constituir también una forma nueva e interesante <strong>de</strong> testar <strong>la</strong> física fundamental.<br />

Algunos autores como Will, Yunes y Scharre [61] han <strong>de</strong>mostrado que <strong>la</strong>s observaciones <strong>de</strong><br />

ondas proce<strong>de</strong>ntes <strong>de</strong> sistemas binarios podrían podrían utilizarse para obtener cotas a teorías<br />

alternativas a <strong>la</strong> gravedad, como por ejemplo <strong>la</strong> teoría esca<strong>la</strong>r-tensor. Estimaron que mediante<br />

observaciones <strong>de</strong> una estrel<strong>la</strong> <strong>de</strong> neutrones <strong>de</strong> 1.4M⊙ orbitando en torno a un agujero negro<br />

masivo <strong>de</strong> masa en torno a 1000M⊙ en el cluster <strong>de</strong> Virgo con un cociente señal-ruido en torno<br />

a 10 se podría elevar <strong>la</strong> cota a 3 × 10 5 . Para masas menores <strong>la</strong> cota podría situarse en torno a<br />

2 × 10 6 (veáse figura 3.14). La cota es in<strong>de</strong>pendiente <strong>de</strong> <strong>la</strong> longitud <strong>de</strong> brazo <strong>de</strong> LISA.<br />

3.5.3 GAIA<br />

GAIA es una misión espacial astrométrica global, actualmente en <strong>de</strong>sarrollo (ver figura 3.15).<br />

Su <strong>la</strong>nzamiento esta previsto para 2010. Su objetivo principal es continuar con el trabajo <strong>de</strong><br />

su pre<strong>de</strong>cesor Hipparcos 4 , <strong>de</strong>terminar <strong>la</strong> estructura y forma <strong>de</strong> nuestra ga<strong>la</strong>xia y construir el<br />

mayor y más preciso mapa <strong>de</strong> <strong>la</strong> misma. Tendrá una resolución <strong>de</strong> 0.1 segundos <strong>de</strong> arco. Se<br />

espera que alcance una cota para el parámetro postnewtoniano γ en torno a 5×10 −7 (recuér<strong>de</strong>se<br />

que actualmente <strong>la</strong> cota más fuerte es <strong>la</strong> obtenida por <strong>la</strong> sonda Cassini γ −1 = (2.1±.3)×10 −5 ),<br />

que elevaría brutalmente <strong>la</strong> cota inferior para el parámetro ω ∼ 2 × 10 6 . Del mismo modo, es<br />

<strong>de</strong> esperar que β ∼ 3 ×10 −4 −10 −5 (entre 10 y 100 veces mejor que <strong>la</strong>s medidas <strong>de</strong> Lunar Laser<br />

Ranging actuales).<br />

4 Recuér<strong>de</strong>se que este satélite ya proporcionó en su momento un fuerte cota <strong>de</strong>l parámetro γ P P N .<br />

43


Figure 3.15: La misión GAIA tomará el relevo <strong>de</strong>l satelite Hipparcos. Tiene como objetivo<br />

principal <strong>de</strong>terminar <strong>la</strong> estructura y forma <strong>de</strong> nuestra ga<strong>la</strong>xia.<br />

Figure 3.16: Una <strong>de</strong> <strong>la</strong>s dos insta<strong>la</strong>ciones con <strong>la</strong>s que cuenta el Laser Interferometer<br />

Gravitational-Wave Observatory LIGO, <strong>de</strong>dicado a <strong>la</strong> <strong>de</strong>tección <strong>de</strong> ondas gravitacionales<br />

3.5.4 LIGO<br />

El Laser Interferometer Gravitational-Wave Observatory (LIGO) esta <strong>de</strong>dicado a <strong>la</strong> <strong>de</strong>tección<br />

<strong>de</strong> ondas gravitacionales y a <strong>la</strong> medida <strong>de</strong> <strong>la</strong> mismas. Consta <strong>de</strong> dos insta<strong>la</strong>ciones (Livingston<br />

y Hanford) ampliamente separadas <strong>de</strong>ntro <strong>de</strong> los Estados Unidos, que operan simultaneamente<br />

(ver figura 3.16). Una <strong>de</strong> <strong>la</strong>s razones <strong>de</strong> <strong>la</strong> existencia <strong>de</strong> dos localizaciones es <strong>la</strong> posible aparición<br />

<strong>de</strong> fenomenos locales, tales como pequeos terremotos o ruido acústico, que podrían generar<br />

confusión en los datos experimentales. Esto pue<strong>de</strong> ocurrir en un cierto lugar, pero es muy<br />

dificil que ocurran simultaneamente en dos lugares tan separados.<br />

44


Chapter 4<br />

Re<strong>la</strong>ción con otras teorías mo<strong>de</strong>rnas<br />

4.1 Introduccíon<br />

“The effort to un<strong>de</strong>rstand the universe is one of<br />

the very few things that lifts human life a little<br />

above the level of farce, and gives it some of<br />

the grace of tragedy. ”<br />

Steven Weinberg<br />

La teoría <strong>de</strong> Brans-Dicke no es sólo interesante como una alternativa posible a <strong>la</strong> Re<strong>la</strong>tividad<br />

General. Quizá su mayor interés es que es el límite a bajas energías <strong>de</strong> otras teorías más<br />

fundamentales como pue<strong>de</strong> ser <strong>la</strong> teoría <strong>de</strong> cuerdas. Sin embargo, <strong>la</strong> teorías esca<strong>la</strong>r-tensor<br />

aparecen, <strong>de</strong> forma más o menos oculta, en otros campos como <strong>la</strong> cosmología; sirvan <strong>de</strong> ejemplo<br />

los mo<strong>de</strong>los <strong>de</strong> quintaesencia o <strong>la</strong> variación <strong>de</strong> <strong>la</strong> contanste cosmológica, Higgs, etc . . . . En<br />

esta sección intentaré explicar <strong>la</strong> re<strong>la</strong>ción existente entre estas teorías. Analizaré <strong>de</strong> forma<br />

expositiva el problema <strong>de</strong> <strong>la</strong> constante cosmológica y su posible ”solución” basándose en teorías<br />

que incluyan un potencial esca<strong>la</strong>r. Expondré a<strong>de</strong>más, con mayor extensión (quizá por <strong>de</strong>bilidad<br />

personal hacia el tema), <strong>la</strong> teoría <strong>de</strong> cuerdas y su límite a bajas energías y concluiré con <strong>la</strong>s cotas<br />

a <strong>la</strong> variación <strong>de</strong> <strong>la</strong> constante gravitacional, otra <strong>de</strong> <strong>la</strong>s predicciones <strong>de</strong> <strong>la</strong> teoría esca<strong>la</strong>r-tensor.<br />

4.2 Re<strong>la</strong>ción con <strong>la</strong> teoría <strong>de</strong> cuerdas<br />

La mayor parte <strong>de</strong> los físicos consi<strong>de</strong>ran que <strong>la</strong> teoría <strong>de</strong> <strong>la</strong> gravedad a bajas energías <strong>de</strong>be ser<br />

una aproximación efectiva <strong>de</strong> alguna teoría fundamental <strong>de</strong> gravedad cuántica a energías más<br />

allá <strong>de</strong> <strong>la</strong> esca<strong>la</strong> P<strong>la</strong>nck (MP l ∼ 10 19 GeV ). La teoría <strong>de</strong> cuerdas pue<strong>de</strong> constituir un prometedor<br />

origen <strong>de</strong>l campo esca<strong>la</strong>r. La teoría <strong>de</strong> cuerdas, a diferencia <strong>de</strong> <strong>la</strong> mecánica cuantica, asume que<br />

<strong>la</strong>s partícu<strong>la</strong>s elementales son objetos extensos unidimensionales. A<strong>de</strong>más <strong>de</strong> propagarse <strong>la</strong>s<br />

cuerdas también pue<strong>de</strong>n osci<strong>la</strong>r. Sus diferentes modos <strong>de</strong> osci<strong>la</strong>ción pue<strong>de</strong>n ser interpretados<br />

como diferentes partícu<strong>la</strong>s elementales, cada una en posesión <strong>de</strong> sus propios números cuánticos.<br />

Uns cuerda particu<strong>la</strong>r pue<strong>de</strong> ser abierta o cerrada. En algunas teorías <strong>de</strong> cuerdas ambas<br />

coexisten, mientras que otras, consi<strong>de</strong>ran sólo uno <strong>de</strong> los dos tipos. Cuando una cuerda se<br />

propaga en el espacio-tiempo <strong>de</strong>scribe una superficie <strong>de</strong>nominada <strong>la</strong> “hoja <strong>de</strong>l universo” <strong>de</strong> <strong>la</strong><br />

cuerda ( worldsheet) , equivalente a <strong>la</strong> “linea <strong>de</strong>l universo” que <strong>de</strong>scribe una partícu<strong>la</strong> puntual en<br />

el espacio <strong>de</strong> Minkowski. Las coor<strong>de</strong>nadas que <strong>de</strong>finen el worldsheet son σ = σ 2 y τ = σ 2 , don<strong>de</strong><br />

σ se interpreta como una coor<strong>de</strong>nada espacial mientras que τ es una coor<strong>de</strong>nada temporal. En<br />

45


Figure 4.1: El worldsheet <strong>de</strong> una cuerda embebido en un cierto espacio. X mapea el worldsheet<br />

al espacio <strong>de</strong> acogida.<br />

el worldsheet existen campos, tales como el campo bosónico X(σ, τ). Des<strong>de</strong> el punto <strong>de</strong> vista<br />

<strong>de</strong>l espacio tiempo X(σ, τ) es una coor<strong>de</strong>nada que da <strong>la</strong> posición en el espacio tiempo, que por<br />

ahora tomaremos como el espacio <strong>de</strong> Minkowski, <strong>de</strong> un punto (σ, τ) <strong>de</strong>l worldsheet.<br />

Una vez presentadas <strong>la</strong>s cuerdas, aunque <strong>de</strong> forma grotesca, <strong>la</strong> pregunta fundamental que<br />

surge es: Cómo se re<strong>la</strong>cionan <strong>la</strong>s teorías <strong>de</strong> cuerdas con <strong>la</strong> cosmología?. Abordar el tema a<br />

fondo es complicado y queda fuera <strong>de</strong> el tiempo y extensión <strong>de</strong> este trabajo (y seguramente <strong>de</strong><br />

los conocimientos <strong>de</strong>l autor), pero intentaré dar una explicación ligera <strong>de</strong> cuales son los pasos<br />

a seguir.<br />

Tomaremos como punto <strong>de</strong> partida <strong>la</strong> acción para una partícu<strong>la</strong> clásica re<strong>la</strong>tivista. Como<br />

sabemos <strong>la</strong> acción gobierna <strong>la</strong> dinámica <strong>de</strong> una partícu<strong>la</strong> puntual exigiendo que su trayectoria<br />

geodésica en el espacio-tiempo sea mínima. Una generalización al caso <strong>de</strong> cuerdas, sencil<strong>la</strong> <strong>de</strong><br />

enten<strong>de</strong>r, es que <strong>la</strong> dinámica <strong>de</strong> una cuerda clásica venga <strong>de</strong>terminada por el requerimiento <strong>de</strong><br />

que el área <strong>de</strong>l worldsheet sea mínima. Esto pue<strong>de</strong> formu<strong>la</strong>rse en términos <strong>de</strong> <strong>la</strong> conocida como<br />

acción <strong>de</strong> Polyakov:<br />

SNG = − 1<br />

4πα ′<br />

<br />

dσdτ<br />

A<br />

√ hh αβ ∂αX µ ∂βXµ. (4.1)<br />

don<strong>de</strong> el campo h es un campo no dinámico que juega el papel <strong>de</strong> una métrica <strong>de</strong>l worldsheet.<br />

Variando <strong>la</strong> acción respecto <strong>de</strong> este campo se pue<strong>de</strong> encontrar, como es usual, un tensor energía<br />

momento. La acción dada es invariante bajo difeomorfismos y bajo transformaciones conformes<br />

y podría generalizarse incluyendo un término Gauss-Bonnet, nosotros no haremos esto.<br />

El siguiente paso en nuestro camino a encontrar una re<strong>la</strong>ción con <strong>la</strong> cosmología será generalizar<br />

<strong>la</strong> acción <strong>de</strong> Polyakov <strong>de</strong>l espacio <strong>de</strong> Minkowski a uno general. Pasemos <strong>de</strong> <strong>la</strong> métrica η<br />

a una métrica general g(X):<br />

SNG = − 1<br />

4πα ′<br />

<br />

d<br />

A<br />

2 x √ hh αβ ∂αX µ ∂βX ν gµν(X). (4.2)<br />

C<strong>la</strong>ramente, <strong>la</strong> acción anterior constituye una generalización <strong>de</strong> <strong>la</strong> acción <strong>de</strong> Polyakov y ,<br />

aunque no es obvio en principio, es <strong>la</strong> forma correcta <strong>de</strong> <strong>de</strong>scribir <strong>la</strong> propagación <strong>de</strong> cuerdas<br />

en un sistema general, posiblemente curvado. Hasta aquí todo parece más o menos fácil <strong>de</strong><br />

enten<strong>de</strong>r, y <strong>de</strong> explicar por mi parte. La parte hetérea <strong>de</strong>l asunto comienza ahora.<br />

Pue<strong>de</strong> <strong>de</strong>mostrarse que una perturbación en el espacio <strong>de</strong> Minkowski es equivalente a evaluar<br />

el espacio p<strong>la</strong>no en teoría <strong>de</strong> cuerdas en un fondo <strong>de</strong> gravitones coherentes. Esto lleva a incluir<br />

46


una serie <strong>de</strong> campos no masivos: el tensor antisimétrico B y el di<strong>la</strong>tón Φ. El resultado <strong>de</strong> esto<br />

es (ver Polchinski, sección 3.7):<br />

S = − 1<br />

4πα ′<br />

<br />

d<br />

A<br />

2 x √ <br />

h h αβ gµν(X) + iɛ αβ <br />

Bµν(X) ∂αX µ ∂βX ν + 1<br />

<br />

d<br />

4π A<br />

2 x √ hRΦ(X), (4.3)<br />

don<strong>de</strong> R es el esca<strong>la</strong>r <strong>de</strong> curvatura <strong>de</strong> worldsheet. Esta acción, en el límite <strong>de</strong> bajas energías,<br />

será <strong>la</strong> que nos lleve a <strong>la</strong> teoría <strong>de</strong> Brans-Dicke. Haciendo un <strong>de</strong>sarrollo en α ′ <strong>la</strong> parte relevante<br />

<strong>de</strong>l <strong>la</strong>grangiano a bajas energías viene dada por:<br />

LST = √ ge −2Φ<br />

<br />

R + 2g µν ∂µΦ∂νΦ − 1<br />

<br />

µνλ<br />

HµνλH , (4.4)<br />

12<br />

don<strong>de</strong> Hµνλ = ∂µBνλ + ∂νBµλ + ∂λBµν y R es el tensor <strong>de</strong> Ricci (construído <strong>de</strong> g). Si en esta<br />

expresión hacemos φ = 2e−Φ , los dos primeros términos <strong>de</strong> esta ecuación se escriben:<br />

LST1 = √ <br />

1<br />

−g<br />

2 ξφ2R − 1<br />

2 ɛg ¯µ¯ν <br />

∂¯µφ∂¯νφ , (4.5)<br />

don<strong>de</strong> hemos hecho <strong>la</strong> i<strong>de</strong>ntificación ɛ = −1, ξ −1 = 4. Esta expresión, sorpren<strong>de</strong>ntemente,<br />

presenta <strong>la</strong> misma apariencia que <strong>la</strong> parte gravitacional <strong>de</strong>l Lagrangiano <strong>de</strong> Brans-Dicke y<br />

justifica el cambio <strong>de</strong> notación con respecto a <strong>la</strong> <strong>de</strong> los autores (1.19). Con <strong>la</strong> i<strong>de</strong>ntificación<br />

ɛ = −1, ξ −1 = 4, obtenemos ω = −1. Nótese que el valor <strong>de</strong> ξ −1 = 4 es extremadamente gran<strong>de</strong><br />

comparado con el valor obtenido en los ultimos experimentos realizados en el sistema so<strong>la</strong>r:<br />

ζ 2 ∼ ξ 5 × 10 −6 , ó ω 50, 000. (4.6)<br />

Una posible explicación <strong>de</strong> esto es que en algún momento <strong>de</strong> <strong>la</strong> evolución <strong>de</strong>l Universo el valor<br />

<strong>de</strong> campo esca<strong>la</strong>r haya sido fijado.<br />

4.3 <strong>Teorías</strong> esca<strong>la</strong>r tensor y cosmología<br />

Los campos esca<strong>la</strong>res se encuentran también presentes en los mo<strong>de</strong>los que más fielmente reproducen<br />

los datos experimentales. En particu<strong>la</strong>r <strong>la</strong> teoría <strong>de</strong> inf<strong>la</strong>ción se basa en <strong>la</strong> existencia <strong>de</strong><br />

un esca<strong>la</strong>r Φ en un potencial V (Φ) (por ejemplo parabólico), que se comporta como un fluido<br />

con una <strong>de</strong>nsidad <strong>de</strong> energía positiva y una presión negativa. Esto produce un periodo <strong>de</strong> crecimiento<br />

exponencial <strong>de</strong>l universo , que pue<strong>de</strong> explicar porque regiones disconexas en el presente<br />

pudieron estar conectadas hace mucho tiempo. La isotropía <strong>de</strong> fondo cósmico <strong>de</strong> microondas<br />

(CMB) pue<strong>de</strong> ser entendida entonces. Las observaciones (Ia Supernovae) nos muestran que<br />

hay en torno al 70 por ciento <strong>de</strong> energía oscura en nuestro universo actual (ΩΛ 0.7), sugiriendo<br />

que <strong>la</strong> expansión se ha reacelerado recientemente (<strong>de</strong>s<strong>de</strong> redshift z ∼ 1). Esto pue<strong>de</strong><br />

explicarse por <strong>la</strong> presencia <strong>de</strong> una constante cosmológica Λ en re<strong>la</strong>tividad general, pero <strong>la</strong><br />

cantidad ΩΛ 7 , expresada en unida<strong>de</strong>s naturales, da un valor extremadamente pequeño<br />

Λ = 3 × 10 −122 c 3 /(G), lo cual es extremadamente problemático para los físicos <strong>de</strong> partícu<strong>la</strong>s<br />

si Λ es interpretado como una energía <strong>de</strong> vacío. Esta es <strong>la</strong> principal razón por <strong>la</strong> cual se<br />

han propuesto mo<strong>de</strong>los <strong>de</strong> quintaesencia, en los cuales <strong>la</strong> constante cosmológica se reemp<strong>la</strong>za<br />

<strong>de</strong> nuevo por el potencial V (Φ) <strong>de</strong> un campo esca<strong>la</strong>r, cuya evolución hacia un mínimo <strong>de</strong><br />

V durante <strong>la</strong> expansión cosmológica explica <strong>de</strong> forma ”más natural” porque el valor actual<br />

V (Φ0) Λ/2 es tan pequeño.<br />

47


4.4 Variación <strong>de</strong> <strong>la</strong> constante gravitacional<br />

Parece ser que Dirac fue el primero que vislumbró <strong>la</strong> posibilidad <strong>de</strong> una variación temporal <strong>de</strong><br />

<strong>la</strong>s constantes <strong>de</strong> <strong>la</strong> naturaleza 1 , entre el<strong>la</strong>s <strong>la</strong> constante gravitacional G. En su artículo “A<br />

new basis for cosmology” escribe<br />

Any two of the very <strong>la</strong>rge dimensionless numbers occurring in Nature are connected<br />

by a simple mathematical re<strong>la</strong>tion, in which the coefficients are of the or<strong>de</strong>r of<br />

magnitu<strong>de</strong> unity.<br />

Como ejemplo, consi<strong>de</strong>remos el cociente entre <strong>la</strong> fuerza electrostática y <strong>la</strong> gravitacional entre<br />

un protón y un electrón<br />

N1 =<br />

e2 Gmpme<br />

2 × 10 39 , (4.7)<br />

don<strong>de</strong> e es <strong>la</strong> carga eléctrica, mp es <strong>la</strong> masa <strong>de</strong>l protón y me es <strong>la</strong> masa <strong>de</strong>l electrón. Si<br />

comparamos esto con el cociente entre el radio <strong>de</strong>l horizonte <strong>de</strong> Hubble H −1<br />

0 y el radio clásico<br />

<strong>de</strong>l electrón<br />

N2 = H−1 0<br />

e2m −1 3 × 10<br />

e<br />

40 h −1 , (4.8)<br />

vemos que, curiosamente, ambas casi coinci<strong>de</strong>n en or<strong>de</strong>n <strong>de</strong> magnitud, lo que motiva <strong>la</strong> hipótesis<br />

<strong>de</strong> gran<strong>de</strong>s números <strong>de</strong> Dirac. Entonces, argumenta Dirac, si <strong>la</strong> “igualdad” N1 = O(1) × N2 se<br />

mantiene por siempre, <strong>la</strong> constante gravitacional <strong>de</strong>be <strong>de</strong>crecer en el tiempo como G ∝ t−1 [41].<br />

Probablemente, <strong>la</strong> coinci<strong>de</strong>ncia entre N1 y N2 sea sólo acci<strong>de</strong>ntal, pero esto fue suficiente como<br />

para abrir <strong>la</strong> caja <strong>de</strong> Pandora.<br />

Hoy en día sabemos que esto está re<strong>la</strong>cionado con el problema <strong>de</strong> <strong>la</strong>s jerarquías. De hecho<br />

se dice que <strong>la</strong>s constantes <strong>de</strong> acoplo “corren” (logaritmicamente) cuando <strong>la</strong> energía aumenta y<br />

se cree que llegarían a unificarse probablemente a <strong>la</strong> esca<strong>la</strong> <strong>de</strong> cuerdas.<br />

La teoría <strong>de</strong> Brans-Dicke, como <strong>la</strong> mayoría <strong>de</strong> <strong>la</strong>s teorías que vio<strong>la</strong>n en principio <strong>de</strong> equivalencia<br />

fuerte, predice que <strong>la</strong> constante gravitacional G pue<strong>de</strong> variar en el tiempo a medida que<br />

el universo evoluciona. La tasa <strong>de</strong> variación <strong>de</strong>bería ser <strong>de</strong>l or<strong>de</strong>n <strong>de</strong> <strong>la</strong> tasa <strong>de</strong> expansión <strong>de</strong>l<br />

universo, es <strong>de</strong>cir,<br />

˙G<br />

= σH0<br />

(4.9)<br />

G<br />

don<strong>de</strong> H0 es <strong>la</strong> constante <strong>de</strong> Hubble y σ es un parámetro adimensional que varía <strong>de</strong>s<strong>de</strong> σ <br />

−3q0(ω + 2) −1 para q0 ≪ 1 a σ −3.34q 1/2<br />

0 (ω + 2) −1 para q0 ≫ 1 pasando por σ −(ω + 2) −1<br />

para q0 = 1/2, don<strong>de</strong> q0 es el parámetro <strong>de</strong> <strong>de</strong>celeración [2]. Actualmente sabemos que el<br />

universo se encuentra acelerado, por lo que σ −3q0(ω + 2) −1 .<br />

Se han llevado a cabo numerosas observaciones para <strong>de</strong>terminar <strong>la</strong>s cotas sobre <strong>la</strong> variación<br />

<strong>de</strong> <strong>la</strong> “constante” gravitacional. Los métodos utilizados incluyen estudios <strong>de</strong> <strong>la</strong> evolución <strong>de</strong>l sol,<br />

observaciones <strong>de</strong> eclipses lunares, medidas lunar-<strong>la</strong>ser-ranging etc...Un resumen <strong>de</strong> <strong>la</strong>s mismas se<br />

muestra en <strong>la</strong> tab<strong>la</strong> 4.1. Es importante <strong>de</strong>stacar que <strong>la</strong>s cotas a <strong>la</strong> constante G pue<strong>de</strong>n venir no<br />

sólo a través <strong>de</strong> medidas directas, sino también <strong>de</strong> medidas indirectas. Se ha <strong>de</strong>mostrado que <strong>la</strong>s<br />

variaciones temporales <strong>de</strong> <strong>la</strong>s constantes físicas estan re<strong>la</strong>cionadas unas con otras [57],[58],[59],<br />

<strong>de</strong> forma que experimentos para testar ˙α/α pue<strong>de</strong>n ser usados para hacer una estimación <strong>de</strong><br />

˙G/G y viceversa. No entraré a revisar aquí <strong>la</strong>s cotas para ˙ G/G <strong>de</strong>rivadas <strong>de</strong> <strong>la</strong>s cotas para<br />

el resto <strong>de</strong> constantes fundamentales, pero pue<strong>de</strong>n encontrarse en cualquier artículo <strong>de</strong> review<br />

sobre el tema. Analicemos cada una <strong>de</strong> <strong>la</strong>s cotas sobre ˙ G/G cotas por separado.<br />

1 Se piensa que también pudo ser Milne en 1935<br />

48


Método Redshift ˙ G/G (10 −12 año −1 )<br />

Viking Lan<strong>de</strong>r Ranging [42] 0 2 ± 4<br />

Lunar Laser Ranging [44] 0 1 ± 8<br />

Double Neutron Star Binary [46] 0 11 ± 11<br />

Pulsar-White Dwarf Binary [47] 0 −9 ± 18<br />

Helioseismology [54] 0 < 1.6<br />

Neutron Star Mass [55] 0 − 3 ∼ 4 −0.6 ± 2.0<br />

BBN [51] 10 10 −27 ∼ 21<br />

Table 4.1: Cotas experimentales a <strong>la</strong> variación <strong>de</strong> <strong>la</strong> constante gravitacional. En el caso <strong>de</strong><br />

los pulsares binarios y <strong>la</strong>s estrel<strong>la</strong>s <strong>de</strong> neutrones <strong>la</strong>s cotas son <strong>de</strong>pendientes <strong>de</strong> <strong>la</strong> teoría <strong>de</strong><br />

<strong>la</strong> gravedad en el regimen <strong>de</strong> campo fuerte y <strong>de</strong> <strong>la</strong> ecuación <strong>de</strong> estado para <strong>la</strong>s estrel<strong>la</strong>s <strong>de</strong><br />

neutrones.<br />

4.4.1 Medidas <strong>de</strong> Viking y Lunar-Laser-Ranging<br />

Es fácil ver el efecto que tendría una constante gravitacional variable si escribimos G como<br />

G = G0 + ˙ G0(t − t0). Esto produce un cambio en <strong>la</strong> ecuación <strong>de</strong> movimiento, que pasa a ser<br />

d2x = −GMx<br />

dt2 r3 = −G0Mx<br />

r3 − ˙ G0 G0M x(t − t0)<br />

G0 r r2 . (4.10)<br />

Pue<strong>de</strong> verse que <strong>la</strong> variación <strong>de</strong> G induce un término <strong>de</strong> aceleración que se aña<strong>de</strong> a los términos<br />

newtonianos y re<strong>la</strong>tivistas usuales, lo que afectaría al movimiento <strong>de</strong> los cuerpos, como por<br />

ejemplo, al movimiento <strong>de</strong> los p<strong>la</strong>netas. Medidas <strong>de</strong> <strong>la</strong> distancia Tierra-Marte utilizando <strong>la</strong><br />

sonda Viking han permitido obtener una cota para ˙ G [42] : ˙ G/G = (2 ± 4) × 10 −12 año −1 .<br />

De manera simi<strong>la</strong>r <strong>la</strong>s medidas Lunar-Laser-Ranging han sido utilizadas para medir con gran<br />

precisión los parámetros <strong>de</strong>l sistema so<strong>la</strong>r, en concreto <strong>la</strong> separación tierra-luna. De los datos<br />

obtenidos entre 1969 y 1994 se obtuvo una nueva cota [43]: ˙ G/G = (0.1 ± 10.4) × 10 −12 año −1 ;<br />

mientras que para los datos obtenidos entre 1970 y 1994 se obtuvo [44], ˙ G/G = (1 ± 8) ×<br />

10 −12 año −1 .<br />

4.4.2 Medidas realizadas utilizando los pulsares PSR 1913+16 y PSR 0655+64<br />

A pesar <strong>de</strong> que <strong>la</strong>s cotas ˙ G/G usando medidas en el sistema so<strong>la</strong>r pue<strong>de</strong>n obtenerse <strong>de</strong> manera<br />

fenomenológica simplemente reemp<strong>la</strong>zando G por G0 + ˙ G0(t − t0) en <strong>la</strong>s ecuaciones <strong>de</strong><br />

movimiento <strong>de</strong> Newton, esto no pue<strong>de</strong> hacerse para <strong>la</strong>s medidas realizadas utilizando el pulsar<br />

binario. Esto se <strong>de</strong>be a que <strong>la</strong>s teorías esca<strong>la</strong>r tensor vio<strong>la</strong>n el principio <strong>de</strong> equivalencia fuerte<br />

49


(SEP), y por tanto <strong>la</strong> masa y el momento <strong>de</strong> inercia <strong>de</strong> un cuerpo ligado gravitacionalmente<br />

pue<strong>de</strong>n variar al variar G. Debido a que <strong>la</strong>s estrel<strong>la</strong>s <strong>de</strong> neutrones son altamente re<strong>la</strong>tivistas,<br />

<strong>la</strong> variación fraccional <strong>de</strong> estas cantida<strong>de</strong>s pue<strong>de</strong> ser comparable a ∆G/G . De igual modo, <strong>la</strong><br />

variación <strong>de</strong> <strong>la</strong> masa pue<strong>de</strong> afectar al periodo <strong>de</strong>l pulsar <strong>de</strong> forma que añada o sustraiga una<br />

cierta cantidad al efecto directo <strong>de</strong> <strong>la</strong> variación <strong>de</strong> G. Las cotas para los pulsares PSR 1913+16<br />

y PSR 0655+64 <strong>de</strong>pen<strong>de</strong>n por este motivo <strong>de</strong> <strong>la</strong> teoría y <strong>de</strong>ben consi<strong>de</strong>rarse meramente estimativas.<br />

A or<strong>de</strong>n newtoniano el periodo orbital <strong>de</strong> un sistema <strong>de</strong> dos cuerpos viene dado<br />

por<br />

<br />

a3 1/2<br />

Pb = 2π<br />

=<br />

Gm<br />

2πℓ3 G2m2 (1 − e2 , (4.11)<br />

) 3/2<br />

don<strong>de</strong> a es el semieje mayor, ℓ = r 2 ˙ φ es el momento angu<strong>la</strong>r por unidad <strong>de</strong> masa, m es un<br />

parámetro <strong>de</strong> masa <strong>de</strong> or<strong>de</strong>n Newtoniano y e es <strong>la</strong> excentricidad <strong>de</strong> <strong>la</strong> órbita. Esto lleva a una<br />

tasa <strong>de</strong> evolucion <strong>de</strong>l periodo orbital dada por:<br />

˙<br />

Pb<br />

Pb<br />

= −2 ˙ G<br />

G + 3 ˙ ℓ<br />

ℓ<br />

˙m<br />

− 2 . (4.12)<br />

m<br />

Damour, Gibbons and Taylor mostraron que el límite fenomenológico apropiado <strong>de</strong> ˙ G viene<br />

dado por:<br />

˙G Pb<br />

˙<br />

= −δ , (4.13)<br />

G 2Pb<br />

don<strong>de</strong> δ ˙ Pb representa cualquier parte <strong>de</strong> <strong>la</strong> <strong>de</strong>rivada <strong>de</strong>l periodo orbital observada que no<br />

pue<strong>de</strong> ser explicada. De <strong>la</strong>s observaciones <strong>de</strong>l pulsar binario PSR 1913+16 se obtuvo una<br />

cota adicional: ˙ G/G = (1.0 ± 2.3) × 10 −11 año −1 [45] (veáse también [46] y [47]). Nótese que<br />

<strong>la</strong> simplificación <strong>de</strong> que ˙<br />

Pb/Pb está dominado por −2 ˙ G/G sólo es válida para cuerpos cuyas<br />

energía <strong>de</strong> autogravitación sea <strong>de</strong>spreciable. Cuando estos efectos son tenidos en cuenta <strong>la</strong> cota<br />

es algo más débil <strong>de</strong>pendiendo <strong>de</strong> <strong>la</strong> ecuación <strong>de</strong> estado.<br />

4.4.3 Medias basadas en <strong>la</strong> estructura y evolucion este<strong>la</strong>r<br />

La gravedad juega un papel fundamental en <strong>la</strong> estructura y evolución <strong>de</strong> <strong>la</strong>s estrel<strong>la</strong>s. Por este<br />

motivo una estrel<strong>la</strong> pue<strong>de</strong> ser un buen instrumento para medir <strong>la</strong> variación <strong>de</strong> G [52]. Se pue<strong>de</strong><br />

<strong>de</strong>mostrar con facilidad con un simple análisis dimensional que <strong>la</strong> luminosidad <strong>de</strong> una estrel<strong>la</strong> es<br />

proporiconal a G 7 . El aumento <strong>de</strong> G es <strong>de</strong> forma efectiva equivalente, por <strong>la</strong> ecuación <strong>de</strong> Poisson,<br />

a incrementar <strong>la</strong> masa o <strong>de</strong>nsidad media <strong>de</strong> una estrel<strong>la</strong>, <strong>la</strong> que incrementa su peso molecu<strong>la</strong>r<br />

medio y por tanto su luminosidad. Puesto que una estrel<strong>la</strong> más luminosa quema más hidrogeno,<br />

<strong>la</strong> profundidad <strong>de</strong> <strong>la</strong> zona convectiva se ve afectada. La helioseismologia [53] nos pérmite<br />

comprobar <strong>la</strong> estructura <strong>de</strong> los interiores este<strong>la</strong>res . Comparando el espectro <strong>de</strong> osci<strong>la</strong>ciones <strong>de</strong><br />

modos p (ondas acústicas) <strong>de</strong> mo<strong>de</strong>los so<strong>la</strong>res con G variable con <strong>la</strong>s observaciones se obtiene:<br />

| ˙ G/G| ≤ 1.6 × 10 −12 anõ −1 [54] .<br />

Como sabemos el ba<strong>la</strong>nce entre <strong>la</strong> presión <strong>de</strong> <strong>de</strong>genereración <strong>de</strong> Fermi para un gas <strong>de</strong> electrones<br />

y <strong>la</strong> fuerza gravitacional <strong>de</strong>termina <strong>la</strong> conocida como masa <strong>de</strong> Chandrasekhar<br />

MCh G −3/2 m −2<br />

p , (4.14)<br />

don<strong>de</strong> mp es <strong>la</strong> masa <strong>de</strong>l protón. Dado MCh fija <strong>la</strong> esca<strong>la</strong> <strong>de</strong> masas para los últimos estadíos<br />

evolutivos <strong>de</strong> estrel<strong>la</strong>s masivas, es <strong>de</strong> esperar que <strong>la</strong> masa media <strong>de</strong> una estrel<strong>la</strong> <strong>de</strong> neutrones<br />

50


venga dada por <strong>la</strong> masa <strong>de</strong> Chandrasekhar. Las medidas <strong>de</strong> <strong>la</strong>s masas <strong>de</strong> estrel<strong>la</strong>s <strong>de</strong> neutrones<br />

con eda<strong>de</strong>s comprendidas entre z < 3 ∼ 4 proporcionan una cota, ˙ G/G = (−0.6 ± 2.0) ×<br />

10 −12 año −1 [55].<br />

4.4.4 Nucleosíntesis en el Big Bang<br />

La abundancia <strong>de</strong> 4 He está <strong>de</strong>terminada principalmente por <strong>la</strong> tasa neutron-proton anterior a<br />

<strong>la</strong> nucleosíntesis, que viene dada aproximadamente por <strong>la</strong> condición <strong>de</strong> equilibrio:<br />

Yp = 2 (n/p)f exp(−tN/τ)<br />

1 + (n/p)f exp(−tN/τ)<br />

(4.15)<br />

don<strong>de</strong> (n/p)f = exp (−Q/kTf ) es el cociente neutrón-protón a una cierta temperatura (“freezeout”)<br />

que viene <strong>de</strong>terminada por G 2 F (kTf) 5 = √ GN(kTf) 2 , siendo N el número <strong>de</strong> grados <strong>de</strong><br />

libertad re<strong>la</strong>tivistas, Q = mn − mp = 1.29 MeV <strong>la</strong> diferencia <strong>de</strong> masas entre el neutrón y el<br />

protón, τ el tiempo <strong>de</strong> vida medio <strong>de</strong>l neutrón, GF <strong>la</strong> constante <strong>de</strong> Fermi y tN el tiempo <strong>de</strong>spués<br />

<strong>de</strong>l cual <strong>la</strong> <strong>de</strong>nsidad <strong>de</strong> fotones se hace lo suficientemente baja para que <strong>la</strong> fotodisociación sea<br />

<strong>de</strong>spreciable.<br />

De <strong>la</strong> expresión anterior pue<strong>de</strong> verse c<strong>la</strong>ramente que Tf viene <strong>de</strong>terminada por <strong>la</strong> competición<br />

entre <strong>la</strong> tasa <strong>de</strong> interacción electrodébil y <strong>la</strong> tasa <strong>de</strong> expansión <strong>de</strong>l Universo. En función <strong>de</strong> los<br />

acoplos gravitacional y débil se tiene :<br />

Tf ∝ G −2/3<br />

F G1/6 , (4.16)<br />

El efecto que tiene <strong>la</strong> variación <strong>de</strong> G en <strong>la</strong>s abundancias <strong>de</strong> elementos primodiales (sobre<br />

todo 4 He) se ve c<strong>la</strong>ramente <strong>de</strong> <strong>la</strong>s ecuaciones (4.15) y (4.16): un aumento <strong>de</strong> G aumenta <strong>la</strong><br />

tasa <strong>de</strong> expansión <strong>de</strong>l Universo, lo que <strong>de</strong>sp<strong>la</strong>za el “freeze-out” a una época anterior y por<br />

tanto, aumenta <strong>la</strong> abundancia <strong>de</strong> 4 He. Si tenemos en cuenta que Yp esta comprendido entre<br />

0.22 y 0.25 2 [56] , entonces −0.32 < ∆G/G < 0.08, lo que correspon<strong>de</strong> a una variación<br />

˙G/G = (−0.55 ∼ 2.2) × 10 −11 año −1 .<br />

4.4.5 Análisis <strong>de</strong> los datos y conclusión<br />

Hemos visto en los apartados anteriores que los test <strong>de</strong> <strong>la</strong> variación <strong>de</strong> <strong>la</strong>s constantes constituyen<br />

realmente test <strong>de</strong> <strong>la</strong> física más fundamental, especialmente <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General.<br />

Como po<strong>de</strong>mos ver los datos no son en absoluto concluyentes. De hecho existe una gran<br />

contradicción entre algunos <strong>de</strong> ellos. Los más creíbles son los realizados utilizados por Lunar-<br />

Laser-Ranging (Muller et al, 1993 and William et al, 1996). Probablemente, futuras misiones<br />

espaciales como el satélite Earth SEE o µSCOPE, misiones a otros p<strong>la</strong>netas y/o mejoras en<br />

el lunar-<strong>la</strong>ser-ranging serán un paso <strong>de</strong>cisivo para resolver el problema <strong>de</strong> <strong>la</strong>s variaciones temporales<br />

<strong>de</strong> G y <strong>de</strong>terminar <strong>la</strong> confianza en <strong>la</strong>s distintas teorías que <strong>la</strong> predicen, entre el<strong>la</strong>s <strong>la</strong>s<br />

teorías esca<strong>la</strong>r-tensor.<br />

2 Yp se encuentre actualmente entre 0.24 y 0.25<br />

51


4.5 Resumen y conclusiones<br />

La Re<strong>la</strong>tividad General <strong>de</strong> Einstein constituye en <strong>la</strong> actualidad el ”mo<strong>de</strong>lo estandar” <strong>de</strong> <strong>la</strong><br />

gravitación y ha superado con creces todos los test experimentales. Sin embargo, todas y<br />

cada una <strong>de</strong> <strong>la</strong>s predicciones <strong>de</strong> <strong>la</strong> teoría Einsteniana se encuentran fijadas, pues <strong>la</strong> teoría no<br />

contiene parámetros ajustables que pudieran ser modificados; es en este sentido - como diría<br />

Jose Manuel Sánchez Ron en alguno <strong>de</strong> sus libros - una teoría <strong>de</strong> absolutos, más que una<br />

teoría <strong>de</strong> re<strong>la</strong>tivos. Cada test <strong>de</strong> <strong>la</strong> misma constituye una muerte potencial o una prueba <strong>de</strong> <strong>la</strong><br />

existencia <strong>de</strong> una nueva física. Aunque es <strong>de</strong> admirar que, nacida <strong>de</strong>l pensamiento puro hace<br />

más <strong>de</strong> 80 años, haya superado todas y cada una <strong>de</strong> <strong>la</strong> pruebas a <strong>la</strong>s que ha sido sometida, <strong>la</strong><br />

posibilidad <strong>de</strong> encontrar discrepancias continuará en los años veni<strong>de</strong>ros. Las teorías esca<strong>la</strong>rtensor<br />

son <strong>la</strong> alternativa mejor motivada a <strong>la</strong> Re<strong>la</strong>tividad General. Entre sus “ventajas” con<br />

respecto a GR <strong>de</strong>stacamos <strong>la</strong> presencia <strong>de</strong> un parámetro ajustable ω y que constituyen el límite<br />

a bajas energías <strong>de</strong> teorías más ambiciosas como <strong>la</strong> teoría <strong>de</strong> cuerdas. El valor <strong>de</strong>l parámetro ω<br />

se encuentra fuertemente acotado por tres tipos distintos <strong>de</strong> tests, (i) experimentos realizados<br />

en el sistema so<strong>la</strong>r, que imponen fuertes ligaduras a ln A(ϕ) (acoplo lineal a <strong>la</strong> materia α0), (ii)<br />

los realizados en el régimen <strong>de</strong> campo fuerte, que imponen restricciones a su segunda <strong>de</strong>rivada<br />

β0 (acoplo cuadrático a <strong>la</strong> materia), y (iii) <strong>la</strong> cosmología. A día <strong>de</strong> hoy los experimentos no<br />

permiten distinguir cual <strong>de</strong> <strong>la</strong>s dos teorías <strong>de</strong> <strong>la</strong> gravitación es <strong>la</strong> correcta. Quizá <strong>la</strong>s teorías<br />

esca<strong>la</strong>r-tensor no sean más que una mera creación matemática fruto <strong>de</strong> <strong>la</strong> imaginación humana,<br />

pero quizá no . . .<br />

Agra<strong>de</strong>cimientos<br />

Me hubiera gustado disponer <strong>de</strong> un poco más <strong>de</strong> tiempo para incluir algunos aspectos en mi<br />

opinión interesantes. No obstante, creo que en conjunto este trabajo cumple el objetivo que<br />

me había propuesto, proporcionar un “<strong>la</strong>nscape” <strong>de</strong> <strong>la</strong>s teorías esca<strong>la</strong>r-tensor, y en concreto<br />

<strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke. La e<strong>la</strong>boración <strong>de</strong> esta exposición ha llevado una gran cantidad<br />

<strong>de</strong> trabajo. Me gustaría por eso agra<strong>de</strong>cer a los profesores <strong>de</strong>l resto <strong>de</strong> materias el tremendo<br />

esfuerzo que van a tener que realizar para aprobarme sus asignaturas (lo unico que espero es<br />

aprobar al menos gravitación y cosmología 3 . . . ).<br />

3 Esta es <strong>la</strong> versión original <strong>de</strong> esta frase, quizá lo más a<strong>de</strong>cuado ahora sería: “Lo unico que espero es aprobar<br />

al menos gravitación y cosmología en Septiembre”<br />

52


Appendix A<br />

Derivación <strong>de</strong> <strong>la</strong>s ecuaciones <strong>de</strong> los<br />

campos<br />

Dada <strong>la</strong> acción <strong>de</strong> Brans-Dicke<br />

SJBD = 1<br />

16π<br />

<br />

d 4 x √ <br />

g ΦR − ω<br />

Φ gµν <br />

∂µΦ∂νΦ + SM, (A.1)<br />

<strong>la</strong>s ecuaciones <strong>de</strong> evolución se pue<strong>de</strong>n obtener con re<strong>la</strong>tiva facilidad variando dicha acción con<br />

respecto a <strong>la</strong> métrica al igual que hacíamos para calcu<strong>la</strong>r <strong>la</strong>s ecuaciones <strong>de</strong> Einstein. Variaremos<br />

primero d 4 x √ gΦR. Esto, como es <strong>de</strong> esperar, <strong>de</strong>bería darnos <strong>la</strong>s ecuaciones <strong>de</strong> Einstein en<br />

ausencia <strong>de</strong> materia más algunos términos adicionales. Expresando el tensor <strong>de</strong> Ricci como<br />

R = R µν gµν y haciendo uso <strong>de</strong> <strong>la</strong> propiedad<br />

se obtiene<br />

<br />

d 4 x √ g Φ R µν <br />

gµν =<br />

dg = g g µν dgµν, δ √ g = 1<br />

2 √ g gµν δµν, (A.2)<br />

d 4 x √ <br />

g Φ Rµν − 1<br />

2 gµνR<br />

<br />

+<br />

d 4 x √ g Φ (δR µν ) gµν<br />

(A.3)<br />

El primer término es bien conocido, pues es idéntico al que aparece en <strong>la</strong>s ecuaciones <strong>de</strong> Einstein.<br />

El segundo término se anu<strong>la</strong>ba en el caso <strong>de</strong> Re<strong>la</strong>tividad General al integrar sobre <strong>la</strong> frontera,<br />

sin embargo, veremos que ahora este término también contribuye <strong>de</strong>bido a <strong>la</strong> presencia <strong>de</strong>l<br />

potencial esca<strong>la</strong>r φ. Veamos cuanto vale. De <strong>la</strong> <strong>de</strong>finición <strong>de</strong> R<br />

po<strong>de</strong>mos obtener su variación<br />

R = g αβ <br />

αβ<br />

Rαβ = g Γ γ<br />

αγ,β − Γγ<br />

αβ,γ + Γγ<br />

αδΓδγβ − Γγ<br />

αβΓδγδ δRαβ = δΓ γ<br />

αγ,β − δΓγ αβ,γ + δΓγ αδΓδ γβ + Γγ<br />

αδδΓδγβ − δΓγ αβΓδγδ − Γγ<br />

αβδΓδγδ que junto con <strong>la</strong> <strong>de</strong>finición <strong>de</strong> <strong>la</strong> conexión afín<br />

nos da<br />

Γ γ 1<br />

αβ,ɛ =<br />

2 gγδ∂ɛ (∂α gβδ + ∂β gαδ − ∂δ gαβ) + 1<br />

2<br />

<br />

(A.4)<br />

(A.5)<br />

Γ γ 1<br />

αβ =<br />

2 gγδ (∂α gβδ + ∂β gαδ − ∂δ gαβ) (A.6)<br />

53<br />

<br />

∂ɛg γδ<br />

(∂α gβδ + ∂β gαδ − ∂δ gαβ) (A.7)


= 1<br />

2 gγδ∂ɛ (∂α gβδ + ∂β gαδ − ∂δ gαβ) + 1<br />

4<br />

<br />

∂ɛg γδ<br />

gδγΓ γ<br />

αβ .<br />

De aquí en a<strong>de</strong><strong>la</strong>nte continuaremos los cálculos en un sistema <strong>de</strong> referencia Reimanniano, en el<br />

cual los símbolos <strong>de</strong> Christoffel se anu<strong>la</strong>n y sólo sobreviven sus <strong>de</strong>rivadas. Al final sólo tenemos<br />

que tener en cuenta términos en segundas <strong>de</strong>rivadas <strong>de</strong> <strong>la</strong> métrica:<br />

y<br />

δR [∂∂g]<br />

αβ<br />

1<br />

=<br />

2 gγδ∂β (∂αδgγδ + ∂γδgαδ − ∂δδgαγ) − 1<br />

2 gγδ∂γ (∂αδgβδ + ∂βδgαδ − ∂δδgαβ) (A.8)<br />

= 1<br />

2 gγδ (∂β∂αδgγδ + ∂γ∂δδgαβ − ∂β∂δδgαγ − ∂γ∂αδgβδ) (A.9)<br />

g αβ δR [∂∂g]<br />

αβ<br />

= gγδ ∂ 2 δgγδ − ∂ α <br />

∂δδgαγ<br />

(A.10)<br />

Puesto que <strong>la</strong>s conexiones afines Γ se han omitido a lo <strong>la</strong>rgo <strong>de</strong>l <strong>de</strong>sarrollo, po<strong>de</strong>mos reemp<strong>la</strong>zar<br />

<strong>la</strong>s <strong>de</strong>rivadas ordinarias por <strong>de</strong>rivadas covariantes.<br />

<br />

Φ g αβ <br />

δgαβ − D α <br />

Dγ g γβ <br />

√g<br />

<br />

4<br />

δgαβ d x = g αβ Φ − D α <br />

√ 4<br />

DγΦ δgαβ g d x (A.11)<br />

Por último <strong>la</strong> <strong>de</strong>nsidad <strong>la</strong>grangiana LM asociada a <strong>la</strong> materia y <strong>la</strong> parte cinética <strong>de</strong> <strong>la</strong> <strong>de</strong>nsidad<br />

<strong>la</strong>grangiana <strong>de</strong> Dicke producen también contribuciones al tensor energía momento. Para el caso<br />

<strong>de</strong> <strong>la</strong> materia tenemos<br />

δS M <br />

=<br />

δ √ M<br />

gL dx 4 <br />

=<br />

1<br />

√ g<br />

∂ √ gL M <br />

∂gαβ<br />

Para el tipo <strong>de</strong> acoplo a <strong>la</strong> materia consi<strong>de</strong>rado po<strong>de</strong>mos suponer que ∂LM<br />

∂gαβ,γ<br />

el tensor electromagnético<br />

T αβ = − 2 ∂<br />

√<br />

g<br />

√<br />

gLM <br />

∂gαβ<br />

δgαβ d 4 x (A.12)<br />

= 0. Esto <strong>de</strong>fine<br />

(A.13)<br />

Teniendo en cuenta todo lo anterior y <strong>la</strong>s normalizacones se obtiene finalmente <strong>la</strong>s ecuaciones<br />

<strong>de</strong> evolución en <strong>la</strong> teoría <strong>de</strong> Brans-Dicke.<br />

R µν − 1<br />

2 Rgµν = 8π µν<br />

T M Φ<br />

µν<br />

1<br />

+ T Φ +<br />

Φ (Dµ D ν Φ − g µν ✷Φ) , (A.14)<br />

don<strong>de</strong> el tensor electromagnético <strong>de</strong>l campo esca<strong>la</strong>r se pue<strong>de</strong> obtener <strong>de</strong> <strong>la</strong> parte cinética <strong>de</strong> <strong>la</strong><br />

<strong>de</strong>nsidad <strong>la</strong>grangiana <strong>de</strong> Dicke<br />

Después <strong>de</strong> incluir <strong>la</strong>s normalizaciones se obtiene<br />

T µν<br />

Φ<br />

= ω<br />

8πΦ<br />

− ω<br />

Φ gµνD µ ΦD ν Φ (A.15)<br />

<br />

D µ ΦD ν Φ − 1<br />

2 gµν ✷Φ<br />

<br />

(A.16)<br />

término con el cual recuperamos <strong>la</strong> expresión (1.15).<br />

Queda por <strong>de</strong>terminar <strong>la</strong> ecuación <strong>de</strong> evolución <strong>de</strong>l campo Φ. Para ello hagamos variaciones<br />

<strong>de</strong> <strong>la</strong> acción (A.1) con respecto a δΦ .<br />

54


δSJBD =<br />

= <br />

= <br />

= <br />

<br />

R (δΦ) + ω DµΦD µ Φ<br />

Φ 2<br />

R + ω DµΦDµ Φ<br />

Φ2 + 2ωDµ<br />

δΦ − 2ω Dµ(δΦ)D µ <br />

Φ √g<br />

Φ d4x <br />

D µ <br />

Φ<br />

Φ<br />

<br />

(δΦ) √ g d 4 x<br />

R + ω DµΦD µ Φ<br />

Φ2 <br />

Φ + 2ω Φ − Dµ ΦDµΦ<br />

Φ2 <br />

R − ω DµΦD µ Φ<br />

Φ2 + 2ω<br />

<br />

Φ<br />

Φ<br />

(δΦ) √ g d 4 x<br />

(δΦ) √ g d 4 x (A.17)<br />

Igua<strong>la</strong>ndo ahora <strong>la</strong> variación <strong>de</strong> <strong>la</strong> acción a cero y teniendo en cuenta que δΦ es arbitrario<br />

tenemos<br />

<br />

Φ<br />

2ω − ω<br />

Φ<br />

DµΦD µ Φ<br />

Φ2 = −R (A.18)<br />

Utilizando ahora <strong>la</strong> ecuación (A.14)se tiene<br />

−R = 8π<br />

Φ<br />

Sustituyendo R y TΦ llegamos finalmente a:<br />

M 1<br />

T + TΦ − (3Φ) . (A.19)<br />

Φ<br />

✷Φ =<br />

8π M<br />

T<br />

(3 + 2ω)<br />

55<br />

(A.20)


Appendix B<br />

Otros sistemas este<strong>la</strong>res para testar<br />

<strong>la</strong> re<strong>la</strong>tividad general<br />

Como vimos, <strong>la</strong> radiación dipo<strong>la</strong>r es una consecuencia directa <strong>de</strong> <strong>la</strong> vio<strong>la</strong>ción <strong>de</strong>l Principio <strong>de</strong><br />

Equivalencia Fuerte, y por tanto, en caso <strong>de</strong> ser <strong>de</strong>scubierta significaría <strong>la</strong> muerte potencial <strong>de</strong><br />

<strong>la</strong> teoría <strong>de</strong> <strong>la</strong> Re<strong>la</strong>tividad General, <strong>la</strong> única teoría que lo satisface. Existen bastantes pulsares<br />

<strong>de</strong> caracter asimétrico, potenciales “generadores” <strong>de</strong> radiación dipo<strong>la</strong>r, veremos algunos <strong>de</strong> ellos<br />

a continuación. A<strong>de</strong>más el objetivo <strong>de</strong> esta sección es mostrar, que a pesar <strong>de</strong> lo prometedor<br />

<strong>de</strong> estos sistemas y a <strong>la</strong> re<strong>la</strong>tiva sencillez teórica <strong>de</strong> los mo<strong>de</strong>los, <strong>la</strong>s observaciones presentan<br />

gran cantidad <strong>de</strong> dificulta<strong>de</strong>s inherentes a <strong>la</strong>s mismas, tales como <strong>la</strong> transferencia <strong>de</strong> masa,<br />

aceleraciones a tres cuerpos etc...<br />

B.1 El pulsar 4U1820-30<br />

“Life is not so easy”<br />

Se cree que este sistema está constituido por una estrel<strong>la</strong> <strong>de</strong> neutrones y una enana <strong>de</strong> baja<br />

masa en una órbita con periodo 685.008s. No es el sistema i<strong>de</strong>al para testar <strong>la</strong>s teorías <strong>de</strong><br />

<strong>la</strong> gravitación <strong>de</strong>bido a que su evolución se ve afectada por <strong>la</strong> transferencia <strong>de</strong> masa <strong>de</strong> <strong>la</strong><br />

compañera a <strong>la</strong> estrel<strong>la</strong> <strong>de</strong> neutrones. De hecho se cree que <strong>la</strong> transferencia <strong>de</strong> masa se encuentra<br />

contro<strong>la</strong>da por <strong>la</strong> emisión gravitacional. Debido a estas complicaciones los análisis <strong>de</strong> <strong>la</strong>s<br />

implicaciones <strong>de</strong> <strong>la</strong> teoría <strong>de</strong> Brans-Dicke son in<strong>de</strong>pendientes <strong>de</strong> mo<strong>de</strong>los. Will y Zag<strong>la</strong>uer<br />

(1989) generalizaron mo<strong>de</strong>los <strong>de</strong> transferencia <strong>de</strong> masa en re<strong>la</strong>tividad general a <strong>la</strong>s teorías <strong>de</strong><br />

Brans y Dicke.<br />

B.2 El pulsar 1744-24A<br />

Se trata <strong>de</strong> un pulsar “eclipsante” en el cluster globu<strong>la</strong>r Terzan 5, que con un periodo orbital <strong>de</strong><br />

tan sólo 1.8 horas, e = 0, y una función <strong>de</strong> masa <strong>de</strong> 3.215 × 10−4 , parece poseer una compan˜era<br />

<strong>de</strong> tan sólo 0.09M⊙. La gran asimetría <strong>de</strong> este sistema lo transforma en un prometedor emisor<br />

<strong>de</strong> radiación gravitacional dipo<strong>la</strong>r pero <strong>la</strong>s observaciones son complicada <strong>de</strong>bido a <strong>la</strong> posibilidad<br />

<strong>de</strong> aceleraciones <strong>de</strong>l cluster así como <strong>de</strong> <strong>la</strong> aparente existencia <strong>de</strong> un viento substancial <strong>de</strong>bido<br />

a <strong>la</strong> compañera (<strong>la</strong> causa <strong>de</strong> los eclipses), lo que podría complicar el movimiento orbital. Sin<br />

embargo, incluso si <strong>la</strong>s medidas <strong>de</strong> ˙ Pb alcanzaran so<strong>la</strong>mente el 50 por ciento <strong>de</strong> <strong>la</strong> precisión<br />

56


Parámetros observados y <strong>de</strong>rivados<br />

Ascension recta, α (J2000) . . . . . 11h41m07022(6) Declinacion, δ (J2000) . . . . . . . . . . -654519089(9)<br />

Period <strong>de</strong>l pulso, P (ms) . . . . . . . 393.8978340370(2)<br />

Época <strong>de</strong> referencia (MJD) . . . . . 51369.8525<br />

Medida dispersión cm3 pc−1 . . . . 116.048(2)<br />

Derivada <strong>de</strong>l periodo, P ˙ (10−15 ) 4.294593(3)<br />

Periodo orbital, Pb (days) . . . . . . 0.1976509587(3)<br />

Semieje mayor proyectado x (s) 1.85894(1)<br />

Excentricidad orbital, e . . . . . . . . 0.171876(2)<br />

Epoca <strong>de</strong>l periastro, T0 (MJD) . 51369.854553(1)<br />

Longitud <strong>de</strong>l periastro, ω () . . . .<br />

Parámetros Damour-Deruelle PK<br />

42.457(2)<br />

γ (s) . . . . . . . . . . . . . . . . . . . . . . . . . . . 0.00072(3)<br />

˙ω (yr −1 ) . . . . . . . . . . . . . . . . . . . . . . . 5.3084(9)<br />

˙<br />

Pb(10 −12 ) . . . . . . . . . . . . . . . . . . . . . . –0.43(10)<br />

Damour-Deruelle GR fit<br />

Masa <strong>de</strong> <strong>la</strong> compañera, (M⊙) . . 0.986(20)<br />

Masa <strong>de</strong>l pulsar, (M⊙) . . . . . . . . . 1.30(2)<br />

Suma <strong>de</strong> masas, M (M⊙) . . . . . . . 2.2883(5)<br />

Parámetros <strong>de</strong>rivados<br />

Inclinacion orbital, i () . . . . . . . . . i > 75<br />

re<strong>la</strong>tiva a <strong>la</strong> predicción re<strong>la</strong>tivista general <strong>de</strong> ˙<br />

Pb/Pb ∼ 1.3 × 10 −8 <strong>la</strong> cota en ω exce<strong>de</strong>ría el valor<br />

1000 (Nice and Thorsett).<br />

B.3 El pulsar J1141-6545<br />

Fue <strong>de</strong>scubierto en 1999. Sus parámetros característicos se muestran al inicio <strong>de</strong> esta página;<br />

no obstante, comentamos a continuación <strong>la</strong>s características más relevantes. Es un sistema<br />

“extraño” y joven (∼ 1.4Myr) y por tanto no recic<strong>la</strong>do, como indica su bajo periodo entre<br />

pulsos (0.4s). El periodo orbital es corto (P = 4 h 45 min), y por tanto se esperan fuertes<br />

efectos re<strong>la</strong>tivistas. Se piensa que <strong>la</strong> compañera es una enana b<strong>la</strong>nca con un 90 por ciento <strong>de</strong><br />

nivel <strong>de</strong> confianza, pero <strong>la</strong> excentricidad <strong>de</strong> <strong>la</strong> orbita (e = 0.17) es sorpren<strong>de</strong>ntemente gran<strong>de</strong>.<br />

De hecho casi todos los sistemas binarios constituidos por una estrel<strong>la</strong> <strong>de</strong> neutrones y una enana<br />

b<strong>la</strong>nca tienen una excentricidad <strong>de</strong>spreciable. La explicción más aceptada es que <strong>la</strong> estrel<strong>la</strong><br />

<strong>de</strong> neutrones se formó <strong>de</strong>spués que <strong>la</strong> enana b<strong>la</strong>nca. Inicialmente, <strong>la</strong> masa progenitora era<br />

<strong>de</strong>masiado pequeña como para evolucionar a una estrel<strong>la</strong> <strong>de</strong> neutrones, pero acretó materia <strong>de</strong><br />

su compañera, explotando finalmente como una Supernova <strong>de</strong> tipo Ib/c, dando un “empujón”<br />

a <strong>la</strong> recien nacida estrel<strong>la</strong> <strong>de</strong> neutrones.<br />

Este pulsar es, por mucho, el sistema que impone unas ligaduras más fuertes a <strong>la</strong>s teorías<br />

esca<strong>la</strong>r- tensor, <strong>de</strong>bido a su gran asimetría. Se espera que pruebe valores para los parámetros<br />

<strong>de</strong> Eddington en torno a |γP P N − 1| ∼ 10 −6 en <strong>la</strong> proxima década.<br />

57


Bibliography<br />

[1] Juan García Bellido , Apuntes <strong>de</strong> Gravitación y Cosmología (Curso 2004-2005)<br />

[2] S.Weinberg , Gravitation and Cosmology ,John Wiley ,New York (1972)<br />

[3] C.M.Will , Theory and Experiment in Gravitational Physics , Cambridge University Press,<br />

Cambridge ,(1993)<br />

[4] La re<strong>la</strong>tividad general es invariante bajo difeomorfismos , pero no bajo transformaciones<br />

conformes . Ver apéndices <strong>de</strong>l libro <strong>de</strong> [5] para un c<strong>la</strong>ro tratamiento <strong>de</strong> ambos conceptos.<br />

[5] R.M.Wald , General Re<strong>la</strong>tivity ,The University of Chicago Press , Chicago ,(1984)<br />

[6] R. d’Inverno , Introducing Einstein’s Re<strong>la</strong>tivity , C<strong>la</strong>renton Press, Oxford (1992)<br />

[7] H.Bondi, J.Samuel ,[gr-qc607009]<br />

[8] J.Barbour, H.Pfister , Mach’s Principle-From Newton’s Bucket to Quamtum Gravity,<br />

Birkhauser, Boston (1995)<br />

[9] Bertotti et al.,Nature 425,374(2003)<br />

[10] C. Brans, R. H. Dicke, Phys. Rev. 124 (1961) 925<br />

[11] A. Barros, C. Romero, Phys. Lett. A 245 (1998) 31<br />

[12] A.Barros , C.Romero [gr-qc/0304025],(2003)<br />

[13] A.Bhadra [gr-qc/0409091] ,(2004)<br />

[14] J. Lense, H. Thirring, Phys. Z. 19 (1918) 156 (Traducción inglesa <strong>de</strong> B. Mashhoon, F.W.<br />

Hehl, D. S. Theiss, Gen. Rel. Grav. 16 (1984) 711)<br />

[15] J.García-Bellido , M.Quiros ,Phys. Lett. B 243 (1990) 45<br />

[16] A.Miyazaki , [gr-qc/0012104], (2000)<br />

[17] Y.Fujii [gr-qc/0410097], (2004)<br />

[18] Sciama D.W. Mon.Not.Roy.Astron.Soc. 1953 V.113 p.34<br />

[19] C.H.Brans [gr-qc/9705069], (1997)<br />

[20] V.Faraoni [gr-qc/9902083], (1999)<br />

[21] A.Anchordoqui, S.E.Perez , M.L.Trobo ,[gr-qc/9804074] , (1998)<br />

58


[22] C.T. Cunningham, R.H. Price and V. Moncrief, Astrophys. J. 224, 643 (1978).<br />

[23] G. Esposito-Farese [gr-qc/0409081] , (2004)<br />

[24] D. B<strong>la</strong>schke , M. Dabrowski [hep-th/0407078],(2004)<br />

[25] D.N. Vollick, On the viability of the Pa<strong>la</strong>tini form of 1/R gravity,[gr-qc/0312041].<br />

[26] G. Magnano, Are there metric theories of gravity other than general re<strong>la</strong>tivity?, [grqc/9511027]<br />

[27] L.M. Sokolowski, Uniqueness of the metric line element in dimensionally reduced theories<br />

, C<strong>la</strong>ss. Quant. Grav. 6, 59 (1989).<br />

[28] L.M. Sokolowski, Physical versions of nonlinear gravity theories and positivity of energy,<br />

C<strong>la</strong>ss. Quant. Grav. 6, 2045 (1989).<br />

[29] M. Shibata, K. Nakao and T. Nakamura, Phys. Rev. D 50, 7304 (1994).<br />

[30] M. Ferraris, M. Francaviglia and G. Magnano, Remarks on the physical metric in nonlinear<br />

theories of gravitation, C<strong>la</strong>ss. Quant. Grav 7, 261 (1990).<br />

[31] G. Magnano, L.M. Sokolowski, On physical equivalence between nonlinear gravity theories<br />

and a general-re<strong>la</strong>tivistic self-gravitating sca<strong>la</strong>r field , Phys. Rev. D 50, 5039 (1994)<br />

[también en gr-qc/9312008].<br />

[32] L.M. Sokolowski, Universality of Einstein’s general re<strong>la</strong>tivity, plenary talk at the 14th<br />

Conference on General Re<strong>la</strong>tivity and Gravitation, Florence, 1995 [gr-qc/9511073].<br />

[33] V. Faraoni, E. Gunzig and P. Nardone, Conformal transformations in c<strong>la</strong>ssical gravitation<br />

theories and in cosmology, Fundam. Cosm. Phys. 20, 121 (1999) [también en grqc/9811047].<br />

[34] S. Bellucci, V. Faraoni and D. Babusci, Sca<strong>la</strong>r gravitational waves and Einstein frame,<br />

[hep-th/0103180].<br />

[35] V. Faraoni and E. Gunzig, Einstein frame or Jordan frame?, Int. J. Theor. Phys. 38, 217<br />

(1999) [también en astro-ph/9910176]<br />

[36] S. Capozziello, R. <strong>de</strong> Ritis, A. A. Marino, Some aspects of the cosmological conformal<br />

equivalence between “Jordan frame” and “Einstein frame”, C<strong>la</strong>ss. Quant. Grav. 14, 3243<br />

(1997) [ gr-qc/9612053].<br />

[37] R. H. Dicke, Mach’s principle and invariance un<strong>de</strong>r transformation of units, Phys. Rev.<br />

126, 2163 (1961).<br />

[38] T. Damour and G. Esposito-Farèse, C<strong>la</strong>ss. Quantum Grav. 9, 2093 (1992).<br />

[39] T. Damour and G. Esposito-Farèse, Phys. Rev. D 53, 5541 (1996).<br />

[40] T.Oetiker, The Not So Short Introduction to LaTeX2e , Version 4.14 , 2004.<br />

[41] P.A.M. Dirac, Nature 139 (1937) 323.<br />

[42] R.W. Hellings et al., Phys. Rev. Lett. 51 (1983) 1609.<br />

59


[43] J. Müller, M. Schnei<strong>de</strong>r, M. Soffel and H. Ru<strong>de</strong>r, Astrophys.J. 382 (1991) L101.<br />

[44] J.G. Williams, X.X. Newhall and J.O. Dickey, Phys. Rev. D 53 (1996) 6730.<br />

[45] T. Damour, G.W. Gibbons and J.H. Taylor, Phys. Rev. Lett. 61 (1988) 1152.<br />

[46] T. Damour and J.H. Taylor, Astrophys.J. 366 (1991) 501.<br />

[47] V.M. Kaspi, J.H. Taylor and M.F. Ryba, Astrophys.J. 428 (1994) 713.<br />

[48] D.B. Guenther, L.M. Krauss and P. Demarque, Astrophys.J. 498 (1998) 871.<br />

[49] S. E. Thorsett, Phys. Rev. Lett. 77 (1996) 1432.<br />

[50] T.P. Walker, G. Steigman, D.N. Schramm, K.A. Olive and H.-S. Kang, Astrophys.J. 376<br />

(1991) 51.<br />

[51] F.S. Accetta, L.M. Krauss and P. Romanelli, Phys. Lett. 248B (1990) 146.<br />

[52] E. Teller, Phys. Rev. 73 (1948) 801.<br />

[53] J. Christensen-Dalsgaad, D.O. Gough and M.J. Thompson, Astrophys.J. 378 (1991) 413.<br />

[54] D.B. Guenther, L.M. Krauss and P. Demarque, Astrophys.J. 498 (1998) 871.<br />

[55] S. E. Thorsett, Phys. Rev. Lett. 77 (1996) 1432.<br />

[56] T.P. Walker, G. Steigman, D.N. Schramm, K.A. Olive and H.-S. Kang, Astrophys.J. 376<br />

(1991) 51.<br />

[57] V.N. Melnikov, Int. J. Theor. Phys. 33, 1569 (1994).<br />

[58] V.N. Melnikov. In: “Results of Science and Technology. Gravitation and Cosmology”. Ed.:<br />

V.N. Melnikov, 1991, v.1, p.49 (in Russian).<br />

[59] V.N. Melnikov, “Multidimensional C<strong>la</strong>ssical and Quantum Cosmology and Gravitation.<br />

Exact Solutions and Variations of Constants.” CBPF-NF-051/93, Rio <strong>de</strong> Janeiro, 1993;<br />

V.N. Melnikov, in: “Cosmology and Gravitation”, ed. M. Novello, Editions Frontieres,<br />

Singapore, 1994, p. 147.<br />

[60] J.Polchinski “String Theory. vol.1: an introduction to the bosonic string” Cambridge<br />

Univ.Press (1998).<br />

[61] Clifford m.Will, Nicolás Yunes 2004 [gr-qc/0403100]<br />

[62] W.F.Davis, Gravitational Radiation in the Bras-Dicke theory and Rosen Bimetric Theories<br />

of Gravity with a comparison with General Re<strong>la</strong>tivity.<br />

60

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!