Tilbake
7.5

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.

85 min
12 oppgaver
Drillnumerisk ODE-sjangeren
Din fremgang i kapitlet
0 / 12 oppgaver
Kapitlets plass i kurset
Forkunnskaper: hele Del 7 — kap. 7.1, kap. 7.2, kap. 7.3 og kap. 7.4.

Sist du var her — de fem formlene hele drillen hviler på, ferdig oppfrisket:

1. Runge–Kutta, generell form (fra Butcher-tabellen):

ki=f(tn+cih, yn+hjaijkj),yn+1=yn+hibiki.k_i=f\left(t_n+c_ih,\ y_n+h\sum_j a_{ij}k_j\right),\qquad y_{n+1}=y_n+h\sum_i b_ik_i.

2. Klassisk RK4 — merk kjedingen k1k2k3k4k_1\to k_2\to k_3\to k_4:

yn+1=yn+h6(k1+2k2+2k3+k4).y_{n+1}=y_n+\frac h6\left(k_1+2k_2+2k_3+k_4\right).

3. Ordensbetingelsene til og med nivå 3 — merk at det er to på nivå 3:

ibi=1,ibici=12,ibici2=13,i,jbiaijcj=16.\sum_i b_i=1,\quad \sum_i b_ic_i=\tfrac12,\quad \sum_i b_ic_i^{2}=\tfrac13,\quad \sum_{i,j}b_ia_{ij}c_j=\tfrac16.

4. Feilestimat og steglengde i et innfelt par — merk eksponenten:

ε^=hi(b^ibi)ki,hny=Ph(Tolε^)1/(p+1).\hat\varepsilon=h\left|\sum_i\left(\hat b_i-b_i\right)k_i\right|,\qquad h_{\text{ny}}=P\,h\left(\frac{\text{Tol}}{\hat\varepsilon}\right)^{1/(p+1)}.

5. StabilitetRR er faktoren per skritt på testlikningen y=λyy'=\lambda y:

yn+1=R(z)yn,z=λh,R(z)1,hzmaxjλj.y_{n+1}=R(z)y_n,\quad z=\lambda h,\qquad \left|R(z)\right|\le 1,\qquad h\le\frac{\left|z^{*}\right|}{\max_j\left|\lambda_j\right|}.

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 f(t,y)f(t,y), tnt_n, yny_n og hh 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:
k2=f(tn+h2tid, yn+h2k1verdi)=k_2=f\left(\underbrace{t_n+\tfrac h2}_{\text{tid}},\ \underbrace{y_n+\tfrac h2 k_1}_{\text{verdi}}\right)=\dots
3. Kontroller at alle kik_i 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 hh.
5. Kontroller retningen: er f<0f<0 i startpunktet, skal y1<y0y_1<y_0.
6. Ved bakover-Euler: sett opp likningen, samle yn+1y_{n+1} 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 c\mathbf c, AA og b\mathbf b. Fra kode: tidsargumentet gir cic_i, yy-argumentet gir aija_{ij}, returlinja gir bib_ihusk å gange faktoren utenfor parentesen inn.
2. Kontroller tabellen: vektsum =1=1, radsummer =ci=c_i, AA 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: ε^=y^1y1\hat\varepsilon=\left|\hat y_1-y_1\right|, eller raskere via vektdifferansene.
4. Sammenlikn med Tol og si eksplisitt «aksepteres» eller «forkastes».
5. Ny steglengde med eksponent 1p+1\tfrac1{p+1}, der pp er ordenen til den propagerte løsningen.
6. Kontroller retningen: forkast \Rightarrow hny<hh_{\text{ny}}<h; aksept \Rightarrow hny>hh_{\text{ny}}>h.

(d) Stabilitet — sjanger O

1. Sett f=λyf=\lambda y inn i ALLE stigningstallene, og faktoriser ut yny_n.
2. Kontroller R(z)R(z) mot eze^{z} — de skal stemme til og med zpz^{p}.
3. Del R1\left|R\right|\le 1 i BEGGE ulikhetene, R1R\le 1 og R1R\ge -1.
4. Oversett til hh: hz/λh\le\left|z^{*}\right|/\left|\lambda\right|.
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.

✏️Gjennomregnet eksamenscase — alle fire undertypene på ett problem
Gitt initialverdiproblemet

y=12y,y(0)=0,y'=1-2y,\qquad y(0)=0,

med eksakt løsning y(t)=12(1e2t)y(t)=\tfrac12\left(1-e^{-2t}\right).

a) Ta ett skritt med Euler, Heun og RK4 med h=0,25h=0{,}25, og sammenlikn feilene.
b) Ta ett bakover-Euler-skritt med samme hh.
c) Bruk det innfelte 2(3)-paret

00001212001120010162316\begin{array}{c|ccc}0 & 0 & 0 & 0\\ \tfrac12 & \tfrac12 & 0 & 0\\ 1 & -1 & 2 & 0\\ \hline & 0 & 1 & 0\\ \hline & \tfrac16 & \tfrac23 & \tfrac16\end{array}

med Tol =5103=5\cdot 10^{-3} og P=0,9P=0{,}9. Aksepteres skrittet? Foreslå ny steglengde.

d) Finn den største steglengden som gir stabil løsning med eksplisitt Euler og med RK4 (z=2,785\left|z^{*}\right|=2{,}785).

Felles oppsett. f(t,y)=12yf(t,y)=1-2y, t0=0t_0=0, y0=0y_0=0, h=0,25h=0{,}25.

Eksakt: y(0,25)=12(1e0,5)=12(10,6065307)=0,1967347y(0{,}25)=\tfrac12\left(1-e^{-0{,}5}\right)=\tfrac12\left(1-0{,}6065307\right)=0{,}1967347.

---

a) De tre eksplisitte metodene.

Euler.

k=f(0; 0)=10=1,k=f(0;\ 0)=1-0=1,
y1=0+0,251=0,25.y_1=0+0{,}25\cdot 1=0{,}25.

Margnotat: to linjer, og begge poengene er tatt. Skriv ff-verdien for seg — en fasit som bare sier «y1=0,25y_1=0{,}25» får mindre uttelling, siden instruksen krever nok mellomregning til at tenkemåten framgår.

Heun.

k1=f(0; 0)=1,k_1=f(0;\ 0)=1,
k2=f(0,25; 0+0,251)=f(0,25; 0,25)=10,5=0,5.k_2=f\left(0{,}25;\ 0+0{,}25\cdot 1\right)=f(0{,}25;\ 0{,}25)=1-0{,}5=0{,}5.

y1=0+0,252(1+0,5)=0,1251,5=0,1875.y_1=0+\frac{0{,}25}{2}\left(1+0{,}5\right)=0{,}125\cdot 1{,}5=0{,}1875.

Margnotat: argumentet i k2k_2 er Euler-prediksjonen 0,250{,}25, ikke y0=0y_0=0. Dette er den dokumenterte hovedfeilen i sjangeren — skriv argumentet ut, så ser den som retter at du har gjort det riktig.

RK4.

k1=f(0; 0)=1,k_1=f(0;\ 0)=1,
k2=f(0,125; 0+0,1251)=f(0,125; 0,125)=10,25=0,75,k_2=f\left(0{,}125;\ 0+0{,}125\cdot 1\right)=f(0{,}125;\ 0{,}125)=1-0{,}25=0{,}75,
k3=f(0,125; 0+0,1250,75)=f(0,125; 0,09375)=10,1875=0,8125,k_3=f\left(0{,}125;\ 0+0{,}125\cdot 0{,}75\right)=f(0{,}125;\ 0{,}09375)=1-0{,}1875=0{,}8125,
k4=f(0,25; 0+0,250,8125)=f(0,25; 0,203125)=10,40625=0,59375.k_4=f\left(0{,}25;\ 0+0{,}25\cdot 0{,}8125\right)=f(0{,}25;\ 0{,}203125)=1-0{,}40625=0{,}59375.

Margnotat: merk at k3k_3 bruker k2k_2, ikke k1k_1. De to tallene 0,750{,}75 og 0,81250{,}8125 ligner, og det er nettopp derfor feilen er lett å gjøre og vanskelig å oppdage.

Vektet sum:

k1+2k2+2k3+k4=1+1,5+1,625+0,59375=4,71875.k_1+2k_2+2k_3+k_4=1+1{,}5+1{,}625+0{,}59375=4{,}71875.

y1=0+0,2564,71875=0,04166674,71875=0,1966146.y_1=0+\frac{0{,}25}{6}\cdot 4{,}71875=0{,}0416667\cdot 4{,}71875=0{,}1966146.

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 kik_i ikke ødelegger hele resten av føringen.

Sammenlikningen.

Metodeff-evalueringery1y_1Feil
Euler10,250{,}255,331025{,}33\cdot 10^{-2}
Heun20,18750{,}18759,231039{,}23\cdot 10^{-3}
RK440,19661460{,}19661461,201041{,}20\cdot 10^{-4}
Eksakt0,19673470{,}1967347

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:
y1=y0+hf(t1,y1)=0+0,25(12y1).y_1=y_0+h\,f\left(t_1,y_1\right)=0+0{,}25\left(1-2y_1\right).
Gang ut og samle y1y_1 på venstre side:

y1=0,250,5y1  1,5y1=0,25  y1=0,251,5=160,1666667.y_1=0{,}25-0{,}5y_1\ \Longrightarrow\ 1{,}5\,y_1=0{,}25\ \Longrightarrow\ y_1=\frac{0{,}25}{1{,}5}=\frac16\approx 0{,}1666667.

Feil: 0,16666670,1967347=3,01102\left|0{,}1666667-0{,}1967347\right|=3{,}01\cdot 10^{-2}.

Margnotat: to ting gir uttelling her. Ett: at du sier at metoden er implisitt og at y1y_1 må løses ut. To: at du fører selve utregningen som en likning, ikke som en innsetting. En besvarelse som skriver y1=0+0,25(120)=0,25y_1=0+0{,}25(1-2\cdot 0)=0{,}25 har behandlet metoden som eksplisitt og får null.

Merk at bakover-Euler bommer motsatt vei av eksplisitt Euler0,1670{,}167 mot 0,250{,}25, med eksakt 0,1970{,}197 mellom dem. Begge har orden 1.

---

c) Innfelt par.

Stigningstallene (regnes én gang, brukes to ganger):

k1=f(0; 0)=1,k_1=f(0;\ 0)=1,

k2=f(0,125; 0+0,25121)=f(0,125; 0,125)=10,25=0,75,k_2=f\left(0{,}125;\ 0+0{,}25\cdot\tfrac12\cdot 1\right)=f(0{,}125;\ 0{,}125)=1-0{,}25=0{,}75,

k3=f(0,25; 0+0,25(11+20,75))=f(0,25; 0,250,5)=f(0,25; 0,125).k_3=f\left(0{,}25;\ 0+0{,}25\left(-1\cdot 1+2\cdot 0{,}75\right)\right)=f\left(0{,}25;\ 0{,}25\cdot 0{,}5\right)=f(0{,}25;\ 0{,}125).

k3=10,25=0,75.k_3=1-0{,}25=0{,}75.

De to svarene.

y1=0+0,25k2=0,250,75=0,1875(orden 2),y_1=0+0{,}25\cdot k_2=0{,}25\cdot 0{,}75=0{,}1875\qquad\text{(orden 2)},
y^1=0+0,25(161+230,75+160,75)=0,25(0,1666667+0,5+0,125).\hat y_1=0+0{,}25\left(\tfrac16\cdot 1+\tfrac23\cdot 0{,}75+\tfrac16\cdot 0{,}75\right)=0{,}25\left(0{,}1666667+0{,}5+0{,}125\right).
y^1=0,250,7916667=0,1979167(orden 3).\hat y_1=0{,}25\cdot 0{,}7916667=0{,}1979167\qquad\text{(orden 3)}.
Feilestimatet.

ε^=0,19791670,1875=0,0104167.\hat\varepsilon=\left|0{,}1979167-0{,}1875\right|=0{,}0104167.

Kontroll med differanseformelen: b^ibi=(16,13,16)\hat b_i-b_i=\left(\tfrac16,-\tfrac13,\tfrac16\right), altså

ε^=h6k12k2+k3=0,25611,5+0,75=0,04166670,25=0,0104167 ✔\hat\varepsilon=\frac h6\left|k_1-2k_2+k_3\right|=\frac{0{,}25}{6}\left|1-1{,}5+0{,}75\right|=0{,}0416667\cdot 0{,}25=0{,}0104167\ ✔

Margnotat: gjør denne kontrollen. Den er uavhengig av de to sluttsvarene, så den fanger regnefeil i begge.

Aksept eller forkast.

ε^=0,0104167>5103=Tol  skrittet forkastes.\hat\varepsilon=0{,}0104167>5\cdot 10^{-3}=\text{Tol}\ \Longrightarrow\ \textbf{skrittet forkastes.}

Ny steglengde. Den propagerte løsningen har orden p=2p=2, så eksponenten er 13\tfrac13:

hny=0,90,25(0,0050,0104167)1/3=0,225(0,48)1/3.h_{\text{ny}}=0{,}9\cdot 0{,}25\cdot\left(\frac{0{,}005}{0{,}0104167}\right)^{1/3}=0{,}225\cdot\left(0{,}48\right)^{1/3}.

0,481/3=eln0,48/3=e0,7339692/3=e0,24465640,7829.0{,}48^{1/3}=e^{\ln 0{,}48/3}=e^{-0{,}7339692/3}=e^{-0{,}2446564}\approx 0{,}7829.

hny=0,2250,78290,1762.h_{\text{ny}}=0{,}225\cdot 0{,}7829\approx 0{,}1762.

Svar: forkast, og gjør skrittet om fra t=0t=0 med h0,176h\approx 0{,}176.

Margnotat: si eksplisitt at skrittet gjøres om fra samme startpunkt, ikke at du går videre med en ny hh. Og kontroller retningen: hny<hh_{\text{ny}}<h ved forkast ✔ — den kontrollen fanger den vanligste feilen, som er å snu brøken Tol/ε^\text{Tol}/\hat\varepsilon.

---

d) Stabilitet. Her er f(t,y)=12yf(t,y)=1-2y, altså λ=2\lambda=-2 (konstantleddet påvirker ikke stabiliteten — det er koeffisienten foran yy som teller).

Eksplisitt Euler: intervallet er 2z0-2\le z\le 0 med z=λh=2hz=\lambda h=-2h:

2h2  h1.-2h\ge -2\ \Longrightarrow\ h\le 1.

RK4: intervallet er 2,785z0-2{,}785\le z\le 0:

2h2,785  h2,78521,393.-2h\ge -2{,}785\ \Longrightarrow\ h\le\frac{2{,}785}{2}\approx 1{,}393.

Svar: Euler tåler h1h\le 1, RK4 tåler h1,393h\le 1{,}393.

Margnotat: legg merke til at stabiliteten ikke er noen begrensning her. Vi brukte h=0,25h=0{,}25, som er fire ganger under grensen for Euler. Problemet er ikke stivt (λ=2\left|\lambda\right|=2 er lite), og steglengden bør derfor velges etter nøyaktighet. Det er verdt én setning: «stabilitetsgrensen h1h\le 1 er ikke bindende her; kravet på hh 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)

📝Oppgave 1
M

Gitt y=3yy'=3-y med y(0)=1y(0)=1 og h=0,5h=0{,}5.

a) Ta ett Euler-skritt.
b) Ta ett Heun-skritt.
c) Ta ett bakover-Euler-skritt.
d) Eksakt er y(0,5)=32e0,51,7869387y(0{,}5)=3-2e^{-0{,}5}\approx 1{,}7869387. Rangér metodene.

📝Oppgave 2
M

Gitt y=tyy'=t\,y med y(0)=1y(0)=1 og h=0,2h=0{,}2.

a) Ta ett Euler-skritt, og forklar hvorfor svaret ser rart ut.
b) Ta ett Heun-skritt.
c) Eksakt er y(0,2)=e0,021,0202013y(0{,}2)=e^{0{,}02}\approx 1{,}0202013. Kommenter.

📝Oppgave 3
M

Gitt y=tyy'=t\,y med y(0)=1y(0)=1 og h=0,2h=0{,}2.

a) Ta ett RK4-skritt. Skriv alle fire stigningstallene med argumenter.
b) Sammenlikn med Heun (1,021{,}02) og eksakt (1,02020131{,}0202013).

📝Oppgave 4
M

Gitt y=y2y'=-y^{2} med y(0)=2y(0)=2 og h=0,25h=0{,}25.

a) Ta ett eksplisitt Euler-skritt.
b) Sett opp likningen for ett bakover-Euler-skritt og løs den eksakt.
c) Eksakt er y(0,25)=21+0,5=43y(0{,}25)=\dfrac{2}{1+0{,}5}=\dfrac43. Sammenlikn.

— naturlig pausepunkt (~48 min brukt) —

Blokk 2 — Butcher-tabell og orden (sjanger M)

📝Oppgave 5
M
Bestem ordenen til metoden

0000121200340340291349\begin{array}{c|ccc}0 & 0 & 0 & 0\\ \tfrac12 & \tfrac12 & 0 & 0\\ \tfrac34 & 0 & \tfrac34 & 0\\ \hline & \tfrac29 & \tfrac13 & \tfrac49\end{array}

ved å sjekke betingelsene i tur og orden.

📝Oppgave 6
M

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)/4

og bestem ordenen.

📝Oppgave 7
M
En metode har Butcher-tabellen

000αα0112α12α\begin{array}{c|cc}0 & 0 & 0\\ \alpha & \alpha & 0\\ \hline & 1-\tfrac{1}{2\alpha} & \tfrac{1}{2\alpha}\end{array}

for en parameter α>0\alpha>0.

a) Vis at metoden har orden 2 for enhver α>0\alpha>0.
b) Finn R(z)R(z) og stabilitetsintervallet.
c) Hva blir metoden for α=1\alpha=1 og for α=12\alpha=\tfrac12?

Blokk 3 — Innfelte par og steglengde (sjanger N)

📝Oppgave 8
N
Bruk Heun–Euler-paret (b=(1,0)\mathbf b=(1,0) av orden 1, b^=(12,12)\hat{\mathbf b}=\left(\tfrac12,\tfrac12\right) av orden 2, med c=(0,1)\mathbf c=(0,1) og a21=1a_{21}=1) på

y=3y,y(0)=1,h=0,5,y'=3-y,\qquad y(0)=1,\qquad h=0{,}5,

med Tol =101=10^{-1} og P=0,9P=0{,}9.

a) Regn feilestimatet.
b) Aksepteres skrittet?
c) Foreslå ny steglengde.

📝Oppgave 9
N

En integrator med et 3(4)-par kjører med Tol =106=10^{-6}. Ved h0=0,1h_0=0{,}1 måles ε^0=2,5105\hat\varepsilon_0=2{,}5\cdot 10^{-5}.

a) Aksepteres skrittet, og hvilken eksponent gjelder?
b) Foreslå ny steglengde med P=0,9P=0{,}9.
c) Antar du i stedet at feilen oppfører seg som Ch4Ch^{4} uten sikkerhetsfaktor: hvilken hh treffer toleransen nøyaktig?
d) Hvor mange skritt bruker de to forslagene på [0,1][0,1], og hvor mange forkastede skritt vil du forvente av hvert?

— naturlig pausepunkt (~68 min brukt) —

Blokk 4 — Stabilitet og sammensatte oppgaver (sjanger O)

📝Oppgave 10
O
Systemet y=Ay\mathbf y'=A\mathbf y har

A=(7224).A=\begin{pmatrix}-7 & 2\\ 2 & -4\end{pmatrix}.

a) Finn egenverdiene, og kontroller dem.
b) Finn maks steglengde for eksplisitt Euler og for RK4 (z=2,785\left|z^{*}\right|=2{,}785).
c) Regn stivhetsforholdet og vurder om en implisitt metode er nødvendig.

📝Oppgave 11
M/O

Heuns metode brukes på y=12yy'=1-2y, y(0)=0y(0)=0, fram til t=1t=1. Eksakt: y(1)=12(1e2)0,4323324y(1)=\tfrac12\left(1-e^{-2}\right)\approx 0{,}4323324.

Et konvergenseksperiment gir

nnyny_nFeil
40,42370610{,}42370618,631038{,}63\cdot 10^{-3}
80,43061110{,}43061111,721031{,}72\cdot 10^{-3}
160,43194410{,}43194413,881043{,}88\cdot 10^{-4}
320,43224000{,}43224009,241059{,}24\cdot 10^{-5}

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 10610^{-6}?

📝Oppgave 12
M/N/O
Gitt

y=4y+4,y(0)=0,h=0,4.y'=-4y+4,\qquad y(0)=0,\qquad h=0{,}4.

Eksakt løsning: y(t)=1e4ty(t)=1-e^{-4t}, altså y(0,4)=1e1,60,7981034y(0{,}4)=1-e^{-1{,}6}\approx 0{,}7981034.

a) Ta ett Heun-skritt.
b) Ta ett bakover-Euler-skritt.
c) Finn stabilitetsgrensen for Heun, og avgjør om h=0,4h=0{,}4 er innenfor.
d) Bruk Heun–Euler-paret til å estimere feilen, og foreslå en steglengde som gir feil under 21022\cdot 10^{-2} med P=0,9P=0{,}9.

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.

Oppskrift: ett skritt for hånd i seks steg

1. Skriv opp f(t,y)f(t,y), tnt_n, yny_n og hh eksplisitt.
2. Regn stigningstallene ett av gangen, hvert på egen linje, med argumentene synlige.
3. Kontroller at alle kik_i er i samme størrelsesorden.
4. Sett inn i sluttformelen; skriv den vektede summen ut som ett tall først.
5. Kontroller retningen: f<0f<0 i startpunktet \Rightarrow y1<y0y_1<y_0.
6. Ved bakover-Euler: sett opp likningen, samle yn+1y_{n+1}, løs — og si at metoden er implisitt.

Kort: de fire metodene og prisen deres
MetodeFormelOrdenEvalueringer
Euleryn+hk1y_n+hk_111
Heunyn+h2(k1+k2)y_n+\tfrac h2\left(k_1+k_2\right)22
RK4yn+h6(k1+2k2+2k3+k4)y_n+\tfrac h6\left(k_1+2k_2+2k_3+k_4\right)44
Bakover-Euleryn+hf(tn+1,yn+1)y_n+hf\left(t_{n+1},y_{n+1}\right)11 + likning

Alle fire står på det utdelte formelarket — tren oppslaget.
Argumentene i RK4: k1k_1 i (tn,yn)\left(t_n,y_n\right); k2k_2 i (tn+h2, yn+h2k1)\left(t_n+\tfrac h2,\ y_n+\tfrac h2k_1\right); k3k_3 i (tn+h2, yn+h2k2)\left(t_n+\tfrac h2,\ y_n+\tfrac h2k_2\right); k4k_4 i (tn+h, yn+hk3)\left(t_n+h,\ y_n+hk_3\right).
Oppskrift: orden fra Butcher-tabell i fem steg

1. Les av c\mathbf c (tidsargument), AA (yy-argument) og b\mathbf b (returlinje — gang faktoren inn).
2. Kontroller: vektsum =1=1, radsummer =ci=c_i, AA 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: psp\le s for eksplisitte metoder, og s=5s=5 gir likevel bare p4p\le 4.

Kort: ordensbetingelsene
p=1:ibi=1p=1:\quad \sum_i b_i=1
p=2:ibici=12p=2:\quad \sum_i b_ic_i=\frac12
p=3:ibici2=13OGi,jbiaijcj=16p=3:\quad \sum_i b_ic_i^{2}=\frac13\quad\textbf{OG}\quad \sum_{i,j}b_ia_{ij}c_j=\frac16
p=4:ibici3=14,i,jbiciaijcj=18,p=4:\quad \sum_i b_ic_i^{3}=\frac14,\quad \sum_{i,j}b_ic_ia_{ij}c_j=\frac18,
i,jbiaijcj2=112,i,j,kbiaijajkck=124\sum_{i,j}b_ia_{ij}c_j^{2}=\frac1{12},\quad \sum_{i,j,k}b_ia_{ij}a_{jk}c_k=\frac1{24}

Alle står på det utdelte formelarket siden 2022 — tren oppslaget.

Høyresidene 1,12,13,141,\tfrac12,\tfrac13,\tfrac14 er 01ξmdξ\int_0^1\xi^{m}d\xi; betingelsene med AA har ingen slik tolkning.

Oppskrift: innfelt par i seks steg

1. Regn stigningstallene én gang — begge metodene deler dem.
2. Regn begge svarene, ett per vektrad.
3. ε^=y^1y1=hi(b^ibi)ki\hat\varepsilon=\left|\hat y_1-y_1\right|=h\left|\sum_i\left(\hat b_i-b_i\right)k_i\right| — bruk den andre formen som kontroll.
4. Sammenlikn med Tol og si eksplisitt «aksepteres» eller «forkastes».
5. hny=Ph(Tolε^)1/(p+1)h_{\text{ny}}=P\,h\left(\dfrac{\text{Tol}}{\hat\varepsilon}\right)^{1/(p+1)}pp er ordenen til den propagerte løsningen.
6. Kontroller retningen: forkast \Rightarrow mindre hh; aksept \Rightarrow større hh.

Ingen av formlene står på det utdelte formelarket — sett dem på ditt eget A5-ark.

Oppskrift: stabilitet i seks steg

1. Sett f=λyf=\lambda y inn i alle stigningstallene, og faktoriser ut yny_n.
2. Kontroller R(z)R(z) mot eze^{z} — de skal stemme til og med zpz^{p}.
3. Del R1\left|R\right|\le 1 i begge ulikhetene: R1R\le 1 og R1R\ge -1.
4. Oversett: hz/λh\le\left|z^{*}\right|/\left|\lambda\right|.
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 R(z)R(z) på det utdelte formelarket — utledningen må kunnes.

Kort: de viktigste stabilitetsfunksjonene
R(z)=1+z(Euler),z=2R(z)=1+z\quad\text{(Euler)},\qquad z^{*}=-2
R(z)=1+z+z22(Heun, midtpunkt, alle 2-stegs orden 2),z=2R(z)=1+z+\frac{z^{2}}{2}\quad\text{(Heun, midtpunkt, alle 2-stegs orden 2)},\qquad z^{*}=-2
R(z)=1+z+z22+z36(3-stegs orden 3),z2,51R(z)=1+z+\frac{z^{2}}{2}+\frac{z^{3}}{6}\quad\text{(3-stegs orden 3)},\qquad z^{*}\approx -2{,}51
R(z)=m=04zmm!(RK4),z2,785R(z)=\sum_{m=0}^{4}\frac{z^{m}}{m!}\quad\text{(RK4)},\qquad z^{*}\approx -2{,}785
R(z)=11z(bakover-Euler),A-stabilR(z)=\frac{1}{1-z}\quad\text{(bakover-Euler)},\qquad \text{A-stabil}

For eksplisitte metoder er RR det avkuttede Taylor-polynomet til eze^{z} — derfor er intervallet alltid endelig.

Merk hvor lite intervallet vokser med ordenen: fra 22 til 2,7852{,}785 mellom Euler og RK4.

Kort: kontrollrutinen før du leverer
Sju sjekker, under to minutter til sammen:

1. Er alle kik_i i samme størrelsesorden?
2. Summerer vektene til 1?
3. Er tt-argumentene riktige (tnt_n, tn+h2t_n+\tfrac h2, tn+ht_n+h)?
4. Er yy-argumentene kjedet riktig (k2k3k4k_2\to k_3\to k_4)?
5. Peker svaret riktig vei i forhold til fortegnet på ff?
6. Ved orden: er alle betingelsene på hvert nivå sjekket, og er ordenen nivået under det som feilet?
7. Ved steglengde: peker hnyh_{\text{ny}} riktig vei?

Den siste er den beste kontrollen som finnes — den fanger den vanligste regnefeilen i sjanger N med to sekunders arbeid.

Symbol- og formelliste

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.