Teorema de Stokes

Sea S una superficie orientada, simple y regular a trozos. Sea C su curva frontera,
regular a trozos, cerrada y simple, con orientación positiva. Si F es un campo vectorial,
de clase C (1) en alguna región que contiene a S, entonces
Z ZZ
F = rot F.
C S

Para determinar la orientación positiva de la curva C frontera de S, convenimos en

que, al recorrer C en sentido positivo con la cabeza apuntando al vector normal −→
n que
indica la orientación positiva de S, la superficie queda a la izquierda.
El teorema de Stokes proporciona otra extensión del teorema fundamental de la inte-
gral al relacionar una integral de superficie con la integral de lı́nea sobre la curva frontera
a dicha superficie.
El resultado fue descubierto en realidad por el fı́sico escocés William Thomson (lord
Kelvin) y comunicado por carta a Georges Stokes (profesor lucasiano de Cambridge). Éste
lo propuso en un examen de matemáticas en 1854.

Observemos que el teorema de Green es un caso particular del teorema de Stokes,

→
−
pues si S ⊂ R2 es una superficie orientada hacia arriba, es decir −
→
n = k , y F = (P, Q, 0),
entonces el teorema de Stokes nos da la fórmula
Z ZZ ZZ 
→
− ∂Q ∂P 
F = (rot F ) · k dxdy = − dxdy,
C S S ∂x ∂y

que corresponde precisamente al teorema de Green.

Demostración. Veamos en primer lugar la demostración del teorema de Stokes en el
caso particular de una superficie S definida por la función explı́cita z = f (x, y), (x, y) ∈ D,
con f ∈ C (2) y D una región plana simple cuya frontera C1 es la proyección de la frontera
de S sobre el plano XY .
Sea pues el campo vectorial F = (P, Q, R) de clase C (1) en una región que contiene a
S. Entonces
ZZ ZZ
∂f  ∂R ∂Q  ∂f  ∂P ∂R   ∂Q ∂P 
rot F = − − − − + − dxdy.
S D ∂x ∂y ∂z ∂y ∂z ∂x ∂x ∂y

1
Por otra parte, si C1 se parametriza por x = x(t), y = y(t), con t ∈ [a, b], entonces C tiene
la parametrización x = x(t), y = y(t), z = f (x(t), y(t)), con t ∈ [a, b]. Por tanto,
Z Z b
F = [P · x0 (t) + Q · y 0 (t) + R · z 0 (t)] dt
C a
Z b  ∂f 
0 0 0 ∂f 0 
= P · x (t) + Q · y (t) + R · · x (t) + · y (t) dt
a ∂x ∂y
Z 
∂f   ∂f 
= P +R· dx + Q + R · dy = (por el teorema de Green)
C1 ∂x ∂y
ZZ   
∂ ∂f  ∂  ∂f 
= Q+R· − P +R· dxdy
D ∂x ∂y ∂y ∂x
∂2f
ZZ 
∂Q ∂Q ∂z ∂R ∂f ∂R ∂z ∂f
= + · + · + · · +R·
D ∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂y∂x
∂2f

∂P ∂P ∂z ∂R ∂f ∂R ∂z ∂f
− − · − · − · · −R· dxdy.
∂y ∂z ∂y ∂y ∂x ∂z ∂y ∂x ∂x∂y
ZZ
Al simplificar la expresión del integrando, llegamos al mismo resultado que rot F .
S

Veamos ahora la demostración del caso general. Para ello, sea Φ : D → R3 una
parametrización de la superficie, de clase C (1) en un abierto que contiene a D ∪ ∂D.
Si hacemos F (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)) y
Φ(u, v) = (X(u, v), Y (u, v), Z(u, v)), por definición de integral de lı́nea,
Z Z
F = P dx + Q dy + R dz.
C C

Por otra parte,

ZZ Z Z 
∂R ∂Q  ∂(Y, Z)
rot F = − ·
S D ∂y ∂z ∂(u, v)
 ∂P 
∂R  ∂(Z, X)  ∂Q ∂P  ∂(X, Y )
+ − · + − · dudv.
∂z ∂x ∂(u, v) ∂x ∂y ∂(u, v)
Por tanto, basta probar que
Z ZZ  
∂P ∂(Z, X) ∂P ∂(X, Y )
P dx = · − · dudv,
C D ∂z ∂(u, v) ∂y ∂(u, v)
Z ZZ  
∂Q ∂(X, Y ) ∂Q ∂(Y, Z)
Q dy = · − · dudv,
C D ∂x ∂(u, v) ∂z ∂(u, v)
Z ZZ  
∂R ∂(Y, Z) ∂R ∂(Z, X)
R dz = · − · dudv.
C D ∂y ∂(u, v) ∂x ∂(u, v)

2
Veamos la comprobación de la primera igualdad (las demás son completamente análogas).
Si llamamos p(u, v) = P ◦ Φ(u, v) = P (X(u, v), Y (u, v), Z(u, v)), entonces se puede com-
probar fácilmente que:
ZZ   ZZ   
∂P ∂(Z, X) ∂P ∂(X, Y ) ∂ ∂X  ∂  ∂X 
· − · dudv = p· − p· dudv.
D ∂z ∂(u, v) ∂y ∂(u, v) D ∂u ∂v ∂v ∂u

Si aplicamos ahora el teorema de Green a la última integral, obtenemos (llamamos C1 a

la frontera de D en R2 ):
ZZ   Z Z
∂P ∂(Z, X) ∂P ∂(X, Y ) ∂X ∂X
· − · dudv = p· du + p · dv = P dx.
D ∂z ∂(u, v) ∂y ∂(u, v) C1 ∂u ∂v C

Observación. El teorema también es válido en regiones múltiplemente conexas si se

mantienen las demás hipótesis.

Ejemplos.
Z
1) Calcular F , donde F (x, y, z) = (−y 2 , x, z 2 ) y C es la curva intersección de
C
y + z = 2, x2 + y 2 = 1, orientada de modo que gire en sentido antihorario al verse desde
la parte positiva del eje Z.
Respuesta: π.
ZZ
2) Calcular rot F , donde F (x, y, z) = (yz, xz, xy) y S es la parte de la esfera
S
x2 + y 2 + z 2 = 4 dentro del cilindro x2 + y 2 = 1 y encima del plano XY .
Respuesta: 0.
Z
3) Calcular F , donde
C

2
F (x, y, z) = (cos(x2 z 3 ) − y, (z − 1) sen(cos(sen x2 )), sen(y 2 z 3 e− cos x
))

y C es la curva parametrizada por σ(t) = (cos t, sen t, 1), 0 ≤ t ≤ 2π).

Sugerencia. La curva es paralela al plano XY , de modo que sólo es necesario calcular
→
−
la componente en k del rotacional de F .
Respuesta: π.

3
 ZZ
4) Calcular rot F , donde F (x, y, z) = (x4 +z 3 +3x2 y 2 , 2yx3 +3x+xz, z 5 +y 4 +x4 y 5 )
S
y S = {(x, y, z) ∈ R3 : (x + z)2 + 3y 2 + 2(x − z)2 = 1, z < 0}.
Sugerencia. Observar que S es la parte de un elipsoide que está por debajo del plano
XY . Su frontera se obtiene haciendo z = 0. Puede incluso aplicarse el teorema de Green.
Respuesta: π.

Interpretación fı́sica del rotacional. El teorema de Stokes permite dar una inter-
pretación del rotacional de un campo vectorial en términos de la circulación de un fluido
a lo largo de una curva.
Supongamos que → −
v (P ) representa
Z la velocidad de un fluido en un punto P de una
curva cerrada C. Sabemos que →
−v es igual a la integral de la componente tangencial de
C
−
→
v a lo largo de C; por tanto su valor seráZ mayor cuanto menor sea el ángulo entre −
→
v y
→
− →
−
T . Esto significa que la integral de lı́nea v mide la cantidad neta del fluido que gira
C
alrededor de C en dirección contraria a las agujas del reloj, por lo que también se conoce
como circulación de −
→v alrededor de C.
Consideremos ahora un punto P0 de C y Sϕ un pequeño disco de centro P0 y radio ϕ
orientado. Si −
→
n es el vector unitario normal a Sϕ , entonces
ZZ ZZ Z
rot v = rot v · −
→
n = −
→
v,
Sϕ Sϕ ∂Sϕ

donde ∂Sϕ es la curva frontera de Sϕ orientada positivamente. Si llamamos A(Sϕ ) al área

del disco Sϕ , entonces
Z ZZ
1 −
→ 1
lim v = lim rot v = lim rot v(Q) · −
→
n (Q) = rot v(P ) · −
→
n (P )
ϕ→0 A(Sϕ ) ∂Sϕ ϕ→0 A(Sϕ ) Sϕ ϕ→0

(donde hemos aplicado el teorema del valor medio para integrales).

Esta igualdad muestra la relación entre el rotacional y la circulación. En concreto, el
producto escalar rot v(P ) · −
→
n (P ) mide la circulación del fluido por unidad de área, es decir
mide la rotación del fluido alrededor de la curva. El efecto de rotación es máximo cuando
el rotacional lleva la dirección del vector normal a la curva.