Teorema de Stokes

1. Simplejos y cadenas
Un simplejo de dimensin p, o p-cubo singular, denido en un abierto U de Rn , con 1 p n es una aplicacin del cubo unidad [0, 1]p de Rp en U que admite una extensin diferenciable con continuidad en algn abierto V de Rp que contenga a [0, 1]p . Los simplejos de dimensin uno se denominan curvas regulares de Rn . Poniendo [0, 1]0 := {0}, llamaremos simplejo de dimensin 0 a cualquier aplicacin : [0, 1]0 U , o sea, a cualquier punto de U. La aplicacin In : [0, 1]n Rn denida por In (x) = x para cada x [0, 1]n es claramente un simplejo de dimensin n llamado n-cubo unidad ya que es la restriccin a [0, 1]n de la identidad idRn sobre Rn . Si i , 1 i m, son p-cubos P singulares en U, cualquier expresin de la forma = m ai i con ai {1, 1} se llama i=1 una p-cadena en U. Ejemplo 1. En U = R2 consideremos los cuatro simplejos siguientes 1 (x, y) = (0, y), 2 (x, y) = (1, y), 3 (x, y) = (x, 0), 4 (x, y) = (x, 1)

y sea la p-cadena 1 + 2 + 3 4 , que representaremos como indica la gura siguiente.

Dado el n-cubo unidad In se dene la (n 1)-cadena In , llamada frontera de In , de la manera siguiente. Para 1 i n se denen los (n 1)-cubos Ii,0 e Ii,1 por n n Ii,0 x1 , ..., xn1 = In x1 , ..., xi1 , 0, xi , ..., xn1 = x1 , ..., xi1 , 0, xi , ..., xn1 n Ii,1 x1 , ..., xn1 = In x1 , ..., xi1 , 1, xi , ..., xn1 = x1 , ..., xi1 , 1, xi , ..., xn1 n

para x = (x1 , ..., xn1 ) [0, 1]n1 . Notemos que Ii,a , con a {0, 1}, coloca a en la n posicin i-sima; en particular si i = 1 lo pone en la primera y si i = n en la n-sima. Para n = 2 se tiene que I1,0 (y) = I2 (0, y) = 1 (x, y), I1,1 (y) = I2 (1, y) = 2 (x, y), 2 2
1

TEOREMA DE STOKES

I2,0 (x) = I2 (x, 0) = 3 (x, y), I2,1 (x) = I2 (x, 1) = 4 (x, y). Por razones obvias, se llama a 2 2 Ii,0 la (i, 0)-cara de In y a Ii,1 la (i, 1)-cara de In . Se dene formalmente n n In =
n XX i=1

j=0,1

(1)i+j Ii+j . n

La gura anterior representa precisamente la frontera de I2 . En general, para un n-cubo singular en U , se dene la frontera de por =
n XX i=1

j=0,1

(1)i+j Ii,j . n

Notar que puesto que Ii,j [0, 1]n1 [0, 1]n , entonces Ii,j : [0, 1]n1 U. Si es una n P P n n-cadena de la forma = m ai i , se dene = m ai i . i=1 i=1

2. Integracin de formas diferenciales en cadenas

Si es una forma diferencial de grado n denida en un abierto U de Rn tal que [0, 1]n U , su expresin cannica es de la forma (x) = h(x) dx1 dx2 ... dxn , donde h : U R es una aplicacin de clase C 1 en U. Se dene entonces Z Z = h x1 , ..., xn dx1 dx2 ... dx2 .
[0,1]n [0,1]n

Si es una forma diferencial de grado p < n denida en un abierto U de Rn y es un p-cubo en U , es decir, una aplicacin de clase C 1 de un entorno abierto V de [0, 1]p en Rp , en U , entonces es una forma diferencial de grado p denida en V Rp , por lo que en este caso se dene Z Z = .
[0,1]p

Si la forma diferencial es de grado n se verica en particular que Z Z Z = Ip = .

In [0,1]n [0,1]n

P Finalmente, si = m ai i es una p-cadena en U Rn y es una forma diferencial i=1 de grado p denida en U, se pone Z m X Z = ai .
i=1 i

Para p = 1, si es un 0-cubo en U y f es una 0-forma denida en U , se dene Z f = f (0).

TEOREMA DE STOKES

En particular, si U es un abierto de Rp , es un p-cubo en U de frontera y es una forma de grado p 1 denida en U, se tiene que Z Z p 1 XX i+j = (1) .
i=1 j=0 Ii,j p

Teorema 1 (Stokes). Si es una forma diferencial de grado p 1 y de clase C 1 en un abierto U de Rp y es una p-cadena en U, entonces se verica que Z Z d = .

Proof. Supongamos primero que = Ip y que es una forma diferencial de grado p 1 denida en un entorno abierto V de [0, 1]p en Rp . Entonces dim p1 (Rp ) = p y por ello la expresin cannica de es suma de p formas de grado p1 del tipo f dxi1 dxi2 ...dxip1 con 1 i1 < i2 < ... < ip1 p y f : V R de clase C 1 . Ahora bien, Z
Ip

f dx dx ... dx
p 1 XX j=1 k=0

i1

i2

ip1

(1)j+k

Notemos que Ij,k (f dxi1 dxi2 ... dxip1 ) es una forma diferencial de grado p 1 p denida en un abierto W de Rp1 que contiene a [0, 1]p1 . Probaremos a continuacin que j,k Ip f dxi1 dxi2 ... dxip1 = 0 si j {i1 , i2 , ..., ip1 } .

p 1 XX j=1 k=0

(1)

j+k

Ij,k p

f dxi1 dxi2 ... dxip1 =

[0,1]p1

j,k Ip f dxi1 dxi2 ... dxip1 .

Luego si j = im para algn valor de m con 1 m p 1, entonces 1 1 j1 j p1 j1 j p1 dxim vr , ..., vr , 0, vr , ..., vr = dxj vr , ..., vr , 0, vr , ..., vr =0

En efecto, si v = (v1 , v2 , ..., vp1 ) es un vector de Rp1 expresado en la base cannica y x [0, 1]p1 , entonces j,k DIp (x) v = Ij,0 (v) = v1 , ..., vj1 , 0, vj , ..., vp1 p si j p 1, independientemente de si k = 0 o k = 1, mientras que DIj,k (x) v = p 1 2 p1 (v1 , v2 , ..., v p1 , 0) si j = p, sea k = 0 o k = 1. De modo que si vr = (vr , vr , . . . , vr ), con 1 r p 1, son vectores de Rp1 , h i Ij,k f dxi1 dxi2 ... dxip1 (x) (v1 , v2 , ..., vp1 ) = p 1 j1 j p1 v1 , ..., v1 , 0, v1 , ..., v1 , ..., f Ij,k (x) dxi1 dxi2 ... dxip1 p 1 j1 j p1 vp1 , ..., vp1 , 0, vp1 , ..., vp1 .

TEOREMA DE STOKES

para 1 r p 1, por lo que 1 j1 j p1 dxi1 ... dxim ... dxip1 v1 , ..., v1 , 0, v1 , ..., v1 , ..., 1 j1 j p1 vp1 , ..., vp1 , 0, vp1 , ..., vp1 = v 1 ... vim 1 0 v im ... vp1 1 1 1 1 ... ... ... ... ... = 0 ... ... 1 p1 im 1 im vp1 ... vp1 0 vp1 ... vp1 h i Ij,k f dxi1 dxi2 ... dxip1 (x) (v1 , ..., vp1 ) = 0. p Por otro lado, si 1 j p es tal que j 6= im para 1 m p 1, entonces 1 j1 j p1 i dxim vr , ..., vr , 0, vr , ..., vr = vrm = dxim (vr ) para 1 r p 1 y 1 m p 1. Por tanto, Z f dx ... dx
i1 ip1

por tener una columna de ceros. En consecuencia, en este caso

Ip

k=0,1

(1)

s+k

[0,1]

p1

f Is,k (x) dxi1 dxi2 ... dxip1 p

donde s es el nico ndice del conjunto {1, 2, ..., p} \ {i1 , i2 , ..., ip1 }. Por otra parte, como es sabido Z
p X i1 ip1 d f dx ... dx =

Ip

(1)s1

j=1

Ip

Dj f (x) dxj dxi1 dxi2 ... dxip1 =

Ip

Ds f (x) dxi1 ... dxs ... dxip1

ya que si j coincide con algn ndice im con 1 m p 1, entonces dxj dxim = 0. De manera que Z d f dxi1 ... dxip1 = (1)s+1 (1)s+1
s+1

Ip

(1)

[0,1]p

Ds f x1 , x2 , ..., xp dxs dxi1 ... dxip1 = dx ... dx

i1 ip1

Ip

Ds f (x) dxi1 ... dxs ... dxip1 =

[0,1]p1

Ds f x1 , x2 , ..., xp dxs

TEOREMA DE STOKES

en virtud del teorema de Fubini. Por consiguiente, Z d f dxi1 ... dxip1 = (1)s+1 Z Z
Ip [0,1]p1

[0,1]p1

k=0,1

(1) X
Ip

s+k

1 i1 i2 s1 s p ip1 = f x , ..., x , 0, x , ..., x dx dx ... dx Z

[0,1]p1

f x1 , ..., xs1 , 1, xs , ..., xp dxi1 dxi2 ... dxip1 f x1 , ..., xs1 , k, xs , ..., xp dxi1 dxi2 ... dxip1 = Z
[0,1]
p1

k=0,1

(1)

s+k

f Is,k (x) dxi1 dxi2 ... dxip1 . p Z

Por tanto,

de donde se deduce que (2.1)

f dx ... dx

i1

ip1

Ip

d f dxi1 ... dxip1 , d.

Ip

Ip

Pero como es una forma diferencial de grado p 1 denida en algn entorno abierto del cubo unidad de Rp , se tiene que Z Z p 1 XX j+k = (1) =
Ip j=1 k=0 Ij,k p p 1 XX j=1 k=0

En general, si es un simplejo arbitrario en U de dimensin p y es una forma de grado p 1 denida en U, se tiene que Z Z Z p p 1 1 XX XX j+k j+k = (1) = (1) Ij,k . p
j=1 k=0 Ij,k p j=1 k=0 [0,1]p1

(1)

j+k

ya que Ij,k ( ) = Ij,k . En efecto, habida cuenta que DIj,k (x) = Ij,0 para p p p p cada x [0, 1]p1 , si u1 , ..., up1 es una (p 1)-tupla de vectores de Rp1 , se cumple que i h j,k ( ) (x) (u1 , ..., up1 ) = Ip j,k j,k ( ) Ip (x) DIp (x) u1 , ..., DIj,k (x) up1 = ( ) Ij,k (x) Ij,0 u1 , ..., Ij,0 up1 = p p p p Ij,k (x) D Ij,k (x) Ij,0 u1 , ..., D Ij,k (x) Ij,0 up1 = p p p p p j,k j,k j,k Ip (x) D Ip (x) u1 , ..., D Ip (x) up1 = Ij,k (x) (u1 , ..., up1 ) p

[0,1]p1

p 1 XX j,k ( ) = (1)j+k Ip j=1 k=0

[0,1]p1

Ij,k p

TEOREMA DE STOKES

ya que, en virtud de la regla de la cadena, D Ij,k (x) = D Ij,k (x) DIj,k (x) = D Ij,k (x) Ij,0 . p p p p p X (1)
j+k

En consecuencia, se verica Z X =
Ip

1jp

k=0,1

[0,1]p1

Ij,k = p

Usando esta ltima relacin y la ecuacin (2.1), resulta Z Z Z Z Z d = (d) = d ( ) = d ( ) =

[0,1]p [0,1]p Ip

Ip

Finalmente, si =

1im

ai i es una p-cadena en U , entonces

m X i=1

d =

ai

d =

m X i=1

ai

Notemos que en el caso de que sea p = 1 la vericacin del teorema es inmediata, pues si es un simplejo de dimensin uno y es una funcin f de clase C 1 en U, entonces se cumple que Z Z Z 1 Z 1 d = df = ( df ) (t) dt = D (f ) (t) dt = f ( (1)) f ( (0)) =
0 0 1 1 XX 1,1 1,0 j,k (1)j+k f I1 (0) = f I1 (0) f I1 (0) = j=1 k=0 1 1 XX j=1 k=0

(1)

j+k

f=

j,k I1

Esto completa la prueba. Ejemplo 2. Consideremos la forma diferencial de primer grado = (2x y) dxyz 2 dy y 2 z dz denida en R3 y el simplejo : [0, 1]2 R3 dado por (u, v) = sin u cos 2v, sin u sin 2v, cos u 2 2 2 R es decir, la semiesfera superior de radio unidad y centro el origen, vamos a evaluar d haciendo uso del teorema de Stokes. De hecho, I1,0 (t) = (0, t) = (0, 0, 1), I1,1 (t) = (1, t) = (cos 2t, sin 2t, 0 ), 2 2 I2,0 (t) = (t, 0) = sin t, 0, cos t , I2,1 (t) = (t, 1) = sin t, 0, cos t . Ahora, 2 2 2 2 2 2 R como I1,0 es constante en el intervalo [0, 1] es obvio que I1,0 = 0; mientras que, 2
2

TEOREMA DE STOKES

debido a que Z

I2,0 2

= =

= Z
1 0

I2,1 2

I1,1 2

En consecuencia, como d = (2x 1) dxdy2yz dzdy2yz dydz = (1 2x) dxdy, se obtiene Z Z d = (1 2x) dx dy = .

d cos 2t = 2 x I1,1 (t) y I1,1 (t) 2 2 dt Z 1 (2 cos 2t sin 2t) (2 sin 2t) dt = .
0

y z I1,1 (t) = 0 para 0 t 1, se concluye que 2 Z 1 = I1,1 (2x y) dx yz 2 dy y 2 z dz = 2

0