En Taylor-serie är en idé som används inom datavetenskap, kalkyl, kemi, fysik och andra typer av matematik på högre nivå. Det är en serie som används för att skapa en uppskattning (gissning) av hur en funktion ser ut. Det finns också en speciell typ av Taylor-serie som kallas Maclaurin-serie.

Teorin bakom Taylor-serien är att om man väljer en punkt på koordinatplanet (x- och y-axlarna) kan man gissa hur en funktion kommer att se ut i området runt den punkten. Detta görs genom att ta funktionens derivata och addera dem alla tillsammans. Tanken är att det är möjligt att addera det oändliga antalet derivat och få fram en enda ändlig summa.

Inom matematiken visar en Taylor-serie en funktion som summan av en oändlig serie. Summans termer tas från funktionens derivat. Taylor-serier kommer från Taylors sats.

Definition och formel

Givet en funktion f som har oändligt många derivator i en punkt a, ges dess Taylor-serie kring a av

f(x) = ∑n=0 f(n)(a) / n! · (x − a)n

Här betyder f(n)(a) den n:te derivatan av f vid punkten a och n! är n fakultet. Om a = 0 får vi den särskilda fallet, Maclaurin-serien:

f(x) = ∑n=0 f(n)(0) / n! · xn

Hur man beräknar en Taylor-polynom (praktisk metod)

  • Välj expansionspunkten a (för Maclaurin väljs a = 0).
  • Beräkna f(a), f'(a), f''(a), ..., upp till önskad ordning n.
  • Formera Taylor-polynomet av grad n (partialsumman): Tn(x) = ∑k=0n f(k)(a) / k! · (x−a)k.
  • Använd restled (se nedan) för att uppskatta felet mellan f(x) och Tn(x).

Restterm och konvergens

Att skriva en funktion som sin Taylor-serie kräver inte bara att deriverna finns utan också att serien konvergerar till funktionen. Ett vanligt sätt att uppskatta felet efter n termer ges av Lagranges restterm:

Rn(x) = f(n+1)(ξ)/(n+1)! · (x − a)n+1 för något ξ mellan a och x.

Om Rn(x) → 0 när n → ∞ för varje x i ett intervall, så konvergerar Taylor-serien till f(x) där. Konvergensområdet bestäms ofta med hjälp av rot- eller kvottestet och kan vara ett ändligt intervall, halvt öppet intervall eller hela ℝ (till exempel för ex).

En funktion som är lika med sin Taylor-serie i en omgivning av a kallas analytisk (eller entire om den är analytisk för alla reella/komplexa x).

Vanliga exempel

  • Exponentialfunktionen ex (Maclaurin): f(n)(0) = 1 för alla n, alltså

    ex = ∑n=0 xn/n! (konvergerar för alla x).

  • Sinus och cosinus (Maclaurin):

    sin x = ∑n=0 (−1)n x2n+1/(2n+1)!,

    cos x = ∑n=0 (−1)n x2n/(2n)!.

  • Logaritmen ln(1+x) (Maclaurin, −1 < x ≤ 1):

    ln(1+x) = ∑n=1 (−1)n+1 xn/n, för |x| < 1 (vid x = 1 konvergerar den villkorligt).

  • Binomialserien (1 + x)α för reellt α:

    (1 + x)α = ∑n=0 (α choose n) xn, där (α choose n) = α(α−1)...(α−n+1)/n!, giltig för |x| < 1.

Tillämpningar

  • Numerisk approximation: beräkna funktioner med polynom när exakta värden är svåra eller dyra att få fram.
  • Lösning av differentialekvationer via serieutveckling.
  • Fysik och teknik: linjärisering av icke-linjära uttryck runt jämviktspunkter.
  • Analys av funktioners beteende nära en punkt, t.ex. extremvärdesanalys och asymptotisk utveckling.

Sammanfattning

En Taylor-serie uttrycker en funktion som en oändlig summa av termer baserade på funktionens derivator i en given punkt. Maclaurin-serien är fallet när expansionspunkten är 0. För praktisk användning används ofta ett ändligt Taylor-polynom och en restterm för att uppskatta felet. Viktiga frågor vid arbete med Taylor-serier är beräkning av koefficienterna, bestämning av konvergensområdet och uppskattning av restledet.