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 n dS +

Sinf

F n dS.

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 n dS +

Sder

F n dS.

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 n dS +

Spost

F n dS.

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

i vi F

donde i = F , vi F

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

(y ) = F
i=1

i (y )vi F

i (y ) = F (Ry ), vi F

El teorema de la divergencia de Gauss p. 10

Con la notacin
3

(y ) = F
i=1

i (y )vi F

i (y ) = F (Ry ), vi F

se tiene
3

div F =
i=1

Fi = xi

3 i=1

i F yi

El teorema de la divergencia de Gauss p. 11

3 i=1

i F = yi
3 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

3 i=1

i F = 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

=
j =1 k =1

kj

F , ek = xj

3 j =1

F , ej = xj

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 x 3

F3 dx3 dx1 dx2 x3

El teorema de la divergencia de Gauss p. 16

F3 dV = BR (x0 ) x3 =

3 (x1 ,x2 ) U3 x 3

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

(0, F2 , 0) n dS.

(F1 , 0, 0) n dS.

F n dS =

div F dV

El teorema de la divergencia de Gauss p. 19

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 n dS = 0

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 i=1 BRi (xi ), 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 (x) j =1

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