7.1 Euler, Heun og Runge–Kutta — ett skritt for hånd
De tre grunnleggende ODE-løserne og det som testes oftest: å ta ett skritt for hånd med riktig oppsett av stegene.
Frekvens: 12 av 13 gjennomgåtte sett (92 %). Det gjør ODE-løserne til den nest hyppigste temagruppen i hele arkivet, etter Laplace og Fourier — og den mest forutsigbare delen av numerikk-blokken.
Formen er nesten alltid den samme: «gitt med og , ta ett skritt med metoden.» Det er ren innsetting, og det er billige poeng — hvis oppstillingen er ryddig.
Det som skiller besvarelsene, er føringen. Et RK4-skritt har fire stigningstall som bygger på hverandre. Skriver du dem opp under hverandre med argumentene synlige, ser den som retter, at du gjør det riktige selv om ett tall er feil. Roter du dem sammen på én linje, forsvinner både oversikten og uttellingen.
Formelark-merking. Dette er kapitlet der arket gir deg aller mest:
- Står på det utdelte formelarket — tren oppslaget: Euler, forbedret Euler (Heun), klassisk RK4 og bakover-Euler, alle fire ferdig oppskrevet. Ferdigheten er å sette inn riktig , riktig , riktig og riktig — og å vite hvilket argument som hører til hvilket stigningstall.
- Må kunnes eller utledes aktivt: at bakover-Euler er implisitt og krever at du løser en likning for , at antall -evalueringer er metodens pris, og hva ordenen betyr for hvordan feilen faller når halveres.
Tidsbruk: 60 minutter lesetid, fire løkker. Naturlig pausepunkt etter løkke 2.
Du trenger dessuten å kunne løse en enkel lineær førsteordens differensiallikning eksakt, siden vi hele veien sammenlikner med fasiten. For er det integrerende faktor — men de eksakte løsningene er oppgitt der de trengs, så du kan lese kapitlet uten den ferdigheten.
Kapitlet er forutsetning for hele resten av Del 7: kap. 7.2 leser metodene ut av en Butcher-tabell, kap. 7.3 bruker to metoder samtidig, og kap. 7.4 undersøker når de er stabile.
Når du kjenner farten, men ikke veien
En differensiallikning forteller deg hvor bratt kurven er i ethvert punkt. Den forteller deg ikke hvor kurven ligger. Å løse likningen er å gå fra bratthet til bane.
For noen likninger går det an å gjøre eksakt. For de aller fleste går det ikke.
Den numeriske ideen er så enkel at den nesten virker for enkel: stå i et punkt, spør likningen hvor bratt det er, gå et lite skritt i den retningen, og spør på nytt.
Hverdagsbildet: du går i tett tåke med et kompass som bare virker der du står. Du leser av retningen, går ti meter, leser av på nytt. Går du korte skritt, følger du stien bra. Går du lange, kutter du svingene.
Hele forskjellen mellom metodene ligger i hvilket stigningstall du bruker.
- Euler bruker brattheten der du står. Enkelt, og det kutter svingene.
- Heun går et prøveskritt fram, ser hvor bratt det er der, og bruker gjennomsnittet. Dobbelt så mye arbeid, mye bedre svar.
- RK4 gjør fire slike prøver med ulik vekt. Fire ganger arbeidet, og en nøyaktighet som er i en helt annen klasse.
- Bakover-Euler bruker brattheten der du skal ende opp — noe du ikke vet ennå, og som derfor krever at du løser en likning. Prisen er høy; gevinsten kommer i kap. 7.4.
Vi regner alle fire på det samme problemet, slik at sammenlikningen blir ærlig.
Løkke 1 — Euler og oppsettet (~14 min)
Differensiallikningen gir stigningstallet i ethvert punkt ; initialbetingelsen sier hvor kurven starter. Til sammen bestemmer de løsningen entydig (under milde krav på ).
Merk at kan avhenge av både og . Det er nettopp -avhengigheten som gjør problemet interessant: stigningstallet endrer seg mens du beveger deg, og du kan ikke bare integrere.
Steglengden er avstanden mellom to nabopunkter. Tallet er tilnærmingen til den eksakte verdien — og de to er ikke det samme. Skriv gjerne første gang.
Notasjonen: vi bruker for den beregnede verdien og for den eksakte. Parentesen er hele forskjellen, og den er verdt å være nøye med i en besvarelse.
Merk symbolkollisjonen som kommer: i Del 8 blir romsteget, og tidssteget skrives (det utdelte formelarket kaller tidssteget ). I hele Del 7 er steget i tid.
Funksjonen er metodens inkrementfunksjon, altså det stigningstallet metoden velger å bruke. Alle metodene i dette kapitlet er ett-skritts-metoder, og alle Runge–Kutta-metoder er det.
Fordelen er at du kan starte med én gang og bytte underveis (det utnyttes i kap. 7.3). Flerskritts-metoder, som bruker flere gamle verdier, finnes, men er ikke pensum her.
Geometrisk: følg tangenten til løsningskurven gjennom et stykke framover.
«Eksplisitt» betyr at høyresiden bare inneholder kjente størrelser — du regner ut direkte, uten å løse noe.
Kostnad: én -evaluering per skritt.
Orden: 1. Halverer du , halveres feilen.
Formelen står på det utdelte formelarket — tren oppslaget.
For Euler finner du den ved Taylor-utvikling:
og siden Euler bare tar med de to første leddene, er
En metode har orden når den lokale avkuttingsfeilen er . Euler har altså orden 1.
Merk at det er ett skritt. Den globale feilen — etter mange skritt — er én potens dårligere, og det forklares i neste boks.
Hvorfor den er én potens dårligere enn den lokale. Halverer du , blir hvert enkelt skritt bedre med faktoren — men du må ta dobbelt så mange skritt. De to effektene gir til sammen
Tabellen du trenger:
| Metode | Lokal feil | Global orden | Halvering av gir |
|---|---|---|---|
| Euler | 1 | feil | |
| Heun | 2 | feil | |
| RK4 | 4 | feil | |
| Bakover-Euler | 1 | feil |
Ordenen må kunnes — den står ikke på det utdelte formelarket, og den er det du bruker til å svare på «hvor mye bedre blir svaret hvis jeg halverer ?».
som gir .
a) Ta ett Euler-skritt med .
b) Ta to Euler-skritt med .
c) Ta fire Euler-skritt med , og kommenter feilene.
Feil: .
b) To skritt med .
Feil: .
c) Fire skritt med .
Feil: .
Samlet:
| Skritt | ved | Feil | Forhold | |
|---|---|---|---|---|
| 1 | — | |||
| 2 | ||||
| 4 |
Feilen halveres omtrent hver gang halveres. Forholdene og nærmer seg 2, som er nøyaktig det orden 1 betyr.
To ting å legge merke til.
For det første går forholdet mot 2 nedenfra, ikke fra 2 med en gang. Ordensresultatet er asymptotisk: det gjelder når er liten nok til at det ledende feilleddet dominerer.
For det andre er alle tilnærmingene for små. Løsningen er konveks her, og Euler-tangentene ligger under kurven. Slike fortegnsargumenter er gratis kontroller — og de er ofte nok til å avsløre en regnefeil.
Tidsbruk på eksamen: ett Euler-skritt er ett minutt. Det er blant de billigste poengene på hele settet.
(Innstegsoppgave — ren innsetting.) Gitt med og .
a) Regn ut .
b) Ta ett Euler-skritt.
c) Ta ett skritt til.
Gitt med og .
a) Ta to Euler-skritt.
b) Den eksakte løsningen er . Regn ut og finn feilen.
Løkke 2 — Heun og RK4 (~18 min)
Eulers svakhet er at den bruker brattheten i startpunktet for hele skrittet. Både Heun og RK4 gjør noe med akkurat det.
Merk argumentet i : det er , altså Euler-prediksjonen — ikke . Å bruke der er den vanligste feilen i hele sjangeren, og den gjør metoden om til Euler igjen.
Kostnad: to -evalueringer per skritt.
Orden: 2. Halverer du , blir feilen fire ganger mindre.
Formelen står på det utdelte formelarket — tren oppslaget på argumentene, ikke på vektene.
Heun kan leses i to trinn:
1. Prediktor: — et Euler-gjett på hvor du havner.
2. Korrektor: bruk stigningstallet der til å korrigere: .
Hvorfor gjennomsnittet er bedre. Euler bruker stigningstallet i venstre endepunkt over hele intervallet — det er venstre-rektangel-regelen for integralet . Heun bruker gjennomsnittet av begge endepunkter — det er trapesregelen fra kap. 6.2.
Det er ikke en analogi, det er samme regnestykke. Og det forklarer ordenene: trapes har feil per intervall, venstre rektangel bare .
Merk kjedingen: bruker , bruker (ikke ), og bruker . Hvert stigningstall bygger på det forrige.
Kostnad: fire -evalueringer per skritt.
Orden: 4. Halverer du , blir feilen seksten ganger mindre.
Formelen står på det utdelte formelarket — tren oppslaget på argumentene: hvilket hører til hvilket punkt.
Vektene er , og de summerer til 1 — som de må, for at metoden skal treffe eksakt når er konstant.
Gjenkjenner du mønsteret? Det er Simpsons regel fra kap. 6.2, med vektene over endepunktene og midtpunktet — bare med midtpunktsvekten delt på to prøver ( og ).
Kontroll før du regner videre: summen av vektene skal være 1. Har du skrevet av feil, avslører den kontrollen det umiddelbart.
| Metode | Evalueringer | Orden | Nøyaktighet per evaluering |
|---|---|---|---|
| Euler | 1 | 1 | lav |
| Heun | 2 | 2 | middels |
| RK4 | 4 | 4 | høy |
Den riktige sammenlikningen er ikke per skritt, men per evaluering. Ett RK4-skritt med koster like mye som fire Euler-skritt med . Regner du det ut, vinner RK4 dramatisk, fordi ordenene er så ulike.
Praktisk regel: for glatte problemer og moderate nøyaktighetskrav er RK4 nesten alltid billigst. For stive problemer snur bildet helt — se løkke 3 og kap. 7.4.
Gitt med og . Eksakt: .
Ta ett skritt med hver av Euler, Heun og RK4, og sammenlikn.
Heun. To stigningstall:
RK4. Fire stigningstall — merk hvilket punkt hvert er regnet i:
Summen i parentesen: .
Sammenlikning.
| Metode | Evalueringer | Feil | |
|---|---|---|---|
| Euler | 1 | ||
| Heun | 2 | ||
| RK4 | 4 | ||
| Eksakt | — | — |
Fire ganger arbeidet gir nesten tusen ganger mindre feil. Det er hele argumentet for RK4.
Legg merke til at Heun bommer på den andre siden av Euler. Euler ga (for lavt), Heun ga (for høyt). Det er vanlig, men ikke en regel — det avhenger av krumningen.
Kontroller du selv? Tre raske sjekker: (1) alle skal være i samme størrelsesorden — er ett av dem vilt avvikende, er et argument satt inn feil; (2) vektene ✔; (3) svaret skal ligge mellom Euler og Heun her, siden RK4 er den mest nøyaktige.
Tidsbruk på eksamen: hele denne oppgaven er 6–8 minutter når oppstillingen sitter.
Gitt med og .
a) Ta ett Heun-skritt.
b) Ta ett RK4-skritt.
c) Den eksakte verdien er . Sammenlikn feilene med Eulers, som ga .
Gitt med og .
a) Ta ett Heun-skritt.
b) Ta ett RK4-skritt.
c) Eksakt er . Rangér metodene.
— naturlig pausepunkt (~32 min brukt) —
Du kan de tre eksplisitte metodene. Resten av kapitlet er den implisitte varianten — som ser ubehagelig ut, men som er uunnværlig for en bestemt klasse problemer.
Løkke 3 — Bakover-Euler og stive problemer (~15 min)
En metode der den ukjente står på begge sider av likhetstegnet.
Da kan du ikke bare regne ut høyresiden — du må løse en likning for .
Er lineær i , er likningen lineær og løses med to linjers algebra.
Er ikke-lineær, må du bruke en rotsøkingsmetode — og da er Newton fra kap. 6.4 standardvalget.
Prisen er altså at hvert skritt koster en likningsløsning i stedet for en funksjonsevaluering. Gevinsten er stabilitet, som er hele temaet i kap. 7.4.
Sammenlikn med eksplisitt Euler: eneste forskjell er at argumentene er i stedet for . Men den forskjellen gjør metoden implisitt.
Orden: 1, akkurat som eksplisitt Euler. Du kjøper altså ikke nøyaktighet — du kjøper stabilitet.
Formelen står på det utdelte formelarket — tren oppslaget. Det som må kunnes, er at du er nødt til å løse likningen, og hvordan.
Samle på venstre side:
Ikke-lineært tilfelle. Skriv likningen som med
og løs med Newtons metode fra kap. 6.4. Startverdi: Euler-prediksjonen er nesten alltid god nok.
Merk at , som er nær 1 for liten — så Newton konvergerer raskt her.
Typisk: en komponent dør ut på sekunder, mens den interessante oppførselen skjer over sekunder. Da tvinger den raske komponenten en eksplisitt metode til å bruke absurd små skritt — ikke for nøyaktighetens skyld, men for at metoden i det hele tatt skal holde seg stabil.
Eksempel: med og . Eksplisitt Euler gir
altså feil fortegn og større tallverdi enn vi startet med. Fortsetter du, vokser uten grense — mens den eksakte løsningen går raskt mot null.
Bakover-Euler gir derimot
som er for stort sammenliknet med , men i det minste positivt og avtakende.
Dette er kjernen i stabilitet, og det er hele temaet i kap. 7.4. For stive problemer er implisitte metoder ikke et alternativ — de er det eneste brukbare.
b) Gitt med og . Ta ett bakover-Euler-skritt. Eksakt: .
Gang ut og samle :
Sammenlikning med de andre metodene:
| Metode | Feil | Evalueringer | |
|---|---|---|---|
| Eksplisitt Euler | 1 | ||
| Bakover-Euler | 1 + en likning | ||
| Heun | 2 | ||
| RK4 | 4 | ||
| Eksakt | — | — |
Legg merke til at bakover-Euler bommer på motsatt side av eksplisitt Euler, og omtrent like mye. Det er typisk: den ene metoden undervurderer, den andre overvurderer, og begge har orden 1.
Er bakover-Euler da bortkastet her? For dette problemet, ja — det er ikke stivt, og de eksplisitte metodene er både enklere og bedre. Poenget med bakover-Euler er ikke nøyaktighet, men stabilitet, og den gevinsten ser du ikke før i kap. 7.4.
b) Ikke-lineært tilfelle. Likningen er
Nå står i annen potens — dette er ikke lenger en lineær likning. Ordne den:
Abc-formelen:
Vi trenger den positive rota (løsningen starter i 1 og avtar mot null, den blir aldri negativ):
Feil: .
(Til sammenlikning gir eksplisitt Euler , med feil — mer enn dobbelt så mye.)
Merk hva som skjedde. Her lot likningen seg løse eksakt fordi den var en andregradslikning. I praksis er den sjelden det, og da må du bruke Newtons metode på
Fra startverdien (Euler-prediksjonen) gir Newton
altså fire korrekte siffer på to Newton-skritt. Det er den fulle prisen for ett implisitt skritt: én likningsløsning, som selv er en iterasjon.
Tidsbruk på eksamen: det lineære tilfellet er 3 minutter, det ikke-lineære 6–8.
Gitt med og .
a) Ta ett eksplisitt Euler-skritt.
b) Ta ett bakover-Euler-skritt.
c) Kommenter de to svarene.
Løkke 4 — Systemer og full eksamensoppgave (~13 min)
Alle metodene i kapitlet virker uendret på systemer av differensiallikninger — du bytter bare tall mot vektorer. Det er verdt fem minutter, fordi det er slik metodene faktisk brukes.
der og er vektorer med like mange komponenter som det er likninger.
Alle formlene i kapitlet gjelder ordrett, med som vektorer:
Praktisk viktig: en høyere ordens likning gjøres om til et system. For setter du , og får
Det er slik en andreordens likning løses numerisk — det finnes ingen egen «RK4 for andreordens likninger».
| Situasjonen | Velg | Fordi |
|---|---|---|
| Glatt problem, moderat krav | RK4 | best nøyaktighet per evaluering |
| Rask overslagsregning for hånd | Heun | to evalueringer, orden 2 |
| Bare ett skritt skal vises | Euler | én evaluering, én linje |
| Stivt problem | Bakover-Euler eller annen implisitt | eksplisitte metoder krever absurd liten |
| Svingende system over lang tid | RK4 eller en energibevarende metode | Euler pumper energi inn i systemet |
Ber oppgaven om en bestemt metode, bruker du den. Men spør den «hvilken metode ville du valgt, og hvorfor?», er det denne tabellen som er svaret — og begrunnelsen er alltid en avveining mellom orden og antall -evalueringer, med stivhet som eneste unntak der regnestykket snus helt om.
Fem raske sjekker før du leverer:
1. Har alle samme størrelsesorden? Et vilt avvikende stigningstall betyr nesten alltid feil argument.
2. Summerer vektene til 1? for Heun, for RK4.
3. Er -argumentene riktige? Heun: og . RK4: , , , .
4. Er -argumentene kjedet riktig? bruker , bruker , bruker .
5. Peker svaret riktig vei? Er i startpunktet, skal .
Disse fem tar under ett minutt og fanger så godt som alle feilene i sjangeren.
a) Vis at den eksakte løsningen er , og regn ut .
b) Ta ett skritt med Euler og ett med Heun.
c) Ta ett skritt med RK4.
d) Ta ett skritt med bakover-Euler.
e) Sett opp en tabell og rangér metodene etter feil og etter kostnad.
De to er like ✔, og ✔.
b) Euler.
Feil: .
Heun.
Feil: .
c) RK4.
Vektet sum: .
Feil: .
d) Bakover-Euler.
Feil: .
e) Samlet tabell.
| Metode | Feil | -evalueringer | Orden | |
|---|---|---|---|---|
| Euler | 1 | 1 | ||
| Bakover-Euler | 1 + likning | 1 | ||
| Heun | 2 | 2 | ||
| RK4 | 4 | 4 | ||
| Eksakt | — | — | — |
Rangering etter feil: RK4, Heun, bakover-Euler, Euler.
Rangering etter kostnad: Euler (1), bakover-Euler (1 + en likning), Heun (2), RK4 (4).
Konklusjonen for et ikke-stivt problem som dette er entydig: RK4 gir nesten tusen ganger mindre feil enn Euler for fire ganger arbeidet. Det er en glimrende handel.
Merk hvor de to Euler-variantene ligger. De har samme orden, men bommer hver sin vei — Euler for lavt, bakover-Euler for høyt. Den eksakte verdien ligger mellom dem, og det er ingen tilfeldighet: gjennomsnittet av de to er , og en vektet variant av nettopp den ideen gir trapesmetoden — som du møter igjen som Crank–Nicolson i Del 8.
Tidsbruk på eksamen: a) 3 min, b) 5 min, c) 7 min, d) 3 min, e) 4 min — omtrent 22 minutter for en oppgave på 10 poeng, altså rett innenfor budsjettet.
med , og , har den eksakte løsningen , .
a) Ta ett Euler-skritt for begge komponentene.
b) Ta ett Heun-skritt.
c) Sammenlikn med og .
Gitt med .
a) Ta ett eksplisitt Euler-skritt med , og deretter med .
b) Ta ett bakover-Euler-skritt med de samme to steglengdene.
c) Den eksakte løsningen er . Kommenter hva som skjer, og hvilken eksplisitt Euler trenger for å oppføre seg fornuftig.
Vis at Heuns metode har orden 2 for en likning der bare avhenger av , altså .
a) Hva blir Heun-skrittet i dette tilfellet?
b) Hvilken kvadraturformel svarer det til?
c) Bruk feilleddet derfra til å bestemme den lokale avkuttingsfeilen.
2. Feil vekter i RK4. Det er — de to midtstigningstallene teller dobbelt. Kontroll: vektene skal summere til 1.
3. Å behandle bakover-Euler som eksplisitt. Formelen har på begge sider. Du må løse en likning; du kan ikke sette inn på høyresiden.
4. Feil -argument. I RK4 er og regnet i , ikke i . Å bruke feil gir riktig struktur og feil svar.
5. Å forveksle lokal og global orden. Lokal avkuttingsfeil svarer til global orden . Euler har lokal feil og global orden 1.
6. Å runde av for tidlig. Stigningstallene bygger på hverandre, så avrunding i forplanter seg til alle fire. Regn med minst sju siffer underveis.
7. Å bruke en eksplisitt metode på et stivt problem uten å kommentere det. Får du negative eller voksende verdier der løsningen skal dø ut, er det ikke en regnefeil — det er ustabilitet, og det skal du si.
8. Å blande i Del 7 med i Del 8. Her er steglengden i tid. I Del 8 er romsteget, og tidssteget skrives .
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 Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.