無限級数

高校～大学基礎の数学用語.公式.例

=== このページの目次 ===
無限級数
無限級数が収束するための必要条件
比較判定法
比較によく用いられる正項級数

無限等比級数
ζ(ゼータ)関数
ダランベールの判定法
コーシーの判定法
ラーベの判定法
整級数と収束半径

無限級数(series)

無限級数

　無限数列 $\{a_n\}$ の各項を「前から順に」加えたもの
$a_1+ a_2+ a_3+\cdots+ a_n+\cdots$
を無限級数という．無限級数はΣ記号を用いて
$\sum_{n=1}^{\infty}a_n$
とも書かれる．

雑談

　高校の数学の教科書では，無限数列の和のことを「無限級数」という．これに対して，大学の教科書では，無限級数のことを単に「級数」ということもある．級数と言えば無限級数の省略なので，『有限級数』というものはない．数列の第ｎ項までの有限項の和というものを表すには，次に述べる「第ｎ部分和」という用語を使う．

第ｎ部分和

　無限数列 $a_n$ の初めのｎ項の和
$S_n=a_1+ a_2+ a_3+\cdots+ a_n$
を作ると，もう１つの数列
$S_1,\hspace{2}S_2,\hspace{2}S_3,\hspace{2}\cdots,\hspace{2}S_n$
が得られる．このとき， $S_n=a_1+ a_2+ a_3+\cdots+ a_n$ を無限級数の第ｎ部分和という．（高校の教科書では「第ｎ項までの部分和」）

無限級数の和

　第ｎ部分和の数列 $\{S_n\}$ が収束してその極限値が $S$ であるとき，無限級数は $S$ に収束するといい， $S$ をこの無限級数の和という．
$\lim_{n\rightarrow\infty}\sum_{k=1}^{n}a_k=\sum_{n=1}^{\infty}a_n=S$
　第ｎ部分和の数列 $\{S_n\}$ が有限確定値に収束しないとき，無限級数は発散するという．（無限級数が発散するとき，無限級数の和は存在しない．［ $n\rightarrow\infty$ のとき， $S_n\rightarrow\infty$ または $S_n\rightarrow-\infty$ は発散の場合に含まれ，和は存在しないが $\infty$ や $-\infty$ の記号で表くこともある］）

雑談

　「級数」と「級数の和」の関係は，「数列」と「数列の和」の関係と全然違うことに注意！
　すなわち，数列の和は幾つかの項の和 $a_1+ a_2+ a_3+\cdots+ a_n$ を表すのに対して，「級数」とは無限数列の和 $a_1+ a_2+ a_3+\cdots+ a_n+\cdots$ のことで，級数が収束するとき，その極限値を「級数の和」というのであるから，収束する限り「級数」と「級数の和」とはほとんど同じものです．収束しないときは，級数の和は存在しないという．

[重要]
• 有限数列の和とは異なり，無限級数はその並び方に重要な意味がある．
• 無限級数の和を求めるとき，加え方の順序を勝手に変えたり，勝手に括弧を付けて幾つかずつ先に計算したりしてはいけない．
• 第ｎ部分和を求めてから，その極限を調べるのがポイント．

　無限級数の定義の初めの方で「前から順に」と述べたことには，意味がある．すなわち，有限数列の和とは異なり，無限級数は「加え方の順序を勝手に変えたり」「勝手に括弧を付けて幾つかずつ先に計算したり」すると，結果が変わってしまう．
　そのため，無限級数の計算をするときは，厳密に「前から順に」加えて行かなければならない．もっと正確に言うと，無限級数の計算をするには，まず「第ｎ部分和」を求めて，ｎの値がどのよう形で無限に大きくなっても，「第ｎ部分和」が一定の値に近付くかどうかを調べなけれならない．
　このように， $n\rightarrow\infty$ の極限で起こることはすべて「第ｎ部分和」で準備されたものの結果となっているので，いきなり「無限」を考えるのでなく「第の部分和」の性質を十分調べておくことが重要となる．

例1

$1-1+ 1-1+\cdots$ の和を求めたいとき
ア) 初めから２つずつ組み合わせて消すと
$(1-1)+(1-1)+\cdots=0+ 0+\cdots=0$
イ) 初めの1つ以外を２つずつ組み合わせて消すと
$1+(-1+ 1)+(-1+ 1)+\cdots=1$
ア）イ）のどちらが正しいか？実は両方とも間違っている．ア）イ）とも「前から順に」加えずに，「加え方の順序を勝手に変えている」のが間違いの原因です．
正しくは，次のように「第ｎ部分和」を使って求める．

≪ミニ実験で傾向をつかむ≫
第1項までの和：1
第2項までの和：1−1=0
第3項までの和：1−1+1=1
第4項までの和：1−1+1−1=0
→0と1が交代に出てくる

1) ｎが奇数のとき，第ｎ部分和は $S_n=1$
2) ｎが偶数のとき，第ｎ部分和は $S_n=0$
ｎが限りなく大きくなるとき，（偶数も奇数もどこまでも登場するから）奇数番目までの和と偶数番目までの和が一致しないから，無限級数は収束しない．
　この無限級数の和は存在しない．

例2

一般項が $a_n=\cos\frac{2\pi}{3}n$ で定義される数列になっているもの，すなわち
$1+(-\frac{1}{2})+(-\frac{1}{2})+ 1+(-\frac{1}{2})+(-\frac{1}{2})+\cdots$ の和を求めたいとき
ア)　３つずつ足していくと
$(1-\frac{1}{2}-\frac{1}{2})+(1-\frac{1}{2}-\frac{1}{2})+\cdots=0$
イ)　初めの１つ以外を３つずつ足していくと
$1+(-\frac{1}{2}-\frac{1}{2}+ 1)+(-\frac{1}{2}-\frac{1}{2}+ 1)+\cdots=1$
ウ）初めの２つ以外を3つずつ足していくと
$1-\frac{1}{2}+(-\frac{1}{2}+ 1-\frac{1}{2})+(-\frac{1}{2}+ 1-\frac{1}{2})+\cdots=\frac{1}{2}$
ア）イ）ウ）のどちらが正しいか？もちろん，全部間違っている．「前から順に」加えずに，「加え方の順序を勝手に変えている」のが間違いの原因です．
正しくは，次のように「第ｎ部分和」を使って求める．
1) n=3k+1(kは0以上の整数)のとき，第ｎ部分和は $S_n=1$
2) n=3k+2(kは0以上の整数)のとき，第ｎ部分和は $S_n=\frac{1}{2}$
3) n=3k(kは正の整数)のとき，第ｎ部分和は $S_n=0$
ｎが限りなく大きくなるとき，ｎを３で割った余りによって異なる値になるから，無限級数は収束しない．

無限級数が収束するための必要条件

(1) 無限級数 $\sum_{n=1}^{\infty}a_n$ が収束するならば， $\lim_{n\rightarrow\infty}a_n=0$

$\lim_{n\rightarrow\infty}a_n=0$ は無限級数が収束するための
必要条件であるが，十分条件ではない．
$\lim_{n\rightarrow\infty}a_n=0$ であっても，無限級数が収束する場合も収束しない場合もある．

(2) 数列 $\{a_n\}$ が0に収束しなければ，無限級数 $\sum_{n=1}^{\infty}a_n$ は発散する．

（解説）
(1)←
$S_n-S_{n-1}=a_n$
だから
$\sum_{n=1}^{\infty}a_n=\lim_{n\rightarrow\infty}S_n=S$ （ $S$ は有限確定値）
のとき
$\lim_{n\rightarrow\infty}a_n=\lim_{n\rightarrow\infty}(S_n-S_{n-1})=0$
(2)←
(1)の対偶により示される．

※(2)により，無限級数が収束しないこと（発散すること）は簡単に示せる．
前出の例1において，無限級数が収束しないことは，次のように示してもよい．
$a_n=(-1)^n\times(-1)\overset{\times}{\rightarrow}0$ だから無限級数は収束しない．

前出の例2も同様にして，

$n=3k+ 1$ （ $k$ は０以上の整数）のとき， $a_n=1\overset{\times}{\rightarrow}0$ だから無限級数は収束しない．

(1’) $\lim_{n\rightarrow\infty}a_n=0$ で，無限級数 $\sum_{n=1}^{\infty}a_n$ が収束する例

1)例3 $a_n=(\frac{1}{2})^n$ のとき， $\lim_{n\rightarrow\infty}a_n=0$ ， $\sum_{n=1}^{\infty}(\frac{1}{2})^n=\lim_{n\rightarrow\infty}\frac{\frac{1}{2}(1-(\frac{1}{2})^n)}{1-\frac{1}{2}}=1$
2)例4 $a_n=\frac{1}{n(n+ 1)}$ のとき， $\lim_{n\rightarrow\infty}a_n=0$ ， $S_n=\sum_{k=1}^n\{\frac{1}{k}-\frac{1}{k+ 1}\}=1-\frac{1}{n+ 1}\rightarrow 1$

(1”) $\lim_{n\rightarrow\infty}a_n=0$ で，無限級数 $\sum_{n=1}^{\infty}a_n$ が収束しない例

1)例5 $a_n=\frac{1}{\sqrt{n+ 1}+\sqrt{n}}$ のとき， $\lim_{n\rightarrow\infty}\frac{1}{\sqrt{n+ 1}+\sqrt{n}}=0$ であるが
$\sum_{n=1}^{\infty}\frac{1}{\sqrt{n+ 1}+\sqrt{n}}=\lim_{n\rightarrow\infty}(\sqrt{n+ 1}-1)=\infty$

2)例6 $a_n=\frac{1}{n}$ のとき， $\lim_{n\rightarrow\infty}\frac{1}{n}=0$ であるが，右図のように
$\sum_{k=1}^n\frac{1}{k}\gt\int_1^{n+ 1}\frac{1}{x}dx$
$=\log(n+ 1)$
であるから
$\lim_{n\rightarrow\infty}\sum_{k=1}^n\frac{1}{k}\gt\lim_{n\rightarrow\infty}\log(n+ 1)=\infty$
により，無限級数は発散する．

【例1.1】
　無限級数 $\sum_{n=1}^{\infty}\frac{2n-1}{2n+ 1}$ の収束・発散を調べてください．

（解答）
$n\rightarrow\infty$ のとき $a_n=\frac{2n-1}{2n+ 1}\rightarrow 1\hspace{5}(\ne 0)$ だから発散する

【例1.2】
　無限級数 $\sum_{n=1}^{\infty}\frac{1}{\sqrt[n]{n}}$ の収束・発散を調べてください．

（解答）
$n\rightarrow\infty$ のとき $\log\sqrt[n]{n}=\frac{\log n}{n}\rightarrow 0$ だから
$\sqrt[n]{n}\rightarrow 1\hspace{5}(\ne 0)$
したがって，この無限級数は発散する
【例2.3】のようにζ関数と比較してもよい．

比較判定法

　2つの正項級数 $\sum_{n=1}^{\infty}a_n,\hspace{3}\sum_{n=1}^{\infty}b_n$ の各項の間に $a_n\underline{\le}b_n$ が成り立つとき
(1) $\sum_{n=1}^{\infty}b_n$ が収束するならば， $\sum_{n=1}^{\infty}a_n$ も収束する．
(2) $\sum_{n=1}^{\infty}a_n$ が正の無限大に発散するならば， $\sum_{n=1}^{\infty}b_n$ も正の無限大に発散する．

以上の内容は， $a_n\underline{\le}Kb_n$ （ $K$ は定数）の場合にも成り立つ．

比較によく用いられる正項級数

(A) 無限等比級数
$\sum_{n=1}^{\infty}ar^{n-1}\hspace{5}(a\ne 0)$ は
$\mid r\mid\lt 1$ ならば収束し，和は $\frac{a}{1-r}$
$\mid r\mid\underline{\ge}1$ ならば発散する

無限等比級数の収束・発散については，高校数学Ⅲで習う．ここでは，証明略

(B) ζ(ゼータ)関数
$\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}$ は
$0\lt s\underline{\le}1$ ならば正の無限大に発散する
$s\gt 1$ ならば収束する

s=1のとき（調和級数のとき）発散することの証明は，前述の例6で行っている．

s>0, ≠1の他の値の場合も，同様にして定積分との比較によって示せる．
$\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots$ $\lt\int_1^n\frac{1}{x^s}dx$
$\lt\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\cdots$
ここで
$\int_1^n\frac{1}{x^s}dx=\big[\frac{x^{-s+ 1}}{-s+ 1}\big]_1^n=\frac{n^{1-s}-1}{1-s}$
は， $0\lt s\lt 1$ のとき，無限大に発散， $s\gt 1$ のとき収束するから
$0\lt s\lt 1$ のとき， $\int_1^n\frac{1}{x^s}dx\rightarrow\infty$ $\lt\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\cdots$
により，無限級数も発散する．
$s\gt 1$ のとき， $\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots$ は上に有界となるから，収束する．したがって， $\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots$ も収束する．

【例2.1】
　無限級数 $\sum_{n=2}^{\infty}\frac{1}{(\log n)^n}$ の収束・発散を調べてください．

収束することを示すには，|公比|が1よりも小さな無限等比級数と比較できたらよい．
発散することを示すには，|公比|が1よりも大きな無限等比級数と比較できたらよい．

（解答）
$n$ が十分大きな値のとき（ $n\gt e^2=7.38...$ ）， $\log n\gt 2$ となるから
$\frac{1}{\log n}\lt\frac{1}{2}$
$\frac{1}{(\log n)^n}\lt(\frac{1}{2})^n$
$\sum_{n=1}^{\infty}\frac{1}{(\log n)^n}\lt\sum_{n=1}^{\infty}(\frac{1}{2})^n$
右辺は収束するから，左辺も収束する

【例4.2】のようにコーシーの判定法を用いても示せる

【例2.2】
　無限級数 $\sum_{n=1}^{\infty}\frac{1}{n^{\log n}}$ の収束・発散を調べてください．

ζ関数(s=2)と比較できたら示せる

（解答）
$n$ が十分大きな値のとき（ $n\gt e^2=7.38...$ ）， $\log n\gt 2$ となるから
$\frac{1}{n^{\log n}}\lt\frac{1}{n^2}$
$\sum_{n=1}^{\infty}\frac{1}{n^{\log n}}\lt\sum_{n=1}^{\infty}\frac{1}{n^2}$
右辺は収束するから，左辺も収束する

【例2.3】
　無限級数 $\sum_{n=1}^{\infty}\frac{1}{\sqrt[n]{n}}$ の収束・発散を調べてください．

ζ関数(s=1)と比較できたら示せる

（解答）
$n\underline{\ge}1$ だから $\frac{1}{n}\underline{\le}1$
$n^{\frac{1}{n}}\underline{\le}n^1$
$\frac{1}{\sqrt[n]{n}}=\frac{1}{n^{\frac{1}{n}}}\underline{\ge}\frac{1}{n}$
$\sum_{n=1}^{\infty}\frac{1}{\sqrt[n]{n}}\underline{\ge}\sum_{n=1}^{\infty}\frac{1}{n}$
右辺は発散するから，左辺も発散する
【例1.2】のように示してもよい．

【例2.4】
　無限級数 $\sum_{n=2}^{\infty}\frac{1}{n\log n}$ の収束・発散を調べてください．

$\frac{1}{x\log x}$ の積分と比較できたら示せる

（解答）

右図で茶色の階段状図形の面積は水色の面積よりも大きいから
$\frac{1}{2\log 2}+\frac{1}{3\log 3}+\cdots+\frac{n-1}{(n-1)\log(n-1)}$
$\gt\int_2^n\frac{1}{x\log x}dx$
ここで
$\int_2^n\frac{1}{x\log x}dx=\int_2^n\frac{(\log x)\apos}{\log x}dx=\big[\log\log x\big]_2^n$
$=\log\log n-\log\log2\rightarrow\infty$
だから無限級数も発散する

【例2.5】
　無限級数 $\sum_{n=2}^{\infty}\frac{1}{n(\log n)^k}\hspace{10}(k\gt 0)$ の収束・発散を調べてください．

$\frac{1}{x(\log x)^k}$ の積分と比較できたら示せる

（解答）

右図で水色の面積は濃い茶色の階段状図形の面積と薄い茶色の階段状図形の間にあるから
$\frac{1}{3\log 3}+\cdots+\frac{n}{n\log n}$
$\lt\int_2^n\hspace{5}\frac{1}{x(\log x)^k}dx$
$\lt\frac{1}{2\log 2}+\cdots+\frac{n-1}{(n-1)\log(n-1)}$ …(*)
ここで
$\int\frac{1}{x(\log x)^k}dx$ に $\log x=t$ とおく置換積分を行う
（k=1のときは【例2.4】の通り．k≠1のときは以下のようになる）
$\int\frac{1}{x(\log x)^k}dx=\int t^{-k}dt=\frac{t^{1-k}}{1-k}+ C$
$=\frac{(\log x)^{1-k}}{1-k}+ C$
したがって
$\int_2^n\hspace{5}\frac{1}{x(\log x)^k}dx=\big[\frac{(\log x)^{1-k}}{1-k}\big]_2^n=\frac{(\log n)^{1-k}-(\log 2)^{1-k}}{1-k}$
ア) 0<k<1のとき， $(\log n)^{1-k}\rightarrow\infty$ だから，(*)式の第2辺が無限大に発散．追い出し論法により第3辺も無限大に発散する．
イ) k>1のとき， $(\log n)^{1-k}\rightarrow 0$ だから，(*)の第2辺が収束．第1辺は単調増加かつ上に有界になるから収束． $\frac{1}{2\log 2}$ を足しても同じ．
以上をまとめると，ア)および【例2.4】から，0<k≦1のとき，発散する．イ)から，k>1のとき収束する．

正項級数の収束判定法

　正項級数の収束判定法には，ダランベールの判定法，コーシーの判定法などがある．
　一般に，コーシーの判定法の方がダランベールの判定法よりも精密で，適用範囲が広い．しかし，コーシーの判定法は複雑で扱いにくい．そこで，正項級数の収束判定を行うには，次の手順で考えるとよい．

(1) まず，ダランベールの判定法を試みる．
(2) ダランベールの判定法でできない問題は，コーシーの判定法を試みる．

ｎ乗が付いた形になっているものは，コーシーの判定法が使えることが多い．

(3) 上記のいずれでもできない場合は，ラーベの判定法などを考える．

【ダランベールの判定法】
　無限正項級数 $\sum_{n=1}^{\infty}a_n$ について，
(1) ある番号より先のｎについて

$\frac{a_{n+ 1}}{a_n}\underline{\le}r\lt 1$ となる $r$ が存在するならば，
$\sum_{n=1}^{\infty}a_n$ は収束する．
$\frac{a_{n+ 1}}{a_n}\underline{\ge}r\gt 1$ となるならば，
$\sum_{n=1}^{\infty}a_n$ は発散する．
（ただし， $r$ はｎに無関係な定数とする）

(2) ［次の形で使ってもよい］

$\lim_{n\rightarrow\infty}\frac{a_{n+ 1}}{a_n}=r$ となる $r$ が存在し，
$r\lt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は収束する．
$r\gt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は発散する．

（解説）

この判定法では，取り扱い簡単な無限等比級数と比較判定する

(1)←
初めの有限個を取り除いて，ある番号よりも先の数列を考え，数列の番号を付けなおして， $b_1,\hspace{2}b_2,\hspace{2}b_3,\hspace{2}\cdots b_n,\hspace{2}\cdots$ とする．
$\frac{b_{n+ 1}}{b_n}\underline{\le}r\lt 1$ となる $r$ が存在するならば，
$b_{n+ 1}\underline{\le}rb_n$ が成り立つから
$b_2\underline{\le}rb_1$
$b_3\underline{\le}rb_2\underline{\le}r^2b_1$
$b_4\underline{\le}rb_3\underline{\le}r^3b_1$
$\cdots$
$b_n\underline{\le}rb_{n-1}\underline{\le}r^{n-1}b_1$
$b_1+ b_2+ b_3+\cdots+ b_n\underline{\le}b_1+ rb_1+ r^{2}b_1+\cdots+ r^{n-1}b_1$
$=b_1(1+ r+ r^{2}+\cdots+ r^{n-1})=b_1\cdot\frac{1-r^{n}}{1-r}$
$0\underline{\le}r\lt 1$ だから，この式の右辺は収束する．
　 $\sum_{n=1}^{\infty}b_n$ は上に有界で，かつ単調増加であることになり，収束する．（証明終わり）
$\frac{b_{n+ 1}}{b_n}\underline{\ge}r\gt 1$ となる $r$ が存在するならば，
$b_{n+ 1}\underline{\ge}rb_n$ が成り立つから
$b_1+ b_2+ b_3+\cdots+ b_n\underline{\ge}b_1+ rb_1+ r^{2}b_1+\cdots+ r^{n-1}b_1$
$=b_1(1+ r+ r^{2}+\cdots+ r^{n-1})=b_1\cdot\frac{r^{n}-1}{r-1}$
$r\gt 1$ だから，この式の右辺は無限大に発散する．
　追い出しの原理により，左辺も無限大に発散する．（証明終わり）

【例3.1】
　無限級数 $\sum_{n=1}^{\infty}\frac{1}{n!}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{1}{n!}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{n!}{(n+ 1)!}=\frac{1}{n+ 1}\rightarrow 0\hspace{3}(\lt 1)$
ダランベールの判定法(2)により収束する

【例3.2】
　 $x\underline{\ge}0$ のとき，無限級数 $\sum_{n=1}^{\infty}\frac{x^n}{n}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{x^n}{n}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{x^{n+ 1}}{n+ 1}\cdot\frac{n}{x^n}=\frac{n}{n+ 1}x\rightarrow x$
ダランベールの判定法(2)により， $0\underline{\le}x\lt 1$ のとき，この無限級数は収束する． $x\gt 1$ のときは発散する．

【例3.3】
　無限級数 $\sum_{n=1}^{\infty}\frac{n^k}{n!}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{n^k}{n!}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{(n+ 1)^{k}}{(n+ 1)!}\cdot\frac{n!}{n^k}=\frac{1}{n+ 1}\cdot\left(\frac{n+ 1}{n}\right)^k$
$=\frac{1}{n+ 1}\cdot(1+\frac{1}{n})^k\rightarrow 0$
ダランベールの判定法(2)により，この無限級数は収束する．

【例3.4】
　無限級数 $\sum_{n=1}^{\infty}\frac{3^n}{n!}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{3^n}{n!}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{3^{n+ 1}}{(n+ 1)!}\cdot\frac{n!}{3^n}=\frac{3}{n+ 1}\rightarrow 0$
ダランベールの判定法(2)により，この無限級数は収束する．

【例3.5】
　無限級数 $\sum_{n=1}^{\infty}\frac{a^n}{n!}\hspace{5}(a\gt 0)$ の収束・発散を調べてください．

（解答）
$a_n=\frac{a^n}{n!}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{a^{n+ 1}}{(n+ 1)!}\cdot\frac{n!}{a^n}=\frac{a}{n+ 1}\rightarrow 0\hspace{5}(\lt 1)$
ダランベールの判定法(2)により，この無限級数は収束する．

【例3.6】
　無限級数 $\sum_{n=1}^{\infty}\frac{n!}{n^n}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{n!}{n^n}$ とおくと， $\frac{a_{n+ 1}}{a_n}=\frac{(n+ 1)!}{(n+ 1)^{n+ 1}}\cdot\frac{n^n}{n!}=\left(\frac{n}{n+ 1}\right)^n=\frac{1}{\left(\frac{n+ 1}{n}\right)^n}$
$=\frac{1}{(1+\frac{1}{n})^n}=\frac{1}{e}\lt 1$
ダランベールの判定法(2)により，この無限級数は収束する．

【コーシーの判定法】
　無限正項級数 $\sum_{n=1}^{\infty}a_n$ について，
(1) ある番号より先のｎについて

$\sqrt[n]{a_n}\underline{\le}r\lt 1$ となる $r$ が存在するならば，
$\sum_{n=1}^{\infty}a_n$ は収束する．
$\sqrt[n]{a_n}\underline{\ge}r\gt 1$ となるならば，
$\sum_{n=1}^{\infty}a_n$ は発散する．
（ただし， $r$ はｎに無関係な定数とする）

(2) ［次の形で使ってもよい］

$\lim_{n\rightarrow\infty}\sqrt[n]{a_n}=r$ となる $r$ が存在し，
$r\lt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は収束する．
$r\gt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は発散する．

（解説）

この判定法も，ダランベールの判定法と同様に，無限等比級数との比較を利用する

(1)←
初めの有限個を取り除いて，ある番号よりも先の数列を考え，数列の番号を付けなおして， $b_1,\hspace{2}b_2,\hspace{2}b_3,\hspace{2}\cdots b_n,\hspace{2}\cdots$ とする．
$\sqrt[n]{b_n}\underline{\le}r\lt 1$ すなわち $b_n\underline{\le}r^n\lt 1$ となる $r$ が存在するならば，
$\sum_{n=1}^{\infty}b_n\underline{\le}\sum_{n=1}^{\infty}r^n$
ここで，無限等比級数 $\sum_{n=1}^{\infty}r^n\hspace{5}(r\underline{\ge}0)$ は
$0\underline{\le}r\lt 1$ のとき $\frac{r}{1-r}$ に収束するから， $\sum_{n=1}^{\infty}b_n$ は上に有界になる．
　正項級数であるから単調増加．
以上により，単調かつ有界だから収束する．(証明終わり)

$\sqrt[n]{b_n}\underline{\ge}r\gt 1$ すなわち $b_n\underline{\ge}r^n\gt 1$ となる $r$ が存在するならば，
$\sum_{n=1}^{\infty}b_n\underline{\ge}\sum_{n=1}^{\infty}r^n$
ここで，無限等比級数 $\sum_{n=1}^{\infty}r^n\hspace{5}(r\underline{\ge}0)$ は
$r\gt 1$ のとき無限大に発散するから， $\sum_{n=1}^{\infty}b_n$ も追い出しの原理により発散する．

【例4.1】
　無限級数 $\sum_{n=1}^{\infty}\left(\frac{n}{2n+ 1}\right)^n$ の収束・発散を調べてください．

（解答）
$a_n=\left(\frac{n}{2n+ 1}\right)^n$ とおくと
$\lim_{n\rightarrow\infty}\sqrt[n]{a_n}=\lim_{n\rightarrow\infty}\frac{n}{2n+ 1}=\frac{1}{2}\lt 1$
コーシーの判定法(2)により収束する．

【例4.2】
　無限級数 $\sum_{n=2}^{\infty}\frac{1}{(\log n)^n}$ の収束・発散を調べてください．

（解答）
$a_n=\frac{1}{(\log n)^n}$ とおくと
$\lim_{n\rightarrow\infty}\sqrt[n]{a_n}=\lim_{n\rightarrow\infty}\frac{1}{\log n}=0\lt 1$
コーシーの判定法(2)により収束する．

ダランベールの判定法，コーシーの判定法でr=1の場合には，次の判定法が利用できる．

【ラーベの判定法】
　無限正項級数 $\sum_{n=1}^{\infty}a_n$ について，
(1) ある番号より先のｎについて

$n\left(\frac{a_n}{a_{n+ 1}}-1\right)\underline{\ge}r\gt 1$ となる定数 $r$ が存在すれば，
$\sum_{n=1}^{\infty}a_n$ は収束する．
$n\left(\frac{a_n}{a_{n+ 1}}-1\right)\underline{\le}r\lt 1$ となる定数 $r$ が存在すれば，
$\sum_{n=1}^{\infty}a_n$ は発散する．
（ただし， $r$ はｎに無関係な定数とする）

(2) ［次の形で使ってもよい］

$\lim_{n\rightarrow\infty}n\left(\frac{a_n}{a_{n+ 1}}-1\right)=r$ となる定数 $r$ が存在し，
$r\gt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は収束する．
$r\lt 1$ ならば， $\sum_{n=1}^{\infty}a_n$ は発散する．

整級数と収束半径
　 $\sum_{n=0}^{\infty}a_nx^n=a_0+ a_1x+ a_2x^2+\cdots$ を整級数という．
　整級数 $\sum_{n=0}^{\infty}a_nx^n$ が

$|x|\lt R$ となるすべての $x$ に対して収束し
$|x|\gt R$ となるすべての $x$ に対して発散する

とき， $R$ をこの整級数の収束半径という．

ただし， $R=0$ とは，不等号に関わらず $x=0$ で収束し，それ以外では収束しないことを表す． $R=\infty$ とはすべての実数 $x$ について収束することを表す．

収束半径の求め方
　整級数 $\sum_{n=0}^{\infty}a_nx^n$ の収束半径 $R$ は

ダランベールの判定法→ $\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=R$
コーシーの判定法→ $\lim_{n\rightarrow\infty}\frac{1}{\sqrt[n]{\mid a_n\mid}}=R$

に等しい．

この収束半径 $R$ の意味を考えると
ダランベールの判定法： $\lim_{n\rightarrow\infty}\mid\frac{a_{n+ 1}}{a_n}\mid=r$ ，
コーシーの判定法： $\lim_{n\rightarrow\infty}\sqrt[n]{\mid a_n\mid}=r$
で得られる値 $r$ の逆数
$R=\frac{1}{r}$
になっているが，

$r=0$ のときは $R=\infty$
$r=\infty$ のときは $R=0$

となることに注意（ $r$ も $R$ も極限だから， $\lim_{n\rightarrow\infty}\mid\frac{a_{n+ 1}}{a_n}\mid=0$ のときは， $\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=\infty$ ， $\lim_{n\rightarrow\infty}\mid\frac{a_{n+ 1}}{a_n}\mid=\infty$ のときは， $\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=0$ になる．）

【例5.1】
　無限級数 $\sum_{n=1}^{\infty}x^n$ の収束半径を求めてください．

（解答）
$a_n=1$ だから，ダランベールの判定法（コーシーの判定法でも結果は同じ）により
$\lim_{n\rightarrow\infty}\mid\frac{a_{n+ 1}}{a_n}\mid=1$
$r=1$ だから $R=\frac{1}{r}=1$

この級数は，初項 $x$ ，公比 $x$ の無限等比級数で，
第ｎ部分和は $S_n=\frac{x(1-x^n)}{1-x}$
ア) $\mid x\mid\lt 1$ のとき収束し， $S_n\rightarrow\frac{x}{1-x}$
イ) $\mid x\mid\gt 1$ のとき発散する．
ウ) $\mid x\mid=R=1$ のときの収束・発散については，上記の判定法からは何も言えない．（この級数では発散）

【例5.2】
　無限級数 $\sum_{n=0}^{\infty}\frac{x^n}{n!}$ の収束半径を求めてください．

（解答）
$a_n=\frac{1}{n!},\hspace{3}a_{n+ 1}=\frac{1}{(n+ 1)!}$ だから，ダランベールの判定法により
$\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=\lim_{n\rightarrow\infty}\mid\frac{(n+ 1)!}{n!}\mid=\lim_{n\rightarrow\infty}(n+ 1)=\infty$
だから $R=\infty$

この級数は，指数関数のマクローリン級数展開に対応しており
$e^x=1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots$
は全実数で収束する

【例5.3】
　無限級数 $\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}x^n$ の収束半径を求めてください．

（解答）
$a_n=\frac{(-1)^{n-1}}{n},\hspace{3}a_{n+ 1}=\frac{(-1)^{n}}{n+ 1}$
ダランベールの判定法により
$\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=\lim_{n\rightarrow\infty}\mid\frac{(n+ 1)!}{n!}\mid=\lim_{n\rightarrow\infty}\frac{n+ 1}{n}=1$
だから $R=1$

この級数は， $\log(1+ x)$ のマクローリン級数展開に対応しており
$\log(1+ x)=x-\frac{1}{2}x^2+\frac{1}{3}x^3-\frac{1}{4}x^4+\cdots$
は $\mid x\mid\lt 1$ で収束する

【例5.4】
　無限級数 $\sum_{n=1}^{\infty}\frac{n}{2^n}x^n$ の収束半径を求めてください．

（解答）
$a_n=\frac{n}{2^n},\hspace{3}a_{n+ 1}=\frac{n+ 1}{2^{n+ 1}}$
ダランベールの判定法により
$\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=\lim_{n\rightarrow\infty}\mid\frac{n}{2^n}\cdot\frac{2^{n+ 1}}{n+ 1}\mid=\lim_{n\rightarrow\infty}\frac{2n}{n+ 1}=2$
だから $R=2$

【例5.5】
　無限級数 $\sum_{n=1}^{\infty}\frac{(2n)!}{n!}x^n$ の収束半径を求めてください．

（解答）
$a_n=\frac{(2n)!}{n!},\hspace{3}a_{n+ 1}=\frac{(2n+ 2)!}{(n+ 1)!}$
ダランベールの判定法により
$\lim_{n\rightarrow\infty}\mid\frac{a_n}{a_{n+ 1}}\mid=\lim_{n\rightarrow\infty}\mid\frac{(2n)!}{n!}\cdot\frac{(n+ 1)!}{(2n+ 2)!}\mid$
$=\lim_{n\rightarrow\infty}\frac{n+ 1}{(2n+ 1)(2n+ 2)}=0$
だから $R=0$

○===高卒～大学数学基礎メニューに戻る　

..高卒～大学数学のメニューに戻る