Veri…ca que el teorema de la divergencia se cumple para el campo vectorial

F~ : R3 ! R3

de…nido como

F~ (x; y; z) = 4xbi j + zb
2yb k

y el volumen V delimitado por el paraboloide z = x2 + y 2 y el plano z = 4.

Solución:

El teorema de la divergencia a…rma que

ZZ Z ZZ
div F~ dV = F~ n
bdS
V (S) S

para cualquier volumen V , siendo S la super…cie que rodea dicho volumen.

Por tanto, para comprobarlo en este caso particular, tenemos que hacer las integrales de cada uno de los dos miembros
de la ecuación del teorema y compararlas.

Haremos primeramente la integral de la divergencia. En coordenadas cartesianas tenemos

@Fx @Fy @Fz
div F~ = r F~ = + +
@x @y @z
así que en este caso particular
@ (4x) @ ( 2y) @ (z)
r F~ = + + =4 2+1=3
@x @y @z
y entonces
ZZ Z ZZ Z ZZ Z
div F~ dV = 3dV = 3 dV
V (S) V (S) V (S)

El volumen V de este problema

se calcula facilmente en coordenadas cilíndricas. En efecto, el volumen de este problema queda descrito como el
conjunto de puntos de R3 tales que

0 z 4; 0 z; 0 2 . Así que
p p
ZZ Z Z4 Zz Z2 Z4 Zz Z4
z
dV = dz d d =2 dz d =2 dz =8
2
V (S) 0 0 0 0 0 0

1
 En coordenadas cartesianas el cálculo del volumen V es mucho más laborioso. Lo hacemos como practica y para
comparación. El volumen V es el conjunto de puntos de R3 tales que
p p p p
0 z 4; z x + z; z x2 y + z x2

así que
p p
ZZ Z ZZ Z Z4 Z z Zz x2

div F~ dV = 3 dV = 3 dz dx dy
p p
V (S) V (S) 0 z z x2

Primero
p
Zz x2
p p p
dy = z x2 + z x2 = 2 z x2
p
z x2

y ahora
Z
p 1 p 1 p
z x2 dx = x z x2 iz ln ix + z x2
2 2
así que
p p
Zz Zz
p p p p
2 dx z x2 = 4 dx z x2 = 2iz ln (i z) + 2iz ln ( z) =
p
z 0

p
z
= 2iz ln p = 2iz [ln i]
i z

Como
1
ln i = i
2
p
Zz
p
2 dx z x2 = z
p
z

La tercer integral nos da

Z4 Z4
16
zdz = zdz = =8
2
0 0

Finalmente tenemos, ya sea calculando en coordenadas cilíndricas o en coordenadas cartesianas,

ZZ Z
div F~ dV = 24
V (S)

Debemos calcular ahora el ‡ujo del campo vectorial a través de la super…cie que rodea el volumen V . Dicha super…cie
está formada por el paraboloide z = x2 + y 2 y por el plano z = 4. En la siguiente grá…ca se muestra el apraboloide en
rojo y el plano en azul

2
ZZ
F~ n
bdS
S

F~ (x; y; z) = 4xbi j + zb
2yb k

i) Calculamos primero el ‡ujo del campo vectorial a través del paraboloide z = x2 + y 2 .

La descripción paramétrica de la parte del paraboloide que nos interesa es

u; v; u2 + v 2

con
p p
u 2 [ 2; +2] y v2 4 u2 ; + 4 u2 .

Para sacar la normal al paraboloide calculamos

@
u; v; u2 + v 2 = (1; 0; 2u)
@u
y
@
u; v; u2 + v 2 = (0; 1; 2v)
@v
de donde obtenemos para el vector normal

(1; 0; 2u) (0; 1; 2v) = ( 2u; 2v; 1)

Es fácil cerciorarse que este vector normal apunta hacia adentro del volumen, por lo que tenemos que tomar su negativo.

Así que la integral sobre la super…cie del paraboloide es

p p
Z2 Z4 u2 Z2 Z4 u2
2 2
du dv 4u; 2v; u + v (2u; 2v; 1) = du dv 8u2 4v 2 u2 v2
p p
2 4 u2 2 4 u2

p p p
Z2 Z4 u2 Z2 Z4 u2 Z2 Z4 u2
2 2 2
= du dv 7u 5v =7 u du dv 5 du v 2 dv
p p p
2 4 u2 2 4 u2 2 4 u2

Como
p
Z4 u2
p
dv = 2 4 u2
p
4 u2

3
y

Z2
p
u2 4 u2 du = 2
2

Además
p
Z4 u2 3
2 2 2
v dv = 4 u 2
p
3
4 u2

Z2 3
2 2 du = 6
4 u
2

tenemos

Flujo sobre el paraboloide=7 (4 ) 5 (4 ) = 8

ii) Calculamos ahora el ‡ujo a través del plano z = 4.

La descripción paramétrica del plano es

(u; v; 4)

con
p p
u 2 [ 2; +2] y v2 4 u2 ; + 4 u2

El vector hacía afuera normal al plano es claramente b

k.

(Como ejercicio lo calculamos:

@
(u; v; 4) = (1; 0; 0)
@u
@
(u; v; 4) = (0; 1; 0)
@v
así que

(1; 0; 0) (0; 1; 0) = (0; 0; 1))

y el ‡ujo nos da
p p
Z2 Z4 u2 Z2 Z4 u2

du dv (4u; 2v; 4) (0; 0; 1) = 4 du dv

p p
2 4 u2 2 4 u2

Como
p
Z4 u2
p
dv = 2 4 u2
p
4 u2

Z2
p
4 u2 du = 2
2

4
tenemos

Flujo a través del plano= 16

Llegamos entonces a que el ‡ujo a través de la super…cie que rodea al volumen V es

ZZ
F~ n
bdS = 16 + 8 = 24
S

y veri…camos el teorema de la divergencia.