Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1
1.1

Integrales mltiples.
Integrales dobles.

Para el caso de una variable, con una funcin f : [a, b] R continua y

Rb
no negativa, la integral 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 12 (x 1)2 ,
con
el rea de la regin mostrada est dada por la integral
R 3 0 1 x 3,
2
(3

(x

1)
)dx
= 15
2
2
0
3

2.5
2
1.5
1
0.5
0

-1

2
x

En el caso de una funcin de dos variables, (x, y) 7 f (x, y), continua y no

negativa
R Rsobre el conjunto R = [a, b][c, d] (rectngulo del plano), la integral
doble
f (x, y)d(x, y) nos permitir calcular el volumen de la regin del
R
espacio xyz bajo la grfica de f.
4
3
2
1
0
0.5
1.5
2

1x

0.5
y1

1.5
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.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Dadas una particin Px = {x0 , x1 , ...., xn } de [a, b] y una particin

Py = {y0 , y1 , ..., ym } de [c, d]:
a = x0 < x1 < ... < xn = b
c = y0 < y1 < ... < ym = d
el conjunto P = Px Py = {(x0 , y0 ), ..., (x0 , ym ), (x1 , y0 ), ........, (xn , ym )} se
denomina particin de R.
Px divide [a, b] en n subintervalos: [xi1 , xi ] , con i = 1, ..., n, cada uno de
longitud i = xi xi1 .
Py divide [c, d] en m subintervalos: [yj1 , yj ] , con j = 1, ..., n, cada uno
de longitud j = yj yj1 .
P divide R = [a, b] [c, d] en r = nm subrectngulos: Rk = [xi1 , xi ]
[yj1 , yj ] , con k = 1, ..., r, cada uno de rea (medida) (Rk ) = i j .
Como la f es continua sobre cada Rk , existen:
mk = min {f (x, y) : (x, y) Rk } : valor mnimo de f en Rk
Mk = max {f (x, y) : (x, y) Rk } : valor mximo de f en Rk
Los productos mk (Rk ) y Mk (Rk ) representan, respectivamente, los
volmenes de paraleleppedos de base Rk y altura mk y Mk . Estos permiten
definir:
r
X
mk (Rk )
la suma inferior de f asociada a P : s(f, P ) =
k=1
r
X

la suma superior de f asociada a P : S(f, P ) =

k=1

Mk (Rk ).

Desde un punto de vista geomtrico, el volumen V de la regin bajo la

grfica de f debe verificar
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.

Sean P y Q dos particiones de R. Se dice que Q refina a P cuando

P Q. Esto significa 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 refinar la particin, la suma inferior crece y la superior decrece.
Otro elemento importante ac es el concepto de norma de una particin
P , definido como: kP k igual a la mayor rea de todos los subrectngulos
determinados por la particin. As, la particin P tiene norma kP k pequea
cuando todos los subrectngulos tienen rea pequea.
Finalmente, se prueba que existe un nmero real I (nico) que verifica:
dado > 0 existe > 0 tal que :
kP k < |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 suficientemente pequea.
Adems este nmero satisface: s(f, P ) I S(f, P ), para todas las
particiones. Luego l permite definir el volumen de la regin bajo la grfica
de f y, ms importante an, define 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:
ZZ
f (x, y)d(x, y) = I = lim s(f, P ) = lim S(f, P )
R

kP k0

kP k0

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 nfimo y supremo en la definicin de los mk y Mk . 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.

Hemos dado una idea de la definicin (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
ZZ
ZZ
ZZ
[f (x, y) + g(x, y)] d(x, y) =
f (x, y)d(x, y) +
g(x, y)d(x, y)
R
R
R
ZZ
ZZ
cf (x, y)d(x, y) = c
f (x, y)d(x, y)
R

2. Si f, g : R R son funciones integrables sobre el rectngulo

R = [a, b] [c, d] , entonces
ZZ
ZZ
f (x, y)d(x, y)
g(x, y)d(x, y)
f (x, y) g(x, y), (x, y) R
R
R
ZZ
Z Z

f
(x,
y)d(x,
y)
| f (x, y)| d(x, y)

3. Si el rectngulo R se particiona en n subrectngulo R1 , ...., Rn y f es

integrable sobre R, entonces
ZZ
ZZ
ZZ
f (x, y)d(x, y) =
f (x, y)d(x, y) + ... +
f (x, y)d(x, y)
R

1.2

R1

Rn

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 fx : [c, d] R definida por fx (y) =
Rd
f (x, y) es continua (e integrable) y podemos evaluar Fx (x) = c fx (y)dy =
Rd
f (x, y)dy. Anlogamente, para cada y [c, d], podemos definir Fy (y) =
Rb
Rcb
f (x)dx = a f (x, y)dx.
a y

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Teorema 1 (de Fubini). Con las notaciones anteriores, la funcin Fx es

integrable sobre [a, b], la funcin Fy es integrable sobre [c, d] y
ZZ

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

Fx (x)dx =

La frmula anterior se escribe

ZZ
Z bZ
f (x, y)d(x, y) =
a

Fy (y)dy

f (x, y)dydx =

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 = 12 (8 x2 y 2 ) sobre el rectngulo R = [0, 1] [0, 2] .
4

2
00
1

x
y
2

ZZ

1
(8 x2 y 2 )d(x, y) =
2

R
1

Z 1Z
0

2
0

1
(8 x2 y 2 )dydx
2

20
19
x2 )dx =
3
0 3
RR
Ejercicio 3 Evale la integral R x2 sin(xy)d(x, y), donde R = [0, ][0, 1]
=

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1.3

Integrales triples y mltiples.

La misma construccin anterior puede hacerse con una funcin de n variables:

Un rectngulo en Rn es un conjunto de la forma R = [a1 , b1 ] [a2 , b2 ]
... [an , bn ] y su medida es el producto de las longitudes de los intervalos
que lo definen. Podemos tambin considerar particiones para el rectngulo y
con ellas definir sumas inferior y superior para una funcin f : R R, de n
variables x1 , x2 , ..., xn que sea acotada sobre el rectngulo.
Se define as la integral de f sobre el rectngulo R
Z
Z
f (x1 , ...xn ) d(x1 , ...xn )

El Teorema de Fubini contina vlido permitiendo calcular la integral anterior

mediante n integrales iteradas:
Z bn Z b1
Z
Z
f (x1 , ...xn ) d(x1 , ...xn ) =
...
f (x1 , ..., xn )dx1 ...dxn

an

a1

Esta posibilidad incluye los n! rdenes de integracin posibles.

RRR
Ejemplo 4 Calcular la integral triple
(x2 yz + 3y 2 )d(x, y, z) sobre el
R
rectngulo R = [0, 2] [1, 2] [0, 3] .
Hasta aqu sabemos que todas las funciones continuas sobre un rectngulo 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?
Definicin 5 Un conjunto C Rn tiene contenido nulo cuando: dado > 0
existen rectngulos R1 , R2 , ..., Rp tales que
C R1 R2 ... Rp y m(R1 ) + m(R2 ) + ... + m(Rp ) <
Algunas propiedades directas de la definicin son:
1. Todo conjunto formado por un punto tiene contenido nulo.
2. La unin finita de conjuntos de contenido nulo tiene contenido nulo.
3. Todo conjunto finito tiene contenido nulo.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

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 definen se
reduzca a un punto ([ak , ak ] = {ak }) tiene contenido nulo.
6. Las funciones de clase C 1 preservan el contenido nulo. Esto es, si :
A Rn Rn es de clase C 1 en el abierto A y C es un conjunto de
contenido nulo en Rn con C A , entonces (C) es de contenido nulo
en Rn .
7. De la propiedad anterior se sigue que:
a) una curva acotada C : y = f (x), donde f es de clase C 1 es de
contenido nulo en R2
b) una superficie acotada S : z = f (x, y), donde f es de clase C 1 es de
contenido nulo en R3 .
Teorema 6 Sea f : R R una funcin acotada en un rectngulo R Rn .
Si f es continua en todos los puntos de R C, 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 integrables. Para caracterizar a todas las funciones integrables sobre un rectngulo R se necesita el concepcto de medida nula.
Definicin 7 Un conjunto C Rn tiene medida nula cuando: dado > 0
existe una sucesin de rectngulos R1 , R2 , ..., Rk , ... tales que
C

k=1

Rk

m(Rk ) <

k=1

Propiedades que se deducen rpidamente de la definicin 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.

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 rectngulo 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 Rn . Para definir integral sobre conjuntos acotados ms generales se
requiere que stos cumplan cierta condicin.
Para un conjunto B Rn se define la funcin caracterstica de B,
B : Rn R,

1 si X B
B (X) =
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, F r(B) tiene medida nula (o contenido nulo, por ser compacto).
Definicin 9 Un conjunto B es medible (segn Jordan) si es acotado y
F r(B) tiene medida nula. Se define la medida de B por
Z
B (X) dX
donde R es un rectngulo que contiene a B
m(B) =
R

Sea ahora f : B Rn R una funcin acotada sobre un conjunto

medible B. Elejimos un rectngulo R tal que B R y se define una extensin
de f

f (X) si X B
fB (X) =
0
si X
/B

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Definicin 10 f es integrable sobre B cuando fB es integrable sobre R y se

define
Z
Z
Z
Z
f (X) dX =
fB (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.

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

axb
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
ZZ
Z b Z (x)
f (x, y)d(x, y) =
f (x, y)dydx
B

(x)

Caso 2.- Para integrales dobles sobre el conjunto

B = {(x, y) : c y d, u(y) x v(y)}, el cual se abrevia

cyd
B:
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
ZZ
Z d Z v(y)
f (x, y)d(x, y) =
f (x, y)dxdy
B

u(y)

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.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

10

Ejemplo 11 Sea T el tringulo de vrtices (0, 0), (2, 0) y (1, 1). Calcule la
integral doble
ZZ
xyd(x, y)
T

usando
rdenes de integracin.
R 1 1 los dos posibles
2
(4y 4y ) dy = 13
0 2

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
de D.
R 2y el volumen
R 1calcule
2
(1 y ) dxdy = 13
= 1. 083 333 333
12
0 0

Integrales triples.
Caso 1.- Sobre un conjunto B de la forma

axb

(x) y (x)
B:

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
ZZZ
Z b Z (x) Z v(x,y)
f (x, y, z)d(x, y, z) =
f (x, y, z)dzdydx
B

(x)

u(x,y)

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 integrales 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

cyd

(y) z (y)
B:

u(y, z) x v(y, z)
con las funciones como antes, se tiene
Z dZ
ZZZ
f (x, y, z)d(x, y, z) =
B

(y)

(y)

v(y,z)

u(y,z)

f (x, y, z)dxdzdy

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

11

RRR
Ejemplo 13 Calcule la integral
zd(x, y, z) donde T es tetraedro de vrT
tices (0, 0, 0), (2, 0, 0), (0, 3, 0) y (0, 0, 4), utilizando dos posibles rdenes de
integracin.
2
R 3 3 x 1
2
4 2x 43 y dy = x3 + 6x2 12x + 8
2
0
R2
(x3 + 6x2 12x + 8) dx = 4
0
Ejemplo 14 Escriba las integrales iteradas para calcular la integral triple
Z Z Z
x2 + z 2 dV
D

donde D es la regin encerrada por el paraboloide y = x2 + 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

Z d
Z b
f (x) dx =
f (g (t)) g 0 (t) dt
a

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

Z b
f (x) dx = F (b) F (a)
a
Z d
f (g (t)) g0 (t) dt = F (g (d)) F (g (c))
c

Por lo tanto, tenemos la frmula del cambio de variables

Z d
Z g(d)
f (x) dx =
f (g (t)) g 0 (t) dt
c

g(c)

Para integrales dobles tambin se tiene una frmula de cambio de variables,

para evaluar una integral de la forma
Z Z
f (x, y) d (x, y)
B

con B un subconjunto medible del plano xy y f una funcin integrable, como

una nueva integral sobre un plano uv.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

12

Ms precisamente, considere una transformacin T : A B, (u, v) 7

T (u, v) = (x, y) , la que puede representarse por
x = x (u, v)
y = y (u, v)
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:

x x

(x, y) u v
=
JT (u, v)
6= 0
(u, v) y y

u v
para todo (u, v) A. En estas condiciones se puede probar que
Z Z
Z Z
f (x, y) d (x, y) =
f (x (u, v) , y (u, v)) |JT (u, v)| d (u, v)
B

El teorema an es vlido si falla la inyectividad o la no anulacin del jacobiano

en un subconjunto de A de medida nula.

IR

f
B

Obs.- La transformacin T anterior queda definida 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

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1.6.1

13

Coordenadas polares.

La transformacin es T : R2 R2 , T (r, ) = (r cos , r sin ) es de clase C 1

con jacobiano

cos r sin
=r

JT (r, ) =
sin r cos

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
Z Z
Z Z
f (x, y) d (x, y) =
f (r cos , r sin ) r d (r, )
B

RR
Ejemplo 15 Calcular I =
(4 x2 y 2 ) d (x, y) , donde B : x2 +y 2 4.
BR
2 R 2
En coordenadas polares I = 0 0 (4 r2 ) rdrd = 8

Ejemplo 16 Calcular el volumen del slido sobre el plano xy, en el interior

del Rcilindro x2 + y 2 = 2y y bajo el paraboloide z = 4 x2 y 2 .
2 sin
(4 r2 ) rdr = 4 4 cos4
R0
(4 4 cos4 ) d = 52
0
Otro caso importante lo constituyen las transformaciones lineales biyectivas (isomorfismos lineales).
1.6.2

Cambio de variables de tipo lineal.

Una transformacin lineal T : R2 R2 est definida por: (x, y) = T (u, v) =

(au + bv, cu + dv), con a, b, c, d constantes. El jacobiano de T es el determinante de la matriz que representa a la transformacin lineal:

a b
= ad bc

JT (u, v) =
c d

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
Z Z
Z Z
f (x, y) d (x, y) =
f (au + bv, cu + dv) |JT (u, v)| d (u, v)
B

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

14

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
Z Z
yx
e( y+x ) d (x, y)
B

R
u
1 v
e v du = 12 v (e2 1) e1
2
v

R 2 1
v (e2 1) e1 dv = (e2 1) e1
0 2

Para integrales triples la frmula del cambio de variables, para la transformacin T

x = x (u, v, w)
y = y (u, v, w)
z = z (u, v, w)
con las mismas propiedades anteriores, queda
Z Z Z
f (x, y, z) d (x, y, z, )
B
Z Z Z
=
f (x (u, v, w) , y (u, v, w) , z (u, v, w)) |JT (u, v, w)| d (u, v, w)
A

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

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

15

cos r sin 0

0 = r
J(r, , z) = sin r cos
0
0
1

Para f : B R integrable en B R3 , conjunto medible

Z Z Z
Z Z Z
f (x, y, z) d (x, y, z) =
f (r cos , r sin , z) rd (r, , z)
B

donde A es la descripcin de B en coordenadas cilndricas.

Ejemplo 18 Calcule el volumen del slido
p B en el primer octante limitado
por el cilindro x2 + y 2 = 2y, el cono z = x2 + y 2 y el plano xy
cartesianas
cilndricas
2
2
y = 2y
r = 2 sin
cilindro x +p
cono
z = x2 + y 2 z = r
plano
z=0
z=0
La regin B se describe en coordenadas cilndricas por A :
0 /2
0 r 2 sin
0 zr
Luego,
V ol (B) =
=
=

Z Z Z

d (x, y, z)

Z Z ZB

16
=
9

1.8

rd (r, , z)
Z r
rdzdrd

A
/2 Z 2 sin

Coordenadas esfricas.x = sin cos

y = sin sin
z = cos

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

sin cos sin sin cos cos

cos sin
J(, , ) = sin sin sin cos
cos
0
sin

16

= 2 sin

Para f : B R integrable en B R3 , conjunto medible

Z Z Z
Z Z Z
f (x, y, z) =
f ( sin cos , sin sin , cos ) 2 sin d (, , )
B

donde A es la descripcin de B en coordenadas esfricas.

Ejemplo 19 Calcule el volumen
slido B limitado por la esfera x2 +y 2 +
del p
2
(z 1) = 1, y sobre el cono 3z = x2 + y 2
cartesianas
esfricas
2
2
2
+ z = 2z = 2 cos
esfera x
+y p
cono
3z = x2 + y 2 = /3
La regin B se describe en coordenadas esfricas por A :
0 /3
0 2
0 z 2 cos
Luego,
V ol (B) =

Z Z Z

d (x, y, z)

Z Z

ZB

2 sin d (r, , z)
A
Z /3 Z 2 Z 2 cos
2 sin ddd
=

5
=

Finalmente comentaremos algunos aspectos de las integrales mltiples

impropias, en elR caso
de dos variables, mediante unos ejemplos:
R x
2 y 2
e
d (x, y) .
Clculo de
R2
La idea principal es cubrir el plano R2 mediante una sucesin creciente
de conjunto medibles:
Dn : x2 + y 2 n2 , n N

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

17

Calcular la integral sobre cada Dn , usando coordenadas polares

Z 2 Z n
Z Z
2
x2 y2
e
d (x, y) =
er rdrd
0

Dn

0
n2

= e

y tomar lmite
Z Z

x2 y2

d (x, y) =

R2

lim

Z Z

2 y 2

ex

d (x, y)

Dn

n2
= lim e
n
=

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
2
2
las funciones no negativas tales como f (x, y) = ex y .
As, al tomar la sucesin de cuadrados Tn : [n, n] [n, n] tambin se
tiene
Z Z
2
2
ex y d (x, y) =
lim
n

Tn

Ahora si consideramos que

Z nZ n
Z Z
2
2
x2 y 2
e
d (x, y) =
ex ey dydx
n
Tn
Z n
Zn
n
2
x2
e dx
ey dy
=
n
n
Z n
2
x2
=
e dx
n

se concluye que
Z

ex dx =

Tambin, dado que g (x) = ex es positiva y par

x2
e dx =
2
0