Taylorrekke

En **taylorrekke**  i matematikk er en potensrekke, som kan brukes til å representere en funksjon som en rekke, der leddene er definert ved hjelp av den deriverte av funksjonen og der alle deriverte har samme funksjonsargument.  Dersom funksjonsargumentet er lik null kalles rekken også en **maclaurinrekke**.

Taylorrekker er navngitt etter den engelske matematikeren Brook Taylor (1685–1731), som introduserte disse i 1715.  Den skotske matematikeren Colin Maclaurin (1690–1746) var en ivrig bruker av spesialtilfellet med funksjonsargument lik null.  

Funksjoner kan ofte bli tilnærmet ved hjelp av et endelig antall ledd i en taylorrekke.  Taylors teorem gir et estimat for feilen i en slik tilnærming.  De første *n* leddene i en taylorrekke danner et taylorpolynom av grad (*n*-1).  Taylorrekken til en funksjon er grensefunksjonen til følgen av taylorpolynom, dersom grensefunksjonen eksisterer.  En funksjon trenger ikke å være lik taylorrekken, selv om rekken konvergerer overalt.  En funksjon som er identisk med taylorrekken i et åpent intervall sies å være en analytisk funksjon.

## Formell definisjon
Gitt en reell eller kompleks funksjon *f*(*x*) som er uendelig mange ganger deriverbar i en omegn om funksjonsargumentet  *x* = *a*.  Taylorrekken til funksjonen er potensrekken

:f(a)+\frac {f'(a)}{1!} (x-a)+ \frac{f*(a)}{2!} (x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+ \cdots. </math>

Alternativt kan dette skrives på mer kompakt form som

:<math>\sum_{n=0} ^ {\infin } \frac {f^{(n)}(a)}{n!} \, (x-a)^{n}</math>.

Her er *n*! lik [[fakultet (matematikk)|n-fakultet]] og *f*<sup>&nbsp;(*n*)</sup>(*a*) er den *n*-te deriverte av *f* for argumentet *a*.  Den nulte deriverte av *f* er definert til å være lik funksjonen selv.  

Når *a* = 0 kalles rekken maclaurinrekken.

==Eksempler==
Maclaurinrekken til et vilkårlig [[polynom]] er identisk med polynomet.

Maclaurinrekken til funksjonen *f*(*x*) = i intervallet |x| < 1 er en [[geometrisk rekke]]:

:<math>1+x+x^2+x^3+\cdots\!</math>

Taylorrekken til funksjonen *f*(*x*) = *x*<sup>−1</sup> med  er lik

:<math>1-(x-1)+(x-1)^2-(x-1)^3+\cdots.\!</math>
Maclaurinrekken til [[eksponensialfunksjon]]en *f*(*x*) = *e*<sup>*x*</sup> er lik

:<math>1 + \frac{x^1}{1!} + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!}+ \cdots \quad = \quad 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \frac{x^5}{120} + \cdots.\!</math>

==Analytiske funksjoner ==
:*Utdypende artikkel:* [[Analytisk funksjon]]

La *f*(*z*) være en funksjon der både [[definisjonsmengde]]n og [[verdiområde]]t er i [[komplekst tall#Geometrisk tolkning av komplekse tall |det komplekse planet]].   Dersom funksjonen er definert med en konvergent potensrekke i et åpent intervall om *z* = *a*, så sies funksjonen  å være *analytisk* i dette intervallet.  Det vil si at dersom *z* er et komplekst tall i intervallet, så er    

:<math>f(z) = \sum_{n=0}^\infty a_n(z-a)^n.</math>

Differensiering ledd for ledd gir 

:<math>\frac{f^{(n)}(a)}{n!} = a_n</math>

slik at potensrekken er identisk med taylorrekken.  Funksjonen er altså analytisk i et åpent intervall hvis og bare hvis taylorrekken konvergerer mot funksjonsverdien for et hvert argument i intervallet.

Dersom funksjonen er lik taylorrekken overalt, så sies funksjonen å være en *hel funksjon*.  Eksempler på hele funksjoner er polynom og de [[trigonometriske funksjoner|trigonometriske funksjonene]] sinus og cosinus.  Derimot er [[logaritme]]funksjonen ikke hel, og heller ikke den trigonometriske funksjonen tangens.  

For en hel funksjonen vil med kjennskap til funksjonsverdien og alle de deriverte i ett punkt kunne beregne funksjonen overalt, ved hjelp av taylorrekken.

For bruk av taylorrekken for en analytisk funksjon gjelder det at

# De *n* første leddene i taylorrekken vil kunne brukes som en tilnærming til funksjonen overalt.  Tilnærmingen vil bli bedre dess flere ledd som er inkludert.
# Derivasjon og integrasjon av taylorrekken kan utføres ledd for ledd, og er dermed svært enkel å gjennomføre.

== Funksjonstilnærming ==



I figuren til høyre vises maclaurinrekken til funksjonen sin(*x*).  Den rosa kurven er grafen til et polynom av grad sju:

:<math>\sin\left( x \right) \approx x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}.\!</math>

Ikke for noe argument er feilen i tilnærmingen større enn |*x*|<sup>9</sup>/9.  I intervallet  er feilen mindre enn 0.000003.

En helt annen oppførsel finner en for den naturlige logaritmefunksjonen *ln*(1+*x*) , vist i den andre figuren til høyre.  Maclaurinrekken til funksjonen konvergerer mot funksjonen bare i intervallet (-1,1].  Utenfor dette intervallet vil høyere-ordens taylorpolynom gi en *dårligere* tilnærming til funksjonen, tilsvarende det som kan opptre for [[fourierrekke]]r.  

Feilen som opptrer når en tilnærmer en funksjon med sitt *n*-te-grads taylorpolynom kalles *restleddet* og betegnes med funksjonen *Rn(x;a)''.  

:f(x) = \sum_{i=0}^n \frac{f^{(i)}(a)}{i!} (x-a)^i + R_n(x).

Taylors teorem gir en skranke for størrelsen på restleddet.