Skip to content

Instantly share code, notes, and snippets.

@showa-yojyo
Last active February 9, 2023 17:08
Show Gist options
  • Save showa-yojyo/3e884311ceb63681cafa51cea7402f2a to your computer and use it in GitHub Desktop.
Save showa-yojyo/3e884311ceb63681cafa51cea7402f2a to your computer and use it in GitHub Desktop.
目標:優級数判定法の派生のような判定法二種類を理解する
title
Ratio and Root Test

Real Analysis - Part 20 - Ratio and Root Test - YouTube より

ある番号 $n_0$$\lvert q \rvert \lt 1$ であるような実数 $q$ が存在して すべての $k \ge n_0$ について

$$ \lvert a_k \rvert \lt q^k $$

であるとする。このとき $\displaystyle \sum_{k=1}^{\infty}a_k$ は絶対収束する。

上の陳述を少し変えて、ある $C \in \mathbb{R}$ に対して

$$ \lvert a_k \rvert \lt C q^k $$

であるとしても、絶対収束する。

Ratio test

ある番号 $n_0$ と実数 ${q \in [0, 1)}$ について、すべての $k \ge n_0$ に対して $a_k \ne 0$ かつ

$$ \left\lvert\frac{a_{k+1}}{a_k}\right\rvert\le q $$

ならば $\displaystyle \sum_{k=1}^{\infty}a_k$ は絶対収束する。

証明は以下のようにする。すべての $k \ge n_0$ に対して

$$ \begin{aligned} \lvert a_{k+1} \rvert &\le q \lvert a_{k} \rvert \le q^2 \lvert a_{k-1} \rvert \le \dotsb\\ &\le q^{k + 1 - n_0} \lvert a_{n_0} \rvert\\ &= q^{k+1}\frac{\lvert a_{n_0} \rvert}{q^{n_0}}. \end{aligned} $$

この不等式を見ると、本節の直前に記した条件を満たしているので、級数が絶対収束する。

例: $\displaystyle \sum_{k=1}^{\infty} \frac{1}{k!}$ は収束するか。

$$ \begin{aligned} \left\lvert\frac{a_{k+1}}{a_k}\right\rvert = \cfrac{\frac{1}{(k + 1)!}}{\frac{1}{k!}} = \frac{1}{k + 1} \le \frac{1}{2}. \end{aligned} $$

すべての $k \ge 1$ に対して成り立つので収束する。

Root test

ある番号 $n_0$ と実数 ${q \in [0, 1)}$ について、すべての $k \ge n_0$ に対して

$$ \sqrt[k]{\lvert a_k \rvert} \le q $$

ならば、$\displaystyle \sum_{k=1}^{\infty}a_k$ は絶対収束する。

なぜならば、この不等式の両辺を $k$ 乗すれば Ratio test の条件が満たさているからだ。

上極限で判定する

  • $\displaystyle \limsup_{k \to \infty} \sqrt[k]{\lvert a_k \rvert} \lt 1 \implies \sum_{k=1}^{\infty}a_k$ は絶対収束する。
  • $\displaystyle \limsup_{k \to \infty} \sqrt[k]{\lvert a_k \rvert} \gt 1 \implies \sum_{k=1}^{\infty}a_k$ は発散する。
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment