Professional Documents
Culture Documents
Centro Universitario de Ciencias Exactas e Ingeniera de la Universidad de Guadalajara, Corregidora No.500, Sector Reforma, CP.44420, Guadalajara, Jal., Mxico. 2 Centro de Investigacin en Ciencia Aplicada y Tecnologa Avanzada-Unidad Legaria del Instituto Politcnico Nacional, Legaria #694. Col. Irrigacin, CP.11500, Mxico, D. F. E-mail: claudia.moreno@cucei.udg.mx; rigarcias@ipn.mx; jaelectronic@hotmail.com (Recibido el 10 de julio de 2008; Aceptado el 26 de agosto de 2008)
Resumen
En este artculo explicamos de una manera sencilla el tema de ondas gravitacionales (OG); sealaremos la relacin que manifiesta con las ondas clsicamente conocidas, como lo son las ondas mecnicas y electromagnticas. El estudio de las OG es importante, ya que pueden proporcionar pruebas indirectas de la existencia de hoyos negros, dimensiones extras e incluso las condiciones inciales en las primeras etapas de nuestro universo. Palabras clave: Relatividad General, ondas gravitacionales, interferometra.
Abstract
In this article, we will speak in an easy way the Gravitational Waves (GW) topic; we will show the relation between the classical known waves, such as the mechanic and electromagnetic waves. The study of GW is very important, because it can give us indirect proofs about the existence of black holes, extra dimension and the initial conditions in the first stages in our universe. Key words: General Relativity, gravitational waves, interferometer. PACS: 01.55.+b, 01.30.-y, 95.10.-a, 98.80.-k ISSN 1870-9095
I. INTRODUCCIN
Las ondas gravitacionales (OG) es una de las predicciones ms importantes de la Teora de la Relatividad General de Einstein [1]. A nivel mundial, se est realizando un gran esfuerzo para descubrir la radiacin gravitacional, ya que su deteccin ser la prueba contundente para verificar la teora de Einstein. El estudio de las OG se realiza desde el punto de vista terico, numrico y experimental [2]. En Mxico, estamos comenzando a difundir estos temas, donde varios investigadores de diversas universidades en el pas, estn involucrados. Para empezar a describir las OG de una manera sencilla, revisaremos aspectos clsicos de las ondas con las que cotidianamente vivimos: ondas mecnicas y electromagnticas. En cuanto a las ondas que aparecen en la mecnica cuntica no hablaremos, ya que no estn al alcance de este artculo. Las ondas electromagnticas que utilizamos diariamente en sus diferentes expresiones [3] son un fenmeno de naturaleza lineal, y aparecen sin ninguna aproximacin. Las ondas mecnicas, sin embargo, son lineales solo en la aproximacin de pequeos desplazamientos. Un pndulo, por ejemplo, es solo un oscilador armnico ya que se toma la aproximacin sen( ) cuando << 1 , [4]. En el caso de una masa unida a un resorte, solo se consideran intensidades pequeas de las fuerza de restauracin, con lo que
Lat. Am. J. Phys. Educ. Vol. 2, No. 3, Sept. 2008 311
obtenemos una aproximacin tambin lineal. Para interpretar el caso de la radiacin gravitacional, la teora se tiene que aproximar de la misma manera que el caso mecnico, esto es, la teora que se utiliza para determinarlas es la teora de la relatividad de Einstein, que en general es un sistema de 10 ecuaciones diferenciales parciales acopladas no-lineales, lo cual hace que hace muy difcil su comprensin e interpretacin fsica [1]. De lo que sabemos acerca del fenmeno de ondas en otros campos, el camino ms fcil para aproximarse a las oscilaciones en el campo gravitacional, es considerar el lmite de un campo gravitacional dbil, el cual resultar en una teora de la gravedad linealizada. La linearizacin es, sin embargo, un concepto muy til para poder entenderlas. Adems, desde un punto de vista fsico, esta aproximacin es justificable, ya que en un lugar muy alejado de un objeto masivo, la curvatura de nuestro universo es muy pequea. Precisamente, el lmite del campo dbil significa que consideramos al espacio-tiempo plano con una pequea perturbacin, tal que los trminos de segundo y mayores rdenes en la perturbacin son casi insignificantes. El presente artculo est organizado de la siguiente manera: en la seccin II, se deduce la ecuacin de onda para las oscilaciones mecnicas, a partir del ejemplo de una cuerda que se encuentra oscilando. En la seccin III se da una breve descripcin de las ecuaciones de Maxwell, de las cuales, se deducirn las ecuaciones de onda para los
http://www.journal.lapen.org.mx
campos elctrico y magntico. En la seccin IV, se deduce la ecuacin de onda gravitacional, la cual surge de una teora linealizada del campo gravitacional. En la Seccin V, se describe brevemente la parte experimental que se estudia actualmente para tratar de detectarlas de una forma directa. Finalmente, en la seccin VI se dan algunas conclusiones.
la descripcin que haremos a continuacin de estas ondas, consideraremos que en el medio de propagacin no hay ni disipacin ni dispersin. Cabe aclarar que existen ondas que se dispersan muy lentamente conocidas como ondas solitarias o solitones, para una descripcin ms completa de este tipo de ondas, se puede revisar el trabajo de Agero et al. [5]. Para describir el movimiento ondulatorio consideremos un pulso, que est descrito matemticamente por una funcin y = f ( x ), en un tiempo fijo dado, como el que se muestra en la figura 1.
Si consideramos que el pulso est viajando hacia la derecha a una velocidad v , entonces despus de un tiempo t , todos los puntos del pulso se han desplazado una distancia v t , como se muestra en la figura 2, de tal forma que la nueva coordenada x ' = x + vt , la cual al despejarse de x , se tiene que el pulso entonces se puede describir con una funcin que depende tanto de x como de t
y = f ( x , t ) = f ( x vt ) ,
(1)
FIGURA 2. Un pulso y = f ( x , t ) = f ( x vt ) .
descrito
por
una
funcin
de
En forma general, si el pulso avanza hacia la derecha o hacia la izquierda, la funcin tendr la combinacin,
y ( x , t ) = f ( x vt ) = f (u ).
(4)
El signo negativo se utiliza para una onda que se mueve en el sentido positivo de x , en tanto que el signo positivo se
http://www.journal.lapen.org.mx
usa para una onda que se desplaza en el sentido negativo de x. De una forma ms general podemos encontrar una ecuacin para las ondas mecnicas, que tenga como solucin la funcin de onda descrita anteriormente. En lo subsecuente, haremos una deduccin matemtica de la ecuacin de onda, aquella cuyas soluciones nos describirn pulsos que se propaguen en el espacio y el tiempo. Una deduccin distinta de la ecuacin de onda mediante las propiedades mecnicas tanto del medio como de la cuerda por la que se propaga, puede encontrarte en [3]. Si tomamos la primera derivada respecto de cada variable de la funcin y ( x, t ) tenemos que:
y ( x, t ) f (u ) , = x u y ( x, t ) f (u ) , = v t u
(7)
y = A sen( kx t ),
donde k = 2 / y = 2 / T = 2 son conocidas como el nmero de onda angular y la frecuencia angular, respectivamente. De esta forma la velocidad de onda tambin puede expresarse como v = / k . Generalizando la ecuacin de onda unidimensional, a una ecuacin de onda tridimensional, en donde la funcin de onda F ( x, y , z , t ) sea solucin, de tal forma que
2 F x 2
u 2
2
2F y 2
2F z 2
1 2F v 2 t 2
2 f (u )
, ,
=v
2 f (u ) u 2
Esta es la ecuacin diferencial de onda tridimensional, y se escribe en una forma ms compacta, introduciendo el operador laplaciano
=
2
2 x 2
2 y 2
2 z 2
1 F v
2
Las soluciones de la ecuacin (5), son todas las funciones de la forma (4), en particular aquellas que corresponden a un movimiento armnico simple, y tienen la forma de una funcin cosenoidal o senoidal,
y = A sen
( x vt ) ,
(6)
Esta forma de la ecuacin diferencial de onda tridimensional, es de suma importancia en diversas aplicaciones fsicas. Como es bien sabido, las ondas reales se van dispersando conforme avanzan, es decir que la altitud de las cresta va disminuyendo, lo que significa que su energa se va dispersando en el medio elstico en el que se propaga.
Al tiempo que tarda una onda en recorrer una la distancia de una longitud de onda , se le conoce como periodo T . De la misma forma, se define la frecuencia , como:
Lat. Am. J. Phys. Educ. Vol. 2, No. 3, Sept. 2008
B = 0,
, 0
campos elctrico y magntico. Sin pronosticarlo, obtuvo las ecuaciones de onda para ambos campos en el caso particular en el que no haya cargas ni corrientes externas ( = 0 y J = 0 ). Para deducir las ecuaciones de onda para los campos electromagnticos, tomamos el rotacional de (10), y usando la relacin vectorial
B , t E B = 0 0 + 0 J , t E =
( A ) = ( A ) 2 A ,
en conjunto con (8) y (11) se obtiene,
( E ) = ( E ) E = E , 2E B = 0 0 2 . t t De aqu obtenemos que =
2 2
en donde E es el vector de campo elctrico y B es el vector de induccin magntica, los cuales son generados por las fuentes de carga de densidad , y la fuente de corriente de densidad J, 0 y 0 son constantes. A 0 se le conoce como la permeabilidad del espacio libre, y a 0 como la permitividad del espacio libre. La ecuacin (8) se conoce como la ley de Gauss elctrica, la cual relaciona la carga elctrica con el campo elctrico. sta establece que el nmero total de lneas de campo elctrico que divergen a travs de cualquier superficie cerrada en el espacio libre es igual a la densidad de carga elctrica encerrada en dicha superficie, dividida por 0 . La ecuacin (9) es la ley de Gauss magntica, la cual establece que el flujo magntico total de salida, a travs de cualquier superficie cerrada es cero. Esto es debido a que las lneas de flujo magntico siempre se cierran sobre s mismas, de aqu se desprende que no existen cargas magnticas aisladas, en comparacin con las cargas elctricas. Esto se puede ilustrar si consideramos a un imn de barra con la designacin tradicional de polo norte y polo sur, si lo dividimos en dos, aparecern dos imanes ms pequeos con sus respectivos polos norte y sur, podemos seguir dividiendo esos imanes en dos, y nuevamente aparecern en cada uno de los segmentos sus respectivos polos norte y sur, se puede seguir el proceso de divisin hasta obtener imanes infinitesimalmente pequeos, pero cada uno de los imanes tendra su polo norte y sur, es decir, no se conocen de forma aislada los monopolos magnticos. La ecuacin (10) es la llamada ley de induccin de Faraday, la cual relaciona el cambio de la induccin magntica B en el tiempo con el campo elctrico, mediante la induccin de una fuerza electromotriz al cambiar el flujo magntico. El campo B as inducido variable en el tiempo, genera un campo E , que es perpendicular en todas partes en la que B cambia. La ecuacin (11) es una generalizacin de la ley de Ampre, la cual realiz el propio Maxwell, y relaciona la creacin de campos magntico, mediante corrientes elctricas. El campo elctrico variable con el tiempo induce un campo magntico B , que en todas partes es perpendicular a la direccin en la que el campo E cambia, y este campo inducido es dependiente del tiempo. Maxwell emple las ecuaciones mencionadas anteriormente, para estudiar las relaciones entre los
Lat. Am. J. Phys. Educ. Vol. 2, No. 3, Sept. 2008 314
2 E = 0 0
Esta expresin es la ecuacin de onda para el campo elctrico, por su similitud con la ecuacin de onda tridimensional vista en la seccin anterior. De la misma forma tomamos ( B ) para la induccin magntica, lo que nos conduce a
2 E . t 2
2 B = 0 0
2 B , t 2
la cual, es la ecuacin de onda para el campo de induccin magntica. De esta forma los campos E y B pueden considerarse, como dos aspectos de un solo fenmeno fsico, el campo electromagntico, cuya fuente es una carga en movimiento. La perturbacin, una vez que ha sido generada en el campo electromagntico, es una onda, que se mueve ms all de su fuente e independiente de ella. Maxwell encontr, adems, que estos campos apareados, llamados colectivamente electromagnticos, se pueden propagar en el vaco a manera de ondas, y obtuvo una expresin para la velocidad de propagacin de estas ondas electromagnticas. Cuando l evalu numricamente esta expresin terica, en trminos de variables puramente electromagnticas, encontr que el resultado estaba en excelente acuerdo con las mediciones experimentales de la velocidad de la luz, tendiendo el valor de 3 10 m / s o bien
c = 1 / 0 0 .
8
Su trabajo puso en claro que las ondas de luz son ondas electromagnticas. En trminos de la velocidad de la luz, las ecuaciones de onda para los campos se expresan como
2 E = 1 2 E c t
2 2
2 B =
1 2 B c 2 t 2
(12)
Observemos la gran similitud que tienen con la ecuacin de ondas mecnicas. Las funciones armnicas son soluciones a la ecuacin de onda electromagntica. Para el campo elctrico E , la componente Ex tiene la forma
http://www.journal.lapen.org.mx
E x = E0 x cos( k z t ).
La cual es una onda que se propaga en la direccin z positiva, para distintos valores de t. Alternativamente, los campos E y B pueden escribirse en trminos de un potencial vectorial A y un potencial escalar V. De la ecuacin (9) podemos concluir que,
B =A ,
y de la ecuacin (10),
E=V A . t
y utilizando la relacin
(A ) = (A ) 2 A ,
embargo, stas an no han sido detectadas experimentalmente, lo cual ser una prueba contundente de la existencia de estas ondas y la completez de las ecuaciones de esta teora. En 1916, Einstein fundament la teora de las ondas gravitacionales, para ello, restringi su teora a ondas dbiles (linealizadas) emitidas por cuerpos con autogravedad casi nula, y propagacin a travs de espacio tiempos (podemos imaginarlas como superficies) vacos y planos. La teora de Einstein, est expresada matemticamente en trminos de objetos matemticos conocidos como tensores, los cuales son una generalizacin de los llamados vectores. Los tensores se crearon para describir de una forma ms adecuada la curvatura del espacio tiempo en trminos geomtricos. La cantidad ms fundamental de esta teora es lo que se conoce como mtrica de un espacio tiempo,
ds 2 = g dx dx ,
obtenemos
2 A 0 0 2A t
2
(14)
= J + ( A +
V ). t
La definicin de un vector requiere de la especificacin tanto de su rotacional como de su divergencia. Es por ello que en este caso, se toma la libertad de elegir
A + V = 0, t
donde los subndices y toman los valores enteros de 0 a 3, la cual mide la distancia entre dos puntos en un espacio ya sea plano o curvo, como podra ser una esfera, cilindro, o superficies curvas ms complejas. En base al tensor mtrico g , la ecuaciones ecuaciones de campo gravitacional de la relatividad general, tienen la forma
(13)
lo cual se conoce como condicin o norma de Lorentz (en ingls, gauge) para los potenciales. La ecuacin (13) permite obtener las ecuaciones de onda no homogneas para dichos potenciales, quedando de la siguiente forma:
A V
2 2
G + g = T ,
en donde G R
(15)
2A t
2
= J, =
1 Rg es el tensor de Einstein, 2
2V t 2
que describe la geometra del espacio tiempo a partir del tensor mtrico; R es el conocido como tensor de Riemann; R es el escalar de curvatura; es la llamada constante cosmolgica que no fue originalmente presentada en las ecuaciones de Einstein, y T representa el tensor de energa momento, lo cual corresponde al tipo de materia que genera la distorsin del espacio tiempo [1], [2]. Con = 0 y = 8 G / c , la ecuacin (15) toma la forma
G = 8 G c4 T ,
4
Una de las ventajas del uso estas ltimas ecuaciones de onda para los potenciales radica en que es ms sencillo encontrar el campo elctrico E, a partir del potencial elctrico V, el cual se puede encontrar a partir de la densidad de carga . De la misma forma, conociendo la densidad de corriente J es simple encontrar el potencial A y con ello saber cul es el campo magntico B, [6]. Sabemos que siempre se debe satisfacer el principio de conservacin de la carga, para cualquier situacin fsica. La ecuacin (11), nos permite corroborar que la conservacin de la carga se satisface, es decir
J = t
(16)
donde G es la constante gravitacional de Newton. El valor de fue obtenido por la exigencia de que las ecuaciones de Einstein, tenan que predecir el comportamiento correcto del movimiento de los planetas internos en el sistema solar. Tomar el lmite del campo dbil, significa considerar que el espacio-tiempo es plano ante una pequea perturbacin, tal que los trminos de segundo orden en la perturbacin son insignificantes, por lo que se desprecian.
http://www.journal.lapen.org.mx
(17) al
escoger un vector arbitrario (pequeo) en la ecuacin (21). Usaremos esta libertad para simplificar los clculos. A orden lineal en h , el tensor de Riemann toma la forma,
R = 1 ( h + h 2 h h ),
donde
corresponde
y h es la
(22)
perturbacin de dicho espacio plano. Si h << 1 , podemos excluir los trminos de orden O ( h ) en todas las ecuaciones y, de esta forma, conseguir la versin linealizada de la Relatividad General. Uno puede escribir los tensores en diferentes sistemas de coordenadas, en particular aquellos que resulten ms adecuados para realizar los clculos. En este caso, las coordenadas que consideraremos son las coordenadas de Lorentz [7]. Ahora, consideremos el siguiente cambio de coordenadas,
x
a
tal que las ecuaciones de Einstein en un campo dbil quedan expresadas de la siguiente manera,
G = 1 , (h + h , 2 ,
h , , h , , ) + O ( h 2 ),
esta ecuacin se simplificar si consideramos que:
(23)
h , = 0.
(24)
'
= x + (x ) ,
(18)
La formula anterior representa cuatro ecuaciones, y ya que tenemos cuatro funciones libres gauge , podemos ser capaces de encontrar un gauge en que la ecuacin (23) sea verdadera. Es siempre posible escoger un gauge que satisface la ecuacin (24). As nos referimos como una condicin gauge y especficamente, como una condicin de gauge de Lorentz. Si tenemos un h que satisface esto, decimos que estamos trabajando en el gauge de Lorentz. Otra vez el gauge tiene este nombre, por la analoga con el electromagnetismo. Otros nombres que uno encuentra en la literatura para el mismo gauge incluye el gauge armnico y el gauge de Donder. En este gauge, la ecuacin (23) toma la forma
G = 1 2
donde es un vector cuyas componentes dependen de las coordenadas originales. Para subir o bajar ndices, simplemente usamos la mtrica g . El objetivo de esta transformacin de coordenadas, es que deje invariante al sistema original. S exigimos que entonces tenemos que, a primer orden
sea pequea,
g ' ' = + h , , ,
(19)
donde
= ,
(20)