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

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]

Propietat del residu modifica

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ó modifica

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:

  •  , 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'expressió de la resta.

Sigui   un punt fixat, definim la funció   com

 

Aquesta funció compleix tres propietats:

  1.  
  2.  
  3.  

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

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

Referències i notes modifica

  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  .
  3. «The Taylor Remainder Theorem» (en anglès). James Keesling. [Consulta: 10 març 2022].