4.2 Newtons metode og fikspunktiterasjon
Iterasjonen, krumningsargumentet for over-/underestimat på hele intervallet, og fikspunkt-kontraksjonen — det numeriske leddet i UiBs signaturkjede.
- Sjanger F, Newton-delen: Newtons metode finnes i 14 av 34 arkiverte sett (2003–2020, kildenote i Del 0); fikspunktiterasjon i 3 av 34, men står eksplisitt i emnebeskrivelsen — så den regnes som kjenne-stoff, mens Newton-kjeden har høyeste prioritet.
- Selve iterasjonen (regn , ) er nesten gratispoeng. Karakterskilleren er tilleggsspørsmålet: er tilnærmingen for stor eller for liten? Det krever et krumningsargument på hele intervallet mellom startpunkt og rot — å sjekke i ett enkelt punkt er utilstrekkelig (sensormerknad H2016, gjengitt i løsningsforslagene).
- H2019 krevde et fullt monotont konvergensbevis (induksjon + krumning) — det dekkes her på kunne-nivå.
- Kapitlet henger sammen med resten av kjeden: eksistens/entydighet fra kap. 4.1 forteller at og hvor roten finnes; Newton finner den. Og i kap. 4.3 skal du se at ett Newton-steg er nøyaktig å bytte ut med Taylorpolynomet .
Sist du var her — nøkkelen fra kap. 4.1: sekantsetningen sier for en mellom og — det er den som skal gjøre fikspunktiterasjonen til en kontraksjon. Og tangentlikningen fra kap. 3.1: tangenten i er .
I kap. 4.1 beviste du at har nøyaktig én løsning i — men hvilket tall er det? Beviset sier ingenting om det. Slik er det overalt: likninger fra virkeligheten (renteberegninger, banestimater, kjemisk likevekt) kan sjelden løses eksakt. Det du kan, er å tilnærme roten — og da vil du vite to ting: hvor fort tilnærmingen blir god, og på hvilken side av sannheten du ligger. En bro-ingeniør som vet at estimatet hennes er «for lite», vet hvilken vei sikkerhetsmarginen peker.
Dette kapitlet gir deg begge verktøyene UiB tester: Newtons metode (følg tangenten ned til aksen, gjenta) og fikspunktiterasjon (mat funksjonen med sitt eget svar, gjenta). Begge er dumme, raske maskiner — poenget på eksamen er begrunnelsene rundt: krumningsargumentet for feilens fortegn, og kontraksjonsvilkåret for konvergens.
Tre læringsløkker: (1) Newton-iterasjonen og geometrien (≈ 15 min), (2) krumningsargumentet og konvergensbeviset — kapitlets kjerne (≈ 20 min), (3) fikspunktiterasjon (≈ 15 min). Pausepunkt: ta gjerne løkke 3 som egen økt.
Løkke 1: Newtons metode — tangentens nullpunkt
Idé: står du i punktet og vil mot roten av , så erstatt den krokete grafen med det du kan løse — tangenten — og gå dit den treffer -aksen.
Hvert steg bytter grafen ut med tangenten i og hopper til tangentens nullpunkt. Formelen krever — en vannrett tangent har ikke noe nullpunkt å hoppe til.
Tangenten i har likningen . Setter du og løser for , får du nøyaktig — altså er Newton-steget per definisjon tangentens skjæring med -aksen. Denne utledningen bør du kunne reprodusere; den er et vanlig teorispørsmål.
Oppgaven sier nøyaktig hvor mange iterasjoner du skal regne — «utfør to steg fra » betyr regn og , ferdig. Å regne fire steg der én er bedt om, er en ren tidsfelle på en fem timers eksamen: null ekstra poeng, mange ekstra minutter. Oppgi mellomverdiene med fornuftig antall desimaler (4–6) og avrund til slutt.
Likningen har nøyaktig én reell løsning , og den ligger i (vist med malen fra kap. 4.1). Utfør to steg av Newtons metode fra .
Steg 1: og :
Steg 2: og :
Svar: og . (Til sammenlikning er — allerede har tre riktige sifre. Om er for stor eller for liten, avgjør vi i løkke 2.)
Likningen har én positiv løsning. Utfør to Newton-steg på fra , og oppgi og som brøker.
Løkke 2: For stor eller for liten? Krumningsargumentet
Nå til karakterskilleren. Newton gir deg et tall — men ligger det over eller under den sanne roten? Svaret styres av hvilken vei grafen krummer, og argumentet må gjelde hele intervallet mellom iteratene og roten.
En tilnærming til roten er et overestimat hvis («for stor») og et underestimat hvis («for liten»). På eksamen skal fortegnet på feilen begrunnes, ikke avleses av kalkulatoren — det er hele poenget med spørsmålet.
Anta at og har fast fortegn på hele intervallet mellom og roten (og at ). Tangenten i ligger da under grafen hvis , over grafen hvis . Følgelig lander neste iterat på den siden av der har samme fortegn som :
| voksende () | avtakende () | |
|---|---|---|
| konveks ( på hele intervallet) | — for stor | — for liten |
| konkav ( på hele intervallet) | — for liten | — for stor |
Huskeregel: konveks graf ligger over tangentene, så tangent-nullpunktet havner der grafen er positiv; for voksende er det til høyre for roten. Merk at regelen gjelder fra og med — startpunktet kan ligge på «feil» side, men første steg hopper over til riktig side.
Derfor må fortegnet holdes på hele intervallet: argumentet sammenlikner tangenten med grafen hele veien fra til . Skifter fortegn underveis, kan grafen krysse tangenten, og konklusjonen ryker. Standardføringen er derfor en linje av typen « for alle » — et intervallargument, ikke en punktevaluering (sensormerknad H2016).
I eksempel 1 fant vi for roten av . Avgjør med et krumningsargument om er for stor eller for liten.
- for — er strengt voksende der.
- for alle — er konveks på hele intervallet.
er altså voksende og konveks på hele intervallet mellom rot og iterater: tabellen (konveks + voksende) gir at hvert Newton-steg lander til høyre for roten. Spesielt er
så er for stor.
(Kontroll: ✓. Merk føringen: begge fortegnene er begrunnet med ulikheter som gjelder hele intervallet — ikke med innsetting av ett punkt.)
Likningen har en løsning (og har , ).
a) Utfør to Newton-steg fra .
b) Avgjør med et krumningsargument på hele intervallet om er for stor eller for liten.
Konvergensbeviset (kunne-nivå, H2006/H2019-typen)
Krumningsargumentet gir mer enn feilens fortegn — det gir et fullt konvergensbevis: iteratene danner en monoton, begrenset følge som må konvergere, og grensen må være roten. Strukturen er induksjon + krumning.
For voksende og konveks på (de andre tilfellene er speilbilder):
1. Induksjon: vis at for alle — basissteget er krumningsargumentet for ; trinnet gjentar det for gitt .
2. Monotoni: for er og , så — følgen avtar.
3. Konvergens: følgen er avtakende og nedad begrenset (av ), så den konvergerer mot en grense (kompletthetsprinsippet).
4. Grensen er roten: lar du i iterasjonsformelen, får du , altså ; entydigheten fra kap. 4.1 gir .
La med rot , og la . Vis at Newton-følgen er avtakende for , at for alle , og at .
1. Induksjon på påstanden (for ).
Basissteg: siden . ✓
Induksjonstrinn: anta . La være tangenten i ; per konstruksjon er . Konveksiteten ( på hele intervallet) betyr at grafen ligger over tangentene sine, med likhet bare i tangeringspunktet. Evaluert i gir det
Siden er strengt voksende, følger . ✓ Ved induksjon gjelder for alle .
2. Følgen avtar. For er (voksende ) og , så
3. Konvergens. er avtakende og nedad begrenset av ; kompletthetsprinsippet gir at for en .
4. Grensen er roten. og er kontinuerlige og , så vi kan la i :
Entydigheten (kap. 4.1: på ) gir . Altså .
Løkke 3: Fikspunktiterasjon
Den andre maskinen skriver likningen om til formen og mater funksjonen med sitt eget svar: .
— et punkt lar stå i ro. Geometrisk er fikspunktene skjæringspunktene mellom grafen og diagonalen . En likning gjøres om til fikspunktform ved å isolere en : løsningene av blir nøyaktig fikspunktene til den omskrevne .
Konvergerer følgen mot en , og er kontinuerlig, er automatisk et fikspunkt: . Spørsmålet er om den konvergerer — det avgjør størrelsen på nær fikspunktet.
Feilen krymper altså med faktoren i hvert steg, så : iterasjonen konvergerer. Er derimot , forstørres små feil, og iterasjonen rømmer fra fikspunktet.
Likningen har nøyaktig én positiv løsning (vist med malen fra kap. 4.1; ).
a) Vis at er et fikspunkt for .
b) Iterér to ganger fra .
c) Forklar hvorfor iterasjonen konvergerer mot .
b) ; .
c) Vi bruker intervallet , som inneholder både og ().
holder seg i : er avtakende, så . ✓
Kontraksjon: , så for er
Sekantsetningen gir da , så feilen krymper geometrisk: . Iterasjonen konvergerer mot .
(Merk fortegnet: gjør at iteratene hopper til motsatt side av i hvert steg — , så igjen … en spiral inn mot fikspunktet, se figuren under.)
Iterasjonen tegnes som et spindelvev: fra går du loddrett til kurven (det gir ) og vannrett til diagonalen (det gjør svaret til neste input). Med kryper vevet ensidig mot fikspunktet — en trapp; med hopper det annenhver side — en spiral. Med vender vevet utover: fikspunktet frastøter.
La . Finn begge fikspunktene til , og avgjør for hvert av dem om fikspunktiterasjonen konvergerer dit fra startpunkter like ved.
Derivert-testen: .
- I : — tiltrekkende. På f.eks. er … ikke godt nok; stram inn til : , og . Kontraksjonsargumentet gir konvergens mot for start i . Talltest fra : . ✓
- I : — frastøtende. Små avvik forstørres med faktor per steg: fra gir iterasjonen — vekk fra .
Konklusjon: iterasjonen finner fikspunktet , men kan aldri finne (annet enn ved å starte eksakt der).
Likningen har nøyaktig én løsning , og den ligger i .
a) Iterér to ganger fra .
b) Vis at iterasjonen konvergerer mot , ved å sjekke kontraksjonsvilkåret på .
Taylorpolynomet av grad 1 om (kommer i kap. 4.3) er — nøyaktig tangenten i . Løser du , får du — nøyaktig ett Newton-steg fra . Newtons metode er altså «erstatt med sitt Taylorpolynom av grad 1, løs, gjenta». Dette knytter hele kjeden i Del 4 sammen, og er et yndet teorispørsmål.
1. Krumningen sjekket i ett punkt. «, altså for stor» er utilstrekkelig — fortegnet må begrunnes på hele intervallet mellom iterat og rot (sensormerknad H2016). Skriv en ulikhet som gjelder hele intervallet.
2. Feilens fortegn ikke vurdert i det hele tatt. Spør oppgaven «for stor eller for liten?», er et tall uten krumningsargument et halvt svar.
3. Fire iterasjoner der én er bedt om. Ren tidsfelle — les oppgaven og tell steg.
4. Fikspunkt-konvergens påstått uten -argument. «Det ser ut til å konvergere» eller tre talleksempler beviser ingenting; skranken på et intervall rundt fikspunktet (pluss at holder seg i intervallet) er selve leveransen.
5. Blande inn i sideregelen. Tabellen gjelder iteratene fra og med — startpunktet kan ligge på feil side (som i oppgave 2), første steg hopper over.
Flere øvingsoppgaver
Drill på hele kjeden: iterér, begrunn feilens fortegn med intervallargument, og før kontraksjonsbevis.
Utfør ett Newton-steg på fra , og oppgi som brøk.
Forklar med utgangspunkt i tangentlikningen hvorfor Newton-steget har formen .
Likningen har én reell løsning , og (sjekk gjerne fortegn selv).
a) Utfør to Newton-steg på fra .
b) Er for stor eller for liten? Begrunn med et krumningsargument på hele intervallet.
Likningen har en løsning i .
a) Iterér to ganger fra .
b) Vis med kontraksjonsvilkåret at iterasjonen konvergerer mot løsningen.
La (med roten ).
a) Utfør to Newton-steg fra .
b) Vis at selv om , og forklar med krumningstabellen hvorfor alle iteratene fra og med er underestimat.
(Krevende, H2019-typen.) La og . Vis ved induksjon at Newton-følgen oppfyller for alle , at følgen er avtakende, og at .
Begrepsbank til eksamen
Kjernebegrepene i eksamensrettet kortform — verktøykassen for Newton/fikspunkt-delen av sjanger F.
Begrepsbanken gjentar det du nettopp har lest — hopp trygt over ved førstegangslesing.
Tangenten i er ; sett og løs — det er Newton-formelen. Kunne utledes på forespørsel.
Med faste fortegn på og på hele intervallet mellom iterat og rot: konveks + voksende → for stor; konveks + avtakende → for liten; konkav + voksende → for liten; konkav + avtakende → for stor. Gjelder fra og med .
Krumningsargumentet sammenlikner tangent og graf langs hele veien fra iterat til rot — derfor må -fortegnet begrunnes med en ulikhet som dekker hele intervallet, aldri med innsetting av ett punkt.
(1) Induksjon: alle iterater på samme side av roten (krumning). (2) Monotoni: følgen avtar/vokser. (3) Kompletthetsprinsippet: monoton + begrenset ⇒ konvergent. (4) Grenseovergang i formelen ⇒ grensen er roten (entydighet fra kap. 4.1 avslutter).
Loddrett til kurven (), vannrett til diagonalen (gjør svaret til input). : ensidig trapp. : spiral, annenhver side. : vevet vender utover.
Taylorpolynomet er tangenten i , og nullpunktet dens er — ett Newton-steg. Newton = «lineariser med , løs, gjenta».
Full eksamensoppgave: (a) eksistens + entydighet (kap. 4.1-malen), (b) 1–2 Newton-steg, (c) for stor/for liten med krumningsargument på hele intervallet — eller fikspunktvarianten med kontraksjon. Del-kapitlene 4.1–4.2 er én sammenhengende leveranse.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Bergen. Dette er ikke offisielt studiemateriell. Les mer.