1.5 Uendelige rekker og konvergens

Zenons paradoks: pilen som aldri når frem

For nesten 2500 år siden satte den greske filosofen Zenon hele antikkens tankeverden i sjakk med et tilsynelatende uskyldig argument. Skal du gå bort til døra, må du først gå halvveis. Deretter halvparten av det som gjenstår. Så halvparten igjen, og igjen, og igjen. Du må altså gjennomføre uendelig mange etapper — og hvordan kan noen bli ferdig med noe uendelig? Konklusjonen hans var svimlende: bevegelse er umulig.

Men du når jo faktisk døra. Etappene dine er $\displaystyle \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \cdots$, og selv om de er uendelig mange, blir de raskt så små at totalen aldri overstiger $1$. Zenons paradoks løses av en av matematikkens vakreste innsikter: uendelig mange ledd kan ha en endelig sum. I dette kapittelet skal vi gjøre denne innsikten presis — vi skal lære når uendelige rekker konvergerer mot et tall, og når de divergerer mot uendelig. Og vi skal møte en rekke som lurer nesten alle ved første blikk.

Delsummer, konvergens og divergens

Hvordan kan vi i det hele tatt gi mening til en sum med uendelig mange ledd? Trikset er å snike oss innpå svaret. En uendelig rekke skrives

$$\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \cdots$$

og vi studerer delsummene $S_n = a_1 + a_2 + \cdots + a_n$ — det vi har samlet opp etter $n$ ledd. Hvis følgen av delsummer nærmer seg en endelig grenseverdi $S = \lim_{n \to \infty} S_n$, sier vi at rekken konvergerer og har summen $S$. Hvis grenseverdien ikke finnes eller er uendelig, divergerer rekken.

Se på Zenon-rekkens slektning $\displaystyle 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots$ Delsummene er $S_1 = 1$, $S_2 = 1{,}5$, $S_3 = 1{,}75$, $S_4 = 1{,}875$ — de kryper stadig nærmere $2$ uten noen gang å passere. Dette er en geometrisk rekke med $a_1 = 1$ og $\displaystyle k = \frac{1}{2}$, og siden $\displaystyle \left(\frac{1}{2}\right)^n \to 0$ når $n \to \infty$, blir summen nøyaktig $2$.

Generelt gjelder for en uendelig geometrisk rekke: hvis $|k| < 1$, konvergerer den, og

$$\sum_{n=1}^{\infty} a_1 \cdot k^{n-1} = \frac{a_1}{1 - k}$$

Hvis $|k| \geq 1$, divergerer rekken — leddene krymper ikke fort nok, eller krymper ikke i det hele tatt. For Zenons etapper: $\displaystyle \frac{1/2}{1 - 1/2} = 1$. Du når døra, akkurat som erfaringen sier.

Sprettballen — uendelig i praksis

Den uendelige geometriske rekken er ikke bare filosofi; den løser høyst konkrete problemer. Slipp en ball fra $10$ meter, og la den sprette tilbake til $60\,\%$ av forrige høyde hver gang. Hvor langt beveger ballen seg totalt før den blir liggende?

Først faller den $10$ meter. Så spretter den $6$ meter opp og faller $6$ meter ned, deretter $3{,}6$ opp og $3{,}6$ ned, og så videre. Total strekning blir

$$S = 10 + 2(6 + 3{,}6 + 2{,}16 + \cdots)$$

Parentesen er en uendelig geometrisk rekke med $a_1 = 6$ og $k = 0{,}6$, altså $\displaystyle \frac{6}{1 - 0{,}6} = 15$ meter. Totalen blir $10 + 2 \cdot 15 = 40$ meter.

Stopp opp og kjenn på det: ballen spretter i prinsippet uendelig mange ganger, men den samlede strekningen er nøyaktig $40$ meter — et endelig tall. Det er Zenons paradoks i fysisk form, og rekken gir oss svaret uten å summere ett eneste sprett for hånd. I et koordinatsystem ser du det samme: delsummene $S_n$ klatrer mot grensen $S$ og flater ut, mens en divergerende rekke bare fortsetter oppover.

Rekken som lurer alle: harmonisk divergens

Nå til kapittelets store overraskelse. Det er fristende å tro at en rekke konvergerer så lenge leddene går mot null — de blir jo uendelig små til slutt. Men se på den harmoniske rekken:

$$1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots$$

Leddene går mot null, men rekken divergerer! Beviset er et av matematikkhistoriens fineste: grupper leddene som $\displaystyle 1 + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \cdots + \frac{1}{8}\right) + \cdots$ Hver gruppe er større enn $\displaystyle \frac{1}{2}$ (for eksempel er $\displaystyle \frac{1}{3} + \frac{1}{4} > \frac{1}{4} + \frac{1}{4} = \frac{1}{2}$), og uendelig mange halve vokser over alle grenser.

Dette gir oss en viktig presisering. At $\lim_{n \to \infty} a_n = 0$ er en nødvendig betingelse for konvergens — divergerer ikke leddene mot null, divergerer rekken garantert. Men den er ikke tilstrekkelig: harmonisk rekke er motbeviset.

Hvor går så grensen mellom konvergens og divergens? For p-rekkene $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^p}$ er svaret skarpt: rekken konvergerer hvis $p > 1$ og divergerer hvis $p \leq 1$. Dermed konvergerer $\displaystyle \sum \frac{1}{n^2}$ (med $p = 2$), mens $\displaystyle \sum \frac{1}{\sqrt{n}}$ (med $\displaystyle p = \frac{1}{2}$) divergerer. Den harmoniske rekken, med $p = 1$, ligger nøyaktig på den gale siden av streken.

Oppsummering: når uendelig blir endelig

Zenon mente uendelig mange etapper gjorde bevegelse umulig — vi har sett at han manglet ett begrep: konvergens. En uendelig rekke $\sum_{n=1}^{\infty} a_n$ får mening gjennom delsummene $S_n$; nærmer de seg en endelig grense $S$, konvergerer rekken med sum $S$, ellers divergerer den.

For geometriske rekker er regelen krystallklar: $|k| < 1$ gir konvergens med sum $\displaystyle \frac{a_1}{1-k}$, mens $|k| \geq 1$ gir divergens. Det var denne formelen som lot oss summere Zenons etapper til nøyaktig $1$, sprettballens evige hopping til $40$ meter og desimaltallet $0{,}999\ldots$ til nøyaktig $1$. Samtidig lærte den harmoniske rekken oss ydmykhet: at leddene går mot null er nødvendig for konvergens, men ikke tilstrekkelig — $\displaystyle 1 + \frac{1}{2} + \frac{1}{3} + \cdots$ vokser over alle grenser, bare uendelig sakte. p-rekkene $\displaystyle \sum \frac{1}{n^p}$ trakk opp den skarpe grensen: konvergens for $p > 1$, divergens for $p \leq 1$. Uendeligheten er altså ikke ett land, men to — og nå har du kartet.