制御と振動の数学/Laplace 変換/有理関数の原像/部分分数分解

演算子法を用いて微分方程式を解く際に，一番わずらわしい作業は，有理関数（分数式）の原像を求めることである． 今まで何回か述べてきたように，分数式をより簡単な分数式の和に分解しておいてから原像を求めるのである． たとえば，

${\frac {1}{(s-1)(s+2)}}={\frac {1}{3}}\left({\frac {1}{s-1}}-{\frac {1}{s+2}}\right)\sqsubset {\frac {1}{3}}(e^{t}-e^{-2t})$

のようになる．この操作を部分分数分解という．この例は簡単であるが，次の分数式，

(2.29)

$R(s)={\frac {4}{(s^{2}+1)^{2}(s-1)^{3}}}$

の場合はどうなるのであろうか．結論を先にいえば，係数を実数の範囲に制限しておくと，次のように分解できる．

$R(s)={\frac {A}{(s-1)^{3}}}+{\frac {B}{(s-1)^{2}}}+{\frac {C}{s-1}}+{\frac {Ds+E}{(s^{2}+1)^{2}}}+{\frac {Fs+G}{s^{2}+1}}$

それをみるのは比較的簡単である．まず，

$R_{1}(s)=R(s)-{\frac {A}{(s-1)^{3}}}$

とおいて，$R_{1}(s)$ が $R(s)$ よりも簡単な分数式となるように $A$ を決めればよい． ここで「簡単な」とは分母の多項式が簡単になるという意味である．

$R_{1}(s)={\frac {4}{(s^{2}+1)^{2}(s-1)^{3}}}-{\frac {A}{(s-3)^{3}}}={\frac {4-A(s^{2}+1)2}{(s^{2}+1)^{2}(s-3)^{3}}}$

において分子が $(s-1)$ を因数として持つように $A$ を定めれば，分母分子が約されて簡略化が達成できる． そのためには因数定理を用いて $A=1$ と定めればよい．このとき，

$R_{1}(s)={\frac {-s^{3}-s^{2}-3s-3}{(s^{2}+1)^{2}(s-1)^{2}}}$

となる．次に，

$R_{2}(s)=R_{1}(s)-{\frac {B}{(s-1)^{2}}}$

とおいて、上と同様な操作を繰り返すと $B=-2$ と定まり，

$R_{2}(s)={\frac {2s^{3}+s^{2}+4s+1}{(s^{2}+1)^{2}(s-1)}}$

となる．同様にして，

$R_{3}(s)=R_{2}(s)-{\frac {C}{s-1}}$

より，$C=2$．よって，

$R_{3}(s)={\frac {-2x^{3}-3s+1}{(s^{2}+1)^{2}}}$

と，遂には分母から因数 $(s-1)$ が消えてしまう．次に最後の式の分子を

$-2s^{3}-3s+1=-2s(s^{2}+1)-s+1$

と変形し，

$R_{3}(s)={\frac {-s+1}{(s^{2}+1)^{2}}}-{\frac {2s}{s^{2}+1}}$

を得る．よって 式(2.29) の部分分数展開が完成する．すなわち，

${\frac {4}{(s^{2}+1)^{2}(s-1)^{3}}}={\frac {1}{(s-1)^{3}}}-{\frac {2}{(s-1)^{2}}}+{\frac {2}{s-1}}-{\frac {s-1}{(s^{2}+1)^{2}}}-{\frac {2s}{s^{2}+1}}$

この例から，一般の場合を予測することは，そう難しくないであろう．一般の有理関数

(2.30)

$R(s):={\frac {b_{0}s^{m}+b_{1}s^{m-1}+b_{2}s^{m-2}+\cdots +bm}{s^{n}+a_{1}s^{n-1}+a_{2}s^{n-2}+\cdots +a_{n}}}\quad (m<n)$

の場合の結果を述べる．

[部分分数定理]

$R(s)$ を実係数の真の分数式、$f(s)$ をその分母とする．

$f(s):=s^{n}+a_{1}s^{n-1}+a_{2}s^{n-2}+\cdots +a_{n}$

は実数の範囲で必ず既約な 1 次式と 2 次式との積に因数分解できるから，それを，

$f(s)=\prod _{i=1}^{\mu }(s-\alpha _{i})^{l_{i}}\cdot \prod _{j=1}^{\nu }(s^{2}+p_{j}s+q_{j})^{m_{j}}$

ここに，

$\sum _{i=1}^{\mu }l_{i}+2\sum _{j=1}^{\nu }m_{j}=n$

とすれば，$R(s)$ は，

(2.31)

$R(s)=\sum _{i=1}^{\mu }\left\{{\frac {A_{i1}}{s-\alpha _{i}}}+{\frac {A_{i2}}{(s-\alpha _{i})^{2}}}+\cdots +{\frac {A_{il_{i}}}{(s-\alpha _{i})^{l_{i}}}}\right\}+\sum _{j=1}^{\nu }\left\{{\frac {B_{j1}s+C_{j1}}{s^{2}+p_{j}s+q_{j}}}+{\frac {B_{j2}s+C_{j2}}{(s^{2}+p_{j}s+q_{j})^{2}}}+\cdots +{\frac {B_{jm_{j}}s+C_{jm_{j}}}{(s^{2}+p_{j}s+q_{j})^{m_{j}}}}\right\}$

と展開できる．ここに $A,B,C$ 等は実定数である．これらの定数の個数はちょうど $n$ で，$n$ は分母の多項式 $f(s)$ の次数に等しい．なお，この分解は一意に定まる．

$\diamondsuit$

この定理の証明は色々あるが，次のものが標準的である．詳細は 付録 にゆずるが，ここでその概要を述べておこう．証明は 2 段に分かれる．

[第一分解定理]

$f(s)$ と $g(s)$ を多項式とする．$f(s)$ が互いに共通因子を持たない $f_{1}(s)$ と $f_{2}(s)$ の積であれば，

${\frac {g(s)}{f(s)}}={\frac {g_{1}(s)}{f_{1}(s)}}+{\frac {g_{2}(s)}{f_{2}(s)}}$

と分解される．左辺が真の分数式なら，右辺の二つの分数式もそれぞれ真の分数式とすることができる．

$\diamondsuit$

この定理を反復適用すれば，ひとまずは，

(2.32)

$R(s)=\sum _{i=1}^{\mu }{\frac {g_{i}(s)}{(s-\alpha _{i})^{l_{i}}}}+\sum _{j=1}^{\nu }{\frac {h_{j}(s)}{(s^{2}+p_{j}s+q_{j})^{m_{j}}}}$

と分解できることは明らかである．

例

${\frac {4}{(s^{2}+1)^{2}(s-1)^{3}}}={\frac {2s^{2}-6s+5}{(s-1)^{3}}}+{\frac {-2s^{3}-3s+1}{(s^{2}+1)^{2}}}$

第 2 段目の分解は次の定理による．

[第二分解定理]

真の分数式 ${\frac {g(s)}{[u(s)]^{m}}}$ は

${\frac {g(s)}{[u(s)]^{m}}}={\frac {h_{1}(s)}{u(s)}}+{\frac {h_{2}(s)}{[u(s)]^{2}}}+{\frac {h_{3}(s)}{[u(s)]^{3}}}+\cdots +{\frac {h_{m}(s)}{[u(s)]^{m}}}$

ここに，$u(s)$ の次数 > $h_{i}(s)$ の次数 $(i=1,2,\cdots ,m)$ の形に分解できる．

$\diamondsuit$

式 (2.32) の各項にこの定理を適用すれば，求める結果 (2.31) を得る．

例

${\frac {2s^{2}-6s+5}{(s-1)^{3}}}={\frac {2}{s-1}}-{\frac {2}{(s-1)^{2}}}+{\frac {1}{(s-1)^{3}}}$

${\frac {-2s^{3}-3s+1}{(s^{2}+1)^{2}}}={\frac {-2s}{s^{2}+1}}+{\frac {-s+1}{(s^{2}+1)^{2}}}$

部分分数分解の原理は上述のとおりであるが，実用上は次の手法により求める．

例51$\quad$

${\frac {2}{s^{4}-2s^{3}+2s^{2}-2s+1}}$

を部分分数に分解せよ．

解

分母を因数分解すると $(s^{2}+1)(s-1)^{2}$ となるから，

${\frac {2}{(s-1)^{2}(s^{2}+1)}}={\frac {A}{s-1}}+{\frac {B}{(s-1)^{2}}}+{\frac {Cs+D}{s^{2}+1}}$

の形に分解できる．分母を払うと，

$2=A(s-1)(s^{2}+1)+B(s^{2}+1)+(Cs+D)(s-1)^{2}$

となるから，

$s=1$ とおいて ; $2=2B,\therefore B=1$

$s=0$ とおくと ; $2=-A+B+D$

$s$ の 2 次の係数を等置して ; $0=-A+B+D-2C,\therefore C=1$

$s$ の 3 次の係数を等置して ; $0=A+C,\therefore A=-1$

最後に $D=0$

よって，

${\frac {2}{(s-1)^{2}(s^{2}+1)}}={\frac {-1}{s-1}}+{\frac {1}{(s-1)^{2}}}+{\frac {s}{s^{2}+1}}$

と分解される． $\diamondsuit$

例52$\quad$

次の分数式を部分分数に分解して原像を求めよ．

${\frac {s^{2}+2s}{(s^{2}+4s+5)^{2}}}$

解答例

${\frac {s^{2}+2s}{s^{2}+4s+5}}={\frac {As+B}{s^{2}+4s+5}}+{\frac {Cs+D}{(s^{2}+4s+5)^{2}}}$

$s^{2}+2s=(s^{2}+4s+5)(As+B)+Cs+D$

${\begin{cases}A&=0\\B+4A&=1\\4B+5A+C&=2\\5B+D&=0\end{cases}}$
よって，

$A=0$

$\therefore B=1$

$4+C=2,\therefore C=-2$

$5+D=0,\therefore D=-5$

$\therefore {\frac {s^{2}+2s}{s^{2}+4s+5}}={\frac {1}{s^{2}+4s+5}}+{\frac {-2s-5}{(s^{2}+4s+5)^{2}}}$

$x\sqsupset X={\frac {1}{s^{2}+4s+5}}+{\frac {-2s-5}{(s^{2}+4s+5)^{2}}}$

とおくと，

$X={\frac {1}{(s+2)^{2}+1}}+{\frac {-2(s+2)-1}{\{(s+2)^{2}+1\}^{2}}}$

よって 式(2.21) より

$x=e^{-2t}\left\{\sin t-{\frac {t}{2}}\sin t-{\frac {1}{2}}(\sin t-t\cos t)\right\}$

$={\frac {e^{-2t}}{2}}\left(\sin t-t\sin t+t\cos t\right)$

$\diamondsuit$

例53$\quad$

次の分数式を部分分数に分解して原像を求めよ．

${\frac {1}{s(3s+1)^{3}}}$

解答例

${\frac {1}{s(3s+1)^{3}}}={\frac {A}{s}}+{\frac {B}{3s+1}}+{\frac {C}{(3s+1)^{2}}}+{\frac {D}{(3s+1)^{3}}}$

$1=A(3s+1)^{3}+Bs(3s+1)^{2}+Cs(3s+1)+Ds$

$s=0$ を代入して，$A=1$，
$s={\frac {-1}{3}}$ を代入して，$D=-3$，
以上から

$1=(3s+1)^{3}+Bs(3s+1)^{2}+Cs(3s+1)-3s$

$s$ で微分すると，

$0=3(3s+1)^{2}\cdot 3+B\{(3s+1)^{2}+s\cdot 2(3s+1)\cdot 3\}+C(6s+1)-3$

整理して

$0=3(3s+1)^{2}\cdot 3+B(3s+1)(9s+1)+C(6s+1)-3$…①

$s={\frac {-1}{3}}$ を代入して $C=-3$．
①に $C=-3$ を代入した後で $s^{0}=1$ の係数を比較して，

$0=9+B-3-3,\therefore B=-3$

すなわち，

${\frac {1}{s(3s+1)^{3}}}={\frac {1}{s}}+{\frac {-3}{3s+1}}+{\frac {-3}{(3s+1)^{2}}}+{\frac {-3}{(3s+1)^{3}}}$

$={\frac {1}{s}}+{\frac {-1}{s+{\frac {1}{3}}}}+{\frac {\frac {-1}{3}}{\left(s+{\frac {1}{3}}\right)^{2}}}+{\frac {\frac {-1}{9}}{\left(s+{\frac {1}{3}}\right)^{3}}}$…②

第 4 項については，式(2.8) より

${\mathcal {L}}\left[{\frac {t^{2}}{2}}\right]={\frac {1}{s^{3}}}$ よって ${\mathcal {L}}\left[-{\frac {1}{18}}t^{2}\right]={\frac {-{\frac {1}{9}}}{s^{3}}}$

以上より②の原像は

$1+e^{-{\frac {t}{3}}}\left(-1-{\frac {1}{3}}t-{\frac {1}{18}}t^{2}\right)$

$\diamondsuit$