Tilbake
7.1

7.1 Uendelige rekker og konvergenstester

Standard konvergenstester med formsjekk-disiplin — pensumpliktig kunne-stoff uten arkivbelegg etter 2005.

55 min
16 oppgaver
Uendelige rekkerkonvergenstester
Din fremgang i kapitlet
0 / 16 oppgaver
Kapitlets plass i kurset
Forkunnskaper. Uegentlige integraler med lim-føring fra kap. 5.5 (integraltesten gjenbruker dem direkte). Fra videregående: Uendelige rekker og konvergens (R2 1.5) og Rekker og summasjon (R2 1.4) — geometriske rekker og summetegnet er startpunktet vårt.

Sist du var her — to fakta fra kap. 5.5 du trenger i dag:

1dxxp konvergerer    p>1,af=limRaRf  (alltid med lim-føring).\int_1^\infty \frac{dx}{x^p} \text{ konvergerer} \iff p>1, \qquad \int_a^\infty f = \lim_{R\to\infty}\int_a^R f \ \ (\text{alltid med } \lim\text{-føring}).

Kan man summere uendelig mange tall? Noen ganger, ja: 12+14+18+\displaystyle \frac12 + \frac14 + \frac18 + \cdots kommer så nær 11 du vil. Andre ganger nei: 1+12+13+14+\displaystyle 1 + \frac12 + \frac13 + \frac14 + \cdots vokser over alle grenser, enda leddene går mot null. Å avgjøre hvilken av delene en gitt rekke tilhører, er kapitlets ene ferdighet.

Verktøykassen er en håndfull konvergenstester, og hele kunsten er formsjekk-disiplin: rekkens form avgjør hvilken test som er riktig — fakulteter og nn-te potenser peker mot forholdstesten, «ligner på 1/np1/n^p» mot sammenligning, «funksjon jeg kan integrere» mot integraltesten, vekslende fortegn mot Leibniz.

Fem korte læringsløkker: (1) hva en rekke og en sum er, med geometrisk rekke, (2) divergens-testen og pp-rekker, (3) forholdstesten, (4) integraltesten og grensesammenligning, (5) alternerende rekker. Til slutt: testvelgeren som samler alt. ~55 min — ta pauser mellom løkkene.

Løkke 1 — Rekker, delsummer og geometrisk rekke (~12 min)

Uendelig rekke

En uendelig rekke er et formelt uttrykk n=1an=a1+a2+a3+\displaystyle\sum_{n=1}^\infty a_n = a_1 + a_2 + a_3 + \cdots, der tallene ana_n kalles rekkens ledd. Uttrykket i seg selv er bare en oppskrift — om det betyr et tall, avgjøres av delsummene.

Delsum

Den NN-te delsummen er den endelige summen SN=a1+a2++aNS_N = a_1 + a_2 + \cdots + a_N. Delsummene danner en følge S1,S2,S3,S_1, S_2, S_3, \ldots — og det er denne følgen all konvergensteori handler om. En rekke er altså «en følge av delsummer i forkledning».

Konvergens og sum av en rekke

Rekken an\sum a_n konvergerer med sum SS dersom delsumfølgen har grenseverdi: limNSN=S\lim_{N\to\infty} S_N = S. Finnes ingen slik (endelig) grense, divergerer rekken. Merk språket: «summen av rekken» er per definisjon en grenseverdi — aldri en faktisk addisjon av uendelig mange tall.

Geometrisk rekke og kvotienten rr

En geometrisk rekke har konstant forhold mellom nabo-ledd: n=0arn=a+ar+ar2+\sum_{n=0}^\infty ar^n = a + ar + ar^2 + \cdots med kvotient rr. Den er den ene rekketypen der vi kan regne ut summen eksakt — og referansepunktet flere av testene sammenligner mot.

📜Summen av en geometrisk rekke
For r<1|r|<1 konvergerer den geometriske rekken, med

n=0arn=a1r;\sum_{n=0}^\infty ar^n = \frac{a}{1-r};

for r1|r|\ge 1 (og a0a\neq 0) divergerer den.

Utledning: delsummen er SN=a1rN+11rS_N = a\dfrac{1-r^{N+1}}{1-r} (gang SNS_N med rr og trekk fra). Når r<1|r|<1, går rN+10r^{N+1}\to 0, så SNa1rS_N \to \dfrac{a}{1-r}; når r1|r|\ge 1, går ikke rN+1r^{N+1} mot noe endelig, og delsummene konvergerer ikke. Intuisjon: hvert ledd er en fast brøkdel av det forrige — krymper leddene geometrisk, «kveles» halen.

✏️Eksempel 1: Geometrisk rekke — sum og startindeks

Avgjør om rekkene konvergerer, og finn i så fall summen:   \; a) n=03(25)n\displaystyle \displaystyle\sum_{n=0}^\infty 3\Big(\frac25\Big)^n   \; b) n=143n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{4}{3^n}   \; c) n=0(32)n\displaystyle \displaystyle\sum_{n=0}^\infty \Big(\frac32\Big)^n

a) Geometrisk med a=3a=3, r=25r=\dfrac25; r=25<1|r| = \dfrac25 < 1, så rekken konvergerer:
n=03(25)n=3125=33/5=5.\sum_{n=0}^\infty 3\Big(\frac25\Big)^n = \frac{3}{1-\frac25} = \frac{3}{3/5} = 5.

b) Geometrisk med r=13r=\dfrac13, men startindeksen er n=1n=1: første ledd er a=43a = \dfrac43. Da er
n=143n=4/3113=4/32/3=2.\sum_{n=1}^\infty \frac{4}{3^n} = \frac{4/3}{1-\frac13} = \frac{4/3}{2/3} = 2.
(Alternativt: summen fra n=0n=0 er 411/3=6\displaystyle \frac{4}{1-1/3}=6; trekk fra n=0n=0-leddet 44: 64=26-4=2.)

c) r=32r = \dfrac32 har r1|r|\ge 1 — leddene vokser, og rekken divergerer.

Formsjekk-vanen: identifiser aa = første ledd som faktisk summeres og rr, sjekk r<1|r|<1, og bruk formelen. Startindeksen er den klassiske fellen.

📝Oppgave 1

Finn summen av n=02( ⁣34)n\displaystyle \displaystyle\sum_{n=0}^\infty 2\Big(\!-\frac34\Big)^n, eller begrunn at den ikke finnes.

📝Oppgave 2

Finn summen av n=3(12)n\displaystyle \displaystyle\sum_{n=3}^\infty \Big(\frac12\Big)^n.

Løkke 2 — Divergenstesten og p-rekker (~10 min)

nn-te-ledd-testen (divergenstesten)

Hvis an↛0a_n \not\to 0, så divergerer an\sum a_n. Logikken: konvergerer rekken, må an=SnSn1SS=0a_n = S_n - S_{n-1} \to S - S = 0.

Advarsel — testen virker bare én vei: an0a_n\to 0 beviser ingenting (den harmoniske rekken har an0a_n\to 0 og divergerer likevel). Testen er et raskt førstefilter: sjekk alltid om leddene går mot null før du gjør noe mer avansert.

Den harmoniske rekken

Rekken n=11n=1+12+13+\displaystyle \displaystyle\sum_{n=1}^\infty\frac1n = 1 + \frac12 + \frac13 + \cdots — skoleeksemplet på at an0a_n\to 0 ikke redder en rekke. Den divergerer (langsomt: delsummene vokser som lnN\ln N), og er standard-sammenligningsrekke for divergens.

pp-rekke

En rekke på formen n=11np\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n^p}. Familien er rekke-speilbildet av pp-integralene fra kap. 5.5 og fungerer som «målestokk-rekker»: nesten alle sammenligninger skjer mot en pp-rekke eller en geometrisk rekke.

📜pp-rekke-kriteriet
n=11np konvergerer    p>1.\sum_{n=1}^\infty \frac{1}{n^p} \ \text{konvergerer} \iff p > 1.

Intuisjon/bro til kap. 5.5: delsummene er trappesummer for 1xpdx\int_1^\infty x^{-p}\,dx, som konvergerer nøyaktig for p>1p>1 — integraltesten (løkke 4) gjør dette presist. Randtilfellet p=1p=1 er den harmoniske rekken (divergent); p=2p=2 gir en konvergent klassiker.

✏️Eksempel 2: Førstefilter og p-gjenkjenning

Avgjør konvergens:   \; a) n=1n2n+1\displaystyle \displaystyle\sum_{n=1}^\infty \frac{n}{2n+1}   \; b) n=11n3\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n^3}   \; c) n=11n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{\sqrt n}

a) Formsjekk: leddene n2n+1120\dfrac{n}{2n+1} \to \dfrac12 \neq 0 (nn\to\infty). Etter nn-te-ledd-testen divergerer rekken. (Ingen finere test trengs — og delsummene vokser omtrent som N/2N/2.)

b) pp-rekke med p=3>1p=3>1: konvergerer etter pp-rekke-kriteriet.

c) 1n=1n1/2\dfrac{1}{\sqrt n} = \dfrac{1}{n^{1/2}}: pp-rekke med p=121p=\dfrac12 \le 1divergerer, enda leddene går mot null. Kontrasten b)/c) er hele poenget med pp-grensen: eksponenten avgjør, ikke at leddene «blir små».

📝Oppgave 3

Avgjør konvergens, med navngitt test:   \; a) n=11n4\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n^{4}}   \; b) n=13n2n2+5\displaystyle \displaystyle\sum_{n=1}^\infty \frac{3n^2}{n^2+5}   \; c) n=11n0,9\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n^{0{,}9}}

Løkke 3 — Forholdstesten (~10 min)

Forholdstesten

La L=limnan+1an\displaystyle L = \displaystyle\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| (dersom grensen finnes). Da gjelder:

- L<1L < 1: rekken konvergerer (til og med absolutt — se løkke 5),
- L>1L > 1 (eller L=L=\infty): rekken divergerer,
- L=1L = 1: testen er uavgjort — ingen konklusjon; prøv en annen test.

Intuisjon: LL måler den asymptotiske «kvotienten»: for store nn oppfører rekken seg som en geometrisk rekke med kvotient LL. Formsignal: fakulteter (n!n!) og potenser (cnc^n) — forhold mellom naboledd forenkler slikt vakkert. Fellen: alle pp-rekker gir L=1L=1, så forholdstesten kan aldri avgjøre dem.

✏️Eksempel 3: Forholdstest på potens-form

Avgjør om n=1n23n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{n^2}{3^n} konvergerer.

Formsjekk: leddene inneholder 3n3^n — potensvekst i nevneren peker mot forholdstesten.

an+1an=(n+1)23n+13nn2=13(n+1n)2=13(1+1n)213(n).\left|\frac{a_{n+1}}{a_n}\right| = \frac{(n+1)^2}{3^{n+1}}\cdot\frac{3^n}{n^2} = \frac13\Big(\frac{n+1}{n}\Big)^2 = \frac13\Big(1+\frac1n\Big)^2 \longrightarrow \frac13 \quad (n\to\infty).

Siden L=13<1L = \dfrac13 < 1, konvergerer rekken etter forholdstesten. (Kvadratet n2n^2 i telleren er sjanseløst mot den geometriske faktoren — polynomer taper alltid mot potenser.)

Føringsdetalj: skriv forholdet, forenkle, ta grensen, og navngi testen i konklusjonen: «etter forholdstesten, siden L=13<1\displaystyle L=\frac13<1, konvergerer rekken.»

📝Oppgave 4

Avgjør med forholdstesten:   \; a) n=15nn!\displaystyle \displaystyle\sum_{n=1}^\infty \frac{5^n}{n!}   \; b) n=1n!10n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{n!}{10^n}   \; c) Hva sier forholdstesten om n=11n2\displaystyle \displaystyle\sum_{n=1}^\infty\frac{1}{n^2}?

Løkke 4 — Integraltesten og grensesammenligning (~13 min)

Integraltesten
La ff være positiv, kontinuerlig og avtakende[a,)[a,\infty), og an=f(n)a_n = f(n). Da gjelder:

n=aan konvergerer    af(x)dx konvergerer.\sum_{n=a}^\infty a_n \ \text{konvergerer} \iff \int_a^\infty f(x)\,dx \ \text{konvergerer}.

Intuisjon: leddene er arealer av søyler med bredde 1 som klemmer integralet mellom to trappesummer — rekke og integral deler skjebne. Forutsetningene skal sjekkes eksplisitt (positiv? avtakende?) — å bruke testen uten er et føringstrekk. Integralet regnes med lim\lim-føring som i kap. 5.5; «sett inn \infty» underkjennes også her.

✏️Eksempel 4: Integraltesten med lim-føring — og en divergent tvilling

Avgjør konvergens:   \; a) n=21n(lnn)2\displaystyle \displaystyle\sum_{n=2}^\infty \frac{1}{n(\ln n)^2}   \; b) n=21nlnn\displaystyle \displaystyle\sum_{n=2}^\infty \frac{1}{n\ln n}

a) Formsjekk: ln\ln-uttrykk uten potens-/fakultetsstruktur — men f(x)=1x(lnx)2f(x) = \dfrac{1}{x(\ln x)^2} kan integreres (substitusjon). Forutsetninger:[2,)[2,\infty) er ff positiv og kontinuerlig, og avtakende (både xx og (lnx)2(\ln x)^2 vokser). Integraltesten kan brukes.

Integralet, med lim-føring (substitusjon u=lnxu = \ln x, du=dx/xdu = dx/x; nye grenser x=2u=ln2x=2\mapsto u=\ln 2, x=Ru=lnRx=R\mapsto u=\ln R):

2dxx(lnx)2=limRln2lnRduu2=limR[1u]ln2lnR=limR(1ln21lnR)=1ln2.\int_2^\infty \frac{dx}{x(\ln x)^2} = \lim_{R\to\infty}\int_{\ln 2}^{\ln R}\frac{du}{u^2} = \lim_{R\to\infty}\left[-\frac1u\right]_{\ln 2}^{\ln R} = \lim_{R\to\infty}\left(\frac{1}{\ln 2} - \frac{1}{\ln R}\right) = \frac{1}{\ln 2}.

Integralet konvergerer (verdien 1ln21,44\displaystyle \frac{1}{\ln 2}\approx 1{,}44), så rekken konvergerer etter integraltesten.

b) Samme oppsett gir 2dxxlnx=limR[lnu]ln2lnR=limR(lnlnRlnln2)=\displaystyle \displaystyle\int_2^\infty\frac{dx}{x\ln x} = \lim_{R\to\infty}\big[\ln u\big]_{\ln 2}^{\ln R} = \lim_{R\to\infty}\big(\ln\ln R - \ln\ln 2\big) = \infty — integralet divergerer, så rekken divergerer.

Moralen: de to rekkene er nesten like, og bare integraltesten skiller dem — én ekstra ln\ln-potens i nevneren avgjør. (Og merk: verdien 1ln2\displaystyle \frac{1}{\ln 2} er IKKE summen av rekken i a) — testen gir bare konvergens/divergens, ikke summen.)

Grensesammenligningstesten

La an,bn>0a_n, b_n > 0 og limnanbn=c\displaystyle \displaystyle\lim_{n\to\infty}\frac{a_n}{b_n} = c med 0<c<0 < c < \infty. Da konvergerer an\sum a_n og bn\sum b_n sammen — begge eller ingen.

Bruksmønster: for rasjonale/rot-uttrykk, plukk dominerende ledd i teller og nevner og la bnb_n være den pp-rekken (eller geometriske rekken) som fanger størrelsesordenen. Føringskrav: sammenligningsrekken bn\sum b_n skal navngis, og grensen cc regnes ut eksplisitt.

📝Oppgave 5

Avgjør konvergens med grensesammenligningstesten, med navngitt sammenligningsrekke:   \; a) n=12n+3n3+n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{2n+3}{n^3+n}   \; b) n=112n1\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{2n-1}

Løkke 5 — Alternerende rekker, absolutt og betinget konvergens (~10 min)

Alternerende rekke

En rekke der leddene bytter fortegn annenhver gang: (1)n+1bn=b1b2+b3\sum (-1)^{n+1}b_n = b_1 - b_2 + b_3 - \cdots med bn>0b_n > 0. Formsignalet er faktorer som (1)n(-1)^n eller (1)n+1(-1)^{n+1}. Fortegnsvekslingen gir «gratis» kansellering — alternerende rekker konvergerer langt oftere enn de positive tvillingene sine.

Leibniz' kriterium (testen for alternerende rekker)

Hvis bn>0b_n > 0 er avtakende (bn+1bnb_{n+1}\le b_n) og bn0b_n \to 0, så konvergerer den alternerende rekken (1)n+1bn\sum(-1)^{n+1}b_n.

I tillegg gjelder feilskranken: SSNbN+1|S - S_N| \le b_{N+1} — feilen ved å stoppe etter NN ledd er høyst det første utelatte leddet. Intuisjon: delsummene hopper vekselvis over og under grensen, med stadig kortere hopp; sannheten ligger alltid mellom to naboer. Begge forutsetningene (avtakende, mot null) skal sjekkes i føringen.

Absolutt konvergens
an\sum a_n er absolutt konvergent dersom an\sum |a_n| konvergerer. Absolutt konvergens medfører konvergens (men ikke omvendt). Absolutt konvergente rekker er de «robuste»: de tåler omstokking av ledd og oppfører seg som endelige summer.
Betinget konvergens
an\sum a_n er betinget konvergent dersom den konvergerer, men an\sum|a_n| divergerer — konvergensen skyldes kanselleringen, ikke at leddene er små nok. Klassikeren er den alternerende harmoniske rekken (1)n+1n\displaystyle \sum\frac{(-1)^{n+1}}{n} (konvergent) mot den harmoniske (divergent). Undersøkelsesrekkefølgen i oppgaver: sjekk først an\sum|a_n|; divergerer den, sjekk Leibniz på originalen.
✏️Eksempel 5: Absolutt eller betinget?

Avgjør om n=1(1)n+1n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{(-1)^{n+1}}{\sqrt n} konvergerer, og i så fall om konvergensen er absolutt eller betinget.

Steg 1 — absoluttrekken. (1)n+1n=1n1/2\displaystyle \displaystyle\sum\Big|\frac{(-1)^{n+1}}{\sqrt n}\Big| = \sum\frac{1}{n^{1/2}} er en pp-rekke med p=121\displaystyle p=\frac12\le 1: divergerer. Rekken er altså ikke absolutt konvergent.

Steg 2 — Leibniz på originalen. bn=1nb_n = \dfrac{1}{\sqrt n}: positiv ✓, avtakende ✓ (n\sqrt n vokser), og bn0b_n \to 0 ✓. Etter Leibniz' kriterium konvergerer den alternerende rekken.

Konklusjon: rekken er betinget konvergent — konvergent, men ikke absolutt. (Numerisk kryper delsummene inn mot 0,605\approx 0{,}605, vekselvis ovenfra og nedenfra, med feil høyst bN+1=1/N+1b_{N+1} = 1/\sqrt{N+1}.)

📝Oppgave 6

Avgjør om n=2(1)nlnn\displaystyle \displaystyle\sum_{n=2}^\infty \frac{(-1)^n}{\ln n} konvergerer, og klassifiser konvergensen (absolutt/betinget).

Formsjekk: testvelgeren

Beslutningsrekkefølgen når en rekke skal klassifiseres — formen velger testen:

1. Går ikke leddene mot 0?nn-te-ledd-testen: divergens. Ferdig.
2. Geometrisk form (arnar^n)? → summér med a1r\displaystyle \frac{a}{1-r} hvis r<1|r|<1.
3. Ren pp-form (1/np1/n^p)? → pp-rekke-kriteriet.
4. Fakulteter/potenser (n!n!, cnc^n)? → forholdstesten (husk: L=1L=1 er uavgjort).
5. Rasjonal/rot-form? → grensesammenligning mot dominerende pp-rekke (navngi den).
6. Integrerbar, positiv og avtakende form (typisk ln\ln-uttrykk)? → integraltesten med lim-føring.
7. Vekslende fortegn? → først absoluttrekken (punkt 2–6); divergerer den, Leibniz på originalen.

Konklusjonen skal alltid navngi testen og bekrefte dens forutsetninger.

Flere øvingsoppgaver

Blandet klassifiseringsdrill — formsjekk først, navngi testen, sjekk forutsetningene.

📝Oppgave 7

Avgjør konvergens, med navngitt test:   \; a) n=1n5n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{n}{5^n}   \; b) n=1(1)nnn+1\displaystyle \displaystyle\sum_{n=1}^\infty (-1)^n\frac{n}{n+1}

📝Oppgave 8

Avgjør konvergens for n=1n+1n3\displaystyle \displaystyle\sum_{n=1}^\infty \frac{n+1}{n^3} på to måter: med grensesammenligning og ved å splitte i to rekker.

📝Oppgave 9

Avgjør konvergens for n=1cosnn2\displaystyle \displaystyle\sum_{n=1}^\infty \frac{\cos n}{n^2}. (Merk: leddene har ikke fast fortegnsmønster.)

📝Oppgave 10

Avgjør konvergens for n=11n3+2n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{\sqrt{n^3+2n}}, med navngitt test og full føring.

📝Oppgave 11

Klassifiser n=1(1)n+1nn2+1\displaystyle \displaystyle\sum_{n=1}^\infty (-1)^{n+1}\frac{n}{n^2+1} som absolutt konvergent, betinget konvergent eller divergent.

📝Oppgave 12

En medstudent skriver: «n=11n\displaystyle \displaystyle\sum_{n=1}^\infty \frac{1}{n} konvergerer, for 1n0\displaystyle \frac1n \to 0 — og forholdstesten gir nn+11\displaystyle \frac{n}{n+1}\to 1, som bekrefter det.» Pek på begge feilene, og gi den korrekte konklusjonen med korrekt begrunnelse.

Divergens

En rekke divergerer når delsumfølgen ikke har endelig grense — enten ved å vokse over alle grenser (harmonisk rekke) eller ved å svinge uten mål ((1)n\sum(-1)^n). «Divergerer» er en konklusjon på linje med «konvergerer» og skal begrunnes med en navngitt test.

Følge vs. rekke

En følge er en liste av tall a1,a2,a_1, a_2, \ldots; en rekke er summen av dem. To ulike konvergensspørsmål: følgen an=1n\displaystyle a_n = \frac1n konvergerer (mot 00), men rekken 1n\displaystyle \sum\frac1n divergerer. Blandes de, blir nn-te-ledd-testen fort «bevis» for ting den ikke beviser.

Repetisjonsoppgaver
Din fremgang
0 / 4 oppgaver
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 Universitetet i Bergen. Dette er ikke offisielt studiemateriell. Les mer.