PROBLEMAS DE TEOREMA DE LA DIVERGENCIA

ENUNCIADO DEL TEOREMA

Sea E una regin simple slida cuya superficie frontera S tiene una orientacin positiva
(hacia afuera). Sea F un campo vectorial cuyas funciones componentes tienen derivadas
parciales continuas sobre una regin abierta que contiene a E. Entonces:


S E
dV div F dS F
Recordar que otra notacin para div F es F
PROBLEMAS RESUELTOS
1) Evaluar el flujo del campo vectorial
F(x;y;z) = xyi +(y
2
+
2
xz
e
)j +sen(xy)k
a travs de la superficie frontera de la regin E acotada por el cilindro parablico z = 1 - x
2
y los planos z = 0, y = 0, y + z = 2.
SOLUCIN
El problema invita a la transformacin de la integral de flujo en algn otro tipo de integral
para evitar las complejidades que surgiran de parametrizar el segundo trmino de la
segunda componente del campo vectorial, y tambin para hacer una sola integral en vez
de cuatro.
y = 2 - z
z = 1 -x
2
y
Para aplicar el teorema de la divergencia calculamos:
div F = y + 2y = 3y
Evaluaremos la integral de volumen de esta funcin escalar tomando el dominio como
una regin de tipo 3; esto es, una regin encerrada entre dos funciones de un dominio
bidimensional ubicado sobre el plano xz.
3 3 div
35
184
1
1
1
0
2
0
2




x z
E E S
ydydzdx ydV dV F dS F
s
(0;2;0)
y = 2 - z
z = 1 -x
2
(1;0;0)
(0;0;1)
y
x
z
2) Verificar el teorema de la divergencia para el campo vectorial F = |r|r y la superficie
esfrica x
2
+ y
2
+ z
2
= 9.
SOLUCIN:
El vector r es el vector posicin (x; y; z). De modo que en trminos de las variables
cartesianas el campo vactorial dado puede expresarse como:
) ; ; (
2 2 2
z y x z y x + + F
La superficie dada puede parametrizarse a travs de coordenadas esfricas:

'

2 0
0
,
cos 3
sen sen 3
cos sen 3
z
y
x
Con esta parametrizacin tenemos:
) cos sen 9 ; sen sen 9 ; cos sen 9 (

sen 3 sen cos 3 cos cos 3
0 cos sen 3 sen sen 3
2 2

k j i
r r
Es sta una normal exterior? Probmoslo con un punto. En (0;3;0) tendramos
= = /2, y para tales valores el PVF calculado da (0;-9;0), o sea una normal interna.
Por lo tanto la normal externa vendr dada por el PVF calculado haciendo el producto
vectorial en el orden opuesto, esto es:
) cos sen 9 ; sen sen 9 ; cos sen 9 (
2 2


r r
Evaluando ahora F en funcin de esta parametrizacin es:
F(;) = 3(3sencos; 3sensen; 3cos)
y:
F(r

) = = 81sen
As que:
[ ]



324 cos 81 sen 81 ) ( ) ; (
2
0 0
2
0
2
0


d d d d d
D S
r r F dS F
Hemos hecho un clculo bastante complejo por integrales de superficie. Veamos ahora
cmo reduciendo esto a una integral de volumen con el teorema de la divergencia el
clculo se simplifica notablemente.
Calculemos en primer lugar la divergencia:
( ) ( ) ( )
2 2 2 2 2 2 2 2 2
div z y x x
x
z y x y
y
z y x x
x
+ +

+ + +

+ + +

F
Calculando las derivadas parciales por separado y sumando miembro a miembro se tiene:
( )
( )
( )
2 2 2
2 2 2
2 2 2
2 2 2
2 2 2
2
2 2 2 2 2 2
2 2 2
2
2 2 2 2 2 2
2 2 2
2
2 2 2 2 2 2
4 3 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 esfricas tenemos:
Haciendo los clculos obtenemos:
324 div

dV
E
F
Hemos obtenido el mismo resultado por los dos caminos, verificando as el teorema de la
divergencia.s
d d d d d dV
E

sen
4
4 sen 4 div
3
0
2
0 0
3
0 0
2
0
4
2

1
]
1

F
3) Calcular el flujo del campo F(x; y; z) =(0; e
senxz
+ tanz; y
2
) a travs del semielipsoide
superior 2x
2
+ 3y
2
+ z
2
= 6, z 0 con su normal apuntando hacia arriba.
SOLUCIN
Resolveremos este problema por el teorema de la divergencia. Si observamos que div F =
0, y llamando (ver figura) S = S
1
S
2
y V el volumen encerrado por S, podemos plantear:
0
0
div. por teor.
0 ser por

S
S V
V
dV
dV
dS F
dS F F
F
F
(1)
Nos interesa la integral no sobre toda la superficie S, sino slo sobre S
2
. Puesto que la
integral es un concepto aditivo respecto al dominio de integracin, tendremos
O
y
z
x
S
1
S
2
6
2
3

+

1 2 2 1
0
(1) ec. por
S S S S S
dS F dS F dS F dS F dS F
(2)
Vemos que la integral sobre S
2
es la misma que la integral sobre S
1
cambiada de signo.
Calcularemos, pues, esta ltima, que aparenta ser ms sencilla, dado que la normal es un
vector vertical y adems la superficie carece de componente z. S
1
es una elipse sobre el
plano xy, 2x
2
+ 3y
2
= 6, que puede ser parametrizada directamente en coordenadas
cartesianas como T(x; y) = (x(x; y); y(x; y); z(x; y)), donde:

'

2
3
2
2
3
2
- 2 - 2
3 3
,
0
x y x
x
z
y y
x x
,
donde los lmites para x y y han sido despejados de la ecuacin de la elipse. Para esta
parametrizacin, tenemos que el producto vectorial fundamental ser:
k
k j i
T T N
0 1 0
0 0 1
y x
Si ejecutramos el PVF en el orden inverso, nos dara -k. Cul debemos elegir? El
enunciado nos pide que la normal de la superficie elipsoidal apunte hacia arriba, lo cual
significa que apunte hacia el exterior del volumen indicado en la figura, que es el que
usamos para plantear el teorema de la divergencia. Por lo tanto, para la base tambin
deberemos tomar la normal exterior a dicho volumen, esto es, -k.
Por lo tanto la integral que buscamos vendr expresada por:
( ) ( )

2
3
8
27
3
2
9
4
3
3
2 / 3
2
2 / 3
3
2
3
1
- 3 3 / 2
- 3 3 / 2
3
3
3
3
1
3
3
- 3 3 / 2
- 3 3 / 2
2
3
3
(2/3) - 2
(2/3) - 2
2
3
3
(2/3) - 2
(2/3) - 2
2
tablas
- 3 2
) 1 ; 0 ; 0 ( ) ; 0 ; 0 (
2
2
2
2
2
2
1
2
2
1

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
Luego, reemplazando en (2) tenemos

2
3
1 2


S S
dS F dS F
Que es el resultado que buscbamos. Podran haberse utilizado tambin coordenadas
elpticas, que hubieran simplificado la integral pero a costa de una mayor complejidad en
el clculo del PVF, lo que significaba aproximadamente el mismo trabajo que operando
en cartesianas.s
p
p
0
L - z
z
L
y
p
p
0
L - z
z
L
y
4) Hidrosttica. A partir del principio de Pascal, demostrar el de Arqumedes.
Principio de Pascal: p = p
0
+ gh
Principio de Arqumedes: Empuje = Peso de lquido desplazado (en mdulo).
SOLUCIN:
Si E es un slido con superficie frontera S sumergido en un lquido de densidad consante
, en cuya interfase con la atmsfera reina una presin ambiente p
0
, y si adoptamos un
sistema de coordenadas como el de la figura, el principio de Pascal nos dice que la
presin en el diferencial de superficie indicado, ubicado a una profundidad L - z, vendr
dada por:
p = p
0
+ g(L - z)
Por definicin de presin, la fuerza que el fluido ejercer sobre cada elemento de
superficie del slido vendr dada en igual direccin y sentido contrario a la normal
externa a este ltimo, siendo:
dF = -pdS
La componente vertical de esta fuerza vendr dada por:
dF
z
= dF(0;0;1) = -pdS(0;0;1) = -[p
0
+ g(L - z)](0;0;1)dS
Si integramos este diferencial de fuerza sobre todo el dominio, esto es, sobre toda la
superficie S, obtendremos la componente vertical de la fuerza resultante:

+ +
S S
z
gz gL p z L g p F dS dS ) ; 0 ; 0 ( ) 1 ; 0 ; 0 ))( ( (
0 0
Notemos ahora que esta ltima es una integral de flujo, y que podemos por lo tanto
aplicarle el teorema de la divergencia:
gM dV g dV g
dV gz gL p gz gL p F
E E
E S
z

) ; 0 ; 0 ( div ) ; 0 ; 0 (
0 0



+ + dS
Donde M es la masa del lquido que ocupara un volumen igual al del objeto sumergido.
La fuerza vertical total, pues, es igual al peso del lquido desplazado. Se deja al lector
demostrar por un razonamiento similar que las componentes x e y de la fuerza son nulas.
Por lo tanto el empuje total del lquido es igual al peso del lquido desplazado, con lo cual
hemos demostrado el principio de Arqumedes.s
x
dF
dS
p
p
0
L - z
z
L
y
z
S
E
PROBLEMAS PROPUESTOS
1) Calcule mediante el teorema de la divergencia el flujo exterior del campo F(x; y; z) =
3xyi + y
2
j - x
2
y
4
k sobre la superficie del tetraedro con vrtices (0;0;0), (1;0;0), (0;1;0), y
(0;0;1).
2) Usar el teorema de la divergencia para evaluar la integral del campo vectorial
F(x; y; z) = z
2
x i +(
3
1
y
3
+ tanz) j + (x
2
z + y
2
) k
sobre la mitad superior de la esfera x
2
+ y
2
+ z
2
= 1.
3) Verificar la validez del teorema de la divergencia para el campo F(x; y; z) = zx i +yz j +
3z
2
k y el slido E acotado por el paraboloide x
2
+ y
2
= z y el plano z = 1.
4) Encontrar la densidad de flujo (Flujo/rea) del campo de fuerzas
F(x; y; z) = (xy
2
+ cosz) i +(xy
2
+ senz) j + e
z
k
sobre la superficie frontera del slido limitado por el cono
2 2
y x z + y el plano z = 4.
5) Si integramos el campo de velocidades de un fluido sobre una superficie obtenemos el
caudal que atraviesa la misma. Sea un lquido sometido a un campo de velocidades dado
por
v(x; y; z) = z tan
-1
(y
2
) i +z
3
ln(x
2
+ 1) j + z k,
que incluye en su formulacin todos los efectos debidos a rozamientos, viscosidad y
dems factores disipativos. Hallar el caudal de este lquido que atraviesa un filtro de
forma paraboloidal que consta de la parte de la superficie x
2
+ y
2
= 1 - z que est por
encima del plano z = 1. Tomar el filtro orientado hacia arriba.
6) Ley de Gauss. Demostrar el siguiente resultado, de importancia trascendente en
electromagnetismo. Sea E una regin simple slida en R
3
y S su frontera. Sea tambin r el
vector posicin (x;y;z). Entonces si (0;0;0) S, tenemos:

'

E si
E
S
(0;0;0) 0
(0;0;0) si 4
3

dS
r
r
IDEA. Notar que si el origen pertenece a E no podemos aplicar el teorema de la
divergencia, pues el campo vectorial no es suave all. Aplicar el teorema de la divergencia
a toda la regin salvo una pequea bola de radio centrada en el origen, y luego calcular
el flujo sobre la frontera de esta ltima.
7) Demostrar que si E es una regin en R
3
limitada por una superficie S, donde tanto E
como S cumplen las condiciones del teorema de la divergencia, entonces
0 rot

S
dS F
para cualquier campo vectorial F con derivadas parciales de segundo
orden continuas.
8) Usar el teorema de la divergencia para evaluar
( )dS z y x
S

+ +
2
2 2
,
donde S es la esfera unitaria centrada en el origen.