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

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)…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}+…+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^{(k)}_{n,a}=\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^{(k)}_{n}=\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 $2n+1$ alrededor de $0$ para la función $sen(x)$.

Calculando las derivadas, se tiene que:

$sen'(x)=cos(x), sen^{\prime \prime}(x)=-sen(x), sen^{\prime \prime \prime}(x)=-cos(x), sen^{\prime \prime \prime \prime}(x)=sen(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 $sen^{2n+1}(0)=(-1)^{n}$

Asi tenemos que:

$$p_{2n+1, 0} \space sen(x)=\frac{sen(0)(x-0)}{0!}+\frac{sen'(0)(x-0)}{1!}+\frac{sen^{\prime \prime}(0)(x-0)^{2}}{2!}+\frac{sen^{\prime \prime \prime}(0)(x-0)^{3}}{3!}+…$$

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

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

Tenemos que $cos'(x)=-sen(x), cos^{\prime \prime}(x)=-cos(x), cos’^{\prime \prime \prime}x)=sen(x), cos^{\prime \prime \prime \prime}(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^{2n}(0)=(-1)^{n}$.

Así tenemos que:

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

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

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^{\prime \prime}(x),…., 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)+….+\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}dt$$

Demostración:

Demostremos la forma de Cauchy, sea $S:[a, x]\rightarrow \mathbb{R}$ definida como:

$$S(t)=f(x)-(f(t)+f'(t)(x-t)+….+\frac{f^{n}(t)(x-t)}{n!}) \tag{3}$$

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

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

Sea $S(x)$ definida anteriormente como:

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

y $S(a)$:

$$S(a)=f(x)-(f(a)+f'(a)(x-a)+….+\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^{*} \epsilon (a, x)$, por otro lado, derivamos la relación $(3)$ con respecto a $t$ como:

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

$$=-\frac{f^{(n+1)}(t^{})(x-t)^{n}}{n!} \space \forall \space t \space \epsilon (0,x) \tag{2}$$

$$\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)$$

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

$\square$

Ahora demostremos la forma de Lagrange.

Apliquemos el teorema de valor medio de Cauchy a las funciones $S:[a, x] \rightarrow \mathbb{R}$ y $g(x)=(x-t)^{n+1}$, observemos que $g$ es continua en el intervalo $[a, x]$ y diferenciable en $(a, x), \space \exists \space t^{*} \space\epsilon \space (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)$$

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

$\square$

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

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

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

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

$\square$

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.

  1. $f(x)=e^{x}$ al grado $n$ y alrededor de $0$.
  2. $f(x)=log(x)$ al grado $n$ y alrededor de $1$.
  3. Escriba la serie de Maclaurin de la función $f(x)=log(x+1)$ hasta grado $n$.
  4. $f(x)=x^{5}$ al grado $n$ alrededor de $1$ y calcule su residuo.
  5. $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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.