Tema 1

Integral doble
Todas las deniciones y resultados que aparecen en este Tema 1 son un caso particular de las deniciones y resultados ms generales del Tema 2 siguiente. Sin embargo, el caso de la integral a doble permite una mejor visualizacin de los conceptos y presenta una menor complejidad en o la notacin, por lo que usaremos este tema para introducirlos y realizar las demostraciones. o Omitiremos entonces las demostraciones anlogas del caso general. a La integral en dos variables se construye de manera paralela a como se hizo con la integral de Riemann de una variable, con conceptos anlogos y resultados similares obtenidos del caso a de una variable. As la prueba de muchos de los resultados es prcticamente identica al caso de , a una variable y omitiremos dicha prueba, remitindonos a la prueba del caso simple. e

1.1

Integral doble de una funcin acotada en un rectngulo. o a

Denicin 1.1 Llamaremos rectngulo cerrado de lados [a, b] y [c, d] al intervalo cerrado o a de IR2 A = [a, b] [c, d] = {(x, y) IR2 : a x b, c y d}, y diremos que el rea del rectngulo A es a a A(A) = (b a) (d c).

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

Si P es una particin de A, escribiremos P P(A). o Denicin 1.3 Dadas dos particiones P = P1 P2 y Q = Q1 Q2 del rectngulo A, se dice o a que P es ms na que Q, y lo denotaremos por Q P , si, y slo si, Q1 P1 y Q2 P2 , es a o decir, si, y slo si, P1 es ms na que Q1 y P2 es ms na que Q2 . o a a Nota: Dadas dos particiones P = P1 P2 y Q = Q1 Q2 , la particin o R = P Q = (P1 P2 ) (Q1 Q2 ) = (P1 Q1 ) (P2 Q2 ) = R1 R2 es ms na que las particiones P y Q, pues R1 es ms na que P1 y Q1 , y R2 que P2 y Q2 . a a Denicin 1.4 Sea f : A = [a, b] [c, d] IR una funcin acotada y P P(A). Entonces, o o para cada subrectngulo Aij de la particin, sean a o mij = inf{f (x, y) : (x, y) Aij }
Integrales M ltiples. u

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

2

1.1 Integral doble de una funcin acotada en un rectngulo. o a

y sea A(Aij ) el rea del subrectngulo Aij . Denimos entonces la suma inferior y la suma a a superior de la funcin f respecto de la particin P como o o
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 I una funcin acotada, entonces R o 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 ms na que P ), a 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). Demostracin: o Es anloga a la de una variable. a Como, para una funcin acotada f en un rectngulo cerrado A, el conjunto de las sumas o a inferiores est acotado superiormente por cualquier suma superior y el conjunto de las sumas a superiores est acotado inferiormente por cualquier suma inferior, existen el superior del primero a 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 nmeros se llaman, respectivamente, integral inferior e integral superior de la funcin u o f en A y, tambin se utiliza para escribirlos la notacin e o f = sup L(P, f )
P P(A)

f=

P P(A)

inf

U(P, f )

Denicin 1.6 Sea f : A = [a, b] [c, d] IR una funcin acotada. Se dice que f es inteo o grable en A si, y slo si, o sup L(f, P ) = inf U(f, P ).
P P(A) P P(A)

Integrales M ltiples. u

1.1 Integral doble de una funcin acotada en un rectngulo. o a

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

o bien por

f (x, y) dx dy.

Para poner de maniesto que integramos sobre un conjunto de I 2 suele usarse la notacin R o
A

f (x, y) dx dy

Condicin de integrabilidad de Riemann. 1.7 Sea f : A = [a, b] [c, d] I una funcin o R o acotada. Entonces f es integrable en A si, y slo si, para cada > 0, existe una particin P o o de A tal que U(f, P ) L(f, P ) < . Demostracin: o Es anloga a la de una variable. a Ejemplo 1.8 La funcin f (x, y) = x + y es integrable en A = [a, b] [c, d]. o 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 yj1 y yj , luego sumando miembro a miembro, xi1 + yj1 x + y xi + yj y, por tanto, mij = xi1 + yj1 y Mij = xi + yj . Si hacemos n = m y tomamos particiones P1 y P2 equiespaciadas de la forma xi = a + i(ba) n e yj = c +
j(dc) n

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

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

i,j=1

(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

= n2 (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 .
4

Integrales M ltiples. u

1.1 Integral doble de una funcin acotada en un rectngulo. o a

e) Si el rectngulo A es la unin de otros dos rectngulos A1 y A2 , cuya interseccin es un a o a o segmento, entonces: f (x, y) dx dy = f (x, y) dx dy + f (x, y) dx dy.

A1

A2

Demostracin: o Las demostraciones son semejantes a las de una variable.

1.1.1

Integrales reiteradas. Teorema de Fubini.

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

gx (y) dy =

d c

f (x, y) dy.

Entonces la funcin G(x) es integrable en [a, b] y o

b a

G(x) dx =

b a c

gx (y) dy

dx =

f (x, y) dx dy

#Demostracin# o 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 particin P = P1 P2 de A, o donde cada subrectngulo Aij es de la forma [xi1 , xi ] [yj1 , yj ], se tiene a
n,m n

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

mij (xi xi1 )(yj yj1 ) =

i=1 n

mij (yj yj1 ) (xi xi1 ).

m

j=1

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

Mij (xi xi1 )(yj yj1 ) =

i=1

Mij (yj yj1 ) (xi xi1 ).

j=1

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

mij (yj yj1 )

j=1 m j=1 m

mgx (yj yj1 ) = L(gx , P2 ) j

g Mj x (yj yj1 ) = U(gx , P2 )

d c

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

Mij (yj yj1 )

j=1 j=1

d c

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

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

Integrales M ltiples. u

1.1 Integral doble de una funcin acotada en un rectngulo. o a

con lo que
n

n i=1 n i=1

L(f, P ) =
i=1 n

mij (yj yj1 ) (xi xi1 )

m

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

j=1

U(f, P ) =
i=1

Mij (yj yj1 ) (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 anloga se prueba que a Proposicin 1.11 Sean A = [a, b] [c, d] y f : A IR una funcin integrable en A tal que, o o para cada y [c, d], la funcin hy : [a, b] IR denida por hy (x) = f (x, y), es integrable en o [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 funcin integrable y continua en A, entonces o f (x, y) dx dy =

b a c d

f (x, y)dy dx =

d c

b a

f (x, y)dx dy.

Demostracin: o 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 .

Solucin: o 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 ltiples. u

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
6

1.1 Integral doble de una funcin acotada en un rectngulo. o a

Tambin es hy (x) = f (x, y) integrable en [0, 1], luego e 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 ms general que la versin demostrada, del cul la a o a versin dbil es un corolario. A continuacin, exponemos el teorema en su versin fuerte (sin o e o o demostracin, aunque esta prueba es similar a la anterior pero ms compleja). o a Teorema de Fubini 1.14 Sean A = [a, b][c, d] y f : A I una funcin acotada e integrable R o en A. Para cada x [a, b], sea gx : [c, d] IR la funcin denida por gx (y) = f (x, y) y o 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 parmetro a

b a

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

: A I denida por (x) = R

(x, t) dt. Entonces:

a) Si es continua en A I , la funcin es continua en A. o b) Si

x (x, t)

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

b a x (x, t) dt.

se verica que (x) = #Demostracin# o

a) La funcin es continua en un cerrado y acotado luego es uniformemente continua en o AI y, por tanto, para cada > 0 existe un > 0 tal que, si (x, t) (x0 , t0 ) < se verica que |(x, t) (x0 , t0 )| < ba . 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
Integrales M ltiples. u

1.1 Integral doble de una funcin acotada en un rectngulo. o a

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

Denicin 1.16 Se dice que un conjunto B IR2 tiene contenido cero si, y slo si, para o o cada > 0, existe un nmero nito de rectngulos cerrados A1 , A2 , . . . , An , tales que u a
n n

B
i=1

Ai

y
i=1

A(Ai ) < .

Nota: Es claro que los conjuntos que tienen contenido cero son acotados, pues estn contenidos a en la unin nita de conjuntos acotados. o Proposicin 1.17 Si g: [a, b] IR es una funcin integrable en [a, b], entonces su grca o o a G = {(x, y) I 2 : a x b, y = g(x)} es un conjunto de contenido cero de I 2 . R R Demostracin: o Sea > 0. Como g es integrable en [a, b], existe P = {a = x0 < x1 < < xn = b} particin de [a, b], tal que U(g, P ) L(g, P ) < . o

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 grca {(x, y) : xi1 x xi , y = g(x)} est a a n contenida en el rectngulo Ai = [xi1 , xi ] [mi , Mi ] y, por tanto, G Ai . a 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.

Integrales M ltiples. u

1.1 Integral doble de una funcin acotada en un rectngulo. o a

Denicin 1.18 Se dice que un conjunto B IR2 tiene medida cero si, y slo si, para cada o o > 0, existe una sucesin {An }n=1 de rectngulos cerrados tal que o a

B
n=1

An

y
n=1

A(An ) < .

Ejemplo.- I tomado como el conjunto {(n, 0) IR2 : n IN}, es de medida cero en IR2 . N, 1 1 Para cada n IN, tomamos el rectngulo An = [n 2n+1 , n + 2n+1 ] [ , 2 ]. Como, para a 2 cada n I el punto (n, 0) An y A(An ) = n + 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 ) =

= < . 2n+1 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: Proposicin 1.19 Si B IR2 es cerrado y acotado y tiene medida cero, entonces tiene cono tenido cero. Proposicin 1.20 Si {Bn } es una sucesin de conjuntos de IR2 de medida cero, entonces o o n=1 el conjunto B = Bn tiene medida cero.
n=1

Demostracin: o Sea > 0, entonces para cada k I existe una sucesin Ak1 , Ak2 , . . . , Akn , . . . de rectngulos N, o a cerrados que recubren Bk y tal que

{Akn }k,nIN es un recubrimiento numerable de B y adems a

n=1

A(Akn ) <

2k

, entonces la coleccin de todos los o

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

A(Akn ) <

= , 2k 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 I una funcin acotada. R o Entonces f es integrable en A si, y slo si, el conjunto de los puntos de discontinuidad de f en o A tiene medida cero. Demostracin: o La demostracin escapa al nivel de este curso, pero puede encontrarse en el libro Clculo o a 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. Demostracin: o 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.
9

Integrales M ltiples. u

1.2 Integracin sobre conjuntos acotados. o

Ejemplo 1.24 Calcular

Solucin: o La funcin es continua en A luego integrable en A y, por el corolario del teorema de Fubini, o 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

Solucin: o La funcin es continua en A luego integrable en A y, por el corolario del teorema de Fubini, o 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 t y yx 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

Integracin sobre conjuntos acotados. o

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

Sea S IR2 . Para cada funcin f : S IR, consideremos la funcin f : IR2 I denida por o o R f (x, y) =

Denicin 1.26 Una funcin acotada f : S I denida sobre un conjunto acotado S I 2 o o R R es integrable en S si, y slo si, f es integrable en algn rectngulo cerrado A que contenga a o u a S y, escribiremos,
S

f (x, y) dx dy =

f (x, y) dx dy.

Proposicin 1.27 La integral o

f (x, y) dx dy no depende del rectngulo A elegido. a

Demostracin: o Sean A1 y A2 dos rectngulos que contengan a S . Entonces, A1 A2 es un rectngulo que a a tambin contiene a S y, como f es cero fuera de S , es cero en A1 A2 y en A2 A1 (ver e 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 rectngulo elegido. a

10

Integrales M ltiples. u

1.2 Integracin sobre conjuntos acotados. o

A2 A1
A2 A1 A1 A2
A1A2

Fig. 1.3. Independencia del rectngulo. a

1.2.1

Conjuntos medibles.

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

Proposicin 1.30 Un subconjunto acotado S I 2 es medible si, y slo si, su frontera fr(S) o R o tiene contenido cero. Demostracin: o Se tiene que IR2 = int(S) fr(S) ext(S) y la funcin caracter o 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 slo si, fr(S) tiene medida cero. Ahora bien, como fr(S) es un conjunto cerrado y es acotado o por ser S acotado, entonces fr(S) tiene medida cero si, y slo si, tiene contenido cero. o Proposicin 1.31 Sean g1 y g2 dos funciones de [a, b] en I continuas y tales que g1 g2 . o R Entonces: a) El conjunto S = (x, y) IR2 : a x b, g1 (x) y g2 (x) es medible.

b) Si f : S I es una funcin acotada en S y continua en int(S), entonces R o (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.

Integrales M ltiples. u

11

1.2 Integracin sobre conjuntos acotados. o

Demostracin: o a) S es acotado y su frontera es unin de las grcas de las funciones g1 y g2 en [a, b] o a 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 funcin f : S IR una funcin acotada en S y continua en int(S), consideremos la o o f (x, y), si (x, y) S funcin f (x, y) = o 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 hiptesis y, por su denicin, f es continua en ext(S). Luego, el o o conjunto de discontinuidades de f est contenido en fr(S) que tiene contenido cero. a Entonces, f es integrable en cualquier rectngulo que contenga a S y, por tanto, f a es integrable en S . (ii) Sea A = [a, b] [c, d] un rectngulo que contiene a S , consideramos para cada a x [a, b] la funcin gx : [c, d] IR denida por gx (y) = f (x, y). Como dicha o
d y = g2 (x)

A S

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

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

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 ltiples. u

12

1.2 Integracin sobre conjuntos acotados. o

Proposicin 1.32 Sean h1 y h2 dos funciones de [c, d] en IR continuas y tales que h1 h2 o en [c, d]. El conjunto T = {(x, y) : c y d, h1 (y) x h2 (y)} es medible y si f : T I R es una funcin acotada en T y continua en int(T ) entonces f es integrable en T y o 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 regin S limitada por la elipse x2 + y2 = 1 es medible y calcular o a b su rea. a Solucin: o b El conjunto S es S = (x, y) IR2 : a x a, b a2 x2 a a2 x2 . Las funciones a
b

b Fig. 1.5.

b g1 (x) = b a2 x2 y g2 (x) = a a2 x2 son evidentemente continuas en [a, a] y por la a proposicin anterior S es medible. o 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
2

a cos t dt = 2ab

1 + cos 2t dt 2

sen 2t = ab t + 2

= ab.

Ejercicio 1.34 Una pirmide, en el primer octante, est limitada por los planos coordenados a a y el plano x + 2y + 3z = 6. Representar el slido y calcular su volumen mediante una integral o doble. Solucin: o Tomando la funcin que representa al plano, f (x, y) = z = 6x2y , sobre la base, S , de la o 3 pirmide se tiene que a V(P ) =
S

f (x, y) dx dy.

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

Integrales M ltiples. u

1.3 Cambio de variables.

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

(6 x 2y) dx dy = 6.

1.3

Cambio de variables.

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

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 funcin g: U I 2 denida por g(r, ) = (r cos , r sen ) y o R A = {(r, ) I 2 : r 0, 0 2} U . Se tiene, R La funcin g es de clase 1 en U : o 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) I 2 = U . R g(A) = IR2 . En efecto, cada (x, y) IR2 se puede describir tambin mediante la distancia, r , del punto e al origen y el ngulo, , que forma el segmento entre ambos puntos con el semieje positivo a de abcisas. Luego existe (r, ) A tal que g(r, ) = (x, y). La funcin g es inyectiva en int(A) = {(r, ) I 2 : r > 0, 0 < < 2}: o R Si g(r1 , 1 ) = g(r2 , 2 ) =
2 2 r1 cos 1 = r2 cos 2 r1 cos2 1 = r2 cos2 2 = 2 sen2 = r 2 sen2 y sumando r1 sen 1 = r2 sen 2 r1 1 2 2 2 = r 2 , de donde r = r ya que r , r > 0. Por tanto, ambas ecuaciones se tiene que r1 1 2 1 2 2 cos 1 = cos 2 y sen 1 = sen 2 ; de la primera, 2 = 1 2 = 2 1 y, sustituyendo en o la segunda, se tiene que en int(A) debe ser 1 = 2 .

Integrales M ltiples. u

14

1.3 Cambio de variables.

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 funcin o de cambio de variables. Entonces, si B es cualquier subconjunto medible de A y f es una funcin admisible en o 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 I admisible en S y B A medible R 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 funcin f (x, y) = x2 + y 2 en el semic o rculo de IR2 S = (x, y) : x2 + y 2 2ax, y 0 . Solucin: o 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 funcin f (x, y) = x2 + y 2 es admisible en S puesto que por ser continua en o S , las discontinuidades de la funcin o f (x, y) = x2 + y 2 , si (x, y) S 0, si (x, y) S /
r y
y= 2ax x2 r = 2a cos

estn en la frontera de S , que tiene contenido cero por ser S medible. a

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 ecuacin cartesiana x2 + y 2 = 2ax la o ecuacin en polares r2 = 2ar cos y S = g(B) donde o 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
Integrales M ltiples. u

=
0

16a3 . 9
15

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 aplicacin g(u, v) = (u2 v 2 , 2uv). o b) Comprobar que en la integral I = x = u2 v 2 , y = 2uv dado por g . c) Calcular el valor de I . Solucin: o 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 hiptesis del teorema del cambio de variable: o La funcin f es de clase 1 en U = IR2 , porque sus componentes tienen derivadas parciales o continuas en todo punto.

Integrales M ltiples. u

16

1.3 Cambio de variables.

El conjunto A es medible, ya que fr(A) tiene contenido cero, y, evidentemente, Afr(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 u2 v1 = u2 v2 1 2 2u1 v1 = 2u2 v2

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

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

u2 = u2 2 1 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 funcin f (x, y) = o tinuidades de la funcin o

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

f (x, y) =

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

estn en la frontera de S que tiene contenido cero. a 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 . Solucin: o 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 funcin g: IR2 I 2 dada por g(u, v) = (u(1 v), uv) o R es un cambio de variables vlido en un conjunto A con g(A) = S . a Si y = 2x y 0 x 1, se tiene uv = 2u(1 v), luego u = 0 y v IR u = 0 y v = 2 . o 3 Como u = x + y = 3x 0, u = 0 slo para x = 0, luego tenemos los dos casos: o Si y = 2x y x = 0, es decir, en (0, 0), se tiene u = 0 y v I R. Si y = 2x y 0 < x 1, se tiene v =
Integrales M ltiples. u

2 3

y u = x + 2x = 3x (0, 3].
17

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, 0 < u 4

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 integracin vlido. Ahora bien, como A no es medible porque contiene la recta o a 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 medible y a vericar que g(B) = g(A) = S . Por ejemplo, el conjunto a B = (u, v) IR2 :
2 3

v 3, 0 u 4

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, 0 < u < 4

1 1v

Integrales M ltiples. u

18

1.4 Aplicaciones de la integral doble a la mecnica. a

u1 + u1 v1 = u2 + u2 v2 , restando ambas ecuaciones se tiene u1 v1 = u2 v2 u1 = u2 y, como u > 0 en int(B), tambin v1 = v2 y g es inyectiva en int(B). e 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 mecnica. a

Consideremos una lmina delgada que tenga la forma de una regin S I 2 y supongamos que a o R su densidad (masa por unidad de rea) en cada punto viene dada por una funcin integrable a o f : S IR. Entonces la masa total M de la lmina es a M= f (x, y) dx dy.

El centro de masas de la lmina es el punto (, ) de coordenadas a = 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 lmina cuadrada de lado a, la densidad en cada punto es proporcional a al cuadrado de la distancia de ese punto a uno de los vrtices. Hallar el momento de inercia de e dicha lmina respecto a uno de los lados que pasan por ese vrtice. a e Solucin: o Consideremos el cuadrado de vrtices (0, 0), (0, a), (a, a) y (a, 0). Si la densidad f (x, y) en e el punto (x, y) es proporcional al cuadrado de la distancia de (x, y) al vrtice (0, 0), para cada e (x, y) S ser f (x, y) = k(x2 + y 2 ), con k un valor constante. a Si giramos la lmina respecto al eje OX , tenemos que (x, y) = y y el momento de inercia a 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 rectngulo a A = [1, 1] [1, 1].
Integrales M ltiples. u

19

1.5 Ejercicios

1.4 La integral de la funcin f (x, y) = x2 + y 2 sobre una regin S I 2 se reduce a la integral o o R reiterada
1 1+ 1y 2 0 1

1y 2

f (x, y) dx dy.

Determinar la regin S e invertir el orden de integracin para calcularla. o o 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 integracin. o + y 3 x) dx dy directamente y cambiando el orden de integracin. o

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 funcin continua y g: IR I una funcin derivable. Sea la funcin o R o o h: IR I denida por R h(t) = Se pide: a) Expresar h(t) como una integral doble extendida a un cierto recinto S I 2 e invertir R el orden de integracin. o b) Probar que la funcin h es dos veces derivable y calcular h (t). o 1.12 Considerar la aplicacin denida por las ecuaciones: x = u + v e y = v u2 . o a) Calcular el determinante de la matriz jacobiana de la aplicacin. o b) Un tringulo T en el plano U V tiene por vrtices (0, 0), (2, 0) y (0, 2). Representar a e mediante un dibujo, la imagen S en el plano XY . c) Calcular el rea de S mediante una integral doble extendida a S y tambin mediante a e 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 ltiples. u

20