En càlcul, el Teorema de Taylor, rep el seu nom del matemàtic britànic Brook Taylor, qui el va enunciar el 1712. Aquest teorema permet aproximar una funció derivable en l'entorn reduït al voltant d'un punt a: I (a, d) mitjançant un polinomi els coeficients del qual depenen de les derivades de la funció en aquest punt. En termes matemàtics: Si n≥0 és un enter i f una funció que és derivable n vegades en l'interval tancat [a, x] i n+1 en l'interval obert (a, x), llavors es compleix que:
![{\displaystyle f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f^{(2)}(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bff0924b2465cfbff9abe8e4d55922f99934182)
On, n! denota el factorial de n, i R és la resta, terme que depèn x i és petit si x està pròxim al punt a. Existeixen dues expressions per a R que s'esmenten a continuació:
![{\displaystyle R={\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-a)^{n+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7e624ee720a02ecc5138a9223a09b2bb519d26a)
on ξ (valor comprès entre x i a), a i x pertanyen als reals, i n als naturals.
![{\displaystyle R=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c75f424c3a766ab069a572f054ba92fba77ac147)
Si R és expressat de la primera forma, se l'anomena Terme complementari de Lagrange, atès que el teorema de Taylor s'exposa com una generalització del Teorema del valor mitjà del càlcul diferencial, mentre que la segona expressió de R mostra el teorema com una generalització del Teorema fonamental del càlcul integral.
Per a algunes funcions f(x), es pot provar que la resta, R, s'aproxima a zero quan n s'acosta a ∞; aquestes funcions poden ser expressades com a sèries de Taylor en un entorn reduït al voltant d'un punt a i són denominades funcions analítiques.
El teorema de Taylor amb R expressat de la segona forma és també vàlid si la funció f té nombres complexos o valors vectorials. A més existeix una variació del teorema de Taylor adaptat a funcions amb múltiples variables.
Construcció del polinomi de Taylor
Sigui
una funció
vegades derivable en el punt
. Busquem una funció
, polinòmica de grau
, que sigui una aproximació d'ordre superior a
de la funció
en aquest punt. Com que
és una funció polinòmica de grau
la podem escriure de la següent forma:
![{\displaystyle g(x)=c_{0}+c_{1}(x-a)+c_{2}(x-a)^{2}+...+c_{n}(x-a)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/739fcd526b8ae0641f8b38b8d0abe67bc0ac7178)
Com que el contacte entre les funcions
i
és d'ordre superior a
podem afirmar que
. I per tant
Escrit d'altra manera:
I per tant, el polinomi queda totalment definit com:
![{\displaystyle g(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2}}(x-a)^{2}+...+{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3097031c40a356734fa033f401724fde718f3363)
Aquest polinomi és precisament el polinomi de Taylor de grau
[1] associat a
en el punt
i, com s'ha vist, és el polinomi de grau
que millor s'ajusta a la funció. Aquest polinomi se sol representar com
. Aleshores simplement es defineix el residu o resta com
![{\displaystyle R_{n}^{(a)}(x)=f(x)-P_{n}^{(a)}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6c3894cbc2b2aef2592138bf69261ce8ee9bd5d)
I, per definició,
.[2]
Propietat del residu
Es pot demostrar que el residu compleix la propietat que
. Vol dir que, en les condicions del teorema, sempre existirà un entorn de c en el qual es pot fer l'error màxim tan petit com es vulgui.
Es pot demostrar de la següent manera:
Es defineix el residu com a
, o sigui la diferència entre l'aproximació de grau n i la funció original. Així
, ja que els termes del numerador són tots nuls excepte els dos primers, que són oposats per a x=a. Aquesta indeterminació es pot desfer aplicant la regla de l'Hopital reiteradament:
Si el valor de ξ del terme complementari de Lagrange és el màxim de l'interval, s'obté el valor màxim de l'error comès en aproximar una funció pel seu polinomi de Taylor a l'entorn de x=a.
Una altra qüestió ben diferent és veure com és de gran aquest entorn de validesa de l'aproximació, si a qualsevol punt x, la sèrie de Taylor serà convergent i per tant vàlida per a calcular el valor de la funció en aquell punt. Per saber on és possible, s'ha de fer un estudi del radi de convergència de la sèrie.
Demostració
Mitjançant el teorema del valor mitjà de Cauchy
Enunciem el teorema a demostrar com:
"
és
vegades derivable en algun entorn del punt
i
és un punt fixat d'aquest entorn
i
s'expressa com:
Amb
una funció que compleix que
és derivable entre
i
i
no s'alul·la entre
i
."
El fet que qualsevol funció s'expressi com
és per definició de la resta de Taylor. Demostrem ara l'expressió de la resta.
Sigui
un punt fixat, definim la funció
com
![{\displaystyle F(t)\equiv f(x)-f(t)-f'(t)(x-t)-{\frac {f''(t)}{2}}(x-t)^{2}-...-{\frac {f^{(n)}(t)}{n!}}(x-t)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/671f105bfca7714b9eab7a6ae481272b43a29a74)
Aquesta funció compleix tres propietats:
![{\displaystyle F(a)=f(x)-f(a)-f'(a)(x-a)-{\frac {f''(a)}{2}}(x-a)^{2}-...-{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}=f(x)-P_{n}^{(a)}=R_{n}^{(a)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1553ad2df193bd522ae36a0741b5b3941d23748)
![{\displaystyle F(x)=f(x)-f(x)-f'(x)(x-x)-{\frac {f''(x)}{2}}(x-x)^{2}-...-{\frac {f^{(n)}(x)}{n!}}(x-x)^{n}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/342496a3d6ffbbd7cde04027f5b6cbd30baf76ba)
![{\displaystyle F'(t)=-{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e287f743dc3a3ac1b014201ad3bfdf1a33abb13f)
Càlcul de
![{\displaystyle F'(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dda06390bd363fcf0b521f9e7998915a5e9ce7e)
![{\displaystyle {\begin{aligned}{\frac {d}{dt}}{\big (}F(t){\big )}&={\frac {d}{dt}}{\bigg [}f(x)-f(t)-f'(t)(x-t)-{\frac {f''(t)}{2}}(x-t)^{2}-...-{\frac {f^{(n)}(t)}{n!}}(x-t)^{n}{\bigg ]}\\&={\Bigg [}0-f'(t)-{\bigg (}f''(t)(x-t)+f'(t)(-1){\bigg )}-{\bigg (}{\frac {f'''(t)}{2}}(x-t)^{2}+f''(t)(x-t)(-1){\bigg )}-...-{\bigg (}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}+{\frac {f^{(n)}(t)}{(n-1)!}}(x-t)^{n-1}(-1){\bigg )}{\Bigg ]}\\&={\Bigg [}-f'(t)+f'(t)-f''(t)(x-t)+f''(t)(x-t)-{\frac {f'''(t)}{2}}(x-t)^{2}+...+{\frac {f^{(n)}(t)}{(n-1)!}}(x-t)^{n-1}-{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}{\Bigg ]}\\&={\Bigg [}0-0-0-...-{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}{\Bigg ]}=-{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eda1d6b6aa4b8b5d01e0599937b09b298031fe2)
Ara suposem una funció
qualsevol, que compleixi les següents propietats:
![{\displaystyle g(x)\neq g(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbef35d0f50bf6cdc87530dc06241253ad9ed3ba)
ha de ser derivable entre els punts
i ![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
per a tot valor de
entre els punts
i ![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
Aleshores, el teorema del valor mitjà de Cauchy afirma que
entre els punts
i
, en el qual es compleix que
![{\displaystyle {\frac {F(a)-F(x)}{g(a)-g(x)}}={\frac {F'(\xi )}{g'(\xi )}}\Longrightarrow F(a)=R_{n}^{(a)}=F(x)+{\frac {F'(\xi )}{g'(\xi )}}{\Big (}g(a)-g(x){\Big )}={\frac {g(a)-g(x)}{g'(\xi )}}F'(\xi )={\frac {g(x)-g(a)}{g'(\xi )}}{\frac {f^{(n+1)}(\xi )}{n!}}(x-\xi )^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7363e6fe9175e261c979f5acf58ab369eb1aa655)
Dos casos de bastant importància són els casos en què
i
. El primer cas condueix a l'anomenada Resta de Lagrange:
La segona funció condueix a l'anomenada Resta de Cauchy:
Mitjançant el teorema de Rolle
Sigui
una funció diferenciable
vegades en l'interval
, el teorema de Taylor afirma que existeix
entre
i
tal que[3]
![{\displaystyle f(x)=f(x_{0})+\sum _{j=1}^{n}{\frac {f^{(j)}(x_{0})}{j!}}(x-x_{0})^{j}+{\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-x_{0})^{n+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/855ffd7071129293d009a235036454c05b88eb3c)
Sense pèrdua de generalitat, s'assumeix que
.Per a la demostració, prengui's
tal que
![{\displaystyle f(x)=f(x_{0})+\sum _{j=1}^{n}{\frac {f^{(j)}(x_{0})}{j!}}(x-x_{0})^{j}+{\frac {M}{(n+1)!}}(x-x_{0})^{n+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e353fddb1c248be4e42bbd4d33739eee6a7ef6d)
i defineixi's la funció
![{\displaystyle g(t)=f(t)-f(x_{0})-\sum _{j=1}^{n}{\frac {f^{(j)}(x_{0})}{j!}}(t-x_{0})^{j}+{\frac {f^{(n+1)}(\xi )}{(n+1)!}}(t-x_{0})^{n+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4b484fa743083293494f75498e81fbef431f17)
Noti's que
i que, per com s'ha definit
,
. Utilitzant el teorema de Rolle, se sap que existeix
tal que
. Derivant la funció
respecte
, s'obté
![{\displaystyle g'(t)=f'(t)-f'(x_{0})-\sum _{j=1}^{n-1}{\frac {f^{(}j+1)(x_{0})}{j!}}(t-x_{0})^{j}-{\frac {M}{n!}}(t-x_{0})^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ed92bfbc1667e6092823f411da0f5ef0eac71a2)
Com abans,
i, com s'ha dit,
. Si es torna a aplicar el teorema de Rolle, s'obté que existeix
tal que
. Aquest mateix raonament es pot aplicar iterativament i s'obté
![{\displaystyle g^{(\ell )}(t)=f^{(\ell )}(t)-f^{(\ell )}(x_{0})-\sum _{j=1}^{n-\ell }{\frac {f^{(}j+\ell )(x_{0})}{(j!)}}(t-x_{0})^{j}-{\frac {M}{(n+1-\ell )!}}(t-x_{0})^{(}n+1-\ell )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2b869d763af20a25184d39b33afe07a08e7eff1)
on
. S'obtindrà, a més, que
i que existirà
tal que
. En particular, quan
, es tindrà que
i per tant, utilitzant per derrer cop el teorema de Rolle, existeix
tal que
. Per tant, derivant per últim cop s'obté
![{\displaystyle g^{(n)}(t)=f^{(n+1)}(t)-M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d9f05a1d01d4c75f696849f992b38c4c4a295cd)
i d'aquí, substituint
per
, s'obté
. Així, s'ha demostrat l'existència de
.
Referències i notes
- ↑ Tot i que, de fet, el polinomi no té perquè ser de grau
, ja que res impedeix que el terme
. - ↑ Infinitèsim d'ordre superior a
. - ↑ «The Taylor Remainder Theorem» (en anglès). James Keesling. [Consulta: 10 març 2022].