Formulación lagrangiana y covariante de la

electrodinámica clásica.
Nathalye Deras Allan Pineda José Arias

Resumen
Recurrimos a la notación tensorial para rescribir las ecuaciones del electromagne-
tismo; i.e., las ecuaciones de Maxwell, la ecuación de continuidad (conservación de
la carga) y el campo eléctrico en función de los potenciales electromagnéticos; con el
propósito de presentar la formulación lagrangiana y covariante de la electrodinámica
clásica. Notamos que esto representa una ventaja en la formulación del electromagne-
tismo en tanto que la notación tensorial aporta una forma compacta y más directa de
tratar con los objetos del electromagnetismo, pues el electromagnetismo es natural-
mente consistente con la relatividad especial en muchos aspectos.

Contenidos
Introducción 1

1. Formulación covariante de la electrodinámica. 1

Lista de figuras 5

Bibliografı́a 6

Introducción

1. Formulación covariante servadores de un fenómeno fı́sico, en parti-

de la electrodinámica.
El electromagnetismo es la teorı́a fı́sica
que se encarga de estudiar los fenómenos de
la electricidad y el magnetismo, ası́ como los
potenciales asociados a ellos y su interac-
ción con la materia; en tanto que la relativi-
dad especial se ocupa de la comparación de
los resultados obtenidos por diferentes ob-
cular cuando dichos se mueven a velocida-
des constantes unos respecto a otros[?]. El
electromagnetismo y la relatividad especial
guardan una relación tan estrecha que una
se podrı́a considerar incompleta sin la otra
[?], y es que históricamente fue el electro-
magnetismo que sirvió de principal estimu-
lo para la relatividad [?].
Antes de escribir las ecuaciones de Max-

1
 N. Deras, A. Pineda, J. Arias

well en forma covariante tetradimensional Para conseguirlo se aplica una rotación al

vamos a sentar las bases de tensores y la no- rededor del eje x4 , que es una rotación espa-
tación a utilizar en esta sección. cial que orienta el nuevo eje x300 hacia la di-
rección de la velocidad ν; le sigue una trans-
formación especial de Lorentz que consis-
La transformación de Lorentz. te en una rotación en el plano x300 x400 ; para
concluir con una nueva rotación espacial al
Un vector tetradimensional en el espacio
4 rededor del eje x4000 . Cualquier transforma-
de Minkowski, M consta de cuatro compo-
ción de Lorentz puede representarse como
nentes, siendo tres estrictamente espaciales
y la cuarta componente ict [?] el producto C̃ˆ = D̂2 Ĉ D̂1 donde Ĉ = (cµν ) es
la matriz de Givens:
xµ = (x1 , x2 , x3 , x4 ) = (x, ict)

De manera que una transformación T :

xµ → xµ0 en M 4 no es nada más que una
transformación de Lorentz. Esta transfor-
mación la representamos con la matriz cua-
drada de orden 4 Ĉ = (cµν ). De manera que p
Ĉ actúa siguiendo: con γ como el factor relativista 1/ 1 − β 2 ,
y β remplazando al cociente de velocidades
0
xµ = cµν xν ν/c, donde ν es la velocidad del sistema y c
es la de la luz en el vacı́o1 .
donde la repetición del subı́ndice ν implica
sumar sobre dicho dejando µ fijo en algún Propiedades de la matriz de trans-
valor entre 1 y 4 (o 0 y 3, como sea prefe-
rible), de acuerdo a lo convención suma de
formación (cµν )
Einstein. La transformación de Lorentz describe
En la ilustración 1, vemos la aplicación rotaciones en M 4 [?], por cuanto es una ma-
de una transformación de Lorentz a un sis- triz de Givens. Notaremos que las siguientes
tema de coordenadas en M 4 , el resultado es relaciones son válidas:
un nuevo sistema que ha sido objeto de una
rotación. La norma de los tetravectores se con-
serva.

xν0 xν0 = ||xν0 || = ||xν || = xν xν

es decir, es invariante bajo transfor-

madas de Lorentz. Esto es una conse-
cuencia natural del hecho que la ma-
triz Ĉ es una matriz de rotación rı́gi-
da [?], es decir: no escala la norma del
Figura 1: Aplicación de una transformación vector sobre el que se aplica, sólo su
de Lorentz. Tomada de [?] cambia su dirección.
1 Aproximadamente 3 × 108 m/s

2
1 Formulación covariante de la electrodinámica.

Ortogonalidad de las columnas. Tetravectores y tetratensores.

Las 4k cantidades Tα1 ···αk forman un ten-
sor de rango k si se transforman bajo una
xν0 xν0 = cµσ xσ · cµτ xτ transformación ortogonal de acuerdo con
= cµσ cµτ xσ xτ
= δσ τ xν xν Tα0 1 ···αk = cα1 β1 · · · cαk βk Tβ1 βk
cada ı́ndice en un tensor corresponde a un
donde δσ τ es un delta de Kronecker, y vector, y por tanto se transforma como tal.
aparece naturalmente debido a la or- Un tensor de rango cero, k = 0, es un escalar,
togonalidad de cµν . y es una invariante bajo las transformacio-
nes de Lorentz. Un tensor de rango unitario
Inversa de (cµν ) La inversa de (cµν ) si- es un tetravector en M 4 que obedece:
gue de xs0 igma = cσ ν xν por multiplica-
ción con cσ ν y sumando: T0 =c T µ µν ν

cµν cµν xν = δνµ xν = xµ = cσ µ xσ0 Se dice que un Tensor es simétrico si

Tµν = Tνµ , de lo que se tiene 10 componentes
Ası́ que (cµσ )−1 = (cσ µ ) = (cµσ )t . Y de la independientes. Un tenstor es antisimétrico
ecuación anterior obtenemos: si Tµν = −Tνµ y tiene sólo 6 componentes in-
dependientes [?]. Ası́, la diagonal principal
Ortogonalidad de las filas. de Tµν esté conformado únicamente por ce-
ros.
xν xν = cσ ν xσ0 cτν xτ0
= cσ ν cτν xτ0 xτ0 Operaciones con tetravectores y tetraten-
= xτ0 xτ0 sores.
Análisis tensorial. El operador ∇ que es
dando cσ ν cτν = δσ τ
trimensional puede redefinirse de manera
El determinante de (cµν ) Por el teore- que4
sea consistente con las dimensios de
ma de la multiplicación y del hecho M . Si notamos que:
que la transpuesta no altera el deter-
minante de una matriz, tenemos: ∂ ∂xσ ∂ ∂
0 = 0 = cµσ
∂xµ ∂xµ ∂xσ ∂xs igma

1 =det(δσ τ en consecuencia ∂/∂xµ se comporta justo co-

1 =det(cνσ cντ ) mo un tetra-vector. Y la aplicación de este
operador a un tretra-escalar φ devuelve un
1 =det(cσ ν )t det(cντ )
tetra-gradiente ∂φ/∂xµ , dado que
1 =(det(cµν ))2
∂A0µ ∂ ∂Aσ
= cµσ (cµτ Aτ ) =
(1)
por lo que det(cµν ) = ±1. Con el de- ∂xµ0 ∂xσ ∂xσ
terminante 1 obtenemos la matriz de
Lorentz, con −1 obtenemos una refle- La suma ∂Aµ /∂xµ es un escalar de Lorentz,
xión. y es el operador de tetradivergencia.

3
 N. Deras, A. Pineda, J. Arias

El elemento de volumen. El elemento que describan un fenómeno deberán tener

de volumen d 4 x = dx1 dx2 dx3 dx4 con dx4 = la misma forma general cuando se les apli-
dx4 /i = cdt, un real, es un escalar de Lorentz que una transformación de Lorentz. Esto se
porque: consigue con ecuaciones que comprendan
relaciones entre tensores de igual rango [?].
En esta sección reescribimos las ecua-
∂(x10 , x20 , x30 , x40 ) 4
d 4 x0 = d x ≡ det(cµν )d 4 x = d 4 x ciones del electromagnetismo en su forma
∂x1 , x2 , x3 , x4 covariante. Comenzando con La ecuación
(2)
de continuidad. Esta suele considerarse un
acompañamiento a las ecuaciones de Max-
Ecuaciones de campo y el tensor de well, pero de su transformación a la for-
campo. ma covariante es que vamos a conseguir la
transición en las demás, siguiendo los pasos
Ahora que hemos sacado del camino lo en [?] y [?].
básico sobre tensores, comenzaremos nues- La ecuación de conservación de la carga
tra discusión sobre relatividad antes de pre- eléctrica es:
sentar la teorı́a electromagnética como una
teorı́a relativista. Einstein formuló la teorı́a ∂ρ
= −∇J
de la relatividad especial sobre dos postula- ∂t
dos: Queremos que la ecuación de continui-
dad quede expresada en forma tetradimen-
Las leyes de la naturaleza son las mis- sional, como si se tratara de una ecuación
mas para cualesquiera sistemas que se con coordenadas en M 4 . Primero, transpo-
mueven uniformemente unos respec- nemos la divergencia del lado derecho y la
to de los otros. extendemos en cada componente:
La velocidad de la luz tiene el mismo ∂J1 ∂J2 ∂J3 ∂ρ
valor, c ≈ 3 ×8 m/s, en todos los siste- + + + =0
∂x1 ∂x2 ∂x3 ∂t
mas con movimiento relativo unifor-
Esta ecuación podrı́a compactarse sig-
me; este valor de la velocidad de la luz
nificativamente si pudiéramos considerar
no varı́a con las condiciones del obser-
(ρ, J1 , J2 , J3 ) y (t, x1 , x2 , x3 ) como vectores te-
vador: es un absoluto.
tradimensionales en un mismo espacio vec-
torial. El problema reside en que ρ no tiene
Como consecuencia del primer postula-
las mismas unidades que J y lo mismo suce-
do de la relatividad tenemos que no existe
de para t respecto a r; este inconveniente es
un marco de referencia absoluto preferible
superado al introducir el factor ic de la ra-
para realizar mediciones; es decir, que to-
pidez de la luz en el vacı́o y la unidad ima-
do los sistemas de coordenadas son igual-
ginaria como un factor de conversión entre
mente adecuados para la descripción de los
t y r, y ρ y J:
fenómenos fı́sicos [?].
Como el segundo postulado implica que
las mediciones hechas entre un sistema y xµ = (x1 , x2 , x3 , x4 ) = (x, y, z, ict)
otro pueden traducirse con una transforma- J4 = icρ
ción de Lorentz, es de esperar que todas
De manera que ahora tenemos:
las leyes de la fı́sica sean covariantes bajo
tal transformación; es decir, las ecuaciones ∂ 1 J1 + ∂ 2 J2 + ∂ 3 J3 + ∂ 4 J4 = 0

4
1 Formulación covariante de la electrodinámica.

donde ∂µ es un operador ∂/∂xµ , con el que Entonces las ecuaciones de forma covarian-
definimos un operador divergencia que sea te son:
consistente con las dimensiones de un es-
∂Fµν 4π
pacio tetradimensional, Ası́, con la notación = J (5)
suma de Einstien tenemos la nueva ecua- ∂xν c
ción de continuidad: ∂Fµν ∂Fνλ ∂Fλµ
+ + =0 (6)
∂xλ ∂xµ ∂xν
∂ µ Jµ = 0
Las invariantes del campo.
∂Jµ
o = 0. donde Jµ = (J1 , J2 , J3 , icρ) es el nue- Usando la notación tensorial, es posible en-
∂xµ
vo tetravector de corriente. Y podemos ver contrar dos cantidades que pueden ser en-
que al aplicar una transformación de Lo- contradas, estas cantidades no cambian en
rentz sobre esta corriente tenemos: la transición a otros sistemas inerciales, en
primer lugar:
Jν0 = cνµ Jµ
Fµν Fµν = 2(B2 − E 2 ) (7)
y obtenemos cada componente fijando ν y
Por tanto, la cantidad siguiente es invarian-
efectuando el producto punto entre el tetra-
te:
vector renglón de la matriz (cνµ ) correspon-
diente a ν y el tetratovector Jµ . B2 − E 2 (8)

otra invariante se obtiene por el tensor de

Las ecuaciones de Maxwell. campo:
la cantidad kλµν = 0, ±1 tiene esos valores
Antes de escribir las ecuaciones de Max-
bajos la siguientes condiciones:
well en notacion tensorial, se debe toman
en cuenta el tensor de campo:
kλµν = 0 si dos indices son iguales.
 
 0 B3 −B2 −iE1  kλµν = +1 si los indices se permutan
−B3 0 B1 −iE2  uniformemente.
 
Fµν =   (3)
 B2 −B1 0 −iE3  

iE1 iE2 iE3 0
 kλµν = −1 si los indices se permutan
de forma impar.
Con la ecuación de continuidad obtenida Otra relación de invarianza que es conve-
anteriormente, se puede reescribir las ecua- niente para el campo electromagnetico es:
ciones de Maxwell:
Teniendo en cuenta la ecuación: kλµν Fµν Fµν = −i8(E · B) (9)

∂Aν ∂Aµ Donde el producto escalar es invariante an-

Fµν = − (4)
∂xµ ∂xν te transformaciones de Lorentz

5
 N. Deras, A. Pineda, J. Arias

Índice de figuras
1. Aplicación de una transformación de Lorentz. Tomada de [?] . . . . . . . . . 2