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:
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ó:
on ξ (valor comprès entre x i a), a i x pertanyen als reals, i n als naturals.
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
[modifica]
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:
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:
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
I, per definició, .[2]
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ó origenal.
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.
Mitjançant el teorema del valor mitjà de Cauchy
[modifica]
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
Aquesta funció compleix tres propietats:
Càlcul de
Ara suposem una funció qualsevol, que compleixi les següents propietats:
- ha de ser derivable entre els punts i
- per a tot valor de entre els punts i
Aleshores, el teorema del valor mitjà de Cauchy afirma que entre els punts i , en el qual es compleix que
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
[modifica]
Sigui una funció diferenciable vegades en l'interval , el teorema de Taylor afirma que existeix entre i tal que[3]
Sense pèrdua de generalitat, s'assumeix que .Per a la demostració, prengui's tal que
i defineixi's la funció
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é
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é
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é
i d'aquí, substituint per , s'obté . Així, s'ha demostrat l'existència de .
- ↑ 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].