Tilbake
6.2

6.2 Uendelige rekker og konvergenstester

Konvergens av rekker med sammenlignings-, forholds- og integraltest — pensumkrav uten én eneste arkivforekomst; lær metodene, ikke jag sjangre som ikke finnes.

45 min
6 oppgaver
Uendelige rekkerkonvergenstester
Din fremgang i kapitlet
0 / 6 oppgaver
Forkunnskaper: Kapitlet bygger på følgekonvergens fra kap. 2.3 (en rekke er grensen av en følge av delsummer) og — helt sentralt — sammenligningsdisiplinen i kap. 4.6 (samme logikk, integral → rekke). VGS-basis: Uendelige rekker og konvergens og Geometriske følger.

Sist du var her — to grep fra 4.6 du gjenbruker rått. Del 6 ligger sent i boka, så vi frisker opp:
- pp-integralkriteriene: 1dxxp\displaystyle \displaystyle\int_1^{\infty}\frac{dx}{x^{p}} konvergerer     p>1\iff p>1; 01dxxp\displaystyle \displaystyle\int_0^{1}\frac{dx}{x^{p}} konvergerer     p<1\iff p<1 (speilvendt). Rekkevarianten under speiler den første.
- GS-testen: ta grensen L=limf/gL=\lim f/g mot dominant ledd; er 0<L<0<L<\infty, har objektene samme skjebne.

Tenk deg at du tar en medisindose hver morgen. Kroppen bryter ned en fast andel i løpet av et døgn, så det som er igjen etter mange dager er en sum av uendelig mange bidrag: dagens dose, pluss restene av gårsdagens, pluss restene av restene … Blir den totale mengden i kroppen et endelig tall, eller vokser den uten grense?

Det er nøyaktig spørsmålet en uendelig rekke stiller: legg vi sammen uendelig mange tall, får vi en endelig sum (rekken konvergerer) eller ikke (den divergerer)? Vi svarer ikke ved å «legge sammen for evig», men ved å studere delsummene og sammenligne med rekker vi allerede kjenner — akkurat som vi sammenlignet integraler i kapittel 4.6.

Løkke 1 — Rekke som grense av delsummer (~7 min)

En rekke defineres ikke ved «uendelig addisjon», men som grensen av en følge av endelige summer.

Delsum sNs_N
Den NN-te delsummen til rekken n=1an\sum_{n=1}^\infty a_n er den endelige summen av de NN første leddene:
sN=a1+a2++aN=n=1Nan.s_N=a_1+a_2+\dots+a_N=\sum_{n=1}^{N}a_n.
Delsummene danner en følge s1,s2,s3,s_1,s_2,s_3,\dots — og hele rekketeorien er egentlig følgeteori (fra kap. 2.3) anvendt på denne følgen.
Uendelig rekke og dens sum
I ord: rekkens sum er tallet delsummene nærmer seg. Formelt:
n=1an=limNsN.\sum_{n=1}^{\infty}a_n=\lim_{N\to\infty}s_N.
Finnes grensen som et endelig tall, konvergerer rekken (mot den summen); ellers divergerer den. Legg merke til at rekkesummen er en følgegrense — ikke en funksjonsgrense.
✏️Sum via delsummer (teleskopisk)

Vis at n=11n(n+1)\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{1}{n(n+1)} konvergerer, og finn summen.

Skriv leddet med delbrøk: 1n(n+1)=1n1n+1\dfrac{1}{n(n+1)}=\dfrac1n-\dfrac{1}{n+1}.

Regn delsummen sNs_N (teleskopering):
sN=n=1N(1n1n+1)=(112)+(1213)++(1N1N+1)=11N+1.s_N=\sum_{n=1}^{N}\Big(\frac1n-\frac{1}{n+1}\Big)=\Big(1-\frac12\Big)+\Big(\frac12-\frac13\Big)+\dots+\Big(\frac1N-\frac{1}{N+1}\Big)=1-\frac{1}{N+1}.

Ta grensen: limNsN=limN(11N+1)=1.\displaystyle \displaystyle\lim_{N\to\infty}s_N=\lim_{N\to\infty}\Big(1-\frac{1}{N+1}\Big)=1.

Konklusjon: rekken konvergerer med sum 11. (Dette er en av få rekker der vi finner delsummen eksplisitt — for de fleste bruker vi konvergenstester i stedet.)

📝Oppgave 1

(4.6-format overført til rekker — lett innstegsoppgave.) «4.6-format» betyr: samme avgjør-konvergens-oppgave som for uegentlige integraler, men nå for en rekke. Skriv opp delsummen s3s_3 til rekken n=112n\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{1}{2^n}, og gjett grensen.

Løkke 2 — Geometrisk rekke (~8 min)

Den ene rekken du kan summere eksakt — og referansen bak mange sammenligninger.

Geometrisk rekke
En rekke der hvert ledd er forrige ledd ganget med en fast kvotient kk: n=0akn=a+ak+ak2+\sum_{n=0}^{\infty}a\,k^{n}=a+ak+ak^2+\dots. Den konvergerer nøyaktig når k<1|k|<1, og da er summen
n=0akn=a1k(k<1).\sum_{n=0}^{\infty}a\,k^{n}=\frac{a}{1-k}\qquad(|k|<1).
For k1|k|\ge 1 divergerer den (leddene dør ikke ut). Formelen forutsetter at du vet hvilket ledd summen starter på.
✏️Geometrisk sum

Avgjør om n=02(34)n\displaystyle \displaystyle\sum_{n=0}^{\infty}2\left(\frac34\right)^{n} konvergerer, og finn summen.

Identifiser: geometrisk rekke med førsteledd a=2a=2 (leddet for n=0n=0) og kvotient k=34k=\tfrac34.

Konvergenskriterium: k=34<1|k|=\tfrac34<1, så rekken konvergerer.

Sumformel:
n=02(34)n=a1k=2134=214=8.\sum_{n=0}^{\infty}2\Big(\frac34\Big)^{n}=\frac{a}{1-k}=\frac{2}{1-\tfrac34}=\frac{2}{\tfrac14}=8.

Konklusjon: rekken konvergerer med sum 88.

📝Oppgave 2

(4.6-format overført til rekker.) Avgjør om n=1(13)n\displaystyle \displaystyle\sum_{n=1}^{\infty}\left(\frac13\right)^{n} konvergerer, og finn eventuelt summen. Pass på startindeksen.

Løkke 3 — Divergenstesten og den harmoniske rekken (~8 min)

Den raskeste testen — men den kan bare avsløre divergens, aldri bekrefte konvergens.

Divergenstesten (n-te ledd-testen)
Nødvendig betingelse for konvergens: hvis an\sum a_n konvergerer, må an0a_n\to 0. Snudd gir det en test:
Hvis limnan0 (eller ikke finnes), sa˚ divergerer an.\text{Hvis } \lim_{n\to\infty}a_n\ne 0 \text{ (eller ikke finnes), så \textbf{divergerer} } \sum a_n.
Testen sier aldri at en rekke konvergerer — bare at den divergerer når leddene ikke dør ut.
Den harmoniske rekken (an0a_n\to 0 er ikke nok)

Den harmoniske rekken n=11n\sum_{n=1}^\infty \tfrac1n har an=1n0a_n=\tfrac1n\to 0, men divergerer likevel. Den er det avgjørende moteksemplet: at leddene går mot 00 er nødvendig, men ikke tilstrekkelig for konvergens. (Divergensen vises med integraltesten i neste løkke — den er et pp-integral/pp-rekke med p=1p=1.)

✏️Divergenstesten

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

Sjekk leddgrensen (billigste test først):
limnan=limnn2n+1=limn12+1n=120.\lim_{n\to\infty}a_n=\lim_{n\to\infty}\frac{n}{2n+1}=\lim_{n\to\infty}\frac{1}{2+\tfrac1n}=\frac12\ne 0.

Konkluder: siden leddene går mot 120\tfrac12\ne 0 (ikke mot 00), divergerer rekken etter divergenstesten.

Konklusjon: n=1n2n+1\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{n}{2n+1} divergerer. (Leddene «hoper seg opp» med ca. 12\tfrac12 per ledd — summen kan umulig stabilisere seg.)

📝Oppgave 3

(4.6-format overført til rekker.) Avgjør om n=13n21n2+4\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{3n^2-1}{n^2+4} konvergerer.

Løkke 4 — pp-rekker og integraltesten: broen til 4.6 (~9 min)

Her møter rekker og integraler hverandre eksplisitt: pp-rekken speiler pp-integralet, og integraltesten er selve broen.

📜Integraltesten
La ff være positiv, avtakende og kontinuerlig med f(n)=anf(n)=a_n. Da har rekken og integralet samme skjebne:
n=1an konvergerer    1f(x)dx konvergerer.\sum_{n=1}^{\infty}a_n \text{ konvergerer}\iff \int_1^{\infty}f(x)\,dx \text{ konvergerer.}
Intuisjonen er arealtolkningen: rekken er en trappesum som klemmer integralet ovenfra og nedenfra. Dette er den direkte broen til kap. 4.6.
pp-rekken (speiler pp-integralet)
Anvender vi integraltesten på f(x)=xpf(x)=x^{-p}, arver rekken pp-integralets kriterium:
n=11np konvergerer    p>1,divergerer    p1.\sum_{n=1}^{\infty}\frac{1}{n^{p}}\text{ konvergerer}\iff p>1,\qquad \text{divergerer}\iff p\le 1.
Dette er nøyaktig kriteriet for 1xpdx\int_1^\infty x^{-p}\,dx fra 4.6. Grensetilfellet p=1p=1 er den harmoniske rekken (divergerer). pp-rekken er referansen alle rekkesammenligninger bruker.
✏️Integraltesten — harmonisk-lignende rekke

Avgjør om n=21nlnn\displaystyle \displaystyle\sum_{n=2}^{\infty}\frac{1}{n\ln n} konvergerer.

Sett opp funksjonen: f(x)=1xlnxf(x)=\dfrac{1}{x\ln x} er positiv, kontinuerlig og avtakende for x2x\ge 2, og f(n)=anf(n)=a_n. Vilkårene for integraltesten er oppfylt.

Regn integralet med lim-føring (som i 4.6). Substitusjon u=lnxu=\ln x, du=1xdxdu=\tfrac1x\,dx:
2dxxlnx=limR2Rdxxlnx=limR[ln(lnx)]2R=limR(ln(lnR)ln(ln2))=.\int_2^{\infty}\frac{dx}{x\ln x}=\lim_{R\to\infty}\int_2^{R}\frac{dx}{x\ln x}=\lim_{R\to\infty}\big[\ln(\ln x)\big]_2^{R}=\lim_{R\to\infty}\big(\ln(\ln R)-\ln(\ln 2)\big)=\infty.

Konkluder: integralet divergerer, så etter integraltesten divergerer også rekken.

Konklusjon: n=21nlnn\displaystyle \displaystyle\sum_{n=2}^{\infty}\frac{1}{n\ln n} divergerer. (Merk: leddene 0\to 0, men saktere enn nok — divergenstesten var inkonklusiv her, akkurat som for den harmoniske rekken.)

📝Oppgave 4

(4.6-format overført til rekker.) Avgjør om n=11n3/2\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{1}{n^{3/2}} konvergerer, og navngi kriteriet.

Løkke 5 — Sammenlignings- og grensesammenligningstest (~10 min)

Samme disiplin som i 4.6: klem mot en pp-rekke, eller ta grensen av forholdet — og navngi sammenligningsrekken.

Direkte sammenligningstest (rekker)
Anta 0anbn0\le a_n\le b_n for alle nn. Da:
bn konvergereran konvergerer;an divergererbn divergerer.\sum b_n\text{ konvergerer}\Rightarrow\sum a_n\text{ konvergerer};\qquad \sum a_n\text{ divergerer}\Rightarrow\sum b_n\text{ divergerer}.
Retningen er alt: for konvergens klem ana_n oppover mot en konvergent rekke; for divergens klem nedover mot en divergent. Sammenligningsrekken navngis som konvergent/divergent pp-rekke.
Grensesammenligningstesten (GS-testen, rekker)

La an,bn>0a_n,b_n>0 og sett L=limnanbn\displaystyle L=\displaystyle\lim_{n\to\infty}\frac{a_n}{b_n}. Er 0<L<0<L<\infty (endelig og positiv), har an\sum a_n og bn\sum b_n samme skjebne. Velg bnb_n fra dominant ledd i teller og nevner — nøyaktig som i GS-testen for integraler i kap. 4.6.

✏️GS-testen for en rekke

Avgjør om n=1nn3+2\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{n}{n^3+2} konvergerer, og navngi testen.

Positiv rekke. Alle ledd er >0>0 for n1n\ge 1.

Velg bnb_n fra dominant ledd: teller n\sim n, nevner n3\sim n^3, så annn3=1n2a_n\sim\dfrac{n}{n^3}=\dfrac{1}{n^2}. Velg bn=1n2b_n=\dfrac{1}{n^2}.

Regn forholdsgrensen:
L=limnanbn=limnnn3+2n2=limnn3n3+2=1.L=\lim_{n\to\infty}\frac{a_n}{b_n}=\lim_{n\to\infty}\frac{n}{n^3+2}\cdot n^2=\lim_{n\to\infty}\frac{n^3}{n^3+2}=1.
Siden 0<L=1<0<L=1<\infty, har rekkene samme skjebne.

Navngi og konkluder. 1n2\displaystyle \displaystyle\sum\frac{1}{n^2} er en konvergent pp-rekke (p=2>1p=2>1). Etter GS-testen konvergerer derfor n=1nn3+2\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{n}{n^3+2}.

Konklusjon: rekken konvergerer.

📝Oppgave 5

(4.6-format overført til rekker — GS-test, divergens.) Avgjør om n=12n+1n2+3\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{2n+1}{n^2+3} konvergerer, og navngi sammenligningsrekken.

Løkke 6 — Forholdstesten (kvotienttesten) (~9 min)

Når leddene inneholder fakultet eller potenser som knk^n, er forholdstesten ofte den raskeste — men L=1L=1 avgjør ingenting.

📜Forholdstesten (kvotienttesten)
For en rekke med an>0a_n>0, sett L=limnan+1an\displaystyle L=\displaystyle\lim_{n\to\infty}\frac{a_{n+1}}{a_n}. Da:
L<1konvergerer;L>1divergerer;L=1inkonklusiv.L<1\Rightarrow\text{konvergerer};\qquad L>1\Rightarrow\text{divergerer};\qquad L=1\Rightarrow\text{inkonklusiv}.
Testen er skreddersydd for fakultet og eksponentialledd (n!n!, knk^n), der forholdet forenkler dramatisk.
L=1L=1 er inkonklusiv

Når forholdstesten gir L=1L=1, sier den ingenting — rekken kan både konvergere og divergere. Eksempel: både 1n\sum\tfrac1n (divergerer) og 1n2\sum\tfrac{1}{n^2} (konvergerer) gir L=1L=1. Da må du bytte til en annen test (typisk pp-rekke eller GS). Å tolke L=1L=1 som konvergens er en dokumentert felle.

✏️Forholdstesten med fakultet

Avgjør om n=12nn!\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{2^{n}}{n!} konvergerer.

Positiv rekke. Sett opp forholdet an+1an\dfrac{a_{n+1}}{a_n} med an=2nn!a_n=\dfrac{2^n}{n!}:
an+1an=2n+1(n+1)!n!2n=22n(n+1)n!n!2n=2n+1.\frac{a_{n+1}}{a_n}=\frac{2^{n+1}}{(n+1)!}\cdot\frac{n!}{2^{n}}=\frac{2\cdot 2^{n}}{(n+1)\,n!}\cdot\frac{n!}{2^{n}}=\frac{2}{n+1}.

Ta grensen: L=limn2n+1=0<1\displaystyle \displaystyle L=\lim_{n\to\infty}\frac{2}{n+1}=0<1.

Konkluder: siden L=0<1L=0<1, konvergerer rekken etter forholdstesten.

Konklusjon: n=12nn!\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{2^{n}}{n!} konvergerer. (Fakultetet vokser raskere enn 2n2^n — forholdstesten fanger dette umiddelbart.)

📝Oppgave 6

(4.6-format overført til rekker — forholdstest.) Avgjør om n=1n2n\displaystyle \displaystyle\sum_{n=1}^{\infty}\frac{n}{2^{n}} konvergerer.

Løkke 7 — Alternerende rekker og absolutt konvergens (kjennskap) (~5 min)

Dette er «kjenne»-stoff: godt å gjenkjenne, sjelden krevd i full bredde.

Alternerende rekke og Leibniz-kriteriet

En alternerende rekke har ledd som veksler fortegn: (1)nbn\sum(-1)^{n}b_n med bn>0b_n>0. Leibniz-kriteriet: hvis bnb_n er avtakende og bn0b_n\to 0, konvergerer rekken. Eksempel: (1)n+1n=112+13\sum\tfrac{(-1)^{n+1}}{n}=1-\tfrac12+\tfrac13-\dots konvergerer (mot ln2\ln 2), selv om den harmoniske rekken av tallverdiene divergerer.

Absolutt konvergens
an\sum a_n er absolutt konvergent hvis an\sum|a_n| konvergerer. Absolutt konvergens medfører (vanlig) konvergens — og lar deg bruke sammenlignings-/forholdstestene (som krever positive ledd) på an|a_n| selv når ana_n skifter fortegn.
Betinget konvergens
an\sum a_n er betinget konvergent hvis an\sum a_n konvergerer, men an\sum|a_n| divergerer. Standardeksemplet er den alternerende harmoniske rekken (1)n+1n\sum\tfrac{(-1)^{n+1}}{n}: den konvergerer (Leibniz), men tallverdiene 1n\sum\tfrac1n divergerer. «Konvergerer, men bare fordi fortegnene hjelper.»
Kobling til Taylor-rekker

En Taylor-rekke (fra kap. 6.1) er en uendelig rekke, og den representerer funksjonen nøyaktig der restleddet Rn0R_n\to 0. Konvergenstestene her avgjør for hvilke xx en potensrekke cnxn\sum c_n x^n konvergerer — typisk med forholdstesten, som gir et konvergensintervall.

Begrepsbank

Flashcard- og repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet i løkkene.

Strategivalg for rekker

(1) Går leddene mot 00? Nei → divergenstesten, ferdig. (2) Geometrisk eller pp-rekke? → les av kriteriet direkte. (3) Fakultet/knk^n? → forholdstesten. (4) Rasjonalt i nn? → GS-test mot dominant pp-rekke. (5) Positiv og avtakende med kjent integral? → integraltesten. (6) Vekslende fortegn? → Leibniz.

Nødvendig kontra tilstrekkelig
an0a_n\to 0 er en nødvendig betingelse for konvergens (uten den divergerer rekken), men ikke tilstrekkelig (harmonisk rekke). En konvergenstest må gi en tilstrekkelig grunn — derav sammenligning, forhold eller integral.
Symbol- og formelliste
Repetisjonsoppgaver (fra 2.3 og 4.6)

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 Oslo. Dette er ikke offisielt studiemateriell. Les mer.