Вы находитесь на странице: 1из 168

Principios de la Relatividad Especial:

Fundamentos Fsicos, Geometricos y Algebraicos

F REDY A. O CHOA
Departamento de Fsica
Universidad Nacional de Colombia
Sede Bogota

II

Indice general

Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduccion

VII

PARTE I: FUNDAMENTOS FISICOS


1. La relatividad cl
asica
1.1. Definiciones basicas . . . . . . . . . . . . .
1.2. Las transformaciones de Galileo . . . . . .
1.3. La relatividad de las partculas puntuales . .
1.3.1. Teorema de adicion de velocidades
1.3.2. Invariancia de la aceleracion . . . .
1.3.3. La fuerza y masa inercial clasicos .
1.4. La relatividad de las ondas mecanicas . . .
1.4.1. Retraso longitudinal . . . . . . . .
1.4.2. Retraso transversal . . . . . . . . .
1.4.3. Efecto Doppler clasico . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

5
5
6
7
7
8
8
9
10
11
12

2. La relatividad especial
2.1. Experimento idealizado de Michelson-Morley
2.2. Postulados de la relatividad especial . . . . .
2.3. Transformaciones de Lorentz Simples . . . .
2.4. Aclaraciones . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

15
15
19
20
25

3. Cinem
atica relativista
3.1. La relatividad del tiempo . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1. Simultaneidad . . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
30

III

INDICE GENERAL

IV

3.1.2. Dilatacion temporal . . . . . . . . .


3.2. La relatividad de la longitud . . . . . . . .
3.3. La relatividad del movimiento . . . . . . .
3.3.1. Teorema de adicion de velocidades
3.3.2. Transformacion de la aceleracion .
3.3.3. Efecto Doppler longitudinal . . . .
3.4. Lmites a altas y bajas velocidades . . . . .
3.4.1. El lmite clasico . . . . . . . . . .
3.4.2. El lmite ultrarelativista . . . . . . .

.
.
.
.
.
.
.
.
.

4. Din
amica relativista
4.1. El momento relativista . . . . . . . . . . . .
4.2. La energa relativista . . . . . . . . . . . . .
4.2.1. Energa cinetica clasica . . . . . . . .
4.2.2. Energa cinetica relativista . . . . . .
4.3. La masa en reposo . . . . . . . . . . . . . .
4.3.1. La masa de los quarks . . . . . . . .
4.3.2. El mecanismo de Brout-Englert-Higgs
4.4. La relacion energa y momento . . . . . . . .
4.4.1. El foton . . . . . . . . . . . . . . . .
4.4.2. Decaimiento de partculas . . . . . .
4.4.3. Fision Nuclear . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

32
33
34
35
36
37
39
39
40

.
.
.
.
.
.
.
.
.
.
.

43
44
46
47
48
50
51
52
53
54
55
56

PARTE II: FUNDAMENTOS GEOMETRICOS


5. Estructura de Espacio-Tiempo
5.1. La geometra Euclidiana del espacio .
5.2. Estructuras de espacio-tiempo . . . .
5.2.1. Espacio-tiempo clasico . . . .
5.2.2. Espacio-tiempo de Poincare .
5.2.3. Espacio-tiempo de Minkowski
5.3. La estructura de cono de luz . . . . .
5.3.1. El principio de causalidad . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

61
61
63
65
66
67
69
70

6. La Geometra de la Cinem
atica Relativista
6.1. Distorsion Angular . . . . . . . . . . . .
6.2. Cinematica . . . . . . . . . . . . . . . .
6.2.1. Relatividad de la simultaneidad .
6.2.2. Dilatacion temporal . . . . . . . .
6.2.3. Contraccion de Fitzgerald-Lorentz
6.3. Hiperbolas invariantes . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

73
73
74
74
75
75
76

.
.
.
.
.
.
.

INDICE GENERAL

6.3.1. La paradoja de los gemelos . . . . . . . . . . . . . . . . . . . .


6.4. La rapidez hiperbolica . . . . . . . . . . . . . . . . . . . . . . . . . .

77
79

PARTE III: FUNDAMENTOS ALGEBRAICOS


7. El Grupo de Lorentz
7.1. Grupo Abstracto . . . . . . . . . . . . . . . . .
7.2. El grupo de Lorentz simple . . . . . . . . . . .
7.3. El grupo de Lorentz en general . . . . . . . . .
7.3.1. El tensor metrico . . . . . . . . . . . .
7.3.2. El grupo de Lorentz restringido . . . .
7.4. Transformaciones de Lorentz restringidas . . .

7.5. Algebra
del Grupo de Lorentz . . . . . . . . .
7.5.1. Los generadores del grupo de Lorentz .
7.5.2. Representaciones del Grupo de Lorentz
7.5.3. Representaciones tensoriales . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

85
. 85
. 87
. 90
. 90
. 91
. 93
. 99
. 99
. 101
. 105

8. Algebra
de Tensores
8.1. Notacion de ndices de Einstein .
8.2. Operaciones tensoriales . . . . .
8.3. Tensores especiales . . . . . . .
8.3.1. Boost de Lorentz . . . .
8.3.2. Tensores isotropicos . .
8.3.3. Tensores Dual . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

107
107
108
110
111
112
114

9. Formulaci
on Covariante: Mec
anica
9.1. Variables cinematicas . . . . . . .
9.1.1. La cuadri-velocidad . . .
9.1.2. La cuadri-aceleracion . . .
9.2. Variables dinamicas . . . . . . . .
9.2.1. El cuadri-momento . . . .
9.2.2. La fuerza de Minkowski .
9.2.3. La masa invariante . . . .
9.3. Colisiones de partculas puntuales
9.4. El cohete relativista . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

115
115
116
117
119
119
120
122
123
127

10. Formulaci
on Covariante: Electrodin
amica
10.1. Representacion vectorial . . . . . . . . .
10.2. Representacion tensorial . . . . . . . . .
10.2.1. La cuadri-corriente . . . . . . . .
10.2.2. El cuadri-potencial . . . . . . . .
10.2.3. Tensor electromagnetico . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

133
133
136
138
139
139

INDICE GENERAL

VI

10.3. Ecuaciones de Maxwell covariantes . . . . . . . . . . . . . . . . . . . 141


10.3.1. Ley de Gauss y de Ampere-Maxwell . . . . . . . . . . . . . . . 141
10.3.2. Ley de Gauss magnetica y de Faraday . . . . . . . . . . . . . . 143
Apendices
A. Ondas Armonicas . . . . . . . . . . . . . .
B. El experimento real de Michelson-Morley . .
C. El electronvoltio . . . . . . . . . . . . . . .
D. Generadores del Grupo de Lie . . . . . . . .
E. Operadores diferenciales del calculo vectorial
F. Ecuaciones de Maxwell . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

145
145
146
147
148
149
150

Prefacio
El presente texto es el resultado de las clases de relatividad especial que dicte para
los estudiantes de la carrera de fsica de la Universidad Nacional de Colombia durante los dos semestre del 2013. A pesar de la amplia y excelente oferta de textos sobre
el tema, no encontre un texto que cubriera de forma integral y a un nivel basico tanto
los aspectos fsicos, como los geometricos y algebraicos que surgen de los principios
de la relatividad. En los textos mas tradicionales, los autores generalmente hacen e nfasis en el desarrollo historico y en las evidencias experimentales que motivaron las ideas
de Einstein, complementados con amplias discusiones conceptuales y las tradicionales
consecuencias en cinematica y dinamica, mientras que aspectos como las consecuencias
geometricas quedan limitadas a algunos comentarios aislados o en alguna seccion dentro
de un captulo. Ademas, el tratamiento moderno del calculo tensorial no se menciona,
o se limita a una introducion basica de los cuadri-vectores. La mayora de textos que
incluyen el lenguaje geometrico y tensorial, son textos mas especializados dirigidos generalmente a estudiantes de niveles avanzados y enfocados hacia la relatividad general y
a la teora cuantica de campos.
Debido a la activa investigacion en fsica teorica y a la gran variedad de experimentos destinados a la busqueda de nueva fsica, se ha vuelto primordial que los estudiantes
desde los cursos fundamentales, empiecen a familiarizarse con la notacion moderna y su
relacion con los temas actuales de la investigacion. En el caso de la relatividad, si bien es
una teora que se construyo de forma completa desde hace mas de un siglo, su vigencia
sigue siendo actual y es el eje central que soporta la investigacion de frontera en a reas
como la fsica de partculas y la cosmologa. As, problemas actuales a nivel de partculas elementales como el fenomeno de oscilacion de neutrinos, el reciente descubrimiento
del boson de Higgs, la busqueda de la llamada supersimetra, etc, o a nivel cosmologico como la busqueda de las ondas gravitacionales, el problema de la cuantizacion de la
gravedad, las evidencias de la llamada materia oscura y energa oscura, etc, son temas
de una investigacion intensa tanto teorico como experimental, y que ademas de cumplir
con los postulados de la relatividad especial, se soportan en principios fundamentales
inspirados en la relatividad. Surge entonces la necesidad de que los estudiantes no solamente aprendan los conceptos basicos y generales, sino que ademas vean el alcance de
tales conceptos y su importancia en el contexto de problemas actuales.
El proposito principal de e ste texto es iniciar al estudiante en los principios de la
relatividad especial cubriendo de forma integral y concisa tres enfoques. Primero, evitando largas discusiones conceptuales, se introducen los postulados de la relatividad
especial contrastado con la relatividad clasica, y sus consecuencias fenomenologicas en
situaciones fsicas concretas. Segundo, se replantea la cinematica relativista usando un
lenguaje puramente geometrico en el contexto de los diagramas de espacio-tiempo, donde se enfatiza la importancia de los principios de invariancia usando rotaciones de ejes
espacio-temporales. Finalmente, y relacionado con los dos enfoques anteriores, se hace
una introduccion formal al lenguaje del a lgebra tensorial como una herramienta eficien-

te para introducir principios de invariancia y describir las variables fsicas, yendo mas
alla de los basicos cuadri-vectores. Como aplicacion, se replantea de nuevo la cinematica y dinamica de la relatividad en el lenguaje tensorial, y se hace una introduccion a la
formulacion covariante de la electrodinamica.
Como resultado de la propuesta, se espera que el estudiante, primero, adquiera una
vision global e integral de la relatividad especial visto desde los tres enfoques. Segundo, que el estudiante adquiera destresas no solamente en el planteamiento y solucion
de problema relativistas usando a lgebra tradicional, si no que adicionalmente aproveche
herramientas como los diagramas de espacio-tiempo desde el punto de vista geometrico
y del calculo tensorial desde un punto de vista algebraico para plantear, entender y resolver problemas, lo que le permita en el futuro tener las herramientas basicas para iniciarse
en un trabajo de investigacion en las a reas afines de forma mas rapida y fluida.

Introduccion

Uno de los propositos de la fsica es la de lograr describir la mayor cantidad de


fenomenos observados en la naturaleza con la mnima cantidad de suposiciones iniciales, incluso aunque los fenomenos muchas veces parecen ser muy distintos. En la historia
moderna de la ciencias, hay muchos ejemplos de hechos diferentes que se han logrado
entender bajo una u nica vision, o al menos en relacion muy proxima. La cada libre de
los objetos en la superficie de la Tierra, el movimiento de los planetas alrededor del
Sol, la dinamica de las estrellas y galaxias en el Universo observable, etc, se describen de forma aproximada con una u nica ley: la ley gravitacional de Newton. Las reglas
que obedecen los circuitos electricos, los fenomenos magneticos, la o ptica de la luz, la
radiacion de partculas cargadas, etc, se logran describir clasicamente con solamente 4
ecuaciones fundamentales: las ecuaciones de Maxwell. Para citar un ejemplo mas actual,
la interaccion de fotones muy energeticos con la materia y los procesos de decaimiento
radioactivo de la materia como el decaimiento beta, se logran describir por un principio
comun de simetras: el modelo estandar electrodebil. En ese esfuerzo de encontrar una
relacion comun entre diferentes fenomenos, la fsica ha logrado identificar en los principios de relatividad, un conjunto de premisas fundamentales que deben ser obedecidas
por las teoras fsicas, y que logro su maximo alcance con la fomulacion de la relatividad
especial.
Basicamente, un principio de relatividad es un principio de invariancia entre diferentes sistemas de referencias [inerciales] relacionado con algun parametro o alguna ley
fsica. En particular, los postulados de la relatividad especial tienen un alcance tal que
hasta donde sabemos, se cumple para todas las leyes de la fsica conocidas, y que tiene
consecuencias dramaticas en la concepcion clasica de los fenomenos. Con el proposito
de lograr un entendimiento integral, aunque introductorio de la relatividad especial, el
presente texto se divide en tres partes: primero, los fundamentos fsicos, donde se exponen las consecuencias fsicas de los principios de la relatividad a nivel de la mecanica.
1

Segundo, los fundamentos geometricos, en la cual se reinterpreta la concepcion del espacio y del tiempo bajo el contexto de los principios. Tercero, los fundamentos algebraicos, donde despues de una revision puramente matematica, se reformulan las leyes de la
mecanica y la electrodinamica en el lenguaje formal y moderno de los tensores.

Parte I
Fundamentos Fsicos

CAPITULO

La relatividad clasica

Existen diferentes principios de relatividad planteados en el contexto de situaciones


fsicas particulares. Incluso, la relatividad especial tuvo su origen puntual en los fenomenos electromagneticos, particularmente en los problemas asociados a la propagacion de
la luz. Sin embargo, fue Einstein quien por primera vez formulo un principio de relatividad que no solamente abarcaba los fenomenos electromagneticos, sino que ademas
cambiaba de forma dramatica nuestra concepcion del espacio, el tiempo y la energa,
afectando a todos los fenomenos fsicos conocidos, desde la mecanica hasta la fsica
subatomica.
En este captulo haremos primero una revision basica y discutiremos algunas consecuencias del principio de relatividad clasico asociados a las partculas puntuales. Posteriormente, describiremos la relatividad asociada a las ondas mecanicas, donde se entendera desde el punto de vista mecanico algunos resultados de los fenomenos ondulatorios,
lo cual sera de importancia central para contextualizar las interpretaciones que los fsicos
de finales del siglo XIX daban a algunos de los experimentos con luz.

1.1.

Definiciones basicas

Antes de abordar el caso de la relatividad clasica, es fundamental establecer las definiciones mas basicas del lenguaje de la relatividad.
1. Evento: Intuitivamente, un evento es un hecho fsico que ocurre en cierta region
limitada de espacio y que tiene una duracion en un intervalo de tiempo dado. Sin
embargo, formalmente, lo vamos a definir como un punto matematico asociado a
una posicion y un instante de tiempo especficos, y que representa un hecho fsico
5


CAPITULO 1. LA RELATIVIDAD CLASICA

puntual. En la practica, los eventos se asemejan mas a nuestra idea intuitiva que a
la formalmente definida. Sin embargo, la definicion formal es compatible con la
realidad si asumimos que los fenomenos fsicos se pueden reproducir como una
sucesion continua de eventos puntuales, que de ahora en adelante simplemente los
vamos a llamar eventos. Ejemplos de eventos son: una partcula ubicada en una
posicion r(t) en el instante de tiempo t, la colision de dos partculas [puntuales]
en un punto, el decaimiento de un nucleo en un instante t, etc.
2. Sistema Inercial: El principio de relatividad especial se plantea en sistemas de referencia donde se cumple la ley de inercia de Galileo generalizada en la primera
ley de Newton. Para que dicha ley se cumpla, el sistema inercial debe asociarse a
cuerpos en movimiento rectilneo y uniforme. As, un sistema inercial lo definiremos simplemente como un conjunto de cuerpos no acelerados.
3. Observador Inercial: El proceso de medicion en relatividad especial es una parte
fundamental en la concepcion misma del tiempo y el espacio. Para incorporarlo
de forma natural, es necesario ampliar el concepto de sistema inercial e incluir
los instrumentos de observacion. As, se define un observador inercial como un
conjunto compuesto por un sistema de ejes coordenados inerciales, reglas y relojes
que permiten registrar en tiempo real las posiciones y los tiempos de los eventos,
es decir, en el lugar exacto donde ocurren y en el instante cuando ocurren. Para que
esta definicion tenga sentido, es necesario garantizar siempre que haya una regla y
un reloj en cada uno los puntos del sistema coordenado donde pueden ocurrir los
eventos.

1.2.

Las transformaciones de Galileo

La relatividad clasica de las partculas puntuales fue establecida originalmente por


Galileo, y soportadas en un conjunto de ecuaciones conocidas como las transformaciones
de Galileo. Con el proposito de comparar las diferentes relatividades, vamos a clasificar
las transformaciones en los siguientes dos postulados:
1. Invariancia del intervalo de tiempo
Si t representa el intervalo de tiempo entre dos eventos medido por un observador
inercial , y t 0 el medido por otro observador inercial 0 en movimiento relativo
respecto a , se cumple la relacion:
t = t 0 ,

(1.1)

es decir, los intervalos de tiempo entre eventos son los mismos para todo observador inercial.

1.3. LA RELATIVIDAD DE LAS PARTICULAS PUNTUALES

2. Transformacion de la posicion
La Figura 1.1 representa los ejes coordenados de dos observadores inerciales, y
0 , en movimiento relativo con velocidad relativa u, y P representa un evento que
ocurre en las posiciones mostradas y en el instante de tiempo t, que de acuerdo a
la invariancia del tiempo, es el mismo para ambos observadores. Realizando una
simple suma de vectores y teniendo en cuenta que u = dR
dt , se puede demostrar que
las posiciones de P cumplen la relacion vectorial:
r0 (t) = r(t) ut,

u

P

(1.2)
Figura 1.1

donde R es la posicion relativa entre observadores y donde se asume que sus orgenes coinciden en el tiempo t = 0. Es importante enfatizar que la regla de transformacion (1.2) se cumple bajo la suposicion de la invariancia de tiempo, la cual no
sera cierta en relatividad especial.

1.3.

La relatividad de las partculas puntuales

El principio de relatividad de Galileo que rige el movimiento de las partculas puntuales en el contexto de la mecanica clasica, se puede enunciar de la siguiente forma:
Las leyes clasicas de la dinamica deben ser
las mismas para cualquier observador inercial
Existen dos formas equivalentes de enunciar el principio de relatividad clasico:
Las leyes de Newton son invariantes bajo las transformaciones de Galileo.
Es imposible medir la velocidad absoluta de un cuerpo usando solamente experimentos dinamicos.
Es importante enfatizar que este principio de relatividad no es exacto y no se extiende
a todos los fenomenos de la naturaleza. Solamente se cumple de forma aproximada en
fenomenos asociados a la dinamica de partculas puntuales y a bajas velocidades [en
relacion a la velocidad de la luz]. Tambien es necesario hacer notar que el principio no
se cumple en los fenomenos asociados a ondas mecanicas, aunque las transformaciones
de Galileo sigan siendo validas. A continuacion, se discutiran algunas consecuencias de
la relatividad de Galileo.

1.3.1.

Teorema de adicion de velocidades

Si un observador inercial mide que una partcula tiene una velocidad v, usando
las transformaciones de Galileo expresadas por las ecuaciones (1.1) y (1.2), se puede


CAPITULO 1. LA RELATIVIDAD CLASICA

calcular la velocidad de esa misma partcula medida por otro observador 0 que se mueve
con velocidad u relativa a :
d
dr0 (t 0 ) dr0 (t)
=
= (r(t) ut) = v u,
dt 0
dt
dt
que corresponde al teorema clasico de adicion de velocidades.
v0 =

1.3.2.

(1.3)

Invariancia de la aceleracion

Considerando los mismos observadores del caso anterior, si a es la aceleracion de la


partcula medida por , se puede demostrar con el mismo procedimiento anterior que la
aceleracion en 0 es:
a0 = a.

(1.4)

As, las aceleraciones al igual que el tiempo, son las mismas para todos los observadores
inerciales, o dicho de otra forma, la aceleracion es invariante bajo las transformaciones
de Galileo.

1.3.3.

La fuerza y masa inercial clasicos

En mecanica clasica, el concepto de fuerza es fundamental en la descripcion de la


dinamica. La razon de ello es porque las leyes de Newton y el principio de relatividad
de Galileo, permiten definir la fuerza con dos propiedades importantes: la fuerza es una
cantidad invariante y absoluta. Para mostrar como se obtienen estas propiedades, partamos de la premisa que las leyes de la dinamica se rigen por las leyes de Newton, por lo
que deben cumplir con el principio de relatividad de Galileo.
1. Primera ley: Como consecuencia de la primera ley de Newton, si un observador
inercial mide que una partcula se mueve uniformemente (su velocidad es constante), entonces la fuerza sobre la partcula debe ser nula. Si otro observador inercial 0 en movimiento relativo mide la velocidad de esa misma partcula aplicando
el teorema de adicion de velocidades segun la ecuacion (1.3), tambien medira que
es constante, es decir, la fuerza seguira siendo nula. As, si una fuerza es cero para
un observador inercial, sera cero para todos los observadores inerciales. Decimos
entonces que la fuerza es una cantidad absoluta.
2. Segunda ley: La segunda ley de Newton define matematicamente la fuerza como
el producto entre la masa inercial m y la aceleracion de una partcula. Entonces,
el observador escribe la ecuacion en la forma F = ma. Por el principio de relatividad, el observador 0 debe escribir la misma ley para su propio sistema coordenado inercial, es decir F0 = m0 a0 . Como la aceleracion es la misma para ambos
observadores, se encuentra la igualdad:


1.4. LA RELATIVIDAD DE LAS ONDAS MECANICAS

F
F0
= .
(1.5)
0
m
m
Si definimos la masa inercial como una propiedad intrnseca de la materia independiente del sistema de referencia, de acuerdo a (1.5) se puede definir la fuerza
como una cantidad invariante. As, si m0 = m entonces F0 = F. Tambien se puede ver en forma inversa: si la fuerza es invariante, entonces la masa tambien va a
ser invariante. De esta manera, del principio de relatividad y de la segunda ley de
Newton se derivan dos propiedades importantes de la mecanica clasica: la fuerza
sobre los cuerpos y la masa inercial de los cuerpos se definen clasicamente tal
que sean las mismas para todos los observadores inerciales, es decir, la fuerza y la
masa en mecanica clasica son cantidades invariantes.

1.4.

La relatividad de las ondas mecanicas

Otra clase de fenomenos observados en la naturaleza son aquellos asociados a las ondas mecanicas, que exhiben una cinematica y una relatividad diferentes al de las partculas. Primero, mientras que la propagacion de un objeto se describe como el movimiento
localizado de materia en el espacio, una onda mecanica describe la propagacion de una
deformacion local en un medio material, donde cada parte del medio sufre pequenos
corrimientos alrededor de un punto fijo en el espacio, pero no se desplaza junto a la deformacion. As, lo que nos interesa es describir como esa deformacion se extiende a lo
largo del medio. Segundo, la cinematica de las ondas esta determinada por un conjunto
adicional de parametros asociados a la deformacion, y que no aparecen en el movimiento de las partculas puntuales, como la amplitud, el periodo, la frecuencia, etc.. Para el
proposito de la presente discusion, nos limitamos a las llamadas ondas armonicas, cuyas
propiedades se resumen en el Apendice A. Las propiedades relativistas de los movimientos ondulatorios vienen descritas por la ecuacion de onda, la cual cumple con el
siguiente principio de relatividad
La ecuacion de onda de una onda mecanica es la misma
sin importar el movimiento de la fuente. Depende
del movimiento del observador inercial respecto al medio
Como un corolario del principio anterior, se tiene la siguiente propiedad:
Las velocidad de una onda mecanica es independiente del movimiento de la fuenta que la produce. Depende de las propiedades del medio y del movimiento del
observador inercial respecto al medio.
Hay que enfatizar que aunque la naturaleza de los fenomenos ondulatorios y de partculas puntuales son muy diferentes, la relacion de la posicion, tiempo y velocidad de la


CAPITULO 1. LA RELATIVIDAD CLASICA

10

onda entre distintos observadores inerciales sigue siendo gobernada por las transformaciones de Galileo. Para estudiar las consecuencias del principio de relatividad anterior,
es necesario usar la relacion de dispersion descrita en el Apendice A en terminos de la
longitud de onda :
c
= cT,
(1.6)
f
donde c es la velocidad de la onda, f la frecuencia y T el periodo. Para enmarcar la
discusion en un contexto fsico conocido, vamos a considerar ondas sonoras.
=

1.4.1.

Retraso longitudinal

En la siguiente situacion, el sistema fsico coincide con el observador:


Un parlante emite un pulso de sonido hacia una pared rgida ubicada a una
distancia L. El pulso se refleja en la pared y se devuelve en direccion opuesta
hacia el parlante, donde es detectada por un microfono. Calcular el tiempo total
entre la emision y la deteccion del pulso si a.) el sistema fsico se encuentra en
reposo respecto al medio (la atmosfera) y b.) el sistema se mueve con velocidad
u en direccion de emision del pulso.

M

c

En el caso a.), el sistema de referencia del observador coincide con el sistema


en reposo del medio M , como se ilustra en la Figura 1.2. Es evidente de la
figura que el tiempo total de ida y regreso del pulso es:

-c

L
Figura 1.2

-c

Figura 1.3

t=

2L
.
|c|

(1.7)

En el caso b.), el observador 0 se encuentra en movimiento respecto al medio,


como se muestra en la Figura 1.3. Aunque el parlante (y la pared) se encuentra
en movimiento, la velocidad del pulso respecto al medio sigue siendo c por
el principio de relatividad para ondas. As, para el pulso de ida, de acuerdo
al teorema de adicion de la ecuacion (1.3), si identificamos v0 = c0 como la
velocidad de la onda medida por 0 , v = c la velocidad de la onda respecto al
medio M y u = u la velocidad de 0 respecto a M , entonces se cumple que
c0 = c u. Para el pulso de vuelta, se cambia c0 por c00 y c por c, por lo que
el observador mide c00 = c u. As, asumiendo que la rapidez del sistema no
es mayor a la del sonido, el tiempo total de viaje medido por 0 es:
0
0
t 0 = tida
+ tvuelta
=

=
=

L
L
+ 00
0
|c | |c |
L
L
+
cu c+u
2L
.
c (1 u2 /c2 )

(1.8)


1.4. LA RELATIVIDAD DE LAS ONDAS MECANICAS

11

La cantidad u2 /c2 aparece frecuentemente en relatividad, por lo que conviene escribirlo


en terminos del siguiente parametro adimensional:
u
= ,
c

(1.9)

por lo que el tiempo total de un pulso que viaja con la misma orientacion de movimiento
del sistema es:

tk0 =

2L
.
c (1 2 )

(1.10)

Si en lugar de un parlante emitiendo un pulso de sonido, se tiene un cano n que dispara proyectiles, hubiesemos obtenido que el tiempo de ida y vuelta de un proyectil con
el sistema en movimiento sera el mismo que con el sistema en reposo, en concordancia
con el principio de relatividad de Galileo, que en e ste caso se interpreta de la siguiente
forma: midiendo el tiempo de viaje de proyectiles, no es posible distinguir si el observador esta en reposo o en movimiento respecto al medio. En contraste, en el caso de las
ondas, observamos que el tiempo medido con el sistema en reposo (ecuacion (1.7)) difiere del tiempo medido con el sistema en movimiento (ecuacion (1.10)), debido al factor
, que contiene justamente la velocidad del sistema respecto al medio. As, por medio
de un experimento con ondas como el ilustrado, es posible determinar si un observador
inercial esta o no en reposo respecto a un sistema de referencia particular: el sistema del
medio por donde se propaga la onda, lo que demuestra el alcance limitado del principio
de relatividad de Galileo.

Figura 1.4

1.4.2.

Retraso transversal

Rotemos ahora el sistema en un a ngulo de 900 hacia arriba. Si el sistema se encuentra


en reposo respecto al medio, no hay ninguna diferencia con el caso a.) anterior, por lo
que el tiempo de viaje sigue siendo el de la ecuacion (1.7). Sin embargo, cuando el
sistema se mueve horizontalmente, las ondas se emitiran transversales al movimiento de
la fuente. En este caso, el frente de onda se propaga de acuerdo a la secuencia mostrada
en la Figura 1.4, desde el instante en que se emite, pasando por el instante cuando se
refleja en la pared y finalmente cuando vuelve al parlante. Al final, lo que interesa es
calcular el tiempo de viaje del rayo de la porcion del frente de onda que se detecta,
representado por las flechas. Para la trayectoria de ida, el rayo describe la hipotenusa de
un triangulo cuyo lado opuesto es la distancia L entre el parlante y la pared, y adyacente
0 ,
la distancia que alcanza a desplazarce el parlante durante el tiempo de ida, que es utida
como se ilustra en la Figura 1.5. Usando el teorema de Pitagoras, se obtiene:
02
c2tida
=

L2
,
12

ctida

utida


Figura 1.5

(1.11)


CAPITULO 1. LA RELATIVIDAD CLASICA

12

con definido en la ecuacion (1.9). Como la distancia recorrida por el rayo de regreso es
el mismo que el de ida, vamos a obtener el mismo resultado. As, despejando el tiempo
en la ecuacion (1.11) y multiplicando por dos, obtenemos el tiempo total de viaje del
pulso emitido transversal al movimiento del sistema:
2L
0
t
= p
.
c 12

(1.12)

Al comparar el resultado anterior con el tiempo del pulso emitido paralelo a la di0 . As, en
reccion del movimiento dado por la ecuacion (1.10), se comprueba que tk0 > t
e ste experimento con ondas sonoras, no solamente podemos determinar si un observador
se encuentra en movimiento respecto al medio, sino que ademas, podemos determinar
su direccion de movimiento relativa a la direccion de propagacion de la onda. Como se
vera en el proximo captulo, e ste mismo experimento se puede realizar con luz, que es
la esencia del famoso experimento de Michelson-Morley.

1.4.3.

Efecto Doppler clasico

En la relatividad clasica de las ondas se pueden distinguir diferentes efectos Doppler segun el movimiento relativo entre la fuente y el observador. Ilustramos un caso en
detalle, de acuerdo a la siguiente situacion fsica:
Un parlante emite un pulso de sonido a una frecuencia fF hacia un observador
que lo detecta. Calcular la frecuencia del pulso medida por el observador si a.)
el observador se encuentra en reposo respecto al medio y el parlante se mueve
hacia el observador con rapidez u y b.) el parlante se encuentra en reposo y el
observador se mueve hacia el parlante con rapidez u.

F
O

u

c

A primera vista, pareciera que ambos casos son equivalentes. De hecho si el problema
fuera con partculas, no habra ninguna diferencia si la fuente se mueve hacia el observador o si es el observador el que se mueve hacia la fuente, que es consecuencia del
principio de relatividad de Galileo. Pero en este caso con ondas, se vera que las dos situaciones llevan a diferentes soluciones, lo que muestra de nuevo las diferencias entre
la relatividad de las partculas puntuales y la de las ondas mecanicas. En el diagrama de
la Figura 1.6 se muestra la situacion del caso a.) visto desde el sistema del observador
en reposo O , donde F es el sistema de la fuente en movimiento. De acuerdo a la relacion de dispersion de la ecuacion (1.6), la longitud de onda medida por el observador en
reposo es:

Figura 1.6
O =

c
,
fO

(1.13)

donde fO es la frecuencia medida por el observador. Sin embargo, e sta frecuencia no es


la misma que la emitida por la fuente. La razon es que los pulsos van a salir mas cercanos
uno a otro debido al desplazamiento continuo de la fuenta. Para ilustrar e sto, la grafica


1.4. LA RELATIVIDAD DE LAS ONDAS MECANICAS

13

de la Figura 1.7 muestra la secuencia de emision de dos frentes de onda, 1 y 2, el primero


en el tiempo cero, y el segundo despues de un periodo TF , correspondiente al periodo de
emision. Como se puede ver en la segunda grafica, el parlante se ha movido una distancia
uTF , mientras que el primer pulso ha avanzado la distancia cTF . De la figura, se deduce
que la longitud de onda medida por el observador y que coincide con la distancia entre
los dos pulsos es:
cu
O = (c u)TF =
,
(1.14)
fF
donde en la segunda igualdad se uso la definicion T = 1/ f . Igualando las ecuaciones
(1.14) y (1.13), se obtiene que la frecuencia medida por el observador es:

cTF

2

uTF

Figura 1.7

fF
fO =
,
(1.15)
1
con el factor definido en (1.9). Como la velocidad es hacia el observador, el factor es
positivo, lo que implica que la frecuencia detectada fO es mayor a la frecuencia emitida
fF . Sin embargo, e sa misma ecuacion se aplica tambien al caso en que la fuente se aleja
del observador, con la diferencia de que el factor se vuelve negativo, por lo que en ese
caso la frecuencia detectada va a ser menor a la emitida.
El caso b.) se puede resolver de la misma forma. La diferencia fundamental radica
en que el observador, el cual ahora esta en movimiento, mide una velocidad del sonido
dada por c0 = c + u, de acuerdo al teorema de adicion de velocidades. As, para e ste caso,
las ecuaciones (1.13) y (1.14) se convierten en:
c0
c0 u
= (c0 u)TF =
.
(1.16)
fO
fF
Reemplazando la velocidad c0 = c + u en la ecuaciones anteriores y despejando en terminos de las frecuencias, se obtiene para el efecto Doppler con fuente en reposo que:
O =

fO = fF (1 + ),

(1.17)

la cual claramente difiere del resultado para el efecto Doppler con fuente en movimiento
dado por (1.15).

Problema 1: Demuestre que para el caso mas general en que tanto la fuente como el
observador se mueven con velocidades u y v en relacion al medio, respectivamente,
la frecuencia medida por el observador es:


1 v/c
.
(1.18)
fO = fF
1 u/c

14

CAPITULO 1. LA RELATIVIDAD CLASICA

CAPITULO

La relatividad especial

En el captulo anterior describimos los principios de relatividad para partculas puntuales y ondas mecanicas. En e ste captulo extenderemos la descripcion a la relatividad
de la propagacion de la luz, de la cual se desprendera de forma natural la necesidad de
reformular los principios de relatividad clasicos a una nueva relatividad. En particular,
la discusion se centra en el historico experimento de Michelson-Morley. Motivado por
la evidencia experimental, formularemos los dos postulados de la relatividad. Finalmente, obtendremos las transformaciones de Lorentz simples asumiendo la validez de los
postulados y aplicados en situaciones fsicas particulares.
A continuacion haremos una descripcion simplificada del experimento de MichelsonMorley, que aunque irrealizable, destaca las ideas esenciales que nos permitira entender
la necesidad de formular una nueva relatividad. Una descripcion mas realista del experimento se muestra en el Apendice B.

2.1.

Experimento idealizado de Michelson-Morley

Durante el siglo XIX, las numerosas evidencias experimentales recolectadas de los


fenomenos electricos y magneticos condujeron a una formulacion matematica unificada
desarrollada por James C. Maxwell y sintetizadas en 4 ecuaciones fundamentales, conocidas hoy en da como las ecuaciones de Maxwell. En particular, dicha formulacion
era compatible con la naturaleza ondulatoria de la luz. En electrodinamica clasica, la
luz se describe como una onda de campos electricos y magneticos que se propaga en el
espacio a una velocidad enorme pero finita de aproximadamente 3 108 m/s. Puesto que
los u nicos fenomenos ondulatorios conocidos en la e poca eran las ondas mecanicas, los
fsicos le dieron inicialmente una interpretacion de naturaleza mecanica a los procesos
15

CAPITULO 2. LA RELATIVIDAD ESPECIAL

16

de propagacion de la luz, lo que en particular presuma las siguientes propiedades:


1. La luz deba ser la propagacion de perturbaciones en un medio material. Puesto
que los objetos astronomicos son visibles, dicho medio deba llenar completamente el Universo y poseer propiedades extraordinarias para ser indetectable por
otros medios diferentes a la de la luz. A dicho medio se le dio el nombre de e ter
luminfero.
2. La velocidad de la luz es independiente del movimiento de la fuente. Solo depende
del movimiento del observador a traves del e ter.
De acuerdo a lo descrito en el captulo anterior, una forma de detectar la existencia del
e ter es midiendo nuestra [de la Tierra] velocidad relativa por medio de experimentos con
ondas luminosas. Por ejemplo, por medio de la diferencia de tiempos de rayos de luz
viajando transversal y horizontalmente a la direccion de movimiento, se puede inferir el
factor beta de las ecuaciones (1.10) y (1.12). Para eso, se plantea el siguiente montaje
experimental:
Espejo

L

B

Espejo

Lser

Un laser de luz monocromatica se orienta en direccion de movimiento de la Tierra. El rayo de luz se divide en dos haces
perpendiculares, A y B, a traves de un espejo semitransparente orientado a 450 respecto al rayo principal. A una distancia
L se encuentran dos espejos reflectores donde incide cada haz,
los cuales regresan al espejo semitransparente y se recombinan sobre una pantalla, como se muestra en la Figura 2.1

Pantalla

Figura 2.1

Si suponemos que la Tierra se mueve hacia la derecha, el haz A regresa al espejo semi0
transparente despues del tiempo tk0 de (1.10), mientras que el B lo hara en el tiempo t
de (1.12). As, el rayo A llega con un retraso respecto al B dado por la diferencia:

0
t 0 = tk0 t
=

2L
2L
p
2
c (1 ) c 1 2
2L
c

1
1
p
2
1
12

!
.

(2.1)

Si asumimos que el sistema de referencia del e ter coincide aproximadamente con el


sistema en reposo del Sol, la velocidad de la Tierra a traves del e ter sera su velocidad
orbital. Teniendo en cuenta que c es la velocidad de la luz, se obtendra un factor beta
del orden de = u/c 1 104 , que es una cantidad muy pequena. As, una forma
de simplificar la diferencia de tiempo en la ecuacion (2.1), es tomando los terminos

2.1. EXPERIMENTO IDEALIZADO DE MICHELSON-MORLEY

17

dominantes de hasta segundo orden en una expansion de Taylor en cada factor dentro
del parentesis:
1
12
1+2
1/2
1
12
1 + 2,
2
por lo que la diferencia de tiempo entre ambos rayos es aproximadamente:
L
t 0 2 .
c

(2.2)

Si realizamos un estimativo numerico, para un montaje con L = 1 m y tomando


c 3 108 m/s y 1 104 , obtenemos diferencias de tiempo del orden de 3 1017
s, que es una cantidad muy pequena, por lo que medir directamente tiempos no resulta practico. Sin embargo, Michelson y Morley explotaron la propiedad de interferencia
de las ondas para detectar de forma indirecta el efecto de la diferencia de los tiempos.
Para entender el metodo usado en el experimento, vamos a asumir una situacion ideal
suponiendo que 1.) los rayos de luz siguen un u nico camino o ptico, 2.) el espejo semitransparente divide el haz en dos rayos perfectamente perpendiculares entre s, y los
espejos reflejan los rayos en direcciones exactamente opuestas y 3.) la u nica fuente de
retraso entre ambos rayos es debido al supuesto movimiento de la tierra a traves del e ter.
Bajo tales condiciones, se puede realizar un estimativo simple de la intensidad de la luz
que incide sobre la pantalla utilizando el calculo complejo para describir las oscilaciones de campos. Si EA y EB describen las componentes de campo electrico de cada haz
cuando inciden sobre la pantalla y asumimos que ambos rayos tienen la misma frecuencia angular , entonces los campos oscilan sobre la pantalla de acuerdo a las formas
armonicas:
0

EA = E0 ei(t +t ) ,

EB = E0 eit ,

(2.3)

donde se supone que ambos campos tienen la misma amplitud E0 y t 0 es la diferencia


de tiempo entre los rayos dada por la ecuacion (2.2). Si los rayos llegan en perfecta
alineacion y sincrona, sobre la pantalla se detecta un solo campo electrico dado por:


0
0
0
E = EA + EB = E0 ei(t +t ) + eit


it 0
it 0
= E0 e
1+e
.

(2.4)

La intensidad observada es proporcional al cuadrado de la magnitud del campo electrico


total, es decir:

CAPITULO 2. LA RELATIVIDAD ESPECIAL

18



I |E|2 = EE = 2E02 1 + cos (t 0 ) ,

(2.5)

donde hemos usado la ecuacion de Euler para expresar las exponenciales complejas en
forma de funciones trigonometricas:
eiy = cos(y) + i sin(y).

(2.6)

As, se obtiene que la intensidad depende de la diferencia de tiempo t 0 , la cual de


acuerdo a la ecuacion (2.2) depende a su vez de la velocidad de la Tierra a traves del
hipotetico e ter. La grafica de la Figura 2.2 ilustra la forma en como cambia la intensidad
para diferentes valores del factor .
2.0
1.5

I 1.0
0.5
0.0

0.5

b @ 10 D
1

1.5

-4

Figura 2.2

2.5

Por ejemplo, si = 0, la intensidad detectada en la pantalla sera la maxima.


Pero si 1.3104 , la intensidad disminuye a la mitad. En el caso en que no
se detecte nada sobre la pantalla (intensidad nula), es porque = 1.7 104 .
Para valores mayores, la intensidad oscila. Aunque la velocidad de la Tierra es
una cantidad fija sobre la que no tenemos control, el efecto de la oscilacion se
puede manifestar si se rota el sistema en un a ngulo respecto a la direccion de
movimiento. En ese caso la intensidad dependera de la velocidad proyectada
a lo largo de los rayos, tal que si se hace variar, la intensidad cambiara en
forma parecida a la descrita por la figura.

Aunque el metodo descrito es irrealizable en la practica, ilustra la esencia del efecto


usado para determinar la existencia del e ter. En el Apendice B se describe el montaje en
forma mas cercana al experimento original. Si trasladamos los resultados reales a lo que
se obtendra en el experimento idealizado, los datos nos daran una intensidad maxima
y sin oscilaciones, que de acuerdo a la Figura 2.2, es compatible con un valor = 0,
es decir, los experimentos no detectaron un movimiento relativo respecto al e ter, lo que
abrio de nuevo las preguntas acerca de la verdadera naturaleza de la luz.

Problema 2: Si las distancias a los espejos reflectores son LA y LB recorridas por los
rayos A y B respectivamente, calcule la diferencia de tiempo de los rayos cuando se
recombinan. Calcule la diferencia de tiempo si el sistema se rota en 900 . Demuestre
que hasta orden cuadratico, la resta entre las diferencias de tiempo es:
t00 0

0
t90
0

LA + LB
c

2.

(2.7)

2.2. POSTULADOS DE LA RELATIVIDAD ESPECIAL

2.2.

19

Postulados de la relatividad especial

El resultado nulo de la deteccion del e ter a traves del experimento de MichelsonMorley se sumo a una serie de otros indicios de que haba algo mal en la teora. Inicialmente, los fsicos asociaron dichos problemas a la misma teora de Maxwell, y otros trataron de explicar los resultados de las mediciones planteando efectos adicionales del e ter
que fueran compatibles con los resultados observados. Sin embargo, fue Albert Einstein
quien finalmente encontro el origen de la inconsistencia. El problema estaba, primero,
en la interpretacion mecanica de la propagacion de la luz, y segundo, en la erronea concepcion del espacio y del tiempo de la mecanica clasica, problema que los principios de
relatividad clasicos y las transformaciones de Galileo heredaban, as como las leyes de
la dinamica, en concreto, la segunda y tercera ley de Newton.
Para el primero de los problemas, Einstein evito el concepto del e ter asociandole a la
luz una nueva naturaleza diferente a las partculas puntuales y a las ondas mecanicas. As,
la luz no son partculas [clasicas] puntuales ni deformaciones de un medio propagandose
en el espacio. La luz es una onda de variacion de campos electricos y magneticos que
se pueden propagar independiente de la materia. As, el resultado nulo en experimentos
como el de Michelson-Morley es consecuencia de la inexistencia de un medio por donde
se propague la luz en el espacio exterior.
Para el segundo problema, Einstein planteo un principio de relatividad a partir de los
siguientes postulados :
I. Postulado de relatividad: Las leyes fsicas deben ser las
mismas para todos los observadores inerciales.

II. Postulado de la velocidad de la luz : La velocidad de la luz


en el vaco es la misma para todos los observadores inerciales,
independiente de la direccion de propagacion y del movimiento
de la fuente.
El postulado I, a diferencia del principio de relatividad de Galileo, no se restringe
solamente a las leyes dinamicas de las partculas puntuales, sino que abarca la totalidad
de los fenomenos fsicos, incluyendo partculas puntuales y fenomenos electromagneticos (y hasta donde sabemos hoy en da, a cualquier fenomeno fsico). El postulado II,
comparte con las ondas mecanicas la propiedad de que la velocidad es independiente del
movimiento de la fuente. Sin embargo, la luz ademas es independiente del movimiento
del observador inercial, es decir, la velocidad de la luz es una constante universal que
vale aproximadamente c = 3 108 m/s sin importar que el observador se acerque o se
aleje de la fuente. Como consecuencia, las transformaciones de Galileo expresadas por
las ecuaciones (1.1) y (1.2) resultan incompatibles con los postulados anteriores. As,

20

CAPITULO 2. LA RELATIVIDAD ESPECIAL

se debe plantear un nuevo conjunto de transformaciones entre observadores inerciales


que adopte los postulados. Otra consecuencia, es que las nuevas transformaciones que
reemplacen a las de Galileo no van a dejar invariante a la segunda ley de Newton, lo
que contradice al postulado I. Einstein asocio esta dificultad al hecho de que la segunda ley de Newton no es la verdadera ley que describe la dinamica de los cuerpos.
As, ademas de un nuevo conjunto de transformaciones de tiempo y de posiciones, la
relatividad especial trae consigo un nuevo conjunto de leyes dinamicas.

2.3.

Transformaciones de Lorentz Simples

Las transformaciones de Lorentz es el conjunto de relaciones de tiempo y posicion


entre observadores inerciales compatibles con los postulados de la relatividad especial,
las cuales van a reemplazar a las de Galileo. Para el proposito de la discusion de los
proximos captulos, es suficiente restringirnos a las transformaciones de Lorentz simples
(TLS)1 , en la cual se adopta la siguiente configuracion estandar entre dos observadores
inerciales y 0 :
i.) Los ejes coordenados de ambos observadores son paralelos entre s.
ii.) Solamente existe movimiento relativo entre los observadores en direccion de los
ejes x y x0 .
iii.) Los relojes de los observadores se calibran tal que cuando los origenes de sus ejes
coordenados coinciden, e stos marcan el tiempo t = t 0 = 0.
Bajo la configuracion estandar, no existe movimiento relativo en las direcciones
(y, z), por lo que dichas coordenadas no cambian entre observadores, es decir cumplen
las relaciones triviales y = y0 y z = z0 . As, toda la discusion se reduce a la coordenada x y al tiempo. Como punto de partida, se plantea una relacion lineal general entre
coordenadas y tiempos de la forma:
x0 = Ax + Bt,
t 0 = Dx + Et,

(2.8)

donde los coeficientes A, B, D y E son constantes desconocidas. Por ejemplo, una posibilidad es A = E = 1, B = u y D = 0, con u la velocidad de 0 respecto a . Reemplazando
estos coeficientes en el sistema de ecuaciones (2.8), se reproducen las transformaciones
de Galileo dadas por las ecuaciones (1.1) y (1.2) en la configuracion estandar. As, dicha escogencia de los coeficientes da un conjunto de transformaciones compatible con
el principio de relatividad de Galileo. Sin embargo, tal escogencia no es apropiada bajo
1 La

extension a las transformaciones de Lorentz generales no se abordara sino hasta el captulo 7

2.3. TRANSFORMACIONES DE LORENTZ SIMPLES

21

los postulados de la relatividad especial. Para deducir el nuevo conjunto de coeficientes,


extraigamos las ideas esenciales de los dos postulados en tres principios fundamentales
asociados a dos observadores en movimiento relativo:
a.) Las leyes de la fsica son las mismas en y 0 .
b.) La velocidad de la luz es la misma en y 0 .
c.) La velocidad de la luz es la misma en todas direcciones en y 0 .
Partiendo de las transformaciones generales de la ecuacion (2.8), vamos a exigir cada
una de las condiciones anteriores en el contexto de situaciones fsicas especficas.

a.) Las leyes de la fsica son las mismas en y 0


Una ley fsica fundamental que se sigue cumpliendo en relatividad especial es la ley
de inercia, que se enuncia de la siguiente forma:
Si sobre un cuerpo no se ejercen fuerzas, e ste
describira un movimiento rectilneo uniforme.
Para evaluar como deben ser las transformaciones entre observadores para que la ley
de inercia se mantenga igual, se plantea la siguiente situacion fsica:
Dos particulas libres, 1 y 2, se mueven con velocidad relativa u.
Sea el observador donde la partcula 1 se encuentra en reposo, y
0 donde la partcula 2 esta en reposo. Determinar las ecuaciones
de transformacion que deja invariante la ley de la inercia.

Se asume que la fuerza es nula (patculas libres). La Figura 2.3 representa los coordenadas de las partculas vistas desde cada observador, donde la partcula en reposo se
ubica en el orgen del respectivo sistema. Si la ley de inercia es invariante, la aceleracion de las partculas deben ser nulas para ambos observadores. As, las ecuaciones
cinematicas de posicion determinadas por cada observador son:

x2(t2)

-u

(
x1 (t1 ) = 0
Desde :
x2 (t2 ) = ut2
(
x10 (t10 ) = ut10
Desde 0 :
x20 (t20 ) = 0,

x1(t1)

(2.9)

donde x1 (t1 ) y x10 (t10 ) identifican la posicion en funcion del tiempo de la partcula 1 medidos por y 0 respectivamente, mientras que x2 (t2 ) y x20 (t20 ) marca posiciones y tiempos

Figura 2.3

CAPITULO 2. LA RELATIVIDAD ESPECIAL

22

de la partcula 2. Observe que la ausencia de la acelereacion en las ecuaciones anteriores, es consecuencia de la suposicion de que la ley de la inercia se cumple para ambos
observadores. Las ecuaciones de transformacion en (2.8) aplicadas a cada partcula se
expresan como:
(
x10 (t10 ) = Ax1 (t1 ) + Bt1
Partcula 1:
t10 = Dx1 (t1 ) + Et1
(
x20 (t20 ) = Ax2 (t2 ) + Bt2
Partcula 2:
(2.10)
t20 = Dx2 (t2 ) + Et2 .
Reemplazando las coordenadas espaciales dadas segun las ecuaciones (2.9) en las ecuaciones (2.10), se obtiene el siguiente sistema de ecuaciones:

Partcula 1:

Partcula 2:

(
ut10 = Bt1
t10 = Et1
(
0 = Aut2 + Bt2
t20 = Dut2 + Et2 .

(2.11)

Despejando los coeficientes, se obtiene que B = uA y E = A. As, las ecuaciones de


transformacion general de (2.8) se reduce a las siguientes:
x0 = A (x ut) ,
t 0 = Dx + At,

(2.12)

lo que deja pendiente solamente dos coeficientes desconocidos: A y D. Para hallarlos se


hace uso de los otros dos principios.

b.) La velocidad de la luz es la misma en y 0


x(t)

Consideremos la siguiente situacion:

-u

c
x(t)

Figura 2.4

Una fuente emite un pulso de luz en direccion x desde su sistema en reposo . Otro observador 0 se mueve con velocidad
u constante respecto a la fuente. Determinar las ecuaciones de
transformacion que deja invariante la velocidad de la luz.
La Figura 2.4 ilustra la propagacion del pulso visto desde ambos observadores. Clasicamente, 0 medira una velocidad del pulso dada por c0 = c u si se aplicara el teorema
clasico de adicion de velocidades. Sin embargo, dicho teorema es incompatible con el
postulado de invariancia de la velocidad de la luz, la cual exige que c0 = c, tal como

2.3. TRANSFORMACIONES DE LORENTZ SIMPLES

23

se escribe en la segunda figura. As, las ecuaciones cinematicas del pulso segun cada
observador son:

n
x(t) = ct
n
:
x0 (t 0 ) = ct 0 .

Desde :
Desde 0

(2.13)

Si las coordenadas anteriores se reemplazan en las ecuaciones de transformacion (2.12),


se obtiene:

ct 0 = A (ct ut) ,
t 0 = Dct + At.

(2.14)

Despejando los coeficientes, se obtiene que D = Au/c2 . As, las ecuaciones de transformacion compatibles con la invariancia de la velocidad de la luz son:

t0

A
y(t)

= A (x ut) ,


u
= A
x+t ,
c2

(2.15)

lo que reduce el sistema a una u nica incognita: A. Para hallarla, se hace uso del principio
de isotropa de la luz.
Figura 2.5

c.) La velocidad de la luz es la misma en todas direcciones en y 0


Tomemos de nuevo la situacion fsica del problema anterior, pero estudiando la propagacion de los pulsos en direccion y, esto es, perpendicular al movimiento relativo entre
los observadores. Como la propagacion del pulso es independiente del movimiento del
observador, el frente de onda se propaga igual sin importar que la fuente se vea o no
en movimiento. Marquemos como A el punto del frente de onda que siempre viaja por
encima de la fuente. La Figuras 2.5 muestra el progreso de A en el sistema con la
fuente en reposo, mientras que en la Figura 2.6 se muestre desde el sistema 0 , donde
se ve la fuente moverse con velocidad u. Por el principio de isotropa, en ambos sistemas la velocidad con que se propaga el punto A es la misma velocidad c. La distancia
r0 (t 0 ) corresponde a la distancia diagonal recorrida por el punto visto desde 0 , mientras
que (x0 (t 0 ), y0 (t 0 )) marca sus coordenadas cartesianas. As, las ecuaciones cinematicas
del punto A son:

y(t)

r(t)

-u

x(t)

Figura 2.6

CAPITULO 2. LA RELATIVIDAD ESPECIAL

24

(
x(t) = 0 (1)
Desde :
y(t) = ct (2)
(
x0 (t 0 ) = ut 0
p
Desde 0 :
r0 (t 0 ) = ct 0 = x0 (t 0 )2 + y0 (t 0 )2

(3)
,
(4)

(2.16)

donde en la u ltima igualdad de (4) se uso el teorema de Pitagoras. Como no hay movimiento relativo en direccion y entre los observadores, se cumple trivialmente que
y(t) = y0 (t 0 ). Teniendo en cuenta esto y las coordenadas de (2) y (3), la relacion (4)
lleva a la siguiente igualdad:
ct 0 =

p
u2t 02 + c2t 2 ,

(2.17)

la cual al despejar, se obtiene la siguiente relacion de tiempos:


t 02 =


1
t 2 = 2t 2 .
1 u2 /c2

(2.18)

1
,
=p
12

(2.19)

donde se definio el factor como:

con = u/c. As, vemos de la ecuacion (2.18) que a diferencia de la relatividad clasica,
en relatividad especial el tiempo no es un invariante bajo transformaciones entre observadores inerciales. Si la coordenada dadas por (1) y (3) en las ecuaciones (2.16) y el
tiempo dado por (2.18) se reemplazan en las ecuaciones de transformacion (2.15), se
obtiene:

ut = A (0 ut) ,


u
t = A
(0) + t ,
c2

(2.20)

de donde se deduce que A = . De esta forma, se determina la totalidad de coeficientes compatibles con los postulados de la relatividad especial, obteniendo finalmente las
transformaciones de Lorentz simples (TLS):

x0 (t 0 ) = [x(t) ut] ,
h
i
u
t0
= t 2 x(t) .
c

(2.21)

2.4. ACLARACIONES

25

Problema 3: Usando las TLS, demuestre las siguientes derivadas parciales:


x0
= ,
x

x0
= u,
t

t 0

= ,
x
c

t 0
=
t

(2.22)

Problema 4: De acuerdo a la electrodinamica clasica, la componente de campo


electrico de un rayo de luz cumple con la siguiente ecuacion de onda:
2 E(x,t)
1 2 E(x,t)
=
,
x2
c2 t 2

(2.23)

donde el campo E(x,t) es una funcion de la coordenada y el tiempo medido por un


observador . Calcular la forma de la ecuacion de onda segun otro observador 0 que
se mueve con velocidad relativa u, usando a.) las TLS y b.) las transformaciones de
Galileo. Demuestre que bajo las TLS, la ecuacion toma la misma forma que (2.23)
cambiando las variables (x,t) por (x0 ,t 0 ), mientras que bajo las de Galileo, la ecuacion
cambia a:
2 E(x0 ,t 0 )
1 2 E(x0 ,t 0 )
2u 2 E(x0 ,t 0 )
=

,
x02
c2 u2
t 02
c2 u2 x0 t 0

2.4.

(2.24)

Aclaraciones

En relatividad especial es comun obtener resultados contradictorios, lo que causa


las paradojas. Sin embargo, es importante aclarar que dichas paradojas no son resultados de posibles inconsistencias internas de la formulacion, sino de una mala aplicacion
de las transformaciones de Lorentz o incorrecta interpretacion de los postulados. As,
reiteramos el significado de las TLS:

Sea un observador que mide un evento en una posicion x(t) en el tiempo


t. Sea otro observador 0 que se mueve respecto a a una velocidad u.
Entonces, la posicion y el tiempo de ese mismo evento medido por 0 se
puede calcular a traves de las transformaciones de Lorentz:
x0 (t 0 ) = [x(t) ut] ,
i
h
u
t0
= t 2 x(t) .
c

CAPITULO 2. LA RELATIVIDAD ESPECIAL

26

donde el factor se calcula de acuerdo a la ecuacion (2.19), el cual a


su vez contiene al factor = u/c, con u la velocidad relativa entre los
observadores y c la velocidad de la luz.
Algunas aclaraciones adicionales:
1.) Si los eventos involucran el movimiento de partculas, hay que ser cuidadosos de
no confundir la velocidad relativa entre observadores con la velocidad misma de la
partcula. La velocidad que aparece en las TLS es la relativa entre observadores,
mientras que la velocidad de las partculas se calcula derivando las coordenadas,
esto es:

x =
x0 =

dx(t)
: velocidad de la partcula medida por
dt
dx0 (t 0 )
: velocidad de la partcula medida por 0 .
dt 0

(2.25)

2.) En las transformaciones se asume que el signo de la velocidad relativa es positiva, es decir cuando 0 se mueve hacia adelante respecto a . Sin embargo, las
ecuaciones (2.21) tambien son validas si 0 se mueve en direccion opuesta, pero
siendo cuidadosos de incluir el signo negativo de la velocidad relativa. As, en vez
de tener dos terminos que se restan, se tendran terminos que suman.
3.) Las TLS expresan las coordenadas y el tiempo de un observador 0 en funcion de
las de . Sin embargo se puede requerir lo opuesto, expresar las coordenadas y el
tiempo de en funcion de las de 0 . La diferencia es que si 0 se mueve en una
direccion respecto a , entonces se movera en direccion opuesta respecto a 0 ,
por lo que el u nico cambio es la del signo de la velocidad relativa. Tal transformacion se conoce como las transformaciones de Lorentz inversas, y se expresa de las
siguiente forma:



x(t) = x0 (t 0 ) + ut 0 ,
h
i
u
t = t 0 + 2 x0 (t 0 ) .
c

(2.26)

4.) Debido a la velocidad finita de la luz, en relatividad especial es necesario diferenciar entre el acto fsico de ver los eventos al de observarlos. De acuerdo a las
definiciones descritas en la Seccion 1.1 del captulo anterior, observar los eventos
se asocia al acto de medir las posiciones y los tiempos de los eventos en el lugar
donde ocurren y en el instante cuando ocurren. Por otro lado, ver los eventos es
el acto de mirarlos desde una posicion fija del espacio alejado del lugar donde

2.4. ACLARACIONES

27

ocurren y en instantes retrasados de cuando ocurren. El retraso surge debido a la


diferencia de tiempo que surge mientras la luz viaja desde el evento hasta el lugar
donde se ubica la persona. As, en el proceso de interpretacion de un resultado,
debemos ser cuidadosos de no confundir la medida de un evento con la imagen
grafica de ver el evento, ya que ambos no se corresponden uno al otro.

28

CAPITULO 2. LA RELATIVIDAD ESPECIAL

CAPITULO

Cinematica relativista

En e ste captulo estudiaremos las consecuencias cinematicas de los postulados y las


transformaciones de Lorentz. Primero, discutiremos el concepto de tiempo en relatividad
especial incluyendo el problema de simultaneidad y el efecto de dilatacion temporal.
Luego, extenderemos la discusion al problema de medicion de longitudes, donde aparece
el efecto de contraccion de longitudes. Finalmente, plantearemos las nuevas propiedades
de las variables cinematicas que describen el movimiento junto con algunas aplicaciones.

3.1.

La relatividad del tiempo

El problema central de la relatividad del tiempo no esta en como definirlo abstractamente, sino en como lo medimos, lo que requiere adoptar una definicion precisa y
fundamental de medicion de intervalos de tiempo independiente de la tecnica especfica
que se utilize para realizar tal medicion. Para eso, vamos a definir el reloj como el instrumento que permite medir tiempos asociados a eventos, sin importar que el reloj sea el
tradicional reloj de manecillas, o digital, o un censor infrarojo capaz de arrancar y detenerse cuando ocurran los eventos, etc. Simplemente asumimos que los eventos ocurren
en instantes de tiempo determinados, los cuales en principio podemos medir. Con esto,
vamos a definir de manera fundamental el tiempo como:
El intervalo de tiempo entre dos eventos medido por un observador
inercial, es la diferencia entre el tiempo marcado por un reloj en
reposo en la posicion donde ocurre el evento final y el tiempo
marcado por otro reloj en reposo y sincronizado con el anterior
en la posicion donde ocurre el evento inicial.

29


CAPITULO 3. CINEMATICA
RELATIVISTA

30

En la definicion anterior, se esta asumiendo dos condiciones esenciales:


i.) Si los eventos ocurren en distintas posiciones, los tiempos se miden con distintos
relojes. As, si en vez de eventos puntuales, se tiene una sucesion continua de
eventos que ocurren en una region extendida del espacio, se entiende entonces
que el observador posee una sucesion continua de relojes en reposo que cubre
todos los puntos del espacio.
ii.) Para que la medicion tenga sentido, es necesario garantizar siempre que para un
mismo observador, todos sus relojes se encuentran sincronizados, es decir, arrancan en el mismo tiempo y marcan intervalos de tiempos exactamente iguales.
Teniendo una definicion precisa de [medicion de] tiempo, ya podemos estudiar las
consecuencias temporales de los postulados de la relatividad.

3.1.1.

Simultaneidad

Decimos que dos eventos son simultaneos si ocurren en el mismo instante de tiempo
medido por un observador inercial, esto es, si el intervalo de tiempo entre los eventos
es nulo. Es importante enfatizar en la definicion anterior el hecho de que se esta restringiendo a un observador, no a todos. La razon de eso es porque como consecuencia de
los postulados, la simultaneidad puede ser relativa, es decir, si para un observador dos
eventos ocurren simultaneamente, para otro observador en movimiento relativo esos dos
mismos eventos pueden ocurrir en tiempos diferentes, situacion que no se presenta en la
relatividad clasica. Mas concretamente, en relatividad especial pueden ocurrir dos casos:
1.) Si dos eventos son simultaneos medido por un observador inercial, y adicionalmente ocurren en la misma posicion, esos mismos eventos tambien seran simultaneos
para cualquier otro observador inercial. En e ste caso decimos que la simultaneidad
es absoluta.
2.) Si dos eventos son simultaneos medido por un observador inercial, pero ocurren
en diferentes posiciones, esos mismos eventos no seran simultaneos para otro observador inercial. En e ste caso decimos que la simultaneidad es relativa.
En mecanica clasica, la simultaneidad es absoluta sin importar si ocurren en la misma o en diferentes posiciones. Para ilustrar el efecto relativista de la simultaneidad,
consideremos el siguiente ejemplo:
Dos partculas, 1 y 2, viajan con velocidades de 2 107 m/s y 4 107 m/s
respectivamente. La partcula 1 colisiona con un detector fijo ubicado a una
distancia de 0.5 km del origen del observador inercial , mientras que la 2 lo
hace con otro detector ubicado a una distancia de 1 km del mismo origen. Si
las partculas cruzan el origen simultaneamente en el instante t = 0, calcular
el tiempo en que cada partcula colisionara los detectores medido por a.) el
observador y b.) el observador 0 donde la partcula 1 esta en reposo.

3.1. LA RELATIVIDAD DEL TIEMPO

31

Mientras no se diga lo contrario, se asume en e ste y en los demas problemas que la


configuracion de sistemas coordenados es la estandar, es decir, aquella donde se pueden
aplicar las transformaciones de Lorentz simples. La Figura 3.1 muestra las coordenadas
medidas por . Para movimiento constante, el tiempo que demora cada partcula entre el
origen y los detectores son:
Partcula 1:
Partcula 2:

L1 0.5 103 m
=
= 2.5 105 s
t1 =
v1
2 107 m/s
L2
1 103 m
t2 =
=
= 2.5 105 s.
v2
4 107 m/s

(3.1)

tiempo medido por :


posicion medida por :
factor beta:
factor gama:

u = 2 107 m/s
t1 = t2 = 2.5 105 s
x1 (t1 ) = 0.5 km, x2 (t2 ) = 1 km
= u/c = (2 107 m/s)/(3 108 m/s) 6.6 102
p
(3.2)
= 1/ 1 2 1.002.

As, usando la transformacion de tiempos, se obtiene para 0 :


i
h
u
t10 = t1 2 x1 (t1 )
c
h
i
u
0
t2 = t2 2 x2 (t2 ) .
c

(3.3)

El problema se reduce ahora a realizar los reemplazos numericos en las ecuaciones anteriores para calcular t10 y t20 . Sin embargo, es mas u til obtener un resultado mas general
expresado en una ecuacion simbolica. Teniendo en cuenta que mide que t1 = t2 , se
obtiene para 0 la siguiente diferencia de tiempo :
t 0 = t10 t20 = 2t1 .

v1

v2

L1

Figura 3.1

As, los eventos correspondientes a la deteccion de las partculas, son eventos simultaneos.
Para calcular los tiempos medidos por 0 , se puede utilizar los datos medidos por y las
TLS de las ecuaciones (2.21). Para eso, identificamos cada variable:

velocidad relativa:

(3.4)

Numericamente, para e ste caso particular, se obtiene que t 0 1.1 107 s. As, los
eventos de colision contra los detectores ya no son simultaneos para el observador 0 , el
cual mide que la partcula 2 llega primero, mientras que 1 llega 107 s despues. Aunque
el valor numerico es muy pequeno, dicha diferencia aumenta si el factor aumenta de
acuerdo a la ecuacion (3.4), es decir, si las partculas viajan mas cercanas a la de la luz,
lo que evidencia que los efectos relativistas son apreciables a velocidades altas .

L2


CAPITULO 3. CINEMATICA
RELATIVISTA

32

3.1.2.

Dilatacion temporal

La dilatacion temporal es el fenomeno en el cual los intervalos de tiempo entre eventos son mayores para un observador que para otro. Para que e ste concepto tenga sentido,
es necesario definir respecto a quien sucede el aumento, esto es, el observador que mide
el mnimo intervalo de tiempo posible entre dos eventos. Tal tiempo es el tiempo propio,
que lo definimos formalmente de la siguiente forma:

p


Evento 1
t = 0

El tiempo propio es el intervalo de tiempo entre dos


eventos medido por un mismo reloj en el sistema en
donde el reloj se encuentra en reposo

Evento 2
t =

Figura 3.2

De acuerdo a la definicion anterior, la u nica forma de que dos eventos sucedan en un


intervalo de tiempo propio, es que los eventos ocurran en la misma posicion para algun
observador. Por lo tanto, otra forma de definir el tiempo propio es:
El tiempo propio es el intervalo de tiempo entre dos eventos medido por el sistema
inercial donde los eventos ocurren en la misma posicion.



Evento 1
t = 0
Evento 2
t =
t

Figura 3.3

De esta forma, se puede definir sin ambiguedad el concepto de dilatacion temporal como
el aumento en el intervalo de tiempo entre dos eventos medido por un observador en movimiento respecto al observador que mide el tiempo propio de los mismos eventos. As,
por ejemplo, la Figura 3.2 ilustra la secuencia de dos eventos, 1 y 2, medido por el mismo reloj, es decir por el observador propio de los eventos, marcando un tiempo propio .
Pero otro observador en movimiento, medira el segundo evento desplazado respecto al
primero, por lo que el tiempo se marcara con dos relojes en posiciones diferentes, como
se ilustra en la Figura 3.3. Dicho observador medira un tiempo dilatado de los mismos
eventos, es decir t > . Para calcular la cantidad en cuanto se dilata el tiempo para un
observador en movimiento, utlizamos las TLS. Supongamos que desde el sistema propio
p , el evento 1 sucede en el tiempo t1 = 0 y en la posicion x1 , mientras que el evento
2 sucede en t2 = y en la misma posicion x1 . Usando las transformacion de tiempo de
la ecuacion (2.21), se encuentra que los tiempos de los eventos para un observador en
movimiento con velocidad relativa u son:

u 
u 
t10 = t1 2 x1 = 2 x1
c 

 c u 
u
0
t2 = t2 2 x2 = 2 x1 ,
(3.5)
c
c
por lo que el intervalo de tiempo medido por 0 es:
t = t20 t10 = ,

(3.6)

el cual expresa el intervalo de tiempo entre dos eventos medido por un observador inercial en relacion al tiempo propio.

3.2. LA RELATIVIDAD DE LA LONGITUD

3.2.

33

La relatividad de la longitud

Al igual que el tiempo, la longitud espacial de los objetos se define en base a su


medicion. Definimos entonces la longitud como:
La longitud de un cuerpo es la diferencia entre las
posiciones de sus extremos medidas simultaneamente
por un observador inercial
La condicion de que la medida sea simultanea garantiza que no hayan datos falsos por
el posible movimiento del cuerpo en relacion al observador. Si no fuera simultaneo, y el
cuerpo se mueve, la posicion de un extremo estara corrida respecto al del otro extremo en
una cantidad extra debido al desplazamiento del cuerpo en el intervalo de tiempo entre
mediciones, como se ilustra en la Figura 3.4. Si el extremo izquierdo se mide primero en
el tiempo t10 , la posicion marcada sera la que corresponda a ese tiempo, es decir x10 (t10 ). Si
posteriormente en el tiempo t20 se mide la posicion del extremo derecho, se obtendra un
valor x20 (t20 ). As, la supuesta longitud sera L0 = x20 (t20 )x10 (t10 ), la cual como se evidencia
en la figura, no corresponde a la longitud real del objeto. Solamente si el cuerpo esta en
reposo, la medida anterior coincidira con la verdadera. Pero si el objeto esta en movimiento, se deben comparar las posiciones de los extremos medidos simultaneamente.
As, si la posicion de un extremo se mide en el tiempo t10 , el extremo opuesto debe ser
medido en ese mismo tiempo, como indica la lnea vertical punteada de la Figura 3.4. En
relatividad clasica, el valor de la longitud va a ser independiente del observador, es decir,
clasicamente la longitud es invariante. Sin embargo, en relatividad especial, aunque las
medidas se hagan simultaneamente, la longitud al igual que el tiempo es una cantidad
relativa, que toma diferentes valores de acuerdo al movimiento relativo del observador.
Mas concretamente, se puede demostrar que la longitud se contrae para un observador
en movimiento respecto a la longitud medida por el observador donde el objeto esta en
reposo, efecto comunmente conocido como contraccion de Fitzgerald-Lorentz. Se define
la longitud propia como:
La longitud propia de un cuerpo es la longitud
medida por el observador inercial donde el
cuerpo se encuentra en reposo.
En el caso en que se mida la longitud propia, no es necesario realizar la medida de
posiciones en forma simultanea. De hecho, para poder comparar la longitud propia con
la relativa medida por un observador en movimiento, es necesario ajustar la diferencia
de tiempos de medida del sistema propio para que al transformarlos al observador en
movimiento, los tiempos sean simultaneos. As, supongamos que el cuerpo se ubica tal
que su extremo izquierdo coincida con el origen del sistema propio y se mida en el

t = t1

x(t)

1 1

x(t)

2 1
t = t2

x(t)

2 2

Figura 3.4


CAPITULO 3. CINEMATICA
RELATIVISTA

34

tiempo t1 = 0, mientras que el extremo opuesto se encuentra en la posicion x2 (t2 ) = L0


medido en un tiempo t2 , tal que L0 correspondera a la longitud propia. Para calcular las
posiciones de los extremos en un observador 0 moviendose con velocidad relativa u, se
usa la transformacion de coordenadas de acuerdo a (2.21):

Extremo izquierdo:
Extremo derecho:

x10 (t10 ) = [x1 (t1 ) ut1 ] = 0,


x20 (t20 ) = [x2 (t2 ) ut2 ] = [L0 ut2 ] ,

(3.7)

obteniendo la diferencia:

L0 = x20 (t20 ) x10 (t10 ) = [L0 ut2 ] .

(3.8)

Para que la longitud L0 de la ecuacion anterior represente la verdadera longitud, se debe


escoger el tiempo t2 tal que la medida en 0 sea simultanea, es decir, se debe exigir que
t10 = t20 . As, usando la transformacion de tiempo de las TLS (2.21), se obtiene:
h
i
u
t10 = t1 2 x1 (t1 ) = 0,
c
i
h
h
u i
u
0
t2 = t2 2 x2 (t2 ) = t2 2 L0 ,
c
c

(3.9)

que al igualarlas, se puede despejar el tiempo t2 , obteniendo:


t2 =

u
L0 .
c2

(3.10)

Despues de reemplazar el tiempo t2 de la formula (3.10) en la ecuacion (3.8), se obtiene


que la longitud medida por 0 es:
L0 =

L0
,

(3.11)

que corresponde a la longitud de un cuerpo en movimiento respecto a la longitud propia,


donde el cuerpo se encuentra en reposo.

3.3.

La relatividad del movimiento

Adicional a los efectos que causa la relatividad especial en conceptos tales como el
tiempo y el tamano de los cuerpos, tambien se van a tener consecuencias importantes en
la descripcion del movimiento de los cuerpos, algunas de las cuales se estudian en e sta
seccion.

3.3. LA RELATIVIDAD DEL MOVIMIENTO

3.3.1.

35

Teorema de adicion de velocidades

En la seccion 1.3, se obtuvo el teorema de adicion de velocidades utilizando las


transformaciones de Galileo. Ahora se obtendra el teorema bajo el contexto de las TLS.
Si un observador inercial mide que una partcula tiene una velocidad v en direccion
x, usando las TLS, se puede calcular la velocidad de esa misma partcula medida por
otro observador 0 que se mueve con velocidad u relativa a . Teniendo en cuenta que
la velocidad se define de acuerdo a las ecuaciones (2.25), y usando las TLS para la
coordenada espacial de (2.21), se obtiene:

v0 =

dx0 (t 0 )
dt 0

d
[x(t) ut]
dt0

dx(t)
dt
=
u 0 .
dt 0
dt
=

(3.12)

Esn relatividad, es importante identificar cuales variables dependen de los tiempos t y


cuales de los tiempos t 0 . As, por ejemplo, en la primera derivada dentro del parentesis
de la ecuacon (3.12), la posicion x esta en funcion de t, mientras que la derivacion es
respecto al otro tiempo t 0 . Sin embargo, sabemos que por transformacion de tiempos,
el tiempo t depende de t 0 , es decir, la funcion x(t) es funcion implcita del tiempo t 0 .
Aplicando la regla de la cadena se obtiene entonces:
dx(t) dx(t) dt
dt
=
= v 0.
(3.13)
0
0
dt
dt dt
dt
Usando las TLS inversas dadas por la ecuacion (2.26), se puede derivar t respecto a t 0 :
dt
dt 0

d h0 u 0 0 i
t + 2 x (t )
dt0
c

u dx0 (t 0 )
= 1+ 2
c dt 0


uv0
= 1+ 2 .
c
=

Reemplazando la forma de la derivada (3.14) en (3.13), se obtiene:




dx(t)
uv0
= v 1 + 2 .
dt 0
c

(3.14)

(3.15)

Finalmente, reemplazando (3.15) y (3.14) en (3.12), se llega a la forma relativista del


teorema de adicion de velocidades:
v0 =

vu
.
1 uv
c2

(3.16)


CAPITULO 3. CINEMATICA
RELATIVISTA

36

Problema 5: Suponga que la partcula se mueve en el plano de a una velocidad con


componente vx en direccion x y vy en direccion y. Muestre que las componentes de la
velocidad medidas por el sistema 0 son:
v0x =

3.3.2.

vx u
,
x
1 uv
c2

v0y =

vy
.
x
1 uv
c2

(3.17)

Transformacion de la aceleracion

Clasicamente, la aceleracion de una partcula es invariante y absoluta entre observadores inerciales. Bajo las transformaciones de Lorentz, la aceleracion se mantiene
absoluta, pero ya no sera invariante. Para mostrar eso, consideremos una partcula con
movimiento acelerado en direccion x medido por un observador . Aplicando el teorema
de adicion de velocidades, se puede calcular la aceleracion medida por otro observador
0 con velocidad relativa u. Derivando la ecuacion de la suma de velocidades (3.16), se
obtiene para 0 :
!
dv0 (t 0 )
d
v(t) u
0
a =
= 0
,
(3.18)
dt 0
dt 1 uv(t)
2
c

donde las velocidades se escriben en funcion de sus respectivos tiempos. Realizando las
diferentes derivaciones, y teniendo en cuenta que la velocidad relativa u es constante, se
obtiene:
2


a0 = 
1 uv(t)
c2

dv(t)
.
dt 0

(3.19)

Aplicando de nuevo la regla de la cadena y usando la derivada entre tiempos de la ecuacion (3.14), se obtiene para la derivada de velocidad en (3.19):


dv(t) dv(t) dt
uv0
=
= a 1 + 2 ,
(3.20)
dt 0
dt dt 0
c
que reemplazando en (3.19), se obtiene:


0
a 1 + uv
c2
a0 =
 .
uv 2
1 c2

(3.21)

La expresion anterior aun mezcla la velocidad instantanea v0 medida por 0 (en el numerador) con la velocidad v medida por (en el denominador), por lo que aun no es una

3.3. LA RELATIVIDAD DEL MOVIMIENTO

37

ecuacion final. Para expresarlo en terminos de una u nica velocidad, se hace de nuevo uso
del teorema de adicion de velocidades. Por ejemplo, si se usa directamente la ecuacion
(3.16), podemos obtener la relacion entre aceleraciones enteramente en funcion de la
velocidad v, obteniendo finalmente:

a0 =

a

3 .
uv
3
1 c2

(3.22)

As, si un cuerpo tiene una aceleracion a de acuerdo a un observador inercial, otro observador inercial en movimiento relativo medira una aceleracion diferente, segun la ecuacion (3.22). Por lo tanto la aceleracion, al igual que el tiempo, la longitud y la velocidad,
es una cantidad relativa. Sin embargo se observa que si a = 0, entonces a0 = 0, esto es,
u ltima propiedad implica que la ley de la inerla aceleracion sigue siendo absoluta. Esta
cia sigue siendo invariante en relatividad especial, es decir, si un cuerpo se mueve con
movimiento rectilneo uniforme (la aceleracion es nula) desde un sistema inercial, e ste
seguira moviendose uniformemente desde cualquier otro sistema inercial.

Problema 6: Suponga que la partcula se mueve en el plano de y tiene una aceleracion con componente ax en direccion x y ay en direccion y. Muestre que las componentes de la aceleracion desde el sistema 0 son:
ax

a0x =

a0y =

3.3.3.

x
1 uv
c2
1

3 ,


uvx 3
c2

h uv

y
ax +
2
c


uvx  i
1 2 ay .
c

(3.23)

Efecto Doppler longitudinal

En la subseccion 1.4.3 se obtuvo la frecuencia de una onda mecanica medida por un


observador en movimiento. La luz tambien va a exhibir un efecto parecido. Sin embargo,
en relatividad especial la luz tiene una naturaleza diferente a las ondas mecanicas, por
lo que el efecto se va a dar en una cantidad diferente. Consideremos el caso en que el
observador se mueve directamente hacia la fuente, el cual va a producir el llamado efecto
Doppler longitudinal. Se plantea entonces la siguiente situacion:
Una fuente luminosa emite pulsos de luz a una frecuencia fF en su sistema en
reposo 0 hacia un observador que lo detecta. Calcular la frecuencia del pulso
medida por el observador si e ste se mueve hacia la fuente con rapidez u.


CAPITULO 3. CINEMATICA
RELATIVISTA

38

Observe que a diferencia del caso de ondas de sonido, aqu no se hace referencia a un
medio (eter), por lo que no hay que distinguir si el observador y la fuente se encuentran
en reposo o en movimiento respecto a un medio. La Figura 3.5 ilustra la emision de
pulsos en dos instantes de tiempo en el sistema 0 , donde la fuente esta en reposo. Un
observador en este sistema medira la secuencia de dos pulsos con el mismo reloj ubicado
en su origen, tal como se ilustra en la Figura, por lo que su medida corresponde a un
periodo de tiempo propio F dado por:

t = 0

1
.
(3.24)
fF
El observador , por otro lado, medira la secuencia de dos pulsos con relojes ubicados
en diferentes posiciones debido al movimiento relativo de la fuente, como se muestra en
la Figura 3.6. As, e ste observador va a medir un periodo de tiempo dilatado de acuerdo
a la formula de dilatacion (3.6), esto es:

F =



t = F

Figura 3.5

TO = F .

Por otro lado, la longitud de onda medida sera la distancia entre los pulsos 1 y 2, que
corresponde a la diferencia de la distancia recorrida por el primer pulso y la distancia
recorrida por la fuente, como se muestra en la segunda grafica de la Figura 3.6. As,
usando la relacion de dispersion, se obtiene que la longitud de onda cumple:

t = 0

cTO

u
TO

t = TO

Figura 3.6

(3.25)

c
= TO (c u).
(3.26)
fO
Reemplazando el periodo propio de la ecuacion (3.24) en el periodo relativo de (3.25), y
e ste a su vez en la ecuacion (3.26), se encuntra que la frecuencia medida por el observador es:
s
1+
fF ,
(3.27)
fO =
1
O =

la cual difere de las ecuaciones (1.15), (1.17) y (1.18) para ondas mecanicas.

Problema 7: Si el observador se mueve horizontalmente pero a una altura y = d arriba de la fuente, demuestre que la frecuencia medida cuando cruza exactamente por
encima de la fuente es:
fF
fO = .
(3.28)

Este caso se conoce como el efecto Doppler transversal.

3.4. LIMITES A ALTAS Y BAJAS VELOCIDADES

3.4.

39

Lmites a altas y bajas velocidades

En los postulados de la relatividad especial, la velocidad c surge como una de las


constantes fundamentales de la naturaleza. Sin embargo, es accidental que la luz se propage justo con esa velocidad. De hecho, cualquier tipo de ondas electromagnetica se
propaga en el vaco a la velocidad c. Aun mas, se ha encontrado a nivel de la fsica
subatomica fenomenos asociados a objetos que se pueden propagar a esa misma velocidad, o al menos muy cercana, como los neutrinos y los gluones. La razon de que c
se asocie a la velocidad de la luz es simplemente circunstancial: la luz es el objeto mas
comun en el Universo que puede viajar a la velocidad c. Por tradicion, a la constante c
la seguiremos llamando la velocidad de la luz. Por otro lado, la constante c marca dos
lmites extremos de la relatividad: el lmite ultrarelativista en el cual las velocidades de
los cuerpos se obsevan cercanos a c, y el lmite clasico, en el cual las velocidades se
observan mucho mas pequenas que c.

3.4.1.

El lmite clasico

De acuerdo a los resultados de la cinematica relativista estudiada a lo largo del


captulo, nos podemos dar cuenta que los nuevos parametros que modifican a la vieja
cinematica clasica son los factores y . De hecho, el factor determina al de acuerdo
a la definicion en la ecuacion (2.19), la cual graficamos en la Figura 3.7. Como se puede
ver, vara lentamente para pequenos valores de , mientras que para valores cercanos
a = 1, el factor empieza a crecer asintoticamente. En particular, si las velocidades
relativas entre observadores son mucho menores a las de la luz (  1), el factor se
puede aproximar a los primeros terminos de una expansion en series de Taylor. Como este factor puede aparecer multiplicando o dividiendo, es u til tener expansiones separadas
para ambos casos. Hasta segundo orden, se tiene que:

5
4

g3
2
1
0.0

0.2

0.4

0.6

0.8

Figura 3.7
1
1 + 2,
2

1
1
2 1/2
= 1
1 2.

= 12

1/2

(3.29)

Si adicionalmente, los observadores se mueven a velocidades relativas ordinarias


muy por debajo de la velocidad de la luz1 , obtenemos el lmite clasico, donde, primero,
los terminos cuadraticos de las expansiones anteriores son indetectablemente pequenos,
por lo que en la practica se puede hacer 2 = 0 y por lo tanto = 1 = 1, y segundo,
terminos de la forma uv/c2 tambien se pueden despreciar, como el que aparece en la expresion del teorema de adicion de velocidades. Las consecuencias de esta aproximacion
1 Enfatizamos de nuevo, que los factores

y se relacionan con la velocidad relativa u entre observadores, la cual podra o no coincidir con la velocidad v de los objetos

1.0

1.2


CAPITULO 3. CINEMATICA
RELATIVISTA

40

sobre distintos parametros cinematicos se ilustra en la Tabla 3.1. Como se puede verificar, en el lmite clasico se reproduce la cinematica de Galileo. Por ejemplo, se observa
que el tiempo deja de ser relativo: el tiempo medido por todos los observadore inerciales
son los mismos. Lo mismo se obtiene para la longitud.

Problema 8: Calcule la frecuencia del efecto Doppler longitudinal dado por la ecuacion (3.27) teniendo en cuenta una expansion de Taylor hasta el orden lineal en .
De acuerdo a los diferentes efectos Doppler clasicos, que caso se reproduce?

Problema 9: Si la velocidad de un cuerpo es v = c, que forma toma el teorema de


adicion de velocidades?

3.4.2.

El lmite ultrarelativista

De acuerdo a lo observado en la Figura 3.7, cuando la velocidad relativa entre observadores empieza a acercarse a la de la luz, es decir 1, su factor crece sin lmite
superior. Esto sugiere que el principio de relatividad impone de forma natural un lmite
a la velocidad que puede tener un sistema inercial: ningun observador puede viajar a
la velocidad de la luz. Sin embargo, en cercanas de la velocidad de la luz, a veces es
u til aproximar las ecuaciones en expansiones alrededor de = 1. Una forma de obtener
cuantitativamente tal aproximacion, es suponiendo que el factor es ligeramente menor
a 1, por ejemplo:

Par
ametro

Caso Relativista

Lmite Cl
asico

Transf. Coordenada

x0 = x(t) ut

Transf. Tiempo

x0 = [x(t) ut]
h
i
2
t 0 = t u x(t)

Dilataci
on temporal

t =

t =

L0

L0 = L0

vu
1 vu2

v0 = v u

Contraccion F-L
T. de adicion vel.

L0 =
v0 =

t0 = t

Tabla 3.1: Relaciones cinematicas de la relatividad especial y sus lmites clasicos.

3.4. LIMITES A ALTAS Y BAJAS VELOCIDADES

= 1 ,

41

(3.30)

donde es un numero muy pequeno, esto es  1. Para obtener las ecuaciones cinematicas cercanas al lmite ultrarelativista, conviene reescribir el factor en funcion
del parametro como:

1/2

1/2
= 12
= 1 (1 )2
1 h
i1/2
.
=
1
2
2

(3.31)

Como es menor que 1, se puede utilizar de nuevo la expansion de Taylor sobre la


segunda raz. Por ejemplo, manteniendo orden lineal en la expansion, se obtiene:


1
1

1+ ,
4
2



1
1
2 1 .
4

(3.32)

Un error comun en relatividad, es la de afirmar que ningun objeto puede [observarse]


viajar mas rapido que la velocidad de la luz. Si bien la relatividad impone una velocidad
lmite, no impide que existan partculas superluminales, esto es, objetos que viajen por
encima de la velocidad de la luz, comunmente conocidas como taquiones. En ese caso,
la velocidad c ya no representara un lmite superior, sino un lmite inferior, y ningun
taquion puede desacelerarse por debajo de dicha velocidad. Concretamente, lo que la
relativa especial prohbe es que cualquier cuerpo, sea subluminal, o superluminal, pueda
cruzar el lmite de la velocidad c para cualquier observador inercial, mientras que aquellos objetos que viajan a exactamente la velocidad c, quedan atrapados sin poder cambiar
su velocidad2 . Aunque experimentalmente solo tenemos evidencia en nuestro Universo
de objetos que se mueven igual o por debajo de la velocidad de la luz, los taquiones son
una posibilidad teorica y que actualmente se esta buscando en diferentes experimentos.

2 Esto

se cumple en relatividad especial. Sin embargo, si nos ubicamos en sistemas no inerciales, se


pueden ver efectos de cambios de velocidad de la luz, como el curvamiento de su trayectoria. Dichos
efectos son descritos en la relatividad general.

42

CAPITULO 3. CINEMATICA
RELATIVISTA

CAPITULO

Dinamica relativista

De acuerdo al postulado de relatividad, las leyes de la fsica deben ser las mismas
para todos los observadores inerciales. Sin embargo, la segunda ley de Newton que describe la dinamica de los cuerpos puntuales resulta incompatible con dicho postulado. Por
ejemplo, si un observador 0 asegura que una partcula cumple con la ecuacion F = ma0
(asumiendo que la masa y la fuerza son cantidades invariantes), usando la transformacion de aceleracion dada por (3.22), se obtiene para otro observador en movimiento
relativo que:

F = ma


uv 3
,
1 2
c

(4.1)

que no reproduce la forma tpica de la segunda ley de Newton. Einstein se dio cuenta que el problema radicaba en la suposicion de la invariancia de la masa y la fuerza.
As, haba que replantear las leyes dinamicas teniendo en cuenta que en realidad estas
cantidades son relativas y dependen del observador inercial. Esto implica en particular,
que la fuerza deja de ser una variable apropiada para la descripcion de la dinamica, por
lo que en relatividad especial como se vera de ahora en adelante, deja de jugar un papel central en la fsica. Sin embargo, las leyes de conservacion siguen siendo validas
para todos los obervadores inerciales, por lo que la dinamica descrita en terminos de
parametros que se conservan resultan mas apropiados. En e ste captulo se plantea las
consecuencias dinamicas de los postulados de la relatividad en terminos del momento
lineal y la energa, lo que nos conducira a una de las concepciones mas revolucionarias
de la relatividad: la equivalencia de masa y energa.
43


CAPITULO 4. DINAMICA
RELATIVISTA

44

4.1.

El momento relativista

En la mecanica clasica, se define el momento lineal como:


pclasico = mv,

(4.2)

donde la masa inercial m se toma en el sentido clasico de la subseccion 1.3.3. En particular, si sobre un sistema de cuerpos no existen interacciones externas, su momento lineal
total es constante, y dicha conservacion se mantiene bajo las transformaciones de Galileo, es decir, el principio de conservacion del momento lineal es invariante para todos
los observadores inerciales. Si queremos extender la anterior propiedad al caso relativista, vamos a encontrar que la conservacion del momento lineal no va a ser invariante
frente a las transformaciones de Lorentz. El problema, como ya se menciono, esta en la
naturaleza de la masa inercial: la masa de un cuerpo es una propiedad que depende del
observador inercial, esto es, la masa inercial es relativa. As, Einstein modifico la definicion del momento lineal por otra [relativista] donde la masa depende de la magnitud de
la velocidad de la partcula :
p = m(v)v,

(4.3)

donde la forma funcional de m(v) se escoge tal que cumpla con los siguientes principios
de conservacion:
I. Conservacion de la masa: La masa relativista de un sistema fsico
se mantiene constante para todos los observadores inerciales.
II. Conservacion del momento lineal: El momento lineal de un sistema
fsico aislado se mantiene constante para todos los observadores inerciales.



1 v

pantes=m(v)v

vf

pdespues=M(vf)vf

Figura 4.1

Para encontrar la funcion m(v), consideremos la siguiente situacion fsica:


Dos partculas libres identicas, 1 y 2, se mueven una hacia la otra
con velocidad relativa v. Sea el observador donde la partcula 2
se encuentra en reposo, y 0 donde la 1 esta en reposo. Asumiendo que las partculas se propagan como un solo cuerpo despues
de la colision (colision totalmente inelastica), determinar la masa
relativista de las partculas suponiendo que la masa y el momento
lineal se conservan para ambos observadores.
La Figura 4.1 ilustra el movimiento antes y despues de la colision visto por el observador , con los momentos lineales respectivos, y donde v f es la velocidad despues de
la colision. Usando los principios de conservacion, se obtiene el siguiente conjunto de
ecuaciones:

4.1. EL MOMENTO RELATIVISTA

masa:
momento:

45

m(v) + m(0) = M(v f )


m(v)v = M(v f )v f ,

(4.4)

donde m(v) representa la masa de la partcula que se mueve a velocidad v (partcula 1),
m(0) la de la partcula en reposo (partcula 2), y M(v f ) la masa del cuerpo resultante despues de la colision. Despejando del sistema de ecuaciones (4.4), se obtiene la velocidad
final:


m(v)
vf = v
.
(4.5)
m(0) + m(v)
Por otro lado, el observador 0 va a observar el mismo proceso en la forma como
se muestra en la Figura 4.2, con su respectivas medidas de momento lineal. Como las
partculas son identicas, la masa de la partcula que ahora esta en reposo (la 1) y la que
se mueve (la 2) se marcan iguales que antes: m(0) y m(v)1 . Al plantear las ecuaciones
de conservacion, se obtiene segun 0 que:

-v
2

pantes
= - m(v)v

vf

pdespus
=M(vf )vf

Figura 4.2
masa:
momento:

m(v) + m(0) = M(v0f )


m(v)v = M(v0f )v0f .

(4.6)

Resolviendo de nuevo, se obtiene:


v0f


m(v)
= v
.
m(0) + m(v)

(4.7)

Las velocidades finales v f y v0f de (4.5) y (4.7) se pueden relacionar mutuamente


a traves del teorema de adicion de la ecuacion (3.16), donde la velocidad relativa entre
observadores es u = v, obteniendo:
v0f =

vf v
vv .
1 c2f

(4.8)

Reemplazando las expresiones para las velocidades v f y v0f dadas por (4.5) y (4.7), al
final vamos a obtener que:
m(0)
m(v) = p
,
12

(4.9)

1 Para la partcula que se mueve en e ste caso, pueden tener la tentaci


on de escribir m(v). Sin embargo,
la masa relativista depende de la magnitud y no de la direccion de la velocidad, as que m(v) = m(v).
No se ha detectado experimentalmente que la masa de una partcula cambie por el cambio de direccion del
movimiento


CAPITULO 4. DINAMICA
RELATIVISTA

46

donde = v/c. Tradicionalmente, la masa con velocidad nula m(0) se nota como m0 ,
y se conoce como la masa en reposo del cuerpo. As, la masa relativista de un cuerpo
depende de la rapidez del cuerpo respecto a un observador inercial y de su masa en
reposo de acuerdo a
m0
m(v) = p
= m0 ,
12

(4.10)

mientras que el momento lineal relativista es:


p = m(v)v = m0 v

(4.11)

Problema 10: Considere el mismo problema de colision anterior, pero asumiendo la


version clasica de la masa y del momento lineal. Suponiendo que el momento se conserva para el observador , muestre que bajo TLS, el observador 0 mide diferentes
momentos lineales antes y despues de la colision.

4.2.

La energa relativista

En mecanica clasica, la energa total de cualquier sistema fsico, se puede separar en


tres contribuciones:
E = K +U + Q = K + E0 ,

(4.12)

donde cada termino describe diferentes estados de un cuerpo de acuerdo con la Tabla 4.1.
En particular, es conveniente separar la energa de un cuerpo en contribuciones debido a
solamente su movimiento global (energa cinetica del centro de masa K) y aquellas que
pueden existir independiente del movimiento (energa en reposo E0 ), donde la energa
en reposo es la suma de la energa potencial e interna del cuerpo. As, la ecuacion (4.12)
se puede usar para definir la energa cinetica como:
K = E E0 ,

(4.13)

esto es, la energa cinetica es la energa remanente de un cuerpo al restar de su energa


total todas las energas en reposo. La importancia de describir los estados de un cuerpo
en funcion de sus energas, es que e stas se pueden definir tal que cumplan con el siguiente
principio de conservacion:

4.2. LA ENERGIA RELATIVISTA

47

III. Conservacion de la energa: La energa total de un sistema fsico


cerrado se mantiene constante para todos los observadores inerciales.

En relatividad especial, tambien podemos definir las energas tal que el principio de
conservacion anterior se mantenga. Sin embargo, al exigir invariancia de esa conservacion bajo las TLS, Einstein encontro cambios fundamentales en la forma de las energas.
Antes de entrar a discutir la version relativista de las energas, estudiemos las formas
clasicas para luego comparar las diferencias. Por simplicidad, nos limitamos a una sola
dimension.

4.2.1.

Energa cinetica clasica

Clasicamente, el cambio de energa cinetica se define como el trabajo que realiza la


fuerza sobre un cuerpo, donde la fuerza es la variacion del momento lineal [clasico]. Para
calcular dicho trabajo, primero debemos expresar la fuerza en terminos de la posicion
usando la regla de la cadena:

F=

d pclasico d pclasico dx
dv
=
= mv .
dt
dx dt
dx

(4.14)

El trabajo es la integral de la fuerza respecto al desplazamiento:


Z

Wclasico =

Fdx = m

1
vdv = mv2 +C = K(v),
2

(4.15)

con C una constante de integracion. Si el cuerpo se encuentra en reposo, entonces no


habra desplazamianto, por lo que el trabajo es nulo para v = 0. Aplicando e sta condicion
en (4.15), obtenemos que C = 0. As surge la tradicional definicion de la energa cinetica
en mecanica clasica:
Par
ametro

Tipo de Energa

Cinetica

Potencial

Interna

Origen Fsico
Debido al movimiento del centro de masa.
Depende de la rapidez
Debido a interacciones externas
Depende de la posicion
Debido a movimientos e interacciones internas
Depende de la estructura interna

Tabla 4.1: Estados de un cuerpo en terminos de energas


CAPITULO 4. DINAMICA
RELATIVISTA

48

1
K = mv2 .
(4.16)
2
Si lo comparamos con la definicion de la ecuacion (4.13), se obtiene que la energa total
de un cuerpo es:
1
Eclasico = mv2 + E0 .
(4.17)
2
Por otro lado, la energa en reposo contiene dos contribuciones: la energa potencial
U y la energa interna Q. Estas energas no contribuyen bajo las siguientes circunstancias:
1. La energa potencial se puede calibrar en cero si no hay interacciones externas.
Esto es, si el cuerpo es libre, entonces se puede hacer U = 0.
2. Clasicamente la energa interna depende de la estructura interna del cuerpo. Pero si
el cuerpo es una partcula puntual, que por definicion carece de estructura interna,
no existiran estados internos para describir, por lo que la podemos calibrar en cero.
As, en mecanica clasica Q = 0 para partculas puntuales
As, obtenemos la siguiente propiedad fundamental de la mecanica clasica: La energa
total de una partcula puntual libre es puramente cinetica, mientras que su energa en reposo es nula.

4.2.2.

Energa cinetica relativista

Para obtener el equivalente relativista de la energa, definamos la fuerza relativista


como la variacion del momento lineal relativista. Usando la definicion (4.11) y la regla
de la cadena, se tiene:
Frelativista =

d p d p dx
dv
=
= m0 v
.
dt
dx dt
dx

(4.18)

As, el trabajo relativista sera:


Z

Wrelativista =

Frelativista dx = m0

vd(v) = m0 c2

d( ),

(4.19)

donde se introdujo el factor = v/c en la u ltima igualdad. Para separar el diferencial de


integracion, se evalua:
d( )
d

d
d

1
2
p
+
1 2 (1 2 )3/2

12
(4.20)

4.2. LA ENERGIA RELATIVISTA

49

de donde se obtiene el diferencial:


2
1
d +
d .
d( ) = p
12
(1 2 )3/2

(4.21)

Reemplazando el diferencial anterior en la integral (4.19), se obtiene:

Wrelativista = m0 c

"Z

p
d +
12

(1 2 )3/2

#
d .

(4.22)

Al realizar las integraciones [por partes], se encuentra al final que:


"
2

Wrelativista = m0 c

p
+C ,
12

(4.23)

donde C es una constante remanente de integracion. Si usamos, como en el caso clasico,


la condicion de que el trabajo es nulo cuando la partcula se encuentra en reposo ( = 0),
se obtiene que C = 1. As, definiendo la energa cinetica relativista como el trabajo
relativista (teorema de trabajo-energa relativista), se obtiene:
m 0 c2
K=p
m0 c2 = m0 c2 m0 c2 = m(v)c2 m0 c2 ,
2
1

(4.24)

en donde se aplico la definicion de masa relativista de acuerdo a la ecuacion (4.10). De


nuevo, comparando el resultado (4.24) con la definicion general de la ecuacion (4.13),
se obtiene para las energas total y en reposo que:
E E0 = m(v)c2 m0 c2 .

(4.25)

El primer termino despues de la igualdad lo podemos interpretar como la energa medida


por un observador donde la partcula tiene movimiento (depende de la masa relativista
m(v)), mientras que el segundo termino es la energa medida por el observador donde la
partcula esta en reposo (depende de m0 ), que es justamente la energa en reposo. As, se
deduce de forma natural que la energa total y la energa en reposo de un cuerpo estan
dadas por:

Energa total:
Energa en reposo:

E = m(v)c2 = m0 c2 ,
E0 = m0 c2 .

(4.26)

En particular, a diferencia de la mecanica clasica que no da una expresion especfica


para la energa en reposo, en la relatividad especial se predice que sin importar cual sea el
origen de la energa en reposo, e stas siempre tienen que sumar la cantidad E0 = m0 c2 , que


CAPITULO 4. DINAMICA
RELATIVISTA

50

es la celebre relacion de equivalencia de masa y energa. La esencia de dicha relacion


se manifiesta explcitamente en el caso de partculas puntuales libres. Mientras que en la
mecanica clasica se predice que las partculas puntuales aisladas tienen energa en reposo
nula, en mecanica relativista aun tendran contribucion debido a su propiedad de masa en
reposo, es decir, aunque la partcula sea libre, no tenga estructura interna y se encuentre
en reposo, aun existe una energa remanente en forma de masa en reposo: la masa en
reposo es una forma de energa de un cuerpo, y como tal, puede transformarse en otros
tipos de energas como cinetica, calorfica, electrica, etc. Si el cuerpo tiene estructura
interna, la masa en reposo puede tener contribuciones adicionales debido a energas de
interaccion entre los constituyentes internos del cuerpo, o a movimientos termicos de
los mismos. As, por ejemplo, un cuerpo caliente va a tener mas masa en reposo que
el mismo cuerpo en estado fro. Adicionalmente, como la velocidad de la luz es una
constante universal, la expresion E = m(v)c2 implica que la conservacion de la masa
relativista es equivalente a la conservacion de la energa total.
Por otro lado, aunque la relatividad predice una ecuacion para la energa en reposo
en funcion de la masa en reposo, no da explicacion del origen de dicha masa, por lo
que su naturaleza es un tema de investigacion actual en la fsica, la cual se discute en la
siguiente seccion.

4.3.

La masa en reposo

Uno de los problemas fundamentales de la fsica moderna es la de entender el origen


y la naturaleza de la masa. En mecanica clasica, la segunda ley de Newton y sus propiedades relativistas [Galileanas] permiten definir de forma u nica y matematica la masa
inercial de un cuerpo. Pero en el contexto de la relatividad especial, el concepto de masa
ya no se puede asociar exclusivamente a una propiedad intrnseca de la materia. Primero,
la medida de masa depende del movimiento relativo del observador, en cuyo caso hablamos de la masa relativista del cuerpo. Segundo, algo que se acerca mas a una propiedad
intrnseca del cuerpo es su masa en reposo. Sin embargo, si el cuerpo se encuentra en un
potencial externo, o contiene grados de libertad internos, no es posible separar que parte de su masa en reposo corresponde a energas internas o externas extras, o que parte
corresponde a energa autenticamente intrnseca independiente de las interacciones y
movimientos internos. As, no es posible hablar de una u nica masa asociado a un cuerpo,
sino que va a depender de las condiciones dinamicas y cinematicas del cuerpo. Por otro
lado, aunque se garantice que la partcula sea puntual y este libre de interacciones externas, aun existen inconvenientes teoricos para explicar la fuente de su masa en reposo.
Aunque la relatividad especial no pretende resolver el problema de la naturaleza de la
masa, es importante mencionar cual es el estado actual de las investigaciones sobre el
tema. Para no hacer una discusion en abstracto, nos vamos a contextualizar en dos casos
especficos en relacion a los dos problemas discutidos anteriormente.

4.3. LA MASA EN REPOSO

51

Partcula

Masa de corriente (MeV/c2 )

Masa constituyente (MeV/c2 )

quark u
quark d
proton

2.3
4.8
940

330
330
940

Tabla 4.2: Masas de los quarks y del proton en unidades de megaelectronvoltios

Existen evidencias experimentales solidas de que los constituyentes de los nucleos


atomicos, esto es, los protones y neutrones, estan as mismos constituidos por partculas
mas pequenas, conocidas como quarks. Hasta donde sabemos, los quarks son partculas verdaderamente puntuales, es decir, no tienen estructura interna, por lo que su masa
en reposo no tendra contribucion debido a grados de libertad extras. Sin embargo, los
fuerza
quarks no son totalmente libres: entre ellos existe interaccion nuclear fuerte. Esta
describe propiedades diferentes a otras como la gravitacional. Por ejemplo, la Figura 4.3
muestra de forma cualitativa la dependencia de las fuerzas entre dos cuerpos en relacion
a su distancia. La diferencia primordial esta en que mientras la gravedad disminuye su
fuerza a medida que alejamos los cuerpos, la fuerza fuerte exhibe una region donde la
fuerza en vez de disminuir, aumenta. As, en el caso de los quarks, mientras ellos se
mantengan muy cercanos, la interaccion fuerte es despreciable y por lo tanto la masa
en reposo es de partcula puntual libre2, 3 . Bajo tales circunstancias es que se define la
masa de corrientes de los quarks. En la segunda columna de la Tabla 4.2 se muestra las
masas de corrientes de los quarks que componen a un proton (notados u y d que son
abreviaturas de las palabras en ingles up y down) y la masa del proton mismo, donde se
usan las unidades de energa Megaelectronvoltios, que se explican en el Apendice C. Se
sabe que el proton esta constituido por dos quarks tipo u y uno tipo d. Sin embargo, si
hacemos la suma directa, vemos que:

Fuerza Gravitacional

La masa de los quarks

0
Distancia

Fuerza Fuerte

4.3.1.

0
Distancia

Figura 4.3
2mu + md = 9.4 MeV,

(4.27)

mientras que la masa de un proton es m p 940 MeV. As, las masas de corrientes de los
quarks no estan dando cuenta de la masa total del proton. La razon, al menos en parte,
esta en la equivalencia masa y energa de la relatividad especial: existe masa extra debido
a la energa de interaccion entre los quarks, que se ha despreciado en la aproximacion
anterior. As, debido a que los quarks estan sumergidos en una energa potencial fuerte,
2 Esta

propiedad fue descrita en forma precisa usando herramientas de la teora cuantica de campos
en 1973, y se conoce como libertad asintotica, lo que le merecio el Premio Nobel a David Gross, David
Politzer y Frank Wilczek en 2004.
3 Ademas de la fuerza fuerte, los quarks tambien interact
uan electricamente, por lo que no son totalmente
libres. Son libres de la interaccion fuerte.

52

CAPITULO 4. DINAMICA
RELATIVISTA

surge una contribucion adicional a la masa en reposo del proton. Por lo tanto, a los quarks
se le pueden definir otra masa en reposo que tiene en cuenta la energa de interaccion
al interior del proton, conocida como la masa constituyente, cuyos valores se muestran
en la tercera columna de la Tabla 4.2. Vemos que de forma aproximada, se reproduce la
masa del proton como la suma de las masas constituyentes de los quarks. A pesar de los
avances en el entendimiento de la masa de los quarks, aun existen controversias debido
a que al interior del proton existen otras interacciones (electromagneticas y debiles) y a
las evidencias de otras estructuras en el proton ademas de los tres quarks.

4.3.2.

Figura 4.4

El mecanismo de Brout-Englert-Higgs

Los electrones son partculas puntuales que a diferencia de los quarks, pueden estar
en estado verdaderamente libre. Aun as, los electrones exhiben energa en reposo debido a su masa intrnseca en reposo. Uno de los misterios mas fundamentales de la fsica
es la de explicar de donde sale esa energa, si aparentemente no hay interacciones que la
provean. Una posible respuesta surgio en el contexto de la otra interaccion que se da al
interior de los nucleos atomicos: la interaccion nuclear debil. Adicional a la invariancia de las leyes fsicas entre observadores inerciales, se ha comprobado que existen otro
tipo de invariancias: las leyes de la fsica son [aproximadamente] las mismas frente a
cambios de propiedades internas de los sistemas fsicos. Por ejemplo, si intercambiamos
los signos de todas las cargas electricas del Universo, de positivas a negativas y vicever
sa, no habra ningun efecto observable; nuestro Universo seguira siendo el mismo. Esta
invariancia se mantiene incluso aunque el cambio se haga en regiones localizadas. Al generalizar dicha propiedad a la interaccion nuclear debil, surgen inconvenientes teoricos
debido a la masa en reposo de las partculas. Los fsicos evitaron el problema ignorando
la masa, como si las partculas fueran no masivas, y plantearon teoras que describan
con precision las interacciones debiles. Sin embargo, quedaba la cuestion de la masa.
En 1964, Robert Brout, Francois Englert y Peter Higgs implementaron un mecanismo
conocido como el mecanismo BEH o simplemente mecanismo de Higgs, en el cual las
partculas no estan totalmente libres, sino que interactuan a traves de una nueva fuerza suministrada por un campo de interaccion, conocido como campo escalar. El campo
escalar al vibrar [en el sentido cuantico], le puede suministrar energa en reposo a las
partculas. La Figura 4.4 describe la forma de la energa potencial del campo escalar
en funcion de su amplitud de vibracion. Por mucho tiempo, ese mecanismo no fue mas
que una hipotesis teorica debido a la falta de evidencias experimentales de la existencia
del campo escalar. Sin embargo, el mecanismo adicionalmente predice que si el campo
se hace vibrar lo suficiente, por la relatividad especial, esa energa de vibracion puede
transformarse y materializar en una partcula muy masiva conocida como el boson de
Higgs. Pero surgen los siguientes inconvenientes practicos: primero, la energa necesaria
debe ser enorme; segundo, aunque se logre tal energa, muy pocos bosones de Higgs se
materializan; finalmente, la energa en forma de un boson de Higgs es muy inestable,
por lo que en muy poco tiempo (del orden de 1 1022 s) la energa se transforma en

ENERGIA Y MOMENTO
4.4. LA RELACION

53

forma de energa en reposo de otras partculas y energa cinetica. Por lo tanto resulta
extremadamente difcil detectar la presencia del Boson de Higgs. No fue sino hasta el
ano 2012 en que los experimentos llevados a cabo en el Gran Colisionador Hadronico
(LHC por sus siglas en ingles), lograron suministrar la energa necesaria para producir
un numero de bosones de Higgs suficientes para ser detectados, descubrimiento que le
dio el premio Nobel a Englert y a Higgs en el ano 2013. Aunque el mecanismo de Higgs
da una explicacion natural a la existencia de la masa en reposo, aun hay detalles teoricos y medidas experimentales que se mantiene sin una respuesta satisfactoria, lo que es
motivo de una intensa investigacion.

Problema 11: Un boson de Higgs con energa en reposo E0 = 126 GeV, decae del
reposo en dos quarks tipo b (bottom), que tienen energa en reposo de 4 GeV cada
uno. Calcular la energa cinetica de los quarks usando conservacion de la energa.

4.4.

La relacion energa y momento

Existe una relacion muy u til entre el momento y la energa relativista, que nos permitira complementar las ecuaciones de conservacion del momento lineal y de la energa
para la resolucion de problemas de colision. De acuerdo a lo obtenido en las secciones
anteriores, las variables dinamicas fundamentales son:

Momento relativista:

p = m0 v,

Energa relativista:

E = m0 c

(A)
(B),

(4.28)

donde el factor contiene la velocidad relativa entre el observador en reposo del cuerpo
y el observador que mide el cuerpo moviendose a velocidad v. As, explicitamente la
ecuacion (A) de (4.28) es:
m0 v
p= p
.
1 v2 /c2

(4.29)

Calculandole el modulo al cuadrado a la expresion anterior, se obtiene:

|p|2 = p2 =

m20 v2
.
1 v2 /c2

Despejando para la magnitud de la velocidad, se obtiene:

(4.30)


CAPITULO 4. DINAMICA
RELATIVISTA

54

p
v= q
.
m20 + p2 /c2

(4.31)

Por otro lado, si usamos el resultado anterior dentro de la energa relativista (B) de
la ecuacion (4.28), se obtiene:
m0 c2
E=p
1 v2 /c2

m0 c2
q
1 p2 /(m20 c2 + p2 )
q
= c m20 c2 + p2 .
=

(4.32)

As, la energa relativista y el momento lineal relativista se relacionan de acuerdo a:


q
(4.33)
E = c p2 + m20 c2 .
En mecanica clasica, sabemos que si la masa de un cuerpo es nulo, entonces su
momento lineal sera nulo sin importar su energa. Sin embargo, de acuerdo a la relacion
(4.33), si el cuerpo tiene masa en reposo nulo, aun puede existir un momento lineal en
virtud de su energa. En la naturaleza existen objetos que no interactuan con el campo
escalar de Higgs, por lo que no tienen masa en reposo. El mas comun es justamente
los cuantos de luz, esto es, los fotones. Aunque la relatividad sigue tratando a la luz
como ondas de vibracion en el sentido de la electrodinamica clasica, es importante para
algunos procesos relativistas considerar su naturaleza cuantica.

4.4.1.

El foton

Los fotones son paquetes de energa de campos electromagneticos, que exhiben un


comportamiento de partcula con masa en reposo nula. De acuerdo a la relacion de energia y momento de la ecuacion (4.33), un foton cumple con la siguiente relacion:
E = cp,

(4.34)

donde c es la velocidad de propagacion del foton, que obviamente es la de la luz. Por


otro lado, la mecanica cuantica postula (contribucion de Einstein independiente de la relatividad) que la energa contenida en un solo foton depende de su frecuencia de acuerdo
a la siguiente relacion:
E = hf,

(4.35)

donde h es, junto a la velocidad c, otra de las constantes fundamentales de la naturaleza,


conocida como la constante de Planck, y cuyo valor en unidades internacionales y en
electronvoltios es:

ENERGIA Y MOMENTO
4.4. LA RELACION

55

h = 6.63 1034 J s = 4.14 1021 MeV s.

(4.36)

A las ecuaciones (4.34) y (4.35) las vamos a llamar las ecuaciones del foton.

4.4.2.

Decaimiento de partculas

Una de las consecuencias de la relacion de equivalencia de masa y energa, es la


posibilidad de que la masa en reposo de una partcula se convierta en otras formas de
energas, como por ejemplo otras partculas mas livianas y energa cinetica. Un ejemplo
de tales proceso es el decaimiento de un pion neutro, que es una partcula compueta por
dos quarks. Una de las posibilidades de transformacion de la masa del pion es produccion de energa electromagnetica en forma de dos fotones. Consideremos la siguiente
situacion:
M

Ei , pi

Un pion neutro con masa en reposo de 135 MeV/c2 viaja con una energa
de 426 MeV. Despues de un tiempo, el pion decae en dos fotones que se
dispersan en direcciones opuestas y con la misma orientacion de propagacion del pion original. Calcular las frecuencias de cada foton
La Figura 4.5 ilustra el proceso antes y despues del decaimiento, con sus respectivas
energas y momentos. Teniendo en cuenta las leyes de conservacion, la relacion entre
energa y momento, y las ecuaciones del foton, se plantean las siguientes ecuaciones:

E2 , -p2
E1 , p1

Figura 4.5
conservacion de energa:
conservacion de momento:
relacion de energa-momento pion:

Ei = E1 + E2

(A)

pi = p1 p2
(B)
q
Ei = c p2i + M2 c2 (C)

ecuacion de momento de fotones:

p1 = E1 /c,

p2 = E2 /c (D)

ecuacion de frecuencia de fotones:

f1 = E1 /h,

f2 = E2 /h (E)

(4.37)

Sin importar el metodo que se use para combinar las ecuaciones anteriores y resolver
la pregunta, siempre es importante identificar las variables conocidas y las que se pueden
calcular directamente. En este caso, se conocen la masa en reposo del pion M , y su
energa total Ei , mientras que su momento se puede calcular directamente de la ecuacion
(C), obteniendo:
s
pi =

Ei2
M2 c2 = 404 MeV/c.
c2

(4.38)

De esta manera, se pueden combinar las 2 ecuaciones (A) y (B), y las 2 de (D) para
resolver las 4 incognitas E1 , E2 , p1 y p2 . En particular, para las energas, se obtiene:


CAPITULO 4. DINAMICA
RELATIVISTA

56

E1 =
E2 =

1
(Ei + cpi ) = 415 MeV,
2
1
(Ei cpi ) = 11 MeV,
2

(4.39)

correspondientes a las energas de cada foton. Finalmente, reemplazando lo anterior en


las ecuaciones (E), se obtienen las frecuencias buscadas (donde se usa el valor de la
constante de Planck en unidades MeV, dada en la ecuacion (4.36) ):
f1 = E1 /h = 1 1023 s1 ,
f1 = E2 /h = 2.6 1021 s1 .

4.4.3.

(4.40)

Fision Nuclear

Otra consecuencia importante de la energa relativista es el proceso de fision nuclear,


que se da en los nucleos atomicos. A este nivel, conviene expresar la masa de los nucleos
en unidades de masa atomica u.m.a, la cual se define como 1/12 veces la masa de un
nucleo de Carbono 12:
1 u.m.a = 1.685 1027 kg.

(4.41)

Como los nucleos son cuerpos con estructura interna, parte de su masa en reposo proviene de la energa potencial nuclear que mantiene unido a sus componentes (protones
y neutrones). Esa porcion de energa en reposo puede ser transformada en otros nucleos
mas livianos y energa cinetica liberada que puede ser aprovechada en la generacion de
energas alternas como la electrica. Una forma de lograr liberar la energa acumulado en
la masa en reposo, es haciendo chocar neutrones con nucleos de Uranio. Para ilustrar el
tipo de reacciones que se dan, consideremos la siguiente situacion:
Un neutron y un nucleo de Uranio 235 sufre la siguiente reaccion:
n +235
42 U

92
140
38 Sr + 54 Xe + 4n,

(4.42)

donde las masas en reposo de cada uno de los nucleos participantes son:

Estroncio:

m(Sr) = mS = 91.937 u.m.a,

Xenon:

m(Xe) = mX = 139.947 u.m.a,

Uranio:

m(U) = mU = 235.175 u.m.a,

Neutron:

m(n) = mn = 1.009 u.m.a.

(4.43)

ENERGIA Y MOMENTO
4.4. LA RELACION

57

Calcular a.) la energa liberada en la reaccion y b.) la cantidad de Uranio


necesario para generar la energa electrica producida en Colombia en
el ano 2012 de aproximadamente 5.7 1013 kilovatios-hora, asumiendo
una eficiencia del 50 %.
Para resolver el caso a.), el procedimiento metodologico es igual que en el caso de
decaimiento de partculas, con la diferencia de que ahora tenemos dos cuerpos en el
estado inicial, por lo que las energas iniciales y finales son:

Ei = En + EU ,
E f = ES + EX + 4En ,

(4.44)

donde los subndices se asignan a cada nucleo. En e ste caso nos piden la energa cinetica
entre los estados finales e iniciales, por lo que requeriremos usar la definicion general
(4.13) con las formas relativistas de la ecuacion (4.26). Es importante distinguir que corresponde a energa total y que a energa en reposo. Las energas en (4.44), que son las
que se conservan, corresponden a la energa total (las energas en reposo no se conservan), mientras que las masas dadas por (4.43) determinan las energas en reposo. Con
esto, sera suficiente usar solamente el principio de conservacion de la energa, por lo que
el conjunto de ecuaciones es:

E0 (n) = mn c2 , E0 (U) = mU c2 , E0 (S) = mS c2 , E0 (X) = mX c2 ,


Kn = En E0 (n), KU = EU E0 (U), KS = ES E0 (S), KX = EX E0 (X).
Ei = E f .

(4.45)

Nuestras variables conocidas son todas las masas en reposo, por lo que sus energas
en reposo se pueden calcular directamente con la primera lnea de ecuaciones en (4.45).
No conocemos las energas totales iniciales ni finales, pero eso no interesa ya que debemos calcular la diferencia de energas cineticas, por lo que al realizar la resta y en virtud
de la conservacion de la energa, las totales se van a cancelar. As, la u nica contribucion
al cambio de energa cinetica proviene del cambio de las energas en reposo. Usando la
segunda lnea de ecuaciones en (4.45) se obtiene:

K = K f Ki = Kn + KU KS KX 4Kn
= (mU mS mX 3mn ) c2 .

(4.46)

Reemplazando los valores numericos de (4.43), se obtiene que K = (0.264 u.m.a.)c2 .


Para convertirlo en Joules, se hace uso de la definicion (4.41) y se usa la velocidad de la
luz a 3 cifras significativas, que es 2.998 108 m/s, por lo que:


CAPITULO 4. DINAMICA
RELATIVISTA

58

1.685 1027 kg 2
c
1 u.m.a
= 3.998 1011 J,

K = (0.264 u.m.a.)c2 = (0.264 u.m.a.)

(4.47)

que corresponde a la energa liberada para una u nica reaccion. Si el proceso se multiplica
por muchas reacciones identicas, la energa liberada aumentara en el mismo factor. Para
el punto b.), se pide calcular cuantas reacciones son necesarias para producir una cantidad dada de energa liberada pero suponiendo que solamente el 50 % de esa energa se
convierte efectivamente en energa electrica. As, definimos la eficiencia como la razon
entre la energa electrica convertida y la energa total liberada por un numero N de reacciones:
=

Eelect
.
NK

(4.48)

En el problema planteado, se tiene que = 0.5, Eelect = 5.7 1013 kilovatios-hora y


K = 3.998 1011 J. As, el problema numerico se reduce a realizar la conversion
de kilovatios-hora a Joules y calcular el numero de reacciones necesarias, N. Para la
conversion de unidades, recordemos que el vatio es la unidad de la razon de energa
transferida por unidad de tiempo, por lo que:
kiloJoules 3600 s
s
1h
= 2.052 1020 J.

Eelect = 5.7 1013 kilovatios-hora = 5.7 1013

(4.49)

Reemplazando los valores, se obtiene que el numero de reacciones necesarias para obtener la energa electrica de consumo en un ano en Colombia a un 50 % de eficiencia es
N = 1.026 1031 , que requerira el mismo numero de nucleos de Uranio, cada uno de
masa 235.175 u.m.a, lo que correspondera a una masa total de:

MU = NmU


= 235.175 u.m.a 1.026 1031



1.685 1027 kg
= 235.175
1.026 1031
1 u.m.a
= 4066 106 kg,

que corresponde a cerca de 4000 toneladas de Uranio.

(4.50)

Parte II
Fundamentos Geometricos

59

CAPITULO

Estructura Espacio Tiempo

En 1907, el fsico Hermann Minkowski introdujo el concepto de espacio-tiempo


en el lenguaje de la relatividad especial como una alternativa de entender los efectos
cinematicos de los postulados. Dicha formulacion permitio el desarrollo de dos ideas
fundamentales de la fsica actual. Primero, aunque la formulacion fue originalmente
propuesta para observadores inerciales (relatividad especial), permitio la extension natural a observadores acelerados (relatividad general). Segundo, el tratamiento geometrico
revelo indirectamente la importancia de los principios de invariancia en fsica, los cuales fueron fundamentales para la construccion de las teoras que describen las demas
interacciones: la electromagnetica, la fuerte y la debil. En e ste captulo se introducen los
conceptos basicos del tratamiento geometrico de la relatividad.

5.1.

La geometra Euclidiana del espacio

El concepto mas basico que define la geometra de un espacio vectorial es la de distancia entre puntos. En particular, definimos la distancia Euclidiana entre dos puntos
medido en un espacio vectorial de n dimensiones respecto a un sistema de ejes coordenados como:

d=

q
x12 + x22 + ... + xn2 ,

(5.1)

donde cada variable xi representa la proyeccion de la distancia sobre cada uno de los
ejes coordenados. La geometra del espacio viene determinada por el siguiente principio
de invariancia:
61

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

62

Un espacio de n dimensiones es de naturaleza


Euclidiana si la distancia Euclidiana es la misma
entre sistemas coordenados rotados

y

y2

d



x2

Figura 5.1

Las posiciones espaciales de los objetos se pueden describir de forma completa en


un espacio vectorial de 3 dimensiones, pero por simplicidad, nos limitamos a un subespacio de 2 dimensiones sobre el plano cartesiano (x, y). Para contextualizar la discusion,
consideremos el caso de una partcula que parte de la posicion (x, y) = (0, 0) (evento
1) y se desplaza en lnea recta hasta la posicion (x, y) = (x2 , y2 ) (evento 2) medido desx
de un sistema coordenado con su eje x horizontal, como se muestra en la Figura 5.1.
La distancia [Euclidiana] recorrida por la partcula se define en ese sistema coordenado
como:
d=

y

y2

x2

Figura 5.2

(5.2)

Por otro lado, la Figura 5.2 representa la misma situacion superponiendo al anterior un sistema de ejes coordenados rotado en un a ngulo y sus correspondientes proyecciones, en donde el evento 1 tiene posicion (x0 , y0 ) = (0, 0) y el 2 tiene posicion
(x0 , y0 ) = (x20 , y02 ). La distancia Euclidiana medida en este sistema coordenado sera:
q
d = x202 + y02
2.

x2

y2

q
x22 + y22 .

(5.3)

q
Si nuestro espacio es de naturaleza Euclidiana, entonces se debe cumplir que x22 + y22 =
q
x202 + y02
angulos
2 . Para demostrar que es as, extraigamos de la Figura 5.2 los dos tri
cuya hipotenusa es la misma, la cual ilustramos en la Figura 5.3. Por simple geometra
[Euclidiana], se obtienen las siguiente proyecciones:

y2

Sistema no rotado:

x2

Sistema rotado:

y

2

d

-

x

2

Figura 5.3

x2 = d cos ,

y2 = d sin ,

x20

y02 = d sin ( ).

= d cos ( ),

(5.4)

En particular, usando identidades trigonometricas basicas, las coordenadas en el sistema


rotado se pueden escribir como:

x20 = d cos cos + d sin sin ,


y02 = d sin cos d cos sin .

(5.5)

Al comparar las coordenadas de la ecuacion (5.5) con las coordenadas del sistema
no rotado en (5.4), obtenemos las siguientes ecuaciones de rotacion:

5.2. ESTRUCTURAS DE ESPACIO-TIEMPO

63

x20 = x2 cos + y2 sin ,


y02 = x2 sin + y2 cos .

(5.6)

Reemplazando estas ecuaciones en la distancia de la ecuacion (5.3), se obtiene:


q
q
x202 + y02
=
(x2 cos + y2 sin )2 + (x2 sin + y2 cos )2
2
q


=
x22 cos2 + sin2 + y22 sin2 + cos2
q
=
x22 + y22 ,

(5.7)

es decir, la distancia definida como (5.2) queda invariante frente a la rotacion del sistema
coordenado, por lo que el espacio de posiciones en nuestro Universo es de naturaleza
Euclidiana.
La principal conclusion extraida de las ecuaciones (5.6), es que bajo rotaciones, las
coordenadas (x, y) varan pero no de forma independiente ni separada una de otra, sino
conjuntamente una dependiendo de la otra con un solo fn: que la distancia Euclidiana
se mantenga invariante. Decimos entonces que la coordenada x tiene la misma naturaleza que y, y esa naturaleza es Euclidiana. Lo mismo se puede decir de la coordenada z en
la extension a 3 dimensiones. Pero que sucede si adicionamos el tiempo?

5.2.

Estructuras de espacio-tiempo

En general, un diagrama de espacio-tiempo se define como el conjunto de eventos


trazado sobre una grafica de tiempo en funcion de las coordenadas espaciales. La Figura
5.4 ilustra un ejemplo de diagrama espacio-temporal en una dimension espacial. As, en
el contexto de los diagramas, introducimos las siguientes definiciones:
1. Evento: Es un punto en un diagrama de espacio-tiempo.
2. Lnea de Universo: Es la lnea que une dos eventos en un diagrama de espaciotiempo.
3. Espacio-tiempo tipo (n + m): Espacio vectorial con n coordenadas espaciales y m
temporales.
4. Intervalo de espacio-tiempo: Tambien conocido como la distancia de espaciotiempo, es la longitud de la lnea de Universo que une dos eventos.
Observamos que la distancia de espacio-tiempo es la generalizacion de la distancia entre
dos puntos en el espacio. Es importante aclarar que una lnea de Universo no es lo mismo

t

t2

t1

x1

Figura 5.4

x2

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

64

Rotaci
on Espacial

Transformaci
on inercial

= (cos )x + (sin )y
0
y = (sin )x + (cos )y

x0 = Ax + Bt
t 0 = Dx + Et

x0

Tabla 5.1: Comparacion entre rotaciones espaciales y transformacion general entre observadores inerciales en movimiento relativo

que una trayectoria, la cual se define como una sucesion de posiciones espaciales. As,
la curva de la Figura 5.4 representa una sucesion de eventos que se adelantan mas o
menos rapido en el tiempo, pero la trayectoria es siempre una lnea recta sobre el eje x.
En el caso de un espacio-tiempo tipo (2 + 1), las lneas de Universo se extienden sobre
una superficie tridimensional curva, mientras que sus trayectorias son lneas en un plano
de dos dimensiones. En (3 + 1), la lneas se extienden sobre hipersuperficies de cuatro
y

y

dimensiones, y sus trayectorias son curvas en las 3 dimensiones espaciales. Aunque los


u



espacios vectoriales con dimensionalidad mayor o igual a (3 + 1) no se puedan graficar,
s se pueden describir de forma algebraica.
x

Por otro lado, la transformacion de coordenadas entre observadores inerciales se
x

puede ver alternativamente como rotaciones de ejes en un diagrama de espacio-tiempo,
analogo (aunque no identico) a las rotaciones del espacio, lo que nos permitira hacer una
Figura 5.5
descripcion geometrica de la cinematica relativista. Para ver eso, retomemos la forma
general de una transformacion dada por las ecuaciones (2.8) del Captulo 2 y las ecuaciones de rotacion espacial dadas en (5.6), reunidas en la Tabla 5.1. Al comparar ambos
casos, vemos una analoga donde en vez de las coordenadas (x, y), se tienen los ejes
(x,t), mientras que los cosenos y senos son reemplazados por los coeficientes genericos
A, B, D y E. Hay que aclarar que esta analoga no es exacta debido a que mientras las
funciones senos y cosenos toman valores cerrados entre 1 y 1, los coeficientes pueden
it

it

tomar valores hasta infinito. Dichos coeficientes pueden ser descritos por medio de las
i
2

x
funciones hiperbolicas, las cuales permiten una interpretacion geometrica analoga a una
rotacion, pero en un plano complejo con a ngulos imaginarios (esto se detallara en las
i
1

secciones siguientes). As, la transformacion de las coordenadas entre observadores en
x
movimiento relativo mostrado en la Figura 5.5, se puede representar equivalentemente
como una rotacion de los ejes espacio-temporales, donde cada eje rota en un a ngulo imaFigura 5.6
ginario como se muestra en la grafica de la Figura 5.6, y donde el eje temporal se toma
como el eje imaginario1 . La naturaleza del espacio-tiempo viene entonces determinada por el comportamiento del intervalo de espacio-tiempo entre eventos bajo rotaciones
de los ejes espacio-temporales. A continuacion, discutiremos las estructuras de espaciotiempo en el contexto de las transformaciones de Galileo y de Lorentz.
1 El

tiempo imaginario i t = it simplemente es una descripcion matematica. Lo que tiene significado


fsico es el coeficiente t que acompana a la unidad imaginaria. Vamos a seguir hablando de diagramas de
espacio-tiempo independiente de que la descripcion sea real o compleja (el contenido fsico no cambia).

5.2. ESTRUCTURAS DE ESPACIO-TIEMPO

5.2.1.

65

Espacio-tiempo clasico

Las transformaciones de Galileo para una dimension espacial son:

it

x0 = x ut,
0

t = t,

(5.8)

que se pueden ver como una rotacion en un plano espacio-tiempo complejo, donde u nicamente el eje x rota. Consideremos el caso de un observador inercial que mide una
partcula moviendose sobre el eje x a velocidad constante v desde su origen. La lnea de
Universo de la partcula en su diagrama de espacio-tiempo es entonces una lnea recta,
como se muestra en la Figura 5.7, donde s indica la distancia de espacio-tiempo y (it2 , x2 )
indican un tiempo [imaginario] y una posicion final de la partcula. Si otro observador 0
en movimiento relativo describe la cinematica de la misma partcula, obtendra una lnea
de Universo con una pendiente (velocidad) diferente al anterior. La superposicion del
diagrama de espacio-tiempo del observador en movimiento 0 respecto al de se puede
representar como una rotacion, donde el eje x0 forma un a ngulo imaginario i , tal que
(ver problema 13):
sin i iu,

cos i 1,

(5.9)

mientras que los ejes temporales coinciden, de acuerdo a las transformaciones de las
ecuaciones (5.8). La Figura 5.8 representa las proyecciones2 de las distancias en el sistema rotado y no rotado simultaneamente. Se evidencia en la figura que si el eje temporal
no rota y el tiempo es el mismo, entonces el intervalo de espacio-tiempo s0 medido
por el observador 0 no coincide con el medido por , es decir, bajo transformaciones
de Galileo no es posible definir un espacio-tiempo que deje invariante la distancia [de
espacio-tiempo] entre eventos. As, en mecanica clasica el tiempo se describe como un
parametro independiente y separado del espacio en el sentido de que no existe un principio geometrico de invariancia que relacione el tiempo y el espacio bajo rotaciones
espacio-temporales. En este sentido es que decimos que el tiempo tiene una naturaleza
diferente a la del espacio en mecanica clasica.
La importancia de los diagramas de espacio-tiempo en mecanica clasica radica en
que son una herramienta u til para la descripcion del movimiento de los cuerpos, pero no
contienen ningun principio fundamental de la fsica.

2 Graficamente,

las proyecciones se trazan como lneas paralelas a cada eje.

it2

s

i
2

x2

Figura 5.7

it

it2

s

s

x2

Figura 5.8

66

5.2.2.

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

Espacio-tiempo de Poincare

Escribamos las transformaciones de Lorentz simples dadas por la ecuacion (2.21)


como:
u
x0 = x ct,
c
u
0
ct = x + ct,
c

(5.10)

donde los tiempos, por conveniencia, se multiplicaron por la velocidad de la luz, la cual
es una constante universal independiente del movimiento del observador. A diferencia de
las transformaciones de Galileo, vemos que la analoga con las rotaciones espaciales es
mas cercana en el sentido de que tanto el tiempo como la coordenada espacial cambian.
As, considerando la representacion compleja, definimos los a ngulos de rotacion tal que:

cos i = ,
u
sin i = i = i ,
c

(5.11)

por lo que las TLS expresadas en la forma de la ecuacion (5.10) se pueden escribir de
forma equivalente en un plano complejo como:
x0 = x cos i + ict sin i ,
ict 0 = x sin i + ict cos i .

(5.12)

El significado fsico de los a ngulos imaginarios se aclara en la Seccion 6.4. Por


el momento simplemente lo asimilamos como una rotacion de los ejes. Por otro lado,
como el eje temporal se reparametrizo en terminos de un producto con una velocidad
[de la luz], se asimila como una coordenada con unidades de longitud, semejante a una
coordenada espacial. As, se acostumbra en el caso mas general usar la siguiente notacion
para marcar las coordenadas espacio-temporales de eventos:

(x, y, z, ict) (x1 , x2 , x3 , x4 ),

(5.13)

que genera el espacio-tiempo en el esquema de tiempo imaginario (esquema de Poincare). As, en el caso del plano (1 + 1), las TLS se escriben como:
x10 = x1 cos i + x4 sin i ,
x40 = x1 sin i + x4 cos i ,

(5.14)

5.2. ESTRUCTURAS DE ESPACIO-TIEMPO

67

que son el analogo espacio-temporal de las rotaciones espaciales de la ecuacion (5.6).


As, tomando de nuevo el ejemplo de una partcula que se mueve con velocidad constante, se puede trazar su lnea de Universo en el sistema de ejes de un observador , y
el correspondiente sistema coordenado rotado de un observador 0 en movimiento relativo, como se muestra en la Figura 5.9. Como la coordenada temporal x4 rota, se puede
observar en la figura que es posible definir una distancia de espacio-tiempo, s, que se
mantiene invariante frente a las rotaciones (transformaciones) de Lorentz, donde la distancia se define en la forma Euclidiana como :
q
q
2
2
s = x1 + x4 = x102 + x402 .
(5.15)
As, bajo TLS, es posible definir una estructura de espacio-tiempo donde la coordenada temporal y las espaciales varan conjuntamente una dependiendo de la otra tal que
el intervalo de espacio-tiempo se mantiene invariante. Decimos entonces que el tiempo
adquiere la misma naturaleza que las coordenadas espaciales. En el caso del esquema
complejo usado, esa naturaleza, al igual que la geometra del espacio, es Euclidiana.

Problema 12: Demuestre que de acuerdo a las rotaciones definidas en (5.11), se cumple la identidad:
sin2 i + cos2 i = 1.

(5.16)

Problema 13: Demuestre que haciendo el cambio sin i c1 sin i , las ecuaciones
(5.11) se aproximan a (5.9) en el lmite clasico, mientras que las TLS expresadas en
(5.12) se convierten en las de Galileo en (5.8).

5.2.3.

Espacio-tiempo de Minkowski

En la estructura de espacio-tiempo de Poincare, las TLS junto con las rotaciones


espaciales generan una geometra donde las distancias invariantes toman la forma Euclidiana. Existe otro esquema equivalente, donde el plano y los a ngulos de rotacion son
reales, pero la geometra es seudo-Euclidiana con coordenadas espacio-temporales definidas como:
(x0 , x1 , x2 , x3 ) = (ct, x, y, z),

(5.17)

donde la coordenada temporal es real (esquema de Minkowski). Para distinguirlo del


esquema complejo, el tiempo se marca como la primera coordenada y con el subndice

x4

x4

x1

s

i

Figura 5.9

x1

68

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

0. La relacion entre ambos esquemas se manifiesta al calcular el cuadrado de las coordenadas temporales:
x42 = (ict)2 = (ct)2 = x02 .

x0

(5.18)

As, la distancia de espacio-tiempo definida en el plano complejo de acuerdo a la forma


Euclidiana de (5.15) se convierte en un plano real en la distancia seudo-Euclidiana:
q
x

s = x12 x02 .
(5.19)
1


x1
Las TLS definidas de acuerdo a la forma (5.10), se reescriben en el esquema real como:

Figura 5.10
x10 = (x1 x0 ) ,
x00 = (x0 x1 ) .

Las transformaciones expresadas en la ecuacion (5.20) se pueden interpretar como rotacion de ejes coordenados si encontramos la ecuacion de cada eje, x00 y x10 , sobre un plano
ortogonal formado por los ejes x0 y x1 . Por ejemplo, si en la segunda ecuacion de (5.20)
hacemos x00 = 0, encontraremos el conjunto de eventos en el plano (x0 , x1 ) simultaneos
en el tiempo t 0 = 0. Al despejar, se obtiene :

x

0

x0

(5.20)

x

1


x1

x0 = x1 ,

(5.21)

que representa una lnea recta en el plano (x0 , x1 ) con pendiente


Figura 5.11
tan = ,

(5.22)

como se muestra en la Figura 5.10. El conjunto de eventos ocurridos en el tiempo t 0 = 0


no es mas que la definicion del eje x10 . De forma analoga, si tomamos el conjunto de
eventos que ocurren en la posicion x10 = 0, entonces de la primera ecuacion en (5.20)
obtenemos la solucion:

x0

x

0

x0 = ( )1 x1 ,

x1


x1

Figura 5.12

(5.23)

cuya pendiente es tambien pero respecto al eje vertical, lo que nos define al eje x00 .
La Figura 5.11 muestra la superposicion de ambas rectas. As, la TLS en el esquema
real de Minkowski se pueden interpretar como una rotacion, donde los ejes coordenados
espacio-temporales de observadores en movimiento relativo rotan en direccion opuesta,
mientras que la distancia semi-Euclidiana definida en (5.19) se mantiene invariante frente a dichas rotaciones, como se ilustra en la Figura 5.12. Es importante resaltar de nuevo
que las proyecciones se realizan trazando lneas paralelas a los ejes de acuerdo a cada
observador.

5.3. LA ESTRUCTURA DE CONO DE LUZ

5.3.

69

La estructura de cono de luz

La distancia de espacio-tiempo de la ecuacion (5.19) se definio para el caso particular de que el primer evento suceda en el origen de los ejes espacio-temporales y para
dimensionalidad (1 + 1). En general, si los eventos ocurren con una separacion espacial
x y en un intervalo de tiempo t, el cuadrado del intervalo de espacio-tiempo es:
s2 = |x|2 x02 ,

(5.24)

donde x indica el vector de desplazamiento espacial, cuya magnitud mantiene la forma


Euclidiana
q
|x| = x12 + x22 + x32 ,
(5.25)
razon por la cual al intervalo en (5.24) se le llama seudo-Euclidiana (Euclidiano en el
espacio, pero no Euclidiano en el tiempo). Se evidencia que el intervalo de espaciotiempo puede ser positivo, nulo o negativo segun la relacion entre el desplazamiento y el
intervalo de tiempo. Antes de discutir cada caso, tengamos en cuenta que:

|x| : Distancia espacial entre dos eventos

t
: Diferencia de tiempo entre dos eventos

ct : Distancia recorrida por un rayo de luz

en el intervalo de tiempo de los eventos

(5.26)

Veamos los diferentes casos que genera el signo del intervalo.


i.) Intervalo tipo espacio: Corresponde al intervalo de espacio-tiempo entre eventos
cuya separacion [espacial] es mayor que la distancia que recorrera un rayo de luz
en el intervalo de tiempo en que ocurren esos mismos eventos:

|x|2 > (ct)2

s2 > 0.

(5.27)

As, si se enva un rayo de luz en el lugar y en el instante en que ocurre el primer


evento, ese rayo de luz no alcanza a llegar al lugar donde y cuando ocurre el
segundo evento.
ii.) Intervalo tipo luz: Corresponde al intervalo de espacio-tiempo de eventos cuya
separacion es igual a la distancia que recorrera un rayo de luz en el intervalo de
tiempo en que ocurren esos mismos eventos:

|x|2 = (ct)2

s2 = 0.

(5.28)

70

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

As, si se enva un rayo de luz en el lugar y en el instante en que ocurre el primer


evento, ese rayo de luz justo alcanza a llegar al lugar donde y cuando ocurre el
segundo evento.
iii.) Intervalo tipo tiempo: Corresponde al intervalo de espacio-tiempo de eventos cuya
separacion es menor que la distancia que recorrera un rayo de luz en el intervalo
de tiempo en que ocurren esos mismos eventos:

x0

1

x0(A)

|x|2 < (ct)2

A
3

x1(A)

B

s2<0


s2=0

A
D

s2>0
F
E

Figura 5.14

(5.29)

As, si se enva un rayo de luz en el lugar y en el instante en que ocurre el primer


evento, ese rayo de luz llega a la posicion del segudo evento antes de que e ste
ocurra.

x1

Figura 5.13

s2 < 0.

En particular, el intervalo tipo luz divide al espacio-tiempo en regiones separadas por


las lneas de Universo de rayos de luz viajando hacia y desde un evento. Por ejemplo, la
Figura 5.13 representa las lneas de Universo de cuatro rayos de luz en un diagrama de
dimension (1 + 1): dos rayos de luz se emiten desde el evento A en direcciones opuestas
(lneas 1 y 2), y simultaneamente otro dos rayos llegan al evento A de direcciones opuestas (lneas 3 y 4). Tal configuracion de lneas de Universo se conoce como cono de luz.
La Figura 5.14 ilustra los tres tipos de intervalos espacio-tiemporales en relacion a un
cono de luz. Los eventos A y B estan separados por un intervalo tipo tiempo, los eventos
C y D lo estan por un intervalo tipo luz, y los eventos E y F son eventos separados por un
intervalo tipo espacio. Es importante enfatizar que el intervalo tipo luz, que es nulo, se
representa como una lnea paralela al cono de luz, contrario a la distancia espacial nula,
la cual se representa como un punto de longitud cero.

5.3.1.

El principio de causalidad

La estructura de cono de luz del espacio-tiempo de Minkowski separa el espaciotiempo en tres regiones de influencias en relacion a algun evento puntual A, representado
como el vertice del cono. Primero, el interior del cono se define como el conjunto de
eventos que se pueden unir con el A por intervalos tipo tiempo. Todos los eventos debajo
del vertice son eventos que ocurren antes de A, por lo que los vamos a llamar el pasado
de A, mientras que aquellos que estan por encima, seran eventos que ocurren despues,
por lo que representan el futuro de A, como se indica en la Figura 5.15. Segundo, como
consecuencia de la estructura del cono de luz, aparece una nueva region externa al cono,
formada por todos aquellos eventos que no tienen ninguna relacion causal con A, es
decir, no forman ni el pasado, ni el futuro de A, por lo que simplemente lo vamos a
llamar el resto. As, cualquier evento futuro son eventos potencialmente posibles que
pueden ser causados por A en el sentido de que cualquier objeto o informacion que viaje
por debajo o igual a la velocidad de la luz puede influenciar eventos [futuros] despues

5.3. LA ESTRUCTURA DE CONO DE LUZ

71

de que ocurrio el evento A. Por otro lado, el pasado de A corresponde a todos aquellos
posibles eventos que pudieron causar o influenciar al evento A. Los eventos ubicados en
el resto tendran que enviar informacion que viaje por encima de la velocidad de la luz
para conectarsen con A, por lo que tales eventos no pueden influencia ni tampoco ser
influenciados por el evento A3 .
Por otro lado, podramos plantear un efecto causal inverso del pasado y futuro de
un evento. Por ejemplo, si el futuro de A se define como todos los posibles eventos
que pueden ser influenciados por A, sera posible que los eventos futuros de A puedan influenciar a los eventos pasados?. Si eso fuera posible, encontramos entonces una
ambiguedad de lo que llamamos pasado y futuro, lo que nos llevara a paradojas como
la famosa paradoja del abuelo: si una persona pudiera viajar a su pasado y matar a su
abuelo antes de conocer a su abuela, entonces esa persona no hubiera nacido, y por lo
tanto no pudo haber viajado al pasado para matar a su abuelo. Sin embargo, las observaciones muestran que el Universo define una u nica direccion temporal de los eventos
contenido en el principio de causalidad:
Principio de causalidad : Para todo observador inercial, ningun evento
puede influenciar eventos que ya sucedieron; solamente los eventos
pasados pueden influenciar eventos futuros.

As, el principio de causalidad define de forma invariante y absoluta el pasado y el


futuro de los eventos:

Pasado de un evento A:

Son todos aquellos eventos que sucedieron o pudieron suceder


y que pueden influenciar a A.

Futuro de un evento A:

Son todos aquellos eventos que sucederan o pueden suceder


y que A puede influenciar.

Los eventos del resto, son eventos o realidades posibles, pero que no pueden influenciar
ni ser influenciados por el evento A, ni por su futuro, ni por su pasado.

3 No

con las formas de materia y energa conocidas del Universo. Aunque el principio de la relatividad
especial no prohibe la existencia de taquiones, estos no han sido observados.

Resto

Resto
Evento
A

Figura 5.15

72

CAPITULO 5. ESTRUCTURA DE ESPACIO-TIEMPO

Problema 14: Una vara de longitud propia L0 se mueve horizontalmente con velocidad u hacia una pared fija. Asumiendo que la infomacion de los eventos de un extremo
a otro se propaga a la velocidad lmite c, calcule la longitud final de la vara despues
de quedar enteremante en reposo respecto a la pared de acuerdo al observador que
viaja a velocidad u. Pista: Resuelva el problema pintando las lneas de universo de
los extremos de acuerdo a como se describe abajo.

El observador que viaja junto con la vara cuando e sta se encuentra en movimiento en
el problema 14 observa que es la pared la que se mueve hacia un extremo con velocidad
u, mientras que la vara se encuentra inicialmente en reposo. Puesto que la informacion
no puede viajar mas rapido que la velocidad c, la colision entera se prolonga entre dos
eventos que se pueden describir en un diagrama de espacio-tiempo: el primer evento
sucede cuando la pared toca un extremo de la vara (evento A), el cual se empieza a
mover junto con la pared, y el segundo cuando la informacion de la colision llega al
extremo opuesto (evento B), instante en que dicho extremo se pone en movimiento. La
longitud final se puede obtener al pintar las lneas de Universo de cada extremo entre los
dos eventos, teniendo como referencia el cono de luz con vertice en el evento A.
El efecto descrito en el problema anterior se puede usar para resolver una de las
versiones de la paradoja del saltador con pertiga. La paradoja consiste en un saltador
S que lleva una pertiga horizontal con longitud propia L0 y corriendo a velocidad u. El
saltador ingresa a un garaje cuya longitud propia coincide con la longitud de la pertiga en
movimiento medida por un portero P en reposo respecto al garaje. Tan pronto el portero
observa que los extremos se encuentran al interior del garaje, activa un sistema que cierra
instantaneamente las puertas, dejando al saltador completamente encerrado. Por su lado,
el saltador mide que la longitud del garaje en movimiento esta contraida respecto a su
vara, tal que aparemente no puede quedar encerrado dentro del garaje cuando las puertas
se cierran. Determine si el saltador queda o no encerrado.

CAPITULO

La Geometra de la Cinematica Relativista

La estructura de espacio-tiempo estudiada en el captulo anterior es consecuencia


directa de las transformaciones de Lorentz, las cuales a su vez se soportan en los postulados de la relatividad especial. As, la geometra exhibida por el espacio-tiempo de
Minkowski incorpora automaticamente efectos relativistas tales como la dilatacion temporal y la contraccion de Fitzgerald-Lorentz. En e ste captulo se discutira el tratamiento
geometrico de la cinematica relativista, la cual se haremos en el esquema real de Minkowski. Sin embargo, antes es importante distinguir aquellas distorsiones aparentes que
surgen debido a la naturaleza seudo-Euclidiana del espacio-tiempo de Minkowski para
no confundirlos con los efectos verdaderamente relativistas.

x0

x0

x1


x1

Figura 6.1

6.1.

Distorsion Angular

La Figura 5.11 del captulo anterior ilustra los ejes coordenados ortogonales (x0 , x1 )
asociados a un observador en reposo, mientras que los ejes (x00 , x10 ) corresponde a los
ejes de otro observador 0 visto en movimiento desde . Debido a la naturaleza seudoEuclidiana del espacio de Minkowski, pareciera como si los ejes de 0 perdieran su
ortogonalidad. Pero si nos ubicamos sobre el observador 0 , vemos que sus ejes, ahora en
reposo, siguen siendo ortogonales, mientras que los ejes del observador moviendose en
direccion opuesta, se ven rotados como se muestra en la Figura 6.1. As, para la correcta
interpretacion geometrica de los aspectos cinematicos de la relatividad, debemos ser
cuidadosos de la presencia de distorsiones irreales debido a la no ortogonalidad aparente
de los ejes en movimiento. Para ilustrar los efectos de esa distorsion, consideremos el
triangulo espacio-temporal con un a ngulo recto mostrado en la Figura 6.2 en reposo
respecto a un observador 0 . Si trazamos el mismo triangulo desde otro observador
73

x0



x

0


s

90
0


x

1

Figura 6.2

x1

74

CAPITULO 6. LA GEOMETRIA DE LA CINEMATICA


RELATIVISTA

que ve a 0 en movimiento relativo, se obtiene el triangulo distorsionado de la Figura


6.3, donde el a ngulo sigue siendo recto aunque se vea deformado en un a ngulo agudo,
efecto que llamaremos distorsion angular.

x0

x0

6.2.

s

Estudiaremos los efectos relativistas del tiempo y la longitud en el contexto de los


x1

diagramas de espacio-tiempo en el esquema real de Minkowski.

90

x1

Figura 6.3

x0

Cinematica

6.2.1.

Relatividad de la simultaneidad

Consideremos un observador inercial , que mide dos eventos simultaneos A y B


que ocurren en el tiempo t y en las posiciones x1A y x1B respectivamente. Usando rotacion
de diagramas espacio-temporales, podemos comprobar que esos mismos eventos ya no
seran simultaneos desde otro observador 0 moviendose con velocidad relativa u. La
Figura 6.4 muestra los eventos y sus proyecciones sobre los ejes del observador en reposo
y los ejes del observador en movimiento 0 rotados en un a ngulo , de acuerdo a la
ecuacion (5.22). A simple vista, es evidente que los eventos medidos por 0 ocurren en
tiempos diferentes en un intervalo x00 = ct 0 , y con una separacion espacial x10 . La
Figura 6.5 muestra el triangulo espacio-temporal extraido del diagrama anterior, donde
al tener en cuenta la distorsion angular, se cumple1 :

x1

tan =

x1B

x00
u
= = ,
0
x1
c

(6.1)

de donde se obtiene:
Figura 6.4

x00
.

Por otro lado, como el intervalo de espacio-tiempo es invariante, se cumple:


x10 =


x0

90

s2 = x0 1 x0 0 = x12 .

(6.2)

(6.3)

Reemplazando el intervalo espacial obtenido en (6.2) en la ecuacion (6.3), se obtiene:


x0 20
2

Figura 6.5

1 Para

x0 0 = x12


2
02
x 0 =
x12
12
x00 = x1

t 0 =
x1 .
c

(6.4)

mayor claridad, pueden pintar e se mismo triangulo tomando a 0 como el sistema en reposo.


6.2. CINEMATICA

75

As, los eventos en 0 se separan temporalmente. Los eventos son simultaneos en 0


solamente si la separacion espacial en es nula, es decir, t 0 = 0 solo si x1 = 0, lo que
describe las propiedades relativistas de la simultaneidad obtenidas en la subseccion 3.1.1
bajo las TLS: es relativa para eventos ocurridos en diferentes posiciones espaciales, y es
absoluta para eventos ocurridos en la misma posicion

Dilatacion temporal

Consideremos ahora un observador inercial , que mide dos eventos A y B en la


misma posicion x1 y en los tiempos propios t A y t B respectivamente. Usando rotacion
de diagramas espacio-temporales podemos calcular el intervalo de tiempo entre esos
mismos eventos desde otro observador 0 moviendose con velocidad relativa u. La Figura
6.6 muestra los eventos y sus proyecciones sobre los ejes del observador en reposo y los
ejes del observador en movimiento 0 . La Figura 6.7 muestra el triangulo distorsionado,
el cual ahora cumple con la relacion:
tan =

x10
= ,
x00

x0A

x0B

x1

Figura 6.6

(6.5)

de donde se obtiene:
x10 = x00 .

(6.6)

La invariancia del intervalo espacio-temporal nos lleva a


2

s =

2
2
x0 1 x0 0

x02 .

(6.7)


x

1

2

2 x0 0

x0 0 = x02


1
02
x 0 =
x02
12
x00 = x0

90

Reemplazando el intervalo (6.6) en la ecuacion (6.7), se obtiene:

t 0 = ,

Figura 6.7

(6.8)

donde = t A t B es el intervalo de tiempo propio medido por el observador . La ecuacion anterior no es mas que la formula de dilatacion temporal obtenida en la ecuacion
(3.6) del captulo 3 bajo las TLS.

6.2.3.

x0

6.2.2.

Contraccion de Fitzgerald-Lorentz

Para obtener el efecto de contraccion de longitudes, recordemos que si el observador


se encuentra en movimiento respecto al objeto, la medida de los extremos se debe realizar de forma simultanea, por ejemplo en el tiempo t 0 = 0. As, si graficamos una barra

76

desde su sistema en reposo , sus extremos deben de estar alineados a lo largo del eje
x10 del observador en movimiento 0 , como se muestra en la Figura 6.8. La proyeccion
sobre el eje x1 de corresponde a la longitud propia L0 . Procediendo de forma analoga
a los casos anteriores, se puede demostrar el efecto de contraccion de longitudes:

x0
x


0
x0A

x0B

L0 =

B x


1

6.3.

1
1

1 1

(6.9)

Problema 15: Demuestre la ecuacion (6.9) por el metodo de diagramas espaciotiempo

x0

-1

L0
.

x1

L0

Figura 6.8

-2

CAPITULO 6. LA GEOMETRIA DE LA CINEMATICA


RELATIVISTA

x1

-1

Hiperbolas invariantes

Otro efecto de la estructura seudo-Euclidiana del espacio-tiempo de Minkowski, es


el cambio de escala de los ejes coordenados entre observadores en movimiento relativo.
La condicion fundamental que determina la relacion de escala de medida es que sin
importar el movimiento de los observadores inerciales, el intervalo espacio-temporal
entre eventos debe valer lo mismo, por lo que el intervalo de espacio-tiempo se puede
usar como patron de comparacion universal. Como el intervalo puede ser positivo o
negativo, se definen dos unidades de comparacion:

-2

Figura 6.9

x0

x

0

3

2
1

x

1

2
1
1

Figura 6.10

x1

s2+ = x12 x02 = 1,

(A)

s2

(B)

x12 x02

= 1,

(6.10)

donde la unidad puede ser metros, centimetros, pulgadas, etc, segun sea el sistema de
unidades que se use. Las ecuaciones (6.10) representan las ecuaciones de hiperbolas, dos
con vertices en las coordenadas x1 = 1 (ecuacion (A)) y otras dos en las coordenadas
x0 = 1 (ecuacion (B)). As, por definicion, la distancia entre el origen y cualquier
punto sobre las hiperbolas es constante, y en este caso igual a 1. La Figura 6.9 ilustra las
hiperbolas con vertices positivos, donde la asntota que separa las dos curvas representa
la lnea de Universo de un rayo de luz, es decir, el cono de luz con vertice en el origen.
Como se muestra, todas las lneas de espacio-tiempo pintadas a trazos desde el origen
miden una unidad, incluso aunque a simple vista aparentan ser de diferentes longitudes.
Por otro lado, como las distancias espacio-temporales de la ecuacion (6.10) son indenpendientes del observador, las hiperbolas no cambian si el sistema coordenado se
cambia por otro de un observador en movimiento, razon por la cual se habla de hiperbolas invariantes. Por ejemplo, la Figura 6.10 ilustra los ejes de un observador en movimiento 0 con sus ejes rotados respecto a otro observador en reposo , y un conjunto de


6.3. HIPERBOLAS
INVARIANTES

77

hiperbolas invariantes separadas en una unidad. Los cortes de las hiperbolas sobre cada
eje determina la escala de medida. Teniendo en cuenta este cambio de escala a traves
de las hiperbolas invariantes, es posible determinar las coordenadas espacio-temporales
de eventos para cualquier observador usando regla y transportador directamente. Para
ilustrar como aplicar el metodo, consideremos como ejemplo el problema de un neutron
que se mueve a la mitad de la velocidad de la luz (0.5c) de acuerdo a un observador .
Suponga que dicho observador mide que el neutron se desintegra despues de un tiempo t = 17.3 minutos. La lnea de Universo del neutron de acuerdo a ese observador se
muestra en la Figura 6.11, cuyo a ngulo es:

x0

20c
20

Desintegracin

15c
15
10c
10
5c
5
0

= tan1 = tan1 0.5 26.60 .

x1

10
15
20
15c

10c

20c

5
5c

(6.11)

Otro observador 0 que ve al neutron en reposo, va a medir un tiempo de vida diferente.


Para calcularlo, pintemos los ejes coordenados del observador que se mueve junto con
el neutron (por lo que la lnea de Universo coincide con el eje temporal, suponiendo que
el neutron se encuentra en el origen de posiciones), como se muestra en la Figura 6.12.
La Figura 6.13 muestra una porcion detallada de los diagramas de espacio-tiempo con
un conjunto de hiperbolas invariantes con vertices en x0 = 15c, 15.5c, 16c, 16.5c, 17c,
y 17.5c. Vemos directamente que la desintegracion sobre el eje x00 corta a la hiperbola
de 15c, es decir, t 0 15 minutos para el observador 0 . Aunque no se aplico las TLS
para resolver el problema, indirectamente si se estan usando debido a que la geometra
automaticamente las tiene incorporadas.

Lnea de
Universo

26.60

Figura 6.11

x0

x

0

20c
20
15c
15
10c
10

x1

26.60

5c
5
0

x1

10
15
20
15c

10c

20c

5
5c

Figura 6.12
Problema 16: Demuestre, usando la ecuacion de dilatacion temporal, que el tiempo
de vida propio del neutron es 15 minutos. Usando diagramas de espacio-tiempo, determine el tiempo de vida del neutron medido por un observador 0 que se mueve a
una velocidad relativa de u = 0.9c respecto a .

x0

x0

17.3c

18.0

6.3.1.

La paradoja de los gemelos

Dos gemelos, el primero en tierra (observador T ), y el segundo embarcado en un


viaje por el espacio (observador V ) deciden reencontrarsen despues de 20 anos terrestres. En virtud del efecto de dilatacion temporal, los tiempos medidos de los eventos
difieren entre ambos observadores. As, por ejemplo, si despues de unos anos, medimos
el tiempo transcurrido cuando el viajero cruza una posicion determinada, los relojes de
T mediran un tiempo tT , que lo podemos hacer corresponder con la edad del gemelo en
tierra, mientras que los relojes de V mediran un tiempo propio V que coincidira con la
edad del hermano viajero. Por efecto de la dilatacion, se tiene que tT > V , por lo que

17.5
17.5c

17.0
17c

16.5
16.5c

15c

16c
16.0
15.5
15.5c

15c
15.0
2

Figura 6.13

10

x1

78

CAPITULO 6. LA GEOMETRIA DE LA CINEMATICA


RELATIVISTA

el observador T es mas viejo que V cuando e ste se haya desplazado una distancia determinada. Por otro lado, visto desde el sistema del gemelo viajero, e ste observa que es su
hermano T el que esta en movimiento, por lo que la relacion de tiempos se invierte: V
mide un tiempo dilatado tV de su edad en relacion a la edad que mide su propio hermano
T , es decir tV > T tal que en e ste escenario el observador V es mas viejo que T . Cuando
los gemelos se reencuentren, quien es mas viejo?
El problema plantea dos formas de medir las edades relativas con resultados opuestos, produciendo una aparente paradoja. Sin embargo, la paradoja es irreal ya que, primero, es aceptable que cada observador mida diferentes resultados siempre y cuando los
hermanos se mantengan alejados, y segundo, si hay un reencuentro en el mismo punto
espacial, el hermano viajero tuvo que invertir su movimiento para regresar, por lo que
sus relojes acelerados cambian su lectura tal que al momento del reencuentro, solo hay
un u nico resultado. Antes de calcular la edad de los gemelos, hagamos una descripcion
cualitativa de la solucion separando lo que mide cada observador:
1. Medida desde T: Inicialmente, cuando el viajero V arranca desde la Tierra, T observa que e ste se aleja continuamente. As, la edad de T corre mas rapido que la de
su hermano V . Despues, en algun momento V cambia su direccion de movimiento,
tal que T observa que e ste se acerca continuamente. Como la formula de dilatacion es independiente de la direccion de movimiento, T sigue registrando que V
es mas joven, tal que cuando se reencuentran, T es mas viejo que su hermano V.

x0

20c

20

15c

15

10c

10

6c
5c

5

2c
4c
6c
8c

Figura 6.14

10

x1

2. Medida desde V: Inicialmente, cuando el viajero V arranca de la Tierra, V observa


que es T quien se aleja continuamente. As, la edad de V corre mas rapido que la
de T . Aunque el resultado es opuesto al medido desde T , ambos observadores en
su propio sistema tiene razon, que es la esencia del primer postulado de la relatividad. Sin embargo, cuando el viajero V cambia su direccion de movimiento, debe
transitar por diferentes sistemas inerciales continuamente hasta quedar direccionado hacia la tierra, es decir, debe desacelerar y luego acelerar, proceso que T
no sufre. El efecto de la aceleracion, es que desde V ,sus relojes corren mas lento
que los relojes de T, por lo que el hermano T sufre un envejecimiento prematuro en relacion a V pasando de ser mas joven a ser mas viejo, tal que cuando se
reencuentran, T es mas viejo que su hermano V.
As, al final hay una u nica solucion: un viajero que se aleja y vuelve va a encontrar
que es mas joven que su hermano en tierra. Para resolver el problema numericamente,
podemos aprovechar las herramientas ofrecidas por los diagramas de espacio-tiempo.
Supongamos que un viajero adquiere una velocidad constante v = 0.8c de forma instantanea cuando sale de la Tierra, y que a mitad de su viaje, cambia instantaneamente
la direccion de movimiento, por lo que el viajero solamente transita por dos sistemas
inerciales diferentes. La Figura 6.14 muestra la lnea de Universo del viajero visto desde tierra. El evento R marca el cambia de direccion del viajero. Como se muestra, la
hiperbola invariante que corta al evento R, tiene vertice en 6c, por lo que mientras en


6.4. LA RAPIDEZ HIPERBOLICA

79

tierra han pasado 10 anos, los relojes de V marcan solo 6 anos desde su partida. El tiempo de regreso es el mismo, por lo que al final cuando en tierra han pasado 20 anos,
el viajero habra registrado solo 12 anos, es decir, V es 8 anos mas joven que T . Para
calcular los tiempos desde el viajero, lo podemos hacer rotando sus ejes respecto a los
de la tierra. Para representar el cambio de sistema inercial cuando cambia su direccion,
podemos considerar dos sistemas de ejes, el primero (sistema 0 ) alejandose desde tierra
y el segundo (sistema 00 ) acercandose hacia la tierra, tal que cuando los ejes temporales
se cruzen, el viajero salta de un sistema a otro. La Figura 6.15 ilustra los ejes a trazos
rotados positivamente (velocidad positiva) de 0 y los ejes rotados negativamente (velocidad negativa) de 00 . La lnea de Universo continua representa el movimiento de V , que
como se observa, viaja sobre el sistema 0 hasta el evento R, y luego se regresa sobre el
sistema 00 . As, debemos separar las observaciones de V en dos tramos. La Figura 6.16
muestra la proyeccion de tiempo del evento R en tierra, cuando el viajero se prepara
para su retorno, es decir, cuando V marca 6 anos, los relojes de T marcan 3.6 anos. As,
visto desde el sistema 0 , hasta ese instante T es mas joven que V . Pero justo despues de
emprender el retorno, la proyeccion cambian de acuerdo a la Figura 6.17, donde ahora
los relojes de T marcan 16.4 anos, mayor a los 6 de V , es decir, en el proceso del salto
de un sistema a otro, el observador V registra un cambio repentino de 3.6 a 16.4 anos
en los relojes de T , como si el tiempo en la Tierra se acelerara2 . Despues del cambio de
direccion, el viajero continuara su regreso a la Tierra en sus 6 anos restantes, tal que al
llegar, el viajero tambien registra que es 8 anos mas joven que su hermano T .

x0


x0

x

0

x

1

x1

x1



Figura 6.15

x0

x

0

14

12

10c

10

x1

3.6c

6c

6.4.

La rapidez hiperbolica

2c

4c

En el esquema de tiempo imaginario de Poincare de la Seccion 5.2.2, se definieron


las rotaciones de coordenadas espacio-temporales a traves de a ngulos imaginarios de
acuerdo a las ecuaciones (5.14). Por supuesto, los a ngulos de rotacion no se interpretan
de la misma forma que una rotacion ordinaria en el espacio, sino que son una representacion de las transformaciones entre observadores inerciales en movimiento relativo.
As, los a ngulos imaginarios se relacionan con la velocidad relativa entre los observadores. Para estudiar el contenido cinematico de tales rotaciones en el plano complejo, recordemos que las funciones trigonometricas de a ngulos imaginarios son funciones muy
conocidas en la geometra: corresponden a funciones hiperbolicas, las cuales se definen
en terminos de la funcion exponencial como:

8c

10

12

12c

14

x1

Figura 6.16

x0



x0

20c

20

15c

15

10c

10

16.4c


1
e + e ,
2

i
sin i = i sinh =
e e ,
2

cos i = cosh =

5c

(6.12)

2 El proceso se modela como un salto instantaneo, pero en una situaci


on con aceleracion finita, el cambio

es suave, por lo que el tiempo en tierra se acelera continuamente hasta llegar a 16.4.

10

15

10c

Figura 6.17

x1

x1



20

80

CAPITULO 6. LA GEOMETRIA DE LA CINEMATICA


RELATIVISTA

donde es una variable real. Haciendo una inspeccion superficial, podemos ver que la
funcion coseno de un numero imaginario es una cantidad real, mientras que la funcion
seno de un numero imaginario es otro numero imaginario. Por su parte, las funciones
coseno hiperbolico y seno hiperbolico son ambas funciones reales.
Por otro lado, las definiciones de la ecuacion (5.11) del captulo 5 se pueden escribir
en terminos de las funciones hiperbolicas como:

cosh = ,
sinh = ,

(6.13)

sinh
u
= = ,
cosh
c

(6.14)

tal que la tangente hiperbolica es:


tanh =

por lo que la rotacion del plano complejo se relaciona con la velocidad relativa entre
observadores de acuerdo a la ecuacion (6.14). Debido a esa relacion, al parametro se
le conoce como la rapidez hiperbolica3 , y tradicionamente se nota con la letra y. As, la
rapidez hiperbolica entre observadores inerciales es:
y = tanh1 .

(6.15)

En procesos de colision es conveniente parametrizar el movimiento de las partculas


en terminos de la rapidez hiperbolica en lugar de la velocidad o el factor beta directamente. Por ejemplo, definiendo las razones v0 = v0 /c, v = v/c y u = u/c, el teorema
de adicion de velocidades en la ecuacion (3.16) se puede expresar como:

v0

v u
,
1 v u

tanh yv0 =

tanh yv tanh yu
.
1 tanh yv tanh yu

(6.16)

Usando la identidad
tanh (x y) =

tanh x tanh y
,
1 tanh x tanh y

(6.17)

la ecuacion (6.16) queda:


tanh yv0 = tanh (yv yu ),
3 La

(6.18)

expresion en ingles es rapidity, la cual no tiene una traduccion directa al espanol, ya que rapidez se
refiere a la magnitud de la velocidad. Para no confundir ambos terminos, lo llamo rapidez hiperbolica


6.4. LA RAPIDEZ HIPERBOLICA

81

la cual se cumple si sus argumentos son iguales, es decir, el teorema de suma de velocidades en terminos de la rapidez hiperbolica se expresa en la forma simple:
yv0 = yv yu ,

(6.19)

que es mucho mas sencillo de manipular que la forma racional de la ecuacion (3.16).

Problema 17: Usando expansion en series de Taylor, demuestra que a bajas velocidades, la ecuacion (6.19) se convierte en la forma clasica v0 = v u del teorema de
suma de velocidades.

82

CAPITULO 6. LA GEOMETRIA DE LA CINEMATICA


RELATIVISTA

Parte III
Fundamentos Algebraicos

83

CAPITULO

El Grupo de Lorentz

Actualmente, se han encontrado diversos tipos de invariancias en las leyes fsicas,


donde el principio de la relatividad especial no es mas que una clase de invariancia.
As, en la primera parte del texto, se plantearon las leyes de la mecanica clasica exigiendo invariancia frente a las transformaciones de Lorentz simples. En la segunda parte, dichas transformaciones se visualizaron geometricamente como rotaciones de ejes
espacio-temporales, donde la distancia espacio-temporal se definio de tal que manera
que fuera invariante. Ahora, introduciremos un tercer enfoque mas formal usando la
notacion tensorial, la cual exhibe de manera explcita las propiedades de transformacion e invariancia de los parametros fsicos frente al cambio de observadores inerciales
compatible con los postulados. Para comenzar, en e ste captulo vamos a implementar el
fundamento matematico que servira de soporte para entender la relacion entre al a lgebra
tensorial y el principio de relatividad especial.

7.1.

Grupo Abstracto

Un conjunto de elementos G = {g1 , g2 , ...} forman un grupo si cumple con las siguientes propiedades:
i.) El conjunto G es cerrado bajo el producto. En lenguaje de la teora de conjuntos,
esto significa que:
()(gi , g j G)(gi g j = gk G),

(7.1)

esto es, existe una operacion producto () tal que para todo par de elementos gi y
g j en G, su producto da como resultado otro elemento gk que tambien pertenece a
85

CAPITULO 7. EL GRUPO DE LORENTZ

86
G.

ii.) El conjunto G contiene un elemento identidad. As:


(I G)(gi G)(I gi = gi I = gi ),

(7.2)

esto es, existe un elemento I en G, tal que para cualquier elemento gi de G, su


producto da el mismo elemento.
iii.) El conjunto G contiene los elementos inversos:
(gi G)()(gi G)(gi gi = gi gi = I),

(7.3)

es decir, para cada elemento gi en G, existen elementos inversos gi en G tal que su


producto mutuo da la identidad.
iv.) El conjunto G es asociativo:
(gi, j.k G)(gi (g j gk ) = (gi g j ) gk )

(7.4)

Las propiedades anteriores describen un grupo en general, donde los elementos del
conjunto es abstracto sin ninguna interpretacion fsica concreta. Por otro lado, se pueden
definir propiedades adicionales a las descritas anteriormente que inducen diferentes tipos
de grupos, de los cuales nos interesa los siguientes:
1. Grupo Abeliano: Grupo cuyos elementos conmutan entre s, es decir:
(gi. j G)(gi g j = g j gi ).

(7.5)

2. Grupo Discreto: Grupo cuyos elementos son contables (o numerables), es decir,


los elementos del grupo se pueden etiquetar con subndices de numeros naturales:
G = {g} {g1 , g2 , g3 , ...}

(7.6)

3. Grupo Continuo: Grupo no contable cuyos elementos son funciones de parametros


continuos:
G = {g} {g( )}.

(7.7)

La variable en general se define en un espacio vectorial de n dimensiones, es


decir, es un vector con componentes:
= {1 , 2 , ..., n }.

(7.8)

donde cada componente i puede tomar valores continuos reales o complejos.

7.2. EL GRUPO DE LORENTZ SIMPLE

7.2.

87

El grupo de Lorentz simple

Desde el punto de vista algebraico, podemos describir las transformaciones de Lorentz como un conjunto de elementos que cumple con las condiciones de grupo. Para
mostrar eso, vamos primero a considerar el caso de las transformaciones de Lorentz simples en el esquema de tiempo real descrito por las ecuaciones (5.20), las cuales podemos
expresar en forma matricial como:
 0 
x0

=
x10

 
x0
.
x1

(7.9)

Si definimos las cantidades:


 0
x0
X =
,
x10
 
x0
X =
,
x1



L =
,

(7.10)

entonces la ecuacion (7.9) se reduce a la forma compacta


X0 = LX.

(7.11)

La ecuacion (7.11) representa la transformacion del vector X al vector X0 debido a


la accion de la matrz L, la cual podemos expresar como:
L : X X0 .

(7.12)

As, en el contexto del a lgebra matricial, podemos definir una transformacion de Lorentz como el conjunto de matrices L que transforma las coordenadas espacio-temporales
de acuerdo a la ecuacion (7.11) y que cumple con los postulados de la relatividad especial.
Por otro lado, de acuerdo a las definiciones en (7.10), vemos que la TLS es una
funcion del parametro , esto es L = L( ), la cual puede tomar valores continuos en el
intervalo semiabierto [0, 1). Se puede entonces demostrar que el conjunto G = {L( )}
exhibe propiedades de un grupo continuo en el mismo sentido que lo definimos en la
ecuacion (7.7). Antes de describir las propiedades algebraicas del grupo de Lorentz simple, es conveniente tener una definicion mas general de grupo de Lorentz independiente

CAPITULO 7. EL GRUPO DE LORENTZ

88

de la forma particular que tome la matrz L. Recordemos que la distancia de espaciotiempo se define en la forma seudo-Euclidiana de la ecuacion (5.19), la cual podemos
expresar en forma matricial como
2

s =

x12 x02


 
1 0
x0
.
= (x0 , x1 )
0 1
x1

(7.13)

Teniendo en cuenta las definiciones en (7.10) y definiendo la matrz




1 0
=
,
0 1

(7.14)

la distancia de espacio-tiempo se puede expresar de forma compacta como:


s2 = XT X,

(7.15)

donde el smbolo T representa la transpuesta. Una de las caractersticas de las TLS es


que deja invariante la distancia de espacio-tiempo, propiedad que se puede expresar formalmente en terminos de la matriz de la siguiente forma:
Sean s2 = XT X y s02 = X0 T X0 las distancias de espacio-tiempo medidas por dos
observadores inerciales en movimiento relativo, tal que s2 = s02 . Teniendo en cuenta
que las coordenadas se relacionan de acuerdo a la ecuacion (7.11), se obtiene:
T

XT X = X0 X0
= (LX)T (LX)
= XT (LT L)X.

(7.16)

Al comparar el primer termino con el u ltimo, se concluye entonces que la distancia


de espacio-tiempo es invariante siempre y cuando se cumpla que:
= LT L.

(7.17)

La condicion expresada por la ecuacion (7.17) es suficiente para garantizar que la


transformacion L cumpla con los postulados de la relatividad especial. As, formalmente
vamos a definir el grupo de Lorentz simple como:
Grupo de Lorentz simple : Es el conjunto de transformaciones L que actuan
sobre las coordenadas de espacio-tiempo y que cumplen con:
= LT L,
donde es la matrz dada por (7.14)

7.2. EL GRUPO DE LORENTZ SIMPLE

89

A partir de la propiedad (7.17) y la matrz (7.10), podemos describir las propiedades


algebraicas de las TLS. Primero, se puede mostrar que estas matrices cumplen con las
cuatro propiedades que definen un grupo descritas en la seccion 7.1. Solamente a manera
de ilustracion, vamos a demostrar la primera de esas propiedades:
i.) El conjunto G = {L( )} es cerrado bajo el producto. As, si L1 = L(1 ) y
L2 = L(2 ) son dos elementos del conjunto, entonces L3 = L1 L2 tambien es un elemento del mismo grupo, es decir, L3 debe cumplir tambien la condicion (7.17). Efectivamente, asumiendo que L1 y L2 cumplen con (7.17), se obtiene:
L3T L3 = (L1 L2 )T (L1 L2 )
= L2T (L1T L1 )L2
= L2T L2
= .

(7.18)

Problema 18: Demuestre que las TLS cumple con las demas propiedades (ii., iii. y
iv.) que definen a un grupo.

Adicional a las condiciones de grupo que exhibe las TLS, existen otras propiedades
algebraicas que se enumeran a continuacion:
1. El determinante es 1: Det[L] = 1.
2. Es simetrica. Esto es, los elementos matriciales no diagonales son iguales: L12 =
L21 = .
3. El grupo es no compacto. Esto es, cada elemento se define por el parametro que
toma valores continuos en el intervalo semiabierto [0, 1) sin nunca llegar a ser 1.
4. El grupo es Abeliano. Esto es, dos elementos cualquiera conmutan entre s: L1 L2 =
L2 L1 .
As, en conclusion, el grupo de Lorentz simple es un grupo continuo Abeliano y no
compacto.

CAPITULO 7. EL GRUPO DE LORENTZ

90

7.3.

El grupo de Lorentz en general

A lo largo de los captulos anteriores, nos hemos limitado a observadores inerciales


en la configuracion estandar que nos define las TLS, tal como se planteo en la Seccion 2.3. Ahora, con las herramientas algebraicas que nos ofrece el concepto de grupo,
podemos hacer la extension a las transformaciones de Lorentz entre observadores con
movimiento relativo en direcciones arbitrarias y con ejes coordenados no paralelos entre
s. Para eso, vamos a generalizar las definiciones de la seccion anterior que incluya las
tres coordenadas espaciales.

7.3.1.

El tensor metrico

En la seccion 5.3, definimos la forma general del intervalo de espacio-tiempo en la


ecuacion (5.24), la cual podemos expresar tambien en forma matricial como:

s2 = |x|2 x02

1
0
= (x0 , x1 , x2 , x3 )
0
0
= XT X,

0
1
0
0

0
0
1
0


0
x0
x1
0

0 x2
1
x3
(7.19)

con X definido en un espacio vectorial de 4 dimensiones, y una matrz 4 4 definida


como

1
0
=
0
0

0
1
0
0

0
0
1
0

0
0
.
0
1

(7.20)

Esta
definicion es la forma matricial del llamado tensor metrico que define la estructura
seudo-Euclidiana del espacio-tiempo de Minkowski, y que se caracteriza por la presencia
de la cantidad negativa 1 en la primera componente en la diagonal. As, se acostumbra
usar la notacion = (, +, +, +) para indicar que la matrz metrica es diagonal con 1
en la componente temporal y +1 en las tres espaciales. Es importante aclarar que la forma definida por (7.20) no es u nica en la relatividad especial. Existe la forma (+, , , )
que define el mismo intervalo de espacio-tiempo que (7.19) con una diferencia de signos, es decir s2 = x02 |x|2 . En este caso, se acostumbra notar al tensor metrico con
la letra g en vez de . No hay ninguna diferencia fsica en usar una forma u otra, por lo
que vamos a escoger la que hemos venido usando con la estructura (, +, +, +).

7.3. EL GRUPO DE LORENTZ EN GENERAL

7.3.2.

91

El grupo de Lorentz restringido

Extrapolando la definicion del grupo de Lorentz simple de la seccion anterior, vamos


a definir un grupo de Lorentz en general como:
) que deja
Grupo de Lorentz: Es el conjunto de transformaciones lineales (
invariante al tensor metrico:
) | = T }.
GL = {(
En la definicion anterior, se introduce un espacio de parametros que debe incluir
la velocidad y las direcciones relativas entre los ejes coordenados de observadores, como
se especificara mas adelante. Por ahora, podemos estudiar algunas propiedades globales
del grupo de Lorentz sin necesidad de conocer la forma especfica de la transformacion
:
1. Si el tensor metrico es invariante frente a las transformaciones de Lorentz, su
determinante cumple:
Det[] = Det[T ]
= Det[T ]Det[]Det[]
= (Det[])2 Det[].

(7.21)

Al comparar el u ltimo termino con el primero, se deduce que:


(Det[])2 = 1,

(7.22)

en donde se identifican dos clases de transformaciones con determinantes de diferentes signos:


(
+1, Transformaciones Propias
Det[] =
1, Transformaciones Impropias.

(7.23)

2. La transformacion de Lorentz se puede representar en el caso mas general como


una matrz 4 4 con componentes
0 0
1
0
=
2
0
3 0

0 1
1 1
2 1
3 1

0 2
1 2
2 2
3 2

0 3
1 3
,
2 3
3 3

(7.24)

CAPITULO 7. EL GRUPO DE LORENTZ

92

donde se usa la notacion de indices de la forma empezando por 0 para indicar


cada una de las componentes. La forma matematica que tengan estas componentes
debe ser tal que deje invariante al tensor metrico, es decir, que cumplan con:

1
0
=
0
0
0
0
0
1
=
0
2
0 3

0
1
0
0

0
0
1
0

0
0

0
1

1 0 2 0 3 0
1

0
1
0
0

0
0
1
0

0 0 1 0 2 0 3
0
1
0


0
.
2

0
0


1
3 0

Para simplificar, se usan los smbolos () que marcan las posiciones de las demas
componentes. Al realizar los productos entre las tres matrces, se obtiene una
matrz que debe igualarse con la primera. En general, dos matrices son iguales
si cada una de sus componentes son iguales, por lo que la ecuacion anterior representa realmente un conjunto de 16 ecuaciones: una que debe igualarse a 1, tres
iguales a 1 y doce iguales a 0. En particular, la primera ecuacion es:
1 = (0 0 )2 + (1 1 )2 + (2 1 )2 + (3 1 )2
3

= (0 0 )2 + (i 1 )2 ,

(7.25)

i=1

donde se usa el ndice i para denotar las componentes espaciales {1, 2, 3}. As, se
generan dos tipos de soluciones para 0 0 , que produce dos clases de transformaciones de Lorentz:
q
+ 1 + 3 (i )2 > 1,
Transformaciones Ortocronas
i=1
1
q
(7.26)
0 0 =
1 + 3 (i )2 < 1, Transformaciones anti-Ortocronas.
i=1
1
As, el grupo de Lorentz se puede separar en 4 tipos formados por diferentes combinaciones de las propiedades anteriores: 1.) propias ortocronas, 2.) propias anti-ortocronas,
3.) impropias ortocronas y 4.) impropias anti-ortocronas. Sin embargo, como veremos
luego, las transformaciones propias ortocronas son la que pueden describir rotaciones
puras y transformacion entre observadores en movimiento relativo, conocido como el
grupo de Lorentz restringido. As, definimos:

7.4. TRANSFORMACIONES DE LORENTZ RESTRINGIDAS

93

) | = T , Det[] = 1, 0 0 > 1}.


Grupo de Lorentz restringido: {(
Los otros 3 tipos de grupos de Lorentz describen transformaciones discretas. Por ejemplo, la transformacion de paridad, en la cual las coordenadas espaciales cambian de
signo, son transformaciones de Lorentz impropias ortocronas. La inversion temporal son
transformaciones impropias anti-ortocronas, mientras que la combinacion simultanea de
paridad e inversion temporal forman una transformacion propia anti-ortocrona.

7.4.

Transformaciones de Lorentz restringidas

Despues de describir algunas propiedades generales del grupo de Lorentz, en e sta


) para el grupo de
seccion vamos a obtener la forma explcita de la transformacion (
Lorentz restringido. La estrategia para obtenerlas, es partir de las TLS, y por medio de rotaciones espaciales, llegar a la forma mas general de las transformaciones. Inicialmente,
la obtendremos para un espacio-tiempo de dimension (2 + 1), y posteriormente haremos
la extension a (3 + 1). Para simplificar el a lgebra, usaremos la siguiente notacion para
las funciones trigonometricas:
sin = S , cos = C .

(7.28)
(7.29)

Los ejes rotados cumplen con las condiciones de la configuracion estandar descrito
en la seccion 2.3, por lo que se relacionan entre s a traves de las TLS:
| X1 ) .
x00 = (x0 |
0
| x0 ) ,
X1 = (X1 |
X20 = X2 ,

(7.30)

x1

Figura 7.1

(7.27)

Consideremos dos observadores y 0 , donde 0 se mueve en el plano respecto a


con velocidad v = v1 e1 + v2 e2 , donde e1,2 representan los vectores unitarios de los
ejes coordenados de . Supongamos ademas que el eje x10 forma un a ngulo respecto a
x1 , como se muestra en la Figura 7.1, mientras que es el a ngulo del vector velocidad
respecto al eje x1 . Las coordenadas transforman de acuerdo a las TLS si rotamos los
ejes coordenados de ambos observadores en la direccion de la velocidad relativa, como
se muestra en la Figura 7.2, la cual podemos describir por ecuaciones de rotacion de
la forma obtenidas anteriormente en la ecuacion (5.6). As, usando la notacion de las
Figuras. 7.1 y 7.2, los ejes originales y rotados se relacionen entre s de acuerdo a:
(
X1 = x1C + x2 S ,
Observador :
X2 = x1 S + x2C ,
(
X10 = x10 C( ) + x20 S( ) ,
Observador 0 :
X20 = x10 S( ) + x20 C( ) .

x2

X1


X1

v

X2


X2



Figura 7.2

CAPITULO 7. EL GRUPO DE LORENTZ

94
donde se define el vector como:

v
= ,
c

(7.31)

mientras que el factor se relaciona con la magnitud del vector anterior como:
1
1
=q
=p
.
12
|2
1 |

(7.32)

Si reemplazamos las ecuaciones de rotacion [espacial] dadas por (7.28) y (7.29)


en las ecuaciones de transformacion (7.30), podemos obtener las transformaciones de
Lorentz en los sistemas coordenados originales. Este procedimiento se puede simplificar
si expresamos las ecuaciones de rotacion (7.28) y (7.29) en forma matricial como 1 :



x0
1
0
0
x0
x0
X1 = 0 C S x1 = R( ) x1
X2
0 S C
x2
x2
0

0
0
1
0
0
x0
x0
x0
X10 = 0 C( ) S( ) x10 = R( ) x10 ,
X20
0 S( ) C )
x20
x20

(7.33)

(7.34)

y las de transformacion en (7.30) como:


0

x0

X10 =
0
X20



x0
0
x0
0 X1 = L( ) X1 ,
1
X2
X2

(7.35)

donde se definen las matrices de rotacion espacial R( ) y R( ), y la matrz de la TLS


L( ). Reemplazando las rotaciones (7.33) y (7.34) en las de transformacion en (7.35),
obtenemos:

0
x0
x0
0

R( ) x1 = L( )R( ) x1 .
x20
x2

(7.36)

Multiplicando a lado y lado de la ecuacion anterior por el inverso R1 ( ), se obtiene:


1 Aunque

las rotaciones espaciales en (7.33) y (7.34) se adiciona la componente temporal, observe que
e sta no rota de ninguna manera, obteniendo la relacion trivial x0 = x0 y x00 = x00 .

7.4. TRANSFORMACIONES DE LORENTZ RESTRINGIDAS


0
x0
x0
x10 = R1 ( )L( )R( ) x1 ,
x2
x20

95

(7.37)

que corresponde a la transformacion de Lorentz en el sistema de ejes coordenados originales. Explcitamente, la matrz inversa es:

1
0
0
R1 ( ) = 0 C( ) S( ) .
0 S( ) C )

(7.38)

Problema 19: Demuestre que la matrz (7.38), es la inversa de R( ).

Usando las identidades trigonometricas C( ) = C C + S S y S( ) = S C


C S , la matrz inversa (7.38) se puede separar en el producto de dos matrices como:

1
0
0
R1 ( ) = 0 C( ) S( )
0 S( ) C( )

1
0
0
1 0

0 C S
0 C
=
0 S C
0 S

0
S
C

= R()R1 ( ).

(7.39)

Problema 20: Demuestre la igualdad de la ecuacion (7.39).

As, el producto entre las tres matrices de (7.37) da la siguiente matrz de transformacion en el espacio-tiempo (2 + 1):
2 = R1 ( )L( )R( ) = R()R1 ( )L( )R( )
= R()L2 ( , ),

(7.40)

CAPITULO 7. EL GRUPO DE LORENTZ

96

donde R() representa una rotacion espacial pura alrededor del eje x3 en un a ngulo ,
y L2 ( , ) contiene la transformacion pura entre observadores en movimiento relativo,
conocidos comunmente como los Boost de Lorentz, como se ilustra en las Figurass 7.3
y 7.4:

1
0
0
R() = 0 C S
0 S C

x3

x2


x2

x1

x

1

L2 ( , ) = R1 ( )L( )R( )

C
C2 + S2
=
S ( 1) S C

S
( 1)C S .
S2 +C2

(7.41)

En particular, para los boost de Lorentz, en vez del a ngulo y la magnitud , la matrz
Figura 7.3: Rotacion Pura se acostumbra escribir en terminos de las componentes cartesianas del factor , donde:

C =

1
2
, S = ,

(7.42)

con lo que se obtienen las siguientes relaciones asociadas a las componentes de los boost:

C2
Figura 7.4: Boost de
Lorentz

= 1 ,

= 2 ,

+ S2

= 1 + ( 1)C2
2
= 1 + ( 1) 12 ,

= 1 + ( 1)S2
2
= 1 + ( 1) 22 ,

1 2
= ( 1) 2 .

S2 +C2

( 1)S C

(7.43)

Para simplificar estas expresiones, podemos definir el siguiente parametro:

ai j = i j + ( 1)

i j
,
2

donde i j se conoce como el delta de Kronecker, que se define como:

(7.44)

7.4. TRANSFORMACIONES DE LORENTZ RESTRINGIDAS

(
1, si i = j
i j =
,
0, si i 6= j

97

(7.45)

y los ndices i y j toman valores de 1 o 2 segun sean las componentes cartesianas 1 y


2 que participen en cada termino. As, las tres u ltimas ecuaciones de (7.43) se reducen
a:
(1 )2
= a11
2
(2 )2
= 1 + ( 1) 2 = a22

1 2
= ( 1) 2 = a12 .

C2 + S2

= 1 + ( 1)

S2 +C2
( 1)S C

(7.46)

Usando las identidades anteriores, los boost de Lorentz en (7.41) se expresan explcitamente en funcion de (1 , 2 ), obteniendo:

1 2
a12 .
L2 (1 , 2 ) = 1 a11
2 a21
a22

(7.47)

As, las transformaciones de Lorentz se construyen a traves del producto de rotaciones espaciales y boost de acuerdo a la ecuacion (7.40), que son funciones del espacio de
parametros = {1 , 2 , }:
2 (1 , 2 , ) = R()L2 (1 , 2 )

1
0
0

1 2
a12 .
= 0 C S 1 a11
0 S C
2 a21
a22

(7.48)

La extension al caso mas general de las tres dimensiones espaciales se puede hacer
directamente a partir de los resultados anteriores. En este caso, el movimiento relativo
entre dos observadores viene descrito por un vector beta de la forma = 1 e1 + 2 e2 +
3 e3 , mientras sus ejes coordenados tienen diferentes orientaciones. En general, una rotacion en cualquier orientacion se puede describir como tres rotaciones alrededor de cada
uno de los ejes coordenados. As, sea 1 el a ngulo de rotacion alrededor del eje x1 , 2
el a ngulo alrededor de x2 y 3 el a ngulo alrededor de x3 . Para construir estas rotaciones,
tomemos como referencia la matrz R() de la ecuacion (7.41), la cual representa la rotacion alrededor del eje x3 . Pero en el caso del espacio-tiempo de dimension (3 + 1), esa

CAPITULO 7. EL GRUPO DE LORENTZ

98

matrz debe tener una columna y una fila adicional que represente posibles rotaciones
del eje x3 . Para rotaciones alrededor del eje x3 , los ejes x1 y x2 rotan, mientras que x3 se
mantiene fijo, tal como se mostro en la Figura 7.3. As, e sta matrz de rotacion toma la
forma:

1
0
0
0 C3 S3
R3 (3 ) =
0 S3 C3
0
0
0

0
0
,
0
1

(7.49)

donde la forma de la u ltima fila y columna llena de ceros con un 1 en la diagonal indica
que la rotacion es alrededor de x3 . Con esto, es directo obtener las demas rotaciones. La
rotacion alrededor del eje x2 es:

1
0
0 C2
R2 (2 ) =
0
0
0 S2

0 0
0 S2
,
1 0
0 C2

(7.50)

donde la tercera fila y columna esta llena de ceros con un 1 en la diagonal, indicando la
rotacion alrededor de x2 . Finalmente, alrededor del eje x1 , se obtiene:

1
0
R1 (1 ) =
0
0

0
0
0
1
0
0
.
0 C1 S1
0 S1 C1

(7.51)

As, la rotacion completa se obtiene como el producto de las tres rotaciones anteriores:

R(1 , 2 , 3 ) = R(1 )R(2 )R(3 ).

(7.52)

Por otro lado, la generalizacion de los Boost de Lorentz, tambien se obtienen a partir
de la forma (2 + 1) de la matrz (7.47). Su extension a la forma (3 + 1) se logra adicionando una fila y una columna que contenga la componente 3 , obteniendo:

1 2 3
1 a11
a12
a13
,
L3 (1 , 2 , 3 ) =
2 a21
a22
a23
3 a31
a32
a33

(7.53)


7.5. ALGEBRA
DEL GRUPO DE LORENTZ

99

donde los coefiencientes ai j sigue tomando la misma forma definida en (7.44), con la
diferencia de que ahora los ndices i y j pueden tomar los tres valores 1, 2 o 3. De esta
manera, las transformaciones de Lorentz restringidas mas generales son:

,
) = R(1 , 2 , 3 )L3 (1 , 2 , 3 ),
(

(7.54)

donde hemos usado la notacion = (1 , 2 , 3 ) y = (1 , 2 , 3 ).

Problema 21: Demuestre que la Transformacion de Lorentz de la ecuacion (7.54),


cumple con las condiciones de un grupo de Lorentz restringido.

Finalmente, es importante aclarar que a diferencia de las TLS, la forma general de


las transformaciones de Lorentz tienen propiedades de un grupo no abeliano.

7.5. Algebra
del Grupo de Lorentz
Para construir las leyes de la fsica en el lenguaje de la relatividad especial, es necesario tener las herramientas algebraicas apropiadas soportadas en la formulacion tensorial.
En e sta seccion se hace una introduccion formal a los tensores a partir de las propiedades
de grupo que exhibe las transformaciones de Lorentz.

7.5.1.

Los generadores del grupo de Lorentz

Ademas de cumplir con propiedades de un grupo continuo, las transformaciones de


Lorentz exhibe propiedades de grupo de Lie. En general se define:
Sea un grupo continuo g( ) funcion de un espacio de parametros = (1 , 2 , ..., n ).
Si para cualquier par de componentes i y j se cumple:

g(i , j ) = g(i , 0)g(0, j ),

(7.55)

entonces el grupo es un grupo de Lie.


La condicion (7.55) la podemos interpretar como una transformacion simultanea en
dos direcciones de una funcion, que es equivalente a dos transformaciones consecutivas
en cada direccion por separado. La consecuencia mas importante de que un grupo sea de

100

CAPITULO 7. EL GRUPO DE LORENTZ

Lie, es que su a lgebra se puede determinar a partir de sus generadores, que se definen
como las derivadas parciales

g(k )
Tk = i
,
(7.56)
k k =0
para cada componente k del espacio de parametros. En el apendice D, se demuestra que
los elementos de un grupo de Lie se pueden escribir como:
g( ) = ei k k Tk .

(7.57)

Para el caso del grupo de Lorentz, es conveniente expresar las transformaciones de


Lorentz en terminos de la rapidez hiperbolica definida en la seccion 6.4, en vez de usar el
factor . Para eso, generalicemos la definicion dada por la ecuacion (6.15), y definamos
el vector rapidez hiperbolica como:
y = (tanh1 ) ,

(7.58)

donde el vector unitario indica la direccion de la velocidad relativa entre observadores. As, las transformaciones de Lorentz en (7.54) se pueden escribir en funcion de las
componentes de la rapidez hiperbolica:
) = R(1 , 2 , 3 )L3 (y1 , y2 , y3 ).
(y,

(7.59)

Como las rotaciones espaciales y los boost de Lorentz forman independientemente un


grupo de Lie, podemos definir los siguientes generadores:

R(k )
Momento Angular : Jk = i
,
k k =0

L3 (yk )
.
Boost : Kk = i
yk yk =0

(7.60)

As, las rotaciones y boost de Lorentz se pueden expresar como funciones exponenciales
de sus generadores:
) = ei k k Jk ,
R(
L3 (y) = ei k yk Kk ,

(7.61)

por lo que las transformaciones de Lorentz tambien se acostumbran escribir en la forma:


) = R(
)L3 (y) = ei k (k Jk +yk Kk ) .
(y,

(7.62)


7.5. ALGEBRA
DEL GRUPO DE LORENTZ

7.5.2.

101

Representaciones del Grupo de Lorentz

Extendiendo la definicion de la ecuacion (7.12), una transformacion de Lorentz se


define como:

: X X0 ,

(7.63)

tal que el operador deja el tensor metrico invariante. Lo anterior se traduce en terminos
fsicos como el cambio que sufren las coordenadas de espacio y de tiempo de un evento
debido al movimiento relativo entre dos observadores, el cual es generado por la accion
del operador , y que son compatibles con los postulados de la relatividad especial. Por
otro lado, ademas de sus coordenadas, los eventos pueden exhibir diversas propiedades
fsicas que tambien van a transformar bajo el cambio entre observadores inerciales. La
forma especfica que tenga dicha transformacion depende de la naturaleza de la propiedad fsica asociada al evento, la cual puede diferir de la transformacion de coordenadas.
Para describir el efecto que producen las transformaciones de Lorentz sobre propiedades
fsicas diferentes a las coordenadas, vamos a definir una variable generica que contenga la descripcion completa de la propiedad. Por ejemplo, puede representar fuerzas,
masas en reposo, energa, campo electrico, funciones de onda cuanticas, etc. Al igual
que sucede con las coordenadas, el cambio que sufra debe respetar los postulados de
la relatividad. El cumplimiento de los postulados se puede garantizar si exigimos que el
operador que genera la transformacion de esa propiedad es funcion de , por lo que lo
marcamos como M(), y que bajo dos transformaciones sucesivas, se cumpla:

M(1 2 ) = M(1 )M(2 ),

(7.64)

es decir, que M() sea un homomorfismo de . As, la transformacion de coordenadas


indicada por (7.63) esta acompanada por la transformacion de otras variables fsicas, que
lo podemos indicar como:

Si : X X0

M() : 0 ,

(7.65)

Una forma mas corta de expresar las relaciones en (7.65) es:


0 = M(),

(7.66)

Debido a la condicion (7.64), las funciones M() heredan las mismas propiedades de
grupo de las transformaciones de Lorentz, razon por la cual las llamamos representaciones del Grupo de Lorentz. Concretamente, se define:

102

CAPITULO 7. EL GRUPO DE LORENTZ

Representaciones del Grupo de Lorentz: Es el conjunto de transformaciones


lineales M() que transforman una variable fsica como
0 = M(),
tal que bajo dos transformaciones de Lorentz sucesivas se cumple:
M(1 )M(2 )(x) = M(1 2 )(x).
Especficamente, lo anterior define una representacion finita del grupo de Lorentz, ya
que la cantidad genera un espacio vectorial de dimension finita2 . Por otro lado, como
se dijo anteriormente, la forma especfica que tome el homomorfismo M() depende
de la naturaleza de la propiedad , es decir, conociendo la naturaleza de , podemos
determinar la forma de M(). Pero esto tambien se puede ver de manera inversa: si
conocemos como es M(), podemos definir cual es la naturaleza de la propiedad .
Decimos entonces que forma una base de las representaciones de Lorentz:
Base de una representaciones del Grupo de Lorentz: Es el conjunto de variables
que transforman a traves de una representacion del Grupo de Lorentz
bajo transformaciones de Lorentz.
Dicho de otra forma:
Si 0 = M() cuando x x0 = x, entonces es base de la representacion
de Lorentz M().
Es importante enfatizar que no cualquier variable es base de una representacion
de Lorentz. Por ejemplo, si F describe la fuerza sobre un cuerpo, sabemos que e sta es
diferente entre dos observadores en movimiento relativo. Si F es la fuerza medida por
y F 0 la medida por 0 , en principio podremos relacionar ambas por medio de una funcion
g(u) (ver ecuacion (4.1)) que depende de la velocidad relativa entre ambos observadores:
F 0 = g(u)F.

(7.67)

Sin embargo, al determinar la funcion g(u) vamos a encontrar que no es un homomorfismo de las transformaciones de Lorentz. Esto sigue sucedieno incluso aunque la fuerza
se extienda a sus tres componentes espaciales. Por lo tanto, la fuerza descrita en la forma
tradicional de un vector con tres componentes, no es una base de las representaciones
del grupo de Lorentz. Como veremos mas adelante, para poder describir la fuerza en una
base de Lorentz, es necesario definir una cantidad mas grande que un vector, en cuyo
caso para distinguirlo de la fuerza clasica, lo llamaremos la cuadri-fuerza.
2 Tambien

existen representaciones infinitas, donde la cantidad representan campos que dependen de


las coordenadas espacio-temporales.


7.5. ALGEBRA
DEL GRUPO DE LORENTZ

103

Por otro lado, a traves de los generadores del grupo de Lorentz, podemos clasificar
todas las representaciones de Lorentz posibles, o equivalentemente, todas las bases de
representaciones de Lorentz. Si las transformaciones de Lorentz se describen por medio
de sus generadores de acuerdo a la forma exponencial de la ecuacion (7.62), entonces
una representacion de Lorentz tambien se puede describir de la misma forma:
M() = ei k (k M(Jk )+yk M(Kk )) ,

(7.68)

donde a los generadores tambien se le asocia una representacion:


Jk M(Jk ),
Kk M(Kk ).

(7.69)

Sin entrar en detalles que van mas alla del nivel del texto, se puede mostrar que todas las
posibles representaciones de los generadores del grupo de Lorentz se pueden obtener a
partir de la combinacion
Jk =

Jk iKk
,
2

(7.70)

cuyas representaciones se pueden parametrizar en funcion de dos ndices enteros o semienteros3 :


Jk+ M j+ (Jk+ )
Jk M j (Jk ).

(7.71)

tal que si
(
entero,
M() es representacion tensorial,
j = | j+ j | =
semi-entero, M() es representacion espinorial.

(7.72)

A la base de las representaciones anteriores se le conocen como tensores y espinores,


respectivamente. As, se define:
1. Tensor: Base que transforma a traves de una representacion tensorial del grupo de
Lorentz ante el cambio entre observadores inerciales.
2. Espinor: Base que transforma a traves de una representacion espinorial del grupo
de Lorentz ante el cambio entre observadores inerciales.
3 Una

cantidad semi-entera es la razon entre dos enteros.

104

CAPITULO 7. EL GRUPO DE LORENTZ

As, cualquier representacion del grupo de Lorentz cae en alguna de dos categoras:
tensores o espinores. Para ilustrar algunas aplicaciones fsicas, consideremos los siguientes ejemplos:
- Espinores de Weyl: Cuando ( j+ , j ) = (1/2, 0) o (0, 1/2), las bases forman un espinor de Weyl con espn j = 1/2. En el primer caso, se genera un espinor derecho
R , mientras que el segundo es un espinor izquierdo L . Estas representaciones
describen fermiones de espn 1/2 que exhiben distintas propiedades bajo transformacion de paridad. A nivel nuclear, la fuerza de interaccion debil distingue si un
fermion es derecho o izquierdo. Un caso extremo de dicha diferencia se observa
en las partculas llamadas neutrinos, las cuales solo se han detectado de tipo izquierdo. Un tema actual de la fsica de partculas esta en entender porque no se
han observan neutrinos derechos.
- Espinor de Dirac: Si se combinan las representaciones de Weyl en una representacion (1/2, 0) (0, 1/2), se genera una base con dos espinores de Weyl de la
forma:


L
D =
,
R

(7.73)

correspondiente a un espinor de Dirac, los cuales tambien describen fermiones de


espn j = 1/2 pero que son indistinguibles bajo paridad. Por ejemplo, la interaccion electromagnetica entre electrones se describen por un espinor de Dirac, que
es la base para la electrodinamica cuantica.
- Representacion fundamental: Cuando ( j+ , j ) = (1/2, 1/2) ( j = 0 y 1), las representaciones de los generadores son los mismos generadores, es decir, M(Jk ) = Jk
y M(Kk ) = Kk . Por lo tanto, la representacion del grupo de Lorentz coincide con
la misma transformacion de Lorentz:

M() = ,

(7.74)

que se conoce como la representacion fundamental. Como se definira mas adelantes, la base de esta representacion forma un tensor de rango uno, que tradicionalmente se conoce como un cuadri-vector. Hay muchos ejemplos fsicos de cuadrivectores que vamos a describir en los dos u ltimos captulos: el cuadri-momento,
la cuadri-fuerza, la cuadri-corriente electrica, etc.
- Representacion escalar: Si ( j+ , j ) = (0, 0), obtenemos el caso trivial M(Jk ) =
M(Kk ) = 0, por lo que la representacion del grupo de Lorentz es simplemente la


7.5. ALGEBRA
DEL GRUPO DE LORENTZ

105

identidad. As, la base de e sta representacion no cambia frente a las transformaciones de Lorentz, lo que se conoce como un escalar. Por ejemplo, la masa en
reposo es una cantidad que no cambia frente a las transformaciones de Lorentz,
por lo que tiene naturaleza escalar. En la fsica de partculas, el recientemente descubierto Boson de Higgs exhibe propiedades de espn j = 0, por lo que cae en esta
representacion. Decmos entonces que el boson de Higgs es una partcula escalar.

7.5.3.

Representaciones tensoriales

A nivel de la mecanica y la electrodinamica clasicas, las u nicas representaciones que


aparecen son las tensoriales. En la seccion anterior definimos un tensor de forma general.
Sin embargo, dentro de los tensores, existen diferentes clasificaciones. Para eso, vamos
a utilizar otra descripcion de una representacion tensorial diferente a la dada por (7.72).
Si el espn j es un numero entero, se puede demostrar que la representacion del grupo de
Lorentz se genera como productos entre transformaciones de Lorentz y transformaciones
inversas, que lo notamos de manera generica como:
M() j=entero = n .

(7.75)

Dependiendo de la cantidad de transformaciones directas e inversas, podemos clasificar tres tipos de tensores:
1. Tensores de rango n contravariantes: Es el conjunto de variables T que transforman como n transformaciones de Lorentz ante el cambio entre observadores
inerciales:

T T 0 = ()n T.

(7.76)

2. Tensores de rango n covariantes: Es el conjunto de funciones que transforman


como n transformaciones de Lorentz inversas

T T 0 = (1 )n T.

(7.77)

3. Tensores mixtos de rango n: Es el conjunto de funciones que transforman como p


transformaciones de Lorentz y n p transformaciones inversas

T T 0 = () p (1 )np T.

(7.78)

CAPITULO 7. EL GRUPO DE LORENTZ

106

Con estas definiciones, podemos obtener las representaciones escalares, cuadri-vectores


y tensores de rango superior que describimos al final de la subseccion anterior. Lo que
no estan incluidos son los espinores, ya que estos caen en otra categora diferente a los
tensores:
- Escalares: Cuando la potencia es n = 0, se obtiene la representacion de rango
cero:
M() = 0 = 1,

(7.79)

cuya base T = forma un escalar:

0 = .

(7.80)

As, un escalar es una cantidad invariante bajo las transformaciones de Lorentz.


- Cuadri-vectores: Cuando la potencia es n = 1, se obtiene la representacion de
rango uno, que puede ser contravariante (V) o covariante (V ):

Si M() = V 0 = V : c-vector contravariante


Si M() = 1 V 0 = 1V : c-vector covariante.

(7.81)

As, por ejemplo, las coordenadas espacio-temporales (x0 , x) forman un c-vector


que puede ser contra- o covariante.
Finalmente, existen otras representaciones tensoriales cuya transformacion depende
del determinante de la transformacion de Lorentz. La base de tales representaciones se
conocen como seudo-tensores:
seudo-tensor: Conjunto de variables que transforman como un tensor y con el
signo del determinante de la transformacion de Lorentz:

T T 0 = Det[]()n T.

(7.82)

CAPITULO

Algebra
de Tensores

Aunque el tratamiento matricial desarrollado en el captulo anterior permitio describir de forma mas directa las propiedades algebraicas de las transformaciones de Lorentz,
en la practica su manejo es ineficiente y complejo. En este captulo vamos a describir
una notacion mas apropiada para la manipulacion algebraica de los tensores.

8.1.

Notacion de ndices de Einstein

En la ecuacion (7.24) definimos la representacion fundamental de las transformaciones de Lorentz como una matrz 4 4 formada por 9 componentes, cada una identificada

por dos ndices de la forma . Generalizando la notacion, vamos a marcar con letras griegas minusculas cualquier componente espacio-temporal, es decir un ndice marcado con cualquiera de las letras {, , , , , , ...}, indica una de las componentes
{0, 1, 2, 3}, donde 0 hace referencia a componentes temporales y (1, 2, 3) a componentes
espaciales. En algunas circunstancias, vamos a encontrar parametros puramente espaciales, es decir, que solamente tiene componentes (1, 2, 3). Para distinguirlo del anterior,
esos ndices se marcan con letras latinas minusculas, generalmente empezando desde i:
{i, j, k, l, m, n, ...}.
Por otro lado, en el caso de las bases tensoriales, sabemos que existen tres tipos
de representaciones: contravariantes, covariantes y mixtos. Para distinguir uno de otro,
vamos a marcar a los tensores con ndices espacio-temporales con la siguienta regla de
posicion:
107


CAPITULO 8. ALGEBRA
DE TENSORES

108

ndices arriba tensores contravariantes. Ejemplo: T , T .


ndices abajo tensores covariantes. Ejemplo: T , T .

ndices arriba y abajo tensores mixtos. Ejemplo: T , T .

(8.1)

En esta notacion, la cantidad de ndices se relaciona con la representacion especfica, la


cual se obtiene de acuerdo al rango del tensor. As, por ejemplo, un escalar (rango cero)
al ser invariante, no exhibe productos con , por lo que no se necesitan ndices. Un cvector (rango 1) transforma con una transformacion de Lorentz, por lo que se requiere de
un ndice. Un tensor de rango 2 transforma con dos transformaciones , lo que requiere
de dos ndices, y as sucesivamente. As, se tiene:

Tensores sin ndices rango 0 (escalares)


Tensores con un ndice rango 1 (cuadri-vectores)

Tensores con n ndices rango n .

(8.2)

De esta manera, la notacion de ndices exhibe explcitamente la naturaleza tensorial de


las variables: su forma de transformacion y su dimension (numero de componentes necesarios para describirlo completamente).

8.2.

Operaciones tensoriales

Al igual que sucede con las variables y funciones ordinarias, los tensores se pueden
combinar para formar operaciones que den como resultado otros tensores de la misma o
diferente naturaleza, algunas de las cuales vamos a describir a continuacion:
1. Producto interno (contraccion de ndices):
El producto interno define el producto entre tensores, donde dos o mas ndices
suman sobre todas las componentes espacio-temporales, y que da como resultado
otro tensor del mismo o menor rango. Por ejemplo, sean dos tensores A y B .
Un producto interno puede ser:

A B = A0 B0 + A1 B1 + A2 B2 + A3 B3 .

(8.3)

=0

Se observa que al realizar la suma, resulta una cantidad con componente abajo,
es decir, el producto interno anterior da como resultado un c-vector covariante:

8.2. OPERACIONES TENSORIALES

109

A B = C .

(8.4)

=0

El ejemplo anterior exhibe dos reglas basicas del producto interno:


i.) Los ndices que suman deben aparecer en posiciones opuestas, esto es, el
producto interno se define con la suma entre un ndices covariante con uno
contravariante. Por ejemplo, el producto 3=0 A B no existe.
ii.) La suma es diagonal en los ndices, esto es, los ndices que suman, corren
simultaneamente sobre las componentes de espacio-tiempo. Esto se indica
notando con la misma letra a los ndices que suman. Por ejemplo, el producto
3=0 3=0 A B no es un producto interno.
Las reglas anteriores permite interpretar el producto interno como una contraccion
de ndices, donde la presencia de ndices repetidos arriba y abajo automaticamente
indica que existe una suma sobre todos los valores (0, 1, 2, 3) sin necesidad de
poner el smbolo de sumatoria, y que el resultado es un nuevo tensor del rango de
los ndices no repetidos, como si los que suman se aniquilaran entre s (esto se le
conoce como contraccion). As, por ejemplo, el producto interno

A B = A/ B/ = C ,

(8.5)

representa la operacion extendida descrita en las ecuaciones (8.3) y (8.4)


2. Producto escalar:
El producto escalar es un producto interno donde se contraen completamente los
ndices, que da como resultado una cantidad escalar. Por ejemplo:

A B = C.

(8.6)

La importancia del producto escalar es que permite construir cantidades invariantes bajo transformaciones de Lorentz.
3. Producto externo:
En contraste al producto interno donde hay ndices que suman sobre todas las
componentes, el producto externo define una cantidad de mayor rango y por componentes. Por ejemplo, si A representa la componente de un c-vector, y B la
componente de otro c-vector, entonces el producto externo:


CAPITULO 8. ALGEBRA
DE TENSORES

110

A B = C ,

(8.7)

representa la componente de un tensor de rango 2.


4. Adicion:
La adicion o suma se define solamente entre tensores del mismo rango y de componente a componente, que da como resultado un tensor del mismo rango y misma
componente. Por ejemplo,

+B

= C ,

para un valor particular de y . En cambio, sumas como por ejemplo A


A + B o A + B no existen.

(8.8)

+ B ,

5. Producto por un escalar :


Es el producto entre un tensor y un escalar, que da como resultado otro tensor del
mismo rango y naturaleza. Por ejemplo, si es un escalar, se cumple:

= C .

(8.9)

Antes de estudiar algunos tensores fundamentales, es importante enunciar una regla que se puede usar para determinar si un tensor es realmente una representacion de
Lorentz:
Regla del Cociente: Sea X una cantidad arbitraria y V un tensor de la representacion del grupo de Lorentz. Sea el producto (interno o externo) XV = T . Si T es
un tensor de la representacion de Lorentz, entonces la cantidad X tambien es un
tensor de la representacion de Lorentz.

8.3.

Tensores especiales

Antes de definir las bases de representaciones del grupo de Lorentz asociadas a variables fsicas, vamos a definir un conjunto de tensores fundamentales para el calculo
algebraico.

8.3. TENSORES ESPECIALES

8.3.1.

111

Boost de Lorentz

En la ecuacion (7.54), expresamos la transformacion de Lorentz como la combinacion de rotaciones espaciales y transformaciones entre observadores en movimiento
relativo. Como siempre podremos reorientar los ejes de los observadores tal que queden
alineados, vamos a asumir que R(1 , 2 , 3 ) = R(0, 0, 0) = 1, por lo que solamente vamos a trabajar con los Boost de Lorentz. En particular, la representacion fundamental
de los Boost del grupo de Lorentz restringido viene dada por la matrz de la ecuacion
(7.53). Usando la notacion de ndices, cada componente de los Boost lo vamos a notar

como L , los cuales de acuerdo a las forma de la matrz (7.53) y la definicion en (7.44),
podemos escribir como:

L 0 = ,
= L0 i = Li 0 = i ,

Li = i + ( 1) 2 j .
j

(8.10)

Para entender como actuan los boost sobre los tensores, tomemos por ejemplo las
coordenadas espacio-temporales. Como estas transforman con una transformacion de
Lorentz, en la notacion tensorial se representan como un cuadri-vector que puede ser
contra- o covariante, y que tiene la siguiente forma vectorial:
x
x



.
= x0 , x1 , x2 , x3 = x0 , x ,
.
= (x0 , x1 , x2 , x3 ) = (x0 , x) ,

(8.11)

.
donde el smbolo = indica que x o x es una de las cuatro componentes de espaciotiempo. Observese que en la definicion anterior, se escoge la notacion tradicional x para
indicar vectores espaciales sin importar que sea covariante o contravariante1 . Bajo el
cambio de observador inercial, sabemos que las coordenadas transforman de acuerdo a
(7.11), que de forma explcita es:
0
0
00
x
L 0 L0 1 L0 2 L0 3
x

x01
L 1

x1

= 0
2
02
L
x

x2
0
x3
L3 0

x03
0
L x
L 1 x

=
L 2 x ,
L3 x
1 Esta

(8.12)

indistinguibilidad de la parte espacial es consecuencia de la estructura (, +, +, +) que exhibe el


tensor metrico, como se muestra en la ecuacion (8.20). Es importante aclarar que si usamos la estructura
.
(+, , , ), la representacion covariante sera x = (x0 , x).


CAPITULO 8. ALGEBRA
DE TENSORES

112

donde se aplico la notacion de suma del producto interno en el u ltimo termino. Al comparar este termino con el primero, obtenemos el siguiente conjunto de ecuaciones:
x00 = L0 x
x01 = L1 x
x02 = L2 x
x03 = L3 x ,

(8.13)

x0 = L x ,

(8.14)

o en forma mas corta:

para cualquier componente = 0, 1, 2 o 3. De la misma forma, se obtiene la transformacion de Lorentz para las componentes covariantes:
x0 = (L1 ) x .

8.3.2.

(8.15)

Tensores isotropicos

Un tensor isotropico es una cantidad cuyas componentes no cambian de valor bajo


transformaciones de Lorentz. A diferencia de los escalares, un tensor isotropico esta
formado por varias componentes de acuerdo a su rango. Algunos de estos tensores son:
1. Tensor de Kronecker:
Por definicion, la transformacion inversa seguida por la transformacion directa da
la identidad, lo que en terminos tensoriales se expresa como el producto interno:

(L

(
1
=
0

si =

= ,
si 6=

(8.16)

que corresponde a la extension cuadri-dimensional del delta de Kronecker de la


ecuacion (7.45).
2. Tensor metrico:
La matrz de la ecuacion (7.20) define el tensor metrico que determina la geometra
seudo-Euclidiana del intervalo de espacio-tiempo. En notacion tensorial toma la
forma:

1 si = = 0
= 1
si = = 1, 2, 3 ,

0
si 6=

(8.17)

8.3. TENSORES ESPECIALES

113

tal que la distancia de espacio-tiempo queda expresada como un producto escalar


de la forma:

s2 = x x .

(8.18)

Como los ndices se contraen completamente, es evidente que la cantidad s2 es un


escalar, por lo que es invariante frente a las transformaciones de Lorentz. Adicionalmente, el tensor metrico sirve de puente entre tensores contravariantes y covariantes. Por ejemplo, la cuadri-posicion contravariante x la podemos convertir en
covariante a traves del producto interno:
x = x .

(8.19)

Problema 22: Muestre que las componentes temporales entre la representacion contravariante y covariante se diferencian por un signo, mientras que las espaciales tienen
el mismo signo:
x0 = x0 ,

x i = xi .

(8.20)

3. Tensor de Levi-Civita:
Consideremos el siguiente tensor de rango 4:

1
= 1

si ( ) = permutaciones par de (0123)


si ( ) = permutaciones impar de (0123) .
si hay ndices repetidos

(8.21)

El numero de permutaciones es el numero de intercambios consecutivos para obtener otro ordenamiento del conjunto (0123). Por ejemplo, la componente con
( ) = (3120) vale 1 ya que hay que realizar 5 permutaciones entre ndices
para ir de (0123) a (3120):

(0123) (1023) (1203) (1230) (1320) (3120).

(8.22)


CAPITULO 8. ALGEBRA
DE TENSORES

114

Los tensores que cambian de signo bajo permutaciones impar se conocen como
tensores antisimetricos. Por otro lado, para obtener la forma covariante, es necesario bajar los 4 ndices, lo que requiere el producto interno con 4 tensores metricos.
Se puede demostrar que el resultado es un tensor igual a la forma contravariante
pero con signo opuesto:

1 si ( ) = permutaciones par de (0123)


=
1
si ( ) = permutaciones impar de (0123) (8.23)

0
si hay ndices repetidos

Problema 23: Demuestre la ecuacion (8.23).

8.3.3.

Tensores Dual

El tensor metrico se puede interpretar como una operacion que convierte un tensor
contravariante en uno covariante, o viceversa. Por ejemplo, para tensores de rango 2, se
puede definir:
: V V ,

(8.24)

V = V .

(8.25)

donde:

De manera analoga, el tensor de Levi-Civita se puede usar como un operador que


convierte un tensor de rango 2 en otro diferente llamado su forma dual:
: V V ,

(8.26)

que es un tensor de naturaleza covariante, y que se obtiene como:


1
D
(V ) = V = V .
(8.27)
2
El factor 1/2 surge para corregir dobles sumas que aparecen en el producto interno.

CAPITULO

Formulacion Covariante de la Mecanica

En el contexto del a lgebra tensorial, una variable covariante es un tipo de representacion del grupo de Lorentz que transforma como el inverso de las transformaciones
de Lorentz bajo el cambio entre observadores inerciales. Sin embargo, en el contexto de
una teora fsica, se usa tambien la palabra covariante al conjunto de leyes que ademas de
cumplir con el principio de relatividad especial, e stas se escriben en terminos de representaciones del grupo de Lorentz, es decir, en terminos de tensores y espinores, incluso
aunque un tensor puede aparecer en su forma contravariante. En la primera parte del texto, planteamos las leyes de la mecanica que respetaban los postulados de la relatividad,
pero donde las variables no son representaciones del grupo de Lorentz. En e ste captulo,
se revisara de nuevo las leyes de la mecanica pero en el lenguaje formal de los tensores,
es decir, en la formulacion covariante.

9.1.

Variables cinematicas

En la notacion tradicional, las variables cinematicas se representan en terminos de


escalares y vectores, como el tiempo, el desplazamiento, la velocidad, etc. Sin embargo, estas variables no transforman como representaciones del grupo de Lorentz. Para
reconstruir la cinematica con una fomulacion covariante, empezemos por las dos variables basicas que ya tenemos en forma de representaciones del grupo de Lorentz: la
cuadri-posicion y el intervalo de espacio-tiempo. Primero, en la ecuacion (8.11) se definio las componentes de las coordenadas de espacio-tiempo, que lo llamaremos como la
cuadri-posicion, o en forma corta, la c-posicion. Por tradicion, la componente temporal
la definimos en su forma contravariante como x0 = ct. Sin embargo, debido a la forma
del tensor metrico y de acuerdo al resultado de la ecuacion (8.20), su forma covariante
115

116

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

tiene signo opuesto x0 = ct. As, la c-posicion se define:


x
x

.
=
.
=


x0 , x = (ct, x) ,

x0 , x = (ct, x) .

(9.1)

Por otro lado, de acuerdo a la definicion (5.24), el intervalo de espacio-tiempo se


define igual que la distancia de espacio-tiempo pero entre dos eventos que ocurren en
posiciones y tiempos arbitrarios. En el lmite al continuo, si los eventos ocurren en tiempos y posiciones infinitesimalmente cercanos, se define el elemento de espacio-tiempo
como:
ds2 = (dx0 )2 + |dx|2 = c2 dt 2 + |dx|2 .

(9.2)

En particular, cuando los eventos ocurren en la misma posicion, el termino espacial


se anula |dx| = 0 y de acuerdo a la definicion en la subseccion 3.1.2, el observador
medira elementos de tiempo propio d. As, se obtiene que ds2 = c2 d 2 , o despejando
para el tiempo propio:
r
ds2
d =
.
(9.3)
c2
Usando la regla del cociente, puesto que la distancia de espacio-tiempo y la velocidad de la luz son escalares, entonces el tiempo propio tambien es un escalar, por lo que
el tiempo propio de los eventos es u nico independiente del observador inercial. Aunque
los eventos no ocurran en la misma posicion para un observador arbitrario, es posible
relacionar los tiempos relativos con el escalar tiempo propio a traves de la formula de
dilatacion de la ecuacion (3.6). As, aunque el observador no sea el de los tiempos propios de los eventos, es posible expresar la cinematica en terminos de tiempos propios en
lugar de tiempos relativos, esto es, en terminos de una representacion escalar del grupo
de Lorentz. De la formula de dilatacion, es directo comprobar las siguientes relaciones
que seran de uso frecuente en los desarrollos algebraicos:
dt
= ,
d
d
= 1 ,
dt
dt = d.

9.1.1.

(9.4)

La cuadri-velocidad

La cuadri-velocidad se define como la variacion de la c-posicion respecto al tiempo


propio:


9.1. VARIABLES CINEMATICAS

117

U =

dx
.
d

(9.5)

De nuevo, por la regla del cociente, como dx es un c-vector y d es un escalar, entonces


U es un c-vector. Es importante enfatizar que la cantidad

v =

dx
,
dt

(9.6)

donde dt es el tiempo relativo, el cual no es un escalar del grupo de Lorentz (no es


invariante frente a transformaciones de Lorentz), no es un c-vector aunque exhiba cuatro
componentes. A partir de (9.1) y la definicion (9.6), podemos calcular las componentes
de la c-velocidad:
d
x
d

d
(ct, x)
d


dt dx
=
c ,
.
d d
.
=

(9.7)

Usando las relaciones (9.4), se concluye:

U
U

.
= (c, v) ,
.
= (c, v) ,

(9.8)

donde se define el vector velocidad en la forma tradicional:


v=

9.1.2.

dx
.
dt

(9.9)

La cuadri-aceleracion

Continuando con la construccion, definimos la cuadri-aceleracion como la variacion


de la c-velocidad respecto al tiempo propio:

a =

dU
,
d

(9.10)

que evidentemente tambien es un cuadri-vector. Usando las componentes (9.8), se obtiene:

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

118

d
U
d

d
(c, v)
d

dv
d
+ (c, v) ,
= 0,
d
d
.
=

(9.11)

donde cada derivada es:


dv
d
d
d

dv
= A
dt
d
= .
dt
=

(9.12)

Problema 24: Demuestre que:


=

d
= 3 .
dt

(9.13)

Usando las ecuaciones (9.12) y (9.13), y teniendo en cuenta que = v/c, la caceleracion tiene las siguientes componentes:

.
=

4
 a0 = chv A,
0
i
a ,a :
2
a = 2 A + 2 (v a)v ,

(9.14)

donde el vector A representa la aceleracion clasica. La expresion anterior no es de uso


frecuente debido a su forma complicada. Para simplificar las expresiones cinematicas,
se acostumbra usar la aceleracion del sistema co-movil, que se define como:
Sistema co-movil: conjunto de observadores inerciales que instantaneamente se
encuentran en reposo respecto a un cuerpo acelerado.
As, desde un sistema co-movil, el cuerpo se encuentra en reposo intantaneo, por lo que
la velocidad instantanea es v = 0. La c-aceleracion en un sistema co-movil es entonces:
.
ac = (0, A) .

(9.15)


9.2. VARIABLES DINAMICAS

9.2.

119

Variables dinamicas

A partir de las variables cinematicas, se pueden construir las representaciones de


Lorentz que describira la dinamica de las partculas puntuales.

9.2.1.

El cuadri-momento

El momento lineal definido como el producto de la masa y la velocidad no forma


una representacion del grupo de Lorentz. Para eso, se define el cuadri-momento como:

p = m0U ,

(9.16)

donde m0 es la masa en reposo y U la c-velocidad. Como sucede con el tiempo propio,


se utiliza la masa en reposo en vez de la masa relativista, ya que el primero es un escalar
invariante frente a las transformaciones de Lorentz. Explcitamente, las componentes del
c-momento son:

p = m0U

.
= m0 (c, v) .

(9.17)

Usando las definiciones de momento y energa relativistas dadas por las ecuaciones (4.3)
y (4.26 ), las componentes del c-momento se pueden expresar como:
m(v)c2 E
=
c
c
m0 v = m(v)v = p,
m0 c = m(v)c =

(9.18)

por lo que:

.
p =


E
,p .
c

(9.19)

La forma del c-momento exhibe una de las consecuencias mas importantes de la


formulacion covariante de la relatividad, y tiene que ver con la unificacion de conceptos diferentes en un mismo esquema. Esto ya lo habiamos obtenido anteriormente en
el tratamiento geometrico, donde describimos el tiempo y el espacio como variables de
la misma naturaleza en un solo objeto, que identificamos como la c-posicion. De forma analoga, vemos que la energa y el momento lineal se pueden describir de forma
unificada como componentes de un u nico concepto fsico: el c-momento.

120

9.2.2.

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

La fuerza de Minkowski

Podemos plantear el analogo relativista de la segunda Ley de Newton, conocida como la ecuacion de Minkowski. Si la fuerza es la variacion del momento lineal respecto
al tiempo, vamos a definir la cuadri-fuerza, o la fuerza de Minkowski sobre una partcula
puntual como:

F =

d p
.
d

(9.20)

Como el c-momento contiene la energa y momento lineal total de la partcula, la fuerza


de Minkowski representa variaciones de dichas componentes, es decir, la fuerza de Minkowski describe procesos de intercambio de energa y de momento lineal entre sistemas
fsicos. Solamente si F se anula, obtendremos las leyes de conservacion de la energa
y del momento lineal, como explicaremos en la siguiente seccion.
Otro aspecto importante de mencionar en relacion a la ecuacion (9.20) es que aunque
la c-fuerza y el c-momento cambian frente a las transformaciones de Lorentz, la forma de
la ecuacion no cambia, tal como lo exige el primer postulado de la relatividad especial.
Para ilustrar el manejo del a lgebra tensorial descrito en el captulo anterior, vamos a
demostrar la invariancia de la ecuacion de Minkowski. Sea un observador inercial que
mide una c-fuerza que respeta la ecuacion (9.20). Sea otro observador 0 moviendose
con velocidad u respecto a . Queremos calcular la c-fuerza medida por 0 en relacion al
c-momento que mide ese mismo observador. Como la c-fuerza es un cuadri-vector, esta
transforma con una transformacion de Lorentz directa:
F 0 = L F .

(9.21)

Aplicando la ecuacion de Minkowski para F , se obtiene:

F 0 = L

d p
.
d

(9.22)

Para relacionar F 0 con el c-momento en 0 , invirtamos la transformacion del c-momento:


p0 = L

p = (L1 ) p0 .

(9.23)

Reemplazando (9.23) en (9.22), y teniendo en cuenta que el tiempo propio es escalar


( = 0 ) obtenemos:

F 0 = L (L1 )

d p0
,
d 0

(9.24)


9.2. VARIABLES DINAMICAS

121

donde de acuerdo a la definicion del tensor de Kronecker en (8.16) se cumple para una
componente particular que:
L (L1 ) =

por lo que la ecuacion de Minkowski en

= 1,

(9.25)

toma la misma forma que en :

d p0
.
(9.26)
d 0
Para estudiar como la fuerza de Minkowski se relaciona con procesos de intercambio
de energa y momento lineal, calculemos explcitamente sus componentes. Teniendo en
cuenta (9.19), se obtiene:
F 0 =



d E
,p
d c


d E
,p
=
dt c


P
=
,K ,
c
=

(9.27)

donde se define:
dE
dt
dp
K =
.
(9.28)
dt
Podemos ver que P no es mas que la potencia absorbida o dispersada por la partcula y
K es el equivalente relativista de la fuerza, esto es, la variacion de momento lineal relativista respecto al tiempo. Observamos que esta fuerza no es exactamente la componente
espacial de la c-fuerza. De acuerdo a (9.27), las componentes de la c-fuerza son:
P =

P
c
F = K.

F0 =

(9.29)

Por otro lado, podemos mostrar que existe una ligadura que relaciona los cambios de
energa con los cambios de momento lineal. En particular, para partculas estables con
masa en reposo constante, la c-velocidad y la c-fuerza son ortogonales entre s, es decir,
su producto escalar es nulo:
F U = 0,
relacion que se puede demostrar usando la ecuacion general (9.31).

(9.30)

122

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

Problema 25: Usando la descomposicion de la c-velocidad de la ecuacion (9.8), demuestre el siguiente producto escalar:
dU
= 0,
(9.31)
U
d

As, se cumple que:


F 0U0 + F U = 0
F U
F0 =
U0
Kv
=
.
c

(9.32)

Definiendo = v/c y teniendo en cuenta que F 0 = P/c, se encuentra la relacion:

,
P = cK

(9.33)

por lo que las componentes de la c-fuerza para partculas puntuales estables se puede
escribir como:

, K) .
F = (K

9.2.3.

(9.34)

La masa invariante

Como se menciono en el captulo anterior, el producto escalar es una herramienta u til


que nos permite construir nuevas cantidades invariantes frente a las transformaciones de
Lorentz. Por ejemplo, el producto escalar entre las c-posiciones dada por la ecuacion
(8.18) define la distancia de espacio-tiempo. De forma analoga, podemos definir el producto escalar entre los c-momentos:

p p

= m20U U

= m20 U 0U0 +U iUi


2
2 2
2
= m0 c + |v|

= m20 c2 2 1 2 .

(9.35)

9.3. COLISIONES DE PARTICULAS PUNTUALES

123

Teniendo en cuenta que el termino dentro del parentesis no es mas que 2 , se obtiene:
p p = m20 c2 ,

(9.36)

es decir, el producto escalar de los c-momentos se relacionan con la masa en reposo del
cuerpo, la cual como ya habamos conjeturado, es invariante. Por tal razon, a la cantidad
m0 c se le conoce como la masa invariante del cuerpo, aunque su producto por c hace
que no sea exactamente una masa.
Adicionalmente, el producto escalar entre c-momentos nos permite obtener de forma
casi inmediata la relacion de energa-momento dada por la ecuacion (4.33). Explcitamente, con la descomposicion del c-momento de la ecuacion (9.19), se obtiene:

p p

= p0 p0 + pi pi
=

E2
+ |p|2 .
2
c

(9.37)

Al igualar el resultado de (9.37) con (9.36), se puede demostrar la relacion de energamomento:


q
(9.38)
E = c p2 + m20 c2 ,
donde p2 = |p|2 .

Vamos ahora a estudiar sistemas de muchas partculas puntuales que pueden interactuar. En particular, trataremos solamente partculas que interactuan por colision directa1 .
A diferencia del caso clasico, donde el numero de partculas se puede fijar, en relatividad
la materia y la energa pueden intercambiarsen, por lo que el numero de partculas no es
una cantidad fija en el tiempo, incluso aunque el sistema sea cerrado. Sin embargo, en
el caso de colisiones de contacto, podramos separar subconjuntos de objetos que colisionan en el mismo punto espacial y comparar el c-momento de las partculas antes y
despues de la colision, tal que mientras no suceda la interaccion, el numero de partculas
es fijo. As, consideremos un sistema de n partculas libres que se convierte en otro de

m partculas despues de la colision, como se muestra en la Figura 9.1. Si pi representa el c-momento de la iesima partcula en cada instante, definimos el c-momento del
sistema de partculas antes y despues de la colision como:
1 Se

puede hacer un tratamiento mas general con partculas que interactuan a distancia a traves de campos. Sin embargo, dicho tratamiento requiere de herramientas mas sofisticadas provenientes de la teora
cuantica de campos, por lo que no lo trataremos aqu.

n!
m!

5!
4!
3!
2!
1!

!.!.!.!

Colisiones de partculas puntuales

!.!.!.!

9.3.

3!
2!
1!

Figura 9.1

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

124

P(antes) =

(antes)

pi

i=1
m

P(despues) =

(despues)

pi

(9.39)

i=1

El cambio del c-momento debido a la colision es:


P = P(despues) P(antes) .

(9.40)

Si las interacciones al interior del conjunto se da solamente por contacto directo


entre las partculas, la tercera ley de Newton sigue siendo valida sin violar el principio de
causalidad. Entonces, tal como sucede en la mecanica clasica, la transferencia de energa
y momento entre solamente las partculas que colisionan, no produce ningun incremento
ni disipacion global de estas cantidades, por lo que P = 0. Se cumple entonces que los
c-momentos totales definidos de acuerdo a la ecuacion (9.39) se conservan sin importar
el cambio en el numero de partculas. Para que esto ocurra, se tiene que conservar cada
una de sus componentes, es decir, la energa y el momento lineal relativistas del sistema
antes y despues de la colision son los mismos:

(despues)

=P

(antes)

(
(despues)
= ni=1 Ei(antes) ,
m
i=1 Ei

(despues)
= ni=1 p(antes)
.
m
i=1 pi
i

(9.41)

Por otro lado, como ocurre con el caso clasico, las colisiones las podemos clasificar
de dos tipos de acuerdo a si la energa cinetica se conserva o no: elasticas o inelasticas.
Sin embargo, a diferencia de la mecanica clasica, donde las partculas puntuales siempre
exhiben colisiones elasticas, en el caso relativista estas podran ser inelasticas debido
a posibles transformaciones de masa en reposo en energa cinetica durante la colision.
Especficamente, usando la definicion (4.24) y teniendo en cuenta que la energa total se
conserva en sistemas aislados, la condicion que determina si una colision es o no elastica
es:
K = E M0 c2 = const. M0 = const.,

(9.42)

con M0 la suma de las masas en reposo de las partculas del sistema. As, en relatividad
especial las colisiones se clasifican de acuerdo a:
(
Elasticas,
Colisiones:
Inelasticas,

si M0 se conserva,
si M0 no se conserva.

(9.43)

9.3. COLISIONES DE PARTICULAS PUNTUALES

125

Para ilustrar el manejo algebraico de los c-vectores, estudiemos el efecto Compton


que se puede tratar como una colision elastica. Un foton de longitud de onda 0 colisiona
con un electron libre originalmente en reposo. Queremos calcular la nueva longitud de
onda del foton dispersado en funcion de su a ngulo de dispersion. La Figura 9.2 muestra
el proceso antes y despues de la dispersion. Los c-momentos antes de la colision de cada
partcula son:

 
Ef
Ef Ef
, kf =
, , 0, 0
=
c
c c


Ee
=
, pf = (mc, 0, 0, 0) ,
c





(9.44)

donde se hzo uso de la relacion de energa-momento de la ecuacion (9.38) y se tuvo


en cuenta que el electron esta en reposo. Las componentes de c-momento despues de la
colision son:

p0

!
E 0f E 0f
E 0f
=
,
cos ,
sin , 0
=
c
c c
c
 0   0

Ee 0
Ee 0
0
=
,p =
, p cos , p f sin , 0 .
c f
c f
E 0f

, k0f

(9.45)

Si definimos el c-momento total inicial como P = k + p y el final como P0 = k0 +


p0 , la conservacin del c-momento nos dice que k + p = k0 + p0 . Despejando para
el electron, obtenemos:
p0 = k + p k0 .

(9.46)

Por otro lado, obtengamos el producto escalar entre el c-momento inicial:

P P

= k k + p p + 2k p
= m2 c2 + 2k p ,

(9.47)

donde se uso el resultado de la ecuacion (9.36). Para el c-momento final, se obtiene:


P0 P0

= k0 k0 + p0 p0 + 2k0 p0
= m2 c2 + 2k0 p0

= m2 c2 + 2k0 k + p k0 ,

(9.48)

Figura 9.2

126

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

donde se uso la ecuacion (9.46) en la u ltima igualdad. Como los c-momentos totales se
conservan, tambien se conservara sus productos escalares:
P P = P0 P0
m2 c2 + 2k p = m2 c2 + 2k0 k + p k0

k p = k0 k + p k0 .


(9.49)

Para calcular la u ltima igualdad, debemos obtener los productos escalares individuales teniendo en cuenta las componentes de las ecuaciones (9.44) y (9.45). Explcitamente, se obtiene:
k p

k0 p

= mE f ,
E f E 0f E f E 0f
= 2 + 2 cos ,
c
c
= mE 0f

k0 k0

= 0.

k0 k

(9.50)

Reemplazando cada producto escalar obtenido en (9.50) en la ecuacion (9.49), obtenemos:


E f E 0f

(1 cos ) mE 0f .
(9.51)
c2
Si en la ecuacion anterior despejamos la energa del foton despues de la dispersion,
obtenemos:
mE f =

E 0f =

1+

Ef
mc2

E
f
.
(1 cos )

(9.52)

Teniendo en cuenta que la energa del foton se relaciona con su frecuencia de acuerdo a la ecuacion (4.35) y la frecuencia a la longitud de onda como f = c/ con c la
velocidad de la luz, la ecuacion (9.52) se puede escribir en terminos de la longitud de
onda como:
h
(1 cos ) .
(9.53)
mc
La ecuacion (9.53) nos dice que la longitud de onda del foton cambia de acuerdo
al a ngulo de dispersion, resultado que no solamente es compatible con el tratamiento
relativista, sino que confirma la naturaleza cuantica de la luz, ya que la electrodinamica
clasica predice una longitud de onda independiente del a ngulo, contrario a las observaciones experimentales.
0 = 0 +

9.4. EL COHETE RELATIVISTA

9.4.

127

El cohete relativista

En la mecanica clasica, un sistema puede disminuir su masa expulsando materia. En


el caso relativista, sin embargo, debido a que la masa y la energa pueden intercambiarsen, existen otras fuentes que producen variacion de la masa en reposo del sistema. As,
la masa en reposo de la materia emitida da cuenta de solo una parte de la masa total
perdida por el sistema; el resto se distribuye entre energa cinetica y energa de radiacion
dependiendo del tipo de reacciones que se den al interior del sistema. Por lo tanto, es
mejor hablar en terminos de emision de c-momento. En particular, el sistema se define
como un cohete si el c-momento expulsado se logra colimar en una misma direccion,
funcionando como un mecanismo de propulsion.
Supongamos un cohete que en cierto instante de tiempo propio tiene masa en reposo
M() y c-velocidad U () medidos por algun observador inercial. Despues de un intervalo de tiempo propio , el cohete expulsa una porcion de c-momento q en forma de
materia y energa, tal que en el tiempo + , el cohete tiene una nueva masa en reposo
M( + ) y c-velocidad U ( + ). En general, el sistema puede estar sometido a in
teracciones externas descritas por una c-fuerza Fext . La Figura 9.3 ilustra la situacion en
ambos instantes de tiempo. El c-momento del sistema completo encerrado por las lneas
a trazos en cada tiempo es:

F
ext

M
()

U

()

M
(+)


U
(+)

Figura 9.3
P () = M()U (),
P ( + ) = M( + )U ( + ) + q ,

(9.54)

de manera que el cambio del c-momento debido a las interacciones externas es:

P = P ( + ) P () = M( + )U ( + ) M()U () + q . (9.55)
Si consideramos pequenos intervalos de tiempo, y asumiendo que el cambio de la
masa en reposo del cohete se puede describir como una funcion continua y suave, podemos realizar la siguiente expansion en series de Taylor:
1 d (n) M() n

(n)
n=0 n! d

M( + ) =

= M() +

dM()
1 d (n) M() n
+
,
(n)
d
n=2 n! d

(9.56)

donde hemos separado los dos primeros terminos de la suma ya que son las u nicas contribuciones que nos interesaran. Reemplazando la expansion anterior en la ecuacion (9.55)
y dividiendo por el intervalo , obtenemos:

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

128


U ( + ) U ()
dM q
= M()
+U ( + )
+

1 d (n) M() n1
.
d (n)

(9.57)

n!

n=2

Tomando el lmite 0, las razones se convierten en derivadas, mientras que la suma


en el u ltimo termino se cancela para n 2, por lo que obtenemos:
dP
d

= M()

dU
dM dq
+U ()
+
.
d
d
d

(9.58)

La ecuacion anterior se puede simplificar si definimos:

Fext
MU

dP
d
= pc
dq
=
.
d
=

(9.59)

La primera ecuacion es la definicion de c-fuerza que es la variacion del c-momento total.


La segunda es el c-momento del cohete que va perdiendo masa. Finalmente, la tercera
ecuacion describe la razon de emision de c-momento. Con lo anterior, la ecuacion (9.58)
se puede escribir como:

d pc
d

= Fext ,

(9.60)

la cual indica que la variacion del c-momento del cohete tiene dos contribuciones: primero, debido a intercambios de energa y momento con otros sistemas externos descrito

por Fext , y segundo, por emision de c-momento en forma de masa en reposo y energa
definido por .
Para ilustrar una aplicacion de la ecuacion dinamica (9.60), vamos a calcular la velocidad adquirida por el cohete en un caso ideal sin interacciones externas y con una
eficiencia de propulsion del 100 %, donde cualquier variacion de la masa en reposo del
cohete se transforma en c-momento emitido en forma perfectamente colimada en una sola direccion, por ejemplo, a lo largo de la coordenada x1 . Por simplicidad, consideremos
solo emision de materia, en cuyo caso el c-momento de la porcion de masa expulsada
en el intervalo es q = mW , con m su masa en reposo y W su c-velocidad
respecto a algun observador inercial. En el lmite infinitesimal se obtiene para la razon
de emision:

9.4. EL COHETE RELATIVISTA

129

m
q
= lm
W
0
0

= lm

dm
d

= W 0 ,
= W

(9.61)

donde 0 es la razon de emision de masa en reposo. La ecuacion dinamica (9.60) sin


c-fuerza externa se convierte en:

d pc
d

= W 0 ,

(9.62)

Por otro lado, es de esperar que la razon de masa en reposo emitida dependa de la
razon a la que el cohete pierda masa. Sin embargo, debido a la relacion masa-energa, dicha dependencia no es la relacion clasica 0 = dM/d obtenida de la conservacin de la
masa [clasica]. Para calcularla, podemos usar la relacion de ortogonalidad de la ecuacion
(9.31). Multiplicando por la c-velocidad del cohete, la ecuacion (9.62) se transforma en:

d pc
U
d

= U W 0 .

(9.63)

El primer termino se puede descomponer como:

d pc
dMU
= U
d
d

dU
dM
+U U
d
d
dM
= c2
,
d
= MU

(9.64)

donde se uso el producto escalar U (dU /d) = 0 y U U = c2 . Usando lo anterior


en (9.63), se obtiene:

0 =

c2
U W

dM
,
d

(9.65)

por lo que la ecuacion del cohete (9.62) con propulsion de materia se escribe como2 :

d pc
d


=

c2
U W

dM
W .
d

(9.66)

Para resolver la ecuacion diferencial (9.66), sigamos la siguiente estrategia:


2 Aunque

en la ecuacion (9.65), el produto escalar se nota con el ndice , es conveniente cambiarlo por
para no confundirlo con la componente de (9.62).

130

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

i.) Primero, expresemos la ecuacion dinamica (9.66) por medio de su producto escalar por la c-velocidad W :

d pc
W
d


=

c2
U W

dM
W W .
d

(9.67)

El primer termino se puede descomponer como:

d pc
dMU
= W
d
d

= MW U +W U M,

(9.68)

donde usamos la notacion punto para indicar las derivadas temporales. Para el
segundo termino, se cumple W W = c2 . As, la ecuacion (9.67) se desdobla
como:

MW U +W U M =

c4
U W

M,

(9.69)

se convierte en:
que al reunir los dos terminos con M,

MW U =


c4

W
U
M.

U W

(9.70)

ii.) Conviene expresar las c-velocidades en terminos de la rapidez hiperbolica. Como


el movimiento ocurre enteramente en una sola direccion (a lo largo del eje x1 ), es
suficiente utilizar la definicion (6.15).

Problema 26: Usando la ecuacion (6.15), demuestre que el factor , la c-velocidad y


la c-aceleracion para movimiento unidimensional se pueden escribir en terminos de
la rapidez hiperbolica como:
= cosh y,
.
U
= c (cosh y, sinh y, 0, 0)
.
U = cy (sinh y, cosh y, 0, 0)

(9.71)

9.4. EL COHETE RELATIVISTA

131

Llamando yU y yW las rapideces hiperbolicas del cohete y de la materia expulsada


respectivamente, y usando las componentes de acuerdo a la ecuacion (9.71), se
obtienen los siguientes productos escalares:

= c2 (cosh yU cosh yW sinh yU sinh yW )

U W

= c2 cosh(yU yW )
= c2 cosh yr ,

U W

(9.72)

= c2 yU (sinh yU cosh yW cosh yU sinh yW )


= c2 yU sinh(yU yW )
= c2 yU sinh yr ,

(9.73)

donde yr = yU yW es la rapidez relativa entre el cohete y la materia emitida.


Utilizando el resultado de estos dos productos escalares en la ecuacion (9.70), se
obtiene:

Mc yU sinh yr



c2
2
+ c cosh yr M
=

cosh yr


2
2 cosh yr 1
= c
M
cosh yr

2 
2 sinh yr

= c
M.
cosh yr

(9.74)

Reorganizando terminos y conviertendo las derivadas en diferenciales, se obtiene:

dyU = tanh yr

dM
.
M

(9.75)

As, el problema se reduce en integrar la ecuacion diferencial anterior. Pero antes,


observemos que la tangente hiperbolica remanente se relaciona con la velocidad relativa
entre el cohete y la materia expulsada. Usando identidades hiperbolicas, se tiene:

tanh yr = tanh(yU yW ) =
=

tanh(yU ) tanh(yW )
1 tanh(yU ) tanh(yW )
U W
,
1 U W

(9.76)

132

COVARIANTE: MECANICA

CAPITULO 9. FORMULACION

donde se definen los factores betas U = U/c y W = W /c, con U y W las velocidades del
cohete y la materia emitida respecto al observador inercial. Si comparamos el resultado
final de la ecuacion anterior con el teorema de adicion de velocidades en la ecuacion
(3.16), vemos que (9.76) no es mas que la velocidad relativa escrita en terminos de los
factores beta:
tanh yr = r =

vr
.
c

(9.77)

Aplicando lo anterior en (9.75), y tomando el tiempo inicial en cero, obtenemos las


siguientes integrales:
yZ
U ()

dyU = r

yU (0)

M()
Z

dM
,
M

(9.78)

M(0)

donde supusimos que r es constante. Al realizar las integrales, obtenemos:





M()
yU () = yU (0) r ln
,
M(0)

(9.79)

que nos describe la rapidez hiperbolica del cohete en cualquier instante en funcion de
la masa instantanea M(). Para obtener la solucion en terminos de la velocidad, usamos
la siguiente propiedad de las funciones hiperbolicas:
1

yU () = tanh



1
1 U
U = ln
.
2
1 + U

(9.80)

Si adicionalmente suponemos que el cohete parte del reposo (lo cual implica que yU (0) =
0), la ecuacion (9.79) se reescribe para la velocidad como:

U() =

1 (M()/M0 )2r
1 + (M()/M0 )2r

!
c.

(9.81)

Problema 27: Obtenga la ecuacion que describe la velocidad del cohete fotonico,
donde en vez de materia se expulsan fotones. Tenga en cuenta que la porcion de cmomento expulsado en el intervalo se puede calcular como q = NQ , donde
N es la cantidad de fotones emitidos en el intervalo de tiempo, y Q es el c-momento
de un solo foton cuyas componentes cumplen con las ecuacion (4.34).

CAPITULO

10

Formulacion Covariante de la Electrodinamica

Aunque la teora de Maxwell de los campos electromagneticos fue el escenario original en que se formulo la relatividad especial, su forma matematica soportada en el
calculo vectorial no manifiesta de forma trivial su naturaleza relativista. Sin embargo, es
posible definir las variables electromagneticas en el lenguaje formal de las representaciones del grupo de Lorentz, lo que nos permitira plantear las leyes en forma manifiestamente invariantes frente a las transformaciones de Lorentz. En e ste captulo, primero,
haremos una descripcion de las variables basicas de la electrodinamica en terminos de
la formulacion vectorial y tensorial, y posteriormente se mostrara la forma covariante de
las ecuaciones de Maxwell partiendo de su forma vectorial.

10.1.

Representacion vectorial

Antes de describir la electrodinamica en terminos de representaciones del grupo de


Lorentz, vamos a repasar algunos conceptos basicos en el tradicional lenguaje vectorial
del calculo diferencial. En el apendice E definimos los operadores diferenciales basicos.
Una alternativa de construir una teora de las interacciones electromagneticas, es partir de las ecuaciones de Maxwell como axiomas fundamentales, clasificadas en cuatro
ecuaciones de naturaleza vectorial:

Ley de Gauss:

Ley de Ampere-Maxwell:

Ley de Faraday:

Ley de Gauss magnetica:


133

E = 4
1
B = 4
c J + c t E
E = 1c t B
B = 0

(10.1)

134

COVARIANTE: ELECTRODINAMICA

CAPITULO 10. FORMULACION

En lo anterior, se introduce la densidad de carga electrica , y la densidad de corriente


J, las cuales se definen como:
dq
,
dV
J = v,

(10.2)

donde dq/dV representa la carga electrica por unidad de volumen y v es la velocidad de


las fuentes que contienen carga electrica. Aunque la discusion se centra en el formalismo matematico, es importante aclarar al menos el significado fsico de las ecuaciones
anteriores, las cuales resumimos a continuacion:
1. Los campos electricos se originan en fuentes puntuales de cargas electricas.
2. Los campos magneticos rodea a las corrientes electricas.
3. No existen cargas magneticas puntuales (monopolos magneticos).
4. En ausencia de materia, es posible inducir campos magneticos debido a campos
electricos variables. Tambien se puede inducir campos electricos debido a variaciones de campos magneticos.
Por otro lado, la forma de las ecuaciones de Maxwell contiene varias propiedades
matematicas, algunas de las cuales vamos a describir brevemente. Primero, la ley de
Gauss magnetica en (10.1) describe al campo magnetico como un campo de divergencia
nula, es decir, un campo solenoidal. Como la divergencia de un rotacional es siempre
nula (ecuacion (69) en el apendice E), un campo solenoidal se puede expresar como el
rotor de otro campo vectorial:
B = 0 B = A.

(10.3)

El vector A se conoce como el potencial vector. As, si expresamos el campo magnetico


en terminos del potencial vector, la ley de Faraday en (10.1) se puede reescribir de la
siguiente forma:


1
1
E = t A =
t A .
c
c

(10.4)

Agrupando la expresion en un solo rotacional, se obtiene la siguiente forma alternativa


de la ley de Faraday:


1
E + t A = 0,
c

(10.5)

VECTORIAL
10.1. REPRESENTACION

135

= E + 1 t A describe un campo irrotacional. Como el


es decir, la funcion vectorial E
c
rotacional de un gradiente es siempre nulo (ecuacion (70) en el apendice E), un campo
irrotacional se puede expresar como el gradiente de un campo escalar:
E = 0

= .
E

(10.6)

La funcion es el potencial escalar1 . Teniendo en cuenta que E = E + 1c t A, el campo


electrico original se puede describir en terminos de los potenciales escalar y vectorial
como:
1
E = t A.
c

(10.7)

Otra consecuencia de la forma de las ecuaciones de Maxwell, es la conservacion de


la carga electrica manifestada en la ecuacion de continuidad. Como se demuestra en el
apendice F, las fuentes de campos electricos y magneticos cumplen con la ecuacion:
J = t .

(10.8)

Dicha ecuacion afirma fundamentalmente que la carga electrica en una region localizada
del espacio puede variar solamente si fluye de forma continua hacia otra region. Es decir,
la carga no puede desaparecer y aparecer de forma discontinua en otra parte del espacio.
Por otro lado, una de las propiedades mas interesantes de las ecuaciones de Maxwell
es su invariancia frente a un tipo de transformaciones de los potenciales electromagneticos conocidas como transformaciones de gauge. Tal como se demuestra en el apendice
F, los campos electromagneticos (y por lo tanto las ecuaciones de Maxwell) no cambian
si los potenciales transforman como:
1
0 = t ,
c
A A0 = A + ,

(10.9)

donde es una funcion escalar arbitraria. As, la electrodinamica clasica es una teora
invariante de gauge.
En la definicion de los potenciales vector y escalar usamos dos de las ecuaciones de
Maxwell: la ley de Gauss magnetica y la ley de Faraday. As, las ecuaciones (10.3) y
(10.7) heredan las propiedades fsicas contenidas en esas dos ecuaciones de Maxwell. Si
expresamos los campos electricos y magneticos en terminos de los potenciales, las dos
ecuaciones de Maxwell remanentes, la ley de Gauss y la ley de Ampere-Maxwell, las
podemos cambiar por otras dos que contenga solamente a los potenciales.
1 El

signo negativo en la definicion del gradiente en (10.6) es una asignacion arbitraria que permite
asociar a directamente con el potencial electrico

136

COVARIANTE: ELECTRODINAMICA

CAPITULO 10. FORMULACION

Problema 28: Usando la propiedad de la ecuacion (71) del apendice E y las definiciones de las ecuaciones (10.3) y (10.7), demuestre que las leyes de Gauss y de
Ampere-Maxwell se transforman en:
1
2 + t ( A) = 4,

c
1
1
4
2
A A + t 2 t2 A = J.
c
c
c

(10.10)

Las ecuaciones (10.10) es un conjunto de ecuaciones diferenciales de segundo orden acopladas. Para resolverlas (es decir, encontrar como los potenciales dependen del
tiempo y el espacio tal que cumpla con ambas ecuaciones diferenciales), es conveniente
desacoplar ambas ecuaciones, lo cual podemos lograr usando la propiedad de invariancia de gauge. Como los potenciales y A pueden cambiarsen por otros de acuerdo a la
transformacion de gauge de la ecuacion (10.9), podemos escoger por una transformacion
adecuada, un conjunto de potenciales que cumplan con la siguiente relacion:
1
A = t .
c

(10.11)

Si reemplazamos la divergencia del potencial vector por la derivada temporal del potencial escalar de acuerdo a la ecuacion anterior, las ecuaciones (10.10) se reducen a dos
ecuaciones diferenciales descopladas, una para y otra para A:
1 2
= 4,
c2 t
1
4
2 A 2 t2 A = J.
c
c
2

(10.12)

La exigencia de una relacion que restringa la forma de los potenciales se conoce


como asignacion del gauge. La relacion (10.11) es la asignacion en el gauge de Lorentz,
que como se vera en la proxima seccion, nos permitira expresar los potenciales en una
representacion del grupo de Lorentz.

10.2.

Representacion tensorial

Las variables basicas de la electrodinamica descritas en la seccion anterior, se pueden describir de manera formal en terminos de representaciones del grupo de Lorentz,

TENSORIAL
10.2. REPRESENTACION

137

lo que nos conducira a una formulacion covariante. Antes de definir las variables electrodinamicas, definamos la extension c-vectorial del operador gradiente. Anteriormente,
definimos el gradiente como un vector compuesto por las derivadas parciales respecto a
cada componente espacial, la cual vamos a notar en el lenguaje de ndices como:

=

, 2, 3
1
x x x


= (1 , 2 , 3 ) ,

(10.13)

mientras que la derivada temporal la definimos con el producto por la velocidad de la luz
como:

= 0 = 0 .
ct
x

(10.14)

En las definiciones anteriores, observamos que aunque las derivadas se definieron inicialmente respecto a componentes espacio-temporales contravariantes (ndices arriba),
la derivada completa se define con ndices covariante (ndices abajo). Lo mismo sucede
a la inversa. As, definimos la cuadri-derivada en representaciones co- y contra-variantes
como:

.
=

.
=





, =
,
,
,
,
x0 x1 x2 x3




0, =
,
,
,
,
x0 x1 x2 x3
0

(10.15)

donde la parte temporal la escribimos en su representacion contravariante en ambos casos.

Problema 29: Demuestre que la c-derivada definida en la forma de la ecuacion


(10.15), transforma como un c-vector contravariante.

Tambien podemos definir el producto escalar entre c-derivadas, que da como resultado un escalar de Lorentz. Dicho producto corresponde a la extension cuadri-dimensional
del laplaciano, conocido como el DAlambertiano, que lo simbolizamos como un cuadrado 2 para indicar que es la generalizacion cuadri-dimensional del operador tridimensional del laplaciano 2 :
2 = = 2 + 0 0 = 2

1 2
.
c2 t

(10.16)

138

10.2.1.

COVARIANTE: ELECTRODINAMICA

CAPITULO 10. FORMULACION

La cuadri-corriente

Extendiendo la definicion vectorial de la densidad de corriente en la ecuacion (10.2),


definimos la c-corriente como:
J = 0U ,

(10.17)

donde 0 es la densidad de carga propia medida por el observador donde la distribucion


de carga se encuentra en reposo, y U es la c-velocidad de las fuentes de cargas electricas
medida por un observador arbitrario. Para entender el contenido fsica de la c-corriente,
obtengamos sus componentes usando las de la c-velocidad de la ecuacion (9.8):
J

.
= 0 (c, v) = (c, v) ,

(10.18)

donde hemos defiido la densidad relativa como = 0 , correspondiente a la densidad


de carga medida por un obervador en movimiento respecto a la distribucion de carga.
Comparando las componentes de la c-corriente con la ecuacion (10.2), es evidente que
la primera componente depende de la densidad de carga y las demas coinciden con la
densidad de corriente:
J

.
= (c, J) .

(10.19)

As, la c-corriente describe de forma simultanea y unificada las fuentes que producen los
campos electricos y magneticos, esto es, las cargas electricas y las corrientes.
Con las definiciones de la c-derivada y la c-corriente, podemos expresar la ecuacion
de continuidad en forma tensorial. Para eso, escribamos la ecuacion (10.8) como:
J + t = 0.

(10.20)

Si expresamos la derivada temporal como t = cct = c0 , y teniendo en cuenta que la


componente temporal de la c-corriente es J 0 = c, la ecuacion anterior se puede escribir
como:
J + 0 J 0 =
i J i + 0 J 0 =
J

= 0.

(10.21)

Por lo tanto la ecuacion de continuidad que expresa la conservacion de la carga electrica


toma la forma simple J = 0. Como la ecuacion es un producto escalar, por definicion,
es invariante frente a las transformaciones de Lorentz, por lo que la carga se conserva
para todos los observadores inerciales.

TENSORIAL
10.2. REPRESENTACION

10.2.2.

139

El cuadri-potencial

Si aplicamos las definiciones de c-corriente y del D0 Alambertiano, las ecuaciones de


onda de los potenciales en (10.12) se pueden escribir como:
4 0
J ,
c
4
2 A = J.
c
2

(10.22)

Si definimos el c-potencial como:


.
A = ( , A) ,

(10.23)

entonces las dos ecuaciones en (10.22) se pueden escribir en forma compacta como:

2 A

4
J .
c

(10.24)

Utilizando la regla del cociente de la seccion 8.2, puesto que 2 y c son escalares,
mientras que J es un c-vector, entonces A es un c-vector.

10.2.3.

Tensor electromagnetico

A partir de los c-potenciales, podemos obtener los campos electrico y magnetico en


una representacion del grupo de Lorentz. Para eso, recordemos que los campos, salvo
una transformacion de gauge, estan determinados a traves de las definiciones (10.3) y
(10.7). Para el rotacional, si utilizamos la definicon de la ecuacion (67) del apendice E
en el lenguaje de ndices, el campo magnetico se puede escribir explcitamente como:



i
j
k

1
2
3

B = A =
A1 A2 A3
=




2 A3 3 A2 i + 3 A1 1 A3 j + 1 A2 2 A1 k,(10.25)

mientras que para el gradiente y la derivada temporal, el campo electrico es:


1
E = t A
c


1
= i + j 2 + k 3 A0 + 0 A1 i + A2 j + A3 k ,

(10.26)

140

COVARIANTE: ELECTRODINAMICA

CAPITULO 10. FORMULACION

donde usamos la relacion t = cct = c0 = c 0 y la definicion = A0 . Teniendo


en cuenta que los coeficentes de los vectores unitarios (i, j, k) corresponde a las componentes 1, 2 y 3 de los campos, en las ecuaciones (10.25) y (10.26) identificamos las
siguientes relaciones:
B1 = 2 A3 3 A2 = F 23 ,

B2 = 1 A3 3 A1 = F 13 ,
B3 = 1 A2 2 A1 = F 12 ,
E 1 = 0 A1 1 A0 = F 01 ,
E 2 = 0 A2 2 A0 = F 02 ,
E 3 = 0 A3 3 A0 = F 03 ,

(10.27)

donde hemos definido la cantidad:


F = A A ,

(10.28)

para simplificar la resta entre derivadas. Evidentemente F es una cantidad antisimetrica que contiene a los campos electricos y magneticos, y que se puede representar de
forma matricial como:

0
E1
E2
E3
0
B3 B2
. E 1
.
=
E 2 B3
0
B1
E 3 B2 B1
0

(10.29)

De esta forma, las relaciones (10.3) y (10.7) se unifican en una u nica ecuacion dada
por (10.28), mientras que los campos electricos y magneticos dejan de aparecer como
dos campos separados e independientes, y se identifican como distintas componentes
de un solo campo: el campo electromagnetico F . Como las cantidades y A son
c-vectores, el producto externo expresado por (10.28) es una representacion tensorial de
rango 2.
Por otro lado, recordando las definiciones de la seccion 8.3, el tensor electromagnetico puede tambien representarse en su forma dual como:
D

(F ) = F

1
F
2

0
B1
B2
B3
0
E3 E2
. B1
.
=
B2 E3
0
E1
B3 E2 E1
0
=

(10.30)

10.3. ECUACIONES DE MAXWELL COVARIANTES

10.3.

141

Ecuaciones de Maxwell covariantes

En e sta seccion obtendremos las ecuaciones de Maxwell en el lenguaje tensorial.

10.3.1.

Ley de Gauss y de Ampere-Maxwell

Teniendo en cuenta la definicion de divergencia, la ley de Gauss de la ecuacion (10.1)


se escribe en notacion de ndices como:
i E i = 4,

(10.31)

mientras que con la forma del rotacional, la ley de Ampere-Maxwell desplegada en sus
componentes se separa en tres ecuaciones como
4 1
J + 0 E 1 ,
c
4 2
3 B1 1 B3 =
J + 0 E 2 ,
c
4 3
1 B2 2 B1 =
J + 0 E 3 .
c
2 B3 3 B2 =

(10.32)

Teniendo en cuenta que la densidad de carga y de corriente, y los campos electricos y


magneticos son componentes de los tensores J y F respectivamente, las ecuaciones
en (10.31) y (10.32) se puede escribir equivalentemente como:
4 0
J ,
c
4
= J1,
c
4 2
= J ,
c
4 3
= J .
c

1 F 10 + 2 F 20 + 3 F 30 =
0 F 01 + 2 F 21 + 3 F 31
0 F 02 + 1 F 12 + 3 F 32
0 F 03 + 1 F 13 + 2 F 23

(10.33)

El conjunto de las 4 ecuaciones anteriores se puede escribir de forma abreviada para


cada componente como:

4
J ,
c

(10.34)

donde se debe tener en cuenta que F es antisimetrica, lo que en particular implica que
se anula cuando = . De esta manera, dos de las ecuaciones de Maxwell se pueden

142

COVARIANTE: ELECTRODINAMICA

CAPITULO 10. FORMULACION

reducir a una u nica ecuacion dada por (10.34) en representaciones del grupo de Lorentz.
A manera de ejercicio, vamos a demostrar que dicha ecuacion cumple con el primer
postulado de la relatividad, esto es, tiene la misma forma para otro observador inercial
0 en movimiento relativo. Recordemos que cada uno de los tensores que componen a la
ecuacion transforma de la siguiente forma bajo transformaciones de Lorentz2 :
0

F 0

J 0

L1

L L F ,

= L J .

(10.35)

Para obtener las variables medidas en comparadas con las de 0 , debemos invertir las
ecuaciones de (10.35). Esto se puede lograr si a ambos lados de la igualdad realizamos el
producto interno por las correspondientes transformaciones inversas. Por ejemplo, para
una componente particular, la primera variable se invierte como:
0 = L1

L 0

= L L1
=

= ,

(10.36)

donde aplicamos la definicion del tensor de Kronecker de la ecuacion (8.16) para una
componente = particular. Si aplicamos el mismo procedimiento a las demas variables, obtenemos:
= L 0 ,


= L1 L1 F 0 ,

= L1 J 0 .

F
J

(10.37)

Si en la ecuacion (10.34) reemplazamos las variables originales por las primadas de


acuerdo a las relaciones en (10.37), obtenemos:
L L1
Como L L1

L1

0 F 0

4 1  0
L
J .

(10.38)

= 1, la ecuacion se reduce a:
L1

0 F 0

4 1  0
L
J .

(10.39)

2 Por simplicidad, nos limitamos a los boost de Lorentz. Las conclusiones no se modifican si se incluyen

rotaciones

10.3. ECUACIONES DE MAXWELL COVARIANTES

143

Es evidente que las transformaciones de Lorentz a ambos lados de la igualdad son las
mismas, por lo que se simplifican. As, visto desde el otro observador 0 , obtenemos la
misma forma de la ecuacion (10.34):

0 F 0

10.3.2.

4 0
J .
c

(10.40)

Ley de Gauss magnetica y de Faraday

La ley de Gauss magnetica en notacion de ndices es:


i Bi = 0.

(10.41)

Esta
ecuacion se expresa de forma simple a traves de la version dual del tensor electromagnetico definido de acuerdo a la ecuacion (10.30), obteniendo:
i Fi0 = 0.

(10.42)

La ley de Faraday se despliega en las siguientes componentes:


2 E3 3 E2 0 B1 = 0,
3 E1 1 E3 0 B2 = 0,
1 E2 2 E1 0 B3 = 0.

(10.43)

De nuevo, usando el tensor dual, las tres ecuaciones anteriores se expresan como:
i Fi1 + 0 F01 = 0,
i Fi2 + 0 F02 = 0,
i Fi3 + 0 F03 = 0.

(10.44)

Las 4 ecuaciones en (10.42) y (10.44) se pueden escribir para cada componente


como:
F

= 0.

(10.45)

En conclusion, las electrodinamica clasica se puede construir en el lenguaje tensorial


a partir del conjunto de ecuaciones (10.34) y (10.45).


APENDICES

A. Ondas Armonicas
En una dimension, una onda arbitraria cumple la siguiente ecuacion diferencial (ecuacion de onda):
1 2 f (x,t)
2 f (x,t)
=
.
(46)
x2
c2 t 2
La solucion de la ecuacion de onda es la forma de la funcion f (x,t) que cumple con la
igualdad anterior. En el caso de una onda armonica, esa solucion tiene la forma generica:
f (x,t) = f0 sin (t + kx + ) ,

(47)

donde f0 representa la amplitud de la onda, y la fase que determina el corrimiento de


la onda en el punto x = 0 y el tiempo t = 0. Los parametros cinematicos basicos que
describen una onda armonica son:
1. Amplitud A: Valor maximo de la oscilacion
2. Periodo T : Tiempo de duracion de una oscilacion completa.
3. Frecuencia f : Razon entre el numero de oscilaciones y el intervalo de tiempo.
4. Frecuencia angular : Frecuencia medida en radianes/segundo.
5. Longitud de onda : Distancia a la cual la oscilacion vuelve a comenzar.
6. Numero de onda k: Razon entre el numero de oscilaciones y el intervalo de distancia
7. velocidad de fase c: Velocidad a la cual se propaga la oscilacion en el espacio
145

Existen las siguientes relaciones algebraicas entre los distintios parametros cinematicos:

relacion periodo-frecuencia:
relacion frecuencia-frecuencia angular:
relacion longitud de onda-numero de onda:
relacion de dispersion:

1
,
f
= 2 f
2
=
k
= kc.
T=

(48)
(49)
(50)
(51)

En particular, si se combinan las relaciones de periodos, frecuencias y longitudes de


onda, la relacion de dispersion se puede escribir equivalentemente como:
=

c
= cT.
f

(52)

B. El experimento real de Michelson-Morley

Espejo

Lser

Espejo

A
Pantalla
Interferencia
Figura B-1

En la seccion 2.1 se realizo un analisis simplificado del experimento de


Michelson-Morley para detectar el movimiento de la tierra a traves del e ter. Sin
embargo, se hicieron consideraciones que en el experimento real no poda llevarse
a cabo. Primero, el rayo de luz del laser no sigue un u nico camino o ptico en una
lnea matematica bien definida. El haz son rayos que se distribuyen transversalmente en el espacio de forma continua. El efecto de esa distribucion es que en
la recombinacion sobre la pantalla, la interferencia no es de solamente dos rayos,
sino de muchos rayos simultaneamente. Segundo, no es posible garantizar con
precision absoluta que el haz A y B se dividen en rayos perfectamente perpendiculares entre s. Esto hace que cada haz describa caminos o pticos con desviaciones, tal que sobre la pantalla van a llegar rayos en distintas posiciones, por lo
que en vez de un solo punto, se ve una distribucion de franjas de interferencia.
Tercero, no es posible tampoco garantizar que los haces A y B sigan trayectorias
con exactamente la misma longitud, por lo que hay efectos de interferencia proveniente de retrasos de rayos debido a que recorren mayor distancia que otro, y que
es independiente del hipotetico movimiento a traves del e ter. As, la situacion real
es mas parecida a como se observa en la Figura B-1 que lo descrito en la Figura 8
del captulo 2.

Se observa entonces un patron de interferencia de bandas de intensidades maximas


que se degradan hasta intensidades nulas y as sucesivamente como se observa en la figura, la cual aparece incluso aunque no haya movimiento respecto al e ter. Si el sistema
se rota en 900 cuidadosamente sn modificar ninguna parte del montaje, el patron de
franjas se tiene que mantener exactamente igual en ausencia de e ter. Pero si el e ter existiera y hay movimiento relativo, surge un retraso adicional en los tiempos de llegada de

cada uno de los rayos al rotar el sistema, en una cantidad dada por la ecuacion (2.7) del
problema numero 2 en el captulo 2, por lo que una franja brillante disminuye su intensidad, mientras que las zonas oscuras la aumenta. Este efecto sera equivalente a como
si el patron de interferencia se desplazara una fraccion de distancia n correspondiente a
la razon entre la distancia desplazada d y la distancia entre franjas D, como se muestra

en la Figura B-2. Esta


fraccion es igual a la fraccion de diferencias de tiempos entre el
sistema sin rotar y el sistema rotado respecto al periodo de oscilacion de la luz, el cual
de acuerdo a la ecuacion (2.7) es:
0
t 0 0 t90
d
0
n= = 0

D
T

L1 + L2
c

1
2 .
T

(53)

Teniendo encuenta la relacion de dispersion (1.6), el periodo se puede expresar en funcion de la longitud de onda del laser, obteniendo:

n

L1 + L2

D

00

2.

(54)

As, para un laser de longitud de onda = 6 107 m, una velocidad de la tierra de


v = 30, 000 m/s y para longitudes L1 = L2 = 0,6 m, se obtendra:
n 0,04,

(55)

es decir, el patron se correra en un 4 % del tamano de la franja cuando el sistema se


rota, valor suficente para ser observado en el experimento original, que e ra capaz de
registrar un corrimiento de hasta 1 %. Sin embargo, el resultado dentro del error experimental dio nulo, compatible con el valor = 0. Experimentos mas sofisticados capaces
de registrar velocidades de hasta 1 cm/s, siguen siendo compatibles con un factor beta
nulo.

C. El electronvoltio
En fenomenos donde los efectos relativistas son relevantes, las masas de las partculas convienen expresarlas en unidades de energa atraves de la relacion de equivalencia
de masa y energa E0 = m0 c2 . En el sistema internacional, la unidad basica de energa
es el Joule. Sin embargo, dicha escala de medida no es adecuada cuando se trata con
objetos microsopicos. Una unidad mas adecuada en ese caso es el electron-voltio, o
electronvoltio, el cual se deifine de la siguiente forma:
1 electronvoltio (1 eV) es la diferencia de energa potencial de un electron (carga electrica q = 1,6 10 19 Coulombs) cuando se acelera en una diferencia
de potencial de 1 Voltio.

900

Figura B-2

Teniendo en cuenta que la diferencia de potencial V se define tal que U = qV ,


se obtiene para 1 eV de energa que:
1 eV = 1,6 1019 Joules.

(56)

Se obtienen las siguientes unidades derivadas en potencias de 10:


= 1 eV = 1,6 1019 J,

1 electronvoltio
1 kiloelectronvoltio

= 1 KeV = 1 103 eV = 1,6 1016 J,

1 megaelectronvoltio

= 1 MeV = 1 106 eV = 1,6 1013 J,

1 gigaelectronvoltio

= 1 GeV = 1 109 eV = 1,6 1010 J,

1 teraelectronvoltio

= 1 TeV = 1 1012 eV = 1,6 107 J.

(57)

Actualmente, el gran colisionador hadronico LHC del CERN logra acelerar protones
a una energa de hasta 8 TeV, y se proyecta que en unos anos alcanzara los 14 TeV.

D. Grupo de Lie
Un grupo de Lie es un grupo continuo que cumple con la propiedad de la ecuacion
(7.55). Primero, al ser continuo con derivadas parciales continuas, los elementos del
grupo los podemos representar como una serie de potencias alrededor de un punto de su
espacio de parametros. Por ejemplo, la expansion de Taylor de g( ) alrededor de = 0
es:
n

g( ) = g(0) +
k=1



g(k )
1 n 2 g(k , l )

+
k
k l k l + ...
k k =0
2! k,l=1
k,l =0

(58)

Segundo, debido a la propiedad (7.55), las derivadas parciales de orden superior se pueden escribir como el producto de derivadas de primer orden. Por ejemplo, a segundo
orden, se tiene:
2 g(k , l )
2
g(k , 0) g(0, l )
=
g(k , 0)g(0, l ) =
,
k l
k l
k
l

(59)

propiedad que se puede generalizar a cualquier orden m:


m g(1 , 2 , ...m ) = 1 g(1 , 0, 0, ...)2 g(0, 2 , 0, ...)...m g(0, 0, ...m )
m

p g(0, ..., p , ..., 0),

p=1

(60)

donde se usa la siguiente notacion:

m =
p =

m
,
1 2 , ..., m

.
p

(61)

Aplicando la propiedad anterior, la expansion en (58) se puede escribir como:


n

g( ) = g(0) + k g|k =0 k +
k=1

1 n
k gl g|k,l =0 k l + ...
2! k,l=1

(62)

Recordando que los generadores del grupo se definen de acuerdo a la ecuacion (7.56), y
definiendo g(0) como la identidad 1, la expansion toma la forma mas corta:
n

1 n
iTk iTl k l + ...
2! k,l=1
k=1
!2
!
n
n
1
i Tk k + ...,
= 1 + i Tk k +
2!
k=1
k=1

g( ) = 1 iTk k +

(63)

que es una serie que converge a una funcion exponencial:


n

g( ) = ei k=1 Tk k .

(64)

As, en un grupo de Lie, sus elementos se pueden generar a traves de los generadores
de acuerdo a la ecuacion (64).

E. Operadores diferenciales del calculo vectorial


La formulacion vectorial de la electrodinamica se soporta en el calculo diferencial
en varias variables. Los operadores diferenciales en coordenadas cartesianas se definen
como:
- Gradiente: Si es una funcion escalar continua y con derivadas parciales continuas, su gradiente es:

= (ix + jy + kz ) .

(65)

- Divergencia: Si V es una funcion vectorial continua y con derivadas parciales


continuas, su divergencia es:

V = xVx + yVy + zVz .

(66)

- Rotacional: El rotacional de una funcion vectorial es:



i j k


V = x y z
Vx Vy Vz

(67)

- Laplaciano: El laplaciano es el producto punto entre dos operadores gradientes:

2
2
2 = = xx
+ yy
+ zz2

(68)

Existen tres propiedades importantes que cumplen estos operadores:

( V) = 0

(69)

() = 0

(70)
2

( V) = ( V) V

(71)

F. Ecuaciones de Maxwell
Las ecuaciones de Maxwell es el conjunto de 4 ecuaciones compuesto por las dos
leyes de Gauss, la ley de Faraday y la ley de Ampere-Maxwell descritos en la ecuacion
(10.1). En la seccion 10.1 describimos algunas propiedades matematicas de la forma
vectorial de las ecuaciones de Maxwell. En e ste apendice demostraremos algunos de los
resultados mostrados.
Primero, para demostrar la ecuacion de continuidad de la ecuacion (10.8), calculemos la divergencia a ambos lados de la ley de Ampere-Maxwell dada en la ecuacion
(10.1):

( B) =

1
4
J + t E.
c
c

Usando la propiedad (69) y la ley de Gauss, se obtiene:

(72)

4
4
J + t .
(73)
c
c
Despejando, se obtiene la ecuacion de continuidad de la ecuacion (10.8).
Por otro lado, el campo magnetico se puede definir como el rotacional de un potencial vector, de acuerdo a la ecuacion (10.3). Sin embargo, debido a la propiedad (70), el
potencial vector no esta definido de forma u nica. Si al potencial se le suma la divergencia
de alguna funcion escalar arbitraria como
0=

A A0 = A + ,

(74)

entonces la definicion (10.3) nos da el mismo campo magnetico:


B B0 = (A + )
= A
= B,

(75)

por lo que B es invariante frente a la transformacion del potencial vector. Para extender
esta propiedad al campo electrico definido como en la ecuacion (10.7), el potencial escalar debe transformar tal que E0 = E. Para encontrar la forma de dicha transformacion,
supongamos un campo electrico definido por un potencial escalar y vectorial de acuerdo
a la forma:
1
E = t A.
c

(76)

Si posteriormente cambiamos el potencial vector por otro A0 definido en la ecuacion


(74), y el potencial escalar por otro aun desconocido 0 , entonces el campo electrico
transformado sera:
1
1
E0 = 0 t A0 = 0 t (A + )
c
 c

1
1
0
= + t t A.
c
c

(77)

Exigiendo la invariancia del campo electrico, E = E0 , de las ecuaciones (76) y (77)


obtenemos que el potencial escalar debe transforma como:
1
0 = t ,
c
tal como se tiene en la ecuacion (10.9).

(78)

Bibliografa

[1] Relatividad Especial, A.P. French, Ed. Reverte (1984).


[2] Introducin a la teora especial de la relatividad, R. Resnick, Ed. Limusa (1981).
[3] Sobre la teora especial de la relatividad, J. M. Tejeiro, Ed. Universidad NacionalObservatorio Astronmico Nacional (2005).
[4] A first course in general relativity, B.F. Schutz, Ed. Cambridge University Press
(2000).
[5] Introducing Einsteins Relativity, R. DInverno, Ed. Oxford University Press (1998).
[6] Tensors, Relativity and Cosmology, M. Dalarsson and N. Dalarsson, Ed. Elsevier
Academic Press (2005).
[7] An introduction to mechanics, D. Kleppner and R.J. Kolenkow, Ed. McGrawHill
(1986).
[8] The Feynman Lectures on Physics Vol. 1 y 2, R. Feynman, R.B. Leighton and M.
Sands, Ed. Addison Wesley (1998).
[9] Classical Electrodynamics, J.D. Jackson, John Wiley and Sons (1975).
[10] Classical Mechanics: Point particles and Relativity, W. Greiner, Ed. Springer
(1989).

153

Indice alfabetico

absoluta
aceleracion, 34
fuerza, 8
simultaneidad, 73
aceleracion
absoluta, 34
de relojes, 76
invariancia clasica, 8
relativa, 35
transformacion de la, 34, 41
adicion
de velocidad, teorema clasico de, 8
de velocidad, teorema relativista de, 33,
78
rapidez hiperbolica, teorema de, 79
angular
distorsion, 71
angulo
de rotacion, 60
imaginario, 62, 64, 77
armonica, onda, 9
asintotica, libertad, 49
atomico, nucleo, 49
beta
decaimiento, 1
factor, 11, 37, 38, 78
Boson de Higgs, 50, 51
campo

electrico, 1, 15, 17, 24


electromagnetico, 52
escalar de Higgs, 50
magnetico, 1, 15
carga electrica, 50
causalidad, principio de, 68
clasica
energa cinetica, 45
clasico
efecto Doppler, 12, 13, 38
espacio-tiempo, 63
lmite, 37
masa inercial, 42
momento lineal, 42
trabajo, 45
Colisonador LHC, 51
configuracion estandar, 20, 29
cono de luz, 67, 68
futuro, 68
pasado, 68
resto, 69
conservacion
de la energa, 44
de la masa relativista, 42
del momento lineal relativista, 42
constante
de Planck, 52
contraccion de Fitzgerald-Lorentz, 31, 32,
73

154

conversion
a energa electrica, 56
eficiencia de, 56
coordenadas
transformacion de, 24, 25, 32
corriente
masa quarks, 49
decaimiento
beta, 1
de partculas, 53
de pion neutro, 53
del neutron, 75
desplazamiento
vector espacial, 67
diagrama
de espacio-tiempo, 61, 62, 72, 76
de espacio-tiempo complejo, 62, 63
tipo (2 + 1), 62
dilatacion temporal, 30, 36, 73, 75
dispersion
relacion de, 10, 12, 36
distancia
Euclidiana, 59, 65
seudo-Euclidiana, 66
distancia de espacio-tiempo, 6163, 67
distorsion angular, 71
Doppler, efecto
clasico, 12, 13, 38
longitudinal, 35, 38
transversal, 36
ecuacion
de onda, 9, 24
ecuaciones
cinematicas, 21
de hiperbolas, 74
de Maxwell, 1
de rotacion, 60, 62
del foton, 52
Efecto Doppler
clasico, 12, 13, 38

longitudinal, 35, 38
transversal, 36
eficiencia
de conversion, 56
electrica
carga, 50
conversion a energa, 56
energa, 54, 56
fuerza, 49
electron, 50
electromagnetico
campo, 52
electronvoltio, 52
mega-, 49
energa
-momento, relacion, 52
cinetica, 44
cinetica clasica, 45
cinetica relativista, 46
clasica, 46
conservacion de la, 44
electrica, 54, 56
electrica, conversion, 56
en reposo, 44, 46, 47, 54
interna, 44, 46, 48
liberada en reacciones nucleares, 56
nuclear, 48, 54
potencial, 44, 46
relativista, 44, 47, 51
y masa, equivalencia, 48, 49
y trabajo, teorema relativista, 47
equivalencia
de masa y energa, 48, 49
escalar
campo de Higgs, 50
espacio
de Minkowski, 71
Euclidiano, 59
intervalo tipo, 67
seudo-Euclidiano, 71
vectorial, 59
espacio-tiempo

clasico, 63
de Minkowski, 65
de Poincare, 64, 77
diagrama de, 61, 62, 72, 76
distancia de, 6163, 67
esquema complejo, 62, 63
estructura de, 61
intervalo de, 6163, 67, 72, 74
invariancia del intervalo, 65, 73, 74
tipo (3 + 1), 62
tipo (n + m), 61
estandar
configuracion, 20, 29
modelo, 1
estructura
de espacio-tiempo, 61
eter, 1618, 35
Euclidiana
distancia, 59, 65
Euclidiano
espacio, 59
evento, 5, 27, 61
eventos
simultaneos, 28, 29
sucesion de, 62
factor
beta, 11, 16, 18, 24, 25, 37, 38, 78
gama, 23, 25, 37
fision nuclear, 54
Fitzgerald-Lorentz, contraccion de, 31, 32,
73
foton, 1, 52
ecuaciones del, 52
frecuencia, 52
fotones
decaimiento de pion en, 53
fuerza
absoluta, 8
clasica, 8
electrica, 49
gravitacional, 49

invariancia clasica de la, 8, 9


nuclear debil, 50
nuclear fuerte, 49
relativista, 46
funciones
hiperbolicas, 62, 77
futuro de cono de luz, 68
Galileo
principio de relatividad de, 7
relatividad de, 11, 12
transformaciones de, 6, 10, 63
gama
factor, 37
gravedad
fuerza de la, 49
hadronico, gran colisionador LHC, 51
Higgs
Boson de, 50, 51
mecanismo de, 50, 51
hiperbolas
ecuaciones de, 74
invariantes, 7476
hiperbolica
rapidez, 77, 78
tangente, 78
hiperbolicas, funciones, 62, 77
hiperbolico
coseno y seno, 78
hipersuperficie, 62
inercia
Ley de, 21, 35
inercial
masa, clasico, 8, 9, 42
masa, relativista, 42, 43
observador, 6, 9, 10, 19, 20, 28, 41
sistema, 6
intensidad de la luz, 17, 18
intervalo
de espacio-tiempo, 6163, 67, 72, 74
tipo espacio, 67

tipo luz, 67
luz
tipo tiempo, 68
cono de, 67, 68
invariancia
fotones, 52
clasica de la aceleracion, 8
intervalo tipo, 67
clasica de la fuerza, 8, 9
masa
clasica de la longitud, 31
constituyente de los quarks, 50
clasica de la masa, 9
de corrientes de quarks, 49
clasica del tiempo, 6, 7
de los quarks, 49
de intervalo espacio-tiempo, 65, 73, 74
de nucleo Carbono 12, 54
de la conservacion del momento lineal,
de pion neutro, 53
42
en reposo, 44, 48, 51, 54
de Leyes fsicas, 50
en reposo del proton, 49
principios de, 59
inercial clasico, 8, 9, 42
invariante
inercial relativista, 42, 43
hiperbolas, 7476
invariancia clasica de la, 9
lmite
relativista, conservacion de la, 42
clasico, 37
y energa, equivalencia, 48, 49
ultrarelativista, 37, 38
Maxwell
lnea de Universo, 61, 63, 64
ecuaciones de, 1, 15
Ley
James C., 15
de inercia, 21, 35
teora de, 18
Gravitacional de Newton, 1
mecanismo de Brout-Englert-Higgs, 50, 51
segunda, de Newton, 9, 41
Michelson-Morley, experimento de, 12, 15,
Leyes
17, 18
de Newton, 19, 20
Minkowski
LHC, Gran colisonador hadronico, 51
espacio-tiempo de, 65, 71
libertad asintotica, 49
Hermann, 59
longitud
momento
de onda, 10, 12, 36
-energa, relacion, 52
invariancia clasica de la, 31
lineal clasico, 42
propia, 31, 32, 74
lineal relativista, 42, 51
relativa, 31
lineal relativista, conservacion del, 42
relatividad de la, 31
lineal, conservacion del, 42
longitudinal
nucleo
efecto Doppler, 35, 38
de Carbono 12, masa, 54
retraso para ondas mecanicas, 1012
de Uranio, 54
Lorentz
nucleo atomico, 49
transformaciones de, 20
neutron, 49, 75
transformaciones inversas de, 26, 33
desintegracion de, 75
transformaciones simples de, 20, 25,
tiempo de vida, 75
29, 62

neutrones, 54
Newton
Ley Gravitacional de, 1
Leyes de, 19, 20
segunda Ley de, 9, 41
nuclear
energa, 48, 54
energa liberada, 56
fision, 54
fuerza debil, 50
fuerza fuerte, 49
observador
inercial, 6, 9, 10, 19, 20, 28, 41
propio, 30, 31
onda
armonica, 9, 17
ecuacion de, 9, 24
electromagnetica, 15, 19, 37
frecuencia, 12
frecuencia angular, 17
intensidad, 17, 18
interferencia, 17
longitud de, 10, 12, 36
luminosa, 15, 16, 19
mecanica, 7, 9, 15, 35
relatividad para, 9
retraso longitudinal, 1012, 16
retraso transversal, 11, 12, 16
sonora, 10, 35
velocidad de, 9, 10
paradoja
de los gemelos, 75
del abuelo, 69
del saltador con pertiga, 70
paradojas
en relatividad especial, 25
partcula
decaimiento de, 53
libre, 48, 50
puntual, 46, 48

pasado de cono de luz, 68


pion
decaimiento en fotones, 53
neutro, 53
neutro, masa en reposo de, 53
Planck, constante de, 52
Poincare
espacio-tiempo de, 64, 77
posicion
transformacion clasica de la, 6
postulado
de la velocidad de la luz, 19
de relatividad, 19, 76
postulados de la relatividad especial, 18, 19
principio
de conservacion de la energa, 44
de causalidad, 68
de conservacion de la masa relativista,
42
de conservacion del momento lineal,
42
de invariancia, 59
de relatividad especial, 41
propia
longitud, 31, 32, 74
propio
observador, 30, 31
tiempo, 30, 36, 73, 75
proton, 49
masa en reposo del, 49
quark
down, 49
up, 49
quarks
fuerza fuerte de los, 49
masa, 49
masa constituyente, 50
masa de corrientes, 49
piones, 53
rapidez hiperbolica, 77, 78

teorema de adicion, 79
regla de la cadena, 33, 34, 45, 46
relatividad
de Galileo, 11, 12, 19, 20
de Galileo, principio de, 7
de la aceleracion, 35
de la longitud, 31
de la simultaneidad, 28
del movimiento, 32
del tiempo, 27
especial, 18, 59
general, 59
para ondas mecanicas, 9, 10, 12
postulado de, 19, 76
postulados de la, 18, 19
principio de, 1, 41
relativista
conservacion de la masa, 42
conservacion del momento lineal, 42
energa, 44, 47, 51
energa cinetica, 46
fuerza, 46
masa inercial, 42, 43
momento lineal, 42, 51
teorema trabajo y energa, 47
trabajo, 46
reloj, 27
relojes
acelerados, 76
sincronizados, 28
resto de cono de luz, 69
seudoEuclidiano, distancia, 66
Euclidiano, espacio, 65, 71
simultaneidad
absoluta, 28, 73
de eventos, 28, 29
relativa, 28, 72
subluminal, 39
superluminal, 39
taquiones, 39, 69

Taylor, expansion en series de, 16, 37


teorema
clasico de adicion de velocidad, 8
de adicion de la rapidez hiperbolica,
79
relativista de adicion de velocidad, 33,
35, 78
trabajo y energa relativista, 47
tiempo
dilatacion de, 30, 36, 73, 75
imaginario, 62, 64, 77
intervalo tipo, 68
invariancia clasica del, 6, 7
propio, 30, 36, 73, 75
transformacion del, 24, 25, 29, 30, 32
trabajo, 45
clasico, 45
relativista, 46
y energa, teorema relativista, 47
transformacion
del tiempo, 29
clasica de la posicion, 6, 7
de coordenadas, 24, 25, 32
de la aceleracion, 34, 41
del tiempo, 24, 25, 30, 32
transformaciones
de Galileo, 6, 10, 19, 63
de Lorentz, 20
de Lorentz inversas, 26, 33
de Lorentz simples, 20, 24, 25, 29, 62,
64
transversal
efecto Doppler, 36
retraso para ondas mecanicas, 11, 12
trayectoria, 62
ultrarelativista, lmite, 37, 38
unidad de masa atomica, u.m.a, 54
Universo
lnea de, 61, 63, 64
Uranio, 54
vatio, 56

velocidad
de la luz, 15, 19, 25, 3739
de la luz, postulado de la, 19
de una onda mecanica, 9, 10
orbital, 16, 18
relativa, 25, 77
relativista, 29
teorema de adicion relativista de, 33,
35

Вам также может понравиться