logo

解析学における様々な級数判定法の総整理 📂微分積分学

解析学における様々な級数判定法の総整理

概観

証明無しにいくつかの級数判定法を紹介したい。事実としてうまく活用することが大切で、大体証明の過程も退屈だからである。

このポストでは、以下の記法を共有する:

  • $\mathbb{N}$ は自然数を全て集めた集合である。
  • $\mathbb{R}$ は全ての実数を集めた集合で、$\overline{\mathbb{R}}$ は実数集合に$\pm \infty$ を含む拡張された実数集合である。
  • $\left\{ a_{k} \right\}_{k \in \mathbb{N}}, \left\{ b_{k} \right\}_{k \in \mathbb{N}} \subset \mathbb{R}$ は実数列である。
  • $\exists \lim_{k \to \infty} x_{k}$ は$x_{k}$ の極限が$\mathbb{R}$ に存在する、つまり収束するという意味である。反対に$\not\exists \lim_{k \to \infty} x_{k}$ は$x_{k}$ の極限が$\mathbb{R}$ に存在しない、つまり発散するという意味だ。
  • 十分に大きい$k$ に対して$\displaystyle \lim_{k \to \infty} { {a_k} \over {b_k} } = 1$ の時$a_k \approx b_k$ と表される。
  • $b_k \downarrow 0$ は$b_{k}$ が減少数列であり、$k \to \infty$ の時$0$に収束しつつ$0$以上の値を取ることを意味する。

実数列 1

発散判定法

$\lim _{ k \to \infty }{ { a }_{ k }} \ne 0$ ならば$\sum _{ k =1 }^{ \infty }{ { a }_{ k }}$ は発散する: $$ \lim _{ k \to \infty }{ { a }_{ k }} \ne 0 \implies \not\exists \sum _{ k =1 }^{ \infty }{ { a }_{ k }} $$

コーシー判定法

$\sum _{ n=1 }^{ \infty }{ { a }_{ n }}$ が収束することは$\lim_{n \to \infty} \sum _{ k=n }^{ n+m }{ { a }_{ k }}=0$ と等価である: $$ \exists \sum_{k=1}^{\infty} a_{k} \iff \left( \forall \varepsilon > 0 , \exists N \in \mathbb{N} : m \ge n \ge N \implies \left| \sum_{k=n}^{m} a_{k} \right| < \varepsilon \right) $$

  • この名前がついた理由は、定理の証明に実数空間$\mathbb{R}$で収束する数列がコーシー数列であることと等価であることを利用するからである。

非負数列 2

各項が$0$より大きいか等しい、$a_{k} \ge 0$ を持つ数列について扱う。

積分判定法

減少関数 $f: [1,\infty) \to \mathbb{R}$ が常に$0$より大きいとする。$\sum _{ k =1 }^{ \infty }{ { f }( k )}$ が収束することは$\int_{1}^{\infty} f(x) dx < \infty$ と等価である: $$ \exists \sum_{k=1}^{\infty} f(k) \iff \int_{1}^{\infty} f(x) dx < \infty $$

  • 積分判定法integral testは$f(n+1) \le \int_{n}^{n+1} f(x) dx \le f(n)$ を利用して証明される。証明過程が面白い稀有な判定法である。

$p$級数判定法

$\sum _{ k=1 }^{ \infty } k^{-p}$ が収束することは$p>1$ と等価である: $$ \exists \sum_{k=1}^{\infty} {{ 1 } \over { k^{p} }} \iff p > 1 $$

  • $p$級数判定法$p$-Series testは簡単に言えば、調和級数で少しでも指数を上げると収束し、そうでなければ発散するというものである。幾何級数を積分判定法に入れて導かれる推論だが、非常にシンプルで有用なので、積分判定法よりもよく使われる。

比較判定法

十分に大きい$k$ に対して$0 \le a_k \le b_k$ としよう。$\sum _{ k=1 }^{ \infty }{ { b }_{ k }}$ が収束するならば、$\sum _{ k=1 }^{ \infty }{ { a }_{ k }}$ も収束する: $$ \begin{align*} \sum_{k=1}^{\infty} b_{k} < \infty \implies & \sum_{k=1}^{\infty} a_{k} < \infty \\ \sum_{k=1}^{\infty} a_{k} = \infty \implies & \sum_{k=1}^{\infty} b_{k} = \infty \end{align*} $$

  • 比較判定法comparison testは名前の通り、既に収束することがわかっている別の級数と比較して収束することを示す時に使う。対偶を使えば、同様に級数が発散するかを確認することができる。

極限比較判定法

十分に大きい$k$ に対して$a_k \ge 0$ とし、$b_k>0$ とする。$L := \lim_{k \to \infty} { {a_k} \over {b_k} } \in \overline{\mathbb{R}}$ は何らかの拡張された実数である。 (1) $0<L<\infty$ ならば、$\sum _{ n=1 }^{ \infty }{ { a }_{ n }}$ と$\sum _{ n=1 }^{ \infty }{ { b }_{ n }}$ は共に収束するか、あるいは共に発散する。 (2) $L=0$ で$\sum _{ n=1 }^{ \infty }{ { b }_{ n }}$ が収束するなら、$\sum _{ n=1 }^{ \infty }{ { a }_{ n }}$ も収束する。 (3) $L=\infty$ で$\sum _{ n=1 }^{ \infty }{ { b }_{ n }}$ が発散するなら、$\sum _{ n=1 }^{ \infty }{ { a }_{ n }}$ も発散する: $$ \begin{align*} 0 < L < \infty \implies & \left( \exists \sum_{k=1}^{n} a_{k} \iff \exists \sum_{k=1}^{n} b_{k} \right) \\ L = 0 \implies & \left( \exists \sum_{k=1}^{n} b_{k} \implies \exists \sum_{k=1}^{n} a_{k} \right) \\ L = \infty \implies & \left( \not\exists \sum_{k=1}^{n} b_{k} \implies \not\exists \sum_{k=1}^{n} a_{k} \right) \end{align*} $$

  • 極限比較判定法limit Comparison testは比較判定法と同様に、元の級数が収束することを示すのが難しいので、別の収束する級数と比較するものである。条件は厳しそうに見えるが、実際には収束性だけを示す場合には満たしやすいので非常に有用である。

絶対収束 3

無限級数$S = \sum_{k=1}^{\infty} a_{k}$ に対して、$\sum_{k=1}^{\infty} \left| a_{k} \right|$ が収束するならば、$S$ を絶対収束converge Absolutelyと定義する。これに従って絶対収束しないが$S$ 自体は収束する級数を条件付き収束converge Conditionallyとも言う。

根判定法

$\left\{ \left| a_{k} \right|^{1/k} \right\}$ のリミットスープリーム $r = \limsup_{k \to \infty} {{|a_k|} ^ {1 / k}}$ に対して、$r<1$ ならば$\sum _{ n=1 }^{ \infty }{ { a }_{ k }}$ は絶対収束、$r>1$ ならば$\sum _{ n=1 }^{ \infty }{ { a }_{ k }}$ は発散する: $$ \begin{align*} r < 1 \implies & \exists \sum_{k=1}^{\infty} \left| a_{k} \right| \\ r > 1 \implies & \not\exists \sum_{k=1}^{\infty} a_{k} \end{align*} $$

比判定法

$a_{k} \ne 0$ とし、$r = \lim_{k \to \infty} { {|a_{k+1}|} \over {|a_{k}|} } \in \overline{\mathbb{R}}$ を拡張された実数とする。$r<1$ ならば$\sum _{ k=1 }^{ \infty }{ { a }_{ k }}$は絶対収束、$r>1$ ならば$\sum _{ k=1 }^{ \infty }{ { a }_{ k }}$は発散する: $$ \begin{align*} r < 1 \implies & \exists \sum_{k=1}^{\infty} \left| a_{k} \right| \\ r > 1 \implies & \not\exists \sum_{k=1}^{\infty} a_{k} \end{align*} $$

  • 根判定法root test比判定法ratio testは条件がやや厳しいが絶対収束を一発で示すためによく使われる。一方で$r=1$ の場合は、ディリクレ判定法dirichlet’s test交代級数判定法alternating Series testなどが使われることがある。交代級数判定法はディリクレ判定法から直接導かれ、収束性だけを判定したい場合は交代調和級数を例に考えると役立つ。

ディリクレ判定法

部分和$s_n = \sum_{k=1}^{n} a_k$ が有界で、$k \to \infty$ の時$b_k \downarrow 0$ ならば、$\sum _{ k=1 }^{ \infty }{ { a }_{ k } {b}_{k}}$ は収束する: $$ \left| s_n \right| < \infty , b_k \downarrow 0 \implies \exists \sum _{ k=1 }^{ \infty }{ { a }_{ k } {b}_{k}} $$

交代級数判定法

$k \to \infty$ の時$b_k \downarrow 0$ ならば、$\sum _{ n=1 }^{ \infty }{ (-1)^{k} {b}_{k}}$ は収束する。 $$ b_k \downarrow 0 \implies \exists \sum _{ k=1 }^{ \infty }{ (-1)^{-k} {b}_{k}} $$


  1. Wade. (2013). An Introduction to Analysis(4th Edition): p186, 188。 ↩︎

  2. Wade. (2013). An Introduction to Analysis(4th Edition): p193, 194, 196。 ↩︎

  3. Wade. (2013). An Introduction to Analysis(4th Edition): p198, 201, 210。 ↩︎