冪級数の収束半径
まとめ1
与えられたべき級数$\sum\limits_{n=0}^{\infty} c_{n}(x - a)^{n}$について、$\alpha$と$R$は次のように定義される。
$$ \alpha = \limsup\limits_{n \to \infty} \sqrt[n]{|c_{n}|}, \qquad R = \dfrac{1}{\alpha} $$
それで、$\left| x - a \right| \lt R$のとき級数は収束し、$\left| x - a \right| \gt R$のとき級数は発散する。
- $\alpha = 0$ならば$R = \infty$、$\alpha = \infty$ならば$R = 0$にする。
定義
上記の定理に従い、$R$はべき級数$\sum\limits_{n=0}^{\infty} c_{n}(x - a)^{n}$の収束半径radius of convergenceと呼ばれる。
説明
以下の証明から、収束半径が$R$のべき級数$\sum\limits_{} c_{n} (x - a)^{n}$は開区間$(a - R, a + R)$で絶対収束することがわかる。
証明
$a_{n} = c_{n} (x - a)^{n}$なので、ここで根判定法を適用すると、
$$ \limsup\limits_{n \to \infty} \sqrt[n]{|a_{n}|} = \limsup\limits_{n \to \infty} \sqrt[n]{|c_{n}| \left| x - a \right|^{n}} = \limsup\limits_{n \to \infty} \sqrt[n]{|c_{n}|} \left| x - a \right| = \dfrac{\left| x - a \right|}{R} $$
根判定法によって$\dfrac{\left| x - a \right|}{R} \lt 1$のとき級数が収束し、$\dfrac{\left| x - a \right|}{R} \gt 1$のとき発散する。
■
Walter Rudin, Principles of Mathmatical Analysis (3rd Edition, 1976), p69 ↩︎