Beruflich Dokumente
Kultur Dokumente
El diferencial exterior
1. El diferencial exterior
En este captulo estudiaremos el operador diferencial de formas en Rn ,
as como su relaci
on con el producto exterior y el levantamiento, estudiados
en el captulo anterior.
Demostraci on. Las primeras dos partes se siguen de la definicion del di-
ferencial y las propiedades de la derivada en Rn . La tercera se sigue de la
regla de la cadena y de la definicion del cambio de coordenadas h aplicado
a la 1-forma df . Dejamos los detalles al lector (ejercicio 1).
151
152 8. El diferencial exterior
La siguiente proposici
on enumera las propiedades b
asicas del diferencial.
on 8.6. Sean y formas diferenciales en Rn , ambas diferen-
Proposici
ciables.
1. Si y son k-formas, d( + ) = d + d.
1. El diferencial exterior 153
Notamos que la parte (2) de esta proposicion solo depende del orden de
y no del de . Las partes (3) y (4) son de importancia fundamental en la
teora de integraci
on de formas que estudiaremos en el siguiente captulo.
I,J
donde hemos usado la proposicion 7.23 para cambiar el orden del producto
I
dJ dx , adem
as de la proposici
on 8.2 para calcular d(I J ).
La tercera parte tambien la verificaremos explcitamente. Sea
X
= I dxI
I
y entonces
F = F 1 dy dz F 2 dx dz + F 3 dx dy.
Por lo tanto
F 1 F 2 F 3
d(F ) = + + dx dy dz.
x y z
As que
F 1 F 2 F 3
div(F ) = + + ,
x y z
formula que ya haba aparecido en la primera secci on de este captulo. En
general,
Xn
div(F ) = Di F i ,
i=1
para un campo F definido en Rn (ejercicio 6).
3. El lema de Poincar
e
Sea una forma diferencial definida en un conjunto abierto U Rn ,
con cada componente diferenciable en U .
Definicion 8.11. Decimos que es cerrada si d = 0. Decimos que es
exacta si existe una forma diferencial , diferenciable, definida en U tal que
= d.
d(F f ) = d(f F ) = f dF = d,
lm F (x, y) lm F (x, y) = 2.
y0 y0+
I = (i1 , . . . , i1 , i+1 , . . . , ik ).
3. El lema de Poincare 159
Ahora bien,
Z 1 n
X Z 1
i k1 i
d x t I (tx)dt = Dj x tk1 I (tx)dt dxj
0 j=1 0
Z 1
= tk1 I (tx)dt dxi
0
n
X Z 1
i
+ x tk Dj I (tx)dt dxj ,
j=1 0
as que
k
XX Z 1
1
d() = (1) tk1 I (tx)dt dxi dxI
I =1 0
k
XX n
X Z 1
1 i
+ (1) x tk Dj I (tx)dt dxj dxI
I =1 j=1 0
X Z 1
= k tk1 I (tx)dt dxI
I 0
k X
XX n Z 1
1 i
+ (1) x tk Dj I (tx)dt dxj dxI ,
I =1 j=1 0
Entonces
n
XX Z 1
j
(d) = x tk Dj I (tx)dt dxI
I j=1 0
k
X Z 1
i
+ (1) x tk Dj I (tx)dt dxj dxI .
=1 0
Por lo tanto
d() + (d)
X Z 1 n
X Z 1
k1 j
= k t I (tx)dt + x tk Dj I (tx)dt dxI
I 0 j=1 0
XZ 1
d k X
t I (tx) dt dxI = I (x) dxI = .
=
0 dt
I I
x0
wI (x)dxI ,
P
Definimos entonces, para una k-forma = I
k Z 1
XX d i
(8.4) (x) = 1
(1) I (Ht (x)) H (x)dHtI (x)dt.
0 dt t
I =1
Z 1 d
= I (Ht (x)) (dHti (x)) dHtI (x) dt
0 dt
Z 1X n X n
d
+ Dl I (Ht (x))Dj Htl (x) Hti (x)dxj dHtI (x) dt,
0 dt
j=1 l=1
donde, en la tercera identidad, hemos utilizado tanto la regla de la cadena
para calcular cada derivada parcial Dj (I (Ht (x))), como el hecho que H es
d
C 2 para intercambiar Dj con . Entonces
dt
d(x) =
k
XX Z 1 d
(1) 1
I (Ht (x)) (dHti (x)) dHtI (x) dt
0 dt
I =1
Z n X
1 X n
d i
+ Dl I (Ht (x))Dj Htl (x) Ht (x)dxj dHtI (x) dt .
0 dt
j=1 l=1
Sin embargo,
k d
X d
(1)1 (dHti (x)) dHtI (x) = dHtI (x)
=1
dt dt
(ejercicio 12). Tambien
n
X
Dj Htl (x)dxj = dHtl (x),
j=1
XZ 1
d
d(x) + d = I (Ht (x)) dH I (x)dt+
0 dt t
I
n Z 1
XX d
Dl I (Ht (x)) Htl (x)dHtI dt.
0 dt
I l=1
Como
d
I (Ht (x))dHtI (x) =
dt
n
d X d
I (Ht (x)) dHtI (x) + Dl I (Ht (x)) Htl (x)dHtI ,
dt dt
l=1
Ejercicios
1. Demuestra la proposici
on 8.2.
2. Calcula el diferencial exterior de las siguientes formas en R4 .
a) = (x2 + x3 + x4 )2 dx1 ;
b) = x3 x4 dx1 dx4 x1 x2 dx3 dx4 ;
c) =