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 $\sin(x)$.
Calculando las derivadas, se tiene que:
$\sin'(x)=\cos(x), \sin^{\prime \prime}(x)=-\sin(x), \sin^{\prime \prime \prime}(x)=-\cos(x), \sin^{\prime \prime \prime \prime}(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^{2n+1}(0)=(-1)^{n}$
Asi tenemos que:
$$p_{2n+1, 0} \space \sin(x)=\frac{\sin(0)(x-0)}{0!}+\frac{\sin'(0)(x-0)}{1!}+\frac{\sin^{\prime \prime}(0)(x-0)^{2}}{2!}+\frac{\sin^{\prime \prime \prime}(0)(x-0)^{3}}{3!}+…$$
$$…+\frac{\sin^{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)=-\sin(x), \cos^{\prime \prime}(x)=-\cos(x), \cos’^{\prime \prime \prime}x)=\sin(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$
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{\theta}=-\frac{g}{l}\sin(\theta )$$
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 $\theta$ con $\theta <<1$, aproximamos la función $\sin(\theta)$ en términos de una serie de Taylor:
$$\sin(\theta) \approx \theta-\frac{\theta^{3}}{3}+\frac{\theta^{5}}{5}+….+\frac{(-1)^{n}\theta^{2n+1}}{(2n+1)!}$$
Como queremos solamente valores pequeños de $\theta$, entonces:
$$\sin(\theta) \approx \theta$$
Así la ecuación diferencial se reescribe como:
$$\ddot{\theta}=-\frac{g}{l}\theta $$
Y la solución a esta ecuación diferencial está dada como:
$$\theta(t)=\theta_{0}\cos\left ( \sqrt{\frac{g}{l}}t \right )$$
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)=log(x)$ al grado $n$ y alrededor de $1$.
- Escriba la serie de Maclaurin de la función $f(x)=log(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)