4.13 正項級数に関する収束性の比較判定法

定理 4.50 (比較判定法)   二つの正項級数

$$S =\sum_{n=1}^{\infty} a_{n}\,,\qquad T=\sum_{n=1}^{\infty} b_{n}\,$$ (506)

を考える．

数列 $\{a_{n}\}$, $\{b_{n}\}$ がある正の整数 $N$ に対して

$$0\leq a_{n}\leq b_{n}\,\quad (n\geq N)$$ (507)

を満たすとき， 次の関係が成り立つ：

(i)

$T$ が収束するとき，$S$ も収束する．

(ii)

$S$ が発散するとき，$T$ も発散する．

例 4.51 (比較判定法の具体例)   級数 $${S=\sum_{n=1}^{\infty}\frac{1}{1+2^n}}$$ を考える． 数列 $${a_{n}=\frac{1}{1+2^n}}$$, $${b_{n}=\frac{1}{2^n}}$$ とする． このとき $0<a_{n}<b_{n}$ を満たす． また，級数 $T=\sum b_{n}=\sum 1/2^{n}$ は収束する． よって定理より級数 $S=\sum 1/(1+2^n)$ もまた収束する．

定理 4.52 (比較判定法)   二つの正項級数

$$S =\sum_{n=1}^{\infty} a_{n}\,,\qquad T=\sum_{n=1}^{\infty} b_{n}\,$$ (508)

を考える． 数列 $\{a_{n}\}$, $\{b_{n}\}$ が

$$\lim_{n\to\infty}\frac{a_{n}}{b_{n}}=L<\infty$$ (509)

を満たし，かつ級数 $T=\sum b_{n}$ が収束するとき， 級数 $S=\sum a_{n}$ も収束する．

例 4.53 (調和級数)   級数 $${\sum_{n=1}^{\infty}\frac{1}{n}}$$ を 調和級数（harmonic series）という． 調和級数は発散する．

（証明）調和級数の部分和

$$T_n = \sum_{k=1}^{n}b_{k}= \sum_{k=1}^{n}\frac{1}{k}= 1+\frac{1}{2}+\... ...\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+ \frac{1}{7}+\frac{1}{8}+\cdots+\frac{1}{n}$$ (510)

の各項を括り直して

$$T_n = \sum_{k=1}^{m}\tilde{b}_{k}= 1+\left(\frac{1}{2}+\frac{1}{3}\ri... ...5}+\frac{1}{6}+\frac{1}{7}\right)+ \left(\frac{1}{8}+\cdots+\frac{1}{15}\right)$$ (511)

$$\qquad\qquad+ \left(\frac{1}{16}+\cdots+\frac{1}{31}\right)+\cdots \left(\frac{1}{2^m}+\cdots+\frac{1}{2^{m+1}-1}\right)$$ (512)

とおき直す． ただし $n=2^{m+1}-1$ であり $m=\log(n+1)/\log 2-1$ とおく． ここで，数列 $\{\tilde{b}_{k}\}$ と $a_{m}<\tilde{b}_{m}$ を満たす数列 $\{a_{m}\}$ を

$$\tilde{b}_{1} =1 > \quad \frac{1}{2}=a_1$$ (513)

$$\tilde{b}_{2} =\frac{1}{2}+\frac{1}{3} > \quad \underbrace{\frac{1}{4}+\frac{1}{4}}_{2}=\frac{1}{2}=a_2$$ (514)

$$\tilde{b}_{3} =\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+\frac{1}{7} > \quad \underbrace{\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}}_{4}= \frac{1}{2}=a_3$$ (515)

$$\tilde{b}_{4} =\frac{1}{8}+\frac{1}{9}+\frac{1}{10}+\frac{1}{11}+ \frac{1}{12}+\frac{1}{13}+\frac{1}{14}+\frac{1}{15} > \quad \underbrace{\frac{1}{16}+\cdots+\frac{1}{16}}_{8}=\frac{1}{2}=a_4$$ (516)

$$\qquad\qquad\vdots \qquad\qquad\vdots$$ (517)

$$\tilde{b}_{m} = \underbrace{\frac{1}{2^{m}}+\frac{1}{2^{m}+1}+\frac{1}{2^{m}+2} +\cdots+\frac{1}{2^{m+1}-1}}_{2^{m}} > \quad \underbrace{\frac{1}{2^{m+1}}+\frac{1}{2^{m+1}}+\frac{1}{2^{m+1}} +\cdots+\frac{1}{2^{m+1}}}_{2^{m}}$$ (518)

$$\quad =\frac{2^{m}}{2^{m+1}}=\frac{1}{2}=a_{m}$$ (519)

とおく． よって比較判定法より

$$0<a_{m}<\tilde{b}_{m}\,,\quad S_{n}<T_{n} \Rightarrow\quad S=\sum_{n=1}^{\infty}\frac{1}{2}=\infty\,,\quad T=\sum_{m=1}^{\infty}\tilde{b}_{m}= \sum_{n=1}^{\infty}b_{n}=\infty$$ (520)

を得る．以上証明終り．

例 4.54 (収束判定の具体例)  

$$S=\sum_{n=1}^{\infty}\frac{1}{n^2} \quad<\quad T=1+\sum_{n=2}^{\infty}\frac{1}{n(n-1)}=2$$ (521)

より

$$S=\sum_{n=1}^{\infty}\frac{1}{n^2}$$ (522)

は収束する．

例 4.55 (収束判定の具体例)  

$$S=\sum_{n=1}^{\infty}\frac{1}{n^{3}} \quad<\quad T=\sum_{n=2}^{\infty}\frac{1}{n^{2}}$$ (523)

より， $T$ は収束するので $${S=\sum\frac{1}{n^3}}$$ も収束する．

定理 4.56 (級数の収束)  

$$\sum_{n=1}^{\infty}\frac{1}{n^p}= \left\{ \begin{array}{ll} \text{発散} & (p=1) \\ \text{収束} & (p=2,3,4,\cdots) \end{array} \right.$$ (524)

Kondo Koichi
平成17年8月31日