Integracion de funciones de varias variables

Curso 16/17 Grupo C

Francisco Jose Freniche Ibanez

Modificado el 2 de febrero de 2017

Primera parte
1. Medida de Lebesgue en Rn
1.1. Volumen de intervalos
Sean a = (a1 , . . . , an ), b = (b1 , . . . , bn ) Rn tales que ai bi , i = 1, . . . , n. El intervalo cerrado I de
extremos a y b es el conjunto de x Rn tales que ai x bi , i = 1, . . . , n. El intervalo abierto se define
con todas las desigualdades estrictas (puede ser vaco). Y un intervalo en Rn se define de manera analoga,
con desigualdades estrictas o no, arbitrariamente. Un intervalo es degenerado si para algun i, ai = bi .
Un cubo es un intervalo en el que b1 a1 = = bn an .
El volumen de un intervalo de extremos a y b se define como vol(I) = (b1 a1 ) . . . (bn an ) (no depende
de que las desigualdades sean estrictas o no).
Un intervalo es degenerado si y solo si su volumen es cero.
Si I es un intervalo de Rn , x Rn y > 0. El trasladado x + I y el homotetico I son intervalos y

vol(x + I) = vol(I) y vol(I) = n vol(I)

Un intervalo entero (racional) de Rn es un intervalo no degenerado del tipo [a1 , b1 ) [an , bn ) con
ai < bi enteros (racionales), para 1 i n.
Lema. El volumen de un intervalo entero en el que los extremos tienen coordenadas enteras es igual al
numero de puntos con coordenadas enteras que hay en I, es decir, vol(I) = #(I Zn ).
Si I es intervalo racional y q N es multiplo de los denominadores de las coordenadas de los extremos
de I, entonces vol(I) = #(qI Zn )/q n .
Lema. Si I es un intervalo no degenerado en Rn y > 0, existen intervalos racionales J y K tales que
K I int(J) y que vol(J) vol(K) < .
S S
Teorema. Sean (Ik ) y (Hi ) familias numerables Ptales que k=1 Ik i=1 Hi . Si los intervalos
P de intervalos
Ik son dos a dos disjuntos, se cumple que k=1 vol(Ik ) i=1 vol(Hi ).

1
Integracion de funciones de varias variables Francisco J. Freniche

1.2. Medida de abiertos

Lema. Todo conjunto abierto no vaco es union numerable de cubos racionales dos a dos disjuntos, con
cierre dentro del abierto.

Definicion.
S Sea G Rn abierto. Si (Ik ) es unaPfamilia de intervalos dos a dos disjuntos tales que G =

k=1 Ik , se define la medida de G como m(G) = k=1 vol(Ik ).

Propiedades. La funcion m tiene las siguientes propiedades:

Monotona: Si G1 G2 y ambos son abiertos, entonces m(G1 ) m(G2 ).

Subaditividad: si G =
S P
k=1 Gk donde los Gk son abiertos, entonces m(G) k=1 m(Gk ).

Aditividad: si en el anterior los Gk son dos a dos disjuntos, entonces m(G) =

P
k=1 m(Gk ).

Si I es un intervalo abierto, m(I) = vol(I).

1.3. Conjuntos medibles y medida de Lebesgue

Definicion. Dado un conjunto X, una funcion , definida en el conjunto de todas las partes de X y con
valores en [0, +], es una medida exterior si cumple:

() = 0.

Si A B X, entonces (A) (B) (monotona).

Si (Ak ) es una sucesion de partes de X, entonces (

S P
k=1 Ak ) k=1 (Ak ) (subaditividad).

Definicion. Si A Rn , la medida exterior de Lebesgue de A se define como

m (A) = nf {m(G) : A G, G es abierto }.

Teorema. La funcion m es una medida exterior en Rn que para los intervalos coincide con el volumen y
para los conjuntos abiertos coincide con la medida antes definida.

Definicion. Se dice que A Rn es medible Lebesgue cuando para todo > 0 existen F cerrado y G abierto
tales que F A G y m(G \ F ) < .
Definicion. Una -algebra de partes de un conjunto X es una familia M de subconjuntos de X tal que:

, X pertenecen a M.

Si A M entonces X \ A M (cerrada por complementacion).

Si (Ak ) es una sucesion en M entonces

S
k=1 Ak M (cerrada por uniones numerables).

Teorema. La familia M formada por todos los subconjuntos de Rn que son medibles Lebesgue es una
-algebra de partes de Rn que contiene a los intervalos y a los conjuntos con medida exterior cero.
Todo conjunto de Borel de Rn es medible Lebesgue.

Definicion. Una funcion : M [0, +] es una medida positiva si cumple:

() = 0.

2
Integracion de funciones de varias variables Francisco J. Freniche

S P
Si (Ak ) en M es de conjuntos dos a dos disjuntos, entonces ( k=1 Ak ) = k=1 (Ak ) (aditividad).

La terna (X, M, ) se llama espacio de medida.

Teorema. La restriccion m de la medida exterior de Lebesgue m a la -algebra de los conjuntos medibles

Lebesgue es una medida positiva, la medida de Lebesgue o volumen n-dimensional.
Si n = 1 se llama longitud, si n = 2 se llama area y si n = 3 se llama volumen.

Teorema. La medida de Lebesgue es completa, es decir, si m(A) = 0 y B A entonces B es medible

Lebesgue y m(B) = 0.

Teorema (Teorema de estructura). Sea A Rn . Son equivalentes:

A es medible Lebesgue.

A = B \ C donde B es G y m(C) = 0.

A = D E donde D es F y m(E) = 0.

Teorema (Regularidad). Si A Rn es medible Lebesgue, m(A) = sup{m(K) : K A, K es compacto}

1.4. Invariancia de la medida de Lebesgue

Teorema. La medida de Lebesgue es invariante por traslaciones, es decir, x + A es medible y m(x + A) =
m(A) para todo A medible y todo x Rn .
Para una homotecia de razon > 0, se cumple que A es medible si y solo si A lo es y m(A) = n m(A).

Lema. Sea un homeomorfismo entre los subconjuntos abiertos U y V de Rn . Si B U , B es de Borel si

y solo si (B) V es de Borel.

Teorema. Sea : Rn Rn un isomorfismo, sea I = [0, 1)n el cubo unidad y sea c = m((I)), entonces A
es medible Lebesgue si y solo si (A) lo es y m((A)) = c m(A).

Un movimiento rgido en Rn es una funcion biyectiva : Rn Rn que conserva las distancias eucldeas,
es decir, |(x) (y)| = |x y|, para todos x, y Rn . Todo movimiento rgido es la composicion de
una traslacion y de un movimiento rgido que es lineal. Los movimientos rgidos lineales son isomorfismos
(transformaciones ortogonales).

Teorema. La medida de Lebesgue es invariante por movimientos rgidos. Es decir: si : Rn Rn es un

movimiento rgido, entonces A es medible Lebesgue si y solo si (A) lo es y m((A)) = m(A).

Existen conjuntos no medibles Lebesgue.

2. Integracion reiterada
2.1. Principio de Cavalieri
Sean k y n naturales y p = k + n. Dados y Rn y A Rp = Rk Rn , la seccion Ay es el conjunto
{x Rk : (x, y) A}. Si d es un natural, Md sera la -algebra de conjuntos medibles Lebesgue en Rd .

Teorema (Principio de Cavalieri). Sea A Rp medible Lebesgue. Entonces:

3
Integracion de funciones de varias variables Francisco J. Freniche

Las secciones Ay Rk son de Mk , para casi todo y Rn .

La funcion y mk (Ay ) es medible no negativa, y se cumple la igualdad

Z
mp (A) = mk (Ay ) dy.
Rn

En particular:

Si A R2 y Ax = {y R : (x, y) A}, entonces area(A) =

R
R long(Ax ) dx.

Si A R3 y Ay = {(x, z) R2 : (x, y, z) A} entonces vol(A) =

R
R area(Ay ) dy.

2.2. Teorema de Fubini

Teorema (Teorema de Fubini para funciones medibles no negativas). Sea f : Rp = Rk Rn [0, +]
medible Lebesgue. Entonces:

Para casi todo y Rn la funcion f (, y) es medible no negativa.

R
La funcion y Rk f (x, y) dx es medible no negativa, y
Z Z Z 
f (x, y) dxdy = f (x, y) dx dy.
Rk Rn Rn Rk

Teorema (Teorema de Fubini para funciones integrables). Sea f : Rp = Rk Rn R integrable Lebesgue.

Entonces:

Para casi todo y Rn la funcion f (, y) es integrable.

R
La funcion y Rk f (x, y) dx es integrable, y
Z Z Z 
f (x, y) dxdy = f (x, y) dx dy.
Rk Rn Rn Rk

Teorema (Teorema de Tonelli). Sea f : Rk Rn R medible. Si

R R

Rn Rk |f (x, y)| dx dy < + entonces
f es integrable en Rk Rn .

Estos teoremas son validos para funciones f definidas en conjuntos A B, con A Mk y B Mn .

Tambien valen cambiando los papeles de x, y.

2.3. Aplicaciones
R
Una integral multiple Rn f (x) dx puede calcularse mediante integracion reiterada de funciones de una
variable: Z Z Z Z
dx1 dx2 . . . dxn1 f (x1 , x2 , . . . , xn ) dxn
R R R R
tanto si f es no negativa como si es integrable. El orden elegido no altera el valor de la integral.

4
Integracion de funciones de varias variables Francisco J. Freniche

Si A R2 es proyectable sobre el eje de abscisas, es decir, esta definido por las desigualdades a < x < b,
(x) < y < (x) con y medibles, entonces A es medible Lebesgue y
!
ZZ Z Z b (x)
f (x, y) dxdy = f (x, y) dy dx
A a (x)

Un resultado analogo se da para integrales triples:

! !
ZZZ Z b Z (x) Z (x,y)
f (x, y, z) dxdydz = f (x, y, z) dz dy dx
A a (x) (x,y)

Interpretacion geometrica de la integral: si I R es un intervalo, acotado o no, y f : I R es medible

Z b
no negativa, el area de la figura {(x, y) R2 : x I, 0 y f (x)} es f (x) dx.
a

3. Cambios de variables
3.1. Teorema del cambio de variables
Teorema. Sea un isomorfismo de Rn en s mismo. Para todo A Rn medible Lebesgue se cumple que

m((A)) = | det | m(A)

La norma de las aplicaciones lineales se calcula aqu de k k en k k . Es decir, si u : Rn Rn es

lineal, kuk es la menor M tal que ku(x)k M kxk para todo x Rn .

Lema. Sea : U Rn Rn de clase C 1 . Sea J U un cubo tal que kd(x)k C para todo x J. Se
cumple que m ((J)) C n m(J).

Sean U, V Rn abiertos y : U Rn . Diremos que es un difeomorfismo de clase C 1 entre U y V si

es biyectiva de U en V , y tanto como 1 son de clase C 1 .

Lema. Sea : U V un difeomorfismo de clase C 1 . Sea J U un cubo con centro en c. Si kd(x)

d(c)k para todo x J, entonces m((J)) (1 + kd1 ((c))k)n | det d(c)|vol (J).

Lema. Sea un difeomorfismo de clase C 1 . Si A U medible Lebesgue, entonces (A) tambien lo es.
Ademas si c > 0 es tal que | det d(x)| c para todo x A, entonces m((A)) c m(A).

Teorema. Sea un difeomorfismo de clase C 1 . Sea A U medible Lebesgue. Entonces

Z
m((A)) = | det d(x)| dx
A

Teorema (Teorema del cambio de variables). Sea un difeomorfismo de clase C 1 entre los abiertos U y V
de Rn . Sea f una funcion medible Lebesgue definida en V , no negativa o con valores reales. Entonces f
es medible Lebesgue y Z Z
f (y) dy = f ((x))| det d(x)| dx
V U
si alguno de los dos miembros de la igualdad esta bien definido.

5
Integracion de funciones de varias variables Francisco J. Freniche

3.2. Cambios de variables mas corrientes

Polares. La funcion (r, t) (0, +) (0, 2) R2 dada por x = r cos t, y = r sen t se llama cambio de
variables a coordenadas polares. El jacobiano es r.
Cilndricas. La funcion (r, t, z) (0, +) (0, 2) R R3 dada por x = r cos t, y = r sen t, z = z se
llama cambio de variables a coordenadas cilndricas. El jacobiano es r.
Esfericas. El cambio de variables a coordenadas esfericas es la funcion (, , t) (0, +) (/2, /2)
(0, 2) R3 , dada por x = cos cos t, y = cos sen t, z = sen . El jacobiano es r2 cos .

3.3. Ejemplos
Z +
2
La integral de Gauss ex dx =
0 2
Z +
sen x
La integral de Dirichlet dx =
0 x 2

an n/2
El volumen de la bola eucldea de Rn de radio a > 0 es .
( n2 + 1)
Z 1
La funcion Beta: B(p, q) = xp1 (1 x)q1 dx (p, q > 0)
0
Z /2
(p) (q)
Se cumplen B(p, q) = y B(p, q) = 2 (cos t)2p1 (sen t)2q1 dt
(p + q) 0

Segunda parte
4. Integrales de lnea
4.1. Longitud de arco
Curvas. Una curva en Rn es una funcion continua r : [a, b] R Rn . Si r(t) = (r1 (t), r2 (t), . . . , rn (t)), se
dice que la curva esta dada por sus ecuaciones parametricas

x1 = r1 (t), . . . , xn = rn (t), atb

Tambien se llama camino. Por abuso de lenguaje, se habla de la curva C = r([a, b]) que es un subconjunto
de Rn , pero hay que tener en cuenta r, en particular el sentido de recorrido.
La curva es cerrada cuando r(a) = r(b) y es simple cuando r es inyectiva al menos en [a, b). Una curva
simple y cerrada se llama curva de Jordan.
Se dice que la curva es regular si r es de clase C 1 en [a, b] y el vector tangente r0 (t) no se anula nunca.
Si la curva es cerrada, se exige ademas que r0 (a) = r0 (b).
Es regular a trozos si [a, b] puede dividirse en un numero finito de subintervalos en los cuales es regular.
Ejemplos: circunferencia y permetro de rectangulo.

6
Integracion de funciones de varias variables Francisco J. Freniche

Longitud. Sea r : [a, b] Rn una curva simple regular a trozos, C su imagen. Si P es una particion de
[a, b], es decir, P = {t0 , t1 , . . . , tp } [a, b], t0 = a < t1 < < tp = b, entonces P determina una curva
Xp
poligonal inscrita en C, e inversamente. La longitud de esta poligonal es `(P ) = |r(tk ) r(tk1 )|
k=1
La longitud de la curva C es el supremo de las longitudes de las poligonales inscritas:

`(C) = sup{`(P ) : P particion de [a, b]}

Cuando `(C) es finito, se dice que la curva es rectificable.

Teorema. Si C es una curva simple regular a trozos, C es rectificable y
Z b
`(C) = |r0 (t)| dt
a

Se define la medida longitud de arco en una curva simple regular a trozos C:

Z
B C boreliano 7 |r0 (t)| dt [0, +)
r1 (B)

por lo que si g : C R es una funcion medible Borel no negativa o integrable respecto de la longitud de
arco,
Z Z b
g d` = g(r(t))|r0 (t)|| dt
C a

Caminos equivalentes. Se dice que las curvas r : [a, b] Rn y q : [c, d] Rn son equivalentes con la
misma orientacion cuando existe : [a, b] [c, d] biyectiva, con derivada estrictamente positiva, tal que
r(t) = q((t)) para todo t [a, b] (la curva se recorre en el mismo sentido).
Si en cambio tiene derivada estrictamente negativa, se dira que son curvas equivalentes con orienta-
ciones opuestas (la curva se recorre en sentido opuesto).
Teorema. La medida longitud de arco es independiente de la parametrizacion elegida (aunque se cambie la
orientacion).

4.2. Integrales curvilneas de campos escalares y vectoriales

Sea A Rn . Un campo escalar en A es una funcion g : A R y un campo vectorial en A es una funcion
f : A Rn .
Sea r : [a, b] Rn una curva regular a trozos, C su imagen y sea g : C R un campo escalar. La
integral de lnea o integral curvilnea de g a lo largo de C se define como
Z Z b
g ds = g(r(t))|r0 (t)| dt
C a

cuando esta integral existe. En el caso de una curva simple, coincide con la integral de g respecto de la
medida longitud de arco.
Sea r : [a, b] Rn una curva regular a trozos, C su imagen y sea f : C Rn un campo vectorial. La
integral de lnea o integral curvilnea de f a lo largo de C se define como
Z Z b
f t ds = f (r(t)) r0 (t) dt
C a

7
Integracion de funciones de varias variables Francisco J. Freniche

cuando esta integral existe. Es por tanto la integral del campo escalar f t componente tangencial (t es el
vector tangente unitario).
Z
Tambien se escribe f dr.
C
Si C es una curva cerrada, las integrales curvilneas se escriben
I I I
g ds f t ds f dr
C C C

Si f = (f1 , . . . , fn ), la integral curvilnea se suele escribir como

Z
f1 dx1 + + fn dxn
C

Decimos que f1 dx1 + + fn dxn es la 1-forma diferencial Zasociada al campo f .

En dos dimensiones, si f = (P, Q) se utiliza la notacion P (x, y) dx + Q(x, y) dy
Z C
y en tres, si f = (P, Q, R) se usa P (x, y, z) dx + Q(x, y, z) dy + R(x, y, z) dz
C
Propiedades.

La integral curvilnea es lineal respecto al integrando y aditiva respecto al camino de integracion (la
union de dos curvas se define de manera natural).

La integral de lnea de un campo escalar depende unicamente de la clase de equivalencia de la curva,

no de su orientacion.

La integral de lnea de un campo vectorial no vara si se utiliza una parametrizacion equivalente que
conserva la orientacion, pero cambia de signo con una parametrizacion equivalente que s la cambie.

Aplicacion. Sea r : [a, b] A un camino regular a trozos en R3 y sea f un campo de fuerzas en la imagen
C. El trabajo realizado por unaR partcula que se desplaza desde r(a) hasta r(b) siguiendo la curva C, se
define como la integral de lnea C f dr.
El principio del trabajo y la energa afirma que si una partcula se mueve a lo largo de una curva sometida
a la accion de un campo de fuerzas, la variacion de la energa cinetica es igual al trabajo realizado.

4.3. Independencia del camino

Sea A Rn abierto. Se dira que el campo vectorial f : A Rn es conservativo si es el gradiente de
algun campo escalar g : A R diferenciable en A. Este se llama funcion potencial de f . En ese caso,
Z
f t ds = g(r(b)) g(r(a))
C

Si A es conexo la funcion potencial (si existe) es unica salvo constantes aditivas.

Teorema. Sea A Rn abierto conexo y sea f : A Rn campo vectorial continuo. Las siguientes condiciones
son equivalentes:

El campo f es conservativo en A.

8
Integracion de funciones de varias variables Francisco J. Freniche

La integral de lnea de f es independiente del camino, es decir: la integral de f a lo largo de cualquier

camino regular a trozos C contenido en A, solo depende del punto origen y del punto final de C.
La integral de lnea de f es nula, a lo largo de cualquier camino cerrado regular a trozos dentro de A.

Calculo de la funcionR potencial. Con las hipotesis del teorema anterior, dado z A, la funcion g : A R,
definido por g(x) = C f dr donde C es un camino regular a trozos que va de z a x dentro de A, es una
funcion potencial de f . Tambien puede obtenerse directamente, resolviendo la ecuacion diferencial que define
la funcion potencial.
Aplicacion. El principio de conservacion de la energa establece que para una partcula que se mueve bajo
la accion de un campo de fuerzas conservativo, la suma de las energas potencial y cinetica es constante.
Sea A Rn abierto y sea f : A Rn de clase C 1 en A. Se dice que la 1-forma diferencial asociada a f ,
f1 dx1 + + fn dxn , es cerrada cuando
fk fj
= en A para todos j, k = 1, . . . , n
xj xk
(la matriz jacobiana de f es simetrica).
Se dice que f1 dx1 + + fn dxn es exacta cuando f es conservativo.
Teorema (Lema de Poincare). Una condicion necesaria para que f sea conservativo es que su 1-forma
asociada f1 dx1 + +fn dxn sea cerrada. En los abiertos convexos de Rn , la condicion tambien es suficiente.
 
y x
Ejemplo: el campo , no es conservativo en R2 pero su 1-forma diferencial es cerrada.
x2 + y 2 x2 + y 2

4.4. Teorema de Green

Lema. Sean y funciones de clase C 1 en [a, b], a, b R y sea f una funcion de clase C 1 en un abierto
que contiene al conjunto plano definido por las desigualdades a x b, (x) y (x). La funcion
R (x)
h(x) = (x) f (x, y) dy es derivable en [a, b] y su derivada es
Z (x)
f
h0 (x) = f (x, (x)) 0 (x) f (x, (x))0 (x) + (x, y) dy
(x) x

Teorema (Teorema de Green). Sea A = {(x, y) R2 : a < x < b, (x) < y < (x)} donde y son de
clase C 1 a trozos en [a, b], a, b R (proyectable sobre el eje de abscisas). Sea C la curva que da la frontera
de A, orientada positivamente, que por definicion es la curva union de las siguiente cuatro curvas:
r(x) = (x, (x)), x [a, b].
r(y) = (b, y), y [(b), (b)].
r(x) = (x, (x)), x [a, b] (orientacion cambiada).
r(y) = (a, y), y [(a), (a)] (orientacion cambiada).
Si P y Q son funciones reales de clase C 1 en un abierto que contiene a A C, entonces
ZZ   I
Q P
(x, y) (x, y) dxdy = P (x, y) dx + Q(x, y) dy.
A x y C

9
Integracion de funciones de varias variables Francisco J. Freniche

Extension a recintos mas generales. El teorema de Green se extiende a regiones que son union finita
de recintos proyectables sobre algun eje. Incluso a regiones limitadas por curvas de Jordan rectificables.
Tambien se extiende a regiones que tienen agujerossiempre que la curva frontera se parametrice en
sentido positivo respecto a la region.
Sea A R2 abierto. Se dice que A no tiene agujeros o que es simplemente conexo, si todo rectangulo
cuyo permetro esta en A, tiene su interior tambien dentro de A.
Los conjuntos convexos no tienen agujeros.

Teorema. Sea A abierto conexo del plano, sin agujeros. Si f es un campo vectorial de clase C 1 en A cuya
1-forma diferencial asociada es cerrada, entonces f es conservativo.

Teorema (El area como integral de lnea). Si C es una curva plana y A es la region que acota, para las que
es valido el teorema de Green, entonces el area de A puede calcularse por una cualquiera de estas integrales
I I I
1
y dx x dy y dx + x dy
C C 2 C

donde C se parametriza en sentido positivo.

5. Integrales de superficie
5.1. Area de una superficie
Superficies. Una superficie regular simple sin borde es un subconjunto S R3 tal que existe F : A R2
R3 de clase C 1 en el abierto no vaco A, inyectiva y tal que su matriz jacobiana es de rango maximo igual a
dos en todo A, cumpliendo S = F (A).
Se hablara de la superficie S definida o parametrizada por F. La superficie S determina a F salvo
composicion por un difeomorfismo de clase C 1 .
Vector normal. Sea S la superficie definida por F : A R3 , y sea (a, b) A. El vector normal a S en
F(a, b) es el vector N(a, b) producto vectorial de los vectores tangentes D1 F(a, b) y D2 F(a, b), en ese orden.
Se cumple que el vector N(a, b) es perpendicular al vector tangente de cualquier curva regular contenida en
S. El vector normal unitario se representara n(a, b).
Si F(s, t) = (x(s, t), y(s, t), z(s, t)) entonces N(a, b) tiene por componentes los menores de orden dos de
la matriz jacobiana de F en (a, b):

i j k  
x y z (y, z) (z, x) (x, y)
N(a, b) = det s s s
= , ,
x y z (s, t) (s, t) (s, t)
t t t

Parametrizaciones equivalentes. Se dice que las parametrizaciones F : A R3 y G : B R3 de la

misma superficie regular simple sin borde son equivalentes con igual orientacion (con orientaciones contrarias)
cuando existe h : A B difeomorfismo de clase C 1 tal que G h = F con jacobiano estrictamente positivo
(estrictamente negativo).
Como NF = det dh NG en caso de igual orientacion, los vectores normales tienen el mismo sentido,
mientras que tienen sentido opuesto en caso de orientaciones contrarias.

10
Integracion de funciones de varias variables Francisco J. Freniche

Area. La medida elemento de area de la superficie S dada por F : A R3 es la medida positiva definida
por Z
B S boreliano 7 (B) = |N(s, t)| dsdt [0, +]
F1 (B)

El elemento de area es independiente de la parametrizacion, incluso al cambiar la orientacion.

Ejemplo. El area de la superficie de revolucion F(s, t) = (h(s) cos t, s, h(s) sen t), s (a, b), t (0, 2), es
Rb p
2 a h(s) 1 + h0 (s)2 ds.
Caso explcito. Si S esta dada explcitamente por f : A R3 , es decir, F(x, y) = (x, y, f (x, y)), entonces
  s  2  2
ZZ
f f f f
N = , , 1 y (S) = 1+ + dxdy
x y A x y
ZZ
1
Si = (x, y) es el angulo que forma N(x, y) con el eje de las z, el area vale dxdy.
B cos

5.2. Integrales de superficie de campos escalares y vectoriales

Sea S superficie regular simple sin borde dada por F : A R3 . Sea g : S R campo escalar. La integral
de superficie de g en S con respecto al elemento de area es la integral
ZZ
g(F(s, t))|N(s, t)| dsdt
A
RR
cuando existe. Se representara S g d, y no es mas que la integral de g respecto de la medida .
Sea f : S R3 un campo vectorial. La integral de superficie de f en S es la integral de superficie del
campo escalar componente normal de f
ZZ ZZ
f n d = f (F(s, t)) N(s, t) dsdt
S A

La integral de superficie de un campo escalar no depende de la orientacion, mientras que la de un campo

vectorial cambia de signo al cambiar la orientacion.
Si f = (P, Q, R) la integral de superficie es
ZZ  
(y, z) (z, x) (x, y)
P F +QF +RF dsdt
A (s, t) (s, t) (s, t)
ZZ
por lo que se representa tambien como P dy dz + Q dz dx + R dx dy, integral de una 2-forma
S
diferencial.
Aplicaciones.RR(1) Sea S una superficie cuya densidad en cada punto esta dada por la funcion g(x, y, z). La
masa de S es S g d.
(2) Sea f el vector que da la velocidad de una corriente estacionaria de agua. El flujo o cantidad
RR de agua
que atraviesa a la superficie S, por unidad de tiempo y en la direccion del vector normal, es S f n d.

11
Integracion de funciones de varias variables Francisco J. Freniche

5.3. Teorema de Stokes y teorema de la divergencia de Gauss

Rotacional y divergencia. Dado f = (P, Q, R) : A R3 R3 diferenciable, se define el campo vectorial
rotacional de f mediante  
R Q P R Q P
rot f = , , .
y z z x x y
Tambien se escribe f para recordar el resultado.
En los abiertos convexos de R3 , un campo es conservativo si y solo si su rotacional es nulo.
Dado un campo vectorial diferenciable f = (P, Q, R), definido en el abierto A Rn , se define el campo
escalar divergencia de f , mediante
P Q R
div f = + + .
x y z
Tambien se escribe f .
La divergencia de un rotacional es nula. El recproco es cierto en intervalos abiertos de R3 , y se puede
conseguir que el campo cuyo rotacional esta dado tenga nula una de las tres componentes (la que se desee).
Sea S1 superficie simple regular sin borde dada por F : A1 R3 , sea A A1 region de Jordan acotada
por la curva plana C A1 . El conjunto S = F(A C) se llama superficie regular simple con borde S.

Teorema (Teorema de Stokes). Sea S una superficie regular simple con borde. Sea f un campo vectorial de
clase C 1 en un abierto que contiene a S. Entonces
ZZ I
rot f n d = f t ds
S S

donde S es la curva borde de S dada por F r, si C esta dada en sentido positivo por r.

La integral curvilnea de la derecha se llama circulacion de f .

Notacion. Si f = (P, Q, R), la igualdad del teorema de Stokes puede escribirse
ZZ       I
R Q P R Q P
dy dz + dz dx + dx dy = P dx + Q dy + R dz
S y z z x x y S

Extension a superficies mas generales. El teorema de Stokes se extiende a superficies con agujeros,
utilizando la extension del teorema de Green a recintos mas generales. Tambien a las superficies orientables.

Teorema (Teorema de la divergencia de Gauss). Si M R3 es un recinto proyectable sobre el plano

horizontal y su proyeccion es a su vez proyectable sobre el eje de abscisas, limitado por la superficie M y
f : M R3 es un campo vectorial de clase C 1 , entonces
ZZZ ZZ
div f dxdydz = f n d
M M

donde las parametrizaciones de M se escogen de modo que n apunte hacia el exterior de M .

El teorema de Gauss se aplica a regiones mas generales, por ejemplo a aquellas que son union de varias
en las que es valido el teorema y en las que la parte comun a cada dos de ellas sea una superficie.

12