FORMAS DIFERENCIALES Y LAS

ECUACIONES DE MAXWELL

Luz Janeth Llerena Ramrez

UNIVERSIDAD INDUSTRIAL DE SANTANDER

FACULTAD DE CIENCIAS

ESCUELA DE MATEMATICAS
BUCARAMANGA
2005

FORMAS DIFERENCIALES Y LAS

ECUACIONES DE MAXWELL

Luz Janeth Llerena Ramrez

Monografa presentada como requisito para optar al
ttulo de Licenciada en Matematicas

Director

rrez
Marlio Paredes Gutie
Doctor en Matematicas

UNIVERSIDAD INDUSTRIAL DE SANTANDER

FACULTAD DE CIENCIAS

ESCUELA DE MATEMATICAS
BUCARAMANGA
2005

Dedicatoria.
A la memoria de mi padre quien me transmitio su fortaleza y perseverancia con amor y sabidura .

Agradecimientos

Doy mi mas profundo agradecimiento:

*A mi se
nor Todopoderoso quien me alimento con su espritu.
*A mi esposo y mi hijo por su apoyo incondicional, su comprension,paciencia y amor durante estos
a
nos.
*A mi madre por su compa
na y colaboracion compartidas con cari
no.
*A mi director el profesor Marlio Paredes a quien admiro por sus sabias palabras transmitidas con
elocuencia en el momento indicado, por su sabidura y paciencia en la realizacion de este trabajo,por
su labor dentro de nuestra institucion.
*A mi familia, hermanos, tos, primos, sobrinos y cu
nados quienes me mostraron solidaridad cuando
mas lo necesitaba.
*A todos los profesores y calificadores quienes con sabidura y comprension participaron de mi formacion profesional regalandome sus conocimientos y compartiendo sus experiencias.
*A mis amigos Alirio ,Amanda ,Elizabeth ,Olga ,Johanne ,Lilith ,Jairo , Otilia ,Ismenia ,Vicky ,Olga
Ines ,Nubia ,Marcela ,Carmen ,Tilson ,Nubia Hilda y Jose porque sus palabras y acciones llegaron en
el momento oportuno ante un crep
usculo inminente.
*A todas y cada una de las personas que indirectamente colaboraron en la culminacion de este proyecto.
Por siempre les estare agradecida por creer, que era posible lo que hoy es una realidad.

Indice general
Introducci
on

1. ALGEBRA EXTERIOR

1.1. El espacio vectorial p L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.3. El producto exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.4. Transformaciones lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.5. Espacios con producto interno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.6. El operador estrella de Hodge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

2. LA DERIVADA EXTERIOR

19

2.1. Formas diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

2.2. Derivada exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

2.3. Transformaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

2.4. Cambios de coordenadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

2.5. Recproco del Lema de Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3. LAS ECUACIONES DE MAXWELL

34

Bibliografa

38

SUMMARY
TITLE: DIFFERENTIAL FORMS AND MAXWELLS EQUATIONS*
AUTHOR: LUZ JANETH LLERENA RAMIREZ

**

KEY WORDS: Differential forms, exterior algebras, exterior derivatives, Poincares Lemma, Maxwells
equations.
DESCRIPTION
Investigation is based on the book: Differential Formsby Harley Flanders, author who studied in
deep in the development of physical theories explained through exterior algebras. Differential forms
are mathematical objects that naturally appear under the sign of an integral. Next we will use the
differential forms to show a very famous physical equations.
We present a basic theory of differential forms, supporting in exterior algebras. Then we will introduce
the general theory of the differential forms and their properties to culminate with an application of
these forms. In the first chapter we establish a calculation of the differential forms, which has some
properties of internal consistency as variable change rule for multiple integrals. In the second chapter
we develop the theory of exterior algebras and its properties. In the last chapter we illustrate the way
of writing the Maxwells equations using this theory.
We will notice how the language of the differential forms let us to write easier well known electromagnetic equations: The Maxwells equations.

*
**

Monografa
Facultad de Ciencias, Escuela de matem
aticas. Director: P.h Marlio Paredes Gutierrez.

TITULO: FORMAS DIFERENCIALES Y LAS ECUACIONES DE MAXWELL*

AUTOR: LUZ JANETH LLERENA RAMIREZ**
PALABRAS CLAVES: Formas diferenciales, algebra exterior,derivadas exterior , Lema de Poincare,Ecuaciones de Maxwell.

DESCRIPCION:
La siguiente investigacion esta basada en el libro Differential forms de Harley Flanders, autor que
profundizo en el desarrollo de teoras fsicas explicadas a traves de algebras exteriores.

Las formas diferenciales son objetos matematicos que aparecen naturalmente bajo el signo de una
integral. En adelante utilizaremos las formas diferenciales para mostrar unas ecuaciones fsicas muy
famosas. Presentamos la teora basica de las formas diferenciales, apoyandonos en las algebras exteriores. Luego introduciremos la teora general de las formas diferenciales y sus propiedades, para
culminar con una aplicacion de dichas formas.
En el primer capitulo estableceremos un calculo de formas diferenciales,el cual tiene ciertas propiedades de consistencia interna como la regla de cambio de variable para integrales m
ultiples. En el
segundo capitulo desarrollaremos la teora de algebras exteriores y sus propiedades. En el u
ltimo capitulo ilustramos la forma de escribir las ecuaciones de Maxwell utilizando dicha teora. Notaremos
como el lenguaje de las formas diferenciales nos permite mas facilmente la escritura de unas conocidas
ecuaciones electromagneticas:Las ecuaciones de Maxwell

*
**

Monografa
Facultad de Ciencias, Escuela de matem
aticas. Director: P.h Marlio Paredes Gutierrez.

Introducci
on
Las formas diferenciales son objetos matematicos que aparecen naturalmente bajo el signo de una
integral. Por ejemplo, una integral de lnea
Z
Adx + Bdy + Cdz,
nos dirige a la 1forma
= Adx + Bdy + Cdz.
Una integral de superficie
ZZ

P dydz + dzdx + Rdxdy,

nos conduce a la 2forma

= P dydz + dzdx + Rdxdy.
Y una integral de volumed
ZZZ

Hdxdydz,

nos conduce a la 3forma

= Hdxdydz.
Todos estos son ejemplos de formas diferenciales de tres variables definidas en el espacio R3 .
En un espacio ndimensional, la cantidad bajo el signo de una rintegral es una rforma en n
variables.
En la expresion anterior, notamos la ausencia de terminos en dzdy, dxdz, dydx los cuales sugieren
simetra o antisimetra.
Debemos establecer un calculo de formas diferenciales el cual tenga ciertas propiedades de consistencia
interna, una de las cuales es la regla de cambio de variables en una integral m
ultiple. Nuestras integrales
son siempre integrales orientadas por tanto nunca tienen valores absolutos de jacobianos.
4

Consideremos por ejemplo la integral

ZZ
con el cambio de variable

A(s, y)dxdy,

x = x(u, v),

y = y(u, v).

Tenemos,
ZZ

A(x, y)dxdy =

ZZ

A[x(u, v), y(u, v)]

(x, y)
dudv,
(u, v)

de donde podemos escribir

(x, y)
dudv =
dxdy =
(u, v)

x
u

x
v

y
u

y
v

dudv

Si y = x, el determinante tiene filas iguales y por tanto se anula. Si intercambiamos x y y, el determinante cambia de signo. Esto motiva las siguientes reglas

dxdx = 0
para multiplicacion de diferenciales.

dxdy = dydx

En general, una rf orma en n variables x1 , , xn sera una expresion de la forma

=

1 X
Ai1 ,...,ir dxi1 dxir ,
r!

donde los coeficientes A son funciones suaves de las variables y antisimetricas en los ndices.
Asociamos a cada rforma una (r + 1)forma d llamada la derivada exterior de . Su definicion
sera dada de tal forma que la formula de Stokes sea valida
Z

d.

Aqu es una variedad (r + 1)dimensional orientada y es su frontera.

Una propiedad muy importante es el conocido Lema de Poincare
d(d) = 0.
En todos los casos esto se reduce a la igualdad de las derivadas parciales mixtas.
5

En esta monografa presentamos la teora basica de las formas diferenciales, para lo cual en el Captulo
1 hacemos una presentacion de las algebras exteriores puesto que el conjunto de las formas diferenciales
es un algebra de este tipo. En el Captulo 2 introducimos la teora general de las formas diferenciales
presentando sus propiedades mas basicas. Finalmente, en el Captulo 3 presentamos una aplicacion
de las formas diferenciales; vemos all como el uso del lenguaje de las formas diferenciales facilita la
escritura de las famosas ecuaciones de Maxwell del electromagnetismo.

Captulo 1

ALGEBRA EXTERIOR
1.1.

El espacio vectorial p L

Sea L un espacio vectorial de dimension n sobre los reales. Para cada p = 0, 1, 2, 3, . . . , n construiremos
un nuevo espacio vectorial p L sobre R, llamado la pesima potencia exterior de L.
Definimos 0 L = R y 1 L = L. 2 L es el esparto conformado por todas las sumas de la forma
X

ai (i i ),

sujetas a las siguientes restricciones o reglas de reduccion

1.

(a1 1 + a2 2 ) a1 (1 ) a2 (2 ) = 0.

2. (b1 1 + b2 2 ) b1 ( 1 ) b2 ( 2 ) = 0.
3. = 0.
4. + = 0.
Aqu los i y los i son vectores en L y los ai y bi son n
umeros reales. es llamado el producto
exterior de los vectores y .
Si y son linealmente dependientes, es decir = c, entonces
= (c) = c( ) = c 0 = 0.
En otro caso 6= 0.
7

Supongamos que 1 , . . . , n es una base de L entonces si

=

ai i

bj j ,

tenemos que
=

X
X
ai bj ( i j ).
bj j =
ai i

Reordenamos esta expresion teniendo en cuenta que i i = 0 y j i = i j , para i < j y

entonces obtenemos
=

(ai bj aj bi ) i j .

i<j

Por tanto, los elementos de 2 L son combinaciones lineales de los 2vectores

i j ,

1 i < j n.

Es decir que estos 2vectores forman una base de 2 L. De donde podemos concluir que la dimension
de 2 L es

n
n(n 1)
=
.
2
2
Usamos la misma idea para la construccion de p L, 2 p n, el cual es el conjunto de todas las
sumas formales

a(1 p ) ;

a R, i L

sujetas a las siguientes reglas:

1.

(a + b) 2 . . . p = a( 2 . . . p ) + b( 2 . . . p ) y de igual manera si cualquier

i es reemplazado por una combinacion lineal.

2. 1 . . . p = 0, si para alg
un par de ndices i 6= j, i = j .
3. 1 . . . p cambia de signo si se intercambian cualquier dos i .
La primera condicion implica que 1 . . . p es lineal en cada variable y la tercera condicion implica
que si es una permutacion de {1, . . . , p} entonces
(1) . . . (p) = (sign )1 . . . p .
8

Sea 1 , . . . , n una base de L. Similarmente a como se hizo en el caso de 2 L podemos construir una
base de p L de la siguiente manera: para cada conjunto de ndices H = {h1 , . . . , hp }, 1 hi < h2 <
< hp n, definimos H = h1 hp . Entonces los H forman una base de p L y se tiene que

n
.
dim L =
p
p

Si p L, entonces =

aH H donde se suma sobre todos los conjuntos ordenados H.

Tambien podemos sumar sobre todas las ptuplas de ndices introduciendo coeficientes antisimetricos.
=

1 X
bh1 ,...,hp h1 . . . hp ,
p!

donde bh1 ,...,hp es un tensor antisimetrico y bh1 ,...,hp = aH para H = {h1 , . . . , hp }, h1 < < hp .
La propiedad 2 arriba implica que p L = 0, para p > n, puesto que si consideramos un pvector
= 1 p p L y lo escribimos en terminos de una base 1 , . . . , n obtenemos
1 p =

ah1 hp h1 hp .

Como p > n entonces en cada producto h1 hp hay repeticiones y por tanto se debe anular, es
decir que en cualquier caso 1 p = 0.
Para definir una transformacion lineal f sobre p L es suficiente dar una funcion g de pvariables sobre
L tal que
(a) g es lineal en cada variable.
(b) g es alternante, esto es, g se anula cuando dos de sus variables son iguales y cambia de signo
cuando dos de sus variables son intercambiadas.
Entonces
f (1 . . . p ) = g(1 , . . . , p )
define a f sobre los generadores de p L.

1.2.

Determinantes

Sea A una transformacion lineal de L en si mismo. Definimos una funcion g = gA de n variables sobre
L en si mismo, as
gA :

n
Y

L n L

i=1

g(1 , . . . , n ) 7 A1 . . . An ,
donde

n
Y

L representa el producto cartesiano.

i=1

Como g es multilineal y antisimetrica existe una funcional lineal f = fA

fA : n L n L
tal que
fA (1 . . . n ) = gA (1 , . . . , n ) = A1 An .
Como n L tiene dimension 1, las u
nicas transformaciones lineales sobre este espacio son multiplicar
por un escalar, en nuestro caso particular representamos el escalar por |A|, tenemos entonces
A1 . . . An = |A|(1 . . . n ).
Llamamos al n
umero |A| el determinante de A.
Debemos observar que esta definicion es independiente de la representacion de A. Ademas, observemos
que
|AB|(1 n ) = (AB1 ) (ABn )
= |A|(B1 Bn )
= |A||B|(1 n ).
Por tanto,
|AB| = |A||B|.

1.3.

El producto exterior

Nuestros espacios p L han sido construidos con un proceso de multiplicacion llamado multiplicacion
exterior y que denotamos por . Si p L y q L entonces p+q L, el cual se anula por
10

definicion si p + q > n:
:

(p L) (q L) p+q L
(, )

Es suficiente definir sobre generadores y aplicar las propiedades basicas citadas en la seccion 1.1
para extenderlo a pvectores y qvectores:
(1 p ) (1 q ) = 1 p 1 q .
Este producto exterior tiene las siguientes propiedades
(1) ( + ) = + .
(2) ( ) = ( ) .
(3) = (1)pq .
Ejemplo 1.1. Consideremos para L el espacio vectorial de las formas diferenciales (R3 ). Se acostumbra omitir el signo de multiplicacion exterior , esto es, dxdy = dx dy.
(a) La propiedad (3) anterior nos dice que cualquier dos formas de grado impar anticomutan y en
otro caso conmutan. Para ilustrar esto veamos el siguiente ejemplo
(Adx) (Bdxdydz) = (1)13 (Bdxdydz) (Adx) = (Bdxdydz) (Adx).
(b) (Adx+Bdy +Cdz)(Edx+F dy +Gdz) = (BGCF )dydz +(CE AG)dzdx+(AF BE)dydx,
que ilustra el producto vectorial de dos vectores en R3 .
(c) (Adx + Bdy + Cdz) (P dydz + Qdzdx + Rdxdy) (AP + BQ + CR)dxdydz , que ilustra el
producto interno de dos vectores en R3 .

1.4.

Transformaciones lineales

Sean M y N dos espacios vectoriales de dimension m y n respectivamente. Sea 1 , 2 , . . . , m una

base para M y 1 , 2 , . . . , n una base para N . Sea
A : M N
11

una transformacion lineal. La aplicacion

p
Y

M p N

(1 , . . . , p ) 7 A1 . . . Ap
es multilineal y alternante, por lo tanto define una transformacion lineal de p M en p N la cual
denotaremos por p A.
Esta pesima potencia exterior de A es definida sobre generadores por
(p A)(1 p ) = A1 Ap .
Supongamos que A esta representada por la matriz m n de (aij ) tal que
A i =

aij j .

Los H y K forman bases para p M y p N respectivamente, donde H y K son conjuntos ordenados

de pndices. Tenemos que
(p A) H

= A h1 A hp

ahk11 akpp k1 kp

K
aH
K .

i
Por lo tanto, p A es representada por la matriz (aH
K ) de todos los menores p p de A = (aj ).

Supongamos que L, M y N son tres espacios vectoriales y A : M N , B : L M transformaciones

lineales. Entonces, AB : L N . Veamos ahora cual es la matriz de p (AB):
p (AB)(1 . . . p ) = (AB1 ) . . . (ABp ),
= (p A)[(B1 ) . . . (Bp )],
= (p A)[(p B)(1 . . . p )],
= [(p A)(p B)](1 . . . p ).
Por lo tanto,
p (AB) = (p A)(p B).
12

Otra propiedad importante es que si p M y q M entonces

(p+q A)( ) = (p A)() (q A)().
Verificamos esto solo para monomios. Sean = 1 . . . p y = 1 . . . q entonces
(p+q A)( ) = (p+q A)(1 . . . p 1 . . . q ),
= (A1 . . . Ap ) (A1 . . . Aq ),
= (p A)() (q A)().

1.5.

Espacios con producto interno

Un producto interno en un espacio vectorial L es una funcion

(, ) :

L L R

tal que
1.

((a + b), ) = a(, ) + b(, ).

2.

(, (a + b)) = a(, ) + b(, ).

3.

(, ) = (, ).

4.

Si (, ) = 0 para todo entonces = 0. (El producto interno es no degenerado).

Ejemplo 1.2. Algunos de los productos internos mas usados son:

(a) El producto interno euclidiano sobre Rn : si = (a1 , . . . , an ) y = (b1 , . . . , bn ) entonces
(, ) = a1 b1 + + an bn .
(b) El producto interno de Lorentz en R4 : si = (a1 , a2 , a3 , a4 ) y = (b1 , b2 , b3 , b4 ) entonces
(, ) = a1 b1 a2 b2 a3 b3 a4 b4 .
Una base 1 , . . . , n de L es ortonormal si ( i , j ) = ij .
Si hay r signos mas y s signos menos entonces r + s = n y t = r s es la signatura del producto
interno, esto no depende de la base escogida.
13

Teorema 1.1. Todo espacio vectorial con producto interno L tiene una base ortonormal.
Demostraci
on. Si dim L > 0 existe un vector L tal que (, ) 6= 0; puesto que si (, ) = 0 para
todo , entonces
0 = ( + , + ) = (, ) + 2(, ) + (, ) = 2(, ).
De donde se concluye que (, ) = 0, para todo , L, lo que contradice la no degenerancia del
producto interno.
Escojamos una secuencia maximal 1 , . . . , r de vectores que satisfacen
( i , j ) = ij .
Sea M el subespacio de L generado por estos vectores, entonces dim M = r. Vale la pena se
nalar que
P
P
los vectores i son linealmente independientes pues
ai i = 0 implica
ai ( i , j ) = 0, de donde se
concluye que aj = 0 para todo j.

Supongamos que r < n. Sea N el complemento ortogonal de M , esto es, N es el subespacio de L

formado por todos los vectores tales que (, ) = 0, para todo M . Como N es determinado por
las r relaciones ( i , ) = 0, entonces dim N n r. Pero como, obviamente, M N = {0} entonces
dim N = n r.
N mismo es un espacio con producto interno relativo al producto interno de L; para verificar esto
solamente es necesario verificar la propiedad de no degenerancia. Supongamos que N es tal que
(, ) = 0, para todo N . Pero como (, ) = 0 para todo M , entonces (, ) = 0 para todo
L, por tanto = 0.
De forma similar a lo que vimos al comienzo de la demostracion existe un vector N tal que
(, ) 6= 0. Hacemos
r+1 = /|(, )|1/2
y as hemos construido una secuencia 1 , . . . , r+1 mas grande que la secuencia maximal tomada
inicialmente. Como esto es imposible concluimos que r = n, lo cual completa la demostracion.
Teorema 1.2. Sea f : L R. Entonces existe un u
nico L tal que f () = (, ).
Demostraci
on. Sea 1 , . . . , n una base ortonormal, llamamos bi = f ( i ) y tomamos
=

bj j =

14

( j , j )bj j .

Entonces
( i , ) =

( j , j ) bj ( i , j ) = bj = f ( i ).

Extendemos

el

producto

interno

sobre

p L

as:

para

los

pvectores

= 1 2 p y = 1 2 p definimos
(, ) = det[(i , j )].
Esta definicion funciona bien porque el determinante es una funcion multilineal alternante. Lo que
hemos definido es una funcion de valor real sobre el esparto (p L) (p L) la cual es lineal en cada
variable, ademas (, ) = (, ) porque al intercambiar filas y columnas, es decir transponer, de una
matriz su determinante no cambia.
La no degenerancia de este producto interno se ve mas facilmente calculandolo con respecto a una
base ortonormal. Sea 1 , . . . , n una base ortonormal de L entonces los H , con H = {h1 , h2 , , hp :
h1 < h2 < < hp }, forman una base de p L. Tenemos que
( H , K ) = det[( hi , hj ].
Si H 6= K entonces ( H , K ) = 0 puesto que el determinante tiene una fila y una columna de ceros .
Si H = K los u
nicos elementos que no se anulan son los de la diagonal y estos son 1, por lo tanto

( H , K ) = H,K .
As que los H forman una base ortonormal de p L y por tanto el producto interno es no degenerado.
En particular = 1 . . . n es una base ortonormal de n L y
(, ) = ( 1 , 1 ) ( n , n ) = (1)

nt
2

donde t es la signatura de L.

1.6.

El operador estrella de Hodge

Sea L un espacio vectorial con producto interno. Debemos tomar una orientacion fija de L, lo cual
significa que tomamos una base para L y solo consideramos otras bases que son expresadas en terminos
15

de esta por una matriz con determinante positivo. Un espacio vectorial tiene dos orientaciones y
tomamos una de ellas. Solamente usamos bases coherentes con la orientacion escogida.
La orientacion de L determina una base ortonormal de n L.
Tomamos p L fijo, la aplicacion
np L

n L

es una transformacion lineal. Podemos escribir

= f (),
donde f : np L R es lineal.
Por el teorema 1.2 existe un u
nico np L tal que

= (, ).
Esta ecuacion define el operador estrella u operador de Hodge
: p L np L
el cual es evidentemente lineal. Por la linealidad de , el calculo de para generadores de p L es
suficiente hacerlo para = 1 . . . p , donde 1 , . . . , n es una base ortonormal de L. Sea K que
varia sobre conjuntos de q = n p indices, entonces
K = (, K ).
El lado izquierdo se anula salvo para K = {p + 1, . . . , n}, por tanto
= c p+1 . . . n
y la constante c se determina tomando K = {p + 1, . . . n}:
= K = c( K , K ),
de donde c = ( K , K ) = 1 y
= ( K , K ) K .
16

Para H = {1, . . . , p} y K = {p + 1, . . . , n} hemos probado que

H = ( K , K ) K .
Ahora K H = ( K , H ), de donde
K = c H ,

c constante.

Ademas, (1)p(np) = (1)p(np) H K = ( K , H ) = c( H , H ). Luego,

= c(1)p(np) ( H , H ).
Entonces, c = (1)p(np) ( H , H ) y as
K = c(1)p(np) ( H , H ) H .
Por tanto,
( H ) = ( K , K )( K ),
= (1)p(np) ( K , K )( H , H ) H ,
= (1)p(np) (, ) H ,
= (1)p(np)+

nt
2

H ,

donde t es la signatura de L
Por tanto, para todo p L
= (1)p(np)+

nt
2

Ahora, si , p L entonces
= (, ) = (, ) = .
Probaremos que = (1)

nt
2

(, ). Por la linealidad de basta hacerlo para generadores. Si

= H entonces para que no se anule a ambos lados de la igualdad, debe ser igual a H y as
= H ( K , K ) K ,
= ( K , K ),
= ( H , H )(1)
= (1)

nt
2

17

nt
2

(, ).

(, ),

Ejemplo

1.3.

Tomemos

el

4esparto

con

coordenadas

normalizadas,

as

que

dx1 , dx2 , dx3 , dt es una base ortonormal con (dxi , dxi ) = 1 y (dt, dt) = 1. Tenemos entonces que
n = 4, t = 2 y (1)

nt
2

= 1. Estudiaremos algunas 2formas, entonces tomamos p = 2 y en este caso

p(n p) = 4. Por tanto,

dxi dt (dxi dt) = (1)

nt
2

(dxi dt, dxi dt)dx1 dx2 dx3 dt

= (1)(1)dx1 dx2 dx3 dt

= dx1 dx2 dx3 dt
Entonces (dxi dxt ) = dxj dxk , donde (i, j, k) tiene orden cclico. As (dxj dxk ) = (1)5 dxi dt = dxi dt.
Ejemplo 1.4. Sea R3 con la metrica usual. Si f y g son funciones entonces
df =

df =

f
f
f
dx +
dy +
dz,
x
y
z

f
f
f
dydz +
dzdx +
dxdy.
x
y
z

De donde,
df dg =

f g f g
f g
+
+
x x y y
z z

18

dx dy dz.

Captulo 2

LA DERIVADA EXTERIOR
2.1.

Formas diferenciales

Sea P un punto en Rn , las 1formas en P son las expresiones de la forma

n
X

ai dxi ,

ai constantes.

El conjunto de 1formas conforman un espacio vectorial ndimensional L = Lp . Las pf ormas en P

son los elementos de

p L = p Lp ,
es decir, expresiones de la forma
X

aH dxhi . . . dxhp ,

aH constantes.

Note que eliminamos la notacion por lo tanto los diferenciales dxi yuxtapuestos siempre seran
multiplicados por el producto exterior.
Ahora, sea U un dominio (abierto) en Rn . Una pforma sobre U se obtiene escogiendo suavemente en
cada punto P U una pforma. As una pforma, tiene la representacion

aH (x1 , ..., xn )dxH ,

donde las funciones aH son funciones suaves o diferenciables sobre U .

19

El algebra exterior se aplica en cada punto de U y as puede ser aplicado para las formas diferenciales
sobre U . As si es una pforma y es una qforma sobre U , entonces es una (p + q)forma
sobre U . Por supuesto = 0, si p + q > n. Si
=

aH dxH ,

bK dxK ,

entonces
=

aH bK dxH dxK ,

de tal forma que los coeficientes de son de nuevo funciones suaves.

Ejemplo 2.1. Una 1forma
= P dx + Qdy + Rdz
puede ser identificada con un campo vectorial ordinario (P, Q, R) en R 3 y una 2forma
= Adydz + Bdzdx + Cdxdy
puede ser identificada con un campo vectorial polar en R 3 .

2.2.

Derivada exterior

Denotamos por F p (U ) el conjunto de todas las p-formas sobre U . En particular, F 0 (U ) es simplemente

el conjunto de todas las funciones suaves sobre U .
Definimos ahora una operacion d la cual toma cada pforma y la convierte en una (p + 1)forma de
d. En R3 funciona de la siguiente manera. Para una 0-forma f

df =

f
f
f
dx +
dy +
dx.
x
y
x

Para la 1forma = P dx + Qdy + Rdz se define por

d =

R Q

y
z

dydz +

R
P

z
x

dzdx +

Q P

x
y

dxdy.

Mientras que para la 2forma = Adxdy + Bdzdx + Cdxdy se define de la siguiente manera
d =

A B C
+
+
x
y
Z
20

dxdydz.

La definicion de d es completamente independiente del sistema de coordenadas; esto sera mas o menos
claro cuando axiomaticemos d.
Debemos entonces establecer la existencia y unicidad de un operador
d : F p (U ) F p+1 (U )
tal que
(i) d( + ) = d + d.
(ii) d( ) = d + (1)(deg ) d.
(iii) Para cada , d(d) = 0.
(iv) Para cada funcion f
df =

X f
dxi .
xi

Notemos que deg corresponde al grado de .

Primero probaremos que existe una u
nica operacion d. Demostraremos inicialmente que

d(dxh1 dxhp ) = 0
por induccion sobre p. Consideremos una 1forma = P dx + Qdy + Rdz, sabemos que
d =

R Q

y
z

dydz +

P
R

z
x

dzdx +

Q P

x
y

dxdy,

entonces aplicando de nuevo la derivada exterior tenemos

d(d) =

R Q

y
z

P
R

z
x

Q P

x
y

Es decir que la propiedad se cumple para p = 1.

Supongamos ahora que la propiedad se cumple para p 1, entonces por (ii)
d[xh1 (dxh2 dxhp )] = dxh1 dxh2 dxhp ,
de donde tomando nuevamente derivada exterior obtenemos
d(dxh1 dxh2 dxhp ) = d(d(xh1 dxh2 dxhp )) = 0.
21

dxdydz = 0.

Ahora si =

aH dxH es una pforma entonces

d =
=
=

d(aH dxH ),

aH xj dxj dxH ,

d(aH )dxH ,

lo cual muestra que las propiedades (i) a (iv) determinan completamente a d. Para probar la existencia de un tal operador d, simplemente hacemos
d =
para =

aH xj dxj dxH

aH dxH y comprobamos que las propiedades se satisfacen. Las propiedades (i) y (iv)

son completamente claras, veamos que pasa con (ii) y (iii). Evidentemente, si verificamos esto para
monomios las propiedades se verifican por sumacion. Supongamos que
= adxH ,

= bdxK

entonces
d( ) = d(abxH dxK )
X (ab)
dxi dxH dxK
=
xi
X a
X b
i
H
K
=
bdx
dx
dx
+
a i dxi dxH dxK
xi
x
X a
i
H
K
=
bdx dx (bdx )+
xi
X
b
(adxH ) ( i dxi dxK )
(1)(deg)
x
= (d) + (1)(deg) d.
El signo resulta de
dxi dxH = (1)(deg) dxH dxi .
As hemos probado (ii). Nuevamente, sea = adxH , entonces

X
a i H
dx
dx
d(d) = d
xi
X 2a
=
dxj dxi dxH
xi xj

1X
2a
2a
=
i j dxj dxi dxH
2
xi xj
x x
= 0,
22

lo cual verifica (iii).

La propiedad (iii) no es mas que el equivalente de la segunda derivada parcial mixta. Esta es la fuente
de la mayora de las condiciones de integrabilidad en ecuaciones diferenciales parciales y geometra
diferencial y es usualmente llamado el Lema de Poincare.

2.3.

Transformaciones

Ahora, estudiaremos la siguiente situacion: U es un dominio en Rm , V es un dominio en Rn y es

una aplicacion suave de U en V . Escribiremos
: U V.
Tambien denotamos por x1 , . . . , xm las coordenadas de Rm y por y 1 , . . . , y n las coordenadas de Rn .
Entonces podemos escribir
y i = y i (x1 , , xm )
para mostrar que el punto con coordenadas X = (x1 , . . . , xm ) es transformado por en el punto con
coordenadas Y = (y 1 , . . . , y n ). Las funciones y i (x) son suaves.
Si g es cualquier funcion de valor real definida sobre V

g : V R,
entonces podramos combinar esta con para obtener una funcion de U en R, la cual escribimos

g = g .
As, de esta manera tenemos una aplicacion
= F 0 (V ) F 0 (U ).
Es decir que a partir de una aplicacion de U en V hemos construido una nueva aplicacion de
F 0 (V ) en F 0 (U ).

U
@

- V

g=g

@
R ?

R
23

Definiremos ahora una aplicacion que toma pformas sobre V y las enva en pformas sobre U
: F p (V ) F p (U ).
Estrictamente hablando deberamos indicar y escribir p , p = 0, 1, . . . pero en este trabajo simplemente usaremos .
Hemos tenido especial cuidado para el caso p = 0. El caso crucial es para p = 1; despues de hacer esto
las consideraciones algebraicas del Captulo 1 hara el resto del trabajo.
La idea basica es la sustitucion de las funciones coordenadas, reemplazando dy i por
X y i
dxj .
xj
De esta manera si =

ai (Y )dy i es una 1forma sobre V hacemos

=

ai (Y (X))

y i j
dx
xj

y as obtenemos
: F 1 (V ) F 1 (U ).
Aplicando el metodo usado en la Seccion 1.4 , extendemos esta aplicacion a los productos exteriores
y obtenemos las aplicaciones
: F p (V ) F p (U ).
Como un ejemplo veamos el siguiente caso

(dy 1 dy 2 ) = ( dy 1 )( dy 2 )
X 2

X 1
y
y
i
j
dx
dx
=
xi
xj
X y 1 y 2
dxi dxj
=
xi xj

y 1 y 2
1 X y 1 y 2
j
dxi dxj
=
2
xi xj
x xi
1 X (y 1 , y 2 ) i j
dx dx .
=
2
(xi , xj )
Las propiedades basicas de son:
(1) ( + ) = + .
24

(2) ( ) = ( ) ( ).
(3) Si es una pforma sobre V entonces
d( ) = (d).
(4) Si : U V y : V W son transformaciones entonces
( ) = .
La primera propiedad es evidente y la segunda se sigue de la f
ormula final de la Seccion 1.4 . La
propiedad (3) es esencialmente la regla de la cadena para derivadas parciales. Primero tomemos una
0forma g sobre V
dg =
dg =

P g j
dy ,
y j
P g(Y (X)) y j i
dx ,
y j
xi

P ( g) i
dx = d g.
xi
Razonamos por induccion, supongamos que hemos probado (3) para (p 1) formas y verifiquemos
=

que (3) se cumple para pformas. Tomamos una pforma monomial puesto que cada pforma es una
suma de ellas. Supongamos entonces que

= gdy H = gd,
donde = y h1 dy h2 dy hp es una (p 1)forma. Entonces,
= ( g)( d) = ( g) (d ),
d( ) = d( g) d( ),
y
d = dg d,
dw = ( dg) ( d),
= d( dg) d( d),
= d( ).
25

Veamos ahora como se prueba la propiedad (4). Para una 0forma (funcion) h sobre W tenemos
[( ) h](X) = h[( )(X)] = h{[(X)]}
= [ h][(X)]{ [ h]}(X)
= [( )h](X).
Por lo tanto,
( ) h = ( )h.
El resto de la demostracion se hace por induccion de forma similar a como se hizo para probar la
propiedad anterior.
Todo esto implica que uno puede sustituir directamente las expresiones para las coordenadas z k sobre
W

U
@

- V

F p (U )
@
I
@

() =( )

@
R ?
@

F p (V )

F p (W )

en terminos de las coordenadas xi sobre U , o indirectamente pasando primero a traves de las funciones
coordenadas y j de V .
Ejemplo 2.2.

1. Consideremos la transformacion
R1 R2

7 (x, y) = (t2 , t3 )

Sea la 1forma = xdy sobre R2 , entonces

= (t2 )
2.

y
dt = 3t4 dt.
t

Si ahora tomamos la aplicacion

:

R2

R1

(x, y) 7 t = x y
entonces
(dt) = dx dy.
26

Finalmente, observemos que si m < n, es una aplicacion de un dominio U de Rm en un dominio V

de Rn , es una pforma sobre V y p > m, entonces necesariamente = 0.

2.4.

Cambios de coordenadas

Apliquemos los resultados de la seccion anterior al caso especial en el cual U y V son ambos dominios
de Rn y es una aplicacion uno a uno de U en V con y = 1 suaves. Notese que esto no siempre
ocurre pues por ejemplo la transformacion x 7 y = x3 de R1 en R1 es suave pero la transformacion
inversa y 7 x = y 1/3 no es suave ya que no es derivable en y = 0.

- V

@
R ?

- U
@
6

@
@
R

En cada uno de los diagramas anteriores es la transformacion identidad, (X) = X. Entonces tenemos
que es una aplicacion uno a uno de F p (V ) en F p (U ) y su inversa es .
Si interpretamos las coordenadas Y de V como coordenadas nuevas sobre U , el resultado

d = d.
significa que la derivada exterior de una forma diferencial es independiente del sistema de coordenadas
en el cual es calculada.
Ejemplo 2.3. (Un ejemplo de mec
anica)

Este problema fue tomado de [3]. Trabajaremos en una region con coordenadas (X, U ) = (x1 , , xn , u1 , , un ).
Consideremos una funcion dada
= (X, U )
la cual suponemos que es homogenea de grado 2 en la variable U , por ejemplo, una forma de energa
P
cinetica
aij (x)ui uj . Sea

.
pi =
ui
Asumimos que la transformacion (X, U ) (X, P ) define un cambio regular de variables, luego podemos escribimos
(X, U ) = (X, P ).
27

El problema es probar las relaciones

=
,
xi
xi

= uk .
pk

La prueba depende de dos cosas, la formula de Euler para funciones homogeneas que en nuestro caso
implica
X
= 2,
uk
esto es,
X

pk uk = 2,

y el hecho de que las relaciones exteriores son independientes de como son derivadas.
Tenemos que
d =

X
X
X
X
dxi +
duk =
dxi +
pk duk
xi
uk
xi

y
2d =

pk duk +

uk dpk ,

luego restando estas dos ecuaciones obtenemos

d =

X
X
dxi +
uk dpk .
xi

El resultado se sigue del hecho que = y

d =

2.5.

X
X
dxi +
dpk .
xi
pk

Recproco del Lema de Poincar

e

El lema de Poincare, d(dw) = 0, tiene estas interpretaciones en el 3espacio

rot(gradf ) = 0,
div(rotV ) = 0.
En analisis vectorial uno prueba que un campo vectorial libre de rotacional es un gradiente por
integrales de lnea y que un campo vectorial libre de divergencia es un rotacional, usualmente por el
metodo de fuerza bruta.

28

Vamos ahora a probar el siguiente resultado general. Si es una pforma (p 1) y d = 0 entonces

existe una (p 1)forma tal que = d. El resultado es difcil si p > 1 porque existen muchas soluciones. Tambien el resultado es valido solo en dominios que no sen muy complicados topologicamente.
La demostracion esta basada en la construccion de un cilindro. Iniciamos con un dominio U en Rn .
Notemos por I = [0, 1] el intervalo unitario en el eje t y consideremos el cilindro o espacio producto

I U = {(t, X) : 0 t 1 y X U }.
Consideremos las siguientes transformaciones
j1 :

I U

j0 :

X 7 j1 (X) = (1, X)

I U

X 7 j0 (X) = (0, X)

las cuales identifican a U con la tapa y el fondo del cilindro.

De esta manera obtenemos las aplicaciones
ji : F p (I U ) F p (U ),

i = 0, 1.

Por ejemplo, para la forma j1 donde es una forma diferencial sobre I U , simplemente sustituye
t por 1 si esto ocurre en .

I U
0

Rn

29

Definimos ahora una nueva aplicacion

K : F p+1 (I U ) F p (U );
K es definida sobre monomios por las formulas
K(a(t, X)dxH ) = 0,
Z
K(a(t, X)dtdxJ ) =

a(t, X)dt dxJ ,

y sobre las formas diferenciales generales sumando los resultados sobre las partes monomiales. La
propiedad basica de K es: Si es cualquier (p + 1)f orma sobre I U , entonces

K(d) + (d(K)) = j1 j0 .()

Para verificar esto es suficiente hacerlo para monomios.

30

Caso 1 : = (t, X)dxH .

Tenemos K = 0, dK = 0,
a
dtdxH + [terminos que no dependen de dt]
t

Z 1
a
dt dxH = [a(1, X) a(0, X)]dx
Kd =
0 t

d =

Pero j1 = a(1, X)dxH , j0 = a(0, X)dxH , de esta manera la formula es valida.

Caso 2 : = a(t, x)dtdxj .
Primero j1 = j0 = 0. Entonces,
X

a
i
J
Kd = K
dtdx
dx
xi

Z
1
X
a
dt dxi dxJ ,
=
i
x
0
dK = d

a(t, X)dt dx

X Z 1
a(t, X)dt dxi dxJ
=
xi 0
X Z 1 a
dt dxi dxJ ,
=
i
x
0
0

as la formula de nuevo funciona.

Diremos que un dominio U es deformable a un punto P si existe una aplicacion
: I U U
tal que
(1, X) = X,
(0, X) = P.
Las condiciones de frontera pueden ser interpretadas en terminos de las ji as
j1 = 1,

j0 = P.

Para una (p + 1)forma sobre U tenemos como consecuencia que

j0 [ ] = 0.

j1 [ ] = ,
31

Ahora podemos enunciar y probar el resultado principal: Sea U un dominio en Rn el cual puede ser
deformado a un punto P . Sea una (p + 1)forma sobre U tal que d = 0. Entonces existe una
pforma sobre U tal que

= d.
Para probar esto simplemente sustituimos en la formula (**) y obtenemos
K[d( )] + d[K( )] = .
Pero d( ) = (d) = 0, entonces = d con = K( ).
Es interesante ver que tan lejos la solucion de la ecuacion d = esta determinada. Si es otra
solucion, entonces d = = d, d( ) = 0. Si p 1, podemos concluir por el resultado principal
que = d. Donde d es una (p 1)forma. En otras palabras, dada una solucion , la solucion
general es d, donde es arbitraria. Cuando p = 0, y son funciones y concluimos que
es constante.
Ejemplo 2.4. Ilustremos este metodo para el caso n = 3, p = 2. Tomamos entonces una 2forma en
R3
= Adydz + Bdzdx + Cdxdy,
para la cual d = 0, es decir
A B C
+
+
= 0.
x
y
Z
El esparto R3 puede ser deformado a 0, para lo cual usamos la aplicacion

(t, x, y, z) = (tx, ty, tz).

Probemos entonces que = d donde
= KA.
Primero calculamos :
= A(tx, ty, tz)d(ty)d(tz) +
= A(tx, ty, tz)(tdy + ydt)(tdz + zdt) +
= A(tx, ty, tz)(yt dt dz zt dt dy) + + (terminos independientes de dt).
32

Ahora tenemos
1

Z 1

= K( ) =
A(tx, ty, tz) (ydz zdy) +
B(tx, ty, tz) (zdx xdz)
0
0
Z 1

+
C(tx, ty, tz) (xdy ydx).

Un calculo directo muestra que d = .

Finalmente, observemos que para
= Adydz + Bdzdx + Cdxdy,
el problema de encontrar
= P dx + Qdy + Rdx
tal que
d =
es equivalente a encontrar las tres funciones de tres variables P , Q,R que satisfacen el siguiente sistema
de ecuaciones diferenciales parciales

P
z

Q
x

Q
z

= A,

R
x

= B,

P
y

= C,

donde las funciones dadas A, B, C estan sujetas a la condicion necesaria

A B C
+
+
= 0.
x
y
z
Debemos resaltar que este sistema puede ser resuelto por una formula explcita que involucra cuadraturas. En general, la teora de formas diferenciales exteriores involucra muchos tipos de sistemas de
ecuaciones diferenciales parciales los cuales se pueden reducir a sistemas de ecuaciones diferenciales
ordinarias y a menudo resueltas por cuadraturas.

33

Captulo 3

LAS ECUACIONES DE MAXWELL

En este u
ltimo captulo presentamos en una forma elegante, usando el lenguaje de las formas diferenciales, las famosas ecuaciones de Maxwell de la teora electromagnetica.
En la teora de campo electromagnetico clasico se trabaja con las siguientes cantidades
E: Campo electrico.
H: Campo magnetico.
B: Induccion magnetica.
J: Densidad de corriente electrica.
D: Desplazamiento dielectrico.
: Densidad de carga.
Estas son funciones de las variables espaciales x1 , x2 , x3 y la de tiempo t.

34

En el lenguaje vectorial las ecuaciones de Maxwell se escriben as:

(i) X E =
(ii) X H =

1 B
. (Ley de induccion de Faraday)
c t

1 D
4
J+
. (Ley de Ampere)
c
c t

(iii) D = 4. (Continuidad)
(iv) B = 0. (No existencia de verdadero magnetismo)
Aqu c representa la velocidad de la luz. Debemos representar estas ecuaciones en el lenguaje de las
formas diferenciales. Para esto hacemos
= (E1 dx1 + E2 dx2 + E3 dx3 )(cdt) + B1 dx2 dx3 + B2 dx3 dx1 + B3 dx1 dx2 ,

= (H1 dx1 + H2 dx2 + H3 dx3 )(cdt) + D1 dx2 dx3 + D2 dx3 dx1 + D3 dx1 dx2 ,

= (J1 dx2 dx3 + J2 dx3 dx1 + J3 dx1 dx2 )dt dx1 dx2 dx3 .
Veamos que las ecuaciones (i) y (iv) son equivalentes a la ecuacion
d = 0.
Entonces,
d = d(E1 dx1 + E2 dx2 + E3 dx3 )(cdt) + d(B1 dx2 dx3 +
+B2 dx3 dx1 + B3 dx1 dx2 ),

= c(d(E1 dx1 ) + d(E2 dx2 ) + d(E3 dx3 ))dt + d(B1 dx2 dx3 )+
+d(B2 dx3 dx1 ) + d(B3 dx1 dx2 ),

35

d = c

E1 2 1 E1 3 1 E2 1 2 E2 3 2
dx dx +
dx dx +
dx dx +
dx dx +
x2
x3
x1
x3

B1 1 2 3 B2 2 3 1
E3 1 3 E3 2 3
dx dx +
dx dx dt +
dx dx dx +
dx dx dx +
+
1
2
x
x
x1
x2

B3 3 1 2 B1
B2
B3
dx dx dx +
dtdx2 dx3 +
dtdx3 dx1 +
dtdx1 dx2 ,
3
x
t
t
t

E2 E1
B3
B2
1 dx2 dt + c E3 E1
c

+
dx

dx1 dx3 dt+

x1
x2
t
x1
x3
t

B1
E3 E2
2 dx3 dt + B1 + B2 + B3 dx1 dx2 dx3 .

+
dx
+ c
x2
x3
t
x1
2
x3

De donde
c

E2 E1

x1
x2

E2
=c
+
t

E3 E1

x1
x3

B2
=c

E3 E2

x2
x3

B1
=0
t

y
B1 B2 B3
+
+
= 0.
x1
x2
x3
De igual manera d + 4 = 0 representa las ecuaciones (ii) y (iii). Aplicando d a la u
ltima ecuacion
obtenemos d = 0, que en notacion vectorial esto es
divJ +

= 0.
t

De la ecuacion d = 0, por el lema de Poincare se tiene que al menos en una region del espaciotiempo
la cual puede ser deformada a un punto existe una 1forma tal que d = . Introducimos el vector
potencial A y un escalar A0 as

= A1 dx1 + A2 dx2 + A3 dx3 + A0 cdt.

La ecuacion d = en forma vectorial es

X A = B,

1 A

A0
= E.
c t
36

En esparto libre se tiene que

E = D,

H = B,

J = 0,

= 0.

Entonces las ecuaciones de Maxwell son

1 H

E
=

,
X

c t

X H = 1 E ,
c t

E = 0,

H = 0.

Introducimos la metrica de Lorentz en el 4esparto, esto es

(dxi , dxi ) = ij ,

(dxi , cdt) = 0,

(cdt, cdt) = 1.

Entonces dx1 , dx2 , dx3 , cdt es una base ortonormal. La signatura es 2, de donde

() = (E1 dx1 (cdt) + E2 dx2 (cdt) + E3 dx3 (cdt) + H1 dx2 dx3 ,

+ H2 dx3 dx1 + H3 dx1 dx2 )
= E1 dx2 dx3 + E2 dx3 dx1 + E3 dx1 dx2 (H1 dx1 (cdt) + H2 dx2 (cdt) + H3 dx3 (cdt)).
O sea = y d = 0 entonces las ecuaciones de Maxwell en espacio libre son

d = 0

d() = 0.

37

Bibliografa
[1] DO CARMO Manfredo. Differential forms and applications. Berlin: SpringerVerlag. 1994.
[2] FLANDERS Harley. Differential forms with applications to the physical sciences. New York: Dover
Publications. 1989.
[3] GOURSAT, E. Course in mathematical analysis, Vol. I. Boston. 1904.
[4] APOSTOL, T. C
alculo diferencial e integral, Vol. II. Barcelona. 1900.
[5] ZIL, Dennis G. Ecuaciones diferenciales con aplicaciones, Mexico D.F. 1995.

38