9.

INTEGRALES MLTIPLES
9.1. Integral doble
Sea = [a, /] [c, d] R
2
una regin rectangular en el plano. Realizamos en una particin de la siguiente
manera:
a = r
0
< r
1
< ... < r
i
< ... < r
n
= /
c = j
0
< j
1
< ... < j
i
< ... < j
n
= d
Sin prdida de generalidad suponemos loa puntos igualmente espaciados. As, obtenemos un reticulado en .
Cada elemento del reticulado es un rectngulo
jk
que sobtenemos de la siguiente manera:
r = r
j+1
r
j
=
/ a
:
j = j
k+1
j
k
=
d c
:

jk
= [r
j
, r
j+1
] [j
k
, j
k+1
]
Ahora, elegimos un punto cualquiera en cada
jk
, que designaremos r
jk
. Consideremos ) : R
2
R una
funcin escalar con dominio en el rectngulo y acotada en l, y construyamos la suma parcial
o
n
=
n1

j;k=0
)(r
jk
)rj =
n1

j;k=0
)(r
jk
)
con :
2
trminos a sumar. De esta manera construimos una sucesin de sumas parciales o
n
donde : representa
la cantidad de puntos tomados en cada particin realizada en los lados del rectngulo . Como sabemos, una
sucesin puede o no ser convergente cuando : .
Si la sucesin o
n
converge a un lmite o cuando : , y este lmite es independiente de la
eleccin realizada de los puntos r
jk
, se dice que ) : R
2
R es integrable Riemann sobre el
rectngulo .
Este lmite o es la integral de ) sobre , denotamos por:
__
R
)(r, j)drdj = lm
n!1
o
n
= lm
n!1
n1

j;k=0
)(r
jk
)rj = o
9.1.1. Interpretacin geomtrica de la integral doble
Si ) es integrable en y ) (r, j) _ 0, la existencia de lm
n!1
o
n
tiene un signicado geomtrico directo.
Considereremos la grca de . = ) (r, j) como la tapa de un slido cuya base es el rectngulo , como
mostramos en la gura.
Volumen limitado por la grca de ), la regin y los cuatro lados laterales
Si tomamos cada r
jk
como un punto donde ) (r, j) tiene su valor mnimo en
jk
, entonces ) (r
jk
) rj
representa el volumen de una caja rectangular con base
jk
. La suma
n1

j;k=0
)(r
jk
)rj es igual al volumen
1
de un slido inscrito. De manera anloga, si r
jk
es un punto donde ) (r, j) tiene un mximo en
jk
, entonces
la suma
n1

j;k=0
)(r
jk
)rj es igual al volumen de un slido circunscrito. Por tanto, si existe lm
n!1
o
n
y es
independiente de r
jk

jk
, los volmenes de los slidos inscrito y circunscrito tienden al mismo lmite cuando
: . Es entonces razonable llamar a este lmite el volumen exacto del slido bajo la grca de ). Esto es:
\ =
__
R
)(r, j)d =
__
R
)(r, j)drdj
9.2. Integrales iteradas
Teorema 1 (de Fubini) Sea ) una funcin acotada cuyo dominio es un rectngulo = [a, /] [c, d], donde
) a lo sumo tiene discontinuidades en un conjunto de rea nula. Si
_
d
c
) (r, j) dj existe para cada r [a, /],
entonces
_
b
a
_
_
d
c
) (r, j) dj
_
dr existe y
__
R
)(r, j)drdj =
_
b
a
_
d
c
) (r, j) djdr =
_
b
a
_
_
d
c
) (r, j) dj
_
dr
donde
_
b
a
_
_
d
c
) (r, j) dj
_
dr llamamos integral iterada.
De manera anloga, si
_
b
a
) (r, j) dr existe para cada j [c, d], entonces
_
d
c
_
_
b
a
) (r, j) dr
_
dj existe y
__
R
)(r, j)drdj =
_
d
c
_
b
a
) (r, j) drdj =
_
d
c
_
_
b
a
) (r, j) dr
_
dj
As, si todas las condiciones se cumplen simultneamente,
__
R
)(r, j)drdj =
_
d
c
_
b
a
) (r, j) drdj =
_
b
a
_
d
c
) (r, j) djdr
En caso de ser ) continua, este hecho garantiza la existencia de las integrales iteradas, y por tanto las igualdades
obtenidas se verican.
Ejemplo 1 Evaluar
_ _
R
)(r, j)drdj para = [1, 1] [0,1] y )(r, j) = r
2
+ j
2
.
Resolucin
__
R
)(r, j)drdj =
_
1
0
__
1
1
(r
2
+ j
2
)dr
_
dj =
_
1
0
_
1
3
r
3
+j
2
r
_
1
1
dj =
=
_
1
0
_
1
3
+j
2
_

1
3
j
2
_
dj = 2
_
1
0
(j
2
+
1
3
)dj = 2
_
1
3
j
3
+
1
3
j
_

1
0
=
4
3
Vericar que obtenemos el mismo resultado resolviendo
_
1
1
_
_
1
0
(r
2
+ j
2
)dj
_
dr. Esto se llama invertir el orden
de integracin. Observemos que el resultado de esta integral representa un volumen, ya que la funcin es positiva
sobre toda la regin 1. No siempre una integral doble signicar un volumen.
9.2.1. Regiones de integrabilidad
Para denir una integral doble requerimos que la funcin est acotada en el rectngulo 1. Sin embargo,
suele exigirse que la funcin sea continua en 1, aunque esta es una condicin ms exigente. Esta hiptesis de
continuidad ha de simplicar el tratamiento de la integrabilidad de la funcin en una regin. Por otra parte,
asumimos que integrabilidad de ) sigue siendo vlida an en casos en que el conjunto de discontinuidades de )
en 1 tenga rea nula, como observamos en la siguiente gura.
Grco de una funcin Discontinua en una Regin de Area Nula
2
Podemos extender la denicin de integral a regiones ms generales. Por ejemplo, una regin de integracin
podra ser la siguiente.
1 =
_
(r, j) : j _ r _
_
j, 0 _ j _ 1
_
=
_
(r, j) : r
2
_ j _ r, 0 _ r _ 1
_
Sera fcil extender la denicin de la integral sobre este dominio 1, si lo incluimos en un rectngulo , esto es
posible pues 1, est acotado. Denimos la funcin )

en el rectngulo 1 de la siguiente manera:

)

(r, j) =
_
)(r, j) si (r, j) 1
0 si (r, j) 1
En este caso, si el conjunto de discontinuidades de )

tiene rea nula, como podemos ver en la siguiente gura,

ser integrable Riemann. El clculo de esta integral es:
__
R
)

(r, j)drdj =
__
D
)(r, j)drdj +
__
RD
0drdj =
__
D
)(r, j)drdj
donde aplicamos la propiedad aditiva de la integral con respecto a la regin de integracin, es decir,
se cumple que si 1 = 1
1
' 1
2
,con 1
o
1
1
o
2
= c, entonces
_ _
R
)(r, j)drdj =
_ _
R
1
)(r, j)drdj +
_ _
R
2
)(r, j)drdj
Ejemplo 2 Encontrar el volumen del tetraedro acotado por los planos j = 0, . = 0, r = 0 y el plano jr+. = 1.
Solucin: Hacemos este clculo a travs de
_ _
R
)(r, j)drdj =
_
0
1
__
1+x
0
(1 + r j)dj
_
dr =
_
1
0
__
0
y1
(1 + r j)dr
_
dj =
1
6
Observacin 1 Cuando en una integral doble la funcin integrando es )(r, j) = 1, puede reducirse a una
integral simple y podr representar un rea.
9.3. Cambio de coordenadas en integrales dobles
9.3.1. Geometra de las funciones de R
2
a R
2
Sea 1 un subconjunto de R
2
y sea T: R
2
R
2
1 T(1)
(n, ) 1 T(n, ) = (r, j)
Esta funcin T ser C
1
y es una transformacin del plano en s mismo.
Ejemplo 3 La siguiente transformacin de coordenadas polares, transforma un rectngulo en un crculo
1 T(1)
[0, 1] [0, 2] T([0, 1] [0, 2])
(r, 0) (r cos 0, r sin0) = (r, j)
3
Ejemplo 4 Sea 1 = [1, 1] [1, 1] R
2
con T(r, j) =
_
x+y
2
,
xy
2
_
= (n, ).
Para hallar la transformacin de 1, hacemos:
n =
x+y
2
=
xy
2
=r = n + , j = n
T
1
(n + , n ) = (r, j)
1 _ r _ 1 =1 _ n + _ 1 =n 1 _ _ n + 1
1 _ j _ 1 =1 _ n _ 1 =n 1 _ _ n + 1
1

T (1)
As obtenemos T(1) en el plano (n, ). Es importante probar que esta transformacin no transforme dos puntos
distintos (r
1
, j
1
) ,= (r
2
, j
2
) del plano (r, j) en un mismo punto (n, ). Esto signica probar que T es inyectiva.
Es decir, T cumple que:
T(r
1
, j
1
) = T(r
2
, j
2
) ==(r
1
, j
1
) = (r
2
, j
2
)
9.3.2. Transformaciones en las integrales dobles
Resolveremos el problema referido a cmo transformar la integral cuando la regin de integracin es sometida
a una transformacin. En muchos casos es muy conveniente hacer esto, pues as se simplica enormemente la
resolucin de la integral. Sea la transtormacin del plano T(n, ) = (n
2
+ 4n, ) = (r, j) aplicada al cuadrado
1 = [0, 1] [0, 1].
T

El rea de 1 es unitaria y el rea de T(1) es tres y al resolverlas usando integrales sobre cada una de las
regiones, podremos intuir cmo el cambio de coordenadas interere en la resolucin de las integrales respectivas.
Planteamos las integrales cuya solucin representa las respectivas reas y observamos que:
Area de 1 =
_ _
R
dnd ,=
_ _
T(R)
drdj = Area de T (1)
Entonces, cabe preguntarnos qu factor debemos colocar para que ambas integrales arrojen el mismo resultado?.
En realidad lo que buscamos es el factor de distorsin al que es sometida el rea por la transformacin. Este
factor es el jacobiano de la transformacin.
En efecto, en este caso, T(n, ) = (n
2
+4n, ) = (r, j). Al calcular el jacobiano y afectando luego con este
resultado a la integral, obtenemos:
J
_
r, j
n,
_
=

r
u
r
v
j
u
j
v

2n + 4 0
0 1

= 2n + 4
_ _
T(R)
drdj =
_
1
0
_
1
0
(2n + 4)dnd =
_
1
0
( n
2
+ 4n)

1
0
d =
_
1
0
3d = 3
4
Luego, se cumple que
Area de T (1) =
_ _
T(R)
drdj =
_ _
R
J
_
r, j
n,
_
dnd
Enunciaremos ahora formalmente el teorema de cambio de variables en la integral doble para el caso general en
que el integrando es una funcin escalar.
9.3.3. Teorema del Cambio de Variables en las Integrales Dobles
Teorema 2 Sea 1 abierto, T : 1 R
2
R
2
con T(n, ) = (r, j) una transformacin C
1
que verica:
i) T es inyectiva
ii) J
_
r, j
n,
_
,= 0 para todo (n, ) 1
Si ' 1 R
2
y T(') R
2
son regiones elementales en el plano, entonces para cualquier funcin ) : T(')
R
2
R integrable Riemann, la funcin ) T : ' 1 R es integrable Riemann vericndose
_ _
T(M)
)(r, j) dr dj =
_ _
M
) (T(n, ))

J
_
r, j
n,
_

dn d
Obsrvese que las hiptesis del teorema aseguran la existencia de T
1
. A continuacin se ven aplicaciones de
este teorema.
Ejemplo 5 Una de las transformaciones ms tiles es la transformacin a polares. Calcular
_ _
M
ln(r
2
+
j
2
)drdj siendo ' la regin del primer cuadrante delimitada por los arcos de crculos: r
2
+j
2
= 1, r
2
+j
2
= 4.
La transformacin es
T : (r, 0) (r, j) en donde
_
r = r cos 0
j = r sen0
Para la regin del primer cuadrante con frontera r
2
+ j
2
= 1, en polares 0 _ r _ 1 y 0 _ 0 _

2
Para la regin del primer cuadrante con frontera r
2
+ j
2
= 4, en polares 0 _ r _ 2 y 0 _ 0 _

2
El jacobiano de la transformacin es:
J
_
r, j
r, 0
_
=

r
r
r

j
r
j

cos 0 r sen0
sen0 r cos 0

= r cos
2
0 + r sen
2
0 = r
Por lo tanto, siendo '

= T
1
(')
_ _
M
ln(r
2
+j
2
)drdj =
_ _
M

r lnr
2
dr d0 =
_ _
M
r lnr
2
dr d0 =
=
_
2
0
__
2
1
2r lnrdr
_
d0 =
_
2
0
_
r
2
lnr
r
2
2
_
2
1
d0 =

2
_
4 ln 2
3
2
_
en donde hemos usado el resultado de tablas de integracin:
_
rlnrdr =
x
2
2
lnr
x
2
4
.
Ejemplo 6 Un resultado muy usado es el siguiente:
_
1
0
c
x
2
dr =
_

2
y puede ser justicado usando integrales iteradas y la transformacin de polares a travs de cierto articio. Por
ser c
x
2
una funcin par, cumple que
1 =
_
1
0
c
x
2
dr =
1
2
_
1
1
c
x
2
dr
recordando que una integral denida no depende del smbolo usado para nombrar a la variable de integracin,
1
2
=
_
1
2
_
1
1
c
x
2
dr
__
1
2
_
1
1
c
y
2
dj
_
luego, teniendo en cuenta que el dominio de integracin es todo el plano y usando la transformacin a polares,
se obtiene
1
2
=
1
4
_
1
1
_
1
1
c
(x
2
+y
2
)
drdj =
1
4
_
2
0
_
1
0
c
r
2
rdrd0 =

4
de donde se justica el resultado buscado.
5
9.4. Integral triple
Una funcin de tres variables, ) (r, j, .), puede ser integrada sobre una regin 1 R
3
de la misma manera
que una funcin de dos variables sobre una regin del espacio R
2
. Nuevamente empezamos con la suma de
Riemann. Primero subdividimos 1 en regiones ms pequeas (todas iguales), luego multiplicamos el volumen
de cada regin, rj., por el valor de la funcin en algn punto de la misma, )(r
j
, j
k
, .
l
), sumamos estos
resultados y nalmente tomamos el lmite cuando el nmero : de regiones tiende a cero, si existe, decimos que
la integral triple de la funcin ) sobre la regin 1 de R
3
.
Esto es:
___
R
) (r, j, .) drdjd. = lm
n!1
n1

j;k;l=0
)(r
j
, j
k
, .
l
)rj.
10. Coordenadas Curvilneas
10.1. Coordenadas Cilndricas
Las coordenadas cilndricas (r, 0, .) de un punto (r, j, .) estn denidas por
r = r cos 0, j = r sen 0, . = .
donde r 0, 0 _ 0 < 2, < . < . Por ejemplo el punto (1,1,1) dado en coordenadas cartesianas,
tendr como coordenadas cilndricas
_
_
_
1 = r cos 0
1 = r sen 0
1 = .
)
_
_
_
r =
_
r
2
+ j
2
=
_
2,
0 = arctan
y
x
= arctan 1 =

4
. = 1
El nombre de coordenadas cilndricas proviene del hecho de que para r = ctc, variando . y 0 en todo su rango,
se obtiene como lugar geomtrico un cilindro innito. Puede vericarse que para 0 = ctc, al variar . y r se
obtiene un semiplano perpendicular al plano rj . Adems, cuando . = ctc , al variar 0 y r se obtiene un plano
paralelo al plano rj. Interesar el jacobiano de esta transformacin, J
_
r, j, .
r, 0, .
_
=

cos 0 r sen0 0
sen0 r cos 0 0
0 0 1

= r
10.2. Coordenadas Esfricas
Las coordenadas esfricas (j, 0, c) de un punto (r, j, .) estn denidas por
r = j sen c cos 0, j = j sen c sen 0, . = jcos c
donde j _ 0, 0 _ 0 < 2, 0 _ c _ . Por ejemplo el punto (1,1,1) dado en coordenadas cartesianas, tendr
como coordenadas esfricas
_
_
_
1 = j sen c cos 0
1 = j sen c sen 0
1 = jcos c
)
_

_
j =
_
r
2
+ j
2
+ .
2
=
_
3,
0 = arctan
j
r
= arctan 1 =

4
c = arc cos
1
r
= arc cos
1
p
3
=

3
El nombre de coordenadas esfricas proviene de que para j = ctc, variando . y 0 en todo su rango,obtenemos
como lugar geomtrico una esfera. Puede vericarse que para 0 = ctc, al variar j y c se obtiene un semiplano
perpendicular al plano rj . Cuando c = ctc , al variar 0 y j se obtiene un cono o el plano rj si c =

2
. El
jacobiano de esta transformacin es
J
_
r, j, .
j, 0, c
_
=

cos 0 sen c j sen 0 sen c j cos 0 cos c

sen 0 sen c j cos 0 sen c jsen 0 cos c
cos c 0 j sen c

= j
2
senc
6
10.3. Clculo de Volmenes por coordenadas curvilneas
Las coordenadas curvilneas son sumamente tiles cuando se trata de calcular volmenes. Los siguientes
ejemplos permiten claricar esto.
Ejemplo 7 Siendo 1 =
_
(r, j, .) : 2
_
r
2
+ j
2
_
_ .
2
_ r
2
+ j
2
+ 1, . _ 0
_
, calcular la integral
___
B
.c
(x
2
+y
2
)
drdjd.
Solucin: Las intersecciones son 2
_
r
2
+ j
2
_
= r
2
+ j
2
+ 1 = r
2
+ j
2
= 1 = . =
_
2. Esto signica que la
interseccin se d en el plano . =
_
2 y la proyeccin de esta interseccin en el plano rj es la circunferencia
r
2
+ j
2
= 1. En polares 0 _ r _ 1 y 0 _ 0 _ 2.
Con un cambio a cilndricas se obtiene entonces 2r
2
_ .
2
_ r
2
+ 1 =
_
2r _ . _
_
r
2
+ 1. En denitiva es
volumen expresado en cilndricas es
1 =
_
(r, 0, .) : 0 _ r _ 1, 0 _ 0 _ 2,
_
2r _ . _
_
r
2
+ 1
_
___
B
.c
(x
2
+y
2
)
drdjd. =
=
_
2
0
_
1
0
_
p
r
2
+1
p
2r
.rc
r
2
d.drd0 =
1
2e

Ejemplo 8 Calcular el volumen \ determinado por el interior a las esferas:

_
r
2
+ j
2
+.
2
= 1
r
2
+ (j 1)
2
+ .
2
= 1
Solucin:
La interseccin es (j 1)
2
= j
2
=[j 1[ = [j[ =j =
1
2
. Entonces r
2
+.
2
=
3
4
es la circunferencia interseccin
sobre el plano j =
1
2
.
1. Resolvemos en cilndricas, haciendo
_
_
_
r = r cos 0
. = r sin0
j = j
, proyectamos en el plano r, . y con 0 _ r _
p
3
2
,
0 _ 0 _ 2 ,donde 1
_
1 r
2
_ j _
_
1 r
2
. Es decir
\ =
_
2
0
d0
_
p
3
2
0
rdr
_
p
1r
2
1
p
1r
2
dj =
5
12

= 2
_
2
0
d0
_
p
3
2
0
rdr
_
p
1r
2
1
2
dj =
5
12

7
2. Resolvemos en esfricas
_
_
_
r = j cos 0 sin,
. = j sin0 sin,
j = j cos ,
Las supercies r
2
+ j
2
+ .
2
= 1 y r
2
+ (j 1)
2
+.
2
= 1 determinan
1
1
= (j, 0, ,) : 0 _ j _ 1, 0 _ , _ , 0 _ 0 _ 2 R
3
1
2
=
_
(j, 0, ,) : 0 _ j _ 2 cos ,, 0 _ , _

2
, 0 _ 0 _ 2
_
R
3
pues siendo (j cos 0 sin,)
2
+(j sin0 sin,)
2
+(j cos , 1)
2
= j
2
2j cos ,+1 = 1 =j = 0 o j = 2 cos ,.
La interseccin 1
1
1
2
ser cuando j cos , =
1
2
con j = 1, y cos , =
1
2
luego , =
1
3
. Es decir que si
0 _ , _
1
3
, entonces 0 _ j _ 1 y si
1
3
_ , _
1
2
, entonces 0 _ j _ 2 cos ,.
\ (1
1
1
2
) =
_
2
0
_ 1
3

0
_
1
0
j
2
sin,djd,d0 +
_
2
0
_ 1
2

1
3

_
2 cos '
0
j
2
sin,djd,d0 =
5
12

Tambin pudo haberse aprovechado la simetra de este volumen haciendo una sla integral
\ (1
1
1
2
) = 2
_
2
0
_ 1
3

0
_
1
1
2 cos '
j
2
sin,djd,d0 =
5
12