Methode van Newton-Raphson
De methode van Newton-Raphson, ook bekend als de methode van Newton of kortweg Newton-Raphson, is een iteratiemethode uit de numerieke wiskunde om de nulpunten te bepalen van een differentieerbare functie, zoals van een polynoom of een transcendente functie. De methode is naar Isaac Newton genoemd, die de methode bedacht, en Joseph Raphson, die er een formele beschrijving van gaf. Het algoritme convergeert onder gunstige omstandigheden vrij snel, namelijk kwadratisch: de fout na de -ste iteratie is evenredig met het kwadraat van de fout na de -de iteratie. De methode construeert in elke volgende stap een volgende benadering met behulp van de eerste afgeleide en de functiewaarde in de huidige benadering van het nulpunt. De methode is niet altijd stabiel.
De regula falsi convergeert trager dan de methode van Newton-Raphson, maar is stabieler. In de praktijk worden meer stabiele en snellere numerieke methoden dan de methode van Newton-Raphson gebruikt om de nulpunten van functies te bepalen, zoals de methode van Edmond Halley, die een uitbreiding is van de methode van Newton. De meeste methoden gebruiken tweede en hogere afgeleiden en een polynoom van een tweede of hogere graad om de nulpunten van een functie te bepalen.
Geschiedenis
bewerkenIsaac Newton schreef in de periode 1664-1671 het werk Methodus fluxionum et serierum infinitarum, Latijn voor: De methode van afgeleiden en oneindige rijen en beschreef daarin een nieuw algoritme voor het oplossen van veeltermvergelijkingen aan de hand van het voorbeeld .
Joseph Raphson beschreef het rekenproces in 1690 in het werk Analysis Aequationum universalis en illustreerde het met de algemene derdegraadsvergelijking, waar hij de onderstaande iteratieregel vond.[1]
De abstracte vorm van deze werkwijze
met gebruik van de afgeleide is van Thomas Simpson.
Definitie
bewerkenDe methode van Newton-Raphson benadert een nulpunt van een differentieerbare functie , uitgaande van de startwaarde , iteratief door de recursieve betrekking:
Verklaring
bewerkenDe functie heeft een nulpunt voor , dus . Noem het verschil tussen het nulpunt en de benadering , zodat
De stelling van Taylor geeft een benadering van in de omgeving van :
Onder verwaarlozing van de termen van tweede orde krijgt men een benadering van :
- de afgeleide wordt ongelijk aan nul verondersteld
Een betere benadering voor het nulpunt is dan:
Samen met de startwaarde geeft dit een recursieve procedure voor het benaderen van het nulpunt .
Merk op dat het snijpunt met de -as is van de raaklijn aan de grafiek van in het punt , gegeven door de formule
Voorbeelden
bewerkenVideo
bewerken- Kies een punt op de -as nabij het nulpunt
- Construeer een loodrechte op de -as, door ;
- Construeer de raaklijn door aan de kromme ;
- De nieuwe benadering wordt gegeven door het snijpunt van de raaklijn met de -as.
Cosinus
bewerkenNulpuntsbepaling van , met als startwaarde . De recursieformule is:
en het gezochte nulpunt is
Iteratie resulteert in:
- fout: 7,1×10−2
- fout: 1,2×10−4
- fout: 5,9×10−13
Reeds na drie iteraties wordt een benadering verkregen die al erg nauwkeurig is. Merk op dat de exponent van de fout bij iedere iteratiestap minstens verdubbelt; dit is een kenmerk van kwadratische convergentie.
De methode is ook goed bruikbaar voor:
- stelsels van niet-lineaire algebraïsche vergelijkingen in onbekenden. In dat geval moeten de scalaire veranderlijken vervangen worden door matrices. In plaats van de afgeleide komt de jacobiaan.
- het vinden van extremen van een scalaire functie in een -dimensionale ruimte. wordt dan vervangen door de inverse hessiaan. Afhankelijk van de beschikbaarheid van analytische uitdrukkingen van de eerste en tweede afgeleiden van zijn er allerlei varianten op deze methode, waarbij de afgeleiden hetzij exact worden berekend, hetzij uit opeenvolgende iteratieslagen worden benaderd.
Newton
bewerkenDe functie die Isaac Newton als voorbeeld gebruikte was . Men kan raden dat het punt een eerste benadering voor een nulpunt van is. Newton maakte de veronderstelling dat met een waarvan wordt aangenomen dat deze klein is en vult deze in de vergelijking in:
zodat
Omdat wordt verondersteld klein te zijn, worden de termen met en genegeerd, waarna
- , dus
overblijft als betere benadering.
Dit kan worden herhaald door te stellen en in te vullen in de vergelijking voor .
zodat
Weer worden de termen van hogere orde weggelaten, waarna:
- ↑ Xavier Gourdon. Newton’s method and high order iterations, 4 oktober 2001.