Ed 2 R 04

Apuntes de Electrodinmica Clsica.
Campo Electromagntico y Relatividad
Dr. J. Fausto Oria, Profesor Titular de Electromagnetismo
********************************************************************************
2 Edicin
Editor: Manolo Sobrino

Indice:
I. Formulacin Covariante Lorentz del Campo Electromagntico

1. Los sistemas inerciales y el espacio-tiempo de la Relatividad Especial................................... I 1
2. Objetos geomtricos en m4. Expresin en coordenadas Lorentz.............................................. I 14
3. Formulacin covariante Lorentz de las ecuaciones de Maxwell.............................................. I 33
4. El tensor energa-momento y el tensor momento angular. Leyes de conservacin.................. I 43
5. Transformaciones gauge........................................................................................................... I 53
* Las mtricas de la relatividad especial...................................................................................... I 54
II. Formulacin Lagrangiana del Campo Electromagntico

1. Movimiento de una partcula cargada en un campo electromagntico..................................... II 1
2. Formulacin covariante del movimiento de partculas cargadas.............................................. II 2
3. Paso del sistema discreto al continuo. Densidad Lagrangiana.................................................. II 9
4. Principio variacional en m4. Ecuaciones de Euler-Lagrange.................................................... II 14
5. Lagrangiana del campo electromagntico. Tensor energa-momento....................................... II 20
III. Radiacin de Cargas en Movimiento

1. Los potenciales de Linard-Wiechert....................................................................................... III 1
2. Radiacin de una carga acelerada. Invariante de radiacin...................................................... III 9
3. Funciones de Green covariantes............................................................................................... III 18
4. Expresin covariante de los campos......................................................................................... III 26
Bibliografa
Apndices
AI: Representacin de la potencia radiada por una carga acelerada en un sincrotrn y en un linac
AII: "Formulacin geomtrica del campo electromagntico"
AIII: Lecturas aconsejadas
******************************************************************************************************
El Dr. J. Fausto Oria provey sus apuntes de clase y gentilmente se prest a corregir las versiones
preliminares, reelaborando varios apartados y proporcionando material adicional para estos apuntes, que
se ajustan as a los contenidos de la asignatura Electrodinmica Clsica de la Licenciatura en Fsica de
la Universitat de Valncia. Manolo Sobrino prepar las distintas ediciones, revis el texto y complet la
transcripcin. Luis Aloy transcribi la primera versin de la parte III y Roberto Prez secciones de la
primera versin preliminar.
Mientras sea posible mantendremos en: http://mural.uv.es/masoro/edclas/errata/index.html una

lista de erratas. Las contribuciones son bienvenidas, para cualquier comentario, visitad la pgina de
soporte: http://mural.uv.es/masoro/edclas/index.html, donde se puede obtener la versin ms reciente.
Valencia, septiembre de 2003
******************************************************************************************************
"Estamos obligados a admitir que es solamente en cuatro dimensiones donde las relaciones que hemos toma-
do en consideracin aqu [las ecuaciones fundamentales para los fenmenos electromagnticos de los cuerpos en
movimiento] revelan su ser interno con completa sencillez, y que en un espacio tridimensional impuesto sobre
nosotros a priori ensean solamente una proyeccin muy complicada."
Hermann Minkowski (1909)
Copyright 2003 J. Fausto Oria and Manuel Angel Sobrino. Valencia, Spain. All rights reserved.
Redistribution without modification allowed at no other cost than ordinary copying fee. FOTOCOPIA AUTORIZADA.
Electrodinmica Clsica, Campo Electromagntico y Relatividad
CAMPO ELECTROMAGNTICO Y RELATIVIDAD
Formulacin covariante Lorentz del campo electromagntico
1. Los sistemas inerciales y el espacio-tiempo de la Relatividad Especial:
Medida de intervalos espaciales y sincronizacin de relojes en S, (definicin de t):
Consideremos observadores inerciales de la clase O: {O1, O2, ... On, ...}, en un siste-
ma inercial S.
Y O1
On
S
O X
Z O2
Consideremos inicialmente que los observadores de la clase O estn en reposo entre

s. Lo pueden comprobar, por ejemplo, mandandose pulsos de radar y determinando el
tiempo que tarda el pulso en ir y venir.
Vemos la necesidad de relojes para determinar distancias, an en un mismo sistema

inercial S.
Definicin de tiempo en S a partir de los relojes:
Todos los observadores que estn en sus "laboratorios" en los diferentes puntos del
sistema inercial S tienen relojes. Para establecer un tiempo en S siguen los pasos:
Primero: Comparan la marcha de los diferentes relojes en O. As los relojes Ro, Ro1,
Ro2, ... Ron estn sincronizados en O. (Marchan al mismo ritmo).
Se concluye que si marchan al mismo ritmo en O, as lo harn en O1, en O2, ...
en On. Es decir, en cualquier punto de S.
Segundo: Cada observador se va a su lugar de observacin con su reloj. Ahora es

necesario un criterio para medir tiempos y definir el "tiempo", en el sistema inercial S.
I 1
Los sistemas inerciales y el espacio-tiempo de la Relatividad Especial
Tercero: Si cada observador O, utiliza su propio reloj para medir el tiempo en su en-
torno, tendremos un tiempo vlido en O1, en O2..., en On . No un tiempo t para todo el
conjunto de observadores O! No un tiempo t definido en S.
Cuarto: Para tener ese tiempo t definido en S hay que introducir un criterio para sin-
cronizar los relojes de O1, O2, ... On, ... Pero no estaban ya sincronizados?. Si, lo esta-
ban cuando, ponindolos a cero, los hacamos funcionar todos en un mismo punto O.
Ahora est cada uno en su sitio O1, O2, ... On, ... y hay que decirles cmo han de empe-
zar a funcionar. Esto es definir el tiempo para el sistema inercial S.
Quinto: Si O es quien tiene que dar la orden de comenzar a marcar el tiempo, (poner
los relojes en funcionamiento) es lgico que enve una seal a los observadores en O1,
O2, ... On, ... para decirles que pongan en marcha sus relojes. Para ello escoger una se-
al que se transmita lo ms rpidamente posible entre O y O1. Esta seal ser un pulso
electromagntico que se propagar a velocidad c en S.
Sexto: En el sistema S se procede as. El observador O pone la manecilla de su reloj

en el origen de tiempos t = 0 y el reloj empieza a funcionar en O, cuando es emitido el
pulso electromagntico de velocidad c.
Cuando el pulso alcanza el reloj O1 cuya distancia a O es OO1 , se conviene que O1

ponga en marcha su reloj, colocando inicialmente sus manecillas en la indicacin
OO1
t01 = .
c
Lo mismo har O2 con su reloj cuando le alcance el pulso, ponindose a funcionar en
OO2
t 02 = . As para todos los relojes de los observadores de la clase O que estn en S.
c
Sptimo: Por definicin, diremos que ha quedado establecido el modo de medir el
tiempo t en S. Diremos que un suceso se produce en un punto Oi de S en un tiempo ti
cuando el observador Oi que est en el lugar donde se produce el suceso, al consultar su
reloj ve que la manecilla del mismo marca el tiempo ti.
Tal procedimiento para definir cmo se determina el tiempo en S no hubiera sido ne-
cesario si existiese una seal que se propagara con velocidad infinita, ya que entonces t0
= 0 = t01 = t02 = ... = t0n = ...
I 2
Hemos definido as un tiempo t en S, pero si consideramos otro sistema inercial S'

que se mueve respecto de S Ser el tiempo definido en S el tiempo en S'? Esto es, es-
tarn sincronizados en S' los relojes que estaban sincronizados en S? La respuesta, ne-
gativa, la hallamos en el articulo fundamental de Einstein: "Zur Electrodynamik
bewegter Krper", Annalen der Physik, 17: 891, 1905 ("The Principle of Relativity" A.
Einstein & Others, Methuen & Co. Ltd. of London 1923, incluye la traduccin de la
referencia anterior bajo el ttulo: "On the Electrodynamics of moving bodies"*).
Sean todos los observadores de la clase O' del sistema inercial S' y procedan del
mismo modo con sus relojes para definir cmo se determina el tiempo en S'. Concluido
el proceso, podemos del mismo modo decir que si un suceso se produce en el punto Oj'
en el tiempo tj', es porque el observador que estaba en ese lugar, al mirar su reloj vio
que marcaba el tiempo tj'.
La cuestin est en relacionar las posiciones y tiempos de un suceso que referenciado
respecto de S tiene las coordenadas (x, y, z, t), y referenciado respecto de S' tiene las
coordenadas (x', y', z', t'). Segn la fsica Newtoniana tal relacin era:

(t , r ) = (t, r v t ) Transformacin de Galileo
Para: v =
d OO '
. Hasta qu punto es correcta esta ley?
dt
Efecto Doppler para ondas de sonido:
Es interesante repasar el efecto Doppler para el sonido, o para la perturbacin acsti-

ca que se propaga en un medio, por ejemplo el aire.
Para el sonido consideramos un medio elstico (ms o menos) que es el que trans-
mite la onda longitudinal. La perturbacin es de tipo escalar. La propagacin consiste en
la transmisin en el medio del conjunto de compresiones y rarefacciones que constitu-
yen la onda sonora. Al llegar estas P a nuestro tmpano, ste vibra y notamos la
sensacin sonora.
As pues, en primer lugar: Existe un medio que transmite la onda sonora. Respecto
de ese medio, en reposo, tenemos el observador, "el oyente" podramos decir en este
caso. Tal observador, con sus detectores adecuados, en reposo respecto del medio, es el
que hace las medidas sonoras, por ejemplo de la frecuencia de la onda sonora f, y de la
*
John Walker tiene disponibles varias versiones digitales de este artculo, ahora de dominio pblico, en
http://www.fourmilab.ch
I 3
velocidad de la perturbacin en el medio v. Evidentemente lo que produce el sonido o

fuente estar en reposo respecto del medio, y por tanto del observador O.
Por lo tanto, existe un medio o marco en donde el observador O fija sus ejes de coor-
denadas y se sita en reposo respecto de ese medio o marco, que permanece estable y
con propiedades caractersticas. La fuente F en otro punto de ese medio o marco, emite
ondas sonoras de frecuencia f que se propagan de F hasta O a travs del medio, con ve-
locidad v y longitud de onda (segn constatan los aparatos que utiliza O). Tenemos:
f =v
Este medio o marco es lo que llamamos espacio absoluto (el espacio absoluto de
Newton). Tanto el observador O como la fuente F estn en reposo respecto del marco
absoluto y por tanto en reposo entre s.
Evidentemente, si O se mueve respecto del marco (tambin respecto de F como re-

sultado), lo notara. Notara el viento en la cara o el "viento del ter" (segn se deca en
la fsica de principios del s. XX).
a) Fuente en movimiento. Observador en reposo:

Supongamos que la fuente emisora se mueve con velocidad u respecto del observa-
dor (evidentemente se mueve tambin en el marco o medio con velocidad u). El obser-
vador mide ahora otra frecuencia f ' para la perturbacin emitida por la fuente.
+u F u O
Tal frecuencia ser*:
1 1
[I] f '= f
( v)
1+ u
f '= f
1 u( v) Donde:
(si la fuente se aleja ) (si la fuente se acerca)
f = frecuencia de la onda sonora.

v = velocidad de la onda sonora en el medio. Velocidad respecto del marco o es-
pacio absoluto.
f ' = frecuencia medida por el observador (Receptor).
*
El efecto Doppler clsico se explica en cualquier texto de Fsica General. Vase, por ejemplo: R. Res-
nick - D. Halliday: Fsica, Editorial Continental, Mxico 1982 Tomo I, seccin 20-7.
I 4
La velocidad u de la fuente tiene signo + si la fuente se aleja de O y signo si la

fuente se acerca a O.
b) Fuente en reposo. Observador en movimiento:
Ahora es la fuente la que permanece en reposo respecto del medio y el observador se

mueve respecto de la fuente (o del medio, es lo mismo) alejndose o acercndose a la
misma con velocidad u. La variacin de frecuencia que se observa por los sistemas de
medida utilizados por O dan para la medida de f '' en este caso:
F u O +u
f ' ' = f 1 +
u
[II]
v
Conclusin:
A la vista de las ecuaciones [I] y [II] hallamos que lo importante para explicar el
efecto Doppler en el sonido es la velocidad absoluta de la fuente F o del observador O
respecto del medio y la velocidad v de la perturbacin respecto del medio.
En el caso a) se mueve la fuente (p. ej. acercndose a O) y el resultado es f '.

En el caso b) se mueve el observador (p. ej. acercndose a F) y el resultado es f ''.
Resulta que f ' f '', en el mismo caso de movimiento relativo, pero en distinto caso de
movimiento absoluto. En el caso a) el observador no nota el "viento del ter" y en el b) s.
Veamos qu ocurre cuando desaparece el medio entre el observador y la fuente y

estudiamos el efecto Doppler para la luz.
Efecto Doppler para la luz:
Cuando tenemos una perturbacin electromagntica emitida por una fuente F y reci-
bida por un observador O puede existir el vaco entre F y O.
De este modo, as como para el sonido necesariamente ha de existir un medio (en
donde la velocidad de ste es v), para la luz entre F y O podemos tener el espacio vaco,
entonces la velocidad c no es la velocidad de la luz respecto de ningn medio o
marco de referencia asociado a la presencia de dicho medio, sino la velocidad con la
que la perturbacin recorre la distancia que separa F y O.
I 5
Si esa distancia OF FO es la misma segn va transcurriendo el tiempo que mar-
ca el reloj que va asociado al observador O, entonces el observador y la fuente estn

en reposo relativo. No podemos decir que F y O estn en reposo respecto del medio
porque simplemente ese medio no existe.
Si la distancia entre O y F vara con el tiempo, podemos eventualmente asociar a la
fuente una velocidad uniforme u que acerca o aleja la fuente del observador O.
Tenemos que hacer dos reflexiones:
1) El movimiento es relativo. La velocidad u se puede interpretar tambin como la

velocidad con que el observador O se acerca o se aleja de la fuente. Ahora, que se mue-
va F, o se mueva O es lo mismo. Es ms, no podemos hablar de velocidad absoluta u
sino de velocidad de F respecto de O.
Si O se acerca o se aleja de F, eso no podemos ponerlo de manifiesto pues O no nota
el "viento del ter", sencillamente porque no hay medio o ter.
2) La velocidad de la luz c es en el vaco. Es decir, cuando el vaco est "separan-

do" F y O. En un instante F emite un pulso de radar o seal (luz) y esta seal es detecta-
da por los instrumentos que posee el observador O. Una vez emitida la seal por F, se
propaga a travs del vaco hasta llegar a O con velocidad c.
Es decir, c es una constante propia de la propagacin de la perturbacin en el vaco y

totalmente independiente de la velocidad relativa u entre la fuente y el observador:
"El observador siempre atribuye a la perturbacin electromagntica en el vaco la
velocidad c, independientemente del estado de movimiento de la fuente"
ste es el postulado bsico de la "Relatividad Especial".
En las ecuaciones anteriores consideramos como v la velocidad constante c (que no

es la velocidad respecto de ningn medio, sencillamente porque no hay medio), y ten-
dremos:
1
f '= f
( c)
1 u
Foco aproximndose
f ' ' = f (1 + u ) Observador aproximndose

c
I 6
Siendo u la velocidad relativa de la fuente F y el observador O. Ahora bien Con qu

frmula nos quedamos, ya que ahora no tenemos la posibilidad de distinguir (como
para el sonido) el caso a) b)? Si fuera posible medir el valor f ' y el valor f '', entonces
podramos saber quin se mueve, bien la fuente, bien el observador, y por lo tanto
sera posible determinar la velocidad u, respecto del espacio absoluto.
Como u es una velocidad relativa (igual en el caso a que en el caso b), lo ms proba-
ble es que ni f ' ni f '' sean las frecuencias previstas del efecto Doppler para la luz.
Efectivamente, la frecuencia observada para la luz emitida por una fuente en movi-
miento relativo, con velocidad u respecto de un observador O, viene dada por la expre-
sin (segn se demostrar con posterioridad):
1+ u
f '= f c
1 u
c
No hay dos casos, pues u es la velocidad relativa. As pues, por esta medida de fre-
cuencia f ' slo podemos detectar el movimiento relativo de la fuente F respecto del
observador O.
Una aplicacin inmediata de esta relacin en Astronoma proporciona la medida de

la velocidad radial con la que los cuerpos luminosos celestes se mueven con respecto de
la Tierra. Ntese que las medidas hechas sobre las radiaciones recibidas de las distintas
galaxias y otras radiofuentes, parecen indicar para todas una velocidad de recesin o
alejamiento, que es tanto mayor cuanto mayor es la distancia de la fuente en cuestin a
nuestro planeta (Ley de Hubble). Estas observaciones son la base del concepto de Uni-
verso en expansin*.
En cuanto a las expresiones de la frecuencia dadas en a), b), y para la luz, podemos
aproximar, teniendo en cuenta que prcticamente siempre tenemos u<<c, con:
( ) u ( 1)( 2 ) u
1 2
1 u = 1 + ( 1) + + ...
v v 2 v
*
Se plantea una cuestin interesante: Si todas las galaxias se alejan de la Tierra... Es nuestro planeta el
centro de expansin del Universo? Qu chocante que tuviramos que volver al geocentrismo, despus de
haberlo desechado desde los tiempos de Coprnico y Galileo! No es as, cualquier punto del Universo
podra ser el centro de expansin. Un observador all situado vera de igual modo alejarse de l a todas las
galaxias. Podemos establecer una analoga entre un universo bidimensional en expansin, y la superficie
de un globo (con galaxias pintadas...) que se est hinchando. Al expansionarse la superficie, todos los
lunares se alejan unos de otros con una velocidad relativa proporcional a la distancia medida (sobre la
superficie).
I 7
u u 2
Para el caso a): f ' = f .1 + + + ...
c c
u
Para el caso b): f ' = f .1 +
c
u 1 u 2
Para la luz: f ' = f .1 + + + ...
c 2 c
u
Para todas las fuentes monocromticas disponibles, casi siempre u<<c y , por
c
tanto, tiene un valor muy pequeo. Nuestro sistema de medida ha de ser capaz de dis-
2
u
tinguir y medir con una aproximacin de para hallar que el ltimo caso es el co-
c
rrecto (experimental y conceptualmente es el de mayor contenido lgico y el ms ele-
2
u
gante). Los trminos en son los trminos de correccin relativista, que se ponen de
c
manifiesto cuando u se aproxima a c.
Definicin de Simultaneidad:
a) Medidas de longitudes y posiciones:
Supongamos un observador O que quiera posicionar cualquier objeto en reposo res-

pecto de l. Para ello establecer un sistema coordenado, por ejemplo cartesiano, y con
referencia a los tres ejes, cuyo origen puede tomar en el punto que l mismo ocupa,
asignarle coordenadas al punto en cuestin P (x1, y1, z1).
Por los mtodos de la geometra eucldea la distancia OP ser:
OP = x12 + y12 + z12
Y esta distancia ser la que, con los patrones de longitud establecidos y colocndolos
directamente sobre la lnea OP, dar el resultado de la medida. Cualquier otro punto
Q(x2, y2, z2) distar de P:
QP PQ = (x2 x1 )2 + (y 2 y1 )2 + (z 2 z1 )2
Distancia que ser el resultado directo de la aplicacin de la unidad de longitud sobre
la lnea recta que une P con Q. La medida de distancias puede hacerse de otro modo:
El punto P, siendo estacionario respecto de O, puede posicionarse en el sistema coor-

denado como sigue: El observador O tiene un reloj a su disposicin, y un emisor y un
I 8
receptor de pulsos electromagnticos. Emite un pulso en la direccin (', '). Espera a

recibirlo y ajusta el detector para que reciba la mxima seal reflejada por P en la direc-
cin (, ). Si el tiempo en que es emitida la seal (una vez calibrada la direccin (,
)) es t0 = 0 (por ejemplo), y esta es recibida de vuelta por el reloj estacionario del ob-
servador en O en t0', y haciendo la hiptesis de que el pulso tarda lo mismo en viajar
de O hasta P, que de P hasta O, y que lo hace a velocidad c, se tendr:
2 OP = 2 R = t 0 c
As pues quedar determinado P(R, , ), o bien P(x, y, z).
Podramos operar del mismo modo para todo punto Q y para muchos otros puntos
donde podran situarse observadores locales con sus aparatos de medidas, para resear
todo suceso que ocurriera en su proximidad. Todos los sucesos observados en los dife-
rentes puntos tendran una localizacin precisa. Todos los observadores en los diferentes
puntos seran equivalentes entre s, ya que estn en reposo respecto de O y podran utili-
zar la misma referencia que O para posicionar su situacin o cualquier otra. Diremos
que estos observadores pertenecen a la clase O. Son observadores de la clase O.
b) Medida del tiempo para los observadores de la clase O:
Supongamos que queremos describir la posicin de una partcula que se mueve res-
pecto del observador O (por lo tanto respecto de cualquier otro de los de la clase O). Tal
partcula vara su posicin en funcin del tiempo. As pues hemos de definir de modo
preciso cmo miden el tiempo los observadores de la clase O.
Tomemos un conjunto de relojes que consideramos aptos para medir el tiempo, y

compruebe el observador en O que todos los relojes marchan al mismo ritmo en O. Di-
remos entonces que estn sincronizados en O.
Los llevamos al punto P y los observamos por medio de nuestro observador en P.

Vemos que si estaban sincronizados en O, tambin estn sincronizados en P y, del mis-
mo modo, estarn sincronizados en Q, y para cualquier observador situado en cualquier
punto, si es de la clase O.
Ahora cada observador toma un reloj, de los que hemos visto sincronizados y deno-
minaremos como aptos para medir el tiempo, y se lo lleva al punto que ocupar: P,Q,...
y donde realizar las observaciones.
I 9
Ahora es cuestin de definir claramente cmo sincronizamos los relojes, uno en O,

otro en P, otro en Q... etc., para medir el tiempo en que un determinado suceso ocurre en
O, en P o en Q y que este sea el criterio de sincrona que rige para el tiempo asociado a
los observadores de la clase O.
La sincronizacin de relojes situados en reposo, en dos puntos diferentes, se efectua-

r mediante una seal. Si existiera una seal que se propagara instantneamente de un
punto a otro, en todas las direcciones, lo que vamos a exponer ahora no tendra sentido.
No es as, ya que la luz en el vaco es la seal con mayor velocidad posible c. Utiliza-
mos pues un pulso (de radar p. ej.) para sincronizar.
Como sabemos la distancia que existe entre O y el resto de los observadores de la

clase O situados en los diferentes puntos P,Q, ... etc., mandamos poner las manecillas
del reloj correspondiente en la siguiente posicin:
Para el reloj del observador O, poner la manecilla en: t0 = 0
OP
Para el reloj del observador P (en P), poner la manecilla en: tp =
c
OQ
Para el reloj del observador Q (en Q), poner la manecilla en: tq =
c
Y as para cualquier observador situado a la distancia d de O, que tendr que situar la

manecilla de su reloj en la divisin:
d
t=
c
Cmo calculamos este tiempo:
Segn Einstein: Sean observadores en reposo en O y P, con relojes sincronizados, aptos para medir el
tiempo en S. Son ambos de la clase O y utilizan las mismas coordenadas para referenciar los sucesos en S.
P Supongamos que el observador O manda un pulso

electromagntico en t = 0, el pulso viaja con velocidad c
R
hasta P, rebota en P (en tp), y se recibe de nuevo en O en
O
el tiempo t'. Por definicin, la distancia 2 R = c t', y por lo
tanto: t ' = 2 R .
c
I 10
Supongamos ahora que el pulso fue recibido por P en el instante tp (marca del reloj en P). Como pare-
ce lgico, el tiempo que tard la seal en ir de O hasta P ha de ser el mismo que el que tarda en ir de P
hasta O y, por lo tanto, podremos poner:
(t p ) ( )
0 = t t p 2t p = t
[tiempo de la seal en ir de O hasta P] = [tiempo para ir de P hasta O]
y teniendo en cuenta la relacin anterior:

2R
2t p = t = tP = R
c c
Que es la indicacin del reloj en el punto P, en el momento de la llegada del rayo.
Convengamos que, en t0 = 0 para O, se emite por tal observador una seal electro-
magntica que pone en marcha el reloj en O y, sucesivamente, los relojes de los dife-
rentes observadores situados en los diferentes puntos del espacio. A partir de que el pul-
so los alcanza, y los relojes de S estn funcionando, diremos que tales relojes estn sin-
cronizados con O y sincronizados entre s.
Definicin: Diremos que un suceso que ocurre en un punto P, ocurre en el tiempo t,

si el reloj en P marca el tiempo t al suceder el mismo.
Definicin: Sucesos que ocurren en un punto P y en un punto P' diremos que son si-
multneos, si los relojes en P y en P' sealan el mismo tiempo t.
De esta definicin de simultaneidad se deriva una conclusin inmediata: Dos suce-

sos, uno en P y otro en Q, si son simultneos no pueden estar conectados causalmente.
Un suceso que ocurre en P en el tiempo tp y otro que ocurre en Q en el tiempo tq slo
pueden estar conectados causalmente si se verifica que:
PQ
c
tq t p
De este modo queda definido un tiempo universal para todo el sistema de referencia
S (para todos los observadores de la clase O). Ahora queda definido un tiempo comn
para P y para Q, no un tiempo vlido en O y un tiempo vlido en Q como hubiera suce-
dido si midiramos el tiempo transcurrido en P y en Q sin hacer ninguna afirmacin
adicional.
Finalmente, sea un observador O' que se mueve con velocidad v respecto del obser-
vador O, y por tanto respecto de todos los observadores de su clase, y que utiliza unos
I 11
ejes coordenados x', y', z', ligados a O' y en donde pueden situarse observadores P', Q'...
en diferentes puntos, en reposo respecto de O' y por supuesto entre s. Tales observado-
res se denominarn de la clase O' y miden sus distancias mutuas y las distancias de O' a
cualquier punto de la forma que lo hacan los observadores de la clase O. En este caso
con patrones de medida en reposo respecto de O'.
Tambin los relojes han sido sincronizados por seales de radar emitidas por O' y re-
cibidas por los observadores de su clase, del mismo modo que se hizo para los relojes de
la clase O.
Esto supone aceptar como principio la hiptesis: El pulso de radar se mueve con velo-
cidad c en el vaco tanto respecto de los observadores O como para los observadores O'.
Principio de constancia de la velocidad de luz independiente de la velocidad del foco.
Diremos que un suceso ocurre en un punto dado P, en el instante t respecto de S

(conjunto de observadores O) y en un punto P', en el instante t' respecto de S' (conjunto
de observadores O'), si los relojes de los observadores en P y en P' marcan el tiempo: t,
y t' respectivamente, al ocurrir el suceso.
Relaciones entre las coordenadas y tiempos para un suceso referido a dos clases de
observadores inerciales:
La relacin clsica existente entre las coordenadas y tiempos para un mismo suceso
referido a dos clases de observadores O y O' es la Transformacin de Galileo.
Supongamos que los observadores O referencian los sucesos respecto del sistema S,
de origen de coordenadas O. Los observadores O' utilizan el sistema S', de origen O',
con ejes orientados segn la figura. Y convenimos que en el instante en que O y O'
coinciden tomamos el origen de tiempos para t = 0 y t' = 0.
Y Y' P P'
(x, y, z, t) coordenadas del suceso en S

v (x', y', z', t') coordenadas del suceso en S'
Q Q'
O O' X X'
(x0, t0) en S
Z Z' (x0', t0') en S'
I 12
El Principio de la Relatividad Galileana nos dice que las relaciones entre las coor-
denadas y tiempos del mismo suceso medido respecto de las dos clases de observadores
O y O' son:
[I] x = x vt , y = y , z = z , t = t
Cualquier ecuacin de la mecnica expresada en coordenadas (x, y, z, t) tiene idntica

expresin en coordenadas (x', y', z', t'). Es decir, ante una transformacin de coordena-
das como la anterior las ecuaciones de la mecnica son covariantes. La expresin mate-
mtica de la ley tiene la misma forma, escrita respecto de S o respecto de S'.
Las dudas acerca de la validez de las ecuaciones [I] surgen ante el hecho de que las
ecuaciones del campo electromagntico no son covariantes ante transformaciones
de este tipo. Por tanto, las anteriores relaciones han de ser modificadas de modo que el
principio de covariancia (invariancia de forma bajo transformaciones de coordenadas
entre sistemas inerciales) sea valido para todas las ecuaciones de la fsica.
Supongamos que en el momento en que coinciden O y O', un rayo de luz abandona el

origen de coordenadas y llega al punto QQ'. Si las coordenadas del suceso medido por
el observador Q en S son (x0, t0) y las del observador Q' estacionario en S' son (x0', t0'),
x0
se cumplir: =c
t0
x 0 x x vt 0 x 0
Veamos cunto vale . Segn la transformacin [I]: 0 = 0 = v =cv
t0 t 0 t0 t0
Luego la velocidad de la luz medida por los observadores de la clase O' sera (c v),
en desacuerdo con el postulado de constancia de la velocidad de la luz.
Hay que sustituir la transformacin [I] por otra que est de acuerdo con tal postulado.
Tal transformacin es la de Lorentz. En este caso particular, esta transformacin es:
x = (x vt )
1
[II] vx con: = y: = v
t = t 2 1 2 c
c
Utilizando tal transformacin la velocidad de la luz es c, tanto en S como en S'.
I 13
Objetos geomtricos en m4. Expresin en coordenadas Lorentz
x0
v
x o (x 0 vt 0 ) = cv = c
=
t0
En efecto: =
t 0 vx vx
t 0 20 1 2 0 1 c
v
c c t0
Y tal transformacin que preserva la velocidad de la luz, c en S', es la que adoptare-

mos en el estudio de los fenmenos electromagnticos.
2. Objetos geomtricos en m4. Expresin en coordenadas Lorentz:
Espacio de Minkowski m4:
Cada suceso para el conjunto de observadores de la clase O se describir con un

conjunto de cuatro nmeros que representan el tiempo y la posicin del suceso, medido
por cualquiera de los observadores de la clase O. As un suceso P ser:
P (t, x, y, z)
Podemos representar el suceso en un espacio cuadridimensional m4, el espacio de
Minkowski y tomar ejes adecuados para que P tenga coordenadas respecto de tales ejes:
(
P = x 0 = c.t , x 1 = x , x 2 = y , x 3 = z )
As pues, tenemos en un diagrama tiempo/espacio:
0
X
P(x0, x1, x2, x3)
X1
Es evidente que el mismo suceso se puede referenciar por observadores de la clase
{O }, que se mueven con velocidad v respecto de {O} sobre el eje x = x comn. Tal
suceso se referenciar por P(x , x , x , x ) . Si tomamos unos ejes adecuados en el espa-
0 1 2 3
cio de cuatro dimensiones tendremos:
P(x 0 , x 1 , x 2 , x 3 ) X1
X0
I 14
Ya conocemos las relaciones que han de existir entre las observaciones realizadas del
suceso P por {O} y {O }. Tales relaciones son:
x = (x vt )
y=y
vx Transformacin de Lorentz
t = t 2 z=z
c
Que definen a los sistemas coordenados Lorentz: {X}. As, para la transformacin de
coordenadas entre sistemas coordenados Lorentz: X = X (X ), tendremos:
x 0 = (x 0 .x1 )
x 1 = (x1 .x 0 ) 1
[I] En donde: = , =v
x 2 = x2 1 2 c
x 3 = x3
Si tuviramos la transformacin inversa: X = X (X ):
x 0 = (x 0 + .x 1 )
x 1 = (x 1 + .x 0 )
[II]
x2 = x 2
x3 = x 3
Transformacin de coordenadas en m4:
De este modo cualquier punto (suceso) P en m4 puede representarse en coordenadas

respecto del sistema de ejes x x . En principio la transformacin de coordenadas o
cambio de ejes puede ser cualquiera, y vendr dado por las funciones:
[I'] X = X X ( )
De tal forma que la relacin entre X y X ser de la forma:
X
X = X con: =
X
Para transformaciones de la forma [I], [I'].
En el caso de transformaciones [I], tiene las componentes:
0 0 =
X 0
=
01 =
X 0
=
10 =
X 1
= ...etc.
X 0 X 1 X 0
Dando lugar a la matriz de cambio de coordenadas:
x0 0 0 x 0
x1 0 0 x 1
2 = 0 0 1 0 x 2
x3
x 0 0 0 1 x 3

I 15
Para la transformacin inversa:
[II'] X = X X ( )
La relacin ser de la forma: X = X
Donde las cantidades definidas por la transformacin son:
X
=
X
Y con la relacin que se establece en las ecuaciones [II] stas son:
0 0 =
X 0
=
0
1 =
X 0
=
1
0 =
X 1
= ...etc.
X 0 X 1 X 0
dando lugar a:
x0 0 0 x 0
x1 0 0 x 1
2 = 0 0 1 0 x 2
x3
1 x 3
x
0 0 0

Una transformacin es inversa de la otra. Luego para cualesquiera que sean las trans-
formaciones [I'] y [II'] se tendr:
y las matrices representativas sern una la inversa de la otra.

En particular, si y describen la transformacin de ejes establecida en m4 por las
ecuaciones [I] y [II], sern las transformaciones que fijen las relaciones que existen en-
tre sucesos descritos por observadores de la clase {O} y { O }.
Mtrica en m4:
En particular dos sucesos pueden ser sucesos prximos descritos por {O} de modo
que correspondan a P y P + dP segn dx que puede ser expresado en componentes res-
pecto al sistema coordenado x x .
P+dP
dx
(
dx dx 0 , dx1 , dx 2 , dx 3
dx
)
P
(
dx dx 0 , dx 1, dx 2 , dx 3)
dx y dx se relacionan a travs de las matrices . As:
dx = dx
Definimos un tensor g mtrica en m4, que tendr componentes en S, y que nos servi-
r para calcular la distancia entre dos puntos o el modulo del vector dx de la forma:
I 16

ds 2 = g (dx , dx ) = g dx dx = dx dx
( ) (dx ) (dx ) (dx )

Por definicin
0 2 1 2 2 2 3 2
ds = dx
2
Donde hemos utilizado dx = g dx .
Mirando la expresin y teniendo en cuenta que las componentes del vector dx son

( )
dx dx 0 , dx1 , dx 2 , dx 3 , tendremos que:
g = diag (1, 1, 1, 1)
y por tanto: (
dx dx 0 , dx1 , dx 2 , dx 3 )
Por otra parte, la distancia entre los puntos o mdulo del vector dx se puede expresar:

ds 2 = g (dx , dx ) = g dx dx = dx dx = dx 0 ( ) (dx ) (dx ) (dx )
2 1 2 2 2 3 2
Por lo que identificamos las componentes g como:
g diag (1, 1, 1, 1)
Es evidente que: g g = g = = = diag (1, 1, 1, 1), la identidad.
Y que: dx = g dx
La expresin as definida para ds 2 es propiamente una distancia, vale lo mismo en S

y en S (Invariancia del intervalo en forma y nmero). En efecto:
2 2 2 2
(
ds 2 = dx 0 dx 1 dx 2 dx 3 = 2 dx 0 + dx 1 2 x 1 + dx 0 )
2
( ) dx
2 22
dx 3
2
2 2 2 2 2 2
= 2 dx 0 + 2 2 dx 1 + 2 2 dx 0 dx 1 2 dx 1 2 2 dx 0 2 2 dx 1dx 0 dx 2 dx 3
( ) 2
( )
= 2 1 2 dx 0 2 1 2 dx 1 dx 2 dx 3
2 2 2
(
dx 0 = dx 0 + dx 1

)
(
dx 1 = dx 1 + dx 0 )
Donde: 2
dx = dx
2
3
dx = dx
3
(
En definitiva, ya que: 2 1 2 = 1 , se tiene: )
ds 2 = dx 0 ( ) (dx ) (dx ) (dx )
2 1 2 2 2 3 2
= ds 2
Utilizando la mtrica en componentes en el sistema S :
ds 2 = g dx dx
Lo que quiere decir que: g = diag (1, 1, 1, 1).
I 17
Transformaciones de Lorentz:
Como g es un tensor, sus componentes g g estn relacionadas entre s por matri-

ces . As pues: g = g , bien: g = g , donde es la matriz de la
transformacin: ( )
x = x x =
x
x
Se define como transformacin de Lorentz cualquier transformacin de las coor-
denadas que deje invariante la mtrica:

g (1, 1, 1, 1) g (1, 1, 1, 1)
Tales transformaciones se denominan ortogonales en el sentido de la mtrica y
determinan sistemas coordenados Lorentz en m4.
Cono de luz:
Una vez visto que el intervalo entre dos sucesos tiene el mismo valor en cualquier
sistema de coordenadas (es decir, puede servir como distancia entre dos puntos) pode-
mos clasificar los intervalos del siguiente modo:
1) Intervalo de tipo temporal:

2 2 2 2
Si: ds 2 > 0 ds 2 = dx 0 dx 1 dx 2 dx 3 = c 2 d 2 > 0
El intervalo entre sucesos es mayor que cero. Si un suceso es posterior a otro en un
sistema coordenado Lorentz es siempre posterior en cualquier otro sistema Lorentz.
O dicho de otra forma. Si un suceso es posterior a otro para un observador inercial,
siempre es posterior para cualquier observador, est en el Futuro Absoluto. Si es ante-
rior a otro en un sistema coordenado Lorentz, es anterior en cualquier otro sistema Lo-
rentz, est en el Pasado Absoluto.
En particular hay un observador para el cual los dos sucesos ocurren en el mismo pun-
to espacial. En este caso, el tiempo transcurrido se denomina Intervalo de Tiempo Propio.
2) Intervalo de tipo espacial:
ds 2 = dx 0 dx 1 dx 2 dx 3 = dx 1 + dx 2 + dx 3 < 0
2 2 2 2 2 2 2
Si: ds 2 < 0

Un suceso del intervalo puede suceder antes o despus que el otro segn el sistema
de referencia desde el que se observe. En particular pueden suceder en el mismo tiempo,
aunque en dos puntos espaciales diferentes. Tales sucesos se dice que estn en la regin
del espacio de Presente Condicional.
I 18
3) Intervalo istropo:
2 2 2 2 2 2 2 2
Si: ds 2 = 0 ds 2 = dx 0 dx1 dx 2 dx 3 = dx 0 dx 1 dx 2 dx 3 = 0
En cualquier sistema coordenado Lorentz, o para cualquier observador inercial {O}, los
dos sucesos estn separados espacialmente, y ocurren en el intervalo de tiempo dt tal que:
dx 2 + dy 2 + dz 2
2
= c2
dt
Se dice que los sucesos estn separados, o conectados, por un rayo de luz. As pues,
para todo suceso P podemos dividir el espacio de Minkowski en las siguientes regiones:
x0
Lnea de Universo que

m4 Sucesos en el Futuro
pasa por P
Absoluto de P
P x2, x3
Puntos de Presente Puntos de Presente x1
Condicional Condicional
Sucesos en el Pasado
Puntos sobre el cono de luz Absoluto de P

Cono de luz de vrtice P
Que definen la estructura causal del espacio-tiempo. La historia de una partcula puntual
es un conjunto conexo de sucesos, una curva continua en m4: una lnea de Universo.
Cuadrivectores sobre m4:
De la misma forma que al espacio ordinario R3 se le asocia un espacio vectorial eu-

cldeo V3, caracterizado por el producto escalar ordinario, para formar un espacio afn
eucldeo E3, al espacio mtrico m4, caracterizado por g, se le puede asociar un espacio
vectorial V4 de cuadrivectores, cuyas componentes en los sistemas coordenados Lo-
rentz se transformarn como las coordenadas de los puntos de m4.
Para un cuadrivector A se pueden considerar sus componentes contravariantes:
A (A0, A1, A2, A3), y sus componentes covariantes A , relacionadas por: A = gA ,
de manera que: A (A0 = A0, A1 = A1, A2 = A2, A3 = A3).
Bajo una transformacin de coordenadas, las componentes contravariantes se trans-
X
formarn con las : A = A = A
X
X
Y las componentes covariantes, con las : A = A = A

X
I 19
El producto escalar de dos cuadrivectores se define con la mtrica:

( )
A B = g A, B = A g B = A B = A0B0 + A1B1 + A2 B2 + A3B3 = B A
= B0A0 + B1A1 + B2 A2 + B3A3

= A0 B0 A1 B1 A2 B2 A3 B3
El producto escalar de dos cuadrivectores es un escalar Lorentz, esto es, es invariante
bajo cambios de coordenadas Lorentz.
Llamaremos norma o mdulo de un cuadrivector al cuadrado del cuadrivector:

A A = A g A = A A = A0A0 + A1A1 + A2 A2 + A3A3

= (A0)2 (A1)2 (A2)2 (A3)2
Los cuadrivectores pueden clasificarse segn su mdulo, as para:

Si A A > 0 , A es de tipo temporal.

Si A A < 0 , A es de tipo espacial.

Si A A = 0 , A es de tipo luz o nulo.

La componente A de un cuadrivector A se llama temporal, y las componentes (A1,

0
A2, A3) espaciales. Para las transformaciones puramente espaciales, A0 es un escalar y A

= (A1, A2, A3) un vector. Podemos escribir as las componentes contravariantes de un
cuadrivector como: A (A0, A), y las covariantes como: A (A0, A), con lo que el pro-

ducto de cuadrivectores A B se indicar: A B = A0B0 AB. Y el mdulo de un cua-

drivector A A : A A = (A0)2 |A|2.
Relacin entre ds, d y dt:
Supongamos una lnea de Universo, curva de

m4 con parmetro s, , t, de modo que el inter-
ds2
valo entre dos puntos cualquiera prximos sea de
P+dP
P tipo temporal: ds2 = c2 d2

x (s ) El parmetro que identifica la posicin del

afijo del vector puede estar definido de modo
que:

x = x (s ), : x = x ( ) , : x = x (t )
Tomemos un sistema coordenado Lorentz particular S. Las componentes del vector
x (t ), o las coordenadas del punto P sern:
(
x (t ) (ct , x, y , z ) x 0 , x 1 , x 2 , x 3 )
I 20
Por tanto, el vector que une P y P+dP ser en tal sistema coordenado:
( )
dx dx 0 , dx1 , dx 2 , dx 3 (cdt , dx, dy , dz )
Y el intervalo:

ds 2 = g (dx , dx ) = g dx dx = c 2 dt 2 dx 2 + dy 2 + dz 2 { }
1 dx 2 dy 2 dz 2
O bien: ds 2 = c 2 dt 2 1 2 + +
c dt dt dt

Si tal intervalo es de tipo temporal: ds 2 > 0 , y dr = dxi + dyj + dzk podra ser el
desplazamiento de una partcula observada por {O} en un tiempo dt, de modo que:
v = dr = dx i + dy j + dz k = (v )
x , v y , vz
dt dt dt dt
Por lo que: ds 2 = c 2 dt 2 1 v { 2
c2
}
Y esta es la relacin entre ds y dt:
1
ds = c dt con: =
2
1 v
c2

Tambin podramos haber referido el vector dx a componentes en el sistema de refe-
rencia Lorentz en el que los dos sucesos ocurren en el mismo punto espacial, ya que el
intervalo es de tipo temporal. Esto es, en S :
( )
dx dx = dx 0 , 0, 0, 0 = (cd , 0, 0, 0 )
El intervalo de tiempo transcurrido es, por definicin, el tiempo propio (intervalo de
tiempo propio). Calculando ds2:
ds 2 = c 2 d 2 = c 2 dt 2 1 v { 2
c2
}
Por lo que la relacin entre dt y d ser:
dt
ds = c dt = c d =
d
Vector tangente a la lnea de Universo:
El vector tangente unitario a la lnea de Universo lo obtendremos al derivar respecto

del arco tomado como parmetro. As pues:

dx (s )
= tg
ds
Si derivamos respecto de otro parmetro obtendremos un vector que es proporcional

al t g . En particular podemos derivar:
I 21
dx ( ) dx (t )
, o bien:
d dt
dx ( )
El vector se denomina cuadrivector velocidad: u . Las componentes de tal
d
vector en un sistema coordenado Lorentz en particular sern:
dx ( ) dx ( ) dt dx dx d
= (ct ), r (t )
d
= =
d d d dt dt dt dt
dx ( )

Y por lo tanto: u = (c, v )
d
La componente espacial de tal cuadrivector en un sistema coordenado Lorentz particular
nos indica la velocidad con que se describe la trayectoria dr .
Podemos, como anteriormente, tomar el sistema coordenado Lorentz propio S para

referir las componentes del cuadrivector u . Respecto de S las componentes son:
u = (c, 0)
El cuadrivector es el mismo. En particular, su mdulo ser calculado:
en S : g (u , u ) = g u u = c 2
v2
en S: g (u , u ) = g u u = 2 c 2 2 v 2 = 2 c 2 1 2 = c 2
c
Cuadrivector aceleracin y cuadrivector momento:
Consideremos el campo escalar cons-
tante de parmetro m0, asociado a cual-
a) quier punto de la lnea de Universo y defi-
m0 u
namos el cuadrivector momento:
p = m0 u
b) cuyas componentes en el sistema coorde-

m0 u nado S son:
p = m0 u = (m0 c, m0 v ) = (mc, mv )
m0
En donde hemos definido: m=
v2
1
c2
Tal cantidad la denominamos masa de la partcula m0, observada desde O, al despla-
zarse sobre la trayectoria r = r (t ) con velocidad v .
En particular, en el sistema coordenado Lorentz S podemos tomar componentes de p :
p = m0 u = (m0 c, 0, 0, 0)
I 22
Tal observador inercial O se movera con velocidad v respecto de O, y por tanto la

partcula estara en ese instante en reposo respecto de O .
Evidentemente el cuadrivector p es el mismo, y en particular su mdulo:
( )
g ( p , p ) = g p , p = g p p = m02 c 2 es de tipo temporal.
Partcula libre:
Sobre la lnea de Universo a) tanto el cuadrivector p , como el u son constantes y

dp dp dp
podemos hacer: = 0, = 0, o bien: =0
ds d dt
Ya que los parmetros s, , y t estn relacionados linealmente entre si. En particular:
dp dt dp dp dp dp

= = =0 =0 =0
d d dt dt dt dt
Lo que significa que:

d
(m0c ) = 0 d
( ) = 0 = cte v = cte
dt dt
d
( m0 v ) = m0 d v + m0 dv = 0 dv = 0 v = cte
dt dt dt dt
0
Lo que nos indica que en cualquier sistema inercial, en particular para O, tanto el mdulo
como la velocidad de la partcula, y por tanto su momento, son constantes con el tiempo.
No habr por tanto fuerza alguna aplicada sobre la partcula: partcula libre.
Las partculas libres describen lneas rectas en el espacio de Minkowski (geodsicas).
Partcula ligada (aceleracin):
La partcula sobre la lnea de Universo b) cambia la direccin de la velocidad y, por

lo tanto, del cuadrimomento. As podemos hacer:
du du
0, 0,
d
(m0 u ) = k 0 .
ds d d
Lo que manifiesta una propiedad geomtrica: la lnea de Universo tiene curvatura.
dp
El cuadrivector k = es perpendicular al cuadrivector u , ya que es proporcional a
d
du du du
, y se verifica que: u .u = c 2 2 u = 0 Luego: u
d d d
Tal vector define la direccin normal de la curva (curvatura normal). La lnea de

Universo de una partcula ligada es una lnea curva.
I 23

du
El cuadrivector: = u se denomina cuadrivector aceleracin.
d

Cuadrivector fuerza k :

Veamos qu significado le podemos atribuir a k . Tomando componentes en el sis-
tema coordenado Lorentz S tendremos:
k =
d
(
m0 u =
dt d
) (
m0 u = (m0 c, m0 v )
d
)
d d dt dt
para las componentes = 1, 2, 3:
k d

=
dt
m 0 v =
d
(
dt
mv =
d
dt
p ) ( ) ( )
Luego, si la derivada temporal del momento representa la fuerza que O ve aplicada
sobre la partcula y que hace que sta se desplace con la trayectoria r = r (t ) , se tendr:

k d

=
dt
p = F ( ) k = k 0 , F ( )

La componente espacial del cuadrivector fuerza k tiene informacin de la fuerza que
se aplica sobre la partcula que en el instante de tiempo t est en la posicin r = r (t ) ,

con velocidad v = v (t ) segn un observador inercial O.
para la componente = 0:

F v
El valor de k 0
, teniendo en cuenta que k . u = 0 : k 0 c 2 F v = 0 k =
0
c
Por tanto, en componentes respecto de S, el cuadrivector fuerza:

F v
k , F
c
dp

De modo que la ecuacin = k representa en S:
d
dp
para = 1, 2, 3: = F F Ley de movimiento de m0 para O.
dt
dp 0 dt dp 0 F v F v
para = 0 : =k
0
=
d
(m0 c ) =
d d dt c dt c

Y, por lo tanto, si c = cte:
d
dt
( )
mc 2 = F v

O bien: ( )
d mc 2 = F v dt = F dr = dr = d

si la fuerza F proviene de un potencial (fuerza de un campo conservativo).
I 24
Veamos qu ocurre entre dos puntos de la lnea de Universo correspondiente a

parmetros 1 y 2, o bien para valores de t1 = t1( 1) y t2 = t2( 2). Integrando la ltima
ecuacin:
2
1 d (mc ) = d m2 c 2 m1c 2 = [ 2 1 ]
2 2 2
1
Donde m2 es la masa que la particula de masa m0 tiene en el punto r 2 = r 2 (t 2 ), donde
su velocidad es v 2 en el sistema de referencia de los observadores {O}. Lo mismo para

el punto r 1 = r 1 (t1 ), luego:
m2 c 2 + 2 = m1c 2 + 1 = mc 2 + = E
Por lo que denominamos energia total de una partcula en cualquier punto de su
trayectoria a:
m0 1 3 v4
E = + mc 2 = + c 2 + m0 c 2 + m0 v 2 + m0 2 + ...
1 v
2 2 8 c
c2
Energa no relativista:
La definimos como la energa cintica ms la potencial, en el sentido clsico; luego:

E NR = lim (E m0 c 2 )
v 0
c
donde m0 c 2 es la energa propia de la partcula en reposo.
Energa cintica relativista:
Comportar todos los trminos que dependen del estado de velocidad:
( )
T = E m0 c 2 = m0 c 2 ( 1)
Momento en funcin de la energa:
Ya hemos visto que p puede ponerse en componentes respecto de S.
p p (mc, mv )
En el sistema S : p (m0 c, 0 ).
En el primer sistema podemos escribir p en funcin del momento y la energa atri-

buida a la partcula por el observador inercial {O}. As:
I 25
E
p , p ; p (m0 c, 0)
c
Luego, conociendo la energa y el momento en un sistema S, podemos conocer la
masa m0 de la partcula. En el caso de la partcula libre: = 0 , el mdulo de p ser:
E2
p p p =
2
p 2 = m0 c 2 ( E 2 = p 2 c 2 + m0 c 4 )
2
2
2
c
Cualquier partcula de masa m0 > 0 tendr un cuadrivector momento de tipo temporal.
Partculas de masa nula:

Para una partcula de cuadrivector momento de tipo luz o nulo:
E E E
2
0 = p p = , p , p = 2 p 2 = m0 c 2 m0 = 0 y: E = pc
c c c
Adems se asume que el cuadrivector velocidad es de tipo nulo, lo que significa que tal
partcula viaja a velocidad c. Tales partculas de masa nula y velocidad c son los fotones.
La transformacin de masa en radiacin (energa: fotones) es posible por la ley de

conservacin del momento relativista.
(1) (2 )
Sea, por ejemplo, la reaccin: m0 f1 + f 2 en la que una partcula de masa m0 se
desintegra a dos fotones*. Consideramos la partcula en el sistema propio:

Como p (1) = p (2 ): momento total del estado 1 = momento total del estado 2, se tiene que:

1 2

(m0 c, 0) =
, k1 + , k2 con: h =

c c c
Entonces, de: k 1 = k 2
1
u 1 = 2 u 2 , por tanto, tendremos para los dos fotones
c c
frecuencias angulares: 1 = 2 , y sern emitidos en direcciones opuestas.

Si 1 = 2 = , la componente cero de p : p = m0 c = 2
0
c
Y la frecuencia de los fotones ser: =
2

m0 c 2
Ondas de de Broglie:
Se puede asociar una onda de frecuencia y energa dada a una partcula material de
masa m0 . Tal onda es la onda material de de Broglie. (Comportamiento dual, partcu-
la/onda de materia).
*
e.g. la desintegracin a 2 fotones de los piones neutros: 02; m0 135 MeV/c2.
I 26
A cada partcula material de masa m0 > 0 le asociamos una frecuencia y un vector

de onda tales que: = E k = p
El cuadrivector momento en el sistema S, (medidas del observador {O}):
(
p = E , p ) de mdulo: m0 c 2 = p p
2
c
E2 2 2
Por lo tanto: m0 2 c 2 = 2
p 2
= 2
p2
c c
Despejando, la frecuencia que le corresponde a la partcula es:
p 2c 2 m0 2 c 4
2 = 2
+ 2
Que se comprueba experimentalmente*.
As cada partcula tiene asociados los observables:

E= p= k
p
Energa (E): Momento (p):
Frecuencia: = E N de onda: k=
Efecto Doppler y Aberracin de la Luz:
Sea un sistema de referencia en donde se observa una onda electromagntica plana

de frecuencia y de direccin de propagacin k . En la regin del espacio que contiene
campo electromagntico tenemos en m4 definido el cuadrivector de propagacin .

Referido a coordenadas Lorentz, sus componentes son:

(
= c , k )
La frecuencia y direccin en S. El cuadrivector momento para un fotn es:

p foton = foton p foton , k
c
Otro observador S' que detectara el campo electromagntico le asignara diferente
frecuencia y direccin de propagacin.
Si S' se mueve con velocidad v a lo largo de un eje x = x' comn, utilizar coordena-
das Lorentz x' en m4, de tal forma que para S' y S tendramos las relaciones entre y
' por medio de:
' = '
*
Davisson, C. J. Germer, L.H.: Physical Review, 30, 705 (1927)
I 27
' 0 c
c 0
k ' x = 0 0 kx
As pues:
k'y 0 0 1 0 k y
0 0 0 1 k
k'z z
De donde: [I]
c
(
' = k
c x )
[II] (
k'x = kx c , ) k'y = ky , k 'z = k z
La situacin ser la siguiente en S y S':

y , k y' ', k '
S S'
'

x x'
k =

Teniendo en cuenta que es un cuadrivector nulo: = 0
c
k ' = 'c

k x = c cos ' 1 v
Y las relaciones: = 2 cos = [1 cos ]
k ' x = ' cos ' c c c c
c
' v
k ' x = cos ' = cos = [cos ]
c c c c c
Podemos ver las ecuaciones que relacionan la frecuencia y la direccin de propagacin
cos
de la onda en S y en S': cos ' = Aberracin de la luz
1 cos
' = [1 cos ] Efecto Doppler para la luz
Que slo depende de la velocidad relativa de S y S' , .
Casos particulares:
a) Cuando = 0:
En S' el ngulo que forma el vector de propagacin con el eje x' es ':
1
cos ' = =1 '= 0 No hay aberracin
1
El signo de (1 ) difiere del considerado para la luz en el caso del efecto Doppler [Ver

p. I 6], porque aqu estn los sistemas alejndose con v y no acercndose con u.
I 28

y , k (k x , 0, 0) y' ', k ' (k ' x , 0, 0)
S S'
=0 ' = 0

x x'
1 1
La frecuencia observada en S': ' = (1 ) = =
1 2 1+
Se tiene que para todo > 0 : ' < Efecto Doppler longitudinal
Si hacemos una observacin astronmica del espectro de emisin de una estrella de

S, estamos en S', cuando la estrella se aleja vemos un corrimiento al rojo.
b) Cuando = /2:

y , k (0, k y = / c, 0) y' (
', k ' k ' x , k ' y , 0 )
S S'
= /2 '

x x'
La frecuencia observada en S':

' = (1 cos ) = '< Efecto Doppler transversal
cos =0
Y corrimiento al violeta de la frecuencia.
En cuanto al vector de onda de la seal electromagntica, se tiene en S':

k'x = kx =
c con k =0
x
c
k'y = ky
k'z = kz = 0

( ) (
Luego: k ' = k ' x , k ' y , 0 k ' = , , 0 k ' = k y , k y , 0 : Aberracin de la )
c c
luz, esto es, desviacin respecto de su direccin de emisin.
ky
tan ( ' ) =
k'x
Podemos hallar el ngulo ' desde: = =
k' y ky
I 29
Objetos geomtricos en m4:
Cuando hablamos de objetos geomtricos nos referimos a escalares, vectores, tenso-

res, formas diferenciales..., etc. Es decir, entes que estarn definidos en m4 y que ten-
drn propiedades intrnsecas, independientes de su expresin en los diferentes sistemas
coordenados.
Normalmente estos objetos se pondrn en correspondencia unos con otros por medio
de relaciones. Si esas relaciones se establecen como igualdad de las componentes de los
objetos en los sistemas coordenados Lorentz, tendremos la relacin expresada como una
relacin covariante Lorentz. Si no hacemos referencia a ningn sistema coordenado al
establecer la correspondencia, diremos que la relacin o ecuacin propuesta es "geom-
trica".
Los objetos son de diferente rango, dependiendo de su complejidad al expresarse en
los diferentes sistemas coordenados. Los ms sencillos son los escalares: objetos de
rango cero. Luego los objetos de rango 1 vectores, los de rango 2, tensores. En ge-
neral podremos tener objetos de rango n=0 o n0.
Sobre estos objetos se pueden efectuar operaciones: las ms importantes son las dife-
renciales.
Cuando propongamos una igualdad entre objetos definidos en m4, los objetos a am-
bos lados de la igualdad han de tener igual rango.
As pues el modo de proceder ser el siguiente:
Introducir objetos en m4.
Relacionarlos por operaciones diferenciales.
Proponer tales relaciones en componentes en los sistemas coordenados Lorentz.
Y por tanto estas relaciones covariantes Lorentz, sern las relaciones que se escriban
en los sistemas de referencia inerciales, ya sea S S .
Reproducirn por tanto la teora fsica descrita como la relacin entre las magnitudes
observadas en S, o bien en S , segn expresemos las componentes de los objetos en un
sistema coordenado Lorentz u otro.
Operaciones diferenciales sobre objetos de m4, operador :

Procedamos a definir objetos sencillos en m4:
Campo escalar: Es una funcin que asigna un nmero a todo punto x de la regin R4 de
m4 donde tal funcin est definida:
: x R4
x ) R
I 30
Tomamos coordenadas Lorentz para el punto x x y por tanto:

x
)=
x
)
Evidentemente, en el sistema de referencia S S asociado a los sistemas coordenados

Lorentz: x, x , tendremos el valor asociado a la propiedad:
x
)
x
)=
r , t ) = r , t )
Definida en el punto espacial y en el instante dado en los correspondientes sistemas
inerciales.
Veamos la variacin de en un punto x y en un punto prximo x + dx :

4 d = dx 0 + dx1 + dx 2 + dx 3
R x 0
x 1
x 2
x3
dx#
En uno de los sistemas coordenados Lorentz que po-
O x" damos tomar en m4, tenemos la expresin del vector dx :

(
dx dx dx 0 , dx 1 , dx 2 , dx 3 )
Luego el escalar d se puede poner como:
d = ( ) dx = ( )(dx ) !
En donde se explicita, de modo geomtrico en la ltima igualdad, la contraccin de
un objeto (1-forma) que sobre un vector dx da un nmero: d. El objeto 1-forma, tiene
por expresin, con ndices abajo (ndices covariantes):

( ) ( ) = = 0 , 1 , 2 , 3
x x x x
En todos los sistemas coordenados Lorentz.
Es por tanto posible decir que tenemos un operador que en coordenadas Lorentz
tiene por componentes:

0 , 1 , 2 , 3

0 , !
x x x x x
Y que acta sobre los escalares (objetos de orden cero) para obtener objetos de orden
uno (1-formas).
Es evidente que las componentes de pueden expresarse con ndices "arriba" por
medio de la mtrica. En todo caso, se podra escribir:
(
d = ( ) dx = dx = )
dx 0 +

dx1 +

dx 2 +

dx 3
x 0
x 1
x 2
x3
I 31
( )
Y teniendo en cuenta que dx dx 0 ,dx 1 , dx 2 , dx 3 se tendr para la expresin :

0 , $
x
La aparicin de objetos de orden rango uno con ndices arriba, o con ndices abajo
se lleva a cabo por la mtrica. La mtrica establece una correspondencia biunvoca entre
los vectores (ndices arriba) y 1-formas (ndices abajo).
Campo vectorial y campo asociado a 1-forma: A todo punto x% de la regin R4 se le asig-

na un objeto, que viene definido por cuatro funciones cuando se representa en compo-
nentes respecto a cualquier sistema coordenado establecido en m4:
Campo vectorial J% : x% R4 J (x% ) m4
Campo 1-forma J% : x% R4 J (x% ) m4
Relacionados por la mtrica g: J =gJ J =gJ
Ascenso de rango, derivada exterior:
El operador puede actuar sobre objetos de rango cero dando objetos de rango uno.
Cuando tal operador sube el rango del objeto, diremos que acta como derivada exte-
rior: d. Se tiene d, si sube rango:
As pondremos: : d d
(rango cero) (sube rango) (rango uno)
A esta operacin se le denomina normalmente obtener el gradiente.
Descenso de rango, divergencia:
En geometra diferencial el operador puede bajar el rango del objeto. En particular,

un objeto de rango uno (vector), puede ponerse en correspondencia por medio de con
un escalar. Por ejemplo, para un campo vectorial J% :
As pondremos: : J% (J% ) (J% )=

(rango uno) (baja rango) (rango cero)
( )
El cuadrivector J% se pone en correspondencia con el escalar J% , por medio del
operador denominado codiferencial.
Su forma de actuar en los sistemas coordenados Lorentz es:
J 0 J 1 J 2 J 3
J = = J = + + +
x 0 x1 x 2 x 3
I 32

Donde: 0 , & &
0 ,
x x
En sntesis: , actuando como codiferencial: sirve para bajar el rango.
Las operaciones derivada exterior y codiferencial, actuando sobre campos escalares y

vectoriales, son operaciones diferenciales respecto de coordenadas y tiempos de funcio-
nes que se utilizan para representar magnitudes fsicas para los diferentes observadores
inerciales S asociados a los sistemas coordenados Lorentz utilizados en m4.
Vamos a definir objetos en m4 y ponerlos en correspondencia por medio de los ope-
radores y d. Tales correspondencias sern las que denominamos relaciones geomtri-
cas. Las relaciones geomtricas tendrn expresin en los sistemas coordenados Lorentz,
como relacin entre las componentes de los objetos. Tales relaciones sern las mismas:
Se dir que son covariantes Lorentz o invariantes (en forma) Lorentz. Al pasar a la de-
pendencia de las funciones en coordenadas y tiempo tenderemos las relaciones en cual-
quier sistema inercial S.
Las anteriores relaciones podrn describir leyes de la fsica segn los observadores
asociados a un sistema inercial S. En lo que sigue tratamos de establecer las leyes del
campo electromagntico en el espacio-tiempo de Minkowski m4.
3. Formulacin covariante Lorentz de las ecuaciones de Maxwell:
Leyes del campo electromagntico:

En primer lugar vamos a describir las fuentes ( r' , t ) , J& ( r& , t ) : (densidades, respecti-
vamente, de carga y de corriente) para un observador inercial S*.
z
En cada punto r& , y en cada instante t se-
'
(r , t) gn S, se definen las dos funciones que des-
&
r
& & & & &
J ( r , t ) = v ( r , t ) (r , t ) criben las densidades de carga y corriente. En
ese punto r& , hay un campo de velocidades
y que describe el movimiento de las partculas
que dan lugar a la corriente J& .
x
*
El subndice indica aqu vector en R3.
I 33
Formulacin covariante Lorentz de las ecuaciones de Maxwell
Y de este modo sealaremos el vector densidad de corriente en el espacio tridimen-

sional observado por S. Veamos qu se puede definir en la regin asociada de m4:
Cuadrivector densidad de corriente:
Trabajamos en cualquier punto x+ R4,

lnea de
4
Universo con coordenadas x en un sistema Lo-
R
* *
u (x ) rentz x = (ct, r) ) , es decir, en cualquier r) , y
para cualquier tiempo t, segn los obser-
(
0 (x) m4
vadores de la clase S. Asociamos un cam-
)
x po escalar 0 (x) ) y formamos el cuadri-
vector: J) (x) ) = 0 (x) )u) (x) ) , en donde u) (x) ) en
componentes: u (r) , t ) ( c, v) (r) , t )) .

El cuadrivector velocidad u) (x) ) lleva la informacin de la velocidad asociada al mo-
) t ) dan lugar a la corriente J) (r) , t ) observada
vimiento de las partculas cargadas que en (r,
en S.
Veamos las componentes de J) ( r) , t ) :
( ) ) ( ) ( ) ( ( )
J x J (r , t ) = 0 x u x = 0 x c, 0 x v(r , t )( )) ) )
Luego: ( ) )
J 0 x 0 (r , t ) c y: ) ) ) ) )
J ( r , t ) = 0 (r , t ) v (r , t )
Si tomamos: 0 (r) , t ) = (r) , t ) , se tendr:

( ) )
J 0 x (r , t ) c y: ) ) ) ) )
J ( r , t ) = (r , t )v (r , t )
La funcin J 0 representar la densidad de carga multiplicada por c, del sistema de

partculas segn se observa en S. Las funciones J 1, J 2, J 3 se asociarn a la densidad de
corriente dada por el movimiento de las partculas en S: J) ( r) , t ) = (r) , t )v) (r) , t ) .
Al cuadrivector J (x ) se le denominar cuadrivector densidad de corriente, y pa-
ra que describa adecuadamente y J) deber cumplir la condicin geomtrica:
) )
J ( x ) = 0
O bien, en los sistemas coordenados Lorentz:

)
J (x) = 0
O como relaciones en el sistema inercial S:

J
0 J 0 + 1 J 1 + 2 J 2 + 3 J 3 =
1
( c ) + J x + y + J z = 0
c t x y z
I 34
Lo que escribimos en S como:

(r , t )
[I] J (r , t ) +
, , t
, =0
Y que establece la ley de conservacin de la carga. As pues todo campo vectorial de

divergencia nula en m4 podr servir para representar densidades de carga y corriente
fsicamente aceptables en los sistemas de referencia inerciales. Y viceversa, cualquier
distribucin de carga y corriente en S fsicamente aceptable (es decir, que cumpla la ley
de conservacin de la carga), podr representarse en m4 por un campo vectorial de di-
vergencia nula. As pues [I] se escribir:
[Ia] ,
J =0
Y es uno de los ejemplos de cmo el operador actuando como asocia al objeto de

rango uno (vector), un escalar (rango cero), en este caso el escalar es una constante
igual a cero.
Laplaciana:
La operacin de bajar y subir ndices se puede combinar en un operador que pone en
correspondencia objetos del mismo rango. Tal operador se conoce con el nombre de
operador de Laplace-Beltrami o laplaciana, y se define como:
- = d + d
d sube el rango, lo baja una unidad y por lo tanto podremos poner la correspondencia
(p.ej.: entre campos vectoriales en m4) del modo:
- : A.
,
kJ
Este operador pondr en correspondencia objetos del mismo rango, lo que significa
para la relacin entre cuadrivectores:
- A. = d A. + d A. = k J
,
Donde k ser una constante de dimensiones adecuadas para que la igualdad sea dimen-
sionalmente correcta.
Es evidente que
- A. tendr las derivadas segundas de las componentes de A. en los
sistemas coordenados Lorentz, que estarn relacionadas con las componentes de J. que
representan cargas y corrientes en los sistemas de referencia inerciales.
Es de esperar que A. contenga informacin sobre los potenciales electromagnticos
, ( )
A Ax , A y , Az y (potencial vector y potencial escalar).
I 35
Tomemos un campo vectorial A/ tal que: A0 = 0 , que en los sistemas coordenados Lo-
rentz se escribe: A = 0 , y en S se representa:
1 A0 A1 A 2 A3
+ + + =0
c t x y z
Si tomamos A1, A2, A3 como componentes Ax, Ay, Az que representen el potencial
vector A0 en S y A0 = /c como potencial escalar en S; los potenciales , A0 cumplirn:
00
A + 0 0

t
=0
Y podrn ser una pareja de funciones potenciales en S que cumplan el gauge de Lorenz.
As, con A0 = 0 la correspondencia entre A/ y k J0 definida por la relacin:
[II] 1 A/ = k J0
Se escribir en los sistemas coordenados Lorentz (expresin de d A/ en coordenadas
Lorentz):
0
A = kJ 0
1
0
2
Y: = = 2 , en un sistema de referencia inercial, por tanto la ecuacin [II]
c 2 t 2
se escribir:
1 2
0
A = kJ 2 2 2 , A = k c, J
c t c
( 0 ) ( 0 )

1
E igualando componentes 0, 1, 2, 3, se obtienen con k = 0 y c 2 = , las ecuaciones
00
de ondas para potenciales vlidos en S:
0
2
1 2
c t
2 2
=

0
0 0
2 A
1 2 A 0 0
= 0 J
c 2
t 2
Con la condicin A0 = 0 , que en S expresa que , A0 es un par de potenciales del

gauge de Lorenz.
2-forma Campo Electromagntico:
El cuadrivector potencial A0 (x ) definido en m4 lleva informacin de los potenciales

que utilizan los observadores inerciales para definir los campos E0 y B0 en su sistema de
referencia. Tales campos se obtendrn del modo usual:
0 0
E =
0
A
0 0 0
B = A
t
I 36
Por medio de derivadas espacio-temporales de primer orden.

Tales derivadas se ejecutan con el operador que en m4 actuar sobre A2 . Ya vimos
la posibilidad de que actuara como bajando el orden del objeto (condicin de Lo-
renz).
Hagamos ahora actuar como d sobre A2 para subir el orden del objeto de 1 a 2. As:
d
: A3 F4 / F4 = dA3
(rango uno) (sube rango) (rango dos)
El objeto que se obtiene a partir de la 1-forma diferencial A2 es la 2-forma F campo
electromagntico. En los sistemas coordenados Lorentz la correspondencia anterior se
expresa como relaciones entre las componentes de los objetos del modo:
F = A A
Como un tensor de 2 orden. Y si reproducimos la anterior relacin entre magnitudes,

segn se observan en S, se tendr:

1 Ax c ( ) = 1 + A x
F 01 = 0 A1 1 A0 =
c t x c x t

Ex
Y por tanto: F 01 = , de este modo se obtiene la componente x del cam-
c
po elctrico en S a partir de las funciones potenciales.
Ey Ez
De la misma forma: F 02 = F 03 =
c c
Si procedemos a obtener las componentes en ndices espacial-espacial (i, j) (1, 2, 3),
A y Ax
se tendr: F 12 = 1 A 2 2 A1 = + = Bz
x y
Y del mismo modo: F 13 = B y F 23 = B x
No necesitamos obtener ms componentes, pues el objeto F = d A2 es antisimtrico,

como claramente se deduce de la expresin de sus componentes en los sistemas coorde-
nados Lorentz (ntese que: F = A A = ( A A ) = F ).
Podemos ordenar las componentes de F en forma de filas y columnas, tendremos:
Ex Ey Ez
0
c c c
Ex 0 Bz By
5
F ( r , t ) = c
Ey

Bz 0 Bx
c
Ez By Bx 0
c
I 37
Evidentemente el ente geomtrico es F = d A6 , que tiene estas componentes contrava-

riantes en un sistema Lorentz particular. Es decir, tiene la informacin de los campos
electromagnticos observados en el sistema inercial S.
Podemos ver F con componentes covariantes: 7 7

F ( r , t ) = g F ( r , t ) g
o mixtas: 7 7
F ( r , t ) = F ( r , t ) g ; 7 7
F ( r , t ) = g F ( r , t )
Tales componentes se pueden ordenar en forma de matriz con g = (1, 1, 1, 1):
Ex Ey Ez Ex Ey Ez Ex Ey Ez
0 0 0
c c c c c c c c c
Ex 0 Bz By Ex 0 By E x 0 By
7
Bz Bz
7
F ( r , t ) = c
Ey
7
; F (r , t) = c
Ey
; F (r , t ) = c

Ey

Bz 0 Bx Bz 0 Bx Bz 0 Bx
c c c
Ez By Bx 0 Ez By Bx 0 Ez By Bx 0
c c c
Tensor dual de F:
Al tensor F le est asociado de forma unvoca su dual *F , *F = F, otro tensor anti-

simtrico de propiedades geomtricas definidas.
En un sistema coordenado Lorentz tiene componentes *F que se calculan del modo:
1
* F = F
2
Donde es el tensor totalmente antisimtrico:

+ 1 permutacin par de ndices

= 1 permutacin impar de ndices ; =
0
algn ndice repetido
As pues, algunos componentes de *F, sern:
01 F = 0123 F 23 + 0132 F 32 =
1 1 1 1 1
*F01= (Bx) Bx = Bx
2 2 2 2 2
Operando del mismo modo podemos representar *F en forma de matriz:
0 Bx By Bz 0 Bx By Bz

E Ey Ez Ey
Bx 0 z 0
c Bx c
7
* F ( r , t ) = Ez
c
E ;
x

7
* F (r , t) = Ez
c
E
By 0 B y 0 x
c c c
Ey c
Bz
Ex
0 Ey Ex
Bz 0
c c c c
I 38
Ntese que *F ( r8 , t ) se obtiene de F ( r8 , t ) al hacer los cambios:

8 9 8
E / c B
8
B E /c
Tal transformacin se conoce en S como transformacin de dualidad.
Primer par de ecuaciones de Maxwell:

Ligan los campos con las fuentes. En funcin del tensor campo electromagntico:
[I] F = 0 J o bien: F = 0 J
Esta relacin en componentes en los sistemas coordenados Lorentz es la expresin de la
correspondencia geomtrica obtenida por [I]:
F = 0 J 8
La correspondencia geomtrica entre objetos [I] y la relacin en componentes se
puede referir a relaciones entre magnitudes observables en S.
As, para = 0, se tendr:
F 0 = 0 J 0
Y con: J 0 = ( r8 , t ) c , tal relacin expresa:
1 Ex Ey Ez
8
0 ( r , t )c = 1 F 10 + 2 F 20 + 3 F 30 =
c x
+
y
+
z
Por tanto: 8 8
E =
8
(r , t)
0
La primera ecuacin de Maxwell, que relaciona al campo elctrico con las cargas.
para = 1, 2, 3, se obtienen las ecuaciones que ligan los campos magnticos con
las corrientes en S.
As, por ejemplo, para = 1:
8
F 1 = 0 J x ( r , t ) = 0 F 01 + 2 F 21 + 3 F 31 =
1 E x Bz B y
c t
2
+
y

z
= 0
Dx
t
+ 0 H(8 8 ) x
Y por tanto obtenemos: (8 H8 )x = J x + Dt x

Que es una de las ecuaciones de la relacin vectorial entre campo magntico y corrien-
tes libres y de desplazamiento en S:
8 8
H = J + 8 D8
t
Segundo par de ecuaciones de Maxwell:
Son las ecuaciones homogneas:

[II] *F = 0 o bien: *F = 0
Que se corresponden con la expresin en los sistemas coordenados de la relacin geo-
mtrica: *F = 0
I 39
El tensor *F se denomina tensor dual 2-forma dual de F. Tambin se llama trans-

formado de Hodge de la 2-forma F que, como hemos visto, se obtiene de la 1-forma
potencial A: segn la correspondencia establecida por la derivada exterior d, del modo
indicado anteriormente: F = d A:
Con esta propiedad se dice que la 2-forma F admite potencial vector A: . Tambin se
dice que la 2-forma F es exacta. Segn una propiedad de las formas diferenciales cono-
cida como Lema de Poincar, si una forma es exacta entonces tiene derivada exterior
nula. Es decir: Si: F = d A: dF = 0
O lo que es lo mismo, sobre cualquier forma, al aplicar dos veces la derivada exterior se
tiene dd = 0.
Toda forma F que cumpla dF = 0, se dice que es cerrada. As podemos decir:
i) Toda forma exacta es cerrada. O bien: F = d A: dF = 0
Y tambin se verifica el recproco del Lema de Poincar:
ii) Toda forma cerrada es exacta. O bien: dF = 0 F = d A:
Y dadas las condiciones necesaria y suficiente, entonces:
F = d A: dF = 0
Las propiedades de forma cerrada y forma exacta son equivalentes*.
Estas propiedades se pueden enunciar para la forma dual *F. Diremos entonces:
Si: F = d A: *F = 0
La propiedad dF = 0, para F, tambin se puede expresar en trminos de su forma dual,
diciendo que sta tiene divergencia nula:
*F = 0 O bien: *F = 0,
En los sistemas coordenados Lorentz.
Si tenemos en cuenta la informacin contenida en *F, tendremos:

B B y Bz
para = 0: * F 0 = 1 * F 10 + 2 * F 20 + 3 * F 30 = x + + =0
x y z
Esto es: ; ;
B = 0
para = 1, 2, 3 se obtendr la ecuacin vectorial en S:
; ;
E =
B;
t
*
No hemos afirmado nada sobre los dominios de integracin de las formas. El recproco del lema de
Poincar se verifica en principio para dominios estrellados. En los casos topolgicamente ms sencillos
las condiciones de forma cerrada y forma exacta son equivalentes (Vase: H. Flanders: Differential Forms
with Applications to the Physical Sciences p.27, y: M. Spivak: Clculo en Variedades Sec. 4-10, 4-11).
I 40
La propiedad *F = 0, *F = 0, reproduce las ecuaciones de Maxwell internas.

Esta propiedad se expresa para F como dF = 0, lo que se escribe en componentes en los
sistemas coordenados Lorentz como:
F, + F, + F, = 0
Donde la "coma" en los ndices significa derivada respecto de la componente con ndice
F
que le sucede, es decir: = F , . La expresin anterior reproduce, obviamente, to-
x
mando la informacin contenida en F, las ecuaciones de Maxwell internas.
En definitiva, las relaciones *F = 0, y dF = 0, expresan la misma propiedad y, por

tanto, conducen a las mismas ecuaciones para los observadores inerciales.
Fuerza de Lorentz:
lnea de Otro de los objetos a considerar es el

cuadrivector K< = q Fu< . Para una carga q
Universo
<( )
ux
que describe una lnea de Universo en la
q regin en que existe un campo electro-

magntico F, en coordenadas Lorentz:
K = q F u ; K ser un cuadrivector.
Veamos qu significado podemos atribuirle a esta relacin expresada en componentes:

Calculemos la expresin en el sistema propio de la partcula, donde los campos son
< <
E0 , B0 y el cuadrivector velocidad u (c, 0). Tendremos:
K(0) (0, q E< 0 )

K0 = 0
K = q F0 u0 = q c F0 , y como i
K = qEi
El observador que instantneamente viera la carga en reposo medira precisamente la

fuerza: q E< 0 . As pues, es de esperar que K nos d la fuerza de Lorentz en el sistema
en que la carga se mueve con velocidad v< .
En un sistema cualquiera S en que se observe la carga, los campos que se medirn se-
rn E= , B= , y u ser: u (c, v< ).
I 41
Las componentes de K son:

q > >
K = c (v E )
0
> > >] > > >

[
K 1 = q E + v B F v
K = q F u =

K
x
> > >]
,F
[
K 2 = q E + v B
y
c
> > >]

[
K 3 = q E + v B z
> > > >

Donde F = q[E + v B] es la fuerza de Lorentz sobre la partcula.
Para la partcula que se mueve en un campo elctrico externo, se tiene la relacin:
K = q F u = (p) = d (m0 u)
d
d d
Vlida en todo sistema de referencia.
Cuadrivector densidad de fuerza volmica:

>
En la regin en que se tiene un campo de corrientes J , que interacciona con un cam-
po electromagntico F se puede definir de igual modo el objeto:
@
D = FJ ?
En coordenadas Lorentz se tendr:
D = F J , D es un cuadrivector
@ @
Expresemos D en un sistema de referencia S, donde los campos son E , B y el cua-
>
drivector corriente contiene la informacin del sistema de cargas y corrientes y J .
> >
J = 0 u = ( 0 c, 0 v ) = ( c, J )
>
Donde , J sern las densidades de carga y corriente para el observador estacionario en
S. Dando valores al ndice libre = 0, 1, 2, 3, se obtienen las cuatro ecuaciones:

0
> >
1
D = F J = (J E)
0
> > >

c
[E + J B] > >
D1 = F 1 J = J E > > >
D = F J =
x
D
D 2 = F 2 J =
> > >
[E + J B] c
, E + J B

y
3 > > >
[E + J B]
D = F 3 J = z
Las componentes espaciales nos dan la densidad de fuerza volmica y la componente

temporal, la potencia disipada por unidad de volumen por el campo al mover las cargas.
Todo ello para el observador estacionario en S. As pues, al cuadrivector D se le cono-
ce con el nombre de densidad de fuerza volmica.
I 42
Intentaremos deducir este cuadrivector densidad de fuerza volmica D como la di-

vergencia de un tensor T que, por razones que veremos luego, denominaremos tensor
energa-momento.
4. El tensor energa-momento y el tensor momento angular. Leyes de conservacin:
Tensor energa-momento del campo electromagntico:

Vamos a establecer una correspondencia entre DA y un objeto de 2-orden: T, por
medio de la relacin: A
D =T
Partimos de: D = F J
Por la relacin de Maxwell: J = F

1
0
Sustituyendo en D:
[I] 0D = F F = (F F) F F
Teniendo en cuenta la antisimetra del tensor campo electromagntico:
[II] F F = F F F F
con slo cambiar en la ltima expresin . Por otro lado:

[III] F F = F (F, + F, ) = F ( F + F)
al hacer uso de la segunda de las ecuaciones de Maxwell.
Sumando [II] y [III], se obtiene:
2 F F = F F = F F = (F F)
1
2
F F = (F F)
1
Por tanto:
4
Sustituyendo en [I] queda:
( )
0 D = F F
1
4
( ) ( 1
) (
F F = F F F F
4
)
1
( ) 1
(
= F F F F = F F F F )
4 4
As, la densidad de fuerza volmica del sistema de corrientes JB es:
D =
1
0
1
(
)
F F + F F = T
4
Donde: T =
1
0
1
(
F F + 4 F F )

Tensor energa-momento del CEM F
I 43
El tensor energa-momento y el tensor momento angular. Leyes de conservacin
El tensor energa-momento contravariante, desde T = T g, es:
T =
1
0
1
F F g + 4 g F F ( )

F F + 4 (F : F )
1 g
Simblicamente se representa: T=
0
Y lo obtenido se corresponde con la relacin geomtrica que buscbamos: En la re-

gin del espacio considerada M m4, en trminos del tensor energa-momento T del
campo electromagntico F (x) / x M, la densidad de fuerza volmica del sistema de
D
corrientes JC (x ) / x M, es: D = T .
As: T = F J
El tensor T as construido es simtrico: T = T, y su divergencia tensorial da la den-

sidad de fuerza volmica del campo electromagntico:
T = D
Adems T es un tensor de traza nula, esto es: T = 0.
Evidentemente este tensor del que se deriva D no es nico, se le puede sumar cual-
quier tensor de divergencia tensorial nula. Veremos en la Parte II de estos apuntes que T
es el tensor energa-momento simtrico del CEM: , y que difiere del tensor can-
nico energa-momento justo en un tensor de divergencia nula.
Contenido de T en sistemas coordenados Lorentz:
En ausencia de fuentes, el tensor energa-momento es de divergencia nula:

T = 0
Veamos cules son las componentes de T: En primer lugar consideremos el inva-
riante Lorentz FF: (F

)
F =
2
c2
[E 2
c2 B2 ]
Por lo tanto, para la componente temporal pura:

1
0 T 00 = F 0 F g 0 + g 00 F F ( )
4
Y desarrollando el primer trmino del parntesis:

E2
F 0 F g 0 =
c2
Con lo que, agrupando trminos:
D D D D
T 00 =
1
2
(DE + BH )
I 44
Que representa la densidad de energa electromagntica: U, observada para los

campos en S.
Del mismo modo las componentes temporal-espacial:
E E
T 0i
0
E E
= c (E B ) =
(E H)
=
P i i
i
c c
Las componentes temporales son las componentes del vector de Poynting.
As mismo las componentes espacial-espacial:

ij E E E E

T ij = Di E j + H i B j D E + B H ( ) T ( ij
M)
Donde Tij(M) es el tensor de tensiones de Maxwell.
El tensor T puede escribirse en forma matricial abreviada:

E
U P
T = E c
P Tij(M )
c
Donde, como hemos visto: U = T 00. Las componentes T 0i estn relacionadas con el
E E
vector densidad de momento del campo electromagntico: g = p por: T 0i = c gi.
c2
E E
U P U P
Las formas covariante y mixta son: T = E c
, y: T = E c
P Tij(M ) P Tij(M )
c c
Leyes de conservacin para el campo libre:
En ausencia de fuentes se anula la cuadridivergencia: T = 0, esta condicin im-

plica que existen magnitudes conservadas asociadas a los campos, del mismo modo que:
J = 0, implica la ley de conservacin de la carga.
1 U 1 E E
para = 0, se tiene: 0 = T 0 =
+ P [Ley de conservacin de la energa]
c t c
U E E
De donde: + P = 0 que es la forma diferencial para el Teorema de Poynting
t
cuando no existen cargas ni corrientes.
Integrando a un volumen V en S, se tiene:
E E E d E E E E
U d 3 r + P d 3 r = 0 U d 3 r = P ds

d
dt dt
V V V S
Que es el Teorema de Poynting en forma integral: "La disminucin de la energa

en el volumen V se debe al flujo de PF a travs de la superficie S que lo encierra".
I 45
G G
Las cuatro cantidades: U c , P 2 U c , gG , con: gG = P ( ) , densidad de momento elec-
c c2
tromagntico por unidad de volumen, son las componentes de un cuadrivector:
(
P U , g
c
G)
ya que la expresin: P = 0, es covariante Lorentz.
Si se realiza la integracin a un volumen V en S que no contenga cargas se tendr:

1
U d 3r =
W G
, donde W es la energa total electromagntica en V.
c c
V
G
Se define: G = g d 3r , G G momento total asociado al campo en V.
As pues, las cantidades W c , GG , tienen la misma expresin que el cuadrivector ener-

V
( )
ga-momento de una partcula con masa m, y el campo en V puede considerarse como
una partcula cuya energa es W, y su momento total GG .
Si el campo en V fuera solamente de radiacin (campo libre), la cantidad:

W2 G G
G G = 0
c2
sera nula, lo que corresponde a una partcula de masa nula. El concepto de campo de
radiacin clsico, y el asociar energa y momento a un volumen V que contenga estos
campos, es consistente con el concepto de fotn.
Si
W2 G G
G G 0 , no es invariante Lorentz: W c , G no es un cuadrivector. ( G)
c2
Consideremos dos hipersuperficies espaciales 1 y 2 que delimitan el volumen

cuadridimensional R4.
La cantidad T puede integrarse al volumen cuadridimensional dx4:
Tma Gauss
1
T

dx 4
= T

d = T
0
d r
3 G T
0 G
d r =0
3 R 4
Re gin m 4 Frontera (t )
1 1 (t )
2 2
2
En el sistema coordenado Lorentz en el que el vector normal a la hipersuperficie tie-

ne nicamente componente temporal: d = (dx dy dz, 0, 0, 0). La componente no nula
d 0 representa el volumen tridimensional observado en un tiempo t.
Lo que implica si se integra a V todo el espacio:

d
G
U d 3r = 0
T
0 G
d 3 r constante con tiempo t
d

T 0 d 3r = 0 G dt
V
G G
dt d
g d 3r = 0
(t ) V
dt
V
La energa y el momento total del campo se conservan
I 46
para = i = (1, 2, 3), y en ausencia de fuentes:
gi
3

0 = T i =
t
x T (
j =1 j
ij
M)
[Ley de conservacin del momento]
Integrado a un volumen V se obtiene:

H 3
H
x Tij(M ) d 3 r = T
(M )

d
gi d 3r = i dS
dt
V V j =1 j S
Donde hemos aplicado el Teorema de la Divergencia, siendo S la superficie que de-

limita el volumen V.
H
g d r =P,
3
La integral: i i es la componente i del momento total del campo en el volumen V.
V
La variacin del momento total del campo en el volumen V es igual al momento in-
yectado al interior de V por el mismo campo a travs de la superficie S, que es lo que
representa la integral del segundo miembro.
Leyes de conservacin para el campo electromagntico en presencia de fuentes:
En este caso la cuadridivergencia del tensor energa-momento es distinta de cero:

T = F J
Las componentes espaciales y temporales de esta ecuacin en S son:
U HH H H
= 0: + P = J E [Ley de conservacin de la energa]
t
[Balance de energa en todo punto del campo]
H H
gi
[ ( )]
3

= i:
t
x T (
j =1 j
ij
M)
= Ei + J B i [Ley de conservacin del momento]
[Balance de momento en todo punto del campo]
Que son precisamente las ecuaciones de conservacin de la energa y el momento pa-

H
ra campos electromagnticos en interaccin con fuentes descritas por J ( c, J ).
La cuadridivergencia puede integrarse al volumen cuadridimensional dx4 del modo

siguiente:
D T

[I] dx 4 = T dx 4 = dS = P ( 2 ) P ( 1 )
Re gin m 4 Re gin m 4 Frontera
Donde P ( ) = T dS , es el cuadrimomento
x0
2
del campo electromagntico, la integral est exten-
1 dida a una hipersuperficie tridimensional de tipo
espacial.
I 47
Escribiendo [I] en un sistema de referencia S, dx4 es el cuadrivolumen formado por

todo el espacio entre los tiempos t y t + dt. As pues, [I] en S ser:
D

dx 3 c dt = P ( dx 3 , t + dt ) P (dx 3 , t )
V ,dt
Donde V es todo el volumen tridimensional en donde exista campo electromagntico.

d d
Por lo que: c D dx 3 = P = T 0 dx 3
dt dt
V V
d I I I I
para = 0, implica:
dt
U d 3r = J E d 3 r
V

V
La prdida de energa del campo se produce por el efecto de conduccin de corriente

d
para = i: T 0i dx 3 = c D i dx3
dt
V V
I I d I
g d r = D dx = dt P
d 3 i 3
Como: part .
dt
V V
d I
Se tiene:
dt
[P + PI
campo ]= 0 prtculas
El momento total (campo+partculas) del sistema se conserva
Tensor momento angular del campo electromagntico:
Momento angular del campo electromagntico:

Hemos visto que el tensor energa-momento del campo electromagntico T es si-
mtrico. Llamaremos a este tensor simtrico para distinguirlo del tensor energa-
momento cannico ordinario. La expresin de su divergencia:
= D
Resume las leyes de conservacin de la energa y el momento para el campo electro-
magntico en presencia de fuentes.
Desarrollando las componentes tiempo-espacio se obtuvo:
gi
3

[ (
I I ) ]= f
[I]
t
x T ( ij
M)
= Ei + J B i i
Ig = EI HI , es la densidad de momento del CEM y fI

j =1 j
Donde: es la densidad de fuerza

c2
volmica (densidad de fuerza de Lorentz) del CEM.
El momento angular del campo, en el volumen V respecto de un punto fijo de vec-

I
tor de posicin r , se define como:
I I I I
J (t ) = r g (r , t )dv

V
I 48
Veamos en qu condiciones se conserva esta cantidad. Su variacin con el tiempo es:

J J J J
J (J ) J ( )
g
= dv r f + dv r T (M )
dJ
[II] = dv r
dt t
J
V V V
r
Donde hemos considerado que = 0 , (momento angular respecto de un punto fijo), y
t
J
por T (M ) se quiere representar el vector:
[III]
Tij(M ) J
T (M )
x j
La ecuacin [II] se ha escrito teniendo en cuenta la igualdad [I] en forma vectorial:

g J J J
T (M ) = f
t
Consideremos algunas componentes del ltimo integrando de [II], e.g.:

por [III]: [rJ J T ( ) ]
M
x (J
= y T (M ) ) z (J T ( ) )
z
M
y = y i Tiz z i Tiy
Que se puede escribir: ( ) (

= x T xy z Txz y y T yy z T yz y z Tzy z Tzz y ) ( )
Ntese que Tij es simtrico.
En la ecuacin anterior, los parntesis son trminos de la forma:
(
i Tiy(M ) z Tiz(M ) y = i M ix )
Donde: M ix = (Tiy(M ) z Tiz(M ) y ) = (Ti(M ) rJ )x
Del mismo modo, las componentes y, z:
(
M iy = Tiz(M ) x Tix(M ) z = Ti(M ) r ) ( J) y
= (T ( M)
Tiy(M ) )= ( ( M )J )
M iz ix y x T i r z
Se puede construir el pseudotensor de 9 componentes densidad de momento:

L K
M = T (M ) r
Y la expresin del trivector [rJ (J T (M ) )], se puede escribir:

J (J
r T (M ) = M ) J
J
La integral dv (rJ f ) es el par resultante impartido por el campo a las cargas y co-
V
rrientes en el volumen V, y por tanto ser igual a la variacin con el tiempo del mo-
mento angular total mecnico de las masas asociadas a las cargas y corrientes, esto es:
J dL
dv (rJ f ) = d t
V
As la ecuacin [II] queda:
[IVa]
d
dt
(J J ) (J
J + L = dv M = ds M ) J
V S
I 49
Que escrito en componentes es:
[IVb]
d
dt
(M M )
J +L j
= dv i M ij = ds i M ij
V S
"La variacin del momento angular total del sistema en el volumen V est provocada
por el flujo de momento angular del campo a travs de la superficie S que delimita a V"
O
La cantidad M = T (M ) rN , transmite el momento angular del mismo modo que T(M) (el
tensor de tensiones de Maxwell), es el transmisor de momento lineal a travs de S.
Las ecuaciones [IV] pueden escribirse como una ecuacin de continuidad:
[V]
M M M
(r g ) + M = r fM M
t
Que en los puntos de V en los que no existan partculas sobre las que el campo pueda
producir momento se reduce a:
M M M
(r g ) + M = 0
t
Generalizacin covariante:
Obtener la ecuacin [V] requiere formar el vector densidad de momento angular
M M
r f , que en 3 dimensiones tiene 3 componentes independientes y se transforma como
un pseudovector.
Si desde la expresin = D, en la que aparece el cuadrivector densidad de
fuerza queremos formar una cantidad anloga que sea invariante Lorentz, tendremos
que expresar dicha cantidad con las componentes de un tensor antisimtrico de 2 orden:
M = x D x D
Tensor momento de la densidad de fuerza volmica. En un sistema S dado, M ten-

dr por componentes espaciales:
M ij = x i D j x j Di
(M M ) ,
M 12 = r f z (M M ) ,
M 13 = M 31 = r f y (M M )
M 23 = r f x
Donde:
M M M M M M
f = E + J B = [E + uM B ]
Y las componentes espacio-temporales:

M M
J E M M
u E
M M
f u
M i0 = M 0i = c f i t x i = c f i t xi = c f i t xi
c c c

El procedimiento seguido sugiere utilizar la expresin del cuadrivector fuerza:
= D
I 50
De modo que: M = x x = (x x )+ = P
Donde escribimos un tensor energa-momento simtrico .
Consideremos el tensor de tercer orden densidad de momento angular Q :

P = x x = P
Como se ve, antisimtrico respecto de los dos ltimos ndices, y respecto del que se
deriva otra variable dinmica: el tensor momento angular L, que viene dado por:
L d P

La simetra del tensor energa-momento est relacionada con la conservacin del ten-
sor momento angular. En efecto, si L se conserva, esto es, si se considera un sistema
en el que no hay cargas ni corrientes (caso del CEM libre), Q cumple una ecuacin
de continuidad: P =0
Esto es: (
) (
x + x = 0 )
Vemos que el hecho de escribir la densidad de momento angular en trminos de un
tensor energa-momento simtrico: = , en caso de que ste se conserve:
= 0 , garantiza la conservacin del momento angular.

**
Consecuencias de la conservacin del momento angular:

Acabamos de ver que la ecuacin: P = 0 , implica la conservacin del momento
angular del campo libre en forma covariante.
Las ecuaciones que tienen interpretacin fsica son: P k 0 =0
Considerando = l (1, 2, 3), k = 1, 2, 3, se obtiene:
P lk 0 = x k g l + t Tlk(M )
para l = 0: P 0k 0 = xk W + c 2t gk
Donde se ha considerado la expresin en componentes de , siendo gl la compo-

nente l del trivector densidad de momento en S, W la densidad de energa y xk la com-
ponente k del trivector posicin del elemento de volumen en S. Tlk(M ) son las componen-
tes lk del tensor de Maxwell.
*
Diferente del tensor (cannico) definido a partir del tensor energa-momento cannico.
**
Vase: A.O. Barut op. cit. Cap. III Sec.4, y: M. Brdov, V. Rumintsev: Electrodinmica Clsica, Ed
Mir 1986. Secc.16.1, 16.2 y Comp. VI.
I 51
La ecuacin de conservacin: R k 0 = 0 reproduce las componentes de la ecuacin

S S S
vectorial:

t
(S S)
r W c 2 t g + c 2 g r + t T (M ) = 0 ( )
Donde es el producto didico de vectores, en este caso un tensor de componentes:
S S
[g r ]ij [
= gi rj ]ij
Esta ecuacin se puede integrar en S, a todo el espacio para un tiempo dado t, de modo
S S S S ( ) S
(rW c t g )dv + c (g r + t T 0 )ds = 0
d 2 2 M
que:
dt
V S
Para una superficie S que englobe todo el volumen donde existe campo, la integral de
superficie es nula.
S
La integral: r W dv , se puede utilizar para definir el centro de masas del campo:
S
V
T r W dv S
r W dv
1
r = V
=
W dv
CM
WT
V
V
Del mismo modo que el centro de masas en mecnica, ya que W es la densidad de

c2
masa equivalente a la energa W.
As, el resultado de la integracin al volumen V podr expresarse:

S
d
dt
WT r ( S CM
c 2t P = 0 )
Siempre que el momento y la energa se conserven, la ecuacin anterior es la ley de
movimiento del centro de masas del campo:
d r
S S
WT CM
= c2 P
dt
Con lo que la velocidad del centro de masas del campo es:
S S
c2P
v CM
=
WT
Propiedades del tensor U :
a) Es antisimtrico en los dos ltimos ndices: R = R .

er 3
b) Es un tensor de 3 rango, por tanto tiene 4 = 64 componentes.
c) Por antisimetra, las 16 componentes R son nulas.
d) De las 48 componentes no nulas, por la antisimetra R = R , quedan slo 24 componentes
independientes.
e) De estas 24 componentes, slo las 12: R kl = R lk, con kl = 12, 23, 31, relacionan el flujo de
momento angular y el momento angular del campo.
I 52
W W
f) De estas 12 componentes, 9 se identifican con las componentes del pseudotensor M = T r , que V
representa la densidad de flujo de momento angular, para = 1, 2, 3.
g) Las otras tres: X 0kl = X 0lk, Y Y
se refieren a las componentes del vector r g y representan la densi-
dad de momento angular.

h) Las tres componentes independientes del tensor antisimtrico Mkl = kl, con kl = 12, 23, 31, X
dan la descomposicin vectorial de:

Y Y Y Z Y Y
(r g ) + M = r f , que describe cmo se conserva el
t
momento angular.
i) Las tres ecuaciones M =

X = 0, con = 10, 20, 30, implican tres magnitudes conservadas,
y describen el movimiento del centro de masas de un campo electromagntico como uniforme. Esto
es, que se comporta como un sistema libre con velocidad: v Y =

Y
c2P
.
CM
WT
5. Transformaciones gauge:
El tensor campo electromagntico no queda determinado por un nico cuadrivector

A. Cualquier transformacin a partir de A de la forma:

[I] A = A + = A + , con: escalar Lorentz
x
Define un nuevo cuadrivector potencial A' que da lugar al mismo campo electromag-
ntico. En efecto:
F' = A, + , A, , = F luego: F' = F
Y los campos son invariantes ante dicha transformacin de potenciales. Tal transforma-
cin se conoce como una transformacin gauge.
nicamente las cantidades invariantes gauge sern observables fsicos.
Las ecuaciones del campo: F = F, = 0 J , toman la forma en funcin del cua-
dripotencial: F, = A,, A,, = A A = 0 J
Se puede hacer uso de la transformacin [I], de modo que se tenga un A tal que:
A
A = 0, esto es: =0 condicin de gauge de Lorenz*
x
En este gauge, las ecuaciones de campo se escriben simplemente:

[ A = 0 J con:
A
=0
x
*
Existe una confusin habitual en cuanto a la nomenclatura de este gauge. Las primeras ecuaciones en las
que aparece tal condicin (1867) se deben a Ludvig V. Lorenz, no al mucho ms conocido Hendrik A.
Lorentz. (Vase: J.D. Jackson: Classical Electrodynamics, 3rd edition p.294).
I 53
Transformaciones gauge
Elegir potenciales del gauge de Lorenz es siempre posible. En efecto, si A no cum-

ple dicho gauge, se transforma a \ con una funcin de modo que:
= A , \

En donde A 0, segn la hiptesis.
Al exigir que \ cumpla la condicin de Lorenz:
\
,
= A , , , = A = 0
Hay que escoger una funcin que cumpla que:
= A
An dentro del gauge de Lorenz, los potenciales siguen estando indeterminados. Si
A es de Lorenz, \ tambin lo ser si transformamos con tal que ] = 0.
**********************************************************************************************************
Las mtricas de la relatividad especial

Mtricas pseudoeucldeas para m4:
Reproducen la invariancia del intervalo: ds 2 = g dx dx = g dx dx = ds 2
1 1
1 1
g = ~
g =
1 1
1 1

Tr g = 2 { } { }
Tr g~ = +2
^
x = (c t , r )
x = (c t , r ) ^ ^
x = (c t , r )
~ x = ( c t , r )
~ ^
1
= t , ^ 1
= t , ^ ~ 1
= t , ^ ~ 1
= t , ^
c c c c
Las leyes del electromagnetismo en m4:
^
A partir del tetrapotencial: A = , A , y del tetravector corriente: J = c , J : ( ^)
c
~ ~ ~
F = A A F = A A
~ ~ ~ ~
F = 0 F = 0 J F = 0 F = 0 J
Para cambiar de tensor mtrico hay que permutar los ndices del tensor F.
El espacio de coordenada imaginaria:
Una alternativa al espacio-tiempo real de 4 dimensiones con mtrica indefinida (R4; ) es el
espacio (I R3; ), en el que: ds 2 = dx dx = dx dx = ds 2
x = (i c t , r )^ ^
x = (i c t , r ) Como la mtrica es eucldea, las componen-
i
= t , ^ i
= t , ^ tes contravariantes coinciden con las cova-
riantes.
c c
Las leyes del electromagnetismo en el espacio de coordenada imaginaria:
En este espacio de coordenada-0 imaginaria, A = i , A , J = i c , J , se verifica que: ^ ( ^)
c
F = A A 0 i
c Ex ic Ey c Ez
i
i E Bz By
F =0 F = 0 J 0
F = ic x
La forma explcita del tensor campo electro- c Ey Bz 0 Bx
i c Ez By Bx 0
magntico es:
I 54
Formulacin Lagrangiana del campo electromagntico
1. Movimiento de una partcula cargada en un campo electromagntico:
La Lagrangiana Relativista:
Ha de generar las ecuaciones del movimiento a travs de:
d

[I]
dt qi

q = 0 Ecuaciones de Euler-Lagrange
i
Donde: = (qi , qi , t ) , Lagrangiana del sistema con n grados de libertad, que ser funcin

de las coordenadas generalizadas: {qi (t )}in=1 , las velocidades generalizadas: {qi qi ' (t )}in=1 ,

y eventualmente del tiempo t. Con la definicin del momento cannico conjugado de la

dp
coordenada qi : pi = , las Ecuaciones de Euler-Lagrange toman la forma: i =
qi qi

dt
a) Para la partcula libre:

2
Con la Lagrangiana: = m0 c 2 1 v
c2
Se tiene, por [I]:

d
(mvi ) = 0
dt
1
Que son las ecuaciones del movimiento de una partcula libre de masa: m = m0
2
1 v
c2
b) Para la partcula en un campo conservativo:
Con: (qi ) , energa potencial o potencial conservativo, tal que: F = ,

2
la Lagrangiana ser: = m0 c 2 1 v
c2
Pues genera, por [I]:

d
(mvi ) = = Fi
dt x i
Ecuaciones de movimiento de una partcula de masa m sometida a una fuerza: F = .

c) Para la partcula en un campo conservativo generalizado, (carga en un CEM):

Si se considera la funcin potencial U (qi , qi ) / U = q qA v , potencial generalizado*.

2
La Lagrangiana ser: = m0 c 2 1 v q + qA v
c2

Los momentos cannicos son: pi = mvi + qAi , y las ecuaciones del movimiento:
dp L Ax A y A
= i , desarrollando: = q + vx + v y + z vz
qi dt x x x x x
*
Vase: H. Goldstein, Mecnica Clsica. Secc. 1-5, 7-8.
II 1
Formulacin covariante del movimiento de partculas cargadas
d
(mv x + qAx ) = d (mv x ) + q Ax dx + Ax dy + Ax dz + Ax
dt dt x dt y dt z dt t
A A A A
= (m v x ) + q x v x + x v y + x v z + x
d
dt x y z t
A
Igualando:
d
(mv x ) = q Ax + y Ax v y + Az Ax v z
dt x t x y x z

Ax
= q

( (
+ v A x = q Ex + v B x )) [ ( )]

x t

A
Ya que: E = , y: B = A

t

Resultan las ecuaciones del movimiento de una partcula de carga q y masa

1
m = m0 sometida a la fuerza de Lorentz:
2
1 v
c2
d
dt

(
(mv ) = q E + v B

)
Hemos derivado la fuerza de Lorentz desde un potencial generalizado:
U d U
Fx = +
x dt v x

(mv x ) = q dAx = q A v d A v ( ) ( )

d
x x dt v x

dt dt

2. Formulacin covariante del movimiento de partculas cargadas:
El procedimiento anteriormente expuesto es relativista, pues es vlido, no importa

cual sea la velocidad de la partcula y se reduce a las expresiones usuales en Mecnica
Galileana cuando v << c. Sin embargo, la formulacin no es covariante, es decir, vlida
en cualquier sistema de coordenadas, pues (t, x, y, z ), v , A, son: tiempo, posiciones, velo-

cidad y funciones particulares de un sistema inercial S determinado.

Vamos a escribir la ecuacin de movimiento:
[I]
d
(mvi ) = Fi
dt
En cualquier sistema coordenado Lorentz. La generalizacin al espacio de Minkowski
es evidente: [II]
d
d
(
m0 u = k )
Donde k es el cuadrivector fuerza, u el cuadrivector velocidad y d el invariante o
escalar tiempo propio. Esta relacin es independiente del sistema coordenado.
Veamos si se puede expresar la forma [I] de la forma [II]: Si la fuerza aplicada sobre
dAi
la carga q es la fuerza de Lorentz: Fi = q vA + ( , teniendo en cuenta que

)
x
i
dt

II 2
, A son las componentes del cuadrivector: A , A en S, y la velocidad v de la

c c
partcula corresponde a la cuadrivelocidad u (c, v ) en S, el producto escalar: A u

(invariante Lorentz), ser: (

A u = A v .

)
dAi dAi d 1 dA i 1
Por otra parte: = = , donde = 1 v 2 c 2 ; por lo que Fi podr ob-
dt d dt d
tenerse como:
[III]
1
Fi = q ( dA
A u i )
xi d
El corchete que aparece en [III] contiene las componentes espaciales de un cuadrivector

dA
k definido como: k = q (
A u
d
)
x
Las componentes espaciales = i = 1, 2, 3 de dicho cuadrivector estn relacionadas

1
con la fuerza tridimensional en S del modo: Fi = ki

La componente cero de k se obtendr de:
k u =
d
(
m0 u u =)d m0 d m0 c 2
u u =

=0
d d 2 d 2

As, de: k u = 0 , bien: k u = 0 , se tiene:

F v

k u 0 k ui = 0 k c = F v k =

0 i 0
0
c
F v

k , Fi

Luego en S se tiene: c

para: = 1, 2, 3:
d
d
( )
m0 u i = k i , evidentemente reproduce en S la ecuacin:
d
(mv ) = F con: m = m0

dt
( ) (m0 c ) = F v = dt d (m0 c ) = d (m0 c ) ,

d d
para: = 0: m0 u 0 = k 0 , resulta:
d d c d dt dt
Y, por tanto:
d
dt
( )
mc 2 = F v

La potencia suministrada por el campo de fuerzas se emplea en variar la energa ci-

ntica de la partcula.
La Lagrangiana Covariante:
Las Lagrangianas consideradas hasta ahora son relativistas, pero no covariantes. No

todo problema relativista podr plantearse en forma covariante, pues las fuerzas que
II 3
consideremos han de tener propiedades de transformacin adecuadas. Hemos usado las

fuerzas electromagnticas porque se pueden escribir de forma covariante, sin embargo,
la formulacin de de la forma:
2
= m0 c 2 1 v q + A v

c2

Que conduce a las ecuaciones del movimiento mediante:

d

[I]
dt v i x = 0
i
O bien la ecuacin variacional para el principio de Hamilton:

t2
I =0 donde: I=

dt
t1
No es apta para trabajar en el espacio-tiempo pues se refiere a los valores observados en

S. Tambin se observa que en [I] se singulariza el papel de t, siendo en realidad x 0 en
m4 una coordenada ms, no distinta de las otras tres x i .
Una teora covariante no ha de hacer referencia a ningn sistema coordenado espe-

cial y ha de tratar a todas las coordenadas por igual.
Lagrangiana de la partcula en m4:
La trayectoria de una partcula en m4 es su lnea de Universo, que vendr descrita

por: x = x ( ) , donde es un parmetro arbitrario que describe el progreso de la part-
cula en esta lnea de Universo.
As, hemos de considerar una Lagrangiana

(x
( ), x ( ), ) , que ser funcin de

las coordenadas, las "velocidades", y de en general.
x2
x ( ) + x ( ) Para un valor de = 1 , se tendr el
punto x1 ( 1 ) y para otro 2 , el punto
x 2 ( 2 ) . Entre estos dos puntos la tra-
yectoria ser la lnea de Universo:
x = x ( )
x ( )
x1
Y esa ser la funcin que tendr que determinarse por las ecuaciones del movimien-
to, una vez resueltas con las condiciones de contorno adecuadas (valores en =1, y en
=2).
II 4
Entre todas las posibles trayectorias, la descrita fsicamente ser aquella que haga
2
(x ( ), x ( ), ) d

estacionaria la integral: I=

Esto es, se precisa que: I = 0 ; sobre toda trayectoria variada, para fijo.
As, en lugar de x = x ( ) , se consideran las trayectorias variadas:
x = x ( ) + x ( )
x = x ( ) + x ( )

Efectuando la variacin del integrando:

= x + x

x x

d ( )
dx d
Hagamos uso de la relacin: = x [variacin de la derivada = derivada de la variacin]
d
Y la anterior variacin de
quedar:
d d

( )

d
x +
= x = x + x

x
x d x
d x
d x

d
De los dos trminos que aparecen en , uno se ha restado para mantener la igualdad.
d
Por tanto, la variacin que se produce en I : I, ser:

2 2 2
d

I = d =
d =
x d

x d x

1 1 1

La segunda integral se anula, por ser x = 0 en = 1 , = 2 , en efecto:

2 2

d
1
d

x

x d = x

x 1
La variacin x es arbitraria en el intervalo, pero x ( 1 ) = x ( 2 ) = 0 , para fijar las

condiciones de contorno.
Si I = 0 , siendo la variacin x arbitraria en el intervalo, se tendr:
[II] =0 para todo x

x d x

Que son las ecuaciones del movimiento, totalmente anlogas a las de Euler-Lagrange:
[I], pero ahora sin hacer referencia a ningn sistema coordenado especial. En particular

ser la Lagrangiana covariante:

(x
( ), x ( ), )

II 5
Tal que por [II] reproduzca las ecuaciones del movimiento:

d
d
(
m0 u = k )
Que traducidas al sistema coordenado S dan:
d
dt (m v ) = F

1
con: m = m0
( )
d mc 2 = F v 1 v
2

dt c2
Que representan la transferencia de energa y momento del campo de fuerzas a la part-

cula de masa propia m 0.
Ejemplos de Lagrangianas covariantes:
a) Lagrangiana de una partcula libre (no sometida a fuerzas externas):

Por medio de [II] tendr que reproducir:
d
d
(
m0 u = 0 . )
La analoga de la anterior ecuacin con: (m vi ) = 0 , cuya Lagrangiana es:
d 1
= mvi v i ,

dt 2
sugiere para covariante:
m0
=

u u
2
Que es un escalar Lorentz. Como:

= 0; = m0 u = p
x u
Aplicando [II] se obtiene:

d
d
(
m0 u = 0 )
El resultado esperado, un lnea recta en m4. El cuadrimomento: p = m0 u , no vara con
sobre la lnea de Universo, una lnea con vector tangente u constante para :

d
u =0

b) Lagrangiana de una partcula en un campo electromagntico externo:
Vamos a considerar la Lagrangiana:
m0
= u u + q u A

dx

Con: u = = x , luego los momentos cannicos son: p = = m0 u + q A .
d x

Las ecuaciones de Euler-Lagrange conducen a:

d
d
(m0u + qA ) = q u A ( )
x
II 6
Que se puede escribir como:

d
(m vi ) = Fi
d
(m0 u ) = q u A dA = k ( ) dt
d x d
( )
d m c 2 = F .v
dt

Con: k = q (u A ) , que es la fuerza de Minkowski correspondiente al campo

dA
x d
electromagntico que acta sobre la partcula.
dA A dx A
En efecto, con el trmino: = = x

d x d x
A A A A
Resulta: k = q u u = q u = qu F
x x
x x
A A
Pues x = u , y se renombra el ndice mudo: = . Tenemos que: F = es el

x x
tensor campo electromagntico. As:
k = qF u

Cuadrivector fuerza de Lorentz

Momento cannico de la partcula en un campo electromagntico externo:
Como se ve, los momentos cannicos difieren del momento cannico de la partcula
libre en el trmino que toma en cuenta el potencial electromagntico.
m c 2 + q T + q E
para p0: p 0 = m0 c + q = = =
c c c c
Donde E = T + q es la energa total de la partcula. La componente temporal del mo-

mento cannico proporciona la energa total.
para pi: p i = m 0 u i + q Ai
Con las componentes contravariantes: m0 u i = p i q Ai y las covariantes: m0 ui = pi q Ai ,

realizando el producto escalar miembro a miembro, resulta:
El primer miembro de la igualdad:
m0 2 u i u i = m0 2 c 2
El segundo miembro ser:

(p )
q Ai ( pi q Ai ) = p 0 q , p q A p0 q , p q A ( )

i
c c
( ) ( )
2
2 T2 2
p0 q p q A = 2 p q A

c c
(
T 2 = p q A c 2 + m0 2 c 4 )2

Por lo que:

II 7
Donde: p es el trimomento, y: A = (Ax , Ay , Az ), la funcin potencial vector. Las compo-

nentes espaciales del momento cannico proporcionan la energa cintica T.
El Hamiltoniano Relativista:
Utilizando la expresin de la Lagrangiana relativista:

2 2
= m0 c q + q A v = m0 c 2 1 v q + q A v

c 2
m0
Con los momentos cannicos: pi = = mvi + q Ai , donde: m =
vi 2
1 v
c2
Obtenemos el Hamiltoniano del modo usual:
HR = p v

i i
v2
= (mvi + q Ai )vi = mv 2 + q A v + m0 c 2 1 + q q A v

2
c
v 2
= mv 2 + mc 2 1 2 + q = mc 2 + q = T + q
c

Resulta que: H R = T + q Energa total de la partcula. Aparecer en la componente

T + q H R
temporal del cuadrimomento: p 0 = = .
c c
Si expresamos T, como veamos anteriormente, en funcin de los momentos canni-
cos: T = (p qA)2 c 2 + m0 2 c 4 , entonces HR tambin se puede escribir como:

HR = (p qA)2 c 2 + m0 2 c 4 + q

El Hamiltoniano Covariante:
Generalizando la expresin correspondiente al Hamiltoniano relativista se obtendr:

H C = p u

m0
Donde es la Lagrangiana covariante: = u u + q u A .

Las ecuaciones del movimiento sern ocho en total, dadas por las ecuaciones de Ha-
H C dx H C dp
milton: [I]
= ;
=
p d x d
Donde el tiempo t ha sido generalizado al invariante . Las anteriores ecuaciones son

obviamente invariantes Lorentz.
II 8
Con los momentos cannicos definidos como: p = m0 u + q A , el Hamiltoniano co-

variante toma la expresin:
1 m
H C = m0 u u + q A u m 0 u u qu A = 0 u u
2 2
m0
HC = u u
2
O en funcin de los momentos cannicos:
(p q A )
1 2
[II] HC =
2m0
Que se emplear en [I] para obtener las ecuaciones del movimiento.
Con este Hamiltoniano, la parte espacial de las ecuaciones [I] debe conducir a las
ecuaciones del movimiento. Adems, hay dos ecuaciones adicionales que se obtienen
con el ndice = 0. Una de ellas simplemente indica que p0 es proporcional a la energa
total, resultado ya obtenido anteriormente.
En efecto, derivando en [II]:

H C p0 q A0 dx
= = u0 = 0
p 0 m0 d
Por tanto p 0 q A0 = m0 u0 = m0 c
mc 2 + q T + q
p 0 = mc + q
E Total
De donde: c
= = p0 =
c c c
3. Paso del sistema discreto al continuo. Densidad Lagrangiana
Formulacin Lagrangiana para sistemas continuos:
Toda la formulacin Lagrangiana discutida hasta el momento ha sido diseada para

tratar sistemas con un nmero finito de grados de libertad.
En algunos sistemas mecnicos, los sistemas continuos, el movimiento se ha de des-
cribir especificando para todos los puntos las coordenadas en funcin del tiempo.
P. ej. al estudiar las vibraciones de un slido elstico ha de expresarse cmo contri-
buye a la oscilacin cada uno de los puntos del slido.
El mtodo ms sencillo para considerar las vibraciones del slido es considerarlo
como un sistema discreto y pasar entonces al lmite continuo, obteniendo en este las
ecuaciones de movimiento.
II 9
Paso del sistema discreto al continuo. Densidad Lagrangiana
Transicin del sistema discreto al sistema continuo:
Consideremos un slido elstico unidimensional infinitamente largo (varilla elstica)

que puede vibrar longitudinalmente, esto es sus partculas constitutivas oscilan en la
direccin de vibracin en torno a sus posiciones de equilibrio.
El sistema se aproxima a una sucesin (discreta) de partculas, dispuestas en cadena,
de masa m, con puntos de equilibrio separados una distancia a, sobre las que actan
fuerzas elsticas recuperadoras de constante k.
El esquema sobre el que se desarrollar el estudio es el siguiente:
i1 i i+1
Llamando i al desplazamiento de la partcula i-sima desde su posicin de equili-

brio, la energa cintica de la misma ser:

m
1 1
T= mi 2 , y para todo el sistema: T =

i
2
2 2 i =1
k ( i )2
1
La energa potencial ser de la forma: V= i +1
2 i =1
k es la constante elstica del material, que aparece en la ley de Hooke.
Ya que, en efecto, la fuerza sobre la partcula i se obtendr derivando dicha expre-

sin respecto de i :
V
Fi = = k (i +1 i ) k (i i 1 )
i
El trmino k (i +1 i ) da la fuerza recuperadora debida a la interaccin elstica con la

partcula de la derecha y k (i i 1 ) , con la partcula de la izquierda.
II 10
La Lagrangiana del sistema ser:
[m ]

k (i +1 i )2
1
= T V = 2

i
2 i =1
Que se puede tambin escribir de la forma:

m 2
2
a
1
= a i k a i +1 i =

i

i =1
2 a a i =1
Como suma de Lagrangianas de todas las partculas. Las correspondientes ecuacio-

nes de movimiento i(t), se obtienen sin ms que aplicar las condiciones de Euler-
Lagrange a las coordenadas generalizadas i , i :
d

m
= 0 i k a i +1 2 i + k a i 2 i 1 = 0 Ecuaciones de movimiento
d t i a a

i a
Consideraciones en el paso al continuo:
1) El lmite continuo para el slido elstico unidimensional se obtendr para a0. Cla-
ramente la cantidad m , (masa por unidad de longitud del sistema continuo), pero el
a
valor lmite de ka no es tan evidente.
2) Para un slido elstico que cumpla la ley de Hooke, el alargamiento por unidad de
longitud es directamente proporcional a la fuerza o tensin aplicada, relacin que se
puede escribir:

F =Y
, esto es: F = Y
Donde es el alargamiento por unidad de longitud e Y es el mdulo de Young. Es evi-

dente que el alargamiento de una longitud a de un sistema discreto, por unidad de lon-
gitud, es: =
(i +1 i )
a
La fuerza necesaria para estirar el resorte esta cantidad es:

F = k (i +1 i ) = k a i +1 i = k a
a
Por lo que ka debe corresponder al mdulo de Young de la varilla continua.
3) Al pasar del caso discreto al lmite continuo, el ndice entero i que caracteriza a la
masa puntual particular se convierte en la coordenada de posicin continua x. As, para
a0, i (x). La coordenada generalizada i pasa a ser la funcin campo (x).
Adems, como i (t), entonces: (x, t).
II 11
Paso del sistema discreto al continuo. Densidad Lagrangiana
Por tanto, la cantidad en el lmite:

i +1 i ( x + a ) ( x ) d
lim = lim =
a 0 a a 0 a dx
Ya que a pasa a desempear el papel de dx.
4) De igual modo, la suma extendida a todas las partculas se convierte en una integral
sobre x, la longitud de la varilla, y la Lagrangiana del sistema aparece como:
d
2

1
[I] = 2 Y dx

dx

5) En las ecuaciones de movimiento, en los dos ltimos trminos se tiene en el paso al

lmite:
Y d d
lim
a 0 a dx x dx x a
Que define claramente una segunda derivada de en x.
Por tanto, la ecuacin de movimiento para el slido elstico unidimensional ser:

d 2 d 2
[II] 2
Y =0
dt d x2
Y
Ecuacin de ondas unidimensional, con velocidad de fase: v = , que tendr que

satisfacer la funcin (x, t).
Consideraciones:
1) Por un proceso variacional enunciado para [I], ha de ser posible obtener la ecuacin
de ondas [II].
2) Lo ms importante a considerar es el papel que desempea la coordenada de posi-
cin x. No es una coordenada generalizada!. Slo sirve como ndice continuo que sus-
tituye al ndice discreto i. As como a cada valor de i le corresponde una coordenada
generalizada distinta i , a cada valor de x le corresponde (x): coordenada generali-
zada. Como i depende del parmetro t, puede considerarse la coordenada generalizada
(x) dependiente tambin de t:
(x, t)
3) Si el sistema continuo es tridimensional, la coordenada generalizada depende de
tres ndices continuos adems de t, por lo que tendremos que considerar:
(x, y, z, t)
En este caso, la Lagrangiana tendr la forma:
[III] = dx dy dz
II 12
Donde ! se conoce como Densidad Lagrangiana* del sistema.
Para las vibraciones longitudinales estudiadas anteriormente en el slido lineal, la

densidad Lagrangiana ser:
1
2 2
[I] = Y
x
"
2 t

Que corresponde al lmite continuo de la Lagrangiana #
i. Es la densidad Lagrangia-
na, la magnitud que determina la descripcin del movimiento del sistema.
En sntesis, para las ecuaciones de movimiento vistas en el caso discreto:

m
i k a i +1 2 i + k a i 2 i 1 = 0
a a
$ $
2 (x , t )
Tendremos: i Y el trmino: ka i +1 2 i + ka i 2 i 1
t 2 a a
$ $
i +1 i (x , t ) i i 1 (x, t )
Que podr ponerse: Y:
a x en x a x en x x
Y (x t ) (x t ) , , 2 (x, t )
As pues tendremos, si: ka =Y Y
a x x x x x x2
Y, por tanto, en el lmite continuo, las ecuaciones de movimiento son:

2 2
[II] Y =0
t 2 t 2
Sobre un principio de accin correctamente formulado con la densidad Lagrangiana

! y aplicando las ecuaciones resultantes (ecuaciones de Euler-Lagrange), se podrn ob-
tener las ecuaciones que cumple el campo (ecuaciones [II]). Este ser el objetivo a con-
seguir.
Lagrangiana de un sistema continuo:

En [I], la Lagrangiana depende de: = , y de: , siendo x, t, considerados
t x
$
como parmetros. En general, en un sistema continuo tridimensional, la densidad La-

grangiana puede depender de funciones, y de sus derivadas espaciales y temporales; de
(x, y, z, t), as como explcitamente de x, y, z, t. Entonces la densidad Lagrangiana
tendr una expresin general:
*
Tambin recibe los nombres de Lagrangiano (en Teora de Campos), o sencillamente Lagrangiana.
II 13
Principio variacional en m4. Ecuaciones de Euler-Lagrange

[IV] = , , , x, y , z, t ;
% %
xk = x, y, z
xk t
4. Principio variacional en m4 Ecuaciones de Euler-Lagrange:
Principio variacional en m4:
Las ecuaciones de movimiento provendrn de un principio variacional del mismo

modo que en el caso discreto, a partir de una accin definida de la forma:
2
I= dx dy dz dt
%
Donde x, y, z, t son considerados como parmetros. En el volumen de integracin:

(x, y, z) V; t [t1, t2], lo que vara en cada punto (x, y, z, t = cte), es el valor de la co-
ordenada generalizada (x, y, z, t), y por tanto tambin se producir una variacin de

= y de .
t xk
&
La funcin (x, y, z, t) ser la funcin correcta que describa el sistema fsico en es-
tudio, si cualquier variacin hace que la accin I sea estacionaria (mxima o mni-
ma), esto significa que su variacin I sea nula:
2 2
I = dx dy dz dt = dx dy dz dt = 0
% %
1 1
La variacin de la densidad Lagrangiana se puede escribir:

3

% % %
= + +
%
k =1 xk
&

&

xk
Donde por conveniencia: x, y, z, se han renombrado xk , k =1, 2, 3.
El principio de Hamilton, se puede expresar entonces:

2
+ +
3

% % %
I = dx dy dz dt = 0
k =1 x k
&

&
1
xk
Que podemos escribir:

2

3 3
dx dy dz dt = 0

% % % % %
+ +
t t x k x k
k =1 k =1
& &
1

x k x k
II 14
Haciendo uso de las relaciones:

( ) = = y:

( ) =
t t xk xk
'

Evidentemente, la variacin que efectuamos puede ser cualquiera en todos los
puntos fijos (x, y, z) dentro del volumen de integracin, pero tal que se anule en la fron-
tera de dicho volumen. As pues, las integrales en que aparece la derivada en t y en xk ,
de las expresiones entre corchetes [ ], al integrar en el volumen darn:
Valor en la frontera t 2

(
= 0, pues (x, y, z, t1 t2) = 0

'
Valor en la frontera t 1
Valor en la frontera x k ( 2)
= 0, pues (xk , t) = 0

xk Valor en la frontera x k (1)
De este modo, el principio variacional I = 0 dar:

2

3
dx dy dz dt = 0

) ) )
t
x k
*
k =1
x
1

k
Para cualquiera que sea la variacin producida (x1, x2, x3, t) = 0, de la funcin (x1,
x2 , x3 , t) en el volumen V, lo que es posible slo si se satisface:

3

) ) )
+ =0
t k =1 x k
*

x
k
Que es la ecuacin de movimiento del sistema. Una ecuacin en derivadas parciales

de 2 orden (las ecuaciones de la fsica!), que una vez resuelta con los valores de con-
torno adecuados, nos dar la funcin:
= (x, y, z, t)
Que describe adecuadamente la propiedad asignada a todo punto P V en el intervalo
de tiempos t1< t < t2. Es decir, nos proporciona la funcin campo.
Posibles elecciones de valores de contorno son:

a) , (x, y, z, t1), para (x, y, z, t) en la frontera del volumen V.
t t = t
1

b) , , para (x, y, z, t) en la frontera del volumen V.
t t = t xk =
1 t t1
II 15
Las condiciones: (a) Son las condiciones de Dirichlet en el contorno.

(b) Son las condiciones de Neumann en el contorno.
Como se puede ver, el problema de determinar el movimiento del sistema es total-

mente anlogo a determinar la trayectoria de la partcula pues hay que conocer la posi-
cin (valor de la funcin ) y la velocidad, valor de las derivadas en el contorno.
Caso de varios grados de libertad:
Las forma anterior de la densidad Lagrangiana y la consiguiente ecuacin del movi-

miento ha sido discutida, suponiendo que el sistema puede describirse nicamente por
una funcin = (x, y, z, t).
En un problema ms complicado, por ejemplo la vibracin de un slido elstico tri-
dimensional, pueden producirse desplazamientos independientes a lo largo de tres ejes
coordenados y, por lo tanto, se necesitarn tres funciones 1, 2, 3, que nos den dichos
desplazamientos.
En general el sistema fsico necesita para su descripcin de un nmero determinado
de funciones, j (xk , t), es decir, de j coordenadas generalizadas, y por tanto su densidad
Lagrangiana depender de estas j coordenadas y de sus derivadas, tanto en t como en
las xk. De este modo se obtendrn j-ecuaciones de movimiento; cada una involucra un
grado de libertad, (una funcin j (xk , t)).
As pues las ecuaciones de movimiento sern:

3

+ + +
+ =0 j = 1, 2, 3
t j k =1 x k j j
,

xk

A veces se introduce el concepto de derivada funcional o derivada variacional. La

derivada funcional de la Lagrangiana respecto de j se define como:

3

.
=
- -
j j k =1 x k j

xk
Una definicin similar se hace para la derivada funcional de / con respecto a j , pe-
0
ro ya que /
no depende de los gradientes de j , se tiene simplemente:
0
=
-
j j
0 0
II 16
As, la variacin de la accin I, con estas definiciones, se convierte simplemente en:

3

2 2 2
I = j j + j dV
j k =1
j j
1

j

1
V

xk

3 3
Esto es: I = j + j dV
j j
1
V j 1
Que es exactamente la expresin que se hubiera obtenido aplicando a la ecuacin

[III], ignorando la dependencia en los gradientes de . Las ecuaciones de movimiento
tomaran la forma simple en derivadas funcionales:

3 3
=0
t j j 1
Conclusiones:
Mientras que la expresin en derivadas funcionales simplifica grandemente algunas
operaciones al aplicar el principio variacional, tiende a ocultar el hecho de que las ecua-
ciones de movimiento son ecuaciones diferenciales en derivadas parciales, respecto de
tiempo y espacio. Del mismo modo, singulariza la coordenada tiempo respecto de las
otras tres, aunque hemos indicado que tanto una (t) como otras (xk) juegan el mero papel
de simples parmetros que aparecen en la densidad Lagrangiana . Esta identificacin 4
en el trato a las cuatro coordenadas es lo que se produce en Relatividad y, por tanto, el

proceso descrito previamente a ste es el que podr incorporarse fcilmente a la formu-
lacin covariante. El producto dx1 dx2 dx3 dt es esencialmente el elemento de volumen
cuadridimensional en m4, invariante bajo transformaciones Lorentz.
El principio de Hamilton se convierte automticamente en covariante Lorentz si 4

es
un escalar en el espacio-tiempo.
Las ecuaciones de movimiento en notacin covariante se escribirn pues de la forma:

5 5
=0
=0
x j j

x

Invariantes Lorentz, si 4
es un escalar Lorentz y las j tienen las propiedades de trans-
formacin adecuadas.
II 17
Principio variacional, campo escalar unidimensional:

Veamos el principio variacional sobre un Lagrangiano: = , , , x, t , para un
6 6
x t

(x, t) dado tomamos las funciones variadas: + , + , + .
x x
7 7
Si hemos construido la accin:

t2 x2 t 2
I= dt =
8
dx dt
6
t1 x1 t1
Veamos cunto vale su variacin I:
x2 t2
I= dx dt
6
x1 t1

( ) +
( )
6 6 6
6 6 6
= + + = +
6
t x t
x

t x t x

6 6 6 6 6
= + +
t t x x

t
x
t x
La integral queda:
x t
2 2
x 2 t2 t2 x 2
dt + dx

6 6 6 6 6
I= t dx dt +
x
x1 t1 t1 x1
t x t x x t

1 1
(x 2 , t ) = (x1 , t ) = 0
x2
Ahora bien:
x1
Pues ambos trminos se anulan. En un principio variacional de extremos fijos: (x1),

(x2) son constantes con el tiempo. De la misma forma:
(x, t 2 ) = (x, t1 ) = 0
t2

t1
por ser (t1), (t2) constantes con la posicin. As pues, para que I = 0, para toda va-
riacin , se ha de satisfacer:

9 9 9
=0 Ecuacin de Euler-Lagrange
t x

t x

II 18
Es una ecuacin en derivadas parciales respecto de la posicin y el tiempo que se ha

de resolver para determinar la funcin campo = (x, t).
Ejemplo: Dada la densidad Lagrangiana anteriormente propuesta para el slido elstico

unidimensional, encontrar por aplicacin de las condiciones de Euler-Lagrange, las
ecuaciones de movimiento. As:
1
2 2

:
=
x , se tiene = 0 ; = ; = Y , por tanto:
<
Y
:
2 t x

t x
2 2
Y =0 Ecuacin del movimiento
t 2 t 2
Campo escalar tridimensional:

Definido por una densidad Lagrangiana: = , , , , , x, y , z, t
: :
x y z t
t2
El principio de mnimo sobre la accin: I = dx dy dz dt , genera la ecuacin de Euler-
:
V t1

3

determina el campo =(x, y, z, t).
; ; ;
Lagrange: = 0 ; que
t xk
k =1
t x
k
Campo vectorial tridimensional:
Definido por tres funciones campo: = ( x, y, z, t ) , esto es = x , y , x . Su densidad

= =
k
Lagrangiana ser: = , , x , t , con k = 1, 2, 3; = 1, 2, 3.
: :
xk

t2
k
Del principio de mnimo I = , , x , t dx dy dz dt , se tienen -ecuaciones de
:
xk
V t1

3

; ; ;
Euler-Lagrange: =0.
t x k
t x
k =1

k
Tres ecuaciones, una para cada valor del ndice .
II 19
Lagrangiana del campo electromagntico. Tensor energa-momento
5. Lagrangiana del campo electromagntico. Tensor Energa-Momento:
Lagrangiano de un campo:
As como la partcula queda descrita en mecnica clsica por su masa m, y su funcin

posicin r (t ) en trminos del parmetro tiempo; un campo queda definido por un con-
>
junto de funciones que toman valores en todos los puntos del espacio.
El campo electromagntico est descrito por un conjunto de funciones definidas, no
en un nico punto de m4, sino en cualquier punto x. Dar el campo significa dar las fun-
ciones A (x) o las funciones F (x) que comprenden tanto las variaciones espaciales
como las temporales en cualquier punto x de m4.
Las componentes del campo son las coordenadas generalizadas en cuyos trminos se
construye el Lagrangiano del sistema.
As aplicaremos un principio variacional, con una densidad Lagrangiana definida en
m4 de modo que:
A (x ), A (x ) , x dx 4

[I] I = 0, con: I =
?
x
V4

En general las funciones A (x) pueden ser cualesquiera, es decir escalares Lorentz,
componentes de un cuadrivector (como en el caso electromagntico) o componentes de
un tensor (como en el caso gravitatorio), etc. La condicin para que la teora mantenga
la invariancia relativista es que @ sea un escalar Lorentz, en el caso general, que sea una
densidad escalar.
Procederemos en el caso continuo del mismo modo que procedimos en el caso discreto:
Las funciones A (x) sern las que describen fsicamente el sistema continuo y hacen
mnima la accin definida en [I]. Es decir, en cada punto x V4, en lugar de A (x),
consideramos la funcin variada:
S
A (x) + A (x) V 4
De tal forma que A (x) = 0, para x S (el contorno de V4)
Con tales variaciones en las funciones A (x) se tendr:

A (x )

x
[ ] ( )
A (x ) = A , ;

x
[
] (
A (x ) + A (x ) A (x ) =
x
)
x
= A ,( )
Esto es, la variacin de la derivada es igual a la derivada de la variacin:
( ) (
A , = A , )
II 20
Con lo que podemos ver cunto vara A si variamos las A (x) y A, (x).
Tendremos entonces: I = B dx 4 = ( B
)dx 4
V4 V4
Como consecuencia de la variacin de las funciones campo:
=
B

A +
B

[ A ] = B

A +
(
B
) ( A ) =

A A x A A
B

x

= A + A A
( ) ( )
B B B

A A A

)( A )

Restando el trmino que falta para que quede:
(
B
Si las funciones hacen mnima la accin, la variacin ha de anularse. La accin es un

extremo, por lo que:

I = 0 0 =

B
A (x )dx 4 +
A (

B

A
) (
B
() ) dx 4
A
A
V4

V4
La integral en volumen puede pasar a integral en el contorno de modo que:

A
(
B
() ) dx = ( A ) A 4 B

dS = 0
A
V4 S

P dS , y la variacin de las funciones campo es tal que A (x) = 0

Pues P dx 4 =
R4 R 4
para x S, por lo que la expresin anterior se anula.

Como para x V4 las A (x) son arbitrarias, la accin slo puede anularse si:

= , = 0,1,2,3
( )
B B
A A

Los ndices repetidos indican suma, esto es, se tiene:

=
( )
B B
A A

es el ndice que hace aparecer tantas ecuaciones como variables campo se tenga.
Para un campo escalar slo tenemos una funcin A1(x), y una ecuacin.
Para un campo vectorial, cuatro funciones A (x), =0,1,2,3, y cuatro ecuaciones.
Para un campo tensorial, 44=16 funciones A (x), =0,1,2,3....15, y 16 ecuaciones.
En general, como hemos visto, las funciones campo , pueden ser un conjunto de
funciones (x ) , = 1, 2, ... N; =0,1,2,3, tanto reales como complejas y pueden ser
escalares, vectoriales, tensoriales etc.
II 21
Con ellas construimos la densidad Lagrangiana (invariante Lorentz si deseamos una

teora relativista) C a partir de las funciones y sus derivadas:
D
=
D
(
(x ), , (x ), x )
Formalmente construida con las funciones y sus derivadas de primer orden. Las
ecuaciones del campo se obtendrn (ecuaciones de 2 orden, las comunes de la fsica),

=0
D D
como: =
,

Donde llamaremos: ; ;
D D D
Estas ecuaciones se denominan ecuaciones de campo.
Fijmonos que la variacin se ha impuesto en las funciones campo, y se ha fijado el

volumen, y su contorno. Esto es, se ha operado una variacin que no afecta al volumen
de integracin ni a las coordenadas.
La dinmica del sistema (ecuaciones del campo) queda pues especificada una vez
conocida la Lagrangiana. El problema fsico que se nos plantea es escoger la Lagrangia-
na adecuada. Esta ser conveniente si conduce a las ecuaciones correctas. Es decir,
ecuaciones que una vez resueltas, determinan funciones que describen adecuadamente
los fenmenos fsicos observados.
Es importante constatar que no hay una nica Lagrangiana para un sistema fsico
concreto. Toda funcin Lagrangiana puede modificarse aadindole un trmino de
divergencia, resultando las mismas ecuaciones.
As:
D
=
D
(
(x ), , (x ), x ) , y:
D
=
D
(
(x ), , (x ), x )+ ( (x ), x )
Dan las mismas ecuaciones, ya que:
( )
+ dx = ( )

dx + dx = dx + , x d = dx
D D D D
R R R R R V4
( ) ( )

Como consecuencia de: , x d =
, x d = 0
R R
Ya que: ( , x ) =
, x ( )
, y = 0 en el contorno de R: R.

II 22
Campos complejos: Si las cantidades (x ) son complejas, podemos tomar las par-
tes real e imaginaria como funciones independientes. O de manera alternativa los dos
campos y * como independientes.
Campo electromagntico: Se pueden dar varias formas de Lagrangiana para el

campo electromagntico. Unas y otras diferirn en un trmino de divergencia.
Se pueden expresar en funcin de A (x) o de F (x), o de ambos, por ejemplo:
E
I =
0 c2
4

F F = 0 E 2 c 2 B 2
4
( )
Para el campo electromagntico libre, las funciones A (x) son las funciones campo,
aunque escribamos F
I en funcin de F (x) para mostrar su invariancia ante una trans-

formacin gauge para los potenciales.

E E
Es fcil ver que: I

=0; I
= F
A A ,
por lo que las ecuaciones de campo dan: F, = 0 Ecuaciones del campo libre
O bien en trminos de los potenciales: A = 0

G
Si se toma la condicin subsidiaria en los potenciales: A, = 0 Condicin de Lorenz
Vemoslo detalladamente:
0 c2
La Lagrangiana del CEM libre: = K F F , con: K = , con la que se calculan
E
4

E E

las ecuaciones de Euler-Lagrange: = 0
A A ( )

no depende explcitamente de los A.
E
En primer lugar:
=0
A
F
F F
E E
= = 2 KF , donde F = A A .
En segundo lugar:
A( ) F A ( A ) ( )
F (
A A )=
,
=
Con:
A (
) A(
)

( )
E

= 2 KF 2 KF = 4 KF
A( ) = 2KF
Finalmente: 4 KF = 0( ) F = 0
O bien: ( 2
)
A A = A 2 A = 0 A = 0 A = 0
G
Simbolizamos: 2 G
Con la condicin para fijar el potencial: A = A = 0 : condicin de Lorenz.
II 23
Ejemplo: Lagrangiano de Fermi.
En el sistema de unidades naturales:

H
II
1
4
1
= F F A,
2
( ) 2
No es invariante gauge, pero conduce al resultado: 2

A = 0 , sin condiciones adicionales
I
sobre los potenciales.

Nota: Tomamos A como funciones de campo, aunque explcitamente aparezca F.
Lagrangiano de interaccin con partculas cargadas:
El trmino de interaccin ha de ser tambin un escalar Lorentz, para que lo siga sien-
do la densidad Lagrangiana. De las ecuaciones que dan la densidad de energa electros-
ttica y magnetosttica:
, JA
J
J
podemos expresar la generalizacin covariante Lorentz:

J A
Con este escalar Lorentz que contiene las fuentes de campo, escribiremos la densidad
Lagrangiana:
0 c2
[I] = F F J A
H
Hemos de tener en cuenta que las funciones campo son A. Expresando [I] en fun-
cin de estos potenciales:
[II]
H
=
0 c2
4
c2
( )(
F F J A = 0 g g A A A A J A
4
)
Donde hemos utilizado: g g F = g F = F
=0
Hallemos las ecuaciones del campo: A
( ) A

F F

0 c2
H
= +
Con:
(
A ) 4
g g

F F

Los cuatro trminos son iguales, dada la antisimetra de F y la simetra de g.

En efecto:
g g F = g g F = g F = F
g g F = g g F = g F = F = F
II 24
g g F = g g F = g F = F
g g F = g g F = g F = F = F

= 0 c 2 F = 0 c 2 F
As:
( )
K

Como: = J Las ecuaciones del movimiento son:
K
[III] 0 c 2 F = J F = 0 J
Que son las ecuaciones no homogneas de Maxwell en forma covariante.
Las ecuaciones homogneas se cumplen automticamente, por la forma en que se ha

definido el tensor campo electromagntico en funcin del cuadrivector potencial:
*F =
1
F = ( A A )
1

2 2
= A A = A
1 1
2 2
Ya que por la antisimetra, y al ser los ndices mudos:
A = A = A
Por tanto:
*F = A 0
Nulo por ser el operador simtrico y antisimtrico en todos sus ndices, para
todas las permutaciones impares. As las ecuaciones de Maxwell homogneas:
*F = 0
se obtienen de modo trivial.
Del mismo modo vemos que J es de divergencia nula pues:

J = 0 c 2 F = 0 c 2 F = 0 c 2 F = 0 c 2 F
El orden de derivacin no cambia el resultado.
Entonces: J = 0
Lagrangiano de Proca:
En el Lagrangiano anterior hemos considerado el trmino de interaccin del cuadri-

vector corriente con el cuadrivector potencial. Introduzcamos un trmino de interac-
II 25
cin escalar con el cuadrivector potencial. Para que la densidad Lagrangiana contine
siendo un escalar, el trmino ms sencillo ser de la forma:
0 c2 2
A A
2
0 c2
Donde el coeficiente se ha puesto por conveniencia. Veremos ms adelante qu
2
significado puede darse al escalar .

La Lagrangiana resultante se conoce como Lagrangiano de Proca:
0 c2 c2
= F F + 0 2 A A J A
L
PROCA
4 2
Las ecuaciones de movimiento son:

F + 2 A = 0 J
En contraste con las ecuaciones de Maxwell, en las que aparecen nicamente los
campos, que son los que tienen significado fsico real (observables), aqu aparecen tam-
bin los potenciales, que se haran observables a travs del trmino .
La ecuacin anterior se puede escribir:
( )
A A + 2 A = 2 A A + 2 A = A + 2 A = 0 J
M
donde hemos utilizado el gauge de Lorenz: A = 0 .
Esto es: [I] M

A + 2 A = 0 J
Que en el lmite esttico (si los potenciales no son funciones del tiempo) queda:
2 A + 2 A = 0 J
Si la fuente es una carga puntual en reposo se tendr: J (r ) = (c q (r ), 0, 0, 0) , y por tanto

N N
la nica componente no nula en S ser:
2 A0 + 2 A0 = 0 c q (r ) N
(r )
Teniendo en cuenta que A0 = , la solucin para la ltima ecuacin es:
N
1 q e r
(r ) = Potencial de Yukawa
4 0
N
Este ser el potencial de una carga puntual q, con parmetro asociado 0, que no
tiene el comportamiento predicho por la ley de Coulomb.
II 26
Significado de :
Sabemos que en ausencia de fuentes, una onda electromagntica que en S se propaga

en una direccin dada k viene determinada por funciones potenciales del campo elec-
O
tromagntico de la forma:
j t k u r
P
A = A 0 e
O
Si, en ausencia de fuentes, las funciones A han de cumplir la ecuacin [I], en S se

2 2
tendr: + k 2
+ 2
= 0 = k2 + 2
c2 c2
2
Q
Multiplicando esta ecuacin por , se tendr:

2

= ( k) + ( )
2 2

R R R
( , k)/
Q Q
Fijmonos que la partcula con energa y momento

R
P = , k
R
c
S
2

Y cumple: ( k )2 = 0 , es el fotn, que tiene masa nula.
R R
c
2

( k ) = ( ) = m0 c
2 2 2 2
As que la ecuacin:
R R R
c

R
Corresponde a asignar al fotn una masa en reposo: m0 = .

c
Si = 0, m = 0. Luego un parmetro 0 significara una masa del fotn no nula

ya que su energa-momento no sera de tipo luz.
Para la evidencia experimental de que = 0, vase: J.D. Jackson "Electrodinmica

Clsica", seccin 12.9.
Tensor energa-momento:
Se corresponde con el Hamiltoniano que contiene los aspectos energticos asociados

al movimiento de partculas.
Si la Lagrangiana es:
U
=
U
(x
, x , T )
Se definen los momentos cannicos del modo:

U U
d
V
p = = ; = = velocidad generalizada
V

d
T
d
V
= p
X
Y se forma del modo:

U
II 27
Para un campo k, tenemos una Lagrangiana que depende de las funciones campo
y sus derivadas:
k
, k = , x k
k
=
Y Y
Tomemos el equivalente a las velocidades. Para la funcin k, las velocidades sern:

k
= k
x

Y
De donde el momento cannico:

k( )
Multipliquemos el momento por cualquiera de las velocidades:
k
Y Y
k =
(
k ) (
k ) x
Que es una cantidad que depende de dos ndices y . Le restamos Z haciendo aparecer
dos ndices con la mtrica g, tendremos:
)( ) g

Y
T =
(
k Y
Que es un objeto denominado tensor energa-momento, que se espera contenga in-

formacin de las propiedades del campo.
Tensor energa-momento del campo electromagntico:
Se obtendr de la correspondiente Lagrangiana del campo. Para el CEM libre:

0 c2 c2
= F F = 0 F F
Y Y
em
4 4
Y, por tanto el tensor energa-momento correspondiente:
) ( )

Y
T =
A g
(
em Y
A
em
= 0 c 2 F
El tipo de derivada que hemos hecho anteriormente es:
(
A
)
Y por lo tanto: T = 0 c 2 F A g ( ) Y
em
Para:
Y
em =
0 2
2
(
E c2 B2 )
Podemos referir las componentes de T en un sistema S dado*:
T 00 =
0 2
2
(
E c 2 B 2 + 0 E ) ( )[
T 0i (
= 0 c E B i + 0 c Ai E[ [
) [
( ) [

T i 0 = 0 c 2 E B i + 0 c B i
1
( (Ei ) ) ( )
x 0

[
[ [ [
*
Vase: J. D. Jackson "Electrodinmica Clsica", Sec. 12.10
II 28
1 E
]
Donde hemos hecho uso de: E = 0 , y: B =0

] ] ]
c x0
\
Extendamos a todo el volumen tridimensional las siguientes integrales:
(E )
0
T dv = c 2 B 2 dv + 0 (E ) dS = energa total del campo
00 2
]
2
V V S
0
los campos tienden a cero en el infinito
Del mismo modo:
T dv = 0 c (E B ) dv + 0 c (A E )dS = c componente i del momento total del campo

0i
]
] ] ]
i i
V V S
0
Hemos tenido en cuenta que 0 (E B ) = 0 (E H ) 0 =

(E H ) = g (densidad de momento).
] ]
] ] ] ]
2
c
Clculo de la divergencia del tensor energa-momento:

T = A ( )
= (
A + ) A g
( ) ( ) ( )
em em em
g
^ ^ ^
A

em
A A em
^ ^

Utilizando las ecuaciones de movimiento: = 0 , resulta:
( )
^ ^
A
A
) ( A ) = (A , A ) (A , A ) = 0

T = A +
_ _
(
em em

_ _ _

A
em em em
A
Luego, como ^
em = ^
em (A
, A ), y no es funcin explcita de x , el tensor energa-

`
momento cannico cumple:

T = 0
T = 0 como relacin geomtrica
Existen ciertos inconvenientes, para esta definicin de T:
a) T no es simtrico.
b) T 00, T 0i, difieren de las expresiones del momento y la energa del
CEM que se usan habitualmente.
c) T contiene explcitamente a los campos y a los potenciales, y slo
debe contener a los campos, que son los entes con sentido fsico.
La solucin a estas objeciones est en simetrizar T, y obtener un tensor equivalente

que contenga su misma ley diferencial T. Tal tensor se denomina tensor energa-
momento simtrico.
II 29
Simetrizacin:
En este caso, tomemos: F = A A A = F + A
Sustituyendo en la definicin de T, y con la expresin de la Lagrangiana:
( )
T = 0 c 2 F A g em ( ) c2
= 0 c 2 F F + A g 0 F F
4

a
0 c 2
= 0 c 2 F F + g F F 0 c 2 F A
4
g
= 0 c 2 F F + (F : F ) 0 c 2 F A
4
Donde significamos con (F:F) el escalar obtenido por la doble contraccin de ndices.
Con lo que: T = + TD , siendo TD un tensor de divergencia nula, y el tensor
, el tensor energa-momento ya conocido, ahora simtrico, que correctamente tiene
asociadas a sus componentes las magnitudes que representan energa y momento del
CEM.
Veamos que TD es un tensor de divergencia nula:
Primero transformamos:
[ ]
TD = 0 c 2 F A = 0 c 2 F A = 0 c 2 F A + A F = 0 c 2 F A ( )
Ya que: F = 0 , si el campo es libre (J = 0).
Y calculamos su divergencia:
(
TD = 0 c 2 F A )
= 0 c 2 (F
A )= 0c
2
( ) (
F A = 0 c 2 F A )
igual, y de distinto signo, luego: TD = 0
As: T =
Luego T y darn lugar a las mismas leyes, tras operar sobre ellos la tetradive-
gencia. Es preferible considerar siempre el tensor energa-momento simtrico .
Existe un mtodo general de simetrizacin*.
*
Vase: L. D. Landau, E. M. Lifshitz "Teora Clsica de los Campos", Sec. 33
II 30
Radiacin de cargas en movimiento
1. Los potenciales de Linard-Wiechert:
Los potenciales de Linard-Wiechert generan los campos de una carga q en movi-

miento arbitrario sobre una trayectoria definida: f (t ) .
Al estar q acelerada radia energa y mo-
mento. Si tiene una velocidad: u (t ) = f ' (t ),
Posicin q,t f (t )
retardada entonces tiene una energa y un momento
t' < t
definidos.
r ' (t )

q,t'
R (t ' ) P (r, t) Vamos a estudiar los campos generados
por la carga en movimiento cuando viaja so-
bre su trayectoria. Consideraremos los campos

r ' (t ')
r
en el punto r y en el instante t. Estos campos
O han sido emitidos desde la posicin retarda-
da de la carga, esto es, desde r ' (t ' ) .
En un instante t' anterior a t, la posicin de la carga sobre la trayectoria es: r ' (t ' ) ,
tendremos el vector relativo: R = r r ' (t ' ) que une un punto fuente: r ' (t ' ) con un
punto campo: r . El mdulo del vector relativo es: R = r r ' (t ' ) , y ha de satisfacer:
2
R = c 2 (t t ' ) 2 *, puesto que la informacin no ha viajado desde q hasta P con una ve-
locidad infinita, sino que ha tardado un tiempo finito para hacerse efectiva en r , ya que
los campos se propagan a la velocidad de la luz c. La condicin de retardo que han de
satisfacer los tiempos (t, t') es: + R = c (t t ' ) .
La densidad de fuente para una carga q en un punto del espacio es:

( r , t ) = q ( r f (t ))
Con la delta de Dirac se describe a una carga puntual que sigue la trayectoria f (t ) .
Los potenciales electromagnticos escalar y vector que crea esta carga en el espacio
son: (r , t ) ; A(r , t )
*
El intervalo entre la carga y el punto campo es de tipo istropo, as pues:

( )( )
s q, P 2 = c (t t ' ), R c(t t ' ), R = c 2 (t t ' )2 R
2
=0 c 2 (t t ' )2 = R
2
III 1
Los potenciales de Linard-Wiechert
Para hallar el potencial escalar cabe resolver la ecuacin:

1 2
2 2 =
2

(r , t )
=

q r f (t ) ( )
c t 0 0

Que tendr dos soluciones: el potencial retardado (correspondiente a: + R = c (t t ' ) ),

y el potencial avanzado (correspondiente a: R = c(t t ' ) ).
La solucin fsicamente aceptable para esta ecuacin diferencial es el potencial retar-

dado. El potencial avanzado no tiene realidad fsica, ya que considerarlo significa poder
determinar los campos creados por una carga en un instante t', posterior a t.
As, propondremos como solucin:

[ (r ' , t )] 3
(r , t ) =
1
4 0 V '(r ' ) r r '
d r'

Con la notacin: [ (r ' , t )] , significamos considerar el valor de (r ' (t '), t ) en el punto r '

y en el instante t' tal que: c(t t ' ) = R = R = r r ' (t ' )

r r ' (t ')
Entonces: f (t ' ) = f t = f t R
c c

r r'
r ' f t
c
3
(r , t ) =
q
4 0 V '(r ' )
Con lo que: d r'
r r'
Y hay que extender la integracin a todo el volumen V ' donde se pueden encontrar las
cargas.
Haremos un cambio de variable para imponer la condicin de retardo. Si suponemos
R
que: [I] r1 (t, t ' ) = r ' (t ' ) f t
c
La expresin anterior para el potencial escalar se puede escribir como:

(r1 (t, t ' )) d 3 r1
(r , t ) =
q
4 0 V (r ) r r ' J

1 1
Ahora se integra sobre las coordenadas: (x1, y1, z1), en el volumen V1. Al realizar el
cambio de variable definido por [I], la relacin entre los elementos de volumen es:
( x1 , y1 , z1 ) 3
d 3 r1 = d r ' = J d 3r '
( x' , y' , z ' )

Donde: J, es el Jacobiano de la transformacin r ' (x', y', z') r1 (x1, y1, z1).
III 2
Entonces, se tiene que:

(r1 (t, t ' )) d 3 r1
(r , t ) =
q q 1
[II]
4 0 V (r ) r r ' J
=
4 0 J R

1 1
r1 =0

Pues la contribucin de la aparece cuando: r1 = 0 . Hemos visto que:
R
r1 (t, t ' ) = r ' (t ' ) f t
c
Imponiendo esta ltima condicin, tenemos que:

R R
r ' (t ') = f t , y por tanto: t' = t .
c c

As, la condicin r1 = 0 , nos indica que hay que calcular [II] referido a la posicin
retardada de la carga, esto es, en el instante retardado t'. Esta es la condicin de retardo.
Clculo del Jacobiano:

Para pasar de un punto con coordenadas (x1, y1, z1) a otro con coordenadas (x', y', z'),
hemos de operar la transformacin:
x1 = x ' f x t R ( c
)

[I'] y1 = y ' f y t c(
R )

(
7 z1 = z ' f z t R c )
Segn la relacin que se estableci en [I]. El Jacobiano de: (x', y', z') (x1, y1, z1), es:
x1 x1 x1
x ' y ' z '
y1 y1 y1
J=
x ' y ' z '
z1 z1 z1
x ' y ' z '
Hay que calcular las derivadas, por ejemplo:

x1 1 R
= 1 f 'x
x ' c x '
Como: R = (x x')2 + (y y')2 + (z z')2 , entonces: R
=
(x x') , y por tanto:
x ' R
x1
= 1+ f '
(x' x )
x '
x
Rc
Donde f ' x es la derivada de la componente x de la funcin vectorial f respecto del
argumento.
Haciendo lo mismo con cada una de las derivadas, el Jacobiano queda:
III 3
1+
(x' x ) f ' (y ' y ) f ' (z ' z ) f '
Rc
x
Rc
x
Rc
x

J=
(x' x ) f ' 1+
( y ' y ) (z ' z ) f ' = 1 + 1 (r 'r ) f ' t R = 1 R f ' t R
y f 'y y
Rc Rc Rc cR c cR c
(x' x ) f ' ( y ' y ) f ' 1+
(z' z ) f '
z z z
Rc Rc Rc

Sustituyendo el valor del Jacobiano en [II] teniendo en cuenta que: R = r r ' , y que

u = f ' (ntese que la derivada es respecto del argumento) es la velocidad de la carga en
un punto sobre la trayectoria; el potencial escalar va a quedar como:

(r , t ) =
q 1

4 0 R u
R
c
0

El subndice |0 indica que se satisface: r1 = 0 . Es decir, el corchete se calcula en el
instante retardado t'. Esta es la expresin del potencial escalar de Linard-Wiechert
para una carga puntual q en movimiento.
Procediendo anlogamente con el potencial vector, nos encontramos con que se ha de

resolver la ecuacin diferencial:

2 A(r , t ) 2
1 2
A (r , t ) = J (r , t ) = (r , t )u
0 0
c t 2

Donde: J (r , t ), es la densidad de corriente y, como hemos visto, u representa la veloci-
dad de la carga en cualquier punto de la trayectoria. La solucin de esta ecuacin dife-
rencial es el potencial vector de Linard-Wiechert:

0 q
A (r , t ) =
u

4 Ru
R
c
0

Para sistemas inerciales, tanto A (r , t ) como (r, t ) sern parte de las componentes de
un cuadrivector que representaremos por A (x) en el espacio de Minkowski.
Obtencin de los campos:

Los campos elctrico y magntico que genera la carga en P (r , t ) se calcularn con

A(r , t )
estos potenciales: E (r , t ) = (r , t )
t
B(r , t ) = A(r , t )
III 4
Al calcular tanto el rotacional como el gradiente en coordenadas cartesianas, hemos

de tener en cuenta derivadas parciales del tipo:
( x + x , y , z , t ) ( x , y , z , t )
= lim
x x0 x

Con la expresin del potencial: (r , t ) =
q 1
, se tendr que:
4 0 R u
R
c
0

(r , t ) q 1 R u R R u
= 2
x 4 0 R u x c x c x
R
0

c

Calculada en el tiempo t', es decir, con: c (t t ' ) = R .
Es preciso notar que si (en el punto campo) pasamos del punto de coordenada x al
x + x , para calcular el valor de tenemos que considerar que el punto fuente: (x', y',
z') se mueve sobre la trayectoria hasta el punto prximo: ( x'+ x ' , y '+ y ' , z '+ z ' ), pues

se tiene que seguir cumpliendo la condicin: c (t t ' ) = R . As pues, al calcular las deri-
vadas tendremos que considerar la dependencia de las coordenadas del punto fuente.
Al pasar de x a x + x , sobre la tra-

(x'+x', y'+y', z'+z') (

u r ' + r ' ) yectoria, se tendr en general otro valor

de u en el punto variado r '+ r ' , luego
u r'()
(x', y', z') hay que considerar tambin la derivada

(x, y, z)
u
R sobre la trayectoria.
x
r'
r
Evidentemente, tanto R como R = R

f (t ) O (x+x, y, z)
varan con x, y adems con: x', y', z', que
hemos visto que varan para mantener la
condicin de retardo.
Calculemos algunas derivadas parciales para obtener los campos:
x
: Con: R = + (x x')2 + (y y ')2 + (z z')2 , se tiene:
III 5
R (x x ' ) x ' (y y ' ) y ' (z z ') z '

= 1 + +
x R x R x R x
R
Por la condicin de retardo r ' = f t :
c
x' 1 R y' 1 R z' 1 R
= f 'x ; = f 'y ; = f 'z
x cx x cx x cx

( )
Con: u = f ' x , f ' y f ' z , y: R = (x x ') i + (y y ' ) j + (z z ') k , sustituyendo y agrupan-
do trminos:

R (x x ' ) R u R
= +
R
=
(x x')
, despejando:
x R cR x x R u
R
c
0
El subndice |0 indica que el corchete se calcula en el instante retardado t'.
R R
Operando del mismo modo para y obtenemos que:
y z

R 1
R = = R Donde: =
R u 0 R u
R R
c c
0
Este factor: , es de aparicin tpica en las expresiones y, como hemos visto, proviene
del retardo en la propagacin desde el punto fuente al punto campo.

R A
: Que aparecer al calcular la derivada .
t t

R r r' R r'
Con: R = r r ' = = , pues estamos consideran-
t t t t t

do el mismo punto campo: r = x i + y j + z k , para todo instante t.

t' 1 R r ' (t ' ) r ' t ' 1 R
De: t' = t R c = 1 , luego: = = u 1
t c t t t' t c t
Teniendo esto en cuenta, a partir de la derivada del producto:

R R( =
) ( )
R2
= 2R
R
, y como: R = R u R , con: u R = 1 , se tiene que:
t t t

R
=
1 R R( ) R
= uR
r'
= u R

1 R
= u R u 1
t 2R t t t c t

1 R u 1 R R R u
Luego: = u R 1 , despejando: = = R u
c t c c t t R u
R
c
III 6

R R r' 1 R R
: = = u 1 = u R , = R u
t t t c t t

( )
u
: Como: u = f ' t R , derivada respecto del tiempo retardado: tr = t R :
t c c
( ) (
u u tr d u t c t c 1 R
= =
R
=u
R
= u 1
)
= u R ,

u
= Ru
t tr t d tr t t c t t

u
:

=

=

u u tr d u t c
R
= u
(
1 R Rx
= u
),

u
=
Rx
u
x x t r x d tr x c x c x c
Tras calcular todas las derivadas y agrupar trminos, se obtiene para los campos de-
rivados de los potenciales de Linard-Wiechert:

q 3 u 2 u R
E (r , t ) = R R + R R u
u
1
4 0 c 2
c c2 7 c
0
B (r , t ) c 0
H (r , t ) =
0
=
R
[R E (r , t )] 0
Si observamos las expresiones de los campos, vemos que son sumas de trminos de-

pendientes de u y de u , se pueden desdoblar entonces en:

E = Ev + E a H = Hv + Ha
Que son los campos de velocidad y de aceleracin.
Campos de velocidad:
Acompaan a la carga en su movimiento por el espacio y la arropan en sus proximi-

dades. Son campos estticos que varan a grandes distancias con R2. Se denominan
campos ligados.

Con la notacin: =uc , y: n = uR

La forma explcita de los campos de velocidad, haciendo u = 0 en la expresin general:

Ev =
q 1 1 2
(
4 0 R 2 1 n )3
(n )

H v = c 0 n Ev
III 7

Al calcular el vector de Poynting de estos campos: P = E H , vemos que su flujo a
travs de una superficie esfrica de radio R muy grande tiende a cero, por tanto estn
ligados a la carga.
R
Y es que: P 1
R4
; como: dS R 2 , entonces: P dS 1
R2
0 , y: dS = 0
P
R

Para el lmite de bajas velocidades: 0 , obtenemos los campos determinados por
las leyes de Coulomb y de Biot-Savart:
q 1
Ev = n Campo de Coulomb
0 4 0 R 2
q 1
Hv = (u n ) Campo de Biot-Savart
0 4 R 2

Podemos observar que no se nota el efecto de retardo, es decir: r ' (t ') r ' (t ) , son cam-
pos estticos.
Campos de aceleracin:
Liberan energa y momento en forma de campo electromagntico radiado a velocidad

c. Una vez emitidos evolucionan libremente en el espacio, cumpliendo las ecuaciones de
Maxwell en el vaco. Son campos que varan a grandes distancias con R1. Se denomi-
nan campos libres o campos de radiacin.

Su forma explcita, haciendo u 0 en la expresin general:
{( ) }

q 1 n n u
Ea =
4 0 c 2 R
(
1 n 3 )
H a = c 0 n E a
Si calculamos con estos campos de aceleracin el vector de Poynting, y determina-

mos su flujo a travs de una superficie esfrica de radio R muy grande, vemos que ahora
no es cero, como ocurra con los campos de velocidad, sino una cantidad finita:

Y es que: P 1
R2
; como: dS R 2 , entonces: dS 0 .
P
R
Este flujo finito representa la energa-momento que abandona el sistema de la carga,

y lo hace asociado a los campos de aceleracin que se comportan as como radiacin
electromagntica.
III 8
2. Radiacin de una carga puntual acelerada. Invariante de radiacin:
Potencia radiada por una carga acelerada:
Si calculamos explcitamente el vector de Poynting de los campos de aceleracin:

2
P(r , t ) = Ea (r , t ) H a (r , t ) = c 0 E a (r , t ) {n E a (r , t )}= c 0 Ea (r , t ) Ea (r , t )n = c 0 Ea (r , t ) n
Vemos que su direccin en el instante t es la del vector radial desde la posicin retarda-
da de la carga.

Con el mdulo de Ea resulta que el vector de Poynting de la carga acelerada:
{( ) }
2
q 1 2 n n u
P (r , t ) = 0 2
16 c R 2 (
1 n 6 ) n
Cuyo flujo a travs de una superficie es la potencia radiada por la carga, potencia que se

recibe en el punto campo r en el instante t.

Obtenemos el flujo a travs de dS , situado en el punto campo r :
2

n n u n dS {(
) }
0 q 2
P(r , t ) dS =
1 n 6

(
R2
, donde: =
)16 2 c
n dS
Por definicin de ngulo slido: d = 2 . Que es el ngulo slido con el que se ve el
R
elemento de superficie del punto campo: dS , desde el punto fuente (la propia carga).
Esta ley es no local, pues calcula la

cantidad de energa en el punto r y en el

u R = c(t t ')n instante t con magnitudes definidas en la

dS posicin r ' y en el instante t' (posicin
n
retardada de la carga).

r ' (t ') P (r , t ) Para hallar una ley local, considera-
r
remos la cantidad de energa dW|0 que

f (t ) O
emite la carga en dt', en la direccin del
ngulo slido:

dW|0 = (t') dt'

Donde (t') es la potencia emitida por la carga acelerada en el punto campo. Se tiene
que la energa medida en t es:

dW = (t) dt
III 9
Radiacin de una carga acelerada. Invariante de radiacin
Como dW|0 = dW, entonces: (t') dt' = (t) dt

Y ya que en t: d (t ) = P (r , t ) dS

Se tiene que: d (t') = P (r , t ) dS dt
dt '
dt
Tenemos que calcular :
dt '
dR R dx' i R
Como R (r = cte,r ' ) :
3
= = u = n u
dt ' r =cte i =1 x ' i dt ' R
dt ' dR dt ' dt ' dt '
De R = c (t t '):
dR dt '
= c 1 = = n u 1 = n ,
dt dt dt ' dt dt dt dt
dt ' 1 dt
despejando: = = 1 n
dt 1 n dt '
Sustituyendo en la expresin de la potencia:

dt

n n u {( ) } 2
) (1 u )d

d (t ' ) = P (r , t ) dS
dt '
=
1 n 6 (
As, la potencia radiada por la carga q por unidad de ngulo slido ser:
{( ) }
2
d (t ' ) 0 q 2 n n u

[I]
d
=
16 2 c 1 n 5 ( )

Y es potencia emitida, en el instante t' y en el punto r ' , por unidad de ngulo slido en

la direccin n . Esta expresin es local, pues queda determinada por las propiedades de

la carga en r ' y t'.
Con esta expresin podemos calcular la distribucin angular de la radiacin en el ins-

tante t' para cualquier direccin n .
Integrando [I] a todo el ngulo slido, obtenemos la potencia total radiada: energa

total radiada por unidad de tiempo en el instante t' por la carga q desde la posicin r ' :

{( ) }
2
0 q 2 n n u
(t') =
16 2 c

(
1 n 5 ) d , evaluando la integral:
(t ') =

0 q 2 u 2 u( )
2
[II]
6 c 1 2 3( )

Que es la potencia total radiada por la carga en el instante t' desde la posicin r ' .
III 10

Advirtase que la expresin anterior es siempre positiva. Para u = 0 (t ') = 0 : Slo
hay potencia radiada cuando la carga se acelera.
Radiacin a bajas velocidades:

Cuando 0 , la expresin de la potencia radiada por unidad de ngulo slido en la
{( ) }
2

d (t ' ) 0 q 2 uR u R u

direccin u R = n :
d
=
16 c
2
1 uR 5 ( ,
)

d (t ' ) 0 q 2 2
se convierte en: = u u
d
R
16 2 c
Que, como:
2
u R u = u sin ,
2 2

donde: = , u R ( )

queda:
d (t' , ) = 0 q 2 2 2
u sin
d 16 2 c
En la figura podemos ver el diagra-

P()
ma polar de potencia de la radiacin.
La potencia por unidad de ngulo s-

lido se distribuye de forma proporcional
a sin 2 . En este caso tendremos radia-

cin dipolar. En max = se encuentra
2
el mximo de radiacin.

La potencia total radiada, considerando 0 en la expresin [II] es:

(t ') = 0 q
2
u 2
6 c
Esta es la Frmula de Larmor para partculas cargadas.
Esta expresin es todava vlida para casos que no sean extremadamente relativistas,

es decir, cuando 0 sin ser muy prximo a 1. Est calculada en el sistema de refe-
rencia en el que la carga est instantneamente en reposo.
Como u es la aceleracin de la carga, y sta es independiente del sistema de referen-

cia inercial que se considere, se puede formular una cantidad invariante: el invariante
de radiacin para la potencia total radiada.
III 11
Radiacin a altas velocidades:
Recordemos que la potencia total radiada viene dada por:
(t ') =
2
0 q 2 u 2 u ( )
6 c 1 2 3 ( )
1
Si llamamos al ngulo que forman y u , con: = , podemos escribir la
1 2
expresin anterior como:
[
(t ') = 0 q u 2 6 1 2 sin 2 ]
2
6 c
Cuando: u c , entonces: . Como:
(t ') = 0 q
[ ]
2
u 2 6 sin 2 + cos 2 2 sin 2
6 c
(t ') = 0 q
[ ]
2
u 2 4 2 cos 2 + sin 2
6 c
!#"
Para || u , = 0, sin = 0. Cuando: u c, entonces

( ) como 6.
Para u , = , cos = 0. Cuando: u c, entonces
2
(!#" ) como 4.

Si en el caso || u queremos aumentar, p.ej. en 1 km/s, la velocidad de la carga, la
cantidad de energa a suministrar cuando la velocidad de sta es de 10 km/s es mucho
menor que cuando la velocidad es de 1000 km/s. El escaln de energa necesario para
aumentar la velocidad una cantidad determinada, en un cierto tiempo, es la energa que
va a ser radiada por la carga durante el proceso de aceleracin*.
Cada vez va a ser ms difcil acercar la carga hasta la velocidad de la luz (hara falta
una energa infinita para darle a una velocidad exactamente igual a c).

Del mismo modo, para u , a altas velocidades es cada vez ms difcil (requiere
ms gasto de energa) "doblar" la trayectoria de la partcula.
Conocida la velocidad y la aceleracin de una partcula cargada, utilizaremos [I]:
{( ) }
2
d (t ' ) 0 q 2 uR u R

u
d
=
16 2 c 1 uR 5 ( )

para calcular la distribucin angular de la radiacin en la direccin de observacin u R .
*
De la misma forma, cuando una partcula cargada libre cambie su velocidad, por ejemplo al interaccio-
nar con materia en reposo sufrir una brusca desaceleracin, perder una cantidad de energa que ser
emitida en forma de radiacin. Este es el origen de la radiacin de frenado o Bremsstrahlung, de la que
las ecuaciones anteriores dan un explicacin clsica.
III 12
Aceleradores lineales:
% %$
Cuando se aceleran partculas cargadas de manera que: || u , estamos empleando un
acelerador lineal o linac.
% % $ %
En este caso, en trminos del ngulo: = || u , u R , se tendr:

&
d (t ' ; ) 0 q 2 $ 2 sin 2
=
(1 cos ) 5
u
d 16 2 c
Tenemos nodos de radiacin, direcciones en las que las cargas no radian. As, para:
&
d (t ' , )
= 0, , se tiene que: =0
d
Hay que sealar que el mximo de radiacin se ha desplazado respecto del caso de
radiacin dipolar visto para bajas velocidades, que estaba en:
&
= , ahora se tiene que:
d d (t' ; ) 0
2 d d =
2
Y el lbulo de emisin se centra en un ngulo: max < . Hallemos la direccin del

2
mximo:
&
Igualando a cero la derivada de:
d (t ' ; ) , respecto de cos , se tiene:
d
1
cos max = 1 + 15 1 para 0 : max < 2
2
3
1
que escribimos en funcin de = , se tiene para la direccin del mximo:
1 2
12
15
41
16 2
1
cos max =
12
1

3 1 2

1
Si 1, entonces 1 << 1, y al desarrollar en potencias de: 1 cos max 1 .
2
2
8 2
Si, por otra parte, desarrollamos la funcin coseno para ngulos pequeos:
1 2 1 1
cos max 1 max 1 2 , con lo que: max
2 8 2
Cuando: 1, max 0 , la direccin en la que se emite la radiacin mxima se acer-
ca cada vez ms a la direccin de la velocidad de la partcula acelerada.
III 13
Al aumentar la velocidad, el patrn de potencia se inclina en el diagrama de radiacin,

y se aproxima cada vez ms al tipo rayo, no al tipo dipolar*. Vemoslo en la figura:
Para = 0.90, se tiene: 2.29, con lo

=/2 1
que: max = 0.224 rad, y: 0.218 .
2
max La radiacin calculada con estos valo-

res en la direccin de max con la frmula:
'( ' *
u d (t ' ; ) 0 q 2 ) 2 2
= u sin
d 16 2 c
resulta ser 1700 veces mayor que la cal-
culada en la direccin = .
2
Acelerador sincrotrn:
+ +)
En el caso en que: u , tenemos radiacin de tipo sincrotrn. Para la aceleracin
+ +)
de partculas cargadas en rbitas circulares estables (en las que permanentemente u )
+ +)
se utiliza un acelerador sincrotrn. El plano que determinan y u es el plano orbital.
La posicin del mximo, desde la fr-

+) mula general:
u P +
d
*
(t') =
0q 2R
+
uR {(u+ + ) u+ ) } 2
q d 16 c2
R (1 u+ )
5
+ +) + +)
plano orbital Como: u , el producto: u = 0 . En
+
el numerador tenemos:
+
(+ +) +
)( +)
) (
+ +
uR u u R u 1 u R ) 2
Al elevar al cuadrado, tal expresin se convierte en:

+ +
)
( ) ( )(
+) +
u 2 1 uR 2 1 2 u uR 2 )
+) + ) + +
Como: u u R = (u sin ) cos , y: u R = cos , el numerador queda:
*
Vase el Apndice AI
III 14
( )
u, 2 (1 cos )2 1 2 u, 2 sin 2 cos 2
Con lo que la potencia emitida por unidad de ngulo slido en la direccin determi-
nada por los ngulos (, ) ser:
-
d (t' ; , ) = 0 q2 u, 2
1 1 2
sin 2
cos 2

d 16 2 c (1 cos )3 (1 cos )2

Esto permite estudiar la radiacin emitida por la carga en las diferentes direcciones:
nodo anillo sincrotrn

/ / 0/
u. u.
0/
lbulo secundario
lbulo principal
nodo
Seccin = 0 que contiene a la carga Seccin = / 2 que contiene a la carga. Para

secciones adelantadas, el patrn tiende a una
elipse* de eje menor en el plano orbital.
La mayor parte de la potencia radiada se emite en la direccin tangencial a la tra-

yectoria, para = 0, en el lbulo principal. Hay un lbulo secundario de emisin hacia
atrs, que se curva hacia adelante segn aumenta la velocidad.
Para velocidades suficientemente altas, la relacin del mximo del lbulo principal al
mximo del lbulo secundario es aproximadamente de 103.
Ntese que la distribucin de la potencia emitida depende del cuadrado de la acelera-

cin, por tanto no de su signo. El lbulo principal apunta en la direccin de la velocidad,
es lo que se conoce como efecto faro.
Si queremos conocer la radiacin en cualquier estado de movimiento de la carga, hay

que usar la frmula general, que contempla todos los valores posibles de los ngulos
1 1 1
que pueden formar , u, y u R .
*
Vase el Apndice AI
III 15
Invariante de Radiacin:
Recordemos que la potencia radiada por una carga, medida en un sistema de referencia
4
2 3 32 2
0 q 2 u 2 u ( )
inercial S es: =
6 c 1 2 3 ( )
Cuando: 0, hallamos la frmula de Larmor:
4 q2 3 2
= 0 a
6 c
3
Donde a es el vector aceleracin de la carga, que tambin podemos escribir como:
32 32 3
= u c = a c . Es la aceleracin de la carga medida cuando se desplaza con una veloci-
3
dad u en S.
En un sistema coordenado Lorentz particular, tenemos que:

3
La velocidad de la carga: v , en el sistema inercial S, est contenida en las compo-
dx
nentes de la cuadrivelocidad: u =
d
3
La aceleracin de la carga: a , en S, est contenida en las componentes del cuadri-
2 du
vector aceleracin: u =
d
Se puede formar un invariante Lorentz,
5
5 dx lnea de
que nos d la potencia emitida por la carga
u= Universo
d de la carga
en un punto cualquiera de la trayectoria.
5
56 du
Sea este invariante de radiacin:
u= 3 2
q d 4 0 q 2 du
=
6 c d
5
x ( ) Reproduzcmoslo como relaciones en-
3
tre las componentes del cuadrivector u en
un sistema coordenado Lorentz:
Tomando el cuadrivector velocidad en el sistema coordenado Lorentz en el que las

3
componentes del vector velocidad son: u = ( c, v )
du dt du 3
= ( c, )
d
El cuadrivector aceleracin es: =
d d dt dt
Para hallar esta derivada, necesitamos derivar el factor respecto de t:
III 16
7
7 7
( ) ( ) 7 d
con7 7
= = 2 = = 1 1
d d 1 3 2
2
dt dt 1 2 2 dt

7
d 7 8 d 7 78
Como: =, se tiene que: = 3
dt dt
La parte espacial del cuadrivector velocidad queda:

7 7 7 7 7
d 7 d 7
( v ) = v + = 3 8 c + c8
dv
dt dt dt
Con lo que las componentes del cuadrivector aceleracin en un sistema coordenado
7 78 7 78 7 78

Lorentz quedan: u8 = 3c , 3 c + c

7 78 7 7 78
8
7
Reordenando: u8 = 2 c 2 , 2 +

En la expresin del invariante de radiacin aparece el mdulo del cuadrivector acele-

racin, calculmoslo:
7 78 2 7 7 78 7 8 2
4 2 4 2
u8 u8 = c +

7 7 8 2 7 78 2 7 78 7 7 8
= 4 c 2 4 4 2 + 8 2 + 2 2

7 78 2 7 78 2

(
)
= 4 c 2 4 1 2 8 2 2 2

7 78 2 7 78 2 7 7 8 2
= 4 c 2 2 8 2 2 2 = 4 c 2 8 2 + 2

7 78 2 7 78 2
82
(
= 6 c 2 2 + = 6 c 2 8 2 1 2 + )

7 78 2
= 6 c 2 8 2 8 2 2 +

7 7 7 8 7 7 8
= 6 c 2 8 2 8 2

78 7 78
La cantidad encerrada entre llaves es el triple producto vectorial: . As:

III 17
Funciones de Green covariantes
: : : :
u9 u9 = 6 c 2 9 2 9 9

: : : : : : : :
Por rotacin del producto mixto: 9 9 = 9 9

: : 2
Se tiene: u9 u9 = 6 c 2 9 2 9

Sustituyendo el mdulo del cuadrivector aceleracin en la expresin del invariante de

radiacin, recuperamos la expresin de la potencia radiada por el sistema:
: : 2
9
9 : :
( )
2
2
; 0 q 2 2 0 q 2 u9 2 u9
=
6 c
c
(
1 2 3
=
)
6 c 1 2 3 ( )
Vemos que el invariante de radiacin calculado en S nos da la potencia que se mide en S.
As, para un sistema coordenado S en el que la carga est instantneamente en repo-

( )
:
so, se tiene para el cuadrivector velocidad: u = c, 0 , y para el cuadrivector acelera-
:
cin: u9 = (0, a ), (en este caso: = 1). Si operamos con las componentes del cuadri-
vector aceleracin, su mdulo resulta ser:
: : :
u9 u9 = (0, a )(0, a ) = a
2
Con lo que la potencia radiada por la carga, en el sistema coordenado en el que la carga
est instantneamente en reposo, es:
; 0 q 2 : 2
= a
6 c
Vemos que al traducir la expresin del invariante de radiacin a un sistema coorde-
nado en el que la carga est instantneamente en reposo, se reproduce la forma de la
potencia emitida por la carga que vimos al suponer que sta se mueve a velocidades
pequeas: la frmula de Larmor*.
3. Funciones de Green covariantes:
Vamos a ver cmo se obtienen en m4, para los campos, las expresiones vistas en los
sistemas inerciales, con el mtodo de las funciones de Green covariantes.
*
No hay ms alternativas a la generalizacin covariante que hemos visto de la Frmula de Larmor. Va-
se: J.D. Jackson: Classical Electrodynamics, 3rd ed. (footnote on p.666).
III 18
Carga puntual en m4:
Supongamos una regin del espacio de

lnea de
Minkowski: M m4 ; en cualquier punto
q(x'a) Universo
de la carga
2:a de esa regin se pueden definir objetos
como: F(x), A(x) J (x).
P(x)
x Las posibles trayectorias de una part-
cula en los distintos sistemas inerciales, se
1:r
representan en M por una nica lnea de
q(x'r)
Universo.
Consideremos el caso de una partcula cargada. En un sistema coordenado Lorentz su

lnea de Universo contiene la informacin de las coordenadas y tiempo asociados al
punto campo en S. Denotaremos por P( x< ) = P(x) el punto campo de S. El punto fuente
q( x< ) tendr, en S, coordenadas q(x' ).
=
( ) ( )
En cualquier punto P vamos a estudiar los objetos A< x y F x , y proponer expre-
siones en m4 que, en sistemas coordenados, nos van a dar potenciales y campos conoci-
dos que ya hemos expresado en los sistemas inerciales S.
Toda seal electromagntica de q slo se notar en P si la lnea de Universo de q pa-

sa por el cono de luz de P, y es que como tal seal tiene la velocidad c, slo se propaga
en los conos de M. La lnea de Universo de q podr cruzar el cono de luz de P en dos
puntos: 1, 2. Estos sern los puntos fuente a considerar para obtener los campos en P.
Como el cuadrivector relativo x entre el punto fuente q y el punto campo P es is-

tropo, su mdulo es cero. As pues:
( )
x = x x ' = (c (t t ' , r< r< '))
x x = c 2 (t t ' )2 (r< r< ' )2 = c 2 (t t ' )2 R< = 0

2
Donde R< = r< r< ' es el vector relativo entre punto fuente y punto campo en S. Por tanto:
c(t t ' ) = R<

Hay dos posibilidades:
R<
t 'r = t es el instante retardado, y se corresponde con la posicin de la carga
c
en un instante t' anterior a t (posicin retardada).
III 19
>
R
t 'a = t + es el instante avanzado, y se corresponde con la posicin de la carga en
c
un instante t' posterior a t (posicin avanzada).
Como las seales que vienen de la posicin avanzada no tienen inters fsico, pues
considerarlas significara que los campos aparecen en el punto P antes de ser emitidos
por la carga en el punto fuente, se descartan (no son compatibles con el concepto usual
de causalidad).
As tendremos en cuenta que, en el caso de utilizar un cuadrivector de mdulo cero,

hemos de considerar la contribucin a los campos desde la posicin retardada de la car-
ga, que es la nica solucin fsicamente aceptable.
Vamos a proponer una ecuacin en m4 que nos permita encontrar potenciales asocia-
dos a cada punto. Estos sern los potenciales de Linard-Wiechert, que vimos para una
carga puntual en movimiento.
Hemos de resolver la ecuacin diferencial para el potencial cuadrivector:

? > >
A = 0 J
> >
O bien: [I] A(x ) = 0 J (x )
En los sistemas coordenados Lorentz.
>
Dado J (x ), podremos resolver el problema fcilmente por el mtodo de las funciones
de Green si, para una fuente arbitraria, se conoce la solucin de la ecuacin:
0, si x x'

D (x; x ' ) = ( 4 ) (x x ') , con: ( 4 ) (x x ') f (x ) ( 4 ) (x x ' )d 4 x = f (x '), si x' V 4

V 4
Conocida la funcin D (x; x ' ) , se obtiene una solucin de [I] con el cuadripotencial:
> >
A(x ) = 0 D ( x; x ' ) J ( x ' )d 4 x '
x'
Donde d 4 x' representa el elemento de volumen del espacio de Minkowski, y la integral

se extiende a todo el espacio representado por las coordenadas: x'.
> >
La funcin A(x ) as construida es solucin de la ecuacin [I] al considerar:
D (x; x ' ) = ( 4 ) (x x '). En efecto:

> > > >
A(x ) = 0 D ( x; x ' ) J ( x ' )d 4 x ' = 0 ( 4 ) (x x ' ) J (x ' )d 4 x ' = 0 J (x )
x' x'
Y, por la presencia de la funcin delta, slo contribuye a la integral el punto: x = x'.
III 20
La funcin D (x; x ' ) se conoce como funcin de Green del operador 2 = . La
cuestin ser hallar la funcin de Green que permita hallar la solucin de [I] para todo
@
cuadrivector J (x ).
La fuente de campo electromagntico ms sencilla es la carga puntual. Propondre-
@
mos la expresin de J (x ) para una lnea de Universo de tipo temporal a la que asocia-
mos el parmetro q.
Cuadrivector densidad de corriente para la carga en m4:
Recordemos que el cuadrivector densidad de corriente referido a un sistema de coor-

denadas tiene como componentes:
@ @
@
( @
)
J (r , t ) = c (r , t ), J (r , t )
@ @ @ @ @ @ @ @
Donde: (r , t ) = q (r r ' (t )) , y: J (r , t ) = q v (t ) (r r ' (t ))
@
Con: r, coordenadas del punto campo en el sistema S.
@
r ' (t ) , funcin que describe la trayectoria de la partcula en el sistema S.
Dar la posicin de la carga en todo instante: coordenadas del
punto fuente.
@
Veamos en m4 cmo describir el campo vectorial J , densidad de corriente. Si x es un
punto de m4 , el cuadrivector densidad de corriente de una carga puntual q con lnea de
Universo z( ) se puede definir como:
@
J (x ) = qc u( ) ( 4 ) (x z ( ))d

m4 uA ( ) Donde u ( ) es el cuadrivector velocidad de

la partcula. Llamamos x al punto P de m4:
@ @
J (x ) ( ) @ @
x x 0 , x , donde x son las coordenadas es-
@
z ( ) paciales en S.
@
x Esta integral slo va a tener valores dife-
rentes de cero cuando: x = z ( ) , es decir, sobre
la lnea de Universo de q.
Vamos a obtener las expresiones de la densidad de carga y de la densidad de co-

@
rriente para observadores inerciales. Esperamos que la forma propuesta para J (x ) re-
produzca correctamente las densidades de carga y corriente de la carga puntual en S.
III 21
B
Si referimos la expresin de la densidad de corriente J (x ) a un sistema coordenado
Lorentz, se tiene que:
( B B
)
J (x ) = qc u ( ) ( 4) (x z ( ))d = qc u ( ) x 0 z 0 ( ) (x z ( )) d

Pues: ( )B B
( 4) (x z ( )) = x 0 z ( ) (x z ( ))
0
Extendiendo la integral a todo , y aplicando la propiedad de la funcin :

f ( )
f ( ) (g ( ))d = i f ( i ) dg ( i ) = i gC ( i )
1 i
d
Donde i son los ceros de la funcin g ( ) , esto es: g ( i ) = 0 .
( )
Si consideramos: g ( ) = x 0 z 0 ( ) , como la funcin g slo contribuye a la integral
en los puntos en que se anula el argumento de la funcin , resulta que:
B B dz (t ) dt
(x z (t ))
dt d = q (xB zB (t )) dz (t )

J (x ) = qc
dz 0 ( ) dt dt
c
d d
Tomando componentes, se tendr:
B D d (ct ) B B
para = 0 J 0 = q (x r ' (t )) = q (r r ' (t )) c = c
dtB
para = 1, 2, 3
B D
J = q (x r ' (t ))
d (r (t )) = q (xB rB ' (t )) vB (t )
dt
B
Donde r ' (t ) es la trayectoria de la partcula, con la que se calcula la posicin de la carga
puntual en S. Podemos escribir entonces en un sistema coordenado Lorentz:
B B
B B (r , t ) = q (r r ' (t ))
J (r , t ) = B B B B
J (r , t ) = q v (t ) (r r ' (t ))
Potenciales de Linard-Wiechert:
Consideremos, para la carga q sobre la lnea de Universo: z( ), el potencial cuadri-

B
vector: A(x ), en cualquier punto x de m4:
C
B 0 c q z ( )
A(x ) = C
4 z ( ) (x z ( ))
r
Calculado en r, que se corresponde con la posicin retardada de la carga: t' < t, pues
entonces: (x z ( r )) (x z ( r )) = 0 , esto es:
B B
(x z ( r )) (x z ( r )) = c 2 (t t ' ) r r ' (t ') = 0
2 2
en S estar calculado en t'.
III 22
Veamos que este cuadrivector contiene los potenciales de Linard-Wiechert tomando

F
componentes. Como: z = (ct ' , rE ), y: z = ( c, vE ), entonces:
F
(
z (x z ( )) = c 2 (t t ' ) vE RE = cR 1 E uE R )
Para la parte temporal:
( )
A0 x =
0c q c
(
4 cR 1 E uE R ) =

c
(rE , t ) =
q
(
1
4 0 R 1 E uE R )
r t'
Para la parte espacial:
( )
Ai x =
0c q vi
(
4 cR 1 E uE R ) = Ai
q
AE (rE , t ) = 0
vE
(
4 R 1 E uE R )
r t'
Que son los potenciales de Linard-Wiechert de una carga q, que se mueve con veloci-
dad vE en el sistema de referencia S.
Clculo del potencial de Linard-Wiechert con las funciones de Green covariantes:
La ecuacin geomtrica que liga el

potencial AE (x ) con JE (x ) se puede resol-
zG ( ) z(a)
ver, para obtener la expresin de AE (x ), si
z() x conocemos la funcin de Green D (x; x ' )

del operador 2 tal que:
D (x; x ') = ( 4 ) (x x ' )

z(r)
Proponemos dos funciones de Green, covariantes Lorentz, que llamamos Dr y Da :
Dr ( x x ' ) =
1
2
( ) [
1 x 0 x '0 ( 4 ) (x x ' )2 ] retardada
Da ( x x ' ) =
1
2
( ) [
2 x ' 0 x 0 ( 4) (x x ' )2 ] avanzada
El cuadrivector (x x ' ( )) est sobre el cono de luz, luego su mdulo es nulo:
(x x' ( )) (x x' ( )) = (x x' ( )) (x x' ( )) = c 2 (t t ' )2 rE rE ' (t ' ) = 0

2
As: c(t t ') = R , por tanto: r se corresponde con t' < t

a se corresponde con t' > t
III 23
Si se elige como solucin la funcin de Green adecuada, se asegura la condicin de

retardo para todo sistema coordenado Lorentz. As, la funcin Dr asegura que la seal
aparece en el punto campo desde la posicin retardada de la partcula: r , que se co-
rresponde con x' 0 < x 0 , si definimos:
( )
1, 0 > 0
1 x 0 x' 0 = x 0 x' 0
0, x < x'
Del mismo modo, Da contribuir con la seal desde la posicin avanzada si se define
2 como: ( )
1, 0 > 0
2 x ' 0 x 0 = x' 0 x 0
0, x' < x
H
La solucin para A(x )ser:
H H H
A(x ) = 0 Dr (x; x ' ) J (x ' )d 4 x '
H x'
I
con la densidad de fuente: J (x ) = qc z ( ) ( 4 ) (x z ( )) d

Tendremos, tomando componentes:

I
A (x ) = 0 c q Dr (x; x ' )z ( ) ( 4 ) (x ' z ( ))d 4 x ' d
x'
=
0c q
( ) [ I
]
d 1 x 0 x' 0 ( 4 ) (x x ' ) z ( ) ( 4) (x ' z ( )) d 4 x '
2 x '
2
cq
( ) [ I
= 0 1 x 0 z 0 ( 4 ) (x z ( ) )2 z ( ) d
2
]
Ya que, al integrar a todo x', habr contribucin cuando se anule el argumento de (4) ; es
decir para: x ' = z ( ) .
Para la integracin en , se tendr en cuenta que la contribucin de los puntos en que
I
se anula el argumento de la funcin se ha de dividir por g ( ) , donde:
dz ( ) I
g ( ) = (x z ( )) . As: (x z ( )) = 2(x z ( )) = 2 (x z ( )) z ( )
2 d 2
d d
De los dos puntos donde se anula el argumento de la funcin , se selecciona el co-
rrespondiente a: = r , ya que 1 slo no se anula para: x 0 > x ' 0 .

I
0c q z ( )
Por lo tanto: A (x ) =

I
4 (x z ( )) z ( )
= r
Que es la expresin propuesta anteriormente para el potencial de Linard-Wiechert co-
variante.
Ntese que esta cantidad es siempre positiva, pues la lnea de Universo es de tipo temporal.
III 24
Obtencin del tensor campo electromagntico:
Para hallar el tensor campo, se puede derivar la expresin obtenida para A (x ), y de
este modo calcular: F (x ) = A (x ) A (x )

O alternativamente, derivar las expresiones integrales de A en trminos de las funciones
de Green, que es ms sencillo y es lo que vamos a hacer.
J
Considerando la expresin de J (x ) para la carga puntual q, tenemos que:
A (x ) = 0 c q Dr (x; x ' ) zK ( ) ( 4) (x ' z ( )) d 4 x ' d = 0 c q Dr (x; z ( )) zK ( ) d

x'
D (x; z ( ))
Derivamos respecto a x : A , (x ) = 0 c q r zK ( ) d

x
Notemos que la funcin de Green es una funcin cuadrtica de: x z ( ) , por lo que*:
[(x z )2 ]
zK d = 0 c q 2(x z ) zK
dDr dDr
A , = 0 c q d
d [(x z ) ]
2
x d [ (x z )2
]
= 0 c q 2(x z ) zK d d Dr
d = 0 c q
(x z ) zK d Dr
d
d [(x z )2 ] d
(x z ) zK d
d d [(x z )2 ]
Donde hemos sustituido: , por el inverso de: = 2(x z ) zK .
d [(x z )2 ] d
Integrando por partes:
+
(x z ( )) zK ( ) d (x z ( )) zK ( )
A , = 0c q D (x; z (
)) + 0 c q Dr (x; z ( )) d
(x z ( )) zK ( ) d (x z ( )) zK ( )
r

El primer trmino vale cero, pues en = : x z ( ), y la funcin Dr (x; z ( ))se anula.

(x z ( )) zK ( )
A , = 0 c q Dr (x; z ( ))
d
Nos quedamos con: d

(x z (
d
)) z K
( )
(x z ) zK
=
0c q
2
0 0
(
1 x z ( ) ( 4)
) [
(x z ( )) 2 d
] d
d (x z ) zK
Donde hemos sustituido la expresin de la funcin de Green retardada. Integramos te-

f ( )
niendo en cuenta la propiedad conocida: f ( ) (g ( ))d = i gK ( ii )
(x z ( )) zK ( )
f ( ) = g ( ) = (x z ( ))2
d
Donde ahora: , y:
(x z ( )) zK ( )

d
dDr ( f ( )) d dDr ( f ( ))
*
Haremos uso de: Dr ( f ( )) = f ( ) = f ( )
d ( f ( )) d ( f ( )) d
III 25
Expresin covariante de los campos
d g ( ) L L
Por lo que: = g ( ) = 2(x z ( )) z ( )
d
L
, 0c q 1 d (x z ( )) z ( )
As: A = L L
4 (x z ( )) z d (x z ( )) z ( )
r
Operando ahora para obtener el tensor campo:

L L
, , 0c q 1 d z (x z ) z (x z )
=A A = L
(x z ) zL
F
4 (x z ) z d r
Derivando respecto de , resulta la expresin completamente general:
F =
0 qc 3
4 A 3
[
(x z ) zLL A (x z ) zL B + (x z ) zL (x z ) zLL A + (x z ) zL B (x z ) zL ] r
L LL
Donde: A = (x z ( )) z ( ) , y: B = (x z ( )) z ( )
4. Expresin covariante de los campos:

Con el tensor campo expresado de forma covariante en trminos de la trayectoria en
m4 de la partcula cargada, asegurada la condicin de retardo para todo sistema coordena-
do Lorentz, podemos calcular los campos que genera una partcula en cualquier sistema.
Campos de la carga puntual en reposo:

Una carga puntual que se mueve con velocidad constante, en un sistema de referen-
cia inercial, puede describirse en otro SRI como una carga en reposo. En el sistema de
referencia en el que la carga est en reposo S:
L LL
x = (ct , rM ) z = (ct ' , rM ' = cte ) z = (c, 0) z = (0, 0)
Luego B = 0. Calculemos el trmino A:
L L
( L
)
A = (x z ) z = x 0 z 0 z 0 (xM zM ) zM = c 2 (t t ' ) = cR
Ya que: c(t t ' ) = RM = rM rM '
La componente F 01 del tensor campo electromagntico en el sistema S:
F 01
=
0 qc 3
4 c R
3 3
[ 4 c R
]
(x z ) z (x z ) z = 3 3 [(x x')c] = 0 c q3 Rx = E x
0 L1 1 L 0 0 qc 3
4 R c
1
Simplificando con: c 2 = , obtenemos la componente x del campo elctrico:
00
Ex =
q RM x ()
4 0 R 3
III 26
Trabajando con las componentes F 0 i del tensor campo electromagntico vemos que:
N
N q R
E= Campo de Coulomb
4 0 R 3
Del mismo modo podemos ver otras componentes F ij , por ejemplo: F 21 , que tendr
el trmino: (x z ) zO 1 (x z ) zO 2 = 0 , luego Bz = 0. Operando con el resto de com-
2 1
N
ponentes se encuentra que: B = 0
Campos de la carga en movimiento uniforme:
Para el sistema en el que la carga se mueve con velocidad constante:

N N N
x = (ct , r ) z = (ct ' , r ' (t ' )) zO = (c, v = cte ) zOO = (0, 0)
Luego B = 0. Calculemos A:
N N N N
A = (x z ) zO = c (t t ' ) c R v = Rc 1 u R

( )
Veamos la componente F 01 :
N
(x z )0 zO 1 (x z )1 zO 0 = c(t t')v x R xc = Rv x Rxc = R c v x Rx = R c( uN R )x
c R
N N
E x 0 qc 3 Rc uN R x ( )
= =
) (
01
Por tanto: F N
c 4 3 R 3c 3 1 u R 3
N
q (
1 ) 2
)N (uN N
E =
(1 u )
R x
Despejando E x , se obtiene: (cf. III 7)
4 R
x 2 3
0 R
N N
N q (1 N ) ( u ) 2
B=
(1 uN )
0 R
Para el campo magntico: (cf. III 7)
4R 2
R
3
Campos de la carga acelerada:
Considerando la carga puntual acelerada:

N N N N
x = (ct , r ) z = (ct ' , r ' (t ' )) zO = (c, v ' (t ')) (c, v ' (t'))
d
zOO =
dt '
Se recuperan los campos de aceleracin:
N N
N q
N
u R N O
u R

( )
N
Ea =
4 0 Rc
N 3
1 u R ( ) (cf. III 8)
N N O N N N NO
N q
(uN R )
+ u R u R

N N
Ba = 0
4cR (
1 u R 3
) (cf. III 8)
III 27
Bibliografa:
Bsica:
Barut A. O. "Electrodynamics and Classical Theory of Fields & Particles", Dover reprint 1980
Jackson J. D. "Electrodinmica Clsica", 2 ed. Alhambra 1980
"Classical Electrodynamics", 3rd ed. Wiley 1998
Konopinski E.J. "Electromagnetic Fields and Relativistic Particles", McGraw-Hill 1981
Landau L.D. "Teora Clsica de los Campos", 2 ed. Revert 1973
Complementaria:
Brdov M. &
Rumintsev V. "Electrodinmica Clsica", Mir 1986
Goldstein H. "Mecnica Clsica", 2 ed. Revert 1980
"Classical Mechanics", 3rd ed. Pearson 2002
Ingarden R.S. &

Classical Electrodynamics", Elsevier 1985
Thid B. "Electromagnetic Field Theory", Communa Upsilon Books 2001

http://www.plasma.uu.se/CED/Book
Adicional sobre Relatividad:
Introductoria: Skinner R. "Special Relativity", Blaisdell 1969

Referencia: Das A. "The Special Theory of Relativity. A Mathematical Exposition", 2nd
ed. University of Bangalore Press 1997
Matemticas:
Tensores: Kay D.C. "Teora y Problemas de Clculo Tensorial", McGraw-Hill,

Schaum 1991
Synge J.L. & "Tensor Calculus", University of Toronto Press 1966
Schild A.
Formas: Boothby W. M. "An Introduction to Differentiable Manifolds and Riemannian

Geometry", 2nd ed. Academic Press 1986
Flanders H. "Differential Forms with Applications to the Physical Sciences",
Dover 1989
Frankel T. "The Geometry of Physics. An Introduction", Cambridge Univer-
sity Press 1999
Schutz, B.F. "Geometrical Methods in Mathematical Physics", Cambridge
University Press 1980
Otras referencias:
Itzykson C. & "Quantum Field Theory", McGraw-Hill 1980

Zuber J. B.
Mandl F. & "Quantum Field Theory", Wiley 1984
Shaw G.
Rohrlich F. "Classical Charged Particles", Addison-Wesley 1990
AI Distribucin esfrica de la potencia radiada por una carga puntual q acelerada 1 m/s2:
r r&

Cada unidad (u) de los ejes representa: 1 u = (q20/162c)(1m/s2)2 Acelerador sincrotrn:
= 0.50
= 0.20
= 0.10
[0, ], [0, ]
[0, ], [0, ]
[0, ], [0, 3/2]
r

r

r&

r&
r&

Distribucin esfrica de la potencia radiada por una carga puntual q acelerada 1 m/s2:
r r&
||
Cada unidad (u) de los ejes representa: 1 u = (q20/162c)(1m/s2)2 Acelerador lineal:
= 0.90
= 0.50
= 0.10
[0, ], [0, 3/2]

[0, ], [0, 3/2]
[0, ], [0, 3/2]
r

r

r&

r&
r&

AII
FORMULACIN GEOMTRICA DEL CAMPO ELECTROMAGNTICO
GEOMETRIC FORMULATION OF ELECTROMAGNETIC FIELD
Resumen
Se exponen de forma geomtrica las leyes del electromagnetismo clsico como una consecuencia
inevitable del principio de relatividad. Este tipo de formulacin, independiente de sistemas coorde-
nados particulares y del conjunto de observadores, sera la forma ideal y el modelo para la formula-
cin de las teoras fsicas. Naturalmente, dicha formulacin geomtrica reproduce las expresiones
usuales que toman las leyes de Maxwell para los observadores locales.
Abstract
We present geometrically the laws of classic electromagnetism as an unavoidable consequence of
the principle of relativity. This kind of geometric formulation, index-free and simple, would be the
ideal form and model for the formulation of physics. Naturally, this geometric formulation provides
the usual expressions of Maxwells equations for local observers.
M.A. ABIN
J.F. ORIA
Departamento de Fsica Aplicada
Universidad de Valencia
C/ Dr Moliner, 50 (Ed. Jernimo Muoz 0005)
Burjassot (Valencia) - 46100
I. FORMULACIN DE LAS LEYES FSICAS I.1. Sistemas coordenados

La teora que se ocupa de establecer las bases con- El observador que propone una ley fsica emplea
ceptuales para la correcta expresin de las leyes de la un conjunto de funciones con las que pretende describir
fsica es la teora de la relatividad. Concretamente, su las experiencias realizadas. La relacin que establece
primer postulado o principio de relatividad es el fun- entre tales funciones ser lo que proponga como ley
damento filosfico y la gua que ha de seguirse cuando fsica.
se propone una ley fsica, expresada de la forma usual, Para ello, previamente, ha de definir en su labo-
como relaciones matemticas entre objetos. De este ratorio un sistema coordenado. Esto es: precisar el
modo, el segundo de los postulados (La velocidad de la modo en que asigna a un suceso los cuatro nmeros
luz ha de ser la misma para todos los observadores) precisos para definir la posicin y el tiempo. As, fun-
puede considerarse como una consecuencia directa de ciones de la posicin y el tiempo, establecidas en su
este primero. Consistira pues nicamente en enunciar sistema coordenado y relacionadas entre s por medio
una de las leyes de la fsica. Aunque de modo todava de derivadas parciales, entrarn en la expresin mate-
impreciso, podemos formular el primer postulado de mtica de la ley fsica.
relatividad diciendo: Las leyes fsicas han de tener la Es evidente que el contenido de la ley tendr que
misma forma, no importa qu observadores las formu- ser independiente de la formulacin concreta que tal ley
len. Nuestra labor en estas pginas ser precisar el adopte en un particular sistema coordenado. Cuando
significado de tal principio. una ley se escribe como relaciones a ambos lados de
una igualdad, de tal modo que, ante un cambio de sis-
temas coordenados, la nueva expresin de la ley man-
tiene la forma, se dice que tal ley est escrita de modo
i
covariante. El objetivo del observador ha de ser formu- pertenecientes a V n , siendo ui un recubrimiento de V n .
lar la ley de modo que su expresin no haga referencia En particular, puede ocurrir que la carta local k pueda
a ningn sistema coordenado concreto. Indicar la
extenderse a toda la variedad con lo que u k = V n y el
operacin que se tendr que realizar sobre un objeto
definido y nos dir a qu otro objeto tendr que igualar- homeomorfismo k :
se, de modo tal que ambos objetos y la operacin que- k : u k k (u k ) R n
den unvocamente definidos sin hacer mencin a nin- define una coordinatizacin, o un sistema coordenado
gn sistema coordenado particular. Cuando esta condi- global vlido para identificar cualquier punto de la
cin se cumpla, diremos que se ha expresado la ley de variedad. En esa coordinatizacin de la variedad escri-
manera geomtrica. biremos para todo X u k k ( X ) = ( x 1 , x 2 ,..., x n ) ,
La aparicin de ndices en la expresin de una ley, que sern las coordenadas del punto X .
es decir, la expresin usual de las leyes fsicas por los
mtodos del clculo tensorial, hace referencia a la cova- II.1. Espacio tangente
rianza de la misma en una clase de sistemas coordena-
dos y, por tanto, necesariamente ha de nombrarse el Definiremos como F 0 (uk ) el conjunto de las fun-
conjunto de sistemas coordenados en los que la ley es ciones continuas f definidas en uk con valores en R .
invariante en forma. Lo usual en relatividad especial es f : uk R f F 0 (uk )
proponer la ley invariante en forma para los sistemas Para la carta (uk , k ) tendremos el modo de pro-
coordenados Lorentz y, en consecuencia, se dice que su
ceder:
expresin es covariante Lorentz. En caso de utilizar el
observador un sistema coordenado no Lorentz, puede f ( X ) = f ( k ( X )) = f ( x 1 , x 2 ,..., x n ) R
proponerse la ley por los mtodos del clculo tensorial En el sistema coordenado k , cada uno de los
de modo covariante general. La ley propuesta ser co-
operadores vi = i son parte del conjunto de vec-
variante general o invariante en forma ante una trans- x X
formacin general de coordenadas. ste es el modo de tores tangentes en X y constituyen la base natural de
proponer las leyes en relatividad general. vectores tangentes en X para k . De este modo, todo

I.2. Observadores a se podr expresar como a = a i i . Tales vecto-
x X
No solamente el contenido de la ley ha de hacerse
independiente de su expresin en los distintos sistemas res residen en el espacio tangente a uk en X , que se
coordenados posibles que pueda utilizar un determina- simboliza por TX (uk ). Cualquier a TX (uk ) acta
do observador. Tambin ha de ocurrir esto con la mis- sobre los elementos de F 0 (uk ) dando lugar a nmeros,
ma ley, no importa qu observador la formule. Parad- es decir:
jicamente este es el contenido del principio de relativi- a: F o (uk ) R a Tp (uk )
dad: todos los observadores establecern la misma ley.
La ley es nica. En un universo ausente de observado- Al conjunto de valores a i se les denomina com-
res los acontecimientos siguen producindose del mis- ponentes de a en la carta k . Para otra carta (v k , k )
mo modo. las coordenadas del punto X sern
La formulacin geomtrica de la ley ser indepen- k ( X ) = ( x 1 , x 2 ,..., x n ) y las componentes de a en esa
diente del observador y del sistema coordenado y ni- carta k sern ( a 1 , a 2 ,..., a n ) donde la base natural en
camente describir la relacin entre los objetos que

intervienen en la ley fsica o teora que se quiere cons- TX (uk ) sern los vectores vi = i . Ya que debe
truir. x X
existir una relacin x j = x j ( x i ) por ser k , k ho-
II. LA VARIEDAD CUADRIDIMENSIONAL meomorfismos de uk v k en R n , las componentes del
Cul es el marco adecuado para formular las le- vector a quedan relacionadas por la expresin:
yes fsicas? Segn la teora de la relatividad especial es xi
la variedad cuadridimensional V 4 , dotada de la es- ai = j a
j
tructura diferenciable y mtrica adecuada. La estructura x

diferenciable establecida se denomina un atlas . Un que es la conocida ley de transformacin de las llama-
atlas en una n-variedad V n consiste en una familia de das componentes contravariantes de un vector.
cartas locales i definidas en conjuntos abiertos ui
ii
II.2. Espacio cotangente La mtrica induce un isomorfismo entre TX (uk ) y
A los elementos del conjunto de funciones conti- TX* (uk ). Para cada v TX (u k ) se establece una corres-
nuas F 0 (uk ) se les denomina tambin 0-formas. Exis- pondencia con la 1-forma v * TX* (uk ) definida por
ten otro tipo de objetos que residen en el espacio cotan- v v * / v * (u) =< v , u > u TX (uk )
gente (dual del tangente) que simbolizamos por Con esta definicin pondremos:
TX* (uk ). Los objetos de este espacio son las 1-formas y
< v , u >=< v e , u e >= v u < e , e >=
el conjunto de las mismas en X se simboliza como
TX* (uk ). En la coordinatizacin k , la base de 1-formas v u g = v u = v u = v * (u) = u* (v )
es la basada en las diferenciales ( dx 1 , dx 2 ,... dx n ) , Las operaciones v = g v y u = g u se cono-
cen como bajar ndices. De forma similar podemos
que es la dual de 1 , , ..., . Cualquier 1-
subir ndices, utilizando la matriz inversa g .
x x 2
xn
forma es combinacin lineal de las 1-formas base, de
modo que: II.3. El espacio de Minkowski
= ai dx i Es la variedad cuadridimensional dotada de es-
donde (a1 , a2 , ..., an ) son las componentes de para tructura diferenciable y estructura mtrica. En particu-
la carta (uk , k ) . Si cambiamos de carta en un entorno lar, existe un conjunto de cartas equivalentes (uk , k )
del punto X , de modo que ahora usamos la carta extensible a toda la variedad en que la mtrica para
(v k , k ) , las componentes de la 1-forma sern todo X uk tiene por componentes g (ei , e j ) = ij , lo
( a 1 , a 2 , ..., a n ) y tendremos la relacin: que nos dice que la base es ortonormal. En tal base hay
un +1 y tres -1, por tanto el ndice de la mtrica es 3.
xi
aj = a Diremos que hemos establecido una coordinatizacin
x j i
Lorentz para el espacio-tiempo y pondremos
que se conoce como la ley de transformacin de las uk = V 4 = M . Todas las cartas equivalentes preservan
componentes covariantes. En clculo tensorial clsico, las componentes de la mtrica y definen un sistema
se llama vector covariante en X al conjunto de n canti- coordenado Lorentz que se denominar ( M , k ) . Los
dades que se transforman segn la anterior ley. objetos que se definan en M cuando se representan en
Una 1-forma es una aplicacin lineal de TX (uk ) componentes en la carta k particular elegida describi-
en R . As, para todo TX* (uk ) y para todo rn las magnitudes fsicas asociadas a las medidas

v TX (uk ) tendremos: realizadas por uno de los particulares observadores
pertenecientes a la misma clase inercial que llamare-
(v ) = a i dx i v
= a i v (dx i )= mos S k . Dicho de otro modo: cada observador S k se
x x
corresponde con la descripcin de los objetos en el
= a i v i = a i v i R sistema coordenado Lorentz o carta k .
Los objetos en TX (uk ) (vectores) y en TX* (uk ) (1-
formas) deben nicamente su existencia a la estructura III. FORMAS DIFERENCIALES
diferenciable establecida en V n . El conjunto de 1-formas definidas en un punto
Si queremos conocer el mdulo de un vector o sa- X uk V n , y que hemos denominado TX* (uk ) tiene
ber si dos vectores son ortogonales, hemos de introducir estructura de espacio vectorial. Tal espacio vectorial
en TX (uk ) una estructura adicional: la estructura m- base lo simbolizamos como 1 (V n ) y para p=2,3,... n
trica. Introducimos (en terminologa de Wheeler) en se construye un nuevo espacio vectorial que denomina-
cada punto X uk , una mquina g simtrica, bili- remos p (V n ) . En una coordinatizacin dada k la
neal y no degenerada, capaz de aceptar vectores y dar
base de 1 (V n ) sern las diferenciales
nmeros. Es decir:
g (u, v ) =< u, v > R ( dx , dx ,... dx ) y por lo tanto cualquier , se
1 2 n
En particular, para los vectores base de k tendremos expresar como = ai dx = bi dx . Los elementos
i i
las componentes de g : del conjunto 2 (V n ) sern todos los posibles produc-

g i , = g(ei , e j ) = gij =< ei , e j > tos:
x x j = ai dx i b j dx j = ai b j dx i dx j
iii
donde la operacin se denomina producto exterior. por lo que dx H constituye una base ortonormal de
Las propiedades del producto exterior nos permiten p (V n ) . En particular, = dx 1 dx 2 ... dx es una
n
obtener en tal coordinatizacin la base del espacio de 2- base ortonormal de (V )
n n
y
formas 2 (V n ) . Las 2-formas base sern todos los
( , ) = (dx 1 , dx 1 )(dx 2 , dx 2 )... (dx n , dx n ) = (1) ( n t ) / 2
posibles productos dx i dx j (1 i < j n) y por tanto
n
la dimensin de 2 (V n ) ser . Del mismo modo, la donde t es la signatura de 1 (V n ) .
2
base de p (V n ) ser la siguiente: para cada conjunto
{ }
III.1. El operador de Hodge
de p ndices: H = h1 , h2 ,... h p con la ordenacin
Es la transformacin lineal que hace corresponder
1 h1 <... < h p n la totalidad de los elementos a cada p-forma F p (uk ) la (n-p)-forma
F ( n p ) (uk ) . La (n-p)-forma se conoce con el
hp
dx H = dx h1 dx h2 ... dx constituye una base de
p n n nombre de transformado Hodge o dual de la p-forma
(V ) cuya dimensin es . En particular, la di-
p .
n El modo de proceder para cualquier es sencillo
mensin de n (V n ) es = 1 y p ( n) = 0 para p>n. si sabemos como transformar cualquier p-forma de la
n
base del espacio F p (uk ) . Para la coordinatizacin k ,
Si es un elemento de p (V n ) , se tendr:
una cualquiera de las p-formas base ser
=
a H dx H
H
dx H = dx 1 dx 2 ... dx p con H = {1,... p} , donde
sumado sobre todos los conjuntos ordenados H. En ( dx 1 , dx 2 ,... dx n ) es una base ortonormal de F 1 (uk ) .
general, una forma diferencial de orden p se representa- Sea K el conjunto q de n-p ndices k={p+1,... n}, el
r como transformado Hodge de dx H ser:
= a H ( x 1 , x 2 , ..., x n ) dx H dx H = ( dx K , dx K ) dx K
donde los factores a H ( X ) son funciones continuas para cualquier conjunto H de p ndices y K de (n-p)
definidas en todos los puntos de uk y diferenciables ndices.
tantas veces como se precisen.
Si es una p-forma y una q-forma es III.2. Relaciones entre formas diferenciales
un elemento del espacio de (p+q)-formas que se expre- La correspondencia que establece el operador
sar como = a H bK dx H dx K . Ahora , y entre el espacio de p-formas F p (uk ) y el de (n-p)-
pertenecen al conjunto de p, q y (p+q)-formas formas F n p (uk ) no describir una ley fsica, pues en
que se simbolizan, respectivamente, por la coordinatizacin k esto no representar relacin
F p (uk ), F q (uk ) . y F p + q (uk ). Adems del producto diferencial alguna, que es en ltima instancia, lo que
exterior en cada espacio vectorial p (V n ) se define propondrn como ley los diferentes observadores. As
un producto interno como una aplicacin: pues, es preciso definir correspondencias entre objetos
(formas) que se traduzcan en relaciones diferenciales.
: p (V n ) p (V n ) R
Tales correspondencias se conocen con el nombre de
que se calcula fcilmente si se toma la coordinatizacin derivada exterior, codiferencial y operador de Laplace-
en que ( dx 1 , dx 2 ,... dx n ) es una base ortonormal de Beltrami o Laplaciana.
1 (V n ) . De este modo, siendo dx
H
con
{ }
H = h1 < h2 <... < h p una base de p (V n ) , tenemos Derivada exterior: La derivacin exterior queda
representada por el operador d y es una aplicacin que
para dos cualesquiera elementos de la base el producto
hace corresponder a cada p-forma p F p (uk ), la
interior que se simboliza del siguiente modo
(dx H , dx K ) =|(dx H , dx K )| (p+1)-forma p +1 (uk ) F p +1 (uk ) . Es decir,
y es cero cuando H K, pues el determinante tiene una d : F p (uk ) F p +1 (uk )
fila y una columna todo ceros. Si H=K todos los ele- Tal correspondencia entre objetos existe y es ni-
mentos del determinante son nulos salvo los de la dia- ca; conduce a relaciones diferenciales de primer orden
gonal principal que son 1 y por tanto entre los objetos cuando se expresa en una coordinati-
( dx H , dx K ) = H , K zacin dada. Tal correspondencia es independiente de
la coordinatizacin y, por tanto, geomtrica. Aplicando
iv
de modo sucesivo d sobre el objeto da resultado localmente la variedad riemaniana permite tomar do-
nulo. La propiedad d (d ) = 0 se conoce con el nombre minios abiertos (uk ) entorno a un punto dado, en don-
de Lema de Poincar. As la correspondencia simboli- de la coordinatizacin k tomada puede ser localmente
zada por d diremos que aumenta el rango del objeto. Lorentz. Segn la relatividad general, en la carta
Codiferencial: Queda representada por el operador ( k , uk ) las leyes seran las propuestas por un observa-
y es la aplicacin que hace corresponder a cada p- dor local en movimiento geodsico (Principio de Equi-
forma p F p (uk ) una (p-1)-forma valencia fuerte). Veamos el modo de formular la teora
p 1 p 1
F (uk ). Es decir, por medio de las correspondencias geomtricas co-
: F p (uk ) F p 1 (uk ) mentadas en los apartados anteriores.
Si partimos de
una 0-forma o campo escalar f ( x ) , nicamente po-
Tal correspondencia entre objetos existe, es nica,
y conduce a relaciones diferenciales de primer orden dremos ponerlo en correspondencia con 0-formas
entre los objetos cuando se expresa en una coordinati- (manteniendo el rango) por medio de o con 1-formas
zacin dada. Esta relacin, al ser independiente de la (aumentando el rango) por medio de d . No podemos
coordinatizacin, es geomtrica. A este operador tam- operar por medio de sobre un campo escalar (bajan-
bin se le denomina operador divergencia y la corres- do el rango) pues obtendramos idnticamente cero.
pondencia con el operador de Hodge y la derivada exte- Para cualquiera de las ecuaciones no triviales que pue-
rior es: den obtenerse aplicando sobre f ( x ) los operadores y
= ( 1) n ( p +1) + t +1 d d no hay relaciones que, propuestas por los observado-
donde n es la dimensin de la variedad, t el ndice de la res locales, puedan atribuirse a ninguna teora fsica
mtrica y el transformado de Hodge. La correspon- conocida. As pues, un campo escalar o una 0-forma
dencia simbolizada por diremos que disminuye el resulta demasiado pobre en contenido.
rango del objeto. Partiendo de un campo vectorial o 1-forma A( x )
El operador de Laplace-Beltrami: Es la ltima de (conocida con el nombre de 1-forma potencial) pueden
las correspondientes geomtricas y conduce en el cl- obtenerse las leyes fsicas que descritas por los observa-
culo con los objetos en la coordinatizacin elegida a las dores locales se conocen como leyes del campo elec-
ecuaciones diferenciales de segundo orden de la fsica. tromagntico.
Se simboliza por y hace corresponder a cada p-forma En efecto:
a) Bajemos el rango de la 1-forma potencial por la
p F p (uk ) la p-forma p F p (uk ). Es decir,
aplicacin de y, en particular, anulemos la 0-forma
: F p (uk ) F p (uk ) resultante:
De tal correspondencia se dir que mantiene el rango A=0 (1)
del objeto. La aplicacin as establecida en una coordinatizacin
As pues tales operaciones suben, bajan o mantie- Lorentz reproducir lo que se conoce como condicin
nen el rango del objeto y son geomtricas aunque su de Lorentz para las funciones A que representarn los
expresin en las diferentes cartas ( k , k ...) puede ser potenciales electromagnticos para el observador iner-
diferente. En las coordinatizaciones k en que la ley cial S. La expresin covariante Lorentz de la relacin
mantenga la forma se dir que la ley es covariante. geomtrica (1) es:
Ahora slo queda elegir los objetos con los que propo- A = 0
ner la teoria fsica cuyas ecuaciones conocen los obser- b) Subamos de rango A por medio de d y obten-
vadores y que normalmente escriben en sus particulares gamos la 2-forma denominada campo electromagnti-
sistemas coordenados como relaciones en derivadas co:
parciales. dA = F (2)
El espacio de las 2-formas es de dimensin 6, es decir,
IV. FORMULACIN GEOMTRICA DE LAS tenemos seis 2-formas base y podemos representar F
LEYES DEL ELECTROMAGNETISMO en componentes respecto de una base. Si la coordinati-
En electrodinmica clsica, las leyes del campo zacin es Lorentz, dichas componentes se asociarn a

electromagntico
se obtienen de un campo vectorial 3
los campos E y B en ( E , t ) , segn los obtiene un
A( x ) definido en la variedad cuadridimensional M de observador inercial S de sus funciones potenciales. En
la relatividad especial. Tales funciones son las variables expresin covariante Lorentz (2) se pondr:
dinmicas con las que se construye la densidad Lagran-

giana asociada al campo. En principio no tendremos F = A A
por qu ceirnos al espacio plano de Minkowski, pues
v
c) Mantengamos el rango de A por la operacin V. CONCLUSIN
; la 1-forma as obtenida se denominar 1-forma En resumen: la teora electromagntica descrita
densidad de corriente J . De este modo, para cualquier tipo de observadores y cualesquiera que
A = kJ sean los sistemas coordenados que usen los mismos
(3) consiste en expresar en ellos y para ellos las siguientes
siendo k una constantes de dimensiones adecuadas. relaciones geomtricas:
Teniendo en cuenta que = d + d , con lo exigido a) Condicin de Lorentz ( A = 0 )
que A = 0 podemos escribir A = d = kJ o bien, b) Definicin de campos electromagnticos
usando (2): (dA = F )
F = kJ (4) c) Ecuaciones de ondas ( A = d = kJ )
La ecuacin (3) en coordinatizacin Lorentz toma la d) Ecuaciones de Maxwell ( F = kJ y F = 0)
expresin covariante: e) Ley de conservacin de la carga ( J = 0)

A = kJ El objeto A es el ms simple. No existe otro ob-
que en un sistema particular es la ecuacin de ondas jeto ms sencillo en la variedad cuadridimensional al
para los potenciales segn el observador inercial S. La que, por aplicacin sucesiva de las correspondencias
ecuacin (4) queda: establecidas por , d , se le pueda atribuir contenido
asociado a las observaciones realizadas por cualesquie-
F = kJ
ra de los diferentes observadores S en sus laboratorios.
que es la expresin Lorentz de las ecuaciones de Ma-
xwell externas. Las ecuaciones anteriores son las que S BIBLIOGRAFA
propondr como
D 1 C.W. MISNER AND J.A. WHEELER: Annals of
D = H = J + Physics 2, 525 (1957).
t 2 H. FLANDERS: Differential forms with application
en su sistema coordenado. to the Physical Sciences, (Academic Press, NY, 1963).
d) La propiedad ddA = dF = 0 es automtica por 3 Edited by H.Y. CHIU AND W.F. HOFFMANN:
el lema de Poincar. La 2-forma F (tambin conocida Gravitation and relativity, (W.A.Benjamin Inc,
como MAXWELL) es exacta pues dA = F . Necesaria- NY,1964).
mente toda forma exacta es cerrada, con lo cual dF = 0. 4 C.W. MISNER AND K.S. THORNE AND J.A.
Lo anterior equivale a decir que la 2-forma transforma- WHEELER: Gravitation, (Freeman, San Francisco,
da Hodge o dual F (conocida como FARADAY) tiene 1973).
divergencia nula. As de la la propiedad de F 5 W. THIRRING: A course in Mathematical Physics,
F = 0 (Springer-Verlag, NY, 1979).
Cuya expresin en sistemas Lorentz es: 6 C. VON WESTENHOLTZ: Differential Forms in

F = 0 Mathematical Physics, (North-Holland Publishing
y para el observador S reproduce las ecuaciones de Company, Amsterdam, 1981).
Maxwell internas: 7 G.G. EMCH: Mathematical and Conceptual Foun-

B dations of 20TH-Century Physics, (North-Holland,
B = 0 E = Amsterdam, 1984).
t 8 Edited by W.S. BERGER: J.C. Maxwell, the sesqui-
e) Por ltimo, para que la teora sea consistente y centennial symposium, (Nort-Holland, Amsterdam,
las componentes de J puedan representar para los 1984).
observadores cargas y corrientes fsicamente aceptables, 9 W.D. CURTIS AND F.R. MILLER: Differential
la 1-forma J no puede ser cualquiera, sino que tiene Manifolds and Theoretical Physics, (Springer-Verlag,
que cumplir NY, 1985).
J=0

!"$#%'&(#)*+&(-,
lo que en expresin covariante Lorentz se escribe como Classical Electrodynamics, (Elsevier, Amsterdam,

J = 0 1985).
y el observador S escribir la ley de conservacin de la 11 S.R. PARROT: Relativistic Electrodynamics and
carga elctrica Differential Geometry, (Springer-Verlag, NY, 1986).

J + =0
t
en su sistema coordenado.
vi
AIII
Lecturas aconsejadas:
El lector interesado en el desarrollo ulterior de la Teora de Campos, har bien en consultar los trata-
dos de A. O. Barut, y el ya clsico volumen II del Curso de Fsica Terica de L. D. Landau. Los libros
de Teora Cuntica de Campos ofrecen breves exposiciones del formalismo clsico: vase p.ej: F. Mandl,
G. Shaw: Quantum Field Theory, y la obra de mismo ttulo de C. Itzykson y J-B Zuber.
Es posible que el lector se sienta con ganas de revisar la mecnica de los medios continuos, para ello
le remitimos a H. Goldstein: Mecnica Clsica; referencia que no aconsejamos para una revisin de la
Teora de la Relatividad, por seguir el anciano formalismo de mtrica eucldea con coordenada temporal
imaginaria, en vez de nuestra mtrica pseudoeucldea con Tr{g}= 2, que es el modo "moderno" de
hacer las cosas, cuando no el correcto*. Para un estudio de la relatividad sugerimos J.D. Jackson: Elec-
trodinmica Clsica, que es adems la mejor referencia general para estos apuntes.
La Electrodinmica Clsica, como teora clsica de campos locales no es una teora acabada, intere-
santes problemas de consistencia se exponen en Classical Charged Particles, de F. Rohrlich. La interac-
cin electromagntica es un fenmeno cuntico, que se explica por el intercambio de fotones virtuales, y
la emisin/absorcin de fotones reales segn la Electrodinmica Cuntica (QED), la teora ms afinada
que conocemos. La introduccin ms accesible a todo ese mundo de teoras gauge renormalizables proba-
blemente sea: Introduction to Elementary Particles, de D. Griffiths.
Una discusin de los mtodos geomtricos que hemos visto nos llevara muy lejos. El Clculo Exte-
rior se expone someramente en Classical Electrodynamics de R. S. Ingarden y A. Jamio kowski, y de
modo ms extenso en los libros de fsica y geometra de, p.ej: Frankel, Boothby Schultz.
No hemos tratado el teorema de Noether y sus aplicaciones. El teorema establece que para cada sime-
tra continua de la densidad Lagrangiana existe una 4-corriente conservada asociada, cuya componente-0
integrada en el 3-espacio es una carga conservada, y se puede utilizar para derivar todas las leyes de con-
servacin que hemos visto como consecuencia de simetras del Lagrangiano de interaccin; vase
Goldstein 12.7 Itzykson 1.2.
M.A.S., abril de 2001
Para una introduccin a los mtodos de la geometra diferencial y a las formas diferenciales se incluye
el artculo adjunto y para posterior estudio, las referencias bibliogrficas que all se citan.
J.F.Oria, abril de 2001
*
La recensin se refiere a la 2 edicin, editada en espaol por Revert. La 3 edicin presenta un tratamiento moder-
no y accesible.
2003 J. Fausto Oria and Manuel Angel Sobrino

Ed 2 R 04

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

Ed 2 R 04

Cargado por

Copyright:

Formatos disponibles

Apuntes de Electrodinmica Clsica.

Campo Electromagntico y Relatividad

Dr. J. Fausto Oria, Profesor Titular de Electromagnetismo

Editor: Manolo Sobrino

I. Formulacin Covariante Lorentz del Campo Electromagntico

II. Formulacin Lagrangiana del Campo Electromagntico

III. Radiacin de Cargas en Movimiento

Mientras sea posible mantendremos en: http://mural.uv.es/masoro/edclas/errata/index.html una

Valencia, septiembre de 2003

Hermann Minkowski (1909)

CAMPO ELECTROMAGNTICO Y RELATIVIDAD

Formulacin covariante Lorentz del campo electromagntico

1. Los sistemas inerciales y el espacio-tiempo de la Relatividad Especial:

Medida de intervalos espaciales y sincronizacin de relojes en S, (definicin de t):

Consideremos inicialmente que los observadores de la clase O estn en reposo entre

Vemos la necesidad de relojes para determinar distancias, an en un mismo sistema

Definicin de tiempo en S a partir de los relojes:

Segundo: Cada observador se va a su lugar de observacin con su reloj. Ahora es

Sexto: En el sistema S se procede as. El observador O pone la manecilla de su reloj

Cuando el pulso alcanza el reloj O1 cuya distancia a O es OO1 , se conviene que O1

Hemos definido as un tiempo t en S, pero si consideramos otro sistema inercial S'

Es interesante repasar el efecto Doppler para el sonido, o para la perturbacin acsti-

velocidad de la perturbacin en el medio v. Evidentemente lo que produce el sonido o

Evidentemente, si O se mueve respecto del marco (tambin respecto de F como re-

a) Fuente en movimiento. Observador en reposo:

(si la fuente se aleja ) (si la fuente se acerca)

f = frecuencia de la onda sonora.

La velocidad u de la fuente tiene signo + si la fuente se aleja de O y signo si la

b) Fuente en reposo. Observador en movimiento:

Ahora es la fuente la que permanece en reposo respecto del medio y el observador se

En el caso a) se mueve la fuente (p. ej. acercndose a O) y el resultado es f '.

Veamos qu ocurre cuando desaparece el medio entre el observador y la fuente y

Efecto Doppler para la luz:

Si esa distancia OF FO es la misma segn va transcurriendo el tiempo que mar-

ca el reloj que va asociado al observador O, entonces el observador y la fuente estn

Tenemos que hacer dos reflexiones:

1) El movimiento es relativo. La velocidad u se puede interpretar tambin como la

2) La velocidad de la luz c es en el vaco. Es decir, cuando el vaco est "separan-

Es decir, c es una constante propia de la propagacin de la perturbacin en el vaco y

En las ecuaciones anteriores consideramos como v la velocidad constante c (que no

f ' ' = f (1 + u ) Observador aproximndose

Siendo u la velocidad relativa de la fuente F y el observador O. Ahora bien Con qu

Una aplicacin inmediata de esta relacin en Astronoma proporciona la medida de

a) Medidas de longitudes y posiciones:

Supongamos un observador O que quiera posicionar cualquier objeto en reposo res-

OP = x12 + y12 + z12

El punto P, siendo estacionario respecto de O, puede posicionarse en el sistema coor-

receptor de pulsos electromagnticos. Emite un pulso en la direccin (', '). Espera a

As pues quedar determinado P(R, , ), o bien P(x, y, z).

b) Medida del tiempo para los observadores de la clase O:

Tomemos un conjunto de relojes que consideramos aptos para medir el tiempo, y

Los llevamos al punto P y los observamos por medio de nuestro observador en P.

Ahora es cuestin de definir claramente cmo sincronizamos los relojes, uno en O,

La sincronizacin de relojes situados en reposo, en dos puntos diferentes, se efectua-

Como sabemos la distancia que existe entre O y el resto de los observadores de la

Para el reloj del observador O, poner la manecilla en: t0 = 0

Y as para cualquier observador situado a la distancia d de O, que tendr que situar la

Cmo calculamos este tiempo:

P Supongamos que el observador O manda un pulso

y teniendo en cuenta la relacin anterior:

Que es la indicacin del reloj en el punto P, en el momento de la llegada del rayo.

Definicin: Diremos que un suceso que ocurre en un punto P, ocurre en el tiempo t,

De esta definicin de simultaneidad se deriva una conclusin inmediata: Dos suce-

Tal observador inercial O se movera con velocidad v respecto de O, y por tanto la

Evidentemente el cuadrivector p es el mismo, y en particular su mdulo:

Sobre la lnea de Universo a) tanto el cuadrivector p , como el u son constantes y

dp dt dp dp dp dp

Donde m2 es la masa que la particula de masa m0 tiene en el punto r 2 = r 2 (t 2 ), donde

su velocidad es v 2 en el sistema de referencia de los observadores {O}. Lo mismo para

Ya hemos visto que p puede ponerse en componentes respecto de S.

En el primer sistema podemos escribir p en funcin del momento y la energa atri-