Captulo 1

Cinematica Relativista
1.1. Los axiomas fundamentales
1.1.0.1 Observador y 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.
Para poder comparar sucesos distintos debemos etiquetarlos o, en otras palabras, ponerles coorde-
nadas. Para ello debemos empezar por denir un sistema de coordenadas para el espacio-tiempo.
A cada sistema de coordenadas asociamos una nocion de observador o sistema de referencia. 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
).
Hay colecciones de sucesos que conforman variedades 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.
1.1.0.2 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 rectilneo, 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 rectilneo mediante un cambio de coordenadas que no involucre el tiempo.
El primer intento por caracterizar 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

)
1
en el otro, tenemos que sencillamente
t

= t
x

= Rx

V t +a (1.1)
1.1.0.3
Axioma 1 (Principio de Relatividad de Galileo): 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. As ocurre en la dinamica de Newton, en las que las ecuaciones del
movimiento involucran la aceleracion

F = ma = m
dv
dt
= m
d(v +

V )
dt
donde

V es la velocidad relativa constante entre los dos sistemas de referencia inerciales anterior-
mente mencionados, y

F no depende de la velocidad de la partcula de prueba. Vemos por tanto
que la no existencia de una velocidad absoluta es un concepto asentado rmemente en la fsica
desde mucho tiempo atras.
1.1.0.4 No puede decirse lo mismo de la aceleracion, acerca de la cual Newton pensaba que
s era un concepto absoluto y para demostrarlo ideo 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
rotacion 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 paradojico
el hecho de que uno pueda denir conceptos tales como aceleracion en un espacio vaco. La aceleracion
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. Armaba este ultimo que el car acter privilegiado de los sistemas inerciales les vena
conferido por la mayora de la materia del universo, la cual aparece concentrada en las estrellas lejanas.
El cubo en 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 vera 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.
1.1.0.5
Axioma 2 (Universalidad de la velocidad de la luz): La velocidad de la luz es una constante
universal, independiente de la velocidad relativa entre el emisor y el observador.
Este axioma viene impuesto de forma emprica por experimentos como el de Mickelson y Morley.
Evidentemente es incompatible con la regla de adicion de velocidades de Galileo. 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.
Como vemos el concepto de relatividad es antiguo; sin embargo suele llamarse a la teora de
Einstein, relatividad restringida.
o
tambien relatividad especial(RE).
1.1.0.6 Unidades naturales
La Relatividad Especial incorpora una nueva constante universal con dimensiones c = 310
8
m/s.
Este hecho permite medir intervalos de tiempo con reglas y viceversa, distancias con relojes. Como
es universal podemos utilizarla en cualquier sistema de referencia inercial para trasformar un
2
tiempo t en una distancia x
0
ct de forma unvoca (o, viceversa, dada una distancia x
0
podemos
asociarle un tiempo t = x
0
/c). Esta redenicion es equivalente a suprimir las unidades de tiempo
en todas las formulas ya que x
0
se mide en metros (en el SI). As si por ejemplo (t, x(t)) son
las coordenadas de un objeto que se mueve uniformemente a lo largo del eje x, decimos que su
velocidad es v = dx/dt(
m
seg
). Si usamos las nuevas coordenadas (x
0
, x) diremos que su velocidad
es u = dx/dx
0
= dx/(cdt) = v/c. Esta nueva velocidad es adimensional y es una fraccion de la de
la luz.
El sistema de unidades en el quela velocidad de la luz es adimensional y su modulo vale u = 1, se
denomina sistema de unidades naturales. Muchas magnitudes dimensionales del sistema internacio-
nal 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
.
1.1.1. Diagramas de Espacio-Tiempo
Los SRIR se expresan gracamente mediante los denominados diagramas de espacio-tiempo. En
la gura 1.1 podemos observar uno de tales diagramas mostrando una seccion del espacio tiempo
correspondiente 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 = pendiente
1
= dx
1
/dx
0
= v/c, de forma que un foton describira una
lnea recta de pendiente 45

.
x (m)
ct (m)
linea de universo
acelerada
linea de universo de la luz,
u = 1
u > 1
u < 1
Figura 1.1: Diversas clases de trayectorias en un diagrama de espacio-tiempo
Para denotar las coordenadas de forma colectiva usamos la notacion x

. Entonces x

con un
ndice griego representa cualquiera de las anteriores componentes = 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 la notacion x

. Esta notacion
3
es muy util pero puede resultar confusa pues lo natural sera llamarlas x

. Por ultimo, la
aparicion de un ndice repetido indica sumacion sobre el rango de dicho ndice.
1.2. Invariancia del intervalo
1.2.0.1 Incremento e Intervalo
Consideremos dos sucesos / y B , medidos en un sistema de referencia con coordenadas respectivas
x

A
y x

B
. Llamamos incrementos a las diferencias de las coordenadas de ambos sucesos
dx

(no necesariamente se trata de cantidades innitesimales). Entonces denimos por intervalo

la cantidad
ds
2
= (dx
0
)
2
+ (dx
1
)
2
+ (dx
2
)
2
+ (dx
3
)
2
A continuaci on tomemos dos sistemas inerciales O y

O que se mueven con velocidad relativa v.
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 d s
2
en

O . Es decir la anulacion del intervalo en un sistema inercial
implica la anulacion automatica en cualquier otro.
1.2.0.2 Sin embargo queremos demostrar un resultado mucho mas fuerte, a saber, que ds
2
= d s
2
.
Si requerimos que trayectorias lineales en O sean lineales en

O , como se sigue del principio de
relatividad, entonces las coordenadas en ambos sistemas de referencia han de estar relacionadas
linealmente en la forma x

=

. A continuacion usamos esta relacion para escribir

d s
2
= (dx

0
)
2
+ (dx

1
)
2
+ (dx

2
)
2
+ (dx

3
)
2
=

dx

dx

= M

dx

dx

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

= M

.
Es decir es una matriz simetrica.
Ahora bien, sabemos que si para cierto conjunto de 4 cantidades dx

se cumple ds
2
= 0, esto
tambien ocurre para (dx
0
, dx
1
, dx
2
, dx
3
). Pero si ademas d s
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 y M
ij
= M
00

ij
.
Dicho de otro modo, la anulacion simultanea del intervalo en todos los sistemas de referencia
inerciales m as la hipotesis de transformacion lineal hace que de hecho d s
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 d s
2
= (v)ds
2
. Si ahora hacemos dos cambios
sucesivos O

O y despues

O O , obtendremos
ds
2
= (v)d s
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.
4
1.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
= d s
2
es
equivalente a la siguiente ecuacion

(1.2)
la cual puede ser escrita en forma mas compacta usando las reglas de multiplicacion matricial como
=
T
.
Cada matriz solucion de esta ecuacion es una posible transformacion de coordenadas que reeja
el paso de un sistema inercial a otro. Nos proponemos estudiar la forma mas general que puede
adoptar .
1.3.0.3 El Grupo de Lorentz
En primer lugar mencionaremos que el conjunto de soluciones de (1.2) forman un subgrupo del
grupo de matrices reales 4 4, GL(4, R). Efectivamente si y

solucionan (1.2) tambien lo hace

. Ademas para toda existe la transformacion inversa que tambien satisface la misma
ecuacion, como se ve invirtiendo (1.2) Llamaremos a este grupo de matrices el grupo de Lorentz, si
bien en el contexto de la teora de grupos de Lie el nombre correcto es el de grupo pseudo-ortogonal
O(1, 3).
Otro dato importante es el n umero de parametros que se necesitan para especicar totalmente
una transformacion . La ec. (1.2) es un conjunto de 16 ecuaciones para 16 elementos de matriz

. Sin embargo por simetra bajo trasposicion solo 10 ecuaciones son independientes, por tanto
quedan 6 parametros libres. Esto se corresponde con la imagen fsica de que para especicar el
cambio de coordenadas entre O y

O seran necesarios tres angulos para la orientacion relativa de
los ejes, y las tres componentes espaciales de la velocidad relativa v.
1.3.0.4 Por inspeccion podemos encontrar cuatro soluciones de (1.2) de particular interes.
I = diag(1, 1, 1, 1)
I
E
= diag(1, 1, 1, 1)
I
T
= diag(1, 1, 1, 1)
I
ET
= diag(1, 1, 1, 1)
I
E
e I
T
corresponden a la inversion espacial y temporal repectivamente. I es la identidad del grupo
y I
ET
la reexion espaciotemporal. Es f acil, calculando la tabla de multiplicaciones de estos cuatro
elementos, ver que forman un subgrupo isomorfo a Z
2
Z
2
. Ademas el centro del grupo de Lorentz
esta formado por los elementos (I, I
ET
)
1.3.0.5 Componentes Conexas del Grupo de Lorentz
A continuaci on vamos a investigar la topologa del grupo de Lorentz, es decir las componentes
conexas del mismo. Tomando determinantes en la ecuacion (1.2) obtenemos la condicion de que det =
1. De esta manera llegamos a la primera clasicacion relevante.
L
+
= { | det = +1}
L

= { | det = 1}
A los elementos de L
+
(L

) se les llama transformaciones de Lorentz propias. Obviamente el

grupo cociente L/L
+
Z
2
. Por denicion L
+
es el grupo especial pseudo-ortogonal, SO(1, 3).
Otra clasicacion proviene de estudiar la ec.(1.2) para = = 0,
00
= 1.

0
= (

0
0
)
2
+

i
(

i
0
)
2
= 1
5
por tanto, bien

0
0
+1 o

0
0
1. Podemos as establecer una segunda clasicaci on de acuerdo
con esta signatura.
L

= { |

0
0
+1}
L

= { |

0
0
1}
L

y L

corresponden respectivamente a transformaciones ortocronas y no-ortocronas. Nuevamente

L/L

Z
2
. Combinando las dos clasicaciones obtenemos cuatro componentes conexas del grupo de
Lorentz. En cada una de ellas una trasformacion es contnuamente deformable a uno de los cuatro
elementos anteriormente hallados.
I L

+
, I
E
L

, I
T
L

, I
ET
L

+
(1.3)
La componente L

+
es un subgrupo invariante de L. Adem as se verica que L/L

+
Z
2
Z
2
, y que
cualquier elemento en cualquier componente puede ser escrito como el producto de un elemento de L

+
por una de las reexiones I

.
1.3.1. El Grupo Especial Ort ocrono de Lorentz
1.3.1.1 Procedemos ahora a la construccion de y para ello resultara ventajoso realizar un
cambio de variables: = e
L
. Si nos restringimos a la componente /

+
del grupo de Lorentz,
det = 1 se traduce a la vista de (??) en tr L = 0. A continuacion usamos (1.2) para extraer
una ecuacion para L. Es facil vericar las siguientes propiedades: si = e
L
, entonces
T
= e
L
T
,

1
= e
L
y = e
L
, donde hemos usado
1
= . Por tanto podemos rescribir la ecuacion

T
= como
T
=
1
y usando las anteriores propiedades obtenemos que
e
L
T

= e
L
Identicando los exponentes llegamos a la ecuacion fundamental para L.
(L)
T
= L . (1.4)
Es decir la matriz L es antisimetrica
Ejercicio 1.3.1 Expandiendo en serie de potencias e
L
= 1 + L + O(
2
) obtener el mismo
resultado ((1.4)).
De la forma que tiene deducimos que una parametrizacion consistente para L es la siguiente.
L =
_
_
_
_
0 L
12
L
13
L
14
L
12
0 L
23
L
24
L
13
L
23
0 L
34
L
14
L
24
L
34
0
_
_
_
_
Vemos que efectivamente solo son necesarios 6 parametros independientes para especicar L multi-
plicandolos por una base adecuada de matrices. Escogemos la base S
i
, K
i
i = 1, 2, 3 de matrices
6
que adoptan la siguiente forma.
S
1
=
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 1
0 0 1 0
_
_
_
_
; S
2
=
_
_
_
_
0 0 0 0
0 0 0 1
0 0 0 0
0 1 0 0
_
_
_
_
; S
3
=
_
_
_
_
0 0 0 0
0 0 1 0
0 1 0 0
0 0 0 0
_
_
_
_
K
1
=
_
_
_
_
0 1 0 0
1 0 0 0
0 0 0 0
0 0 0 0
_
_
_
_
; K
2
=
_
_
_
_
0 0 1 0
0 0 0 0
1 0 0 0
0 0 0 0
_
_
_
_
; K
3
=
_
_
_
_
0 0 0 1
0 0 0 0
0 0 0 0
1 0 0 0
_
_
_
_
Podemos escribir en forma condensada para los elementos de matriz de esta base:
(S
i
)
jk
=
ijk
(
123
= 1)
(K
i
)

=
0

i
+
i

0
Ejercicio 1.3.2 Hacer gimnasia contrayendo ndices de y vericar el algebra de SO(1,3):
[S
i
, S
j
] =
ijk
S
k
[S
i
, K
j
] =
ijk
K
k
[K
i
, K
j
] =
ijk
S
k
La matriz L mas general se escribe en esta base
L =

S

K (1.5)
donde y son vectores de tres componentes y indica producto escalar. Los casos particulares
= 0 o

= 0 son faciles de evaluar debido a la siguiente propiedad
(

S)
3
= [ [
2
(

S) (1.6)
(

K)
3
= [

[
2
(

K) (1.7)
entonces podemos escribir B(

) = e

K
B(

) = 1

K +
1
2
(

K)
2

1
3!
(

K)
3
+
1
4!
(

K)
4

1
5!
(

K)
5
= 1 (1 +
1
3!
[

[
2
+
1
5!
[

[
4
+...)(

K) + (1/2 +
1
4!
[

[
2
+
1
6!
[

[
4
+...)(

K)
2
= 1 senh [

[ (

K) + (cosh [

[ 1)(

K)
2
(1.8)
Observando el rango de variacion de las diversas cantidades podemos compararlas. As v [0, 1] y
= 1/

1 v
2
[1, ] y por tanto:
7
senh [

[ = v
cosh [

[ =
v
v
=

[
v = tanh([

[)
Haciendo uso de estas equivalencias podemos escribir (1.8) como sigue:
B(v) = 1 (v

K) +
1
v
2
(v

K)
2
(1.9)
o lo que es lo mismo:
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
_
_
_
_
_
_
_
Notar que de la denicion
T
=
1
se sigue que B(v)
1
= B(v). 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
(1.10)
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

En resumen, (1.10) es la transformacion de coordenadas que relaciona dos sistemas de referencia

cuyos ejes son paralelos y que se mueven con una velocidad relativa v. Como vemos en (1.5) 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 (1.7). 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
_
_
_
_
(1.11)
y expresa una rotacion de angulo alrededor del eje x
1
.
8
Ejercicio 1.3.3 Escribe la matriz de rotaci on m as general en la forma R( ) = exp(

S).
Demuestra que este conjunto de matrices forma un subgrupo del grupo de Lorentz.
Sin perdida de generalidad escribiremos para una transformacion de Lorentz totalmente general:
= I

B(v) !( ) (1.12)
en donde I

es alguna de las reexiones en (1.3), ! expresa una rotacion en alguna parametrizacion

(p.ej. como en (1.5) con

= 0, o la de Euler) que expresa la orientacion relativa de los ejes espaciales,
y B es una transformacion de Lorentz pura, de la forma (1.8), (la B proviene del ingles boost).
1.3.2. Transformacion de ciertas magnitudes galileanas
A continuacion queremos interpretar las equaciones (1.3.1) concentrandonos en algunos ejemplos
sencillos. 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 (1.3.1) se reduce a
x
0
= (x
0
+vx
1
)
x
1
= (vx
0
+x
1
)
x
2
= x
2
x
3
= x
3
(1.13)
donde hemos hecho uso de que para invertir (1.3.1) basta con intercambiar x

con x

e invertir el
signo de la velocidad.
1.3.2.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 coincidira 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 (1.13) para relacionar unas coordenadas y otras obtenemos que
L = x
1
b
x
1
a
= (x

1
b
x

1
a
) = L

(1.14)
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.
1.3.2.2 Dilatacion de incremento temporal.
Para estudiar el efecto de (1.3.1) 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 origen). Por tanto / (x
0
a
, 0, 0, 0) y B (x
0
b
, 0, 0, 0). Usando (1.3.1) 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 (1.15)
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
9
tiempo propio y tiene la particularidad de coincidir con la raz cuadrada del intervalo asociado
T =

ds
2
.
1.3.2.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 (1.3.1) puede usarse para derivar la ley de transformacion de la velocidades y las
aceleraciones 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

(1.16)
u

=
u

(1 vu

)
(1.17)
donde de nuevo u

y u

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

para

u

.
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.
1.4. Analisis Tensorial en Relatividad Especial
1.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

(1.18)
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

(1.19)
1.4.0.5 Tensor metrico invariante
10
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).

(1.20)
La matriz

coincide con su propia inversa

, que es tambien invariante.

1.4.0.6 Producto (Pseudo)Escalar
El producto escalar de Minkowskiano dos cuadrivectores [A y [B es
([A, [B) = A

(1.21)
Con la metrica de Minkowski

podemos subir y bajar ndices

B

. (1.22)
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
(1.23)
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 fundamental lo constituyen las coordenadas mismas
de un suceso x

. Mediante la metrica podemos denir unas coordenadas covariantes x

; x

. (1.24)
1.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
(1.25)
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) (1.26)
sera una funcion vectorial.
A

(x

(x)) = x

(x)f(x

(x)) =

f(x) =

(x) (1.27)
11
No as por ejemplo
_
x

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

. Analogamente A

(x) = x

f(x) es un campo tensorial

covariante.
1.4.0.8 Operadores tensoriales
Los operadores de derivacion parcial

x

verican (en cualquier sistema de coordenadas inerciales)

x

(1.28)
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

(1.29)
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 no-

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

. (1.30)
El caracter lineal de las transformaciones que denen los tensores de Lorentz, permite tomar pro-
ductos 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
(1.31)
que es el analogo relativista del Laplaciano, y recibe el nombre de DAlambertiano.
1.5. Cinematica de Partculas
1.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
()).
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
12
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

((

)) (1.32)
El factor de reparametrizacion (d

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

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

5
Figura 1.2: Curva parametrizada de dos maneras distintas
La eleccion de la parametrizacion una trayectoria es, por tanto, totalmente arbitraria. Depen-
diendo 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
1.5.1.1 Tiempo de laboratorio. = x
0
.
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
componentes
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
)
13
La ventaja que presenta esta parametrizacion, y , por tanto, esta nocion de velocidad, es la sim-
plicidad 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 (1.17).
1.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-m ovil 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 incre-
mento 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
. Mas genericamente
d =
_
ds
2
= ds (1.33)
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 (1.33).
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 (1.34)
La velocidad asociada al tiempo propio se denomina cuadrivelocidad
U

=
dx

()
d
(1.35)
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 repara-

metrizacion (??)
U

= (U
0
,

U) =
_
dx
0
d
_
dx

(x
0
)
dx
0
=
v
, (1, v) = (
v
,
v
v) (1.36)
14
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.
1.5.1.3 La longitud invariante = s.
El tiempo propio es un parametro invariante Lorentz monotonamente creciente
=
_

0
d =
_
x
0
0
ds = s (1.37)
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. (1.38)
1.5.1.4 Aceleraci on
Vamos a estudiar el movimiento relativista uniforemente acelerado. Podemos describir el estado
instantaneo 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
(1.39)
es ortogonal a la 4-velocidad (en el sentido del producto escalar Lorentziano):
a

=
d
d
_
1
2
U

_
=
d
d
_

1
2
_
= 0. (1.40)
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
. (1.41)
De aqu deducimos que la magnitud de la aceleracion, medida en el sistema instantaneamente en
reposo, es un invariante Lorentz
a
2
= a

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

propio
(1.42)
1.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
.
15
Escribamos las tres ecuaciones algebraicas
U

= 1
U

= U
0
a
0
+U
1
a
1
= 0 (1.43)
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
(1.44)
cuya solucion puede tomarse en la forma
U
0
= Ae
a
+Be
a
; U
1
= Ce
a
+De
a
. (1.45)
Con esto solucionamos automaticamente las dos ultimas ecuaciones (1.43). 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. (1.46)
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.
Ejercicio 1.5.1 Considera el plano (x
0
, x
1
) de un observador O inercial, y en el, la lnea de
universo de una partcula acelerada seg un la ecuaci on (1.46). Dene y
1
= 1/a y y
2
= a y muestra
que el observor com ovil (acelerado) puede establecer un sistema ortogonal de coordenadas (y
1
, y
2
),
pero que estas no cubren todo el espacio original (x
0
, x
1
).
1.5.1.6 Observador asociado a un movil acelerado
Aunque parezca tener sentido este enunciado, a la hora de la verdad no es sencillo ponerlo en
practica. De manera idealizada podemos pensar que se trata de una sucesion de observadores ins-
tantanteamente inerciales, a velocidades relativas superiores.
Como primer ejemplo de las dicultades que aparecen, consideremos un observador que es inercial
hasta un cierto instante en que sufre una cierta aceleracion durante un intervalo de tiempo nito. A
partir de ese momento, el observador vuelve a ser inercial y se mueve con una velocidad uniforme con
respecto al inicio. En la gura (1.3), la lnea marca la trayectoria de este movil que pretendemos tomar
como observador.
Abstrayendo el peque no intervalo en el que el m ovil se acelera, en los momentos en los que se
desplaza a velocidad uniforme tiene perfecto sentido utilizar este m ovil para trazar coordenadas rec-
tilneas inerciales para dotar de coordenadas al espacio-tiempo. Los dos sistemas de coordenadas se
trazan igual que si estuviesemos hablando de dos observadores distintos relacionados por una trans-
formacion de Lorentz. La diferencia es que ahora pretendemos que se trata de un s olo observador. En
la gura apreciamos las dicultades de dotar de coordenadas al espacio usando este observador. En
efecto, a distancia espacial negativa proporcional a g
1
notamos que hay un conicto para asignar
coordenadas a una cierta region del espacio.
Concluimos entonces que, en principio la noci on de observador acelerado podra ser valido si
restingimos el dominio de validez a una region del espacio-tiempo de radio O(g
1
).
De hecho podemos formalizar un poco mas esto, haciendo uso del movimiento uniformemente ace-
lerado que obtuvimos en (1.46). Para ello, consideremos la gura (1.3) como una situacion intermedia
instantanea para un m ovil unif ormemente acelerado. Es evidente que en el instante T las coordenadas
16
x
0
=0

x'
0
=T

Figura 1.3: Curva parametrizada de dos maneras distintas
transformadas

se relacionan con las originales mediante una transformacion de Lorentz denida por
una cuadrivelocidad U

(a, ) = (cosh a, 0, 0, senh a). Podemos entonces escribir

0
(a, ) = cosh a x
0
senh a x
3

1
(a, ) = x
1

2
(a, ) = x
2

3
(a, ) = senh a x
0
+ cosh a x
3
(1.47)
(1.48)
Los vectores tangentes se transformaran seg un la regla covariante
|e

0
(a, ) = cosh a |e
0
+ senh a |e
3

|e

1
(a, ) = |e
1

|e

2
(a, ) = |e
2

|e

3
(a, ) = senh a |e
0
+ cosh a |e
3
(1.49)
(1.50)
Es inmediato probar que
(|e

, |e

) =

. (1.51)
lo cual, por otro lado es evidente puesto que, aunque instant aneamente, se trata de una transformaci on
de Lorentz. En el instante el observador co-movil est a situado en alguna posicion P() de coordenadas
x

= z

() a lo largo de su propia lnea de universo. En P() el m ovil tiene a su disposici on tres vectores
ortonormales tipo espacio |e

1
, |e

2
y |e

3
El punto P() y estos tres vectores denen una supercie
tipo espacio. Un punto tpico sobre esta supercie viene dado por
x

= (
i
|e

i
())

+ z

() (1.52)
Este hiperplano avanza a medida que lo hace. En alg un instante cortara con el punto P
0
al cual
desea asignar coordenadas. Asigna a ese punto las coordenadas (
0
= ,
i
) dado por (1.52). Estos 4
n umeros denen las coordenadas relativas al observador acelerado. Haciendo uso de (1.46) llegamos a
x
0
= (a
1
+
3
) senh(a
0
)
x
1
=
1
x
2
=
2
x
3
= (a
1
+
3
) cosh(a
0
) (1.53)
(1.54)
En la gura (1.4) hemos dibujado los ejes

en el sistema inercial de partida x

. En efecto, los
puntos a
3
=cte. describen hiperbolas dadas por (x
3
)
2
(x
1
)
2
= (a
1
+
3
) que degeneran en dos
rectas para
3
= a
1
, tal y como habamos anticipado. Los hiperplanos espaciales
0
=cte. se aplican
sobre las rectas x
0
/x
3
= tanh a
0
. Este ejemplo permite observar todas las patologas mencionadas
anteriomente: la coordenada
1
debe restingirse a valores
3
> a
1
. Mas alla son ambguas al
17
x
0
x
1
II
I
III
IV
(1)
!
1
=g
"1
!'
0

!''
0

!
0
=#

!
0
=-#

!
0
=

0
!
1
< g
"1
!
1
=-g
"1
Figura 1.4: Sistema de coordenadas asociado a un movil acelerado
asignar mas de un valor a un s olo punto del espacio-tiempo. Mas importante aun, la regi on
3
> a
1
esta desconectada causalmente de la region III. Tampoco puede recibir se nales de la region II, ni
enviar informaci on a la region III. Eso no ocurre en las coordenadas inerciales, pongamos por caso
x
3
> c. Cualquier punto de la regi on complementaria x
3
< c es accesible desde alg un punto de la
region x
3
> c.
1.6. Lmite de baja velocidad, el Grupo de Galileo
1.6.0.7 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 comparadas 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. (1.3.1) 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 con-
tinuacion recordamos que x
0
= ct donde t se mide en segundos, obviamente retornamos a la
situacion familiar 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. (1.3.1) queda como sigue:
t

=
v
(t v/c
2
x

)
x

=
v
(vt +x

)
x

= x

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

= t
x

= vt +x

= x

(1.56)
18
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.
19
Captulo 12
Dinamica Relativista
12.1. Introducci on: relatividad y leyes fsicas
12.1.0.8 En el captulo anterior fuimos capaces de denir algunos objetos cinematicos que reunan
las propiedades tensoriales deseables respecto del grupo de Lorentz. En concreto hablamos del
tensor metrico

o de cuadrivectores como la posicion x

o la cuadrivelocidad U

. La construccion
de dichos objetos matematicos, y en ultima instancia, la razon misma de la existencia del grupo
de Lorentz, decansa sobre el postulado de universalidad para la velocidad de la luz. De momento
no hemos hecho mencion ni uso del primer postulado, el principio de relatividad. Es hora de tratar
de escribir las leyes de la fsica que rigen los movimientos de las partculas. El primer postulado
arma que, cualquiera que sea la forma que adopten dichas leyes, ha de ser la misma para todos los
sistemas de referencia inerciales. Dicho de otro modo, del aspecto de las ecuaciones del movimiento
no debemos ser capaces de deducir en que sistema inercial nos encontramos. Finalmente podemos
tambien expresarlo como el hecho de que las transformaciones de Lorentz han de ser simetras de
las ecuaciones de movimiento.
La forma m as 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 implica la covariancia de las ecuaciones.
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.
12.2. Dinamica de partculas
12.2.1. Partcula libre
12.2.1.1 Cuadrimomento
20
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
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) (12.1)
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
(12.2)
(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. (12.3)
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 12.3 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). (12.4)
y tienen dimensiones de masa, que son las del momento en unidades naturales.
12.2.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
dP

dx
0
= 0. (12.5)
es decir, conserva su cuadrimomento.
La ecuacion 12.5 no parece covariante, sin embargo podemos extraer un enunciado covariante
recordando que dx
0
= d, donde d es el tiempo propio, que es un invariante Lorentz, debido a
que coincide con el intervalo ds = d,
1
. Entonces 12.5 implica (mientras ,= 0)
dP

d
= 0 (12.6)
Finalmente tenemos un enunciado covariante para la partcula libre.
12.2.1.3 Energa en reposo de una partcula
Ya hemos visto que el lmite clasico de las componentes espaciales del 4-momento reproduce el
trimomento 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
)
1
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
.
21
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
2
. 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.
12.2.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 12.4 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
(12.8)
obtenemos que el 4-momento de una partula de masa cero adopta la forma siguiente
P
O
E(1, n) (12.9)
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 12.2.1 Verica a partir de la expresion anterior para la energa de un fot on, la f ormula
del efecto Doppler relativista.
2
La forma de recuperar c es deniendo E = c
2
P
0
, para que las unidades sean correctas. En el lmite clasico
tenemos
E = mc
2
U
0
= mc
2
1

1 (
u
c
)
2
= mc
2
+
1
2
mu
2
+ O((
u
c
)
2
), (12.7)
donde u se mide en m/s.
22
12.2.2. Partculas no-libres
12.2.2.1
El siguiente paso consiste en la obtencion de ecuaciones del movimiento que representen la respuesta
de partculas a campos de fuerzas externas. La generalizacion covariante mas sencilla de la ecuacion
12.6 requiere un 4-vector para el miembro derecho.
dP
d
= f . (12.10)
por razones evidentes llamamos al objeto de la derecha 4-vector fuerza.
12.2.2.2 Un ejemplo real, la fuerza de Lorentz
La ley (emprica) que describe la fuerza que hace desviarse a las partculas cargadas en presencia de
campos electricos creados por conductores cargados, y de campos magneticos creados por imanes
se conoce como Ley de Lorentz
m
dv
dt
= e(

E +v

B) (12.11)
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 (12.12)
donde, y E =
1
2
mv
2
Guiados por la discusion de la seccion previa, desearamos entender las dos ecuaciones anteriores
como el lmite clasico de las componentes espaciales y temporal de una sola ecuacion covariante.
Es elemental vericar que el siguiente sistema,
d

P
d
= e(U
0

E +

U

B) (12.13)
dP
0
d
= e

E

U (12.14)
se reduce a primer orden en v a 12.11 y 12.12 espectivamente. Falta especicar como se han de
transformar

E y

B bajo cambios de sistema de referencia para asegurar que los miembros derechos
de 12.14 se transforman como componentes contravariantes. Para claricar esta cuestion escribimos
las ecuaciones anteriores en la forma siguiente.
dP

d
= eF

(12.15)
donde F es una matriz con el siguiente aspecto.
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
_
_
_
_
(12.16)
12.2.2.3 Tranformacion de los campos
Para que 12.14 sea una ecuacion covariante entre cuadrivectores F

deben formar las componentes

de un tensor (2,0). Este es el motivo por el que no hemos dadondices 1,2,3 a las componentes de

E y

B, ya que no constituyen la parte espacial de ning un cuadrivector. La echa denota sin embargo que
23
se comportan bajo rotaciones como vectores (

B de hecho es un pseudovector). Entonces, de la ley

general de transformacion de tensores F

= F
T
, se siguen las ecuaciones para la transformacion
de los campos electrico y magnetico:

= (

E +v

B)

2
+ 1
v(v

E)

= (

B v

E)

2
+ 1
v(v

B) (12.17)
Ejercicio 12.2.2 Demuestra las ecuaciones 12.17.
Ejercicio 12.2.3 Demuestra que no es posible pasar de un sistema de referencia O en el que s olo
exista un campo

E, a otro en el que solo exista un campo

B. Especica cu ales son las condiciones que
deben satisfacer

E y

B para que exista un sistema de referencia inercial en el que s olo haya

E

o

B

.
Estas ecuaciones muestran como los campos electrico y magnetico no tienen existencia indepen-
diente. 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 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, que es el llamado tensor electromagnetico
F

. Este (0, 2) tensor se obtiene del de 12.16 bajando los ndices con la metrica

. Por tanto
sus componentes son:
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
_
_
_
_
(12.18)
Ejercicio 12.2.4 Comprobar la expresion 12.18.
Otro tensor de utilidad, como veremos m as 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
_
_
_
_
(12.19)
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.
12.2.2.4 En conclusion vemos que la interaccion de una partcula cargada con campos elec-
tromagneticos satisface el principio de relatividad, siempre que los campos se transformen como
componentes de un 2-tensor antisimetrico. Para concluir que el electromagnetismo es una teora
completamente satisfactoria desde el punto de vista relativista tendremos que esperar a examinar
la covariancia de las ecuaciones de Maxwell que contienen la dinamica de dichos campos en pre-
sencia de fuentes cargadas. Lo mas ventajoso es deducir estas ecuaciones a partir de un principio
variacional. Es por ello que vamos a desarrollar este punto de vista antes que nada.
24
12.3. Formulaci on Lagrangiana
12.3.0.5 Recordemos que la formulacion lagrangiana fue desarrollada en terminos de coordenadas
generalizadas, sin mencion a ninguna propiedad peculiar de los grados de libertad que describen. La
funcional de accion se construye sobre trayectorias parametrizadas en el espacio de conguraciones.
Para la dinamica Newtoniana de partculas era conveniente tomar las coordenadas espaciales. Como
parametro para las curvas usabamos el tiempo universal galileanode los sistemas inerciales. Esta
eleccion tiene suma importancia, pues los sistemas inerciales se distinguen porque en ellos las
trayectorias de las partculas libres son rectilneas y uniformes solo cuando las parametrizamos con
el tiempo Galileano. Una reparametrizacion del tiempo no es por tanto una simetra y ello se reeja
en que la accion para la particula galileana tampoco permanece invariante.
12.3.1. La partcula libre relativista
Ahora las coordenadas generalizadas vienen dadas por el 4-vector de posicion. Una trayectoria en el
espacio de conguraciones viene con un parametro arbitario t, en la forma t
O
x

(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
. (12.20)
Con ella podemos reconstruir
u
y por ende la cuadrivelocidad completa. De hecho, dado que la
trayectoria 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.
12.3.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) (12.21)
tambien deben dejar invariante la accion. Ello se consigue haciendo que el lagrangiano de-
penda de la combinacion escalar L( x

).
Por ultimo, imponemos una simetra que asegur 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
(12.22)
25
La solucion a estos requisitos es unica
S
p
= m
_
t
f
t0
_

dx

dt
dx

dt
dt (12.23)
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 (12.24)
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.
12.3.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, efectivamen-
te, 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
y por tanto

d
dt
m
dx

d
= m
_
d
dt
_
d
2
x

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

d
2
=
dP

d
= 0 (12.26)
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 me-
diante , 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.
12.3.1.3 Magnitudes conservadas
Por ultimo, hagamos mencion a la existencia de magnitudes conservadas. Es evidente que las cuatro
coordenadas x

son cclicas. De 12.25 y 12.26 vemos que P

son precisamente los momentos

conjugados, 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
26
tiempo es una coordenada generalizada m as, 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
.
Ejercicio 12.3.1 El lagrangiano usual de la partcula libre no es v alido para describir partculas
sin masa. Desearamos encontrar una generalizaci on que no fuese singular en el lmite m 0. Para
ello debemos introducir un grado de libertad mas en el juego. Considera
S =
1
2

e
1
() x

x e()m
2

(i) Deduce c omo debe transformarse e() cuando

() para que la expresi on anterior sea

invariante bajo reparametrizaciones
(ii) Halla las ecuaciones del movimiento para e. Dicute el lmite m 0.
(iii) Halla las ecuaciones del movimiento para x

. Muestra que el lagrangiano y las ecuaciones del

movimiento son equivalentes a los de la partcula libre relativista.
(iv) Escribe una reparametrizacion innitesimal como

= + f() donde f() es una funcion

arbitraria. Cuantas cargas Noether esperaras? Calc ulalas y muestra que todas se conservan.
12.3.1.4 La partcula con una interaccion relativista
El siguiente paso logico consiste en obtener un ecuacion del movimiento de la forma 12.10 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 (12.27)
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)) (12.28)
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 (12.29)
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
27
Si desarrollamos
dA

d
=

dx

d
la ecuacion 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

(12.30)
podemos escribir la ecuacion dinamica como sigue
dP

d
= eF

(12.31)
12.3.1.5 Examinando las componentes de 12.30 , vemos que podemos relacionar las componentes
del campo A

con las de los campos

E y

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

A

)
k
(12.32)
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
(12.33)
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)) (12.34)
12.4. Dinamica del campo electromagnetico
12.4.0.6 Lagrangianos de medios contnuos
En la seccion previa hemos visto como acoplar partculas cargadas a campos electromagneticos
haciendo 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 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
28
Minkoswky. Ya sabemos que para describir la interaccion de partculas con campos electromagneti-
cos 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

) (12.35)
12.4.0.7 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
diferencialmente independientes. Esto se deriva directamente de la parametrizacion de F

en
terminos de A

. Efectivamente escribiendo

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

= 0 (12.37)
Ejercicio 12.4.1 a) Comprueba que en terminos de

E y

B las 4 ecuaciones 12.36 equivalen a las
dos primeras ecuaciones de Maxwell:

B = 0 ;

E +

B
x
0
= 0 (12.38)
b) Demuestra que podemos escribir el sistema 12.36 en la forma
F, + (permutaciones cclicas de y ) = 0 (12.39)
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.
12.4.0.8 Invariancia de Gauge
El problema que surge al usar A

(x) como coordenadas generalizadas para el campo electromagneti-

co 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 electro-
magnetico es un postulado y debe, por tanto, incorporarse a la construccion del lagrangiano de la
misma manera que la simetra Lorentz.
29
A

+
d!
A

+
d!
F
"
F
"
Figura 12.1: Fibracion gauge del espacio de campos A

(x).
12.4.0.9 Vamos nalmente a escribir el lagrangiano para el campo A

en presencia de fuentes
cargadas. 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 acci on 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
3
.
Ejercicio 12.4.2 Expresar los escalares FF

, F

F

y

F

F

en funcion de

E y

B.
Normalizando llegamos a la expresion siguiente para la accion del campo electromagnetico libre:
S
c
=
_

1
4
F

d
4
x (12.41)
3
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) (12.40)
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 hip otesis los
campos se anulan en el innito, y por tanto S tambien. En rigor solo 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.
30
12.4.0.10 Las ecuaciones de Euler-Lagrange se obtienen de la formula general
d
dx

_
/

A
,
_

A
= 0. (12.42)
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. (12.43)
donde el lagrangiano es, seg un 12.41,
/
M
=
1
4
(A
,
A
,
)(A
,
A
,
).
El segundo termino no contribuye, pero el primero s, obteniendose nalmente:

= 0 (12.44)
o lo que es igual

E = 0

E
x
0
= 0.
12.4.1. Acoplamiento a las fuentes.
12.4.1.1 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 12.27. 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)) (12.45)
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) (12.46)
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 (12.47)
4
donde hemos hecho uso de la delta cuatridimensional denida por
(x y) =
3

=0
(x

)
3
(x y)(x
0
y
0
). (12.48)
4
Usamos la notacion x

cuando queremos resaltar el car acter de cuadrivector de la variable posici on. Sin embargo
cuando hace el papel de argumento de una funcion la denotaremos por x a secas
31
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).
12.4.1.2 La expresion 12.47 es maniestamente invariante frente a reparametrizaciones de la tra-
yectoria. 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
(12.49)
Bajo transformaciones de Lorentz la funci on
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
)) (12.50)

J(x
0
, x) =

n
e
n

3
(x x
n
(x
0
))
dx
n
dx
0
(12.51)
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) (12.52)
que en lenguaje cuatridimensional equivale a

(x) = 0. (12.53)
12.4.1.3 Sabemos por experiencia que cuando una corriente verica una ecuacion de continuidad,
como 12.53, podemos formar una carga total que es independiente del tiempo;
Q =
_
d
3
xJ
0
(x). (12.54)
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. (12.55)
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 12.50
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.
32
12.4.1.4 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). (12.56)
De aqu vamos a obtener las ecuaciones de Euler Lagrange usando la formula 12.42. El resultado
12.44 nos ahorra la mitad del trabajo y nalmente obtenemos

= J

(x). (12.57)
Esta ecuacion es consistente con la conservacion covariante de la 4-corriente. Efectivamente escri-
biendo

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

.
Ejercicio 12.4.3 Muestra que las ecuaciones 12.57 adoptan la siguiente forma en terminos de
los campos

E y

B:

E = ;

B =

E
x
0
+

J (12.59)
donde es convencional denotar por = J
0
la densidad de carga.
12.4.1.5 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
(12.60)
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
(12.61)
F

,
= J

(x) (12.62)

,
= 0 (12.63)
donde J

y x

n
estan relacionadas mediante 12.47.
33
12.4.2. El Tensor de Energa-Momento
12.4.2.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)) (12.64)
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

(12.65)
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
). (12.66)
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
)). (12.67)
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.
12.4.2.2 Por ultimos vamos a investigar la conservacion covariante 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
)) (12.68)
y as llegamos a que

mat
= G

donde G

dada por la ultima lnea en 12.68 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
)) (12.69)
34
12.4.2.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
(12.70)
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.
12.4.2.4 Por el contrario si las partculas estan sometidas a fuerzas a distancia, en general no
encontramos 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
))
=

n
_
d
n
e
n
F

(x)U

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

(x)J

(x) (12.71)
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.
12.4.2.5 T

para el campo electromagnetico

Sea
T

em
= F

1
4

(12.72)
Podemos calcular la cuadridivergencia

em
= (

)F

+F

)
1
2
(

)F

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

) =
1
2
F

) (12.74)
as que nalmente obtenemos

em
= (

)F

+
1
2
F

) (12.75)
y haciendo uso de las ecuaciones de Maxwell 12.39 y 12.57 llegamos a que

em
= F

(12.76)
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 (12.77)
35
12.4.3. Algunas soluciones
Las ecuaciones del movimiento 12.63 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 12.63.
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 12.63 en terminos de los potenciales A

= J

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

= 0 (12.79)
. 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

(12.80)
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 cuadridiver-

gencia de la ecuacion 12.80 e imponer que se anule. Encontramos as la condicion siguiente sobre
el campo

(12.81)
La condicion 12.79 se denomina condicion de Lorentz. Esta condicion no ja completamente
la libertad de transformaciones gauge. Efectivamente la ecuacion 12.81 es invariante frente a am-
big uedades de la forma + donde

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

= J

= 0 (12.82)
12.4.3.2 Solucion de vaco
Empezaremos por considerar las anteriormente mencionadas soluciones de vaco,

= 0 ;

= 0 (12.83)
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

)). (12.84)
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

)
36
obviando la instruccion de tomar la parte real; e

son las 4 componentes del cuadrivector de

polarizaciones y, a priori, son todas independientes. Sin embargo para que 12.84 sea solucion de
12.83, los vectores de onda k

y las polarizaciones e

deben satisfacer las relaciones algebraicas

siguientes
k

= 0
k

= 0 (12.85)
(12.86)
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
transformaci on gauge residual
A

= A

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

)
k

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

= e

exp(ik

)
e

= e

. (12.90)
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.
12.4.3.3 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. (12.91)
Entonces la condicion de que k

se anule nos permite considerar e

0
como dependiente
e
0
= e
3
. (12.92)
(notar: e
0
= e
3
). Tambien la transformacion gauge 12.90 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
.
12.4.3.4 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

37
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
(12.93)
En general, de cualquier onda plana , que se transforme bajo una rotacion de angulo alrededor
de la direcci on de propagacion en la forma

= exp(ih)
decimos que tiene helicidadh.
Hemos visto entonces, que la onda electromagnetica puede ser descompuesta en partes con helici-
dades 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.
12.4.3.5 Ondas Polarizadas
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 (12.94)
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. (12.95)
mientras que B
i
= (

A)
i
y por tanto s olo 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. (12.96)
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.
12.4.3.6 Momento de una onda
La solucion 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
12.72, 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.
12.4.4. Radiaci on producida por fuentes cargadas
A continuaci on vamos a estudiar la ecuacion inhomogenea de ondas 12.82, que describe la genera-
cion de radiacion electromagnetica por corrientes cargadas.
12.4.4.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) (12.97)
38
El metodo opera de la siguiente manera: supongamos que encontramos una solucion para la ecua-
cion de Green asociada

[
x
D(x, x

) =
(4)
(x x

) (12.98)
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

) (12.99)
como es trivial vericar. En ausencia de supercies lmite, la solucion 12.98 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 12.98 se convierte en

[
x
D(x) =
(4)
(x) (12.100)
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
. (12.101)
Sustituyendo en 12.98 encontramos la funcion de Green en el espacio de momentos

D(k) =
1
k
2
(12.102)
y por tanto la funcion de Green deseada
D(x) =
1
(2)
4
_
d
4
k
e
ikx
k
2
. (12.103)
12.4.4.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
. (12.104)
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
)
39
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
. (12.105)
12.4.4.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
=
(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
). (12.106)
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) (12.107)
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) (12.108)
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
(12.109)
12.4.4.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)]. (12.110)
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
] (12.111)
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.
12.4.4.5 La funcion D
(+)
se llama funcion de Green retardada porque representa el comporta-
miento 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
+[xx

[ > x
0
. Por razones analogas, D
()
se llama funcion de Green avanzada.
40
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

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

[.
12.4.4.6 Para hallar la solucion mas general a un problema fsico pueden a nadirse a estas fun-
ciones 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

. (12.113)
De 12.112 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

. (12.114)
12.4.4.7 Finalmente estamos ya en disposicion de escribir la solucion de la ecuacion de ondas
12.82
A

(x) = A

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

)J

(x

) d
4
x

(12.115)
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

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

J = 0 ; . (12.117)
41
Sustituyendo en 12.116 con A

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

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

)
[ x x

[
d
3
x

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

E y

B, a traves de
las ecuaciones 12.32 y 12.33, siendo la unica ecuacion no trivial

E = ,es decir

B = 0, que es
consistente con 12.59

E = (x) =
2
(12.120)
en virtud de la identidad

2
_
1
[x x

[
_
= 4(x x

). (12.121)
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 12.119
(x) =
Q
4
1
[x[
;

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

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

B = 0 (12.123)
12.4.4.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
. (12.124)
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
(12.125)
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.
12.4.4.10 Sustituyendo en 12.116 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) (12.126)
12.4.4.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 [xx

[ es mucho mayor que la

42
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, (12.127)
y para empezar podemos aproximar el denominador por una distancia media [x x

[ 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 considerare-
mos para dicha fase la aproximacion [xx

[ Rnx

, 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

(12.128)
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 12.127 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

. (12.129)
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

. (12.130)
12.4.4.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)
. (12.131)
De la discusi on siguiente a la ecuacion 12.125 sabemos que hay dos casos posibles
= 0 A
0
(x[) =
Q
4R
,= 0 A
0
(x
0
, x) = 0.
(12.132)
El primero coincide con el potencial escalar para la carga puntual 12.122.
12.4.4.13 Para las componentes espaciales,

A, 12.130 puede ponerse en forma mas facil de in-
terpretar si se integra por partes:
_

j(x

) d
3
x

=
_
x

j) d
3
x

. (12.133)
De la ecuacion de continuidad

J =
0
J
0
y 12.124 tenemos

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

(x

)d
3
x

que insertado de nuevo en 12.130

resulta en:

A(x
0
, x [) =

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

(x

)d
3
x

. (12.136)
12.135 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 12.118 12.119; mientras, para ,= 0
podemos hallar los campos

E y

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

B =

A ;

E =
i

B (12.137)
lo cual arroja el resultado siguiente
6
:

B =

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

E =

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

dipolo
(x) = q((x x
0
) (x +x
0
)) (12.139)
Un calculo trivial arroja para la polarizacion el resultado siguiente p (0, 0, 2a).
5
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 m odulo potencias superiores de

d.
6
para el calculo conviene convencerse de que en general si

V = f(R)u entonces

V = (n u) f

(R).
44