テイラー展開やマクローリン展開で「収束半径は $R = 1$」「全ての実数で収束する」といった記述が出てきますが、この「収束半径」はどのように決まるのでしょうか。なぜ $\ln(1+x)$ の展開は $|x| \leq 1$ でしか使えないのに、$e^x$ の展開は任意の $x$ で使えるのでしょうか。
べき級数（power series）$\sum_{n=0}^{\infty} a_n (x – c)^n$ は、テイラー級数の一般形です。べき級数の収束・発散の振る舞いは、収束半径 $R$ という1つの数値で完全に決定されます。$|x – c| < R$ で絶対収束し、$|x - c| > R$ で発散し、$|x – c| = R$ の境界では個別に調べる必要がある — この美しい構造がべき級数の本質です。
実は、$\ln(1+x)$ の収束半径が $R = 1$ であるのは、複素数平面で考えると自然に理解できます。$\ln(1+z)$ は $z = -1$ に特異点（対数の分岐点）を持ち、展開の中心 $z = 0$ から最も近い特異点までの距離が収束半径です。$e^x$ は複素平面上のどこにも特異点がないため、$R = \infty$ となります。
べき級数の理論を理解すると、以下のような場面で活用できます。
- テイラー展開: 展開の有効範囲を正確に判定できる
- 微分方程式: べき級数解法で解の存在範囲がわかる
- 特殊関数: ベッセル関数やルジャンドル多項式などはべき級数で定義される
- 数値計算: 級数の打ち切り誤差を制御できる
本記事の内容
- べき級数の定義と基本性質
- 収束半径の定義（コーシー・アダマールの公式）
- 収束半径の求め方（比判定法、根判定法）
- べき級数の項別微分・積分
- アーベルの定理（境界での収束）
- Pythonによる可視化
前提知識
この記事を読む前に、以下の記事を読んでおくと理解が深まります。
- テイラー展開の理論と応用 — テイラー級数の基礎
- 一様収束と項別微分・積分の理論 — 一様収束の定理
べき級数とは
定義
中心 $c$ のべき級数は
$$ \begin{equation} \sum_{n=0}^{\infty} a_n (x – c)^n = a_0 + a_1(x-c) + a_2(x-c)^2 + a_3(x-c)^3 + \cdots \end{equation} $$
ここで $\{a_n\}$ は係数列、$c$ は展開の中心です。$c = 0$ のとき $\sum a_n x^n$ となり、マクローリン級数に対応します。
べき級数は「無限次の多項式」と見ることができます。有限次の多項式は全ての $x$ で値が定まりますが、無限級数では収束するかどうかが問題になります。
べき級数が数学や物理で重要なのは、多くの関数（指数関数、三角関数、ベッセル関数など）がべき級数で表現でき、べき級数の演算（加減乗除、微分、積分）が多項式と同じように系統的に行えるからです。言い換えれば、べき級数は「無限次の多項式」としての計算規則を持つため、複雑な関数を扱いやすい形に変換できるのです。
多項式との違い
多項式 $P(x) = a_0 + a_1 x + \cdots + a_n x^n$ は、次数 $n$ が有限であり、全ての $x$ で値が定まります。一方、べき級数は無限の項を持つため、特定の $x$ で級数が発散することがあります。
たとえば、等比級数 $\sum_{n=0}^{\infty} x^n = \frac{1}{1-x}$ は $|x| < 1$ でのみ収束します。$x = 2$ を代入すると $1 + 2 + 4 + 8 + \cdots$ となり発散します。このように、べき級数には「収束する範囲」と「発散する範囲」があるのです。
ここで自然な疑問が浮かびます。収束する $x$ の集合はどのような形をしているのでしょうか。例えば「$x = 0.5$ と $x = 3$ で収束するが $x = 1$ では発散する」といった飛び飛びの収束パターンは起こり得るのでしょうか。実は、べき級数の収束域は必ず中心 $c$ の周りの区間（端点を含むかどうかは場合による）になるという美しい性質があります。
この収束・発散の境界を正確に特徴づけるのが収束半径です。次にその定義と性質を見ていきましょう。
収束半径
収束半径の存在定理
べき級数の収束に関する最も基本的な事実は、以下の定理です。
定理: べき級数 $\sum a_n (x-c)^n$ に対して、$0 \leq R \leq \infty$ なる値 $R$（収束半径）が一意に存在し
- $|x – c| < R$ ならば級数は絶対収束する
- $|x – c| > R$ ならば級数は発散する
- $|x – c| = R$ では収束するかもしれないし、発散するかもしれない
$$ \begin{equation} \text{収束区間}: \quad (c – R, c + R) \end{equation} $$
この構造は非常に美しいものです。1次元の場合、収束域は $c$ を中心とした区間（端点の収束は別途判定）であり、2次元（複素数の場合）は $c$ を中心とした円板です。
なぜ収束域が区間（円板）の形になるのかを直感的に説明しましょう。$|x_0 – c| = r_0$ で $\sum a_n (x_0 – c)^n$ が収束するなら、$|a_n (x_0 – c)^n| = |a_n| r_0^n$ は有界です。このとき $|x – c| = r < r_0$ を満たす $x$ に対して $|a_n(x-c)^n| = |a_n| r^n \leq |a_n| r_0^n \cdot (r/r_0)^n$ であり、$(r/r_0) < 1$ なので等比級数との比較により絶対収束します。つまり「ある点で収束すれば、より中心に近い点でも必ず収束する」のです。この性質が収束域を区間（円板）の形に制限します。
コーシー・アダマールの公式
収束半径を係数から直接計算する公式がコーシー・アダマールの公式です。
$$ \begin{equation} \frac{1}{R} = \limsup_{n \to \infty} |a_n|^{1/n} \end{equation} $$
ここで $\limsup$ は上極限であり、数列の「最終的な上界」を表します。
証明の概略: $|a_n|^{1/n} |x-c| < 1$ すなわち $|x-c| < 1/\limsup|a_n|^{1/n}$ のとき、十分大きな $n$ で $|a_n(x-c)^n| < r^n$（$r < 1$）となり、等比級数との比較で絶対収束が示されます。$|x-c| > R$ のときは $|a_n(x-c)^n| > 1$ となる $n$ が無限に存在するため、発散します。
ダランベールの比判定法
実用上は、以下の公式がよく使われます。
$$ \begin{equation} R = \lim_{n \to \infty} \left|\frac{a_n}{a_{n+1}}\right| \end{equation} $$
（この極限が存在する場合）
$\left|\frac{a_{n+1}(x-c)^{n+1}}{a_n(x-c)^n}\right| = \left|\frac{a_{n+1}}{a_n}\right||x-c|$ が1未満であれば収束するので、$|x-c| < |a_n/a_{n+1}|$ の極限として $R$ が求まります。
収束半径の計算例
例1: $\sum_{n=0}^{\infty} \frac{x^n}{n!}$（$e^x$ の展開）
$$ R = \lim_{n \to \infty} \left|\frac{1/n!}{1/(n+1)!}\right| = \lim_{n \to \infty} (n+1) = \infty $$
全ての $x$ で収束します。
例2: $\sum_{n=1}^{\infty} \frac{x^n}{n}$（$-\ln(1-x)$ の展開）
$$ R = \lim_{n \to \infty} \left|\frac{1/n}{1/(n+1)}\right| = \lim_{n \to \infty} \frac{n+1}{n} = 1 $$
$|x| < 1$ で収束します。端点 $x = 1$ では $\sum 1/n$（調和級数）で発散しますが、$x = -1$ では $\sum (-1)^{n+1}/n$（交代調和級数）で $\ln 2$ に収束します。このように、同じ収束半径の両端点でも収束・発散の振る舞いが異なることがあります。端点は個別に調べる必要があるのです。
例3: $\sum_{n=0}^{\infty} n! x^n$
$$ R = \lim_{n \to \infty} \frac{n!}{(n+1)!} = \lim_{n \to \infty} \frac{1}{n+1} = 0 $$
$x = 0$ でのみ収束し、それ以外では全て発散します。
例4: $\sum_{n=0}^{\infty} \frac{x^n}{2^n}$
$$ R = \lim_{n \to \infty} \frac{1/2^n}{1/2^{n+1}} = 2 $$
$|x| < 2$ で収束します。これは $\sum (x/2)^n = \frac{1}{1-x/2} = \frac{2}{2-x}$ の等比級数であり、$x = 2$ で分母がゼロになるため、そこで収束域が終わることが直接的にもわかります。
端点での収束パターン
端点での収束・発散のパターンをまとめておきましょう。
| べき級数 | $R$ | $x = -R$ | $x = R$ |
|---|---|---|---|
| $\sum x^n/n$ | 1 | 収束（$\ln 2$） | 発散 |
| $\sum x^n/n^2$ | 1 | 収束 | 収束 |
| $\sum x^n$ | 1 | 発散 | 発散 |
| $\sum (-1)^n x^n / n$ | 1 | 発散 | 収束 |
端点の収束判定には、交代級数判定法やラーベの判定法などが使われます。
収束半径の求め方を理解したところで、べき級数の微分・積分に関する重要な性質を見てみましょう。
べき級数の項別微分・積分
項別微分
定理: べき級数 $f(x) = \sum_{n=0}^{\infty} a_n (x-c)^n$ が収束半径 $R > 0$ を持つとき、$f$ は $(c-R, c+R)$ の内部で無限回微分可能であり
$$ \begin{equation} f'(x) = \sum_{n=1}^{\infty} n a_n (x-c)^{n-1} \end{equation} $$
しかも、微分後の級数の収束半径も $R$ に等しい。
なぜ微分しても収束半径が変わらないのでしょうか。微分後の係数は $b_n = (n+1)a_{n+1}$ ですが、コーシー・アダマールの公式に代入すると
$$ \limsup_{n \to \infty} |b_n|^{1/n} = \limsup_{n \to \infty} |(n+1)a_{n+1}|^{1/n} = \limsup_{n \to \infty} (n+1)^{1/n} |a_{n+1}|^{1/n} $$
$(n+1)^{1/n} \to 1$（$n \to \infty$）なので、微分前後で $\limsup$ の値は変わりません。したがって $1/R$ も不変、つまり収束半径が保存されます。
このことは、テイラー級数を項別に微分してよいことの根拠です。微分を繰り返し適用すれば $f^{(k)}(c) = k! a_k$ が得られ、$a_k = f^{(k)}(c)/k!$ というテイラー係数の公式が再導出されます。逆に言えば、べき級数で表せる関数は収束半径の内部で無限回微分可能であり、そのテイラー級数は自分自身に等しいのです。このような関数を解析的（analytic）と呼びます。
項別積分
定理: べき級数 $f(x) = \sum_{n=0}^{\infty} a_n (x-c)^n$ の項別積分
$$ \begin{equation} \int_c^x f(t) \, dt = \sum_{n=0}^{\infty} \frac{a_n}{n+1} (x-c)^{n+1} \end{equation} $$
もまた収束半径 $R$ を持つ。
応用: $\frac{1}{1+t} = \sum_{n=0}^{\infty} (-t)^n$（$|t| < 1$）の両辺を $0$ から $x$ まで積分すると
$$ \ln(1+x) = \sum_{n=0}^{\infty} \frac{(-1)^n}{n+1} x^{n+1} = x – \frac{x^2}{2} + \frac{x^3}{3} – \cdots $$
が得られます。$\frac{1}{1+t^2} = \sum_{n=0}^{\infty} (-1)^n t^{2n}$ を積分すれば
$$ \arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} x^{2n+1} = x – \frac{x^3}{3} + \frac{x^5}{5} – \cdots $$
$x = 1$ を代入すると $\arctan 1 = \pi/4$ から $\frac{\pi}{4} = 1 – \frac{1}{3} + \frac{1}{5} – \frac{1}{7} + \cdots$（ライプニッツの公式）が得られます。
ここで注意すべきは、$x = 1$ は収束半径の境界上の点であるということです。$\sum (-1)^n t^{2n}$ の収束半径は $R = 1$ であり、$x = 1$ での代入が許されるかどうかは自明ではありません。これを正当化するのが次のアーベルの定理です。
べき級数の演算
べき級数は項別の加減だけでなく、積（コーシー積）も定義できます。
$$ \left(\sum_{n=0}^{\infty} a_n x^n\right) \left(\sum_{n=0}^{\infty} b_n x^n\right) = \sum_{n=0}^{\infty} c_n x^n, \quad c_n = \sum_{k=0}^{n} a_k b_{n-k} $$
積の収束半径は元の2つの級数の収束半径のうち小さい方以上になります。この性質により、べき級数は一種の「代数」を構成し、関数の演算を係数の演算に帰着させることができます。
アーベルの定理
境界 $x = c + R$ での収束についての重要な定理がアーベルの定理です。
定理: $\sum a_n R^n$ が収束するならば、$f(x) = \sum a_n x^n$ は $x = R$ で左連続、つまり
$$ \lim_{x \to R^-} \sum_{n=0}^{\infty} a_n x^n = \sum_{n=0}^{\infty} a_n R^n $$
これにより、$\sum \frac{(-1)^n}{n+1} = \ln 2$ や $\sum \frac{(-1)^n}{2n+1} = \frac{\pi}{4}$ が正当化されます。
アーベルの定理の証明の核心はアーベルの総和法（Abel summation）にあります。部分和 $S_N = \sum_{n=0}^{N} a_n R^n$ が収束するとき、$|x| < R$ で
$$ \sum_{n=0}^{\infty} a_n x^n = \sum_{n=0}^{\infty} a_n R^n \cdot (x/R)^n $$
と書けます。$x \to R^-$ では $(x/R)^n \to 1$ ですが、この極限移行が許されることをアーベルの補題（部分和の有界性 + $(x/R)^n$ の単調減少性）から示します。
なお、アーベルの定理の逆は一般には成り立ちません。$\lim_{x \to R^-} f(x)$ が存在しても $\sum a_n R^n$ が収束するとは限りません。逆が成り立つ条件を与えるのがタウバー型定理であり、解析的整数論や確率論で重要な役割を果たします。
理論を一通り整理したところで、Pythonで可視化してみましょう。
Pythonでの実装と可視化
収束半径の可視化
様々なべき級数の収束域を可視化します。
import numpy as np
import matplotlib.pyplot as plt
from math import factorial
# 4つのべき級数を比較
fig, axes = plt.subplots(2, 2, figsize=(14, 10))
# (a) sum x^n/n! (R=∞)
ax = axes[0, 0]
x = np.linspace(-5, 5, 500)
for N in [3, 5, 10, 20]:
S = sum(x**n / factorial(n) for n in range(N+1))
ax.plot(x, S, linewidth=1.2, alpha=0.7, label=f'N={N}')
ax.plot(x, np.exp(x), 'k-', linewidth=2.5, label=r'$e^x$')
ax.set_title(r'$\sum x^n/n!$ ($R=\infty$)', fontsize=12)
ax.set_ylim(-10, 50)
ax.legend(fontsize=8)
ax.grid(True, alpha=0.3)
# (b) sum x^n (R=1)
ax = axes[0, 1]
x = np.linspace(-1.5, 1.5, 500)
for N in [3, 5, 10, 20]:
S = sum(x**n for n in range(N+1))
S = np.clip(S, -10, 10)
ax.plot(x, S, linewidth=1.2, alpha=0.7, label=f'N={N}')
x_conv = np.linspace(-0.99, 0.99, 500)
ax.plot(x_conv, 1/(1-x_conv), 'k-', linewidth=2.5, label=r'$1/(1-x)$')
ax.axvline(1, color='red', linestyle='--', alpha=0.5)
ax.axvline(-1, color='red', linestyle='--', alpha=0.5)
ax.set_title(r'$\sum x^n$ ($R=1$)', fontsize=12)
ax.set_ylim(-10, 10)
ax.legend(fontsize=8)
ax.grid(True, alpha=0.3)
# (c) sum (-1)^n x^{2n+1}/(2n+1)! (sin x, R=∞)
ax = axes[1, 0]
x = np.linspace(-4*np.pi, 4*np.pi, 500)
for N in [1, 2, 3, 5, 8]:
S = sum((-1)**n * x**(2*n+1) / factorial(2*n+1) for n in range(N))
S = np.clip(S, -5, 5)
ax.plot(x, S, linewidth=1.2, alpha=0.7, label=f'{N} terms')
ax.plot(x, np.sin(x), 'k-', linewidth=2.5, label=r'$\sin x$')
ax.set_title(r'$\sin x$ series ($R=\infty$)', fontsize=12)
ax.set_ylim(-5, 5)
ax.legend(fontsize=8)
ax.grid(True, alpha=0.3)
# (d) sum x^n/(n*2^n) (R=2)
ax = axes[1, 1]
x = np.linspace(-2.5, 2.5, 500)
for N in [5, 10, 20, 50]:
S = sum(x**n / (n * 2**n) for n in range(1, N+1))
S = np.clip(S, -10, 10)
ax.plot(x, S, linewidth=1.2, alpha=0.7, label=f'N={N}')
x_conv = np.linspace(-1.99, 1.99, 500)
ax.plot(x_conv, -np.log(1 - x_conv/2), 'k-', linewidth=2.5,
label=r'$-\ln(1-x/2)$')
ax.axvline(2, color='red', linestyle='--', alpha=0.5)
ax.axvline(-2, color='red', linestyle='--', alpha=0.5)
ax.set_title(r'$\sum x^n/(n \cdot 2^n)$ ($R=2$)', fontsize=12)
ax.set_ylim(-5, 5)
ax.legend(fontsize=8)
ax.grid(True, alpha=0.3)
for ax in axes.flat:
ax.set_xlabel('x', fontsize=11)
plt.tight_layout()
plt.savefig('power_series_convergence.png', dpi=150, bbox_inches='tight')
plt.show()
このグラフから、べき級数の収束半径の影響が明確に見えます。
-
左上（$e^x$, $R = \infty$）: 項数を増やすにつれて全域で真の関数に収束しています。$R = \infty$ なので収束域に制限がありません。
-
右上（$1/(1-x)$, $R = 1$）: 赤い破線（$x = \pm 1$）の内側では収束しますが、外側では部分和が発散しています。$x = 1$ で $1/(1-x)$ が極を持つことが収束半径を $R = 1$ に制限しています。
-
左下（$\sin x$, $R = \infty$）: $\sin x$ は全域で収束しますが、原点から離れるほど多くの項が必要です。
-
右下（$-\ln(1-x/2)$, $R = 2$）: $x = 2$ に極があるため $R = 2$ であり、$|x| < 2$ でのみ収束しています。
収束半径の数値的計算
比判定法と根判定法を数値的に比較します。
import numpy as np
import matplotlib.pyplot as plt
fig, axes = plt.subplots(1, 2, figsize=(14, 5))
# (a) 比 |a_n / a_{n+1}| の収束
ax = axes[0]
# 例1: a_n = 1/n! -> R = ∞
n = np.arange(1, 30)
ratio1 = np.array([1/np.math.factorial(k) / (1/np.math.factorial(k+1)) for k in n])
ax.plot(n, ratio1, 'bo-', markersize=4, label=r'$a_n = 1/n!$ ($R=\infty$)')
# 例2: a_n = 1/n -> R = 1
ratio2 = np.array([(1/k) / (1/(k+1)) for k in n])
ax.plot(n, ratio2, 'r^-', markersize=4, label=r'$a_n = 1/n$ ($R=1$)')
# 例3: a_n = 1/2^n -> R = 2
ratio3 = np.array([(1/2**k) / (1/2**(k+1)) for k in n])
ax.plot(n, ratio3, 'gs-', markersize=4, label=r'$a_n = 1/2^n$ ($R=2$)')
# 例4: a_n = n! -> R = 0
ratio4 = np.array([np.math.factorial(k) / np.math.factorial(k+1) for k in n])
ax.plot(n, ratio4, 'mD-', markersize=4, label=r'$a_n = n!$ ($R=0$)')
ax.set_xlabel('n', fontsize=12)
ax.set_ylabel(r'$|a_n / a_{n+1}|$', fontsize=12)
ax.set_title('Ratio test: $R = \\lim |a_n/a_{n+1}|$', fontsize=13)
ax.legend(fontsize=9)
ax.grid(True, alpha=0.3)
ax.set_yscale('log')
ax.set_ylim(1e-2, 1e3)
# (b) 境界での収束の様子
ax = axes[1]
# sum (-1)^{n-1}/n at x=1: should give ln(2)
N_max = 200
partial_sums_ln2 = np.cumsum([(-1)**(n-1)/n for n in range(1, N_max+1)])
# sum 1/n at x=1: diverges (harmonic series)
partial_sums_harmonic = np.cumsum([1/n for n in range(1, N_max+1)])
# sum (-1)^n/(2n+1) at x=1: should give pi/4
partial_sums_pi4 = np.cumsum([(-1)**n/(2*n+1) for n in range(N_max)])
ax.plot(range(1, N_max+1), partial_sums_ln2, 'b-', linewidth=1.5,
label=r'$\sum (-1)^{n-1}/n = \ln 2$')
ax.axhline(np.log(2), color='blue', linestyle='--', alpha=0.3)
ax.plot(range(1, N_max+1), partial_sums_pi4, 'g-', linewidth=1.5,
label=r'$\sum (-1)^n/(2n+1) = \pi/4$')
ax.axhline(np.pi/4, color='green', linestyle='--', alpha=0.3)
ax.set_xlabel('N (number of terms)', fontsize=12)
ax.set_ylabel('Partial sum', fontsize=12)
ax.set_title('Convergence at boundary $x = R$', fontsize=13)
ax.legend(fontsize=10)
ax.grid(True, alpha=0.3)
plt.tight_layout()
plt.savefig('power_series_ratio.png', dpi=150, bbox_inches='tight')
plt.show()
このグラフから、収束半径の計算方法と境界での振る舞いが確認できます。
-
左図（比判定法）: 比 $|a_n/a_{n+1}|$ が各級数の収束半径に収束していく様子が見えます。$1/n!$ の場合は $n+1 \to \infty$ で$R = \infty$、$1/n$ の場合は $(n+1)/n \to 1$ で $R = 1$、$1/2^n$ の場合は $2$ で $R = 2$、$n!$ の場合は $1/(n+1) \to 0$ で $R = 0$ です。
-
右図（境界での収束）: $x = 1$（収束半径の境界）での交代級数の部分和がそれぞれ $\ln 2$ と $\pi/4$ に収束しています。収束は遅く（条件収束）、交代級数特有の振動を示しながら極限に近づいています。部分和が極限値の上下を交互に行き来するのは、交代級数の各項が部分和を「行き過ぎて」は「戻す」という動きを繰り返すためです。
べき級数の応用
微分方程式のべき級数解法
べき級数の最も強力な応用の一つが、微分方程式の解をべき級数の形で求める方法です。例えば、エアリーの微分方程式 $y” – xy = 0$ の解を $y = \sum_{n=0}^{\infty} a_n x^n$ と仮定し、微分方程式に代入して係数を比較すると
$$ \sum_{n=2}^{\infty} n(n-1)a_n x^{n-2} – \sum_{n=0}^{\infty} a_n x^{n+1} = 0 $$
$x^k$ の係数を比較すると漸化式 $(k+2)(k+1)a_{k+2} = a_{k-1}$（$k \geq 1$）が得られます。初期値 $a_0, a_1$ を自由パラメータとして、全ての係数が決定されます。
この方法が正当化されるのは、べき級数の項別微分が収束半径内で自由にできるからです。得られた級数解の収束半径が正であることを確認すれば、それが微分方程式の真の解であることが保証されます。
数値計算と打ち切り誤差
数値計算でべき級数を利用する際、有限項で打ち切ったときの誤差を制御することが重要です。$f(x) = \sum_{n=0}^{\infty} a_n x^n$ を $N$ 項で打ち切ったときの誤差は
$$ |R_N(x)| = \left|\sum_{n=N+1}^{\infty} a_n x^n\right| \leq \sum_{n=N+1}^{\infty} |a_n| |x|^n $$
$|x| < R$ のとき、$|a_n x^n|$ は十分大きな $n$ で等比級数的に減衰するため、打ち切り誤差を任意に小さくできます。特に、$|x|$ が $R$ に比べて十分小さい場合は、少ない項数で高精度な近似が得られます。これが三角関数や指数関数の数値計算でマクローリン展開が使われる理由です。
まとめ
本記事では、べき級数の収束半径と性質について解説しました。
- べき級数 $\sum a_n(x-c)^n$ の収束域は中心 $c$ から半径 $R$ の区間 $(c-R, c+R)$ で、$R$ は収束半径。端点では個別に判定が必要
- 収束域が区間になるのは、「ある点で収束すればより中心に近い点でも収束する」という単調性による
- コーシー・アダマール: $1/R = \limsup |a_n|^{1/n}$、比判定法: $R = \lim |a_n/a_{n+1}|$
- 収束半径内ではべき級数は一様収束し、項別微分・項別積分が自由にできる
- 微分・積分しても収束半径は変わらない（$(n+1)^{1/n} \to 1$ による）
- アーベルの定理により、境界で収束する場合は左連続性が保証される
- べき級数の積（コーシー積）も定義でき、べき級数は代数的な構造を持つ
- 微分方程式のべき級数解法や数値計算の打ち切り誤差の制御など、実用的な応用も豊富
べき級数の理論は、複素解析に進むと「正則関数」「ローラン級数」「留数定理」といった深い理論に発展します。また、フーリエ級数は三角関数の無限和であり、べき級数とは異なる構造を持ちますが、収束の問題は同様に重要です。これらの発展的な話題を学ぶ上で、べき級数の収束理論は共通の基盤となります。
次のステップとして、以下の記事も参考にしてください。
- テイラー展開の理論と応用 — べき級数の具体例
- 一様収束と項別微分・積分の理論 — 一様収束の理論
- ラプラス変換の定義と基本性質 — 級数とは異なる変換