Analiza matematyczna 1/Wykład 7: Szeregi liczbowe. Kryteria zbieżności

{stre}{Streszczenie} {wsk}{Wskazówka} {rozw}{Rozwiązanie} {textt}{} {thm}{Twierdzenie}[section] {stw}[thm]{Stwierdzenie} {lem}[thm]{Lemat} {uwa}[thm]{Uwaga} {exa}[thm]{Example} {dfn}[thm]{Definicja} {wn}[thm]{Wniosek} {prz}[thm]{Przykład} {zadan}[thm]{Zadanie}

{} {}

Szeregi liczbowe. Kryteria zbieżności

Niniejszy wykład jest kontynuacją poprzedniego wykładu dotyczącego szeregów liczbowych. Poznajemy tu dalsze kryteria zbieżności szeregów: d'Alemberta, Cauchy'ego, Leibniza, Dirichleta oraz asymptotyczne. Na zakończenie pokazujemy, że liczna $e$ jest sumą pewnego szeregu.

Na poprzednim wykładzie zostało wprowadzone pojęcie szeregu (patrz Definicja Uzupelnic t.new.am1.w.06.010|). Podany został warunek konieczny zbieżności szeregów (patrz Twierdzenie Uzupelnic t.new.am1.w.06.030|) oraz kryterium porównawcze zbieżności szeregów (patrz Twierdzenie Uzupelnic t.new.am1.w.06.090|). Poniżej podane zostaną inne ważne kryteria (czyli warunki wystarczające) zbieżności szeregów.

Kryteria zbieżności szeregów pozwalają, badając zachowanie się wyrazów $a_n$ szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$, wnioskować o zbieżności (lub rozbieżności) ciągu sum częściowych $\{S_n\}$ (czyli zbieżności szeregu).

Szeregi o wyrazach nieujemnych

Twierdzenie [Uzupelnij]

(Kryterium d'Alemberta zbieżności szeregów)
Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem o wyrazach dodatnich (to znaczy $a_n>0$ dla $n\in \mathbb{\mathbb{N}}$), to
(1) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle\displaystyle \bigg[\exists p<1\ \exists N\in\mathbb{N}\ \ \forall n\ge N:\ \ \frac{a_{n+1}}{a_n}\le p\bigg] \ \ \Longrightarrow\ \ \bigg[\textrm{szereg}\ \displaystyle \sum_{n=1}^{\infty} a_n\ \textrm{jest\ zbieżny}\bigg];}
(2) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle\displaystyle \bigg[\exists N\in\mathbb{N}\ \ \forall n\ge N:\ \ \frac{a_{n+1}}{a_n}\ge 1\bigg] \ \ \Longrightarrow\ \ \bigg[\textrm{szereg}\ \displaystyle \sum_{n=1}^{\infty} a_n\ \textrm{jest\ rozbieżny}\bigg].}

Dowód [Uzupelnij]

(Ad (1)) Warunek $\frac{a_{n+1}}{a_n}\le p<1$ dla $n\ge N$ oznacza, że

$\mathrm{\forall }n\ge N:a_{n+1}\le p\cdot a_n.$

Zatem dla $n\ge N,$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle a_n \ \le\ pa_{n-1} \ \le\ p^2 a_{n-2} \ \le\ \ \ldots\ \le\ p^{n-N}a_N \ =\ p^n\frac{a_N}{p^N}. }

Oznaczając $M=\frac{a_N}{p^N},$ mamy

$\mathrm{\forall }n\ge N:a_n\le M{p}^n,$

zatem wyrazy szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ są oszacowane (od pewnego miejsca) przez wyrazy szeregu geometrycznego $\sum _{n=1}^{\mathrm{\infty }}M{p}^n,$ który jest zbieżny (gdyż $p\in (0,1)$). Korzystając z kryterium porównawczego (patrz Twierdzenie Uzupelnic t.new.am1.w.06.090|) wnioskujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.

(Ad (2)) Z założenia wiemy, że istnieje $N\in \mathbb{\mathbb{N}}$ takie, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall n\ge N:\ \frac{a_{n+1}}{a_n} \ \ge\ 1. }

Wówczas dla dowolnego $n\ge N,$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle a_{n+1} \ \ge\ a_n \ \ge\ a_{n-1} \ \ge\ \ldots \ \ge\ a_N, }

czyli

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall n\ge N:\ a_n \ \ge\ a_N \ >\ 0. }

Zatem oczywiście $a_n⟶̸0$ i stąd szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ nie spełnia warunku koniecznego zbieżności szeregów (patrz Twierdzenie Uzupelnic t.new.am1.w.06.030|) czyli jest rozbieżny.

{black}

Z powyższego kryterium można wywnioskować jego wersję słabszą, ale częściej używaną w zastosowaniach. Mówi ona, że dla szeregów o wyrazach dodatnich, jeśli granica ciągu ilorazów kolejnych wyrazów szeregu istnieje i jest różna od jeden, to potrafimy rozstrzygnąć czy szereg jest zbieżny. Dowód tego wniosku, oparty na Twierdzeniu Uzupelnic t.new.am1.w.07.010| pozostawiamy jako proste (choć nadobowiązkowe) ćwiczenie.

Wniosek [Uzupelnij]

(Kryterium d'Alemberta zbieżności szeregów)
Przy powyższych założeniach:
(1) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\frac{a_{n+1}}{a_n}=r<1,$ to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.
(2) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\frac{a_{n+1}}{a_n}=s>1,$ to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest rozbieżny.
(3) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\frac{a_{n+1}}{a_n}=1,$ to kryterium d'Alemberta nie rozstrzyga czy szereg jest zbieżny.

Przykład [Uzupelnij]

Zbadać zbieżność szeregów:
(1) $\sum _{n=1}^{\mathrm{\infty }}\frac{n^2+2n}{3^n}$
(2) $\sum _{n=1}^{\mathrm{\infty }}\frac{n!}{2^n}$
(3) $\sum _{n=1}^{\mathrm{\infty }}\frac{n^3}{n+1}$
(4) $\sum _{n=1}^{\mathrm{\infty }}\frac{n+1}{n^3}$

Rozwiązanie

(1) W celu zastosowania kryterium d'Alemberta obliczamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \frac{a_{n+1}}{a_n} \ =\ \frac{(n+1)^2+2(n+1)}{3^{n+1}}\cdot\frac{3^n}{n^2+2n} \ = \frac{n^2+4n+3}{3(n^2+2n))}. }

Zatem

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

czyli korzystając z kryterium a'Alemberta (patrz Twierdzenie Uzupelnic w.new.am1.w.07.020|(1)), otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{n^2+2n}{3^n}$ jest zbieżny.

(2) W celu zastosowania kryterium d'Alemberta obliczamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \frac{a_{n+1}}{a_n} \ =\ \frac{(n+1)!}{2^{n+1}}\cdot\frac{2^n}{n!} \ =\ \frac{n+1}{2}. }

Zatem

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

czyli korzystając z kryterium a'Alemberta (patrz Twierdzenie Uzupelnic w.new.am1.w.07.020|(2)), otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{n!}{2^n}$ jest rozbieżny.
(3) W celu zastosowania kryterium d'Alemberta obliczamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \frac{a_{n+1}}{a_n} \ =\ \frac{(n+1)^3}{n+2}\cdot\frac{n+1}{n^3} \ =\ \frac{(n+1)^4}{n^3(n+2)}. }

Zatem

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

czyli kryterium d'Alemberta nie rozstrzyga o zbieżności tego szeregu.
Ale zauważmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty}\frac{n^3}{n+1} \ =\ +\infty }

zatem nie jest spełniony warunek konieczny zbieżności szeregów (patrz Twierdzenie Uzupelnic t.new.am1.w.06.030|), więc szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{n^3}{n+1}$ jest rozbieżny.

(4) W celu zastosowania kryterium d'Alemberta obliczamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \frac{a_{n+1}}{a_n} \ =\ \frac{n+2}{(n+1)^3}\cdot\frac{n^3}{n+1} \ =\ \frac{n^3(n+2)}{(n+1)^4}. }

Zatem

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

czyli kryterium d'Alemberta nie rozstrzyga o zbieżności tego szeregu.
Zauważmy jednak, że

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

oraz szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{2}{n^2}$ jest zbieżny (jako uogólniony szereg harmoniczny z wykładnikiem $\alpha =2>1$; patrz Przykład Uzupelnic p.new.am1.w.06.150|) zatem z kryterium porównawczego (patrz Twierdzenie Uzupelnic t.new.am1.w.06.090|) otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}\frac{n+1}{n^3}$ jest zbieżny.

{}$◻$

Kolejne kryterium zbieżności szeregów bada zachowanie się ciągu $n$-tych pierwiastków z kolejnych wyrazów $a_n.$

Twierdzenie [Uzupelnij]

(Kryterium Cauchy'ego zbieżności szeregów)
Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem o wyrazach nieujemnych (to znaczy $a_n\ge 0$ dla $n\in \mathbb{\mathbb{N}}$), to
(1) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle\displaystyle \bigg[\exists p<1\ \exists N\in\mathbb{N}\ \ \forall n\ge N:\ \ \sqrt[n]{a_n}\le p\bigg] \ \ \Longrightarrow\ \ \bigg[\textrm{szereg}\ \displaystyle \sum_{n=1}^{\infty} a_n\ \textrm{jest\ zbieżny}\bigg];}
(2) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle\displaystyle \bigg[\sqrt[n]{a_n}\ge 1\ \textrm{dla\ nieskończenie\ wielu}\ n\in\mathbb{N}\bigg] \ \ \Longrightarrow\ \ \bigg[\textrm{szereg}\ \displaystyle \sum_{n=1}^{\infty} a_n\ \textrm{jest\ rozbieżny}\bigg].}

Dowód [Uzupelnij]

(Ad (1)) Załóżmy, że $\sqrt[n]{a_n}\le p<1$ dla $n\ge N,$ czyli

$\mathrm{\forall }n\ge N:a_n\le p^n.$

Zatem wyrazy szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ są oszacowane (od pewnego miejsca) przez wyrazy szeregu geometrycznego $\sum _{n=1}^{\mathrm{\infty }}{p}^n,$ który jest zbieżny (bo $p\in (0,1)$). Zatem z kryterium porównawczego (patrz Twierdzenie Uzupelnic t.new.am1.w.06.090|), wynika, że szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.
(Ad (2)) Jeśli $\sqrt[n]{a_n}\ge 1$ dla nieskończenie wielu $n\in \mathbb{\mathbb{N}},$ to także

Parser nie mógł rozpoznać (błąd składni): {\displaystyle a_n\ge 1 \quad\textrm{dla\ nieskończenie\ wielu}\ n\in\mathbb{N}, }

zatem $a_n⟶̸0,$ czyli nie jest spełniony warunek konieczny zbieżności szeregów.

{black}

Podobnie jak w przypadku kryterium d'Alemberta, tak i w przypadku kryterium Cauchy'ego podamy słabszą, ale bardziej praktyczną wersję tego kryterium. Mówi ona, że istnienie granicy pierwiastków $n$-tego stopnia z kolejnych wyrazów szeregu różnej od $1,$ rozstrzyga o zbieżności tego szeregu.

Wniosek [Uzupelnij]

(Kryterium Cauchy'ego zbieżności szeregów)
Przy powyższych założeniach:
(1) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}=r<1,$ to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny.
(2) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}=s>1,$ to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest rozbieżny.
(3) Jeśli $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}=1,$ to kryterium Cauchy'ego nie rozstrzyga czy szereg jest zbieżny.

Przykład [Uzupelnij]

Zbadać zbieżność szeregów:
(1) $\sum _{n=1}^{\mathrm{\infty }}(\frac{n-1}{n}{)}^{n^2}$
(2) $\sum _{n=1}^{\mathrm{\infty }}(\frac{n+1}{n}{)}^{n^2}$
(3) $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{\sqrt{n}}$
(4) $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}$

Rozwiązanie

(1) W celu skorzystania z kryterium Cauchy'ego liczymy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} \sqrt[n]{a_n} \ =\ \lim\limits_{n\rightarrow +\infty}\sqrt[n]{\bigg(\frac{n-1}{n}\bigg)^{n^2}} \ =\ \lim\limits_{n\rightarrow +\infty}\bigg(1-\frac{1}{n}\bigg)^n \ =\ \frac{1}{e} }

(patrz na przykład Zadanie Uzupelnic z.new.am1.c.05.0020|). Ponieważ $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}=\frac{1}{e}<1,$ więc korzystając z kryterium Cauchy'ego (patrz Wniosek Uzupelnic w.new.am1.w.07.050|) otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}(\frac{n-1}{n}{)}^{n^2}$ jest zbieżny.

(2) W celu skorzystania z kryterium Cauchy'ego liczymy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} \sqrt[n]{a_n} \ =\ \lim\limits_{n\rightarrow +\infty} \sqrt[n]{\bigg(\frac{n+1}{n}\bigg)^{n^2}} \ =\ \lim\limits_{n\rightarrow +\infty}\bigg(\frac{n+1}{n}\bigg)^n \ =\ e. }

Ponieważ $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}=e>1$ więc korzystając z kryterium Cauchy'ego (patrz Wniosek Uzupelnic w.new.am1.w.07.050|) otrzymujemy, że szereg $\sum _{n=1}^{\mathrm{\infty }}(\frac{n+1}{n}{)}^{n^2}$ jest rozbieżny.

(3) W celu skorzystania z kryterium Cauchy'ego liczymy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} \sqrt[n]{a_n} \ =\ \lim\limits_{n\rightarrow +\infty}\sqrt[n]{\frac{1}{\sqrt{n}}} \ =\ \lim\limits_{n\rightarrow +\infty} \frac{1}{\sqrt{\sqrt[n]{n}}} \ =\ 1. }

Zatem kryterium Cauchy'ego nie rozstrzyga o zbieżności tego szeregu. Widzimy jednak że szereg ten jest uogólnionym szeregiem harmonicznym z wykładnikiem $\alpha =\frac{1}{2}<1$ (patrz Przykład Uzupelnic p.new.am1.w.06.150|), zatem jest szeregiem rozbieżnym.

(3) W celu skorzystania z kryterium Cauchy'ego liczymy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty} \sqrt[n]{a_n} \ =\ \lim\limits_{n\rightarrow +\infty}\sqrt[n]{\frac{1}{n^2}} \ =\ \lim\limits_{n\rightarrow +\infty} \frac{1}{(\sqrt[n]{n})^2} \ =\ 1. }

Zatem kryterium Cauchy'ego nie rozstrzyga o zbieżności tego szeregu. Widzimy jednak że szereg ten jest uogólnionym szeregiem harmonicznym z wykładnikiem $\alpha =2<1$ (patrz Przykład Uzupelnic p.new.am1.w.06.150|), zatem jest szeregiem zbieżnym.

{}$◻$

Zachodzi pewien związek między kryteriami Cauchy'ego i d'Alemberta. Będzie on wynikał z następującego lematu (który pozostawiamy tu bez dowodu).

Lemat [Uzupelnij]

Jeśli $\{a_n\}\subseteq \mathbb{ℝ}$ jest ciągiem o wyrazach dodatnich, to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \liminf\limits_{n\rightarrow+\infty}\frac{a_{n+1}}{a_n} \ \le\ \liminf\limits_{n\rightarrow+\infty} \sqrt[n]{a_n} \ \le\ \limsup\limits_{n\rightarrow+\infty} \sqrt[n]{a_n} \ \le\ \limsup\limits_{n\rightarrow+\infty}\frac{a_{n+1}}{a_n}. }

{{wniosek|[Uzupelnij]||

(1) Kryterium Cauchy'ego jest silniejsze od kryterium d'Alemberta, to znaczy jeśli kryterium d'Alemberta rozstrzyga o zbieżności szeregu, to kryterium Cauchy'ego także rozstrzyga. Jeszcze inaczej można powiedzieć, że klasa szeregów do której stosuje się kryterium Cauchy'ego zawiera w sobie klasę szeregów do których stosuje się kryterium d'Alemberta. Prosty dowód oparty na powyższym lemacie pozostawiamy jako ćwiczenie.
(2) Klasa szeregów dla których stosuje się kryterium Cauchy'ego jest istotnie większa od klasy szeregów, dla których stosuje sie kryterium d'Alemberta. Aby to zobaczyć rozważmy szereg

$1+\frac{3}{2}+\frac{1}{2^2}+\frac{3}{2^2}+\dots +\frac{1}{2^{2n}}+\frac{3}{2^{2n+1}}+\dots$

{{red}Rysunek AM1.M07.W.R01 (stary numer AM2.1.1)}
Ponieważ

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \frac{a_{n+1}}{a_n} \ =\ \left\{ \begin{array} {lll} \displaystyle \frac{3}{2}>1 & \textrm{gdy} & n=2k-1,\\ \\ \displaystyle \frac{2}{3}<1& \textrm{gdy} & n=2k, \end{array} \right. }

zatem kryterium d'Alemberta nie rozstrzyga czy ten szereg jest zbieżny.
Z kolei

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

zatem z kryterium Cauchy'ego wnioskujemy, że szereg jest zbieżny. }}

Lemat Uzupelnic l.new.am1.w.07.070| można wykorzystać do obliczania granic pewnych ciągów.

Przykład [Uzupelnij]

Obliczyć granicę ciągu $\lim {}_{n\to +\mathrm{\infty }}\frac{\sqrt[n]{(2n)!!}}{n},$ gdzie $(2n)!!\stackrel{df}{=}2\cdot 4\cdot \dots \cdot (2n-2)\cdot (2n).$

Rozwiązanie

Wykorzystamy Lemat Uzupelnic l.new.am1.w.07.070|. Niech $a_n=\frac{(2n)!!}{n^n}.$ Obliczmy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty}\frac{a_{n+1}}{a_n} \ =\ \lim\limits_{n\rightarrow +\infty}\frac{(2n+2)!!}{(n+1)^{n+1}}\cdot\frac{n^n}{(2n)!!} \ =\ \lim\limits_{n\rightarrow +\infty}\frac{2}{\big(1+\frac{1}{n}\big)^n} \ =\ \frac{2}{e}. }

Z lematu Uzupelnic l.new.am1.w.07.070| wynika, że jeśli istnieje granica $\lim {}_{n\to +\mathrm{\infty }}\frac{a_{n+1}}{a_n},$ to także granica $\lim {}_{n\to +\mathrm{\infty }}\sqrt[n]{a_n}$ istnieje i są sobie równe, to znaczy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \lim\limits_{n\rightarrow +\infty}\sqrt[n]{\frac{(2n)!!}{n^n}} \ =\ \lim\limits_{n\rightarrow +\infty} \sqrt[n]{a_n} \ =\ \lim\limits_{n\rightarrow +\infty}\frac{a_{n+1}}{a_n} \ =\ \frac{2}{e}. } {}$◻$

Kolejne kryterium, zwane kryterium asymptotycznym (ilorazowym lub limesowym) jest odmianą kryterium porównawczego i mówi, że jeśli granica ciągu ilorazów wyrazów dwóch szeregów istnieje i jest liczbą dodatnią, to oba szeregi są jednocześnie zbieżne lub jednocześnie rozbieżne.

Twierdzenie [Uzupelnij]

(Kryterium asymptotyczne (ilorazowe, limesowe) zbieżności szeregów)
Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ i $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ są szeregami; $\mathrm{\forall }n\in \mathbb{\mathbb{N}}:a_n\ge 0,b_n>0$ oraz $\lim {}_{n\to +\mathrm{\infty }}\frac{a_n}{b_n}=g\in (0,+\mathrm{\infty }),$ to szereg $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest zbieżny wtedy i tylko wtedy, gdy szereg $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ jestzbieżny.

Dowód [Uzupelnij]

Ustalmy dowolne $\epsilon >0.$ Ponieważ $\lim {}_{n\to +\mathrm{\infty }}\frac{a_n}{b_n}=g\in (0,+\mathrm{\infty }),$ więc z definicji granicy

$\mathrm{\exists }N\in \mathbb{\mathbb{N}}\mathrm{\forall }n\ge N:|\frac{a_n}{b_n}-g|<\frac{g}{2},$

czyli

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall n\ge N:\ \frac{1}{2}gb_n \ \le\ a_n \ \le\ \frac{3}{2}gb_n }

Stosując kryterium porównawcze (patrz Twierdzenie Uzupelnic t.new.am1.w.06.090|), z pierwszej nierówności powyżej wnioskujemy, że zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ implikuje zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}{b}_n,$ a z drugiej nierówności powyżej wnioskujemy, że zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}{b}_n$ implikuje zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n.$

{black}

Przykład [Uzupelnij]

Zbadać zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}\sin \frac{1}{n}.$

Rozwiązanie

Ponieważ wiemy, że

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

(patrz Twierdzenie Uzupelnic t.new.am1.w.05.080|(7) o granicach specjalnych) oraz wiemy już, że szereg harmoniczny $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}$ jest rozbieżny, więc na mocy kryterium asymptotycznego szereg $\sum _{n=1}^{\mathrm{\infty }}\sin \frac{1}{n}$ jest rozbieżny.

{}$◻$

Szeregi o wyrazach znakozmiennych

W tym rozdziale podamy dwa kryteria dotyczące szeregów, których wyrazy zmieniają znak.

Twierdzenie [Uzupelnij]

(Kryterium Dirichleta zbieżności szeregów)
Jeśli $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ jest szeregiem, którego ciąg sum częściowych jest ograniczony, $\{{\lambda }_n\}\subseteq \mathbb{ℝ}$ jest ciągiem malejącym (słabo) oraz zbieżnym do zera (to znaczy ${\lambda }_n\searrow 0$), to szereg $\sum _{n=1}^{\mathrm{\infty }}{\lambda }_n{a}_n$ jest zbieżny.

Dowód [Uzupelnij]

Oznaczmy przez $\{S_n\}$ ciąg sum częściowych szeregu $\sum _{n=1}^{\mathrm{\infty }}{a}_n,$ to znaczy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle S_n \ =\ \sum_{i=1}^{\infty} a_i. }

Z założenia wiemy, że ciąg $\{S_n\}$ jest ograniczony, to znaczy

$\mathrm{\exists }M>0\mathrm{\forall }n\in \mathbb{\mathbb{N}}:|S_n|\le M.$

Ustalmy dowolne $\epsilon >0.$ Ponieważ ${\lambda }_n\searrow 0,$ więc

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \exists N\in\mathbb{N}\ \forall n\ge N:\ \lambda_{n+1}<\frac{\varepsilon}{2M} }

Dla $m>n\ge N,$ mamy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned && \lambda_{n+1}a_{n+1} +\ldots+ \lambda_{m}a_{m}\\ & = & \lambda_{n+1}(S_{n+1}-S_n) +\lambda_{n+2}(S_{n+2}-S_{n+1}) +\ldots +\lambda_{m-1}(S_{m-1}-S_{m-2}) +\lambda_m(S_m-S_{m-1})\\ & = & -\lambda_{n+1}S_n +(\lambda_{n+1}-\lambda_{n+2})S_{n+1} +\ldots +(\lambda_{m-1}-\lambda_m)S_{m-1} +\lambda_mS_m. \endaligned}

Zatem

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned && \big|\lambda_{n+1}a_{n+1} +\ldots+ \lambda_{m}a_{m}\big|\\ & \le & \lambda_{n+1}|S_n| +(\lambda_{n+1}-\lambda_{n+2})|S_{n+1}| +\ldots +(\lambda_{m-1}-\lambda_m)|S_{m-1}| +\lambda_m|S_m|\\ & \le & M \big[ \lambda_{n+1} +(\lambda_{n+1}-\lambda_{n+2}) +(\lambda_{n+2}-\lambda_{n+3}) +\ldots +(\lambda_{m-1}-\lambda_m) +\lambda_m \big]\\ & = & 2\lambda_{n+1}M \ <\ 2M\frac{\varepsilon}{2M} \ =\ \varepsilon. \endaligned}

Zatem pokazaliśmy, że szereg $\sum _{n=1}^{\mathrm{\infty }}{\lambda }_n{a}_n$ spełnia warunek Cauchy'ego, a zatem jest zbieżny (patrz Twierdzenie Uzupelnic t.new.am1.w.06.070|).

{black}

Szczególną wersją powyższego kryterium jest następujące kryterium Leibniza dotyczące szeregów naprzemiennych.

Wniosek [Uzupelnij]

(Kryterium Leibniza zbieżności szeregów)
Jeśli $\{{\lambda }_n\}\subseteq \mathbb{ℝ}$ jest ciągiem malejącym (słabo) oraz zbieżnym do zera (to znaczy ${\lambda }_n\searrow 0$), to szereg $\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n{\lambda }_n$ jest zbieżny.

Dowód [Uzupelnij]

Wystarczy przyjąć $a_n=(-1{)}^n.$ Ponieważ ciąg sum częściowych szeregu $\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n$ jest postaci

$-1,0,-1,0,\dots ,$

a więc jest ograniczony, zatem możemy zastosować kryterium Dirichleta i wywnioskować, że szereg $\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n{a}_n$ jest zbieżny.

{black}

Przykład [Uzupelnij]

Następujący szereg zwany szeregiem anharmonicznym:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{n=1}^{\infty} \frac{(-1)^n}{n} \ =\ 1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\ldots }

jest zbieżny. Jest to natychmiastowa konsekwencja kryterium Leibniza.

Założenie, że zbieżność ciągu $\{{\lambda }_n\}$ do zera jest monotoniczna (w kryteriach Dirichleta i Leibniza) jest istotne. Pokazuje to poniższy przykład.

Przykład [Uzupelnij]

Zbadać zbieżność szeregu $\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n\frac{2-(-1{)}^n}{n}.$

Rozwiązanie

Pokażemy, że szereg jest rozbieżny. Dla dowodu niewprost przypuśćmy, że szereg jest zbieżny. Weźmy szereg $\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n+1}\frac{2}{n}.$ Jest on zbieżny (z kryterium Leibniza; patrz Wniosek Uzupelnic w.new.am1.w.07.130|), Zatem suma obu szeregów jest szeregiem zbieżnym. Ale suma ta wynosi

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

i jest szeregiem rozbieżnym (gdyż jest to szereg harmoniczny), sprzeczność.

Zauważmy, że chociaż ${\lambda }_n=\frac{2-(-1{)}^n}{n}⟶0,$ to jednak zbieżność ta nie jest monotoniczna. Zatem nie mogliśmy tu stosować kryterium Leibniza.

{}$◻$

Liczba $e$

Przypomnijmy, że liczba $e$ była zdefiniowana jako granica pewnego ciągu (patrz Twierdzenie Uzupelnic t.new.am1.w.05.010|). Okazuje się, że liczbę tę można także otrzymać jako sumę pewnego szeregu liczbowego. Dzięki tej własności będziemy także mogli wykazać niewymierność liczby $e.$

Twierdzenie [Uzupelnij]

(O liczbie $e$)
(1) Szereg $\sum _{k=0}^{\mathrm{\infty }}\frac{1}{k!}$ jest zbieżny oraz $\sum _{k=0}^{\mathrm{\infty }}\frac{1}{k!}=e$;
(2) $e\in \mathbb{ℝ}\setminus \mathbb{\mathbb{Q}}.$

Dowód [Uzupelnij]

(Ad (1)) Przypomnijmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle e \ =\ \lim\limits_{n\rightarrow +\infty}\bigg(1+\frac{1}{n}\bigg)^n. }

Niech

$s_n\stackrel{df}{=}\sum _{k=0}^n\frac{1}{k!},t_n\stackrel{df}{=}(1+\frac{1}{n}{)}^n,$

to znaczy $\{s_n\}$ jest ciągiem sum częściowych szeregu $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n!}.$ Ze wzoru dwumianowego Newtona (patrz Twierdzenie Uzupelnic t.1.0620|), dla dowolnego $n\in \mathbb{\mathbb{N}},$ dostajemy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned t_n & = & \bigg(1+\frac{1}{n}\bigg)^n \ =\ \displaystyle \sum_{k=0}^n\binom{n}{k}\bigg(\frac{1}{n}\bigg)^k \ =\ \displaystyle \sum_{k=0}^n\frac{1}{k!} \frac{n(n-1)\cdot\ldots\cdot(n-k+1)}{n^k}\\ & = & \displaystyle \sum_{k=0}^n\frac{1}{k!} \bigg(1-\frac{1}{n}\bigg) \bigg(1-\frac{2}{n}\bigg) \cdot\ldots\cdot \bigg(1-\frac{k-1}{n}\bigg) \ \le\ \displaystyle \sum_{k=0}^n\frac{1}{k!} \ =\ s_n \endaligned}

Zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle e \ =\ \lim\limits_{n\rightarrow +\infty} t_n \ \le\ \liminf_{n\rightarrow+\infty}s_n. }

Ustalmy dowolne $p\in \mathbb{\mathbb{N}}.$ Wówczas dla dowolnego $n>p,$ mamy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned t_n & = & \sum_{k=0}^p\frac{1}{k!} \bigg(1-\frac{1}{n}\bigg) \bigg(1-\frac{2}{n}\bigg) \cdot\ldots\cdot \bigg(1-\frac{k-1}{n}\bigg) + \sum_{k=p+1}^{n}\frac{1}{k!} \bigg(1-\frac{1}{n}\bigg) \bigg(1-\frac{2}{n}\bigg) \cdot\ldots\cdot \bigg(1-\frac{k-1}{n}\bigg)\\ & > & \sum_{k=0}^p\frac{1}{k!} \bigg(1-\frac{1}{n}\bigg) \bigg(1-\frac{2}{n}\bigg) \cdot\ldots\cdot \bigg(1-\frac{k-1}{n}\bigg). \endaligned}

Przechodząc do granicy z $n\to +\mathrm{\infty }$ po obu stronach powyższej nierówności otrzymujemy:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle e \ =\ \lim\limits_{n\rightarrow +\infty} t_n \ \ge\ \lim\limits_{n\rightarrow +\infty} \sum_{k=0}^p\frac{1}{k!} \bigg(1-\frac{1}{n}\bigg) \bigg(1-\frac{2}{n}\bigg) \cdot\ldots\cdot \bigg(1-\frac{k-1}{n}\bigg) \ =\ \sum_{k=0}^p\frac{1}{k!} \ =\ s_p. }

Powyższa nierówność jest prawdziwa dla dowolnego $p\in \mathbb{\mathbb{N}},$ zatem możemy przejść do granicy z $p⟶+\mathrm{\infty }$ i dostajemy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle e \ =\ \lim\limits_{n\rightarrow +\infty} t_n \ \ge\ \limsup_{p\rightarrow+\infty} s_p. }

Zatem ostatecznie dostajemy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle e \ =\ \lim\limits_{n\rightarrow +\infty} t_n \ =\ \lim\limits_{n\rightarrow +\infty} s_n \ =\ \displaystyle \sum_{k=0}^{\infty}\frac{1}{k!}, }

co należało dowieść.
(Ad (2)) Oczywiście $\{s_n\}$ jest ciągiem rosnącym zbieżnym do $e,$ zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \forall n\in\mathbb{N}:\ e-s_n>0. }

Z pierwszej części dowodu wynika, że

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \aligned e-s_n & = & \sum_{k=n+1}^{\infty}\frac{1}{k!} \ =\ \frac{1}{(n+1)!} \bigg( 1+\frac{1}{n+2} +\frac{1}{(n+2)(n+3)} +\ldots \bigg)\\ & < & \frac{1}{(n+1)!} \underbrace{\sum_{j=0}^{\infty}\frac{1}{(n+1)^j}}\limits_{\begin{array} {l} \textrm{szereg\ geometryczny}\\ \textrm{o\ sumie}\ \frac{n+1}{n} \end{array} } \ =\ \frac{1}{(n+1)!}\frac{n+1}{n} \ =\ \frac{1}{n!\cdot n}. \endaligned}

Dla dowodu niewprost przypuśćmy, że $e\in \mathbb{\mathbb{Q}},$ tzn $e=\frac{p}{q},$ gdzie $p\in \mathbb{\mathbb{Z}}$ oraz $q\in \mathbb{\mathbb{N}},g>1.$ Z powyższego oszacowania wynika w szczególności, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle 0 \ <\ \frac{p}{q}-s_q \ <\ \frac{1}{q!q}. }

Niech $a\stackrel{df}{=}q!(\frac{p}{q}-s_q).$ Wówczas

Parser nie mógł rozpoznać (błąd składni): {\displaystyle 0 \ <\ a \ <\ \frac{1}{q} \ <\ 1. }

Ale z definicji $s_q$ mamy $q!s_q\in \mathbb{\mathbb{N}},$ czyli $a\in \mathbb{\mathbb{Z}},$ sprzeczność.