Analiza matematyczna 1/Wykład 6: Szeregi liczbowe

6. Szeregi liczbowe

Wykład ten poświęcony jest szeregom liczbowym. Definiujemy pojęcia szeregu, szeregu zbieżnego. Podajemy warunek konieczny i warunek Cauchy'ego zbieżności szeregów. Dowodzimy kryterium porównawczego zbieżności szeregów oraz twierdzenie o grupowaniu wyrazów szeregu. Dowodzimy rozbieżności szeregu harmonicznego.

Definicja 6.1.

Niech $\{a_n\}\subseteq \mathbb{ℝ}$ będzie ciągiem liczbowym.
(1) Szeregiem o wyrazach $a_n$ ($n\in \mathbb{\mathbb{N}}$) nazywamy ciąg $\{S_k{\}}_{k\in \mathbb{\mathbb{N}}},$ zwany ciągiem sum częściowych, gdzie $S_k=\sum _{n=1}^k{a}_n$ dla $k\in \mathbb{\mathbb{N}}.$
Szereg oznaczamy przez

$\sum _{n=1}^{\mathrm{\infty }}{a}_n,\sum a_n\text{<mrow data-mjx-texclass="ORD">lub</mrow>}{a}_1+a_2+\dots .$

(2) Szereg nazywamy zbieżnym, jeśli ciąg sum częściowych jest zbieżny.
Sumą szeregu nazywamy granicę ciągu sum częściowych i oznaczamy tym samym symbolem co szereg, to znaczy $\sum _{n=1}^{\mathrm{\infty }}{a}_n=\lim {}_{k\to +\mathrm{\infty }}{S}_k.$
(3) Jeśli ciąg sum częściowych jest rozbieżny do $\pm \mathrm{\infty },$ to mówimy, że szereg jest rozbieżny do $\pm \mathrm{\infty }$ (lub, że ma sumę niewłaściwą $\pm \mathrm{\infty }$) i piszemy $\sum _{n=1}^{\mathrm{\infty }}{a}_n=\pm \mathrm{\infty }.$
(4) Mówimy, że szereg jest bezwzględnie zbieżny, jeśli szereg $\sum _{n=1}^{\mathrm{\infty }}|a_n|$ jest zbieżny.
(5) Mówimy, że szereg jest warunkowo zbieżny, jeśli jest on zbieżny, ale nie bezwzględnie zbieżny.
(6) Mówimy, że szereg jest rozbieżny, jeśli nie jest zbieżny.

Przykład 6.2.

Szeregiem o wyrazach $a_n=n$ jest $\sum _{n=1}^{\mathrm{\infty }}n.$ Ciąg sum częściowych tego szeregu, to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle S_k \ =\ 1+2+\ldots+k=\frac{k(k+1)}{2}. }

Szereg ten jest rozbieżny.

Zachodzi następujący warunek konieczny zbieżności szeregów. Pozwala on w stosunkowo prosty sposób stwierdzić brak zbieżności dla pewnych szeregów (nie spełniających tego warunku).

Twierdzenie 6.3. [Warunek konieczny zbieżności szeregów]

Jeśli szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny, to $\lim {}_{n\to +\mathrm{\infty }}{a}_n=0.$

Dowód twierdzenia 6.3.

Niech $S_n=\sum _{i=0}^n{a}_i$ będzie ciągiem sum częściowych szeregu. Z założenia wiemy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \exists S\in\mathbb{R}:\ \lim\limits_{n\rightarrow +\infty} S_n=S. }

Zauważmy, że

$\mathrm{\forall }n\in \mathbb{\mathbb{N}}:a_n=S_n-S_{n-1},$

zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} a_n \ =\ \lim\limits_{n\rightarrow +\infty} (S_n-S_{n+1}) \ =\ \lim\limits_{n\rightarrow +\infty} S_n- \lim\limits_{n\rightarrow +\infty} S_{n-1} \ =\ S-S \ =\ 0. }

Przykład 6.4.

Zbadać zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}\frac{n}{2}\sin \frac{1}{n}.$
Licząc granicę wyrazów tego szeregu dostajemy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} a_n \ =\ \lim\limits_{n\rightarrow +\infty} \frac{n}{2}\sin\frac{1}{n} \ =\ \frac{1}{2}\lim\limits_{n\rightarrow +\infty} \frac{\sin\frac{1}{n}}{\frac{1}{n}} \ =\ \frac{1}{2} \ \ne\ 0, }

zatem nie jest spełniony warunek konieczny zbieżności szeregów (porównaj twierdzenie 6.3.). Szereg jest rozbieżny.

Przykład 6.5.

Z szeregiem geometrycznym $\sum _{n=1}^{\mathrm{\infty }}a{q}^n$ spotkaliśmy się już na wykładzie 1 (patrz Przykład przykład 1.12.). Przypomnijmy, że jeśli $a\ne 0,$ to jest on zbieżny wtedy i tylko wtedy, gdy $|q|<1$ i wówczas

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{n=1}^{\infty} a q^n \ =\ \frac{a}{1-q}. }

Najprostszymi działaniami jakie możemy wykonać na szeregach są dodawanie/odejmowanie szeregów i mnożenie szeregu przez liczbę. Kolejne twierdzenie mówi, iż operacje te "zachowują" zbieżność. Dowód (oparty na twierdzeniu o arytmetyce granic ciągów) pozostawiamy jako proste ćwiczenie.

Twierdzenie 6.6. [Działania na szeregach]

Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ i $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ są dwoma szeregami zbieżnymi oraz $\lambda \in \mathbb{ℝ},$ to
(1) szeregi $\sum _{n=1}^{\mathrm{\infty }}(a_n\pm b_n)$ są zbieżne oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{n=1}^{\infty} (a_n\pm b_n) \ =\ \displaystyle \sum_{n=1}^{\infty} a_n \ +\ \displaystyle \sum_{n=1}^{\infty} b_n; }

(2) szereg $\sum _{n=1}^{\mathrm{\infty }}\lambda a_n$ jest zbieżny oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{n=1}^{\infty} \lambda a_n \ =\ \lambda\cdot\displaystyle \sum_{n=1}^{\infty} a_n. }

Ponieważ szereg jest ciągiem (zwanym ciągiem sum częściowych) więc wszystkie twierdzenia dotyczące ciągów można przenieść na pojęcie szeregu. W szczególności dla ciągu sum częściowych $\{S_n\}$ szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ prawdziwe jest twierdzenie, że ciąg ten jest zbieżny wtedy i tylko wtedy, gdy spełnia warunek Cauchy'ego. Mówi o tym poniższe twierdzenie.

Twierdzenie 6.7. [Warunek Cauchy'ego zbieżności szeregów]

Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem, to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny wtedy i tylko wtedy, gdy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall \varepsilon>0\ \ \exists N\in\mathbb{N}\ \ \forall m>n\ge N:\ \ \ \big|a_{n+1}+\ldots a_m\big|<\varepsilon. }

Powyższy warunek nazywamy warunkiem Cauchy'ego dla szeregów.

Zauważmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \big|a_{n+1}+\ldots a_m\big| \ =\ |S_m-S_n|, }

czyli warunek w powyższej definicji jest dokładnie warunkiem Cauchy'ego dla ciągów.

Kolejne twierdzenie będziemy często wykorzystywać przy sprawdzaniu czy dany szereg jest zbieżny.

Twierdzenie 6.8. [Zbieżność a bezwzględna zbieżność]

Jeśli szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest bezwzględnie zbieżny, to jest on zbieżny.

Dowód twierdzenia 6.8.

Mamy pokazać zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n.$ Ustalmy dowolne $\epsilon >0.$ Ponieważ szereg $\sum _{n=1}^{\mathrm{\infty }}|a_n|$ jest zbieżny, więc spełnia warunek Cauchy'ego dla szeregów (patrz twierdzenie 6.7.), zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \exists N\in \mathbb{N}\ \forall m>n\ge N:\ |a_{n+1}|+\ldots+|a_m|<\varepsilon. }

Zatem dla dowolnych $m>n\ge N,$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle |a_{n+1}+\ldots+a_m| \ \le\ |a_{n+1}|+\ldots+|a_m|<\varepsilon, }

czyli szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ spełnia warunek Cauchy'ego dla szeregów. Korzystając ponownie z twierdzenie 6.7. otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.

Oprócz warunku koniecznego zbieżności szeregów (pomocnego przy rozstrzyganiu zbieżności szeregów) można podać wiele warunków wystarczających zbieżności szeregów. Warunki te nazywamy kryteriami. Podstawowym kryterium w teorii szeregów jest poniższe kryterium porównawcze. Mówi ono, że jeśli wyrazy szeregu szacują się przez wyrazy innego szeregu zbieżnego (przynajmniej "od pewnego miejsca"), to wyjściowy szereg też jest zbieżny.

Twierdzenie 6.9. [Kryterium porównawcze zbieżności szeregów]

Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n,\sum _{n=1}^{\mathrm{\infty }}{b}_n$ są szeregami takimi, że $a_n\ge 0,b_n\ge 0$ dla $n\in \mathbb{\mathbb{N}}$ oraz

$\mathrm{\exists }N\in \mathbb{\mathbb{N}}\mathrm{\forall }n\ge N:a_n\le b_n,$

to
(1) jeśli szereg $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ jest zbieżny, to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny;
(2) jeśli szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest rozbieżny, to szereg $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ jest rozbieżny.

Dowód twierdzenia 6.9.

(Ad (1)) Oznaczmy sumy częściowe obu szeregów odpowiednio przez:

$A_n=\sum _{k=1}^n{a}_n,B_n=\sum _{k=1}^n{b}_n.$

Ciągi $\{A_n\}$ i $\{B_n\}$ są rosnące (gdyż szeregi mają wyrazy nieujemne). Ciąg $\{B_n\}$ jako zbieżny jest ograniczony, to znaczy

$\mathrm{\exists }B\in \mathbb{ℝ}\mathrm{\forall }n\in \mathbb{\mathbb{N}}:|B_n|\le B.$

Dla $n\ge N,$ mamy zatem

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned A_n & = & a_1+\ldots+a_N+a_{N+1}+\ldots+a_n \ \le\ a_1+\ldots a_N+b_{N+1}+\ldots+b_n\\ & = & a_1+\ldots a_N+B_n-(b_1+\ldots+b_N) \ \le\ a_1+\ldots a_N-(b_1+\ldots+b_N) +B, \endaligned}

zatem ciąg $\{A_n\}$ jest ograniczony. Z twierdzenia 4.15. (1) wnioskujemy, że jest on zbieżny. Zatem szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.
(Ad (2)) Jest to równoważne (1).

Kolejne twierdzenie mówi o szeregu, w którym pogrupowano pewne wyrazy, to znaczy policzono sumy kolejnych wyrazów pogrupowanych w skończone grupy, to znaczy

$(a_1+\dots +a_{l_1-1})+(a_{l_2}+\dots +a_{l_3-1})+(a_{l_3}+\dots +a_{l_4-1})+\dots .$

Twierdzenie 6.10. [O grupowaniu wyrazów szeregu]

Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem zbieżnym, $\{l_n\}\subseteq \mathbb{\mathbb{N}}$ jest ciągiem silnie rosnącym takim, że $l_1=1$, to szereg $\sum _{n=1}^{\mathrm{\infty }}(a_{l_n}+a_{l_n+1}+\dots +a_{l_{n+1}-1})$ jest zbieżny oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{n=1}^{\infty}\big(a_{l_n}+a_{l_n+1}+\ldots+a_{l_{n+1}-1}\big) \ =\ \displaystyle \sum_{n=1}^{\infty} a_n. }

Dowód twierdzenia 6.10.

Zauważmy, że ciąg sum częściowych szeregu pogrupowanego jest podciągiem ciągu sum częściowych wyjściowego szeregu. Wystarczy zatem zastosować twierdzenie 3.25. Szczegóły pozostawiamy jako proste ćwiczenie.

Wniosek 6.11.

Jako konsekwencję powyższego twierdzenia dostajemy stwierdzenie, że "jeśli po pogrupowaniu wyrazów szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ otrzymamy szereg rozbieżny, to wyjściowy szereg też był rozbieżny".

Uwaga 6.12.

Twierdzenie odwrotne do twierdzenia Uzupelnic t.new.am1.w.06.100| nie jest prawdziwe.

Aby to sprawdzić rozważmy szereg następujący szereg naprzemienny

$\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n.$

Oczywiście jest to szereg rozbieżny, gdyż nie spełnia warunku koniecznego zbieżności szeregów. Pogrupujmy wyrazy tego szeregu "po dwa", to znaczy

$\underbrace{(1-1)}{}_{=0}+\underbrace{(1-1)}{}_{=0}+\underbrace{(1-1)}{}_{=0}+\dots$

W ten sposób szereg pogrupowany jest szeregiem zerowym $\sum _{n=1}^{\mathrm{\infty }}0.$ Jest on oczywiście zbieżny (do zera). Zatem ze zbieżności szeregu pogrupowanego nie można nic wnioskować o zbieżności wyjściowego szeregu.

Uwaga 6.13.

W pewnych jednak sytuacjach ze zbieżności szeregu pogrupowanego można wnioskować o zbieżności szeregu wyjściowego. Jest tak na przykład w przypadku szeregów o wyrazach nieujemnych. Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem o wyrazach nieujemnych, to zbieżność tego szeregu jest równoważna zbieżności szeregu pogrupowanego. Załóżmy bowiem, że szereg pogrupowany jest zbieżny. Wówczas jego ciąg sum częściowych jest ograniczony, powiedzmy przez $M>0.$ Ale wtedy ciąg sum częściowych całego szeregu jest też ograniczony przez $M$ (dlaczego?). Ponieważ ponadto ciąg sum częściowych szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest rosnący (bo wyrazy $a_n$ są nieujemne), zatem jest on zbieżny. Szczegółowe rozpisanie tego rozumowania pozostawiamy jako ćwiczenie.

Na zakończenie podamy ważny przykład szeregu liczbowego, zwanego szeregiem harmonicznym oraz pewne jego uogólnienie. Szereg ten będzie miał istotne zastosowanie w badaniu zbieżności innych szeregów dzięki kryterium porównawczemu.

Przykład 6.14.

Szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}$ jest rozbieżny. Nazywamy go szeregiem harmonicznym.

Dowód przykładu 6.14.

Aby stwierdzić rozbieżność szeregu harmonicznego, pogrupujmy jego wyrazy w następujący sposób:

$\underbrace{1}{}_{=p_0\ge 1}+\underbrace{\frac{1}{2}}{}_{=p_1\ge \frac{1}{2}}+\underbrace{(\frac{1}{3}+\frac{1}{4})}{}_{=p_2\ge 2\cdot \frac{1}{4}}+\underbrace{(\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8})}{}_{=p_3\ge 4\cdot \frac{1}{8}}+\underbrace{(\frac{1}{9}+\dots +\frac{1}{16})}{}_{=p_4\ge 8\cdot \frac{1}{16}}+\dots$

Każda kolejna grup począwszy od drugiej ma dwa razy więcej składników od poprzedniej oraz wyrazy w każdej grupie szacują się od dołu przez ostatni składnik postaci $\frac{1}{2^k},$ gdzie $k$ jest numerem "grupy". Jeśli szereg który otrzymamy po pogrupowaniu wyrazów oznaczymy $\sum _{k=1}^{\mathrm{\infty }}{p}_k,$ to zachodzi następujące oszacowanie na jego wyrazy:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall k\in\mathbb{N}:\ p_k\ge \frac{1}{2} }

(patrz powyższy opis). Zatem szereg $\sum _{k=1}^{\mathrm{\infty }}{p}_k$ nie spełnia warunku koniecznego zbieżności szeregów, a więc jest rozbieżny. Z kryterium porównawczego zbieżności szeregów (patrz twierdzenie 6.9.) wynika, że szereg pogrupowany jest także rozbieżny. Z wniosku 6.11. wynika, że wyjściowy szereg harmoniczny jest rozbieżny.

Przykład 6.15.

Szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{\alpha }}$ jest zbieżny wtedy i tylko wtedy, gdy $\alpha >1.$ Nazywamy go uogólnionym szeregiem harmonicznym z wykładnikiem $\alpha .$

Dowód przykładu 6.15.

(Dowód nadobowiązkowy.)
Jeśli $\alpha \le 1$ to zauważmy, że

$\mathrm{\forall }n\in \mathbb{\mathbb{N}}:\frac{1}{n^{\alpha }}\ge \frac{1}{n},$

zatem korzystając z kryterium porównawczego (patrz twierdzenie 6.9.) oraz udowodnionej już rozbieżności szeregu harmonicznego dostajemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{\alpha }}$ jest rozbieżny.
Załóżmy teraz, że $\alpha >1.$ Zapiszmy $\alpha =1+\beta$ z pewnym $\beta >0.$ Zauważmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall n\in\mathbb{N}: \frac{1}{n^{\alpha}} +\frac{1}{(n+1)^{\alpha}} +\ldots+ \frac{1}{(2n-1)^{\alpha}} \ \le\ \frac{n}{n^{\alpha}} \ =\ \frac{1}{n^{\beta}}. }

Pogrupujmy wyrazy szeregu podobnie jak w części pierwsze dowodu oraz skorzystajmy z oszacowania powyżej:

$\underbrace{1^{\alpha }}{}_{=p_0\le 1}+\underbrace{\frac{1}{2^{\alpha }}}{}_{=p_1\le \frac{1}{2^{\beta }}}+\underbrace{(\frac{1}{3^{\alpha }}+\frac{1}{4^{\alpha }})}{}_{=p_2\le \frac{1}{4^{\beta }}}+\underbrace{(\frac{1}{5^{\alpha }}+\frac{1}{6^{\alpha }}+\frac{1}{7^{\alpha }}+\frac{1}{8^{\alpha }})}{}_{=p_3\le \frac{1}{8^{\beta }}}+\underbrace{(\frac{1}{9^{\alpha }}+\dots +\frac{1}{16^{\alpha }})}{}_{=p_4\le \frac{1}{16^{\beta }}}+\dots$

Jeśli szereg, który otrzymamy po pogrupowaniu wyrazów oznaczymy $\sum _{k=1}^{\mathrm{\infty }}{p}_k,$ to zachodzi następujące oszacowanie na jego wyrazy:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall k\in\mathbb{N}:\ p_k\le \frac{1}{(2^{\beta})^k} }

Ale szereg o wyrazach $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{(2^{\beta }{)}^k}$ jest szeregiem geometrycznym zbieżnym (jego suma wynosi $\frac{1}{1-\frac{1}{2^{\beta }}}$). Zatem z kryterium porównawczego (patrz twierdzenie 6.9.) wynika, że także szereg pogrupowany $\sum _{k=1}^{\mathrm{\infty }}{p}_k$ jest zbieżny. Ponieważ w naszej sytuacji mamy do czynienia z szeregiem o wyrazach dodatnich, więc ze zbieżności szeregu pogrupowanego możemy wnioskować o zbieżności szeregu wyjściowego (patrz uwaga 6.13.).