Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es
ndice
1. Introduccin
2. Conjuntos de tipos I y II
OCW-ULL 2011/12
1.
1/8
Introduccin
Habiendo estudiado la teora de la integral de Riemann sobre rectngulos del plano, nuestro propsito
ahora es extenderla a otros recintos ms generales. En primer lugar consideraremos regiones proyectables
sobre los ejes coordenados (conjuntos de tipo I y de tipo II), para luego ocuparnos del caso ms general, los
conjuntos medibles Jordan.
y
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xx
x
xx
xx
xx
xx
x
xxxxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxxxxxx
xxx
xx
xxx
xx
Sea f una funcin definida y acotada sobre un conjunto acotado S R2 . Sea Q un rectngulo en R2 que
contiene a S. Definimos una extensin fe de f a Q por:
fe(x, y) =
(1)
(x, y) Q \ S.
0,
ZZ
f=
S
fe.
Esta definicin es consistente, ya que no depende del rectngulo Q que contenga a S. En efecto, supongamos que J es otro rectngulo en R2 que contiene a S. Entonces I = Q J es un rectngulo cuyos vrtices
determinan particiones de Q y de J en subrectngulos Qi (i N, 0 i n) y J j ( j N, 0 j m), respectiC LCULO I NTEGRAL V ECTORIAL
OCW-ULL 2011/12
2/8
I. M ARRERO
fb(x, y) =
0,
y tenemos en cuenta que fe y fb son nulas fuera de I y coinciden sobre I, encontramos que
ZZ
Q
ZZ
fe =
ZZ
fe =
ZZ
fb =
fb,
2.
RR
S
fy
RR
S
f (x, y) dx dy.
Conjuntos de tipos I y II
Ahora centraremos nuestra atencin en conjuntos S particulares, los conjuntos de tipo I y de tipo II.
3/8
y
y = 2(x)
d
x = 1(y)
x = 2(y)
S
T
y = 1(x)
c
a
Centraremos nuestra atencin en el estudio de la integrabilidad sobre regiones de tipo I, ya que el correspondiente a las regiones de tipo II admite un tratamiento anlogo.
Si f est definida y acotada en una regin S de tipo I, incluimos f en un rectngulo Q y definimos fe en Q
como en (1). Las discontinuidades de fe en Q sern las que f tenga en S y adems aquellos puntos de S donde
f no es cero. Pretendemos probar que S tiene contenido nulo, y a tal fin bastar con demostrar la siguiente:
Proposicin 2.2. La grfica de una funcin continua : [a, b] R es un conjunto de contenido nulo en R2 .
D EMOSTRACIN . Sea A = (x, y) R2 : a x b, y = (x) la grfica de . Como es uniformemente
continua en [a, b], dado > 0 existe una particin P = {a = x0 < x1 < . . . < xn = b} de [a, b] tal que la diferencia entre el supremo y el nfimo de en cada uno de los subintervalos determinados por P no excede /(b a)
(Figura 3). Si Fi denota el rectngulo Fi = [xi1 , xi ] [(xi1 ), (xi )] (i N, 1 i n), entonces A
Sn
i=1 Fi
y
n
i=1
i=1
Teorema 2.3. Sea S una regin de tipo I, comprendida entre las grficas de las funciones continuas 1 y 2 ,
con 1 (x) 2 (x) (x [a, b]). Si f est definida y acotada en S y es continua en su interior, entonces existe
RR
S
fy
f (x, y) dx dy =
S
Z 2 (x)
Z b
ZZ
dx
a
f (x, y) dy.
1 (x)
OCW-ULL 2011/12
4/8
I. M ARRERO
/ (b-a)
D EMOSTRACIN . Sea Q = [a, b] [c, d] un rectngulo que contiene a S, y sea fe la extensin de f a Q que
se anula en Q \ S. Los nicos puntos de discontinuidad posibles de fe en Q son los de S y, ya que S tiene
contenido nulo, encontramos que fe es integrable sobre Q. Luego, est definida
RR
S
f=
RR
Q
fe.
A(x) =
c
fe(x, y) dy =
Z 2 (x)
f (x, y) dy,
1 (x)
puesto que fe(x, ) tiene a lo sumo dos discontinuidades en [c, d] y se anula fuera de [1 (x), 2 (x)]. Adems, si M
es una cota de f entonces A(x) es continua y est acotada por M(d c) en ]a, b[. Para establecer la afirmacin de
continuidad, fijemos x ]a, b[. Dado > 0 sea > 0 tal que |h| < implica | f (x + h, y) f (x, y)| < /3(d c)
y |i (x + h) i (x)| < /3M (i = 1, 2), y escribamos
A(x + h) A(x) =
Z 2 (x+h)
1 (x+h)
f (x + h, y) dy
Z 2 (x)
f (x, y) dy
1 (x)
Z 2 (x+h)
[ f (x + h, y) f (x, y)] dy +
1 (x+h)
Z 2 (x+h)
2 (x)
f (x, y) dy
Z 1 (x+h)
f (x, y) dy.
1 (x)
Entonces
|A(x + h) A(x)|
Z 2 (x+h)
1 (x+h)
OCW-ULL 2011/12
Z (x+h)
Z (x+h)
2
1
| f (x + h, y) f (x, y)| dy +
f (x, y) dy +
f (x, y) dy
(x)
(x)
2
(d c) + 2M
= .
3(d c)
3M
C LCULO I NTEGRAL V ECTORIAL
5/8
Redefiniendo ahora A(x) en x = a y x = b para hacerla continua en [a, b], cabe aplicar el teorema de Fubini
para rectngulos y concluir que
ZZ
Z b
ZZ
f=
S
fe =
Z d
Z 2 (x)
Z b
fe(x, y) dy =
dx
dx
a
f (x, y) dy,
1 (x)
como se afirmaba.
3.
S = (x, y) R2 : 1 (x) y 2 (x), x [a, b] ,
donde 1 y 2 son funciones continuas en [a, b] tales que 1 (x) 2 (x) (x [a, b]).
3.1.
Clculo de reas
ZZ
dx dy =
S
RR
S dx dy
es el rea de S.
R ESOLUCIN . Como acabamos de ver, el rea viene dada por la integral doble extendida a D de la funcin
idnticamente 1. El recinto de integracin D (Figura 4) es simultneamente de tipos I y II. Por tanto, podemos
calcular el rea como una integral iterada en cualquier orden.
Ntese que y = x e y = x2 se cortan en los puntos (0, 0) y (1, 1).
Si consideramos D como un recinto de tipo I (orden dy dx): 1 (x) = x2 , 2 (x) = x (0 x 1). Por tanto,
Z 1
ZZ
dx dy =
D
Z 1
Z x
dx
x2
dy =
0
1 1 1
x x2 dx = = .
2 3 6
OCW-ULL 2011/12
6/8
I. M ARRERO
Z y
Z 1
ZZ
dx dy =
dx =
dy
0
Z 1
( y y) dy =
y (0 y 1). Por
2 1 1
= .
3 2 6
Como caba esperar, hemos obtenido el mismo resultado independientemente del orden de integracin.
(1,1)
1
y=x
y = x2
3.2.
Clculo de volmenes
O( f ) = (x, y, z) R3 : 0 z f (x, y) ((x, y) S)
se denomina conjunto de ordenadas de f . Bajo las hiptesis del Teorema 2.3, fijado x = x0 [a, b] la integral
Z 2 (x0 )
1 (x0 )
f (x0 , y) dy
Z b
ZZ
f (x, y) dx dy =
S
dx
a
f (x, y) dy
1 (x)
RR
S (g
7/8
y
rea de la seccin =
a
2(x)
(x)f (x,y) dy
1
b
y = 2(x)
y = 1(x)
x
Ejemplo 3.2. Una pirmide est limitada por los tres planos coordenados y el plano x + 2y + 3z = 6. Representar el slido y calcular su volumen por integracin doble.
R ESOLUCIN . Dividiendo por 6 los dos miembros de la ecuacin x + 2y + 3z = 6 vemos que el plano correspondiente determina sobre los ejes coordenados segmentos de longitud 6, 3 y 2, respectivamente. La proyeccin del plano x + 2y + 3z = 6 sobre el plano OXY viene dada por x + 2y = 6, recta que determina sobre los
ejes segmentos de longitud 6 y 3. El slido se halla representado en la Figura 6.
Explicitando z en la ecuacin del plano encontramos que
z=
6 x 2y
.
3
Por tanto, si S es el recinto del plano OXY limitado por las rectas x = 0, y = 0, x + 2y = 6, resulta
Z 3
ZZ
z dx dy =
dy
0
Z 3
= 2
Z 62y
dy
= 2
dx
(6 2y) dy
Z 3
Z 62y
6 x 2y
1
3
dy
0
Z
1 3
Z 62y
Z 3
dx
x dx
(6 2y)2 dy
2
3
Z
2 3
Z 62y
Z 3
y dy
0
dx
0
(6 2y)y dy
= 18 6 6 = 6,
C LCULO I NTEGRAL V ECTORIAL
OCW-ULL 2011/12
8/8
I. M ARRERO
4.
Definicin 4.1. Un conjunto C R2 es medible Jordan si est acotado y su frontera tiene contenido nulo.
Ejemplo 4.2. Las regiones de tipo I y de tipo II son conjuntos medibles Jordan.
D( f ) D( fe) D( f ) C,
donde C tiene contenido nulo. Luego, D( fe) es de medida nula si, y slo si, D( f ) lo es.
Teniendo en cuenta el Teorema 4.3 se puede desarrollar (no lo haremos aqu) una teora de la integracin sobre conjuntos medibles Jordan en la que tienen cabida resultados anlogos a los que se establecieron
anteriormente para rectngulos.
OCW-ULL 2011/12