TEOREMA DE LA DIVERGENCIA DE GAUSS EN EL PLANO.

Teorema: sean M, N, Q funciones de dos variables x, y; tales que sus

primeras derivadas parciales, continuas en un disco abierto D en RxR.
Sea C una curva cerrada y suave a trozos, contenida completamente
en D y sea R la regin limitada por D. Si

F ( x , y )=M ( x , y ) i + N ( x , y ) j
N
y es un vector saliente unitario de C
en P, donde s unidades es la longitud de arco medida en sentido
antihorario; desde un punto particular P0 de C hasta P, entonces:

F . N dS= F dA
C R

Demostracin:

F . N dS= F dA
C R

F ( x , y )=M ( x , y ) i + N ( x , y ) j
Sean:

M (x , y ) N ( x , y )

F ( x , y )= +
x y

Entonces:

M ( x , y) N ( x , y)
F . N dS= x
dA+
y
dA
C R R

F . N dS= ( M ( x , y ) i + N ( x , y ) j) . N dS
C C

F . N dS= M ( x , y ) i . N dS+ N ( x , y ) j . N dS
C C C

Por consiguiente, para probar el teorema de la Divergencia, es

suficiente probar las dos ecuaciones siguientes:

M (x , y)
M ( x , y ) i . N dS= x
dA (1)
C R

2

N (x , y )
N ( x , y ) j. N dS= y dA
C R
REGIN TIPO I:

REGIN TIPO II:

Para probar la ecuacin (2) usaremos el hecho de que R es una
regin de tipo I:

R= {(x , y )/ x D y 1( x) y y 2( x) }

Donde D es el intervalo donde vara x: [a,b]

[ ]
b y 2(x)
N ( x , y) N (x , y)
y dA= y
dy dx
R a y 1(x)

Luego, por el teorema fundamental del clculo se tiene:

b
N ( x , y)
y dA= [ N ( x , y 2( x ))N ( x , y 1( x ))] dx
R a

Separando el primer miembro de la ecuacin (2) en sumas de

integrales dobles para las curvas C1, C2, tenemos:

N ( x , y ) j. N dS= N ( x , y ) j. N dS+ N ( x , y ) j .
N dS
C C1 C2

N ( x , y ) j . N dS= N ( x , y 1(x )) dx
C2 D

N ( x , y ) j . N dS= N ( x , y 2( x)) dx
C1 D

Entonces:

N ( x , y ) j .
N dS= N ( x , y 1( x) ) dx N ( x , y 1( x) ) dx
C D D

x
x , y 2()
N ( N ( x , y 1( x)) ] dx

N ( x , y )
j .
N dS=
S D

N (x , y)
N ( x , y ) k .
N dS=
y
dA
C D
Para probar la ecuacin (1) usaremos el hecho de que R es una
regin de tipo II:

R= {(x , y )/ y D x 1( y ) x x 2( y ) }

Donde D es el intervalo donde vara y: [c,d]

[ ]
d x 2( y)
M (x , y ) M ( x , y)
x dA= x
dx dy
R c x 1( y)

Luego, por el teorema fundamental del clculo se tiene:

d
M (x , y )
x dA= [ M ( x 2 ( y ) , y ) M ( x 1 ( y ) , y )] dx
R c

Separando el primer miembro de la ecuacin (1) en sumas de

integrales dobles para las curvas C1, C2, tenemos:

M ( x , y ) i . N dS= M ( x , y ) i . N dS + M ( x , y ) i . N dS
C C1 C2

M ( x , y ) i . N dS= M ( x 1 ( y ) , y ) dx
C2 D

M ( x , y ) i . N dS= M ( x 2 ( y ) , y ) dx
C1 D

Entonces:

M ( x , y ) i . N dS= M ( x 1 ( y ) , y ) dx M ( x 1 ( y ) , y ) dx
C D D

y
x 2( ), y
M M ( x 1 ( y ) , y ) ] dx
(

M ( x , y ) i . N dS=
S D

M (x , y )
M ( x , y ) i .
N dS=
x
dA
C D

TEOREMA DE LA DIVERGENCIA DE GAUSS EN EL ESPACIO.

Teorema: sean M, N, Q funciones de tres variables x, y, z;
supongamos que tiene primeras derivadas parciales, continuas en
una bola abierta B de RxRxR. Sea S una superficie cerrada y suave a
trozos, contenida en B y sea E la regin limitada por S. Si

F ( x , y , z ) =M ( x , y , z ) i + N ( x , y , z ) j+Q ( x , y , z ) k
N
y es un vector
saliente unitario de S; entonces:

F .
N dS=
F dV
S E

F , a travs de la frontera S de
El teorema afirma que el flujo de
una regin E de RxRxR, est dado por la integral triple de la

divergencia de F sobre la regin E.

Demostracin:

F .
N dS=
F dV
S E

F ( x , y , z ) =M ( x , y , z ) i + N ( x , y , z ) j+Q ( x , y , z ) k
Sean:

M (x , y , z) N ( x , y , z ) Q( x , y , z )

F ( x , y , z) = + +
x y z

Entonces:

M ( x , y , z) N (x , y , z) Q( x , y , z)
F dV = x
dV +
y
dV +
z
dV
E E E E


F .
N dS= ( M ( x , y , z ) i + N ( x , y , z ) j+Q ( x , y , z ) k ) .
N dS
S S

F .
N dS= M ( x , y , z ) i .
N dS+ N ( x , y , z ) j .
N dS + Q ( x , y , z ) k .
N dS
S S S S

Por consiguiente, para probar el teorema de la Divergencia, es

suficiente probar las tres ecuaciones siguientes:

M ( x , y , z)
M ( x , y , z ) i . N dS= x dV (1)
S E

N ( x , y , z)
N ( x , y , z ) j. N dS= y
dV (2)
S E

Q(x , y , z )
Q ( x , y , z ) k . N dS= z
dV (3)
S E

REGIN TIPO I:
Para probar la ecuacin (3) usaremos el hecho de que E es una
regin de tipo I:

E= {(x , y , z)/( x , y) D z 1(x , y ) z z 2( x , y) }

Donde D es la proyeccin de E sobre el plano XY.

[ ]
z 2(x , y)
Q ( x , y , z ) Q ( x , y , z )
z dV = z
dz dA
E D z 1(x , y)

Luego, por el teorema fundamental del clculo se tiene:

Q ( x , y , z )
z
dV = [ Q ( x , y , z 2( x , y ) )Q(x , y , z 1(x , y )) ] dA
E D

Separando el primer miembro de la ecuacin (3) en sumas de

integrales dobles para las superficies s, s2 y s3, tenemos:

Q ( x , y , z ) k . N dS= Q ( x , y , z ) k . N dS+ Q ( x , y , z ) k . N dS+ Q ( x , y , z ) k .

N dS
S S1 S2 S3

Los bordes la superficie S consiste en tres piezas, la inferior S1, la

superior S2 y la intermedia S3 que suele estar o no (depende de la
geometra del cuerpo). Se notara que en el caso de S3 tenemos que:
k .
N =0 , ya que k es vertical y
N horizontal, entonces:

Q ( x , y , z ) k . N dS= Q ( x , y , z ) k . N dS+ Q ( x , y , z ) k . N dS
S S1 S2

Q ( x , y , z ) k . N dS= Q ( x , y , z 2( x , y)) dA
S2 D

Q ( x , y , z ) k . N dS= Q ( x , y , z 1( x , y )) dA
S1 D

Entonces:

Q ( x , y , z ) k . N dS= Q ( x , y , z 2( x , y)) dA Q ( x , y , z 1(x , y)) dA

S D D

Q ( x , y , z ) k . N dS= [ Q ( x , y , z 2( x , y)) Q(x , y , z 1( x , y )) ] dA

S D

Q( x , y , z )
Q ( x , y , z ) k . N dS= z
dV
S E

Para probar la ecuacin (2) usaremos el hecho de que E es una

regin de tipo II:

E= {(x , y , z)/( x , z) D y 1(x , z) y y 2( x , z) }

Donde D es la proyeccin de E sobre el plano XZ

[ ]
y2 (x , z)
N (x , y , z ) N (x , y , z )
y dV = y
dy dA
E D y1 (x , z)

Luego, por el teorema fundamental del clculo se tiene:

N (x , y , z )
y dV = [ N ( x , y 2 ( x , y ) , z )N (x , y 1 ( x , y ) , z)] dA
E D

Separando el primer miembro de la ecuacin (2) en sumas de

integrales dobles para las superficies s, s2 y s3, tenemos:

N ( x , y , z ) j. N dS= N ( x , y , z ) j .
N dS+ N ( x , y , z ) j.
N dS+ N ( x , y , z ) j.
N dS
S S1 S2 S3

Los bordes la superficie S consiste en tres piezas, la izquierda S1, la

derecha S2 y la intermedia S3 que suele estar o no (depende de la
geometra del cuerpo). Se notara que en el caso de S3 tenemos que:
j .
N =0 , ya que j es horizontal y
N vertical, entonces:

j .
N =0 , ya que j
N
Para S3 es horizontal y vertical:

N ( x , y , z ) j. N dS= N ( x , y , z ) j .
N dS+ N ( x , y , z ) j.
N dS
S S1 S2

N ( x , y , z ) j. N dS= N ( x , y , z 2(x , y)) dA

S2 D

N ( x , y , z ) j. N dS= N ( x , y , z 1( x , y )) dA
S1 D

N ( x , y , z ) j. N dS= N ( x , y 2 ( x , y ) , z ) dA N ( x , y 1 ( x , y ) , z ) dA
S D D

N ( x , y , z ) j. N dS= [ N ( x , y 2 ( x , y ) , z ) N (x , y 1 ( x , y ) , z)] dA
S D

N ( x , y , z)
N ( x , y , z ) j. N dS= y dV
S E

Para probar la ecuacin (1) usaremos el hecho de que E es una

regin de tipo III:

E= {(x , y , z)/( y , z) D x 1( y , z ) x x 2( y , z) }

Donde D es la proyeccin de E sobre el plano YZ

[ ]
x2 ( y, z )
M (x , y ,z) M ( x , y , z)
x dV =
x
dx dA
E D x1 ( y, z )

Luego, por el teorema fundamental del clculo se tiene:

x 2( y , z), y , z

M (x , y ,z)
x dV = [ M ( ) M (x 1( y , z), y , z) ] dA
E D

Separando el primer miembro de la ecuacin (1) en sumas de

integrales dobles para las superficies s, s2 y s3, tenemos:

M ( x , y , z ) i . N dS= M ( x , y , z ) i . N dS+ M ( x , y , z ) i . N dS+ M ( x , y , z ) i . N dS

S S1 S2 S3
Los bordes la superficie S consiste en tres piezas, la de atrs S1, la de
adelante S2 y la intermedia S3 que suele estar o no (depende de la
geometra del cuerpo). Se notara que en el caso de S3 tenemos que:
i .
N =0 , ya que i es horizontal y
N vertical, entonces:

k .
N =0 , ya que i
N
Para S3 es horizontal y vertical:

M ( x , y , z ) i . N dS= M ( x , y , z ) i . N dS+ M ( x , y , z ) i . N dS
S S1 S2

x 2( y , z) , y , z

M ( x , y , z ) i . N dS= M ( ) dA
S2 D

x 1( y , z), y , z

M ( x , y , z ) i . N dS= M ( ) dA
S1 D

x 2( y , z), y , z
x 1( y , z), y , z

M ( x , y , z ) i . N dS= M ( ) dA M ( ) dA
S D D

x 2( y , z) , y , z
M ( )M ( x 1( y , z ), y , z )

M ( x , y , z ) i . N dS= [ ] dA
S D

M ( x , y , z)
M ( x , y , z ) i . N dS= x dV
S E