Curso Electrodinamica Clásica (Revision de Las Ec. de Maxwell - Relatividad Especial - ) Profesor Rañada 2005 66p

Universidad Complutense
Notas de curso de
Electrodin
amica cl
asica
Grupo A, 2004/05
Prof. Antonio Fern

andez-Ra
nada
Departamento de Fsica Aplicada III
Bibliografa
L. D. Landau and E. M. Lifshitz, Teora cl asica de campos (Reverte,

Barcelona, 1986); The classical theory of fields, (Pergamon Press, Oxford, 1975).
J. D. Jackson, Classical Electrodynamics, 3rd edition (John Wiley, New

York, 1998). Hay version espa
nola de la segunda edicion inglesa, Electrodin
amica
asica, 2 edicion (Alhambra Universidad, Barcelona, 1980).
cl
W. K. H. Panofsky and M. Phillips, Classical Electricity and Magnetism

(Addison-Wesley, Reading, Massachusetts, 1964).
Bo Thide, Classical electrodynamics,

http://www.plasma.uu.se/CED/Book/index.html.
A. O: Barut, Electrodynamics and Classical Theory of Fields and Particles

(Dover, New York, 1980).
F. Rohrlich, Classical Chraged Particles (Addison-Wesley, Reading, Massa-

chusetts, 1990).
nada 2005
andez-Ra
Antonio Fern
02 notas EDC (v. 15/marzo/2005)

Indice
1. Recordatorio de las ecuaciones de Maxwell

La ecuaciones de Maxwell en el vaco y en medios materiales. Energa electro-
magnetica. Potenciales. Condiciones de frontera. Comportamiento de los campos
electromagneticos bajo rotaciones, reflexiones e inversion temporal.
2. Relatividad especial y covariancia de las ecuaciones de Maxwell
El principio de relatividad y los postulados de Einstein. Transformaciones
de Lorentz. Transformaciones de las velocidades. Cuadrivelocidad y cuadriacel-
eracion. Principio de covariancia. Apendice. Grupos, vectores, formas y tensores.
Grupos de Lie. Espacio eucldeo y rotaciones. Vectores, formas y tensores. Espacio
de Minkowsky y grupo de Lorente. Vectores y tensores en el relatividad especial.
Ap
endice. Grupos, vectores, formas y tensores
3. Formulaci
on relativista lagrangiana de la electrodin
amica cl
asica
I
Principio de mnima.accion. Accion y lagrangiano de una partcula libre
en relatividad especial. Potenciales del campo electromagnetico. Dinamica de
partculas cargadas en un campo electromagnetico: ecuaciones del movimiento.
Invariancia gauge. El tensor electromagnetico. Transformaciones de Lorentz de
los campos E y B. Invariantes. Movimiento de partculas cargadas en campos
electrico y magnetico, uniformes y constantes: en un campo electrico, en uno
magnetico y en campos cruzados.
4. Formulaci
on relativista lagrangiana de la electrodin
amica cl
asica
II
Primer par de ecuaciones de Maxwell. Accion del campo electromagnetico.
Cuadrivector corriente. Segundo par de ecuaciones de Maxwell. Densidad y flu-
jo de energa. El tensor de energa-momento. Simetras y leyes de conservacion.
Tensor canonico de energa-momento y tensor simetrico. Invariancia gauge y con-
nada 2005
servacion de la carga.
5. Ondas electromagn
eticas
andez-Ra
Ondas planas Ecuacion de ondas. Ondas planas. Efecto Doppler. Repre-

sentacion espectral. Ondas guiadas. Modos TEM, TE, y TM. Guas rectangulares.
Transmision de energa. Cavidades resonantes.
Antonio Fern
6. Radiaci
on de partculas cargadas
Solucion de la ecuacion de ondas en el vaco. Funciones de Green. Poten-
notas EDC (v. 15/marzo/2005) 03

ciales de Lienard-Wiechert. Campos de velocidad y de aceleracion. Campos de
una carga en movimiento uniforme. Radiacion de una carga acelerada. Formu-
la de Larmor. Reaccion a la radiacion. Carga con aceleracion lineal. Carga con
aceleracion circular. Radiacion del sincrotron. Modelos clasicos del electron.
7. Radiaci
on debida a distribuciones de fuentes
Desarrollos multipolares Campos creados por una distribucion arbitraria de
corriente. Aproximaciones en la solucion del problema de las fuentes. Campos
creados por un dipolo electrico. Campos de un dipolo magnetico y un cuadrupolo
electrico. Sistemas radiantes: antenas.
nada 2005
andez-Ra
Antonio Fern

Captulo 1
Revisi
on de las ecuaciones de
Maxwell
1.1. Las ecuaciones de Maxwell

Sean E(r, t) y B(r, t) los campos electrico y magnetico y D(r, t) y H(r, t), los
vectores de desplazamiento y de intensidad magnetica. Las cuatro ecuaciones de
Maxwell que los relacionan son en el vaco
B = 0, (1.1)
B
E = , (1.2)
t

E = , (1.3)
0
E
B = 0 j + 0 0 , (1.4)
t
donde (r, t) y j(r, t) son las densidades de carga y de corriente. Por razones
que quedaran claras mas adelante al estudiar la formulacion relativista, las dos
primeras se conocen como el primer par y la tercera y la cuarta, el segundo par.
nada 2005
En un medio material, estas ecuaciones se escriben a menudo en la forma

B = 0, (1.5)
B
E = , (1.6)
andez-Ra
t
D = , (1.7)
D
H = j+ , (1.8)
Antonio Fern
t
a las que se deben a nadir las relaciones D = E, B = H y, si la corriente no
esta dada a priori, tambien j = E. Las cantidades y son la permitividad y

Captulo 1. Revisio
n de las ecuaciones de Maxwell
la permeabilidad del medio, que representan fenomenologicamente el efecto de las

cargas y spines del mismo. Se llaman tambien a veces su constante electrica y su
constante magnetica. es la conductividad electrica cuya inversa es la resistividad
electrica.
En muchas ocasiones, se trata de estudiar como vara el campo electro-
magnetico en interaccion con cargas libres cuyo movimiento no esta dado a priori
sino que esta afectado por los campos. Tomemos el caso especialmente intere-
sante de electrones cuyas posiciones y velocidades son rk , vk . En ese caso hay que
acoplar las ecuaciones de Maxwell con las de movimiento de cada carga. Para ello
hay que hacer dos cosas
(i) Tomar como densidad de carga del conjunto de electrones
X
e = e (3) (r rk ), (1.9)
k
y como densidad de corriente

X
je = e (3) (r rk )vk (1.10)
k
(ii) A
nadir las ecuaciones de movimiento de los electrones

d mvk
= Fk = e(E + vk B). (1.11)
dt (1 vk2 /c2 )1/2
que es la segunda de Newton en su forma relativista, con la fuerza Fk sobre cada
carga dada por la expresion de Lorentz y tomando los campos E = E(r, t) y
B = B(r, t) en la posicion de cada carga. En el caso en que v/c 1 podemos
aproximar el primer miembro por su expresion no relativista d(mv)/dt.
Estas ecuaciones estan siendo comprobadas incontables veces cada da, tanto
desde el punto de vita teorico, como en su aplicacion a multitud de instrumentos
y dispositivos, como los que tenemos en nuestras casas. Constituyen una parte
muy importante de la fsica basica.
nada 2005
1.2. Energa electromagn

etica
andez-Ra
Las cantidades Z
1
UE = E D dv, (1.12)
Antonio Fern
2 V
y Z
1
UM = H B dv, (1.13)
2 V

1.2. Energa electromagnetica
son, respectivamente, la energa potencial electrostatica del sistema de cargas

que produce el campo electrico y la energa almacenada en el campo magnetico.
Notese que las densidades de energa se pueden escribir tambien como
1 1 2
uE = E 2 , uM = B .
2 2
Veremos ahora que ocurre en las situaciones dinamicas. Tomemos la diferencia

entre la ecuacion (1.6) multiplicada escalarmente por H y la (1.8) multiplicada
por E
B D
H ( E) E ( H) = H E E j.
t t
El primer miembro de esta ecuacion es igual a (E H), por lo que
B D
(E H) = H E E j. (1.14)
t t
Suponiendo que D, B, j dependen linealmente de E, H, E, esta ecuacion puede
escribirse como
1
(E H) = [E D + B H] j E. (1.15)
t 2
El segundo miembro tiene una interpretacion clara: con un cambio de signo, es
la derivada respecto al tiempo de la suma de las densidades de energas electrica
y magnetica mas el calentamiento Joule por unidad de volumen.
Integrando la ecuacion anterior en el volumen V , bordeado por S, y aplicando
el teorema de Gauss, se llega de inmediato a
Z Z Z
d 1
j E dv = [E D + B H] dv + (E H) n da. (1.16)
V dt V 2 S
Esta ecuacion integral es muy importante, pues se trata de la conservacion de

la energa. Se conoce como Teorema de Poynting en forma integral. Si definimos
el vector de Poynting
nada 2005
S=EH (1.17)
podemos escribir (1.16) en la forma

andez-Ra
u
+ S = j E, (1.18)
t
Antonio Fern
donde u es la suma de las densidades de energa electrica y magnetica

1
u = u E + uM = [E D + B H] . (1.19)
2

Captulo 1. Revisio
La ecuacion (1.18) es el teorema de Poynting en forma diferencial. Su inter-

pretacion de es clara: el segundo miembro es la energa por unidad de volumen
que pierde el campo electromagnetico debido al efecto Joule (o sea la energa
transferida del campo a la agitacion termica de la materia); el primer sumando
del primer termino es la variacion local de la densidad de energa y S es la
densidad de flujo de energa electromagnetica, es decir la energa electromagnetica
que atraviesa una unidad de superficie normal a S por unida de tiempo. Integrada
en un volumen V cualquiera (y transformando el termino con S en una integral
en la superficie S que bordea a V ) la ecuacion (1.18) nos dice que la variacion
de energa electromagnetica en ese volumen se debe a (i) el efecto Joule y (ii) al
flujo de energa a traves del borde de V , representada por el vector de Poynting.
En resumen u es la densidad de energa electromagnetica almacenada en el
campo y S es la densidad de flujo de energa.
1.3. Los potenciales electromagn

eticos
La ecuacion B = 0 nos dice que el campo magnetico es un rotacional, o
sea que existe un campo vectorial A tal que B = A. Ello implica que la ley
de Faraday E = t B puede escribirse como (E + t A) = 0, lo que dice
que (E + t A) es el gradiente de una funcion . Recapitulando
A
E = , B = A. (1.20)
t
A y son los potenciales escalar y vectorial que pueden usarse para definir el
campo electromagnetico con solo cuatro funciones.
1.4. Condiciones de frontera

Sea una superficie f (r) = 0 que separa dos medios cuyas propiedades elec-
nada 2005
tromagneticas son diferentes. En su superficie hay (o se inducen) una densidad

supeficial de carga y una densidad superficial de corriente K. Indicamos las
magnitudes en los dos medios por subndices 1 y 2. Las condiciones de contorno
andez-Ra
para los campos E, D, B, H son las siguientes (siendo n un vector unitario nor-
mal a la superficie (i. e. n = f /|f |) que suponemos dirigido del medio 1 al
2
Antonio Fern
(D2 D1 ) n = , (E2 E1 ) n = 0 , (1.21)

(H2 H1 ) n = K , (B2 B1 ) n = 0 . (1.22)

1.5. Transformacion de los campos electromagneticos bajo rotaciones,
reflexiones e inversi
on temporal
Se pueden enunciar as: Las componentes normal de B y tangencial de E son

continuas en la superficie. La componente normal de D tiene una discontinuidad
igual a la densidad superficieal de energa y la componente tangencial de H tiene
una discontinuidad igual a la densidad de corriente. Si fluye una corriente de un
medio al otro, su componete normal debe ser continua,
(j 2 j1 ) n = 0 . (1.23)
Las condiciones de los potenciales son

=0 2 1 = . (1.24)
t 2 t 1 n 2 n 1
La primera condicion para puede escribirse en la forma
2 = 1 , (1.25)
La condicion para el potencial vectorial tiene una expresion algo mas complicada,
depende la geometra de la superficie, y no se dara aqu.
1.5. Transformacion de los campos electromagn eticos

bajo rotaciones, reflexiones e inversi
on tem-
poral
El comportamiento de de las cantidades fsicas bajo ciertas transformaciones
tienen mucha importancia. Ello se debe a que las propiedades basicas del espacio-
tiempo y la materia se expresan a menudo como ciertas invariancias bajo grupos
de transformaciones. As
i) la homogeneidad del espacio se puede enunciar como la invariancia de las
leyes basicas bajo traslaciones. Ello significa que al pasar de un punto a otro no
cambian las leyes, o sea que todos los puntos del espacio son equivalentes para la
nada 2005
fsica. Las leyes son las mismas en Madrid que en Barcelona, Bilbao, Nueva York
o Mosc
u. Este fue un descubrimiento importante de Newton: debemos aceptar
la idea de que las leyes son las mismas por todas partes, en contra de lo que
andez-Ra
se admita hasta entonces, siguiendo la tradicion de la filosofa aristotelica que

divida el mundo en uno sublunar y el de las estrellas.
Antonio Fern
ii) la isotropa del espacio, o sea que todas las direcciones son equivalentes para
las leyes de la fsica, se puede enunciar diciendo que estas deben ser invariantes
bajo las rotaciones del espacio.

Captulo 1. Revisio
iii) la equivalencia entre la derecha y la izquierda se conoce en fsica como

invariancia bajo paridad. Significa que, si tenemos un proceso fsico cualquiera
que sigue una cierta ley, el proceso obtenido mediante una imagen especular
esta tambien previsto por la misma ley. Se puede expresar dieciendo que las leyes
sin invariantes bajo reflexiones r r.
iv) el principio de relatividad se puede formular diciendo que las leyes son
invariantes bajo transformaciones de Lorentz.
Para que estas ideas sean operativas es esencial el concepto de simetra.
Que significa esta palabra en la vida ordinaria? Siempre alude a que algo no
cambia cuando se realizan ciertas transformacione geometricas. Por ejemplo, una
esfera es una figura muy simetrica. Esto significa que si la giramos alrededor de
cualquier eje que pase por su centro, ella permanece invariante. Por su parte, un
cubo no cambia bajo rotaciones de un angulo m ultiplo entero de /4 alrededor
de un eje que pase por los centros de dos caras opuestas o bajo rotaciones de
angulo 2/3 alrededor de un eje que pase por dos vertices opuestos o rotaciones
de angulo alrededor de un eje que pase por los puntos medios de dos aristas
opuestas o bajo la reflexiones r r o xk xk , k = 1, 2, 3. Esas transforma-
ciones y sus productos forman un grupo llamado el grupo de simetrias del cubo,
lo mismo que el grupo de simetras de la esfera es el de las rotaciones alrededor
de cualquier eje por su centro, mas las reflexiones.
Analogamente, una columna cilndrica no cambia si la giramos un angulo
cualquiera alrededor de su eje. O una helice, ante rotaciones de un angulo
alrededor de su eje multiplicadas por una traslacion segun su eje de una longitud
r tan , siendo r su radio y 2r tan su paso de rosca. Con frecuencia este tipo
de simetras esta asociado a una sensacion estetica. Nos parece que las figuras
geometricas son especialmente bellas, lo mismo que la belleza de una persona
suele incluir una figura muy simetrica, por ejemplo respecto a un plano.
Pues bien, las simetras matematicas que estamos considerando son algo pare-
cido, pero lo que debe permanecer invariante no es la forma de un objeto en el
nada 2005
espacio fsico, sino algo mas abstracto y complejo: una ecuacion diferencial que
expresa una ley fsica. En otras palabras, supongamos a Andres y Beatriz (o a
Alicia y Bernardo) cuyos sistemas de coordenadas espaciales y relojes que miden
andez-Ra
el tiempo son distintos. Por ejemplo, Andres esta en reposo en un sistema iner-
cial y Beatriz se mueve respecto a Andres con velocidad constante o bien Andres
esta girado respecto a Beatriz. Supongamos que la relacion entre sus coordenadas
Antonio Fern
y tiempos sea una simetra de una cierta ley. En ese caso, si Andres encuentra que
esa ley da buenos resultados en su sistema, al realizar una serie de experimentos,

on temporal
y se expresa mediante unas ecuaciones diferenciales del tipo
F (
xk , x k , xk ) = 0 ,
y les aplica la transformacion matematica que pasa al sistema de referecnia de

Beatriz, obtendra las mismas ecuaciones, salvo posiblemente los nombres de las
variables. O sea que la funcion F es la misma para los dos.
Entre las simetras fundamentales de la fsica, destacan las rotaciones, las
reflexiones y la invariancia bajo inversion temporal t t. Por eso conviene
mucho que sepamos cuales son las propiedades de los campos electromagneticos
respecto a tales transformaciones.
1.5.1. Rotaciones.
Una rotacion de coordenadas en el espacio tridimensional es una transforma-
cion lineal, tal que la norma de un vector permanece invariante. En otras palabras,
tal que la suma de los cuadrados de las coordenadas no cambia. O sea que se trata
de una transformacion lineal
X
xj x0j = ajk xk . (1.26)
k
Para que (x0 )2 = (x)2 se debe cumplir

X
ajk aj` = k` . (1.27)
j
Si la matriz A tiene por coordenadas ajk , esto significa que su inversa A1 es igual
a su traspuesta A, o sea que
=I,
AA (1.28)
por lo que las matrices que expresan una rotacion se llaman (adecuadamente)
ortogonales y su conjunto se conoce como grupo ortogonal O(3), el tres refiriendose
la dimension del espacio.
nada 2005
Pues bien, todo conjunto de tres cantidades que se transforman en una

rotacion como las componentes de x se llama vector, por ejemplo la velocidad
v o el momento lineal p. Hay, ademas, cantidades que son invariante bajo rota-
andez-Ra
ciones y se llaman escalares. Por ejemplo, los productos escalares de dos vectores,
as x2 , x p o v p, este ultimo el doble de la energa cinetica en fsica newtoniana.
Antonio Fern
Si (xi ) es un escalar y Vk (xi ) es un vector, se tiene

X
0 (x0i ) = (xi ) , Vj0 (x0i ) = ajk Vk (xi ) . (1.29)
k

Captulo 1. Revisio
Como vemos, los escalares son tensores de rango cero. Por otra parte hay can-
tidades con dos ndices Bij que se transforman como un vector respecto a cada
uno, es decir
X
Bij Bij0 = aik aj` Bk` . (1.30)
k`
Son los llamados tensores de segundo rango o de dos ndices. Como ejemplos,
podemos mencional los tensores de inercia de un solido o los de tension y defor-
macion en mecanica de medios continuos. Uno de ellos, el tensor electromagnetico
jugara un papel importante en este curso, como veremos mas adelante. La gen-
eralizacion a tensores de rango n, o de n ndices, es inmediata. Los escalares son
tensores de rango cero, sin ndices, y los vectores, tensores de rango uno o con un
ndice.
Si multiplicamos termino a termino dos tensores, se obtiene un tensor cuyo
rango es la suma de los dos. As el producto di
adico de dos vectores P ij = Ai Bj
es un tensor de rango dos. La cantidad Tijk = Ai Bij es un tensor de tres ndices,
etc. Los operadores diferenciales tienen tambien propiedades de transformacion
bajo las rotaciones. Por ejemplo, el gradiente es un operador vectorial. Como
consecuencia, el gradiente de un escalar es un vector, la divergencia de un
vector V es un escalar, la laplaciana es un operador escalar, de modo que la
laplaciana de un escalar es otro escalar 2 .
Para interpretar lo que significa una rotacion, podemos usar dos interpreta-
cionees. En el punto de vista activo se considera que no cambian los ejes de
referencia y el sistema fsico es el que se gira. En el punto de vista pasivo es al
reves, los ejes se giran y el sistema se deja fijo. Para entenderlo mejor, tomemos
una rotacion alrededor del eje z, o sea en el plano xy. Desde el punto de vista acti-
vo, giramos el sistema un angulo y desde el pasivo, un angulo . La situacion
relativa del sistema y los ejes es la misma en los dos puntos de vista.
Consideremos el producto vectorial
nada 2005
A = B C. (1.31)
En componentes
andez-Ra
X
Di = ijk Bj Ck ,
jk
Antonio Fern
donde el smbolo ijk representa el tensor de Levi-Civita, que es de rango tres y

completamente antisimetrico. Vale cero si dos ndices son iguales, +1 si ijk es
una permutacion par de (123) y -1 si es una permutacion impar. Es facil ver que

on temporal
es un tensor invariante, pues

X
0ijk = ai` ajm akn `mn = ijk .
`mn
En efecto, si dos ndices en (ijk) son iguales el segundo miembro se anula. Si, por
ejemplo i = j, los terminos en ai` aim `mn se cancelan. Si ijk es una permutacion
par, el segundo miembro es igual al determinante de A = (aij ) y si es una per-
mutacion impar a menos el determinante (pues se han intercambiado dos filas).
Como el determinante de una rotacion propia es +1, queda demostrado.
Notese que si la rotacion fuese imporpia, su determinante sera 1 y el tensor
de Levi-Civita cambiara de signo en una reflexion. Los tensores a lo suq les ocurre
tal cosa, se llaman pseudotensores. Pues bien, vemos que ijk es un pseudotensor.
En el caso del producto vectorial D, su expresion sugiere que se puede considerar
como un tensor antisimetrico de rango dos cuyas componentes sean Bj Ck Bk Cj .
Por ser antisimetrico tiene solo dos componentes distintas, lo que permite tratarlo
como un vector. Pero el hecho de que el tensor de Levi-Civita sea un pseudotensor,
indica que su ley de transformacion es
X
Di0 = det(a) aij Dj (1.32)
j
O sea que un producto vectorial es realmente de un pseudovector. Esto tiene

importancia pues es el caso del campo vectorial. Los pseudovectores se llaman
tambien vectores axiales mientras que los vectores ordinarios se conocen como
vectores polares. El producto vectorial de un axial por un polar es polar, el de dos
axiales es axial. El producto escalar de un axial y un polar es un pseudoescalar y
el de dos axiales un escalar.
1.5.2. Reflexiones.
La paridad o reflexion r r es una transformacion que cambia la axilidad de
nada 2005
una figura, por ejemplo transformando una mano derecha en una mano izquierda.
La matriz de tal transformacion es aij = ij cuyo determinante vale 1. Ya
hemos visto antes que los pseudotensores se transforman de modo distinto que
andez-Ra
los vectores bajo una reflexion.

Si consideramos el conjunto de todas las rotaciones propias, es decir tales que
Antonio Fern
det(a) = +1, es facil ver que forman un grupo llamado ortogonal. Si incluimos los
productos de esas rotaciones por la paridad, resulta que det(a) = 1, que se llama
grupo ortogonal completo. La reflexion respecto a un plano tiene determinante 1

Captulo 1. Revisio
y es igual al producto de la paridad por una rotacion de angulo en el plano. Por

ejemplo (x, y, z) (x, y, z) es igual al producto de una rotacion en el plano xy
por la reflexion r r.
1.5.3. Inversi
on temporal.
Las leyes basicas de la fsica clasica son invariantes por el cambio de la flecha
del tiempo. Notese que lo que es invariante no es cada trayectoria, sino la expre-
sion matematica de la ley, es decir, la ecuacion del movimiento. Si tomamos una
pelcula de una carambola, que no contenga pistas como un reloj o una persona
andando, resulta imposible saber al verla si esta siendo pasada hacia alante o
hacia atras. Los planetas giran an torno al Sol aproximadamente en un plano y
con un cierto sentido de giro. Ello se debe a un accidente historico, pues podran
igualmente girar en el sentido contrario. A las leyes del movimiento les da igual.
Notese que para pasar de un sentido al otro, basta con cambiar t t, v v,
p p.
Pues bien para tener en cuenta esta simetra temporal, es preciso que las
ecuaciones sean invariante por esos cambios. Tomemos la segunda ley de Newton
en la forma
dp
= U (r) .
dt
En la Tabla 1, se indican las propiedades de transformacion de las principales
magnitudes electromagneticas ante rotaciones, paridad e inversion espacial.
nada 2005
andez-Ra
Antonio Fern

on temporal
Tabla 1.1 Propiedades de transformacion de varias magnitudes bajo

rotaciones, paridad e inversion temporal.
Rotacion Inversi
on
Magnitud (rango del tensor) Paridad temporal
I. Mecanicas
Coordenada x 1 Impar (vector) Par
Velocidad v 1 Impar (vector) Impar
Momento p 1 Impar (vector) Impar
Momento angular L=xp 1 Par (pseudovector) Impar
Fuerza F 1 Impar (vector) Par
Torque N=xF 1 Par (pseudovector) Par
Energa cinetica p2 /2m 0 Par (escalar) Par
Energa Potencial U (x) 0 Par (escalar) Par
II. Electromagneticas
Densidad de carga 0 Par (escalar) Par
Densidad de corriente J 1 Impar (vector) Impar
Campo electrico E 1 Impar (vector) Par
Desplazamiento D 1 Impar (vector) Par
Polarizacion P 1 Impar (vector) Par
Campo Magnetico B 1 Par (pseudovector) Impar
Intensidad Magnetica H 1 Par (pseudovector) Impar
Imanacion M 1 Par (pseudovector) Impar
Vector de Poynting S=EH 1 Impar (vector) Impar
Tensor de Maxwell T 2 Par (tensor) Par
nada 2005
andez-Ra
Antonio Fern

Captulo 1. Revisio
1.6. Ejercicios
1.1 Comprobar que la fuente del potencial vectorial en el gauge de Coulomb es
la componente transversal o solenoidal de la corriente Jt (que verifica Jt = 0).
1.2 Si existiesen los monopolos magneticos, uno de carga qm situado en el

origen de coordenadas producira un campo magnetico igual a
0 q m r
Bm =
4 r3
a) Demostrar que ese campo no es una solucion de las ecuaciones de Maxwell
y, por tanto, es incompatible con la teora en ellas basada.
b) Demostrar que, si se a
nade el termino Bs = 0 qm (x)(y)h(z)ez al campo
anterior, el campo suma s obedece a las ecuaciones de Maxwell. Interpretar la
solucion as obtenida.
1.3 Supongamos que la relacion constitutiva de un material que expresa el

vector polarizacion P en funcion del campo electrico en presencia de una campo
magnetico estatico B0 incluye varias contribuciones de E, sus derivadas tem-
porales y B0 . Usar argumentos de simetra que muestren que la expresion mas
general hasta el segundo orden en B0 tiene necesariamente la forma:
2E
2
1 E E
P = 0 E + 1 B0 + 2 (B0 B0 ) 2 + 3 B0 B0
0 t t t2
1.4 Si en un conductor por el que fluye una corriente debida a un campo

electrico se aplica un campo magnetico transversal, aparece una componente de
campo electrico en la direccion perpendicular a ambos y, como consecuencia, un
voltaje entre los dos lados del conductor. Este fenomeno se conoce como efecto
Hall. Basandose en las propiedades se simetra espacial y temporal, demostrar
que, para campos magneticos peque nos. la generalizacion de la ley de Ohm que
es correcta hasta el segundo orden en el campo magnetico tiene la forma
nada 2005
E = 0 J + R(H J) + 1 H 2 J + 2 (H J)H
donde 0 es la resistividad en ausencia del campo magnetico y R, 1 , 2 son ciertos

andez-Ra
coeficientes (R se conoce como coeficiente de Hall o coeficiente Hall).
1.5 Demostrar que las ecuaciones de Maxwell en el vaco son invariantes bajo
Antonio Fern
las llamadas transformaciones de dualidad
E E0 = E cos + cB sen , cB cB0 = E sen + cB cos .

Captulo 2
Relatividad especial
2.1. El principio de relatividad y los postulados

de Einstein
2.1.1. Sistemas inerciales.
Para describir los fenomenos naturales, los fsicos usan sistemas de referencia,
que tambien llamaremos referenciales, que consisten en sistemas de coordenadas
para indicar la posicion en el espacio y relojes fijos en cada sistema para indicar
el tiempo.
Tienen un interes especial los llamados sistemas inerciales, que son sistemas
de coordenadas en los que un movil libre, o sea sin fuerzas aplicadas, se mueve con
velocidad constante. Son importantes porque en ellos valen las leyes de Newton
sin necesidad de incluir fuerzas de inercia. Si un sistema es inercial, todos aquellos
que se mueven respeto a el con velocidad constante y sin rotacion son tambien
inerciales. Recprocamente si dos sistemas son inerciales, se mueven uno respecto
al otro con velocidad relativa constante.
nada 2005
A pesar de la importancia que tiene en la fundamentacion de la dinamica

clasica, la idea de sistema inercial es mas bien reciente. Fue introducida por el
filosofo y cientfico aleman Ludwig Lange en 1885. Gracias a ella, se aclaro mucho
andez-Ra
la nocion de relatividad, que estaba confusa incluso en las obras de los grandes
mecanicos del XVIII y XIX.
Antonio Fern
Principio de relatividad: Las leyes de la naturaleza son las mismas en todos

los sistemas inerciales de referencia. Esto significa que, si Andres y Beatriz cada
uno en su referencia inercial, investigan mediante experimentos las leyes de la

Captulo 2. Relatividad especial
naturaleza en un cierto sistema fsico, los dos obtendran las mismas leyes (salvo
error, claro).
Con frecuencia se distingue entre principio de relatividad de Galileo y de
Einstein. El primero se refiere tan solo a leyes de la dinamica. El segundo a todas
las leyes de la fsica, incluyendo en particular el electromagnetismo, o sea que es
el principio de relatividad sin mas cualificacion.
2.1.2. Velocidad de propagaci

on de la interacci
on.
La dinamica de Newton usaba fuerzas instant aneas. La ley de la gravitacion

universal, por ejemplo, no incluye ninguna referencia ni al tiempo t ni a la ve-
locidad de propagacion de la gravedad. Para ilustrar esta cuestion, imaginemos
que en el Sol se produjese una explosion en un cierto instante t0 , de modo que
dos mitades fuesen despedidas con una cierta velocidad en direcciones opuestas
(o quiza en el nucleo de la galaxia). Al cabo de un cierto tiempo, cambiara la
orbita de la Tierra porque cambiara la fuerza de la gravedad del Sol. Seg un la
teora de Newton, ese cambio sera instantaneo, es decir, se notara desde el mis-
mo instante t0 (si bien al principio el cambio sera peque no). Hoy se piensa, en
cambio, que la interaccion gravitatoria tiene una velocidad finita de propagacion,
que coincide con la velocidad de la luz c, de modo que los efectos de la explosion
en el Sol se notara solo tras unos 8 minutos y 20 segundos (= 1 UA/c ' 500 s).
Tambien sabemos hoy que esa velocidad c es la de propagacion de la interaccion
electromagnetica y tambien es una velocidad lmita que no puede ser superada
por ning un movil. Su valor es
c = 299 792 458 m/s . (2.1)
Como es una constante universal de la naturaleza, puede jugar el papel de patron

universal. Hay que tener en cuenta que cuando se toma un patron, siempre es
nada 2005
necesario suponer que algo no cambia. Por ejemplo, el metro se defina como
la diezmilmillonesima parte del cuadrante de meridiano terrestre que pasa por
Pars porque se supone que los meridianos de la Tierra tienen longitud invariante.
andez-Ra
Si se definio mas tarde como la distancia entre dos marcas en una barra de
platino iridiado mantenida a temperatura constante, fue porque esa aleacion se
Antonio Fern
dilata o contrae muy poco ante cambios de temeperatura (es inevitable que haya
algunos muy peque nos). Luego se tomo como definicion la longitud de 1 650 763,73
longitudes de onda de una cierta radiacion emitida por el 86 Kr, lo que implica

2.1. El principio de relatividad y los postulados de Einstein
suponer que la constante de Rydberg es realmente constante

2
me4

1
R= = constante .
40 4~3 c
Para aprovechar la constancia universal de c, el metro se define desde 1983 como
la distancia recorrida por la luz en 3,335 640 952 109 s. Cabe mencionar que la
revista Nature publico entonces un editorial criticando la decision de la Oficina
Internacional de Pesas y Medidas porque no se puede asegurar que c no cambie
en alguna medida que escapa a los experimentos actuales. En todo caso, se puede
decir que se conoce actualmente el valor exacto, o sea sin error, de la velocidad
de la luz (tambien ocurre con dos cantidades relacionadas: la permitividad y la
permeabilidad del espacio vaco).
2.1.3. Sucesos, intervalo y tiempo propio.

Un suceso o evento es algo que ocurre en un punto del espacio en un instante
de tiempo. Se define por cuatro cantidades, el valor del tiempo t y los de las tres
coordenadas (x, y, z). Los sucesos se sit
uan en un espacio de cuatro dimensiones,
una temporal y tres espaciales, conocido como espacio-tiempo (se intento sin exito
la palabra universo). Por abuso de lenguaje, se suele identificar suceso con punto
del espacio-tiempo. Una partcula puntual descibe una lnea en el espacio-tiempo
(un tubo, si no es puntual).
La idea de espacio-tiempo fue introducida por el matematico alemam Her-
mann Minkowski en el Congreso de la Asociacion de Matematicos, celebrado en
Colonia en 1908, al decir que, como consecuencia de la teora de Einstein (que
haba sido alumno suyo en Zurich), A partir de ahora, el espacio por s mismo
y el tiempo por s mismo estan condenados a desvanecerse como meras sobras y
solo quedara una ntima union de ellos dos: el espacio-tiempo. Por eso el espacio-
tiempo de la relatividad especial se conoce como espacio de Minkowski.
La idea de distancia entre dos puntos a lo largo de una trayectoria es muy
nada 2005
importante en geometra eucldea. La distancia, sin mas, es la distancia a lo

largo de un a lnea recta que una los dos puntos. Sean estos P1 (x1 , y1 , z1 ) y
P2 (x2 , y2 , z2 ). Su distancia s cumple
andez-Ra
s2 = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 .
Si los puntos son P1 (x, y, z) y P2 (x + dx, y + dy, z + dz) el elemento de

Antonio Fern
distancia, o de longitud, es
ds2 = dx2 + dy 2 + dz 2 .

Una caracterstica importante de la geometra eucldea es que el elemento de

longitud se puede escribir como la suma de cuadrados de elementos de las coor-
denadas. En realidad, esto es ni mas ni menos que el teorema de Pitagoras.
En el caso de que las coordenadas correspondan a ejes no ortogonales, de
P
modo que un punto se determine por el vector dr = xi ei pero con los vectores
ei no siendo ortonormales ei ej 6= ij , el elemento de longitud se escribe como
X
ds2 = gij dxi dxj ,
ij
donde gij = ei ej es el llamado tensor metrico. En una geometra eucldea,

siempre se puede conseguir que gij = ij , eligiendo adecuadamente los vectores
de la base.
Para estudiar el espacio-tiempo en relatividad, se usa el concepto de intervalo,
que es analogo pero no igual al de distancia. El intervalo entre dos sucesos y el
elemento de intervalo valen (suponiendo una base espacial ortonormal)
s212 = c2 (t2 t1 )2 (x2 x1 )2 (y2 y1 )2 (z2 z1 )2 , (2.2)

ds2 = c2 dt2 dx2 dy 2 dz 2 . (2.3)
En general, conviene usar cuatro coordenadas para trabajar en el espacio-tiempo
x0 = ct, x1 = x, x2 = y, x3 = z .
El intervalo es entonces
X
ds2 = (dx0 )2 (dx1 )2 (dx2 )2 (dx3 )2 = gij dxi dxj .
ij
Esto se parece a lo que ocurre en un espacio eucldeo, pero con tensor metrico
igual a (notacion autoexplicativa)
gij = diagonal(1, 1, 1, 1).

nada 2005
Cuando un espacio tiene un elemento de distancia que se puede escribir como

la suma de varios cuadrados de diferenciales de coordenadas menos la suma de
andez-Ra
varios otros, se dice que es un espacio pseudoeucldeo. La signatura de la metrica

es el dato de cuantos signos mas y cuantos signos menos hay en ella. La de la
Antonio Fern
relatividad se puede expresar como (1,3) o (3,1) ( de modo equivalente)

Notese que sigo usando un cuadrado en el primer miembro, a pesar del hecho
evidente que el segundo miembro puede ser negativo (se dice que la metrica

2.1. El principio de relatividad y los postulados de Einstein
no es definida positiva). Los espacios en que el tensor metrico depende de las

coordenadas, de modo que varia de punto a punto se califican de riemannianos
o pseudoriemnnianos en honor al matematico aleman Georg Friedrich Riemann
(1826-1866), quien los introdujo en un importante trabajo titulado Sobre las
hipotesis en que se basa la geometra. Al hacerlo se apoyo en la obra anterior de
Gauss.
2.1.3.1. Importancia del intervalo.
Se debe a que el intervalo entre dos sucesos toma el mismo valor para todos los
observadores inerciales, porque es invariante bajo transformaciones de Lorentz.
Como veremos esto es parecido a lo que le ocurre a la distancia en la geometra
eucldea, que es invariante bajo rotaciones.
2.1.3.2. Tipos de intervalo.
Supongamos que el punto del espacio-tiempo P1 es el origen de coordenadas

y P2 (t, x, y, z). El intervalo entre P1 y P2 sera
s212 = c2 t2 `2 , con `2 = x2 + y 2 + z 2 .
Como el signo de s2 no esta definido, un intervalo puede ser de tres tipos.

a) de tipo tiempo (o temporal), si s212 > 0. Esto significa que se puede ir de P1
a P2 manteniendo siempre una velocidad menor que c. s12 es real.
b) de tipo luz, si s212 = 0. En este caso un rayo de luz puede ir de P1 a P2 .
Ademas, s12 = 0.
c) de tipo espacio (o espacial), si s212 < 0. Ningun movil puede ir de P1 a P2
pues se necesitara llegar a una velocidad superior a la de la luz. s12 es imaginario
puro.
nada 2005
Se define el cono de luz de un punto como el conjunto de los rayos de luz que
salen de ese punto (o sea en un cierto instante). Su ecuacion es c2 t2 (x2 +y 2 +z 2 ) =
0. Las partes con t > 0 (resp. t < 0) se llaman cono del futuro (resp. cono del
pasado). Pues bien
andez-Ra
a) Si el intervalo entre P1 y P2 es de tipo tiempo, P2 esta dentro del cono de

luz de P1 .
Antonio Fern
b) Si es de tipo luz, P2 esta en el cono de luz.

c) Si es de tipo espacio, P2 esta fuera del cono de luz.

La gran importancia que tiene la nocion de cono de luz esta en sus consecuen-
cias sobre las posibles relaciones causales entre P1 y P2 .
a) El interior del cono de luz del futuro se llama futuro absoluto de P1 . Ello
se debe a que t > 0 (o sea t2 > t1 ) para todos los observadores inerciales. En
cambio, existe un sistema de referencia en el que los dos sucesos ocurren en el
mismo punto espacial. El intervalo temporal entre los dos eventos en ese sistema
es igual a p
0 c2 t212 `212 s12
t12 = = .
c c
S puede haber una influencia causal de P1 sobre P2 , pero no al reves.
Analogamente, el interior del cono de luz del pasado se llama pasado absoluto.
Existe un sistema en que los dos sucesos ocurren en el mismo tiempo. Ademas,
s puede haber una influencia causal de P2 sobre P1 , pero no al reves.
b) Los sucesos en el cono de luz, estan siempre separados (para que se diesen
los dos en un mismo punto, el sistema debera viajar a velocidad c). Los del futuro
seran siempre futuro y los del pasado, siempre pasado.
c) Los puntos del exterior del cono de luz de P1 estan siempre separados.
No hay ning un referencial en que los dos ocurran en el mismo lugar. Como para
viajar entre P1 y uno de ellos se necesita llegar a una velocidad superior a c, cosa
imposible, no puede haber ninguna conexion causal con puntos de fuera del cono
de luz.
Por otra parte, hay sistemas en los que P1 y P2 son simultaneos. Su distancia
espacial es en ese caso q
0
`12 = `212 c2 t212 = is12 .
Entender que el orden temporal entre dos sucesos separados por un intervalo
tipo espacio depende del observador y que la simultaneidad de sucesos separados
espacialmente no puede tener caracter absoluto fue el punto de partida de Einstein
para su relatividad espacial. Al desarrollarla actuo como un empirista, pues no
nada 2005
vea modo de determinar experimentalmente que dos sucesos sean simultaneos,

de modo valido para todos los observadores inerciales.
andez-Ra
2.1.4. Tiempo propio.

Antonio Fern
Sea un reloj que se mueve de manera arbitraria respecto a un sistema inercial

S. Cerca de cada instante, se puede considerar que su movimiento es uniforme.
Asmismo introducimos sistemas de coordenadas en cada instante, unidas rgida-

2.2. Las transformaciones de Lorentz
mente al reloj, de modo que este se mueve intantanamente en un sistema inercial.

Sean (t, x, y, z) las coordenadas en el sistema S. En el intervalo dt, el reloj recorre
p
la distancia dx2 + dy 2 + dz 2 . En el sistema ligado rgidamente al reloj S 0 , se
tiene dx0 = dy 0 = dz 0 = 0. Como el intervalo es invariante, resulta
ds2 = c2 dt2 dx2 dy 2 dz 2 = c2 dt0 2 ,
de donde
p
dt0 = dt 1 (dx2 + dy 2 + dz 2 )/c2 dt2 .
Como (dx2 + dy 2 + dz 2 )/dt2 = v 2 , resulta que

p
dt0 = dt 1 v 2 /c2 .
Por tanto, el tiempo que habra medido el reloj al moverse a lo largo de una cierta
trayectoria entre los tiempos t1 y t2 en S sera
r
t2
v2
Z
t02 t01 = dt 1 ( t2 t1 ) . (2.4)
t1 c2
Esto significa que el tiempo medido por un reloj en movimiento respecto a un

sistema S sera siempre menor que el de un reloj que este en reposo en s.

Dados dos sistemas S y S 0 , en movimiento relativo con velocidad constante,
estas transformaciones relacionan las coordenadas espaciales y temporales de un
suceso (el paso de un movil por un punto es un ejemplo) en los dos sistemas.
Suponiendo por simplicidad que los ejes de S y S 0 coinciden en el tiempo t = 0 y
que el sistema primado se mueve con velocidad v paralela al eje x, su expresion
matematica es
nada 2005
x vt
x0 = p ,
1 v 2 /c2
y0 = y, z0 = z , (2.5)
andez-Ra
t (v/c2 )x
t0 = p .
1 v 2 /c2
Antonio Fern
Estas son las famosas ecuaciones de transformaci

on de Lorentz o transformaciones
de Lorentz, de modo mas breve.

Es facil comprobar que la transformacion inversa de (3.41) es
x0 + vt0
x = p ,
1 v 2 /c2
y = y0 , z = z0 , (2.6)
t0 + (v/c2 )x0
t = p .
1 v 2 /c2
O sea que, como caba esperar, la inversa se obtiene de la directa mediante un

simple cambio del signo de la velocidad.
Una primera observacion, mas bien trivial, es que si v 0 (o equivalentemente
si c ) se obtienen las transformaciones de Galileo, las propias de la mecanica
de Newton.
La expresion matematica (3.41) se puede obtener de varias maneras.
2.2.1. Postulados de Einstein.

Primero, como lo hizo Einstein, mediante sus dos famosos postulados, el de
relatividad y el de la constancia de la velocidad de la luz.
1. Postulado de relatividad. Las leyes de la fsica son las mismas en todos
los sistemas inerciales.
(Ning
un sistema inercial es especial.)
2. Postulado de la constancia de la velocidad de la luz. La velocidad
de la luz en el vaco tiene el mismo valor en todos los sistemas inerciales.
De estos dos postulados se pueden deducir la transformaciones de Lorentz,
que implican que la velocidad de la luz c es una velocidad lmite con caracter
universal, la invariancia del intervalo y la relacion (2.4) entre los tiempos de un
reloj en movimiento general y otro en un sistema inercial y la invariancia del
intervalo (2.2)-(2.3).
nada 2005
Pero las transformaciones (3.41) pueden deducirse tambien a partir de la in-

variancia del intervalo.
Suponemos que tienen que tender a las de Galileo cuando c , por lo que
andez-Ra
cabe restringirse a transformaciones lineales en las coordenadas.

Busquemos las transformaciones en el espacio-tiempo que dejen invariante el
Antonio Fern
valor del intervalo, usando como coordenadas (x, y, z, ct). Y para ello empezamos
por notar que el problema es muy parecido al de hallar las transformaciones que
dejan invariante la distancia en el espacio euccldeo bi- o tri-dimansional. Sabemos

que son las rotaciones. Una rotacion en el plano xy se puede escribir siempre como
x0 = x cos + y sen ,
y 0 = x sen + y cos .
Estas ecuaciones representan una rotacion de un angulo de los ejes coordenados.

Es evidente que las propiedades de las funciones trigonometricas garantizan que
x2 + y 2 = x0 2 + y 0 2 .
La diferencia con el espacio-tiempo es el signo menos debido a la signatura de la

metrica, o sea su signatura. Como analogo a una rotacion en el plano, tomemos
una rotacion cuadridimensional en el plano (x, ct). La cantidad que debe manten-
erse invariante es ahora (ct)2 x2 . Lo mismo que antes eso se consegua gracias
a las funciones trigonometricas, en este caso hay que usar funciones hiperbolicas.
Recordemos su definicion
e e e + e e e
sinh = , cosh = , tanh = ,
2 2 e + e
cumpliendose que cosh2 sinh2 = 1. Es facil comprobar que la expresion
general de una transformacion lineal que conserve el intervalo es
x0 = x cosh ct sinh ,
ct0 = x sinh + ct cosh ,
pues
(ct0 )2 x0 2 = (ct)2 x2 .
Para hallar el valor de adecuado a la transformacion de Lorentz (3.41), notemos
que si x = 0, la transformacion es
x0 = ct sinh , ct0 = ct cosh ,
con lo que
nada 2005
x0
= tan .
ct0
Como x0 /t0 = v, resulta que
andez-Ra
v v
tanh = =, = arctanh .
c c
Teniendo en cuenta que
Antonio Fern
tanh 1
sinh = p , cosh = p ,
1 tanh2 1 tanh2

resulta
1
sinh = p , cosh = p .
1 2 1 2
Sustituyendo se obtiene la expresion de la transformacion de Lorentz (3.41) que
queda as probada a partir de la invariancia del intervalo.
La analoga con las rotaciones se puede conseguir usando una coordenada
temporal imaginaria. En vez de x0 = ct, sea x4 = ict. El intervalo se escribe
entonces formalmente como el de una metrica eucldea
X
ds2 = (dx1 )2 + (dx2 )2 + (dx3 )2 + (dx4 )2 = gij dxi dxj ,
ij
donde gij = ij (el signo global no importa). Pues bien, la transformacion de

Lorentz en el plano (t, x) se puede escribir como
x0 = x cos(i) + ict sen(i) ,
ict0 = x sen(i) + ict cos(i) .
Teniendo en cuenta que cos(i) = cosh y sen(i) = i sinh , se comprueba
que coincide con la expresion hallada mas arriba.
O sea, de manera puramente formal, una transformacion de Lorentz con ve-
locidad paralela al eje x se puede escribir como una rotacion de un angulo imag-
inario puro igual a iarctanh(v/c) en el plano (ict, x) si se usa ict como cuarta
coordenada.
2.3. Transformaci
on de las velocidades
Sea un movil que se mueve con velocidades u y u0 en los sistemas S y S 0
respectivamente. La relacion entre sus dos velocidades es
u0x + v
ux = ,
1 + u0x (v/c2 )
p
uy 1 v 2 /c2
u0y
nada 2005
=
1 + ux (v/c2 )
p
uz 1 v 2 /c2
u0z = (2.7)
1 + ux (v/c2 )
andez-Ra
2.4. Cuadrivelocidad y cuadriaceleraci

on
Antonio Fern
En fsica newtoniana la velocidad se define como la derivada de las tres coorde-

nadas cartesianas de una partcula respecto al tiempo, de modo que la velocidad

2.5. Principio de covariancia
es el trivector vk = dxk /dt. En relatividad, se define una velocidad con cuatro

componentes, un cuadrivector, derivando respecto al tiempo propio en vez de
respecto al tiempo coordenado t, de modo que
dx
u = .
d
El elemento de tiempo propio de la partcula es
p
d = ds/c = 1 v 2 /c2 dt ,
por lo que la cuadrivelocidad se puede escribir como

!
c v
u = p , p ,
1 v 2 /c2 1 v 2 /c2
que, como se ve, tiene dimensiones de velocidad.

Es posible definir tambien la cuadriaceleraci
on como la segunda derivada
d2 x du
w = = .
d 2 d
Los dos vectores cumplen las relaciones
u u = c 2 , u w = 0 .
A veces, se define la cuadrivelocidad de modo alternativo y equivalente como
dx 1 dx

u = = ,
ds c d
que no tiene dimensiones (Landau y Lifshitz as lo hacen). Con esta definicion

u u = 1.
2.5. Principio de covariancia

nada 2005
El principio de relatividad dice que las leyes de la fsica tienen la misma forma
en todos los sistemas de referencia inerciales. Por eso las consideraciones anteriores
andez-Ra
son de gran importancia. En efecto, una manera de construir leyes que cumplan
ese principio, que sean invariantes Lorentz como se dice, es que se expresen medi-
Antonio Fern
ante magnitudes cuya variacion bajo transformaciones de Lorentz este claramente

definida, o sea, en lenguaje tensorial. Cualquier ley se escribe como una igualdad
entre dos expresiones matematicas. Para que sea invariante Lorentz, todos los

terminos a la derecha y todos los terminos a la izquierda deben deben ser ten-
sores del mismo rango. Tambien lo deben ser los dos miembros. De ese modo, si
valen en el sistema de referencia de un observador inercial, esta garantizado que
valgan tambien en todos los demas.
Esta prescripcion se conoce como Principio de covariancia.
Notese que ello no solo sirve para presentar en un lenguaje coherente una
teora ya conocida y probada, sino que es una exigencia esencial a la hora de
buscar nuevas leyes que cumplan el principio de relatividad, eliminando algunas
que podran parecer atractivas, pero que no son covariantes.
Dos ultima observacion. Algunos filosofos o sociologos (?), o simplemente
opinantes, de la posmodernidad se apoyan en la teora de Einstein para defender
relativismos u otras formas de pensamiento debil, cuando lo que ella dice en ver-
dad es que s hay cosas absolutas, en el sentido que son las mismas para todos
los observadores inerciales. Son las leyes de la naturaleza, nada menos. Por ello el
nombre de relatividad es confundente. Einstein no la bautizo cuando la propuso
en 1905 y mejor hubiera sido llamarla Teora del absoluto o de la absolutidad, o
Teora del invariante, como empezo a ser conocida cuando la palabra relatividad
hizo fortuna.
Usaremos, en este curso, la teora de la relatividad especial, elemento indis-
pensable para formular adecuadamente las leyes del electromagnetismo. Relativi-
dad especial, tambien llamada a veces restringida, significa que esta basada en
las transformaciones de Lorentz como grupo de invariancia y vive en un espacio
plano, aunque no eucldeo del todo. Pero, como el propio Einstein se dio cuenta en
1911, esa teora no es definitiva porque no puede albergar de forma satisfactoria a
la gravedad. Para conseguirlo, el mismo Einstein desarrollo en los a
nos 1907-1911
su Relatividad General, mucho mas completa, cuyo grupo de invariancia es el de
las transformaciones suaves (es decir suficientemente derivables).
nada 2005
andez-Ra
Antonio Fern

2.6. Ejercicios
2.6. Ejercicios
2.1 Ejercicios de calculo tensorial:
a) Determinar si las siguientes cantidades son tensores, diciendo en su caso si
son covariantes o contravariantes, siendo un escalar
(x1 , x2 , . . . , xn )
dx y .
x
b) En el caso del grupo general de transformaciones x x0 = x0 (x ), un
tensor se define mediante la ley de transformacion
X x0 x0 x0 ...
0 ...
T = ... T
x x x
Demostrar que esta definicion de tensor se reduce a las ya conocidas en los
casos eucldeo u pseudoeucldeo y probar las siguientes igualdades
x x x0
= , = ,
x x0 x
en las que se usa el convenio de Einstein de los ndices repetidos. Razonar que
eso indica quer la delta de Kronecker es un tensor mixto, una vez covariante
y otra contravariante. Demostrar que
c) el producto de dos tensores C = A B es tambien un tensor;
d) si un tensor es simetrico (resp. antisimetrico) respecto a dos ndices, es decir,
si A...... = A...... en un sistema de coordenadas, lo es tambien en cualquier otro
sistema. En otras palabras, la simetra o antisimetra de los tensores es invariante
por cambios de coordenadas.
p
2.2 Demostrar que el tiempo propio d = dt 1 (v/c)2 y las cantidades
c2 B 2 E 2 y E B son invariantes relativistas.
2.3 Hallar la formula de adicion de velocidades cuando la velocidad v del
sistema S 0 respecto al S tiene una direccion cualquiera, expresando el resultado
nada 2005
en forma vectorial.
2.4 Hallar los campos de un condensador plano con densidad propia de carga
0 que se mueve con velocidad v: a) paralela a las placas; b) perpendicular a las
andez-Ra
placas. Comprobar los invariantes de la transformacion.

2.5 Dos rectas paralelas muy proximas, paralelas al eje z y con densidades de
Antonio Fern
carga y , se mueven paralelamente a s mismas con velocidades +v y v. En

el sistema del laboratorio los campos que crean valen aproximadamente E = 0 y
B = (0 I/2)u , siendo I = 2v.

a) Usando los invariantes del campo, determinar si existe alg

un sistema de
referencia en el cual E 6= 0, B = 0.
b) Una carga q se mueve paralelamente a las dos rectas con velocidad u. Por
transformacion de los campos, hallar la fuerza sobre la carga en un sistema ligado
a ella.
nada 2005
andez-Ra
Antonio Fern

2.6. Ejercicios
Ap
endice 2.1: Grupos, vectores, formas y tensores
A2.1.1 Definici
on de grupo y de grupo de Lie. Un grupo es un
conjunto de objetos que incluye una ley de composicion binaria que asigna un
elemento a cada par de elementos ordenados a y b. Se escribe a b = p. Esa ley
cumple tres propiedades
1) Es asociativa: a (b c) = (a b) c.
2) Existe un elemento identidad e, tal que a e = e a = a para todo a.
3) Cada elemento del grupo a tiene un inverso a1 tal que a1 a = a a1 = e.
En este curso nos interesan en especial los grupos continuos, tales que sus
elementos dependen continuamente de varios parametros 1 , , n . Si la depen-
dencia es analticas, el grupo se llema grupo de Lie, en honor del matematico
noruego Sophus Lie, que fue un pionero en su investigacion.
Ejemplos de grupos de Lie son el de las rotaciones en n dimensiones, el de
las traslaciones o el de Lorentz. Los parametros son angulos, distancias o angulos
y velocidades, respectivamente ( o funciones de ellos). En general los grupos de
Lie se representan por matrices, de modo que a cada elemento (a menudo una
transformacion) le corresponde una matriz que act ua en un espacio vectorial, que
conserve la ley de multiplicacion. Es otras palabras, el grupo de Lie y el grupo de
matrices deben ser homomorfos. Una tal correspondencia se llama representaci on
lineal del grupo de Lie.
A2.1.2 Espacio eucldeo y grupo de las rotaciones

Que cosa es un vector. Varios n umeros sin mas no son necesariamente
las componentes de un vector en un cierto espacio vectorial. En este apartado,
dare dos definiciones de vector, en el caso de ese espacio de tres dimensiones con
geometra eucldea. La primera observacion es que las componentes de un vec-
tor siempre deben expresar, de alg un modo, una direccionalidad. Intuitivamente
nada 2005
hablando, el ejemplo mas simple es el de una velocidad. Consideremos el conjunto

de los vectores tridimensionales r = (r1 , r2 , r3 ) [ (x, y, z)], que representaremos
como una columna de tres n umeros, y una transformacion lineal A : r r0 = Ar,
andez-Ra
donde A es una matriz 3 3

Antonio Fern

a11 a12 a13
A = (aij ) = a21 a22 a23 . (2.8)

a31 a32 a33

La expresion en coordenadas de la transformacion es

X
ri ri0 = aij rj , (2.9)
j
o, en forma matricial,

r10 a11 a12 a13 r1
0
r2 = a21 a22 a23 r2 . (2.10)

r30 a31 a32 a33 r3
Pues bien la primera definicion de vector tridimensional es la siguiente: un vector
es un conjunto de tres cantidades que se transforman seg un (2.9)-(2.10) ante
una transformacion lineal de coordenadas. La generalizacion a n dimensiones es
inmediata.
Nos interesa ahora el caso particular en que las matrices A representan rota-
ciones en tres dimensiones. Se definen por la propiedad de mantener invariante el
modulo de los vectores r2 = r r, donde r = (r1 , r2 , r3 ), es decir es un vector fila
(la tilde sobre una matriz indica traspocicion). Notese que un producto vectorial
implica una metrica. Se puede escribir, pues,

r2 = r r = rr = r0 r0 = rAIAr ,
donde I es la matriz unidad (correspondiente a la transformacion identidad).

Como esto debe ocurrir para todos los vectores r, es necesario que se cumpla
=I,
AA o sea A = A1 . (2.11)
La traspuesta de A es igual a su inversa o, tambien, A es autoadjunta, es decir,

igual a su propia adjunta1 . Las matrices que cumplen esa propiedad se llaman
matrices ortogonales. El conjunto de tales matrices en n dimensiones forma un
grupo continuo, o de Lie, llamado grupo ortogonal On . El de las rotaciones en el
espacio fsico es, pues, O3 .
La relacion anterior implica que det(A) = [det(A)]1 , por lo que det(A) =
1. El conjunto de las transformaciones con determinante +1 forman un grupo
nada 2005
llamado grupo ortogonal propio, compuesto por las rotaciones que cambian una
mano derecha en una mano derecha. Las que tienen determinante 1 transforman
una mano derecha en una izquierda y al reves. Cada una de ellas es producto de
andez-Ra
una rotacion propia por una reflexion r r, cuya matriz es I. No forman

grupo pues el producto de dos de ellas tiene determinante +1. El conjunto de
Antonio Fern
todas, las propias y las no propias, s forma grupo evidentemente. Se llama grupo
ortogonal completo.
1
La matriz adjunta de A es la inversa de la traspuesta, o la traspuesta de la inversa.

2.6. Ejercicios
2.6.0.0.1. Formas lineales. Consideremos ahora otro concepto. Una forma

lineal en el espacio tridimensional es una funcion lineal de los vectores que toma
valores entre los numeros reales. Como es lineal, toda forma F esta definida por
tres numeros, sean (u1 , u2 , u2 ), tales que
X
Fu (v) = u1 v1 + u2 v2 + u3 v3 = ui v i . (2.12)
i
Es facil ver que el conjunto de las formas lineales en un espacio vectorial V tiene
tambien la estructura de espacio vectorial. Se conoce por espacio dual de V. El
teorema de Riesz establece que hay una correspondencia biunvoca entre V y su
dual, de modo que a cada vector le corresponde una forma.
Nos interesan las formas invariante por O3 (en el caso general, por un cierto
grupo). Para ello, su valor debe ser el mismo en un sistema con primas (o sea,
rotado)
X X X
Fu0 0 (v0 ) = u0i vi0 = u0i aij vj = Fu (v) . (2.13)
i i j
Como esto se debe cumplir para todo vector v, las dos ecuaciones anteriores
implican que los coeficientes de la forma se transforman del modo
X
uj = aij u0i ,
i
y, si la matriz aij es ortogonal, esto equivale a

X
u0i = aij uj .
j
O sea que los coeficientes de una forma se transforman como los componentes de
un vector. Esto parece sugerir que un vector y una forma son la misma cosa. Pero
no es as, en general son dos conceptos que hay que saber distinguir. Ocurre sin
embargo que, en el caso eucldeo con el grupo de las rotaciones, las componentes
de la forma son la misma terna que la del vector u a que esta asociada en virtud
nada 2005
del teorema de Riesz. Pero en el caso general, las cosas son algo mas complicadas
y conviene, como se vera mas abajo. Cuando hay una metrica dada por un pro-
ducto escalar, se puede establecer una relacion biunvoca entre el conjunto de los
andez-Ra
vectores y el de las formas. Gracias a ello y en el caso de una geometra eucldea

con una base ortogonal, es posible y comodo identificarlos, si bien con un cierto
Antonio Fern
abuso de lenguaje poco importante. Pero eso no se puede hacer en relatividad,

que usa una geometra pseudoeucldea con el grupo de Lorentz en vez del de las
rotaciones.

Eso permite formular la segunda definicion de vector antes anunciada: un

vector es el conjunto de los coeficientes de una forma lineal. Pero conviene insistir
que hay en ella un cierto abuso de lenguaje.
2.6.0.0.2. Qu e cosa es un tensor. Un tensor de rango n o de n ndices en el

espacio eucldeo R3 es un objeto de 3n componentes Tijn que en la transformacion
de coordenadas (2.9) cambia del modo siguiente
X
0
Tijn Tijn = aii0 ajj 0 ann0 Ti0 j 0 n0 (2.14)
i0 j 0 n0
Es evidente que un ejemplo de tensor de rango n es el conjunto de los productos

de las componentes de n vectores
Rijn = Ai Bj Nn .
En otras palabras, un tensor es un objeto con varios ndices que se transforma

como un vector respecto a cada ndice. Con esta definicion, un vector es un tensor
de rango uno y un escalar es un tensor de rango cero.
Como sabemos una matriz de transformacion es un objeto de dos ndices, lo
que plantea una pregunta. Es tambien un tensor? Consideremos una transfor-
macion lineal dada por la matriz B = (bij ), es decir
X
u v = Bu, o sea ui v i = bij uj . (2.15)
j
Apliquemos la matriz de transformacion A = (aij ) que nos pasa a un sistema con

primas, en el que la transformacion dada por B sera
X
u0 v0 = Bu0 , o sea u0i vi0 = b0ij u0j . (2.16)
j
nada 2005
andez-Ra
Antonio Fern

2.6. Ejercicios
La situacion puede describirse con el diagrama

B
u v
A A
B0
u0 v0 . (2.17)
Esto significa que

v0 = B 0 Au = ABu .
Como esto debe verificarse para todo vector u, se ha de cumplir
B 0 A = AB , es decir B 0 = ABA1 . (2.18)
Tomando componentes
X
b0ij = a1 )jm b`m
ai` ( (2.19)
`m
Como A1 = A, entonces (
a1 )jm = ajm , de donde
X
b0ij = ai` ajm b`m , (2.20)
`m
que indica que las componentes de la matriz B se transforman como las de un

tensor.
En fsica abundan los tensores. Tres ejemplos de segundo dos: el de inercia de
un solido rgido y los de deformacion y tension en mecanica de medios continuos.
Producto y contracci on de tensores. Se define el producto de dos tensores
de rangos n y m como el tensor de rango m + n cuyas componentes son los 3n+m
productos de las del primero por el segundo. Ejemplo: la diada o producto diadico
de dos vectores es el tensor Dij = Ai Bj .
La operacion igualar dos de los ndices de un tensor y sumar despues en sus
nada 2005
posibles valores se llama contracci on. Por ejemplo la traza de una matriz de dos
P
ndices es la contraccion del tensor correspondiente Tr (Aij ) = j Ajj . Es facil
comprender que la contraccion de un tensor de rango n es otro tensor, pero de
andez-Ra
rango n 2. Por ejemplo si contraemos los dos primeros ndices del tensor de
P
(2.14), el objeto resultante, Ukn = i Tiikn , se transformara como un tensor
de rango n 2 pues
Antonio Fern
X X
0
Tiikn Tiikn = aii0 aij 0 ann0 Ti0 j 0 n0 .
i i0 j 0 n0

P
Como i aii0 aij 0 = i0 j 0 , resulta que
X
0
Ukn = akk0 ann0 Uk0 n0 (2.21)
k0 n0
Luego la contraccion de un tensor de n ndices es un tensor de n2 ndices. Como

ejemplo, el producto escalar de dos vectores es la contraccion de su producto
P
diadico (la contraccion de ak bj es k ak bk ).
Con frecuencia se simplifica la notacion mediante lo que se llama convenio de
Einstein de los ndices repetidos que consiste, simplemente, en sobrentender que
siempre que haya dos ndices repetidos hay que sumar sobre sus valores posibles.
Por ejemplo el producto escalar de ak y bk se puede escribir de dos maneras: como
P
k ak bk o, con un poco menos menos de tinta, como ak bk . Eso permite escribir
muchas formulas de modo mas economico.
Un ejemplo interesante de tensor es el llamado tensor de energa-momento,
que jugara un papel importante en este curso. Tiene rango dos e indica la densidad
de energa y la densidad de flujo de la energa de un campo elecromagnetico.
2.6.0.0.3. Caso general. Supongamos un espacio vectorial de n dimensiones

al que asignamos una metrica dada por el tensor metricogij , que es simetrico
gij = gji , tal que el producto escalar de dos vectores ui y v i esta dada por (notese
que las componentes de los vectores seran indicadas por superndices)
X
uv = gij ui v j . (2.22)
ij
En una geometra eucldea existen bases tales que ei ej = ij con lo que tenemos
el producto escalar de las matematicas elementales. Pero puede ocurrir que, por
alguna razon, deseemos usar una base no ortogonal. En el caso del espacio de
Minkowsky, lo mas que se puede llegar es a una metrica diagonal con un 1 y tres
1, o sea cuatro vectores ortogonales pero, bien uno de ellos bien tres, con norma
nada 2005
negativa.
La expresion (2.22) se puede escribir de modo mas simple introduciendo las
cantidades
andez-Ra
X X
uj = gij ui , tal que uj = g jk uk , (2.23)
j j
pues entonces
Antonio Fern
X X X X
uv = gij ui v j = uj v j = ui vi = g ij ui vj , (2.24)
ij j i ij

2.6. Ejercicios
donde la matriz del tensor simetrico g ij es la inversa de la de gij , es decir que

X
gik g kj = ij . (2.25)
k
Propiamente hablando, las cantidades con el superndice, las xk , son las com-
ponentes de un vector y las que llevan el subndice, las xk , de una forma. Pero
dada la correspondencia biunvoca entre vectores y formas a la que se refiere el
teorema de Riesz, resulta aceptable, y conveniente a un cierto nivel, identificar los
vectores con las formas. Se dice entonces que las cantidades xk son componentes
contravariantes y las xk , componentes covariantes. La operacion de pasar de las
unas a las otras, mediante la contraccion con el tensor metrico se llama subir y
bajar ndices. En el caso eucldeo es posible elegir los vectores de la base de modo
que xk = xk , pero eso resulta imposible en el tratamiento de la relatividad.
Dada una transformacion de coordenadas
X
xi x0 i = aij xj , (2.26)
j
se dice que v (v 1 , . . . v n ) es un vector si sus componentes cambian en esa

transformacion del mismo modo que las x0 s, o sea
X
vi v0 i = aij v j .
j
Supondremos que esa transformacion forma parte de un grupo de Lie. El producto

escalar permite asociar a cada vector u una forma lineal Fu de modo que
X
Fu (v) = u v = gij ui v j ,
ij
que, como se ha visto mas arriba, se puede escribir

X
Fu (v) = u v = ui v i . (2.27)
nada 2005
Si esa cantidad es invariante por el grupo, debe ser igual a

X X X X
uj v j = u0j v 0 j = u0j ajk v k = uk v k .
andez-Ra
j j jk k
Para que sean iguales debe ocurrir que

Antonio Fern
X j X
uk = a k u0j , o sea u0j = a`j u` .
k

Vemos que, en el caso mas general, las componentes contravariantes y covari-

antes se transforman de distinta manera
X X j
u0 i = aij uj , ui = a i u0j . (2.28)
j j
Estas son las maneras en que se transforman las componentes de los vectores
y las formas. Gracias a la existencia de un producto escalar con su tensor gij ,
podemos decir tambien que son las maneras de transformarse de las componentes
contravariantes y covariantes de los vectores. En el caso eucldeo con el grupo
ltima ecuacion por (a1 )iq y sumamos en i, teniendo en
On , si multiplicamos la u
P 1 i `
cuenta ademas que i (a ) q a i = q` se llega a
X
u0q = (a1 )iq ui
i
En el caso eucldeo con el grupo de las rotaciones, la inversa de la matriz es igual

a la traspuesta, por lo que X q
u0 q = a i ui .
que es la misma ley (2.26).
A2.1.3 Espacio de Minkowski, grupo de Lorentz,

cuadrivectores y tensores. La teora de la relatividad vive en el espacio
de Minkowsky, un espacio de cuatro dimensiones, con vectores a a =
(a0 , a1 , a2 , a3 ), dotado del producto escalar
X
ab= a b , (2.29)

que corresponde al tensor metrico de Minkowsky
g = = diag (1, 1, 1, 1) ,
en notacion autoexplicativa. Ese producto escalar es invariante por el grupo de

nada 2005
Lorentz, cuyas transformaciones son del tipo
x x0 = Ax (2.30)
andez-Ra
siendo A una matriz 4 4. Si G la matriz del tensor gij , es decir

1 0 0 0
Antonio Fern
0 1 0 0
G (gij ) = ,

0 0 1 0
0 0 0 1

2.6. Ejercicios
podemos escribir un producto escalar de los vectores u0 y v 0 en la forma

u0 v 0 = u0 Gv 0 uAGAv = uGv . (2.31)
Como esto se debe cumplir para todo par de vectores, es necesario que

AGA = G. (2.32)
Esta es la condicion que cumplen las matrices del grupo de Lorentz (es facil
comprobar que el conjunto de las matrices que la cumplen tiene estructura de
grupo). Notese que en el caso eucldeo, la matriz G es la unidad, con lo que (2.32)
se transforma en la conocida condicion A = A1 .
La regla para formar las componentes covariantes de un vector es simple con
el tensor metrico de Minkowsky. Esta claro que
a0 = a0 , a1 = a1 , a2 = a2 , a3 = a3 ,
o sea que subir o bajar un ndice espacial equivale a cambiar el signo, mientras
que si el ndice es temporal la componente no cambia. El tensor metrico se puede
escribir de tres maneras
gij , gji = ji g ij
donde la matriz g ij es la inversa de gij . Es facil comprobar que

1 0 0 0 1 0 0 0
0 1 0 0 0 1 0 0

j
(g ij ) = (gij ) = , gi =

0 0 1

0 0 0 1 0
0 0 0 1 0 0 0 1
Usaremos el siguiente convenio. Los ndices griegos van siempre de 0 a 3 y los

latinos de 1 a 3. Esto significa que las letras griegas se usan para designar a las
cuatro coordenadas de espacio y tiempo y las latinas para las de espacio. Esta
es la notacion tradicional en el Occidente, mientras que en la Union Sovietica se
usaba mas la contraria, por eso es la que tiene el libro de Landau.
nada 2005
Como hemos visto, un suceso se determina en relatividad por cuatro datos

(ct, x, y, z) que vamos a considerar como las cuatro coordenadas de un vector en
el espacio de Minkowsky, de modo que
andez-Ra
x0 = ct, x1 = x, x2 = y, x3 = z .
Antonio Fern
El cuadrado del modulode este vector vale
x x = (x0 )2 (x1 )2 (x2 )2 (x2 )2 = x0 x0 + x1 x1 + x2 x2 + x3 x3 ,

que queda invariante ante las rotaciones.en cuatro dimensiones, o sea ante
las transformaciones de Lorentz. De hecho si se aplica al cuadrivector general
(a0 , a1 , a2 , a3 ) una transformacion de Lorentz con velocidad v a lo largo del eje x,
se transforma en otro con componentes dadas por las mismas expresiones (3.41)
a1 x0
a0 1 = p ,
1 2
a0 2 = a2 , a0 3 = a3 , (2.33)
a0 a1
a0 0 = p ,
1 2
con = v/c es la velocidad expresada en unidades de la velocidad de la luz c.
Ante esa transformacion de Lorentz el cuadrado de su magnitud
a a = (a0 )2 (a1 )2 (a2 )2 (a2 )2 ,
permanece invariante. O sea, las transformaciones de Lorentz no solo se aplican
a las coordenadas espaciales y al tiempo.
Convenio de Einstein de los ndices repetidos. En el caso de los ten-
sores relativistas, es decir, en el espacio de Minkowski, este convenio siempre se
aplica a un par de ndices que sean uno contravariante y otro covariante, com
ocurre en el producto de dos cuadrivectores, por ejemplo la cuadrivelocidad y la
cuadriaceleracion u w = u w .
2.6.0.0.4. Tensores. En relatividad un tensor es un objeto con n ndices

arriba y m abajo. Se dice que es n veces contravariante y m veces covariante
A , R .
Se llaman tambien tensores mixtos para indicar que tiene, a la vez, indices de los
dos tipos. Los ndices se suben y se bajan mediante la misma regla simple que
para los vectores. Al cambiar un ndice que vale 0, nada cambia; si vale 1, 2 o
3 cambia el signo. Para contraer dos ndices es preciso que sea uno covariante y
nada 2005
otro contravariante.
Ademas de las tres formas anteriores del tensor metrico, tiene interes el
pseudotensor tensor completamente antisimetrico de rango cuatro e , una gen-
andez-Ra
eralizacion del de Levi-Civitta. Su valor es 0 si dos de los ndices son iguales y +1

o 1 si son los cuatro distintos y los ndices forman una permutacion par o impar,
Antonio Fern
respectivamente, de los n umeros (0, 1, 2, 3). Por ejemplo e0123 = +1, e1023 = 1,
e1123 = 0. Notese que e0123 = 1. Ese tensor tiene por tanto 4! = 24 componentes
no nulas.

2.6. Ejercicios
2.6.0.0.5. Vectores y pseudovectores. Si se realiza una inversion de coor-

denadas (o sea una simetra respecto al origen, (x, y, z) (x, y, z)), las tres
componentes espaciales de un vector ordinario cambian de signo. Si solo se in-
vierte una de las coordenadas (por ejemplo, se invierte z si se realiza una simetra
respecto al plano xy), la componente correspondiente de los vectores cambia de
signo). Consideremos, sin embargo, el producto escalar de dos vectores, como es el
caso del campo magnetico. Es facil comprobar que sus componentes permanecen
invariantes en una inversion de coordenadas. Si solo se invierte una, la compo-
nente correspondiente del producto escalar no cambia; por contra las otras dos
s cambian de signo.
En el primer caso, se dice que se trata de un vector polar; en el segundo, que
es un vector axial. Es facil comprobar que el campo electrico es polar y el campo
magnetico, axial. Tambien se conocen esos dos tipos como vector y pseudovector,
respectivamente. Sea C = A B. Esta claro que (usando el convenio de los
ndices repetidos)
1
Ci = eijk Cjk , siendo Cjk = Aj Bk Ak Bj .
2
La primera igualdad puede escribirse tambien como Ci = eijk Cjk .
En general, un pseudotensor se comporta como un tensor para transforma-
ciones de coordenadas sin inversion o con la inversion de un n umero para de
coordenadas (o cuando la mano derecha cambia en una mano derecha), mas pre-
cisamente si no cambia la axilidad del sistema de ejes. Pero no cambia de signo
sus componentes en una inversion de un n umero impar de coordenadas, como
s lo hace un tensor. Como ejemplo de pseudoescalar tomemos el producto escalar
de un vector y un pseudovector, E B en electromagnetismo por caso. Cambia de
signo, al reves que un escalar en una inversion de las tres coordenadas.
Sea T un tensor antisimetrico de rango dos en cuatro dimensiones. Se define
su dual T como
1
T = e T .
nada 2005
2
De la misma manera el dual de un vector R es el tensor de rango tres R =
e R .
andez-Ra
Este tipo de tensores son especialmente importantes porque aparacen muy

a menudo en las aplicaciones fsicas, como veremos. Sea T uno de ellos. Sus
Antonio Fern
componentes (T 01 , T 02 , T 03 ) forman un vector polar, como es facil de com-

prender aplicando las leyes de transformacion. Por su parte, las componentes
(T 32 , T 13 , T 21 ) forman un vector axial. Tambien se puede entender bien esto al

observar que esas tres componentes son las coordenadas del vector dual del tensor
T ij y se comportan como un producto vectorial. Se puede escribir

0 ex ey ez
e
x 0 bz by
(T ) = ,

ey bz 0 bx
ez by bx 0
y con notacion evidente
T = (e, b), T = (e, b)
El gradiente en cuatro dimensiones de una funcion f es

f 1 f
= , f .
xi c t
Sus cuatro componentes son las coordenadas covariantes de un vector, escritas a

menudo como i f . La diferencial de la funcion vale obviamente df = i dxi y es
un escalar, pues esta claro que es el producto escalar de dos vectores.
2.6.0.0.6. Integrales en cuatro dimensiones. Se usan integrales de lnea,

de superficie bidimensional, de volumen tridimensional y de cuadrivolumen.
Veamos cuales son los elementos difrenciales.
(i) Integrales de lnea. El elemento de integracion es simplemente dxi .
(ii) Integrales de superficie bidimensional. En el espacio tridimensional, las
proyecciones del area de un paralelogramo formado por dr y dr0 sobre los plano
xi xj son dxi dx0j dxj dx0i . El conjunto de tales proyecciones es un tensor de rango
dos. Su dual es el doble del producto escalar dr dr0 , cuyas componentes son las
areas de las tres proyecciones. Analogamente, en el espacio de Minkowsky el tensor
dS = dx dx0 dx dx0 tiene por componentes las areas de las proyecciones
en los seis planos x x . Como elemento de area se usa su dual
nada 2005
1
d S = dS
2
andez-Ra
(iii) Integrales de volumen tridimensional. De modo parecido se usa el dual

del tensor de rango tres
Antonio Fern

dx dx0 dx00

dS = dx dx0 dx00 ,

dx dx0 dx00


2.6. Ejercicios
es decir
1
dS = dS
6
0 123 1 023
por ejemplo dS = dS , dS = dS ...
(iv) Integral en un volumen cuadridimensional
d = dx0 dx1 dx2 dx3 = cdtdV

nada 2005
andez-Ra
Antonio Fern

nada 2005
andez-Ra
Antonio Fern

Captulo 3
Formulacion lagrangiana de la
electrodin
amica cl
asica I
3.1. Principio de mnima acci

on en mec
anica
newtoniana
Sea un sistema mecanico de n grados de libertad y descrito por n coordenadas
(q1 , q2 , , qn ) y, para simplificar supongamos que el potencial no depende del
tiempo. Sean sus energas cinetica T y potencial V y su funcion lagrangiana L
T = T (q, q)
, U = U (q) , L = L(q, q) U (q) .
= T (q, q) (3.1)
Sus ecuaciones del movimiento se pueden obtener con gran sencillez a partir del
principio de la mnima accion en su forma de Hamilton. Podemos enunciar este
principio de la siguiente manera
(1)
Principio de Hamilton: Cuando el sistema va desde la configuracion qk
(2)
en t = t1 hasta la qk en t = t2 , se cumple que la integral de acci
on S
Z t2
nada 2005
S= L(q, q)
dt (3.2)
t1
toma un valor estacionario.

Ello implica que se deben cumplir la ecuaciones diferenciales de Euler-
andez-Ra
Lagrange
d L L
= 0, k = 1, 2, . . . n , (3.3)
Antonio Fern
dt qk qk
que son por tanto las ecuaciones del movimiento del sistema. En este contexto,
se suelen llamar simplemente las ecuaciones de Lagrange.

Captulo 3. Formulacio
n lagrangiana de la electrodina
mica
sica I
cla
Ejemplo. Partcula en tres dimensiones sometida al ptential U (x, y, z). El

lagrangiano es
1
L = mv 2 U
2
y las ecuaciones de Lagrange
x = x U ,
m y = y U ,
m z = z U .
m
Prueba del principio de Hamilton. Definimos las variaciones de las coor-

denadas qk (t) como funciones con buen comportamiento que se anulan en t1 y
t2 , o sea que
q(t1 ) = q(t2 ) = 0 . (3.4)
De ese modo los conjuntos qk (t) + qk (t) son conjuntos de funciones que cumplen
(1)
todas ellas las condiciones inicial y final qk (t1 ) + qk (t1 ) = qk y qk (t2 ) + qk (t2 ) =
(2)
qk . Que la integral de accion tome un valor estacionario significa que, al variar
las coordenadas, se anule la parte de primer orden de la variacion de la integral.
La variacion de la integral de accion vale
Z t2 Z t2
L L
S = L(q, q)]
[L(q + q, q + q) dt = q + q dt , (3.5)
t1 t1 q q
salvo terminos de segundo orden y superiores en las variaciones (notese que por
simplicidad se han omitido los subndices en las coordenadas y velocidades. Hay
que sobreentender que esa expresion es una suma extendida a los valores k =
1, 2, , n). Tal como hemos definido la variacion, esta claro que la variacion y
la derivada respecto al tiempo conmutan, es decir
d
q = q . (3.6)
dt
Gracias a ello podemos integrar por partes el segundo termino del tercer miembro
de (3.5), con lo que
nada 2005
t2
t Z t2
L 2
Z
L d L
q dt = q q dt
t1 q q t1 t1 dt q
andez-Ra
anulandose el primer termino del segundo miembro por la condicion (3.4), de

modo que (3.5) toma la forma
Antonio Fern
Z t2 " n Z t2 #
d L L X d L L
S = q(t) dt = qk (t) dt
t1 dt q q k=1 t1
dt qk qk
(3.7)

3.2. La acci
on de una partcula libre en relatividad
La unica manera en que las integrales en (3.7) sean nulas para todas las varia-
ciones posibles es que se anulen los parentesis, lo que conduce a las ecuaciones de
Lagrange (3.3). Recprocamente, estas ecuaciones implican S = 0.
Momentos conjugados. A cada variable qk le corresponde un momento
conjugado pk definido as
L
pk = .
qk
A las variables cartesianas xk les corresponde el momento lineal pk = mvk , a la
rotacion alrededor de un eje, la componente sobre ese eje del momento angular,
etc.
Hamiltoniano. (o funcion hamiltoniana) Se define as
X
H= pk qk L .
k
Su derivada total respecto al tiempo vale

dH L
= ,
dt t
o sea que si L no depende explcitamente del tiempo el hamiltoniano es una con-
stante del movimiento. Eso ocurre al estudiar leyes que no dependan del tiempo.
Si la energa cinetica es la suma de una funcion cuadratica de las velocidades
T2 = ij 12 Aij qi qj , otra parte lineal T1 = k Bk qk y otra independiente de las
P P
velocidades T0 , el hamiltoniano vale
H = T2 T0 + U.
Cuando T = T2 , caso frecuente, H puede identificarse con la energa.
3.2. La acci
on de una partcula libre en relativi-
dad
nada 2005
Sea una partcula libre, por ejemplo un electron, que se mueve. Como plantear
su movimiento desde el punto de vista variacional? En primer lugar el integrando
de la accion debe ser un escalar, pues de otra forma la teora no sera covariante
andez-Ra
Lorentz ni, por tanto, relativista. Ademas debe ser tambien una forma diferencial
de primer orden. El u nico integrando que cumple esas condiciones es ds, siendo
Antonio Fern
una constante. Por tanto la accion debe ser

Z 2
S = ds , (3.8)
1

mica
sica I
cla
donde la integral se toma a lo largo de la trayectoria (o lnea de universo) de la

partcula en el espacio de Minkowski. Los lmites de la integral son dos puntos
de espacio-tiempo, o sea una posicion en el tiempo incial t1 y otra en el tiempo
final t2 . Se puede comprobar que debe ser positiva. Hasta ahora el elemento
diferencial que aparece en la integral de accion es la diferencial del tiempo, de
R2
modo que S = 1 Ldt. La ecuacion (3.8) toma la forma
Z t2 p
S= c 1 v 2 /c2 dt , (3.9)
t1
donde v es la velocidad. El lagrangiano es, pues,

p
L = c 1 v 2 /c2 . (3.10)
Para determinar la constante usaremos dos criterios: i) el lagrangiano L debe

tener dimensiones de energa; y ii) cada partcula esta caracterizada por su masa
m. Esto sugiere que podra ser = mc. Para comprobarlo, tomemos el caso de
pequena velocidad, cuando vale la teora newtoniana. Aproximando la raz hasta
terminos en primer orden en v 2 /c2 , resulta
p v 2
L = c 1 v 2 /c2 c + . (3.11)
2c
Comparando con la expresion newtoniana L = mv 2 /2 se comprueba que el valor
anterior de es el correcto. Quedan pues la accion y el lagrangiano en la forma
Z 2 Z 2 p
2
S = mc ds = mc d , L = mc2 1 v 2 /c2 . (3.12)
1 1
Energa y momento lineal. La definicion del momento lineal p = (p1 , p2 , p3 ),

el conjugado a las coordenadas cartesianas, es
L mv
pk = , o sea p= p . (3.13)
x k 1 v 2 /c2
nada 2005
En cuanto a la energa, la tomaremos igual al hamiltoniano, es decir

3
X mc2
E= pk qk L , o sea E=p . (3.14)
andez-Ra
1 1 v 2 /c2
Como vemos se obtienen as las conocidas expresiones relativistas.

Antonio Fern
Notese que a peque

nas velocidades
1
E ' mc2 + mv 2 ,
2

3.2. La acci
on de una partcula libre en relatividad
y que, a cualquier velocidad,
E2
= p2 + m 2 c2 .
c2
El hamiltoniano puede escribirse as
p
H=c p2 + m2 c2 .
Tambien
v
p=E .
c2
A primera vista parece que la idea de una partcula con masa nula m = 0 no tiene
sentido. Sin embargo s lo tiene, si suponemos que esa partcula siempre tiene la
velocidad c respecto a todos los observadores inerciales, como se deduce por otra
parte de las transformaciones relativistas de las velocidades. En ese caso
E = pc.
3.2.1. Formulaci
on cuadridimensional.
El principio de mnima accion es

Z 2
2
S = mc d = 0 ,
1
donde es el tiempo propio. Teniendo en cuenta que d = (dx dx )1/2 /c, que
dx = dx y que (dx dx )1/2 = dx dh /(dx dx )1/2 , es decir que la variacion
y el diferencial conmutan, esa variacion vale
Z 2 Z 2
dx dx
S = m = m u dx .
1 d 1
Integrando por partes

nada 2005
Z 2
du
S = m u x |21 +m x d .
1 d
andez-Ra
El primer termino del segundo miembro vale cero porque la variaciones se anulan
en los tiempos extremos. La condicion S = 0 implica pues que
Antonio Fern
du /d = 0
, es decir, la cuadrivelocidad es constante, como corresponde a una partcula libre.

mica
sica I
cla
Tal como se hace en mecanica teorica newtonana, podemos considerar a la

accion como una onda, haciendo fijo el lmite inferior 1 y variando el superior 2,
o sea considerando las coordenadas de este u ltimo como variables. De ese modo

tenemos una funcion S = S(x ). Si variamos solo estas coordenadas del punto
final queda
S = m u x ,
porque la integral en la expresion de S, ecuacion anterior, se anula y solo queda
el primer termino en el lmite superior. El cuadrivector
S
p =
x
es el cuadrivector momento. De hecho en mecanica clasica las derivadas (x S, y S, z S)
son las tres componentes del momento lineal p mientras que t S es la energa
de la partcula. Por tanto las componentes covariantes y contravariantes del cuad-
rimomento son
E E
p = ( , p) , p = ( , p) ,
c c
por lo que
p = m u
lo que coincide con las definiciones anteriores.
La consecuencia de estos argumentos en que la energa sobre c y el momento
lineal forman un cuadrivector, llamado de energa-momento. En una transforma-
cion de Lorents se cambia, pues, del modo
0 px vE/c2
px = p p0y = py
2
1 v /c2
E vpx
p0z = pz , E = p .
1 v 2 /c2
Debido a la identidad u u = 1 se cumple que
p p = m2 c2 ,
que es otra forma de la relacion relativista entre la energa y el momento.
nada 2005
3.3. Cuadripotencial del campo electromagn

etico
andez-Ra
3.3.1. Interacci
on a distancia e interacci
on por campos
interpuestos.
Antonio Fern
En las presentaciones elementales de la fsica se suele considerar que las fuerzas

entre cuerpos o partculas se efect
uan de manera instantanea. Por ejemplo, al

3.3. Cuadripotencial del campo electromagnetico
estudiar el Sistema Solar de modo newtoniano no se tienen en cuenta la posibilidad

de que la accion gravitatoria tarde un tiempo en ir de un cuerpo a otro. Lo
mismo ocurre en el caso del electromagnetismo elemental. Esto pareca evidente
al principio, debido a que esas acciones se transmiten de hecho con una velocidad
muy alta, la de la luz, por lo que la idea de accion a distancia da muy buenos
resultados si las velocidades implicadas no son relativistas. Pero un tratamiento
mas fino exige incluir ese retraso de la accion. Ello se hace suponiendo que hay
un campo intermedio que se propaga entre dos partculas que interact uan. En
este curso trataremos esta cuestion en el caso de las cargas a alta velocidad o
aceleradas.
Consideraremos ahora el movimiento de una carga puntual en un campo elec-

tromagnetico exterior, es decir que no cambia a causa de la partcula. En ese caso
el lagrangiano debe tener dos terminos: uno el mismo que antes, para la partcula
libre, y otro que represente a la interaccion. La experiencia dice que este u
ltimo
R2
es de la forma e 1 A dx , siendo e la carga de la partcula y A = A (r, t) un
cuadripotencial que representa al campo electromagnetico. Veremos que resulta
ser igual a
A = (/c, A) .
Notese que /c y A tienen las mismas dimensiones, mas concretamente
[A ] = Fuerza/Intensidad de corriente, o sea [A ] = kgms2 A1 = N/A .
Tomaremos pues la siguiente expresion para la accion de una partcula con carga
e Z 2
mc2 d eA dx .

S= (3.15)
1
Esa integral se puede escribir como

Z 2
m c2 d e dt + e A dr

S =
1
Z 2 r !
2 v2
mc 1 2 e + eA v dt .
nada 2005
= (3.16)
1 c
El lagrangiano es, por tanto,

andez-Ra
r
2 v2
L = mc 1 e + eA v (3.17)
c2
Antonio Fern
Momento lineal. Ese momento sera px = L/vx , por lo que

mv
P= p + eA = p + eA . (3.18)
1 v 2 /c2

mica
sica I
cla
P es el momento canonico y p el momento mec

anico. El Hamiltoniano vale
X L
H = x k L
k
x k
mc2
= p + e (3.19)
1 v 2 /c2
El hamiltoniano puede expresarse, y es importante hacerlo as, en terminos del
momento canonico de la partcula. El calculo es simple y sale
p
H = m2 c4 + c2 (P eA)2 + e . (3.20)
na velocidad, L = mv 2 /2 e + ev A, con lo que

En el caso de peque
1
H= (P eA)2 + e . (3.21)
2m
3.4. Ecuaciones del movimiento de una carga en

un campo electromagnetico
Entre una carga y un campo electromagnetico hay acciones mutuas (interac-
ciones), de modo que el campo cambia el movimiento de la partcula (mediante
fuerzas) y, a su vez, el movimiento de la partcula modifica el campo (emitiendo
radiacion, por ejemplo). Debe ser as si la energa se conserva. Conviene empezar
por lo que se llama una partcula de prueba, cuya carga y energa son tan peque
nas
que su accion sobre el campo se puede despreciar. Un ejemplo es el de un elec-
tron en un campo macroscopico. Para estudiar el problema en esa aproximacion,
considerarremos variaciones de las coordenadas de la partcula en el lagrangiano
en (3.16), pero no del vector A (r, t).
Las ecuaciones de Lagrange son

d L L
nada 2005
= , (3.22)
dt vk xk
con el lagrangiano L dado por (3.17). Notese que el segundo miembro es igual a
andez-Ra
L = e(A v) e .
El gradiente del producto escalar de dos vectores arbitrarios esta dado por la
Antonio Fern
formula
(a b) = (a )b + (b )a + b ( a) + a ( b) .

3.4. Ecuaciones del movimiento de una carga en un campo electromagnetico
Aplicando esta formula y teniendo en cuenta que v no depende de r, resulta
L = e (v )A + e v ( A) e .
Como en las ecuaciones de Lagrange L/v = P = p + eA, resulta que esas

ecuaciones tienen la forma
dp A
= e e + ev ( A) . (3.23)
dt t
Esta ecuacion tiene un aire muy conocido. Definiendo los vectores E, B como
E = t A , B = A, (3.24)
las ecuaciones (3.22) toman la forma

dp
= eE + ev B, (3.25)
dt
es decir, expresan la ley de Lorentz.
Cosas sueltas. En el caso de peque nas velocidades la ecuacion (3.25) toman
la forma
dv
m = eE + ev B. (3.26)
dt
La derivada temporal de la energa cinetica vale
!
dT d mc2 dp
= p =v = eE v. (3.27)
dt dt 1 v 2 /c2 dt
O sea que el campo magnetico no efect

ua trabajo sobre la partcula.
Las ecuaciones del movimiento en mecanica newtoniana son invariantes bajo
la inversion del tiempo. Esto significa que si un cierto movimiento es posible,
tambien lo es el movimiento que se obtiene cambiando el signo de todas las
velocidades (por ejemplo sera posible un sistema solar como el nuestro en que los
planetas se movieran con exactamente las velocidades opuestas a las que ahora
tienen). De hecho esas ecuaciones son reversibles temporalmente. En el caso que
nos ocupa, eso sigue siendo cierto con tal de que cambiemos ademas el signo del
nada 2005
campo magnetico. De modo mas preciso, las ecuaciones (3.25) son invariantes
bajo los cambio
t t , E E , B B , (3.28)
andez-Ra
lo que corresponde a
, A A . (3.29)
Antonio Fern
O sea, si un movimiento de cargas en un campo electromagnetico es posible, el

movimiento inverso en el tiempo es tambien posible si se cambia el signo del
campo magnetico.

mica
sica I
cla
3.5. Invariancia gauge

Un problema que se plantea es decidir auales son mas importantes, los poten-
ciales (, A) o los campos (E, B). A primera vista parecen mas fundamentales
los primeros, pues los segundos se deducen unvocamente de ellos y, ademas,
solo tiene cuatro grados de libertad en cada punto, por seis de los campos. Sin
embargo, lo que caracteriza al campo electromagnetico desde el punto de vista
experimental es su accion sobre las cargas y eso se lleva a cabo mediante los
campos electrico y magnetico. Un problema interesante en este caso es saber si
los potenciales estan unvocamente determinados por los campos. La respuesta
es no.
En particular, si se suman a los potenciales las derivadas de una funcion
arbitraria del espacio-tiempo, de modo que
f
A A0 = A , (3.30)
x
los campos E y B no cambian, como se comprueba facilmente. Esta claro que tal
cambio equivale a a nadir al integrando de la integral de accion una diferencial
exacta pues
f
e dx = d(ef ) ,
x
por lo que la accion cambia en la cantidad e[f (2) f (1)] que vale cero pues las
variaciones en los dos extremos del intervalo son nulas. O sea que la accion per-
manece invariante y nada cambia en el proceso fsico. Ademas es facil comprobar
que el cambio (3.30) equivale a
1
0 = t f, A A0 = A + f , (3.31)
c
de modo que no cambian los vectores E y B.
Esta es la famosa invariancia de gauge bajo la transformacion de gauge (3.30).
Un caso particular es anadir una constante al potencial escalar y un vector con-
stante al potencial vectorial, lo que se consigue tomando f = ak xk .
P
nada 2005
3.6. El tensor electromagn

etico
andez-Ra
Consideremos de nuevo el principio variacional para el movimiento de una

Antonio Fern
partcula en un campo electromagnetico exterior

Z 2
m c2 d eA dx = 0 .

S = (3.32)
1

3.6. El tensor electromagnetico
Variaremos ahora no solo la trayectoria de la partcula sino tambien el potencial

p
A . Teniendo en cuenta que d = dx dx /c, se puede escribir la ecuacion
anterior en la forma
Z 2
dx dx

S = m + eA dx + eA dx = 0 .
1 d
A continuacion integramos los dos primeros terminos por partes, introduciendo

la cuadrivelocidad u = dx /d , con lo que llegamos a
Z 2
S = [(m u + eA )x ]21 + (m du x + e x dA eA dx ) = 0 . (3.33)
1
El primer termino del segundo miembro es clramente nulo, ya que las variaciones
x se anulan en los extremos del intervalo. Aplicando al resto las igualdades
A A
A = x dA = dx ,
x x
resulta Z 2
A A
m du x + e x dx e

dx x = 0.
1 x x
Sustituyendo du = (du /d )d en el primer termino y dx = u d en el segundo
y el tercero, intercambiando ademas los ndices mudos y en el el tercero, se
obtiene Z
du A A
m e u x d = 0 .
d x x
Como las funciones x son arbitrarias, se debe cumplir

du A A
m =e u . (3.34)
d x x
Conviene introducir el tensor electromagnetico definido como
A A
nada 2005
F =
, (3.35)
x x
o tambien F = A A , donde la F es la inicial de Faraday, el fsico que
introdujo la idea de campo. La ecuacion del movimiento toma la forma
andez-Ra
du
m = eF u . (3.36)
d
Antonio Fern
Esa es la expresion de las ecuaciones del movimiento de una carga puntual en un

campo EM en formalismo cuadridimensional. Sustituyendo A = (, A), resulta

mica
sica I
cla
que el tensor electromagnetico vale (los ndices de filas y columnas son (0, 1, 2, 3))

0 Ex /c Ey /c Ez /c 0 Ex /c Ey /c Ez /c

E /c
x 0 Bz By E /c
x 0 Bz By
F = , F = .

Ey /c Bz 0 Bx Ey /c Bz 0 Bx
Ez /c By Bx 0 Ez /c By Bx 0
(3.37)
En la notacion mas breve, usada en el captulo anterior
F = (E/c, B) , F = (E/c, B) .
Las dimensiones de F son
[F ] = J/A = N m/A .
Es importante comprobar que las componentes de los trivectores electrico y

magnetico son las componentes de un tensor antisimetrico de rango dos, el tensor
electromagnetico. De esta afirmacion deduciremos como cambian E y B en una
transformacion de Lorentz.
El sentido de las ecuaciones (3.36) se entiende facilmente, al dar valores al
ndice en (3.36). Las tres componentes espaciales = 1, 2, 3 son, en otra forma,
las ecuaciones (3.25); la componente temporal, con = 0, da la ecuacion del
trabajo (3.27). Alguien podra pensar que no tiene mucho interes poner esas
ecuaciones en formalismo de cuatro dimensiones si, al fin y al cabo, son las mismas.
Pero notese que en esta forma es evidente que se trata de una teora relativista
pues se cumple evidentemente el principio de covariancia: los dos miembros se
transforman de igual modo, los dos son cuadrivectores.
Lo mismo que hicimos antes, consideremos a la accion como una onda en
el espacio-tiempo. Para hacerlo fijemos el punto inicial, usemos la trayectoria
correcta y variemos solamente el punto final. Se tiene evidentemente
S = (m u + eA ) x . (3.38)
nada 2005
Por tanto
S
= m u + eA = p + eA .
x
Como el primer miembro de esta ecuacion es el cuadrivector P de los momentos
andez-Ra
conjugados de la partcula, resulta que este vale

Ecin + e
P = , p + eA . (3.39)
Antonio Fern
c
Vemos que la componente cero de ese cuadrivector es la energa cinetica mas la
potencial, como era de esperar.

3.6. El tensor electromagnetico
3.6.1. Transformaciones de Lorentz del campo

Un vector y un tensor de segundo rango se transforman as
R 0 = a R , T 0 = a a T . (3.40)
Teniendo en cuenta la expresion conocida de las transformaciones de Lorentz,

x vt
x0 = p , x0 1 = (x1 vx0 /c)
1 v 2 /c2
y0 = y, z0 = z , o sea x0 2 = x2 , x0 3 = x 3 (3.41)
t (v/c2 )x
t0 = p , x0 0 = (x0 vx1 /c),
1 v 2 /c2
resulta que la matriz (a ) es igual a

1 v/c2
0 0
1v 2 /c2
1v /c2
v/c1
1v2 /c2 1v2 /c2 0 0

a = . (3.42)

0 0 1 0

0 0 0 1
Los potenciales se transforman como un vector, o sea
vAx Ax v/c2
0 = p A0x = p A0y = Ay , A0z = Az , (3.43)
1 v 2 /c2 1 v 2 /c2
y los campos electrico y magnetico cambian como componentes de un tensor de
rango dos en una transformacion de Lorentz a lo largo del eje x. Mas concreta-
mente as
Ey vBz Ez + vBy
Ex0 = Ex Ey0 = p , Ez0 = p (3.44)
2
1 v /c 2 1 v 2 /c2
By + vEz /c2 Bz vEy /c2
Bx0 = Bx By0 = p , Bz0 = p (3.45)
nada 2005
1 v 2 /c2 1 v 2 /c2
Prueba.
andez-Ra
En primer lugar veamos que las componentes F 01 y F 23 no cambian, o sea

que Ex , Bx son las mismas en los dos sistemas.
Antonio Fern
F 0 01 = Ex0 /c = a0 a1 F = (a01 a10 a00 a11 )F 01 = 2 ( 2 1)Ex /c = Ex /c ,
donde se ha usado (3.42). Analogamente para F 23 .

mica
sica I
cla
Por su parte las componentes (F 02 , F 03 ) transforman como x0 y las (F 12 , F 13 ),

como x1 . Tambien se puede aplicar (3.40), por ejemplo
Ey0 /c = F 0 02 = a0 a2 F = (a00 a22 + a01 a22 )F 02 = (Ey /c + Bz ) ,
de lo que resulta la ecuacion (3.44), usando (3.42), y analogamente con las demas.
na 1,
En el caso de que la velocidad entre los dos sistemas sea peque
tomando hasta los terminos en , resulta
Ex0 = Ex Ey0 = Ey vBz , Ez0 = Ez + vBy

Bx0 = Bx By0 = By + vEz /c2 , Bz0 = Bz vEy /c2 ,
que en forma vectorial se escriben

1
E0 = E B V , B0 = B + EV. (3.46)
c2
Si en el sistema S no hay campo magnetico, B = 0, en el sistema S 0 ese campo
valdra
1
B0 = 2 E V . (3.47)
c
Notese que en S 0 los campos electrico y magnetico son perpendiculares.
3.6.2. Invariantes del campo

A partir del campo electromagnetico se pueden formar cantidades que no
varan bajo una transformacion de Lorentz. Se llaman invariantes Lorentz. Pense-
mos en el tensor de rango cuatro T = F F . Podemos hacer dos cosas con
el. (i) contraer sus ndices 1o y 3o y 2o y 4o; (ii) contraerlo con el tensor comple-
tamente antisimetrico e . Resultan as dos cantidades invariantes
F F , e F F , (3.48)
nada 2005
el primero es un escalar, es decir un tensor de rango cero; el segundo es un

pseudoscalar.
Tomando las expresiones anteriores del tensor electromagnetico, es facil cal-
andez-Ra
cular los valores de estos invariantes que son, respectivamente,
F F = 2 (B 2 E 2 /c2 ) , e F F = 4 E B/c . (3.49)

Antonio Fern
Que estas cantidades sean invariantes significa que su valor es el mismo en

todos los sistemas inerciales. En particular si se anulan en un sistema, se anulan

3.7. Partcula cargada en un campo electrico uniforme y constante
siempre. Esto implica que si E y B son perpendiculares en un punto del espacio-

tiempo de un sistema inercial, lo son tambien en el punto correspondiente de
todos los demas. Si tienen el mismo modulo, ocurre lo mismo. Igual sucede si
E/c > B, o si E/c < B.
Una u ltima observacion es conveniente para lo que se tratara en el proximo
captulo. Teniendo en cuenta que c2 = (0 0 )1 , y recordando que las densidades
de energa electrica y magnetica son Ue = 0 E 2 /2 y Um = B 2 /20 , el primer
invariante puede escribirse en la forma
2
0 E 2

2 2 2 B
F F = 2 (B E /c ) = 40 = 40 (Um Ue ) , (3.50)
20 2
y por tanto su integral espacial es proporcional a la diferencia entre las energas
asociadas a los campos magnetico y electrico.
3.7. Partcula cargada en un campo el

ectrico
uniforme y constante
En lo sucesivo, usaremos la siguente notacion: un campo es uniforme si no
depende de la posicion y es constante si no depende del tiempo. Si el campo
electrico es constante, se expresa como E = , donde = Er con la posible
adicion de una constante. Notese que esa adicion es la u
nica transformacion de
gauge permitida si E es constante y B = 0.
Como E es constante, el lagrangiano es independiente del tiempo, por lo que
la energa se conserva. Su valor es
mc2
E=p + q ,
1 (v 2 /c2 )
siendo q el valor de la carga.
Supongamos que, en el momento inicial, la carga tiene un momento lineal
nada 2005
p0 . Su movimiento estara confinado al plano formado por los vectores E y p0 .

Tomemos el caso en que sean perpendiculares, definiendo las coordenadas (x, y)
de modo que E = (E, 0) y p0 = (0, p0 ). La ecuaciones del movimiento son (el
andez-Ra
sobrepunto indica derivada respecto a t))
px = qE, py = 0 ,
Antonio Fern
la trayectoria,
px = qEt , py = p 0 .

mica
sica I
cla
y la energa cinetica de la carga,

q q
Ecin = m c + c p0 + (cqET t) = E02 + (cqEt)2
2 4 2 2 2
donde E0 es la energa cinetica inicial. La velocidad verifica
pc2
v= ,
Ecin
por lo que
dx px c2 c2 qEt
= =p 2 (3.51)
dt Ecin E0 + (cqEt)2
dy py c2 p0 c2
= =p 2 (3.52)
dt Ecin E0 + (cqEt)2
Integrando estas ecuaciones, se tiene

1 p0 c cqEt
q
x= E02 + (cqEt)2 , y= arcsinh . (3.53)
qE qE E0
Por simplicidad, se han tomado iguales a cero las constantes de integracion. Elim-
inando el tiempo entre las dos ecuaciones anteriores (recordando que cosh2 u
sinh2 u = 1), resulta como ecuacion de la trayectoria
E0 qEy
x= cosh , (3.54)
qE p0 c
curva conocida como catenaria. En el caso no relativista, si v c, se puede

aproximar p0 = mv0 y E0 = mc2 , con lo que la ecuacion de la trayectoria resulta
ser
qE 2
x= y + const , (3.55)
2mv02
es decir una parabola, como en el tiro parabolico, naturalmente.
nada 2005
3.8. Partcula cargada en un campo magn

etico
andez-Ra
uniforme y constante
Antonio Fern
Tomamos el campo B en la direccion del eje z. La ecuacion del movimiento

toma la forma
p = q v B (3.56)

3.8. Partcula cargada en un campo magnetico uniforme y constante
Como el sistema es independiente del tiempo, se conserva la energa y, como el

trimomento vale p = Ev/c2 , resulta
E
v = q v B (3.57)
c2
Eso se puede escribir en la forma
v x = vy , v y = vx , v z = 0, (3.58)
donde la frecuencia , conocida como frecuencia del ciclotr

on, vale
qc2 B
= . (3.59)
E
Combinando las dos ecuaciones (3.58) resulta
v x + iv y = i(vx + ivy ) ,
cuya solucion es
vx + ivy = aeit ,
siendo a una cantidad compleja que se puede escribir como a = v0t ei . Resulta
entonces que la trayectoria de la carga verifica
vx = v0t cos(t + ) , vy = v0t sen(t + ) . (3.60)
La constante v0t es la componente normal al campo magnetico de la velocidad en

el momento inicial. Integrando de nuevo
x = x0 + r sen(t + ) , y = y0 + r cos(t + ) (3.61)
siendo
v0t v0t E
r= = 2 . (3.62)
qc B
La tercera ecuacion tiene la solcuion
nada 2005
z = z0 + v0z t . (3.63)
La trayectoria es una helice cuyo eje pasa por (x0 , y0 ), es paralelo a B y cuyo
andez-Ra
radio es r. Su paso de rosca es 2vz /.

En el caso no relativista, la frecuencia vale
Antonio Fern
qB
= . (3.64)
m

mica
sica I
cla
3.9. Partcula cargada en campos el ectrico y

magn etico uniformes y constantes
Consideramos ahora el movimiento de una carga puntual q de masa m, someti-
da a campos electrico y magnetico constantes y uniformes. Tomaremos solo el caso
no relativista en que la velocidad de la carga es peque na, v c y el momento
lineal se puede aproximar como p = mv. Elegimos el eje z seg un la direccion de
B, estando el campo E en el plano yz. Las ecuaciones del movimiento son
mv = q(E + v B
o sea
m
x = q yB
, y = qEy q xB
m , m
z = qEz . (3.65)
La solucion de la tercera es
qEz 2
z= t + v0z t + z0 . (3.66)
2m
Sumando la primera (3.65) con la segunda multiplicada por i, resulta
d qEy
(x + iy)
+ i(x + iy)
=i , (3.67)
dt m
donde = qB/m es el lmite no relativista de la frecuencia del ciclotron. La
solucion general de (3.67) es la general de la homognenea mas una particular de
la completa. La primera es aeit con a una constante de integracion compleja,
la segunda puede ser qEy /m = Ey /B, es decir
Ey
= aeit +
(x + iy) . (3.68)
B
La constante se puede escribir como a = bei , con b real. Eligiendo adecuadamente
el origen del tiempo (mas concretamente, redefiniendo el tiempo de t a tnuevo =
nada 2005
t /, se puede eliminar la fase , o sea tomar a real. Resulta entonces
Ey
x = a cos t + , y = a sen t . (3.69)
B
andez-Ra
Las constantes de integracion se han elegido de tal modo que, en el instante inicial,
la velocidad de la carga es paralela al eje y. Las dos componentes de la velocidad
Antonio Fern
son periodicas, siendo sus valores medios en el tiempo
Ey
hxi
= , hyi
= 0.
B

3.9. Partcula cargada en campos electrico y magnetico uniformes y constantes
Figura 3.1: Proyeccion en el plano xy de la trayectoria de una carga en dos campos

E y B cruzados, en los casos |a| > Ey /B, |a| < Ey /B y |a| = Ey /B
Esto significa que aparece una velocidad en la direccion perpendicular al plano

que contiene los vectores E y B, calificada como velocidad de deriva (drift velocity
en ingles). Su valor es
EB
vderiva = , (3.70)
B2
y se superpone a una velocidad periodica con frecuencia . Hemos supuesto que
el tratamiento no relativista da una buena aproximacion, para lo cual se necesita
que
Ey
1,
B
siendo los valores de Ey y B totalmente arbitrarios mientras verifiquen la relacion
nada 2005
anterior. Integrando ahora las ecuaciones (3.69), con las condiciones iniciales x =
y = 0 en t = 0, resulta
andez-Ra
a Ey a
x= sen t + t, y= (cos t 1) . (3.71)
B
Antonio Fern
Si a = Ey /B, la solucion es
Ey Ey
x= (t sen t) y= (1 cos t) , (3.72)
B B

mica
sica I
cla
curva conocida como cicloide. Los otros casos corresponden a las llamadas epici-
cloide e hipocicloide.
nada 2005
andez-Ra
Antonio Fern

3.10. Ejercicios
3.10. Ejercicios
3.1 A partir de la expresion tridimensional del lagrangiano de una partcu-
la cargada en un campo electrico, deducir el hamiltoniano siguiendo el mismo
metodo que el dinamica clasica.
3.2 Estudiar si la densidad legrangiana del campo electromagnetico es invari-
ante bajo transformaciones de gauge y discutir las consecuencias de que lo sea o
no.
3.3 Estudiar la trayectoria de una carga puntual en un campo electro-
magnetico constante y uniforme cuyos vectores electrico E y magnetico B son
paralelos.
3.4 Existe la posibilidad de que un campo electromagnetico sea puramente
electrico en un sistema inercial y puramente magnetico en otro? Que condicion
debe cumplirse en un sistema S para que E = 0 en otro sistema S 0 .
3.5 En un cierto sistema de referencia S se tiene un campo electromagnetico
uniforme E, B. Se busca un sistema S 0 en el que E0 k B0 . Tendra siempre
solucion este problema? Si la tiene, es unica? En tal caso, hallar la velocidad v
0 0 0
de S respecto a S y determinar E y B .
3.6 En una onda electromagnetica progresiva en el vaco, el campo electrico
tiene la expresion E = E0 ei(kxt) uy .
a) Hay algun otro sistema de referencia en el que el campo sea puramente
electrico o puramente magnetico?
b) Encontrar alguna razon por la que la fase deba ser invariante.
3.7 Una densidad lagrangiana empleada algunas veces para el campo electro-
magnetico es
1 1
L= A A + j A .
2c0 c
Compararla con la estandar, usada en este curso, examinando bajo que condi-
nada 2005
ciones conduce a las ecuaciones de Maxwell.

3.8 Por un conductor cilndrico infinitamente largo y de radio a fluye una
corriente I. De su superfice se desprende un electron cuya velocidad inicial v0 es
andez-Ra
paralela al conductor. Estudiar el movimiento del electron en el campo magnetico

del alambre y hallar la distancia maxima a la que se alejara de este.
Antonio Fern
3.9 Una partcula de carga e y masa m se mueve en un campo electrostatico

de potemcial = k(x2 y 2 ), con k > 0. La posicion y la velocidad iniciales son
r0 = (x0 , y0 , z0 ) y v0 = (0, 0, v0 ).

mica
sica I
cla
a) Escribir las ecuaciones relativistas del movimiento.

b) Determinar la trayectoria en la aproximacion no relativista.
3.10 Un cierto selector de velocidades consiste en dos placas cilndricas muy
proximas, entre las que se aplica una diferencia de potencial constante V , con el
objeto de que las partculas cargadas describan una trayectoria curvada, de modo
que solo salgan del selector las que han entrado con la velocidad v0 . Como la
distancia d entre las placas es muy peque na, el campo electrico puede suponerse
uniforme en modulo.
a) Escribir las ecuaciones relativistas del movimiento para una de las cargas
incidentes con velocidad v0 .
b) Determinar la relacion entre v0 y la diferencia de potencial aplicada V para
que salga del selector.
nada 2005
andez-Ra
Antonio Fern

Curso Electrodinamica Clásica (Revision de Las Ec. de Maxwell - Relatividad Especial - ) Profesor Rañada 2005 66p

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Curso Electrodinamica Clásica (Revision de Las Ec. de Maxwell - Relatividad Especial - ) Profesor Rañada 2005 66p

Cargado por

Copyright:

Formatos disponibles

Universidad Complutense

Prof. Antonio Fern

L. D. Landau and E. M. Lifshitz, Teora cl asica de campos (Reverte,

J. D. Jackson, Classical Electrodynamics, 3rd edition (John Wiley, New

W. K. H. Panofsky and M. Phillips, Classical Electricity and Magnetism

Bo Thide, Classical electrodynamics,

A. O: Barut, Electrodynamics and Classical Theory of Fields and Particles

F. Rohrlich, Classical Chraged Particles (Addison-Wesley, Reading, Massa-

02 notas EDC (v. 15/marzo/2005)

1. Recordatorio de las ecuaciones de Maxwell

Ondas planas Ecuacion de ondas. Ondas planas. Efecto Doppler. Repre-

notas EDC (v. 15/marzo/2005) 03

04 notas EDC (v. 15/marzo/2005)

1.1. Las ecuaciones de Maxwell

En un medio material, estas ecuaciones se escriben a menudo en la forma

notas EDC (v. 15/marzo/2005) 11

la permeabilidad del medio, que representan fenomenologicamente el efecto de las

y como densidad de corriente

1.2. Energa electromagn

12 notas EDC (v. 15/marzo/2005)

son, respectivamente, la energa potencial electrostatica del sistema de cargas

Veremos ahora que ocurre en las situaciones dinamicas. Tomemos la diferencia

Esta ecuacion integral es muy importante, pues se trata de la conservacion de

podemos escribir (1.16) en la forma

donde u es la suma de las densidades de energa electrica y magnetica

notas EDC (v. 15/marzo/2005) 13

La ecuacion (1.18) es el teorema de Poynting en forma diferencial. Su inter-

1.3. Los potenciales electromagn

1.4. Condiciones de frontera

tromagneticas son diferentes. En su superficie hay (o se inducen) una densidad

(D2 D1 ) n = , (E2 E1 ) n = 0 , (1.21)

14 notas EDC (v. 15/marzo/2005)

Se pueden enunciar as: Las componentes normal de B y tangencial de E son

Las condiciones de los potenciales son

La primera condicion para puede escribirse en la forma

1.5. Transformacion de los campos electromagn eticos

se admita hasta entonces, siguiendo la tradicion de la filosofa aristotelica que

notas EDC (v. 15/marzo/2005) 15

iii) la equivalencia entre la derecha y la izquierda se conoce en fsica como

16 notas EDC (v. 15/marzo/2005)

y se expresa mediante unas ecuaciones diferenciales del tipo

y les aplica la transformacion matematica que pasa al sistema de referecnia de

Para que (x0 )2 = (x)2 se debe cumplir

Pues bien, todo conjunto de tres cantidades que se transforman en una

Si (xi ) es un escalar y Vk (xi ) es un vector, se tiene

notas EDC (v. 15/marzo/2005) 17

donde el smbolo ijk representa el tensor de Levi-Civita, que es de rango tres y

18 notas EDC (v. 15/marzo/2005)

es un tensor invariante, pues

O sea que un producto vectorial es realmente de un pseudovector. Esto tiene

los vectores bajo una reflexion.

notas EDC (v. 15/marzo/2005) 19

y es igual al producto de la paridad por una rotacion de angulo en el plano. Por

110 notas EDC (v. 15/marzo/2005)

Tabla 1.1 Propiedades de transformacion de varias magnitudes bajo

notas EDC (v. 15/marzo/2005) 111

1.2 Si existiesen los monopolos magneticos, uno de carga qm situado en el

1.3 Supongamos que la relacion constitutiva de un material que expresa el

1.4 Si en un conductor por el que fluye una corriente debida a un campo

donde 0 es la resistividad en ausencia del campo magnetico y R, 1 , 2 son ciertos

coeficientes (R se conoce como coeficiente de Hall o coeficiente Hall).

las llamadas transformaciones de dualidad

E E0 = E cos + cB sen , cB cB0 = E sen + cB cos .

donde el smbolo ijk representa el tensor de Levi-Civita, que es de rango tres y