logo

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

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

概観

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

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

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

実数列 1

発散判定法

lim⁡k→∞ak≠0\lim _{ k \to \infty }{ { a }_{ k }} \ne 0 ならば∑k=1∞ak\sum _{ k =1 }^{ \infty }{ { a }_{ k }} は発散する: lim⁡k→∞ak≠0  ⟹  ∄∑k=1∞ak \lim _{ k \to \infty }{ { a }_{ k }} \ne 0 \implies \not\exists \sum _{ k =1 }^{ \infty }{ { a }_{ k }}

コーシー判定法

∑n=1∞an\sum _{ n=1 }^{ \infty }{ { a }_{ n }} が収束することはlim⁡n→∞∑k=nn+mak=0\lim_{n \to \infty} \sum _{ k=n }^{ n+m }{ { a }_{ k }}=0 と等価である: ∃∑k=1∞ak  ⟺  (∀ε>0,∃N∈N:m≥n≥N  ⟹  ∣∑k=nmak∣<ε) \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)

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

非負数列 2

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

積分判定法

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

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

pp級数判定法

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

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

比較判定法

十分に大きいkk に対して0≤ak≤bk0 \le a_k \le b_k としよう。∑k=1∞bk\sum _{ k=1 }^{ \infty }{ { b }_{ k }} が収束するならば、∑k=1∞ak\sum _{ k=1 }^{ \infty }{ { a }_{ k }} も収束する: ∑k=1∞bk<∞  ⟹  ∑k=1∞ak<∞∑k=1∞ak=∞  ⟹  ∑k=1∞bk=∞ \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は名前の通り、既に収束することがわかっている別の級数と比較して収束することを示す時に使う。対偶を使えば、同様に級数が発散するかを確認することができる。

極限比較判定法

十分に大きいkk に対してak≥0a_k \ge 0 とし、bk>0b_k>0 とする。L:=lim⁡k→∞akbk∈R‾L := \lim_{k \to \infty} { {a_k} \over {b_k} } \in \overline{\mathbb{R}} は何らかの拡張された実数である。 (1) 0<L<∞0<L<\infty ならば、∑n=1∞an\sum _{ n=1 }^{ \infty }{ { a }_{ n }} と∑n=1∞bn\sum _{ n=1 }^{ \infty }{ { b }_{ n }} は共に収束するか、あるいは共に発散する。 (2) L=0L=0 で∑n=1∞bn\sum _{ n=1 }^{ \infty }{ { b }_{ n }} が収束するなら、∑n=1∞an\sum _{ n=1 }^{ \infty }{ { a }_{ n }} も収束する。 (3) L=∞L=\infty で∑n=1∞bn\sum _{ n=1 }^{ \infty }{ { b }_{ n }} が発散するなら、∑n=1∞an\sum _{ n=1 }^{ \infty }{ { a }_{ n }} も発散する: 0<L<∞  ⟹  (∃∑k=1nak  ⟺  ∃∑k=1nbk)L=0  ⟹  (∃∑k=1nbk  ⟹  ∃∑k=1nak)L=∞  ⟹  (∄∑k=1nbk  ⟹  ∄∑k=1nak) \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=∑k=1∞akS = \sum_{k=1}^{\infty} a_{k} に対して、∑k=1∞∣ak∣\sum_{k=1}^{\infty} \left| a_{k} \right| が収束するならば、SS を絶対収束converge Absolutelyと定義する。これに従って絶対収束しないがSS 自体は収束する級数を条件付き収束converge Conditionallyとも言う。

根判定法

{∣ak∣1/k}\left\{ \left| a_{k} \right|^{1/k} \right\} のリミットスープリーム r=lim sup⁡k→∞∣ak∣1/kr = \limsup_{k \to \infty} {{|a_k|} ^ {1 / k}} に対して、r<1r<1 ならば∑n=1∞ak\sum _{ n=1 }^{ \infty }{ { a }_{ k }} は絶対収束、r>1r>1 ならば∑n=1∞ak\sum _{ n=1 }^{ \infty }{ { a }_{ k }} は発散する: r<1  ⟹  ∃∑k=1∞∣ak∣r>1  ⟹  ∄∑k=1∞ak \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*}

比判定法

ak≠0a_{k} \ne 0 とし、r=lim⁡k→∞∣ak+1∣∣ak∣∈R‾r = \lim_{k \to \infty} { {|a_{k+1}|} \over {|a_{k}|} } \in \overline{\mathbb{R}} を拡張された実数とする。r<1r<1 ならば∑k=1∞ak\sum _{ k=1 }^{ \infty }{ { a }_{ k }}は絶対収束、r>1r>1 ならば∑k=1∞ak\sum _{ k=1 }^{ \infty }{ { a }_{ k }}は発散する: r<1  ⟹  ∃∑k=1∞∣ak∣r>1  ⟹  ∄∑k=1∞ak \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=1r=1 の場合は、ディリクレ判定法dirichlet’s testや交代級数判定法alternating Series testなどが使われることがある。交代級数判定法はディリクレ判定法から直接導かれ、収束性だけを判定したい場合は交代調和級数を例に考えると役立つ。

ディリクレ判定法

部分和sn=∑k=1naks_n = \sum_{k=1}^{n} a_k が有界で、k→∞k \to \infty の時bk↓0b_k \downarrow 0 ならば、∑k=1∞akbk\sum _{ k=1 }^{ \infty }{ { a }_{ k } {b}_{k}} は収束する: ∣sn∣<∞,bk↓0  ⟹  ∃∑k=1∞akbk \left| s_n \right| < \infty , b_k \downarrow 0 \implies \exists \sum _{ k=1 }^{ \infty }{ { a }_{ k } {b}_{k}}

交代級数判定法

k→∞k \to \infty の時bk↓0b_k \downarrow 0 ならば、∑n=1∞(−1)kbk\sum _{ n=1 }^{ \infty }{ (-1)^{k} {b}_{k}} は収束する。 bk↓0  ⟹  ∃∑k=1∞(−1)−kbk 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。 ↩︎