Kurs: M0065M Förkunskaper: Derivata, Högre ordningens derivator
Taylors formel ersätter en krånglig funktion med ett polynom som är nästan lika nära , och säger dessutom hur stort felet är. Polynom är lätta att räkna med, så formeln används för närmevärden, för gränsvärden och för att undersöka hur en funktion beter sig nära en punkt.
Idén — från tangent till polynom
Tangenten har samma värde och samma derivata som i . Vill vi ha en bättre approximation tar vi ett polynom av grad som har samma värde och samma första derivator som i . Ju fler derivator som stämmer, desto längre håller polynomet sig nära grafen.
1. Taylorpolynomet
Taylorpolynomet av grad kring :
Utskrivet är . För är det tangenten, alltså linjäriseringen.
Maclaurinpolynomen till följer kurvan längre ut ju högre gradtalet är.
Härledning — varför i nämnaren?
Gör ansatsen och derivera:
I försvinner alla termer med , så . Kravet ger .
Ordning och grad
Blomqvist och föreläsningarna säger ofta “Taylorutveckling av ordning ”: termer till och med plus en restterm. Polynomets grad kan vara lägre, eftersom koefficienter kan vara noll. För kring är .
2. Resttermen
Med restterm (Lagrange):
där ligger mellan och . Resttermen ser ut som “nästa term” i polynomet, men med derivatan tagen i en okänd punkt i stället för i . Blomqvist skriver ofta med , och kallar resttermen .
För säger formeln , vilket är Medelvärdessatsen. Taylors formel är alltså en generalisering av den.
Härledning i korthet — via integralformen
Steg 1. Integralkalkylens fundamentalsats ger .
Steg 2. Partialintegrera med primitiven till :
Upprepar vi gånger får vi
Steg 3. Vikten byter inte tecken mellan och , så integralkalkylens medelvärdessats ger ett mellan och med
Ett alternativt bevis använder hjälpfunktionen , väljer så att , och tillämpar Rolles sats gånger.
3. Feluppskattning
Vi känner inte , men vi kan uppskatta resttermen. Om för alla mellan och är
Tecknet på mellan och avslöjar dessutom om är ett över- eller underskattat närmevärde.
Nära ligger närmare än tangenten ; vid syns ingen skillnad alls i den här skalan.
Föreläsning 31 — Närmevärde till med felgräns
Vi bestämmer Taylorpolynomet av ordning 2 för kring , och använder det för ett närmevärde till med feluppskattning.
Lösning
Derivator. , , , . I : , , .
Polynomet.
Närmevärde. .
Restterm. För något med är
är avtagande och störst i vänstra ändpunkten , så . Resttermen är negativ, alltså är närmevärdet för stort:
Rimlighetskoll. , vilket ligger i intervallet.
Stämmer med det handskrivna lösningsförslaget.
4. Maclaurinserier ()
Kring kallas polynomet Maclaurinpolynom. De tre viktigaste utvecklingarna:
Fler standardutvecklingar, och hur de kombineras, finns i Taylorutveckling.
Vanliga fel
- är inte en konstant. Punkten beror på (och på ). Vi kan bara säga att den ligger mellan och .
- Uppskatta i fel punkt. ska vara det största värdet av på hela intervallet mellan och , inte värdet i .
- Glömma . Koefficienten är , inte . Resttermen har .
- Blanda ihop ordning och grad. “Ordning 3” för ger plus restterm av ordning 4; polynomet har grad 2.
5. Lösta övningar
Testuppgift 9.1 — Utveckling av kring
Vi bestämmer andra ordningens Taylorutveckling av kring .
Lösning
Derivator. , , . I : , , .
Polynomet.
Restterm. , alltså
där ligger mellan och .
Facit: där eller .
Testuppgift 9.3 b — Maclaurinpolynom för
Vi bestämmer Maclaurinpolynomet av grad 4 för genom att derivera fyra gånger.
Lösning
Derivator.
I och delat med : .
Facit: .
Övningsuppgift 9.1 — Utveckling av kring
Vi bestämmer andra ordningens Taylorutveckling av kring .
Lösning
Derivator. , , . I : , , .
Restterm. .
där ligger mellan och .
Facit: .
Övningsuppgift 9.7 — Lös approximativt
Vi löser ekvationen approximativt genom att ersätta med dess Maclaurinpolynom av grad a) 3, b) 5.
Lösning
a) , alltså
b) . Efter division med blir det , så .
Roten ger , där polynomet inte längre liknar ( men ). Den förkastas.
Rimlighetskoll. Den verkliga lösningen är . Grad 5 kommer närmare än grad 3, som förväntat.
Facit: a) , b) , .
Läsning
- 4.10 Taylor Polynomials
- 9.6 Taylor and Maclaurin Series