Teoremas de Stokes y Gauss

I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es

ndice
1. Introduccin

1.1. El rotacional y la divergencia de un campo vectorial . . . . . . . . . . . . . . . . . . . . . . .

1.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. Teorema de Stokes

2.1. Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Interpretacin fsica del rotacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3. Teorema de la divergencia o de Gauss

3.1. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Interpretacin fsica de la divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

T EOREMAS DE S TOKES Y G AUSS

1.

1/11

Introduccin
Nos ocupamos ahora de dos generalizaciones del segundo teorema fundamental del clculo a integrales de

superficie: el teorema de Stokes y el teorema de Gauss. stos, junto con el teorema de Green, constituyen los
tres teoremas fundamentales del clculo integral vectorial.
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.

1.1.

El rotacional y la divergencia de un campo vectorial

Sea el operador
=

i+
j + k.
x
y
z

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

i+
j+
k,
x
y
z

expresin que puede interpretarse como una multiplicacin formal del operador por el campo escalar .
Si F(x, y, z) = P(x, y, z)i + Q(x, y, z) j + R(x, y, z)k es un campo vectorial de clase C1 , el rotacional de F es
otro campo vectorial definido mediante la ecuacin

rot F =


 


R Q
P R
Q P
i+
j+
k,

y
z
z x
x
y

que formalmente escribimos



 i


rot F = 
 x

 P

y
Q






 = F.



R 

Si un campo vectorial F representa el flujo de un fluido entonces rot F = 0 significa fsicamente que el fluido
no tiene rotaciones, o es irrotacional: esto es, no genera remolinos. La justificacin de esta idea se ver ms
adelante, como consecuencia del teorema de Stokes; sin embargo, podemos decir informalmente que si el
campo es irrotacional entonces una pequea rueda con aspas colocada en el fluido se mover con ste, pero no
girar alrededor de su propio eje.
Similarmente, considerando el producto escalar F de un modo puramente formal obtenemos la expreC LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

2/11

I. M ARRERO

sin que define el campo escalar llamado divergencia de F, div F:

div F =

P Q R
+
+
= F.
x
y
z

El significado fsico de la divergencia se presentar en conexin con el teorema de Gauss, pero podemos
adelantar que si imaginamos F como el campo de velocidad de un fluido entonces div F representa la tasa de
expansin por unidad de volumen del fluido. Una divergencia negativa significa que el fluido se comprime.

1.2.

Propiedades

Para todo campo escalar y cualesquiera campos vectoriales F, G suficientemente regulares, se tiene:
Linealidad: Si a, b son constantes,
(i) div (a F + b G) = a div F + b div G,
(ii) rot (a F + b G) = a rot F + b rot G.
Accin sobre un producto:
(i) div (F) = div F + F, bien (F) = F + F,
(ii) rot (F) = rot F + F, bien (F) = F + F.
Divergencia y rotacional de un gradiente:
(i) div () = , donde es el operador laplaciano = 2 / x2 + 2 / y2 + 2 / z2 .
(ii) rot () = 0.
Divergencia y rotacional de un rotacional:
(i) div (rot F) = 0.
(ii) rot (rot F) = (div F) F, donde si F = Pi + Q j + Rk entonces F = (P)i + (Q) j + (R)k.
La demostracin de estas propiedades queda al cuidado del lector.

2.

Teorema de Stokes
El teorema de Stokes es una extensin directa del teorema de Green, en tanto que relaciona la integral de

lnea de un campo vectorial alrededor de una curva cerrada simple C en R3 con la integral sobre una superficie
S de la cual C es frontera.
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

T EOREMAS DE S TOKES Y G AUSS

3/11

Ms precisamente, el teorema de Stokes establece que la integral de la componente normal del rotacional
de un campo vectorial F sobre una superficie S es igual a la integral de la componente tangencial de F alrededor
de la frontera C de S (Figura 1).

n
S = r (T )
T
r

Figura 1. Aplicacin del teorema de Stokes.

2.1.

Teorema de Stokes

Teorema 2.1 (Stokes). Sea S = r(T ) una superficie paramtrica regular simple, donde T es una regin del
plano OUV limitada por una curva de Jordan descrita por un camino regular a trozos . Supongamos
tambin que r es una aplicacin inyectiva de clase C2 en un entorno abierto de T . Sea C la imagen de
por r, y sea F = (P, Q, R) un campo vectorial de clase C1 (S). Entonces:
ZZ

Z


rot F dS = F d,

donde = r es una parametrizacin de C y se recorre en sentido positivo.

D EMOSTRACIN . Sea la parametrizacin de dada por (t) = (U(t),V (t)) (t [a, b]). Si F = (P, Q, R)
entonces

rot F = F =

C LCULO I NTEGRAL V ECTORIAL


R Q P R Q P

.
y
z z x x
y
OCW-ULL 2011/12

4/11

I. M ARRERO

Por otra parte, si r(u, v) = (X(u, v),Y (u, v), Z(u, v)) ((u, v) T ) entonces
r r

=
u v


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

Necesitamos probar:
ZZ

rot F dS

ZZ 

=
T

 

R Q P R Q P
(Y, Z) (Z, X) (X,Y )

,
,
du dv
y
z z x x
y
(u, v) (u, v) (u, v)

P dx + Q dy + R dz,
C

y a tal fin basta demostrar las tres igualdades siguientes:

ZZ 
T


Z
P (Z, X) P (X,Y )

du dv = P dx,
z (u, v)
y (u, v)
C

(1)

ZZ 


Z
Q (X,Y ) Q (Y, Z)

du dv = Q dy,
z (u, v)
T x (u, v)
C

ZZ 
Z
R (Y, Z) R (Z, X)

du dv = R dz.
x (u, v)
T y (u, v)
C

Nos ocuparemos solamente de establecer la primera de ellas, ya que las dos restantes admiten un tratamiento anlogo.
Como (t) = r[(t)] = (X[U(t),V (t)],Y [U(t),V (t)], Z[U(t),V (t)]) (t [a, b]), se tiene:
Z b

P dx
C

(P[(t)], 0, 0) 0 (t) dt


Z b
X 0
X 0
=
P[r((t))]
U (t) +
V (t) dt
u
v
a



Z b
Z 
X X 
X
X
0
=
p((t))

(t)
dt
=
p
,
du
+
dv
,
u v (t)
u
v
a

siendo p = P r.
Ahora aplicamos el teorema de Green:







ZZ 
X

X
X

X
du +
dv
=
p

p
du dv
u
v
v
v
u
T u

ZZ 
p X
2X
2X
p X
=
+p
p

du dv
u v
u v
u v v u
T

ZZ 
p X p X
=

du dv.
u v v u
T

OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

T EOREMAS DE S TOKES Y G AUSS

5/11

Teniendo en cuenta que p(u, v) = P(X(u, v),Y (u, v), Z(u, v)), sigue que
ZZ 


p X p X

du dv =
u v v u
T




ZZ 
P X P Y P Z X
P X P Y P Z X
=
+
+

+
+
du dv
x u y u z u v
x v
y v
z v u
T


ZZ
P (Z, X) P (X,Y )
=
du dv.

y (u, v)
T z (u, v)


Esto establece (1), como se pretenda.

Observacin 2.2. Ntese que para aplicar el teorema de Stokes es necesario elegir una orientacin en C
compatible con la orientacin de S. Para recordar mnemotcnicamente esta orientacin, basta apelar a la
regla del sacacorchos: si se gira un sacacorchos siguiendo la orientacin considerada en C, el sentido en
el que avanza la punta del mismo ha de ser el de la normal considerada en S.

Ejemplo 2.3. Sea S la porcin superior de una esfera que corta al plano z = 0 en la circunferencia x2 + y2 =
1. Sea F(x, y, z) = (y, x, exz ). Evaluar
ZZ

F dS,

si S est orientada en el sentido de la normal exterior.

R ESOLUCIN . Parametrizamos C mediante x = cost, y = sent, z = 0 (0 t 2). Por el teorema de Stokes,
ZZ

F dS =

F ds =

Z 2

(sent, cost, 1) ( sent, cost, 0) dt =

Z 2
0

es el valor de la integral pedida.

2.2.

sen2 t + cos2 t dt = 2

Interpretacin fsica del rotacional

Supongamos que V representa el campo de velocidad de un fluido. Consideremos un punto P y un vector

unitario n y denotemos por S el disco de centro P y radio que es perpendicular a n (Figura 2). Por el teorema
de Stokes:
Z

V ds =

ZZ

rot V dS =

ZZ

rot V n dS,

donde S tiene la orientacin inducida por n.

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

6/11

I. M ARRERO

Figura 2. Interpretacin fsica del rotacional.

Aplicando el teorema de la media,

ZZ
S

rot V n dS = rot V (Q) n(Q) |S |,

donde Q S , |S | = 2 es el rea de S , y rot V y n se evalan en Q. As,

1
0+ |S |

V ds = lm rot V (Q) n(Q) = rot V (P) n(P).

lm

(2)

0+

En este punto hacemos un inciso para observar que, dada una curva C, si V apunta en el sentido de la tangente a C entonces

CV

ds > 0 y las partculas de C rotan en sentido contrario al del movimiento de las agujas

del reloj. Si V apunta en el sentido opuesto, entonces

no giran alrededor de C, y

CV

CV

ds = 0. En general, al ser

ds < 0. Si V es normal a C entonces las partculas

R

CV

ds la integral de la componente tangencial de

V , dicha integral representa la cantidad neta de giro de fluido en sentido contrario al del movimiento de las
agujas del reloj. Nos referimos a

CV

ds como la circulacin de V alrededor de C.

Volviendo a (2), ya que la circulacin

S V ds es la velocidad neta del fluido alrededor de S , vemos que

rot V n representa el efecto de giro o rotacin del fluido alrededor del eje n. Ms precisamente, (2) establece
que rot V (P) n(P) es la circulacin de V por unidad de rea en P en una superficie perpendicular a n(P). El
mdulo de rot V n es mximo cuando n = rot V /krot V k; por tanto, el efecto de rotacin en P es mximo
alrededor de un eje paralelo a rot V . Por esta razn, rot V se denomina vector de vorticidad.
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

T EOREMAS DE S TOKES Y G AUSS

3.

7/11

Teorema de la divergencia o de Gauss

El teorema de la divergencia relaciona una integral triple extendida a un slido con una integral de superfi-

cie tomada sobre la frontera de dicho slido. Concretamente, asegura que el flujo de un campo vectorial hacia
el exterior de una superficie cerrada es igual a la integral de la divergencia de dicho campo vectorial sobre el
volumen encerrado por la superficie (Figura 3).
Se trata de un resultado paralelo a los teoremas de Green y Stokes, en el sentido de que vincula una integral
sobre un objeto geomtrico cerrado (curva o superficie) con otra integral sobre la regin contenida (superficie
o volumen).
normal exterior

normal interior

Figura 3. Aplicacin del teorema de Gauss.

3.1.

Teorema de Gauss

Teorema 3.1 (Gauss). Si V es un slido en R3 limitado por una superficie orientable S, si n es la normal
exterior a S, y si F es un campo vectorial de clase C1 (V ), entonces
ZZZ

ZZ

F n dS.

div F dx dy dz =
V

D EMOSTRACIN . Sea F = (P, Q, R). Entonces

ZZZ

ZZZ

div F dx dy dz =
V

P
dx dy dz +
x

Q
dx dy dz +
y

ZZZ
V

ZZZ
V

R
dx dy dz.
z

Por otra parte,

ZZ
S

F n dS =

ZZ
S

C LCULO I NTEGRAL V ECTORIAL

(Pi + Q j + Rk) n dS =

ZZ

(Pi n + Q j n + Rk n) dS.

OCW-ULL 2011/12

8/11

I. M ARRERO

As pues, es suficiente establecer las igualdades:

ZZ

Pi n dS =

ZZ

Q j n dS =

ZZ
S

ZZZ

ZZZ
V

Rk n dS =

ZZZ
V

P
dx dy dz,
x

(3)

Q
dx dy dz,
y

(4)

R
dx dy dz.
z

(5)

Probaremos que (3), (4) y (5) son vlidas para slidos V proyectables sobre los planos coordenados OY Z,
OXZ y OXY , respectivamente. Esto demostrar el teorema para todos los slidos que son proyectables simultneamente sobre los tres planos coordenados, y tambin para slidos descomponibles en recintos proyectables
sobre los tres planos. En efecto, el teorema de la divergencia se extiende a estos ltimos aplicndolo a cada
una de las partes resultantes de la descomposicin y teniendo en cuenta que los conjuntos de volumen nulo no
contribuyen a la integral triple, mientras que las aportaciones a la integral de superficie de las caras comunes
a los recintos adyacentes se cancelan dos a dos porque las normales exteriores tienen sentidos opuestos sobre
esas caras.
Ya que las demostraciones de las igualdades (3), (4) y (5) admiten un tratamiento anlogo, nos centraremos
en establecer (5) para slidos proyectables sobre el plano OXY .
Supongamos entonces que



V = (x, y, z) R3 : f (x, y) z g(x, y), (x, y) T ,

siendo T una regin conexa del plano OXY y f , g funciones continuas en T tales que f (x, y) g(x, y) ((x, y)
T ). Geomtricamente, T es la proyeccin de V sobre el plano OXY . Toda recta paralela al eje OZ que atraviese
T corta al slido V a lo largo de un segmento rectilneo que une las superficies z = f (x, y) y z = g(x, y). La
superficie frontera S consta de un casquete superior S1 , con ecuacin explcita z = g(x, y), otro inferior S2 , con
ecuacin explcita z = f (x, y), y quiz una porcin de cilindro S3 , engendrado por una recta que se mueve a lo
largo de la frontera de T mantenindose paralela al eje OZ (Figura 4).
La idea de la demostracin es muy sencilla: expresaremos la integral triple del segundo miembro de (5)
como una doble extendida a la proyeccin T y demostraremos que sta vale lo mismo que la integral de
superficie del primer miembro de (5).
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

T EOREMAS DE S TOKES Y G AUSS

9/11

y
n

S1
S3

S2
n
z

T
x

Figura 4. Slido proyectable en el plano OXY .

Por una parte, se tiene:

ZZZ
V

R
dx dy dz =
z

ZZ Z g(x,y)
R

f (x,y)

ZZ

dz dx dy =

[R(x, y, g(x, y)) R(x, y, f (x, y))] dx dy.

Por otra parte:

ZZ

Rk n dS =

ZZ

Rk n dS +

S1

ZZ

Rk n dS +

S2

ZZ

Rk n dS.

S3

Sobre S3 , n es paralelo al plano OXY , de modo que k n = 0. Sobre S1 y S2 usamos las parametrizaciones
r1 (x, y) = (x, y, g(x, y)) y r2 (x, y) = (x, y, f (x, y)), respectivamente.
En S1 , n tiene el sentido del producto vectorial fundamental r1 / x r1 / y = (gx , gy , 1). Luego,
ZZ
S1

Rk n dS =

ZZ

R(x, y, g(x, y)) dx dy.

T

En S2 , n tiene sentido opuesto al del producto vectorial fundamental r2 / x r2 / y = ( fx , fy , 1).

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

10/11

I. M ARRERO

As pues,
ZZ

Rk n dS =

ZZ

R(x, y, f (x, y)) dx dy.

S2

Consecuentemente,
ZZ

Rk n dS =

ZZ

[R(x, y, g(x, y)) R(x, y, f (x, y))] dx dy.

Esto establece (5) y completa la prueba.

Ejemplo 3.2. Evaluar

RR

S F dS, donde F(x, y, z) = xy

2 i+x2 y j +yk y S es la superficie del cilindro x2 +y2 = 1,

acotado por los planos z = 1 e incluyendo las porciones x2 + y2 1 cuando z = 1.

R ESOLUCIN . Aplicaremos el teorema de la divergencia. Ahora, S es la frontera de la regin V descrita por
las condiciones x2 + y2 1, 1 z 1, de modo que
ZZ

F dS =

ZZZ

div F dx dy dz,

con
ZZZ

ZZZ

div F dx dy dz =
V

Z 1 ZZ

(x + y ) dx dy dz =

ZZ

(x + y ) dx dy dz = 2
1

(x2 + y2 ) dx dy,



donde T = (x, y) R2 : x2 + y2 1 . Esta integral doble se evala fcilmente usando coordenadas polares,
obtenindose
ZZ

(x2 + y2 ) dx dy =

Z 2
0

Z 1

r3 dr =

.
2

Consecuentemente,
ZZZ

div F dx dy dz =
V

es el valor de la integral pedida.

3.2.

Interpretacin fsica de la divergencia

En un punto P, la divergencia div F(P) es la tasa de flujo neto hacia el exterior en P por unidad de volumen.
En efecto, sea una bola en R3 centrada en P, de radio . El teorema de la media proporciona Q tal
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

T EOREMAS DE S TOKES Y G AUSS

11/11

que
ZZ

F n dS =

ZZZ

div F dx dy dz = div F(Q) | |,

donde n es la normal exterior a . Ahora,

1
div F(P) = lm div F(Q) = lm
0+
0+ | |

ZZ

F n dS.

El punto P se dice una fuente o un sumidero segn que div F(P) > 0 div F(P) < 0, ya que en el primer
caso la tasa de flujo neto cerca de P se produce hacia el exterior, mientras que en el segundo se produce hacia
el interior.
Si div F = 0 entonces

RR

SF

dS = 0 para toda superficie cerrada S, mostrando que el flujo de F a travs

de S es nulo. As pues, si F es el campo de velocidad de un fluido, la cantidad neta de fluido que fluye hacia
afuera es nula; esto es, entra la misma cantidad de fluido que sale, por unidad de tiempo. Un fluido con esta
propiedad se denomina incompresible.

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12