4
4.1 Szeregi liczbowe
■ - . . . . , / . . . . . , Definicja 4.1.1 (szereg zbiezny, suma szeregu, szereg, rozbieżny)
Mówimy, że szereg o wyrazach zespolonych jest zbieżny, jeśli ciąg (Sn) jego sum częściowych, gdzie
r> def
Sn — Z\ + 22 + • • ■ + Z„,
jest zbieżny do granicy właściwej. Granicę tę nazywamy sumą szeregu. Szereg, który nie jest zbieżny, nazywamy rozbieżnym.
• Fakt 4.1.2 (zbieżność szeregu a zbieżność jego części rzeczywistej i urojonej) Niech zn = z„ + iyn, gdzie xni yn € R dla n 6 IV. Wówczas szereg zespolony
CO
n = l
jest zbieżny wtedy i tylko wtedy, gdy zbieżne są szeregi rzeczywiste
Zachodzi przy tym równość
O Ćwiczenie 4.1.3
Korzystając z powyższego faktu zbadać zbieżność podanych szeregów:
OO
c)E—-
' n + 1
. 3 + 2ni , . V~' :
E sr-t b) E
5'
3 + 2ni b^2"_+,3": c_ , _
i + i
• Twierdzenie 4.1.4 (warunek konieczny zbieżności szeregów)
OO
Jeśli szereg ) zn jest zbieżny, to lim z„ = 0.
' n — co
n= 1
O Ćwiczenie 4.1.5
Uzasadnić, że podane szeregi są rozbieżne:
• Definicja 4*.1.6 (zbieżność bezwzględna szereguj
oo oo
Mówimy, że szereg ^ zn jest zbieżny bezwzględnie, jeśli szereg |z„ | jest zbieżny.
• Twierdzenie 4.1.7 (zbieżność szeregów bezwzględnie zbieżnych)
Szereg zbieżny bezwzględnie jest zbieżny.
• Definicja 4.1.8 (zbieżność.warunkowa)
Szereg, który jest zbieżny, ale nie jest zbieżny bezwzględnie, nazywamy zbieżnym warunkowo.
• Twierdzenie 4.1.9 (kryterium porównawcze)
oo oo
Jeśli |zn| a„ dla n ^ n0 i szereg ^ a„ jest zbieżny, to szereg ^ zn jest zbieżny
n = l
. n = 1
bezwzględnie.
• Twierdzenie 4.1.10 (kryterium d’Alemberta ’)
zn + l
Niech lim
n-*oo
= q. Wówczas, jeśli q < 1, to szereg ^ zn jest zbieżny bez-
n=l
względnie, a jeśli q > 1, to szereg ten jest rozbieżny.
• Twierdzenie 4.1.11 (kryterium Cauchy’ego)
OO
Niech lim = 9- Wówczas, jeśli q < 1, to szereg zn jest zbieżny bez-
n—*oo t..—j
n = l
względnie, a jeśli q > 1, to szereg ten jest rozbieżny.
O Ćwiczenie 4.1.12
Korzystając z powyższych kryteriów zbadać zbieżność podanych szeregów:
\ V'' n(3* — l)n , . » n" , v—' sinn
r. - 1 __ł ' ' __i
d> Eni(*+0"; ') E^(cosT+,sinT); f)E!
n*l n=1 n=1 "Jean Le Rond d’Alembert (1717-1783), matematyk francuski.