6.5 Kontraksjon, fikspunkt og Newtons metode i flere variable
Vis kontraksjon via norm/egenverdi < 1, iterér mot fikspunktet, og kjør Newtons metode for systemer — teoritunge innslag fra 2018 og 2021.
- Kontraksjon, fikspunkt og Newtons metode (sjanger P) — å vise at en avbildning er en kontraksjon, konkludere med et entydig fikspunkt, og kjøre Newtons metode for et system — dukker opp i 3 av 20 arkiverte sett (2018, 2021), i teoritunge sett.
- Fasitens grep: kontraksjon vises ved at operatornormen eller den største egenverdien i tallverdi er (2018 O4c: er kontraksjon fordi begge ); fikspunkt-iterasjonen konvergerer da mot det entydige fikspunktet (2021 O3d).
- Dette temaet ble ikke testet i V2025 og har lav frekvens, men det er teoriaktuelt og kobler egenverdier (kap. 6.1) til flervariabel derivasjon (kap. 2.2).
- Ingen offisiell fasit i arkivet (⚠️) — metoden er faglig standard.
Prioritet: kjenne (lav frekvens, teoriaktuelt). Målet er at du kan begrunne kontraksjon med et normargument og kjøre ett–to Newton-steg for hånd.
Sist du var her: egenverdiene løses fra (kap. 6.1); Jacobi-matrisen har rad lik (kap. 2.2). Formelsamlingen gir Newtons metode .
Mange likninger kan ikke løses eksakt, men de kan løses iterativt: gjett en løsning, forbedre gjetningen, gjenta. To slike metoder står i pensum. Fikspunkt-iterasjon skriver likningen som og gjentar — den konvergerer dersom er en kontraksjon (trekker punkter nærmere hverandre). Newtons metode lineariserer med Jacobi-matrisen og konvergerer raskt nær en løsning.
Den sentrale teoretiske ideen er kontraksjonsprinsippet: en kontraksjon har nøyaktig ett fikspunkt, og iterasjonen finner det uansett startpunkt. Vi bygger dette i tre løkker: (1) kontraksjon og hvordan man beviser den via norm/egenverdi; (2) fikspunktprinsippet og iterasjon; (3) Newtons metode for systemer, ett steg for hånd.
Løkke 1 — Kontraksjon og kontraksjonsbeviset (~14 min)
Tallet er kontraksjonsfaktoren. Kravet er strengt: (bevarer avstand) er ikke nok. Kontraksjoner «klemmer» rommet sammen, og det er derfor de har et entydig fikspunkt.
En operatornorm måler hvor mye maksimalt strekker en vektor: . Da er . Er for en slik norm, er en kontraksjon med . Radsum- og søylesumnormene er lette å regne og gir ofte direkte.
For er . Altså:
- finner du én matrisenorm med , er en kontraksjon med ; eller
- er spektralradiusen (alle ), er en kontraksjon i en passende norm.
To gyldige normvalg. Feiler det ene (en norm gir ), prøv det andre — egenverdiene avgjør til slutt.
Vis at med er en kontraksjon.
altså og .
Begge oppfyller , så spektralradiusen er . Da er en kontraksjon (i en passende norm): krymper med faktor .
Konklusjon: er en kontraksjon fordi begge egenverdier har tallverdi . (Bekreftelse med søylesumnormen: største søylesum er , så — samme faktor.)
Vis at med er en kontraksjon, og oppgi en kontraksjonsfaktor.
Løkke 2 — Fikspunkt og fikspunktiterasjon (~14 min)
Et fikspunkt for er et punkt som avbildes på seg selv: . Å løse likningen er nettopp å finne et fikspunkt. Mange likninger kan skrives om til fikspunktform på flere måter, og valget av avgjør om iterasjonen konvergerer.
Hvis er en kontraksjon, konvergerer følgen mot fikspunktet uansett startpunkt. Hvert steg reduserer avstanden til fikspunktet med (minst) faktoren , så konvergensen er geometrisk rask.
En kontraksjon på et fullstendig rom har nøyaktig ett fikspunkt , og fikspunktiterasjonen konvergerer mot fra ethvert startpunkt. Feilen avtar geometrisk: . Dette er hele grunnen til at kontraksjon er verdt å vise — det garanterer både eksistens, entydighet og en konvergent metode.
Fikspunkt. Løs komponentvis:
Altså fikspunkt .
Konvergens. Ved fikspunktprinsippet er det entydige fikspunktet, og iterasjonen konvergerer mot det uansett start. (Kontroll fra : , , — på vei mot , avstanden halveres hvert steg.)
Konklusjon: entydig fikspunkt , og iterasjonen konvergerer dit.
Løkke 3 — Newtons metode for systemer (~14 min)
(formelen er utdelt). I hvert steg løser man egentlig det lineære systemet og setter . Nær en løsning konvergerer metoden svært raskt.
Newton-steget krever Jacobi-matrisen (rad = , fra kap. 2.2), evaluert i det aktuelle punktet , og deretter dens invers. For -systemer regnes inversen med den vanlige formelen . Er singulær, stopper metoden — velg da et annet startpunkt.
Nær en enkel løsning (der er inverterbar) konvergerer Newtons metode kvadratisk: antall korrekte siffer omtrent dobles for hvert steg. Til gjengjeld kan et dårlig startpunkt gi divergens — metoden er lokal. I praksis holder ett–to steg for å komme nær løsningen når startpunktet er rimelig.
Utfør ett steg av Newtons metode på systemet fra startpunktet .
Evaluer i : og .
Invers: , så .
Newton-steget:
Konklusjon: — nærmere den eksakte løsningen .
Utfør ett steg av Newtons metode på fra startpunktet . Oppgi svaret eksakt.
- Hevde kontraksjon uten normargument. Det holder ikke å si «avbildningen ser sammentrekkende ut». Vis at en matrisenorm eller den største er .
- Anta at fikspunktet finnes uten kontraksjonsbevis. Eksistens og entydighet følger av kontraksjonsprinsippet — det må først etableres at er en kontraksjon.
- Regnefeil i . Newton-steget bruker inversen av Jacobi-matrisen evaluert i riktig punkt; sjekk og bruk -formelen nøye.
- Velge en norm der og gi opp. Én norm kan gi mens en annen gir . Egenverdikriteriet () avgjør til slutt — prøv en annen norm.
- Evaluere Jacobi i feil punkt. skal evalueres i det gjeldende iterasjonspunktet , ikke i startgjetningen hver gang.
Eksamensrettet oppgavepulje
Stigende vanskegrad. Begrunn kontraksjon med norm/egenverdi, og før Newton-steget med eksakt invers.
Avgjør om er en kontraksjon når .
Finn fikspunktet til (én variabel) og forklar hvorfor iterasjonen konvergerer.
a) Vis at er en kontraksjon.
b) Finn det entydige fikspunktet.
Utfør ett Newton-steg på fra startpunktet . Oppgi svaret eksakt.
Begrepsbank
Kjernebegrepene fra kapitlet samlet som oppslag og flashcards.
Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.
Tallet i kontraksjonsulikheten . Jo mindre , desto raskere konvergerer fikspunktiterasjonen (). For en lineær avbildning kan tas lik en matrisenorm eller lik spektralradiusen.
Et rom er fullstendig når enhver «konvergent-aktig» følge (Cauchy-følge) faktisk har en grense i rommet. er fullstendig, så kontraksjonsprinsippet gjelder alltid der. Fullstendigheten er det som garanterer at fikspunktiterasjonens grense virkelig eksisterer i rommet.
To lettregnede operatornormer: radsumnormen er den største summen av tallverdiene i en rad, og søylesumnormen er den største slike søylesummen. Begge oppfyller i sin norm, så er en av dem , har du vist kontraksjon uten å regne egenverdier.
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 Oslo. Dette er ikke offisielt studiemateriell. Les mer.