Teorema de Taylor

De Viquipèdia
Dreceres ràpides: navegació, cerca

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ó fnombres 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 | modifica el codi]

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 es sol representar com . Aleshores simplement es defineix el residu o resta com

I, per definició, .[2]

Propietat del residu[modifica | modifica el codi]

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ó Teorema de Taylor[modifica | modifica el codi]

Enunciem el teorema a demostrar com:

" és vegades derivable en algun entorn del punt i és un punt fixat d'aquest entorn i s'expresa com:

  • , entre i , tal que

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'expresió de la resta..

Sigui un punt fixat, definim la funció com

Aquesta funció compleix tres propietats:


Ara suposem una funció qualsevol, que compleixi les següents propietats:

  1. ha de ser derivable entre els punts i
  2. 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:

Referències i notes[modifica | modifica el codi]

  1. Tot i que, de fet, el polinomi no té perquè ser de grau , ja que res impedeix que el terme .
  2. Infinitèsim d'ordre superior a .