Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Garay ElectrodinámicaClásica PDF
Garay ElectrodinámicaClásica PDF
Electrodinámica Clásica
Luis J. Garay
Estas notas no son otra cosa que mis apuntes personales, que he ido elaborando
con el único objeto de que me sean útiles en la enseñanza de la asignatura de
Electrodinámica clásica. Aunque probablemente estas notas os sean útiles también
a vosotros, no debéis olvidar que, en ningún caso, pueden sustituir a la bibliografía
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 más,
mis apuntes personales.
Son una notas incompletas cuyo contenido no va más allá de los temas tra-
tados en la asignatura de Electrodinámica clásica, grupo C, durante el año
académico 2004–05.
Básica
L.D. Landau y E.M. Lifshitz, Teoría clásica de campos, Reverté, 1986.
J.D. Jackson, Classical Electrodynamics, 3rd ed., Wiley & Sons, 1999.
A.O. Barut, Electrodynamics and Classical Theory of Fields and Particles, Do-
ver, 1980.
Complementaria
J.D. Jackson, Electrodinámica clásica, 2a ed., Alhambra Universidad, 1980.
J. Schwinger, L.L. DeRaad Jr., K.A. Milton y Wu-yang Tsai, Classical Elec-
— luis j. garay 2005 —
A. Tensores A–1
A.1. Vectores y formas lineales . . . . . . . . . . . . . . . . . . . . . . . . . A–3
A.2. Cambios de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A–3
A.3. Tensor métrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A–5
A.4. Tensor de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . A–6
A.5. Tensores cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . A–9
F. Fórmulas F–1
— luis j. garay 2005 —
Ecuaciones de Maxwell
ecuaciones de Maxwell:
~ · ~E = ε−1 ρ,
∇ (1.1a)
0
−
~ × ~B − c ∂t ~E = µ0~j,
2
∇ (1.1b)
~ × ~E + ∂t ~B = 0,
∇ (1.1c)
~ · ~B = 0,
∇ (1.1d)
Para una carga puntual q, que en el instante t se halla en la posición ~x0 y que se
mueve con velocidad ~v, las densidades de carga y de corriente son:
ρ(~x, t) = ρ+ (~x, t)θ [s(~x )] + ρ− (~x, t)θ [−s(~x )] + σ(~x, t)δ[s(~x )],
~j(~x, t) = ~j+ (~x, t)θ [s(~x )] + ~j− (~x, t)θ [−s(~x )] + K
~ (~x, t)δ[s(~x )],
y los campos
~ (~x, t) = C
C ~ + (~x, t)θ [s(~x )] + C
~ − (~x, t)θ [−s(~x )], ~ = ~E, ~B,
C
donde hemos usado las fórmulas (F.2.3,F.2.4) y ∂s θ (s) = δ(s). Si sustituimos estas
expresiones en las ecuaciones de Maxwell, obtenemos las siguientes condiciones de
empalme sobre la superficie s = 0:
1
∂t (ε 0~E2 + µ0−1~B2 ) + ∇
~ · ~S = −~E · ~j (1.5)
2
donde
~S = µ−1~E × ~B
0
donde
1 1
T ij = ε 0 ( Ei E j − δij ~E2 ) + µ0−1 ( Bi B j − δij ~B2 ). (1.8)
2 2
Ejercicio 1.2.5 Obtener este resultado.
el tensor de tensiones del campo electromagnético. Así, la ecuación (1.7) nos di-
ce que la variación en el momento total ~p + ~S/c2 se debe a un flujo de momento
representado por la divergencia del tensor de tensiones.
Definimos vector como aquel objeto que se transforma bajo una rotación propia
de la misma manera que el vector de posición y un escalar es aquel que no se ve
afectado por las rotaciones.
Las reflexiones (S) son las transformaciones ~x 0 = −~x. Un vector se transforma
como ~x bajo reflexiones. Un pseudovector es un vector que bajo reflexiones man-
tiene su valor, es decir, que no cambia de signo.
La inversión temporal (T) es la transformación mediante la cual el tiempo cam-
bia de signo.
Las ecuaciones de la física son covariantes bajo estas tres transformaciones, es
decir, tienen el mismo aspecto antes y después de las transformaciones.
Veamos cómo se comportan las cantidades electromagnéticas bajo estas trans-
formaciones.
~B. De ~F = q~v × ~B, vemos que ~B es un vector bajo rotaciones. Bajo reflexiones
~F y ~v son vectores y, por tanto, cambian de signo. Así, ~B lo preserva y es
A. ~ × A,
~ De ~B = ∇ ~ vemos que A ~ es un vector bajo rotaciones. Bajo reflexiones,
~ sí. Por tanto, A
~B no cambia y ∇ ~ es un vector bajo reflexiones. Puesto que ~B
cambia de signo bajo inversión temporal y ∇~ no, A~ sí lo hace.
~
A: R-vector, S-vector, T−.
1.3.3. Polarización
complejos con la misma fase. Podemos entonces construir una base ortonormal
ê1 , ê2 , n̂ tal que
~E = E1 ê1 , ~B = c−1 E1 ê2
o, también,
~E = E2 ê2 , ~B = −c−1 E2 ê1 .
y, por tanto, en un punto fijo ~x del espacio, el vector ~E barre el plano ê1 , ê2 con
velocidad angular constante determinada por la frecuencia ω. Si el vector de po-
√
larización de la onda es ê+ = (ê1 + i ê2 )/ 2, ~E gira en sentido contrario de las
agujas del reloj y decimos que la onda tiene helicidad positiva. Si la polarización
√
es ê− = (ê1 − i ê2 )/ 2, entonces decimos que tiene helicidad negativa.
La base de ondas polarizadas circularmente (1.12) forman también una base de
polarizaciones.
El vector de Poynting es
1
µ0~S = Re~E × Re~B = (~E + ~E∗ ) × (~B + ~B∗ )
4
1~ ~ 1~ ~ ∗ 1~ ∗ ~ 1~ ∗ ~ ∗
— luis j. garay 2005 —
Los campos ~E y ~B tienen una dependencia temporal eiωt . Por tanto, al calcular un
promedio temporal, el primer término se anula por ser oscilante e2iωt y nos queda
solo el segundo término:
1
h~Sit = Re(~E × ~B∗ ).
2µ0
1
u= [ε 0 (Re~E)2 + µ0−1 (Re~B)2 ]
2
1 1
= [ε 0 Re(~E2 ) + µ0−1 Re(~B2 )] + (ε 0~E · ~E∗ + µ0−1~B · ~B∗ )
4 4
y, por tanto, en el promedio temporal, el primer término se anula por ser oscilante:
1
huit = (ε 0~E · ~E∗ + µ0−1~B · ~B∗ ).
4
Así, para una onda plana (1.9),
donde hemos utilizado las ecuaciones (1.10, 1.11, F.1.2, F.1.3). Por tanto,
1 ~ ~∗ 1 ~ ~∗
h~Sit = ( E · E )k̂, huit = E·E
2µ0 c 2µ0 c2
−c−2 ∂2t C ~ 2C
~ +∇ ~ = 0, ~ = ~E, ~B,
C
— luis j. garay 2005 —
junto con las condiciones de contorno en las paredes del conductor obtenidas de
(1.4):
~Ek |S = ~B⊥ |S = 0, (1.13)
donde k y⊥ indican las componentes paralela y perpendicular a la superficie del
conductor respectivamente. En efecto, dentro del conductor, las cargas se mueven
libremente y adaptan su posición y velocidad para que ~E = ~B = 0. En la superficie,
tienen menos libertad (solo sobre la superficie y hacia el interior) y hacen que
las densidades superficiales de carga y de corriente se adapten a las condiciones
~ 0 ( x, y)ei(±kz−ωt) ,
~ (~x, t) = C
C
~ 0 queda
de forma que la ecuación de onda para C
~ 0 + (ω 2 /c2 − k2 )C
~ 2t C
∇ ~ 0 = 0, (1.14)
~ 2t = ∇
donde el laplaciano transversal es ∇ ~ 2 − ∂2z . Las condiciones de contorno para
la ecuación de onda para C ~ 0 son las mismas que para C ~ (ecuación 1.13). Si solo
~ t y no el operador ∂z , podemos eliminar la prima (0 ) de C
utilizamos ∇ ~ puesto que
los resultados no se ven afectados por la multiplicación por el factor ei(±kz−ωt) .
Además, es conveniente separar las componentes longitudinales y transversales de
los campos eléctrico y magnético:
~ =C
C ~ t + Cz êz .
Ejercicio 1.4.1 Obtener estos resultado mediante sustitución directa en las ecuacio-
nes de Maxwell de C ~ =C~ tem .
Es interesante notar que, en un cilindro hueco, este modo TEM no puede existir
puesto que la superficie del conductor es equipotencial y, en consecuencia, dentro
de la guía no puede existir campo eléctrico ni magnético: es necesaria una guía
coaxial.
1.4.2. Modos TE y TM
donde γ2 = ω 2 /c2 − k2 .
Además, se pueden obtener condiciones de contorno para los campos longitu-
dinales a partir de las condiciones de contorno para los campos totales y de las
ecuaciones de Maxwell:
Ez |S = 0, ~ t Bz |S = ∂n Bz |S = 0.
n̂ · ∇ (1.17)
Así, tenemos una ecuación de onda bidimensional (1.14) para Ez y Bz con las
condiciones de contorno (1.17). Como estas condiciones son diferentes, los auto-
valores asociados al campo eléctrico y al campo magnético serán diferentes en
general.
En esta sección, consideraremos soluciones tales que Ez o Bz son diferentes de
cero. Llamaremos ondas TM (transversales magnéticas) a las que satisfacen
Una vez conocidos ( Ez , Bz ) 6= 0 podemos calcular ~Et y ~Bt a partir de las ecuaciones
(1.16). De estas ecuaciones, vemos que, tanto para los modos TE como para los TM,
los campos eléctrico y magnético están relacionados:
~Et = ± ik ∇
~ t Ez (TM), ~Bt = ± ik ∇
~ t Bz (TE). (1.20)
γ2 γ2
Estos campos C ~ t obviamente satisfacen las condiciones de contorno ~Et,k |S = 0 y
~Bt,⊥ |S = 0, como es fácil comprobar.
Ez |S = 0 (TM), ∂n Bz |S = 0 (TE).
Ejercicio 1.4.4 Demostrar que los autovalores γ2 ≥ 0 para que se puedan satisfacer
las condiciones de contorno.
Así, solo los modos para los que ωn ≤ ω se pueden propagar en la guía. Puesto
que γn son los autovalores en una sección finita de una cavidad, están cuantizados
y γn ∼ n/R donde R es una longitud característica de la sección (el lado de una
guía de sección cuadrada, por ejemplo). Por tanto, existe solo un número finito de
modos tales que ωn ≤ ω y, a menudo, se elige la guía de forma que solo exista un
modo.
Comentarios: ω/c es el número de onda en el espacio libre y k n ≤ ω/c. Por
tanto, la velocidad de fase v f ,n = ω/k n ≥ c y, de hecho, es infinita para ω = ωn .
— luis j. garay 2005 —
Para ondas TM, Bz = 0, usamos las expresiones (1.19) y (1.20), junto con la
fórmula (F.1.2) y obtenemos
k2 ~ t Ez∗ ].
~ t Ez |2 êz + i (γ2 /k) Ez ∇
h~Sit = [±|∇
2γ4 Z
Si integramos la componente axial (en la dirección ±êz ) de este resultado sobre
toda la sección Σt de la guía, obtenemos la potencia transmitida en la guía:
k2
Z Z
P=± h~Sit · êz d2~xt = ∇ ~ t Ez∗ d2~xt .
~ t Ez · ∇
Σt 2γ4 Z Σt
~ t · ~u d2~xt =
R H
Teniendo en cuenta la fórmula (F.3.4) y que Σt ∇ ∂Σt n̂ · ~
u dlt , podemos
escribir
k2
I Z
∗ ~ t Ez )dl − ∗ ~ t Ez d ~xt
2 2
P= E (n̂ · ∇ Ez ∇
2γ4 Z ∂Σt z Σt
k2
I Z
∗ ∗~ 2 2
= 4 E (∂n Ez ) dl − Ez ∇t Ez d ~xt .
2γ Z ∂Σt z Σt
El primer término se anula por las condiciones de contorno y, por tanto, utilizando
la ecuación de onda para Ez , la potencia transmitida por una onda TM resulta
cε 0 ω 2
q Z
P= 1 − (ωn /ω ) 2 | Ez |2 d2~xt (TM).
2 ωn Σt
Por último, es muy fácil calcular el promedio de la densidad de energía por unidad
de longitud. El resultado es:
−1
— luis j. garay 2005 —
Z q
2 2
U = huit d ~xt = c 1 − (ωn /ω ) P.
Estas ecuaciones son equivalentes a las ecuaciones de Maxwell. Son cuatro ecua-
ciones de segundo orden frente a las ocho de primer orden que son las ecuaciones
de Maxwell. Además, son invariantes bajo transformaciones de gauge (1.23).
~ + c−2 ∂t φ = 0,
~ ·A
∇
− c−2 ∂2t Aµ + ∇
~ 2 A µ = − µ0 j µ . (1.26)
donde µ = 0, 1, 2, 3, ~ ) y jµ = (cρ,~j).
Aµ = (φ/c, A
Todavía queda una arbitrariedad adicional puesto que aquellas transformacio-
nes gauge tales que f satisface
~ 2 f − c−2 ∂2t f = 0
∇
φ = φno − ∂t f , ~ =A
A ~ f,
~ no + ∇ ∇ ~ + c−2 ∂t φ = 0.
~ ·A
Sustituyendo las dos primeras ecuaciones en la tercera vemos que para que la
respuesta sea afirmativa, f debe satisfacer la ecuación
Dado que esta ecuación diferencial para f siempre tiene solución, la condición de
Lorenz siempre se puede imponer.
Existen otras formas de fijar el gauge que discutiremos posteriormente:
Gauge de Coulomb: ~ ·A
∇ ~ = 0,
Gauge temporal: φ = 0,
Gauge axial: A3 = 0
(−c−2 ∂2σ + ∇
~ 2 ) G (~r, σ; 0, 0) = −δ3 (~r )δ(σ).
~r (1.28)
Sustituyendo en esta ecuación G (σ) = (2π )−1/2 dωG (ω )e−iωσ , utilizando la re-
R
donde
e−iω (σ∓r/c) δ(σ ∓ r/c)
Z
G± (~r, σ) = (4π )−1 (2π )−1/2 dω = .
r 4πr
Si definimos
t0± = t ∓ r/c = t ∓ |~x − ~x 0 |/c,
como los tiempos retardado y avanzado respectivamente, las funciones de Green
correspondientes se pueden escribir
δ(t0 − t0± )
G± (~x, t; ~x 0 , t0 ) = , G = α+ G+ + α− G− .
4π |~x − ~x 0 |
~ δ± = ∓c−1 r̂ ∂σ δ± ,
∇ ~ 2 δ± = c−2 ∂σ δ± ∓ 2 ∂2σ δ± ,
∇
cr
obtenemos
1
(−c−2 ∂2σ + ∇
~ 2 ) G± = ∓ ∂σ δ± − δ± δ3 (~r ).
πcr2
Si integramos este resultado en todo el tiempo y en un pequeño volumen δV al-
rededor de ~r = 0, el primer término se anula puesto que supone la evaluación de
δ± (±∞) = 0; el segundo término contribuye con −1. Con estos resultados, vemos
que la integral a todo tiempo y en un pequeño volumen δV alrededor de ~r = 0 de
la ecuación (1.28) Z
dσd3~r (−c−2 ∂2σ + ∇
~ 2 ) G = −1
1.6. Ejercicios
1.1 Un monopolo magnético de carga magnética qm situado en el origen crea un
campo magnético cuya expresión es
~Bm = µ0 qm ~x .
4π |~x |3
1.2 Si existiesen cargas magnéticas, como en el problema 1.1, las ecuaciones de Max-
well tendrían la siguiente forma:
∇ · ~E = ρe /ε 0 , ∇ × ~E + ∂t ~B = −µ0~J m ,
∇ · ~B = µ0 ρm , ∇ × ~B − c−2 ∂t ~E = µ0~J e .
q → q0 = −q.
µ0
Z ~j(~x ) · ~j(~x 0 )
U= d3~x d3~x 0 .
8π |~x − ~x 0 |
1.5 Sea una región del espacio en la que existen cargas móviles. En esta region, la
densidad de corriente es proporcional al campo eléctrico (ley de Ohm): ~j = σ~E,
donde σ es la conductividad eléctrica.
b. Probar que para la componente de Fourier ~E(ζ, t) = ~E(ζ )eiωt , la ecuación del
telégrafo independiente del tiempo es
(∂2ζ + K2 )~E(ζ ) = 0
para que su amplitud disminuya en 1/e. Probar que para buenos conduc-
tores δ2 = 2/(µ0 ωσ ). Explicar en términos de la longitud de penetración la
definición de conductor perfecto como aquél para el que la conductividad es
infinita.
1.6 Considérese una guía de ondas coaxial de radio interior a y radio exterior b
cuyas paredes son dos conductores perfectos distintos. Encontrar los modos TEM
que pueden transmitirse en dicha guía. Calcular el flujo de energía a lo largo de la
guía para los modos obtenidos.
1.7 Sea una guía de ondas de sección rectangular de lados a en la dirección êx y
b en la dirección êy con a < b cuyas paredes son conductores perfectos. Se sabe
que el modo fundamental es de tipo TE y que la componente en la dirección êx del
campo eléctrico es Ex = E0 sen(πy/b)ei(kz−ωt) , donde E0 es una constante.
1.8 Sea una guía de ondas como la del problema 1.7 con b = 3a/2. Se sabe que
existe un modo de tipo TE y que la componente en la dirección êy del campo
eléctrico es Ey = E0 sen(πx/a)ei(kz−ωt) , donde E0 es una constante.
1.9 Demostrar que el gauge de Coulomb es una buena condición de fijación del
gauge.
1.10 Demostrar que los gauges temporal y axial son buenas condiciones de fijación
del gauge.
Z ~ 0
~jt (~x, t) = 1 ∇~ ×∇~ × j(~x , t) 3 0
d ~x ,
4π |~x − ~x 0 |
Z ~0 ~ 0
~jL (~x, t) = − 1 ∇~ ∇ · j(~x , t) 3 0
d ~x .
4π |~x − ~x 0 |
c. Escribir una expresión cerrada para el potencial escalar en la que conste ex-
plícitamente el tiempo. Dilucidar si esta dependencia involucra el tiempo re-
tardado, el avanzado o ambos e interpretarlo físicamente. Demostrar que, en
este gauge y en ausencia de fuentes, el potencial escalar es idénticamente
nulo.
Determinar:
1.14 Calcular los potenciales escalar y vector creados por una carga puntual en
movimiento.
Según este principio de relatividad, las ecuaciones que describen las leyes de la
naturaleza tienen la misma forma en todos los sistema de referencia inerciales.
El principio de relatividad de Galileo está basado en la propagación instantánea
de señales y su rango de aplicación es la mecánica clásica o newtoniana: todas las
leyes de la mecánica son idénticas en todos los sistemas de referencia inerciales.
Sin embargo, no existen interacciones instantáneas. Al introducir el campo elec-
tromagnético, es necesario tener este hecho en cuenta. La velocidad de la luz en el
vacío es la velocidad máxima que puede alcanzar una interacción. Esta es una ley
física y, por tanto, debe ser válida en todos los sistemas de referencia.
interacciones instantáneas.
En la mecánica clásica, el espacio es relativo: la distancia entre dos sucesos no
simultáneos depende del sistema de referencia. En efecto, sean ~x1 (t1 ) y ~x2 (t2 ) dos
sucesos en el sistema de referencia SRI. En SRI’, que se mueve con velocidad ~v, la
posición es ~x 0 (t) = ~x (t) − ~vt y, por tanto,
|~x20 (t2 ) − ~x10 (t1 )|2 = |~x2 (t2 ) − ~x1 (t1 )|2 + v2 (t2 − t1 )2
− 2(t2 − t1 )~v · (~x2 (t2 ) − ~x1 (t1 )).
En otro SRI’, estos dos sucesos estarán caracterizados por sus coordenadas ~x10 y ~x20
y los instantes en que se producen t10 y t20 respectivamente. Como la velocidad de
propagación de la señal es también c, se satisface la relación
— luis j. garay 2005 —
Dado que a, γ, f no dependen de las posiciones o tiempos, cada término debe anu-
larse por separado, lo que implica que
v 1
f =− , a=γ= √ ,
c2 1 − v2 /c2
de forma que podemos concluir que la relación (2.1) es invariante bajo las llamadas
transformaciones de Lorentz:
t0 = γ[t − (v/c2 ) x ],
x 0 = γ( x − vt),
y0 = y, z0 = z.
~ ~
~ 0 = V + (γ − 1)(v̂ · V )v̂ − γ~v .
V
γ(1 − c−2~v · V~)
Vk − v ~⊥
V
Vk0 = , ~ ⊥0 =
V .
1 − c−2 vVk γ(1 − c−2 vVk )
Ejercicio 2.1.4 Demostrar que esta cantidad también es invariante bajo las trans-
formaciones de Lorentz.
— luis j. garay 2005 —
Resulta útil introducir el elemento de línea ds2 entre dos sucesos próximos (~x, t)
y (~x + d~x, t + dt):
ds2 = −c2 dt2 + d~x2 ,
que es invariante bajo las transformaciones de Lorentz.
Decimos que dos sucesos están separados temporalmente o que su intervalo
es de género 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.
2.2.1. Tensores
cuyo inverso η µν en sentido matricial (es decir, tal que ηµρ η ρν = δµν ) es
η µν = diag[−1, 1, 1, 1].
ds2 = ηµν dx µ dx ν .
x 0µ = Λ ν x ν .
µ
α0µ = Λ ν αν .
µ
lo que nos indica que ηµν es realmente un tensor. Análogamente, es fácil probar
µ
que η µν y δν también son tensores.
αµ = ηµν αν , αµ = η µν αν ,
de manera que
α0 = − α0 , αi = δij α j .
Por tanto, el tensor métrico se puede utilizar para subir y bajar índices. Convie-
ne notar que ηij = δij y que los índices espaciales (latinos) se suben y bajan tanto
con la métrica euclídea δij como con ηij , gracias a que hemos escogido la signatura
(−, +, +, +).
Dado un tensor α···µ···ν··· , llamamos contracción de índices a la operación del
cálculo de su traza
···µ··· ··· ···µ···ν···
— luis j. garay 2005 —
α µ = ηµν α .
Debe notarse que eµνρσ = −eµνρσ (en valor numérico; esta fórmula no es cova-
riante). Además, el tensor de Levi-Civita es invariante bajo transformaciones de
Lorentz ortocronas propias. No lo es bajo reflexiones espaciales o temporales.
2.2.4. Derivación
∂µ = η µν ∂ν = ∂/∂xµ .
= η µν ∂µ ∂ν = −c−2 ∂2t + ∇
~ 2.
2.2.5. Integración
dx µ = ∂s x µ ds.
donde cos α = dv1 dv2µ /|dv1 ||dv2 |. Esta expresión para el área infinitesimal se pue-
de reescribir de la siguiente manera:
β ρ ρ
= 2δ[αρ δσ] dv1 dv2σ dv1α dv2β = eµναβ eµνρσ dv1 dv2σ dv1α dv2β
= dSµν dSµν ,
donde
ρ
dSµν = eµνρσ dv1 dv2σ
donde
ρ
dσµ = nµ dσ = eµνρσ dv1ν dv2 dv3σ .
1
dσ∗µνρ = eµνρσ dσσ ,
2
que es paralelo a la hipersuperficie y, por tanto, análogo al elemento de línea dx µ .
dx µ
uµ = ≡ ẋ µ .
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 partícula. Así, uµ = γ(c, ~v). Obviamente,
en el sistema de referencia propio, u0 = (c,~0). Puesto que τ es invariante y x µ se
µ
y que
bµ bµ = γ4 [γ2 (~v ·~a)2 /c2 +~a2 ] ≥ 0.
~a⊥ ~⊥
vak V
~a0⊥ = + .
γ2 (1 − c−2 vVk )2 c2 γ2 (1 − c−2 vVk )3
Ejercicio 2.2.14
a) Demostrar que todo vector perpendicular a uno de género tiempo es de género
espacio.
b) Demostrar que los vectores perpendiculares a un vector de género espacio o
nulo pueden ser de género espacio, nulo o tiempo.
— luis j. garay 2005 —
[ Pµ , Pν ] = 0.
El grupo de Lorentz está formado por todas las matrices Λ ν que satisfacen la
µ
ecuación (2.4) y que, en particular, implica que det(Λ ν ) = ±1. Puesto que la trans-
µ
Por tanto, la velocidad proporciona tres de los seis parámetros que determinan una
transformación de Lorentz general. Los otros tres parámetros corresponden a las
rotaciones espaciales.
Consideremos una transformación de Lorentz infinitesimal
Λ
µ µ µ
ν = δν + δω ν .
Así, podemos concluir que el tensor δωµν es antisimétrico y, como tal, tiene seis
componentes independientes.
Para boosts infinitesimales con velocidades δvi , las únicas componentes no nulas
son
δω0i = −δωi0 = δvi /c ≡ δζ i .
En las rotaciones infinitesimales, solo intervienen las componentes espaciales. Por
tanto, podemos escribir las únicas componentes no nulas
δωij = −eijk δθ k ,
donde δθ i son los tres parámetros asociados a las rotaciones y que interpretaremos
como los ángulos de rotación alrededor de los tres ejes espaciales. Así, para una
— luis j. garay 2005 —
Los operadores Lµν son los generadores infinitesimales del grupo de Lorentz y
están íntimamente relacionados con el momento angular orbital total del sistema,
como veremos. Podemos escribir la transformación de Lorentz infinitesimal (2.6)
en términos de los parámetros infinitesimales δθ i y δζ i :
1 1
δx µ = −i (δω 0i L0i + δω ij Lij ) x µ = i δζ i L0i + eijk δθk Lij x µ
2 2
i k µ ~ ~ ~ ~
= i (δζ Ki + δθk L ) x = i (δθ · L + δζ · K ) x ,
µ
i ρσ
Λ = exp − ω Lρσ = exp(i~θ · ~L + i~ζ · K~ ),
2
con los parámetros θ i y ζ i definidos como θ i = −eijk ω jk /2 y ζ i = ω0i .
Puesto que ~ζ son los parámetros de boost, deben ser función de la velocidad
del boost. Para obtener esta relación, aplicamos una transformación de Lorentz con
~θ = 0 y, haciendo uso del resultado del Problema 2.12, obtenemos
~ζ = v̂ arctanh(v/c).
~θ = 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 transformación de Lorentz con estos parámetros es una rotación
alrededor del eje z.
Además de los operadores Lµν de momento angular orbital que hemos descrito
hasta ahora, existen otros operadores Sµν que, aunque no admiten una descripción
en términos de la posición y del momento, es decir, de la derivada con respecto
a la posición, satisfacen las mismas reglas de conmutación. Más aún, puesto que
no dependen de la posición, estos operadores Sµν de espín conmutan con el opera-
dor de momento angular orbital. Así, podemos construir el operador de momento
angular total Mµν que es la suma del momento angular orbital Lµν y el espín o
momento angular intrínseco Sµν , cuyas reglas de conmutación son obviamente las
— luis j. garay 2005 —
ya descritas.
Finalmente, las reglas de conmutación entre los generadores de las traslaciones
Pµ y los generadores de las transformaciones de Lorentz son fáciles de obtener y
reflejan el hecho de que Pµ es un vector bajo transformaciones de Lorentz.
Ejercicio 2.3.5 Obtener las reglas de conmutación de todos los generadores del
grupo de Poincaré.
− Pµ Pµ = ∂µ ∂µ =
de Pauli-Lyubarskii
1 µνρσ
Wµ = e Pν Mρσ .
2
La parte orbital de este operador se anula ya que L ∼ xP y W ∼ ePxP = 0 por
antisimetría. Por tanto, el operador de Pauli-Lyubarskii solo depende del operador
del espín:
1
W µ = eµνρσ Pν Sρσ .
2
Este operador conmuta con los generadores de traslaciones y es un vector bajo
transformaciones de Lorentz. Por tanto, su cuadrado es un operador invariante
bajo el grupo de Poincaré. Si tomamos como sistema de referencia aquel en el la
configuración que define nuestro sistema no depende de su posición global en el
espacio (es decir, el sistema de centro de inercia), entonces Pi se anulará en su ac-
tuación. Puesto que W µ Wµ es un escalar Poincaré, podemos evaluarlo en cualquier
sistema de referencia inercial y, en particular, en el del centro de inercia. Así,
Los autovalores de este operador de Casimir son de la forma m2 c2 s(s + 1), sien-
do s un número semientero (conviene recordar que los autovalores del cuadrado
del momento angular tienen esta forma).
Puesto que estos dos operadores − P2 y W 2 son invariantes bajo transforma-
ciones de Poincaré, su actuación sobre la configuración de un sistema dado, nos
proporcionará información intrínseca sobre el sistema, es decir, independiente del
sistema de referencia.
Si la masa es nula, entonces, además de la relación de ortogonalidad W µ Pµ = 0,
tenemos que Pµ Pµ = W µ Wµ = 0 y, por tanto, los vectores W µ y Pµ son propor-
— luis j. garay 2005 —
P · ~S/P0 .
h=~
δS ∂L d ∂L
= µ− = 0.
δx µ ∂x dτ ∂ ẋ µ
δS ∂L d ∂L
µ = µ − = 0, n = 1, 2 . . . .
δxn ∂xn dτ ∂ ẋnµ
∂L
∑ ∂ẋµ δxn
µ
δQ =
n n
δS = [δQ]ττ21 .
2.4.2.1. Cuadrimomento
∂L
pµ ≡ .
∂ ẋ µ
En efecto,
d ∂L ∂L
ṗµ = = µ,
dτ ∂ ẋ µ ∂x
donde hemos usado las ecuaciones de movimiento. Si el lagrangiano no depende
de las posiciones espaciotemporales, entonces el cuadrimomento se conserva.
Así, el cuadrimomento es la cantidad conservada asociada a la invariancia bajo
traslaciones espaciotemporales.
— luis j. garay 2005 —
∑ pn
µ
Pµ =
n
se conserva en la evolución.
donde xi = ∑n xni p0n /P0 es, por definición, la posición del centro de inercia, que se
mueve con velocidad constante. Debe notarse que esta definición no es covariante
y que, por tanto, depende del sistema de referencia elegido.
notar que m contiene contribuciones no solo de las masas de las partículas indivi-
duales sino que también tiene contribuciones de las energías cinéticas en el sistema
del centro de inercia y de las energías internas, es decir, de las energías potenciales
de atracción y/o repulsión entre ellas.
Consideremos ahora el vector de Pauli-Lyubarskii
1 µνρσ
Wµ = e Pν Mρσ .
2
µ 1 µ0ρσ 1
Wci = e Pci,0 Mci,ρσ = eµ0jk Pci,0 Mci,jk .
2 2
Así, vemos que
1 0 ijk
Wci0 = 0, Wcii = P e Mci,jk
2 ci
y, por tanto,
W µ Wµ = m2 c2~S2 ,
donde Si = 12 eijk Mci,jk es el momento angular del sistema de partículas en el SRI
propio del centro de inercia y recibe el nombre de espín.
µ
Consideremos un sistema de partículas de coordenadas xn . En el sistema de
referencia del centro de inercia
1 ijk
Si = e Mci,jk = eijk ∑ xn,j pn,k .
2 n
n n
pero el último término se anula debido a que ∑n pn,i = 0. Es decir, el espín solo
depende de la configuración interna del sistema.
La masa total del sistema m y su momento angular intrínseco ~S2 son las únicas
cantidades conservadas e invariantes bajo el grupo de Poincaré independientes.
Cualquier otra se puede escribir en términos de ellas. La demostración de esta
afirmación se basa en que ambos son los casimires del grupo de Poincaré y no la
presentaremos aquí.
2.4.3. Fuerzas
Debe ser invariante bajo transformaciones de Lorentz, para que sea indepen-
diente del SRI escogido.
El factor −mc2 aparece para que S tenga unidades de acción y para que coin-
cida con su expresión no relativista en el límite de velocidades pequeñas. En
efecto, podemos expandir la acción elegida en serie de potencias de v/c:
1 v2
Z
2 4
S = −mc dt 1 − 2 + O[(v/c) ]
2c
1
Z Z
= −mc2 dt + mv2 dt + O[(v/c)4 ].
2
El primer término es constante y el segundo es la acción de una partícula
— luis j. garay 2005 —
Para obtener esta expresión basta notar que ~v2 /c2 = 1 − γ−2 y que, por tanto,
γ2 = 1 + ~p2 /(mc)2 .
δS
pµ = = muµ .
δuµ
Sin embargo, aunque el resultado es correcto, el procedimiento es inadecuado pues-
to que uµ uµ = −c2 es una ligadura que debemos introducir mediante un multipli-
cador de Lagrange. Nosotros seguiremos un procedimiento alternativo equivalente.
Escribamos la acción como
Z q
S = −mc −wµ wµ dσ,
δS mcwµ
pµ = =√ = muµ .
δw µ − wν wν
Por otro lado, el momento nos indica cómo varía la acción de las trayectorias
— luis j. garay 2005 —
δS = muµ δx µ = pµ δx µ .
p
esta ecuación en términos de la velocidad E = mc2 1 + c−2 γ2~v2 y expandiendo en
serie, obtenemos
E = mc2 + m~v2 /2 + O[(~v/c)4 ],
que es la expresión no relativista de la energía total (energía en reposo más energía
cinética) de una partícula libre en la mecánica de Newton.
Finalmente, la ecuación de movimiento de la partícula libre es
δS ∂L d ∂L d
= µ− = − (muµ ) = 0 ⇒ mu̇µ = 0.
δx µ ∂x dσ ∂w µ dσ
El momento angular nos indica cómo varía la acción bajo pequeñas rotaciones
espaciotemporales, es decir, bajo transformaciones de Lorentz
δx µ = δω µν xν . (2.7)
Z q
S = −mc −u2 + 2uµ x ν δω̇µν dτ
Z p Z
= −mc −u2 dτ −m uµ x ν δω̇µν dτ.
2.5.3. Casimires
Obviamente, en el caso de una partícula libre clásica, las dos cantidades con-
servadas e invariantes bajo el grupo de Poincaré se reducen a su masa, pues su
momento angular intrínseco, es decir, en el SRI propio, es nulo. En mecánica cuán-
tica, las partículas pueden tener espín aun cuando sean puntuales. En ese caso, el
vector de Pauli-Lyubarskii ya no será nulo.
Sea Φ un campo local, es decir, una función que asigna un valor o conjunto
de valores a cada suceso espaciotemporal. En un cierto SRI, denotaremos a este
campo Φ( x µ ), donde x µ son las coordenadas del suceso. Bajo una transformación
de las coordenadas y del campo, Φ( x ) se transformará en Φ0 ( x 0 ). En principio,
Φ( x ) y Φ0 ( x 0 ) podrían ser diferentes (y lo serán, en general). Consideremos una
transformación infinitesimal de las coordenadas y del campo:
δΦ = Φ0 ( x 0 ) − Φ( x ) = Φ0 ( x + δx ) − Φ( x )
= Φ0 ( x ) − Φ( x ) + δx µ ∂µ Φ0 ( x ) + O(δx2 )
δΦ = δ0 Φ + δx µ ∂µ Φ( x ),
2.6.1.1. Traslaciones
δ0 Φ = −δαµ ∂µ Φ = −iδαµ Pµ Φ.
∂
δ0 Φ( x ) = −δαµ ∂µ Φ( x ) = −δαµ ∂µ f ( x − y) = δαµ f ( x − y ),
∂yµ
Los campos escalares son invariantes bajo transformaciones de Lorentz por de-
finición. Por tanto, si φ( x ) es un campo escalar, no se transformará bajo transfor-
µ
maciones de Lorentz infinitesimales δx µ = δω ν x ν , es decir, δφ = 0. Así,
— luis j. garay 2005 —
µ
0 = δφ = δ0 φ + δx µ ∂µ φ = δ0 φ + δω ν x ν ∂µ φ.
µ i µν
δ0 φ = −δω ν x ν ∂µ φ = δω Lµν φ.
2
Sin embargo, el generador de las transformaciones de Lorentz podría contener
un operador adicional Sµν , como ya vimos. Este operador no está presente en la
Puesto que φ es un escalar, δφ = 0 y δVµ = [δ, ∂µ ]φ. Además, hemos visto que
δ = δ0 + δx µ ∂µ y, por tanto,
donde hemos definido Sνρ como la matriz de espín cuyas componentes son
µ
(Sνρ )µσ = −iδ[ν δρσ] . Por tanto,
i ρσ
δ0 V µ = δω Mρσ V µ ,
2
donde
µ
Mρσ = Lρσ + Sρσ y Sρσ V µ = (Sρσ ) ν V ν .
Aparentemente, δ0 depende de las coordenadas, pero no es así: en primer lugar,
lo hemos construido específicamente con el requisito de que sea independiente
de las coordenadas; en segundo lugar, se puede comprobar explícitamente que
[∂, δ0 ]V = 0 (ver Ejercicio 2.6.1).
Los dos casimires independientes son
− Pµ Pµ = m2 c2 6= 0, ~S2 = Wµ W µ /(m2 c2 ),
donde, como vimos, (Si ) ν = 12 eijk (S jk ) ν , de forma que ~S2 = 2diag[0, 1, 1, 1], es
µ µ
µν···ξ µ0 ν0 ···ξ 0
Sρσ Bµν···ξ = (Sρσ ) µ0 ν0 ···ξ 0 B
dice lo siguiente: los campos físicos, cuyos valores están fijados en una cierta hiper-
superficie, son aquellos que hacen extrema la acción del sistema.
Bajo un cambio cualquiera de campos δ0 Φ que no afecte a las posiciones espa-
ciotemporales, la acción cambia de la siguiente manera2 :
∂L ∂L
Z Z
4 4
δ0 S = d xδ0 L = d x δ0 Φ + δ0 (∂µ Φ) .
M M ∂Φ ∂(∂µ Φ)
2 Puesto que Φ puede tener varias componentes, se sobreentiende una suma sobre todas ellas
de ∂M.
Si exigimos que las variaciones de los campos se anulen en la frontera del volu-
men espaciotemporal M, δ0 Φ|∂M = 0, el requerimiento de que δ0 S = 0 se traduce
en las ecuaciones de Euler-Lagrange
∂L ∂L
− ∂µ = 0,
∂Φ ∂(∂µ Φ)
que son las ecuaciones clásicas de movimiento para el sistema descrito por la acción
S.
Debemos notar que si añadimos un término de superficie a la acción 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.
donde
µ δx µ ∂L δ0 Φ
ja = L + .
δe a ∂(∂µ Φ) δe a
Otra expresión equivalente para la densidad de corriente asociada a la transforma-
ción determinada por δe a se puede obtener sustituyendo δ0 Φ = δΦ − δx µ ∂µ Φ:
∂L ∂L δΦ
ν
δx
∂ν Φ
µ µ
ja = Lδν − + .
∂(∂µ Φ) δe a ∂(∂µ Φ) δe a
Σ
es independiente de la superficie en la que se evalúa.
Hasta ahora, toda nuestra discusión ha sido explícitamente covariante. Si rom-
pemos esta covariancia explícita y suponemos que M es un volumen espaciotem-
poral que consiste en todo el espaciotiempo contenido entre dos instantes de tiem-
po coordenado en un cierto SRI, es decir, M = R3 × [t1 , t2 ], entonces
Z t2 Z
δS
0= a =c dt d3 x (∂0 ja0 + ∂i jai ).
δe t1
Q̇ a = 0,
∂L
∂ν Φ,
µ µ
T̄ ν ≡ ( jν )µ = Lδν − ∂µ T̄ µν = 0,
∂(∂µ Φ)
que es el momento total del sistema. en la última igualdad hemos evaluado la inte-
gral de superficie en el sistema de referencia en el que la normal a Σ es nµ = (1,~0).
Por último, nos queda demostrar que ∂µ T̄ µν = 0 si y solo si la lagrangiana no
depende explícitamente de las coordenadas, es decir, si y solo si ∂¯ µ L = 0, donde
∂¯ µ es la derivada parcial explícita. Para ello, escribamos
∂L
— luis j. garay 2005 —
∂µ T̄ = ∂ L − ∂µ
µν ν
∂ Φ
ν
∂(∂µ Φ)
∂L ν ∂L ∂L
= ∂ Φ+ ν ¯
∂ ∂ρ Φ + ∂ L + ∂µ
ν
∂ Φ .
ν
∂Φ ∂(∂ρ Φ) ∂(∂µ Φ)
∂µ T̄ µν = ∂¯ ν L,
donde
∂L
(Sρσ )nm Φm
µ µ µ µ
L = xρ T̄ σ − xσ T̄ ρ , S = −i
ρσ ρσ
∂(∂µ Φn )
son las densidades de corriente de momento angular orbital y de espín, respectiva-
mente.
µ
Puede demostrarse, de manera análoga al caso de las traslaciones que M̄ ρσ
tiene divergencia nula si y solo si la acción es invariante Lorentz, puesto que se
puede ver que
1 ρσ µ
δω ∂µ M̄ ρσ = δL.
2
Por último, el momento angular total
Z Z
d3 x M̄0ρσ
µ
Mρσ = dσµ M̄ ρσ =
Σ
Mµρσ = x ρ T µσ − x σ T µρ ,
vemos que
∂µ Mµρσ = ∂µ M̄µρσ = 0.
La acción (2.8) es invariante bajo cambios constantes de la fase global del campo
φ, como hemos visto. Sin embargo, cambios de la fase en regiones causalmente
inconexas no deberían afectar al resultado. En general, los fenómenos físicos no
se ven afectados por cambios locales de la fase de los campos, es decir, que la
acción debe ser invariante bajo transformaciones que cambien la fase en cada punto
φ0 ( x ) = eiqα( x) φ( x ), cuya versión infinitesimal es δφ( x ) = δ0 φ( x ) = iqδα( x )φ( x ) con
δx µ = 0. Sin embargo, bajo estas transformaciones gauge, la variación de la acción
es
1 1
Z
4 µ ∗ ∗ ∂V ∂V ∗
δS = d x − ∂µ δφ∂ φ − ∂µ φ∂ δφ − µ
δφ − ∗ δφ
2 2 ∂φ ∂φ
iq iq
Z
= d4 x − φ∂µ δα∂µ φ∗ + φ∗ ∂µ φ∂µ δα
2 2
iq
Z Z
µ ∗ ∗ µ
=− d x∂µ δα (φ∂ φ − φ ∂ φ) = d4 xjµ ∂µ δα 6= 0.
4
2
Para recuperar la invariancia gauge, introducimos un campo adicional Aµ mediante
la sustitución de la derivada ∂µ por la derivada covariante
Dµ = ∂µ − iqAµ
y tal que la ley de transformación de Aµ sea δAµ ( x ) = ∂µ δα( x ) cuya versión finita
es A0µ ( x ) = Aµ ( x ) + ∂µ α( x ). En efecto, la acción queda
Z
1 1
Z
4 µ ∗ 4 µ ∗
S= d x − Dµ φ(D φ) − V (φ) = d x − ∂µ φ∂ φ − V (φ) − j Aµ ,
µ
2 2
cuya variación se anula y donde hemos modificado la densidad de corriente
iq
jµ = − [ φ (Dµ φ ) ∗ − φ ∗ Dµ φ ]
2
para que sea invariante gauge. La aplicación del teorema de Noether no proporcio-
— luis j. garay 2005 —
Mediante este procedimiento de acoplo mínimo hemos construido una acción in-
variante gauge a cambio de introducir un campo vectorial adicional con una ley
de transformación adecuada. Puesto que tenemos un campo nuevo, deberemos
añadir a la acción el término cinético correspondiente a este campo, que para pre-
servar la invariancia gauge, debe ser a su vez invariante gauge. Un término del tipo
1
R 4
4 d xFµν F µν con Fµν = ∂µ Aν − ∂ν Aµ puede desempeñar, obviamente, ese papel.
El campo electromagnético surge así como un campo reparador de la invariancia
gauge, que asegura la invariancia de la acción bajo cambios de fase locales de los
campos cuando la acción ya es invariante bajo cambios de fase globales.
∂(cL)
π=
∂(∂t Φ)
De esta definición es muy fácil ver que la componente temporal del tensor de
energía-momento es precisamente (salvo por un factor c) la densidad hamiltoniana
si sustituimos el momento por su valor ∂L/∂(∂0 Φ): T 00 = H /c.
Dados los corchetes de Poisson a tiempos iguales
y el hamiltoniano
— luis j. garay 2005 —
Z
H= d3 x H(~x ),
∂t Φ = {Φ, H }, ∂t π = {π, H }
Entonces,
{ Pµ , H } = {Ki , H } = { Mi , H } = 0,
2.7. Ejercicios
2.1 Comparar la energía disponible en una colisión frontal de dos partículas con la
misma masa m en las siguientes situaciones y compararlas:
b. Solo una se acelera hasta obtener una energía 2E y choca con otra que está en
reposo.
2.2 ¿Qué intervalo de tiempo en la Tierra duraría el viaje de ida y vuelta hasta Pró-
√
xima Centauri que se halla a 4 años luz si se realiza a una velocidad v = 0,9999c?
¿Cuánto duraría 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 años
según el calendario de a bordo con una aceleración g también medida con los
instrumentos de a bordo. Luego desacelera al mismo ritmo durante otros 5 años,
da media vuelta y regresa de idéntica manera. ¿Cual es la fecha de llegada en la
Tierra? ¿A qué distancia llegó la nave?
Demostrar que S0 está en reposo con respecto a S pero está rotado un cierto ángulo
alrededor de êz . Ésta es la llamada precesión de Thomas. Calcular el ángulo de
— luis j. garay 2005 —
rotación.
2.9 Sea un sistema compuesto por partículas que decaen en pares de partículas
idénticas y que se mueve con una cierta velocidad. Calcular la distribución energé-
tica (número de partículas con una energía dada) de las partículas producidas en
el sistema de laboratorio.
0 = − δω .
a. Demostrar que δωµν µν
2.13 La partícula Λ es un barión neutro de masa mΛ = 1 115 MeV que decae con
una vida media de 2,9 · 10−10 s en un nucleón de masa 939 MeV y un pión de masa
140 MeV. Se observó en vuelo por primera vez gracias a su modo de decaimiento
Λ → p+ + π − en cámaras de burbujas. Las trayectorias de las partículas cargadas
surgen de un único punto y tienen la forma de una V invertida. Se puede inferir la
naturaleza de las partículas producidas y sus momentos a partir de sus recorridos
y de las curvaturas de las trayectorias en el campo magnético de la cámara de
burbujas.
a. Demostrar que si se mide el ángulo inicial θ entre las dos trayectorias, la masa
de la partícula Λ puede obtenerse mediante la fórmula
donde p p , pπ son los módulos de los trimomentos de las dos partículas pro-
ducidas y E p , Eπ sus energías.
b. Supongamos que se produce una partícula Λ con una energía de 10 GeV. ¿Qué
distancia viajará en promedio antes de decaer? ¿Cuál es el rango de posibles
valores para el ángulo θ si el decaimiento es isótropo en el sistema propio?
V (φ) = µ2 φ2 /2.
}2 ~ ∗ ~ i}
L=− ∇ψ ∇ψ + (ψ∗ ∂t ψ − ψ∂t ψ∗ ) − V (~x, t)ψ∗ ψ,
2m 2
donde V (~x, t) es una función real de las coordenadas y } es una constante con
unidades de acción.
1 1
L = − Fµν F µν + µ2 Uµ U µ ,
4 2
donde Fµν = ∂µ Uν − ∂ν Uµ . Estudiar, en particular, el caso µ = 0.
— luis j. garay 2005 —
En la obtención del último miembro, hemos utilizado la siguiente relación entre las
deltas de Dirac:
p
Ll ( x ) = −cµ(~x, t) 1 − ~v2 /c2 = −µc/γ.
Lint ( x ) = c−1 jµ ( x ) Aµ ( x ),
jµ = (cρ,~j), ~j = ρ~v
P − L = γmc2 + qφ.
H = ~v · ~
γ2 = (mc)−2 (~ ~ )2 + 1.
P − qA
Fµν ≡ ∂µ Aν − ∂ν Aµ , (3.5)
− E1 /c − E2 /c − E3 /c
0
E1 /c 0 B3 − B2
Fµν = 2 .
E /c − B3 0 B1
E3 /c B2 − B1 0
∂[µ Fνσ] = 0,
donde [µνσ ] representan las permutaciones de los tres índices con su signo corres-
pondiente o, equivalentemente,
− B1 − B2 − B3
0
B1 0 − E3 /c E2 /c
∗
Fµν = 2 ,
B 3
E /c 0 1
− E /c
B3 − E2 /c − E1 /c 0
∂µ ∗ F µν = 0.
— luis j. garay 2005 —
~ × ~E + ∂t ~B = 0,
∇ ~ · ~B = 0,
∇
que son las ecuaciones de Maxwell estructurales. Hemos visto así que estas ecua-
ciones son covariantes Lorentz y que son ciertamente estructurales pues solo nos
indican que el campo electromagnético se puede obtener a partir de un potencial
cuadrivector Aµ .
2
~E0 = γ(~E + ~v × ~B) − γ (~v · ~E)~v/c2 ,
γ+1
2
~B0 = γ(~B − ~v × ~E/c2 ) − γ (~v · ~B)~v/c2
γ+1
1 1
Fµν F µν = − (ε 0~E2 − µ0−1~B2 ), eµνρσ Fµν Fρσ ∝ ~E · ~B. (3.7)
4µ0 2
Se puede probar que estas son las únicas cantidades invariantes independientes.
Construyamos el vector complejo ~F = ~E + ic~B. Esta cantidad es un vector ba-
jo rotaciones de ángulo complejo. Los seis parámetros de estas rotaciones com-
plejas corresponden a las tres rotaciones espaciales y a los tres boosts. Por tanto,
~F2 = (~E2 − c2~B2 ) + 2ic~E · ~B es el único invariante bajo rotaciones complejas (rota-
ciones más boosts) que se puede construir a partir de ~F y, por tanto, también lo son
sus partes real e imaginaria.
— luis j. garay 2005 —
Ejercicio 3.1.3 Comprobar que la segunda cantidad es una derivada total, es decir,
∂0 Aµ = 0, ∂0 Fµν = 0, ∂t ~E = ∂t ~B = 0.
Teniendo en cuenta que ~p = mγ~v = Ec~v/c2 y que Ec2 = m2 γ02 c4 + q2 E02 t2 c2 , vemos
que
qE0 t mγ0 v0
v1 = q , v2 = q , v3 = 0.
m2 γ02 + q2 E02 t2 /c2 m2 γ02 + q2 E02 t2 /c2
q
1 2 2 2 mγ0 v0 c qE0 t
x1 ( t ) = m2 γ0 c4 + q2 E0 t2 c2 − mγ0 c , x2 ( t ) = arcsinh ,
qE0 qE0 mγ0 c
movimiento que tiene lugar en el plano x3 = 0. También podemos escribir la tra-
yectoria en el plano eliminando la dependencia temporal:
mγ0 c2
qE0 x2
x1 = cosh −1 ,
qE0 mγ0 v0
que es la ecuación de una catenaria.
puesto que al ser ~E central, ~E = |~E| x̂. Por tanto, el vector ~b = ~x × ~v es constante
y, además, ~x · ~b = 0, luego el movimiento se desarrolla en el plano perpendicular
a ~b. Si utilizamos coordenadas polares (r, ϕ) en el plano de la órbita, podemos
escribir ~p2 = p2r + p2ϕ /r2 . Puesto que φ solo depende de r, el momento angular p ϕ
se conserva y
q
E = m2 c4 + p2r c2 + p2ϕ c2 /r2 + qα/r = H (~x, ~p).
~ S) = 0.
∂t S + H (~x, ∇
∂S/∂ai = constante.
Figura 3.1: Órbitas para distintos valores de los parámetros del sistema que
corresponden a movimientos acotados. Cada figura se acerca más al límite no
relativista.
Figura 3.2: Órbitas para distintos valores de los parámetros del sistema que
corresponden a movimientos no acotados. Cada figura se acerca más al límite
no relativista.
Figura 3.3: Órbita para valores de los parámetros del sistema que corresponden
a un movimiento espiral.
dvk d~v⊥
= 0, = ~v⊥ × ω
~ B,
dt dt
y su solución es vk = constante, ~v⊥ = ω B r B (ê1 cos ω B t + ê2 sen ω B t), donde ê1 y ê2
son dos vectores ortonormales que generan el plano perpendicular a ~B. El radio
de giro r B se determina notando que el módulo de la velocidad y, por tanto, el de
la componente transversal, se conserva, luego v⊥ = ω B r B o, lo que es lo mismo,
p⊥ = qBr B . Si integramos la velocidad obtenemos
Por tanto, si una partícula, entra en una región con un campo electromagnético
de estas características con velocidad ~v1 , no sufrirá deflexión alguna, puesto que
la fuerza de Lorentz se anula: la fuerza eléctrica se cancela exactamente con la
magnética. Esto nos permite utilizar estos campos cruzados para seleccionar las
partículas en función de su velocidad y obtener así haces de partículas con la misma
velocidad.
Si los campos son perpendiculares pero sus módulos satisfacen |~E| > c|~B|, un
boost con velocidad ~v2 = c2~E × ~B/~E2 elimina el campo campo magnético dejando
solo un campo eléctrico perpendicular a ~v2 :
q
~E00 = ~E/γ2 = 1 − c2~B2 /~E2 ~E.
Cuando las condiciones bajo las que se desarrolla el movimiento cambian lenta-
mente comparadas con los periodos característicos, existen cantidades que perma-
necen constantes. Son los invariantes adiabáticos2 , que son las integrales de acción
I
Ja = p a dq a ,
1
I
J= ~P⊥ · d~x⊥ ,
2π
2 Ver,
por ejemplo, L.D. Landau y E.M. Lifshitz, Mecánica, Reverté, 1978; I. Percival y D. Richards,
Introduction to dynamics, Cambridge University Press, 1982
2π 2
donde n̂ es el vector normal al plano orientado en sentido contrario a ~B ya que el
movimiento tiene lugar en sentido antihorario (mirado en la dirección de ~B). Así,
concluimos que
1
J = qBr2B .
2
2 2
Es decir, las cantidades Br B , p⊥ /B son invariantes adiabáticos.
Como ejemplo, consideremos el caso en el que el campo magnético es constante
pero ligeramente inhomogéneo. Hemos visto que p2⊥ /B = 2qJ es un invarian-
p
te adiabático, de donde obtenemos la expresión p⊥ = 2qJB. Además, el campo
magnético es constante, luego la energía de la partícula se conserva, es decir, ~p2 es
constante. Así, la componente paralela del momento satisface
p2k = ~p2 − p2⊥ = ~p2 − 2qJB.
donde q = d3~x 0 ρ(~x 0 ) es la carga total del sistema y ~p = d3~x 0 ρ(~x 0 )~x 0 es el mo-
R R
Sea una densidad de corriente estacionaria ~j(~x 0 ) = ρ(~x 0 )~v0 localizada alrededor
de un cierto punto ~x en un campo magnético uniforme y constante. Notemos que
Este último término se anula puesto que es el promedio de la derivada de una can-
tidad que varía en un rango finito.3 Para que este resultado tenga validez, basta con
tomar el promedio en intervalos temporales suficientemente grandes comparados
con los tiempos característicos del sistema. Por tanto, la fuerza sobre la distribución
de carga es
h~F (~x )i = qh~vi × ~B.
1d 0 0 ~ 1
~v0 (~x 0 · ~B) = [~x (~x · B)] + [~v0 (~x 0 · ~B) − ~x 0 (~v0 · ~B)]
2 dt 2
1d 0 0 ~ 1
= [~x (~x · B)] + (~x 0 × ~v0 ) × ~B.
2 dt 2
El primer término no contribuye ya que al promediar se anula. Así,
~ (~x )i = 1 h
Z
hM d3 x 0 ρ(~x 0 )(~x 0 × ~v0 )i × ~B = ~m × ~B,
2
relativistas, entonces
qa ~
~m = h L i,
2m a
donde ~L es el momento angular orbital del sistema. El momento angular intrínseco,
el espín, también guarda una relación lineal con el momento magnético, pero no
necesariamente a través del factor q a /(2m a ).
3 Sea f (t) una función que toma valores en un rango finito de longitud ∆. Entonces, se verifica
R T/2
que |h f˙(t)i| ≡ | lı́mT →∞ −T/2 dt f˙(t)/T | ≤ lı́mT →∞ ∆/T = 0.
El lagrangiano de interacción
Z
Lint (~x ) = d3~x 0 ρ(~x 0 )~v0 · A
~ (~x 0 )
1 1
Z Z
Lint (~x ) = d ~x ρ(~x )~v · (~B × ~x 0 ) =
3 0 0 0
d3~x 0 ρ(~x 0 )~B · (~x 0 × ~v0 ) = ~m · ~B.
2 2
donde ~B0 es el campo magnético visto en el sistema de referencia propio. Sin em-
bargo, vamos a ver que, desde el punto de vista del laboratorio, esta ecuación es
incompleta pues el sistema de referencia propio está rotando.
Si en un instante t, el sistema propio tiene una velocidad ~v relativa al laboratorio
y en el instante siguiente t + δt tiene una velocidad ~v + δ~v, la diferencia relativista
— luis j. garay 2005 —
Para relacionar los sistemas de referencia en los que el cuerpo que estamos
estudiando está en reposo obtenidos mediante boosts del sistema de laboratorio,
aplicamos un doble boost: el primero de velocidad −~v para pasar del sistema en el
0 =~
es decir, el cuerpo ve un campo magnético efectivo ~Bef B0 − ω
~ t /ζ.
S = SL + Sint + Sem ,
∂ν F µν = µ0 jµ . (3.9)
Por ser Fµν antisimétrico, derivando esta ecuación obtenemos la ecuación de con-
tinuidad: ∂ν jν = 0. Las componentes temporal y espaciales de esta ecuación son
precisamente las ecuaciones de Maxwell con fuentes:
~ · ~E = ε−1 ρ,
∇ ~ × ~B + c−2 ∂t ~E = µ0~j.
∇
0
En efecto, µ/γ es invariante luego µuµ /γ es un vector (que resulta ser la densidad
µν
de corriente de masa, análoga a la densidad de corriente de carga) y, por tanto, Tl
0µ µν
es un tensor y Tl = µuµ . Nos queda probar que Tl tiene divergencia nula (en
ausencia de campos electromagnéticos):
µν
∂µ Tl = ∂µ [µuµ /(cγ)]uν + µuµ ∂µ uν /(cγ) = µu̇ν /(cγ).
escribir
µν
∂µ Tl = jµ F νµ /c.
µν ∂Lem ν
Tem = Lem η µν − ∂ Aρ + ∂ρ f ρµν ,
∂(∂µ Aρ )
donde
1 ρµν ρ ∂Lem
f ρµν = (S + Sµνρ − Sνρµ ), S µν = −i (Sµν )σλ Aλ
2 ∂(∂ρ Aσ )
ij 1 1 ij
Tem = − (ε 0 Ei E j + µ0−1 Bi B j ) + (ε 0~E2 + µ0−1~B2 )η ij = − Tm /c.
c 2c
Así, la componente 00 es la densidad de energía del campo electromagnético, la
componentes 0i constituyen el vector de Poynting y las componentes ij son el tensor
de tensiones de Maxwell.
— luis j. garay 2005 —
de manera que
~ · ~S.
0 = c2 ∂µ T µ0 = ∂t Ec − γc2 ∂t µ + ∂t u + ∇ (3.11)
de manera que
ji
0 = c∂µ T µi = ∂t (µγvi ) − γvi ∂t µ + ∂t Si /c2 − ∂ j Tm . (3.12)
Podemos integrar las ecuaciones (3.11) y (3.12) en una región espacial que con-
tenga a todas las partículas involucradas. Entonces obtenemos
∂L ∂Lem 1
πi = c =c = F = −ε 0 Ei = ε 0 (∂t Ai + ∂i φ),
i
∂(∂t A ) ∂(∂t A ) i cµ0 0i
∂L ∂Lem
π0 = c 0
=c = 0.
∂(∂t A ) ∂ ( ∂ t A0 )
— luis j. garay 2005 —
Hem = π i ∂t Ai − cLem = µ0 π
~2−π ~ φ − 1 ε 0~E2 − µ−1 (∇
~ ×A
~ )2 .
~ ·∇ 0
2
Escribiendo ~E = µ0 π
~ e integrado el segundo término por partes obtenemos
1 2 1 ~ ~ ·π
~ )2 + φ ∇
Hem = ~ +
π (∇ × A ~.
2ε 0 2µ0
~ )2 + 1 π 1 ~
q
H = µ2 c4 + c2 ( P~ − ρA ~2+ ~ ·π
~ )2 + φ ( ρ + ∇
(∇ × A ~ ),
2ε 0 2µ0
~ es la densidad de
donde µ es la densidad de masa, ρ es la densidad de carga y P
momento de la partícula.
Es importante notar que el potencial escalar φ es una variable canónica cuyo
momento canónico se anula, es decir, que no tiene dinámica. El potencial escalar
es, por tanto, un multiplicador de Lagrange que está forzando la ligadura
~ ·π
∇ ~ = −ρ =⇒ ~ · E = ε−1 ρ.
∇ 0
A µ − ∂ µ ( ∂ ν A ν ) = − µ0 j µ .
A µ = − µ0 j µ .
— luis j. garay 2005 —
G ( x, x 0 ) = −δ4 ( x − x 0 ),
θ [±( x0 − x 00 )]δ( x 00 − x±
00 )
G± ( x, x 0 ) = ,
4π |~x 0 − ~x |
donde x±00 = x0 ∓ |~
x 0 − ~x | es el tiempo retardado (+) o avanzado (−) y la fun-
ción de Heaviside la hemos introducido por conveniencia, puesto que no aporta
información nueva.
Podemos escribir las funciones de Green avanzada y retardada en una forma
explícitamente invariante Lorentz. Para ello, notemos que
Si multiplicamos esta expresión por θ [±( x0 − x 00 )], solo uno de los términos sobre-
vive en cada caso. Por tanto,
1
G± ( x, x 0 ) = θ [±( x0 − x 00 )]δ[( x 0 − x )2 ].
2π
Por tanto,
q
0 00 0 2 0
z z = γ (z ) ± |v/c|z ( z0 )2 − ( z2 )2 − ( z3 )2
— luis j. garay 2005 —
q
≥ γ(z0 )2 (1 − |v/c|) = 1/ 1 + |v/c| > 0,
jµ (~x 0 , x+
00 )
Z Z
4 0 µ 0 0
µ
A ( x ) = µ0 d x j ( x ) G+ ( x, x ) = µ0 d3~x 0 .
4π |~x − ~x 0 |
donde G ( x, x 0 ) = G+ ( x, x 0 ) − G− ( x, x 0 ).
En esta expresión, ~r ab = ~x a −~xb y, dado que las velocidades de las partículas son pe-
queñas, hemos expandido jµ (~x 0 , t0+ ), con t0+ = t − |~x − ~x 0 |/c, en potencias de 1/c. El
potencial escalar hasta orden cero, es decir, ignorando términos de orden O(µ0 /c)
(el mismo de la expansión que hemos hecho puesto de j0 = cρ y A0 = φ/c), es
µ0 c2 q b µ
φb (~x a , t) = + 0 qb ∂2t r ab + O(µ0 /c).
4π r ab 8π
El potencial vector, también hasta orden O(µ0 /c), que es menor el de la expansión
original pero suficiente puesto que en total es el mismo que el de φ, queda
~ 0b (~x a , t) = 1 qb
+ O(1/c3 ).
A ~
v b + (~
v b · r̂ ab ) r̂ ab
8πε 0 c2 r ab
Podemos ya escribir el lagrangiano para dos partículas incluyendo hasta el se-
gundo orden en v/c:
1 1 1 q a qb
L= m a v2a + mb v2b −
2 2 4πε 0 r ab
— luis j. garay 2005 —
1 1 1 q a qb
+ m a v4a /c2 + mb v4b /c2 +
~v a · ~
v b + (~
v a · r̂ ab )(~
v b · r̂ ab ) .
8 8 8πε 0 c2 r ab
Tras definir los momentos canónicos hasta segundo orden en v/c y realizar la
transformación de Legendre correspondiente, obtenemos el hamiltoniano
p2a p2b 1 q a qb
H= + +
2m a 2mb 4πε 0 r ab
p4a p4b 1 q a qb
− − − ~
p a · ~
p b + (~
p a · r̂ ab )(~
p b · r̂ ab ) .
8m3a c2 8m3b c2 8πε 0 c2 m a mb r ab
3.5. Ejercicios
3.1 Encontrar la trayectoria de una partícula en un campo electromagnético cons-
tante y uniforme tal que el campo eléctrico y el magnético son paralelos.
3.5 Sea un cierto sistema de referencia en el que hay un campo eléctrico y otro
magnético que forman un ángulo θ y tales que su intensidad es |~B| = 2|~E|/c.
3.6 ¿Es posible tener un campo electromagnético que sea puramente eléctrico en un
inercial y puramente magnético en otro? ¿Qué deben cumplir los campos eléctrico
y magnético para que exista un inercial sin campo eléctrico?
b. Una partícula con carga positiva gira alrededor de una línea de fuerza en
plano ecuatorial con radio de giro a y distancia media al centro de la Tierra
R, donde a R. Probar que el azimut de la partícula cambia linealmente con
el tiempo (aproximadamente) de acuerdo con la fórmula
2
3 a
φ = φ0 − ω B ( t − t0 ),
2 R
— luis j. garay 2005 —
c. Si, además de este movimiento circular, la partícula tiene una pequeña com-
ponente de la velocidad paralela a las líneas de campo, demostrar que oscila
alrededor del plano ecuatorial con frecuencia
3 a
Ω= √ ωB .
2R
Calcular el cambio en la longitud por cada ciclo de oscilación en latitud.
3.11 Una partícula con espín cargada se mueve con velocidad no relativista en un
campo electrostático central. Calcular la energía de interacción del espín con el
campo eléctrico en el orden más bajo no nulo, teniendo en cuenta la precesión de
Thomas.
1 1
L=− ∂ µ A ν ∂ µ A ν + j µ ( x ) A µ ( x ).
2cµ0 c
c. Sean dos sistemas inerciales con velocidad relativa ~v. Demostrar que la ley de
transformación para las frecuencias es
ω 0 = γω [1 − (v/c) cos θ ],
donde θ es el ángulo formado por ~k y ~v. Si θ 0 es el ángulo formado por ~k0 y ~v,
— luis j. garay 2005 —
demostrar que
sen θ
tan θ 0 = .
γ(cos θ − v/c)
3.15 Hallar la fuerza que ejerce una onda electromagnética plana sobre una pared
conductora perfecta. Ídem si la pared perfectamente absorbente.
3.16 Sean dos planos paralelos con densidades superficiales de carga iguales en
módulo y de signos opuestos. Uno de ellos se mueve paralelamente a sí mismo y
el otro se aleja en la dirección perpendicular a ambos planos. Analizar las fuerzas
que actúan sobre las cargas de ambos planos y discutir el resultado a la luz de la
ley de conservación del momento lineal.
1 1 1
Lp = − Fµν F µν + jµ ( x ) Aµ ( x ) + m2 A µ A µ .
4cµ0 c 2cµ0
Radiación electromagnética
Por otro lado, el potencial electromagnético generado por una densidad de corrien-
te es Z
µ0
µ
A (x) = d4 x 0 jµ (~x 0 )θ ( x0 − x 00 )δ[( x 0 − x )2 ].
2π
Combinando ambas expresiones obtenemos
qµ0 c
Z Z
µ
A (x) = dτuµ (τ ) d4 x 0 θ ( x0 − x 00 )δ[( x 0 − x )2 ]δ4 [ x 0 − r (τ )]
2π Z
qµ c
= 0 dτuµ (τ )θ [ R0 (τ )]δ[ R̄(τ )2 ], (4.1)
2π
donde R̄ ≡ Rµ (τ ) = x µ − r µ (τ ). Para calcular la integral sobre el tiempo pro-
pio τ, notemos que la función delta solo da contribución 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 )|. Además, la función paso garantiza que solo contribuye el tiem-
po retardado R0 (τ0 ) > 0, es decir, x0 > r0 (τ0 ), lo que nos obliga a considerar solo
la solución con signo positivo. Por tanto,
1
θ [ R0 (τ )]δ[ R̄(τ )]2 ] = δ(τ − τ0 ).
2| R µ u µ |
Así, el potencial electromagnético queda
µ µ0 c quµ
A (x) = , (4.2)
4π | Rµ uµ | τ0
— luis j. garay 2005 —
También podemos escribir este potencial en forma no covariante. Para ello, note-
mos que el denominador es
µ0 c q d Rµ uν − Rν uµ
Fµν = ∂µ Aν − ∂ν Aµ = .
4π Rσ uσ dτ Rρ uρ ret
decae con la distancia como 1/R2 y es, por tanto, de corto alcance comparada con
rad puesto que esta última decae como
la parte que depende de la aceleración Fµν
1/R. Es el llamado campo de radiación.
Teniendo en cuenta que, como ya vimos en el tema 2,
bµ = (γ4~v ·~a/c, γ4 (~v ·~a)~v/c2 + γ2~a),
el campo eléctrico y el campo magnético quedan
− × − ×~
~E(~x, t) = q 1 R̂ ~
v /c R̂ [( R̂ ~
v /c ) a ]
2 2
+ 2
, (4.3a)
4πε 0 (1 − ~v · R̂/c)3 γ R c R
ret
0
~B(~x, t) = R̂(t ) × ~E(~x, t)/c. (4.3b)
El primer término del campo eléctrico es el campo que depende solo de la velo-
cidad ~Evel y, en el límite v/c → 0, es el campo de Coulomb. El segundo término,
que depende de la aceleración, es el campo de radiación ~Erad . Si nuestro punto de
observación está colocado a gran distancia de la carga que genera el campo, solo
veremos el campo de radiación, puesto que el que depende de la velocidad decae
con el cuadrado de la distancia. Entonces, en esta zona lejana, el campo electro-
magnético está determinado por ~Erad . Además, veremos en la sección 4.1.2.3 que el
término que depende solo de la velocidad no contribuye a la energía emitida por
— luis j. garay 2005 —
la partícula.
Por tanto, la potencia radiada en la unidad de superficie d~s = R(t0 )2 R̂(t0 )dΩ será
1 ~2 2
dP = (~S · R̂) R2 dΩ = E R dΩ,
µ0 c rad
dP 1 ~2
= Erad R(t0 )2 dΩ.
dΩ µ0 c
q2 { R̂ × [( R̂ − ~v/c) ×~a]}2
dP
= . (4.4)
dΩ 16π 2 ε 0 c3 (1 − ~v · R̂/c)6 ret
Esta expresión nos proporciona la distribución angular de energía radiada por uni-
dad de tiempo de observación t. Sin embargo, la cantidad relevante es la distribu-
ción angular de energía por unidad de tiempo de la partícula, es decir, de tiempo
retardado t0 , de manera que la energía total radiada W esté dada por la integral
sobre t0 . La relación entre ambas potencias P = dW/dt (en tiempo de observación)
y P0 = dW/dt0 (en tiempo retardado) se obtiene mediante la relación de ambos
tiempos
t = t0 + |~R(t0 )|/c, dt = [1 − ~v(t0 ) · R̂(t0 )/c]dt0 ,
de forma que
dW dt dW
P0 = = = (1 − ~v · R̂)/c|ret P.
dt0 dt0 dt
Así, la distribución angular de potencia en tiempo retardado adquiere la expresión
q2
dP0 = 2
| R̂ × ( R̂ ×~
a )| dΩ.
16π 2 ε 0 c3 ret
~a
θ φ
Si elegimos el sistema de coordenadas de forma que el eje êz coincida con la acele-
ración, la potencia radiada en el elemento de ángulo sólido se puede escribir
q2
dP0 = 2 2
a sen θ dΩ,
16π 2 ε 0 c3 ret
Π
~ = d3 x~S/c2 . Puesto que en el inercial en el que la partícula está en reposo,
R
q2
dΠ0 = 2
dt0 , dΠi = 0,
4
b ret
6πε 0 c
que, en forma covariante válida en cualquier sistema de referencia inercial, queda
q2 2
dΠµ = b dx µ
.
6πε 0 c5 ret
0 cdΠ0 q2 6 2 2 2
P = = γ [ a − (~
v ×~
a ) /c ] . (4.7)
dt0 6πε 0 c3 ret
q2
P00 6 2
= γ a
6πε 0 c3 ret
Pπ/2
ción 4.1.2.1. Para velocidades relativistas, v/c ∼ 1 − γ−2 /2, de forma que
1 1
cos θmáx ∼ 1 − γ−2 , θmáx ∼
8 2γ
dP0 0
2 dP
∼γ
dΩ máx, v . c dΩ máx, v c
v.c 1
vc θmáx =
2γ
~ak~v
φ
Figura 4.2: Diagrama de radiación emitida por una partícula cargada que se mue-
ve con aceleración paralela a la velocidad en los casos de velocidad no relativista
y ultrarrelativista. La figura, que tiene simetría de revolución alrededor de la ve-
locidad, muestra el diagrama en un plano que contiene a ésta. La figura no está a
escala.
ω∼ ∼ ⊥ γ3 .
2∆λ v
la forma
~E = |~Evel | R̂ + ~Erad , ~B = R̂ × ~Erad /c.
de forma que la potencia radiada solo depende de los campos de radiación y está
dada por la fórmula de Larmor. La potencia total radiada en un sistema en el que
la partícula no esté en reposo es la ya obtenida en la sección anterior (ecuación 4.7)
y que sea nula en ausencia de aceleración, es decir, también es independiente de
los campos de velocidad.
Si definimos
R̂ × [( R̂ − ~v/c) ×~a]
~
A(Ω, t) = q = 4πε 0 c2 R(t0 )~Erad (~x, t),
(1 − ~v · R̂/c)3 ret
integramos la distribución angular de potencia (4.4) sobre todo el tiempo e intro-
ducimos la constante ζ 2 = 1/(16π 2 ε 0 c3 ), obtenemos la distribución angular de
energía radiada
dW
Z
=ζ 2 ~ Ω, t)|2 dt.
|A(
dΩ
En lugar de utilizar la dependencia temporal, nos interesamos por la distribu-
~ Ω, t) (que
ción espectral. Para ello, introducimos la transformada de Fourier de A(
denominaremos con el mismo símbolo):
Z ∞ Z ∞
~ Ω, ω ) = √1
A( ~ Ω, t)eiωt dt,
A( ~ Ω, t) = √1
A( ~ Ω, ω )e−iωt dω.
A(
2π −∞ 2π −∞
~ Ω, t) es real, A
~ ∗ (Ω, ω ) = A(
~ Ω, −ω ). En-
— luis j. garay 2005 —
Una integración por partes nos proporciona el resultado (salvo fase global) para la
amplitud
Z ∞
~ Ω, ω ) = √qω lı́m
A(
0 0 0
eiω [t − R̂·~r(t )/c]−e|t | R̂ × [ R̂ × ~v(t0 )]dt0 .
2π e→0 −∞
q2 a2 T
Erad ∼ = ma2 ξT,
6πε 0 c3
donde hemos definido el tiempo característico electromagnético de la partícula
— luis j. garay 2005 —
como ξ = q2 /(6πε 0 mc3 ). Nótese que esta relación también se puede escribir como
una comparación entre la energía en reposo y la electromagnética a una distancia
cξ, puesto que podemos escribirla de la forma mc2 = q2 /(6πε 0 cξ ).
Supongamos que una partícula en reposo se acelera durante un tiempo finito T.
La energía característica del sistema será su energía cinética Ec ∼ ma2 T 2 . Entonces,
los efectos de la radiación serán despreciables si Erad Ec , lo que implica que
T ξ, es decir, para tiempos de actuación de la aceleración mucho mayores que el
tiempo característico electromagnético de la partícula.
Esta ecuación debe ser tratada con especial cuidado puesto que tiene soluciones
autoalimentadas inaceptables. En efecto, si, por ejemplo, la fuerza externa no está
presente, esta ecuación admite la solución ~v = ~v0 +~aξet/ξ que crece sin límite ni
motivo. Se puede obtener una ecuación alternativa que no presenta estos problemas
notando que
mξ~v¨ = ξ ~F˙ext = ξ [∂t~Fext + (~v · ∇)
~ ~Fext ],
1 eiωR/c
Z
M ( ω ) = m0 + d3~x d3~x 0 ρ(~x )ρ(~x 0 ) ,
6πε 0 c3 R
— luis j. garay 2005 —
q2 | f (~k)|2
Z
M ( ω ) = m0 + d3~k ,
12π 3 ε 0 c2 k2 − ω 2 /c2
q2 | f (~k)|2
Z
m = m0 + d3~k (4.9)
12π 3 ε 0 c2 k2
y la masa efectiva espectral queda en términos de la masa física
q2 ω 2 | f (~k)|2
Z
M(ω ) = m + d3~k . (4.10)
12π 3 ε 0 c4 k2 (k2 − ω 2 /c2 )
masa.
µ0 1
Z
µ
A (~x, t) = d3~x 0 jµ (~x 0 , t0 )
4π |~x |
µ0 1 1
Z Z
3 0 0 ~ ~ 0
µ
A (~x, ω ) = √ d ~x dt0 jµ (~x 0 , t0 )eiωt eik·~x−ik·~x ,
4π |~x | 2π
Puesto que la integral es independiente del punto de observación, vemos que para
regiones suficientemente alejadas de la fuente, el campo electromagnético en un
región suficientemente pequeña puede ser considerado como una onda plana. Para
ello, no solo necesitamos que |~x 0 | |~x |, sino que debemos introducir la longitud
de onda en la comparación: ~k · ~x 1. Esta es la llamada zona lejana, zona de
radiación o zona de onda.
— luis j. garay 2005 —
k̂ · ~E = 0, k̂ · ~B = 0, ~E = c~B × k̂,
Debemos notar que todas las componentes de Fourier comparten la misma di-
rección de propagación k̂ y, por tanto, todas las relaciones espectrales que solo
involucren k̂ son válidas también para los campos con dependencia temporal. En
particular, los campos electromagnéticos en la zona lejana se pueden obtener a
partir del potencial vector a partir de las siguientes expresiones:
~˙ × k̂,
c~B = A ~E = c~B × k̂. (4.11)
Z Z
3 0 i 0
i
A (~x, ω ) = d ~x j (~x , ω ) = d3~x 0 ∂0j x 0i j j (~x 0 , ω )
4π |~x | 4π |~x |
~ ~
µ0 eik·~x µ0 eik·~x
Z Z
=− d3~x 0 x 0i ∂0j j j (~x 0 , ω ) = −iω d3~x 0 x 0i ρ(~x 0 , ω ).
4π |~x | 4π |~x |
Para obtener la última igualdad hemos empleado la ecuación de continuidad es-
~ · ~j − iωρ = 0. Vemos entonces que
pectral ∇
i~k ·~x
~ (~x, ω ) = −iω µ0 e ~p(ω ),
A
4π |~x |
donde ~p(ω ) es la transformada de Fourier del momento dipolar eléctrico ~p(t). Por
tanto, el potencial vector es
˙ 0
~ (~x, t) = µ0 ~p(t ) .
A
4π |~x |
µ e i~k ·~x 1 Z
0
~ (~x, ω ) = −iω
A d ~x ~j(~x 0 , ω )(k̂ · ~x 0 ) − iω~x 0 ρ(~x 0 , ω )(k̂ · ~x 0 )
3 0
4πc |~x | 2
0~ 0
− ~x [ j(~x , ω ) · k̂] .
µ e i~k ·~x 1 Z
0 0 0 0 0 0 0
~ (~x, ω ) =
A d ~x − iω [~x × ~j(~x , ω )] × k̂ − ω ~x ρ(~x , ω )(k̂ · ~x ) .
3 2
4πc |~x | 2
— luis j. garay 2005 —
µ e i~k ·~x 1 1
~ (~x, ω ) = 0 2
A − iω~p(ω ) − iω~m(ω ) × k̂ − ω Q(ω ) · k̂
4π |~x | c 6c
~ Ω, t)|2 dΩ,
dP = ζ 2 |A(
donde ζ 2 = 1/(16π 2 ε 0 c3 ) y
...
0 1
~ Ω, t) = ~p¨ (t ) + ~m 0 1 0
¨ (t ) × k̂ + Q(t ) · k̂ × k̂.
A(
c 6c
d2 W ~ Ω, ω )|2 .
= 2ζ 2 |A(
dωdΩ
Aunque no vamos a hacer el promedio angular aquí, la potencia total radiada es
...
1 1 1 2
P= ~p¨ + 2 ~m
2 ¨ +
2
Q
6πε 0 c3 c 120c2 t0
y la intensidad espectral
ω4 ω2
dW 2 1 2 2
= |~p(ω )| + 2 |~m(ω )| + |Q(ω )| .
dω 3πε 0 c3 c 120c2
Puesto que k|~x 0 | 1 la radiación dipolar eléctrica será mucho mayor en general
que la cuadrupolar eléctrica y la dipolar magnética. Otra forma de verlo es que la
condición ω |~x 0 | c se puede interpretar como que las velocidades características
internas de la fuente tienen que ser mucho menores que la de la luz. Así, los térmi-
nos cuadrupolar eléctrico y dipolar magnético corresponden al segundo orden en
v/c, como vemos en las expresiones de la intensidad radiada.
Conviene recordar que hemos utilizado los campos físicos reales. Si utilizamos
notación compleja o realizamos promedios temporales,
1 ~ ~∗ c ~ 2
h~Si = E×B = | B| k̂.
2µ0 2µ0
— luis j. garay 2005 —
4.4. Ejercicios
4.1 Dos dipolos eléctricos de igual magnitud que forman un cierto ángulo entre
ellos oscilan con igual frecuencia y desfasados en π/2. Si la distancia entre ambos
es pequeña comparada con la longitud de onda, hallar el campo magnético, la
distribución angular y la intensidad total de la radiación en la zona lejana.
4.2 Una esfera con magnetización uniforme gira con velocidad constante en torno
a un cierto eje. Hallar el campo electromagnético que produce, su polarización y la
distribución angular y la intensidad total de la radiación.
4.3 Calcular la distribución angular de la potencia radiada por una antena de una
cierta longitud y sección despreciable y que es alimentada en su centro por una
corriente sinusoidal que se anula en los extremos. Estudiar el caso en el que la
antena es mucho menorr que la longitud de onda de la corriente sinusoidal y
comparar el resultado con la radiación de un dipolo eléctrico.
4.4 Una antena lineal paralela al eje êz y centrada en el origen se alimenta con una
corriente I0 ei(kz−ωt) . Hallar la distribución de la radiación angular emitida.
4.5 Un dipolo eléctrico rota en un plano con velocidad angular constante. Hallar
el campo electromagnético en la zona lejana, la distribución angular y la potencia
total emitida.
4.6 Hallar la potencia de radiación emitida por una partícula cuya aceleración es
paralela a su velocidad y su distribución angular.
4.8 Hallar la distribución angular de la potencia radiada por una partícula relati-
— luis j. garay 2005 —
4.9 Un electrón se mueve en una órbita circular bajo la acción de un campo mag-
nético homogéneo. Calcular la energía perdida por radiación (sincrotrón) en cada
vuelta y expresarla en función de la energía y de la masa del electrón.
el orden más bajo la potencia total emitida, en el supuesto de que la longitud del
cable sea mucho menor que la longitud de onda de la radiación.
4.11 Los púlsares son estrellas de neutrones en rotación con campos magnéticos
extremadamente intensos y emiten radiación que llega a la Tierra periódicamente.
El púlsar del Cangrejo rota con un periodo de 33 ms y se halla a una distancia
de 3 300 años-luz. Calcular el momento magnético de este púlsar si suponemos
que es perpendicular al eje de rotación de la estrella y que, además, este eje es
perpendicular a la dirección de observación. La intensidad de la radiación recibida
en la Tierra es de 6,2 · 10−10 W/m2 .
Z → ( Z + 1) + e− + ν̄, Z → ( Z − 1) + e+ + ν.
4.14 Se colocan dos antenas dipolares de media onda en una línea recta sin solapa-
miento. Determinar el flujo de radiación emitido si se ignora la influencia mutua
de ambas antenas y se supone que se alimentan con la misma corriente y que están
en fase.
— luis j. garay 2005 —
4.15 Una espira circular se alimenta con una corriente monocromática de amplitud
constante. Calcular, en el orden más bajo, la radiación emitida por la espira si se
supone que la espira es mucho más pequeña que la longitud de onda.
Tensores
Definición A.1.2
El conjunto de formas lineales V ∗ sobre V es un espacio vectorial llamado espacio
vectorial dual de V.
Definición A.1.3
Sea {~ei , i = 1, 2 . . .} una base de V. Definiremos la base dual de V ∗ como el conjunto
de formas {ω̃ i , i = 1, 2 . . .} tal que (ω̃ i , ~e j ) = δji .
Proposición A.1.4
La base dual es realmente una base del espacio dual.
Demostración. El conjunto {ω̃ i , i = 1, 2 . . .} tiene tantos vectores como la dimen-
sión de V ∗ . Además, son linealmente independientes. En efecto, consideremos la
combinación lineal nula λi ω̃ i = 0. Su contracción con ~ek es igual a λk y es nula ∀k.
δji = (ω̃ 0i , ~e0j ) = Λ̃i k Λl j (ω̃ k , el ) = Λ̃i k Λl j δlk = Λ̃i k Λkj = (Λ̃ · Λ)i j ,
luego Λ̃ = Λ−1 .
Veamos ahora cómo se transforman las componentes de los vectores:
Definición A.2.1
n
Un tensor de tipo (m ) es una aplicación multilineal T : V n ⊗ (V ∗ )m → R.
T(~ei , ~e j · · · ω̃ k , · · · ) = Tij···k··· ,
de manera que
T(~u, ~v · · · α̃, · · · ) = Tij···k··· vi v j · · · αk · · · .
Los números reales Tij k··· son las componentes del tensor T en la base {~ei }.
En general, el orden de los argumentos de T es importante y, por tanto, también
lo será el orden de los índices de sus componentes.
Definición A.2.2
— luis j. garay 2005 —
Proposición A.2.3
La contracción de índices es independiente de la base elegida.
Bajo cambios de base los tensores se transforman como vectores en cada índice
contravariante y como formas en cada índice covariante. Así, por ejemplo,
0 jk j
Ti = Λl i (Λ−1 ) m (Λ−1 )kn Tl mn .
Operaciones tensoriales son aquellas que operaciones con tensores que propor-
cionan otro tensor. El resultado es independiente de la base elegida. Las siguientes
operaciones son operaciones tensoriales:
Además, el tensor métrico induce un producto escalar g̃ en V ∗ tal que sus com-
ponentes son g̃(ω̃ i , ω̃ j ) = gij .
Así, la existencia de un tensor métrico nos permite identificar tensores covarian-
tes y contravariantes como distintas representaciones del mismo objeto.
Por ejemplo, en dos dimensiones, e12 = −e21 = 1 y e11 = e22 = 0. En tres dimen-
siones, las únicas componentes no nulas son
e123 = e312 = e231 = 1
e213 = e321 = e132 = −1
Para ver cómo calcular la paridad de una permutación para n > 3, consideremos
el caso n = 6 y la secuencia 612453.
1 2 3 4 5 6
6 1 2 4 5 3
Ejercicio A.4.4 Comprobar que esta definición coincide con la regla ya conocida
para calcular determinantes.
Proposición A.4.5
Si M es una matriz cuadrada cuyos elementos son Mi i0 , se satisface la siguiente
identidad:
0 0 0 j
ei j k ··· Mi i0 M j0 Mkk0 · · · = det( Ml l 0 )eijk··· .
Igualmente, si N es una matriz cuadrada cuyos elementos son Nii0 , entonces se
satisface la siguiente identidad:
0 0 0
ei j k ··· Nii0 Njj0 Nkk0 · · · = det( Nll 0 )eijk··· .
Definición A.4.7
Se define el tensor de Levi-Civita εijk··· como
1
εijk··· = √ eijk··· ,
g
Dado el carácter tensorial del tensor de Levi-Civita, podemos escribir sus com-
ponentes covariantes
ε i0 j0 k0 ··· = gii0 g jj0 gkk0 εijk··· .
Teniendo en cuenta la relación entre el tensor contravariante de Levi-Civita y el
símbolo correspondiente y las reglas para calcular determinantes de la Proposición
A.4.5, tenemos que
1 √
ε i0 j0 k0 ··· = √ gii0 g jj0 gkk0 eijk··· = gei0 j0 k0 ··· .
g
— luis j. garay 2005 —
Proposición A.4.9
Sea T ii0 un tensor. Entonces se satisfacen las siguientes identidades tensoriales:
0 0 0 j
εi j k ··· T ii0 T j0 T kk0 · · · = det( T ll 0 )εijk··· ,
0 0 0
εi j k ··· Tii0 Tjj0 Tkk0 · · · = det( T ll 0 )ε ijk··· = g−1 det( Tll 0 )ε ijk··· .
Ejercicio A.4.11 Evaluar la suma ei1 i2 ...in ei1 i2 ...in , teniendo en cuenta que los índices
toman valores i j = 1, . . . , n.
Solución. Para que ei1 i2 ...in sea distinto de cero, todos los índices tienen que ser
diferentes. Por lo tanto hay un número de sumandos no nulos igual al número
de permutaciones sin repetición de n elementos, es decir, n!. Además, cuando la
permutación es par, tanto ei1 i2 ...in como ei1 i2 ...in valen 1, mientras que, si es impar,
los dos son −1 y el producto es 1 también. Por lo tanto tenemos una suma con n!
sumandos, todos ellos iguales a 1 y el resultado es
ei1 i2 ...in ei1 i2 ...in = n! N
j j j
δn δl δm = eijk enlm .
k k k
δn δ δm
l
j j
Ejercicio A.4.13 Demostrar que eijmn eklmn = 2(δki δl − δk δli ).
D k = ek ij Bi C j , F l = el mk Am D k .
F l = el mk Am D k = el mk Am (ek ij Bi C j ) = el mk ek ij Am Bi C j
F l = B l ( A j C j ) − C l ( Ai Bi )
~ · ~B llegamos al resultado final. N
Y teniendo en cuenta que Ai Bi = A
~ × ~B) · (C
a) ( A ~ ×D ~ ·C
~ ) = (A ~ )(~B · D ~ ·D
~ ) − (A ~ ),
~ )(~B · C
~ × ~B) · (C
b) ( A ~ ×D ~ (D
~)=C ~ × ~B) − D
~ ·A ~ ·A
~ (C ~ × ~B).
a j = gij ai = δij ai y los valores de a j y a j coinciden. Por esta razón, podríamos es-
cribir todos los índices arriba o abajo. Así, podríamos escribir un producto escalar
como a j b j . Naturalmente, esta métrica es la del espacio euclídeo que se utiliza en
casi toda la física clásica y, por ello, esta notación aparece en muchas disciplinas en
las que se hace uso de los tensores (tensor de inercia en mecánica, el de tensiones
en dinámica de fluidos, etc.).
I. Kinematical part
§1. Definition of Simultaneity
§2. On the Relativity of Lengths and Times
§3. Theory of the Transformation of Co-ordinates and Times from a Sta-
tionary 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
II. 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 Doppler’s Principle and of Aberration
§8. Transformation of the Energy of Light Rays. Theory of the Pressure
of Radiation Exerted on Perfect Reflectors
— luis j. garay 2005 —
state of motion of the emitting body. These two postulates suffice for the attainment
of a simple and consistent theory of the electrodynamics of moving bodies based
on Maxwell’s theory for stationary bodies. The introduction of a “luminiferous
ether” will prove to be superfluous inasmuch as the view here to be developed
will not require an “absolutely stationary space” provided with special properties,
nor assign a velocity-vector to a point of the empty space in which electromagnetic
processes take place.
1 The preceding memoir by Lorentz was not at this time known to the author.
I. Kinematical part
“time.” And in fact such a definition is satisfactory when we are concerned with
defining a time exclusively for the place where the watch is located; but it is no
longer satisfactory when we have to connect in time series of events occurring at
different places, or—what comes to the same thing—to evaluate the times of events
occurring at places remote from the watch.
2 i.e.
to the first approximation.
3 Weshall not here discuss the inexactitude which lurks in the concept of simultaneity of two
events at approximately the same place, which can only be removed by an abstraction.
0
tB − tA = tA − tB .
2AB
= c,
t0A− tA
to be a universal constant—the velocity of light in empty space.
It is essential to have time defined by means of stationary clocks in the stationary
system, and the time now defined being appropriate to the stationary system we
call it “the time of the stationary system.”
The following reflexions are based on the principle of relativity and on the
principle of the constancy of the velocity of light. These two principles we define
as follows:—
1. The laws by which the states of physical systems undergo change are not
affected, whether these changes of state be referred to the one or the other of two
systems of co-ordinates in uniform translatory motion.
2. Any ray of light moves in the “stationary” system of co-ordinates with the
determined velocity c, whether the ray be emitted by a stationary or by a moving
body. Hence
light path
velocity =
time interval
where time interval is to be taken in the sense of the definition 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
— luis j. garay 2005 —
system the two ends of the rod to be measured are located at a definite time. The
distance between these two points, measured by the measuring-rod already em-
ployed, 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 system”—must
be equal to the length l of the stationary rod.
The length to be discovered by the operation (b) we will call “the length of the
(moving) rod in the stationary system.” This we shall determine on the basis of our
two principles, and we shall find that it differs from l.
Current kinematics tacitly assumes that the lengths determined by these two
operations are precisely equal, or in other words, that a moving rigid body at the
epoch t may in geometrical respects be perfectly represented by the same body at
rest in a definite position.
We imagine further that at the two ends A and B of the rod, clocks are placed
which synchronize with the clocks of the stationary system, that is to say that their
indications correspond at any instant to the “time of the stationary system” at the
places where they happen to be. These clocks are therefore “synchronous in the
stationary system.”
We imagine further that with each clock there is a moving observer, and that
these observers apply to both clocks the criterion established in § 1 for the syn-
chronization of two clocks. Let a ray of light depart from A at the time4 tA , let
it be reflected at B at the time tB , and reach A again at the time tA 0 . Taking into
consideration the principle of the constancy of the velocity of light we find that
rAB r
tB − tA = 0
and tA − tB = AB
c−v c+v
where rAB denotes the length of the moving rod—measured in the stationary sys-
tem. Observers moving with the moving rod would thus find that the two clocks
— luis j. garay 2005 —
were not synchronous, while observers in the stationary system would declare the
clocks to be synchronous.
So we see that we cannot attach any absolute signification to the concept of
simultaneity, but that two events which, viewed from a system of co-ordinates,
are simultaneous, can no longer be looked upon as simultaneous events when
envisaged from a system which is in motion relatively to that system.
4 “Time” here denotes “time of the stationary system” and also “position of hands of the moving
clock situated at the place under discussion.”
Let us in “stationary” space take two systems of co-ordinates, i.e. two systems,
each of three rigid material lines, perpendicular to one another, and issuing from
a point. Let the axes of X of the two systems coincide, and their axes of Y and Z
respectively be parallel. Let each system be provided with a rigid measuring-rod
and a number of clocks, and let the two measuring-rods, and likewise all the clocks
of the two systems, be in all respects alike.
Now to the origin of one of the two systems (k) let a constant velocity v be
imparted in the direction of the increasing x of the other stationary system (K),
and let this velocity be communicated to the axes of the co-ordinates, the relevant
measuring-rod, and the clocks. To any time of the stationary system K there then
will correspond a definite position of the axes of the moving system, and from
reasons of symmetry we are entitled to assume that the motion of k may be such
that the axes of the moving system are at the time t (this “t” always denotes a time
of the stationary system) parallel to the axes of the stationary system.
We now imagine space to be measured from the stationary system K by means
of the stationary measuring-rod, and also from the moving system k by means
of the measuring-rod moving with it; and that we thus obtain the co-ordinates
x, y, z, and ξ, η, ζ respectively. Further, let the time t of the stationary system be
determined for all points thereof at which there are clocks by means of light signals
in the manner indicated in § 1; similarly let the time τ of the moving system be
determined for all points of the moving system at which there are clocks at rest
relatively to that system by applying the method, given in § 1, of light signals
between the points at which the latter clocks are located.
To any system of values x, y, z, t, which completely defines the place and time
of an event in the stationary system, there belongs a system of values ξ, η, ζ τ,
— luis j. garay 2005 —
determining that event relatively to the system k, and our task is now to find the
system of equations connecting these quantities.
In the first place it is clear that the equations must be linear on account of the
properties of homogeneity which we attribute to space and time.
If we place x 0 = x − vt, it is clear that a point at rest in the system k must have a
system of values x 0 , y, z, independent of time. We first define τ as a function of x 0 ,
y, z, and t. To do this we have to express in equations that τ is nothing else than the
summary of the data of clocks at rest in system k, which have been synchronized
x0 x0 x0
1 0
τ (0, 0, 0, t) + τ 0, 0, 0, t + + = τ x , 0, 0, t + .
2 c−v c+v c−v
∂τ v ∂τ
0
+ 2 = 0.
∂x c − v2 ∂t
It is to be noted that instead of the origin of the co-ordinates we might have
chosen any other point for the point of origin of the ray, and the equation just
obtained is therefore valid for all values of x 0 , y, z.
An analogous consideration—applied to the axes of Y and Z—it being borne
in mind that light is always propagated along these axes, when viewed from the
√
stationary system, with the velocity c2 − v2 gives us
∂τ ∂τ
= 0, = 0.
∂y ∂z
Since τ is a linear function, it follows from these equations that
— luis j. garay 2005 —
v
τ = a t− 2 2
x0
c −v
where a is a function φ(v) at present unknown, and where for brevity it is assumed
that at the origin of k, τ = 0, when t = 0.
With the help of this result we easily determine the quantities ξ, η, ζ by expres-
sing in equations that light (as required by the principle of the constancy of the
velocity of light, in combination with the principle of relativity) is also propagated
with velocity c when measured in the moving system. For a ray of light emitted at
the time τ = 0 in the direction of the increasing ξ
v 0
ξ = cτ or ξ = ac t − 2 x .
c − v2
But the ray moves relatively to the initial point of k, when measured in the statio-
nary system, with the velocity c − v, so that
x0
= t.
c−v
If we insert this value of t in the equation for ξ, we obtain
c2
ξ=a x0 .
c2 − v2
In an analogous manner we find, by considering rays moving along the two other
axes, that
v
η = cτ = ac t − 2 x0
c − v2
when
y
√ = t, x 0 = 0.
c2 − v2
Thus
c c
η = a√ y and ζ = a √ z.
c2 − v2 c2 − v2
Substituting for x 0 its value, we obtain
— luis j. garay 2005 —
where
1
β= √ ,
1 − v2 /c2
and φ is an as yet unknown function of v. If no assumption whatever be made as to
the initial position of the moving system and as to the zero point of τ, an additive
constant is to be placed on the right side of each of these equations.
We now have to prove that any ray of light, measured in the moving system,
is propagated with the velocity c, if, as we have assumed, this is the case in the
stationary system; for we have not as yet furnished the proof that the principle of
the constancy of the velocity of light is compatible with the principle of relativity.
At the time t = τ = 0, when the origin of the co-ordinates is common to the
two systems, let a spherical wave be emitted therefrom, and be propagated with
the velocity c in system K. If ( x, y, z) be a point just attained by this wave, then
x 2 + y2 + z2 = c2 t2 .
ξ 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 K0 , which relatively
to the system k is in a state of parallel translatory motion parallel to the axis of Ξ,**
such that the origin of co-ordinates of system K0 moves with velocity −v on the axis
of Ξ. At the time t = 0 let all three origins coincide, and when t = x = y = z = 0
— luis j. garay 2005 —
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 conse-
quence the second relation ξ 2 + η 2 + ζ 2 = c2 τ 2 .
** Editor’s note: In Einstein’s original paper, the symbols ( Ξ, H, Z) for the co-ordinates of the moving
system k were introduced without explicitly defining them. In the 1923 English translation, (X, Y, Z) were
used, creating an ambiguity between X co-ordinates in the fixed system K and the parallel axis in moving
system k. Here and in subsequent references we use Ξ when referring to the axis of system k along which
the system is translating with respect to K. In addition, the reference to system K0 later in this sentence
was incorrectly given as “k” in the 1923 English translation.
let the time t0 of the system K0 be zero. We call the co-ordinates, measured in the
system K0 , x 0 , y0 , z0 , and by a twofold application of our equations of transformation
we obtain
Since the relations between x 0 , y0 , z0 and x, y, z do not contain the time t, the
systems K and K0 are at rest with respect to one another, and it is clear that the
transformation from K to K0 must be the identical transformation. Thus
φ(v)φ(−v) = 1.
We now inquire into the signification of φ(v). We give our attention to that part of
the axis of Y of system k which lies between ξ = 0, η = 0, ζ = 0 and ξ = 0, η =
l, ζ = 0. This part of the axis of Y is a rod moving perpendicularly to its axis with
velocity v relatively to system K. Its ends possess in K the co-ordinates
l
x1 = vt, y1 = , z1 = 0
φ(v)
and
x2 = vt, y2 = 0, z2 = 0.
The length of the rod measured in K is therefore l/φ(v); and this gives us the
meaning of the function φ(v). From reasons of symmetry it is now evident that the
length of a given rod moving perpendicularly to its axis, measured in the stationary
system, must depend only on the velocity and not on the direction and the sense of
the motion. The length of the moving rod measured in the stationary system does
not change, therefore, if v and −v are interchanged. Hence follows that l/φ(v) =
— luis j. garay 2005 —
l/φ(−v), or
φ(v) = φ(−v).
It follows from this relation and the one previously found that φ(v) = 1, so that
the transformation equations which have been found become
τ = β(t − vx/c2 ),
ξ = β( x − vt),
η = y,
ζ = z,
where
p
β = 1/ 1 − v2 /c2 .
ξ 2 + η 2 + ζ 2 = R2 .
x2
√ + y 2 + z 2 = R2 .
( 1 − v2 /c2 )2
A rigid body which, measured in a state of rest, has the form of a sphere, there-
fore has in a state of motion—viewed from the stationary system—the form of an
ellipsoid of revolution with the axes
— luis j. garay 2005 —
p
R 1 − v2 /c2 , R, R.
Thus, whereas the Y and Z dimensions of the sphere (and therefore of every
rigid body of no matter what form) do not appear modified by the motion, the
√
X dimension appears shortened in the ratio 1 : 1 − v2 /c2 , i.e. the greater the
value of v, the greater the shortening. For v = c all moving objects—viewed from
6 That is, a body possessing spherical form when examined at rest.
the “stationary” system—shrivel up into plane figures.** For velocities greater than
that of light our deliberations become meaningless; we shall, however, find in what
follows, that the velocity of light in our theory plays the part, physically, of an
infinitely great velocity.
It is clear that the same results hold good of bodies at rest in the “stationary”
system, viewed from a system in uniform motion.
Further, we imagine one of the clocks which are qualified to mark the time
t when at rest relatively to the stationary system, and the time τ when at rest
relatively to the moving system, to be located at the origin of the co-ordinates of
k, and so adjusted that it marks the time τ. What is the rate of this clock, when
viewed from the stationary system?
Between the quantities x, t, and τ, which refer to the position of the clock, we
have, evidently, x = vt and
1
τ= √ (t − vx/c2 ).
1 − v2 /c2
Therefore,
p p
τ=t 1 − v2 /c2 = t − (1 − 1 − v2 /c2 )t
whence it follows that the time marked by the clock (viewed in the stationary
√
system) is slow by 1 − 1 − v2 /c2 seconds per second, or—neglecting magnitudes
of fourth and higher order—by 12 v2 /c2 .
From this there ensues the following peculiar consequence. If at the points A
and B of K there are stationary clocks which, viewed in the stationary system, are
synchronous; and if the clock at A is moved with the velocity v along the line AB
to B, then on its arrival at B the two clocks no longer synchronize, but the clock
moved from A to B lags behind the other which has remained at B by 12 tv2 /c2 (up
to magnitudes of fourth and higher order), t being the time occupied in the journey
— luis j. garay 2005 —
from A to B.
It is at once apparent that this result still holds good if the clock moves from A
to B in any polygonal line, and also when the points A and B coincide.
If we assume that the result proved for a polygonal line is also valid for a
continuously curved line, we arrive at this result: If one of two synchronous clocks
at A is moved in a closed curve with constant velocity until it returns to A, the
** Editor’s note: In the 1923 English translation, this phrase was erroneously translated as “plain figures”.
journey lasting t seconds, then by the clock which has remained at rest the travelled
clock on its arrival at A will be 21 tv2 /c2 second slow. Thence we conclude that a
balance-clock7 at the equator must go more slowly, by a very small amount, than
a precisely similar clock situated at one of the poles under otherwise identical
conditions.
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,
wξ + v
x = t,
1 + vwξ /c2
√
1 − v2 /c2
y = wη t,
1 + vwξ /c2
z = 0.
Thus the law of the parallelogram of velocities is valid according to our theory
only to a first approximation. We set
2 2
dx dy
— luis j. garay 2005 —
2
V = + ,
dt dt
w2 = w2ξ + w2η ,
a = tan−1 wη /wξ , **
7 Not a pendulum-clock, which is physically a system to which the Earth belongs. This case had
to be excluded.
** Editor’snote: This equation was incorrectly given in Einstein’s original paper and the 1923 English
translation as a = tan−1 wy /w x .
a is then to be looked upon as the angle between the velocities v and w. After a
simple calculation we obtain
p
(v2 + w2 + 2vw cos a) − (vw sen a/c)2
V= .
1 + vw cos a/c2
It is worthy of remark that v and w enter into the expression for the resultant
velocity in a symmetrical manner. If w also has the direction of the axis of X, we
get
v+w
V= .
1 + vw/c2
It follows from this equation that from a composition of two velocities which are
less than c, there always results a velocity less than c. For if we set v = c − κ, w =
c − λ, κ and λ being positive and less than c, then
2c − κ − λ
V=c < c.
2c − κ − λ + κλ/c
It follows, further, that the velocity of light c cannot be altered by composition
with a velocity less than that of light. For this case we obtain
c+w
V= = c.
1 + w/c
We might also have obtained the formula for V, for the case when v and w have the
same direction, by compounding two transformations in accordance with § 3. If in
addition to the systems K and k figuring in § 3 we introduce still another system
of co-ordinates k0 moving parallel to k, its initial point moving on the axis of Ξ**
with the velocity w, we obtain equations between the quantities x, y, z, t and the
corresponding quantities of k0 , which differ from the equations found in § 3 only
in that the place of “v” is taken by the quantity
— luis j. garay 2005 —
v+w
;
1 + vw/c2
from which we see that such parallel transformations—necessarily—form a group.
We have now deduced the requisite laws of the theory of kinematics correspon-
ding to our two principles, and we proceed to show their application to electrody-
namics.
** Editor’s note: “X” in the 1923 English translation.
Let the Maxwell-Hertz equations for empty space hold good for the stationary
system K, so that we have
1 ∂X 1 ∂L
c ∂t = ∂N
∂y − ∂M
∂z , c ∂t = ∂Y
∂z − ∂Z
∂y ,
1 ∂Y 1 ∂M
c ∂t = ∂L
∂z − ∂N
∂x , c ∂t = ∂Z
∂x − ∂X
∂z ,
1 ∂Z 1 ∂N
c ∂t = ∂M
∂x − ∂L
∂y , c ∂t = ∂X
∂y − ∂Y
∂x ,
where (X, Y, Z) denotes the vector of the electric force, and (L, M, N) that of the
magnetic force.
If we apply to these equations the transformation developed in § 3, by refe-
rring the electromagnetic processes to the system of co-ordinates there introduced,
moving with the velocity v, we obtain the equations
1 ∂X
β N − vc Y − ∂ζ∂ β M + vc Z ,
∂
c ∂τ = ∂η
1 ∂
β Y − vc N − ∂ζ∂ β N − vc Y ,
∂L
c ∂τ = ∂ξ
1 ∂
β Z + vc M β M + vc Z
= ∂
− ∂L
∂η ,
— luis j. garay 2005 —
c ∂τ ∂ξ
1 ∂L v v
c ∂τ = ∂
∂ζ β Y − c N − ∂
∂η β Z + c M ,
1 ∂ v v
c ∂τ β M + c Z = ∂
∂ξ β Z + c M − ∂X
∂ζ ,
1 ∂ v v
c ∂τ β N − c Y = ∂X
∂η − ∂
∂ξ β Y − c N ,
where
p
β = 1/ 1 − v2 /c2 .
Now the principle of relativity requires that if the Maxwell-Hertz equations for
empty space hold good in system K, they also hold good in system k; that is to
say that the vectors of the electric and the magnetic force—(X0 , Y0 , Z0 ) and (L0 , M0 ,
N0 )—of the moving system k, which are defined by their ponderomotive effects on
electric or magnetic masses respectively, satisfy the following equations:—
Evidently the two systems of equations found for system k must express exactly
the same thing, since both systems of equations are equivalent to the Maxwell-
Hertz equations for system K. Since, further, the equations of the two systems
agree, with the exception of the symbols for the vectors, it follows that the functions
occurring in the systems of equations at corresponding places must agree, with the
exception of a factor ψ(v), which is common for all functions of the one system of
equations, and is independent of ξ, η, ζ and τ but depends upon v. Thus we have
the relations
X0 = ψ(v)X, L0 = ψ(v)L,
Y0 = ψ(v) β Y − vc N , M0 = ψ(v) β M + vc Z ,
Z0 = ψ(v) β Z + vc M , N0 = ψ(v) β N − vc Y .
the equations just obtained, and secondly by applying the equations to the inverse
transformation (from k to K), which is characterized by the velocity −v, it follows,
when we consider that the two systems of equations thus obtained must be identi-
cal, that ψ(v)ψ(−v) = 1. Further, from reasons of symmetry8 and therefore
8 If,for example, X=Y=Z=L=M=0, and N 6= 0, then from reasons of symmetry it is clear that when
v changes sign without changing its numerical value, Y0 must also change sign without changing
its numerical value.
ψ(v) = 1,
X0 = X, L0 = L,
Y0 = β Y − vc N , M0 = β M + vc Z ,
Z0 = β Z + vc M , N0 = β N − vc Y .
ce plays in the developed theory merely the part of an auxiliary concept, which
owes its introduction to the circumstance that electric and magnetic forces do not
exist independently of the state of motion of the system of co-ordinates.
Furthermore it is clear that the asymmetry mentioned in the introduction as ari-
sing when we consider the currents produced by the relative motion of a magnet
and a conductor, now disappears. Moreover, questions as to the “seat” of electrody-
namic electromotive forces (unipolar machines) now have no point.
In the system K, very far from the origin of co-ordinates, let there be a sour-
ce of electrodynamic waves, which in a part of space containing the origin of
co-ordinates may be represented to a sufficient degree of approximation by the
equations
X = X0 sen Φ, L = L0 sen Φ,
Y = Y0 sen Φ, M = M0 sen Φ,
Z = Z0 sen Φ, N = N0 sen Φ,
where
1
Φ = ω t − (lx + my + nz) .
c
Here (X0 , Y0 , Z0 ) and (L0 , M0 , N0 ) are the vectors defining the amplitude of the
wave-train, and l, m, n the direction-cosines of the wave-normals. We wish to know
the constitution of these waves, when they are examined by an observer at rest in
the moving system k.
Applying the equations of transformation found in § 6 for electric and magnetic
forces, and those found in § 3 for the co-ordinates and the time, we obtain directly
X0 = X0 sen Φ0 , L0 = L0 sen Φ0 ,
Y0 = β(Y0 − vN0 /c) sen Φ0 , M0 = β(M0 + vZ0 /c) sen Φ0 ,
Z0 = β(Z0 + vM0 /c)nsen Φ0 , N0 = β(N0 − vY o0 /c) sen Φ ,
0
Φ0 = ω 0 τ − 1c (l 0 ξ + m0 η + n0 ζ )
where
ω 0 = ωβ(1 − lv/c),
— luis j. garay 2005 —
l − v/c
l0 = ,
1 − lv/c
m
m0 = ,
β(1 − lv/c)
n
n0 = .
β(1 − lv/c)
From the equation for ω 0 it follows that if an observer is moving with velocity
v relatively to an infinitely distant source of light of frequency ν, in such a way
that the connecting line “source-observer” makes the angle φ with the velocity of
the observer referred to a system of co-ordinates which is at rest relatively to the
source of light, the frequency ν0 of the light perceived by the observer is given by
the equation
1 − cos φ · v/c
ν0 = ν √ .
1 − v2 /c2
This is Doppler’s principle for any velocities whatever. When φ = 0 the equation
assumes the perspicuous form
r
0 1 − v/c
ν =ν .
1 + v/c
We see that, in contrast with the customary view, when v = −c, ν0 = ∞.
If we call the angle between the wave-normal (direction of the ray) in the moving
system and the connecting line “source-observer” φ0 , the equation for φ0 ** assumes
the form
cos φ − v/c
cos φ0 = .
1 − cos φ · v/c
This equation expresses the law of aberration in its most general form. If φ = 12 π,
the equation becomes simply
cos φ0 = −v/c.
We still have to find the amplitude of the waves, as it appears in the moving sys-
tem. If we call the amplitude of the electric or magnetic force A or A0 respectively,
accordingly as it is measured in the stationary system or in the moving system, we
obtain
— luis j. garay 2005 —
2 (1 − cos φ · v/c)2
A 0 = A2
1 − v2 /c2
which equation, if φ = 0, simplifies into
2 1 − v/c
A 0 = A2 .
1 + v/c
** Editor’s note: Erroneously given as “l 0 ” in the 1923 English translation, propagating an error, despite
a change in symbols, from the original 1905 paper.
Since A2 /8π equals the energy of light per unit of volume, we have to regard
2
A0 /8π, by the principle of relativity, as the energy of light in the moving system.
2
Thus A0 /A2 would be the ratio of the “measured in motion” to the “measured
at rest” energy of a given light complex, if the volume of a light complex were
the same, whether measured in K or in k. But this is not the case. If l, m, n are
the direction-cosines of the wave-normals of the light in the stationary system, no
energy passes through the surface elements of a spherical surface moving with the
velocity of light:—
We may therefore say that this surface permanently encloses the same light com-
plex. 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 surface—viewed in the moving system—is an ellipsoidal surface,
the equation for which, at the time τ = 0, is
If S is the volume of the sphere, and S0 that of this ellipsoid, then by a simple
calculation
√
S0 1 − v2 /c2
= .
S 1 − cos φ · v/c
— luis j. garay 2005 —
Thus, if we call the light energy enclosed by this surface E when it is measured in
the stationary system, and E0 when measured in the moving system, we obtain
2
E0 A0 S0 1 − cos φ · v/c
= 2 = √ ,
E A S 1 − v2 /c2
and this formula, when φ = 0, simplifies into
E0
r
1 − v/c
= .
E 1 + v/c
It is remarkable that the energy and the frequency of a light complex vary with
the state of motion of the observer in accordance with the same law.
Now let the co-ordinate plane ξ = 0 be a perfectly reflecting surface, at which
the plane waves considered in § 7 are reflected. We seek for the pressure of light
exerted on the reflecting surface, and for the direction, frequency, and intensity of
the light after reflexion.
Let the incidental light be defined by the quantities A, cos φ, ν (referred to
system K). Viewed from k the corresponding quantities are
1 − cos φ · v/c
A0 = A √ ,
1 − v2 /c2
cos φ − v/c
cos φ0 = ,
1 − cos φ · v/c
1 − cos φ · v/c
ν0 = ν √ .
1 − v2 /c2
A00 = A0
cos φ00 = − cos φ0
ν00 = ν0
Finally, by transforming back to the stationary system K, we obtain for the reflected
light
— luis j. garay 2005 —
The energy (measured in the stationary system) which is incident upon unit
area of the mirror in unit time is evidently A2 (c cos φ − v)/8π. The energy leaving
the unit of surface of the mirror in the unit of time is A0002 (−c cos φ000 + v)/8π. The
difference of these two expressions is, by the principle of energy, the work done by
the pressure of light in the unit of time. If we set down this work as equal to the
product Pv, where P is the pressure of light, we obtain
A2 (cos φ − v/c)2
P = 2· .
8π 1 − v2 /c2
In agreement with experiment and with other theories, we obtain to a first appro-
ximation
A2
P = 2· cos2 φ.
8π
All problems in the optics of moving bodies can be solved by the method here
employed. What is essential is, that the electric and magnetic force of the light
which is influenced by a moving body, be transformed into a system of co-ordinates
at rest relatively to the body. By this means all problems in the optics of moving
bodies will be reduced to a series of problems in the optics of stationary bodies.
1 1 ∂L
∂X
c ∂t + ux ρ = ∂N
∂y − ∂M
∂z , c ∂t = ∂Y
∂z − ∂Z
∂y ,
1 1 ∂M
∂Y
+ uy ρ = ∂L
− ∂N
∂x , = ∂Z
− ∂X
∂z ,
— luis j. garay 2005 —
c ∂t ∂z c ∂t ∂x
1 1 ∂N
∂Z
c ∂t + uz ρ = ∂M
∂x − ∂L
∂y , c ∂t = ∂X
∂y − ∂Y
∂x ,
where
∂X ∂Y ∂Z
ρ= + +
∂x ∂y ∂z
n o
1 ∂X0 0 ∂N0 0 1 ∂L0 ∂Y0 0
c ∂τ + uξ ρ = ∂η − ∂M
∂ζ , c ∂τ = ∂ζ − ∂Z
∂η ,
n o
∂Y0 ∂L0 0 1 ∂M0 ∂Z0 0
1
c ∂τ + uη ρ0 = ∂ζ − ∂N
∂ξ , c ∂τ = ∂ξ − ∂X
∂ζ ,
n o
1 ∂Z0 0 ∂M0 0 1 ∂N0 ∂X0 0
c ∂τ + uζ ρ = ∂ξ − ∂L
∂η , c ∂τ = ∂η − ∂Y
∂ξ ,
where
ux − v
uξ =
1 − u x v/c2
uy
uη =
β(1 − u x v/c2 )
uz
uζ = ,
β(1 − u x v/c2 )
and
∂X0 ∂Y0 ∂Z 0
— luis j. garay 2005 —
ρ0 = + +
∂ξ ∂η ∂ζ
= β(1 − u x v/c2 )ρ.
In addition I may briefly remark that the following important law may easily be
deduced from the developed equations: If an electrically charged body is in motion
anywhere in space without altering its charge when regarded from a system of
co-ordinates moving with the body, its charge also remains—when regarded from
the “stationary” system K—constant.
d2 x
m = eX
dt2
d2 y
m 2 = eY
dt
d2 z
m 2 = eZ
dt
where x, y, z denote the co-ordinates of the electron, and m the mass of the electron,
as long as its motion is slow.
Now, secondly, let the velocity of the electron at a given epoch be v. We seek the
law of motion of the electron in the immediately ensuing instants of time.
Without affecting the general character of our considerations, we may and will
assume that the electron, at the moment when we give it our attention, is at the
origin of the co-ordinates, and moves with the velocity v along the axis of X of the
— luis j. garay 2005 —
system K. It is then clear that at the given moment (t = 0) the electron is at rest
relatively to a system of co-ordinates which is in parallel motion with velocity v
along the axis of X.
From the above assumption, in combination with the principle of relativity, it
is clear that in the immediately ensuing time (for small values of t) the electron,
viewed from the system k, moves in accordance with the equations
d2 ξ
m 2
= eX0 ,
dτ
d2 η
m 2 = eY0 ,
dτ
d2 ζ
m 2 = eZ0 ,
dτ
With the help of these equations we transform the above equations of motion
from system k to system K, and obtain
d2 x
e
dt2
= mβ3
X
2
d y v · · ·
= e
Y − N (A)
dt2 mβ c
2
d z
= e Z + vM
dt2 mβ c
Taking the ordinary point of view we now inquire as to the “longitudinal” and
the “transverse” mass of the moving electron. We write the equations (A) in the
form
2
mβ3 ddt2x = eX = eX0 ,
d2 y
mβ2 dt2 = eβ Y − vc N = eY0 ,
2
mβ2 ddt2z = eβ Z + vc M = eZ0 ,
and remark firstly that eX0 , eY0 , eZ0 are the components of the ponderomotive
— luis j. garay 2005 —
force acting upon the electron, and are so indeed as viewed in a system moving at
the moment with the electron, with the same velocity as the electron. (This force
might be measured, for example, by a spring balance at rest in the last-mentioned
system.) Now if we call this force simply “the force acting upon the electron,”9 and
maintain the equation—mass × acceleration = force—and if we also decide that
9 Thedefinition of force here given is not advantageous, as was first shown by M. Planck. It is
more to the point to define force in such a way that the laws of momentum and energy assume the
simplest form.
the accelerations are to be measured in the stationary system K, we derive from the
above equations
m
Longitudinal mass = √ .
( 1 − v2 /c2 )3
m
Transverse mass = .
1 − v2 /c2
Z Z v
W = eX dx = m β3 v dv
0
2 1
= mc √ −1 .
1 − v2 /c2
our theory to determine the velocity of the electron from the ratio of the magnetic
power of deflexion Am to the electric power of deflexion Ae , for any velocity, by
applying the law
Am v
= .
Ae c
This relationship may be tested experimentally, since the velocity of the electron
can be directly measured, e.g. by means of rapidly oscillating electric and magnetic
fields.
2. From the deduction for the kinetic energy of the electron it follows that be-
tween the potential difference, P, traversed and the acquired velocity v of the elec-
tron there must be the relationship
m 1
Z
P= Xdx = c2 √ −1 .
e 1 − v2 /c2
3. We calculate the radius of curvature of the path of the electron when a mag-
netic force N is present (as the only deflective force), acting perpendicularly to the
velocity of the electron. From the second of the equations (A) we obtain
r
d2 y v2 ev v2
− 2 = = N 1−
dt R mc c2
or
mc2 v/c 1
R= ·√ · .
e 1 − v /c N
2 2
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
— luis j. garay 2005 —
http://www.fourmilab.ch/
— luis j. garay 2005 —
1 − v cosφ
l∗ = l √ c
1 − v2 /c2
where c denotes the velocity of light. We shall make use of this result in what
follows.
— luis j. garay 2005 —
Let there be a stationary body in the system (x, y, z), and let its energy—referred
to the system (x, y, z) be E0 . Let the energy of the body relative to the system (ξ, η, ζ)
moving as above with the velocity v, be H0 .
Let this body send out, in a direction making an angle φ with the axis of x, plane
waves of light, of energy 12 L measured relatively to (x, y, z), and simultaneously an
equal quantity of light in the opposite direction. Meanwhile the body remains at
* The principle of the constancy of the velocity of light is of course contained in Maxwell’s equa-
tions.
rest with respect to the system (x, y, z). The principle of energy must apply to this
process, and in fact (by the principle of relativity) with respect to both systems of
co-ordinates. If we call the energy of the body after the emission of light E1 or H1
respectively, measured relatively to the system (x, y, z) or (ξ, η, ζ) respectively, then
by employing the relation given above we obtain
1 1
E0 = E1 + L + L,
2 2
1 1 − vc cosφ 1 1 + v cosφ
H0 = H1 + L √ + L√ c
2 1 − v2 /c2 2 1 − v2 /c2
L
= H1 + √ .
1 − v2 /c2
H0 − E0 = K0 + C,
H1 − E1 = K1 + C,
1
K0 − K1 = L √ −1 .
1 − v2 /c2
The kinetic energy of the body with respect to (ξ, η, ζ) diminishes as a result
of the emission of light, and the amount of diminution is independent of the pro-
perties of the body. Moreover, the difference K0 − K1 , like the kinetic energy of the
electron (§ 10), depends on the velocity.
Neglecting magnitudes of fourth and higher orders we may place
1L 2
K0 − K1 = v .
2 c2
From this equation it directly follows that:—
If a body gives off the energy L in the form of radiation, its mass diminishes by L/c2 .
The fact that the energy withdrawn from the body becomes energy of radiation
evidently makes no difference, so that we are led to the more general conclusion
that
The mass of a body is a measure of its energy-content; if the energy changes by
L, the mass changes in the same sense by L/9 × 1020 , the energy being measured
in ergs, and the mass in grammes.
It is not impossible that with bodies whose energy-content is variable to a high
degree (e.g. with radium salts) the theory may be successfully put to the test.
If the theory corresponds to the facts, radiation conveys inertia between the
emitting and absorbing bodies.
— luis j. garay 2005 —
This edition of Einstein’s 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 Trägheit eines Körpers von seinem Energiegehalt abhängig?, in An-
nalen der Physik. 18:639, 1905) which appeared in the book The Principle of Relativity,
published in 1923 by Methuen and Company, Ltd. of London. Most of the papers
in that collection are English translations by W. Perrett and G.B. Jeffery from the
German Das Relativatsprinzip, 4th ed., published by in 1922 by Tuebner. All of these
sources are now in the public domain; this document, derived from them, remains
in the public domain and may be reproduced in any manner or medium without
permission, restriction, attribution, or compensation.
The footnote is as it appeared in the 1923 edition. The 1923 English translation
modified the notation used in Einstein’s 1905 paper to conform to that in use by the
1920’s; 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 editor’s Web site:
http://www.fourmilab.ch/
— luis j. garay 2005 —
Fórmulas
~ · (~u × ~v) = ~v · (∇
∇ ~ × ~u) − ~u · (∇
~ × ~v) (F.2.1)
~ u · ~v) = (~u · ∇)~
∇(~ ~ v + (~v · ∇)~
~ u + ~u × (∇ ~ × ~v) + ~v × (∇
~ × ~u) (F.2.2)
~ · ( f ~u) = ∇
∇ ~ f · ~u + f ∇
~ · ~u (F.2.3)
~ × ( f ~u) = ∇
∇ ~ f × ~u + f ∇~ × ~u (F.2.4)
~ × (~u × ~v) = ~u(∇
∇ ~ · ~v) − ~v(∇
~ · ~u) + (~v · ∇)~
~ u − (~u · ∇)~
~ v (F.2.5)
~ × (∇~ × ~v) = ∇(
~ ∇~ · ~v) − ∇
~ 2~v
— luis j. garay 2005 —
∇ (F.3.1)
~ · (∇
∇ ~ ×G~) = 0 (F.3.2)
~ × (∇
∇ ~ G) = 0 (F.3.3)
~ · (f∇
∇ ~ g) = ∇
~ f ·∇
~ g + f∇
~ 2g (F.3.4)
~ × ~x = 0
∇ (F.4.1)
~ · ~x = 3
∇ (F.4.2)
~ 1 = − x̂
∇ (F.4.3)
|~x | |~x |2
~ 2 1 = −4πδ3 (~x )
∇ (F.4.4)
|~x |
~ · ~x = −∇
∇ ~ 2 1 = 4πδ3 (~x ) (F.4.5)
|~x | 3 |~x |
~ x | = x̂
∇|~ (F.4.6)
êr = sen θ cos ϕ êx + sen θ sen ϕ êy + cos θ êz (F.5.4)
êθ = cos θ cos ϕ êx + cos θ sen ϕ êy − sen θ êz (F.5.5)
ê ϕ = − sen ϕ êx − cos ϕ êy (F.5.6)
Laplaciano en esféricas:
~ 2 f = 1 ∂r (r 2 ∂r f ) +
∇
1
∂θ (sen θ∂θ f ) + 2
1
∂2 f (F.6.1)
r 2 2
r sen θ r sen2 θ φ
~ 2 f = 1 ∂r (r∂r f ) + 1 ∂2ϕ f
∇ (F.6.2)
r r