Cap tulo 5

El teorema de Fubini
Hasta ahora hemos caracterizado las funciones que son integrables y hemos estudiado las propiedades bsicas de la integral, pero en realidad no a sabemos cmo calcular las integrales incluso de las funciones ms simples o a en los recintos menos complicados. El teorema de Fubini, junto con el teorema del cambio de variable, que estudiaremos ms adelante, es una de las a herramientas fundamentales que nos permitir hallar el valor de una intea gral mltiple (es decir, de una funcin de varias variables), al reducirlo a la u o integracin iterada de unas cuantas funciones de una sola variable. o Comenzaremos por dar la versin del teorema de Fubini en el plano R2 , o que luego se extender sin dicultad al caso general. a Teorema 5.1 Sea A = [a, b] [c, d] un rectngulo de R2 , y sea f : A R a una funcin integrable, tal que las funciones fx : [c, d] denidas por o fx (y) = f (x, y) son integrables en [c, d], para todo x [a, b]. Entonces, la d funcin x c f (x, y)dy es integrable en [a, b], y o
b d

f=
A a c

fx (y)dy dx,

o, con una notacin ms prctica, o a a

f=
A a c

f (x, y)dy dx.

Anlogamente, si se supone que a obtiene que f=

existe para cada y [c, d], se

f (x, y)dx dy.

43

44

CAP ITULO 5. EL TEOREMA DE FUBINI

Observacin 5.2 Si f es continua entonces las funciones f , fx y fy (con o x [a, b], y [c, d]) son todas integrables, y entonces se obtiene que
b d d b

f=
A a c

f (x, y)dy dx =
c a

f (x, y)dx dy.

Este resultado se puede aplicar a recintos (acotados) A ms generales que a rectngulos, extendiendo la funcin a un rectngulo que contenga a A (hacindola a o a e valer cero fuera de A, como es habitual) y usando entonces el teorema de Fubini. El siguiente corolario nos muestra una manera de hacer esto; el resultado puede utilizarse ecientemente para descomponer una regin como plicada en regiones ms pequeas a cada una de las cuales se aplica entonces a n el corolario. Corolario 5.3 Sean , : [a, b] R funciones continuas tales que (x) (x) para todo x [a, b], y sea A = {(x, y) R2 : a x b, (x) y (x)}. Sea f : A R una funcin continua (o continua salvo en una o cantidad nita de puntos). Entonces
b (x)

f=
A a (x)

f (x, y)dy dx.

Antes de dar la demostracin del teorema de Fubini y su corolario enuno ciaremos el teorema en su forma ms general. a Teorema 5.4 Sean A Rn y B Rm rectngulos, y f : A B R una a funcin integrable tal que las funciones fx : B R denidas por fx (y) = o f (x, y) son integrables sobre B para todo x A. Entonces, la funcin x o B f (x, y)dy es integrable en A, y f=
AB A B

f (x, y)dy dx.

Anlogamente, si se supone que a tonces f=

existe para cada y B, en-

f (x, y)dx dy.

De igual manera que el corolario 5.3 puede demostrarse, a partir de la versin general del teorema de Fubini, el siguiente resultado, muy util a la o hora de evaluar integrales en Rn+1 .

45 Corolario 5.5 Sea A un conjunto con volumen de Rn , sean , : A R funciones continuas tales que (x) (x) para todo x A, y sea D = {(x, y) Rn+1 : x A, (x) y (x)}. Sea f : D R una funcin o continua (o continua salvo en una cantidad nita de puntos). Entonces
(x)

f=
D A (x)

f (x, y)dy dx.

Demostracin del teorema 5.1. o Sea g : [a, b] R la funcin denida por o

g(x) =
c

f (x, y)dy.

Tenemos que ver que g es integrable sobre [a, b], y que

f=
A a

g(x)dx.

Sean P[a,b] una particin cualquiera de [a, b] en subintervalos Sj = [sj1 , sj ], o donde a = s0 < s1 < ... < sN = b, y sea P[c,d] una particin de [c, d] en o subintervalos Tj = [tj1 , tj ], donde c = t0 < t1 < ... < tM = d. Sea entonces PA la particin de A dada por los rectngulos o a Rij = Si Tj , con 1 i N , 1 j M . Ntese que cualquier particin del rectngulo A o o a se obtiene de esta manera, como producto de particiones de los lados de A. Se tiene que
N M

L(f, PA ) =
i,j

m(f, Rij )v(Rij ) =

m(f, Rij )v(Tj ) v(Sj ).

Adems, para cada x Si y para cada j es m(f, Rij ) m(fx , Tj ). Por tanto, a sumando en j estas desigualdades, obtenemos que
M M d

m(f, Rij )v(Tj )

m(fx , Tj )v(Tj )
c

fx (y)dy = g(x).

Como estas desigualdades valen para cualquier x Si , podemos tomar nmos en x y obtener
M

m(f, Rij )v(Tj ) m(g, Si )

46

CAP ITULO 5. EL TEOREMA DE FUBINI

para cada i, y entonces, sumando en i,

L(f, PA )
i=1

m(g, Si )v(Si ) L(g, P[a,b] ).

De aqu y de un argumento anlogo para supremos y sumas superiores, , a deducimos que L(f, PA ) L(g, P[a,b] ) U (g, P[a,b] ) U (f, PA ), Como esto vale para cualquier particin PA de A y, lo que es lo mismo, o para cualesquiera particiones P[a,b] y P[c,d] de [a, b] y [c, d] respectivamente, y f es integrable, se deduce inmediatamente de estas desigualdades que g es integrable sobre [a, b], y
b b d

f=
A a

g(x)dx =
a c

f (x, y)dy dx.

Observacin 5.6 Es claro que la misma prueba, sustituyendo intervalos o por rectngulos y haciendo los pertinentes cambios de notacin, sirve para a o establecer la versin general (teorema 5.4) del teorema de Fubini. La redaco cin de dicha prueba se deja como ejercicio para el lector. o Demostracin del corolario 5.3. o Sea S = [a, b] [c, d] un rectngulo cerrado que contenga a A, y extendamos a f a S poniendo f = 0 en S \ A como es habitual. Por el ejercicio 2.26, las grcas de y , es decir los conjuntos G() = {(x, (x)) : x [a, b]} y a G() = {(x, (x)) : x [a, b]} tienen medida cero. Es claro que el conjunto de las discontinuidades de la funcin extendida f est contenido en la unin o a o de estas dos grcas, y por tanto tiene tambin medida cero. Luego, por el a e teorema de Lebesgue, f es integrable en S. Por otro lado, para cada x [a, b], fx es continua en [c, d], salvo quizs en los puntos (x) y (x), y por tanto, a todas las fx son integrables. Entonces, podemos aplicar el teorema de Fubini, lo que nos da, teniendo en cuenta que cada fx es cero en [c, (x)] [(x), d], que
b d b (x)

f=
A S

f=
a c

fx (y)dy dx =
a (x)

f (x, y)dy dx.

47

Ejemplos y ejercicios
5.7 Calcular
A (x

+ y)xdxdy, donde A = [0, 1] [0, 1].

5.8 Calcular las siguientes integrales iteradas: (a) (b) (c)

+ y 2 )dydx

x log ydydx y cos(xy)dxdy

arcseny y

5.9 Expresar las integrales iteradas siguientes como integrales mltiples u sobre un recinto, dibujar el recinto y cambiar el orden de intergracin; nalo mente, hallar el valor de las integrales usando el orden de integracin que o d lugar a los clculos ms simples. e a a (a) (b) (c) (d) (e) (f) (g)
y2 2 2 3 0 (x 2 log x (x 1 0

+ y)dxdy 1) 1 + e2y dydx

|x| 1 x+y dydx 1 2|x| e

cos x y sin xdxdy 0

1 x y 0 0 0 (x

+ 2y + 3z)dzdydx
1 donde f (y) = m n{1, log y }.

1 f (y) xydxdy, 0 0 1 (1x2 )1/2 (1 0 0

y 2 )1/2 dxydx

5.10 Sea A = [0, 1] [0, 1] R denida por f (x, y) = 2y si x R \ Q; 1 si x Q.

(a) Decidir si f es integrable en A. (b) Calcular (c) Calcular

si existe. si existe.

48

CAP ITULO 5. EL TEOREMA DE FUBINI

5.11 Cambiar el orden de integracin en las siguientes integrales iteradas: o (a) (b) (c) (d)
a 1y 0 1y 2 a 0
b a

f (x, y)dxdy f (x, y)dydx

a2 x2

1 1x2 1 1x2 1 1 x2 +y 2 0 0 0

f (x, y, z)dzdydx

f (x, y, z)dzdxdy

5.12 Diferenciacin bajo el signo de la integral. Sea f : [a, b] [c, d] R o f continua tal que y es continua en [a, b] [c, d]. Denamos
b

F (y) =
a

f (x, y)dx.

Probar que F es derivable y que

F (y) =
a

f (x, y)dx. y

Indicacin: Usando el Teorema Fundamental del Clculo, se tiene que o a

F (u) =
a

f (x, u)dx =
a

(
c

f (x, y)dy + f (x, c))dx. y

5.13 Sea f : [a, b] [c, d] R continua con f continua en [a, b] [c, d]. y Denamos x F (x, y) = f (t, y)dt.
a

(a) Calcular

F x

F y

(b) Si G(x) =

g(x) f (t, x)dt, a

calcular G (x).

5.14 Calcular las integrales siguientes (a) (b)

x2 ydxdy, siendo D el tringulo de vrtices (0, 0), (0, 1) y (1, 0). a e

yexy dxdy, siendo D el cuadrado de vrtices (0, 0), (0, 1), (1, 0) y e (1, 1). (c) D xdxdy, siendo D = {(x, y) R2 | 0 x , 0 y sin x2 }.

49 (d) (e) 1
x2 a2

D D

y2 dxdy, b2

siendo D el interior de la elipse

x2 a2

y2 b2

= 1.

| mx{x, y}|dxdy, siendo D = [2, 2] [1, 1]. a

5.15 Probar la siguiente generalizacin del corolario del teorema de Fubini. o Sean A Rn un rectngulo cerrado, y , : A Rm funciones continuas a tales que j (x) j (x) para todo x A, 1 j m. Sea D = {(x, y) Rn Rm : x A, j (x) yj j (x), 1 j m}. Para cada x A denamos Bx Rn por Bx = {y Rm : j (x) yj j (x), 1 j m}. Sea f : D R una funcin continua, y denamos fx : Bx Rm R por o fx (y) = f (x, y), y g : A Rn R por g(x) =
Bx

fx .

Entonces g es integrable sobre A, y f=

g.

5.16 Sean A Rn y B Rm conjuntos con volumen, y f : A R, g : B R funciones integrables. Denamos F (x, y) = f (x) + g(y), y G(x, y) = f (x)g(y). Hallar AB F (x, y)dxdy y y v(B).
AB

G(x, y)dxdy en funcin de o

A f,

g, v(A)

5.17 Hallar el volumen de la regin acotada por z = x2 + 3y 2 , z = 9 x2 . o 5.18 Hallar el volumen de la regin acotada por x2 + 2y 2 = 2, z = 0, o x + y + 2z = 2. 5.19 Sea A la regin de R3 acotada por los planos x = 0, y = 0, z = 2 y la o 2 + y 2 , con x 0, y 0. Calcular la integral supercie z = x A xdxdydz. 5.20 Calcular la integral
xy dxdydz, A ye

donde A = [0, 1] [0, 1] [0, 1].

50

CAP ITULO 5. EL TEOREMA DE FUBINI

5.21 Calcular las siguientes integrales iteradas y dibujar las regiones A determinadas por los l mites de integracin: o (a) (b)
1 ex 0 ( 1 (x 1 x2 0 ( x3

+ y)dy)dx;

ydy)dx.

5.22 Sea D la regin acotada por los ejes positivos x e y y la recta 3x+4y = o 10. Calcular D (x2 + y 2 )dxdy. 5.23 Sea D la regin dada como el conjunto de los (x, y) del plano tales o que (x) y (x) y a x b, donde es una funcin continua no o negativa en el intervalo [a, b]. Sea f : D R una funcin continua en D o tal que f (x, y) = f (x, y) para todo (x, y) D. Probar que f (x, y)dxdy = 0.
D

5.24 Dibujar la regin correspondiente a cada una de las sigientes integrales o dobles, cambiar el orden de integracin y evaluar la integral usando el orden o que sea ms adecuado: a (a) (b) (c)
1 1 0 ( x xydy)dx 1 1 0 ( 2y (x 1 1 1 ( |y| (x

+ y)2 dx)dy + y)2 dx)dy

5.25 Calcular W x2 cos zdxdydz, donde W es la regin acotada por los o planos z = 0, z = , y = 0, x = 0 y x + y = 1. 5.26 Integrar f (x, y, z) = xy + yz + zx sobre la porcin del primer octante o x 0, y 0, z 0, cortada por el elipsoide x2 y 2 z 2 + 2 + 2 = 1. a2 b c 5.27 Utilizar integrales triples para hallar el volumen del slido T de R3 o 2 e inferiormente limitado superiormente por el cilindro parablico z = 4 y o por el paraboloide el ptico z = x2 + 3y 2 .