コーシー(Cauchy)の収束判定法の概要と具体的な使用例のまとめ

コーシー(Cauchy)の収束判定は正項級数の収束判定にあたって一般項$a_n$の$n$分の$1$乗の極限の計算を行うことで判定を行う手法です。当記事ではコーシーの収束判定法の概要と、具体的な活用に関して確認するにあたって使用例について取りまとめを行いました。
作成にあたっては「チャート式シリーズ 大学教養 微分積分」の第$8$章「級数」を主に参考にしました。

・数学まとめ
https://www.hello-statisticians.com/math_basic

コーシーの収束判定法の概要

正項級数$\displaystyle \sum_{n=0}^{\infty} a_n, \: a_n > 0$に関して下記が存在すると仮定する。
$$
\large
\begin{align}
\lim_{n \to \infty} (a_n)^{\frac{1}{n}} = r
\end{align}
$$

このとき、$r<1$であれば級数$\displaystyle \sum_{n=0}^{\infty} a_n, \: a_n > 0$は和を持ち、$r>1$であれば級数は発散する。

上記をコーシーの収束判定法という。

コーシーの収束判定法の使用例

以下、「チャート式シリーズ 大学教養 微分積分」の例題の確認を行う。

基本例題$152$

$$
\large
\begin{align}
\sum_{n=1}^{\infty} a_n = \sum_{n=1}^{\infty} \left( 1+\frac{1}{n} \right)^{-n^2}
\end{align}
$$

上記に対して$\displaystyle (a_n)^{\frac{1}{n}}$は下記のように計算できる。
$$
\large
\begin{align}
(a_n)^{\frac{1}{n}} &= \left( \left( 1+\frac{1}{n} \right)^{-n^2} \right)^{\frac{1}{n}} \\
&= \left( 1+\frac{1}{n} \right)^{-\frac{n^2}{n}} \\
&= \left( 1+\frac{1}{n} \right)^{-n} = \frac{1}{\displaystyle \left( 1+\frac{1}{n} \right)^{n}}
\end{align}
$$

ここで$\displaystyle \frac{1}{\displaystyle \left( 1+\frac{1}{n} \right)^{n}}$に関して下記が成立する。
$$
\large
\begin{align}
\lim_{n \to \infty} \frac{1}{\displaystyle \left( 1+\frac{1}{n} \right)^{n}} = \frac{1}{e} < 1
\end{align}
$$

上記に対し、コーシーの収束判定を用いることで、級数が収束し和を持つと考えることができる。

重要例題$087$

・$[1]$
$$
\large
\begin{align}
\sum_{n=1}^{\infty} \left( \frac{2n+1}{3n+4} \right)^{n} \quad (1)
\end{align}
$$

$\displaystyle a_{n} = \left( \frac{2n+1}{3n+4} \right)^{n}$とおくと、$\sqrt[n]{a_{n}}$は下記のように計算できる。
$$
\large
\begin{align}
\sqrt[n]{a_{n}} &= \left( \frac{2n+1}{3n+4} \right)^{\frac{n}{n}} \\
&= \frac{\displaystyle 2 + \frac{1}{n}}{\displaystyle 3 + \frac{4}{n}}
\end{align}
$$

ここで$\displaystyle \lim_{n \to \infty} \sqrt[n]{a_{n}}$は下記のように得られる。
$$
\large
\begin{align}
\lim_{n \to \infty} \sqrt[n]{a_{n}} = \lim_{n \to \infty} \frac{\displaystyle 2 + \frac{1}{n}}{\displaystyle 3 + \frac{4}{n}} = \frac{2}{3} < 1
\end{align}
$$

よってコーシーの収束判定より、$(1)$式で表される正項級数は収束し、和を持つ。

・$[2]$
$$
\large
\begin{align}
\sum_{n=1}^{\infty} 2^{n} \left( \frac{n}{3n+1} \right)^{n^{3}} \quad (2)
\end{align}
$$

$\displaystyle a_{n} = 2^{n} \left( \frac{n}{n+1} \right)^{n^{3}}$とおくと、$\sqrt[n]{a_{n}}$は下記のように計算できる。
$$
\large
\begin{align}
\sqrt[n]{a_{n}} &= 2^{\frac{n}{n}} \left( \frac{n}{n+1} \right)^{\frac{n^{3}}{n}} \\
&= 2 \cdot \frac{1}{\displaystyle \left(1 + \frac{1}{n} \right)^{n^2}}
\end{align}
$$

ここで$\displaystyle \lim_{n \to \infty} \sqrt[n]{a_{n}}$は下記のように得られる。
$$
\large
\begin{align}
\lim_{n \to \infty} \sqrt[n]{a_{n}} &= \lim_{n \to \infty} 2 \cdot \frac{1}{\displaystyle \left(1 + \frac{1}{n} \right)^{n^2}} \\
&= \lim_{n \to \infty} 2 \cdot \frac{1}{\displaystyle \left[ \left(1 + \frac{1}{n} \right)^{n} \right]^{n}} \\
&= 0 < 1
\end{align}
$$

よってコーシーの収束判定より、$(2)$式で表される正項級数は収束し、和を持つ。