72 Rozdział Ą. Ciągi i szeregi
Twierdzenie 4.52. (kryterium d’Alemberta5 zbieżności szeregów). Dany jest ciąg (an)^=1, (an) G R, a„ / 0.
(1) Jeśli lim , | < 1, to szereg V an jest bezwzględnie zbieżny.
n—>°° ‘ n=1
(2) Jeśli lim , f r > 1, to szereg V) an jest rozbieżny.
n—»oo \an\
oo
Przykład 4.53. Szereg ^ jest zbieżny, ponieważ
n=l
lim -= 0 < 1.
n-+oo n+1
(+T)! 2n+1 n! 2-2" n\
lim -—on = lim 7-—7 • — = lim ——-- • —
n—»oo A- n—>oo (n Tl)! 2n n—>00 n\(jl + 1) 2n
Uwaga 4.54. Przy okazji otrzymujemy, na podstawie warunku koniecznego zbieżności szeregu, że lim — o. Popatrzmy ogólniej na powyższe spostrze-
n—>00 n-
00
żenie. By dowieść, że lim an = 0, wystarczy pokazać, że szereg V) an jest
n->°° „=1
zbieżny, na przykład na podstawie kryterium Cauchy’ego lub d’Alemberta.
OO n
Przykład 4.55. Szereg 'jTj co^il jest bezwzględnie zbieżny. Zauważmy naj-
n= 1
00
pierw, że szereg ^2 jest zbieżny, gdyż
n= 1
lim
n—*00
1
(n+1)!
T
n!
= lim
n\
lim
1
n—>oc n!(n 4- 1) n—>00 n+1
Możemy również oszacować • co^,n I ^ zatem - zgodnie z kryterium
OO n
porównawczym - szereg | co^ | jest zbieżny, co daje zbieżność bezwzględną
n= 1 00
szeregu £
71=1
Nie wszystkie szeregi zbieżne są bezwzględnie zbieżne.
00
Definicja 4.56. Szereg ^ an nazywamy warunkowo zbieżnym, jeśli szereg
n=l
oo
an jest zbieżny, a nie jest bezwzględnie zbieżny.
n=l
°Jean d’Alembert (1717-1783), francuski filozof i matematyk; jego prace matematyczne dotyczyły głównie równań różniczkowych.