1
Series de términos positivos.
• Series de términos positivos.
• Criterio lacunar de Cauchy.
• Aplicaciones del criterio lacunar de Cauchy.
• El número e.
Series de términos positivos.
Teor.: Una serie de términos positivos converge si y sólo si la sucesión de sus sumas
parciales es acotada.
P∞
Dem.: Sea n=1 an con an ≥ 0 ∀n ∈ N una serie de términos positivos.
Pn
Sean Sn := k=1 ak , n ∈ N, sus sumas parciales.
Entonces, Sn+1 − Sn = an+1 ≥ 0 ∀n ∈ N.
{Sn } es una sucesión monótona creciente y ya demostramos que las
Por lo tanto,
sucesiones monótonas convergen si y sólo si están acotadas.
Análisis Real I -2- Semana 10 – Clase 1
Criterio lacunar de Cauchy.
Teor. [Criterio lacunar de Cauchy]: {an } una sucesión monótona de-
Sea
P∞
creciente de términos positivos. Entonces, n=1 an converge si y sólo si
P∞ k
k=0 2 a2k converge.
Dem.: Sea {an } una sucesión de términos positivos, monótona decreciente:
a 1 ≥ a 2 ≥ · · · ≥ a n ≥ · · · ≥ 0.
Sean Sn := a1 + a2 + · · · + an y Tk := a1 + 2a2 + · · · + 2k a2k
P∞ P∞ k
las sumas parciales de las series n=1 an y k=0 2 a2k , respectivamente.
⇐= Para cada k ∈ N, sea n ∈ N tal que 2k+1 > n. Entonces,
Sn ≤ a1 + (a2 + a3 ) + · · · + (a2k + · · · + a2k+1 −1 )
| {z } | {z }
2 2k
≤ a1 + 2a2 + · · · + 2k a2k = Tk .
P∞
Por lo tanto, k=0 2k a2k converge =⇒ {Tk } acotada =⇒ {Sn } acotada
P∞
=⇒ n=1 an converge.
Análisis Real I -3- Semana 10 – Clase 1
=⇒ Para cada k ∈ N, sea n ∈ N tal que n ≥ 2k . Entonces,
Sn ≥ a1 + a2 + (a3 + a4 ) + · · · + (a2k−1 +1 + · · · + a2k )
| {z } | {z }
2 2 k−1
1
≥ a1 + a2 + 2a4 + · · · + 2k−1 a2k
2
1 k
1
= a1 + 2a2 + 4a4 + · · · + 2 a2k = Tk .
2 2
P∞
Por lo tanto, n=1 an converge =⇒ {Sn } acotada =⇒ {Tk } acotada
P∞ k
=⇒ k=0 2 a2k converge.
Análisis Real I -4- Semana 10 – Clase 1
Aplicaciones del criterio lacunar de Cauchy.
P∞ 1
Teor.: n=1 np converge si y sólo si p > 1.
1 1 n
Dem.: Si p ≤ 0, entonces np ≥ 1 ∀n ∈ N =⇒ np →
6 0
P∞ 1
=⇒ n=1 np no converge.
Sip > 0, entonces n1p ≥ (n+1)
1
p ∀n ∈ N.
1
=⇒ np es una sucesión monótona decreciente de términos positivos.
Por lo tanto, se puede aplicar el criterio lacunar de Cauchy:
P∞ 1
P∞ 2k
P∞ 1
k
n=1 np converge ⇐⇒ k=0 (2k )p = k=0 2p−1 converge
| {z }
1 serie geométrica
⇐⇒ 2p−1 < 1 ⇐⇒ p > 1.
P∞ 1 1
Corol.: La serie armónica n=1 n diverge, pese a que n → 0.
Análisis Real I -5- Semana 10 – Clase 1
No hemos definido las funciones elementales: exp, log, sen, cos, etc.
Sin embargo supondremos que están definidas y que satisfacen las propiedades
básicas que conocemos del curso de Cálculo.
En particular, log : (0, +∞) → R es una función biyectiva, estrictamente
creciente y log(1) = 0.
P∞ 1
Teor.: n=2 n(log n)p converge si y sólo si p > 1.
Dem.: Ej. (Ver el Teor. 3.29 del libro de Rudin.)
Análisis Real I -6- Semana 10 – Clase 1
El número e.
P∞ 1
Veamos que la serie n=0 n! converge.
n−1 1 1
En efecto, ∀n ≥ 1, 2 · · 2} ≤ 2 · · · n = n! =⇒
= |2 ·{z n! ≤ 2n−1 .
n−1
P∞ 1
Entonces, dado que n=1 2 n−1 es una serie geométrica convergente, por el
P∞ 1
criterio de comparación n=0 n! también converge.
P∞ 1
Def.: e := n=0 n! .
Veamos que 2 < e < 3.
En efecto, por un ladoe = 1 + 1 + 12 + · · · + n!
1
+ ··· > 1 + 1 = 2
P∞ 1
P∞
1 n 1
y por el otro e < 1 + n=1 2 n−1 = 1 + n=0 2 = 1 + 1− 1
= 3.
2
1 n
Teor.: lim 1 + n = e.
n
Dem.: Ej. (Ver el Teor. 3.31 del libro de Rudin.)
Análisis Real I -7- Semana 10 – Clase 1
El número e puede calcularse aproximadamente mediante las sumas parciales de
P∞ 1
la serie n=0 n! que lo define. Veamos el error que se comete si se aproxima e
Pn 1
por la suma parcial n-ésima Sn := k=0 k! :
∞
1
X 1 1 1
0 ≤ e − Sn = = + + + ···
k! (n + 1)! (n + 2)! (n + 3)!
k=n+1
" #
1 1 1
< 1+ + 2 + ···
(n + 1)! (n + 1) (n + 1)
∞
1 X 1 1
= k
= .
(n + 1)! n!n
k=0 (n + 1)
| {z }
1
1 = n+1
n
1−
n+1
1
Es decir que 0 < e − Sn < ∀n ∈ N.
n!n
S10 y demuestra que 0 < e − S10 < 10−7 .
Ej. .: Calcula
En consecuencia, S10 permite determinar las primeras 7 cifras decimales de e.
Análisis Real I -8- Semana 10 – Clase 1
Teor.: El número e es irracional.
m
Dem.: Por el absurdo. Supongamos que e ∈ Q =⇒ ∃m, n ∈ N : e = n.
m 1
Sustituimos en la desigualdad anterior: 0< − Sn < .
n n!n
n
X n! 1
Multiplicamos por n!: 0 < (n − 1)!m − < < 1.
| {z } k! n
k=0
∈N | {z }
∈N
n
X n!
Sea z := (n − 1)!m − . Entonces z ∈ N y 0 < z < 1.
k!
k=0
I =<I
Pero todos los naturales son mayores o iguales que 1. >
Análisis Real I -9- Semana 10 – Clase 1