Teorema de Stokes

El teorema de Stokes en geometra diferencial es una proposicin sobre la

integracin de formas diferenciales que generaliza varios teoremas del clculo
vectorial. Se nombra as por George Gabriel Stokes (11!"1!#$%& a pesar de que la
primera formulacin conocida del teorema fue realizada por 'illiam ()omson *
aparece en una correspondencia que +l mantuvo con Stokes.
El teorema fundamental del clculo establece que la integral de una funcin f
en el intervalo ,a& b- puede ser calculada por medio de su
antiderivada . de f/
El teorema de Stokes es una generalizacin de este teorema en el siguiente sentido/
0ara la . elegida& . En el lengua1e de las formas diferenciales es decir
que f(2% d2 es la derivada e2terior de la #"forma (como por e1emplo una
funcin% ./ d. 3 f d2. El teorema general de Stokes aplica para formas
diferenciales ma*ores 4 en vez de ..
En un lengua1e matemtico& el intervalo abierto (a& b% es una variedad
matemtica unidimensional. Su frontera es el con1unto que consiste en los dos
puntos a * b. 5ntegrar f en ese intervalo puede ser generalizado como integrar
formas en una variedad matemtica de ma*or orden. 0ara esto se necesitan dos
condiciones t+cnicas/ la variedad matemtica debe ser orientable& * la forma
tiene que ser compacta de manera que otorgue una integral bien definida.
6os dos puntos a * b forman parte de la frontera del intervalo abierto. 7s
gen+ricamente& el teorema de Stokes se aplica a variedades orientadas 7 con
frontera. 6a frontera 87 de 7 es una variedad en s misma * )ereda la
orientacin natural de 7. 0or e1emplo& la orientacin natural del intervalo da
una orientacin de los dos puntos frontera. 5ntuitivamente a )ereda la
orientacin opuesta a b& al ser e2tremos opuestos del intervalo. Entonces&
integrando . en los dos puntos frontera a& b es equivalente a tomar la
diferencia .(b% 9 .(a%.
0or lo que el
teorema fundamental se
escribe/
Formulacin general
Sea 7 una variedad de dimensin n diferenciable por trozos orientada compacta * sea
4 una forma diferencial en 7 de grado n"1 * de clase :;. Si 8 7
denota el lmite de 7 con su orientacin inducida& entonces
<qu d es la derivada e2terior& que se define usando solamente la estructura de
variedad. El teorema debe ser considerado como generalizacin del teorema
fundamental del clculo *& de )ec)o& se prueba fcilmente usando este teorema.
El teorema se utiliza a menudo en situaciones donde 7 es una subvariedad orientada
sumergida en una variedad ms grande en la cual la forma 4 se define.El teorema se
e2tiende fcilmente a las combinaciones lineales de las subvariedades diferenciables
por trozos& las& as llamadas& cadenas. El teorema de Stokes demuestra entonces que las
formas cerradas definidas mdulo una forma e2acta se pueden integrar sobre las
cadenas definidas mdulo borde. =sta es la base para el apareamiento entre los grupos
de )omologa * la co)omologa de de >)am.
El clsico teorema de ?elvin"Stokes que relaciona la
integral de superficie del rotacional del campo vectorial
sobre una superficie @ en el $"espacio euclidiano a la integral de lnea del campo
vectorial sobre su borde& es un caso especial del teorema de Stokes generalizado (con n
3 A% una vez que identifiquemos el campo vectorial con una 1"forma usando la m+trica
en el $"espacio euclidiano.
<simismo el teorema de Bstrogradsk*"Gauss o (eorema
de la divergencia. Es un caso especial si identificamos un
campo vectorial con la n"1 forma obtenida contra*endo el campo vectorial con la
forma de volumen euclidiano.El teorema fundamental del clculo * el teorema de
Green son tambi+n casos especiales del teorema de Stokes generalizado.
6a forma general del teorema de Stokes que usa formas diferenciales es de ms alcance
que los casos especiales& por supuesto& aunque los Cltimos son ms accesibles * a
menudo son considerados ms convenientes por fsicos e ingenieros.
Btra forma de escribir el mismo teorema es la
siguiente/Donde es un vector cualquiera.
Establece que la integral de superficie del rotacional de un campo vectorial sobre una
superficie abierta es igual a la integral cerrada del :ampo vectorial a lo largo del
contorno que limita la superficie.
Teorema de Stokes
Este teorema establece una relacin entre una integral de
lnea * una de superficie& en que S es una superficie
abierta& * : es la cueva cerrada que limita a dic)a superficie. 6a direccin de
recorrido de la curva : determina la orientacin del vector & normal a la superficie.
Euevamente& dada la definicin que se )a dado del operador rotor& este teorema
resulta una consecuencia bastante natural. Dado que todas las operaciones definidas
se pueden e2presar en t+rminos del operador gradiente& en adelante usaremos esa
notacin en forma e2clusiva& es decir&
Btra igualdad importante se relaciona con la integral de lnea del gradiente de un
campo escalar&
APLICACIONES
Verificacin del Teorema de Stokes. Verificar el teorema de Stokes para el campo
vectorial F(x;y;z) = 3yi + 4zj - 6xk y la parte de la sperficie para!oloidal z = " - x
#
-
y
#
!icada so!re el pla$o xy y orie$tada %acia arri!a.
SOLUCIN
:lculo como integral de lnea/ La curva : es en este caso
una circunferencia de radio 3 centrada en el origen sobre el
plano 2*. Podemos parametrizarla como:

! "
!
sen 3
cos 3

'

z
*
2
Con esta parametrizaci#n tenemos:
F$% & 'sen i ( !j )*cos k
r+$% & 3sen i ( 3cos j ( !k
r+$% & ,sen

sen

cos )
, sen , % $ % $

!

,
_

,
_

d d d
:
r F dr F
:lculo como integral de superficie: Primero evaluamos el rotacional-
k j i
k j i
F rot 3 . /
. / 3
+

2 z *
z * 2
01ora parametrizamos la superficie del paraboloide- Para eso observamos 2ue su
pro3ecci#n sobre el plano 2* es un c4rculo de radio 3 con centro en el origen- Parece
l#gico usar una parametrizaci#n basada en coordenadas cil4ndricas:

!
3 !
"
'
sen
cos
% 5 $

'

r
r z
r *
r 2
r r
6l producto vectorial fundamental ser7:
3

*
z
2
:
S
3
'
k j i
k j i
r r sen cos
! cos sen
sen cos

r r r
r r
r
r
+ +

8emos 2ue la componente z de este vector es positiva- Por lo tanto la parametrizaci#n

describe a una superficie con orientaci#n positiva-
Usando entonces esta parametrizaci#n" tenemos:

3
% 3 sen ) cos * $ % $ rot rot

!
3
!

!
3
!


+

r
drd r r r drd
D
r
S
r r F dS F
Llegamos al mismo valor 2ue cuando lo 1icimos como integral de l4nea" verificando de
esa manera el teorema de Sto9es-
<plicacin al concepto de circulacin de un campo.
Calcular la circulacin del campo de velocidades de un fluido F(x;y;z) (tan
!"
(x
#
);
$x; e
$z
tanz) a lo largo de la interseccin de la esfera x
#
% y
#
% z
#
& con el cilindro x
#
% y
#
"' con z ( )*
SB6F:5GE/
6a circulacin de un
campo es su integral
a lo largo de una
lnea cerrada.
>ecordemos que la
razn entre la
circulacin del
campo de
velocidades * el
rea de la superficie
encerrada por la
curva tiende a un
cierto valor a
medida que el radio
de la curva tiende a #H si este valor es nulo& entonces el fluido es irrotacional * un
molinillo ubicado en ese punto lmite no rotar.
0rimero vemos que el campo vectorial F tiene una le* bastante comple1a& por lo que se
puede anticipar que el clculo de la circulacin como integral de lnea puede resultar
asaz engorroso. 0or lo tanto& vale la pena calcular el rotacional a ver si resulta una
funcin matemticamente ms tratable.
2
*
z
)

k j i
k j i
F rot 3 ! !
tg 3 % $ tg
3 )
+ +

z e 2 2
z * 2
z
En efecto& se simplifican enormemente los clculos al resultar el rotacional una funcin
vectorial constante.
0or el teorema de Stokes& podemos calcular la integral de lnea de F sobre la curva
dada como el flu1o del rotor a trav+s de la superficie grisada. 0arametrizando esta
Cltima/

!
) !
"
/
sen
cos
% 5 $

'

r
r z
r *
r 2
r r
I )allando el producto vectorial fundamental/
k j i
k j i
r r sen
/
cos
/
! cos sen
/
sen cos

r
r
r
r
r
r r
r
r
r
+

Jemos que esta normal tiene componente z positiva& correspondiendo a una superficie
positivamente orientada. con esto podemos calcular a)ora/

3 3 % $ rot rot

!
)
!

rdrd drd
D
r
S
r r F dS F