7.5 Drill — numerisk ODE-sjangeren
Sjangerdrill på hele M/N/O-komplekset: ett skritt, orden fra Butcher, innfelt par + steglengde, og stabilitet — som A-besvarelse med sensor-margnotater.
- — ODE-løsere (Euler, Heun, RK4, bakover-Euler; ett skritt for hånd, og orden fra Butcher-tabell): 12 av 13 sett (92 %) for skrittdelen, 5 av 13 (38 %) for Butcher- og ordensdelen.
- — innfelt RK-par med steglengdekontroll: 3 av 13 sett (23 %), alle fra 2022 og senere.
- — stabilitetsfunksjonen og stabilitetsintervall: 3 av 13 sett (23 %).
Til sammen er det 1–2 deloppgaver på hvert eneste sett. Numerikk-blokken bakerst har typisk tre–fire deloppgaver, og minst én av dem er nesten alltid herfra.
Hva dette kapitlet gjør, og ikke gjør. Det innfører ingen ny teori. Det gir deg én løsningsoppskrift per undertype, ett fullstendig gjennomregnet eksamenscase med margnotater om hva som gir uttelling, og tolv oppgaver på eksamensnivå som roterer gjennom alle variantene.
Hvis du bare har tid til ett kapittel i Del 7 før eksamen, ta dette — men bare hvis du allerede har lest kap. 7.1. Uten skrittmekanikken derfra er drillen bortkastet.
Formelark-merking, samlet for hele delen.
- Står på det utdelte formelarket — tren oppslaget: Euler, forbedret Euler, RK4, bakover-Euler, og ordensbetingelsene for til .
- Må kunnes eller utledes aktivt: at bakover-Euler krever likningsløsning; verifikasjonslogikken «rad for rad til én feiler»; feilestimatet og steglengdeformelen i innfelte par; og hele stabilitetsapparatet — , intervallet, og egenverdibehandlingen for systemer.
Tidsbruk: 85 minutter. Kapitlet kan trygt deles over flere kvelder — én undertype per økt er en god inndeling. Naturlige pausepunkter er markert.
Sist du var her — de fem formlene hele drillen hviler på, ferdig oppfrisket:
1. Runge–Kutta, generell form (fra Butcher-tabellen):
2. Klassisk RK4 — merk kjedingen :
3. Ordensbetingelsene til og med nivå 3 — merk at det er to på nivå 3:
4. Feilestimat og steglengde i et innfelt par — merk eksponenten:
5. Stabilitet — er faktoren per skritt på testlikningen :
Av disse fem står bare nummer 2 og 3 på det utdelte formelarket. De tre andre må du ha med deg selv.
Løsningsoppskriftene — én per undertype
Dette er kjernen i kapitlet. Hver oppgave i Del 7 er en av fire undertyper, og hver av dem har en fast oppskrift.
(a) Ett skritt for hånd — sjanger M
1. Skriv opp , , og eksplisitt. Én linje. Det tar ti sekunder og gjør resten mekanisk.
2. Regn stigningstallene ETT AV GANGEN, hvert på egen linje, med argumentene synlige:
3. Kontroller at alle er i samme størrelsesorden. Er ett vilt avvikende, er et argument satt inn feil.
4. Sett inn i sluttformelen, og skriv den vektede summen ut før du multipliserer med .
5. Kontroller retningen: er i startpunktet, skal .
6. Ved bakover-Euler: sett opp likningen, samle på venstre side, og løs. Er den ikke-lineær, si at Newton fra kap. 6.4 er verktøyet.
(b) Orden fra Butcher-tabell eller kode — sjanger M
1. Les av , og . Fra kode: tidsargumentet gir , -argumentet gir , returlinja gir — husk å gange faktoren utenfor parentesen inn.
2. Kontroller tabellen: vektsum , radsummer , strengt nedre triangulær.
3. Gå nivå for nivå, og skriv ut hver sum med tallene synlige.
4. Sjekk ALLE betingelsene på hvert nivå — det er to på nivå 3 og fire på nivå 4.
5. Konkluder med nivået UNDER det første som feilet.
(c) Innfelt par og steglengde — sjanger N
1. Regn stigningstallene ÉN gang. Begge metodene deler dem.
2. Regn begge svarene med hver sin vektrad.
3. Feilestimatet: , eller raskere via vektdifferansene.
4. Sammenlikn med Tol og si eksplisitt «aksepteres» eller «forkastes».
5. Ny steglengde med eksponent , der er ordenen til den propagerte løsningen.
6. Kontroller retningen: forkast ; aksept .
(d) Stabilitet — sjanger O
1. Sett inn i ALLE stigningstallene, og faktoriser ut .
2. Kontroller mot — de skal stemme til og med .
3. Del i BEGGE ulikhetene, og .
4. Oversett til : .
5. For systemer: finn egenverdiene (kontroller mot spor og determinant), og bruk den mest negative.
6. Skill stabilitet fra nøyaktighet hvis oppgaven ber om en vurdering.
med eksakt løsning .
a) Ta ett skritt med Euler, Heun og RK4 med , og sammenlikn feilene.
b) Ta ett bakover-Euler-skritt med samme .
c) Bruk det innfelte 2(3)-paret
med Tol og . Aksepteres skrittet? Foreslå ny steglengde.
d) Finn den største steglengden som gir stabil løsning med eksplisitt Euler og med RK4 ().
Eksakt: .
---
a) De tre eksplisitte metodene.
Euler.
Margnotat: to linjer, og begge poengene er tatt. Skriv -verdien for seg — en fasit som bare sier «» får mindre uttelling, siden instruksen krever nok mellomregning til at tenkemåten framgår.
Heun.
Margnotat: argumentet i er Euler-prediksjonen , ikke . Dette er den dokumenterte hovedfeilen i sjangeren — skriv argumentet ut, så ser den som retter at du har gjort det riktig.
RK4.
Margnotat: merk at bruker , ikke . De to tallene og ligner, og det er nettopp derfor feilen er lett å gjøre og vanskelig å oppdage.
Vektet sum:
Margnotat: skriv den vektede summen ut som ett tall før du multipliserer. Det gir et kontrollpunkt, og det gjør at en regnefeil i ett ikke ødelegger hele resten av føringen.
Sammenlikningen.
| Metode | -evalueringer | Feil | |
|---|---|---|---|
| Euler | 1 | ||
| Heun | 2 | ||
| RK4 | 4 | ||
| Eksakt | — | — |
Margnotat: sammenlikningstabellen er et halvt poeng verdt og tar ett minutt. Ta den med når oppgaven ber om «sammenlikn».
---
b) Bakover-Euler. Formelen er implisitt:
Gang ut og samle på venstre side:
Feil: .
Margnotat: to ting gir uttelling her. Ett: at du sier at metoden er implisitt og at må løses ut. To: at du fører selve utregningen som en likning, ikke som en innsetting. En besvarelse som skriver har behandlet metoden som eksplisitt og får null.
Merk at bakover-Euler bommer motsatt vei av eksplisitt Euler — mot , med eksakt mellom dem. Begge har orden 1.
---
c) Innfelt par.
Stigningstallene (regnes én gang, brukes to ganger):
De to svarene.
Feilestimatet.
Kontroll med differanseformelen: , altså
Margnotat: gjør denne kontrollen. Den er uavhengig av de to sluttsvarene, så den fanger regnefeil i begge.
Aksept eller forkast.
Ny steglengde. Den propagerte løsningen har orden , så eksponenten er :
Svar: forkast, og gjør skrittet om fra med .
Margnotat: si eksplisitt at skrittet gjøres om fra samme startpunkt, ikke at du går videre med en ny . Og kontroller retningen: ved forkast ✔ — den kontrollen fanger den vanligste feilen, som er å snu brøken .
---
d) Stabilitet. Her er , altså (konstantleddet påvirker ikke stabiliteten — det er koeffisienten foran som teller).
Eksplisitt Euler: intervallet er med :
RK4: intervallet er :
Svar: Euler tåler , RK4 tåler .
Margnotat: legg merke til at stabiliteten ikke er noen begrensning her. Vi brukte , som er fire ganger under grensen for Euler. Problemet er ikke stivt ( er lite), og steglengden bør derfor velges etter nøyaktighet. Det er verdt én setning: «stabilitetsgrensen er ikke bindende her; kravet på kommer fra nøyaktigheten, jf. feilestimatet i c).»
Samlet tidsbruk på eksamen: a) 8 min, b) 3 min, c) 8 min, d) 4 min — omtrent 23 minutter for en full tipoengsoppgave. Det ligger rett innenfor budsjettet.
— naturlig pausepunkt (~30 min brukt) —
Du har oppskriftene og ett gjennomregnet case. Resten av kapitlet er tolv oppgaver som roterer gjennom variantene. Ta dem gjerne fire og fire, over tre økter.
Oppgave 1–4 er ett skritt for hånd; 5–7 er Butcher og orden; 8–9 er innfelte par; 10–12 er stabilitet og sammensatte oppgaver.
Blokk 1 — Ett skritt for hånd (sjanger M)
Gitt med og .
a) Ta ett Euler-skritt.
b) Ta ett Heun-skritt.
c) Ta ett bakover-Euler-skritt.
d) Eksakt er . Rangér metodene.
Gitt med og .
a) Ta ett Euler-skritt, og forklar hvorfor svaret ser rart ut.
b) Ta ett Heun-skritt.
c) Eksakt er . Kommenter.
Gitt med og .
a) Ta ett RK4-skritt. Skriv alle fire stigningstallene med argumenter.
b) Sammenlikn med Heun () og eksakt ().
Gitt med og .
a) Ta ett eksplisitt Euler-skritt.
b) Sett opp likningen for ett bakover-Euler-skritt og løs den eksakt.
c) Eksakt er . Sammenlikn.
— naturlig pausepunkt (~48 min brukt) —
Blokk 2 — Butcher-tabell og orden (sjanger M)
ved å sjekke betingelsene i tur og orden.
Les Butcher-tabellen ut av
def steg(f, t, y, h):
k1 = f(t, y)
k2 = f(t + h/3, y + h*k1/3)
k3 = f(t + 2*h/3, y + h*(-k1/3 + k2))
return y + h*(k1 + 3*k3)/4og bestem ordenen.
for en parameter .
a) Vis at metoden har orden 2 for enhver .
b) Finn og stabilitetsintervallet.
c) Hva blir metoden for og for ?
Blokk 3 — Innfelte par og steglengde (sjanger N)
med Tol og .
a) Regn feilestimatet.
b) Aksepteres skrittet?
c) Foreslå ny steglengde.
En integrator med et 3(4)-par kjører med Tol . Ved måles .
a) Aksepteres skrittet, og hvilken eksponent gjelder?
b) Foreslå ny steglengde med .
c) Antar du i stedet at feilen oppfører seg som uten sikkerhetsfaktor: hvilken treffer toleransen nøyaktig?
d) Hvor mange skritt bruker de to forslagene på , og hvor mange forkastede skritt vil du forvente av hvert?
— naturlig pausepunkt (~68 min brukt) —
Blokk 4 — Stabilitet og sammensatte oppgaver (sjanger O)
a) Finn egenverdiene, og kontroller dem.
b) Finn maks steglengde for eksplisitt Euler og for RK4 ().
c) Regn stivhetsforholdet og vurder om en implisitt metode er nødvendig.
Heuns metode brukes på , , fram til . Eksakt: .
Et konvergenseksperiment gir
| Feil | ||
|---|---|---|
| 4 | ||
| 8 | ||
| 16 | ||
| 32 |
a) Bestem den observerte ordenen.
b) Stemmer den med ordensbetingelsene?
c) Er stabiliteten en begrensning i noen av kjøringene?
d) Hvor mange skritt trengs omtrent for feil under ?
Eksakt løsning: , altså .
a) Ta ett Heun-skritt.
b) Ta ett bakover-Euler-skritt.
c) Finn stabilitetsgrensen for Heun, og avgjør om er innenfor.
d) Bruk Heun–Euler-paret til å estimere feilen, og foreslå en steglengde som gir feil under med .
1. Feil argument i eller . I Heun er argumentet ; i RK4 bruker verdien av , ikke . Dette er den dokumenterte hovedfeilen i hele delen.
2. Feil -argument. I RK4 er og regnet i . Riktig struktur med feil tid gir feil svar.
3. Å behandle bakover-Euler som eksplisitt. Formelen har på begge sider, og likningen må løses.
Orden fra tabell eller kode (sjanger M)
4. Å stoppe før den første betingelsen faktisk feiler. Det er to betingelser på nivå 3 og fire på nivå 4. Går den første gjennom, er du ikke ferdig med nivået.
5. Å telle feil til slutt. Feiler en nivå-3-betingelse, er ordenen 2, ikke 3.
6. Å glemme faktoren utenfor parentesen i returlinja. h*(k1+4*k2+k3)/6 gir vektene — ikke .
7. Å bruke radsum-betingelsen som argument for høy orden. Den er nødvendig, ikke tilstrekkelig.
Innfelte par (sjanger N)
8. Feil eksponent i steglengdeformelen. Den er , ikke .
9. Å snu brøken . Kontroll: forkast mindre ; aksept større .
10. Å regne stigningstallene to ganger. Hele poenget med paret er at de deles.
Stabilitet (sjanger O)
11. Å bruke feil egenverdi. Det er den mest negative som binder.
12. Å bare sjekke den ene siden av . Ulikheten må deles i og .
13. Å blande og . Intervallet er i ; steglengdegrensen får du først etter å ha delt på .
14. Å tro at høyere orden gir større stabilitetsområde. Euler og Heun har samme intervall .
Gjennomgående
15. Å runde av for tidlig. Stigningstallene bygger på hverandre; regn med minst sju siffer.
16. Å blande i Del 7 med i Del 8. Her er steglengden i tid; i Del 8 er romsteget, og tidssteget skrives .
Formelkort for Del 7
Flashcard- og repetisjonsstoff — hopp trygt over ved førstegangslesing. Kortene under er oppskriftene fra kapitlet i komprimert form, og de er samtidig kortene i flashcard-bunken. Tidsanslaget på 85 minutter gjelder oppskriftene, caset og oppgavene.
1. Skriv opp , , og eksplisitt.
2. Regn stigningstallene ett av gangen, hvert på egen linje, med argumentene synlige.
3. Kontroller at alle er i samme størrelsesorden.
4. Sett inn i sluttformelen; skriv den vektede summen ut som ett tall først.
5. Kontroller retningen: i startpunktet .
6. Ved bakover-Euler: sett opp likningen, samle , løs — og si at metoden er implisitt.
| Metode | Formel | Orden | Evalueringer |
|---|---|---|---|
| Euler | 1 | 1 | |
| Heun | 2 | 2 | |
| RK4 | 4 | 4 | |
| Bakover-Euler | 1 | 1 + likning |
Alle fire står på det utdelte formelarket — tren oppslaget.
Argumentene i RK4: i ; i ; i ; i .
1. Les av (tidsargument), (-argument) og (returlinje — gang faktoren inn).
2. Kontroller: vektsum , radsummer , strengt nedre triangulær.
3. Gå nivå for nivå, med tallene synlige i hver sum.
4. Sjekk alle betingelsene på hvert nivå: én på nivå 1 og 2, to på nivå 3, fire på nivå 4.
5. Konkluder med nivået under det første som feilet.
Barrieren: for eksplisitte metoder, og gir likevel bare .
Alle står på det utdelte formelarket siden 2022 — tren oppslaget.
Høyresidene er ; betingelsene med har ingen slik tolkning.
1. Regn stigningstallene én gang — begge metodene deler dem.
2. Regn begge svarene, ett per vektrad.
3. — bruk den andre formen som kontroll.
4. Sammenlikn med Tol og si eksplisitt «aksepteres» eller «forkastes».
5. — er ordenen til den propagerte løsningen.
6. Kontroller retningen: forkast mindre ; aksept større .
Ingen av formlene står på det utdelte formelarket — sett dem på ditt eget A5-ark.
1. Sett inn i alle stigningstallene, og faktoriser ut .
2. Kontroller mot — de skal stemme til og med .
3. Del i begge ulikhetene: og .
4. Oversett: .
5. For systemer: finn egenverdiene (kontroller mot spor og determinant) og bruk den mest negative.
6. Skill stabilitet fra nøyaktighet i vurderingen.
Ingen ferdig på det utdelte formelarket — utledningen må kunnes.
For eksplisitte metoder er det avkuttede Taylor-polynomet til — derfor er intervallet alltid endelig.
Merk hvor lite intervallet vokser med ordenen: fra til mellom Euler og RK4.
1. Er alle i samme størrelsesorden?
2. Summerer vektene til 1?
3. Er -argumentene riktige (, , )?
4. Er -argumentene kjedet riktig ()?
5. Peker svaret riktig vei i forhold til fortegnet på ?
6. Ved orden: er alle betingelsene på hvert nivå sjekket, og er ordenen nivået under det som feilet?
7. Ved steglengde: peker riktig vei?
Den siste er den beste kontrollen som finnes — den fanger den vanligste regnefeilen i sjanger N med to sekunders arbeid.
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.