Anlisis Matemtico II

Unidad 4 Actividad 2

CLCULO DE INTEGRALES
15 de marzo de 2015
Autor: Laura Pontn Becerril

Anlisis Matemtico II
Unidad 4 Actividad 2
Instrucciones: Resuelve los siguientes problemas.
1. Sea () = ((), ) donde es medible. Muestra que .
Sea { } una sucesin de funciones que convergen a 0. () = min((), ) es la funcin
() | para un cierto () sea mnimo las funciones de la sucesin que satisfacen esto cumplen
. .
Sea 0, medible | .

lim inf( ) =

Entonces:
lim inf( ) lim inf ( ) = lim sup
Considerando:

Anlisis Matemtico II | 15/03/2015

lim inf( ) = ( ) = lim sup

lim sup
Siendo que considerando el lmite del lado izquierdo de la desigualdad

2. Demuestra que toda funcin : Riemann integrable es Lebesgue integrable y

que en este caso ambas integrales coinciden.
Para la medida lineal de Lebesgue en la recta, de la pgina 12 del material desarrollado:
y cito:

Anlisis Matemtico II | 15/03/2015

Comentado [LAPB1]: Inicia esa demostracin

Comentado [LAPB2]: Aqu termina esa demostracin

Anlisis Matemtico II | 15/03/2015

Ahora

Como la medida es la longitud de un intervalo = las integrales coinciden.

Entonces
Sea : , consideraremos que ahora hay que extender la nocin de longitud de un intervalo en
al de volumen de un rectngulo en .

Para 2 el conjunto [1 , 1 ][2 , 2 ] asignamos la medida de Lebesgue como el rea del rectngulo
formado por el producto cartesiano de los dos intervalos.

sea = [1 , 1 ][2 , 2 ] [ , ] .

Comentado [LAPB3]: Generalizacin

Donde el rectngulo cerrado tiene como volumen:

() = (1 1 )(2 2 ) ( )
Dado que la longitud de cada intervalo es ( ).
Al ser un rectngulo cerrado, es un conjunto medible.
Como es Riemann integrable, es acotada y para saber si es Lebesgue integrable hay que definir su
dominio como el rectngulo | con () = 0
podemos restringir a como una funcin continua en por lo que suponemos un abierto de
, | 1 () = ( 1 () ) ( 1 () ) donde, como 1 () , tiene
medida 0 y

es Lebesgue medible.
Ahora el conjunto 1 () es un abierto de por continuidad de en ese conjunto.
abierto | 1 () =
Dicho conjunto es medible , 1 () es medible y con esto hemos extendido que una
funcin continua en c.d.q., es medible en nuestro caso es Lebesgue medible.
Definiendo una particin de | en cada intervalo [ , ] tiene una particin y sea pues el
conjunto de todos los rectngulos de la forma:
= [1 , 1 ][2 , 2 ] [ , ]

Por lo que si definimos una suma inferior y otra superior tomando en cuenta que es acotada
(, ) = ()() , (, ) = ()() () = inf{():
} , () = sup{(): } y () es el volumen de .
Al construir por cada particin una funcin simple:
() = () () ,

() = () ()

Se tiene que 0 () (), 0 () () y por propiedad de la integral de Lebesgue para

funciones no negativas:

Anlisis Matemtico II | 15/03/2015

Entonces , son consecutivos y adems = (1 , 2 , , ).

() () = ()() = (, )

() () ()() = (, )

Entonces, tomando supremos en todas las particiones de se tiene de () () =

()() = (, ),
.

() ()

Tomando nfimos en todas las particiones de se tiene de () () ()() =

(, ):
.

() () () = ()
Si la funcin no se encuentra restringida a ser no negativa, podemos considerar + , la parte
positiva y negativa de | = +

Como es Riemann integrable, lo sern + ,

() + () = ()

() + () = ()

Anlisis Matemtico II | 15/03/2015

si es Riemann integrable es Lebesgue integrable y:

.

() = () ,

3. Sea un subconjunto compacto de y : una funcin continua tal que .

Se define {(, ) , ()} el conjunto de puntos bajo la
grfica de . Prueba que es compacto y que
=

Como es compacto y 2 lo podemos representar como [, ][, ], donde es cerrado

compacto.
Donde los puntos estn entre 0 () este conjunto que denominaremos T, es acotado,
hay una bola cerrada | (, ) para algn () 3 .
Dicha bola es un rectngulo cerrado, compacto y siendo T cerrado y contenido en un compacto, T
es compacto.

y a dos compactos que son cerrados el conjunto e cerrado.

Como 2 , es una funcin de 2 variables el conjunto , ser 3 .
Entonces un conjunto es compacto es cerrado y acotado, como es cerrado, acotado
y 3 , es compacto

Comentado [LAPB4]: Por el teorema de Heine-Borel

Ahora como:
es una funcin caracterstica de donde vale 1 si un punto est en y 0 en otro caso.
Por lo que si (, ) 3 = 3 0 = 0
Siendo acotado y medible, la integral existe o est definida en si el conjunto de puntos
donde es discontinua es de medida nula.
.

Lo mismo vale para 3 y al trabajar con espacios eucldeos 3 = 3 1

.
2 (, )

el volumen del conjunto o recinto . Y tambin : =

Para el calculo de varias variables, dicha integral es el volumen entre la superficie (, ) y la regin
2 y la regin entre la grfica de y el compacto , es el conjunto

ambas integrales definen el mismo volumen de la misma regin de 3

=
3

Anlisis Matemtico II | 15/03/2015

Siendo esta ltima integral

4. Considera la funcin : dada por

(, ) (, )
(, ) {( + )
(, ) (, )

a) Prueba que la funcin (, ) es integrable en para toda , la funcin

(, ) es integrable en para todo , y que las integrales
( (, )) , ( (, )), existen y son distintas.
Primero; en el espacio eucldeo 2 la medida de (0,1)2 es el rea de la regin [0,1][0,1].
Donde (, ) es continua en [0,1][0,1] excepto en = = 0.
La integral doble de una funcin (, ) continua, sobre un rectngulo = [, ][, ] es igual a
la integral iterada en cualquier sentido:
Comentado [LAPB5]: Por el teorema de Fubini del clculo multivariable

( (, )) = ( (, ))

Como en dicho rectngulo una discontinuidad, no cumple el teorema de Fubini y hay que
considerar que las dos integrales iteradas son distintas.
Ahora, para (, ) suponiendo que sea medible, presentar una discontinuidad en =
pero en (0,1)2 = = 0 ser integrable dado que es continua excepto en un
conjunto de nmeros de medida nula.
Como slo se presenta la discontinuidad en = = 0 de medida nula, (, ) es integrable

Anlisis Matemtico II | 15/03/2015

b) Es es una funcin integrable en ?, Por qu?

En el sentido Riemann no porque la funcin presenta una discontinuidad en 0.

En el sentido Lebesgue si es integrable pues slo es discontinua en 0 y este es un conjunto de medida
nula.

5. Muestra que = , donde () = + .

1

=
0

= ,
1

1 + 2 2

Comentado [LAPB6]: Integracin

Comentado [LAPB7]: Cambio de variable

1 1
=

2
2
1+
0 1 + 2

= ln

1
1 1 2
1
2 )|

=
ln(1
+

2 0 1 + 2
2
0

= 1 + 2
= 2

1
1
1
1
1
1
[(ln(1 + 2 )) ln 1] =
ln(1 + 2 )| =
ln(1 + 2 2 )| =
ln(1 + 2 )
2
2
2
2
0
0

lim = lim
0

1
lim ln(1 + 2 )
ln(1 + 2 ) =
2
lim 2

lim ln(1 + 2 ) =
Donde el lmite del denominador es un infinito de orden superior
En

lim ln(1+2 )
lim 2

el lmite lim 2 ms rpido que lim ln(1 + 2 )

1
lim ln(1 + 2 )
= 0 = lim
lim 2
0

Anlisis Matemtico II | 15/03/2015

1
lim
=0
2

Evaluacin
1

1 + 2 2

2
2
=
2 3
0 1+
3
1

(1)2
(0)2
2
2
=(
)(
)
2 (1)3
2 (0)3
1+
1+
3
3

(2 )
(2)
(2 )
=(
)=(
)(
)
0
1 + (3 )
1 + (3 )
1 + (3)

0
(2 )
(2)
0
0
=
= =0
(
)=

0
0
1
+
0
1
1+( )
1 + (3)
3
lim

= 0

Anlisis Matemtico II | 15/03/2015