Cálculo en Varias Variables - Escuela de Matemáticas Universidad Nacional, sede Medellín

Clase 25. El teorema de la Divergencia de Gauss

La divergencia de un campo vectorial

Definición
Sea F ( x, y, z) = P i + Q j + R k un campo vectorial sobre R3 tal que existen
∂P/∂x, ∂Q/∂y y ∂R/∂z. La divergencia de F es la función de tres variables dada por

∂P ∂Q ∂R
div F = + + .
∂x ∂y ∂z

Observe que div F es un campo escalar. En términos del operador gradiente ∇ = (∂/∂x ) i +
(∂/∂y) j + (∂/∂z) k, la divergencia de F se puede expresar simbólicamente como el producto
punto de div y F :
div F = ∇ · F

Si F = x2 y, yz, ez , entonces


Ejemplo
 
∂ ∂ ∂ ∂ 2 ∂ ∂
· x2 y, yz, ez = ( x y) + (yz) + (ez ) = 2xy + z + ez .


div F = ∇ · F = , ,
∂x ∂y ∂z ∂x ∂y ∂z

El teorema de la divergencia

Enunciamos sin prueba el teorema de divergencia para regiones E que son simultáneamente
de los tipos I, II y III en R3 , denominadas regiones sólidas simples. (Por ejemplo, regiones
acotadas por elipsoides o cajas rectangulares). La frontera S = ∂E del sólido E es una superficie
cerrada, y usamos la convención que la orientación positiva es hacia afuera; es decir, el vector
unitario normal apunta hacia afuera.

Teorema de la Divergencia de Gauss (1813)

Sea E una región sólida simple y S la superficie frontera de E, dada con orientación positiva
(hacia afuera). Sea F un campo vectorial cuyas funciones componentes poseen derivadas parciales
continuas en una región abierta que contiene a E. Entonces
ZZ ZZZ
F · dS = div F dV (1)
S E

Por tanto, el teorema de la Divergencia plantea que, bajo las condiciones dadas, el flujo de F a
través de la superficie frontera es igual a la triple integral de la divergencia de F sobre E.

1
Cálculo en Varias Variables - Escuela de Matemáticas Universidad Nacional, sede Medellín

La razón del nombre de divergencia se puede entender en el contexto del flujo de fluidos.
Si F ( x, y, z) es la velocidad de un fluido (o gas), entonces div F ( x, y, z) representa la razón
de cambio neta, con respecto al tiempo, de la masa del fluido (o gas) que fluye desde el
punto ( x, y, z) por unidad de volumen. En otras palabras, div F ( x, y, z) mide la tendencia del
fluido a divergir del punto ( x, y, z). En particular, cuando div F = 0, se suele decir que F es
incompresible.

Ejemplos
ZZ D E
2
1. Evaluemos la integral de superficie F · dS, donde F( x, y, z) = xy, y2 + e xz , sen( xy)
S
y S es la frontera de la región E acotada por el cilindro parabólico z = 1 − x2 y los planos
z = 0, y = 0 y y + z = 2, orientada positivamente, como se ilustra en la Figura 1.

Figura 1: Cilindro z = 1 − x2 acotado por z = 0, y = 0, y + z = 2

Notemos que si intentamos usar la definición de integral de superficie de un campo

vectorial, tenemosque resolver cuatro integrales (una por cada cara del sólido). Además
que la segunda y tercera componentes del campo lucen complicadas de integrar. Lo
anterior nos indica que debemos buscar una manera alternativa de calcular la integral.
Como la superficie es cerrada y orientada con el vector normal exterior, podemos usar
el teorema de Gauss.

Primero, calculamos

∂ ∂ 2 ∂
div F = ∇ · F = ( xy) + (y2 + e xz ) + (sen( xy)) = y + 2y + 0 = 3y.
∂x ∂y ∂z

Por otro lado, el sólido E lo podemos describir como una región tipo II (verificarlo!)

E = {( x, y, z) | −1 ≤ x ≤ 1, 0 ≤ z ≤ 1 − x2 , 0 ≤ y ≤ 2 − z}.

2
Cálculo en Varias Variables - Escuela de Matemáticas Universidad Nacional, sede Medellín

Aplicando el teorema de la divergencia de Gauss tenemos que

ZZ ZZZ Z 1 Z 1− x 2 Z 2− z
F · dS = div F dV = 3y dy dz dx
−1 0 0
S E

Z 1 Z 1− x 2
3
= (2 − z)2 dz dx
−1 0 2

Z 1
1 184
8 − (1 + x2 )3 dx
 
= = .
2 −1 35

ZZ
F · dS, donde F( x, y, z) = xz2 , 13 y3 + tan(z), x2 z + y2 y S es la mitad supe-


2. Evalúe
S
rior de la esfera x2 + y2 + z2 = 1, con orientación positiva (ver Figura 2).

Figura 2: x2 + y2 + z2 = 1, con z ≥ 0

Antes de usar el teorema de Gauss, debemos ver si se cumplen todas las condiciones
necesarias: superficie S cerrada, orientada positivamente y campo vectorial con compo-
nentes con derivadas parciales continuas.

De acuerdo con el enunciado, S es la mitad superior de la esfera x2 + y2 + z2 = 1. Es

decir, es la mitad superior de un cascarón esférico y por lo tanto es abierta (caso diferente
a si nos dicen que es la mitad superior de la bola x2 + y2 + z2 ≤ 1). Así que no podemos
usar directamente el teorema de Gauss.

Para corregir este problema debemos cerrar la superficie. Con este fin, debemos incluir
la porción del plano z = 0 que nos tape el cascarón esférico. Consideremos la superficie
S1 = {( x, y, z) | x2 + y2 ≤ 1, z = 0}, orientada con un vector normal que apunte
hacia abajo; entonces, dado que S = {( x, y, z) | x2 + y2 + z2 = 1, z ≥ 0}, se sigue que,
S ∪ S1 es una superficie cerrada y orientada positivamente. Así, S ∪ S1 es la frontera de
la región simple E = {( x, y, z) | x2 + y2 + z2 ≤ 1, z ≥ 0}.

3
Cálculo en Varias Variables - Escuela de Matemáticas Universidad Nacional, sede Medellín

Por el teorema de la divergencia de Gauss,

ZZZ ZZ ZZ ZZ ZZ
div F dV = F · dS = F · dS = F · dS + F · dS
E ∂E S ∪ S1 S S1

Por tanto, ZZ ZZZ ZZ

F · dS = div F dV − F · dS. (2)
S E S1

Empecemos calculando la integral triple sobre E. Para esto, vemos que

 
∂ 2 ∂ 1 3 ∂ 3
div F = ( xz ) + y + tan(z) + ( x2 z + y2 ) = z2 + y2 + 0 + x2 + 0.
∂x ∂y 3 ∂z 3
ZZZ ZZZ
x2 + y2 + z2 dV.


De ahí que div F dV =
E E

Usando coordenadas esféricas, la región simple E se puede expresar como

n πo
E = (ρ, θ, φ) | 0 ≤ ρ ≤ 1, 0 ≤ θ ≤ 2π, 0 ≤ φ ≤ .
2
Por consiguiente,
ZZZ Z 2π Z π/2 Z 1
2 2 2
ρ2 · ρ2 sen φ dρ dφ dθ


x + y + z dV =
0 0 0
E
Z 2π Z π/2 Z 1
2π
= dθ · sen φ dφ · ρ4 dρ = .
0 0 0 5
Ahora bien, para calcular la integral de superficie sobre S1 , notemos que

S1 = {( x, y, z) / ( x, y) ∈ D, z = 0}, donde D = {( x, y) / x2 + y2 ≤ 1}.

Por tanto, podemos ver a S1 como la gráfica de una función z = g( x, y) = 0, y se puede

parametrizar haciendo: x = x, y = y y z = g( x, y) = 0. De donde, r( x, y) = ( x, y, 0) es
una función vectorial que parametriza a S1 y como el vector normal debe apuntar hacia
abajo (para preservar la orientación de E), entonces (como vimos en clases anteriores)
rx × ry = ( gx , gy , −1) = (0, 0, −1). Por tanto
ZZ ZZ  
2 1 3 2 2
F · dS = x (0) , y + tan(0), x (0) + y · h 0, 0, −1 i dx dy
3
S1
ZDZ Z 2π Z 1
2
= (−y ) dx dy = − r2 sen2 (θ ) · r dr dθ
0 0
DZ
2π Z 1
π
= − sen2 (θ )dθ r3 dr = − .
0 0 4
Finalmente, volviendo a la ecuación (2), tenemos que:
ZZ
2π  π  13π
F · dS = − − = .
5 4 20
S

4
Cálculo en Varias Variables - Escuela de Matemáticas Universidad Nacional, sede Medellín

√
3. Sean E = {( x, y, z) | x2 + y2 ≤ 1, x ≤ y ≤ 3x, 0 ≤ z ≤ 4 − x2 − y2 , x ≥ 0, y ≥ 0}
y S = ∂E Z
laZfrontera de E, orientada positivamente. El sólido se ilustra en la Figura 3.
D p E
Hallemos F · dS para F( x, y, z) = y3 , z3 , z x2 + y2 .
S

Figura 3: La región simple E

Como se cumplen todas las condiciones del teorema de Gauss, tenemos que
ZZ ZZZ ZZZ q
F · dS = ∇ · F dV = x2 + y2 dV.
S E E
Lo más adecuado es calcular la integral triple usando coordenadas cilíndricas. Por un
lado, z siempre varía entre el plano xy y el paraboloide z = 4 − x2 − y2 ; de donde,
0 ≤ z ≤ 4 − r2 . Por otro lado, si proyectamos el sólido en el plano xy obtenemos una
√
región circular formada por el círculo x2 + y2 = 1 y las rectas y = x y y = 3x. Por lo
√
tanto, 0 ≤ r ≤ 1 y θ varía entre los ángulos de las rectas y = x y y = 3x :
π
y = x ⇐⇒ r sen(θ ) = r cos(θ ) ⇐⇒ tan(θ ) = 1 ⇐⇒ θ = ,
4
√ √ √ π
y = 3x ⇐⇒ r sen(θ ) = r 3 cos(θ ) ⇐⇒ tan(θ ) = 3 ⇐⇒ θ = .
3
Obtenemos que la región E se puede describir en coordenadas cilíndricas como:
π π
E = {(r, θ, z) | 0 ≤ r ≤ 1, ≤ θ ≤ , 0 ≤ z ≤ 4 − r 2 }.
4 3
Finalmente,
ZZ Z π/3 Z 1 Z 4−r2 Z 1
π 17π
F · dS = r · r dz dr dθ = (4 − r2 ) dr = .
π/4 0 0 12 0 180
S