24 Polinomio de Taylor

Definición VI.1.

Sea ff una función nn veces derivable en x0x_{0}. Llamamos polinomio de Taylor de grado nn de ff en x0x_{0} al unico polinomio p(x)p(x) que cumpla que:

p(x0)=f(x0),p′(x0)=f′(x0),…,p(n)(x0)=f(n)(x0)p(x_{0})=f(x_{0}),p^{\prime}(x_{0})=f^{\prime}(x_{0}),\ldots,p^{(n)}(x_{0})=f^% {(n)}(x_{0})

Veamos cuál es: dado un polinomio general de grado nn,

p(x)=a0+a1(x−x0)+⋯+an(x−x0)np(x)=a_{0}+a_{1}(x-x_{0})+\cdots+a_{n}(x-x_{0})^{n}
  1. 1.
    ​

    p(x0)=f(x0)p(x_{0})=f(x_{0}). Si evaluamos el polinomio, p(x0)=a0+a1(x0−x0)+⋯an(x0−x0)n=a0⇒a0=f(x0)p(x_{0})=a_{0}+a_{1}(x_{0}-x_{0})+\cdots a_{n}(x_{0}-x_{0})^{n}=a_{0}% \Rightarrow a_{0}=f(x_{0}).

  2. 2.
    ​

    p′(x0)=f′(x0)⇒p′(x)=0+a1+a2⋅2(x−x0)+⋯+ann(x−x0)n−1p^{\prime}(x_{0})=f^{\prime}(x_{0})\Rightarrow p^{\prime}(x)=0+a_{1}+a_{2}% \cdot 2(x-x_{0})+\cdots+a_{n}n(x-x_{0})^{n-1}. Como p′(x0)=f′(x0)p^{\prime}(x_{0})=f^{\prime}(x_{0}), p′(x0)=a1=f′(x0)p^{\prime}(x_{0})=a_{1}=f^{\prime}(x_{0}).

  3. 3.
    ​

    p′′(x0)=f′′p^{\prime\prime}(x_{0})=f^{\prime\prime}. p′′(x)=a22+a3⋅3⋅2⋅(x−x0)+⋯+an⋅n⋅(n−1)⋅(x−x0)n−2p^{\prime\prime}(x)=a_{2}2+a_{3}\cdot 3\cdot 2\cdot(x-x_{0})+\cdots+a_{n}\cdot n% \cdot(n-1)\cdot(x-x_{0})^{n-2}. Evaluando en x0,x_{0}, p′′(x0)=a2⋅2⇒a2=f′′(x0)/2p^{\prime\prime}(x_{0})=a_{2}\cdot 2\Rightarrow a_{2}=f^{\prime\prime}(x_{0})/2.

  4. 4.
    ​

    p′′′(x)=a3⋅3⋅2+a4⋅3⋅3⋅2(x−x0)+⋯+an⋅n⋅(n−1)⋅(n−2)⋅(x−x0)n−3⇒p′′′(x0)=a3⋅3⋅2p^{\prime\prime\prime}(x)=a_{3}\cdot 3\cdot 2+a_{4}\cdot 3\cdot 3\cdot 2(x-x_{% 0})+\cdots+a_{n}\cdot n\cdot(n-1)\cdot(n-2)\cdot(x-x_{0})^{n-3}\Rightarrow p^{% \prime\prime\prime}(x_{0})=a_{3}\cdot 3\cdot 2.

  5. 5.
    ​

    Lo hacemos hasta llegar a la derivada nn-esima: p(n)(x0)=f(n)(x0)⇒an⋅n!=f(n)(x0)⇒an=f(n)(x0)n!p^{(n)}(x_{0})=f^{(n)(x_{0})}\Rightarrow a_{n}\cdot n!=f^{(n)}(x_{0})% \Rightarrow a_{n}=\frac{f^{(n)}(x_{0})}{n!}.

Luego el polinomio de Taylor de grado nn de ff en x0x_{0} es:

Pn,x0,f(x)=f(x0)+f′(x0)(x−x0)+f′′(x0)2!(x−x0)2+f′′′(x0)3!(x−x0)3=∑k=0nf(k)(x0)k!(x−x0)kP_{n,x_{0},f}(x)=f(x_{0})+f^{\prime}(x_{0})(x-x_{0})+\frac{f^{\prime\prime}(x_% {0})}{2!}(x-x_{0})^{2}+\frac{f^{\prime\prime\prime}(x_{0})}{3!}(x-x_{0})^{3}=% \sum_{k=0}^{n}\frac{f^{(k)}(x_{0})}{k!}(x-x_{0})^{k}

Por ejemplo, el polinomio de grado 33 de f(x)=sinxf(x)=\sin x en el 0:

P3,0,f(x)=f(0)+f′(0)(x−0)+f′′(0)2!(x−0)2+f′′′(0)3!(x−0)3=x−16x3P_{3,0,f}(x)=f(0)+f^{\prime}(0)(x-0)+\frac{f^{\prime\prime}(0)}{2!}(x-0)^{2}+% \frac{f^{\prime\prime\prime}(0)}{3!}(x-0)^{3}=x-\frac{1}{6}x^{3}

ya que f(0)=sin0=0f(0)=\sin 0=0, f′(x)=cosx⇒f′(0)=1f^{\prime}(x)=\cos x\Rightarrow f^{\prime}(0)=1, f′′(x)=−sinx⇒f′′(0)=0f^{\prime\prime}(x)=-\sin x\Rightarrow f^{\prime\prime}(0)=0, f′′′(x)=−cosx⇒f′′′(0)=−1f^{\prime\prime\prime}(x)=-\cos x\Rightarrow f^{\prime\prime\prime}(0)=-1.

Cuánto vale sin1?⇒P(1)≈sin1\sin 1?\Rightarrow P(1)\approx\sin 1.

P(x)=x−x36⇒p(1)=1−16=56P(x)=x-\frac{x^{3}}{6}\Rightarrow p(1)=1-\frac{1}{6}=\frac{5}{6}

El error obtenido es: E=|p(1)−sin1|=|56−sin1|E=\left|p(1)-\sin 1\right|=\left|\frac{5}{6}-\sin 1\right|

Teorema VI.1.

Sea f∈𝒞︁n+1([a,b])f\in\mathscr{C}^{n+1}([a,b]) (derivable n+1n+1 veces y todas las derivadas son continuas). Entonces, para x,x0∈[a,b]x,x_{0}\in[a,b], x≠x0x\neq x_{0}, existe un cc entre xx, x0x_{0} tal que

f(x)=Pn,x0,f(x)+f(n+1)(c)(n−1)!(x−x0)n+1.f(x)=P_{n,x_{0},f}(x)+\frac{f^{(n+1)}(c)}{(n-1)!}(x-x_{0})^{n+1}\mathchar 46\relax
Demostración.

Sea x,x0∈[a,b]x,x_{0}\in[a,b] con x≠x0x\neq x_{0}. Definimos la siguiente funcion:

F(t)=f(x)−f(t)−f′(t)(x−t)−⋯−f(n)(t)(x−t)nn!F(t)=f(x)-f(t)-f^{\prime}(t)(x-t)-\cdots-f^{(n)}(t)\frac{(x-t)^{n}}{n!}

con t∈(x,x0)∨(x0,x)t\in(x,x_{0})\vee(x_{0},x).

  • ​

    F(x0)=f(x)−Pn,t,f(x)F(x_{0})=f(x)-P_{n,t,f}(x).

Definimos tambien G(t)=F(t)−(x−tx−x0)n+1F(x0)G(t)=F(t)-(\frac{x-t}{x-x_{0}})^{n+1}F(x_{0})

  • ​

    GG es continua en [x,x0][x,x_{0}] (o [x0,x][x_{0},x]) ya que f∈𝒞︁n+1([a,b])f\in\mathscr{C}^{n+1}([a,b]).

  • ​

    GG es derivable en (x,x0)(x,x_{0}) o (x0,x)(x_{0},x) ya que f∈𝒞︁n([a,b])f\in\mathscr{C}^{n}([a,b]) y ff es n+1n+1 derivable en [a,b][a,b].

Tenemos que:

G(x)=F(x)−(x−xx−x0)n+1F(x0)=F(x)G(x)=F(x)-(\frac{x-x}{x-x_{0}})^{n+1}F(x_{0})=F(x)
G(x0)=F(x0)−(x−x0x−x0)n+1⋅F(x0)=0G(x_{0})=F(x_{0})-(\frac{x-x_{0}}{x-x_{0}})^{n+1}\cdot F(x_{0})=0

Veamos cuanto vale F(x)F(x):

F(x)=f(x)−f(x)−f′(t)(x−x)−⋯−f(n)(x)(x−x)nn!=0F(x)=f(x)-f(x)-f^{\prime}(t)(x-x)-\cdots-f^{(n)}(x)\frac{(x-x)^{n}}{n!}=0

Por tanto, {G(x)=F(x)=0G(x0)=0⇒G(x)=G(x0)=0\begin{cases}G(x)=F(x)=0\\ G(x_{0})=0\end{cases}\Rightarrow G(x)=G(x_{0})=0

Por el teorema de Rolle, ∃c∈(x,x0)\exists c\in(x,x_{0}) o (x0,x)(x_{0},x) tal que G′(c)=0G^{\prime}(c)=0, es decir,

G′(t)=F′(t)−F(x0)(x−x0)n+1⋅(n+1)(x−t)n(−1)G^{\prime}(t)=F^{\prime}(t)-\frac{F(x_{0})}{(x-x_{0})^{n+1}}\cdot(n+1)(x-t)^{n% }(-1)

Cuánto vale F′(t)F^{\prime}(t)?

F′(t)=−f′(t)−f(2)(t)(x−t)−f(3)(t)2!(x−t)2−f(4)(t)3!(x−t)3−⋯f(n+1)(t)n!(x−t)n==−f′(t)−f′(t)(−1)−f(2)(t)2!2(x−t)(−1)−⋯−f(n)(t)n!(x−t)n−1(−1)=−f(n+1)(t)n!(x−t)n{}F^{\prime}(t)=-f^{\prime}(t)-f^{(2)}(t)(x-t)-\frac{f^{(3)}(t)}{2!}(x-t)^{2}-% \frac{f^{(4)}(t)}{3!}(x-t)^{3}-\cdots\ \frac{f^{(n+1)}(t)}{n!}(x-t)^{n}=\\ {}=-f^{\prime}(t)-f^{\prime}(t)(-1)-\frac{f^{(2)}(t)}{2!}2(x-t)(-1)-\cdots-% \frac{f^{(n)}(t)}{n!}(x-t)^{n-1}(-1)=-\frac{f^{(n+1)}(t)}{n!}(x-t)^{n}

Por tanto,

G′(t)=−f(n+1)(t)n!(x−t)n−F(x0)(n+1)(x−t)n(x−x0)n+1(−1)G^{\prime}(t)=\frac{-f^{(n+1)}(t)}{n!}(x-t)^{n}-\frac{F(x_{0})(n+1)(x-t)^{n}}{% (x-x_{0})^{n+1}}(-1)

Luego

0=G′(c)=−f(n+1)(c)n!(x−c)n+F(x0)(n+1)(x−c)n(x−x0)n+1⇒F(x0)=f(n+1)(c)(n+1)!(x−x0)n+10=G^{\prime}(c)=\frac{-f^{(n+1)}(c)}{n!}(x-c)^{n}+\frac{F(x_{0})(n+1)(x-c)^{n}% }{(x-x_{0})^{n+1}}\Rightarrow F(x_{0})=\frac{f^{(n+1)}(c)}{(n+1)!}(x-x_{0})^{n% +1}

Además, hemos visto antes que F(x0)=f(x)−Pn,x0,f(x)F(x_{0})=f(x)-P_{n,x_{0},f}(x). Luego f(x)=Pn,x0,f(x)+F(x0)f(x)=P_{n,x_{0},f}(x)+F(x_{0}). ∎

Ejemplo VI.1.

Aproximar sin(1)\sin(1) con el polinomio de Taylor de grado 33 de la funcion sinx\sin x centrado en el x0=0x_{0}=0. Ademas, proporciona una cota optima para el error cometido.

P3,0,sinx(x)=x−x36⇒sin1≈1−16=0,8333P_{3,0,\sin x}(x)=x-\frac{x^{3}}{6}\Rightarrow\sin 1\approx 1-\frac{1}{6}=0{,}% 8333

El error cometido es: Error =sin1−P3,0,sinx(1)=sin(c)4!(1−0)4=\sin 1-P_{3,0,\sin x}(1)=\frac{\sin(c)}{4!}(1-0)^{4} con c∈(0,1)c\in(0,1).

Por tanto,

|Error |≤|sin(c)4!(1−0)4|≤124.\left|\text{Error }\right|\leq\left|\frac{\sin(c)}{4!}(1-0)^{4}\right|\leq% \frac{1}{24}\mathchar 46\relax

Nos gustaria resolver lı´mx→x0f(x)⋅h(x)g(x)\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac{f(x)\cdot h% (x)}{g(x)}, sabiendo que f(x)≈Pn,x0,f(x)=f(n)(x0)n!(x−x0)nf(x)\approx P_{n,x_{0},f}(x)=\frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n}.

Por ejemplo,

  • ​

    lı´mx→0sinxx=lı´mx→0x−sin(c)2!x2x=lı´mx→01−sinc2!x=1\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\sin x}{x}=% \mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{x-\frac{\sin(c% )}{2!}x^{2}}{x}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}1-% \frac{\sin c}{2!}x=1.

  • ​

    lı´mx→0tanx−sinxx3=lı´mx→033!x3+Errorx3=lı´mx→012+lı´mx→0Errorx3=12\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\tan x-\sin x}% {x^{3}}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\frac{% 3}{3!}x^{3}+\text{Error}}{x^{3}}=\mathop{\operator@font l\acute{{\imath}}m}% \limits_{x\to 0}\frac{1}{2}+\mathop{\operator@font l\acute{{\imath}}m}\limits_% {x\to 0}\frac{\text{Error}}{x^{3}}=\frac{1}{2} ya que tanx−sinx≈3x3\tan x-\sin x\approx 3x^{3} (polinomio de Taylor de grado 33 en 0 ).

    f(0)=tan0−sin0=0f(0)=\tan 0-\sin 0=0, f′(x)=1+tan2x−cosx⇒f′(0)=1+0−1=0f^{\prime}(x)=1+\tan^{2}x-\cos x\Rightarrow f^{\prime}(0)=1+0-1=0, f(2)(x)=2tanx(1+tan2x)+sinx⇒f(2)(0)=0f^{(2)}(x)=2\tan x(1+\tan^{2}x)+\sin x\Rightarrow f^{(2)}(0)=0, f(3)(x)=2[(1+tan2x)(1+tan2x)+tanx(2tanx(1+tan2x))]+cosx⇒f(3)(0)=2+1≠0f^{(3)}(x)=2[(1+\tan^{2}x)(1+\tan^{2}x)+\tan x(2\tan x(1+\tan^{2}x))]+\cos x% \Rightarrow f^{(3)}(0)=2+1\neq 0.

    Error=f(n+1)(c)(x−x0)n+1=f(4)(c)(x−x0)4\text{Error}=\frac{f^{(n+1)}(c)}{(x-x_{0})^{n+1}}=\frac{f^{(4)}(c)}{(x-x_{0})^% {4}}. Por otro lado, lı´mx→0f(4)(c)4!x4x3=lı´mx→0f(4)(c)4!⋅x=0\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\frac{f^{(4)}(% c)}{4!}x^{4}}{x^{3}}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0% }\frac{f^{(4)}(c)}{4!}\cdot x=0 porque c∈(0,x)c\in(0,x).

Entonces, siguiendo esta idea:

lı´mx→x0f(x)⋅h(x)g(x)=lı´mx→x0f(x)(x−x0)nlı´mx→x0(x−x0)n⋅h(x)g(x)=f(n)(x0)n!⋅lı´mx→x0(x−x0)n⋅h(x)g(x)\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac{f(x)\cdot h% (x)}{g(x)}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac% {f(x)}{(x-x_{0})^{n}}\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x% _{0}}\frac{(x-x_{0})^{n}\cdot h(x)}{g(x)}=\frac{f^{(n)}(x_{0})}{n!}\cdot% \mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac{(x-x_{0})^% {n}\cdot h(x)}{g(x)}

ya que lı´mx→x0f(x)(x−x0)n=lı´mx→x0f(n)(x0)n!(x−x0)n+Error(x−x0)n=f(n)(x0)n!\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac{f(x)}{(x-x% _{0})^{n}}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to x_{0}}\frac% {\frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n}+\text{Error}}{(x-x_{0})^{n}}=\frac{f^{% (n)}(x_{0})}{n!}.

Decimos que f(n)(x0)n!(x−x0)n\frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n} es el infinitesimo equivalente de ff cuando xx tiende a x0x_{0}.

Ejemplo VI.2.

lı´mx→0tanxx\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\tan x}{x}

f(0)=tan0=0f(0)=\tan 0=0,

f′(x)=1+tan2x⇒f′(0)=1⇒f′(0)1!x=xf^{\prime}(x)=1+\tan^{2}x\Rightarrow f^{\prime}(0)=1\Rightarrow\frac{f^{\prime% }(0)}{1!}x=x

Luego lı´mx→0tanxx=lı´mx→0xx=lı´mx→01=1\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\tan x}{x}=% \mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{x}{x}=\mathop{% \operator@font l\acute{{\imath}}m}\limits_{x\to 0}1=1.

Ejemplo VI.3.

lı´mx→0tanx−sinxx3=lı´mx→0x−xx3=lı´mx→00x3=lı´mx→00=0\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{\tan x-\sin x}% {x^{3}}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{x-x}{x% ^{3}}=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}\frac{0}{x^{3}% }=\mathop{\operator@font l\acute{{\imath}}m}\limits_{x\to 0}0=0. Esto esta MAL.