Captulo 0

Teora Especial de la Relatividad

0.1. El espacio tiempo
0.1.0.1 Sucesos
Por suceso entendemos cualquier proceso fsico que ocurre en un punto del espacio y en un instante
de tiempo. Puede tratarse de la desintegracion de un atomo o de la colision de dos partculas, etc.
El conjunto de todos los sucesos que pueden darse en posiciones y momentos diferentes forma una
variedad de dimension 4 que llamamos espacio-tiempo.
Hay colecciones de sucesos que conforman subvariedades de dimensiones varias. As la propagacion de
una partcula forma una curva de dimension 1, la trayectoria. La propagacion de una cuerda forma
una supercie (por tanto dimension 2), etc.
0.1.0.2 Observadores
Para poder comparar sucesos distintos debemos etiquetarlos o, en otras palabras, ponerles coordenadas.
Para ello debemos empezar por denir un sistema de coordenadas, sistema de referencia o tambien
observador, para el espacio-tiempo. La forma en que nuestro observador observa es registrando la
posicion (x, y, z) y el tiempo t en el que ocurre un determinado suceso en el mencionado sistema de
coordenadas. De hecho, confundiremos un suceso con su observacion, y frecuentemente diremos: sea
el suceso / = (t, x
1
, x
2
, x
3
).
0.1.0.3 Observador Inercial
La partcula libre es una abstraccion de gran utilidad en la formulacion de la mecanica. Aunque no se
da en la naturaleza, siempre podemos acercarnos arbitrariamente a un proceso en el que un objeto se
propaga sin interferencia con su entorno y estudiar su evolucion. De dicho estudio se sigue la existencia
de una clase privilegiada de observadores denominados sistemas de referencia inerciales rectilneos,
(SRIR) .
Un sistema de referencia, se dice que es inercial y rectilneo (SRIR), si la propagacion de cualquier
partcula libre se describe mediante la ecuacion de una recta x(t) = vt +x
0
.
El presente captulo se reere exclusivamente a la descripcion de la dinamica en este tipo de sistemas
de referencia. El concepto de observador inercial es mas general que el de obervador inercial rectilneo,
y admite el uso de coordenadas curvilneas para el espacio. Siempre es posible pasar a un observador
1
rectilneo mediante un cambio de coordenadas que no involucre el tiempo. El primer intento por carac-
terizar los sistemas inerciales se remonta a Galileo. No se trata de una caracterizacion completa pero si
constructiva, al armar que, dado un suceso, la descripcion del mismo en dos SRIR se diferencia (salvo
una rotacion y traslacion ja de coordenadas espaciales) en una traslacion con velocidad uniforme

V .
De este modo, si / = (t, x) en un SRIR y / = (t

, x

) en el otro, tenemos que sencillamente

t

= t
x

= x

V t (1)
y, a partir de aqu, obtenemos latransformacion de Galileo pura para las velocidades
v

= v

V (2)
0.1.1. Los Axiomas Fundamentales
La teora de la Relatividad Especial se asienta sobre dos postulados:
0.1.1.1 Principio de Relatividad de Galileo
Basado en m ultiples experimentos Galileo acabo por postular que la descripcion de la fsica en todos
los sistemas inerciales era totalmente equivalente. A partir de experimentos realizados en un sistema
inercial, es imposible deducir cual es la velocidad absoluta de dicho sistema, por lo que dicha velocidad
carece de realidad fsica. Si la fsica es la misma, la matematica que la describe tambien debe serlo.
El principio de relatividad de Galileo es un requisito sobre la forma que debe adoptar cualquier ley
de la fsica:
Axioma 1 Las leyes de la fsica deben adoptar la misma forma en todos los sistemas de referencia
inerciales.
Es decir, deben estar escritas de forma tal que no privilegien ning un sistema de referencia inercial
rectilneo frente a los demas. El ejemplo mas simple de ley respetuosa con dicho axioma es el segundo
principio de Newton de la dinamica para una partcula libre

F = m
dv
dt
= m
d

dt
dado que

V es la velocidad relativa constante entre los dos sistemas de referencia inerciales.
No puede decirse lo mismo de la aceleraci on, acerca de la cual Newton pensaba que s era
un concepto absoluto y para demostrarlo ide o el famoso experimento del cubo rotante. Armaba
Newton que con un cubo lleno de agua uno es capaz de distinguir de forma inequvoca un sistema
en rotaci on de otro inercial. En este la supercie del agua permanece plana mientras que en aquel,
al cabo de un rato, dicha supercie adquiere una curvatura medible. Sin embargo no deja de
resultar parad ojico el hecho de que uno pueda denir conceptos tales como aceleraci on en un
espacio vaco. La aceleraci on es un resultado de medidas y comparaciones y en el vaco no parece
existir nada con respecto a lo que uno pueda acelerarse. En el pensamiento de Einstein inuyeron
fuertemente las ideas de Spinoza y Ernst Mach. Seg un este ultimo, el car acter privilegiado de los
sistemas inerciales les vena conferido por la distribuci on media de la materia del universo, la cual
aparece concentrada en las estrellas lejanas. El cubo cuya supercie aparece plana no se acelera
con respecto a las estrellas lejanas mientras que el otro s lo hace. P ongase la materia del universo
a girar, entonces el papel del movimiento de ambos cubos se ver a invertido, y por tanto tambien
la apariencia de la supercie de agua respectiva. Para Newton, por tanto, el espacio tiene entidad
propia, mientras que para Mach esto no es as: en ausencia de materia tampoco hay espacio, pues
conceptos como la inercia no se pueden denir.
2
0.1.1.2 Universalidad de la velocidad de la luz
Axioma 2 La velocidad de la luz es una constante universal
La velocidad de la luz, no solo es independiente del sistema de referencia, sino de la velocidad del
emisor. Cualquier observador inercial mide la misma cantidad. Este axioma viene impuesto de forma
emprica por experimentos como el de Mickelson y Morley. Evidentemente, este comportamiento es
incompatible con la regla de adicion de velocidades de Galileo ((2)). Ello impone la necesidad de
obtener nuevas reglas de transformacion entre sistemas de referencia inerciales. Estas reglas, de hecho,
ya haban sido descubiertas antes por Lorentz como aquellas que dejaban invariantes las ecuaciones
de Maxwell para la electrodinamica. Esta conexion no poda ser fortuita, dado que la propagacion de
la luz es simplemente una consecuencia de dichas ecuaciones.
0.1.1.3 Sistema Unidades Naturales (SN)
La Relatividad Especial incorpora una nueva constante universal con dimensiones c = 2,9910
8
m/s.
Universal quiere decir que, experimentalmente se verica que tiene el mismo valor en todos los SRIR.
Entonces podemos invocarla sin ambig uedad para trasformar un tiempo t en una distancia x
0
ct
(la que recorrera la luz en dicho tiempo), o, viceversa, dada una distancia x
0
podemos asociarle un
tiempo t = x
0
/c (el que tardara la luz en recorrerla).
Cualquier magnitud fsica en el SI lleva asociada una en el SN (sistema natural, o sistema de unidades
naturales) que procede de sustituir t x
0
= ct. Como x
0
se mide en metros, en el SN nunca aparecen
los segundos.
Por ejemplo, si v = dx/dt(
m
seg
) es la velocidad en el SI de un movil, en el SN la velocidad sera u =
dx/dx
0
= dx/(cdt) = v/c. Esta nueva velocidad es adimensional (de hecho es una fraccion de la de la
luz) y solo vale u = 1 para un rayo de luz.
Muchas magnitudes dimensionales del sistema internacional se expresan de forma muy sencilla despues
de convertir a unidades naturales. As por ejemplo el momento se miden en kg, la aceleracion en m
1
y la fuerza en kg m
1
.
0.2. Transformaciones de Lorentz
0.2.0.4 Diagramas de Espacio-Tiempo
Los SRIR se expresan gracamente mediante los denominados diagramas de espacio-tiempo. En la
gura (1) podemos observar uno de tales diagramas mostrando una seccion del espacio tiempo co-
rrespondiente al plano (x
0
= ct, x
1
). En este diagrama un punto de coordenadas (x
0
, x
1
) simboliza
un evento, mientras que una lnea (x
0
(s), x
1
(s)) representa la trayectoria de una partcula de prueba.
Llamamos a esta curva, lnea de universo. La velocidad viene dada por la (inversa de la) pendiente de
la curva, u = dx
1
/dx
0
= v/c, de forma que un foton describira una lnea recta de pendiente 45

.
0.2.0.5 Coordenadas
Cada SRIR involucra un conjunto de coordenadas x

. Un valor concreto representa un determinado

suceso del espacio-tiempo. El ndice griego = 0, 1, 2, 3, mientras que cuando queremos especicar las
componentes espaciales usamos un superndice latino x
i
, i = 1, 2, 3.
Para las coordenadas referidas a otro sistema de referencia O

usaremos otras coordenadas x

.
Genericamente interesados en comparar la descripcion de la fsica en 2 SRIR, O y O

. Una notacion
muy economica consiste en diferenciar ambos observadores reservando la coleccion de ndices , , ... =
3
x (m)
ct (m)
linea de universo
acelerada
linea de universo de la luz,
u = 1
u > 1
u < 1
Figura 1: Diversas clases de trayectorias en un diagrama de espacio-tiempo
0, 1, 2, 3 para las coordenadas x

de un suceso en O , y la coleccion de ndices

, ... = 0, 1, 2, 3 para
las coordenadas x

del mismo suceso O

.
Por ultimo, la aparicion de un ndice repetido indica sumacion sobre el rango de dicho ndice
x

= x
0
y
0
+x
1
y
1
+x
2
y
3
+x
3
y
3
. (3)
0.2.0.6 Ley de transformacion de coordenadas
En general, las coordenadas x

y x

de un mismo suceso no seran iguales. Si cualquier SRIR es

un observador legtimo de los sucesos que ocurren en el espacio tiempo, y no puede haber ning un
privilegio entre ellos, el objetivo es hacer coherentes sus observaciones. Un cambio de coordenadas
general viene dado por cuatro funciones
x

= x

(x

) (4)
Si queremos que esta transformacion preserve que las lineas rectas (partculas libres ) en O sean vistas
como trayectorias rectilneas tambien en O

, entonces la transformacion mas general es lineal

x

. (5)
donde

es una matriz real 44

1
Pero

no es una matriz arbitraria! debe respetar los axiomas

de la Teora de la Relatividad Especial.
0.2.0.7 Intervalo
Consideremos una pareja de sucesos / y B . El observador O les asigna coordenadas x

A
y x

B
respectivamente. Con ellas se forma primero el incremento x

= x

A
x

B
y a continuacion el
intervalo
ds
2
AB
= (x
0
)
2
+ (x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
1
hemos puesto a cero un vector constante x

+A

eligiendo el origen de ambos sistemas de coordendas

coincidentes.
4
.
El intervalo desde el origen es el asociado a un par de sucesos / y B cuando uno de los dos esta en
el origen x

A
= x

y x

B
= 0.
ds
2
= (x
0
)
2
+ (x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
.
El intervalo ds
2
puede ser positivo negativo o nulo. Si / se encuentran sobre la trayectoria de un rayo
de luz que partio del origen, entonces
ds
2
= (x
0
)
2
_
1 +
(x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
(x
0
)
2
_
= (x
0
)
2
_
1 +[u[
2
_
= (x
0
)
2
(1 + 1) = 0. (6)
Como esto se verica para cualquier suceso / que se encuentre sobre la trayectoria del rayo de luz,
ds
2
= 0 dene el frente de ondas del rayo de luz que emana del origen.
0.2.0.8 Universalidad de ds
2
= 0.
A continuacion tomemos dos sistemas inerciales O y O

que se mueven con velocidad relativa v

entre s. En el momento en el que los orgenes de ambos coinciden se emite un rayo de luz desde el
punto que ambos ocupan. El segundo axioma de la Relatividad Especial impone que las ecuaciones
que describen la propagacion del frente de onda en ambos sistemas tenga la misma forma, que es
precisamente ds
2
= 0 en O y ds
2
en O

. Es decir la anulacion del intervalo en un sistema inercial

implica la anulacion automatica en cualquier otro.
0.2.0.9 Universalidad de ds
2
,= 0.
Sin embargo queremos demostrar un resultado mucho mas fuerte, a saber
Teorema 0.2.1. El intervalo asociado a una pareja de sucesos es independiente del observador
Demostracion:
La relacion ((5))
ds
2
= (dx
0
)
2
+ (dx

1)
2
+ (dx

2)
2
+ (dx

3)
2
=

dx

dx

dx

dx

= M

dx

dx

donde es una matriz de la forma = diag(1, +1, +1, +1) y por tanto M

.
Ahora bien, sabemos que si para cierto evento dx

se cumple ds
2
= 0, esto tambien ocurre para
los 16 eventos siguientes (dx
0
, dx
1
, dx
2
, dx
3
) por la forma en que esta escrita. Pero si ademas
ds
2
= 0, teniendo en cuenta la simetra de M, obligatoriamente M

= 0 para ,= . Tomando
ahora los casos particulares en que el rayo de luz se propaga a lo largo de uno de los ejes posibles
encontramos M
ij
= M
00

ij
. Dicho de otro modo, la anulacion simultanea del intervalo en todos los
sistemas de referencia inerciales mas la hipotesis de transformacion lineal hace que ds
2
= M
00
ds
2
Podramos pensar que el coeciente M
00
depende de las coordenadas y de la velocidad relativa entre
ambos sistemas. Sin embargo la homogeneidad e isotropa del espacio prohiben cualquier dependencia
tanto de la posicion como de la direccion de la velocidad. Por tanto M
00
solo puede depender del
modulo de la velocidad v. Es decir ds
2
= (v)ds
2
. Si ahora hacemos dos cambios sucesivos O O

y despues O

O , obtendremos
ds
2
= (v)ds
2
= (v)
2
ds
2
de donde deducimos (v) = 1. Pero si (v) es una funcion contnua de v no puede saltar de un valor
a otro. Escogemos el signo + por consistencia con el lmite v = 0. Hemos obtenido de esta manera el
resultado anunciado de que el intervalo es un invariante en todos los sistemas de referencia.
5
0.3. Transformaciones de Lorentz
Recapitulemos brevemente el estado de la cuestion. De la anulacion del intervalo mas la hipotesis de
que la transformacion de coordenadas es lineal se deduce la invariancia del intervalo en todo sistema
de referencia. Haciendo uso de la matriz = diag(1, 1, 1, 1) la condicion ds
2
= ds
2
es equivalente
a la siguiente ecuacion para

la cual puede ser escrita en forma mas

compacta usando las reglas de multiplicacion matricial como
=
T
. (7)
Cada matriz solucion de esta ecuaci on es una posible transformacion de coordenadas que reeja el
paso de un sistema inercial a otro.
0.3.0.10 Transformaciones de Lorentz puras
Es sencillo vericar que si una matriz 44 general tiene 16 componente libres, el sistema ((7)) impone
10 ecuaciones algebraicas. Por tanto, la solucion es una familia de 6 parametros. Estos parametros
se pueden tomar como las tres componentes de la velocidad relativa v y el vector de rotacion que
especican el cambio de un observador O a otro O

. De hecho podemos separar esta informacion y

escribir la transformacion de Lorentz (v, ) en la forma
(v, ) = !( ) B(v) . (8)
B(v) se denomina transformacion de Lorentz pura (en ingles boost) y tiene la forma siguiente
B(v) =
_
_
_
_
_
_
_
v
1
v
2
v
3
v
1
1 +
1
v
2
v
2
1
1
v
2
v
1
v
2
1
v
2
v
1
v
3
v
2
1
v
2
v
2
v
1
1 +
1
v
2
v
2
2
1
v
2
v
2
v
3
v
3
1
v
2
v
3
v
1
1
v
2
v
3
v
2
1 +
1
v
2
v
2
3
_
_
_
_
_
_
_
(9)
0.3.0.11 Rotaciones
Por su parte, !( ) por su parte expresa una rotacion de ejes en torno a la direccion que marca de
angulo
!( ) =
_
_
_
_
1 0 0 0
0
0
0
R( )
_
_
_
_
(10)
con R( ) una matriz de ortogonal en el espacio tridimensional, R
T
= R
1
.
0.3.0.12 Descomposicion paralela y perpendicular
Podemos entonces escribir la transformacion de Lorentz que hemos encontrado en la forma x

=
(B(v))

, o separando x

= (x
0
, x

) y tenemos que
x
0
= (x
0
v x)
x

= x
0
v +x +
1
v
2
(v x)v
(11)
Si separamos esta ecuacion en componentes paralela y perpendicular x = x

+ x

, donde u

y
u

son dos vectores unitarios paralelo y perpendicular a la velocidad relativa v, obtenemos la forma
mas familiar para la transformacion de Lorentz:
x
0
= (x
0
vx

)
x

= (vx
0
+x

)
x

= x

6
En resumen, (11) es la transformacion de coordenadas que relaciona dos sistemas de referencia cu-
yos ejes son paralelos y que se mueven con una velocidad relativa v. Como vemos en (??) hemos
particularizado / para el caso = 0. Precisamente esta magnitud es la que parametriza un giro
de ejes tridimensionales. Esto lo podemos ver usando la propiedad (??). Entonces en el caso en que

=
2
=
3
= 0;
1
= tenemos que la matriz / adopta la forma siguiente:
!((w, 0, 0)) =
_
_
_
_
0 0 0 0
0 1 0 0
0 0 cos sen
0 0 sen cos
_
_
_
_
(12)
y expresa una rotacion de angulo alrededor del eje x
1
.
0.3.0.13 Transformacion inversa
La ecuaci on x

, si intercambiamos el papel de O y O

(que son convencionales) se debe

escribir de la manera siguiente x

. Pero fsicamente esta segunda ecuacion expresa la

transformacion inversa, de donde, necesariamente

deben ser una la inversa de la otra.

Esto se expresa de la siguiente manera

(13)
0.3.1. Transformacion de ciertas magnitudes galileanas
A continuacion queremos interpretar las equaciones (0.3) concentrandonos en algunos ejemplos senci-
llos. Para simplicar consideraremos que O y O

denen dos sistemas de referencia de ejes paralelos

y que la velocidad relativa se escribe v = v e
x
. Entonces (0.3) se reduce a
x
0
= (x
0
+vx
1
)
x
1
= (vx
0
+x
1
)
x
2
= x
2
x
3
= x
3
(14)
donde hemos hecho uso de que para invertir (0.3) basta con intercambiar x

con x

e invertir el signo
de la velocidad.
0.3.1.1 Contraccion de longitudes.
Situemos una barra en reposo a lo largo del eje x
1
, en el momento en el cual los dos sistemas de
referencia O y O

coinciden en el origen. Cuando el observador O mide la posicion de los extremos

registra los sucesos / y B de coordenadas (x
0
a
, x
1
a
, 0, 0) y (x
0
b
, x
1
b
, 0, 0) respectivamente. Este observador
coincidir a en que la longitud de la barra es L = x
1
b
x
1
a
. Sin embargo el observador O

para el cual la
barra no se encuentra en reposo debera efectuar medidas simultaneas de las posiciones de los extremos.
Para el las coordenadas de / seran (x

0
a
, x

1
a
, 0, 0) y las de B (x

0
b
, x

1
b
, 0, 0) con x

0
a
= x

0
b
. Haciendo
uso de (14) para relacionar unas coordenadas y otras obtenemos que
L = x
1
b
x
1
a
= (x

1
b
x

1
a
) = L

(15)
Del hecho de que 1 deducimos que la longitud medida es maxima en el sistema de referencia en
el que el objeto esta en reposo.
0.3.1.2 Dilatacion de incremento temporal.
Para estudiar el efecto de (0.3) sobre incrementos puramente temporales consideraremos dos sucesos
que ocurren en O en el mismo punto del espacio (que por homogeneidad podemos considerar que es el
7
origen). Por tanto / (x
0
a
, 0, 0, 0) y B (x
0
b
, 0, 0, 0). Usando (0.3) observamos que las coordenadas
transfomadas en O

implican un incremento temporal de la forma

T

0
b
x

0
a
= (x
0
b
x
0
a
) = T (16)
De nuevo observamos que el sistema de referencia en el que los sucesos estan en reposo se distingue
de todos los demas al registrar un intervalo temporal que es mnimo. A este sistema de referencia
privilegiado le llamamos sistema de referencia propio y al incremento temporal T lo llamaremos tiempo
propio y tiene la particularidad de coincidir con la raz cuadrada del intervalo asociado T =

ds
2
.
0.3.1.3 Adicion de velocidades
Una de las consecuencias implcita en las transformaciones de Lorentz es que la velocidad relativa
entre dos observadores no puede ser superior a la de la luz. Esto se sigue del hecho de que para v > 1
el factor = 1/

1 v
2
se vuelve imaginario. Es importante destacar que en ning un momento esto es
un postulado de la teora de la relatividad especial, sino una consecuencia.
La ecuacion (0.3) puede usarse para derivar la ley de transformacion de la velocidades y las acele-
raciones al cambiar de un sistema de referencia inercial a otro. Para ello basta con recordar que las
componentes de u son u
i
= dx
i
/dx
0
y analogamente las de

u

son u
i
= dx
i
/dx
0
. El smbolo dy/dx
signica el lmite de un cociente incremental. Por tanto analogamente a la ley de transformacion de
los incrementos podemos escribir para los incrementos diferenciales
dx
0
= (dx
0
v dx

)
dx

= (v dx
0
+dx

)
dx

= dx

A partir de estas ecuaciones y sin mas que hacer uso de la regla de la cadena es facil convencerse de
que las coordenadas de la velocidad satisfacen
u

=
u

v
1 vu

(17)
u

=
u

(1 vu

)
(18)
donde de nuevo u

y u

son las componentes de u paralela y perpendicular a v y analogamente para

.
Podemos tomar esta ley como una regla de suma de velocidades, y observamos que si v 1, entonces
u

1 mientras que
1

, y por ende, u

0.
0.4. Analisis Tensorial en Relatividad Especial
0.4.0.4 Cuadrivectores
Un conjunto de cuatro cantidades A

, = 0, 1, 2, 3, que bajo cambio de sistema de referencia se

transformen linealmente en la forma
A

(19)
8
donde

es una matriz del grupo de Lorentz, constituiran la componentes de un vector de Lorentz

A, o mas comunmente, de un cuadrivector. El ejemplo mas sencillo es el propio vector de posicion
para un suceso x

.
Analogamente las 1-formas Lorentz, o cuadrivectores duales, tendran componentes con los ndices
abajo, y que por tanto se transformaran de forma inversa a la de los cuadrivectores.
B

(20)
0.4.0.5 Tensor metrico invariante
Para una transaformacioon lineal general, solo hay un tensor invariante

. Si nos restringimos a
transformaciones de Lorentz,

son las componentes de un tensor invariante de rango (0, 2).

(21)
La matriz

coincide con su propia inversa

, que es tambien invariante.

0.4.0.6 Producto (Pseudo)Escalar
El producto escalar de Minkowskiano dos cuadrivectores A

y B

es
A B = A

(22)
Con la metrica de Minkowski

podemos subir y bajar ndices

B

. (23)
En consecuencia escribiremos indistintamente:
A B = A

= A
0
B
0
+A
1
B
1
+A
2
B
2
+A
3
B
3
= A

= A
0
B
0
+A
1
B
1
+A
2
B
2
+A
3
B
3
= A

= A
0
B
0
+A
1
B
1
+A
2
B
2
+A
3
B
3
= A

= A
0
B
0
+A
1
B
1
+A
2
B
2
+A
3
B
3
(24)
Este producto escalar no es denido positivo. Seg un el modulo minkowskiano A

sea positivo,
negativo o nulo hablaremos de A

como un vector tipo tiempo, espacio o luz.

El cuadrivector contravariante Lorentz mas inmediato lo constituyen las coordenadas mismas de un
suceso x

. Mediante la metrica podemos denir unas coordenadas covariantes x

; x

. (25)
0.4.0.7 Campos tensoriales de Lorentz
En el estudio de medios contnuos, las variables naturales son campos que denen propiedades fsicas
en todo el espacio. Un campo tensorial T
1...p
1...q
(x) es un conjunto de funciones que se trasforma
de acuerdo con la regla siguiente
T

1
...

1
...

q
(x

(x)) =

1
1
...

p
p
T

1
...

1
...

q
(x)
1

1
...
q

q
(26)
9
El caso mas elemental es el de un campo escalar

(x

(x)) = (x) La manera mas directa de obtener

campos vectoriales es aprovechar el propio caracter tensorial de las coordenadas. As por ejemplo,
cualquier f(x), funcion de x =

es automaticamente una funcion escalar. Analogamente

A

(x) = x

f(x) (27)
sera una funcion vectorial.
A

(x

(x)) = x

(x)f(x

(x)) =

f(x) =

(x) (28)
No as por ejemplo
_
x

f(x), ni f(x)/x

. Analogamente A

(x) = x

f(x) es un campo tensorial

covariante.
0.4.0.8 Operadores tensoriales
Los operadores de derivacion parcial

x

verican (en cualquier sistema de coordenadas inerciales)

x

(29)
De aqu se sigue que /x

se transforman como las componentes de un operador cuadrivectorial

covariante. De hecho,la responsable de esta transformacion no es otra que la regla de la cadena

=
x

(30)
Por el contrario, la derivada parcial asociada a x

verica
x

en cualquier sistema de coordenadas, y por ello es un operador contravariante. La siguiente notacion,

esta dise nada especialmente para resaltar las propiedades de transformacion que, como de costumbre,
dependen exclusivamente de la posicion de los ndices:

. (31)
El caracter lineal de las transformaciones que denen los tensores de Lorentz, permite tomar productos
de operadores diferenciales del anterior tipo para formar operadores diferenciales tensoriales de rango
mas alto. As, por ejemplo

es un tensor de tipo (0, 2), mientras que

lo es de rango (1, 1).

La contraccion de este ultimo produce un operador diferencial escalar Lorentz

=

2
(x
0
)
2
+

2
(x
1
)
2
+

2
(x
2
)
2
+

2
(x
3
)
2
(32)
que es el analogo relativista del Laplaciano, y recibe el nombre de DAlambertiano.
0.5. Cinematica de Partculas
0.5.0.9 Curvas parametricas
Por trayectoria entendemos una coleccion continua de sucesos. Se trata por tanto de una curva en el
espacio-tiempo, y como tal podremos representarla mediante un parametro real
[a, b] x

() = (x
0
(), x
1
(), x
2
(), x
3
()).
10
Es importante darse cuenta de que la reparametrizacion

=

() deja la curva inalterada
x() x

) = x

((

))
Cada parametrizacion lleva asociada una nocion de velocidad
v

()
dx

()
d
que es un vector tangente a la curva en cada uno de sus puntos. Una reparametrizacion de la curva
conduce a otra velocidad
v

)
d x

)
d

Ambos vectores son paralelos y tangentes a la curva, pero dieren en su modulo

v

) =
d x

)
d

=
d
d

((

)) =
d
d

dx

()
d
=
_
d
d

_
v

((

)) (33)
El factor de reparametrizacion (d

/d) es el cambio de modulo en la velocidad instantanea.

0.5.1. Velocidad de laboratorio y cuadrivelocidad
x
0
x
1
0.1
0.2
0.3
0.4
0.5
1

5
Figura 2: Curva parametrizada de dos maneras distintas
La elecci on de la parametrizacion una trayectoria es, por tanto, totalmente arbitraria. Dependiendo del
problema que se este estudiando se utiliza una u otra. Por sus propiedades, hay dos parametrizaciones
especialmente utiles en el contexto de la relatividad especial
0.5.1.1 Tiempo de laboratorio. = x
0
.
11
En este caso la trayectoria viene parametrizada por la primera componente del vector de posicion. De
modo que
x

( = x
0
) = (x
0
, x(x
0
)) .
La velocidad asociada a esta parametrizacion se denomina velocidad de laboratorio, y tiene por com-
ponentes
v

lab
=
dx

(x
0
))
dx
0
= (1,
dx
1
(x
0
)
dx
0
,
dx
2
(x
0
)
dx
0
,
dx
3
(x
0
)
dx
0
)
La ventaja que presenta esta parametrizacion, y , por tanto, esta nocion de velocidad, es la simplicidad
de su medicion. Por el contrario, el inconveniente que presenta es el hecho de que v

lab
no se transforman
como las componentes de un cuadrivector, como ya hemos visto en (18).
0.5.1.2 El tiempo propio
Experimentalmente el tiempo propio es la parametrizacion que registra un reloj, igual que el del
laboratorio, pero que viaja con la partcula cuya trayectoria queremos describir. Convencionalmente
se denota mediante a este parametro. Se trata por tanto, de un conjunto de marcas que solo puede
dejar el observador co-movil a lo largo de la curva
x

()
Ello hace la medida mas difcil y esto es un inconveniente. Sin embargo, la gran ventaja proviene del
siguiente hecho: el tiempo propio es un invariante Lorentz.
Experimentalmente esto es evidente, puesto que cualquier observador, para conocer el tiempo propio
debe preguntarselo al mismo observador: el observador co-movil.
Matematicamente podemos probar esta invariancia, demostrando que, innitesimalmente el incremen-
to de tiempo propio d =
B

A
asociado a dos eventos A y B situados sobre la curva, es igual que
la raiz cuadrada del intervalo ds
2
AB
. M as genericamente
d =
_
ds
2
= ds (34)
donde se ha denido la cantidad ds denominada elemento de lnea. Para probarlo notemos que, aunque
la partcula en general se acelerara, a un tiempo dado x
0
se desplazara con velocidad de laboratorio
instantanea v
i
(x
0
). Instantaneamente podemos pensar que el observador comovil dene un sistema
inercial, O
pro
, que se desplaza relativamente al del laboratorio, precisamente con velocidad v
i
(x
0
).
En este sistema de referencia, la partcula se encuentra instantaneamente en reposos, y por tanto su
trayectoria es x

pro
= (x
0
pro
= , 0, 0, 0). Ya de aqu se sigue que el intervalo innitesimal es
ds
2
Opro
= d
2
de donde se deduce (34).
La invariancia del intervalo nos permite encontrar el factor de reparametrizacion entre los tiempos de
laboratorio y propio
d =
_
(dx
0
)
2
[dx[
2
= dx
0
_
1 v
2
(x
0
)
La relacion entre el incremento dx
0
en el laboratorio, y dx
0
pro
= d en el sistema propio es la dilatacion
asociada a un cambio instantaneo de sistema de referencia O
lab
v(x
0
)
O
pro
.
dx
0
=
v(x
0
)
d (35)
La velocidad asociada al tiempo propio se denomina cuadrivelocidad
U

=
dx

()
d
(36)
12
Es por construccion un cuadrivector, y esta es la ventaja esencial asociada a la parametrizacion
mediante el tiempo propio
U

=
d
d
x

=
d
d

La cuadrivelocidad puede escribirse en la variables del laboratorio utilizando el factor de reparame-

trizacion (35)
U

= (U
0
,

U) =
_
dx
0
d
_
dx

(x
0
)
dx
0
=
v
, (1, v) = (
v
,
v
v) (37)
En un sistema arbitrario O , el modulo de Minkowski de la cuadrivelocidad es un invariante Lorentz
con un valor muy concreto
U

= (U
0
)
2
+

i
(U
i
)
2
=
2
v
(1 +v
2
(x
0
)) = 1
Un caso particularmente sencillo se produce cuando O =O
pro
, entonces U

Opro
(1, 0, 0, 0), indica que
el movimiento se desarrolla en el diagrama espacio-tiempo paralelamente al eje temporal.
0.5.1.3 La longitud invariante = s.
El tiempo propio es un parametro invariante Lorentz monotonamente creciente
=
_

0
d =
_
x
0
0
ds = s (38)
s, la integral el elemento de lnea, es numericamente igual al tiempo propio. La diferencia es que ds
se puede calcular en cualquier sistema de coordenadas y con cualquier parametrizacion de la curva
C x

(), (
0
,
1
).
s =
_
s
0
ds =
_
1
0
ds()
d
d =
_
1
0
_

dx

d
dx

d
d. (39)
0.5.1.4 Aceleraci on
Vamos a estudiar el movimiento relativista uniforemente acelerado. Podemos describir el estado ins-
tantaneo de movimiento de un movil usamos su 4-velocidad: U

la cual, como sabemos, satisface la

condicion U
2
= 1. Esta condicion tiene como consecuencia que la 4-aceleracion denida por
a

=
dU

d
(40)
es ortogonal a la 4-velocidad (en el sentido del producto escalar Lorentziano):
a

=
d
d
_
1
2
U

_
=
d
d
_

1
2
_
= 0. (41)
Esta ecuacion implica que en el sistema de referencia instantanemente propio, en el cual el movil
esta en reposo tenemos que a
0
= 0, ya que U

Opro
(u
0
= 1, 0, 0, 0); En este sistema de referencia, y
solo en este, las componentes espaciales de a

se reducen a las de la denicion ordinaria de aceleracion:

a

Opro
(0; a
i
) =
_
0;
d
2
x
i
d(x
0
)
2
_
=
d
2
x
i
d
2
. (42)
De aqu deducimos que la magnitud de la aceleracion, medida en el sistema instantaneamente en
reposo, es un invariante Lorentz
13
a
2
= a

=
_
d
2
x
d(x
0
)
2
_
2

propio
(43)
0.5.1.5 Movimiento Rectilneo Uniformemente Acelerado
Vamos a considerar, por simplicidad, el caso de un movil que experimenta una aceleracion constante
a, en un sistema de referencia inercial O . Tomaremos la aceleracion a lo largo del eje x
1
. La ecuacion
del movil es:
dx
0
d
= U
0
,
dx
1
d
= U
1
;
dU
0
d
= a
0
,
dU
1
d
= a
1
.
Escribamos las tres ecuaciones algebraicas
U

= 1
U

= U
0
a
0
+U
1
a
1
= 0 (44)
a

= (a
0
)
2
+ (a
1
)
2
= a
2
.
cuya solucion para la aceleracion es
a
0
=
dU
0
d
= aU
1
, a
1
=
dU
1
d
= aU
0
.
es decir
d
2
U
0
d
2
= a
2
U
0
;
d
2
U
1
d
2
= a
2
U
1
(45)
cuya solucion puede tomarse en la forma
U
0
= Ae
a
+Be
a
; U
1
= Ce
a
+De
a
. (46)
Con esto solucionamos automaticamente las dos ultimas ecuaciones (44). La primera, U

= 1
implica que A = C, B = D y CD = 1/4. Si tomamos condiciones iniciales tales que C =
1
2
, D =

1
2
podemos integrar para obtener nalmente
x
0
() =
1
a
senh a , x
1
() =
1
a
cosh a. (47)
Notese que (x
1
)
2
(x
0
)
2
= a
2
, es decir, la linea de universo es una hiperbola en un diagrama de
espacio tiempo.
0.5.2. Lmite de baja velocidad, el Grupo de Galileo
0.5.2.1 La teora de la relatividad especial paso desapercibida durante siglos a los fsicos. La razon
fundamental estriba en la imposibilidad de realizar experimentos a velocidades comparables con la de
la luz. El grupo de Lorentz contiene el parametro c de forma implcita en la relacion entre escalas
temporales y espaciales. Uno puede preguntarse si en el lmite de velocidades muy peque nas compa-
radas con c se obtiene una regla de transformacion sensata. La respuesta es que s y el resultado como
veremos a continuacion es tan sensato que sigue formando un grupo de transformaciones, llamado
grupo de Galileo. Para empezar observemos que no sera correcto tomar directamente v 0 en la
ec. (0.3) puesto que este es el lmite a la transformacion identidad. Mas bien queremos despreciar v
frente a c. Entonces lo correcto es reintroducir este parametro en nuestras ecuaciones y despues tomar
el lmite c .
Para reintroducir c recordamos que decidimos usar una unica unidad para medir x

. Si a continuacion
recordamos que x
0
= ct donde t se mide en segundos, obviamente retornamos a la situacion familiar
14
en la que c no es adimensional sino que se mide en en m/seg. Analogamente dx
0
= c dt y por tanto la
velocidad adimensional ahora es dr/dx
0
= dr/(c dt) v/c. De hecho
u
= (1 v
2
/c
2
)
1/2
. En estos
parametros la eq. (0.3) queda como sigue:
t

=
v
(t v/c
2
x

)
x

=
v
(vt +x

)
x

= x

(48)
y entonces vemos que en el lmite c obtenemos algo distinto, a saber
t

= t
x

= vt +x

= x

(49)
que coincide exactamente con el conjunto de transformaciones denidas en (??). Por el ejercicio
(??) sabemos que estas transformaciones forman un subgrupo del grupo de Galileo, que se obtiene
a nadiendo las rotaciones. Desde el punto de vista meramente matematico este fenomeno se conoce
con el nombre de contraccion del algebra de Lorentz al de Galileo, y se estudia dentro de la teora
de deformaciones de algebras de Lie. En fsica la existencia de un parametro como c que conecta
dos teoras es satisfactorio pues revela el caracter de aproximacion que tena la vieja, y establece un
principio de correspondencia entre los observables de una teora y los de la otra. Otro contexto en
el que ocurre un fenomeno semejante es la mecanica cuantica. All la constante de Planck juega
un papel similar, estableciendo una correspondencia con la mecanica clasica en el lmite 0.
Matematicamente vuelve a producirse una contraccion del algebra de Lie de operadores (observables
cuanticos), al algebra conmutativa de funciones sobre el espacio de fases.
0.6. Leyes de la dinamica en la Teora de la Relatividad Es-
pecial
0.6.0.2 Covariancia de las ecuaciones
La forma mas ecaz de formular una ley que respete un cierto principio de simetra es escribir una
ecuacion entre tensores del mismo rango. De esta manera, al hacer una transformacion del grupo de
simetras, ambos miembros de la ecuacion se transformaran de identica manera, quedando nalmente
la misma ecuacion de partida pero en las nuevas coordenadas, tal y como queramos. En este caso
decimos que el principio de simetra se implementa a traves de la covariancia de las ecuaciones.
0.6.0.3 Principio de correspondencia
En la busqueda de leyes fsicas no estamos empezando desde cero. De la ultima seccion del captulo
anterior sabemos que existe un procedimiento para hacer contacto con el formalismo de Newton, el
cual esta arraigado en el principio de relatividad de Galileo. Este procedimiento consiste en quedarnos
con la contribucion dominante en el parametro v/c, y lo denominamos lmite clasico o galileano.
En resumen, la estrategia va a consistir en la b usqueda de ecuaciones covariantes, que se reduzcan
adecuadamente en el lmite de bajas velocidades, a las de aquellas leyes galileanas que conocemos.
0.6.1. Partcula libre
0.6.1.1 Cuadrimomento
A todas luces el enunciado de la ley de conservacion del momento lineal para una partcula libre ,
d p/dt = 0, no es covariante Lorentz debido al hecho de que hace uso de un tri-vector, el momento
15
lineal. Por tanto, en primer lugar nuestra atencion se centrara en aquel cuadrivector que se reduzca
adecuadamente al momento lineal p = mu en el lmite c . Recordemos para empezar, que la
4-velocidad tena la forma siguiente
U

O
(U
0
,

U) = (
u
,
u
u) (50)
con
u
= 1/

1 u
2
. Por tanto, en el lmite u 0 sus componentes espaciales coinciden con las de la
velocidad.
lm
u0
U
i
= u
i
(51)
(recordemos que estamos usando unidades naturales en las cuales el modulo de la velocidad es una
fraccion de la velocidad de la luz). Por tanto, un cuadrivector que se reduzca a los valores clasicos del
momento lineal en las componentes espaciales es
P

= mU

. (52)
En mecanica de Newton, m tiene un signicado dinamico, al ser el coeciente que relaciona la fuerza
aplicada con la respuesta (aceleracion) de la partcula. Dicho signicado es invariante Galileano debido
a que la ecuacion

F = ma lo es. Para que (52) dena un cuadrivector P

a partir de otr U

, debemos
imponer que m sea un escalar de Lorentz, que podemos recuperar mediante la contraccion
P

= m
2
U

= m
2
.
Esta cantidad se denomina, masa invariante de la partcula. Las componentes del cuadrimomento son
por tanto
P

O
(P
0
,

P) = (m
v
, m
v
v
i
) =
v
(m, p). (53)
y tienen dimensiones de masa, que son las del momento en unidades naturales.
0.6.1.2 Ecuacion de la partcula libre
Supongamos que O es un sistema de referencia inercial en el que las coordenadas espaciales son
cartesianas; para una partcula libre, por denicion, se verica que conserva su cuadrimomento
dP

dx
0
= 0. (54)
La ecuacion (54) no parece covariante, sin embargo podemos extraer un enunciado covariante recor-
dando que dx
0
= d, donde d es el tiempo propio, que es un invariante Lorentz, debido a que
coincide con el intervalo ds = d,
2
. Entonces (54) implica (mientras ,= 0)
dP

d
= 0 (55)
Finalmente tenemos un enunciado covariante para la partcula libre.
0.6.1.3 Energa en reposo de una partcula
Ya hemos visto que el lmite clasico de las componentes espaciales del 4-momento reproduce el trimo-
mento usual. Veamos que ocurre con la componente P
0
en este lmite:
P
0
= m
u
= m
1

1 u
2
= m+
1
2
mv
2
+O(v
4
)
2
de nuevo hay que ser cuidadoso al recuperar las unidades MKS. ds se mide en metros, y por eso escribiremos
ds = cd = c dt = dx
0
.
16
Despreciando ordenes superiores, ya que v 1 en el lmite galileano, obtenemos para P
0
un resultado
sorprendente al descubrir que es, basicamente, la energa cinetica de la partcula
3
. Veamos esto con
cuidado. Recordemos en primer lugar que, en mecanica Newtoniana, la energa, denida a partir de
una ley de conservacion o de una simetra bajo traslacion temporal, vena especicada salvo una
constante aditiva E = + 1/2mu
2
. Si ahora imponemos que E se transforme como la componente 0
de un cuadrivector, necesariamente = m.
Este hecho unica dos conceptos que en la teora de Newton parecan disconexos; ahora la energa y
el momento forman las componentes de un mismo cuadrivector estan relacionados a traves de la masa
invariante m
2
:
P

= E
2
+P
2
= m
2
; (P
2
=

P

P),
es decir
E =
_
m
2
+P
2
.
En conclusion, cualquier partcula que tenga una masa m lleva asociada una energa en reposo dada
por la relacion E(0) = m (o E(0) = mc
2
en unidades del S.I.). Esta relacion se denomina ley de
equivalencia entre la masa y la energa. Un sistema de dos partculas libres en reposo tiene el doble
de masa que cada una de ellas por separado. Sin embargo si hay interaccion la energa en reposo del
sistema ligado (y por tanto su masa), en general sera menor que la suma de las masas constituyentes,
debido a que hay que E(0) ahora contedra un termino de energa potencial negativo. Este hecho se
verica experimentalmente y tiene su consecuenceia mas dramatica en el caso de los n ucleos atomicos.
Se denomina defecto de masa a la energa almacenada en la interaccion que liga dichos n ucleso, y que
se libera al producirse la sion nuclear.
0.6.1.4 Partculas de masa nula
Por ultimo vamos a mencionar la dicultad que existe para denir el cuadrimomento de partculas sin
masa. A la luz de (53) es evidente que esta denicion no tiene un lmite razonable para m 0. Sin
embargo vemos que si, al mismo tiempo que tomamos ese lmite, hacemos tender v 1, entonces los
factores
u
, y podemos obtener un lmite no nulo para el producto E = m
u
. Por un lado, eso
quiere decir que las partculas sin masa deben viajar a la velocidad de la luz. Por otro, de la ecuacion
invariante
0 = E
2
+P
2
(57)
obtenemos que el 4-momento de una partula de masa cero adopta la forma siguiente
P

O
E(1, n) (58)
donde n es un vector unitario que especica la direccion de propagacion. Vemos por tanto que a un
tiene sentido hablar de la energa de un foton a un cuando no tenga sentido su cuadrivelocidad. De
hecho es posible dar sentido a E en el contexto de la mecanica cuantica, encontrandose la posibilidad
de expresar su valor en terminos de la frecuencia (el color) y la constante de Planck E = .
Ejercicio 0.6.1. Verica a partir de la expresion anterior para la energa de un foton,
la formula del efecto Doppler relativista.
3
La forma de recuperar c es deniendo E = c
2
P
0
, para que las unidades sean correctas. En el lmite cl asico tenemos
E = mc
2
U
0
= mc
2
1

1 (
u
c
)
2
= mc
2
+
1
2
mu
2
+O((
u
c
)
2
), (56)
donde u se mide en m/s.
17
0.6.2. Electrodinamica covariante
El caso de una partcula libre es excesivamente sencillo. Ahora debemos abordar el caso de una
partcula en interaccion con un campo externo. La electrodinamica es el ejemplo paradigmatico. Ana-
lizaremos primero la ecuacion que describe como los campo afectan a la dinamica de las partculas, y
posteriormente, como estas act uan como fuentes del campo electromagnetico.
En esta seccion el principio que nos va a guiar va a ser deductivo, y consistira en escribir un sistema de
ecuaciones que respeten los axiomas de la Teora de la Relatividad Especial, y que contengan (al menos
en un cierto lmite) a la electrodinamica de Maxwell (la cual tomaremos como experimentalmente
valida) escrita en el formalismo Newtoniano.
Dinamica de una partcula cargada en un campo electromagnetico
0.6.2.1 Partculas en interaccion
La generalizacion covariante mas sencilla de la ecuacion (55) requiere un 4-vector para el miembro
derecho.
dP

d
= f

. (59)
Para ser una ecuacion consistente con la Teora de la Relatividad Especial, ambos miembros deben
ser cuadrivectores. De esta manera, la ecuacion anterior adquirira exactamente la misma forma en
cualquier SRIR. Llamaremos al objeto de la derecha cuadrivector fuerza.
0.6.2.2 Ley de la Fuerza de Lorentz
Empricamente se obtuvo la laye que describe la fuerza que hace desviarse a las partculas cargadas
en presencia de campos electricos,

E, creados por conductores cargados, y de campos magneticos,

B,
creados por imanes (Fuerza de Lorentz)
m
dv
dt
= e(

E +v

B) (60)
Aqu e es la carga de la partcula de prueba, y v la velocidad galileana en un determinado sistema
de referencia. A su vez, la variacion de la energa cinetica es debida solo al campo electrico ya que

B
produce una fuerza perpendicular al desplazamiento que por lo tanto no realiza trabajo alguno.
d E
dt
= e

E v (61)
donde, y E =
1
2
mv
2
A partir de (50) es sencillo demostrar que el siguiente sistema,
d

P
d
= e(U
0

E +

U

B) (62)
dP
0
d
= e

E

U (63)
se reduce a primer orden en v a (60) y (61) espectivamente. El objetivo es escribir este sistema en la
forma dada en (59). Para ello es necesario identicar el miembro de la derecha con un cuadrivector
fuerza. El truco consiste en organizar los campos

E y

B en la forma matricial siguiente
F

=
_
_
_
_
0 E
x
E
y
E
z
E
x
0 B
z
B
y
E
y
B
z
0 B
x
E
z
B
y
B
x
0
_
_
_
_
(64)
18
Es trivial vericar que (63) son las componentes espaciales y temporal de la siguiente ecuacion
dP

d
= eF

(65)
0.6.2.3 Tensor de Faraday
Para garantizar que (65) sea una ecuacion como (59), el miembro de la derecha debe ser un cuadrivector
contravariante
f

= eF

.
Dado que e es un escalar y U

un cuadrivector contravariante, entonces es necesario suciente con

asegurar que las componentes de F

se transforman al cambiar de SRIR como las de un tensor (1, 1).

Entonces, de la ley general de transformacion de tensores F

, se deducen las
ecuaciones para la transformacion de los campos electrico y magnetico. Para una transformacion pura
de Lorentz, con

dada explcitamente en (9) es sencillo mostrar que las componentes de F

y
las de F

se relacionan como sigue

= (

E +v

B)

2
+ 1
v(v

E)

= (

B v

E)

2
+ 1
v(v

B) (66)
Estas ecuaciones muestran como los campos electrico y magnetico no tienen existencia independiente.
Un campo puramente electrico o magnetico en un sistema de referencia aparecera como una mezcla
de ambos en otro sistema. Hay que tener en cuenta ciertas restricciones. As por ejemplo, es facil ver
que no es posible cambiar un campo

E puro en otro

B puro. Pero los campos estan interrelacionados
entre s y por tanto es mas propio hablar de un solo campo, el llamado tensor electromagnetico, o de
Faraday F

.
A partir de F

podemos denir otros tensores que no son independientes. Por ejemplo F

es un
tensor de rango (0, 2) que se obtiene del de bajando los ndices con la metrica

=
_
_
_
_
0 E
x
E
y
E
z
E
x
0 B
z
B
y
E
y
B
z
0 B
x
E
z
B
y
B
x
0
_
_
_
_
(67)
Otro tensor de utilidad, como veremos mas adelante es el llamado tensor dual de intensidad de campo

=
1
2

=
_
_
_
_
0 B
x
B
y
B
z
B
x
0 E
z
E
y
B
y
E
z
0 E
x
B
z
E
y
E
x
0
_
_
_
_
(68)
Los elementos de

F

se obtienen de los de F

sustituyendo

E

B as como

B

E. Esto es lo
que se conoce como transformacion de dualidad.
Dinamica de los campos electromagneticos
La fuerza de campos sobre partculas constituye la mitad de las ecuaciones de la electrodinamica.
La otra parte, por el principio de acci on y reaccion, es la que codica de que manera las partculas
cargadas generan campo electromagnetico en el espacio. La genialidad de James C. Maxwell permite
19
escribir esta accion de una manera bastante compacta. Las ecuaciones de Maxwell se dividen en dos
grupos. Estan, por un lado, las ecuaciones inhomogeneas

E = ;

B =

E
x
0
+

j (69)
que especican el campo electrico

E creado por una densidad de carga (t, x), y tambien el campo
magnetico

B que aparece como consecuencia de una corriente de carga

j(t, x). A parte, tenemos un
segundo grupo de ecuaciones, las homogeneas, que son necesarias porque los campos

E y

B no son
diferencialmente independientes. Por tanto estas ecuaciones lo que expresan realmente son ligaduras

B = 0 ;

E +

B
x
0
= 0 . (70)
Aunque no lo parezca, el conjunto de ecuaciones (69) y (70) son invariantes bajos cambios de sistema
de referencia en las que los campos

E y

B se transformen como en (66) (esto fue descubierto por
Lorentz). Escritas de esa manera, esta propiedad esta muy oculta. Para ponerlo de maniesto es
necesario escribir este sistema de una manera covariante. Es un ejercicio demostrar que el siguiente
sistema de ecuaciones es equivalente al formado por (69) y (70)

= J

= 0 , (71)
donde hemos agrupado y

j en un cuadrivector corriente electromagnetica J

= (,

j).
0.7. Formulaci on Lagrangiana
La formulacion de la electrodinamica covariante ha sido efectuada suponiendo que partimos de una
teora conocida y correcta (al menos en alg un rango de parametros). El procedimiento ha consistido en
deducir unas ecuaciones que extienden mnimamente dicha teora y son compatibles con el principio
de simetra que incorpora la Teora de la Relatividad Especial. En esta seccion vamos a complementar
este punto de vista con otro mas constructivo, basado en la explotacion hasta el lmite del conocimiento
de las simetras. El formalismo variacional muestra aqu toda su potencia cuando se sigue este punto
de vista, que es el que ha conducido a exitos increbles como la formulacion del modelo estandar de
partculas y campos elementales.
0.7.1. La partcula libre relativista
Las coordenadas generalizadas son las cuatro componentes x

del vector de posicion espacio-temporal.

Una trayectoria en el espacio de conguraciones parametrizada con un parametro arbitario es t
O

(t) = (x
0
(t), x(t)). La diferencia ahora estriba en que la informacion sobre la velocidad de la partcula
esta en la propia curva y no en el parametro de evolucion
v(t) =
dx
dt
dt
dx
0
. (72)
Con ella podemos reconstruir
u
y por ende la cuadrivelocidad completa. De hecho, dado que la tra-
yectoria esta connada en el cono de luz, podemos usar x
0
mismo como parametro t t

(t) = x
0
(t).
Sin embargo es mucho mas util considerar t como un parametro auxiliar no ligado a las coordenadas,
y por tanto insensible a transformaciones de Lorentz.
20
0.7.1.1 La acci on
La partcula libre percibe directamente la estructura del espacio vaco. Es natural, por tanto, que la
accion que gobierna su dinamica incorpore las simetras del vaco.
a) La homogeneidad del espacio vaco implica que la accion de la partcula libre S, debe ser insensible
a desplazamientos rgidos del observador x

= x

+ a

. En consecuencia, S no debe depender

de la posicion x

, y solo podra hacerlo de sus derivadas S =

_
L(dx

/dt)dt.
b) Las transformaciones de Lorentz
x

(t) x

(t) =

(t) (73)
tambien deben dejar invariante la accion. Ello se consigue haciendo que el lagrangiano dependa
de la combinacion escalar L( x

).
Por ultimo, imponemos una simetra que asegure que el parametro t de la curva sea puramente auxiliar,
y no una variable dinamica
c) La accion, S, debe coincidir para curvas que se diferencien solamente en la parametrizacion S =
_
L(t)dt =
_
L

(t

)dt

. Notemos que las variables permitidas se transforman tensorialmente (son

velocidades)
dx

(t)
dt

dx

(t

)
dt

dt

dt
(74)
La solucion a estos requisitos es unica
S
p
= m
_
t
f
t0
_

dx

dt
dx

dt
dt (75)
El signo negativo es necesario bajo la raz cuadrada es debido a que se trata de trayectorias tipo
tiempo. Podemos vericar que esta expresion no es mas que la longitud invariante Lorentz de la curva
descrita reparametrizando t (t)
S
0
= m
_

f
0
_

dx

d
dx

d
d = m
_

f
0
_
U

d = m
_

f
0
d (76)
pero ds

ds
2
= d es precisamente el elemento de lnea. De esta forma la accion es proporcional a
la longitud de arco invariante a lo largo de la trayectoria seguida. El signo negativo delante de la raiz
cuadrada es necesario porque la trayectoria fsica maximiza el tiempo propio y por tanto la longitud
de arco, como puede comprobarse estudiando el caso de una partcula libre parada en el origen.
0.7.1.2 Ecuaciones del Movimiento
Podemos ahora deducir las ecuaciones del movimiento para la partcula libre
L
x

d
dt
L

=
d
dt
m
_

dx

dt
= 0.
Comparando esta expresion con la analoga para la partcula libre galileana vemos que, efectivamente,
esta ecuacion se transforma covariantemente frente a reparametrizaciones temporales, gracias al factor
de la raiz cuadrada. Podemos reducir el tama no de la expresion utilizando el tiempo propio, ya que
como bien sabemos
_

dx

dt
dx

dt
dt =
_

dx

d
dx

d
d = d
21
y por tanto

d
dt
m
dx

d
= m
_
d
dt
_
d
2
x

d
2
= 0 (77)
como la derivada de la reparametrizaci on no se puede anular, resulta nalmente en
m
d
2
x

d
2
=
dP

d
= 0 (78)
Un par de comentarios son ahora oportunos. En primer lugar vemos que las ecuaciones de Euler-
Lagrange son covariantes Lorentz: es crucial para ello que partamos de una accion escalar Lorentz. En
segundo, no podemos usar las ecuaciones de Euler lagrange si parametrizamos la accion mediante ,
debido a que este parametro es funcion de las coordenadas y por tanto introduce ligaduras (U

= 1
reeja que las componentes de la 4-velocidad no son independientes). Tal ligadura puede tenerse en
cuenta mediante multiplicadores de Lagrange.
0.7.1.3 Magnitudes conservadas
Por ultimo, hagamos mencion a la existencia de magnitudes conservadas. Es evidente que las cuatro
coordenadas x

son cclicas. De (77) y (78) vemos que P

son precisamente los momentos conjuga-

dos, los cuales son conservados. En el caso newtoniano la conservacion de la energa era consecuencia
de la invariancia de la accion bajo traslaciones temporales. Sin embargo ahora el tiempo es una coor-
denada generalizada mas, y la conservacion de la energa tiene el mismo rango que la conservacion del
momento lineal. Llegamos por tanto a la vericacion de que E = P
0
.
0.7.1.4 La partcula con una interaccion relativista
El siguiente paso logico consiste en obtener un ecuacion del movimiento de la forma (59) mediante
este formalismo. Como hemos dicho, la covariancia viene asegurada partiendo de una accion escalar
Lorentz. Para su construccion contamos por un lado con los 4-vectores asociados a la partcula. Por
otro debemos postular que el campo externo en el que la partcula evoluciona es un campo tensorial
Lorentz. Podemos por tanto considerar a priori tantas interacciones distintas como campos. Por orden,
los casos mas sencillos son las funciones, los campos vectoriales, tensores de rango dos, etc. Vamos
a estudiar el segundo. Denotamos el campo vectorial externo por A

(x); el lagrangiano debe incluir

un termino que exprese la interaccion con este campo. Si exigimos los mismos requisitos que para la
accion libre, la solucion mas sencilla es
S
int
= e
_
t
f
ti
dx

(t)
dt
A

(x(t))dt (79)
Esto es lo que se conoce como acoplamiento minimal. El lagrangiano total de la partcula sera
L = m
_

dx

dt
dx

dt
+e
dx

(t)
dt
A

(x(t)) (80)
La constante e mide el acoplamiento de la partcula al campo y se denomina carga o constante de
acoplamiento. Si calculamos las ecuaciones del movimiento para x

(t) tenemos
L
x

= e
dx

dt

(x)

d
dt
L
x

=
d
dt
_
m
_
x

dx

dt
+eA

(x)
_
=
d
dt
m
dx

d
e
d
dt
A

(x)
es decir
[L]
x
=
d
dt
m
dx

d
+e
d
dt
A

(x) e
dx

dt

(x) = 0 (81)
22
y multiplicando la ecuacion por
dt
d
obtenemos su expresion en funcion de .
m
d
2
x

d
2
+e
d
d
A

(x) e
dx

(x) = 0
Si desarrollamos
dA

d
=

dx

d
la ecuaci on del movimiento queda en la forma
m
d
2
x

d
2
= e(

)
dx

d
y deniendo el tensor antisimetrico de campo electromagnetico
F

= F

(82)
podemos escribir la ecuacion dinamica como sigue
dP

d
= eF

(83)
Examinando las componentes de (82) , vemos que podemos relacionar las componentes del campo A

con las de los campos

E y

B que aparecen en la expresion (64).
E
k
= F
0k
= (
t

A

)
k
(84)
donde

A es el potencial vector y A
0
= A
0
es el potencial escalar. Analogamente la parte espacial
se relaciona con el campo magnetico
B
k
=
1
2

ijk
F
ij
=
ijk

i
A
j
= (

A)
k
(85)
El momento conjugado a la posicion ya no es el momento lineal
P

= mU

como ocurra con la partcula libre. Ahora es

=
L
x

= mU

+eA

Si en lugar de una, estamos tratando con N partculas en un campo electromagnetico escribiremos

para este sistema
L =
N

a=1
m
a
_

dx

a
dt
dx

a
dt
+e
dx

a
(t)
dt
A

(x
a
(t)) (86)
0.7.2. Dinamica del campo electromagnetico
0.7.2.1 Lagrangianos de medios contnuos
En la seccion previa hemos visto como acoplar partculas cargadas a campos electromagneticos ha-
ciendo uso del formalismo lagrangiano. Sin embargo es evidente que considerar el campo como un dato
externo invariante solo puede responder a una aproximacion. En general sabemos que las partculas
cargadas producen un campos electrico y magneticos que se habran de sumar a los existente en cada
23
momento. Cual es el campo producido por una carga en movimiento? De este problema nos vamos
a ocupar en esta seccion haciendo uso del formalismo variacional para medios contnuos. Nuestras
coordenadas generalizadas van a ser por tanto funciones sobre el espacio de Minkoswky. Ya sabemos
que para describir la interaccion de partculas con campos electromagneticos mediante lagrangianos
hemos tenido que hacer uso del conjunto de campos A

(x). Los campos

E y

B pueden expresarse
en terminos de los campos A

a traves del tensor F

. La primera ventaja que ofrece trabajar con

estos dos ultimos objetos es que son buenos tensores Lorentz, lo cual hace mas sencilla la b usqueda
de acciones escalares. De esta manera, esperamos que nuestra densidad lagrangiana sea una funcion
del campo electromagnetico A

(x), sus velocidades

y posiblemente el punto x

/ = /(A

, x

) (87)
0.7.2.2 Identidades de Bianchi
Hay dos razones adicionales para no considerar

E y

B como las variables fundamentales. En primer
lugar la ecuaciones de Euler Lagrange producen ecuaciones diferenciales de segundo orden, mientras
que las ecuaciones de Maxwell son de primer orden. En segundo lugar

E y

B no son diferencial-
mente independientes. Esto se deriva directamente de la parametrizacion de F

en terminos de A

.
Efectivamente escribiendo

) = 0 (88)
debido a la simetra de las segundas derivadas parciales. La anterior ecuacion puede escribirse en forma
mas concisa haciendo uso del tensor electromagnetico dual (68)

= 0 . (89)
Vemos que estas ecuaciones son identidades diferenciales y no tienen ning un caracter dinamico, es
decir no proceden de ninguna accion extremal, y se conocen como identidades de Bianchi.
0.7.2.3 Invariancia de Gauge
A
!
"
d!
A
!
A
!
A
!
"
d!
F
!"
F
!"
Figura 3: Fibracion gauge del espacio de campos A

(x).
24
El problema que surge al usar A

(x) como coordenadas generalizadas para el campo electromagnetico

es que en realidad la partcula no se acopla directamente a A

, sino a F

, como se reeja en las

ecuaciones del movimiento. Ello implica que hay una cierta ambig uedad en la especicacion de A

, ya
que dos campos A

y A

dan lugar a identicos tensores F

, y por tanto a los mismos campos

E y

B. Efectivamente
F

(A+) =

+ (

) = F

(A).
Esta ambig uedad no se puede jar haciendo experimentos con partculas clasicas cargadas, y por ello
se eleva a categora de principio de simetra. La simetra de gauge para el campo electromagnetico es
un postulado y debe, por tanto, incorporarse a la construccion del lagrangiano de la misma manera
que la simetra Lorentz.
0.7.2.4 Vamos nalmente a escribir el lagrangiano para el campo A

en presencia de fuentes car-

gadas. Como de costumbre esperamos que el termino libre sea cuadratico en velocidades

. Si
exigimos que cumpla los dos requisitos siguientes:
a) Invariancia Lorentz, es decir, la accion ha de ser un escalar. Esto implica que debemos construir
la accion contrayendo tensores.
b) Invariancia frente a transformaciones del tipo (??), es decir nalmente los campos observables han
de ser

B y

E. Esto implica que debemos usar tensores invariantes gauge. Es decir F y

F.
Solo tenemos dos posibilidades F

, y F

. No consideraremos la segunda
4
.
Normalizando llegamos a la expresion siguiente para la accion del campo electromagnetico libre:
S
c
=
_

1
4
F

d
4
x (91)
0.7.2.5 Las ecuaciones de Euler-Lagrange se obtienen de la formula general
d
dx

_
/

A
,
_

A
= 0. (92)
Ahora los ndices colectivos
A
son ahora ndices tensorials

, es decir tenemos la identicacion
A
,

A
,
y en consecuencia debemos calcular la expresion:
/
A

/
A
,
= 0. (93)
donde el lagrangiano es, seg un (91),
/
M
=
1
4
(A
,
A
,
)(A
,
A
,
).
4
Usando formas diferenciales es trivial escribir la accion para este termino en la forma
S =

M
4
FF

d
4
x =

M
4
dA dA =

M
4
d(A dA) =

M
4
(A dA) (90)
donde hemos usado el teorema de Stokes para transformar la integral de volumen de una 4-forma sobre el espacio de
Minkowski M
4
, en una integral de una 3-forma sobre la frontera en el innito que es una 3-esfera; por hipotesis los
campos se anulan en el innito, y por tanto S tambien. En rigor s olo es necesario que los campos

E y

B se anulen,
pudiendo permanecer un campo A = d en el innito. S es una constante que puede normalizarse a un n umero entero,
el cual clasica las clases de homotopa asociadas a conguraciones de este tipo de campos en una 3-esfera.
25
El segundo termino no contribuye, pero el primero s, obteniendose nalmente:

= 0 . (94)
0.7.2.6 Acoplamiento a las fuentes.
Las fuentes de de campos electromagnetico no son otras que las partculas cargadas. Ya hemos visto
en la seccion anterior que la forma mas sencilla de describir este efecto es mediante un termino en el
lagragiano que denominamos, termino de acoplamiento minimal (79). En el caso mas realista de que
se trate de un conjunto de N partculas con trayectorias x

n
(t) tenemos la generalizacion obvia
L
int
=
N

n=1
e
n
dx

n
(t)
dt
A

(x
n
(t)) (95)
En esta ecuacion las trayectorias de las partculas x

n
(t), no son variables dinamicas, sino datos externos
que no se ven alterados por el campo. Sin embargo debemos rescribir este termino en la forma de una
densidad lagrangiana adecuada al tratamiento de medios contnuos:
S
int
=
_
d
4
x/
int

_
d
4
xJ

(x)A

(x) (96)
Identicando las dos ecuaciones anteriores llegamos a la conclusion de que
J

(x) =
N

n=1
_
2
1
e
n
dx

n
(t)
dt
(x x
n
(t))dt (97)
5
donde hemos hecho uso de la delta cuatridimensional denida por
(x y) =
3

=0
(x

)
3
(x y)(x
0
y
0
). (98)
J

(x) es el cuadrivector densidad de corriente electromagnetica, o simplemente la corriente. En ella

vemos que cada partcula contribuye con su carga y su cuadrivelocidad si su posicion en el espacio
cuadridimensional coincide con la del punto en el que se esta observando, que es el argumento de
J

(x).
0.7.2.7 Corriente electrica
La expresion (97) es maniestamente invariante frente a reparametrizaciones de la trayectoria. Ello
permite comprobar que efectivamente es un cuadrivector, sin mas que reparametrizar el tiempo propio
de cada partcula t
n
:
J

(x) =
N

n=1
_
2
1
e
n
dx

n
(
n
)
d
n
(x x
n
(
n
))d
n
=
N

n=1
_
2
1
e
n
U

n
(x)(x x
n
(
n
))d
n
(99)
Bajo transformaciones de Lorentz la funcion
4
(x x
n
() permanece invariante porque det = 1,
por lo tanto estamos frente a un cuadrivector. Si usamos como parametro el tiempo del sistema de
referencia del laboratorio, t x
0
(t) = x
0
n
(t), n encontramos que
J
0
(x
0
, x) =

n
e
n

3
(x x
n
(x
0
)) (100)

J(x
0
, x) =

n
e
n

3
(x x
n
(x
0
))
dx
n
dx
0
(101)
5
Usamos la notaci on x

cuando queremos resaltar el caracter de cuadrivector de la variable posicion. Sin embargo

cuando hace el papel de argumento de una funcion la denotaremos por x a secas
26
Esta forma pone de maniesto que J
0
es la densidad de carga, mientras que

J es la densidad de
corriente tridimensional. Notemos ademas que

J(x
0
, x) =

n
e
n

x
i

3
(x x
n
(x
0
))
dx
n
dx
0
=

n
e
n

x
i
n

3
(x x
n
(x
0
))
dx
n
dx
0
=

n
e
n

3
(x x
n
(x
0
))
=

t
J
0
(x
0
, x) (102)
que en lenguaje cuatridimensional equivale a

(x) = 0. (103)
0.7.2.8 Carga electrica
Sabemos por experiencia que cuando una corriente verica una ecuacion de continuidad, como (103),
podemos formar una carga total que es independiente del tiempo;
Q =
_
d
3
xJ
0
(x). (104)
La conservacion de esta carga sigue los mismos pasos que mostramos en el caso de la barra elastica
Q
t
=
_
d
3
x
J
0
(x)
x
0
=
_
V

3
x

J(x) =
_
V

J(x) d = 0. (105)
Aunque el no es evidente que Q sea un invariante Lorentz puede demostrarse algebraicamente sin
gran esfuerzo (c.f. Weinberg p.41). Sin embargo para una densidad de corriente de la forma (100) este
hecho es evidente pues podemos hacer la integral y obtener Q =

n
e
n
que pone de maniesto que
Q no es otra que la carga electromagnetica total.
0.7.2.9 Ecuaciones de Maxwell
Estamos por n en condiciones de escribir el Lagrangiano del campo electromagnetico acoplado de
forma minimal a fuentes cargadas:
/ =
1
4
F

+J

(x)A

(x). (106)
De aqu vamos a obtener las ecuaciones de Euler Lagrange usando la formula (92). El resultado (94)
nos ahorra la mitad del trabajo y nalmente obtenemos

= J

(x). (107)
que son precisamente las ecuaciones inhomogeneas de Maxwell que fueron introducidas anteriormente
en (71).
Esta ecuacion es consistente con la conservacion covariante de la 4-corriente. Efectivamente escribiendo

(x) (108)
el segundo miembro se anula en virtud de (103), mientras que el primero lo hace debido a la antisimetra
de F

.
27
0.7.2.10 Resumen
Vamos a resumir los resultados fundamentales obtenidos hasta el momento. La dinamica de partculas
cargadas y campos electromagneticos en interaccion mutua viene descrita por la accion
S = S
p
+S
int
+S
c
(109)
donde cada termino adopta la siguiente forma
S
p
=
_
dt
N

n=1
m
n
_

dx

n
dt
dx

n
dt
S
int
=
_
dt
N

n=1
e
n
dx

n
(t)
dt
A

(x
n
(t)) =
_
d
4
xJ

(x)A

(x)
S
c
=
_
d
4
x
1
4
F

que involucra las coordenadas x

a
, A

. Dependiendo del problema que se este tratando es posible

considerar un conjunto de variables como no dinamicas, es decir como fuentes. En ese caso uno debe
buscar un extremal de la accion variando solamente el conjunto restante. Sin embargo el tratamiento
exacto del problema implica la solucion simultanea de todas las ecuaciones de Euler-Lagrange:
m
d
2
x

n
d
2
= eF

dx

n
d
(110)
F

,
= J

(x) (111)

,
= 0 (112)
donde J

y x

n
estan relacionadas mediante (97).
0.7.3. El Tensor de Energa-Momento
0.7.3.1 T

para el gas de partculas

En la seccion anterior introdujimos la corriente y densidad de carga electromagnetica, (,

J). Para el
mismo conjunto de partculas denimos el tensor de energa momento mediante:
T

mat
(x) =

n
_
dt P

n
dx

n
dt

4
(x x
n
(t)) (113)
Esta expresion es una escalar (invariante) frente a reparametrizaciones (independientes) de las curvas
x

(t), y se transforma como un tensor Lorentz dos veces contravariante.

Ademas es simetrico T

= T

. Para ver esta propiedad es conveniente utilizar como parametro el

tiempo propio de cada trayectoria t
n
:
T

mat
(x) =

n
_
d
n
P

n
dx

n
d
n

4
(x x
n
(
n
)
=

n
1
m
n
_
d
n
P

n
P

4
(x x
n
(
n
)
= T

(114)
28
Por otro lado la interpretacion fsica de las distintas componentes se percibe mas claramente en la
parametrizacion
n
x
0
n
:
T

mat
(x) =

n
_
dx
0
n
P

n
dx

n
dx
0
n

3
(x x
n
(x
0
n
))(x
0
x
0
n
). (115)
es decir
T
0
mat
(x
0
, x) =

n
P

3
(x x
n
(x
0
))
T
i
mat
(x
0
, x) =

n
P

n
dx
i
n
dx
0

3
(x x
n
(x
0
)). (116)
La primera ecuacion reeja que T
0
mat
es la densidad de cuadrimomento, mientras que de la segunda
observamos que T
i
mat
es la corriente de cuadrimomento.
0.7.3.2 Por ultimos vamos a investigar la conservacion de este tensor.

mat
(x) =

n
_
d
n
P

n
dx

n
d
n

4
(x x
n
(
n
))
=

n
_
d
n
P

n
dx

n
d
n

4
(x x
n
(
n
))
=

n
_
d
n
P

n
d
d
n

4
(x x
n
(
n
))
=

n
_
d
n
dP

n
d
n

4
(x x
n
(
n
))
=

n
dP

n
(x
0
)
dx
0

3
(x x
n
(x
0
)) (117)
y as llegamos a que

mat
= G

donde G

dada por la ultima lnea en (117) es la densidad de fuerza

covariante:
G

n
_
d
n
dP

n
d
n

4
(x x
n
(
n
)) =

n
_
d
n
f

4
(x x
n
(
n
)) (118)
0.7.3.3 Hay dos situaciones sencillas en las que encontramos conservacion del tensor de energa
momento,

mat
= 0. La primera se produce cuando G

= 0, es decir cuando se trata de un conjunto

de partculas libres. La segunda ocurre cuando las partculas en cuestion interact uan m utuamente
mediante interacciones que son estrictamente locales en las que se conserva el momento total (colisiones
elasticas). En este caso si x
c
indica la posicion en donde ocurre una colision en la que coinciden un
conjunto de m C partculas en el instante x
0
c
, tenemos que

mat
(x) =

colisiones

3
(x x
c
)
d
dx
0

{mC}
P

n
(x
0
)

x
0
=x
0
c
(119)
Dado que en cada colision se conserva el momento total de las partculas que participan tenemos que
d
dx
0

{mC}
P

n
(x
0
) = 0 y consecuentemente

mat
= 0 como deseabamos.
0.7.3.4 Por el contrario si las partculas estan sometidas a fuerzas a distancia, en general no encon-
tramos conservacion. Por ejemplo consideremos un gas de partculas cargadas con cargas e
n
. Entonces

mat
(x) =

n
_
d
n
f

(x
n
)
4
(x x
n
(
n
))
29
=

n
_
d
n
e
n
F

(x)U

(x
n
)
4
(x x
n
(
n
))
= F

(x)J

(x) (120)
Esta ecuacion es el reejo de que las partculas no son libres. Por tanto para encontrar un tensor de
energa momento conservado debemos incluir el asociado al campo electromagne tico.
0.7.3.5 Energa y momento del campo electromagnetico
Sea
T

em
= F

1
4

(121)
Podemos calcular la cuadridivergencia

em
= (

)F

+F

)
1
2
(

)F

(122)
ahora bien, tenemos que el segundo sumando puede escribirse en la forma siguiente
F

) =
1
2
F

) (123)
as que nalmente obtenemos

em
= (

)F

+
1
2
F

) (124)
y haciendo uso de las ecuaciones de Maxwell (71) llegamos a que

em
= F

(125)
En resumidas cuentas llegamos a la conclusion de que, efectivamente, como reejo de que el sistema
total del conjunto de partculas mas el campo electromagnetico estan aislados, el tensor de energa
momento completo se conserva

(T

mat
+T

em
) = 0 (126)
0.8. Soluciones de las ecuaciones de Maxwell.
Las ecuaciones del movimiento (112) constituyen un conjunto de ecuaciones diferenciales acopladas.
Es en general imposible encontrar soluciones de forma analtica debiendo hacerse numericamente. Sin
embargo existen situaciones en las que es consistente despreciar el efecto de la materia cargada sobre
el campo o viceversa. En el caso extremo de que no tengamos materia cargada J

= 0, denominamos a
las soluciones de las ecuaciones de Maxwell, soluciones de vaco. Vamos a estudiar este caso en primer
lugar. Posteriormente examinaremos la generacion de campos por fuentes, es decir aquella situacion
en la que despreciamos la primera lnea en (112).
De forma generica se atribuye la denominacion de radiacion a la solucion de una ecuacion de ondas
ya sea homogenea o inhomogenea. De modo que debemos ser capaces de mostrar que en terminos de
alguna variable, las ecuaciones de Maxwell implican una ecuacion de ondas. Para verlo es conveniente
escribir la ecuacion (112) en terminos de los potenciales A

= J

(x) (127)
0.8.0.6 Fijacion del Gauge de Lorentz
30
Esto es casi lo que andabamos buscando, para lo cual a un sobra el segundo termino. Desearamos por
ejemplo que

= 0 (128)
. Esto en general no es cierto. Sin embargo recordemos que las variables fsicas no son los potenciales
A

sino los campos F

o bien

B y

E, a los cuales esta asociada una familia de potenciales vectores
relacionados entre s mediante transformaciones de gauge
A

= A

(129)
Dada una conguracion arbitraria A

, siempre podemos encontrar dentro de la clase de equivalencia

gauge, un representante A

que verique

= 0. Para ver esto basta con tomar la cuadridivergencia

de la ecuacion (129) e imponer que se anule. Encontramos as la condicion siguiente sobre el campo

(130)
La condicion (128) se denomina condicion de Lorentz. Esta condicion no ja completamente la liber-
tad de transformaciones gauge. Efectivamente la ecuacion (130) es invariante frente a ambig uedades
de la forma + donde

= 0.
Llegamos nalmente a las ecuaciones de Maxwell en el gauge de Lorentz:

= J

= 0 (131)
0.8.0.7 Solucion de vaco
Empezaremos por considerar las anteriormente mencionadas soluciones de vaco,

= 0 ;

= 0 (132)
Podemos encontrar una solucion para este sistema en forma de ondas planas que se propagan en la
direccion

k, vibrando en cada punto con frecuencia k
0
:
A

=
1
2
(e

exp(ik

) +e

exp(ik

)). (133)
Hemos elegido por comodidad la notacion compleja, si bien se trata de un campo real, como se reeja
en la expresion anterior. En adelante usaremos la notacion abreviada
A

= e

exp(ik

)
obviando la instruccion de tomar la parte real; e

son las 4 componentes del cuadrivector de pola-

rizaciones y, a priori, son todas independientes. Sin embargo para que (133) sea solucion de (132),
los vectores de onda k

y las polarizaciones e

deben satisfacer las relaciones algebraicas siguientes

k

= 0
k

= 0 (134)
(135)
La segunda ecuacion reduce el n umero de componentes independientes de e

a tres. Pero ademas,

sin cambiar los campos fsicos

E y

B, y sin abandonar el gauge de Lorentz, podemos realizar una
transformacion gauge residual
A

= A

(x) = 0 (136)
(137)
31
cuya solucion de nuevo puede ponerse en una base de ondas planas:
(x) = i exp(ik

)
k

= 0 (138)
lo cual permite escribir para los nuevos potenciales
A

= e

exp(ik

)
e

= e

. (139)
El parametro es arbitrario. As , de las tres componentes algebraicamente independientes de e

, a un
queda un grado de libertad esp ureo debido a la libertad gauge residual, quedando 3 1 = 2 grados
de libertad fsicamene signicativos.
0.8.0.8 Ejemplo
Para identicar y comprender la naturaleza de los dos grados de libertad fsicos vamos a considerar
una onda que viaja a lo largo de la direccion z con vector de ondas
k
1
= k
2
= 0 ; k
3
= k
0
k > 0. (140)
Entonces la condicion de que k

se anule nos permite considerar e

0
como dependiente
e
0
= e
3
. (141)
(notar: e
0
= e
3
). Tambien la transformacion gauge (139) deja e
1
y e
2
invariantes, pero cambia e
3
en
e

3
= e
3
k.
En consecuencia, podemos hacer e

3
= e

0
= 0 ajustando = e
3
/k, y por consiguiente los campos
fsicos,

E y

B solo dependen de A
1
y A
2
.
0.8.0.9 Helicidad
Podemos comprender mejor el signicado de las polarizaciones transversas, las unicas que no hemos
podido hacer desaparecer, sometiendo al sistema a una rotacion R(w
z
= ) a lo largo del eje z:
e

= R

y por tanto es facil mostrar que si en lugar de e

1
, e
2
y e
3
usamos e

e
1
ie
2
y e
3
tenemos
e

= exp(i)e

3
= e
3
(142)
En general, de cualquier onda plana , que se transforme bajo una rotacion de angulo alrededor de
la direccion de propagacion en la forma

= exp(ih)
decimos que tiene helicidadh.
Hemos visto entonces, que la onda electromagnetica puede ser descompuesta en partes con helicidades
1 y 0. Sin embargo solo las partes con helicidad 1 son relevantes. A esto nos referimos cuando
decimos que, clasicamente, el electromagnetismo es transportado por ondas de espn 1.
0.8.0.10 Ondas Polarizadas
32
Finalmente veamos que aspecto tiene la onda plana anterior en terminos de los campo fsicos

E y

B,
consideremos la onda polarizada en la direccion e
1
, es decir e
2
= 0,
A
1
= e
1
cos
_
k(x
3
x
0
)
_
; A
0
= A
2
= A
3
= 0 (143)
por tanto de

E
i
=
i
A
0

0
A
i
obtenemos
E
1
= e
1
k sen
_
k(x
0
x
3
)
_
, E
2
= E
3
= 0. (144)
mientras que B
i
= (

A)
i
y por tanto solo encontramos la contribucion B
2
=
3
A
1
o
B
2
= e
1
k sen
_
k(x
0
x
3
)
_
, , B
1
= B
3
= 0. (145)
es decir

E y

B estan en fase, formando un angulo recto en todo momento. Tambien podemos considerar
polarizaciones elpticas de la forma A
1
= e
1
cos
_
k(x
3
x
0
)
_
, A
2
= e
2
sen
_
k(x
3
x
0
)
_
, e
1
, e
2
R.
0.8.0.11 Momento de una onda
La soluci on libre hallada se denomina luz, y es el analogo de la partcula libre para al campo A

. No
transporta carga, pero s momento. Recordando la expresion general para el tensor T

em
en (121), un
calculo sencillo arroja para la polarizacion circular e
1
= e
2
= e
T
00
=
1
2
(E
2
+B
2
) = (ke)
2
T
i0
= (

E

B)
i
= (ke)
2

i,3
= T
0i
por lo que vemos que solo lleva momento en la direccion del eje de propagacion.
0.8.1. Radiaci on producida por fuentes cargadas
A continuacion vamos a estudiar la ecuacion inhomogenea de ondas (131), que describe la generacion
de radiacion electromagnetica por corrientes cargadas.
0.8.1.1 Conviene en este punto realizar un inciso para repasar la forma de hallar una solucion
particular a la ecuacion inhomogenea mediante el metodo de la funcion de Green. Para ello nos
jaremos en el caso general que podemos escribir en la forma

= f(x) (146)
El metodo opera de la siguiente manera: supongamos que encontramos una solucion para la ecuacion
de Green asociada

[
x
D(x, x

) =
(4)
(x x

) (147)
entonces podemos escribir automaticamente una solucion para (x) haciendo uso de la linealidad del
operador diferencial
(x) =
_
d
4
x

D(x, x

)f(x

) (148)
como es trivial vericar. En ausencia de supercies lmite, la solucion (147) solo puede depender del
cuadrivector diferencia x x

. Es decir D(x, x

) = D(x x

). Sin perdida de generalidad podemos

poner el origen de coordenadas en x

y la ecuacion (147) se convierte en

[
x
D(x) =
(4)
(x) (149)
33
Para resolver esta ecuacion es conveniente pasar al espacio dual de momentos, deniendo las siguientes
transformadas de Fourier
D(x) =
1
(2)
4
_
d
4
k

D(k)e
ikx

D(k) =
_
d
4
x

D(x)e
ikx

(4)
(x) =
1
(2)
4
_
d
4
ke
ikx
. (150)
Sustituyendo en (147) encontramos la funcion de Green en el espacio de momentos

D(k) =
1
k
2
(151)
y por tanto la funcion de Green deseada
D(x) =
1
(2)
4
_
d
4
k
e
ikx
k
2
. (152)
0.8.1.2 Esta expresion es ambgua porque el integrando es singular, y por tanto solo obtiene un
valor denido depues de tratar adecuadamente las singularidades. Vamos a proceder a realizar en
primer lugar la integracion en dk
0
. De este modo
D(x) =
1
(2)
4
_
d
3
k e
i

kx
_

dk
0
e
ik
0
x
0
(k
0
)
2
[

k[
2
. (153)
Para dar sentido a la integral en k
0
consideramos esta variable en forma compleja, y tratamos la
integral como una integral de contorno en el plano complejo k
0
. En este plano encontramos dos polos
del integrando en k
0
= k [

k[. Podemos bordeardichos polos de diversas maneras y cada una

de ellas dara lugar a una funcion de Green. Las dos mas usuales son: o ambas por abajo (contorno +),
o ambas por arriba (contorno ). En el primer caso hablamos de funcion de Green retardada y en el
segundo de funcion de Green avanzada, y esta denominacion proviene de sus distintos comportamientos
para valores de x
0
positivos o negativos.
Cuando x
0
> 0 la exponencial e
ik
0
x
0
converge para Im k
0
. Por tanto en este caso es conveniente
cerrar el contorno por el semiplano superior. Claramente el contorno () produce un resultado nulo
al no contener ninguna singularidad. Por el contrario el contorno (+) contiene las dos singularidades
y la integral en k
0
produce
_
(+)
dk
0
e
ik
0
x
0
(k
0
k)(k
0
+k)
=
2
k
sen(kx
0
)
Sin embargo, cuando x
0
< 0 debemos cerrar por el semiplano inferior y es el contorno (+)el que no
contiene ninguna singularidad. Por tanto escribimos para la funcion de Green retardada
D
(+)
(x) =
(x
0
)
(2)
3
_
d
3
ke
i

kx
sen(kx
0
)
k
. (154)
0.8.1.3 Podemos hacer las integrales angulares tomando el origen de angulo sobre el eje marcado
por x, quedando
D
(+)
(x) =
(x
0
)
8
4
R
_

0
dk
_
2
0
d
_

0
dk
2
sen e
ikRcos
sen(kx
0
)/k
34
=
(x
0
)
2
2
R
_

0
dk sen(kR) sen(kx
0
)
donde R [x[. Facilmente transformamos estas integrales en
D
(+)
(x) =
(x
0
)
8
2
R
_

dk (e
i(x
0
R)k
e
i(x
0
+R)k
). (155)
Las integrales restantes son precisamente funciones delta de Dirac. Como x
0
> 0 y R > 0 la segunda
integral es siempre cero y la funcion de Green retardada queda nalmente (recuperando la dependencia
en el origen x
0
)
D
(+)
(x) =
(x
0
x
0
)
4R
(x
0
x
0
R) (156)
Cuando se elige el contorno (), un calculo exactamente paralelo conduce a la expresion para la
funcion de Green avanzada:
D
()
(x) =
[(x
0
x
0
)]
4R
(x
0
x
0
+R) (157)
Tomando en cuenta que R 0 podemos obviar la funcion salto en ambas expresiones y escribir de
manera conjunta
D
()
(x) =
(x
0
x
0
R)
4R
(158)
0.8.1.4 Estas funciones de Green pueden ponerse en forma mas esclarecedora utilizando la siguiente
identidad:
[(x x

)
2
] = [(x
0
x
0
)
2
R
2
)] = [(x
0
x
0
R)(x
0
x
0
+R)]
=
1
2R
[(x
0
x
0
R) +(x
0
x
0
R)]. (159)
Entonces, como las funciones salto se encargan de seleccionar uno u otra opcion tenemos nalmente:
D
()
(x x

) =
1
2
[(x
0
x
0
)] [(x x

)
2
] (160)
Las funciones y demuestran que la funcion de Green retardada y avanzada, solo es distinta de cero
sobre el cono de luz futuro, o pasado respectivamente, del punto fuente.
0.8.1.5 La funcion D
(+)
se llama funcion de Green retardada porque representa el comportamiento
causal de una perturbacion que, producida en (x
0
, x

) alcanza (x, x, ) donde x

0
es posterior a x
0
,
i.e. x
0
= x
0
+ [x x

[ > x
0
. Por razones analogas, D
()
se llama funcion de Green avanzada. La
existencia a priori de ambas soluciones es un reejo de la invariancia de las ecuaciones frente a la
inversion temporal. Finalmente podemos escribir las integrales particulares de la ecuacion de ondas
no-homogenea.

(x
0
, x) =
_
D
()
(x; x

)f(x

) d
4
x

=
1
4
_ _
(x
0
x
0
[x x

[)
[x x

[
f(x

) d
3
x

dx
0
=
1
4
_
f(x
0
[x x

[, x

)
[x x

[
d
3
x

1
4
_
[f(x
0
, x

)]ret
av
[x x

[
d
3
x

, (161)
35
donde el corchete [ ]
ret
signica que el tiempo ha de calcularse en el instante adelantado x
0
=
x
0
[x x

[.
0.8.1.6 Para hallar la solucion mas general a un problema fsico pueden a nadirse a estas funciones
soluciones de la ecuacion homogenea. Consideremos una distribucion de fuentes f(x
0
, x

) que sea
localizada en el espacio y en el tiempo. Es diferente de cero solo durante un intervalo nito de tiempo
en torno a x
0
= 0. Se advierten dos situaciones lmite. En la primera se supone que en el instante
x
0
existe una onda incidente
in
(x) que satisface la ecuacion homogenea de ondas. Esta onda
se propaga en el tiempo y en el espacio; la fuente se enciende y a su vez genera ondas. La solucion
completa para esta situacion es para cualquier instante
(x
0
, x) =
ent
(x
0
, x) +
_
D
(+)
(x, x

)f(x

) d
4
x

=
ent
(x
0
, x) +
1
4
_
[f(x
0
, x

)]
ret
[x x

[
d
3
x

. (162)
De (161) vemos que la presencia de D
(+)
garantiza que para tiempos remotos x
0
<< 0, antes que la
fuente fuese activada, no hay contribucion de la integral, y solo existe la onda especicada
in
. Esta
es la situacion fsica mas corriente, y se corresponde con fenomenos de absorcion y emision espontanea
de radiacion.
La segunda situacion es aquella en la que en instantes muy posteriores (x
0
+) la onda esta dada
por
sal
(x), una cierta solucion conocida de la ecuacion de ondas homogena. Entonces la solucion
completa que asegura que no existira ninguna se nal procedente de la fuente despues de que esta se
apague (por hipotesis, dichas se nales estan todas includas en
sal
) es
(x
0
, x) =
sal
(x
0
, x) +
_
D
()
(x, x

)f(x

) d
4
x

sal
(x
0
, x) +
1
4
_
[f(x
0
, x

)]
av
[x x

[
d
3
x

. (163)
0.8.1.7 Finalmente estamos ya en disposicion de escribir la solucion de la ecuacion de ondas (131)
A

(x) = A

in
(x)
_
D
(+)
(x x

)J

(x

) d
4
x

(164)
donde A

in
es solucion de la ecuacion de ondas homogenea. Analogamente
A

(x
0
, x) = A

in
(x
0
, x)
1
4
_
[J

(x
0
, x

)]
ret
[x x

[
d
3
x

(165)
Vamos a considerar dos situaciones muy simples.
0.8.1.8 En primer lugar trataremos el caso de distribuciones estacionarias de la densidad carga:
J
0
= (x) ;

J = 0 ; . (166)
Sustituyendo en (165) con A

in
(x
0
, x) encontramos la solucion estacionaria en la forma
A
0
(x
0
, x) = (x) ,

A(x
0
, x) = 0 (167)
con
(x) =
1
4
_
(x

)
[ x x

[
d
3
x

. (168)
Esta conguracion puede resolverse directamente en terminos de los campos

E y

B, a traves de las
ecuaciones (84) y (85), siendo la unica ecuacion no trivial

E = ,es decir

B = 0, que es consistente
con (69)

E = (x) =
2
(169)
36
en virtud de la identidad

2
_
1
[x x

[
_
= 4(x x

). (170)
A un as la solucion de esta ecuacion solo sera una solucion exacta del sistema acoplado de cargas
mas campos, en aquellas situaciones en que la distribucion de carga permanezca en equilibrio en
presencia del propio campo que crea. Una situacion como esta es, por ejemplo, la de una carga
puntual (x) = Q(x), o la de un capa esferica innitamente delgada (x) = Q([ x [
2
R
2
). En el
primer caso encontramos la solucion facilmente sustituyendo directamente en (168)
(x) =
Q
4
1
[x[
;

A(x) = 0 (171)
o lo que es igual

E(x) =
Q
4
x
[x[
3
;

B = 0 (172)
0.8.1.9 En segundo lugar, vamos a tratar el caso de fuentes con dependencia temporal periodica.
Esto no supone una perdida de generalidad por cuanto cualquier dependencia temporal puede ser
desarrollada en modos de Fourier. Por tanto, sea
J

(x
0
, x [) = j

(x)e
ix
0
. (173)
Debemos distinguir dos casos = 0 o ,= 0. Para ver esto basta con integrar la densidad de carga
sobre todo el volumen en el que esta contenido el sistema
Q =
_
V
J
0
(x
0
, x[)d
3
x = e
ix
0
_
V
j
0
(x)d
3
x = Qe
ix
0
(174)
de donde, bien Q = 0 para ,= 0, o bien, = 0 ya que al estar el sistema connado a un volumen
V , la carga total contenida debe permanecer constante. El caso = 0 corresponde al una densidad
estacionaria y se reduce al estudiado anteriormente.
0.8.1.10 Sustituyendo en (165) encontramos para el campo de radiacion
A

(x
0
, x[) =
1
4
_
d
3
x

(x

)
[x x

[
e
i(x
0
|xx

|)
= e
ix
0
/

(x) (175)
0.8.1.11 Expansion multipolar
En este punto debemos realizar alguna aproximacion que nos permita calcular la integral facilmente.
Vamos a considerar que la distancia a la que se detecta la radiacion [x x

[ es mucho mayor que la

longitud de onda = 2/ y esta, a su vez, es mucho mayor que la dimension del sistema emisor, d.
As pues estamos en el regimen
R >> >> d R >> 2 >> d, (176)
y para empezar podemos aproximar el denominador por una distancia media [xx

[ R. Sin embargo
en el numerador no es razonable hacer la misma sustitucion pues las ondas generadas en distintas partes
del sistema pueden interferir debido a su diferencia de fase. Por tanto consideraremos para dicha fase
la aproximacion [x x

[ R nx

, donde n es el vector unitario en la direccion x.

/

(x) =
1
4
e
i(x
0
R)
R
_
d
3
x

(x

)e
inx

(177)
37
Podemos comentar un poco mas el sentido de la aproximacion que estamos realizando. La velocidad
caracterstica en el sistema es del orden v d que por la desigualdad anterior (176) es << 1. Por
tanto estamos tratando con velocidades no-relativistas y podemos expandir en potencias de d
/

(x) =
1
4
e
i(x
0
R
R
_

n
1
n!
j

(x

)(inx

)
n
d
3
x

. (178)
Como el orden de manitud de x

es d, y d es por hipotesis peque no frente a la unidad, los sucesivos

terminos del desarrollo evidentemente decrecen rapidamente con n. De modo que la radiacion emitida
por la fuente proviene, en primera aproximacion, del primer termino no nulo del desarrollo.
Examinaremos por consiguiente el primer termino n = 0, recuperando la dependencia temporal:
A

(x
0
, x [) =
e
i(x
0
R)
4R
_
j

(x

)d
3
x

. (179)
0.8.1.12 Para = 0 la integral extendida al sistema no es otra que la carga total contenida, es decir
A
0
(x
0
, x[) =
Q
4R
e
i(x
0
R)
. (180)
De la discusion siguiente a la ecuacion (174) sabemos que hay dos casos posibles
= 0 A
0
(x[) =
Q
4R
,= 0 A
0
(x
0
, x) = 0.
(181)
El primero coincide con el potencial escalar para la carga puntual (171).
0.8.1.13 Para las componentes espaciales,

A, (179) puede ponerse en forma mas facil de interpretar
si se integra por partes:
_

j(x

) d
3
x

=
_
x

j) d
3
x

. (182)
De la ecuacion de continuidad

J =
0
J
0
y (173) tenemos

j = ij
0
= i
(183)
y por tanto para (182) encontramos el resultado i
_
x

(x

)d
3
x

que insertado de nuevo en (179)

resulta en:

A(x
0
, x [) =

4i
e
i(x
0
R)
R
p (184)
en donde hemos introducido el momento dipolar electrico denido mediante
p =
_
x

(x

)d
3
x

. (185)
(184) muestra como la solucion adquiere la forma de onda esferica,
En consecuencia, en la aproximacion de zona de radiacion encontramos que para = 0

A = 0 y
la solucion completa (A
0
,

A) se reduce a la del caso estacionario (167) (168); mientras, para ,= 0
podemos hallar los campos

E y

B, a primer orden en d, mediante las ecuaciones
6

B =

A ;

E =
i

B (186)
6
es importante se nalar que a este orden ya no es cierto que A
0
= 0, lo cual es cierto, como hemos visto, a orden
(d)
0
. De lo contrario no se vericara la ecuacion del gauge de Lorentz A

= 0 modulo potencias superiores de d.

38
lo cual arroja el resultado siguiente
7
:

B =

2
4
(n p)
e
i(x
0
R)
R
+O(1/R
2
)

E =

B n +O(1/R
2
) (187)
que maniestan el comportamiento tpico de los campos de radiacion.
0.8.1.14 Dipolo Electrico
El ejemplo mas com un es el de un dipolo electrico con cargas de signos opuestos situadas simetrica-
mente sobre el eje z en los puntos x
0
) = (0, 0, a)

dipolo
(x) = q((x x
0
) (x +x
0
)) (188)
Un calculo trivial arroja para la polarizacion el resultado siguiente p (0, 0, 2a).
7
para el calculo conviene convencerse de que en general si

V = f(R)u entonces

V = (n u) f

(R).
39