TEOREMA DE DIVERGENCIA

Enunciado del teorema:

Sea Q una regin solida limitada o acotada por una superficie cerrada orientada por un vector
normal unitario orientado hacia el exterior de Q. Si F es un campo vectorial cuyas funciones
componentes tienen derivadas parciales continuas en Q entonces:




Demostracin:
Si se hace F(x,y,z)=Mi+Nj+Pk
*El teorema toma la forma


)ds=

Esto se puede verificar que las 3 ecuaciones siguientes son vlidas

Evaluaremos 3:
**Supongamos que nuestra regin Q es tal que Q=S
1
U S
2
U S
3
, donde S
1
, S
2

las podemos ver como la grafica de una funcin g(x,y)
S
1
es tal que z=g
1
(x,y)
S
2
es tal que z=g
2
(x,y)
Queremos probar que :

Para ello calcularemos por separado cada miembro de la igualdad y
compararemos resultados.














Para calcular

Si considero la parametrizacin r:R
3
R
3
r(x,y)=(x,y,g
2
(x,y))
Obtengo:

|
|

|
|

El campo evaluado en la parametrizacin : ( )

Ahora calculamos

Como si se parametriza r:R
3
R
3
r(x,y)=(x,y,g1(x,y))
Se tiene que

|
|

|
|

El campo evaluado en la parametrizacin:
( )

( ) ( )


( )

Las ecuaciones son anlogas

Ejemplo:
1.) 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
=

= V
= V
}}
}} }}}
}}}
+
+
= V
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

}} }} }} }} }}
= = + =
+
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

O
y
z
x
S
1
S
2
6

2

3

= 6, que puede ser parametrizada directamente en coordenadas cartesianas como T(x; y) = (x(x; y);
y(x; y); z(x; y)), donde:

s s
s s
=
=
=
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:

( ) ( )
t t
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

t
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.