UNI- F IEE M ATEMTICA III

T EOREMA DE S TOKES
El teorema de Stokes es muy importante en cuanto relaciona a una inte-
gral de lnea con una de superficie. Considerado una generalizacin teo- z

rema de Green, este teorema permite elegir en relacin a una sencillez

n
de clculo entre integrar un campo vectorial con una integral de lnea
o a travs de una integral de superficie aplicada al rotacional del mis- n

mo.
S
Para enunciar este teorema es necesario tener en cuenta la orientacin posi-
tiva de la curva que a su vez constituye la frontera de la superficie S. Esta C
y
orientacin va ser inducida por la de la superficie que est limitando. De
esta manera en caso que uno se dirigiese alrededor de la curva C con una
orientacin positiva con la cabeza apuntando en la direccin de la normal a x
la superficie siempre estar a la izquierda de uno.
S (n),

Teorema 1 Sea S una superficie paramtrica simple con borde S, parametrizada por : D S donde D
es la regin interior a una curva simple cerrada simple C regular a pedazos en R2 orientada positivamente,
y S = (C ) se supone orientada en el sentido que resulte de componer C con . Sea F un campo vectorial
de clase C1 definido en un entorno abierto de S en R2 , y con valores en R3 . Entonces se tiene:
Z ZZ
~F d~r = rot~F d~S
S
S

Con los conocimientos anteriormente adquiridos podemos deducir que, si ~r (u, v) es una parametrizacin re-
gular de la superficie, y ~F = ( P, Q, R) es el campo vectorial sobre el cual se requiere calcular la integral de
lnea, entonces se obtiene lo siguiente:
 
r r
d~S = ndS
= dudv
u v
 
 i
 j k       
R Q P R Q P
rot~F =  x
 
y z  = i + j + k
 y z z x x y
 P Q R
 
Adems si desarrollamos la expresin u r
v
r
obtenemos:
 
   i j k       
r r  x y z  y z z y z x x z x y y x
=  u u u  = i+ j+ k
u v  x y z  u v u v u v u v u v u v
 
v v v

Recordando la definicin de Jacobiano de x e y con respecto a u y v:

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

La expresin se reduce a:  
r r (y, z) (z, x ) ( x, y)
= i+ j+ k
u v (u, v) (u, v) (u, v)
De aqu que la expresin del teorema de Stokes se convierte en:
Z Z       
R Q (y, z) P R (z, x ) Q P ( x, y)
Z
Pdx + Qdy + Rdz = + + dudv
S y z (u, v) z x (u, v) x y (u, v)
D

CICLO 2011-3 1 Luighi A. Vitn Zorrilla

UNI- F IEE M ATEMTICA III

En caso de que la parametrizacin escogida est en funcin de x y y, entonces la expresin se reduce a:

Z ZZ      
R Q z P R z Q P
Pdx + Qdy + Rdz = + dxdy
S y z x z x y x y
S

Si la curva se encontrase en una superficie plana paralela a uno de los planos coordenados, por ejemplo al
plano xy, nos conducir a la expresin que conocemos como el teorema de Green:
Z ZZ  
Q P
Pdx + Qdy = dxdy
S x y
S

D EMOSTRACIN
La demostracin de este teorema se reduce a comprobar las siguientes igualdades:
ZZ  
P ( x, y) P (z, x )
Z
Pdx = + dudv
S y (u, v) z (u, v)
D
ZZ  
Q (y, z) Q ( x, y)
Z
Qdy = + dudv
S z (u, v) x (u, v)
D
ZZ  
R (z, x ) R (y, z)
Z
Rdz = + dudv
S x (u, v) y (u, v)
D

Como las tres igualdades tienen la misma estructura entonces solo ser necesario demostrar una de ellas. De
esta manera, nos centraremos en la primera expresin:
ZZ  
P ( x, y) P (z, x )
Z
Pdx = + dudv
S y (u, v) z (u, v)
D

Denotando f (u, v) = P( x (u, v), y(u, v), z(u, v)) podemos obtener:
f P x P y P z
= + +
u x u y u z u
f P x P y P z
= + +
v x v y v z v
Ahora tambin:
f x f x P ( x, y) P (z, x )
= +
u v v u y (u, v) z (u, v)
Adems:    
x x f x f x
f f =
u v v u u v v u
Combinado adecuadamente las ecuaciones podemos llegar a la siguiente igualdad:
ZZ  
P ( x, y) P (z, x ) f x f x
ZZ
+ dudv =
y (u, v) z (u, v) u v v u
D D

Aplicando el teorema de Green en esta expresin se obtiene:

f x f x
ZZ Z
x x
= f du + f dv
u v v u C u v
D

Sea = (u(t), v(t)), t [ a, b], una parametrizacin de C R2 recorrida en sentido positivo, entonces
= ( x, y, z) donde x = x (u(t), v(t)), y = y(u(t), v(t)), z = z(u(t), v(t)), t [ a, b] es una parametrizacin
admisible de S, y
Z b Z b  
d x du x dv
Z Z
x x
Pdx = P( x, y, z) x (u(t), v(t))dt = P( x, y, z) + dt = f du + f dv
S a dt a u dt v dt C u v

CICLO 2011-3 2 Luighi A. Vitn Zorrilla

UNI- F IEE M ATEMTICA III

Comparando las ecuaciones encontradas podemos llegar a comprobar la expresin del teorema de Stokes:
ZZ  
P ( x, y) P (z, x )
Z
Pdx = + dudv
S y (u, v) z (u, v)
D

Para las otras expresines se sigue un proceso similar quedando finalmente demostrado este teorema al sumar
las tres ecuaciones.

B IBLIOGRAFA
C LCULO : C ONCEPTOS Y CONTEXTOS . James Stewart.

Recursos en internet:
http://www.mat.ucm.es/ dazagrar/docencia/cap13.pdf

CICLO 2011-3 3 Luighi A. Vitn Zorrilla