Teorema de Stokes Sea S una supercie orientada, simple y regular a trozos.

Sea C su curva frontera, regular a trozos, cerrada y simple, con orientaci on positiva. Si F es un campo vectorial, de clase C (1) en alguna regi on que contiene a S , entonces F =
C S

rot F.

Para determinar la orientaci on 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 on positiva de S , la supercie queda a la izquierda. El teorema de Stokes proporciona otra extensi on del teorema fundamental de la integral al relacionar una integral de supercie con la integral de l nea sobre la curva frontera a dicha supercie. El resultado fue descubierto en realidad por el f sico escoc es William Thomson (lord Kelvin) y comunicado por carta a Georges Stokes (profesor lucasiano de Cambridge). Este lo propuso en un examen de matem aticas en 1854. Observemos que el teorema de Green es un caso particular del teorema de Stokes, pues si S R2 es una supercie orientada hacia arriba, es decir n = k , y F = (P, Q, 0), entonces el teorema de Stokes nos da la f ormula F =
C S

(rot F ) k dxdy =
S

Q P x y

dxdy,

que corresponde precisamente al teorema de Green. Demostraci on. Veamos en primer lugar la demostraci on del teorema de Stokes en el caso particular de una supercie S denida por la funci on expl cita z = f (x, y ), (x, y ) D, on plana simple cuya frontera C1 es la proyecci on de la frontera con f C (2) y D una regi de S sobre el plano XY . Sea pues el campo vectorial F = (P, Q, R) de clase C (1) en una regi on que contiene a S . Entonces rot F =
S D

f P R Q P f R Q + x y z y z x x y 1

dxdy.

Por otra parte, si C1 se parametriza por x = x(t), y = y (t), con t [a, b], entonces C tiene la parametrizaci on x = x(t), y = y (t), z = f (x(t), y (t)), con t [a, b]. Por tanto,
b

F =
C a b

[P x (t) + Q y (t) + R z (t)] dt P x (t) + Q y (t) + R

f f x (t) + y (t) dt x y a f f dx + Q + R dy = (por el teorema de Green) = P +R x y C1 f f = Q+R P +R dxdy y y x D x Q Q z R f R z f 2f = + + + +R z x x y z x y yx D x P P z R f R z f 2f R dxdy. y z y y x z y x xy rot F .

S

Al simplicar la expresi on del integrando, llegamos al mismo resultado que

Veamos ahora la demostraci on del caso general. Para ello, sea : D R3 una parametrizaci on de la supercie, 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 denici on de integral de l nea, F =
C C

P dx + Q dy + R dz.

Por otra parte, rot F =

S

(Y, Z ) R Q y z (u, v ) D P R (Z, X ) Q P + + z x (u, v ) x y

(X, Y ) dudv. (u, v )

Por tanto, basta probar que P dx =

C D

Q dy =
C D

R dz =
C D

P z Q x R y

(Z, X ) P (X, Y ) dudv, (u, v ) y (u, v ) (X, Y ) Q (Y, Z ) dudv, (u, v ) z (u, v ) (Y, Z ) R (Z, X ) dudv. (u, v ) x (u, v ) 2

Veamos la comprobaci on de la primera igualdad (las dem as son completamente an alogas). Si llamamos p(u, v ) = P (u, v ) = P (X (u, v ), Y (u, v ), Z (u, v )), entonces se puede comprobar f acilmente que: P (Z, X ) P (X, Y ) dudv = z (u, v ) y (u, v ) X p u v X p v u dudv.

Si aplicamos ahora el teorema de Green a la u ltima integral, obtenemos (llamamos C1 a la frontera de D en R2 ): P (Z, X ) P (X, Y ) dudv = z (u, v ) y (u, v ) p
C1

X X du + p dv = u v

P dx.
C

Observaci on. El teorema tambi en es v alido en regiones m ultiplemente conexas si se mantienen las dem as hip otesis. Ejemplos. 1) Calcular
C

F , donde F (x, y, z ) = (y 2 , x, z 2 ) y C es la curva intersecci on de

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: . 2) Calcular
S

rot F , donde F (x, y, z ) = (yz, xz, xy ) y S es la parte de la esfera

x2 + y 2 + z 2 = 4 dentro del cilindro x2 + y 2 = 1 y encima del plano XY . Respuesta: 0. 3) Calcular

C

F , donde
2

F (x, y, z ) = (cos(x2 z 3 ) y, (z 1) sen(cos(sen x2 )), sen(y 2 z 3 e cos 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 olo es necesario calcular la componente en k del rotacional de F . Respuesta: . 3

4) Calcular
S

rot F , donde F (x, y, z ) = (x4 +z 3 +3x2 y 2 , 2yx3 +3x+xz, z 5 +y 4 +x4 y 5 )

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 a por debajo del plano XY . Su frontera se obtiene haciendo z = 0. Puede incluso aplicarse el teorema de Green. Respuesta: . Interpretaci on f sica del rotacional. El teorema de Stokes permite dar una interpretaci on del rotacional de un campo vectorial en t erminos de la circulaci on de un uido a lo largo de una curva. Supongamos que v (P ) representa la velocidad de un uido 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 a mayor cuanto menor sea el angulo entre v y T . Esto signica que la integral de l nea v mide la cantidad neta del uido que gira

alrededor de C en direcci on contraria a las agujas del reloj, por lo que tambi en se conoce como circulaci on de v alrededor de C . Consideremos ahora un punto P0 de C y S un peque no disco de centro P0 y radio orientado. Si n es el vector unitario normal a S , entonces rot v =
S S

rot v n =
S

v,

donde S es la curva frontera de S orientada positivamente. Si llamamos A(S ) al area del disco S , entonces lim 1 A(S ) v = lim
S

1 A(S )

rot v = lim rot v (Q) n (Q) = rot v (P ) n (P )

S 0

(donde hemos aplicado el teorema del valor medio para integrales). Esta igualdad muestra la relaci on entre el rotacional y la circulaci on. En concreto, el producto escalar rot v (P ) n (P ) mide la circulaci on del uido por unidad de area, es decir mide la rotaci on del uido alrededor de la curva. El efecto de rotaci on es m aximo cuando el rotacional lleva la direcci on del vector normal a la curva.