Universidad Nacional

autnoma De Mxico
FES ARAGON
Trabajo final
Teoremas de Stokes y Gauss
Enrique Isao luna Mendez
Grupo: 2213
ING. Mecanica
Calculo vectorial

Los teoremas de Stokes y Gauss

Los teoremas de Stokes y Gauss proporcionarn la interpretacin fsica
de los conceptos de rotacional y
divergencia, con cuya definicin y propiedades comenzamos esta
seccin.
El rotacional y la divergencia de un campo vectorial
Sea el operador

Recurdese que el gradiente de un campo escalar j 2 C1 viene dado por

El teorema de Stokes, que es una generalizacin del teorema de Green

en cuanto que relaciona la integral de un campo vectorial sobre una
curva cerrada que es borde de una superficie paramtrica simple con la
integral de su rotacional en dicha superficie; y tambin el teorema de
Gauss de la divergencia, que puede verse como una versin
tridimensional del teorema de Green, al relacionar la integral de un
campo vectorial en una superficie cerrada que es borde de un slido
tridi-mensional con la integral de su divergencia en el interior de dicho
slido. En realidad estos tres teoremas pueden verse como
generalizaciones del segun-do teorema fundamental del clculo a
funciones de varias variables, y a su vez son casos particulares de una
versin general del teorema de Stokes para variedades diferenciables de
dimensin arbitraria que se estudia en cursos su-periores (para enunciar y
demostrar este teorema ms general se requiere el desarrollo de una
teora de formas diferenciales y el uso de particiones difer-enciables de la
unidad, lo que no haremos en este curso por falta de tiempo; el lector
interesado puede consultar el libro de Michael Spivak Clculo en
variedades, editorial Revert, 1988).
Para enunciar el teorema de Stokes para superficies en R3 necesitamos
definir lo que es el rotacional de un campo vectorial. Si F : A R3 es un
campo vectorial de clase C 1 definido en un abierto A de R3 , se define el
rotacional del campo F = (P, Q, R), y se denota por rotF , como

Teorema (de Stokes) Sea S una superficie paramtrica simple con

borde S, parametrizada por : D S, donde D es la regin interior a una curva
cerrada simple C regular a trozos 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 R3, y con
valores en R3. Entonces se tiene que

Otra forma de escribir la igualdad de estas integrales es la siguiente:

donde dy dz, dz dx, dx dy denotan, respectivamente,

As, por ejemplo,

equivale a escribir

Es interesante observar que cuando S es una regin del plano xy

encerrada por una curva cerrada simple regular a trozos y n = k el
teorema de Stokes se reduce a la frmula de Green
An ms instructivo resulta constatar que la demostracin del teorema de
Stokes consiste esencialmente (aparte de clculos) en aplicar tres veces el la
frmula de Green, como vemos a continuacin.
Demostracin del teorema de Stokes: Bastar probar las tres igual-dades
siguientes:

ya que sumndolas obtenemos (). Puesto que la demostracin de las tres

frmulas es totalmente anloga, nos contentaremos con probar la primera de ellas.
Hay que demostrar pues que

Denotemos f(u, v) = P (x(u, v), y(u, v), z(u, v)). Ahora utilizaremos la frmuLa

que no es difcil comprobar (vase el ejercicio 13.3). Utilizando esta igualdad y el

teorema de Green en el primer miembro de (1) obtenemos

Sea = (u(t), v(t)), t [a, b], una parametrizacin de C R2 recorrida en sentido

positivo, entonces (t) = (x(u(t), v(t)), y(u(t), v(t)), z(u(t), v(t)), t [a, b], es una
parametrizacin admisible de S, y

es decir

lo que combinado con (3) nos da (1).

El teorema de Stokes puede aplicarse a muchas ms superficies que las

paramtricas simples que figuran en su enunciado. Por ejemplo, se puede aplicar
a un cilindro K del tipo x2 + y2 = 0, a z b. En efecto, al cortar el cilindro K por el
plano x = 0 obtenemos una descomposicin de K en dos superficies paramtricas
simples K1 y K2 que podemos orientar de modo que sus bordes, en los
segmentos por donde se pegan (que llamaremos costuras) tengan orientaciones
opuestas. Esto equivale a decir que la normal exterior unitaria en K1 y K2 apunta
siempre hacia afuera del cilindro K. Hgase un dibujo. Sea F un campo vectorial
de clase C1 en K. Al aplicar el teorema de Stokes a F en K1 y en K2 y sumar las
igualdades as obtenidas, como K1 y K2 tienen orientaciones opuestas en las
costuras, vemos que las integrales de F sobre las costuras se cancelan unas con
otras (porque cada costura se recorre exactamente dos veces, una vez en el
sentido contrario de la otra) y por tanto dicha suma es igual a la suma de las
integrales de F sobre C1 y C2, que es el borde de K. Es decir, vemos que

y el teorema de Stokes vale para K.

Consideremos ahora el caso de una esfera S en R3, que tampoco es una
superficie paramtrica simple, pero que puede descomponerse en dos que s lo
son: el hemisferio norte S+ y el hemisferio sur S-, pegadas por el ecuador C. Cada
hemisferio puede orientarse de modo que la curva C del ecuador se recorre en
sentido inverso segn se la considere com perteneciente a uno u otro hemisferio.
Esto lo podemos resumir con la notacin CS+ = C = -S-. Aplicando el teorema
de Stokes tenemos entonces

es decir, el teorema de Stokes se cumple para la esfera S entendindose que,

como no tiene borde, la integral de F sobre dicho borde inexistente se define como
cero.
Lo mismo vale para un toro (ver el ejercicio 13.6), y de hecho puede
probarse que para cualquier superficie compacta y sin borde M de R3 se tiene que

En realidad la nica propiedad que debe cumplir una superficie S de R3

(quizs con borde) para poderle aplicar el teorema de Stokes es que S pueda
descomponerse en una cantidad finita de superficies paramtricas simples con
borde orientadas y pegadas unas con otras de tal manera que cada trozo de borde
que pertenezca a la vez a dos de estas superficies se recorra en sentido inverso
segn pertenezca a una o a otra de estas superficies. Es claro que, para una

superficie S fabricada de esta manera, el tipo de argumento usado para el cilindro,

la esfera o el toro, permite establecer la validez del teorema de Stokes.
Esta propiedad equivale a pedir que se pueda definir sobre S un campo vectorial
continuo de vectores normales a S que no se anula en ningn punto (o lo que es lo
mismo, que exista una aplicacin continua n : S R3 tal que n(p) = 1 y n(p) T
Sp para todo p S). A las superficies con esta propiedad se les llama orientables.
Sin embargo existen superficies que no son orientables y a las que no se les
puede aplicar el teorema de Stokes. El ejemplo tpico en R3 es la banda de
Moebius, superficie que se puede fabricar tomando una banda plana y pegando un
extremo con otro despus de dar media vuelta a uno de ellos. La superficie as
construida, aunque localmente pueda parecer lo contrario, tiene una sola cara y un
slo borde, que forma una curva cerrada simple. Si fabricamos con papel y
pegamento un modelo B de la banda de Moebius vemos que, dado cualquier
punto de la banda, se puede dibujar un camino continuo dentro de la banda que
empieza en ese punto por una cara determi-nada y acaba en el mismo punto pero
por la otra cara, y sin tocar en ningn momento el borde de la banda. Si ahora
intentamos transportar continua-mente a lo largo de este camino un vector de
norma uno n perpendicular a la superficie, vemos que al volver al punto inicial el
vector apunta en sentido opuesto. Esto hace ver que es imposible definir un
campo de vectores de norma uno y perpendiculares a B que sea continuo en
todos los puntos, es decir, B no es orientable.
Por otra parte, no es difcil ver que el teorema de Stokes falla en B. En efecto,
podemos dividir B en dos superficies paramtricas simples B1 y B2 obtenidos al
cortar B transversalmente por dos sitios diferentes. Pero resulta imposible orientar
B1 y B2 de modo que, en los segmentos donde se pegan, las orientaciones del
borde de B1 y del borde de B2 sean opuestas. Esto supone que si aplicamos el
teorema de Stokes a B1 y B2 y sumamos las igualdades obtenidas vamos a
deducir que

donde L es uno de esos dos segmentos donde se pegan B1 y B2, y C1, ..., C4

son los cuatro trozos de B generados al cortar B en B1 ms B2; esto sucede

porque las orientaciones de B1 y B2 son opuestas en uno de los segmentos donde
estas piezas se pegan (a lo largo de este segmento las integrales de lnea se
cancelan una con otra), y la misma en el otro (al que llamamos L, y sobre el cual
las integrales se suman en vez de cancelarse). Es fcil ver que existen campos
vectoriales F de clase C1 tales que F = 0 en B pero
F ds = 0. Para estos campos se tiene, por lo anterior, que

y tambin

Por tanto, si el teorema de Stokes fuera cierto en B para uno de estos campos
F ds = 0, una contradiccin.
A propsito de la banda de Moebius, es interesante sealar que si por su borde,
que es homeomorfo a una circunferencia, pegamos un crculo entonces,
obtenemos una superficie que es homeomorfa al plano proyectivo (y que a su vez
es el prototipo de superficie compacta sin borde y no orientable). Esta operacin
no puede realizarse en R3 sin incurrir en intersecciones de la nueva superficie
consigo misma; se necesitan cuatro dimensiones por lo menos para poder llevarla
a cabo. Dicho de otro modo, el plano proyectivo cabe en R4, pero no en R3. Sin
embargo podemos dar una demostracin visual de que el plano proyectivo menos
un crculo es igual a una banda de Moebius. En efecto, el plano proyectivo se
define como la clase de equivalencia de todas las rectas vectoriales de R3, o lo
que es lo mismo, como el conjunto cociente de una esfera por la relacin de
equivalencia que consiste en identificar cada punto de la esfera con su antipodal
(ms llanamente, el plano proyectivo es un mundo en el que un seor es el mismo
seor que se encuentra en sus antpodas). Si a esta esfera con los puntos
antipodales identificados le quitamos un casquete polar del hemisferio norte, y por
tanto tambin el mismo casquete polar del hemisferio sur, que son identificables a
un crculo en el plano proyectivo, obtenemos una banda cerrada B en la que los
puntos antipodales siguen estando identificados. Puesto que cada punto de B
entre el meridiano de Greenwich y el de longitud 180 est identificado con su
antipodal situado en un meridiano mayor o igual que 180 y menor o igual que 360,
podemos prescindir de todos los puntos de longitud mayor que 180, quedndonos
con un slo representante de cada clase de equivalencia para los puntos de
longitud en el intervalo (0, 180), teniendo en cuenta que los puntos de B que
estn en el meridiano 0 se siguen identificando con sus antipodales del meridiano
180. Es decir, B es una banda en la que sus lados extremos se han pegado dando
media vuelta previa a uno de ellos, o sea la banda de Moebius.
Pasamos ahora a estudiar el ltimo teorema del curso, el de Gauss de la
divergencia. Llamaremos slido simple a todo conjunto compacto V de R3
homeomorfo a una bola y cuya frontera V es una superficie orientable (que puede
descomponerse en una cantidad finita de superficies paramtricas simples con
bordes, orientadas de tal manera que en los trozos de curva donde dos de estas
superficies se peguen, las orientaciones sean opuestas). Supondremos que dicha
frontera est orientada con la normal unitaria n apuntando hacia el exterior de V .

Recordemos que la divergencia de un campo vectorial F = (P, Q, R) en R3 se

define por

Teorema 13.2 (de Gauss de la divergencia) Sea V un slido simple de

R3 y S = V su borde, orientado con la normal unitaria exterior n. Sea F : V R3
un campo vectorial de clase C1. Entonces

Demostracin: Haremos la demostracin suponiendo que V es un slido

proyectable xy, proyectable yz, y proyectable xz. Que V sea proyectable xy
significa que que V puede escribirse las manera siguiente:

donde D es una regin del plano xy limitada por una curva cerrada simple regular
a trozos, y , : D R son funciones de clase C1 en D; es decir, V puede verse
como lo que queda entre las grficas de dos funciones de clase C1 definidas en la
proyeccin de V sobre el plano xy. Anlogamente se define el ser proyectable xz o
proyectable yz.
Sea F = (P, Q, R). Como V es proyectable xy podemos escribir

donde D, , cumplen las condiciones explicitadas anteriormente, y te-nemos,

aplicando el teorema de Fubini, que

Calculemos por otra parte la integral

Por otro lado la normal n apunta hacia arriba en S2 y hacia abajo en S1, de modo
que, al calcular las integrales

mientras que

Por tanto

lo que combinado con (4) nos da

Anlogamente, usando que V es proyectable xz y proyectable yz, se com-prueba

que

y que

Finalmente, sumando (5), (6) y (7) obtenemos que

es decir el enunciado del teorema para slidos proyectables en cualquiera de las

tres direcciones de los ejes. La clase de dichos slidos incluye las bolas y en
general todos los slidos convexos de R3.
Una vez demostrado el teorema de Gauss para slidos convexos, podra
extenderse a slidos V que sean C2-difeomorfos a la bola unidad, usando el
teorema del cambio de variable de manera anloga a la del problema 11.12,
aunque los clculos son en este caso mucho ms complicados.
Tambin podra extenderse a los slidos ms generales del enunciado siguiendo
un procedimiento anlogo a la parte final de la demostracin del teorema de
Green: se aproximara la superficie S por una superficie S for-mada por caras de
tringulos orientados (y pegados unos con otros de modo que los lados que sean
comunes a dos tringulos tengan orientaciones opues-tas segn se vean como
pertenecientes a uno u otro tringulo), y esta nueva superficie S sera la frontera
de un slido V que podra descomponerse en unin de poliedros convexos
orientados de modo que dos caras contiguas tengan normales unitarias que
apuntan en sentido opuesto. El teorema de la divergencia es vlido para V y S , es
decir

haciendo tender a cero se obtendra en resultado general.

Resultara muy engorroso, sin embargo, detallar con cuidado este esque-ma de
demostracin. Llegados a este punto, y una vez que el lector haya
desarrollado su intuicin sobre los teoremas de Green, Stokes y Gauss, y se haya
ejercitado con ellos, lo ms recomendable sera pasar a estudiar las herramientas
(a saber, formas diferenciales y particiones de la unidad) que permiten enunciar y
demostrar la versin general de estos teoremas para variedades diferenciables en
Rn. Remitimos al lector interesado al libro de Spivak citado al comienzo de este
captulo.
Igual que ocurra con el teorema de Stokes, el teorema de Gauss es vlido para
muchos ms slidos que los del enunciado. Por ejemplo, es fcil ver que el
teorema de la divergencia es vlido para cualquier slido homeomorfo a una bola
agujereada del tipo V = {(x, y, z) R3 : 1 x2 +y2 +z2 2} cuya frontera se
componga de dos superficies orientadas con la normal exterior (sin embargo, en la
frontera x2 + y2 + z2 = 1 del agujero, exterior en este caso significa que n apunta
para adentro del agujero).
Tambin es fcil ver que el teorema de Gauss es vlido para cualquier toro en R3,
o incluso una suma conexa de una cantidad finita de toros en R3. Lo importante en
todos estos casos es que el slido V considerado pueda descomponerse en una
cantidad finita de slidos simples orientados de tal modo que en las superficies
donde dos de estos slidos se pegan, las normales apunten en sentido contrario.
De hecho puede demostrarse, aunque no lo haremos aqu, que toda su-perficie S
compacta sin borde en R3 es orientable, y el teorema de Gauss es vlido para el
slido V limitado por S.