Está en la página 1de 28

CAPTULO 7

Integracion de funciones de varias variables


En este captulo extenderemos la nocion de integral en el sentido
de Riemann a funciones denidas sobre subcojuntos del espacio R
N
.
Consideremos una funcion f : D R
N
R. Si N = 1 y D = [a, b] se
denio, bajo ciertas condiciones, la cantidad
_
b
a
f(x)dx, cuya interpre-
tacion geometrica, cuando f es positiva, es el area bajo la curva que
dene el graco de f, {(x, f(x)) / x [a, b]}, por sobre el intervalo
[a, b], esto es, de la region
{(x, y) / x [a, b], 0 y f(x)}.
Para una funcon de dos variables, el graco tpicamente se entiende
como una supercie en R
3
, y deseamos denir la cantidad
_ _
D
f(x, y)dxdy
como una nocion apropiada de volumen de la region en R
3
dada por
{(x, y, z) / (x, y) D, 0 z f(x, y)}.
Consideremos el caso especial de la funcion f 1. La cantidad
_ _
D
1dxdy
debiese corresponder al volumen del cilindro de altura 1 que tiene a
D como seccion transversal, esto es al area de D. Del mismo modo
intentamos denir, para el caso de una funcion de tres variables la
cantidad
I =
_ _ _
D
f(x, y, z)dxdydz,
que si bien no tendra interpretacion geometrica intuitiva directa, debie-
se corresponder a que
_ _ _
D
1dxdydz sea el volumen de la region D del
espacio tridimensional. Por otra parte, la cantidad I puede interpre-
tarse fsicamente como masa total de D, suponiendo que su densidad
de masa por unidad de volumen en el punto (x, y, z) esta dada por la
funcion f(x, y, z), lo cual quiere decir que un rectangulo innitesimal
de volumen dxdydz en este punto tiene por masa f(x, y, z)dxdydz.
91
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

92 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


1. Denicion de la integral y propiedades basicas
La denicion que daremos es la extension directa de la integral de
Riemann para funciones de una variable hecha en al curso de calculo
anterior. Consideramos primero el caso de los dominios D mas sencillos
que llamamos rectangulos de lados paralelos a los ejes coordenados. Un
rectangulo R de este tipo en R
N
es un conjunto de la forma
R = {x R
N
/ a
i
x
i
b
i
para todo i = 1, . . . , N} =
[a
1
, b
1
] [a
N
, b
N
],
en otras palabras,
R =
N

i=1
[a
i
, b
i
] . (1.1)
Denimos el volumen de R simplemente como la cantidad
V (R) =
N

i=1
(b
i
a
i
) ,
lo que en dimensiones 1, 2 y 3 corresponde a nuestras nociones habi-
tuales de largo, area y volumen, respectivamente. Consideramos en lo
que sigue un rectangulo R R
N
y una funcion f : R R la cual
supondremos acotada, esto es tal que existe M > 0 para el cual
|f(x)| M para todo x R.
Un reticulado S del rectangulo R dado por (1.1) es una familia de
rectangulos
S = {R
i
}
iI
Donde I es un conjunto de ndices, con cada R
i
un rectangulo de lados
paralelos a los ejes coordenados tales que
_
iI
R
i
= R, int R
i
int R
j
= para todo i = j
R
i
= [x
i
1
, x
i
1
+1
] [x
i
2
, x
i
2
+1
] [x
i
N
, x
i
N
+1
],
donde i
j
= 0, . . . , k
j
, j = 1, . . . N y
x
i
0
= a
i
< x
i1
< x
i2
< x
ik
i
= b
i
.
Denimos la suma inferior para la funcion f asociada al reticulado S
como
I
S
(f) :=

iI
m
R
i
(f)V (R
i
),
donde
m
R
i
(f) = nf
xR
i
f(x).
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

1. DEFINICI

ON DE LA INTEGRAL Y PROPIEDADES B

ASICAS 93
En modo similar, la suma superior asociada al reticulado S esta dada
por
S
S
(f) :=

iI
M
R
i
(f)V (R
i
),
donde
M
R
i
(f) = sup
xR
i
f(x).
Observemos, por ejemplo, que si la dimension es N = 2, el n umero
m
R
i
(f)V (R
i
) corresponde, si f 0, al volumen del paraleleppedo de
base rectangular R
i
y altura m
R
i
(f), de modo que si R
i
tiene lados
peque nos y f es, por ejemplo, continua, este volumen debiese aproxi-
mar bien (y por abajo) el de la region del espacio comprendida entre
el rectangulo R
i
, contenido en el plano XY y el graco de la funcion
f, esto es la supercie z = f(x, y). As, la suma inferior I
S
(f) es
una aproximacion por abajo del volumen total comprendido entre el
rectangulo R y el graco de f. En modo similar, S
S
(f) es una aproxi-
macion por arriba de este volumen, aproximacion que debiese mejorar y
mejorar si los rectangulos del reticulado se hacen mas y m as peque nos.
Basicamente, el volumen total en cuestion debiese considerarse bien
denido si las sumas inferiores y superiores de f aproximan un n umero
com un a medida que los reticulados se hacen mas nos. Precisamente
en este caso diremos que f es integrable sobre R.
Sean S
1
y S
2
dos reticulados de R. decimos que S
2
es mas no que
S
1
si se tiene todo rectangulo en S
2
esta contenido en alg un rectangulo
en S
1
. En este caso se tiene que
I
S
1
I
S
2
S
S
2
S
S
1
Por otra parte, observemos que dados dos reticulados cualesquiera S
1
y
S
2
se asocia canonicamente un reticulado S
3
mas no tanto a S
1
como
a S
2
simplemente mediante la coleccion de todas las intersecciones de
rectangulos en S
1
con rectangulos en S
2
.
As, concluimos que en realidad, para todo par de reticulados S
1
y
S
2
(no necesariamente uno mas no que el otro) se tiene que
I
S
1
S
S
2
.
Para la funcion f acotada en cuestion tiene entonces sentido denir su
integral inferior en R como
_
R
f := sup{I
S
(f) / S es un reticulado de R} .
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

94 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Denimos, en modo similar su integral superior sobre R como
_
R
f :=nf{S
S
(f) / S es un reticulado de R} .
De este modo, para cualquier funcion acotada tenemos la validez de la
desigualdad
_
R
f
_
R
f .
Decimos que la funcion f es Riemann-integrable si
_
R
f =
_
R
f .
en cuyo caso llamamos a este valor com un la integral de f sobre R y
lo denotamos como
_
R
f,
_
R
f(x)dx, o tambien
_

_
R
f(x
1
, . . . x
N
)dx
1
dx
N
(en la ultima notacion el smbolo de integral se repite N veces).
Una caracterizacion util de la condicion de integrabilidad es la si-
guiente.
Proposici

on 1.1. Si existe una sucesion de reticulados {S


n
}
nN
tal que
lm
n
S
S
n
(f) I
S
n
(f) = 0
entonces f es integrable y
lm
n
S
S
n
(f) = lm
n
I
S
n
(f) =
_
R
f(x)dx
Demostracion. Tenemos que
I
S
n
(f)
_
R
f(x)dx
_
R
f(x)dx S
S
n
(f) .
Por ende, pasando al lmite, por el Teorema del Sandwich, obtenemos
que
_
R
f(x)dx =
_
R
f(x)dx,
y entonces f es integrable.
Ejemplo 1.1. Consideremos f : R
2
R dada por f(x, y) = x + y
y R = [0, 1] [0, 1] Condieremos para n N la particion S
n
que consta
de los elementos
R
n
jk
=
_
j
n
,
j + 1
n
_

_
k
n
,
k + 1
n
_
, 0 j, k n 1.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

1. DEFINICI

ON DE LA INTEGRAL Y PROPIEDADES B

ASICAS 95
Entonces
I
S
n
(f) =
n1

j=0
n1

k=0
V (R
n
jk
)m
R
n
jk
(f).
Ahora, claramente
m
R
n
jk
(f) =
j
n
+
k
n
,
de modo que
I
S
n
(f) =
1
n
3
n1

j=0
n1

k=0
(j + k)
=
1
n
3
n1

j=0
_
n(n 1)
2
+ nj
_
=
1
n
3
n
2
(n 1) = 1
1
n
.
En modo similar, obtenemos
M
R
n
jk
(f) =
j + 1
n
+
k + 1
n
y
S
S
n
(f) =
1
n
3
n1

j=0
n1

k=0
(j + k + 2) = 1 +
1
n
.
Vemos entonces que
lm
n+
S
S
n
(f) I
S
n
(f) = 0.
En virtud de la Proposicion 1.1, f es integrable en R y
_
[0,1][0,1]
(x + y)dxdy = 1.
A continuacion probaremos el importante resultado que arma que
las funciones continuas sobre R son en efecto integrables.
Teorema 1.1. Sea f : R R
N
R una funcion continua, donde
R es un rectangulo. Entonces f es integrable.
Necesitamos el siguiente resultado intermedio:
Proposici

on 1.2. Sea f : K R
N
R una funcion continua,
donde K es un conjunto cerrado y acotado. Entonces f es unifor-
memente continua. Es decir, para cada > 0 existe > 0 tal que
|f(x) f(y)| < si x, y K con ||x y|| < .
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

96 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Esto se traduce diciendo que el n umero , dependiente de en
la caracterizacion - de la continuidad en x
0
K puede escogerse
independiente del punto particular x
0
considerado en K.
Demostracion de la Proposicion 1.2. Supongamos que esta pro-
piedad no es valida. Podemos encontrar > 0 tal que para todo
n N existen sucesiones {x
n
} e {y
n
} en K tales que ||x
n
y
n
|| <
1
n
y
|f(x
n
) f(y
n
)|
0
.
Como la sucesion {x
n
} esta contenida en K, que es cerrado y aco-
tado, debe poseer una subsucesion convergente, la que denotamos x
n
j
,
j N, digamos
x
n
j
x K cuando n .
As, tenemos tambien que y
n
j
x. Por otra parte, como f es continua
tenemos que
lm
j
f(x
n
j
) = lm
j
f(y
n
j
) = f( x).
En particular, |f(x
n
j
)f(y
n
j
)| 0. Esto es claramente una contradic-
cion con |f(x
n
j
) f(y
n
j
)|
0
y la demostracion queda concluida.
Demostracion del Teorema 1.1. En virtud de la Proposicion 1.2,
basta demostrar que existe una sucesion de reticulados S
n
, n N con
la propiedad que
S
S
n
(f) I
S
n
(f) 0.
Probaremos a continuacion que este es en efecto el caso para una
funcion continua denida sobre un rectangulo. Consideremos para un
n 1 dado, el reticulado uniforme dado por
_
a
1
+
k
1
1
n
(b
1
a
1
), a
1
+
k
1
n
(b
1
a
1
)
_
(1.2)

_
a
N
+
k
N
1
n
(b
N
a
N
), a
N
+
k
N
n
(b
N
a
N
)
_
,
donde
0 k
j
n, para todo j = 1, . . . N .
Consideremos una enumeracion R
i
de estos rectangulos, para i = 1, . . . n
N
.
Entonces notemos que si x, y R
i
, se tiene que
|x y| <
C

n
.
De este modo, si consideramos m > 1, podemos encontrar, gracias a la
continuidad uniforme de f, un n = n
m
, sucientemente grande tal que
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

1. DEFINICI

ON DE LA INTEGRAL Y PROPIEDADES B

ASICAS 97
para todo i se tiene que
|f(x) f(y)| <
1
m
para todo x, y R
i
.
En particular,
M
R
i
(f) m
R
i
(f) +
1
m
y
S
S
m
=

i
M
R
i
V (R
i
)

i
R
i
m
R
i
V (R
i
)
1
m

i
R
i
V (R
i
)
= I
S
m
+
1
m
V (R) .
Concluimos observando que m es arbitrario. .
Si bien el resultado anterior es de gran importancia, no es suciente
en la practica del calculo de casos concretos. En efecto, nos interesan
casos notables en que la funcion f no es necesariamente continua y
la region no es un rectangulo . Consideremos una region D R
N
acotada, no necesariamente rectangular, y una funcion acotada f :
D R. Deseamos denir el n umero
_
D
f como aquel correspondiente
al volumen de la region entre la base D y el graco de f. Para ello,
denamos
f
D
(x) =
_
f(x) si x D
0 si x D.
Sea R un rectangulo tal que D R. Decimos que f es integrable sobre
D si la funcion f
D
es integrable sobre R, y en tal caso denimos
_
D
f(x)dx :=
_
R
f
D
(x)dx.
Esta denicion es en realidad independiente del rectangulo R que se
escoja conteniendo a D, pues las contribuciones a las sumas superio-
res e inferiores de cualquier region fuera de D son nulas. Dejamos la
vericacion detallada de este hecho como un ejercicio.
La funcion f
D
puede no ser continua, aunque f lo sea. Sin em-
bargo, en la mayor parte de los casos que se enfrentan en la pr actica
s sera integrable.
Un caso fundamental es probablemente el de la funcion f 1. Si la
integral
_
D
1dx esta bien denida, le denominamos en general volumen
de D:
V (D) :=
_
D
1dx.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

98 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


En el caso N = 1 le llamamos en realidad longitud de D, y si N = 2 su
area. Una pregunta natural por cierto es para que tipo de regiones el
volumen esta bien denido, o mas en general, sobre que regiones pueden
integrarse funciones, digamos, continuas. Discutiremos este tema en la
subseccion siguiente.
Antes de esto probaremos algunas propiedades fundamentales de la
integral de Riemann.
Proposici

on 1.3. Supongamos que f y g son integrables sobre una


region D. Se tiene entonces que
(a) La funcion f + g tambien es integrable y
_
D
(f + g) =
_
D
f +
_
D
g.
(b) Si R entonces la funcion f es integrable y
_
D
f =
_
D
f .
(c) Si f(x) g(x) para todo x D entonces
_
D
f
_
D
g.
(d) La funcion |f(x)| es integrable sobre D y

_
D
f

_
D
|f|.
(e) Si D = D
1
D
2
con D
1
D
2
= y si f es integrable en D
1
y D
2
,
entonces f es integrable en D y
_
D
f =
_
D
1
f +
_
D
2
f.
Demostracion. Supondremos en las propiedades (a)-(d) que D = R,
un rectangulo. Si no, basta aplicar los resultados obtenidos a las fun-
ciones f
D
, g
D
. Sea S un reticulado de R. Veamos la propiedad (a).
Tenemos que si R S entonces
nf
R
f +nf
R
g nf
R
(f + g) sup
R
(f + g) sup
R
f + sup
R
g.
Por lo tanto, deducimos que
I
S
(f) + I
S
(g) I
S
(f + g) S
S
(f + g) S
S
(f) + S
S
(g). (1.3)
Sean S
1
n
y S
2
n
sucesiones de reticulados tales que
S
S
1
n
(f) I
S
1
n
(f) 0, S
S
2
n
(g) I
S
2
n
(g) 0.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

1. DEFINICI

ON DE LA INTEGRAL Y PROPIEDADES B

ASICAS 99
Consideremos un reticulado S
n
mas no que, simulteneamente, S
1
n
y
S
2
n
, por ejemplo aquel obtenido de las intersecciones de los elementos
de ambos. Se tiene que
S
S
n
(f) I
S
n
(f) 0, S
S
n
(g) I
S
n
(g) 0.
Luego
lm
n
S
S
n
(f) = lm
n
I
S
n
(f) =
_
R
f(x)dx
y
lm
n
S
S
n
(g) = lm
n
I
S
n
(g) =
_
R
g(x)dx.
Deducimos de las desigualdades (1.3) para S = S
n
que
S
S
n
(f + g) I
S
n
(f + g) 0,
y por lo tanto que f + g es integrable sobre R con
_
R
(f + g) = lm
n
S
S
n
(f + g) = lm
n
I
S
n
(f + g) =
_
R
f +
_
R
g .
Para probar la parte (b), observemos que si 0, entonces
I
S
(f) = I
S
(f), S
S
(f) = S
S
(f).
Por otra parte, si 0 tenemos que
I
S
(f) = S
S
(f), S
S
(f) = I
S
(f).
De aqu la conclusion deseada se sigue en modo directo, en ambos casos.
Probemos ahora la parte (c). Gracias a las partes (a) y (b) tenemos
que la funcion h(x) := g(x) f(x) es integrable sobre R y
_
R
h(x)dx =
_
R
g(x)dx
_
R
f(x)dx.
Por otra parte, si S es cualquier reticulado, observamos de inmediato
que como h(x) 0 para todo x R entonces
0 I
S
(h)
_
R
h(x)dx.
Deducimos que
_
R
g(x)dx
_
R
f(x)dx 0 y el resultado se concluye.
Probemos ahora (d). Consideremos un reticulado S y R S. Si
f 0, obviamente
M
R
(f) m
R
(f) = M
R
(|f|) m
R
(|f|).
Si f 0, entonces
M
R
(|f|) m
R
(|f|) = M
R
(f) m
R
(f).
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

100 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Si f cambia de signo, tenemos entonces que
M
R
(|f|) m
R
(|f|) (M
R
(f) m
R
(f)) + (M
R
(f) m
R
(f)).
En cualquier caso,
S
S
(|f|) I
S
(|f|) S
S
(f) I
S
(f) + S
S
(f) I
S
(f).
Por ende, si S
n
es una sucesion de reticulados tales que
S
S
n
(f) I
S
n
(f) 0, S
S
n
(f) I
S
n
(f) 0,
se sigue que
S
S
n
(|f|) I
S
n
(|f|) 0
y |f| es integrable. Ademas, tenemos que f |f|, por lo que a partir
de las partes (b) y (c), se sigue que

_
R
f =
_
R
(f)
_
R
|f(x)|dx
y la demostracion de (d) queda concluida. Finalmente, para la parte
(e) nos basta observar que
f
D
= f
D
1
+ f
D
2
,
por lo cual el resultado deseado se sigue por linealidad.
2. Donde integrar: Conjuntos Jordan-medibles
Como dijimos anteriormente, una pregunta fundamental es que tipo
de regiones D son apropiadas para calcular integrales, esto es, en parti-
cular bajo que condiciones podemos calcular el volumen de D. Podemos
dar al menos una respuesta negativa: No todo conjunto es apropiado
para esto. Consideremos por ejemplo el conjunto
D = {(x, y) QQ / 0 x, y 1} .
La funcion 1
D
no es integrable , por ejemplo, sobre R = [0, 1] [0, 1]
pues cualquier rectangulo de un reticulado S de R contendra tanto
puntos de D como otros que no estan en D esto hace que para todo
reticulado
I
S
(1
D
) = 0, S
S
(1
D
) = 1,
y por ende no puede denirse (al menos mediante la integral de Rie-
mann) el area de S.
Necesitamos un concepto preliminar para encontrar una clase su-
cientemente amplia de conjuntos a los cuales se les puede asociar un
volumen, el de conjunto de medida nula. Decimos que un conjunto
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

2. D

ONDE INTEGRAR: CONJUNTOS JORDAN-MEDIBLES 101


A R
N
acotado tiene medida nula, si para todo > 0 existe una
coleccion nita de rectangulos {R
i
}
iI
tal que
A
_
iI
R
i
y

iI
V (R
i
) < .
A manera de ejemplo, consideremos una funcion g : R R continua,
donde R es un rectangulo en R
N
y su graco, esto es, el subconjunto
de R
N+1
dado por
A = {(x, y) | x R, y = g(x)}.
Armamos que A tiene medida nula. En efecto, consideremos el reti-
culado uniforme dado por (1.2) de R. Observemos entonces que
D
i
R
i
[m
R
i
(g), M
R
i
(g)].
Como f es uniformemente continua sobre R, dado > 0 podemos
escoger n sucientemente grande como para que
M
R
i
(f) m
R
i
(f) <

V (R)
y de este modo,

i
V (R
i
[m
R
i
(f), M
R
i
(f)]) =

i
V (R
i
)(M
R
i
(f) m
R
i
(f))
<

V (R)

i
V (R
i
)
= .
Decimos que un conjunto D en R
N
es medible en el sentido de Jordan
o simplemente Jordan-medible si su frontera Fr(D) es de medida nula.
Es facil ver, y lo proponemos como un ejercicio, que toda union de un
n umero nito de conjuntos Jordan-medibles tambien lo es.
Tenemos la validez del siguiente resultado fundamental:
Proposici

on 2.1. Sean D un conjunto cerrado, acotado y Jordan-


medible en R
N
y f : D R una funcion continua. Entonces f es inte-
grable sobre D. En particular, el volumen de D, V (D) =
_
D
1, esta bien
denido.
Demostracion. Consideremos un rectangulo R que contiene a D, y
dado > 0, una familia de rectangulos R
i
cuya union recubre a Fr(D)
con

i
V (R
i
) < . Completando esta familia de rectangulos a un re-
ticulado del rectangulo R, vemos que dado un reticulado

S arbitrario
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

102 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


de R podemos encontrar un reticulado S mas no que

S tal que

RS, RFr(D)=
V (R) < .
Mas aun, como f es uniformemente continua sobre D podemos escoger
el reticulado S de modo que

RS, Rint(D)
[M
R
(f) m
R
(f)]V (R) < V (R).
As, suponiendo que |f(x)| M para todo x D, tenemos que
I
S
(f
D
)

Rint(D)
m
R
(f)V (R) M

RS, RFr(D)=
V (R),
S
S
(f
D
)

RS, Rint(D)
M
R
(f)V (R) + M

RS, RFr(D)=
V (R),
de modo que
S
S
(f
D
) I
S
(f
D
) V (R) + 2M.
Escogiendo =
1
n
, podemos encontrar entonces una familia de reticu-
lados S
n
tal que
S
S
n
(f
D
) I
S
n
(f
D
) 0,
lo que demuestra que f
D
es integrable sobre R.
Veremos a continuacion una clase importante de conjuntos Jordan-
medibles. La mayora de los ejemplos que consideraremos en este curso
corresponden a regiones de esta forma, o bien a uniones nitas de re-
giones de este tipo.
Proposici

on 2.2. Consideremos dos funciones continuas g, h :


[a, b] R tales que g(x) h(x) para todo x [a, b]. La region D R
2
denida por
D = {(x, y) / x [a, b], g(x) y h(x)}
es Jordan-medible
Demostracion. Observemos que la frontera de D es la region
Fr(D) = {(x, y)/x [a, b], y = h(x)}
{(x, y)/x [a, b], y = g(x)} {(x, y)/x = a, b, h(x) y = g(x)}.
Los dos primeros conjuntos en la descomposicion anterior son de me-
dida nula, en virtud de lo ya demostrado. El tercero es la uni on de dos
segmentos de recta, conjuntos tambien de medida nula, de modo que
la union de todos estos lo es.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

2. D

ONDE INTEGRAR: CONJUNTOS JORDAN-MEDIBLES 103


a
b
g(x)
h(x)
{(x, y) | x [a, b] y h(x) y g(x)}.
Evidentemente, tambien es es Jordan-medible una region de la for-
ma
D = {(x, y) / y [c, d], p(y) x q(y)}
para funciones p y q continuas.
Ejemplo 2.1. Consideremos la region anular
D = {(x, y) / 1 x
2
+ y
2
4}.
Podemos entonces escribir
D = {(x, y) / x [1, 1],

1 x
2
y

4 x
2
}
{(x, y) / x [1, 1],

4 x
2
y

1 x
2
}
{(x, y) / y [

3],
_
4 y
2
x 1}
{(x, y) / y [

3], 1 x
_
4 y
2
}.
Ejemplo 2.2. En modo inductivo, podemos obtener una amplia
clase de regiones Jordan-medibles en dimensiones mayores: Sea A una
region Jordan-medible cerrada y acotada en R
N
. Consideremos una
region en R
N+1
de la forma
D = {(x, y) R
N+1
/x A, h(x) y g(x)} (2.4)
donde h y g son funciones continuas con h g en A. Proponemos
como un ejercicio (no-trivial) demostrar que este conjunto es en efecto
Jordan-medible en R
N+1
. Por cierto una region construida a partir de
una union nita de tales regiones sera tambien Jordan-medible, donde
las funciones consideradas pueden ser de cualquier seleccion de N 1
variables (no necesariamente las primeras). Consideremos por ejemplo
la bola en R
3
D = {(x, y, z) / x
2
+ y
2
+ z
2
< 1}.
Podemos escribir este conjunto en la forma (2.4) pues
D = {(x, y, z) R
3
/(x, y) A,
_
1 x
2
y
2
z
_
1 x
2
y
2
},
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

104 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


donde A es un disco en R
2
, el que a su vez puede describirse como
A = {(x, y) R
2
/x [1, 1],

1 x
2
y

1 x
2
}.
A es entonces Jordan-medible en R
2
de acuerdo a lo ya demostrado, y
por ende D tambien lo es.
3. Calculo de integrales: El Teorema de Fubini
El problema que queremos abordar a continuacion es el del c alculo
de integrales m ultiples. La sola denicion, por cierto es de difcil aplica-
cion en el calculo explcito. Afortunadamente, en casos concretos este
calculo se reduce al de integrales iteradas en el modo que explicamos a
continuacion. Consideremos el rectangulo R = [a, b] [c, d] R
2
y una
funcion f(x, y) continua en R. Consideremos para n umeros naturales
n, m, el reticulado de R de elementos
R
kj
=
_
a +
k1
n
(b a), a +
k
n
(b a)

_
c +
j1
m
(d c), c +
j
m
(d c)

,
para k = 1, . . . , n, j = 1, . . . , m. Como f es uniformemente continua
sobre R, tenemos que, dado > 0, existe n
0
tal que para todo n, m
n
0
,
M
R
kj
(f) m
R
kj
(f)

V (R)
.
Por ende tenemos que
_
R
f I
S
(f)

(ba)(dc)
nm
n

k=1
m

j=1
f
_
a +
k
n
(b a), c +
j
m
(d c)
_
S
S
(f)

_
R
f + ,
y por lo tanto

_
R
f
b a
n
n

k=1
d c
m
m

j=1
f
_
a +
k
n
(b a), c +
j
m
(d c)
_

<
para todo m, n > n
0
(). Haciendo tender m a innito en la desigualdad
anterior, obtenemos que

_
R
f
b a
n
n

k=1
_
d
c
f
_
a +
k
n
(b a), y
_
dy

.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

3. C

ALCULO DE INTEGRALES: EL TEOREMA DE FUBINI 105


De manera similar, haciendo tender n a innito,

_
R
f
d c
m
m

j=1
_
b
a
f
_
x, c +
j
n
(d c)
_
dx

.
As, pasando nuevamente al lmite obtenemos

_
R
f
_
b
a
__
d
c
f(x, y)dx
_
dy

_
R
f
_
d
c
__
b
a
f(x, y)dy
_
dx

.
Como es arbitrario,
_
R
f =
_
b
a
__
d
c
f(x, y)dx
_
dy =
_
d
c
__
b
a
f(x, y)dy
_
dx.
Este resultado se conoce como Teorema de Fubini y es la herramienta
principal en el calculo de integrales de funciones de varias variables,
pues reduce su calculo al de varias integrales iteradas de funciones
de una variable. Presentamos ahora una version mas general de este
resultado:
Teorema 3.1. (Teorema de Fubini) Sean R
1
R
N
, R
2
R
m
,
R = R
1
R
2
R
N+m
y f : R R, una funcion integrable, y tal que
las funciones
x R
1

_
R
2
f(x, y)dy, y R
2

_
R
1
f(x, y)dx,
estan bien denidas y son integrables. Entonces
_
R
f =
_
R
1
__
R
2
f(x, y)dy
_
dx =
_
R
2
__
R
1
f(x, y)dx
_
dy.
Este resultado puede aplicarse en modo iterado para deducir que si
R = [a
1
, b
1
] [a
N
, b
N
] y f : R R, entonces si todas las integrales
que siguen estan bien denidas se tiene que
_
R
f =
_
b
1
a
1
__
b
2
a
2

__
b
N
a
N
f(x
1
, . . . , x
N
)dx
N
_
dx
2
_
dx
1
,
donde en realidad el orden en las integraciones sucesivas puede alterarse
como se desee. Cuando se quiera enfatizar el orden de integracion es
conveniente escribir
_
R
f =
_
b
1
a
1
dx
1
_
b
2
a
2
dx
N1
_
b
N
a
N
f(x
1
, . . . , x
N
)dx
N
.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

106 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


De lo contrario escribimos
_
R
f =
_
b
1
a
1
_
b
2
a
2

_
b
N
a
N
f(x
1
, . . . , x
N
)dx
1
dx
N
.
Ejemplo 3.1. Consideremos por ejemplo la integral
I =
_ _
[0,1][0,2]
xy
2
dxdy.
De acuerdo con el teorema anterior,
I =
_
1
0
dx
_
2
0
xy
2
dy =
_
1
0
_
x
y
3
3
_

y=2
y=0
dx =
8
3
_
1
0
xdx =
4
3
.
Podemos tambien calcular I como
I =
_
2
0
dy
_
1
0
xy
2
dx =
_
2
0
_
y
2
x
2
2
_

y=1
y=0
dy =
1
2
_
2
0
y
2
dy =
4
3
.
Ejemplo 3.2. El Teorema de Fubini tambien es util para calcular
integrales sobre regiones que no son necesariamente rectangulos. Por
ejemplo consideremos la region triangular
D = {(x, y) /0 x 1, 0 y x}.
Se pide calcular la integral
I =
_ _
D
f(x, y)dxdy.
Tenemos que para un rectangulo R que contiene a D, digamos R =
[0, 1] [0, 1],
I =
_ _
R
f
D
(x, y)dxdy =
_
1
0
dx
_
1
0
f
D
(x, y)dy.
Recordemos que f
D
(x, y) = f(x, y) si (x, y) D, f
D
(x, y) = 0 si no.
Entonces, para x dado en [0, 1], f
D
(x, y) = f(x, y) si 0 y x, = 0 si
x < y 1. As,
_
1
0
f
D
(x, y)dy =
_
x
0
f(x, y)dy,
y por lo tanto
I =
_
1
0
dx
_
x
0
f(x, y)dy.
Notemos que, calculando en el orden inverso,
I =
_
1
0
dy
_
1
0
f
D
(x, y)dx.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

3. C

ALCULO DE INTEGRALES: EL TEOREMA DE FUBINI 107


Para y dado en [0, 1],
f
D
(x, y) =
_
f(x, y) si y x 1,
0 en caso contrario.
Por lo tanto, podemos tambien expresar
I =
_
1
0
dy
_
1
y
f(x, y)dx.
Consideremos por ejemplo f(x, y) = x
2
+ y
2
. Entonces
I =
_
1
0
dx
_
x
0
(x
2
+ y
2
)dy =
4
3
_
1
0
x
3
dx =
1
3
.
En el orden inverso,
I =
_
1
0
dy
_
1
y
(x
2
+ y
2
)dx
=
_
1
0
dy
_
x
3
3
+ xy
2
_

x=1
x=y
=
_
1
0
_
1y
3
3
+ y
2
y
3
_
dy
=
1
3
.
Geometricamente, el n umero calculado corresponde al volumen so-
bre el triangulo D y bajo el paraboloide z = x
2
+ y
2
.
Mas generalmente, si A R
2
y f : A R
+
denimos
D = {(x, y, z) / (x, y) A, 0 z f(x, y)}.
Bajo las hipotesis necesarias,
v(D) =
_
R
1
D
,
donde R = [a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
] contiene a D. As, del Teorema de
Fubini obtenemos
v(D) =
_
[a
1
,b
1
][a
2
,b
2
]
dxdy
_
b
3
a
3
1
D
(x, y, z)dz
=
_ _
A
dxdy
_
f(x,y)
0
dz
=
_ _
A
f(x, y)dxdy.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

108 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Ejemplo 3.3. Se pide calcular el volumen del tetraedro
D = {(x, y, z) /x, y, z 0, x + y + z 1}.
Podemos describir esta region en el modo siguiente:
D = {(x, y, z) /(x, y) A, 0 z 1 x y},
donde A es el triangulo
A = {(x, y) /x [0, 1], 0 y 1 x}.
Entonces
V (D) =
_ _
A
(1 x y)dxdy
=
_
1
0
dx
_
1x
0
(1 x y)dy
=
1
2
_
1
0
(1 x)
2
dx
=
1
6
.
Ejemplo 3.4. Calculemos el volumen de la porcion de la bola
B(0, 1) en R
3
comprendida dentro del primer octante:
D = {(x, y, z) / x
2
+ y
2
+ z
2
1, x, y, z 0}.
Para ello, describimos D razonando en el modo siguiente: El rango de
variacion de la coordenada x para los puntos (x, y, z) D es 0 x 1.
Ahora, para x dado en este rango, la coordenada y tiene por rango total
de variacion 0 y

1 x
2
, y nalmente para (x, y) dado en estos
rangos, z puede variar en 0 z
_
1 x
2
y
2
. As, tenemos la
descripcion
D = {(x, y, z) /0 x 1, 0 y

1 x
2
, 0 z
_
1 x
2
+ y
2
}.
Entonces
v(D) =
_ _ _
D
1dxdydz
=
_
1
0
dx
_

1x
2
0
dy
_

1x
2
y
2
0
dz
=
_
1
0
dx
_

1x
2
0
_
1 x
2
y
2
dy.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

4. C

ALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES 109


Calculemos la integral interior mediante el cambio de variables y =
t

1 x
2
, de modo que dy = dt

1 x
2
y
_

1x
2
0
_
1 x
2
y
2
dy = (1 x
2
)
_
1
0

1 t
2
dt.
Haciendo ahora t = sin u obtenemos
_
1
0

1 t
2
dt =
_
2
0
cos
2
tdt =

4
,
de donde
v(D) =

4
_
1
0
(1 x
2
)dx =

6
.
4. Calculo de integrales: El Teorema del Cambio de
Variables
El calculo del volumen de una porcion esferica en el ejemplo ante-
rior, si bien fue posible, resulto relativamente complicado. La razon es
que no es del todo natural intentar describir una region de esta clase
directamente en coordenadas cartesianas xyz. El Teorema del Cambio
de Variables nos entrega una herramienta util de calculo en caso que
la region de integracion y/o la funcion involucrada pueden ser expre-
sadas en modo mas simple mediante la introduccion de coordenadas
alternativas.
Consideremos a manera de ejemplo, las coordenadas polares en R
2
,
(r, ), 0 < r < , ]0, 2[. Consideremos una region D en R
2
y su
representacion en coordenadas polares,

D = {(r, ) /(r cos , r sin ) D.


Notemos que si a partir de un punto de coordenadas (r
0
,
0
) incremen-
tamos la variable r en magnitudes peque nas r y en entonces el
volumen de la celula
(r, ) [r
0
, r
0
+ r] [
0
,
0
+ ]
corresponde aproximadamente al de un rectangulo de lados r y r
0
.
As, si llenamos la region D con un reticulado de peque nas celdas de
este tipo, debiesemos tener que
_
D
f

r
0
,
0
f(r
0
cos
0
, r
0
sin
0
)r
0
r,
en otras palabras, es razonable esperar que bajo ciertas hipotesis
_
D
f(x, y)dxdy =
_
D

f(r cos , r sin )rdrd.


w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

110 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Este es efectivamente el caso. Veremos como enfocar esto en modo mas
sistematico. Consideremos dos regiones abiertas y acotadas D y D

y
una funcion biyectiva y de clase C
1
T : D

D. En otras palabras, T
es inyectiva y D = T(D

).
Notemos primero que si R = [u
0
, u
0
+h
1
] [v
0
, v
0
+h
2
] y T es una
aplicacion lineal afn de la forma
T(u, v) = T(u
0
, v
0
) + A
_
u u
0
v v
0
_
,
con A una matriz invertible 2 2, que escribimos
A =
_
a
11
a
12
a
21
a
22
_
= [a
,1
a
,2
].
El conjunto T(R) esta dado por
T(R) = {T(u
0
, v
0
) + ta
,1
sa
,2
/ 0 t h
1
, 0 s h
2
} .
Esto es, por un paralelogramo que tiene por lados los vectores h
1
a
,1
y h
2
a
,2
. El area de este paralelogramo, recordemos, es la norma del
producto cruz de estos dos vectores, pensados como vectores de R
3
con tercera coordenada 0. Vemos de inmediato que el area de T(R)
esta dada por
V (T(R)) = | det(A)|V (R).
Supongamos ahora que T no es afn sino una aplicacion continuamen-
te diferenciable. Entonces si los lados h
1
y h
2
del rectangulo R son
peque nos, podemos aproximar T(x, y) en R por una aplicacion afn
T(u, v) T(u
0
, v
0
) + T

(u
0
, v
0
)
_
u u
0
v v
0
_
,
De modo que si f es una funcion continua, tenemos
_ _
T(R)
f(x, y)dxdy f(T(u
0
, v
0
))V (T(R))
f(T(u
0
, v
0
))| det(T

(u
0
, v
0
))|V (R)

_ _
R
f(T(u, v))| det(T

(u, v))|dudv.
De este modo, suponiendo ahora que D = T(D

) y que D

se aproxima
por un reticulado formado por una coleccion de rectangulos peque nos
{R
i
}
iI
, tendremos entonces que D se aproxima por un reticulado de
casi paralelogramos{T(R
i
)}
iI
. Suponiendo que T es inyectiva, las
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

4. C

ALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES 111


imagenes de estos rectangulos no se intersecten en sus interiores y
_ _
D
f(x, y)dxdy

iI
_ _
T(R
i
)
f(x, y)dxdy

_ _
R
i
f(T(u, v))| det(T

(u, v))|dudv

_ _
D

f(T(u, v))| det(T

(u, v))|dudv.
La igualdad de las cantidades primera y ultima se denomina el Teo-
rema del Cambio de Variables y es valida en realidad para una integral
m ultiple en cualquier dimension. Vale la pena recordar su version ya
conocida por el lector en funciones de una variable: si T : [a, b] R es
continuamente diferenciable y T

(u) > 0, entonces para f continua se


tiene que
_
b
a
f(T(u))T

(u)du =
_
T(b)
T(a)
f(x)dx
Si T

(u) < 0 la misma formula es valida, y puede escribirse como


_
b
a
f(T(u))(T

(u))du =
_
T(a)
T(b)
f(x)dx .
As, siempre que T

(u) = 0 para todo u [a, b], tenemos que


_
]a,b[
f(T(u))|T

(u)|du =
_
T(]a,b[)
f(x)dx .
Notemos que la inclusion estricta de los extremos del intervalo [a, b],
no altera el valor de la integral. Enunciemos ahora el teorema en su
version general.
Teorema 4.1. (Teorema del Cambio de Variables). Sea R
N
un abierto y T : R
N
una funcion de clase C
1
. Sea D

una region
abierta y acotada con Adh(D

) , y supongamos ademas que T es


inyectiva en D

, que la matriz T

(u) es invertible para todo u D

y
que D = T(D

) es un abierto. Sea f :

D R una funcion continua.
Entonces
_
D
f(x) dx =
_
D

f(T(u))| det(T

(u))| du .
Ejemplo 4.1. Calcular la integral
_ _
D
(x + y)dxdy,
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

112 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


donde
D = {(x, y) /1 x y 2 x, y + 1 2x 5 + y}.
Escribamos
u = x + y, v = 2x y
y denimos entonces la transformacion T como
T(u, v) =
_
x
y
_
=
_
1
3
(u + v)
1
2
(u 2v)
_
.
De este modo, tenemos que
T

(u, v) =
_
1
3
1
3
1
2
1
_
y as
| det(T

(u, v))| =
1
6
.
La region D queda entonces descrita en terminos de las coordenadas
(u, v) como
D

= {(u, v) / 1 u 2, 1 v 5}
y de acuerdo con el Teorema del Cambio de Variables,
_ _
D
(x + y)dxdy =
_ _
D

u
1
6
dudv =
1
6
_
5
1
dv
_
2
1
udu =
4
6

3
2
= 1.
Ejemplo 4.2. Apliquemos este resultado para calcular el volumen,
en el primer octante, de la bola B(0, R) en R
3
. Mas precisamente, de
la region {x
2
+ y
2
+ z
2
< R
2
, x, y, z 0}. Esto es, el volumen bajo el
graco de la funcion z = f(x, y) =
_
R
2
x
2
y
2
sobre la region
D = {(x, y) / x, y 0, x
2
+ y
2
< R
2
}
del plano XY . En otras palabras, queremos calcular la cantidad
I =
_ _
D
f(x, y) dxdy.
Consideremos coordenadas polares
T(r, ) =
_
x
y
_
=
_
r cos
r sin
_
.
De este modo tenemos que (salvo por una zona de medida nula: la
periferia y el origen), D = T(D

) donde D

es simplemente
D

= {(r, ) / 0 < r < R, 0 < <



2
}.
Notemos que
T

(r, ) =
_
cos r sin
sin r cos
_
.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

4. C

ALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES 113


De modo que det(T

(r, )) = r, y entonces, de acuerdo con el Teorema


del Cambio de Variables,
_ _
D
f(x, y) dxdy =
_ _
D

f(r cos , r sin ) rdrd


=
_
2
0
_
R
0
_
R
2
r
2
cos
2
r
2
sin
2
rdrd
=

2
_
R
0

R
2
r
2
rdr
=

6
R
3
.
Multiplicando por 8 vemos que esto coincide con la formula familiar
V (B(0, R)) =
4
3
R
3
.
Viene al caso mencionar que es lenguaje com un decir que en coordena-
das polares el elemento de area esta dado por rdrd, mientras que en
coordenadas cartesianas lo esta por dxdydz.
Ejemplo 4.3. Consideremos el crculo (x a)
2
+ y
2
< a
2
. Se pide
calcular el area de la region D interior al crculo, comprendida entre
las rectas y = x e y = x. Para resolver este problema, expresaremos
la region D en terminos de coordenadas polares relativas al origen. La
primera observacion es que la periferia del crculo (x a)
2
+ y
2
= a
2
queda expresada en coordenadas polares como
(r cos a)
2
+ (r sin )
2
= a
2
.
Esto es, r
2
2ar cos = 0, o sea la curva r = 2a cos . La region en
cuestion queda entonces descrita como
D

= {(r, ) /

4
< <

4
, 0 < r < 2a cos }
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

114 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Su area es
V (D) =
_ _
D
1dxdy
=
_

4

4
_
2a cos
0
1rdrd
=
_

4

4
2a
2
cos
2
d
= a
2
_

4

4
(1 + cos 2)d
= a
2
(

2
+ 1).
Ejemplo 4.4. Calcularemos la masa total de un cono de revulucion
de altura h y radio R con vertice en el origen, y cuya densidad de masa
esta dada por (x, y, z) = z. Para este problema es conveniente intro-
ducir un sistema de coordenadas que extiende las coordenadas polares
del plano con la coordenada z, las llamadas coordenadas cilndricas:
T(r, , z) =
_
_
x
y
z
_
_
=
_
_
r cos
r sin
z
_
_
.
Notemos que
T

(r, , z) =
_
_
cos r sin 0
sin r cos 0
0 0 1
_
_
,
de modo que det(T

(r, , z)) = r. Decimos entonces, que para coorde-


nadas cilndricas, el elemento de volumen esta dado por rdrddz. Esto
tiene una interpretacion gemetrica simple nuevamente, pues si a par-
tir de un punto de coordenadas (r, , z) se hacen variar estas variables
respectivamente en magnitudes dr, d y dz se obtiene un rectangulo
innitesimal de lados dr, rd y dz.
Usando estas coordenadas, podemos describir el cono D, salvo por
un conjunto de medida nula, como la region
D

= {(r, , z) /r ]0, R[, ]0, 2[,


h
R
r < z < h}.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

4. C

ALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES 115


No necesitamos trabajar una representacion explcita del dominio D en
coordenadas cartesianas. Tenemos que
_ _ _
D
zdxdydz =
_ _ _
D

zrdrddz
=
_
2
0
d
_
R
0
rdr
_
h
h
R
r
zdz
= h
2
_
R
0
(1
r
2
R
2
)rdr
=

4
h
2
R
2
.
Notemos tambien que el volumen del cono esta dado por
V (D) =
_ _ _
D

1rdrddz
=
_
2
0
d
_
R
0
rdr
_
h
h
R
r
dz
= 2h
_
R
0
r(1
r
R
)dr
=

3
hR
2
,
otra formula familiar.
En el ejemplo siguiente introducimos las coordenadas esfericas; otro
sistema de coordenadas util que extiende las polares a R
3
.
Ejemplo 4.5. Sea D = {x
2
+y
2
+z
2
< R
2
} Consideremos a conti-
nuacion el problema de calcular la integral
I =
_
D
(x
2
+ y
2
)dxdydz
Denimos las coordenadas esfericas como
T(r, , ) =
_
_
x
y
z
_
_
=
_
_
r cos sin
r sin sin
r cos
_
_
.
Con esta denicion, r representa la distancia del punto (x, y, z) al ori-
gen: r =
_
x
2
+ y
2
+ z
2
mientras que es el angulo polar en el plano
XY como antes, [0, 2] y ahora es el angulo medido desde el eje
z al vector (x, y, z), [0, ], de modo que el r polar antiguo, el largo
de (x, y) esta dado ahora por r sin .
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

116 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


Tenemos que
T

(r, , ) =
_
_
cos sin r sin sin r cos cos
sin sin r cos sin r sin cos
cos 0 r sin
_
_
,
de modo que
| det(T

(r, , z))| = r
2
sin .
El elemento de volumen en coordenadas esfericas esta entonces dado
por r
2
sin drdd. Esto tiene una interpretacion gemetrica simple nue-
vamente, pues si a partir de un punto de coordenadas (r, , ) se hacen
variar estas variables respectivamente en magnitudes dr, d y d se
obtiene un rectangulo innitesimal de lados: dr, r sin d y rd.
Usando estas coordenadas podemos describir la bola D, salvo por
un conjunto de medida nula, como la region
D

= {(r, , ) /r ]0, R[, ]0, 2[, ]0, [},


De modo que
I =
_ _ _
D
(x
2
+ y
2
)dxdydz
=
_
R
0
_
2
0
_

0
(r
2
sin
2
)r
2
sin drdd
=
2
5
R
4
_

0
sin
3
d
=
2
5
R
4
_

0
(1 cos
2
) sind
=
8
15
R
4
.
Ejemplo 4.6. Consideremos el toro de revolucion D, constituido
por el solido obtenido al rotar el disco de centro (b, 0, 0) y de radio a con
b > a. Las siguientes coordenadas toroidales describen apropiadamente
a este solido:
T(r, , ) =
_
_
x
y
z
_
_
=
_
_
(b + r cos ) cos
(b + r cos ) sin
r sin
_
_
.
Tenemos ahora que
T

(r, , ) =
_
_
cos cos (b + r cos ) sin r sin cos
cos sin (b + r cos ) cos r sin sin
sin 0 r cos
_
_
.
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

4. C

ALCULO DE INTEGRALES: EL TEOREMA DEL CAMBIO DE VARIABLES 117


De modo que
| det(T

(r, , z))| = r(b + r cos ).


El volumen del toro esta dado por
V (D) =
_
2
0
_
2
0
_
a
0
r(b + r cos )dddr =
2
ba
2
= (2b)(a
2
),
que corresponde al area del disco multiplicada por la longitud de la
circunferencia central.
Ejemplo 4.7. Una aplicacion interesante del Teorema del Cambio
de Variables es el calculo de una integral clasica, especialmente rele-
vante en Probabilidades. Proponemos el calculo de la integral impropia
I =
_

e
x
2
dx .
Esto no es tan sencillo puesto que la funcion e
x
2
no posee una primitiva
expresable en terminos de funciones elementales. El truco es expresar
la cantidad I de la siguiente manera
I
2
=
__

e
x
2
dx
_ __

e
y
2
dy
_
= lm
R+
J
R
donde
J
R
=
__
R
R
e
x
2
dx
_ __
R
R
e
y
2
dy
_
.
Este producto corresponde exactamente a la integral iterada
J
R
=
_
R
R
dx
_
R
R
e
x
2
y
2
dy
la cual es, gracias al Teorema de Fubini igual a la integral doble
J
R
=
_ _
C
R
e
x
2
y
2
dxdy, C
R
= [R, R] [R, R].
Notemos que
B(0, R) C
R
B(0, 2R).
Por ende tenemos que
_ _
B(0,R)
e
x
2
y
2
dxdy J
R

_ _
B(0,2R)
e
x
2
y
2
dxdy.
Por otra parte, en coordenadas polares, la region B(0, R) corresponde
simplemente a 0 < r < R, 0 < < 2, por lo tanto del Teorema del
Cambio de Variables obtenemos
_ _
B(0,R)
e
x
2
y
2
dxdy =
_
2
0
_
R
0
e
r
2
rdr = (1 e
R
2
).
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m

118 7. INTEGRACI

ON DE FUNCIONES DE VARIAS VARIABLES


As, (1 e
R
2
) J
R
(1 e
4R
2
) y lm
R
J
R
= , lo que implica
la hermosa formula explcita
_

e
x
2
dx =

.
w
w
w
.M
a
te
m
a
tic
a
1
.c
o
m