Relatividad - Especial Sahen Hacyan

1
Prefacio
La presente monografa tiene sus orgenes en las notas de clase que prepar para impartir varios cursos de relatividad en la Facultad de Ciencias de la
unam Estos cursos estaban destinados principalmente a estudiantes de los
semestres de quinto y sexto de la carrera de fsica, es decir, estudiantes familiarizados ya con los fundamentos de la mecnica clsica y la electrodinmica. Este es el nivel aconsejable para leer esta monografa Hace mucho que la teora de la relatividad de Albert Einstein dej de ser una curiosidad para transformarse junto con la mecnica cuntica en uno de los pilares de la fsica moderna. No es exagerado armar que, hoy en da, muchos campos de la fsica no pueden prescindir de la relatividad especial. En cuanto a la relatividad general, a pesar de tener menos aplicaciones y que no consideraremos en esta monografa, juega un papel cada vez ms importante en astrofsica. Se han publicado en los ltimos aos muchos libros de relatividad, a muy diversos niveles y con distintos enfoques. Sin embargo, no siempre se presenta de una manera clara y explcita uno de los conceptos bsicos de la relatividad especial: la covariancia de las leyes de la fsica frente a transformaciones de Lorentz. Por ejemplo, el hecho de que las ecuaciones de Maxwell sean covariantes frente a dichas transformaciones no suele demostrarse detalladamente y apenas si se menciona como dato histrico, cuando en realidad fue ese hecho y no nicamente el experimento de Michelson-Morley el que dio la clave a Einstein para formular su teora: por algo el famoso artculo de Einstein de 1905 se titulaba sobre la electrodinmica de los cuerpos en movimiento En los primeros captulos que siguen se presentan la cinemtica y la dinmica relativista, discutindose los resultados ms importantes, para llegar, de una manera que me parece natural, a la demostracin de que la electrodinmica de Maxwell es, efectivamente, covariante.
Con base en mi experiencia, considero que el material de los presentes seis captulos puede ser cubierto en un curso de un semestre de la carrera de fsica. He dejado de lado, deliberadamente, la relatividad general, pues su inclusin hara demasiado pesado este curso. Sin embargo, creo que esta monografa puede servir de introduccin a la teora general. Agradezco al Conacyt el apoyo que me brind por medio de una Ctedra Patrimonial para la elaboracin del presente texto. Tambin quiero agradecer a Marcela Hernndez la transcripcin en TEX de esta monografa, y su valiosa colaboracin en el proceso de edicin.
Shahen Hacyan
Ciudad Universitaria, octubre de 1992
3
Prefacio a la segunda edicin
El presente libro de texto es una nueva edicin del anterior Relatividad
especial para estudiantes de fsica, en la que he agregado una segunda parte

que cubre tambin la teora de la relatividad general. Por ello, la palabra especial fue eliminada del ttulo, pues el nuevo texto abarca tanto la teora especial como la general. Asimismo, he aprovechado la ocasin para incluir algunos ejemplos y ejercicios adicionales en la parte original y, adems, corregir unas cuantas erratas en la primera edicin. En la edicin de 1992 mencionaba que la relatividad general estaba jugando un papel cada vez ms importante en la fsica moderna. Actualmente, esta armacin se sigue sosteniendo con ms fundamento. En las ltimas dcadas se han dado muchos avances notables en el campo de la cosmologa, una ciencia que ya se ha vuelto exacta y cuya base terica es la relatividad general. Es conveniente, pues, que los estudiantes de fsica estn familiarizados con esta teora, pero incluso si no tienen un inters especial en la relatividad general, su formalismo matemtico, el clculo tensorial, tiene importantes aplicaciones en diversos campos de la fsica. Por ello, el captulo VII de este texto resultar de utilidad como una introduccin a esta herramienta matemtica. La segunda parte de este libro no pretende ser un texto completo de relatividad general, sino slo una presentacin de sus conceptos bsicos y resultados ms importantes. He tratado de reducir al mnimo los clculos, sin por ello abandonar el rigor que requiere una teora tan fuertemente enraizada en un formalismo matemtico. Para aquellos que quieran profundizar ms en el tema, he incluido una breve bibliografa con algunos de los libros de texto ms conocidos de relatividad y cosmologa.
Shahen Hacyan
Ciudad Universitaria, octubre de 2006
I. PRINCIPIOS FUNDAMENTALES
I.1. El principio de relatividad de Galileo
Cuando dejamos caer una piedra en un vehculo en movimiento cae
verticalmente con respecto al vehculo o con respecto al exterior? La experiencia nos ensea que si el vehculo se mueve en lnea recta y sin variar su valocidad, todo sucede dentro de l como si no se estuviera moviendo. En un autobs que corre a 100 km/hora, un objeto que cae de manos de un pasajero no se dispara a 100 km/hora hacia la parte trasera del vehculo, sino que cae verticalmente con respecto al piso del autobs. La misma experiencia diaria nos indica que podemos sentir el movimiento dentro de un vehculo si ste se acelera, enfrena, o toma una curva, es decir, en general, cuando se aparta de un movimiento rectilneo con velocidad constante. Por ejemplo, en un vehculo que se enfrena bruscamente sentimos una fuerza que nos arroja hacia adelante; fuerzas de este tipo se llaman in-
erciales y se deben a la tendencia de todo cuerpo a mantener su movimiento

uniforme rectilneo; en este sentido con fuerzas cticias, pues no resultan de la interaccin con otros cuerpos. Todo movimiento debe referirse a algn sistema de referencia, que se escoje de forma tal que sea el ms apropiado para describir los fenmenos que en l ocurren. Entre todos los posibles sistemas en movimiento, ocupan un lugar muy especial aquellos que poseen una vlocidad uniforme y rectilnea, o, ms precisamente se llaman sistemas inerciales En nuestra experiencia diaria, el sistema de referencia ms utilizado es la Tierra misma. En un sistema de referencia inercial, excepto por una ligersima fuerza no inercial producida por su rotacin, pero que es prcticamente despreciable para casi todos los nes prcticos. Sin embargo, la tierra gira
5
HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA
alrededor del Sol a 30 km/s y el Sol se mueve a 220 km/s alrededor del centro de la galaxia Va Lctea, a pesar de lo cual la Tierra nos parece perfectamente inmvil. El hecho de que el movimiento de la Tierra sea prcticamente imperceptible se debe a un principio fundamental que Galileo Galilei enunci claramente en el siglo xvii: las leyes de la fsica son independientes de cualquier sistema de referencia, por lo que es imposible determinar por medio de experimentos mecnicos si un sistema inercial se mueve o no. Este es el
principio de relatividad de Galileo.

Si tenemos dos sistenas inerciales que se mueven uno con respecto al otro con una cierta velocidad(constante, obviamente), para todo n prctico el primer sistema puede considerarse en reposo y el segundo en movimiento. Cualquiera de los dos casos son equivalentes en el sentido de que las leyes fsicas son las mismas en los dos sistemas. Vemos as que el movimiento es un concepto relativo al sitema desde el cual se mide. Formulemos ahora el principio de Galileo en forma matemtica. Consideremos dos sistemas inerciales S y S que se mueven uno con respecto al otro con velocidad (constante) V (gura I.1). Construyamos dos sitemas de coordenadas: (x, y, z) en el sistema S y
(x , y , z ) en el sistema S . Sin perder generalidad escojamos los ejes x y x a

lo largo de la direccin de la vlocidad del sistema S (gura I.1). Supongamos que, al tiempo t = 0, los dos sistemas de coordenadas coinciden, cmo se relacionarn entre s despus de un tiempo arbitrario t? Un simple vistazo a la gura I.1 revela que:
x =xVt y =y z =z
Slo nos falta determinar cmo relacionar los tiempos t y t , medidos en los (I.1)
PRINCIPIOS FUNDAMENTALES
dos sistemas. Si un reloj en S y otro en S se sincronizan poniendo t = t = 0 en el momento en que los dos sistemas de coordenadas coinciden, nuestro sentido comn nos indica que los dos relojes marcarn siempre el mismo tiempo, es decir, el tiempo transcurrir en la misma forma en cada uno de los sistemas. Dicho de otro modo, debe existir un tiempo absoluto medido de la misma manera por cualquier sistema en movimiento. Esto nos conduce a complementar las transformaciones (1) con la condicin adicional:
t =t
(I.2)
Las frmulas (1) y (2) denen un cambio de coordenadas llamado transfor-
macin de Galileo. El principio de la relatividad de Galileo implica que las

leyes de la fsica no cambian su forma ante estas transformaciones. Ntese que la condicin (2) es, en realidad, un postulado, aunque parece bien fundamentado en nuestra experiencia diaria. En efecto, los relojes no parecen funcionar ni ms ni menos rpidamente en un sistema de referencia en movimiento. Si as fuera, no habra un tiempo absoluto y tendramos que sincronizar constantemente nuestros relojes. . . La primera ley de Newton, que arma que todos los cuerpos se mueven en lnea recta y con velocidad constante si no actan fuerzas externas sobre ellos, es otra faceta del principio de relatividad de Galileo. Si bien Newton nunca rechaz este principio, postul la existencia de un espacio absoluto, que equivaldra a un sistema de referencia nico y particular, con respecto al cual, en promedio, toda la materia en el Universo estara en reposo. Hay que insistir en que la existencia de un sistema de referencia absoluto no contradice necesariamente el principio de Galileo, que nicamente postula el hecho de que las leyes de la fsica son las mismas en cualquier sistema de referencia inercial, sea ste un sistema universal y absoluto, o cualquier otro. No se puede determinar por medio de experimentos fsicos si uno se encuentra en movimiento con respecto al hipottico espacio absoluto.
El concepto de espacio absoluto permaneci en la fsica ms de dos siglos despus de Newton, a pesar de no ser esencial en la mecnica clsica. Adems, Newton introdujo el concepto de tiempo absoluto, cuya existencia implica que hay una manera nica de medir el tiempo, como si hubiera un solo reloj csmico. Un tiempo absoluto, independiente de quin lo mide, es parte de nuestra experiencia, o por lo menos eso pareca hasta que lleg Einstein.
I.2. Incompatibilidad entre electromagnetismo y Relatividad Galileana. El ter
Si bien el principio de la relatividad galileana parece perfectamente slido, las primeras dicultades con l empezaron cuando James Clerk Maxwell elaobr, alrededor de 1860, su famosa teora electromagntica. En el siglo
xviii, Charles Augustin Coulomb haba demostrado que dos cuerpos elc-
tricamente cargados ejercen una fuerza de atraccin o repulsin entre s similar a la fuerza gravitacional: proporcional al producto de las cargas e inversamente proporcional al cuadrado de la distancia entre ellas. Aproximadamente por la misma poca, Benjamn Franklin, en Estados Unidos, demostr que los rayos que se introducen durante las tormentas son gigantescas chispas elctricas que saltan entre las nubes y el suelo. El estudio de la electricidad cobr un auge muy especial cuando se inventaron las pilas, que en un principio se consideraban botellas que contienen un misterioso uido elctrico. Las pilas producen una corriente elctrica en un cable de metal; hoy en da sabemos que la corriente elctrica es efectivamente un ujo de partculas: los electrones. El hecho de que el magnetismo est relacionado con la electricidad se hizo evidente cuando Hans Christian Oersted descubri, a principios del siglo
xix, que las corrientes elctricas producen fuerzas magnticas que inuyen
sobre los imanes: una brjula tiende a orientarse perpendicularmente a un cable por donde pasa una corriente elctrica sucientemente fuerte. Poste-
riormente, Jean-Marie Ampre encontr una ley que relaciona la corriente elctrica con la fuerza magntica que genera. Pero el fenmeno ms importante que pone de maniesto la relacin entre la electricidad y el magnetismo fue descubierto por Michael Faraday en 1831. Faraday not que el movimiento de un imn puede inducir este fenmeno pareca tener poca importancia, pero un siglo despus el efecto Faraday sirvi para generar y utilizar la energa elctrica. Tal era la situacin de la electricidad y el magnetismo hasta mediados del siglo xix: una serie de fenmenos y leyes aislados que relacionaban entre s la electricidad y el magnetismo. Haca falta una formulacin unicada de estas leyes que permitiera una comprensin ms profunda de la naturaleza de estas fuerzas. Tal obra fue realizada por Maxwell. Maxwell logr expresar las leyes descubiertas por Coulomb, Faraday y Ampre en un conjunto de ecuaciones diferenciales que relacionan matemticamente las distribuciones de cargas y corrientes con las fuerzas elctricas y magnticas que generan en cada punto del espacio. Las ecuaciones de Maxwell permitieron ver en forma clara que la electricidad y el magnetismo son dos manifestaciones de un mismo fenmeno fsico: el electromagnetismo. El fenmeno era similar a la gravitacin, cuyas leyes fueron descubiertas por Newton; as como un cuerpo masivo pruduce una fuerza gravitacional sobre otro, un cuerpo elctricamente cargado y en movimiento produce una fuerza electromagntica sobre otro cuerpo cargado. La diferencia ms importante es que la magnitud y la direccin de la fuerza electromagntica dependen de la carga del cuerpo que lo produce y tambin de su velocidad; por esta razn, la teora del electromagnetismo es ms complicada que la teora newtoniana de la gravitacin, y las ecuaciones de Maxwell son ms complejas que la frmula de Newton para la fuerza gravitacional. Un aspecto comn entre la gravitacin y el electromagnetismo es la exis-
10
tencia de una aparente accin a distancia entre los cuerpos, lo cual Newton consideraba el punto dbil de su teora. Maxwell no resolvi el problema, pero invent un concept que desde entonces se ha utilizado constantemente en la fsica: el campo electromagntico, que a su vez est inspirado en el concepto de lnea de fuerza inventado por Faraday. Segn esta interpretacin, en todo punto del espacio alrededor de una carga existe una fuerza electromagntica, cuya intensidad y direccin estn denidas por medio de unso vectores. En realidad, ms que un concepto, el campo es una denicin que da cierta consistencia a la idea de que una carga elctrica acta sobre otra lejana, sin tener que recurrir a una accin a distancia. Slo en el siglo xx se pudo encontrar cierta base fsica para este concepto, pero en tiempos de Maxwell el campo electromagntico era una nocin matemtica sumamente til descrita por ecuaciones, pero cuya realidad fsica trascenda toda interpretacin. El primer xito, y el ms notable, de la teora de Maxwell fue la elucidacin de la naturaleza de la luz. Maxwell demostr que a partir de sus ecuaciones matemticas que existen ondas electromagnticas que consisten en oscilaciones del campo electromagntico. Estas ondas fueron identicadas con la luz misma, estableciendo as, ms all de cualquier duda, la naturaleza ondulatoria de la luz, tal como lo pensaba Huygens y en contra de la opinin de Newton. Pero qu sustenta a una onda en el espacio? No qued ms recurso a Maxwell que recurrir a la existencia de un eter, una misteriosa sustancia intangible, que permea todos los cuerpos en el Universo y que sirve como medio fsico para transportar las ondas electromagnticas. Pero el problema del ter estaba relacionado con otro aspecto, enigmtico, de la teora de Maxwell: la aparente necesidad de un espacio absoluto. Como mencionamos anteriormente, las leyes de la fsica deben ser inde-
11
pendientes de todo sistema de referencia, de acuerdo con el principio de relatividad de Galileo. Sin embargo, las leyes del electromagnetismo, tal como las planteaba Maxwell, no cumplen este principio: al pasar de un sistema de referencia a otro, las ecuaciones de Maxwell toman una forma distinta, lo que parece implicar leyes de la fsica diferentes. De hecho las ecuaciones del electromagnetismo en la forma deducida por Maxwell slo podan ser vlidas en un sistema de referencia muy especial, y los fsicos especularon que se no poda ser otro que el espacio absoluto. Ilustremos lo anterior con un ejemplo simple. Sabemos que el campo magntico acta sobre una partcula cargada si sta se encuentra en movimiento: la fuerza ejercida es directamente proporcional a la velocidad (y perpendicular a la direccin del movimiento). Consideremos un sistema inercial S en que un alambre conductor, por el cual uye una corriente, se encuentra en reposo: los iones positivos del alambre estn jos y los electrones se mueven con velocidad V . Consideremos adems, una partcula con carga q que se mueve con la misma velocidad V paralelamente al alambre. Ahora bien, en el alambre uye una corriente elctrica que, segn la ley de Ampre (contenida en las ecuaciones de Maxwell), genera un campo magntico B tal como lo seala la gura I.2. Este campo magntico produce, a su vez, una fuerza F = qV B sobre la particula cargada. Esta fuerza es perpendicular al alambre y aparta a la partcula de su trayectoria rectilnea. Veamos ahora el mismo experimento desde un sistema inercial S en el que la partcula cargada est en reposo. Ese sistema, se ver a los electrones del alambre en reposo y a los iones en movimiento. por lo que tambin habr una corriente elctrica que genera un campo magntico. Pero ahora la partcula cargada tiene velocidad V = 0, as que el campo magntico no produce ninguna fuerza sobre ella. Llegamos as al resultado paradjico de que la partcula cargada, en el sistema S es desviada de su trayectoria rectilnea, pero no lo es en el sistema
12
S.
Este tipo de contradicciones condujo a los fsicos del siglo XIX a postular que las ecuaciones de Maxwell son vlidas slo en un sistema particular y no en cualquiera, en contra del principio de Galileo. As, sera posible determinar por medio de experimentos elctricos y magnticos si un sistema inercial est en movimiento o no. Ms an, la velocidad de la luz debe ser constante con respecto al ter en reposo, as que uno puede determinar la velocidad de un sistema inercial midiendo en ella la velocidad de la luz en varias direcciones. En efecto, si la luz tiene una velocidad bien denida con respecto al ter, entonces esta velocidad debe variar segn el movimiento de quien la mida. Como la Tierra gira alrededor del Sol con una velocidad aproximada de 30 kilmetros por segundo, un rayo de luz emitido en el sentido de movimiento de la Tierra debe moverse, con respecto a la Tierra misma, con una velocidad menor que un rayo emitido en la direccin contraria, siendo la diferencia de velocidades entre los dos rayos luminosos de 60 kilmetros por segundo. Si se pudiera medir esta variacin de la velocidad se conrmara indirectamente la existencia del ter, o al menos la de un sistema de referencia absoluto. La velocidad de la luz es de aproximadamente 300 000 kilmetros por segundo;1 evidentemente, la medicin de la velocidad luminosa debe ser extremadamente precisa para poder detectar una variacin de slo 60 kilmetros por segundo. Tal era el reto para los fsicos experimentales del siglo pasado. El primer experimento conable para medir la velocidad de la Tierra con respecto al ter fue realizado en 1887 por los norteamericanos Albert Abraham Michelson y Edward W. Morley. El aparato que utilizaron fue un interfermetro, que permite medir distancias y velocidades con enorme precisin utilizando haces de luz en interaccin. El experimento consista
1 La velocidad de la luz es, por denicin, exactamente 299 792 458 metros por segundo. Para la mayora de los nes prcticos, se redondea este valor a 300 000 ki1metro por segundo.
13
en dividir, por medio de un espejo semitransparente, un haz luminoso en dos haces perpendiculares, que se reejan en sendos espejos para volver a unirse y producir un patrn de interferencia. Luego se giraba todo el aparato: cualquier cambio en la velocidad de la luz debera producir una interferencia distinta entre los dos haces luminosos que poda detectarse directamente. El experimento se llev a cabo con todo el cuidado necesario, pero, sorprendentemente, Michelson y Morley no detectaron ningn cambio en la velocidad de la luz. A pesar del movimiento de la Tierra, la luz se mova con la misma velocidad en todas direcciones. Cmo explicar el resultado negativo del experimento? Tanto Michelson y Morley, como otros fsicos, propusieron varias hiptesis: quizs la Tierra arrastra consigo al ter en su movimiento; quizs los cuerpos se contraen en la direccin de su movimiento, cancelando as el efecto debido a la diferencia de velocidades de los dos haces luminosos del experimento; quizs la velocidad de la luz es constante con respecto a la fuente que la emite, etc. Durante algunas dcadas, el resultado negativo del experimento de Michelson-Morley fue uno de esos detalles molestos que no encajan en ninguna teora bien establecida, y que no cobran verdadera importancia hasta que se produce una revolucin cientca. En este caso, la revolucin cientca fue la teora de la relatividad.
I.3. La teora de la relatividad de Einstein
En 1905 apareci la Teora de la Relatividad Especial de Albert Einstein que solucionaba el problema de la invariancia de la velocidad lumnica en forma drstica. Sin embargo, pasaron varios aos hasta que el trabajo de Einstein fuese aceptado por la comunidad cientca. Hoy en da, la teora de la relatividad es, junto con la mecnica cuntica, uno de los pilares de la fsica moderna. Einstein postul, en primer lugar, que las ecuaciones de Maxwell son ri-
14
gurosamente vlidas en cualquier sistema inercial de referencia. Para ello, Einstein declar que el ter simplemente no existe; por lo tanto, no existe ningn sistema de referencia privilegiado. Pero, al no haber ter con respecto a qu debe medirse la velocidad de la luz? La respuesta de Einstein fue drstica: la velocidad de la luz es la misma en cualquier sistema de re-
ferencia; despus de todo, eso es lo que indica el experimento de Michelson

y Morley. Este concepto de que la velocidad de la luz es invariante choca con nuestro sentido comn. Siendo que la velocidad de la luz es 300 000 km/s, parecera lgico que al correr detrs de una seal luminosa la visemos con una velocidad menor. Sin embargo, segn Einstein, no importa cmo se mueva un sistema de referencia, la velocidad de la luz medida en ella ser siempre igual a c = 300 000 km/s. La teora de la relatividad implica, asimismo, que las transformaciones de Galileo (Ecs. 1 y 2) no son vlidas por ser incompatibles con las ecuaciones de Maxwell. Pero, entonces, existe una transformacin de coordenadas, parecida a la de Galileo, que mantenga invariante la forma de las ecuaciones de Maxwell? La respuesta es armativa; a nes del siglo xix, Lorentz2 la haba descubierto:
La transformacin de Lorentz
x = y =y z =z t =
xVt 1 V 2 /c2
(I.3)
t V x/c2 1 V 2 /c2
2 Hendrik Antoon Lorentz (1853-1928), importante fsico holands, quien desarroll la electrodinmica de Maxwell; en particular elabor una teora del electrn precursora de la relatividad de Einstein.
15
Para Lorentz, su descubrimiento era slo una curiosidad matemtica. Le tocara a Einstein encontrar el profundo signicado fsico de esta transformacin.
Ejercicio 1: Demuestre que la transformacin (3) se reduce a la de Galileo

si la velocidad V es despreciable con respecto a la velocidad de la luz.
I.4. El espacio-tiempo
Un concepto extremadamente til en la teora de la relatividad es el del espaciotiempo. La idea es muy simple: si queremos describir un suceso que ocurre en cierto lugar y en cierto momento, debemos especicar no slo las tres coordenadas espaciales sino tambin una cuarta coordenada, el tiempo en que ocurri el suceso. Al conjunto de todos los sucesos podemos entenderlo como un espacio de cuatro dimensiones: tres espaciales y una temporal. Cada punto en este espacio es un suceso. Si un suceso ocurre en un punto con coordenadas
(x, y, z) al tiempo t, tendr coordenadas (x, y, z, ct) en el espaciotiempo.

Ntese que hemos usado como cuarta coordenada el tiempo multiplicado por c, con el n de que la coordenada temporal tambin tenga unidades de distancia (en estas unidades cada segundo equivale a una distancia de 300 000 km). Ahora bien, en el espacio comn y corriente de tres dimensiones es posible denir la distancia entre dos puntos. En coordenadas cartesianas, por ejemplo, la distancia entre los puntos P1 y P2 con coordenadas (x1 , y1 , z1 ) y
(x2 , y2 , z2 ) es, segn el teorema de Pitgoras, (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 .

Una propiedad bsica de esta distancia es ser invariante, en el sentido de que una transformacin de coordenadas no debe afectar el valor de la distancia entre dos puntos dados.
16
Si consideramos ahora a la unin del espacio tridimensional y del tiempo como un espacio de cuatro dimensiones, cabe la pregunta de si se puede denir una distancia entre dos sucesos (x1 , y1 , z1 , ct1 ) y (x2 , y2 , z2 , ct2 ). Se estara tentado de denirla como
(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 + (ct2 ct1 )2 ,

siguiendo la analoga con el teorema de Pitgoras. Pero es la distancia, as denida, invariante? y en qu sentido? La clave es el postulado de Einstein de que la velocidad de la luz es constante en cualquier sistema de coordenadas. Consideremos un sistema inercial S en el cual sucede lo siguiente: del punto (x1 , y1 , z1 ) se emite, al tiempo t1 , una seal luminosa que llega al punto (x2 , y2 , z2 ) al tiempo t2 . La velocidad de la seal luminosa es:
c=
de donde
(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 , t2 t1
(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 = 0.

Consideremos ahora el mismo suceso visto desde otro sistema inercial S : la seal luminosa es emitida del punto (x1 , y1 , z1 ) al tiempo t1 y recibida en el punto (x2 , y2 , z2 ) al tiempo t2 . Debido a la invariancia de la velocidad de la luz, se tiene:
c=
de donde
(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 , t2 t1
(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 = 0

Si denimos ahora la seudodistancia (al cuadrado) entre dos sucesos (x1 , y1 , z1 , ct1 ) y (x2 , y2 , z2 , ct2 ) como
s2 = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 12
(I.4)
17
2 vemos que si s2 = 0 en un sistema S , tambin s12 = 0 en otro sistema S , 12
donde, por supuesto,

2 s12 = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 .
Es as como la seudodistancia entre dos sucesos puede considerarse invariante si su valor es cero. Si queremos que esta propiedad de in variancia persista aun cuando el valor de la seudo-distancia no sea cero, tenemos que tomar la denicin (4) para la seudo-distancia s2 y postular que sta 12 permanece invariante al pasar de un sistema inercial a otro. Como hemos visto, este postulado es enteramente compatible con la hiptesis de que la velocidad de la luz es invariante. Es importante notar que el trmino (t2 t1 ) en la denicin (4) lleva un signo negativo, en contra de los que se podra esperar generalizando directamente el teorema de Pitgoras. Por ejemplo, el hecho de que la seudodistancia entre dos sucesos sea cero no implica que estos coincidan. Ntese que, si la separacin entre dos sucesos considerados es innitesimal, la seudodistancia entre ellas es
ds2 = dx2 + dy 2 + dz 2 c2 dt2

I.5. La Transformacin de Lorentz
(I.4 )
Debemos buscar ahora la forma de una transformacin de coordenadas que deje invariante el valor de s2 . Consideremos un suceso en el origen 0 12 del espaciotiempo, es decir, un suceso que ocurre en el punto de coordenadas espaciales (0, 0, 0) y al tiempo t = 0. La seudodistancia (al cuadrado) entre el suceso origen 0 y cualquier otro suceso con coordenadas (x, y, z, ct) es, por denicin,
s 2 = x2 + y 2 + z 2 c 2 t 2 .
(I.5)
Queremos encontrar una transformacin de un sistema cartesiano de coordenadas (x, y, z, ct) a otro sistema de coordenadas (x , y , z , ct ) tal que s
18
donde
s 2 = x 2 + y 2 + z 2 c2 t 2 .
Existe un problema anlogo en geometra clsica: Cul es la transformacin que deja invariante la distancia
l 2 = x2 + y 2 + z 2 ,
(en coordenadas cartesianas) entre el origen y el punto (x, y, z)?
(I.6)
La respuesta es: una rotacin de ejes. En general una rotacin arbitraria se puede descomponer en una combinacin de rotaciones en los planos xy, yz y zx. Por ejemplo, la rotacin por un ngulo en el plano xy est dada por la transformacin
x x = x cos + y sen , y y = x sen + y cos , z z = z,

y deja invariante la distancia x2 + y 2 , que es igual a x 2 + y 2 , como puede comprobarse fcilmente. Del mismo modo, podemos hablar de una rotacin en el espaciotiempo; sta ser una combinacin de rotaciones en los planos xy, yz, zx, tx, ty, tz . Los tres primeros son rotaciones comunes como (7) y no representan nada nuevo. En cambio, el equivalente a una rotacin en el plano tx debe ser una transformacin de coordenadas que deje invariante a (I.7)
s2 = x2 c2 t2 = x 2 c2 t 2
Siguiendo la analoga con la transformacin (7), hagamos
(I.8)
x = x cosh ct senh ,
y =y
(I.9)
ct = x senh + ct cosh , z = z
y es fcil comprobar que la condicin (8) se satisface, ya que cosh2
senh2 = 1. Identiquemos ahora a . El origen del sistema S tiene co-
19
ordenada x = 0, as que, de acuerdo con (9), el origen de S satisface la condicin
x = tanh ct
Pero, visto desde S , x/t es precisamente la velocidad V del sistema S . Entonces
V = tanh c
y, por lo tanto,
senh =
V /c 1 V 2 /c2 1 1 V 2 /c2
cosh =
Introduciendo esto en la Ec (9), se deduce
x = y =y z =z t =
xVt 1 V 2 /c2
(I.10)
t V x/c2 1 V 2 /c2
Esta es la transformacin de Lorentz a lo largo del eje x, la misma que tuvimos ocasin de conocer un poco antes (Ec. 3).
Ejercicio 2: Demuestre que la transformacin inversa a la (10) es

x= y=y z=z t= t + V x /c2 1 V 2 /c2 x +Vt 1 V 2 /c2
y justique esta frmula con un argumento fsico.
20

I.6. El espacio de Minkowski
El espaciotiempo de cuatro dimensiones es un concepto matemtico perfectamente bien denido como lo not Minkowski3 por primera vez, poco despus de que apareciera la teora de Einstein. Lo que ahora llamamos el espacio de Minkowski es, por denicin, un espacio geomtrico de cuatro dimensiones en el cual las distancias entre puntos se miden segn las frmulas (4) o (4'). Es imposible representar grcamente un espacio de cuatro dimensiones, pero si descartamos una de las tres dimensiones espaciales y representamos slo una o dos de ellas, dibujando el eje del tiempo como un eje vertical, tenemos una grca del espaciotiempo como en la gura I.4. Vimos ya que cada punto del espaciotiempo es un suceso. Consideremos ahora la historia de una partcula: sta es un conjunto de suce sos que ocurren en diversos lugares del espacio. Este conjunto de sucesos es una lnea en el espaciotiempo que se llama lnea de universo. Por ejemplo, la lnea de universo de una partcula en reposo es una recta paralela al eje del tiempo, mientras que la lnea de universo de una partcula que se mueve con velocidad constante V a lo largo del eje x es una recta de pendiente c/V en el plano (x, ct). Una seal luminosa tiene una lnea de universo que es una recta a 45 con respecto al eje ct.
Ejercicio 3: Dibuje la lnea de universo de una partcula que se mueve

en plano xy de la siguiente manera: a) describiendo un crculo con velocidad constante. b) acelerndose desde el reposo hasta alcanzar una cierta velocidad, la cual ya se mantiene constante. Uno de los resultados bsicos de la teora de la relatividad es que ningn objeto puede viajar ms rpido que la luz: la velocidad de la luz es un lmite
3 Hermann Minkowski (1864-1909), matemtico alemn quien sent las bases matemticas de la relatividad especial propuesta por Einstein
21
natural. La razn es que, como veremos en el siguiente captulo, se necesita una energa innita para alcanzar la velocidad de la luz. Por lo pronto, podemos notar que, para V > c, las transformaciones de Lorentz pierden sentido fsico, pues la raz
1 V 2 /c2 se vuelve imaginaria.
El hecho de que exista una velocidad lmite en la naturaleza tiene profundas implicaciones fsicas. Si ocurre un cierto suceso en algn lugar y en algn momento, ese suceso puede inuir slo sobre aque llos sucesos que ocurren despus: si un segundo despus, dentro de un radio de 300 000 km; si dos segundos despus, dentro de un radio de 600 000 km; y, en general, si un tiempo t despus, dentro de un radio ct. Y lo mismo para el pasado: sobre un suceso dado slo pueden inuir aquellos sucesos que, si ocurrieron un tiempo t antes, se encontraba dentro de un radio de ct. La situacin se representa en la gura I.5. A cada suceso E podemos asociarle lo que se llama un cono de luz : ste es el conjunto de todos los sucesos a los cuales se puede llegar desde E viajando a la velocidad de la luz (cono futuro de E ), o desde los cuales se puede llegar a E viajando a la velocidad de la luz (cono pasado de E). Como nada puede viajar ms rpido que la luz, el suceso E slo podr inuir sobre los sucesos que se encuentran dentro y sobre su cono futuro, y slo podr ser inuenciado por los sucesos que se encuentran dentro y sobre su cono pasado. Si un suceso puede inuir sobre otro a travs de una seal que no viaja ms rpido que la luz, se dice que esos dos sucesos estn causalmente conectados. As, todos los sucesos que ocurren fuera del cono de luz del suceso E estarn
casualmente desconectados de E . Volveremos a este cocepto en la seccin 5

del captulo II. Veamos ahora una interpretacin geomtrica de la transformacin de Lorentz. Consideremos para ello nicamente al eje espacial x, adems del
22
eje temporal ct, en un sistema inercial S . El punto x = 0 es el origen espacial y su lnea de universo es simplemente el eje temporal. Asimismo, todos los sucesos que en el sistema S suceden al tiempo t = 0 son sucesos que se encuentran sobre el eje x; en general, dos sucesos son simultneos (ocurren al mismo tiempo t) si se encuentran sobre una recta paralela al eje x. Consideremos ahora un sistema S , denido por la tranformacin de Lorentz (Ec. 10). El origen espacial de S es el punto x = 0 y su lnea de universo es, segn la Ec. (10), la recta x V t = 0. Del mismo modo todos los sucesos que ocurren simultneamente en el sistema S al tiempo t = 0 se encuentran sobre la recta ct (V /c)x = 0. Las dos rectas x = 0 y t = 0 son precisamente los ejes espaciales y temporales del sistema S (gura. I.6). Geomtricamente, la transfomracin de Lorentz corresponde a cerrar los ejes (a diferencia de la rotacin comn que se ve en la gura I.3). Sin embargo, hay que tener cuidado con la medicin de distancias en un diagrama espaciotiempo, ya que la seudodistancia no corresponde a la distancia aparente entre dos sucesos. A diferencia de las rotaciones comunes, la transformacin de Lorentz preserva la seudodistancia, no la distancia que se ve como en la gura I.6. Es evidente de la gura I.6, entre otras cosas, que dos sucesos simultneos (que ocurren a los tiempos t1 = t2 = t) en el sistema S no son simultneos en el sistema S (ocurren a los tiempos t1 = t2 ). As, en la teora de la relatividad, simultaneidad es un concepto relativo. Este hecho tiene consecuencias muy importantes, como veremos en el siguiente captulo.
II. CINEMTICA Y PTICA RELATIVISTAS
Una de las consecuencias ms inmediatas de la transformacin de Lorentz
es que las mediciones del tiempo y del espacio dependen del sistema en que se realizan. Si no precibimos vaqriaciones de tiempo o de espacio en nuestra experiencia cotidiana, es porque las velocidades humanas son extremedamente pequeas con respecto a la velocidad de la luz. Si la velocidad de la luz fuera mucho menor de lo que es, estaramos acostumbrados a variaciones del tiempo o de la simultaneidad. El espacio y el tiempo son conceptos relativos, pero esto no quiere decir que la medicin del tiempo o del espacio no puedan denirse con precisin. Despus de todo, el concepto de relatividad se encuentra incluso en la mecnica de Galileo y Newton. La posicin de un punto siempre se mide con relacin a algn sistema de referencia, lo cual no mplica que la posicn sea un concepto vaco. Einstein, con su teora, extendi la relatividad a la medicin del tiempo.
II.1. Contraccin del tiempo y del espacio
Contraccin del tiempo. Sean dos sucesos E1 y E2 que ocurren en un

mismo lugar (por ejemplo x = 0) al tiempo 0 y t respectivamente. Vistos desde un sistema S , estos dos sucesos ocurren, segn la cuarta de las Ecs. (I-10), a los tiempos
t =0
t =
t 1 V 2 /c2
(II.1)
respectivamente. Vemos de estas ecuaciones que el tiempo t = t 0 entre dos sucesos medidos desde el sistema S es mayor que el tiempo t = t 0 medido en el sistema en que los dos sucesos ocurren en el mismo lugar.
23
24
El tiempo medido en un reloj es una cantidad fsica perfectamente bien denida, aunque no coincida con el tiempo medido desde otros sistemas. Para ver esto ms detalladamente, regresemos concepto de espacio de Minkowski y notemos que la seudodistancia al cuadrado entre dos sucesos, denida por la Ec. (I-4), puede tomar valores tanto positivos como negativos. Es fcil ver que
s2 0 12
s2 > 0, 12
segn si los dos sucesos estn causalmente conectados o no.
Ejercicio 1: Demuestre la armacin anterior.

Consideremos dos sucesos que, en un sistema S , ocurren en el mismo
lugar, pero en tiempos t1 y t2 distintos. La seudodistancia entre esos dos

sucesos ser:
s2 = c2 (t2 t1 )2 12
O sea,
s2 /c es el tiempo medido por un reloj que est jo en S . Si 12
ahora denimos el tiempo propio entre dos sucesos como
12 =
o, en forma diferencial,
s2 12 c
d =
ds2 , c
vemos que el tiempo as denido es invariante frente a una transformacin de Lorentz y corresponde exactamente al tiempo medido, t2 t1 (o dt) en el sistema S en el que el reloj est parado. En general, un observados provisto de un reloj que describe una trayectoria
r = r(t)
en algn sistema de referencia S tendr velocidad v= dr(t)/dt (no necesariamente constante) en ese sistema S ; el tiempo propio medido en su reloj
CINEMTICA Y PTICA RELATIVISTAS
25
estar dado por:
12 =
1 c 1 = c
t2 t1 t2
ds2 |dr|2 + c2 dt2
t1
donde el tiempo t1 y t2 son dos tiempos medidos en el sistema jo S (gura II.1). Ahora bien, como dr=vdt, la ltima ecuacin toma la forma
t2
12 =
t1
v2 dt c2
(II.2)
As, el tiempo propio de un reloj es la seudolongitud de la lnea de universo que describe ese reloj. En el caso particular en que la velocidad v es constante, obtenemos la frmula para el tiemo propio
1 v 2 /c2
que ya habamos encontrado con anterioridad. Pero es importante notar que al Ec. (2) es vlida para cualquier velocidad, incluso no constante.
Ejercicio 2: Visto desde un sistema inercial S , una partcula se mueve

en un crculo de radio R con velocidad angular (R y medidos en S ). Demuestre, a partir de la Ec. (2), que el tiempo propio de la partcula se reduce en un factor
1 2 R2 /c2 con respecto del tiempo medido en S .
Ejercicio 3: El mun () es una partcula elemental que se puede producir

al llegar un rayo csmico a los estratos ms altos de la atmsfera terrestre. La vida media de los muones es de aproximadamente 2 106 segundos, y se han detectado con velocidades del orden de 0.997 veces la velocidad de la luz. Aun a esa velocidad, su vida media no le permitira recorrer ms que unos setecientos metros, segn la fsica clsica. Demuestre que, de acuerdo con la teora de la relatividad, la distancia que recorre es mucho mayor y suciente para llegar a la supercie de la Tierra.
Ejercicio 4: (Paradoja de los gemelos): Pedro y Pablo son dos gemelos.

Un da, Pedro aborda una nave espacial que lo lleva, a una velocidad cercana a la luz, a una estrella distante L aos luz1 . Demuestre que, a su regreso,
1 Un ao luz es la distancia que recorre la luz en un ao y equivale a 9,46 1012 kilmetros.
26
Pedro es ms joven que su hermano Pablo que se qued en la Tierra. Cul es la diferencia de edades, en funcin de V (constante) y L? Desprecie los tiempos de aceleramiento y enfrenamiento de la nave.
Ejercicio 5: Dos observadores O y O se mueven con velocidad relativa

constante V . En el momento de cruzarse, sincronizan sus relojes. O emite una seal luminosa al tiempo t en un sistema, que O recibe al tiempo
t en el suyo. Encuentre la relacin entre t y t (haga un diagrama en el

espaciotiempo). El problema de los gemelos (ejercicio 4) implica una aparente paradoja. En efecto, si la velocidad de la nave espacial es constante, entonces tanto Pedro en su nave, como Pablo en la Tierra, estn en sistemas inerciales y existe una perfecta simetra entre los dos. Debido al principio de la relatividad, Pedro puede armar que l se mantiene inmvil y que es Pablo quien se mueve junto con la Tierra. Segn esto, Pablo debe ser ms joven que Pedro en el momento del reencuentro, y no al revs Cul es la solucin a la paradoja? Por lo pronto, hay que notar que si hay una diferencia esencial entre los movimientos de Pedro y Pablo. En algn momento, la nave espacial de Pedro debe enfrenarse para dar vuelta y regresar a la Tierra. Durante el tiempo que dura esa maniobra, la nave deja de ser un sistema inercial: aparecen fuerzas inerciales que Pedro nota. Evidentemente, nada parecido ocurre en la Tierra, por lo que la historia de Pedro y Pablo no son exactamente equivalentes. Sin embargo, el razonamiento anterior solo resuelve parcialmente la paradoja, pues el tiempo que dura la maniobra para enfrenar y voltear la nave puede ser, en principio, arbitrariamente corto. Cmo puede un suceso breve inuir drsticamente sobre la historia de Pedro y Pablo? Para resolver por completo la paradoja, es necesario aclarar qu es lo que
observan realmente los gemelos. Esto lo analizaremos a continuacin. Tiempo observado. Supongamos que al tiempo t = 0 en la Tierra, una nave
espacial se encuentra a una distancia L y, justo en ese momento (suceso A),
27
emite una seal luminosa. Esa seal llega a la Tierra al tiempo t1 = L/c. Despus, la nave emite una segunda seal luminosa (suceso B ) al tiempo
tB de la Tierra; esa seal llega a la Tierra al tiempo t2 .

Si la nave se est alejando con una velocidad v , la segunda seal habr sido emitida desde una distancia L + vtB . De la gura II.2 es fcil ver que
ct1 = L ct2 ctB = L + vtB

de donde resulta
tB =
c t12 , c+v
siendo t12 = t2 t1 el tiempo medido en la Tierra entre las recepciones de las dos seales. Por otra parte, el tiempo AB medido en la nave entre los sucesos A y B es
AB =
v2 tB c2
debido a la contraccin del tiempo. Combinando las dos ltimas ecuaciones llegamos al resultado:
AB =
cv t12 c+v
(II.3)
Esta frmula implica que un reloj en movimiento se observa caminando ms lentamente si se aleja, y ms rpidamente si se acerca. El tiempo observado depende de la direccin de la velocidad! En cambio, el tiempo propio es ms corto que el tiempo medido en otro sistema. Supongamos que una nave espacial lleva una cmara de televisin que permite observar su interior desde la Tierra. De acuerdo con la frmula (3), un cierto intervalo de timepo transcurrido en la nave se ver, en la Tierra, multiplicado por un factor c + v/ c v . Si la nave se aleja, este factor es mayor que 1, y, en consecuencia, todo sucede en la nave se ve como en
28
cmara lenta. Del mismo modo, si la nave se acerca, lo que sucede en ella se ve como en cmara rpida. Esta situacin es perfectamente simtrica: lo mismo vern los tripulantes de la nave si observan lo qu sucede en la Tierra. Con las consideraciones anteriores, podemos regresar a la paradoja de los gemelos. Veamos, en la gura II.3, el diagrama de espaciotiempo referido al sistema de la Tierra, en la que se observa la lnea de universo de la nave espacial en la que viaja Pedro. Durante la primera mitad de su viaje, Pedro ve lo que sucede en la Tierra en cmara lenta, y esto corresponde al lapso comprendido entre t = 0 y
t = t2 , y por lo tanto, en cmara lenta. Despus, durante un lapso de

tiempo corto, de t = t2 a t = t3 , lo ve en cmara rpida, hasta que se vuelven a encontrar. Es evidente que lo que observan los dos gemelos no es simtrico, con lo cual se resuelve la paradoja.
Ejercicio 6: Siguiendo el anlisis anterior, calcule los dos intervalos de

tiempo (t = t1 a t = t3 ) medidos en la nave, y compruebe que la suma de los dos es consistente con el resultado que obtuvo en el ejercicio 4.
Contraccin de Lorentz. De acuerdo con la teora de la relatividad, se

podra pensar que un cuerpo en movimiento sufre una contraccin; sin embargo, ha habido mucha confusin sobre este efecto. En primer lugar, no se trata de una contraccin real, sino de cmo se percibe el tamao de un cuerpo en un sistema de referencia en el que ste aparece en movimiento. Medir la longitud de una barra equivale a medir la distancia entre sus dos extremos. Es evidente que si la barra se mueve, la posicin de sus dos extremos debe determinarse simultneamente para que la medicin tenga sentido (obviamente no se puede medir el algo de un coche en movimiento marcando en el suelo la posicin de su parte delantera primero, y ms tarde la posicin de su parte trasera). Lo anterior es trivial en mecnica clsica,
29
pues no hay ambigedad sobre la medicin del tiempo, pero la situacin se complica si la velocidad de la barra es sucientemente alta para que aparezcan los efectos relativistas. Si en un sistema de referencia determinamos la posicin de los dos extremos de la barra en el mismo tiempo, ese mismo par de mediciones no habrn ocurrido simultneamente en otro sistema de referencia que se mueve con respecto al primero. Como ya vimos anteriormente, en la teora de la relatividad, la simultaneidad es un concepto relativo. Por lo tanto, si insistimos en denir la longitud de una barra como la distancia entre sus dos extremos, medida simultneamente, esa longitud debe ser distinta para quien ve la barra en movimiento. De hecho, se produce una contraccin, como veremos a continuacin. Debemos insistir, sin embargo, en que esta contraccin se debe ms bien a la denicin misma de la longitud y a la relatividad del tiempo, y no a la contraccin real, en la que los tomos de la barra se comprimen. La supuesta contraccin de los cuerpos en movimiento ha sido fuente de muchas confusiones y es el tema favorito de los acionados a la fsica que intentan refutar la teora de la relatividad buscndole contradicciones. Por denicin, la distancia entre dos puntos debe medirse simultneamente aunque el concepto de simultaneidad dependa del observador. Sin embargo, lo que se puede denir sin ambigedad es la longitud propia, que es la longitud de un objeto medido en el sistema en el que est en reposo. Supongamos que una barra est en reposo en el sistema S y sean x1 y
x2 las coordenadas de de sus extremos (escogemos al eje x a lo largo de la

barra). La longitud propia de la barra es decir, la medida en su sistema en reposo es
L0 = x2 x1
(II.4)
En un sistema S que se mueve a lo largo del eje x , la barra se ver movindose con una cierta velocidad V , que es la de S con respecto a S .
30
Segn la transfomacin de Lorentz:
x1 =
x 1 + V t1 1 V 2 /c2
x2 =
x2 + V t 2 1 V 2 /c2
(II.5)
Por denicin, la longitud de la barra en el sistema S es la distancia entre las puntas de la barra, x1 y x2 , medida simultneamente al tiempo
t = t1 = t2 . Entonces L = x2 x1 , y segn las Ecs. (4) y (5): L = L0 1 V 2 /c2

(II.6)
sta es la frmula para la contraccin de Lorentz de las distancias. Es importante sealar que esta contraccin no es directamente observable y no debe confundirse con la apariencia ptica de los objetos en movimiento. Incluso si no se toman en cuenta efectos relativistas de contraccin de tiempo, un cuerpo que se mueve con una velocidad comparable con la de la luz debe verse deformado. Esto se debe a que la luz recibida simultneamente de un objeto en movimiento no parti simultneamente todas sus partes. Si, por ejemplo, el cuerpo se aleja, la luz necesita un poco ms de tiempo para viajar del extremo delantero ms corto de lo que es realmente. Del mismo modo, un cuerpo que se acerca se ve ms largo de lo que es en realidad. El efecto anterior debe combinarse con la contraccin relativista del tiempo para deducir qu apariencia tiene un cuerpo cuya velocidad es cercana a la luminosa. El resultado es muy curioso, aunque de poca relevancia prctica. Se puede demostrar, por ejemplo, que una esfera en movimiento sigue vindose como esfera, pero una barra aparece doblada. Tambin se ha demostrado que un objeto lejano (cuyo tamao aparente es pequeo) no se ve deformado ni contrado; por ejemplo, un cubo en movimiento sigue vindose como cubo, pero rotado.2
2 (Vase por ejemplo, el artculo de V.F.Weisskopf en Physics Today, sept. 1960, p.24).
31
Ejercicio 7: Sea una barra de longitud propia L0 que se mueve con cierta
velocidad y atraviesa una caja de la misma longitud propia L0 . Debido a la contraccin de Lorentz, la barra mide menos que L0 y puede quedar atrapada dentro de la caja. Sin embargo, para un observador montado en la barra, es la caja la que se mueve y, por lo tanto, se contrae: la caja mide menos que L0 y no puede atrapar a la barra (gura II.4). Resuelvea la paradoja. Como el lector habr notado ya, el factor (1 V 2 /c2 )1/2 aparece frecuentemente en la teora de la relatividad, as que de ahora en adelante usaremos la denicin del factor de Lorentz :
1 1 V 2 /c2
(II.7)
Este factor vale prcticamente 1 para velocidades bajas, es siempre mayor que 1 y se vuelve innito para V = c.
II.2. Transformacin de velocidades
Veamos ahora cmo se transforman las velocidades en relatividad. Es evidente que no se van a sumar simplemente, como en mecnica clsica, pues ya vimos que, en el caso de la luz, su velocidad es invariante. Por denicin, la velocidad v en el sistema S es la derivada de la posicin con respecto del tiempo, todo medido en S . Explcitamente en S :
v=
mientras que en el sistema S :
dx dy dz , , dt dt dt
v' =
dx dy dz , , dt dt dt
Busquemos una relacin entre las componentes de v y v'. Si diferenciamos
32
las Ecs. (I.10) para la transformacin de Lorentz, tenemos:
dx = (dx V dt)) dy = dy dz = dz dt = dt
de donde
V dx c2
vx =
dx dx V dt (dx/dt) V = = 2 )dx dt dt (V /c 1 (V /c2 )(dx/dt) dy dy (dy/dt) vy = = 1 = 1 2 )dx dt dt (V /c 1 (V /c2 )(dx/dt)
Resulta, por lo tanto, que:
vx =
vx V 1 V vx /c2 vy vy = 1 1 V vx /c2 vz vz = 1 1 V vx /c2
(II.8)
Ejercicio 8: Demuestre, con las Ecs. (8), que si

vx2 + vy2 + vz2 = c2
entonces tambin
2 2 2 vx + vy + vz = c 2 ;
es decir, la velocidad de la luz es c en cualquier sistema.
Ejercicio 9: Es bien sabido que la velocidad de la luz en un medio material transparente es menor que en el vaco. Puede un medio material arrastrar la luz consigo? En el siglo pasado, para responder a esta pregunta, se midi la velocidad de la luz que pasa por un tubo en el que un lquido uye con velocidad V . Se encontr empricamente que la velocidad v de la luz as medida est dada por
v = c + (1 n2 )V,
33
donde c es la velocidad de la luz en el lquido en reposo y n es el ndice de refraccin (n = c/c ). Demuestre que esta frmula es consecuencia directa de las Ecs. (8). La clave es colocarse en el sistema en reposo del uido, y luego regresar al sistema del laboratorio. (Recuerde que V
II.3. Aberracin ptica
c).
El ngulo de inclinacin con el que se reciben los rayos luminosos depende de la velocidad del observador. Si este ngulo es en un sistema S , ser
en un sistema S que se mueve con velocidad V con respecto al primero.

El hecho de que y no sean iguales se llama aberracin ptica. Vamos a calcular la relacin entre y . Segn la gura II.5, las componentes x y y de la velocidad del rayo luminoso en el sistema S son:
cx = c cos
y en S :
cy = c sen
cx = c cos
cy = c sen
Estas componentes no son invariantes por separado; slo es invariante la
magnitud de la velocidad de la luz. usando las Ecs. (8), resulta
sen =
1 sen 1 + (V /c) cos cos + (V /c) . 1 + (V /c) cos
cos =
Si utilizamos la frmula trigonomtrica
tan
sen = , 2 1 + cos
podemos escribir la frmula de la aberracin en una forma compacta:
tan
= 2
cV tan , c+V 2
(II.9)
34
Esta frmula permite encontrar en forma grca el ngulo de aberracin. Supongamos que un observador en O ve una estrella a un ngulo con respecto al horizonte, y otro observador que se mueve con velocidad V respecto al primero ve la estrella a un ngulo . El mtodo geomtrico para localizar la posicin de la estrella en S es el siguiente: Trace un crculo alrededor de O, busque la tangente de /2, multiplquelo por c V / c + V para encontrar primero /2 y luego (gura II.6).
Ejercicio 10: Utilice la construccin anterior para la aberracin ptica

con el n de deducir, en forma cualitativa, cmo se vera el cielo estrellado desde una nave espacial que se mueve a velocidad cercana a la de la luz. Demuestre que las estrellas se ven concentradas en la direccin hacia la cual se mueve la nave, mientras que el cielo parece despoblado en la direccin opuesta.
II.4. Efecto Doppler
La sirena de una ambulancia se oye ms aguda cuando se acerca, y ms grave cuando se aleja. Esto se debe a que las ondas sonoras provenientes de un emisor en movimiento se reciben con una longitud de onda que disminuye o aumenta segn si el emisor se acerca o se aleja. Este fenmeno se conoce como efecto Doppler. El efecto Doppler se aplica a cualquier tipo de onda, incluyendo la luz. Una fuente luminosa que se aleja o se acerca a gran velocidad se ve ms roja o ms azul, respectivamente. A continuacin vamos a calcular como vara la longitud de onda emitida por una fuente en movimiento arbitrario. Consideremos un observador que est jo en r = 0, en el sistema S , y que observa una partcula que emite luz. al tiempo tem la partcula emite una seal luminosa que el observador recibe al tiempo tobs . Luego, una segunda seal es emitida un tiempo tem despus y recibida por el observador un
35
tiempo tobs despus de tobs . Todas estas cantidades estn medidas en el sistema en reposo del observador. Cmo se relacionan tem y tobs ? De la gura II.7 se ve que:
c(tobs tem ) = |r| c(tobs + tobs tem tem ) = |r + r|
(II.10)
(II.10 )
Vamos a suponer que el emisor est lo sucientemente alejado para poder hacer la aproximacin
|r|
En este caso:
|r|.
|r + r| = (|r|2 + |r|2 + 2r r)1/2 |r| +

donde er es un vector unitario en la direccin r.
r r = |r | + e r r |r |
Usando esta frmula y restando (10) de (10'), resulta
c(tobs tem ) = er r,
y como r = Vtem , se tiene que
tobs =
1 + er
V
c
tem
(II.11)
Recordemos que todas las cantidades en esta frmula se reeren al sistema
S en el que O est en reposo.

El intervalo de tiempo tem medido por el observador corresponde al intervalo de tiempo propio rem medido por el emisor, y estos dos tiempos estn relacionados por la frmula:
em =
V2 c2
1/2
tem ,
Combinando con la Ec. (11) se obtiene
tobs =
1 + er V/c 1 V 2 /c2
em .
(II.12)
36
Esta frmula relaciona el intervalo de timepo em medida en el sistema del emisor, con el intervalo correspondiente tobs medido por el observador. Supongamos que el emisor emite una luz con frecuencia vem ; esta frecuencia ser igual al nmero de mximos (o mnimos) de la onda luminosa emitidos entre em y em + em , dividido entre em . Ese mismo nmero de mximos o mnimos ser recibido en O, pero en el intervalo de tiempo
tobs . Esto implica que la frecuencia observada es, segn la Ec. (12), vobs = 1 V 2 /c2 vem 1 + er V/c
(II.13)
sta es la frmula relativista para el efecto Doppler. Tres casos tpicos se muestran en la gura II.8. En el primer caso, la fuente se mueve directamente hacia el observador y ste mide una frecuencia mayor, dada por
vobs =
c+V vem cV
En el segundo caso, la fuente est en recesin y la frecuencia observada es menor:
vobs =
cV vem , c+V
por lo que la luz se ve enrojecida (corrida hacia el lado rojo del espectro). Ntese que en el lmite no-relativista V mente,
c, los tres casos son, respectiva-
vobs =
1+
V c
vem ,
vobs =
V c
vem ,
vobs =
V2 vem . c2
El tercer caso (efecto Doppler transversal) es de orden (V /c)2 y es un efecto puramente relativista. El efecto Doppler es de fundamental importancia en astronoma. A nes de los aos veinte, el astrnomo Edwqin Hubble descubri que las lneas espectrales de las galaxias lejanas estn sistemticamente corridas hacia el lado rojo del espectro, y que, adems, existe una relacin directa entre este
37
corrimiento y la distancia de una galaxia. Si se acepta el hecho de que el corrimiento de las lneas espectrales galcticas se debe al efecto Doppler, la conclusin es eu el Universo est en expansin.
II.5. Taquiones y mquinas del tiempo
En la teora de la relatividad, el concepto de simultaneidad no tiene sentido absoluto. Como ya sealamos, si dos sucesos ocurren en tiempos t1 = t2 en un sistema de referencia S , esos mismos sucesos ocurrirn en tiempos t1 = t2 en otro sistema de referencia S . En cambio, lo que s tiene sentido es el orden casual. Si el suceso B est en el futuro casual de A, entonces cualquier transformacin de Lorents deja sin alterar ese orden casual, ya que B seguir estando en el futuro de A. Lo nico que se altera al pasar de un sistema a otro es el tiempo transcurrido entre A y B . Dicho de otro modo, B est dentro del cono de luz futuro de
A, y esto no se altera por ninguna transformacin de Lorentz.

Del mismo modo, se puede decir que A est dentro del cono de luz pasado de B , y seguir dentro de ese cono independientemente de la transformacin de Lorentz que se haga. Pero si A y B no estn causalmente conectados, es decir, si B est fuera de los conos de luz, tanto futuro como pasado, de A, entonces el orden causal depende del sistema de referencia. Si A y B ocurren a tiempos t A y tB en un cierto sistema y tB > tA , entonces siempre se puede encontrar otro sistema en el que ocurran a tiempos tA y tB tales que tB < tA . Algunas veces se ha especulado sobre la posibilidad de que existan partculas que viajen ms rpidamente que la luz. A esas hipotticas partculas hasta se les ha dado un nombre: taquiones (del griego , tajs : veloz). Como veremos en el captulo siguiente, es necesario invertir una cantidad innita de energa para que una partcula masiva alcance la velocidad de la luz. Sin embargo, se puede especular que algn fenmeno desconocido, quiz relacionado con efectos cunticos, permita rebasar esa barrera natu-
38
ral en alguna forma no prevista por la fsica actual. Incluso podran existir taquiones desde que se form el Universo, cuando las leyes de la fsica eran totalmente distintas de las que conocemos. Pero aun en ese caso nos enfrentamos a problemas conceptuales de fondo, relacionados con el hecho de que el orden temporal entre dos sucesos no es invariante si estos sucesos no estn relacionados causalmente. Supongamos que un observador a posee un emisor de taquiones, y un observador b (que, por simplicidad, tomamos en reposo con respecto a a) posee un receptor de taquiones. El observador a manda una seal taquinica (suceso A), que b recibe (suceso B ). Si el lector dibuja un diagrama de espaciotiempo se convencer fcilmente de que b primero ve la recepcin del taquin (suceso B ) y su emisin (suceso A). El orden temporal entre dos sucesos causalmente desconectados no es un orden absoluto, y, por lo tanto, el concepto de pasado y futuro para un taquin es relativo. Un taquin viaja hacia el futuro o hacia el pasado segn la velocidad de quien lo observe. En cambio, si se transmiten partculas normales cuya velocidad no excede la luminosa, entonces la emisin (A) antecede siempre a la recepcin (B ) para cualquier observador (haga un diagrama para comprobarlo). Lo anterior se maniesta en forma ms impresionante si consideramos el siguiente ejercicio:
Ejercicio 11: Sea un emisor de partculas que lanza partculas a una

velocidad v con respecto a un sistema en reposo, que llamaremos S . Desde
S se lanza una partcula a un observador que se aleja con velocidad V del

emisor. Ese observador tambin lleva un emisor idntico al primero. Cuando el observador recibe la partcula que le enviaron responde inmediatamente lanzando otra partcula con velocidad v para l, pero velocidad
v + V 1 vV /c2
en el sistema S . Esa segunda partcula se recibe en el sistema S un tiempo
39
t despus de haberse lanzado la primera partcula. Demuestre que: V v v2 t=L 2 1 2 , v(v V ) V c

donde L es la distancia recorrida por la partcula medida en el sistema S . Ahora puede probar, utilizando esta frmula, que si se lanzan taquiones con velocidad v > c, entonces siempre se puede encontrar una velocidad V para el observador en movimiento tal que,
c>V >
2v 1 + v 2 /c2
para la cual t es negativo. La seal de respuesta llega antes de emitirse el primer taquin! De lo anterior vemos que, si existieran los taquiones, sera posible comunicarse con el pasado. La existencia de taquiones es equivalente a la posibilidad de construir mquinas del tiempo. Por ejemplo, imaginemos que en el futuro se inventara un teletransportador que permitiera a un viajero espacial desaparecer en la Tierra y materializarse en algn lugar lejano, implicando un desplazamiento a mayor velocidad que la luz. Nuestro viajero podra llevarse un teletransportador consigo para poder regresar a la Tierra. Pero, en ese caso, cabe la posibilidad de que inicie su retorno desde un planeta en movimiento tal que regrese antes de haber salido! Invertir la direccin del tiempo no parece ser factible, ms por razones lgicas que por motivos fsicos (por ejemplo, uno podra regresar al pasado y asesinarse a s mismo de nio). De hecho, el problema de denir la direccin del tiempo an no est resuelto satisfactoriamente, ya que las leyes de la fsica son invariantes frente a inversiones del tiempo, y la direccin temporal aparece nicamente en forma estadstica a travs de la segunda ley de la termodinmica. Sin embargo, una discusin de este tema nos llevara demasiado lejos de la relatividad. Por ahora, basta sealar que, debido a la especial geometra del espaciotiempo relativista, un viaje en el espacio
40
a mayor velocidad que la luz es enteramente equivalente a un viaje hacia atrs en el tiempo, con todo y sus contradicciones inherentes.
II.6. Aceleracin Uniforme
En la mecnica no relativista, una partcula que se mueve con aceleracin constante posee, al tiempo t, una velocidad v = at y ha recorrido una distancia x = at2 /2, si suponemos que el tiempo y las coordenadas se escojen de tal manera que v = 0 = x al tiempo t = 0. En la teora de la relatividad, debemos tomar en cuenta que la velocidad no puede aumentar indenidamente. En el captulo siguiente presentaremos una denicin rigurosa de movimiento uniformemente acelerado y relativista, pero por ahora podemos considerar la siguiente lnea de universo en el espacio de Minkowski:
x=
c2 t2 + c4 /a2 ,
que corresponde a una hiprbola en el plano (x, ct).
Ejercicio 12: Demuestre que esta misma trayectoria se puede describir

en trminos de las ecuaciones paramtricas:
t=
c senh a
a c
x=
c2 cosh a
a c
(II.14)
Identique a como el tiempo propio de la partcula.Calcule la velocidad
v de la partcula en funcin de y compruebe que v c cuando .

Haga un diagrama de espaciotiempo de este movimiento. Demuestre que se recuperan las frmulas clsicas para aceleracin uniforme en el lmite v
c, con lo cual se identica a como la aceleracin.
Ejercicio 13: Demuestre que, al hacer una transformacin de Lorentz

a un sistema de referencia que se mueve con velocidad v = c tanh(a0 /c) (constante), las Ecs. (14) no cambian su forma y solamente 0 . Esto implica que, en todo momento, se puede encontrar un sistema de referencia inercial en el que una partcula parece estar instantneamente en
41
reposo, pero sujeta a una aceleracin que es la misma en cada punto de su trayectoria.
Ejercicio 14: La manera ms cmoda de realizar un viaje interestelar

es en una nave espacial que se mueva con aceleracin constante a g =
9,81m/seg 2 , ya que los pasajeros se sentiran como si estuvieran en el campo

gravitacional de la Tierra. Suponga que una nave espacial emprende un viaje a una estrella que se encuentra a L aos luz de distancia: la nave parte del reposo, se acelera uniformemente, con aceleracin g , hasta una distancia
L/2; ah se voltea 180o y se desacelera uniformemente hasta llegar a la

estrella con velocidad cero. Haga un diagrama de espaciotiempo con la lnea de universo de la nave espacial. Calcule los tiempos de vuelo (medidos en la Tierra y en la nave), para efectuar un viaje a: 1) La estrella ms cercana, Alfa Centauri, a 4 aos luz. 2) El centro de nuestra galaxia, a 30000 aos luz. 3) La galaxia Andrmeda, a 2000000 aos luz. (Sugerencia: Para aligerar los clculos utilice un sistema de unidades en el que el tiempo se mide en aos y la distancia en aos luz; note que la unidad de velocidad es c y la unidad de aceleracin (1 ao luz/(ao)2 ) resulta aproximadamente g (lo cual es una casualidad, por supuesto). As, puede poner a = 1 y c = 1 en las frmulas (14) si mide el tiempo en aos y la distancia en aos luz. Calcule la velocidad mxima alcanzada a la mitad del viaje, en cada caso.)
42
III. VECTORES Y TENSORES
Hemos llegado a un punto en el cual es necesario poseer algunas her-
ramientas matemticas para poder proseguir. En este captulo presentaremos en forma rigurosa el concepto de tensor en el espacio de Minkowski, lo cual nos permitir simplicar considerablemente los clculos que efectuaremos en los siguientes captulos. Al principio, los tensores, con su abundancia de ndices arriba y abajo pueden desconcertar al lector, pero un poco de gimnasia matemtica, subiendo y bajando ndices, lo prepararn para utilizar estas poderosas herramientas en forma casi automtica. Como vimos en el captulo I, una transformacin de Lorentz es, en cierta forma, una generalizacin a cuatro dimensiones de una rotacin en tres dimensiones. En este captulo estudiaremos las propiedades generales de las transfomraciones de Lorentz, con el n de dar la denicin adecuada de un tensor.
III.1. Rotaciones en tres dimensiones
Es conveniente regresar a la analoga de una rotacin en tres dimensiones. Matemticamente, dicha rotacin es una transformacin lineal de las coordenadas que no altera la distancia del origen de coordenadas a un punto
(x, y, z) : l 2 = x2 + y 2 + z 2 .
Si denimos la matriz columna:
(III.1)
x x = y , z
43
44
la distancia l2 se puede escribir en la forma:
l 2 = x T x = x2 + y 2 + z 2 ,
donde
(III.2)
xT = (x, y, z)
es la matriz traspuesta de x.
(III.3)
Ahora, una rotacin arbitraria alrededor del origen transforma x en x x = y (III.4) z de acuerdo con la frmula
x = Rx,
donde R es una matriz de 3 3, llamada matriz de rotacin.
(III.5)
Para que se conserve la distancia del origen al punto P necesitamos que
xT x = x x = xT RT Rx,
(III.6)
y como esta ecuacin debe cumplirse para cualquier vector x, entonces, forzosamente,
RT R = 1
Esta es la condicin que debe satisfacer la matriz de rotacin.
(III.7)
La matriz R tiene 33 = 9 componentes, pero stas no son independientes entre s porque deben satisfacer la Ec. (7). Ntese que dicha ecuacin es una relacin matricial, as que equivale a 3 3 = 9 ecuaciones, de las cuales slo 6 son independientes porque la ecuacin matricial (7) es simtrica (su transpuesta es la misma, como puede comprobar fcilmente). En general, una matriz simtrica de n n posee n(n + 1)/2 componentes algebraicamente independientes. En resumen, R posee 9 componentes que satisfacen 6 condiciones, por lo que R est denida por 3 parmetros independientes.
VECTORES Y TENSORES
45
Estos 3 parmetros denen una rotacin arbitraria; pueden ser, por ejemplo, los tres ngulos de Euler, o los ngulos de rotacin en cada uno de los planos xy, yz y zx.
III.2. Transformaciones generales de Lorentz
Podemos ahora generalizar el anlisis del prrafo anterior a un espacio de Minkowski. Para ello, denamos un vector columna x y su transpuesta xT : ct x xT = (ct, x, y, z). (III.8) x= y z La seudolongitud (al cuadrado) de este vector es:
s2 = xT x = (ct)2 + x2 y 2 + z 2 ,
donde hemos denido la matriz
(III.9)
0 0 0 1
1 0 0 0 1 0 = 0 0 1 0 0 0
(III.10)
para tomar en cuenta que el trmino (ct)2 en la seudolongitud aparece con un signo negativo. Ahora bien, una transformacin de Lorentz es una transformacin lineal de coordenadas de la forma
x x = x,
(III.11)
donde es una matriz de 4 4. Para que la seudolongitud no se altere, necesitamos que
x x = xT T x = xT x,
(III.12)
46
y esta condicin se cumple en general slo si
T = .
Esta es la generalizacin de la condicin (7).
(III.13)
La matriz posee 4 4 = 16 componentes, pero stas cumplen las 10 condiciones dadas por la relacin (13). La relacin (13) es una matriz
simtrica que implica 10 ecuaciones distintas. En consecuencia, est determinada por 6 parmetros independientees (a diferencia de los 3 en un espacio tridimensional). Estos 6 parmetros pueden ser: 3 componentes de la velocidad V a lo largo del cual se mueve el sistema S y 3 parmetros de rotacin espacial. Ntese que una rotacin espacial de las coordenadas x y z es tambin una transformacin de Lorentz en el sentido estricto, porque satisface la condicin (13).
Ejercicio 1: Encuentre explcitamente la forma de la matriz para una

transformacin de Lorentz a lo largo del eje x (Ecs. 1-3) y a lo largo del eje
y . Demuestre que esas dos transformaciones no conmutan.

III.3. El grupo de Lorentz
Los resultados de la seccin anterior se pueden escribir en una forma que resultar ms apropiada para el anlisis que sigue. Por lo pronto, de aqu en adelante ser conveniente denir a las cuatro coordenadas del espacio de Minkowski de la siguiente manera:
x0 = ct,
x1 = x,
x2 = y,
x3 = z,
(hemos puesto el ndice arriba por razones que se aclararn ms adelante). As, la seudodistancia entre un suceso cualquiera y el origen est dada por
s2 = (x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 .
(III.14)
VECTORES Y TENSORES
47
Hemos visto que una transformacin de Lorentz deja invariante el valor de la seudodistancia. Sin embargo, la transformacin denida por las ecuaciones I-10 es vlida nicamente para un sistema S que se mueve a lo largo del eje
x. Buscaremos ahora cmo debe ser la transformacin ms general.

Vamos a denir una matriz de 4 4:
columna : 0 1 1 0 0 1 = 0 0 0 0
2 3 0 0
0 1 2 3
(III.15)
0 0 rengln : o 1 0 0 1
donde , son ndices que van de 0 a 3 y se reeren a las columnas y renglones de la matriz (usaremos siempre la convencin de que los ndices griegos toman los valores 0, 1, 2, 3). Entonces, la Ec. (14) se puede escribir como
3
s2 =
,=0
x x
(III.16)
que es simplemente la Ec. (9) escrita en forma ms explcita. Cul es la transformacin x x que deja invariante la forma (16)? Es una transformacin lineal
3
x x =
,=0
x ,
(III.17)
donde es una matriz de 44. Esta ecuacin es la misma que (11), excepto por el hecho de que se han escrito explcitamente los ndices de la matriz
que designan sus renglones y columnas. La condicin que debe satisfacer

esta matriz se deduce del hecho de que la seudodistancia s2 es invariante:
3 3
s =
,=0
x x = s =
,=0
x x .
Usando la Ec. (17), tenemos de esta ltima relacin:

3 3 3
x x
,=0 ,=0
=
,=0
x x .
(III.18)
48
Ntese ahora que los ndices , , , slo son etiquetas que sirven para contar: cada uno de estos ndices toma los valores 0, 1, 2, 3. Pero podemos cambiar de etiquetas, poniendo por ejemplo en lugar de y la ecuacin no se altera, pues se entiende que tambin va de 0 a 3. En particular, en el miembro derecho de la Ec. (18) podemos cambiar
resultando
x x
,=0 ,=0
=
,=0
x x .
(III.19)
Como esta ecuacin debe satisfacerse para cualquier x que escojamos, resulta necesariamente que
3
= .
,=0
(III.20)
Esta ecuacin es slo otra manera de escribir la condicin (13). El anlisis que sigue a la Ec. (13) se aplica en forma idntica. Aparentemente, la ecuacin (20) es un conjunto de 4 4 = 16 ecuaciones, pero es simtrica frente a cambios , as que es en realidad un conjunto de 10 ecuaciones para las 16 componentes de . Esto implica que toda transfor macin de Lorentz est denida por 16 10 = 6 parmetros: 3 de rotacin espacial y 3 de transformacin pura de Lorentz a lo largo del vector de 3 componentes V, como vimos anteriormente . Una propiedad importante de las transformaciones de Lorentz es que forman un grupo: el grupo de Lorentz.
Ejercicio 2: Recuerde que un grupo G es un conjunto de elementos x, y, ...

y una operacin que a cada par de esos elementos le asocia un tercer elemento en el grupo. Adems la operacin (que se representa con un punto ) cumple las condiciones:
i) Existe el elemento unidad e G, tal que a e = e a = a para toda
a G.
VECTORES Y TENSORES
49
ii) A toda a G le corresponde su inverso a1 G tal que
a a1 = a1 a = e
iii) La operacin es asociativa
a (b c) = (a b) c
Demuestre que las transformaciones de Lorentz forman un grupo, debido a que estn denidas por una matriz de 4 4 que cumple la condicin (13). Son dos transformaciones de Lorentz consecutivas
xx
x x = 2 x
equivalentes a una sola = 1 2 ? (el producto matricial de 1 con 2 ) Conmutan las transformaciones de Lorentz?
Ejercicio 3: Demuestre, directamente de la Ec. (20), que (0 )2 > 1. A 0

qu clase de transformaciones corresponden los dos casos 0 > 1 y 0 < 1? 0 0 A una inversin del tiempo?
Ejercicio 4: Tome el determinante de la Ec. (13) y demuestre que el

determinante de , (det ), slo tiene los valores 1.
Ejercicio 5: A qu clase de transformacin corresponden los 4 casos

que se obtienen segn si det = 1, 0 > 1 y 0 < 1? A inversiones del 0 0 espacio y del tiempo?
III.4. Tensores
Ntese que la transformacin (17) tiene un inverso

3
x =
=0
(1 ) x ,
(III.21)
donde 1 es el inverso de la matriz (1 existe porque, como vimos en el ejercicio 3, det = 1 = 0). Ms explcitamente, 1 est denida por
3 (1 ) = , =0
(III.22)
50
donde es la delta de Kronecker denida como: = 1 si = = 0 si =
Las dos ltimas ecuaciones tambin se pueden poner en forma matricial
x = 1 x
donde
1 = 1,
y la matriz unidad 1 corresponde simplemente a la de Kronecker.
Ya vimos cmo se transforma x frente a una transformacin de Lorentz. Veamos ahora como se transforma el operador /x . De acuerdo con la regla de la cadena.
= x x
y usando la Ec. (21), resulta:
=0
x x x
(III.23)
= x x
(1 )
=0
. x
Se dene un vector covariante como un conjunto de 4 funciones V =
( = 0, 1, 2, 3) que, frente a una transformacin de Lorentz, se transforma

como /x , es decir
3
V V =
=0
(1 ) V ,
y un vector contravariante como un conjunto de 4 funciones V ( = 0, 1, 2, 3) que se transforma como las coordenadas x , o sea
V V
=
=0
V .
En general, se dene un tensor p veces covariante y q veces contravariante como un conjunto de 4p 4q componentes que, frente a una transformacin de Lorentz, se transforman segn la regla
1 2 ... ... T1 2 ...q T1 2...pq = p 1 2 , ... 1 2 q (1 )11 (1 )22 (1 )qp T11...pq 1 2 p
(III.24)
VECTORES Y TENSORES
51
. La regla general, que debe recordarse, es que todas las componentes covariantes se transforman con matrices 1 , y todas las componentes contravariantes con matrices . El nmero de matrices en la transformacin corresponde al nmero de ndices y el rango del tensor se dene como p + q . Tambin se dene un escalar como una funcin invariante frente a transformaciones de Lorentz:
f f = f.
Por ejemplo, la seudodistancia es un escalar.
Tensores especiales. A continuacin deniremos los tensores , y
que juegan papeles muy importantes en los clculos tensoriales. El tensor es dos veces covariante porque, debido a la invariancia de la seudodistancia,
x x =
, ,
x x =
,,,
(1 ) (1 ) x x ,
(III.25)
de donde, intercambiando con y con en el lado derecho de (25), resulta:
=
,
(1 ) (1 ) ,
que es justamente la ley de transformacin de un tensor dos veces covariante. A se le llama el tensor mtrico de Minkowski (mtrico pues permite medir seudodistancias).
El tensor es una vez covariante y una vez contravariante porque:
= ,
(1 )
Ejercicio 6: Denamos a travs de la ecuacin

=
52
o, explcitamente,
0 = 0 0 1 0 0 0
1 0 0 0 1 0 0 0 1
Demuestre que es un tensor dos veces contravariante. Los tensores y son sumamante tiles para subir y bajar ndices; por ejemplo, si tenemos un vector covariante V , sus componentes contravariantes estn dadas por:
3
V =
=0
V .
Ejercicio 7: Use las reglas de tranformacin de y V para demostrar

que V , denido en la ltima ecuacin, efectivamente se transforma como un vector contravariante. Del mismo modo, dadas las componentes contravariantes V , podemos regresar a las covariantes con la frmula:
3
V =
=0
V .
En general, para cualquier tensor se tiene, por ejemplo:

V = V , U =
U ,
etc.
Por ltimo, vamos a denir que tiene la propiedad:
como el smbolo totalmente antisimtrico
1, si es una permutacin par de 0123 = 1, si es una permutacin impar de 0123 0, si algn ndice se repite
0123
= 1.
Si denimos una matriz M de 4x4, en que y representan renglones
y columnas, entonces un resultado bsico del lgebra lineal es que el deter-
VECTORES Y TENSORES
minante de M est dado por la frmula: 3 det(M ) = ,,,=0 0 1 2 3 M M M M ,
53
o lo que es equivalente:
3 det(M )
=
,,,=0
M M M M .
Regresemos al concepto de tensor. Es transformara como

3
un tensor? Si lo fuera, se
=
,,,=0
pero det() As que
,,,
, y ya vimos que det() = 1.
se transforma como un tensor de rango 4, excepto por un
cambio de signo si det = 1. Por denicn
es un pseudo-tensor : cambia de signo frente a inver-
siones de tiempo o de espacio, pero aparte de ese signo se transforma como un tensor de rango 4.
III.5. Convencin de Einstein
El lector habr notado que, en todas las frmulas que hemos visto hasta ahora en las que hay que sumar sobre ndices, siempre aparece el ndice repetido una vez arriba y una vez abajo. Este hecho sugiere utilizar la llamada convencin de Einstein que consiste en lo siguiente: en toda expresin como
3
V U ,
=0
donde hay una suma sobre un ndice covariante y uno contravariante se
omite el signo de suma

Por ejemplo,
V U
V U .
54
Otro ejemplo: por denicin, la traza de un tensor de rango 2 es

T = T = T = T = T
Los ndices que se repiten y sirven para sumar se llaman ndices mudos ; slo pueden aparecer en un lado de una ecuacin y se pueden cambiar por cualquier letra griega sin que se altere la frmula. En cambio, los ndices que no se suman se llaman ndices libres : siempre aparecen en ambos lados de una ecuacin y slo se pueden cambiar simultneamente. Por ejemplo, en la frmula
V = T U , es un ndice libre y es un ndice mudo. Esta misma ecuacin puede

escribirse como
V = T U .
sin que se altere su forma explcita. La convencin de Einstein es muy cmoda para subir y bajar ndices. Consideremos un cuadrivector V : sus componentes contravariantes son
V 0 , V 1 , V 2 , V 3 , que escribimos como V = (V 0 , V).

Las componentes covariantes son V = V , o sea:
V0 = V 0 ,
y podemos escribir
V1 = V 1 ,
V2 = V 2 ,
V3 = V 3
V = (V0 , V) = (V 0 , V)
Por ejemplo, la magnitud al cuadrado de un cuadrivector V es
V 2 = V V = V V = (V 0 )2 + |V|2 ,
lo cual es un escalar.
VECTORES Y TENSORES
55
Nota aclaratoria
En este libro utilizamos la denicin
ds2 = dx dx = dt2 + dx2 + dy 2 + dz 2

para la seudodistancia, lo cual equivale a poner 00 = 1 y 11 = 22 =
33 = 1 en el tensor de Minkowski. Se dice que la signatura es ( + ++).

Otra convencin, utilizada en otros libros, consiste en denir la seudodistancia como
ds2 = dx dx = dt2 dx2 dy 2 dz 2 ,

lo cual equivale a poner 00 = 1 y 11 = 22 = 33 = 1, y la signatura es
(+ ).
En el primer caso, la norma de un cuadrivector temporal es negativa, mientras que en el segundo caso es positiva. Al leer un texto matemtico sobre relatividad, es recomendable comprobar antes que nada qu signatura se est utilizando.
III.6. Algunas definiciones tiles
Un tensor de rango 2 es simtrico si T = T . En el espacio de Minkowski, un tensor simtrico posee 10 componentes independientes. Un tensor de rango 2 es antisimtrico si T = T . Un tensor antisimtrico posee 6 componentes independientes. Ntese que todo tensor T de rango 2 se puede expresar como la suma de un tensor simtrico T() 1 (T + T ) y un tensor antisimtrico T[] 2
1 (T 2
T ); es decir T = T() + T[]
El gradiente cuadridimensional de un escalar F es, por denicin:
F = x
1 F , F . c t
Veamos, para terminar, el concepto de volumen en el espacio de Minkowski.
56
Recordemos que, en dos dimensiones, la supercie denida por dos vectores A y B es el determinante
|A B| =
A1 A2 B1 B 2
En tres dimensiones, tres vectores A, B y C denen un volumen dado por
A1 A2 A3 (A B) C = B1 B2 B3 . C1 C2 C3
Generalizando a cuatro dimensiones, tenemos que cuatro cuadrivectores
A, B, C y D denen un cuadrivolumen dado por A1 A2 A3 A4
V=
B1 B2 B3 B4 C1 C2 C3 C4 D1 D2 D3 D4
Pero como vimos ms arriba, el determinante se puede poner en la forma:
V=
A B C D
(III.26)
como es fcil comprobar; recuerde que
es el pseudo-tensor antisimtri-
co denido anteriormente. De la Ec. (26) deducimos inmediatamente que el cuadrivolumen es seudoescalar. En particular, la diferencial de volumen, dV, en el espacio de Minkowski es el cuadrivolumen formado por los 4 cuadrivectores diferenciales (dx0 , 0, 0, 0), (0, dx1 , 0, 0), (0, 0, dx2 , 0) y (0, 0, 0, dx3 ). Por lo tanto, segn Ec. (26) tenemos que
dv = dx0 dx1 dx2 dx3 ,

que es un seudoescalar.
III.7. Cuadrivector unitario de velocidad
(III.27)
Un concepto bsico muy til en mecnica relativista es la del cuadrivectorvelocidad. Una partcula que se mueve de algn modo describe en el espacio de Minkowski una lnea de universo. Esta lnea, como toda curva, puede describirse por
VECTORES Y TENSORES
57
medio de ecuaciones paramtricas:
x = x ( ),
donde es un parmetro que vara de manera continua. Es conveniente escoger como parmetro al tiempo propio a lo largo de la lnea de universo. Recordemos que
d =
1 1 ds2 = c c
c2 dt2 |dx|2 =
|V |2 dt = 1 dt, c2
(III.28)
como se vio ya en la seccin II.1. Ntese que, por la manera como est denida, el tiempo propio es un escalar. Denamos ahora
dx u = ; cd
(III.29)
u es el vector tangente a la lnea de universo y es un cuadrivector: en

efecto, dx es un cuadrivector y d es un escalar; por lo tanto, frente a una transformacin de Lorentz, u se transforma como un cuadrivector contravariante. La magnitud de u es
u u =
1 dx dx ds2 = 2 2 = 1; c2 d d c dt
(III.30)
as que u es un cuadrivector unitario. Veamos cul es la relacin entre los componentes de u y la velocidad v. Tenemos
u0 =
dx0 dt = = cd cd
u1 =
de donde
dx dx vx = = , cd cdt c v u = (, ), c
etc.
(III.31)
o en componentes covariantes,
v u = (, ). c
58
Se puede comprabar directamente de las Ecs. (31) que u u = 1. Tambin podemos denir el cuadrivector aceleracin.
a = c
du . d
Ejercicio 8: Demuestre que a u = 0 (sugerencia: utilice la condicin de

que u u = 1).
Ejercicio 9: Demuestre que la aceleracin relativista tiene la forma explcita
a =
vv 1 3 v v, v + 3 2 v , c c
(III.32)
donde el punto representa la derivada con respecto a . Un caso particularmente interesante de movimiento es el de aceleracin uniforme. La denicin invariante de tal movimiento es
a a = a2 ,
(III.33)
donde el escalar a es la magnitud constante de la aceleracin. Esta denicin es independiente del sistema de referencia utilizado.
Ejercicio 10: Demuestre que el movimiento descrito en el ejercicio 12 del

captulo II satisface efectivamente la Ec. (33). En general, las propiedades de transformacin de los escalares, vectores y tensores son muy tiles para calcular cantidades fsicas en un sistema u otro. El siguiente ejercicio es un ejemplo de lo anterior.
Ejercicio 11: Consideremos dos partculas que poseen velocidades v1

y v2 en un cierto sistema S . Cul es la velocidad relativa entre las dos partculas? (es decir, cul es la velocidad de una partcula vista desde el sistema en reposo de la otra?) En el sistema S , las cuadrivelocidades de las dos partculas son
u = 1 (1, v1 /c) (1) (i =
u = 2 (1, v2 /c) (2)
2 1 vi /c2 ), de donde resulta que
u u(2) = 1 2 1 (1)
v1 v2 . c2
(III.34)
VECTORES Y TENSORES
59
Por otra parte, en el sistema de referencia de la partcula 1:

u(1) = (1, 0) u(2) = (1, v/c)
donde v es la velocida relativa entre las dos partculas y =
1 v 2 /c2 .
Ahora bien, el producto u u(2) es un escalar y tiene, por lo tanto, el mismo (1) valor en cualquier sistema de referencia, as que
u(1) u(2) = = u u(2) (1)
Comparando con la Ec. (34) resulta
= 1 2 1
v1 v2 , c2
que da la relacin entre la magnitud v de la velocidad relativa y las otras velocidades. Es fcil comprobar que en el lmite no relativista se obtiene la frmula
2 2 v 2 = v1 + v2 2v1 v2 ,
como era de esperarse.
60
IV. DINMICA RELATIVISTA

IV.1. Repaso de mecnica clsica
En mecnica clsica, la posicin y velocidad de una partcula se pueden
determinar en todo momento si se conoce la fuerza que acta sobre ella. A su vez, la fuerza puede derivarse, en muchos casos, a partir de un potencial
V . As, la segunda ley de Newton toma la forma m = V, x

en notacin bien conocida. Una forma equivalente, y muy til en la prctica, de expresar la segunda ley de Newton es a travs del formalismo de Lagrange. Se dene el lagrangiano L como la diferencia entre la energa cintica T y la potencial (IV.1)
V: L = T V,
(IV.2)
con la particularidad de que T y V dependen de cualquier tipo de coordenadas qi (las coordenadas cartesianas x, y, z son slo un caso particular), as como de las derivadas temporales qi de estas coordenadas y del tiempo t, es decir, L = L(qi , qi , t). Se puede demostrar que la ecuacin de Newton toma la forma ms general1
d L dt qi
L = 0, qi
(IV.3)
conocida como ecuacin de Euler-Lagrange. Ntese que, para un sistema de
N partculas, se tiene en general 3N coordenadas (3 para cada partcula).

Otra formulacin muy til de la mecnica clsica es el formalismo de Hamilton. Se dene el momento generalizado
pi =
L , qi
(IV.4)
1 Ver, por ejemplo, Landau y Lifschitz... Goldstein...
61
62
y el hamiltoniano
H(pi , qi ) =
i
pi qi L,
(IV.5)
El hamiltoniano es una funcin de pi y qi que satisface las ecuaciones de Hamilton
pi =
que generalizan las ecuaciones
H qi
qi =
H , pi
(IV.6)
p= V
mx = p.
Por ltimo, se dene la accin como

t2
A=
t1
L(qi , qi , t)dt,
(IV.7)
donde la integral se toma sobre las posibles trayectorias qi = qi (t) que podra describir la partcula. En general, el valor de A depende de la trayectoria escogida, pero, segn el principio fundamental de la mecnica, la trayectoria real de una (o varias) partculas es aquella que minimiza el valor de la accin
A. De acuerdo con el clculo de variaciones, esta trayectoria es precisamente

aquella que satisface las ecuaciones de Lagrange (3).
Leyes de conservacin : El formalismo lagrangiano es particularmente apropiado para obtener leyes de conservacin fsicas. En general, cada vez que el lagrangiano de un sistema es invariante frente a una cierta transformacin, se tiene una cantidad conservada (teorema de Emmy Noether). As, la invariancia frente a traslaciones en el tiempo implica que la energa se conserva. Del mismo modo, la invariancia frente a traslaciones en el espacio implica la conservacin del momento. Ilustraremos a continuacin estos dos ejemplos para el caso de N partculas. Sea el lagrangiano L independiente del tiempo, es decir L = L(qi , qi ). Entonces
dL = dt
3N
i=1
L L qi + qi . qi qi
DINMICA RELATIVISTA
63
Usando las ecuaciones de Euler-Lagrange (3) se tiene
dL = dt
3N
i=1
d L L qi + qi = dt qi qi d dt
3N
3N
i=1
d L qi . dt qi
De aqu resulta que
qi
i=1
L L = 0. qi
La cantidad entre parntesis cuadrados es justamente el hamiltoniano H . El resultado nal es que, si el lagrangiano no depende del tiempo, entonces
H es una cantidad conservada; en este caso, H es precisamente la energa

(conservada) del sistema. Veamos ahora el caso en el que el lagrangiano no depende de la posicin espacial, es decir, L no cambia si se hace la transformacin ri ri + a, donde el ndice i corresponde a la partcula nmero i y a es el desplazamiento espacial (el mismo para todas las partculas). Esto implica que
N
L =
i=1
L a = 0, ri
siendo N el nmero total de partculas. Como esta ecuacin tiene que cumplirse para cualquier desplazamiento
a, se tiene que
i=1
L = 0. ri
Pero, en este caso, las ecuaciones de Euler-Lagrange implican
d dt
i=1
L ri
= 0.
La cantidad entre parntesis es la suma de los momentos de todas las partculas,

N
Pi ,
i=1
la cual es una cantidad conservada si, como acabamos de ver, el lagrangiano no depende de la posicin particular en el espacio. En general, el teorema de Noether nos dice cuando hay una cantidad conservada. Ya vimos dos ejemplos. Otros ejemplos son: invariancia frente
64
a rotaciones que implica conservacin del momento angular; invariancia frente a rotaciones que implica conservacin del momento en esa direccin, etctera.
IV.2. Masa, Energa y Momento en Mecnica Relativista
Analicemos el caso de una partcula libre, es decir, una partcula que se mueve sin la inuencia de las fuerzas externas. Este caso es casi trivial en mecnica clsica: el lagrangiano de la partcula libre (de masa m y velocidad
v ) es 1 L = mv 2 , 2
y la accin correspondiente es
t2
(IV.8)
A=
t1
Ldt
(IV.9)
Sin embargo, la transicin al caso relativista ya no es tan trivial. En efecto, la accin debe ser necesariamente un escalar, pues, de lo contrario, podra ser un mnimo para un observador, pero no para otro. La condicin de que la accin sea un escalar frente a transformaciones de Lorentz impone restricciones muy fuertes. Para una partcula que se mueve libremente, el nico escalar que se puede construir con sus variables es el tiempo propio . Esto implica que la accin debe tener la forma
t2
A=
t1
(IV.10)
donde es cierta constante. Esta forma de la accin garantiza que tenga el mismo valor en cualquier sistema de coordenadas. Ahora bien, cul es la relacin entre esta accin relativista y la accin clsica? Para elucidar esto, recordemos que
d =
v2 dt, c2
(IV.11)
DINMICA RELATIVISTA
65
donde t es el tiempo medido en el laboratorio. Comparando con la Ec. (9), resulta que el lagrangiano es
L=
v2 , c2
(IV.12)
lo cual se reduce, en el lmite no relativista, a
L 1
1 v2 2 c2
(IV.13)
y trminos adicionales de orden v 4 /c4 que se pueden despreciar. Si ahora ponemos = mc2 obtenemos
1 L mc2 + mv 2 , 2
(IV.14)
que es justamente el lagrangiano clsico, excepto por el trmino constante
mc2 . Pero esta constante es irrelevante, pues no entra en las ecuaciones

de Euler-Lagrange (3), justamente por ser constante. En resumen, podemos armar que el lagrangiano relativista de una partcula libre es
L = mc2
v2 , c2
(IV.15)
que se reduce al caso clsico (8), excepto por una constante irrelevante. Este lagrangiano es el nico que garantiza que la accin sea invariante frente a transformaciones de Lorentz. A partir del lagrangiano (15), es fcil calcular el momento generalizado de la partcula. Resulta ser
pi =
que es el momento relativista
L = vi
mvi 1 v 2 /c2
(IV.16)
p = mv,
(IV.17)
el cual diere del momento clsico por el factor . En particular, dado que
d = dt, tambin se puede escribir el momento relativista en la forma p=m dr , d

(IV.17 )
66
donde r es la posicin espacial de la partcula y su tiempo propio. Del mismo modo, se puede demostrar con un poco de lgebra que el hamiltoniano tiene la forma
H =pvL=
m2 c2 + p2 c2 ,
(IV.18)
y esta es precisamente la energa de la partcula libre relativista. Esta energa puede tambin escribirse en funcin de la velocidad utilizando la frmula (16), con el resultado
E = mc2 ,
(IV.19)
que es una cantidad conservada. Asimismo, dado que = dt/d , la energa se puede escribir en la forma
E = mc2
dt . d
(IV.19 )
La ecuacin (19) implica que, incluso si la partcula est en reposo, posee una energa
E0 = mc2 .
(IV.20)
sta es la famosa frmula de Einstein que relaciona la masa con la energa! Hay que recordar, sin embargo, que la energa siempre se mide con respecto a algn valor que se escoge por convenicin. Estrictamente hablando, la frmula (20) slo pone de maniesto que existe un valor natural, mc2 , para la energa de un cuerpo masivo. Einstein intuy que existe una equivalencia entre masa y energa, y que, en principio, la una puede transformarse en la otra. Este es un hecho experimental que se ha vericado plenamente, y que encaja perfectamente en la teora de la relatividad, tal como la hemos expuesto hasta aqu. Vale la pena mencionar que, de acuerdo con la frmula (19), m puede interpretarse como la masa de un cuerpo en movimiento, la cual diere de su masa en reposo por un factor . Algunas veces, se dice que la masa de un cuerpo aumenta si se mueve. Esta interpretacin es vlida, pero es ms una
DINMICA RELATIVISTA
67
cuestin de cmo denir la masa que de un hecho fsico. En este libro de texto, llamaremos masa simplemente a la que posee un cuerpo en reposo, es decir su masa en reposo, y no usaremos el concepto de masa en movimiento. Esta es una convencin, pero evita varias confusiones. La energa en reposo no es un simple concepto matemtico. Uno de los hechos fundamentales de la fsica moderna es que, bajo condiciones adecuadas, la masa puede transformarse en energa y viceversa. La liberacin de enormes cantidades de energa por reacciones nucleares es un ejemplo bien conocido.
Ejercicio 1: La masa de un protn es mp = 1,672 1024 gr y la de un

neutrn es mn = 1,675 1024 gr. Por otra parte, un ncleo de helio (que consta de 2 protones y 2 neutrones) tiene una masa de 6,642 1024 gr, que es menor que 2mp + 2mn . En qu se fue la diferencia de masa? Cul es la energa liberada al formarse un ncleo de helio a partir de dos protones y dos neutrones (fusin nuclear)?
Ejercicio 2: La nica manera de transformar totalmente la masa de una

partcula en energa es ponindola en contacto con su antipartcula: se libera energa en forma de radiacin. Si un meteorito de antimateria de 1 gramo llegara a chocar con la Tierra, cul sera la energa generada? Volvamos a nuestra denicin del momento p dada por la Ec. (17). Se trata de un vector en el espacio de tres dimensiones, pero en la teora de la relatividad es ms conveniente trabajar con cuadrivectores. Si denimos el
cuadrivector de momento o simplemente cuadrimomento como
p = mcu ,
(IV.21)
siendo u el cuadrivector de velocidad, tenemos, segn la ecuacin (III-31),
p = (mc, mv).
(IV.22)
Las componentes espaciales de este cuadrivector son, precisamente, las componentes del momento p, segn la Ec. (17). Adems, resulta que la
68
componente temporal 0 es la masa en movimiento multiplicada por c , o sea, segn la frmula de Einstein, Ec. (19), la energa total divida por c. En resumen:
p =
E ,p . c
(IV.23)
En la teora de la relatividad, la energa y el momento forman un cuadrivector. Ntese que la magnitud de p es, segn la Ec. (21),
p p = (mc)2
que es un escalar constante.
(IV.24)
Ejercicio 3: Encuentre la ley de transformacin de la energa y el momento de un sistema S a uno S que se mueve a lo largo del eje x de S . (Sugerencia: use el hecho de que p es un cuadrivector y que, por lo tanto, se transforma como x ). De la frmula (19) se ve que la energa necesaria para que una partcula alcance la velocidad de la luz es innita. Esto implica que, segn la teora de la relatividad, sta es la velocidad lmite en la naturaleza. La nica partcula que puede viajar a la velocidad de la luz es el fotn, cuya masa en reposo es nula. La velocidad del fotn (en el vaco) es es siempre c.
Ejercicio 4: Dena el cuadrivector de fuerza

F =
Demuestre que sus componentes son
dp . d
F =
donde F = dp/d = md2 r/d 2 .
v ,F c
Ntese que de la denicin de E y p resulta
p=
E v. c2
(IV.25)
Esta frmula es muy til, ya que es vlida incluso para una partcula sin masa como el fotn. Si m = 0, se tiene
v = cn,
DINMICA RELATIVISTA
69
donde n es un vector unitario en la direccin de movimiento del fotn, y de acuerdo con la Ec. (25):
p=
E n. c
(IV.26)
Por otra parte, segn la mecnica cuntica, la energa de un fotn de frecuencia es
E = h,
donde h es la constante de Planck. La Ec. (26) implica que un fotn tambin tiene un momento cuya magnitud p es proporcional a su frecuencia:
p=
As, el cuadrimomento de un fotn es
h . c
k =
h h (1, n) = (1, n), c
(IV.27)
donde es la longitud de onda (es comn designar el cuadrimomento del fotn por k ).
Ejercicio 5: Siguiendo la idea del ejercicio 3, demuestre la frmula del

efecto Doppler (II-2) transformando directamente el cuadrimomento p dado por la frmula (27).
IV.3. Aplicaciones de las leyes de la conservacin: Choques de partculas
Es bien sabido que, en mecnica clsica, la interaccin entre varias partculas est caracterizada por la conservacin de la masa, la energa y el momento del sistema de partculas. El equivalente de esta ley en la teora de la relatividad es la conservacin del cuadrimomento total:
p = constante.
(IV.28)
Tal como en el caso clsico, esta ley de conservacin se puede obtener directamente de la invariancia del Lagrangiano ante traslaciones en el espacio. Para un sistema de N partculas libres relativistas, el lagrangiano es
70
del tipo dado por la Ec. (15), y, de acuerdo con la discusin en la seccin 1 de este captulo, el momento total se conserva. La armacin anterior tambin es vlida si las partculas no son enteramente libres, sino que interactan entre s, a condicin de que se utilice un lagrangiano que tome en cuenta la interaccin. Sin embargo, en muchos casos prcticos, la interaccin entre las partculas es tal que se produce casi puntualmente, cuando stas se tocan. Tal es el caso de un choque elstico entre partculas puntuales. En ese caso, el lagrangiano antes y despus de la interaccin es la de un sistema de partculas libres, y la suma de los momentos tambin se conserva: es la misma antes y despus de la interaccin. As, volviendo a la ley de conservacin (28), la componente 0 corresponde a la conservacin de la energa total, mientras que las componentes espaciales representan la conservacin del momento p = mv. Ntese que, en la teora de la relatividad, la masa y la energa no se conservan por separado, ya que una puede convertirse en la otra. Veamos a continuacin algunos ejemplos importatnes.
Efecto Compton
Al chocar un fotn con un electrn, el fotn puede cambiar su frecuencia. Segn la ley de la conservacin del cuadrimomento, se tiene
P + k = P
+ k ,
(IV.29)
donde P y k son los cuadrimomentos del electrn y fotn, respectivamente, y las primas designan estos despus del choque. Para calcular el cambio de frecuencia del fotn, se despeja P
de la
ecuacin (29) (si no interesa el momento nal del electrn) y se toma la magnitud:
(P + k k )2 = (P )2 .
(IV.30)
DINMICA RELATIVISTA
71
Pero (k )2 = 0 = (k )2 y (P )2 = m2 c2 = (P )2 segn la Ec. (24), donde
m es la masa del electrn . Adems, en el sistema de laboratorio en el que

el electrn est inicialmente en reposo, se tiene
P = (mc, 0) h (1, n) h k = (1, n ), k =
as que la Ec. (30) toma la forma 2 :
m2 c2 + 2P k 2Pe k 2k k = m2 c2 ,
de donde resulta con un poco de lgebra:
h (1 cos ), mc
(IV.31)
siendo el ngulo de desviacin del fotn, n n = cos . La cantidad h/mc tiene dimensiones de longitud y se conoce como longitud
de onda de Compton, C . Para un electrn, tiene el valor C =0.024 A

(2,4 1012 m), que corresponde a la longitud de onda de un rayo . El efecto Compton es prcticamente imperceptible para la luz visible (4000 a
8000 A), pero se puede detectar para rayos X energticos ( 1 A).

Desintegracin de partculas
Como un siguiente ejemplo, consideremos la reaccin en la que una partcula de masa M se desintegra en dos partculas de masas m1 y m2 . Se tiene
P = P1 + P2 ,
(IV.32)
2 Para cuadrivectores A y B , usaremos ocasionalmente la notacin ms ligera A y B ; y para el producto escalar: A B = A B = A B = A0 B 0 + A B
72
donde, en el sistema en el cual la partcula estaba originalmente en reposo,
P = (M c, 0)
P1 = (
E1 , P1 ) c E2 P2 = ( , P2 ) c
(IV.33)
La componente 0 de la Ec. (32) implica que
M c2 = E1 + E2 ,
y como E1 > m1 c2 , E2 > m2 c2 se obtiene la condicin
M > m1 + m2
para que la reaccin sea posible. Las componentes espaciales de la Ec. (32) son
P1 + P2 = 0,
por lo que |P1 |2 = |P2 |2 . Adems, se tiene
2 E1 |P1 |2 = m2 c2 1 c2 2 E2 |P2 |2 = m2 c2 , 2 c2
de donde
2 2 E1 E2 = (m2 m2 )c4 . 1 2
(IV.34)
Pero E2 = M c2 E1 as que la Ec. (34) implica que
M 2 + m2 m2 2 2 1 c E1 = 2M M 2 m2 + m2 2 2 1 E2 = c 2M
amente determinadas por las masas M, m1 , m2 .
(IV.35)
Las energas de las dos partculas despus de la desintegracin estn enter-
Ejercicio 6: Un ncleo emite un fotn a costa de que su masa M se

reduzca a M M . Demuestre que la energa del fotn emitido es
DINMICA RELATIVISTA
73
h = M 1
M 2 c 2M
En general h < M c2 El trmino M/2M corresponde al efecto de retroceso del ncleo. En el efecto Mssbauer, el retroceso es compartido por todos los ncleos del cristal ( 1023 ncleos) y los fotones emitidos tienen prcticamente la misma frecuencia = M c2 /h, gracias a lo cual se puede tener radiacin con una energa sumamente precisa .
La reaccin
e+ e
Es un hecho fundamental de la naturaleza que a cada tipo de partculas corresponde una antipartcula, con la misma masa pero carga elctrica de signo contrario. As, al electrn le corresponde el positrn, de carga positiva y al protn el antiprotn de carga negativa. Cuando una partcula se encuentra con su correspondiente antipartcula, las dos se aniquilan y se transforman en un par de fotones. La aniquilacin materia-antimateria es el proceso ms eciente en la naturaleza para transformar masa en energa, ya que la totalidad de la masa de un par de partcula-antipartcula se convierte en radiacin. Cuando chocan un electrn y un positrn, se desintegran produciendo un par de rayos . El proceso se describe de la siguiente manera
P + P+ = P1 + P2
(IV.36)
donde los cuadrimomentos estn dados por:
positron:P+ =
E ,P c
electrn:P = (mc, 0) fotn 1:P1 =

h (1, n1 ) 1 h fotn 2:P2 = (1, n2 ), 2
74
en un sistema en el que el electrn est originalmente en reposo y el positrn choca con l. Elevando al cuadrado la Ec. (36) se tiene
2m2 c2 + 2P+ P = 2P1 P2

de donde resulta
m2 c2 + Em =
h2 (1 cos ) 1 2
(IV.37)
(incidentalmente, la reaccin e+ e no es posible ya que se tendra la Ec. (37) con el miembro derecho igual a cero, o sea E + mc2 = 0; la conservacin del momento implica que al menos dos fotones deben crearse en el proceso de aniquilacin). De la Ec. (37) resulta
1 2 =
h2 (1 cos ) < (compton )2 m(mc2 + E)
As, la energa de los fotones emitidos es del orden de la magnitud hcompton =
mc2 511 keV, que corresponde a los rayos .
Ejercicio 7: Considere el choque de dos fotones y en un sistema de referencia en el que stos tienen la misma frecuencia. Encuentre la relacin entre esta frecuencia y la energa y momento de las partculas creadas. Demuestre que h > mc2 para que se pueda crear el par e+ e .
Choques inelsticos
En un choque inelstico, cambian las partculas debido a su interaccin mutua. Vamos a considerar, como un ejemplo, la reaccin llamada fotoproduccin de piones:
p + n
En esta reaccin, el fotn incidente desaparece, transformando parte de su energa en masa para crear el mesn . Es evidente que, para que eso suceda, la energa del fotn debe superar cierta energa umbral que es del orden de la magnitud de m c2 .
DINMICA RELATIVISTA
75
Calculemos la energa umbral en forma exacta. Para ello, notemos que si una reaccin de fotoproduccin involucra la mnima energa necesaria, se debe tener al mesn y al neutrn en reposo despus de que se hayan producido, ya que de otra forma se requerira energa adicional para moverlos. Sin embargo, en el sistema de laboratorio en el que el protn est en reposo, no se puede tener al mesn y al neutrn simultneamente en reposo, ya que el momento total despus de la reaccin sera cero, mientras que antes no lo era debido al momento que llevaba el fotn (el fotn no puede estar en reposo en ningn sistema). Pero si nos colocamos en un sistema centro de
momento en el que la suma de los momentos del fotn y el protn es nula,

entonces, en ese sistema s es posible tener al mesn y al neutrn ambos en reposo. Vista desde el sistema de laboratorio, esta reaccin, que corresponde a la de mnima energa requerida, sucede as: el fotn choca con el protn y se produce un mesn y un neutrn que se mueven pegados, como si fueran una sola partcula de masa m + mn . Con esta aclaracin, podemos calcular la energa umbral. Por la conservacin del cuadrimomento, se tiene:
P + Pp = P+n
(IV.38)
Elevando al cuadrado esta ecuacin:
2P Pp m2 c2 = (m + mn )2 c2 . p
Pero en el sistema de laboratorio:
P =
de donde resulta:
hv (1, n), Pp = (mp c, 0), c
[(mn + m )2 m2 ]c2 p hv = . 2mp
(IV.39)
Esta es la energa umbral la mnima que debe tener el fotn para que se produzca la reaccin considerada.
76
IV.4.
Momento angular relativista
En mecnica clsica, el momento angular de una partcula en la posicin
r con momento lineal p es, por denicin, M = r p.

Esta cantidad tiene la propiedad muy importante de conservarse en ausencia de fuerzas externas. Veamos como este concepto se puede extender a la mecnica relativista. Consideremos una partcula libre. Su lnea de universo es una recta en el espaciotiempo. Sobre esta lnea, tomemos un evento con coordenadas x que ocurre al tiempo t y denamos el tensor antisimtrico
M = x p x p = M ,
donde p es el cuadrimomento (constante) de la partcula.
(IV.40)
A continuacin, demostraremos que este tensor es independiente del suceso x que se escoja sobre la lnea de universo. En efecto, si x es otro suceso sobre la lnea de universo de la partcula (gura IV.1), denimos
M = x p x p ,
y entonces
M M = (x x )p (x x )p
(IV.41)
Pero x x es un cuadrivector en la misma direccin que u (o p ), as que x x = F p donde F es algn escalar. La Ec. (40) implica, por lo tanto, que
M M = F (p p p p ) = 0,
o sea
M = M ,
DINMICA RELATIVISTA
77
y M es efectivamente independiente del tiempo que se escoje para el suceso x , es decir, se conserva. Es evidente que si se tienen varias partculas libres que no chocan entre ellos, tendremos que
Mtotal = i
Mi
tambin se conserva, ya que no importa en que tiempo se mide Mi para cada partcula.
Ahora, demostraremos que Mtotal tambin se conserva si hay choques els-
ticos entre las partculas. En efecto, si dos partculas con cuadrimomentos
p y p chocan en el punto evento X0 entonces, justo antes del choque 2 2

Mtotal = x p x p + x p x p , 0 1 0 2 0 1 0 2
= x (p + p ) x (p + p ) 1 2 0 1 0 2
y justo despus:
Mtotal = x p1 x p1 + x p2 x p2 0 0 0 0
= x (p1 + p2 ) x (p1 + p2 ) 0 0
y como p + p = p1 + p2 , resulta que Mtotal = Mtotal , o sea: se conserva. 1 2
Evidentemente, esto se generaliza a N partculas y se puede armar, por lo tanto, que

Mtot = i
Mi
es una cantidad conservada an si chocan entre s las partculas. El tensor M tiene 6 componentes algebraicamente independientes que podemos agrupar como:
(M 01 , M 02 , M 03 ), (M 12 , M 23 , M 31 )
los cuales se pueden interpretar como un par de vectores en 3 dimensiones (un bivector). Es fcil ver de la denicin (40) que las componentes puramente espaciales coinciden con las del vector de momento angular total de
78
la mecnica clsica:
M=
n
rn pn .
ya que M 23 = Mx , M 31 = My , M 12 = Mz . Las componentes M 01 , M 02 , M 03 a su vez, forman el vector
tpn
n
En rn c2
que debe ser constante, segn ya vimos. Ahora bien, dado que la energa total esta ltima expresin en la forma
n n
En , se conserva, podemos poner
En rn c2 t n En
pn = const. n En
n
Si denimos
R=
y
En rn n En
(IV.42)
V=
resulta, por lo tanto, que
c2
pn , n En
n
(IV.43)
R = Vt + const.,
(IV.44)
o sea que R se mueve con velocidad constante V. La frmula (42) expresa la generalizacin del concepto de centro de inercia: en el lmite no relativista se tiene: E mc2 , y los vectores R y V se reducen a las deniciones clsicas de centro de masa y velocidad del centro de momento, respectivamente. Siendo V constante, es evidente que siempre se puede hacer una transformacin de Lorentz a un sistema inercial en el que V = 0. Adems, escogiendo adecuadamente el origen de coordenadas, tambin se puede poner
R = 0. Se llama sistema centro de momento, aquel en el cual la suma de todos los momentos es nula. Como acabamos de demostrar, el sistema centro
de momento es un sistema inercial.
DINMICA RELATIVISTA
79
As, vemos que, en relatividad, la conservacin del momento angular total y la conservacin de la velocidad del centro de momento se unen en una
sola ley: conservacin del momento angular relativista Mtotal
IV.5.
Variables de Mandelstam
Consideremos ahora el caso ms general posible de dos partculas que chocan entre s, ya sea elstica o inelsticamente, transformndose en otras dos partculas.
Sean P1 y P2 los cuadrimomentos de las dos partculas antes de la reac cin y P3 , P4 los cuadrimomentos de las dos partculas despus de la reac-
cin. La conservacin del cuadrimomento implica que

P1 + P2 = P3 + P4 ,
Para estudiar este tipo de procesos, es muy conveniente utilizar las llamadas variables de Mandelstam, que se denen como los tres escalares (o invariantes de la reaccin)
s = (P1 + P2 )2 = (P3 + P4 )2 t = (P1 P3 )2 = (P2 P4 )2 u = (P1 P4 )2 = (P2 P3 )2

Cualquier otro escalar que se pueda formar combinando los 4 cuadrimomentos P es necesariamente una combinacin de s, t y u. Adems, estos tres escalares no son independientes entre s porque
s + t + u = (m2 + m2 + m2 + m2 )c2 , 4 3 2 1
donde mi es la masa de la partcula i.
Ejercicio 8: Demuestre la frmula anterior.

Para elucidar el sentido fsico de estos escalares, consideremos la reaccin en el sistema centro de momento. En ese sistema, se tiene
P1 = (E1 /c, P)
80

P2 = (E2 /c, P) P3 = (E3 /c, P ) P4 = (E4 /c, P )
donde Ei es la energa de la partcula i, P (o P) es el momento de la partcula 1 (o 2), y P (o P ) es el momento de la partcula 3 (o 4); recurdese que todas estas cantidades estn medidas en el sistema centro de momento. Ahora es fcil ver que
s = (E1 + E2 )2 /c2 = (E3 + E4 )2 /c2 t = (m2 + m2 )c2 2E1 E3 /c2 + 2|P||P | cos 1 3
donde es el ngulo de dispersin (gura IV.2)
Ejercicio 9: Utilice las variables de Mandelstam para estudiar el efecto

Compton. Relacione las energas y ngulos de dispersin en los sistemas de laboratorio y centro de momento.
Ejercicio 10: Mismo anlisis para la fotoproduccin de piones.

IV.6. El cohete relativista
Como un ejemplo de aplicacin de la mecnica relativista, vamos a considerar el problema de una nave espacial que puede alcanzar velocidades cercanas a la de la luz. Para empezar, veremos el caso clsico y despus lo extenderemos a velocidades relativistas. En su versin ms simple, el problema se reduce al de un cohete en el espacio que arroja materia con una velocidad V (con respecto al cohete) hacia atrs, con lo cual adquiere una cierta velocidad hacia adelante. Sean m1 y v1 la masa y la velocidad del cohete en un cierto momento. Un instante despus, el cohete arroja una masa m3 hacia atrs, para adquirir una velocidad v2 hacia adelante. Sea v3 la velocidad de la masa arrojada hacia atrs y m2 la masa del cohete despus de arrojarla (gura IV.3). Por
DINMICA RELATIVISTA
81
conservacin de la masa y del momento, tenemos
m1 m3 = m2 m 1 v1 = m 2 v2 + m 3 v3
(IV.45) (IV.46)
Recurdese que estas velocidades estn medidas en el sistema de la Tierra, mientras que, en el sistema del cohete, la materia eyectada tiene una velocidad cuya magnitud es V . Dado que la velocidad del sistema en reposo del cohete justo antes de arrojar masa es v1 , se tiene
v3 = v2 V
(IV.47)
Ahora, podemos sustituir (45) y (47) en la Ec. (46) para obtener una relacin que no involucre ni m3 y v3 :
V (m1 m2 ) = m1 (v2 v1 ).
(IV.48)
El siguiente paso consiste en pasar al lmite innitesimal poniendo m1 =
m, m2 = m + dm, v1 = v, v2 = v + dv , y as obtener la ecuacin V dm = mdv.

(IV.49)
En el caso en que la velocidad de eyeccin V es constante, la Ec. (49) se integra inmediatamente, con el resultado de que:
v = V ln
m0 , m
(IV.50)
donde m0 es una constante de integracin, que corresponde simplemente a la masa que posea el cohete cuando estaba en reposo. La Ec. (50) es la frmula para la velocidad del cohete en funcin de la fraccin de masa consumida,
m/m0 . Un hecho muy importante es que la velocidad alcanzada depende

nicamente de cunto combustible se quema, pero no del mecanismo de combustin.
82
Tambin la Ec. (50) implica que la velocidad alcanzada por un cohete es tpicamente del orden de la velocidad de eyeccin de la materia de sus turbinas. Como la velocidad alcanzada depende logartmicamente de la masa de combustible quemada, un enorme incremento en el combustible transportado redunda en un modesto incremento de la velocidad. La razn fsica es que, para alcanzar velocidades muy altas, se necesita cargar ms combustible, pero, a su vez, gran parte de ese combustible se tiene que utilizar para transportarse a s mismo. Es evidente de la Ec. (50) que, para alcanzar velocidades cercanas a la luz, es necesario que la velocidad de eyeccin sea del orden de c, lo cual hace necesario un tratamiento relativista. Veamos, pues, como generalizar el anlisis anterior al caso de velocidades relativistas. En primer lugar, la conservacin de masa y energa implica que, en lugar de (45), tengamos
1 m 1 3 m 3 = 2 m 2 ,
(IV.51)
2 donde, por supuesto, i = (1 vi /c2 )1/2 . La conservacin del momento nos
da, en lugar de (46), la ecuacin ms general
1 m1 v1 = 2 m2 v2 + 3 m3 v3 .
(IV.52)
Finalmente, la frmula relativista para la adicin de velocidades nos da la generalizacin de la Ec. (47) en la forma
v3 =
v2 V . 1 v2 V /c2
(IV.53)
Ahora, combinamos las Ecs. (51), (52) y (53), para eliminar 3 v3 y m3 . Queda, despus de un poco de lgebra:
V (1 m1 2 m2 )
V v1 (1 m1 v1 2 m2 v2 ) = 1 m1 (v2 v1 ), c2
(IV.54)
como generalizacin relativista de la Ec. (48).
DINMICA RELATIVISTA
83
De aqu en adelante, el procedimiento es como en el caso clsico. Primero, escribimos la Ec. (54) en la forma diferencial
V d(m) +
Usando, luego, la relacin
Vv d(mv) = mdv, c
(IV.55)
d = 3 c2 vdv,
resulta, despus de algunos arreglos algebricos,
dm dv = m 1 v 2 /c2
(IV.56)
que es la generalizacin relativista de la Ec. (49). Si V es constante, podemos integrar esta ltima ecuacin, y obtener la frmula
v = c tan h
V ln c
m0 m
(IV.57)
como la versin relativista de la Ec. (50) (a la que tiende (57) en el lmite
c como puede comprobar recordando que tanh ). Ntese que,
segn la Ec. (57), el factor de Lorentz es
= cosh
V ln c
m0 m
(IV.58)
Supongamos que la nave espacial se mueve con aceleracin constante. Vimos en el captulo anterior que, para un movimiento uniformemente acelerado, la velocidad y el factor de Lorentz estn dadas por la frmula:
v = c tanh = cosh
a c a . c
(IV.59)
donde es el tiempo propio en el sistema acelerado. Es fcil deducir cmo debe ser el consumo de combustible para que una nave espacial mantenga una aceleracin uniforme. Para ello, basta comparar las Ecs. (57) y (58) con (59); si el combustible se consume exponencialmente, de acuerdo con la frmula
m( ) = m0 ea /V ,
(IV.60)
84
donde es el tiempo propio en la nave espacial, entonces se garantiza que sta mantenga una aceleracin uniforme a.
Ejercicio 11: El combustible ms energtico que se puede imaginar es

una mezcla de materia y antimateria. Suponga que, en un futuro muy lejano, se resuelve el problema de almacenar antimateria y se construye una nave que transporte una carga igual de materia y antimateria. Estas, al entrar en contacto, se aniquilan transformando la totalidad de su masa en energa en forma de fotones (rayos ), que son expelidos hacia atrs por la nave. As, la velocidad de eyeccin es c. Quemando antimateria de acuerdo con la frmula (60) se logra que la nave se mueva con una aceleracin a = g , para comodidad de su tripulante. Calcule la cantidad de materia y antimateria necesaria para realizar un viaje como el descrito en el ejercicio (II-14) a: i) Alfa Centauri, ii) el centro de nuestra galaxia, iii) la nebulosa de Andrmeda. Suponga que el peso til de la nave (cabina, motor y tripulante) es de una tonelada (sta debe ser la masa al trmino del viaje). Es concebible fabricar o reunir tanta antimateria en la Tierra?
V. ELECTRODINMICA Y RELATIVIDAD
V.1. Ecuaciones de Maxwell (Repaso)
El fundamento de la electrodinmica son las ecuaciones de Maxwell para el campo elctrico E y magntico B:
E = 4 E= 1 B c t
(V.1) (V.2) (V.3) (V.4)
B=0 B= 4 1 E J+ c c t
donde es la densidad de carga y J la densidad de corriente elctrica. Estas ecuaciones resumen en forma diferencial todos los fenmenos clsicos relacionados con el electromagnetismo. La Ec. (1) corresponde a la ley de Gauss, que generaliza la frmula de Coulomb para la fuerza ejercida por una carga sobre otra; la Ec. (2) expresa la ley de induccin de Faraday; la Ec. (3) es la condicin de que no existan cargas magnticas aisladas (monopolos magnticos) en la naturaleza; la Ec. (4) es la ley de Ampre con el trmino adicional de Maxwell para la corriente de desplazamiento. Existen muchos y muy buenos textos de teora electromagntica, por lo que no entraremos en mayores detalles de las ecuaciones de Maxwell (aunque s recomendamos al lector estudiarlas por separado). En este curso de relatividad, empezaremos directamente de estas ecuaciones fundamentales y veremos como la teora de la relatividad surge de ellas. NOTA: En este texto utilizaremos unidades gaussianas. Por ejemplo, E y B tienen dimensiones: (gramos)1/2 /(cm)1/2 (seg) y la fuerza de Coulomb entre dos cargas elctricas q1 y q2 es F = q1 q2 /r2 .
85
86
De las ecuaciones (1) y (4) se obtiene la ecuacin de conservacin de la carga:
+ t
J = 0.
(V.5)
En general, una densidad de carga con velocidad v produce una corriente:
J = v
(V.6)
Por otra parte, la fuerza que acta sobre una partcula de carga e est dada por la fuerza de Lorentz:
p v =e E+ B , t c
donde p es el momento de la partcula.
(V.7)
Hay que notar que las ecuaciones de Maxwell describen el campo electromagntico producido por cargas en movimiento, pero no describen el movimiento de una carga en un campo electromagntico dado, Esto ltimo se completa con la expresin para la fuerza de Lorentz. Como se mencion en el captulo I, las ecuaciones de Maxwell no son invariantes frente a transformaciones de Galileo,
r r = r + Vt t t = t,
(V.8)
sino frente a transformaciones de Lorentz. Esto lo demostraremos ms adelante.

Potenciales electromagnticos
Es conveniente expresar el campo electromagntico en trminos de potenciales. La ecuacin de Maxwell (3) implica qeu existe un vector A tal que:
B=
Metiendo esto en la Ec. (2) se obtiene
A.
(V.9)
E+
1 A c c
= 0,
ELECTRODINMICA Y RELATIVIDAD
87
lo cual implica, a su vez, que existe una funcin tal que
E=
1 A . c t
(V.10)
Es importante notar que las Ecs. (9) y (10) no cambian si en lugar de A y usamos
A =A+
1 , c t
(V.11)
donde es una funcin totalmente arbitraria. Esto se llama invariancia de
norma 1 y permite imponer alguna condicin adicional sobre los potenciales.

Por ejemplo, consideremos el escalar denido por
A+
1 . c t
Frente a una transformacin de norma se vuelve, segn la Ec. (11),
A +
1 = c t
A+
1 + c t
1 . c2 t2
(V.12)
De aqu se ve que siempre se puede escoger una tal que
A +
1 = 0; c t
(V.13)
para ellos basta igualar a cero el miembro derecho de la ecuacin (12) y resolver esta ecuacin para , lo cual es siempre posible pues es una ecuacin diferencial para una sola funcin, . La norma con la que se cumple la condicin (13) se llama norma de
Lorentz.
Volviendo a las ecuaciones de Maxwell, usemos la Ec. (10) en la Ec. (1); se obtiene
E=
1 A = 4. c t
Si usamos (9) en la ecuacin (4) tenemos:
B= =
1 Norma = gauge, en ingls.
A) =
A)
1 2A 4 J 2 2. c c t c t
88
Utilizando la condicin (13), estas dos ecuaciones se reducen a:
2 = 4 2A =
donde
(V.14a) (V.14b)
4 J, c
2=
es el operador D'Alembertiano.
1 2 + c2 t2
Ntese que este operador se puede escribir en la forma
2 =
x x
(V.15)
y, por lo tanto, el D'Alembertiano es un operador escalar frente a transfor-
maciones de Lorentz.
V.2. El tensor electromagntico
Vamos a demostrar ahora que la densidad de carga, , y la densidad de corriente J son las componentes de un cuadrivector. Para ello recordemos el sentido de la ecuacin de continuidad (5). Como veremos ms detalladamente en el captulo VI, una ecuacin como sta expresa, en forma diferencial, el hecho fundamental de que existen cantidades fsicas (en este caso: las cargas elctricas) que no se crean ni se destruyen: slo pueden cambiar de lugar. Si imaginamos un volumen arbitrario en el esapcio, la carga contenida dentro de ella aumenta o disminuye segn el ujo de carga que atraviesa su supercie. Esto es lo que representa, en forma diferencial, la ecuacin (5). Si hubiera fuentes o sumideros de cargas, el lado derecho de esa ecuacin no sera cero, sino alguna funcin proporcional a la tasa de creacin o destruccin de cargas. Ahora bien, el hecho de que las cargas elctricas no se crean ni destruyen debe ser necesariamente independiente del sistema de referencia desde el cual se observan. Por lo tanto, la ecuacin de continuidad (5) no debe cambiar de forma ante una transformacin de Lorentz. Siguiendo con esta idea, denamos lo que podra ser un cuadrivector:
89
J = (c, J)
y notemos que la Ec. (5) se puede escribir en la forma:
(V.16)
J =0 x
(V.17)
Dado que /x es un cuadrivector covariante, resulta que J debe ser un cuadrivector contravariante. De no ser as, el lado izquierdo de esta ltima ecuacin no sera un escalar ante transformaciones de Lorentz y, por lo tanto, el lado derecho no tendra el valor cero en cualquier sistema de referencia: Esto implicara que se crean o destruyen cargas! As pues, J debe ser efectivamente un cuadrivector para garantizar la conservacin de cargas elctricas. Si ahora denimos
A = (, A),
resulta que las Ecs. (14) se pueden escribir en la forma
(V.18)
2A =
4 J . c
(V.19)
Como 2 es un escalar y J es un cuadrivector, se deduce, a partir de esta ltima ecuacin, que A es un cuadrivector : Se le llama cuadrivector
potencial.
Ntese que la Ec. (13) se puede escribir como
A = 0, x
(V.20)
lo cual implica que la norma de Lorentz es una condicin que no cambia de forma al pasar de un sistema de referencia a otro. De hecho, la propiedad crucial de las ecuaciones (17), (19) y (20) es que no cambian sus formas ante transformaciones de Lorentz, como veremos ms explcitamente un poco ms adelante. Ahora, denamos un tensor antisimtrico de rango 2:
F =
A A . x x
(V.21)
90
Cules son las componentes de F ? Recordando que
A = (, A)
y usando las Ecs. (9) y (10), se obtiene con un poco de lgebra:
F01 =
1 Ax = Ex x c t
F12 =
Ax Ay = Bz y x
F02 =
1 Ay = Ey y c t
F23 =
Ay Az = Bx z y
F03 =
1 Az = Ez z c t
F31 =
Az Ax = By x x
Estas componentes se pueden juntar en forma de matriz:
0 Ex Ey Ez Ex 0 Bz By = 0 Bx Ey Bz Ez By Bx 0
(V.22)
donde el primer ndice corresponde a renglones y el segundo a columnas. Tambin tenemos que las componentes contravariantes F = n n F , estn dadas por
0 Ex Ey Ez
Ex 0 Bz By = E y Bz 0 Bx Ez By Bx 0
(V.23)
Ahora denamos el tensor dual de F como
1 F = F 2
(V.24)
91
Es fcil ver que
0 Bx By Bz Bx 0 Ez Ey = By E z 0 Ex Bz Ey Ex 0 By Bz 0 Bx Bx 0 Ez Ey = 0 By Ez Ex Bz Ey Ex 0
(V.25)
Ejercicio 1: Demuestre que las ecuaciones de Maxwell (1)-(4) se pueden

escribir como:
F 4 = J x c F =0 x
(V.26) (V.27)
De estas frmulas se ve inmediatamente que las ecuaciones de Maxwell son invariantes frente a transformaciones de Lorentz, ya que en un nuevo sistema de referencia se tiene:
= 1 x x F
= F
J = J
y las ecuaciones de Maxwell toman la forma:
4 F = J , x c
o sea, no cambian de forma.
F = 0, x
Se llaman covariantes aquellas ecuaciones, como las de Maxwell, que no cambian de forma frente a transformaciones de Lorentz. Con lo anterior, podemos enunciar en forma clara el Principio de la Rel-
atividad Especial, enunciado por Albert Einstein:
92
EN SISTEMAS INERCIALES, LAS LEYES DE LA FSICA SON COVARIANTES FRENTE A TRANSFORMACIONES DE LORENTZ. Este principio es fundamental, ya que, en la prctica, es una gua para describir los fenmenos fsicos por medio de ecuaciones matemticas. Veamos a continuacin como se transforma el campo electromagntico frente a transformaciones de Lorentz. Consideremos una transformacin a lo largo del eje x; la matriz de Lorentz correspondiente es (V /c) 0 0 (V /c) 0 0 = 0 0 1 0 0 0 0 1 El tensor del campo electromagntico se transforma como
(V.28)
F F
= F
(V.29)
Ejercicio 2: Utilizando las Ecs. (27), (32) y (33) demuestre que

Ex = Ex Ey = Ey V Bz c V Ez = Ez + By c Bx = Bx By = By + V Ez c V Bz = Bz Ey c
(V.30)
son las ecuaciones que relacionanel campo electromagntico en dos sistemas inerciales. Tambin demuestre que el inverso de estas transfomaciones es
Ex = Ex Ey = Ey + V B c z V Ez = Ez By c
Bx = Bx By = By V E c z V Bz = Bz + E y c
(V.31)
Ntese que, en el lmite no relativista, v/c 1 y 1, estas ltimas ecuaciones se reducen a la forma ms general:
E =E+
V B c
B =B
V E. c
93
Invariantes del campo
Si bien los campos elctrico y magntico cambian de un sistema de referencia a otro, es conveniente contar con cantidades invariantes que no dependan de la velocidad del observador. Esto se logra gracias a que se puede construir un escalar y un seudoescalar a partir del tensor F :
F F
F F =
1 2
Ejercicio 3: Demuestre que, a partir de la forma explcita de F y F ,
que
F F = 2(B2 E2 )
Lo anterior implica que las cantidades
F F = 4E B.
B2 E2
EB
(V.32)
son invariantes frente a transformaciones de Lorentz. Esta propiedad es muy til para determinar cualitativamente la forma en que se transforman los campos elctricos y magnticos. Por ejemplo, si |B| > |E| en un sistema, lo ser en cualquier otro; igualmente, si E y B son perpendiculares en un sistema lo sern en cualquier otro, etc. Veamos con ms detalle la clasicacin del campo electromagntico usando estos invariantes. Caso: E B = 0 y B2 E2 = 0.
El campo elctrico es perpendicular al magntico y los dos son de la misma magnitud. Estas condiciones se mantienen en cualquier sistema de referencia. Caso: E B = 0 y B2 E2 = 0.
Si los campos elctrico y magntico son perpendiculares en un sistema de referencia, entonces siempre se puede encontrar otro sistema de referencia
94
en el que: 1) el campo elctrico se anula, si B2 E2 > 0; o bien: 2) el campo magntico se anula, si B2 E2 < 0. Tal sistema de referencia es uno que se mueve con velocidad perpendicular al plano formado por E y B. Volveremos a este caso en la pg. (90) Caso: E B = 0 y B2 E2 = 0.
Por ltimo, si el producto escalar de E y B no es cero en un sistema, no podr serlo en ningn otro, y, por lo tanto, E y B no pueden cancelarse. En todo caso, se puede encontrar un sistema de referencia en el que E y B sean paralelos.
Ejercicio 4: Demuestre, utilizando las leyes de transformacin del campo

electromagntico (Ecs. (34)), que si E B = 0, entonces E y B son paralelos en un sistema de referencia que se mueve perpendicularmente al plano formado por E y B, y cuya velocidad V est dada por la ecuacin
V /c EB = 2 sen , 2 /c2 1+V E + B2

donde es el ngulo entre E y B. Demuestre que esta ecuacin siempre tiene una solucin fsica tal que V /c < 1. (Sugerencia: tome E y B en el plano yz .)
Fuerza de Lorentz
La frmula (7) para la fuerza de Lorentz que acta sobre una carga e se puede escribir en forma maniestamente covariante:
dp = eF u . d
(V.33)
Ejercicio 5: Encuentre las componentes espaciales de la Ec. (37) en trminos de E y B y demuestre que se obtiene la Ec. (7). Demuestre, adems, que la componente 0 de la Ec. (32) tiene la forma
dE = eE v, dt
(V.34)
95
donde E es la energa cintica. (Estamos haciendo un ligero cambio de notacin para no confundir la energa cintica con el campo elctrico E .) Interprete esta ecuacin.
De lo anterior se deduce que la ecuacin de Lorentz (7) es vlida en relatividad tambin, a condicin de tomar la denicin relativista del momento:
p = mv.
Es importante notar que el tiempo t que aparece en la fuerza de Lorentz, Ec. (7), y en la Ec. (38) para la energa, es el tiempo en el sistema de laboratorio. Si se quiere utilizar el tiempo propio de la partcula, entonces hay que recordar que dt = d , por lo que
dt =
E d. mc2
Recuerde que E = mc2 y adems, p = Ev/c2 as que podemos escribir las Ecs. (7) y (38) en la forma alternativa:
dp e = (EE + cp B), d mc2

y
(V.35)
dE e = E p. d m
(V.36)
Ejercicio 6: Demuestre que las ecuaciones (37) para el movimiento de

una partcula cargada en un campo electromagntico se puede obtener de extremalizar la accin
t2
S=
t1
e (mc2 d + A dx ), c
donde es el cuadrivector potencial del campo. Justique la forma de esta accin. Demuestre que el lagrangiano es explcitamente:
L = mc2
e 1 v 2 /c2 + A v e c
Demuestre que el impulso generalizado es
e P = mv + A c
96
y el hamiltoniano es
H=
V.3.
e m2 c4 + c2 (P A)2 + e. c
Movimiento de partculas cargadas en campos elctricos o magnticos constantes
En esta seccin vamos a estudiar el movimiento de partculas cargadas en un campo electromagntico, cuando este campo tiene una forma relativamente simple, pero de inters fsico.
Campo magntico constante
Consideremos el movimiento de una carga en un campo magntico uniforme y constante, sin campo elctrico. Podemos escoger las coordenadas tales que
B = (0, 0, B)
E=0
Para empezar, se puede ver fcilmente que la energa cintica de la partcula es constante porque, de acuerdo con la Ec. (38),
dE =0 dt
si
E = 0.
Si E es constante, el factor de Lorentz es constante, y, por lo tanto, tambin es constante la magnitud de la velocidad de la partcula. Slo variar la direccin de la velocidad. Como el momento de la partcula es p = Ev/c2 , la ecuacin de Lorentz toma la forma
E dv e = v B, 2 dt c c
o sea, explcitamente
vx = vy vy = vx z=0
97
donde hemos denido = ecB/E . Resulta conveniente combinar estas ecuaciones en forma compleja,
d (vx + ivy ) = i(vx + ivy ), dt

lo cual se puede integrar inmediatamente, con el resultado:
vx + vy = aeit ,
donde a es una constante (compleja). Poniendo a = v0 ei se obtiene (recordando que ei = cos i sen )
vx = v0 cos(t + ) vy = v0 sen(t + ) v0 =
2 2 vx + vy = constante
(V.37)
Como vx = dx/dt, etc., podemos integrar la ecuacin (41), con el resultado nal:
x = x0 + R sen(t + ) y = y0 R cos(t + ) z = z0 + v0z t

donde R = v0 / = v0 E/ecB . En resumen, la partcula describe una hlice de radio R y gira con frecuencia (V.38)
ecB eB = 1 . E mc
Ambas cantidades medidas en el sistema de laboratorio. En el lmite no relativista, 1 y = eB/mc, que es independiente de la velocidad de la partcula. Ntese que la partcula cargada se mueve con una velocidad constante a lo largo del campo magntico. Esta velocidad es justamente la inicial. Adems, la partcula gira alrededor de la direccin del campo magntico, en direccin negativa (sentido de las manecillas del reloj) si la carga es positiva, y viceversa.
98
Campo elctrico constante
Estudiemos ahora el movimiento de una partcula cargada en un campo elctrico constante. Debido al campo elctrico, la partcula adquiere una aceleracin, la cual vamos a calcular a continuacin. Escojamos el eje x de las coordenadas a lo largo del campo elctrico. Entonces E = (E, 0, 0) y B = 0. La ecuacin (7) para la fuerza de Lorentz implica
px = eE py = 0 pz = 0
donde el punto indica derivada con respecto al tiempo t en el sistema en reposo. Del mismo modo tenemos para la energa E de la partcula: (V.39)
E = qeEvx
De acuerdo con la Ec. (38).
(V.40)
Sin perder generalidad, podemos suponer que la velocidad inicial de la partcula se encuentra en el plano (x, y) y que parte del origen al tiempo
t = 0. De acuerdo con las Ecs. (43), la partcula se mantendr siempre en

este plano pues no hay ninguna fuerza en la direccin z . En este problema es ms conveniente utilizar el tiempo propio de la partcula como parmetro, en lugar del tiempo de laboratorio. En trminos de , las ecuaciones (39) y (40) se reducen a:
eE dpx = E d mc2 dpy =0 d eE dE = px d m

y, por supuesto, p = mdx/d .
(V.41a) (V.41b) (V.41c)
99
Vemos inmediatamente de (45-b) que py se conserva y, por lo tanto,
y=
p0y m
(V.42)
donde p0y es la componente y del momento al tiempo = 0. Ahora escribamos las Ecs. (45-a) y (45-c) en la forma
dpx =E d
(V.43) (V.44)
dE = cpx , d
donde hemos denido el tiempo adimensional = eE /mc. La solucin ms general de este par de ecuaciones es
E = cp0x senh + E0 cosh cpx = cp0x cosh + E0 senh ,
(V.45)
donde p0x y E0 son constantes de integracin que podemos identicar como la componente x del momento y la energa cintica en el momento inicial
= 0.
Para encontrar la ecuacin paramtrica de la trayectoria, basta recordar que E = mc2 dt/d y px = mdx/d , de donde resulta, despus de una integracin de las Ecs. (49):
ct = (eE)1 [cp0x (cosh 1) + E0 senh ] x = (eE)1 [E0 (cosh 1) + cp0x senh ],
(V.46) (V.47)
Estas dos ecuaciones, junto con la Ec. (46), determinan completamente el movimiento de la partcula cargada. Es interesante notar que si la partcula parte inicialmente del reposo total, adquiere un movimiento uniformemente acelerado a lo largo del campo elctrico, con una aceleracin eE/m (incidentalmente, este es el mismo valor de la aceleracin que se obtiene en el caso no relativista de una carga en un campo elctrico constante). Este es un ejemplo fsico del movimiento acelerado descrito en el Captulo IV; como vimos en este captulo, la velocidad
100
de la partcula aumenta de acuerdo con la frmula
v = c tanh
eE . mc
(En la prctica, la partcula emite parte de su energa en forma de radiacin electromagntica; este efecto es bastante complicado y no est tomado en cuenta en el anlisis que presentamos aqu.)
Campo electromagntico constante
Ahora, vamos a considerar el caso de una partcula cargada que se mueve en campos elctricos y magnticos uniformes. En general, es conveniente escoger un sistema de referencia en el que el campo tiene una forma particularmente cmoda para efectuar los clculos correspondientes. Un ejemplo ilustrativo ocurre cuando el campo elctrico es perpendicular al magntico, ya que, en ese caso, siempre se puede encontrar un sistema de referencia en el que se anule ya sea el campo elctrico o el magntico. Este es el problema que estudiaremos a continuacin. Sean E y B arbitrarios. Si E B = 0, entonces no existe ningn sistema de referencia en el que E o B se cancelan, ya que E B es un escalar (como vimos anteriormente) y no cambia frente a transformaciones de Lorentz. Pero si E B = 0, entonces s se puede encontrar un sistema de referencia en el que ya sea E o B se cancele. Recordemos que E2 B2 = 0 tambin es un invariante, as que si E2 B2 > 0, podemos encontrar un sistema en el que B = 0, y si E2 B2 < 0, entonces podemos cancelar E en algn sistema particular. Consideremos un campo electromagntico uniforme tal que E y B son perpendiculares y |B| > |E|. Escojamos los ejes de coordenadas tales que
E = (0, E, 0) B = (0, 0, B).

Si ahora pasamos a un sistema de referencia S que se mueve con velocidad
V a lo largo del eje x, tenemos que, de acuerdo con las Ecs. (34), el campo
101
electromagntico en el nuevo sistema est dado por
E = (0, (E V B/c), 0) B = (0, 0, (B + EV /c)).

Escogiendo
V =
E c B
(lo cual es posible porque E < B y, por lo tanto, V < c), resulta que el campo elctrico E se anula en el sistema S , y el campo magntico cambia su magnitud:
B =
0, 0,
V2 B . c2
Una forma ms general de este resultado es el siguiente: Si E y B son tales que E B = 0 y B 2 E 2 = 0, entonces, el campo elctrico se anula en un sistema con velocidad
V=
EB c. B2
Despus de estas consideraciones preliminares, regresemos al caso de una partcula cargada en un campo elctrico y magntico perpendiculares. Si
E < B , nos colocamos en el sistema S en el que E = 0. En ese sistema,

slo hay campo magntico y, como vimos en la seccin anterior, la partcula gira en crculos alrededor de un centro jo con una frecuencia = ecB/E . Pero el centro jo en S se mueve con velocidad V = (E/B)c en el sistema
S , as que la partcula adquiere una velocidad promedio perpendicular a E

y B, gura V.1, cuya magnitud es Ec/B . Esta es la llamada velocidad de
deriva. (Ntese que esta velocidad promedio es independiente de la carga

de la partcula.) Un caso particular es el de una partcula cuya velocidad es perpendicular a E y B y coincide exactamente con la velocidad de deriva. En el sistema
S , tal partcula est en reposo, y se mantiene en reposo porque la fuerza de
102
Lorentz que acta sobre ella, en S , es nula (tanto el campo elctrico como la velocidad de la partcula son nulas). En el sistema S , la partcula aparece movindose en lnea recta. Este hecho se utiliza en la prctica para separar electrones, en un haz, con una velocidad muy bien denida.
Ejercicio 7: Repita el anlisis anterior para el caso de una partcula

cargada que se mueve en un campo electromagntico tal que E B = 0 y
E > B . Describa cualitativamente el movimiento de la partcula.

Campo magntico no uniforme
Otro tipo de problema importante surge cuando el campo elctrico o el magntico no son uniformes en todo el espacio. En el caso general, el movimiento de una partcula puede ser muy complicado y una solucin analtica, an aproximada, no es posible. A continuacin vamos a considerar nicamente un problema tpico. Vimos anteriormente que una partcula cargada en presencia de un campo magntico uniforme se mueve girando alrededor de las lneas de campo magntico. Veamos ahora qu efecto produce el hecho de que el campo B no sea estrictamente uniforme, sino que vare ligeramente en una direccin perpendicular a B. Si escogemos adecuadamente el sistema de coordenadas, tenemos
B = (0, 0, B(x)).
Debido a que no hay campo elctrico, la energa cintica de la partcula se conserva. Por otra parte, si la variacin de B con la distancia es pequea, podemos poner
B(x) = B0 (1 + x),
donde = B (0)/B(0). Esta aproximacin es vlida siempre y cuando el radio de giro R0 de la partcula (correspondiente a un campo magntico B0 ) sea mucho menor que la distancia caracterstica 1 sobre la que vara el campo.
103
En resumen, la ecuacin de Lorentz (7) toma la forma particular
vx = vy (1 + x) vy = vx (1 + x) vz = 0,
donde = qB0 /mc . Evidentemente, vz es constante; adems, como la energa E = mc2 tambin es constante, la magnitud de la velocidad v 2 es constante, as como (V.48)
v que es la magnitud de la velocidad en el plano perpendicular a B. En

consecuencia, podemos poner
vx = v cos vy = v sen
(V.49)
donde es una funcin del tiempo. Sustituyendo en la Ec. (52) obtenemos:
= (1 + x).
(V.50)
Resolveremos esta ecuacin en forma aproximada, usando tcnicas sencillas de teora de perturbaciones. En el lmite de campo uniforme, = 0, esta ltima ecuacin tiene una solucin no perturbada
0 = t,
que corresponde a la trayectoria
x0 = R0 sen(t) y0 = R0 cos(t)
que ya estudiamos en la pgina 87. Para 1 por x0 en la Ec. (54):
R0 , podemos sustituir x
= + R0 cos(t),
(V.51)
lo cual es vlido si se desprecian trminos de orden (R0 )2 La solucin de (55) es
= t R0 sen(t)
104
y, por lo tanto, de acuerdo con las Ecs. (53), la velocidad de la partcula viene dada en primera aproximacin por:
vx = v [sen(t) + R0 sen(t) cos(t)] vy = v [cos(t) R0 cos (t)],

2
(V.52)
donde hemos despreciado trminos de orden (R0 )2 y utiliza el hecho de que sen(a + E) sen a + E cos a y cos(a + E) = cos E sen a para E
1.
En la aproximacin de orden cero, la partcula simplemente gira alrededor del campo magntico, dando una vuelta completa en un tiempo 2/ . Para interpretar en forma clara y simple las Ecs. (56), vlidas a primer orden, vamos a promediarlas sobre un ciclo completo. Para ello recordemos que
1 2 1 2
sen cos d = 0
0 2 0
1 cos2 d = , 2
por lo que el promedio de sen(t) cos(t) es cero, y el de cos2 (t) es 1/2, adems de que el promedio de sen(t) o cos(t) es nulo. En consecuencia, las Ecs. (56) implican que la velocidad promedio de la partcula es:
vx = 0 1 1 2 vy = v R0 = R0 2 2
Si recordamos que escogimos el campo magntico en la direccin z y su gradiente en la direccin x, podemos concluir que, en general, una partcula cargada en un campo magntico paralelo pero ligeramente inhomogneo adquiere una velocidad de deriva promedio:
v =
1 e B ( |B|) 2 m
Ntese que esta velocidad s depende del signo de la carga. Un campo magntico inhomogneo separa cargas positivas de negativas; esta propiedad es muy importante en el estudio de plasmas.
105
Movimiento en un campo coulombiano
Por ltimo, vamos a considerar el problema de una partcula cargada que se mueve en el campo elctrico de otra carga. Si suponemos que la segunda carga es muchsimo ms masiva que la primera y que, por lo tanto, se encuentra ja en el origen de coordenadas, su campo elctrico estar dado por la ley de Coulomb
E=
e er , r2
donde e es la carga de la partcula en reposo, r la distancia a esa carga y
er el vector unitario en la direccin radial.

El campo de Coulomb es una solucin exacta de las ecuaciones de Maxwell y, por lo tanto, tambin es vlida en relatividad. Slo hay que recordar que es el campo electromagntico de una carga vista en el sistema de referencia en el que esa carga se encuentra en reposo. En la mecnica clsica, el problema del movimiento bajo la accin de una fuerza radial e inversamente proporcional al cuadrado de la distancia es bien conocido. Se sabe que las partculas se mueven en elipses, parbolas o hiprbolas. En la mecnica relativista, la solucin es un poco ms complicada, como veremos a continuacin. Las ecuaciones de movimiento, (39) y (40), se reducen en este caso a:
dp ee E = er d mc2 r2 dE ee = p er , d mr2
(V.53)
(V.54)
donde e es la carga de la partcula que se mueve. Adems, recordemos que,
p=m
dr . d
(V.55)
En primer lugar, notemos que la derivada del momento angular L = r p con respecto del tiempo se anula debido a las ecuaciones (57) y (59). En
106
consecuencia, tal como en la mecnica clsica, el movimiento se efectua en un plano. Sin perder generalidad, podemos suponer que se es el plano x, y , y debido a la simetra del problema, utilizamos coordenadas polares r, denidas por
x = r cos y = r sen .
(V.56)
En esta clase de problemas es conveniente denir vectores unitarios cuyas componentes en coordenadas cartesianas estn dadas por:
er = (cos , sen )
como puede verse en la gura V.2.
e = ( sen , cos ),
(V.57)
Estos vectores unitarios no son constantes, ya que cambian de direccin en cada punto del plano x, y . Es fcil ver de las Ecs. (61) que
der = de
de = der
(V.58)
Por lo tanto, tenemos que el momento p est dado por
p=m
d dr d (rer ) = m er + mr e . d d d
(V.59)
Derivando esta ltima ecuacin y sustituyendo en (57), obtenemos
d2 r d r 2 d d
er + m
dr d d d + r d d d d
e =
ee Eer . (V.60) mc2 r2
De aqu, comparando componentes, se deduce, primero, que
d d r2 d d
de donde
= 0,
r2
d =l d
(V.61)
con l una constante que identicamos como el momento angular por unidad de masa. Por lo tanto, el momento de la partcula es, de acuerdo con la Ec. (63),
p=m
dr ml er + er d r
(V.62)
107
y su magnitud
p =m
dr d
l2 r2
(V.63)
Por otra parte, la Ec. (58) se reduce a
dE ee dr = 2 , d r d
que se integra inmediatamente dando
E = E
ee , r
(V.64)
donde E , es la energa que posee la partcula muy lejos de la carga e . (Vamos a suponer que la partcula no est amarrada a la carga e , lo que, en la mecnica clsica, correspondera a movimiento parablico o hiperblico.) Volviendo a la Ec. (64) y utilizando (65) y (68) obtenemos
d2 r = 1 d 2
ee lmc
l2 E ee + 2 2 2. 3 r mc r
(V.65)
Esta ecuacin es muy similar a la que se obtiene en mecnica clsica: el primer trmino en el lado derecho es la fuerza centrfuga y el segundo es la fuerza de Coulomb. La diferencia esencial es que, en relatividad, la fuerza centrfuga puede ser atractiva si el factor
2 1
ee lmc
(V.66)
es negativo para valores de 1 < ee /mc2 . Si multiplicamos (69) por dr/d , podemos integrar una vez para obtener
1 dr 2 d
2 t2 E ee 1 2 + (v )2 2r2 c r 2
(V.67)
Ejercicio 8: Demuestre, por sustitucin directa, que la solucin de la Ec.

(71), en el caso 2 > 0, es
(mcl)2 = (ee )2 + r
2 E0 m2 c2 l2 2 c
1/2
cos() E ee ,
(V.68)
que, en el caso no relativista = 1 se reduce a una hiprbola.
Ejercicio 9: Encuentre la solucin anloga a la Ec. (72) para el caso

2 < 0. Demuestre que, en este caso, si ee < 0 (lo cual corresponde a
108
dos cargas de signo contrario y, por lo tanto, a una fuerza atractiva), la partcula puede caer sobre la carga e (es decir, llegar a r = 0). Este caso no tiene anlogo no relativista en mecnica clsica, una carga puntual no puede capturar a otra carga puntual.
Partcula en el campo de una onda plana
Por ltimo vamos a estudiar el caso muy importante del movimiento de una partcula cargada en el campo de una onda electromagntica. Por simplicidad tomaremos la onda como plana. Si escogemos la direccin de propagacin en la direccin del eje z , una onda electromagntica con polarizacin
lineal toma la forma:
E = (F, 0, 0) B = (0, F, 0),

(V.69)
donde F es una cierta funcin de (t z/c) que describe la forma de la onda. En particular, se suele escoger F (t z/c) = E0 cos[(t z/c)], lo cual describe una onda sinusoidal de amplitud E0 . Las ecuaciones de movimiento correspondientes a la componente z de la posicin y la energa E de la partcula cargada, tienen la forma
dpz q = F vx dt c dE = qF vx . dt
(V.70)
Restando estas dos ecuaciones una de otra, llegamos a la importante conclusin de que d(E cpz )/dt = 0, lo cual nos permite identicar una constante de movimiento:
E cpz = mc2
(V.71)
siendo una constante adimensional = 0 (1 v0z /c), donde 0 y v0z son los valores iniciales de y vz . En particular, tomando en cuenta que
E = mc2 dt/d y pz = mcdz/d , resulta que t z/c = ,

(V.72)
109
lo cual nos permite reescribir las ecuaciones de movimiento en trminos del tiempo propio en la forma siguiente:
dpx = qE0 cos( ) d dpy =0 d dpz qE0 = px cos( ). d mc
(V.73)
Ntese que no hay fuerza en la direccin y , es decir, la direccin del campo magntico. Las ecuaciones anteriores se pueden integrar fcilmente; en particular, si suponemos, por simplicidad, que la partcula est inicialmente en reposo en el origen (y, por lo tanto = 1), resulta:
px = pz =
qE0 sen( )py = 0 sen2 ( ).

(V.74)
qE0 1 2mc
El movimiento de la partcula est restringida al plano xz formado por la direccin del campo elctrico y la direccin de propagacin de la onda plana. Integrando una vez ms las ecuaciones anteriores (recordando que
p = mdr/d ) llegamos al resultado: x( ) = qE [1 cos( )] m 2 y( ) = 0 1 qE0 z( ) = c 2m

2
1 sen(2 ) . 2
(V.75)
De aqu vemos que la partcula gira en el plano xz , pero, a la vez, es empujada en la direccin de propagacin de la onda (el eje z ) con una velocidad que es constante en promedio.
Ejercicio 10: Calcule la velocidad promedio que adquiere la partcula

cargada en la direccin de propagacin de la onda electromagntica. Para el caso de una onda plana circularmente polarizada, se puede tomar
E = E0 (cos[(t z/c)], sen[(t z/c)], 0)
110
B = E0 (sen[(t z/c)], cos[(t z/c)], 0).
(V.76)
Ejercicio 11: Escriba las ecuaciones de movimiento para una partcula

cargada en el campo de la onda circularmente polarizada descrita anteriormente. Compruebe que la condicin (71) se sigue cumpliendo. Demuestre que una solucin particular corresponde a un movimiento circular uniforme en el plano z =const. con radio qE0 /m 2 y frecuencia en el sistema de laboratorio. Calcule el momento angular que adquiere la partcula en este caso.
V.4. Campo electromagntico de cargas en movimiento
Carga en movimiento uniforme
Una carga elctrica en movimiento genera un campo magntico. El caso ms simple de este importante fenmeno es el de una carga en movimiento uniforme. A continuacin vamos a calcular el campo electromagntico producido por una partcula con carga e y que posee una velocidad constante
v0 .
Este problema se simplica enormemente si nos colocamos en el sistema inercial en el que la carga est en reposo y luego regresamos al sistema en el que la misma se ve en movimiento. Sin perder generalidad, tomemos el eje
x a lo largo de la velocidad y sea el sistema S aquel en el que la carga est

en reposo. Entonces, de acuerdo con la ley de Coulomb, tenemos en S :
E =
e (x , y , z ) r3
(V.77)
B = 0,
donde
r = (x 2 + y 2 + z 2 )1/2 .
Podemos pasar ahora a un sistema S en el cual la partcula se ve en movimiento con velocidad v a lo largo del eje x. Para ello utilizaremos
111
las frmulas (34) para la transformacin del campo electromagntico:
Ex = Ex =
qx r3 qy Ey = Ey = 3 r qz Ez = Ez = 3 r
0 = Bx V Ez c V 0 = Bz Ey c 0 = By +
(V.78)
Supongamos que la carga pasa por el origen x = 0 al tiempo t = 0. Por simplicidad vamos a calcular el campo electromagntico en S nicamente a ese tiempo t = 0. Las transformaciones de Lorentz se reducen a x =
x, y = y, z = z , por lo que r 2 = 2 x2 + y 2 + z 2 = 2 r2 ( 2 1)(y 2 + z 2 ) = 2 r2 1

donde es el ngulo entre el vector r y el eje x, es decir:
v2 sen2 , 2 c
sen =
Por lo tanto,
y2 + z2 r
Bx = 0 V By = Ez c V Bz = Ey . c En resumen, tenemos de la Ec. (75) que, en forma general, E= q (x, y, z) r3 1 B= VE c E= qr 2 r 3 [1 (v 2 /c2 ) sen2 ]3/2
(V.79)
(V.80)
para el campo electromagntico de una carga que est pasando por el origen
r = 0 con velocidad V.
La intensidad del campo elctrico se deforma: las lneas de campo se contraen a lo largo de la direccin del movimiento de la carga. Esto se puede ver claramente si consideramos la intensidad del campo elctrico a lo largo de la direccin de movimiento = 0 y perpendicular a esa direccin ( = /2). En la direccin de movimiento, el campo elctrico se contrae por un factor
2 , mientras que en la direccin perpendicular se expande por un factor .
112
Este efecto fue descubierto por Lorentz con base en sus transformaciones, antes de que apareciera la teora de la relatividad de Einstein. Lorentz propuso que una partcula cargada se contrae a lo largo de la direccin de su velocidad, con lo cual desarroll una teora del electrn. Por supuesto, esta teora se volvi obsoleta con la aparicin de la relatividad especial, pero sirvi de inspiracin para Einstein.
V.4.1. El campo de una corriente elctrica
Como un siguiente ejercicio, vamos a calcular el campo electromagntico de una corriente elctrica que circula por un alambre de largo innito. Una corriente consta de dos elementos: los electrones (negativos) que se mueven por el alambre, y los iones (positivos) jos en l. En el sistema en reposo de los iones, la carga neta del alambre es nula. Lo ms conveniente es calcular por separado los campos producidos por las dos componentes y luego sumarlos. Consideremos, pues, un alambre cargado, de largo innito, que se mueve con una cierta velocidad v . Como en el problema anterior, vamos a colocarnos en el sistema de referencia S en el cual el alambre est en reposo, y luego pasar a S . Debido a la simetra axial, podemos calcular el campo en un punto P en el plano xy nicamente (supondremos que el alambre se mueve a lo largo del eje x). El campo en cualquier punto del espacio se puede obtener simplemente girando alrededor del alambre. Si 0 es la carga por unidad de longitud en el sistema S , (ver gura V.3), entonces el campo elctrico es perpendicular al alambre y su magnitud es
E =
20 , R
(V.81)
donde R es la distancia al alambre. (Esta frmula se puede obtener fcilmente utilizando la ley de Gauss: considrese un cilindro de radio R y altura
L que rodea simtricamente al alambre. El cilindro contiene una carga 0 L

y el ujo de campo elctrico sobre su supercie es 2RLE . Este ujo divi-
113
dido por 4 es igual a la carga contenida.) En consecuencia, en el punto P del plano xy , y visto en S se tiene
Ex = 0 Ey = 20 R
Bx = 0 By = 0 Bz = 0
(V.82)
Ez = 0
Ahora, podemos pasar al sistema S usando las Ecs. (34). A partir de (78), resulta que, en el sistema S :
Ex = 0 Ey = Ez = 0 20 2 = R R
Bx = 0 By = 0 Bz = V 20 2I = c R cR
(V.83)
donde hemos denido = 0 como la densidad de carga en S (recuerde la contraccin de Lorentz), e I = 0 V como la corriente. Como sealamos anteriormente, una corriente real se compone de cargas positivas jas y de iones, cargas negativas, que se mueven a lo largo del alambre. Para calcular el campo electromagntico de esa corriente, consideremos un alambre en reposo en S con densidad de carga 0 . En analoga con las Ecs. (78) y (34) se tiene: en S : en S :
Ex = 0 Ey = 20 /R Ez = 0
Bx = 0 By = 0 Bz = 0
Ex = 0 Ey = 20 /R Ez = 0
Bx = 0 By = 0 Bz = 2I/cR
(V.84)
Ahora vamos a sobreponer el campo electromagntico dado por (78) y (79) al campo electromagntico dado por (80). Se tiene
114
en S :
Ex = 0 Ey = 2 Ez = 0
Si queremos que no haya campo elctrico en el sistema S , debemos poner:
+ 0 R
0 + = 0.
As, el campo electromagntico total (iones en reposo ms electrones en movimiento) resulta ser, usando las frmulas (78), (79) y (80) y poniendo
0 = :
en el sistema S de laboratorio:
Bx = 0 E=0 By = 0 Bz =
pero en el sistema S de los iones:
20 V 20 V = , cR cR
Ex = 0 Ey = 2 (0 + 0 ) R 2(1 2 )0 = R 20 V 2 = c2 R Bx = 0 By = 0 Bz = 20 V cR
Ez = 0
El resultado esencial es que, en el sistema S en movimiento, la carga neta del alambre no se anula. Esto se debe a la contraccin de Lorentz del sistema formado por los iones y es un efecto puramente relativista.
Ejercicio 10: Considere una corriente generada por electrones que se

mueven con velocidad V en un alambre conductor. Considere una carga q que se mueve paralelamente a lo largo del alambre con la misma velocidad. Encuentre la forma explcita de la fuerza aplicada a q (es decir dp/dt =
115
e(E + V B/c)) en los sistemas S (iones en reposo) y S (electrones y carga q en reposo), y demuestre que es la misma. D una explicacin fsica.
Este ejercicio es la solucin a la paradoja descrita en la seccin 2 del captulo I. En el sistema de la carga que sigue a los electrones, la carga no reciente una fuerza debida al campo magntico, pero s una fuerza elctrica debida a la carga que adquiere el alambre.
116
VI. TENSORES DE ENERGA MOMENTO
Las leyes de conservacin juegan un papel fundamental en todas las ramas de la fsica. Son una poderosa herramienta matemtica y, gracias a ellas, es posible describir el comportamiento de un sistema fsico, tanto cualitativa como cuantitativamente. En la mecnica newtoniana, las principales cantidades que se conservan son: la masa, la energa, el momento lineal y el momento angular. En la teora de la relatividad, las dos primeras no se conservan independientemente, pero s la suma de las dos, si se toma en cuenta que la energa se puede transformar en masa y viceversa. En cuanto a los momentos lineales y angulares, ya tuvimos ocasin de ver cmo se conservan, en los captulos IV y V. Hasta este punto hemos estudiado la dinmica de una o ms partculas (captulo IV), as como la del campo electromagntico (captulo V). Ahora vamos a considerar un medio continuo, como un lquido o un gas. Para describir un medio continuo es conveniente denir la densidad de masa, . Por denicin, la masa de un elemento diferencial de volumen dV del medio continuo es dV . La ley de la conservacin de la masa toma la forma
+ t
(v) = 0,
(VI.1)
que es la ecuacin de continuidad. La interpretacin de la Ec. (1) es simple: considere un volumen V jo; la masa que contiene es
M=
dV,
(VI.2)
donde la integracin est tomada sobre el volumen V . Por otra parte, v es el ujo de masa por unidad de supercie y unidad de tiempo, as que el
117
118
ujo de masa es
F =
v ndA
(VI.3)
donde la integracin es sobre la supercie de V , n es el vector unitario normal a la supercie y dA es el elemento diferencial de rea. Si no hay fuentes o sumideros de masa en el volumen V , la conservacin de masa implica
dM = F dt
(VI.4)
(el signo negativo viene de denir como positivo aquel ujo que sale del volumen). Utilizando el teorema de Gauss para transformar una integral de area en una de volumen, la Ec. (4) toma la forma:
+ t
(v) dV = 0.
Como esta integral es vlida para cualquier volumen V que se escoja, el integrando es cero y obtenemos la ecuacin de continuidad (1). En general, por cada cantidad fsica conservada, se tiene una ecuacin de continuidad del tipo
(densidad de...) + t
(densidad de corriente de...) = 0
La Ec. (1) es un caso particular correspondiente a la conservacin de masa. Otras cantidades conservadas son la energa y el momento. A continuacin veremos cuales son sus ecuaciones de conservacin y cmo se generalizan al caso relativista. Para ello, primero presentamos un repaso de hidrodinmica clsica.
VI.1. Hidrodinmica
En hidrodinmica clsica, se dene como uido perfecto aquel en el cual no hay viscosidad ni conduccin de calor. Las ecuaciones fundamentales que describen el movimiento de un uido perfecto son: Conservacin de masa:
+ t
(v) = 0
(VI.5)
TENSORES DE ENERGA MOMENTO
119
Ecuacin de Euler:
Dv v + (v dt t
)v = p + Fext
(VI.6)
donde = densidad, v = velocidad, p = presin, Fext = fuerza externa por unidad de volumen aplicada al uido y
D +v dt
es el operador de derivada convectiva: es la variacin de una cantidad vista por un observador que se mueve con el uido. Este ltimo concepto se puede visualizar de la siguiente manera. Sea F cualquier variable del uido (presin, velocidad, temperatura, etc.). En el punto r y al tiempo t, esa variable tiene el valor F (r, t). En el mismo
punto r y un tiempo dt despus, F vale F (r, t + dt); para dt innitesimal,

la diferencia est dada por
F (r, t + dt) F (r, t) =
F dt, t
que dene la derivada parcial. En cambio, en un punto que se mueve con
el uido, F vale F (r + vdt, t + dt) despus de un tiempo dt, siendo v la

velocidad del uido en el punto considerado; la diferencia
F (r + vdt, t + dt) F (r, t) =
F +v t
F dt,
dene la derivada convectiva, que representa la variacin de una cantidad hidrodinmica vista por un observador que se mueve con el uido. Como veremos ms adelante, el concepto de derivada convectiva es muy til en la fsica relativista. Por ahora, y adelantndonos un poco, sealaremos que esta derivada puede escribirse en forma totalmente covariante:
D 1 cu , dt x
ya que u = (1, v/c). La Ec. (7) tambin puede ponerse como
(VI.7)
D dx = cu = c , d x d x
(VI.8)
120
donde ahora es el tiempo propio en el sistema que se mueve con el uido. Ntese que el operador D/d es un escalar frente a transformaciones de Lorentz. Por denicin, para un uido simple existe una ecuacin de estado que relaciona la presin con la temperatura, la densidad, o cualquier otra variable termodinmica, como, por ejemplo, la entropa. En general se tiene
p = p(, T )
p(, s)
p(s, T ),
donde T = temperatura y s = entropa especca (por unidad de masa). La primera ley de la termodinmica toma la forma
d = T ds pd
1 ,
(VI.9)
donde es la energa interna por unidad de masa, es decir, aquella que se debe al movimiento microscpico de las molculas. Por denicin, para un uido perfecto, se tiene que
Ds = 0, dt
(VI.10)
lo cual implica que no hay intercambio de calor entre diversas partes del uido perfecto porque no hay friccin y el movimiento es reversible. Una ecuacin relacionada con la conservacin del momento se puede obtener poniendo las Ecs. (5) y (6) en notacin tensorial. Denamos va = (vx , vy , vz ) =
v y xa = (x, y, z) = r(a, b, n, ... = 1, 2, 3).1 Se tiene as: (vn ) + = 0, t xn va va p ext + vn = + Fa , t xn xa d = + vn . dt t xn (va ) va = + va , t t t

1 En tres dimensiones, el equivalente del tensor de Minkowski es la delta de Kronecker . Como ninguna componente cambia de signo al subir o bajar ndices, es irrelevante si los ndices de tensores en tres dimensiones se ponen arriba o abajo.
(VI.11) (VI.12)
Por otra parte, como
121
usamos (12) y (13) (con Fext = 0) en esta ltima ecuacin y resulta que
p (vn ) (va ) va = vn va = (va vn + pan ). t xn xa xn xn

Deniendo
ab = va vb + pab ,
se obtiene nalmente
(VI.13)
(va ) ab = . t xb
(VI.14)
ab es el llamado tensor de esfuerzos o de tensiones (ingls: stress tensor ).

Integrando la Ec. (15) vemos que
va dV =
ab dV = xb
ab nb dA.
El miembro izquierdo de esta ecuacin es la variacin de la componente a del impulso en el volumen V ; entonces ab nb dA es la componente a del ujo de impulso a travs del elemento de rea dA cuya normal es nb . Por lo tanto,
ab es la componente b del ujo de componente a del impulso. Es un tensor

de rango 2 (en tres dimensiones) y es simtrico.
VI.2. Tensor hidrodinmico relativista
Veamos como los resultados anteriores se generalizan a la relatividad especial. Denamos un tensor de rango 2:
T = (e + p)u u + p
(VI.15)
donde e = densidad total de energa y masa, o sea, e = c2 + , siendo la densidad de masa propia y la energa interna (debida al movimiento de las partculas) por unidad de masa; p = presin; u = cuadrivector velocidad de un elemento del uido. Las variables , e, , p deben entenderse como funciones de la posicin y el tiempo medidos en un punto por un observador que se mueve con el uido. El observador ve al uido a su alrededor en reposo (por lo menos en una
122
regin sucientemente pequea), as que todas las mediciones que hagan sern vlidas para un uido en reposo. De esta forma garantizamos que las variables termodinmicas sean escalares por denicin y, por lo tanto, que
T sea un tensor.
Ntese que e incluye la masa y la energa juntas, y no por separado, ya que una se transforma en la otra en la teora de la relatividad.
Ejercicio 1: Recordando que u = (, v/c) demuestre que, explcitamente,
T 00 = (e + p) 2 p T 0a = (e + p) 2 T ab = (e + p) 2 va c
(VI.16a) (VI.16b) (VI.16c)
vavb + p ab c2
Veamos cual es el lmite no relativista (v/c)
1 de estas cantidades. En el
lmite no relativista, la densidad de masa no depende del sistema de referencia y podemos tomar simplemente e = c2 en una primera aproximacin. En consecuencia se tiene, en esa misma aproximacin,
T 00 = c2 T 0a = v a c T ab = v a v b + pab = ab .
(VI.16a) (VI.16b) (VI.16c)
Ahora podemos ver que las ecuaciones de conservacin de energa (11) y de masa (12) implican que, en aproximacin no relativista,
1 T 00 T 0b + = + + b v b c = 0. c t xb t x
En resumen, las Ecs. (21) y (22) se pueden escribir en la forma
(VI.17)
T =0 x
(, = 0, 1, 2, 3),
(VI.18)
que es vlida en el lmite no relativista. Pero como esta ltima ecuacin
est escrita en forma totalmente covariante, es vlida en general debido al

principio fundamental de la relatividad especial.
123
En general, un tensor de energa-momento es un tensor de rango 2, simtrico, que satisface la ecuacin (23) y cuyas componentes se pueden interpretar como
T 00 densidad de energa T 0a densidad de ujo de energa y momento T ab tensor de tensiones

En cada punto que se mueva con un uido se puede encontrar un sistema de referencia en el cual, en ese punto, el uido se ve en reposo y el tensor (VI.19)
T toma la forma
e 0 0 0 p 0 = 0 0 p 0 0 0
0 0 0 p
Ejercicio 2: Es importante notar que la que se usa en las ecuaciones

no-relativistas (1) a (11) es la densidad de masa medida por un observador (jo) en el laboratorio llammosla lab mientras que la que aparece en e = c2 + , etc. est medida en un sistema que se mueve con el uido. As, debido a la contraccin de Lorentz del volumen, se tiene
lab = ,
y, por lo tanto,
= lab
1 v 2 /c2 lab (1 v 2 /2c2 ).
(VI.20)
Tomando esto en cuenta, demuestre que
e = c2 1 +
de donde
c2
lab c2 a
v + 2 , 2 2c c
(e + p) 2 lab c2 + lab lab c + lab

2
v2 c2
+p + p,
1+
v2 c2
v2 + 2 c
(VI.21)
124
despreciando trminos de orden v 2 /c2 . Usando (19) en las Ecs. (17) resulta:
T 00 = lab c2 + lab + T 0a = lab v a c + lab
v2 2 v2 va va + +p 2 c c
(VI.22a) (VI.22b) (VI.22c)
T ab = lab v a v b + pab = ab ,
despreciando siempre trminos en v 2 /c2 . De aqu, demuestre que las ecuaciones de conservacin de energa (11) y de masa (12) implican que, en la siguiente aproximacin relativista, :
v2 lab + lab + t 2
lab
v2 p v = 0. ++ 2 lab
(VI.23)
sta es precisamente la ecuacin de conservacin de la energa para un uido (ver, por ejemplo, L. D. Landau y E. M. Lifshitz; Mecnica de uidos, 6).
VI.3. Termodinmica e Hidrodinmica relativista
La ecuacin de conservacin (23), junto con la denicin (16) de T contiene la primera ley de la termodinmica y la generalizacin relativista de la ecuacin de Euler. Para comprobar esto, veamos los principios bsicos de la termodinmica relativista. En la fsica clsica, la masa se conserva y, por lo tanto, la densidad de masa es una variable fundamental para describir un uido. Lo anterior, sin embargo, no es vlido en la teora de la relatividad porque la masa se puede transformar en energa y viceversa. En consecuencia, debemos utilizar alguna cantidad fsica que se conserve, incluso cuando los efectos relativistas sean dominantes. Tal cantidad conservada podra ser, aparentemente, el nmero de partculas elementales que constituyen a la materia. Pero esto no es del todo correcto porque las partculas se transforman unas en otras: el nmero de fotones no se conserva en muchas reacciones, los neutrones decaen en protones, etc. Pero lo que s se conserva es el nmero de bariones.
125
Recordemos que los bariones son partculas elementales que interactan entre s por medio de las fuerzas nucleares y que, de acuerdo con las teoras ms recientes, estn constitudos por tres cuarks. El protn y el neutrn son los bariones ms conocidos, aunque existen muchos ms tipos. Un barin aislado decae muy rpidamente en uno ms ligero, hasta acabar en un protn. Por ejemplo, un neutrn aislado decae espontneamente en un protn, un electrn y un antineutrino (decaimiento beta); la vida media de un neutrn libre es de unos 890 segundos (pero los neutrones en un ncleo atmico pueden ser estables). El protn, a su vez, es totalmente estable pues no existe ningn barin ms ligero y una ley fundamental de la naturaleza es que el nmero total de bariones (independientemente de su tipo) se conserva.2 Se entiende que el nmero barinico de las antipartculas es negativo: por ejemplo, un protn y un antiprotn se aniquilan produciendo dos fotones (cero bariones). Despus de estas aclaraciones, veamos como podemos expresar la primera ley de la termodinmica en una forma compatible con la relatividad. Adems de las variables descritas en la pg. 107, inclumos las siguientes cantidades fsicas:
n = nmero de bariones por unidad de volumen S = entropa por barin.
Como indicamos anteriormente, se entiende que estas cantidades estn medidas en un sistema que se mueve con la materia. La relacin entre la entropa por unidad de volumen, s, y la entropa por barin, S , es evidentemente
s = nS.
(VI.24)
Ahora, consideremos un volumen dado V , jo, en el que se encuentran N

2 Es un hecho emprico. Los experimentos ms recientes ponen un lmite inferior de 1032 aos a la vida media del protn. En comparacin, la edad actual del Universo segn la teora de la Gran Explosin es de unos 13.4109 aos.
126
bariones. La primera ley de la termodinmica estipula que
d(energa en V ) = pdV + T d(entropa en V ).

Pero V = N/n y la entropa en V es sV = SN y, por lo tanto,
(VI.25)
d(eN/n) = pd(N/n) + T ds(N S).
(VI.26)
Tomando en cuenta que N es constante, esta ltima ecuacin se puede escribir como
de =
p+e dn + nT dS, n
(VI.27)
que es la versin relativista de la primera ley de la termodinmica (recurde que e es la densidad de masa y energa). Como las variables que aparecen en esta ltima ecuacin son escalares que se reeren al sistema que se mueve con el uido, podemos tambin escribir la primera ley en trminos de la derivada convectiva:
De p + e Dn DS = + nT ; d n d d
que incluye slo escalares.
(VI.28)
Regresemos ahora a la conservacin del nmero barinico. Esto lo podemos expresar a travs de la ecuacin
(nu ) = 0, x
que, en forma ms explcita, equivale a
(VI.29)
(n) + t
(nv) = 0.
(VI.30)
Esta es justamente una ecuacin de conservacin como la que aparece en el caso clsico, Ec. (1). Recuerde que n es la densidad de bariones en el sistema del uido, y que, por lo tanto, n es esa misma densidad en el sistema de laboratorio, tomando en cuenta la contraccin de Lorentz del volumen. La ecuacin de conservacin (23) es, en realidad, un conjunto de cuatro ecuaciones (una para cada ndice libre). Escribamos el tensor de energamomento de un uido perfecto en la forma
T =
e+p u (nu ) + p . n
(VI.31)
127
Tomando la derivada e igualando a cero, se obtiene
T = nu u x x
e+p n
e + p u p + n = 0 n x x
(VI.32)
donde hemos tomado en cuenta la ecuacin (30). El siguiente paso es multiplicar esta ecuacin por u y recordar que u u = 1 y u u /x = 0. Se obtiene con un poco de lgebra:
e e + p n + u = 0. x n x
(VI.33)
Pero u /x = D/d , as que esta ltima ecuacin es justamente la primera ley de la termodinmica en la forma dada por la Ec. (29). Habiendo identicado una de las componentes de la ecuacin de conservacin (33), veamos las otras tres. Para ello es conveniente denir un operador de proyeccin:
h u u + ,
(VI.34)
que tiene la propiedad de que
h u = 0,
(VI.35)
si u es un cuadrivector unitario u u = 1. En general, el operador h proyecta cualquier cuadrivector V a un espacio tridimensional cuya normal es u (gura VI.1). Se puede decir, que h es un operador que anula la componente temporal de un cuadrivector. En efecto, h V slo tiene componentes espaciales porque u (h V ) = 0. Volviendo a la Ec. (33), si lo multiplicamos por h , obtenemos
(e + p)h
p Du + h = 0, d x
(VI.36)
que es la ecuacin de Euler relativista.
Ejercicio 2: Escriba la ecuacin de Euler relativista explcitamente en

trminos de la velocidad v, usando el hecho de que u = (1, v/c). Compruebe que, en el lmite no relativista y v clsica (6).
c, se recupera la ecuacin
128
Ejercicio 3: Un uido hipottico consta de partculas idnticas que se

mueven todas con la misma velocidad en forma isotrpica (no hay una direccin preferencial). El tensor de energa-momento tiene la forma T =
K u u , donde K es una cierta constante y el parntesis
representa
un promedio. Demuestre que, debido a la isotropa, v a v b = (1/3)v2 ab . Recordando que u = (1, v a ), demuestre que la densidad de energa e y la presin p satisfacen la relacin p = (v2 /3c2 )e. En el caso de un gas (realista!) de fotones, demuestre que la ecuacin de estado es p = (1/3)e, la cual es vlida, en general, para un gas ultrarelativista.
VI.4. El tensor de energa momento electromagntico
Despus de haber elucidado el signicado fsico del tensor de energa momento para un medio continuo, vamos a extender ese mismo concepto al campo electromagntico. Consideremos primero un campo electromagntico en el vaco (es decir, en una regin donde no hay cargas o corrientes). En vaco, las ecuaciones de Maxwell toman la forma:
F = 0, x
F = 0. x
(VI.37)
La segunda de estas ecuaciones puede escribirse en la forma:
lo cual es equivalente a:
F = 0, x
F F F + + = 0. x x x
Ntese que los ndices , y aparecen en orden cclico. Ahora, calculemos la derivada del escalar F F Tenemos:
(VI.38)
F F F (F F ) = F + F = 2F , x x x x
lo cual, utilizando la Ec. (39), podemos escribir en la forma
F F (F F ) = 2F + . x x x
(VI.39)
129
Si multiplicamos esto por y contraemos sobre los ndices , obtenemos
F. F. (F F ) = 2F + x x x
(VI.40)
El siguiente paso consiste en usar el hecho de que F es antisimtrico y reordenar los ndices mudos. El primer y segundo trmino en el lado derecho de la ecuacin (41) resultan ser iguales. El resultado nal es
F (F F ) + 4F . = 0, x x
(VI.41)
con un cambio de ndices mudos (esta vez ). Despus de esta gimnasia algebraica, denamos el tensor3
T =
1 1 F . F (F F ) , 4 4
(VI.42)
que es simtrico (basta ver que F . F = F F . ). La divergencia de este tensor es
T 1 = x 4
. F 1 . F F + F (F F ) . x x 4 x
El segundo trmino en el lado derecho es nulo debido a la ecuacin de Maxwell (38), mientras que el primer y el tercer trmino son justamente la ecuacin (42) con un cambio apropiado de ndices mudos. En resumen
T = 0. x
(VI.43)
T denido por la frmula (43) es el tensor de energa momento del campo

electromagntico.
Ejercicio 4: Dena el vector de Poynting

S= c EB 4
(VI.44)
y demuestre que las componentes de T
T 00 =
1 (E2 + B2 ) W 8 1 T 0a = S c
(VI.45) (VI.46) (VI.47)
Tab =
1 1 Ea Eb Ba Bb + ab (E2 + B2 ) ab 4 2
3 Ponemos un punto en el lugar del ndice que se baj, para recordar el lugar que tena originalmente; es importante precisar la posicin original de un ndice cuando se trata de un tensor que no es simtrico.
130
donde: W es la densidad de energa electromagntica, S es la densidad de ujo de energa y momento electromagnticos, y ab es el tensor de esfuerzos de Maxwell denido como:
xx = xy
etc.
1 2 2 2 2 2 2 (Ex + Ey + Ez Bx + By + Bz ) 8 1 = (Ex Ey Bx By ) 4
Ejercicio 5: Demuestre que la Ec. (44) implica

W + S=0 t Sa an + c2 n = 0 t x
(VI.48) (VI.49)
Una vez ms, vemos que T00 corresponde a la densidad de energa, T0a al ujo y Tab es el tensor de esfuerzos. Las ecuaciones (49) y (50) son ecuaciones de conservacin de energa y de momento, la forma general que ya habamos visto anteriormente. Ntese tambin que la traza del tensor electromagntico
T es cero.4
VI.5. Tensor de energa momento electromagntico con materia.
Veamos ahora que pasa cuando hay cargas y corrientes. Sigamos deniendo el tensor electromagntico como
T(e.m.) =
1 . 1 [F F g (F F )], 4 4
(VI.50)
solo que, ahora, debido a que F /x = 4J /c, se tiene en lugar de la Ec. (44):
1 T = F J . (e.m.) x c
(VI.51)
Hay que notar que T(e.m.) representa slo la contribucin del campo electro-
magntico al tensor de energa-momento. En el lado derecho de esta ecuacin aparece un trmino que corresponde a la fuerza de Lorentz sobre las partculas cargadas, mismas que producen la
4 En general, la traza del tensor de energa-momento de un conjunto de partculas es proporcional a la masa individual de las partculas. El campo electromagntico se puede interpretar, a nivel cuntico, como un conjunto de fotones, que son cuantos de campo.
131
corriente J . Para elucidar este ltimo punto y tomar en cuenta la presencia de cargas, vamos a considerar el caso muy simple de un gas sin presin formado de partculas cargadas. De acuerdo con lo que vimos al principio de este captulo, el tensor de energa-momento que corresponde a la presencia de materia sin presin (energa interna = 0) es, segn la Ec. (16);
T(mat) = c2 u u
(VI.52)
donde es la densidad de masa propia (en esta seccin, vamos a guardar el smbolo para la densidad de carga ). Tomando la derivada de (53):
(u ) u T(mat) = c2 u + c2 u . x x x
Pero, segn la Ec. (30),
(u ) = 0, x
as que
du T(mat) = c x d
Consideremos ahora la ecuacin para la fuerza de Lorentz:
(VI.53)
mc
du = eF u d
(VI.54)
Esta ecuacin es vlida para una partcula de masa m y carga elctrica e. Si consideramos un conjunto de muchas partculas, podemos promediarlas para obtener, del lado izquierdo, la densidad de masa y u como la velocidad promedio del gas, y, del lado derecho, la densidad de corriente elctrica. As, la versin promediada de la ecuacin para la fuerza de Lorentz es
du = F J , d
(VI.55)
que tiene una forma covariante, tal como debe ser. Regresando a la Ec. (54), se ve que
1 T = F J . (mat) x c
(VI.56)
132
Sumando (52) y (57) se tiene nalmente que
T + T(mat) x (e.m.)
=0
(VI.57)
como era de esperarse. As vemos que el tensor de energa-momento total es la suma de los tensores del campo electromagntico y de la materia. Si bien la situacin fsica que hemos analizado es muy idealizada, ilustra el hecho de que la energa y el momento totales se conservan. La ecuacin
(58) es vlida siempre, pero T(mat) puede tener una forma ms general que
la considerada aqu. Existen otros tensores de energa momento en relatividad; por ejemplo, para uidos viscosos o para plasmas, pero no los consideraremos en este curso. Los bsicos son los que presentamos aqu.

Relatividad - Especial Sahen Hacyan

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Relatividad - Especial Sahen Hacyan

Загружено:

Авторское право:

Доступные форматы

1

Ciudad Universitaria, octubre de 1992

El presente libro de texto es una nueva edicin del anterior Relatividad

especial para estudiantes de fsica, en la que he agregado una segunda parte

Ciudad Universitaria, octubre de 2006

Cuando dejamos caer una piedra en un vehculo en movimiento cae

erciales y se deben a la tendencia de todo cuerpo a mantener su movimiento

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

principio de relatividad de Galileo.

(x , y , z ) en el sistema S . Sin perder generalidad escojamos los ejes x y x a

Las frmulas (1) y (2) denen un cambio de coordenadas llamado transfor-

macin de Galileo. El principio de la relatividad de Galileo implica que las

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

ferencia; despus de todo, eso es lo que indica el experimento de Michelson

Ejercicio 1: Demuestre que la transformacin (3) se reduce a la de Galileo

(x, y, z) al tiempo t, tendr coordenadas (x, y, z, ct) en el espaciotiempo.

(x2 , y2 , z2 ) es, segn el teorema de Pitgoras, (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 .

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 + (ct2 ct1 )2 ,

(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 , t2 t1

(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 = 0.

(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 , t2 t1

(x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 = 0

s2 = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 c2 (t2 t1 )2 12

2 vemos que si s2 = 0 en un sistema S , tambin s12 = 0 en otro sistema S , 12

donde, por supuesto,

ds2 = dx2 + dy 2 + dz 2 c2 dt2

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

x x = x cos + y sen , y y = x sen + y cos , z z = z,

senh2 = 1. Identiquemos ahora a . El origen del sistema S tiene co-

ordenada x = 0, as que, de acuerdo con (9), el origen de S satisface la condicin

Introduciendo esto en la Ec (9), se deduce

Ejercicio 2: Demuestre que la transformacin inversa a la (10) es

y justique esta frmula con un argumento fsico.

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

Ejercicio 3: Dibuje la lnea de universo de una partcula que se mueve

1 V 2 /c2 se vuelve imaginaria.

casualmente desconectados de E . Volveremos a este cocepto en la seccin 5

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

II. CINEMTICA Y PTICA RELATIVISTAS

Una de las consecuencias ms inmediatas de la transformacin de Lorentz

Contraccin del tiempo. Sean dos sucesos E1 y E2 que ocurren en un

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

segn si los dos sucesos estn causalmente conectados o no.

Ejercicio 1: Demuestre la armacin anterior.

lugar, pero en tiempos t1 y t2 distintos. La seudodistancia entre esos dos

s2 /c es el tiempo medido por un reloj que est jo en S . Si 12

ahora denimos el tiempo propio entre dos sucesos como

CINEMTICA Y PTICA RELATIVISTAS

estar dado por:

ds2 |dr|2 + c2 dt2

Ejercicio 2: Visto desde un sistema inercial S , una partcula se mueve

1 2 R2 /c2 con respecto del tiempo medido en S .

Ejercicio 3: El mun () es una partcula elemental que se puede producir

Ejercicio 4: (Paradoja de los gemelos): Pedro y Pablo son dos gemelos.

HACYAN: RELATIVIDAD PARA ESTUDIANTES DE FSICA

Ejercicio 5: Dos observadores O y O se mueven con velocidad relativa

t en el suyo. Encuentre la relacin entre t y t (haga un diagrama en el

CINEMTICA Y PTICA RELATIVISTAS

tB de la Tierra; esa seal llega a la Tierra al tiempo t2 .

Las frmulas (1) y (2) denen un cambio de coordenadas llamado transfor-

senh2 = 1. Identiquemos ahora a . El origen del sistema S tiene co-

y justique esta frmula con un argumento fsico.

Ejercicio 1: Demuestre la armacin anterior.

s2 /c es el tiempo medido por un reloj que est jo en S . Si 12

ahora denimos el tiempo propio entre dos sucesos como

t = t2 , y por lo tanto, en cmara lenta. Despus, durante un lapso de

Recordemos que todas las cantidades en esta frmula se reeren al sistema

Identique a como el tiempo propio de la partcula.Calcule la velocidad

c, con lo cual se identica a como la aceleracin.