1. Divergenstesten (Nødvendig betingelse)
Test
Hvis $\lim_{n\to\infty} a_n \neq 0$, da divergerer $\sum a_n$.
Obs: $\lim a_n = 0$ er ikke tilstrekkelig for konvergens — $\sum \frac{1}{n}$ er moteksempel.
Når bruke
Alltid som første sjekk. Hvis grensen ikke er null, stopp — rekken divergerer.
2. Geometrisk Rekke
Teorem
$$\sum_{n=0}^\infty k^n = \frac{1}{1-k} \quad \text{for } |k| \lt 1$$
Divergerer for $|k| \geq 1$.
Eksempel
$\sum_{n=0}^\infty \left(\tfrac{2}{3}\right)^n = \dfrac{1}{1-\frac{2}{3}} = 3$.
3. $p$-Rekker
Teorem
$$\sum_{n=1}^\infty \frac{1}{n^p} \;\begin{cases} \text{konvergerer} & p \gt 1 \\ \text{divergerer} & p \leq 1 \end{cases}$$
Spesielt: $\sum \frac{1}{n^2} = \dfrac{\pi^2}{6}$, og harmonisk rekke $\sum \frac{1}{n}$ divergerer.
Når bruke
Når leddene er på formen $\frac{1}{n^p}$ — eller som referanserekke i sammenligningstester.
4. Integraltesten
Teorem
La $a_n = f(n)$ der $f$ er positiv, kontinuerlig og ikke-voksende på $[1,\infty)$. Da:
$$\sum_{n=1}^\infty a_n \text{ konvergerer} \iff \int_1^\infty f(x)\,dx \text{ konvergerer}$$
Eksempler
- $\sum \frac{1}{n(\ln n)^2}$: $\int \frac{dx}{x(\ln x)^2} = \frac{-1}{\ln x}\Big|_2^\infty \lt \infty$ — konvergerer
- $\sum \frac{1}{n \ln n}$: $\int \frac{dx}{x \ln x} = \ln(\ln x)\Big|_2^\infty = \infty$ — divergerer
Når bruke
Når leddene er vanskelig å sammenligne direkte men lett å integrere, spesielt ved $\ln n$ i nevneren.
5. Sammenligningstesten (Direct Comparison)
Teorem
La $0 \leq a_n \leq b_n$ for alle store $n$:
- $\sum b_n$ konvergerer $\Rightarrow \sum a_n$ konvergerer
- $\sum a_n$ divergerer $\Rightarrow \sum b_n$ divergerer
Når bruke
Når du kan finne en kjent rekke ($p$-rekke, geometrisk) som er større/mindre enn din rekke og dominansen er åpenbar.
6. Grensesammenligningstesten (Limit Comparison)
Teorem
La $a_n, b_n \gt 0$ og $L = \lim_{n\to\infty} \dfrac{a_n}{b_n}$.
- $0 \lt L \lt \infty$: $\sum a_n$ og $\sum b_n$ oppfører seg likt (begge konvergerer eller begge divergerer)
- $L = 0$: $\sum b_n$ konvergerer $\Rightarrow \sum a_n$ konvergerer
- $L = \infty$: $\sum b_n$ divergerer $\Rightarrow \sum a_n$ divergerer
Eksempel
$\sum \frac{3n^2+1}{n^4-2}$: sammenlign med $b_n = \frac{1}{n^2}$ ($p=2 \gt 1$, konvergerer).
$L = \lim \frac{(3n^2+1)/(n^4-2)}{1/n^2} = \lim \frac{3n^4+n^2}{n^4-2} = 3 \gt 0$ — rekken konvergerer.
Når bruke
Rasjonale uttrykk i $n$ — identifiser leddet med høyest grad og sammenlign med tilsvarende $p$-rekke.
7. Forholdstesten (Ratio Test / D'Alembert)
Teorem
La $L = \lim_{n\to\infty} \left|\dfrac{a_{n+1}}{a_n}\right|$.
- $L \lt 1$: absolutt konvergens
- $L \gt 1$ (eller $L = \infty$): divergens
- $L = 1$: ingen informasjon (test feiler)
Eksempler
- $\sum \frac{n^5}{2^n}$: $L = \lim \frac{(n+1)^5/2^{n+1}}{n^5/2^n} = \frac{1}{2} \lt 1$ — konvergerer
- $\sum \frac{n!}{n^n}$: $L = \frac{1}{e} \lt 1$ — konvergerer
- $\sum \frac{3^n}{n^2}$: $L = 3 \gt 1$ — divergerer
Når bruke
Ledd med faktorial ($n!$) eller eksponensialfunksjon ($r^n$). Feiler for $p$-rekker ($L=1$ alltid).
8. Rotstesten (Root Test / Cauchy)
Teorem
La $L = \lim_{n\to\infty} \sqrt[n]{|a_n|}$.
- $L \lt 1$: absolutt konvergens
- $L \gt 1$: divergens
- $L = 1$: ingen informasjon
Eksempel
$\sum \left(\dfrac{2n+1}{3n+2}\right)^n$: $\sqrt[n]{|a_n|} = \dfrac{2n+1}{3n+2} \to \dfrac{2}{3} \lt 1$ — konvergerer.
Når bruke
Ledd der hele uttrykket er opphøyd i $n$, f.eks. $(f(n))^n$. Gir direkte svar uten å beregne ratio.
9. Leibniz' test (Alternerende rekker)
Teorem
$\sum (-1)^n a_n$ konvergerer dersom:
- $a_n \geq a_{n+1} \gt 0$ (ikke-voksende)
- $\lim_{n\to\infty} a_n = 0$
Feilen ved å avbryte etter $N$ ledd: $|R_N| \leq a_{N+1}$.
Klassiske eksempler
- $\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} = 1-\tfrac{1}{2}+\tfrac{1}{3}-\cdots = \ln 2$
- $\sum_{n=0}^\infty \frac{(-1)^n}{2n+1} = 1-\tfrac{1}{3}+\tfrac{1}{5}-\cdots = \dfrac{\pi}{4}$
Obs
Leibniz gir kun betinget konvergens. Sjekk absolutt konvergens ($\sum |a_n|$) separat!
10. Absolutt vs. Betinget Konvergens
Definisjon
- Absolutt konvergens: $\sum |a_n|$ konvergerer $\Rightarrow$ $\sum a_n$ konvergerer
- Betinget konvergens: $\sum a_n$ konvergerer men $\sum |a_n|$ divergerer
Eksempel
$\sum \frac{(-1)^{n+1}}{n}$ er betinget konvergent: den konvergerer (Leibniz), men $\sum \frac{1}{n}$ divergerer (harmonisk).
Hvilken test skal jeg bruke?
Følg denne rekkefølgen — stopp når du får svar.
Beslutningstre
- Divergenstest: Er $\lim a_n \neq 0$? → Divergerer. Ellers fortsett.
- Kjent form? Geometrisk ($k^n$) eller $p$-rekke ($1/n^p$) → bruk formelen direkte.
- Alternerende tegn? ($(-1)^n$) → prøv Leibniz. Sjekk deretter absolutt konvergens.
- Faktorial eller eksponensial? ($n!$, $r^n$) → Forholdstesten.
- Hele leddet i $n$-te potens? $(f(n))^n$ → Rotstesten.
- Rasjonalt uttrykk i $n$? → Grensesammenligningstest med $p$-rekke.
- $\ln n$ i nevner? → Integraltesten.
- Åpenbar dominans? → Direkte sammenligningstest.
| Test |
Krever |
Gir |
Beste for |
| Divergenstest |
$a_n \not\to 0$ |
Divergens |
Rask eliminering |
| Geometrisk |
$\sum k^n$ |
Eks. sum |
$|k| \lt 1$ |
| $p$-rekke |
$\sum 1/n^p$ |
K/D |
$p \gt 1$ konv. |
| Integraltest |
$f$ pos., avt. |
K/D |
$\ln n$-ledd |
| Direkte sammenl. |
$0 \leq a_n \leq b_n$ |
K/D |
Åpenbar dominans |
| Grensesammenl. |
$a_n, b_n \gt 0$ |
K/D |
Rasjonale uttr. |
| Forholdstesten |
$L \neq 1$ |
Abs. K/D |
$n!$, $r^n$ |
| Rotstesten |
$L \neq 1$ |
Abs. K/D |
$(f(n))^n$ |
| Leibniz |
Avt., $\to 0$ |
Betinget K |
$(-1)^n a_n$ |
Husk!
Feller
- $\lim a_n = 0$ betyr ikke at rekken konvergerer (jf. harmonisk rekke $\sum 1/n$)
- $L = 1$ i forholds- og rottest gir ingen informasjon — bytt test
- Leibniz krever at $a_n$ er ikke-voksende, ikke bare positiv og $\to 0$
- Absolutt konvergens $\Rightarrow$ konvergens, men ikke omvendt
Konvergensradius for potensrekker
For $\sum b_n (x-a)^n$ bruk forholdstesten på koeffisientene:
$$R = \lim_{n\to\infty} \left|\frac{b_n}{b_{n+1}}\right|$$
Rekken konvergerer absolutt for $|x-a| \lt R$. Sjekk endepunktene separat.