Professional Documents
Culture Documents
Electrodinmica clsica
Luis J. Garay
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.
Agradecera que me comunicaseis cualquier errata que pudieseis encontrar. Sin
duda alguna, sern muchas. De hecho, quiero dar las gracias a todos los alumnos
que han seguido este curso por haber contribuido notablemente a disminuir el
nmero de errores.
Recibid un saludo de mi parte,
luis j. garay
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. httpXGGwwwFplsmFuuFseGgihGfookF
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.
F. Rohrlich, Classical Charged Particles, Addison-Wesley, 1990.
J. Schwinger, L.L. DeRaad Jr., K.A. Milton y Wu-yang Tsai, Classical Electrodynamics, Perseus Books, 1998.
P. Ramond, Field Theory: A Modern Primer, 2nd. ed., Addison-Wesley, 1990.
A.P. French, Relatividad Especial, Revert, 1996.
A. Ibort y M.A. Rodrguez, Notas de lgebra lineal,
httpXGGwwwFumFesGinfoGmetodosGpdfGepuntesGFFF
FFFlgEimrGlgEimrFpdfF
S.M. Carroll, Lecture notes on general relativity, Captulo 1
httpXGGesFrxivForgGsGgrEqGWUIPHIWF
J.I. Illana, El signicado de la relatividad,
httpXGGwwwFugrFesGjillnGGsrFpdfF
luis j. garay
05
ndice
1. Ecuaciones de Maxwell
11
13
13
14
14
14
15
15
16
18
18
18
1.3.3. Polarizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
110
111
111
1.4.2. Modos TE y TM . . . . . . . . . . . . . . . . . . . . . . . . .
112
114
116
116
117
118
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
123
luis j. garay
07
ndice
2. Teora especial de la relatividad
21
23
24
25
26
27
2.2.1. Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
29
210
2.2.4. Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
210
2.2.5. Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
210
213
214
214
214
218
220
220
220
2.4.3. Fuerzas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
224
224
224
226
2.5.3. Casimires . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
227
227
227
231
233
239
2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
08
23
241
luis j. garay
ndice
3. Partculas cargadas y campos electromagnticos
31
33
33
35
35
37
38
38
311
312
312
314
315
315
318
319
320
321
323
324
326
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
329
4. Radiacin electromagntica
41
43
43
45
411
413
413
413
luis j. garay
09
ndice
4.2.3. Renormalizacin electrodinmica de la masa . . . . . . . . .
415
416
418
418
420
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
423
A. Tensores
A1
A3
A3
A5
A5
A9
C1
Kinematical part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
C4
1.
Denition of Simultaneity . . . . . . . . . . . . . . . . . . . .
C4
2.
C6
3.
C7
C12
C13
Electrodynamical part . . . . . . . . . . . . . . . . . . . . . . . . . .
C15
4.
5.
II.
6.
Transformation of the Maxwell-Hertz Equations for Empty Space. On the Nature of the Electromotive Forces Occurring in a Magnetic Field During Motion . . . . . . . . . .
C15
7.
C18
8.
C20
9.
10.
010
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account . . . . . . . . . . . . . . . . C22
Dynamics of the Slowly Accelerated Electron . . . . . . . .
luis j. garay
C23
ndice
D. Does the Inertia of a Body Depend upon its Energy-Content?, by A. Einstein
D1
F. Frmulas
F1
luis j. garay
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 supercie
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
luis j. garay
11
1.1.
Ecuaciones de Maxwell
1.1.1.
E = 1 ,
0
(1.1a)
B c 2 t E = 0 j ,
(1.1b)
E + t B = 0,
(1.1c)
B = 0,
(1.1d)
j ( x , t ) = q v ( x , t ) 3 ( x x 0 ).
luis j. garay
13
1.1.2.
C = E, B,
0
1
si
si
s<0
s > 0.
C =
C + (s) +
C =
C + (s) +
C (s) + n (C + C )(s),
C (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 supercie s = 0:
n ( E + E ) = / 0 ,
(1.4a)
n ( B + B ) = 0 K ,
(1.4b)
n ( E + E ) = 0,
(1.4c)
n ( B + B ) = 0.
(1.4d)
1.2.
Leyes de conservacin
1.2.1.
Conservacin de carga
La distribucin de carga debe satisfacer la ecuacin de continuidad, que se obtiene manipulando las ecuaciones de Maxwell:
t +
j = 0.
14
luis j. garay
1.2.2.
t ( 0 E 2 + 0 1 B 2 ) +
2
donde
S = E j
(1.5)
S = 0 1 E B
( 0 E 2 + 0 1 B 2 )
2
(1.6)
1.2.3.
0 1 B ( B ) = 0], obtenemos
f = 0 t ( E B ) + 0 [ E (
E) E (
E )] + 0 1 [ B (
luis j. garay
B) B (
B )].
15
E ) + (E
+ 0 1 [ B (
)E
B ) + (B
)B
E 2 /2]
B 2 /2].
(1.7)
donde
1
1
T ij = 0 ( Ei E j ij E 2 ) + 0 1 ( Bi B j ij B 2 ).
2
2
Ejercicio 1.2.5 Obtener este resultado.
(1.8)
1.2.4.
Propiedades de transformacin
Sea i j una transformacin constante de las coordenadas x i = i j x j tal que deja invariante x 2 . Entonces, i j es una rotacin y su determinante es det = 1.
Las transformaciones con determinante positivo son rotaciones en sentido estricto
(propias) y las que tienen determinante negativo incluyen reexiones que consideraremos por separado.
Ejercicio 1.2.6 Demostrar esta armacin.
Denimos vector como aquel objeto que se transforma bajo una rotacin propia (R)
de la misma manera que el vector de posicin y un escalar es aquel que no se ve
afectado por las rotaciones.
Las reexiones (S) son las transformaciones x = x . Un vector se transforma como x bajo reexiones. Un pseudovector es un vector que bajo reexiones
mantiene su valor, es decir, que no cambia de signo.
16
luis j. garay
R-vector,
S-vector,
T.
R-vector,
S-vector,
T+.
R-vector,
S-vector,
T+.
B . De F = qv B , vemos que B es un vector bajo rotaciones. Bajo reexiones F y v son vectores y, por tanto, cambian de signo. As, B lo preserva y
es pseudovector. Bajo inversin temporal, F no cambia y v s. Por tanto, B
cambia de signo bajo inversin temporal.
B:
R-vector,
S-pseudovector,
T.
R-escalar,
S-escalar,
T+.
R-vector,
S-vector,
T.
luis j. garay
17
A:
R-vector,
S-vector,
T.
u. De su denicin (frmula 1.6), vemos que la densidad de energa electromagntica es un escalar bajo las tres transformaciones.
u:
R-escalar,
T+.
S-escalar,
R-tensor,
T+.
S-tensor,
1.3.
1.3.1.
1.3.2.
B + c2 2 B = 0.
t
Ondas planas
18
luis j. garay
k E = 0,
k B = 0.
(1.10)
Es decir, las ondas electromagnticas planas son transversales. Por ltimo, de la
ecuacin de Maxwell 1.1c y usando las frmulas F.2.2, F.2.4 y F.4.1 obtenemos una
restriccin adicional:
B = k E
cB = k E .
(1.11)
En las ondas planas, los campos elctrico y magntico, no solo son perpendiculares
al vector de nmero de onda k , sino que, adems, son perpendiculares entre s
1.3.3.
Polarizacin
(1.12)
luis j. garay
19
1.3.4.
0 S = ReE Re B =
Los campos E y B de una onda plana tienen una dependencia temporal eit . Por
tanto, al calcular el promedio temporal, denido mediante la expresin
F (t) = lm
1
T
+ T/2
T/2
dt F (t + t ),
(1.13)
el primer trmino se anula por ser oscilante e2it y nos queda solo el segundo
trmino:
1
Re( E B ).
S t=
20
Anlogamente, la densidad de energa es
1
[ 0 (ReE )2 + 0 1 (Re B )2 ]
2
1
1
= [ 0 Re( E 2 ) + 0 1 Re( B 2 )] + ( 0 E E + 0 1 B B )
4
4
u=
y, por tanto, en el promedio temporal, el primer trmino se anula por ser oscilante:
u
= ( 0 E E + 0 1 B B ).
4
B B = (k E ) (k E )/c2 = E E /c2 ,
E B = E (k E )/c = ( E E )k/c,
donde hemos utilizado las ecuaciones 1.10, 1.11, F.1.2 y F.1.3. Por tanto,
S
( E E )k,
20 c
1
E E
20 c2
110
luis j. garay
= ck.
1.4.
Guas de ondas
c 2 2 C +
t
C = 0,
C = E, B,
junto con las condiciones de contorno en las paredes del conductor obtenidas de
las condiciones de empalme 1.4:
E |S = B |S = 0,
(1.14)
+ ( 2 /c2 k2 )C = 0,
(1.15)
C = C t + Cz ez .
1.4.1.
Modos TEM
luis j. garay
111
B tem = c1 ez E tem ,
que obviamente satisface la condicin de contorno B tem, |S = 0
Ejercicio 1.4.1 Obtener estos resultado mediante sustitucin directa en las ecuaciones de Maxwell de C = C tem .
Si calculamos el rotacional de la primera ecuacin de 1.16 y hacemos uso de la
frmula F.3.1 y de la segunda ecuacin, obtenemos 2 E tem = 0, de manera que la
t
ecuacin 1.15 tambin nos indica que = ck, como en un medio innito.
Es interesante notar que, en un cilindro hueco, este modo TEM no puede existir
puesto que la supercie del conductor es equipotencial y, en consecuencia, dentro
de la gua no puede existir campo elctrico ni magntico: es necesaria una gua
coaxial.
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:
E t = i2 (k
t Ez
ez
B t = i2 [k
t Bz
+ ( 2 /c2 )ez
t Bz ),
(1.17a)
t Ez ],
(1.17b)
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.
(1.18)
ik E t + i ez B t =
ez (
E t ) = iBz ,
ik B t i (/c2 )ez E t =
ez (
t Ez ,
t Bz ,
B t ) = i (/c2 ) Ez ,
(1.19a)
(1.19b)
(1.19c)
(1.19d)
ikEz ,
(1.19e)
112
Et =
Bt =
ikBz .
(1.19f)
luis j. garay
en toda la gua,
Ez |S = 0
(TM)
n Bz |S = 0
en toda la gua,
(TE).
ez E t ,
Z
(1.20)
k/( 0 )
0 /k
(TM)
(TE).
As, basta con conocer uno de ellos para tener una solucin completa.
Las ecuaciones 1.17 nos permiten determinar las componentes transversales a
partir de Ez y Bz :
Et =
ik
2
t Ez
Bt =
(TM),
ik
2
t Bz
(TE).
(1.21)
Bt, = n B t n (ez E t ) = E t (n ez ) = Et,
luis j. garay
113
t Bz ,
luego Bt, |S = n B t |S n Bz |S = 0.
2
t
+ 2 )Cz = 0
(TM),
n Bz |S = 0
(TE),
2
2 n .
(1.22)
As, solo los modos para los que n se pueden propagar en la gua. Puesto
que n son los autovalores en una seccin nita de una cavidad, estn cuantizados
y n n/R donde R es una longitud caracterstica de la seccin (el lado de una
gua de seccin cuadrada, por ejemplo). Por tanto, existe solo un nmero nito de
modos tales que n y, a menudo, se elige la gua de forma que solo exista un
modo.
Es interesante notar que, puesto que /c es el nmero de onda en el espacio
libre y k n /c, la velocidad de fase v f ,n = /k n c y, de hecho, es innita para
= n .
1.4.3.
Potencia y energa
114
1
1
1
1
E B =
(E t B t ) +
Bz E t ez +
Ez ez B t .
20
20
20
20
luis j. garay
E tem E tem
20 c2
= c ez .
Para ondas TM, Bz = 0, usamos las expresiones 1.20 y 1.21, junto con la frmula
F.1.2, y obtenemos
S
k2
= 4 [|
2 Z
t Ez |
t Ez ].
ez + i (2 /k) Ez
2
t ez d x t =
k2
24 Z
P=
Ez (n
t Ez
u d2 x t =
t Ez ) dlt
Ez (n Ez ) dlt
t Ez
Ez
Ez
2
t Ez
2
t Ez
d2 x t .
n u dlt , podemos
d2 x t
d2 x t .
El primer trmino se anula por las condiciones de contorno y, por tanto, utilizando
la ecuacin de onda para Ez , la potencia transmitida por una onda TM resulta
P=
c 0
2
1 (n / )2
| Ez |2 d2 x t
(TM).
| Bz |2 d2 x t
(TE).
1 (n / )2
d2 x t =
1 (n / )2
luis j. garay
P.
115
1.5.
Potenciales electromagnticos
Las ecuaciones 1.1c y 1.1d son estructurales e implican que existen y A denidos localmente tales que
E =
t A ,
A.
B=
(1.23)
A =A+
f,
(1.24)
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.
Para obtener ecuaciones en las que solo aparece el potencial electromagntico
A ) en presencia de , j , introducimos las relaciones 1.23 en las ecuaciones de
Maxwell y obtenemos:
( A0 ,
2
2
116
A c 2 2 A
t
= / 0 t (
A ),
A ) = 0 j + c2 t .
luis j. garay
2
2
= 1 + t (
0
A = 0 j
A + c 2 t ),
A + c 2 t ).
1.5.2.
A + c2 t = 0.
La imposicin de esta condicin convierte las ecuaciones de onda se en
c 2 2 A +
t
donde = 0, 1, 2, 3,
A = (/c, A )
A = 0 j .
(1.27)
j = (c, j ).
de Lorenz siempre se puede imponer, es decir, si dada una conguracin Ano que
no satisface la condicin de Lorenz, puede encontrarse mediante transformaciones gauge una nueva conguracin A que s la satisfaga. En otras palabras, nos
preguntamos si existe una funcin f tal que
= no t f ,
A = A no +
f,
luis j. garay
A + c2 t = 0.
117
f c2 2 f = (
t
A no + c2 t no ).
Dado que esta ecuacin diferencial para f siempre tiene solucin, la condicin
de Lorenz siempre se puede imponer. Si esta solucin fuese nica, el gauge estara completamente jado. Sin embargo, todava queda una arbitrariedad adicional
puesto que, si f es una solucin y le aadimos otra funcin f que satisfaga la
ecuacin
2
f c2 2 f = 0,
t
tambin obtendremos otra solucin. Nos queda, por tanto, una libertad gauge residual.
Existen otras formas de jar el gauge como, por ejemplo:
A = 0,
Gauge de Coulomb:
Gauge temporal:
Gauge axial:
1.5.3.
= 0,
A3 = 0
A ( x , t ) = A0 ( x , t ) + 0
d3 x dt G ( x , t; x , t ) j ( x , t ),
donde A0 es una solucin de la ecuacin homognea. La funcin G ( x , t; x , t ) recibe el nombre de funcin de Green o propagador.
La funcin de Green G solo puede depender de la diferencia de tiempos t t y
de posiciones x x . Para verlo, basta con cambiar de variables de x , t a r = x x ,
= t t , de forma que la ecuacin 1.28 se convierte en
(c2 2 +
2
r ) G (r , ; 0, 0)
= 3 (r ) ( ).
(1.29)
118
luis j. garay
r
Sustituyendo en esta ecuacin G () = (2 )1/2 dG ( )ei , utilizando la relacin de dispersin en vaco 2 = c2 k2 y la frmula F.6.3, obtenemos la siguiente
ecuacin para la transformada de Fourier de la funcin de Green:
k2 G + 2 (rG )/r = (2 )1/2 (r )/(4r2 ).
r
(1.30)
(1.31)
ei (
r
r/c)
r/c)
.
4r
Si denimos
t = t
r/c = t
| x x |/c,
como los tiempos retardado y avanzado respectivamente, las funciones de Green correspondientes se pueden escribir
G ( x , t; x , t ) =
(t t )
,
4 | x x |
G = + G+ + G .
(c2 2 +
) G =
1
(2 +
2r
4c
) +
1
2
1
1
+
r 4
c1 r ,
= c2
luis j. garay
21
2 2
,
cr
119
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.29
(c2 2 +
) G =
dd3 r (c2 2 +
) G = 1
= + 0
d3 x dt j ( x , t ) G ( x , t; x , t )
d3 x
j ( x , t+ )
+ 0
4 | x x |
d3 x
j ( x , t )
.
4 | x x |
120
luis j. garay
1
4 0
d3 x
( x , t+ )
,
|x x |
A + ( x , t) =
0
4
d3 x
j ( x , t+ )
.
|x x |
Conviene, por ltimo, recordar que estos potenciales han sido obtenidos en el gauge de Lorenz.
luis j. garay
121
1.6. Ejercicios
1.6.
Ejercicios
0 q m x
.
4 | x |3
un campo magntico
B s = 0 qm ( x )(y) (z)ez .
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 ,
E + t B = 0 J m ,
B = 0 m ,
B c 2 t E = 0 J e .
E = E cos + c B sen ,
e
c = c cos + sen ,
m = ce sen + m cos ,
c J e = c J e cos + J m sen ,
J m = c J e sen + J m cos .
b. Determinar y explicar el carcter (escalar, vectorial, etc.) bajo rotaciones propias, reexiones espaciales e inversin temporal de todas las cantidades electromagnticas involucradas. dem con la conjugacin de carga q q = q.
1.3 Demostrar las siguientes armaciones:
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
j (x ) j (x )
.
|x x |
luis j. garay
123
1
L I 2 + Mij Ii Ij .
2 i i
i
i j <i
( 2 + K 2 ) E ( ) = 0
124
luis j. garay
1.6. Ejercicios
1
4
j L ( x , t) =
1
4
j ( x , t) 3
d x,
|x x |
j ( x , t) 3
d x.
|x x |
luis j. garay
125
A = ey A0 exp i (k x x + k y y t).
Determinar:
a. El potencial escalar en el gauge de Lorenz.
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 reexiones, que la generalizacin de la ley de Ohm para un conductor istropo
sometido a estos campos es
E = r j + R( B j ) + B2 j + ( B j ) B + O ( B3 ),
donde r es la resistividad en ausencia de campo magntico, R es el llamado coeciente de Hall y y son coecientes constantes. Cmo se comporta esta ley bajo
inversin temporal? Por qu?
126
luis j. garay
Tema 2
Teora especial de la relatividad
2.1. Relatividad especial y transformaciones de Lorentz
2.1.1. Postulados de la teora especial de la relatividad
2.1.2. Transformaciones de Lorentz
2.1.3. Adicin de velocidades
2.1.4. Elemento de lnea
2.2. Espaciotiempo de Minkowski
2.2.1. Tensores
2.2.2. El tensor de Levi-Civita
2.2.3. Hipersupercies espaciales
2.2.4. Derivacin
2.2.5. Integracin
2.2.5.1. Integracin a lo largo de una curva
2.2.5.2. Intregracin sobre una supercie bidimensional
2.2.5.3. Integracin en una hipersupercie
2.2.5.4. Integracin en un volumen cuadrimensional
2.2.5.5. Generalizaciones de los teoremas integrales de Gauss y
de Stokes
2.2.6. Cuadrivelocidad y cuadriaceleracin
2.3. Grupo de Poincar
2.3.1. Grupo de traslaciones
2.3.2. Grupo de Lorentz
2.3.3. Operadores de Casimir
2.4. Dinmica relativista
2.4.1. Principio variacional
2.4.2. Cantidades conservadas. Teorema de Noether
2.4.2.1. Cuadrimomento
2.4.2.2. Momento angular
2.4.2.3. Centro de inercia
2.4.2.4. Invariantes de Casimir
luis j. garay
21
22
luis j. garay
2.1.
2.1.1.
luis j. garay
23
dx
dx
dx
=
=
v = V v.
dt
dt
dt
2.1.2.
Transformaciones de Lorentz
z = z,
1 Tambin
24
luis j. garay
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:
t = [t (v/c2 ) x ],
x = ( x vt),
y = y,
z = z.
x = x + ( 1)(v x )v v t,
donde 1 =
(2.3a)
(2.3b)
1 v 2 /c2 y v = v /v siendo v = |v |.
2.1.3.
Adicin de velocidades
dx
d x dt
dx
=
=
dt
dt dt
dt
luis j. garay
dt
.
dt
25
V + ( 1)(v V )v v
V =
(1 c 2 v V )
v y la componente perpendicular V de V = V v + V :
V =
2.1.4.
V v
1 c2 vV
V =
V
.
(1 c2 vV )
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 x 2 ,
que es invariante bajo las transformaciones de Lorentz.
Decimos que dos sucesos estn separados temporalmente o que su intervalo es
de gnero tiempo cuando el cuadrado de su intervalo s2 es negativo. Entonces existe
un sistema de referencia inercial en el que ambos suceso ocurren en el mismo lugar
pero en distintos instantes de tiempo.
Decimos que dos sucesos estn separados espacialmente o que su intervalo es
de gnero espacio cuando el cuadrado de su intervalo s2 es positivo. Entonces existe
un sistema de referencia inercial en el que ambos suceso ocurren en el mismo
instante pero en distintos lugares.
Finalmente, decimos que el intervalo de dos sucesos es de gnero luz o nulo cuando su intervalo s2 se anula. Entonces ambos sucesos estn conectados mediante una
seal luminosa.
Es importante notar que esta clasicacin de los intervalos en gnero tiempo,
espacio o luz es independiente del sistema de referencia inercial elegido y, por
tanto, es absoluta.
26
luis j. garay
ds2 /c2 = dt 1
1 dx 2
= dt/ = d.
c2 dt2
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 espaciotemporal (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 como
ds2 = (dx0 )2 + (dxi )2
i
= diag[1, 1, 1, 1].
Debe que notarse que la signatura (el nmero de autovalores positivos y negativos) de la mtrica espaciotemporal es diferente de la elegida en la mayora de la
luis j. garay
27
x = x .
(2.4)
28
luis j. garay
= ,
de manera que
i = ij j .
0 = 0 ,
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
(, +, +, +). Ntese tambin que las componentes espaciales covariantes y contravariantes coinciden numricamente mientras que las componentes temporales
covariante y contravariante son iguales en mdulo pero de signos contrarios.
(1 ) = .
.
=
2.2.2.
El tensor de Levi-Civita
0,
si hay dos ndices repetidos
Debe notarse que 0123 = 0123 = 1. Adems, el tensor de Levi-Civita es invariante bajo transformaciones de Lorentz ortocronas propias. No lo es bajo reexiones espaciales o temporales.
Ejercicio 2.2.3 Demostrarlo.
Contracciones del tensor de Levi-Civita:
= 4!,
= 2!2! [ ] ,
= 3!1! ,
= 1!3! [ ] ,
luis j. garay
29
2.2.3.
Hipersupercies espaciales
Una hipersupercie (tridimensional) es de gnero espacio si y solo si la separacin entre dos puntos cualesquiera de la supercie es espacial. Esta condicin es
equivalente a exigir que la normal a la hipersupercie sea de gnero tiempo en
todo punto, es decir, n ( x )n ( x ) = 1 x .
Ejercicio 2.2.5 Demostrarlo.
Recordemos que una hipersupercie est denida 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 hipersupercie se preserva bajo transformaciones de Lorentz. As,
las hipersupercies de t = constante son de gnero espacio pues n = (1, 0, 0, 0)
y n n = 1.
Ntese que, bajo transformaciones de Lorentz, las hipersupercies denidas por
t = constante no se transforman en hipersupercies denidas por t = constante
sino en t + v x /c2 = constante.
2.2.4.
Derivacin
f ).
= = c2 2 +
t
2.2.5.
Integracin
2.2.5.1.
210
luis j. garay
Sea x (1 , 2 ) una supercie bidimensional que no sea de gnero nulo. El elemento de rea estar determinado por el rea del paralelogramo formado por los
donde cos = dv1 dv2 /|dv1 ||dv2 |. Esta expresin para el rea innitesimal se puede reescribir de la siguiente manera:
dS2 = |dv1 |2 |dv2 |2 (1 cos2 ) = [|dv1 |2 |dv2 |2 (dv1 dv2 )2 ]
dv1 dv2 dv1 dv2
= dS dS ,
donde
dS =
dv1 dv2
1
2
dS ,
Sea x (u1 , u2 , u3 ) una hipersupercie tridimensional no nula en el espaciotiempo de Minkowski. De forma enteramente anloga al caso anterior, llegamos fcilmente a la conclusin de que la (hiper)rea (el volumen) innitesimal d del
paraleleppedo formado por los tres vectores tangentes cannicos innitesimales
luis j. garay
211
dv1 dv2 dv3
= n d.
0123 d
x,
T d4 x =
T d .
M
212
T d =
luis j. garay
1
2
T dS .
2.2.6.
T dx .
T dS =
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,
du
d2 x
=
.
d
d 2
a
3 (1 c2 vV
)3
va V
a
+ 2 2
.
2 (1 c2 vV )2 c (1 c2 vV )3
Ejercicio 2.2.12 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.
luis j. garay
213
2.3.
Grupo de Poincar
2.3.1.
Grupo de traslaciones
x = ei P x .
Los operadores P son los generadores innitesimales del grupo de traslaciones y
estn ntimamente relacionados con el momento total del sistema, como veremos2 .
Estos operadores obviamente conmutan:
[ 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
En esta seccin, se introducirn los generadores innitesimales 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.
214
luis j. garay
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 innitesimal
= + .
(1 ) = = +
As, podemos concluir que el tensor es antisimtrico y, como tal, tiene seis
componentes independientes.
Para boosts innitesimales con velocidades vi , las nicas componentes no nulas
son
0i = i0 = vi /c i .
En las rotaciones innitesimales, solo intervienen las componentes espaciales. Por
tanto, podemos escribir las nicas componentes no nulas
ij =
ijk
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 innitesimal general, las componentes no nulas de
son
0i = i0 = i ,
ij = ijk k .
Electrodinmica clsica (2007/5/29)
luis j. garay
215
(2.6)
1
2
ijk
Ki = L0i ,
L jk ,
[ Li , L j ] = i
k
ij Lk ,
[ Li , K j ] = i
k
ij Kk ,
[ Ki , K j ] = i
k
ij Lk .
( n L )3 = n L ,
( n K )3 = n K .
216
luis j. garay
= exp(i L + i K ),
ijk
jk /2
y i = 0i .
Puesto que son los parmetros de boost, deben ser funcin de la velocidad
del boost. Para obtener esta relacin, aplicamos una transformacin de Lorentz con
= 0 y, haciendo uso del resultado del problema 2.12, obtenemos
= v arctanh(v/c).
Ejercicio 2.3.3 Obtener este resultado.
Ejercicio 2.3.4 Haciendo uso de que x = (op x ) = (mat ) x , probar que, si
= e1 y = 0,
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 J 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
reejan 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.
luis j. garay
217
0 0 0 0
0 0 0 0
0 0 0 0
, L2 = 0 0 0 i ,
L1 =
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
0
0
L3 =
0
0
0
0
K3 =
0
i
0 0
0 i
i 0
0 0
0
0
0
0
0
0
0
0
0
0
,
0
0
i
0
,
0
0
Li x = ( Lmat ) x ,
i
op
Ki x = (Kimat ) x ,
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 denen nuestro sistema. Una condicin de
contorno natural es que los sistemas tengan una extensin nita, es decir, que
(t, x = ) = 0. Mediante separacin de variables, obtenemos inmediatamente
un espectro continuo de autovalores m2 c2 positivos (ver nota 2). Veremos que m es
la masa del sistema.
Para encontrar otro casimir independiente, supongamos que el casimir
P P = 0, es decir, que la masa m es no nula. Entonces, denimos el operador
de Pauli-Lyubarskii
1
W = P J .
2
218
luis j. garay
1
2
ijk
S jk .
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 conguracin 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 al operador h que establece la proporcionalidad,
entonces tenemos W = hP . El clculo de la helicidad es sencillo: puesto que
W 0 = 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 S i
ijk
Pj S0k = hPi .
luis j. garay
219
2.4.
Dinmica relativista
2.4.1.
Principio variacional
L(, x , x )d,
2
1
2
1
L
L
d
x + x x
x
L
d L
L
d x x d + x x
.
1
x
En el caso de un sistema con varias partculas, el lagrangiano ser de la forma
xn
xn
2.4.2.
n = 1, 2 . . . .
x xn
220
luis j. garay
Cuadrimomento
L
.
En efecto,
d L
L
= x ,
d 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.
La cantidad cP0 tiene dimensiones de energa y se conserva si la accin es in0
variante bajo traslaciones temporales constantes xn = 0 . Luego la energa total
del sistema (por denicin, la cantidad conservada asociada a la invariancia bajo
cambios del origen de tiempos) es E = cP0 .
Anlogamente, Pi tiene dimensiones de momento y se conserva si la accin
i
es invariante bajo traslaciones espaciales constantes xn = i . Por tanto, Pi es el
trimomento total del sistema (por denicin, la cantidad conservada asociada a la
invariancia bajo cambios del origen del sistema de referencia).
luis j. garay
221
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 = J .
x
x
2
donde hemos denido el momento angular asociado a las transformaciones de
Lorentz
J = x p x p ,
que es tambin una cantidad conservada. El momento angular asociado a las rotaciones se puede extraer inmediatamente de J . En efecto,
1 ijk
Jij
2
es conservado si la accin es invariante bajo rotaciones espaciales.
Jk =
xn = xn , existe una cantidad conservada
1
Q = ( xn p xn pn ).
n
2
n
Por tanto, tambin se conserva el momento angular total
J =
( x n p x n p n ).
n
2.4.2.3.
Centro de inercia
0
Dado que, en un sistema aislado, el lagrangiano no depende de xn , podemos
0 = x0 . En un sistema aislado, se conserva, adems, el momento angular
elegir xn
J y la energa P0 ; en particular, se conserva J0i /P0 :
J 0i /P0 =
i
0
(xn pin xn p0 )/P0 = x0 Pi /P0 Xi = constante,
n
n
i
donde X i = n xn p0 /P0 es, por denicin, la posicin del centro de inercia, que se
n
mueve con velocidad constante. Debe notarse que esta denicin no es covariante
y que, por tanto, depende del sistema de referencia elegido.
222
luis j. garay
Invariantes de Casimir
1
2
P J .
Wci =
1
2
Pci,0 Jci, =
1
2
0jk
Pci,0 Jci,jk .
i
Wci =
1 0
P
2 ci
ijk
luis j. garay
Jci,jk
223
ijk
(xn,j + R j ) pn,k = Si +
ijk
R j pn,k ,
n
pero el ltimo trmino se anula debido a que n pn,i = 0. Es decir, el espn solo
depende de la conguracin interna del sistema.
La masa total del sistema m y su momento angular intrnseco S 2 son las nicas
cantidades conservadas e invariantes bajo el grupo de Poincar independientes.
Cualquier otra se puede escribir en trminos de ellas. La demostracin de esta
armacin se basa en que ambos son los casimires del grupo de Poincar y no la
presentaremos aqu.
2.4.3.
Fuerzas
dp
= ( f v /c, f ),
d
donde f = d p /dt.
2.5.
Partcula libre
2.5.1.
Mecnica analtica
224
luis j. garay
d = mc2
dt/ = mc2
1 v 2 /c2 dt.
= mc2
dt 1
dt +
1 v2
+ O [(v/c)4 ]
2 c2
1 2
mv dt + O [(v/c)4 ].
2
1 v 2 /c2 .
S
L
=
= mv .
v
v
m2 c4 + c2 p 2 .
Para obtener esta expresin basta notar que v 2 /c2 = 1 2 y que, por tanto,
2 = 1 + p 2 /(mc)2 .
Ejercicio 2.5.1 Obtener el hamiltoniano de la partcula libre relativista.
Tambin podemos obtener el cuadrimomento variacionalmente notando que la
accin se puede escribir
S = mc
dx dx = mc
luis j. garay
u u d.
225
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
S = mc
w w d,
= mu .
=
w
w w
p =
Por otro lado, el momento nos indica cmo vara la accin de las trayectorias clsicas ante pequeos desplazamientos de las posiciones nales 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
p p = m2 c2 es un invariante y, de esta ecuacin, es fcil obtener la expresin
para cp0 = m2 c4 + c2 p 2 , que es precisamente la energa como hemos visto. Escribiendo esta ecuacin en trminos de la velocidad E = mc2 1 + c2 2 v 2 y expandiendo en serie, obtenemos
E = mc2 + mv 2 /2 + O [(v /c)4 ],
que es la expresin no relativista de la energa total (energa en reposo ms energa
cintica) de una partcula libre en la mecnica de Newton.
Finalmente, la ecuacin de movimiento de la partcula libre es
L
d
S
= x d
x
2.5.2.
L
w
d
(mu ) = 0
d
mu = 0.
Momento angular
El momento angular nos indica cmo vara la accin bajo pequeas rotaciones
espaciotemporales, es decir, bajo transformaciones de Lorentz
x = x .
226
luis j. garay
(2.7)
= mc
u2 + 2u x d
u2 d m
u x d.
es conservado.
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 sistema de referencia inercial,
luis j. garay
227
= ( x ) ( x ) + x ( x ) + O (x2 )
Sea 0 = ( x ) ( x ), es decir, 0 da cuenta del cambio funcional del campo
en el mismo punto x. En trminos de 0 , podemos escribir
= 0 + x ( x ),
donde hemos sustituido ( x ) por ( x ), puesto que la correccin x 0 ( x )
es de orden superior. As, bajo una transformacin innitesimal, sufre un cambio
intrnseco independiente de las coordenadas y otro heredado de la transformacin
de coordenadas. Este ltimo recibe el nombre de trmino de transporte.
En lo que sigue, veremos cunto vale 0 para distintas transformaciones y
campos. De hecho, para estudiar las transformaciones de Lorentz, consideraremos
distintos tipos de campos con leyes de transformacin diferentes: 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 especcamente, de la electrodinmica cuntica.
2.6.1.1.
Traslaciones
Los campos locales fsicamente relevantes dependen de la posicin espaciotemporal relativa a un punto dado (el origen de coordenadas) y, por tanto, son
invariantes bajo traslaciones:
( x ) = ( x ).
Luego, bajo traslaciones innitesimales 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.
228
luis j. garay
Los campos escalares son invariantes bajo transformaciones de Lorentz por denicin. Por tanto, si ( x ) es un campo escalar, no se transformar bajo transfor
maciones de Lorentz innitesimales x = x , es decir, = 0. As,
0 = = 0 + x = 0 + x .
A la vista de la denicin 2.5 del momento angular orbital, el generador innitesimal de las transformaciones de Lorentz,
0 = x =
i
L .
2
i
J ,
2
S 2 = 0.
Los dos casimires que caracterizan un campo escalar son su masa m (el autovalor de P P ) y su espn cero (autovalor de S 2 = 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
[, ] = ,
Electrodinmica clsica (2007/5/29)
luis j. garay
229
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 =
i
i
2i[ ] V = (S ) V ,
2
2
i
J V ,
2
donde
J = L + S
S V = (S ) V .
P P = m2 c2 = 0,
S 2 = W W /(m2 c2 ),
i
J B ,
2
230
luis j. garay
i
J B ,
2
(S )
= (S )
+ (S ) + + (S ) .
2.6.2.
Principio variacional
luis j. garay
231
d4 xL (, , 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 de la accin.
El siguiente principio variacional nos proporciona la teora clsica de campos:
los campos fsicos, cuyos valores estn jados en una cierta hipersupercie, son
aquellos para los que la accin del sistema es estacionaria, es decir, aquellos campos
para los que pequeas variaciones intrnsecas no afectan al valor de la accin.
Bajo un cambio cualquiera de campos 0 que no afecte a las posiciones espaciotemporales, la accin cambia de la siguiente manera3 :
0 S =
d4 x0 L =
d4 x
L
L
0 +
0 ( ) .
( )
d4 x
L
L
0 +
( )
d
M
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 supercie a la accin o, lo que
es lo mismo, una derivada total a la lagrangiana, obtenemos las mismas ecuaciones
de movimiento y lo nico que cambian son las condiciones de contorno.
3 Puesto
232
que puede tener varias componentes, se sobreentiende una suma sobre todas ellas.
luis j. garay
2.6.3.
x 4
La variacin de la accin es
S =
M
M
d4 x ( x L + L ) =
d4 x ( x L + x L + 0 L )
L
L
0 +
0 ,
d4 x (x L ) +
( )
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
S =
d4 x x L +
L
0 .
( )
x a
,
a
0 =
0 a
,
a
a
.
a
d4 x ja a ,
L 0
x
+
.
a
( ) a
Otra expresin equivalente para la densidad de corriente asociada a la transformacin determinada por a se puede obtener sustituyendo 0 = x :
ja = L
L
L
x
+
.
a
( )
( ) a
ja = 0.
luis j. garay
a,
entonces
233
d ja
0= a =
d ja .
2
1
Por tanto, puesto que la eleccin de las supercies 1 y 2 no interviene en el
argumento,
Qa =
d ja =
0
d3 xja
S
=c
a
t2
t1
dt
0
i
d 3 x ( 0 ja + i ja ) .
Q a = 0,
es decir, las cargas se conservan en la evolucin.
2.6.3.1.
T ( j ) = L
234
L
,
( )
luis j. garay
T = 0,
llamada tensor de energa-momento. T no es en general simtrico. Cuando el sistema sea tambin invariante bajo transformaciones de Lorentz, podremos denir un
tensor de energa-momento simtrico equivalente.
d T =
d3 x T 0 ,
que es el momento total del sistema. En la ltima igualdad hemos evaluado la integral de supercie en el sistema de referencia en el que es de la forma t = constante.
=
+
+ L
( )
T = L
L
.
( )
T = L ,
como queramos demostrar.
2.6.3.2.
Invariancia Lorentz
J ( j ) = L + S ,
J = 0,
donde
L
= x T x T ,
= i
L
(S )nm m
( n )
luis j. garay
235
d J =
d3 x J 0
es una cantidad conservada en la evolucin, es decir, es independiente de la supercie de gnero espacio en la que se evale.
Ejercicio 2.6.2 Reproducir los resultados de esta subseccin.
2.6.3.3.
Invariancia Poincar
Vimos que las corrientes Noether estn sujetas a una ambigedad en su denicin: la suma de la divergencia de un tensor antisimtrico arbitrario proporciona
otra corriente Noether equivalente. Si la accin de un sistema es invariante Poincar, entonces podemos aprovechar esta ambigedad para encontrar un tensor de
energa-momento simtrico de divergencia nula:
1
(S + S S ).
2
es antisimtrico en sus dos ltimos ndices, f
Es fcil ver que, puesto que S
es antisimtrico en sus dos primeros y, en consecuencia, las divergencias de T y
T T = T T + S = J = 0.
T = T + f ,
f =
J = J = 0.
Por ltimo, es fcil ver
d ( T T ) = 0,
d ( J J ) = 0
236
luis j. garay
S =
L
L
iq
+
= ( ),
)
( ) (
2
d j =
d3 xj0 =
iq
2c
d3 x (t t ),
luis j. garay
237
S =
Para recuperar la invariancia gauge, podemos denir una nueva accin a partir
de la anterior introduciendo un campo adicional A mediante la sustitucin de la
derivada por la derivada covariante
D = iqA
y tal que la ley de transformacin de A sea A ( x ) = ( x ) (cuya versin nita
es A ( x ) = A ( x ) + ( x )) de forma que
D = iD.
En efecto, tras esta sustitucin, la nueva accin queda
S=
1
d 4 x D (D ) V ( )
2
1
1
d4 x V () + q2 A2 j A ,
2
2
jA =
iq
(D ) D .
2
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
aadir a la accin el trmino cintico correspondiente a este campo, que para preservar la invariancia gauge, debe ser a su vez invariante gauge. Un trmino del tipo
1
d4 xF F con F = A A puede desempear, obviamente, ese papel.
4
El campo electromagntico surge as como un campo reparador de la invariancia
gauge, que asegura la invariancia de la accin bajo cambios de fase locales de los
campos cuando la accin ya es invariante bajo cambios de fase globales.
238
luis j. garay
2.6.4.
Formulacin hamiltoniana
(cL )
(t )
{n ( x ), m (y )} = nm 3 ( x y )
{n ( x ), m (y )} = 0,
{n ( x ), m (y )} = 0,
y el hamiltoniano
H=
d3 xH ( x ),
t = {, H }
d3 xT 00 =
d3 xH /c = H/c,
Pi =
d3 xT 0i =
J0i =
d3 x ( x0 T 0i xi T 00 + S00i ) = x0 Pi +
Jij =
d3 x ( xi T 0j x j T 0i + S0ij ) =
d3 x
L
i =
( 0 )
d3 xi ,
d3 xxi H /c i
d3 xS0i ,
d3 x ( xi j + x j i iSij ).
luis j. garay
239
{( x ), P0 } = {( x ), H }/c = 0
{ ( x ), P i } =
d3 y{( x ), (y )i (y )} = i ( x ),
{( x ), J0i } = x0 i ( x ) + xi 0 ( x ) iS0i ( x ),
{( x ), Jij } = xi j ( x ) + x j i ( x ) iSij ( x ).
Por tanto, podemos concluir que
op
P i = i { , P },
op
Ki
= i { , J0i },
op
Ji
= i { , Ji }
{ P , H } = {Ki , H } = { Ji , H } = 0,
es decir, que son cantidades conservadas.
Ejercicio 2.6.5 Demostralo.
240
luis j. garay
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 Prxima 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+
(1 cos )
mc2
2.6 Una partcula de masa m se desintegra en otras dos de masas m1 y m2 . Demostrar que la energa de la partcula 1 en el sistema de referencia solidario con la
partcula desintegrada es
m2 + m2 m2 2
2
1
E1 =
c .
2m
luis j. garay
241
x = ( + ) x ,
x = ( + ) x .
a. Demostrar que = .
b. Demostrar que = .
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.
242
luis j. garay
2.7. Ejercicios
a. Demostrar que si se mide el ngulo inicial entre las dos trayectorias, la masa
de la partcula puede obtenerse mediante la frmula
m2 = m2 + m2 + 2E p E 2p p p cos ,
p
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
S = mc
d4 x
z( )2 ( x z( )),
d4 x
1
()2 + V () ,
2
2m
i
( t t ) V ( x , t) ,
2
luis j. garay
243
Tema 3
Partculas cargadas y campos
electromagnticos
3.1. Partcula en un campo electromagntico
3.1.1. Formulacin lagrangiana
3.1.2. Formulacin cannica
3.1.3. Campo electromagntico
3.1.3.1. Invariancia gauge
3.1.3.2. Invariantes Lorentz
3.2. Movimiento de una partcula cargada en un campo electromagntico constante
3.2.1. Campo elctrico uniforme
3.2.2. Campo elctrico de Coulomb
3.2.3. Campo magntico uniforme
3.2.4. Campo electromagntico uniforme
3.2.5. Invariantes adiabticos
3.3. Dipolos en campos electromagnticos constantes
3.3.1. Dipolo elctrico en un campo elctrico constante
3.3.2. Dipolo magntico en un campo magntico constante y uniforme
3.3.3. Precesin de Thomas
3.4. Dinmica del campo electromagntico
3.4.1. Ecuaciones de Maxwell
3.4.2. Leyes de conservacin
3.4.3. Formulacin hamiltoniana
3.4.4. Ecuacin de onda
3.4.5. Lagrangiano de dos partculas hasta segundo orden
3.5. Ejercicios
luis j. garay
31
3.1.
3.1.1.
Formulacin lagrangiana
d + q
A u d,
mu = qu ( A A ).
La razn para considerar esta accin es que proporciona las ecuaciones de movimiento de una partcula cargada en un campo electromagntico si identicamos
A con el potencial electromagntico vector:
d
(vi ) = q(ci A0 t Ai ) + qv j (i A j j Ai ),
dt
d
mc2
= qvi (t Ai ci A0 ).
dt
dEc
= qv E .
dt
(3.1)
L = mc2
Ldt,
1 v 2 /c2 + q A v q.
(3.2)
d4 x (Ll + Lint ),
d4 x z( ) = mc
1 v 2 /c2 3 x z (t) .
En la obtencin del ltimo miembro, hemos utilizado la siguiente relacin entre las
deltas de Dirac:
4 x z( ) = 3 x z ( ) ct z0 ( ) = 3 x z (t) /(c),
luis j. garay
(3.3)
33
1 v 2 /c2 = c/.
j = v
d3 xj0 =
d3 x = q
d3 x3 x z (t) = q.
1 Puesto
3 ( x )/
34
luis j. garay
3.1.2.
Formulacin cannica
( P q A )2 = m2 2 v2 = m2 c2 ( 2 1)
y por tanto podemos escribir en funcin de P :
2 = (mc)2 ( P q A )2 + 1.
Sustituyendo esta expresin en el Hamiltoniano obtenemos nalmente
H=
m2 c4 + c2 ( P q A )2 + q.
L
= mu + qA .
u
3.1.3.
Campo electromagntico
(3.5)
mu = qu F .
luis j. garay
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 denicin 3.5, vemos directamente que
[ F] = 0,
donde [ ] representan las permutaciones de los tres ndices con su signo correspondiente o, equivalentemente,
F = 0.
(3.6)
0
B1
B2
B3
B1
0
E3 /c E2 /c
,
F =
B2 E3 /c
0
E1 /c
B3 E2 /c E1 /c
0
1
F
2
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 .
Ejercicio 3.1.2 Probar que los campos elctrico y magntico se transforman de la
siguiente manera bajo transformaciones de Lorentz puras:
2
(v E )v /c2 ,
+1
2
B = ( B v E /c2 )
(v B )v /c2
+1
E = ( E + v B )
36
luis j. garay
Invariancia gauge
Invariantes Lorentz
F F = ( 0 E 2 0 1 B 2 ),
40
2
F F E B .
(3.7)
Se puede probar que estas son las nicas cantidades invariantes independientes.
Las lneas generales de la demostracin son las siguientes. Construyamos el vector
complejo F = E + ic B . Esta cantidad es un vector bajo rotaciones de ngulo complejo. Los seis parmetros de estas rotaciones complejas corresponden a las tres
rotaciones espaciales y a los tres boosts. Por tanto, F 2 = ( E 2 c2 B 2 ) + 2ic E B es
el nico invariante bajo rotaciones complejas (rotaciones ms boosts) que se puede
construir a partir de F y, por tanto, tambin lo son sus partes real e imaginaria.
Nota: E B es un pseudoescalar y, por tanto, no es invariante bajo todo el grupo
de Lorentz. Solo lo es bajo transformaciones propias. Esto no es sorprendente ya
que, en su denicin 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,
3.2.
F F (
A A ).
0 F = 0,
t E = t B = 0.
luis j. garay
37
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 v 0 perpendicular al campo elctrico constante. Sin prdida de
dp2
= 0,
dt
dp3
= 0,
dt
dEc
= qv1 E0 .
dt
p2 = p0 = m0 v0 ,
Ec = qE0 x1 + m0 c2 .
p3 = 0,
2
2
2
Teniendo en cuenta que p = mv = Ec v /c2 y que Ec = m2 0 c4 + q2 E0 t2 c2 , vemos
que
v1 =
qE0 t
2
m2 0
2
+ q2 E0 t2 /c2
m0 v0
v2 =
2
m2 0
2
+ q2 E0 t2 /c2
v3 = 0.
1
qE0
2
2
m2 0 c4 + q2 E0 t2 c2 m0 c2 ,
x2 ( t ) =
m0 v0 c
qE0 t
,
arcsinh
qE0
m0 c
movimiento que tiene lugar en el plano x3 = 0. Tambin podemos escribir la trayectoria en el plano eliminando la dependencia temporal:
x1 =
m0 c2
qE0
cosh
qE0 x2
1 ,
m0 v0
3.2.2.
dEc
= qv
dt
Esta segunda ecuacin se puede integrar directamente para obtener una constante
del movimiento, la energa total de la partcula:
E=
38
m2 c4 + p 2 c2 + q/r.
luis j. garay
p se conserva y
E=
m2 c4 + p2 c2 + p2 c2 /r2 + q/r = H ( x , p ).
r
S) = 0.
dr
c2 ( A + q/r )2 B2 /r2 m2 c2 + C,
p = S = B,
cp 2 /r =
si cp < |q|,
cp 2 /r = signo()
si cp = |q|,
|1 q2 2 /( p2 c2 )|:
2Eq/r = E2 m2 c4 2 E2 .
luis j. garay
39
Figura 3.1: rbitas para distintos valores de los parmetros del sistema que corresponden a movimientos acotados. Cada gura se acerca ms al lmite no relativista.
Figura 3.2: rbitas para distintos valores de los parmetros del sistema que corresponden a movimientos no acotados. Cada gura se acerca ms al lmite no
relativista.
310
luis j. garay
Figura 3.3: rbita para valores de los parmetros del sistema que corresponden
a un movimiento espiral.
3.2.3.
donde
B = q B /(m).
= 0,
dv
= v B,
dt
luis j. garay
311
3.2.4.
1 E 2 / ( c2 B 2 ) B .
1 c2 B 2 / E 2 E .
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 perma-
312
luis j. garay
p a dq a ,
1
2
P dx ,
1
2
p dx +
q
2
A dx .
B nd2 x = qBr2 ,
B
2
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.
luis j. garay
313
rI
x 0
x
3.3.
f (t) una funcin que toma valores en un rango nito de longitud . Entonces, se verica
T/2
que | f(t) | | lmT T/2 dt f(t + t )/T | lmT /T = 0.
3 Sea
314
luis j. garay
3.3.1.
d3 r ( x + r , t ) E ( x + r ).
) E ( x ) + O (r 2 ),
d3 r ( x + r , t ) E ( x ) +
= q E ( x ) + (p x
donde q =
d3 r ( x + r , t)(r
) E ( x ) + O ( R2 )
) E ( x ) + O ( R2 ),
d3 r ( x + r , t )r
d3 x ( x ) ( x ) =
d3 r ( x + r )[( x ) + r
( x )]
= q( x ) + p x E ( x ).
Por ltimo, el momento de fuerza que acta sobre la distribucin ser
M ( x , t) =
d3 r ( x + r , t)( x + r ) E ( x + r )
d3 r ( x + r , t)( x + r ) [ E ( x ) + (r
= q x E ( x ) + p x E ( x ) + x [(p x
) E ( x )]
) E ( x )],
3.3.2.
luis j. garay
315
d3 x
[ f ( x ) g( x ) j ( x , t)]
d3 x [ f ( x )
g( x ) j ( x , t) + g( x )
f ( x ) j ( x , t) f ( x ) g( x )( x , t)]
g( x ) j ( x , t) + g( x )
f ( x ) j ( x , t) = 0.
(3.8)
(3.9)
(3.10)
d3 x j ( x , t ) B ( x ) =
d3 r j ( x + r , t ) B ( x ) +
d3 r j ( x + r , t ) [ B ( x ) + (r
d3 r j ( x + r , t) [(r
) B ( x )]
) B ( x )]
d3 r j j ( x + r , t )r l l B k ( x ) =
jk
1
2
jk
d3 r ( j j r l + j j r l ) l B k .
316
1
2
jk
d3 r ( j j r l j l r j ) l B k =
luis j. garay
1
2
jk
lj
m
d3 r (r j ) m l B k .
1
2
d3 r r j ( x + r , t ) .
1
2
d3 x x j ( x , t ) .
El segundo trmino se anula para distribuciones estacionarias (ecuacin 3.8) y concluimos que m x = m 0 m. Notemos que este comportamiento es similar al del espn, el momento angular intrnseco. Esta relacin no es casual. Si llamamos ( x , t)
a la densidad de masa del sistema, podemos escribir
m=
1
2
d3 r r ( v ) =
1
2
d3 r (/)r (v )
As, para sistemas en los que masa y la carga estn igualmente distribuidas, es
decir, para sistemas con /2 = constante,
m=
S ,
2
donde S es el momento angular del sistema calculado en un sistema de referencia en el que el momento lineal total se anula, es decir, es el momento angular
intrnseco:
v
v =
j = 0. Esta relacin entre momento magntico
y espn clsico no se mantiene necesariamente en sistemas cunticos para los que,
en general, el factor de proporcionalidad entre m y S no es la mitad de la relacin
carga-masa.
En trminos del momento dipolar magntico y teniendo en cuenta que
0, podemos escribir
Fi ( x , t) =
jk
lj
m
k
m m l B ( x )
B =
= m k i B k mi k B k = i ( m B ) ,
es decir,
F ( x , t) =
(m B ) + O ( R2 ).
d3 x x [ j ( x , t) B ( x )] =
d3 x [( x B ) j ( j x ) B ]
luis j. garay
317
d3 r [( x B ) j + (r B ) j ] =
d3 r [r B ( x )] j ( x + r , t) ,
d3 r r j B j j i =
1
2
d3 r (r j j i + r j j i ) B j
d3 r (r j j i r i j j ) B j =
jik
mk B j .
d3 x j ( x , t ) A ( x )
Lint ( x , t) =
3.3.3.
1
2
d3 r ( j i r k j k r i ) k A i =
kij
1
2
d3 r ( j i r k + j i r k ) k A i
m j k Ai = m (
A) = m B
Precesin de Thomas
=mB ,
(3.11)
prop
donde B 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.
318
luis j. garay
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 duciario del sistema del laboratorio y, por tanto, no rotante, ser
ds
dt
=
no rot
ds
dt
+ t s = m ( B t / ),
prop
3.4.
luis j. garay
319
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 conguracin 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
320
luis j. garay
(3.12)
E = 1 ,
0
B + c 2 t E = 0 j .
Si bien es posible probar la covariancia de estas ecuaciones directamente, su obtencin a partir de 3.12 la garantiza.
Ejercicio 3.4.1 Probar la covariancia de las ecuaciones de Maxwell directamente.
As, podemos reunir las ecuaciones 3.6 y 3.12 en el conjunto completo de ecuaciones de Maxwell en su formulacin relativista explcitamente covariante:
3.4.2.
F = 0,
F = 0 j .
(3.13)
Leyes de conservacin
Tl = j F /c.
luis j. garay
321
Lem
A + f ,
( A )
donde
f =
1
(S + S S ),
2
= i
Lem
(S ) A
( A )
Tem =
1
c0
F F + F F ,
4
Tem = F j /c.
( 0 E 2 + 0 1 B 2 ) = u/c,
2c
0i
Tem =
1
( E B )i = Si /c2 ,
c2 0
1
1
ij
ij
Tem = ( 0 Ei E j + 0 1 Bi B j ) + ( 0 E 2 + 0 1 B 2 ) ij = Tm /c.
c
2c
As, la componente 00 es la densidad de energa del campo electromagntico, la
componentes 0i constituyen el vector de Poynting y las componentes ij son el tensor
de tensiones de Maxwell.
La divergencia nula del tensor de energa-momento total nos proporciona las
ecuaciones de conservacin de la densidad de energa y de momento.
322
luis j. garay
Tl = u0 /(c) = t Ec /c2 t ,
0
S /c2 ,
de manera que
0 = c2 T 0 = t Ec c2 t + t u +
S.
(3.14)
c Tl = ui / = t (vi ) = t (vi ) vi t
i
ji
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.15)
Podemos integrar las ecuaciones 3.14 y 3.15 en una regin espacial que contenga
a todas las partculas involucradas. Entonces obtenemos
dEc dU
+
+
dt
dt
dpi di
+
dt
dt
S ds = 0,
ij
Tm ds j = 0,
3.4.3.
Formulacin hamiltoniana
0 E 2 0 1 (
2
luis j. garay
A )2 .
323
1
1 2
+
(
2 0
20
A )2 +
2 c4 + c2 (P A )2 +
1
1 2
+
(
2 0
20
A )2 + ( +
),
E = 1 .
0
{ A i ( x ),
=
=
3.4.4.
d3 y(y) G (y)}
d3 y(y)y,j { Ai ( x ), j (y)} =
d3 y(y)i 3 ( x y)
y
d3 y3 ( x y)i (y) = i ( x ) = Ai .
y
Ecuacin de onda
324
luis j. garay
0
[( x0 x 0 )]( x 0 x )
,
4 | x x |
0
donde x = x0 | x x | es el tiempo retardado (+) o avanzado () y la funcin de Heaviside la hemos introducido por conveniencia, puesto que no aporta
informacin nueva.
1
[( x0 x 0 )][( x x )2 ].
2
( z0 )2 ( z2 )2 ( z3 )2 .
Por tanto,
z0 z 0 = (z0 )2 |v/c|z0
( z0 )2 ( z2 )2 ( z3 )2
d4 x j ( x ) G+ ( x, x ) = 0
luis j. garay
d3 x
0
j ( x , x+ )
.
4 | x x |
325
A ( x ) = Ain ( x ) + 0
d4 x j ( x ) G+ ( x, x ),
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 j ( x ) G ( x, x ),
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 j ( x ) G ( x, x ),
donde G ( x, x ) = G+ ( x, x ) G ( x, x ).
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
L = m a c2
1 v2 /c2 mb c2
a
1 v2 /c2 + q a v a A b ( x a , t) q a b ( x a , t),
b
Ab ( x a , t)
= 0
=
326
0
4
j ( x , t+ )
d x b
4 | x a x |
1
j ( x , t)
1
d3 x
t j ( x , t) + 2 2 j ( x , t)| x a x | + O (0 /c3 ).
|x a x | c
2c t
3
luis j. garay
0 c2 q b
+ 0 qb 2 r ab + O (0 /c).
b ( x a , t) =
t
4 r ab 8
El potencial vector, tambin hasta orden O (0 /c), que es menor el de la expansin
original pero suciente puesto que en total es el mismo que el de , queda
A b ( x a , t) =
0 q b v b
+ O (0 /c).
4 r ab
Ab = Ab +
a b ,
b =
0
q t r .
8 b ab
1 qb
+ O (1/c),
4 0 r ab
A b ( x a , t) =
qb
4 0 c2
va
1
+ t r ab
r ab 2
+ O (1/c3 ).
Para evaluar t r ab , debemos notar que x a es jo, puesto que es el punto en el que
estamos evaluando el campo. Por tanto, la nica dependencia temporal es a travs
de x b . As,
v b + (v b r ab )r ab
t r ab = t (r ab /r ab ) =
r ab
y el potencial vector queda
A b ( x a , t) =
1
qb
v + (v b r ab )r ab + O (1/c3 ).
2r
8 0 c ab b
Podemos ya escribir el lagrangiano para dos partculas incluyendo hasta el segundo orden en v/c:
1
1 q a qb
1
m a v2 + m b v2
a
b
2
2
4 0 r ab
1
1
1 q a qb
+ m a v4 /c2 + mb v4 /c2 +
v a v b + (v a r ab )(v b r ab ) .
a
b
8
8
8 0 c2 r ab
L=
Tras denir los momentos cannicos hasta segundo orden en v/c y realizar la
transformacin de Legendre correspondiente, obtenemos el hamiltoniano
p2
p2
1 q a qb
a
+ b +
2m a 2mb 4 0 r ab
p4
p4
1
q a qb
a
b
p a p b + ( p a r ab )( p b r ab ) .
8m3 c2 8m3 c2 8 0 c2 m a mb r ab
a
b
H=
luis j. garay
327
+ 3 p4 +
2
p2 + ( p r )2 .
3
2m m r
8c m a mb
8 0 c a b
Hci =
328
luis j. garay
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 innita y seccin despreciable se mueve con
velocidad uniforme en direccin paralela al mismo.
a. Hallar los campos elctrico y magntico en el sistema de referencia del cable
y en el sistema de referencia del laboratorio.
b. Hallar las densidades de carga y de corriente del cable en ambos sistemas de
referencia.
c. Calcular los campos elctrico y magntico en el sistema de referencia del
laboratorio partiendo del resultado del apartado anterior y comparar con los
obtenidos en el apartado a.
3.8 En el sistema de referencia propio SRI de un medio conductor, la densidad de
corriente satisface la ley de Ohm j = E .
luis j. garay
329
B ( t t0 ),
330
luis j. garay
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
= [1 (v/c) cos ],
donde es el ngulo formado por k y v . Si es el ngulo formado por k y
v , demostrar que
sen
.
tan =
(cos v/c)
3.14 Es admisible la condicin de jacin 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.
luis j. garay
331
1
1
1
F F + j ( x ) A ( x ) +
m2 A A .
4c0
c
2c0
332
luis j. garay
Tema 4
Radiacin electromagntica
4.1. Radiacin por cargas en movimiento
4.1.1. Campo generado por una partcula cargada
4.1.2. Potencia radiada por una carga acelerada
4.1.2.1. Partcula no relativista
4.1.2.2. Partcula relativista
4.1.3. Distribucin espectral y angular de la potencia radiada
4.2. Reaccin de la radiacin
4.2.1. Estimacin de los efectos radiativos
4.2.2. Fuerza de reaccin radiativa
4.2.3. Renormalizacin electrodinmica de la masa
4.3. Radiacin multipolar
4.3.1. Radiacin dipolar elctrica
4.3.2. Radiacin dipolar magntica y cuadrupolar elctrica
4.3.3. Intensidad de radiacin multipolar
4.4. Ejercicios
luis j. garay
41
4.1.
4.1.1.
du ( )4 [ x r ( )].
Por otro lado, el potencial electromagntico generado por una densidad de corriente es
0
d4 x j ( x ) ( x0 x 0 )[( x x )2 ].
A ( x ) =
2
Combinando ambas expresiones obtenemos
q0 c
2
q0 c
=
2
A ( x ) =
du ( )
d4 x ( x0 x 0 )[( x x )2 ]4 [ x r ( )]
du ( ) [ R0 ( )][ R( )2 ],
(4.1)
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,
[ R0 ( )][ R( )]2 ] =
1
( 0 ).
2| R u |
0 c qu
4 | R u |
(4.2)
es decir,
x0 r0 (0 ) = | x r (0 )|.
luis j. garay
43
| R u |ret = c| R0 + v R /c|
ret
= cR(1 v R/c)
ret
1
q
4 0 R(1 v R/c)
A ( x , t) =
ret
0
qv
4 R(1 v R/c)
.
ret
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 .
q0 c
2
q0 c
=
2
A =
du ( R0 )( R2 )
0
du ( R0 )( R2 ) + ( R0 ) ( R2 ) .
d R2
d
( R2 ) = R2 2 ( R2 ) = R2 ( R2 )
d
d
dR
de manera que
R d
2
( R2 ) =
d ( R ).
R u
Si introducimos este trmino en la expresin para A e integramos por partes,
obtenemos
A =
q0 c
2
0
u +
u0 u R
d
( R0 ) + ( R0 )
R u
d
u R
2
( R )
R u
44
0 c q d
4 R u d
luis j. garay
R u R u
R u
.
ret
donde
vel
F =
rad
F =
cq
1
( R u R u )
4 0 ( R u )3
,
ret
q
1
R R ( u b u b ) ( )
4 0 c ( R u )3
.
ret
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
la parte que depende de la aceleracin F puesto que esta ltima decae como
1/R. Es el llamado campo de radiacin.
q
R v /c R [( R v /c) a ]
1
+
4 0 (1 v R/c)3
2 R2
c2 R
B ( x , t) = R(t ) E ( x , t)/c.
E ( x , t) =
(4.3a)
ret
(4.3b)
El primer trmino del campo elctrico es el campo que depende solo de la velocidad E vel y, en el lmite v/c 0, es el campo de Coulomb. El segundo trmino,
que depende de la aceleracin, es el campo de radiacin E rad . Si nuestro punto de
observacin est colocado a gran distancia de la carga que genera el campo, solo
veremos el campo de radiacin, puesto que el que depende de la velocidad decae
con el cuadrado de la distancia. Entonces, en esta zona lejana, el campo electromagntico est determinado por E rad . Adems, veremos en la siguiente seccin que el
trmino que depende solo de la velocidad no contribuye a la energa emitida por
la partcula.
4.1.2.
1
1 2
1
E rad B rad =
E rad [ R(t ) E rad ] =
E R ( t ).
0
0 c
0 c rad
luis j. garay
45
dP = (S R) R2 d =
E R2 d,
0 c rad
de donde obtenemos la distribucin angular de potencia
1 2
dP
=
E rad R(t )2 .
d
0 c
Sustituyendo la expresin del campo elctrico en la zona de radiacin, dado por el
segundo trmino de la ecuacin 4.3a, obtenemos
dP
{ R [( R v /c) a ]}2
q2
=
d
16 2 0 c3
(1 v R/c)6
(4.4)
ret
Esta expresin nos proporciona la distribucin angular de energa radiada por unidad de tiempo de observacin t. Sin embargo, la cantidad relevante es la distribucin angular de energa por unidad de tiempo de la partcula, es decir, de tiempo
retardado t , de manera que la energa total radiada W est dada por la integral
sobre t . La relacin entre ambas potencias P = dW/dt (en tiempo de observacin)
y P = dW/dt (en tiempo retardado) se obtiene mediante la relacin de ambos
tiempos
t = t + | R (t )|/c,
dt = [1 v (t ) R(t )/c]dt ,
de forma que
dW
dt dW
= (1 v R/c)|ret P.
=
dt
dt dt
As, la distribucin angular de potencia en tiempo retardado adquiere la expresin
P =
dP
q2
{ R [( R v /c) a ]}2
=
d
16 2 0 c3
(1 v R/c)5
(4.5)
ret
Partcula no relativista
46
luis j. garay
q2
| R ( R a )|2
2 c3
16 0
ret
d.
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
dP =
q2
a2 sen2
16 2 0 c3
ret
d,
(4.6)
ret
Notemos que el tiempo de observacin t y el retardado t se diferencian en trminos de orden v/c (aparte del origen de tiempos) y, por tanto, en la aproximacin
no relativista coinciden:
t = t + | x |/c + O (v/c),
dt = dt + O (v/c).
luis j. garay
47
Partcula relativista
q2
b2
4
6 0 c
ret
di = 0,
dt ,
q2
b2 dx
5
6 0 c
ret
cd0
q2
6 [ a2 (v a )2 /c2 ]
=
3
dt
6 0 c
ret
(4.7)
q2
6 a2
6 0 c3
ret
48
luis j. garay
1
serie. Puesto que 1 = 1 v2 /c2 0 cuando v c, escogeremos 1
como parmetro de expansin. Elegimos el sistema de coordenadas de forma que
la velocidad coincida con el eje ez , de forma que el ngulo polar sea tambin el
ngulo que forma la direccin de observacin con la velocidad. El numerador de
la distribucin angular de potencia, dada por la ecuacin 4.4, depender de los detalles de la trayectoria de la partcula, pero permanecer dentro de un rango nito.
El denominador, sin embargo, es una potencia de
1 2 cos 1 cos + O (2 ).
As, la mxima potencia de radiacin ocurrir aproximadamente en aquellas direcciones de observacin para las que esta cantidad sea mnima (salvo trminos
O (2 )), es decir, para ngulos mx de la direccin de observacin con la velocidad tal que
cos mx 1 + O (2 ),
mx O (1 ).
q2
| R ( R a )|2
dP
=
d
16 2 0 c3 (1 v R/c)5
ret
q2 a2
sen2
=
16 2 0 c3 [1 (v/c) cos ]5
(4.8)
ret
1 + 15v2 /c2 1
cos mx =
.
3v/c
Para velocidades no relativistas v
c, recuperamos los resultados de la seccin 4.1.2.1, es decir, la direccin de mxima radiacin es perpendicular a la
direccin de movimiento: mx /2 + O (v/c). Para velocidades relativistas,
v/c 1 2 /2, de forma que
1
cos mx 1 2 ,
8
mx
luis j. garay
1
2
49
v
v
mx =
1
2
a 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 gura, que tiene simetra de revolucin alrededor de la velocidad, muestra el diagrama en un plano que contiene a sta. La gura no est a
escala.
2
mx, v
dP
d
mx, v
vc
v
vc
(1 ) 3 .
a
c
2 a
410
a
c
3 .
2
v
luis j. garay
4.1.3.
Si denimos
A (, t) = q
R [( R v /c) a ]
(1 v R/c)3
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
dW
= 2 |A (, t)|2 dt.
d
En lugar de utilizar la dependencia temporal, nos interesamos por la distribucin espectral. Para ello, introducimos la transformada de Fourier de A (, t) (que
denominaremos con el mismo smbolo):
1
A (, ) =
2
1
A (, t) =
2
A (, t)eit dt,
A (, )eit d.
|A (, )|2 d = 2 2
|A (, )|2 d =
d2 W
d,
dd
eit
R [( R v /c) a ]
(1 v R/c)3
dt,
ret
ei [t + R(t )/c]
R [( R v /c) a ]
(1 v R/c)2
dt .
t
Por otro lado, si suponemos que el punto de observacin est muy alejado de la
zona en la que se halla la carga acelerada,
R = | x r | = | x | 1 R r / | x | + O (r 2 / | x |2 ) | x | R r .
luis j. garay
411
Adems, el vector R es aproximadamente constante puesto que estamos suponiendo que la extensin de la zona en la que se mueve la partcula es mucho menor
que la distancia de observacin (conviene notar que, aunque R apunte aproximadamente en la misma direccin, puede variar rpidamente de forma que su derivada
no se anule). As,
q
A (, ) = ei | x |
2
ei [t Rr (t )/c]
R [( R v /c) a ]
(1 v R/c)2
dt .
t
R [( R v /c) a ]
d R (R v )
=
.
dt 1 R v /c
(1 v R/c)2
2 0
ei [t Rr (t )/c]
|t |
R [ R v (t )]dt .
A (, ) =
lm
2 0
dt
d3 r ei [t Rr /c]
|t |
R [ R j (r , t )].
qv (t )ei Rr (t )/c
d3 r j (r , t )ei Rr /c ,
412
luis j. garay
4.2.
Reaccin de la radiacin
4.2.1.
q2 a2 T
= ma2 T,
3
6 0 c
4.2.2.
m v = F ext ,
donde F ext es una fuerza externa que acta sobre la partcula cargada y que es
responsable, en primera instancia, de la aceleracin de la partcula. Debido a esta
aceleracin, la partcula emitir radiacin con una potencia determinada por la
frmula de Larmor 4.6
P = m v2 .
luis j. garay
413
t
0
dt ( F rad v + m v v) = 0.
t
0
1
t
dt ( F rad v m v v ) = m ( v v ) 0 .
t
Tanto si el movimiento es peridico (con periodo T) como si la fuerza externa acta solo durante un cierto tiempo T, el miembro de la derecha es del orden de la
energa radiada durante el tiempo T y no se acumula. Podemos, por tanto, ignorarlo para grandes tiempos t. As, es posible elegir la fuerza de reaccin radiativa
que da cuenta aproximada y en promedio temporal de los efectos de la emisin de
radiacin
F rad = m v,
y que es proporcional a la segunda derivada de la velocidad. La ecuacin de movimiento (ecuacin de Abraham-Lorentz) queda entonces
m( v v) = F ext .
Esta ecuacin debe ser tratada con especial cuidado puesto que tiene soluciones
autoalimentadas inaceptables. En efecto, si, por ejemplo, la fuerza externa no est
presente, esta ecuacin admite la solucin v = v 0 + a et/ que crece sin lmite ni
motivo. Se puede obtener una ecuacin alternativa que no presenta estos problemas
notando que
m v = Fext + O ( 2 ) = [t F ext + (v
) F ext ] + O ( 2 ),
414
luis j. garay
4.2.3.
iM( )v ( ) = F ext ( ),
donde v ( ) y F ext ( ) son las transformadas de Fourier de la velocidad y la fuerza
externa, respectivamente, y
M ( ) = m0 +
1
6 0 c3
d3 x d3 x ( x ) ( x )
eiR/c
,
R
q
(2 )3
d3 k f ( k ) e i k x .
q2
12 3 0 c2
d3 k
| f (k )|2
,
k2 2 /c2
q2
12 3 0 c2
d3 k
| f (k )|2
k2
(4.9)
q2 2
12 3 0 c4
d3 k
| f (k )|2
.
k2 (k2 2 /c2 )
luis j. garay
(4.10)
415
4.3.
Radiacin multipolar
j ( x , t )
d x
,
|x x |
3
0 1
4 | x |
d3 x j ( x , t )
A ( x , ) =
d3 x
dt j ( x , t )eit .
4 | x | 2
416
luis j. garay
0 1 1
4 | x | 2
dt j ( x , t )eit eik x ik x ,
d3 x
0 e i k x
4 | x |
d3 x j ( x , ) e i k x .
Puesto que la integral es independiente del punto de observacin, vemos que para
regiones sucientemente alejadas de la fuente, el campo electromagntico en un
regin sucientemente pequea puede ser considerado como una onda plana. Para
ello, no solo necesitamos que | x |
| 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 las expresiones
k E = 0,
k B = 0,
E = c B k,
A = i k A k A /| x | i k A /c.
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:
c B = A k,
E = c B k.
(4.11)
d x e
k [k
dd
8 2 c
Sin embargo, despus de hacer un desarrollo multipolar, podremos encontrar expresiones explcitas ms tiles para la intensidad.
luis j. garay
417
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 |
1, podemos
expandir este exponencial en una serie de potencias. El trmino de orden ms bajo
corresponde a la radiacin dipolar elctrica:
A (x , ) =
0 e i k x
4 | x |
d3 x j ( x , ).
0 e i k x
4 | x |
0 e i k x
4 | x |
d3 x j i ( x , ) =
0 e i k x
4 | x |
d3 x x i j j j ( x , ) = i
d3 x j x i j j ( x , )
0 e i k x
4 | x |
d3 x x i ( x , ).
Para obtener la ltima igualdad hemos empleado la ecuacin de continuidad espectral j i = 0. Vemos entonces que
A ( x , ) = i
0 e i k x
p ( ),
4 | x |
4 | x | 2
1 1
= i 0
4 | x | 2
1 1 d
= 0
4 | x | 2 dt
p( t )
.
= 0
4 | x |
A ( x , t ) = i
4.3.2.
deit eik x p ( )
dei (t| x |/c) p ( )
deit p ( )
418
0 e i k x
4c | x |
luis j. garay
d3 x j ( x , )(k x ).
0 e i k x
4c | x |
d3 x
1
1 i
j ( x , )(k j x j ) + ji ( x , )(k j x j ) ,
2
2
d3 x ji ( x , )(k j x j ) =
d3 x k x i jk ( x , )(k j x j )
2
1
=
d3 x [ x i k jk ( x , )(k j x j ) + x i jk ( x , )k k ]
2
1
2
0 e i k x 1
4c | x | 2
d3 x
j ( x , )(k x ) i x ( x , )(k x )
x [ j ( x , ) k] .
0 e i k x 1
4c | x | 2
d3 x
i [ x j ( x , )] k 2 x ( x , )(k x ) .
varan puesto que involucran productos vectoriales con k (libertad gauge). Sustituimos pues el segundo trmino por
( x , ) 3x (k x ) k x
3
d3 x ( x , )(3x x
x 21 )
1
d3 x ( x , )(3x i x j ij x 2 ).
luis j. garay
419
A (x , ) =
1
1
i m ( ) k 2 Q( ) k
c
6c
4.3.3.
0 1 1
1
m( t ) k + Q( t ) k .
4 | x | c
6c
0 e i k x
4 | x |
1
1
i p ( ) i m ( ) k 2 Q( ) k
c
6c
0 1
1
1
p( t ) + m( t ) k + Q( t ) k .
4 | x |
c
6c
1
c
c
E B =
( B k) B = B 2 k.
0
0
0
dP = S k | x |2 d =
B | x | d.
0
Puesto que el campo es inversamente proporcional a la distancia a la fuente, la
distribucin angular de potencia es independiente de la distancia. De hecho,
dP = 2 |A (, t)|2 d,
donde 2 = 1/(16 2 0 c3 ) y
1
1 ...
420
luis j. garay
1
1 ... 2
1
p2 + 2 m2 +
Q
6 0 c3
c
120c2
y la intensidad espectral
dW
4
1
2
=
|p ( )|2 + 2 |m ( )|2 +
|Q( )|2 .
d
3 0 c3
c
120c2
Puesto que k | x |
1 la radiacin dipolar elctrica ser mucho mayor en general
que la cuadrupolar elctrica y la dipolar magntica. Otra forma de verlo es que la
condicin | x |
c se puede interpretar como que las velocidades caractersticas
internas de la fuente tienen que ser mucho menores que la de la luz. As, los trminos cuadrupolar elctrico y dipolar magntico corresponden al segundo orden en
v/c, como vemos en las expresiones de la intensidad radiada.
Conviene recordar que hemos utilizado los campos fsicos reales. Si utilizamos
notacin compleja o realizamos promedios temporales,
S =
c
1
E B =
| B |2 k.
20
20
luis j. garay
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 menor que la longitud de onda de la corriente sinusoidal y comparar el
resultado con la radiacin de un dipolo elctrico.
4.4 Una antena lineal paralela al eje ez y centrada en el origen se alimenta con una
i (kzt) . Hallar la distribucin angular de la radiacin emitida.
corriente I0 e
4.5 Un dipolo elctrico rota en un plano con velocidad angular constante. Hallar
el campo electromagntico en la zona lejana, la distribucin angular y la potencia
total emitida.
4.6 Hallar la potencia de radiacin emitida por una partcula cuya aceleracin es
paralela a su velocidad y su distribucin angular.
4.7 Durante un cierto intervalo de tiempo, una partcula desacelera constantemente
hasta detenerse. Hallar la energa radiada y su distribucin angular. Cul ser la
duracin del pulso radiado para un observador lejano en reposo?
4.8 Hallar la distribucin angular de la potencia radiada por una partcula relativista cuya aceleracin es perpendicular a su velocidad. Determinar las direcciones
en las que no se emite radiacin.
4.9 Un electrn se mueve en una rbita circular bajo la accin de un campo magntico homogneo. Calcular la energa perdida por radiacin (sincrotrn) en cada
vuelta y expresarla en funcin de la energa y de la masa del electrn.
4.10 Un cable de seccin despreciable uniformemente cargado tensado entre dos
puntos de sujecin oscila transversalmente con una cierta frecuencia. Calcular en
el orden ms bajo la potencia total emitida, en el supuesto de que la longitud del
cable sea mucho menor que la longitud de onda de la radiacin.
luis j. garay
423
Z ( Z + 1) + e + ,
Z ( Z 1) + e+ + .
424
luis j. garay
Apndice A
Tensores
A.1.
A.2.
A.3.
A.4.
A.5.
luis j. garay
A1
A.1.
Denicin A.1.1
decir, si u , v V y , R, entonces (u + v ) = (u ) + (v ).
Denicin 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
de V
propiedad de linealidad de la accin de v sobre V . Para hacer explcita esta dua
Demostracin. El conjunto { i , i = 1, 2 . . .} tiene tantos vectores como la dimen . Adems, son linealmente independientes. En efecto, consideremos la
sin de V
(, 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.
( , e i ) = i .
Cambios de base
j
j = ( i , e j ) = i k l j ( k , el ) = i k l j lk = i k kj = ( )i j ,
luis j. garay
A3
Apndice A. Tensores
luego = 1 .
Veamos ahora cmo se transforman las componentes de los vectores:
v i = ( i , 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
i = ( , e i ) = i ( , e j ) = i j .
Denicin A.2.1
n
Un tensor de tipo (m) es una aplicacin multilineal T : V n (V )m R.
T(e i , e j k , ) = Tijk ,
de manera que
T(u , v , ) = Tijk ui v j k .
Los nmeros reales Tij k son las componentes del tensor T en la base {e i }.
En general, el orden de los argumentos de T es importante y, por tanto, tambin
lo ser el orden de los ndices de sus componentes.
Denicin A.2.2
Dados dos tensores T y S, llamamos contraccin a la operacin producto tensorial
y suma posterior sobre todo el recorrido de un ndice de T con uno de S (uno de
ellos covariante y el otro contravariante).
As, por ejemplo, una posible contraccin de T i jk y Si
j
k
ser T i jk Si ml .
Proposicin A.2.3
La contraccin de ndices es independiente de la base elegida.
Ejercicio A.2.4 Demostrar esta proposicin.
Bajo cambios de base los tensores se transforman como vectores en cada ndice
contravariante y como formas en cada ndice covariante. As, por ejemplo,
Ti
jk
= 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:
A4
luis j. garay
A.3.
Tensor mtrico
Denicin 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 {e i }
de V, sus componentes son gij = g(e i , e j ) = e i e j .
Puesto que el producto escalar es denido estrictamente positivo, la matriz gij
es invertible y denotaremos su inversa gij , de forma que gij g jk = ik . Adems, si la
Adems, el tensor mtrico induce un producto escalar g en V tal que sus comi , j ) = gij .
ponentes son g(
As, la existencia de un tensor mtrico nos permite identicar tensores covariantes y contravariantes como distintas representaciones del mismo objeto.
A.4.
Tensor de Levi-Civita
luis j. garay
A5
Apndice A. Tensores
As,
i1 i2 ...in
i1 i2 ...in
1,
= 1,
0,
i1 , i2 , . . . , in permutacin par de 1, 2, . . . , n
i1 , i2 . . . , in permutacin impar de 1, 2, . . . , n
en cualquier otro caso.
11
123
312
231
321
132
22
= 0. En tres dimen-
=1
213
= 1
Para ver cmo calcular la paridad de una permutacin para n > 3, consideremos
el caso n = 6 y la secuencia 612453.
1
612453
= 1.
luis j. garay
ijk .
ijk
ijk
i j k .
Proposicin A.4.9
Sea T ii un tensor. Entonces se satisfacen las siguientes identidades tensoriales:
j
i j k T ii T j T kk = det( T ll )ijk ,
i j k Tii Tjj Tkk = det( T ll ) ijk = g1 det( Tll ) ijk .
Ejercicio A.4.10 Demostrar esta proposicin.
Ejercicio A.4.11 Evaluar la suma
toman valores i j = 1, . . . , n.
i1 i2 ...in
i1 i2 ...in ,
Solucin. Para que i1 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 i1 i2 ...in como i1 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
i1 i2 ...in
i1 i2 ...in
= n!
luis j. garay
A7
Apndice A. Tensores
Ejercicio A.4.12 Demostrar la identidad .
j
ijk
ilm
k
= l m m lk .
ijk
ijk
nlm .
ijk
ilm .
ijmn
klmn
i
= 2(k l k li ).
A8
ij B
Cj,
luis j. garay
Fl =
mk A
Dk .
mk A
Dk =
mk A
ij B
Cj) =
mk
ij A
m i
B Cj
( A B ) (C D ) = ( A C )( B D ) ( A D )( B C ).
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 uidos, etc.).
luis j. garay
A9
Apndice C
On the Electrodynamics of Moving
Bodies, by A. Einstein
I.
II.
Kinematical part
1.
Denition 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 Reectors
9.
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account
10. Dynamics of the Slowly Accelerated Electron
luis j. garay
C1
preceding memoir by Lorentz was not at this time known to the author.
luis j. garay
C3
I.
Kinematical part
1.
Denition 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 dened 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 difculties attending the denition of time by substituting the position of the small hand of my watch for
time. And in fact such a denition is satisfactory when we are concerned with
dening a time exclusively for the place where the watch is located; but it is no
longer satisfactory when we have to connect in time series of events occurring at
different places, orwhat comes to the same thingto evaluate the times of events
occurring at places remote from the watch.
We might, of course, content ourselves with time values determined by an 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
2 i.e.
C4
luis j. garay
I. Kinematical part
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 nding 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 dened only an A time and a B
time. We have not dened a common time for A and B, for the latter cannot be
dened at all unless we establish by denition 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 reected
at B in the direction of A, and arrive again at A at the A time tA .
In accordance with denition the two clocks synchronize if
tB tA = tA tB .
We assume that this denition of synchronism is free from contradictions, and
possible for any number of points; and that the following relations are universally
valid:
1. If the clock at B synchronizes with the clock at A, the clock at A synchronizes
with the clock at B.
2. If the clock at A synchronizes with the clock at B and also with the clock at
C, the clocks at B and C also synchronize with each other.
Thus with the help of certain imaginary physical experiments we have settled
what is to be understood by synchronous stationary clocks located at different places, and have evidently obtained a denition of simultaneous, or synchronous,
and of time. The time of an event is that which is given simultaneously with
the event by a stationary clock located at the place of the event, this clock being
synchronous, and indeed synchronous for all time determinations, with a specied
stationary clock.
In agreement with experience we further assume the quantity
2AB
= c,
tA tA
to be a universal constantthe velocity of light in empty space.
It is essential to have time dened by means of stationary clocks in the stationary
system, and the time now dened being appropriate to the stationary system we
call it the time of the stationary system.
luis j. garay
C5
2.
The following reexions are based on the principle of relativity and on the
principle of the constancy of the velocity of light. These two principles we dene
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
light path
velocity =
time interval
where time interval is to be taken in the sense of the denition in 1.
Let there be given a stationary rigid rod; and let its length be l as measured by
a measuring-rod which is also stationary. We now imagine the axis of the rod lying
along the axis of x of the stationary system of co-ordinates, and that a uniform
motion of parallel translation with velocity v along the axis of x in the direction
of increasing x is then imparted to the rod. We now inquire as to the length of
the moving rod, and imagine its length to be ascertained by the following two
operations:
(a) The observer moves together with the given measuring-rod and the rod
to be measured, and measures the length of the rod directly by superposing the
measuring-rod, in just the same way as if all three were at rest.
(b) By means of stationary clocks set up in the stationary system and synchronizing in accordance with 1, the observer ascertains at what points of the stationary
system the two ends of the rod to be measured are located at a denite 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 nd 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 denite position.
C6
luis j. garay
I. Kinematical part
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
it be reected at B at the time tB , and reach A again at the time tA . Taking into
consideration the principle of the constancy of the velocity of light we nd that
tB tA =
rAB
r
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 nd 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 signication 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.
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 denite position of the axes of the moving system, and from
4 Time
here denotes time of the stationary system and also position of hands of the moving
clock situated at the place under discussion.
luis j. garay
C7
= x , 0, 0, t +
x
cv
1
1
+
cv c+v
1
=
+
,
t
x
c v t
v
+ 2
= 0.
x
c v2 t
C8
luis j. garay
I. Kinematical part
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
Since is a linear function, it follows from these equations that
= a t
v
x
c2 v2
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
with velocity c when measured in the moving system. For a ray of light emitted at
the time = 0 in the direction of the increasing
= c or = ac t
c2
v
x
v2
But the ray moves relatively to the initial point of k, when measured in the stationary system, with the velocity c v, so that
x
= t.
cv
If we insert this value of t in the equation for , we obtain
=a
c2
x.
c2 v2
In an analogous manner we nd, by considering rays moving along the two other
axes, that
v
= c = ac t 2
x
c v2
when
Thus
= a
y
c2 v2
c
c2 v2
= t, x = 0.
y and = a
c
c2 v2
luis j. garay
z.
C9
,
1 v2 /c2
and is an as yet unknown function of v. If no assumption whatever be made as to
the initial position of the moving system and as to the zero point of , an additive
constant is to be placed on the right side of each of these equations.
We now have to prove that any ray of light, measured in the moving system,
is propagated with the velocity c, if, as we have assumed, this is the case in the
stationary system; for we have not as yet furnished the proof that the principle of
the constancy of the velocity of light is compatible with the principle of relativity.
At the time t = = 0, when the origin of the co-ordinates is common to the
two systems, let a spherical wave be emitted therefrom, and be propagated with
the velocity c in system K. If ( x, y, z) be a point just attained by this wave, then
x 2 + y2 + z2 = c2 t2 .
Transforming this equation with the aid of our equations of transformation we
obtain after a simple calculation
2 + 2 + 2 = c2 2 .
The wave under consideration is therefore no less a spherical wave with velocity
of propagation c when viewed in the moving system. This shows that our two
fundamental principles are compatible.5
In the equations of transformation which have been developed there enters an
unknown function of v, which we will now determine.
For this purpose we introduce a third system of co-ordinates K , which relatively
to the system k is in a state of parallel translatory motion parallel to the axis of ,**
5 The
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 dening them. In the 1923 English translation, (X, Y, Z) were
used, creating an ambiguity between X co-ordinates in the xed 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 K later in this sentence
was incorrectly given as k in the 1923 English translation.
C10
luis j. garay
I. Kinematical part
such that the origin of co-ordinates of system K moves with velocity v on the axis
of . At the time t = 0 let all three origins coincide, and when t = x = y = z = 0
let the time t of the system K be zero. We call the co-ordinates, measured in the
system K , x , y , z , and by a twofold application of our equations of transformation
we obtain
t = (v) (v)( + v/c2 ) = (v)(v)t,
x = (v) (v)( + v )
= (v)(v) x,
y = (v)
= (v)(v)y,
z = (v)
= (v)(v)z.
Since the relations between x , y , z and x, y, z do not contain the time t, the
systems K and K are at rest with respect to one another, and it is clear that the
transformation from K to K must be the identical transformation. Thus
(v)(v) = 1.
We now inquire into the signication 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
= (t vx/c2 ),
= ( x vt),
= y,
= z,
luis j. garay
C11
4.
1 v2 /c2 .
x2
1 v2 /c2 )2
+ y2 + z2 = 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 modied by the motion, the
X dimension appears shortened in the ratio 1 : 1 v2 /c2 , i.e. the greater the
value of v, the greater the shortening. For v = c all moving objectsviewed from
the stationary systemshrivel up into plane gures.** For velocities greater than
that of light our deliberations become meaningless; we shall, however, nd in what
follows, that the velocity of light in our theory plays the part, physically, of an
innitely great velocity.
It is clear that the same results hold good of bodies at rest in the stationary
system, viewed from a system in uniform motion.
Further, we imagine one of the clocks which are qualied to mark the time
t when at rest relatively to the stationary system, and the time when at rest
relatively to the moving system, to be located at the origin of the co-ordinates of
k, and so adjusted that it marks the time . What is the rate of this clock, when
viewed from the stationary system?
6 That
** Editors note: In the 1923 English translation, this phrase was erroneously translated as plain gures.
C12
luis j. garay
I. Kinematical part
Between the quantities x, t, and , which refer to the position of the clock, we
have, evidently, x = vt and
=
1
1 v2 /c2
(t vx/c2 ).
Therefore,
=t
1 v2 /c2 = t (1
1 v2 /c2 )t
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,
7 Not
a pendulum-clock, which is physically a system to which the Earth belongs. This case had
to be excluded.
luis j. garay
C13
1 v2 /c2
w t,
y =
1 + vw /c2
z = 0.
Thus the law of the parallelogram of velocities is valid according to our theory
only to a rst approximation. We set
V2 =
dx
dt
dy
dt
w2 = w2 + w2 ,
a = tan1 w /w , **
a is then to be looked upon as the angle between the velocities v and w. After a
simple calculation we obtain
note: This equation was incorrectly given in Einsteins original paper and the 1923 English
translation as a = tan1 wy /w x .
** Editors note: X in the 1923 English translation.
C14
luis j. garay
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
N M
=
,
c t
y
z
L N
1 Y
=
,
c t
z
x
1 Z
M L
=
,
c t
x
y
1 L
Y Z
=
,
c t
z
y
1 M
Z X
=
,
c t
x
z
1 N
X Y
=
,
c t
y
x
where (X, Y, Z) denotes the vector of the electric force, and (L, M, N) that of the
magnetic force.
If we apply to these equations the transformation developed in 3, by referring the electromagnetic processes to the system of co-ordinates there introduced,
moving with the velocity v, we obtain the equations
luis j. garay
C15
c
1
c
1
1 X
v
v
=
N Y
M+ Z
c
c
v
L
v
Y N
=
N Y ,
c
L
v
v
=
,
Z+ M
M+ Z
c
1 L
v
=
Y N
Z+ M
c
c
v
v
X
M+ Z
=
Z+ M
,
c
v
v
=
N Y
Y N ,
c
where
= 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(X , Y , Z ) and (L , M ,
N )of the moving system k, which are dened by their ponderomotive effects on
electric or magnetic masses respectively, satisfy the following equations:
N
M
1 X
=
,
c
1 Y
L
N
=
,
c
M
L
1 Z
=
,
c
1 L
Y
Z
=
,
c
1 M
Z
X
=
,
c
1 N
X
Y
=
.
c
Evidently the two systems of equations found for system k must express exactly
the same thing, since both systems of equations are equivalent to the 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
X = (v)X,
v
Y = (v) Y N ,
c
v
Z = (v) Z + M ,
c
C16
L = (v)L,
v
M = (v) M + Z ,
c
v
N = (v) N Y .
c
luis j. garay
L = L,
v
Y = Y N ,
c
v
Z = Z+ M ,
c
v
M = M+ Z ,
c
v
N = N Y .
c
for example, X=Y=Z=L=M=0, and N = 0, then from reasons of symmetry it is clear that when
v changes sign without changing its numerical value, Y must also change sign without changing
its numerical value.
luis j. garay
C17
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 sufcient 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 dening 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
X = X0 sen ,
L = L0 sen ,
1
(l + m + n ) ,
c
=
where
l
m
n
C18
= (1 lv/c),
l v/c
=
,
1 lv/c
m
=
,
(1 lv/c)
n
.
=
(1 lv/c)
luis j. garay
1 v/c
.
1 + v/c
A = A2
1 v/c
.
1 + v/c
Editors note: Erroneously given as l in the 1923 English translation, propagating an error, despite
a change in symbols, from the original 1905 paper.
luis j. garay
C19
8.
Since A2 /8 equals the energy of light per unit of volume, we have to regard
2
A /8, by the principle of relativity, as the energy of light in the moving system.
2
Thus A /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:
( x lct)2 + (y mct)2 + (z nct)2 = R2 .
We may therefore say that this surface permanently encloses the same light complex. We inquire as to the quantity of energy enclosed by this surface, viewed in
system k, that is, as to the energy of the light complex relatively to the system k.
The spherical surfaceviewed in the moving systemis an ellipsoidal surface,
the equation for which, at the time = 0, is
1 v2 /c2
S
=
.
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 E when measured in the moving system, we obtain
2
E
A S
1 cos v/c
= 2 =
,
E
A S
1 v2 /c2
and this formula, when = 0, simplies into
E
=
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 reecting surface, at which
the plane waves considered in 7 are reected. We seek for the pressure of light
exerted on the reecting surface, and for the direction, frequency, and intensity of
the light after reexion.
C20
luis j. garay
1 cos v/c
= A
,
1 v2 /c2
cos v/c
=
,
1 cos v/c
1 cos v/c
=
.
1 v2 /c2
= A
= cos
=
Finally, by transforming back to the stationary system K, we obtain for the reected
light
A
cos
=A
,
1 v2 /c2
1 v2 /c2
cos + v/c
(1 + v2 /c2 ) cos 2v/c
=
=
,
1 + cos v/c
1 2 cos v/c + v2 /c2
1 + cos v/c
1 2 cos v/c + v2 /c2
.
=
=
1 v2 /c2
1 v2 /c2
= A
The energy (measured in the stationary system) which is incident upon unit
area of the mirror in unit time is evidently A2 (c cos v)/8. The energy leaving
the unit of surface of the mirror in the unit of time is A 2 (c cos + v)/8. The
difference of these two expressions is, by the principle of energy, the work done by
the pressure of light in the unit of time. If we set down this work as equal to the
product Pv, where P is the pressure of light, we obtain
P = 2
A2 (cos v/c)2
.
8 1 v2 /c2
In agreement with experiment and with other theories, we obtain to a rst approximation
A2
P = 2
cos2 .
8
All problems in the optics of moving bodies can be solved by the method here
employed. What is essential is, that the electric and magnetic force of the light
which is inuenced 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.
luis j. garay
C21
9.
Transformation of the Maxwell-Hertz Equations when ConvectionCurrents are Taken into Account
X
+ ux
t
Y
+ uy
t
Z
+ uz
t
1 L
Y Z
=
,
c t
z
y
1 M
Z X
=
,
c t
x
z
1 N
X Y
=
,
c t
y
x
N M
,
y
z
L N
,
=
z
x
M L
,
=
x
y
where
=
X Y Z
+
+
x
y
z
X
+ u
Y
+ u
Z
+ u
N
M
L
N
=
M
L
=
1 L
Y
Z
=
,
c
1 M
Z
X
=
,
c
1 N
X
Y
=
,
c
where
ux v
1 u x v/c2
uy
=
(1 u x v/c2 )
uz
=
,
(1 u x v/c2 )
u =
u
u
and
X
Y
Z
+
+
= (1 u x v/c2 ).
C22
luis j. garay
10.
X
Y
Z
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,
luis j. garay
C23
X,
Y,
Z,
= ( x vt),
= y,
= z,
X = X,
Y = (Y vN/c),
Z = (Z + vM/c).
With the help of these equations we transform the above equations of motion
from system k to system K, and obtain
d2 x
=
X
dt2
m3
d2 y
v
=
Y N
m
c
dt2
d2 z
v
=
Z+ M
2
m
c
dt
(A)
Taking the ordinary point of view we now inquire as to the longitudinal and
the transverse mass of the moving electron. We write the equations (A) in the
form
d2 x
= X= X,
dt2
d2 y
v
m2 2 = Y N = Y ,
c
dt
2z
d
v
m2 2 = Z + M = Z ,
c
dt
m3
denition of force here given is not advantageous, as was rst shown by M. Planck. It is
more to the point to dene force in such a way that the laws of momentum and energy assume the
simplest form.
C24
luis j. garay
Longitudinal mass =
( 1 v2 /c2 )3
m
.
Transverse mass =
1 v2 /c2
W =
X dx = m
= mc2
3 v dv
1
1 v2 /c2
1 .
luis j. garay
C25
Xdx =
c2
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 deective force), acting perpendicularly to the
velocity of the electron. From the second of the equations (A) we obtain
d2 y
v
v2
2 =
=
N
R
mc
dt
or
R=
mc2
v/c
1 v2 /c2
v2
c2
1
.
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.
C26
luis j. garay
httpXGGwwwFfourmilFhG
luis j. garay
C27
Apndice D
Does the Inertia of a Body Depend
upon its Energy-Content?,
by A. Einstein
luis j. garay
D1
principle of the constancy of the velocity of light is of course contained in Maxwells equa-
tions.
luis j. garay
D3
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 signications. 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 .
1L 2
v .
2 c2
D4
luis j. garay
luis j. garay
D5
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
modied 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:
httpXGGwwwFfourmilFhG
D6
luis j. garay
Apndice F
Frmulas
u (u v ) = 0
(F.1.1)
u (v w ) = (u w )v (u v )w
(F.1.2)
(u v ) (w z ) = (u w )(v z ) (u z )(v w )
u (v w ) = v (w u ) = w (u v )
(F.1.3)
(u v ) = v (
(u v ) = (u
(f u) =
(f u) =
u) u (
)v + (v
f u + f
f u + f
(u v ) = u (
v)
)u + u (
(F.2.1)
v) + v (
(F.2.4)
u ) + (v
v) =
)u (u
G) = 0
v)
)v
(F.2.5)
(F.3.1)
(F.3.2)
( G) = 0
g) =
(F.2.2)
(F.2.3)
(f
u)
v) v(
(F.1.4)
(F.3.3)
f
g+ f
luis j. garay
(F.3.4)
F1
Apndice F. Frmulas
x =0
(F.4.1)
x =3
1
x
= 2
|x |
|x |
2 1
= 43 ( x )
|x |
x
1
= 2
= 43 ( x )
3
|x |
|x |
|x | = x
(F.4.2)
(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:
2
f =
1
1
1
(r 2 r f ) + 2
(sen f ) + 2
2 f
2 r
r
r sen
r sen2
(F.6.1)
f =
1
1
r (rr f ) + 2 f
r
r
(F.6.2)
F2
1
2( x ) =
2
luis j. garay
dkeikx
(F.6.3)