14 Convergencia de series generales

Definición III.2.

Dada (xn)∞n=1⊂ℝ(x_{n})^{\infty}_{n=1}\subset\mathbb{R} diremos que ∑n=1∞xn\sum_{n=1}^{\infty}x_{n} es absolutamente convergente si ∑n=1∞|xn|\sum_{n=1}^{\infty}\left|x_{n}\right| converge.

Proposición III.5.

Sea (xn)∞n=1⊂ℝ(x_{n})^{\infty}_{n=1}\subset\mathbb{R}. Se cumple que

∑n=1∞xn es absolutamente convergente⇒∑n=1∞xn es convergente\sum_{n=1}^{\infty}x_{n}\text{ es absolutamente convergente}\Rightarrow\sum_{n% =1}^{\infty}x_{n}\text{ es convergente}
Demostración.

No vista en clase, aplicando desigualdad triangular. ∎

Definición III.3.

Dada (xn)∞n=1⊂ℝ(x_{n})^{\infty}_{n=1}\subset\mathbb{R}, diremos que ∑n=1∞xn\sum_{n=1}^{\infty}x_{n} es condicionalmente convergente si es convergente y no es absolutamente convergente.

Teorema III.5 (Criterio de Leibniz).

Sea (xn)∞n=1⊂ℝ(x_{n})^{\infty}_{n=1}\subset\mathbb{R} una sucesion de numeros reales decreciente de manera que lı´mn→∞xn=0\mathop{\operator@font l\acute{{\imath}}m}\limits_{n\to\infty}x_{n}=0. Entonces la serie ∑n=1∞(−1)n⋅xn\sum_{n=1}^{\infty}(-1)^{n}\cdot x_{n} (que podemos visualizar como ∑n=1∞(−1)nxn=x1−x2+x3−x4+⋯\sum_{n=1}^{\infty}(-1)^{n}x_{n}=x_{1}-x_{2}+x_{3}-x_{4}+\cdots) es convergente.

Demostración.

No vista en clase. ∎

Ejemplo III.5.

La serie ∑n=1∞(−1)n1n=−1+12−13+14−15+⋯\sum_{n=1}^{\infty}(-1)^{n}\frac{1}{n}=-1+\frac{1}{2}-\frac{1}{3}+\frac{1}{4}-% \frac{1}{5}+\cdots es convergente pero no absolutamente convergente. Luego es condicionalmente convergente.

∑n=1∞(−1)n⋅sin(n)\sum_{n=1}^{\infty}(-1)^{n}\cdot\sin(n) no converge.

∑n=1∞(−1)n+1⋅5n=∑n=1∞(−1)n+15n\sum_{n=1}^{\infty}\frac{(-1)^{n+1}\cdot 5}{n}=\sum_{n=1}^{\infty}(-1)^{n+1}% \frac{5}{n}. Como 5n\frac{5}{n} es monotona decreciente y tiende hacia 0, aplicando el criterio de Leibniz, la serie converge.

∑n=1∞(−1)n⋅3n−22n\sum_{n=1}^{\infty}\frac{(-1)^{n}\cdot 3^{n-2}}{2^{n}}.

3n−22n=3n322n1=3n32⋅3n=19⋅(32)n→∞\frac{3^{n-2}}{2^{n}}=\frac{\frac{3^{n}}{3^{2}}}{\frac{2^{n}}{1}}=\frac{3^{n}}% {3^{2}\cdot 3^{n}}=\frac{1}{9}\cdot\left(\frac{3}{2}\right)^{n}\rightarrow\infty (serie geometrica). Resulta que como no existelı´mn→∞(−1)n⋅3n2n\mathop{\operator@font l\acute{{\imath}}m}\limits_{n\to\infty}\frac{(-1)^{n}% \cdot 3^{n}}{2^{n}} la serie del enunciado no converge.