Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sobre La Teoria Relatividad - Tejeiro PDF
Sobre La Teoria Relatividad - Tejeiro PDF
ii
ndice general
Introduccin
VII
Cinemtica relativista
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
9
14
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
24
31
40
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
47
51
55
59
.
.
.
.
.
65
65
65
69
70
75
4. Cinemtica relativista
4.1. Introduccin . . . . . . . .
4.2. Cuadri-vector velocidad .
4.3. Cuadri-vector aceleracin
4.3.1. Viaje interestelar .
4.4. Cuadri-vector de onda . .
.
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
II
NDICE GENERAL
Dinmica relativista
5. Dinmica relativista
5.1. Ecuaciones de movimiento . . . . . . . . . .
5.2. Leyes de conservacin . . . . . . . . . . . .
5.3. Propiedades del c-momentun . . . . . . . .
5.4. Sistema centro de masa . . . . . . . . . . .
5.5. Energa umbral . . . . . . . . . . . . . . . .
5.6. Fotones y partculas de masa en reposo cero
79
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
84
87
90
93
96
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
101
101
102
105
107
108
111
113
115
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Electrodinmica relativista
7. Tensores
7.1. Introduccin . . . . . . . . . . . . . . . . . .
7.2. Definiciones fundamentales . . . . . . . . .
7.2.1. Componentes covariantes . . . . . .
7.2.2. Algebra tensorial . . . . . . . . . . .
7.2.3. Propiedades de simetra de tensores
7.3. Transformacin general de coordenadas . .
7.4. Operadores vectoriales
.
117
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
119
120
122
125
130
136
138
8. Electrodinmica
8.1. Introduccin . . . . . . . . . . . . . . . . . . .
8.2. Ecuaciones de Maxwell . . . . . . . . . . . . .
8.3. Campo magntico como un efecto relativista .
8.4. Ecuaciones de Maxwell covariantes . . . . . .
8.5. Transformaciones Gauge . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
143
143
144
146
154
163
9. Bibliografa
169
Prefacio
Segunda edicin de las notas de clase sobre relatividad especial.
vi
PREFACE
Introduccin
La teora de la relatividad (especial y general) es considerada como uno
de los ms grandes logros de la mente humana y forma parte, de lo que
podemos llamar la cultura del hombre del siglo XX. A pesar del estigma
de incomprensibilidad que siempre ha rodeado a la teora de la relatividad,
en el sentido que su comprensin est al alcance solamente de unos pocos
especialistas, esta teora cientfica ha sido la de mayor impacto y difusin a
nivel de divulgacin y ha tenido influencia definitiva sobre nuestra imagen
del mundo.
El desarrollo de la teora de la relatividad ha estado marcado por circunstancias particulares que la diferencian de otros desarrollos de la fsica
contempornea, a las cuales me referir en esta introduccin, con el fin de
mostrar, por una parte el estado actual de la teora y por otra, el papel
fundamental que ha jugado y juega esta teora en el desarrollo de la fsica
actual.
La formulacin de la Teora Especial de la Relatividad dada por Einstein
en 1905 es completa, es decir, a parte de ejemplos y aplicaciones de la teora,
o de su reformulacin en trminos de modelos matemticos ms sofisticados,
todo los elementos bsicos que hoy conocemos de la teora especial de la relatividad estn contenidos en los trabajos originales de Einstein. Adems, el
estilo del primer trabajo publicado por Einstein sobre el tema, a diferencia
de otros trabajos en fsica terica, se caracteriz por su sencillez en la exposicin, con muy poco contenido matemtico y la ausencia de referencias a
artculos y trabajos anteriores. Su conclusin fundamental, la necesidad de
reformular el concepto absoluto de simultaneidad y con l, el concepto de
tiempo en fsica, muestra la genialidad de Einstein, no por la complejidad de
sus razonamientos ni la complejidad en los clculos, sino por la profundidad
de sus conclusiones, las cuales modificaron de manera radical e irreversible
nuestros conceptos bsicos de espacio y tiempo. No es cierto, como sostienen
varios historiadores de la fsica, que el trabajo de Einstein no fue comprendido en su tiempo, pues pocos meses despus de su publicacin fsicos de
vii
viii
INTRODUCCIN
ix
y a explotar tan solo con el desarrollo de la mecnica cuntica relativista
formulada por Dirac en 1925. En efecto, hasta 1925 se conocan solamente
dos partculas elementales: el electrn y el protn. Como una consecuencia
fundamental de su recin desarrollada teora relativista del electrn, Dirac
predice la existencia del positrn, que es una partcula fundamental de la
misma masa del electrn pero de carga opuesta. Este hecho es posteriormente generalizado y se establece un resultado general de la naturaleza y
es que a toda partcula fundamental le corresponde una antipartcula. Estos
desarrollos condujeron entonces a la teora cuntica de campos, que constituye el marco terico para entender las interacciones fundamentales de la
naturaleza (electromagntica, fuerte y dbil), que rigen el comportamiento
de la materia a escala microscpica.
Hoy da la teora especial de la relatividad es reconocida como una teora
fundamental de la fsica, cuyo alcance va ms all de sus posibles aplicaciones experimentales o tecnolgicas, pues ella se enmarca en el contexto de
las propiedades fundamentales del espacio-tiempo, independientemente de
cualquier modelo fsico utilizado para describir los fenmenos. En general,
las leyes fsicas que rigen el comportamiento de los sistemas se formulan en
trminos de relaciones (ecuaciones diferenciales) entre las variables fsicas
necesarias para describir un sistema. Estas variables fsicas se describen por
funciones del espacio y el tiempo (posicin, momentun, energa, etc.), cuyo
comportamiento est regido por los principios de la teora especial de la
relatividad.
El objetivo fundamental de este libro es presentar los principios bsicos y los resultados fundamentales de la teora especial de la relatividad,
con nfasis en una formulacin covariante, es decir una formulacin que nos
permite desde un principio, exhibir en forma explcita el carcter relativista
de una teora. Para este fin se han organizado los temas en tres grupos: El
primer grupo lo conforman los tres primeros captulos, la presente introduccin, un captulo sobre los fundamentos de la mecnica Newtoniana, con
una breve discusin sobre el problema del ter, esto con el fin de motivar los
postulados bsicos de la teora especial de la relatividad y sus principales
consecuencias, desarolladas en el tercer captulo. El segundo grupo lo constituye el cuerpo central del libro, comenzando con una formulacin exhaustiva
del concepto de cuadri-vector y la estructura causal del espacio-tiempo para
formular los principios y leyes de la dinmica relativista, dedicando un captulo a sus principales aplicaciones. El ltimo tema est destinado a formular
la teora electromagntica (ecuaciones de Maxwell) en forma explcita relativista, para lo cual se dedica un captulo a la formulacin y lgebra de
tensores sobre el espacio de Minkowski en forma sencilla, es decir sin re-
INTRODUCCIN
Parte I
Cinemtica relativista
Captulo 1
Introduccin
1.2.
(1.1)
dv
dp
=m
dt
dt
(1.2)
en donde la ltima igualdad se deduce del hecho que la masa inercial de una
partcula puntual es constante e independiente de su estado de movimiento.
Interaccin entre partculas- La fuerza que una partcula A ejerce
sobre otra partcula B es igual en magnitud y en sentido opuesto a la fuerza
que la partcula B ejerce sobre A.
Para la formulacin de estas leyes hay toda una serie de supuestos bsicos
necesarios, tales como la estructura geomtrica del espacio, el concepto de
tiempo, observador y sistema de referencia, magnitudes fsicas y el concepto
de medida. Sin embargo, no es objeto del presente libro entrar a discutir
exhaustivamente estos conceptos, sino nos centraremos nicamente en aquellos aspectos que son relevantes para plantear y motivar la formulacin de
la teora especial de la relatividad.
Definamos, en primer lugar, el concepto de observador como un sistema
fsico (reglas o patrn de medida espacial y relojes o patrn de medida temporal), que permite determinar la posicin y el instante de tiempo respecto
a un origen arbitrario, de un fenmeno fsico (que en lo sucesivo llamaremos
(1.3)
u = (ux , uy , uz ) = (ux , 0, 0)
(1.4)
con
la velocidad de la partcula.
Consideremos otro sistema de referencia 0 , con respecto al cual la
partcula P permanece en reposo en su origen de coordenadas espaciales,
y elijamos los ejes espaciales de 0 paralelos a los del sistema de referencia inercial y el origen del tiempo de tal manera los relojes comiencen
a contar el tiempo, t = t0 = 0, cuando los orgenes de los dos sistemas se
cruzan. Entonces, podemos determinar las coordenadas espaciales y el tiempo de cualquier evento fsico, bien sea con respecto al sistema inercial o
con respecto al sistema de referencia 0 . Si llamamos (t, x, y, z) las coordenadas de un evento fsico cualquiera, medidas respecto a y (t0 , x0 , y0 , z 0 ) las
correspondientes coordenadas, medidas respecto a 0 , podemos encontrar la
x0 = x vt
y0 = y
z0 = z
(1.5)
Adems, en las ecuaciones de tranformacin de Galileo est implcita, tambin, la hiptesis de homogeneidad del espacio y el tiempo, pues la eleccin
del origen del tiempo para los dos sistemas, en el instante en que los orgenes espaciales coinciden, es arbitraria, indicando que cualquier instante
de tiempo y todos los puntos del espacio son equivalentes para describir los
fenmenos fsicos. La primera ecuacin de transformacin, t0 = t, representa
el carcter absoluto del tiempo, y significa que (salvo la eleccin arbitraria
del origen) el instante en el cual ocurre un evento fsico es independiente del
observador y adems, esta ecuacin lleva tambin la hiptesis implcita, que
existe algn mecanismo fsico apropiado que permite transmitir informacin
instantneamente. Otra forma de expresar este carcter absoluto del tiempo,
es a travs del concepto de simultaneidad: Si dos eventos, que ocurren en
puntos diferentes del espacio para un observador, son simultneos, entonces
estos dos eventos son tambin simultneos para cualquier otro observador,
sin importar su estado de movimiento relativo respecto al primer observador.
Como veremos ms adelante, la simultaneidad es uno de los conceptos fundamentales que debe ser cuestionado y se torna en un punto muy importante
para la formulacin de la teora de la relatividad.
Una primera consecuencia de las transformaciones de Galileo, es que las
leyes de la mecnica son vlidas en todos los sistemas de referencia que se
muevan con respecto al sistema de referencia inercial, el cual se encuentra en
reposo con respecto al espacio absoluto. La demostracin de este resultado
es directa, pues, si una partcula libre posee una velocidad
u = (ux , uy , uz ) = (
dx dy dz
, , )
dt dt dt
(1.6)
respecto al sistema de referencia inercial , entonces, se obtiene de las ecuaciones de transformacin de Galileo (1.5), que las componentes de la velocidad de la partcula, medidas en el sistema de referencia 0 estn dadas
por:
dx0
uy0 = uy
uz0 = uz
(1.7)
ux0 = 0 = ux v
dt
Este resultado se conoce con el nombre de teorema de adicin de velocidades de Galileo. As, puesto que la velocidad relativa v entre los sistemas de
referencia y 0 es constante, entoces, la partcula libre tambin se mueve
con velocidad constante u0 = (u0x0 , uy0 , uz 0 ) respecto al sistema 0 . De manera similar, se deduce que la segunda ley de Newton tambin se satisface,
pues, utilizando el resultado anterior (ecuacin (1.7)), tenemos que
F0 =
du
dp
dp0
du0
=m
=
=F
=
m
0
dt
dt
dt
dt
(1.8)
1.3.
Hasta comienzos del siglo XIX todos los fenmenos fsicos, incluidos los
de la ptica, admitan una explicacin mecnica. Esto nos permite comprender, en gran parte, por qu esta imgen mecnica del mundo se extendi
hasta finales del siglo XIX, tratando de explicar fenmenos tales como la
propagacin de las ondas de luz, y todos aquellos fenmenos relacionados
con la teora electromagntica de Maxwell. Un ejemplo, que ilustra muy bien esta concepcin, lo podemos encontrar en la siguiente cita debida a Lord
Kelvin: No estar contento hasta que pueda construir un modelo mecnico del objeto que estoy estudiando. Si lo puedo lograr significa que lo he
entendido, de lo contrario no..
En este pargrafo describiremos brevemente dos desarrollos de la fsica
del siglo XIX, el carcter ondulatorio de la luz descubierto por Young y
Fresnel y la electrodinmica de Maxwell, que constituyen, en mi opinin, el
punto de partida ms directo para formular los principios y conceptos de la
teora especial de la relatividad.
El sonido es la propagacin de ondas longitudinales en un medio material,
en donde la velocidad de propagacin est dada por la ecuacin debida a
Newton:
s
v=
(1.9)
10
se trabajaron modelos para explicar los fenmenos de la luz, como los desarrollados por Hook y Huygens, en donde la luz se consideraba como alguna
forma de onda longitudinal, que se propagaba a travs del espacio. Newton
trabaj este modelo por algn tiempo, pero dada la imposibilidad de explicar la polarizacin de la luz, desarroll el modelo corpuscular, capaz de
explicar este efecto y de dar cuenta de otras propiedades conocidas de la luz,
desplazando al modelo ondulatorio de Huygens.
La teora corpuscular de la luz permaneci vigente hasta comienzos del
siglo XIX, cuando Young y Fresnel explicaron los nuevos fenmenos de interferencia y difraccin, con base en la teora ondulatoria, relegando a la
teora corpuscular Newtoniana, a un captulo ms de la historia de la fsica. Sin embargo, de la misma manera que el sonido necesita de un medio
para propagarse, se vi la fsica avocada a postular un medio material para
la propagacin de las ondas de luz. Este medio material, que optaron por
llamar ter, debera ser de naturaleza diferente a la materia conocida hasta entonces. Es importante anotar, que el ter en la fsica no era una idea
completamente original, pues ya haba sido usado antes para explicar muchos otros fenmenos. Por ejemplo, Newton, sugiere que el ter puede estar
asociado con la gravitacin, con los fenmenos elctricos y magnticos, con
la propagacin del calor etc.. A este respecto, Young aclara, que el ter a
travs del cual se propaga la luz no necesariamente es el mismo que el ter
elctrico, y por esta razn Young propone llamarlo ter lumnico.
Una vez aceptado que la luz es un fenmeno ondulatorio, comenzaron a
desarrollarse teoras y modelos mecnicos del ter, para explicar el mecanismo de propagacin de las ondas de luz en este medio. Young y Fresnel
fueron los primeros en encontrar que las ondas de luz deben ser transversales, para poder explicar el fenmeno de polarizacin. Este hecho exiga,
entonces, un esfuerzo terico muy grande para comprender el mecanismo
de transmisin de ondas transversales en un medio elstico, dado que sto requera que el medio de transmisin, el ter, tuviera un coeficiente de
rigidez muy grande, pues, como lo demostr Poisson, ondas longitudinales
y transversales se podan propagar en un slido, con
v = (/)1/2
(1.10)
(1.11)
11
de este modelo mecnico del ter, era la ausencia de componente longitudinal de las ondas de luz, lo que llev a Cauchy a sugerir, que el eter deba
tener una compresibilidad negativa, de tal manera que el factor k + 4/3,
en la ecuacin (1.11), se anulara. Estas teoras estaban basadas sobre las
propiedades conocidas de los medios elsticos, pero la combinacin tan inusual de las propiedades que debera tener el ter, condujeron a MacCullagh a
postular, que este medio era un nuevo tipo de sustancia elstica, diferente
a las conocidas y asocindole otras propiedades desarroll una teora ms
sofisticada, con un sistema de ecuaciones, muy parecido a las ecuaciones de
Maxwell, que fue intensamente trabajado en la segunda mitad del siglo XIX.
A diferencia de las propiedades mecnicas del ter, anteriormente discutidas, para las cuales era difcil proponer experimentos directos que las
verificaran, el teorema de adicin de velocidades de Galileo, que se cumple
tambin para las ondas en un medio mecnico, permiti proponer y realizar
toda una serie de experimentos para medir la velocidad de la luz, desde
un sistema de referencia mvil respecto al ter. La situacin se plantea de
la siguiente forma: De la teora de propagacin de las ondas en un medio
elstico, sabemos que:
(1.12)
u0 = u v
en donde u es la velocidad de propagacin de las ondas, medida en sistema
de referencia inercial , el cual est en reposo con respecto al medio de
propagacin (el ter para el caso de ondas de luz), u0 es la velocidad de las
ondas, medida por un observador en un sistema de referencia inercial 0 ,
que se mueve con velocidad v respecto a .
En 1728 Bradley descubri el fenmeno de aberracin de la luz, que consiste en el cambio aparente de posicin de las estrellas en diferentes pocas
del ao (Figura 1.2). Este efecto se explica fcilmente, si se supone que el
ter est en reposo respecto al sol, pues, dado que la tierra se mueve con
una velocidad aproximada de 30km/s en su rbita alrededor del sol y, por
lo tanto, si tomamos una estrella colocada perpendicularmente al plano de
translacin de la tierra, el telescopio debe inclinarse un ngulo adicional dado por vc sin , en donde v es la velocidad orbital de la tierra, c la velocidad
de la luz respecto al ter y mide la posicin angular instntanea de la
estrella respecto a la tierra. Esta interpretacin fue capaz de dar el valor
correcto de la aberracin observada, a primer orden en v/c.
Es de anotar, que los experimentos de aberracin de la luz estelar no
eran capaces de dar el valor de la velocidad absoluta de la tierra respecto al
ter, sino solamente cambios de la velocidad relativa de la tierra respecto al
ter. Arago en 1810 propuso una modificacin al experimento de aberracin,
12
13
14
1.3.1.
Un experimento crucial
15
16
2
2
v
c v2
1
2L
1
(
p
)
2
2
c 1 v /c
1 v2 /c2
t = tACA tABA =
=
c2
(1.13)
(1 + x)r = 1 + rx +
1
r(r 1)x2 +
2!
(1.14)
la cual es convergente para |x| < 1, se desarrolla cada fraccin hasta trminos
17
v2
c2
(1.15)
2L v2
c2
(1.16)
18
Captulo 2
Fundamentos de la
relatividad especial
En este captulo formularemos los postulados fundamentales sobre los
cuales est basada la teora especial de la relatividad y obtendremos las ecuaciones de transformacin entre sistemas de referencia inerciales (transformaciones de Lorentz). Concluiremos el captulo estudiando las propiedades de
las transformaciones de Lorentz y sus consecuencias sobre la medida de intervalos temporales y espaciales.
2.1.
21
(2.1)
B =0
(2.2)
B = 0 J + 0 0
E
t
(2.3)
B
(2.4)
t
con 0 = 4 107 N w/(amp)2 la permeabilidad magntica del vaco y
0 = 8, 854 1012 coulomb2 /N w m2 la constante dielctrica del vaco. La
primera ecuacin corresponde a la ley de Gauss, y establece que las cargas
son fuente del campo elctrico, siendo la densidad de carga. La segunda
ecuacin afirma que no existen cargas magnticas aisladas. El primer trmino
de la tercera ecuacin corresponde a la ley de Ampre y significa que las
corrientes elctricas son fuente del campo magntico, con J la densidad
de corriente, mientras que el ltimo trmino, conocido como corriente de
desplazamiento de Maxwell, establece que variaciones temporales del campo
elctrico son tambin fuente del campo magntico. La ltima ecuacin es la
ley de induccin de Faraday, en la cual variaciones temporales del campo
magntico producen campos elctricos. Las ecuaciones de campo de Maxwell
se completan con una ecuacin de movimiento, la cual establece que la fuerza
sobre una partcula de carga q en presencia de un campo electromagntico
est dada por :
F = q E + qu B
(2.5)
E =
+J =0
(2.6)
t
Integrando en todo el espacio y aplicando el teorema de Gauss, se llega
al principio de conservacin de la carga:
Z
dQ
d
dV =
=0
(2.7)
dt
dt
Este resultado es independiente del estado de movimienento de la carga
y existe muchsima evidencia experimental que lo corrobora. Por ejemplo,
B0 = 0
0
B 0 = 0 J 0 + 0 0
(2.9)
E0
t0
(2.10)
B0
(2.11)
t0
en donde las cantidades primadas se refieren a sus valores medidos por el
observador 0 . Siguiendo los mismos pasos anteriores, obtenemos la ecuacin
de continuidad en el sistema de referencia 0
0
E0 =
0
0
+ J0 = 0
t0
(2.12)
(2.13)
2E
=0
t2
(2.14)
23
(2.15)
c = 1/ 0 0
siendo esta velocidad de propagacin, independiente de la velocidad de la
fuente (sistema de cargas aceleradas). Si ahora asumimos de nuevo la validez
del principio de relatividad y consideramos otro sistema de referencia inercial
0 , obtenemos, siguiendo un razonamiento similar, la ecuacin de ondas en
el sistema de referencia 0 :
02 E 0 00 00
2E0
=0
t02
(2.16)
(2.17)
Por otra parte, si suponemos que la ley de Coulomb es vlida en los dos
sistemas de referencia inerciales y 0 , y que la fuerza de Coulomb, entre dos
partculas iguales en reposo relativo, por ejemplo dos electrones o protones,
es la misma en ambos sistemas de referencia inerciales, entonces 00 = 0 y
por lo tanto la velocidad de la luz es independiente del sistema de referencia
inercial desde el cual sta sea medida e independiente del movimiento de las
fuentes.
Si aceptamos ahora, que el postulado de la constancia de la velocidad de
la luz es vlido, y las ecuaciones de Maxwell son correctas, entonces 00 = 0 y
tambin 00 = 0 . Esto implica que las unidades fundamentales de longitud,
tiempo, masa y carga elctrica deben ser definidas en la misma forma en
todos los sistemas de referencia inerciales, as como tambin las constantes
fundamentales de la fsica: la constante de Planck h = 6, 626 1034 J s, la
constante de gravitacin universal de Newton G = 6, 670 1011 N w m2
kg 2 y la velocidad de la luz en el vaco c = 2, 998 108 m s1 .
(2.18)
(2.19)
Mp := (~c/G)1/2 = 2, 18 108 kg
(2.20)
2.2.
Transformaciones de Lorentz
25
(2.21)
para todos los observadores inerciales y ocurrirn tambin en el mismo punto del espacio. En otras palabras, la simultneidad de eventos en un mismo
punto del espacio es un hecho fsico absoluto, i.e., independiente del observador. Supongamos adems, que se dispone de un conjunto de relojes ideales
e idnticos, es decir, algn dispositivo o fenmeno fsico reproducible, que
nos permita determinar una escala de tiempo y situemos uno de estos relojes
en el origen de coordenadas espaciales escogido por un observador inercial.
De acuerdo con la suposicin sobre el caracter absoluto de la simultneidad
para eventos que tienen lugar en el mismo punto del espacio, el observador
determinar un tiempo, el marcado por el reloj situado en su origen, para
cada evento que ocurra en el origen de coordenadas. Este tiempo marcado
por el reloj supone haber elegido un instante inicial, t = 0, el cual es arbitrario, de acuerdo con la hiptesis de homogeneidad del tiempo. Ahora,
coloquemos en cada punto del espacio y en reposo relativo al reloj del origen,
uno de estos relojes idnticos, y determinemos que el instante de tiempo en
que un evento fsico sucede, es el marcado por el reloj situado en el punto
del espacio donde el evento tiene lugar.
Hasta este momento se ha definido la medida del tiempo local y falta
entonces sincronizar todos los relojes del observador inercial, para que este
27
d
c
(2.22)
Con estas definiciones de medida de la distancia y del intervalo temporal, un observador inercial construye su sistema de coordenadas espaciotemporal. Este procedimiento es consistente y vlido para todos los observadores inerciales, puesto que la distancia d para puntos en reposo relativo
est bien definida y es por su definicin independiente del observador, as como la velocidad de la luz en el vaco c es una constante universal, de acuerdo
con el segundo postulado.
La coordenada temporal para un evento, se le define, entonces, como la
lectura del reloj que est situado en el punto del espacio donde el evento
ocurre, y de acuerdo con la hiptesis del caracter absoluto de la simultneidad, para eventos que suceden en el mismo punto del espacio, este procedimiento es independiente del observador.
Habiendo definido la forma como un observador inercial construye su
sistema de coordenadas espacio-temporales, abordemos, ahora, el problema
de encontrar las ecuaciones que relacionan las coordenadas de un evento,
asignadas por dos observadores inerciales.
Sea p un evento fsico, y san (t, x, y, z) y (t0 , x0 , y 0 , z 0 ) las coordenadas
del evento, medidas por los dos observadores inerciales y 0 . De acuerdo
con la homogneidad e isotropa del espacio y el tiempo, supongamos, sin
prdida de generalidad, que los dos observadores eligen los ejes coordenados
espaciales paralelos, con v, la velocidad del sistema 0 respecto a , en
la direccin positiva de los ejes x, x0 , y adems, define cada observador, el
origen de la coordenada temporal t = t0 = 0, en el instante en que los
orgenes espaciales de los sistemas coinciden (Figura 2.2).
El conjunto de transformaciones de coordenadas, que estamos buscando,
(2.23)
x0 = f2 (t, x, y, z)
(2.24)
y 0 = f3 (t, x, y, z)
(2.25)
z 0 = f4 (t, x, y, z)
(2.26)
con la condicin que las funciones fi san invertibles, es decir, que se puedan
despejar las coordenadas (t, x, y, z) en funcin de las coordenadas primadas
(t0 , x0 , y 0 , z 0 ).
Otra condicin general sobre las funciones fi la impone la primera ley de
Newton la cual implica que una partcula libre debe moverse con velocidad
constante para todos los observadores inerciales. Esta exigencia implica que
las ecuaciones de transformacin deben ser lineales en las coordenadas. As,
el sistema de ecuaciones de transformacin (2.23), (2.24), (2.25) y (2.26) lo
podemos escribir como:
t0 = a00 t + a01 x + a02 y + a03 z
(2.27)
(2.28)
29
(2.29)
(2.30)
en donde los coeficientes ai,j son constantes independientes de las coordenadas. Estos coeficientes ai,j son funciones, a lo sumo, de la velocidad del
sistema de referencia 0 respecto a , pues se supone que todos los observadores eligen las mismas escalas para medir distancias y tiempos. La
linealidad implica tambin que los ejes espaciales de 0 permanecen siempre
paralelos a si mismos y as a los ejes espaciales de . Adems, la velocidad
del sistema respecto a 0 es igual a v (igual en magnitud y opuesta a
la velocidad de 0 respecto a ), y por lo tanto la transformacin inversa
debe tener la misma forma cambiando v por v. Para el caso cuando v = 0,
la transformacin se reduce a la identidad. La condicin de existencia de la
transformacin inversa, por otra parte, queda garantizada exigiendo que el
determinante de los coeficientes aij sea diferente de cero.
De la escogencia de los ejes espaciales se obtiene que los planos y = 0
y y0 = 0 coinciden permanentemente (todos los ejes espaciales de los dos
sistemas de referencia permanecen paralelos) y por lo tanto la ecuacin de
transformacin para la coordenada y 0 debe reducirse a:
y 0 = a22 y
(2.31)
(2.32)
Esto implica, por lo tanto que se debe cumplir que a22 = 1. Por otra
parte, dado que para v 0 se cumple que y0 y, entonces
a22 = 1
(2.33)
(2.34)
(2.35)
(2.36)
x = 0 (x0 + vt0 )
= (x + vt)
(2.37)
x = (x vt )
(2.38)
(2.39)
(2.40)
31
2.3.
Propiedades de las TL
x =
3
X
x + a ; , = 0, 1, 2, 3
(2.43)
=0
(2.44)
x =
3
X
, = 0, 1, 2, 3
(2.45)
=0
33
En el caso de general de una transformacin de coordenadas que involucre movimiento relativo, cambio de orientacin de los ejes espaciales
y translacin del origen de coordenadas espacial y temporal, se requieren
entonces 10 parmetros para determinar completamente la transformacin:
Los tres parmetros ai , i = 1, 2, 3 que determinan el cambio del origen espacial, un parmetro a0 para el desplazamiento del origen temporal, tres
parmetros (e.g. los ngulos de Euler) para determinar una rotacin de los
ejes espaciales y tres parmetros (e.g. las tres componentes de la velocidad relativa) para determinar una transformacin pura de Lorentz. Para los
objetivos del presente libro, salvo se especifique lo contrario, es suficiente
considerar solamente transformaciones de Lorentz puras con los ejes xx0 en
la direccin de la velocidad relativa de los sistemas de referencia y supondremos adems, que los orgenes de los sistemas coinciden para el tiempo
cero en ambos sistemas.
Antes de continuar con la discusin de algunas propiedades de las transformaciones de Lorentz, reescribamos las ecuaciones de transformacin (2.41)
(2.46)
01
(2.47)
35
(2.48)
(2.49)
w+v
1 + wv/c2
(2.50)
r (r 1) 2
x +
2!
(2.51)
la cual converge para |x| < 1. Si aplicamos esta expansin al factor (v)
tenemos
1/2
v2
(v) =
1 2
c
1 v2
= 1+
+
(2.52)
2 c2
Remplazando esta expansin en las ecuaciones de transformacin de
Lorentz 2.41 obtenemos
1 v2
+ (x vt)
x =
1+
2 c2
2
v
= x vt + O 2
(2.53)
c
v
1 v2
+
x
t =
1+
2 c2
c2
2
v
= t+O
c2
(2.54)
en donde O v 2 /c2 representa trminos del orden de v 2 /c2 , los cuales son
muy pequeos si v/c << 1 y por lo tanto las ecuaciones de transformacin de Galileo corresponden a una aproximacin a vajas velocidades de las
ecuaciones de Lorentz. Un resultado similar se obtiene pata el teorema de
adicin de velociades.
Este lmite de bajas velocidades juega el papel de un principio de correspondencia, en el sentido de que la fsica Newtoniana es una teora vlida
para describir los fenmenos, cuando las velocidades tpicas involucradas en
los procesos bajo consideracin son bajas comparadas con la velocidad de
la luz y por lo tanto, las ecuaciones de la relatividad deben reducirse a las
correspondientes relaciones clsicas, en este lmite de velocidades bajas. Es
importante aclarar el significado de la frase validez de la fsica Newtonianas
para velocidades v << c. Dado que toda medida experimental de una cantidad fsica, lleva consigo un error experimental, entonces las predicciones
37
(2.56)
(2.57)
(2.58)
L1 (v) = L(v)
(2.59)
(2.60)
(2.61)
39
(2.62)
Utilizando las TL (ecuaciones (2.46)) expresemos el intervalo espaciotiempo medido por 0 (ecuacin (2.62)), en trminos de las coordenadas del
observador :
02
= ((x02 x12 ) (x01 x11 ))2 ((x12 x02 )
S12
(2.63)
(2.65)
2.4.
Consecuencias de las TL
(2.66)
Utilizando las TL para remplazar en esta expresin las coordenadas primadas en trminos de las no primadas y aplicando la definicin de tiempo
41
propio, obtenemos
ct0 = (x02 x12 ) (x01 x11 )
(2.67)
t0 = = p
1 v 2 /c2
(2.68)
pues el factor simpre es mayor que 1, para v 6= 0. De paso hemos demostrado, que si dos eventos ocurren para un observador en un mismo punto del
espacio, el orden temporal de los eventos (e.g. x02 x01 > 0) es el mismo
00
para todos los observadores, es decir si x02 x01 > 0 entonces x00
2 x1 > 0,
y el tiempo propio es el intervalo de tiempo ms pequeo medido por algn observador. Esto justifica el nombre de dilatacin temporal, y significa
fsicamente, que los dos eventos estn conectados causalmente, es decir, que
el evento posterior pudo ser causado por el primer evento, an cuando no
necesariamente exista un proceso fsico que los ligue. Notemos adems que
el intervalo de tiempo entre dos eventos puede hacerse tan grande como se
quiera, si tomamos velocidades suficientemente cercanas a la velocidad de la
luz, pues 1 < para 0 v < c, y por lo tanto dado > 0, entonces
t0 = puede hacerse tan grande como se quiera haciendo que v c.
Calculemos, ahora el intervalo espacio-tiempo para estos dos eventos. En
el sistema obtenemos la expresin
2
S12
= (x02 x01 )2 (x12 x11 )2 (x22 x21 )2 (x32 x31 )2 = c2 2 > 0 (2.69)
el cual nos indica, que para el caso que estamos considerando, el intervalo
espacio-tiempo nos mide directamente (salvo un factor constante c2 ) el intervalo de tiempo propio. Si calculamos este mismo intervalo, ahora en el
sistema de referencia 0 (ver ecuacin (2.62)), por su invarianza, obviamente
obtenemos el mismo resultado. Esto nos muestra, sin ulteriores clculos, que
el intervalo de tiempo en 0 debe ser mayor que en , pues a c2 t02 le estamos restando una cantidad positiva, que nos da la distancia espacial entre
los dos eventos medidos en el sistema 0 .
Cuando tiene sentido hablar del intervalo de tiempo propio entre dos
eventos?. Para responder a esta pregunta, consideremos dos eventos fsicos
2 entre ellos en algn
cualesquiera 1 y 2 y calculemos el intervalo S12
0
1
2
3
sistema de referencia inercial . Sean (x1 , x1 , x1 , x1 ) y (x02 , x12 , x22 , x32 ) las
(2.70)
Por lo tanto, si este intervalo es mayor que cero, esto significa que siempre
es posible encontrar un sistema de referencia inercial 0 , para el cual los dos
eventos ocurren en el mismo punto del espacio, as
2
00 2
2
2
S12
= (x00
2 x1 ) = c
(2.71)
pues, dadas las coordenadas de los dos eventos en , basta con considerar
un sistema de referencia 0 el cual se mueva con una velocidad v respecto a
dada por
x1 x11
v
(2.72)
= = 20
c
x2 x01
43
en donde se ha supuesto, sin prdida de generalidad, que x12 > x11 . Esta
definicin es fsicamente consistente, puesto que la varilla est en reposo
para el observador . De la misma manera como definimos tiempo propio,
llamemos a L0 , definido en la ecuacin (2.73), longitud propia de la varilla.
En trminos generales, definimos la longitud propia de un cuerpo cualquiera,
como la longitud del cuerpo medida en el sistema de referencia, en el cual
el cuerpo se encuentra en reposo. El problema surge, cuando el cuerpo al
cual se le quieren medir sus dimensiones, est en movimiento. Consideremos
entonces, otro sistema de referencia 0 , el cual se mueve con velocidad v
respecto a y definamos la longitud de la varilla en 0 , como la diferencia
de las coordenadas de los extremos de la varilla en un instante dado t0 :
01
L = x01
2 x1
(2.74)
(2.75)
45
que ellos decaigan en otras partculas. Dado que la llegada de los muones a
la superficie terrestre es un hecho fsico, a esta misma conclusin debe llegar
cualquier otro observador inercial. Por ejemplo, consideremos el observador
ligado a la partcula. Puesto que para l la partcula se encuentra en reposo,
su vida media no se ve dilatada y por lo tanto el mun se desintegra al
cabo de 2, 2 106 s. Pero ahora, es la tierra la que se mueve hacia l,
con una velocidad de v = 0,994c y la distancia a la superficie tierrestre,
desde
el lugar donde se producen los muones, se ve contraida en un factor
p
1 v 2 /c2 0,11 de acuerdo con la ecuacin (2.76) y por lo tanto la
superficie de la tierra se encuentra a una distancia de 0, 112,000m = 220m,
la cual es lo suficientemente corta para que la superficie de la tierra llegue
hasta el punto en el cual se encuentra el mun, antes que este se desintegre.
Esta aparente asimetra en el anlisis de un fenmeno fsico, visto por
dos observadores inerciales (en un caso el efecto considerado es la dilatacin temporal, mientras que para el otro observador es la contraccin de
longitudes), no est en contradiccin con el principio de relatividad, pues
este principio lo que establece es la invarianza de las leyes fsicas para observadores inerciales. En efecto, dos observadores pueden medir diferentes
trayectorias, longitudes, intervalos de tiempo, energas cinticas, etc., pero
las leyes que rigen la dinmica de los sistemas si deben ser las mismas.
Es importante resaltar este aspecto, pues es frecuente caer en aparentes
paradojas cuando se aplica el principio de relatividad. De hecho se han construido muchos ejemplos, llamados en fsica gedanken Experimenten, que
ilustran esta situacin y que constituyen un buen ejercicio para comprender
mejor los fenmenos relativistas. Un clsico ejemplo es el de un carro de
longitud propia L0 y un garaje de menor longitud propia d0 con d0 < L0 .
Supongamos que el carro se dirige hacia el garaje con una velocidad v suficiente, para que su longitud medida porpun observador en reposo con respecto
al garaje sea menor que d0 , esto es L0 1 v2 /c2 < d0 . Entonces, un observador en reposo respecto al garage planea atrapar al carro dentro del garaje
y calcula cerrar la puerta de ste, tan pronto la trompa del carro alcance la
pared del fondo. Para el observador que viaja con el carro, es el garaje el que
aparece contraido y por lo tanto, para l es imposible que lo atrapen dentro
del garaje, pues cuando la pared toque la punta del carro, el observador del
garaje no puede cerrar la puerta. Claramente este anlisis es contradictorio, pues desde el punto de vista fsico si el carro puede ser atrapado por
un observador, este debe ser atrapado por todos, o lo contrario, es decir no
es atrapado por ninguno. La solucin a esta aparente paradoja reposa en
el hecho que la simultaneidad no es un concepto absoluto como hemos visto. Cuando el observador ligado al garage cierra la puerta simultneamente
Captulo 3
Introduccin
3.2.
R2 := x = (x1 , x2 ) | xi R; i = 1, 2
x :=
2
X
ij xi xj = (x1 )2 + (x2 )2
i,j=1
47
(3.2)
x02 = x2
(3.3)
0 si i 6= j
(3.4)
ij :=
1 si i = j
Dado que T es una transformacin lineal de R2 en R2 la podemos escribir
como
2
X
aji xi = aji xi
(3.5)
x0j =
i=1
aji
(3.6)
Identificando los coeficientes de las correspondientes coordenadas, obtenemos el siguiente conjunto de ecuaciones acopladas para los coeficientes:
a211 + a221 = 1
(3.7)
a212 + a222 = 1
(3.8)
(3.9)
(3.10)
Como el sistema de ecuaciones tiene cuatro incognitas podemos encontrar tres de llas en trminos de la restante, o equivalentemente podemos
despejar las cuatro incognitas en funcin de un parmetro. Si llamamos a
49
(3.11)
(3.13)
1 1
1
x1
x
x
2
2
(3.15)
x = x x
=
= x x
2
2
x
x
x2
(3.17)
(3.18)
(3.19)
Este resultado tiene una interpretacin geomtrica que veremos enseguida (ver Figura 3.1).
Si hacemos una rotacin de los ejes coordenados x, y por un ngulo y en
sentido contrario a las agujas del reloj, las componentes de un vector de R2
se transforman como en la ecuacin (3.5) y claramente dejan la norma del
vector invariante. Este resultado muestra entonces, que la transformacin
lineal que deja invariante la norma de un vector en R2 queda determinada por un solo parmetro y puesto que es equivalente a una rotacin de
los ejes, podemos escoger como parmetro el ngulo de rotacin . De esta
forma podemos escribir T () para representar esta transformacin lineal.
Adems, si realizamos dos transformaciones (rotaciones) sucesivas T () y
T (), la primera en un ngulo y la segunda en un ngulo , entonces la
transformacin compuesta T () T () es equivalente a una sola transformacin en un ngulo + . Adicionalmente, la transformacin inversa de T ()
es equivalente a la transformacin por un ngulo y la transformacin
51
(3.20)
T 1 () = T ()
(3.21)
T (0) = 1
(3.22)
Estas ecuaciones definen un grupo matemtico, llamado el grupo de rotaciones del plano. Dado que las transformaciones estn determinadas por un
nico parmetro , que vara continuamente de 0 a 2, el grupo se llama
continuo o grupo de Lie de un parmetro.
3.3.
(3.23)
(3.24)
6=
0 si
1 si
==0
(3.25)
:=
1 si = = 1, 2, 3
El producto interno definido por la ecuacin (3.24) induce entonces una
norma
x2 := x x = (x0 )2 (x1 )2 (x2 )2 (x3 )2 = x x
(3.26)
(3.28)
Para encontrar la forma general de una transformacin de Lorentz, utilicemos primero el hecho que cualquier transformacin lineal la podemos
escribir en la forma
(3.29)
x, = x
en donde los coeficientes conforman la matriz de transformacin de
Lorentz. Remplazando la ecuacin (3.29) en (3.28) y comparando coeficientes, obtenemos las condiciones que deben cumplir los elementos de la
matriz de Lorentz:
(3.30)
=
Esta ecuacin la podemos escribir en forma equivalente, como el siguiente
sistemas de ecuaciones:
(00 )2
(0k )2
3
X
(i0 )2 = 1
i=1
3
X
(ik )2 = 1;
i=1
(3.31)
= 0;
k = 1, 2, 3
6=
(3.32)
(3.33)
Este sistema de ecuaciones es general y contiene todas las posibles transformaciones entre sistemas de coordenadas que dejan invariante el producto
punto Minkowskiano. Estas transformaciones las podemos dividir en tres
categoras: La primera corresponde a las rotaciones de los ejes espaciales,
dejando la coordenada temporal inmodificada y forman el llamado grupo de
rotaciones. este grupo representa el hecho que el espacio fsico es isotrpico.
Claramente una rotacin espacial queda determinada por tres parmetros,
por ejemplo los tres ngulos de Euler. La segunda categora la constituye la
operacin de inversin de los ejes espaciales y el temporal. La ltima categora, que es la de inters para nosotros, la conforman las transformaciones
puras de Lorentz, que representan el cambio entre sistemas de referencia inerciales, manteniendo tanto los ejes espaciales paralelos (no hay rotaciones
espaciales) as como el sentido de los ejes espaciales y el temporal (sin inversin de ejes). Este grupo de transformaciones es conocido en la literatura
como las boost de Lorentz , las cuales quedan completamente determinadas por tres parmetros, que pueden ser escogidos para que corresponden
a las tres componentes de la velocidad relativa de los sistemas de referencia.
53
(3.34)
0 01 0 0
10 11 0 0
=
(3.35)
0
0 1 0
0
0 0 1
y las relaciones (3.31), (3.32) y (3.33), toman la forma:
(00 )2 (10 )2 = 1
(3.36)
(01 )2 (11 )2 = 1
(3.37)
00 01 10 11 = 0
(3.38)
que es un sistema de tres ecuaciones con cuatro incgnitas y as, los coeficientes por determinar, quedan dados en trminos de un parmetro:
=
(3.39)
0 0
0 0
=
0
0
1 0
0
0
0 1
(3.40)
en donde
1
= (v) := q
1
v
= (v) :=
c
v2
c2
(3.41)
(3.42)
(3.44)
x,2 = x2
(3.45)
x,3 = x3
(3.46)
vemos la extrecha relacin formal con la ecuacin (3.13) (rotacin de los ejes
x1 y x2 ).
No es dificil ver que podemos interpretar formalmente una transformacin de Lorentz, como una rotacin en el plano complejo de los ejes (ict, x) en
un ngulo complejo. Para este fn definamos el parmetro por la siguiente
ecuacin:
v
(3.47)
tanh := =
c
55
sinh =
v
(v);
c
(3.48)
Con esta deficin (ecuacin (3.47)) y las relaciones (3.48) las ecuaciones
de transformacin de Lorentz se pueden escribir en la forma:
x,0 = x0 cosh x1 sinh
(3.49)
(3.50)
x,2 = x2
(3.51)
x,3 = x3
(3.52)
(3.53)
3.4.
Puesto que el cuadrado la norma de todo cuadri-vector (c-v) es un invariante relativista y esta norma no es definida positiva, podemos clasificar a
los c-v en en tres grupos disyuntos: Dado un c-v x M, definimos:
1. si x2 > 0 el c-v se llama como de tiempo
(3.54)
x2 + y2 + z 2
= t20
c2
(3.55)
Esto significa que es posible que el primer evento, la desintegracin del ncleo, pueda ser causa del segundo evento, la fisin del otro ncleo. Si hubieramos supuesto que t < 0 la conclusin es la misma, solo que en este caso la
fisin del ncleo pudo ser la causa de la desintegracin del otro. El resultado
general que se desprende de este anlisis es que eventos, cuya separacin
o intervalo espacio-temporal es mayor que cero, son eventos causalmente
conectados (lo que no significa necesariamente que uno de ellos sea causa
del otro), y por lo tanto, la sucesin temporal de eventos causalmente conectados es la misma para todos los observadores. Adems, puesto que S 2 > 0,
notemos que siempre es posible encontrar un sistema de referencia 0 para
el cual los dos eventos ocurren en el mismo punto del espacio, pues basta
con elegir la velocidad de este sistema igual a
r
x2 + y 2 + z 2
(3.56)
v=
t2
57
(3.57)
ct > 0
(3.60)
(3.61)
59
3.5.
Algebra de cuadri-vectores
x + y = (x0 , x1 , x2 , x3 ) + (y0 , y 1 , y 2 , y3 )
0
(3.62)
3
= (x + y , x + y , x + y , x + y )
x = (x0 , x1 , x2 , x3 ) := (x0 , x1 , x2 , x3 )
(3.63)
(3.64)
(x) = x
(3.65)
(3.66)
x (y) = (x) y = (x y) x, y, z M R
Su demostracin es directa a partir de la definicin del producto punto
Minkowskiano (3.24) y del lgebra de vectores definida por las ecuaciones
(3.62) y (3.63). Veamos, como ejemplo del mtodo de demostracin, solamente la segunda propiedad. De las definiciones de producto interno y suma
de c-v en notacin de componentes, tenemos:
x (y + z) = x (y + z)
= x (y + z )
= x y + x z
= xy+xz
(3.67)
61
(3.68)
(x + y) (x y) = x2 y2
(3.69)
(3.70)
(3.71)
(x y)2 = x2 + y 2 2x y = 2x y
(3.72)
Proposicin 4.3 Dos c-v x, y M como de luz y mutuamente ortogonales x y = 0 son proporcionales entre si, i.e. x = y.
Para la demostracin basta con tener en cuenta, por hiptesis, las siguientes relaciones,
(3.73)
0 = xy = x0 y0 x y
0 = x2 = (x0 )2 | x |2
0 = y 2 = (y0 )2 | y |2
(3.74)
(3.75)
cos x y = 1
(3.76)
lo cual significa que las componentes espaciales son paralelas y as proporcionales, es decir x = y. Ahora, de la relacin x = y y remplazndola en
la ecuacin (3.73) se obtiene:
0 = xy = x0 y0 x y = x0 y0 | x |2
(3.77)
(3.78)
(3.80)
(3.81)
= x2
|z|2
|z|2
|z 0 |2
63
(3.83)
(3.84)
Captulo 4
Cinemtica relativista
4.1.
Introduccin
En este captulo se desarrollar la cinemtica relativista como una aplicacin de los cuadri-vectores. En las dos primeras partes definiremos los
c-vectores velocidad y aceleracin y en la ltima parte introduciremos el cvector nmero de onda, como una consecuencia de la invarianza relativista
del producto punto y se discutir el efecto Doppler y la aberracin de la luz
como una consecuencia de las leyes de transformacin de los c-vectores.
4.2.
Cuadri-vector velocidad
Definamos el c-v posicin x como un elemento del espacio M el cual describe el instante de tiempo y posicin espacial de un evento fsico cualquiera,
cuyas coordenadas para un observador inercial estn dadas por x =
(x0 , x1 , x2 , x3 ). Por ejemplo, la trayectoria de una partcula elemental, es
decir, su posicin espacial en cada instante de tiempo, la podemos describir
por un c-v posicin x(s) como funcin de algn parmetro s, y a esta funcin
x(s) se le llama la lnea de universo de la partcula. En fsica no relativista
es usual utilizar como parmetro s la coordenada temporal t. Sin embargo
es claro que en el caso relativista este no es el parmetro ms adecuado, an
cuando se puede usar, pues l depende del observador. Para describir la lnea
de universo de una partcula material es usual, dada su interpretacin fsica
directa, utilizar como parmetro s al tiempo propio de la partcula, es decir,
el tiempo medido por un reloj que viaja con la partcula, el cual es un invariante relativista y as es un parmetro independiente del observador. De
lo discutido en el pargrafo anterior, si x1 y x2 son las coordenadas de dos
65
66
(4.1)
dr
dt
(4.2)
dx
d
(4.3)
d
dt
dt
d
dr 2
)
dt
1
= (u) := p
1 u2 /c2
1(
(4.5)
67
d
d 0
x =
(x , x)
d
d
dt d
(ct, r) = (u)(c, u)
d dt
(4.6)
Entonces
U 0 = (u)c;
U 1 = (u)ux ;
U 2 = (u)uy ;
U 3 = (u)uz
(4.7)
(4.8)
Esta relacin indica que todo c-v velocidad es como de tiempo y geomtricamente representa el c-v tangente a la lnea de universo de una partcula
material, generalizando de esta forma los conceptos usuales de curva y su
vector tangente (velocidad). Notemos que el valor de la norma al cuadrado
del c-v velocidad se hubiera podido obtener directamente, sin realizar ningn
clculo, pues, dado que esta norma es un invariante, siempre podemos escoger un sistema de referencia inercial particular, por ejemplo, aquel para
el cual la partcula est momentneamente en reposo, en donde U = (c, 0),
y asi directamente se obtiene que U 2 = c2 . Este ejemplo ilustra uno de los
hechos que hacen del clculo con c-vectores una herramienta muy poderosa
y en general ms simple.
Otra propiedad muy importante de los c-vectores es que todos se transforman, por definicin, de la misma forma bajo una transformacin de
Lorentz, lo cual nos permite obtener de una manera ms simple, pero ms
general, las leyes de transformacin entre sistemas de referencia inerciales
de las variables fsicas. Por ejemplo, el teorema de adicin de velocidades
68
se sigue directamente del hecho que siendo U un c-v, entonces sus componentes medidas en dos sistemas de referencia y 0 estn relacionadas
por las ecuaciones de transformacin de Lorentz (ecuaciones (3.43), (3.44),
(3.45) y (3.46)):
(4.9)
U ,0 = (v)(U 0 U 1 )
U ,1 = (v)(U 1 U 0 )
,2
(4.10)
(4.11)
U ,3 = U 3
(4.12)
=U
En donde v es la velocidad del sistema de referencia 0 respecto al sistema y = v/c. Hemos colocado explcitamente el argumento del factor
, para distinguirlo del asociado a la velocidad fsica u de la partcula.
Teniendo en cuenta la relacin entre las componentes de la c-velocidad y la
velocidad fsica (ecuacin (4.7)), vlidas en cualquier sistema de referencia,
la ecuacin (4.9) nos da directamente la ley de transformacin del factor
de la partcula:
vux
(4.13)
(u, ) = (v)(u)(1 2 )
c
y teniendo en cuenta esta relacin, se obtiene, de las otras tres ecuaciones
(4.10), (4.11) y (4.12), el teorema de adicin de velocidades o equivalentemente la ley de transformacin de las componentes de la velocidad fsica
entre dos sistemas de referencia inerciales:
ux0 (u, ) = (v)((u)ux c(u))
entonces
ux0 =
ux v
x
(1 vu
c2 )
(4.14)
(4.15)
y similarmente
uy0 =
uz0 =
p
1 v2 /c2
x
(1 vu
)
c2
p
2
uz 1 v /c2
x
(1 vu
)
c2
uy
(4.16)
(4.17)
69
w2
U
w=
c
(4.18)
4.3.
Cuadri-vector aceleracin
dU
d
(4.19)
A =
(4.20)
70
(4.21)
A esta aceleracin fsica a se le llama aceleracin propia y es un invariante relativista, pues la norma al cuadrado del c-v aceleracin est dada
por
(4.22)
A2 = | a |2
Esta relacin indica tambin que la c-aceleracin es un c-v como de espacio. Adems, los c-vectores velocidad y aceleracin son ortogonales pues, en
el sistema de referencia propio de la partcula el c-v velocidad tiene componentes (c, 0) y por lo tanto el producto interno entre los c-vectores velocidad
y aceleracin, que es tambin un invariante, est dado por:
U A = U A = 0
(4.23)
d
d 2
U = 2U
U = 2U A
d
d
(4.24)
Podemos proceder de manera similar como se hizo para obtener las leyes
de transformacin de las componentes de la velocidad entre sistemas de referencia inerciales y calcular las ecuaciones de transformacin para la aceleracin, sin embargo, dado que estas expresiones no son de mucha utilidad,
pospondremos la interpretacin fsica de la aceleracin para el siguiente captulo sobre dinmica relativista y nos limitaremos en este punto a dar un
ejemplo sobre la cinemtica de un sistema con aceleracin propia constante.
4.3.1.
Viaje interestelar
71
= (U 0 , U ) = (U 0 , Ux , 0, 0)
0
A = (A , A) = (A , Ax , 0, 0)
(4.25)
(4.26)
las cuales satisfacen las siguientes relaciones (usando unidades con c = 1):
U 2 = 1 = (U 0 )2 Ux2
(4.27)
U A = 0 = U 0 A0 Ux Ax
(4.28)
A2 = g 2 = (A0 )2 A2x
(4.29)
(4.30)
Ux 2
) ]
U0
(4.31)
(4.32)
72
(4.33)
Diferenciando con respecto al tiempo propio la ecuacin (4.32) y haciendo uso de la ecuacin (4.33), obtenemos una ecuacin diferencial para
Ux :
d2 Ux
dU 0
= gA0 = g 2 Ux
=
g
(4.34)
d 2
d
entonces
d2 Ux
g 2 Ux = 0
(4.35)
d 2
cuya solucin est dada en trminos de funciones hiperblicas, como se puede
probar por sustitucin directa,
Ux = C1 sinh(g ) + C2 cosh(g )
(4.36)
(4.37)
As, obtenemos las siguientes ecuaciones diferenciales para las coordenadas (x0 , x) de la nave, medidas desde el sistema tierra:
Ux =
U0 =
dx
= sinh(g )
d
dx0
= cosh(g )
d
(4.38)
(4.39)
en donde la segunda ecuacin se obtiene de la ecuacin (4.27). Integrando estas ecuaciones con las condiciones iniciales x = x0 = 0 para = 0,
obtenemos la ecuacin para la trayectoria o lnea de universo de la nave, en
trminos del parmetro (tiempo propio de la nave):
x0 = g 1 sinh(g )
(4.40)
x = g 1 (cosh(g ) 1)
(4.41)
73
(4.42)
(4.43)
74
La velocidad de la nave en cualquier instante la podemos obtener derivando las ecuaciones (4.40) y (4.41), y de la relacin entre las componentes de
su c-velocidad y su velocidad fsica:
U = (U 0 , U ) = (u)(1, u)
U
= (cosh(g ), sinh(g ), 0, 0)
(4.44)
(4.45)
(4.46)
El centro de la galaxia se encuentra aproximadamente a unos 30000 aosluz de la tierra, puesto que la mitad del viaje se hace acelerando y la otra
mitad desacelerando, entonces por simetra, el tiempo propio para que la
nave llegue al centro de la galaxia es el doble del tiempo necesario para
recorrer los primeros 15000 aos-luz. Despejando de la segunda (4.41)
tenemos:
nos
(4.47)
= cosh1 (15000 + 1) = 10,309a
y por tanto el tiempo medido en la nave para realizar este viaje es de
20,6a
nos, tiempo perfectamente razonable para un viaje interestelar. Ahora,
si este viajero regresa a la tierra siguiendo el mismo plan de vuelo, entonces
el viaje completo le llevara un tiempo de 41,2a
nos, mientras que el tiempo
transcurrido en la tierra sera de
nos
x0 = 4 sinh(10,3) = 60003,9a
(4.48)
75
utilizando relojes atmicos (de alta precisin), uno de los cuales permanece
en la tierra y el otro viaja en un avin alrededor de la tierra. Si bien, el
efecto del retardo temporal del reloj viajero es muy pequeo, del orden de
millonsimas de segundo, este tipo de relojes ha permitido hacer estas medidas con la suficiente precisin, mostrando este espectacular efecto relativista.
Es de anotar que para el clculo del retardo temporal en este experimento
terrestre, es necesario tener en cuenta los efectos asociados al campo gravitacional, es decir hay que trabajar en el contexto de la teora general de
la relatividad, sin que se invalide de ninguna manera las predicciones de la
teora especial de la relatividad.
Una ltima conclusin que se desprende de este ejemplo, es que los viajes
interestelares son fsicamente posibles, pues basta con lograr aceleraciones
suficientes durante un tiempo adecuado, para que un viajero en un tiempo
razonable atraviese nuestra galaxia, o incluso viaje a otras galaxias, pero
definitivamente no pretenda regresar a la tierra, pues en la tierra podran
haber transcurrido varios millones de aos.
4.4.
Cuadri-vector de onda
(4.49)
(4.52)
76
(4.55)
kz0 = kz
(4.56)
kx0 =
v
(v)
c2
ky0 = ky
(4.58)
En primer lugar, la direccin de propagacin de la onda para el observador 0 est dada por la relacin
kx0 /ky0 =
v
(v) = (v)
2
c
ky
c
(4.59)
77
(4.60)
(4.61)
78
v
cos )
c
(4.63)
Parte II
Dinmica relativista
79
Captulo 5
Dinmica relativista
En este captulo se desarrollarn las leyes de la dinmica relativista utilizando desde un principio, la formulacin de cuadrivectores, la cual permite
formular las leyes de la dinmica relativista como una generalizacin de las
leyes fundamentales de la mecnica Newtoniana.
5.1.
Ecuaciones de movimiento
dx
d
(5.1)
82
en donde A es la c-aceleracin y f es la c-fuerza. Para interpretar las componentes del c-momento y c-fuerza en trminos de variables dinmicas fsicas,
especficamente, en trminos de su cantidad de movimiento lineal (momentun), de su energa y de la fuerza, consideremos en primer lugar el c-momento
(ecuacin (5.1)) y hagamos uso del hecho que a bajas velocidades comparadas con la velocidad de la luz, i.e. v c, las ecuaciones de la relatividad
deben reducirse a las ecuaciones de la mecnica Newtoniana. Teniendo en
cuenta que las componentes de la c-velocidad estn relacionadas con la velocidad de la partcula a travs de la ecuacin U = (u)(c, u), entonces (ver
captulo anterior) las componentes del c-momentun sern
p = (m0 (u)c, m0 (u)u) =: (E/c, p)
(5.4)
con
E = mc2
(5.5)
p = mu
(5.6)
m0
m := m0 (u) = p
1 u2 /c2
(5.7)
1 u2
+ O(u4 /c4 )) m0 u
(5.9)
2 c2
la cual, en el lmite de bajas velocidades se reduce a la definicin del momentum clsico. As, la definicin del momentum relativista de una partcula
por la ecuacin (5.6), nos conduce a interpretar la masa relativista (ecuacin
(5.7)) como la inercia de una partcula, la cual depende de su velocidad.
Para interpretar la componente temporal del c-momento, consideremos
de nuevo el lmite de bajas velocidades de la ecuacin (5.5). Remplazando
la expansin (5.8) en la definicin (5.7) tenemos
p = m0 u(1 +
E = m0 c20 (1 +
1 u2
1
+ O(u4 /c4 )) m0 c2 + m0 u2
2
2c
2
(5.10)
83
la cual, salvo el trmino constante m0 c2 , corresponde a la definicin newtoniana de energa cintica. As, este resultado nos conduce a definir la cantidad
K := mc2 m0 c2
(5.11)
(5.12)
la definimos como su energa en reposo. Esta cantidad E0 adquiere el sentido fsico de una energa, solamente si es posible transformar esta forma de
energa (asociada a la masa y no a su estado de movimiento) en otras formas
de energa. Einstein, en su segundo artculo de 1905 sobre relatividad, titulado Depende la inercia de un cuerpo de su contenido de energa postula
que esta forma de energa, asociada a la masa en reposo de una partcula, es
posible transformarla en otras formas de energa, dndole as sentido fsico
a esta definicin y sugiere que esta transformacin de masa en energa se
puede medir en el decaimiento radioactivo de las sales de radio. Este postulado le vali a Einstein el ganarse el dudoso honor de ser el padre de la
bomba atmica.
Otro resultado que apoya las definiciones anteriores, nos lo da la interpretacin fsica de las componentes de la c-fuerza, definida por la ecuacin
de movimiento (5.3). Haciendo uso de la relacin d\d = (u)d/dt y de la
definicin (5.4) de las componentes del c-momento, tenemos
f =
dp
dp
= (u)
d
dt
dm
dm dp
, ) = (u)(c
, f)
dt dt
dt
En la ltima igualdad hemos definido la cantidad
= (u)(c
f=
dp
dt
(5.13)
(5.14)
la cual identificamos como la fuerza fsica que acta sobre la partcula, produciendo, de acuerdo con la definin newtoniana de fuerza, un cambio por
unidad de tiempo en el momentum de la partcula. Para sustentar an ms
84
esta definicin de fuerza y de paso la definicin de energa total E dada, consideremos la relacin de ortogonalidad entre la c-velocidad y la c-aceleracin
(ecuacin (4.23)) U A = 0, entonces
f U = f U = 0
(5.15)
dm
2 (u)f u = 0
dt
dE
=f u
dt
Esto implica que si adoptamos la definicin clsica de trabajo
(5.16)
dW = f dr
(5.17)
dW = f udt = dE
(5.18)
(5.19)
5.2.
Leyes de conservacin
La dinmica Newtoniana est basada sobre tres postulados fundamentales: La primera ley de Newton o el princio de inercia, la cual tambin
se puede formular de manera equivalente, como el principio de relatividad
Galileano, siendo el primer postulado de la teora especial de la relatividad
la generalizacin de esta primera ley. La segunda ley, que postula la ecuacin
85
de movimiento para una partcula sometida a una fuerza (F = ma), se extiende al caso relativista a travs de la ecuacin (5.3). La tercera ley llamada
de accin y reaccin, que postula el comportamiento de la interaccin entre
sistemas, esto es, que la fuerza ejercida sobre una partcula es el resultado
de la interaccin de esta partcula con algn sistema y por tanto, sobre este
sistema tambin interacciona la partcula, efectuando sobre l una fuerza de
la misma magnitud pero de sentido contrario a la ejercida por el sistema
sobre la partcula. Claramente esta ley implica que la accin y la reaccin
son eventos simultaneos y por lo tanto no puede ser vlida para el caso relativista en general. Sin embargo, para el caso particular en que coincidan
los puntos de aplicacin de las fuerzas de accin y reaccin, s se cumple
la tercera ley de Newton, una situacin que se puede presentar cuando los
sistemas que interactan son partculas puntuales y la interaccin entre ellas
se pueda aproximar por una interaccin de contacto. Puesto que las interacciones fundamentales (gravitacional, electromagntica, fuerte o nuclear y
dbil) que rigen todos los procesos fsicos son interacciones a distancia, y
por lo tanto en sentido riguroso, ninguna de estas interacciones fundamentales puede satisfacer la tercera ley de Newton, es claro que el postulado
de Newton sobre la accin y la reaccin, deja de ser una ley fundamental
en la naturaleza y su validez queda restringida a sistemas cuyas velocidades
tpicas san pequeas comparadas con la velocidad de la luz, o para interaciones puntuales de contacto. Es importante anotar en este punto que, en el
marco de la mecnica Newtoniana, la tercera ley de Newton juega un papel
fundamental para establecer los teoremas de conservacin del momentum y
de la energa mecnica.
Esto nos conduce entonces, a postular un principio de conservacin para
la energa y el momentun de un sistema relativista, el cual como veremos,
generaliza las leyes de conservacin de la mecnica Newtoniana y adiciona
una nueva forma de energa, llamada energa en reposo, que est asociada a
toda partcula material y que constituye uno de los aportes ms importantes
de la teora especial de la relatividad.
Para un sistema aislado de partculas, con c-momentos pi , i = 1, 2, ..., el
c-momento total del sistema p , defido como
X
pi
(5.20)
p :=
i=1
es una constante de movimiento. Dado que la componente temporal del cmomento representa la energa total del sistema y las componentes espaciales
corresponden a las componentes del vector momento, entonces el postulado de la conservacin del cuadrimomento asegura que la energa total y el
86
87
una descripcin clsica dada por las ecuaciones de Maxwell, las cuales son
ecuaciones relativistas que describen correctamente los fenmenos electromagnticos a nivel macroscpico. La diferencia de la electrodinmica clsica
con la ley de gravitacin universal de Newton, la cual tambin describe
correctamente los fenmenos gravitacionales a escalas macroscpicas, radica en el hecho que esta ltima no es una teora relativista, pues la fuerza
gravitacional Newtoniana es una interaccin a distancia e independiente del
tiempo. Esta situacin fue precisamente la que condujo a Einstein a buscar
una teora de la gravitacin que estuviera de acuerdo con los principios de
la relatividad y que en el lmite de bajas velocidades se redujera a la teora
Newtoniana de la gravedad, logrando su objetivo en 1915, cuando formul
la Teora General de la Relatividad.
Si bien, las aplicaciones fundamentales de la teora especial de la relatividad de dan en el marco de las partculas elementales y como fue enfatizado
en el pargrafo anterior, para su descripcin dinmica se requiere de una
teora cuntica de campos, es posible como veremos, obtener toda una serie de resultados importantes a partir de la dinmica relativista a partir de
los principios de conservacin, sin necesidad de recurrir a una descripcin
completa de las interacciones que rigen estos procesos.
Antes de entrar a estudiar las principales consecuencias de los postulados
de la dinmica relativista, a travs de fenmenos y procesos fsicos, daremos
algunas definiciones y propiedades y unos resultados generales que sern de
utilidad ms adelante.
5.3.
Un primer resultado general que se deriva de la formulacin cuadrivectorial de la relatividad surge debido al hecho de que la norma de cualquier
c-vector en un invariante relativista y por lo tanto las cuatro componentes
que conforman un c-vector no son independientes. As por ejemplo, esta restriccin sobre las componentes del c-momentun de una partcula, nos conduce a una relacin entre su energa total y la magnitud de su momentun,
pues dado p = (E/c, p) tenemos
p2 = E 2 /c2 | p |2 = Invariante
(5.24)
Para calcular el valor de este invariente, basta con determinar el cmomentun de la partcula en un sistema de referencia particular, por ejemplo, en el sistema de reposo instantaneo de la partcula, para el cual el
88
(5.25)
(5.26)
(5.28)
89
(5.31)
(5.33)
(5.34)
(5.35)
(5.36)
90
(5.37)
5.4.
(5.38)
(5.39)
91
p :=
X
i=1
X
pi =
(mi c, pi ) = (mc,
p)
(5.41)
i=1
en donde hemos definido el momentun total del sistema p en la ltima igualdad de la ecuacin (5.41). De los postulados de conservacin todas las cantidades definidas, p y por tanto m
y p, son constantes en el tiempo. Por
el lema anterior, el c-momentun total del sistema es un c-vector como de
tiempo y dirigido al futuro pues mc
> 0. Por las propiedades dadas en la
Proposicin 5.1 y Proposicin 5.2, podemos encontrar un sistema de
referencia que lo llamaremos CM o sistema de referencia centro de masa,
para el cual el c-momentun total p no tenga componentes espaciales, esto es,
un sistema para el cual p = 0. La velocidad uCM del sistema de referencia
centro de masa respecto a est dada por
uCM =
p
m
(5.42)
drCM
=
dt
dri
i=1 dt mi
+
m
dmi
i=1 ri dt
i=1 pi
= uCM
(5.44)
92
P
puntuales (colisin) i=1 ri dmi /dt = 0 entre colisiones. Este resultado significa que para cualquier sistema de referencia, el centro de masa del sistema
se mueve con la velocidad del sistema centro de masa, lo que no significa que
el vector posicin centro de masa sea el mismo para todos los observadores
inerciales. Por esta razn, es usual definir el centro de masa del sistema como
el vector posicin rCM medido en el sistema CM .
Definida la velocidad uCM (ecuacin (5.42)), la c-velocidad del centro de
masa est dada por
UCM = (uCM )(c, uCM )
(5.45)
entonces, de la definicin de c-momentun total (ecuacin (5.41)), velocidad
del centro de masa (ecuacin (5.42) y la definicin de c-velocidad del centro
de masa (ecuacin (5.45)), tenemos que
p = (mc,
p) = m(c,
uCM ) = m
1 (uCM )UCM
(5.46)
(5.47)
(5.48)
mCM :=
(uCM )
Por lo tanto, podemos escribir el c-momentun total del sistema como
p = mCM UCM
(5.49)
n
X
i=1
m0i
(5.51)
5.5.
93
Energa umbral
94
(5.52)
(5.53)
(5.54)
M02 2
c
m0
(5.56)
Esta ecuacin es fundamental cuando se disean experimentos para buscar nuevas partculas. Como ejemplo, tomemos el caso del ltimo de los
quarks buscado por los fsicos de altas energas, el quark top , el cual fue
detectado en el ao de 1995 en el Fermilab (Estados Unidos). Es importante
anotar que el clculo que vamos a mostrar, es tan solo un estimado de la
mnima energa a partir de la cual podra detectarse el quark, pues en la
reaccin donde aparece el quark, tambin pueden aparecer otras partculas
y por lo tanto, para un clculo ms exacto se debe tener en cuenta estos
efectos adicionales. El quark top se espera que aparezca en una colisin
protn-antipron (p p) y supongamos para simplificar, que despus de la
colisin permanece el par (p p) y el quark . Las predicciones tericas de
95
(5.58)
es un invariante, la cual puede ser evaluada en cualquier sistema de referencia. Para el primer caso, protones chocando con un blanco estacionario
p = (E1 /c, p1 ) y q = (mp0 c, 0), tenemos
2
= 2m2p0 c4 + 2E1 mp0 c2 ' 2E1 mp0 c2
ECM
(5.59)
96
(5.60)
5.6.
2
ECM
' 5319GeV
2mp0 c2
(5.61)
97
cual se puede modelar por una cavidad cerrada, en la cual se encuentra radiacin electromantica en equilibrio trmico a una temperatura T dada.
Esta radiacin a su vez, est en equilibrio termodinmico con el material
que conforma la cavidad que est emitiendo y absorviendo continuamente
radiacin electromagntica. Contrario a la situacin clsica, para la cual se
espera que un oscilador pueda absorber o emitir energa en cualquier cantidad, Planck postul que cada oscilador poda enmitir o absorber energa
nicamente en valores discretos, mltiplos de una cantidad fundamental
E = h
(5.62)
(5.64)
(5.65)
Estas partculas se llaman partculas de masa en reposo nula y su principal caracterstica es que sus lneas de universo siempre estn sobre el cono
98
de luz y por lo tanto no existe ningn observador inercial para el cual estas
partculas estn en reposo. La ecuacin (5.65) nos da la relacin entre el
momentun fsico y la energa total de las partculas de masa en reposo nula.
El fotn, que es la partcula asociada al campo electromagntico, es un caso
particular de partcula de masa en reposo nula.
Consideremos ahora el c-vector de onda
k = (/c, k)
(5.66)
definido en el captulo anterior (seccin (4.4)), que nos representa una onda
electromagntica plana de frecuencia y nmero de onda k y postulemos,
de acuerdo a Einstein, que esta onda transporta su energa y momentun en
quantos o fotones, cuyo c-vector momentun est dado por:
p := ~k = (~/c, ~k)
(5.67)
99
(5.71)
E1 E2
(1 cos )
c2
(5.72)
en donde es el ngulo formado por los vectores momentun de las partculas, que para el caso de fotones, sera el ngulo entre las direcciones de
propagacin de las ondas electromagnticas o fotones.
100
Captulo 6
Aplicaciones de la dinmica
relativista
6.1.
Introduccin
6.2.
Colisiones elsticas
El ejemplo ms importante de una colisin elstica, tanto por su importancia histrica como por sus aplicaciones prcticas, lo constituye el proceso
de dispersin Compton. Este proceso, llamado energa efecto Compton, jug
un papel fundamental en el desarrollo de la mecnica cuntica, pues ste
ofreci una de las primeras pruebas directas del carcter corpuscular de la
luz y de paso tambin, una prueba ms de la dinmica relativista. A. H.
Compton recibi el premio nobel en 1927 por el estudio de este efecto (ver,
101
6.2.1.
Efecto Compton
La dispersin Compton es el proceso de colisin elstico entre una partcula de masa en reposo cero (e.g., un fotn) contra una partcula masiva (e.g.,
un electrn). El experimento original se realizo haciendo colisionar fotones
de alta energa (como rayos X o rayos gama) contra electrones practicamente
en reposo, es decir, electrones con energas cinticas mucho menores que las
energas tpicas de los fotones.
Tomemos el eje z en la direccin de incidencia del fotn (ver Figura 6.1),
entonces su c-momentun inicial se puede escribir como
p = (E /c, p )
(6.1)
(6.2)
103
(6.3)
los correspondientes c-momentos del fotn y del electrn despus de la colisin. Sin prdida de generalidad, supongamos que el plano en el cual se
realiza la colisin es el x z y sea el ngulo que forma la direccin de
dispersin del fotn con respecto al eje z y el ngulo respecto al eje z de
dispersin del electrn. Entonces de la conservacin del c-momentun total
del sistema, tenemos
(6.4)
p + pe = p0 + p0e
En la Figura 6.2 se muestran las lneas de universo del electrn y el fotn
en el sistema de referencia del laboratorio. La lnea de universo del fotn,
dibujada a 45o en un plano paralelo al plano ct z, intercepta a la lnea
de universo del electrn en reposo, evento P. En este punto el electrn es
dispersado, siguiendo una lnea de universo dentro del cono de luz del evento
P, mientras que el fotn es dispersado en otra direccin, siguiendo una lnea
de universo sobre el cono de luz del evento P.
Puesto que experimentalmente se mide la frecuencia (energa) o longitud de onda del fotn dispersado, en funcin del ngulo de dispersin y de
la frecuencia o longitud de onda del fotn incidente, despejemos p0e de la
p2 = p02
=0
(6.6)
2 2
p2e = p02
e = me0 c
(6.7)
y
llegamos finalmente a la relacin:
p p0 + pe (p0 p ) = 0
(6.8)
A la cantidad e := h/me0 c se le llama longitud de onda de Compton asociada al electrn. En la (Figura 6.3) se reproducen los resultados originales
de Compton.
En 1950 Cross y Ramsey (Cross W.G. and Ramsey N.F., 1950, Phys.
Rev. 80,929) midieron por primera vez al electrn dispersado simultneamente con el fotn, en un experimento de coincidencia, obteniendo resultados
en concordancia con la teora. Para calcular el ngulo de dispersin del
electrn, en funcin del ngulo de dispersin del fotn y de la energa del
fotn incidente, despejemos la velocidad del electrn de las componentes
espaciales de la ecuacin (6.4) y eliminando E0 en esta expresin, con la
ayuda de la ecuacin (6.9), obtenemos:
tan =
me0c c2 sin
(E + me0 c2 )(1 cos )
(6.11)
105
6.2.2.
E0 =
2
2E + Ep |pp | c
1 + mp0 c4 /E E p
(6.12)
aprox(6.13)
(6.14)
(6.15)
(6.16)
es la constante de Boltzmann.
Por otra parte, los rayos csmicos son haces de partculas elementales
(en su mayora electrones y protones) de alta energa E 1020 eV , cuya
fuente, aun cuando no est completamente determinada, parece ser de origen
galctico. Un protn tpico de estos rayos csmicos, puede entonces dispersar
elsticamente un fotn del fondo de radin csmica y suministrarle entonces
una energa, que de acuerdo a la relacin (5.39), es del orden de
E0 '
1020 eV
1 + (0,938
109 )2 /(1020
2,37 104 )
(6.17)
6.3.
107
Colisiones inelsticas
Las aplicaciones ms importantes de la dinmica relativista se encuentran en los procesos de dispersin inelsticos, tales como la absorcin y
emisin de fotones y la creacin de nuevas partculas. Cuando colisionan
dos partculas, se pueden producir muchos tipos de efectos que podemos
esquematizar en los siguientes tipos de reacciones:
A+B =C
A+B =A+B+C
A+B =A+C
A+B =C +D+F +
(6.18)
(6.19)
6.3.1.
109
(6.20)
De la conservacin del c-momentun p + q = p0 podemos despejar directamente, elevando al cuadrado esta expresin, la masa en reposo de la
= M0
2E
M0 c2
1+
(6.21)
E
c
v
c=
E
M0 c2 +E
(6.23)
(6.24)
Las partculas con estructura interna, como los tomos, molculas y ncleos, poseen niveles de energa internos Ei con i = 0, 1, 2, ..., (en donde
el nivel E0 se le llama estado base o fundamental del sistema) y por lo
tanto el proceso de absorcin de fotones por este tipo de partculas es selectivo, esto es, la partcula solo puede absorber fotones de ciertos valores
de energa que cumplan con la condicin que Ej Ek ' E , estrictamente
E > Ej Ek , pues parte de la energa del fotn incidente debe gastarse
en la energa cintica final del tomo (lo cual se deduce de las ecuaciones
(6.23) y (6.24)). En un tomo por ejemplo, la diferencia tpica entre niveles
de energa est en el rango de los electronvoltios. Puesto que la masa propia
de los tomos oscila entre 1GeV /c2 (para el tomo de hidrgeno) hasta los
cientos de gigaelectronvoltios (para tomos pesados), la fraccin E /M0 c2 es
del orden de 108 , calculada para el caso de un tomo de hidrgeno, mientras que la diferencia entre niveles de energa es inferior a 13,6eV (valor que
corresponde a la energa de ionizacin del tomo de hidrgeno).
De la ecuacin (6.21) vemos que la masa propia del tomo exitado (que
ha absorbido el fotn) es tan solo una fraccin del orden de 108 mayor que
la masa del tomo inicial. Por otra parte, la velocidad del tomo exitado
est dada por la ecuacin (6.24)), obteniendose
v = 108 c
(6.25)
en donde para estos clculos, hemos asumido un valor tpico de 10eV para
la energa E del fotn incidente.
Es de anotar que si incide un fotn sobre un tomo con una energa
mayor a la de ionizacin, el fotn puede ser capturado por el tomo, o ms
111
exactamente por un electrn del tomo, el cual se desprende del sistema con
una energa cintica igual al exceso de energa del fotn sobre la energa de
ionizacin. Este proceso, diferente al que estamos considerando, es la base del
efecto fotoelctrico el cual, como y se ha mencionado anteriormente, jug
un papel fundamental en el desarrollo de la mecnica cuntica. Si llamamos
la energa de ligadura del electrn al tomo, o a la estructura de tomos
para el caso de un slido (llamada tambin funcin trabajo del material), y
E = h a la energa del fotn incidente, entonces si este fotn es absorbido
por el slido, el electrn se puede desprender del material, con una energa
cintica dada por
(6.26)
Ke = h
La energa cintica de los electrones desprendidos, llamados fotoelectrones, se puede medir utilizando un contravoltaje. La ecuacin (6.26) presenta dos caractersticas importantes probadas experimentalmente, las cuales
no pueden ser explicadas con un modelo ondulatorio de la luz: La primera
caracterstica es la relacin lneal entre la frecuencia de la luz incidente, sin
importar cual sea la intensidad de ella (la intensidad de la luz, en el modelo
ondulatorio es proporcional al cuadrado de la amplitud de los campos electromagnticos, mientras que en el modelo corpuscular de la luz, la intensidad
es proporcional a la densidad de fotones). La segunda caracterstica importante, es la existencia de una frecuencia umbral 0 , por debajo de la cual no
hay corriente de fotoelectrones, la cual se obtiene cuando Ke = 0 = h 0
y que depende del material, pues la funcin trabajo es una propiedad del
material, ms no de la radiacin electromagntica incidente.
6.3.2.
(6.27)
(6.28)
113
llega finalmente a
E = E0 (1
E0
)
2M0 c2
(6.29)
Para ganar una idea de las magnitudes de las variables fsicas involucradas, tomemos de nuevo el caso del tomo de hidrgeno y supongamos
que E0 ' 10eV y M0 c2 ' 1GeV , entonces la energa del fotn emitido ser
una fraccin del orden de 1012 veces menor, que la frecuencia de un fotn
emitido sin retroceso. Como se discuti anteriormente, el efecto del retroceso
causa una disminucin en la frecuencia del fotn emitido con respecto a la
frecuencia de la transicin y la fracin en la cual cambia esta frecuencia, es
inversamente proporcional a la masa del tomo (ver ecuacin (6.29)). Si el
tomo emisor est ligado a una estructura, por ejemplo a una red de tomos
como en un slido, entonces la masa efectiva que absorbe el momentun de
retroceso ser ahora del orden de 1023 veces la masa del tomo emisor y la
energa del fotn emitido, prcticamente coincide con la energa propia de
la correspondiente transicin entre niveles de energa del tomo. Este efecto de emisin sin retroceso fue descubierto por Mbauer, quien recibi el
premio nobel en 1961 y este efecto es actualmente una fuente de muchas
aplicaciones en fsica atmica, estado slido y fsica nuclear.
6.4.
(6.30)
(6.31)
(6.32)
(6.33)
(6.34)
(6.35)
(6.36)
(6.37)
(6.38)
Esto significa que la gran mayoria de la masa de la nave (109 ) debe ser
gastada como combustible.
6.5.
115
0 n + 0
0 n +
0
p + +
0
p + e + e
p + +
(63,9 0,5) %
(6.39)
(35,8 0,5) %
(6.40)
(8,4 1,4) 10
(6.41)
(6.42)
(6.43)
(6.44)
(8,32 0,14) 10
(1,57 0,35) 10
El porcentaje entre parntesis significa que, de cada 100 eventos de decaimiento del barin 0 , por ejemplo, dece en un protn y en un pin
aproximadamente 64 veces, el cual es el evento ms probable, mintras que
el ltimo proceso, decaimiento en un protn, un mun y un neutrino munico es el menos probable, con una ocurrencia de un evento por cada 10000,
aproximadamente. La masa del barin 0 es de 1115,684M eV y su vida media, esto es el tiempo propio que la partcula permanece desde su creacin
hasta que ella dece, es de 2, 632 1010 s. A su vez esta partcula, el barin
0 , es producido en otra reaccin, como por ejemplo
+ + n K + + 0
(6.45)
(6.47)
(6.48)
por lo tanto, para que E sa mnimo se requiere que la energa del barin
0 sea mnima y para esto basta tomar E = m0 c2 , entonces
m2K0 m20 m2n0 m20 + 2mn0 m0 2
c = 1149M eV
2(mn0 m0 )
(6.49)
y por lo tanto la energa cintica umbral del pin incidente ser de
E (umbral) =
(6.50)
Parte III
Electrodinmica relativista
117
Captulo 7
Tensores
7.1.
Introduccin
120
CAPTULO 7. TENSORES
7.2.
Definiciones fundamentales
(7.1)
tal que el producto punto Minkowskiano queda invariante bajo esta transformacin de coordenadas.
Definicin8.2 Un escalar de Lorentz es una cantidad (en general una
funcin de las coordenadas) que es invariante bajo transformaciones de
Lorentz.
Ejemplos de escalares de Lorentz son: la masa propia de una partcula, el
intervalo de tiempo propio entre dos eventos, la norma de todo cuadri-vector,
el producto interno de cuadri-vectores, etc.
Definicin 8.3 Un cuadri-vector (c-v) V es una cantidad cuyas componentes, que denotaremos por V , = 0, 1, 2, 3, medidas por el observador
inercial , se transforman bajo una transformacin de Lorentz de las coordenadas (ecuacin (7.1)), de la misma manera que las coordenadas, es
121
decir:
V 0 = V
(7.2)
donde V denota las componentes del cuadri-vector V medidas en el sistema de referencia 0 . A las cantidades V se le llaman las componentes
contravariantes del cuadri-vector V. Esta denominacin de las componentes
contravariantes ser justificada ms adelante.
Ejemplos de c-v contravariantes son: el c-v posicin x, cuyas componentes
son las coordenadas de un evento fsico, las diferenciales de coordenadas dx ,
la c-velocidad U , la c-aceleracin A , el c-momentum p , la c-fuerza f ,
etc.
Las componentes de un c-v V y V 0 relacionadas por una transformacin de Lorentz, representan el mismo objeto matemtico medido en dos
sistemas de referencia inerciales y 0 respectivamente. Asi V es el c-v y
V son las componentes de V en el sistema y V 0 sus componentes en el
sistema 0 .
Definicin 8.4 Un tensor T de segundo orden dos veces contravariante,
es un conjunto de 16 componentes T ; , = 0, 1, 2, 3 medidas en un sistema
de referencia , tales que bajo una transformacin de Lorentz (ecuacin
(7.1)) sus componentes se transforman como:
T 0 = T
(7.3)
T 01 2 ...r = 11 22 rr T 1 2 ... r
(7.4)
122
CAPTULO 7. TENSORES
7.2.1.
Componentes covariantes
Las transformaciones de Lorentz las definimos como el conjunto de transformaciones de coordenadas, tales que dejen invariante el intervalo espaciotiempo (ver captulo 4, ecuaciones (3.25) a la (3.30)), es decir, si x y
x + dx , son las coordenadas de dos eventos fsicos medidas por un observador inercial , entonces la distancia espacio-tiempo entre estos dos
eventos, definida como:
(7.5)
ds2 = dx dx
es invariante bajo una transformacin de coordenadas, es decir:
ds2 = dx dx = dx0 dx0
(7.6)
1; si = = 0
:=
1; si = = 1, 2, 3
(7.7)
0; si 6=
As, para que bajo una transformacin de Lorentz el escalar de Lorentz
ds2 permanezca invariante, esto es:
ds2 = dx0 dx0 = dx dx = dx dx
(7.8)
(7.9)
(7.11)
123
(7.13)
= = =
(7.15)
en donde se ha hecho uso de la ecuacin (7.9). Por ejemplo, si consideramos el caso particular de una transformacin de Lorentz entre sistemas de
referencia inerciales y 0 , con ejes espaciales paralelos y v la velocidad de
0 en la direccin del eje x positivo, entonces los elementos de la matriz de
transformacin de Lorentz estn dados por (ver la ecuacin (3.40))
0 0
0 0
(7.16)
=
0
0
1 0
0
0
0 1
por lo tanto aplicando la relacin (7.14), tenemos
= =
0
0
0
0
0
0
1
0
0
0
0
1
(7.17)
124
CAPTULO 7. TENSORES
(7.19)
= T
= T
(7.21)
De esta forma, T , T , T , y T son todas diferentes representaciones de un mismo tensor de segundo rango T. Es importante anotar que
el orden de los ndices en una ecuacin tensorial debe ser preservado, dado
que en general T 6= T y por esta razn las componentes mixtas T y
V0 = V 0 = V
(7.22)
= = =
(7.23)
125
... r
2
r
T 1 1 2 ...
= 11 22 rr 11 22 rr T1122...
s
s
7.2.2.
(7.25)
Algebra tensorial
... r
Denotemos por rs el conjunto de todos los tensores T1122...
de orden
s
n = r + s, r-veces contravariante y s-veces covariante. As, en esta notacin
un escalar es un elemento de 00 , un c-vector contravariante es un elemento
de 10 y uno covariante de 01 , etc.
Definicin 8.7 Suma de tensores: Dados dos tensores T, S rs definimos la suma y la multiplicacin por un escalar R, por:
... r
... r
... r
... r
:= (T + S)1122...
:= T1122...
+ S1122...
Q1122...
s
s
s
s
(7.26)
... r
... r
... r
P1122...
:= (T )1122...
:= T1122...
s
s
s
(7.27)
P =T rs
(7.28)
126
CAPTULO 7. TENSORES
(7.29)
Debemos probar que bajo una transformacin de coordenadas, las componentes Q se transforman como un tensor del tipo 11 . As, para un sistema
de referencia 0 tenemos, aplicando la ley de transformacin (7.25) para las
0
componentes de los tensores T 0
y S ,
0
Q0 = T 0
+S
T +
(T + S )
(7.30)
...
...
r+1
r+p
1 2 ... r
r+1 r+2
r+p
W1122...srs+1
... s+q := T 1 2 ... s S s+1 s+2 ... s+q
(7.31)
r+p
r+p
el cual es un tensor de r+p
s+q s+q , es decir W s+q .
Esta operacin no tiene su correspondiente en el clculo vectorial ordinario y representa lo que en lgebra matricial se llama un producto directo. Como en el caso anterior, hay que probar que esta operacin est bien
definida y para este fin consideremos el caso particular del producto de dos
c-vectores, uno covariante y el otro contravariante. Sea T 10 y llamemos sus componentes T , y S 01 con componentes S . Entonces, de la
definicin 8.8 el producto est dado por
W = T S
(7.32)
127
(7.34)
(7.35)
(7.36)
...i ...r
1 2 ......r
r1
C( i) (T12...
... ) := T ...... s1
j
1 2
1 2
(7.37)
Es decir, dado un tensor mixto de orden n = r + s, r veces contravariante y s veces covariante, al sumar sobre dos ndices repetidos,
uno contravariante y otro covariante, obtenemos un tensor de orden n 2,
r 1 veces contravariante y s 1 veces covariante. Para demostrar que
esta operacin est bien definida consideremos, sin prdida de generalidad,
un tensor de de rango 4, 2 veces contravariante y 2 veces covariante
C() (T
) = T
:= T
11
(7.38)
Entonces, veamos que las componentes que resultan T , despus de realizada la operacin de contraccin, se transforman como las componentes de
128
CAPTULO 7. TENSORES
= T
T0 = T
= T
= T
= T
(7.39)
lo cual demuestra que la operacin de contraccin de ndices est bien definida. En la segunda igualdad hemos utilizado la ley de transformacin para
0
el tensor T
, la cual se aplica independientemente del hecho que el tensor
tenga dos ndices repetidos sobre los cuales se suma. Para obtener la tercera
igualdad se ha utilizadoel hecho que los elementos de la transformacin
y , corresponden a la transformacin de Lorentz de a 0 y a su inversa
respectivamente y por lo tanto satisfacen la relacin (7.15). Finalmente, al
sumar sobre el ndice repetido , por la definicin de la delta de Kronecker
, todos los trminos son cero, salvo aquel para el cual = , obteniendose
de esta forma la cuarta iguldad.
Antes de continuar con otras operaciones entre tensores, mostremos que
las componentes de la matriz de Minkowski , su inversa y la delta
de Kronecker son tensores de segundo rango, lo que justifica el nombre
de tensor mtrico de Minkowski y adems , y corresponden a
diferentes representaciones del mismo objeto matemtico, el tensor mtrico
, con la particularidad que las componentes de este tensor mtrico toman
los mismos valores numricos en todos los sistemas de referencia inerciales.
El papel especial de este objeto matemtico lo podemos ver, si retornamos
a la definicin del intervalo espacio-tiempo entre dos puntos de la variedad
espacio-tiempo:
ds2 = dx dx
(7.40)
129
entonces
ds2 = 0 dx0 dx0
= dx dx
= dx dx
= dx dx
(7.41)
(7.42)
= T
(7.43)
T
Otro caso particular de la combinacin de estas dos operaciones tensoriales, producto tensorial seguida de una contraccin, es el producto punto
de dos c-vectores, pues
V V = V V = V V = V V = V V
(7.44)
130
CAPTULO 7. TENSORES
(7.45)
7.2.3.
(7.46)
En esta seccin definiremos los conceptos de tensores simtricos y antisimtricos e introduciremos la operacin tensorial de simetrizacin (y antisimetrizacin) de las componentes de un tensor, la cual es de utilidad para
generalizar algunas operaciones del clculo vectorial usual, como veremos en
la ltima seccin del presente captulo.
Definicin 8.10 Un tensor T de segundo rango del tipo 20 , con componentes T en un sistema de referencia , se llama simtrico si
T = T
(7.47)
T = T
(7.48)
y antisimtrico si
Esta definicin es vlida tambin, para las componentes covariantes de un
tensor de segundo rango y puede ser generalizada a cualquier par de ndices
de un tensor de rango n 2. Por ejemplo, para un tensor R de cuarto rango
del tipo 04 , simtrico en su primera y tercera componente y antisimtrico
en la segunda y cuarta componente, se tiene que
R = R ; R = R
(7.49)
(7.50)
131
(7.51)
(7.56)
(7.57)
132
CAPTULO 7. TENSORES
(7.58)
(7.59)
(7.60)
Por ejemplo, el arreglo (3, 2, 1) se puede obtener a partir del primer arreglo
(1, 2, 3) permutando los nmeros 1 y 3:
P (1, 2, 3) P (n1 , n2 , n3 ) = (n(1) , n(2) , n(3) ) = (3, 2, 1)
(7.61)
(7.62)
(7.63)
133
(7.64)
(7.66)
Este ejemplo muestra que no hay una nica forma de obtener una permutacin dada por transposiciones sucesivas. Sin embargo, el nmero definido
por:
+1
si N es par
N
(7.67)
=
(1)
1
si N es impar
s es independiente de las transposiciones realizadas para obtener la permutacin dada. Este nmero es llamado el signo de la permutacin, siendo
N igual al nmero de las transposiciones realizadas. Esto significa que si
una permutacin dada se factoriza en un nmero par (impar) de transposiciones, entonces, cualquier otra factorizacin de la misma permutacin, contendr tambin un nmero par (impar) de transposiciones. Una permutacin
se llama par(impar) si el signo es +1(1). As en nuestro ejemplo anterior, la permutacin P (1, 2, 3) = (1, 3, 2) se puede escribir en trminos de
transposiciones, como P = P23 , en cuyo caso N = 1 y el signo de la
permutacin es (1)N = 1, o tambin se puede factorizar en la forma
P = P31 P21 P23 P13 P12 , con N = 5 y por lo tanto el mismo signo
de la permutacin (1)5 = 1.
134
CAPTULO 7. TENSORES
T [1 r ] :=
1X
(1)N T P (1 r )
r!
(7.69)
1
(T + T + T + T + T + T )
3!
(7.70)
1
(T T + T T + T T )
(7.71)
3!
Es fcil comprobar directamente que el nuevo tensor T() es completamente simtrico bajo cualquier permutacin de sus ndices; por ejemplo
T(031) = T(013) = etc, mientras que el tensor T[] es completamente antisimtrico bajo permutacin de sus ndices, pues por ejemplo T[031] = T[013] ,
pero T[031] = T[310] dado que en el primer caso los ndices [013] corresponden
a una permutacin par de los ndices originales [031], mientras que en el
segundo caso el arreglo de ndices [310] es una permutacin par del arreglo
original [031]. Notemos que las definiciones dadas para tensores de segundo
rango son un caso particular de la Definicin 8.12. Un ejemplo de esta
operacin de antisimetrizacin de tensores, lo constituye la generalizacin
del producto cruz usual del clculo vectorial tridimensional.
Sean A y B las componentes de dos c-vectores en un sistema de referencia . Definamos un nuevo vector como el producto tensorial antisimetrizado
de estos dos c-vectores:
T[] :=
1
C := A[ B ] = {A B A B }
2
(7.72)
135
(7.73)
(7.74)
pues en este caso las componentes con ndices repetidos son cero. En el caso
de vectores tridimensionales cartesianos n = 3, y por lo tanto el nmero de
componentes independientes de un tensor antisimtrico de segundo rango
es tres. As, podemos identificar a las tres componentes independientes que
surgen de la operacin definida en la ecuacin (7.72), a su vez con las componentes de un nuevo vector, el cual se conoce como el producto cruz del
clculo vectorial usual. Notemos que esta identificacin no es posible para
otras dimensiones del espacio, pues por ejemplo, en cuatro dimensiones el
nmero de componentes independientes de un tensor antisimtrico de segundo rango es de seis y por lo tanto estas componentes no pueden ser
identificadas con las componentes de nign c-vector.
Para finalizar esta seccin consideraremos un ejemplo especial de un
tensor de cuarto rango completamente antisimtrico, el cual jugar un papel
importante en el captulo octavo sobre las ecuaciones de Maxwell. Definamos
el tensor , llamado tensor de Levi-Civita, por la ecuacin:
on par de 0123
+1 si es permutaci
:=
1 si es permutaci
on impar de 0123
0 en los dem
as casos
(7.75)
Este tensor, al igual que el tensor mtrico de Minkowski, tiene la particularidad que en todos los sistemas de referencia inerciales sus componentes
tienen el mismo valor numrico. Para probar que es un tensor con esta
caracterstica, se debe mostrar que sus componentes se transforman, bajo
una transformacin de Lorentz, en la forma
0 =
(7.76)
136
CAPTULO 7. TENSORES
Para esto, es suficiente notar lo siguiente: si en la ecuacin anterior reemplazamos los ndices , , y por 0, 1, 2 y 3 respectivamente, entonces la
ecuacin (7.76) toma la forma
1 = 0123 = 0 1 2 3 = det ||
(7.77)
7.3.
(7.78)
x = x (x0 )
(7.79)
(7.80)
x = x0
(7.81)
137
con los coeficientes de la transformaciones (y los de la transformacin inversa ) constantes, independientes de las coordenadas. Las componentes
del vector desplazamiento infinitesimal dx en el sistema de coordenadas
estn dadas por dx = (dx0 , dx1 , dx2 , dx3 ), mientras que las correspondientes componentes medidas en 0 son dx0 = (dx00 , dx01 , dx02 , dx03 ). Para
encontrar la relacin entre las componentes del vector dx en los dos sistemas, basta con tomar la diferencial total de cada una de las funciones en
las ecuaciones (7.78) y (7.79), as:
dx0 =
x0
dx
x
(7.82)
x 0
dx
(7.83)
x0
Estas ecuaciones definen la ley de transformacin (y su inversa) para las
componentes de cualquier vector en los dos sistemas de referencia:
dx =
V 0 =
x0
V
x
(7.84)
x 0
V
(7.85)
x0
En el caso particular de transformaciones lineales (ecuaciones (7.80) y
(7.81)), la ley de transformacin para las componentes de un vector toma la
forma:
(7.86)
V 0 = V
V =
V = V 0
(7.87)
x0
x
(7.88)
x
(7.89)
x0
Finalmente, puesto que las transformaciones de coordenadas deben ser
invertibles se debe cumplir que
=
x0 x
=
x x0
(7.90)
138
CAPTULO 7. TENSORES
(7.91)
7.4.
Operadores vectoriales
139
(7.93)
f f f
,
,
)
x y z
(7.94)
Si consideramos ahora una funcin vectorial F (x, y, z), es decir una funcin de valor vectorial y variable vectorial:
F : R3 7 R3
(7.95)
Fz
Fx Fy
+
+
x
y
z
(7.96)
Fy Fx Fz Fy
Fx
Fz
)
y
z z
x x
y
(7.97)
conocida como el rotacional de una funcin vectorial. Notemos que las tres
operaciones definidas a partir del operador , el gradiente, la divergencia y
el rotacional, se pueden considerar como una extencin de las operaciones
usuales del lgebra vectorial: el producto de un vector por un escalar, el
producto interno entre vectores y el producto cruz, respectivamente. Por
esta razn es usual considerar para todos los efectos al operador como un
vector, con el cual podemos construir todo tipo de operaciones permitidas
dentro del clculo vectorial usual, solamente teniendo presente el orden en
el cual entra en la expresiones, pues el vector actua sobre funciones.
As por ejemplo, podemos construir expresiones tales como
2 = =
2
2
2
+
+
x2 y 2 z 2
(7.98)
140
CAPTULO 7. TENSORES
Definamos entonces el cuadri-vector gradiente como un operador diferencial, tal que al actuar sobre una funcin escalar de las coordenadas (x ),
produce el c-vector , cuyas componentes en un sistema de referencia
estn dadas por:
(7.99)
() = ( 0 , 1 , 2 , 3 )
x x x x
A las componentes de las denotaremos tambin como /x , o .
Veamos entonces, que las componentes de se transforman como las
componentes covariantes de un c-vector bajo una transformacin de coordenadas. Sean x y x0 las coordenadas de un evento, medidas en los sistemas
de referencia y 0 respectivamente y relacionadas por una transformacin
de Lorentz, entonces las componentes covariantes de un c-vector V, en los
dos sistemas de referencia, estn relacionadas por:
V0 = V
x
V
x0
(7.100)
x
=
x0
x0 x
(7.101)
141
ecuacin de continuidad:
= 0
0
=0
+
x0
(7.104)
en donde el simbolo significa el operador gradiente tridimensional. Claramente esta ecuacin, por provenir de un producto interno entre c-vectores,
es invariante bajo transformaciones de coordenadas, es decir
= 0 = 0 0
(7.105)
lo que significa que la ecuacin de continuidad escrita de esta manera, automticamente satisface el principio de relatividad. Ahora, si definimos un
nuevo operador (conocido en la literatura como el DAlembertiano ) como
el producto interno del operador gradiente consigo mismo, obtenemos un
operador que es un invariante (un escalar) bajo transformaciones de coordenadas, asi
2
2
(7.106)
= = =
x02
la cual nos permite escribir directamente la ecuacin de ondas como:
= 0
(7.107)
142
CAPTULO 7. TENSORES
Ax Ay
y
x
Ax
Az
x
z
Ay
Az
z
y
(7.109)
Captulo 8
Electrodinmica
8.1.
Introduccin
144
CAPTULO 8. ELECTRODINMICA
8.2.
Ecuaciones de Maxwell
(8.1)
B =0
(8.2)
B =
1 E 4
+
J
c t
c
E =
1 B
c t
(8.3)
(8.4)
las cuales nos determinan los campos elctrico E y magntico B en trminos de sus fuentes (cargas y corrientes), con la densidad volumtrica de
carga y J la densidad de corriente elctrica. La primera de estas ecuaciones
es conocida como la ley de Gauss y establece que las cargas elctricas son
fuente del campo elctrico, mientras que la tercera ecuacin, la correspondiente ley de Gauss para el campo magntico, nos dice que no existen fuentes
para el campo magntico, es decir, que en la naturaleza no existen cargas
145
magnticas aisladas, conocidas en la literatura como monopolos magnticos. La segunda de las ecuaciones de Maxwell contiene dos trminos: por
una parte est la ley de Ampere, esto es, que las corrientes elctricas (representadas en el trmino 4 J/c) producen campos magnticos y por otra
parte est el trmino 1/c E/t, introducido por Maxwell, que nos dice que
campos elctricos variables en el tiempo son tambin una fuente de campo
magntico. La ltima de las ecuaciones de Maxwell es la ley de induccin
de Faraday, la cual establece que campos magnticos variables en el tiempo
inducen campos elctricos.
El segundo conjunto de ecuaciones que conforman las leyes de la electrodinmica, lo constituyen la ecuacin de continuidad y la ley de la fuerza
de Lorentz:
=0
(8.5)
J +
t
dp
q
= qE + u B
dt
c
(8.6)
146
CAPTULO 8. ELECTRODINMICA
dado por:
E = 4
(8.7)
E =0
(8.8)
4
J
c
B =0
(8.9)
(8.10)
8.3.
q1 q2
r
r2
(8.11)
147
q1
r
r2
(8.13)
148
CAPTULO 8. ELECTRODINMICA
Nuestro primer objetivo es determinar la fuerza sobre una carga de prueba q2 , medida por un observador inercial , debida a una carga q1 que se
mueve con velocidad constante. Para simplificar los clculos y sin prdida
de generalidad, consideraremos dos situaciones particulares: En la primera,
ilustrada en la Figura 8.1, la carga de prueba q2 se encuentra en reposo
con respecto al sistema y est situada sobre el eje y en las coordenadas
(0, y, 0), mientras que la carga q1 se mueve con velocidad v a lo largo del eje
positivo de las x y pasa por el origen de coordenadas en el instante t = 0.
La segunda situacin, mostrada en la Figura 8.2, se diferencia de la anterior solamente en que ahora la carga de prueba, que la denotaremos ahora
por q3 , se situa en reposo respecto al sistema sobre el eje de las x en las
coordenadas (x, 0, 0).
Debido a que la carga q1 se est moviendo, debemos pasarnos a un sistema de referencia inercial 0 con respecto al cual esta carga se encuentre
en reposo, con el fin de poder aplicar la ley de Coulomb. Considerados un
sistema de referencia inercial 0 , que se mueva con velocidad v a lo largo del
eje positivo x, siendo v la velocidad de la carga q1 respecto a . Entonces,
para todo instante t0 la carga q1 se encuentra en reposo en el origen de coordenadas de 0 , mientras que la carga de prueba q2 pasa por el punto de
coordenadas (0, y 0 , 0) en el instante t0 = 0 y la carga q3 pasa por el punto
149
150
CAPTULO 8. ELECTRODINMICA
f 1 = (v)(f 01 + f 00 )
(8.18)
f 2 = f 02
(8.19)
f 3 = f 03
(8.20)
fy =
fz =
u01
v 0
f u0
c2
0
x
1 + vu
c2
fx0 +
f0
y
(v) 1 +
f0
z
(v) 1 +
(8.21)
vu0x
c2
(8.22)
vu0x
c2
(8.23)
(8.24)
u02 = (v, 0, 0)
(8.25)
para la carga q2 , y
0
fx13 = fx13
=
q1 q3
x02
(8.26)
q1 q2
y02
(8.27)
(8.28)
(8.29)
0
=0
fy13 = fy13
(8.30)
0
=0
fz13 = fz13
(8.31)
151
(8.32)
1 q1 q3
2 (v) x2
(8.33)
fy12 = (v)
fx13 =
(v)r
+ y 2 + z 2 )3/2
( 2 (v)x2
(8.34)
152
CAPTULO 8. ELECTRODINMICA
q1 q2 y 0
(x02 + y 02 + z 02 )3/2
(8.37)
0
=
fz12
q1 q2 z 0
(x02 + y02 + z 02 )3/2
(8.38)
las cuales son independientes de la velocidad u0 de la carga de prueba. Aplicando las ecuaciones (8.21), (8.22) y (8.23) para la transformacin de las
componentes de la fuerza y teniendo en cuenta la ley de transformacin de
velocidades:
ux v
(8.39)
u0x =
x
1 vu
c2
u0y =
u0z =
u
y
(v) 1
u
z
(v) 1
vux
c2
vux
c2
(8.40)
(8.41)
153
vuy
(v)q1 q2
vuz
x
+
y
+
z
c2
c2
( 2 (v)x2 + y 2 + z 2 )3/2
vux
(v)q1 q2 y
1
c2
( 2 (v)x2 + y2 + z 2 )3/2
vux
(v)q1 q2 z
1
= 2
c2
( (v)x2 + y 2 + z 2 )3/2
(8.42)
fy12 =
(8.43)
fz12
(8.44)
Sabemos que la fuerza de Coulomb sobre una carga de prueba es independiente del estado de movimiento de dicha carga de prueba. Sin embargo,
comparando la ecuacin (8.32) con las ecuaciones (8.42), (8.43) y (8.44)
para la fuerza sobre la carga de prueba q2 , la primera cuando q2 est en
reposo y la segunda cuando est en movimiento, vemos que en el segundo
caso aparecen unos trminos extras a la fuerza elctrica (de Coulomb). Para
ver esto de una manera ms directa, notemos que la fuerza sobre la carga
de prueba q2 (ecuaciones (8.42), (8.43) y (8.44)) la podemos escribir en la
forma:
u
(elec)
(mag)
(8.45)
f12 = f12 + f12 ; = q2 E + q2 B
c
en donde E es el campo elctrico producido por la carga q1 dado por
(ecuacin (8.35)):
q1 (v)r
(8.46)
E= 2
( (v)x2 + y 2 + z 2 )3/2
siendo u la velocidad de la carga de prueba q2 y definimos el campo magntico B producido por la carga q1 , como:
B
(v)q1 r
1
= v 2
c
( (v)x2 + y 2 + z 2 )3/2
1
vE
=
c
:
(8.47)
154
CAPTULO 8. ELECTRODINMICA
8.4.
(8.48)
(8.49)
155
(8.51)
J 01 = (v)(J 1 J 0
(8.52)
(8.53)
J 03 = J 3
(8.54)
02
=J
(8.56)
Jy0 = Jy
(8.57)
Jz0 = Jz
(8.58)
F 23 = F 32 = Bx
F 02 = F 20 = Ey
F 31 = F 13 = By
F 03 = F 30 = Ez
= 0, 1, 2, 3
(8.59)
156
CAPTULO 8. ELECTRODINMICA
4
J
c
(8.60)
4 0
J
c
(8.61)
en donde las componentes de la densidad de corriente J 0 medidas en 0 , estn relacionadas con las medidas en , por las ecuaciones de transformacin
(8.50) ( o las ecuaciones (8.51), (8.52), (8.53) y (8.54) o tambin las ecuaciones (8.55), (8.56), (8.57) y (8.58) en el caso particular usual). Las componentes del tensor campo electromagntico medidas por los dos observadores
inerciales y 0 estn relacionadas por las ecuaciones de transformacin
(ver el captulo anterior ecuacin (7.3)):
F 0 = F
(8.62)
(8.63)
01 = 10 =
(8.64)
22
33
=
=1
p
con = v/c y = 1 2 y los dems elementos cero. Sean
E = (Ex , Ey , Ez )
(8.65)
(8.66)
157
B = (Bx , By , Bz )
(8.67)
(8.68)
(8.69)
las componentes de los campos elctricos y magnticos medidas por y respectivamente. Entonces aplicando las ecuaciones de transformacin (8.62),
con los elementos de la transformacin de Lorentz dados por las ecuaciones
(8.63), (8.64) y (8.65) y la definicin (8.59) de las componentes del tensor
electromagntico, tenemos (para las componentes no nulas de F):
Ex0 = F
0 01
= 0 1 F
= 00 10 F 00 + 00 11 F 01 + 00 12 F 02 + 00 13 F 03
+01 10 F 10 + 01 11 F 11 + 01 12 F 12 + 01 13 F 13
+02 10 F 20 + 02 11 F 21 + 02 12 F 22 + 02 13 F 23
+03 10 F 30 + 03 11 F 31 + 03 12 F 32 + 03 13 F 33
= 00 11 F 01 + 01 10 F 10
= 2 Ex 2 2 Ex
= Ex
(8.70)
Un clculo similar se puede hacer para las dems componentes, pero por
brevedad, aqu solo presentaremos los tminos no nulos que surgen en la
transformacin:
Ey0 = F
0 02
= 0 2 F = 00 22 F 02 + 01 22 F 12
= (Ey Bz )
Ez0 = F
0 03
= 0 3 F = 00 33 F 03 + 01 33 F 13
= (Ez + By )
Bx0 = F
=
0 23
(8.72)
= 2 3 F = 22 33 F 23
Bx
By0 = F
(8.71)
0 31
(8.73)
= 3 1 F = 33 10 F 30 + 33 11 F 31
= (By + Ez )
(8.74)
158
CAPTULO 8. ELECTRODINMICA
Bz0 = F
0 12
= 1 2 F = 10 22 F 02 + 11 22 F 12
= (Bz Ey )
(8.75)
(8.76)
(8.77)
las cuales nos representa las componentes covariantes del tensor campo electromagntico. Para recordar ms fcilmente la relacin entre las componentes contravariantes del tensor F, definidas en la ecuacin (8.59) y su
relacin con las componentes covariantes, definidas en la ecuacin (8.77), es
til escribir estas componentes en forma matricial:
00
F
F 01 F 02 F 03
10
F
F 11 F 12 F 13
(F ) =
F 20 F 21 F 22 F 23
30
F
F 31 F 32 F 33
0
E
E
E
x
y
z
Ex
0
Bz
By
=
(8.78)
Ey Bz
0
Bx
Ez
By
Bx
0
Aplicando, ahora, la ecuacin (8.77), tenemos:
20
0 Ex Ey Ez
Ex
0
Bz
By
=
E
B
0
Bx
y
Ez
By
Bx
0
(8.79)
159
Ilustremos como se aplic la ecuacin (8.77) para llegar a la ecuacin anterior, calculando explcitamente dos trminos, por ejemplo F02 y F21 . Recordando, para simplificar, que los elementos del tensor mtrico de Minkowski
se anulan si los ndices son diferentes, vemos que de los 16 sumandos que
aparecen por la doble suma en la ecuacin (8.77), solo un trmino es no nulo:
F02 = 0 2 F = 00 22 F 02 = Ey
(8.80)
F21 = 2 1 F = 22 11 F 21 = Bz
(8.81)
Veamos ahora que efectivamente la ecuacin (8.76) reproduce las ecuaciones de Maxwell homogeneas. Notemos en primer lugar que la ecuacin
(8.76) contiene cuatro ecuaciones, una para cada = 0, 1, 2, 3 y cada una
a su vez (debido a la triple suma sobre los ndices repetidos , y ) est
conformada por 64 sumandos. Sin embargo, dado que las componentes del
tensor de Levi-Civita se anulan para cualquier par de ndices repetidos, en
cada ecuacin sobreviven solo cuatro sumandos. As, para = 0 los trminos
no nulos son:
0 = 0123 1 F23 + 0132 1 F32 + 0213 2 F13 +
0231 2 F31 + 0312 3 F12 + 0321 3 F21
By
Bz
Bx
+2
+2
= 2 B
= 2
x
y
z
(8.82)
obteniendo la ecuacin de Maxwell para la divergencia del campo magntico. Para la ltima ecuacin de Maxwell, la ley de Faraday, consideremos
explcitamente solo el caso de = 1, pues el resultado se puede extrapolar
fcilmente a = 2 y 3. Entonces, para = 1 los trminos no nulos son:
0 = 1023 0 F23 + 1032 0 F32 + 1203 2 F03 +
1230 2 F30 + 1302 3 F02 + 1320 3 F20
Ey
Ez
2 Bx
Bx
+2
2
=
2( E)x
= 2
ct
y
z
c t
(8.83)
q
q
dx
dp
= F
= F
d
c
d
c
dx
(8.84)
160
CAPTULO 8. ELECTRODINMICA
= F
(8.85)
Desarrollemos explcitamente la ecuacin (8.84), para interpretar los trminos que de ella surgen, pues si bien afirmamos que esta ecuacin es equivalente a la fuerza de Lorentz, notemos que, siendo la fuerza de Lorentz una
ecuacin vectorial, contiene tres ecuaciones escalares independientes, mientras que la ecuacin (8.84) es cuadri-vectorial y por tanto contiene cuatro
ecuaciones. En primer lugar calculemos, utilizando la ecuacin (8.85), las
componentes mixtas F del tensor campo electromagntico:
(F
0
F0
) =
F
0
F0
Ex
=
E
y
Ez
0
1
2
3
F1
F1
F1
F1
Ex
0
Bz
By
0
1
2
3
F2
F2
F2
F2
Ey
Bz
0
Bx
0
1
2
3
F
F3
F3
F3
Ez
By
Bx
0
0
3
1
2
3
(8.86)
(8.87)
dx0
dx2
dx3
q
+ Bz
By
)
f 1 = (Ex
c
d
d
d
(8.88)
dx0
dx1
dx3
q
f 2 = (Ey
Bz
+ Bx
)
c
d
d
d
(8.89)
dx0
dx1
dx2
q
f 3 = (Ez
+ By
Bx
)
(8.90)
c
d
d
d
Para interpretar estas ecuaciones, recordemos el significado fsico de las
componentes de la cuadri-fuerza dado en el captulo 5 (ver ecuacin (5.19)).
Las componentes de la c-fuerza se pueden escribir en la forma:
1
f = (u)( f u, f )
c
(8.91)
161
(8.92)
(8.93)
f = q E + qu B
(8.94)
Notemos que el factor de Lorentz (u) se cancela. La componente temporal de la c-fuerza, corresponde al hecho de que solo el campo elctrico
realiza trabajo sobre las partculas, una situacin que est contemplada en
la expresin para la fuerza de Lorentz, puesto que la fuerza debida al campo
magntico es de la forma qu B y por lo tanto:
q
f u = (q E + u B) u = E u
c
(8.95)
(8.96)
F = 0
(8.97)
(8.98)
J = 0
dx
q
(8.99)
f = F
c
d
Veamos ahora, algunas aplicaciones sencillas de estas ecuaciones y de las
propiedades de transformacin de los campos. Consideremos en primer lugar
los ejemplos tratados en la seccin anterior. Supongamos que una partcula
de carga q1 se mueve con velocidad constante v respecto a un sistema de
referencia inercial , a lo largo del eje positivo de las x y pasa por el origen
en el intante t = 0. Sea 0 otro sistema de referencia inercial, el cual se
mueve con velocidad v respecto a en la direccin del eje positivo de las
x. Entonces, la carga q1 se encuentra en reposo en el origen de 0 y por lo
162
CAPTULO 8. ELECTRODINMICA
q1 x0
q1 y0
q1 z 0
0
03
03
03
r
r
r
q1 x0
0
0
0
03
0
r
(8.101)
(F ) =
0
qr103y
0
0
0
q1 z0
0
0
0
r03
Aplicando las ecuaciones de transformacin para las componentes del
tensor F 0 (ecuacin (8.62)), pero teniendo en cuenta que ahora estamos
transformando del sistema 0 al :
F = F 0
(8.102)
(8.103)
(8.104)
163
Ey = (v)Ey0
(8.105)
Ez = (v)Ez0
(8.106)
(8.107)
(8.108)
By = F 31 = (v)Ez0
(8.109)
Bz = F
12
= (v)Ey0
(8.110)
(8.111)
8.5.
Transformaciones Gauge
Hay dos teoremas del clculo diferencial en varias variables, que nos
permiten escribir las ecuaciones de Maxwell en forma ms compacta:
Teorema 9.1: Sea F una funcin vectoria tal que su rotacional es cero,
i.e., F = 0, entonces la funcin F se puede escribir como el gradiente
de una funcin escalar (r), esto es:
F = (r)
(8.113)
164
CAPTULO 8. ELECTRODINMICA
Teorema 9.2: Sea F una funcin vectorial tal que su divergencia es cero,
i.e., F = 0 , entonces la funcin F se puede escribir como el rotacional
de una funcin vectorial (r), esto es:
F = (r)
(8.114)
Apliquemos estos dos resultados del clculo vectorial a los campos elctrico
y magntico. La tercera ecuacin de Maxwell (8.3) establece que
B =0
(8.115)
A
)=0
t
(8.117)
(8.119)
(8.120)
165
(8.121)
(8.122)
x
x
en donde el cuadri-vector A , definido como:
A := (, A)
(8.123)
(8.124)
(8.125)
A = A +
(8.126)
166
CAPTULO 8. ELECTRODINMICA
nos conduce a:
F =
=
=
=
A
A
x
x
(A + ) (A + )
x
x
2
2
A
+
x
x
x x
x x
A A = F
x
x
(8.127)
lo cual significa que la funcin F permanece invariante bajo la transformacin (8.126) y as tambin los campos electromagnticos E y B. A la
transformacin (8.126) se le llama una transformacin gauge. Este tipo
de transformaciones juega un papel fundamental en la teora cuntica de
campos y en las llamadas teorias de unificacin de las interacciones fundamentales de la naturaleza.
Para finalizar este captulo, veamos como esta caracterstica de la teora
electromagntica (cuando se formulan las ecuaciones de Maxwell en trminos
del c-potencial), de permanecer los campos fsicos E y B invariantes bajo
una transformacin gauge, nos permite simplicar las ecuaciones que rigen el
comportamiento del c-potencial A .
Dado que el c-potencial A no est definido de manera nica, entonces,
podemos imponer sobre l una condicin o ecuacin de ligadura, llamada
la eleccin de un gauge particular, la cual por lo establecido anteriormente,
no cambia la fsica, es decir no cambian los campos E y B. As, podemos
escoger la funcin arbitraria en la ecuacin (8.126), de tal manera que el
potencial c-vectorial A cumpla con la ecuacin:
A = 0
(8.128)
llamado el gauge de Lorentz, de tal manera que la ecuacin (8.125) se simplifica, reduciendose a la ecuacin:
A = J
(8.129)
que es la ecuacin de ondas inhomognea. Recordando la definicin del operador , ecuacin (7.106), vemos que la teora electromagntica de Maxwell,
expresada por la ecuacin (8.129) contiene al postulado de la constancia de
la velocidad de la luz, pues dado que el operador definido por:
=
2
1 2
2
2
c t
(8.130)
167
168
CAPTULO 8. ELECTRODINMICA
Captulo 9
Bibliografa
La literatura disponible sobre relatividad es tal vez de las ms amplias,
tanto en el campo especializado como en el divulgativo. Se listarn a continuacin algunas referencias, desde literatura de divulgacin, pasando por
textos elementales, obras de valor histrico, hasta textos y libros avanzados
que, sin pretender ser exaustivas, si cubren globalmente la temtica de la
teora especial de la relatividad.
Referencias de caracter divulgativo:
Bucker R. B., Geometry, Relativity and the fourth dimension. Dover Publications, Inc. N. Y. 1977
Lilley S., Discovering Relativity for yourself. Cambridge University Press
1981
Russell B., ABC de la Relatividad. Ed. Ariel Barcelona 1978
Williams L. P., La Teora de la Relatividad. Alianza Universidad 1977
Textos elementales, a nivel universitario, sobre relatividad especial:
Mook D. E. and Vargish T., La Relatividad. Espacio, Tiempo y Movimiento. McGraw Hill 1993
Resnick R., Introduccin a la Teora Especial de la Relatividad. Limusa
1981
Skinner R., Relativity for Scientist and Engineers. Dover Publishing N. Y.
1982
Smith J. H., Introduccin a la Relatividad Especial. Ed. Revert 1978
Textos universitarios de relatividad a nivel intermedio:
Enrique L., Fsica Relativista. Buenos Aires 1955
French A. P., Special Relativity. Massachusetts Institute of Technology
1968
169
170
CAPTULO 9. BIBLIOGRAFA
Rindler W., Essential Relativity. Special, General and Cosmology. Springer-Verlag 1977
Taylor E. F. and Wheeler J. A., Spacetime Physics. Freeman, San Francisco 1966
Libros y textos avanzados sobre relatividad. Algunos de ellos incluyen, tambin, elementos bsicos de la Relatividad General:
Aharoni J., The Special Theory of Relativity. Oxford University Press 1965
Bressan A., Relativistic Theories of Materials. Springer-Verlag 1978
Fock V., The Theory of Space Time and Gravitation, Pergamon Press 1959
Gill T. P., The Doppler Eect. Academic Press 1965
Kopczynski W. and Trautman A., Spacetime and Gravitation. John
Wiley & Sons 1992
Matveev A. N., Mechanics and Theory of Relativity. Mir Publishers Moscow
1989
Rosser W. G. V., An Introduction to the Theory of Relativity. Butterworth, London 1964
Ugarov V. A., Special Theory of Relativity. Mir Publishers Moscow 1979
Libros avanzados de relatividad, con un fuerte nfasis en aspectos matemticos:
Hagendorn R., Relativistic Kinematics. W. A. Benjamin, Inc. 1963
Misner C. W., Thorne K. S. and Wheeler J. A., Gravitation. W. H.
Freeman and Co. 1973
Naber G. L., The Geometry of Minkowski Spacetime. Springer-Verlag 1992
Woodhouse N. M. J., Special Relativity. Springer-Verlag 1992
Libros clsicos de relatividad y obras formales de carcter histrico:
Born M., Einsteins Theory of Relativity. Dover Publications, Inc. 1965 (1a
ed. 1920)
Einstein A., The Principle of Relativity. Dover N. Y. 1958
Poincar H., La Mcanique Nouvelle. Conference Mmoire et note sur la
Thorie de la Relativit. Editions Jacques Gabay 1989
Rocard J. M., Newton et la Relativit. Press University France 1986
Sard R. D., Relativistic Mechanics. W. A. Benjamin, Inc. 1970
Silberstein L., The Theory of Relativity. Great Britain 1914
Synge J. L., Relativity: The Special Theory. North-Holland Publishing
Company 1958
Whittaker Sir E. T., History of the Theories Aether and Electricity. Harper and Row, N. Y. 1960