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

som önskat.

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

Så vi etablerade och slutförde därmed beviset för Fakta 2.

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

externa länkar