Absolutkonvergens

Absolutkonvergens är en definition inom matematisk analys, angående seriers konvergens. En serie (en oändlig summa) $\sum _{n=0}^{\mathrm{\infty }}{a}_n$ definieras som absolutkonvergent om serien av absolutbeloppet av termerna $a_n$ konvergerar, det vill säga om serien $\sum _{n=0}^{\mathrm{\infty }}|a_n|$ är konvergent. Detta är en användbar definition, då serier med negativa termer analyseras, eftersom många satser gällande konvergens av serier endast gäller för icke-negativa serier.

Det går att visa att om en serie är absolutkonvergent är den även konvergent. Det omvända gäller dock inte nödvändigtvis, utan en serie kan vara konvergent men ej absolutkonvergent och kallas då betingat konvergent.

Exempel

Serien $\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n}{n^2}$ är konvergent eftersom den är absolutkonvergent, det vill säga $\sum _{n=1}^{\mathrm{\infty }}\left|\frac{(-1{)}^n}{n^2}\right|=\sum _{n=1}^{\mathrm{\infty }}\left|\frac{1}{n^2}\right|=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}=\frac{{\pi }^2}{6}.$

Leibnizserien $\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n}{n}$ är betingat konvergent, eftersom serien är konvergent medan den harmoniska serien $\sum _{n=1}^{\mathrm{\infty }}\left|\frac{(-1{)}^n}{n}\right|$ är divergent.

Bevis för att en absolutkonvergent serie är konvergent

Antag att serien $\sum _{n=0}^{\mathrm{\infty }}{a}_n$ är absolutkonvergent, vilket betyder att serien $\sum _{n=0}^{\mathrm{\infty }}\left|a_n\right|$ är konvergent och att $a_n$ är reella tal, $a_n\in ℝ$. Vi kan göra omskrivningen: $a_n=(a_n+\left|a_n\right|)-\left|a_n\right|$. Då $0\le a_n+\left|a_n\right|\le 2\left|a_n\right|$, gäller att $\sum _{n=0}^{\mathrm{\infty }}{a}_n+\left|a_n\right|\le 2\sum _{n=0}^{\mathrm{\infty }}\left|a_n\right|$. Eftersom båda serierna är icke-negativa, och den större serien är konvergent enligt antagandet, så konvergerar även den mindre serien enligt jämförelsekriteriet. Differensen mellan de k:te termerna i de två serierna är då antingen $0$ eller $a_n$. Detta innebär: $\sum _{n=0}^{\mathrm{\infty }}((a_n+\left|a_n\right|)-\left|a_n\right|)=\sum _{n=0}^{\mathrm{\infty }}{a}_n$, vilken därför måste konvergera, eftersom den är en differens av två konvergenta serier.

Detta kan även visas då termerna $a_n$ är komplexa tal, $a_n=b_n+i{c}_n,a_n\in ℂ$. Då gäller att $\left|b_n\right|\le \left|a_n\right|$ och att $\left|c_n\right|\le \left|a_n\right|$. Som tidigare innebär detta att serierna $\sum _{n=0}^{\mathrm{\infty }}{b}_n$ och $\sum _{n=0}^{\mathrm{\infty }}{c}_n$ är absolutkonvergenta, enligt jämförelsekriteriet. Dessa är då även konvergenta, enligt resonemanget ovan, vilket betyder att serien $\sum _{n=0}^{\mathrm{\infty }}{a}_n$ också är konvergent. Detta eftersom serien kan skrivas som en summa av två konvergenta serier: $\sum _{n=0}^{\mathrm{\infty }}{a}_n=\sum _{n=0}^{\mathrm{\infty }}{b}_n+i\sum _{n=0}^{\mathrm{\infty }}{c}_n$.

Referenser

• Eriksson F, Larsson E, Wahde G. (1996). Matematisk analys med tillämpningar del 3. Andra upplagan.