Anlisis Matemtico II

Unidad 4 Evidencia de Aprendizaje

APLICACIONES DE LA INTEGRAL DE LEBESGUE

17 de marzo de 2015
Autor: Laura Pontn Becerril

Anlisis Matemtico II
Unidad 4 Evidencia de Aprendizaje
Instrucciones: Resuelve correctamente lo que se solicita cada ejercicio.
Sea ( ) una sucesin de funciones en + (, ) y sea () =
=1 (). Demostrar que

1.

= para todo .
=1

() = 1 () + 2 () + + () +
Entonces:
.

Comentado [LAPB1]: Por linealidad de la integral

= 1 + 2 + + + = (1 + 2 + + + ) =

=1

Como cada ( ) es integrable entonces () =

=1 () es una funcin integrable
y....
Comentado [LAPB2]: por el Teorema 7 pg. 19:

Anlisis Matemtico II | 17/03/2015

se tiene:

= (

) =

=1

=1

2.
De acuerdo a lo estudiado en el curso realiza lo que se pide en los siguientes
incisos:
a)

Sean = [, ], = [,], = la medida de Lebesgue, y > . Sea

: continua dada por:

() =
demostrar que la integral:

,
+

=
[,]

()
.
+

Hint: Expresar la funcin como () = ( + + ) =

= (),
+
()
donde
= ( )
si [, ) y recordar la integral de Riemann.

Tenemos entonces que:

1

() = 1+ =
=0 () [0,1] = [0,1](=0 ())

Como cada es positivo e integrable () es integrable y adems:

(
[0,1]

=0

()) = = ((1 ) 1+2 ) =

=0 [0,1]

=0 [0,1]

( 1+2 ) ( 1+(2+1) )
=0 [0,1]

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

Entonces:

=0

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

1 1+ + 1+2 1+3 + + ( 1+2 ) ( 1+(2+1) )

= (1) 1+
=0

Anlisis Matemtico II | 17/03/2015

Dado que:

Comentado [LAPB3]: Donde la suma se puede presentar as

()) = (

=0

[0,1]

(1) 1+ )

=0

[0,1]

Como = [0,1], = [0,1]

(
=0

[0,1]

=0 0

=0 [0,1]

(1) 1+ = (1) (
=0

(1) 1+ ) = ( ) = (1) 1+ =

=0

+
1+
) = (1)
+ 0
+
=0

Como 1 y > 0 + > 0

=
=0

[0,1]

(1)
+

b)
i)

Usando el inciso anterior da una expresin en series para:

Anlisis Matemtico II | 17/03/2015

Por la expansin en serie de ln(1 + ) =

=1

(1)+1

que converge si || 1

1+ =2
=1
se encuentra en el radio de convergencia de la serie
Entonces:
(1)+1

=1

ln 2 =

() (0 )
( 0 )
!
1
(1) (0 ) =
=1
1 + 0

Comentado [LAPB4]: por la equivalencia entre la integral de Riemann

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

Entonces

Comentado [LAPB5]: Expansin de Taylor alrededor de 0

1
=
1!

1 2
1
= 2
2!
2
2 3 1 3
=
3!
3
6
1
4 = 4
4!
4

Comentado [LAPB6]: Expansin

(1) +1
1
1
1
() = ln(1 + ) = 2 + 3 4 + =
(1,1]
2
3
4
+1
=0

1+ =2
=1
Que se encuentra en el radio de convergencia

ln 2 =
=

ii)

()
+

Sea
() =

1
1 +

=1y =2

() =

1
1 + 2

Anlisis Matemtico II | 17/03/2015

Hint: Expresa estas funciones con y apropiados.

Ahora
1

1 (1) = /4 y, si < 1 1+ 2 = 1

Pero tambin:

1
(1)+1 2+2
= 1 2 + 4 + (1) 2 +
2
1+
1 + 2

1 2+2
(1)

1 1

= 1 + +
+ (1)+1

4
3 5
2 + 1
1
+ 2
0

Cuando la integral de la derecha 0 pues:

1
2+2
1
< 2+2 = lim
=0
2

1+
2
+3
0

1
3

1
5

Anlisis Matemtico II | 17/03/2015

| = 1 + =
=

()
+

Comentado [LAPB7]: Integrando de 0 a 1

3.
Demostrar que si la funcin es una funcin medible, entonces para cada > 0 el conjunto
{ : |()| } tiene medida finita.
Como es medible,
Comentado [LAPB8]: Por el teorema 3 pg. 8. del Programa desarrollado

|()| es medible.
Sea : tal funcin medible.
Sin embargo, con slo esto como hiptesis, la proporcin es falsa
Contraejemplo
Siendo la funcin identidad de en , cuyo valor absoluto es |()| = || medible > 0 el conjunto
{ : |()| } es (, ] [, )
siendo de medida infinita | en la medida de un intervalo es su longitud.

Anlisis Matemtico II | 17/03/2015

Grficamente:

4.
a) Sea un conjunto, y sea = (). Define la medida numerable como : [0, ] por
() = si es un conjunto infinito y () = , donde es el nmero de elementos contenidos en
cuando ste es finito. Demostrar que (, , ) es un espacio de medida.

Sea un conjunto y = () como el conjunto potencia de , una -lgebra de de (, ) es

un espacio medible.
Siendo una medida definida sobre al ser = () una -lgebra, y como la medida
numerable asigna como medida la cantidad de elementos de cada subconjunto, se tiene que () = 0.
Ahora, siendo como est definida esta medida, para cualquier | () 0.
Al ser sucesin de elementos disjuntos entre s de , siendo un conjunto potencia, se encuentra
formada por conjuntos de un solo elemento (de cada elemento de )

( ) = =
=1

=1

Esto ya que la medida de cada sera 1 al ser la medida numerable y al ser disjuntos entre s,
adems de suponer finito.

Para el caso de que no es finito, de todas formas es numerable y (

=1 ) = =1 =

es una medida definida sobre y (, ) es un espacio medible,

Anlisis Matemtico II | 17/03/2015

la terna (, , ) es un espacio de medida

b) Sea la medida numerable en . Demostrar que la funcin : es integrable si y slo si

=1|()| < . Tambin demostrar en este caso que = =1 ().

Sea =
=1 ().
Al ser el dominio de los naturales, para cada () devuelve un nmero real.
Por analoga con el rea bajo la curva, es decir, al particionar un conjunto de nmeros naturales donde
est definida obtenemos slo un rectngulo por cada natural y cuya base es igual a 0 (al tratarse slo de
naturales que son un subconjunto de reales la medida es 0).

As las sumas por defecto y por exceso coinciden pero estas slo constituyen la altura de los rectngulos,
Entonces:

= = =

(),

=1

Ahora
es medible e integrable, una funcin es integrable es acotada

Comentado [LAPB9]: por el criterio de Lebesgue de integrabilidad

De no ser as existira | () = y no se cumple

=1|()| < .
Para que la integral no tome el valor infinito las sumas parciales de () debern estar acotadas,
: |()|
1.
Prueba que una serie es absolutamente convergente si y slo si, el
conjunto de todas las sumas finitas formadas con los trminos est acotado.
Para demostrar los dos sentidos de la implicacin
como es absolutamente convergente entonces el conjunto de las sumas finitas se encuentra
acotado

Tenemos la siguiente mayoracin

| | | |
=1

=1

y partiendo de que es absolutamente convergente

=1

Anlisis Matemtico II | 17/03/2015

Sea una suma finita de k trminos de la serie cuyos subndices son {1 , 2 , }

Sea L el lmite de la serie de los valores absolutos

Comentado [LAPB10]: Como ya lo demostramos en la Evidencia de

Aprendizaje de la Unidad 1, numeral 3

Comentado [LAPB11]: Por la desigualdad del tringulo

| | | | | | | |
=1

=1

=1

=1

=1

y luego en el otro sentido

Un conjunto de sumas finitas acotado entonces es absolutamente convergente
Siendo L la cota superior de las sumas finitas y M la inferior consideremos una cota nica que sea
la de mayor valor absoluto y la volvemos a llamar L entonces se cumplir:

=1

Considerando series nicamente con trminos slo positivos se cumple que la suma es menor
que L
Considerando las series nicamente con trminos slo negativos cumple que la suma es mayor
que -L

Sea una suma de los valores absolutos por la parte de los positivos sumar menos de L

Sea una suma de los valores absolutos por la parte de los negativos tambin sumar
menos de L

Partiendo de ah la suma total ser menor o igual que 2L.

Corolario: Como no pueden existir dos lmites distintos puesto que habra infinitos trminos

Anlisis Matemtico II | 17/03/2015

que nos llevaran de un lmite al otro, considerando una suma suficientemente grande de esos

trminos se sobrepasara cualquier cota y por lo tanto la hiptesis quedara contradicha.

concluimos que
=1|()| converge, es decir =1|()| <

=1|()| < , () est acotada
en otro caso habra en los naturales | () = o () =

=1|()| sera divergente.

Una funcin es integrable es acotada,

es integrable

Comentado [LAPB12]: Por el criterio de integrabilidad de Lebesgue:

2.
Sea { } una sucesin de funciones integrables 0 +1 c.d.q. para cada . Demostrar
que 0 c.d.q. si y slo si 0.
La sucesin es montona decreciente c.d.q.
Para el primer sentido de la implicacin:
0 lim inf = 0
Como 0 c.d.q. lim inf < .
lim inf define una funcin integrable ;

Comentado [LAPB13]: Por el Lema de Fatou

lim inf lim inf ,

0 lim inf

0,

0. lim inf = 0
Como +1 , +1 a medida que aumenta 0.
Considerando la integral de cada en el lmite = 0 en el lmite = 0

lim inf = 0

Anlisis Matemtico II | 17/03/2015

la sucesin es decreciente y 0 +1

10