Teorema de Convergencia

jhony issac ortiz corahua

29 de noviembre de 2017

Teorema de la convergencia dominada

Sea g una función integrable Lebesgue y sea fn una sucesión de funciones medibles tal
que f (x) = lı́m fn (x) y |fn (x)| ≤ g(x) .Entonces:
n→∞
Z Z
f = lı́m fn
n→∞

Demostracion

Observemos en primer Rlugar que cada función R g − fn es medible y no negativa. Usando el

lema de Fatou resulta (g − f ) ≤ lı́m inf (g − f n).
n→∞ R R R R
Ahora bien, |f | ≤ g, luego |f | es integrable y por lo tanto g− f ≤ g−lı́m sup fn .Esto
n→∞
prueba que: Z Z
f ≥ lı́m sup fn (1)
n→∞

A continuación observamos que cada función g + fn es medible

R y no negativa, y aplicando
de nuevo el Lema de fatou resulta que (g + f ) ≤ lı́m inf (g + f n).Luego (g + f ) ≤
R n→∞
lı́m inf (g + f n) y por lo tanto:
n→∞
Z Z
f ≤ lı́m inf fn (2)
n→∞

De (1) y(2) se obtiene que:

R R
f = lı́m fn . 
n→∞

1
44 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Ejercicio 43 Calcula
Z 1
log (n + x) −x
lim e cos xdx
n→∞ 0 n
Como 0 < x < 1
¯ ¯
¯ log (n + x) −x ¯ log (n + x) −x (∗)
¯ e cos x¯= e |cos x| ≤
¯ n ¯ n

log (n + x) log (n + 1) log (n + 1) n + 1 1

(∗) ≤ ≤ ≤ 1 + ≤ 2 ∀n
n n | n {z
+ 1 }| {zn } n
≤1 1
≤1+ n

0<x<1
≤ 2e−x |cos x| ≤ 2 ∀n

Si definimos

g : [0, 1] → [0, ∞]

x → g (x) = 2

Como g es continua, y por lo tanto, g es una función medible Borel y además

como g es una función Riemann- integrable en [0, 1] pues
Z 1 Z 1
g(x)dx = 2dx = 2 < ∞
0 0

lo que implica que g es integrable en el sentido de Lebesgue en [0, 1], o lo que es

igual g ∈L1 (µ). Verificandose también |fn | ≤ g µ-c.t.p. ∀n, lo que nos pone en las
hipotesis del Teorema de la convergencia dominada.
Que permite intercambiar el límite y la integral
Z 1 Z 1 Z 1
log (n + x) −x log (n + x) −x
lim e cos xdx = lim e cos xdx = 0dx = 0
n→∞ 0 n 0 n→∞ n 0