UNI- F I E E M ATEMÁTICA III

 I II

T EOREMA DE S TOKES
El teorema de Stokes es muy importante en cuanto relaciona a una inte-
gral de línea con una de superficie. Considerado una generalización teo-
rema de Green, este teorema permite elegir en relación a una sencillez
de cálculo entre integrar un campo vectorial con una integral de línea
o a través de una integral de superficie aplicada al rotacional del mis-
mo.

Para enunciar este teorema es necesario tener en cuenta la orientación posi-

tiva de la curva que a su vez constituye la frontera de la superficie  S . Esta
orientación va ser inducida por la de la superficie que está limitando. De
esta manera en caso que uno se dirigiese
dirigiese alrededor
alrededor de la curva  C  con una
orientación positiva con la cabeza apuntando en la dirección de la normal a
n̂ˆ ), la superficie siempre estará a la izquierda de uno.
S (n

Teorema  1 simple con borde ∂S, parametrizada por Φ :  D → S donde D

Sea S una superficie paramétrica simple
es la región 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 C 1 definido en un entorno abierto de S en R2 , y con valores en R3 . Entonces se tiene:
    
F · dr  =
    
     rotF · dS
         

∂S
S

Con los conocimientos anteriormente adquiridos podemos deducir que, si r(u, v) es una parametrización re-     

gular de la superficie, y F = ( P, Q, R)  es el campo vectorial sobre el cual se requiere calcular la integral de
    

línea, entonces se obtiene lo siguiente:

 ∂r ∂r

dS  = nn̂ˆ dS  =
    
× dud v
∂u ∂v

k̂ˆ  
 iîˆ  jˆ
 
k 
rotF  = 
    
∂
∂x
∂
∂ y
∂
∂ z
 = ∂R ∂Q  î ˆi +  ∂P − −
  ∂Q
∂ R  ˆ
 j + −

∂ P  k̂
 ˆk  
 P ∂ y ∂ z ∂ z ∂x ∂x ∂ y
Q R

Además si desarrollamos la expresión

  ∂r
×
∂r
 obtenemos:
∂u ∂v

k̂ˆ  
 ∂r   iîˆ  jˆ k 
    ∂ z ∂x   ∂x ∂ y 
∂r ∂x ∂ y ∂ z  = ∂ y ∂ z ∂ z ∂ y  î ˆ ∂ x ∂ z  ˆ ∂ y ∂ x  k̂
 ˆk  
×  =  − i + −  j + −
 ∂u ∂u ∂u
∂u ∂v
 ∂x
∂v
∂ y
∂v
∂ z
∂v
 ∂u ∂v ∂u ∂v ∂u ∂ v ∂ u ∂v ∂u ∂v ∂u ∂ v

Recordando la definición de Jacobiano de  x  e  y con respecto a u y  v :

∂( x, y)
 ∂x ∂x
 ∂x ∂ y ∂ y ∂ x
= ∂u ∂v  = ∂u ∂v −
∂ y ∂ y
∂ ( u, v ) ∂u ∂ v
 ∂u ∂v

La expresión se reduce a:
∂ ( y, z) ˆ ∂ ( z, x) ˆ  ∂ ( x, y) ˆ
 ∂r ∂r

×  = iî +  j + k 
k̂ 
∂u ∂v ∂ ( u, v ) ∂ ( u, v ) ∂ ( u, v )
De aquí que la expresión del teorema de Stokes se convierte en:
      ∂R ∂Q
 ∂( y, z)  ∂P ∂ R  ∂ ( z, x )
  ∂Q ∂ P  ∂ ( x, y)
 
Pdx + Qd y + Rd z  = −  + −  + − dud v
∂S ∂ y ∂ z ∂ ( u, v ) ∂ z ∂ x ∂ ( u, v ) ∂x ∂ y ∂(u, v)
D

CICLO 2011-3 1 Luighi A. Vitón Zorrilla

UNI- F IEE M ATEMÁTICA III

En caso de que la parametrización escogida esté en función de  x  y  y, entonces la expresión se reduce a:
      ∂R ∂Q
 ∂ z  ∂P 
∂ R  ∂ z  ∂ Q ∂P

Pdx + Qd y + Rd z  = − − − −  + − dxd y
∂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 expresión que conocemos como el teorema de Green:
     ∂Q ∂P

Pdx + Qd y  = − dxd y
∂S ∂x ∂ y
S

D EMOSTRACIÓN
La demostración de este teorema se reduce a comprobar las siguientes igualdades:
∂ P ∂( x, y)  ∂ P ∂( z, x)
     
Pdx  = −  + dudv
∂S ∂ y ∂(u, v) ∂ z ∂(u, v)
D
∂Q ∂( y, z)  ∂ Q ∂( x, y)
     
Qd y  = −  + dudv
∂S ∂ z ∂(u, v) ∂ x ∂ ( u, v )
D
∂ R ∂( z, x)  ∂ R ∂( y, z)
     
Rd z  = −  + 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 expresión:
∂ P ∂( x, y)  ∂ P ∂( z, x)
     
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 también:
∂ f  ∂ x ∂ f  ∂ x ∂ P ∂( x, y) ∂ P ∂( z, x )
− = −  +
∂u ∂ v ∂v ∂u ∂ y ∂( u, v) ∂ z ∂( u, v)
Además:   ∂ 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:
∂ P ∂( x, y)  ∂ P ∂( z, x )
      ∂ f  ∂x ∂ f  ∂ x
−  + dudv  = −
∂ y ∂(u, v) ∂ z ∂(u, v) ∂u ∂v ∂v ∂u
D D

Aplicando el teorema de Green en esta expresión se obtiene:

  ∂ f  ∂x ∂ f  ∂ x
   ∂ x  ∂ x
− =  f  du + f  dv
∂u ∂v ∂v ∂u C ∂u ∂v
D

Sea γ = (u(t), v(t)) , t ∈ [ a, b], una parametrización 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 parametrización
admisible de  ∂ S, y
 d
    b   b
 ∂ x du  ∂ x dv
    ∂ 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. Vitón Zorrilla

UNI- F IEE M ATEMÁTICA III

Comparando las ecuaciones encontradas podemos llegar a comprobar la expresión del teorema de Stokes:
∂ P ∂( x, y)  ∂ P ∂( z, x)
     
Pdx  = −  + dudv
∂S ∂ y ∂(u, v) ∂ z ∂(u, v)
D

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

B IBLIOGRAFÍA
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. Vitón Zorrilla