Lecci on 9

Teoremas de Stokes y Gauss

Presentamos a continuacin los dos resultados principales del Clculo Vectorial. Por una
parte, el Teorema de Stokes generaliza la frmula de Green, estableciendo la igualdad entre una
integral de lnea y una de supercie. Por otra, el Teorema de Gauss, tambin conocido como
Teorema de la Divergencia o Frmula de Gauss-Ostrogradsky, permite calcular una integral de
supercie mediante una integral triple.
9.1. Enunciado del Teorema de Stokes
A continuacin enunciamos la versin tridimensional de la frmula de Green, conocida
como Teorema de Stokes, que nos permite calcular una integral de lnea de un campo vectorial
en el espacio mediante una integral de supercie del rotacional del campo.
Teorema. Sea un camino en R
2
, regular a trozos, cerrado y simple, que recorre una
curva de Jordan con orientacin positiva. Consideremos el recinto W cuya frontera es y
sea : W R
3
una parametrizacin de clase C
2
de la supercie S = (W). Sea nalmente
F: R
3
un campo vectorial de clase C
1
en un subconjunto abierto de R
3
que contenga a
la supercie S. Entonces, la integral de lnea del campo F a lo largo del camino coincide
con la integral de supercie del rotacional de F con respecto a la parametrizacin :

F. dl =

rot F. ds
Como ocurra con la Frmula de Green, la igualdad anterior, al menos en los casos que ms
interesan en la prctica, puede escribirse con una notacin que ayuda a entender su signicado
al tiempo que nos permite recordar con ms facilidad las hiptesis del teorema. Para explicarlo
con detalle, trabajaremos por separado con los dos miembros de la igualdad.
El camino : [a, b] S est denido en el mismo intervalo que , digamos [a, b], y
viene dado por [](t) =
_
(t)
_
para a t b. Como la curva de Jordan es la frontera
del recinto W, el camino recorre la curva () = (W) que podemos entender como
un especie de borde de la supercie S y denotar por S. Conviene aclarar que S depende
de la parametrizacin y no es en absoluto la frontera de S vista como subconjunto de R
3
,
simplemente escribimos S =(W) por similitud con S =(W).
62
8. Teoremas de Stokes y Gauss 63
Pues bien, resulta ahora natural denotar el camino por S
+
puesto que recorre la curva
S y, aunque no hablamos de la orientacin de un camino en R
3
, esta notacin nos recuerda la
orientacin positiva de , que de alguna manera hace que el camino recorra la curva S
en un cierto sentido. Por supuesto, el camino
op
la recorrera en sentido contrario.
Con respecto a la integral de supercie que aparece en el teorema, en lugar de la integral con
respecto a la parametrizacin , es natural considerar la integral sobre la supercie S, siempre
que ello tenga sentido, es decir, siempre que S sea orientable y admita una parametrizacin
simple y suave. En tal caso la Frmula de Stokes puede por tanto escribirse en la forma

S
+
F. dl =

S
rot F. ds
Aparentemente hemos introducido aqu una ambigedad, al no concretar la orientacin de la
supercie, pero en realidad esta ambigedad en el segundo miembro de la frmula es coherente
con la que tambin hemos introducido en el primero. Para calcular la integral de supercie
debemos usar una parametrizacin simple y suave , y esa misma parametrizacin es la que
debemos usar para denir el camino S
+
= . Intuitivamente, lo que ocurrira si usramos
una parametrizacin que deniese una orientacin opuesta a la de es que el camino
tendra tambin sentido contrario al de , luego tanto la integral de lnea como la de
supercie cambian de signo al sustituir por , pero la igualdad entre ellas se mantiene.
Finalmente, si consideramos las tres componentes del campo vectorial, escribiendo como
siempre F= (P, Q, R), y usamos las notaciones clsicas para las integrales, la Frmula de Stokes
resulta ms explcita:

S
+
Pdx +Qdy +Rdz =

S
_
R
y

Q
z
_
dydz +
_
P
z

R
x
_
dzdx +
_
Q
x

R
y
_
dxdy
9.2. Ejemplo
Enseguida veremos aplicaciones ms relevantes del Teorema de Stokes, pero vamos a analizar
con detalle un primer ejemplo sencillo. Calculemos la integral de lnea
I =

y
3
dx + x
3
dy z
3
dz
donde el camino recorre la curva que se obtiene como interseccin del cilindro x
2
+y
2
=1
con el plano de ecuacin x +y +z = 1. Ms concretamente,
(t) =
_
cost, sent, 1cost sent
_
( t )
El clculo directo usando la denicin de la integral de lnea es laborioso, aunque no difcil. Su
clculo mediante el Teorema de Stokes es casi inmediato, pero lo explicamos con todo detalle.
Necesitamos ver la curva como borde de una supercie, pero es fcil adivinar la forma
de conseguirlo. Consideramos el recinto W y la parametrizacin de clase C

dados por
W ={(x, y) R
2
: x
2
+y
2
1}, (x, y) = (x, y, 1x y)
_
(x, y) W
_
8. Teoremas de Stokes y Gauss 64
Observamos que la supercie S =(W) coincide con la parte del plano x+y+z =1 contenida
en la regin interior al cilindro x
2
+y
2
= 1:
S ={(x, y, 1x y) : (x, y) W} ={(x, y, z) R
3
: x
2
+y
2
< 1, x +y +z = 1}
Anotemos el vector normal (constante) a la supercie (plana) S:

y
= i + j + k
_
(x, y) W
_
Intuitivamente, el borde de la supercie S es efectivamente la curva , cosa que podemos
comprobar formalmente:
= {(x, y, z) R
3
: x
2
+y
2
= 1, x +y +z = 1}
= {(x, y, 1x y) : x
2
+y
2
= 1} = (W) =S
En realidad, tomando directamente (t) = (cost, sent) para t [, ], tenemos que es un
camino en R
2
, regular, cerrado y simple, que recorre la circunferencia W con orientacin
positiva, y observamos que

_
(t)
_
= (cost, sent) = (cost, sent, 1cost sent) = (t) ( t )
es decir, =. Estamos pues claramente en situacin de aplicar el Teorema de Stokes.
Notemos nalmente que el campo vectorial denido por
F(x, y, z) = y
3
i + x
3
j z
3
k (x, y, z R)
es de clase C

en R
3
con rot F(x, y, z) = 3(x
2
+y
2
)k para cualesquiera x, y, z R. Aplicamos
por tanto el Teorema de Stokes y completamos el clculo de la integral buscada:
I =

F. dl =

rot F. ds =

rot F
_
(x, y)
_

y
_
dxdy
= 3

W
(x
2
+y
2
)dxdy = 3

1
0

3
dd =
3
2
9.3. La frmula de Green como caso particular
El Teorema de Stokes no slo nos da la versin tridimensional de la Frmula de Green sino
que de hecho generaliza el Teorema de Green. Para ponerlo de maniesto basta en realidad
pensar que un recinto en el plano es un tipo muy particular de supercie. Vemoslo con detalle,
pues se trata de la aplicacin ms sencilla del Teorema de Stokes.
Partimos pues de las hiptesis del Teorema de Green. Por una parte, consideramos un
camino en R
2
, regular a trozos, cerrado y simple, que recorre una curva de Jordan con
orientacin positiva. Por otra parte, suponemos que F = (P, Q) : R
2
es un campo vectorial
de clase C
1
en un abierto R
2
, que contiene al recinto W cuya frontera es . Queremos
probar que la integral de lnea de F a lo largo de coincide con la integral doble sobre W del
rotacional escalar de F.
8. Teoremas de Stokes y Gauss 65
Para ponernos en condiciones de usar el Teorema de Stokes, consideremos la parametrizacin
: W R
3
dada por
(x, y) = (x, y, 0)
_
(x, y) W
_
que consiste simplemente en ver el recinto W como una supercie en R
3
, ya que la supercie
S =(W) viene dada por S ={(x, y, 0) : (x, y) W}. Notemos que es una funcin de clase
C

y nos da una parametrizacin simple y suave de la supercie S, con vector normal constante:

x
= i ;
y
= j ;
x

y
= k (en W).
Por otra parte, a partir del campo F = (P, Q), denimos un campo vectorial en el espacio como
ya hicimos para motivar la denicin del rotacional escalar. Simplemente tomamos

={(x, y, z) R
3
: (x, y) },

F(x, y, z) = (P(x, y), Q(x, y), 0)

_
(x, y, z)

_ (1)
Es evidente que

es un abierto de R
3
que contiene a la supercie S mientras que

F es un
campo vectorial de clase C
1
en

cuyo rotacional viene dado por
rot

F(x, y, z) = rot F(x, y)k
_
(x, y, z)

_
Estamos ya preparados para aplicar el Teorema de Stokes, pero trabajemos previamente con
las dos integrales que dicho teorema har coincidir. Por una parte, para la integral de supercie
tenemos

rot

F. ds =

rot

F(x, y, 0)

y
_
dxdy
=

rot F(x, y)k

k
_
dxdy =

W
(rot F)dxdy
(2)
Con respecto a la integral de lnea, observemos los caminos y :
(t) =
_
(x(t), y(t)
_
y [](t) =
_
x(t), y(t), 0)
_
(a t b)
Comprobamos entonces sin dicultad que donde sea derivable se tendr

F
_
(t)
_

()

(t)
_
=

F
_
(t)
_

(t)
_
de donde deducimos que

F. dl =

F. dl (3)
Usando las igualdades (2) y (3), al aplicar el Teorema de Stokes obtenemos directamente
la Frmula de Green:

F. dl =

F. dl =

rot

F. ds =

W
(rot F)dxdy
8. Teoremas de Stokes y Gauss 66
9.4. Frmula de Green en un anillo
Aplicando el Teorema de Stokes a otra supercie plana, deduciremos una nueva versin de
la frmula de Green, que tambin podra obtenerse por otros procedimientos, pero nos interesa
ilustrar el uso del Teorema de Stokes.
Para 0 < r < R, consideremos el rectngulo W = [r, R] [0, 2] y la funcin : W R
3
dada por
(, ) =
_
cos, sen, 0
_
(r R, 0 2)
Claramente es una funcin de clase C

en W y se comprueba fcilmente que es una

parametrizacin simple de la supercie S = (W), que es la regin del plano z = 0 com-
prendida entre las circunferencias centradas en el origen con radios r y R. Ms concretamente,
escribiendo A = {(x, y) R
2
: r (x, y) R} tenemos un anillo en el plano y claramente
S = {(x, y, 0) : (x, y) A} no es ms que ese anillo, slo que visto como subconjunto de R
3
.
Para (, ) W tenemos

= (cos, sen, 0),

= (sen, cos, 0) y

= k,
en particular es una parametrizacin suave de la supercie S.
Supongamos ahora que F es un campo vectorial de clase C
1
en un abierto R
2
que
contenga al anillo A y, para poder aplicar el Teorema de Stokes, denimos un abierto

R
3
que contiene a la supercie S, y un campo vectorial

F de clase C
1
en

, exactamente igual que
lo hicimos en el apartado anterior, mediante las expresiones (1). Calculemos ahora la integral
de supercie que aparecer al aplicar el Teorema de Stokes:

rot

F. ds =

rot

F
_
(, )
_

_
dd
=

W
rot F(cos, sen)dd =

A
rot F(x, y)dxdy
(4)
donde, en la ltima igualdad, hemos usado un cambio de variable a coordenadas polares. Ntese
que la ltima integral doble es la que aparece en la Frmula de Green, slo que en lugar del
recinto delimitado por una curva de Jordan tenemos el anillo A, cuya frontera es unin de dos
circunferencias.
Por otra parte, veamos cual es la integral de lnea que aparecer al aplicar el Teorema de
Stokes. Naturalmente, debemos usar un camino , regular a trozos, cerrado y simple, que recorra
la frontera del rectngulo W con orientacin positiva. Es fcil ver que todo ello se consigue
usando la suma de cuatro segmentos, =
1

4
, denidos de la siguiente forma:

1
(t) = (t, 0),
3
(t) = (r +Rt, 2) (r t R)

2
(t) = (R, t),
4
(t) = (r, 2t) (0 t 2)
Pensemos ahora que es a su vez la suma de los caminos
k
para k =1, 2, 3, 4, caminos
que vienen dados por
[
1
](t) = (t, 0, 0), [
3
](t) = (r +Rt, 0, 0) (r t R)
[
2
](t) = (Rcost, Rsent, 0) (0 t 2)
[
4
](t) = (r cost, r sent, 0) (0 t 2)
8. Teoremas de Stokes y Gauss 67
Por una parte es claro que
3
es el camino opuesto de
1
, con lo que las integrales a
lo largo de ambos caminos son opuestas y van a cancelarse. Los otros dos caminos recorren
circunferencias en el plano z = 0 centradas en el origen con radios R y r, la primera con
orientacin positiva y la segunda negativa. Para tener una notacin ms sugestiva podemos
considerar los caminos en R
2
dados por
C
R
(t) = (R cost , R sent ), C
r
(t) = (r cost , r sent ) (0 t 2) (5)
y, a partir de los comentarios anteriores, comprobamos fcilmente que

F. dl =

F. dl +

F. dl =

C
R
F. dl

C
r
F. dl (6)
En vista de las igualdades (4) y (6), el Teorema de Stokes nos da lo siguiente:
Consideremos un anillo A ={(x, y) R
2
: r (x, y) R} con 0 < r < R y supongamos
que F : R
2
es un campo vectorial de clase C
1
en un abierto R
2
que contenga al
anillo A. Entonces se verica que

C
R
F. dl

C
r
F. dl =

A
(rot F)dxdy
donde los caminos C
R
y C
r
vienen dados por (5).
Este resultado puede entenderse como una versin del Teorema de Green para el anillo A.
Obsrvese que la frontera de A es la unin de las dos circunferencias recorridas por los caminos
C
R
y C
r
, as que el primer miembro de la igualdad podra entenderse como la integral de lnea
a lo largo de la frontera del anillo A. La orientacin positiva en este caso, como ocurra para la
regin interior a una curva de Jordan, consiste en que el camino de integracin deje siempre a la
izquierda el anillo A. Para ello, la circunferencia de radio R debe orientarse positivamente, pero
la de radio r debe orientarse negativamente, de ah que tengamos la diferencia de integrales y
no la suma.
9.5. Caso de una supercie cerrada
Frecuentemente la integral de lnea que aparece en el Teorema de Stokes se anula, cualquiera
que sea el campo vectorial que estemos considerando, simplemente porque el camino de inte-
gracin es una suma de caminos triviales (constantes) y caminos que se recorren en ambos
sentidos, cancelndose las integrales. Por tanto, al aplicar el teorema concluimos que la integral
de supercie del rotacional de una amplia gama de campos se anula. En lugar de enunciar un
resultado general de este tipo, vamos a analizar un ejemplo concreto.
Consideremos la esfera unidad S ={(x, y, z) R
3
: x
2
+y
2
+z
2
= 1} para la que usamos la
parametrizacin denida en el rectngulo W = [, ] [/2, /2] por
(, ) = (cos cos, sen cos, sen) ( , /2 /2)
8. Teoremas de Stokes y Gauss 68
De nuevo usamos un camino regular a trozos cerrado y simple que recorre la frontera de W con
orientacin positiva, tomando =
1

4
, donde

1
(t) = (t, /2),
3
(t) = (t, /2) ( t )

2
(t) = (, t),
4
(t) = (, t) (/2 t /2)
Observamos que
[
1
](t) = (0, 0, 1), [
3
](t) = (0, 0, 1) ( t )
[
2
](t) = (cost, 0, sent) (/2 t /2)
[
4
](t) = (cost, 0, sent) (/2 t /2)
Tenemos pues dos caminos constantes y
4
es el camino opuesto de
2
. Deducimos que
la integral de lnea a lo largo del camino de cualquier campo vectorial continuo se anula.
Aplicando el Teorema de Stokes, obtenemos que

S
rot F. ds = 0
para cualquier campo vectorial F que sea de clase C
1
en un abierto que contenga a la esfera S.
El mismo resultado habramos obtenido para una esfera de radio arbitrario centrada en cualquier
punto de R
3
o, con el mismo razonamiento, para un elipsoide arbitrario.
9.6. Dominios simplemente conexos en R
3
Igual que el Teorema de Green nos da informacin sobre campos conservativos en dominios
de R
2
, el Teorema de Stokes permite obtener conclusiones anlogas en R
3
. La situacin es muy
similar a la que tenamos en el plano, salvo que para una curva en R
3
, aunque se pueda recorrer
mediante un camino cerrado y simple, no tiene sentido hablar de su regin interior, as que
debemos pensar en otra forma de denir los dominios simplemente conexos en R
3
.
Supongamos para empezar que F es un campo vectorial de clase C
1
en un dominio R
3
.
Sabemos hace tiempo que si F es conservativo en , entonces F es irrotacional en . Al igual
que ocurra en el plano, el recproco no es cierto, puede ocurrir que F sea irrotacional pero no
conservativo en .
Para comprobar lo recin comentado podemos usar esencialmente el mismo ejemplo que
tenamos en el plano, slo que llevado a R
3
como hemos hecho ya varias veces. Concretamente
tomamos
={(x, y, z) R
3
: x
2
+y
2
> 0} =R
3
\{(0, 0, z) : z R} (7)
es decir, es el dominio que resulta al suprimir de R
3
el eje vertical. Deniendo
F(x, y, z) =
_
y
x
2
+y
2
,
x
x
2
+y
2
, 0
_
_
(x, y, z)
_
.
obtenemos un campo vectorial de clase C

en y es fcil comprobar que F es irrotacional en

. Sin embargo, consideremos la circunferencia , y el camino que la recorre, dados por
= {(x, y, 0) R
3
: x
2
+y
2
= 1}, (t) = (cost, sent, 0) ( t ) (8)
8. Teoremas de Stokes y Gauss 69
Claramente es un camino regular cerrado en y comprobamos sin dicultad que

F. dl = 2 = 0
luego F no es conservativo en .
Pero vamos ahora con la parte ms interesante de la discusin: si F es un campo vectorial de
clase C
1
e irrotacional en un dominio R
3
, es obvio que la integral de supercie que aparece
en el Teorema de Stokes siempre va a anularse, cualquiera que sea la supercie contenida en
con la que trabajemos, luego tambin va a anularse la integral de lnea del teorema y eso nos dice
que las integrales de lnea de F sobre muchos caminos cerrados en se anulan, lo que apunta
en la direccin de que F pueda ser conservativo en . Intuitivamente, sabemos que son nulas
las integrales de lnea sobre los caminos que recorren el borde de una supercie contenida
en , luego debemos considerar dominios que tengan la propiedad de que cualquier camino
cerrado en recorra el borde de una supercie contenida en .
Volvamos al dominio que aparece en (7), para observar que no tiene la propiedad de
la que estamos hablando: como la circunferencia denida en (8) rodea al eje vertical, es
intuitivamente claro que cualquier supercie que tenga como borde dicha circunferencia deber
contener puntos del eje vertical, luego tal supercie no podr estar contenida en .
Demos ya la denicin rigurosa de la propiedad que estamos buscando. Se dice que un
dominio R
3
es simplemente conexo cuando dados dos puntos cualesquiera p, q y
dos caminos
0
,
1
: [a, b] con origen p y extremo q, es decir, con
0
(a) =
1
(a) = p y

0
(b) =
1
(b) =q, existe una funcin continua : [a, b] [0, 1] que verica las siguientes
condiciones:
(i) (t, 0) =
0
(t) y (t, 1) =
1
(t) para a t b
(ii) (a, s) = p y (b, s) = q para 0 < s < 1
Tenemos aqu una denicin bastante tcnica que requiere una explicacin ms intuitiva.
Para entender el signicado de la funcin , imaginemos que la variable s mide el tiempo y,
jado un instante s [0, 1] consideremos el camino
s
: [a, b] denido por

s
(t) = (t, s) (a t b)
La condicin (i) hace que nuestra notacin sea coherente, pues nos dice que para s = 0 y
s = 1 obtenemos efectivamente los caminos
0
y
1
dados previamente. Podemos entonces
pensar que el camino inicial
0
se modica en el tiempo, y probablemente la curva que recorre
se ir deformando, de tal manera que en cada instante s tenemos el camino intermedio
s
y
en el instante nal s = 1 obtenemos el camino
1
. Durante el proceso de deformacin, nunca
abandonamos el dominio , es decir, todos los caminos intermedios recorren curvas contenidas
en , ya que (t, s) para cualesquiera t [a, b] y s [0, 1]. Adems, la condicin (ii) nos
dice que todos los caminos intermedios
s
tienen su origen en el punto p y su extremo en q,
como por hiptesis les ocurra a los caminos inicial y nal. La continuidad de la funcin en
sus dos variables nos asegura, por una parte, la continuidad de cada funcin
s
, que ya habamos
asumido al decir que
s
es un camino. Por otra parte, dicho de nuevo intuitivamente, el camino

s
depende de manera continua de s, es decir, la deformacin de la que estamos hablando se
hace de manera continua.
8. Teoremas de Stokes y Gauss 70
En resumen, la existencia de la funcin con todas las condiciones requeridas signica
que el camino
0
puede modicarse de manera continua hasta convertirlo en
1
, sin salirnos del
abierto y teniendo todos los caminos intermedios su origen en el punto p y su extremo en el
punto q. Cuando este proceso puede llevarse a cabo para cualesquiera dos caminos en con
origen y extremo comunes, decimos que el dominio es simplemente conexo.
Nos interesa el caso particular en que el camino
0
es cerrado, es decir, p = q. Como
1
podemos tomar entonces un camino constante:
1
(t) = p para todo t [a, b]. Entonces la curva
recorrida por
1
se reduce al punto p y la funcin se interpreta como una deformacin
continua de la curva recorrida por
0
hasta dejarla reducida al punto p, con la condicin de que
todas las curvas intermedias estn contenidas en y sean recorridas por caminos cerrados con
origen y extremo en el punto p.
Conviene precisar que la denicin de los dominios simplemente conexos en R
2
puede
hacerse literalmente como la hemos hecho en R
3
, obteniendo una denicin equivalente a la que
dimos en su momento. De hecho, la denicin dada para R
3
puede usarse en R
n
para cualquier
dimensin n. Ocurre simplemente que, en el caso n = 2, disponamos de una caracterizacin
en trminos de curvas de Jordan que es muy sencilla e intuitiva.
Para ver algunos ejemplos en tres dimensiones, R
3
es un dominio simplemente conexo y
lo mismo le ocurre a cualquier bola abierta o, de manera ms general, a cualquier dominio
R
3
que sea convexo, es decir, tenga la propiedad de que el segmento que une cualesquiera
dos puntos de est contenido en . En tal caso, si
0
,
1
: [a, b] son caminos con origen
y extremo comunes, la funcin que realiza la deformacin de uno en otro puede denirse de
la siguiente forma
(t, s) = (1s)
0
(t) + s
1
(t) (a t b, 0 s 1)
y es fcil comprobar que cumple todas las condiciones requeridas.
Por analoga con lo que ocurre en el plano, se podra pensar que un dominio simplemente
conexo en R
3
no puede tener huecos, pero esta idea es errnea. Se puede probar, por ejemplo,
que el dominio = {x R
3
: 1 < x < 2}, comprendido entre dos esferas, es simplemente
conexo.
Para obtener ejemplos de dominios en R
3
que no son simplemente conexos, podemos seguir
la pista del dominio que apareci en (7). Ms concretamente si un dominio R
2
no es
simplemente conexo y tomamos

={(x, y, z) R
3
: (x, y) }
se puede comprobar que el dominio

R
3
tampoco es simplemente conexo. Por ejemplo, si
es el anillo comprendido entre dos circunferencias concntricas,

es la regin del espacio
comprendida entre dos cilindros coaxiales. Un dominio en forma de donut es otro ejemplo de
dominio en R
3
que no es simplemente conexo.
Pues bien, podemos ya enunciar la siguiente consecuencia del Teorema de Stokes, que es
un resultado anlogo al que se obtuvo en el plano usando el Teorema de Green:
Corolario. Si un dominio R
3
es simplemente conexo, todo campo vectorial de clase
C
1
e irrotacional en es conservativo en .
8. Teoremas de Stokes y Gauss 71
Puede ser instructivo comentar la demostracin de este corolario, aunque admitiremos dos
hechos que no vamos a comprobar.
Sea pues R
3
un dominio simplemente conexo y F un campo vectorial de clase C
1
e
irrotacional en . Tomemos un camino cerrado : [a, b] , para demostrar que la integral de
lnea de F a lo largo de es cero. Como primer hecho que vamos a admitir sin demostracin,
podemos suponer que es de clase C
2
, es decir, en el teorema de caracterizacin de los campos
conservativos, basta considerar caminos cerrados de clase C
2
.
Puesto que es simplemente conexo, tenemos una funcin continua que deforma la
curva recorrida por hasta dejarla reducida al punto p = (a) = (b). La funcin est
denida en el rectngulo W = [a, b] [0, 1] y admitimos tambin sin demostracin que podemos
conseguir que sea de clase C
2
, para poder aplicar el Teorema de Stokes usando como
parametrizacin de la supercie (W). Anotemos el resto de condiciones que cumple :
(i) (t, 0) =(t) y (t, 1) = p para a t b
(ii) (a, s) =(b, s) = p para 0 < s < 1
Como en casos anteriores, necesitamos un camino regular a trozos, cerrado y simple, que
recorra la frontera de W con orientacin positiva, as que tomamos =
1

4
, donde

1
(t) = (t, 0),
3
(t) = (a+bt, 1) (a t b)

2
(t) = (b, t),
4
(t) = (a, 1t) (0 t 1)
Las condiciones (i) y (ii) que cumple la funcin nos dicen que
1
= mientras que,
para k = 2, 3, 4, el camino
k
es constante y, por tanto, la integral sobre l se anula. As
pues, al aplicar el Teorema de Stokes concluimos

F. dl =

1
F. dl =

F. dl =

rot F. ds = 0
9.7. Teorema de Gauss
Para poder enunciar este teorema en una forma sucientemente general, conviene concretar
previamente alguna idea. Vamos a trabajar con un dominio acotado R
3
e intentamos dar
sentido a la integral de supercie de un campo vectorial sobre la frontera de . Pedirle a la
frontera que sea una supercie, como ocurre por ejemplo cuando es una bola abierta,
resulta demasiado restrictivo, podemos encontrarnos con aristas que impidan parametrizar
de manera sucientemente regular. Pinsese por ejemplo lo que ocurre cuando es un
cubo, la mitad de una bola abierta o la parte del interior de un cilindro comprendida entre dos
planos.
Debemos pues admitir que pueda ser una unin nita de supercies. Como integral de
supercie de un campo vectorial sobre , parece natural considerar la suma de las integrales
sobre las supercies que se unen, convenientemente orientadas. Para ello, aparte de decidir la
orientacin que vamos a usar, debemos cuidar la forma en que descomponemos como unin
de supercies.
8. Teoremas de Stokes y Gauss 72
Por poner un ejemplo muy trivial, al enumerar las supercies cuya unin es no debemos
repetir ninguna, pues entonces la integral sobre una misma supercie se sumara varias veces,
produciendo un resultado absurdo. Esta situacin es fcilmente evitable, pero tambin debemos
evitar algo no tan fcil de detectar, como que dos de las supercies que unimos tengan una
amplia parte comn, de forma que la integral sobre dicha parte tambin se sume ms de una
vez, de nuevo indebidamente.
Exigir que las supercies sean disjuntas es demasiado restrictivo, en los ejemplos comen-
tados anteriormente las supercies no son disjuntas, tienen precisamente aristas en comn.
Lo que debemos evitar es que las supercies se superpongan excesivamente. Esta idea puede
formularse como sigue.
Sean W
1
= D
1

1
y W
2
= D
2

2
dos recintos en el plano y
1
,
2
parametrizaciones
de sendas supercies S
1
=
1
(W
1
) y S
2
=
2
(W
2
). Diremos que
1
y
2
no se solapan, o de
manera ms intuitiva, que las supercies S
1
y S
2
no se solapan, cuando
1
(D
1
)
2
(D
2
) = / 0.
Observemos que en tal caso S
1
y S
2
pueden no ser disjuntas, pero su interseccin S
1
S
2
est contenida en el conjunto
1
(
1
)
2
(
2
), un conjunto que podemos despreciar a efectos
de clculo de integrales de supercie. Para n > 2 diremos naturalmente que las supercies
S
1
, S
2
, . . . , S
n
no se solapan cuando no lo hagan dos a dos, es decir, cuando S
j
y S
k
no se
solapen para cualesquiera j, k = 1, 2, . . . , n con j = k. Podemos ya enunciar con comodidad el
Teorema de Gauss:
Teorema. Sea un dominio acotado en R
3
cuya frontera pueda expresarse como una
unin
=
n

k=1
S
k
donde S
1
, S
2
, . . . , S
n
son supercies que no se solapan, admiten parametrizaciones simples y
suaves, y son orientables, por lo que las consideramos todas ellas orientadas mediante la nor-
mal exterior a . Entonces, si F es un campo vectorial de clase C
1
en un abierto de R
3
que
contenga a se verica que

(div F)dxdydz =
n

k=1

S
k
F. ds
Si se quiere, la suma de integrales que aparece en el segundo miembro puede entenderse,
siempre que se cumplan todas las hiptesis del teorema, como la integral de supercie del campo
F sobre . La Frmula de Gauss-Ostrogradsky queda entonces como sigue

(div F)dxdydz =

F. ds
9.8. Ejemplo
Como aplicacin del Teorema de Gauss, calculemos el ujo saliente del campo
F(x, y, z) = (x
3
+2yz)i + (y
3
2xz)j + (x
2
+y
2
)k (x, y, z R)
a travs de la mitad superior (z 0) del elipsoide de ecuacin 4x
2
+4y
2
+z
2
= 4.
8. Teoremas de Stokes y Gauss 73
Consideremos el dominio acotado
= {(x, y, z) R
3
: 4x
2
+4y
2
+z
2
< 4, z > 0}
cuya frontera se expresa en la forma = ST donde
S = {(x, y, z) R
3
: 4x
2
+4y
2
+z
2
= 4, z 0} y T = {(x, y, 0) R
3
: x
2
+y
2
1}
Claro est que S es la supercie a travs de la cual queremos calcular el ujo del campo.
Por tratarse del ujo saliente, orientamos S mediante la normal exterior a lo que concuerda
con lo que exige el Teorema de Gauss. Por otra parte, T es una supercie en forma explcita
que podemos ver como T =(W) donde
W = {(x, y) R
2
: x
2
+y
2
1}, (x, y) = (x, y, 0)
_
(x, y) W
_
El vector normal
x

y
es constantemente igual a k, luego dene la orientacin opuesta
a la que exige el Teorema de Gauss. El resto de las hiptesis se comprueban sin dicultad.
Por ejemplo, el hecho de que S y T no se solapan se debe a que el interior del recinto W
viene dado por D ={(x, y) R
2
: x
2
+y
2
< 1}, y es evidente que (D) S = / 0, luego ninguna
parametrizacin de S puede solaparse con .
As pues, el Teorema de Gauss, teniendo en cuenta la orientacin de la supercie T, nos
permite escribir

(div F)dxdydz =

S
F. ds

T
F. ds
Puesto que div F(x, y, z) = 3(x
2
+y
2
) para cualesquiera x, y, z R, usando coordenadas
cilndricas tenemos

(div F)dxdydz = 6

1
0

1
2
0
dzd = 12

1
0

3
_
1
2
d
Para la ltima integral puede usarse el cambio u = 1
2
, obteniendo

1
0

3
_
1
2
d =
1
2
_
2(1
2
)
3/2
3

2(1
2
)
5/2
5
_
=1
=0
=
2
15
con lo cual

(div F)dxdydz =
8
5
Por otra parte, para la integral sobre la supercie T tenemos

T
F. ds =

F(x, y, 0)

k
_
dxdy =

W
(x
2
+y
2
)dxdy =

1
0

3
dd =

2
y obtenemos nalmente el ujo buscado

S
F. ds =
8
5
+

2
=
21
10