Archivo de la etiqueta: series

Calculo Diferencial e Integral II: Series de Taylor y de Maclaurin

Por Miguel Ángel Rodríguez García

Introducción

En la sección anterior vimos las series de potencias, en esta sección veremos las series de Taylor y de Maclaurin que tienen como base las series de potencias.

Series de Taylor y Maclaurin

Definición. Sea $f$ una función tal que $f^{1} (a) \dots f^{(k)} (a)$ existen, es decir, la k-esima derivada de la función $f$ existe. Si $p (x) = a_{0} + a_{1} (x - a) + a_{2} (x - a)^{2} + \dots + a_{n} (x - a)^{n}$ entonces decimos que $p (x)$ es el polinomio de Taylor de grado $n$ alrededor de $a$ para $f$ , denotado como:

$P_{n, a}^{(k)} = \sum_{n = 0}^{\infty} \frac{f^{(k)} (a)}{n!} (x - a)^{n}$

En el caso cuando $a = 0$ la serie es conocida como serie de Maclaurin:

$P_{n}^{(k)} = \sum_{n = 0}^{\infty} \frac{f^{(k)} (0)}{n!} (x)^{n}$

Vemos que estas series aproximan una función $f (x)$ por medio de polinomios, es decir, para $x = a$ los polinomios de Taylor o series de Taylor por medio de polinomios proporcionan un ajuste a $f (x)$ .

Veamos unos ejemplos.

Ejemplos

Calcule el polinomio de Taylor de grado $2 n + 1$ alrededor de $0$ para la función $\sin (x)$ .

Calculando las derivadas, se tiene que:

$\sin^{'} (x) = \cos (x), \sin^{''} (x) = - \sin (x), \sin^{'''} (x) = - \cos (x), \sin^{''''} (x) = \sin (x)$ .

Observación: Vemos que las derivadas de orden impar involucra el término de coseno y las de orden par a los términos de seno, por lo que $\sin^{2 n + 1} (0) = (- 1)^{n}$

Asi tenemos que:

$p_{2 n + 1, 0} \sin (x) = \frac{\sin (0) (x - 0)}{0!} + \frac{\sin^{'} (0) (x - 0)}{1!} + \frac{\sin^{''} (0) (x - 0)^{2}}{2!} + \frac{\sin^{'''} (0) (x - 0)^{3}}{3!} + \dots$

$\dots + \frac{\sin^{2 n + 1} (0) (x - 0)^{2 n + 1}}{(2 n + 1)!} = x - \frac{x^{3}}{3} + \frac{x^{5}}{5} + \dots . + \frac{(- 1)^{n} x^{2 n + 1}}{(2 n + 1)!}$

Calcule el polinomio de Taylor de grado $2 n + 1$ alrededor de $0$ para $\cos (x)$

Tenemos que $\cos^{'} (x) = - \sin (x), \cos^{''} (x) = - \cos (x), \cos^{''''} x) = \sin (x), \cos^{''''} (x) = \cos (x)$

Observación: Vemos que las derivadas de orden impar involucra el término de seno y las de orden par al coseno, por lo que $\cos^{2 n} (0) = (- 1)^{n}$ .

Así tenemos que:

$p_{2 n, 0} \cos (x) = \frac{\cos (0) (x - 0)}{0!} + \frac{\cos^{'} (0) (x - 0)}{1!} + \frac{\cos^{''} (0) (x - 0)^{2}}{2!} + \frac{\cos^{'''} (0) (x - 0)^{3}}{3!} + \dots$

$\dots + \frac{\cos^{2 n} (0) (x - 0)^{2 n}}{(2 n)!} = 1 - \frac{x^{2}}{2} + \frac{x^{4}}{4} + \dots . + \frac{(- 1)^{n} x^{2 n}}{(2 n)!}$

Observamos que los polinomios de Taylor se aproxima a una función $f (x)$ mediante sus derivadas hasta el orden enésimo. Veamos el siguiente teorema.

Residuo

Teorema de Taylor:

Supongamos que $f^{'} (x), f^{''} (x), \dots ., f^{n + 1} (x)$ existen, es decir, la $n + 1$ derivadas existen, definimos en el intervalo cerrado $[a, x]$ al residuo o el resto $R_{n, a, f} (x)$ que está definida por $f (x) = f (a) + f^{'} (a) (x - a) + \dots . + \frac{f^{(n)} (a)}{n!} + R_{n, a} (x)$ entonces el residuo se puede definir de 3 maneras distintas:

Forma de cauchy:

$R_{n, a, f} (x) = \frac{f^{(n + 1)} (t)}{n!} (x - t)^{n} (x - a)$

Para algún $t$ en $[a, x]$ .

Forma de Lagrange:

$R_{n, a, f} (x) = \frac{f^{(n + 1)} (t)}{(n + 1)!} (x - a)^{n + 1}$

Para algún $t$ en $[a, x]$ y $f^{n + 1}$ es integrable en $[a, x]$ .

Forma integral:

$R_{n, a, f} (x) = \int_{a}^{x} \frac{f^{(n + 1)} (t)}{n!} (t) (x - t)^{n} d t$

Demostración:

Demostremos la forma de Cauchy, sea $S : [a, x] \to R$ definida como:

$\begin{matrix} (3) & S (t) = f (x) - (f (t) + f^{'} (t) (x - t) + \dots . + \frac{f^{n} (t) (x - t)}{n!}) \end{matrix}$

La función $S$ es continua en $[a, x]$ y diferenciable en $(a, x)$ , por el teorema del valor medio $\exists t^{*} ϵ (a, x)$ tal que:

$\begin{matrix} (1) & \frac{S (x) - S (a)}{x - a} = S^{'} (t^{*}) \end{matrix}$

Sea $S (x)$ definida anteriormente como:

$S (x) = f (x) - (f (x) + f^{'} (x) (x - x) + \dots . + \frac{f^{n} (x) (x - x)^{n}}{n!}) = 0$

y $S (a)$ :

$S (a) = f (x) - (f (a) + f^{'} (a) (x - a) + \dots . + \frac{f^{n} (a) (x - a)^{n}}{n!} = f (x) - p_{n, a, f} (x)) = R_{n, a, f} (x)$

Entonces por $(1)$ :

$S^{'} (t^{*}) = \frac{0 - R_{n, a, f} (x)}{x - a}$

Con $t^{*} ϵ (a, x)$ , por otro lado, derivamos la relación $(3)$ con respecto a $t$ como:

$S^{'} (t) = 0 - (f^{'} (t) + f^{'} (t) (- 1) + f^{''} (t) (x - t) + \frac{f^{''} (t)^{2}}{2!} (x - t) (- 1)) + \frac{f^{''} (t)^{2}}{2!} (x - t)^{2} \dots .)$

$\begin{matrix} (2) & = - \frac{f^{(n + 1)} (t^{}) (x - t)^{n}}{n!} \forall t ϵ (0, x) \end{matrix}$

$\Rightarrow S^{'} (t^{*}) = \frac{0 - R_{n, a, f} (x)}{x - a} = \frac{- S (a)}{x - a}$

Pero:

$S^{'} (t) = - \frac{f^{(n + 1)} (t^{}) (x - t)^{n}}{n!}$

$\Rightarrow - S (a) = - \frac{f^{(n + 1)} (t) (x - t)^{n}}{n!} (x - a)$

$∴ R_{n, a, f (x)} = \frac{f^{(n + 1)} (t) (x - t)^{n}}{n!} (x - a)$

Ahora demostremos la forma de Lagrange.

Apliquemos el teorema de valor medio de Cauchy a las funciones $S : [a, x] \to R$ y $g (x) = (x - t)^{n + 1}$ , observemos que $g$ es continua en el intervalo $[a, x]$ y diferenciable en $(a, x), \exists t^{*} ϵ (a, b)$ tal que:

$\frac{S^{'} (t^{*})}{g^{'} (x)} = \frac{S (x) - S (a)}{(g (x) - g (a))}$

$\Rightarrow (g (x) - g (a)) S^{'} (t^{*}) = (S (x) - S (a)) g^{'} (x)$

$\Rightarrow (g (x) - g (a)) S^{'} (t^{*}) = (S (x) - S (a)) (n + 1) (x - t)^{n}$

Donde:

$g (x) = (x - x)^{n + 1} = 0$

$\Rightarrow (0 - g (a)) S^{'} (t^{*}) = (0 - S (a)) (n + 1) (x - t)^{n}$

Utilizando la relación $(2)$ , la evaluación correspondiente de $g (a)$ y $S (a)$ , se tiene que:

$\Rightarrow - (x - a)^{n + 1} \frac{f^{(n + 1)} (t^{}) (x - t)^{n}}{n!} = R_{n, a, f (x)} (n + 1) (x - t)^{n} (- 1)$

$∴ R_{n, a, f (x)} = \frac{f^{(n + 1)} (t^{}) (x - a)^{n + 1}}{(n + 1)!}$

Demostremos la última forma que es la forma de la integral. Tenemos que:

$\int_{a}^{x} S^{'} (t) d t = S (x) - S (a) = 0 - R_{n, a, f (x)}$

Donde $s (x) = 0$ y nuevamente utilizamos la relación $(2)$ , por tanto:

$∴ R_{n, a, f (x)} = \int_{x}^{a} \frac{f^{n + 1} (x)}{n!} (x - t)^{n} d t$

Una de las aplicaciones de las series de Taylor y Maclaurin es en la resolución de la ecuación diferencial para un péndulo no lineal, que viene dada como:

$\ddot{θ} = - \frac{g}{l} \sin (θ)$

Esta ecuación diferencial no se resuelve tan fácil y no hay solución que se pueda escribir en términos de funciones elementales, se puede solucionar esta ecuación para valores pequeños de $θ$ con $θ << 1$ , aproximamos la función $\sin (θ)$ en términos de una serie de Taylor:

$\sin (θ) \approx θ - \frac{θ^{3}}{3} + \frac{θ^{5}}{5} + \dots . + \frac{(- 1)^{n} θ^{2 n + 1}}{(2 n + 1)!}$

Como queremos solamente valores pequeños de $θ$ , entonces:

$\sin (θ) \approx θ$

Así la ecuación diferencial se reescribe como:

$\ddot{θ} = - \frac{g}{l} θ$

Y la solución a esta ecuación diferencial está dada como:

$θ (t) = θ_{0} \cos (\sqrt{\frac{g}{l}} t)$

Tarea moral

Los siguientes ejercicios no son para evaluación, pero son ejercicios para que practiques lo aprendido que te ayudaran en el desarrollo del entendimiento del tema, por lo que te invitamos a resolver los siguientes ejercicios propuestos relacionados con el tema visto.

Aproxime las siguientes funciones con serie de Taylor.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

$f (x) = e^{x}$ al grado $n$ y alrededor de $0$ .
$f (x) = l o g (x)$ al grado $n$ y alrededor de $1$ .
Escriba la serie de Maclaurin de la función $f (x) = l o g (x + 1)$ hasta grado $n$ .
$f (x) = x^{5}$ al grado $n$ alrededor de $1$ y calcule su residuo.
$f (x) = \sqrt{x}$ al grado $n = 3$ alrededor de $0$ y calcule su residuo.

Más adelante…

En esta sección vimos la definición de las series de Taylor y las series de Maclaurin que es un caso particular de las series de Taylor, también vimos los residuos en el caso de las series de Taylor. Con esta entrada acabamos con la unidad 7, en la siguiente entrada veremos las series de Fourier con el cual comenzaremos la unidad 8.

Entradas relacionadas

Ir a Cálculo Diferencial e Integral II.
Entrada anterior del curso: Cálculo Diferencial e Integral II: Series de potencia – El blog de Leo (nekomath.com)
Siguiente entrada del curso: Cálculo Diferencial e Integral II: Series de Fourier – El blog de Leo (nekomath.com)

Cálculo Diferencial e Integral II: Series de potencia

Por Miguel Ángel Rodríguez García

Deja un comentario

Introducción

En la sección anterior vimos el criterio de la convergencia absoluta para las series alternantes, en esta sección veremos las series de potencia, que, como bien dice el nombre, son series polinómicas, veamos la siguiente definición.

Series de potencia

Definición. Una serie de potencia es la serie de la siguiente forma:

$\sum_{n = 0}^{\infty} c_{n} x^{n} = c_{0} + c_{1} x + c_{2} x^{2} + \dots . .$

A la serie anterior, se le dice que es una serie de potencias alrededor de $x = 0$ , mientras que, la series de potencias alrededor de $x = a$ se le conoce como series de potencias centradas en $a$ , y es de la siguiente forma:

$\sum_{n = 0}^{\infty} c_{n} (x - a)^{n} = c_{0} + c_{1} (x - a) + c_{2} (x - a)^{2} + \dots . .$

Donde $c_{n}$ son coeficientes en ambos casos.

Un ejemplo de estas series son las series geométricas que ya hemos visto, al hacer los n-coeficientes $c_{n}$ igual a 1:

$\sum_{n = 0}^{\infty} x^{n} = 1 + x + x^{2} + x^{3} \dots . .$

Veamos el siguiente teorema de convergencia llamado el teorema de Abel para las series de potencias.

Teorema de Abel:

Sea la siguiente serie: $\sum_{n = 0}^{\infty} c_{n} (x - a)^{n}$ , entonces se cumple una y solo una de las siguientes afirmaciones:

$a)$ La serie converge solo cuando $x = a$ .

$b)$ Existe un número positivo $R$ tal que la serie converge $| x - a | < R$ y diverge si $| x - a | > R$ .

$c)$ La serie converge para toda $x$ .

La demostración de este teorema es extensa, por lo que sería más conveniente analizarla que demostrarla.

Al número $R$ se le llama el radio de convergencia de la serie, notemos que la serie converge en el intervalo $(a - R, a + R)$ , si $R = 0$ tenemos el primer caso $a)$ , es decir, el intervalo consta de un solo punto $x = a$ , si $R \to \infty$ entonces tenemos el caso $c)$ , es decir, el intervalo de convergencia en este caso es $(- \infty, \infty)$ , en el intervalo $b)$ se tiene 4 casos posibles:

$(a - R, a + R)$

$[a - R, a + R]$

$(a - R, a + R]$

$[a - R, a + R)$

Es decir, la serie puede diverger en ambos extremos o solo un extremo, al igual que la convergencia de la serie.

El teorema de Cauchy-Hadamard nos permite conocer la convergencia de la serie de potencias:

Teorema de Cauchy-Hadamard:

Consideremos la serie de potencias $\sum_{n = 0}^{\infty} c_{n} (x - a)^{n}$ y consideremos a $A$ como:

$A = lim_{n \to \infty} \sqrt[n]{| c_{n} |}$

Entonces la serie de potencias converge si el radio de convergencia $R$ se define como:

$R = \frac{1}{A}$

De este teorema podemos concluir lo siguiente, dependiendo del valor de $A$ podemos decir que si:

$A = 0 \Rightarrow R \to \infty$
$A \to \infty \Rightarrow R = 0$
$0 < A < \infty \Rightarrow R = \frac{1}{A}$

Demostración:

Sin perdida de generalidad podemos suponer que $a = 0$ . Supongamos que $| x | < R$ , entonces:

$\begin{matrix} (1) & | c_{n} x^{n} | \leq | c_{n} | R^{n} \end{matrix}$

Ahora, como:

$lim_{n \to \infty} \sqrt[n]{| c_{n} |} = A = \frac{1}{R}$

Para casi todos los índices de $n$ , ya que:

$\sqrt[n]{| c_{n} |} \leq \frac{1}{R} \Rightarrow | c_{n} | \leq R^{- n}$

Por lo que en $(1)$ :

$| c_{n} x^{n} | \leq | c_{n} | R^{n} \leq R^{n} R^{- n} = 1$

Lo cual vemos que es una serie absolutamente convergente, por el criterio de la absoluta convergencia:

$\sum_{n = 0}^{\infty} c_{n} (x - a)^{n} c o n v e r g e$

Para el caso cuando $| x | > R$ , de la misma manera anterior obtendremos que:

$| c_{n} x^{n} | \geq 1$

Lo que significa que no puede convergir a cero, lo que significa que la serie diverge.

$\sum_{n = 0}^{\infty} c_{n} (x - a)^{n} d i v e r g e$

El teorema nos dice que podemos usar el criterio de la raíz, también podemos usar el criterio de la razón.

Veamos unos ejemplos.

Ejemplos

$\sum_{n = 0}^{\infty} (n!) x^{n}$

En esta serie notamos que $c_{n} = n!$ , entonces calculamos al valor $A$ como sigue:

$A = lim_{n \to \infty} \frac{| a_{n} + 1 |}{| a_{n} |} = lim_{n \to \infty} \frac{| (n + 1)! |}{| n! |} = lim_{n \to \infty} (n + 1) \to \infty \Rightarrow R = 0$

Por lo que el radio de convergencia es $R = 0$ y la serie solo converge cuando $x = 0$ según el teorema de Abel.

$\sum_{n = 0}^{\infty} \frac{n^{2 n + 1}}{2^{n^{2} + 1}} x^{n}$

Vemos en este caso que $c_{n} = \frac{n^{2 n + 1}}{2^{n^{2} + 1}}$ , utilizamos el criterio de la raíz como sigue:

$A = lim_{n \to \infty} \sqrt[n]{| c_{n} |} = lim_{n \to \infty} \sqrt[n]{\frac{n^{2 n + 1}}{2^{n^{2} + 1}}} = lim_{n \to \infty} \frac{n^{2 + 1 / n}}{2^{n + 1 / n}} = 0 \Rightarrow R \to \infty$

Por lo que el intervalo de convergencia es: $R ϵ (- \infty, \infty)$ y la serie es convergente para cualquier valor de $x$ .

Tarea moral

Diga si la siguientes series convergen o diverge.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

$\sum_{n = 0}^{\infty} \frac{n^{3}}{4^{n}} x^{n}$
$\sum_{n = 1}^{\infty} \frac{x^{n}}{n}$
$\sum_{n = 1}^{\infty} \frac{(2 x)^{n}}{n^{2}}$
$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{x^{n}}{n}$
$\sum_{n = 1}^{\infty} \frac{(- 3)^{n} x^{n}}{\sqrt{n + 1}}$

Más adelante…

En esta sección vimos las series de potencias y dos teoremas importantes para la convergencia de estas series que son el teorema de Abel y el teorema de Cauchy-Hadamard, en la siguiente sección veremos los polinomios de Taylor y de Mclaurin que están relacionados con estas series de potencias.

Entradas relacionadas

Ir a Cálculo Diferencial e Integral II.
Entrada anterior del curso: Cálculo Diferencial e Integral II: Criterio de la convergencia absoluta – El blog de Leo (nekomath.com)
Siguiente entrada del curso: Calculo Diferencial e Integral II: Series de Taylor y de Maclaurin – El blog de Leo (nekomath.com)

Cálculo Diferencial e Integral II: Criterio de la convergencia absoluta

Por Miguel Ángel Rodríguez García

Deja un comentario

Introducción

En la sección anterior vimos las series alternantes y el criterio de Leibniz que es un teorema de convergencia para estas series alternantes, en esta sección veremos el criterio de la convergencia absoluta, para esto definiremos lo que es una serie absolutamente convergente en la siguiente definición.

Definición. La serie $\sum_{n = 1}^{\infty} a_{n}$ es absolutamente convergente si $\sum_{n = 1}^{\infty} | a_{n} |$ es convergente.

Veamos un ejemplo.

Ejemplo

$\sum_{n = 1}^{\infty} \frac{(- 1)^{n}}{5}$

Sea la sucesión: $a_{n} = \frac{(- 1)^{n}}{n^{5}}$ , tomando el valor absoluto de la sucesión obtenemos que:

$\sum_{n = 1}^{\infty} | a_{n} | = \sum_{n = 1}^{\infty} | \frac{(- 1)^{n}}{n^{5}} | = \sum_{n = 1}^{\infty} \frac{1}{n^{5}}$

Sabemos que la sucesión $b_{n} = \frac{1}{n^{5}}$ es positiva, decreciente y continua en el intervalo $[1, \infty]$ , por lo que por el criterio de la integral:

$\int_{1}^{\infty} \frac{1}{x^{5}} d x = - \frac{1}{4 x^{4}} |_{1}^{\infty} = 0 + \frac{1}{4} = \frac{1}{4}$

Como la integral converge, entonces:

$\Rightarrow \sum_{n = 1}^{\infty} \frac{1}{n^{5}} c o n v e r g e$

$∴ \sum_{n = 1}^{\infty} \frac{(- 1)^{n}}{n^{5}}$ La serie es absolutamente convergente.

Ahora veamos cuando una serie se dice que se define como condicionalmente convergente.

Definición: La serie $\sum_{n = 1}^{\infty} a_{n}$ se llama condicionalmente convergente si es convergente, pero no es absolutamente convergente.

Esto sucede cuando $\sum_{n = 1}^{\infty} | a_{n} |$ es divergente.

Veamos un ejemplo.

Ejemplo

$\sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n}$

Sabemos que la serie por $b_{n} = \frac{1}{n}$ es monótonamente decreciente y que:

$lim_{n \to \infty} \frac{1}{n} = 0$

Por el criterio de Leibniz:

$\sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n} c o n v e r g e .$

Por otro lado, tomando el valor absoluto de la serie:

$\sum_{n = 1}^{\infty} | \frac{(- 1)^{n - 1}}{n} | = \sum_{n = 1}^{\infty} \frac{1}{n}$

Por P-series como $p = 1$ entonces:

$\sum_{n = 1}^{\infty} \frac{1}{n} d i v e r g e$

$∴ \sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n} e s c o n d i c i o n a l m e n t e c o n v e r g e n t e$

Veamos el criterio de la absoluta convergencia.

Criterio de la absoluta convergencia

Teorema. (Criterio de la absoluta convergencia)

Si $\sum_{n = 1}^{\infty} a_{n}$ es absolutamente convergente $\Rightarrow \sum_{n = 1}^{\infty} a_{n}$ es convergente.

Demostración:

Por hipótesis tenemos que $\sum_{n = 1}^{\infty} a_{n}$ es absolutamente convergente $\Rightarrow \sum_{n = 1}^{\infty} | a_{n} |$ converge.

Sea $ϵ > 0$ , como $\sum_{n = 1}^{\infty} | a_{n} |$ converge $\Rightarrow \exists k ε N$ , tal que:

$\forall n ϵ N \Rightarrow | | a_{k + 1} | + | a_{k + 2} | + \dots + | a_{k + m} | | < ϵ$

Por la desigualdad del triángulo, se tiene que:

$| a_{k + 1} + a_{k + 2} + \dots + a_{k + m} | \leq | | a_{k + 1} | + | a_{k + 2} | + \dots + | a_{k + m} | |$

$∴ | a_{k + 1} + a_{k + 2} + \dots + a_{k + n} | < ϵ$

Por el teorema de Cauchy se tiene que:

$\sum_{n = 1}^{\infty} a_{n} c o n v e r g e$

Otra manera de ver este teorema es el siguiente:

Si $\sum_{n = 1}^{\infty} | a_{n} |$ es convergente, entonces $\Rightarrow \sum_{n = 1}^{\infty} a_{n}$ también es convergente.

Ejemplos

$\sum_{n = 1}^{\infty} \frac{\cos (n)}{n^{2}}$

Si aplicamos el valor absoluto, tenemos que:

$\sum_{n = 1}^{\infty} | \frac{\cos (n)}{n^{2}} | = \sum_{n = 1}^{\infty} \frac{| \cos (n) |}{n^{2}}$

Puesto que $| \cos (n) | \leq 1$ para toda $n$ , entonces tenemos que:

$\frac{\cos (n)}{n^{2}} \leq \frac{1}{n^{2}}$

Sabemos que $\frac{1}{n^{2}}$ es convergente, ya que es una p-serie, por el criterio de comparación:

$\sum_{n = 1}^{\infty} | \frac{\cos (n)}{n^{2}} | c o n v e r g e$

Por tanto:

$\sum_{n = 1}^{\infty} \frac{\cos (n)}{n^{2}}$

Es absolutamente convergente, por el teorema visto anteriormente:

$∴ \sum_{n = 1}^{\infty} \frac{\cos (n)}{n^{2}} c o n v e r g e$

$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{1}{n^{2}}$

Tomando el valor absoluto tenemos que:

$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{1}{n^{2}} = \sum_{n = 1}^{\infty} | (- 1)^{n} \frac{1}{n^{2}} | = \sum_{n = 1}^{\infty} \frac{1}{n^{2}}$

Sabemos que la serie $\sum_{n = 1}^{\infty} \frac{1}{n^{2}}$ converge por p-series y, por tanto:

$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{1}{n^{2}}$ es absolutamente convergente, por lo que:

$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{1}{n^{2}} c o n v e r g e$

Tarea moral

Diga si la siguientes series convergen o divergen.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

$\sum_{n = 1}^{\infty} \frac{\sin (n)}{n^{2}}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{n^{3}}{3^{n}}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{\arctan (n)}{n^{2}}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{(2 n)!}{2^{n} n! n}$
$\sum_{n = 1}^{\infty} \frac{(- 1)^{n - 1}}{n^{p}}$

Más adelante…

En esta sección vimos la definición de cuando serie es absolutamente convergente y condicionalmente en el cual $| a_{n} |$ converge o no, además, vimos el criterio de convergencia absoluta que nos dice que si una serie es absolutamente convergente entonces la serie converge, en la siguiente sección veremos otro tipo de series que son las series de potencias.

Entradas relacionadas

Ir a Cálculo Diferencial e Integral II.
Entrada anterior del curso: Cálculo Diferencial e Integral II: Series alternantes y el criterio de Leibniz – El blog de Leo (nekomath.com)
Siguiente entrada del curso: Cálculo Diferencial e Integral II: Series de potencia – El blog de Leo (nekomath.com)

Cálculo Diferencial e Integral II: Series alternantes y el criterio de Leibniz

Por Miguel Ángel Rodríguez García

Deja un comentario

Introducción

En la sección anterior vimos unas series especiales llamadas p-series, en esta sección veremos otras series especiales llamadas series alternantes, que, como bien dice su nombre, son series cuyos términos van alternando el valor de su signo.

Series alternantes

Una serie alternante puede tener la forma siguiente:

$\sum_{n = 1}^{\infty} a_{n} = \sum_{n = 1}^{\infty} (- 1)^{n - 1} b_{n} = b_{1} - b_{2} + b_{3} - b_{4} + b_{5} - \dots . .$

Como vemos, la serie va alternando sus signos para cada $n$ .

Existe un teorema de convergencia para estas series alternantes y se llama el teorema de Leibniz, el criterio de Leibniz o el criterio de la serie alternante, enunciado por el siguiente teorema.

Teorema. (Criterio de Leibniz o criterio de la serie alternante)

Si ${a_{n}}$ es una sucesión monótona decreciente tal que $lim_{n \to \infty} a_{n} = 0$ , entonces $\sum_{n = 1}^{\infty} (- 1)^{n - 1} a_{n}$ converge.

Demostración:

Consideramos ${S_{2 n}}$ donde ${S_{n}}$ son las sumas parciales de $a_{n}$ , como $a_{n}$ es una serie alternante entonces:

$S_{1} = a_{1}$

$S_{2} = a_{1} - a_{2}$

$S_{3} = a_{1} - a_{2} + a_{3}$

$S_{4} = a_{1} - a_{2} + a_{3} - a_{4}, \dots .,$

$S_{2 n} = (a_{1} - a_{2}) + (a_{3} - a_{4}) +, \dots ., + (a_{2 n - 1} - a_{2 n})$

Por otro lado:

$S_{2 n + 2} = (a_{1} - a_{2}) + (a_{3} - a_{4}) +, \dots ., + (a_{2 n - 1} - a_{2 n}) + (a_{2 n + 1} - a_{2 n + 2})$

Como la sucesión es monótona decreciente:

$\Rightarrow a_{2 n + 1} \geq a_{2 n + 2} \Rightarrow a_{2 n + 1} - a_{2 n + 2} \geq 0$ .

Ya que estamos sumando un número positivo entonces:

$\Rightarrow S_{2 n + 2} \geq S_{2 n}$

$\Rightarrow {S_{2 n}}$ es decreciente, ahora:

$S_{2 n} = a_{1} - a_{2} + a_{3} - a_{4} + a_{5} + \dots .$

$\begin{matrix} (1) & = a_{1} - (a_{2} - a_{3}) -, \dots ., - (a_{2 n - 2} - a_{2 n - 1}) - a_{2 n} \end{matrix}$

Como $a_{n} \geq a_{n + 1}$ de la anterior relación $(1)$ vemos que las suma parcial $S_{n}$ es más pequeña, ya que es una serie decreciente, entonces:

$S_{2 n} \leq a_{1} \forall n$

Por lo que $a_{1}$ es una cota superior de ${S_{2 n}} \Rightarrow S_{2 n}$ converge, por lo que consideremos a $L$ como:

$lim_{n \to \infty} S_{2 n} = L$

Observemos que $\forall n S_{2 n + 1} = S_{2 n} + a_{2 n + 1}$ , y que:

$lim_{n \to \infty} a_{n} = 0 \Rightarrow lim_{n \to \infty} a_{2 n + 1} = 0$

Por hipótesis, por lo que:

$\Rightarrow lim_{n \to \infty} S_{2 n + 1} = lim_{n \to \infty} (S_{2 n} + a_{2 n + 1})$

$= lim_{n \to \infty} S_{2 n} + lim_{n \to \infty} a_{2 n + 1} = L + 0 = L$

$∴ lim_{n \to \infty} S_{2 n + 1} = L y lim_{n \to \infty} S_{2 n} = L \Rightarrow lim_{n \to \infty} S_{n} = L$

$∴ \sum_{n = 1}^{\infty} (- 1)^{n + 1} a_{n} c o n v e r g e$

Ejemplos

Diga si las siguientes series convergen o divergen.

$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n}$

Para utilizar el criterio de Leibniz tenemos que ver que sea decreciente, pero claramente la sucesión $\frac{1}{n}$ es decreciente, entonces tomando el límite tenemos que:

$lim_{n \to \infty} \frac{1}{n} = 0$

$∴ \sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n} c o n v e r g e$

$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n^{2} + 1}$

Veamos si es decreciente:

Sea $a_{n} = \frac{1}{n^{2} + 1}$ , Como $n > 0$ entonces:

$n^{2} < (n + 1)^{2} \Rightarrow n^{2} + 1 < (n + 1)^{2} + 1 \Rightarrow \frac{1}{(n + 1)^{2}} > \frac{1}{(n + 1)^{2} + 1}$

$∴ a_{n} > a_{n + 1}$

Por tanto, $a_{n}$ es decreciente, sabemos que el límite:

$lim_{n \to \infty} \frac{1}{n^{2} + 1} = 0$

Por el criterio de leibniz:

$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{n^{2} + 1} c o n v e r g e$

Tarea moral

Diga si la siguientes series convergen o divergen.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{2 n + 1}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{3 n - 1}{2 n + 1}$
$\sum_{n = 1}^{\infty} (- 1)^{n - 1} \frac{1}{l n (n + 4)}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{n}{\sqrt{n^{3} + 2}}$
$\sum_{n = 1}^{\infty} (- 1)^{n} \frac{n}{10^{n}}$

Más adelante…

En esta sección vimos el criterio de Leibniz que se aplica a las series alternantes y que estas series tiene que ser monótonamente decreciente y que su límite cuando $n \to \infty$ sea cero para decir si la serie es convergente o divergente, en la siguiente sección veremos más criterios de convergencia que se pueden aplicar a las series alternantes, estos criterios son el criterio de convergencia absoluta.

Entradas relacionadas

Ir a Cálculo Diferencial e Integral II.
Entrada anterior del curso: Cálculo Diferencial e Integral II: P-Series – El blog de Leo (nekomath.com)
Siguiente entrada del curso: Cálculo Diferencial e Integral II: Criterio de la convergencia absoluta – El blog de Leo (nekomath.com)

Cálculo Diferencial e Integral II: P-Series

Por Miguel Ángel Rodríguez García

Deja un comentario

Introducción

En la sección anterior vimos el criterio de la integral, en esta sección veremos unas series especiales llamadas p-series o series-p.

Ya hemos visto algunas series que llevan un nombre en específico, por mencionar algunas, son:

Series armónicas

$\sum_{n = 1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots .$

Series telescópicas

$\sum_{n = 0}^{\infty} (b_{n} - b_{n - 1})$

Series geométricas

$\sum_{n = 0}^{\infty} a r^{n} = \frac{a}{1 - r}$

Series alternadas (el término cambia de signo para cada $n$ )

$\sum_{n = 1}^{\infty} (- 1)^{n + 1} \frac{1}{n}$

Ahora veamos otro tipo de series.

P-series

Definición. Las p-series se definen de la siguiente manera:

$\sum_{n = 1}^{\infty} \frac{1}{n^{p}} = 1 + \frac{1}{2^{p}} + \dots . + \frac{1}{n^{p}} + \dots .$

Donde $p$ es cualquier número real mayor a cero. Para ver en que casos convergen estas series, enunciamos el siguiente teorema.

Teorema. (Convergencia de las p-series)

La p-serie dada como:

$\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$

Converge si $p > 1$ y diverge si $0 \leq p \leq 1$ .

Demostración:

Tomamos la siguiente función:

$f (x) = \frac{1}{x^{p}}$

Si $x ϵ [1, \infty), \Rightarrow f (x)$ es continua en $[1, \infty)$ . Veamos si es decreciente, para ello derivamos:

$f^{'} (x) = - p x^{- p - 1} = - p x^{- (p + 1)} = \frac{- p}{x^{p + 1}}$

$\forall x ϵ [1, \infty), x^{p + 1} > 0 y p > 1$

Por hipótesis.

$∴ f^{'} (x) = \frac{- p}{x^{p + 1}}$

Es decreciente en el intervalo $[1, \infty)$ .

Como $f (x)$ es continua, positiva y decreciente, entonces podemos aplicar el criterio de la integral, ya que sabemos que:

$\int_{1}^{\infty} \frac{1}{x^{p}} d x c o n v e r g e \Leftrightarrow p > 1$

$\Rightarrow \sum_{n = 1}^{\infty} \frac{1}{n^{p}} c o n v e r g e \Leftrightarrow p > 1$

En otro caso diverge.

$∴ \sum_{n = 1}^{\infty} \frac{1}{n^{p}} c o n v e r g e$

Si $p > 1$ y diverge si $0 \leq p \leq 1$ .

Veamos unos ejemplos.

Ejemplos

Diga si las siguientes series convergen o divergen.

$\sum_{n = 1}^{\infty} \frac{1}{3 n^{2} - 4 n + 5}$

Sea ${b_{n}} = \frac{1}{n^{2}}$ .

Por p-series $\sum_{n = 1}^{\infty} \frac{1}{n^{2}}$ converge ya que $p = 2$ .

Consideremos el criterio de comparación del límite, por lo que proponemos la serie anterior, entonces:

$lim_{n \to \infty} \frac{\frac{1}{n^{2}}}{\frac{1}{3 n^{2} - 4 n + 5}} = lim_{n \to \infty} \frac{3 n^{2} - 4 n + 5}{n^{2}} = 3 \neq 0$

Como $\sum_{n = 1}^{\infty} \frac{1}{n^{2}}$ converge, entonces:

$\sum_{n = 1}^{\infty} \frac{1}{3 n^{2} - 4 n + 5} c o n v e r g e$

$\sum_{n = 1}^{\infty} \frac{n^{2} - 10}{4 n^{5} + n^{3}}$

Tomamos la siguiente sucesión ${b_{n}} = \frac{1}{n^{3}}$

Entonces $\sum_{n = 1}^{\infty} \frac{1}{n^{3}}$ converge por p-series ya que $p = 3$ .

Consideramos la sucesión anterior para aplicar el criterio de comparación del límite como sigue:

$lim_{n \to \infty} \frac{1}{\frac{n^{3}}{\frac{n^{2} - 10}{4 n^{5} + n^{3}}}} = lim_{n \to \infty} \frac{4 n^{5} + n^{3}}{(n^{2} - 10) n^{5}} = lim_{n \to \infty} \frac{4 n^{5} + n^{3}}{n^{5} - 10 n^{7}} = 4 \neq 0$

$∴$ Por el criterio de comparación en el límite:

$\sum_{n = 1}^{\infty} \frac{n^{2} - 10}{4 n^{5} + 10 n^{3}} c o n v e r g e$

Tarea moral

Diga si la siguientes series convergen o divergen.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

$\sum_{n = 1}^{\infty} \frac{1}{\sqrt{3}}$
$\sum_{n = 1}^{\infty} \frac{1}{(2 n + 1)^{3}}$
$\sum_{n = 1}^{\infty} - \frac{1}{8^{n}}$
$\sum_{n = 1}^{\infty} \frac{n^{2}}{n^{3} + 1}$
$\sum_{n = 1}^{\infty} - \frac{8}{n}$

Más adelante…

En esta sección vimos los tipos de series que ya hemos visto, pero faltan por ver unos tipos de series más que se ven en general en los cursos de cálculo que más adelante los veremos, en la siguiente sección veremos las series alternantes, aunque ya las definimos en esta sección, la veremos con más detalle en la siguiente entrada.

Entradas relacionadas

Ir a Cálculo Diferencial e Integral II.
Entrada anterior del curso: Cálculo Diferencial e Integral II: Criterio de la integral – El blog de Leo (nekomath.com)
Siguiente entrada del curso: Cálculo Diferencial e Integral II: Series alternantes y el criterio de Leibniz – El blog de Leo (nekomath.com)