Badanie zbie»no±ci szeregów w wi¦kszo±ci przypadków mo»na sprowadzi¢ do zastosowania jednego z nast¦puj¡cych kilku kryteriów.
Twierdzenie 4.4 (kryterium porównawcze).
(i) Je»eli |an| ≤ bn i szereg P∞
n=1bn jest zbie»ny, to szeregP∞
n=1an te» jest zbie»ny.
(ii) Je»eli 0 ≤ an ≤ bn i szereg P∞
n=1an jest rozbie»ny, to szereg P∞
n=1bn
te» jest rozbie»ny.
Dowód. (i) Skoro P
bn jest zbie»ny, to ci¡g jego sum cz¦±ciowych speªnia warunek Cauchy'ego. Z drugiej strony mamy
|an+ an+1+ · · · + an+k| ≤ |an| + |an+1| + · · · + |an+k|
≤ bn+ bn+1+ · · · + bn+k = |bn+ bn+1+ · · · + bn+k|.
Ci¡g sum cz¦±ciowych szeregu P
an te» speªnia wi¦c warunek Cauchy'ego.
(ii) Szereg P
an ma wyrazy nieujemne, i jest rozbie»ny, wi¦c jego ci¡g sum cz¦±ciowych jest rosn¡cy (mo»e sªabo), a skoro nie jest zbie»ny, to nie jest ograniczony. Ci¡g sum cz¦±ciowych szeregu P
bn ma wyrazy nie mniejsze, wi¦c te» nie jest ograniczony, a wi¦c nie mo»e by¢ zbie»ny.
Uwaga: Wystarcz, »e oszacowania s¡ speªnione tylko od pewnego miejsca.
Przykªady: (a) Szereg P∞
n=1 1
n2+2n jest zbie»ny, bo 1
n2+ 2n ≤ 1
n2+ n = 1 n(n + 1).
(b) Szereg P∞
n=1 1
n+1 jest rozbie»ny, bo 1
n + 1 ≥ 1
n + n = 1 2n, a szereg P 1
2n jest rozbie»ny. Zauwa»my, »e w tym przykªadzie oszacowanie
1
n+1 < n1 nic nie daje.
Twierdzenie 4.5 (kryterium o zag¦szczaniu). Niech ci¡g {an}b¦dzie dodatni i sªabo malej¡cy, a1 ≥ a2 ≥ · · · ≥ 0. Wówczas szereg P∞
n=1an jest zbie»ny wtedy i tylko wtedy, gdy szereg P∞
n=12na2n jest zbie»ny.
Powy»sze kryterium nie rozstrzyga w sposób bezpo±redni, czy dany sz-ereg jest zbie»ny, czy nie, ale pozwala sprowadzi¢ badanie zbie»no±ci jednego szeregu do badania zbie»no±ci innego szeregu.
Dowód. Oznaczmy przez {sn} ci¡g sum cz¦±ciowych szeregu P
an, a przez {s0n}ci¡g sum cz¦±ciowych szeregu P
2na2n. Poniewa» wyrazy obu szeregów s¡ nieujemne, to oba ci¡gi sum cz¦±ciowych s¡ niemalej¡ce. Poka»emy, u»y-waj¡c odpowiednich szacowa«, »e ci¡gi te s¡ równocze±nie ograniczone lub nieograniczone. Mamy
sn= a1+ a2+ a3+ · · · + an, s0n = 2 · a2+ 4 · a4+ 8 · a8+ . . . 2n· a2n
= 2 (a2+ 2 · a4+ 4 · a8 + · · · + 2n−1· a2n).
Zauwa»my wi¦c, »e 1
2s0n= a2+ 2 · a4+ 4 · a8+ · · · + 2n−1· a2n
≤ a1+ a2 + a3+ a4+ · · · + a2n−1+ a2n
= s2n
Do sumy po lewej stronie dodali±my a1 ≥ 0, a ka»dy skªadnik sumy 2k−1· a2k zast¡pili±my nie mniejszym wyra»eniem a2k−1+1 + · · · + a2k, k = 1, . . . , n.
Je»eli ci¡g {sn} jest ograniczony to ograniczony jest te» ci¡g {s0n}. Z drugiej strony zauwa»my, »e
s2n+1−1 = a1+ a2+ a3+ a4+ · · · + a2n+1−1
≤ a1+ 2 · a2+ 4 · a4 + · · · + 2n· a2n
= a1+ s0n.
Nierówno±¢ uzyskali±my zast¦puj¡c sumy a2k+a2k+1+· · ·+a2k+1−1 (2k skªad-ników sumy) przez nie mniejsze wyra»enie 2k · a2k, k = 1, . . . , n. Je»eli ci¡g {s0n} jest ograniczony, to z powy»szej nierówno±ci wynika, »e podci¡g {s2n+1−1}ci¡gu {sn} te» jest ograniczony. Ci¡g {sn}jest niemalej¡cy, i zaw-iera podci¡g ograniczony, a wi¦c caªy musi by¢ ograniczony (¢wiczenie).
Przykªad: Rozpatrzymy teraz szeregi postaci P∞
n=1 1
np. Je»eli p ≤ 0 to ci¡g {n1p nie jest zbie»ny do 0, a wi¦c szereg nie mo»e by¢ zbie»ny. Je»eli p > 0 to ci¡g {n1p jest dodatni i malej¡cy, a wi¦c speªnia zaªo»enia kryterium o zag¦szczaniu. Zamiast szeregu P 1
np rozwa»my wi¦c szereg o wyrazach 2n 1
(2n)p = 2n 1
2n·p = 1 2n·(p−1) =
µ 1 2p−1
¶n .
Szereg P
(2p−11 )n jest szeregiem geometrycznym. Je»eli p − 1 > 0 to iloraz szeregu 2p−11 < 1 i szereg jest zbie»ny, natomiast je»eli p − 1 ≤ 1, to iloraz
1
2p−1 ≥ 1, i szereg nie jest zbie»ny. Mamy wi¦c X∞
n=1
1
np ←
( zbie»ny je»eli p > 1,
rozbie»ny je»eli p ≤ 1. (4.1) Zauwa»my, »e przypadek p = 1 zrobili±my ju» wcze±niej. Szeregi tej postaci s¡ bardzo przydatne. Je»eli wyrazy jakiego± badanego szeregu mo»na w jakikolwiek sposób oszacowa¢ przez funkcj¦ pot¦gow¡ n, to powstaªy szereg mo»emy porówna¢ z szeregami (4.1), których zbie»no±¢ jest rozstrzygni¦ta w zale»no±ci od p.
Twierdzenie 4.6 (kryterium d'Alemberta). Niech {an} b¦dzie ci¡giem o wyrazach ró»nych od 0. Wtedy
(i) je»eli lim supn→∞|an+1an | < 1 to szereg P
an jest zbie»ny, (ii) je»eli lim infn→∞|an+1an | > 1 to szereg P
an jest rozbie»ny (obejmuje to te» przypadek granicy niewªa±ciwej limn→∞|an+1a
n | = +∞).
Dowód. (i) Zauwa»my, »e skoro granica górna ci¡gu |an+1an | jest mniejsza od 1, to istniej¡ 0 < c < 1 oraz n0 ∈ Ntakie, »e dla n ≥ n0
¯¯
¯¯an+1
an
¯¯
¯¯ ≤ c,
w szczególno±ci dla k ≥ 0
Iloczyn pojawiaj¡cy si¦ w (4.2) nazywa si¦ czasem iloczynem teleskopowym, gdy» wysuwamy b¡d¹ chowamy potrzebn¡ ilo±¢ czynników. Ci¡g {an}speªnia wi¦c (dla n ≥ n0) nierówno±¢
|an| ≤ |an0|
cn0 · cn, 0 < c < 1, czyli jest zbie»ny z kryterium porównawczego.
(ii) Zauwa»my, »e skoro granica dolna ci¡gu |an+1an | jest wi¦ksza od 1 (a tak»e
Podobnie jak w poprzednim przypadku, dla k ≥ 0 mamy
|an0+k| =
an musi wi¦c by¢ rozbie»ny.
Kryterium d'Alemberta pozostawia wiele przypadków nierozstrzygni¦-tych. Na przykªad dla szeregów postaciP 1
np mamy
Ten rodzaj szeregów nie jest obj¦ty ani przez (i) ani przez (ii) przypadek kryterium d'Alemberta. Istotnie, jak wiemy szeregi tego rodzaju mog¡ by¢
zbie»ne lub rozbie»ne, w zale»no±ci od parametru p.
Twierdzenie 4.7 (kryterium Cauchy'ego). Niech dany b¦dzie ci¡g {an} i niech
g = lim sup
n→∞
pn
|an|, granica wªa±ciwa lub niewªa±ciwa.
Wtedy
(i) je»eli g < 1 to szereg P
an jest zbie»ny, (ii) je»eli g > 1 to szereg P
an jest rozbie»ny (obejmuje to tak»e przypadek granicy górnej niewªa±ciwej g = +∞).
Dowód. (i) Podobnie jak w przypadku kryterium d'Alemberta, istniej¡ 0 <
c < 1 i n0 ∈ Ntakie, »e dla n ≥ n0
pn
|an| ≤ c ⇒ |an| ≤ cn, czyli z kryterium porównawczego szeregP
an jest zbie»ny.
(ii) Je»eli g > 1, to istieje podci¡g {ank} taki, »e |ank| ≥ 1. Ci¡g {an} nie mo»e wi¦c by¢ zbie»ny do 0, a wi¦c szereg P
an nie jest zbie»ny,
Uwagi: (i) Podobnie jak w przypadku kryterium d'Alemberta kryterium Cauchy'ego pozostawia nierozstrzygni¦ty przypadek g = 1. W takim przy-padku dla ró»nych szeregów mo»e by¢ ró»nie.
(ii) Oba kryteria maj¡ zastosowanie dla szeregów o wyrazach zespolonych.
Warto±¢ bezwzgl¦dna jest wtedy moduªem liczby zespolonej.
Przyklad: Szereg P∞
n=0 1
Korzystaj¡c z kryterium d'Alemberta otrzymujemy, »e szeregP 1
n! jest zbie»ny.
Przypomnijmy, »e liczba e jest granic¡
e = lim
Dowodz¡c istnienia tej granicy pokazali±my w (3.4), »e µ gdzie {sn} jest ci¡giem sum cz¦±ciowych szeregu P∞
n=0 1
n!. Przechodz¡c do granicy po n po obu stronach nierówno±ci otrzymujemy
e ≤ X∞ n=0
1
n!. (4.4)
Z drugiej strony, ustalmy k ∈ N i niech n ≥ k. Wtedy z rozwini¦cia (3.3) (ucinaj¡c rozwini¦cie po k-tym wyrazie) mamy
µ
Przechodz¡c do granicy wzgl¦dem n po obu stronach nierówno±ci (k po-zostawiaj¡c ustalone) otrzymujemy
e ≥ 1 + 1 + 1 2! + 1
3!+ · · · + 1 k! = sk,
dla ka»dego k ∈ N. Teraz przechodz¡c do granicy po k (lewa strona jest staªa) otrzymujemy
Denicja 4.8. Je»eli szereg P
|an| jest zbie»ny, to mówimy, »e szereg P an jest zbie»ny absolutnie. Je»eli szereg P
an jest zbie»ny, ale nie jest zbie»ny absolutnie (to znaczy szereg P
|an| nie jest zbie»ny), to mówimy, »e szereg Pan jest zbie»ny warunkowo.
Uwagi: (i) Je»eli szereg jest zbie»ny absolutnie to jest te» zbie»ny w zwykªym sensie. Wynika to z warunku Cauchy'ego:
|an+1+ an+2+ · · · + am| ≤ |an+1| + |an+2| + · · · + |am|.
Je»eli P
|an| jest zbie»ny, to speªnia warunek Cauchy'ego, a wi¦c P an te»
speªnia warunek Cauchy'ego, czyli te» jest zbie»ny. Zbie»no±¢ absolutna jest to wi¦c szczególny rodzaj zbie»no±ci.
(ii) Je»eli wyrazy szeregu P
an nie zmieniaj¡ znaku, to zbie»no±¢ abso-lutna wynika ze zbie»no±ci zwykªej, i oba rodzaje zbie»no±ci s¡ równowa»ne.
Zbie»no±¢ absolutna jest wi¦c istotna dla szeregów których wyrazy zmieniaj¡
znak.
(iii) Zauwa»my, »e wszystkie kryteria zbie»no±ci poznane omawiane doty-chczas dotycz¡ zbie»no±ci absolutnej. adne z tych kryteriów nie umo»liwia