Capítulo 5
Capítulo 5
Capítulo 5
Sucesiones y series
Sucesiones
Una sucesión se puede definir como una función cuyo dominio es el conjunto de los números
naturales. Aunque una sucesión es una función, es común representar las sucesiones empleando
subíndices en lugar de la notación habitual de la función.
Por ejemplo, en la sucesión {1,2,3,4, … , 𝑛}, podemos denotar a cada uno de los términos de la forma:
𝑎1 = 1, 𝑎2 = 2, 𝑎3 = 3, … , 𝑎𝑛 = 𝑛
El termino 𝑎𝑛 se le llama termino n-ésimo de la sucesión, y por lo regular viene dado por alguna
fórmula, también se suele utilizar la notación {𝑎𝑛 } 𝑛=1
∞
o simplemente {𝑎𝑛 } para denotar a la sucesión
completa.
Ejemplo. Determine los 5 primeros términos de la sucesión cuyo término n-ésimo es 𝑎𝑛 = 1/𝑛2 :
Solución. Directamente a partir del término n-ésimo tendremos que:
1 1 1 1 1 1 1 1 1 1 1 1 1
𝑎1 = 2
= 1, 𝑎2 = 2 = , 𝑎3 = 2 = , 𝑎4 = 2 = , 𝑎5 = 2 = → {1, , , , }
1 2 4 3 9 4 16 5 25 4 9 16 25
Ejemplo. Determine el termino n-ésimo de la sucesión a partir de los valores indicados:
1 2 6 24
{ ,− , ,− ,…}
5 25 125 625
Solución. Observe que en los numeradores se tiene el patrón 1!, 2!, 3!, 4! y en los denominadores se
tienen potencias de 5, por lo que podemos concluir, también se ve que los signos se alternan, por lo
que el termino n-ésimo debe ser: 𝑎𝑛 = (−1)𝑛+1 𝑛!⁄5𝑛 y puede iniciar desde 𝑛 = 1.
Una sucesión se puede representar colocando sus términos sobre una recta o se puede graficar el
termino n-ésimo en el plano cartesiano haciendo 𝑎𝑛 = 𝑓(𝑛), ahora bien, se debe tener presente, que
como su dominio es el conjunto de los números naturales, esto implica que la gráfica debe ser un
conjunto de puntos aislados de la forma: (1, 𝑎1 ), (2, 𝑎2 ), … , (𝑛, 𝑎𝑛 ), …
Límite de una sucesión
Una sucesión de números reales {𝑥𝑛 } 𝑛=1
∞
se dice ser convergente, si existe un número real 𝐿, tal que
∀𝜀 > 0 existe un número natural 𝑛(𝜀) tal que:
|𝑥𝑛 − 𝐿| < 𝜀 para todo número natural 𝑛 ≥ 𝑛(𝜀).
Una sucesión que no posee límite se dice ser divergente. La definición anterior se puede interpretar
de la siguiente forma, si una sucesión posee un límite 𝐿, entonces para cualquier valor positivo 𝜀
podemos determinar un numero natural 𝑛(𝜀) de tal forma que todos los términos de la sucesión
queden contenidos en el intervalo |𝑥𝑛 − 𝐿| < 𝜀 para todo natural 𝑛 ≥ 𝑛(𝜀).
Observe que:
|𝑥𝑛 − 𝐿| < 𝜀 → −𝜀 < 𝑥𝑛 − 𝐿 < 𝜀 → 𝐿 − 𝜀 < 𝑥𝑛 < 𝐿 + 𝜀 → (𝐿 − 𝜀, 𝐿 + 𝜀)
Ejemplo. Determine el límite de la siguiente sucesión cuyo término n-ésimo es 𝑎𝑛 = 2𝑛2 /(𝑛2 + 1):
Solución. Aplicando limite directamente tendremos que:
2𝑛2 2
lim = lim =2
2
𝑛→∞ 𝑛 + 1 𝑛→∞ 1
1+ 2
𝑛
Por lo tanto, podemos concluir que la sucesión converge a 2, esto quiere decir que para valores
grandes de 𝑛, la sucesión se acerca a 2.
Ejemplo. Aplique la definición de límite de una sucesión para determinar a partir de qué número
natural 𝑛(𝜀) la diferencia entre la sucesión y el límite es menor que 𝜀 = 0.05 para el ejemplo anterior:
Solución. A partir de la definición tendremos que:
2𝑛2 2𝑛2 − 2𝑛2 − 2 −2 2
| 2 − 2| < 0.05 → | 2
| < 0.05 → | 2 | < 0.05 → 2 < 0.05
𝑛 +1 𝑛 +1 𝑛 +1 𝑛 +1
2𝑛2
| 2 − 2| < 0.05
𝑛 +1
3) lim (𝑎𝑛 𝑏𝑛 ) = 𝐿1 𝐿2
𝑛→∞
𝑎𝑛 𝐿1
4) lim ( )= ∀𝑏𝑛 , 𝐿2 ≠ 0
𝑛→∞ 𝑏𝑛 𝐿2
Teorema (compresión para sucesiones). Sean 𝑎𝑛 → 𝐿 y 𝑏𝑛 → 𝐿 cuando 𝑛 → ∞, y sea {𝑐𝑛 } una
sucesión, si se cumple que 𝑎𝑛 ≤ 𝑐𝑛 ≤ 𝑏𝑛 para todo natural, entonces 𝑐𝑛 → 𝐿 cuando 𝑛 → ∞.
Continuidad vía sucesiones
La continuidad de una función en un punto 𝑥0 = 𝑐 también se puede expresar en términos de
sucesiones. Recuerde que si 𝑓(𝑥) es continua en el punto 𝑥0 = 𝑐, entonces se verifica que:
𝑓(𝑐) = lim 𝑓(𝑥)
𝑥→𝑐
Y dicho resultado es finito, ahora bien, si 𝑓(𝑥) es continua en 𝑥0 = 𝑐, entonces para toda sucesión
{𝑥𝑛 } → 𝑐 cuando 𝑛 → ∞ se debe cumplir que 𝑓(𝑥𝑛 ) → 𝑓(𝑐), o equivalentemente:
Teorema. Si {𝑥𝑛 } → 𝐿 cuando 𝑛 → ∞, entonces para cualquier subsucesión {𝑥𝑛𝑘 } de {𝑥𝑛 } se tendrá
que {𝑥𝑛𝑘 } → 𝐿 cuando 𝑛 → ∞.
Por lo que la sucesión converge a cero, ahora bien, observe que la sucesión dada por:
1 1 1 1 1
{1, , , , ,…, 2,…}
4 9 16 25 𝑛
Es una subsucesión de la sucesión inicialmente dada que converge a cero, por ende, dicha
subsucesión también debe converger a cero, lo cual es evidente ya que:
1
lim =0
𝑛→∞ 𝑛 2
Sucesiones oscilantes
Una sucesión {𝑎𝑛 } se dice ser oscilante si es divergente, pero no diverge a ±∞.
Ejemplo. La sucesión dada por {−1,1, −1,1, −1, … } cuyo termino n-ésimo es 𝑎𝑛 = (−1)𝑛 es oscilante.
Sucesiones monótonas y acotadas
Sucesión decreciente. Una sucesión {𝑎𝑛 } se dice ser decreciente si verifica que 𝑎𝑛 ≥ 𝑎𝑛+1 para todo
𝑛 ∈ ℕ. Similarmente, si se verifica que 𝑎𝑛 > 𝑎𝑛+1 para todo 𝑛 ∈ ℕ, entonces se dice ser estrictamente
decreciente.
Ejemplo. La sucesión cuyo término n-ésimo es 𝑎𝑛 = 2/𝑛2 es estrictamente decreciente, observe que
algunos de sus términos son:
1 2 1 2 2
{2, , , , , … , 2 , … }
2 9 8 25 𝑛
Sucesión creciente. Una sucesión {𝑎𝑛 } se dice ser creciente si verifica que 𝑎𝑛+1 ≥ 𝑎𝑛 para todo 𝑛 ∈ ℕ.
Similarmente, si se verifica que 𝑎𝑛+1 > 𝑎𝑛 para todo 𝑛 ∈ ℕ, entonces se dice ser estrictamente
creciente.
Ejemplo. La sucesión cuyo término n-ésimo es 𝑎𝑛 = (𝑛2 − 1)/(𝑛2 + 1) es estrictamente creciente,
algunos de sus términos son:
3 8 15 12 𝑛2 − 1
{0, , , , , … , 2 ,…}
5 10 17 13 𝑛 +1
Sucesión monótona. Una sucesión que es creciente o decreciente se dice ser monótona.
Sucesión acotada. Una sucesión {𝑎𝑛 } se dice ser acotada si existe algún número real positivo 𝑀, tal
que:
|𝑎𝑛 | ≤ 𝑀 para todo 𝑛 ∈ ℕ.
Ejemplo. La sucesión cuyo término n-ésimo es 𝑎𝑛 = (−1)𝑛 /(2𝑛2 + 1) esta acotada, ya que se tiene
que:
(−1)𝑛 1
| 2 |= 2 ≤1→𝑀=1
2𝑛 + 1 2𝑛 + 1
Ejemplo. La sucesión oscilante dada por {−1,1, −1,1, … } claramente esta acotada, ya que cada uno
de sus términos cumple que |𝑎𝑛 | ≤ 1 para todo 𝑛, sin embargo, es divergente.
Los 2 ejemplos anteriores deben dejar claro, que para asegurar la convergencia de una sucesión
necesitamos que sea monótona y al mismo tiempo que se mantenga acotada.
Sucesiones de Cauchy
Una sucesión {𝑥𝑛 } 𝑛=1
∞
se dice ser de Cauchy, si existe un número natural 𝑛(𝜀), tal que para todo
𝜀 > 0 se tiene que:
|𝑥𝑚 − 𝑥𝑛 | < 𝜀 para todos 𝑚, 𝑛 ∈ ℕ tales que 𝑚, 𝑛 ≥ 𝑛(𝜀).
Esta definición lo que sugiere es que, si dado algún número 𝜀 positivo, se puede encontrar un número
natural 𝑛(𝜀), tal que para cualquier par de números naturales distintos 𝑚, 𝑛 ≥ 𝑛(𝜀) se puede lograr
que |𝑥𝑚 − 𝑥𝑛 | < 𝜀, entonces la sucesión se dice ser de Cauchy.
Teorema. Toda sucesión convergente es de Cauchy.
Series
Una serie infinita es una sucesión {𝑠𝑛 } 𝑛=1
∞
en la que cada uno de sus términos se forma a partir de la
suma de los términos de otra sucesión {𝑎𝑛 } 𝑛=1∞
. Las series se suelen denotar de la forma:
∞
𝑠𝑛 = 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛 = ∑ 𝑎𝑘
𝑘=1
Por lo tanto, podemos concluir que una serie será convergente siempre que la sucesión de sumas
parciales {𝑠𝑛 } 𝑛=1
∞
tenga límite, es decir, si existe:
∞
lim 𝑠𝑛 = 𝑠 → ∑ 𝑎𝑛 = 𝑠
𝑛→∞
𝑛=1
Al límite de la sucesión de sumas parciales se le denomina suma de la serie. Es bueno precisar que a
veces otros números enteros se incluyen en el conjunto de índices de la sumatoria.
Solución. Observe que el denominador del término n-ésimo de la serie se puede factorizar de la forma
𝑛(𝑛 + 1), por lo tanto:
2 𝐴 𝐵 𝐴+𝐵 =0
= + → 2 = 𝐴(𝑛 + 1) + 𝐵𝑛 = (𝐴 + 𝐵)𝑛 + 𝐴 → { → 𝐴 = 2, 𝐵 = −2
𝑛(𝑛 + 1) 𝑛 𝑛 + 1 𝐴=2
Por lo que:
∞ ∞
2 2 2
∑ 2 = ∑( − )
𝑛 +𝑛 𝑛 𝑛+1
𝑛=1 𝑛=1
2 2 1 1 2 2 1 2 2
𝑠𝑛 = (2 − 1) + (1 − ) + ( − ) + ( − ) + ( − ) + ⋯ + ( − )
3 3 2 2 5 5 3 𝑛 𝑛+1
Observe que, por la disposición de los términos, al simplificar, el resultado de la suma es:
2
𝑠𝑛 = 2 −
𝑛+1
2
lim (2 − )=2
𝑛→∞ 𝑛+1
Cuando la suma de una serie se puede determinar aplicando la idea anterior, se dice que la serie es
telescópica.
Series geométricas
Se dice que la serie ∑∞𝑛=0 𝑎𝑛 es una serie geométrica si cada término después del primero es un
múltiplo fijo inmediato del anterior. Esto es, existe un número 𝑟, llamado razón de la serie, tal que:
𝑎𝑛+1
= 𝑟 ∀𝑛 ≥ 0
𝑎𝑛
∑ 𝑎𝑟 𝑛 = 𝑎 + 𝑎𝑟 + 𝑎𝑟 2 + 𝑎𝑟 3 + ⋯ + 𝑎𝑟 𝑛 + ⋯
𝑛=0
Para encontrar la suma de una serie geométrica, definamos una n-ésima suma parcial:
𝑠𝑛 = 𝑎 + 𝑎𝑟 + 𝑎𝑟 2 + 𝑎𝑟 3 + ⋯ + 𝑎𝑟 𝑛
Si multiplicamos ambos lados por 𝑟, tendremos que: 𝑟𝑠𝑛 = 𝑎𝑟 + 𝑎𝑟 2 + 𝑎𝑟 3 + 𝑎𝑟 4 + ⋯ + 𝑎𝑟 𝑛+1
Observe que si calculamos la diferencia de las dos ecuaciones anteriores tendremos que:
∑ 𝑎𝑟 𝑛−1
𝑛=1
∑ 𝑎𝑟 𝑛
𝑛=0
Con esto finaliza la prueba. La idea de correr el índice también se puede aplicar para encontrar la
suma de series telescópicas.
Ejemplo. Use una serie geométrica para encontrar la fracción generatriz del decimal
𝑥 = 1.23333333 … = 1.23:
Solución. Observe que el decimal se puede escribir de la forma:
1.23333333 … = 1.2 + 0.03 + 0.003 + 0.0003 + ⋯ = 1.2 + 3(0.01 + 0.001 + 0.0001 + ⋯ )
∞ ∞
3
= 1.2 + ∑ 3(0.1) + 3 + 0.3 − 3 − 0.3 = 1.2 − 3.3 + ∑ 3(0.1)𝑛 = −2.1 +
𝑛
1 − 1⁄10
𝑛=2 𝑛=0
21 3 21 10 −63 + 100 37
=− + =− + = =
10 9⁄10 10 3 30 30
Teorema. Si la serie ∑ 𝑎𝑛 es convergente entonces lim 𝑎𝑛 = 0.
𝑛→∞
𝑠𝑛 = 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛−1 + 𝑎𝑛 = ∑ 𝑎𝑘
𝑘=1
𝑛−1
𝑠𝑛−1 = 𝑎1 + 𝑎2 + 𝑎3 + ⋯ + 𝑎𝑛−1 = ∑ 𝑎𝑘
𝑘=1
Es divergente, ya que:
2𝑛2 − 1
lim =2≠0
𝑛→∞ 𝑛 2 + 1
Por tal motivo, la serie armónica es divergente, con lo que se muestra que, el hecho de que el límite
del término n-ésimo converja a cero, no garantiza la convergencia de una serie.
Teorema (Algebra de las series). Sean ∑ 𝑎𝑛 = 𝑎 y ∑ 𝑏𝑛 = 𝑏, entonces se verifica que:
∞ ∞ ∞
1) ∑(𝑎𝑛 ± 𝑏𝑛 ) = ∑ 𝑎𝑛 ± ∑ 𝑏𝑛 = 𝑎 ± 𝑏
𝑛=1 𝑛=1 𝑛=1
∞ ∞
2) ∑ 𝑐(𝑎𝑛 ) = 𝑐 (∑ 𝑎𝑛 ) = 𝑐(𝑎) ∀𝑐 ∈ ℝ
𝑛=1 𝑛=1
Nota: la suma de una serie convergente con una divergente también es divergente, pero no se puede
asegurar nada acerca de la diferencia entre una serie convergente y una divergente.
Ejemplo. En base al teorema anterior, la serie dada por:
∞
2 4 𝑛
∑[ 2 + 3( ) ]
𝑛 +𝑛 5
𝑛=1
Observe que:
∞ ∞
4 𝑛 4 𝑛
∑ 3 ( ) = −3 + ∑ 3 ( )
5 5
𝑛=1 𝑛=0
La ausencia de términos en una serie no afecta su convergencia, es decir, si la serie dada por:
∞
∑ 𝑎𝑛 = 𝑎
𝑛=1
∑ 𝑎𝑛 = ∑ 𝑎𝑛 + ∑ 𝑎𝑛 = 𝑎
𝑛=1 𝑛=1 𝑛=𝑘+1
Teorema (Criterio de la integral). Suponga que 𝑓(𝑥) es una función continua, positiva y decreciente
en el intervalo [1, ∞) y sea 𝑎𝑛 = 𝑓(𝑛). Entonces la serie ∑∞
𝑛=1 𝑎𝑛 es convergente si y solo si la integral
∞
impropia ∫1 𝑓(𝑥) 𝑑𝑥 es convergente. En otras palabras:
∞ ∞
∞ ∞
Nota: no es necesario que la integral anterior inicie desde 1, solo se necesita que 𝑓(𝑥) sea positiva,
continua y decreciente para todo 𝑥 mayor que cierto natural 𝑁.
Ejemplos. Aplique el criterio de la integral para determinar si las series dadas son convergentes:
∞
1
1) ∑
𝑛2 +1
𝑛=1
1
Solución. Observe que si hacemos 𝑓(𝑥) = , dicha función es positiva, continua y decreciente en
𝑥 2 +1
[1, ∞), por lo que:
∞ 𝑏
𝑑𝑥 𝑑𝑥 𝑏 𝜋 𝜋 𝜋
∫ 2
= lim ∫ 2
= lim tan−1 𝑥 | = lim (tan−1 𝑏 − tan−1 1) = − =
1 𝑥 + 1 𝑏→∞ 1 𝑥 + 1 𝑏→∞ 1 𝑏→∞ 2 4 4
Entonces:
∞
𝑑𝑥
∫ → converge
1 𝑥2 +1
∞
1
Por lo tanto ∑ es convergente.
𝑛2 +1
𝑛=1
Debe quedar claro, que el criterio de la integral solo indica si la serie en cuestión es convergente o no,
y que no proporciona la suma de la serie.
∞
1
2) ∑
𝑛 ln2 𝑛
𝑛=5
Solución. Si hacemos 𝑓(𝑥) = 1⁄(𝑥 ln2 𝑥) es positiva, continua y decreciente en el intervalo [5, ∞), por
lo que podemos:
∞ 𝑏
𝑑𝑥 𝑑𝑥 1 𝑏 1 1 1 1 1
∫ 2
= lim ∫ = lim − ( ) | = lim − ( − ) = − ( − ) =
5 𝑥 ln 𝑥 𝑏→∞ 5 𝑥 ln2 𝑥 𝑏→∞ ln 𝑥 5 𝑏→∞ ln 𝑏 ln 5 ∞ ln 5 ln 5
Como la integral anterior es convergente, entonces la serie considerada es convergente.
Series 𝑷
Consideremos la serie dada por:
∞
1
∑
𝑛𝑝
𝑛=1
Queremos determinar para que valores de 𝑝 es convergente la serie anterior, si hacemos 𝑓(𝑥) = 1/𝑥 𝑝
, podemos aplicar el criterio de la integral, por lo que:
∞ 𝑏
𝑑𝑥 𝑑𝑥 𝑥 1−𝑝 𝑏 𝑏1−𝑝 11−𝑝
∫ = lim ∫ = lim | = lim ( − )
1 𝑥 𝑝 𝑏→∞ 1 𝑥 𝑝 𝑏→∞ 1 − 𝑝 1 𝑏→∞ 1 − 𝑝 1−𝑝
Anteriormente, ya habíamos analizado dicha integral, y concluimos que converge siempre que 𝑝 > 1,
por lo que podemos concluir que la serie 𝑝 es divergente siempre que 𝑝 ≤ 1, es decir:
∞
1 converge, si 𝑝 > 1
∑ →{
𝑛𝑝 diverge, si 𝑝 ≤ 1
𝑛=1
Podemos utilizar el criterio de la integral para poder estimar la suma de una serie, utilizando la
expresión:
∞ ∞
𝑠𝑛 + ∫ 𝑓(𝑥)𝑑𝑥 ≤ 𝑠 ≤ 𝑠𝑛 + ∫ 𝑓(𝑥)𝑑𝑥
𝑛+1 𝑛
Observe que:
1 1 1 1 1 1 1 1 1
𝑠10 = 1 + + + + + + + + + = 1.549767731
4 9 16 25 36 49 64 81 100
Por lo tanto:
∞
1 1 1
1.54976773 + ≤ 𝑠 ≤ 1.54976773 + → 1.640677 ≤ 𝑠 ≤ 1.649768 → ∑ 2 ≈ 1.64
11 10 𝑛
𝑛=1
Por lo que podemos concluir que el valor real de la serie está en el intervalo [1.640677,1.649768]. Se
puede probar que:
∞
1 𝜋2
∑ = = 1.644934067
𝑛2 6
𝑛=1
Podemos utilizar la expresión 𝑅𝑛 = 𝑠 − 𝑠𝑛 como una estimación del residuo o error para la prueba
de la integral, por lo que:
∞
𝑅𝑛 ≤ ∫ 𝑓(𝑥)𝑑𝑥
𝑛
Ejemplo. Determine la cantidad de términos necesarios para asegurar que el residuo sea menor que
0.0005 para la serie del ejemplo anterior:
∞
𝑑𝑥 1 1
𝑅𝑛 ≤ ∫ 2
= < 0.0005 → 𝑛 > = 2000
𝑛 𝑥 𝑛 0.0005
Lo cual significa, que si se quiere una precisión de 0.0005, entonces debemos determinar 𝑠𝑛 > 𝑠2000.
Teorema de comparación para series. Supongamos que ∑ 𝑎𝑛 y ∑ 𝑏𝑛 son series de términos
positivos:
1) Si ∑ 𝑏𝑛 converge y se tiene que 𝑎𝑛 ≤ 𝑏𝑛 ∀𝑛, entonces también ∑ 𝑎𝑛 converge.
2) Si ∑ 𝑎𝑛 diverge y se tiene que 𝑎𝑛 ≤ 𝑏𝑛 ∀𝑛, entonces también ∑ 𝑏𝑛 diverge.
Nota: observe que este teorema es análogo al utilizado con integrales impropias. También es
importante resaltar que si 𝑎𝑛 ≤ 𝑏𝑛 ∀𝑛 y la serie ∑ 𝑏𝑛 diverge, no podemos asegurar nada con relación
a la serie ∑ 𝑎𝑛 . Similarmente, si 𝑎𝑛 ≤ 𝑏𝑛 ∀𝑛 y la serie ∑ 𝑎𝑛 converge, no podemos asegurar nada
acerca de ∑ 𝑏𝑛 .
Ejemplos. Utilice el criterio de comparación para determinar si las series dadas convergen o
divergen:
∞
1
1) ∑
𝑛3 +𝑛
𝑛=1
Teorema del cociente para series. Supongamos que ∑ 𝑎𝑛 y ∑ 𝑏𝑛 son series de términos positivos.
Si:
𝑎𝑛
lim =𝑐≠0
𝑛→∞ 𝑏𝑛
∞
𝑛2 − 𝑛
3) ∑
𝑛3 + 𝑛 + 1
𝑛=1
∞
1
Solución. Podemos considerar a la serie armónica ∑ 𝑛
, de donde 𝑏𝑛 = 1⁄𝑛, por lo que:
𝑛=1
𝑛2 − 𝑛 1
𝑛3
3 2
+ 𝑛 + 1 = lim 𝑛 − 𝑛 = lim 1−𝑛
lim =1
𝑛→∞ 1 𝑛→∞ 𝑛 3 + 𝑛 + 1 𝑛→∞ 1 1
𝑛 1+ 2+ 3
𝑛 𝑛
∞ ∞
1 𝑛2 −𝑛
Como ∑ 𝑛
diverge, entonces ∑ 3 también diverge.
𝑛=1 𝑛=1 𝑛 +𝑛+1
Series Alternadas
Una serie alternada, es una serie de la forma:
∞ ∞
∑(−1)𝑛−1 𝑎𝑛 o ∑(−1)𝑛 𝑎𝑛
𝑛=1 𝑛=1
Solución. En este caso tenemos que 𝑎𝑛 = 1/𝑛, de donde claramente se verifica que 𝑎𝑛+1 < 𝑎𝑛 ∀𝑛 y
como:
∞
1 (−1)𝑛−1
lim = 0 → la serie ∑ es convergente.
𝑛→∞ 𝑛 𝑛
𝑛=1
∞
1
Observe que esta serie es convergente, a diferencia de la serie armónica ∑ 𝑛
.
𝑛=1
∞
𝑛3
2) ∑(−1)𝑛
𝑛3 − 1
𝑛=2
𝑛3
lim =1≠0
𝑛→∞ 𝑛 3 − 1
Solución. En este caso 𝑎𝑛 = 1/𝑛!, de donde claramente se ve que 𝑎𝑛+1 < 𝑎𝑛 ∀𝑛, también observe que:
∞
1 (−1)𝑛−1
lim = 0 → por lo que la serie ∑ es convergente.
𝑛→∞ 𝑛! 𝑛!
𝑛=1
Que es equivalente a:
0.6317416 ≤ 𝑠 ≤ 0.6321428
∞
(−1)𝑛−1
De donde podemos concluir que 𝑠 = ∑ 𝑛!
≈ 0.632
𝑛=1
Solución. Al tomar el valor absoluto del término n-ésimo de la serie, tendremos que:
(−1)𝑛−1 1
| |=
𝑛 𝑛
∞ ∞
1 (−1)𝑛−1
Como la serie ∑ es divergente, y sabemos que la serie ∑ converge, entonces la serie dada es
𝑛 𝑛
𝑛=1 𝑛=1
condicionalmente convergente.
Teoremas de convergencia absoluta
Teorema de la razón. Consideremos la serie ∑ 𝑎𝑛 con 𝑎𝑛 ≠ 0 ∀𝑛 y sea:
𝑎𝑛+1
lim | |=𝐿
𝑛→∞ 𝑎𝑛
1) Si 𝐿 < 1, entonces la serie converge absolutamente y por ende ∑ 𝑎𝑛 converge.
2) Si 𝐿 > 1 o bien 𝐿 → ∞, entonces la serie es divergente.
3) Si 𝐿 = 1, entonces el criterio falla.
𝑎𝑛+1
Demostración. Primero debemos probar que si lim | 𝑎𝑛
| = 𝐿 < 1 → ∑ |𝑎𝑛 | converge. Podemos
𝑛→∞
escoger a cierto número 𝑟, de tal forma que 𝐿 < 𝑟 < 1.
𝑎𝑛+1
Observe que si para 𝑛 grande se cumple que: | |=𝐿
𝑎𝑛
𝑎𝑁+1
Entonces para 𝑁 > 𝑛 eventualmente se debe tener que: | | < 𝑟 → |𝑎𝑁+1 | < |𝑎𝑁 |𝑟
𝑎𝑁
Similarmente, tendremos que:
𝑎𝑁+2
| | < 𝑟 → |𝑎𝑁+2 | < |𝑎𝑁+1 |𝑟 < |𝑎𝑁 |𝑟 2
𝑎𝑁+1
𝑎𝑁+3
| | < 𝑟 → |𝑎𝑁+3 | < |𝑎𝑁+2 |𝑟 < |𝑎𝑁 |𝑟 3
𝑎𝑁+2
Y en general:
𝑎𝑁+𝑘
| | < 𝑟 → |𝑎𝑁+𝑘 | < |𝑎𝑁+𝑘−1 |𝑟 < |𝑎𝑁 |𝑟 𝑘 ∀𝑘 ≥ 1
𝑎𝑁+𝑘−1
∞
Ahora bien, observe que la serie: ∑𝑘=1|𝑎𝑁 |𝑟 𝑘 es geométrica, y sabemos que es convergente si
particularmente se tiene que 𝑟 < 1. Esto implica que:
∞ ∞
Y por el criterio de comparación entonces ∑ |𝑎𝑛 | converge. Similarmente, si 𝐿 > 1, entonces para
𝑁 > 𝑛 eventualmente se debe tener que:
𝑎𝑁+1
| | > 1 → |𝑎𝑁+1 | > |𝑎𝑁 |
𝑎𝑁
𝑎𝑁+𝑘
| | > 1 → |𝑎𝑁+𝑘 | > |𝑎𝑁+𝑘−1 | ∀𝑘 ≥ 1
𝑎𝑁+𝑘−1
Por lo que podemos concluir que lim 𝑎𝑛 ≠ 0, por lo tanto, la serie ∑ |𝑎𝑛 | es divergente.
𝑛→∞
(−1)𝑛+1 𝑛2 −𝑛2 𝑛2
lim | | = lim | | = lim =1
𝑛→∞ (𝑛 + 1)2 (−1)𝑛 𝑛→∞ (𝑛 + 1)2 𝑛→∞ 𝑛 2 + 2𝑛 + 1
∞
(−1)𝑛
Y anteriormente vimos que ∑ 2 era convergente absolutamente. Similarmente, si aplicamos
𝑛=1 𝑛
el criterio a la segunda:
3𝑛 + 3 2𝑛 − 1 3𝑛 + 3 2𝑛 − 1 6𝑛2 + 3𝑛 − 3
lim |(−1)𝑛+1 | = lim |− | = lim =1
𝑛→∞ 2𝑛 + 1 (−1)𝑛 (3𝑛) 𝑛→∞ 2𝑛 + 1 3𝑛 𝑛→∞ 6𝑛 2 + 3𝑛
∞
3𝑛
Sin embargo, la serie alternada ∑ (−1)𝑛
2𝑛−1
no converge absolutamente, ya que:
𝑛=1
3𝑛 3
lim = ≠0
𝑛→∞ 2𝑛 − 1 2
Por lo tanto, no podemos garantizar que si 𝐿 = 1 la serie dada sea convergente absolutamente o
divergente.
Teorema de la raíz n-ésima. Consideremos la serie ∑ 𝑎𝑛 y sea:
𝑛
lim √|𝑎𝑛 | = 𝐿
𝑛→∞
(1)(3)(5) ⋯ (2𝑛 − 1)
→ 𝑎𝑛 = (−1)𝑛−1
(2𝑛 − 1)!
Podemos aplicar el criterio de la razón para ver si la serie converge absolutamente, por lo que:
(1)(3)(5) ⋯ (2𝑛 − 1)(2(𝑛 + 1) − 1) (1)(3)(5) ⋯ (2𝑛 − 1)(2𝑛 + 1)
𝑎𝑛+1 = (−1)𝑛+1−1 = (−1)𝑛
(2(𝑛 + 1) − 1)! (2𝑛 + 1)!
Por lo que:
𝑎𝑛+1 (1)(3)(5) ⋯ (2𝑛 − 1)(2𝑛 + 1) (2𝑛 − 1)!
lim | | = lim |(−1)𝑛 ( )|
𝑛→∞ 𝑎𝑛 𝑛→∞ (2𝑛 + 1)! (−1)𝑛−1 (1)(3)(5) ⋯ (2𝑛 − 1)
Solución. Como se tiene que 𝑎𝑛 > 0 ∀𝑛 en la serie indicada, podemos aplicar el teorema de la razón
sin considerar el valor absoluto, de donde:
𝑛
(𝑛 + 1)! 𝑛𝑛 (𝑛 + 1)𝑛! 𝑛𝑛 𝑛𝑛 𝑛 𝑛 1
lim [ ( )] = lim [ ] = lim = lim ( ) = lim ( )
𝑛→∞ (𝑛 + 1)𝑛+1 𝑛! 𝑛→∞ (𝑛 + 1)𝑛+1 𝑛! 𝑛→∞ (𝑛 + 1)𝑛 𝑛→∞ 𝑛 + 1 𝑛→∞ 1 + 1/𝑛
Observe que:
1 𝑛
1𝑛 lim 1𝑛 1
𝑛→∞
lim ( ) = lim 𝑛
= 𝑛
= <1
𝑛→∞ 1 + 1⁄𝑛 𝑛→∞ (1 + 1⁄𝑛 ) lim (1 + 1⁄𝑛) 𝑒
𝑛→∞
Solución. En este caso tendremos que 𝑎𝑛 > 0 ∀𝑛, podemos aplicar el criterio de la raíz n-ésima por la
potencia en el término n-ésimo, por lo que:
𝑛 2𝑛 + 3 𝑛 2𝑛 + 3 2
lim √( ) = lim = <1
𝑛→∞ 3𝑛 + 2 𝑛→∞ 3𝑛 + 2 3
Por lo que:
2 2
(1)(4)(7) ⋯ (3𝑛 − 2)(3𝑛 + 1) (3)(6)(9) ⋯ (3𝑛) 3𝑛 + 1 2
lim [ ] [ ] = lim ( ) =1
𝑛→∞ (3)(6)(9) ⋯ (3𝑛)(3𝑛 + 3) (1)(4)(7) ⋯ (3𝑛 − 2) 𝑛→∞ 3𝑛 + 3
Por lo que el criterio de la razón falla y no es concluyente. Sin embargo, en base al criterio de Raabe
tenemos que:
3𝑛 + 1 2 9𝑛2 + 6𝑛 + 1 12𝑛2 + 8𝑛 12 4
lim 𝑛 (1 − ( ) ) = lim 𝑛 (1 − 2 ) = lim ( 2 )= = >1
𝑛→∞ 3𝑛 + 3 𝑛→∞ 9𝑛 + 18𝑛 + 9 𝑛→∞ 9𝑛 + 18𝑛 + 9 9 3
∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛
𝑛=0
𝑆(𝑥) = 𝑎0 + 𝑎1 (𝑥 − 𝑥0 ) + 𝑎2 (𝑥 − 𝑥0 )2 + ⋯ + 𝑎𝑛 (𝑥 − 𝑥0 )𝑛 + ⋯
Cuyo dominio consta, de todos los valores de 𝑥, para los cuales la serie de potencias es convergente.
Es interesante observar, que las sumas parciales de una serie de potencias de orden 𝑘, son polinomios
de orden 𝑘.
Las series de potencias de la forma anterior siempre son convergentes en intervalos de la forma
|𝑥 − 𝑥0 | < 𝑅, para algún número real positivo 𝑅, llamado radio de convergencia de la serie de
potencias.
Dada la forma de una serie de potencias, el criterio de la razón es muy útil para determinar el
intervalo de convergencia de una serie de potencias.
Para ver esto, considere una serie de potencias centrada en 𝑥 = 𝑥0 de la forma:
∞
∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛
𝑛=0
Supongamos que el límite anterior existe y vamos a denotarlo por 𝐿, por lo que:
𝑎𝑛+1
|𝑥 − 𝑥0 | lim | | = |𝑥 − 𝑥0 |𝐿 = 𝑎
𝑛→∞ 𝑎𝑛
Ahora bien, sabemos que si 𝑎 < 1, entonces por el criterio de la razón, entonces la serie dada debe
ser absolutamente convergente, por lo que, para garantizar la convergencia de la serie de potencias
anterior, necesariamente debe ocurrir que:
1
|𝑥 − 𝑥0 |𝐿 < 1 → |𝑥 − 𝑥0 | <
𝐿
Si hacemos 𝑅 = 1/𝐿, entonces podemos concluir que la serie debe ser convergente absolutamente y
por ende convergente, en algún intervalo de la forma |𝑥 − 𝑥0 | < 𝑅.
Observe que si 𝐿 = 0, entonces 𝑅 → ∞, lo cual implica que |𝑥 − 𝑥0 | < ∞, que es equivalente a
|𝑥| < ∞, que significa que la serie de potencias considerada converge para todo valor de 𝑥.
Similarmente, si 𝐿 → ∞, entonces 𝑅 → 0, lo cual significa que la serie de potencias solo es
convergente en 𝑥 = 𝑥0 .
Nota: una serie de potencias puede o no ser convergente en los extremos de su intervalo de
convergencia.
Teorema (convergencia de series de potencias). Para una serie de potencias centrada en 𝑥 = 𝑥0
de la forma:
∞
∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛
𝑛=0
Solución. En este caso tendremos que 𝑎𝑛 = 1/𝑛, si aplicamos el criterio de la razón tendremos que:
(𝑥 − 3)𝑛+1 𝑛 𝑛 1
lim | ( 𝑛
)| = |𝑥 − 3| lim = |𝑥 − 3|(1) = |𝑥 − 3| → 𝐿 = 1 → 𝑅 = = 1
𝑛→∞ 𝑛+1 (𝑥 − 3) 𝑛→∞ 𝑛 + 1 1
Para analizar la convergencia en los extremos, tendremos que si 𝑥 = 2, entonces la serie de potencias
correspondiente es:
∞ ∞
(2 − 3)𝑛 (−1)𝑛
∑ =∑
𝑛 𝑛
𝑛=1 𝑛=1
Que corresponde con la serie armónica, y sabemos que es divergente. Por lo tanto, podemos concluir
que el intervalo de convergencia de la serie es 2 ≤ 𝑥 < 4 → [2,4).
∞
(−1)𝑛 𝑥 2𝑛
2) ∑
22𝑛 (𝑛!)2
𝑛=0
Solución. En este caso 𝑎𝑛 = (−1)𝑛 /22𝑛 (𝑛!)2 , por lo que al aplicar el criterio de la razón tendremos
que:
La cual sabemos que es convergente siempre que |𝑟| < 1; hagamos 𝑎 = 1 y 𝑟 = 𝑥, por lo que
tendremos:
∞
1
∑ 𝑥𝑛 = = 1 + 𝑥 + 𝑥 2 + 𝑥 3 + ⋯ + 𝑥 𝑛 + ⋯ = 𝑓(𝑥)
1−𝑥
𝑛=0
Representación que es válida siempre que |𝑥| < 1. Debe observarse que el desarrollo de la serie
anterior es entorno al punto 𝑥0 = 0.
La idea anterior se puede utilizar para encontrar la representación en serie de potencia de una gran
cantidad de funciones sabiendo que el intervalo de convergencia es |𝑥| < 1.
Ejemplos. Utilice la serie geométrica para encontrar el desarrollo en serie de potencias para las
siguientes funciones:
1
1) 𝑓(𝑥) =
1+𝑥
Solución. Observe que podemos hacer el arreglo:
1 1
𝑓(𝑥) = =
1 + 𝑥 1 − (−𝑥)
Aplicando la serie geométrica tendremos que:
∞ ∞
1
𝑓(𝑥) = = ∑(−𝑥)𝑛 = ∑(−1)𝑛 𝑥 𝑛 = 1 − 𝑥 + 𝑥 2 − 𝑥 3 + ⋯
1 − (−𝑥)
𝑛=0 𝑛=0
La cual es convergente siempre que |−𝑥| < 1, que es equivalente a |𝑥| < 1.
𝑥
2) 𝑔(𝑥) =
4 − 𝑥2
Solución. Observe que podemos reescribir la función de la forma:
𝑥 𝑥 1
2
= ( )
4−𝑥 4 1 − 𝑥 2 ⁄4
Si aplicamos la serie geométrica entonces:
∞ 𝑛 ∞ ∞
𝑥 𝑥 𝑥2 𝑥 𝑥 2𝑛 𝑥 2𝑛+1
𝑔(𝑥) = = ∑ ( ) = ∑ = ∑
4 − 𝑥2 4 4 4 4𝑛 4𝑛+1
𝑛=0 𝑛=0 𝑛=0
La cual debe ser convergente siempre que |𝑥 2 ⁄4| < 1 → |𝑥 2 | < 4 → |𝑥| < 2, por lo tanto, la serie
anterior será válida siempre que |𝑥| < 2.
𝑡3
3) ℎ(𝑡) =
5 + 𝑡7
Solución. Aplicando las ideas anteriores tendremos que:
𝑡3 𝑡3 1
7
= ( )
5+𝑡 5 1 − (− 𝑡 7 ⁄5)
Por lo tanto:
∞ 𝑛 ∞
𝑡3 𝑡3 𝑡7 𝑛
𝑡 7𝑛+3
ℎ(𝑡) = = ∑ (− ) = ∑(−1)
5 + 𝑡7 5 5 5𝑛+1
𝑛=0 𝑛=0
7
Desarrollo que es válido siempre que |− 𝑡 7 ⁄5| < 1 → |𝑡 7 | < 5 → |𝑡| < √5, por lo que el intervalo de
7
convergencia de la serie es |𝑡| < √5.
Se deja como ejercicio al lector utilizar fracciones parciales para la función indicada para encontrar
una serie de potencias utilizando la serie geométrica y su intervalo de convergencia:
3
𝑓(𝑥) =
𝑥2 −𝑥−2
Teorema (Derivación e Integración de series de potencias). Sea la serie de potencias dada por:
∞
𝑓(𝑥) = ∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛 = 𝑎0 + 𝑎1 (𝑥 − 𝑥0 ) + 𝑎2 (𝑥 − 𝑥0 )2 + ⋯
𝑛=0
Por lo tanto:
∞
(−1)𝑛 𝑥 𝑛+1
ln(1 + 𝑥) = ∑ válida en |𝑥| < 1
𝑛+1
𝑛=0
Observe que si en la serie anterior, hacemos 𝑘 = 𝑛 + 1, entonces la serie se puede escribir como:
∞
(−1)𝑘−1 𝑥 𝑘
ln(1 + 𝑥) = ∑ válida en |𝑥| < 1
𝑘
𝑘=1
Ejemplo. Obtenga un desarrollo en serie de potencias para la función 𝑓(𝑥) = tan−1 (𝑥) e indique su
intervalo de convergencia:
Solución. Anteriormente vimos:
∞
1 1
2
= 2)
= ∑(−1)𝑛 𝑥 2𝑛 válida en |𝑥| < 1.
1+𝑥 1− (−𝑥
𝑛=0
Solución. Debe notarse que resolver la integral anterior por métodos convencionales es bastante
laborioso, pero afortunadamente podemos expandir fácilmente el integrando en una serie de
potencias, ya que:
∞
1 1
7
= = ∑(−1)𝑛 𝑥 7𝑛 , válida en |𝑥| < 1
1+𝑥 1 − (−𝑥 7 )
𝑛=0
Por lo tanto:
0.5 ∞
𝑑𝑥 (−1)𝑛 (0.5)7𝑛+1 1
(0.5)8 (0.5)15 (0.5)22 (0.5)29
∫ = ∑ = (0.5) − + − + + ⋯ ≈ 0.499951
0 1 + 𝑥7 7𝑛 + 1 8 15 22 29
𝑛=0
𝑓(𝑥) = 𝑒 𝑥 → 𝑓(0) = 𝑒 0 = 1
𝑓 ′ (𝑥) = 𝑒 𝑥 → 𝑓 ′ (0) = 𝑒 0 = 1
𝑓 ′′ (𝑥) = 𝑒 𝑥 → 𝑓 ′′ (0) = 𝑒 0 = 1
⋮
𝑓 (𝑥) = 𝑒 𝑥 → 𝑓 (𝑛) (0) = 𝑒 0 = 1
(𝑛)
Para determinar el intervalo de convergencia, procedemos como anteriormente con el teorema del
cociente, de donde:
𝑥 𝑛+1 𝑛! 𝑛! 𝑛! 1
lim | 𝑛
| = |𝑥| lim = |𝑥| lim = |𝑥| lim = |𝑥|(0) → 𝐿 = 0
𝑛→∞ (𝑛 + 1)! 𝑥 𝑛→∞ (𝑛 + 1)! 𝑛→∞ (𝑛 + 1)𝑛! 𝑛→∞ 𝑛 + 1
Por lo que 𝑅 = 1⁄0 → ∞, con lo que se concluye que el desarrollo anterior es convergente para
cualquier número real. Por lo tanto:
∞
𝑥
𝑥𝑛
𝑒 =∑ válido ∀𝑥 ∈ ℝ
𝑛!
𝑛=0
Solución. Debemos evaluar a la función seno y sus derivadas en 𝑥0 = 0 para generar la serie, por lo
que:
𝑓(𝑥) = sen 𝑥 → 𝑓(0) = sen 0 = 0
𝑓 ′ (𝑥) = cos 𝑥 → 𝑓 ′ (0) = cos 0 = 1
𝑓 ′′ (𝑥) = − sen 𝑥 → 𝑓 ′′ (0) = − sen 0 = 0
𝑓 ′′′ (𝑥) = − cos 𝑥 → 𝑓 ′′′ (0) = − cos 0 = −1
𝑓 (4) (𝑥) = sen 𝑥 → 𝑓 (4) (0) = sen 0 = 0
1 1
→ |𝑥 2 | lim = |𝑥 2 |(0) → 𝐿 = 0 → 𝑅 = → 𝑅 → ∞
𝑛→∞ (2𝑛 + 3)(2𝑛 + 2) 0
Por lo que, la serie anterior es convergente para cualquier valor real de 𝑥, por lo tanto:
∞
(−1)𝑛 𝑥 2𝑛+1
sen 𝑥 = ∑ válida ∀𝑥 ∈ ℝ
(2𝑛 + 1)!
𝑛=0
Ejemplo. Utilice el desarrollo de Maclaurin de la función 𝑓(𝑥) = sen 𝑥 para encontrar el desarrollo
de 𝑔(𝑥) = sen(𝑥 3 ):
Solución. Directamente a partir del desarrollo correspondiente a la función seno, tendremos que:
∞ ∞
3
(−1)𝑛 (𝑥 3 )2𝑛+1 (−1)𝑛 𝑥 6𝑛+3
sen(𝑥 ) = ∑ =∑ válida ∀𝑥 ∈ ℝ
(2𝑛 + 1)! (2𝑛 + 1)!
𝑛=0 𝑛=0
Debe quedar claro que las series de Taylor son polinómicas, y en ocasiones es conveniente trabajar
con un polinomio de algún orden en específico, definamos la serie de Taylor de orden 𝑛 en torno al
punto 𝑥 = 𝑥0 como:
𝑛
𝑓 (𝑘) (𝑥0 )(𝑥 − 𝑥0 )𝑘
𝑇𝑛 (𝑥) = ∑
𝑘!
𝑘=0
Si hacemos 𝑅𝑛 (𝑥) = 𝑓(𝑥) − 𝑇𝑛 (𝑥) de forma que 𝑓(𝑥) = 𝑇𝑛 (𝑥) + 𝑅𝑛 (𝑥), entonces al término 𝑅𝑛 (𝑥) se
le llama residuo de la serie de Taylor. En general lo que se busca es que:
lim 𝑅𝑛 (𝑥) = 0
𝑛→∞
Teorema (Residuo de la serie de Taylor). Si 𝑓(𝑥) = 𝑇𝑛 (𝑥) + 𝑅𝑛 (𝑥) de donde 𝑇𝑛 (𝑥) es el polinomio
de Taylor de grado 𝑛 en torno al punto 𝑥 = 𝑥0 y se cumple que:
Nota: el teorema anterior se utiliza para justificar la aproximación de una función por su serie de
Taylor para algún punto en su intervalo de convergencia.
𝑀
|𝑅𝑛 (𝑥)| ≤ |𝑥 − 𝑥0 |𝑛+1 ∀𝑥 ∈ |𝑥 − 𝑥0 | ≤ 𝑑
(𝑛 + 1)!
Nota: el teorema anterior indica una cota para el error máximo del residuo cuando se aproxima una
función 𝑓(𝑥) con su polinomio de Taylor de orden 𝑛 en 𝑥 = 𝑥0 para valores de 𝑑 cercanos a 𝑥0 en el
intervalo |𝑥 − 𝑥0 | ≤ 𝑑.
Ejemplo. Aproxime la siguiente integral utilizando una serie de Maclaurin y un polinomio de Taylor
de orden 4:
1
2
∫ 𝑒 −𝑥 𝑑𝑥
0
Solución. Podemos utilizar el desarrollo de Maclaurin de 𝑒 𝑥 , por lo que:
∞ ∞
−𝑥 2
(−𝑥 2 )𝑛 (−1)𝑛 𝑥 2𝑛
𝑓(𝑥) = 𝑒 =∑ =∑ ∀𝑥 ∈ ℝ
𝑛! 𝑛!
𝑛=0 𝑛=0
2
Tomemos el polinomio de Taylor de para 𝑛 = 4 para la funcion 𝑓(𝑥) = 𝑒 −𝑥 , el cual viene dado por:
𝑥4 𝑥6 𝑥8
𝑇4 (𝑥) = 1 − 𝑥 2 + − +
2 6 24
Observe que, en base a la desigualdad de Taylor con 𝑥0 = 0 debe cumplirse para el residuo que:
𝑀 5
|𝑅4 (𝑥)| ≤ |𝑥|
5!
De donde:
2
𝑓 (5) (𝑥) = 𝑒 −𝑥 (−120𝑥 + 160𝑥 3 − 32𝑥 5 ) → |𝑓 (5) (𝑥)| ≤ 33 = 𝑀 ∀𝑥 ∈ [0,1].
2 33 11 5
|𝑒 −𝑥 − 𝑇4 (𝑥)| = |𝑅4 (𝑥)| ≤ |𝑥|5 = |𝑥| ∀𝑥 ∈ [0,1]
120 40
Por lo que:
1 1 1
2 𝑥4 𝑥6 𝑥8 𝑥3 𝑥5 𝑥7 𝑥9 1
∫ 𝑒 −𝑥 𝑑𝑥 ≈ ∫ 𝑇4 (𝑥)𝑑𝑥 = ∫ (1 − 𝑥 2 + − + ) 𝑑𝑥 = (𝑥 − + − + )|
0 0 0 2 6 24 3 10 42 216 0
1 1 1 1
= (1 − + − + ) = 0.747487
3 10 42 216
1
2
El valor real de la integral obtenido mediante un software es: ∫ 𝑒 −𝑥 𝑑𝑥 = 0.74682413 …
0
2 𝑥4 𝑥6 𝑥8
Figura. Grafica de 𝑓(𝑥) = 𝑒 −𝑥 en azul y grafica de 𝑇4 (𝑥) = 1 − 𝑥 2 + − + en verde.
2 6 24
La Serie Binomial
Si 𝑘 es cualquier número real no entero positivo y si se tiene que |𝑥| < 1 entonces:
∞
𝑘
𝑘! 𝑘(𝑘 − 1) 2 𝑘(𝑘 − 1)(𝑘 − 2)𝑥 3
(1 + 𝑥) = ∑ 𝑥 𝑛 = 1 + 𝑘𝑥 + 𝑥 + +⋯
(𝑘 − 𝑛)! 𝑛! 2! 3!
𝑛=0
Nota: se puede dar el caso de que la serie anterior sea convergente en los extremos, en general esto
depende del valor de 𝑘. La serie anterior es una generalización del binomio de Newton.
Ejemplo. Utilice la serie binomial para encontrar un desarrollo de Taylor para la función
𝑓(𝑥) = sin−1 𝑥:
1
𝑓(𝑥) = sin−1 𝑥 → 𝑓 ′ (𝑥) = = (1 − 𝑥 2 )−1/2
√1 − 𝑥 2
1 −3⁄2 (−𝑥 2 )1 1 3
(1)−1⁄2 (−𝑥 2 )0 (− 2) (1) (− 2) (− 2) (1)−5⁄2 (−𝑥 2 )2
(1 − 𝑥 2 )−1⁄2 = + +
0! 1! 2!
1 3 5 1 3 5 7
(− 2) (− 2) (− 2) (1)−7⁄2 (−𝑥 2 )3 (− 2) (− 2) (− 2) (− 2) (1)−9⁄2 (−𝑥 2 )4
+ + +⋯
3! 4!
1 2 1 3 1 3 5 1 3 5 7
1 (2) 𝑥 (2) (2) 𝑥 4 (2) (2) (2) 𝑥 6 (2) (2) (2) (2) 𝑥 8
2 )−1⁄2
→ (1 − 𝑥 = + + + + +⋯
0! 1! 2! 3! 4!
Entonces:
∞ ∞
2 )−1⁄2
(2𝑛)! 𝑥 2𝑛 (2𝑛!)𝑥 2𝑛
(1 − 𝑥 = ∑ 2𝑛 = ∑
2 (𝑛!)2 4𝑛 (𝑛!)2
𝑛=0 𝑛=0
Desarrollo que debe ser válido en al menos |−𝑥 2 | < 1 → |𝑥| < 1. Ahora bien, observe que:
∞ ∞ ∞
𝑑𝑥 −1
(2𝑛!)𝑥 2𝑛 (2𝑛!) 2𝑛
(2𝑛!)𝑥 2𝑛+1
∫ = sin 𝑥 =∫∑ 𝑛 𝑑𝑥 = ∑ 𝑛 ∫ 𝑥 𝑑𝑥 = ∑ 𝑛 +𝐶
√1 − 𝑥 2 4 (𝑛!)2 4 (𝑛!)2 4 (𝑛!)2 (2𝑛 + 1)
𝑛=0 𝑛=0 𝑛=0
Por lo tanto:
∞
−1
(2𝑛)! 𝑥 2𝑛+1
𝑓(𝑥) = sin 𝑥=∑ desarrollo que es válido en al menos |𝑥| < 1.
4𝑛 (𝑛!)2 (2𝑛 + 1)
𝑛=0
Las series de potencias también son utilizadas para evaluar algunos límites. Considere el límite dado
por:
sin 𝑥
lim
𝑥→0 𝑥
Es bien sabido que el límite anterior vale 1, lo cual se puede probar mediante el teorema del Sándwich
o utilizando la regla de L’Hopital, ahora bien, observe que:
∞
(−1)𝑛 𝑥 2𝑛+1 𝑥3 𝑥5
sin 𝑥 = ∑ = (𝑥 − + + ⋯ )
(2𝑛 + 1)! 3! 5!
𝑛=0
𝑥3 𝑥5
sin 𝑥 𝑥 − 3! + + ⋯ 𝑥2 𝑥4
lim = lim 5! = lim (1 − + + ⋯ ) = 1
𝑥→0 𝑥 𝑥→0 𝑥 𝑥→0 3! 5!
Teorema. Sean 𝑓(𝑥) = ∑∞ 𝑛=0 𝑎𝑛 𝑥 y 𝑔(𝑥) = ∑𝑛=0 𝑏𝑛 𝑥 series de Maclaurin convergentes en los
𝑛 ∞ 𝑛
𝑥2 𝑥3 𝑥3 𝑥3
𝑒 𝑥 sin 𝑥 = (1 + 𝑥 + + + ⋯ ) (𝑥 − + ⋯ ) = 𝑥 + 𝑥 2 + + ⋯
2! 3! 3! 3
Se deja como ejercicio al lector encontrar una serie para 𝑔(𝑥) = cot 𝑥 utilizando los 3 primeros
términos del desarrollo de Maclaurin del coseno y el seno.