Newtonpolynom
Inom det matematiska området för numerisk analys är ett Newtonpolynom , uppkallat efter sin uppfinnare Isaac Newton , ett interpolationspolynom för en given uppsättning datapunkter. Newtonpolynomet kallas ibland Newtons dividerade differensinterpolationspolynom eftersom koefficienterna för polynomet beräknas med hjälp av Newtons dividerade differensmetoder .
Definition
Givet en uppsättning av k + 1 datapunkter
där inga två x j är lika, är Newtoninterpolationspolynomet en linjär kombination av Newtonbaspolynom
med Newtonbaspolynomen definierade som
för j > 0 och .
Koefficienterna definieras som
var
är notationen för uppdelade skillnader .
Således kan Newtonpolynomet skrivas som
Newtons formel för framåtdelad skillnad
Newtonpolynomet kan uttryckas i en förenklad form när är ordnade i följd med lika mellanrum. Vi introducerar notationen för varje och , skillnaden kan skrivas som . Så Newtonpolynomet blir
Detta kallas Newton forward divided difference formel . [ citat behövs ]
Newton bakåtdelad skillnadsformel
Om noderna ordnas om som , Newtonpolynomet blir
Om är lika fördelade med och för i = 0, 1, ..., k , sedan,
kallas Newtons bakåtdelad skillnadsformel . [ citat behövs ]
Betydelse
Newtons formel är av intresse eftersom det är den enkla och naturliga skillnadsversionen av Taylors polynom. Taylors polynom berättar vart en funktion kommer att gå, baserat på dess y -värde, och dess derivator (dess förändringshastighet och förändringshastigheten för dess förändringshastighet, etc.) vid ett visst x- värde. Newtons formel är Taylors polynom baserat på ändliga skillnader istället för momentana förändringshastigheter.
Tillägg av nya poäng
Som med andra differensformler kan graden av ett Newton-interpolerande polynom ökas genom att lägga till fler termer och punkter utan att kassera befintliga. Newtons form har enkelheten att de nya punkterna alltid läggs till i ena änden: Newtons framåtformel kan lägga till nya punkter till höger, och Newtons bakåtformel kan lägga till nya punkter till vänster.
Noggrannheten för polynominterpolation beror på hur nära den interpolerade punkten är mitten av x -värdena för den använda uppsättningen av punkter. Uppenbarligen, när nya punkter läggs till i ena änden, blir den mitten längre och längre från den första datapunkten. Därför, om det inte är känt hur många punkter som kommer att behövas för den önskade noggrannheten, kan mitten av x-värdena vara långt ifrån där interpoleringen görs.
Gauss, Stirling och Bessel utvecklade alla formler för att lösa det problemet.
0 Gauss formel lägger omväxlande till nya punkter i vänster och höger ände, och håller därigenom uppsättningen punkter centrerad nära samma plats (nära den utvärderade punkten). När man gör det använder den termer från Newtons formel, med datapunkter och x -värden omdöpta i enlighet med ens val av vilken datapunkt som betecknas som x -datapunkt.
Stirlings formel förblir centrerad kring en viss datapunkt, för användning när den utvärderade punkten är närmare en datapunkt än mitten av två datapunkter.
Bessels formel förblir centrerad kring en viss mitt mellan två datapunkter, för användning när den utvärderade punkten är närmare en mitt än en datapunkt.
Bessel och Stirling uppnår det genom att ibland använda genomsnittet av två skillnader, och ibland använda genomsnittet av två produkter av binomialer i x , där Newtons eller Gauss skulle använda bara en skillnad eller produkt. Stirling's använder en genomsnittlig skillnad i udda graders termer (vars skillnad använder ett jämnt antal datapunkter); Bessel's använder en genomsnittlig skillnad i jämna graders termer (vars skillnad använder ett udda antal datapunkter).
Styrkor och svagheter med olika formler
För varje given ändlig uppsättning datapunkter finns det bara ett polynom av minsta möjliga grad som passerar genom dem alla. Således är det lämpligt att tala om "Newtonformen", eller Lagrangeformen , etc., av interpolationspolynomet. Emellertid kan olika metoder för att beräkna detta polynom ha olika beräkningseffektivitet. Det finns flera liknande metoder, som Gauss, Bessel och Stirling. De kan härledas från Newtons genom att döpa om x -värdena för datapunkterna, men i praktiken är de viktiga.
Bessel vs. Stirling
Valet mellan Bessel och Stirling beror på om den interpolerade punkten är närmare en datapunkt, eller närmare en mitt mellan två datapunkter.
En polynominterpolations fel närmar sig noll, eftersom interpolationspunkten närmar sig en datapunkt. Därför ger Stirlings formel sin noggrannhetsförbättring där den behövs minst och Bessel tar med sin noggrannhetsförbättring där den behövs som mest.
Så, Bessels formel kan sägas vara den mest konsekvent exakta skillnadsformeln, och i allmänhet den mest konsekvent korrekta av de välbekanta polynominterpolationsformlerna.
Metoder med uppdelad skillnad mot Lagrange
Lagrange sägs ibland kräva mindre arbete, och ibland rekommenderas det för problem där det är känt i förväg, från tidigare erfarenhet, hur många termer som behövs för tillräcklig noggrannhet.
De uppdelade skillnadsmetoderna har fördelen att fler datapunkter kan läggas till, för förbättrad noggrannhet. Termerna baserade på de tidigare datapunkterna kan fortsätta att användas. Med den vanliga Lagrange-formeln skulle man göra om hela problemet för att lösa problemet med fler datapunkter.
Det finns en "barycentrisk" version av Lagrange som undviker behovet av att göra om hela beräkningen när du lägger till en ny datapunkt. Men det kräver att värdena för varje term registreras.
Men förmågan hos Gauss, Bessel och Stirling att hålla datapunkterna centrerade nära den interpolerade punkten ger dem en fördel gentemot Lagrange, när det inte är känt i förväg hur många datapunkter som kommer att behövas.
Anta dessutom att man vill ta reda på om linjär interpolation är tillräckligt korrekt för någon speciell typ av problem. Det kan bestämmas genom att utvärdera den kvadratiska termen för en delad skillnadsformel. Om den kvadratiska termen är försumbar – vilket betyder att den linjära termen är tillräckligt exakt utan att addera den kvadratiska termen – så är linjär interpolation tillräckligt exakt. Om problemet är tillräckligt viktigt, eller om den kvadratiska termen är nästan tillräckligt stor för att spela roll, kanske man vill avgöra om summan av kvadratiska och kubiktermer är tillräckligt stor för att spela roll i problemet.
Naturligtvis kan endast en delad skillnadsmetod användas för en sådan bestämning.
0 För detta ändamål bör formeln med delad differens och/eller dess x -punkt väljas så att formeln kommer att använda, för sin linjära term, de två datapunkter mellan vilka den linjära interpoleringen av intresse skulle göras.
Formlerna för uppdelade skillnader är mer mångsidiga, användbara i fler typer av problem.
Lagrangeformeln är som bäst när all interpolation kommer att göras vid ett x- värde, med endast datapunkternas y -värden som varierar från ett problem till ett annat, och när det är känt, från tidigare erfarenhet, hur många termer som behövs för tillräcklig noggrannhet.
Med Newtonformen av det interpolerande polynomet finns det en kompakt och effektiv algoritm för att kombinera termerna för att hitta polynomets koefficienter.
Noggrannhet
När, med Stirlings eller Bessels, den sista termen som används inkluderar medelvärdet av två skillnader, används ytterligare en punkt än Newtons eller andra polynominterpolationer skulle använda för samma polynomgrad. Så i det fallet sätter inte Stirlings eller Bessels polynom ett N −1 grads polynom genom N punkter, utan handlar istället om ekvivalens med Newtons för bättre centrering och noggrannhet, vilket ger dessa metoder ibland potentiellt större noggrannhet, för en given polynomgrad , än andra polynominterpolationer.
Allmänt fall
För specialfallet x i = i finns det en närbesläktad uppsättning polynom, även kallade Newtonpolynom, som helt enkelt är binomialkoefficienterna för allmänt argument. Det vill säga, man har också Newtonpolynomen givna av
I denna form genererar Newtonpolynomen Newtonserien . Dessa är i sin tur ett specialfall av generella differenspolynom som tillåter representation av analytiska funktioner genom generaliserade differensekvationer.
Huvudtanken
Att lösa ett interpolationsproblem leder till ett problem i linjär algebra där vi måste lösa ett system av linjära ekvationer. Genom att använda en standardmonomial bas för vårt interpolationspolynom får vi den mycket komplicerade Vandermonde-matrisen . Genom att välja en annan bas, Newtonbasen, får vi ett system av linjära ekvationer med en mycket enklare lägre triangulär matris som kan lösas snabbare.
För k + 1 datapunkter konstruerar vi Newtonbasen som
Med dessa polynom som grund för måste vi lösa
för att lösa polynominterpolationsproblemet.
Detta ekvationssystem kan lösas iterativt genom att lösa
Härledning
Medan interpolationsformeln kan hittas genom att lösa ett linjärt ekvationssystem, finns det en förlust av intuition i vad formeln visar och varför Newtons interpolationsformel fungerar är inte lätt uppenbart. Till att börja med måste vi först fastställa två fakta:
Fakta 1. Omvänd termen för en delad skillnad lämnar den oförändrad:
Beviset för detta är en enkel induktion: för beräknar vi
Induktionssteg: Antag att resultatet gäller för varje delad skillnad som involverar högst termer. Genom att sedan använda induktionshypotesen i följande 2:a likhet ser vi att för en delad skillnad som involverar termer har vi
Vi formulerar nästa fakta 2 som vi för induktions- och tydlighetssyfte också kallar påstående ( :
Fakta 2. ( ) : Om är alla punkter med distinkta -koordinater och är det unika polynomet av grad (högst) vars graf passerar genom dessa punkter då håller relationen
Bevis. (Det kommer att vara till hjälp för en flytande läsning av beviset att ha det exakta påståendet och dess subtilitet i åtanke: definieras genom att passera genom men formeln talar också på båda sidor om en ytterligare godtycklig punkt med -koordinat skild från den andra .)
Vi bevisar återigen dessa påståenden genom induktion. För att visa displaystyle valfri punkt och låt vara det unika polynomet av grad 0 som går genom . Då uppenbarligen och vi kan skriva
Bevis på förutsatt att redan är etablerad: Låt vara polynomet av grad (högst) som går genom
Med det unika polynomet av grad (högst) som passerar genom punkterna vi kan skriva följande kedja av likheter, där vi använder i näst sista likhet som Stm gäller för :
Induktionshypotesen för gäller även för den andra likheten i följande beräkning, där läggs till punkterna som definierar :
Titta nu på av detta polynom passerar genom och, som vi nyss visade, passerar den också genom Det är alltså det unika polynomet med grad som passerar genom dessa punkter. Därför är detta polynom dvs:
Således kan vi skriva den sista raden i den första kedjan av likheter som ` och har sålunda fastställt att
Titta nu på Fakta 2: Det kan formuleras så här: Om är det unika polynomet av grad som högst vars graf går genom punkterna sedan det unika polynomet med högst som passerar genom punkter vi se Newton-interpolation tillåter verkligen att lägga till nya interpolationspunkter utan att förstöra det som redan har beräknats.
Taylor polynom
Gränsen för Newtonpolynomet om alla noder sammanfaller är ett Taylorpolynom , eftersom de delade skillnaderna blir derivator.
Ansökan
Som framgår av definitionen av de delade skillnaderna kan nya datapunkter läggas till datamängden för att skapa ett nytt interpolationspolynom utan att räkna om de gamla koefficienterna. Och när en datapunkt ändras behöver vi vanligtvis inte räkna om alla koefficienter. Dessutom, om x i fördelas på lika avstånd, blir beräkningen av de delade skillnaderna betydligt lättare. Därför är formlerna med uppdelad skillnad vanligtvis att föredra framför Lagrange-formen av praktiska skäl.
Exempel
De uppdelade skillnaderna kan skrivas i form av en tabell. Till exempel, för en funktion f interpoleras på punkterna . Skriva
Sedan bildas det interpolerande polynomet enligt ovan med användning av de översta posterna i varje kolumn som koefficienter.
Anta till exempel att vi ska konstruera det interpolerande polynomet till f ( x ) = tan( x ) med hjälp av delade skillnader, vid punkterna
Med hjälp av sex siffrors noggrannhet konstruerar vi tabellen
Det interpolerande polynomet är alltså
Givet fler siffror av noggrannhet i tabellen, kommer den första och tredje koefficienten att befinnas vara noll.
Ett annat exempel:
Sekvensen så att och , dvs. de är från till .
Du får lutningen för ordning på följande sätt:
Eftersom vi har lutningarna för ordning , är det möjligt att få nästa beställning:
Slutligen definierar vi lutningen för ordning :
När vi väl har lutningen kan vi definiera de efterföljande polynomen:
- .
- .
Se även
- De numeris triangularibus et inde de progressionibus aritmeticis: Magisteria magna , ett verk av Thomas Harriot som beskriver liknande metoder för interpolation, skrivet 50 år tidigare än Newtons verk men inte publicerat förrän 2009
- Newton-serien
- Nevilles schema
- Polynominterpolation
- Lagrangeform av interpolationspolynomet
- Bernsteins form av interpolationspolynomet
- Hermite interpolation
- Carlsons teorem
- Tabell över Newtonska serier