雑記：部分分数分解

791

はじめに

　この記事では部分分数分解についての基本事項についてまとめていきます。
　部分分数分解とは多項式 $f, g, h$ に対して
$\frac{f (x)}{(x - a_{1}) (x - a_{2}) \dots (x - a_{n})} = \frac{α_{1}}{x - a_{1}} + \frac{α_{2}}{x - a_{2}} + \dots + \frac{α_{n}}{x - a_{n}}$
や
$\frac{f (x)}{g (x) h (x)} = \frac{f_{1} (x)}{g (x)} + \frac{f_{2} (x)}{h (x)}$
のように高次の分数式を低次の分数式の和に分解することを言います。
　高校数学では分母を両辺に掛けて係数比較することで $α_{1}, α_{2}, \dots, α_{n}$ や $f_{1}, f_{2}$ を決定するのが常套手段となっていますが、ここではより発展的な話をしていきましょう。

分解の存在性と一意性

　一般の分数式を考えていくにあたって、そもそもどのようなときにどのような部分分数分解が存在するのかということを確かめておく必要があります。そのことについては以下のような事実として記述することができます。

Ver. 1

　多項式 $f, g, h$ について、 $g, h$ が互いに素つまり共通因子を持たず、また
$\deg f < \deg g + \deg h$
が成り立つとき
$\deg f_{1} < \deg g, \deg f_{2} < \deg h$
および
$\frac{f (x)}{g (x) h (x)} = \frac{f_{1} (x)}{g (x)} + \frac{f_{2} (x)}{h (x)}$
を満たすような多項式 $f_{1}, f_{2}$ が一意に存在する。

　この命題を示すにあたって
$f (x) = f_{2} (x) g (x) + f_{1} (x) h (x)$
という恒等式を考える必要がありますが、これは不定方程式
$c = a x + b y$
の整数解 $(x, y)$ を考えるのと同様の手法が使えます。
　それは整数同士の割り算と同様に多項式同士にも除法の原理が考えられることに起因しています(このことは専門的な用語を使うと、整数環 $Z$ と体係数多項式環 $K [x]$ は共にユークリッド整域である、と言い換えられます)。
　詳しいことについては以下の証明を見てみればわかると思います。

証明(冗長なので折り畳み)

　多項式同士の割り算により
$\begin{aligned} g (x) & = q_{1} (x) h (x) + r_{1} (x) & (\deg r_{1} < \deg h) \\ h (x) & = q_{2} (x) r_{1} (x) + r_{2} (x) & (\deg r_{2} < \deg r_{1}) \\ r_{1} (x) & = q_{3} (x) r_{2} (x) + r_{3} (x) & (\deg r_{3} < \deg r_{2}) \\ ⋮ \\ r_{n - 1} (x) & = q_{n + 1} r_{n} (x) + r_{n + 1} (x) & (\deg r_{n + 1} < \deg r_{n}) \end{aligned}$
と計算していくと $g, h$ は互いに素であったことからいずれ $\deg r_{n + 1} = 0$ 、つまり $r_{n + 1} (x)$ は定数となる。
　このときこの計算を遡っていくことで
$1 = q (x) g (x) + p (x) h (x)$
なる多項式 $p, q$ が存在することがわかる。そしてこの $p, q$ を用いることで恒等式
$f (x) = s (x) g (x) + r (x) h (x)$
を満たすような多項式は( $g, h$ が互いに素であることから)
$(r, s) = (- g k + f p, h k + f q) (k = k (x) は任意)$
で尽くされることもわかる。
　いま $f p$ を $g$ で割ることで
$f p = g k + f_{1} (\deg f_{1} < \deg g)$
となるような多項式 $k, f_{1}$ を取り $f_{2} g = f - f_{1} h$ とおくと
$\deg (f_{2} g) \leq max {\deg f, \deg (f_{1} h)} < \deg g + \deg h$
つまり
$\deg f_{1} < \deg g, \deg f_{2} < \deg h$
とできることが示された。
　またその他の解 $(r, s) \neq (f_{1}, f_{2})$ に対しては
$\begin{aligned} \deg r & = \deg (- g k + f_{1}) \geq \deg g \\ \deg s & = \deg (h k + f_{2}) \geq \deg h \end{aligned}$
が成り立つのでそのような $f_{1}, f_{2}$ は一意であることも示された。

Ver. 2

　上の命題を使うことによってより一般に以下が成り立つことがわかります。

　それぞれ互いに素な多項式 $g_{1}, g_{2}, \dots, g_{n}$ に対し
$\deg f_{k} < \deg g_{k}$
かつ
$\frac{f (x)}{g_{1} (x) g_{2} (x) \dots g_{n} (x)} = f_{0} (x) + \frac{f_{1} (x)}{g_{1} (x)} + \frac{f_{2} (x)}{g_{2} (x)} + \dots + \frac{f_{n} (x)}{g_{n} (x)}$
を満たすような多項式 $f_{0}, f_{1}, \dots f_{n}$ が一意に存在する。
　またこのとき
$\deg f_{0} = \deg f - (\deg g_{1} + \deg g_{2} + \dots + \deg g_{n})$
が成り立つ。

　 $f_{0}$ は単に $f$ をその分母で割ることで得られます。

Ver. 3

　またこれを $g_{k} (x) = (x - a_{k})^{e_{k}}$ とし
$f_{k} (x) = α_{k, 1} (x - a_{k})^{e_{k} - 1} + α_{k, 2} (x - a_{k})^{e_{k} - 2} + \dots + α_{k, e_{k}}$
と展開することで以下の系が得られます。

　異なる複素数 $a_{1}, a_{2}, \dots, a_{n}$ に対し
$\frac{f (x)}{(x - a_{1})^{e_{1}} (x - a_{2})^{e_{2}} \dots (x - a_{n})^{e_{n}}} = f_{0} (x) + \sum_{k = 1}^{n} \sum_{j = 1}^{e_{k}} \frac{α_{k, j}}{(x - a_{k})^{j}}$
を満たすような複素数 $α_{k, j}$ が一意に存在する。

　ちなみにこの命題は数学的帰納法によっても示せます。

　分母の次数についての帰納法で示す(次数が $0$ のときは明らか)。いま任意の $f$ に対して
$\frac{f (x)}{(x - a)^{e} g (x)} (g (a) \neq 0)$
が上のように分解できるとする。このとき
$α = \frac{f (a)}{g (a)}, h (x) = \frac{1}{x - a} (f (x) - f (a) \frac{g (x)}{g (a)})$
とおくと
$\frac{f (x)}{(x - a)^{e + 1} g (x)} - \frac{α}{(x - a)^{e + 1}} = \frac{f (x) g (a) - f (a) g (x)}{(x - a)^{e + 1} g (x) g (a)} = \frac{h (x)}{(x - a)^{e} g (x)}$
が成り立ち、この右辺は仮定より部分分数展開できるため
$\frac{f (x)}{(x - a)^{e + 1} g (x)}$
も部分分数分解できることが示された。

ヘヴィサイドの展開公式

　上の証明から
$\frac{f (x)}{(x - a)^{e} g (x)} = \frac{h (x)}{(x - a)^{e - 1} g (x)} + \frac{f (a) / g (a)}{(x - a)^{e}}$
のように展開係数が決定できることがわかりますが、これを繰り返すことで以下の公式が成り立つことがわかります。

　多項式 $f, g (g (a) \neq 0)$ に対し
$α_{j} = \frac{1}{j!} \frac{d^{j}}{d x^{j}} \frac{f (x)}{g (x)} |_{x = a}$
とおくとある多項式 $h (x)$ が存在して
$\frac{f (x)}{(x - a)^{e} g (x)} = \frac{h (x)}{g (x)} + \sum_{j = 1}^{e} \frac{α_{e - j}}{(x - a)^{j}}$
が成り立つ。

　一般的な導出法を知っておいた方が有益なのでそれも書いておきましょう。

$\frac{f (x)}{(x - a)^{e} g (x)} = \frac{h (x)}{g (x)} + \sum_{j = 1}^{e} \frac{α_{e - j}}{(x - a)^{j}}$
のような展開が存在することは先で示した通り。いまこの両辺に $(x - a)^{e}$ を掛けると
$\frac{f (x)}{g (x)} = \frac{h (x)}{g (x)} (x - a)^{e} + \sum_{j = 1}^{e} α_{j} (x - a)^{j}$
と表せるので、この両辺を $j$ 回微分して $x = a$ とすることで
$\frac{d^{j}}{d x^{j}} \frac{f (x)}{g (x)} |_{x = a} = j! \cdot a_{j}$
を得る。

　微分なども入っていて少しややこしいですが、高校数学程度なら指数がそれぞれ $1$ の場合の次の形で覚えておけば十分でしょう。

　 $a_{1}, a_{2}, \dots, a_{n}$ を異なる複素数とし $f$ を $\deg f < n$ なる多項式とする。このとき
$g (x) = (x - a_{1}) (x - a_{2}) \dots (x - a_{n})$
とおくと
$\frac{f (x)}{g (x)} = \sum_{k = 1}^{n} \frac{1}{x - a_{k}} \frac{f (a_{k})}{g^{'} (a_{k})}$
が成り立つ。

　この展開公式は係数比較や互除法などの面倒な手順を省略できるだけでなく、一般の抽象性の高い有理式の部分分数分解も与えることができるという点で非常に便利な公式となっています。

具体例

$\frac{1}{x (x + 1) (x + 2) \dots (x + n)}$
の部分分数分解を考える。これの $1 / (x + k)$ における展開係数は
$\frac{1}{- k (- k + 1) \dots (- 1) \cdot 1 \cdot 2 \dots (n - k)} = \frac{(- 1)^{k}}{k! (n - k)!}$
と計算できるので
$\frac{n!}{x (x + 1) (x + 2) \dots (x + n)} = \sum_{k = 0}^{n} (- 1)^{k} \frac{_{n} C_{k}}{x + k}$
と展開できることがわかる。

$\frac{1}{(x - α)^{n + 1} (x - β)^{n + 1}}$
の部分分数分解を考える。これの $1 / (x - α)^{n - k + 1}$ における展開係数は
$\frac{(n + k)!}{k! n!} \frac{(- 1)^{k}}{(α - β)^{n + k + 1}}$
と計算できるので
$\frac{1}{(x - α)^{n + 1} (x - β)^{n + 1}} = \sum_{k = 0}^{n} (- 1)^{k} \frac{_{n + k} C_{n}}{(α - β)^{n + k + 1}} (\frac{1}{(x - α)^{n - k + 1}} + \frac{1}{(β - x)^{n - k + 1}})$
と展開できることがわかる。

　ちなみに私はとある記事のコメントにて
$\begin{array}{rcl} \frac{z^{4}}{(4 z^{5} + z + 1) (z^{5} + z^{4} + 4)} \\ = & \frac{1}{3672} (\frac{1060 z^{4} + 76 z^{3} + 4 z^{2} - 20 z - 19}{4 z^{5} + z + 1} - \frac{265 z^{4} + 284 z^{3} + 20 z^{2} - 4 z - 76}{z^{5} + z^{4} + 4}) \end{array}$
という展開を導出したことがありますが、こういう有理数の範囲で因数分解できず、しかも次数が高いような場合ばっかりは展開公式でゴリ押すのはおすすめできません(不可能ではないですが...)。こういうのをいい感じに処理できる方法とかないですかねぇ。

おまけ：留数定理による部分分数分解

　上では分数式が部分分数分解を持つことやその展開係数が留数のように計算できることを示しましたが、何か、こう、もう少し有理関数特有の性質を利用した証明というのが欲しくなります。
　ここで有理関数とはリーマン球面 $\hat{C} = C \cup {\infty}$ 上の有理型関数であるという特徴付けがあります。そしてコンパクトリーマン面上の微分形式の留数の和は $0$ であるという定理があります。ということで有理関数 $f (z)$ に対し
$ω = \frac{f (w)}{z - w} d w$
という微分形式を考えてみましょう。するとコンパクトリーマン面上の留数定理より
$0 = {Res}_{w = z} ω + \sum_{f (α) = \infty} {Res}_{w = α} ω + {Res}_{w = \infty} ω$
が成り立ちます。
　いま簡単のため $f (\infty) = 0$ 、つまり分子より分母の次数の方が高いものとします。このときこのそれぞれの留数は以下のように計算できます。

${Res}_{w = z} ω = - f (z)$

　自明。

${Re}_{w = \infty} ω = 0$

　 $w^{'} = 1 / w$ とおくと $ω$ は $w = \infty$ つまり $w^{'} = 0$ 周りで
$ω = \frac{f (1 / w^{'})}{z - 1 / w^{'}} \cdot - \frac{d w^{'}}{w^{' 2}} = \frac{f (1 / w^{'})}{w^{'} (1 - z w^{'})} d w^{'}$
と表せるのでこの $w^{'} = 0$ における留数は
$f (\infty) = 0$
と求まる。

　 $f (z)$ の $z = α$ における位数を $e_{α}$ とおくと、十分小さい $r > 0$ に対し
${Res}_{w = α} ω = \sum_{k = 1}^{e_{α}} (\frac{1}{2 π i} \int_{| w - α | = r} (w - α)^{k - 1} f (w) d w) \frac{1}{(z - α)^{k}}$
が成り立つ。

　十分小さい $r > 0$ に対し
$\begin{aligned} {Res}_{w = z} ω & = \frac{1}{2 π i} \oint_{| w - α | = r} \frac{f (w)}{w - z} d w \\ = \frac{1}{2 π i} \int_{| w - α | = r} \frac{f (w)}{z - α} \frac{1}{1 - \frac{w - α}{z - α}} d w \\ = \sum_{k = 0}^{\infty} (\frac{1}{2 π i} \int_{| w - α | = r} (w - α)^{k} f (w) d w) \frac{1}{(z - α)^{k + 1}} \\ = \sum_{k = 0}^{e_{α} - 1} (\frac{1}{2 π i} \int_{| w - α | = r} (w - α)^{k} f (w) d w) \frac{1}{(z - α)^{k + 1}} \end{aligned}$
を得る。

　以上より
$f (z) = \sum_{f (α) = \infty} \sum_{k = 1}^{e_{α}} (\frac{1}{2 π i} \int_{| w - α | = r_{α}} (w - α)^{k - 1} f (w) d w) \frac{1}{(z - α)^{k}}$
という部分分数展開が得られるわけです。ここで
$\frac{1}{2 π i} \int_{| w - α | = r_{α}} (w - α)^{e_{α} - k - 1} f (w) d w = \frac{1}{k!} \frac{d^{k}}{d z^{k}} (z - α)^{e_{α}} f (z) |_{z = α}$
が成り立つことは言うまでもないでしょう。
　ちなみに同様の積分を考えることで一般の有理型関数にも部分分数展開を与えることができます。そのことについてはこの記事で解説しているので興味があればそちらも合わせてお読みください。