Escolar Documentos
Profissional Documentos
Cultura Documentos
Electrodinmica Clsica
Luis J. Garay
Madrid, 12 de julio de 2005
Luis J. Garay
luis.garay@fis.ucm.es
Tel.: + 34 913944552, Fax: + 34 913944557
Prefacio
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.
No me hago responsable de los errores que puedan contener estas notas ni
del uso que hagis de las mismas. La bibliografa pertinente es, sin duda, el
medio ms adecuado para obtener los conocimientos necesarios.
Son una notas incompletas cuyo contenido no va ms all de los temas tratados en la asignatura de Electrodinmica clsica, grupo C, durante el ao
acadmico 200405.
Agradecera que me comunicaseis cualquier errata que pudieseis encontrar. Sin
duda alguna, sern muchas. De hecho, quiero dar las gracias a los alumnos de
los cursos 2003/04 y 2004/05 por haber contribuido notablemente a disminuir el
nmero de errores.
Recibid un saludo de mi parte,
03
Bibliografa
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, Dover, 1980.
V.V. Batyguin, I.N. Toptygin, Problems in Electrodynamics, Academic Press,
1978.
Complementaria
J.D. Jackson, Electrodinmica clsica, 2a ed., Alhambra Universidad, 1980.
05
Bibliografa
S.M. Carroll, Lecture notes on general relativity, Captulo 1
http://es.arxiv.org/abs/gr-qc/9712019.
06
ndice
1. Ecuaciones de Maxwell
11
13
13
14
14
14
15
16
16
18
18
19
1.3.3. Polarizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
07
ndice
2. Teora especial de la relatividad
21
23
23
24
26
26
27
2.2.1. Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
29
ndice
2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
3. Partculas cargadas y campos electromagnticos
31
33
33
35
35
38
38
39
41
43
43
45
09
ndice
4.2. Reaccin de la radiacin . . . . . . . . . . . . . . . . . . . . . . . . . . 413
4.2.1. Estimacin de los efectos radiativos . . . . . . . . . . . . . . . 413
4.2.2. Fuerza de reaccin radiativa . . . . . . . . . . . . . . . . . . . 414
4.2.3. Renormalizacin electrodinmica de la masa . . . . . . . . . . 415
4.3. Radiacin multipolar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 417
4.3.1. Radiacin dipolar elctrica . . . . . . . . . . . . . . . . . . . . 418
4.3.2. Radiacin dipolar magntica y cuadrupolar elctrica . . . . . 419
4.3.3. Intensidad de radiacin multipolar . . . . . . . . . . . . . . . 420
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
A. Tensores
A1
I.
II.
010
B1
Kinematical part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B4
1.
Definition of Simultaneity . . . . . . . . . . . . . . . . . . . . . B4
2.
3.
4.
5.
7.
ndice
8.
9.
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account . . . . . . . . . . . . . . . . . B24
10.
F. Frmulas
011
Tema 1
Ecuaciones de Maxwell
1.1. Ecuaciones de Maxwell
1.1.1. Ecuaciones de Maxwell en el vaco
1.1.2. Condiciones de empalme en una superficie
1.2. Leyes de conservacin
1.2.1. Conservacin de carga
1.2.2. Conservacin de energa. El teorema de Poynting
1.2.3. Conservacin de momento. Tensor de tensiones de Maxwell
1.2.4. Propiedades de transformacin
1.3. Ondas planas libres
1.3.1. Ecuacin de onda para ~E y ~B
1.3.2. Ondas planas
1.3.3. Polarizacin
1.3.4. Flujo y densidad de energa
1.4. Guas de ondas
1.4.1. Modos TEM
1.4.2. Modos TE y TM
1.4.3. Potencia y energa
1.5. Potenciales electromagnticos
1.5.1. Ecuacin de onda para el potencial electromagntico
1.5.2. Condicin de gauge de Lorenz
1.5.3. Solucin de la ecuacin de onda. Funciones de Green
1.6. Ejercicios
11
1.1.
Ecuaciones de Maxwell
1.1.1.
~ ~E = 1 ,
2
~ ~B c t ~E = 0~j,
~ ~E + t ~B = 0,
~ ~B = 0,
(1.1a)
(1.1b)
(1.1c)
(1.1d)
donde ~v es su velocidad. Si consideramos densidades, como hasta ahora, la densidad de fuerza es:
~f = ~E + ~j ~B = (~E + ~v ~B).
Las leyes de la electrosttica y de la magnetosttica se obtienen cuando los
campos son independientes del tiempo, es decir, cuando t ~E = t ~B = 0. Entonces,
las ecuaciones de Maxwell se desacoplan: sin dependencia temporal, los campos
elctrico y magntico son independientes.
La densidad de corriente ~j(~x, t), la densidad de carga (~x, t) y el campo de
velocidades ~v(~x, t) satisfacen la relacin
~j = ~v.
Para una carga puntual q, que en el instante t se halla en la posicin ~x0 y que se
mueve con velocidad ~v, las densidades de carga y de corriente son:
(~x, t) = q(~x ~x0 ),
notas edc (v. 1.0)
1.1.2.
~ s| = 1 y sea n =
~ s su normal. Esta
Sea s(~x ) = 0 una superficie tal que |
superficie puede tener una densidad superficial de carga y una densidad superficial de corriente K. En esta seccin, relacionaremos el campo electromagntico en
un lado de la superficie con el campo en el otro lado.
Las densidades de carga y de corriente se pueden escribir
(~x, t) = + (~x, t) [s(~x )] + (~x, t) [s(~x )] + (~x, t)[s(~x )],
~j(~x, t) = ~j+ (~x, t) [s(~x )] + ~j (~x, t) [s(~x )] + K
~ (~x, t)[s(~x )],
y los campos
~ (~x, t) = C
~ + (~x, t) [s(~x )] + C
~ (~x, t) [s(~x )],
C
donde (s) es la funcin de Heaviside:
(
0
(s) =
1
si
si
~ = ~E, ~B,
C
s<0
s > 0.
~ 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 ,
~
n (~B+ ~B ) = 0 K,
n (~E+ ~E ) = 0,
n (~B+ ~B ) = 0.
1.2.
Leyes de conservacin
1.2.1.
Conservacin de carga
(1.4a)
(1.4b)
(1.4c)
(1.4d)
La distribucin de carga debe satisfacer la ecuacin de continuidad, que se obtiene manipulando las ecuaciones de Maxwell:
~ ~j = 0.
t +
14
1.2.2.
(1.5)
donde
~S = 1~E ~B
0
es el llamado vector de Poynting y representa el flujo de energa electromgnetica.
Ejercicio 1.2.3 Obtener este resultado.
15
1.2.3.
donde
f i = t Si /c2 + k T ik ,
(1.7)
1
1
T ij = 0 ( Ei E j ij ~E2 ) + 01 ( Bi B j ij ~B2 ).
2
2
(1.8)
En la ecuacin (1.7) y en el futuro, utilizaremos el convenio de sumacin de Einstein: dos ndices repetidos, uno arriba y otro abajo, suponen una suma sobre todos
los posibles valores del mismo. Por ejemplo, i i = 3i=1 i i .
Podemos interpretar la ecuacin (1.7) como una ley de conservacin del momento. En efecto, ~f es la densidad de fuerza y por tanto, representa la variacin
temporal de la densidad de momento mecnico ~p de un sistema de cargas. ~S/c2
se interpreta como la densidad de momento del campo electromagntico y T ij es
el tensor de tensiones del campo electromagntico. As, la ecuacin (1.7) nos dice que la variacin en el momento total ~p + ~S/c2 se debe a un flujo de momento
representado por la divergencia del tensor de tensiones.
1.2.4.
Propiedades de transformacin
17
S-escalar,
T+.
~ A,
~ De ~B =
~ vemos que A
~ es un vector bajo rotaciones. Bajo reflexiones,
A.
~ s. Por tanto, A
~ es un vector bajo reflexiones. Puesto que ~B
~B no cambia y
~ no, A
~ s lo hace.
cambia de signo bajo inversin temporal y
~
A:
R-vector,
S-vector,
T.
R-vector,
S-vector,
T.
R-escalar,
S-escalar,
T+.
R-tensor,
S-tensor,
T+.
1.3.
1.3.1.
~ 2~B + c2 2t ~B = 0.
1.3.2.
Ondas planas
1.3.3.
c~B = k ~E.
(1.11)
Polarizacin
~E = E2 e2 ,
~B = c1 E2 e1 .
19
(1.12)
1.3.4.
El vector de Poynting es
1
0~S = Re~E Re~B = (~E + ~E ) (~B + ~B )
4
1~ ~ 1~ ~ 1~ ~ 1~ ~
= EB+ EB + E B+ E B
4
4
4
4
1
1
= Re(~E ~B) + Re(~E ~B ).
2
2
Los campos ~E y ~B tienen una dependencia temporal eit . Por tanto, al calcular un
promedio temporal, el primer trmino se anula por ser oscilante e2it y nos queda
solo el segundo trmino:
1
h~Sit =
Re(~E ~B ).
20
110
u=
y, por tanto, en el promedio temporal, el primer trmino se anula por ser oscilante:
1
huit = ( 0~E ~E + 01~B ~B ).
4
As, para una onda plana (1.9),
h~Sit =
1 ~ ~
( E E )k,
20 c
huit =
1 ~ ~
EE
20 c2
1.4.
Guas de ondas
Consideremos una cavidad hueca infinita en una de las dimensiones y con paredes conductoras. Sea ez la direccin hueca. Entonces, el campo electromagntico
satisface la ecuacin de onda en el interior de la gua
~ 2C
~ +
~ = 0,
c2 2t C
~ = ~E, ~B,
C
junto con las condiciones de contorno en las paredes del conductor obtenidas de
(1.4):
~Ek |S = ~B |S = 0,
(1.13)
donde k y indican las componentes paralela y perpendicular a la superficie del
conductor respectivamente. En efecto, dentro del conductor, las cargas se mueven
libremente y adaptan su posicin y velocidad para que ~E = ~B = 0. En la superficie,
tienen menos libertad (solo sobre la superficie y hacia el interior) y hacen que
las densidades superficiales de carga y de corriente se adapten a las condiciones
notas edc (v. 1.0)
111
~ (~x, t) = C
~ 0 ( x, y)ei(kzt) ,
C
~ 0 queda
de forma que la ecuacin de onda para C
~ 2t C
~ 0 + ( 2 /c2 k2 )C
~ 0 = 0,
(1.14)
~ 2t =
~ 2 2z . Las condiciones de contorno para
donde el laplaciano transversal es
~ 0 son las mismas que para C
~ (ecuacin 1.13). Si solo
la ecuacin de onda para C
~ t y no el operador z , podemos eliminar la prima (0 ) de C
~ puesto que
utilizamos
los resultados no se ven afectados por la multiplicacin por el factor ei(kzt) .
Adems, es conveniente separar las componentes longitudinales y transversales de
los campos elctrico y magntico:
~ =C
~ t + Cz ez .
C
1.4.1.
Modos TEM
(1.15)
con la condicin de contorno ~Etem,k |S = 0 y, por tanto, ~Etem es solucin del problema electrosttico bidimensional. El campo magntico se obtiene tambin mediante
sustitucin de ~B = ~Btem en la ecuacin de Maxwell (1.1b) en vaco:
~Btem = c1 ez ~Etem ,
que obviamente satisface la condicin de contorno ~Btem, |S = 0
Ejercicio 1.4.1 Obtener estos resultado mediante sustitucin directa en las ecuacio~ =C
~ tem .
nes de Maxwell de C
Si calculamos el rotacional de la primera ecuacin de (1.15) y hacemos uso de la
~ 2t~Etem = 0, de manera que
frmula (F.3.1) y de la segunda ecuacin, obtenemos
la ecuacin (1.14) tambin nos indica que = ck, como en un medio infinito.
112
1.4.2.
Modos TE y TM
A partir de las ecuaciones de Maxwell se pueden obtener las siguientes expresiones para los campos transversales en funcin de los longitudinales:
~ t Ez ez
~ t Bz ),
~Et = i2 (k
~ t Bz + ( 2 /c2 )ez
~ t Ez ],
~Bt = i2 [k
(1.16a)
(1.16b)
donde 2 = 2 /c2 k2 .
Adems, se pueden obtener condiciones de contorno para los campos longitudinales 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.17)
~ t Ez ,
ik~Et + i ez ~Bt =
~ t ~Et ) = iBz ,
ez (
~ t Bz ,
ik~Bt i (/c2 )ez ~Et =
~ t ~Bt ) = i (/c2 ) Ez ,
ez (
~ t ~Et = ikEz ,
~ t ~Bt = ikBz .
(1.18a)
(1.18b)
(1.18c)
(1.18d)
(1.18e)
(1.18f)
113
en toda la gua,
Ez |S = 0
(TM)
en toda la gua,
n Bz |S = 0
(TE).
Una vez conocidos ( Ez , Bz ) 6= 0 podemos calcular ~Et y ~Bt a partir de las ecuaciones
(1.16). De estas ecuaciones, vemos que, tanto para los modos TE como para los TM,
los campos elctrico y magntico estn relacionados:
~Bt = 0 ez ~Et ,
Z
donde Z es la impedancia de la onda
(
k/( 0 )
(TM)
Z=
0 /k
(TE).
(1.19)
As, basta con conocer uno de ellos para tener una solucin completa.
Las ecuaciones (1.16) nos permiten determinar las componentes transversales a
partir de Ez y Bz :
~ t Ez
~Et = ik
2
(TM),
~ t Bz
~Bt = ik
2
(TE).
(1.20)
~ 2t + 2 )Cz = 0
(
y est sujeta a las condiciones de contorno
Ez |S = 0
(TM),
n Bz |S = 0
(TE).
1.4.3.
Potencia y energa
h~Sit =
notas edc (v. 1.0)
1 ~
( Etem ~Etem
)k,
20 c
huit =
1 ~
Etem ~Etem
20 c2
115
h~Sit /huit = c.
Para ondas TM, Bz = 0, usamos las expresiones (1.19) y (1.20), junto con la
frmula (F.1.2) y obtenemos
k2
~ t Ez |2 ez + i (2 /k) Ez
~ t Ez ].
[|
24 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:
h~Sit =
k2
~ t Ez
~ t Ez d2~xt .
P=
24 Z t
t
R
H
~ t ~u d2~xt =
u dlt , podemos
Teniendo en cuenta la frmula (F.3.4) y que t
t n ~
escribir
I
Z
k2
2
2
~ t Ez d ~xt
~ t Ez )dl
E (n
Ez
P=
24 Z t z
t
I
Z
k2
~ 2
2
= 4
E (n Ez ) dl
Ez t Ez d ~xt .
2 Z t z
t
Z
h~Sit ez d2~xt =
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
q
Z
c 0 2
2
P=
1 (n / )
| Ez |2 d2~xt
(TM).
2
n
t
c
1 (n / )2
| Bz |2 d2~xt
P=
20 n
t
Ejercicio 1.4.5 Obtener este resultado.
(TE).
Por ltimo, es muy fcil calcular el promedio de la densidad de energa por unidad
de longitud. El resultado es:
1
q
Z
2
2
U = huit d ~xt = c 1 (n / )
P.
Ejercicio 1.4.6 Obtener este resultado.
Teniendo en cuenta que de la relacin de dispersin (1.21) obtenemos una velocidad
p
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 precisamente
la velocidad de grupo:
P/U = v g .
116
1.5.
Potenciales electromagnticos
~
Las ecuaciones (1.1c) y (1.1d) son estructurales e implican que existen y A
definidos localmente tales que
~ t A,
~
~E =
~ A.
~
~B =
(1.22)
~ f,
~0 = A
~ +
A
(1.23)
1.5.1.
Al escribir el campo electromagntico en trminos de potenciales las ecuaciones estructurales de Maxwell se convierten en identidades y solo nos quedan las
dos ecuaciones que relacionan las fuentes con el campo escrito en trminos de los
potenciales.
~ 2 = / 0 t (
~ A
~ ),
~ t .
~ 2A
~
~ A
~ c2 2t A
~ (
~ ) = 0~j + c2
Una sencilla manipulacin de estas ecuaciones nos permite reescribirlas de la siguiente manera:
~ A
~ 2 = 1 + t (
~ + c 2 t ),
c2 2t
0
~ 2A
~
~ A
~
~ = 0~j (
~ + c 2 t ).
c2 2t A
Estas ecuaciones son equivalentes a las ecuaciones de Maxwell. Son cuatro ecuaciones de segundo orden frente a las ocho de primer orden que son las ecuaciones
de Maxwell. Adems, son invariantes bajo transformaciones de gauge (1.23).
notas edc (v. 1.0)
117
1.5.2.
~ A
~ + c2 t = 0,
~ 2 A = 0 j .
c2 2t A +
(1.26)
~ ) y j = (c,~j).
A = (/c, A
donde = 0, 1, 2, 3,
Todava queda una arbitrariedad adicional puesto que aquellas transformaciones gauge tales que f satisface
~ 2 f c2 2t f = 0
siempre se puede imponer, es decir, si dada una configuracin Ano que no satisface
la condicin de Lorenz, puede encontrarse mediante transformaciones gauge una
nueva configuracin A que s la satisfaga. En otras palabras, nos preguntamos si
existe una funcin f tal que
= no t f ,
~ f,
~ =A
~ no +
A
~ A
~ + c2 t = 0.
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 = (
~ A
~ no + c2 t no ).
Dado que esta ecuacin diferencial para f siempre tiene solucin, la condicin de
Lorenz siempre se puede imponer.
Existen otras formas de fijar el gauge que discutiremos posteriormente:
Gauge de Coulomb:
Gauge temporal:
Gauge axial:
118
~ A
~ = 0,
= 0,
A3 = 0
notas edc (v. 1.0)
1.5.3.
A (~x, t) =
A0 (~x, t) + 0
(1.28)
(1.29)
(1.30)
ei (r/c)
( r/c)
=
.
r
4r
119
(t0 t0 )
,
4 |~x ~x 0 |
G = + G+ + G .
~ 2 ) G =
(c2 2 +
1
~ 2 ) + 1
~
~ 1 + 1
~ 2 1,
(2 +
2
2
r 4
r
4c r
~ = c1 r ,
~ 2 = c2 2 2 ,
cr
obtenemos
1
3 (~r ).
cr2
Si integramos este resultado en todo el tiempo y en un pequeo volumen V alrededor 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.28)
Z
~ 2 ) G = 1
dd3~r (c2 2 +
~ 2 ) G =
(c2 2 +
A (~x, t) = 0
= + 0
j (~x 0 , t0+ )
d ~x
+ 0
4 |~x ~x 0 |
3 0
d3~x 0
j (~x 0 , t0 )
.
4 |~x ~x 0 |
0 , t0 )
+
,
|~x ~x 0 |
x
3 0 (~
d ~x
~ + (~x, t) = 0
A
4
d3~x 0
~j(~x 0 , t0+ )
.
|~x ~x 0 |
Conviene, por ltimo, recordar que estos potenciales han sido obtenidos en el gauge de Lorentz.
121
1.6. Ejercicios
1.6.
Ejercicios
~Bm = 0 qm ~x .
4 |~x |3
a. Demostrar que este campo es incompatible con las ecuaciones de Maxwell.
Un cierto solenoide rectilneo semiinfinito colocado en el semieje ez positivo genera
~Bs = 0 qm ( x )(y) (z)ez .
un campo magntico
b. Demostrar que si aadimos este campo al del monopolo, la incompatibilidad
anterior desaparece.
1.2 Si existiesen cargas magnticas, como en el problema 1.1, las ecuaciones de Maxwell tendran la siguiente forma:
~E = e / 0 ,
~B = 0 m ,
~E + t ~B = 0~J m ,
~B c2 t ~E = 0~J e .
ce 0 = ce cos + m sen ,
c~J e 0 = c~J e cos + ~J m sen ,
m 0 = ce sen + m cos ,
~J m 0 = c~J e sen + ~J m cos .
b. Determinar y explicar el carcter (escalar, vectorial, etc.) bajo rotaciones propias, reflexiones espaciales e inversin temporal de las todas siguientes cantidades electromagnticas involucradas. dem con la conjugacin de carga
q q0 = q.
1.3 Demostrar las siguientes afirmaciones:
a. Para un sistema estacionario con una densidad de corriente ~j(~x ), la energa
total del campo magntico puede escribirse de la siguiente forma:
U=
0
8
d3~x d3~x 0
~j(~x ) ~j(~x 0 )
.
|~x ~x 0 |
123
1
Li Ii2 + Mij Ii Ij .
2 i
i j <i
(2 + K2 )~E( ) = 0
y calcular K en funcin de los parmetros del problema, es decir, y .
1.6. Ejercicios
1.7 Sea una gua de ondas de seccin rectangular de lados a en la direccin ex y
b en la direccin ey con a < b cuyas paredes son conductores perfectos. Se sabe
que el modo fundamental es de tipo TE y que la componente en la direccin ex del
campo elctrico es Ex = E0 sen(y/b)ei(kzt) , donde E0 es una constante.
a. Obtener la componente Ey del campo elctrico.
b. Calcular la frecuencia mnima de propagacin de este modo.
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.
a. Obtener la componente Ex del campo elctrico.
b. Calcular la frecuencia mnima de propagacin de este modo.
c. Encontrar el campo magntico ~B.
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.
125
~ = ey A0 exp i (k x x + k y y t).
A
Determinar:
a. El potencial escalar en el gauge de Lorentz.
b. La transformacin gauge que transformara los potenciales anteriores en los
correspondientes al gauge de Coulomb (o de radiacin).
1.14 Calcular los potenciales escalar y vector creados por una carga puntual en
movimiento.
1.15 Si a una placa conductora se le aplica un campo elctrico tangencial y un
campo magntico transversal, aparece una componente de campo elctrico en la
direccin perpendicular a ambos y lineal en la densidad de corriente (efecto Hall).
Demostrar, estudiando el carcter de las cantidades involucradas bajo rotaciones
y reflexiones, que la generalizacin de la ley de Ohm para un conductor istropo
sometido a estos campos es
126
Tema 2
21
22
2.1.
2.1.1.
|~x20 (t2 ) ~x10 (t1 )|2 = |~x2 (t2 ) ~x1 (t1 )|2 + v2 (t2 t1 )2
2(t2 t1 )~v (~x2 (t2 ) ~x1 (t1 )).
notas edc (v. 1.0)
23
~0 =
V
d~x 0
dt
d~x
dt
2
+ v2 2~v
d~x
~ ~v.
=V
dt
2.1.2.
Transformaciones de Lorentz
(2.1)
En otro SRI, estos dos sucesos estarn caracterizados por sus coordenadas ~x10 y ~x20
y los instantes en que se producen t10 y t20 respectivamente. Como la velocidad de
propagacin de la seal es tambin c, se satisface la relacin
(2.2)
Nos preguntamos cul es la transformacin de coordenadas y tiempos que satisfacen la condicin de invariancia que acabamos de exponer. Probemos con una
transformacin lineal (existen razones para justificar esta eleccin, adems del resultado). Los coeficientes solo pueden depender de ~v, la velocidad relativa de los
dos sistemas de referencia inerciales, que supondremos, por sencillez y sin prdida
Teniendo en cuenta que el origen ~x 0 = 0
de generalidad, que es de la forma ~v = v x.
24
z0 = z,
v
,
c2
a==
1
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.
donde 1 =
t0 = (t c2~v ~x ),
(2.3a)
~x 0 = ~x + ( 1)(v ~x )v ~vt,
(2.3b)
25
2.1.3.
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
~ de V
~ = Vk v + V
~ :
~v y la componente perpendicular V
Vk0 =
2.1.4.
Vk v
1 c2 vVk
~ 0 =
V
~
V
.
(1 c2 vVk )
Elemento de lnea
Ejercicio 2.1.4 Demostrar que esta cantidad tambin es invariante bajo las transformaciones 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~x2 ,
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.
26
El tiempo propio es siempre menor que el tiempo medido en cualquier otro sistema
de referencia inercial.
2.2.
Espaciotiempo de Minkowski
2.2.1.
Tensores
Dado un sistema de referencia inercial, las coordenadas de un suceso espaciotemnporal (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 elemento de lnea entre dos sucesos prximos se puede escribir
ds2 = (dx0 )2 + (dxi )2
i
27
x 0 = x .
0 = .
Definimos tambin un vector covariante como aquel que se transforma de acuerdo con una transformacin de Lorentz inversa
0 = (1 ) .
Finalmente, un tensor se transforma como vector contravariante o covariante en
cada uno de sus ndices. Un escalar no se transforma bajo una transformacin de
Lorentz, es decir, es un escalar si y solo si 0 = .
28
(2.4)
= ,
de manera que
0 = 0 ,
i = ij j .
(1 ) = .
Por tanto, el tensor mtrico se puede utilizar para subir y bajar ndices. Conviene notar que ij = ij y que los ndices espaciales (latinos) se suben y bajan tanto
con la mtrica eucldea ij como con ij , gracias a que hemos escogido la signatura
(, +, +, +).
Dado un tensor , llamamos contraccin de ndices a la operacin del
clculo de su traza
.
=
2.2.2.
El tensor de Levi-Civita
e
=
1, si los ndices son una permutacin impar de 0123
0,
si hay dos ndices repetidos
notas edc (v. 1.0)
29
e e = 4!,
e e = 3! ,
e e = 2! [ ] ,
e e = 1! [ ] .
2.2.3.
Hipersuperficies espaciales
Una hipersuperficie (tridimensional) es de gnero espacio si y solo si la separacin entre dos puntos cualesquiera de la superficie es espacial. Esta condicin
es equivalente a exigir que la normal a la hipersuperficie sea de gnero tiempo en
todo punto, es decir, n ( x )n ( x ) = 1 x .
Ejercicio 2.2.5 Demostrarlo.
Recordemos que una hipersuperficie est definida en implcitas mediante
F ( x ) = 0 y que la normal es n = F/|F |. Puesto que n es un vector, el carcter
espacial de una hipersuperficie se preserva bajo transformaciones de Lorentz. As,
las hipersuperficies de t =constante son de gnero espacio pues n = (1, 0, 0, 0) y
n n = 1.
2.2.4.
Derivacin
Definimos el gradiente cuadridimensional como el operador que actuando sobre funciones da un vector covariante cuyas componentes son:
~ f ).
f = f /x = (0 f , i f ) = (c1 t f ,
~ 2.
= = c2 2t +
Este operador se transforma como un escalar.
Ejercicio 2.2.7 Demostrarlo.
2.2.5.
Integracin
2.2.5.1.
Sea x (u1 , u2 ) una superficie bidimensional. El elemento de rea estar determinado por el rea del paralelogramo formado por los dos vectores tangentes ca
nnicos infinitesimales dv1 = 1 x du1 y dv2 = 2 x du2 . De la geometra elemental,
sabemos que el rea de tal paralelogramo es igual al producto de los mdulos de
los dos vectores y por el seno del ngulo que forman:
donde cos = dv1 dv2 /|dv1 ||dv2 |. Esta expresin para el rea infinitesimal se puede reescribir de la siguiente manera:
dS2 = |dv1 |2 |dv2 |2 (1 cos2 ) = [|dv1 |2 |dv2 |2 (dv1 dv2 )2 ]
dS = e dv1 dv2
notas edc (v. 1.0)
211
Aunque en esta derivacin del elemento de superficie hemos supuesto implcitamente que los vectores tangentes no son de gnero luz, la expresin final es
tambin vlida en este caso.
2.2.5.3.
formado por los tres vectores tangentes cannicos infinitesimales dv1 = 1 x du1 ,
T d x =
T d .
M
T d =
1
2
T dS .
2.2.6.
T dS =
T dx .
S
Cuadrivelocidad y cuadriaceleracin
dx
x .
d
Denotaremos las derivadas con respecto al tiempo propio con un punto: d/d.
A menudo, compararemos un sistema de referencia inercial cualquiera con el
sistema de referencia propio cuya velocidad ~v con respecto al sistema de referencia
inercial original es la misma que la de la partcula. As, u = (c, ~v). Obviamente,
213
d2 x
du
=
.
d
d 2
~a0 =
ak
3
(1 c2 vVk )3
~
vak V
~a
+
.
2 (1 c2 vVk )2 c2 2 (1 c2 vVk )3
Ejercicio 2.2.13 Demostrar que la velocidad y la aceleracin satisfacen las siguientes propiedades:
u u = c2 ,
u b = 0,
es decir, el cuadrado de la velocidad es un invariante constante y la velocidad y la
aceleracin son perpendiculares.
Ejercicio 2.2.14
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.
2.3.
Grupo de Poincar
2.3.1.
Grupo de traslaciones
x .
[ P , P ] = 0.
2.3.2.
Grupo de Lorentz
El grupo de Lorentz est formado por todas las matrices que satisfacen la
ecuacin (2.4) y que, en particular, implica que det( ) = 1. Puesto que la transformacin unidad tiene determinante 1, todas las transformaciones propias tienen
tambin determinante 1. Adems, no pueden contener reflexiones ni temporales ni
espaciales y, por tanto, 00 > 0. Por otro lado, la ecuacin (2.4) proporciona diecisis condiciones sobre las diecisis posibles componentes de . Sin embargo, es
claro que no todas son independientes: por ejemplo, la ecuacin para , = 0, 1
es la misma que para , = 1, 0. Las ecuaciones independientes son las cuatro
que corresponden a = ms las tres correspondientes , = 0, i ms las dos de
, = 1, i 2 ms , = 2, 3. En total son diez ecuaciones para diecisis parmetros. Nos quedan seis parmetros libres.
En esta seccin, se introducirn los generadores infinitesimales del grupo de Poincar que
llamaremos momento y momento angular, si bien estos operadores no tendrn las dimensiones
adecuadas. Sin embargo, bastar con multiplicarlos por una constante con dimensiones de momento
angular como }, para obtener operadores con las dimensiones adecuadas.
215
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 ) = = +
y, por tanto, hasta primer orden en ,
= (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 .
Podemos describir las transformaciones de Lorentz en trminos de operadores,
como la que que hemos utilizado en el caso de las traslaciones. Consideremos para
(2.6)
~
~
~
~
= i ( Ki + k L ) x = i ( L + K ) x ,
donde hemos definido los nuevos operadores
1 ijk
e L jk ,
2
que satisfacen las reglas de conmutacin
Li =
[ Li , L j ] = iekij Lk ,
Ki = L0i ,
[ Li , K j ] = iekij Kk ,
[Ki , K j ] = iekij Lk .
(n ~L)3 = n ~L,
~ )3 = n K.
~
(n K
~ = v arctanh(v/c).
notas edc (v. 1.0)
217
cosh sinh 0 0
sinh cosh 0 0
( ) =
,
0
0
1 0
0
0
0 1
( )
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.
Adems de los operadores L de momento angular orbital que hemos descrito
hasta ahora, existen otros operadores S que, aunque no admiten una descripcin
en trminos de la posicin y del momento, es decir, de la derivada con respecto
a la posicin, satisfacen las mismas reglas de conmutacin. Ms an, puesto que
no dependen de la posicin, estos operadores S de espn conmutan con el operador de momento angular orbital. As, podemos construir el operador de momento
angular total M que es la suma del momento angular orbital L y el espn o
momento angular intrnseco S , cuyas reglas de conmutacin son obviamente las
ya descritas.
Finalmente, las reglas de conmutacin entre los generadores de las traslaciones
P y los generadores de las transformaciones de Lorentz son fciles de obtener y
reflejan el hecho de que P es un vector bajo transformaciones de Lorentz.
Ejercicio 2.3.5 Obtener las reglas de conmutacin de todos los generadores del
grupo de Poincar.
218
0 0 0 0
0 0 0 0
0 0 0 i
0 0 0 0
L1 =
, L2 =
,
0 0 0 0
0 0 0 i
0 0 i 0
0 i 0 0
0 i 0 0
0 0 i 0
i 0 0 0
0 0 0 0
K1 =
K2 =
,
,
0 0 0 0
i 0 0 0
0 0 0 0
0 0 0 0
L3 =
0
0
0
0
0 0
0 i
i 0
0 0
0 0
0 0
K3 =
0 0
i 0
0
0
0
0
i
0
0
0
0
0
,
0
0
Li x = ( Lmat
i ) x ,
op
Ki x = (Kimat ) x ,
~
y que satisfacen las mismas reglas de conmutacin que los operadores ~L y K.
2.3.3.
Operadores de Casimir
P P = =
es un operador de Casimir puesto que es invariante bajo todo el grupo de Poincar.
Para encontrar sus autovalores, basta con imponer condiciones de contorno
adecuadas sobre los campos ( x ) que definen nuestro sistema. Una condicin
de contorno natural es que los sistemas tengan una extensin finita, es decir, que
(t, xi = ) = 0. Mediante separacin de variables, obtenemos inmediatamente
un espectro continuo de autovalores m2 c2 positivos (ver nota 1). Veremos que m es
la masa del sistema.
Para encontrar otro casimir independiente, supongamos que el casimir
P P 6= 0, es decir, que la masa m es no nula. Entonces, definimos el operador
notas edc (v. 1.0)
219
1 ijk
e S jk .
2
Los autovalores de este operador de Casimir son de la forma m2 c2 s(s + 1), siendo 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 transformaciones 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 proporcionales. Si llamamos helicidad h al operador que establece la proporcionalidad,
entonces tenemos W = hP . El clculo de la helicidad es sencillo: puesto que
W0 = ~
P ~S = hP0 , obtenemos inmediatamente que
h=~
P ~S/P0 .
De las componentes espaciales W i del vector de Pauli-Lyubarskii, obtenemos el
mismo valor de h, como caba esperar. En efecto,
W i = P0 Si + eijk Pj S0k = hPi .
220
2.4.
Dinmica relativista
2.4.1.
Principio variacional
Z 2
L(, x , x )d,
x d +
x
=
x d x
x
1
1
luis j. garay 2005
Z 2
L
x
x
d x
En el caso de un sistema con varias partculas, el lagrangiano ser de la forma
general L(, xn , x n ) y las ecuaciones de Euler-Lagrange sern
S
L
d L
= 0,
=
d x n
xn
xn
notas edc (v. 1.0)
n = 1, 2 . . . .
221
2.4.2.
x xn
n
Cuadrimomento
L
.
x
En efecto,
d L
L
= ,
d x
x
donde hemos usado las ecuaciones de movimiento. Si el lagrangiano no depende
de las posiciones espaciotemporales, entonces el cuadrimomento se conserva.
p =
pn
se conserva en la evolucin.
222
Momento angular
= + .
x = x .
Si la accin es invariante Lorentz, que debera serlo, entonces existe una cantidad
conservada asociada
L
1
L
Q = x = x = M .
x
x
2
donde hemos definido el momento angular asociado a las transformaciones de
Lorentz
M = x p x p ,
que es tambin una cantidad conservada. El momento angular asociado a las rotaciones se puede extraer inmediatamente de M . En efecto,
1 ijk
e Mij
2
es conservado si la accin es invariante bajo rotaciones espaciales.
luis j. garay 2005
Jk =
Q = ( xn pn xn pn ).
2
n
Por tanto, tambin se conserva el momento angular total
M =
(xn pn xn pn ).
223
Centro de inercia
donde xi = 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.
2.4.2.4.
Invariantes de Casimir
224
1
e
P M .
2
Wci =
1
1 0
e
Pci,0 Mci, = e0jk Pci,0 Mci,jk .
2
2
Wcii =
1 0 ijk
P e Mci,jk
2 ci
y, por tanto,
W W = m2 c2~S2 ,
donde Si = 12 eijk Mci,jk es el momento angular del sistema de partculas en el SRI
propio del centro de inercia y recibe el nombre de espn.
1 ijk
e Mci,jk = eijk xn,j pn,k .
2
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 ~S2 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.
notas edc (v. 1.0)
225
2.4.3.
Fuerzas
dp
= (~f ~v/c, ~f ),
d
donde ~f = d~p/dt.
2.5.
Partcula libre
2.5.1.
Mecnica analtica
El factor mc2 aparece para que S tenga unidades de accin y para que coincida 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:
Z
1 v2
2
4
S = mc
dt 1 2 + O[(v/c) ]
2c
Z
Z
1
= mc2 dt +
mv2 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.
El lagrangiano de una partcula relativista es, por tanto,
p
L = mc2 1 ~v2 /c2 .
El momento se obtiene mediante la derivada variacional de la accin con respecto
a la velocidad como es habitual:
~p =
226
S
L
=
= m~v.
~v
~v
notas edc (v. 1.0)
Z q
dx dx = mc
Z q
u u d.
S
= mu .
u
Sin embargo, aunque el resultado es correcto, el procedimiento es inadecuado puesto que u u = c2 es una ligadura que debemos introducir mediante un multiplicador de Lagrange. Nosotros seguiremos un procedimiento alternativo equivalente.
Escribamos la accin como
Z q
S = mc
w w d,
donde es una funcin arbitraria creciente de y w = dx /d = (d/d )u , de
manera que quedan liberadas las velocidades. Entonces
p =
mcw
S
=
= mu .
w
w w
Por otro lado, el momento nos indica cmo vara la accin de las trayectorias
ante pequeos desplazamientos de las posiciones finales x , como ya hemos visto:
S = mu x = p x .
La componente temporal del cuadrimomento est relacionada con la energa
de la partcula mediante la frmula cp0 = E que, en el SRI propio, se convierte
en la famosa ecuacin E = mc2 . De hecho, el cuadrado del cuadrimomento es
un invariante, p p = m2 c2 , y de esta ecuacin es fcil obtener la expresin para
p
cp0 = m2 c4 + c2~p2 que es precisamente la energa, como hemos visto. Escribiendo
notas edc (v. 1.0)
227
x
x
d w
d
2.5.2.
Momento angular
El momento angular nos indica cmo vara la accin bajo pequeas rotaciones
espaciotemporales, es decir, bajo transformaciones de Lorentz
x = x .
(2.7)
= mc
Z q
Z p
u2 + 2u x d
u2 d
u x d.
2.5.3.
Casimires
Obviamente, en el caso de una partcula libre clsica, las dos cantidades conservadas 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 cuntica, las partculas pueden tener espn aun cuando sean puntuales. En ese caso, el
vector de Pauli-Lyubarskii ya no ser nulo.
2.6.
Campos relativistas
2.6.1.
Sea un campo local, es decir, una funcin que asigna un valor o conjunto
de valores a cada suceso espaciotemporal. En un cierto SRI, denotaremos a este
campo ( x ), 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). Consideremos 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 )
Sea 0 = 0 ( x ) ( x ), es decir, 0 da cuenta del cambio funcional en el mismo
x. En trminos de 0 , podemos escribir
= 0 + x ( x ),
donde hemos sustituido 0 ( x ) por ( x ), puesto que la correccin es de orden
superior. Si, bajo una transformacin infinitesimal, sufre un cambio independiente de las coordenadas u otro heredado de la transformacin de coordenadas
que recibe el nombre de trmino de transporte.
En lo que sigue, veremos cunto vale 0 para distintos tipos de campos. De
hecho, para estudiar las transformaciones de Lorentz, consideraremos distintos tipos de campos escalares, vectoriales y tensoriales. No estudiaremos los campos de
espn semiimpar (los fermiones de espn 1/2, en particular), fundamentales en una
descripcin de la naturaleza y, ms especficamente, de la electrodinmica cuntica.
notas edc (v. 1.0)
229
Traslaciones
Los campos locales fsicamente relevantes dependen de la posicin espaciotemporal relativa a un punto dado y, por tanto, se transforman bajo traslaciones de la
siguiente forma:
0 ( x 0 ) = ( x ),
es decir, son escalares bajo traslaciones; luego, bajo traslaciones infinitesimales
x = , la variacin general ser = 0 y, por tanto,
0 = = i P .
Puede parecer que 0 depende de las coordenadas x, pero no es as. En efecto,
[0 , ] = 0 ( ) (0 ) = + ( ) = 0,
es decir, la operacin de calcular 0 y la de derivar conmutan. Alternativamente,
hagamos explcita la dependencia de las posiciones relativas. Sea f : M Rn
una aplicacin que asigna n valores a cada suceso del espacio de Minkowski y sea
y el vector de posicin espaciotemporal de un suceso dado. Para cada par ( f , y)
definimos el campo ( x ) = f ( x y) y utilizaremos la notacin 0 ( x ) = f ( x y0 ).
Bajo traslaciones,
0 ( x ) = ( x ) = f ( x y) =
f ( x y ),
y
Los campos escalares son invariantes bajo transformaciones de Lorentz por definicin. 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 .
A la vista de la definicin (2.5) del momento angular orbital, el generador infinitesimal de las transformaciones de Lorentz,
0 = x =
i
L .
2
i
M ,
2
~S2 = 0.
Los dos casimires que caracterizan un campo escalar son su masa m (el autovalor de P P ) y su espn cero (autovalor de ~S2 = W W /(m2 c2 ). Si su masa es
nula, consideramos su helididad h = ~
P ~S/P0 , que tambin es nula.
2.6.1.3.
[, ] = [0 , ] + [x , ].
Como 0 no depende de las coordenadas, el primer trmino se anula y, dado que
x = x , tenemos
[, ] = ,
de forma que
luis j. garay 2005
V = = V .
Una vez conocido V y teniendo en cuenta que x = 2i L como hemos
visto, podemos calcular 0 V :
i
0 V = V x V = V + L V .
2
Podemos escribir esta expresin extrayendo como factor comn. Para ello, escribimos el primer trmino de la siguiente manera:
V = V = V =
notas edc (v. 1.0)
i
i
i[ ] V = (S ) V ,
2
2
231
(S ) = i[ ] . Por tanto,
0 V =
i
M V ,
2
donde
M = L + S
S V = (S ) V .
P P = m2 c2 6= 0,
~S2 = W W /(m2 c2 ),
donde, como vimos, (Si ) = 12 eijk (S jk ) , de forma que ~S2 = 2diag[0, 1, 1, 1], es
decir, sus autovalores son s(s + 1) = 2, lo que implica que s = 1. Si m = 0, la
helicidad es h = ~
P ~S/P0 = P ~S, cuyos autovalores son h = 1.
0 B =
i
M B ,
2
0 0 0
0 0 0 B
(S )
0 0 0
= (S )
+ (S )0 + + (S ) 0 .
2.6.2.
Principio variacional
Z
M
d4 x L(, , x ),
donde M es un cierto volumen espaciotemporal y L es la llamada densidad lagrangiana o, simplemente, lagrangiana. Cabe notar que hemos incluido una posible dependencia espaciotemporal explcita, aunque sta viola la invariancia bajo
traslaciones.
El principio variacional que nos proporciona la teora clsica de campos nos
dice lo siguiente: los campos fsicos, cuyos valores estn fijados en una cierta hipersuperficie, son aquellos que hacen extrema la accin del sistema.
Bajo un cambio cualquiera de campos 0 que no afecte a las posiciones espaciotemporales, la accin cambia de la siguiente manera2 :
L
L
0 +
0 ( ) .
0 S =
d x0 L =
d x
( )
M
M
Z
2 Puesto
que puede tener varias componentes, se sobreentiende una suma sobre todas ellas
233
( )
( )
M
M
donde M es la hipersuperficie que es frontera del volumen M, d d3 n , n es
R
la normal a M y d3 su elemento de superficie, de manera que M d3 =volumen
de M.
Si exigimos que las variaciones de los campos se anulen en la frontera del volumen espaciotemporal M, 0 |M = 0, el requerimiento de que 0 S = 0 se traduce
en las ecuaciones de Euler-Lagrange
L
L
= 0,
( )
que son las ecuaciones clsicas de movimiento para el sistema descrito por la accin
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.
2.6.3.
d4 x ( x L + L) =
d4 x ( x L + x L + 0 L)
M
M
Z
L
L
4
d x (x L) +
=
0 +
0 ,
( )
M
S =
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
4
S =
d x x L +
0 .
( )
M
Las transformaciones de las coordenadas y de los campos dependern de unos
parmetros e a independientes de la posicin de manera que
x =
234
x a
e ,
e a
0 =
0 a
e ,
e a
a
e .
e a
notas edc (v. 1.0)
ja = L
d4 x ja e a ,
L 0
x
+
.
e a
( ) e a
Otra expresin equivalente para la densidad de corriente asociada a la transformacin determinada por e a se puede obtener sustituyendo 0 = x :
L
L
x
+
.
ja = L
a
( )
e
( ) e a
Si la accin no cambia bajo la transformacin parametrizada por e a , entonces
S/e a = 0 y, por tanto,
ja = 0.
S
0= a =
e
Z
2
d ja
d ja .
Qa =
d ja = d3 xja0
Z t2
t1
dt
d3 x (0 ja0 + i jai ).
235
T ( j ) = L
L
,
( )
T = 0,
P =
d T =
d3 x T 0 ,
que es el momento total del sistema. en la ltima igualdad hemos evaluado la integral de superficie en el sistema de referencia en el que la normal a es n = (1,~0).
Por ltimo, nos queda demostrar 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. Para ello, escribamos
L
T = L
( )
L
L
L
=
+
+ L +
.
( )
( )
El uso de las ecuaciones de movimiento implica directamente que
T = L,
como queramos demostrar.
236
Invariancia Lorentz
( j ) = L + S ,
M
= 0,
M
donde
L
= x T x T ,
= i
L
(S )nm m
( n )
=
d M
0
d3 x M
es una cantidad conservada en la evolucin, es decir, es independiente de la superficie de gnero espacio en la que se evale.
2.6.3.3.
Invariancia Poincar
T = T + f ,
f =
1
(S + S S ).
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
= 0.
T T = T T + S = M
Por otro lado, si definimos el tensor
M = x T x T ,
notas edc (v. 1.0)
237
d ( T T ) = 0,
) = 0
d ( M M
4
S = d x
2
2
Z
iq
V
V
iq
4
= d x + iq + iq
2
2
= 0.
Por tanto, existe un corriente conservada
L
L
iq
j =
+
=
( ),
( ) ( )
2
238
4
S = d x
2
2
Z
iq
iq
= d4 x +
2
2
Z
Z
iq
4
=
d x ( ) = d4 xj 6= 0.
2
Para recuperar la invariancia gauge, introducimos un campo adicional A mediante
la sustitucin de la derivada por la derivada covariante
D = iqA
y tal que la ley de transformacin de A sea A ( x ) = ( x ) cuya versin finita
es A0 ( x ) = A ( x ) + ( x ). En efecto, la accin queda
S=
Z
1
1
4
d x D (D ) V () = d x V () j A ,
2
2
4
j =
iq
[ (D ) D ]
2
para que sea invariante gauge. La aplicacin del teorema de Noether no proporciona ninguna cantidad conservada adicional a la que ya tenamos (adecuadamente
modificada) como se puede comprobar fcilmente.
Ejercicio 2.6.3 Demostrar que la densidad de corriente as definida es invariante
gauge y que no proporciona ninguna carga conservada adicional.
Mediante este procedimiento de acoplo mnimo hemos construido una accin invariante gauge a cambio de introducir un campo vectorial adicional con una ley
de transformacin adecuada. Puesto que tenemos un campo nuevo, deberemos
notas edc (v. 1.0)
239
2.6.4.
Formulacin hamiltoniana
(cL)
(t )
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
{ n (~x ), m (~y)} = 0,
y el hamiltoniano
H=
d3 x H(~x ),
t = {, H }
P =
P =
M0i =
Mij =
Z
Z
00
0i
x ( x0 T 0i
x ( xi T 0j
d xT
d xT =
d3 x H /c = H/c,
Z
L
i =
d x
( 0 )
3
xi T 00
+ S00i )
x j T 0i
+ S0ij )
= x0 Pi +
d3 xi ,
Z
d xxi H /c i
d3 xS0i ,
d3 x ( xi j + x j i iSij ).
Entonces,
{(~x ), P } =
P i = i { , P },
op
Ki
= i { , M0i },
op
Mi = i { , Mi }
{ P , H } = {Ki , H } = { Mi , H } = 0,
241
2.7. Ejercicios
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:
a. Ambas se aceleran hasta obtener una energa E y chocan.
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:
1. Se pasa de S a S1 que se mueve con velocidad ~v1 = v1 ex con respecto a S.
2. Se pasa de S1 a S2 que se mueve con velocidad ~v2 = v2 ey con respecto a S1 .
243
x = ( + ) x 0 .
0 = .
a. Demostrar que
b. Demostrar que = .
~ ) = 11 + i K
~ sinh ( K
~ )2 (cosh 1).
exp(i~ K
notas edc (v. 1.0)
2.7. Ejercicios
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 producidas y E p , E sus energas.
b. Supongamos que se produce una partcula con una energa de 10 GeV. Qu
distancia viajar en promedio antes de decaer? Cul es el rango de posibles
valores para el ngulo si el decaimiento es istropo en el sistema propio?
2.14 Estudiar una partcula libre, cuya accin puede escribirse
Z
Z
q
4
S = mc d x d z ( )2 ( x z( )),
desde el punto de vista de campos relativistas.
L=
}2 ~ ~
i}
+ ( 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.
notas edc (v. 1.0)
245
246
Tema 3
31
3.1.
3.1.1.
Formulacin lagrangiana
d + q
A u d,
dEc
= q~v ~E.
dt
(3.1)
(3.2)
S = Sl + Sint =
d4 x (Ll + Lint ),
33
Lint ( x ) = c1 j ( x ) A ( x ),
donde la densidad de corriente j ( x ) es [haciendo uso de la identidad (3.3)]
j ( x ) = qc
d z 4 x z( ) = qz 1 3 ~x ~z(t) = (qc, q~v)3 ~x ~z(t) .
En trminos de la densidad de carga (~x, t) = q3 ~x ~z(t) ,
j = (c,~j),
~j = ~v
d3 xj0 =
d3 x = q
d3 x3 ~x ~z(t) = q.
R
que 1 = d3 x3 (~x ) es un invariante Lorentz y d3 x tambin lo es (Problema 2.8),
3 (~x )/ es invariante Lorentz y, consecuentemente, tambin lo es /.
1 Puesto
34
3.1.2.
Formulacin cannica
~ )2 = m2 2 v2 = m2 c2 ( 2 1)
(~P q A
y por tanto podemos escribir en funcin de ~
P:
~ )2 + 1.
2 = (mc)2 (~
P qA
Sustituyendo esta expresin en el Hamiltoniano obtenemos finalmente
q
~ )2 + q.
H = m2 c4 + c2 ( ~
P qA
Equivalentemente, de la expresin relativista de la accin obtenemos
P =
L
= mu + qA .
u
3.1.3.
Campo electromagntico
(3.5)
35
0
E1 /c E2 /c E3 /c
E1 /c
0
B3
B2
F = 2
.
E /c B3
0
B1
E3 /c
B2
B1
0
De su definicin (3.5), vemos directamente que
[ F] = 0,
donde [ ] representan las permutaciones de los tres ndices con su signo correspondiente o, equivalentemente,
e F = 0.
(3.6)
0
B1
B2
B3
B1
0
E3 /c E2 /c
F = 2
,
3
1
B
E /c
0
E /c
B3 E2 /c E1 /c
0
1
F
2e
~ ~E + t ~B = 0,
~ ~B = 0,
que son las ecuaciones de Maxwell estructurales. Hemos visto as que estas ecuaciones son covariantes Lorentz y que son ciertamente estructurales pues solo nos
indican que el campo electromagntico se puede obtener a partir de un potencial
cuadrivector A .
36
3.1.3.1.
Invariancia gauge
3.1.3.2.
Invariantes Lorentz
e F F ~E ~B.
(3.7)
Se puede probar que estas son las nicas cantidades invariantes independientes.
Construyamos el vector complejo ~F = ~E + ic~B. Esta cantidad es un vector bajo rotaciones de ngulo complejo. Los seis parmetros de estas rotaciones complejas corresponden a las tres rotaciones espaciales y a los tres boosts. Por tanto,
~F2 = (~E2 c2~B2 ) + 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 ).
notas edc (v. 1.0)
37
3.2.
t ~E = t ~B = 0.
0 F = 0,
3.2.1.
Como ilustracin del movimiento de una partcula cargada en un campo elctrico constante y uniforme, consideremos una partcula que parte de ~x (0) = 0 con
una velocidad inicial ~v0 perpendicular al campo elctrico constante. Sin prdida de
generalidad, podemos escoger el campo elctrico en la direccin e1 y la velocidad
inicial en la e2 : ~E = E0 e1 , ~v0 = v0 e2 . Las ecuaciones de movimiento nos quedan:
dp1
= qE0 ,
dt
dp2
= 0,
dt
dp3
= 0,
dt
dEc
= qv1 E0 .
dt
p2 = p0 = m0 v0 ,
p3 = 0,
Ec = qE0 x1 + m0 c2 .
v1 = q
qE0 t
m2 02 + q2 E02 t2 /c2
v2 = q
m0 v0
m2 02 + q2 E02 t2 /c2
v3 = 0.
3.2.2.
dEc
= q~v ~E.
dt
Esta segunda ecuacin se puede integrar directamente para obtener una constante
del movimiento, la energa total de la partcula:
q
E = m2 c4 + ~p2 c2 + q/r.
El movimiento tiene lugar en el plano perpendicular al vector ~x ~v, que es constante. En efecto,
d~v
d~p
d
(~x ~v) = ~x
~x
~x ~E = 0,
dt
dt
dt
Por tanto, el vector ~b = ~x ~v es constante
puesto que al ser ~E central, ~E = |~E| x.
y, adems, ~x ~b = 0, luego el movimiento se desarrolla en el plano perpendicular
a ~b. Si utilizamos coordenadas polares (r, ) en el plano de la rbita, podemos
escribir ~p2 = p2r + p2 /r2 . Puesto que solo depende de r, el momento angular p
se conserva y
q
E = m2 c4 + p2r c2 + p2 c2 /r2 + q/r = H (~x, ~p).
Para encontrar las trayectorias, utilizamos la ecuacin de Hamilton-Jacobi. Se
trata de encontrar una funcin S(~x, t) que satisfaga la ecuacin
~ S) = 0.
t S + H (~x,
39
Figura 3.1: rbitas para distintos valores de los parmetros del sistema que
corresponden a movimientos acotados. Cada figura se acerca ms al lmite no
relativista.
E = t S = A,
si cp = |q|,
2Eq/r = E2 m2 c4 2 E2 .
Figura 3.2: rbitas para distintos valores de los parmetros del sistema que
corresponden 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.
3.2.3.
311
donde
~ B = q~B/(m).
= 0,
d~v
~ B,
= ~v
dt
3.2.4.
~E00 = ~E/2 =
3.2.5.
Invariantes adiabticos
Cuando las condiciones bajo las que se desarrolla el movimiento cambian lentamente comparadas con los periodos caractersticos, existen cantidades que permanecen constantes. Son los invariantes adiabticos2 , que son las integrales de accin
Ja =
p a dq a ,
1
2
~P d~x ,
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
313
~ la integral de
es invariante como hemos visto. Teniendo en cuenta que ~
P = ~p + q A,
accin la podemos escribir
1
q
~p d~x +
J=
2
2
La primera integral es igual a p r B , puesto que
p = qBr B , luego la primera integral es qBr2B . El
calcular la segunda integral:
I
q
2
~ d~x .
A
~v = d~x /dt d~x . Adems
teorema de Stokes nos permite
1
~B nd
2~x = qBr2B ,
2
3.3.
3.3.1.
~ ~E(~x ) + O(r2 ),
~E(~x +~r ) = ~E(~x ) + (~r )
de manera que la expresin de la fuerza queda
~F (~x ) =
= q~E(~x ) +
~ ~E(~x )
d3~r(~x +~r )(~r )
~ ~E(~x )
d3~x 0 (~x 0 )[(~x 0 ~x ) ]
~ ~E(~x ) + (~p )
~ ~E(~x ),
= q~E(~x ) q(~x )
R
R
donde q = d3~x 0 (~x 0 ) es la carga total del sistema y ~p = d3~x 0 (~x 0 )~x 0 es el momento dipolar del sistema medido en el sistema de referencia del laboratorio. Si
tenemos una distribucin discreta de cargas (~x 0 ) = a q a 3 (~x 0 ~x a ), entonces
~p = a q a~x a .
Podemos calcular tambin el lagrangiano de interaccin que ser
Lint (~x ) =
3 0
d ~x (~x )(~x ) =
~ (~x )
d3~x 0 (~x 0 )[(~x ) + (~x 0 ~x )
~ (~x ) =
M
=
~ ~E(~x )]
d3~r(~x +~r )(~x +~r ) [~E(~x ) + (~r )
= ~p ~E(~x ) +
~ ~E(~x )]
d3~r(~x +~r )~x [(~r )
Conviene notar que si la distribucin fuese una sola partcula en ~x, es decir,
(~x 0 ) = q3 (~x 0 ~x ), entonces ~p = q~x y los resultados anteriores se reducen a
Lint (~x ) = q(~x ),
~F (~x ) = q~E(~x ),
3.3.2.
Sea una densidad de corriente estacionaria ~j(~x 0 ) = (~x 0 )~v0 localizada alrededor
de un cierto punto ~x en un campo magntico uniforme y constante. Notemos que
notas edc (v. 1.0)
315
h~F (~x )i = h
3 0~
d x j(~x )i ~B = h
= qh~vi B + h
Este ltimo trmino se anula puesto que es el promedio de la derivada de una cantidad que vara en un rango finito.3 Para que este resultado tenga validez, basta con
tomar el promedio en intervalos temporales suficientemente grandes comparados
con los tiempos caractersticos del sistema. Por tanto, la fuerza sobre la distribucin
de carga es
h~F (~x )i = qh~vi ~B.
El promedio del momento de fuerzas ser
~ (~x )i = h
hM
=h
Z
0 0
d
1
0
2
(~B~x ) i = h d3~x 0 (~x 0 )~v0 (~x 0 ~B)i
d ~x (~x ) ~v (~x ~B)
2 dt
3 0
3 0
~ (~x )i = 1 h
hM
2
R
donde ~m = 21 h d3 x 0 (~x 0 )(~x 0 ~v0 )i es el momento magntico del sistema. Para un
sistema de partculas, de masa m a y carga q a , ~m = h a q a~x a ~v a /2i. Si todas las
partculas tienen la misma relacin carga/masa y se mueven con velocidades no
relativistas, entonces
qa ~
~m =
h L i,
2m a
donde ~L es el momento angular orbital del sistema. El momento angular intrnseco,
el espn, tambin guarda una relacin lineal con el momento magntico, pero no
necesariamente a travs del factor q a /(2m a ).
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 dt f(t)/T | lmT /T = 0.
3 Sea
316
~ (~x 0 )
d3~x 0 (~x 0 )~v0 A
1
d ~x (~x )~v (~B ~x 0 ) =
2
3 0
Lint (~x ) =
1
q(~x ~v) ~B,
2
3.3.3.
Precesin de Thomas
donde ~B0 es el campo magntico visto en el sistema de referencia propio. Sin embargo, vamos a ver que, desde el punto de vista del laboratorio, esta ecuacin es
incompleta pues el sistema de referencia propio est rotando.
Si en un instante t, el sistema propio tiene una velocidad ~v relativa al laboratorio
y en el instante siguiente t + t tiene una velocidad ~v + ~v, la diferencia relativista
de velocidades, es decir, la velocidad que tendr el sistema en t + t vista desde el
sistema en t ser ~v = 2 vk v + ~v como puede verse fcilmente haciendo uso
de la ley de transformacin de velocidades.
Ejercicio 3.3.1 Demostrar esta afirmacin.
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
notas edc (v. 1.0)
317
~ t con
Por tanto, el sistema de referencia propio rota con una velocidad angular
respecto al sistema de referencia en reposo fiduciario del sistema de laboratorio
determinada por
2
~
~ t = lm
~a ~v.
=
( + 1) c2
t0 t
Si el cuerpo no est acelerado o su aceleracin es solo tangencial, entonces el sistema 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 fiduciario del sistema del laboratorio y, por tanto, no rotante, ser
d~s
dt
=
no rot
d~s
dt
~ t ~s = ~m (~B0
~ t / ),
+
prop
0 =~
~ t /.
es decir, el cuerpo ve un campo magntico efectivo ~Bef
B0
3.4.
1
=
c
d4 xj ( x ) A ( x )
3.4.1.
1
=
4c0
d4 xF F .
Ecuaciones de Maxwell
La derivada variacional de la accin total S con respecto a las variables de configuracin del sistema cargado nos proporcionan las ecuaciones de movimiento de
dicho sistema, como ya hemos visto, y producen, en general, un trmino de fuerza
de la forma j F .
Por otro lado, la derivada variacional de la accin con respecto a A nos proporciona las ecuaciones de Maxwell. En efecto,
L
= (c0 )1 F ,
( A )
L
= c 1 j ,
A
(3.9)
Por ser F antisimtrico, derivando esta ecuacin obtenemos la ecuacin de continuidad: j = 0. Las componentes temporal y espaciales de esta ecuacin son
precisamente las ecuaciones de Maxwell con fuentes:
~ ~E = 1 ,
~ ~B + c2 t ~E = 0~j.
Si bien es posible probar la covariancia de estas ecuaciones directamente, su obtencin a partir de (3.9) la garantiza.
notas edc (v. 1.0)
319
3.4.2.
F = 0 j .
(3.10)
Leyes de conservacin
Tl = j F /c.
Calculemos ahora el tensor de energa-momento del campo electromagntico.
Puesto que la accin es invariante Poincar, podemos escoger este tensor simtrico.
Como ya vimos, la expresin para este tensor es
Tem = Lem
320
Lem
A + f ,
( A )
notas edc (v. 1.0)
1
(S + S S ),
2
= i
Lem
(S ) A
( A )
F F + F F
,
Tem =
c0
4
cuya divergencia es (haciendo uso de las ecuaciones de Maxwell)
Tem = F j /c.
1
( 0~E2 + 01~B2 ) = u/c,
2c
0i
Tem
=
1
c2
1
1
ij
ij
Tem = ( 0 Ei E j + 01 Bi B j ) + ( 0~E2 + 01~B2 ) 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.
Comencemos con la densidad de energa.
Tl = u 0 /(c) = t Ec /c2 t ,
0
~ ~S/c2 ,
Tem = t u/c2 +
0
321
~ ~S.
0 = c2 T 0 = t Ec c2 t + t u +
(3.11)
c Tem = t Si /c j Tm ,
i
de manera que
ji
0 = c T i = t (vi ) vi t + t Si /c2 j Tm .
(3.12)
Podemos integrar las ecuaciones (3.11) y (3.12) en una regin espacial que contenga a todas las partculas involucradas. Entonces obtenemos
dEc dU
+
+
dt
dt
~S d~s = 0,
dpi di
+
dt
dt
ij
Tm ds j = 0,
3.4.3.
Formulacin hamiltoniana
i = c
1 2
1 ~
~
~ )2 +
~ +
~.
( A
2 0
20
notas edc (v. 1.0)
~ es la densidad de
donde es la densidad de masa, es la densidad de carga y P
momento de la partcula.
Es importante notar que el potencial escalar es una variable cannica cuyo
momento cannico se anula, es decir, que no tiene dinmica. El potencial escalar
es, por tanto, un multiplicador de Lagrange que est forzando la ligadura
~
~ =
~ E = 1 .
{ A ( x ),
=
=
3.4.4.
d3 y(y) G (y)}
i
d y(y)y,j { A ( x ), (y)} =
d3 y(y)iy 3 ( x y)
d3 y3 ( x y)iy (y) = i ( x ) = Ai .
Ecuacin de onda
A ( A ) = 0 j .
En el gauge de Lorenz, A = 0 y la ecuacin de onda queda
A = 0 j .
La resolucin de esta ecuacin fue llevado a cabo en el Tema 1 en trminos de
funciones de Green. Repetimos aqu el resultado. La funcin de Green retardada
G+ ( x , x 0 ) es una solucin de la ecuacin
G ( x, x 0 ) = 4 ( x x 0 ),
que se puede escribir como
G ( x, x 0 ) =
notas edc (v. 1.0)
00 )
[( x0 x 00 )]( x 00 x
,
4 |~x 0 ~x |
323
1
[( x0 x 00 )][( x 0 x )2 ].
2
z =
( z0 )2 ( z2 )2 ( z3 )2 .
Por tanto,
0 00
0 2
( z0 )2 ( z2 )2 ( z3 )2
q
(z0 )2 (1 |v/c|) = 1/ 1 + |v/c| > 0,
z z = (z ) |v/c|z
luis j. garay 2005
A ( x ) = 0
324
4 0
d x j ( x ) G+ ( x, x ) = 0
d3~x 0
00 )
j (~x 0 , x+
.
4 |~x ~x 0 |
A ( x ) = Ain ( x ) + 0
d4 x 0 j ( x 0 ) G+ ( x, x 0 ),
donde Ain ( x ) es una solucin de la ecuacin homognea. La aparicin del propagador retardado asegura que en t , cuando no acta la fuente, solo existe el
A (x) =
Aout ( x ) + 0
d4 x 0 j ( x 0 ) G ( x, x 0 ),
donde Aout ( x ) es una solucin de la ecuacin homognea. La aparicin del propagador avanzado asegura que en t +, cuando no acta la fuente, solo existe el
campo Aout ( x ). As, la diferencia entre los campos asintticos de salida Aout ( x ) y
Aout ( x )
Ain ( x )
= 0
d4 x 0 j ( x 0 ) G ( x, x 0 ),
donde G ( x, x 0 ) = G+ ( x, x 0 ) G ( x, x 0 ).
3.4.5.
Como aplicacin, calculemos el lagrangiano de dos partculas cargadas en interaccin teniendo en cuenta las correcciones relativistas hasta segundo orden.
El lagrangiano completo para las dos partculas a y b ser
q
q
~ b (~x a , t) q a b (~x a , t),
L = m a c2 1 v2a /c2 mb c2 1 v2b /c2 + q a~v a A
Ab (~x a , t)
j (~x 0 , t0+ )
= 0 d ~x b
4 |~x a ~x 0 |
0
Z
0
x , t)
1 0
1 2 0
3 0 j (~
0
=
d ~x
t j (~x , t) + 2 t j (~x , t)|~x a ~x | + O(0 /c3 ).
0
4
|~x a ~x | c
2c
3 0
325
0 c2 q b
+ 0 qb 2t r ab + O(0 /c).
4 r ab 8
El potencial vector, tambin hasta orden O(0 /c), que es menor el de la expansin
original pero suficiente puesto que en total es el mismo que el de , queda
~ a b ,
~ 0b = A
~b +
A
b =
Para evaluar t rab , debemos notar que ~x a es fijo, puesto que es el punto en el que
estamos evaluando el campo. Por tanto, la nica dependencia temporal es a travs
de ~xb . As,
~vb + (~vb rab )rab
t rab = t (~r ab /r ab ) =
r ab
y el potencial vector queda
1
qb
~ 0b (~x a , t) =
~
A
v
+
(~
v
r
)
r
+ O(1/c3 ).
b
b
ab
ab
8 0 c2 r ab
Podemos ya escribir el lagrangiano para dos partculas incluyendo hasta el segundo orden en v/c:
1
1 q a qb
1
m a v2a + mb v2b
2
2
4 0 r ab
1
1 q a qb
1
~
~
+ m a v4a /c2 + mb v4b /c2 +
v
v
+
(~
v
r
)(~
v
r
)
.
a
a
b
ab
b
ab
8
8
8 0 c2 r ab
L=
Tras definir los momentos cannicos hasta segundo orden en v/c y realizar la
transformacin de Legendre correspondiente, obtenemos el hamiltoniano
p2b
p2a
1 q a qb
H=
+
+
2m a 2mb 4 0 r ab
p4b
p4a
q a qb
1
~
~
p
+
(~
p
r
)(~
p
r
)
.
a
a
b
ab
b
ab
8m3a c2 8m3b c2 8 0 c2 m a mb r ab
326
327
3.5. Ejercicios
3.5.
Ejercicios
3.1 Encontrar la trayectoria de una partcula en un campo electromagntico constante y uniforme tal que el campo elctrico y el magntico son paralelos.
3.2 Determinar la frecuencia de vibracin de un oscilador cargado en un campo
magntico constante en el lmite no relativista.
3.3 Determinar el movimiento de una carga en un campo electromagntico constante y uniforme con el campo elctrico y magntico perpendiculares e iguales en
magnitud (|~E| = c|~B|).
3.4 Determinar la velocidad del sistema de referencia en el 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.
a. Determinar la velocidad relativa del sistema en el que ambos campos son
paralelos.
b. Describir los campos en ese sistema en los casos 0 y = /2.
3.6 Es posible tener un campo electromagntico que sea puramente elctrico en un
inercial y puramente magntico en otro? Qu deben cumplir los campos elctrico
y magntico para que exista un inercial sin campo elctrico?
3.7 Un cable cargado de longitud infinita y seccin despreciable se mueve con
velocidad uniforme en direccin paralela al mismo.
329
3.5. Ejercicios
d. Calcular cunto tiempo le cuesta a un electrn que se halla a 3 107 m dar
una vuelta a la Tierra y cunto le cuesta hacer una oscilacin en latitud si la
energa del electrn es 10 Mev. dem si tiene una energa de 10 keV.
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.
3.12 Una densidad lagrangiana para el campo electromagntico es
L=
1
1
A A + j ( x ) A ( x ).
2c0
c
a. Encontrar las ecuaciones de movimiento y decidir en qu condiciones coinciden con las ecuaciones de Maxwell.
b. Demostrar que bajo ciertas condiciones esta densidad lagrangiana se diferencia de la estndar en una divergencia. Afecta esta divergencia a la accin y/o
a las ecuaciones de movimiento?
3.13 Consideremos las ecuaciones de Maxwell en vaco.
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 ],
donde es el ngulo formado por ~k y ~v. Si 0 es el ngulo formado por ~k0 y ~v,
demostrar que
sen
tan 0 =
.
(cos v/c)
3.14 Es admisible la condicin de fijacin de gauge A A = 0? Si lo es, cul es el
gauge residual?
3.15 Hallar la fuerza que ejerce una onda electromagntica plana sobre una pared
conductora perfecta. dem si la pared perfectamente absorbente.
notas edc (v. 1.0)
331
Lp =
1
1
1
F F + j ( x ) A ( x ) +
m2 A A .
4c0
c
2c0
332
Tema 4
Radiacin electromagntica
41
4.1.
4.1.1.
j ( x ) = qc
du ( )4 [ x 0 r ( )].
Por otro lado, el potencial electromagntico generado por una densidad de corriente 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
du ( ) d4 x 0 ( x0 x 00 )[( x 0 x )2 ]4 [ x 0 r ( )]
A (x) =
2 Z
q c
= 0
du ( ) [ R0 ( )][ R ( )2 ],
(4.1)
2
donde R R ( ) = x r ( ). Para calcular la integral sobre el tiempo propio , 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 tiempo retardado R0 (0 ) > 0, es decir, x0 > r0 (0 ), lo que nos obliga a considerar solo
la solucin con signo positivo. Por tanto,
Z
[ R0 ( )][ R ( )]2 ] =
1
( 0 ).
2| R u |
(4.2)
es decir,
x0 r0 (0 ) = |~x ~r (0 )|.
43
1
q
q
v
0
,
.
~ (~x, t) =
A
(~x, t) =
) ret
) ret
4 0 R(1 ~v R/c
4 R(1 ~v R/c
De la expresin (4.2) para el potencial electromagntico, podemos obtener directamente el campo electromagntico F mediante diferenciacin. Sin embargo,
es ms sencillo derivar la expresin (4.1). Comencemos por evaluar A .
Z
q0 c
du ( R0 )( R 2 )
2 Z
q0 c
du 0 ( R0 )( R 2 ) + ( R0 ) ( R 2 ) .
=
2
A =
( R )
,
( R ) = R 2 ( R ) = R
d
d
dR
de manera que
( R 2 ) =
R d
( R 2 ).
R u d
donde
cq
1
( R u R u ) ,
=
3
4 0 ( R u )
ret
q
1
=
R R (u b u b ) ( ) .
4 0 c ( R u )3
ret
vel
F
rad
F
vel
En estas expresiones, vemos que la parte que solo depende de la velocidad F
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.
(4.3a)
(4.3b)
El primer trmino del campo elctrico es el campo que depende solo de la velocidad ~Evel 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 ~Erad . 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 electromagntico est determinado por ~Erad . Adems, veremos en la seccin 4.1.2.3 que el
trmino que depende solo de la velocidad no contribuye a la energa emitida por
la partcula.
4.1.2.
45
4.1.2.1.
Partcula no relativista
46
q2
( R ~a)|2 d.
|
R
ret
16 2 0 c3
~a
Si elegimos el sistema de coordenadas de forma que el eje ez coincida con la aceleracin, la potencia radiada en el elemento de ngulo slido se puede escribir
dP0 =
q2
2
2
a
sen
d,
ret
16 2 0 c3
Partcula relativista
La frmula de Larmor (4.6) es estrictamente vlida en el sistema de referencia en el que la partcula est en reposo. Para encontrar la potencia radiada en
cualquier otro sistema de referencia (es decir, para cargas con velocidades arbitrarias), debemos notar que la potencia es la derivada temporal de la energa, que
es la componente temporal de un cuadrivector c . Las componentes espaciales
de este cuadrivector son precisamente el momento del campo electromagntico
notas edc (v. 1.0)
47
R
~ = d3 x~S/c2 . Puesto que en el inercial en el que la partcula est en reposo,
q2
2
dt0 ,
b
ret
4
6 0 c
di = 0,
q2
2
.
b
dx
ret
6 0 c5
[
a
(~
v
~
a
)
/c
]
.
ret
dt0
6 0 c3
0
(4.7)
q2
6 2
a
=
ret
6 0 c3
1 + 15v2 /c2 1
.
cos mx =
3v/c
Para velocidades no relativistas v c, recuperamos los resultados de la seccin 4.1.2.1. Para velocidades relativistas, v/c 1 2 /2, de forma que
1
cos mx 1 2 ,
8
mx
1
2
d mx, v . c
d mx, v c
notas edc (v. 1.0)
49
v.c
mx =
vc
1
2
~ak~v
Figura 4.2: Diagrama de radiacin emitida por una partcula cargada que se mueve 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 velocidad, muestra el diagrama en un plano que contiene a sta. La figura no est a
escala.
v
vc
vc
(1 ) 3 .
a
c
2 a
4.1.2.3.
a
c
3 .
2
v
~E = |~Evel | R + ~Erad ,
~B = R ~Erad /c.
de forma que la potencia radiada solo depende de los campos de radiacin y est
dada por la frmula de Larmor. La potencia total radiada en un sistema en el que
la partcula no est en reposo es la ya obtenida en la seccin anterior (ecuacin 4.7)
y que sea nula en ausencia de aceleracin, es decir, tambin es independiente de
los campos de velocidad.
4.1.3.
Si definimos
R [( R ~v/c) ~a]
~
A(, t) = q
= 4 0 c2 R(t0 )~Erad (~x, t),
)3 ret
(1 ~v R/c
integramos la distribucin angular de potencia (4.4) sobre todo el tiempo e introducimos la constante 2 = 1/(16 2 0 c3 ), obtenemos la distribucin angular de
energa radiada
Z
dW
2
~ , t)|2 dt.
=
|A(
d
En lugar de utilizar la dependencia temporal, nos interesamos por la distribu~ , t) (que
cin espectral. Para ello, introducimos la transformada de Fourier de A(
denominaremos con el mismo smbolo):
~ , ) = 1
A(
2
~ , t)eit dt,
A(
~ , t) = 1
A(
2
~ , )eit d.
A(
~ , t) es real, A
~ (, ) = A(
~ , ). EnEs interesante notar que, puesto que A(
tonces, la distribucin angular de la energa radiada se puede escribir
dW
= 2
d
~ , )|2 d = 2 2
|A(
Z
0
~ , )|2 d =
|A(
Z 2
d W
0
dd
d,
411
i
|~
x
|
i
[
t
~
r
(
t
dt .
~ , ) = e
e
A(
)2 t 0
(1 ~v R/c
2
La distribucin de intensidad solo depende del mdulo de esta expresin y, por
tanto, el factor de fase global ei |~x| es irrelevante.
R [( R ~v/c) ~a]
d R ( R ~v)
=
.
)2
dt 1 R ~v/c
(1 ~v R/c
~ , ) = q lm
A(
2 e0
412
0
0
0
ei [t R~r(t )/c]e|t | R [ R ~v(t0 )]dt0 .
~ , ) = lm
A(
2 e0
dt0
q~v(t )e
i R ~r (t0 )/c
4.2.
Reaccin de la radiacin
4.2.1.
Erad
q2 a2 T
= ma2 T,
6 0 c3
413
4.2.2.
y que es proporcional a la segunda derivada de la velocidad. La ecuacin de movimiento (ecuacin de Abraham-Lorentz) queda entonces
m(~v ~v ) = ~Fext .
414
4.2.3.
1
M ( ) = m0 +
6 0 c3
eiR/c
,
R
q
(2 )3
d3~k f (~k)eik~x .
415
d3~k
| f (~k)|2
,
k2 2 /c2
d3~k
| f (~k)|2
k2
(4.9)
d3~k
| f (~k)|2
.
k2 (k2 2 /c2 )
(4.10)
La solucin de la ecuacin de movimiento queda entonces completamente determinada una vez conocida la funcin M( ).
Es necesario hacer algunos comentarios sobre esta solucin a la ecuacin de
movimiento para un cuerpo cargado:
1. La contribucin de la autointeraccin a la masa fsica (ecuacin 4.9) es diverge para partculas puntuales f (~k) = 1. La contribucin de la integral de la
ecuacin (4.10) a la masa efectiva espectral, sin embargo, es finita.
2. La masa fsica es la suma de la masa desnuda m0 y la energa de autointeraccin que diverge. Por tanto, para obtener un resultado finito la masa desnuda
tambin debe ser infinita m0 = . En realidad, este parmetro no es observable porque, la partcula siempre aparecer vestida por su autointeraccin
electromagntica, que no se puede ignorar. m0 no es un buen parmetro de
masa.
3. Para una partcula puntual, se recupera la fuerza de Abraham-Lorentz, que
presenta soluciones que crecen sin lmite. Para factores de forma correspondientes a cuerpos con un tamao mayor que c, la ecuacin del movimiento
no presenta ninguna anomala ni posee soluciones inaceptables.
4. El resultado relativista difiere en pequeos factores numricos de la aproximacin no relativista.
416
4.3.
Radiacin multipolar
3 0 j (~
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
Si expandimos los potenciales electromagnticos en
fuente, |~x ~x 0 | |~x | ~x 0 x.
0
potencias de ~x x y nos quedamos con los rdenes ms bajos, obtenemos
0 1
A (~x, t) =
4 |~x |
d3~x 0 j (~x 0 , t0 )
3 0
dt j (~x 0 , t0 )eit .
A (~x, ) =
d ~x
4 |~x | 2
Cambiamos la variable de integracin de t a t0 de manera que
0 1 1
A (~x, ) =
4 |~x | 2
3 0
d ~x
donde ~k = x/c.
As,
~
A (~x, ) =
0 eik~x
4 |~x |
Puesto que la integral es independiente del punto de observacin, vemos que para
regiones suficientemente alejadas de la fuente, el campo electromagntico en un
regin suficientemente pequea puede ser considerado como una onda plana. Para
ello, no solo necesitamos que |~x 0 | |~x |, sino que debemos introducir la longitud
de onda en la comparacin: ~k ~x 1. Esta es la llamada zona lejana, zona de
radiacin o zona de onda.
Al tratarse de ondas planas, los campos elctrico y magntico (sus transformadas de Fourier) estn relacionados mediante la expresin
k ~E = 0,
k ~B = 0,
~E = c~B k,
417
~ A
~ = i~k A
~ k A/
~ |~x | i k A/c.
~
~B =
Debemos notar que todas las componentes de Fourier comparten la misma direccin 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:
~ k,
c~B = A
~E = c~B k.
(4.11)
.
~
~
=
d
x
e
k
[
k
j
(~
x
,
)]
dd
8 2 c
Sin embargo, despus de hacer un desarrollo multipolar, podremos encontrar expresiones explcitas ms tiles para la intensidad.
4.3.1.
El potencial vector contiene una integral con un factor eik~x . Cuando el tamao
de la fuente es ms pequeo que las longitudes de onda, k|~x 0 | 1, podemos
expandir este exponencial en una serie de potencias. El trmino de orden ms bajo
corresponde a la radiacin dipolar elctrica:
~
i k ~x
~ (~x, ) = 0 e
A
4 |~x |
d3~x 0 ~j(~x 0 , ).
0 eik~x
A (~x, ) =
4 |~x |
i
0 eik~x
4 |~x |
0 eik~x
d ~x j (~x , ) =
4 |~x |
3 0 i
d3~x 0 0j x 0i j j (~x 0 , )
~
d3~x 0 x 0i 0j j j (~x 0 , ) = i
0 eik~x
4 |~x |
d3~x 0 x 0i (~x 0 , ).
Para obtener la ltima igualdad hemos empleado la ecuacin de continuidad es~ ~j i = 0. Vemos entonces que
pectral
i~k ~x
~ (~x, ) = i 0 e ~p( ),
A
4 |~x |
418
4.3.2.
i k ~x
~ (~x, ) = i 0 e
A
4c |~x |
Si lo escribimos en componentes,
~
0 eik~x
A (~x, ) = i
4c |~x |
i
3 0
d ~x
1 i 0
1 i 0
0j
0j
1
d ~x j (~x , )(k j x 0 j ) =
d3~x 0 0k x 0i jk (~x 0 , )(k j x 0 j )
2
Z
1
d3~x 0 [ x 0i 0k jk (~x 0 , )(k j x 0 j ) + x 0i jk (~x 0 , )k k ]
=
2
Z
3 0 i
e
0
3
0
~ (~x, ) = i
A
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 ] .
El primer y el tercer trmino se combinan en k (~j ~x 0 ) (ver frmula F.1.2) de
manera que
i~k ~x 1 Z
e
0
3
0
0
0
2
0
0
0
~ (~x, ) =
A
d ~x i [~x ~j(~x , )] k ~x (~x , )(k ~x ) .
4c |~x | 2
En el primer trmino, reconocemos la transformada de Fourier del momento dipolar magntico
Z
1
~m( ) =
d3~x 0 ~x 0 ~j(~x 0 , ).
2
los campos no
Adems, notemos que si aadimos un trmino proporcional a k,
Sustituimos pues el sevaran puesto que involucran productos vectoriales con k.
gundo trmino por
2
(~x 0 , ) 3~x 0 (k ~x 0 ) k~x 02 .
3
notas edc (v. 1.0)
419
Teniendo en cuenta todas estas contribuciones, la transformada de Fourier del potencial vector en la zona lejana queda
i~k ~x
e
1
1
0
2
~ (~x, ) =
i~p( ) i~m( ) k Q( ) k
A
4 |~x |
c
6c
y el potencial propiamente dicho
1
1
1
0
0
0
0
~ (~x, t) =
(t ) k .
~p(t ) + ~m(t ) k + Q
A
4 |~x |
c
6c
Los campos elctrico y magntico se obtienen directamente haciendo uso de la
ecuacin (4.11).
4.3.3.
~S = 1 ~E ~B = c (~B k ) ~B = c ~B2 k.
0
0
0
~ , t)|2 d,
dP = 2 |A(
donde 2 = 1/(16 2 0 c3 ) y
...
1
1
0
0
0
(t ) k + Q(t ) k k.
~ , t) = ~p (t ) + ~m
A(
c
6c
420
1 ~ ~
c ~ 2
h~Si =
| B| k.
EB =
20
20
421
4.4. Ejercicios
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
corriente sinusoidal que se anula en los extremos. Estudiar el caso en el que la
antena es mucho menorr 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 de la radiacin angular 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.
423
Z ( Z + 1) + e + ,
Z ( Z 1) + e+ + .
4.14 Se colocan dos antenas dipolares de media onda en una lnea recta sin solapamiento. 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.
424
Apndice A
Tensores
Vectores y formas lineales
Cambios de base
Tensor mtrico
Tensor de Levi-Civita
Tensores cartesianos
A.1.
A.2.
A.3.
A.4.
A.5.
A1
A.1.
Definicin A.1.1
Sea V un espacio vectorial. Una forma lineal es una aplicacin lineal : V R, es
decir, si ~u, ~v V y , R, entonces (~u + ~v) = (~u) + (~v).
Definicin A.1.2
El conjunto de formas lineales V sobre V es un espacio vectorial llamado espacio
vectorial dual de V.
Los vectores de V tambin pueden considerarse como aplicaciones lineales
~v : V R tales que ~v( ) (~v). En efecto, la estructura de espacio vectorial
de V implica que ( + )(~v) = (~v) + (~v), que podemos reeler como la
propiedad de linealidad de la accin de ~v sobre V . Para hacer explcita esta dualidad denotaremos (~v) = ~v( ) = ( , ~v) y, por razones que veremos enseguida, lo
llamaremos contraccin de y ~v.
Definicin A.1.3
Sea {~ei , i = 1, 2 . . .} una base de V. Definiremos la base dual de V como el conjunto
de formas { i , i = 1, 2 . . .} tal que ( i , ~e j ) = ji .
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 dimensin de V . Adems, son linealmente independientes. En efecto, consideremos la
combinacin lineal nula i i = 0. Su contraccin con ~ek es igual a k y es nula k.
Una forma lineal = i i actuar sobre un vector ~v = vi~ei como
( , ~v) = i v j ( i , ~e j ) = i v j ji = i vi
y, de ah, el nombre de contraccin. En particular es interesante notar que
( i , ~v) = vi ,
A.2.
( , ~ei ) = i .
Cambios de base
j
A3
Apndice A. Tensores
i j con det
6= 0. Entonces,
de base en V dado por 0i =
j
)i ,
i k = (
i l k =
i l ( k , el ) =
ji = ( 0i , ~e0j ) =
j
j
j l
j
k
k
k
= 1 .
luego
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 covariantes:
j
j
i0 = ( , ~ei0 ) = 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.
Dada una base {~ei } de V y su base dual { i } de V , la accin de T queda
determinada por su accin sobre ~ei y i
T(~ei , ~e j k , ) = Tijk ,
de manera que
T(~u, ~v , ) = Tijk vi v j k .
Los nmeros reales Tij k son las componentes del tensor T en la base {~ei }.
j
k
ser T i jk Si ml .
Proposicin A.2.3
La contraccin de ndices es independiente de la base elegida.
A4
Ti
= l i (1 ) m (1 )kn Tl mn .
Operaciones tensoriales son aquellas que operaciones con tensores que proporcionan otro tensor. El resultado es independiente de la base elegida. Las siguientes
operaciones son operaciones tensoriales:
1. Suma de tensores del mismo tipo.
2. Multiplicacin por una constante
3. Multiplicacin de dos tensores; el tipo del tensor resultante es la suma de los
tipos.
4. Contraccin de ndices (uno covariante y otro contravariante).
A.3.
Tensor mtrico
Definicin A.3.1
Sea V un espacio vectorial dotado con un producto escalar, que denotaremos
por . Entonces denotaremos tensor mtrico g a la aplicacin bilineal simtrica
g : V V R tal que g(~u, ~v) = g(~v, ~u) = ~u ~v, ~u, ~v V. Dada una base {~ei }
de V, sus componentes son gij = g(~ei , ~e j ) = ~ei ~e j .
A5
Apndice A. Tensores
A.4.
Tensor de Levi-Civita
i1 , i2 , . . . , in permutacin par de 1, 2, . . . , n
1,
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 dimensiones, las nicas componentes no nulas son
e123 = e312 = e231 = 1
e213 = e321 = e132 = 1
Para ver cmo calcular la paridad de una permutacin para n > 3, consideremos
el caso n = 6 y la secuencia 612453.
1
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
A7
Apndice A. Tensores
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
ei1 i2 ...in ei1 i2 ...in = n!
k
eijk eilm = l m
m lk .
~ (~B C
~) y D
~ Aplicando la definicin de
~ = ~B C.
Solucin. Llamamos ~F = A
producto vectorial resulta
D k = ek ij Bi C j ,
F l = el mk Am D k .
~ ~B) (C
~ D
~ C
~ )(~B D
~ D
~ ),
~ ) = (A
~ ) (A
~ )(~B C
a) ( A
~ ~B) (C
~ D
~ (D
~ ~B) D
~ A
~ ~B).
~)=C
~ A
~ (C
b) ( A
A.5.
Tensores cartesianos
En el espacio cartesiano (es decir, aqul en el que la mtrica es la delta de Kronecker), no sera necesario distinguir entre ndices covariantes y contravariantes:
a j = gij ai = ij ai y los valores de a j y a j coinciden. Por esta razn, podramos escribir todos los ndices arriba o abajo. As, podramos escribir un producto escalar
como a j b j . Naturalmente, esta mtrica es la del espacio eucldeo que se utiliza en
casi toda la fsica clsica y, por ello, esta notacin aparece en muchas disciplinas en
las que se hace uso de los tensores (tensor de inercia en mecnica, el de tensiones
en dinmica de fluidos, etc.).
A9
Apndice B
On the Electrodynamics of Moving
Bodies, by A. Einstein
I.
II.
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 Translation
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
Electrodynamical part
6.
Transformation of the Maxwell-Hertz Equations for Empty Space. On
the Nature of the Electromotive Forces Occurring in a Magnetic Field
During Motion
7.
Theory of Dopplers Principle and of Aberration
8.
Transformation of the Energy of Light Rays. Theory of the Pressure
of Radiation Exerted on Perfect Reflectors
9.
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account
10. Dynamics of the Slowly Accelerated Electron
B1
It is known that Maxwells electrodynamicsas usually understood at the present timewhen applied to moving bodies, leads to asymmetries which do not
appear to be inherent in the phenomena. Take, for example, the reciprocal electrodynamic action of a magnet and a conductor. The observable phenomenon here
depends only on the relative motion of the conductor and the magnet, whereas the
customary view draws a sharp distinction between the two cases in which either
the one or the other of these bodies is in motion. For if the magnet is in motion
and the conductor at rest, there arises in the neighbourhood of the magnet an electric field with a certain definite energy, producing a current at the places where
parts of the conductor are situated. But if the magnet is stationary and the conductor in motion, no electric field arises in the neighbourhood of the magnet. In the
conductor, however, we find an electromotive force, to which in itself there is no
corresponding energy, but which gives riseassuming equality of relative motion
in the two cases discussedto electric currents of the same path and intensity as
those produced by the electric forces in the former case.
Examples of this sort, together with the unsuccessful attempts to discover any
motion of the earth relatively to the light medium, suggest that the phenomena of
electrodynamics as well as of mechanics possess no properties corresponding to the
idea of absolute rest. They suggest rather that, as has already been shown to the first
order of small quantities, the same laws of electrodynamics and optics will be valid
for all frames of reference for which the equations of mechanics hold good.1 We will
raise this conjecture (the purport of which will hereafter be called the Principle
of Relativity) to the status of a postulate, and also introduce another postulate,
which is only apparently irreconcilable with the former, namely, that light is always
propagated in empty space with a definite velocity c which is independent of the
state of motion of the emitting body. These two postulates suffice for the attainment
of a simple and consistent theory of the electrodynamics of moving bodies based
on Maxwells theory for stationary bodies. The introduction of a luminiferous
ether will prove to be superfluous inasmuch as the view here to be developed
will not require an absolutely stationary space provided with special properties,
nor assign a velocity-vector to a point of the empty space in which electromagnetic
processes take place.
1 The
preceding memoir by Lorentz was not at this time known to the author.
B3
I.
Kinematical part
1.
Definition of Simultaneity
Let us take a system of co-ordinates in which the equations of Newtonian mechanics hold good.2 In order to render our presentation more precise and to distinguish 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 measurement 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 definition 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.
2 i.e.
B4
I. Kinematical part
We might, of course, content ourselves with time values determined by an observer stationed together with the watch at the origin of the co-ordinates, and coordinating 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 coordination has the disadvantage that it is not independent of the standpoint of the
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
0 .
at B in the direction of A, and arrive again at A at the A time tA
In accordance with definition the two clocks synchronize if
0
tB tA = tA
tB .
B5
t0A
2.
The following reflexions are based on the principle of relativity and on the
principle of the constancy of the velocity of light. These two principles we define
as follows:
1. The laws by which the states of physical systems undergo change are not
affected, whether these changes of state be referred to the one or the other of two
systems of co-ordinates in uniform translatory motion.
2. Any ray of light moves in the stationary system of co-ordinates with the
determined velocity c, whether the ray be emitted by a stationary or by a moving
body. Hence
velocity =
light path
time interval
I. Kinematical part
system the two ends of the rod to be measured are located at a definite time. The
distance between these two points, measured by the measuring-rod already employed, which in this case is at rest, is also a length which may be designated the
length of the rod.
In accordance with the principle of relativity the length to be discovered by the
operation (a)we will call it the length of the rod in the moving systemmust
be equal to the length l of the stationary rod.
The length to be discovered by the operation (b) we will call the length of the
(moving) rod in the stationary system. This we shall determine on the basis of our
two principles, and we shall find that it differs from l.
Current kinematics tacitly assumes that the lengths determined by these two
operations are precisely equal, or in other words, that a moving rigid body at the
epoch t may in geometrical respects be perfectly represented by the same body at
rest in a definite position.
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 synchronization of two clocks. Let a ray of light depart from A at the time4 tA , let
0 . Taking into
it be reflected at B at the time tB , and reach A again at the time tA
consideration the principle of the constancy of the velocity of light we find that
tB tA =
r
rAB
0
and tA
tB = AB
cv
c+v
where rAB denotes the length of the moving rodmeasured in the stationary system. 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.
4 Time
here denotes time of the stationary system and also position of hands of the moving
clock situated at the place under discussion.
B7
3.
Let us in stationary space take two systems of co-ordinates, i.e. two systems,
each of three rigid material lines, perpendicular to one another, and issuing from
a point. Let the axes of X of the two systems coincide, and their axes of Y and Z
respectively be parallel. Let each system be provided with a rigid measuring-rod
and a number of clocks, and let the two measuring-rods, and likewise all the clocks
of the two systems, be in all respects alike.
Now to the origin of one of the two systems (k) let a constant velocity v be
imparted in the direction of the increasing x of the other stationary system (K),
and let this velocity be communicated to the axes of the co-ordinates, the relevant
measuring-rod, and the clocks. To any time of the stationary system K there then
will correspond a definite position of the axes of the moving system, and from
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.
I. Kinematical part
according to the rule given in 1.
From the origin of system k let a ray be emitted at the time 0 along the Xaxis 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:
1
x0
x0
x0
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
2
1
1
+
cv c+v
= 0+
,
t
x
c v t
or
v
+ 2
= 0.
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.
An analogous considerationapplied to the axes of Y and Zit being borne
in mind that light is always propagated along these axes, when viewed from the
= 0,
= 0.
y
z
v
= a t 2
x0
2
c v
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 expressing 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
B9
But the ray moves relatively to the initial point of k, when measured in the stationary system, with the velocity c v, so that
x0
= t.
cv
If we insert this value of t in the equation for , we obtain
=a
c2
x0 .
c2 v2
In an analogous manner we find, by considering rays moving along the two other
axes, that
v
= c = ac t 2
x0
c v2
when
y
c2
v2
= t, x 0 = 0.
Thus
= a
c
c2
v2
y and = a
c
c2
v2
z.
= (v) (t vx/c2 ),
= (v) ( x vt),
= (v)y,
= (v)z,
where
B10
I. Kinematical part
1
1 v2 /c2
equations of the Lorentz transformation may be more simply deduced directly from the
condition that in virtue of those equations the relation x2 + y2 + z2 = c2 t2 shall have as its consequence the second relation 2 + 2 + 2 = c2 2 .
** Editors note: In Einsteins original paper, the symbols ( , H, Z) for the co-ordinates of the moving
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.
B11
=
=
=
=
=
=
=
=
(v)(v)t,
(v)(v) x,
(v)(v)y,
(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
x1 = vt, y1 =
l
, 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
B12
I. Kinematical part
= (t vx/c2 ),
= ( x vt),
= y,
= z,
where
= 1/
4.
1 v2 /c2 .
x2
1 v2 /c2 )2
+ y 2 + z 2 = R2 .
A rigid body which, measured in a state of rest, has the form of a sphere, therefore has in a state of motionviewed from the stationary systemthe form of an
ellipsoid of revolution with the axes
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
6 That
B13
1
1 v2 /c2
(t vx/c2 ).
Therefore,
=t
1 v2 /c2 = t (1
1 v2 /c2 )t
whence it follows that the time marked by the clock (viewed in the stationary
B14
I. Kinematical part
journey lasting t seconds, then by the clock which has remained at rest the travelled
clock on its arrival at A will be 21 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.
5.
In the system k moving along the axis of X of the system K with velocity v, let
a point move in accordance with the equations
= w , = w , = 0,
where w and w denote constants.
Required: the motion of the point relatively to the system K. If with the help of
the equations of transformation developed in 3 we introduce the quantities x, y,
z, t into the equations of motion of the point, we obtain
w + v
t,
1 + vw /c2
1 v2 /c2
w t,
1 + vw /c2
z = 0.
Thus the law of the parallelogram of velocities is valid according to our theory
only to a first approximation. We set
dx
dt
2
dy
dt
2
,
w2 = w2 + w2 ,
a = tan1 w /w , **
7 Not
a pendulum-clock, which is physically a system to which the Earth belongs. This case had
to be excluded.
** Editors
note: This equation was incorrectly given in Einsteins original paper and the 1923 English
translation as a = tan1 wy /w x .
B15
a is then to be looked upon as the angle between the velocities v and w. After a
simple calculation we obtain
p
V=
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=
v+w
.
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
V=c
2c
< c.
2c + /c
V=
c+w
= 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 **
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 corresponding to our two principles, and we proceed to show their application to electrodynamics.
**
B16
II.
Electrodynamical part
6.
Let the Maxwell-Hertz equations for empty space hold good for the stationary
system K, so that we have
1 X
c t
N
y
M
z ,
1 L
c t
Y
z
Z
y ,
1 Y
c t
L
z
N
x ,
1 M
c t
Z
x
X
z ,
1 Z
c t
M
x
L
y ,
1 N
c t
X
y
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 referring the electromagnetic processes to the system of co-ordinates there introduced,
moving with the velocity v, we obtain the equations
1 X
c
1
c
Y vc N
Z + vc M
N vc Y
M + vc Z ,
N vc Y ,
M + vc Z
L
,
1 L
v
=
Z
+
M
,
c
c
1
v
M
+
Z
=
Z
+
M
X
c
c
c
,
v
X
v
1
Y
=
N
,
c
c
c
1
c
where
notas edc (v. 1.0)
B17
= 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
c
N0
M
,
1 L0
c
Y0
Z
,
1 Y0
c
L0
N
,
1 Z0
c
M0
L
,
1 M0
c
Z0
X
,
1 N0
c
X0
Y
.
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 MaxwellHertz 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,
Y0 = (v) Y vc N , M0 = (v) M + vc Z ,
Z0 = (v) Z + vc M , N0 = (v) N vc Y .
If we now form the reciprocal of this system of equations, firstly by solving
the equations just obtained, and secondly by applying the equations to the inverse
transformation (from k to K), which is characterized by the velocity v, it follows,
when we consider that the two systems of equations thus obtained must be identical, that (v)(v) = 1. Further, from reasons of symmetry8 and therefore
for example, X=Y=Z=L=M=0, and N 6= 0, then from reasons of symmetry it is clear that when
v changes sign without changing its numerical value, Y0 must also change sign without changing
its numerical value.
8 If,
B18
(v) = 1,
and our equations assume the form
X0 = X,
L0 = L,
Y0 = Y vc N , M0 = M + vc Z ,
Z0 = Z + vc M , N0 = N vc Y .
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 stationary 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.)
B19
7.
In the system K, very far from the origin of co-ordinates, let there be a source of electrodynamic waves, which in a part of space containing the origin of
co-ordinates may be represented to a sufficient degree of approximation by the
equations
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 ,
0
Z0 = (Z0 + vM0 /c)nsen 0 , N0 = (N0 vY
o0 /c) sen ,
0 = 0 1c (l 0 + m0 + n0 )
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
B20
1 v/c
.
1 + v/c
cos v/c
.
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 system. 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
A 0 = A2
(1 cos v/c)2
1 v2 /c2
A 0 = A2
1 v/c
.
1 + v/c
Editors note: Erroneously given as l 0 in the 1923 English translation, propagating an error, despite
a change in symbols, from the original 1905 paper.
**
B21
8.
Since A2 /8 equals the energy of light per unit of volume, we have to regard
2
A0 /8, by the principle of relativity, as the energy of light in the moving system.
2
Thus A0 /A2 would be the ratio of the measured in motion to the measured
at rest energy of a given light complex, if the volume of a light complex were
the same, whether measured in K or in k. But this is not the case. If l, m, n are
the direction-cosines of the wave-normals of the light in the stationary system, no
energy passes through the surface elements of a spherical surface moving with the
velocity of light:
If S is the volume of the sphere, and S0 that of this ellipsoid, then by a simple
calculation
1 v2 /c2
S0
=
.
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
B22
E0
=
E
1 v/c
.
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.
Let the incidental light be defined by the quantities A, cos , (referred to
system K). Viewed from k the corresponding quantities are
1 cos v/c
,
A0 = A
1 v2 /c2
cos v/c
,
cos 0 =
1 cos v/c
1 cos v/c
0 =
.
1 v2 /c2
For the reflected light, referring the process to system k, we obtain
A00 = A0
cos 00 = cos 0
00 = 0
Finally, by transforming back to the stationary system K, we obtain for the reflected
light
1 + cos00 v/c
1 2 cos v/c + v2 /c2
=A
A000 = A00
,
1 v2 /c2
1 v2 /c2
cos 00 + v/c
(1 + v2 /c2 ) cos 2v/c
cos 000 =
=
,
1 + cos 00 v/c
1 2 cos v/c + v2 /c2
1 + cos 00 v/c
1 2 cos v/c + v2 /c2
000 = 00
=
.
1 v2 /c2
1 v2 /c2
notas edc (v. 1.0)
B23
A2 (cos v/c)2
.
8 1 v2 /c2
In agreement with experiment and with other theories, we obtain to a first approximation
P = 2
A2
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.
9.
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account
1
c
X
1
c
Y
1
c
Z
t
t
t
+ ux
N
y
M
z ,
1 L
c t
Y
z
Z
y ,
+ uy
L
z
N
x ,
1 M
c t
Z
x
X
z ,
+ uz
M
x
L
y ,
1 N
c t
X
y
Y
x ,
where
=
B24
X Y Z
+
+
x
y
z
notas edc (v. 1.0)
N0
M
,
Y0
+ u 0
L0
N
,
Z0
M0
L
,
1
c
X0
1
c
1
c
+ u
+ u
1 L0
c
Y0
Z
,
1 M0
c
Z0
X
,
1 N0
c
X0
Y
,
where
ux v
1 u x v/c2
uy
=
(1 u x v/c2 )
uz
=
,
(1 u x v/c2 )
u =
u
u
and
0 =
X0 Y0 Z 0
+
+
= (1 u x v/c2 ).
Sinceas follows from the theorem of addition of velocities ( 5)the vector
(u , u , u ) is nothing else than the velocity of the electric charge, measured in
the system k, we have the proof that, on the basis of our kinematical principles, the
electrodynamic foundation of Lorentzs theory of the electrodynamics of moving
bodies is in agreement with the principle of relativity.
notas edc (v. 1.0)
B25
10.
d2 x
= 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,
viewed from the system k, moves in accordance with the equations
B26
d2
= eX0 ,
2
d
d2
m 2 = eY0 ,
d
d2
m 2 = eZ0 ,
d
m
e
d2 x
=
X
dt2
m3
2
d y
e
v
(A)
=
Y
N
m
c
dt2
2
d z
= e Z + vM
dt2
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
2
m3 ddt2x = eX
d2 y
m2 dt2
2
m2 ddt2z
= eX0 ,
= e Y vc N = eY0 ,
= e Z + vc M = eZ0 ,
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
maintain the equationmass acceleration = forceand if we also decide that
9 The
definition 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.
B27
Longitudinal mass =
( 1 v2 /c2 )3
m
Transverse mass =
.
1 v2 /c2
Z v
eX dx = m
3 v dv
0
1
2
1 .
= mc
1 v2 /c2
W =
m
Xdx = c2
e
1
1 v2 /c2
1 .
3. We calculate the radius of curvature of the path of the electron when a magnetic 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
ev
v2
d2 y
=
N
2 =
R
mc
dt
r
1
v2
c2
or
R=
1
mc2
v/c
.
2
2
e
1 v /c 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.
B29
http://www.fourmilab.ch/
B30
Apndice C
C1
where c denotes the velocity of light. We shall make use of this result in what
follows.
Let there be a stationary body in the system (x, y, z), and let its energyreferred
to the system (x, y, z) be E0 . Let the energy of the body relative to the system (, , )
moving as above with the velocity v, be H0 .
Let this body send out, in a direction making an angle with the axis of x, plane
waves of light, of energy 12 L measured relatively to (x, y, z), and simultaneously an
equal quantity of light in the opposite direction. Meanwhile the body remains at
* The
principle of the constancy of the velocity of light is of course contained in Maxwells equa-
tions.
C3
H0 E0 (H1 E1 ) = L
1
1 v2 /c2
1 .
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,
since C does not change during the emission of light. So we have
K0 K1 = L
1
1 v2 /c2
1 .
K0 K1 =
1L 2
v .
2 c2
If the theory corresponds to the facts, radiation conveys inertia between the
emitting and absorbing bodies.
C5
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 Annalen 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/
C6
Apndice F
Frmulas
~u (~u ~v) = 0
(F.1.1)
~u (~v w
~ ) = (~u w
~ )~v (~u ~v)~
w
(F.1.2)
(F.1.3)
~u (~v w
~ ) = ~v (~
~ (~u ~v)
w ~u) = w
(F.1.4)
(F.2.1)
~ ( f ~u) =
~ f ~u + f
~ ~u
~ ( f ~u) =
~ f ~u + f
~ ~u
(F.2.3)
(F.2.4)
(F.2.5)
~ (~u ~v) = ~v (
~ ~u) ~u (
~ ~v)
~ u ~v) = (~u )~
~ v + (~v )~
~ u + ~u (
~ ~v) + ~v (
~ ~u)
(~
(F.2.2)
~ (
~ ~v) = (
~
~ ~v)
~ 2~v
~ (
~ G
~) = 0
(F.3.1)
~ (
~ G) = 0
~ (f
~ g) =
~ f
~ g + f
~ 2g
(F.3.3)
(F.3.2)
(F.3.4)
F1
Apndice F. Frmulas
~ ~x = 0
~ ~x = 3
(F.4.1)
(F.4.2)
~ 1 = x
|~x |
|~x |2
~ 2 1 = 43 (~x )
|~x |
~ 2 1 = 43 (~x )
~ ~x =
3
|~x |
|~x |
~ x | = x
|~
(F.4.3)
(F.4.4)
(F.4.5)
(F.4.6)
(F.5.1)
(F.5.2)
ez = cos er sen e
(F.5.3)
(F.5.4)
(F.5.5)
e = sen ex cos ey
(F.5.6)
Laplaciano en esfricas:
1
1
~ 2 f = 1 r (r 2 r f ) +
(sen f ) + 2
2 f
2
2
r
r sen
r sen2
(F.6.1)
~ 2 f = 1 r (rr f ) + 1 2 f
r
r
(F.6.2)
F2
1
2( x ) =
2
dkeikx
(F.6.3)