Kryteria zbieżności szeregów

Kryteria zbieżności szeregów – grupa twierdzeń podających warunki (zwykle wystarczające) zbieżności bądź rozbieżności danego szeregu liczbowego.

W niniejszym artykule

$\sum _{n=1}^{\infty }a_{n}$

(A)

oznacza szereg liczbowy, tzn. szereg o wyrazach rzeczywistych lub zespolonych. Artykuł ten stanowi przegląd wybranych kryteriów; dowody i przykłady zastosowań prezentowane są w artykułach dotyczących konkretnych kryteriów.

Warunek konieczny

Podstawowym kryterium zbieżności szeregu jest warunek konieczny zbieżności:

Jeżeli szereg (A) jest zbieżny, to

$\lim _{n\to \infty }a_{n}=0$.

Przez prawo kontrapozycji, jeżeli granica ciągu $(a_{n})$ nie istnieje bądź istnieje i jest różna od $0,$ to szereg (A) jest rozbieżny.

Warunek konieczny zbieżności pozwala stwierdzić czy dany szereg nie jest zbieżny; nie mówi natomiast niczego na temat zbieżności szeregu. Badanie problemu zbieżności szeregu zwykle zaczyna się od sprawdzenia warunku koniecznego, a jeżeli ten jest spełniony, przechodzi się do kolejnych kryteriów.

Przykłady

• Szereg

$\sum _{n=1}^{\infty }{\frac {n}{n+1}}$

jest rozbieżny, gdyż

$\lim _{n\to \infty }{\frac {n}{n+1}}=1\neq 0.$

• W przypadku, gdy

$\lim _{n\to \infty }a_{n}=0,$

warunek konieczny zbieżności nie rozstrzyga czy szereg jest zbieżny czy nie. Istotnie, szereg harmoniczny jest rozbieżny, tj.

$\sum _{n=1}^{\infty }{\frac {1}{n}}=\infty ,$

mimo że

$\lim _{n\to \infty }{\frac {1}{n}}=0$.

Szereg

$\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}$

jest jednak zbieżny (zob. problem bazylejski), choć w tym przypadku również

$\lim _{n\to \infty }{\frac {1}{n^{2}}}=0.$

Warunek Cauchy’ego

Każdy ciąg liczbowy jest zbieżny wtedy i tylko wtedy, gdy spełnia warunek Cauchy’ego; zbieżność szeregu (A) oznacza zbieżność ciągu sum częściowych

${\bigg (}\sum _{j=1}^{n}a_{j}{\bigg )}_{n=1}^{\infty }.$

Oznacza to, że szereg (A) jest zbieżny wtedy i tylko wtedy, gdy

$\forall _{\varepsilon >0}\;\exists _{n_{0}\in \mathbb {N} }\;\forall _{n\geqslant n_{0}}\;\forall _{k\in \mathbb {N} }\;\left\vert \sum _{i=n}^{n+k}a_{i}\right\vert <\varepsilon$.

Zbieżność bezwzględna

Szereg (A) nazywany jest zbieżnym bezwzględnie, gdy zbieżny jest szereg

$\sum _{n=1}^{\infty }|a_{n}|.$

(│A│)

Twierdzenie

Każdy szereg zbieżny bezwzględnie jest zbieżny.

Dowód

Załóżmy, że szereg (│A│) jest zbieżny. Spełnia on wówczas warunek Cauchy’ego, tzn. dla każdej liczby $\varepsilon >0$ istnieje taka liczba naturalna $n_{0},$ że dla $n\geqslant n_{0}$ oraz dowolnego $k$

$\sum _{i=n}^{n+k}|a_{i}|<\varepsilon .$

Z nierówności trójkąta wynika, że

$\left|\sum _{i=n}^{n+k}a_{i}\right|\leqslant \sum _{i=n}^{n+k}|a_{i}|<\varepsilon ,$

a zatem szereg (A) także spełnia warunek Cauchy’ego, więc jest zbieżny.

Powyższe rozróżnienie jest istotne, może się bowiem zdarzyć, że dany szereg jest zbieżny, lecz nie jest zbieżny bezwzględnie – mówi się wtedy, że szereg jest zbieżny warunkowo. Twierdzenie Riemanna mówi, że można tak poprzestawiać wyrazy szeregu warunkowo zbieżnego liczb rzeczywistych, aby jako sumę nowego szeregu otrzymać dowolną, z góry zadaną liczbę.

Szeregi o wyrazach nieujemnych

Ponieważ zbieżność bezwzględna implikuje zbieżność, istotne są kryteria zbieżności szeregów o wyrazach nieujemnych, które mogą być traktowane jako kryteria zbieżności bezwzględnej.

Wspólnym założeniem poniższych twierdzeń jest to, że wyrazy szeregu (A) są nieujemne. Bez straty dla ogólności wypowiadanych niżej twierdzeń można przyjąć, że szeregi te mają wyrazy dodatnie, tj.

$a_{n}>0,$

i takie założenie jest niżej poczynione.

Kryterium porównawcze

Niech

$\sum _{n=1}^{\infty }b_{n}$

(B)

będzie szeregiem o wyrazach nieujemnych. Załóżmy, że istnieje takie $k,$ że dla wszelkich $n\geqslant k$ zachodzi nierówność

$a_{n}\leqslant b_{n}.$

Wówczas

1. jeżeli szereg (B) jest zbieżny, to szereg (A) jest również zbieżny;
2. jeżeli szereg (A) jest rozbieżny, to szereg (B) jest również rozbieżny.

Wersja graniczna

Pod założeniem, $b_{n}>0\quad (n\in \mathbb {N} ),$ jeżeli istnieje granica

$K=\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}},$

• gdy $K<\infty ,$ to ze zbieżności szeregu (B) wynika zbieżność szeregu (A);
• gdy $K>0,$ to z rozbieżności szeregu (B) wynika rozbieżność szeregu (A).

Jeżeli $0<K<\infty ,$ oba szeregi są jednocześnie zbieżne lub jednocześnie rozbieżne.

Wersja ułamkowa

Pod założeniem, $b_{n}>0\quad (n\in \mathbb {N} ),$ jeżeli dla dostatecznie dużych $n$ spełniona jest nierówność

${\frac {a_{n+1}}{a_{n}}}\leqslant {\frac {b_{n+1}}{b_{n}}},$

ze zbieżności szeregu (B) wynika zbieżność szeregu (A) (a więc z rozbieżności szeregu (A) wynika rozbieżność szeregu (B)).

Kryterium d’Alemberta

Niech

$D_{n}={\frac {a_{n+1}}{a_{n}}}\qquad (n\in \mathbb {N} ).$

• Jeżeli dla dostatecznie dużych $n$ oraz pewnego $r<1$ spełniona jest nierówność

$D_{n}\leqslant r$

to szereg (A) jest zbieżny.

• Jeżeli zaś dla dostatecznie dużych $n$ spełniona jest nierówność

$D_{n}>1$

to szereg (A) jest rozbieżny.

Wersja graniczna

Jeżeli istnieje granica

$D=\lim _{n\to \infty }D_{n},$

to

• gdy $D<1,$ szereg (A) jest zbieżny, oraz
• gdy $D>1,$ szereg (A) jest rozbieżny.

Kryterium Cauchy’ego

• Jeżeli

$\limsup _{n\to \infty }{\sqrt[{n}]{a_{n}}}<1,$

to szereg (A) jest zbieżny.

• Jeżeli

$\liminf _{n\to \infty }{\sqrt[{n}]{a_{n}}}>1,$

to szereg (A) jest rozbieżny.

Wersja graniczna

Jeżeli istnieje granica

$C=\lim _{n\to \infty }{\sqrt[{n}]{a_{n}}},$

to

• gdy $C<1,$ szereg (A) jest zbieżny, oraz
• gdy $C>1,$ szereg (A) jest rozbieżny.

Kryterium Raabego

Niech

$R_{n}=n\cdot {\Big (}{\frac {a_{n}}{a_{n+1}}}-1{\Big )}\qquad (n\in \mathbb {N} ).$

• Jeżeli dla dostatecznie dużych $n$ oraz pewnego $r>1$ spełniona jest nierówność

$R_{n}\geqslant r$

to szereg (A) jest zbieżny.

• Jeżeli zaś dla dostatecznie dużych $n$ spełniona jest nierówność

$R_{n}\leqslant 1$

to szereg (A) rozbieżny.

Kryterium Raabego można wypowiedzieć w sposób bardziej zwięzły.

• Jeżeli

$\liminf _{n\to \infty }R_{n}>1,$

to szereg (A) jest zbieżny.

• Jeżeli dla prawie wszystkich $n,$ $R_{n}\leqslant 1,$ to szereg (A) jest rozbieżny.

Wersja graniczna

Jeżeli istnieje granica

$R=\lim _{n\to \infty }R_{n},$

to

• szereg (A) jest zbieżny, gdy $R>1,$ oraz
• szereg (A) jest rozbieżny, gdy $R<1$.

Kryterium Schlömilcha

Niech

$S_{n}=n\cdot \ln {\frac {a_{n}}{a_{n+1}}}\quad (n\in \mathbb {N} ).$

• Jeżeli

$\liminf _{n\to \infty }S_{n}>1$

to szereg (A) jest zbieżny.

• Jeżeli dla dostatecznie dużych $n$ spełniona jest nierówność $S_{n}\leqslant 1,$ to szereg (A) jest rozbieżny.

Kryterium Kummera (Diniego-Kummera)

Niech $(c_{n})$ będzie takim ciągiem o wyrazach dodatnich, że

$\sum _{k=1}^{\infty }{\frac {1}{c_{n}}}=\infty .$

Niech ponadto

$K_{n}=c_{n}\cdot {\frac {a_{n}}{a_{n+1}}}-c_{n+1}\qquad (n\in \mathbb {N} ).$

• Jeżeli dla dostatecznie dużych $n$ oraz pewnego $r>0$ spełniona jest nierówność

$K_{n}\geqslant r$

to szereg (A) jest zbieżny.

• Jeżeli zaś dla dostatecznie dużych $n$ spełniona jest nierówność

$K_{n}\leqslant 0$

to szereg (A) jest rozbieżny.

Wersja graniczna

Kryterium Kummera można spotkać również w niecło słabszej, następującej wersji. Jeżeli ciąg $(K_{n})$ jest zbieżny do pewnego $K,$ to

• szereg (A) jest zbieżny, gdy $K>0,$ oraz
• szereg (A) jest rozbieżny, gdy $K<0$.

Kryterium Bertranda

Niech

$B_{n}=\ln n{\bigg (}n\cdot {\Big (}{\frac {a_{n}}{a_{n+1}}}-1{\Big )}-1{\bigg )}.$

Wówczas

• szereg (A) jest zbieżny, gdy

$\liminf _{n\to \infty }B_{n}>1;$

• szereg (A) jest rozbieżny, gdy

$\limsup _{n\to \infty }B_{n}<1$.

Wersja graniczna

Kryterium Bertranda można spotkać również w nieco słabszej, następującej wersji. Jeżeli ciąg $(B_{n})$ jest zbieżny do pewnego $B,$ to

• szereg (A) jest zbieżny, gdy $B>1,$ oraz
• szereg (A) jest rozbieżny, gdy $B<1.$

W przypadku, gdy $B=0$ kryterium nie rozstrzyga.

Kryterium Gaussa

Jeżeli istnieją takie liczby $a,$ $b>0$ oraz ciąg ograniczony $(c_{n})$ o tej własności, że dla dostatecznie dużych $n$ zachodzi związek

${\frac {a_{n}}{a_{n+1}}}=a+{\frac {b}{n}}+{\frac {c_{n}}{n^{2}}},$

to

• szereg (A) jest zbieżny, gdy $a>1$ lub $a=1$ oraz $b>1;$
• szereg (A) jest rozbieżny, gdy $a<1$ lub $a=1$ oraz $b\leqslant 1$.

Kryterium całkowe

Niech $f\colon [1,\infty )\to \mathbb {R}$ będzie funkcją dodatnią i malejącą. Niech ponadto $a_{n}=f(n)$ dla każdego $n.$ Wówczas szereg (A) jest zbieżny wtedy i tylko wtedy, gdy zbieżna jest całka niewłaściwa

$\int \limits _{1}^{\infty }f(x)\,\mathrm {d} x$.

Kryterium Jermakowa

Niech $f\colon [1;\infty )\to \mathbb {R}$ będzie nieujemną, malejącą funkcją ciągłą. Jeżeli dla dostatecznie dużych $x,$ tj. $x\geqslant x_{0}$ dla pewnego $x_{0},$ spełniona jest nierówność

${\frac {f(e^{x})\cdot e^{x}}{f(x)}}\leqslant q<1,$

to szereg

$\sum _{n=1}^{\infty }f(n)$

jest zbieżny. W przypadku gdy dla dostatecznie dużych $x$ zachodzi nierówność

${\frac {f(e^{x})\cdot e^{x}}{f(x)}}\geqslant 1,$

to szereg ten jest rozbieżny.

Kryterium Cauchy’ego zagęszczające

Jeżeli ciąg wyrazów szeregu (A) jest nierosnący to szereg (A) jest zbieżny wtedy i tylko wtedy, gdy zbieżny jest szereg

$\sum _{n=1}^{\infty }2^{n}\cdot a_{2^{n}}.$

(C)

W sformułowaniu kryterium Cauchy’ego zagęszczającego (inaczej: kryterium zagęszczania lub konsensacyjnego) szereg (C) można zastąpić szeregiem

$\sum _{n=1}^{\infty }p^{n}\cdot a_{p^{n}}$

dla dowolnej niezerowej liczby naturalnej $p$.

Kryterium Schlömilcha zagęszczające

Niech dany będzie rosnący ciąg liczb naturalnych

$u(1)<u(2)<u_{3}(3)<\ldots$

o tej własności, że

${\frac {\Delta u(n)}{\Delta u(n{-}1)}}\ =\ {\frac {u(n{+}1)-u(n)}{u(n)-u(n{-}1)}}\ <\ N$

dla pewnego $N>0$ oraz wszystkich $n.$

Jeżeli ciąg wyrazów szeregu (A) jest nierosnący, to szereg (A) jest zbieżny wtedy i tylko wtedy, gdy zbieżny jest szereg

$\sum _{n=0}^{\infty }{\Delta u(n)}\,a_{u(n)}\ =\ \sum _{n=0}^{\infty }{\Big (}u(n{+}1)-u(n){\Big )}a_{u(n)}$.

Szeregi o wyrazach dowolnych

Kryterium Leibniza

Jeżeli ciąg liczbowy $(a_{n})_{n=1}^{\infty }$ spełnia następujące warunki:

1. $a_{n}\geqslant 0$ dla wszystkich $n;$
2. $\lim _{n\to \infty }a_{n}=0;$
3. ciąg $a_{n}$ jest nierosnący, tj. $a_{0}\geqslant a_{1}\geqslant a_{2}\dots ,$

to szereg

$\sum _{n=0}^{\infty }(-1)^{n}a_{n}$

jest zbieżny.

Kryterium Abela

Niech $(a_{n})_{n=1}^{\infty },(b_{n})_{n=1}^{\infty }$ będą ciągami liczb rzeczywistych. Jeżeli szereg (A) jest zbieżny, a ciąg $(b_{n})_{n=1}^{\infty }$ jest monotoniczny i ograniczony, to szereg

$\sum _{n=1}^{\infty }a_{n}b_{n}$

jest zbieżny.

Kryterium Dirichleta

Jeżeli ciąg sum częściowych

$\left(\sum _{k=1}^{n}a_{k}\right)_{n=1}^{\infty }$

szeregu (A) jest ograniczony, a $(b_{n})_{n=1}^{\infty }$ jest ciągiem liczb rzeczywistych, który jest monotoniczny i zbieżny do $0,$ to szereg

$\sum _{n=1}^{\infty }a_{n}b_{n}$

jest zbieżny.

Szeregi funkcyjne

Niech $A$ będzie dowolnym zbiorem oraz niech

$f_{n}\colon A\to \mathbb {R} \quad (n\in \mathbb {N} )$

będzie ciągiem funkcji. Kryteria zbieżności szeregów liczbowych stosowane do szeregów

$\sum _{n=1}^{\infty }f_{n}(x)\quad (x\in A)$

mogą jedynie rozstrzygać o zbieżności punktowej; nie mówią jednak nic o możliwej zbieżności jednostajnej. Wyszczególnione niżej kryteria zbieżności szeregów funkcyjnych pozwalają rozstrzygać o tym typie zbieżności.

Niżej

$f_{n}\colon A\to \mathbb {R} \quad (n\in \mathbb {N} )$

oraz

$g_{n}\colon A\to \mathbb {R} \quad (n\in \mathbb {N} )$

są dowolnymi ciągami funkcji.

Kryterium Weierstrassa

Jeżeli dla każdej liczby naturalnej $n$ istnieje taka liczba $M_{n},$ że

$|f_{n}(x)|\leqslant M_{n}$

dla każdego elementu $x$ zbioru $A,$ oraz szereg liczbowy

$\sum _{n=1}^{\infty }M_{n}$

jest zbieżny, to szereg funkcyjny

$\sum _{n=1}^{\infty }f_{n}(x)$

jest zbieżny jednostajnie w zbiorze $A$.

Kryterium Abela

Jeśli

• szereg

$\sum _{n=1}^{\infty }g_{n}(x)$

jest zbieżny jednostajnie w zbiorze $A;$

• dla każdego $x$ ze zbioru $A$ ciąg $(f_{n}(x))_{n=1}^{\infty }$ jest monotoniczny;
• istnieje taka liczba $M,$ że dla prawie każdej liczby naturalnej $n$ oraz wszystkich elementów $x$ zbioru $A$ spełniony jest warunek

$|f_{n}(x)|\leqslant M,$

to szereg funkcyjny

$\sum _{n=1}^{\infty }f_{n}(x)g_{n}(x)$

jest zbieżny jednostajnie w zbiorze $A$.

Kryterium Dirichleta

Jeżeli

• istnieje taka liczba dodatnia $M$ że dla wszystkich liczb naturalnych $n$ oraz wszystkich elementów $x$ zbioru $A{:}$

$\left|\sum _{i=1}^{n}f_{i}(x)\right|\leqslant M,$

• dla każdego $x$ ze zbioru $A$ ciąg $(g_{n}(x))_{n=1}^{\infty }$ jest monotoniczny oraz zbieżny jednostajnie do $0,$

to szereg funkcyjny

$\sum _{n=1}^{\infty }f_{n}(x)g_{n}(x)$

jest zbieżny jednostajnie w zbiorze $A$.

Bibliografia

• D.D.D.D. Bonar D.D.D.D., M.M. Khoury M.M., jr., Real Infinite Series, Washington DC: Mathematical Association of America, 2006 .
• Grigorij MichajłowiczG.M. Fichtenholz Grigorij MichajłowiczG.M., Rachunek różniczkowy i całkowy, t. 1, Warszawa: Państwowe Wydawnictwo Naukowe, 1965 .
• Grigorij MichajłowiczG.M. Fichtenholz Grigorij MichajłowiczG.M., Rachunek różniczkowy i całkowy, t. 2, Warszawa: PWN, 1966 .
• KonradK. Knopp KonradK., Theory and Application of Infinite Series, London-Glasgow: Blackie & Son Ltd., 1990 .brak strony (książka)
• KazimierzK. Kuratowski KazimierzK., Rachunek różniczkowy i całkowy. Funkcje jednej zmiennej, Warszawa: PWN, 1961 .
• FranciszekF. Leja FranciszekF., Rachunek różniczkowy i całkowy, wyd. 11, Warszawa: PWN, 1971 .
• JulianJ. Musielak JulianJ., HelenaH. Musielak HelenaH., Analiza matematyczna I/1, Poznań: Wydawnictwo Naukowe UAM, 2000 .
• FranciszekF. Prus-Wiśniowski FranciszekF., A Refinement of Raabe’s Test, „The American Mathematical Monthly”, 115 (3), marzec 2008, s. 249–252, JSTOR: 27642449 .
• FranciszekF. Prus-Wiśniowski FranciszekF., Comparison of Raabe’s and Schlömilch’s tests, „Tatra Mt. Math. Publ”, 42, 2009, s. 119–130 .
• B.B. Ram B.B., V.K.V.K. Srinivasan V.K.V.K., Remarks on Raabe’s test in infinite series, „International Journal of Mathematical Education in Science and Technology”, 9 (3), 1978, s. 361–363 .
• Karl R.K.R. Stromberg Karl R.K.R., An Introduction to Classical Real Analysis, Providence, Rhode Island: AMS Chelsea Publishing, 2015, ISBN 978-1-4704-2544-9 .