3.3.

FORMAS DIFERENCIALES

En esta parte haremos una ampliaci on mas generalizada a Rn del tema que en el apendice A, seccion
2.6 Formas Diferenciales, se hizo solamente hasta R3 . Basado principalmente en [Lovelock & Rund,1989].

3.3.1. Producto Exterior

Sea ai las componentes covariantes de un campo vectorial. Correspondiente con un desplazamiento
arbitrario en las componentes dxi , construimos la suma

= ai dxi (1)

la cual llamamos 1-forma (forma Pfaan) escalar. Podemos tambien construir la 1-forma contravariante

i = Aij dxj (2)

En particular, si escogemos Aij = ji , obtener la 1-forma dxi .

Comencemos con una consideracion puramente algebraica cuando expresamos las 1-formas escalares
= ai dxi y = bi dxi , cuya suma cumple con la obvia regla

+ = (ai + bi ) dxi (3)

la cual es tambien una 1-forma. No hace falta decir, que la suma de formas de diferentes tipos, por ejemplo
una 1-forma escalar y una 1-forma contravariante, no tiene sentido tensorial. Similarmente, el producto de
una 1-forma como en (1) y una funcion escalar f (xi ) cualquiera, dependiente de las coodenadas xi , se dene
como
f = f ai dxi (4)
la cual tambien es una 1-forma. Sin embargo, cuando el producto de dos 1-formas es considerado, un nuevo
na) entre y , que se denota como .
concepto debe ser introducido, el llamado producto exterior (cu
Este producto se asume que cumple la ley distributiva de la multiplicacion, pero la ley (anti-)conmutativa se
estipula para las 1-formas como
= (5)
As en particular se tiene que
dxj dxk = dxk dxj (6)
expresion que se anula cuando j = k. Como resultado de aplicar (4) y estas reglas, el producto exterior de
dos 1-formas escalares = ai dxi y = bi dxi se expresa de la forma

= ai bj dxi dxj (7)

o
= 1
2 (ai bj aj bi ) dxi dxj (8)

Esta expresion representa una 2-forma escalar denotada como

= Aij dxi dxj (9)

donde, debido a (6) y sin perdida de generalidad, el tensor con componentes Aij es asumido anti-simetrico.
El producto exterior de mas de dos 1-formas puede ser obtenida recursivamente, siendo asumida la ley
on exterior. Para las p 1-formas, siendo p n, dadas por
asociativa de la multiplicaci

r = Arj dxj r = 1, . . . , p n (10)

1
entonces se tiene
1 2 = A1j1 A2j2 dxj1 dxj2
1 2 3 = A1j1 A2j2 A3j3 dxj1 dxj2 dxj3
.. .. (11)
. = .
1 2 p = A1j1 A2j2 Apjp dxj1 dxj2 dxjp

Como en el caso de (8) estos productos exteriores en (11) pueden ser escritos de una forma mas apropi-
ada utilizando una propiedad de las deltas de Kronecker generalizadas aplicadas a una cantidad C j1 j2 ...jp
completamente anti-simetrica respecto a los superndices

j ...j
h11 ...hpp C h1 ...hp = p! C j1 ...jp (12)

Particularmente,
1 j1 ...jp
dxj1 dxjp = dxh1 dxhp (13)
p! h1 ...hp
y as (11) es equivalente a

1 j1 j2 1 2
1 2 = A A dxh1 dxh2
2! h1 h2 j1 j2
1
1 2 3 = hj11jh22jh3 3 A1j1 A2j2 A3j3 dxh1 dxh2 dxh3
3!
(14)
.. ..
. = .
1 j1 j2 ...jp 1 2
1 2 p = A A Apjp dxh1 dxh2 dxhp
p! h1 h2 ...hp j1 j2

j j ...j
Aqu debe notarse que h11 h22 ...hpp A1j1 A2j2 Apjp es el determinante de la matriz cuadrada construida de la
escogencia de las p columnas h1 ,h2 ,. . .,hp de la siguiente matriz p n rectangular

A1 A12 A1n
1
A21 A22 A2n
. .. .. (15)
. ..
.
. . .
Ap1 Ap2 An p

En particular, para p = n, el determinante det(Ahj ) aparece n! en 1 2 n , as que

1 2 n = det(Ahj ) dx1 dx2 dxn (16)

La p 1-formas (10) son linealmente independientes si las p cantidades cuyas componentes son A1j , A2j , . . . , Apj
son linealmente independientes. De la construccion de arriba es inmediatamente evidente que la 1-formas
1 , 2 , . . . , p son linealmente dependientes si y solo si 1 2 p = 0.
Sean las formas p-forma y q-forma denidas mediante

= Aj1 j2 ...jp dxj1 dxj2 dxjp = Bh1 h2 ...hq dxh1 dxh2 dxhq (17)

donde Aj1 j2 ...jp y Bh1 h2 ...hq son tensores covariantes anti-simetricos en sus respectivos sub-ndices, con p, q
n, tales que j1 < j2 < < jp y h1 < h2 < < hq , para que las bases dxj1 dxj2 dxjp y

2
 n n
dxh1 dxh2 dxhq , de dimensiones p y q , respectivamente, sean exclusivas para cada forma en
virtud de (6) (
algebra de Grassmann). Se tiene entonces que

= (1)pq (18)

donde se ha aplicado la regla (6) q veces para llevar dxjp de la posicion p a la posici
on p + q, y esto se ha
hecho p veces. Esta claro que (5), con p = q = 1 es un caso particular de (18).
De manera general, a partir de (13) se tiene

1 h1 ...hp
Ah1 ...hp dxh1 dxhp = Ah1 ...hp dxj1 dxjp (19)
p! j1 ...jp

ademas
h ...h 1 h1 ...hp
j11...jpp dxj1 dxjp = dxj1 dxjp (20)
j1 <<jp
p! j1 ...jp

ya que de las p! permutaciones de los p distintos ndices j1 , . . . , jp solo hay una para la que j1 < < jp . As
que (19) puede ser escrita como
h ...h
Ah1 ...hp dxh1 dxhp = j11...jpp Ah1 ...hp dxj1 dxjp (21)
j1 <<jp

la cual es v
alida para cualquier Aa1 ...hp , irrespectivo si es simetrica o anti-simetrica. En particular, se sigue
ahora de la independencia lineal de los elementos bases dxj1 dxjp , con j1 < < jp , que la condicion

Ah1 ...hp dxh1 dxhp = 0 (22)

implica que
h ...h
j11...jpp Ah1 ...hp = 0 (23)

Este hecho sera usado con frecuencia en adelante.

3.3.2. Derivacion de Formas

Para una 1-forma dada por (1) la derivada exterior (derivada de una forma diferencial), denotada
por d, es una 2-forma denida por

aj aj
d = dxk dxj d = dxj dxk (24)
xk xk

que por (6) tambien se puede escribir alternativamente como (24.b). Incidentalmente, se pueden combinar
ambas expresiones mediante la semi-suma con lo cual se obtiene


1 ak aj
d = k dxj dxk (25)
2 xj x

Esta 2-forma muestra que sus coecientes de un elemento base 12 dxj dxk con j < k son las componentes
de el rotacional a de un campo vectorial a con componentes aj .
Similarmente, la derivada exterior de la 2-forma (9) es por denicion la 3-forma

Ajh k Ajh j
d = k
dx dxj dxh = dx dxh dxk (26)
x xk
3
donde la segunda expresion ha resultado de aplicar dos veces (6) a dxk .
En general, para una p-forma (1 p n)

= Aj1 ...jp dxj1 dxjp (27)

la derivada exterior d es la (p+1)-forma

Aj1 ...jp k
d = dx dxj1 dxjp
xk
(28)
Aj1 ...jp j1
= (1)p dx dxjp dxjp+1
xjp+1

Vamos ahora a derivar algunas propiedades b asicas del proceso de derivaci on exterior. Claramente,
la derivada exterior de la suma de dos p-formas es simplemente la suma de sus derivadas exteriores. Sin
embargo, para el producto de dos formas diferenciales (17) se tiene

Aj1 ...jp Bh1 ...hq
d( ) = Bh1 ...hq + Aj1 ...jp dxk dxj1 dxjp dxh1 dxhq (29)
xk xk

debido a
dxk dxj1 dxjp = (1)p dxj1 dxjp dxk (30)
entonces
d( ) = d + (1)p d (31)
que es la regla de derivacion del producto de dos formas y .
Otra consecuencia inmediata de la denici on (28) es el resultado de la doble derivaci
on exterior. De
acuerdo a esto entonces
2 Aj1 ...jp h
d(d) = dx dxk dxj1 dxjp (32)
xh xk
es claramente nula
d(d) = 0 (33)
en virtud de la simetra de las segundas derivadas parciales de Aj1 ...jp respecto a xh y xk , debida al Teorema
de Clairaut para funciones de la clase C 2 . La identidad (33) a veces es referida como el Lema de Poincare.
Veremos como el inverso de este lema posee una utilidad local importante.
Ilustraremos ahora el uso de la derivacion exterior covariante para el ejemplo de una 2-forma con-
travariante del tipo
j = Ajhk dxh dxk (34)
La derivada exterior parcial de esta forma (34) es

Ajhk r
dj = dx dxh dxk (35)
xr
La derivada exterior covariante de esta forma (34) es

Dj = Ajhk,r dxr dxh dxk (36)

Estas dos derivadas exteriores, la parcial y la covariante, se relacionan entre s con la derivada covariante
Ajhk,r denida como (seccion 2.1.1)

Ajhk
Ajhk,r = + Am j j m j m
hk mr Amk hr Ahm kr (37)
xr
4
As ambas derivadas exteriores quedan relacionadas mediante

Dj = dj + m
j
m j
m = jmr dxr (38)

donde los dos u acter anti-simetrico de Ajhk respecto

ltimos terminos de (37) dentro de (36) se anulan por el car
j
a los ndices h y k de la propiedad (6) y la 1-forma m covariante-contravariante se dene en funci on del
j
smbolo de Christoel de segunda especie mr (seccion 1.2.5., notaci
on de E. Cartan). Algunas veces aparece
en el desarrollo
Dj = (Ajhk,r + Ajmk Shr
m
) dxr dxh dxk m
Shr = m m
hr rh (39)
m
siendo Shr el tensor de torsion, que es nulo para un tensor metrico g simetrico. Sin importar que j en
(34) sea una p-forma, es decir j = Ajh1 ...hp dxh1 dxhp , el resultado (38) es exactamente el mismo. El
diferencial exterior covariante D tambien satisface la regla (31) de la derivada exterior d de un producto de
formas y .

3.3.3. Inverso del Lema de Poincar e

Sea una p-forma dada por (27). Esta forma se dice que es exacta, si existe una (p 1)-forma tal
que
= d (40)
De acuerdo al lema de Poincare (33), entonces

d = 0 (41)

cuando es exacta. Cualquier p-forma satisfaciendo la condici on (41) se dice que es cerrada, y as el
lema de Poincare enuncia que cada p-forma exacta es cerrada. Esta simple armacion reproducen las bien
conocidas identidades () = 0 y .( a) = 0 del an alisis vectorial, con las apropiadas formas
y para los campos escalar y vectorial y a ( = aj dxj = /xj dxj = d, d = 12 Fjk dxj dxk
Fjk = ak /xj aj /xk , jkh
rst
Frs /xt = 0 ).
El objetivo de esta parte es justamente vericar el inverso del lema de Poincare el cual enuncia que
cada p-forma cerrada es exacta, o equivalentemente, que la relacion d = 0 para una p-forma dada implica
la existencia de una (p 1)-forma tal que = d. Para este n, consideremos la p-forma

= Aj1 ...jp dxj1 dxjp (42)

en la cual se asume que los coecientes Aj1 ...jp (xh ) son funciones de la clase C 1 de las coodenadas locales xh
de la variedad diferencial Mn de dimension n. M as precisamente, para un punto dado P en Mn escogemos
1 n
unas coordenadas tales que x = = x = 0 en P , despues del cual construimos un subconjunto abierto
U en Mn , el cual es denido por la propiedad que para cualquier otro punto Q U con coordenadas xh , el
segmento consistente de todos los puntos con coordenadas txh , 0 t 1, est a tambien contenido en U . El
subconjunto U se dice que es estrellado con respecto al punto P . Se asumir a de ahora en adelante que los
coecientes Aj1 ...jp en (42) estan denidos y son de la clase C 1 en tal subconjunto estrellado U . Bajo estas
condiciones se puede aplicar el operador L a nuestra p-forma , este operador siendo denido por
p
 1 
L() = (1)r1 tp1 Aj1 ...jp (txh ) dt xjr dxj1 dxjr1 dxjr+1 dxjp (43)
r=1 0

Esta es una (p 1)-forma, cuya existencia se asegura en virtud de nuestras suposiciones. Tiene la propiedad
general que si = 0 entonces L() = 0, lo cual se ve f
acilmente expresando (43) en la forma
 1 
1 j ...j
L() = tp1 Aj1 ...jp (txh ) dt xh1 h11 ...hpp dxh2 dxhp (44)
(p 1)! 0

5
y notando (22) y (23).
Vamos ahora a evaluar la derivada exterior de L(). Haciendo esto observamos que

h Aj1 ...jp (txh ) txl Aj1 ...jp (txh ) l Aj1 ...jp (txh )
Aj ...j (tx ) = = t j = t (45)
xj 1 p
xl xj xl xj

asi que la diferenciaci

on exterior de (43) da
p
 1 
r1 Aj1 ...jp (txh ) p
d(L()) = (1) t j
dt xjr dxj dxj1 dxjr1 dxjr+1 dxjp
r=1 0 x
 1  (46)
+p tp1 Aj1 ...jp (txh ) dt dxj1 dxjp
0

donde, en el u
ltimo termino del miembro de la derecha, se ha notado que
p

(1)r1 dxjr dxj1 dxjr1 dxjr+1 dxjp = p dxj1 dxjp (47)
r=1

Vamos ahora a aplicar el operador L a alguna (p + 1)-forma , siendo esta u

ltima dada por

= Bj1 ...jp+1 dxj1 dxp+1 (48)

donde de nuevo una vez m as se ha asumido que los coecientes Bj1 ...jp+1 estan denidos y son de la clase C 1
sobre el subconjunto abierto estrellado U . De acuerdo a la denici
on (43) de L se tiene que

p+1
 1 
r1 p h
L() = (1) t Bj1 ...jp+1 (tx ) dt xjr dxj1 dxjr1 dxjr+1 dxjp+1
r=1 0
p
 1 
r1 p h
= (1) t Bj1 ...jp+1 (tx ) dt xjr dxj1 dxjr1 dxjr+1 dxjp+1 (49)
r=1 0
 1 
+ (1)p tp Bj1 ...jp+1 (txh ) dt xjp+1 dxj1 dxjp
0

Subsecuentemente, en ambos terminos del miembro de la derecha se remplazan los ndices jp+1 por j y en el
primer termino movemos dxjp+1 = dxj de la posicion p a la primera posici
on. Ya que esto requiere (p 1)
intercambios, se obtiene entonces
p
 1 
p1 r1 p h
L() =(1) (1) t Bj1 ...jp j (tx ) dt xjr dxj dxj1 dxjr1 dxjr+1 dxjp
r=1 0
 1 
+ (1)p tp Bj1 ...jp j (txh ) dt xj dxj1 dxjp
0
(50)
Sin embargo, de (42) se tiene

Aj1 ...jp j1
d = (1)p dx dxjp dxjp+1 (51)
xjp+1
y as se puede hacer la identicaci
on
= d (52)

6
siempre y cuando
Aj1 ...jp
Bj1 ...jp jp+1 = (1)p (53)
xjp+1
en (48). Bajo estas circunstancias (50) se convierte en

p
 1 
r1 Aj1 ...jp (txh )
p
L(d) = (1) t j
dt xjr dxj dxj1 dxjr1 dxjr+1 dxjp
r=1 0 x
 1  (54)
Aj1 ...jp (txh )
+ tp j
dt xj dxj1 dxjp
0 x

Entonce, cuando (46) y (54) son a

nadidos se obtiene
 1
pAj1 ...jp (txh ) j p1
d(L()) + L(d) = t x +pt Aj1 ...jp (tx ) dt dxj1 dxjp
h
0 xj
 1
d p (55)
= [t Aj1 ...jp (txh )] dt dxj1 dxjp
0 dt
= Aj1 ...jp (xh ) dxj1 dxjp =

Esta es una identidad la cual es v alida para cualquier p-forma cuyos coecientes son de la clase C 1 en U ;
en particular, si d = 0 en U , se sigue de (55) que ( = d = 0 = L() = L(d) = 0 ver (44), (22) y (23) )

= d (56)

donde la (p 1)-forma esta dada por (43)

= L() (57)
As es exacta en U . Esto establece el siguiente teorema.
Teorema. (Inverso del Lema de Poincare). Sea U una regi on abierta de una variedad Mn , la cual
es estrellada con respecto a un punto P en Mn . Entonces toda p-forma cerrada cuyos coecientes estan
denidos y son de la clase C 1 en U es exacta en P .
El metodo anterior de prueba del teorema no s olo establece la existencia de la (p 1)-forma requerida,
sino tambien, de acuerdo a (57), indica un metodo por el que puede ser evaluado ( mediante (43) ) como
una (p 1)-forma con coecientes de la clase C 1 en U . Sin embargo, es inmediatamente obvio que (57) no
representa una solucion u nica. Por ejemplo, sea cualquier (p 2)-forma, por medio de la cual se puede
denir la (p 1)-forma a partir de la (p 1)-forma (57)

= + d (58)

= d, asi que (58) representa una clase de (p 1)-formas que satisfacen la condici
Claramente d on = d
.

3.3.4. Teorema de Stokes Generalizado

Se describe el teorema de Stokes generalizado que en el apendice A llamamos teorema de Green-Gauss-
Stokes, secci on A.2.6.8. Ya que el teorema de Stokes se concierne con la integraci
on de p-formas sobre regiones
p-dimensional, es necesario comenzar con la denici on de la integral de una p-forma. Sea D denotar una
on medible en nuestra variedad diferencial Mn , y vamos a suponer est
regi an dadas (n + 1) funciones escalares
f, 1 , . . . , n las cuales son de la clase C 1 en sus argumentos xh sobre D. Se puede escribir en virtud de (16)

(1 , . . . , n ) 1
d1 dn = dx dxn (59)
(x1 , . . . , xn )

7
De acuerdo es esto se formula la siguiente denicion
 
(1 , . . . , n ) 1
f d1 dn = f (xh ) dx dxn (60)
D D (x1 , . . . , xn )

donde en el miembro de la derecha se denota entendiendose una integraci on sobre la variedad Mn diferencial
en el sentido usual (para una denicion m
as rigurosa de integraci
on de formas diferenciales sobre variedades
diferenciales se recomienda revisar [Bishop & Goldberg,1980]). El valor de esta integral es independiente de
la escogencia del sistema de coordenadas, las cuales bajo una transformacion x j = xj (xh ), con jacobiano
positivo,
r r xh
= (61)
j
x xh x
j
tal que
(1 , . . . , n ) (1 , . . . , n ) (x1 , . . . , xn )
= (62)
x1 , . . . , xn )
( (x1 , . . . , xn ) (
x1 , . . . , x
n )

Procediendo de manera similar sobre subespacios de Mn , vamos a considerar una regi on medible D de
un subespacio p-dimensional, el cual esta representado parametricamente por funciones de la clase C 1 de la
forma
xj = xj (u ) ( = 1, . . . , p) (63)

en la que u denota los p par

ametros. Para cualquier conjunto de p funciones (xh ) de la clase C 1 denimos
por analoga con (60)
 
( 1 (xh (u )), . . . , p (xh (u )) ) 1
f d1 dp = f (xh (u )) du dup (64)
D D ( u1 , ........ , up )

donde se entiende que no est a implicada ninguna suma en p. Como arriba, se muestra f acilmente que el valor
de esta integral es independiente de la escogencia de la parametrizacion (63) de la regi on D.
Ahora si entraremos en la derivaci on del teorema de Stokes. Sea una region (region regular) (p + 1)-
dimensional de la variedad Mn (p + 1 n) la cual es estrellada relativa a alg un punto O en el interior de y
acotada por un subespacio cerrado (hipersupercie regular cerrada en la frontera) que es p-dimensional.
Se asume que esta u ltima est
a cubierta por un n umero nito de cartas vecinas U1 , U2 , . . ., Ui tales que
las correspondientes parametrizaciones son de la clase C 1 (entre ellas). Si u1 , . . . , up denota un conjunto de
parametros correspondiente a Ui , una regi on Bi de que esta determinada por un conjunto cerrado Bi en el
dominio Rp de las variables u1 , . . . , up . La regi
on Bi esta representada parametricamente por las ecuaciones

j = j (u ) u B ( = 1, . . . , p) (65)

donde las j se reere a un sistema especial de coordenadas de Mn cuyo origen esta localizado en O. Por
hip
otesis, el conjunto de puntos

C(Bi ) = { t j (u ) | 0 t 1, u Bi } (66)

dene una region (p + 1)-dimensional de Mn la cual esta contenida enteramente en (t viene a ser como una
especie de coodenada u0 como se vera mas adelante. Los par ametros u cubren la frontera , mientras t,

u , 0 t < 1, cubre el interior de ).
Sea f ( h ) denotar las (p + 1) funciones diferenciables las cuales son asumidas homogeneas de grado
1 en sus argumentos

f (t h ) = t f ( h ) para todo t0 ( = 0, 1, . . . , p) (67)

8
Ya que las (p + 1) variables t, u pueden ser obviamente utilizadas para denir una parametrizaci
on de C(B),
tenemos, de acuerdo a la denici on (64)
 
0 1 p ( f 0 (t h (u )), f 1 (t h (u )), . . . , f p (t h (u )) )
df df df = dt du1 dup (68)
C(Bi ) C(Bi ) ( t, u1 , .... .... , up )

Denamos ahora las funciones

g (u ) = f ( h (u )) ( = 0, 1, . . . , p ; = 1, . . . , p) (69)

asi que por (67)

f (t h (u )) = t g (u ) (70)
de donde se sigue que
f (t h (u )) f (t h (u )) g
= g (u ) = t (71)
t u u
Entonces el determinante funcional en el integrando de (68) se convierte en
 0 
 g g1 gp 
 
 
 g 0 g 1 g p 
 p
(g 0 , g 1 , . . . , g 1 , g +1 , . . . , g p )
p  
t  u1 u1 u1  = tp (1) g (72)
 . .. .. ..  (u1 , ... ... , up )
 .. . =0
 0 . . 
 g
 p g 1 g p 

u up up

despues de la expansion en terminos de los elementos de la primera la. Excepto por el factor tp , esta
nicamente de las p variables u , y as (68) puede ser escrita en la forma
expresion depende u
 p
 1 
(g 0 , g 1 , . . . , g 1 , g +1 , . . . , g p )
df 0 df 1 df p = (1) tp dt g du1 dup
C(Bi ) =0 0 Bi (u1 , ... ... , up )
p 
1
= (1) g dg 0 dg 1 dg 1 dg +1 dg p (73)
p + 1 =0 Bi

donde, en el u
ltimo paso, hemos usado la formula general (64).
La relacion (73) es la f
ormula integral que se mantiene para cualquier conjunto de (p + 1) funciones
f ( h ) satisfaciendo la condicion (67). Esta u
ltima se mantendr
a si, en particular, se coloca

f ( h ) = +1 = g ( = 0, . . . , p) (74)

de manera que (73) se reduce a

 p+1 
1
d 1 d p+1 = (1)+1 d 1 d 1 d +1 d p+1 (75)
C(Bi ) p + 1 =1 Bi

Por hip otesis, la frontera de puede ser considerada como la union de las regiones B1 , B2 , . . ., Bi ,
lo cual corresponde a las coordenadas de las cartas vecinas U1 , U2 , . . ., Ui , respectivamente, tal que ninguna
de las B1 , B2 , . . ., Bi tienen puntos interiore en com
un.La regi
on estrellada consiste entonces de la union

9
de C(B1 ), C(B2 ), . . ., C(Bi ), para cada una de las cuales una f
ormula del tipo (75) es valida. A
nadiendo
 
esto u
ltimo ( = i C(Bi ), = i Bi ), se obtiene

 p+1 
1
d 1 d p+1 = (1)+1 d 1 d 1 d +1 d p+1 (76)
p + 1 =1

Vamos ahora a introducir una transformacion de coordenadas uniparametrica j = xj ( h , ) con un

jacobiano no nulo. el cual es tal que la transformaci
on inversa puede ser expesada en la forma

j = xj + j (xh ) (77)

donde las funciones j (xh son de la clase C 1 sobre , pero de cualquier forma arbitrarias. De paso notamos
que
j j j
= h + (78)
xh xh
tal que, para valores de sucientemente peque nas, el jacobiando de (77) es de hecho positivo sobre .
Cuando (77) se substituye en (76), el termino de la izquierda de este u
ltimo se convierte en

(dx1 + d1 ) (dxp+1 + dp+1 ) (79)

en el cual el coeciente de potencia p+1 es


d1 dp+1 (80)

Por otra parte, el termino de la derecha de (76) se convierte, despues de la subtituci

on de (77), en

p+1 
1
(1)+1 (x+ ) (dx1+d1 ) (dx1+1 )(dx+1++1 ) (dxp+1+p+1 ) (81)
p + 1 =1

en el que el coeciente de la potencia p+1 es

p+1 
1
(1)+1 d1 d1 d+1 dp+1 (82)
p + 1 =1

Entonces una comparacion entre (80) y (82) da

 p+1

(p + 1) d1 p+1 = (1)+1 d1 d1 d+1 p+1 (83)
=1

Esta formula integral es valida para cualquier conjunto de (p + 1) funciones (xj ) de clase C 1 . En
particular, con p+1 = 1, tenemos dp+1 = 0, y el u nico termino sobreviviente en (83) esta en el miembro de
la derecha, este termino corresponde a el valor = p + 1. Por lo tanto se inere que

d1 dp = 0 (84)

para cualquier conjunto de p funciones 1 , . . . , p .

10
 Returnando a la f ormula m as general (83), consideremos, por ejemplo, los primeros dos terminos del
miembro de la derecha, los cuales son

1 d2 d3 dp+1 = 0 (85)

y 
2 d1 d3 dp+1 = 0 (86)

respectivamente. Ya que 1 y 2 son 0-formas, la expresion (86) puede ser escrita en la forma
 
1 d2 d3 dp+1 d(1 2 ) d3 dp+1 (87)

No obstante, de (84) se sigue que la segundaa integral del miembro de la derecha de (87) se anula
identicamente, y de acuerdo a una comparaci on de (85) con (87) indica que los primeros dos terminos de la
suma en (83) son identicos. Por simetra, es obvio que todos los terminos de esta suma tienen el mismo valor,
y, ya que son p + 1 tales terminos, se sigue que (83) es equivalente a
 
1 p+1
d d = 1 d2 d3 dp+1 (88)

Claramente esta formula integral es valida para cualquier conjunto de (p + 1) funciones 1 , . . . , p+1 de clase
C1.
Vamos ahora a denir una p-forma colocando

= 1 d2 d3 dp+1 (89)

asi que
d = d1 d2 dp+1 (90)

Ademas, por una apropiada selecci on de 1 , . . . , p+1 , cualquier p-forma cuyos coecientes sean funciones
h
continuas de x , puede ser expresada en la forma (89), o como combinacion lineal de tales formas. La
substituci
on de (89) y (90) en (88) por lo tanto resulta en el siguiente teorema
Teorema. (Stokes generalizado). Sea una regi on (p + 1)-dimensional de la variedad Mn , estrellada
respecto a un punto interior O, la frontera de siendo un subespacio p-dimensional admitiendo una rep-
resentacion parametrica de la clase C 1 . Entonces, para cualquier p-forma denida sobre con coecientes
continuamente diferenciables,  
d = (91)

[Lovelock & Rund,1989].

Una ampliaci
on de este teorema es la aplicacion de la integral sobre a la regla de la derivada exterior
del producto de dos formas (31). Esto es,
  
p
= d + (1) d (92)

donde en el miembro de la izquierda se ha aplicado el teorema de Stokes (91) recien obtenido. Ente nuevo
resultado sera el equivalente al teorema de Green para formas diferenciales [Bishop & Goldberg,1980].

11