Cap tulo 1 Integral doble

1.1

La integral doble en un rectngulo a

1.1.1 Denicin.- Sea I = [a; b] [c; d] un rectngulo acotado contenido en R2 o a con a < b y c < d. Denotaremos por (I) el area del rectngulo ( es decir, a (b a)(d c) ). 1.1.2 Denicin.- Sea I = [a; b] [c; d] un rectngulo acotado contenido en R2 . o a Se llama particin de I a todo conjunto de la forma P = P1 P2 , donde P1 es una o particin del intervalo [a; b] y P2 es una particin del intervalo [c; d]. o o 1 Observacin: Si P1 = fx0 ; x1 ; : : : ; xn g y P2 = fy0 ; y1 ; : : : ; ym g, entonces P es de o la forma P = P1 P2 = f(x0 ; y0 ); (x0 ; y1 ); : : : ; (xi ; yj ); : : : ; (xn ; ym )g y est formada por (n + 1)(m + 1) puntos de R2 que descomponen al rectngulo I a a 2 en nm subrectngulos Iij = f(x; y) 2 R : xi1 x xi yj1 y yj g para a 1 i n 1 j m, que denominaremos subrectngulos de la particin. a o Se verica: n;m (I) =
i=1;j=1

(Iij )

1.1.3 Denicin.- Se dice que la particin Q = Q1 Q2 de I, es ms na que o o a P = P1 P2 si Pi Qi i = 1; 2: 2 Observacin: 1. Si P es ms na que Q, entonces cada subrectngulo de P est o a a a contenido en algn subrectngulo de Q. u a 2. Si P y Q son particiones de I, entonces P \ Q tambin es una particin de I, pero, e o en general, P [ Q no lo es. (>Por qu?). e

3. Dadas dos particiones cualesquiera de I existe una particin que es simultneao a mente ms na que ambas. (Por ejemplo, >cul?). a a 1.1.4 Denicin.- Sea f : I 7 R una funcin acotada y P una particin de I. o ! o o Para cada subrectngulo Iij de P sean: a mij = inf ff (x; y) : (x; y) 2 Iij g Los nmeros u L(P; f ) =
i=1;j=1 n;m P

Mij = supff (x; y) : (x; y) 2 Iij g U (P; f ) =

n;m P

mij (Iij )

i=1;j=1

Mij (Iij )

se denominan, respectivamente, suma inferior y suma superior de la funcin f reso pecto de la particin P. o 3 Observacin: Si f (x; y) 0, entonces el paralelep o pedo de base Iij y altura mij est contenido en el conjunto Vij = f(x; y; z) : (x; y) 2 Iij ; 0 z f (x; y)g En a consecuencia, la suma inferior representa el volumen total de mn paralelep pedos, cada uno de los cuales est inscrito en un conjunto de la forma Vij . Anlogamente a a se interpreta la suma superior respecto del paraleleppedo Iij [0; Mij ] circunscrito al conjunto Vij . 1.1.5 Proposicin.- Sea P(I) el conjunto de todas las particiones de I. Entonces: o 1. Para toda P 2 P(I), se tiene L(f; P ) U (f; P ). 2. Si P; Q 2 P(I) y Q es ms na que P , se tiene: a L(f; P ) L(f; Q) U(f; Q) U (f; P )

3. Si P; Q 2 P(I), se tiene: L(f; P ) U (f; Q). 4. supfL(f; P ) : P 2 Pg inf fU(f; P ) : P 2 Pg 4 Observacin: Como consecuencia de las propiedades anteriores, el conjunto de o sumas inferiores de f est acotado superiormente y el conjunto de sumas superiores a lo est inferiormente, por tanto, estos conjuntos tendrn, respectivamente, extremo a a y U. superior y extremo inferior y que denotaremos por L 1.1.6 Denicin.- Sean I = [a; b] [c; d] y f : I 7 R una funcin acotada. Se o ! o dice que f es integrable en I si L = U. En tal caso, el nmero I = L = U se denomina u integral de f en I y se representa por
ZZ

f (x; y) dxdy

o, ms brevemente, por a

R R

f.

Ejemplos: La funcin f : I 7 R; denida por f (x; y) = k, para todo (x; y) 2 I, es integrable o ! R R y I k dxdy = k(I). La funcin f : [0; 2] [1; 4] 7 R denida por o ! f (x; y) = no es integrable. 5 Observacin: Los conjuntos de la forma I = [a; b] [c; d] con a = b c = d o o 2 se denominan subrectngulos degenerados de R . Si f : I 7 R es una funcin a ! o R R acotada en I, entonces es integrable y se tiene que I f = 0, ya que para cualquier particin de I, el area de cada subrectngulo es 0. o a En lo sucesivo utilizaremos rectngulos no degenerados. a 1.1.7 Proposicin.- (Criterio de integrabilidad de Riemann) Sea f : I 7 R o ! acotada. Entonces f es integrable si, y solo si, para cada > 0 existe una particin o P de I tal que U (f; P ) L(f; P ) < : 1.1.8 Denicin.- (Denicin de volumen) Sea f 0 e integrable en I. Llao o maremos conjunto de ordenadas de f sobre I a S = f(x; y; z) : (x; y) 2 I 0 z f (x; y)g
(

0 1

si x 2 Q e y 2 Q en los dems casos a

Es lgico a partir de la observacin 3 y de la denicin de integral o del criterio de o o o integrabilidad de Riemann, denir el volumen del conjunto de ordenadas vol(S) =
ZZ

f
I

1.1.9 Denicin.- (Sumas de Riemann) o Sean I = [a; b] [c; d] y f : I 7 R una funcin acotada. P una particin de ! o o I e fIij : i = 1 : : : n; j = 1 : : : mg el conjunto de todos los subrectngulos de P. a Llamaremos eleccin en P a todo conjunto de puntos de I de la forma o E = feij 2 Iij : i = 1 : : : n; j = 1 : : : mg y suma de Riemann asociada a la terna f; P; E al nmero: u S(f; P ; E) =
n;m X

f (eij )(Iij )

i=1;j=1

6 Observacin: Es inmediato ver que para toda P 2 P y toda eleccin E se tiene o o L(f; P ) S(f; P ; E) U (f; P ) 1.1.10 Proposicin.- Sean I = [a; b] [c; d] y f : I 7 R una funcin acotada y o ! o P una particin de I. Entonces f es integrable en I si, y slo si existe un nmero real o o u A tal que para cada > 0 existe una particin P 2 P tal que para toda particin o o Q ms na que P y para cualquier eleccin E en Q se cumple: a o jS(f; Q; E) Aj < Adems, si f es integrable en I, se tiene que A = a
R R
I

f.

7 Observacin: El resultado anterior signica, en particular, que si la funcin es o o integrable en I, entonces las sumas de Riemann de la funcin tienden a la integral o cuando el dimetro de la particin, es decir el area de los subrectngulos de la a o a particin, tiende a cero. o 1 Propiedades: Si f y g son funciones integrables en I, 1. Tambin lo son f + g y tf; t 2 R y se cumple: e
ZZ

(f + g) =
ZZ

ZZ

f+

ZZ

tf = t

ZZ

f
I I

2. Si f (x; y) 0 para todo (x; y) 2 I, entonces

R R

f 0.
R R
I

3. Si f (x; y) g(x; y) para todo (x; y) 2 I, entonces

ZZ

R R

g.

4. Si m = inf ff (x; y) : (x; y) 2 Ig y M = supff (x; y) : (x; y) 2 Ig, entonces: m (I) 5. (I) =
R R
I I

f (x; y) dxdy M (I)

dxdy.

6. Si el rectngulo I se subdivide en dos subrectngulos I1 e I2 , de forma que I1 [I2 = a a I y la interseccin de ambos es un segmento, entonces f es integrable en I si, y o slo si, lo es en I1 y en I2 . En ese caso, o
ZZ

f=
I

ZZ

f+

I1

ZZ

I2

7. Si f es integrable en I, tambin lo es jf j y se cumple: e j . 1.1.11 Proposicin.- Sean I = [a; b] [c; d] y f : I 7 R una funcin continua. o ! o Entonces: 1. f es integrable en I. 2. Existe un punto (; ) 2 I tal que f (; )(I) =
R R
I

ZZ

fj

ZZ

jf j

f.

8 Observacin: La parte 2) de la proposicin anterior se conoce como Teorema del o o Valor Medio para integrales dobles y admite la siguiente interpretacin geomtrica: o e si f (x; y) 0 para cada (x; y) 2 I,: existe un punto (; ) 2 I tal que el volumen del conjunto V = f(x; y; z) : (x; y) 2 I; 0 z f (x; y)g es igual al de un prisma de base el rectngulo I y altura f (; ). a Si f es integrable en I, se llama valor medio de f en I al valor: 1 ZZ f dxdy (I) I Si f es continua en I, el teorema anterior garantiza que este valor medio se alcanza en algn punto. u Contenido cero. 1.1.12 Denicin.- Se dice que un subconjunto B R2 tiene contenido cero (abreo viadamente, c(B) = 0), si para cada > 0 existe un nmero nito de rectngulos u a 2 de R , I1 : : : Ip , tal que: B
p P 1 k=1 p S

Ik

(Ik ) .

9 Observacin: Los rectngulos considerados en la denicin anterior pueden ser o a o cerrados, o de otros tipos ( es decir, conteniendo a su frontera o no ). Intuitivamente, un conjunto de contenido cero es aquel que encierra o dene un area nula. Ejemplos: Un conjunto nito de puntos de R2 tiene contenido cero.

 Un segmento en R2 tiene contenido cero. Un rectngulo no vac de R2 no tiene contenido cero. a o 1.1.13 Proposicin.- Sea I = [a; b] un intervalo de R; si f : I 7 R es continua, o ! entonces su grca, es decir el conjunto B = f(x; f (x)) : x 2 Ig, tiene contenido a cero. Ejemplos:
1 El conjunto f(x; x sen ( x )) : x 2 (0; 1]g [ f(0; 0)g tiene contenido cero. 1 El conjunto f(x; sen ( x )) : x 2 (0; 1]g tiene contenido cero.(>Por qu?). e

2 Propiedades: 1. Si B C y C tiene contenido cero, entonces B tiene contenido cero. 2. Si B1 ; : : : ; Bq tienen contenido cero, B =
k=1 q [

Bk tiene contenido cero.

3. Si B tiene contenido cero, entonces B es un conjunto acotado de R2 . 1.1.14 Proposicin.- Sean I = [a; b] [c; d] y f : I 7 R una funcin acotada y o ! o B = f(x; y) : f no es continua en (x; y)g. Si B tiene contenido cero, entonces f es integrable. 10 Observacin: El rec o proco de esta proposicin no es cierto, existen funciones o integrables cuyo conjunto de puntos de discontinuidad no tiene contenido cero. Estas funciones no aparecen frecuentemente en la prctica. Puede verse un ejemplo en a [Baxandall-Liebeck, Vector Calculus, Ed. Oxford ]

1.2

Integral doble en un conjunto acotado

En esta seccin vamos a extender el concepto de integral doble a conjuntos ms o a generales del plano y a caracterizar los conjuntos del plano a los que se les puede asignar un area nita. 1.2.1 Denicin.- Sea f : S 7 R una funcin denida y acotada sobre un cono ! o 2 junto acotado S contenido en R . Si I es un rectngulo que contiene a S, se denomina a funcin caracter o stica o prolongacin caracter o stica de f a I, a la funcin f : I 7 R, o ~ ! denida por: ~ f (x; y) =
8 < f (x; y) : 0;

si (x; y) 2 I S

si (x; y) 2 S

1.2.2 Denicin.- Con las notaciones anteriores, se dice que f es integrable en S o ~ si, y slo si, su prolongacin caracter o o stica f es integrable, y se dene:
ZZ

f (x; y) dxdy =
S

ZZ

~ f (x; y) dxdy

11 Observacin: Resulta fcil probar que la denicin anterior es independiente o a o del rectngulo I considerado, con la unica condicin de que contenga al conjunto S. a o Vamos a caracterizar ahora qu conjuntos del plano tienen area; a stos es a los e e que podemos extender el concepto de integral doble: 1.2.3 Proposicin.- Sea S un subconjunto acotado de R2 ; la funcin idnticamente o o e 1 en S es integrable en dicho conjunto si, y slo si, F r(S) es un conjunto de contenido o cero. 1.2.4 Denicin.- Un subconjunto S de R2 se denomina medible Jordan ( o simo plemente medible) si es acotado y F r(S) es de contenido cero. En ese caso se dene el area del conjunto S como: (S) =
ZZ

1 dxdy

12 Observacin: Los conjuntos medibles del plano son, por tanto, los conjuntos o acotados a los que es posible asignar un area. Entre stos, los que consideraremos e con ms frecuencia son los siguientes: a Regin proyectable en x: son los conjuntos de la forma o S = f(x; y) : a x b; '1 (x) y '2 (x)g

siendo '1 y '2 funciones reales continuas en el intervalo [a,b]. Regin proyectable en y: son los conjuntos de la forma o S = f(x; y) : c y d; 1 (y) x 2 (y)g

siendo 1 y 2 funciones reales continuas en el intervalo [c,d]. Regin proyectable en x-y: son los conjuntos que son proyectables tanto en x o como en y. Regin proyectable: son los conjuntos que se pueden descomponer en un nmero o u nito de conjuntos de los tipos anteriores.

10

3 Propiedades: En general, son las mismas que en el apartado 1.1, pero referidas ahora a un conjunto medible Jordan cualquiera S. La propiedad de sumabilidad de la integral respecto del dominio ( propiedad 6) ), es la unica que presenta alguna diferencia; se expresa ahora en la siguiente forma: Si el conjunto S se subdivide en dos conjuntos medibles Jordan S1 y S2 , de forma que S1 [ S2 = S y la interseccin o de ambos es un conjunto de contenido cero, entonces f es integrable en S si, y slo o si, lo es en S1 y en S2 . En ese caso,
ZZ

f=

ZZ

f+
S1

ZZ

S2

1.2.5 Proposicin.- Sea f : S 7 R una funcin denida y acotada sobre un o ! o 2 conjunto medible Jordan S, contenido en R . Si el conjunto de puntos de discontinuidad de la funcin f en int(S) tiene contenido cero, entonces f es integrable en o S.

1.3

Reduccin de la integral doble a integrales simples iteo radas.

1.3.1 Denicin.- Sean D = f(x; y) : a x b; '1 (x) y '2 (x)g o y f : D 7 R una funcin acotada. ! o ! Si para cada x 2 [a; b], la funcin fx : ['1 (x); '2 (x)] 7 R, denida por fx (y) = o f (x; y) es integrable en ['1 (x); '2 (x)], tiene sentido la funcin g : [a; b] 7 R o ! R '2 (x) denida por g(x) = '1 (x) f (x; y)dy . Si, a su vez, la funcin g es integrable en o [a; b], entonces se denomina integral iterada o sucesiva de la funcin f respecto de o y,x a:
Z
b a

'2 (x)

f (x; y)dy)dx:

'1 (x)

De manera anloga se dene la otra integral iterada (respecto de x,y): a

Z
d

2 (y)

f (x; y)dx)dy:
1 (y)

Vamos a enunciar ahora un teorema que permite el clculo efectivo de integrales a dobles, reduciendo stas al clculo de integrales simples iteradas. e a 1.3.2 Teorema.- Sea S una regin proyectable en x y f : S 7 R una funcin o ! o denida y acotada en S, continua en int(S). Entonces: 1. f es integrable en S. 2. Existe la integral iterada de f respecto de y,x. 3.
R R
S

f (x; y) dxdy =

R b R '2 (x)
a ( '1 (x)

f (x; y)dy)dx

11

Nota: Se tiene un resultado anlogo si la regin S es proyectable en y. En ese caso, a o

ZZ

f (x; y) dxdy =
S

2 (y)

f (x; y)dx)dy
1 (y)

Interpretacin geomtrica: o e Consideremos una funcin continua y positiva f : [a; b] [c; d] 7 R. o ! Sea fto ; t1 ; : : : ; tn g una particin del intervalo [a; b] y dividamos [a; b] [c; d] en n o bandas por medio de los segmentos fti g [c; d]. Se verica:
ZZ

f=

[a;b][c;d]

n X ZZ i=1

f
[ti1 ;ti ][c;d]

o a Si denimos gx (y) = f (x; y), entonces el area de la regin debajo del grco de f y por encima de fxg [c; d] (regin que el lector sombrear en el dibujo ), es: o a
Z
[c;d]

gx =

f (x; y) dy
c

Si los ti estn \sucientemente prximos", el volumen de la regin debajo del grco a o o a de f y por encima de [ti1 ; ti ] [c; d] es aproximadamente [ti ti1 ] As pues,
R R
[a;b][c;d]

f (x; y) dy
c

para cada

x 2 [ti1 ; ti ]:

f es aproximadamente igual a la suma: (ti ti1 )

Z
d

n X i=1

f (xi ; y) dy

donde xi 2 [ti1 ; ti ]

12

que constituye una suma de Riemann para la integral reiterada

Z
b

"Z

f (x; y) dy dx

Parece \razonable" esperar que

ZZ

f=

[a;b][c;d]

"Z

d c

f (x; y) dy dx

(1.1)

Esto es cierto cuando f es continua, aunque presenta algunas variaciones en el caso general. ( En el prrafo anterior hemos entrecomillado conceptos intuitivos, sin precisar a matemticamente, y de ninguna manera se debe confundir esta \justicacin geoma o e trica" con una demostracin que, por otra parte, puede estudiarse sin excesiva dio cultad en el libro Clculo en Variedades, de Spivak) a

Insistiendo en la idea anterior, A(x) =

Z
d

f (x; y) dy

representa el rea de la seccin dada al slido por el plano x =cte, luego la frmula a o o o 1.1 con otra notacin puede escribirse como: o vol(S) =
ZZ

f=

[a;b][c;d]

A(x) dx

(1.2)

donde S es el conjunto de ordenadas de f sobre [a; b] [c; d]. La frmula 1.2 se llama o frecuentemente \Principio de Cavalieri", no siendo imprescindible que el conjunto de integracin sea un rectngulo. o a

1.4

Cambio de variable

Coordenadas curvil neas Antes de denir con precisin un cambio de variables en R2 , vamos a introducir o algunas ideas que pueden aclarar su signicado. Si consideramos un sistema de coordenadas cartesianas rectangulares en el plano, cada punto queda caracterizado de forma unica por un par de nmeros reales (x,y), u 2 2 2 que denen un vector en R . Si : R 7 R es una funcin denida por (u; v) = ! o 2 (1 (u; v); 2 (u; v)), de forma que cada punto (x; y) 2 R queda determinado por un unico par (u; v), se dice que se ha establecido un nuevo sistema de coordenadas en el plano. Frecuentemente, ocurre que las funciones adecuadas para estudiar un

13

determinado problema no cumplen con el requisito de ser biyecciones del plano en s mismo, pero tambin frecuentemente ocurre que estas funciones, restringidas a e dominios adecuados en los planos XY y U V s son biyectivas, y que es en esos dominios en donde interesa resolver el problema. En estos casos, se dice que se ha establecido un nuevo sistema de coordenadas en el correspondiente dominio. Para cada valor u0 del dominio, las ecuaciones (x; y) = (u0 ; v) denen una curva en el plano XY . Estas curvas gozan de la propiedad de que por cada punto de la regin imagen, pasa una y slo una de ellas. Igualmente, para cada v0 del dominio, o o las ecuaciones (x; y) = (u; v0 ) denen una curva, y stas tienen la misma propiedad. e Estas curvas se denominan curvas coordenadas y slo en unos pocos casos son rectas. o De ah que a estos sistemas de coordenadas se les llame coordenadas curvil neas. Precisemos a continuacin el tipo de cambios de coordenadas que utilizaremos en la o prctica: a o 1.4.1 Denicin.- Sea U un subconjunto abierto de R2 . Una funcin vectorial o 2 : U 7 R se llama cambio de coordenadas en U si verica las tres propiedades ! siguientes: 1. es de clase C 1 en U. 2. es inyectiva en U. 3. El determinante jacobiano J (u; v) 60 para cada (u; v) 2 U . = 13 Observacin: Las propiedades 1) y 3) establecen que la funcin es una aplio o cacin abierta [Proposicin 1.5.6, Laguna-Marijun], es decir, que transforma los o o a abiertos de U ( y en particular el propio U) en abiertos de (U ); la propiedad 2) o establece adems que es biyectiva de U en (U ), y 1 es una funcin de clase a 1 C ((U )), en virtud del teorema de la funcin inversa (proposicin 5.1.5, Lagunao o Marijun). Por ultimo, como consecuencia de la regla de la cadena, si a 2 U , a 1 J (a) = J 1 ((a)) . Todo lo anterior indica que 1 es tambin un cambio de coordenadas en (U). e Ejemplos: Cambios lineales de coordenadas Uno de los cambios ms sencillos es el denido por una matriz A, no singular ( es a decir, con det(A) 60). Si consideramos la base cannica en R2 , las columnas de = o 2 la matriz constituyen una base en R y las correspondientes curvas coordenadas vendr dadas por rectas en la direccin de estos dos vectores. En ese caso, cada an o

14

rectngulo R en el plano U V se tansformar en un paralelogramo y la relacin a a o entre sus areas vendr dada por: a ((R)) = j det(A)j(R) Coordenadas polares en R2 . Sea U = f(r; ) : r > 0; 0 < < 2g y denida por: (r; ) = (r cos ; r sen ): La imagen (U ) es el conjunto R2 f(x; 0) : x 0g, la funcin es un cambio o de coordenadas de U en (U ) y J (r; ) = det

cos sen r sen r cos

=r

Las curvas coordenadas son, en este caso: x = r0 cos y = r0 sen

2 es decir, la circunferencia x2 + y 2 = r0 , y

x = r cos 0 que son semirrectas de angulo 0 . Coordenadas parablicas o

y = r sen 0

Sea U = f(u; v) = u > 0g y denida por: (u; v) = (u2 v 2 ; uv):

La imagen (U ) es el conjunto R2 f(0; 0)g, la funcin es un cambio de cooro denadas de U en (U ) y J (u; v) = det

2u 2v v u

= 2(u2 + v 2 )

(Se observa que el determinante se anula slo en el punto (0; 0).) o Las curvas coordenadas son, en este caso, semiejes coordenados (sin el punto (0; 0)), si u0 = 0 o v0 = 0 y las parbolas a x = u2 0 x= (con u0 60 y v0 60). = = y2 u2 0

y2 2 v0 2 v0

15

1.4.2 Proposicin.- Sea U un subconjunto abierto de R2 y : U 7 R2 una o ! funcin de clase C 1 (U ). Si S es un conjunto medible con S [ F r(S) U y es un o cambio de coordenadas en int(S), entonces: 1. (S) es medible en R2 . 2. F r((S)) (F r(S)). Si adems es un cambio de coordenadas en U, se tiene que a F r((S)) = (F r(S)): 14 Observacin: En las condiciones de la proposicin anterior y si slo es un o o o cambio de coordenadas en el interior de S, no tiene por qu existir funcin inversa e o de (S) en S , sino slo de int (S) en (int(S)) ( que es abierto). o La proposicin anterior nos ser de utilidad para determinar los dominios de inteo a gracin al realizar un cambio de variables en una integral. o Teorema del cambio de variable 1.4.3 Teorema.- Sea U un subconjunto abierto de R2 , S un conjunto medible con S [ F r(S) U y : U 7 R2 una funcin de clase C 1 (U) que es un cambio de ! o coordenadas en int(S). Si f : (S) 7 R es una funcin acotada cuyo conjunto de ! o puntos de discontinuidad en (S) es de contenido cero, entonces: 1. f es integrable en (S). 2. (f )jJ j es integrable en S. 3.
R R
(S)

f (x; y) dxdy =

R R

S (f

)(u; v)jJ (u; v)j dudv.

[Lang, Anlisis Matemtico, pg. 431] a a 15 Observacin: Signicado \geomtrico" del Jacobiano del cambio de coordeo e nadas: Si el cambio de coordenadas es lineal, es decir, dado por una matriz no singular A, el teorema de cambio de variable aplicado a la funcin idnticamente 1 indica que: o e ((S)) = j det(A)j(S) puesto que en ese caso el jacobiano del cambio de coordenadas es det(A). Puesto que toda funcin de clase C 1 se puede aproximar localmente por una transformacin o o lineal, se puede considerar el jacobiano del cambio de coordenadas como un factor de la variacin local de area del recinto de integracin al ser transformado. o o

16

El siguiente resultado es una consecuencia del teorema del cambio de variable y permite calcular de forma rpida algunas integrales: a 1.4.4 Proposicin.- Sea D = f(x; y)= a x b (x) y (x)g donde es o una funcin continua y no negativa en el intervalo [a; b]. o 1. Sea f (x; y) una funcin denida en D tal que f (x; y) = f (x; y) 8(x; y) 2 D. o Entonces: ZZ f (x; y) dxdy = 0
D

2. Sea f (x; y) una funcin denida en D tal que f (x; y) = f (x; y) 8(x; y) 2 D. o Entonces: ZZ ZZ f (x; y) dxdy = 2 f (x; y) dxdy
D D1

donde D1 = f(x; y) 2 D : a x b 0 y (x)g (Demostrad como ejercicio ambos resultados) 16 Observacin: Se obtiene un resultado anlogo si el conjunto D es simtrico o a e respecto del eje OY y la funcin es impar ( caso de integral nula) o par respecto de o la variable x, en D.

17

1.5

Ejercicios

1. Demostrar los siguientes enunciados: (a) Dado un rectngulo acotado I de R2 y dos funciones acotadas denidas en I, f a y g tales que f + g es integrable en I, pero f no lo es, demostrar que entonces g tampoco es integrable en I. (b) La funcin o
8 < 2

(c) Sea f (x; y) = x2 + y 2 + 1 y D = f(x; y) : x2 + y 2 4g; entonces 4

ZZ
D

es integrable en I = [0; 1] [0; 2] y

f (x; y) = :

0; si (x; y) 2 [0; 1] [1; 2]

R R
I

si (x; y) 2 [0; 1] [0; 1] f = 2.

f 20:

(d) Sea D un conjunto compacto en R2 , de area 3 unidades y f una funcin continua o R R en D, con D f = 6. Existe un punto (x0 ; y0 ) 2 D con f (x0 ; y0 ) = 2. 2. Determinar, razonadamente, si son ciertos o no los siguientes enunciados: (a) Las sumas inferiores de Riemann decrecen para particiones ms nas y las a superiores crecen. (b) Dado un rectngulo acotado I de R2 y una funcin integrable f denida en l, a o e R R si I f < 0, entonces f (x; y) < 0 para cada (x; y) 2 I. 3. Calcular los l mites de integracin en la integral o tes dominios
R R
D

f (x; y) dxdy , para los siguien-

(a) Un tringulo con vrtices O(0,0), A(1,0) y B(1,1) a e (b) Un sector circular OAB con centro en O(0,0), cuyo arco tiene de extremos A(1,1) y B(-1,1) (c) Un anillo circular limitado por las circunferencias cuyos radios son r = 1; R = 2 y cuyo centro comn est situado en el punto O(0,0) u a (d) El limitado por la hiprbola y 2 x2 = 1 y por la circunferencia x2 + y 2 = 9 e (Se considera el recinto que contiene al origen) (e) D = f (x; y) = 4x2 9y ; x2 + y 2 25 g

18

4. Escribir las ecuaciones de las l neas que limitan los dominios en los que estn a denidas las siguientes integrales y dibujar los dominios a)
2 R

2 6 4

c)

3 R 0

"p

y2 1 4

2y R

f (x; y) dx7 dy 5 f (x; y) dy dx

#

b) 4
1

3 R

2 "

2x R
x 3

f (x; y) dy 5 dx f (x; y) dx dy
#

25x2 R 0

d)

4 R 0

10y R y

5. Cambiar el orden de integracin en la siguiente expresin: o o

Z
1

"Z

x2

f (x; y) dy dx +

"Z

p 1 4xx2 3

f (x; y) dy dx

6. Calcular la integral:
Z
4

"Z

x2 x ln dx dy y

7. Si D es el dominio limitado por el rectngulo cuyos lados son las rectas x = a 1 1; x = 1; y = 0; y = 2 , calcular:
ZZ
D

y p dx dy 1 xy
2

8. Calcular la integral:

4 0

"Z

p x

dy dx (x + y 2 )1=2

9. Calcular las siguientes integrales dobles:

R R
D

e y dx dy; x2 y 2 dx dy; dx dy;

D limitado por y 2 = x; x = 0; y = 1; y = 1=2: D tringulo de vrtices O(0; 0); A(1; 1)y B(1; 1) a e D limitado por y = D : [0; ] [0; ] 2 2
x2 ;y 2

R p R
D

R R R R

x D x2 +y 2

= x; con y 1 . 2

j cos(x + y)j dx dy;

#

10. Calcular las siguientes integrales y dibujar los dominios a los que se extienden: (a) (b)
R 0

"

1+cos x R 0

y sen x dy dx x sen y dx dy
2 2

2 R

"

3 cos y R 0

19

11. Sea f una funcin real, continua en R y g una funcin real, derivable en R. Sea o o h(t) =
Z t Z
0 t x

g(y) dy f (x) dx;

t 2 R:

(a) Expresar h(t) como una integral doble extendida a cierto recinto S de R2 e invertir el orden de integracin en la integral iterada. o (b) Probar que la funcin h es dos veces derivable y calcular h00 (t). o 12. Calcular el area de los siguientes dominios:
b (a) El limitado por y = a x y la parbola y 2 = ba x a p p (b) El limitado por las parbolas y = x; y = 2 x y la recta x = 4. a
2

13. Calcular el volumen del slido limitado por las supercies o x2 + y 2 = 4; y + z = 4; z = 0:

14. Calcular el volumen del slido limitado por la supercie z = 2x2 + y 2 + 1, los o planos coordenados y el plano x + y 1 = 0 15. Calcular el volumen limitado por x2 + z 2 = a2 ; x2 + y 2 = a2 16. Calcular el volumen limitado por el paraboloide z = x2 + y 2 , y los planos z = 0; y = 1; y = 2x; y = 6 x 17. Hacer el cambio de variable u = x + y;
Z
0 1 Z 1 0

v = x y; en la integral

f (x; y) dy dx
i

bx 18. Transformar la integral 0c ax f (x; y) dy dx, siendo introduciendo las nuevas variables u = x + y; uv = y

R hR

0 < a < b y c > 0,

19. Sea F la regin del primer cuadrante limitada por las curvas y x = 0; o 2 2 y x = 1 xy = a xy = b (0 < a < b): Calcular la integral
ZZ
F

(y 2 x2 )xy (x2 + y 2 ) dxdy

utilizando un cambio de variable que transforme F en un rectngulo. a 20. Hallar

R R
D

r drd , siendo D = f(r; )= a r a(1 + cos ) 2 [=2; =2] g

Dibujar el recinto anterior en el plano (r; ) y su conjunto imagen por la aplicacin o correspondiente al cambio a coordenadas polares, (es decir, en el plano OXY ) y determinar a qu corresponde el valor de la integral. e

20

R p R 21. Calcular D a2 x2 y 2 dx dy , siendo D el dominio limitado por la hoja de lemniscata (x2 + y 2 )2 = a2 (x2 y 2 ); (x 0)

22. Probar que: 2

f (x) f (y) dy dx =

b a

f (x) dx

!2

23. La temperatura de una placa es proporcional a su distancia al origen. Dicha placa ocupa la regin D = f(x; y) : x2 + y 2 25g. Sabiendo que en el punto (1; 0) su o temperatura es de 100o C, calcular la temperatura media de esa placa. 24. Calcular D (1 + x2 + y 2 ) 2 dxdy, donde D es el trozo de c rculo x2 + y 2 1, en el primer cuadrante. 25. Calcular D exp xy dxdy, donde D es el tringulo limitado por las rectas x = 0, a x+y y = 0 y x + y = 1. 26. Calcular los siguientes volmenes: u p p p (a) f(x; y; z)= x + y 1; 0 z xyg (b) f(x; y; z)= (c) f(x; y; z)=
x2 a2 x2 a2

R R

R R

+ +

y2 b2 y2 b2

1; +
z2 c2

0z 2;
x2 a2

x2 a2

y2 b2 z2 a2

(d) El limitado por x = 0;

ax = by; y=
x2 2

z2 g c2 2 + y2 = b

y2 g b2

1:

(e) El limitado por z = 4 y 2 ; (g) El limitado por z =

xy ; a

z = 0:
x2 +y 2 a

(f) El limitado por x2 + y 2 = 2ax;

z=

z = 0:

x2 + y 2 = ax;

z 0:

21