Tema 1

Integral doble
Todas las deniciones y resultados que aparecen en este Tema 1 son un caso particular de las deniciones y resultados m as generales del Tema 2 siguiente. Sin embargo, el caso de la integral doble permite una mejor visualizaci on de los conceptos y presenta una menor complejidad en la notaci on, por lo que usaremos este tema para introducirlos y realizar las demostraciones. Omitiremos entonces las demostraciones an alogas del caso general. La integral en dos variables se construye de manera paralela a como se hizo con la integral de Riemann de una variable, con conceptos an alogos y resultados similares obtenidos del caso de una variable. As , la prueba de muchos de los resultados es pr acticamente identica al caso de una variable y omitiremos dicha prueba, remiti endonos a la prueba del caso simple.

1.1

Integral doble de una funci on acotada en un rect angulo.

Denici on 1.1 Llamaremos rect angulo cerrado de lados [a, b] y [c, d] al intervalo cerrado de IR2 A = [a, b] [c, d] = {(x, y ) IR2 : a x b, c y d}, y diremos que el area del rect angulo A es A(A) = (b a) (d c) .

Denici on 1.2 Sean P1 = {a = x0 < x1 < < xn = b} y P2 = {c = y0 < y1 < < ym = d} dos particiones cualesquiera de los intervalos [a, b] y [c, d] respectivamente. Llamaremos partici on del rect angulo A = [a, b] [c, d] al conjunto P = P1 P2 = {(x0 , y0 ), (x0 , y1 ), . . . , (xi , yj ), . . . , (xn , ym )}. Esta partici on consta de (n + 1) (m + 1) puntos y descompone el rect angulo A en m n subrect angulos Aij = [xi1 , xi ] [yj i , yj ] ; con 1 i n , 1 j m .

Si P es una partici on de A , escribiremos P P (A) . Denici on 1.3 Dadas dos particiones P = P1 P2 y Q = Q1 Q2 del rect angulo A , se dice que P es m as na que Q , y lo denotaremos por Q P , si, y s olo si, Q1 P1 y Q2 P2 , es decir, si, y s olo si, P1 es m as na que Q1 y P2 es m as na que Q2 . Nota: Dadas dos particiones P = P1 P2 y Q = Q1 Q2 , la partici on R = P Q = (P1 P2 ) (Q1 Q2 ) = (P1 Q1 ) (P2 Q2 ) = R1 R2 es m as na que las particiones P y Q , pues R1 es m as na que P1 y Q1 , y R2 que P2 y Q2 . Denici on 1.4 Sea f : A = [a, b] [c, d] IR una funci on acotada y P P (A) . Entonces, para cada subrect angulo Aij de la partici on, sean mij = inf {f (x, y ) : (x, y ) Aij }
Integrales M ultiples.

Mij = sup{f (x, y ) : (x, y ) Aij }

3

1 Integral doble

y sea A(Aij ) el area del subrect angulo Aij . Denimos entonces la suma inferior y la suma superior de la funci on f respecto de la partici on P como
n,m n,m

L(f, P ) =
i,j =1

mij A(Aij )

U (f, P ) =
i,j =1

Mij A(Aij )

respectivamente.

Mij

mij

Aij
Fig. 1.1. Volumen por esceso y por defecto.

Propiedades 1.5 Sean A = [a, b] [c, d] y f : A IR una funci on acotada, entonces a) L(f, P ) U (f, P ) , para toda P P (A) . b) Si P y Q son dos particiones de A tales que P Q , (es decir, Q es m as na que P ), entonces: L(f, P ) L(f, Q) y U (f, P ) U (f, Q). c) L(f, P ) U (f, Q) para todos P, Q P (A) . Demostraci on: Es an aloga a la de una variable. Como, para una funci on acotada f en un rect angulo cerrado A , el conjunto de las sumas inferiores est a acotado superiormente por cualquier suma superior y el conjunto de las sumas superiores est a acotado inferiormente por cualquier suma inferior, existen el superior del primero de estos conjuntos y el extremo inferior del segundo y se verica que sup L(P, f )
P P (A) P P (A)

inf

U (P, f ).

Estos n umeros se llaman, respectivamente, integral inferior e integral superior de la funci on f en A y, tambi en se utiliza para escribirlos la notaci on f = sup L(P, f )
P P (A)

f=

P P (A)

inf

U (P, f )

Denici on 1.6 Sea f : A = [a, b] [c, d] IR una funci on acotada. Se dice que f es integrable en A si, y s olo si, sup L(f, P ) = inf U (f, P ).
P P (A) P P (A)

Integrales M ultiples.

1.1 Integral doble de una funci on acotada en un rect angulo.

En este caso, el n umero real I = sup L(f, P ) = inf U (f, P ) se llama integral de f en A y se designa por
A

o bien por

f (x, y ) dx dy.

Para poner de maniesto que integramos sobre un conjunto de IR2 suele usarse la notaci on
A

f (x, y ) dx dy

Condici on de integrabilidad de Riemann. 1.7 Sea f : A = [a, b] [c, d] IR una funci on acotada. Entonces f es integrable en A si, y s olo si, para cada > 0 , existe una partici on P de A tal que U (f, P ) L(f, P ) < . Demostraci on: Es an aloga a la de una variable. Ejemplo 1.8 La funci on f (x, y ) = x + y es integrable en A = [a, b] [c, d]. En efecto, sean P1 = {a = x0 < x1 < < xn = b} y P2 = {c = y0 < y1 < < ym = d} . En cada Aij , se verica que xi1 x xi y que yj 1 y yj , luego sumando miembro a miembro, xi1 + yj 1 x + y xi + yj y, por tanto, mij = xi1 + yj 1 y Mij = xi + yj . a) Si hacemos n = m y tomamos particiones P1 y P2 equiespaciadas de la forma xi = a + i(bn e yj = c +
j (dc) n

, (es decir, divididiendo cada intervalo en partes iguales,) se tiene que Mij mij = (xi + yj ) (xi1 yj i ) = ba dc + n n ba dc A(Aij ) = (xi xi1 )(yj yj 1 ) = . n n
n,n

Entonces U (f, P ) L(f, P ) = =

i,j =1 )(ba)(dc) = n2 (ba+dcn 3

(Mij mij )A(Aij )

i,j =1 n ba n n

dc n

ba dc n n

=
i,j =1

(ba+dc)(ba)(dc) n3

(ba+dc)(ba)(dc) n

<

para n sucientemente grande. En consecuencia, f es integrable en A . Propiedades 1.9 Sean f, g : A = [a, b] [c, d] IR dos funciones acotadas e integrables en A y R . Entonces, las funciones f + g , f y |f | son integrables en A y se verica: a) b)
A

f (x, y ) + g (x, y ) dx dy = f (x, y ) dx dy =

f (x, y ) dx dy +

g (x, y ) dx dy .

f (x, y ) dx dy . f (x, y ) dx dy g (x, y ) dx dy .

c) Si f g en A , entonces d) f (x, y ) dx dy

|f (x, y )| dx dy .
5

Integrales M ultiples.

1 Integral doble

e) Si el rect angulo A es la uni on de otros dos rect angulos A1 y A2 , cuya intersecci on es un segmento, entonces: f (x, y ) dx dy = f (x, y ) dx dy + f (x, y ) dx dy.

A1

A2

Demostraci on: Las demostraciones son semejantes a las de una variable.

1.1.1

Integrales reiteradas. Teorema de Fubini.

Teorema d ebil de Fubini 1.10 Sean A = [a, b] [c, d] y f : A IR una funci on integrable en A tal que, para cada x [a, b] , la funci on gx : [c, d] IR denida por gx (y ) = f (x, y ) es integrable en [c, d] , y sea G(x) =
d c

gx (y ) dy =

d c

f (x, y ) dy.

Entonces la funci on G(x) es integrable en [a, b] y

b a

G(x) dx =

b a c

gx (y ) dy

dx =

f (x, y ) dx dy

#Demostraci on# Sean P1 = {a = x0 < x1 < < xn = b} y P2 = {c = y0 < y1 < < ym = d} dos particiones arbitrarias de [a, b] y [c, d] respectivamente. Entonces, para cada partici on P = P1 P2 de A , donde cada subrect angulo Aij es de la forma [xi1 , xi ] [yj 1 , yj ], se tiene
n,m n

L(f, P ) =
i,j =1 n,m

mij (xi xi1 )(yj yj 1 ) =

i=1 n

mij (yj yj 1 ) (xi xi1 ).

m

j =1

U (f, P ) =
i,j =1

Mij (xi xi1 )(yj yj 1 ) =

i=1

Mij (yj yj 1 ) (xi xi1 ).

j =1

gx x Si llamamos mg j = inf {gx (y ) : y [yj 1 , yj ]} y Mj = sup{gx (y ) : y [yj 1 , yj ]} , para cada x x [xi1 , xi ], como Aij contiene al conjunto {x} [yj 1 , yj ], se tiene que mij mg j y que gx Mij Mj y, por tanto, m m
x mg j (yj yj 1 ) = L(gx , P2 )

mij (yj yj 1 )
j =1 m j =1 m

d c

gx (y ) dy = G(x) gx (y ) dy = G(x)

Mij (yj yj 1 )
j =1 j =1

gx Mj (yj yj 1 ) = U (gx , P2 )

d c

por ser gx integrable en [c, d]. Como esto es cierto para cualquier x [xi1 , xi ], se tiene que
m j =1 m j =1

mij (yj yj 1 ) inf {G(x) : x [xi1 , xi ]} = mG i Mij (yj yj 1 ) sup{G(x) : x [xi1 , xi ]} = MiG

Integrales M ultiples.

1.1 Integral doble de una funci on acotada en un rect angulo.

con lo que
n

n i=1 n i=1

L(f, P ) =
i=1 n

mij (yj yj 1 ) (xi xi1 )

m

mG i (xi xi1 ) = L(G, P1 ) MiG (xi xi1 ) = U (G, P1 ).

j =1

U (f, P ) =
i=1

Mij (yj yj 1 ) (xi xi1 )

j =1

Reuniendo ambas desigualdades, L(f, P ) L(G, P1 ) U (G, P1 ) U (f, P ) y, entonces sup L(f, P ) sup L(G, P1 ) inf U (G, P1 ) inf U (f, P ).
P P1 P1 P

1.1

Por ser f es integrable en A , sup L(f, P ) = inf U (f, P ) =

P P A

f (x, y ) dx dy,

luego la cadena de desigualdades de 1.1 es una cadena de igualdades y G es integrable en [a, b] y

b a

G(x) dx =

f (x, y ) dx dy.

De una manera an aloga se prueba que Proposici on 1.11 Sean A = [a, b] [c, d] y f : A IR una funci on integrable en A tal que, para cada y [c, d] , la funci on hy : [a, b] IR denida por hy (x) = f (x, y ) , es integrable en [a, b] . Entonces
d c b a

hy (x)dx dy =

f (x, y ) dx dy.

Corolario 1.12 Si f : A IR es una funci on integrable y continua en A , entonces f (x, y ) dx dy =

b a c d

f (x, y )dy dx =

d c

b a

f (x, y )dx dy.

Demostraci on: Por ser f continua, las funciones gx y hy son integrables en sus conjuntos respectivos. Ejemplo 1.13 Sea f (x, y ) = x + y denida en A = [0, 1] [1, 1]. Hallar f (x, y ) dx dy .

Soluci on: Como f es integrable en A , y gx (y ) = f (x, y ) = x + y es integrable en [1, 1] (es continua), el teorema de Fubini asegura que f (x, y ) dx dy = =
Integrales M ultiples.

1 0 1 0

1 1

gx (y ) dy dx =
1 0

1 0

1 1

(x + y ) dy dx =

1 0

xy +

y2 2

dx
1

2x dx = x2

=1
7

1 Integral doble

Tambi en es hy (x) = f (x, y ) integrable en [0, 1], luego f (x, y ) dx dy =

1 1 0 1

hy (x) dx dy =

1 1 0

(x + y ) dx dy =

1 1

1 + y dy = 1 2

En realidad, el teorema de Fubini es m as general que la versi on demostrada, del cu al la versi on d ebil es un corolario. A continuaci on, exponemos el teorema en su versi on fuerte (sin demostraci on, aunque esta prueba es similar a la anterior pero m as compleja). Teorema de Fubini 1.14 Sean A = [a, b] [c, d] y f : A IR una funci on acotada e integrable en A . Para cada x [a, b] , sea gx : [c, d] IR la funci on denida por gx (y ) = f (x, y ) y consideremos las funciones L(x) =
d c

gx (y )dy

y U (x) =

d c

gx (y )dy.

obtenidas de su integral inferior y superior. Entonces las funciones L(x) y U (x) son integrables en [a, b] y
b a c d

gx (y )dy dx =

f (x, y ) dx dy =

b a c

gx (y )dy dx.

1.1.1.1

Integrales dependientes de un par ametro

b a

Proposici on 1.15 Sean A IR un intervalo cerrado, I = [a, b] IR y : A I IR una funci on tal que la integral (x, t) dt existe para cada x A . Consideremos la funci on
b a

: A IR denida por (x) =

(x, t) dt . Entonces:

a) Si es continua en A I , la funci on es continua en A . b) Si

x (x, t)

existe y es continua en A I , tambi en existe (x) , para cada x int(A) , y

b a x (x, t) dt .

se verica que (x) = #Demostraci on#

a) La funci on es continua en un cerrado y acotado luego es uniformemente continua en A I y, por tanto, para cada > 0 existe un > 0 tal que, si (x, t) (x0 , t0 ) < se verica que | (x, t) (x0 , t0 )| < b a. Entonces, para cada x0 A , se tiene que si |x x0 | = (x, t) (x0 , t) < , entonces |(x) (x0 )| =
b a

(x, t) (x0 , t) dt

b a

| (x, t) (x0 , t)| dt

b a

dt = , ba

luego es continua en x0 y por consiguiente en A . b) Sea x int(A), entonces (x) = lim (x + h) (x) 1 = lim h0 h0 h h
b a

(x + h, t) (x, t) dt

por el teorema del valor medio de la derivada, existe l entre 0 y h tal que
8
Integrales M ultiples.

1.1 Integral doble de una funci on acotada en un rect angulo.

= lim y por la parte (a), =

b a

1 h0 h lim

b a

(x + l, t) h dt = lim h0 x
b a

b a

(x + l, t) dt x

(x + l, t) dt = h0 x

(x, t) dt. x

1.1.2

Conjuntos de contenido cero y medida cero.

Denici on 1.16 Se dice que un conjunto B IR2 tiene contenido cero si, y s olo si, para cada > 0 , existe un n umero nito de rect angulos cerrados A1 , A2 , . . . , An , tales que
n n

B
i=1

Ai

y
i=1

A(Ai ) < .

Nota: Es claro que los conjuntos que tienen contenido cero son acotados, pues est an contenidos en la uni on nita de conjuntos acotados. Proposici on 1.17 Si g : [a, b] IR es una funci on integrable en [a, b] , entonces su gr aca 2 2 G = {(x, y ) I R : a x b, y = g (x)} es un conjunto de contenido cero de I R . Demostraci on: Sea > 0. Como g es integrable en [a, b], existe P = {a = x0 < x1 < < xn = b} partici on de [a, b], tal que U (g, P ) L(g, P ) < .

Mi mi

Ai = [xi1 , xi ] [mi , Mi ]

xi1 Fig. 1.2.

xi

Si, para cada i = 1, . . . , n , los valores mi y Mi son respectivamente el inferior y el superior de g en [xi1 , xi ], es claro que la parte de la gr aca {(x, y ) : xi1 x xi , y = g (x)} est a n contenida en el rect angulo Ai = [xi1 , xi ] [mi , Mi ] y, por tanto, G Ai . Como,
n n i=1

A(Ai ) =
i=1 i=1 n

(Mi mi )(xi xi1 )

n

=
i=1

Mi (xi xi1 )
i=1

mi (xi xi1 ) = U (g, P ) L(g, P ) < ,

el conjunto G tiene contenido cero.

9

Integrales M ultiples.

1 Integral doble

Denici on 1.18 Se dice que un conjunto B IR2 tiene medida cero si, y s olo si, para cada > 0 , existe una sucesi on {An }n=1 de rect angulos cerrados tal que

B
n=1

An

y
n=1

A(An ) < .

Ejemplo.- IN, tomado como el conjunto {(n, 0) IR2 : n IN} , es de medida cero en IR2 . 1 Para cada n IN, tomamos el rect angulo An = [n 2n1 +1 , n + 2n+1 ] [ 2 , 2 ]. Como, para cada n IN, el punto (n, 0) An y A(An ) = n + se verica que
1 2n+1

(n

1 ) 2n+1

1 2n 2

2n+1

I N
n=1

An

y
n=1

A(An ) =

= < . n+1 2 2 n=1

Nota: Si un conjunto B IR2 tiene contenido cero, entonces B tiene medida cero, pero el rec proco no es cierto. Basta tomar un conjunto de medida cero no acotado, por ejemplo el conjunto IN en IR2 . Sin embargo, es cierto el siguiente resultado: Proposici on 1.19 Si B I R2 es cerrado y acotado y tiene medida cero, entonces tiene contenido cero. Proposici on 1.20 Si {Bn } on de conjuntos de IR2 de medida cero, entonces n=1 es una sucesi el conjunto B = Bn tiene medida cero.
n=1

Demostraci on: Sea > 0, entonces para cada k IN, existe una sucesi on Ak1 , Ak2 , . . . , Akn , . . . de rect angulos cerrados que recubren Bk y tal que

{Akn }k,nI as N es un recubrimiento numerable de B y adem

n=1

A(Akn ) <

2k

, entonces la colecci on de todos los

A(Akn ) =
n,k=1 k=1 n=1

A(Akn )

<

= , k 2 k=1

luego B tiene medida cero.

1.1.3

Teorema de Lebesgue.

Teorema de Lebesgue. 1.21 Sean A = [a, b] [c, d] y f : A IR una funci on acotada. Entonces f es integrable en A si, y s olo si, el conjunto de los puntos de discontinuidad de f en A tiene medida cero. Demostraci on: La demostraci on escapa al nivel de este curso, pero puede encontrarse en el libro C alculo en variedades de M. Spivak. Corolario 1.22 Si f : A IR es continua, entonces f es integrable en A . Corolario 1.23 Si f y g son integrables en A , entonces f g es integrable en A . Demostraci on: En efecto, sean Df , Dg y Df g los conjuntos de discontinuidad de las funciones f , g y f g en A . Claramente Df g Df Dg . Por el teorema de Lebesgue, Df y Dg tienen medida cero, luego Df Dg tiene medida cero y, por tanto, Df g tiene medida cero. En consecuencia, f g es integrable en A .
10

Integrales M ultiples.

1.2 Integraci on sobre conjuntos acotados.

Ejemplo 1.24 Calcular

Soluci on: La funci on es continua en A luego integrable en A y, por el corolario del teorema de Fubini, se tiene que
A

sen2 x sen2 y dx dy , con A = [0, ] [0, ].

(sen2 x sen2 y ) dx dy = = =

0 0 0 ey y3
tx

sen2 x sen2 y dy dx =
0

sen2 x

sen2 y dy dx
2

sen2 y dy

sen2 xdx =
2

sen2 x dx

1 cos 2x dx 2

Ejemplo 1.25 Calcular

Soluci on: La funci on es continua en A luego integrable en A y, por el corolario del teorema de Fubini, se tiene que
A 1 y3

dx dy , con A = [0, t] [1, t] siendo t > 1.

e y dx dy = = =

tx

t 0 t 1 1 y3
t2 y

t 1

1 y3

e y dy dx = =
t2 t 1 1 y3

tx

t 1 0

1 y3

e y dx dy =
y t

tx

t 1
t2 y

1 y3

t 0

e y dx dy

t x t y y dy te 0 t

y ty te

dy =

t 1

1 e 2 dy ty 2 ty

e t3

e et 1 1 1 = + 2 . 3 ty t t t
1

1.2

Integraci on sobre conjuntos acotados.

f (x, y ), si (x, y ) S 0, si (x, y ) /S

Sea S I R2 . Para cada funci on f : S IR, consideremos la funci on f : IR2 IR denida por f (x, y ) =

Denici on 1.26 Una funci on acotada f : S IR denida sobre un conjunto acotado S I R2 es integrable en S si, y s olo si, f es integrable en alg un rect angulo cerrado A que contenga a S y, escribiremos,
S

f (x, y ) dx dy =

f (x, y ) dx dy.

Proposici on 1.27 La integral

f (x, y ) dx dy no depende del rect angulo A elegido.

Demostraci on: Sean A1 y A2 dos rect angulos que contengan a S . Entonces, A1 A2 es un rect angulo que tambi en contiene a S y, como f es cero fuera de S , es cero en A1 A2 y en A2 A1 (ver gura 1.3). Luego
A1 A2

f (x, y ) dx dy = f (x, y ) dx dy =

A1 A2 A2 A1

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

A1 A2 A2 A1

0 dx dy = 0 dx dy =

A1 A2 A2 A1

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

y coinciden. Por tanto, la integral no depende del rect angulo elegido.

11

Integrales M ultiples.

1 Integral doble

A2 A1
A2 A1 A1 A2
A1A2

Fig. 1.3. Independencia del rect angulo.

1.2.1

Conjuntos medibles.

Denici on 1.28 Se llama funci on caracter stica de un subconjunto S de IR2 , a la funci on 2 XS : IR I R denida por 1, si (x, y ) S XS (x, y ) = 0, si (x, y ) / S. Denici on 1.29 Se dice que un subconjunto S de IR2 es medible cuando es acotado y su funci on caracter stica es integrable. En este caso, se dene el area de S , como el n umero real A(S ) = XS (x, y ) dx dy.

Proposici on 1.30 Un subconjunto acotado S IR2 es medible si, y s olo si, su frontera fr (S ) tiene contenido cero. Demostraci on: Se tiene que IR2 = int(S ) fr (S ) ext(S ) y la funci on caracter stica XS es continua en int(S ) ext(S ) y discontinua en fr (S ). Luego, por el teorema de Lebesgue, S es medible si, y s olo si, fr (S ) tiene medida cero. Ahora bien, como fr (S ) es un conjunto cerrado y es acotado por ser S acotado, entonces fr (S ) tiene medida cero si, y s olo si, tiene contenido cero. Proposici on 1.31 Sean g1 y g2 dos funciones de [a, b] en IR continuas y tales que g1 g2 . Entonces: a) El conjunto S = (x, y ) IR2 : a x b, g1 (x) y g2 (x) es medible.

b) Si f : S IR es una funci on acotada en S y continua en int(S ) , entonces (i) f es integrable en S y (ii)

S

f (x, y ) dx dy =

b a

g2 (x) g1 (x)

f (x, y )dy dx .

En particular: A(S ) =
S

XS (x, y ) dx dy =

b a

[g2 (x) g1 (x)]dx.

12

Integrales M ultiples.

1.2 Integraci on sobre conjuntos acotados.

Demostraci on: a) S es acotado y su frontera es uni on de las gr acas de las funciones g1 y g2 en [a, b] G1 = {(x, y ) : a x b, y = g1 (x)} y los segmentos en IR2 {a} [g1 (a), g2 (a)] = {(a, y ) : g1 (a) y g2 (a)} {b} [g1 (b), g2 (b)], G2 = {(x, y ) : a x b, y = g2 (x)}

todos ellos de contenido cero, luego fr (S ) tiene contenido cero y, por tanto, S es medible. b) Si la funci on f : S IR una funci on acotada en S y continua en int(S ), consideremos la f (x, y ), si (x, y ) S funci on f (x, y ) = 0, si (x, y ) / S. (i) Todo punto de discontinuidad de f es un punto frontera de S ya que, en int(S ), f = f continua por hip otesis y, por su denici on, f es continua en ext(S ). Luego, el conjunto de discontinuidades de f est a contenido en fr (S ) que tiene contenido cero. Entonces, f es integrable en cualquier rect angulo que contenga a S y, por tanto, f es integrable en S . (ii) Sea A = [a, b] [c, d] un rect angulo que contiene a S , consideramos para cada x [a, b] la funci on gx : [c, d] IR denida por gx (y ) = f (x, y ). Como dicha
d y = g2 (x)

A S

y = g1 (x) c a Fig. 1.4. b

funci on es discontinua a lo sumo en g1 (x) y en g2 (x); es integrable en [c, d] y

d c

gx (y )dy = =

g1 (x) c g1 (x) c

f (x, y )dy + 0dy +

g2 (x) g1 (x)

g2 (x) g1 (x)

f (x, y )dy +
d g2 (x)

d g2 (x)

f (x, y )dy
g2 (x) g1 (x)

f (x, y )dy +

0dy =

f (x, y )dy

y, por el teorema de Fubini, f (x, y ) dx dy = f (x, y ) dx dy =

b a c d

fx (y )dy dx =

b a

g2 (x) g1 (x)

f (x, y )dy dx.

En particular A(S ) = XS (x, y ) dx dy =

b a g2 (x) g1 (x)

1dy dx =

b a

g2 (x) g1 (x) dx.

Integrales M ultiples.

13

1 Integral doble

Proposici on 1.32 Sean h1 y h2 dos funciones de [c, d] en IR continuas y tales que h1 h2 en [c, d] . El conjunto T = {(x, y ) : c y d, h1 (y ) x h2 (y )} es medible y si f : T IR es una funci on acotada en T y continua en int(T ) entonces f es integrable en T y f (x, y ) dx dy =
d c h2 (y ) h1 (y )

f (x, y )dx dy.

En particular: A(T ) =
T

XT (x, y ) dx dy =

d c

h2 (y ) h1 (y ) dy.
2 2

Ejemplo 1.33 Probar que la regi on S limitada por la elipse x +y = 1 es medible y calcular a2 b2 su area. Soluci on: b b El conjunto S es S = (x, y ) IR2 : a x a, a2 x2 a a2 x2 . Las funciones a
b

b Fig. 1.5.

b b g1 (x) = a2 x2 y g2 (x) = a a2 x2 son evidentemente continuas en [a, a] y por la a proposici on anterior S es medible. A(S ) = =
a a
2

[g2 (x) g1 (x)] dx =

2b a

a a

2b a

a2 x2 dx =
2

x = a sen t dx = a cos tdt

a2 a2 sen2 t a cos t dt = 2ab

2

1 + cos 2t dt 2

sen 2t = ab t + 2

= ab.

Ejercicio 1.34 Una pir amide, en el primer octante, est a limitada por los planos coordenados y el plano x + 2y + 3z = 6. Representar el s olido y calcular su volumen mediante una integral doble. Soluci on: 2y Tomando la funci on que representa al plano, f (x, y ) = z = 6x , sobre la base, S , de la 3 pir amide se tiene que V (P ) =
S

f (x, y ) dx dy.

Como el conjunto S en el plano XY est a en el primer cuadrante y limitado por los ejes y la recta x + 2y = 6, es medible y puede escribirse en la forma S = {(x, y ) : 0 x 6 2y, 0 y 3}
14
Integrales M ultiples.

1.3 Cambio de variables.

luego V (P ) = 6 x 2y 1 dx dy = 3 3
3 0 0 62y

(6 x 2y ) dx dy = 6.

1.3

Cambio de variables.

Denici on 1.35 Sea A IR2 un conjunto abierto. Una funci on g : A IR2 de clase 1 se 1 dice C -inversible en A cuando es inyectiva y su determinante jacobiano, det(g (x, y )) , es distinto de cero en todo punto (x, y ) A . Denici on 1.36 Sea S IR2 un conjunto medible. Una funci on f : S IR se dice admisible cuando es acotada y el conjunto de puntos de discontinuidad de la funci on f : IR2 IR dada f (x, y ), si (x, y ) S , tiene contenido cero. por f (x, y ) = 0, si (x, y ) /S Observaci on: Evidentemente, si una funci on es admisible en S , entonces es integrable en S . Teorema del cambio de variables. 1.37 Sean U un conjunto abierto de IR2 , g : U IR2 una funci on de clase 1 en U y A IR2 un conjunto medible tal que A fr (A) U . Si g es C 1 -inversible en int(A) y f : g (A) IR es una funci on admisible en g (A) , entonces la funci on compuesta f g es admisible en A y

g(A)

f (x, y ) dx dy =

(f g )(u, v ) det(g (u, v )) du dv.

1.3.1

Coordenadas polares.

Sean el abierto U = IR2 , la funci on g : U IR2 denida por g (r, ) = (r cos , r sen ) y 2 A = {(r, ) I R : r 0, 0 2 } U . Se tiene, La funci on g es de clase 1 en U : Cada componente es producto de funciones de clase 1 en IR2 , luego g es C 1 en IR2 = U . A fr (A) U : Es claro, pues tanto A como fr (A) son subconjuntos de IR2 , luego A fr (A) IR2 = U . g (A) = IR2 . En efecto, cada (x, y ) IR2 se puede describir tambi en mediante la distancia, r , del punto al origen y el angulo, , que forma el segmento entre ambos puntos con el semieje positivo de abcisas. Luego existe (r, ) A tal que g (r, ) = (x, y ). La funci on g es inyectiva en int(A) = {(r, ) IR2 : r > 0, 0 < < 2 } : Si g (r1 , 1 ) = g (r2 , 2 ) =
2 cos2 = r 2 cos2 r1 cos 1 = r2 cos 2 r1 1 2 2 = 2 2 sen2 y sumando r1 sen 1 = r2 sen 2 r1 sen2 1 = r2 2 2 2 ambas ecuaciones se tiene que r1 = r2 , de donde r1 = r2 ya que r1 , r2 > 0. Por tanto, cos 1 = cos 2 y sen 1 = sen 2 ; de la primera, 2 = 1 o 2 = 2 1 y, sustituyendo en la segunda, se tiene que en int(A) debe ser 1 = 2 .

Integrales M ultiples.

15

1 Integral doble

det(g (r, )) =

cos rsen = r , que es mayor que 0 para todo (r, ) int(A). sen r cos

De lo anterior, g es C 1 -inversible en int(A) y verica todas las condiciones para ser una funci on de cambio de variables. Entonces, si B es cualquier subconjunto medible de A y f es una funci on admisible en S = g (B ), se verica siempre el cambio de variables a polares. Es decir: Cambio a polares 1.38 Sean S IR2 medible, f : S IR admisible en S y B A medible tal que g (B ) = S , entonces
S

f (x, y ) dx dy =

rf (r cos , r sen )drd.

Ejemplo 1.39 Calcular la integral de la funci on f (x, y ) = x2 + y 2 en el semic rculo de IR2 S = (x, y ) : x2 + y 2 2ax, y 0 . Soluci on: Como x2 + y 2 = 2ax = (x a)2 + y 2 = a2 , el conjunto S viene dado por S = (x, y ) : 0 x 2a, 0 y 2ax x2

y es medible. La funci on f (x, y ) = x2 + y 2 es admisible en S puesto que por ser continua en S , las discontinuidades de la funci on f (x, y ) = x2 + y 2 , si (x, y ) S 0, si (x, y ) /S
r y
y= 2ax x2 r = 2a cos

est an en la frontera de S , que tiene contenido cero por ser S medible.

S = g (B )
a 2a

B
x
0
2

Fig. 1.6. Conjuntos S y B .

Haciendo x = r cos e y = r sen , obtenemos de la ecuaci on cartesiana x2 + y 2 = 2ax la 2 ecuaci on en polares r = 2ar cos y S = g (B ) donde B = (r, ) : 0 , 0 r 2a cos . 2 Por consiguiente x2 + y 2 dx dy = rr dr d =
2 2

2a cos

8a3 3

sen = t 8a3 = cos3 d = cos d = dt 3 cos2 = 1 t2

1

r2 dr d =

r3 3
1 0

2a cos

d
0

(1 t2 ) dt

t3 8a3 t = 3 3
16

=
0

16a3 . 9
Integrales M ultiples.

1.3 Cambio de variables.

1.3.2

Ejemplos de otros cambios de variables.

Ejemplo 1.40 Sea A = {(u, v ) : 1 u 2, 1 v 2} . a) Determinar la imagen S de A en el plano XY por la aplicaci on g (u, v ) = (u2 v 2 , 2uv ). b) Comprobar que en la integral I = x = u2 v 2 , y = 2uv dado por g . c) Calcular el valor de I . Soluci on: Como los puntos (x, y ) S = g (A) verican que cada una de las l neas que forman la frontera de A . Para u = 1 y 1 v 2, tenemos 2 y 4. Para u = 2 y 1 v 2, tenemos 4 y 8. Para 1 u 2 y v = 1, tenemos 2 y 4. Para 1 u 2 y v = 2, tenemos 4 y 8.
v
2 x= y 4 16
2

dx dy se puede efectuar el cambio de variables x2 + y 2

x = u2 v 2 , veamos en que se transforma y = 2uv

x = 1 v2 , con 1 v 2, luego x = 1 y = 2v x = 4 v2 , con 1 v 2, luego x = 4 y = 4v x = u2 1 , con 1 u 2, luego x = y = 2u x = u2 4 , con 1 u 2, luego x = y = 4u

y2 4

, con

y2 16 ,

con

y2 4

1, con

y2 16

4, con

8 x = 4 y 16
2

A
1

S
4

2 x= 1 2
y2 4

x = 1 y 4

Fig. 1.7. Conjuntos A y S = g (A) .

Se verican las hip otesis del teorema del cambio de variable: La funci on f es de clase 1 en U = IR2 , porque sus componentes tienen derivadas parciales continuas en todo punto.
Integrales M ultiples.

17

1 Integral doble

El conjunto A es medible, ya que fr (A) tiene contenido cero, y, evidentemente, A fr (A) U. g es C 1 -inversible en int(A), pues g es inyectiva en int(A): g (u1 , v1 ) = g (u2 , v2 ) =
2 2 2 u2 1 v1 = u2 v2 2u1 v1 = 2u2 v2

elevando al cuadrado ambas ecuaciones y sumando a la segunda la primera, se tiene

2 2 2 2 2 (u2 1 v1 ) = (u2 v2 ) 2 )2 2 2 2 2 (u1 + v1 ) = (u2 + v2 2 2 2 u2 1 v1 = u2 v2 2 2 2 2 u1 + v1 = u2 + v2 2 u2 1 = u2 = 2 2 v1 = v2

u1 = u2 v1 = v2

ya que en int(A), los valores u1 , u2 , v1 y v2 son positivos. det(g (u, v )) = 2u 2v = 4(u2 + v 2 ) > 0 para todo (u, v ) int(A). 2v 2u
1 x2 +y 2

Finalmente, la funci on f (x, y ) = tinuidades de la funci on

es admisible en g (A) = S , porque las discon1 , x2 +y 2

f (x, y ) =

si (x, y ) S 0, si (x, y ) /S

est an en la frontera de S que tiene contenido cero. Por consiguiente, I= dx dy = x2 + y 2 4(u2 + v 2 )dudv = (u2 v 2 ) + (2uv )2
2 1 1 2

4dudv = 4.

Ejemplo 1.41 Transformar la integral

1 0 3x 2x

f (x, y )dy dx

introduciendo las nuevas variables u = x + y , uv = y . Soluci on: Tomando S = {(x, y ) IR2 : 0 x 1, 2x y 3x} tenemos que
1 0 3x 2x

f (x, y )dy dx =

f (x, y ) dx dy = I

y, despejando, tenemos x = u y = u uv = u(1 v ) con y = uv . Luego podremos transformar la integral en las nuevas variables si la funci on g : IR2 IR2 dada por g (u, v ) = (u(1 v ), uv ) es un cambio de variables v alido en un conjunto A con g (A) = S . Si y = 2x y 0 x 1, se tiene uv = 2u(1 v ), luego u = 0 y v IR o u=0 y v= 2 3. Como u = x + y = 3x 0, u = 0 s olo para x = 0, luego tenemos los dos casos: Si y = 2x y x = 0, es decir, en (0, 0), se tiene u = 0 y v IR. Si y = 2x y 0 < x 1, se tiene v =
18
2 3

y u = x + 2x = 3x (0, 3].
Integrales M ultiples.

1.3 Cambio de variables.

Si y = 3x y 0 < x 1, se tiene uv = 3u(1 v ), luego v = Si x = 1 y 2 y 3, se tiene u = En consecuencia, A = (u, v ) IR2 :

y
3 2 3 1 1v 2 3 y v [3 , 4 ].

3 4

y u = x + y = 4x (0, 4].

v 3 4, 0 < u

1 1v
v

(u, v ) IR2 : u = 0 .

y = 3x 2
3 4 2 3

u=0

u= y = 2x

1 1v 3 4

x Fig. 1.8.

Sin embargo, como A no es un conjunto acotado, no es medible y, por tanto, no es un conjunto de integraci on v alido. Ahora bien, como A no es medible porque contiene la recta innita u = 0 pero todos los puntos de dicha recta verican que g (0, v ) = (0, 0), si sustituimos toda la recta por una parte acotada de ella obtendremos un conjunto, B , que ser a medible y vericar a que g (B ) = g (A) = S . Por ejemplo, el conjunto B = (u, v ) IR2 :
2 3

v 3 4, 0 u

1 . 1v

v= v=

3 4 2 3

B
1 1v

u=

u=3

u=4

Fig. 1.9.

Veamos que g es C 1 -inversible en int(B ) = (u, v ) IR2 : det(g (u, v ) = 1 v u = u(1 v ) + uv = u > 0. v u

2 3

<v< 3 4, 0 < u <

1 1v

Integrales M ultiples.

19

1 Integral doble

u1 + u1 v1 = u2 + u2 v2 , restando ambas ecuaciones se tiene u1 v1 = u2 v2 u1 = u2 y, como u > 0 en int(B ), tambi en v1 = v2 y g es inyectiva en int(B ). Si g (u1 , v1 ) = g (u2 , v2 ) = Luego I= f (u(1 v ), uv )u du dv =
3 4 2 3 1 1v

f (u(1 v ), uv )u du

dv.

1.4

Aplicaciones de la integral doble a la mec anica.

Consideremos una l amina delgada que tenga la forma de una regi on S IR2 y supongamos que su densidad (masa por unidad de area) en cada punto viene dada por una funci on integrable f : S I R. Entonces la masa total M de la l amina es M= f (x, y ) dx dy.

El centro de masas de la l amina es el punto (, ) de coordenadas = 1 M xf (x, y ) dx dy, = 1 M yf (x, y ) dx dy

y el momento de inercia respecto de la recta L es IL = 2 (x, y )f (x, y ) dx dy,

donde para cada punto (x, y ) S , (x, y ) representa la distancia del punto (x, y ) a la recta L . Ejemplo 1.42 En una l amina cuadrada de lado a , la densidad en cada punto es proporcional al cuadrado de la distancia de ese punto a uno de los v ertices. Hallar el momento de inercia de dicha l amina respecto a uno de los lados que pasan por ese v ertice. Soluci on: Consideremos el cuadrado de v ertices (0, 0), (0, a), (a, a) y (a, 0). Si la densidad f (x, y ) en el punto (x, y ) es proporcional al cuadrado de la distancia de (x, y ) al v ertice (0, 0), para cada (x, y ) S ser a f (x, y ) = k (x2 + y 2 ), con k un valor constante. Si giramos la l amina respecto al eje OX , tenemos que (x, y ) = y y el momento de inercia IL respecto al eje OX ser a IL = k y 2 (x2 + y 2 ) dx dy = k
a 0 0 a

y 2 (x2 + y 2 ) dy

dx =

14ka6 45

1.5

Ejercicios
A

1.1 Calcular

x2 y + xy 2 dx dy , con A = [0, 1] [0, 1]. dx dy 6, con A = [1, 1] [1, 2]. + y2 + 1

1.2 Probar que 1

x2

1.3 Calcular el volumen, V , encerrado por la supercie z = x2 + y 2 sobre el rect angulo A = [1, 1] [1, 1].
20
Integrales M ultiples.

1.5 Ejercicios

1.4 La integral de la funci on f (x, y ) = x2 + y 2 sobre una regi on S IR2 se reduce a la integral reiterada
1 1+ 1y 2 0 1

1y 2

f (x, y ) dx dy.

Determinar la regi on S e invertir el orden de integraci on para calcularla. 1.5 Calcular 1.6 Calcular 1.7 Calcular
S

ex+y dx dy donde S = {(x, y ) : |x| + |y | 1} . (x2 y 2 ) dx dy donde S = {(x, y ) : 0 x , 0 y sen x} .

(x x 1 1

S 1 0 2 0 2 1

+ y )2 dx dy directamente y cambiando el orden de integraci on. + y 3 x) dx dy directamente y cambiando el orden de integraci on.

1.8 Calcular

(x y ln x 0

1.9 Evaluar 1.10 Hallar

(x 1) 1 + e2y dy dx . x ) dx dy , siendo S = {(x, y ) : x 0, x y 2} . 4

y (1 cos

1.11 Sean f : IR IR una funci on continua y g : IR IR una funci on derivable. Sea la funci on h: IR I R denida por h(t) = Se pide: a) Expresar h(t) como una integral doble extendida a un cierto recinto S I R2 e invertir el orden de integraci on. b) Probar que la funci on h es dos veces derivable y calcular h (t). 1.12 Considerar la aplicaci on denida por las ecuaciones: x = u + v e y = v u2 . a) Calcular el determinante de la matriz jacobiana de la aplicaci on. b) Un tri angulo T en el plano U V tiene por v ertices (0, 0), (2, 0) y (0, 2). Representar mediante un dibujo, la imagen S en el plano XY . c) Calcular el area de S mediante una integral doble extendida a S y tambi en mediante otra integral doble extendida a T . d) Calcular
S t 0 t x

g (y ) dy f (x) dx.

(x y + 1)2 dx dy .

Integrales M ultiples.

21