Beruflich Dokumente
Kultur Dokumente
Los captulos 5 y 9 dan los fundamentos del calculo tensorial que se usa
en la relatividad especial, y en la general, respectivamente. Si bien la teora
especial puede estudiarse sin tensores, la general se entiende con el uso de-
i
cidido del calculo tensorial.
Lorenzo de la Torre
Medelln, diciembre de 2006
ii
Indice General
Prefacio I
1. El origen de la relatividad 1
1.1. Corp usculos y ondas . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. El eter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. El experimento de Michelson y Morley . . . . . . . . . . . . . 8
1.4. La transformacion de Galileo . . . . . . . . . . . . . . . . . . 11
1.5. La constancia de la velocidad de la luz . . . . . . . . . . . . . 12
1.6. El principio de la relatividad . . . . . . . . . . . . . . . . . . 13
1.7. Homogeneidad del espacio y el tiempo . . . . . . . . . . . . . 14
1.8. El concepto de observador . . . . . . . . . . . . . . . . . . . . 15
1.9. Transformaciones de coordenadas . . . . . . . . . . . . . . . . 17
1.10. Las transformaciones de Lorentz . . . . . . . . . . . . . . . . 20
iii
3. Mec anica 61
3.1. La conservacion del momentum . . . . . . . . . . . . . . . . . 62
3.2. Las nuevas cantidades dinamicas . . . . . . . . . . . . . . . . 65
3.3. La energa en la relatividad especial . . . . . . . . . . . . . . 69
3.4. E = mc2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.5. La velocidad lmite . . . . . . . . . . . . . . . . . . . . . . . . 75
3.6. Las transformaciones de p , E , m , F . . . . . . . . . . . . . . 76
3.7. Masa y potencial electrostatico . . . . . . . . . . . . . . . . . 82
3.8. La aceleracion . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.9. Movimiento circular . . . . . . . . . . . . . . . . . . . . . . . 85
6. La electrodin amica
manifiestamente covariante 147
6.1. El cuadripotencial A . . . . . . . . . . . . . . . . . . . . . . 148
6.2. Las dos ecuaciones de Maxwell . . . . . . . . . . . . . . . . . 150
6.3. La fuerza de Lorentz . . . . . . . . . . . . . . . . . . . . . . . 152
6.4. El tensor electromagnetico . . . . . . . . . . . . . . . . . . . . 155
6.5. La transformacion de los campos . . . . . . . . . . . . . . . . 158
6.6. Dos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
iv
7. Las leyes de conservaci on 161
7.1. La nube de partculas . . . . . . . . . . . . . . . . . . . . . . 161
7.2. Otras corrientes . . . . . . . . . . . . . . . . . . . . . . . . . . 164
7.3. El tensor de energa y momentum . . . . . . . . . . . . . . . . 165
7.4. Tmec = 0 , Tmec 6= 0 . . . . . . . . . . . . . . . . . . . . 166
7.5. La corriente de momentum angular . . . . . . . . . . . . . . . 172
7.6. Generalizacion . . . . . . . . . . . . . . . . . . . . . . . . . . 173
9. Transformaciones generales
de coordenadas 199
9.1. Subndices y superndices . . . . . . . . . . . . . . . . . . . . 199
9.2. Transformaciones generales . . . . . . . . . . . . . . . . . . . 202
9.3. Los vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
9.4. Otros tensores . . . . . . . . . . . . . . . . . . . . . . . . . . 207
9.5. La derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
9.6. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
9.7. Coordenadas esfericas . . . . . . . . . . . . . . . . . . . . . . 214
9.8. La relatividad especial . . . . . . . . . . . . . . . . . . . . . . 217
9.9. Ecuaciones tensoriales . . . . . . . . . . . . . . . . . . . . . . 218
9.10. Covariancia general . . . . . . . . . . . . . . . . . . . . . . . 220
9.11. El elemento invariante de volumen . . . . . . . . . . . . . . . 221
9.12. El smbolo de Christoffel . . . . . . . . . . . . . . . . . . . . 222
9.13. La derivada covariante . . . . . . . . . . . . . . . . . . . . . 226
9.14. El tensor de Riemann . . . . . . . . . . . . . . . . . . . . . . 230
9.15. Plano y curvo . . . . . . . . . . . . . . . . . . . . . . . . . . 233
9.16. Coordenadas adaptadas . . . . . . . . . . . . . . . . . . . . . 236
9.17. Las identidades de Bianchi . . . . . . . . . . . . . . . . . . . 238
9.18. El tensor de Riemann es el unico . . . . . . . . . . . . . . . . 240
9.19. Obligar a g a que tome el valor que queramos . . . . . . . 244
9.20. Dos transformaciones sucesivas . . . . . . . . . . . . . . . . . 246
9.21. Un ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
v
10. Las geod esicas 253
10.1. La ecuacion diferencial . . . . . . . . . . . . . . . . . . . . . . 253
10.2. Parametros afines . . . . . . . . . . . . . . . . . . . . . . . . . 256
10.3. Constantes del movimiento . . . . . . . . . . . . . . . . . . . 258
10.4. Las ecuaciones algebraicas . . . . . . . . . . . . . . . . . . . . 260
10.5. Derivada a lo largo de una curva . . . . . . . . . . . . . . . . 267
10.6. R y la curvatura . . . . . . . . . . . . . . . . . . . . . . . 269
vi
13.17. Coordenadas temporaloides y espacialoides . . . . . . . . . . 344
13.18. El cono de la luz . . . . . . . . . . . . . . . . . . . . . . . . 345
13.19. Singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . 347
13.20. Las coordenadas de Kruskal-Szekeres . . . . . . . . . . . . . 349
Bibliografa 373
vii
viii
Captulo 1
El origen de la relatividad
El concepto del eter penetro con dificultad en la fsica teorica; para ajus-
tarlo al conocimiento de la epoca, los cientficos tuvieron que admitir que el
deba tener un conjunto de propiedades extra nas, absurdas y contradictorias.
Aun as, los fsicos se aferraron a su creencia en el eter, ese medio curioso
que cumpla una doble funcion: de un lado, supuestamente soportaba a las
ondas electromagneticas, y de otro lado era como una corporizacion del es-
pacio absoluto en que se apoyaba la mecanica newtoniana. Era importante
que la idea del eter tuviera un respaldo experimental, y el instrumental opti-
co de fines del siglo XIX contaba ya con la precision suficiente para medir
la velocidad v que nuestro planeta supuestamente tena respecto al eter. El
experimento de Michelson y Morley dio un resultado sorpresivo: v debe ser
1
cero. Este resultado no es ilogico, pero s es increble.
1
Einstein conoci o antes de 1905 los resultados del experimento de Michelson y Morley.
Decimos esto porque se sabe que el haba estudiado el artculo [1] de Lorentz de 1895 en
el que el fsico holandes discuta en detalle los resultados del experimento. El experimento
impresion o a muchos, pero no a Einstein. Por que no? Porque el ya saba que el resul-
tado del experimento tena que ser nulo, simple y llanamente porque el eter era, para el,
inexistente. El Michelson-Morley no fue lo que condujo a Einstein hacia la relatividad.
Cuando, a nos despues, le preguntaron a Einstein sobre las motivaciones que haba tenido
para formular la relatividad especial, respondi o que la aberraci
on y el experimento de
Fizeau le mostraron el camino, y que ellos dos fueron suficientes. Estas dos palabras de
Einstein son, seg un Pais, la declaracion m as crucial que Einstein jam
as hiciera acerca de
los orgenes de la teora de la relatividad[?].
2
puede pensar que la parte fuerte de la teora es su motivaci
on: que las leyes
electromagneticas sean validas para todos los observadores inerciales; y que
para darle cumplimiento a esa motivaci on es necesario averiguar cual es la
estructura verdadera del espaciotiempo. Este segundo punto de vista se sigue
en el apendice.
1.1 Corp
usculos y ondas
La optica moderna nacio en el siglo XVII, cuando los cientficos lograron
controlar, en el laboratorio, los fenomenos basicos de la luz. Animados por
el espritu experimental, estudiaron la propagacion rectilnea de un rayo de
luz, la descomposicion espectral, la polarizacion, difraccion e interferencia.
Esta fase inicial de la optica se dio dentro de un debate intenso respecto
a la naturaleza de la luz, ya que unos crean que la luz estaba compuesta
de corp usculos, mientras otros preferan pensar a la luz como un fenomeno
ondulatorio.
3
as a las exigencias de las placas de polarizacion.
Pero en los primeros a nos del XIX resurgio vigorosamente la idea ondu-
latoria, debido, en parte, a la gran precision, nunca antes vista, que se es-
taba logrando en los experimentos de interferencia y difraccion. A Young
se le ocurre una idea que habra de cambiar radicalmente el rumbo de la
optica: la polarizacion se entiende facilmente si las ondas de la luz no son
longitudinales, sino transversales. Fresnel toma esta idea y en poco tiempo
reconstruye toda la teora de interferencia, difraccion, refraccion y polar-
izacion a partir de ondas transversales. Renovada, la teora ondulatoria fue
capaz de explicar una gran variedad de fenomenos de interferencia y difrac-
cion, y tambien pudo hacer predicciones, como por ejemplo esta: Si un haz
de luz que ha pasado por un agujero bien peque no se dirige hacia un disco
opaco, como una moneda por ejemplo, entonces detras del disco, en el eje
optico, no todo es obscuridad, sino que en cierto lugar debera aparecer un
punto brillante; en la zona de la sombra debe aparecer un punto brillante.
Una prediccion de estas, tan puntual y precisa, no puede pasar desapercibida
a los rivales de la teora ondulatoria, entre los que se contaba Poisson. Este
matematico y fsico frances piensa que no puede haber un punto brillante
en la region de las sombras y que, por consiguiente, la prediccion debe estar
equivocada.
4
ta su teora ondulatoria a la Academia Francesa en 1815. Poisson se opone a
esta teora y, para atacarla, trae a cuento la prediccion del punto brillante en
la sombra de la moneda. Arago recibe la objecion de Poisson como un reto
y se dispone a montar un experimento para establecer si tal punto brillante
verdaderamente existe o no; y mostro a los academicos pasmados, en una
escena memorable de la historia de la fsica, el puntico brillante en medio de
la sombra. La teora ondulatoria fue acatada desde ese momento.
1.2 El
eter
Anotamos arriba que el sonido era bien conocido y se le entenda, correc-
tamente, como las vibraciones longitudinales de un medio material, bien
sea gaseoso, lquido o solido. Tambien apuntamos que los primeros opticos
partidarios de la teora ondulatoria trasladaron a la luz las propiedades cono-
cidas del sonido: la luz debe de ser una vibracion longitudinal. Pero, que es
lo que vibra en los fenomenos luminosos? Hoy por hoy se acepta que lo que
vibra es el campo electromagnetico, y que esta ondulacion puede darse en el
vaco, pero en la cultura de los siglos anteriores la idea del vaco era difcil
de aceptar. Que el espacio entre los astros pueda estar vaco era inadmisible,
porque los hombres tenan horror a la idea del vaco. Prefirieron pensar en
una substancia que rellena tal espacio, un medio a traves del cual viajan
los astros y la luz: estas son las caractersticas principales de lo que se ha
denominado2 el eter3 .
5
detectable en las observaciones astronomicas y, dado que los astronomos no
han notado el mas mnimo indicio de frenado, se concluye que el eter debe
ser un gas delgadsimo, muy sutil: cuando los astros viajan en el espacio no
lo notan, porque el eter se cuela a traves de ellos libremente, as como la
brisa fluye entre los arboles con poca o ninguna oposicion. Mientras la luz
sea ondas longitudinales, el eter como un gas sutil no esta mal; pero, tal co-
mo hemos mencionado, la teora ondulatoria paso de ondas longitudinales a
transversales y aqu hay un problema, ya que los gases no transmiten ondas
transversas. Para que el eter transmita las nuevas ondas transversas de la
luz, debe ser un solido. Y como la velocidad de la luz es tan alta, el solido
debe ser muy elastico y muy rgido. En conclusion, el eter luminfero es una
substancia que no atrae ni es atrada gravitacionalmente, inmovil, transpar-
ente, solida, rgida, elastica y se cuela entre los objetos moviles sin rozarlos.
6
tambien, que era isotropa u
nicamente respecto a O: se pensaba que para
los otros observadores inerciales la velocidad de la luz no poda ser isotropa.
Veamos esto.
c0 = c v (1.1)
Esta u
ltima es una ecuacion de segundo grado, y sus dos soluciones son
" r #
v v2
c = c cos 0
0
1 2 sen2 0
c c
" r #
v v2
c0 = c cos 0 + 1 2 sen2 0 (1.3)
c c
7
anisotropa. En O se cumplen las ecuaciones de Maxwell y por consiguiente
la velocidad de la luz es isotropa. En O0 la velocidad de la luz es anisotropa, o
sea que para ese observador no se deben cumplir las ecuaciones de Maxwell.
Hemos llegado a una idea importante: si la f ormula (1.1) es valida, las ecua-
ciones de Maxwell se cumplen u nicamente para un observador inercial. Este
observador es especial, privilegiado.
8
ara el mismo tiempo recorriendo los trayectos P AP y P BP , y se observara
interferencia constructiva en la pantalla. Pero la formula (1.3) afirma que c0
es anisotropa y, en consecuencia, el retardo t0P AP t0P BP tambien debe ser
anisotropo: esto significa que el grado de interferencia en la pantalla debe
depender de la orientacion que se le de al interfer
ometro.
" r #
v v2
c0 = c cos + 1 2 sen2
c c
" r #1
L v v2
t0P A = cos + 1 2 sen2
c c c
" r #1
L v v2
t0AP = + cos + 1 2 sen2
c c c
" r #1
L v v2
t0P B = + sen + 1 2 cos2
c c c
" r #1
L v v2
t0BP = sen + 1 2 cos2
c c c
"r r #
2L/c v2 v2
t0P AP t0P BP = 1 2 sen2 1 2 cos2 (1.4)
1 v 2 /c2 c c
9
Al mirar esta ecuacion, concentremos nuestra atencion en tres de las vari-
ables que en ella participan: t0P AP t0P BP corresponde al grado de interfer-
encia, es la orientaci
on que se le da al interfer
ometro y v es la velocidad de
la Tierra. Escogiendo un y midiendo el grado de interferencia, deberamos
ser capaces de deducir el valor de v. El problema es que el grado de inter-
ferencia no es una cantidad facil de medir. Por tal motivo, no es aconsejable
que se use un solo valor de , sino permitir que tome todos los valores
dentro de un rango continuo. En tal caso nos interesa tomar la derivada de
t0P AP t0P BP respecto a :
d 0
(t t0P BP ) =
d P AP
(Lv 2 /c3 ) sen 2 1 1 (1.5)
r + r
1 v /c2 2 2 2
v v
1 2 sen2 1 2 cos2
c c
r r
2 v2 v2
v 1 2 cos2 = v 2 1 sen2 (1.6)
c c2
La u
nica implicacion valida de (1.6) es v = 0. Esta conclusion dice que
10
la Tierra estara en reposo respecto al eter; la Tierra sera ese u
nico y priv-
ilegiado observador en el que se cumplen las ecuaciones de Maxwell, ese
observador en el que la velocidad de la luz es isotropa. Eso es increble.
1.4 La transformaci
on de Galileo
El siguiente conjunto de ecuaciones:
t0 = t
(1.7)
r0 = r v t
11
recibe el nombre de la transformaci on de Galileo 7 . Tomando una derivada
temporal se llega a la formula galileana para la adicion de velocidades:
u0 = u v , (1.8)
a0 = a (1.9)
Estas ecuaciones son tradicionales en la fsica clasica. Han tenido gran pres-
tigio por dos razones: primero, porque la ecuacion (1.8) es cercana a nuestra
intuicion, nos parece natural y razonable; y segundo, porque la teora de la
mecanica newtoniana es invariante bajo las transformaciones (1.7). Notese
de paso que haciendo u = c y u 0 = c 0 , la ecuacion (1.8) se convierte en
(1.1). Esto muestra que en el fondo de (1.1) esta (1.8); dado que queremos
abandonar (1.1), lo que verdaderamente queremos abandonar es la transfor-
macion de Galileo (1.8). La teora de la relatividad repudia la transformacion
de Galileo.
12
El sentido de este principio se puede entender con el siguiente ejemplo.
Supongamos que alguien apunta una linterna hacia el norte, la prende, y
un instante despues la apaga; de este modo se forma un pulso de luz que
viaja hacia el norte. La velocidad de este pulso es 300.000 km/s. Pensemos
en un observador inercial que tambien viaja hacia el norte en un cohete de
alta velocidad; si este observador mide la velocidad del pulso de luz, obtiene
300.000 km/s. Pensemos en otro observador inercial que viaja hacia el sur
en un cohete de alta velocidad; si este observador mide la velocidad del pul-
so de luz, obtiene 300.000 km/s. Pensemos a un en otro observador inercial
que viaja hacia el oriente; si mide la velocidad del pulso de luz, obtiene
300.000 km/s. Todos los observadores inerciales, los lentos, los veloces, los
que viajan en esta direccion, los que viajan en esa otra direccion, todos ellos
registran que la velocidad del pulso de luz es 300.000 km/s. Cualquiera que
sea el estado de movimiento del observador inercial, el siempre registra que
la velocidad del pulso es 300.000 km/s. Si el observador persigue al pulso
con intencion de darle alcance, nunca lo logra, porque el pulso se aleja con
velocidad 300.000 km/s. Y si el observador huye del pulso de luz, de nada
le vale viajar muy rapido porque el pulso siempre tendra velocidad 300.000
km/s.
13
Principio de la Relatividad: lo que ocurre para un observador inercial tam-
bien puede ocurrir para cualquier otro observador inercial. Las leyes de la
fsica son las mismas para todos los sistemas inerciales.
pa = pd (1.11)
Notese que las ecuaciones (1.11) y (1.12) tienen la misma forma. La ecuacion
que expresa la ley de conservaci on tiene la misma forma para todos los
observadores inerciales. Este ejemplo del choque de dos partculas nos ha
servido para ver la manera como se expresa, formalmente, el principio de
la relatividad: las ecuaciones que representan las leyes de la fsica tienen la
misma forma para todos los observadores inerciales.
14
tenemos una idea similar: si el sistema solar se trasladara en pleno al futuro
o al pasado, funcionara como funciona ahora, sin ninguna modificacion.
Las interacciones que se dan entre los objetos fsicos que pueblan el universo
hacen que en un lugar ocurran fenomenos diferentes de los que ocurren en
otro lugar: no es lo mismo pararse en la superficie de la Luna y pararse en
la superficie de la Tierra. La diferencia entre estos dos lugares no indica
que esos puntos del espacio sean inequivalentes; la diferencia proviene de las
interacciones que se dan entre los objetos fsicos que hay en el universo.
Ahora suponemos que en todo punto del espacio hay un reloj en reposo,
formandose as una gran red tridimensional, rgida e infinita. A esta gran
malla rgida de relojes se le llama observador. Si suponemos que todos los
relojes son igualmente construidos, podemos afirmar que marchan a la mis-
ma frecuencia. A pesar de que tengan la misma frecuencia, los relojes podran
estar descuadrados, es decir, podra ser que marquen horas diferentes por
haber comenzado a marchar en diferentes instantes. Es preciso sincronizar-
los. Para sincronizar dos relojes, el reloj uno enva un pulso de luz hacia el
reloj dos, y mide el tiempo t que tarda el pulso en ir y regresar. Supong-
15
amos que t = 6 minutos. Mas tarde, cuando en el reloj uno sean las 3:57
p.m., el reloj uno enva otra se
nal luminosa hacia el reloj dos con la siguiente
instruccion: en el instante en que reciba esta se
nal, cuadre las manecillas de
su reloj en la hora 4:00 p.m.. De esta manera se pueden sincronizar todos
los relojes de un observador inercial. En lo sucesivo, siempre que hablemos
de observador inercial, hemos de entender que sus relojes estan sincroniza-
dos.
16
estan inscritas. En la relatividad especial t es lo que marca un reloj.
17
las formulas de conexion para un evento particular, sino las formulas de
conexion para todos los eventos; en terminos matematicos, se debe recono-
cer que (t, x, y, z) y (t0 , x0 , y 0 , z 0 ) son variables algebraicas. Las coordenadas
primadas deben ser funciones de las no primadas:
t0 = t0 (v , t, x, y, z)
x0 = x0 (v , t, x, y, z)
(1.13)
y 0 = y 0 (v , t, x, y, z)
z 0 = z 0 (v , t, x, y, z)
Bx By Bz
+ + = 0
x y z
Debemos ser capaces de pasar de una ecuacion a la otra: que las dos ecua-
ciones sean equivalentes. Para que se pueda ejecutar la conversi on de una
de las ecuaciones en la otra, la teora de la relatividad debe suministrar:
1) La formula que permita averiguar las variables (Ex0 , Ey0 , Ez0 , Bx0 , By0 , Bz0 )
cuando se conocen las (Ex , Ey , Ez , Bx , By , Bz ) (a esa formula se le dice la
transformacion del campo electromagnetico, y la deduciremos en el captu-
lo 4).
18
2) La formula que permita averiguar las variables , , cuan-
x0 y 0 z 0
do se conocen las , , . Mas precisamente, la formula que permite
x y z
averiguar las variables (t0 , x0 , y 0 , z 0 ) cuando se conocen las (t, x, y, z); esta
formula se llama la transformacion verdadera de las coordenadas, y la de-
duciremos enseguida.
Metodo a): Acudir a las ecuaciones que expresan las leyes de la fsica y
averiguar la transformacion de coordenadas que las deja invariantes (esta
ruta se explora en el apendice).
v
t 2 x
t0 = p c
1 v 2 /c2
x vt
x0 = p (1.14)
1 v 2 /c2
y0 = y
z0 = z
19
Einstein dedujo estas transformaciones en su celebre artculo [2] de 1905
en el que funda la relatividad especial. Ellas son quiza las ecuaciones mas
importantes de la fsica del siglo XX, y se conocen como las transforma-
ciones de Lorentz. El origen de este nombre es curioso, porque las ecuaciones
(1.14) ya haban sido obtenidas, usando el metodo a), por Hendrik Antoon
Lorentz [4] unos meses antes, cuando el holandes probo la covariancia de los
campos electrico y magnetico bajo la transformacion (1.14) (sin embargo,
por un error de calculo, solo pudo probar la covariancia hasta primer orden
en v/c). Einstein, que no conoca este trabajo de Lorentz, dedujo indepen-
dientemente las transformaciones (1.14). Lorentz no le dio al t0 de estas
ecuaciones la importancia que luego habra de lograr en la relatividad; en
efecto, Lorentz pensaba en 1904 que mientras t es el tiempo verdadero, la
variable t0 era simplemente una cantidad auxiliar.
x0 x0 x0 x0
x0 = t + x + y + z,
t x y z
pero t = y = z = 0, entonces
x0
x0 = x (1.15)
x
20
valor x0 debe ser igual en todas las regiones del espacio, o sea que x0 /x
debe ser independiente de x, y, z. As mismo, la homogeneidad del tiem-
po dice que x0 debe ser igual en todas las epocas, o sea que x0 /x es
independiente del tiempo. En conclusion, la derivada x0 /x es una con-
stante. Consideraciones parecidas, invocando la homogeneidad del espacio
y del tiempo, nos llevan a afirmar que x0 /t, x0 /y, x0 /z son tambien
constantes. La segunda funcion (1.13) debe ser:
con a10 , a11 , a12 , a13 constantes. Se puede repetir este razonamiento para
las otras tres funciones de (1.13), con resultados similares a (1.16):
{y = z = 0} {y 0 = z 0 = 0}
z=0 z0 = 0
21
De aqu se deduce que a32 = 0. Un razonamiento similar (con el plano xz)
nos lleva a que a23 = 0 .
y0 = y , z0 = z (1.21)
22
a00 > 0 (1.23)
a12 Y + a13 Z = 0
Como esta ultima ecuacion debe cumplirse para todos los (arbitrarios) val-
ores de Y y de Z, entonces a12 = a13 = 0. Con este resultado regresamos a
(1.24) para escribir
Demostraremos enseguida que a11 debe ser positiva. Para tal efecto consid-
eremos aquellos eventos que estan a la derecha del origen de O0 ; esos eventos
cumplen las condiciones x0 > 0 y x > vt. En otras palabras, x > vt x0 > 0.
Al poner esto en (1.26) encontramos:
23
t0 = a00 t + a01 x
x0 = a11 (x vt)
(1.28)
y0 = y
z0 = z
c2 t2 (x2 + y 2 + z 2 ) = 0 (1.29)
2 2 2 2
c2 t0 (x0 + y 0 + z 0 ) = 0 (1.30)
24
Usar ahora las cuatro ecuaciones (1.28) en (1.30) para que (1.30) quede en
terminos de cantidades no primadas:
c2 a200 v 2 a211 = c2
a211 c2 a201 = 1
c2 a00 a01 + va211 = 0
Este es un sistema de tres ecuaciones para las tres incognitas a00 , a01 , a211 .
Hay dos soluciones:
Primera soluci
on:
1 v/c2 1
a211 = , a01 = p , a00 = p
1 v 2 /c2 1 v 2 /c2 1 v 2 /c2
Segunda soluci
on:
1 v/c2 1
a211 = , a01 = p , a00 = p
1 v 2 /c2 1 v 2 /c2 1 v 2 /c2
1 v/c2
a11 = a00 = p , a01 = p
1 v / c2 1 v / c2
p
He aqu el factor 1/ 1 v 2 /c2 , que aparece innumerables veces en la rela-
tividad. Tradicionalmente se le conoce como :
25
1
= p (1.32)
1 v 2 /c2
Los tres coeficientes son, entonces, a11 = a00 = , a01 = v/c2 y el resul-
tado final de las transformaciones queda:
v
t0 = (t x)
c2
x0 = (x vt) (1.33)
y0 = y , z0 = z
Estas son las transformaciones de Lorentz. Las hemos presentado como una
consecuencia directa de los tres postulados de la relatividad, y en este sentido
ellas son del ambito de la fsica teorica. Lo importante es que ellas tambien
son del ambito de la fsica experimental: innumerables experimentos real-
izados durante el siglo XX han confirmado, una y otra vez, y sin ninguna
excepcion, que las transformaciones de Lorentz son buenas.
v 0
t = (t0 + x)
c2
x = (x0 + vt0 ) (1.34)
y = y0 , z = z0
26
1
t0 = (t 2 v r)
c (1.35)
0 1
r =r+ v r t v
v2
1
t = (t0 + 2 v r0 )
c (1.36)
0 1 0 0
r=r + v r + t v
v2
v
t0 = (t x) (1.37)
c2
x0 = (x vt) (1.38)
v
t = (t0 + x0 ) (1.39)
c2
x = (x0 + vt0 ) (1.40)
1
t0 = (t 2 v r) (1.41)
c
0 1
r = r + v r t v (1.42)
v2
t0 x0 t0 v
= = , = 2,
t x x c
(1.43)
x0 y 0 z 0
= v, = =1
t y z
27
t0 x0 y 0 z 0
= 0
+ 0
+ 0
+ ,
t t t t x t y t z 0
= 0 v 0 ,
t t x
t = t0 v x0
v
x = x0 2 t0 (1.44)
c
y = y0 z = z 0
c c'
q q' Luz
a
v
28
y
x y'
z
x'
z'
29
30
Captulo 2
Supongamos que para O la separacion entre los dos eventos es puramente es-
pacial, es decir, t = 0; las ecuaciones (1.41) y (1.42) muestran que para O0
los dos eventos tienen separaciones espacial y temporal. As mismo, supong-
amos que para O la separacion entre los dos eventos es puramente temporal,
es decir, r = 0; las ecuaciones (1.41) y (1.42) muestran que para O0 los dos
eventos tienen separaciones espacial y temporal. Vemos as que el espacio
y el tiempo no son independientes uno del otro. Cada observador inercial
puede establecer un corte, un lindero, entre su espacio y su tiempo, pero el
1
Estamos mencionando cuatro relojes: los dos relojes de O marcan t y t + t, y los dos
relojes de O0 marcan t0 y t0 + t0 .
31
lindero que establece O es diferente al que establece O0 .
2
c2 (t0 )2 = 2 c2 (t)2 + (v r)2 2 2 t(v r)
c2
2
(r0 )2 = (r)2 (v r)2 + 2 2 t(v r) 2 v 2 (t)2
c2
32
c2 (t0 )2 (r0 )2 = c2 (t)2 (r)2 (2.2)
Es decir,
s02 = s2 (2.3)
r
v = (2.5)
t
33
Para verificar que esto es cierto, notemos que al colocar el valor v = r/t
en (1.42) se obtiene r0 = 0.
b) Existe acaso un observador inercial O0 para el cual los dos eventos son
simultaneos? Respondamos esta pregunta averiguando la velocidad v que
debera tener O0 . Al imponer la condicion t0 = 0 en (1.41) se obtiene
r
v = c2 (2.6)
t
Sin embargo, la combinacion de (2.4) y (2.6) implica que v tendra que ser
mayor que c, lo que es imposible (ver la frase en bastardilla en la pagina
17). En conclusion: si dos eventos tienen intervalo temporaloide, ning un
observador registra que son simult
aneos.
r
v = c2
t
1
r + v r t v = 0
v2
34
r 1 r
= v v (2.8)
t v2 t
r r 2
v = ( 1) v v
t t
r
0 = v + v2 (2.9)
t
r
|v| = (2.10)
t
a) Existe acaso un observador inercial O0 para el cual los dos eventos son
simultaneos? Respondamos esta pregunta averiguando la velocidad v que
debera tener O0 . Al imponer la condicion t0 = 0 en (1.41) se obtiene (2.6).
Sin embargo, la combinacion de (2.6) y (2.11) implica que v tendra que
mayor que c, lo que es imposible.
35
b) Existe un observador inercial O0 para el cual los dos eventos ocurren
en el mismo punto r0 ? Al imponer la condicion r0 = 0 en (1.42) se obtiene
la ecuacion (2.10). El problema es que la combinaci on de (2.10) y (2.11)
implica que v tendra que ser igual c, lo que es imposible.
t0 = v r (2.12)
c2
El observador O dice que todos sus relojes (los no primados) estan de acuer-
do, es decir, estan sincronizados; el observador O0 tambien dice que todos
sus relojes (los primados) estan sincronizados. Pero O registra que los relo-
jes de O0 estan desincronizados, y O0 registra que los relojes de O estan
desincronizados.
36
2.5 Tiempo propio
Al estudiar los intervalos temporaloides vimos que la separacion espacial
aparece nula para aquel observador O0 que tiene una velocidad dada por
(2.5). Veamos ahora cual es la separacion temporal t0 que registra ese
observador O0 . Utilizando el resultado (2.5) en (1.41) se obtiene t0 =
1
(t 2 v v t) = (1 v 2 /c2 )t. Este t0 se llama tiempo propio y
c
se denota por medio del smbolo . En conclusion:
r0 = 0 (2.13)
p
= t 1 v 2 /c2 (2.14)
< t (2.15)
37
Medici on de . Supongamos que los relojes se construyen con dos espejos
paralelos separados una distancia , y un pulso de luz que se refleja una y
otra vez en los espejos, como muestra la Figura 2.1. En cada tripunto de
O0 se encuentra, fijo, un reloj de estos. De acuerdo con O0 , el tiempo que el
pulso de luz tarda en regresar a uno de los espejos es
2
t0 =
c
Suponemos que este reloj tiene sus espejos paralelos al plano z 0 x0 . Para O
el viaje del pulso de luz es como en qla lnea punteada de la Figura 2.2; el
1 2
recorrido total es dos hipotenusas: 2 2 + 2 vt , o sea que t viene dado
por:
q 2
2 2 + 12 vt
t =
c
2 2
c
(t)2 =
1 v 2 /c2
t0
t = p
1 v 2 /c2
Los dos eventos (salida y regreso del pulso) se registran de manera difer-
ente por los dos observadores. Para O los dos eventos ocurren en puntos
diferentes, o sea que los registran relojes diferentes. Para O0 los dos eventos
ocurren en el mismo punto, o sea que los registra el mismo reloj: tiempo
propio.
38
acompa na en todo instante: el tiempo que marca este reloj es . Observese
que este tiempo propio lo mide un solo reloj. Hay un sistema coordenado
inercial para el cual la partcula esta siempre en reposo; en estas coordenadas
el intervalo entre dos puntos de la trayectoria es puro tiempo, y es c2 2 .
Llegamos as a una formula de gran utilidad en el estudio de las trayectorias
de las partculas libres:
ds2 = c2 d 2 , (2.16)
na a la partcula2 .
siendo el tiempo que marca un reloj que acompa
El foton viaja con velocidad c, y por esta razon los eventos de su trayec-
toria tienen intervalos luminoides, para los cuales no se aplica el concepto
de tiempo propio: el concepto de tiempo propio no se aplica a partculas de
masa cero.
39
tiempo de vida media en terminos absolutos, no relativos. Se ha convenido
en que el tiempo que tarda una poblacion en reducirse a la mitad, aprox-
imadamente significa lo siguiente: el que registra un observador en reposo
respecto a las partculas. Veamos por ejemplo los piones no neutros, que el
99.98770 % de las veces se desintegran as:
+ +
con
= 2.6 108 s : Vida media
2.6 108 s
t = p = = 18.43 108 s
2
1 v /c2 1 0.99 2
v t0 = 7.72 m : Galileo,
40
2.6 Longitud propia
Para medir fotograficamente la longitud de un avi on volando se debe tener
en cuenta que el diafragma de la camara fotografica se abra por muy poco
tiempo; porque si se abre durante mucho tiempo, la fotografa queda corrida
o borrosa, y no sirve: en general, para medir la longitud de un objeto se
deben registrar los dos extremos simult aneamente. En el caso especial en
que el avion esta en reposo, los registros de los dos extremos no tienen que
ser simultaneos. Supongamos pues que el avi on esta en reposo en O0 , y
llamemos L0 = |r0 | a su longitud para O0 . Esta L0 recibe el nombre de
longitud propia. La ecuacion (2.2) se escribe:
2
1
2 2
c t 2 v r L20 = c2 (t)2 (r)2
c
2
2 2 1
c v L L20 = L2
c2
O sea que
2
L20 = L2 + 2
(v L)2 (2.18)
c
Esta formula sirve en general, cualquiera que sea el angulo formado por
el avion L y la velocidad de separacion v . La estudiaremos en dos casos:
cuando L y v son perpendiculares, y cuando L y v son paralelos. Si son
perpendiculares, se cumple la ecuacion v L = 0 y en consecuencia L = L0 :
las longitudes perpendiculares a v no sufren ning un cambio. De otro lado,
si L y v son paralelos, la formula (2.18) da
41
p
L0 = L/ 1 v 2 /c2 (2.19)
> L (2.20)
42
Densidad propia. Consideremos una nube de partculas. El observador
O registra que en un punto r y en un instante t la velocidad de la nube es
u. Pensemos en un peque no volumen V alrededor de r, que en el instante t
tiene la misma velocidad u: claramente este volumen V est a acompa nando
a las partculas. Si dentro de V hay n partculas, entonces la densidad de
partculas por unidad de volumen es n/V. Y si cada partcula tiene una carga
electrica q, entonces para el observador O la densidad de carga por unidad
de volumen es
nq
(r, t) = (2.22)
V
nq
0 (r, t) = (2.23)
V0
0
= q (2.24)
1 u2 /c2
nq
= q (2.25)
V0 1 u2 /c2
43
2.7 Comparaci
on de longitud propia y tiempo pro-
pio
Hemos dicho que el concepto de tiempo propio solo se aplica a intervalos
temporaloides. De la misma manera, el concepto de longitud propia solo se
aplica a intervalos espacialoides. Vemos as que estos dos conceptos son esen-
cialmente diferentes y nunca se aplican al mismo intervalo. Hay sin embargo
cierto parecido formal entre ellos, como veremos en seguida. La ecuacion
fundamental es la invariancia del intervalo (2.2):
v
(t0B t0A ) + 2 (x0B x0A )
tB tA = p c
1 v 2 /c2
5
A y B no son eventos, sino puntos en el espacio tridimensional.
44
Ahora, es claro que t0B = t0A , o sea que
v 0
2
(xB x0A )
tB tA c
= p 6= 0
1 v 2 /c2
2.9 La adici
on de velocidades
Consideremos un punto movil, que tiene velocidad u respecto a O, y tiene
velocidad u0 respecto a O0 . De acuerdo con la fsica galileana (1.7) se tiene:
u = u0 + v (2.27)
vu0x
dt = 1 + 2 dt0
c
1 1 1
= 0 (2.28)
dt vu dt0
1 + 2x
c
45
Repitamos el proceso
0 parala coordenada x. La ecuacion (1.40) es dx =
0 0 dx
(dx + vdt ) = + v dt0 :
dt0
Ahora multiplicar lado a lado las ecuaciones (2.28) y (2.29) para obtener
u0x + v
ux = (2.30)
vu0
1 + 2x
c
Observaciones:
u0x + v vu02 2
x /c ,
es decir:
u02
x
ux u0x + 1 2 v,
c
46
y haciendo n = c/u0x :
1
ux u0x + 1 2 v (2.31)
n
Esta es la celebre formula que Fresnel derivo en 1818, cuando estaba inves-
tigando la velocidad de la luz en medios moviles. Ya habamos mencionado
esta ecuacion en la pagina 6.
1
uy = dy 0
dt
u0x + v
ux = (2.32)
vu0
1 + 2x
p c
1 v 2 /c2 0
uy = uy (2.33)
vu0x
1+ 2
c
47
p
1 v 2 /c2 0
uz = uz (2.34)
vu0x
1+ 2
c
Estas tres formulas son complicadas, y cuando rastreamos los pasos que con-
dujeron a ellas, nos damos cuenta de que (2.32) es mas complicada que (2.33)
y (2.34). Para ver esto anotemos que (2.33) es complicada u nicamente por
la transformacion temporal (2.28). En cambio (2.32) es complicada, no solo
por la transformacion temporal (2.28), sino ademas por la transformacion
espacial (2.29).
ux v
u0x = vux (2.35)
1 2
p c
1 v 2 /c2
u0y = vux uy (2.36)
1 2
p c
1 v 2 /c2
u0z = vux uz (2.37)
1 2
c
u0k + v
uk = (2.39)
v u0
1+ 2
p c
1 v 2 /c2 0
u = u (2.40)
v u0
1+ 2
c
48
2.10 La adici
on de aceleraciones
Tomar diferenciales en ambos lados de la ecuacion (2.39):
v u0 v du0
1+ 2 du0k (u0k + v) 2
c c 1 v 2 /c2 0
duk = 0
2 = 0
2 duk
v u v u
1+ 2 1+ 2
c c
0
duk (1 v 2 /c2 )3/2 duk
= ,
dt v u0 3 dt0
1+ 2
c
es decir:
(1 v 2 /c2 )3/2 0
ak = ak (2.41)
v u0 3
1+ 2
c
p
1 v 2 /c2 v u0 0 0 v du
0
du = 1+ 2 du u
v u0 2 c c2
1+ 2
c
1 v 2 /c2 0 1 0 0 0 0
a = a+ 2 v u av a u (2.42)
v u0 3 c
1+ 2
c
49
v u0 a0 v a0 u0 = v u0 (a0 a0 k ) v a0 (u0 u0 k )
= v u0 a0 v a0 u0 + v a0 u0 k v u0 a0 k
El lado derecho de esta ecuacion tiene cuatro terminos. Los dos primeros6
suman v (a0 u0 ) y los dos u
ltimos suman7 cero; entonces:
v u0 a0 v a0 u0 = v (a0 u0 ),
y (2.42) queda:
1 v 2 /c2 0 1 0 0
a = a + 2 v (a u ) (2.43)
v u0 3 c
1+ 2
c
2.11 Gr
aficos
Ahora estudiaremos el metodo grafico de Minkowski [10]. Consideramos pun-
tos que se mueven u nicamente en el eje x. Las coordenadas x y t tienen
dimensiones de metro y segundo, respectivamente. Conviene usar variables
de espacio y tiempo que tengan las mismas dimensiones, y por eso vamos
a usar la variable ct en vez de t. La variable ct significa tiempo, pero con
dimensiones de longitud. Las transformaciones de Lorentz (1.33) toman una
forma simetrica entre x y ct:
v
x ct
x0 = p c (2.44)
1 v 2 /c2
v
ct x
(ct)0 = p c , (2.45)
1 v 2 /c2
o las inversas:
6
Recordar la identidad A (B C) = A C B A B C
7
Como u0 k y a0 k apuntan en la direcci
on de v , es claro que v a0 u0 k v u0 a0 k es un
on de v . La magnitud de este vector es va0k u0k vu0k a0k = 0.
vector en direcci
50
v
x0 + (ct)0
x= p c
1 v 2 /c2
v (2.46)
(ct)0 + x0
ct = p c
1 v /c2
2
c
pend = (2.47)
u
51
una partcula es una lnea en el mundo. Es el quien introduce en la fsica las
palabras luminoide, espacialoide, temporaloide y cono de la luz. La vision
geometrica de Minkowski esta llena de contenido conceptual, aunque no
siempre se aprecio as. El mismo Einstein tardo a
nos en reconocer su impor-
tancia. En un principio considero que el trabajo de Minkowski era redun-
dante y careca de profundidad; finalmente, en 1912, llego al convencimiento
de que la relatividad general deba ser planteada en terminos geometricos,
y pudo apreciar el trabajo de su antiguo profesor.
Las senales energeticas son partculas, bien sea de masa cero como el foton,
o de masa diferente de cero; sus trayectorias tienen |pend| 1, de donde
concluimos que las trayectorias de las se nales energeticas que pasan por un
evento E1 estan completamente dentro del cono de la luz de E1 . Einstein
pensaba que si un suceso (que ocurre en el evento E1 ) es causa eficiente de
otro suceso (que ocurre en el evento E2 ,) es porque hay una se nal energetica
que va desde E1 hasta E2 . Como esta se nal esta dentro del cono de la luz de
E1 , es claro que tambien E2 tiene que estar dentro del cono de la luz de E1 .
En conclusion: Lo que ocurre dentro del cono de la luz de E1 puede tener
una conexion causal con lo que ocurre en E1 . Lo que ocurre en la region del
futuro puede ser efecto de lo que ocurre en E1 . Lo que ocurre en la region
del pasado puede ser causa de lo que ocurre en E1 . Lo que ocurre en la
region del futuro puede ser efecto de lo que ocurre en la region del pasado.
La causalidad einsteiniana es una conexion entre el pasado y el futuro8 .
8
Bohr pensaba que la causalidad einsteiniana no es la u nica posible; el admita la
posibilidad de que hubiera tambien unas correlaciones cu anticas que no est
an mediadas por
se
nales energeticas. El danes crea que dos sucesos en E1 y E2 pueden estar correlacionados
sin necesidad de una se nal energetica que viaje desde un evento hasta el otro. Bohr y
Einstein tenan que chocar, y as lo hicieron en un debate que dur o treinta a
nos.
52
Clases de intervalos: Supongamos dos eventos cuyo intervalo es tem-
poraloide. Trazamos una recta que pase por los dos eventos; entonces, de
acuerdo con la desigualdad (2.4), esta recta tiene |pend| > 1. As mismo,
utilizando las formulas (2.7) y (2.11) llegamos a que la recta que une dos
eventos con intervalo espacialoide tiene |pend| < 1, y la recta que une dos
eventos con intervalo luminoide tiene |pend| = 1.
2.12 M
as gr
aficos
Ya que hemos construido los ejes ct y x del mundo de O, procedemos a
dibujar los ejes ct0 y x0 del mundo de O0 : queremos trazar los ejes (ct0 , x0 )
en el plano (ct, x). Es claro que la condicion x0 = 0 identifica al eje ct0 ;
haciendo x0 = 0 en (2.44) encontramos:
c
ct = x, (2.49)
v
que es una lnea recta con pendiente c/v > 1. Vemos as que el eje ct0 se
representa por medio de una recta que pasa por el origen, y que hace con
el eje ct un angulo <45o . El eje x0 se caracteriza por la condicion t0 = 0;
haciendo t0 = 0 en (2.45) se llega a
v
ct = x (2.50)
c
Esta es la ecuacion del eje x0 . El eje x0 es una recta de pendiente v/c < 1,
o sea que hace con el eje x un angulo <45o . La Figura 2.7 muestra los ejes
(ct0 , x0 ) dibujados en el plano (ct, x), para una velocidad v/c = 3/8.
53
cuyas coordenadas primadas son (0, 1). Para ubicar este evento en el plano
no primado, es preciso averiguar las coordenadas no primadas de P , lo que
se hace colocando los valores ct0 = 0 y x0 = 1 en las ecuaciones (2.46); de
esta manera se llega a que las coordenadas no primadas de P son (v/c, ).
Marcamos el evento P y luego, con una regla graduada, medimos la distan-
cia de P al origen; replicando esa distancia sobre el eje x0 se ubica la marca
2; replicando de nuevo se ubica la marca 3, etc. Ya tenemos calibrado el eje
x0 .
54
longitud de la varilla, el observador O registra los dos extremos simult
anea-
mente y obtiene una longitud menor que 2.
De igual modo, la Figura 2.13 muestra, en trazo grueso, una varilla en reposo
en O; seg un este observador, ella mide 2 metros. Las lneas punteadas son
las lneas en el mundo de sus extremos. Para medir la longitud de la varilla,
el observador O0 registra los dos extremos simult aneamente y obtiene una
longitud menor que 2.
55
v) cuyo eje ct0 pasa por T , o sea que para este O0 el evento T y A ocurren
en el mismo lugar. Todos los otros observadores con velocidad < v registran
que T esta a la derecha de A, y todos los observadores con velocidad > v
registran que T esta a la izquierda de A. Aprendemos as algo interesante:
cualquier evento que este dentro del cono de la luz aparece a la derecha para
unos observadores y a la izquierda para otros observadores. O sea que para
estos eventos la relacion izquierda-derecha no es absoluta, sino relativa.
Los nombres izquierda, derecha, pasado y futuro que les hemos dado a las
cuatro regiones, son adecuados: los eventos de estas regiones estan, respecto
al vertice del cono, absolutamente a la izquierda, absolutamente a la derecha,
absolutamente en el pasado y absolutamente en el futuro.
56
d
ct
A B
x
57
T
L
Futuro E
Izquierda Derecha A
E1
Pasado
ct ct
ct'
ct'
4
3
3
2 x'
x'
v/c
2
arctan
3
1
1 2
1 x
c
arctan v/ x
1 2 3 4
58
ct
ct'
x'
2
1
2
1 x
x'
C 2
A B x
2
59
ct
ct'
x'
x'
2
2
2
x
2
ct
ct
ct'
ct'
2 2
x
x x'
60
Captulo 3
Mec
anica
1
Cuando decimos mec anica newtoniana nos referimos, no s olo a la mec
anica que New-
ton formulo, sino adem
as a los aportes que los fsicos hicieron en los dos siglos siguientes:
las formulaciones lagrangiana y hamiltoniana, las aplicaciones a los cuerpos celestes, etc.
61
El nuevo concepto de masa conduce a uno de los hallazgos mas importantes
de la relatividad, que es la asociacion masa-energa, expresada en la ecuacion
E = mc2 . Esta formula dice que el contenido de masa de un objeto es una
medida de su energa total. La seccion 3.4 trae una discusion de este asunto y
luego, en la seccion 3.5 mostramos que una partcula masiva no puede llegar
a tener la velocidad c. La seccion 3.9 trata, como un caso particularmente
interesante, el movimiento circular.
3.1 La conservaci
on del momentum
Nos proponemos estudiar [6] la colision elastica de dos partculas de igual
masa. La Figura 3.1 muestra el choque seg un lo registra un observador O
que esta en reposo respecto al centro de masa. La partcula A va de derecha
a izquierda y la partcula B de izquierda a derecha. La figura incluye las
cantidades positivas ux y uy , que tienen el siguiente significado: La partcu-
la B tiene una velocidad horizontal ux hacia la derecha en todo instante;
pero su velocidad vertical es uy hacia abajo antes del choque, y es uy hacia
arriba despues. En forma similar, la velocidad horizontal de A es ux hacia
la izquierda en todo instante; y su velocidad vertical pasa de ser uy hacia
arriba antes del choque, a ser uy hacia abajo despues.
Con una mirada a la Figura nos damos cuenta de que, para el observador
O, el momentum total es cero. Lo que mas nos interesa por el momento es
que el momentum total se conserva: el momentum ganado por la partcula
B es igual al perdido por A . De hecho, las cantidades escritas en la Figura
fueron expresamente definidas para que, en O, se cumpla la ley de la conser-
vacion del momentum. Ahora, por el Principio de la Relatividad, queremos
que la ley de la conservaci
on del momentum tambien se cumpla en los otros
observadores inerciales. Nos proponemos analizar la colision de estas dos
partculas desde el punto de vista de otro observador inercial O0 que se
mueve, respecto a O, con una velocidad v hacia la derecha: vamos a exigir
que en O0 se cumpla la ley de la conservaci
on del momentum.
62
mos con una propuesta bien general; digamos que si una partcula tiene
velocidad u , entonces su momentum es m(u)u , donde m(u) es una funcion
desconocida de la magnitud de la velocidad u . Vamos a exigir que la ley
de la conservacion del momentum se cumpla en todos los observadores in-
erciales. Veremos que esta exigencia es suficiente para averiguar la funcion
desconocida m(u) .
q q
0 0
m u0Ax
2 + u0 2
Ay u Ay = m u0 2 + u0 2
Bx By uBy (3.1)
En este momento debemos expresar las cuatro variables u0Ax , u0Ay , u0Bx y u0By
en terminos de las cantidades nos primadas ux , uy y v, y esto se hace con
las formulas de la adicion relativista de velocidades. Tengase en cuenta que
las ecuaciones (2.35) y (2.36) no pueden usarse directamente, porque hay
una confusion en la notacion: en las formulas (2.35) y (2.36) las ux , uy son
variables algebraicas (que pueden tomar valores positivos o negativos), en
cambio en la presente seccion las ux , uy , u0Ax , u0By , ... son cantidades positivas.
Con esta advertencia en mente procedemos a usar, para la partcula B, las
ecuaciones (2.35) y (2.36):
ux v
u0Bx = vux
1 2
p c
1 v 2 /c2
u0By = vux uy
1 2
c
63
ux v
u0Ax =
v(ux )
1
p c2
1 v 2 /c2
u0Ay = u
v(ux ) y
1
c2
q
(ux + v)2 + (1 v 2 /c2 )u2y
m vux
1+ 2
c
q vux
(ux v)2 + (1 v 2 /c2 )u2y 1+ 2
= m c
vux vux
1 2 1 2
c c
vux
|u + v| |u v| 1+ 2
m
x = m x c
vux vux vux
1+ 2 1 2 1 2
c c c
2v 1 + v 2 /c2
m = m(0)
1 + v 2 /c2 1 v 2 /c2
m(0)
= s 2
2v/c
1
1 + v 2 /c2
m0
m(u) = q (3.2)
1 u2 /c2
64
Esta es la ecuacion mas importante de la mecanica en la teora especial de
la relatividad. La masa de una partcula no es una constante, sino que es
funcion de la velocidad u de la partcula; he aqu una modificacion esencial
en el concepto de masa.
q q
m (ux + v)2 + u2y =m (ux v)2 + u2y
p = mu (3.3)
m0 u
= q (3.4)
1 u2 /c2
dp
F = (3.5)
dt
65
Z Z Z Z
dp dr
Trabajo = F dr = dr = dp = d(mu) u ,
dt dt
o sea que
Z
Trabajo = (m du u + dm u2 ) (3.6)
u du
2m dm 2m dm u2 /c2 2m2 = 0,
c2
de donde:
m u du + dm u2 = c2 dm
Z
2
Trabajo = c dm (3.7)
Z m
K = c2 dm
m0
K = mc2 m0 c2 (3.8)
66
De la ecuacion (3.8) se sigue que
K + m0 c2 = mc2 (3.9)
E = m0 c2 + K (3.10)
= mc2 (3.11)
Por que llamar energa a la cantidad mc2 ? A primera vista parece apresura-
do llamar energa a una cantidad recien encontrada; ya tendremos ocasion
de justificar este nombre en la seccion 3.3.
m0 c2
E=q (3.12)
1 u2 /c2
m20 c2
u2 /c2 = 1 (3.13)
m20 c2 + p2
67
Para expresar u en terminos de E, podemos elevar al cuadrado cada uno de
los lados de la ecuacion (3.12), y despejar u2 /c2 :
m20 c4
u2 /c2 = 1 (3.14)
E2
E 2 = m20 c4 + p2 c2 (3.15)
En forma similar se encuentran todas las conexiones entre las cuatro vari-
ables:
p m0 c2
E = m0 c2 + K = (m0 c2 )2 + p2 c2 = p
1 u2 /c2
p m0 c2
K = E m0 c2 = (m0 c2 )2 + p2 c2 m0 c2 = p m0 c2
1 u2 /c2
1p 2 1p m0 u
p = E (m0 c2 )2 = (m0 c2 + K)2 (m0 c2 )2 = p
c c 1 u2 /c2
s s
2 2
m0 c2 K c
u = c 1 =c 1 1+ 2
=s
E m0 c m0 c 2
1+
p
p
Bajas velocidades: El factor 1/ 1 u2 /c2 se puede expandir usando la
formula del binomio de Newton:
68
12
p 1 u2 1 u2 3 u4
1/ 1 u2 /c2 = r = 1 2 = 1+ + +
u2 c 2 c2 8 c4
1
c2
1
K m0 u2
2
u2
m m0 1 + 2 m0
2c
u2
p m0 u 1 + 2 m0 u
2c
2 u2
E m0 c 1+ 2 m0 c2
2c
Estudiemos [6] la colision de dos objetos que tienen la misma masa en reposo
m0 . Pensemos que uno de los objetos es una piedra y el otro es de alg un ma-
terial blando como barro; los objetos se escogen as para que la colision sea
completamente inelastica seg un un observador O que esta en reposo respec-
to al centro de masa. La Figura 3.7 muestra, seg un O, las situaciones antes
y despues del choque: los dos cuerpos, llamados A y B, tienen velocidad u
69
antes del choque. Como resultado del choque queda, al final, un solo cuerpo,
en reposo, cuya masa en reposo es M0 . Notese que como este cuerpo final
queda en reposo para O, este observador registra que la energa cinetica se
ha perdido por completo: para O la colision es completamente inelastica.
m0 u0
mu0 = q ,
2
1 u0 /c2
un O0 :
y el momentum despues, tambien seg
M0 u
Mu = q
1 u2 /c2
M0 u m u0
q = q 0
2
1 u2 /c2 1 u0 /c2
q
u0 1 u2 /c2
M0 = m0 q (3.17)
u 2
1 u0 /c2
(u) u
(u0 ) = , de donde
u(u)
1
c2
70
2u
u0 =
1 + u2 /c2
2m0
M0 = q (3.18)
1 u2 /c2
1
M0 2m0 = 2m0 q 1 (3.19)
2 2
1 u /c
u u 0
u00A = u ; u00B = u ; U 00 = = (3.20)
1 2 1+ 2 10
c c
00 00 00
Kantes = KA + KB
= (m00A c2 m0 c2 ) + (m00B c2 m0 c2 )
m0 c2 m0 c2
= q m0 c2 + q m0 c2
00 2 2 00 2 2
1 uA /c 1 uB /c
71
2 1
00
Kdespu 00 2 2
es = M c M0 c = M0 c q 1
00 2 2
1U /c
2 1
00
Kdespu 00
es Kantes = M0 c q 1
1 U 00 2 /c2
(3.21)
m0 c2 m0 c2
q m0 c2 q m0 c2
00 2 2 00 2 2
1 uA /c 1 uB /c
1
Kdespues Kantes = 2m0 c2 q 1 (3.22)
2 2
1 u /c
1
(M0 2m0 ) c2 = 2m0 c2 q 1 (3.23)
2 2
1 u /c
72
Escribamos la u
ltima ecuacion sugestivamente:
X
(m0,i c2 + Ki ) (3.25)
i
3.4 E = mc2
La palabra inercia se usa para denotar aquella oposicion que presentan los
cuerpos cuando se intenta acelerarlos. De una manera grafica podemos de-
cir que la inercia de un cuerpo corresponde a la presion que sentimos en
las manos cuando lo empujamos; al empujar una naranja o un camion sen-
timos muy diferentes grados de presion en nuestras manos, y decimos en
consecuencia que el camion tiene mas inercia que una naranja. Siguiendo
una tradicion de muchos siglos, la cantidad fsica asociada a la inercia de un
cuerpo es la masa.
73
en reposo de las partculas que lo componen, energa cinetica de ellas y toda
clase de energas de interacci
on entre ellas. La suma de todas estas energas
internas se manifiesta como masa; la masa del cuerpo es una medida de la
suma de todas esas energas internas.
La relacion entre masa y energa, dada por la ecuacion (3.11), fue, en pal-
abras de Einstein, el pensamiento mas feliz de mi vida. El artculo en el
que publico este resultado [3] tiene una extension de menos de tres paginas,
y el lo presenta como una continuaci on del artculo principal [2] de la rel-
atividad. Para deducir la relacion entre masa y energa, calcula la energa
cinetica de un cuerpo que emite dos pulsos de luz. Esta es, claramente, una
referencia a la masa inercial del cuerpo; habran de pasar seis a nos para
que se diera cuenta de que cuando un cuerpo sufre un cambio en su masa
inercial, tambien sufre un cambio en su masa gravitacional, y que ambos
cambios tienen exactamente la misma magnitud.
74
mp = 938.27 MeV/c2 (3.26)
mn = 939.57 MeV/c2 (3.27)
md = 1875.61 MeV/c2 (3.28)
n
ucleo liviano 1 + n
ucleo liviano 2 n
ucleo 3 + foton (3.29)
Ya que el foton porta energa, es claro que la masa en reposo del n ucleo 3
tiene que ser menor que la suma de las masas en reposo de los n ucleos 1 y
2. El proceso general (3.29) se llama fusion nuclear y es lo que ocurre en el
Sol, donde dos hidrogenos se pueden fusionar para producir un foton y un
atomo de helio. De otro lado, en los n
ucleos pesados es frecuente la reaccion:
n
ucleo pesado n
ucleo1 + n
ucleo 2 + foton (3.30)
Ya que el foton porta energa, la masa en reposo del n ucleo pesado tiene
que ser mayor que la suma de las masas en reposo de los n ucleos 1 y 2.
El proceso general (3.30) se llama fisi
on nuclear, y es lo que ocurre en las
plantas de energa nuclear.
75
hasta la velocidad de la luz. Un sistema de referencia es un cuerpo de reglas
y relojes y, por consiguiente, no puede ser llevado desde el reposo hasta c .
Esta es la razon por la que escribimos la frase en bastardilla en la pagina
17.
vu0x
1 1+
p =p c2
p (3.31)
2
1 u /c 2 1 u /c 1 v 2 /c2
0 2 2
Esta ecuacion sera utilizada varias veces a lo largo de esta seccion. Para
deducir la ecuacion (3.31) elevamos al cuadrado cada uno de los lados de las
ecuaciones (2.32) , (2.33) y (2.34), obteniendose:
(u0 + v)2 1 v 2 /c2 u0y2 1 v 2 /c2 u0z2
u2x = x ; u2y = ; u2z =
vu0x 2 vu0x 2 vu0x 2
1+ 2 1+ 2 1+ 2
c c c
1 0 02
u2x + u2y + u2z = 0
2 2 2
2 (ux + v) + 1 v /c uy + u0z2
vu
1 + 2x
c
76
En el lado izquierdo identificamos u2x + u2y + u2z = u2 ; en el lado derecho
identificamos u0y2 + u0z2 = u0 2 u0x2 :
2 (u0x + v)2 + 1 v 2 /c2 u0 2 u0x2
u =
vu0 2
1 + 2x
c
0 2
v 2 u0 2 vux
v 2 + u0 2 2 + + 2vu0x
c c
=
vu0x 2
1+ 2
c
v 2 u0 2
v 2 u0 2 + 2 + c2
c2 u2 = c
vu0x 2
1+ 2
c
c2 (1 v 2 /c2 )(1 u0 2 /c2 )
=
vu0x 2
1+ 2
c
77
y de aqu se sigue la formula (3.31), que es lo que queramos demostrar. Ya es-
tamos en condicion de calcular la transformacion del momentum. Comence-
mos con px que es
m0 ux
px = p
1 u2 /c2
!
1 m0 u0x m0 c2 v
px = p p +p
1 v 2 /c2 02
1 u /c2 1 u /c 2
02 2 c
vE 0
p0x + 2
= p c
1 v 2 /c2
m0 c2
E=p
1 u2 /c2
!
1 m0 c2 m0 u0x
E = p p +v p
1 v 2 /c2 1 u02 /c2 1 u02 /c2
E 0 + vp0x
= p
1 v 2 /c2
E = (E 0 + vp0x ) (3.32)
v
px = p0x + 2 E 0 (3.33)
c
0
py = py , pz = p0z (3.34)
78
A partir de estas cuatro ecuaciones se obtienen las transformaciones inversas
cambiando v por v e intercambiando variables primadas con no primadas:
E 0 = (E vpx )
v
p0x = px 2 E (3.35)
c
p0y = py , p0z = pz
E
,p (ct , r) (3.36)
c
de donde:
vu0x
m = 1+ 2 m0 (3.37)
c
vux
m0 = 1 2 m (3.38)
c
79
Nos queda por calcular la transformacion de la fuerza. Comencemos con Fx .
dpx
Escribimos Fx = y usamos la ecuacion (2.28):
dt
1 d
Fx = px
vu0x dt0
1+ 2
c
1 dp0x v dE 0
Fx = +
vu0 dt0 c2 dt0
1 + 2x
c
dp0x
En el parentesis del lado derecho reconocemos que = Fx0 y que E 0 =
dt0
m0 c2 ; entonces
1 0 dm0
Fx = (F + v )
vu0x x dt0
1+ 2
c
dm0 1
Ahora, la ecuacion (3.47) dice que 0
= 2 F0 u0 , o sea que
dt c
1 v
Fx = 0 (Fx0 + 2 F0 u0 )
vu c
1 + 2x
c
1 d
Fy = py
vu0x dt0
1+ 2
c
dpy0 1
Pero py = p0y y = Fy0 , entonces Fy = F 0 , y para Fz un
dt0 vu0x y
1+ 2
c
resultado similar. En conclusion:
80
v 0 0
Fx0 + u F
Fx = c2 (3.39)
vu0
1 + 2x
c
1
Fy = F0 (3.40)
vux0 y
1+ 2
c
1
Fz = F0 (3.41)
vux0 z
1+ 2
c
v
Fx uF
Fx0 = c2 (3.42)
vux
1 2
c
1
Fy0 = vux Fy (3.43)
1 2
c
1
Fz0 = vux Fz (3.44)
1 2
c
81
bien sabido que las cargas electricas aceleradas emiten radiacion electro-
magnetica, y todo estudio riguroso debera tener en cuenta esta perdida de
momentum y energa. El analisis detallado de esta radiacion es intrincado
y, de seguirlo, podra distraernos de nuestro proposito principal, que es de-
scribir la ideas esenciales de la mecanica relativistas. Por este motivo, para
simplificar los calculos, nos olvidaremos de la radiacion. Sabemos que de esta
manera se cometen errores esenciales, pero lo hacemos en aras de enfatizar
los aspectos relativistas de la mecanica.
Z Vf
Trabajo = q dV = q(Vf Vi ) qV (3.45)
Vi
82
que su masa en reposo, el regimen es altamente relativista. Y si la energa
cinetica es mucho menor que la masa en reposo, el regimen no es relativista,
es decir, no se notan lo efectos relativistas.
eV
105
0.5 MeV
3.8 La aceleraci
on
Averiguar la trayectoria de una partcula es llegar a una expresion del vector
posicion r como funcion del tiempo t . Claramente, u = dr/dt y a = du/dt,
o sea que para averiguar la trayectoria se puede partir de la aceleracion a , e
integrar dos veces. Ahora, para partir de la aceleracion es necesario conocer
la fuerza F. En conclusion, para averiguar la trayectoria de una partcula
es necesario precisar como se averigua a cuando se conoce F. Usamos las
ecuaciones (3.3) y (3.5) para escribir:
d du dm
F = (mu) = m +u
dt dt dt
dm
= ma +u (3.46)
dt
Esta formula dice que, cuando la masa vara con el tiempo, la fuerza no
es simplemente ma. Es interesante anotar que la ecuacion (3.46) es valida
tanto en la mecanica newtoniana (un cometa pierde agua por evaporacion
cuando se acerca al Sol, y en consecuencia dm/dt 6= 0) como en la mecanica
relativista (cuando la partcula gana u su masa aumenta y en consecuencia
83
dm/dt 6= 0); el hecho, segun (3.46), de que a no sea en general paralela a
F, no es un resultado exclusivo de la relatividad especial, sino que ya era
posible en la mecanica newtoniana. Para calcular dm/dt en el caso relativista
usamos las ecuaciones (3.10) y (3.11):
dm 1 dE 1 d 1 dK
= 2 = 2 (m0 c2 + K) = 2
dt c dt c dt c dt
dm 1 dr
= 2
F
dt c dt
1
= Fu (3.47)
c2
Fu
F = ma + u, es decir: (3.48)
c2
F Fu
a = u (3.49)
m mc2
F F uu
a =
m mc2
F
= 1 u2 /c2
m
F
3
= 1 u2 /c2 2 para F k u (3.50)
m0
F
a =
m
84
F
= 1 u2 /c2 para F u (3.51)
m0
dr d
u = 1r + 1 r
dt dt
2 !
d2 r d dr d d2
a = 1r r + 1 2r +r 2
dt2 dt dt dt dt
2 !
d2 r d dr d d2 F Fu
1r r + 1 2r +r 2 = u (3.52)
dt2 dt dt dt dt m mc2
85
d
Ahora, r = u, entonces
dt
u2 |q|Bu
=
r mc
muc
r = (3.53)
|q|B
m0 c2 E1 /B1
r= p : Calculo relativista (3.55)
|q|B 1 (E1 /B1 )2
m0 c2 E1
r= : Calculo prerrelativista (3.56)
|q|BB1
86
Partcula preparada en un acelerador. De acuerdo con la formula
(3.53):
pc
r= (3.57)
|q|B
p
De otro lado, traigamos de la pagina 68 la formula pc = (m0 c2 + K)2 (m0 c2 )2 .
Si usamos este valor de pc en la ecuacion (3.57) encontramos
1 p
r= (m0 c2 + K)2 (m0 c2 )2 (3.58)
|q|B
Esta formula es u
til cuando K es dado. Tal es el caso si, antes de entrar en el
campo B, la partcula es preparada en un acelerador. Supongamos que una
partcula de carga q es acelerada a traves de una diferencia de potencial V ;
de acuerdo con la ecuacion (3.45) se tiene K = qV = |qV |, entonces:
1 p
r = (m0 c2 + |qV |)2 (m0 c2 )2
|q|B
p s
2m0 c2 |qV | |qV |
= 1+ (3.59)
|q|B 2m0 c2
87
m0 c2 = 0.511 MeV, |q| = 4.8 1010 esu
(3.61)
E1 = 1800 statvolt/cm, B1 = 2000 gauss, B = 1500 gauss
88
m0 c2 = 938 MeV, |q| = 4.8 1010 esu
B = 30000 gauss, |qV | = 5 MeV
p r
2 938 5 (MeV)2 5
r = 1+
4.8 1010 30000 dina 2 938
r = 10.76 1 + 0.0027 cm = 10.77 cm (3.65)
uy
ux
B uy ux
A
uy
ux
ux
uy
89
u'By
u'Bx
u'Bx
u'By
u'Ay
u'Ax
u'Ax
u'Ay
m e p e
u u
c c
90
K E e
e
u u
c c
Antes Despus
mo mo
u u M0, reposo
A B
Figura 3.7 El choque de dos partculas de masas iguales, de acuerdo con un ob-
servador O que esta en reposo respecto al centro de masa. Antes del choque las
partculas tienen velocidad u . El choque deja como resultado un cuerpo final en
reposo de masa M0 . Claramente la energa cinetica final es cero: para O la colision
es completamente inelastica.
Antes Despus
Reposo
u' u M0
A B
Figura 3.8 El mismo choque de la Figura 3.7, pero ahora desde el punto de vista de
un observador O0 que se mueve hacia la derecha con velocidad u . Para O0 , antes del
choque el cuerpo A esta en reposo y el cuerpo B tiene velocidad u0 hacia la izquierda.
Despues del choque el cuerpo final M0 tiene velocidad u hacia la izquierda.
91
92
Captulo 4
El campo electromagn
etico
4.1 Transformaci
on de los campos E y B
De acuerdo con el observador O, las componentes del campo electromagnetico
son E, B. El mismo campo electromagnetico tiene, para O0 , componentes
1
El artculo lleva por ttulo Sobre la electrodin
amica de cuerpos en movimiento. La
palabra cuerpo quiere decir observador inercial.
93
E0 , B0 . Nos proponemos encontrar la transformacion entre E, B y E0 , B0 ;
es decir, vamos a encontrar las formulas que nos permiten escribir las com-
ponentes E0 , B0 en terminos de las componentes E, B.
1 E
= B (4.1)
c t
1 B
= E (4.2)
c t
1 E0
= 0 B0 (4.3)
c t0
1 B0
= 0 E0 (4.4)
c t0
1
t Ey = z Bx x Bz (4.5)
c
1
t Bz = y Ex x Ey (4.6)
c
1
t Ez = x By y Bx (4.7)
c
1
t0 Ey0 = z 0 Bx0 x0 Bz0 (4.8)
c
94
1
t0 Bz0 = y0 Ex0 x0 Ey0 (4.9)
c
1
t0 Ez0 = x0 By0 y0 Bx0 (4.10)
c
Ahora ponemos las cuatro derivadas (1.44) en las ecuaciones (4.5)-(4.7) para
obtener:
1 v v
t0 Ey Bz = z 0 Bx x0 Bz Ey (4.11)
c c c
1 v v
t0 Bz Ey = y0 Ex x0 Ey Bz (4.12)
c c c
1 v v
t0 Ez + By = x0 By + Ez y0 Bx (4.13)
c c c
Al comparar las ecuaciones (4.8) y (4.11) vemos que Ey0 debe ser proporcional
v
a (Ey Bz ), que Bx0 debe ser proporcional a Bx , y que Bz0 debe ser
c
v
proporcional a (Bz Ey ). Llamemos f al factor de proporcionalidad.
c
Esta f debe ser independiente de t, x, y, z, pero puede, en principio, ser
funcion de v:
v
Ey0 = f (v) Ey Bz (4.14)
c
Bx0 = f (v)Bx (4.15)
v
Bz0 = f (v) Bz Ey (4.16)
c
v
Bz0 = g(v) Bz Ey (4.17)
c
Ex0 = g(v)Ex (4.18)
v
Ey0 = g(v) Ey Ez , (4.19)
c
95
v
Ez0 = h(v) Ez + By (4.20)
c
v
By0 = h(v) By + Ez (4.21)
c
Bx0 = h(v)Bx (4.22)
96
Claramente Bz0 y Bz00 deben ser iguales, entonces la comparacion de las ecua-
ciones (4.29) y (4.30) da:
Pasemos ahora a escribir las recprocas de las ecuaciones (4.24) y (4.28). Para
tal efecto intercambiamos variables primadas con no primadas y cambiamos
v por v:
v 0
Ey = f (v) Ey0 + B
c z
v 0
Bz = f (v) Bz0 + E ,
c y
y en vista de (4.31):
v 0
Ey = f (v) Ey0 + B
c z
v 0
Bz = f (v) Bz0 + E
c y
h v v 0 v i
Ey0 = f 2 2 Ey0 + Bz0 Bz + Ey0
c c c
v2
= f 2 2 1 2 Ey0 ,
c
o sea que f 2 = 1:
f = 1 (4.32)
97
Ex0 = Ex (4.33)
v
Ey0 = Ey Bz (4.34)
c
v
0
Ez = Ez + By (4.35)
c
Bx0 = Bx (4.36)
v
By0 = By + Ez (4.37)
c
v
Bz0 = Bz Ey (4.38)
c
v
E0 = E + ( 1)E + B (4.39)
c
v
B0 = B + ( 1)B E (4.40)
c
98
Ex = Ex0 (4.41)
v 0
Ey = Ey0 + B (4.42)
c z
v 0
Ez = Ez0 B (4.43)
c y
Bx = Bx0 (4.44)
v 0
By = By0 E (4.45)
c z
v 0
Bz = Bz0 + E (4.46)
c y
v
E = E0 + ( 1)E0 B0 (4.47)
c
v
B = B0 + ( 1)B0 + E0 (4.48)
c
E B = E0 B0 (4.49)
E 2 B 2 = E 02 B 02 (4.50)
99
v v
+ 2 Ez + By Bz Ey
c c
= Ex Bx + Ey By + Ez Bz
= EB
v 2 v 2
= Ex2 + 2 Ey Bz + 2 Ez + By
c c
v 2 v 2
Bx02 2 By + Ez 2 Bz Ey
c c
= E2 B2
Estas tres implicaciones, en palabras, rezan: Si uno de los campos (bien sea
el electrico o el magnetico) es menor que el otro en un sistema de referencia,
lo sera tambien en todos los otros sistemas de referencia. Si los dos campos
son de igual magnitud para un observador, seran de igual magnitud para
todos los observadores.
100
La existencia de dos cantidades invariantes, EB y E 2 B 2 , no es accidental,
sino que responde a la existencia de simetras de fondo, como veremos en la
seccion 6.6.
E = E0k + E0 (4.54)
v
B = E0 (4.55)
c
Esto nos recuerda los primeros parrafos del Captulo 2, donde considerabamos
dos eventos con separacion puramente espacial o puramente temporal, para
un observador. Apuntabamos en esa ocasion que para otros observadores
los eventos aparecen, en general, con separaciones espacial y temporal. Y
concluamos entonces que el espacio y el tiempo no son entidades inde-
pendientes, sino que forman un todo. Del mismo modo nosotros, ahora
hablando del campo electromagnetico, afirmamos que los campos electrico y
magnetico no son independientes uno del otro, sino que forman un todo elec-
tromagnetico que es irreductible. Cada observador inercial puede establecer
un corte, un lindero, entre su campo electrico y su campo magnetico, pero
el lindero que establece O es diferente al que establece O0 .
101
4.4 Una carga con velocidad uniforme
Para mostrar una aplicacion de la transformacion (4.41)-(4.46), queremos re-
solver un problema clasico de electromagnetismo, que consiste en averiguar
los campos electrico y magnetico que produce una carga que tiene velocidad
rectilnea uniforme u . Este problema se puede resolver [9] por medio de los
potenciales de Lienard-Wiechert, en los que se tiene en cuenta que la se nal
electromagnetica toma cierto tiempo para viajar desde la partcula hasta el
punto de observacion, lo que hace necesario que se usen tiempos retardados.
Este modo de atacar el problema es complicado. En esta seccion lo resolver-
emos muy facilmente, utilizando nuestros conocimientos de relatividad. La
estrategia es resolver inicialmente el problema de acuerdo con un observador
inercial O0 en reposo respecto a la partcula; una vez obtenidos E0 , B0 , uti-
lizamos las seis ecuaciones (4.41)-(4.46) para averiguar los campos E, B que
registra otro observador que se mueve, respecto al anterior, con velocidad
constante u .
B0 = 0 (4.56)
q
E0 = 1r0
r02
qx0 qy 0 qz 0
Ex0 = ; Ey0 = ; Ez0 = (4.57)
r03 r03 r03
1
=p (4.58)
1 u2 /c2
102
En este momento suponemos que el eje x est a orientado paralelo a la ve-
locidad u de la partcula, y podemos colocar los campos primados (4.56) y
(4.57) en las seis ecuaciones (4.41)-(4.46) para obtener:
qx0
Ex = Bx = 0
r03
qy 0 qu z 0
Ey = 03 By =
r c r03
qz 0 qu y 0
Ez = 03 Bz =
r c r03
Estos son los campos para el observador O. Debemos, sin embargo, pulir
estas expresiones para que contengan u nicamente variables no primadas,
utilizando las transformaciones de Lorentz (1.33). Al ejecutar esta tarea se
debe recordar que r03 = (x02 + y 02 + z 02 )3/2 = [ 2 (x ut)2 + y 2 + z 2 ]3/2 :
q(x ut)
Ex =
ut)2 + y 2 + z 2 ]3/2
[ 2 (x
qy
Ey = 2 (4.59)
[ (x ut)2 + y 2 + z 2 ]3/2
qz
Ez = 2
[ (x ut)2 + y 2 + z 2 ]3/2
Bx = 0
qu
z
By = 2 c
[ (x ut)2 + y 2 + z 2 ]3/2 (4.60)
qu
y
By = 2 c
[ (x ut)2 + y 2 + z 2 ]3/2
103
para O0 como para O, hay energa electromagnetica. Ahora, como para O0
la carga esta en reposo, la energa electromagnetica tambien esta en reposo.
Sin embargo, para O la partcula se mueve y este observador debera registrar
que la energa electromagnetica fluye. La cantidad adecuada para describir
el flujo de la energa electromagnetica es el vector de Poynting:
c
S= EB (4.61)
4
q 2 u 2 y 2 1x (x ut)y1y
S= (4.62)
4 [ 2 (x ut)2 + y 2 ]3
Para comprender este efecto es importante que nos demos cuenta del modo
como estan repartidas las partculas cargadas dentro de un metal. Los iones
positivos forman una red aproximadamente inmovil, y algunos electrones
forman un fluido que viaja, que se cuela a traves de la malla rgida, cuan-
do hay una diferencia de potencial. La Figura 4.3 muestra un modelo para
entender la corriente en un alambre recto, de acuerdo con un observador O
que se encuentra en reposo respecto a los iones positivos. Los electrones se
mueven hacia la derecha con una velocidad u, o sea que la corriente electrica
va hacia la izquierda.
104
Supongamos que para O el alambre es neutro. Esto quiere decir que las
cargas positivas y negativas son equidistantes. Sin embargo, el fenomeno
debe aparecer diferente a otro observador O0 que se mueve con velocidad u
hacia la derecha, seg un muestra la Figura 4.4. En esta figura aparecen, en
lneas punteadas, las trayectorias de los iones y de los electrones. Notese que
para O0 la distancia entre electrones es mayor que la distancia entre iones
positivos. Esto quiere decir que, para O0 , la densidad de carga positiva por
unidad de longitud es mayor que la densidad negativa: el alambre que es
neutro para O es cargado para O0 .
d = d0+ + d (4.65)
d0 = d + + d0 (4.66)
105
d + = d0+ (4.67)
d = d0 , (4.68)
d = d0+ + d0 (4.69)
d0 = d0+ + d0 (4.70)
Notese que
d0 = d + ( 1)(d0+ d0 ) (4.71)
d = d0+ (4.72)
d0 = ( 1 )d0+ (4.73)
2 corriente
campo magnetico = (4.75)
cR
106
E = 0 (4.76)
2ud
B = ,
cR
2ud0+
B= (4.77)
cR
2d0
E0 =
R
2ud +
B0 = ,
cR
2( 1 )d0+
E0 = (4.78)
R
+
2ud0
B0 = (4.79)
cR
Finalmente, conviene anotar que las ecuaciones (4.76), (4.77), (4.78) y (4.79)
satisfacen las reglas de transformacion (4.34) y (4.38). Esta es una pequena
prueba de consistencia de nuestra teora relativista del electromagnetismo.
107
4.6 Anulando el campo menor
Hemos visto que los valores de los campos electrico y magnetico dependen
del estado de movimiento del observador. Nos preguntamos ahora si para
algun observador se vuelve cero alguno de los dos campos. Si para alg un
observador el campo electrico (magnetico) es cero, decimos que el campo
electrico (magnetico) es anulable.
v
B + ( 1)B E = 0 (4.80)
c
v
v B + ( 1)v B v E = 0
c
v
B = E (4.81)
c
vE
B = sen (4.82)
c
108
v B
sen = (4.83)
c E
v
E + ( 1)E + E = 0 (4.84)
c
v
v E + ( 1)v E + v B = 0
c
v
E = B (4.85)
c
vB
E = sen (4.86)
c
v E
sen = (4.87)
c B
109
Conclusi on. La anulaci on de un campo puede darse cuando se cumplen
estas dos condiciones: que sean perpendiculares entre s y que no tengan la
misma magnitud; de los dos campos, el menor es anulable y el otro no. Si E
es anulable, v tiene que ser perpendicular a E ; as mismo, si B es anulable,
v tiene que ser perpendicular a B . En resumen, v debe ser perpendicular
al campo menor.
4.7 La corriente el
ectrica
Estudiabamos en la pagina 43 una nube de partculas cargadas, y llamabamos
u a la trivelocidad promedio de una pequena porcion de la nube. El trivector
J se define as:
J = u , (4.88)
y en vista de (2.25):
nqu
J = p (4.89)
V0 1 u2 /c2
nq
J = p dr (4.90)
V0 dt 1 u2 /c2
110
nq nq
c = cdt , J = dr
V0 d V0 d
nq
Notemos que en estas expresiones el quebrado es un escalar. Esto es
V0 d
importante porque indica que las cuatro cantidades (c, J) transforman, bajo
un cambio de coordenadas, as como transforman los cuatro diferenciales
(cdt, dr). Mas concretamente, podemos utilizar las ecuaciones (1.34) para
escribir
v
0 + 2 Jx0
= p c (4.92)
1 v 2 /c2
J 0 + v0
Jx = px (4.93)
1 v 2 /c2
Jy = Jy0 (4.94)
Jz = Jz0 (4.95)
1 B
E+ = 0 (4.96)
c t
1 E 4
B = J (4.97)
c t c
B = 0 (4.98)
E = 4, (4.99)
111
Covariancia de las ecuaciones de Maxwell. Para el observador O0 las
ecuaciones de Maxwell son:
1 B0
0 E0 + = 0 (4.101)
c t0
1 E0 4 0
0 B0 = J (4.102)
c t0 c
0 B0 = 0 (4.103)
0 E0 = 40 (4.104)
B = 0 (4.108)
1 E 4
B J = 0 (4.109)
c t c k
E = 4 (4.110)
1
z Ex x Ez + t By = 0 (4.111)
c
1
x Ey y Ex + t Bz = 0 (4.112)
c
1 4
z Bx x Bz t Ey = Jy (4.113)
c c
112
1 4
x By y Bx t Ez = Jz (4.114)
c c
1
y Ez z Ey + t Bx = 0 (4.115)
c
x Bx + y By + z Bz = 0 (4.116)
1 4
y Bz z By t Ex = Jx (4.117)
c c
x Ex + y Ey + z Ez = 4 (4.118)
1
z 0 Ex0 x0 Ez0 + t0 By0 = 0 (4.119)
c
1
x0 Ey0 y0 Ex0 + t0 Bz0 = 0 (4.120)
c
1 4 0
z 0 Bx0 x0 Bz0 t0 Ey0 = J (4.121)
c c y
1 4 0
x0 By0 y0 Bx0 t0 Ez0 = J (4.122)
c c z
1
y0 Ez0 z 0 Ey0 + t0 Bx0 = 0 (4.123)
c
x0 Bx0 + y0 By0 + z 0 Bz0 = 0 (4.124)
1 4 0
y0 Bz0 z 0 By0 t0 Ex0 = J (4.125)
c c x
x0 Ex0 + y0 Ey0 + z 0 Ez0 = 40 (4.126)
1
z 0 Ex0 x0 Ez0 + t0 By0 = 0 (4.127)
c
113
1
x0 Ey0 y0 Ex0 + t0 Bz0 = 0 (4.128)
c
1 4 0
z 0 Bx0 x0 Bz0 t0 Ey0 = J (4.129)
c c y
1 4 0
x0 By0 y0 Bx0 t0 Ez0 = J (4.130)
c c z
1 v
y0 Ez0 z 0 Ey0 + t0 Bx0 = x0 Bx0 + y0 By0 + z 0 Bz0 (4.131)
c c
1 c
y0 Ez0 z 0 Ey0 + t0 Bx0 = x0 Bx0 + y0 By0 + z 0 Bz0 (4.132)
c v
1 v
y0 Bz0 z 0 By0 t0 Ex0 + x0 Ex0 + y0 Ey0 + z 0 Ez0
c c (4.133)
4 0 v
= Jx + 40
c c
1 c
y0 Bz0 z 0 By0 t0 Ex0 + x0 Ex0 + y0 Ey0 + z 0 Ez0
c v (4.134)
4 0 c
= J + 40
c x v
Observese que las ecuaciones (4.119) y (4.127) son iguales, que (4.120) y
(4.128) son iguales, que (4.121) y (4.129) son iguales y que (4.122) y (4.130)
son iguales. Observese que (4.123) y (4.131) no son iguales y que (4.124) y
(4.132) no son iguales. Pero el conjunto de las dos ecuaciones (4.131), (4.132)
implica el conjunto de las dos ecuaciones (4.123), (4.124). As mismo (4.125)
y (4.133) no son iguales; (4.126) y (4.134) no son iguales. Pero el conjunto de
las dos ecuaciones (4.133), (4.134) implica el conjunto de las dos ecuaciones
(4.125), (4.126).
114
Podemos desplegar las tres partes de esta ecuacion:
1 0 0 1 0 0
Fx0 0
= q Ex + uy Bz uz By (4.136)
c c
1 1
Fy0 = q Ey0 + u0z Bx0 u0x Bz0 (4.137)
c c
0 0 1 0 0 1 0 0
Fz = q Ez + ux By uy Bx (4.138)
c c
1 1
Fx = q Ex + uy Bz uz By (4.139)
c c
1 1
Fy = q Ey + uz Bx ux Bz (4.140)
c c
1 1
Fz = q Ez + ux By uy Bx (4.141)
c c
Debemos probar que las tres ecuaciones (4.136)-(4.138) implican las ecua-
ciones (4.139)-(4.141), y para tal efecto debemos expresar las tres primeras
ecuaciones en terminos de variables no primadas. Utilicemos entonces las tres
ecuaciones (2.35)-(2.37), las tres3 ecuaciones (3.42)-(3.44) y las seis ecua-
ciones (4.33)-(4.38). Entonces la ecuacion (4.136) se convierte en (4.139),
la ecuacion (4.137) deviene (4.140) y la ecuacion (4.138) se vuelve (4.141).
Queda as demostrada la covariancia de la fuerza de Lorentz.
3
Al utilizar la ecuaci
on (3.42) se debe tener en cuenta que
u
u F = u q E + B = qu E
c
115
ut
ct'
x'
116
C + + + + D
A B
E
a
v
v
b
B
B
117
118
Captulo 5
(x0 , x1 , x2 , x3 ) = (ct, x, y, z)
119
(0,0,0,0) y el evento (x0 , x1 , x2 , x3 ) . De acuerdo con la definicion (2.1) este
intervalo viene dado por:
Si definimos la matriz
1 0 0 0
0 1 0 0
=
(5.2)
0 0 1 0
0 0 0 1
(s)2 = x x (5.3)
= (5.4)
120
x = x (5.6)
Notese que
x = x (5.9)
Las ecuaciones (5.6) y (5.9) dicen que sirve para bajar un superndice y
sirve para subir un subndice. Ahora, a tambien se le puede bajar
el superndice , para lo cual basta multiplicarlo por :
= (5.10)
0 Ex Ey Ez
Ex 0 Bz By
F
=
(5.11)
Ey Bz 0 Bx
Ez By Bx 0
121
Si queremos bajar el superndice multiplicamos por , as: F = F :
1 0 0 0 0 Ex Ey Ez
0 1 0 0 By
Ex 0 Bz
F =
0 0 1 0 Bx
Ey Bz 0
0 0 0 1 Ez By Bx 0
0 Ex Ey Ez
Ex 0 Bz By
=
Ey Bz 0 Bx
Ez By Bx 0
0 Ex Ey Ez 1 0 0 0
Ex 0 Bz By 0
0 1 0
F =
Ey Bz 0 Bx 0
0 0 1
Ez By Bx 0 0 0 0 1
0 Ex Ey Ez
Ex 0 Bz By
=
Ey Bz 0 Bx
Ez By Bx 0
122
El asunto de subir y bajar ndices no tiene complicacion. Por ejemplo:
A = A
A = A
=
=
dx = dx
Cuando un ndice aparece una sola vez en un termino, decimos que es libre.
Por ejemplo, en B C los ndices y son libres. Si una misma letra aparece
dos veces en un termino, como superndice y como subndice, decimos que
se trata de ndices contrados. Por ejemplo, en B C los ndices est an
contrados.
= x x
= x x
= x x
123
instante, los orgenes de O y O0 coinciden. En el instante de la coincidencia
se cuadran en t = 0 y t0 = 0 , respectivamente, los dos relojes que estan en
los orgenes de O y O0 . Los ejes cartesianos de O y O0 se orientan de modo
que los ejes x y x0 son siempre paralelos, los y y y 0 son siempre paralelos y
tambien los ejes z y z 0 .
Cada una de las coordenadas primadas x0 debe ser funcion de las no pri-
madas x :
x0 = x0 (x ) (5.12)
p
Llamemos = v/c y = 1/ 1 2 y supongamos que el desplazamiento es
un x x0 ; de acuerdo con las ecuaciones (1.33), las coor-
a lo largo del eje com
denadas primadas y no primadas estan conectadas por las transformaciones
de Lorentz:
x00 = (x0 x1 )
x01 = (x1 x0 )
(5.13)
x02 = x2
x03 = x3
x0
dx0 = dx (5.14)
x
x0
Ahora integrar, teniendo en cuenta que es constante:
x
1
Debemos dejar claro que las diez y seis derivadas son constantes no s
olo en la trans-
formacion particular (5.13), sino en cualquier transformaci
on de Lorentz. En efecto, un
vistazo a las ecuaciones (1.35) nos muestra que las derivadas son constantes, en general,
para cualquier transformacion de Lorentz.
124
x0
x0 = x . As mismo: (5.15)
x
x 0
x = x (5.16)
x0
x0
A0 = A , (5.17)
x
00 0 1
A = A v A
c
(5.18)
0 1 0
A =A+ v A A v
v2 c
125
contravariantes x , o por medio de sus componentes covariantes x . Del
mismo modo, el vector A se caracteriza por medio de sus componentes con-
travariantes A , o por medio de sus componentes covariantes A . As como
en las formulas (5.7) y (5.8), escribimos ahora
x x = x0 x0 (5.21)
Esta ecuacion dice que, para calcular intervalos, todos los observadores in-
erciales usan la misma matriz . La ecuacion (5.21) es, obviamente:
x x = x0 x0 . Utilizar (5.15):
x0 x0
= x x ;
x x
x0 x0
x x = 0
x x
Como esta ecuacion debe ser valida para todos los eventos, la cantidad
dentro del parentesis debe ser cero:
x0 x0
= (5.22)
x x
126
Ahora multiplicar ambos lados de esta ecuacion por y utilizar la ecuacion
(5.10):
x0 x0
= (5.23)
x x
x
= (5.24)
x
x x0 x
= ,
x x x0
x0 x
= (5.25)
x x0
x0 x0 x0 x
= ,
x x x x0
x
y multipliquemos ambos lados de esta ecuacion por :
x0
x x0 x0 x x0 x
0
= (5.26)
x x x x0 x x0
x x0
En ambos lados de esta ecuacion aparece el factor ; la regla de
x0 x
x x0 x0
la derivacion en cadena dice que = = , o sea que la
x0 x x0
ecuacion (5.26) es
127
x0 x
=
x x0
x0 x
= (5.27)
x x0
x0 x
A = A
x x0
x
A0 = A
x0
x
A0 = A (5.28)
x0
128
x0 x0
A0 B 0 = A B
x x
x0 x0
T 0 = T (5.30)
x x
0 x x
T = T , (5.31)
x0 x0
x0 x
T 0 = T , (5.32)
x x0
y como A B :
x x0
T0 = T (5.33)
x0 x
x0 x0 x0
C 0 = C
x x x
x x x
C 0 = C
x0 x0 x0
x x0 x
C0 = C
x0 x x0
129
Finalmente, un tensor de rango 4:
x0 x0 x0 x
A0 = A (5.34)
x x x x0
x 0 x x0
A = A = A = A
x0 x0 x
Hemos obtenido:
x 0
A = A . As mismo:
x0
x0 0
A = A
x
x x 0
T = T
x0 x0
x0 x0 0
T = T
x x
130
x x0 0
T = T
x0 x
x0 x 0
T = T
x x0
Y los de rango 3:
x x x 0
C = C
x0 x0 x0
x0 x0 x0 0
C = C
x x x
x0 x x0 0
C = C
x x0 x
x0 x
A0 B 0 = A B
x x0
x0 x x
Ahora, la regla de la derivacion en cadena dice que = , en-
x x0 x
tonces:
x
A0 B 0 = A B = A B = A B
x
O sea que
A0 B 0 = A B (5.35)
131
En palabras, el producto A B es, en general, invariante y el intervalo x x
es un caso particular.
x0 x0
A0 = A ,
x x
x0 x0 0
= ,
x x
132
una regla, para establecer la distancia entre dos puntos, y el tensor metrico
es el encargado de suministrar tal regla. Por esta razon decimos que el tensor
metrico contiene toda la informacion acerca de la estructura geometrica de
un espacio.
+1 si es una permutaci on par de 0123
= 1 si es una permutaci on impar de 0123 (5.36)
0 si dos ndices son iguales
S A = S A (5.37)
S A = 0 (5.38)
= = , , , = , (5.39)
x c t x y z c t
= = , , , = , (5.40)
x c t x y z c t
133
El producto = 0 0 + a a es:
1 2
= 2 (5.41)
c2 t2
x x
0 = = = ,
x0 x0 x x0
x x
0 A0 = A0
= A0
= A0 ;
x0 x0 x x0
x x0
0 A0 = A (5.42)
x0 x
x0
No olvidemos que las son constantes, entonces
x
x x0
0 A0 = A ; (5.43)
x0 x
134
5.4 Matrices
Para los tensores de rangos 1 y 2, que son los que tienen 1 y 2 ndices,
respectivamente, es muy comoda la notacion matricial. Definamos la matriz
cuadrada
x0
= (5.44)
x
A0 = A
F 0 = F = F T
O mas concisamente:
A0 = A F 0 = F T
Ocurre sin embargo que resulta ser simetrica (ver (5.48)), entonces
A0 = A (5.45)
F 0 = F (5.46)
0 0
0 0
=
(5.47)
0 0 1 0
0 0 0 1
135
Esta matriz corresponde a las transformaciones (5.13), en las que la veloci-
x y z
2 x y x z
x 1 + ( 1) x2 ( 1) ( 1)
2 2
=
y x y2 y z
y ( 1) 1 + ( 1) ( 1)
2 2 2
z x z y z2
z ( 1) ( 1) 1 + ( 1)
2 2 2
(5.48)
d4 x0 = d4 x (5.49)
136
Una cantidad invariante: Que el determinante de la matriz sea 1
tiene otra consecuencia interesante: el determinante de F es invariante
bajo el grupo de las transformaciones de Lorentz. Para probarlo tomemos
determinante en ambos lados de la ecuacion (5.46), as: det F 0 = det(F )
= (det )(det F )(det )= det F :
A = B C (5.51)
x x0 0
Si A, B y C son tensores, podemos reemplazar A = A ,
x0 x
x 0 x0 0
B = B y C = C en la ecuacion (5.51) para escribir
x0 x
x x0 0 x x0 0 0
A = B C
x0 x x0 x
x0 x
Multiplicar ambos lados de esta ecuacion por :
x x0
x0 x x x0 0 x0 x x x0 0 0
A = B C
x x0 x0 x x x0 x0 x
A0 = B 0 C0
A0 = B 0 C0 (5.52)
137
Comparando (5.52) con (5.51) nos damos cuenta de que tienen la misma for-
ma: (5.51) es una ecuacion covariante porque es la igualdad de dos tensores.
Si queremos que se cumpla el principio de la relatividad, debemos expresar
las leyes de la fsica mediante ecuaciones tensoriales.
x x0 0 x0 0
Reemplazando A = A , y C = C en (5.51) escribi-
x0 x x
mos:
x x0 0 x0 0
A = B C
x0 x x
x0 x
Multiplicar ambos lados de esta ecuacion por :
x x0
x0 x x x0 0 x0 x x0 0
A = B C
x x0 x0 x x x0 x
x0
A0 = B C0
x
x0 0
A0 = B C
x
Comparando la u
ltima ecuacion con (5.52) vemos que
x0
B 0 = B ,
x
138
veces durante todo un siglo. Esto quiere decir que cuando se comparan las
mediciones que O0 hace con sus reglas y relojes, con las mediciones que O
hace con sus reglas y relojes, esas dos mediciones cumplen las relaciones
(5.13).
139
numeros 1, 4, 16, 64 son muy importantes para la fsica, porque indican
los u
nicos tamanos que las familias pueden tener: no hay familias de 10, 15,
63 miembros.
p
El tiempo propio d . dx dx es el intervalo a lo largo de la trayec-
toria de la partcula. En caso de que la partcula sea libre su velocidad es con-
stante, y en consecuencia hay un observador inercial para el cual la partcula
esta siempre en reposo; para
p este observador el intervalo es puro tiempo, es el
tiempo propio: c2 d 2 = dx dx . Pero si la partcula tiene aceleracion,
un sistema de coordenadas que la acompa ne permanentemente sera no iner-
cial y, por lo tanto, no podra usarse enpla relatividad especial. Sin embargo
vamos a ver que la formula c2 d 2 = dx dx sigue siendo valida si el
smbolo d adquiere un significado ligeramente diferente del que tena hace
un par de renglones. Pensamos en una porcion infinitesimal de trayectoria
durante la cual la velocidad se puede considerar aproximadamente constante.
En esa porcion infinitesimal de trayectoria hay un observador inercial para
el cual la partcula esta aproximadamente en reposo. Para este observador la
porcion de trayectoria es puramente temporaloide,
p y dura un tiempo propio
que llamaremos d . Claramente c2 d 2 = dx dx . En conclusion, esta
formula es valida para partculas libres y aceleradas; aqu d es el tiempo
140
propio que registra un observador inercial que acompa
na moment
aneamente
a la partcula; d es un escalar.
!
c u
U = p , p (5.54)
1 u2 /c2 1 u2 /c2
U U = U 0 U0 U a Ua = c2 (5.55)
p = m0 U (5.56)
!
m0 c m0 u
p = p , p
1 u2 /c2 1 u2 /c2
141
= (mc , mu) (5.58)
= (E/c , p) (5.59)
p p = E 2 /c2 p2 (5.60)
p
E= (m0 c2 )2 + (pc)2 (5.61)
dx c2
= p (5.62)
dt E
El momentum del fot on. Para partculas de masa cero, como el foton,
el momentum se denomina k . Si se trata de un pulso de luz que se propaga
en direccion del vector unitario n, escribimos k = |k| n. Las ecuaciones de
p se simplifican considerablemente:
k k = 0 (5.63)
142
La corriente el ectrica. Ya habamos demostrado en la pagina 111 que
(c, J) transforma como un vector, al que llamaremos J :
J = (c, J) (5.66)
5.8 Aberraci
on de la luz y efecto Doppler
Pensemos en un pulso de luz. Respecto al observador O tiene energa E y
se propaga en direccion del vector unitario n. Respecto a O la energa es E 0
y se propaga en direccion n0 . La ecuaciones (5.18) son, en este caso:
00 0 1
k = k v k
c
1 0
k0 = k+ v k k v
v2 c
Para aislar la variable n0 basta dividir lado a lado estas dos ecuaciones:
1
n+ 2
v n v
v c
n0 = v n (5.68)
1
c
cos v/c
n0x =
v cos
1
c
143
1 sen
n0y =
v cos
1
c
Vamos a dividir, lado a lado, estas dos ecuaciones. Al cociente n0y /n0x lo
llamamos tan 0 :
1 sen
tan 0 = (5.69)
cos v/c
v n
0 = 1 (5.70)
c
3
Consideremos un frente de onda para O y un frente de onda para O0 ; la intersecci on
de esos dos planos es una lnea recta; los eventos de esa lnea son simult
aneos para O y
aneos para O0 .
tambien son simult
144
Hay tres casos particularmente claros: cuando n y v son paralelos (),
cuando son antiparalelos (), y cuando son perpendiculares (). En estos
casos la formula (5.70) da:
s
1 v/c
0 = (5.71)
1 + v/c
s
0 1 + v/c
= (5.72)
1 v/c
0 = (5.73)
145
146
Captulo 6
La electrodin
amica
manifiestamente covariante
B = 0 (6.1)
1 B
E+ = 0 (6.2)
c t
E = 4 (6.3)
1 E 4
B = J (6.4)
c t c
dp u
= q E+ B (6.5)
dt c
147
seccion 5.5 que las ecuaciones tensoriales son automaticamente covariantes,
entonces nuestro proyecto es este: convertir a las cinco ecuaciones en ecua-
ciones tensoriales.
6.1 El cuadripotencial A
Los campos E y B son enteramente suficientes para describir el campo elec-
tromagnetico. Sin embargo, para darle a la electrodinamica una escritura
manifiestamente covariante, podemos abandonar los campos E y B , ex-
presandolos en terminos de otros campos y A , de la manera siguiente:
B = A (6.6)
1 A
E = (6.7)
c t
1
0 = (6.8)
c t
A0 = A + (6.9)
A0 = A
1 A0 1 A
0 = ,
c t c t
es decir, los campos (E, B) se pueden calcular, bien sea con (, A) , o con
(0 , A0 ) . Esto indica que para describir una realidad (E, B) no estamos
148
obligados a usar unos (, A) determinados, sino que tenemos una cierta lib-
ertad en la escogencia, que recibe el nombre de libertad gauge. La Figura
6.1 muestra que para describir un campo electromagnetico se puede usar las
variables (E, B) o las variables (, A) . Pero a cada punto en el plano (E, B)
le corresponde en el plano (, A) , no un punto, sino un conjunto infinito de
puntos que denotamos D. La libertad gauge es poder usar cualquier punto
del conjunto D. Ahora, podemos escoger, dentro de D, un subconjunto, el
subconjunto de todos los campos (, A) que cumplen alguna condicion que
nos parezca conveniente. Es usual escoger dentro de D el subconjunto de
campos (, A) que cumplen una ecuacion subsidiaria que recibe el nombre
de condicion de gauge. Las condiciones de gauge mas conocidas son la de
Coulomb y la de Lorentz:
1
+A=0 (6.10)
c t
A = (, A) , (6.11)
149
A = 0 (6.12)
1
( A) + 2 = 4 (6.13)
c t
1 2A 2 1 4
2 2
A+ +A = J (6.14)
c t c t c
1 2
2 = 4 (6.15)
c2 t2
150
1 2A 4
2 A = J (6.16)
c2 t2 c
= 4
4 (6.17)
A = J
c
J = (c, J) , (6.18)
4
A = J (6.19)
c
4
J = A
c
J = 0 (6.20)
151
1 2 2
= 0
c2 t2
1 2 2
A = 0
c2 t2
Estas son ecuaciones de ondas. Si hacemos cero los lados derechos de las
ecuaciones (6.17) se llega a
A = 0 (6.21)
Ey = ( 0 A2 2 A0 ) By = ( 3 A1 1 A3 ) (6.22)
Ez = ( 0 A3 3 A0 ) Bz = ( 1 A2 2 A1 )
dpx q
= [cEx + uy Bz uz By ] (6.23)
dt c
dpy q
= [cEy + uz Bx ux Bz ] (6.24)
dt c
dpz q
= [cEz + ux By uy Bx ] (6.25)
dt c
dpx q 0
= U Ex + U 2 Bz U 3 By
dt c
152
dpx dp1
De otro lado, = :
dt d
dp1 q 0
= U Ex + U 2 Bz U 3 By
d c
dp1 q 1 0
= ( A 0 A1 )U 0 ( 1 A2 2 A1 )U 2 ( 1 A3 3 A1 )U 3 ,
d c
es decir:
dp1 q 1 0
= ( A 0 A1 )U0 + ( 1 A2 2 A1 )U2 + ( 1 A3 3 A1 )U3
d c
dpa q
= ( a A Aa )U (6.26)
d c
dp q
= ( A A )U (6.27)
d c
Nota: El salto de las tres ecuaciones (6.26) a las cuatro ecuaciones (6.27)
es una generalizacion, porque agrega una cuarta ecuacion, para = 4 :
dp0 q
= ( 0 A A0 )U
d c
153
Que significa esta ecuacion, hemos descubierto algo nuevo, esto ya lo sabamos?
Para responder estas preguntas notemos que esta ecuacion se puede escribir
as:
dp0 q 0 a
= ( A a A0 )Ua
d c
dp0 q
= ( 0 Aa a A0 )ua
dt c
dp0 q q
= (Ea )ua = E u
dt c c
dE
= qEu
dt
dE u
= q [E + B] u
dt c
= Fu
154
6.4 El tensor electromagn
etico
La teora electrodinamica esta escrita de modo manifiestamente covariante
en las ecuaciones (6.12), (6.19), y (6.27). Lograr esta escritura covariante
era uno de los objetivos principales de este captulo; pero conviene ademas
que presentemos un nuevo tensor F que trae ventajas en el estudio de
las leyes de conservacion y la formulacion lagrangiana, asuntos que veremos
en los captulos 7 y 8. Para comenzar anotemos que las ecuaciones (6.22) y
(6.27) sugieren decididamente que definamos la cantidad
F = A A (6.28)
Ex = F 10 , Ey = F 20 , Ez = F 30
(6.29)
Bx = F 32 , By = F 13 , Bz = F 21
O, en forma matricial:
0 Ex Ey Ez
Ex 0 Bz By
F =
(6.30)
Ey Bz 0 Bx
Ez By Bx 0
155
Las ecuaciones inhomog
eneas de Maxwell. Estas se expresan medi-
ante (6.19):
4
J = ( A )
c
= ( A A + A )
= ( A A ) + A
El u
ltimo termino del lado derecho es cero por la condicion de Lorentz,
4
entonces queda J = ( A A ), es decir
c
4
F = J (6.31)
c
F + F + F = 0 (6.32)
1 F 23 + 3 F 12 + 2 F 31 = 0
0 F 32 + 2 F 03 + 3 F 20 = 0
0 F 13 + 3 F 01 + 1 F 30 = 0
0 F 21 + 1 F 02 + 2 F 10 = 0
156
En estas cuatro ecuaciones haremos dos cosas: primero, cambiar las com-
ponentes F por las entradas de la matriz (6.30) y, segundo, substituir
0 , 1 , 2 , 3 por 0 , 1 , 2 , 3 , respectivamente. Se obtiene entonces
estas cuatro ecuaciones:
1 Bx + 3 Bz + 2 By = 0
0 Bx + 2 Ez 3 Ey = 0
0 By + 3 Ex 1 Ez = 0
0 Bz + 1 Ey 2 Ex = 0
dp q
= F U (6.33)
d c
dp
= 0 Partcula libre (6.34)
d
d2 x
= 0 Partcula libre (6.35)
d 2
157
6.5 La transformaci
on de los campos
En la seccion 4.1 encontramos las reglas de transformacion de los campos
E y B. Recuerdese, sin embargo, que el camino seguido en esa ocasion fue
largo y dispendioso. En este momento queremos deducir de nuevo esas re-
glas con las herramientas que nos suministra la notacion covariante. Como
en esta notacion no se usan E, B, sino F , lo que hacemos primero es en-
contrar la transformada del tensor electromagnetico. Para esto utilizamos
las ecuaciones (5.46) , (5.47) y (6.30), as:
0 0 0 Ex Ey Ez 0 0
0 0 By 0
Ex 0 Bz 0
0 0 1 0 Bx 0
Ey Bz 0 0 0 1
0 0 0 1 Ez By Bx 0 0 0 0 1
Comparando con
0 Ex0 Ey0 Ez0
0
Ex 0 Bz0 By0
F 0
=
,
E0 Bz0 0 Bx
0
y
Ez0 By0 Bx0 0
identificamos:
158
Ex0 = Ex Bx0 = Bx
0 Bx By Bz 0 Bx By Bz
Bx 0 Ez
Ey Bx 0 Ez Ey
F =
; F =
By Ez 0 Ex By Ez 0 Ex
Bz Ey Ex 0 Bz Ey Ex 0
F F = 4E B : escalar
(6.36)
F F = F F = 2(E 2 B 2 ) : escalar
Estas son las dos cantidades invariantes que vimos en las ecuaciones (4.49)
y (4.50). Los escalares (6.36) son cuadraticos en los campos, es decir, son
productos de dos campos. Con productos de cuatro campos tambien se puede
construir un escalar (ver la ecuacion (5.50)) que es el determinante de F .
El resultado es
159
E, B
D f, A
160
Captulo 7
X
par (x, t) = 3 (x xn (t)) (7.1)
n
X dxn (t)
Jpar (x, t) = 3 (x xn (t)) , (7.2)
n
dt
161
donde el ndice n = 1, 2, 3, ... recorre1 todas las partculas de la nube2 .
a
Tomemos ahora la divergencia Jpar = J ; se obtiene:
xa par
X a
dxn (t) dxan (t)
3 3
(x xn (t)) + (x xn (t)) (7.3)
n
xa dt xa dt
X dxa (t)
n
Jpar = a
3 (x xn (t))
n
dt x
X dxa (t)
n
= a
3 (x xn (t))
n
dt x n
X
= 3 (x xn (t)) = par
n
t t
Z
N= d3 x par (x, t) (7.5)
dN
Tomar la derivada y usar la ecuacion (7.4)
dt
1
La ventaja de este tratamiento, tomado de Weinberg [11], radica en el hecho de
que aunque la nube est a compuesta de partculas en posiciones discretas, las cantidades
par (x, t) y Jpar (x, t) son campos que dependen de las coordenadas continuas (x, t).
2
Los fsicos le dicen polvo a un conjunto de partculas tal que todas ellas est an en
reposo respecto a alg un observador inercial. Lo que queremos estudiar en este captulo no
es una nube de polvo.
162
Z Z
dN par (x, t)
= d3 x = d3 x Jpar (x, t)
dt t
dN
=0 (7.6)
dt
X dx0n (t)
cpar (x, t) = 3 (x xn (t))
n
dt
X dxan (t)
a
Jpar (x, t) = 3 (x xn (t))
n
dt
0 = c
Para unificar estas dos ecuaciones definimos Jpar par , de modo que
Jpar = (cpar , Jpar ) (7.7)
X dxn (t)
3
Jpar = (x xn (t)) (7.8)
n
dt
Vamos a probar que Jpar es un Rvector, para lo cual multiplicamos el lado
derecho de la ecuacion (7.8) por dx0 (x0 x0n ) = 1:
XZ dxn (t)
Jpar = dx0 (x0 x0n ) 3 (x xn (t))
n
dt
163
XZ dxn
= dx0 4 (x xn )
n
dt
XZ
= c 4 (x xn )dxn (7.9)
n
R
De otro lado, la funcion 4 satisface la ecuacion 4 (x xn )d4 x = 1, o sea
que 4 (x xn )d4 x es un escalar; como d4 x es un escalar (ver la ecuacion
(5.49)), concluimos que 4 (x xn ) es un escalar. Hecha esta observaci on,
regresamos al lado derecho de la ecuacion (7.9). Como dxn y 4 (x xn ) son
tensores, entonces Jpar es un vector. La ecuacion de continuidad (7.4) se
escribe tambien:
Jpar (x) = 0 (7.10)
X dxn (t)
Jelec (x) = qn 3 (x xn (t)) (7.11)
n
dt
X dxn (t)
Jp (x) = pn (t) 3 (x xn (t)) (7.12)
n
dt
dxn (t)
En la ecuacion (7.11) podemos interpretar que qn 3 (x xn (t)) es
dt
la densidad de corriente electrica que aporta la n-esima partcula para la
construccion de la densidad total de corriente electrica Jelec . As mismo, la
ecuacion (7.12) da la -esima componente de la densidad de corriente de
momentum . Notese que, como qn es un escalar, la corriente Jelec es un
vector; de la misma manera, como pn (t) es un vector, Jp es un tensor de
segundo rango.
164
Vamos a demostrar que corriente electrica3 se conserva. Al tomar la diver-
gencia en la ecuacion (7.11) tenemos en cuenta que la carga q es invariante
(ver pagina 43), o sea que sus derivadas son cero y se llega limpiamente a
una ecuacion como (7.4):
J (x) = 0 (7.13)
X dxn (t)
Tmec (x) = pn (t) 3 (x xn (t)) (7.14)
n
dt
XZ
Tmec (x) =c pn 4 (x xn ) dxn (7.15)
n
X pn p
n
Tmec (x) = c2 3 (x xn (t)) (7.16)
n
En
Esta ecuacion muestra que el tensor se construye con las propiedades mecanicas
de las partculas, que son los momentos pn ; por esta razon escribimos el
subndice mec en Tmec . Veremos mas tarde que hay otros tensores de
3
De ahora en adelante omitiremos el subndice elec que aparece en (7.11), de modo
a simplemente J . As la hemos llamado en captulos
que la corriente electrica se llamar
anteriores.
165
energa y momentum: para el campo electromagnetico, para el campo grav-
itatorio, etc. Esos otros tensores no son de naturaleza mecanica como Tmec .
De otro lado, la ecuacion (7.16) tambien dice que Tmec es simetrico:
Tmec (x) = Tmec (x) (7.17)
0
Las cuatro componentes Tmec son especialmente importantes:
X
00
Tmec (x) = En 3 (x xn (t)) (7.18)
n
X
0a
Tmec (x) = c pan 3 (x xn (t)) (7.19)
n
7.4 Tmec =0, Tmec 6= 0
Es importante que nos detengamos a estudiar lo que ocurrira si la diver-
gencia de Tmec fuera cero, es decir, si
Tmec = Tmec , = 0 (7.20)
0 a
T = c a Tmec
t mec x
Z Z
0 3 a 3
Tmec d x = c T d x
t xa mec
166
Z
d 0
Tmec (x) d3 x = 0 (7.21)
dt
R 0 3
O sea que las cuatro cantidades Tmec d x son constantes. En vista de que
estas cuatro cantidades son la energa total y el momentum total, podemos
afirmar que cuando Tmec = 0 se conservan la energa total y el momentum
total de la nube.
0 X dxan (t) 3
Tmec = 0 Tmec + p (t) (x xn (t))
xa n n dt
X dxan (t) 3
0
= 0 Tmec + pn (t) (x xn (t))
n
dt xa
X xan 3
0
= 0 Tmec pn (t) (x xn (t))
n
t xan
X 3
0
= 0 Tmec pn (t) (x xn (t)) (7.22)
n
t
El u
ltimo termino del lado derecho es de la forma
3 p 3
p = (p 3 ) ,
t t t
0 X 3 X dpn
Tmec = 0 Tmec pn (x xn (t)) + 3 (x xn (t))
t n n
dt
X dpn
0 0
= 0 Tmec 0 Tmec + 3 (x xn (t)) ,
n
dt
167
es decir:
X dpn
Tmec (x) = 3 (x xn (t)) (7.23)
n
dt
XX dpn0
Tmec (x) = 3 (x R(t))
dt
R n0
Aqu hay una suma sobre todos los choques R, y el ndice n0 recorre u
nica-
mente las partculas que intervienen en el choque en R.
X d X
Tmec (x) = 3 (x R(t)) p 0
dt 0 n
R n
P
La sumatoria pn0 es el momentum total, sumado, de todas las partculas
n0
que intervienen en la colision en R. Este momentum es constante, o sea que
d X
p 0 es cero. En este caso la ecuacion (7.23) es Tmec = 0. Se conser-
dt 0 n
n
van la energa y el momentum.
168
c) La nube de partculas cargadas. Para la partcula n-esima la fuerza
de Lorentz (6.33) es:
dpn qn
= F (xn )Un
dn c
qn dx
= F (xn ) n
c dn
dn
Multiplicar ambos lados por :
dt
dpn qn dx
= F (xn ) n ,
dt c dt
X qn dxn 3
Tmec (x) = F (xn ) (x xn (t))
n
c dt
X qn dxn 3
= F (x) (x xn (t))
n
c dt
1 X dx
= F (x) qn n 3 (x xn (t))
c n
dt
1
Tmec (x) = F (x)J (x) (7.24)
c
Los casos a), b) y c) que acabamos de rese nar indican cuales son las condi-
ciones dinamicas que se deben cumplir para que la divergencia Tmec sea
cero. La clave esta en reconocer en que casos el tensor Tmec se refiere a un
sistema fsico aislado.
169
y el momentum total de la nube se forman exclusivamente con las contribu-
ciones mecanicas. Es decir, Tmec menciona la totalidad de un sistema fsico;
no puede sorprendernos que se conserven la energa y el momentum; no
puede sorprendernos que Tmec sea cero.
El caso c) aclara lo que ocurre cuando entre las partculas de la nube hay
interacciones a distancia. Las interacciones a distancia denotan la presencia
de un campo, campo que tambien tiene energa y momentum. La totalidad
partculas-campo debe tener un tensor total de energa- momentum cuya
divergencia sea nula. Ese tensor total no es Tmec , y por eso Tmec 6= 0. Algo
muy diferente ocurre en el caso b); all no hay interacciones a distancia, no
hay campo, Tmec s expresa un sistema total y por eso Tmec = 0.
1 1
= F F + F F (7.25)
4 16
Tomar la derivada :
x
1 1 1
, = F F , + F , F + 2 F F ,
4 4 16
1 1 1
= F F , + F F , + F F ,
4 4 8
170
Partir en dos el segundo termino del lado derecho:
1 1 1 1
, = F F , + F F , + F F , + F F ,
4 8 8 8
1 1 1 1
F F , = F F , = F F , = F F ,
8 8 8 8
Entonces:
1 1 1 1
, = F F , + F F , + F F , + F F ,
4 8 8 8
1 1
= F F , + F (F , + F , + F , )
4 8
4
F , = J , (7.26)
c
4
es decir, F , = J . Entonces
c
1
, = F J (7.27)
c
En este momento sumamos lado a lado las ecuaciones (7.24) y (7.27) para
obtener:
(Tmec + ), = 0 (7.28)
171
Mas explcitamente, usando las ecuaciones (7.16) y (7.25):
!
X pn p 1 1
n
c2 3 (x xn ) + F F + F F =0
En 4 16
n ,
La ecuacion (7.28) dice que la energa y el momentum contenidos en Tmec +
se conservan.
X dxn (t)
Ln (t) 3 (x xn (t))
n
dt
Mmec (x) = Tmec (x)x Tmec
(x)x (7.29)
X
3 dxn dxn
= (x xn (t)) pn x x (7.30)
n
dt dt
1 032
La densidad de momentum angular en direccion x es Mmec . As mismo,
c
1 013 1 021
Mmec es la densidad en direccion y, y Mmec es la densidad del momentum
c c
angular en direccion z. Estas identificaciones indican que la escogencia (7.29)
es adecuada.
172
7.6 Generalizaci
on
Llego el momento de abandonar la nube de partculas que tanto nos ha
servido para establecer los conceptos de corrientes y conservaciones. De aho-
ra en adelante nos referiremos, en general, a cualquier tensor de energa y
momentum T (x). Ejemplos concretos de este tensor son Tmec y . El
T que mencionamos es general, y no tenemos que decidir de antemano si
T = T o T 6= T , ni necesitamos comprometernos con que T = 0
o T 6= 0, ni tenemos que decidir desde ya si T se refiere a una parte
o a la totalidad de un sistema fsico. As como en las ecuaciones (7.18) y
(7.19), la componente T 00 (x) es la densidad de energa y T 0a (x) es c veces
la densidad de momentum en direccion a. Asociado a la energa-momentum
contenidas en T hay un M que se define en forma similar a (7.29):
1
La densidad de momentum angular en direccion x es M 032 . As mismo,
c
1 013 1 021
M es la densidad en direccion y, y M es la densidad del momen-
c c
tum angular en direccion z. El tensor M es antisimetrico bajo el inter-
cambio de los ndices . Para saber cuantas componentes independientes
tiene, analicemos la estructura A B , con B = B . Como B tiene
6 componentes independientes, entonces M tiene 24 componentes inde-
pendientes.
T = T , = 0 (7.32)
M = 0 (7.33)
173
0
M = c a M a
t x
Z Z
d 0 3
M d x = c M a d3 x
dt xa
0 = (T x T x )
= ( T )x ( T )x + T T
= ( T )x ( T )x + T T (7.35)
174
Buscaremos siempre tensores de energa-momentum que sean simetricos por
dos razones: 1) Para que que la ecuacion T = 0 exprese no solamente
la conservacion de la energa-momentum, sino tambien la conservacion del
momentum angular. 2) Para que la ecuacion del campo gravitatorio no sea
inconsistente (veanse los comentarios acerca de la simetra del tensor en-
erga-momentum que aparecen en la pagina 298).
175
176
Captulo 8
Din
amica lagrangiana
177
ya no estara en reposo respecto al primer observador inercial, el cual se ha
vuelto obsoleto y debe ser substituido por otro observador para el proximo
fragmento de trayectoria. Vemos as que diferentes observadores, todos iner-
ciales, se relevan para acompa
nar a la partcula en fragmentos infinitesimales
sucesivos. Cada uno de los observadores registra un d dado por:
p
c d = dx dx en la trayect. de la partcula (8.1)
R
y el tiempo propio se define como = d . Ya que cada d es un invariante,
un escalar, concluimos que es tambien un escalar.
x (1 ) = x (2 ) = 0 (8.2)
178
Z 2
L d = 0 en la trayectoria verdadera (8.3)
1
Z 2
0 = L d (8.4)
1
Z L
2
L dx
= x +
d (8.5)
1 dx
x d
Z 2 d
L L dx
= x + d (8.6)
1 x dx d
d
El u
ltimo termino del lado derecho se integra por partes, as:
2
Z Z 2
2
L dx
L d L
d = x x d
1 dx d dx 1 d dx
d d 1 d
En esta ecuacion el primer termino del lado derecho es cero debido a (8.2),
y la formula (8.6) queda:
Z 2
L d L
0 = x d
1 x d dx
d
Finalmente, como esta ecuacion debe ser valida para valores arbitrarios de
x , es necesario que el integrando sea cero:
L d L
= 0 (8.7)
x d dx
d
179
Estas son las celebres ecuaciones de Euler y Lagrange. El principio varia-
cional (8.3) se expresa mediante la ecuacion diferencial (8.7).
L d L
= 0 (8.8)
x Verdadera d dx
d Verdadera
dx
L es en general una funcion de x , y . Escribimos entonces L =
d
dx
L x , , . La lagrangiana L y la accion A se definen as:
d
1
L = L lagrangiana (8.9)
Z 2
A = L d Accion (8.10)
1
p
Aqu, 1/ = 1 u2 /c2 , y u es la trivelocidad de la partcula. La accion
debe ser un escalar, lo que implica que L tambien es escalar. Pero la la-
grangiana L no es escalar. Hay otra manera de escribir la accion, que se
obtiene combinando las ecuaciones (2.14), (8.9) y (8.10):
180
Z t2
A = L dt (8.11)
t1
dU
= 0 (8.12)
d
r
dx dx dx
L x , = (8.13)
d d d
L
= 0 (8.14)
x
L 1 dx dx
=
dx 2L dx d d
d d
1 dx dx
= +
2L d d
1 dx
= 2 (8.15)
2L d
1 dx
= (8.16)
L d
181
"r #
dx dx
[ L ]Verdadera =
d d
Verdadera
Esta ecuacion coincide con (8.12), lo que nos permite concluir que la es-
cogencia (8.13) es apropiada. Con (8.9) se sigue que un lagrangiano para
partcula libre es
r
1 dx dx
L= (8.17)
d d
182
dp q
= F U (8.19)
d c
r
m0 c dx dx
L + termino de interacci
on
d d
r
m0 c dx dx
L q ,
d d
y en vista de (8.9):
r
dx dx
L m0 c q
d d
E p0
Ahora, como E = mc2 = m0 c2 , tenemos = = . Ademas
m0 c2 m0 c
= A0 , entonces:
r
dx dx q 0
L m0 c p A0
d d m0 c
Sin embargo L debe ser un escalar, lo que sugiere que intentemos cambiar
p0 A0 por p A :
r
dx dx q
L = m0 c p A (8.20)
d d m0 c
183
L q
= p A, (8.21)
dx m0 c
r
L dx dx q
= m c p A
dx dx 0 d d m0 c dx
d d d
L m0 c dx q dx
= r A
dx dx dx d c dx d
d d d d
m0 c dx q
= r A
dxdx d c
d d
m0 c dx q
= r A (8.22)
dxdx d c
d d
d m c dx q d q
r 0 A = p A, (8.23)
d dx dx d
c d m0 c
d d
d q d q
p + A = p A,
d c d m0 c
dp q dx A q
+ = U A,
d c d x c
184
dx
De nuevo, la derivada debe evaluarse en la trayectoria verdadera, dando
d
dx
= U :
d
dp q q
+ U A, = U A,
d c c
dp q q
= A, A, U = F U ,
d c c
que coincide con (8.19). Vemos as que (8.20) es una buena escogencia.
185
espacio. Alrededor de esta podemos imaginar variaciones, trayectorias que
no ocurren realmente. Pensemos ahora en una porcion del espaciotiempo
comprendida entre t1 y t2 , y en un volumen V bordeado por una superfi-
cie S. Imaginemos trayectorias variadas, con unas variaciones (t, r) que
cumplen estas condiciones de frontera:
Z t2 Z Z
3
A = L dt d x = L d4 x (8.28)
t1 V
ZZ
L L
= + , dt d3 x
,
ZZ
L L
= + dt d3 x (8.30)
, x
186
o sea que (8.30) es:
ZZ ZZ
L L 3 L
dt d x = dt d3 x (8.31)
x , x ,
Z Z t2 Z t2 Z
L 3 L
LD = dtd x a
d3 x dt
V t1 c t ,0 t1 V x ,a
(8.32)
ZZ
L L
dt d3 x = 0
x ,
187
de libertad; pero al proponer una densidad lagrangiana se debe verificar que
la L propuesta sea verdaderamente un escalar1 .
(r) (r b)
(r) (r + a)
188
el sistema fsico se translada una cantidad constante a , el valor del campo
en el evento x sufre un cambio:
(x ) (x + a ) ,
o sea que (x) = (x + a ) (x ) = a . Mas cortamente:
x
= ( )a (8.34)
Esta es la formula que nos propusimos demostrar. Ella dice como vara el
campo bajo la translacion; ahora veamos como vara la derivada del campo.
Tomar derivada en ambos lados de(8.34):
= ( )a + ( ) a
= ( )a + ( ) a (8.35)
= ( )a (8.36)
L
L = a (8.37)
x
L L
L = + (8.38)
189
En el primer termino del lado derecho utilizar la ecuacion (8.33):
L L
L = +
L L
L = + a
L
= a
L
= , a (8.39)
,
L
, a = ( L) a
,
Es decir:
L
, L a = 0
,
Ahora, como las a son arbitrarias, la cantidad entre parentesis debe ser
cero:
L
, L = 0
,
L
, L = 0 (8.40)
,
L ,
L = 0
,
190
La u
ltima ecuacion se escribe
Tcan = 0, (8.41)
con
L ,
Tcan (x) = L (8.42)
,
La ecuacion (7.21) nos indico cuales son las cuatro cantidades que se conser-
van cuando la divergencia del tensor energa-momentum es cero. En nuestro
caso el tensor canonico tambien tiene divergencia cero, y en consecuencia
las cuatro cantidades conservadas son:
Z
0
Tcan (x) d3 x
Las cuatro cantidades que hay dentro del integrando dan las densidades de
energa y de momentum:
00 L
H = Tcan = L
1 0a L
P = Tcan =
c
L
, L 6= 0 ,
,
191
o sea que no hay divergencia nula ni conservaciones. Pero regresemos al
sistema aislado, para el cual la divergencia del tensor canonico es cero (se
conservan la energa y el momentum).
Tensor sim etrico, tensor asim etrico. Notese en la definicion (8.42) que
los ndices y intervienen disparejamente, o sea que el tensor canonico
Tcan no es necesariamente simetrico bajo el intercambio de y . De he-
cho, en algunos problemas ocurre que Tcan = Tcan y en otros ocurre que
Tcan 6= Tcan . Esto es preocupante ya que, como decamos en la pagina 175,
necesitamos tensores energa-momentum que sean simetricos. En aquellos
problemas felices en los que Tcan = Tcan , el Tcan es satisfactorio. Pero si en
alg
un problema resulta que Tcan 6= Tcan , entonces Tcan es insatisfactorio y se
necesita encontrar otro tensor que s sea satisfactorio. El Tcan asimetrico
debe ser simetrizado. Se trata de apoyarse en Tcan para construir otro
tensor de energa-momentum que sea satisfactorio, es decir, que cumpla
estas dos condiciones:
= 0
(8.43)
=
Como construir a partir de Tcan ? No hay una regla que sirva para
todos los casos; pero en un primer intento podemos sumarle a Tcan un nuevo
tensor, aun desconocido, que llamamos B :
= Tcan
+ B (8.44)
B = 0 (8.45)
192
B B = Tcan
Tcan (8.46)
En conclusion: cuando Tcan resulta asimetrico, debemos construir un nuevo
tensor energa-momentum satisfactorio, es decir, un que cumpla las
condiciones (8.43). Se propone = Tcan + B . La incognita B debe
cumplir las ecuaciones (8.45) y (8.46). La proxima seccion muestra como se
simetriza el Tcan del campo electromagnetico.
8.4 Formulaci
on lagrangiana del
campo electromagnetico
El campo electromagnetico nos ofrece una oportunidad para ilustrar con
un ejemplo las ideas que hemos desarrollado acerca de la formulaci on la-
grangiana de los campos. Comenzamos, como es costumbre, proponiendo
una densidad lagrangiana L tal que sus ecuaciones de Euler-Lagrange co-
incidan con las ecuaciones de movimiento, que en este caso son las cua-
tro ecuaciones de Maxwell (6.1-6.2). Ya vimos sin embargo, en la pagina
150, que la definicion F = A , A, garantiza que las dos ecuaciones
homogeneas de Maxwell se satisfagan automaticamente. Entonces la u nica
tarea que debe cumplir L es reproducir a las dos ecuaciones inhomogeneas,
condensadamente escritas en la formula (6.31). Proponemos:
1 1
L= F F J A (8.47)
16 c
L 1
= F F
A, 16 A,
1 F F
= F + F
16 A, A,
1 F F
= F + F
16 A, A,
1 F
= F
8 A,
193
L 1
= F (A , A, )
A, 8 A,
1
= F ( )
8
1
= (F F )
8
L 1
= F (8.48)
A, 4
De otro lado:
L 1
= J ,
A c
1 1
F = J , (8.49)
4 c
que coincide con la ecuacion (6.31) que queramos obtener. Vemos as que
(8.47) es una buena densidad lagrangiana. Nos interesa particularmente el
campo de radiacion en el vaco, donde J es cero; en este caso la ecuacion
(8.47) da
1
L= F F : radiacion libre (8.50)
16
El tensor can
onico Tcan . Vamos a calcular el tensor canonico de energa-
momentum, usando la formula (8.42), que en nuestro caso es:
L
Tcan = A , L (8.51)
A,
1 , 1
Tcan = F A + F F (8.52)
4 16
194
Por las razones que expusimos en la pagina 175 es importante que inves-
tiguemos si Tcan es simetrico o asimetrico; esto se resuelve calculando la
diferencia entre Tcan y Tcan :
1 , 1 ,
Tcan Tcan = F A F A 6= 0 (8.53)
4 4
1 , 1 ,
B B = F A F A (8.54)
4 4
1 1
= F (A, A , + A , ) F (A, A, + A, )
4 4
1 1
= F (F + A , ) F (F + A, )
4 4
1 , 1 ,
= F A F A (8.55)
4 4
1 ,
B = F A (8.56)
4
1 1 1
= F A = (F A ) ( F )A
4 4 4
En el u
ltimo termino del lado derecho usar la ecuacion (7.26):
1 1
B = (F A ) + J A (8.57)
4 c
y en el vaco se tiene J = 0:
1
B = (F A ) (8.58)
4
195
Esto es lo que se obtiene al imponer la condicion (8.46). Debemos todava
ponerle atencion a la condicion (8.45). El intento (8.56) es bueno si esa B
cumple la condicion (8.45). Veamos que efectivamente la cumple, aplicando
la derivada en ambos lados de (8.58):
1
B = (F A )
4
1 , 1 1 ,
= F A + F F + F A
4 16 4
1 1
= F F F (A, A , )
16 4
1 1
= F F F F
16 4
1 1
= F F F F (8.59)
16 4
1 1
= F F F F
16 4
196
1 2
2 (E + B2) (E B)x (E B)y (E B)z
1 2
(E + B 2 ) Ex Ey Ex Ez
(E B)x 2
Bx By Bx Bz
Ex2 Bx2
1 1 2
= Ex Ey (E + B 2 ) Ey Ez
4
(E B)y 2
Bx By Ey2 By2 By Bz
1 2 2
Ex Ez Ey Ez (E + B )
(E B)z 2
Bx Bz By Bz 2
2
Ez Bz
1 2
2 (E + B2) (E B)x (E B)y (E B)z
1
(E 2 + B 2 ) Ex Ey Ex Ez
(E B)x 2
+Bx By +Bx Bz
+Ex2 + Bx2
1 1
= Ex Ey (E 2 + B 2 ) Ey Ez
4
(E B)y 2
+Bx By +Ey2 + By2 +By Bz
1 2
(E B)z
Ex Ez Ey Ez (E + B 2 )
2
+Bx Bz +By Bz 2 2
+Ez + Bz
197
198
Captulo 9
Transformaciones generales
de coordenadas
(ds)2 = g dx dx , (9.1)
199
comparar esto con (9.1) concluimos que g = g . Hay otra matriz muy
importante que es la identidad, que denotamos por medio del smbolo .
Ahora definimos la matriz g como la inversa de g :
g g = (9.2)
dx = g dx (9.3)
dx = g dx (9.4)
Las ecuaciones (9.3) y (9.4) indican que g sirve para subir un subndice
y g sirve parabajar un superndice. Los ndices se pueden bajar y subir
no solo en dx y en dx , sino ademas en cualquier otra cantidad, como por
ejemplo:
C = g C C = g C
A = g A A = g A
g = g =
Cuando un ndice aparece una sola vez en un termino, decimos que es libre.
Por ejemplo, en B C los ndices y son libres. Si una misma letra aparece
dos veces en un termino, como superndice y como subndice, decimos que
se trata de ndices contrados. Por ejemplo, en B C los ndices estan
contrados.
200
por g obtenemos A = B C . Finalmente, si multiplicamos ambos lados
de A = B C por g se obtiene A = B C . En conclusion, todas estas
ecuaciones son equivalentes: A = B C , A = B C , A = B C y
A = B C . Vemos as que dos ndices libres e iguales en ambos lados de
una ecuacion se pueden subir o bajar.
(ds)2 = g dx dx = g dx dx = dx dx
(ds)2 = dx1 dx1 + (x1 )2 dx2 dx2 + 0 dx1 dx2 + 0 dx2 dx1
" #
1 0
g = 2 (9.6)
0 1/x1
= = g = = g
x x
201
9.2 Transformaciones generales
Hemos dicho que x son las coordenadas de un punto del espacio en un sis-
tema de coordenadas no primado. Ahora, si se usa otro sistema de coorde-
nadas, el mismo punto tendra coordenadas x0 . Cada una de las coordenadas
primadas x0 debe ser funcion de las no primadas x :
x0 = x0 (x ) (9.7)
Notemos que x01 /x1 = cos x2 , x01 /x2 = x1 sen x2 , x02 /x1 = sen x2 ,
y x02 /x2 = x1 cos x2 . Queremos resaltar un asunto de primera importan-
cia: las derivadas x0 /x no son constantes, lo que marca una diferencia
fundamental con las transformaciones lineales discutidas en la seccion 5.2.
Este ejemplo pone de presente la importancia de las transformaciones no
lineales. Las transformaciones no lineales son interesantes desde un punto
de vista matematico, pero tambien desde un punto de vista fsico, asunto
que se hace evidente cuando se desea generalizar la relatividad especial, co-
mo veremos enseguida:
1
z 0 = z (v0 t + at2 ) ,
2
202
para generalizar la mas simple de las relatividades, como es la de Galileo,
es preciso utilizar transformaciones no lineales, i.e., aquellas en las que las
derivadas x0 /x no son constantes. Vemos as plenamente justificado este
captulo, dedicado a las transformaciones generales de coordenadas. En este
contexto de las transformaciones generalizadas de coordenadas se definen
los vectores:
x0
dx0 = dx (9.9)
x
x0
A0 = A , (9.10)
x
203
no es una propiedad intrnseca de A; no podemos decir que A es un vector
por s solo, sino que el caracter vectorial de A es una propiedad que tiene
A en referencia a la transformacion de coordenadas x x0 . No cualquier
conjunto de n cantidades, aunque se rotulen con ndices, es un vector.
A = g A
204
0 dx0 dx0 .
coordenados; entonces la ecuacion (9.1) dice que g dx dx = g
Esta ecuacion es, obviamente,
g dx dx = g
0
dx0 dx0 (9.12)
x0 x0
g dx dx = g
0
dx dx ;
x x
Como esta ecuacion debe ser valida para todos los valores de dx , la cantidad
dentro del parentesis debe ser cero:
0 x0 x0
g = g (9.13)
x x
x0 x
= (9.15)
x x0
x0 0 x0 x0 x
g g = ,
x x x x0
205
x
y multipliquemos ambos lados de esta ecuacion por :
x0
x x0 0 x0 x x0 x
g g = (9.16)
x0 x x x0 x x0
x x0
En ambos lados de esta ecuacion aparece el factor ; la regla de
x0 x
x x0 x0
la derivacion en cadena dice que = = , o sea que la
x0 x x0
ecuacion (9.16) es
x0 x
g g
0
=
x x0
x0 x
g g
0
= (9.17)
x x0
0 x0 x
g A = A
x x0
0 x
g A0 = A ,
x0
206
9.4 Otros tensores
Pasemos a estudiar la estructura A B , cuando A y B son vectores. De
acuerdo con la regla de transformacion (9.10), las componentes contravari-
antes de A y B transforman as: A0 = (x0 /x )A y B 0 = (x0 /x )B .
Multipliquemos lado a lado estas dos ecuaciones para obtener:
x0 x0
A0 B 0 = A B
x x
x0 x0
T 0 = T (9.20)
x x
0 x x
T = T , (9.21)
x0 x0
x0 x
T 0 = T , (9.22)
x x0
y como A B :
x x0
T0 = T (9.23)
x0 x
207
x0 x0 x0
C 0 = C
x x x
x x x
C 0 = C
x0 x0 x0
x x0 x
C0 = C
x0 x x0
x0 x0 x0 x
A0 = A (9.24)
x x x x0
x 0 x x0 x
A = A = A = A = A
x0 x0 x x
Reescribamos esto:
x 0
A = A . As mismo:
x0
x0 0
A = A
x
x x 0
T = T
x0 x0
x0 x0 0
T = T (9.25)
x x
x x0 0
T = T
x0 x
208
x0 x 0
T = T
x x0
Y los de rango 3:
x x x 0
C = C
x0 x0 x0
x0 x0 x0 0
C = C
x x x
x0 x x0 0
C = C
x x0 x
x0 x
A0 B 0 = A B ,
x x0
x0 x
Ahora, = , entonces
x x0
A0 B 0 = A B (9.26)
209
x0 x0
A0 = A ,
x x
T = T T 0 = T 0
(9.27)
F = F F 0 = F 0
9.5 La derivada
Veamos la derivada del vector A0 ; empezamos usando la regla de la derivaci
on
en cadena y luego utilizamos la ecuacion (9.10):
A0 x
= A0 (9.28)
x0 x0 x
210
x x0
= A (9.29)
x0 x x
x x0 A x 2 x0
= + A
x0 x x x0 x x
Escribamos de nuevo la u
ltima ecuacion con notacion :
x x0 x 2 x0
0 A0 = A
+ A (9.30)
x0 x x0 x x
En general, la derivada
(9.31)
no es una operacion covariante
La derivada de un escalar
(9.32)
s es una operacion covariante
211
Existe una notacion concisa para la derivada, y es a traves de la coma.
El uso se aclara con los siguientes ejemplos:
A A0 F
A, = A0, = F , =
x x0 x
A0 0 A0 x A0
dA0 = dx = dx0
= dx
x0 x x0 x
A0
Es decir, dA0 = dx :
x
dA0 = (A0 ) dx
x
0
x
= A dx
x x
2 x0 x0 A
= A dx + dx
x x x x
2 x0 x0
= A dx + dA
x x x
2 x0
Si, en el u
ltimo renglon, las segundas derivadas fueran cero, quedara
x x
x0
dA0 = dA , que es la regla de transformacion de los vectores: en
x
tal caso dA sera un vector. Pero esas segundas derivadas no son cero en
las transformaciones generalizadas de coordenadas, y concluimos que en las
transformaciones generales el diferencial dA no es un vector: en general, el
diferencial de un tensor no es un tensor.
212
La derivada es una operacion de primera importancia en la fsica, como lo
muestra el hecho de que las ecuaciones de movimiento son ecuaciones difer-
enciales. Nosotros quisieramos escribir esas ecuaciones de modo tensorial,
para que sean covariantes. El problema es que la derivada y el difer-
encial d no son operaciones covariantes y, en consecuencia, es preciso que
tengamos mucho cuidado cuando queramos utilizarlas. Debemos construir
otras operaciones que se parezcan a y d, que s sean covariantes: estas
nuevas operaciones s pueden ser usadas tranquilamente en las ecuaciones de
la fsica. En las secciones 9.13 y 10.5 presentaremos esas nuevas operaciones
que se parecen a y a d, y que s son covariantes.
9.6 Matrices
Para los tensores de rangos 1 y 2, que son los que tienen 1 y 2 ndices,
respectivamente, es muy comoda la notacion matricial. Definamos la matriz
cuadrada
x0
= (9.33)
x
A0 = A
F 0 = F = F T
O mas concisamente:
A0 = A (9.34)
F 0 = F T (9.35)
213
9.7 Coordenadas esf
ericas
Antes de ejecutar esta transformacion, detengamonos brevemente para recor-
dar un asunto del calculo vectorial en el triespacio (x, y, z). Un trivector
cualquiera V se puede expresar en componentes cartesianas y tambien en
componentes esfericas. La primera manera es V = 1 x Vx + 1
y Vy + 1
z Vz y la
segunda es V = 1r Vr + 1 V + 1 V . Igualemos estas dos expresiones:
x Vx + 1
1 y Vy + 1
z Vz = 1
r Vr + 1
V + 1
V (9.36)
x, 1
Las relaciones entre los vectores unitarios (1 y , 1
z ) y (1
r , 1
, 1
) son
r = 1
1 x sen cos + 1
y sen sen + 1
z cos
= 1
1 x cos cos + 1
y cos sen 1
z sen (9.37)
= 1
1 x sen + 1
y cos
O, en forma equivalente:
214
x00 = x0
p
x01 = (x1 )2 + (x2 )2 + (x3 )2
x3 (9.40)
x02 = arc cos p
(x1 )2 + (x2 )2 + (x3 )2
x2
x03 = arctan 1
x
1 0 0 0
0 sen cos sen sen cos
= sen (9.41)
0 cos cos cos sen
r r r
sen cos
0 0
r sen r sen
Cartesianas
Al comparar esta ecuacion con (9.1) identificamos la matrix diagonal g
= diag (1, 1, 1, 1, 1). La inversa de esta matriz es:
gCartesianas = diag (1, 1, 1, 1, 1) (9.43)
2 2
gEsf
ericas = diag (1, 1, r , (r sen ) ) (9.44)
215
La matriz inversa de (9.44) es:
Esf
ericas
g = diag (1, 1, r2 , r2 sen2 ) (9.45)
1 0 0 0 c
0 sen cos sen sen
cos J
x
JEsf = sen
ericas 0 cos cos cos sen
r r
r Jy
sen cos
0 0 Jz
r sen r sen
c
J sen cos + J sen sen + J cos
x y z
= Jx cos cos Jy cos sen Jz sen (9.47)
+
r r r
Jx sen Jy cos
+
r sen r sen
216
c
Jr
JEsf
ericas =
J
(9.48)
r
J
r sen
E E
0 Er
r r sen
B B
Er 0
r r sen
FEsf
ericas = (9.49)
E B Br
0 2
r r r sen
E B Br
0
r sen r sen r2 sen
217
1 0 0 0
0 1 0 0
0 =
0 0 1 0
0 0 0 1
A = B C (9.50)
x x0 0
Si A, B y C son tensores, podemos reemplazar A = A ,
x0 x
x 0 x0 0
B = B y C = C en la ecuacion (9.50) para escribir
x0 x
x x0 0 x x0 0 0
A = B C
x0 x x0 x
x0 x
Multiplicar ambos lados de esta ecuacion por :
x x0
218
x0 x x x0 0 x0 x x x0 0 0
A = B C
x x0 x0 x x x0 x0 x
g g A0 = g g B 0 C0
A0 = B 0 C0 (9.51)
Comparando (9.51) con (9.50) nos damos cuenta de que tienen la misma
forma: (9.50) es una ecuacion covariante porque es la igualdad de dos ten-
sores. Las ecuaciones tensoriales son automaticamente covariantes.
x x0 0 x0 0
Reemplazando A = A , y C = C en (9.50) escribi-
x0 x x
mos:
x x0 0 x0 0
A = B C
x0 x x
x0 x
Multiplicar ambos lados de esta ecuacion por :
x x0
x0 x x x0 0 x0 x x0 0
A = B C
x x0 x0 x x x0 x
x0
g g A0 = g B C0
x
x0 0
A0 = B C
x
Comparando la u
ltima ecuacion con (9.51) vemos que
x0
B 0 = B ,
x
219
que es la forma como transforman los vectores: B es un vector, que es lo que
nos propusimos demostrar.
220
fsica debe ser miembro de alguna familia de 1, 4, 16, 64 elementos. Los
n umeros 1, 4, 16, 64 son muy importantes para la fsica, porque indican
los u nicos tama
nos que las familias pueden tener: no hay familias de 10, 15,
63 miembros.
es decir:
p
| det g 0 |
| det | = p
| det g |
p
| det g |
| det | = q
0 |
| det g
221
p
|g|
| det | = p (9.54)
|g 0 |
p
Esto es importante: |g| d4 x es un escalar, y se puede tomar como el ele-
mento diferencial de volumen. Es claro entonces que:
Z
un tensor p
Alg Otro tensor
|g| d4 x = (9.56)
de rango j de rango j
1
= g (g, + g, g, ) (9.57)
2
222
lado el tensor metrico g , por ser simetrico, tiene n(n + 1)/2 componentes
independientes, o sea que hay n2 (n + 1)/2 derivadas g , independientes.
Vemos pues que n2 (n+1)/2 es el n umero de smbolos independientes y
2
n (n+1)/2 es el n umero de derivadas g, independientes. En el fondo estos
dos conjuntos son equivalentes: de un lado, (9.57) determina totalmente las
derivadas g , en terminos de los smbolos , y de otro lado las ecuaciones
(9.65) determinan totalmente los smbolos en terminos de las derivadas
g , : los smbolos son como las primeras derivadas del tensor metrico.
1 g
= g + , y con primas:
2 x
0
1 0 g
0 = g + . Usar (9.21):
2 x0
1 0 x x
= g g + [ ] [ ]
2 x0 x0 x0
1 0 x x
= g g + [ ] [ ]
2 x0 x0 x0
1 h x x i
+ g 0 g +[ ][ ]
2 x0 x0 x0
0 = M + N (9.60)
223
1 0 x x
M = g g + [ ] [ ]
2 x0 x0 x0
1 0 h x x i
N = g g + [ ] [ ]
2 x0 x0 x0
1 x x x
M = g 0 g, + [ ] [ ]
2 x0 x0 x0
1 x0 x0 x x x
= g g, +[ ][ ]
2 x x x0 x0 x0
1 x0 x0 h x x x x x x
=
g g, 0 0 0
+ 0
2 x x x x x x x0 x0
x x x i
x0 x0 x0
1 x0 h x x i
x x x x
= g g, g + g g
2 x x0 x0 x0 x0 x0 x0
1 x0 h x x x x x x i
= g g, + g, g,
2 x x0 x0 x0 x0 x0 x0
x0 x x 1
= g (g, + g, g, )
x x0 x0 2
x0 x x
M= (9.61)
x x0 x0
224
h
1 0 x 2 x x 2 x i
N = g g + 0 +[ ][ ]
2 x0 x0 x0 x x0 x0
1 0 x 2 x
N = g g 2
2 x0 x0 x0
x0 x0 x 2 x
= g g
x x x0 x0 x0
x0 x0 x 2 x
= g g
x x x0 x0 x0
x0 2 x
= g g (g
)
x x0 x0
x0 2 x
= (9.62)
x x0 x0
x0 x x x0 2 x
0 = + (9.63)
x x0 x0 x x0 x0
x0 x0 x x0 2 x x x0
0= = = +
x0 x0 x0 x x0 x x0 x0 x0 x0 x
x0 2 x x x0 x x 2 x0
= =
x x0 x0 x0 x0 x x0 x0 x x
225
x0 x x x x 2 x0
0 = (9.64)
x x0 x0 x0 x0 x x
g , = + (9.65)
g , = g g (9.66)
A0
+ 0 A0 = V + W , (9.67)
x0
A0
donde V = y W = 0 A0 . Desarrollemos el termino V utilizando
x0
1
Sin embargo s es un tensor bajo el subgrupo de las transformaciones lineales,
2 x0
pues en estas las segundas derivadas son cero y entonces tambien es cero el u
ltimo
x x
termino del lado derecho de (9.64).
226
la regla de la derivacion en cadena:
x
V = A0 ; utilizar (9.10):
x0 x
x x0 x x0 A x 2 x0
= A = + A (9.68)
x0 x x x0 x x x0 x x
x0
W = 0 A0 = 0 A
x
x0 x x x x 2 x0 x0
W = A
x x0 x0 x0 x0 x x x
x0 x x
2 x0
= g g A
x x0 x0 x x
x0 x x 2 x0
= A A (9.69)
x x0 x0 x x
A
+ A (9.70)
x
227
A ; = A , + A (9.71)
Aqu estamos usando una notacion muy comoda: la coma quiere decir deriva-
da corriente y el punto y coma quiere decir derivada covariante. La expresion
(9.71) es la derivada covariante de un vector contravariante. Para las com-
ponentes covariantes se escoge:
A ; = A , A (9.72)
F ; = F , + F + F (9.73)
F ; = F , F F (9.74)
F ; = F , + F + F F
; = ,
228
(C D ) ; = C ; D + C D ; (9.75)
A ; ; = (A ; ) ;
= (A ; ) , + A ; A ;
= (A , + A ), + (A , + A ) A ;
A ; ; A ; ; = R A , (9.76)
donde
R = , , + (9.77)
As mismo:
A ; ; A ; ; = R A (9.78)
g ; = 0, g ; = 0 (9.79)
229
9.14 El tensor de Riemann
Detengamonos un momento en la ecuacion (9.78): Debido a que las can-
tidades A ; ; , A ; ; y A son tensores, podemos afirmar que R
tambien es un tensor: se llama tensor de Riemann. Que este sea un ten-
sor significa que bajo una transformacion general de coordenadas x x0
ocurre lo siguiente:
x0 x0 x0 x0
R0 = R (9.80)
x x x x
R R = R (9.81)
R R (9.82)
R = R (9.83)
R = R = R = R (9.84)
R + R + R = 0 (9.85)
R ; + R ; + R ; = 0 (9.86)
1
(R g R); = 0 (9.87)
2
R = g , + g g , g (9.88)
230
En el lado derecho de esta ecuacion los dos u ltimos terminos se obtienen
intercambiando los ndices y en los dos primeros terminos:
R = g , + g ( ) (9.89)
1
g , = g g g , + g , g , ,
2
1
= g g g , + g , g , ,
2
1
+ g , + g , g , g g ,
2
1
g , = g g , + g , g , ,
2
1
g g , + g , g , (g + g )
2
1
= g g , + g , g , , (g + g )
2
1
= g g , + g , g , , g g
2
Notese que el u
ltimo termino del lado derecho cancela exactamente al se-
gundo termino de la ecuacion (9.89). Entonces (9.89) queda finalmente as:
1
R = (g , , g , , g , , + g , , )
2 (9.90)
+ g ( )
231
La ecuaci on (9.85): En la ecuacion (9.85) vamos a hacer = (no
sumar ndices repetidos):
R + R + R = 0 (9.91)
: 010203121323
: 010203121323
232
R0101 R0102 R0103 R0112 R0113 R0123
R0201 R0202 R0203 R0212 R0213 R0223
R0301 R0302 R0303 R0312 R0313 R0323
R1201 R1202 R1203 R1212 R1213 R1223
R1301 R1302 R1303 R1312 R1313 R1323
R2301 R2302 R2303 R2312 R2313 R2323
Ahora, la ecuacion (9.84) dice que este arreglo cuadrado, o matriz, es simetri-
co. Una matriz 6 6 simetrica solo tiene 21 entradas independientes (por
ejemplo, las de la diagonal y las que se encuentran por encima de esta).
Finalmente, la ecuacion (9.92) reduce a 20 el n umero de componentes inde-
pendientes. Hemos verificado, en el caso particular n=4, que en un espacio
de n dimensiones el tensor de Riemann tiene n2 (n2 1)/12 componentes
independientes.
Para esta geometra todas las componentes del tensor de Riemann son cero,
o sea que el espacio es plano. El diferencial de longitud es la raz cuadrada
del intervalo:
p
ds = dr2 + r2 d2 + r2 sen2 d2
233
circunferencia tienen = /2, d = 0, r = a, dr = 0. A lo largo de la
circunferencia el elemento
R Rde longitud es ds = ad, y la longitud total de la
circunferencia es ds = a d = 2a. Ahora calculemos el radio. La lnea
radial pasa por el centro
R de coordenadas
R y tiene = /2, d = d = 0, y la
longitud del radio es ds = dr = a. Al dividir circunferencia sobre radio
se obtiene 2a/a = 2, que es el mismo resultado de la geometra euclidiana.
El tensor de Riemann tiene una componente que difiere de cero: R[2] 1212 =
a2 sen2 ; por esta razon podemos afirmar que el espacio bidimensional es
curvo. El diferencial de longitud es la raz cuadrada del intervalo:
p
ds = a2 d2 + a2 sen2 d2
234
R = 0 ; espacio plano
Todas las R = 0 ; espacio plano (9.94)
Todas las R = 0 espacio plano
R 6= 0 espacio curvo
Alguna R 6= 0 espacio curvo (9.95)
Alguna R 6= 0 espacio curvo
235
9.16 Coordenadas adaptadas
Teorema. Es posible [13] erigir un sistema adaptado de coordenadas tal
que, en alg
un punto E del espaciotiempo, todos los smbolos de Christoffel
valgan cero.
1
= (x xE ) +
x (x xE )(x xE ) (9.97)
2
x x
= x x x 2 x
(9.98)
x x
x
x
x x x
x 1
= g + , (x xE )(x xE ) + (x xE )g
x 2
2
x 1
= , , (x xE )(x xE ) + , (x xE )g
x x 2
+ , (x xE ) + g
x 2x
= g = |E (9.99)
x E x x E
236
Cuando ponemos estos valores en (9.98) se obtiene = 0, que es lo
E
que queramos demostrar.
x
x
T = T
x x
= R
gE = gE R E E (9.100)
237
tal que, en alg
erigir un sistema adaptado de coordenadas x un punto E del
espaciotiempo, todas las primeras derivadas g , = g sean cero.
x
R
= , , +
Evaluar esta ecuacion en el evento E, donde los smbolos de Christoffel
son cero:
R =
(9.101)
, ,
E E
Tomar la derivada :
x
R , = , , , , . As tambien:
E E
R , = , , , ,
E E
R , = , , , ,
E E
R , + R , + R , = 0
E
R ; + R ; + R ; = 0
E
238
Esta ecuacion covariante es valida en un sistema de coordenadas x . La
formula (9.53) asegura que tambien es valida en cualquier otro sistema x :
R ; + R ; + R ; E = 0
R ; + R ; + R ; = 0 (9.102)
R ; + R ; + R ; = 0
R ; R ; g R ;
R ; g R ;
R ; + R ; + g R ; = 0
R; + R ; + g g R ; = 0
R; + R ; + R ; = 0
Es decir
1
R ; R; = 0 (9.103)
2
239
1
(R g R); = 0
2
1
R ; = g R; (9.104)
2
x
Multiplicar ambos lados de (9.63) por :
x0
x 0 x x 2 x
= +
x0 x0 x0 x0 x0
Tomemos la derivada en ambos lados de esta ecuacion:
x0
x 0 2 x 0 x x
+ =
x0 x0 x0 x0 x0 x0 x0
x x 3 x
+ +
x0 x0 x0 x0 x0 x0
240
x
En el primer termino del lado derecho hacemos = , y la
x0 x0 x
ecuacion queda:
x 0 2 x 0 x x x
+ =
x0 x0 x0 x0 x0 x0 x0 x
x x 3 x
+ +
x0 x0 x0 x0 x0 x0
x0
Multiplicar ambos lados por y reordenar terminos:
x
0 x0 x x x x0 3 x
= +
x0 x x0 x0 x0 x x x0 x0 x0
x0 x x x0 2 x
+ 0
x x0 x0 x0 x x0 x0
x0 x x x x0 3 x
0 , = , +
x x0 x0 x0 x x0 x0 x0
x0 x x x0 2 x
+ 0
x x0 x0 x0 x x0 x0
en vez de x , y escribimos
Cambiemos ahora la notacion: escribimos x
0 en vez de x0 :
x
0 , = x x
0 x x 0
x 3x
+
x x
0 x 0 ,
0 x x
x 0 x
0 x
0
0
x x x 0 x0 2 x
+ x
x x
0 x 0 x
0 x
0 x
0
241
Supongamos en este momento que tanto las x como las x
0 son coordenadas
adaptadas al punto E. Vamos a evaluar la u
ltima ecuacion en E, recordando
=
que en ese punto 0 = 0:
0 x
x x
x
x0 3x
0
, =
, +
E x
x 0
x 0
x 0 x
x
0 x
0 x
0
E E
(9.105)
x x
0 x x
0 x
x x
x
= 0 0 0
, 0 0 0
,
x
x x x x
x x x E
x x
0 x x
0 x
x x
x
= 0 0 0
, 0 0 0
,
x
x x x x
x x x E
0 x
x x
x
=
, ,
x
x 0 x
0 x
0 E
Definiendo
242
, ,
,
R = (9.106)
E E
podemos escribir
x
0 x
x
x
=
R 0
R
(9.107)
E x
x 0
x 0
x 0
E
transforma como
Esta ecuacion dice que, en el punto E, la cantidad R
un tensor bajo el grupo G 0 . Por el momento comparemos las ecuaciones
(9.101) y (9.106) para afirmar que
= R
R (9.108)
E E
243
R es el u
nico tensor en el que:
1) Aparecen las derivadas g , y g ,, (9.109)
2) Las g ,, aparecen linealmente.
Contraer y : g R = R
Contraer y : g R = g R = R
Contraer y : g R = 0
Contraer y : g R = g R = R
Contraer y : g R = g R = R
El u
nico tensor de rango dos que se puede obtener
(9.110)
a partir de R es R , y el u
nico escalar es R .
= b x ,
x (9.111)
244
con b constante. Derivando dos veces se encuentra:
2x
=0 (9.112)
x x
Ahora usamos la ecuacion (9.20) para calcular el tensor metrico en las nuevas
coordenadas:
x
x
g = g ,
x x
y utilizando (9.111):
g = b b g (9.113)
Para demostrar que los datos son compatibles con los coeficientes b , tomamos
a estos b como si fueran incognitas, y nos preguntamos si acaso hay su-
ficientes ecuaciones para averiguar las n2 las incognitas. Como el tensor
metrico es de dos ndices, tiene n2 componentes; pero ademas es simetrico,
entonces solo tiene (n2 +n)/2 componentes independientes. Esto nos permite
afirmar que (9.114) es un conjunto de (n2 + n)/2 ecuaciones independientes.
Tenemos pues (n2 + n)/2 ecuaciones y n2 inc ognitas; pero n2 >(n2 + n)/2 , es
245
decir, hay mas incognitas que ecuaciones: el sistema de ecuaciones esta sub-
determinado, y por consiguiente hay un n umero infinito de soluciones para
las incognitas b . En conclusion, s es posible asignar a las componentes
g (E) los valores que nosotros arbitrariamente queramos darles2 . Pensan-
do en una matriz b cuyas entradas son b , la ecuacion 9.114) se escribe
concisamente de la manera siguiente:
g = b b g = b b b b R
R (9.116)
246
Uno podra poner en duda que en las u ltimas coordenadas x los smbo-
(E) sigan siendo cero. Esta duda es justificada porque,
los de Christoffel
sabido que los (E) se volvieron cero en la primera transformacion, como
garantizamos que siguen siendo cero despues de la segunda transformacion
de coordenadas? En otras palabras: como garantizamos que las x sean coor-
denadas adaptadas? Pues as ocurre, verdaderamente; en efecto, utilizando
la formula (9.64) para escribir la transformacion x
x encontramos:
x
= x x
x
x 2 x
x x
x
x
x x
x
La segunda transformacion x
x
es, de acuerdo con las formulas (9.111) y
(9.116), as:
= b x
x , g = b b g , = b b b b R
R ,
1
= b (x xE ) +
x b (x xE )(x xE ) (9.117)
2
g = b b g (9.118)
R = b b b b R (9.119)
247
pasos: Se escribe la ecuacion (9.115) y, por inspeccion, se averigua la matriz
b . Conocidos los coeficientes b , uno ejecuta las tres ecuaciones (9.117)-
(9.119). Debe resaltarse que estas tres ecuaciones son validas en todos los
puntos del espacio. Finalmente, notese que en estas ecuaciones no aparecen
cantidades del tipo x , que corresponden a las coordenadas in-
, g ni R
termedias; en otras palabras, estas ecuaciones muestran una transformacion
directa x x , sin vestigios de la transformacion intermedia x x .
9.21 Un ejemplo
(1 s/rE )1 0 0 0
0 (1 s/rE ) 0 0
g (E) =
0 0 2
rE 0
0 0 0 (rE sen E )2
(9.120)
248
1 0 0 0
0 1 0 0
g (E) =
(9.121)
0 0 r2 0
E
0 0 0 (rE sen E )2
!
p 1
b = bT = diag 1 s/rE , p ,1,1 (9.122)
1 s/rE
0101 = R
1010 = R
1001 = R
0110 = s
R
r3
0202 = R
2020 = R
2002 = R
0220 = s(1 s/rE )
R
2r5 (1 s/r)
0303 = R
3030 = R
3003 = R
0330 = s(1 s/rE )
R 5
2r (1 s/r) sin2
1212 = R
2121 = R
2112 = R
1221 = s(1 s/r)
R
2r5 (1 s/rE )
1313 = R
3131 = R
3113 = R
1331 = s(1 s/r)
R
2r5 (1 s/rE ) sin2
2323 = R
3232 = R
3223 = R
2332 = s
R 7 2
r sin
Para calcular el tensor metrico g en las coordenadas finales x
debemos
colocar las matrices (13.14) y (9.122) en la formula (9.118) para obtener:
249
1 s/rE
1 s/r 0 0 0
1 s/r
0 0 0
g =
1 s/rE
(9.123)
0 0 r2 0
0 0 0 (r sen )2
1 1
2 = E + (r rE )( E ) sen cos ( E )2
x
r 2
1
3 = E + (r rE )( E ) + cot ( E )( E )
x
r
250
de Riemann, de cualquier dimension n, es posible construir un sistema de
coordenadas adaptadas a un punto (llamemoslo E), de modo que en E la
metrica y los smbolos de Christoffel sean como los de un espacio plano. A
primera vista se podra creer que el espacio se ha aplanado en E , pero ese
pensamiento es erroneo: la curvatura o planitud del espacio en E es una
propiedad intrnseca de la geometra, tal como habamos mencionado en la
pagina 235.
251
252
Captulo 10
Las geod
esicas
253
infinito de curvas, y cada una tiene su propia longitud. Dentro del infinito
numero de curvas que conectan a E1 con E2 hay una muy especial, llamada
la geodesica, en la que se extremaliza la longitud total:
Z E2 p
g dx dx = 0 en la geodesica. (10.1)
E1
p
Hemos cometido una ligereza al tomar la raz cuadrada g dx dx , cosa
que solo puede hacerse cuando el intervalo no es negativo. Por el momento
vamos a suponer que los intervalos son positivos y aplazamos para la seccion
10.2 el estudio de los intervalos nulos y negativos.
q
d =
g (x) dx dx (10.2)
Geod
esica
R
La integral = E1 d es la longitud parcial de la geodesica desde E1 hasta
un punto cualquiera de ella. El parametro es propiedad de la geodesica y
sirve para caracterizar los puntos que a ella pertenecen. Mas explcitamente,
denotando por x a los puntos de la geodesica, escribimos x=x () ; las co-
ordenadas de x tambien son funciones de , es decir, x
=x
() . Pensemos
ahora en otra curva diferente a la geodesica, que se construye punto a punto
de la manera siguiente: el punto x () se corre una cantidad x() , o sea
que las coordenadas del nuevo punto seran x () + x () . Vemos as que
todos los puntos de la geodesica y todos los puntos de la nueva curva son
funciones del parametro escalar . Las variaciones x son infinitesimales
y arbitrarias, pero deben ajustarse a la condicion de que la curva variada
+ x tambien pase por E1 y E2 :
x
x = 0 en E1 y en E2 (10.3)
r
dx dx
L g (10.4)
d d
254
Nos ahorramos los pasos que llevan de (8.3) a (8.8), y simplemente escribimos
las ecuaciones de Euler-Lagrange (8.8) con L en vez de L:
L d L
= 0 (10.5)
x Geod
esica d dx
d Geodesica
Los parecidos con el Captulo 8 no cesan aqu. En efecto, el lector podra re-
conocer que el problema que queremos atacar es muy parecido al que re-
solvimos en los pasos que llevan de la ecuacion (8.13) a la (8.16). Pero hay
una diferencia importante: en esa ocasion la metrica era constante, en
cambio en el problema que ahora nos ocupa ocurre que g es variable.
Concretamente, en vez de (8.14) debemos ahora escribir
L 1 dx dx
= g ,
x 2L d d
La analoga de (8.15) es
L 1 dx
= g
dx L d
d
1 dx dx d 1 dx
g , g =0 (10.6)
2L d d Geod d L d Geod
1 dx dx d dx
g , g =0
2 d d d d
1 dx dx d dx
0 = g , g
2 d d d d
255
1 dx dx d dx d2 x
= g , g g
2 d d d d d2
h1 i dx dx d2 x
= g , g, g
2 d d d2
d2 x 1 dx dx
0 = 2
+ g 2g , g ,
d 2 d d
d2 x 1 dx dx
= + g g , + g , g , + g , g ,
d2 2 d d
d2 x dx dx 1 dx dx
= + + g g , g , (10.7)
d2 d d 2 d d
Se observa que g , g , es antisimetrico bajo la permutaci on ,
mientras que dx dx es simetrico; entonces, de acuerdo con la ecuacion
(5.38), la contraccion total es cero. Vemos as que el u
ltimo termino del lado
derecho de la ecuacion (10.7) es cero, o sea que:
d2 x dx dx
+ = 0 (10.8)
d2 d d
10.2 Par
ametros afines
recibe el nombre de par ametro afn. La definicion inicial (10.2) aclara cual
2
es el significado de d : es el intervalo a lo largo de la geodesica. En la
ecuacion diferencial de las geodesicas (10.8) aparece como el parametro
importante, la variable independiente. En este momento damos un giro a
256
la presentacion, para definir al parametro afn en base a la ecuacion de
las geodesicas: si la ecuacion de una geodesica es (10.8), entonces es un
parametro afn de esa geodesica. Ahora, si es un parametro afn de una
geodesica, entonces a + b tambien es parametro afn (a y b constantes). En
efecto, llamando 0 = a + b, la ecuacion (10.8) se convierte en
d2 x dx dx
+ = 0
d02 d0 d0
Hagamos una pausa para ver un ejemplo u til de lo que puede ser un parametro
afn. En el caso particular del espaciotiempo, consideremos el tiempo propio
d de una partcula masiva. De acuerdo con la ecuacion (8.1):
ds2 = c2 d 2 (10.9)
d2 x dx dx
+ = 0 partcula masiva (10.10)
ds2 ds ds
d2 x dx dx
+ = 0 partcula masiva (10.11)
d 2 d d
ds2 = d2 , (10.12)
257
donde = 0, 1. El valor = 0 es para intervalos nulos, mientras que = 1
para intervalos positivos o negativos. En todos los casos d2 es una canti-
dad positiva. Para intervalos positivos, es claro que d2 es directamente el
intervalo, y para intervalos negativos d2 es el negativo del intervalo. Para
intervalos nulos no hay una regla general que se aplique a todos los casos;
lo que usualmente ocurre es que la misma ecuacion de la geodesica indica
cual es el parametro afn que se debe emplear; el lector interesado puede
dirigirse a la ecuacion (13.45), donde encontrar a un ejemplo de como las
geodesicas ayudan a determinar el parametro afn.
dx dx
g = (10.13)
d d
d
V = V V (10.14)
d
d
g V = g V V
d
d d
(g V ) V g = g V V
d d
Es decir:
d d
(g V ) = V g g V V
d d
258
dx
= V g, g V V
d
1
= V V g, g g (g, + g, g , ) V V
2
1
= V V g, (g, + g, g , ) V V
2
1 1
= g , V V + (g, g, ) V V
2 2
d 1
(g V ) = g , V V
d 2
dx
g , = 0 g es constante (10.15)
d
259
10.4 Las ecuaciones algebraicas
de las geod
esicas
En el caso general disponemos de la ecuacion del intervalo (10.13) y de las n
ecuaciones diferenciales (10.8). Como las (10.8) son ecuaciones de segundo
grado, su solucion puede presentar dificultades. En comparacion, la (10.13)
tiene derivadas de primer grado, y por esto puede ser mas tratable que las
(10.8). Como recomendacion general, uno debe utilizar la (10.13). Se presen-
tan ocasionalmente casos felices, en los que hay constantes del movimiento;
en estas situaciones, ademas de las (10.8) y de las (10.13), uno dispone de
una o varias ecuaciones (10.15). A continuaci on veremos algunos ejemplos;
en todos ellos el parametro afn sera erradicado por completo, o sea que
podremos escribir la ecuacion de la lnea geodesica sin que aparezca .
1 0
g = (10.16)
0 r2
K = r2 (10.17)
= Constante (10.18)
r4
2 = (10.19)
K2
2
dr
La ecuaci
on del intervalo: Como = 1 , la ecuacion (10.13) es +
d
2
d
r2 = 1 , que ahora escribimos cortamente as:
d
260
2
dr
+ r2 2 = 1 (10.20)
d
Truco:
dr dr d dr
= = (10.21)
d d d d
2
dr
Entonces (10.20) queda 2 + r2 2 = 1 , de donde:
d
2
dr
+ r2 = 2 (10.22)
d
dr 2 r4
+ r2 = (10.23)
d K2
dz
d =
1 z2
Integrar desde z = 1:
Z Z z
dz
d =
0 1 1 z2
0 = arc cos(z)
O sea que
r cos( 0 ) = K (10.24)
261
Esta es la ecuacion de la lnea recta que esta a una distancia K del origen y
que forma un angulo /2 + 0 con el eje x.
Recopilacion:
262
las anotaciones consignadas en el numeral 4.
1 0
0 1
Para que nos demos cuenta de la existencia de alguna constante del movimien-
to se debe escoger un sistema coordenado adecuado. Si en un espacio hay
m constantes del movimiento, existe un sistema coordenado x en el que el
tensor metrico g es independiente de m coordenadas. Si el espacio es de
dimension n entonces, obviamente, m n. Si m = n, el espacio es plano;
en efecto, en este caso existe un sistema coordenado x en el que el tensor
metrico g es independiente de todas las coordenadas; este tensor metrico
es constante su tensor de Riemann es cero el espacio es plano.
263
1
a sen2 = , de donde:
2 = sen4
(a ) (10.25)
La ecuaci
on del intervalo: Como = 1, la ecuacion (10.13) es
d 2 d 2
a2 + a2 sen2 = 1
d d
d 2
a2 + a2 sen2 2 = 1 (10.26)
d
Truco:
d d d d
= = (10.27)
d d d d
d 2
a2 2 + a2 sen2 2 = 1 , de donde:
d
2
d
+ sen2 = (a )
2 (10.28)
d
d p
= sen sen2 1 . Integrar:
d
Z Z
d
d =
sen sen2 1
cos
tan( + 0 ) =
sen2 1
No es difcil convertir esta formula en algo mas manejable. Para tal efecto
264
dibujemos esta formula en un triangulo rectangulo, de tal manera que uno
de los angulos agudos sea + 0 , el cateto opuesto cos , el cateto adyacente
cos
sen( + 0 ) =
1 sen
cos
sen 0 cos + cos 0 sen =
1 sen
1
sen 0 (a sen cos ) + cos 0 (a sen sen ) = (a cos )
1
1
sen 0 X + cos 0 Y = Z
1
AX + B Y + C Z = 0
265
El problema inverso. Consideremos el siguiente problema para un es-
dy
pacio bidimensional en coordenadas (x, y): dada la pendiente p(x) =
dx
de una geodesica, averiguar una metrica. Para resolver este problema basta
seguir de atras hacia adelante alguno de los dos ejemplos recien vistos. No
es difcil verificar que una solucion es:
ds2 = a f 2 (x) f (x) p2 (x) (dx)2 + f (x) (dy)2 , (10.29)
es decir:
a f 2 (x) f (x) p2 (x) 0
g = (10.30)
0 f (x)
Reescribir la ecuaci
on (10.29): Combinando las ecuaciones (10.13) y (10.29)
escribimos
2 2
2 2 dx dy
a f (x) f (x) p (x) + f (x) = (10.31)
d d
2 = a f 2
(y) (10.32)
La ecuaci
on del intervalo: La ecuacion (10.31) es
266
2
2 2 dx
a f (x) f (x) p (x) 2=
+ f (x) (y) (10.33)
d
Truco:
dx dx dy dx
= = y
d dy d dy
2
2 2 dx
a f f p (x) y 2 + f y 2 = , de donde:
dy
2
2 2 dx
a f f p (x) + f = y 2
dy
2
2 2 dx
a f f p (x) + f = af 2 , es decir:
dy
2
dx a f2 f
= ,
dy a f 2 f p2 (x)
dx 2 1
o sea que = 2 , que es la hipotesis inicial de este problema.
dy p (x)
Concluimos entonces que la metrica de la formula (10.29) es verdaderamente
una solucion.
267
tambien hay un campo vectorial A . Un concepto importante es la rata de
cambio del campo a medida que se recorren los diferentes puntos de la cur-
va. Queremos asignarle a este concepto una cantidad matematica, y como
estamos en el contexto de las transformaciones de coordenadas, deseamos
que tal cantidad sea un tensor bajo el grupo de las transformaciones general-
izadas de coordenadas. Nuestro primer intento sera proponer dA /d, pero
esta cantidad no es un tensor. Motivados por dA /d, pasamos a definir un
tensor que se llama la derivada a lo largo de una curva:
DA dx
= A ; (10.34)
D d
DA A dx dx
= + A
D x d d
dA dx
= + A (10.35)
d d
D2 A D DA
=
D2 D D
d DA DA dx
= +
d D D d
Coloquemos (10.35) en la u
ltima ecuacion:
D2 A d2 A d dx dA dx
2
d x
= + A + + A
D2 d2 d d d d d2
dA dx dx dx
+ + A
d d d d
268
d2 A
dx dx
dA dx
= + , A + 2
d2 d d d d
d2 x
dx dx
+ A +
A
d2 d d
Esta expresion vale para cualquier curva. Ahora pensemos que la curva es
una geodesica. Escojamos que sea el parametro afn :
D2 A d2 A
dx dx
dA dx
= + , A + 2
D2 d2 d d d d
(10.36)
d2 x
dx dx
+ A +
A
d2 d d
d2 x dx dx
=
d2 d d
D2 A d2 A
dx dx
dA dx
= + , A + 2
D2 d2 d d d d
(10.37)
dx dx dx dx
A + A
d d d d
10.6 R y la curvatura
En esta seccion veremos por que R se llama el tensor de curvatu-
ra. Comenzaremos estudiando la rata a la que se separan o acercan dos
geodesicas y de all extraeremos el verdadero significado de la curvatura de
un espacio. Se hara evidente que R es el que indica si el espacio es plano
o curvo.
269
Pero en un espacio curvo el ritmo de separacion (o de acercamiento) no es
constante. Para determinar si un espacio es curvo en una region, uno puede
estudiar dos geodesicas y determinar si se juntan (o se separan) acelerada-
mente.
() = X () x () (10.38)
Usemos la formula (10.8) para escribir las ecuaciones de las dos geodesicas:
d2 x dx dx
+ (x) = 0 (10.39)
d2 d d
d2 X dX dX
+ (X) = 0 (10.40)
d2 d d
d2 x d2 dx d dx d
+ + (x + ) + + = 0 (10.41)
d2 d2 d d d d
(x + ) = (x) + (x) +
x
Ahora suponemos que las dos geodesicas son muy cercanas, de modo que en
la serie de Taylor tomamos u
nicamente los dos primeros terminos:
270
d2 x d2 dx dx
dx dx
+ + + ,
d2 d2 d d d d
(10.42)
d dx
+ 2 = 0
d d
d2
dx dx
d dx
= , 2 (10.43)
d2 d d d d
D2
Queremos calcular . Para esto colocamos (10.43) en (10.37), tras lo
D2
cual se obtiene:
D2
dx dx
= ( , , + )
D2 d d
D2 dx dx
= R ; usar (9.84):
D2 d d
dx dx
= R
d d
D2 dx dx
= R (10.44)
D2 d d
271
272
Captulo 11
El principio de equivalencia
Para captar esta idea pensemos en el espacio que ocupa el sistema solar.
El campo gravitatorio en cada punto de ese espacio, y en cada instante,
esta determinado por las trayectorias del Sol, los planetas y todos los otros
objetos del sistema solar. Este campo gravitacional tiene una magnitud que
depende de la constante G de la gravitaci on universal. Imaginemos ahora
un proceso matematico (no fsico) que consiste en prender o apagar la
gravitacion. Apagarla es anular paulatinamente la constante G 0, y pren-
derla es el proceso opuesto. A medida que el campo se va apagando, g se
modifica gradualmente y, cuando G llega al valor 0, el tensor g llega al
valor que tiene en el espaciotiempo plano de la relatividad especial. Despues
de apagar la gravitacion comencemos a prenderla de nuevo: a medida que
G crece el campo se instala en el espaciotiempo, y eso se manifiesta como
una modificacion paulatina de los g . No olvidemos que el intervalo entre
dos eventos, dado por ds2 = g dx dx , depende explcitamente de g , y
en consecuencia ds2 va variando a medida que G se prende o se apaga. Este
ejemplo imaginario aclara la idea importante que queremos establecer: el
campo gravitatorio afecta los intervalos ds2 , es decir, la gravitaci
on se man-
ifiesta como un hecho geometrico.
Una vez captada la idea central, se plantean los dos problemas basicos de la
relatividad general: de que manera la gravitaci
on afecta las ecuaciones que
273
expresan las leyes fundamentales de la fsica y, de otro lado, de que manera
los astros, las nubes de galaxias, la energa en general, determinan al ten-
sor metrico. En este captulo atacamos el primer problema y reservamos el
segundo problema para el proximo captulo.
Se dice que una partcula esta en cada libre cuando esta sometida u nica-
mente a la interaccion gravitatoria. De que manera el campo gravitatorio
afecta la trayectoria de una partcula en cada libre? La respuesta de esta
pregunta se encuentra en el Postulado de las Geodesicas, seg un el cual las
partculas en cada libre siguen lneas geodesicas en el espaciotiempo.
Una vez que se acepta el postulado de las geodesicas, hay serias razones
para pensar que el espaciotiempo es probablemente curvo, y que la grav-
itacion es la causa de la curvatura. Supongamos que una partcula se suelta
desde el piso 14 de un edificio, y que en el mismo instante se suelta otra desde
el piso 15. Llamemos r1 y r2 a las posiciones de las partculas en cualquier
instante t. Si suponemos que no hay atmosfera, debemos admitir que estan
1
Tomemos por ejemplo el smbolo r en coordenadas (ct, r, , ). En el espaciotiempo
vaco, plano, de la relatividad especial, se tiene r = r. Sin embargo, si hay una masa
M en el origen de coordenadas, se tiene r = r + 2GM/c2 . Vease la secci on 13.2.
274
en cada libre. Las aceleraciones de las dos partculas se pueden averiguar
usando la fsica newtoniana, y estan dadas por GM/r12 y GM/r22 , o sea
que la aceleracion de una respecto a la otra es GM (1/r12 1/r22 ) 6= 0: La
aceleracion relativa entre las partculas en cada libre no es cero. Entonces,
de acuerdo con el postulado de las geodesicas, la aceleracion relativa entre
las geodesicas no es cero: he aqu la desviacion geodesica que estudiamos en
la seccion 10.6. Vimos en esa seccion que la desviacion geodesica es el indi-
cador de curvatura, lo que nos lleva a la conclusion final: las dos partculas
se mueven en un espaciotiempo curvo. Lo mas razonable es pensar que la
Tierra ocasiona esa curvatura. Cualquier proyecto teorico que adopte el pos-
tulado geodesico se compromete con la posibilidad de que el espaciotiempo
sea curvo, y que esta curvatura se debe al campo gravitacional.
275
mi = mg
276
se vuelvan cero. El tensor metrico, en cualquier evento del espaciotiempo,
sera una matriz 4 4 complicada, pero esta matriz se vuelve en el even-
to E; as mismo, los smbolos de Christoffel, en otros eventos, no son en
general cero, pero se vuelven cero en el evento E. En todo el espaciotiempo
el sistema coordenado geodesico es, en general, curvilneo y no ortogonal;
pero en E ocurre algo [15] especial: las coordenadas geodesicas se cruzan
ortogonalmente, formando un sistema de ejes cartesianos.
d2 x
dx d
x
+ = 0
d 2 d d
Supongamos que esta partcula pasa por el evento E. Esto significa que
podemos evaluar en E todos los terminos de la u
ltima ecuacion, obteniendo
d2 x x
x d
d
+ (E) = 0
d 2 E d d E
277
(E) = 0, entonces
Pero
d2 x
= 0 (11.3)
d 2 E
278
ejemplo de la utilizacion de este Principio, tomemos las tres ecuaciones ten-
soriales mencionadas (6.31), (6.32) y (7.32); de acuerdo con el Principio de
Equivalencia:
4
F , = J
E c E
F , + F, + F, E = 0
T, = 0
E
4
F ; = J
E c E
F ; + F; + F; E = 0
T ; = 0
E
4
F ; E = J
c E
F ; + F; + F; E = 0
T ; E = 0
279
4
F ; = J
c
F ; + F; + F; = 0 (11.4)
T ; = 0
280
11.5 El acople mnimo
Vamos a ver el principio de equivalencia desde otra perspectiva [11]. Para
tal efecto nos planteamos el siguiente ejercicio interesante: tomar las ecua-
ciones de la relatividad especial escritas en coordenadas cartesianas y, para
anadir los efectos de la gravitacion, sumarles a esas ecuaciones algunos otros
terminos que contengan altas derivadas del tensor metrico. Tomemos por
ejemplo la ecuacion (6.31) para sumarle terminos que contengan primeras,
segundas, terceras,... derivadas de g :
4
F , = J + [1g] + [2g] + [3g] +
c
4
F , = J + [Christ] + [Riem] + [1Riem] + [2Riem] +
c
281
a traves de la operacion punto y coma (;). A esto se le dice el acople mni-
mo: solamente a traves de los smbolos de Christoffel el campo gravitatorio
influye en las ecuaciones tensoriales que expresan a las leyes fsicas.
11.6 Ejemplos
Queremos mostrar en ejemplos concretos la manera como aparecen los smbo-
los de Christoffel cuando se trata de incluir la influencia del campo gravitato-
rio. Para tal efecto, en las ecuaciones de Maxwell y las leyes de conservacion
(6.31)-(6.32)-(7.13)-(7.32) cambiamos coma por punto y coma:
4
F ; = J (11.5)
c
F ; + F; + F; = 0 (11.6)
J ; = 0 (11.7)
T ; = 0 (11.8)
4
F , + F + F = J (11.9)
c
4
F , + F = J
c
F , F F + F, F F
+ F, F F = 0
282
Esta ecuacion se puede reescribir as:
F , + F, + F, ( F + F )
( F + F ) ( F + F ) = 0 ,
es decir:
F , + F, + F, ( F F )
( F F ) ( F F ) = 0
Observese que en esta ecuacion son cero las cantidades contenidas en los
tres parentesis, lo que nos permite escribir F , + F, + F, = 0. Hemos
descubierto, curiosamente, que si en la ecuacion F ; + F; + F; = 0
se cambia punto y coma por coma, lo que queda es tambien una ecuacion
covariante:
F ; + F; + F; = 0 F , + F, + F, = 0 (11.10)
J , + J = 0 (11.11)
T , + T + T = 0 (11.12)
4
F , + F = J (11.13)
c
F , + F, + F, = 0 (11.14)
283
Schwarzschild. Estas cuatro ecuaciones son validas en general, cualquiera
que sea el campo gravitacional. Conviene desarrollarlas en detalle para un
caso particular. Hay un campo gravitacional muy conocido, que es el causado
por una masa puntual M que no tiene carga electrica ni momentum angular.
Este se conoce como la solucion de Schwarzschild, y lo estudiaremos en el
captulo 13. Los smbolos de Christoffel de ese campo gravitacional (seccion
13.2) son:
s
0 01 = 0 10 =
2r(r s)
s(r s) s
1 00 = 1 11 =
2r3 2r(r s)
1 22 = r + s 1 33 = (r s) sen2
1
2 33 = sen cos 2 12 = 2 21 =
r
1
3 13 = 3 31 = 3 23 = 3 32 = cot
r
En estas expresiones, s = 2GM/c2 es una medida de la masa M , aunque
tiene unidades de longitud. Vemos aqu, de manera patente, que el campo
gravitacional afecta a los smbolos de Christoffel. Cuando s = 0 se tiene
M = 0, el campo gravitacional se anula y el espaciotiempo se aplana; en
tal caso estos smbolos regresan a la forma que tenan en el espaciotiempo
plano en coordenadas esfericas. No olvidemos que estamos con coordenadas
esfericas, o sea que, por ejemplo, T 12 significa T r , etc.
2 r
J , + J + J cot = 0
r
2 s 1
T t, + T tr + T t cot = 2 T tr
r 2r 1 s/r
2 rr
T r, +T + T r cot r T rT sen2
r
s 1
= 2 (1 s/r) T tt T rr sT sT sen2
2r 1 s/r
284
4 r
T , + T + T cot T sen cos = 0
r
4
T , + T r + 3T cot = 0
r
285
286
Captulo 12
La ecuaci
on del campo gravitatorio
La ecuacion de Poisson:
2 = 4G (12.1)
Es claro que para generalizar una ecuacion no hay un camino u nico, sino
que se presentan varias posibilidades. En este captulo seguiremos el camino
de Einstein y llegaremos a la celebre ecuacion
1 8G
R g R = 4 T , (12.2)
2 c
287
penoso que le tomo varios a nos y que concluyo [17, 18, 19, 20] en noviem-
bre de 1915. Curiosamente, Hilbert se adelant o a Einstein y publico esta
formula cinco das antes [21]. Por tal motivo (12.1) se llama la ecuaci
on de
Hilbert-Einstein.
288
ideas, muy laxa, que expondremos enseguida. De acuerdo con la gravitaci
on
newtoniana, la aceleracion de una partcula en cada libre es :
aceleracion (12.3)
x
d2 x dx dx
2
d d d
aceleraci
on
g
aceleracion (12.4)
x
289
12.3 El potencial g00 en coordenadas cartesianas
Para responder esta pregunta regresemos al estudio de una partcula en
cada libre en coordenadas cartesianas x = (ct, x, y, z). La ecuacion (5.54)
muestra que la componente U 0 es mucho mayor que las otras tres U a , o
sea que dxa /d es despreciable en comparacion con dx0 /d , y la ecuacion
(10.11) se convierte en
d2 x dx0 dx0
00
d 2 d d
2
2 dt
= c 00 (12.5)
d
1
00 = g (g0,0 + g0,0 g00, )
2
1
00 = g b g00,b (12.6)
2
g = + h , (12.7)
290
2
d2 x c2 b dt
= h00,b
d 2 2 d
d2 t
= 0
d 2
2
d2 r c2 dt
2
= h00 (12.8)
d 2 d
dt
= constante (12.9)
d
y usando (12.9):
2
d2 dt d2
=
d 2 d dt2
d2 r c2
= h00
dt2 2
d2 r
= ,
dt2
291
2
h00 =
c2
2
h00 = + constante
c2
2
h00 = (12.10)
c2
2
g00 = 1 + en el lmite newtoniano (12.11)
c2
Aprendemos as que de los diez potenciales relativistas hay uno, g00 , que
esta conectado al potencial newtoniano de acuerdo con la u ltima ecuacion.
El analisis recien hecho establece que es g00 , pero no da informacion acerca
de los otros nueve potenciales.
12.4 La ecuaci
on de Hilbert-Einstein
Ha llegado el momento de construir una ecuacion tensorial de fuentes para el
campo gravitatorio g . Con este proposito, vamos a apoyarnos en el ejemplo
que nos dan las dos grandes ecuaciones de fuentes de la fsica clasica, que son
(12.1) y (6.19). Estas dos ecuaciones tienen varios aspectos en com un: al lado
derecho aparece la fuente del campo y al lado izquierdo aparecen derivadas
del campo. Demos el primer paso diciendo que buscamos una ecuacion de la
forma:
292
Alg
un tensor de rango 2 que es derivadas de g es T (12.13)
Las dos ecuaciones clasicas que sirven de modelo, (12.1) y (6.19), tienen
en el lado izquierdo derivadas del campo. Estas derivadas no son de grado
superior a 2, y las derivadas de grado 2 aparecen linealmente. Para seguir
el ejemplo queremos proponer ahora una ecuacion de ese estilo, o sea que
en el lado izquierdo de (12.13) queremos escribir alg un tensor de rango 2
con las siguientes propiedades: 1) puede tener g y g, 2) debe tener
segundas derivadas g,, y 3) las segundas derivadas g,, deben aparecer
linealmente. Acudimos a los enunciados (9.109) y (9.110) para afirmar que
la forma mas general del lado izquierdo de (12.13) es una combinacion lineal
de R , R y g :
aR + b0 g R + 0 g = 0 T ,
R + bg R + g = T , (12.14)
R + bg R + g = T (12.15)
R; + bg R; + bg ; R + g ; = T;
R; + bg R; = T;
293
otro lado, la constante b est a todava sin determinar. Resolveremos estas
dos ambig uedades con un solo movimiento. Digamos que T re une todas
las formas de energa-momentum que no son gravitatorias; la frase escrita
en bastardilla en la pagina 280 afirma que T; = 0, de modo que la u
ltima
ecuacion es:
R; + bg R; = 0
1
R g R + g = T (12.16)
2
1
R g R = T (12.17)
2
R = T (12.18)
1
R = T g T (12.19)
2
294
1
R00 = T00 g00 T (12.20)
2
R , ,
R , ,
1 h i 1 h i
R = g (g, + g, g, ) g (g, + g, g, )
2 , 2 ,
1 h i 1 h i
R = (h, + h, h, ) (h, + h, h, )
2 , 2 ,
1
= [h,, h,, h,, + h,, ]
2
295
1
R00 = [h0,0, h00,, h,0,0 + h0,,0 ]
2
1
R00 = h00,,
2
De nuevo, las derivadas respecto a x0 son cero, o sea que en el lado derecho de
esta ecuacion sobreviven u
nicamente los ndices latinos, y podemos escribir
1 ab 1
R00 = h00,a,b , es decir R00 = 2 h00 , y en vista de (12.10) llegamos
2 2
finalmente a
1 2
R00 = (12.21)
c2
1 1
(g00 )2 T 00 (g00 )2 T 00 = (g00 )2 T 00 (12.23)
2 2
1 2 1
2
= c2 (g00 )2
c 2
296
2
De nuevo, para campo debil la ecuacion (12.11) da g00 = 1 + 1:
c2
1
2 = c4 ,
2
1 8G
R g R = 4 T (12.25)
2 c
8G
R = T (12.26)
c4
Observese que
T = 0 R = 0 (12.27)
297
por consiguiente, hay un T 6= 0: el tensor R no es, en general, cero. 2) Si
el planeta no es fuente de campo electromagnetico se cumple que T = 0 y
en consecuencia R = 0 .
298
ma tiempo universal. En tal caso, decimos que el campo gravitatorio es
estacionario (tambien se le dice constante). El tiempo universal es una co-
ordenada cclica, y en consecuencia las curvas geodesicas tienen, asociada
a x0 , una constante del movimiento. Lo del tiempo universal y el campo
constante es solo de interes academico porque, estrictamente, debemos ad-
mitir [22] que solo puede ser constante el campo producido por un cuerpo;
en efecto, cuando hay varios cuerpos las atracciones mutuas producen unas
aceleraciones que hacen que el campo cambie con el transcurso del tiempo.
(ds)2 = g00 dx0 dx0 + gab dxa dxb + ga0 dxa dx0 + g0a dx0 dxa (12.28)
(ds)2 g00 dx0 dx0 + gab dxa dxb ga0 dxa dx0 g0a dx0 dxa (12.29)
Campo est atico. Los campos est aticos son un subconjunto de los esta-
cionarios. Si, ademas de que los g sean independientes de la coordenada
temporal, se cumple que ga0 = g0b = 0, decimos que el campo no solo es
estacionario sino ademas estatico. En los campos estaticos el intervalo es
insensible a la inversion del tiempo universal: (ds)2 (ds)2 .
299
es importante en el problema de la masa puntual: si la masa rota, el campo
es estacionario (solucion de Kerr); y si no rota, el campo es estatico (solucion
de Schwarzschild).
lla
ari
am azul
roja
300
Captulo 13
La soluci
on de Schwarzschild
13.1 Campo is
otropo est
atico
Nos proponemos averiguar la forma mas general que puede tener un campo
gravitatorio isotropo estatico. Con ese proposito vamos a desarrollar sucesi-
1
Schwarzschild, profesor de la universidad de Gotinga, resolvi o el problema mientras
prestaba sus servicios como soldado en el frente oriental. Muri
o cinco meses despues, a los
42 a
nos de edad, por la infecci
on de una herida.
301
vamente los casos isotropo, estacionario y estatico.
Campo is otropo. En este caso el intervalo ds2 debe ser un escalar bajo
el grupo de las rotaciones en el espacio tridimensional. Para proponer o
construir un ds2 debemos acudir a cantidades escalares. Cuales son las
cantidades escalares disponibles? Con la coordenada temporal ct se producen
dos escalares, que son t y dt. De otro lado, con dos vectores A y B se consigue
una cantidad escalar mediante el producto punto A B. Debemos encontrar
vectores para ejecutar el producto punto. Disponemos u nicamente de los
vectores r y dr, y los productos punto entre ellos son r r, r dr y dr dr.
En conclusion, el intervalo isotropo mas general se construye con t, dt, r r,
r dr y dr dr :
r , dr = dr 1
En coordenadas esfericas r = r 1 r + rd 1
+ r sen d 1
. Los
productos escalares son:
r r = r2
302
r dr = rdr
dr dr = (dr)2 + r2 (d)2 + sen2 (d)2
ds2 = {r}dt2 + {r}dr2 + {r} dr2 + r2 (d2 + sen2 d2 )
A() 0 0 0
0 B() 0 0
g =
(13.2)
0 0 2 0
0 0 0 2 sen2
1 00 02 0 0 0
R00 = 2ABA BA AA B + 4ABA
4AB 2
1 00 02 0 0 2 0
R11 = 2ABA BA AA B 4A B
4A2 B
303
1 0 0 2
R22 = BA + AB + 2AB 2AB
2AB 2
R33 = sen2 R22
Observese que los lados izquierdos de (13.3) y (13.4) son iguales; entonces
los lados derechos tambien tienen que ser iguales: 4ABA0 = 4A2 B 0 , o sea
que AB 0 + BA0 = 0, es decir (AB)0 = 0. Esto significa que:
A()B() = 1
1
B() = (13.7)
A()
304
d
(A) = 1
d
k
A=1+ (13.8)
donde k es una constante cuyo valor debemos averiguar. Para hacerlo es-
tudiemos la situacion a distancias grandes, donde esperamos que se logre el
lmite newtoniano. El potencial newtoniano es = GM/r y la ecuacion
(12.11) dice que
2GM
A ' 1
c2 r
k 2GM
Al comparar con (13.8) vemos que = 2 . Esto significa que es
c r
proporcional a r. Lo mas sencillo es escoger igual a r. Con esta eleccion la
2GM
constante k queda determinada: k = 2 . Las ecuaciones (13.8) y (13.7)
c
dan finalmente
1 2GM
A = = 1 2
B c r
2 2GM 2 2 2GM 1 2 2 2
ds = 1 2 c dt 1 2 dr r (d +sen2 d2 ) (13.9)
c r c r
2GM
1 0 0 0
c2 r
2GM 1
0 1 2 0 0
g =
c r
(13.10)
0 0 r2 0
0 0 0 r2 sen2
305
Esta es la solucion en la region de afuera, en el exterior de la distribucion
esferica de energa y momentum. De ahora en adelante nos concentraremos
en lo que se llama el problema de Schwarzschild: cuando toda la energa-
momentum representada por T se acumula en un punto, que es el origen de
coordenadas. En tal caso la metrica (13.10) sera valida en todos los puntos
del universo, excepto en r = 0 . Ya que la cantidad 2GM/c2 aparece fre-
cuentemente, conviene darle un nombre; se llama el radio de Schwarzschild :
2GM
s (13.11)
c2
1 s/r 0 0 0
0 (1 s/r)1 0 0
g =
(13.13)
0 0 r2 0
0 0 0 r2 sen2
306
13.2 La geometra del espaciotiempo
Con la metrica (13.13) procedemos a calcular los smbolos de Christoffel
y las componentes contravariantes del tensor de Riemann. Resulta que las
cantidades no nulas son
s
0 01 = 0 10 =
2r(r s)
s(r s) s
1 00 = 1 11 =
2r3 2r(r s)
1 22 = r + s 1 33 = (r s) sen2
1
2 33 = sen cos 2 12 = 2 21 =
r
1
3 13 = 3 31 = 3 23 = 3 32 = cot
r
s
R0101 = R1010 = R1001 = R0110 =
r3
s
R0202 = R2020 = R2002 = R0220 =
2r4 (r
s)
s
R0303 = R3030 = R3003 = R0330 = 4
2r (r s) sen2
s(r s)
R1212 = R2121 = R2112 = R1221 =
2r6
s(r s)
R1313 = R3131 = R3113 = R1331 =
2r6 sen2
s
R2323 = R3232 = R3223 = R2332 = 7
r sen2
Todas las componentes del tensor de Ricci son cero, de acuerdo con (12.27),
y por consiguiente el escalar de curvatura tambien es cero. El espaciotiempo
es obviamente curvo, porque algunas componentes del tensor de Riemann
no son cero. Notese, sin embargo, que si s 0 (es decir, si M 0) el
espaciotiempo se vuelve plano.
307
nicamente R0101 , R0202 , R0303 , R1212 , R1313 y R2323 . As mismo, no
dar u
era necesario dar 2 21 , 3 31 ni 3 32 . De ahora en adelante, para ahorrar
espacio, no escribiremos aquellas componentes que pueden averiguarse facil-
mente utilizando las formulas de las identidades algebraicas.
13.3 Subespacios
El triespacio (r, , ). En el cuadriespacio (ct, r, , ) podemos hacer un
corte de t constante (es decir dt = 0) y lo que queda es un espacio tridi-
mensional. Al poner dt = 0 en las ecuaciones (13.12) y (13.13) queda este
espacio tridimensional:
(1 s/r)1 0 0
g =
0 r2 0
(13.16)
0 0 r2 sen2
s s sen2
Rrr = , Rrr = , R = sr sen2
2(r s) 2(r s)
308
(1 s/r)1 0
g = (13.18)
0 r2
s
Rrr =
2(r s)
r2 0
g = (13.20)
0 r2 sen2
R = r2 sen2
Este biespacio, que es una superficie esferica, es curvo, porque algunas com-
ponentes del tensor de Riemann no son cero. Cuando M 0 , este biespacio
no se aplana: la superficie esferica es curva con M 6= 0 y tambien es curva
con M = 0. La curvatura de esta superficie no es un efecto gravitacional.
s 2 2 s 1 2
ds2 = 1 c dt 1 dr (13.21)
r r
309
1 s/r 0
g = (13.22)
1
0 (1 s/r)
s
Rtrtr =
r3
1 s/r 0
g =
0 r2
Todas las componentes del tensor de Riemann son cero, cualquiera que sea el
valor de M . Vemos as que el biespacio (t, ) es plano con M 6= 0 y tambien
con M = 0.
(1 s/r)1 0
g =
0 r2 sen2
310
1 s sen2
Rrr =
2 rs
1
dl = p dr : segmento radial (13.25)
1 s/r
dl = rd : arco de circunferencia (13.26)
2rdr
Area =p (13.27)
1 s/r
Pero esto difiere del resultado euclidiano, que es 2rdr. Este ejemplo muestra
que el biespacio (r, ) es curvo, mientras s sea diferente de cero. Por supuesto
que para M = 0 se tiene s = 0 y el area (13.27) se convierte en el valor
euclidiano 2rdr, que es lo que se esperaba, ya que para s = 0 el espacio se
aplana.
13.4 Relojes
Un punto en reposo tiene dr = d = d = 0, y en consecuencia el intervalo
(13.12) queda simplemente:
311
ds2 = c2 (1 s/r) dt2
ds2 = c2 dT 2
p
dT = dt 1 s/r (13.28)
p
= dt 1 + 2/c2 (13.29)
q
dl = (1 s/r)1 dr2 + r2 d2 + r2 sen2 d2
" 2 #
2 1 dl
ds = 1 s/r 2 c2 dt2 (13.30)
c dt
312
Esta formula da un resultado interesante para pulsos de luz, ya que si hace-
mos ds = 0 encontramos
dl p
= c 1 s/r ,
dt
ds2 = (1 s/r) 1 v 2 /c2 c2 dt2 (13.31)
313
los eventos contenidos en la segunda lnea tienen el mismo valor t = 8, etc. La
Figura tambien trae dos lneas rectas verticales; una representa a un tripunto
fijo (r1 , 1 , 1 ), y la otra representa a otro tripunto fijo (r2 , 2 , 2 ). Supong-
amos ahora que desde el punto (r1 , 1 , 1 ) se lanza una serie de proyectiles
hacia (r2 , 2 , 2 ), periodicamente, y todos ellos se lanzan de la misma manera
(con la misma velocidad inicial y la misma inclinacion). La Figura muestra,
en lneas curvas, las trayectorias de esos proyectiles. Lo interesante es que,
debido a que el espaciotiempo de Schwarzschild es estatico (vease la metrica
(13.13)), las trayectorias de todos los proyectiles son similares, y en conse-
cuencia todas las lneas curvas de la Figura 13.1 son repetitivas. Llamemos
ahora t1 al tiempo universal que transcurre entre dos proyectiles sucesivos
emitidos en el primer punto, y t2 al lapso entre dos proyectiles sucesivos
recibidos en el segundo punto. Como todas las lneas curvas de la Figura
13.1 son similares, es claro que:
t1 = t2 (13.34)
Pensemos ahora que en los dos puntos hay dos relojes en reposo, y llamemos
T1 y T2 a los tiempos que ellos marcan. El primer reloj mide el tiempo
T1 que transcurre entre dos proyectiles sucesivos emitidos y el segundo
reloj mide el tiempo T2 que transcurre entre dos proyectiles recibidos. La
formula (13.28) dice que:
p
T1 = t1 1 s/r1
p
T2 = t2 1 s/r2
s
1 s/r2
T2 = T1 (13.35)
1 s/r1
Los relojes se atrasan bien sea a causa del campo gravitatorio o a causa
de la velocidad translacional que ellos tengan. Uno podra preguntarse si
314
acaso la aceleracion tambien ocasiona alg
un atraso. La respuesta es no: se
han realizado experimentos con aceleraciones extremas en ciclotrones, en los
que los relojes (sistemas atomicos) no registran atrasos debidos a la acel-
eracion.
q
dl = (1 s/r)1 dr2 + r2 d2 + r2 sen2 d2
dr
dlr = p (13.36)
1 s/r
dl = r d
dl = r sen d
dl q
v = = vr2 + v2 + v2 (13.37)
dT
dlr 1 dr
vr = = p (13.38)
dT 1 s/r dT
dl d
v = = r (13.39)
dT dT
dl d
v = = r sen (13.40)
dT dT
!
vr2 v 2 v2
= 1 1 2 + 2
c2 c c
315
" #2
vr2 s 1 v 2 /c2 rv /c 1
2
= 1 1 + p
c r 1 s/r 1 s/r r2
vr2 s J2
= 1 1 D+ 2 , (13.41)
c2 r r
donde
1 v 2 /c2 r v
D = , J = p (13.42)
1 s/r 1 s/r c
s
1 s/r1
2 = 1 (13.43)
1 s/r2
316
Pensemos en un pulso de luz emitido en la superficie de una estrella (la
coordenada radial de este punto de emision es r1 = R) y recibido en otro
punto cuya coordenada radial es r2 = . La formula (13.43) da en este caso
= R [1 s/R]1/2 . Expandir el binomio: = R [1 s/2R + ]. Si s/R
es peque
no conservamos los dos primeros terminos en esta serie, obteniendo
= R [1 s/2R], es decir
GM
= R 1 2 (13.44)
c R
= (1 2.12 106 )
317
la regla (10.15). Como x0 y x3 no aparecen en la metrica (13.13), podemos
asegurar que g0 dx /d y g3 dx /d son constantes del movimiento:
dx dx0 dt dt
g0 = g00 = cg00 = c (1 s/r)
d d d d
dx dx3 d
g3 = g33 = r2 sen2
d d d
d = c (1 s/r) dt (13.45)
d
J = r2 sen2 (13.46)
d
318
13.7 Una tercera constante del movimiento
De las cuatro ecuaciones (10.8) de las geodesicas ya hemos ejecutado dos,
al identificar las dos constantes del movimiento de la seccion anterior. Nos
falta por considerar las otras dos ecuaciones de las geodesicas:
d2 x1 1 dx dx
+ =0 (13.50)
d2 d d
d2 x2 2 dx dx
+ =0 (13.51)
d2 d d
2 2 2
d2 r s dr c2 s(r s) dt d
2
+ (r s) =0
d 2r(r s) d 2r3 d d
2
d2 r s dr s(r s) s 2 J 2 (r s)
2
+ 1 =0
d 2r(r s) d 2r3 r r4
2r dr
Multiplicar ambos lados de esta ecuacion por :
r s d
3
2r dr d2 r s dr s dr 2J 2 dr
2
+ =0
r s d d (r s)2 d (r s)2 d r3 d
3
dr d2 r dr
2r(r s) s
d d2 d s dr 2J 2 dr
+ =0
(r s)2 (r s)2 d r3 d
319
El lado izquierdo de esta ecuacion tiene tres terminos. El primer termino es
d r(dr/d)2 d r
igual a ; el segundo termino es , y el tercer termino
d r s d r s
d J2
es . La ecuacion es entonces
d r2
2
dr
r
d
d r J2
+ 2=0
d r s rs r
2
dr s J2
=1 1 D+ 2 (13.54)
d r r
13.8 J y D en t
erminos de r, v y v
Las variables naturales de la cinematica son la posicion y la velocidad. Si
nosotros conocemos la posicion y la velocidad de una partcula en cierto in-
stante, deberamos ser capaces de utilizar esa informacion para averiguar los
valores de las constantes J y D. En esta seccion nos proponemos deducir las
formulas correspondientes. Para ejecutar esta tarea debemos encontrar ini-
cialmente la relacion que existe entre el parametro y el tiempo local
p T : bas-
ta combinar las ecuaciones (13.28) y (13.45)para obtener d = cdT 1 s/r.
Con este resultado las ecuaciones (13.48) y (13.52) dan:
1 d
J = r2 p
c 1 s/r dT
320
2
1 dr
1 2 2
c (1 s/r) dT r2 d
D = 2
1 s/r c (1 s/r) dT
r v
J = p (13.55)
1 s/r c
1 v 2 /c2
D = (13.56)
1 s/r
Estas son las formulas que buscabamos. Si sabemos que una partcula en
cada libre pasa por r, y que al pasar por r tiene velocidades locales v y v ,
entonces las ecuaciones (13.55) y (13.56) nos permiten averiguar los valores
de J y D.
De otro lado, las ecuaciones (13.55) y (13.56) se pueden invertir para expre-
sar v y v en terminos de las constantes D y J:
v2 s
= 1 1 D (13.58)
c2 r
321
v2 s J2
= 1 (13.59)
c2 r r2
v 2 v2 s J2
=1 1 D+ 2
c2 r r
vr2 s J2
=1 1 D+ 2 (13.60)
c2 r r
Observese que
dr dT dt dr p 1 dr dlr vr
= = 1 s/r = = , (13.61)
d dt d dT c(1 s/r) dT cdT c
322
2 1 2
(1 v 2 /c2 )(1 + s/r) ' 1 (v 2 /c2 s/r) = 1 v + . Vemos
c2 2
1
as que (1 D)c2 /2 v 2 + ; en palabras, (1 D)c2 /2 tiende a la energa
2
total (prerrelativista) por unidad de masa.
Cuales son los valores numericos que adoptan las constantes J y D? Es-
peramos responder esta pregunta, al menos medianamente, estudiando dos
casos bien diferentes: el del planeta Tierra y el de una partcula de alta ve-
locidad que pasa por las cercanas del origen.
La Tierra en su orbita alrededor del Sol tiene una r promedio de 1.49 1013
cm y una velocidad promedio de 0.98 104 c ; como el s del Sol es 2.93 km,
concluimos que J/s ' 5000 y D ' 1 + 0.00000001. Aprendemos que para los
planetas solares J/s es un numero muy grande y que D es muy cercano a 1,
y mayor que 1. Pensemos ahora en una partcula masiva de alta velocidad,
v = 0.8c y r promedio igual a 10s; en este caso se obtiene J/s ' 8 y D ' 0.4.
d = c (1 s/r) dt (13.62)
c
d = d (13.63)
D
d = D (1 s/r) dt (13.64)
p
dT = 1 s/r dt (13.65)
323
1
dT = p d (13.66)
D (1 s/r)
1
dT = p d (13.67)
c 1 s/r
Suponemos que la partcula se suelta desde una altura r0 . Este dato debera
ser suficiente para determinar la constante D; en efecto, haciendo v = 0 en
la ecuacion (13.56) encontramos
1
D= (13.68)
1 s/r0
s
s/r s/r0
v = c (13.69)
1 s/r0
1 v 2 /c2
r0 = s (13.70)
s/r v 2 /c2
324
La ecuacion (13.69) tiene un caso interesante, y es cuando r0 = :
p
v = c s/r para r0 = (13.71)
!2
D dr s
=1 1 D (13.73)
c d r
es decir:
rdr
cd = r ,
D1 2
sr r
D
rdr
cd = r
s 2
sr r
r0
325
r r
d
r2 r0 r0
cd = 0 s (13.74)
sr0 r r 2
r0 r0
Z Z r/r0
r2 xdx
c d = 0 (13.75)
0 sr0 1 x x2
Z p
xdx 1
= x x2 arc sen(1 2x)
xx 2 2
s
2
r02 r r 1 2r
c = + arc sen 1 + (13.76)
sr0 r0 r0 2 r0 4
2
1 dr
= 1 (1 s/r)D ,
(1 s/r)2 cdt
2
1 dr 1 s/r
=1 ,
(1 s/r)2 cdt 1 s/r0
326
p
1 s/r0 dr
cdt = p (13.77)
(1 s/r) s/r s/r0
Para integrar el lado derecho de esta ecuacion conviene [24] hacer el cambio
de variable = arc cos(2r/r0 1) , para finalmente llegar a
r r
r0 r0
1
s 1+ r
ct = s ln r r +
r0 r0
1 1
s r
s
r 2
r0 r0 2r r0 r r
s 1 + 1 arc cos 1 + +
s 2s r0 s r0 r0
(13.78)
c2 sm 1 c2 sm
+ mu2 = + 0,
2r 2 2r0
de donde
327
1 1
u2 = c2 s
r r0
vr2
= 1V (13.80)
c2
dvr c2 dV
= (13.81)
dT 2 dlr
328
movimiento circular es inestable, y si d2 V /dr2 > 0 es estable.
dV sJ 2 Dr2 2r
= +3 (13.82)
dr r4 J2 s
d2 V 2sJ 2 Dr2 3r
= 2 6+ (13.83)
dr2 r5 J s
329
los valores dados en la ecuacion (13.85) sean cantidades reales, es decir, que
3Ds2
1 sea 0:
J2
J2
1 (13.86)
3Ds2
" r # !
d2 V 6J 2 s J2 3Ds2
= 1 1 1 (13.87)
dr2 r5 3Ds2 J2
" r #
J2 3Ds2
r = 1 1 V es maximo (13.88)
Ds J2
" r #
J2 3Ds2
r = 1+ 1 V es mnimo (13.89)
Ds J2
330
r 3 1 v 2 /c2
= + V m
aximo o mnimo (13.90)
s 2 2v2 /c2
Puntos de retorno. Estos ocurren en aquellos valores de r donde vr = 0,
es decir:
Dr2 3r
2
6+ <0 inestable,
J s
1 v 2 /c2 3r
6+ <0
v 2 /c2 s
Ahora utilizar (13.92):
1 v 2 /c2 3 1
2 2
6+3+ <0
v /c 2 v 2 /c2
Despejar v/c para llegar finalmente a v/c > 1/2. Para movimiento circular
estable se obtiene v/c < 1/2. Si deseamos expresar estas desigualdades v/c
1/2 en terminos de r, utilizamos la ecuacion (13.92), obteniendose r 3s.
En conclusion:
331
13.12 Puntos de retorno
En ocasiones lo que se conoce de la trayectoria de una partcula es los puntos
de retorno. En esta seccion nos proponemos aprovechar esa informacion para
averiguar el valor de las constantes D y J 2 . En los puntos de retorno se hace
cero el lado derecho de la ecuacion (13.60):
s J2
1 1 D + 2 = 0,
r r
es decir:
sD 2 J2 sJ 2
r3 r + r = 0 (13.94)
D1 D1 D1
sD
r1 + r2 + r3 = (13.97)
D1
J2
r1 r2 + r2 r3 + r3 r1 = (13.98)
D1
sJ 2
r1 r2 r3 = (13.99)
D1
332
Estas tres ecuaciones se pueden utilizar de dos maneras. La primera es ex-
presar a las races r1 , r2 y r3 en terminos de las constantes D y J 2 : se
obtienen unas ecuaciones sumamente complicadas. La segunda es expresar
a las constantes D y J 2 en terminos de dos races r1 y r2 :
sr1 r2
r1 r2 s(r1 + r2 ) +
r1 + r2
D = (13.100)
r1 r2 s(r1 + r2 ) + s2
s (r1 r2 )2
J2 = (13.101)
r1 + r2 r1 r2 s(r1 + r2 ) + s2
r1 r2 r3 J2
= (13.102)
s D1
o, equivalentemente:
r3 s s 1
= 1 (13.104)
s r1 r2
333
sr1 r2
D ' r1 r2 s(r1 + r2 ) + [r1 r2 s(r1 + r2 )]1 (13.105)
r1 + r2
sr1 r2
J2 ' (13.106)
r1 + r2
334
13.13 Eliminaci
on del par
ametro afn
Las coordenadas (r, ) de la partcula son funciones de . Queremos eliminar
el parametro afn. Las ecuaciones (10.21) y (10.27) nos ense
naron que para
tal eliminacion debemos intentar una derivaci on en cadena. Siguiendo esta
recomendacion hacemos d/d = (d/d)(d/d) , y en vista de la ecuacion
(13.46):
d J d
= 2 2
d r sen d
dr J dr
= 2 ,
d r d
y elevando al cuadrado:
2 2
dr J2 dr
= 4 (13.109)
d r d
Igualamos los lados derechos de las ecuaciones (13.54) y (13.109), para obten-
er
J 2 dr 2 s J2
=1 1 D+ 2 , (13.110)
r4 d r r
es decir:
s
1 dr 1 s J2
= 1 1 D+ 2 , (13.111)
r2 d J r r
o tambien:
335
1
dr
d = s r2 (13.112)
1 s J2
1 1 D+ 2
J r r
13.14 La variable u
1
Hacemos un cambio de variable usual en mecanica celeste: u , y lla-
r
mamos u0 = du/d. La ecuacion (13.110) es entonces
00 0 sD 3s 2
(u + u)u = + u u0 (13.114)
2J 2 2
sD 3s 2
u00 + u = 2
+ u : Einstein (13.115)
2J 2
s
u00 + u = : Newton (13.116)
2J 2
Las ecuaciones (13.115) y (13.116) son diferentes, lo que quiere decir que
las teoras newtoniana y einsteiniana predicen trayectorias diferentes para
las partculas en cada libre. Recuerdese en particular un resultado de la
geometra analtica elemental segun el cual u00 + u = const. positiva es la
336
ecuacion general de las curvas conicas, y u00 + u = 0 es la ecuacion de la
lnea recta:
s s(D 1) 3s 2
u00 + u = 2
+ + u : Einstein (13.119)
2J 2J 2 2
3s 2
u00 + u = u (13.120)
2
Comparando esta ecuacion con (13.118) vemos que, de acuerdo con la teora
einsteiniana, la trayectoria de un pulso de luz no es una lnea recta, asunto
de primera importancia que trataremos enseguida.
337
13.15 Deflexi
on de un rayo de luz
Vamos a estudiar la trayectoria de un rayo de luz que incide desde la derecha,
como muestra la Figura 13.5. La coordenada r, que inicialmente es infinita,
disminuye gradualmente hasta que alcanza un mnimo valor r0 . Despues
de este punto la coordenada r crece monotonamente. Claramente r0 es un
punto de retorno, y por consiguiente v = v = c, y la ecuacion (13.55) da
(J/r0 )2 = (1 s/r0 )1 . En terminos de u0 = 1/r0 esta ecuacion se escribe:
= 1 x2 su0 (1 x3 )
2 1
= (1 x ) 1 su0 x +
1+x
Como x0 = dx/d, la u
ltima ecuacion se puede escribir de esta otra manera
equivalente:
dx
d = s
2
1
(1 x ) 1 su0 x +
1+x
1/2
dx 1
= 1 su0 x +
1 x2 1+x
338
dx 1 1
d ' 1 + su0 x +
1 x2 2 1+x
Integrar:
Z (r0 ) Z 1
dx 1 1
d = 1 + su0 x +
0 0 1 x2 2 1+x
!!1
1 p 1 x2
(r0 ) = arc sen x su0 1 x2 +
2 1+x
0
= + su0
2
2(r0 ) = + 2su0
13.16 La precesi
on an
omala del perihelio de Mer-
curio
Se sabe que la orbita mercurial no es estatica, sino que su perihelio rota
alrededor del Sol. Mas precisamente, podemos hablar del angulo que barre
el planeta mientras va del perihelio al apelio. Si se tratara de una elipse
perfecta, tal angulo sera . Pero las observaciones astronomicas muestran
339
que el angulo no es exactamente , lo que significa que la orbita no es exac-
tamente elptica, sino que el perihelio precesa. La velocidad angular de esta
precesion es 5600.73 segundos de arco cada siglo.
La ecuacion (13.113) es
1 D sD
u02 = + 2 u u2 + su3
J2 J
u1 + u2 + u3 = 1/s
340
de donde u3 = 1/s u1 u2 . Al poner esta expresion en (13.123) se llega a:
02 1
u = s(u u1 )(u u2 ) u + u1 + u2
s
= (u u1 )(u u2 ) 1 su s(u1 + u2 )
s(u1 + u2 )
= (u u1 )(u u2 )(1 su) 1
1 su
s(u1 + u2 ) 1/2
d = du (u u1 )(u u2 )(1 su) 1
1 su
1/2 1/2 s(u1 + u2 ) 1/2
d = du [(u u1 )(u u2 )] (1 su) 1
1 su
Los dos ultimos factores se expanden como potencias de su, que es una
cantidad pequena, as :
1 1
(1 su)1/2 = 1 + su + ... ' 1 + su
2 2
s(u1 + u2 ) 1/2 1/2
1 = 1 s(u1 + u2 )(1 su)1
1 su
' (1 s(u1 + u2 ))1/2
1
' 1 + s(u1 + u2 )
2
1/2 1 1
d = du [(u u1 )(u u2 )] 1 + su 1 + s(u1 + u2 )
2 2
341
1 1 + 21 su
= 1 + s(u1 + u2 ) p du
2 (u u1 )(u u2 )
Z
1 + 21 su 1 p
p du = s (u u1 )(u u2 )
(u u1 )(u u2 ) 2
1 u1 + u2 2u
1 + s(u1 + u2 ) arc sen
4 u1 u2
O sea que
Z (u2 )
1
d = 1 + s(u1 + u2 )
(u1 ) 2
1 p 1 u1 + u2 2u u2
s (u u1 )(u u2 ) 1 + s(u1 + u2 ) arc sen
2 4 u1 u2 u1
1 1
(u2 ) (u1 ) = 1 + s(u1 + u2 ) 1 + s(u1 + u2 )
2 4
3 1 2 2
= 1 + s(u1 + u2 ) + s (u1 + u2 )
4 8
3
' 1 + s(u1 + u2 )
4
3
2 ((u2 ) (u1 )) = 2 + s(u1 + u2 )
2
El u
ltimo termino del lado derecho es la precesion anomala: el angulo que
se corre el perihelio en cada vuelta:
3
s(u1 + u2 )
2
3GM
= (u1 + u2 )
c2
342
Ahora, podemos expresar a u1 y u2 en terminos de la excentricidad y el
semieje mayor b:
1
= r1 = (1 )b
u1
1
= r2 = (1 + )b , o sea que
u2
6GM
= (13.124)
c2 b(1
2 )
5.01 107
= rad. cada siglo
0.00241
= 44.9 segundos cada siglo
343
la coordenada r es igual a s aparece un horizonte, es decir, una superficie
que solo se puede cruzar hacia adentro. Para r < s la relatividad predice
unos efectos sorprendentes: la coordenada t se vuelve espacialoide, la co-
ordenada r se vuelve temporaloide y el centro r = 0 adquiere la cualidad
de atractor inevitable. En lo que resta del captulo vamos a estudiar estos
efectos curiosos.
344
negativo (1 s/r)1 .
345
Para la region exterior r > s la Figura 13.6 muestra el cono de luz centrado
en el evento A . La lnea AB es la trayectoria de un punto que mantiene
constante la coordenada espacialoide r . Como esta lnea es vertical, el cono
debe ser vertical, es decir, el pasado esta abajo y el futuro arriba. Ningun
objeto puede viajar del futuro al pasado.
346
13.19 Singularidades
Uno de los resultados mas curiosos en el problema del cuerpo que se suelta
desde cierta altura es que el tiempo coordenado t se vuelve infinito en el hor-
izonte r = s, como muestra la curva de trazo punteado en la Figura 13.4. Si
este fuera un efecto fsico verdadero, la partcula nunca llegara al horizonte,
contradiciendo nuestras expectativas. Nos preguntamos si este es un efecto
fsico real, o es acaso un defecto de las coordenadas (ct, r). Para responder
la pregunta recordemos que el tiempo propio no exhibe ninguna discon-
tinuidad en r = s, como se ve en la curva de trazo continuo de la Figura
13.4. Hay dos tiempos, t y , que tienen comportamientos muy diferentes en
el horizonte. Cual de los dos tiempos es mas confiable? La respuesta de esta
pregunta es enfatica: es mas confiable porque es un escalar, es decir, una
cantidad invariante. En conclusion, el hecho matematico de que t sea infinito
en el horizonte no expresa un hecho fsico real, sino que es el resultado de
usar unas coordenadas (ct, r) que se comportan mal en r = s; si, en vez de
t usamos un tiempo sano , este tiempo propio resulta perfectamente finito
en el horizonte.
347
terminos tecnicos, esas coordenadas son singulares en r = s. Hagamos
una pausa para discutir el asunto de las singularidades en una geometra
cualquiera, no necesariamente la de Schwarzschild. Para estudiar las propiedades
geometricas de un espacio cualquiera se debe escoger un sistema coordenado,
y este debe describir adecuadamente la geometra. Si acaso en alg un punto
P de ese espacio las coordenadas no describen [16] fielmente la geometra,
decimos que el sistema coordenado es singular en el punto P . Por ejemplo,
las coordenadas esfericas (, ) presentan una singularidad en = 0 , porque
all la coordenada es indefinida, ya que puede tomar cualquier valor entre
0 y 2 ; as mismo, estas coordenadas son singulares en = . La singu-
laridad de las coordenadas (, ) en = 0, se manifiesta claramente en
los mapamundis que usan proyecciones cilndricas, que son aquellas en que
los paralelos aparecen como lneas rectas horizontales y los meridianos como
rectas verticales. La Figura 13.10 muestra uno de esos mapas. All, la lnea
AB representa al polo norte y CD al polo sur. El error del mapa es grave:
el polo norte, que es un punto y tiene extension cero, esta representado en
el mapa por medio de la lnea AB , cuya longitud no es cero. Uno se pre-
gunta si este error es un defecto del mapa o es un problema intrnseco de la
geometra, y la respuesta es inmediata: desde un punto de vista geometrico,
los polos norte y sur no tienen ninguna peculiaridad, no hay nada en la
geometra intrnseca que haga especiales a los polos; entonces el problema
debe ser del mapamundi y la proyecci on cilndrica falla: las coordenadas
(, ) son singulares en los polos.
5
Ya hemos mencionado en la p agina 306 que la soluci on de Schwarzschild no debe ser
alida en el origen de coordenadas r=0, o sea que los R de la secci
v on 13.2 no se deben
evaluar en r=0. Para ser m as cuidadosos deberamos decir que el tensor de Riemann tiende
a infinito en el origen.
6
En general, discernir si una singularidad es fsica o si, por el contrario, es un defecto
del sistema coordenado, es un asunto peliagudo, como tambien lo es, en el segundo caso,
construir otro sistema coordenado libre de singularidades [26, 27].
348
13.20 Las coordenadas de Kruskal-Szekeres
Hemos visto que en la superficie de Schwarzschild r = s las coordenadas
(ct, r, , ) presentan varias anomalas indeseables: de un lado, g y R
toman valores infinitos y, de otro lado, tal como muestra la Figura 13.4, la
curva de t versus r es discontinua y tiene una asntota. Ya hemos mencionado
que estas dificultades no reflejan problemas intrnsecos de la geometra, sino
que son defectos exclusivamente achacables a las coordenadas (ct, r, , ) .
Sera bueno encontrar un sistema de coordenadas sano, en el que las lneas
en el mundo sean continuas y sin asntotas, un sistema coordenado en el que
g y R sean funciones regulares. Se han encontrado varias soluciones a
este problema; en efecto, se conocen varios sistemas coordenados que no pre-
sentan las anomalas mencionadas, entre los cuales podemos mencionar el de
Eddington-Finkelstein, el de Painleve-Gullstrand y el de Kruskal-Szekeres.
En esta seccion vamos a presentar este u ltimo sistema de coordenadas.
p ct
v = er/2s 1 r/s cosh (13.130)
2s
p ct
u = er/2s 1 r/s senh , (13.131)
2s
y en la region r > s :
p ct
v = er/2s r/s 1 senh (13.132)
2s
p ct
u = er/2s r/s 1 cosh (13.133)
2s
349
La u ltima ecuacion debe entenderse como una definicion implcita de r en
terminos de las variables v y u . Tomando diferenciales en las ecuaciones
(13.130), (13.131), (13.132) y (13.133) llegamos a estas expresiones que son
validas para todos los valores de r :
c 1
dv = u dt + (1 s/r)1 v dr
2s 2s
c 1
du = v dt + (1 s/r)1 u dr
2s 2s
1 u2 v 2 2
(dv)2 (du)2 = 2
c (1 s/r) dt2 (1 s/r)1 dr2
4s 1 s/r
1 u2 v 2 2
dv 2 du2 = 2
ds + r2 (d2 + sen2 d2 ) ,
4s 1 s/r
de donde:
1 s/r
ds2 = 4s2 (dv 2 du2 ) r2 (d2 + sen2 d2 )
u2 v 2
1 s/r
ds2 = 4s2 (dv 2 du2 ) r2 (d2 + sen2 d2 )
(r/s 1) e r/s
4s3 r/s
ds2 = e (dv 2 du2 ) r2 (d2 + sen2 d2 ) (13.137)
r
350
significa t/s . La grafica es la superposicion de un conjunto de lneas rectas
radiales (que son regiones de t constante) y otro conjunto de hiperbolas (que
son regiones de r constante). Las rectas t = y t = parten el espaci-
otiempo en cuatro cuadrantes: el de la derecha, el de arriba, el de la izquierda
y el de abajo. Por razones que expondremos prontamente, el cuadrante de
arriba es un agujero negro.
4s3 r/s
e (dv 2 du2 ) = ds2 (13.138)
r
4s3 r/s
e (dv 2 du2 ) = 0 , para la luz (13.139)
r
4s3 r/s
e (dv 2 du2 ) > 0 , partcula masiva (13.140)
r
351
moverse hacia atras o hacia adelante en la coordenada espacialoide u , pero
solo pueden moverse hacia adelante en la coordenada temporaloide v (s olo
se pueden mover de abajo hacia arriba en la Figura 13.11).
Los pulsos de luz satisfacen la ecuacion (13.139); esta ecuacion dice que
du2 = dv 2 , o sea que
du
= 1 (13.141)
dv
Esta ecuacion tiene un significado interesante, pues dice que las trayectorias
de los pulsos de luz tienen una inclinacion de 45 grados en el espacio (v, u) .
Recordando que los conos de luz estan bordeados por trayectorias de pulsos
de luz, llegamos a la siguiente conclusion: en el espacio (v, u) los conos de
luz tienen una apertura angular de 90 grados, as como en la relatividad es-
pecial, seg
un la Figura 2.6. Las trayectorias de las partculas (masivas o no
masivas) quedan contenidas dentro del cono de luz, es decir, hacen angulos
de 45 grados a lado y lado de la direccion vertical en la Figura 13.11. Si
dibujamos lneas curvas que en todo punto hacen angulos de 45 grados
a lado y lado de la direccion vertical en la Figura 13.11, nos damos cuenta
de que, en el cuadrante de arriba, TODAS estas trayectorias avanzan hacia
valores decrecientes de r , es decir, hacia la hiperbola r = 0 , lo que significa
que este cuadrante es verdaderamente un hueco negro.
352
t=8 t=8
V(r)
1
Dt2 A B
Dt1
0.5
t=7 t=7 r
1.5 s 2.5 s
V(r)
8
t
1 A B
6 t
4 t
2
0.5
r
3s 6s s r
353
t
Futuro
B
s r
A
r Pasado
ro
j
x
Figura 13.5 Un pulso de luz in- Figura 13.6 Fuera del hueco ne-
cide de derecha a izquierda. Su gro, el cono de luz esta erguido:
trayectoria se deflecta debido a el pasado abajo y el futuro arri-
la presencia de la masa M en el ba.
origen de coordenadas.
s r
Pasado Futuro
D C
C
Figura 13.7 Dentro del hueco Figura 13.8 Dentro del hue-
negro el cono de luz esta acosta- co negro. Esta el futuro a la
do. derecha?
A B
Futuro Pasado
C
C D
354
v
t=0
t=
8
t = -0.
t =0.5
- 1
t=
t=
r=
2
8 r=
1.3
1
-1.
55
t=
0
32
r= 7
0.
r=
t= 0.9 2
1 -1. r= 1.3
32 t=
1.2
r=
9
r=
1 .0
r=
1.2
1.0
r=
t=- .55
9
0.55 t=0
t=0
0
r=
0.9
r=
-1 0.7
r=
0
8
t= r=
t=
- 1
1 8
r=
-1 0 1 u
355
356
Ap
endice A
357
sistemas inerciales.
Para los cientficos de la epoca los dos fenomenos mencionados eran esencial-
mente diferentes. No haba simetra entre las dos situaciones.1 Einstein se
siente incomodo con esta asimetra, y quiere resolverla. Propone entonces que
el PriRel, ademas de ser valido en los fenomenos de la mecanica, debe tam-
bien ser valido en los fenomenos electromagneticos: todos los observadores
inerciales deben ser igualmente legtimos. El viejo observador en reposo re-
specto al eter, el que estaba en reposo absoluto, no es mas importante
que los otros. El eter no es necesario, como tampoco lo son las nociones de
1
La asimetra se haca patente en que, para ellos, en el Fenomeno 1 hay un campo
electrico (de este campo electrico da cuenta la ecuaci
on de Maxwell c E = B/t),
mientras que en el Fen omeno 2 no hay ning un campo electrico.
358
reposo absoluto ni espacio absoluto.
Para entender que las leyes del electromagnetismo son validas en todos los
observadores inerciales se necesitan tres cosas: Primero, averiguar como es la
verdadera transformacion de coordenadas (t, x, y, z) (t0 , x0 , y 0 , z 0 ). Segun-
do, averiguar como es la transformacion de los campos (E, B) (E0 , B0 ). Y
tercero, que los pasos Primero y Segundo se unan de modo que las ecuaciones
de Maxwell sean covariantes. Einstein decide resolver primero el problema
(t, x, y, z) (t0 , x0 , y 0 , z 0 ) (introduciendo un nuevo principio, el de la ve-
locidad de la luz) y deja para despues el problema (E, B) (E0 , B0 ) y la
covariancia de las ecuaciones. Nosotros ahora, en este apendice, tomaremos
otra ruta: Supondremos que las ecuaciones de Maxwell son covariantes; con
esto y con PriHomo demostraremos la constancia de la velocidad de la luz,
hallaremos como debe ser la transformacion (t, x, y, z) (t0 , x0 , y 0 , z 0 ) y de-
duciremos la transformacion (E, B) (E0 , B0 ).
1 E
= B (A.1)
c t
1 B
= E (A.2)
c t
1 E0
= 0 B0 (A.3)
c0 t0
1 B0
= 0 E0 (A.4)
c0 t0
1
t Ey = z Bx x Bz (A.5)
c
359
1
t Bz = y Ex x Ey , (A.6)
c
donde, tal como hemos hecho en otras ocasiones, t quiere decir , etc.
t
Para O0 las ecuaciones correspondientes son:
1
t0 Ey0 = z 0 Bx0 x0 Bz0 (A.7)
c0
1
t0 Bz0 = y0 Ex0 x0 Ey0 (A.8)
c0
A.2 Transformaciones
Recordemos que las cuatro ecuaciones (1.28) se obtuvieron utilizando u
nica-
mente los principios de la relatividad y de la homogeneidad del espacio y el
tiempo. Reescribamos este conjunto de ecuaciones
Los tres coeficientes desconocidos a00 , a01 y a11 son funciones de la velocidad
v, o sea que deberamos escribir, propiamente, a00 (v), a01 (v) y a11 (v). Antes
de seguir adelante, probaremos que los coeficientes a00 (v) y a11 (v) satisfacen
las siguientes condiciones:
360
a00 (v) = a00 (v) (A.15)
Para estos eventos la condicion t > 0 debe implicar que t0 > 0; entonces, en
vista de la ecuacion (A.16), el coeficiente a00 (v) debe ser positivo; esto prue-
ba la ecuacion (A.13). De la misma manera, para estos eventos la condicion
t > 0 debe implicar que x0 < 0; entonces, en vista de la ecuacion (A.17),
el coeficiente a11 (v) debe ser positivo; esto prueba la ecuacion (A.14). Para
probar la ecuacion (A.15) consideramos otro observador O00 que se mueve,
respecto a O, con velocidad v en la direccion x ; en vista de la ecuacion
(A.16) escribimos:
Ahora, t00 debe ser igual a t0 ; entonces la ecuacion (A.18) es t0 = a00 (v) t . Al
comparar esta ecuacion con la ecuacion (A.16) vemos que a00 (v) = a00 (v).
Esta es la prueba de la ecuacion (A.15).
361
Lorentz. La transformaciones galileanas se obtienen haciendo a00 = a11 = 1
y a01 = 0. Demostraremos que las transformaciones de Lorentz se obtienen
al aplicar el PriRel a las ecuaciones de Maxwell, es decir, explotando la
equivalencia que existe entre las ecuaciones (A.5), (A.6) y las ecuaciones
(A.7), (A.8).
t = a00 t0 va11 x0
x = a11 x0 + a01 t0 (A.19)
y = y0 z = z 0
1 c0 v
t0 a00 Ey + a01 c0 Bz
= z 0 Bx x0 a11 Bz Ey (A.20)
c0 c c
0
1 c 0 v
t 0 a B
00 z + a 01 c Ey = 0
y x E 0 a
x 11 Ey Bz (A.21)
c0 c c
Comparemos estas dos ecuaciones con las ecuaciones (A.7) y (A.8); los cam-
pos en la ecuacion (A.7) deben ser proporcionales a los campos en la ecuacion
(A.20):
c0
Ey0 = f a00 Ey + a01 c0 Bz (A.22)
c
Bx0 = f Bx (A.23)
362
v
Bz0 = f a11 (Bz Ey ) (A.24)
c
c0
Bz0 = g a00 Bz + a01 c0 Ey (A.25)
c
Ex0 = g Ex (A.26)
v
Ey0 = g a11 (Ey Bz ) (A.27)
c
Las funciones f (v) y g(v) son desconocidas. Pasamos a probar que g(v) =
f (v). Para tal efecto notemos que los lados derechos de las ecuaciones (A.22)
y (A.27) deben ser iguales:
v c0
ga11 Ey g a11 Bz = f a00 Ey + f a01 c0 Bz
c c
c0
g a11 = f a00 (A.28)
c
v
g a11 = f a01 c0 (A.29)
c
Del mismo modo, al igualar los lados derechos de las ecuaciones (A.24) y
(A.25) obtenemos:
c0
f a11 = g a00 (A.30)
c
v
f a11 = g a01 c0
c
Con una mirada a las ecuaciones (A.28) y (A.30) nos damos cuenta de que
363
g 2 = f 2 , es decir, g = f . Para descubrir cual de los dos signos es adecuado,
se pone la condicion g = f en la ecuacion (A.28), obteniendose
c0
a11 = a00
c
Sin embargo, de acuerdo con las ecuaciones (A.13) y (A.14), los coeficientes
a00 y a11 son positivos, o sea que debemos escoger el signo superior: g = +f .
Poniendo la condicion g = f en las ecuaciones (A.28) y (A.29) se obtiene
c0
a11 = a00 (A.31)
c
v
a11 = a01 c0
c
v
a01 = a00 (A.32)
c2
Demostremos rapidamente que f (v) debe ser una funcion par de v. Para tal
efecto supongamos que Ey = 0, de modo que la ecuacion (A.36) da
c0
Bz0 = f (v) a00 (v) Bz (A.37)
c
364
Ahora consideremos otro observador inercial O00 que se mueve, respecto a O,
con velocidad v en la direccion x ; en vista de la ecuacion (A.37) escribimos:
c0
Bz00 = f (v) a00 (v) Bz (A.38)
c
Claramente, Bz0 y Bz00 deben ser iguales, y podemos formar una nueva ecuacion
con los lados derechos de las ecuaciones (A.37) y (A.38):
c0 c0
f (v) a00 (v) Bz = f (v) a00 (v) Bz ,
c c
c v 0
Ey = f (v) a00 (v) Ey0 + B
c0 c0 z
c v
Bz = f (v) a00 (v) 0 Bz0 + 0 Ey0 ,
c c
c v
Ey = f (v) a00 (v) Ey0 + 0 Bz0
c0 c
c v 0
0
Bz = f (v) a00 (v) 0 Bz + 0 Ey
c c
365
Ya que Ey0 y Bz0 son variables independientes, los coeficientes de Ey0 en ambos
lados de la ecuacion deben ser iguales, y los coeficientes de Bz0 tambien:
v2
1 = f 2 a200 1 0 (A.41)
cc
1 1
0 = (A.42)
c0 c
c0 = c (A.43)
v2
f 2 a200 1 2 = 1 ,
c
1 1
y en vista de la ecuacion (A.13) llegamos a a00 = p :
|f | 1 v 2 /c2
a00 = (A.44)
|f |
1
Aqu estamos usando el smbolo convencional = p . Ha llegado
1 v 2 /c2
el momento de agrupar las ecuaciones (A.31), (A.32), (A.43) y (A.44) para
reescribir las ecuaciones de transformacion (A.9) y (A.10):
v
t0 = (t 2 x) (A.45)
|f | c
x0 = (x vt) (A.46)
|f |
366
Ahora demostraremos que la funcion |f | que aparece en estas ecuaciones es 1.
Consideremos un pulso de luz que conecta los p eventos (0,0,0,0) y (t, x, y, z).
x2 + y 2 + z 2
La velocidad c es espacio sobre tiempo: c = ; de aqu se sigue
t
que
c2 t2 (x2 + y 2 + z 2 ) = 0 (A.47)
Similarmente:
1 2 2
(c t x2 ) y 2 z 2 = 0
f2
v
t0 = (t x)
c2
x0 = (x vt) (A.49)
y0 = y , z0 = z
367
escribimos f = 1. Ya estamos en condicion de usar las ecuaciones (A.43) y
(A.44) en las transformaciones (A.33)-(A.36), para obtener:
Ex0 = Ex (A.50)
v
Ey0 = Ey Bz (A.51)
c
0
Bx = Bx (A.52)
v
Bz0 = Bz Ey (A.53)
c
t = t0 v x0
x = x0 (v/c2 ) t0 (A.54)
y = y0 z = z 0
1
t0 Ez0 = x0 By0 y0 Bx0 (A.56)
c
v v
t Ez + By = x By + Ez y0 Bx
0 0
c c c
Al comparar esta ecuacion con (A.56) introducimos una funcion h(v), de-
sconocida hasta el momento:
368
v
Ez0 = h(v) Ez + By
c
0 v
By = h(v) By + Ez
c
Bx0 = h(v)Bx
A.6 Conclusiones
En su artculo [2], Einstein propone el PriVel y el PriRel, asume el PriHo-
mo y con estas tres bases deduce las transformaciones de Lorentz. Final-
mente toma el PriRel, las ecuaciones de Maxwell y las transformaciones de
Lorentz recien obtenidas, para deducir las transformaciones del campo elec-
tromagnetico. A esta estructura logica la llamaremos la estructura standard
de la relatividad.
369
mas familiares, mas faciles de aceptar.
370
las leyes de la naturaleza, las que rigen a los objetos fsicos, le imprimen a
esa yuxtaposicion una estructura, una metrica, una organizacion.
371
372
Bibliografa
[1] H.A. Lorentz: Versuch einer Theorie der elektrischen und optischen
Erscheinungen in bewegten Korpern, Leiden,(1905). Traducido al ingles
como Michelsons interference experiment, en Referencia [5]
373
[11] S. Weinberg: Gravitation and Cosmology: Principles and Applications
of the General Theory of Relativity, Wiley,New York (1972)
[14] I.S. Gradshteyn, I.M. Ryzhik: Table of Integrals, Series and Prod-
ucts, Academic Press,New York(1983), formula 2.599.6
374
[26] R. Wald: General Relativity, U. Chicago Press,Chicago (1984)
375
Indice Alfab
etico
376
Cono de la luz, 52, 55, 56, 345, 351 fuerza de Lorentz, 114
Conservaci on las ecuaciones de las leyes, 220
de energa-momentum, 166175, 189 Covariante
197, 280, 284 ecuaci
on, 137, 139
de la energa, 69 ndice, 125, 204
del momentum, 14, 6165, 69 manifiestamente, 147
del momentum angular, 172175 no manifiestamente, 147
del n umero de partculas, 163 Curvo, vease Espacio curvo
Constante cosmol ogica , 294
Constantes del movimiento, 258267, 299 D, 316, 320
en Schwarzschild, vease Schwarzschild Deflexi
on de la luz, vease Schwarzschild
Continuidad, vease Ecuaci on
de Dirac, 162169, 172
Contracci on de la longitud, 41, 44, 54
de Kronecker, 121, 127, 132, 210, 237
Contravariante, vease Indices
Densidad
Coordenada espacialoide, 344346, 351
de carga, 43, 105, 110
Coordenada temporal, 298, 302
de corriente, 161
Coordenada temporaloide, 344346, 351
de energa, 103, 191, 296
Coordenadas
de masa, 287
adaptadas, 236
de momentum, 191
cartesianas, 199, 214, 263, 265, 278,
de partculas, 161
280
lagrangiana, 186
cclicas, 259, 260, 263, 266, 299, 317
propia, 43
cilndricas, 201, 260, 263
continuas, 185 Derecha, 55, 56
de Eddington-Finkelstein, 349 Derivada, 133, 210
de Kruskal-Szekeres, 349 covariante, 213, 226, 237, 279
de Ohanian, 298, 300 en una curva, 267
de Painleve-Gullstrand, 349 es tensorial, 134, 211
esfericas, 214, 233, 248, 265, 302, no es tensorial, 211
348 simple, 201, 213, 237, 279
geodesicas, 276, 277 Desincronizaci on de relojes, 36
singulares, 348 Desligada, vease Schwarzschild
Corriente Desviacion
de momentum, 164 de rayo de luz, vease Luz
de partculas, 163 geodesica, vease Geodesica
del momentum angular, 172175 Deuteron, 74
electrica, 110, 143, 164, 297, 358 Diferencial
en alambre recto, 104 D s es covariante, 267
en circuito electrico, 107 d no es covariante, 212, 267
Corrimiento al azul, 144, 316 de volumen, 136, 221
Corrimiento al rojo Dilataci
on del tiempo, 37, 44, 55
big bang, 317 Dirac, vease de Dirac
efecto Doppler, 144, 317 Divergencia
gravitacional, 316 covariante, 280, 293
Coulomb, 149 de , 170, 192, 196
Covariancia de de J , 164, 165
ecuaciones de Maxwell, 111114, 147 de Mmec , 172175
157, 359, 369 de T , 166175, 189197, 280
electrodin amica, 111115, 147159 Doppler, vease Efecto Doppler
377
E = mc2 , 62, 67, 6975 Espacio
Ecuaci on tensorial, vease Ecuaci on co- curvo, 233, 234, 250, 269, 274, 307
variante de Minkowski, 215, 218
Ecuaci on de Riemann, 199, 253
covariante, 137, 139, 148, 218, 220, de Schwarzschild, vease Schwarzschild
228, 256, 278, 287 euclidiano, 233, 234
de continuidad, 151, 162, 164, 165 no euclidiano, 234, 311
de Euler-Lagrange, 180, 181, 183, plano, 233, 306
187, 194, 254 Estatico, vease Campo gravitatorio
de fuentes, 287 Estacionario, 253, vease Campo gravita-
de geodesica, vease Geodesica torio
de Hilbert-Einstein, 288, 292 , 120, 215, 276
de Hilbert-Einstein inconsistente, 298
Eter, 111, 13, 358
de ondas, 152 Euclidiano, vease Espacio
de Poisson, 287 Euler-Lagrange, vease Ecuaci on de Euler-
de tercer grado, vease Schwarzschild Lagrange
del intervalo, 258, 260, 262, 264, 266 Experimento
Ecuaciones de Maxwell, 6, 9399, 111 de Michelson-Morley, vease Michel-
114, 147157, 358, 359, 369 son y Morley
en campo grav., 285 Extremal, 253
homogeneas, 150, 156, 193
inhomogeneas, 150, 156, 193 Fase de una onda, 144
Efecto Doppler, 79, 144, 317 , 287, 305, 343
Einstein segunda derivada, 287
convenci on de, 119 Filtro de velocidades, 86
en 1905, 20, 74, 93, 357, 369 Fsica nuclear, 74
en 1912, 51 Fision nuclear, 75
en 1915, 287, 294, 301, 339, 340 Fizeau, 2
joven, 2 F , 155, 193197, 217
viejo, 74 Foton, 68, 74, 75, 79, 142
Electrodin amica, 147159 Frente de onda, 144
Electromagnetismo, 2, 6, 93115 Fresnel, 4, 6, 47
Electron, 82, 87 Fuerza, 6569, 82
Energa-momentum, 166175, 280, 294, de Lorentz, 114, 147, 152154, 157,
304, 306 182
no gravitacional, 280, 294, 297 gravitacional, 274
Energa, 62, 6975 Fusion nuclear, 75
de enlace, 74 Futuro, 52, 55, 56, 346, 351
cinetica, 6569
del campo E, B, 103 G: constante gravitacional, 273, 275, 287
Eotvos, 276 Galaxias, 76
, 133 Galileo, 12, 24, 26, 46, 324, 361
Eridani, 317 , 222, 274, 276, 281, 288
Escalar, 111, 129, 132, 136, 178, 188, 209, Gauge, 148
222, 228, 302 condici on de, 149
de curvatura R, 230, 244, 287 de Coulomb, 149
E B y E 2 B 2 , 99101, 159 de Lorentz, 149, 150
Esfericas, vease Coordenadas Gauss, vease Teorema de Gauss
Espacialoide, 51, 52, 344346, 351 Geodesica, 253, 274, 288
378
coordenadas, vease Coordenadas covariantes, 125, 204
desviaci on, 269, 275 griegos, 119
ecuaci on algebraica, 260 latinos, 119
ecuaci on diferencial, 253, 262, 277 libres, 123, 139, 200
estacionario, 253 Inercia, 73
extremal, 253 Inercial, vease Observador
Geodesico postulado, 274 Interaccion, 182, 273, 288
Geometra Intervalo, 76, 120, 123, 140, 177, 201,
de Riemann, 199251 209, 253, 273, 302
de Schwarzschild, vease Schwarzschild espacialoide, 34, 51, 52
euclidiana, 33, 132 luminoide, 35, 39, 51, 52
intrnseca, 251 negativo, 257
y gravitaci on, 273, 288 nulo, 257
g , 199, 210 positivo, 254, 257
de Schwarzschild, vease Schwarzschild temporaloide, 33, 37, 51, 52
derivada covariante g; , 229, 293 Invariante, 132, 136, 139, 178, 188, 209,
g es como , 289 222
g00 = 1 + 2/c2 , 290, 305 E B y E 2 B 2 , 99101, 159
primera derivada g, , 223, 226, 243, Izquierda, 55, 56
277, 293
segunda derivada g,, , 243, 277, J, 316, 318
293 Jackson, 26, 43, 102
altas derivadas, 281 Jacobiano, 222
Goldstein, 336 Jammer, 357
Gradshteyn, 264, 326 J , 143, 151, 216
Gravitaci on del polvo, 163
comparaci on Newton-Einstein, 336 electrica, 164
idea central, 273 J
upiter, 340
newtoniana, 275, 287, 295, 301, 336,
343 Kay, 277
y geometra, 273, 288 Kerr, 300
k , 142
~, 144 Kronecker, vease de Kronecker
Hamilton, vease Principio de Hamilton Kruskal, 349
Hidr
ogeno, vease Atomo
Hilbert, 288, 301 L, 180
Hilbert-Einstein, 288, 292 L, 178
Homogeneidad, vease Principio de Lagrangiana, 180, 255, 259
Horizonte, vease Schwarzschild L, 186
Hueco blanco, vease Schwarzschild , 135, 294
Hueco negro, vease Schwarzschild , 318, 335
Huygens, 3 Landau, 299
Levi-Civita, 133, 159
Identidades de Bianchi, vease Bianchi Lienard-Wiechert, 102
Indices Ligada, vease Schwarzschild
bajar o subir, 122, 128, 139, 200, Lightman, 327
201 Lmite newtoniano, 288, 295, 305
contrados, 123, 200 Lnea en el mundo, 51
contravariantes, 125, 204 Local, vease Velocidad local
379
Longitud, 31, 41, 44, 54 Nube
propia, 41, 44 de partculas cargadas, 110, 169
Lorentz, 2, 6, 20, 149, 150 de polvo, 162
Luminoide, 35, 39, 51, 52, 345 Nuclear, 74
Luz
aberraci on, 4, 31, 79 Observador inercial, 7, 13, 15, 93, 140,
cono de luz, vease Cono de la luz 177, 202
difraccion, 3, 4 Observador no inercial, 202, 276, vease
interferencia, 3, 4, 811 Cada libre
polarizacion, 3, 4 Ohanian, 236, 240, 276, 298, 300, 352
rayo de, 3, 301, 337, 338 Onda
velocidad, 4, 613, 46, 357, 361366, electromagnetica, 1, 6, 152
369 fase de, 144
frente de, 144
Mmec , 172175 Onda-corp usculo, 18
Mapamundi, 348
Optica, 311
Mareas, 347, 348
Orbita desligada, vease Schwarzschild
Masa, 6185, 140
Orbita de un rayo de luz, vease Schwarzschild
gravitacional, 74, 275
Orbita ligada, vease Schwarzschild
inercial, 74, 275
Orbita mercurial, vease Schwarzschild
variable, 83
Orbita terrestre, vease Schwarzschild
Matriz
F , 155 Pais, 2
, 135, 213 Par ametro, 39, 177, 254, 267
y , 196 afn, 256, 262, 263, 269, 318, 335
Mecanica Partcula
cuantica, 74, 82, 144, 301 cada libre, vease Cada libre
lagrangiana, 177 de m 6= 0, 257
newtoniana, 1, 2, 61, 65, 67, 69, 83, en campo grav., vease Cada libre
8689, 275, 318, 327, 336, 343 en un campo A , 182
Mehra, 288 forzada, 51, 140, 168, 169, 177
Mercurio, 301, 337, 339, vease Schwarzschild libre, 38, 51, 81, 140, 157, 168, 177,
Metrica, 370 181, 274
de Minkowski, 76, 120, 132, 215, 218, Pasado, 52, 55, 56, 346, 351
276, 290, 370 Perihelio, vease Schwarzschild
de Schwarzschild, vease Schwarzschild Planck, 6
Michelson y Morley, 2, 811, 13 Planetas, 330, 333
Minkowski, vease Metrica de Minkowski Plano, vease Espacio plano
Minkowski H., 50, 51 p , 141, vease Momentum
Momento dipolar electrico, 107 Poisson, 4, 287
Momentum, 6173, 141 Polvo, 162
del foton, 79, 142 Postulado geodesico, 274
Momentum angular, 172175 Potencia, 154
Movimiento circular, 85 Potencial
Mundo, 51 efectivo, 328, 334
electrostatico, 82, 87
Neutr
on, 74 escalar , 148, 182
Newton, 3, 357 gravitatorio, vease
Newtoniana, vease Mec
anica pozo de, vease Pozo de potencial
380
vectorial A, 148, 182 separacion espacial, 32, 54
Poynting, 104 separacion temporal, 32, 36, 54
Pozo de potencial, 330, 334 Relojes, 38, 311
Precesion del perihelio de Mercurio, vease atraso gravitacional, 313
Schwarzschild atraso por aceleraci on, 314
Press, 327 atraso por movimiento, 37, 313
Price, 327 desincronizaci on, 36
PriHomo, vease Ppio. de homog. de tiem- en el infinito, 313, 323
po y espacio en reposo, 313, 323
Principio de en reposo en el infinito, 313, 323
conservaci on de la energa, 69 sincronizacion, 16
conservaci on del momentum, 6165, Resnick, 20, 62, 69, 104
69 Ricci R , 230, 244, 287, 303
covariancia general, 220 Riemann espacio de, 199, 253
equivalencia, 277 Riemann tensor de, 229244, 277, 347,
Galileo, 275 348
Hamilton, 186 n2 (n2 1)/12 componentes, 232
Huygens, 3 cinco identidades, 230
la homogeneidad del tiempo y el es- es u
nico, 240, 293
pacio, 12, 14, 357, 360, 369 es curvatura, 233, 269
la relatividad, 2, 12, 13, 94, 111, 138, Rotacion
139, 357, 359, 360, 369 de masa puntual, 300
la velocidad de la luz, 2, 12, 46, 357, grupo de, 302
361366, 369 Ruffini, 236, 240, 276, 298, 352
mundo absoluto, 51 Ryzhik, 264, 326
PriRel, vease Ppio. de relatividad
PriVel, vease Ppio. de la vel. de la luz Schroedinger, 82
Propio Schutz, 277, 348
densidad, 43 Schwarzschild, 300, 301
longitud, 41, 44 cada libre, 317
tiempo, 31, 37, 44, 55, 110, 140, 178, cada libre vertical, 324
257, 311 cono de luz, 345, 351
volumen, 42 consts. del mov., 316, 317, 333
Prot
on, 74, 88 tercera const. del mov., 319
Prototipo, vease Vector ecuaci on de tercer grado, 332
Puntos de retorno, vease Schwarzschild el subespacio (, ), 309
el subespacio (r, , ), 308
QCD, 370 el subespacio (r, ), 310
el subespacio (r, ), 308
Rango de un tensor, 129, 207, 209 el subespacio (t, ), 310
Red shift, vease Corrimiento al rojo el subespacio (t, r), 309
Regla (,) (;), 280 escalar R, 307
Relatividad especial espacio de, 248
estructura, 3, 19 futuro, 346, 351
motivaci on, 2, 357 geometra de, 248
Relativo horizonte, 344, 346, 347
frente de onda, 144 hueco blanco, 352
izquierda-derecha, 55 hueco negro, 345348
pasado-futuro, 55 leyes fsicas en, 284
381
metrica de, 248 Tcan , 189197
mareas, 347, 348 Temporaloide, 51, 52, 344346, 351
o
rbita circular, 331 Tensor
o
rbita desligada, 329 Mmec , 172175
o
rbita de un rayo de luz, 337, 338 A , 148, 182, 193197, 203
o
rbita ligada, 329 A B es un tensor, 132, 209
o
rbita mercurial, 337, 339 antisimetrico, 209
o
rbita terrestre, 333, 337 asimetrico, 192, 195
parametro afn, 318, 323, 335 can onico Tcan , 189197
pasado, 346, 351 de energa-momentum, 165175, 189
apelio mercurial, 339 197, 280
perihelio mercurial, 339 de Levi-Civita, 159
apelio terrestre, 333 de momentum angular, 172175
perihelio terrestre, 333 del campo electromagnetico, 170, 189
planetas, 330, 333 197
potencial efectivo, 328, 334 es un tensor, 132
pozo de potencial, 330, 334 , 134
precesi
on perihelio mercurial, 339 y A son tensores, 134
pseudosingularidad, 348 ecuaciones, 137, 139
puntos de retorno, 328, 331, 332, electromagnetico, 155, 193197, 217
336, 338, 340 es un tensor, 133
radio de, 248, 306 escalar, 129, 132
smbolos , 307 es un tensor, 132
singularidad, 347 F , 155, 193197, 217
subespacios, 308 g , 199, 210
tensor R , 307 J , 143, 163, 216
tensor R , 307 k del fot on, 142
tiempo , 311, 323, 326, 347 Levi-Civita, 133
tiempo T , 311, 323 metrico, 132, 199, 210, 273
tiempo t, 311, 323, 327, 347 p es un tensor, 141
tiempo universal, 323 rango de un, 129, 207, 209
Serie de Taylor, 180, 270 Riemann, vease Riemann
Smbolo de Christoffel, vease simetrico, 166, 175, 192, 195, 209
Simultaneidad, 31, 34, 36, 44, 54, 144, Tcan , 189197
313 , 170, 192, 196
Sincronizaci on de relojes, 16 U es un tensor, 141
Singularidad, vease Schwarzschild vector, 79, 129
Sirio, 317 Tensor de Riemann, vease Riemann
Sistema fsico Teora de la gravitaci on, vease Gravitaci
on
aislado, 15, 169 Teorema
no aislado, 169 de Gauss, 163, 166
Snell, 3 de las coordenadas adaptadas, 236
Sol, 288, 306, 317, 333, 337, 339 del tensor metrico, 244
Sonido, 1, 5 principal del c alculo, 222
Stokes, 6 Teukolsky, 327
Szekeres, 349 , 170, 192, 196
Thomas, 136
, 37, 178, 311, vease Tiempo propio Tiempo
Taylor, vease Serie de Taylor T , 311
382
, 311 Velocidad de una partcula, 17, 62, 75,
t, 311 140, 141
coordenado, vease Coordenada tem- Velocidad de un observador, 17, 62
poral Velocidad local, 312, 315, 321
de vida media, 39 Venus, 340
propio, 31, 37, 44, 55, 110, 140, 178, Vida media, 39
257, 311, 347 Virtual, 178
universal, 298, 313, 323 Volumen
inversi
on, 299 de nube, 110
Tierra, 4, 811, 288, 306, 323, 333, 337 diferencial de, 136, 221
T , 280, 287, 294, 304, 306 propio, 42
asimetrico, 192, 195, 298
T , = 0, 166175, 280 Wald, 348
T ; = 0, 280, 294 Weinberg, 133, 162, 281
simetrico, 166, 175, 192, 195, 298
Torretti, 348 Young, 4
Trabajo, 6569, 82
Transformaci on
de p , E , m , F, 76
de E y B, 93115, 158, 359, 367369
de F , 158
de J = (c, J), 111
gauge, 148
Transformaciones de coordenadas, 17, 359,
360, 369
de Galileo, 12, 24, 26, 46, 65, 361
de Lorentz, 2028, 124, 138, 139,
199, 218, 280, 366367
familia de, 24, 361
generales, 199251, 280
lineales, 20, 124, 199, 244
no lineales, 202
Translaciones, 188
Trayectoria de una partcula, 16, 39, 140,
164, 177
en campo grav., vease Cada libre
u = 1/r, 336
U , 141
Uni on
de E y B, 101, 119
de espacio y tiempo, 31, 119
Unitario, vease Vector
Universal, vease Tiempo
Variacional, vease C
alculo variacional
Vector, 79, 125, 129, 203, 209
prototipo, 125, 131, 140, 203, 209
unitario, 85, 142, 143, 214
383