PROBLEMAS DE TEOREMA DE LA

DIVERGENCIA
ENUNCIADO DEL TEOREMA
Sea E una región simple sólida cuya superficie frontera S tiene una orientación positiva
(hacia afuera). Sea F un campo vectorial cuyas funciones componentes tienen derivadas
parciales continuas sobre una región abierta que contiene a E. Entonces:
∫∫ ∫∫∫
· ⋅
S E
dV div F dS F
Recordar que otra notación para div F es ∇F
PROBLEMAS RESUELTOS
!) Evaluar el flu"o del campo vectorial
F(x#y#z) $ xyi %(y
&
%
&
xz
e
)j %sen(xy)k
a trav's de la superficie frontera de la región E acotada por el cilindro parabólico
z $ ! ( x
&
y los planos z = )* y $ )* y + z $ &.
S+,-./01
El problema invita a la transformación de la integral de flu"o en alg2n otro tipo de
integral para evitar las comple"idades que surgir3an de parametri4ar el segundo t'rmino
de la segunda componente del campo vectorial* y tambi'n para hacer una sola integral
en ve4 de cuatro.
5ara aplicar el teorema de la
divergencia calculamos:
div F $ y + &y $ 6y
Evaluaremos la integral de
volumen de esta función escalar
tomando el dominio como una
región de tipo 6# esto es* una región
encerrada entre dos funciones de un
dominio bidimensional ubicado
sobre el plano xz.
6 6 div
67
!89
!
!
!
)
&
)
&
∫ ∫ ∫ ∫∫∫ ∫∫∫ ∫∫

− −
· · · · · ⋅
x z
E E S
ydydzdx ydV dV F dS F
ν
()#&#))
y = & - z
z = ! -x
&
(!#)#))
()#)#!)
y
x
z
&) :erificar el teorema de la divergencia para el campo vectorial F $ |r|r y la
superficie esf'rica x
&
% y
&
% z
&
$ ;.
S+,-./01:
El vector r es el vector posición (x# y# z). <e modo que en t'rminos de las variables
cartesianas el campo vactorial dado puede e=presarse como:
) # # (
& & &
z y x z y x + + · F
,a superficie dada puede parametri4arse a trav's de coordenadas esf'ricas:
¹
¹
¹
'
¹
≤ ≤
≤ ≤
·
·
·
π θ
π ϕ
ϕ
θ ϕ
θ ϕ
& )
)
*
cos 6
sen sen 6
cos sen 6
z
y
x
.on esta parametri4ación tenemos:
) cos sen ; # sen sen ; # cos sen ; (

sen 6 sen cos 6 cos cos 6
) cos sen 6 sen sen 6
& &
ϕ ϕ θ ϕ θ ϕ
ϕ θ ϕ θ ϕ
θ ϕ θ ϕ
ϕ θ
− − − ·
·

− · ×
k j i
r r
>Es 'sta una normal e=terior? 5rob'moslo con un punto. En ()#6#)) tendr3amos
θ = ϕ = π@&* y para tales valores el 5:F calculado da ()#(;#))* o sea una normal interna.
5or lo tanto la normal e=terna vendrA dada por el 5:F calculado haciendo el producto
vectorial en el orden opuesto* esto es:
) cos sen ; # sen sen ; # cos sen ; (
& &
ϕ ϕ θ ϕ θ ϕ
θ ϕ
· ×r r
Evaluando ahora F en función de esta parametri4ación es:
F(ϕ#θ) $ 6(6senϕcosθ# 6senϕsenθ# 6cosϕ)
y:
F·(r
ϕ
×r
θ
) $ $ 8!senϕ
Bs3 que:
[ ] π θ π θ ϕ π θ ϕ θ ϕ
π π π
π
θ ϕ
6&9 cos 8! sen 8! ) ( ) # (
&
) )
&
)
&
)
· − · · × ⋅ · ⋅
∫ ∫ ∫ ∫∫ ∫∫
d d d d d
D S
r r F dS F
Cemos hecho un cAlculo bastante comple"o por integrales de superficie. :eamos ahora
cómo reduciendo esto a una integral de volumen con el teorema de la divergencia el
cAlculo se simplifica notablemente.
.alculemos en primer lugar la divergencia:
( ) ( ) ( )
& & & & & & & & &
div z y x x
x
z y x y
y
z y x x
x
+ +


+ + +


+ + +


· F
.alculando las derivadas parciales por separado y sumando miembro a miembro se
tiene:
( )
( )
( )
& & &
& & &
& & &
& & &
& & &
&
& & & & & &
& & &
&
& & & & & &
& & &
&
& & & & & &
9 6 div z y x
z y x
z y x
z y x
z y x
z
z y x z y x z
z
z y x
y
z y x z y x y
y
z y x
x
z y x z y x x
x
+ + ·
+ +
+ +
+ + + ·
+ +
+ + + · + +


+ +
+ + + · + +


+ +
+ + + · + +


F
Si ahora llevamos esto a coordenadas esf'ricas tenemos:
Caciendo los cAlculos obtenemos:
π 6&9 div ·
∫∫∫
dV
E
F
Cemos obtenido el mismo resultado por los dos caminos* verificando as3 el teorema de
la divergencia.ν
d d d d d dV
E
ϕ ϕ
ρ
θ ϕ ρ ϕ ρ ρ
π π π π
sen
9
9 sen 9 div
6
)
&
) )
6
) )
&
)
9
&
∫∫∫ ∫ ∫ ∫ ∫ ∫
1
]
1

¸

· ⋅ · F
6) .alcular el flu"o del campo F(x# y# z) $()# e
senxz
+ tanz# y
&
) a trav's del semielipsoide
superior &x
&
% 6y
&
% z
&
$ D* z ≥ ) con su normal apuntando hacia arriba.
S+,-./01
Resolveremos este problema por el teorema de la
divergencia. Si observamos que div F $ )* y llamando
(ver figura) S $ S
!
∪ S
&
y V el volumen encerrado por S*
podemos plantear:
)
)
div. por teor.
) ser por
· ⋅ ⇒
¹
¹
¹
¹
¹
¹
¹
;
¹
⋅ · ⋅ ∇
· ⋅ ∇
∫∫
∫∫ ∫∫∫
∫∫∫


· ⋅ ∇
S
S V
V
dV
dV
dS F
dS F F
F
F
(!)
1os interesa la integral no sobre toda la superficie S*
sino sólo sobre S
&
. 5uesto que la integral es un concepto
aditivo respecto al dominio de integración* tendremos
∫∫ ∫∫ ∫∫ ∫∫ ∫∫
⋅ − · ⋅ ⇒ · ⋅ + ⋅ · ⋅

! & & !
)
(!) ec. por
S S S S S
dS F dS F dS F dS F dS F
(&)
:emos que la integral sobre S
&
es la misma que la integral sobre S
!
cambiada de signo.
.alcularemos* pues* esta 2ltima* que aparenta ser mAs sencilla* dado que la normal es un
vector vertical y ademAs la superficie carece de componente z. S
!
es una elipse sobre el
plano xy* &x
&
% 6y
&
$ D* que puede ser parametri4ada directamente en coordenadas
cartesianas como T(x# y) $ (x(x# y)# y(x# y)# z(x# y))* donde:
¹
¹
¹
'
¹
≤ ≤ −
≤ ≤ −
·
·
·
&
6
&
&
6
&
( & ( &
6 6
*
)
x y x
x
z
y y
x x
*
donde los l3mites para x y y han sido despe"ados de la ecuación de la elipse. 5ara esta
parametri4ación* tenemos que el producto vectorial fundamental serA:
k
k j i
T T N · · × ·
) ! )
) ) !
y x
Si e"ecutAramos el 5:F en el orden inverso* nos dar3a (k. >.uAl debemos elegir? El
enunciado nos pide que la normal de la superficie elipsoidal apunte hacia arriba* lo cual
significa que apunte hacia el e=terior del volumen indicado en la figura* que es el que
usamos para plantear el teorema de la divergencia. 5or lo tanto* para la base tambi'n
deberemos tomar la normal e=terior a dicho volumen* esto es* (k.
5or lo tanto la integral que buscamos vendrA e=presada por:
+
y
z
x
S
!
S
&
D
&
6
( ) ( )
π π
&
6
8
&E
6
&
;
9
6
6
& @ 6
&
& @ 6
6
&
6
!
( 6 6 @ &
( 6 6 @ &
6
6
6
6
!
6
6
( 6 6 @ &
( 6 6 @ &
&
6
6
(&@6) ( &
(&@6) ( &
&
6
6
(&@6) ( &
(&@6) ( &
&
tablas
( 6 &
) ! # ) # ) ( ) # ) # ) (
&
&
&
&
&
&
!
&
&
!
− · ⋅ − ·
· − · − · −
· − · − ⋅ · ⋅ · ⋅

− − − − −
− − − −
∫ ∫ ∫ ∫
∫ ∫ ∫∫ ∫ ∫ ∫∫
dx x dydx y dydx y
dydx y dydx y dS
x
x
x
x
x
x
S
x
x
S
N F dS F
,uego* reempla4ando en (&) tenemos
π
&
6
! &
· ⋅ − · ⋅
∫∫ ∫∫
S S
dS F dS F
Fue es el resultado que buscAbamos. 5odr3an haberse utili4ado tambi'n coordenadas
el3pticas* que hubieran simplificado la integral pero a costa de una mayor comple"idad
en el cAlculo del 5:F* lo que significaba apro=imadamente el mismo traba"o que
operando en cartesianas.ν
9) Hidrostática. B partir del principio de 5ascal* demostrar el de Brqu3medes.
5rincipio de 5ascal: p = p
0
+ ρgh
5rincipio de Brqu3medes: Empu"e $ 5eso de l3quido despla4ado (en módulo).
S+,-./01:
Si E es un sólido con superficie frontera S sumergido en un l3quido de densidad
consante ρ* en cuya interfase con la atmósfera reina una presión ambiente p
0
* y si
adoptamos un sistema de coordenadas como el de la figura* el principio de 5ascal nos
dice que la presión en el diferencial de superficie indicado* ubicado a una profundidad L
- z* vendrA dada por:
p = p
0
+ ρg(L - z)
5or definición de presión* la fuer4a que el fluido e"ercerA sobre cada elemento de
superficie del sólido vendrA dada en igual dirección y sentido contrario a la normal
e=terna a este 2ltimo* siendo:
dF $ (pdS
,a componente vertical de esta fuer4a vendrA dada por:
dF
z
$ dF·()#)#!) $ (pdS·()#)#!) $ (Gp
0
+ ρg(L - z)H()#)#!)·dS
Si integramos este diferencial de fuer4a sobre todo el dominio* esto es* sobre toda la
superficie S* obtendremos la componente vertical de la fuer4a resultante:
∫∫ ∫∫
⋅ ρ + ρ − − · ⋅ − ρ + − ·
S S
z
gz gL p z L g p F dS dS ) # ) # ) ( ) ! # ) # ) ))( ( (
) )
1otemos ahora que esta 2ltima es una integral de flu"o* y que podemos por lo tanto
aplicarle el teorema de la divergencia:
x
dF
dS
p
p
0
L - z
z
L
y
z
S
E
g dV g dV g
dV gz gL p gz gL p F
E E
E S
z

) # ) # ) ( div ) # ) # ) (
) )
∫∫∫ ∫∫∫
∫∫∫ ∫∫
· ρ · ρ ·
· ρ + ρ − − · ⋅ ρ + ρ − − · dS
<onde es la masa del l3quido que ocupar3a un volumen igual al del ob"eto sumergido.
,a fuer4a vertical total* pues* es igual al peso del l3quido despla4ado. Se de"a al lector
demostrar por un ra4onamiento similar que las componentes x e y de la fuer4a son nulas.
5or lo tanto el empu"e total del l3quido es igual al peso del l3quido despla4ado* con lo
cual hemos demostrado el principio de Brqu3medes.ν
PROBLEMAS PROPUESTOS
!) .alcule mediante el teorema de la divergencia el flu"o e=terior del campo F(x# y# z) $
6xyi % y
&
j ( x
&
y
9
k sobre la superficie del tetraedro con v'rtices ()#)#))* (!#)#))* ()#!#))* y
()#)#!).
&) -sar el teorema de la divergencia para evaluar la integral del campo vectorial
F(x# y# z) $ z
&
x i %(
6
!
y
6
% tanz) j % (x
&
z % y
&
) k
sobre la mitad superior de la esfera x
&
% y
&
% z
&
$ !.
6) :erificar la valide4 del teorema de la divergencia para el campo F(x# y# z) $ zx i %yz j
% 6z
&
k y el sólido E acotado por el paraboloide x
&
% y
&
$ z y el plano z $ !.
9) Encontrar la densidad de flu"o (Flu"o@Irea) del campo de fuer4as
F(x# y# z) $ (xy
&
% cosz) i %(xy
&
% senz) j % e
z
k
sobre la superficie frontera del sólido limitado por el cono
& &
y x z + · y el plano z = 9.
7) Si integramos el campo de velocidades de un fluido sobre una superficie obtenemos
el caudal que atraviesa la misma. Sea un l3quido sometido a un campo de velocidades
dado por
v(x# y# z) $ z tan
(!
(y
&
) i %z
6
ln(x
&
% !) j % z k*
que incluye en su formulación todos los efectos debidos a ro4amientos* viscosidad y
demAs factores disipativos. Callar el caudal de este l3quido que atraviesa un filtro de
forma paraboloidal que consta de la parte de la superficie x
&
% y
&
$ ! ( z que estA por
encima del plano z $ !. Jomar el filtro orientado hacia arriba.
D) Ley de !a"ss. <emostrar el siguiente resultado* de importancia trascendente en
electromagnetismo. Sea E una región simple sólida en R
3
y S su frontera. Sea tambi'n r
el vector posición (x#y#z). Entonces si ()#)#)) ∉ S# tenemos:
¹
'
¹


· ⋅
∫∫
E si
E
S
()#)#)) )
()#)#)) si 9
6
π
dS
r
r
/<EB. 1otar que si el origen pertenece a E no podemos aplicar el teorema de la
divergencia* pues el campo vectorial no es suave all3. Bplicar el teorema de la
divergencia a toda la región salvo una pequeKa bola de radio ε centrada en el origen* y
luego calcular el flu"o sobre la frontera de esta 2ltima.
E) <emostrar que si E es una región en R
3
limitada por una superficie S# donde tanto E
como S cumplen las condiciones del teorema de la divergencia* entonces
) rot · ⋅
∫∫
S
dS F
para cualquier campo vectorial F con derivadas parciales de segundo
orden continuas.
8) -sar el teorema de la divergencia para evaluar
( )dS z y x
S
∫∫
+ +
&
& &
*
donde S es la esfera unitaria centrada en el origen.