8.

Teoremas de Stokes y Gauss

73

Consideremos el dominio acotado = {(x, y, z) R3 : 4x2 + 4y2 + z2 < 4 , z > 0} cuya frontera se expresa en la forma = S T donde S = {(x, y, z) R3 : 4x2 + 4y2 + z2 = 4 , z 0} y T = {(x, y, 0) R3 : x2 + y2 1}

Claro est que S es la supercie a travs de la cual queremos calcular el ujo del campo. Por tratarse del ujo saliente, orientamos S mediante la normal exterior a lo que concuerda con lo que exige el Teorema de Gauss. Por otra parte, T es una supercie en forma explcita que podemos ver como T = (W ) donde W = {(x, y) R2 : x2 + y2 1} , (x, y) = (x, y, 0) (x, y) W

El vector normal x y es constantemente igual a k, luego dene la orientacin opuesta a la que exige el Teorema de Gauss. El resto de las hiptesis se comprueban sin dicultad. Por ejemplo, el hecho de que S y T no se solapan se debe a que el interior del recinto W / , luego ninguna viene dado por D = {(x, y) R2 : x2 + y2 < 1}, y es evidente que (D) S = 0 parametrizacin de S puede solaparse con . As pues, el Teorema de Gauss, teniendo en cuenta la orientacin de la supercie T , nos permite escribir (div F) dx dy dz =
S

F . ds
T

F . ds

Puesto que div F(x, y, z) = 3(x2 + y2 ) para cualesquiera x, y, z R, usando coordenadas cilndricas tenemos 2
1

(div F) dx dy dz = 6
0

3
0

dz d = 12
0

1 2 d

Para la ltima integral puede usarse el cambio u = 1 2 , obteniendo

1

1 2 d

1 2(1 2 )3/2 2(1 2 )5/2 = 2 3 5 8 5

=1

=
=0

2 15

con lo cual (div F) dx dy dz =

Por otra parte, para la integral sobre la supercie T tenemos F . ds =

T W

F(x, y, 0) k dx dy =
W

(x2 + y2 ) dx dy =

3 d d =

y obtenemos nalmente el ujo buscado F . ds =

S

8 21 + = 5 2 10