収束半径の定義
べき級数と中心点
べき級数とは、ある中心点 \(a\) を用いて \[ \sum_{n=0}^{\infty} c_n (x-a)^n \] の形に表される無限級数を指す。各項の変数への依存は \((x-a)^n\) という単純な累乗で与えられ、係数 \(c_n\) が級数の振る舞いを大きく左右する。
中心点 \(a\) の選び方は、級数がどの点の周りで“局所的に”表現できるかを決める。たとえば、多項式近似やテイラー展開では、中心点の周りでの値や性質を高精度に記述することが目的となるため、この点が解析上の基準になる。
収束域の幾何学的な意味
| 収束域とは、実数直線（あるいは複素数平面）において、級数の部分和が有限の極限へ近づく点の集合である。べき級数の場合、収束域は距離 \( | x-a | \) によって整理できることが多く、結果として“半径”という量で表現されるのが基本的特徴になる。 |
|---|
距離による表現（円・区間）
| 実数の変数 \(x\) を考えると、中心点 \(a\) からの距離 \( | x-a | \) が一定の上限未満の範囲で収束する。そこで収束域は区間 |
|---|
\[ (a-R,\, a+R) \] として記述できる（ただし端点は別途検討が必要で、通常は境界まで自動的に含めない）。
| 複素数の変数 \(z\) を扱う場合、収束域は平面上の円盤に対応し、収束条件は \( | z-a | <R\) に集約される。ここで \(R\) が収束半径であり、等距離の円が“収束の可否を境にした形”として現れる。 |
|---|
収束域と発散域の境界
| 収束半径 \(R\) は、収束する点と発散する点の境界距離を与える量として理解される。一般に \( | x-a | <R\) では級数が収束する一方で、\( | x-a | >R\) では発散することが成り立つ（ただし \( | x-a | =R\) は必ずしも一様に振る舞わず、個々の具体的級数ごとに判定が要る）。 |
|---|
この「境界では何が起きるかは別問題」という点が重要である。収束半径は集合の“内側”と“外側”の整理に強力だが、端点の振る舞いまで完全に決めてはくれない。
収束半径の数学的定式化
収束半径 \(R\) は、べき級数 \[ \sum_{n=0}^{\infty} c_n (x-a)^n \] に対して、ある実数 \(R\ge 0\) が存在し、次の性質を満たすように定義される：
| - \( | x-a | <R\) なら級数は収束する |
|---|---|---|
| - \( | x-a | >R\) なら級数は発散する |
ここで \(R=0\) なら中心点以外では収束せず、\(R=\infty\) なら全ての \(x\)（あるいは複素数 \(z\)）で収束する。両端を含むかどうかは、\(R\) の定義自体からは確定しないため、別途評価が必要である。
収束半径の求め方
係数からの評価（基本公式）
| 収束半径は係数 \(\{c_n\}\) から導出できる。代表的には極限操作を用いた公式があり、計算の主眼は \( | c_n | \) の増減率（成長度）を把握することにある。 |
|---|
比の考察による手順
比の考察は、隣り合う項の比 \[
| \left | \frac{c_{n+1}(x-a)^{n+1}}{c_n(x-a)^n}\right | |||
|---|---|---|---|---|
| = \left | \frac{c_{n+1}}{c_n}\right | \, | x-a |
\] を利用して、比検定の収束条件へ結びつける方法である。
| 一般形に対しては、\(\left | \frac{c_{n+1}}{c_n}\right | \) の極限が存在する場合に限り簡潔な式が得られる。たとえばその極限が \(L\) として現れれば、条件はおおむね \( | x-a | <1/L\) に対応し、収束半径は \(R=1/L\) となる（ただし \(L=0\) や発散する場合の扱いは別途整理する）。 |
|---|
ルート判定による手順
ルート判定では、\(n\) 乗根を取った量 \[
| \sqrt[n]{\left | c_n(x-a)^n\right | }=\sqrt[n]{ | c_n | }\, | x-a |
|---|
\] の極限を調べる。べき級数の典型的な状況では、\(\limsup\)（上限極限）を用いると精度の高い判定が可能になる。
| この枠組みでは、\(\sqrt[n]{ | c_n | }\) の成長が \(1/R\) に対応する形で現れ、収束半径は \(R\) を用いて整理される。結果として、収束半径は係数の指数的な増え方を反映した量として表現される。 |
|---|
コーシー・ハダマールの定理
コーシー・ハダマールの定理は、べき級数の収束半径を係数に結びつける最も標準的な理論である。比較的広い条件で利用でき、実務的にも頻出する。
極限操作と下限・上限
定理は \(\limsup\) を含む形で述べられる。べき級数 \[ \sum_{n=0}^{\infty} c_n (x-a)^n \] の収束半径 \(R\) は \[
| \frac{1}{R}=\limsup_{n\to\infty} \sqrt[n]{ | c_n | } |
|---|
\] によって与えられる（右辺が 0 なら \(R=\infty\)、右辺が \(\infty\) なら \(R=0\) と解釈する）。
この定式化により、端点挙動を除けば収束判定の骨格が係数の“指数的尺度”だけで決まることが分かる。係数が揺らいでも、上限極限が支配するため、計算が不安定になりにくいのが利点である。
代表的な例の計算
| 例として、\(c_n=\frac{1}{n!}\) のように階乗で減衰する場合、\(\sqrt[n]{ | c_n | }=\sqrt[n]{1/n!}\) は 0 に近づくため、\(\limsup \sqrt[n]{ | c_n | }=0\) となり \(R=\infty\) が得られる。したがって \(\sum (x-a)^n/n!\) はどの \(x\) でも収束する。 |
|---|
| 逆に \(c_n=1\) の場合、\(\sqrt[n]{ | c_n | }=1\) なので \(1/R=1\)、よって \(R=1\) となる。よって \(\sum (x-a)^n\) は \( | x-a | <1\) で収束し、それ以外では発散する（端点 \( | x-a | =1\) は別途判定が要る）。 |
|---|
| また \(c_n=2^n\) の場合、\(\sqrt[n]{ | c_n | }=2\) なので \(1/R=2\)、すなわち \(R=1/2\) となる。収束半径は係数の増幅率に反比例して変化する。 |
|---|
収束半径と関連する量
収束半径の符号・退化ケース
収束半径 \(R\) は距離の上限として定義されるため、原則として非負である。負の値は意味を持たず、負になる可能性は定義の段階で排除されている。
退化としては \(R=0\) と \(R=\infty\) がある。\(R=0\) は中心点以外で発散することを示し、係数が指数的に極端な増大を示す場合などに対応する。\(R=\infty\) はどこでも収束する状況で、係数が十分に速く減衰する場合に現れる。
収束半径が無限または零の場合
| \(R=\infty\) のとき、条件 \( | x-a | <R\) は実質的に常に満たされ、べき級数は全体で収束する。とはいえ“収束すること”と“項別微分や積分が許されること”は同一ではないため、応用場面では追加条件（正則性など）が別途検討される。 |
|---|
\(R=0\) の場合は中心点でのみ定義される振る舞いになる。具体的には、\(x=a\) では級数が \(\sum c_n 0^n=c_0\) に収束する（残りは 0）一方、他の点では \((x-a)^n\) の寄与が係数成長を打ち負かせず発散しやすい。
収束半径と端点の挙動
端点での収束問題
| 端点とは \( | x-a | =R\) を満たす点である。収束半径の定義からは内側・外側のみが確定するため、端点の収束・発散は一般論で決まらない。 |
|---|
境界点での収束判定の考え方
端点に代入すると級数の項が具体的に定まり、通常の級数判定法（比較判定、比検定、絶対収束の有無、交代級数の判定など）を個別に適用する。
たとえば \((x-a)^n\) の部分が \(\pm R^n\) になるため、端点では項の大きさや符号が一段具体化される。こうして得られた数列 \(\{c_n(\pm R)^n\}\) に対して収束性を調べるのが基本方針である。
交代級数として扱える場合
端点で符号が交代する場合、交代級数の判定則が有効になることがある。具体的には、端点での級数が \[ \sum_{n=0}^{\infty} d_n (-1)^n \] のように書けるとき、\(d_n\) が単調減少で \(d_n\to 0\) を満たせば収束が保証される。
ただし“絶対収束”かどうかは別であり、条件が満たされても絶対収束にならない場合がある。その場合、項別操作（微分・積分）を無条件に正当化するのは慎重であるべきになる。
一様収束との関係（概観）
収束半径そのものは点ごとの収束を扱うが、一様収束は区間全体に対する安定性を与える。両者の関係は、応用で非常に重要になる。
収束半径内の性質
| 収束半径で切られた内側 \( | x-a | <R\) のコンパクトな部分（例えば閉じた狭い区間）では、べき級数は通常一様収束する。この性質により、連続性や積分の交換などが扱いやすくなる。 |
|---|
背景には、有界性に基づく評価（例えば上からの支配）や項の制御がある。中心点から十分離れない領域では、\((x-a)^n\) の増え方が収束に必要な減衰と釣り合うため、全体として挙動が安定する。
境界近傍の注意点
| 境界 \( | x-a | =R\) に近づくと、項の支配が崩れやすくなり、一様収束は成立しないことがある。端点で発散する場合はもちろんのこと、端点で収束する場合でも一様性が保証されるとは限らない。 |
|---|
したがって、境界を含む閉区間での操作は、別の評価や追加仮定が必要になる。応用では「内側の閉区間で扱う」方針がよく採用される。
収束半径の応用
関数の表現と近似
テイラー展開・マクローリン展開
テイラー展開は、滑らかな関数 \(f(x)\) を中心点 \(a\) の周りでべき級数として表す代表例である。そこで得られる級数の収束半径は、元の関数がどの範囲でその展開通りに再現されるかを示す尺度になる。
マクローリン展開は中心点を 0 とする特殊化であり、収束半径は 0 の周りでの有効範囲に対応する。実際には解析接続や特異点の位置などが絡み、収束半径が幾何学的な目安（中心から最も近い特異点までの距離）として現れることがある。
多項式近似との関係
べき級数の部分和は多項式になるため、収束半径の内側で部分和は良い近似を与える。近似精度は残差項（打ち切り誤差）により評価され、一般には収束半径にどれだけ余裕があるかが性能に影響する。
収束半径に近い点では誤差が増大しやすい。逆に十分内側では、項が急速に小さくなるため、有限次数の多項式でも精度が得られやすい。
微積分との整合性
項別微分・項別積分の条件
べき級数は、適切な収束条件のもとで項別微分・項別積分が許される。典型的には、収束半径の内部の任意の閉区間で一様収束や十分な支配が成り立つと、導関数や原始関数に関する交換が正当化される。
具体的には、微分すると係数は \((n)c_n(x-a)^{n-1}\) の形へ変わるため、係数の成長と累乗の減衰の釣り合いが維持される必要がある。収束半径はその釣り合いの成立範囲を与える“目安”として機能する。
収束半径が保証する範囲
収束半径が与えるのは、少なくとも点ごと（あるいは内部の閉区間での）収束の枠である。項別積分や導関数の一致を論じる際には、収束半径内でのより強い性質（例えば一様収束の存在）が必要になることが多い。
そのため実務では、「収束半径より小さい半径の閉区間で作業する」ことで安全性を確保する流れが一般的になる。こうして、解析的に扱える範囲が明確になる。
解法としての利用
常微分方程式への級数解法
常微分方程式で解をべき級数として仮定し、係数比較によって未知係数を逐次決定する手法がしばしば用いられる。収束半径は、その級数解がどの領域まで信頼できるかを特徴づける役割を持つ。
特に初期値問題の形で中心点を定めると、解がその点の周りで解析的に展開できる範囲が収束半径で評価できる。方程式により係数再帰が与えられ、コーシー・ハダマール型の評価で半径が定量化される場合もある。
パワー級数による境界問題の扱い
境界条件を満たす解を構成する際にも、パワー級数が利用される。収束半径は、境界を中心点からどれだけ離れた位置に置けるか、また級数表現が境界で意味を持つかを整理する基準になる。
たとえば、境界値が半径の内側にあるなら級数はそこで評価可能であり、外側に出ると表現が崩れる可能性が高い。境界がちょうど端点に相当する場合は、端点収束の追加判定が不可欠となり、安易な適用は避ける必要がある。