Professional Documents
Culture Documents
Electrodinmica clsica
Luis J. Garay
Estas notas no son otra cosa que mis apuntes personales, que he ido elaborando
con el nico objeto de que me sean tiles en la enseanza de la asignatura de
Electrodinmica clsica. Aunque probablemente estas notas os sean tiles tambin
a vosotros, no debis olvidar que, en ningn caso, pueden sustituir a la bibliografa
de la asignatura.
En este sentido, es necesario hacer algunas advertencias:
Estas notas no son, ni pretenden ser, un libro ni un manual. Son, una vez ms,
mis apuntes personales.
Son una notas incompletas cuyo contenido no va ms all de los temas trata-
dos en la asignatura de Electrodinmica clsica.
Bsica
L.D. Landau y E.M. Lifshitz, Teora clsica de campos, Revert, 1986.
J.D. Jackson, Classical Electrodynamics, 3rd ed., Wiley & Sons, 1999.
Bo Thid, Classical Electrodynamics. http://www.plasma.uu.se/CED/Book.
A.O. Barut, Electrodynamics and Classical Theory of Fields and Particles, Do-
ver, 1980.
V.V. Batyguin, I.N. Toptygin, Problems in Electrodynamics, Academic Press,
1978.
Complementaria
J.D. Jackson, Electrodinmica clsica, 2a ed., Alhambra Universidad, 1980.
F. Rohrlich, Classical Charged Particles, Addison-Wesley, 1990.
J. Schwinger, L.L. DeRaad Jr., K.A. Milton y Wu-yang Tsai, Classical Elec-
trodynamics, Perseus Books, 1998.
P. Ramond, Field Theory: A Modern Primer, 2nd. ed., Addison-Wesley, 1990.
A.P. French, Relatividad Especial, Revert, 1996.
A. Ibort y M.A. Rodrguez, Notas de lgebra lineal,
http://www.ucm.es/info/metodos/pdf/Apuntes/...
...alg-aimar/alg-aimar.pdf.
S.M. Carroll, Lecture notes on general relativity, Captulo 1
http://es.arxiv.org/abs/gr-qc/9712019.
J.I. Illana, El significado de la relatividad,
http://www.ugr.es/jillana/SR/sr.pdf.
1. Ecuaciones de Maxwell 11
1.1. Ecuaciones de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.1. Ecuaciones de Maxwell en el vaco . . . . . . . . . . . . . . . 13
1.1.2. Condiciones de empalme en una superficie . . . . . . . . . . 14
1.2. Leyes de conservacin . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.1. Conservacin de carga . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2. Conservacin de energa. El teorema de Poynting . . . . . . 15
1.2.3. Conservacin de momento. Tensor de tensiones de Maxwell 15
1.2.4. Propiedades de transformacin . . . . . . . . . . . . . . . . . 16
1.3. Ondas planas libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.1. Ecuacin de onda para ~E y ~B . . . . . . . . . . . . . . . . . . 18
1.3.2. Ondas planas . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.3. Polarizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3.4. Flujo y densidad de energa . . . . . . . . . . . . . . . . . . . 110
1.4. Guas de ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
1.4.1. Modos TEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
1.4.2. Modos TE y TM . . . . . . . . . . . . . . . . . . . . . . . . . 112
1.4.3. Potencia y energa . . . . . . . . . . . . . . . . . . . . . . . . 114
1.5. Potenciales electromagnticos . . . . . . . . . . . . . . . . . . . . . . 116
1.5.1. Ecuacin de onda para el potencial electromagntico . . . . 116
1.5.2. Condicin de gauge de Lorenz . . . . . . . . . . . . . . . . . 117
1.5.3. Solucin de la ecuacin de onda. Funciones de Green . . . 118
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
4. Radiacin electromagntica 41
4.1. Radiacin por cargas en movimiento . . . . . . . . . . . . . . . . . . 43
4.1.1. Campo generado por una partcula cargada . . . . . . . . . 43
4.1.2. Potencia radiada por una carga acelerada . . . . . . . . . . . 45
4.1.3. Distribucin espectral y angular de la potencia radiada . . 411
4.2. Reaccin de la radiacin . . . . . . . . . . . . . . . . . . . . . . . . . 413
4.2.1. Estimacin de los efectos radiativos . . . . . . . . . . . . . . 413
4.2.2. Fuerza de reaccin radiativa . . . . . . . . . . . . . . . . . . 413
A. Tensores A1
A.1. Vectores y formas lineales . . . . . . . . . . . . . . . . . . . . . . . . A3
A.2. Cambios de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A3
A.3. Tensor mtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A5
A.4. Tensor de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . A5
A.5. Tensores cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . . A9
F. Frmulas F1
Ecuaciones de Maxwell
~ ~E = 1 ,
(1.1a)
0
2 ~
B c t E = 0~j ,
~ ~ (1.1b)
~ ~E + t ~B = 0,
(1.1c)
~ ~B = 0,
(1.1d)
~j = ~v .
y los campos
~ (~x , t) = C
C ~ + (~x , t) [s(~x )] + C
~ (~x , t) [s(~x )], ~ = ~E , ~B ,
C
donde (s) es la funcin de Heaviside:
0 si s<0
(s) =
1 si s > 0.
La divergencia y el rotacional de los campos adquieren entonces la forma:
~ C
~ C
~ = ~ C
~ + (s) + ~ (s) + n (C
~+C~ ) ( s ),
~ C
~ C
~ = ~ C
~ + (s) + ~ (s) + n (C
~+C ~ ) ( s ),
donde hemos usado las frmulas F.2.3, F.2.4 y s (s) = (s). Si sustituimos estas
expresiones en las ecuaciones de Maxwell, obtenemos las siguientes condiciones de
empalme sobre la superficie s = 0:
n (~E + ~E ) = / 0 , (1.4a)
n (~B + ~B ) = 0 K~, (1.4b)
n (~E + ~E ) = 0, (1.4c)
n (~B + ~B ) = 0. (1.4d)
f i = t Si /c2 + k T ik , (1.7)
donde
1 1
T ij = 0 ( Ei E j ij ~E 2 ) + 01 ( Bi B j ij ~B 2 ). (1.8)
2 2
Ejercicio 1.2.5 Obtener este resultado.
Definimos vector como aquel objeto que se transforma bajo una rotacin propia (R)
de la misma manera que el vector de posicin y un escalar es aquel que no se ve
afectado por las rotaciones.
Las reflexiones (S) son las transformaciones ~x 0 = ~x . Un vector se transfor-
ma como ~x bajo reflexiones. Un pseudovector es un vector que bajo reflexiones
mantiene su valor, es decir, que no cambia de signo.
A ~ A
~ . De ~B = ~ , vemos que A
~ es un vector bajo rotaciones. Bajo reflexiones,
~ ~ es un vector bajo reflexiones. Puesto que ~B
~B no cambia y s. Por tanto, A
cambia de signo bajo inversin temporal y ~ no, A~ s lo hace.
~:
A R-vector, S-vector, T.
~ 2~B + c2 2t ~B = 0.
donde ~E (~k , ), ~B (~k , ) y ~k son vectores constantes. Para que sean realmente solu-
ciones, deben satisfacer que
c2~k 2 = 2 ,
como se puede ver por simple sustitucin. Adems, su divergencia se debe anular
y, por tanto,
k ~E = 0, k ~B = 0. (1.10)
Es decir, las ondas electromagnticas planas son transversales. Por ltimo, de la
ecuacin de Maxwell 1.1c y usando las frmulas F.2.2, F.2.4 y F.4.1 obtenemos una
restriccin adicional:
~B = ~k ~E c~B = k ~E . (1.11)
En las ondas planas, los campos elctrico y magntico, no solo son perpendiculares
al vector de nmero de onda ~k , sino que, adems, son perpendiculares entre s
1.3.3. Polarizacin
Vemos que ~E y c~B tienen la misma magnitud. Adems, ~E y ~B son vectores
complejos con la misma fase. Podemos entonces construir una base ortonormal
{e1 , e2 , k} tal que la onda plana ms general ser de la forma
y, por tanto, en un punto fijo ~x del espacio, el vector ~E barre el plano e1 , e2 con
velocidad angular constante determinada por la frecuencia . Si el vector de po-
larizacin de la onda es e+ = (e1 + i e2 )/ 2, ~E gira en sentido contrario de las
agujas del reloj y decimos
que la onda tiene helicidad positiva. Si la polarizacin
es e = (e1 i e2 )/ 2, entonces decimos que tiene helicidad negativa.
La base de ondas polarizadas circularmente 1.12 forman tambin una base de
polarizaciones.
1
0~S = Re~E Re~B = (~E + ~E ) (~B + ~B )
4
1~ ~ 1~ ~ 1~ ~ 1
= E B + E B + E B + ~E ~B
4 4 4 4
1 1
= Re(~E ~B ) + Re(~E ~B ).
2 2
Los campos ~E y ~B de una onda plana tienen una dependencia temporal eit . Por
tanto, al calcular el promedio temporal, definido mediante la expresin
Z + T/2
1
h F (t)i = lm dt0 F (t + t0 ), (1.13)
T T T/2
el primer trmino se anula por ser oscilante e2it y nos queda solo el segundo
trmino:
1
h~S it = Re(~E ~B ).
20
Anlogamente, la densidad de energa es
1
u= [ 0 (Re~E )2 + 01 (Re~B )2 ]
2
1 1
= [ 0 Re(~E 2 ) + 01 Re(~B 2 )] + ( 0~E ~E + 01~B ~B )
4 4
y, por tanto, en el promedio temporal, el primer trmino se anula por ser oscilante:
1
huit = ( 0~E ~E + 01~B ~B ).
4
Para una onda plana 1.9,
~B ~B = (k ~E ) (k ~E )/c2 = ~E ~E /c2 ,
~E ~B = ~E (k ~E )/c = (~E ~E )k/c,
donde hemos utilizado las ecuaciones 1.10, 1.11, F.1.2 y F.1.3. Por tanto,
1 ~ ~ 1 ~ ~
h~S it = ( E E )k, huit = E E
20 c 20 c2
c2 2t C ~ 2C
~ + ~ = 0, ~ = ~E , ~B ,
C
junto con las condiciones de contorno en las paredes del conductor obtenidas de
las condiciones de empalme 1.4:
~E k |S = ~B |S = 0, (1.14)
~ 0 ( x, y)ei(kzt) ,
~ (~x , t) = C
C
~ 0 queda
de forma que la ecuacin de onda para C
~ 0 + ( 2 /c2 k2 )C
~ 2t C
~ 0 = 0, (1.15)
con la condicin de contorno ~E tem,k |S = 0 y, por tanto, ~E tem es solucin del proble-
ma electrosttico bidimensional. El campo magntico se obtiene tambin mediante
sustitucin de ~B = ~B tem en la ecuacin de Maxwell 1.1b en vaco:
~B tem = c1 ez ~E tem ,
que obviamente satisface la condicin de contorno ~B tem, |S = 0
Ejercicio 1.4.1 Obtener estos resultado mediante sustitucin directa en las ecuacio-
nes de Maxwell de C ~ =C ~ tem .
1.4.2. Modos TE y TM
A partir de las ecuaciones de Maxwell se pueden obtener las siguientes expre-
siones para los campos transversales en funcin de los longitudinales:
~E t = i2 (k
~ t Ez ez
~ t Bz ), (1.17a)
~B t = i2 [k
~ t Bz + ( 2 /c2 )ez
~ t Ez ], (1.17b)
donde 2 = 2 /c2 k2 .
Adems, se pueden obtener condiciones de contorno para los campos longitu-
dinales a partir de las condiciones de contorno para los campos totales y de las
ecuaciones de Maxwell:
Ez |S = 0, ~ t Bz |S = n Bz |S = 0.
n (1.18)
Ejercicio 1.4.2 Obtener estos resultados.
Solucin. Para las componentes transversal y longitudinal, las ecuaciones de
Maxwell quedan
ik~E t + i ez ~B t = ~ t Ez , (1.19a)
~ t ~E t ) = iBz ,
ez ( (1.19b)
ik~B t i (/c2 )ez ~E t = ~ t Bz , (1.19c)
~ t ~B t ) = i (/c2 ) Ez ,
ez ( (1.19d)
~ t ~E t = ikEz ,
(1.19e)
~ t ~B t = ikBz .
(1.19f)
As, tenemos una ecuacin de onda bidimensional 1.15 para Ez y Bz con las con-
diciones de contorno 1.18. Como estas condiciones son diferentes, los autovalores
asociados al campo elctrico y al campo magntico sern diferentes en general.
En esta seccin, consideraremos soluciones tales que Ez o Bz son diferentes de
cero. Llamaremos ondas TM (transversales magnticas) a las que satisfacen
~B t = 0 ez ~E t , (1.20)
Z
donde Z es la impedancia de la onda:
k/( 0 ) (TM)
Z=
0 /k (TE).
As, basta con conocer uno de ellos para tener una solucin completa.
Las ecuaciones 1.17 nos permiten determinar las componentes transversales a
partir de Ez y Bz :
~E t = ik
~ t Ez (TM), ~B t = ik
~ t Bz (TE). (1.21)
2 2
Para ondas TM, Bz = 0, usamos las expresiones 1.20 y 1.21, junto con la frmula
F.1.2, y obtenemos
k2 ~ t Ez ].
~ t Ez |2 ez + i (2 /k) Ez
h~S it = 4
[|
2 Z
Si integramos la componente axial (en la direccin ez ) de este resultado sobre
toda la seccin t de la gua, obtenemos la potencia transmitida en la gua:
k2
Z Z
P= h~S it ez d2~x t = ~ t Ez d2~x t .
~ t Ez
t 2 4 Z t
~ t ~u d2~x t =
R H
Teniendo en cuenta la frmula F.3.4 y que t t n ~
u dlt , podemos
escribir
k2
I Z
~ ~ 2 2
P= E (n t Ez )dlt Ez t Ez d ~x t
24 Z t z t
k2
I Z
~ 2 2
= 4 E (n Ez ) dlt Ez t Ez d ~x t .
2 Z t z t
El primer trmino se anula por las condiciones de contorno y, por tanto, utilizando
la ecuacin de onda para Ez , la potencia transmitida por una onda TM resulta
c 0 2
q Z
P= 1 (n / )2 | Ez |2 d2~x t (TM).
2 n t
Por ltimo, es muy fcil calcular el promedio de la densidad de energa por unidad
de longitud. El resultado es:
Z q 1
2 2
U = huit d ~x t = c 1 (n / ) P.
Teniendo en cuenta que depla relacin de dispersin 1.22 obtenemos una velocidad
de grupo v g = d/dk = c 1 (n / )2 , vemos directamente que la velocidad de
propagacin de la energa de las ondas TM y TE en la gua P/U es, como no poda
ser de otra manera, la velocidad de grupo:
P/U = v g .
0 = t f , ~0 = A
A ~ f,
~ + (1.24)
c2 2t
~ 2 = 1 + t (
0
~ + c 2 t ),
~ A
c2 2t A
~ ~ 2A~ = 0~j ~ ( ~ A~ + c 2 t ).
Ejercicio 1.5.2 Demostrar que estas ecuaciones son invariantes bajo las transforma-
ciones de gauge 1.24.
~ + c2 t = 0.
~ A
c2 2t A +
~ 2 A = 0 j . (1.27)
donde = 0, 1, 2, 3, ~)
A = (/c, A y j = (c,~j ).
Como hemos visto, debemos preguntarnos si la condicin de fijacin de gauge
de Lorenz siempre se puede imponer, es decir, si dada una configuracin Ano que
no satisface la condicin de Lorenz, puede encontrarse mediante transformacio-
nes gauge una nueva configuracin A que s la satisfaga. En otras palabras, nos
preguntamos si existe una funcin f tal que
= no t f , ~ =A
A ~ f,
~ no + ~ + c2 t = 0.
~ A
Sustituyendo las dos primeras ecuaciones en la tercera vemos que, para que la
respuesta sea afirmativa, f debe satisfacer la ecuacin
~ 2 f c2 2t f = (
~ no + c2 t no ).
~ A
Dado que esta ecuacin diferencial para f siempre tiene solucin, la condicin
de Lorenz siempre se puede imponer. Si esta solucin fuese nica, el gauge esta-
ra completamente fijado. Sin embargo, todava queda una arbitrariedad adicional
puesto que, si f es una solucin y le aadimos otra funcin f que satisfaga la
ecuacin
~ 2 f c2 2t f = 0,
tambin obtendremos otra solucin. Nos queda, por tanto, una libertad gauge re-
sidual.
Existen otras formas de fijar el gauge como, por ejemplo:
Gauge de Coulomb: ~ A
~ = 0,
Gauge temporal: = 0,
Gauge axial: A3 = 0
(c2 2 +
~ 2 ) G (~r , ; 0, 0) = 3 (~r )().
~r (1.29)
donde
ei (r/c) ( r/c)
Z
1 1/2
G (~r , ) = (4 ) (2 ) d = .
r 4r
Si definimos
t0 = t r/c = t |~x ~x 0 |/c,
como los tiempos retardado y avanzado respectivamente, las funciones de Green co-
rrespondientes se pueden escribir
(t0 t0 )
G (~x , t; ~x 0 , t0 ) = , G = + G+ + G .
4 |~x ~x 0 |
Ejercicio 1.5.4 Demostrar, mediante el estudio del comportamiento de la funcin
de Green en el origen ~r = 0, que + + = 1.
Solucin. Para obtener los valores de , introducimos esta funcin de Green G
en la ecuacin 1.29:
1 ~ 2 ) + 1 ~ 2 1,
~ 1 + 1
(c2 2 +
~ 2 ) G =
2
(2 + ~
4c r 2 r 4 r
donde hemos denotando por sencillez en la notacin = ( r/c). Usando las
frmulas (F.4.2,F.4.3,F.4.4) y teniendo en cuenta que
~ = c1 r ,
~ 2 = c2 2 2 ,
cr
obtenemos
1
(c2 2 +
~ 2 ) G = 3 (~r ).
cr2
Si integramos este resultado en todo el tiempo y en un pequeo volumen V al-
rededor de ~r = 0, el primer trmino se anula puesto que supone la evaluacin de
() = 0; el segundo trmino contribuye con 1. Con estos resultados, vemos
que la integral a todo tiempo y en un pequeo volumen V alrededor de ~r = 0 de
la ecuacin 1.29 Z
dd3~r (c2 2 +
~ 2 ) G = 1
Puesto que nosotros nos vamos a ocupar de los efectos causados por una fuente,
el principio de causalidad requiere que el potencial en ~x , t no dependa de lo que
ocurrir con la fuente en el futuro. Por tanto, desde el punto de vista fsico debemos
quedarnos con el propagador retardado, es decir, = 0, + = 1. As obtenemos
los potenciales retardados
0 , t0 ) ~j (~x 0 , t0+ )
1 3 0 (~
x
Z Z
+ (~x , t) = d ~x +
, ~ + (~x , t) = 0
A d3~x 0 .
4 0 |~x ~x 0 | 4 |~x ~x 0 |
Conviene, por ltimo, recordar que estos potenciales han sido obtenidos en el gau-
ge de Lorenz.
1.6. Ejercicios
1.1 Un monopolo magntico de carga magntica qm situado en el origen crea un
campo magntico cuya expresin es
~B m = 0 qm ~x .
4 |~x |3
1.2 Si existiesen cargas magnticas, como en el problema 1.1, las ecuaciones de Max-
well tendran la siguiente forma:
~E = e / 0 , ~E + t ~B = 0~J m ,
~B = 0 m , ~B c2 t ~E = 0~J e .
0
Z
3
~x)
3 0 j (~
~j (~x 0 )
U= d ~x d ~x .
8 |~x ~x 0 |
1
2
U= Li Ii2 + Mij Ii Ij .
i i j <i
1.5 Sea una regin del espacio en la que existen cargas mviles. En esta region, la
densidad de corriente es proporcional al campo elctrico (ley de Ohm): ~j = ~E ,
donde es la conductividad elctrica.
(2 + K2 )~E ( ) = 0
1.6 Considrese una gua de ondas coaxial de radio interior a y radio exterior b
cuyas paredes son dos conductores perfectos distintos. Encontrar los modos TEM
que pueden transmitirse en dicha gua. Calcular el flujo de energa a lo largo de la
gua para los modos obtenidos.
1.8 Sea una gua de ondas como la del problema 1.7 con b = 3a/2. Se sabe que
existe un modo de tipo TE y que la componente en la direccin ey del campo
elctrico es Ey = E0 sen(x/a)ei(kzt) , donde E0 es una constante.
1.9 Demostrar que el gauge de Coulomb es una buena condicin de fijacin del
gauge.
1.10 Demostrar que los gauges temporal y axial son buenas condiciones de fijacin
del gauge.
c. Escribir una expresin cerrada para el potencial escalar en la que conste ex-
plcitamente el tiempo. Dilucidar si esta dependencia involucra el tiempo re-
tardado, el avanzado o ambos e interpretarlo fsicamente. Demostrar que, en
este gauge y en ausencia de fuentes, el potencial escalar es idnticamente
nulo.
~ = ey A0 exp i (k x x + k y y t).
A
Determinar:
1.14 Calcular los potenciales escalar y vector creados por una carga puntual en
movimiento.
2.4.3. Fuerzas
2.5. Partcula libre
2.5.1. Mecnica analtica
2.5.2. Momento angular
2.5.3. Casimires
2.6. Campos relativistas
2.6.1. Leyes de transformacin: escalares y vectores
2.6.1.1. Traslaciones
2.6.1.2. Transformaciones de Lorentz: campos escalares
2.6.1.3. Transformaciones de Lorentz: campos vectoriales
2.6.1.4. Transformaciones de Lorentz: campos tensoriales
2.6.2. Principio variacional
2.6.3. Cantidades conservadas. Teorema de Noether
2.6.3.1. Invariancia bajo traslaciones
2.6.3.2. Invariancia Lorentz
2.6.3.3. Invariancia Poincar
2.6.3.4. Invariancia gauge abeliana
2.6.4. Formulacin hamiltoniana
2.7. Ejercicios
Segn este principio de relatividad, las ecuaciones que describen las leyes de la
naturaleza tienen la misma forma en todos los sistema de referencia inerciales.
El principio de relatividad de Galileo est basado en la propagacin instantnea
de seales y su rango de aplicacin es la mecnica clsica o newtoniana: todas las
leyes de la mecnica son idnticas en todos los sistemas de referencia inerciales.
Sin embargo, no existen interacciones instantneas. Al introducir el campo elec-
tromagntico, es necesario tener este hecho en cuenta. La velocidad de la luz en el
vaco es la velocidad mxima que puede alcanzar una interaccin. Esta es una ley
fsica y, por tanto, debe ser vlida en todos los sistemas de referencia.
Dado que a, , f no dependen de las posiciones o tiempos, cada trmino debe anu-
larse por separado, lo que implica que
v 1
f = , a== ,
c2 1 v2 /c2
de forma que podemos concluir que la relacin 2.1 es invariante bajo las llamadas
transformaciones de Lorentz:
t0 = [t (v/c2 ) x ],
x 0 = ( x vt),
y0 = y, z0 = z.
t0 = (t c2~v ~x ), (2.3a)
0
~x = ~x + ( 1)(v ~x )v ~v t, (2.3b)
donde 1 = 1 ~v 2 /c2 y v = ~v /v siendo v = |~v |.
~ = d~x /dt,
Derivando las ecuaciones 2.3 con respecto a t y teniendo en cuenta que V
obtenemos la ley de adicin de velocidades:
~ ~
~ 0 = V + ( 1)(v V )v ~v .
V
(1 c2~v V~)
Es ilustrativo escribir las leyes de transformacin para la componente paralela Vk a
~v y la componente perpendicular V ~ de V
~ = Vk v + V
~ :
Vk v ~
V
Vk0 = , ~ 0 =
V .
1 c2 vVk (1 c2 vVk )
Ejercicio 2.1.4 Demostrar que esta cantidad tambin es invariante bajo las trans-
formaciones de Lorentz.
Resulta til introducir el elemento de lnea ds2 entre dos sucesos prximos (~x , t)
y (~x + d~x , t + dt):
ds2 = c2 dt2 + d~x 2 ,
que es invariante bajo las transformaciones de Lorentz.
Decimos que dos sucesos estn separados temporalmente o que su intervalo es
de gnero tiempo cuando el cuadrado de su intervalo s2 es negativo. Entonces existe
un sistema de referencia inercial en el que ambos suceso ocurren en el mismo lugar
pero en distintos instantes de tiempo.
Decimos que dos sucesos estn separados espacialmente o que su intervalo es
de gnero espacio cuando el cuadrado de su intervalo s2 es positivo. Entonces existe
un sistema de referencia inercial en el que ambos suceso ocurren en el mismo
instante pero en distintos lugares.
Finalmente, decimos que el intervalo de dos sucesos es de gnero luz o nulo cuan-
do su intervalo s2 se anula. Entonces ambos sucesos estn conectados mediante una
seal luminosa.
Es importante notar que esta clasificacin de los intervalos en gnero tiempo,
espacio o luz es independiente del sistema de referencia inercial elegido y, por
tanto, es absoluta.
2.2.1. Tensores
Dado un sistema de referencia inercial, las coordenadas de un suceso espacio-
temporal (t, ~x ) = (t, xi ), i = 1, 2, 3, pueden considerarse como un cuadrivector
x = (ct, xi ), = 0, 1, 2, 3, en un espacio cuadridimensional, de forma que el ele-
mento de lnea entre dos sucesos prximos se puede escribir como
= diag[1, 1, 1, 1],
= diag[1, 1, 1, 1].
Debe que notarse que la signatura (el nmero de autovalores positivos y negati-
vos) de la mtrica espaciotemporal es diferente de la elegida en la mayora de la
ds2 = dx dx .
x 0 = x .
0 = .
0 = (1 ) .
= ,
(2.4)
= (1 ) (1 ) ,
Ejercicio 2.2.1 Probar que y tambin son tensores.
2.2.4. Derivacin
Definimos el gradiente cuadridimensional como el operador que, actuando sobre
funciones escalares, da un vector covariante cuyas componentes son:
f = f /x = (0 f , i f ) = (c1 t f ,
~ f ).
La versin contravariante del gradiente es:
= = /x .
Finalmente, introducimos el operador de DAlembert, como el laplaciano cuadridi-
mensional con la mtrica
= = c2 2t +
~ 2.
Ejercicio 2.2.6 Demostrar que se comporta como un vector covariante, como
un vector contravariante y como un escalar.
2.2.5. Integracin
2.2.5.1. Integracin a lo largo de una curva
= 2[ ] dv1 dv2 dv1 dv2 = e e dv1 dv2 dv1 dv2
= dS dS ,
donde
dS = e dv1 dv2
es el elemento de rea. Notemos que este tensor antisimtrico es perpendicular a la
superficie en el sentido de que, para cualquier vector tangente z a la superficie, se
verifica que z dS = 0. Convencionalmente se representa el elemento de superficie
mediante este tensor perpendicular y no mediante el paralelo
1
dS = e dS ,
2
que es anlogo al elemento de lnea dx .
Aunque en esta derivacin del elemento de superficie hemos supuesto que los
vectores tangentes no son de gnero luz, la expresin final es tambin vlida en
este caso.
y que
b b = 4 [2 (~v ~a )2 /c2 +~a 2 ] 0.
Ejercicio 2.2.10 Obtener estas expresiones.
~a ~
vak V
~a 0 = + .
2 (1 c2 vVk )2 c2 2 (1 c2 vVk )3
Ejercicio 2.2.13
a) Demostrar que todo vector perpendicular a uno de gnero tiempo es de gnero
espacio.
b) Demostrar que los vectores perpendiculares a un vector de gnero espacio o
nulo pueden ser de gnero espacio, nulo o tiempo.
[ P , P ] = 0.
ecuacin 2.4 y que, en particular, implica que det( ) = 1. Puesto que la trans-
00 = , 0i = vi /c, i 0 = vi /c,
i j = i j + ( 1)vi v j /v2 .
Por tanto, la velocidad proporciona tres de los seis parmetros que determinan una
transformacin de Lorentz general. Los otros tres parmetros corresponden a las
rotaciones espaciales.
Consideremos una transformacin de Lorentz infinitesimal
= + .
(1 ) = = +
= (1 ) = + + .
As, podemos concluir que el tensor es antisimtrico y, como tal, tiene seis
componentes independientes.
Para boosts infinitesimales con velocidades vi , las nicas componentes no nulas
son
0i = i0 = vi /c i .
En las rotaciones infinitesimales, solo intervienen las componentes espaciales. Por
tanto, podemos escribir las nicas componentes no nulas
ij = eijk k ,
donde i son los tres parmetros asociados a las rotaciones y que interpretaremos
como los ngulos de rotacin alrededor de los tres ejes espaciales. As, para una
transformacin de Lorentz infinitesimal general, las componentes no nulas de
son
0i = i0 = i , ij = eijk k .
Los operadores L son los generadores infinitesimales del grupo de Lorentz y estn
ntimamente relacionados con el momento angular orbital total del sistema, como
veremos. Podemos escribir la transformacin de Lorentz infinitesimal 2.6 en trmi-
nos de los parmetros infinitesimales i y i :
1 1
x = i ( 0i L0i + ij Lij ) x = i i L0i + eijk k Lij x
2 2
i k ~ ~ ~ ~
= i ( Ki + k L ) x = i ( L + K ) x ,
donde hemos definido los nuevos operadores
1 ijk
Li = e L jk , Ki = L0i ,
2
que satisfacen las reglas de conmutacin
(n ~L )3 = n ~L , ~ )3 = n K
(n K ~.
~ = v arctanh(v/c).
~ = e1 y ~ = 0,
cosh sinh 0 0
sinh cosh 0 0
( ) =
,
0 0 1 0
0 0 0 1
es decir, que un boost en la direccin x es una rotacin hiperblica en el plano t, x.
Anlogamente, probar que para ~ = 0, ~ = e3 ,
1 0 0 0
0 cos sen 0
( ) =
0 sen cos 0 ,
0 0 0 1
es decir, que una transformacin de Lorentz con estos parmetros es una rotacin
alrededor del eje z.
Ejercicio 2.3.5 Obtener las reglas de conmutacin de todos los generadores del
grupo de Poincar.
P P = =
1 ijk
Si = e S jk .
2
Los autovalores de este operador de Casimir son de la forma m2 c2 s(s + 1), sien-
do s un nmero semientero (conviene recordar que los autovalores del cuadrado
del momento angular tienen esta forma).
Puesto que estos dos operadores P2 y W 2 son invariantes bajo transforma-
ciones de Poincar, su actuacin sobre la configuracin de un sistema dado, nos
proporcionar informacin intrnseca sobre el sistema, es decir, independiente del
sistema de referencia.
Si la masa es nula, entonces, adems de la relacin de ortogonalidad W P = 0,
tenemos que P P = W W = 0 y, por tanto, los vectores W y P son propor-
cionales. Si llamamos helicidad al operador h que establece la proporcionalidad,
entonces tenemos W = hP . El clculo de la helicidad es sencillo: puesto que
W0 = ~ P ~S = hP0 , obtenemos inmediatamente que
P ~S /P0 .
h=~
S L d L
= = 0.
x x d x
S L d L
= = 0, n = 1, 2 . . . .
xn xn d xn
L
x xn
Q =
n n
S = [Q]21 .
2.4.2.1. Cuadrimomento
L
p .
x
En efecto,
d L L
p = = ,
d x x
donde hemos usado las ecuaciones de movimiento. Si el lagrangiano no depende
de las posiciones espaciotemporales, entonces el cuadrimomento se conserva.
As, el cuadrimomento es la cantidad conservada asociada a la invariancia bajo
traslaciones espaciotemporales.
Para un sistema de varias partculas, el tratamiento es completamente anlogo.
Si la accin es invariante bajo traslaciones, el cambio de la accin bajo la transfor-
macin xn = es nula y, por tanto, Q = n pn es constante. Consecuente-
mente, tambin el momento total
pn
P =
n
se conserva en la evolucin.
La cantidad cP0 tiene dimensiones de energa y se conserva si la accin es in-
variante bajo traslaciones temporales constantes xn0 = 0 . Luego la energa total
del sistema (por definicin, la cantidad conservada asociada a la invariancia bajo
cambios del origen de tiempos) es E = cP0 .
Anlogamente, Pi tiene dimensiones de momento y se conserva si la accin
es invariante bajo traslaciones espaciales constantes xni = i . Por tanto, Pi es el
trimomento total del sistema (por definicin, la cantidad conservada asociada a la
invariancia bajo cambios del origen del sistema de referencia).
(xn pn xn pn ).
J =
n
donde X i = n xni p0n /P0 es, por definicin, la posicin del centro de inercia, que se
mueve con velocidad constante. Debe notarse que esta definicin no es covariante
y que, por tanto, depende del sistema de referencia elegido.
P P = Pci2 ,0 = ( p0ci,n )2 m2 c2 ,
n
1 0 1
Wci = e Pci,0 Jci, = e0jk Pci,0 Jci,jk .
2 2
As, vemos que
1 0 ijk
Wci0 = 0, Wcii = P e Jci,jk
2 ci
y, por tanto,
W W = m2 c2~S 2 ,
donde Si = 12 eijk Jci,jk es el momento angular del sistema de partculas en el SRI
propio del centro de inercia y recibe el nombre de espn.
Consideremos un sistema de partculas de coordenadas xn . En el sistema de
referencia del centro de inercia,
1
Si = eijk Jci,jk = eijk xn,j pn,k .
2 n
Este es el espn del sistema y es intrnseco: solo depende de la configuracin interna
(posiciones y momentos lineales relativos de las partculas que lo componen). Que
solo depende de los momentos lineales relativos y no del total es obvio puesto que
Pcii = n pin = 0. Que no depende del origen que se tome para calcular el momento
angular y que, por tanto, solo depende de las posiciones relativas, es fcil de ver.
En efecto, si desplazamos el origen de coordenadas en una cantidad Ri , entonces
el espn definido con respecto al nuevo origen ser
S0i = eijk ( xn,j + R j ) pn,k = Si + eijk R j pn,k ,
n n
pero el ltimo trmino se anula debido a que n pn,i = 0. Es decir, el espn solo
depende de la configuracin interna del sistema.
La masa total del sistema m y su momento angular intrnseco ~S 2 son las nicas
cantidades conservadas e invariantes bajo el grupo de Poincar independientes.
Cualquier otra se puede escribir en trminos de ellas. La demostracin de esta
afirmacin se basa en que ambos son los casimires del grupo de Poincar y no la
presentaremos aqu.
2.4.3. Fuerzas
La definicin de fuerza es enteramente anloga a la de la mecnica newtoniana:
dp
f = = (~f ~v /c, ~f ),
d
donde ~f = d~p /dt.
Debe ser invariante bajo transformaciones de Lorentz, para que sea indepen-
diente del SRI escogido.
El factor mc2 aparece para que S tenga unidades de accin y para que coin-
cida con su expresin no relativista en el lmite de velocidades pequeas. En
efecto, podemos expandir la accin elegida en serie de potencias de v/c:
1 v2
Z
2
S = mc dt 1 2 + O [(v/c) ]4
2c
1 2
Z Z
= mc2 dt + mv dt + O [(v/c)4 ].
2
El primer trmino es constante y el segundo es la accin de una partcula
libre en el lmite no relativista.
Para obtener esta expresin basta notar que ~v 2 /c2 = 1 2 y que, por tanto,
2 = 1 + ~p 2 /(mc)2 .
Por otro lado, el momento nos indica cmo vara la accin de las trayectorias cl-
sicas ante pequeos desplazamientos de las posiciones finales x , como ya hemos
visto:
S = mu x = p x .
x = x . (2.7)
1 1
S = p x = ( x p p x ) = J .
2 2
El espaciotiempo es istropo y, por tanto, la accin de una partcula libre es inva-
riante bajo las transformaciones de Lorentz 2.7, es decir, los parmetros son
cclicos. En consecuencia, sus momentos cannicos generalizados son cantidades
conservadas. Escribimos la accin en trminos de . Teniendo en cuenta que
dx 0 dx 0 = [dx d x dx ]2
= dx2 2dx dx 2dx x d + O ( 2 )
= dx2 2dx x d + O ( 2 ),
2.5.3. Casimires
Obviamente, en el caso de una partcula libre clsica, las dos cantidades con-
servadas e invariantes bajo el grupo de Poincar se reducen a su masa, pues su
momento angular intrnseco, es decir, en el SRI propio, es nulo. En mecnica cun-
tica, las partculas pueden tener espn aun cuando sean puntuales. En ese caso, el
vector de Pauli-Lyubarskii ya no ser nulo.
llamaremos ( x ) a este campo, donde x son las coordenadas del suceso. Bajo una
transformacin de las coordenadas y del campo, ( x ) se transformar en 0 ( x 0 ).
En principio, ( x ) y 0 ( x 0 ) podran ser diferentes (y lo sern, en general). Consi-
deremos una transformacin infinitesimal de las coordenadas y del campo:
= 0 ( x 0 ) ( x ) = 0 ( x + x ) ( x )
= 0 ( x ) ( x ) + x 0 ( x ) + O (x2 )
= 0 + x ( x ),
2.6.1.1. Traslaciones
[0 , ] = 0 ( ) (0 ) = + ( ) = 0,
Los campos escalares son invariantes bajo transformaciones de Lorentz por de-
finicin. Por tanto, si ( x ) es un campo escalar, no se transformar bajo transfor-
maciones de Lorentz infinitesimales x = x , es decir, = 0. As,
0 = = 0 + x = 0 + x .
V = = [, ] + .
[, ] = [0 , ] + [x , ].
Como 0 no depende de las coordenadas, el primer trmino se anula y, dado que
x = x , tenemos
[, ] = ,
de forma que
V = = V ,
i
0 V = V x V = V + L V .
2
Podemos escribir esta expresin extrayendo como factor comn. Para ello, es-
cribimos el primer trmino de la siguiente manera:
i i
V = V = V = 2i[ ] V = (S ) V ,
2 2
i
0 V = J V ,
2
donde
J = L + S y S V = (S ) V .
P P = m2 c2 6= 0, ~S 2 = W W /(m2 c2 ),
i
0 B = J B ,
2
i
0 B = J B ,
2
donde el operador S acta sobre B de la siguiente manera:
0 0 0
S B = (S ) 0 0 0 B
Consideraremos solo acciones locales, es decir, que dependen solo de los cam-
pos, sus derivadas y, quiz, de la posicin espaciotemporal.
Debe contener como mucho dos derivadas de los campos en cada trmino
para que las ecuaciones de movimiento sean de segundo orden; mediante
integraciones por partes, los trminos que contienen derivadas segundas se
pueden escribir como trminos que dependen solo de primeras derivadas
ms trminos de superficie que no afectan a las ecuaciones de movimiento.
Los sistemas con ecuaciones de evolucin que contienen derivadas superiores
tienen, en general, comportamientos acausales.
Adems, requeriremos que la accin sea real; acciones complejas dan lugar a
disipacin y absorcin, es decir, a la desaparicin de materia.
que son las ecuaciones clsicas de movimiento para el sistema descrito por la ac-
cin S.
Debemos notar que, si aadimos un trmino de superficie a la accin o, lo que
es lo mismo, una derivada total a la lagrangiana, obtenemos las mismas ecuaciones
de movimiento y lo nico que cambian son las condiciones de contorno.
3 Puesto que puede tener varias componentes, se sobreentiende una suma sobre todas ellas.
La variacin de la accin es
Z Z
S = d x ( x L + L ) =
4
d4 x ( x L + x L + 0 L )
M M
Z
L L
= d x (x L ) +
4
0 + 0 ,
M ( )
donde hemos utilizado el hecho de que, puesto que 0 no afecta a las coordenadas,
0 y conmutan. El uso de las ecuaciones de movimiento nos permite escribir la
variacin de la accin como
Z
L
S = d x x L +
4
0 .
M ( )
x a 0 a a
x = e , 0 = e , = e .
e a e a e a
Entonces, la variacin de la accin adquiere la expresin
Z
d4 x ja e a ,
S =
M
donde
x L 0
ja = L
+ .
e a ( ) e a
Otra expresin equivalente para la densidad de corriente asociada a la transforma-
cin determinada por e a se puede obtener sustituyendo 0 = x :
L x L
L
ja = + .
( ) e a ( ) e a
Debe notarse que existe una ambigedad en la definicin de ja . En efecto,
si definimos j0 a = ja + a , donde a es un tensor antisimtrico, vemos que
Q a = 0,
L
T ( j ) = L ,
T = 0,
( )
que es el momento total del sistema. En la ltima igualdad hemos evaluado la in-
tegral de superficie en el sistema de referencia en el que es de la forma t = cons-
tante.
Por ltimo, demostraremos que T = 0 si y solo si la lagrangiana no depende
explcitamente de las coordenadas, es decir, si y solo si L = 0, donde es la
derivada parcial explcita (que no afecta a los campos). Para ello, escribamos
L
T = L
( )
L L L
= + + L
.
( ) ( )
T = L ,
donde
L
(S )nm m
L = x T x T , S = i
( n )
son las densidades de corriente de momento angular orbital y de espn, respectiva-
mente.
Puede demostrarse, de manera anloga al caso de las traslaciones que J tiene
divergencia nula si y solo si la accin es invariante Lorentz, puesto que se puede
ver que
1
J = L .
2
Vimos que las corrientes Noether estn sujetas a una ambigedad en su defini-
cin: la suma de la divergencia de un tensor antisimtrico arbitrario proporciona
otra corriente Noether equivalente. Si la accin de un sistema es invariante Poin-
car, entonces podemos aprovechar esta ambigedad para encontrar un tensor de
energa-momento simtrico de divergencia nula:
1
T = T + f , (S + S S ).
f =
2
Es fcil ver que, puesto que S es antisimtrico en sus dos ltimos ndices, f
es antisimtrico en sus dos primeros y, en consecuencia, las divergencias de T y
de T son iguales: T = T = L . Por tanto, como el sistema es invariante
bajo traslaciones, T tiene divergencia nula. Para demostrar que es simtrico, basta
con calcular
T T = T T + S = J = 0.
Evidentemente, la ltima igualdad se satisface si la ltima accin es invariante
Lorentz.
Por otro lado, si definimos el tensor
J = x T x T ,
vemos que
J = J = 0.
L L iq
j = +
= ( ),
( ) ( ) 2
iq
Z Z Z
Q=
d j = 3 0
d xj = d3 x (t t ),
2c
La accin 2.8 es invariante bajo cambios constantes de la fase global del campo
, como hemos visto. Sin embargo, cambios de la fase en regiones causalmente
inconexas no deberan afectar al resultado. En general, los fenmenos fsicos no
se ven afectados por cambios locales de la fase de los campos, es decir, la ac-
cin debe ser invariante bajo transformaciones que cambien la fase en cada punto
0 ( x ) = eiq( x) ( x ), cuya versin infinitesimal es ( x ) = 0 ( x ) = iq( x )( x ) con
x = 0. Sin embargo, bajo estas transformaciones gauge, la variacin de la accin
es
1 1
Z
4 V
S = d x
||
2 2 ||
iq iq
Z
4
= d x +
2 2
iq
Z Z
= d x ( ) = d4 xj 6= 0.
4
2
Para recuperar la invariancia gauge, podemos definir una nueva accin a partir
de la anterior introduciendo un campo adicional A mediante la sustitucin de la
derivada por la derivada covariante
D = iqA
D = iD.
iq
(D ) D .
jA =
2
Mediante este procedimiento de acoplo mnimo hemos construido una accin in-
variante gauge a cambio de introducir un campo vectorial adicional con una ley
de transformacin adecuada. Puesto que tenemos un campo nuevo, deberemos
aadir a la accin el trmino cintico correspondiente a este campo, que para pre-
servar
R 4 la invariancia gauge, debe ser a su vez invariante gauge. Un trmino del tipo
1
4 d xF F con F = A A puede desempear, obviamente, ese papel.
(cL )
=
(t )
y la densidad hamiltoniana como la obtenida mediante una transformacin de
Legendre sobre la densidad lagrangiana:
H = (t cL )t .
De esta definicin es muy fcil ver que la componente temporal del tensor de
energa-momento es precisamente (salvo por un factor c) la densidad hamiltoniana
si sustituimos el momento por su valor L /(0 ): T 00 = H /c.
Dados los corchetes de Poisson a tiempos iguales
t = {, H }, t = {, H }
Entonces,
{ P , H } = {Ki , H } = { Ji , H } = 0,
2.7. Ejercicios
2.1 Comparar la energa disponible en una colisin frontal de dos partculas con la
misma masa m en las siguientes situaciones y compararlas:
b. Solo una se acelera hasta obtener una energa 2E y choca con otra que est en
reposo.
2.2 Qu intervalo de tiempo en la Tierra durara el viaje de ida y vuelta
hasta Pr-
xima Centauri que se halla a 4 aos luz si se realiza a una velocidad v = 0,9999c?
Cunto durara el viaje para los tripulantes? Explicar el resultado.
2.3 Una nave despega de la Tierra el 1 de enero de 2050 y viaja durante 5 aos
segn el calendario de a bordo con una aceleracin g tambin medida con los
instrumentos de a bordo. Luego desacelera al mismo ritmo durante otros 5 aos,
da media vuelta y regresa de idntica manera. Cual es la fecha de llegada en la
Tierra? A qu distancia lleg la nave?
2.4 Se realizan las siguientes transformaciones sucesivas de cambio de referencia
inercial:
Demostrar que S0 est en reposo con respecto a S pero est rotado un cierto ngulo
alrededor de ez . sta es la llamada precesin de Thomas. Calcular el ngulo de
rotacin.
2.5 Un fotn de energa } incide sobre un electrn de masa m en reposo. Como
consecuencia de la interaccin entre ambos, el fotn sale desviado en una direccin
que forma un ngulo con la incidente. Demostrar que la energa del fotn saliente
es
}
} 0 = .
}
1+ (1 cos )
mc2
2.6 Una partcula de masa m se desintegra en otras dos de masas m1 y m2 . De-
mostrar que la energa de la partcula 1 en el sistema de referencia solidario con la
partcula desintegrada es
m2 + m21 m22 2
E1 = c .
2m
2.9 Sea un sistema compuesto por partculas que decaen en pares de partculas
idnticas y que se mueve con una cierta velocidad. Calcular la distribucin energ-
tica (nmero de partculas con una energa dada) de las partculas producidas en
el sistema de laboratorio.
0 = .
a. Demostrar que
b. Demostrar que = .
c. Demostrar que = i i (Ki ) + i i ( Li ) , donde Ki y Li son generadores
infinitesimales del grupo de Lorentz.
2.13 La partcula es un barin neutro de masa m = 1 115 MeV que decae con
una vida media de 2,9 1010 s en un nuclen de masa 939 MeV y un pin de masa
140 MeV. Se observ en vuelo por primera vez gracias a su modo de decaimiento
p+ + en cmaras de burbujas. Las trayectorias de las partculas cargadas
surgen de un nico punto y tienen la forma de una V invertida. Se puede inferir la
naturaleza de las partculas producidas y sus momentos a partir de sus recorridos
y de las curvaturas de las trayectorias en el campo magntico de la cmara de
burbujas.
a. Demostrar que si se mide el ngulo inicial entre las dos trayectorias, la masa
de la partcula puede obtenerse mediante la frmula
m2 = m2p + m2 + 2E p E 2p p p cos ,
donde p p , p son los mdulos de los trimomentos de las dos partculas pro-
ducidas y E p , E sus energas.
}2 ~ ~ i}
L = + ( t t ) V (~x , t) ,
2m 2
donde V (~x , t) es una funcin real de las coordenadas y } es una constante con
unidades de accin.
1 1
L = F F + 2 U U ,
4 2
donde F = U U . Estudiar, en particular, el caso = 0.
d
m (vi ) = q(ci A0 t Ai ) + qv j (i A j j Ai ),
dt
d
mc2 = qvi (t Ai ci A0 ).
dt
En funcin de p = mu = ( Ec /c, ~p ), donde Ec es la energa cintica, pueden
escribirse de la forma ya conocida,
d~p dEc
= q(~E + ~v ~B ), = q~v ~E . (3.1)
dt dt
En la obtencin del ltimo miembro, hemos utilizado la siguiente relacin entre las
deltas de Dirac:
Lint ( x ) = c1 j ( x ) A ( x ),
j = (c,~j ), ~j = ~v
P L = mc2 + q.
H = ~v ~
~ )2 = m2 2 v2 = m2 c2 ( 2 1)
(~P q A
2 = (mc)2 (~ ~ )2 + 1.
P qA
L
P = = mu + qA .
u
F A A , (3.5)
mu = qu F .
1 1
F F = ( 0~E 2 01~B 2 ), e F F ~E ~B . (3.7)
40 2
Se puede probar que estas son las nicas cantidades invariantes independientes.
Las lneas generales de la demostracin son las siguientes. Construyamos el vector
complejo ~F = ~E + ic~B . Esta cantidad es un vector bajo rotaciones de ngulo com-
plejo. Los seis parmetros de estas rotaciones complejas corresponden a las tres
rotaciones espaciales y a los tres boosts. Por tanto, ~F 2 = (~E 2 c2~B 2 ) + 2ic~E ~B es
el nico invariante bajo rotaciones complejas (rotaciones ms boosts) que se puede
construir a partir de ~F y, por tanto, tambin lo son sus partes real e imaginaria.
Nota: ~E ~B es un pseudoescalar y, por tanto, no es invariante bajo todo el grupo
de Lorentz. Solo lo es bajo transformaciones propias. Esto no es sorprendente ya
que, en su definicin aparece el tensor de Levi-Civita. La cantidad (~E ~B )2 s es
escalar bajo todo el grupo de Lorentz.
Ejercicio 3.1.3 Comprobar que la segunda cantidad es una derivada total, es decir,
e F F (e A A ).
0 A = 0, 0 F = 0, t ~E = t ~B = 0.
p1 = qE0 t, p2 = p0 = m0 v0 , p3 = 0, Ec = qE0 x1 + m0 c2 .
Teniendo en cuenta que ~p = m~v = Ec~v /c2 y que Ec2 = m2 02 c4 + q2 E02 t2 c2 , vemos
que
qE0 t m0 v0
v1 = q , v2 = q , v3 = 0.
m2 02 + q2 E02 t2 /c2 m2 02 + q2 E02 t2 /c2
m0 c2
qE0 x2
x1 = cosh 1 ,
qE0 m0 v0
que es la ecuacin de una catenaria.
Figura 3.1: rbitas para distintos valores de los parmetros del sistema que co-
rresponden a movimientos acotados. Cada figura se acerca ms al lmite no rela-
tivista.
Figura 3.2: rbitas para distintos valores de los parmetros del sistema que co-
rresponden a movimientos no acotados. Cada figura se acerca ms al lmite no
relativista.
Figura 3.3: rbita para valores de los parmetros del sistema que corresponden
a un movimiento espiral.
d~v
= ~v
~ B, donde ~ B = q~B /(m).
dt
Esta ecuacin puede reescribirse en trminos de las componentes de la velocidad
paralela vk B y perpendicular ~v al campo magntico:
dvk d~v
= 0, = ~v
~ B,
dt dt
y su solucin es vk = constante, ~v = B r B (e1 cos B t + e2 sen B t), donde e1 y e2
son dos vectores ortonormales que generan el plano perpendicular a ~B . El radio
de giro r B se determina notando que el mdulo de la velocidad y, por tanto, el de
la componente transversal, se conserva, luego v = B r B o, lo que es lo mismo,
p = qBr B . Si integramos la velocidad obtenemos
necen constantes. Son los invariantes adiabticos2 , que son las integrales de accin
I
Ja = p a dq a ,
1
I
J= ~P d~x ,
2
1 q
I I
J= ~p d~x + ~ d~x .
A
2 2
La primera integral es igual a p r B , puesto que ~v = d~x /dt d~x . Adems
p = qBr B , luego la primera integral es qBr2B . El teorema de Stokes nos permite
calcular la segunda integral:
q ~B nd2~x = 1 qBr2B ,
Z
2 2
p2k = ~p 2 p2 = ~p 2 2qJB.
2 Ver,
por ejemplo, L.D. Landau y E.M. Lifshitz, Mecnica, Revert, 1978; I. Percival y D. Richards,
Introduction to dynamics, Cambridge University Press, 1982.
~r 1
~x
~x 0 R
3 Sea f (t) una funcin que toma valores en un rango finito de longitud . Entonces, se verifica
R T/2
que |h f(t)i| | lmT T/2 dt0 f(t + t0 )/T | lmT /T = 0.
= q(~x ) + ~p ~x ~E (~x ).
1 1
Z Z
lj
i
h F (~x , t)i = ei jk h d ~r ( j r j r )l B i = ei jk e m h
3 j l l j k
d3~r (~r ~j )m l Bk i.
2 2
1
Z
~m ~x = h d3~r~r ~j (~x +~r , t)i.
2
Aparentemente, el momento dipolar magntico depende del punto de referencia
~x , pero no es as. En efecto, si escribimos ~x 0 = ~x +~r , vemos que
1
Z
~m ~x = ~m~0 h d3~x 0~x ~j (~x 0 , t)i.
2
El segundo trmino se anula para distribuciones estacionarias (ecuacin 3.8) y con-
cluimos que ~m ~x = ~m~0 ~m . Notemos que este comportamiento es similar al del es-
pn, el momento angular intrnseco. Esta relacin no es casual. Si llamamos (~x , t)
a la densidad de masa del sistema, podemos escribir
1 1
Z Z
~m = h d3~r~r (~v )i = h d3~r (/)~r (~v )i
2 2
As, para sistemas en los que masa y la carga estn igualmente distribuidas, es
decir, para sistemas con /2 = constante,
~
~m = h S i,
2
es decir,
~ (~m ~B ) + O ( R2 ).
h~F (~x , t)i =
1
Z Z
h Mi i = h d3~r r j Bj ji i = h d3~r (r j ji + r j ji ) Bj i
2
1
Z
h d3~r (r j ji ri j j ) Bj i = e jik mk Bj .
2
Por tanto, la expresin del momento de fuerzas es
Para relacionar los sistemas de referencia en los que el cuerpo que estamos
estudiando est en reposo obtenidos mediante boosts del sistema de laboratorio,
aplicamos un doble boost: el primero de velocidad ~v para pasar del sistema en el
que el cuerpo est en reposo en el instante t al sistema de laboratorio y el segundo
de velocidad ~v + ~v para pasar al sistema en el que el cuerpo est en reposo en el
instante t + t. El resultado no es el sistema de referencia propio del cuerpo sino
uno que est en reposo con respecto a ste pero rotado un ngulo (ver problema
2.4)
2
~ = ~v ~v .
( + 1) c2
Por tanto, el sistema de referencia propio rota con una velocidad angular ~t
con respecto al sistema de referencia en reposo fiduciario del sistema de laboratorio
determinada por
~ 2
~ t = lm
= ~a ~v .
t0 t ( + 1) c2
Si el cuerpo no est acelerado o su aceleracin es solo tangencial, entonces el sis-
tema propio no rota con respecto al del laboratorio. Este fenmeno es puramente
cinemtico y se debe a la no conmutatividad de las transformaciones de Lorentz
en distintas direcciones.
La evolucin del momento angular intrnseco en el sistema de referencia fidu-
ciario del sistema del laboratorio y, por tanto, no rotante, ser
d~s d~s
= + ~ t ~s = ~m (~B 0
~ t / ),
dt no rot dt prop
0 =~
es decir, el cuerpo ve un campo magntico efectivo ~B ef B0
~ t /.
S = SL + Sint + Sem ,
F = 0 j . (3.12)
~ ~E = 1 ,
~ ~B + c2 t ~E = 0~j .
0
As, podemos reunir las ecuaciones 3.6 y 3.12 en el conjunto completo de ecua-
ciones de Maxwell en su formulacin relativista explcitamente covariante:
e F = 0, F = 0 j . (3.13)
Lem
Tem = Lem
A + f ,
( A )
donde
1 Lem
f = (S + S S ), S = i (S ) A
2 ( A )
1 1 ~ ~ i
00
Tem = ( 0~E 2 + 01~B 2 ) = u/c, 0i
Tem = ( E B ) = Si /c2 ,
2c c2 0
ij 1 1 ij
Tem = ( 0 Ei E j + 01 Bi B j ) + ( 0~E 2 + 01~B 2 ) ij = Tm /c.
c 2c
As, la componente 00 es la densidad de energa del campo electromagntico, la
componentes 0i constituyen el vector de Poynting y las componentes ij son el tensor
de tensiones de Maxwell.
La divergencia nula del tensor de energa-momento total nos proporciona las
ecuaciones de conservacin de la densidad de energa y de momento.
Tl = u0 /(c) = t Ec /c2 t ,
0
~ ~S /c2 ,
Tem = t u/c2 +
0
de manera que
~ ~S .
0 = c2 T 0 = t Ec c2 t + t u + (3.14)
c Tl = ui / = t (vi ) = t (vi ) vi t
i
de manera que
ji
0 = c T i = t (vi ) vi t + t Si /c2 j Tm . (3.15)
Podemos integrar las ecuaciones 3.14 y 3.15 en una regin espacial que contenga
a todas las partculas involucradas. Entonces obtenemos
dEc dU dpi di
Z Z
~S d~s = 0, ij
+ + + Tm ds j = 0,
dt dt dt dt
donde U y i es la energa y el momento del campo electromagntico contenido en
el volumen que estamos estudiando y Ec y pi son la energa cintica y el momento
total de las partculas contenidas en ese volumen.
Escribiendo ~E = ~
/ 0 e integrado el segundo trmino por partes obtenemos
1 2 1 ~ ~
Hem = ~ +
~ )2 +
( A ~.
2 0 20
~ )2 + 1 1 ~
q
H = 2 c4 + c2 (P ~ A ~2+ ( A ~
~ )2 + ( + ~ ),
2 0 20
~
~ = = ~ E = 1 .
0
A ( A ) = 0 j .
A = 0 j .
G ( x, x 0 ) = 4 ( x x 0 ),
[( x0 x 00 )]( x 00 x
00 )
G ( x, x 0 ) = ,
4 |~x 0 ~x |
donde x00 = x0 |~
x 0 ~x | es el tiempo retardado (+) o avanzado () y la fun-
cin de Heaviside la hemos introducido por conveniencia, puesto que no aporta
informacin nueva.
Podemos escribir las funciones de Green avanzada y retardada en una forma
explcitamente invariante Lorentz. Para ello, notemos que
[( x 0 x )2 ] = [( x 00 x0 )2 |~x ~x 0 |2 ]
1 00 0 0 00 0 0
= ( x x |~
x ~
x |) + ( x x + |~
x ~
x |)
2|~x ~x 0 |
1 00 00 00 00
= ( x x + ) + ( x x ) .
2|~x ~x 0 |
Si multiplicamos esta expresin por [( x0 x 00 )], solo uno de los trminos sobre-
vive en cada caso. Por tanto,
1
G ( x, x 0 ) = [( x0 x 00 )][( x 0 x )2 ].
2
El factor [( x 0 x )2 ] es invariante Lorentz. La funcin [( x0 x 00 )] no lo es por
s sola. Sin embargo, multiplicada por la delta s lo es. Para probarlo, basta con
demostrar que si z0 x0 x 00 es positivo en un sistema de referencia lo es en
todos. Bajo un boost de velocidad v en la direccin e1 , z0 se transforma en
Por tanto,
q
0 00 0 2 0
z z = (z ) |v/c|z ( z0 )2 ( z2 )2 ( z3 )2
q
(z0 )2 (1 |v/c|) = 1/ 1 + |v/c| > 0,
j (~x 0 , x+
00 )
Z Z
4 0 0 0
A ( x ) = 0 d x j ( x ) G+ ( x, x ) = 0 d3~x 0 .
4 |~x ~x 0 |
donde G ( x, x 0 ) = G+ ( x, x 0 ) G ( x, x 0 ).
donde Ab (~x a , t) es el potencial electromagntico generado por la partcula b en la
posicin ~x a de la partcula a.
Si las velocidades son pequeas, expandimos en serie hasta trminos de orden
O (v2 /c2 ) incluidos. El trmino cintico para cada una de las partculas (donde
hemos suprimido el trmino constante correspondiente a las energas en reposo)
queda
1 1
m a v2a + m a v4a /c2 + O (1/c4 ),
2 8
y el potencial vector
jb (~x 0 , t0+ )
Z
3 0
Ab (~x a , t) = 0 d ~x
4 |~x a ~x 0 |
0
3 0 j (~ x , t) 1 0 1 2 0
Z
0 0
= d ~x t j (~x , t) + 2 t j (~x , t)|~x a ~x | + O (0 /c3 ).
4 |~x a ~x 0 | c 2c
~ 0b (~x a , t) = 1 qb
+ O (1/c3 ).
A ~
v b + (~
v b r ab ) r ab
8 0 c2 r ab
Podemos ya escribir el lagrangiano para dos partculas incluyendo hasta el se-
gundo orden en v/c:
1 1 1 q a qb
L= m a v2a + mb v2b
2 2 4 0 r ab
1 1 1 q a qb
+ m a v4a /c2 + mb v4b /c2 +
~v a ~
v b + (~
v a r ab )(~
v b r )
ab .
8 8 8 0 c2 r ab
Tras definir los momentos cannicos hasta segundo orden en v/c y realizar la
transformacin de Legendre correspondiente, obtenemos el hamiltoniano
p2a p2 1 q a qb
H= + b +
2m a 2mb 4 0 r ab
p4a p4b 1 q a qb
~
p a ~
p b + (~
p a r ab )(~
p b r ab ) .
8m3a c2 8m3b c2 8 0 c2 m a mb r ab
3.5. Ejercicios
3.1 Encontrar la trayectoria de una partcula en un campo electromagntico cons-
tante y uniforme tal que el campo elctrico y el magntico son paralelos.
3.5 Sea un cierto sistema de referencia en el que hay un campo elctrico y otro
magntico que forman un ngulo y tales que su intensidad es |~B | = 2|~E |/c.
b. Una partcula con carga positiva gira alrededor de una lnea de fuerza en
plano ecuatorial con radio de giro a y distancia media al centro de la Tierra
R, donde a R. Probar que el azimut de la partcula cambia linealmente con
el tiempo (aproximadamente) de acuerdo con la frmula
2
3 a
= 0 B ( t t0 ),
2 R
c. Si, adems de este movimiento circular, la partcula tiene una pequea com-
ponente de la velocidad paralela a las lneas de campo, demostrar que oscila
alrededor del plano ecuatorial con frecuencia
3 a
= B .
2R
Calcular el cambio en la longitud por cada ciclo de oscilacin en latitud.
3.11 Una partcula con espn cargada se mueve con velocidad no relativista en un
campo electrosttico central. Calcular la energa de interaccin del espn con el
campo elctrico en el orden ms bajo no nulo, teniendo en cuenta la precesin de
Thomas.
1 1
L = A A + j ( x ) A ( x ).
2c0 c
a. Demostrar que F = 0.
b. Qu condicin debe satisfacer k para que la onda plana f eik x sea solucin
de esta ecuacion?
c. Sean dos sistemas inerciales con velocidad relativa ~v . Demostrar que la ley de
transformacin para las frecuencias es
0 = [1 (v/c) cos ],
3.15 Hallar la fuerza que ejerce una onda electromagntica plana sobre una pared
conductora perfecta. dem si la pared perfectamente absorbente.
3.16 Sean dos planos paralelos con densidades superficiales de carga iguales en
mdulo y de signos opuestos. Uno de ellos se mueve paralelamente a s mismo y
el otro se aleja en la direccin perpendicular a ambos planos. Analizar las fuerzas
que actan sobre las cargas de ambos planos y discutir el resultado a la luz de la
ley de conservacin del momento lineal.
1 1 1
Lp = F F + j ( x ) A ( x ) + m2 A A .
4c0 c 2c0
Radiacin electromagntica
Por otro lado, el potencial electromagntico generado por una densidad de corrien-
te es Z
0
A (x) = d4 x 0 j (~x 0 ) ( x0 x 00 )[( x 0 x )2 ].
2
Combinando ambas expresiones obtenemos
q0 c
Z Z
A (x) = du ( ) d4 x 0 ( x0 x 00 )[( x 0 x )2 ]4 [ x 0 r ( )]
2 Z
q0 c
= du ( ) [ R0 ( )][ R( )2 ], (4.1)
2
donde R R ( ) = x r ( ). Para calcular la integral sobre el tiempo pro-
pio , notemos que la funcin delta solo da contribucin en aquellos 0 para los
que R (0 ) est sobre el cono de luz, es decir, R(0 )2 = 0 lo que implica que
R0 (0 ) = |~R (0 )|. Adems, la funcin paso garantiza que solo contribuye el tiem-
po retardado R0 (0 ) > 0, es decir, x0 > r0 (0 ), lo que nos obliga a considerar solo
la solucin con signo positivo. Por tanto,
1
[ R0 ( )][ R( )]2 ] = ( 0 ).
2| R u |
Tambin podemos escribir este potencial en forma no covariante. Para ello, no-
temos que el denominador es
de manera que
R d
( R2 ) = ( R2 ).
R u d
0 c q d R u R u
F = A A = .
4 R u d R u ret
donde
vel 1 cq
F = ( R u R u ) ,
4 0 ( R u )3
ret
rad q 1
F = R R (u b u b ) ( ) .
4 0 c ( R u )3 ret
En estas expresiones, vemos que la parte que solo depende de la velocidad F vel
decae con la distancia como 1/R2 y es, por tanto, de corto alcance comparada con
rad puesto que esta ltima decae como
la parte que depende de la aceleracin F
1/R. Es el llamado campo de radiacin.
Teniendo en cuenta que, como ya vimos en el tema 2,
~
~E (~x , t) = q 1 R ~
v /c R [( R ~
v /c ) a ]
+ , (4.3a)
4 0 (1 ~v R/c)3 2 R2 c2 R
ret
~B (~x , t) = R(t0 ) ~E (~x , t)/c. (4.3b)
El primer trmino del campo elctrico es el campo que depende solo de la velo-
cidad ~E vel y, en el lmite v/c 0, es el campo de Coulomb. El segundo trmino,
que depende de la aceleracin, es el campo de radiacin ~E rad . Si nuestro punto de
observacin est colocado a gran distancia de la carga que genera el campo, solo
veremos el campo de radiacin, puesto que el que depende de la velocidad decae
con el cuadrado de la distancia. Entonces, en esta zona lejana, el campo electromag-
ntico est determinado por ~E rad . Adems, veremos en la siguiente seccin que el
trmino que depende solo de la velocidad no contribuye a la energa emitida por
la partcula.
Por tanto, la potencia radiada en la unidad de superficie d~s = R(t0 )2 R(t0 )d ser
1 ~2
dP = (~S R) R2 d = E R2 d,
0 c rad
dP 1 ~2
= E rad R(t0 )2 .
d 0 c
q2 { R [( R ~v /c) ~a ]}2
dP
= . (4.4)
d 16 2 0 c3 (1 ~v R/c)6 ret
Esta expresin nos proporciona la distribucin angular de energa radiada por uni-
dad de tiempo de observacin t. Sin embargo, la cantidad relevante es la distribu-
cin angular de energa por unidad de tiempo de la partcula, es decir, de tiempo
retardado t0 , de manera que la energa total radiada W est dada por la integral
sobre t0 . La relacin entre ambas potencias P = dW/dt (en tiempo de observacin)
y P0 = dW/dt0 (en tiempo retardado) se obtiene mediante la relacin de ambos
tiempos
t = t0 + |~R (t0 )|/c, dt = [1 ~v (t0 ) R(t0 )/c]dt0 ,
de forma que
dW dt dW
P0 = 0
= 0 = (1 ~v R/c)|ret P.
dt dt dt
As, la distribucin angular de potencia en tiempo retardado adquiere la expresin
~a
q2
dP0 = 2
| R ( R ~
a )| d.
16 2 0 c3 ret
q2
dP0 = 2 2
a sen d,
16 2 0 c3 ret
q2 a2
0
P = . (4.6)
6 0 c3 ret
q2
d0 = 2
dt0 , di = 0,
4
b ret
6 0 c
que, en forma covariante vlida en cualquier sistema de referencia inercial, queda
q2 2
d = b dx
.
6 0 c5 ret
cd0 q2
P0 = 6 2 2 2
= [ a (~
v ~
a ) /c ] . (4.7)
dt0 6 0 c3 ret
q2
P00 = 6 2
a
6 0 c3 ret
1 1
cos mx 1 2 , mx
8 2
v.c 1
vc mx =
2
~a k~v
Figura 4.2: Diagrama de radiacin emitida por una partcula cargada que se mue-
ve con aceleracin paralela a la velocidad en los casos de velocidad no relativista
y ultrarrelativista. La figura, que tiene simetra de revolucin alrededor de la ve-
locidad, muestra el diagrama en un plano que contiene a sta. La figura no est a
escala.
dP0 0
2 dP
d mx, v . c d mx, v c
R [( R ~v /c) ~a ] d R ( R ~v )
= .
(1 ~v R/c)2 dt 1 R ~v /c
Una integracin por partes nos proporciona el resultado (salvo fase global) para la
amplitud
Z
q 0 0 0
A~ (, ) = lm ei [t R~r (t )/c]e|t | R [ R ~v (t0 )]dt0 .
2 e0
0
En esta expresin, hemos aadido un factor de convergencia ee|t | que garantiza la
validez de esta expresin teniendo en cuenta que para tiempos grandes la velocidad
es constante (duracin finita de la aceleracin).
Si tenemos una densidad de carga en vez de una sola partcula, la amplitud
espectral y angular A~ (, ) se puede escribir
Z Z
0 0 0
A~ (, ) = lm dt d3~r ei [t R~r /c]e|t | R [ R ~j (~r , t0 )].
2 e0
q2 a2 T
Erad 3
= ma2 T,
6 0 c
donde hemos definido el tiempo caracterstico electromagntico de la partcula como
= q2 /(6 0 mc3 ). Ntese que esta relacin tambin se puede escribir como una
comparacin entre la energa en reposo y la electromagntica a una distancia c,
puesto que podemos escribirla de la forma mc2 = q2 /(6 0 c ). Esta distancia c
recibe a menudo el nombre de radio clsico de la carga puntual.
Supongamos que una partcula en reposo se acelera durante un tiempo finito T.
La energa caracterstica del sistema ser su energa cintica Ec ma2 T 2 . Entonces,
los efectos de la radiacin sern despreciables si Erad Ec , lo que implica que
T , es decir, para tiempos de actuacin de la aceleracin mucho mayores que el
tiempo caracterstico electromagntico de la partcula.
Si la partcula cargada sigue un movimiento peridico, el tiempo de aceleracin
T ser el periodo y la aceleracin a r/T 2 donde r es la amplitud del movimiento.
La energa caracterstica de la partcula ser su energa de oscilacin E mr2 /T 2 ,
por lo que la radiacin ser despreciable (Erad E) cuando T , es decir,
para oscilaciones cuyo periodo sea mucho mayor que el tiempo caracterstico de la
partcula.
Esta prdida de energa estar producida por una fuerza ~F rad que debemos aadir
a la ecuacin de Newton. Esta fuerza debe anularse cuando no haya aceleracin y
debe ser proporcional a , por ser el nico parmetro relevante que aparece en la
potencia radiada. Adems, el trabajo realizado por esta fuerza debe compensar la
energa emitida y, por tanto,
Z t
1
dt (~F rad ~v + m~v ~v ) = 0.
t 0
m(~v ~v ) = ~F ext .
Esta ecuacin debe ser tratada con especial cuidado puesto que tiene soluciones
autoalimentadas inaceptables. En efecto, si, por ejemplo, la fuerza externa no est
presente, esta ecuacin admite la solucin ~v = ~v 0 +~a et/ que crece sin lmite ni
motivo. Se puede obtener una ecuacin alternativa que no presenta estos problemas
notando que
1 eiR/c
Z
M ( ) = m0 + d3~x d3~x 0 (~x )(~x 0 ) ,
6 0 c3 R
q2 | f (~k )|2
Z
M ( ) = m0 + d3~k ,
12 3 0 c2 k2 2 /c2
La masa fsica del cuerpo (incluyendo la autointeraccin) es m = M(0). En efecto,
la ecuacin de evolucin se convierte en la ecuacin de Newton para un cuerpo
de masa M (0) ms correcciones si sustituimos M ( ) por su expansin en serie de
potencias de . La expresin de la masa fsica es entonces
q2 | f (~k )|2
Z
m = m0 + d3~k (4.9)
12 3 0 c2 k2
y la masa efectiva espectral queda en trminos de la masa fsica
q2 2 | f (~k )|2
Z
M( ) = m + d3~k . (4.10)
12 3 0 c4 k2 (k2 2 /c2 )
3 0j x 0 , t0 )
(~
Z
0
A (~x , t) = d ~x ,
4 |~x ~x 0 |
donde t0 = t |~x ~x 0 |/c es el tiempo retardado. Para grandes distancias de la
fuente, |~x ~x 0 | |~x | ~x 0 x. Si expandimos los potenciales electromagnticos en
potencias de ~x 0 x y nos quedamos con los rdenes ms bajos, obtenemos
0 1
Z
A (~x , t) = d3~x 0 j (~x 0 , t0 )
4 |~x |
y t0 = t |~x |/c + ~x 0 x/c. Podemos calcular la transformada de Fourier de estos
potenciales:
0 1 1
Z Z
3 0
A (~x , ) = d ~x dt j (~x 0 , t0 )eit .
4 |~x | 2
k ~E = 0, k ~B = 0, ~E = c~B k,
~B = ~ = i~k A
~ A ~ k A
~ /|~x | i k A
~ /c.
Debemos notar que todas las componentes de Fourier comparten la misma di-
reccin de propagacin k y, por tanto, todas las relaciones espectrales que solo
involucren k son vlidas tambin para los campos con dependencia temporal. En
particular, los campos electromagnticos en la zona lejana se pueden obtener a
partir del potencial vector a partir de las siguientes expresiones:
i k ~x ~
~ (~x , ) = 0 e
Z
A d3~x 0 ~j (~x 0 , ).
4 |~x |
i~k ~x
~ (~x , ) = i 0 e ~p ( ),
A
4 |~x |
~ (~x , t) = i 0 1 1
Z
~
A deit eik ~x ~p ( )
4 |~x | 2
0 1 1
Z
= i dei (t|~x |/c) ~p ( )
4 |~x | 2
0 1 1 d
Z
0
= 0
deit ~p ( )
4 |~x | 2 dt
~p (t0 )
= 0 .
4 |~x |
i k ~x ~
~ (~x , ) = i 0 e
Z
A d3~x 0 ~j (~x 0 , )(k ~x 0 ).
4c |~x |
Si lo escribimos en componentes,
~
0 eik ~x
1 i 0 1 i 0
Z
i 3 0 0j 0j
A (~x , ) = i d ~x j (~x , )(k j x ) + j (~x , )(k j x ) ,
4c |~x | 2 2
1 1
Z Z
3 0 i 0 0j
d ~x j (~x , )(k j x ) = d3~x 0 0k x 0i jk (~x 0 , )(k j x 0 j )
2 2
1
Z
= d3~x 0 [ x 0i 0k jk (~x 0 , )(k j x 0 j ) + x 0i jk (~x 0 , )k k ]
2
y utilizamos la ecuacin de continuidad espectral, obtenemos
i k ~x 1 ~
~ (~x , ) = i 0 e
Z
A 3 0
d ~x ~j (~x 0 , )(k ~x 0 ) i~x 0 (~x 0 , )(k ~x 0 )
4c |~x | 2
0~ 0
~x [ j (~x , ) k] .
2
(~x 0 , ) 3~x 0 (k ~x 0 ) k~x 02 .
3
Definimos el momento cuadrupolar elctrico (su transformada de Fourier) como el
tensor (bajo rotaciones espaciales) simtrico
Z
Q( ) = d3~x 0 (~x 0 , )(3~x 0~x 0 t ~x 02 11)
~S = 1 ~E ~B = c (~B k) ~B = c ~B 2 k.
0 0 0
dP = 2 |A~ (, t)|2 d,
donde 2 = 1/(16 2 0 c3 ) y
1 ... 0
0 1 0
A (, t) = ~p(t ) + ~m(t ) k + Q(t ) k k.
~
c 6c
d2 W
= 2 2 |A~ (, )|2 .
dd
Aunque no vamos a hacer el promedio angular aqu, la potencia total radiada es
...
1 1 1 2
P= ~p + 2 ~m
2 +
2
Q
6 0 c3 c 120c2 t0
y la intensidad espectral
4 2
dW 2 1 2 2
= |~p ( )| + 2 |~m ( )| + |Q( )| .
d 3 0 c3 c 120c2
Puesto que k |~x 0 | 1 la radiacin dipolar elctrica ser mucho mayor en general
que la cuadrupolar elctrica y la dipolar magntica. Otra forma de verlo es que la
condicin |~x 0 | c se puede interpretar como que las velocidades caractersticas
internas de la fuente tienen que ser mucho menores que la de la luz. As, los trmi-
nos cuadrupolar elctrico y dipolar magntico corresponden al segundo orden en
v/c, como vemos en las expresiones de la intensidad radiada.
Conviene recordar que hemos utilizado los campos fsicos reales. Si utilizamos
notacin compleja o realizamos promedios temporales,
1 ~ ~ c ~ 2
h~S i = E B = | B | k.
20 20
4.4. Ejercicios
4.1 Dos dipolos elctricos de igual magnitud que forman un cierto ngulo entre
ellos oscilan con igual frecuencia y desfasados en /2. Si la distancia entre ambos
es pequea comparada con la longitud de onda, hallar el campo magntico, la
distribucin angular y la intensidad total de la radiacin en la zona lejana.
4.2 Una esfera con magnetizacin uniforme gira con velocidad constante en torno
a un cierto eje. Hallar el campo electromagntico que produce, su polarizacin y la
distribucin angular y la intensidad total de la radiacin.
4.3 Calcular la distribucin angular de la potencia radiada por una antena de una
cierta longitud y seccin despreciable y que es alimentada en su centro por una co-
rriente sinusoidal que se anula en los extremos. Estudiar el caso en el que la antena
es mucho menor que la longitud de onda de la corriente sinusoidal y comparar el
resultado con la radiacin de un dipolo elctrico.
4.4 Una antena lineal paralela al eje ez y centrada en el origen se alimenta con una
corriente I0 ei(kzt) . Hallar la distribucin angular de la radiacin emitida.
4.5 Un dipolo elctrico rota en un plano con velocidad angular constante. Hallar
el campo electromagntico en la zona lejana, la distribucin angular y la potencia
total emitida.
4.6 Hallar la potencia de radiacin emitida por una partcula cuya aceleracin es
paralela a su velocidad y su distribucin angular.
4.8 Hallar la distribucin angular de la potencia radiada por una partcula relati-
vista cuya aceleracin es perpendicular a su velocidad. Determinar las direcciones
en las que no se emite radiacin.
4.9 Un electrn se mueve en una rbita circular bajo la accin de un campo mag-
ntico homogneo. Calcular la energa perdida por radiacin (sincrotrn) en cada
vuelta y expresarla en funcin de la energa y de la masa del electrn.
4.11 Los plsares son estrellas de neutrones en rotacin con campos magnticos
extremadamente intensos y emiten radiacin que llega a la Tierra peridicamente.
El plsar del Cangrejo rota con un periodo de 33 ms y se halla a una distancia
de 3 300 aos-luz. Calcular el momento magntico de este plsar si suponemos
que es perpendicular al eje de rotacin de la estrella y que, adems, este eje es
perpendicular a la direccin de observacin. La intensidad de la radiacin recibida
en la Tierra es de 6,2 1010 W/m2 .
Z ( Z + 1) + e + , Z ( Z 1) + e+ + .
4.14 Se colocan dos antenas dipolares de media onda en una lnea recta sin solapa-
miento. Determinar el flujo de radiacin emitido si se ignora la influencia mutua
de ambas antenas y se supone que se alimentan con la misma corriente y que estn
en fase.
4.15 Una espira circular se alimenta con una corriente monocromtica de amplitud
constante. Calcular, en el orden ms bajo, la radiacin emitida por la espira si se
supone que la espira es mucho ms pequea que la longitud de onda.
Tensores
Proposicin A.1.4
La base dual es realmente una base del espacio dual.
Demostracin. El conjunto { i , i = 1, 2 . . .} tiene tantos vectores como la dimen-
sin de V . Adems, son linealmente independientes. En efecto, consideremos la
combinacin lineal nula i i = 0. Su contraccin con ~e k es igual a k y es nula k.
(, ~v ) = i v j ( i , ~e j ) = i v j ji = i vi
( i , ~v ) = vi , (, ~e i ) = i .
ji = ( 0i , ~e 0j ) = i k l j ( k , el ) = i k l j lk = i k kj = ( )i j ,
luego = 1 .
Veamos ahora cmo se transforman las componentes de los vectores:
v0i = ( 0i , ~v ) = (1 )i j ( j , ~v ) = (1 )i j v j .
Vemos que las componentes de los vectores se transforman de forma inversa a
los elementos de la base de V y, por ello, reciben a veces el nombre de vectores
contravariantes.
Por otro lado, la componentes de las formas lineales se transforman como los
elementos de la base de V y, por ello, reciben tambin el nombre de vectores cova-
riantes:
j j
i0 = (, ~e i0 ) = i (, ~e j ) = i j .
Definicin A.2.1
n
Un tensor de tipo (m ) es una aplicacin multilineal T : V n (V )m R.
Bajo cambios de base los tensores se transforman como vectores en cada ndice
contravariante y como formas en cada ndice covariante. As, por ejemplo,
0 jk j
Ti = l i (1 ) m (1 )kn Tl mn .
Operaciones tensoriales son aquellas que operaciones con tensores que propor-
cionan otro tensor. El resultado es independiente de la base elegida. Las siguientes
operaciones son operaciones tensoriales:
Proposicin A.3.2
La existencia de un tensor mtrico nos permite establecer un isomorfismo entre V
y V definido por v g(~v , ) o, en componentes, vi = gij v j .
Demostracin. El hecho de que gij sea invertible hace que esta aplicacin sea
biyectiva: vi = gij v j .
Adems, el tensor mtrico induce un producto escalar g en V tal que sus com-
ponentes son g( i , j ) = gij .
As, la existencia de un tensor mtrico nos permite identificar tensores covarian-
tes y contravariantes como distintas representaciones del mismo objeto.
As,
1,
i1 , i2 , . . . , in permutacin par de 1, 2, . . . , n
i1 i2 ...in
e = ei1 i2 ...in = 1, i1 , i2 . . . , in permutacin impar de 1, 2, . . . , n
0, en cualquier otro caso.
Por ejemplo, en dos dimensiones, e12 = e21 = 1 y e11 = e22 = 0. En tres dimen-
siones, las nicas componentes no nulas son
Para ver cmo calcular la paridad de una permutacin para n > 3, consideremos
el caso n = 6 y la secuencia 612453.
1 2 3 4 5 6
6 1 2 4 5 3
Dado el carcter tensorial del tensor de Levi-Civita, podemos escribir sus com-
ponentes covariantes
i0 j0 k0 = gii0 g jj0 gkk0 ijk .
Teniendo en cuenta la relacin entre el tensor contravariante de Levi-Civita y el
smbolo correspondiente y las reglas para calcular determinantes de la proposi-
cin A.4.5, tenemos que
1
i0 j0 k0 = gii0 g jj0 gkk0 eijk = gei0 j0 k0 .
g
Proposicin A.4.9
Sea T ii0 un tensor. Entonces se satisfacen las siguientes identidades tensoriales:
0 0 0 j
i j k T ii0 T j0 T kk0 = det( T ll 0 )ijk ,
0 0 0
i j k Tii0 Tjj0 Tkk0 = det( T ll 0 ) ijk = g1 det( Tll 0 ) ijk .
Ejercicio A.4.11 Evaluar la suma ei1 i2 ...in ei1 i2 ...in , teniendo en cuenta que los ndices
toman valores i j = 1, . . . , n.
Solucin. Para que ei1 i2 ...in sea distinto de cero, todos los ndices tienen que ser
diferentes. Por lo tanto hay un nmero de sumandos no nulos igual al nmero
de permutaciones sin repeticin de n elementos, es decir, n!. Adems, cuando la
permutacin es par, tanto ei1 i2 ...in como ei1 i2 ...in valen 1, mientras que, si es impar,
los dos son 1 y el producto es 1 tambin. Por lo tanto tenemos una suma con n!
sumandos, todos ellos iguales a 1 y el resultado es
D k = ek ij Bi C j , F l = el mk Am D k .
F l = el mk Am D k = el mk Am (ek ij Bi C j ) = el mk ek ij Am Bi C j
F l = (l i mj l j mi ) Am Bi C j = l i mj Am Bi C j l j mi Am Bi C j
F l = B l ( A j C j ) C l ( Ai Bi )
~ ~B llegamos al resultado final. N
Y teniendo en cuenta que Ai Bi = A
~ ~B ) (C
(A ~ D ~ C
~ ) = (A ~ )(~B D ~ D
~ ) (A ~ ).
~ )(~B C
I. Kinematical part
1. Definition of Simultaneity
2. On the Relativity of Lengths and Times
3. Theory of the Transformation of Co-ordinates and Times from a
Stationary System to another System in Uniform Motion of Trans-
lation Relatively to the Former
4. Physical Meaning of the Equations Obtained in Respect to Moving
Rigid Bodies and Moving Clocks
5. The Composition of Velocities
II. Electrodynamical part
6. Transformation of the Maxwell-Hertz Equations for Empty Space.
On the Nature of the Electromotive Forces Occurring in a Magne-
tic Field During Motion
7. Theory of Dopplers Principle and of Aberration
8. Transformation of the Energy of Light Rays. Theory of the Pressu-
re of Radiation Exerted on Perfect Reflectors
9. Transformation of the Maxwell-Hertz Equations when Convection-
Currents are Taken into Account
10. Dynamics of the Slowly Accelerated Electron
I. Kinematical part
1. Definition of Simultaneity
Let us take a system of co-ordinates in which the equations of Newtonian me-
chanics hold good.2 In order to render our presentation more precise and to dis-
tinguish this system of co-ordinates verbally from others which will be introduced
hereafter, we call it the stationary system.
If a material point is at rest relatively to this system of co-ordinates, its position
can be defined relatively thereto by the employment of rigid standards of measu-
rement and the methods of Euclidean geometry, and can be expressed in Cartesian
co-ordinates.
If we wish to describe the motion of a material point, we give the values of its
co-ordinates as functions of the time. Now we must bear carefully in mind that a
mathematical description of this kind has no physical meaning unless we are quite
clear as to what we understand by time. We have to take into account that all our
judgments in which time plays a part are always judgments of simultaneous events.
If, for instance, I say, That train arrives here at 7 oclock, I mean something like
this: The pointing of the small hand of my watch to 7 and the arrival of the train
are simultaneous events.3
It might appear possible to overcome all the difficulties attending the defini-
tion of time by substituting the position of the small hand of my watch for
time. And in fact such a definition is satisfactory when we are concerned with
defining a time exclusively for the place where the watch is located; but it is no
longer satisfactory when we have to connect in time series of events occurring at
different places, orwhat comes to the same thingto evaluate the times of events
occurring at places remote from the watch.
We might, of course, content ourselves with time values determined by an ob-
server stationed together with the watch at the origin of the co-ordinates, and co-
ordinating the corresponding positions of the hands with light signals, given out
by every event to be timed, and reaching him through empty space. But this co-
ordination has the disadvantage that it is not independent of the standpoint of the
2 i.e.
to the first approximation.
3 Weshall not here discuss the inexactitude which lurks in the concept of simultaneity of two
events at approximately the same place, which can only be removed by an abstraction.
observer with the watch or clock, as we know from experience. We arrive at a much
more practical determination along the following line of thought.
If at the point A of space there is a clock, an observer at A can determine the time
values of events in the immediate proximity of A by finding the positions of the
hands which are simultaneous with these events. If there is at the point B of space
another clock in all respects resembling the one at A, it is possible for an observer
at B to determine the time values of events in the immediate neighbourhood of B.
But it is not possible without further assumption to compare, in respect of time, an
event at A with an event at B. We have so far defined only an A time and a B
time. We have not defined a common time for A and B, for the latter cannot be
defined at all unless we establish by definition that the time required by light to
travel from A to B equals the time it requires to travel from B to A. Let a ray of
light start at the A time tA from A towards B, let it at the B time tB be reflected
at B in the direction of A, and arrive again at A at the A time tA 0 .
2AB
= c,
t0A tA
We imagine further that at the two ends A and B of the rod, clocks are placed
which synchronize with the clocks of the stationary system, that is to say that their
indications correspond at any instant to the time of the stationary system at the
places where they happen to be. These clocks are therefore synchronous in the
stationary system.
We imagine further that with each clock there is a moving observer, and that
these observers apply to both clocks the criterion established in 1 for the syn-
chronization of two clocks. Let a ray of light depart from A at the time4 tA , let
it be reflected at B at the time tB , and reach A again at the time tA 0 . Taking into
consideration the principle of the constancy of the velocity of light we find that
rAB r
tB tA = 0
and tA tB = AB
cv c+v
where rAB denotes the length of the moving rodmeasured in the stationary sys-
tem. Observers moving with the moving rod would thus find that the two clocks
were not synchronous, while observers in the stationary system would declare the
clocks to be synchronous.
So we see that we cannot attach any absolute signification to the concept of
simultaneity, but that two events which, viewed from a system of co-ordinates,
are simultaneous, can no longer be looked upon as simultaneous events when
envisaged from a system which is in motion relatively to that system.
reasons of symmetry we are entitled to assume that the motion of k may be such
that the axes of the moving system are at the time t (this t always denotes a time
of the stationary system) parallel to the axes of the stationary system.
We now imagine space to be measured from the stationary system K by means
of the stationary measuring-rod, and also from the moving system k by means
of the measuring-rod moving with it; and that we thus obtain the co-ordinates
x, y, z, and , , respectively. Further, let the time t of the stationary system be
determined for all points thereof at which there are clocks by means of light signals
in the manner indicated in 1; similarly let the time of the moving system be
determined for all points of the moving system at which there are clocks at rest
relatively to that system by applying the method, given in 1, of light signals
between the points at which the latter clocks are located.
To any system of values x, y, z, t, which completely defines the place and time
of an event in the stationary system, there belongs a system of values , , ,
determining that event relatively to the system k, and our task is now to find the
system of equations connecting these quantities.
In the first place it is clear that the equations must be linear on account of the
properties of homogeneity which we attribute to space and time.
If we place x 0 = x vt, it is clear that a point at rest in the system k must have a
system of values x 0 , y, z, independent of time. We first define as a function of x 0 ,
y, z, and t. To do this we have to express in equations that is nothing else than the
summary of the data of clocks at rest in system k, which have been synchronized
according to the rule given in 1.
From the origin of system k let a ray be emitted at the time 0 along the X-
axis to x 0 , and at the time 1 be reflected thence to the origin of the co-ordinates,
arriving there at the time 2 ; we then must have 12 (0 + 2 ) = 1 , or, by inserting
the arguments of the function and applying the principle of the constancy of the
velocity of light in the stationary system:
x0 x0 x0
1 0
(0, 0, 0, t) + 0, 0, 0, t + + = x , 0, 0, t + .
2 cv c+v cv
Hence, if x 0 be chosen infinitesimally small,
1 1 1 1
+ = 0+ ,
2 c v c + v t x c v t
or
v
0
+ 2 = 0.
x c v2 t
It is to be noted that instead of the origin of the co-ordinates we might have
chosen any other point for the point of origin of the ray, and the equation just
obtained is therefore valid for all values of x 0 , y, z.
= 0, = 0.
y z
where a is a function (v) at present unknown, and where for brevity it is assumed
that at the origin of k, = 0, when t = 0.
With the help of this result we easily determine the quantities , , by expres-
sing in equations that light (as required by the principle of the constancy of the
velocity of light, in combination with the principle of relativity) is also propagated
with velocity c when measured in the moving system. For a ray of light emitted at
the time = 0 in the direction of the increasing
v 0
= c or = ac t 2 x .
c v2
But the ray moves relatively to the initial point of k, when measured in the statio-
nary system, with the velocity c v, so that
x0
= t.
cv
If we insert this value of t in the equation for , we obtain
c2
=a x0 .
c2 v2
In an analogous manner we find, by considering rays moving along the two other
axes, that
v 0
= c = ac t 2 x
c v2
when
y
= t, x 0 = 0.
c2 v2
Thus
c c
= a y and = a z.
c2 v2 c2 v2
where
1
= ,
1 v2 /c2
and is an as yet unknown function of v. If no assumption whatever be made as to
the initial position of the moving system and as to the zero point of , an additive
constant is to be placed on the right side of each of these equations.
We now have to prove that any ray of light, measured in the moving system,
is propagated with the velocity c, if, as we have assumed, this is the case in the
stationary system; for we have not as yet furnished the proof that the principle of
the constancy of the velocity of light is compatible with the principle of relativity.
At the time t = = 0, when the origin of the co-ordinates is common to the
two systems, let a spherical wave be emitted therefrom, and be propagated with
the velocity c in system K. If ( x, y, z) be a point just attained by this wave, then
x 2 + y2 + z2 = c2 t2 .
system k were introduced without explicitly defining them. In the 1923 English translation, (X, Y, Z) were
used, creating an ambiguity between X co-ordinates in the fixed system K and the parallel axis in moving
system k. Here and in subsequent references we use when referring to the axis of system k along which
the system is translating with respect to K. In addition, the reference to system K0 later in this sentence
was incorrectly given as k in the 1923 English translation.
such that the origin of co-ordinates of system K0 moves with velocity v on the axis
of . At the time t = 0 let all three origins coincide, and when t = x = y = z = 0
let the time t0 of the system K0 be zero. We call the co-ordinates, measured in the
system K0 , x 0 , y0 , z0 , and by a twofold application of our equations of transformation
we obtain
t0 = (v) (v)( + v/c2 ) = (v)(v)t,
x 0 = (v) (v)( + v ) = (v)(v) x,
0
y = (v) = (v)(v)y,
z0 = (v) = (v)(v)z.
Since the relations between x 0 , y0 , z0 and x, y, z do not contain the time t, the
systems K and K0 are at rest with respect to one another, and it is clear that the
transformation from K to K0 must be the identical transformation. Thus
(v)(v) = 1.
We now inquire into the signification of (v). We give our attention to that part of
the axis of Y of system k which lies between = 0, = 0, = 0 and = 0, =
l, = 0. This part of the axis of Y is a rod moving perpendicularly to its axis with
velocity v relatively to system K. Its ends possess in K the co-ordinates
l
x1 = vt, y1 = , z1 = 0
(v)
and
x2 = vt, y2 = 0, z2 = 0.
The length of the rod measured in K is therefore l/(v); and this gives us the
meaning of the function (v). From reasons of symmetry it is now evident that the
length of a given rod moving perpendicularly to its axis, measured in the stationary
system, must depend only on the velocity and not on the direction and the sense of
the motion. The length of the moving rod measured in the stationary system does
not change, therefore, if v and v are interchanged. Hence follows that l/(v) =
l/(v), or
(v) = (v).
It follows from this relation and the one previously found that (v) = 1, so that
the transformation equations which have been found become
= (t vx/c2 ),
= ( x vt),
= y,
= z,
where p
= 1/ 1 v2 /c2 .
2 + 2 + 2 = R2 .
x2
+ y2 + z2 = R2 .
( 1 v2 /c2 )2
A rigid body which, measured in a state of rest, has the form of a sphere, there-
fore has in a state of motionviewed from the stationary systemthe form of an
ellipsoid of revolution with the axes
p
R 1 v2 /c2 , R, R.
Thus, whereas the Y and Z dimensions of the sphere (and therefore of every
rigid body of no matter what form) do not appear modified by the motion, the
X dimension appears shortened in the ratio 1 : 1 v2 /c2 , i.e. the greater the
value of v, the greater the shortening. For v = c all moving objectsviewed from
the stationary systemshrivel up into plane figures.** For velocities greater than
that of light our deliberations become meaningless; we shall, however, find in what
follows, that the velocity of light in our theory plays the part, physically, of an
infinitely great velocity.
It is clear that the same results hold good of bodies at rest in the stationary
system, viewed from a system in uniform motion.
Further, we imagine one of the clocks which are qualified to mark the time
t when at rest relatively to the stationary system, and the time when at rest
relatively to the moving system, to be located at the origin of the co-ordinates of
k, and so adjusted that it marks the time . What is the rate of this clock, when
viewed from the stationary system?
6 That is, a body possessing spherical form when examined at rest.
** Editors note: In the 1923 English translation, this phrase was erroneously translated as plain figures.
Between the quantities x, t, and , which refer to the position of the clock, we
have, evidently, x = vt and
1
= (t vx/c2 ).
1 v2 /c2
Therefore, p p
=t 1 v2 /c2 = t (1 1 v2 /c2 )t
whence it follows thatthe time marked by the clock (viewed in the stationary
system) is slow by 1 1 v2 /c2 seconds per second, orneglecting magnitudes
of fourth and higher orderby 12 v2 /c2 .
From this there ensues the following peculiar consequence. If at the points A
and B of K there are stationary clocks which, viewed in the stationary system, are
synchronous; and if the clock at A is moved with the velocity v along the line AB
to B, then on its arrival at B the two clocks no longer synchronize, but the clock
moved from A to B lags behind the other which has remained at B by 12 tv2 /c2 (up
to magnitudes of fourth and higher order), t being the time occupied in the journey
from A to B.
It is at once apparent that this result still holds good if the clock moves from A
to B in any polygonal line, and also when the points A and B coincide.
If we assume that the result proved for a polygonal line is also valid for a
continuously curved line, we arrive at this result: If one of two synchronous clocks
at A is moved in a closed curve with constant velocity until it returns to A, the
journey lasting t seconds, then by the clock which has remained at rest the travelled
clock on its arrival at A will be 12 tv2 /c2 second slow. Thence we conclude that a
balance-clock7 at the equator must go more slowly, by a very small amount, than
a precisely similar clock situated at one of the poles under otherwise identical
conditions.
= w , = w , = 0,
Thus the law of the parallelogram of velocities is valid according to our theory
only to a first approximation. We set
2 2
2 dx dy
V = + ,
dt dt
w2 = w2 + w2 ,
a = tan1 w /w , **
a is then to be looked upon as the angle between the velocities v and w. After a
simple calculation we obtain
p
(v2 + w2 + 2vw cos a) (vw sen a/c)2
V= .
1 + vw cos a/c2
It is worthy of remark that v and w enter into the expression for the resultant
velocity in a symmetrical manner. If w also has the direction of the axis of X, we
get
v+w
V= .
1 + vw/c2
It follows from this equation that from a composition of two velocities which are
less than c, there always results a velocity less than c. For if we set v = c , w =
c , and being positive and less than c, then
2c
V=c < c.
2c + /c
It follows, further, that the velocity of light c cannot be altered by composition
with a velocity less than that of light. For this case we obtain
c+w
V= = c.
1 + w/c
We might also have obtained the formula for V, for the case when v and w have
the same direction, by compounding two transformations in accordance with 3. If
in addition to the systems K and k figuring in 3 we introduce still another system
of co-ordinates k0 moving parallel to k, its initial point moving on the axis of **
** Editors note: This equation was incorrectly given in Einsteins original paper and the 1923 English
translation as a = tan1 wy /w x .
** Editors note: X in the 1923 English translation.
with the velocity w, we obtain equations between the quantities x, y, z, t and the
corresponding quantities of k0 , which differ from the equations found in 3 only
in that the place of v is taken by the quantity
v+w
;
1 + vw/c2
from which we see that such parallel transformationsnecessarilyform a group.
We have now deduced the requisite laws of the theory of kinematics correspon-
ding to our two principles, and we proceed to show their application to electrody-
namics.
1 X N M 1 L Y Z
= , = ,
c t y z c t z y
1 Y L N 1 M Z X
= , = ,
c t z x c t x z
1 Z M L 1 N X Y
= , = ,
c t x y c t y x
where (X, Y, Z) denotes the vector of the electric force, and (L, M, N) that of the
magnetic force.
If we apply to these equations the transformation developed in 3, by refe-
rring the electromagnetic processes to the system of co-ordinates there introduced,
moving with the velocity v, we obtain the equations
1 X n v o n v o
= N Y M+ Z ,
c c c
1 n v o L n v o
Y N = N Y ,
c c c
1 n v o n v o L
Z+ M = M+ Z ,
c c c
1 L n v o n v o
= Y N Z+ M ,
c c c
1 n v o n v o X
M+ Z = Z+ M ,
c c c
1 n v o X n v o
N Y = Y N ,
c c c
where p
= 1/ 1 v2 /c2 .
Now the principle of relativity requires that if the Maxwell-Hertz equations for
empty space hold good in system K, they also hold good in system k; that is to
say that the vectors of the electric and the magnetic force(X0 , Y0 , Z0 ) and (L0 , M0 ,
N0 )of the moving system k, which are defined by their ponderomotive effects on
electric or magnetic masses respectively, satisfy the following equations:
1 X0 N0 M0 1 L0 Y0 Z0
= , = ,
c c
1 Y0 L0 N0 1 M0 Z0 X0
= , = ,
c c
1 Z0 M0 L0 1 N0 X0 Y0
= , = .
c c
Evidently the two systems of equations found for system k must express exactly
the same thing, since both systems of equations are equivalent to the Maxwell-
Hertz equations for system K. Since, further, the equations of the two systems
agree, with the exception of the symbols for the vectors, it follows that the functions
occurring in the systems of equations at corresponding places must agree, with the
exception of a factor (v), which is common for all functions of the one system of
equations, and is independent of , , and but depends upon v. Thus we have
the relations
X0 = (v)X, L0 = (v)L,
0
v 0 v
Y = (v) Y N , M = (v) M + Z ,
c c
v v
Z0 = ( v ) Z + M , 0
N = (v) N Y .
c c
(v) = 1,
X0 = X, L0 = L,
v v
Y0 = Y N , M0 = M + Z ,
c c
0
v 0
v
Z = Z+ M , N = N Y .
c c
As to the interpretation of these equations we make the following remarks: Let a
point charge of electricity have the magnitude one when measured in the statio-
nary system K, i.e. let it when at rest in the stationary system exert a force of one
dyne upon an equal quantity of electricity at a distance of one cm. By the principle
of relativity this electric charge is also of the magnitude one when measured in
the moving system. If this quantity of electricity is at rest relatively to the stationary
system, then by definition the vector (X, Y, Z) is equal to the force acting upon it. If
the quantity of electricity is at rest relatively to the moving system (at least at the
relevant instant), then the force acting upon it, measured in the moving system, is
equal to the vector (X0 , Y0 , Z0 ). Consequently the first three equations above allow
themselves to be clothed in words in the two following ways:
1. If a unit electric point charge is in motion in an electromagnetic field, there
acts upon it, in addition to the electric force, an electromotive force which, if we
neglect the terms multiplied by the second and higher powers of v/c, is equal to
the vector-product of the velocity of the charge and the magnetic force, divided by
the velocity of light. (Old manner of expression.)
2. If a unit electric point charge is in motion in an electromagnetic field, the
force acting upon it is equal to the electric force which is present at the locality of
the charge, and which we ascertain by transformation of the field to a system of
co-ordinates at rest relatively to the electrical charge. (New manner of expression.)
The analogy holds with magnetomotive forces. We see that electromotive for-
ce plays in the developed theory merely the part of an auxiliary concept, which
owes its introduction to the circumstance that electric and magnetic forces do not
exist independently of the state of motion of the system of co-ordinates.
for example, X=Y=Z=L=M=0, and N 6= 0, then from reasons of symmetry it is clear that when
8 If,
v changes sign without changing its numerical value, Y0 must also change sign without changing
its numerical value.
X = X0 sen , L = L0 sen ,
Y = Y0 sen , M = M0 sen ,
Z = Z0 sen , N = N0 sen ,
where
1
= t (lx + my + nz) .
c
Here (X0 , Y0 , Z0 ) and (L0 , M0 , N0 ) are the vectors defining the amplitude of the
wave-train, and l, m, n the direction-cosines of the wave-normals. We wish to know
the constitution of these waves, when they are examined by an observer at rest in
the moving system k.
Applying the equations of transformation found in 6 for electric and magnetic
forces, and those found in 3 for the co-ordinates and the time, we obtain directly
X0 = X0 sen 0 , L0 = L0 sen 0 ,
Y0 = (Y0 vN0 /c) sen 0 , M0 = (M0 + vZ0 /c) sen 0 ,
Z0 = (Z0 + vM0 /c) sen 0 , N0 = (N0 vY0 /c) sen 0 ,
0 0 1 0 0 0
= (l + m + n ) ,
c
where
0 = (1 lv/c),
l v/c
l0 = ,
1 lv/c
m
m0 = ,
(1 lv/c)
n
n0 = .
(1 lv/c)
From the equation for 0 it follows that if an observer is moving with velocity
v relatively to an infinitely distant source of light of frequency , in such a way
that the connecting line source-observer makes the angle with the velocity of
the observer referred to a system of co-ordinates which is at rest relatively to the
source of light, the frequency 0 of the light perceived by the observer is given by
the equation
1 cos v/c
0 = .
1 v2 /c2
This is Dopplers principle for any velocities whatever. When = 0 the equation
assumes the perspicuous form
r
1 v/c
0 = .
1 + v/c
We see that, in contrast with the customary view, when v = c, 0 = .
If we call the angle between the wave-normal (direction of the ray) in the moving
system and the connecting line source-observer 0 , the equation for 0 ** assumes
the form
cos v/c
cos 0 = .
1 cos v/c
This equation expresses the law of aberration in its most general form. If = 12 ,
the equation becomes simply
cos 0 = v/c.
We still have to find the amplitude of the waves, as it appears in the moving sys-
tem. If we call the amplitude of the electric or magnetic force A or A0 respectively,
accordingly as it is measured in the stationary system or in the moving system, we
obtain
2 (1 cos v/c)2
A0 = A2
1 v2 /c2
which equation, if = 0, simplifies into
2 1 v/c
A0 = A2 .
1 + v/c
If S is the volume of the sphere, and S0 that of this ellipsoid, then by a simple
calculation
S0 1 v2 /c2
= .
S 1 cos v/c
Thus, if we call the light energy enclosed by this surface E when it is measured in
the stationary system, and E0 when measured in the moving system, we obtain
2
E0 A0 S0 1 cos v/c
= 2 = ,
E A S 1 v2 /c2
and this formula, when = 0, simplifies into
E0
r
1 v/c
= .
E 1 + v/c
It is remarkable that the energy and the frequency of a light complex vary with
the state of motion of the observer in accordance with the same law.
Now let the co-ordinate plane = 0 be a perfectly reflecting surface, at which
the plane waves considered in 7 are reflected. We seek for the pressure of light
exerted on the reflecting surface, and for the direction, frequency, and intensity of
the light after reflexion.
The energy (measured in the stationary system) which is incident upon unit
area of the mirror in unit time is evidently A2 (c cos v)/8. The energy leaving
the unit of surface of the mirror in the unit of time is A0002 (c cos 000 + v)/8. The
difference of these two expressions is, by the principle of energy, the work done by
the pressure of light in the unit of time. If we set down this work as equal to the
product Pv, where P is the pressure of light, we obtain
A2 (cos v/c)2
P = 2 .
8 1 v2 /c2
In agreement with experiment and with other theories, we obtain to a first appro-
ximation
A2
P = 2 cos2 .
8
All problems in the optics of moving bodies can be solved by the method here
employed. What is essential is, that the electric and magnetic force of the light
which is influenced by a moving body, be transformed into a system of co-ordinates
at rest relatively to the body. By this means all problems in the optics of moving
bodies will be reduced to a series of problems in the optics of stationary bodies.
and
X0 Y0 Z 0
0 = + +
= (1 u x v/c2 ).
d2 x
m = eX
dt2
d2 y
m 2 = eY
dt
d2 z
m 2 = eZ
dt
where x, y, z denote the co-ordinates of the electron, and m the mass of the electron,
as long as its motion is slow.
Now, secondly, let the velocity of the electron at a given epoch be v. We seek the
law of motion of the electron in the immediately ensuing instants of time.
Without affecting the general character of our considerations, we may and will
assume that the electron, at the moment when we give it our attention, is at the
origin of the co-ordinates, and moves with the velocity v along the axis of X of the
system K. It is then clear that at the given moment (t = 0) the electron is at rest
relatively to a system of co-ordinates which is in parallel motion with velocity v
along the axis of X.
From the above assumption, in combination with the principle of relativity, it
is clear that in the immediately ensuing time (for small values of t) the electron,
With the help of these equations we transform the above equations of motion
from system k to system K, and obtain
d2 x e
2
= X
dt m3
d2 y e v
= Y N (A)
dt2 m c
d2 z e v
= Z + M
dt2 m c
Taking the ordinary point of view we now inquire as to the longitudinal and
the transverse mass of the moving electron. We write the equations (A) in the
form
d2 x
m3 = eX = eX0 ,
dt2
d2 y v
m2 2 = e Y N = eY0 ,
dt c
2
2d z v
m 2 = e Z + M = eZ0 ,
dt c
and remark firstly that eX0 , eY0 , eZ0 are the components of the ponderomotive
force acting upon the electron, and are so indeed as viewed in a system moving at
the moment with the electron, with the same velocity as the electron. (This force
might be measured, for example, by a spring balance at rest in the last-mentioned
system.) Now if we call this force simply the force acting upon the electron,9 and
9 Thedefinition of force here given is not advantageous, as was first shown by M. Planck. It is
more to the point to define force in such a way that the laws of momentum and energy assume the
simplest form.
This relationship may be tested experimentally, since the velocity of the electron
can be directly measured, e.g. by means of rapidly oscillating electric and magnetic
fields.
2. From the deduction for the kinetic energy of the electron it follows that bet-
ween the potential difference, P, traversed and the acquired velocity v of the electron
there must be the relationship
m 2 1
Z
P = Xdx = c 1 .
e 1 v2 /c2
3. We calculate the radius of curvature of the path of the electron when a mag-
netic force N is present (as the only deflective force), acting perpendicularly to the
velocity of the electron. From the second of the equations (A) we obtain
r
d2 y v2 ev v2
2 = = N 1 2
dt R mc c
or
mc2 v/c 1
R= .
e 1 v2 /c2 N
These three relationships are a complete expression for the laws according to
which, by the theory here advanced, the electron must move.
In conclusion I wish to say that in working at the problem here dealt with I
have had the loyal assistance of my friend and colleague M. Besso, and that I am
indebted to him for several valuable suggestions.
http://www.fourmilab.ch/
1 1
E0 = E1 + L + L,
2 2
1 1 vc cos 1 1 + vc cos
H0 = H1 + L + L
2 1 v2 /c2 2 1 v2 /c2
L
= H1 + .
1 v2 /c2
By subtraction we obtain from these equations
1
H0 E0 (H1 E1 ) = L 1 .
1 v2 /c2
The two differences of the form H E occurring in this expression have simple
physical significations. H and E are energy values of the same body referred to two
systems of co-ordinates which are in motion relatively to each other, the body being
at rest in one of the two systems (system (x, y, z)). Thus it is clear that the difference
H E can differ from the kinetic energy K of the body, with respect to the other
system (, , ), only by an additive constant C, which depends on the choice of the
arbitrary additive constants of the energies H and E. Thus we may place
H0 E0 = K0 + C,
H1 E1 = K1 + C,
1L 2
K0 K1 = v .
2 c2
From this equation it directly follows that:
If a body gives off the energy L in the form of radiation, its mass diminishes by L/c2 .
The fact that the energy withdrawn from the body becomes energy of radiation
evidently makes no difference, so that we are led to the more general conclusion
that
This edition of Einsteins Does the Inertia of a Body Depend upon its Energy-Content
is based on the English translation of his original 1905 German-language paper
(published as Ist die Trgheit eines Krpers von seinem Energiegehalt abhngig?, in An-
nalen der Physik. 18:639, 1905) which appeared in the book The Principle of Relativity,
published in 1923 by Methuen and Company, Ltd. of London. Most of the papers
in that collection are English translations by W. Perrett and G.B. Jeffery from the
German Das Relativatsprinzip, 4th ed., published by in 1922 by Tuebner. All of these
sources are now in the public domain; this document, derived from them, remains
in the public domain and may be reproduced in any manner or medium without
permission, restriction, attribution, or compensation.
The footnote is as it appeared in the 1923 edition. The 1923 English translation
modified the notation used in Einsteins 1905 paper to conform to that in use by the
1920s; for example, c denotes the speed of light, as opposed the V used by Einstein
in 1905. In this paper Einstein uses L to denote energy; the italicised sentence in
the conclusion may be written as the equation m = L/c2 which, using the more
modern E instead of L to denote energy, may be trivially rewritten as E = mc2 .
This edition was prepared by John Walker. The current version of this document
is available in a variety of formats from the editors Web site:
http://www.fourmilab.ch/
Frmulas
~u (~u ~v ) = 0 (F.1.1)
~u (~v w ~ ) = (~u w
~ )~v (~u ~v )~
w (F.1.2)
(~u ~v ) (~
w ~z ) = (~u w~ )(~v ~z ) (~u ~z )(~v w
~) (F.1.3)
~u (~v w~ ) = ~v (~
w ~u ) = w ~ (~u ~v ) (F.1.4)
~ (~u ~v ) = ~v (
~ ~u ) ~u (
~ ~v ) (F.2.1)
~ (~u ~v ) = (~u
~ )~v + (~v
~ )~u + ~u (
~ ~v ) + ~v (
~ ~u ) (F.2.2)
~ ( f ~u ) =
~ f ~u + f
~ ~u (F.2.3)
~ ( f ~u ) =
~ f ~u + f ~ ~u (F.2.4)
~ (~u ~v ) = ~u (
~ ~v ) ~v (
~ ~u ) + (~v
~ )~u (~u
~ )~v (F.2.5)
~ (
~ ~v ) =
~ (
~ ~v )
~ 2~v (F.3.1)
~ (
~ G~)=0 (F.3.2)
~ (
~ G) = 0 (F.3.3)
~ (f
~ g) =
~ f
~ g + f
~ 2g (F.3.4)
~ ~x = 0
(F.4.1)
~ ~x = 3
(F.4.2)
~ 1 = x
(F.4.3)
|~x | |~x |2
~ 2 1 = 43 (~x )
(F.4.4)
|~x |
~ ~x =
~ 2 1 = 43 (~x ) (F.4.5)
|~x | 3 |~x |
~ |~x | = x
(F.4.6)
Laplaciano en esfricas:
~ 2 f = 1 r (r 2 r f ) +
1
(sen f ) + 2
1
2 f (F.6.1)
r 2 2
r sen r sen2
~ 2 f = 1 r (rr f ) + 1 2 f
(F.6.2)
r r