部分分数分解

出典: フリー百科事典『ウィキペディア（Wikipedia）』

部分分数分解（ぶぶんぶんすうぶんかい、partial fraction decomposition）とは、有理式（あるいは分数式ともいう、多項式の商で表される式のこと）に対し、その有理式の分母が多項式の積で表されるとき、その有理式を多項式と複数の有理式（ただし、分子の次数は分母の次数より小さい）の和で表すことをいう。このとき分解された各々の有理式の分母を通分すれば、当然ながら元の有理式の分母となる。

有理式からその部分分数分解を得ることを「部分分数に分解する」と言いまわすことがあるが、部分分数という実体があるわけではないことに注意。

例：: $\frac{1}{x(x+1)}=\frac{1}{x}-\frac{1}{x+1}.$

有理式の和分や積分においては、部分分数に分解することで計算が楽になることがある。

[編集] 原理

以下、多項式 h(x) に対し、deg h で h(x) の次数を表すことにする。ただし、h(x) が多項式として 0 （つまり恒等的に h(x) = 0 ）であるなら deg h = -∞ とする。

[編集] 除法の原理

有理式 f(x)/g(x) に対し、deg f ≥ deg g ならば、一変数多項式環の除法の原理より、

f(x) = Q(x)g(x) + R(x), deg R < deg g

となる多項式 Q(x), R(x) が存在するから、

$\frac{f(x)}{g(x)} = Q(x) + \frac{R(x)}{g(x)}$

と分解することができる。

[編集] 互除法

また、一変数多項式環は単項イデアル整域だから、多項式 p(x) と q(x) が互いに素（つまり共通因数を含まない）ならば a(x)p(x) + b(x)q(x) = 1 を満たす多項式 a(x), b(x) が存在する。したがって、g(x) = g₁(x)g₂(x) で、g₁(x), g₂(x) が互いに素ならば

$\frac{f(x)}{g(x)} = \frac{\psi_1(x)}{g_1(x)} + \frac{\psi_2(x)}{g_2(x)}$

と分解される。

[編集] 分母が冪の場合

また、g(x) がある多項式の冪になっているとき、それを g(x) = (g₀(x))^m と書けば、除法の原理より

f(x) = Q₁(x)(g₀(x))^m-1 + R₁(x), deg R₁ < (m - 1)deg g₀

となる多項式 Q₁(x), R₁(x) がとれる。この R₁(x) をさらに (g₀(x))^m-2 で割り算すれば

R₁(x) = Q₂(x)(g₀(x))^m-2 + R₂(x), deg R₂ < (m - 2)deg g₀

となり、以下帰納的に

R_i-1(x) = Q_i(x)(g₀(x))^m-i + R_i(x), deg R_i < (m - i)deg g₀

となるものがとれるから、

$\frac{f(x)}{g(x)} = \sum_{i=1}^{m-1} \frac{Q_i(x)}{(g_0(x))^{i}} + \frac{R_{m-1}(x)}{(g_0(x))^m}$

が成り立つ。特に、deg Q_i ≤ deg R_i-1 - (m - i)deg g₀ ≤ deg g₀ となる。

[編集] 複素数係数有理式の分解

任意の複素数係数の一変数有理式は、その極（分母となる多項式の零点）が分かれば因数定理を用いて一次式の積に分解されるから、上で見た三つの原理を使うと、多項式の項以外は、分子が定数で分母が一次式の冪であるような項からなる部分分数分解をもつことが示せる。

[編集] 実数係数有理式の分解

実数係数多項式が虚根を持てばその複素共役も根であることから、任意の実数係数の一変数多項式は実数の範囲で一次式と二次式の積に分解される。したがって、実数係数の一変数有理式の部分分数分解は、分子が定数で分母が一次式の冪である項と、分子が高々一次式で分母が二次式の冪である項および多項式の項からなる。

[編集] 有理型関数の展開

有理式の部分分数分解と同様のことは有理型関数（整関数の商で表される関数）にも拡張される。一般に有理型関数の極は有限個とは限らないから、この分解は無限和すなわち、級数への展開となるので、これを部分分数への展開あるいは部分分数展開 (partial fraction expansion) と呼ぶことが多い。

例えば、1/sin² z は、 sin z が整関数であるから、有理型関数である。これは

$\frac{1}{\sin^2 z} = \frac{1}{z^2} + \sum_{n=1}^\infty \frac{1}{(z - n\pi)^2} + \sum_{n=1}^\infty \frac{1}{(z + n\pi)^2}$