7.5 Rekker i praksis

Medisinen som hoper seg opp

En pasient får beskjed av legen: «Ta 100 mg av medisinen hver morgen.» Kroppen bryter ned 40 % av virkestoffet i løpet av et døgn. Pasienten blir bekymret: hvis jeg fyller på 100 mg hver dag, hoper ikke medisinen seg opp i kroppen til farlige nivåer? Svaret krever en ny måte å beskrive følger på — og det viser seg at mengden stabiliserer seg på et helt bestemt tall.

Til nå har vi mest brukt eksplisitte formler: en formel som gir $a_n$ direkte som funksjon av $n$. Men noen ganger er det mer naturlig å beskrive en følge ved å fortelle hvordan hvert ledd beregnes fra det foregående — slik medisinmengden i morgen bestemmes av mengden i dag. En slik beskrivelse kalles en rekursiv formel, og den trenger to ingredienser: en startverdi ($a_1 = \ldots$) og en rekursjonsrelasjon ($a_{n+1} = f(a_n)$).

Du har faktisk møtt rekursjon allerede: $a_1 = 3$, $a_{n+1} = a_n + 5$ er en aritmetisk følge med $d = 5$, og $a_1 = 2$, $a_{n+1} = 3a_n$ er en geometrisk følge med $k = 3$. Men rekursjon favner mye videre — den beskriver befolkningsdynamikk, lånenedbetaling, algoritmer i informatikken og naturens egen favoritt, Fibonacci-følgen. La oss begynne med å oversette mellom de to språkene.

To språk for samme følge

For aritmetiske og geometriske følger kan vi alltid oversette fra rekursiv til eksplisitt form. Den aritmetiske $a_{n+1} = a_n + d$ blir eksplisitt $a_n = a_1 + (n-1)d$, og den geometriske $a_{n+1} = k \cdot a_n$ blir $a_n = a_1 \cdot k^{n-1}$. For mer kompliserte rekursjoner finnes det ikke alltid en eksplisitt formel — da må leddene beregnes steg for steg, gjerne i regneark eller med programmering.

Et eksempel på oversettelse: følgen $a_1 = 7$, $a_{n+1} = a_n + 4$ er aritmetisk med $d = 4$, så den eksplisitte formelen er $a_n = 7 + (n-1) \cdot 4 = 4n + 3$. Kontroll: $a_1 = 7$ ✓ og $a_2 = 11 = 7 + 4$ ✓. Nå kan vi hoppe rett til $a_{50} = 4 \cdot 50 + 3 = 203$ — uten 49 mellomregninger. Det er nettopp styrken til eksplisitte formler; rekursive formler er til gjengjeld ofte lettere å stille opp fra en praktisk situasjon.

Den mest berømte rekursive følgen av alle trenger to startverdier: Fibonacci-følgen

$$F_1 = 1, \quad F_2 = 1, \quad F_{n+2} = F_{n+1} + F_n$$

gir $1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, \ldots$ — hvert ledd er summen av de to foregående. Følgen dukker opp i naturens bladstillinger, skjellmønstre og spiraler, og den bærer på en dyp hemmelighet: forholdet $\displaystyle \frac{F_{n+1}}{F_n}$ nærmer seg det gylne snitt $\displaystyle \varphi = \frac{1 + \sqrt{5}}{2} \approx 1{,}618$ når $n$ vokser. Det finnes til og med en eksplisitt formel, Binets formel:

$$F_n = \frac{\varphi^n - \psi^n}{\sqrt{5}}, \qquad \psi = \frac{1 - \sqrt{5}}{2} \approx -0{,}618$$

Siden $|\psi| < 1$ visner $\psi^n$ bort, og $\displaystyle F_n \approx \frac{\varphi^n}{\sqrt{5}}$ for store $n$ — Fibonacci-tallene vokser i praksis geometrisk med faktor $\varphi$.

Lineær rekursjon og likevekt — medisinens svar

Tilbake til pasienten. La $a_n$ være mengden medisin i kroppen rett etter dose nummer $n$. Hver dag er 60 % av gårsdagens mengde igjen, pluss en ny dose:

$$a_1 = 100, \qquad a_{n+1} = 0{,}6 \cdot a_n + 100$$

Dette er en lineær rekursiv sammenheng av første orden: $a_{n+1} = p \cdot a_n + q$ med konstanter $p$ og $q$. Spesialtilfellene kjenner du: $q = 0$ gir en geometrisk følge med $k = p$, og $p = 1$ gir en aritmetisk følge med $d = q$. Det interessante er det generelle tilfellet $p \neq 1$.

Vi regner noen ledd: $a_2 = 0{,}6 \cdot 100 + 100 = 160$, $a_3 = 196$, $a_4 = 217{,}6$ — økningen avtar for hvert døgn. Følgen ser ut til å flate ut. Finnes det en mengde som ikke endrer seg fra dag til dag? Da må $a^* = p \cdot a^* + q$, som gir likevektspunktet

$$a^* = \frac{q}{1 - p} = \frac{100}{1 - 0{,}6} = 250 \text{ mg}$$

Og det finnes en eksplisitt formel som viser hele forløpet: avstanden fra likevekten krymper geometrisk,

$$a_n = (a_1 - a^*) \cdot p^{n-1} + a^* = 250 - 150 \cdot 0{,}6^{n-1}$$

Siden $|p| = 0{,}6 < 1$, konvergerer mengden mot 250 mg. Pasienten kan puste lettet ut: medisinen hoper seg ikke opp i det uendelige, men stabiliserer seg — og legen har selvsagt valgt dosen slik at 250 mg er terapeutisk riktig nivå.

Stabil eller ustabil? Modeller med vippepunkter

Likevektspunkter er ikke alltid trygge havner. Se på en dyrepopulasjon som vokser 10 % i året, men der det høstes 50 individer årlig. Med 400 dyr ved start:

$$a_1 = 400, \qquad a_{n+1} = 1{,}1 \cdot a_n - 50$$

Likevekten er $\displaystyle a^* = \frac{-50}{1 - 1{,}1} = \frac{-50}{-0{,}1} = 500$ dyr. Men her er $|p| = 1{,}1 > 1$, og da snur alt: er bestanden over 500, vokser den uten grense; er den under 500, dør den ut. Sjekk selv: $a_2 = 1{,}1 \cdot 400 - 50 = 390$, $a_3 = 379$ — bestanden er på vei ned. Likevekten på 500 er et vippepunkt, ikke et hvilepunkt.

Dette er den generelle regelen for $a_{n+1} = pa_n + q$. Ved stabil likevekt ($|p| < 1$) konvergerer følgen mot $a^*$ uansett startverdi — små avvik dempes ut, som for medisinen. Ved ustabil likevekt ($|p| > 1$) forsterkes små avvik, og følgen rømmer fra $a^*$ — som for den beskattede bestanden. Grensetilfellet $|p| = 1$ gir aritmetisk følge (ingen likevekt) eller ren oscillasjon.

Rekursive modeller brukes overalt: logistisk befolkningsvekst $P_{n+1} = r P_n (1 - P_n/K)$, medisindosering, lån med renter og terminbeløp $R_{n+1} = R_n(1+r) - T$, og utallige algoritmer i informatikken. Deres store fordel er at de er enkle å implementere i regneark og programmering — du trenger bare startverdien og regelen for neste steg. Men husk modellenes begrensninger: forutsetningene (fast prosent, fast uttak) gjelder sjelden evig i virkeligheten.

Oppsummering: følger som forteller fremtiden

Pasientens bekymring ble til en hel teori. En rekursiv formel beskriver en følge gjennom startverdi(er) og en regel for neste ledd — naturens og økonomiens eget språk for utvikling over tid. Aritmetiske og geometriske følger er spesialtilfeller som alltid kan oversettes til eksplisitt form, mens Fibonacci-følgen $F_{n+2} = F_{n+1} + F_n$ viste rekursjonens rikdom: forholdet mellom naboledd nærmer seg det gylne snitt $\varphi \approx 1{,}618$, og Binets formel $\displaystyle F_n = \frac{\varphi^n - \psi^n}{\sqrt{5}}$ gir leddene eksplisitt.

Arbeidshesten er den lineære rekursjonen $a_{n+1} = pa_n + q$ med likevektspunkt $\displaystyle a^* = \frac{q}{1-p}$ og eksplisitt løsning $a_n = (a_1 - a^*)p^{n-1} + a^*$. Fortegnet og størrelsen på $p$ avgjør alt: $|p| < 1$ gir stabil likevekt — medisinen stabiliserte seg på 250 mg uansett startdose — mens $|p| > 1$ gir ustabil likevekt, som vippepunktet på 500 dyr der bestanden enten eksploderer eller dør ut.

Rekursjon er dessuten broen til programmering: med startverdi og regel kan ethvert regneark eller Python-skript simulere medisinnivåer, lånenedbetaling og befolkninger. Men en modell er aldri bedre enn forutsetningene sine — faste prosenter og faste uttak er forenklinger, og en god modellbruker vet når de slutter å gjelde.