Cap tulo 5

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

f=
A a c

fx (y )dy dx,

o, con una notaci on m as pr actica,

b d

f=
A a c

f (x, y )dy dx.

b a f (x, y )dx d b

An alogamente, si se supone que obtiene que f=

A c

existe para cada y [c, d], se

f (x, y )dx dy.

a

43

44

CAP ITULO 5. EL TEOREMA DE FUBINI

Observaci on 5.2 Si f es continua entonces las funciones f , fx y fy (con 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 m as generales que rect angulos, extendiendo la funci on a un rect angulo que contenga a A (haci endola 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 regi on complicada en regiones m as peque nas a cada una de las cuales se aplica entonces 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 funci on continua (o continua salvo en una cantidad nita de puntos). Entonces
b ( x)

f=
A a ( x)

f (x, y )dy dx.

Antes de dar la demostraci on del teorema de Fubini y su corolario enunciaremos el teorema en su forma m as general. Teorema 5.4 Sean A Rn y B Rm rect angulos, y f : A B R una funci on integrable tal que las funciones fx : B R denidas por fx (y ) = f (x, y ) son integrables sobre B para todo x A. Entonces, la funci on x B f (x, y )dy es integrable en A, y f=
AB A B

f (x, y )dy dx.

A f (x, y )dx

An alogamente, si se supone que tonces f=

AB

existe para cada y B , en-

f (x, y )dx dy.

B A

De igual manera que el corolario 5.3 puede demostrarse, a partir de la versi on general del teorema de Fubini, el siguiente resultado, muy u til a la 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 funci on continua (o continua salvo en una cantidad nita de puntos). Entonces
( x)

f=
D A ( x)

f (x, y )dy dx.

Demostraci on del teorema 5.1. Sea g : [a, b] R la funci on denida por

d

g (x) =
c

f (x, y )dy.

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

b

f=
A a

g (x)dx.

Sean P[a,b] una partici on cualquiera de [a, b] en subintervalos Sj = [sj 1 , sj ], donde a = s0 < s1 < ... < sN = b, y sea P[c,d] una partici on de [c, d] en subintervalos Tj = [tj 1 , tj ], donde c = t0 < t1 < ... < tM = d. Sea entonces PA la partici on de A dada por los rect angulos Rij = Si Tj , con 1 i N , 1 j M . N otese que cualquier partici on del rect angulo 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 ) =

i=1 j =1

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

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

m(f, Rij )v (Tj )

j =1 j =1

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 )

j =1

46

CAP ITULO 5. EL TEOREMA DE FUBINI

para cada i, y entonces, sumando en i,

N

L(f, PA )
i=1

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

De aqu , y de un argumento an alogo para supremos y sumas superiores, deducimos que L(f, PA ) L(g, P[a,b] ) U (g, P[a,b] ) U (f, PA ), Como esto vale para cualquier partici on PA de A y, lo que es lo mismo, 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.

Observaci on 5.6 Es claro que la misma prueba, sustituyendo intervalos por rect angulos y haciendo los pertinentes cambios de notaci on, sirve para establecer la versi on general (teorema 5.4) del teorema de Fubini. La redacci on de dicha prueba se deja como ejercicio para el lector. Demostraci on del corolario 5.3. Sea S = [a, b] [c, d] un rect angulo cerrado que contenga a A, y extendamos f a S poniendo f = 0 en S \ A como es habitual. Por el ejercicio 2.26, las gr acas de y , es decir los conjuntos G() = {(x, (x)) : x [a, b]} y G( ) = {(x, (x)) : x [a, b]} tienen medida cero. Es claro que el conjunto de las discontinuidades de la funci on extendida f est a contenido en la uni on de estas dos gr acas, y por tanto tiene tambi en medida cero. Luego, por el teorema de Lebesgue, f es integrable en S . Por otro lado, para cada x [a, b], fx es continua en [c, d], salvo quiz as en los puntos (x) y (x), y por tanto, 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)

1 1 4 1 0 (x y 1 e2x 0 ex 1 0 0

+ y 2 )dydx

x log ydydx y cos(xy )dxdy

arcseny y

5.9 Expresar las integrales iteradas siguientes como integrales m ultiples sobre un recinto, dibujar el recinto y cambiar el orden de intergraci on; nalmente, hallar el valor de las integrales usando el orden de integraci on que d e lugar a los c alculos m as simples. (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

2

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

1 1 0 ( 0 f (x, y )dy )dx 1 1 0 ( 0 f (x, y )dx)dy

si existe. si existe.

48

CAP ITULO 5. EL TEOREMA DE FUBINI

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

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

1 x2 + y 2

a 2 x2

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

f (x, y, z )dzdydx

f (x, y, z )dzdxdy

5.12 Diferenciaci on bajo el signo de la integral. Sea f : [a, b] [c, d] R 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

b

F (y ) =
a

f (x, y )dx. y

Indicaci on: Usando el Teorema Fundamental del C alculo, se tiene que

b b u

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 y continua en [a, b] [c, d]. 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)

D D

x2 ydxdy , siendo D el tri angulo de v ertices (0, 0), (0, 1) y (1, 0).

yexy dxdy , siendo D el cuadrado de v ertices (0, 0), (0, 1), (1, 0) y (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.

| m ax{x, y }|dxdy , siendo D = [2, 2] [1, 1].

5.15 Probar la siguiente generalizaci on del corolario del teorema de Fubini. Sean A Rn un rect angulo cerrado, y , : A Rm funciones continuas 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 funci on continua, y denamos fx : Bx Rm R por fx (y ) = f (x, y ), y g : A Rn R por g (x) =
Bx

fx .

Entonces g es integrable sobre A, y f=

D A

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 funci on de

A f,

g , v (A)

5.17 Hallar el volumen de la regi on acotada por z = x2 + 3y 2 , z = 9 x2 . 5.18 Hallar el volumen de la regi on acotada por x2 + 2y 2 = 2, z = 0, x + y + 2z = 2. 5.19 Sea A la regi on de R3 acotada por los planos x = 0, y = 0, z = 2 y la supercie z = x2 + y 2 , con x 0, y 0. Calcular la integral 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 integraci on: (a) (b)
1 ex 0 ( 1 (x 1 x2 0 ( x3

+ y )dy )dx;

ydy )dx.

5.22 Sea D la regi on acotada por los ejes positivos x e y y la recta 3x +4y = 10. Calcular D (x2 + y 2 )dxdy . 5.23 Sea D la regi on dada como el conjunto de los (x, y ) del plano tales que (x) y (x) y a x b, donde es una funci on continua no negativa en el intervalo [a, b]. Sea f : D R una funci on continua en D 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 regi on correspondiente a cada una de las sigientes integrales dobles, cambiar el orden de integraci on y evaluar la integral usando el orden que sea m as adecuado: (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 regi on acotada por los planos z = 0, z = , y = 0, x = 0 y x + y = 1. 5.26 Integrar f (x, y, z ) = xy + yz + zx sobre la porci on del primer octante 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 s olido T de R3 limitado superiormente por el cilindro parab olico z = 4 y 2 e inferiormente 2 2 por el paraboloide el ptico z = x + 3y .