9.5: Serie alterna
( \newcommand{\kernel}{\mathrm{null}\,}\)
- Utilice la prueba de serie alterna para probar una serie alterna para la convergencia.
- Estimar la suma de una serie alternada.
- Explicar el significado de convergencia absoluta y convergencia condicional.
En lo que va de este capítulo, hemos discutido principalmente series con términos positivos. En esta sección presentamos series alternas, aquellas series cuyos términos se alternan en signo. Mostraremos en un capítulo posterior que estas series suelen surgir al estudiar series de poder. Después de definir series alternas, introducimos la prueba de series alternas para determinar si dicha serie converge.
La prueba de la serie alterna
Una serie cuyos términos alternan entre valores positivos y negativos es una serie alterna. Por ejemplo, la serie
∞∑n=1(−12)n=−12+14−18+116−…
y
∞∑n=1(−1)n+1n=1−12+13−14+…
son ambas series alternas.
Cualquier serie cuyos términos alternen entre valores positivos y negativos se denomina serie alterna. Una serie alterna se puede escribir en la forma
∞∑n=1(−1)n+1bn=b1−b2+b3−b4+…
o
∞∑n−1(−1)nbn=−b1+b2−b3+b4−…
Dondebn≥0 para todos los enteros positivosn.
La serie (1), mostrada en la Ecuación\ ref {eq1}, es una serie geométrica. Dado que|r|=|−1/2|<1, la serie converge. La serie (2), que se muestra en la Ecuación\ ref {eq2}, se denomina serie armónica alterna. Mostraremos que mientras la serie armónica diverge, la serie armónica alterna converge. Para probarlo, observamos la secuencia de sumas parciales{Sk} (Figura 1).
Considera los términos imparesS2k+1 parak≥0. Desde1/(2k+1)<1/2k,
S2k+1=S2k−1−12k+12k+1<S2k−1.
Por lo tanto,{S2k+1} es una secuencia decreciente. También,
S2k+1=(1−12)+(13−14)+…+(12k−1−12k)+12k+1>0.
Por lo tanto,{S2k+1} se limita a continuación. Ya que{S2k+1} es una secuencia decreciente que está delimitada a continuación, por el Teorema de Convergencia Monótona,{S2k+1} converge. Del mismo modo, los términos pares{S2k} forman una secuencia creciente que está delimitada arriba porque
S2k=S2k−2+12k−1−12k>S2k−2
y
S2k=1+(−12+13)+…+(−12k−2+12k−1)−12k<1.
Por lo tanto, por el Teorema de Convergencia Monótona, la secuencia{S2k} también converge. Desde
S2k+1=S2k+12k+1,
sabemos que
limk→∞S2k+1=limk→∞S2k+limk→∞12k+1.
DejarS=limk→∞S2k+1 y usar el hecho de que1/(2k+1)→0, concluimos esolimk→∞S2k=S. Dado que los términos impares y los términos pares en la secuencia de sumas parciales convergen al mismo límiteS, se puede demostrar que la secuencia de sumas parciales converge aS, y por lo tanto la serie armónica alterna converge aS.
También se puede demostrar queS=ln2, y podemos escribir
∞∑n=1(−1)n+1n=1−12+13−14+a…=ln(2).

□
De manera más general, cualquier serie alterna de forma (3) (Ecuación\ ref {eq3}) o (4) (Ecuación\ ref {eq4}) converge siempreb1≥b2≥b3≥⋯ y cuando ybn→0 (Figura 2). La prueba es similar a la prueba para la serie armónica alterna.

Una serie alternante de la forma
∞∑n=1(−1)n+1bno∞∑n=1(−1)nbn
converge si
- 0≤bn+1≤bnpara todosn≥1 y
- limn→∞bn=0.
Esto se conoce como la prueba en serie alterna.
Observamos que este teorema es cierto más generalmente siempre y cuando exista algún enteroN tal que0≤bn+1≤bn para todosn≥N.
Para cada una de las siguientes series alternas, determine si la serie converge o diverge.
- ∞∑n=1(−1)n+1n2
- ∞∑n=1(−1)n+1nn+1
Solución
a. desde1(n+1)2<1n2 y1n2→0, la serie converge.
b. ya que n/(n+1)↛0 as n→∞, no podemos aplicar la prueba de series alternas. En su lugar, usamos la prueba de término n para la divergencia. Dado que\displaystyle \lim_{n→∞}\dfrac{n}{n+1}=1≠0, la serie diverge.
Determinar si la serie\displaystyle \sum^∞_{n=1}(−1)^{n+1}\frac{n}{2^n} converge o diverge.
- Pista
-
¿Está \left\{\frac{n}{2^n}\right\} disminuyendo? ¿Qué es\displaystyle \lim_{n→∞}\frac{n}{2^n}?
- Contestar
-
La serie converge.
Resto de una serie alterna
Es difícil calcular explícitamente la suma de la mayoría de las series alternas, por lo que normalmente la suma se aproxima usando una suma parcial. Al hacerlo, nos interesa la cantidad de error en nuestra aproximación. Considerar una serie alterna
\sum_{n=1}^∞(−1)^{n+1}b_n \nonumber
satisfaciendo las hipótesis de la prueba de series alternas. Dejar S denotar la suma de esta serie y {S_k} ser la secuencia correspondiente de sumas parciales. De la Figura \PageIndex{2}, vemos que para cualquier entero N≥1, el resto R_N satisface
|R_N|=|S−S_N|≤|S_{N+1}−S_N|=b_{n+1}. \nonumber
Considere una serie alterna de la forma
\sum_{n=1}^∞(−1)^{n+1}b_n \nonumber o\sum_{n=1}^∞(−1)^nb_n \nonumber
que satisfaga las hipótesis de la prueba de series alternas. Dejar S denotar la suma de la serie y S_N denotar la sumaN^{\text{th}} parcial. Para cualquier entero N≥1, el resto R_N=S−S_N satisface
|R_N|≤b_{N+1}. \nonumber
Es decir, si se aplican las condiciones de la prueba de series alternas, entonces el error al aproximar la serie infinita por la sumaN^{\text{th}} parcial S_N es en magnitud como máximo el tamaño del siguiente término b_{N+1}.
Considere las series alternas
\sum_{n=1}^∞\dfrac{(−1)^{n+1}}{n^2}. \nonumber
Utilice la estimación del resto para determinar un límite sobre el error R_{10} si aproximamos la suma de la serie por la suma parcial S_{10}.
Solución
Del teorema expuesto anteriormente, |R_{10}|≤b_{11}=\dfrac{1}{11^2}≈0.008265. \nonumber
Encuentra un límite para R_{20} al aproximar\displaystyle \sum^∞_{n=1}\frac{(−1)^{n+1}}{n} por S_{20}.
- Pista
-
|R_{20}|≤b_{21}
- Contestar
-
0.04762
Convergencia absoluta y condicional
Considera una serie\displaystyle \sum_{n=1}^∞a_n y la serie relacionada\displaystyle \sum_{n=1}^∞|a_n|. Aquí discutimos las posibilidades para la relación entre la convergencia de estas dos series. Por ejemplo, considere la serie armónica alterna\displaystyle \sum_{n=1}^∞\frac{(−1)^{n+1}}{n}. La serie cuyos términos son el valor absoluto de estos términos es la serie armónica, ya que\displaystyle \sum_{n=1}^∞\left|\frac{(−1)^{n+1}}{n}\right|=\sum_{n=1}^∞\frac{1}{n}. Dado que la serie armónica alterna converge, pero la serie armónica diverge, decimos que la serie armónica alterna exhibe convergencia condicional.
Por comparación, considere la serie\displaystyle \sum_{n=1}^∞\frac{(−1)^{n+1}}{n^2}. La serie cuyos términos son los valores absolutos de los términos de esta serie es la serie\displaystyle \sum_{n=1}^∞\frac{1}{n^2}. Dado que ambas series convergen, decimos que la serie\displaystyle \sum_{n=1}^∞\frac{(−1)^{n+1}}{n^2} exhibe convergencia absoluta.
Una serie\displaystyle \sum^∞_{n=1}a_n exhibe convergencia absoluta si\displaystyle \sum^∞_{n=1}|a_n| converge. Una serie\displaystyle \sum^∞_{n=1}a_n exhibe convergencia condicional si\displaystyle \sum^∞_{n=1}a_n converge pero\displaystyle \sum^∞_{n=1}|a_n| diverge.
Como lo muestra la serie armónica alterna, una serie\displaystyle \sum^∞_{n=1}a_n puede converger, pero\displaystyle \sum^∞_{n=1}|a_n| puede divergir. En el siguiente teorema, sin embargo, mostramos que si\displaystyle \sum^∞_{n=1}|a_n| converge, entonces\displaystyle \sum^∞_{n=1}a_n converge.
Si\displaystyle \sum^∞_{n=1}|a_n| converge, entonces\displaystyle \sum^∞_{n=1}a_n converge.
Supongamos que eso\displaystyle \sum_{n=1}^∞|a_n| converge. Demostramos esto utilizando el hecho de que a_n=|a_n o a_n=−|a_n| y por lo tanto |a_n|+a_n=2|a_n| o |a_n|+a_n=0. Por lo tanto, 0≤|a_n|+a_n≤2|a_n|. En consecuencia, por la prueba de comparación, ya que 2\sum^∞_{n=1}|a_n| converge, la serie
\sum_{n=1}^∞(|a_n|+a_n) \nonumber
converge. Al usar las propiedades algebraicas para series convergentes, concluimos que
\sum_{n=1}^∞a_n=\sum_{n=1}^∞(|a_n|+a_n)−\sum_{n=1}^∞|a_n| \nonumber
converge.
□
Para cada una de las siguientes series, determine si la serie converge absolutamente, converge condicionalmente o diverge.
- \displaystyle \sum^∞_{n=1}\frac{(−1)^{n+1}}{3n+1}
- \displaystyle \sum^∞_{n=1}\frac{\cos(n)}{n^2}
Solución
a. Podemos ver que
\displaystyle \sum_{n=1}^∞\left|\dfrac{(−1)^{n+1}}{3n+1}\right|=\sum_{n=1}^∞\dfrac{1}{3n+1}
diverge mediante el uso de la prueba de comparación de límites con la serie armónica. De hecho,
\displaystyle \lim_{n→∞}\dfrac{1/(3n+1)}{1/n}=\dfrac{1}{3}.
Por lo tanto, la serie no converge absolutamente. Sin embargo, desde
\dfrac{1}{3(n+1)+1}<\dfrac{1}{3n+1}y \dfrac{1}{3n+1}→0,
la serie converge. Podemos concluir que\displaystyle \sum^∞_{n=1}\frac{(−1)^{n+1}}{3n+1} converge condicionalmente.
b. Observando que |\cos n|≤1, para determinar si la serie converge absolutamente, compare
\displaystyle \sum_{n=1}^∞\left|\dfrac{\cos n}{n^2}\right|
con la serie\displaystyle \sum^∞_{n=1}\frac{1}{n^2}. Ya que\displaystyle \sum^∞_{n=1}\frac{1}{n^2} converge, por la prueba de comparación,\displaystyle \sum^∞_{n=1}\left|\frac{\cos n}{n^2}\right| converge, y por lo tanto\displaystyle \sum^∞_{n=1}\frac{\cos n}{n^2} converge absolutamente.
Determinar si la serie\displaystyle \sum^∞_{n=1}(−1)^{n+1}\frac{n}{2n^3+1} converge absolutamente, converge condicionalmente o diverge.
- Pista
-
Verifique primero la convergencia absoluta.
- Contestar
-
La serie converge absolutamente.
Para ver la diferencia entre convergencia absoluta y condicional, mira lo que sucede cuando reorganizamos los términos de la serie armónica alterna\displaystyle \sum^∞_{n=1}(−1)^{n+1}\frac{1}{n}. Demostramos que podemos reorganizar los términos para que la nueva serie diverja. Ciertamente si reorganizamos los términos de una suma finita, la suma no cambia. Cuando trabajamos con una suma infinita, sin embargo, pueden suceder cosas interesantes.
Comience por agregar suficientes términos positivos para producir una suma que sea mayor que algún número real M=10 Por ejemplo, let M=10, and find a integer k such that
1+\dfrac{1}{3}+\dfrac{1}{5}+⋯+\dfrac{1}{2k−1}>10 \nonumber
(Podemos hacer esto porque la serie\displaystyle \sum^∞_{n=1}\frac{1}{2n−1} diverge hasta el infinito.) Después restar 1/2. Después agregue términos más positivos hasta que la suma llegue a 100. Es decir, encontrar otro entero j>k tal que
(1+\dfrac{1}{3}+⋯+\dfrac{1}{2k−1}−\dfrac{1}{2}+\dfrac{1}{2k+1}+ \ldots +\dfrac{1}{2j+1}>100. \nonumber
Después restar 1/4. Continuando de esta manera, hemos encontrado una manera de reordenar los términos en las series armónicas alternas para que la secuencia de sumas parciales para la serie reordenada quede sin límites y por lo tanto diverja.
Los términos de la serie armónica alterna también se pueden reordenar para que la nueva serie converja a un valor diferente. En Ejemplo, mostramos cómo reorganizar los términos para crear una nueva serie a la que converja 3\ln(2)/2. Señalamos que las series armónicas alternas pueden reorganizarse para crear una serie que converja a cualquier número real r; sin embargo, la prueba de ese hecho está más allá del alcance de este texto.
En general, cualquier serie\displaystyle \sum^∞_{n=1}a_n que converja condicionalmente puede ser reordenada para que la nueva serie diverja o converja a un número real diferente. Una serie que converge absolutamente no tiene esta propiedad. Para cualquier serie\displaystyle \sum^∞_{n=1}a_n que converja absolutamente, el valor de\displaystyle \sum^∞_{n=1}a_n es el mismo para cualquier reordenamiento de los términos. Este resultado es conocido como el Teorema del Reordenamiento de Riemann, que está más allá del alcance de este libro.
Usa el hecho de que
1−\dfrac{1}{2}+\dfrac{1}{3}−\dfrac{1}{4}+\dfrac{1}{5}−⋯=\ln 2 \nonumber
para reorganizar los términos en la serie armónica alterna para que la suma de la serie reordenada sea 3\ln (2)/2.
Solución
Let
\sum_{n=1}^∞a_n=1−\dfrac{1}{2}+\dfrac{1}{3}−\dfrac{1}{4}+\dfrac{1}{5}−\dfrac{1}{6}+\dfrac{1}{7}−\dfrac{1}{8}+⋯. \nonumber
Dado que\displaystyle \sum_{n=1}^∞a_n=\ln (2), por las propiedades algebraicas de las series convergentes,
\sum_{n=1}^∞\dfrac{1}{2}a_n=\dfrac{1}{2}−\dfrac{1}{4}+\dfrac{1}{6}−\dfrac{1}{8}+⋯=\dfrac{1}{2}\sum_{n=1}^∞a_n=\dfrac{\ln 2}{2}. \nonumber
Ahora introduce la serie\displaystyle \sum_{n=1}^∞b_n tal que para todos n≥1, b_{2n−1}=0 y b_{2n}=a_n/2. Entonces
\sum_{n=1}^∞b_n=0+\dfrac{1}{2}+0−\dfrac{1}{4}+0+\dfrac{1}{6}+0−\dfrac{1}{8}+⋯=\dfrac{\ln 2}{2}. \nonumber
Luego usando las propiedades límite algebraicas de las series convergentes, ya que\displaystyle \sum_{n=1}^∞a_n y\displaystyle \sum_{n=1}^∞b_n convergen, la serie\displaystyle \sum_{n=1}^∞(a_n+b_n) converge y
\sum_{n=1}^∞(a_n+b_n)=\sum_{n=1}^∞a_n+\sum_{n=1}^∞b_n=\ln 2+\dfrac{\ln 2}{2}=\dfrac{3\ln 2}{2}. \nonumber
Ahora sumando los términos correspondientes b_n, a_n y, vemos que
\sum_{n=1}^∞(a_n+b_n)=(1+0)+\left(−\dfrac{1}{2}+\dfrac{1}{2}\right)+\left(\dfrac{1}{3}+0\right)+\left(−\dfrac{1}{4}−14\right)+\left(\dfrac{1}{5}+0\right)+\left(−\dfrac{1}{6}+\dfrac{1}{6}\right)+\left(\dfrac{1}{7}+0\right)+\left(\dfrac{1}{8}−\dfrac{1}{8}\right)+⋯=1+\dfrac{1}{3}−\dfrac{1}{2}+\dfrac{1}{5}+\dfrac{1}{7}−\dfrac{1}{4}+⋯. \nonumber
Observamos que la serie en el lado derecho del signo igual es un reordenamiento de la serie armónica alterna. Desde que\displaystyle \sum_{n=1}^∞(a_n+b_n)=3\ln (2)/2, concluimos que
1+\dfrac{1}{3}−\dfrac{1}{2}+\dfrac{1}{5}+\dfrac{1}{7}−\dfrac{1}{4}+⋯=\dfrac{3\ln (2)}{2}. \nonumber
Por lo tanto, hemos encontrado un reordenamiento de la serie armónica alterna que tiene la propiedad deseada.
Conceptos clave
- Para una serie alterna\displaystyle \sum^∞_{n=1}(−1)^{n+1}b_n, si b_{k+1}≤b_k para todos k y b_k→0 como k→∞, la serie alterna converge.
- Si\displaystyle \sum^∞_{n=1}|a_n| converge, entonces\displaystyle \sum^∞_{n=1}a_n converge.
Ecuaciones Clave
- Serie alternada
\displaystyle \sum_{n=1}^∞(−1)^{n+1}b_n=b_1−b_2+b_3−b_4+⋯o
\displaystyle \sum_{n=1}^∞(−1)^nb_n=−b_1+b_2−b_3+b_4−⋯
Glosario
- convergencia absoluta
- si la serie\displaystyle \sum^∞_{n=1}|a_n| converge,\displaystyle \sum^∞_{n=1}a_n se dice que la serie converge absolutamente
- series alternas
- una serie de la forma\displaystyle \sum^∞_{n=1}(−1)^{n+1}b_n o\displaystyle \sum^∞_{n=1}(−1)^nb_n, donde b_n≥0, se llama una serie alterna
- prueba en serie alterna
- para una serie alterna de cualquier forma, si b_{n+1}≤b_n para todos los enteros n≥1 y b_n→0, entonces una serie alterna converge
- convergencia condicional
- si la serie\displaystyle \sum^∞_{n=1}a_n converge, pero la serie\displaystyle \sum^∞_{n=1}|a_n| diverge,\displaystyle \sum^∞_{n=1}a_n se dice que la serie converge condicionalmente