El teorema de la divergencia de Gauss

El teorema de la divergencia de Gauss p. 1

El operador divergencia
Consideremos un campo F = (F1 , F2 , F3 ) de clase C 1 . Se dene la divergencia como F1 F2 F3 + + div F = x y z

El teorema de la divergencia de Gauss p. 2

El teorema de la divergencia o de Gauss

Sea R3 un abierto acotado tal que su frontera sea una unin nita de supercies regulares. Sea F un campo C 1 denido en unan vecindad de . Entonces F n dS = div F dV

donde cada supercie de est orientada segn la normal exterior a . Observacin: es automticamente orientable.

El teorema de la divergencia de Gauss p. 3

El caso de un rectngulo
Supongamos que = [a, b] [c, d] [e, f ]. Entonces
b d c e f

div F dV =
a

F1 F2 F3 + + dz dy dx x y z

Consideremos el ltimo trmino. Usando el teorema fundamental del clculo:

b a c d e f

F3 dz dy dx = z

b a c b a

F3 (x, y, f ) dy dx
d

F3 (x, y, e) dy dx
c
El teorema de la divergencia de Gauss p. 4

La integral
b a c d

F3 (x, y, f ) dy dx puede verse como la integral de ujo

b a c d

F3 (x, y, f ) dy dx =
Ssup

F n dS

donde Ssup es la cara superior: Ssup = {(x, y, z) : a x b, c y d, z = f }.

El teorema de la divergencia de Gauss p. 5

Similarmente
b d

F3 (x, y, e) dy dx =
a c Sinf

F n dS

donde Sinf es la cara inferior. (Notar el signo -). Luego

b a c d e f

F3 dz dy dx = z

Ssup

F dS+ n

Sinf

F dS. n

El teorema de la divergencia de Gauss p. 6

Un clculo anlogo muestra que

b a c d e f

F2 dz dy dx = y

Sizq

F dS+ n

Sder

F dS. n

donde Sizq y Sder son las caras izquierda y derecha respectivamente, y

b a c d e f

F1 dz dy dx = x

Sant

F dS+ n

Spost

F dS. n

donde Sant , Spost corresponden a la cara anterior y posterior.

El teorema de la divergencia de Gauss p. 7

Tomando en cuenta que = Ssup Sinf Sizq Sder Sant Spost se deduce que
b a c d e f

div F dz dy dx =

F n dS.

El teorema de la divergencia de Gauss p. 8

div es invariante bajo rotaciones de los ejes

Escribamos F = (F1 , F2 , F3 ) = donde e1 , e2 , e3 forman la base cannica de R . Consideremos una base ortonormal v1 , v2 , v3 de R3 . Entonces
3 3 i=1 Fi ei 3

F =
i=1

Fi vi

donde Fi = F , vi

El teorema de la divergencia de Gauss p. 9

Introduzcamos el cambio de variables x = Ry donde y1 x1 x = x2 R = [v1 , v2 , v3 ] y = y2 y3 x3

(R es de 3 3) Entonces en las variables y y usando la base v1 , v2 , v3 el campo se puede expresar como

3

F (y) =
i=1

Fi (y)vi

Fi (y) = F (Ry), vi

El teorema de la divergencia de Gauss p. 10

Con la notacin
3

F (y) =
i=1

Fi (y)vi

Fi (y) = F (Ry), vi

se tiene
3

div F =
i=1

Fi = xi

i=1

Fi yi

El teorema de la divergencia de Gauss p. 11

i=1

Fi = yi
3 3

i=1

F (Ry) , vi = yi

i=1 j=1

F xj , vi xj yi

=
i=1 j=1

F Rji , vi ( ya que xj = xj
3 3 3

3 i=1 Rji yi )

=
i=1 j=1 k=1

Rji

F , Rki ek xj

El teorema de la divergencia de Gauss p. 12

i=1

Fi = yi
3 3

Rji
i=1 j=1 k=1

F , Rki ek xj

=
j=1 k=1 i=1

Rji Rki

F , ek xj
3

=
j=1 k=1

kj

F , ek = xj

j=1

F , ej = xj

j=1

Fj xj

ya que RT R = I = RRT .
El teorema de la divergencia de Gauss p. 13

Versin local del teorema de la divergencia

Se tiene que para cualquier x0 existe un R > 0 (pequeo, que depende de x0 ) tal que: si F es un campo C 1 que se anula fuera de BR (x0 ) entonces F n dS = div F dV

El teorema de la divergencia de Gauss p. 14

El caso x0
Rotando los ejes podemos suponer que n(x0 ) = (1, 1, 1)/ 3. Usando la denicin de supercie regular y el teorema de la funcin inversa, existe R > 0 tal que la supercie BR (x0 ) es el grafo de funciones i : U i R es decir BR (x0 ) = {(x1 , x2 , x3 ) : x1 = 1 (x2 , x3 ), (x2 , x3 ) U1 } = {(x1 , x2 , x3 ) : x2 = 2 (x1 , x3 ), (x1 , x3 ) U2 } 1i3

= {(x1 , x2 , x3 ) : x3 = 3 (x1 , x2 ), (x1 , x2 ) U3 }

El teorema de la divergencia de Gauss p. 15

div F dV =
BR (x0 )

div F dV F1 F2 F3 + + dV. x1 x2 x3

=
BR (x0 )

Veamos el ltimo trmino: se puede elegir 0 < r < R tal que si F se anula fuera de Br (x0 ) entonces F3 dV = BR (x0 ) x3
3 (x1 ,x2 ) U3 x3

F3 dx3 dx1 dx2 x3

El teorema de la divergencia de Gauss p. 16

F3 dV = BR (x0 ) x3 =

3 (x1 ,x2 ) U3 x3

F3 dx3 dx1 dx2 x3

F3 (x1 , x2 , 3 (x1 , x2 ))dx1 dx2 .

U3

Como BR (x0 ) se puede parametrizar por r(x1 , x2 ) = (x1 , x2 , 3 (x1 , x2 )) tenemos r r 3 3 = ( , , 1) x1 x2 x2 x1

El teorema de la divergencia de Gauss p. 17

Luego, si F se anula fuera de Br (x0 ) (0, 0, F3 ) n dS = F3 (x1 , x2 , 3 (x1 , x2 ))dx1 dx2 .

U3

Se deduce que F3 dV = BR (x0 ) x3 (0, 0, F3 ) n dS.

El teorema de la divergencia de Gauss p. 18

Similarmente, utilizando la parametrizacin r(x1 , x3 ) = (x1 , 2 (x1 , x3 ), x3 ) se encuentra F2 dV = BR (x0 ) x2 y tambin F1 dV = BR (x0 ) x1 Sumando las frmulas anteriores F n dS = div F dV

El teorema de la divergencia de Gauss p. 19

(0, F2 , 0) n dS.

(F1 , 0, 0) n dS.

El caso x0
En este caso basta encontrar un cubo Q de centro x0 contenido en y luego elegir R > 0 pequeo tal que BR (x0 ) Q. Podemos aplicar entonces el clculo en el caso de un cubo y obtener div F =
Q

div F =
Q

F dS = 0 n

Notar que

F n dS = 0

El teorema de la divergencia de Gauss p. 20

Versin global
Tenemos: para cada x existe un Rx > 0 tal que si F se anula fuera de BRx (x) entonces vale la frmula del teorema de la divergencia. Usando la compacidad de (cerrado y acotado) podemos encontrar una familia nita de puntos xi , 1 i m con sus respectivos Ri = Rxi > 0 tales que se puede cubrir por la unin m BRi (xi ), i=1 y para cualquier bola BRi (xi ), si F se anula fuera de BRi (xi ) entonces vale el teorema.

El teorema de la divergencia de Gauss p. 21

Para cada bola BRi (xi ) podemos encontrar una funcin i : R3 R, de clase C 1 tal que i > 0 en BRi (xi ) y i se anula fuera de la bola. Para x denamos i (x) = i (x) m j=1 j (x)

Entonces i es C 1 en una vecindad de i se anula fuera de BRi (xi ) para cualquier x :

m i=1 i (x)

= 1.
El teorema de la divergencia de Gauss p. 22

Consideremos un campo F de clase C 1 . m m Como i=1 i (x) = 1 F = i=1 (i F ) Cada funcin i F es un campo C 1 que se anula fuera de BRi (xi ) por lo que podemos aplicar la versin local del teorema de la divergencia i F n dS = div(i F ) dV

Sumando
m i=1 m

i F n dS =

div(i F ) dV
i=1
El teorema de la divergencia de Gauss p. 23

Por lo tanto
m

F n dS = =

div(
i=1

i F ) dV

div(F ) dV

El teorema de la divergencia de Gauss p. 24