ECUACIONES DE MAXWELL EN FORMAS

DIFERENCIALES
Emerson Spenser Tenorio Morales.
Denici on
Sea M una variedad suave dotada de una metrica g

y un sistema coordenado {x

}.
Espacio Tangente
Un vector tangente en un punto p M.
Dada la aplicaci on lineal
f : U M R
p f(p)
Denici on: entonces un vector tangente se puede expresar como un operador que toma una
funci on f F

p
[M] denida en el entorno de p U M y la lleva a un real V[f].
V : F
p
[M] R
f V[f|
p
]
El conjunto de todos los vectores tangente

V[f] a M en p generan el espacio tangente T
p
M; y
para que

V tenga una estructura de espacio vectorial debe con la suma de funciones, que sea
Leibnitziana y producto por un escalar
V[f + g]|
p
= V[f]|
p
+ V[g]|
p
V[f g]|
p
= V[f]|
p
g(p) + f(p) V[g]|
p
1
Dado que la variedad M(en general podra esta tener cualquier dimension, pero por comodidad
y dado nuestro ejercicio, esta variedad corresponde a una variedad Lorentziana rotulada por
M
4
) goza de una metrica g

y un sistema coordenado {x

}, esto induce un producto interior

y un base coordenada sobre el plano tangente generado por los vectores tangentes V[f]-(la base
inducida No necesariamente es ortonormal, pero la escogencia de un adecuado cambio de base
es posible encontrar una base ortonormal ([1]).
Si introducimos la base al espacio vectorial T
p
M dada por {e
i
} donde i : 1, n siendo n la
dimensi on de T
p
M, entonces un vector puede ser escrito en coordenadas por
V = v
i
e
i
= v
i

x
i
|
p
Notar: es conveniente escribir la base vectorial del espacio T
p
M de la forma
i
=

x
i
en la
direcci on de las coordenadas ya que e
i
podra no ser tangente a las lineas.
Espacio Dual
Proposicion: La combinacion lineal de aplicaciones lineales es una nueva aplicaci on lineal.
Igualmente ocurre con la composicion de aplicaciones lineales.
Si en particular V es un espacio vectorial sobre el campo K, entonces las aplicaciones lineales
f : V K se llaman co-vectores o formas diferenciales y a su vez forman un espacio vectorial.
Proposicion: Sea V un espacio vectorial sobre K. El conjunto de aplicaciones lineales f :
V K forman un espacio vectorial sobre K y lo denotamos por V

llamado espacio dual de V.

ademas dim V=dim V

=dimM.
Si {e
i
} es una base de V, entonces un vector arbitrario V es
V = v
1
e
1
+ v
2
e
2
+ + v
n
e
n
tal que si f es una aplicaci on lineal y act ua V tenemos
f[V] = v
1
f[e
1
] + v
2
f[e
2
] + + v
n
f[e
n
]
y si conocemos f[e
i
] para todo i, entonces conoceremos el resultado de f sobre V.
Denamos ahora una base o familia de co-vectores {e
i
} donde i : 1, n del espacio V

.
Expandimos en esta base la funcion lineal f la cual es llamada vector dual
f = f
1
e
1
+ f
2
e
2
+ + f
n
e
n
entonces la accion de de f sobre V se interpreta como el producto
f[V] = v
1
f
1
e
1
[e
1
] + v
2
f
2
e
2
[e
2
] + + v
n
f
n
e
n
[e
n
]
= v
1
f
1
+ v
2
+ + v
n
f
n
= v
i
f
i
2
Por lo tanto decimos que el espacio dual de V denotado por V

es generado por el conjunto de

funciones lineales.
Denici on: Una forma diferencial puede ser entendida como un operador multilineal anti-
simetrico denido sobre un espacio vectorial, es decir, es un elemento del producto tensorial
antisimetrico de elementos del espacio dual a un espacio vectorial.
Dado un punto p en una variedad M de dimensi on n podemos asociar una familia de espacios
co-vectoriales y vectoriales. El conjunto de todos estos covectores y vectores nos generan los
espacios vectoriales - espacio cotangente y espacio tangente respectivamente., en especial, los
covectores son tensores antisimetricos en el cambio de un par de sus argumentos( o indices) y
son conocidos como k-formas en el punto p y se denotan por
k
(M).
Es de notar que la base coordenada para las formas de orden uno es: {e
i
} o tambien conocida
por ({
i
} = {dx
i
}), entonces un covector puede ser escrito en componente en esta base. Asi
Sea R
1
(M) tal que
R = R

donde R

p
son las componentes, las cuales se denen como el valor de R cuando son aplica-
das sobre la bases de los vectores.
Ahora consideremos una forma de orden dos, la cual su base seria {dx
i
dx
j
} entonces un
covector expandido en esta base tomara la forma
T = T

pero notamos aqui un problema, ya que el producto de dos tensores antisimetricos No necesaria-
mente es un tensor antisimetrico, por lo cual en producto tensorial ya no es cerrado. Entonces
es necesaria denir el producto de dos tensores antisimetricos
escribamos las componentes como:
T

=
T

+ T

2
=
T

2
Reemplazando
T =
T

+ T

2
=
T

2
(e

)
=
T

2
=
1
2
T

(e

)
Denici on:Se dene un nuevo producto, llamado producto cu na (wedge) lo cual nos permite
escribir el producto entre tensores antisimetricos como
e

= e

3
entonces ahora podemos reescribir el cotensor de orden dos asi
T = T

Si llevamos esto a un cotensor de orden n lo escribimos como

F =
1
n!
F

n
e

1
e

2
e

n
4
Operadores
Nuestro ejercicio requiere que los operadores que se usan en formas diferenciales este denidos,
asi es que.
Dada una forma diferencial de orden n
F =
1
n!
F

n
e

1
e

2
e

n
Derivada Exterior Es un operador que mapea formas de dimension n en formas de dimensi on
n + 1
d :
n
(M)
n1
(M)
n forma (n + 1) forma
es decir, esta operaci on sube en un grado el orden de la n-forma.
La derivada exterior la podemos escribir como
d = dx
1
dx
2
dx
i

i
LEMA DE POINCARE
Si F es una p-forma, entonces d
2
F = 0
notar: la aplicacion de la doble derivada exterior es igual a cero ya que despues de aplicar d
2
queda el producto tensorial de dos tensores, uno simetrico y el otro antisimetrico y su producto
es efectivamente cero.
Operador de Dualidad Hodge: Este operador de dualidad o de transformacion de dua-
lidad es tal que mapea una p-forma asi: =
p

np
Definici on: Sea el tensor totalmente antisimetrico de Levi Civita dado por

n
=
_

_
+1, si
1

2

n
tiene una permutacion par de (1, 2, , n)
1, si
1

2

n
tiene una permutacion impar de (1, 2, , n)
0, cualquier otro caso
notar ademas que

n
= g

1
g

2
g

n
= g
1

n
denido el tensor de Levi Civita, ahora denamos el operador de Hodge
(dx

1
dx

p
) =
_
|g|
(n p)!

p+1
...
n
dx

p+1
dx

n
notar: notar que para el caso que estamos tratando
_
|g| = 1. Esta denici on es posible gracias
a la dualidad entre los espacios
k
y
nk
ya que ambos tienen la misma dimensi on.
5
Operador Codiferencial La codiferencial o derivada exterior adjunta se dene con ayuda del
operador de Hodge y la derivada exterior. Sea F una p-forma, entonces se dene la codiferencial
como el operador que mapea forma de =
p

p1
.
Si el espacio es Euclidiano entonces la codiferencial es
F = (1)
p[n(p1)]
d F
Si el espacio es Lorentziano entonces la codiferencial es
F = (1)
p[n(p1)]
d F
notar: calcular el codiferencial doble como se hizo con la derivada exterior se conoce como el
lema de Poincare, similar mente tomemos la codiferecial
(F) = (1)
p[n(p1)]
d [(1)
p[n(p1)]
d F]
= (1)
p[n(p1)]
(1)
p[n(p1)]
d [d F]
= (1)
p[n(p1)]
(1)
p[n(p1)]
[d d F]
= (1)
2p[n(p1)]
(1)
p(np)
[dd F]
= 0
pero = (1)
p(np)
(ver[2], [3])
Operador de Laplace-Beltrami El operador Laplaciano establece un mapeo de =
p

p
,
es decir, mantiene el orden de la forma diferencial.
El Laplaciano se dene por
= = (d + d)
Dada un forma diferencial F, entonces la laplaciana de esta forma diferencial es
F = (d + d)F =

d[(1)
p[n(p1)]
d]F + [(1)
p[n(p1)]
d]dF
_
= (1)
p[n(p1)]
d(d)F + (d)dF
6
ECUACIONES DE MAXWELL EN LA RELATIVIDAD
ESPECIAL
En la relatividad especial tomaremos el espacio y el tiempo como un todo de dimensi on cuatro
M
4
llamado espacio-tiempo con una metrica lorentziana dada por

= (+).
Las ecuaciones de Maxwell en el vacio se escriben mediante relaciones geometricas, las cuales
toman la misma forma en cualquier sistema referencia inercial. Estas ecuaciones estan escritas
en terminos de cuadrivectores y tensores contravariantes que son objetos geometricos denidos
en M
4
.
Estos objetos geometricos se relacionan mediante formas diferenciales en relaciones geometricas
que al expresarlas en componentes de los sistemas coordenados de Lorentz nos proporcionan
las ecuaciones para el campo electromagnetico.
Sea J

la cuadricorriente descrita por una 1-forma y es la que lleva toda la informaci on sobre
la distribuci on de las cargas y corriente. Esta 1-forma juega rol importante en las formas
diferenciales de las ecuaciones de Maxwell, asi que debe cumplir la siguiente relaci on geometrica
para que se cumpla la ecuacion de continuidad.
J = 0
donde j = J

dx

y podemos desdoblar el espacio-tiempo talque la corriente nos queda asi

J

= (j
0
(r, t) + j
i
(r, t)), entonces
J = (1)
p[n(p1)]
d J
= (1)
1[4(11)]
d J = d J
= d (j
0
(r, t)dx
0
+ j
i
(r, t)dx
i
)
= d(j
0
dx
0
+ j
i
dx
i
)
= d(j
0
1
(4 1)!

3
dx

1
dx

2
dx

3
+ j
i
1
(4 1)!

1
0
2

3
dx
0
dx

2
dx

3
)
= d(j
0
dx

1
dx

2
dx

3
j
i
dx
0
dx

2
dx

3
) = (
0
j
0
dx
0
dx

1
dx

2
dx

i
j
i
dx

i
dx
0
dx

2
dx

3
)
= (
0
j
0
dx
0
dx

1
dx

2
dx

i
j
i
dx

i
dx
0
dx

2
dx

3
)
= (
0
j
0
+
i
j
i
)
=

j = 0
esta ultima igualdad corresponde a la ecuaci on de continuidad como queramos mostrar.
Sabemos que podemos escoger un conjunto de potenciales A = (, A) que satisfagan la condi-
ci on de Lorenz
asi es que debemos poner en correspondencia el cuadrivector densidad de corriente con otro
del mismo rango, c0mo es el cuadripotencial y obtener las ecuaciones de onda para el potencial
7
electrico y potencial magnetico. entonces para que esto se cumpla deben de cumplir la siguiente
relaci on geometrica
A =
0
J
= (d + d)A =

d[(1)
p[n(p1)]
d]A + [(1)
p[n(p1)]
d]dA
_
= (1)
p[n(p1)]
d(d)A + (d)dA
desdoblando el espacio-tiempo, y por comodidad solo trabaremos en primer termino [d(d)A].
= (1)
p[n(p1)]
d(d)A + (d)dA
= (1)
1[4(11)]

d(d)(A
0
dx
0
+ A
i
dx
i
) + (d)d(A
0
dx
0
+ A
i
=

d d (A
0
dx
0
+ A
i
dx
i
) +d d(A
0
dx
0
+ A
i
dx
i
)
_
=

d d(A
0
dx
0
+ A
i
dx
i
) +d (
j
A
0
dx
j
dx
0
+
j
A
i
dx
j
dx
i
)
_
=
_
d d(A
0

3
3!
dx

1
dx

2
dx

3
+ A
i

0
3!
dx

1
dx

2
dx

0
)
_
= d d(A
0
dx

1
dx

2
dx

3
A
i
dx

1
dx

2
dx

0
)
= d d(A
0
dx

1
dx

2
dx

3
+ A
i
dx

1
dx

2
dx

0
)
=

d (
0
A
0
dx
0
dx

1
dx

2
dx

3
+
i
A
i
dx
i
dx

1
dx

2
dx

0
)
_
=

d(
0
A
0
dx
0
dx

1
dx

2
dx

3
+
i
A
i
dx
i
dx

1
dx

2
dx

0
)
_
= d(
0
A
0

i
A
i
)
= d(
0
A
0

i
A
i
)
=

(
0
A
0

i
A
i
)dx

A)dx

dx

Ahora trabajemos el segundo termino [(d)d A]

(1)
p[n(p1)]
(d)d A = (1)
1[4(11)]
(A
0
dx
0
+ A
i
dx
i
)
(d)d A = d d dA = d (

)dx

dx

= d

(
i
A
0

0
A
i
)dx
i
dx
0
+ (
i
A
j

j
A
i
)dx
i
dx
j
_
= d

(
i
A
0

0
A
i
) dx
i
dx
0
+ (
i
A
j

j
A
i
) dx
i
dx
j
_
= d

(
i
A
0

0
A
i
)dx
j
dx
k
+ (
i
A
j

j
A
i
)dx
k
dx
0
_
=

i
(
i
A
0

0
A
i
)dx
i
dx
j
dx
k
+
i
(
i
A
j

j
A
i
)dx
i
dx
k
dx
0
_
=

i
(
i
A
0

0
A
i
) dx
i
dx
j
dx
k
+
i
(
i
A
j

j
A
i
) dx
i
dx
k
dx
0
_
=

i
(
i
A
0

0
A
i
)dx
0

i
(
i
A
j

j
A
i
)dx
j
_
=

i
A
0
dx
0

0
A
i
dx
0

i
A
j
dx
j

j
A
i
dx
j
_
=

i
(A
0
dx
0
A
j
dx
j
) +
i

0
(A
i
dx
0
A
i
dx
j
)
_
8
(d)d A =

Juntando todos los resultados obtenemos que

A =

entonces la relacion geometrica A =

0
J es en efecto

=
0
J

Por otro lado, los campos electromagneticos se determinan a partir del cuadripotencial, como
sabemos este debe cumplir la siguiente relaci on geometrica F = dA.
Como vemos debemos subir en un grado la uno-forma-A. No es difcil darse cuenta de esto
pues, por ejemplo, el campo magnetico se escribe como B = dA tal que se cumpla la primera
ecuaci on de Maxwell, es decir- B = 0 = dB = ddA = 0 - respectivamente.
Escribamos la relaci on geometrica
F = dA = d A

dx

=
1
2
(

)dx

dx

ahora si expandimos la 2-forma F en su base obtenemos

F =
1
2
F

dx

dx

por lo tanto encontramos que los campos electromagneticos pueden ser escritos como
F

en componente tenemos que calcular

n(n1)
2
terminos
F

_
_
_
_
_
_
_
_
_
_
0
0
A
1

1
A
0

0
A
2

2
A
0

0
A
3

3
A
0
(
0
A
1

1
A
0
) 0
1
A
2

2
A
1

1
A
3

3
A
1
(
0
A
2

2
A
0
) (
1
A
2

2
A
1
) 0
2
A
3

3
A
2
(
0
A
3

3
A
0
) (
1
A
3

3
A
1
) (
2
A
3

3
A
2
) 0
_
_
_
_
_
_
_
_
_
_
y recordando que B = A y E =
t
A, podemos tambien escribir en tensor de
Faraday en terminos del campo electrico y magnetico
9
cada componente se determinan similarmente como esta estrada

0
A
1

1
A
0
= E
x
,
1
A
2

2
A
1
= B
z
F

_
_
_
_
_
_
_
_
_
_
0 E
x
E
y
E
z
E
x
0 B
z
B
y
E
y
B
z
0 B
x
E
z
B
y
B
x
0
_
_
_
_
_
_
_
_
_
_
notar:
E
x
=
0
A
1

1
A
0

=
t
A
x

x
A
t
/ dt dx
=
t
A
x
dt dx
x
A
t
dt dx
vemos que el campo electrico es una 1-forma
E
x
dx dt = d
t
A
x
+ d
x
A
t
y similarmente para el campo magnetico
B
z
=
1
A
2

2
A
1

=
x
A
y

y
A
x
/dx dy
=
x
A
y
dx dy
y
A
x
dx dy
B
z
dxdy = d
x
A
y
+ d
y
A
x
vemos que el campo magnetico es una 2-forma
Asi que podemos extrapolar y generalizar a la 2-forma campo electromagnetico por
F = E
i
dx
i
dt +
1
2

ijk
B
i
dx
j
dx
k
10
Primer par de ecuaciones de Maxwell
Las siguientes ecuaciones ligan los campos con las fuentes, -relacionamos la cuadricorriente
con el tensor campo electromagnetico mediante la relacion geometrica.
F =
0
J
primero hallemos F
F = E
i
dx
i
dt +
1
2

ijk
B
i
dx
j
dx
k
= E
i
dx
j
dx
k

1
2

ijk
B
i
dx
i
dx
0
= E
1
dx
2
dx
3
+ E
2
dx
3
dx
1
+ E
3
dx
1
dx
2
(B
1
dx
1
dx
0
+ B
2
dx
2
dx
0
+ B
3
dx
3
dx
0
)
ahora apliquemos la derivada exterior
d F = d
_
E
1
dx
2
dx
3
+ E
2
dx
3
dx
1
+ E
3
dx
1
dx
2

(B
1
dx
1
dx
0
+ B
2
dx
2
dx
0
+ B
3
dx
3
dx
0
) Salgado
= (
i
E
i
)dx
1
dx
2
dx
3
+ (
0
E
3
dx
0
dx
2
dx
3
+
0
E
2
dx
0
dx
3
dx
1
+
0
E
3
dx
0
dx
1
dx
2
)
[
[2
B
3]
dx
2
dx
3
+
[1
B
3]
dx
3
dx
1
+
[1
B
2]
dx
1
dx
1
]dt
Por ultimo calculemos en Hodge de esta expresi on
d F =

i
E
i
dx
1
dx
2
dx
3
+
0
E
3
dx
0
dx
2
dx
3
+
0
E
2
dx
0
dx
3
dx
1
+
0
E
3
dx
0
dx
1
dx
2
_

[2
B
3]
dx
2
dx
3
+
[1
B
3]
dx
3
dx
1
+
[1
B
2]
dx
1
dx
2
_
dt
=

(
i
E
i
)dt (
0
E
i
dx
i
) + [
[2
B
3]
dx
1

[1
B
3]
dx
2
+
[1
B
2]
dx
3
]
_
Si juntamos todos los calculos encontramos que F = d F entonces
F =

(
i
E
i
)dt (
0
E
i
dx
i
) + [
[2
B
3]
dx
1

[1
B
3]
dx
2
+
[1
B
2]
dx
3
]
_
= Edt +
t
E dx
i
B dx
i
=
0
J

dx

si separamos la parte temporal y espacial vemos que

i
F
i0
=
0
J
0
,
0
F
0j
+
i
F
ij
=
0
J
i
esto seria
E = ,
t
E +B =
0
j
i
en resumen vemos que F =
0
J

=
0
J

11
Segundo par de ecuaciones de Maxwell
Corresponden a las ecuaciones homogeneas. Escritas en forma geometrica son
F = 0
para una variedad Lorentziana tenemos que
2
= (1)
p(4p)+1
= 1
retomemos en tensor de Faraday
F = E
i
dx
i
dt +
1
2

ijk
B
i
dx
j
dx
k
si determinamos su dual obtenemos
F = E
i
dx
i
dt +
1
2

ijk
B
i
dx
j
dx
k
=
1
2

ijk
E
i
dx
j
dx
k
B
i
dx
i
dx
0
notar: si queremos obtener F de F solo basta hacer el mapeo de E
i
B
i
y B
i
E
i
. con
esto vemos la dualidad entre los campos electricos y magneticos. Volvamos a el calculo que
queramos realizar,
F = d F = 0
= dF = d
_
E
i
dx
i
dt +
1
2

ijk
B
i
dx
j
dx
k
_
=

[
[2
E
3]
dx
2
dx
3

[1
E
3]
dx
3
dx
1
+
[1
E
2]
dx
1
dx
2
]dx
0
_
+

0
[B
1
dx
2
dx
3
+ B
2
dx
3
dx
1
+ B
3
dx
1
dx
2
]
_
+

(
i
B
i
)dx
1
dx
2
dx
3
_
= (
[2
E
3]
dx
2
dx
3

[1
E
3]
dx
3
dx
1
+
[1
E
2]
dx
1
dx
2
]dx
0
)
+ (
0
[B
1
dx
2
dx
3
+ B
2
dx
3
dx
1
+ B
3
dx
1
dx
2
]) + (
i
B
i
dx
1
dx
2
dx
3
)
= E dx
i
+
0
B
i
dx
i
+ Bdx
0
Si separamos por componentes obtenemos que
F = 0

= 0
entonces

F
0
= 0 B = 0
y

F
i
= 0 E +
0
B
i
= 0
12
Accion del campo electromagnetico sin fuentes escrita en
formas diferenciales
Mostraremos que la accion para el campo electromagnetico escrita en formas diferenciales es
equivalente a
S =

0
4
_
F

d
4
x
el punto de partida es darnos cuenta que F

es un invariante y como tal debe permanecer

esta condicion cuando escribamos la acci on en formas diferenciales.
de la denici on de dual Hodge, podemos escribir que el Hodge de una 2-forma
(F = F

(dx

dx

)) asi que identicamos

F

=
1
2

entonces mostremos que esta acci on

S =

_
F F
entonces
F F =
_
1
2
F

dx

dx

__
1
2
F

(
1
2

dx

dx

)
_
=
1
8

dx

dx

dx

dx

_
pero podemos reescribir en volumen (dx

dx

dx

dx

) asi
dx

dx

dx

dx

dx
1
dx
2
dx
3
dx
4
/ M

donde M

sea cualquier tensor antisimetrico.

Entonces de las unicas componentes que sobreviven del tensor antisimetrico

podemos
darnos cuenta que la igualdad anterior es completamente verdadera.
ahora reemplacemos
F F =
1
8

dx

dx

dx

dx

_
=
1
8

dx
1
dx
2
dx
3
dx
4
=
1
8
(

)F

dx
1
dx
2
dx
3
dx
4
=
1
4
F

dx
1
dx
2
dx
3
dx
4
13
de la denicionde integral de un forma diferencial tenemos que
_
c
W=
_
t
0
W(c

((t)))d =
_
t
0
w

dx

d
d =
_
t
0
w

dx

entonces unamos esta denici on para nuestro ejercicio de mostrar que las accion son completa-
mente equivalente
S =

_
F F =

0
4
_
F

dx
1
dx
2
dx
3
dx
4
=

0
4
_
F

d
4
x
con este resultado vemos que logramos mostrar que ambas acciones son totalmente equivalentes,
como se quera mostrar.
notar: es importante tener claro que las acciones son las que son equivalentes y como las
densidades lagrangianas como esta uno tentado a pensarlo.
14
Referencias
[1] N.R. Merino, Julio 2005. Tesis Subespacios de una Variedad. Universidad de Concepci on
[2] M. Nakahara . Geometry, Topology and Physics, Second edition 2003. Edit. graduate student
series in physics
[3] P. Salgado. Notas de formas diferenciales
[4] J. Baes, J. Muniain Gauge Field, Knots and Gravity, 1994. Edit. Worl Scientic
15