Unidad 4 Teoremas Integrales 4.

3 Teorema de la Divergencia (Gauss)

Sea S = F r(W ) una supercie cerrada que limita una región en el espacio W ⊂ R3

El teorema de la divergencia (tambien conocido como teorema de Gauss) es una generalización del teore-
ma de Green, que relaciona una integral de supercie sobre una supercie S = F r(W ) cerrada con una
integral de volumen sobre una región sólida W.

Teorema de la divergencia

Teorema 1. Sea W una región sólida limitada o acotada por una supercie cerrada S = F r(W ), orien-
tada por un vector unitario normal dirigido hacia el exterior de W. si F es un campo vectorial cuyas
funciones componentes tienen derivadas parciales continuas en Q entonces

Z Z Z Z Z
F · N dA = div F dv
S W

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 1
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

Demostración. Si hacemos F (x, y, z) = P î + Qĵ + Rk̂ entonces

Z Z Z Z Z Z Z Z Z Z
F · N dA = P î · N + Qĵ · N + Rk̂ · N dA = P î · N + Qĵ · N + Rk̂ · N dA
S S S S S

Por otro lado

Z Z Z Z Z Z   Z Z Z Z Z Z Z Z Z
∂P ∂Q ∂R ∂P ∂Q ∂R
div F dv = + + dV = dV + dV + dV
W W ∂x ∂y ∂z W ∂x W ∂y W ∂z

necesitamos probar Z Z Z Z Z
∂P
P î · N dA = dV · · · (1)
S W ∂x
Z Z Z Z Z
∂Q
Qĵ · N dA = dV · · · (2)
S W ∂y
Z Z Z Z Z
∂R
Rk̂ · N dA = dV · · · (3)
S W ∂z
Demostración (1)
Supongamos que nuestra región W es tal que W = S1 S2 , donde S1 y S2 al ser regiones tipo III las
S
podemos ver como la gráca de una función f (y, z).

Con S1 la supercie que se puede parametrizar (f1 (y, z), y, z), S2 la otra supercie que se puede parame-
trizar (f2 (y, z), y, z) donde también suponemos a D como la proyección tanto de S1 como de S2 . Se tiene
entonces que Z Z Z Z Z Z
P î · N dA = P î · Ns1 dA + P î · Ns2 dA
D D D

en el caso s1 se tiene para la parametrización (f1 (y, z), y, z)

 
∂f1 ∂f1
Ns1 = −1, − ,−
∂y ∂z

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 2
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

por lo tanto en S1
Z Z Z Z   Z Z
∂f1 ∂f1
P î · Ns1 dA = P (f1 (y, z), y, z)(1, 0, 0) · 1, − ,− dA = − P (f1 (y, z), y, z) dA
D D ∂y ∂z D

y en S2
Z Z Z Z   Z Z
∂f2 ∂f2
P î · Ns2 dA = P (f1 (y, z), y, z)(1, 0, 0) · −1, − ,− dA = P (f2 (y, z), y, z) dA
D D ∂y ∂z D

en consecuencia
Z Z Z Z Z Z Z Z Z Z
P î·N dA = P î·Ns1 dA+ P î·Ns2 dA = − P (f1 (y, z)) dA+ P (f2 (y, z), y, z) dA
D D D D D
!
Z Z Z Z Z f2 (y,z) Z Z Z
∂P ∂P
= (P (f2 (y, z), y, z) − P (f1 (y, z), y, z)) dA = dx dA = dV
D f1 (y,z) ∂x W ∂x

Demostración (2)
Supongamos que nuestra región W es tal que W = S1 S2 , donde S1 y S2 las podemos ver como la
S
gráca de una función f (x, y).

Con S1 la supercie que se puede parametrizar (x, f1 (y, z), z), S2 la otra supercie que se puede para-
metrizar (x, f2 (y, z), z) donde también suponemos a D como la proyección tanto de S1 como de S2 .
Se tiene entonces que
Z Z Z Z Z Z Z Z
Qĵ · N dA = Qĵ · Ns1 dA + Qĵ · Ns2 dA + Qĵ · Ns2 dA
D D D D

en el caso s1 se tiene para la parametrización (x, f1 (y, z), z)

 
∂f1 ∂f1
Ns1 = − , −1, − ,
∂x ∂z
por lo tanto en S1
Z Z Z Z   Z Z
∂f1 ∂f1
Qĵ · Ns1 dA = Q(x, f1 (y, z), z)(0, 1, 0) · − , −1, − dA = − Q(x, f1 (y, z)) dA
D D ∂x ∂z D

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 3
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

y en S2
Z Z Z Z   Z Z
∂f2 ∂f2
Qĵ · Ns2 dA = Q(x, f2 (y, z), z)(0, 1, 0) · , 1, − dA = Q(x, f2 (y, z)) dA
D D ∂x ∂z D

en consecuencia
Z Z Z Z Z Z Z Z Z Z
Qĵ·N dA = Qĵ·Ns1 dA+ Qĵ·Ns2 dA = − Q(x, f1 (y, z), z) dA+ Q(x, f1 (y, z), z) dA
D D D D D
!
Z Z Z Z Z f2 (y,z) Z Z Z
∂Q ∂Q
= (Q(x, f1 (y, z), z) − Q(x, f1 (y, z), z)) dA = dy dA = dV
D f1 (y,z) ∂y W ∂y
Demostración (3)
Supongamos que nuestra región W es tal que W = S1 S2 , donde S1 y S2 las podemos ver como la
S
gráca de una función f (x, y).

Con S1 la supercie que se puede parametrizar (x, y, f1 (x, y)), S2 la otra supercie que se puede para-
metrizar (x, y, f2 (x, y)) donde también suponemos a D como la proyección tanto de S1 como de S2 .
Se tiene entonces que
Z Z Z Z Z Z Z Z
Rk̂ · N dA = Rk̂ · Ns1 dA + Rk̂ · Ns2 dA + Rk̂ · Ns3 dA
D D D D

en el caso s1 se tiene para la parametrización (x, y, f1 (x, y))

 
∂f1 ∂f1
Ns1 = − ,− , −1
∂x ∂y
por lo tanto para S1
Z Z Z Z   Z Z
∂f1 ∂f1
Rk̂ · Ns1 dA = R(0, 0, 1) · − ,− , −1 dA = − R(x, y, f1 (x, y)) dA
D D ∂x ∂y D

y en S2
Z Z Z Z   Z Z
∂f1 ∂f1
Rk̂ · Ns2 dA = R(0, 0, 1) · − ,− , 1 dA = R(x, y, f2 (x, y)) dA
D D ∂x ∂y D

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 4
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

en consecuencia
Z Z Z Z Z Z Z Z Z Z
Rk̂·N dA = Rk̂·Ns1 dA+ Rk̂·Ns2 dA = − R(x, y, f1 (x, y)) dA+ R(x, y, f2 (x, y)) dA
D D D D D
!
Z Z Z Z Z f2 (x,y) Z Z Z
∂R ∂R
= (R(x, y, f2 (x, y)) − R(x, y, f1 (x, y))) dA = dz dA = dV
D f1 (x,y) ∂z W ∂z
Por lo tanto Z Z Z Z Z
F · N dA = div F dv
S W

Ejemplo Verique el teorema de la divergencia, calculando el ujo del campo vectorial F (x, y, z) =
(xz, −y 2 , xz) a través de la supercie cerrada que limita el cilindro

x2 + y 2 ≤ R 2 con 0 ≤ z ≤ 3

Para calcular el ujo, consideramos Q = s1 s3 y parametrizamosa cada una de ellas

S S
Solución s2

Para s1 se tiene la parametrización

f1 : D ⊂ R2 → R3 dada por f1 (x, y) = (x, y, 3)

donde
D = {(x, y) ∈ R2 | x2 + y 2 ≤ R2 }
por lo tanto  
 î ĵ k̂ 
∂f1 ∂f1 
N1 = × = (1, 0, 0) × (0, 1, 0) = 1 0 0 = (0, 0, 1)
∂x ∂y 0 1 0
el campo evaluado en la parametrizacion
F (f1 (x, y)) = F (x, y, 3) = (3x, −y 2 , 3x)

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 5
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

y el ujo nos queda

Z Z Z Z Z Z Z
F ·N1 ds1 = F (f1 (x, y))·N1 (x, y) dxdy = (3x, −y 2 , 3x)·(0, 0, 1) dxdy = 3x dxdy
s1 D D D

usaremos coordenadas cilindricas

x = ρ cos(θ), y = ρ sen(θ), z = z

donde  
 cos(θ) sen(θ) 0
∂(x, y, z) 
= det −ρ sen(θ) ρ cos(θ) 0 = ρ
∂(ρ, θ, z)  0 0 1
por lo tanto Z Z Z 2π Z R
3x dxdy = 3ρ2 cos(θ)dρdθ = 0
D 0 0
Para s2 se tiene la parametrización
f1 : D ⊂ R2 → R3 dada por f2 (x, y) = (x, y, 0)

donde
D = {(x, y) ∈ R2 | x2 + y 2 ≤ R2 }
por lo tanto
∂f2 ∂f2
N2 = × = (0, 0, −1)
∂x ∂y
el campo evaluado en la parametrizacion
F (f2 (x, y)) = F (x, y, 0) = (0, −y 2 , 0)

y el ujo nos queda

Z Z Z Z Z
F · N2 ds2 = F (f2 (x, y)) · N2 (x, y) dxdy = (0, −y 2 , 0) · (0, 0, −1) dxdy = 0
s2 D D

Para s3 se tiene la parametrización

f3 : D ⊂ R2 → R3 dada por f3 (x, y) = (R cos(u), R sen(u), v)

donde
D = {(u, v) ∈ R2 | u ∈ [0, 2π] v ∈ [0, 3]}
por lo tanto
 
∂f3 ∂f3

 î ĵ k̂ 

N3 = × = (−R sen(u), R cos(u), 0)×(0, 0, 1) = −R sen(u) R cos(u) 0 = (R cos(u), R sen(u), 0)

∂u ∂v  0 0 1
el campo evaluado en la parametrizacion
F (f3 (u, v)) = F (R cos(u), R sen(u), v) = (vR cos(u), −R2 sen2 (u), vR cos(u))

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 6
Unidad 4 Teoremas Integrales 4.3 Teorema de la Divergencia (Gauss)

y el ujo nos queda

Z Z Z Z Z
F ·N3 ds3 = F (f3 (u, v))·N3 dudv = (vR cos(u), −R2 sen2 (u), vR cos(u))·(R cos(u), R sen(u), 0) dudv
s3 D D

Z 3 Z 2π
9 2
= R2 v cos2 (u) − R3 sen3 (u)dudv = πR
0 0 2
Por otro lado
div F = z − 2y + x
de esta manera Z Z Z Z Z Z
div F dV = (z − 2y + x)dV
Q Q

usando de nuevo coordenadas cilindricas

x = ρ cos(θ), y = ρ sen(θ), z = z

por lo tanto
Z Z Z Z R Z 2π Z 3
9 2
(z − 2y + x)dV = (z − 2ρ sen(θ) + ρ cos(θ))dzdθdρ = πR
Q 0 0 0 2

Facultad de Ciencias UNAM Prof. Esteban Rubén Hurtado Cruz

Cálculo Diferencial e Integral IV 7