Notación covariante de las ecuaciones de Maxwell

3 de mayo de 2024

1. Ecuaciones de Maxwell clásicas

Como es bien sabido las ecuaciones de Maxwell en forma diferencial son las siguientes:

Ley de Gauss para E ⃗ ∇·E ⃗ = ρ

ε0

⃗
Ley de Gauss para B ⃗ =0
∇·B

⃗
Ley de Faraday-Lenz ⃗ = − ∂B
∇×E
∂t
⃗
Ley de Ampère-Maxwell ⃗ = µ0 J⃗ + µ0 ε0 ∂ E
∇×B
∂t

Estas cuatro ecuaciones, en conjunto con la fuerza de Lorentz, constituyen la base para la explicación
de todos los fenómenos electromagnéticos. Estas son compatibles con la teorı́a de la relatividad especial
y general.

1.1. Ecuación de continuidad (Ley de conservación de la carga)

Las ecuaciones de Maxwell llevan implı́citas el principio de conservación de la carga. El principio
afirma que la carga eléctrica no se crea ni se destruye, ni global ni localmente, sino que únicamente
se transfiere; y que si en una superficie cerrada está disminuyendo la carga contenida en su interior,
debe haber un flujo de corriente neto hacia el exterior del sistema. Es decir la densidad de carga ρ y
la densidad de corriente J⃗ satisfacen una ecuación de continuidad.

Si aplicamos la divergencia en la ley de Ampère-Maxwell.

⃗ = µ0 ∇ · J⃗ + µ0 ε0 ∂ ∇ · E
   
∇· ∇×B ⃗
∂t
Recordemos una identidad vectorial que dice para cualquier campo vectorial se cumple que la diver-
gencia de un rotacional.

∇ · (∇ × ⃗x) = 0 (1)

Por lo tanto:
∂  
0 = µ0 ∇ · J⃗ + µ0 ε0 ⃗
∇·E
∂t
Reemplazando la ley de Gauss para el campo eléctrico.
 
∂ ρ ∂ρ
0 = µ0 ∇ · J⃗ + µ0 ε0 ⇒ 0 = ∇ · J⃗ + (2)
∂t ε0 ∂t

1
1.2. Potencial eléctrico y potencial vector
Como bien sabemos, en electrostática el campo eléctrico puede escribirse en función del potencial
eléctrico de la siguiente forma:

⃗ = −∇ϕ
E
⃗ este potencial
Realmente esta expresión es incompleta, en electrodinámica existe el potencial vector A,
no es único y no tiene significado fı́sico claro pero se sabe que un elemento infinitesimal de corriente
da lugar a una contribución dA.⃗

Para deducir de donde sale este potencial, tomemos la ley de Gauss para el campo magnético (∇·B ⃗ = 0),
recordemos que el la divergencia de un rotacional es cero (ecuación (1)) por lo cual si de la ley de Gauss
vemos si la divergencia del campo magnético es nula, entonces podemos decir que el campo magnético
se puede escribir realmente como el rotacional de otro campo, en este caso del potencial vector.

⃗ =∇×A
B ⃗ (3)

Para escribir el campo eléctrico el función del potencial vector, reemplacemos (3) en la ley de Faraday-
Lenz.
! !
∂   ∂A⃗ ∂A ⃗
∇×E =−⃗ ∇×A ⃗ ⃗
⇒ ∇ × E = −∇ × ⇒ ∇× E+ ⃗ =0 (4)
∂t ∂t ∂t

Recordemos que para cualquier campo conservativo F⃗ = ∇f tienen la propiedad de que son irrotacio-
nales, es decir se cumple que ∇ × F = 0, entonces para (4) se debe cumplir que:

⃗ ⃗
⃗ + ∂ A = ∇f
E ⇒ ⃗ = ∇f − ∂ A
E
∂t ∂t
⃗ = ⃗0 (es decir el caso
Es lógico pensar que el campo f = −ϕ ya que si consideramos el caso donde A
⃗
electrostático), recuperamos la definición tradicional para E.

⃗
⃗ = −∇ϕ − ∂ A
E (5)
∂t

1.3. ⃗
Ecuaciones de Maxwell en función de los potenciales ϕ y A
Hallamos que con la introducción de estas cantidades las ecuaciones de Maxwell quedan reducidas solo
a dos, puesto que, la ley de Gauss para el campo magnético y la ley de Faraday quedan satisfechas por
definición. Ası́ la ley de Gauss para el campo eléctrico escrita en términos de los potenciales:
∂  ⃗ = ρ

−∇2 ϕ − ∇·A (6)
∂t ε0
!
⃗
⃗ = µ0 J⃗ − µ0 ε0 ∂ ∂A
 
⃗ −∇ A
∇ ∇·A 2
∇ϕ + (7)
∂t ∂t

Notemos que son ecuaciones acopladas y bastante complicadas a la hora de resolver, esto se puede
⃗
solucionar proponiendo condiciones sobre como se deben relacionar los campos ϕ y A.

1.3.1. Gauge de Coulomb

Impongamos la siguiente condición.

⃗=0
∇·A

Reemplacemos esta condición sobre las ecuaciones (6) y (7).

2
 ρ
−∇2 ϕ =
ε0
!
⃗
⃗ = µ0 J⃗ − µ0 ε0 ∂
−∇ A 2
∇ϕ +
∂A
∂t ∂t

El Gauge de Coulomb es una imposición que sirve para simplificar las ecuaciones de Maxwell en
términos de los potenciales, vemos que al imponer sobre la ecuación (6) el Gauge de Coulomb obtuvimos
la ecuación de Poisson, algo a destacar también es que la ecuación (7) sigue siendo bastante complicada
habiendo aplicado esta condición. El Gauge de Coulomb es comúnmente utilizado en electrostática.

1.3.2. Gauge de Lorenz

Imponemos la siguiente condición.
1 ∂ϕ ⃗=0
+∇·A (8)
c2 ∂t
Reemplazando en la ecuación (6).

1 ∂2ϕ
 
∂ 1 ∂ϕ ρ ρ
−∇2 ϕ + = ⇒ −∇2 ϕ + = (9)
∂t c2 ∂t ε0 2
c ∂t2 ε0

Reemplazando en la ecuación (7).

!

1 ∂ϕ
 ⃗
−∇ ⃗ = µ0 J⃗ − µ0 ε0 ∂
−∇ A 2
∇ϕ +
∂A
c2 ∂t ∂t ∂t
!
1

∂ϕ
 ⃗
− 2∇ ⃗ = µ0 J⃗ − µ0 ε0 ∂ (∇ϕ) − µ0 ε0 ∂
−∇ A 2 ∂A
c ∂t ∂t ∂t ∂t

Recordemos que c2 = 1/µ0 ε0 y que también el operador gradiente puede conmutar con la derivada
temporal:

1
 
∂ϕ

∂ϕ 1 ∂ 2 A
   ⃗
⃗ = µ0 J⃗ − 1 ∇
− 2 ∇ − ∇2 A − 2 2
c  ∂t c2 ∂t c ∂t
 

1 ∂2A⃗
∴ ⃗+
−∇2 A = µ0 J⃗ (10)
c2 ∂t2

2. Notación covariante para las ecuaciones de Maxwell

2.1. Notación relativista
2.1.1. Conveción de los ı́ndices latinos/griegos y conveción de sumación de Einstein
Se dice que dos ı́ndices repetidos, uno covariante y el otro contravariante, llevan de forma implicita
una sumatoria.
X
Wµ W µ = Wµ W µ
µ

El convenio se usa especialmente con tensores donde es muy frecuente la operación de suma sobre
ı́ndices repetidos y serı́a tedioso escribir explı́citamente los sı́mbolos de los sumatorios.

Como se verá a continuación distinguiremos los ı́ndices que solo tratan las coordenadas espaciales de
las espacio-temportales. Se dice que cuando tratamos con ı́ndices latinos estos se comportan de la
siguiente manera i, j, k, ... = 1, 2, 3. Cuando tratamos con ı́ndices griegos α, β, µ, ... = 0, 1, 2, 3.

3
2.1.2. Cuadrivector de espacio-tiempo
Definimos las coordenadas espaciales con superı́ndices.
   
x x1
   
⃗x = y  = x2 
   
   
z x3

Esto es válido para cualquier sistema coordenado, definimos entonces la coordenada súper-cero x0 = ct
y construimos el cuadrivector de espacio-tiempo.
   
x0 ct
x = (xµ ) =   =  
⃗x ⃗x

Donde los cuatro componentes anteriores representaban el instante en que sucedı́a algo y las tres
coordenadas espaciales donde ocurrı́an y c es simplemente la velocidad de la luz (introducida aquı́ por
conveniencia, para que todas las coordenadas tengan dimensiones de longitud).

2.1.3. Métrica de Minkowski

La métrica de Minkowski describe como es el espacio-tiempo plano.
 
1 0 0 0
 
0 −1 0
 
0
η = (ηµν ) = 
 
0 0 −1 0 

 
0 0 0 −1

La métrica de Minkowski inversa η −1 se denota con super-ı́ndices η µν , en este caso se da que η = η −1 .

La métrica sirve para subir y bajar ı́ndices.

xν = ηµν xµ xν = η µν xµ

Cualquier magnitud fı́sica puede ser representadas por tensores covariantes o contravariantes indistin-
tamente, y sin alterar el significado fı́sico, según las necesidades del problema planteado.

2.1.4. Operador nabla

Podemos definir las derivadas con respecto a cada una de esas coordenadas como un vector covariante.
∂
∂µ =
∂xµ
Por lo cual el operador nabla queda:
 
∂
 1
∇ = (∂i ) = ∂2 
 
 
∂3

2.1.5. Derivadas espacio-temporales contravariantes y covariantes

Para expresar una derivada con respecto a la componente x0 , nos basta con derivar en el tiempo, sino
añadir la velocidad de la luz de la siguiente forma:
1 ∂ ∂ ∂
= = = ∂0
c ∂t ∂(ct) ∂x0

4
El como cambian las derivadas contravariantes y covariantes está dado por la métrica de Minkowski y
cumple que:

∂0 = ∂ 0 ∂i = −∂ i

2.1.6. Cuadrivector potencial

El potencial escalar del electromagnetismo clásico, junto con el potencial vector, cuyo rotacional da el
campo magnético, forman juntos un cuadrivector dado por:
   
0
A ϕ/c
A = (Aµ ) =   =  
⃗
A ⃗
A

2.1.7. Cuadrivector de corriente

Cuadrivector de densidad de corriente. En un sistema de cargas en movimiento se define la densidad de
corriente al flujo de carga tridimensional J⃗ como la cantidad de carga que pasa a través de un punto del
espacio por unidad de tiempo y por unidad de superficie. En relatividad la magnitud correspondiente
se obtiene agregándole la densidad de carga eléctrica:
   
J0 cρ
J = (J µ ) =   =  
J⃗ J⃗

2.2. Notación relativista para las ecuaciones vistas

2.2.1. Ecuación de continuidad
Expresemos las distintas ecuaciones mostradas en esta notación. Para expresar la ecuación de conti-
nuidad (ecuación (2)).
∂ρ c ∂ρ
0= + ∇ · J⃗ ⇒ + ∂i J i = 0
∂t c ∂t
∂J 0
+ ∂i J i = 0 ⇒ ∂µ J µ = 0
∂x0

2.2.2. Gauge de Lorenz y ecuaciones de onda para los potenciales

Para expresar la ecuación (8) simplemente:
 
1 ∂ϕ ⃗=0 ∂ ϕ
+∇·A ⇒ + ∂i Ai = 0
c2 ∂t ∂(ct) c
∂A0
+ ∂ i Ai = 0 ⇒ ∂µ Aµ = 0
∂x0
Para la ecuación (9):

1 ∂2ϕ ρ
−∇2 ϕ + = ⇒ −∂i2 ϕ + ∂02 ϕ = c2 µ0 ρ
c2 ∂t2 ε0
   
i ϕ 2 ϕ
∂i ∂ + ∂0 = µ0 (cρ) ⇒ ∂i ∂ i A0 + ∂0 ∂ 0 A0 = µ0 J 0
c c

∂µ ∂ µ A0 = µ0 J 0 (11)

Para la ecuación (10) simplemente:

1 ∂2A⃗
⃗+
−∇2 A = µ0 J⃗ ⇒ ∂µ ∂ µ Ai = µ0 J i (12)
2
c ∂t2

5
Podemos compactar las ecuaciones (11) y (12) en una sola de la siguiente forma:

∂µ ∂ µ Aν = µ0 J ν

2.3. Construcción del tensor electromagnético

2.3.1. Campo eléctrico y magnético en función de los potenciales
Para la ecuación (5).

⃗
⃗ = −∇ϕ − ∂ A
E ⇒
Ei
= −∂i A0 − ∂0 Ai ⇒
Ei
= ∂ i A0 − ∂ 0 Ai = F i0
∂t c c
Intercambiando los signos:
Ei
F 0i = − = ∂ 0 Ai − ∂ i A0
c
Ahora expresando la ecuación (3).

B1 = ∂2 A3 − ∂3 A2 ⇒ B1 = ∂ 3 A2 − ∂ 2 A3 = F 32

B2 = ∂3 A1 − ∂1 A3 ⇒ B2 = ∂ 1 A3 − ∂ 3 A1 = F 13

B3 = ∂1 A2 − ∂2 A1 ⇒ B3 = ∂ 2 A1 − ∂ 1 A2 = F 21

Intercambiando los signos:

F 23 = −B1 = ∂ 2 A3 − ∂ 3 A2

F 31 = −B2 = ∂ 3 A1 − ∂ 1 A3

F 12 = −B3 = ∂ 1 A2 − ∂ 2 A1

2.3.2. Tensor electromagnético

Definimos el tensor electromagnético (también llamado tensor de Faraday), de la siguiente forma:

F = F µν eµ ⊗ eν con F µν = ∂ µ Aν − ∂ ν Aµ

Podemos representar las componentes de la siguiente forma:

 
E1 E2 E3
 0 − c − c − c
 
 E1 
 0 −B 3 B 2 

F µν =  c

 E2

−B1 

 B3 0
 c 
E 
3
−B2 B1 0
c

2.4. Ecuaciones de Maxwell a partir del tensor electromagnético