Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1
1 Integrales mltiples.
1.1 Integrales dobles.
Para el caso de una variable, con una funcin f : [a, b] R continua y
no negativa, la integral
_
b
a
f(x)dx permite calcular el rea de la regin del
plano xy bajo la curva y = f(x). Por ejemplo, para f(x) = 3
1
2
(x 1)
2
,
con 0 x 3, el rea de la regin mostrada est dada por la integral
_
3
0
(3
1
2
(x 1)
2
)dx =
15
2
0 1 2 3 4
0
1
2
3
x
y
En el caso de una funcin de dos variables, (x, y) f(x, y), continua y no
negativa sobre el conjunto R = [a, b] [c, d] (rectngulo del plano), la integral
doble
_ _
R
f(x, y)d(x, y) nos permitir calcular el volumen de la regin del
espacio xyz bajo la grca de f.
0
0 0
1
2
y x
z
1 1
3
4
2 2
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 2
As como m(I) = ba mide la longitud del intervalo I = [a, b] , el producto
m(R) = (b a) (d c) mide el rea del rectngulo R = [a, b] [c, d]. En
ambos casos hablaremos de la medida del conjunto.
Dadas una particin P
x
= x
0
, x
1
, ...., x
n
de [a, b] y una particin
P
y
= y
0
, y
1
, ..., y
m
de [c, d]:
a = x
0
< x
1
< ... < x
n
= b
c = y
0
< y
1
< ... < y
m
= d
el conjunto P = P
x
P
y
= (x
0
, y
0
), ..., (x
0
, y
m
), (x
1
, y
0
), ........, (x
n
, y
m
) se
denomina particin de R.
P
x
divide [a, b] en n subintervalos: [x
i1
, x
i
] , con i = 1, ..., n, cada uno de
longitud
i
= x
i
x
i1
.
P
y
divide [c, d] en m subintervalos: [y
j1
, y
j
] , con j = 1, ..., n, cada uno
de longitud
j
= y
j
y
j1
.
P divide R = [a, b] [c, d] en r = nm subrectngulos: R
k
= [x
i1
, x
i
]
[y
j1
, y
j
] , con k = 1, ..., r, cada uno de rea (medida) (R
k
) =
i

j
.
Como la f es continua sobre cada R
k
, existen:
m
k
= min f(x, y) : (x, y) R
k
: valor mnimo de f en R
k
M
k
= max f(x, y) : (x, y) R
k
: valor mximo de f en R
k
Los productos m
k
(R
k
) y M
k
(R
k
) representan, respectivamente, los
volmenes de paraleleppedos de base R
k
y altura m
k
y M
k
. Estos permiten
denir:
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 3
la suma inferior de f asociada a P : s(f, P) =
r

k=1
m
k
(R
k
)
la suma superior de f asociada a P : S(f, P) =
r

k=1
M
k
(R
k
).
Desde un punto de vista geomtrico, el volumen V de la regin bajo la
grca de f debe vericar
s(f, P) V S(f, P)
y esto, cualquiera sea la particin P del rectngulo R.
La idea bsica consiste en que mientras ms pequeos sean todos los
subrectngulos determinados por la particin, las sumas inferior y superior
deben aproximar mejor el volumen de la regin
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 4
Sean P y Q dos particiones de R. Se dice que Q rena a P cuando
P Q. Esto signica que cada subrectngulo determinado por P se divide
en varios subrectngulos segn la particin Q.
Se puede probar que, en este caso,
s(f, P) s(f, Q) V S(f, Q) S(f, P)
O sea, al renar la particin, la suma inferior crece y la superior decrece.
Otro elemento importante ac es el concepto de norma de una particin
P, denido como: |P| igual a la mayor rea de todos los subrectngulos
determinados por la particin. As, la particin P tiene norma |P| pequea
cuando todos los subrectngulos tienen rea pequea.
Finalmente, se prueba que existe un nmero real I (nico) que veri-
ca:
dado > 0 existe > 0 tal que :
|P| < [S(f, P) I[ < [s(f, P) I[ <
Este nmero I puede ser aproximado tanto como se quiera por una suma
inferior y una suma superior, a condicin que la particin escogida tenga
norma sucientemente pequea.
Adems este nmero satisface: s(f, P) I S(f, P), para todas las
particiones. Luego l permite denir el volumen de la regin bajo la grca
de f y, ms importante an, dene la integral doble de f sobre el rectngulo
R :
Para una funcin f : [a, b] [c, d] R continua, la integral doble de f es:
__
R
f(x, y)d(x, y) = I = lim
P0
s(f, P) = lim
P0
S(f, P)
Observacin.- Si la f no es continua pero es acotada sobre el rectngulo
R, se puede repetir la construccin anterior cambiando mnimo y mximo
por nmo y supremo en la denicin de los m
k
y M
k
. En este caso no est
garantizada la existencia del nmero I que se aproxime simultneamente por
sumas inferiores y sumas superiores. Por esto aparece el concepto de funcin
integrable cuando existe I como antes y funcin no integrable cuando no
existe tal nmero. En todo caso tenemos claro que las funciones continuas
son integrables.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 5
Hemos dado una idea de la denicin (terica) del concepto de integral,
pero lo ms importante para nosotros ser determinar cmo se calcula una
integral doble. Antes de dar el teorema que permite evaluar, de manera
prctica, una integral, mencionaremos alguna propiedades importantes de
ella:
1. Si f, g : R R son funciones integrables sobre el rectngulo
R = [a, b] [c, d], entonces las funciones f + g y cf, donde c es una
constante, son integrables y
__
R
[f(x, y) + g(x, y)] d(x, y) =
__
R
f(x, y)d(x, y) +
__
R
g(x, y)d(x, y)
__
R
cf(x, y)d(x, y) = c
__
R
f(x, y)d(x, y)
2. Si f, g : R R son funciones integrables sobre el rectngulo
R = [a, b] [c, d] , entonces
f(x, y) g(x, y), (x, y) R
__
R
f(x, y)d(x, y)
__
R
g(x, y)d(x, y)

__
R
f(x, y)d(x, y)

__
R
[ f(x, y)[ d(x, y)
3. Si el rectngulo R se particiona en n subrectngulo R
1
, ...., R
n
y f es
integrable sobre R, entonces
__
R
f(x, y)d(x, y) =
__
R
1
f(x, y)d(x, y) + ... +
__
R
n
f(x, y)d(x, y)
1.2 Integrales iteradas.
El siguiente teorema permite el clculo de una integral doble mediante la
evaluacin de dos integrales iteradas simples (integrales de funciones de una
variable real).
Sea f : [a, b] [c, d] R una funcin continua sobre el rectngulo
R = [a, b] [c, d]
Para cada x [a, b], la funcin f
x
: [c, d] R denida por f
x
(y) =
f(x, y) es continua (e integrable) y podemos evaluar F
x
(x) =
_
d
c
f
x
(y)dy =
_
d
c
f(x, y)dy. Anlogamente, para cada y [c, d], podemos denir F
y
(y) =
_
b
a
f
y
(x)dx =
_
b
a
f(x, y)dx.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 6
Teorema 1 (de Fubini). Con las notaciones anteriores, la funcin F
x
es
integrable sobre [a, b], la funcin F
y
es integrable sobre [c, d] y
__
R
f(x, y)d(x, y) =
_
b
a
F
x
(x)dx =
_
d
c
F
y
(y)dy
La frmula anterior se escribe
__
R
f(x, y)d(x, y) =
_
b
a
_
d
c
f(x, y)dydx =
_
d
c
_
b
a
f(x, y)dxdy
Las dos integrales a la derecha se llaman integrales iteradas. Note que el
proceso de integracin se puede efectuar en cualquiera de los dos rdenes
posibles, dydx: primero con respecto a y y despus con respecto a x, o al
revs dxdy.
Ejemplo 2 Calcule el volumen de la regin bajo el paraboloide
z =
1
2
(8 x
2
y
2
) sobre el rectngulo R = [0, 1] [0, 2] .
4
3
z
2
2
1
y
1.0
0.5
x
0.0
0
V =
__
R
1
2
(8 x
2
y
2
)d(x, y) =
_
1
0
_
2
0
1
2
(8 x
2
y
2
)dydx
=
_
1
0
(
20
3
x
2
)dx =
19
3
Ejercicio 3 Evale la integral
__
R
x
2
sin(xy)d(x, y), donde R = [0, ] [0, 1]
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 7
1.3 Integrales triples y mltiples.
La misma construccin anterior puede hacerse con una funcin de n variables:
Un rectngulo en R
n
es un conjunto de la forma R = [a
1
, b
1
] [a
2
, b
2
]
... [a
n
, b
n
] y su medida es el producto de las longitudes de los intervalos
que lo denen. Podemos tambin considerar particiones para el rectngulo y
con ellas denir sumas inferior y superior para una funcin f : R R, de n
variables x
1
, x
2
, ..., x
n
que sea acotada sobre el rectngulo.
Se dene as la integral de f sobre el rectngulo R
_

_
R
f(x
1
, ...x
n
) d(x
1
, ...x
n
)
El Teorema de Fubini contina vlido permitiendo calcular la integral anterior
mediante n integrales iteradas:
_

_
R
f(x
1
, ...x
n
) d(x
1
, ...x
n
) =
_
b
n
an
...
_
b
1
a
1
f(x
1
, ..., x
n
)dx
1
...dx
n
Esta posibilidad incluye los n! rdenes de integracin posibles.
Ejemplo 4 Calcular la integral triple
___
R
(x
2
yz +3y
2
)d(x, y, z) sobre el rec-
tngulo R = [0, 2] [1, 2] [0, 3] .
Hasta aqu sabemos que todas las funciones continuas sobre un rectn-
gulo son integrables. Pero nos podemos preguntar hay otras funciones que
no sean continuas en todos los puntos del rectngulo y sin embargo sean
integrables? Cmo reconocerlas?
Denicin 5 Un conjunto C R
n
tiene contenido nulo cuando: dado > 0
existen rectngulos R
1
, R
2
, ..., R
p
tales que
C R
1
R
2
... R
p
y m(R
1
) + m(R
2
) + ... + m(R
p
) <
Algunas propiedades directas de la denicin son:
1. Todo conjunto formado por un punto tiene contenido nulo.
2. La unin nita de conjuntos de contenido nulo tiene contenido nulo.
3. Todo conjunto nito tiene contenido nulo.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 8
4. Un subconjunto de un conjunto de contenido nulo tiene contenido nulo.
5. Un rectngulo R para el cual uno de los intervalos que lo denen se
reduzca a un punto ([a
k
, a
k
] = a
k
) tiene contenido nulo.
6. Las funciones de clase (
1
preservan el contenido nulo. Esto es, si :
A R
n
R
n
es de clase (
1
en el abierto A y C es un conjunto de
contenido nulo en R
n
con

C A , entonces (C) es de contenido nulo
en R
n
.
7. De la propiedad anterior se sigue que:
a) una curva acotada C : y = f(x), donde f es de clase (
1
es de
contenido nulo en R
2
b) una supercie acotada S : z = f(x, y), donde f es de clase (
1
es de
contenido nulo en R
3
.
Teorema 6 Sea f : R R una funcin acotada en un rectngulo R R
n
.
Si f es continua en todos los puntos de RC, donde C R es un conjunto
de contenido nulo, entonces f es integrable en R.
Debe tenerse presente que aunque la clase de funciones determinada en
el teorema anterior es bastante amplia, no incluye a todas las funciones inte-
grables. Para caracterizar a todas las funciones integrables sobre un rectn-
gulo R se necesita el concepto de medida nula.
Denicin 7 Un conjunto C R
n
tiene medida nula cuando: dado > 0
existe una sucesin de rectngulos R
1
, R
2
, ..., R
k
, ... tales que
C

_
k=1
R
k
y

k=1
m(R
k
) <
Propiedades que se deducen rpidamente de la denicin son:
1. Todo conjunto formado por un punto tiene medida nula.
2. La unin numerable de conjuntos de medida nula tiene medida nula.
3. Todo conjunto numerable tiene medida nula.
4. Un subconjunto de un conjunto de medida nula tiene medida nula.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 9
5. Todo conjunto de contenido nulo tiene medida nula. (el recproco no
vale)
6. Todo conjunto de medida nula y compacto tiene contenido nulo.
Teorema 8 (de Lebesgue).- Sea f : R R una funcin acotada en el rec-
tngulo R. La funcin f es integrable en R si y slo si, los puntos donde f
es discontinua forman un conjunto de medida nula.
1.4 Conjuntos medibles.
Por ahora hemos trabajado el concepto de integral sobre rectngulos del
espacio R
n
. Para denir integral sobre conjuntos acotados ms generales se
requiere que stos cumplan cierta condicin.
Para un conjunto B R
n
se dene la funcin caracterstica de B,

B
: R
n
R,

B
(X) =
_
1 si X B
0 si X / B
Note que los puntos de discontinuidad de
B
son los puntos de la frontera
de B. Adems, cuando B es acotado l est incluido en algn rectngulo R
(B R). Segn el teorema de Lebesgue,
B
es integrable sobre R si, y slo
si, Fr(B) tiene medida nula (o contenido nulo, por ser compacto).
Denicin 9 Un conjunto B es medible (segn Jordan) si es acotado y
Fr(B) tiene medida nula. Se dene la medida de B por
m(B) =
_
R

B
(X) dX donde R es un rectngulo que contiene a B
Sea ahora f : B R
n
R una funcin acotada sobre un conjunto
medible B. Elejimos un rectngulo R tal que B R y se dene una extensin
de f
f
B
(X) =
_
f(X) si X B
0 si X / B
Denicin 10 f es integrable sobre B cuando f
B
es integrable sobre R y se
dene
_

_
B
f(X) dX =
_

_
R
f
B
(X) dX
Del criterio de Lebesgue, f es integrable sobre el conjunto medible B si,
y slo si, el conjunto de puntos de discontinuidad de f tiene medida nula.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 10
1.5 Clculo de integrales sobre conjuntos medibles.
Integrales dobles.
Caso 1.-Para integrales dobles sobre el conjunto
B = (x, y) : a x b, (x) y (x), el cual se abrevia
B :
_
a x b
(x) y (x)
Se puede probar que si y son integrables en [a, b] (por ejemplo, cuando
son continuas), entonces B es medible. Si f es integrable en B, entonces
__
B
f(x, y)d(x, y) =
_
b
a
_
(x)
(x)
f(x, y)dydx
Caso 2.- Para integrales dobles sobre el conjunto
B = (x, y) : c y d, u(y) x v(y), el cual se abrevia
B :
_
c y d
u(y) x v(y)
Se puede probar que si u y v son integrables en [c, d] (por ejemplo, cuando
son continuas), entonces B es medible. Si f es integrable en B, entonces
__
B
f(x, y)d(x, y) =
_
d
c
_
v(y)
u(y)
f(x, y)dxdy
Note que en las dos frmulas anteriores, la representacin del conjunto
B, segn se trate del caso 1 o 2, determina el orden de integracin en las
integrales iteradas. Hay casos en que el conjunto medible B permite las dos
representaciones (caso 1 y caso 2) y por lo tanto se puede escoger entre los
dos posibles rdenes de integracin. Muchas veces uno de los posibles rdenes
es ms conveniente que el otro.
Ejemplo 11 Sea T el tringulo de vrtices (0, 0), (2, 0) y (1, 1). Calcule la
integral doble
__
T
xyd(x, y)
usando los dos posibles rdenes de integracin.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 11
Ejemplo 12 Sea D la regin del primer octante del espacio 3-d acotada por
el cilindro parablico z = 1 y
2
y el plano x + y = 2. Mediante una integral
doble calcule el volumen de D.
_
1
0
_
2y
0
(1 y
2
) dxdy
Integrales triples.
Caso 1.- Sobre un conjunto B de la forma
B :
_
_
_
a x b
(x) y (x)
u(x, y) z v(x, y)
donde las funciones , son continuas en [a, b] y u, v tambin son continuas.
Si f es integrable en B, entonces
___
B
f(x, y, z)d(x, y, z) =
_
b
a
_
(x)
(x)
_
v(x,y)
u(x,y)
f(x, y, z)dzdydx
Observe que la proyeccin del conjunto B sobre el plano xy es el conjunto
a x b, (x) y (x), el cual est representado segn el caso 1 de las
integrales dobles.
Esta descripcin del conjunto B determina el orden dzdydx en las inte-
grales iteradas. Existen otros 5 posibles rdenes de integracin que pueden
usarse segn el conjunto B admita una representacin que los permita. Slo
mencionaremos uno ms.
Caso 2.- Sobre un conjunto B de la forma
B :
_
_
_
c y d
(y) z (y)
u(y, z) x v(y, z)
con las funciones como antes, se tiene
___
B
f(x, y, z)d(x, y, z) =
_
d
c
_
(y)
(y)
_
v(y,z)
u(y,z)
f(x, y, z)dxdzdy
Ejemplo 13 Calcule la integral
___
T
zd(x, y, z) donde T es tetraedro de vr-
tices (0, 0, 0), (2, 0, 0), (0, 3, 0) y (0, 0, 4), utilizando dos posibles rdenes de
integracin.
Primero deducir que la ecuacin del plano que pasa por los 3 puntos dis-
tintos del origen es
6x + 4y + 3z = 12
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 12
Ejemplo 14 Escriba las integrales iteradas para calcular la integral triple
_ _ _
D

x
2
+ z
2
dV
donde D es la regin encerrada por el paraboloide y = x
2
+ z
2
y el plano
y = 4, usando los rdenes: dzdydx y dydzdx.
1.6 Cambio de variables.
Para integracin en una variable es fcil obtener la frmula
_
b
a
f (x) dx =
_
d
c
f (g (t)) g

(t) dt
donde a = g (c) y b = g (d) . En efecto: si F es una antiderivada de f entonces
_
b
a
f (x) dx = F (b) F (a)
_
d
c
f (g (t)) g

(t) dt = F (g (d)) F (g (c))

Por lo tanto, tenemos la frmula del cambio de variables
_
g(d)
g(c)
f (x) dx =
_
d
c
f (g (t)) g

(t) dt
Para integrales dobles tambin se tiene una frmula de cambio de variables,
para evaluar una integral de la forma
_ _
B
f (x, y) d (x, y)
con B un subconjunto medible del plano xy y f una funcin integrable, como
una nueva integral sobre un plano uv.
Ms precisamente, considere una transformacin T : A B, (u, v)
T (u, v) = (x, y) , la que puede representarse por
x = x(u, v)
y = y (u, v)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 13
que sea de clase C
1
, inyectiva de A sobre el conjunto B y tal que el Jacobiano
de T no se anule, esto es:
JT (u, v)
(x, y)
(u, v)
=

x
u
x
v
y
u
y
v

,= 0
para todo (u, v) A. En estas condiciones se puede probar que
_ _
B
f (x, y) d (x, y) =
_ _
A
f (x(u, v) , y (u, v)) [JT (u, v)[ d (u, v)
El teorema an es vlido si falla la inyectividad o la no anulacin del jacobiano
en un subconjunto de A de medida nula.
u
v
A
x
y
B
T f
IR
Obs.- La transformacin T anterior queda denida por
x = x(u, v)
y = y (u, v)
Un caso particular destacable corresponde al cambio de coordenadas
cartesianas x y a polares r segn se describe a continuacin
1.6.1 Coordenadas polares.
La transformacin es T : R
2
R
2
, T (r, ) = (r cos , r sin) es de clase C
1
con jacobiano
JT (r, ) =

cos r sin
sin r cos

= r
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 14
luego puede aplicarse el teorema en cualquier subconjunto medible A del
plano r , incluido en el semiplano r 0, donde T sea inyectiva (salvo quizs
en un conjunto de medida cero). As, con B = T (A) se tiene
_ _
B
f (x, y) d (x, y) =
_ _
A
f (r cos , r sin) r d (r, )
Ejemplo 15 Calcular I =
_ _
B
(4 x
2
y
2
) d (x, y) , donde B : x
2
+y
2
4.
En coordenadas polares I =
_
2
0
_
2
0
(4 r
2
) rdrd = 8
Ejemplo 16 Calcular el volumen del slido sobre el plano xy, en el interior
del cilindro x
2
+ y
2
= 2y y bajo el paraboloide z = 4 x
2
y
2
.
Otro caso importante lo constituyen las transformaciones lineales biyec-
tivas (isomorsmos lineales).
1.6.2 Cambio de variables de tipo lineal.
Una transformacin lineal T : R
2
R
2
est denida por: (x, y) = T (u, v) =
(au + bv, cu + dv), con a, b, c, d constantes. El jacobiano de T es el determi-
nante de la matriz que representa a la transformacin lineal:
JT (u, v) =

a b
c d

= ad bc
y l ser no nulo cuando la transformacin sea inyectiva. Luego, para cualquier
A medible en el plano uv, con B = T (A) medible en el plano xy se tiene
_ _
B
f (x, y) d (x, y) =
_ _
A
f (au + bv, cu + dv) [JT (u, v)[ d (u, v)
Note que en el caso que f (x, y) = 1, la frmula queda
m(B) = [JT (u, v)[ m(A)
siendo la medida del conjunto su rea.
Ejemplo 17 Sea B el tringulo determinado en el primer cuadrante por los
ejes coordenados y la recta x + y = 2. Calcule la integral
_ _
B
e
(
yx
y+x
)
d (x, y)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 15
Para integrales triples la frmula del cambio de variables, para la trans-
formacin T
x = x(u, v, w)
y = y (u, v, w)
z = z (u, v, w)
con las mismas propiedades anteriores, queda
_ _ _
B
f (x, y, z) d (x, y, z)
=
_ _ _
A
f (x(u, v, w) , y (u, v, w) , z (u, v, w)) [JT (u, v, w)[ d (u, v, w)
Ejemplos importantes son el uso de las coordenadas cilndricas y esfricas
que se describen a continuacin:
1.7 Coordenadas cilndricas
x = r cos
y = r sin
z = z
J(r, , z) =

cos r sin 0
sin r cos 0
0 0 1

= r
Para f : B R integrable en B R
3
, conjunto medible
_ _ _
B
f (x, y, z) d (x, y, z) =
_ _ _
A
f (r cos , r sin , z) rd (r, , z)
donde A es la descripcin de B en coordenadas cilndricas.
Ejemplo 18 Calcule el volumen del slido B en el primer octante limitado
por el cilindro x
2
+ y
2
= 2y, el cono z =
_
x
2
+ y
2
y el plano xy
cartesianas cilndricas
cilindro x
2
+ y
2
= 2y r = 2 sin
cono z =
_
x
2
+ y
2
z = r
plano z = 0 z = 0
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 16
La regin B se describe en coordenadas cilndricas por A :
0 /2
0 r 2 sin
0 z r
Luego,
V ol (B) =
_ _ _
B
d (x, y, z)
=
_ _ _
A
rd (r, , z)
=
_
/2
0
_
2 sin
0
_
r
0
rdzdrd
=
16
9
1.8 Coordenadas esfricas.-
x = sin cos
y = sin sin
z = cos
J(, , ) =

sin cos sin sin cos cos

sin sin sin cos cos sin
cos 0 sin

=
2
sin
Para f : B R integrable en B R
3
, conjunto medible
_ _ _
B
f (x, y, z) d (x, y, z) =
_ _ _
A
f ( sincos , sin sin , cos )
2
sin d (, , )
donde A es la descripcin de B en coordenadas esfricas.
Ejemplo 19 Calcule el volumen del slido B limitado por la esfera x
2
+y
2
+
(z 1)
2
= 1, y sobre el cono

3z =
_
x
2
+ y
2
cartesianas esfricas
esfera x
2
+ y
2
+ z
2
= 2z = 2 cos
cono

3z =
_
x
2
+ y
2
= /3
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 17
La regin B se describe en coordenadas esfricas por A :
0 /3
0 2
0 2 cos
Luego,
V ol (B) =
_ _ _
B
d (x, y, z)
=
_ _ _
A

2
sin d (, , )
=
_
/3
0
_
2
0
_
2 cos
0

2
sin ddd
=
5
4

Finalmente comentaremos algunos aspectos de las integrales mltiples

impropias, en el caso de dos variables, mediante unos ejemplos:
Clculo de
_ _
R
2
e
x
2
y
2
d (x, y) .
La idea principal es cubrir el plano R
2
mediante una sucesin creciente
de conjunto medibles:
D
n
: x
2
+ y
2
n
2
, n N
Calcular la integral sobre cada D
n
, usando coordenadas polares
_ _
Dn
e
x
2
y
2
d (x, y) =
_
2
0
_
n
0
e
r
2
rdrd
= e
n
2
y tomar lmite
_ _
R
2
e
x
2
y
2
d (x, y) = lim
n
_ _
Dn
e
x
2
y
2
d (x, y)
= lim
n
_
e
n
2
_
=
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 18
Un aspecto importante de esta teora es mostrar que el resultado obtenido
no depende de la sucesin de conjuntos elegida. Esto ocurre al menos para
las funciones no negativas tales como f (x, y) = e
x
2
y
2
.
As, al tomar la sucesin de cuadrados T
n
: [n, n] [n, n] tambin se
tiene
lim
n
_ _
Tn
e
x
2
y
2
d (x, y) =
Ahora si consideramos que
_ _
T
n
e
x
2
y
2
d (x, y) =
_
n
n
_
n
n
e
x
2
e
y
2
dydx
=
_
n
n
e
x
2
dx
_
n
n
e
y
2
dy
=
__
n
n
e
x
2
dx
_
2
se concluye que
_
+

e
x
2
dx =

Tambin, dado que g (x) = e

x
2
es positiva y par
_

0
e
x
2
dx =

2
Ejemplo 20 Sea D : x
2
+ y
2
1. Calcule
_ _
D
1

1+x
d (x, y) .