Integrales de

Supercie.
Teoremas de
Stokes y de
Gauss


1. Area de una Supercie
La idea para calcular el area de una supercie es sub-dividirla en regiones bastante peque nas
como para suponer que son planas, y aproximar el valor del area como la suma de esas regiones
planas.
Para ver a que formula nos lleva este procedimiento, consideramos una supercie regular y
simple en R
3
, y : T R
3
una parametrizacion de S.
Si realizamos una particion de T, obtenemos una particion de la supercie en regiones casi
rectangulares. Sea R uno de los rectangulos de la particion, de vertices
(u
0
, v
0
), (u
0
+ h, v
0
), (u
0
, v
0
+ j), (u
0
+ h, v
0
+ j) .
Aproximamos el area de (R) por el area del paralelogramo de lados los segmentos
(u
0
, v
0
), (u
0
+ h, v
0
)
y
(u
0
, v
0
), (u
0
, v
0
+ j)
como el producto vectorial de los dos vectores:
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


T
S
(R)
(u
0
, v
0
)
(u
0
, v
0
)
(u
0
+h, v
0
)
(u
0
+h, v
0
)
(u
0
, v
0
+j)
(u
0
, v
0
+j)
(u
0
+h, v
0
+j)
(u
0
+h, v
0
+j)
R
R
(R)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


a((R))

((u
0
+ h, v
0
) (u
0
, v
0
))

((u
0
, v
0
+ j), (u
0
, v
0
)) =
=
_
_
_
_

i

j

k

1
(u
0
+ h, v
0
)
1
(u
0
, v
0
)
2
(u
0
+ h, v
0
)
2
(u
0
, v
0
)
3
(u
0
+ h, v
0
)
3
(u
0
, v
0
)

1
(u
0
, v
0
+ j)
1
(u
0
, v
0
)
2
(u
0
, v
0
+ j)
2
(u
0
, v
0
)
3
(u
0
, v
0
+ j)
3
(u
0
, v
0
)
_
_
_
_
donde (u, v) = (
1
(u, v),
2
(u, v),
3
(u, v))
En cada coordenada podemos aplicar el teorema del valor medio, de modo que

i
(u
0
+ h, v
0
)
i
(u
0
, v
0
) =
d
i
du
(s
i
, v
0
) h
con s
i
[u
0
, u
0
+h], y utilizando la continuidad de las derivadas parciales de podemos aproximar
el valor de la derivada en el punto (s
i
, v
0
) por la derivada el el punto (u
0
, v
0
), de modo que

i
(u
0
+ h, v
0
)
i
(u
0
, v
0
)
d
i
du
(u
0
, v
0
) h
Analogamente,

i
(u
0
, v
0
+ j)
i
(u
0
, v
0
) =
d
i
dv
(u
0
, t
i
) j
d
i
dv
(u
0
, v
0
) j
(con t
i
[v
o
, v
o
+ j]) y
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


a((R))

i

j

k
d
1
du
(u
0
, v
0
) h
d
2
du
(u
0
, v
0
) h
d
3
du
(u
0
, v
0
) h
d
1
dv
(u
0
, v
0
) j
d
2
dv
(u
0
, v
0
) j
d
3
dv
(u
0
, v
0
) j

=
=

i

j

k
d
1
du
(u
0
, v
0
)
d
2
du
(u
0
, v
0
)
d
3
du
(u
0
, v
0
)
d
1
dv
(u
0
, v
0
)
d
2
dv
(u
0
, v
0
)
d
3
dv
(u
0
, v
0
)

|h||j| =
=

i

j

k
d
1
du
(u
0
, v
0
)
d
2
du
(u
0
, v
0
)
d
3
du
(u
0
, v
0
)
d
1
dv
(u
0
, v
0
)
d
2
dv
(u
0
, v
0
)
d
3
dv
(u
0
, v
0
)

a(R) =
=
d
du
(u
0
, v
0
)
d
dv
(u
0
, v
0
) a(R)
El area total de la supercie sera entonces
a(S) =

RR
a((R)) =

RR

d
du
(u
R
, v
R
)
d
dv
(u
R
, v
R
) a(R)
siendo cada (u
R
, v
R
) el vertice inferior izquierdo de R.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


As, el area de S es un n umero que esta entre las sumas superior e inferior de Riemann de
la funcion
d
du
(u, v)
d
dv
(u, v), que es una funcion continua en T, y por tanto integrable. Si
hacemos particiones de T cada vez mas nas, estas sumas tienden a la integral, y se obtiene
a(S) =
_
T

d
du
(u, v)
d
dv
(u, v)d(u, v) =
_
T
n

(u, v)d(u, v)
(n

(u, v) es el vector normal denido por )

Esta sera la formula que se utilice como denicion de area de una supercie. Pero antes, una
observacion: aparentemente el calculo del area de una supercie depende de la parametrizacion
que se utilice para representarla. Hay que ver que esto no es as, y que el resultado de la integral
es independiente de la parametrizacion.
Proposicion. Sea S una supercie regular y simple, y sean : T R
3
y : M R
3
dos
parametrizaciones de S. Entonces
_
T

d
du
(u, v)
d
dv
(u, v)d(u, v) =
_
M

d
ds
(s, t)
d
dt
(s, t)d(s, t)
La demostracion es inmediata utilizando el cambio de parametro entre y como cambio
de variable.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Denicion (Area de una Supercie).
Sea S una supercie regular y simple en R
3
. Se dene el area de S como
a(S) =
_
T

d
du
(u, v)
d
dv
(u, v)d(u, v)
donde : T R
3
es una parametrizacion cualquiera de S.
Si S es una supercie regular a trozos, el area de S es la suma de las areas de cada trozo
regular.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


2. Integrales de Supercie de Campos Escalares
El primer tipo de integrales de supercie aparece en el estudio de funciones escalares denidas
sobre los puntos de una supercie, como por ejemplo la temperatura sobre la supercie de
la Tierra. Para llegar a la construccion de la integral, vamos a considerar un ejemplo mas
sencillo: consideramos una supercie regular y simple, y representamos una funcion f : S R
levantando cada punto (x, y, z) de S una distancia igual a f(x, y, z), de manera que obtenemos
una nueva supercie paralela a S. Vamos a tratar de calcular el volumen encerrado entre las
dos supercies, con un procedimiento similar al que se utilizo para calcular el volumen encerrado
entre la graca de una funcion de dos variables y el plano horizontal mediante la integral de
Riemann.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


S
(x, y, z)
f(x, y, z)
(R)
T
R

Consideramos : T R
3
una parametrizacion de S, y obtenemos una particion de S
haciendo una particion de T.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Sobre cada trozo (R) obtenido en la supercie, calculamos el supremo y el nmo de f
M
(R)
(f) = sup{f(x), x (R)} = sup{f((u, v)), (u, v) R} = M
R
(f )
m
(R)
(f) = inf{f(x), x (R)} = inf{f((u, v)), (u, v) R} = m
R
(f )
Y calculamos las sumas superior e inferior como la suma de los vol umenes de los prismas de
base (R) y alturas M
(R)
y m
(R)
respectivamente
S(f, , P) =

RR
M
(R)
(f)a((R)) =

RR
M
R
(f )
_
R
n

(u, v)d(u, v)
y
S(f, , P) =

RR
m
(R)
(f)a((R)) =

RR
m
R
(f )
_
R
n

(u, v)d(u, v)
utilizando la formula que hemos visto antes para calcular el area de (R).
Entonces
S(f, , P)

RR
_
R
f (u, v)n

(u, v)d(u, v) =
=
_
T
f (u, v)n

(u, v)d(u, v) S(f, , P)

Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Si hacemos las particiones cada vez mas nas, estas sumas deben tender al volumen que
buscamos entre las dos supercies, y obtenemos lo que llamamos la integral de f sobre S como
_
S
f =
_
T
f (u, v)n

(u, v)d(u, v)
Aparentemente el resultado de la integral dependera de la parametrizacion que utilicemos
para describir la supercie S, sin embargo esto no es as.
Proposicion. Sea S una supercie regular y simple en R
3
, y sean : T R
3
y : M R
3
dos parametrizaciones de S. Sea f : R
3
R un campo escalar continuo en un abierto U que
contenga a S. Entonces
_
T
f (u, v) n

(u, v)d(u, v) =
_
M
f (s, t) n

(s, t)d(s, t)
La demostracion es consecuencia inmediata de la equivalencia de las parametrizaciones y el
teorema de cambio de variable.
Denicion (Integral de Supercie de Campos Escalares).
Sea S una supercie regular y simple en R
3
, y sea f : R
3
R un campo escalar continuo en
un abierto U que contenga a S. Se dene la integral de f sobre S como
_
S
f =
_
T
f (u, v)n

(u, v)d(u, v)
donde : T R
3
es una parametrizacion cualquiera de S
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Si S es una supercie regular a trozos, se dene la integral de f sobre S como la suma de las
integrales en cada trozo regular.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


3. Integrales de Supercie de Campos Vectoriales
Al igual que utilizamos el modelo de calculo del trabajo generado por un campo de fuerzas para
interpretar el signicado de la integral de lnea de campos vectoriales, vamos a utilizar ahora la
dinamica de uidos para interpretar la integral de supercie de campos vectoriales.
Si tenemos un uido, como un lquido o un gas, en movimiento con velocidad v(x, y, z) en
cada punto (x, y, z), e interponemos una supercie S, se llama ujo a traves de S a la cantidad
de uido que la atraviesa por unidad de tiempo.
Para calcular el ujo, consideremos primero el ejemplo mas sencillo, en el que la velocidad del
uido es constantemente v (misma direccion, sentido y modulo), e interponemos una supercie
plana y perpendicular a v: el ujo por unidad de tiempo sera igual al volumen encerrado entre la
supercie S y la supercie donde se encuentran las partculas del uido un segundo despues, S
1
,
que sera paralela a S a distancia v: es decir, el ujo es igual al producto de la norma de v por
el area de S
= v a(S)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


S
S
1
v
S
S
1
v
n
n
n
v
N
Si S es una supercie plana, pero no es perpendicular a v, entonces el volumen encerrado
entre S y S
1
sera igual al producto de la norma del vector v
N
(componente de v en la direccion
perpendicular a S) por el area de S. Si n es un vector normal (perpendicular) a S,
= v
N
a(S) = | < v,
n
n
> |a(S)
En fsica de interpreta de forma un poco mas abstracta el ujo, considerando que tiene signo
positivo o negativo seg un el sentido en que atraviese la supercie
=< v,
n
n
> a(S)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


tiene signo positivo si el angulo entre v y n es menor que /2, y signo negativo si es mayor que
/2
En el caso mas general, la velocidad de cada partcula de uido sera una funcion continua

V (x, y, z), no necesariamente constante, y la supercie no sera necesariamente plana ni per-

pendicular a al movimiento. La idea es que sin embargo, si dividimos la supercie en regiones
sucientemente peque nas, podemos suponer que la supercie es plana y la velocidad constante
en ellas, gracias a la continuidad de

V y de las parametrizaciones de las supercies.
S
V (x, y, z)

T
R
(R)
(uR, vR)

V ((uR, vR))
Consideramos entonces una
parametrizacion : T R
3
de
S, y hacemos una particion P de
T. Para cada rectangulo R R
P
,
calculamos el ujo que atraviesa
(R) suponiendo que

V (x, y, z) =

V ((u
R
, v
R
)) es
constante ((u
R
, v
R
) es un punto
cualquiera de R), y que (R) es
una supercie plana

R
=<

V ((u
R
, v
R
)),
n

(u
R
, v
R
)
n

(u
R
, v
R
)
> a((R))
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Aplicando la formula del area de
(R) =
_
R
n

(u, v)d(u, v) n

(u
R
, v
R
)a(R)
se tiene

R
=<

V ((u
R
, v
R
)), n

(u
R
, v
R
) > a(R)
y el ujo total a traves de la supercie

RR
P

R
=

RR
P
<

V ((u
R
, v
R
)), n

(u
R
, v
R
) > a(R)
Haciendo las particiones cada vez mas nas, esta suma tiende a la integral
=
_
T
<

V ((u, v)), n

(u, v) > d(u, v)

Esta formula es la que se utiliza como denicion de la integral de

V a traves de S, aunque
primero hay que observar en que medida puede depender de la parametrizacion que hayamos
escogido para S
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Proposicion. Sea S una supercie regular y simple en R
3
, y sean : T R
3
y : M R
3
dos parametrizaciones de S. Sea F : R
3
R un campo vectorial continuo en un abierto que
contenga a S. Si y denen la misma orientacion en S entonces
_
T
< F (u, v), n

(u, v) > d(u, v) =

_
M
< F (s, t), n

(s, t) > d(s, t)

Y si y denen orientaciones opuestas, entonces
_
T
< F (u, v), n

(u, v) > d(u, v) =

_
M
< F (s, t), n

(s, t) > d(s, t)

La demostracion es consecuencia de la equivalencia de las parametrizaciones y el teorema de
cambio de variable.
Denicion (Integral de Supercie de Campos Vectoriales). Sea S
+
una supercie regular y simple
orientada en R
3
, y F : R
3
R
3
un campo vectorial continuo en un abierto que contenga a S.
Se dene la integral de F a traves de S como
_
S
+
F =
_
T
< F (u, v), n

(u, v) > d(u, v)

siendo : T R
3
una parametrizacion cualquiera de S
+
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Si S
+
es una supercie regular a trozos y orientada, se dene la integral como la suma de las
integrales en cada trozo regular, con la orientacion denida por S
+
en cada uno.
Observaciones:
Es bastante habitual escribir (u, v) = (x(u, v), y(u, v), z(u, v)), y el vector normal
n

(u, v) = (
dy
du
dz
dv

dy
dv
dz
du
,
dz
du
dx
dv

dz
dv
dx
du
,
dx
du
dy
dv

dx
dv
dy
du
) =
= (dy dz, dz dx, dx dy)
utilizando una notacion algebraica (dx dy se lee producto exterior de dx y dy), y la integral
se escribe
_
S
+
F =
_
S
+
f
1
dy dz + f
2
dz dx + f
3
dx dy
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


4. Teorema de Stokes
Un campo vectorial F : R
3
R
3
de clase C
1
como el que expresa la velocidad de las partculas
de un uido en el espacio tiene asociado otro campo llamado rotacional de F, que mide de
alguna manera el efecto de rotacion que el campo produce en el movimiento. Este campo se
dene por la expresion
rot(F)(x, y, z) =

i

j

k
d
dx
d
dy
d
dz
f
1
f
2
f
3

=
=
_
df
3
dy

df
2
dz
,
df
1
dz

df
3
dx
,
df
2
dx

df
1
dy
_
(x,y,z)
Por la similitud con las expresiones de calculo utilizadas en geometra, en algunos textos se
escribe el rotacional como el producto vectorial del gradiente por F
rotF = F
El Teorema de Stokes establece una relacion entre la integral de supercie del rotacional de
un campo vectorial y la integral del campo sobre el borde de la supercie:
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Teorema (Teorema de Stokes).
Sea S
+
una supercie regular y simple orientada, y sea : T R
3
una parametrizacion de S
+
, que sea de clase C
2
. Sea F : R
3
R
3
un campo vectorial de clase C
1
en un abierto que contenga a S.
Entonces
_
b(S)
+
F =
_
S
+
rot(F)
donde b(S)
+
tiene la orientacion que resulta de aplicar a la frontera
de T, y Fr(T)
+
se orienta en sentido anti-horario (dejando la region
T a la izquierda)
Demostracion: (Saltar al nal de la demostracion)
Para demostrar el teorema, consideramos el campo F = (f
1
, f
2
, f
3
) como la suma
F = (f
1
, 0, 0) + (0, f
2
, 0) + (0, 0, f
3
)
Basta entonces demostrar las tres igualdades
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


_
b(S)
+
(f
1
, 0, 0) =
_
S
+
(0 ,
df
1
dz
,
df
1
dy
)
_
b(S)
+
(0, f
1
, 0) =
_
S
+
(
df
2
dz
, 0 ,
df
2
dx
)
_
b(S)
+
(0, 0, f
3
) =
_
S
+
(
df
3
dy
,
df
3
dx
, 0)
y sumarlas. Las tres se demuestran analogamente, as que veremos solo la primera.
Para parametrizar el borde de S, consideramos : [a, b] R
2
una parametrizacion de
Fr(T)
+
(orientada en sentido anti-horario). Entonces : [a, b] R
3
es una parametrizacion
de b(S)
+
Calculamos la derivada de : poniendo = (
1
(u, v),
2
(u, v),
3
(u, v)) y (t) =
(
1
(t),
2
(t)) la derivada queda de la forma
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


( )

(t) = d((t)) d(t) =

=
_
_
_
d
1
du
((t))
d|
1
dv
((t))
d
2
du
((t))
d|
2
dv
((t))
d
3
du
((t))
d|
3
dv
((t))
_
_
_

_
d
1
dt
(t)
d
2
dt
(t)
_
= (
d
1
du
((t))
d
1
dt
(t) +
d
1
dv
((t))
d
2
dt
(t), B(t), C(t))
Entonces
_
b(S)
+
(f
1
, 0, 0) =
_
b
a
< (f
1
((t)) , 0 , 0) , ( )

(t) > dt =
=
_
b
a
f
1
(t)
_
d
1
du
((t))
d
1
dt
(t) +
d
1
dv
((t))
d
2
dt
(t)
_
dt =
=
_
b
a
f
1
(t) <

1
((t)),

(t) > dt =
=
_
Fr(T)
+
f
1
(u, v)

1
(u, v)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


integral sobre la frontera de T del campo vectorial
G(u, v) = f
1
(u, v)

1
(u, v) =
= (f
1
(u, v)
d
1
du
(u, v) , f
1
(u, v)
d
1
dv
(u, v)) = (g
1
(u, v), g
2
(u, v))
Aplicando el teorema de Green a G
_
Fr(T)
+
G =
_
T
_
dg
2
du
(u, v)
dg
1
dv
(u, v)
_
d(u, v)
Calculando las derivadas parciales de las componentes de G
dg
2
du
(u, v) =
d
du
_
f
1

d
1
dv
_
(u, v) =
=
d
du
(f
1
) (u, v)
d
1
dv
(u, v) + (f
1
)(u, v)
d
2

1
dudv
(u, v) =
=
_
df
1
dx
((u, v))
d
1
du
(u, v) +
df
1
dy
((u, v))
d
2
du
(u, v)+
+
df
1
dz
((u, v))
d
3
du
(u, v)
_
d
1
dv
(u, v) +
+(f
1
)(u, v)
d
2

1
dudv
(u, v)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Y analogamente
dg
1
dv
(u, v) =
d
dv
_
f
1

d
1
du
_
(u, v) =
=
d
dv
(f
1
) (u, v)
d
1
du
(u, v) + (f
1
)(u, v)
d
2

1
dvdu
(u, v) =
=
_
df
1
dx
((u, v))
d
1
dv
(u, v) +
df
1
dy
((u, v))
d
2
dv
(u, v)+
+
df
1
dz
((u, v))
d
3
dv
(u, v)
_
d
1
du
(u, v) +
+(f
1
)(u, v)
d
2

1
dvdu
(u, v)
Restando las dos ecuaciones, y teniendo en cuenta que como es de clase C
2
las derivadas
cruzadas de
1
son iguales, queda
dg
2
du

dg
1
dv
=
=
_
df
1
dy

_ _
d
2
du
d
1
dv

d
2
dv
d
1
du
_
+
_
df
1
dz

_
,
_
d
3
du
d
1
dv

d
3
dv
d
1
du
_
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Observando con cuidado esta formula, la expresion que acompa na a
df
1
dz
es la segunda
coordenada del vector normal denido por y la expresion que acompa na a
df
1
dy
es el opuesto
de la tercera coordenada del vector normal
n

i

j

k
d
1
du
d
2
du
d
3
du
d
1
dv
d
2
dv
d
3
dv

=
_
d
2
du
d
3
dv

d
2
dv
d
3
du
,
d
3
du
d
1
dv

d
3
dv
d
1
du
,
d
1
du
d
2
dv

d
1
dv

2
du
_
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


luego
_
b(S)
+
(f
1
, 0, 0) =
_
T
_
dg
2
du
(u, v)
dg
1
dv
(u, v)
_
d(u, v) =
=
_
T
< (0,
df
1
dz
(u, v),
df
1
dy
(u, v)) , n

(u, v) > d(u, v) =

=
_
S
+
(0,
df
1
dz
,
df
1
dy
)
lo que termina la demostracion
(Volver al enunciado)
Observaciones:
1- Para la demostracion del teorema se necesita una parametrizacion de clase C
2
de la su-
percie. Sin embargo, una vez demostrado, como todas las parametrizaciones de S
+
y de b(S)
+
son equivalentes, las integrales no dependen de las parametrizaciones, luego la formula es valida
con cualquier parametrizacion. Es decir, es necesario que S admita una parametrizacion de clase
C
2
, pero entonces el resultado es cierto con cualquier parametrizacion.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


2- El teorema se demuestra por comodidad para supercies regulares y simples, pero tambien
se verica en supercies regulares a trozos orientables, que admitan una parametrizacion de clase
C
2
en cada trozo regular, ya que las aristas comunes a dos trozos aparecen orientadas en sentidos
opuestos en cada uno, con lo que
_
b(S)
+
F =
k

i=1
_
b(S
i
)
+
F =
k

i=1
_
S
+
i
rotF =
_
S
+
rotF
S
1
S
2
S = S
1
S
2
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


5. Teorema de Gauss
Asociado a un campo vectorial de clase C
1
hay tambien un campo escalar, que en el caso de la
dinamica de uidos mide la expansion o la contraccion del uido, llamado divergencia de F, y
que se dene mediante la expresion
divF(x, y, z) =
df
1
dx
(x, y, z) +
df
2
dy
(x, y, z) +
df
3
dz
(x, y, z)
Tambien en este caso, se utiliza el parecido con la expresion de un producto escalar, y en algunos
textos se escribe
divF(x, y, z) =< , F >
El teorema de Gauss establece una relacion entre la integral sobre una supercie cerrada
de un campo vectorial, y la integral de Riemann en el cuerpo encerrado por la supercie de la
divergencia del campo, que desde el punto de vista de la dinamica de uidos establecera una
relacion entre la cantidad de uido que atraviesa una supercie, y la medida en que el uido
se expande. Desde el punto de vista matematico, el Teorema de Gauss es una generalizacion a
dimension tres del Teorema de Green que hemos demostrado para integrales de linea en regiones
elementales del plano.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Denicion (Regiones elementales en R
3
). Un conjunto V contenido en R
3
se llama region
elemental si existen regiones elementales del plano T
1
, T
2
, T
3
y funciones de clase C
1
, p
1
, q
1
, p
2
,
q
2
, p
3
, q
3
, tales que
V = {(x, y, z) : (x, y) T
1
, p
1
(x, y) z q
1
(x, y)} =
= {(x, y, z) : (y, z) T
2
, p
2
(y, z) x q
2
(y, z)} =
= {(x, y, z) : (x, z) T
3
, p
3
(x, z) y q
3
(x, z)}
La frontera de una region elemental es una supercie simple cerrada regular a trozos, ori-
entable, y el conjunto V es medible Jordan ya que es acotado y su frontera tiene medida cero.
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


Teorema (Teorema de Gauss, o de la Divergencia).
Sea V una region elemental del R
3
, y sea F : R
3
R
3
un campo
vectorial de clase C
1
en un abierto que contenga a V . Entonces
_
Fr(V )
+
F =
_
V
divF(x, y, z)d(x, y, z)
donde Fr(V )
+
se orienta de modo que el vector normal apunte hacia
el exterior de V .
Demostracion: (Saltar al nal de la demostracion)
Si F = (f
1
, f
2
, f
3
), bastara demostrar que
_
Fr(V )
+
(f
1
, 0, 0) =
_
V
df
1
dx
(x, y, z)d(x, y, z)
_
Fr(V )
+
(0, f
2
, 0) =
_
V
df
2
dy
(x, y, z)d(x, y, z)
_
Fr(V )
+
(0, 0, f
3
) =
_
V
df
3
dz
(x, y, z)d(x, y, z)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


y sumar las tres igualdades. Vamos a demostrar solo la ultima de las tres; las otras dos se
comprueban analogamente.
Como V es una region elemental, existen dos funciones de clase C
1
denidas en una region
elemental del plano, p : T R y q : T R, de modo que
V = {(x, y, z) : (x, y) T, p(x, y) z q(x, y)}
T
S
+
3
(x, y)
p(x, y)
q(x, y)
S
+
1
S
+
2
La frontera de V esta formada por
tres supercies, S
1
la graca de p,
S
2
la graca de q, y S
3
un trozo
de un cilindro vertical con base en
la frontera de T, cada una
orientada de modo que el vector
normal apunte hacia el exterior de
V . Entonces
_
Fr(V )
+
(0, 0, f
3
) =
_
S
+
1
(0, 0, f
3
) +
_
S
+
2
(0, 0, f
3
) +
_
S
+
3
(0, 0, f
3
)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


S
1
se puede parametrizar facilmente mediante la funcion
(x, y) = (x, y, p(x, y))
denida en T. Esta funcion verica
d
dx
(x, y) = (1, 0,
dp
dx
(x, y))
d
dy
(x, y) = (0, 1,
dp
dy
(x, y))
y por tanto
n

(x, y) = (
dp
dx
(x, y),
dp
dy
(x, y), 1)
apunta hacia arriba, hacia el interior de V (pues tiene la tercera coordenada positiva). Es decir,
es una parametrizacion de S

1
, y
_
S
+
1
(0, 0, f
3
) =
_
S

1
(0, 0, f
3
) =
=
_
T
< (0, 0, f
3
(x, y)) , n

(x, y) > d(x, y) =

=
_
T
f
3
(x, y, p(x, y))d(x, y)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


De la misma manera, S
2
se puede parametrizar mediante la funcion
(x, y) = (x, y, q(x, y))
denida en T, que verica
d
dx
(x, y) = (1, 0,
dq
dx
(x, y))
d
dy
(x, y) = (0, 1,
dq
dy
(x, y))
y por tanto
n

(x, y) = (
dq
dx
(x, y),
dq
dy
(x, y), 1)
apunta hacia arriba. As es una parametrizacion de S
+
2
y
_
S
+
2
(0, 0, f
3
) =
_
T
< (0, 0, f
3
(x, y)) , n

(x, y) > d(x, y) =

=
_
T
f
3
(x, y, q(x, y))d(x, y)
Por ultimo, la supercie S
3
es paralela al eje vertical, y por tanto el vector normal en cualquier
punto es paralelo al plano horizontal y tiene la tercera coordenada nula: n = (n
1
, n
2
, 0) Entonces
_
S
+
3
(0, 0, f
3
) = 0
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss


As pues,
_
Fr(V )
+
(0, 0, f
3
) =
_
T
f
3
(x, y, p(x, y))d(x, y) +
_
T
f
3
(x, y, p(x, y))d(x, y) =
=
_
T
(f
3
(x, y, q(x, y)) f
3
(x, y, p(x, y))) d(x, y)
Por otro lado, calculando ahora la integral en V mediante el Teorema de Fubini,
_
V
df
3
dz
(x, y, z)d(x, y, z) =
_
T
_
_
q(x,y)
p(x,y)
df
3
dz
(x, y, z)dz
_
d(x, y) =
=
_
T
(f
3
(x, y, q(x, y)) f
3
(x, y, p(x, y))) d(x, y)
Es decir, las dos integrales son iguales, como queramos demostrar.
(Volver al enunciado)
Integrales de
Supercie.
Teoremas de
Stokes y de
Gauss
Contenido


Observaciones:
1- Es facil comprobar que la divergencia del rotacional de un campo vectorial de clase C
2
es cero. Aplicando entonces el Teorema de Gauss, la integral sobre la frontera de una region
elemental (que es una supercie cerrada simple regular a trozos y orientable) de un rotacional es
cero.
Esta propiedad de los rotacionales generaliza el concepto de los campos conservativos que
estudiamos en el tema de las integrales de lnea: en aquel caso vimos que la integral a lo largo
de una curva cerrada de un campo conservativo es cero.
2- Como en el caso del Teorema de Green, el Teorema de Gauss se puede utilizar para calcular
vol umenes de regiones elementales del espacio, haciendo la integral sobre la frontera de un campo
de clase C
1
cuya divergencia valga uno.