Relatividad PDF

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...................................
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 tomado 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 sistema inercial S.
Y
O1
On
S
X
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 estaban 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 empezar 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 seal 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
t01 =
OO1
.
c
Lo mismo har O2 con su reloj cuando le alcance el pulso, ponindose a funcionar en
t 02 =
OO2
c
. As para todos los relojes de los observadores de la clase O que estn en S.
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 necesario 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, estarn sincronizados en S' los relojes que estaban sincronizados en S? La respuesta, negativa, 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 )
Para: v =
Transformacin de Galileo
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 acstica que se propaga en un medio, por ejemplo el aire.
Para el sonido consideramos un medio elstico (ms o menos) que es el que transmite 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 constituyen 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 coordenadas 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 velocidad 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 resultado), 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 observador (evidentemente se mueve tambin en el marco o medio con velocidad u). El observador mide ahora otra frecuencia f ' para la perturbacin emitida por la fuente.
+u
Tal frecuencia ser*:

f '= f
[I]
1
1+ u
( v)
(si la fuente se aleja )
f '= f
1
1 u
( v)
Donde:
(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 espacio absoluto.
f ' = frecuencia medida por el observador (Receptor).
El efecto Doppler clsico se explica en cualquier texto de Fsica General. Vase, por ejemplo: R. Resnick - 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
[II]
+u
u
f ' ' = f 1 +
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 recibida 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 marca 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 mueva 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 "separando" F y O. En un instante F emite un pulso de radar o seal (luz) y esta seal es detectada 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 tendremos:
1
1 u
( c)
f ' ' = f (1 + u )
c
f '= f
Foco aproximndose
Observador aproximndose
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 probable 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 movimiento relativo, con velocidad u respecto de un observador O, viene dada por la expresin (segn se demostrar con posterioridad):
f '= f
1+ u
c
u
1
c
No hay dos casos, pues u es la velocidad relativa. As pues, por esta medida de frecuencia 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 Universo 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:
1 u
u ( 1)( 2 ) u
= 1 + ( 1) +
+ ...
2
v
v
2
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
Para el caso a):
u u 2
f ' = f .1 + + + ...
c c
Para el caso b):
u
f ' = f .1 +
c
Para la luz:
u 1 u 2
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 dis2
u
tinguir y medir con una aproximacin de para hallar que el ltimo caso es el coc
rrecto (experimental y conceptualmente es el de mayor contenido lgico y el ms ele2
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 respecto 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 coordenado 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 direccin (, ). 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 observador 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 diferentes 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 utilizar 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 respecto 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. Diremos 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 mismo 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 denominaremos 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 efectuar 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. Utilizamos 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:
Para el reloj del observador P (en P), poner la manecilla en:
Para el reloj del observador Q (en Q), poner la manecilla en:
t0 = 0
tp =
tq =
OP
c
OQ
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:
t=
d
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
R
O
Supongamos que el observador O manda un pulso

electromagntico en t = 0, el pulso viaja con velocidad c
hasta P, rebota en P (en tp), y se recibe de nuevo en O en
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 parece 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
) (
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:
2t p = t =
2R
c
tP = R
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 electromagntica que pone en marcha el reloj en O y, sucesivamente, los relojes de los diferentes observadores situados en los diferentes puntos del espacio. A partir de que el pulso los alcanza, y los relojes de S estn funcionando, diremos que tales relojes estn sincronizados 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 simultneos, si los relojes en P y en P' sealan el mismo tiempo t.
De esta definicin de simultaneidad se deriva una conclusin inmediata: Dos sucesos, 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
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 sucedido 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 observador 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 observadores 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 recibidas 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 velocidad 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'
P P'
(x, y, z, t) coordenadas del suceso en S
v
(x', y', z', t') coordenadas del suceso en S'

Q Q'
X X'
O'
(x0, t0) en S
Z'
(x0', t0') en S'

I 12
El Principio de la Relatividad Galileana nos dice que las relaciones entre las coordenadas 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 coordenadas como la anterior las ecuaciones de la mecnica son covariantes. La expresin matemtica 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
=c
t0
se cumplir:
Veamos cunto vale
x x vt 0 x 0
x 0
. 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 )
[II]
vx
t = t 2
c
con: =
1
1
y: = v
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
t0
x o
(x 0 vt 0 )
= cv = c
=
=
v
vx vx
t 0
t 0 20 1 2 0 1 c
c c t0
En efecto:
Y tal transformacin que preserva la velocidad de la luz, c en S', es la que adoptaremos 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:

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 espa0
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
z=z
vx
t = t 2
c
Transformacin de Lorentz
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 )
[I]
En donde: =
x 2 = x2
1
1 2
, =v
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:
( )
X = X X
[I']
De tal forma que la relacin entre X y X ser de la forma:

X = X
con:
X
X
Para transformaciones de la forma [I], [I'].

En el caso de transformaciones [I], tiene las componentes:
0 0 =
X 0
X 0
01 =
X 0
X 1
10 =
X 1
X 0
...etc.
Dando lugar a la matriz de cambio de coordenadas:

x0
x1
2 = 0
x3
x 0
0
0
0
0
1
0
0 x 0
0 x 1
0 x 2
1 x 3

I 15
Para la transformacin inversa:
( )
X = X X
[II']
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:

X 0
X 0
X 1
0
1
0 0 =
=
=
=
=
=
1
0
X 0
X 1
X 0
...etc.
dando lugar a:
x0
x1
2 = 0
x3
0
x
0
0
0
0
1
0
0 x 0
0 x 1
0 x 2
1 x 3

Una transformacin es inversa de la otra. Luego para cualesquiera que sean las transformaciones [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 entre 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 respecto al sistema coordenado x x .
P+dP
dx
P
(
(
)
)
dx dx 0 , dx1 , dx 2 , dx 3
dx
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 servir 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 )
ds = dx
2
0 2
1 2
2 2
Por definicin
3 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)
dx dx 0 , dx1 , dx 2 , dx 3
y por tanto:
)

Por otra parte, la distancia entre los puntos o mdulo del vector dx se puede expresar:

( ) (dx ) (dx ) (dx )
ds 2 = g (dx , dx ) = g dx dx = dx dx = dx 0
1 2
2 2
3 2
Por lo que identificamos las componentes g como:

g diag (1, 1, 1, 1)
g g = g = = = diag (1, 1, 1, 1), la identidad.
Es evidente que:
dx = g dx
Y que:
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
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 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 1 2 dx 0 2 1 2 dx 1 dx 2 dx 3
(
(
Donde:
dx 0 = dx 0 + dx 1
dx 1 = dx 1 + dx 0
2
2
dx = dx
3
3
dx = dx
)
)
En definitiva, ya que: 2 1 2 = 1 , se tiene:
( ) (dx ) (dx ) (dx )
ds 2 = dx 0
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 matrices . As pues: g = g , bien: g = g , donde es la matriz de la
( )
x = x x
transformacin:
x
x
Se define como transformacin de Lorentz cualquier transformacin de las coordenadas 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) podemos clasificar los intervalos del siguiente modo:
1) Intervalo de tipo temporal:
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 anterior a otro en un sistema coordenado Lorentz, es anterior en cualquier otro sistema Lorentz, est en el Pasado Absoluto.
En particular hay un observador para el cual los dos sucesos ocurren en el mismo punto espacial. En este caso, el tiempo transcurrido se denomina Intervalo de Tiempo Propio.
2) Intervalo de tipo espacial:
Si: ds 2 < 0
2
2
2
2
2
2
2
ds 2 = dx 0 dx 1 dx 2 dx 3 = dx 1 + dx 2 + dx 3 < 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
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
= c2
2
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
m4
Lnea de Universo que
Sucesos en el Futuro
pasa por P
Absoluto de P
P
Puntos de Presente
Condicional
x2, x3
Puntos de Presente
x1
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 eucldeo 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 Lorentz 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 transX
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 espacial.
Si A A = 0 , A es de tipo luz o nulo.
0
Si A A > 0 , A es de tipo temporal.
La componente A de un cuadrivector A se llama temporal, y las componentes (A1,

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
P+dP
x (s )
tipo temporal: ds2 = c2 d2

El parmetro que identifica la posicin del
afijo del vector puede estar definido de modo
x = x (s ), : x = x ( ) , : x = x (t )
que:
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
O bien:
1
ds 2 = c 2 dt 2 1 2
c
dx 2 dy 2 dz 2
+ +
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
dt
Por lo que:
dt
dt
ds 2 = c 2 dt 2 1 v
c2
dt
x , v y , vz
Y esta es la relacin entre ds y dt:
ds = c dt
con: =
1
1 v
c2
Tambin podramos haber referido el vector dx a componentes en el sistema de referencia 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
c2
Por lo que la relacin entre dt y d ser:
ds = c dt = c d
dt
=
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 ( )
,
d
o bien:
dx (t )
dt
dx ( )
se denomina cuadrivector velocidad: u . Las componentes de tal
d
vector en un sistema coordenado Lorentz en particular sern:
El vector
Y por lo tanto:
dx ( ) dx ( ) dt dx
dx
d
d
=
=
= (ct ), r (t )
d
d
d dt
dt
dt
dt
dx ( )
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
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
en S:
tante de parmetro m0, asociado a cuala)
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 )
En donde hemos definido:
m=
m0
1
v2
c2
Tal cantidad la denominamos masa de la partcula m0, observada desde O, al desplazarse 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
podemos hacer:
dp
= 0,
ds
dp
= 0,
d
o bien:
dp
=0
dt
Ya que los parmetros s, , y t estn relacionados linealmente entre si. En particular:

dp
dt dp
dp
=
=
=0
d d dt
dt
Lo que significa que:
d
(m0c ) = 0
dt
dp
dp
=0
=0
dt
dt
d
( ) = 0
dt
= cte
v = cte
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
0,
ds
du
0,
d
d
(m0 u ) = k 0 .
d
Lo que manifiesta una propiedad geomtrica: la lnea de Universo tiene curvatura.

dp
es perpendicular al cuadrivector u , ya que es proporcional a
d
du
du
du
, y se verifica que:
2 u = 0 Luego:
u .u = c 2
u
d
d
d
El cuadrivector k =
Tal vector define la direccin normal de la curva (curvatura normal). La lnea de

Universo de una partcula ligada es una lnea curva.
23
El cuadrivector:
du
= u se denomina cuadrivector aceleracin.
d
Cuadrivector fuerza k :
Veamos qu significado le podemos atribuir a k . Tomando componentes en el sistema coordenado Lorentz S tendremos:

d
dt d
d
m0 u =
m0 u = (m0 c, m0 v )
d
d dt
dt
k =
para las componentes = 1, 2, 3:
( )
( )
k d
d
d
=
m 0 v =
mv =
p
dt
dt
dt
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
=
p = F
dt
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:
El valor de k

, teniendo en cuenta que k . u = 0 :

k 0 c 2 F v = 0

F v
k =
c
0
Por tanto, en componentes respecto de S, el cuadrivector fuerza:

F v
, F
k
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
d
F v
0
(m0 c ) =
para = 0 :
=k
=
d
d dt
c
dt
c
Y, por lo tanto, si c = cte:

d
mc 2 = F v
dt
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:
1 d (mc
2
) =
d m2 c 2 m1c 2 = [ 2 1 ]
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:
E = + mc 2 = +
m0
1 v
c 2 + m0 c 2 +
1
3
v4
m0 v 2 + m0 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 atribuida a la partcula por el observador inercial {O}. As:
I
25
E
,
p
c
p
p (m0 c, 0)
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:
p p p =
2
E2
2
p 2 = m0 c 2
2
c
( E 2 = p 2 c 2 + m0 c 4 )
2
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:
2
E E
E
0 = p p = , p , p = 2 p 2 = m0 c 2
c c
c
m0 = 0
y:
E = pc
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
, k1 +
, k2
con: h =
c
c
c
Entonces, de: k 1 = k 2
u 1 = 2 u 2 , por tanto, tendremos para los dos fotones
c
c
frecuencias angulares: 1 = 2 , y sern emitidos en direcciones opuestas.
(m0 c, 0) =
Si 1 = 2 = , la componente cero de p :
Y la frecuencia de los fotones ser:
p = m0 c = 2
0
m0 c 2

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, partcula/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
= E
de onda tales que:
k = p
El cuadrivector momento en el sistema S, (medidas del observador {O}):

p = E , p
c
Por lo tanto:
m0 2 c 2 =
de mdulo:
m0 c 2 = p p
2
E2
2 2
2
p
=
p2
2
2
c
c
Despejando, la frecuencia que le corresponde a la partcula es:
2 =
p 2c 2
m0 2 c 4
Que se comprueba experimentalmente*.

As cada partcula tiene asociados los observables:
Energa (E):
E=
Momento (p):
Frecuencia:
= E
N de onda:
p= k
p
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 coordenadas 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)
27
As pues:
De donde:
[I]
[II]
'

c
k ' x =
k'y 0
0
0
0
k'z
' = k
x
c
c
k'x = kx c ,
(
(
0 c
0 kx
0 k y
1 k
z
0
0
1
0
)
)
k'y = ky ,
k 'z = k z
La situacin ser la siguiente en S y S':
, k
', k '
y'
S'
'
x'
k =

c
Teniendo en cuenta que es un cuadrivector nulo: = 0
k ' = 'c
k x = c cos
'
1 v
Y las relaciones:
= 2 cos = [1 cos ]
c
c
c c
k ' x = ' cos '

c
'
k ' x = cos ' = cos

= [cos ]
c
c c
c
c
Podemos ver las ecuaciones que relacionan la frecuencia y la direccin de propagacin
de la onda en S y en S':
cos ' =
cos
1 cos
Aberracin de la luz
' = [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 ':
cos ' =
1
=1 '= 0
1
No hay aberracin
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
, k (k x , 0, 0)
', k ' (k ' x , 0, 0)
y'
S'
=0
' = 0
x'
La frecuencia observada en S':
' = (1 ) =
Se tiene que para todo > 0 :
' <
1
1 2
1
1+
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:
, k (0, k y = / c, 0) y'
', k ' k ' x , k ' y , 0
S'
= /2
x
'
x'
La frecuencia observada en S':
' = (1 cos ) =
cos =0
'<
Efecto Doppler transversal
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
c
x
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.
Podemos hallar el ngulo ' desde:
tan ( ' ) =
ky
k'x
=
=
k' y
ky
29
Objetos geomtricos en m4:

Cuando hablamos de objetos geomtricos nos referimos a escalares, vectores, tensores, formas diferenciales..., etc. Es decir, entes que estarn definidos en m4 y que tendrn 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 "geomtrica".
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 general podremos tener objetos de rango n=0 o n0.
Sobre estos objetos se pueden efectuar operaciones: las ms importantes son las diferenciales.
Cuando propongamos una igualdad entre objetos definidos en m4, los objetos a ambos 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 :
d =
dx#
dx 0 +
dx1 +
dx 2 +
x3
dx 3
En uno de los sistemas coordenados Lorentz que podamos tomar en m4, tenemos la expresin del vector dx :
x"
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
x x x x
0 ,
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 +
x3
dx 3
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 asigna un objeto, que viene definido por cuatro funciones cuando se representa en componentes respecto a cualquier sistema coordenado establecido en m4:
Campo vectorial
Campo 1-forma
J% : x% R4 J (x% ) m4
J% : x% R4 J (x% ) m4
J =gJ
Relacionados por la mtrica g:
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 exterior: d. Se tiene d, si sube rango:
As pondremos:
(rango cero)
(sube rango)
d
(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%
(rango uno)
(baja rango)
(J% ) (J% )=
(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 = = J =
J 0 J 1 J 2 J 3
+
+
+
x 0 x1 x 2 x 3
I 32
0 ,
0 ,
x
&
Donde:
&
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 funciones 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 operadores y d. Tales correspondencias sern las que denominamos relaciones geomtricas. 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 dependencia de las funciones en coordenadas y tiempo tenderemos las relaciones en cualquier 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, respectivamente, 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-
& &
&
J ( r , t ) = v ( r , t ) (r , t )
y
x
*
criben las densidades de carga y corriente. En

ese punto r& , hay un campo de velocidades
que describe el movimiento de las partculas
que dan lugar a la corriente J& .
El subndice indica aqu vector en R3.
33
Formulacin covariante Lorentz de las ecuaciones de Maxwell
Y de este modo sealaremos el vector densidad de corriente en el espacio tridimensional 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
Universo
con coordenadas x en un sistema Lo-
* *
rentz x = (ct, r) ) , es decir, en cualquier r) , y
u (x )
para cualquier tiempo t, segn los obser-
m4
0 (x)
vadores de la clase S. Asociamos un cam-
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-
vimiento de las partculas cargadas que en (r,

) t ) dan lugar a la corriente J) (r) , t ) observada
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
Si tomamos: 0 (r) , t ) = (r) , t ) , se tendr:
( )
J 0 x (r , t ) c
) )
) )
) ) )
) )
J ( r , t ) = 0 (r , t ) v (r , t )
y:
J ( r , t ) = (r , t )v (r , t )
y:
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:

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

J (r , t ) +
, ,
[I]
(r , t )
=0
t
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 divergencia nula. As pues [I] se escribir:
J =0
[Ia]
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 dimensionalmente 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).
35
Tomemos un campo vectorial A/ tal que: A0 = 0 , que en los sistemas coordenados Lorentz se escribe: A = 0 , y en S se representa:
1 A0 A1 A 2 A3
+
+
+
=0
x
y
z
c t
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
=0
t
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:
1 A/ = k J0
[II]
Se escribir en los sistemas coordenados Lorentz (expresin de d A/ en coordenadas

Lorentz):
A = kJ
Y: = =
se escribir:
1
2 , en un sistema de referencia inercial, por tanto la ecuacin [II]
c 2 t 2
2
( 0 ) ( 0 )
1 2
A = kJ 2 2 2 , A = k c, J
c t
c
E igualando componentes 0, 1, 2, 3, se obtienen con k = 0 y c 2 =
1
, las ecuaciones
00
de ondas para potenciales vlidos en S:
1 2
=
2
2
0
c t
0 0
2 A
1 2 A
c
t 2
= 0 J
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:
E =
A
t
0 0 0
B = A
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 Lorenz).
Hagamos ahora actuar como d sobre A2 para subir el orden del objeto de 1 a 2. As:
d
: A3
(rango uno)
F4 / F4 = dA3
(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:
F 01 = 0 A1 1 A0 =
Y por tanto:
F 01 =
Ex
,
c
( ) = 1 + A
1 Ax c

x
c t
c x
x
t
de este modo se obtiene la componente x del cam-
po elctrico en S a partir de las funciones potenciales.

De la misma forma:
F 02 =
Ey
c
F 03 =
Ez
c
Si procedemos a obtener las componentes en ndices espacial-espacial (i, j) (1, 2, 3),

se tendr:
F 12 = 1 A 2 2 A1 =
Y del mismo modo:
F 13 = B y
A y
Ax
= Bz
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 coordenados Lorentz (ntese que: F = A A = ( A A ) = F ).
Podemos ordenar las componentes de F en forma de filas y columnas, tendremos:
Ex
F ( r , t ) = c
Ey
c
Ez
c
Ey
Ex
c
Bz
Bz
By
Bx
Ez
c
By
Bx
37
Evidentemente el ente geomtrico es F = d A6 , que tiene estas componentes contravariantes en un sistema Lorentz particular. Es decir, tiene la informacin de los campos
electromagnticos observados en el sistema inercial S.
F ( r , t ) = g F ( r , t )
F ( r , t ) = F ( r , t ) g ;
o mixtas:
F ( r , t ) = g F ( r , t ) g
Podemos ver F con componentes covariantes:
Tales componentes se pueden ordenar en forma de matriz con g = (1, 1, 1, 1):
Ex
F ( r , t ) = c
Ey
c
Ez
c
Ex
c
Ey
Bz
Bz
By
Bx
Ez
c
By
; F (r , t) =
Bx
Ex
c
Ey
c
Ez
c
Ex
c
Ey
Bz
Bz
By
Bx
Ez
0
E x
By
; F (r , t ) = c
Ey
Bx
Ez
Ex
c
Ey
c
Bz
Bz
By
Bx
Tensor dual de F:
Al tensor F le est asociado de forma unvoca su dual *F , *F = F, otro tensor antisimtrico de propiedades geomtricas definidas.
En un sistema coordenado Lorentz tiene componentes *F que se calculan del modo:
* F =
1
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:

*F01=
1
2
01 F =
1
2
0123 F 23 +
1
2
0132 F 32 =
1
1
(Bx) Bx = Bx
2
2
Operando del mismo modo podemos representar *F en forma de matriz:

0
Bx
* F ( r , t ) =
By
Bz
Bx
0
Ez
c
Ey
By
E
z
c
0
Ex
c
Bz
Ey
c
E ;
x
c
Bx
* F (r , t) =
B y
Bz
Bx
0
Ez
c
Ey
By
Ez
c
0
Ex
c
Bz
Ey
c
E
x
c
I 38
Ez
c
By
Bx
9 8
E / c B
Ntese que *F ( r8 , t ) se obtiene de F ( r8 , t ) al hacer los cambios:
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:
F = 0 J
[I]
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
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:
0 ( r , t )c = 1 F 10 + 2 F 20 + 3 F 30 =
8 8
E =
Por tanto:
1 Ex Ey Ez
+
+
c x
y
z
(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:
F 1 = 0 J x ( r , t ) = 0 F 01 + 2 F 21 + 3 F 31 =
Y por tanto obtenemos:
(8 8 )
Dx
1 E x Bz B y
+
= 0
+ 0 H
2
y
z
t
c t
(8 H8 )x = J x + Dt x
Que es una de las ecuaciones de la relacin vectorial entre campo magntico y corrientes libres y de desplazamiento en S:
8 8
H = J +
D
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 geomtrica:
*F = 0
39
El tensor *F se denomina tensor dual 2-forma dual de F. Tambin se llama transformado 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 conocida 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
F = d A:
Y tambin se verifica el recproco del Lema de Poincar:

ii) Toda forma cerrada es exacta.
O bien:
dF = 0
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:
para = 0:
Esto es:
B y Bz
B
* F 0 = 1 * F 10 + 2 * F 20 + 3 * F 30 = x +
+
=0
y
z
x
; ;
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
que le sucede, es decir:
F
x
= F , . La expresin anterior reproduce, obviamente, to-
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:
Otro de los objetos a considerar es el
lnea de
Universo
cuadrivector K< = q Fu< . Para una carga q
<( )
ux
que describe una lnea de Universo en la

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:

K0 = 0
K = q F0 u0 = q c F0 , y como i
K(0) (0, q E< 0 )
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 sern E= , B= , y u ser: u (c, v< ).
41
Las componentes de K son:
> >
> >]
> >]
> >]
>
0
K = c (v E )
K 1 = q E + v B
K = q F u =
K 2 = q E + v B
K 3 = q E + v B
>
[
>
[
>
[
> > >
> > >
F v
,F
K
c
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 =
d
(p) = d (m0 u)
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 campo 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
0
D = F J
D1 = F 1 J =
D = F J =
D 2 = F 2 J =
3
D = F 3 J =
> >
> > >
[E + J B]
> > >
[E + J B]
> > >
[E + J B]
=
1
(J E)
c
> >
> > >
J E
, E + J B
D
c
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 conoce con el nombre de densidad de fuerza volmica.
I 42
Intentaremos deducir este cuadrivector densidad de fuerza volmica D como la divergencia 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
D =T
medio de la relacin:
D = F J
Partimos de:
Por la relacin de Maxwell: J =
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
. Por otro lado:

con slo cambiar en la ltima expresin
[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 =
Por tanto:
1
(F F)
2
F F = (F F)
1
4
Sustituyendo en [I] queda:
0 D = F F
1
1
F F = F F F F
4
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:
Donde:
D =
1
1
F F + F F = T
4
0
T =
1
0
F F + 4 F F
Tensor energa-momento del CEM F
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
F F g + 4 g F F
T=
Simblicamente se representa:
1
0
F F + 4 (F : F )
Y lo obtenido se corresponde con la relacin geomtrica que buscbamos: En la regin 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
corrientes JC (x ) / x M, es: D = T .
T = F J
As:
El tensor T as construido es simtrico: T = T, y su divergencia tensorial da la densidad 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 cualquier 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 cannico 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 invariante Lorentz FF:
(F
F =
2
c2
[E
c2 B2
Por lo tanto, para la componente temporal pura:
]
)
0 T 00 = F 0 F g 0 + g 00 F F
4
Y desarrollando el primer trmino del parntesis:

F 0 F g 0 =
Con lo que, agrupando trminos:

T 00 =
E2
c2
D D D D
1
DE + BH
2
)
I 44
Que representa la densidad de energa electromagntica: U, observada para los

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

As mismo las componentes espacial-espacial:
E E E E
ij
T ij = Di E j + H i B j
D E + B H
2
) T (
ij
M)
Donde Tij(M) es el tensor de tensiones de Maxwell.

El tensor T puede escribirse en forma matricial abreviada:
T =
Tij(M )
Donde, como hemos visto: U = T 00. Las componentes T 0i estn relacionadas con el
E
vector densidad de momento del campo electromagntico: g = p
Las formas covariante y mixta son: T =
Tij(M )
, y:
c2
por: T 0i = c gi.
T =
Tij(M )
Leyes de conservacin para el campo libre:

En ausencia de fuentes se anula la cuadridivergencia: T = 0, esta condicin implica que existen magnitudes conservadas asociadas a los campos, del mismo modo que:
J = 0, implica la ley de conservacin de la carga.
De donde:
E E
1 U 1
+ P
c t c
para = 0, se tiene: 0 = T 0 =
E E
[Ley de conservacin de la energa]
U
+ 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 E
d
d
U d 3 r + P d 3 r = 0 U d 3 r = P ds
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".
45
G
G
Las cuatro cantidades: U c , P 2 U c , gG , con: gG = P
c2
, densidad de momento elec-
tromagntico por unidad de volumen, son las componentes de un cuadrivector:
G)
P U , g
c
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
W
U d 3r =
, donde W es la energa total electromagntica en V.
c
c
V
G G
G = g d 3r ,
Se define:
momento total asociado al campo en V.
As pues, las cantidades W c , GG , tienen la misma expresin que el cuadrivector enerV
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:
G G
W2
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
G G
G)
W2
G G 0 , no es invariante Lorentz: W c , G no es un cuadrivector.
c2
Consideremos dos hipersuperficies espaciales
que delimitan el volumen
cuadridimensional R4.
La cantidad T puede integrarse al volumen cuadridimensional dx4:
Tma Gauss

Re gin m 4
dx
d =
Frontera
T
(t )
d r
3
1 1
T
(t )
d r =0
3
2 2
En el sistema coordenado Lorentz en el que el vector normal a la hipersuperficie tiene 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:
(t )
d 3 r constante con tiempo t
d
T 0 d 3r = 0
dt
V
d
U d 3r = 0
dt
V
d
g d 3r = 0
dt
G G
La energa y el momento total del campo se conservan

I 46
para = i = (1, 2, 3), y en ausencia de fuentes:

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

d
dt
gi d 3r =
V j =1
Tij(M ) d 3 r =
T
S
(M )
i dS
Donde hemos aplicado el Teorema de la Divergencia, siendo S la superficie que delimita el volumen V.
La integral:
H
g d r =P,
3
es la componente i del momento total del campo en el volumen V.
La variacin del momento total del campo en el volumen V es igual al momento inyectado 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:
HH H H
U
+ P = J E
t
= 0:
[Ley de conservacin de la energa]

[Balance de energa en todo punto del campo]
gi
= i:
x T (
ij
j =1
M)
H H
= 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-
ra campos electromagnticos en interaccin con fuentes descritas por J ( c, J ).

La cuadridivergencia puede integrarse al volumen cuadridimensional dx4 del modo
siguiente:
[I]
dx 4 =
Re gin m 4
x0
Re gin m 4
dx 4 =
dS = P ( 2 ) P ( 1 )
Frontera
Donde P ( ) = T dS , es el cuadrimomento
2
1
del campo electromagntico, la integral est extendida a una hipersuperficie tridimensional de tipo
espacial.
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:
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.
c D dx 3 =
Por lo que:
para = 0, implica:
d d
P =
T 0 dx 3
dt
dt
V
I I I
d
U d 3r = J E d 3 r
dt
La prdida de energa del campo se produce por el efecto de conduccin de corriente
d
T 0i dx 3 = c D i dx3
dt
para = i:
I I
d I
g d r = D dx = dt P
d I
[P + PI
]= 0
d
dt
Como:
Se tiene:
part .
campo
dt
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 simtrico. Llamaremos a este tensor simtrico para distinguirlo del tensor energamomento cannico ordinario. La expresin de su divergencia:
= D
Resume las leyes de conservacin de la energa y el momento para el campo electromagntico en presencia de fuentes.
Desarrollando las componentes tiempo-espacio se obtuvo:
[I]
Donde:
gi
x T (
ij
M)
I I ) ]= f
= Ei + J B
Ig = EI HI , es la densidad de momento del CEM y fI

j =1
c2
es la densidad de fuerza
volmica (densidad de fuerza de Lorentz) del CEM.

El momento angular del campo, en el volumen V respecto de un punto fijo de vec-
tor de posicin r , se define como:
I I I
J (t ) = r g (r , t )dv
I 48
Veamos en qu condiciones se conserva esta cantidad. Su variacin con el tiempo es:

[II]
J
J
(J ) J (
g
dJ
= dv r f + dv r T (M )
= dv r
dt
t
V
V
V
Donde hemos considerado que
r
= 0 , (momento angular respecto de un punto fijo), y
t
por T (M ) se quiere representar el vector:

Tij(M )
[III]
x j
T (M )
La ecuacin [II] se ha escrito teniendo en cuenta la igualdad [I] en forma vectorial:
J J
g
T (M ) = f
t
Consideremos algunas componentes del ltimo integrando de [II], e.g.:
[rJ J T ( ) ]
(J
= y T (M )
por [III]:
) z (J T ( ) )
= y i Tiz z i Tiy
= x T xy z Txz y y T yy z T yz y z Tzy z Tzz y
Que se puede escribir:
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:
(
= (T (
) (
) )= ( (
x
T
J)
)J )
r
M iy = Tiz(M ) x Tix(M ) z = Ti(M ) r

M iz
M)
y
ix
Tiy(M
Se puede construir el pseudotensor de 9 componentes densidad de momento:
M = T (M ) r
Y la expresin del trivector [rJ (J T (M ) )], se puede escribir:
J (J
) J
r T (M ) = M
La integral
J
dv (rJ f ) es el par resultante impartido por el campo a las cargas y co-
rrientes en el volumen V, y por tanto ser igual a la variacin con el tiempo del momento angular total mecnico de las masas asociadas a las cargas y corrientes, esto es:
J dL
dv (rJ f ) = d t
As la ecuacin [II] queda:

[IVa]
(J J ) (J
V
) J
d
J + L = dv M = ds M
dt
S
49
Que escrito en componentes es:
(M M )
d
J +L
dt
[IVb]
= dv i M ij = ds i M ij
V
"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"
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:
M M
M M
(r g ) + M = r f
t
[V]
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
(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 tendr por componentes espaciales:
(M M ) ,
M 12 = r f
Donde:
M ij = x i D j x j Di
(M M ) ,
M M M M M
M
f = E + J B = [E + uM B ]
M 13 = M 31 = r f
Y las componentes espacio-temporales:

M i0
= M 0i = c f i t x i
M M
M M
(M M )
M 23 = r f
M M
f u
u E
J E
= 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
= x x =
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
La simetra del tensor energa-momento est relacionada con la conservacin del tensor 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
de continuidad:
Esto es:
cumple una ecuacin
=0
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:
para l = 0:
lk 0
= x k g l + t Tlk(M )
0k 0
= xk W + c 2t gk
Donde se ha considerado la expresin en componentes de , siendo gl la componente l del trivector densidad de momento en S, W la densidad de energa y xk la componente k del trivector posicin del elemento de volumen en S. Tlk(M ) son las componentes 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.
**
51
La ecuacin de conservacin: R
(S
= 0 reproduce las componentes de la ecuacin
k 0
S S S
(
S)
r W c 2 t g + c 2 g r + t T (M ) = 0
t
vectorial:
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
d
dt
que:
S
S
S S ( ) S
(rW c t g )dv + c (g r + t T 0 )ds = 0
2
Para una superficie S que englobe todo el volumen donde existe campo, la integral de
superficie es nula.
La integral: r W dv , se puede utilizar para definir el centro de masas del campo:
S
r W dv
CM
W dv
S
r W dv
1
WT
Del mismo modo que el centro de masas en mecnica, ya que W
c2
es la densidad de
masa equivalente a la energa W.

As, el resultado de la integracin al volumen V podr expresarse:
( S
d
WT r
dt
c 2t P = 0
CM
Siempre que el momento y la energa se conserven, la ecuacin anterior es la ley de

movimiento del centro de masas del campo:
WT
d r
= c2 P
CM
dt
Con lo que la velocidad del centro de masas del campo es:
S
v
Propiedades del tensor U
CM
c2P
=
WT
a) Es antisimtrico en los dos ltimos ndices:

er
b) Es un tensor de 3 rango, por tanto tiene 4 = 64 componentes.

c) Por antisimetra, las 16 componentes
son nulas.
d) De las 48 componentes no nulas, por la antisimetra

independientes.
e) De estas 24 componentes, slo las 12:
kl
lk,
quedan slo 24 componentes
con kl = 12, 23, 31, relacionan el flujo de
momento angular y el momento angular del campo.
I 52
f) De estas 12 componentes, 9 se identifican con las componentes del pseudotensor M = T r , que

representa la densidad de flujo de momento angular, para = 1, 2, 3.
g) Las otras tres:
0kl
Y Y
se refieren a las componentes del vector r g y representan la densi-
0lk,
dad de momento angular.
h) Las tres componentes independientes del tensor antisimtrico Mkl = kl, con kl = 12, 23, 31,
dan la descomposicin vectorial de:

(r g ) + M = r f , que describe cmo se conserva el
t
momento angular.
Y Z
Y Y
i) Las tres ecuaciones M =
Y Y
= 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
CM
c2P
.
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 + ,
x
con: escalar Lorentz
Define un nuevo cuadrivector potencial A' que da lugar al mismo campo electromagntico. En efecto:
F' = A, + , A, , = F
luego:
F' = F
Y los campos son invariantes ante dicha transformacin de potenciales. Tal transformacin 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 cuaF, = A,, A,, = A A = 0 J
dripotencial:
Se puede hacer uso de la transformacin [I], de modo que se tenga un A tal que:
A = 0, esto es:
A
x
=0
condicin de gauge de Lorenz*
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).
53
Transformaciones gauge
Elegir potenciales del gauge de Lorenz es siempre posible. En efecto, si A no cumple 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

g
=
1
Tr g = 2
{ }
1
~
g =
1
Tr g~ = +2
~
~
x = ( c t , r )
x = (c t , r )
x = (c t , r )
= t ,
c
= t ,
c
{ }
x = (c t , r )
~
1
= t ,
c
~
1
= t ,
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 )
= t ,
c
= t ,
c
Como la mtrica es eucldea, las componentes contravariantes coinciden con las covariantes.
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
= 0 J
La forma explcita del tensor campo electromagntico es:
0
i E
= ic x
c Ey
i c Ez
^)
Ex
0
Bz
By
ic Ey
Bz
0
Bx
c Ez
By
Bx
0
i
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
dt qi
[I]
q = 0
i
Ecuaciones de Euler-Lagrange
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

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

qi
dt
qi
a) Para la partcula libre:

Con la Lagrangiana:
Se tiene, por [I]:
= m0 c 2 1 v
c2
d
(mvi ) = 0
dt
Que son las ecuaciones del movimiento de una partcula libre de masa: m = m0
1
1 v
c2
b) Para la partcula en un campo conservativo:

Con: (qi ) , energa potencial o potencial conservativo, tal que: F = ,
la Lagrangiana ser:
= m0 c 2 1 v
Pues genera, por [I]:
d
(mvi ) = = Fi
x i
dt
c2
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*.
La Lagrangiana ser:
= m0 c 2 1 v
c2
q + qA v
Los momentos cannicos son: pi = mvi + qAi , y las ecuaciones del movimiento:
dp
= i ,
qi
dt
*
desarrollando:
A y
Ax
A
L
= q
+
vx +
v y + z vz
x
x
x
x x
Vase: H. Goldstein, Mecnica Clsica. Secc. 1-5, 7-8.

II
Formulacin covariante del movimiento de partculas cargadas
d
(mv x + qAx ) = d (mv x ) + q Ax dx + Ax dy + Ax dz + Ax
dt
dt
z dt
t
x dt y dt
A
A
A
A
d
= (m v x ) + q x v x + x v y + x v z + x
dt
y
z
t
x

d
(mv x ) = q Ax + y Ax v y + Az Ax v z
dt
y
z
x t x
x
Ax
= q
+ v A x = q Ex + v B x
x
t
Igualando:
( (
E =
Ya que:
A
,
t
)]
B = A
y:
))
Resultan las ecuaciones del movimiento de una partcula de carga q y masa

m = m0
1
1 v
sometida a la fuerza de Lorentz:
c2
d
(mv ) = q E + v B
dt
Hemos derivado la fuerza de Lorentz desde un potencial generalizado:

U d U
+
x dt v x
d
(mv x ) = q dAx = q A v d A v
dt
dt
dt v x
x
x
Fx =
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
m0 u = k
d
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

vA +
, teniendo en cuenta que
i
dt
x
la carga q es la fuerza de Lorentz: Fi = q
II
, 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

Por otra parte:
A u = A v .
(invariante Lorentz), ser:
dAi dAi d 1 dA i
1
, donde = 1 v 2 c 2 ; por lo que Fi podr ob=
=
dt
d dt d
tenerse como:

1
dA
Fi = q
A u i
d

xi
[III]
El corchete que aparece en [III] contiene las componentes espaciales de un cuadrivector

dA
k = q
A u
d
x
k definido como:
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
d m0 d m0 c 2
m0 u u =
u u =
d
d 2
d 2
=0
As, de: k u = 0 , bien: k u = 0 , se tiene:

F v
k =
c

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

F v
, Fi
k
c
Luego en S se tiene:
para: = 1, 2, 3:
d
m0 u i = k i , evidentemente reproduce en S la ecuacin:
d
d
(mv ) = F
con: m = m0
dt

d
d
(m0 c ) = F v = dt d (m0 c ) = d (m0 c ) ,
m0 u 0 = k 0 , resulta:
d
d
c
d dt
dt
d
mc 2 = F v
Y, por tanto:
dt
para: = 0:
( )
La potencia suministrada por el campo de fuerzas se emplea en variar la energa cintica 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
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:

= m0 c 2 1 v
q + A v

c2
Que conduce a las ecuaciones del movimiento mediante:

d
dt v i

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

t2
I =0
I=
donde:
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 especial 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 partcula 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.

x ( ) + x ( )
x2
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:
x1
x ( )
x = x ( )
Y esa ser la funcin que tendr que determinarse por las ecuaciones del movimiento, una vez resueltas con las condiciones de contorno adecuadas (valores en =1, y en
=2).
II
Entre todas las posibles trayectorias, la descrita fsicamente ser aquella que haga
2
I=
estacionaria la integral:
(x ( ), x ( ), ) d
I = 0 ; sobre toda trayectoria variada, para
Esto es, se precisa que:
fijo.
As, en lugar de x = x ( ) , se consideran las trayectorias variadas:

x = x ( ) + x ( )
x = x ( ) + x ( )

Efectuando la variacin del integrando:
x +
=
Hagamos uso de la relacin:
x
d ( )
d
dx
Y la anterior variacin de

[variacin de la derivada = derivada de la variacin]
quedar:
d
d d
x +
x +
x =
x
d x
d x
x
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
I =
d
d =
d x
x
1

d =

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

2
x d = x
x
x
1
d
d
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:
d
x d x

[II]
=0
para todo 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
Tal que por [II] reproduzca las ecuaciones del movimiento:
d
m0 u = k
d
Que traducidas al sistema coordenado S dan:

d
dt (m v ) = F
d mc 2 = F v
dt

( )
m = m0
con:
1
1 v
c2
Que representan la transferencia de energa y momento del campo de fuerzas a la partcula 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
m0 u = 0 .
d
d
La analoga de la anterior ecuacin con: (m vi ) = 0 , cuya Lagrangiana es:
dt
sugiere para

1
mvi v i ,
2
covariante:
=

m0
u u
2
Que es un escalar Lorentz. Como:
= 0;
x

= m0 u = p
u

d
m0 u = 0
d
Aplicando [II] se obtiene:
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
d

b) Lagrangiana de una partcula en un campo electromagntico externo:

Vamos a considerar la Lagrangiana:

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

Las ecuaciones de Euler-Lagrange conducen a:
d
(m0u + qA ) = q u A
d
x
)
II
Que se puede escribir como:
d
(m0 u ) = q u A dA = k
d
d
x
d
(m vi ) = Fi
dt
d m c 2 = F .v
dt
( )
Con: k = q (u A ) , que es la fuerza de Minkowski correspondiente al campo

d
x
electromagntico que acta sobre la partcula.

dA
En efecto, con el trmino:
Resulta:
A dx
A
dA
=
= x
d
d
x
x

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

A
x
es el
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.
para p0:
p 0 = m0 c + q
m c 2 + q T + q E
=
=
=
c
c
c
c
Donde E = T + q es la energa total de la partcula. La componente temporal del momento 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
c
c
2
2
T2
p0 q p q A = 2 p q A
c
c
Por lo que:
)2
T 2 = p q A c 2 + m0 2 c 4

II
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:

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

q + q A v

= mvi + q Ai , donde: m =
vi

Con los momentos cannicos: pi =
m0
1 v
c2
Obtenemos el Hamiltoniano del modo usual:

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

v2
c
+ q q A v

v
= 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

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

(p qA)2 c 2 + m0 2 c 4 + q
HR =
El Hamiltoniano Covariante:
Generalizando la expresin correspondiente al Hamiltoniano relativista se obtendr:
H C = p u
Donde

es la Lagrangiana covariante:

m0
u u + q u A .
2
Las ecuaciones del movimiento sern ocho en total, dadas por las ecuaciones de Hamilton:
[I]
H C
p
dx
;
d
H C
x
dp
d
Donde el tiempo t ha sido generalizado al invariante . Las anteriores ecuaciones son

obviamente invariantes Lorentz.
II
Con los momentos cannicos definidos como: p = m0 u + q A , el Hamiltoniano covariante toma la expresin:
m
1
H C = m0 u u + q A u m 0 u u qu A = 0 u u
2
2
HC =
m0
u u
2
O en funcin de los momentos cannicos:

[II]
HC =
1
2m0
(p
q A )
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
p
p0 q A0
dx
= u0 = 0
m0
d
Por tanto
p 0 q A0 = m0 u0 = m0 c
De donde:
p 0 = mc + q
mc 2 + q T + q
=
c
c
p0 =
E Total
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 describir 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 contribuye 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
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+1
Llamando i al desplazamiento de la partcula i-sima desde su posicin de equilibrio, la energa cintica de la misma ser:
T=
1
1
mi 2 , y para todo el sistema: T =
2
2
1
2
k (
La energa potencial ser de la forma:
V=
i =1
i +1
i )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 expresin respecto de i :
Fi =
V
= 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:

= T V =
1
2
[m
k (i +1 i )2
2
i
i =1
Que se puede tambin escribir de la forma:

1
2
2
m 2

a i k a i +1 i =
a

i =1
a
a

i =1
Como suma de Lagrangianas de todas las partculas. Las correspondientes ecuaciones de movimiento i(t), se obtienen sin ms que aplicar las condiciones de EulerLagrange a las coordenadas generalizadas i , i :

d t i

m

= 0 i k a i +1 2 i
a
a
i

+ k a i 2 i 1 = 0 Ecuaciones de movimiento
Consideraciones en el paso al continuo:

1) El lmite continuo para el slido elstico unidimensional se obtendr para a0. Claramente 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 evidente que el alargamiento de una longitud a de un sistema discreto, por unidad de longitud, 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
=
a 0
a
a
dx
lim
a 0
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:
=
[I]

1
2
d
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

a dx x dx x a
lim
a 0
Que define claramente una segunda derivada de en x.

Por tanto, la ecuacin de movimiento para el slido elstico unidimensional ser:
[II]
d 2
dt
d 2
d x2
=0
Ecuacin de ondas unidimensional, con velocidad de fase: v =
Y
, 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 posicin x. No es una coordenada generalizada!. Slo sirve como ndice continuo que sustituye 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 generalizada. 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
[III]

tendr la forma:
= 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:
[I]
2
2

1
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 )
t 2
Tendremos:
Que podr ponerse:
i +1 i
(x , t )
x en x
a

ka i +1 2 i
a
Y el trmino:

+ ka i 2 i 1
i i 1
(x, t )
x en x x
a
Y:
(x t )
Y (x t )
Y
As pues tendremos, si: ka =Y

a x x x x x
2 (x, t )
x2
Y, por tanto, en el lmite continuo, las ecuaciones de movimiento son:

[II]
2
2
=0
Y
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 conseguir.
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 Lagrangiana 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 t
xk = x, y, z
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 coordenada 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 estudio, si cualquier variacin hace que la accin I sea estacionaria (mxima o mnima), esto significa que su variacin I sea nula:
2
I =
dx dy dz dt =
%
dx dy dz dt = 0
La variacin de la densidad Lagrangiana se puede escribir:

%
+
+
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
I =
+ +

&
&
dx dy dz dt = 0
x k
k =1
xk
3
Que podemos escribir:
+ +
t t

&
&

x k
k =1

x k
3

x k
k =1

x k
3
dx dy dz dt = 0
II 14
Haciendo uso de las relaciones:
( ) = =
t
t
( ) =
xk
xk
y:
'
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 frontera 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,
Valor en la frontera t 1
(
pues (x, y, z, t1 t2) = 0
'
Valor en la frontera x k ( 2)

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

2
x k
k =1
x
k
3
dx dy dz dt = 0
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:
t k =1 x k
x
k
3

=0
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 contorno 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)
,
t t = t
1
b)
,
,
t t = t xk =
t t1
1
(x, y, z, t1),
para (x, y, z, t) en la frontera del volumen V.

para (x, y, z, t) en la frontera del volumen V.
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 totalmente anlogo a determinar la trayectoria de la partcula pues hay que conocer la posicin (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 movimiento 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 tridimensional, 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:
t j k =1 x k j
xk

3

=0
j = 1, 2, 3
A veces se introduce el concepto de derivada funcional o derivada variacional. La

derivada funcional de la Lagrangiana respecto de j se define como:
j j k =1 x k
3
j

xk
-
Una definicin similar se hace para la derivada funcional de

ro ya que
/
con respecto a j , pe0
no depende de los gradientes de j , se tiene simplemente:

0
=
j j
.
II 16
As, la variacin de la accin I, con estas definiciones, se convierte simplemente en:
I =
j +
j dV
j
Esto es:
I =
j +
j dV
j
j
k =1
xk
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:

=0
t j j
3
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 ecuaciones 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 formulacin 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:
x j
=0

x

3
Invariantes Lorentz, si
4
=0
j
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

x t
.
+
x
x
(x, t) dado tomamos las funciones variadas: + , + ,

7
Si hemos construido la accin:

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

x2 t2
I=
dx dt
6
x1 t1
+
=
( ) +
( )
=
+

+
t
x

x
t
x
t
x
6
=
+

+
t t
x x

t
x
x
t

6
La integral queda:
x
t
x 2 t2
t2
x

dt +
dx
dx
dt
I=

x1 t1
t1
x1
t
x
t x
x t
1
1
Ahora bien:
x2
(x 2 , t ) = (x1 , t ) = 0
x1
Pues ambos trminos se anulan. En un principio variacional de extremos fijos: (x1),
(x2) son constantes con el tiempo. De la misma forma:
t2
(x, t 2 ) = (x, t1 ) = 0
t1
por ser (t1), (t2) constantes con la posicin. As pues, para que I = 0, para toda variacin , se ha de satisfacer:
=0
t x
t
x
Ecuacin de Euler-Lagrange
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:
2
2

1
x , se tiene = 0 ;
2 t
= ;

t
:
<
2
2
Y
=0
t 2
t 2
, por tanto:
= Y
x

x
:
Ecuacin del movimiento
Campo escalar tridimensional:

Definido por una densidad Lagrangiana:
:
El principio de mnimo sobre la accin: I =

V
Lagrange:
xk
k =1
x
k
3
,
,
,
, x, y , z, t
= ,
x y z t
t2
dx dy dz dt , genera la ecuacin de Euler-
t1
= 0 ; que
determina el campo =(x, y, z, t).
Campo vectorial tridimensional:

Definido por tres funciones campo: = ( x, y, z, t ) , esto es = x , y , x . Su densidad
=
Lagrangiana ser:
:
k
, x , t , con k = 1, 2, 3; = 1, 2, 3.
= ,
xk
Del principio de mnimo I =

V
Euler-Lagrange:
t2
t1
k
,
, x , t dx dy dz dt , se tienen -ecuaciones de
xk

t
t

;
x k
k =1
x
k

3
=0.
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 funciones 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:
[I]
I = 0, con: I =
V4
A (x ), A (x ) , x dx 4
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)
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 )
A (x ) + A (x ) A (x ) =
A (x ) = A , ;
= A ,
x
x
x
x
] (
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
Tendremos entonces: I =
dx 4 =
B
V4
si variamos las A (x) y A, (x).

A
)dx 4
B
V4
Como consecuencia de la variacin de las funciones campo:
A +
A

x
[ A ] =
A +
) ( A ) =
A +
A
A
A
A
Restando el trmino que falta para que quede:
)( A )
Si las funciones hacen mnima la accin, la variacin ha de anularse. La accin es un

extremo, por lo que:
I = 0 0 =
A (x )dx 4 +

A
A
A
A
V4
V4
() ) dx
La integral en volumen puede pasar a integral en el contorno de modo que:

A
A
V4
Pues
R4
dx 4 =
() ) dx = ( A ) A
dS = 0
dS , y la variacin de las funciones campo es tal que A (x) = 0
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

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

=

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)
a partir de las funciones y sus derivadas:

C
=
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
como:
Donde llamaremos:
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 Lagrangiana 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:
(
D
+ dx =
dx +
dx =
Como consecuencia de:
, x
dx +
, x d =
, x d =
Ya que: ( , x ) =
dx
V4
, x d = 0
, y = 0 en el contorno de R: R.
II 22
Campos complejos: Si las cantidades (x ) son complejas, podemos tomar las partes 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:
0 c2
F F = 0 E 2 c 2 B 2
4
4
Para el campo electromagntico libre, las funciones A (x) son las funciones campo,
aunque escribamos
F
en funcin de F (x) para mostrar su invariancia ante una trans-
formacin gauge para los potenciales.

Es fcil ver que:
=0;
= F
A ,
F, = 0
por lo que las ecuaciones de campo dan:

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

las ecuaciones de Euler-Lagrange: = 0
A A
En primer lugar:
no depende explcitamente de los A.
=0
A
E
En segundo lugar:
Con:
A
F
F
F
, donde F = A A .
= 2 KF
F A
A
E
A A
) = 2KF
)=
= 2 KF 2 KF = 4 KF
F = 0
Finalmente:
4 KF = 0
O bien:
2
A A = A 2 A = 0 A = 0 A = 0
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
1
= F F A,
4
2
No es invariante gauge, pero conduce al resultado:
2
I
A = 0 , sin condiciones adicionales
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 siendo la densidad Lagrangiana. De las ecuaciones que dan la densidad de energa electrosttica y magnetosttica:
,
JA
J
podemos expresar la generalizacin covariante Lorentz:

J A
Con este escalar Lorentz que contiene las fuentes de campo, escribiremos la densidad
Lagrangiana:
[I]
H
0 c2
F F J A
4
Hemos de tener en cuenta que las funciones campo son A. Expresando [I] en funcin de estos potenciales:
[II]
H
g g F = g F = F
Donde hemos utilizado:
Hallemos las ecuaciones del campo:
0 c2
g g
4
A
H
Con:
)(
0 c2
c2
F F J A = 0 g g A A A A J A
4
4
=0
A
F F
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
As:
Como:
[III]
= 0 c 2 F = 0 c 2 F
= J
A
K
Las ecuaciones del movimiento son:
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
1
F = ( A A )
2
2
1
1
= A A = A
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 cuadrivector 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
Donde el coeficiente
0 c2
se ha puesto por conveniencia. Veremos ms adelante qu
2
significado puede darse al escalar .

La Lagrangiana resultante se conoce como Lagrangiano de Proca:
L
PROCA
0 c2
c2
F F + 0 2 A A J A
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 tambin 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
la nica componente no nula en S ser:

2 A0 + 2 A0 = 0 c q (r )
N
Teniendo en cuenta que A0 =
(r )
, la solucin para la ltima ecuacin es:
c
N
(r ) =
N
1 q e r
4 0
r
Potencial de Yukawa
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 elecO
tromagntico de la forma:
j t k u r
P
A = A 0 e
Si, en ausencia de fuentes, las funciones A han de cumplir la ecuacin [I], en S se
tendr:
2
2
2
2
0
+
+
= k2 + 2
k
c2
c2
Multiplicando esta ecuacin por
2
Q
, se tendr:
2

2
2
= ( k) + ( )
c
R
Fijmonos que la partcula con energa y momento
( , k)/
Q
, k
P =
c
Y cumple: ( k )2 = 0 , es el fotn, que tiene masa nula.

R

2
2
2 2
( k ) = ( ) = m0 c
c
As que la ecuacin:
.
c
R
Corresponde a asignar al fotn una masa en reposo: m0 =
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
(x
, x ,
T
Se definen los momentos cannicos del modo:

p =
Y se forma
W
del modo:
;
d
d
U
d
=
d
V
= p
V
= velocidad generalizada
II 27
Para un campo k, tenemos una Lagrangiana que depende de las funciones campo
y sus derivadas:
Y
k
k
, k = , x k
Tomemos el equivalente a las velocidades. Para la funcin k, las velocidades sern:

k
= k
x
De donde el momento cannico:
Multipliquemos el momento por cualquiera de las velocidades:
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:

T =
)( ) g
Que es un objeto denominado tensor energa-momento, que se espera contenga informacin de las propiedades del campo.
Tensor energa-momento del campo electromagntico:
Se obtendr de la correspondiente Lagrangiana del campo. Para el CEM libre:
em
0 c2
c2
F F = 0 F F
4
4
Y, por tanto el tensor energa-momento correspondiente:

T =
) (
em
A g
Y
em
El tipo de derivada que hemos hecho anteriormente es:
Para:
Y
em
0 2
E c2 B2
2
T = 0 c 2 F A g
Y por lo tanto:
= 0 c 2 F
em
Podemos referir las componentes de T en un sistema S dado*:
T 0i
0 2
E c 2 B 2 + 0 E
2
= 0 c E B i + 0 c Ai E
T 00 =
( )
( )
[
1
(Ei )
T i 0 = 0 c 2 E B i + 0 c B i
0
c
x
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:
00
dv =
(E
0
2
(E ) dS = energa total del campo
c 2 B 2 dv + 0
0
los campos tienden a cero en el infinito
Del mismo modo:
0i
dv = 0 c
(E B )
]
(A E )dS = c componente i del momento total del campo
dv + 0 c
(E H ) = g (densidad de momento).
Hemos tenido en cuenta que 0 (E B ) = 0 (E H ) 0 =
2
]
Clculo de la divergencia del tensor energa-momento:

em
T =
A
em

em
=
A
Utilizando las ecuaciones de movimiento:

em
A +
T =
em
Luego, como
^
A +
em
=
^
em
em
(A
A g
em
= 0 , resulta:
A
) ( A ) = (A , A ) (A , A ) = 0
A ), y no es funcin explcita de x , el tensor energa
em
em
em
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 energamomento 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
= 0 c 2 F F +
= 0 c 2 F F
em
c2
= 0 c 2 F F + A g 0 F F
0 c 2
g F F 0 c 2 F A
4
g
+
(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:
(
(F
TD = 0 c 2 F A
= 0 c 2
)
)=
0c
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 tetradivegencia. 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 movimiento arbitrario sobre una trayectoria definida: f (t ) .
Al estar q acelerada radia energa y moPosicin
retardada
mento. Si tiene una velocidad: u (t ) = f ' (t ),
f (t )
q,t
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-
r ' (t ')
bre su trayectoria. Consideraremos los campos
en el punto r y en el instante t. Estos campos

O
han sido emitidos desde la posicin retardada 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 velocidad 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
+ R = c (t t ' ) .
satisfacer los tiempos (t, t') es:
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
(r , t ) ;
son:
*
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
=0
c 2 (t t ' )2 = R
III 1
Los potenciales de Linard-Wiechert
Para hallar el potencial escalar cabe resolver la ecuacin:

1 2
q r f (t )
(r , t )
2
2 2 =
=
0
0
c t

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 retardado. 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 ) =

1
[ (r ' , t )] 3
d r'
4 0 V '(r ' ) r 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 ' )
Entonces:
Con lo que:

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

r r'
r ' f t
c

q

(r , t ) =
4 0 V '(r ' )
r r'

3
d 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
q
(r , t ) =

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:

1
q
q
(r1 (t, t ' )) d 3 r1
[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

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

As, la condicin r1 = 0 , nos indica que hay que calcular [II] referido a la posicin

(r , t ) =
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:
[I']
(
(
(
)
)
)
x1 = x ' f x t R
c
R
y1 = y ' f y t c
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
x '
y1
J=
x '
z1
x '
x1
y '
y1
y '
z1
y '
x1
z '
y1
z '
z1
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:

(x' x )
x1
= 1+ f '
(x x') , y por tanto:

R
=
R
x '
Rc
x '

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

Rc
(z ' z ) f ' = 1 + 1 (r 'r ) f ' t R = 1 R f ' t R
y
Rc
cR c
cR
c
(z' z ) f '
1+
z
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 ) =
1
q

4 0
R u
R
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

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

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

0 q
u
A (r , t ) =

4
Ru
R
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

1
q
Con la expresin del potencial: (r , t ) =
, se tendr que:

4 0
R u
R
0

R u R R u
1
(r , t )
q
=

2
4 0
x
x
c
x
c x
R u
0
R

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 derivadas 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 '
()
u r'
(x', y', z')

R

r'
f (t )
(x, y, z)
(x+x, y, z)
yectoria, se tendr en general otro valor

de u en el punto variado r '+ r ' , luego
hay que considerar tambin la derivada

u
sobre la trayectoria.
x

Evidentemente, tanto R como R = R
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:
R
: Con: R = +
x
(x x')2 + (y y ')2 + (z z')2 , se tiene:
III 5
R (x x ' ) x ' (y y ' ) y ' (z z ') z '

1
=
+
R x
R x
R x
x
R

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

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

(x x')
R
R (x x ' ) R u R
=
,
despejando:
=
+

x
R
cR x
x
R u
R
0
El subndice |0 indica que el corchete se calcula en el instante retardado t'.
R
R
y
obtenemos que:
y z

1
R

R =
= R
=
Donde:

0
u
R
R u
R
c
c
Operando del mismo modo para
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.

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

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

R
r'

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

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

R
:
t

R
= R u
t

1 R

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

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

u
= Ru
t

R
R
u u tr d u t c t c 1 R
= u R ,
=
=
=u
= u 1
t tr t d tr
t
t
c t

R
1 R
Rx
u
u u tr d u t c
,
=
=
= u
= u
:
x
x t r x d tr
x
c x
c

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

q 3 u 2
E (r , t ) =
1
4 0 c 2

B (r , t ) c 0
H (r , t ) =
=
0
R

u R
u
R R + R R u
c c2 7
c
[R E (r , t )]
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 proximidades. 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:

q 1 1 2
Ev =

4 0 R 2 1 n

H v = c 0 n Ev

(
n )
)
3
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.

Y es que: P 1
R4

; como: dS R 2 , entonces: P dS 1
R2
0 , y:

P
dS = 0

Para el lmite de bajas velocidades: 0 , obtenemos los campos determinados por
las leyes de Coulomb y de Biot-Savart:

Ev

Hv
q 1
n
4 0 R 2
q 1
(u n )
=
4 R 2
Campo de Coulomb
Campo de Biot-Savart

Podemos observar que no se nota el efecto de retardo, es decir: r ' (t ') r ' (t ) , son campos 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 denominan campos libres o campos de radiacin.

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

1 n n u
q
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 determinamos 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:

P
dS 0 .
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 retardada de la carga.

Con el mdulo de Ea resulta que el vector de Poynting de la carga acelerada:

q 1
P (r , t ) = 0 2
16 c R 2
2
{(
(
) }
)

n n u

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

=
, donde:
P(r , t ) dS =

16 2 c
R2
1 n 6

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
R = c(t t ')n

n

r ' (t ')
dS
retardada de la carga).
P (r , t )
Para hallar una ley local, consideraremos la cantidad de energa dW|0 que
f (t )
instante t con magnitudes definidas en la

posicin r ' y en el instante t' (posicin
emite la carga en dt', en la direccin del
ngulo slido:
dW|0 =
Donde
(t') dt'
(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
d
Se tiene que:

(t') = P (r , t ) dS dt
dt '
dt
:
dt '

3

R dx' i
R
dR
Como R (r = cte,r ' ) :
=
= u = n u
R
dt ' r =cte i =1 x ' i dt '
Tenemos que calcular
dt '
dt '
dR
dt '
dt ' dR dt '
,
1
= n
= c 1 =
= n u
dt
dt
dt
dt
dt dt ' dt

dt
1
dt '
1
=
n
=

dt '
dt 1 n
De R = c (t t '):
despejando:
Sustituyendo en la expresin de la potencia:

n n u
dt

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

2
2 n n u
d (t ' ) 0 q

=
[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 ' :
[II]
(t') =

n n u

1 n 5
{(
(
0 q
16 2 c
2
) }
) d ,
2
evaluando la integral:
( )
2

0 q 2 u 2 u
(t ') =
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

2 uR
u
u
R

d (t ' ) 0 q

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

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

2
2
2
Que, como:
donde: = , u R
u R u = u sin ,
{(
(
) }
)
( )
queda:
(t' , ) =
0 q 2 2 2
u sin
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 radiacin dipolar. En max =
se encuentra
el mximo de radiacin.

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

(t ') = 0 q
6 c
u 2
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 referencia en el que la carga est instantneamente en reposo.
Como u es la aceleracin de la carga, y sta es independiente del sistema de referencia 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:
2

0 q 2 u 2 u
(t ') =
6 c 1 2 3

1
Si llamamos al ngulo que forman y u , con: =
, podemos escribir la
1 2
expresin anterior como:
2
(t ') = 0 q u 2 6 1 2 sin 2
6 c
Cuando: u c , entonces: . Como:
( )
)
(t ') = 0 q
6 c
(t ') = 0 q
6 c

u 2 6 sin 2 + cos 2 2 sin 2

u 2 4 2 cos 2 + sin 2

!#"
Para || u , = 0, sin = 0. Cuando: u c, entonces
(
) como 6.

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

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
2 uR
u
u
R
d (t ' ) 0 q

=
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 interaccionar 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:
&
sin 2
d (t ' ; ) 0 q 2 $ 2
=
u
d
(1 cos ) 5
16 2 c
Tenemos nodos de radiacin, direcciones en las que las cargas no radian. As, para:
&
d (t ' , )
se tiene que:
= 0, ,
=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:
&
d
d
(t' ; ) 0
ahora se tiene que:
= ,
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:
&
(t ' ; ) , respecto de cos , se tiene:
1
2
1 + 15 1 para 0 : max < 2
3
1
que escribimos en funcin de =
, se tiene para la direccin del mximo:
1 2
cos max =
12
cos max
Si 1, entonces 1
15
41
1
16 2
=
12
3 1 2

<< 1, y al desarrollar en potencias de: 1
cos max 1
1
.
8 2
Si, por otra parte, desarrollamos la funcin coseno para ngulos pequeos:
1 2
1
cos max 1 max
1 2 ,
2
8
con lo que:
max
1
2
Cuando: 1, max 0 , la direccin en la que se emite la radiacin mxima se acerca 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
1
0.218 .
que: max = 0.224 rad, y:
2
=/2
La radiacin calculada con estos valo-
max
'(
'
res en la direccin de max con la frmula:

*
d (t ' ; ) 0 q 2 ) 2 2
=
u sin
d
16 2 c
resulta ser 1700 veces mayor que la calculada 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-
+)
u
mula general:
P
d
(t') =
plano orbital
el numerador tenemos:
+ +) +
+ +
+
+)
uR u u R u 1 u R
)(
Al elevar al cuadrado, tal expresin se convierte en:

+ +
+) +
)
u 2 1 uR 2 1 2 u uR 2
+ +
+) +
)
Como:
y:
u R = cos ,
u u R = (u sin ) cos ,
{(u+ + ) u+ ) }
(1 u+ )
+
uR
R
0q
2
5
d
16 c
R
+ +)
+ +)
Como: u , el producto: u = 0 . En
) (
)(
) (
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 determinada por los ngulos (, ) ser:
d
(t' ; , ) =
d
0 q2
1 2
u, 2
2
2
1
sin
cos
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
u.
u.
0/
0/
lbulo secundario
nodo
lbulo principal
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 trayectoria, 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 aceleracin, 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
3 32 2
2
4
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
a
= 0
6 c
3
Donde
es el vector aceleracin de la carga, que tambin podemos escribir como:
a
3
32 32
= u c = a c . Es la aceleracin de la carga medida cuando se desplaza con una veloci3
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 compou =
nentes de la cuadrivelocidad:
dx
d
3
La aceleracin de la carga: a , en S, est contenida en las componentes del cuadri2
du
u =
d
vector aceleracin:
Se puede formar un invariante Lorentz,
u=
lnea de
Universo
de la carga
dx
d
56
du
u=
d
x ( )
que nos d la potencia emitida por la carga

en un punto cualquiera de la trayectoria.
Sea este invariante de radiacin:
3 2
4
0 q 2 du
=

6 c d
Reproduzcmoslo como relaciones en3
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 )
El cuadrivector aceleracin es:
3
du dt du
d
=
= ( c, )
d
d dt
dt
Para hallar esta derivada, necesitamos derivar el factor respecto de t:
III 16
Como:
1
d
d
=
dt
dt 1 2
7
d 7 8
=,
dt
con7 7
7 7
= 2 = = 1 1
7
7 d
2
dt
) ( )
3 2
se tiene que:
7 78
d
= 3
dt
La parte espacial del cuadrivector velocidad queda:

7
7 7
7
7
d 7
d 7
dv
( v ) = v + = 3 8 c + c8
dt
dt
dt

Con lo que las componentes del cuadrivector aceleracin en un sistema coordenado
Lorentz quedan:
7 78
7 78
7
78
u8 = 3c , 3 c + c
Reordenando:
7 7 78
7
7 78
8
u8 = 2 c 2 , 2 +
En la expresin del invariante de radiacin aparece el mdulo del cuadrivector aceleracin, calculmoslo:
7 78 2 7 7 78
7 8 2
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:
4 2 4
III 17
Funciones de Green covariantes
: :
: :
u9 u9 = 6 c 2 9 2 9 9
: :
: :
: :
: :
Por rotacin del producto mixto:
9 9 = 9 9
Se tiene:
: : 2
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
2
: :
9
;
0 q 2 2
0 q 2 u9 2 u9
=
c
=
6 c
6 c 1 2 3
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
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 :
=
a
6 c
Vemos que al traducir la expresin del invariante de radiacin a un sistema coordenado 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. Vase: J.D. Jackson: Classical Electrodynamics, 3rd ed. (footnote on p.666).
III 18
Carga puntual en m4:

Supongamos una regin del espacio de
q(x'a)
2:a
x
lnea de
Universo
de la carga
Minkowski: M m4 ; en cualquier punto

de esa regin se pueden definir objetos
como: F(x), A(x) J (x).
P(x)
Las posibles trayectorias de una partcula 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 conocidos 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 pasa 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 istropo, 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<
es el instante retardado, y se corresponde con la posicin de la carga
t 'r = t
c
en un instante t' anterior a t (posicin retardada).
III 19
t 'a = t +
>
R
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 carga, que es la nica solucin fsicamente aceptable.
Vamos a proponer una ecuacin en m4 que nos permita encontrar potenciales asociados 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:
En efecto:
D (x; x ' ) = ( 4 ) (x x ').
>
>
>
>
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 asociamos el parmetro q.
Cuadrivector densidad de corriente para la carga en m4:
Recordemos que el cuadrivector densidad de corriente referido a un sistema de coordenadas tiene como componentes:
@ @
@
@
J (r , t ) = c (r , t ), J (r , t )
@ @
@
@ @
@
@ @
Donde:
y: J (r , t ) = q v (t ) (r r ' (t ))
(r , t ) = q (r r ' (t )) ,
@
coordenadas del punto campo en el sistema S.
r,
@
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
Con:
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
Donde u ( ) es el cuadrivector velocidad de
uA ( )
@ @
J (x )
@
z ( )
@
x
la partcula. Llamamos x al punto P de m4:

@
@
x x 0 , x , donde x son las coordenadas es-
( )
paciales en S.
Esta integral slo va a tener valores diferentes 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 ) reproduzca 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 ( ))
Extendiendo la integral a todo , y aplicando la propiedad de la funcin :

f ( )
i
f ( ) (g ( ))d = i f ( i ) dg ( i ) = i gC ( 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
dt
dz 0 ( )
dt
c
d
d
Tomando componentes, se tendr:
B D
B B
d (ct )
J 0 = q (x r ' (t ))
para = 0
= q (r r ' (t )) c = c
dtB
B
D
d
(r (t )) = q (xB rB ' (t )) vB (t )
J = q (x r ' (t ))
para = 1, 2, 3
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 (r , t ) = q (r r ' (t ))
B
B
B
B B
J (r , t ) =
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 cuadriB
vector: A(x ), en cualquier punto x de m4:
C
B
0 c q
z ( )
C
A(x ) =
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 ,
(x z ( r )) (x z ( r ))
B B
2
2
= c 2 (t t ' ) r r ' (t ') = 0
esto es:
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
= Ai
=
r
(rE , t ) =
1
q
4 0 R 1 E uE R
q
vE
AE (rE , t ) = 0
4 R 1 E uE R
t'
Para la parte espacial:
( )
Ai x =
0c q
vi
4 cR 1 E uE R
t'
Que son los potenciales de Linard-Wiechert de una carga q, que se mueve con velocidad 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

zG ( )
potencial AE (x ) con JE (x ) se puede resol-
z(a)
ver, para obtener la expresin de AE (x ), si
z()
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
1 x 0 x '0 ( 4 ) (x x ' )2
2
Da ( x x ' ) =
1
2 x ' 0 x 0 ( 4) (x x ' )2
2
retardada
avanzada
El cuadrivector (x x ' ( )) est sobre el cono de luz, luego su mdulo es nulo:
(x x' ( )) (x x' ( )) = (x x' ( )) (x x' ( ))

As:
c(t t ') = R ,
por tanto:
= c 2 (t t ' )2 rE rE ' (t ' ) = 0

2
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 corresponde 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
1, 0 > 0
2 x ' 0 x 0 = x' 0 x 0
0, x' < x
2 como:
H
La solucin para A(x )ser:
H H
H
A(x ) = 0 Dr (x; x ' ) J (x ' )d 4 x '
con la densidad de fuente:
x'
H
I
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'
) [
I
0c q
2
d 1 x 0 x' 0 ( 4 ) (x x ' ) z ( ) ( 4) (x ' z ( )) d 4 x '
2 x '
I
cq
= 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:
g ( ) = (x z ( )) . As:
2
I
d
dz ( )
2
(x z ( )) = 2(x z ( ))
= 2 (x z ( )) z ( )
d
d
De los dos puntos donde se anula el argumento de la funcin , se selecciona el correspondiente a: = r , ya que 1 slo no se anula para: x 0 > x ' 0 .
Por lo tanto:
I
0c q
z ( )
A (x ) =
I
4 (x z ( )) z ( )
= r
Que es la expresin propuesta anteriormente para el potencial de Linard-Wiechert covariante.
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
F (x ) = A (x ) A (x )
este modo calcular:
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 ( ))
A , (x ) = 0 c q r
zK ( ) d
Derivamos respecto a x :
Notemos que la funcin de Green es una funcin cuadrtica de: x z ( ) , por lo que*:
A , = 0 c q
[(x z )2 ]
dDr
zK d = 0 c q 2(x z ) zK
d
2
2
x
(
)
[
]
d [(x z ) ]
d
x
dDr
(
d
d Dr
x z ) zK d Dr
= 0 c q 2(x z ) zK
d = 0 c q
d
(x z ) zK d
d [(x z )2 ] d
Donde hemos sustituido:
d [(x z )2 ]
, por el inverso de:
d [(x z )2 ]
= 2(x z ) zK .
d
Integrando por partes:

A ,
(x z ( )) zK ( )
(
(
)
)
;
= 0c q
D
x
z
(x z ( )) zK ( )
+ 0 c q Dr (x; z ( ))
d (x z ( )) zK ( )
d
d (x z ( )) zK ( )
El primer trmino vale cero, pues en = : x z ( ), y la funcin Dr (x; z ( ))se anula.

Nos quedamos con:
(x z ( )) zK ( )
(
(
)
)
(
)
K
x
(x z ) zK
0c q
2 d
0
0
( 4)
(x z ( ))
=
1 x z ( )
d
2
d (x z ) zK
A , = 0 c q Dr (x; z ( ))
d
d
) [
Donde hemos sustituido la expresin de la funcin de Green retardada. Integramos tef ( )

niendo en cuenta la propiedad conocida:
f ( ) (g ( ))d = i gK ( ii )
Donde ahora:
f ( ) =
d
d
(x z ( )) zK ( )
, y:
(x z ( )) zK ( )
Haremos uso de: Dr ( f ( )) = f ( )
g ( ) = (x z ( ))2
dDr ( f ( ))
d dDr ( f ( ))
= f ( )
d ( f ( ))
d ( f ( ))
d
III 25
Expresin covariante de los campos
L
L
d g ( )
= g ( ) = 2(x z ( )) z ( )
d
Por lo que:
As:
L
0c q
1
d (x z ( )) z ( )
=
L
L
4 (x z ( )) z d (x z ( )) z ( )
Operando ahora para obtener el tensor campo:

F
=A
L
L
0c q
1
d z (x z ) z (x z )
=
L
4 (x z ) z d
(x z ) zL
Derivando respecto de , resulta la expresin completamente general:

F =
0 qc 3
(x z ) zLL A (x z ) zL B + (x z ) zL (x z ) zLL A + (x z ) zL B (x z ) zL
3
4 A
L
A = (x z ( )) z ( ) ,
Donde:
y:
LL
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 coordenado 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 referencia 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:
x = (ct , rM )
z = (ct ' , rM ' = cte )
L
z = (c, 0)
LL
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:

01
0 qc 3
0 qc 3
0 L1
1 L 0
(x z ) z (x z ) z = 3 3 [(x x')c] = 0 c q3 Rx = E x
=
3 3
4 c R
4 c R
4 R
c
Simplificando con: c 2 =
1
, obtenemos la componente x del campo elctrico:
00
q RM x
Ex =
4 0 R 3
()
III 26
Trabajando con las componentes F 0 i del tensor campo electromagntico vemos que:
N
N
q R
Campo de Coulomb
E=
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 comN
ponentes se encuentra que: B = 0
2
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 :
(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

Por tanto:
01
N N
E x 0 qc 3 Rc uN R x
=
=
N
4 3 R 3c 3 1 u R
c
)
N
1
(
)
q
E =
4 R
(1 u )
N N
N
q (1 N ) ( u )
B=
4R
(1 uN )
2
Despejando E x , se obtiene:
(
)N (uN N
(cf. III 7)
Para el campo magntico:
(cf. III 7)
Campos de la carga acelerada:

Considerando la carga puntual acelerada:
N
N
x = (ct , r )
z = (ct ' , r ' (t ' ))
N
zO = (c, v ' (t '))
zOO =
N
d
(c, v ' (t'))
dt '
Se recuperan los campos de aceleracin:
N
N
N
N O
u
u
R
R
N
q
N
Ea =
N 3
4 0 Rc
1 u R
N
q
Ba = 0
4cR
(uN
)
)
(cf. III 8)
N
N O N N
N
NO
+ u R u R
N N
(cf. III 8)
3
1 u R
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. &

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

http://www.plasma.uu.se/CED/Book
Adicional sobre Relatividad:

Introductoria: Skinner R.
Referencia:
"Special Relativity", Blaisdell 1969
Das A.
"The Special Theory of Relativity. A Mathematical Exposition", 2nd

ed. University of Bangalore Press 1997
Kay D.C.
"Teora y Problemas de Clculo Tensorial", McGraw-Hill,

Schaum 1991
Synge J.L. &

Schild A.
"Tensor Calculus", University of Toronto Press 1966
Matemticas:
Tensores:
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 University Press 1999
Schutz, B.F.
"Geometrical Methods in Mathematical Physics", Cambridge

University Press 1980
Otras referencias:
Itzykson C. &
Zuber J. B.
"Quantum Field Theory", McGraw-Hill 1980
Mandl F. &
Shaw G.
"Quantum Field Theory", Wiley 1984
Rohrlich F.
"Classical Charged Particles", Addison-Wesley 1990
AI
Cada unidad (u) de los ejes representa: 1 u = (q20/162c)(1m/s2)2 Acelerador sincrotrn:
Distribucin esfrica de la potencia radiada por una carga puntual q acelerada 1 m/s2:
r r&

= 0.10
[0, ], [0, 3/2]
r&
= 0.20
[0, ], [0, ]
r&
= 0.50
[0, ], [0, ]
r&
Cada unidad (u) de los ejes representa: 1 u = (q20/162c)(1m/s2)2 Acelerador lineal:
Distribucin esfrica de la potencia radiada por una carga puntual q acelerada 1 m/s2:
r r&
||
= 0.90
[0, ], [0, 3/2]
r&
= 0.10
[0, ], [0, 3/2]
r&
= 0.50
[0, ], [0, 3/2]
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 coordenados particulares y del conjunto de observadores, sera la forma ideal y el modelo para la formulacin 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

La teora que se ocupa de establecer las bases conceptuales para la correcta expresin de las leyes de la
fsica es la teora de la relatividad. Concretamente, su
primer postulado o principio de relatividad es el fundamento filosfico y la gua que ha de seguirse cuando
se propone una ley fsica, expresada de la forma usual,
como relaciones matemticas entre objetos. De este
modo, el segundo de los postulados (La velocidad de la
luz ha de ser la misma para todos los observadores)
puede considerarse como una consecuencia directa de
este primero. Consistira pues nicamente en enunciar
una de las leyes de la fsica. Aunque de modo todava
impreciso, podemos formular el primer postulado de
relatividad diciendo: Las leyes fsicas han de tener la
misma forma, no importa qu observadores las formulen. Nuestra labor en estas pginas ser precisar el
significado de tal principio.
I.1. Sistemas coordenados

El observador que propone una ley fsica emplea
un conjunto de funciones con las que pretende describir
las experiencias realizadas. La relacin que establece
entre tales funciones ser lo que proponga como ley
fsica.
Para ello, previamente, ha de definir en su laboratorio un sistema coordenado. Esto es: precisar el
modo en que asigna a un suceso los cuatro nmeros
precisos para definir la posicin y el tiempo. As, funciones de la posicin y el tiempo, establecidas en su
sistema coordenado y relacionadas entre s por medio
de derivadas parciales, entrarn en la expresin matemtica de la ley fsica.
Es evidente que el contenido de la ley tendr que
ser independiente de la formulacin concreta que tal ley
adopte en un particular sistema coordenado. Cuando
una ley se escribe como relaciones a ambos lados de
una igualdad, de tal modo que, ante un cambio de sistemas coordenados, la nueva expresin de la ley mantiene la forma, se dice que tal ley est escrita de modo
covariante. El objetivo del observador ha de ser formular la ley de modo que su expresin no haga referencia
a ningn sistema coordenado concreto. Indicar la
operacin que se tendr que realizar sobre un objeto
definido y nos dir a qu otro objeto tendr que igualarse, de modo tal que ambos objetos y la operacin queden unvocamente definidos sin hacer mencin a ningn sistema coordenado particular. Cuando esta condicin se cumpla, diremos que se ha expresado la ley de
manera geomtrica.
La aparicin de ndices en la expresin de una ley,
es decir, la expresin usual de las leyes fsicas por los
mtodos del clculo tensorial, hace referencia a la covarianza de la misma en una clase de sistemas coordenados y, por tanto, necesariamente ha de nombrarse el
conjunto de sistemas coordenados en los que la ley es
invariante en forma. Lo usual en relatividad especial es
proponer la ley invariante en forma para los sistemas
coordenados Lorentz y, en consecuencia, se dice que su
expresin es covariante Lorentz. En caso de utilizar el
observador un sistema coordenado no Lorentz, puede
proponerse la ley por los mtodos del clculo tensorial
de modo covariante general. La ley propuesta ser covariante general o invariante en forma ante una transformacin general de coordenadas. ste es el modo de
proponer las leyes en relatividad general.
I.2. Observadores
No solamente el contenido de la ley ha de hacerse
independiente de su expresin en los distintos sistemas
coordenados posibles que pueda utilizar un determinado observador. Tambin ha de ocurrir esto con la misma ley, no importa qu observador la formule. Paradjicamente este es el contenido del principio de relatividad: todos los observadores establecern la misma ley.
La ley es nica. En un universo ausente de observadores los acontecimientos siguen producindose del mismo modo.
La formulacin geomtrica de la ley ser independiente del observador y del sistema coordenado y nicamente describir la relacin entre los objetos que
intervienen en la ley fsica o teora que se quiere construir.
II. LA VARIEDAD CUADRIDIMENSIONAL
Cul es el marco adecuado para formular las leyes fsicas? Segn la teora de la relatividad especial es
la variedad cuadridimensional V 4 , dotada de la estructura diferenciable y mtrica adecuada. La estructura
diferenciable establecida se denomina un atlas . Un
atlas en una n-variedad V n consiste en una familia de
cartas locales i definidas en conjuntos abiertos ui
pertenecientes a V n , siendo ui un recubrimiento de V n .

En particular, puede ocurrir que la carta local k pueda
extenderse a toda la variedad con lo que u k = V n y el
homeomorfismo k :
k : u k k (u k ) R n
define una coordinatizacin, o un sistema coordenado
global vlido para identificar cualquier punto de la
variedad. En esa coordinatizacin de la variedad escribiremos para todo X u k k ( X ) = ( x 1 , x 2 ,..., x n ) ,
que sern las coordenadas del punto X .
II.1. Espacio tangente
Definiremos como F 0 (uk ) el conjunto de las funciones continuas f definidas en uk con valores en R .
f : uk R f F 0 (uk )
Para la carta (uk , k ) tendremos el modo de proceder:
f ( X ) = f ( k ( X )) = f ( x 1 , x 2 ,..., x n ) R
En el sistema coordenado k , cada uno de los

operadores vi = i son parte del conjunto de vec x X
tores tangentes en X y constituyen la base natural de
vectores tangentes en X para k . De este modo, todo

a se podr expresar como a = a i i . Tales vecto x X
res residen en el espacio tangente a uk en X , que se
simboliza por TX (uk ). Cualquier a TX (uk ) acta
sobre los elementos de F 0 (uk ) dando lugar a nmeros,
es decir:
a: F o (uk ) R a Tp (uk )
Al conjunto de valores a i se les denomina componentes de a en la carta k . Para otra carta (v k , k )
X
las
coordenadas
del
punto
sern
k ( X ) = ( x 1 , x 2 ,..., x n ) y las componentes de a en esa
carta k sern ( a 1 , a 2 ,..., a n ) donde la base natural en

TX (uk ) sern los vectores vi = i . Ya que debe
x X
existir una relacin x j = x j ( x i ) por ser k , k homeomorfismos de uk v k en R n , las componentes del
vector a quedan relacionadas por la expresin:
xi
j
ai =
j a
x
que es la conocida ley de transformacin de las llamadas componentes contravariantes de un vector.
ii
II.2. Espacio cotangente

A los elementos del conjunto de funciones continuas F 0 (uk ) se les denomina tambin 0-formas. Existen otro tipo de objetos que residen en el espacio cotangente (dual del tangente) que simbolizamos por
TX* (uk ). Los objetos de este espacio son las 1-formas y
el conjunto de las mismas en X se simboliza como
TX* (uk ). En la coordinatizacin k , la base de 1-formas
es la basada en las diferenciales ( dx 1 , dx 2 ,... dx n ) ,

. Cualquier 1que es la dual de 1 ,
, ...,
2
x
x
xn
forma es combinacin lineal de las 1-formas base, de
modo que:
= ai dx i
donde (a1 , a2 , ..., an ) son las componentes de para
la carta (uk , k ) . Si cambiamos de carta en un entorno
del punto X , de modo que ahora usamos la carta
(v k , k ) , las componentes de la 1-forma sern
( a 1 , a 2 , ..., a n ) y tendremos la relacin:
xi
a
aj =
x j i
que se conoce como la ley de transformacin de las

componentes covariantes. En clculo tensorial clsico,
se llama vector covariante en X al conjunto de n cantidades que se transforman segn la anterior ley.
Una 1-forma es una aplicacin lineal de TX (uk )
en R . As, para todo TX* (uk ) y para todo

v TX (uk ) tendremos:
(v ) = a i dx i v
= a i v (dx i
)=
x
x
= a i v i = a i v i R
Los objetos en TX (uk ) (vectores) y en TX* (uk ) (1formas) deben nicamente su existencia a la estructura
diferenciable establecida en V n .
Si queremos conocer el mdulo de un vector o saber si dos vectores son ortogonales, hemos de introducir
en TX (uk ) una estructura adicional: la estructura mtrica. Introducimos (en terminologa de Wheeler) en
cada punto X uk , una mquina g simtrica, bilineal y no degenerada, capaz de aceptar vectores y dar
nmeros. Es decir:
g (u, v ) =< u, v > R
En particular, para los vectores base de k tendremos
las componentes de g :

= g(ei , e j ) = gij =< ei , e j >
g i ,
x x j
La mtrica induce un isomorfismo entre TX (uk ) y

TX* (uk ). Para cada v TX (u k ) se establece una correspondencia con la 1-forma v * TX* (uk ) definida por
v v * / v * (u) =< v , u > u TX (uk )
Con esta definicin pondremos:
< v , u >=< v e , u e >= v u < e , e >=
v u g = v u = v u = v * (u) = u* (v )
Las operaciones v = g v y u = g u se conocen como bajar ndices. De forma similar podemos

subir ndices, utilizando la matriz inversa g .
II.3. El espacio de Minkowski
Es la variedad cuadridimensional dotada de estructura diferenciable y estructura mtrica. En particular, existe un conjunto de cartas equivalentes (uk , k )
extensible a toda la variedad en que la mtrica para
todo X uk tiene por componentes g (ei , e j ) = ij , lo
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.
Diremos que hemos establecido una coordinatizacin
Lorentz para el espacio-tiempo y pondremos
uk = V 4 = M . Todas las cartas equivalentes preservan
las componentes de la mtrica y definen un sistema
coordenado Lorentz que se denominar ( M , k ) . Los
objetos que se definan en M cuando se representan en
componentes en la carta k particular elegida describirn las magnitudes fsicas asociadas a las medidas
realizadas por uno de los particulares observadores
pertenecientes a la misma clase inercial que llamaremos S k . Dicho de otro modo: cada observador S k se
corresponde con la descripcin de los objetos en el
sistema coordenado Lorentz o carta k .
III. FORMAS DIFERENCIALES
El conjunto de 1-formas definidas en un punto
X uk V n , y que hemos denominado TX* (uk ) tiene
estructura de espacio vectorial. Tal espacio vectorial
base lo simbolizamos como 1 (V n ) y para p=2,3,... n
se construye un nuevo espacio vectorial que denominaremos p (V n ) . En una coordinatizacin dada k la
base
de
sern
las
diferenciales
1 (V n )
n
1
2
( dx , dx ,... dx ) y por lo tanto cualquier , se
i
i
expresar como = ai dx = bi dx . Los elementos
del conjunto 2 (V n ) sern todos los posibles productos:

= ai dx i b j dx j = ai b j dx i dx j
iii
donde la operacin se denomina producto exterior.

Las propiedades del producto exterior nos permiten
obtener en tal coordinatizacin la base del espacio de 2formas 2 (V n ) . Las 2-formas base sern todos los
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
2
base de p (V n ) ser la siguiente: para cada conjunto
de p ndices: H = h1 , h2 ,... h p con la ordenacin
1 h1 <... < h p n la totalidad de los elementos

dx H = dx h1 dx h2 ... dx
hp
constituye una base de

n
p
n
(V ) cuya dimensin es . En particular, la di p
n
mensin de n (V n ) es = 1 y p ( n) = 0 para p>n.
n
Si es un elemento de p (V n ) , se tendr:
a H dx H
=
por lo que dx H constituye una base ortonormal de

n
p (V n ) . En particular, = dx 1 dx 2 ... dx es una
n
n
base
ortonormal
de
y
(V )
( , ) = (dx 1 , dx 1 )(dx 2 , dx 2 )... (dx n , dx n ) = (1) ( n t ) / 2
donde t es la signatura de 1 (V n ) .
III.1. El operador de Hodge
Es la transformacin lineal que hace corresponder
a cada p-forma F p (uk ) la (n-p)-forma
F ( n p ) (uk ) . La (n-p)-forma se conoce con el
nombre de transformado Hodge o dual de la p-forma
.
El modo de proceder para cualquier es sencillo
si sabemos como transformar cualquier p-forma de la
base del espacio F p (uk ) . Para la coordinatizacin k ,
una cualquiera de las p-formas base ser
dx H = dx 1 dx 2 ... dx p con H = {1,... p} , donde
sumado sobre todos los conjuntos ordenados H. En

general, una forma diferencial de orden p se representar como
a H ( x 1 , x 2 , ..., x n ) dx H
=
donde los factores a H ( X ) son funciones continuas
definidas en todos los puntos de uk y diferenciables
tantas veces como se precisen.
Si es una p-forma y una q-forma es
un elemento del espacio de (p+q)-formas que se expresar como = a H bK dx H dx K . Ahora , y
pertenecen al conjunto de p, q y (p+q)-formas
que
se
simbolizan,
respectivamente,
por
F p (uk ), F q (uk ) . y F p + q (uk ). Adems del producto
exterior en cada espacio vectorial p (V n ) se define
un producto interno como una aplicacin:
: p (V n ) p (V n ) R
que se calcula fcilmente si se toma la coordinatizacin
en que ( dx 1 , dx 2 ,... dx n ) es una base ortonormal de
H
con
1 (V n ) . De este modo, siendo dx
( dx 1 , dx 2 ,... dx n ) es una base ortonormal de F 1 (uk ) .

Sea K el conjunto q de n-p ndices k={p+1,... n}, el
transformado Hodge de dx H ser:
dx H = ( dx K , dx K ) dx K
para cualquier conjunto H de p ndices y K de (n-p)
ndices.
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
hace corresponder a cada p-forma p F p (uk ), la
(p+1)-forma p +1 (uk ) F p +1 (uk ) . Es decir,
d : F p (uk ) F p +1 (uk )
Tal correspondencia entre objetos existe y es nica; conduce a relaciones diferenciales de primer orden
entre los objetos cuando se expresa en una coordinatizacin dada. Tal correspondencia es independiente de
la coordinatizacin y, por tanto, geomtrica. Aplicando
para dos cualesquiera elementos de la base el producto

interior que se simboliza del siguiente modo
(dx H , dx K ) =|(dx H , dx K )|
y es cero cuando H K, pues el determinante tiene una
fila y una columna todo ceros. Si H=K todos los elementos del determinante son nulos salvo los de la diagonal principal que son 1 y por tanto
( dx H , dx K ) = H , K
III.2. Relaciones entre formas diferenciales

La correspondencia que establece el operador
entre el espacio de p-formas F p (uk ) y el de (n-p)formas F n p (uk ) no describir una ley fsica, pues en
la coordinatizacin k esto no representar relacin
diferencial alguna, que es en ltima instancia, lo que
propondrn como ley los diferentes observadores. As
pues, es preciso definir correspondencias entre objetos
(formas) que se traduzcan en relaciones diferenciales.
Tales correspondencias se conocen con el nombre de
derivada exterior, codiferencial y operador de LaplaceBeltrami o Laplaciana.
iv
de modo sucesivo d sobre el objeto da resultado

nulo. La propiedad d (d ) = 0 se conoce con el nombre
de Lema de Poincar. As la correspondencia simbolizada por d diremos que aumenta el rango del objeto.
Codiferencial: Queda representada por el operador
y es la aplicacin que hace corresponder a cada p p F p (uk )
forma
una
(p-1)-forma
p 1
p 1
F (uk ). Es decir,
: F p (uk ) F p 1 (uk )
Tal correspondencia entre objetos existe, es nica,
y conduce a relaciones diferenciales de primer orden
entre los objetos cuando se expresa en una coordinatizacin dada. Esta relacin, al ser independiente de la
coordinatizacin, es geomtrica. A este operador tambin se le denomina operador divergencia y la correspondencia con el operador de Hodge y la derivada exterior es:
= ( 1) n ( p +1) + t +1 d
donde n es la dimensin de la variedad, t el ndice de la
mtrica y el transformado de Hodge. La correspondencia simbolizada por diremos que disminuye el
rango del objeto.
El operador de Laplace-Beltrami: Es la ltima de
las correspondientes geomtricas y conduce en el clculo con los objetos en la coordinatizacin elegida a las
ecuaciones diferenciales de segundo orden de la fsica.
Se simboliza por y hace corresponder a cada p-forma
p F p (uk ) la p-forma p F p (uk ). Es decir,
: F p (uk ) F p (uk )
De tal correspondencia se dir que mantiene el rango
del objeto.
As pues tales operaciones suben, bajan o mantienen el rango del objeto y son geomtricas aunque su
expresin en las diferentes cartas ( k , k ...) puede ser
diferente. En las coordinatizaciones k en que la ley
mantenga la forma se dir que la ley es covariante.
Ahora slo queda elegir los objetos con los que proponer la teoria fsica cuyas ecuaciones conocen los observadores y que normalmente escriben en sus particulares
sistemas coordenados como relaciones en derivadas
parciales.
IV.
FORMULACIN GEOMTRICA DE LAS
LEYES DEL ELECTROMAGNETISMO
En electrodinmica clsica, las leyes del campo
electromagntico
se obtienen de un campo vectorial

A( x ) definido en la variedad cuadridimensional M de
la relatividad especial. Tales funciones son las variables
dinmicas con las que se construye la densidad Lagrangiana asociada al campo. En principio no tendremos
por qu ceirnos al espacio plano de Minkowski, pues
localmente la variedad riemaniana permite tomar dominios abiertos (uk ) entorno a un punto dado, en donde la coordinatizacin k tomada puede ser localmente
Lorentz. Segn la relatividad general, en la carta
( k , uk ) las leyes seran las propuestas por un observador local en movimiento geodsico (Principio de Equivalencia fuerte). Veamos el modo de formular la teora
por medio de las correspondencias geomtricas comentadas en los apartados anteriores.
Si partimos de

una 0-forma o campo escalar f ( x ) , nicamente podremos ponerlo en correspondencia con 0-formas
(manteniendo el rango) por medio de o con 1-formas
(aumentando el rango) por medio de d . No podemos
operar por medio de sobre un campo escalar (bajando el rango) pues obtendramos idnticamente cero.
Para cualquiera de las ecuaciones no triviales que pueden obtenerse aplicando sobre f ( x ) los operadores y
d no hay relaciones que, propuestas por los observadores locales, puedan atribuirse a ninguna teora fsica
conocida. As pues, un campo escalar o una 0-forma
resulta demasiado pobre en contenido.

Partiendo de un campo vectorial o 1-forma A( x )
(conocida con el nombre de 1-forma potencial) pueden
obtenerse las leyes fsicas que descritas por los observadores locales se conocen como leyes del campo electromagntico.
En efecto:
a) Bajemos el rango de la 1-forma potencial por la
aplicacin de y, en particular, anulemos la 0-forma
resultante:
A=0
(1)
La aplicacin as establecida en una coordinatizacin
Lorentz reproducir lo que se conoce como condicin
de Lorentz para las funciones A que representarn los
potenciales electromagnticos para el observador inercial S. La expresin covariante Lorentz de la relacin
geomtrica (1) es:
A = 0
b) Subamos de rango A por medio de d y obtengamos la 2-forma denominada campo electromagntico:
dA = F
(2)
El espacio de las 2-formas es de dimensin 6, es decir,
tenemos seis 2-formas base y podemos representar F
en componentes respecto de una base. Si la coordinatizacin es Lorentz,
dichas componentes se asociarn a

3
los campos E y B en ( E , t ) , segn los obtiene un
observador inercial S de sus funciones potenciales. En
expresin covariante Lorentz (2) se pondr:
F
A A
c) Mantengamos el rango de A por la operacin

; la 1-forma as obtenida se denominar 1-forma
densidad de corriente J . De este modo,
A = kJ
(3)
siendo k una constantes de dimensiones adecuadas.
Teniendo en cuenta que = d + d , con lo exigido
que A = 0 podemos escribir A = d = kJ o bien,
usando (2):
F = kJ
(4)
La ecuacin (3) en coordinatizacin Lorentz toma la
expresin covariante:
A = kJ
que en un sistema particular es la ecuacin de ondas
para los potenciales segn el observador inercial S. La
ecuacin (4) queda:
F = kJ
que es la expresin Lorentz de las ecuaciones de Maxwell externas. Las ecuaciones anteriores son las que S
propondr como

D
D =
H = J +
t
en su sistema coordenado.
d) La propiedad ddA = dF = 0 es automtica por
el lema de Poincar. La 2-forma F (tambin conocida
como MAXWELL) es exacta pues dA = F . Necesariamente toda forma exacta es cerrada, con lo cual dF = 0.
Lo anterior equivale a decir que la 2-forma transformada Hodge o dual F (conocida como FARADAY) tiene
divergencia nula. As de la la propiedad de F
F = 0
Cuya expresin en sistemas Lorentz es:
F = 0
y para el observador S reproduce las ecuaciones de
Maxwell internas:

B
B = 0
E =
t
e) Por ltimo, para que la teora sea consistente y
las componentes de J puedan representar para los
observadores cargas y corrientes fsicamente aceptables,
la 1-forma J no puede ser cualquiera, sino que tiene
que cumplir
J=0
lo que en expresin covariante Lorentz se escribe como
J = 0
y el observador S escribir la ley de conservacin de la
carga elctrica
J +
=0
t
en su sistema coordenado.
V. CONCLUSIN
En resumen: la teora electromagntica descrita
para cualquier tipo de observadores y cualesquiera que
sean los sistemas coordenados que usen los mismos
consiste en expresar en ellos y para ellos las siguientes
relaciones geomtricas:
a) Condicin de Lorentz ( A = 0 )
b) Definicin de campos electromagnticos
(dA = F )
c) Ecuaciones de ondas ( A = d = kJ )
d) Ecuaciones de Maxwell ( F = kJ y F = 0)
e) Ley de conservacin de la carga ( J = 0)
El objeto A es el ms simple. No existe otro objeto ms sencillo en la variedad cuadridimensional al
que, por aplicacin sucesiva de las correspondencias
establecidas por , d , se le pueda atribuir contenido
asociado a las observaciones realizadas por cualesquiera de los diferentes observadores S en sus laboratorios.
BIBLIOGRAFA
1 C.W. MISNER AND J.A. WHEELER: Annals of
Physics 2, 525 (1957).
2 H. FLANDERS: Differential forms with application
to the Physical Sciences, (Academic Press, NY, 1963).
3 Edited by H.Y. CHIU AND W.F. HOFFMANN:
Gravitation and relativity, (W.A.Benjamin Inc,
NY,1964).
4 C.W. MISNER AND K.S. THORNE AND J.A.
WHEELER: Gravitation, (Freeman, San Francisco,
1973).
5 W. THIRRING: A course in Mathematical Physics,
(Springer-Verlag, NY, 1979).
6 C. VON WESTENHOLTZ: Differential Forms in
Mathematical Physics, (North-Holland Publishing
Company, Amsterdam, 1981).
7 G.G. EMCH: Mathematical and Conceptual Foundations of 20TH-Century Physics, (North-Holland,
Amsterdam, 1984).
8 Edited by W.S. BERGER: J.C. Maxwell, the sesquicentennial symposium, (Nort-Holland, Amsterdam,
1984).
9 W.D. CURTIS AND F.R. MILLER: Differential
Manifolds and Theoretical Physics, (Springer-Verlag,
NY, 1985).

!"$#%'&(#)*+&(-,
Classical Electrodynamics, (Elsevier, Amsterdam,

1985).
11 S.R. PARROT: Relativistic Electrodynamics and
Differential Geometry, (Springer-Verlag, NY, 1986).
vi
AIII
Lecturas aconsejadas:
El lector interesado en el desarrollo ulterior de la Teora de Campos, har bien en consultar los tratados 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: Electrodinmica 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, interesantes problemas de consistencia se exponen en Classical Charged Particles, de F. Rohrlich. La interaccin 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 probablemente sea: Introduction to Elementary Particles, de D. Griffiths.
Una discusin de los mtodos geomtricos que hemos visto nos llevara muy lejos. El Clculo Exterior 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 simetra 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 conservacin 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 moderno y accesible.
2003 J. Fausto Oria and Manuel Angel Sobrino

Relatividad PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Relatividad PDF

Загружено:

Авторское право:

Доступные форматы

Apuntes de Electrodinmica Clsica.

Campo Electromagntico y Relatividad

Dr. J. Fausto Oria, Profesor Titular de Electromagnetismo

2. Objetos geomtricos en m4. Expresin en coordenadas Lorentz..............................................

3. Formulacin covariante Lorentz de las ecuaciones de Maxwell..............................................

4. El tensor energa-momento y el tensor momento angular. Leyes de conservacin..................

* Las mtricas de la relatividad especial......................................................................................

II. Formulacin Lagrangiana del Campo Electromagntico

2. Formulacin covariante del movimiento de partculas cargadas..............................................

3. Paso del sistema discreto al continuo. Densidad Lagrangiana..................................................

4. Principio variacional en m4. Ecuaciones de Euler-Lagrange....................................................

5. Lagrangiana del campo electromagntico. Tensor energa-momento.......................................

III. Radiacin de Cargas en Movimiento

2. Radiacin de una carga acelerada. Invariante de radiacin......................................................

3. Funciones de Green covariantes...............................................................................................

4. Expresin covariante de los campos.........................................................................................

Valencia, septiembre de 2003

Hermann Minkowski (1909)

Electrodinmica Clsica, Campo Electromagntico y Relatividad

CAMPO ELECTROMAGNTICO Y RELATIVIDAD

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

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

torno, tendremos un tiempo vlido en O1, en O2..., en On . No un tiempo t para todo el

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

. As para todos los relojes de los observadores de la clase O que estn en S.

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

Electrodinmica Clsica, Campo Electromagntico y Relatividad

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

Efecto Doppler para ondas de sonido:

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

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

Tal frecuencia ser*:

(si la fuente se aleja )

(si la fuente se acerca)

f = frecuencia de la onda sonora.

f ' = frecuencia medida por el observador (Receptor).

Electrodinmica Clsica, Campo Electromagntico y Relatividad

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

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

Tenemos que hacer dos reflexiones:

Electrodinmica Clsica, Campo Electromagntico y Relatividad

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

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

Para el caso a):

Para el caso b):

Distancia que ser el resultado directo de la aplicacin de la unidad de longitud sobre

Electrodinmica Clsica, Campo Electromagntico y Relatividad

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

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

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

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

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

Para el reloj del observador P (en P), poner la manecilla en:

Para el reloj del observador Q (en Q), poner la manecilla en:

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

Cmo calculamos este tiempo:

Supongamos que el observador O manda un pulso

Electrodinmica Clsica, Campo Electromagntico y Relatividad

[tiempo de la seal en ir de O hasta P] = [tiempo para ir de P hasta O]

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

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

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