演算子法を用いて微分方程式を解く際に,一番わずらわしい作業は,有理関数(分数式)の原像を求めることである.
今まで何回か述べてきたように,分数式をより簡単な分数式の和に分解しておいてから原像を求めるのである.
たとえば,
![{\displaystyle {\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})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b032768211a2dc97def82b50d8f9a637d934542)
のようになる.この操作を部分分数分解という.この例は簡単であるが,次の分数式,
(2.29)
![{\displaystyle R(s)={\frac {4}{(s^{2}+1)^{2}(s-1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13ff0b6bfae03a3f0c6a7c86a51d054c0ae89897)
の場合はどうなるのであろうか.結論を先にいえば,係数を実数の範囲に制限しておくと,次のように分解できる.
![{\displaystyle 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c62ee26d03382c7ce28312d88af1f5acc340f8)
それをみるのは比較的簡単である.まず,
![{\displaystyle R_{1}(s)=R(s)-{\frac {A}{(s-1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b7263e4d5507ecc0048871e60c2e249bfd117cf)
とおいて,
が
よりも簡単な分数式となるように
を決めればよい.
ここで「簡単な」とは分母の多項式が簡単になるという意味である.
![{\displaystyle 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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e170751f3c5c8e7c4187cc51c19b03bc78caeef)
において分子が
を因数として持つように
を定めれば,分母分子が約されて簡略化が達成できる.
そのためには因数定理を用いて
と定めればよい[1].このとき,
![{\displaystyle R_{1}(s)={\frac {-s^{3}-s^{2}-3s-3}{(s^{2}+1)^{2}(s-1)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/035e9bdf77c9717507c9e73b01e2ace8d517d813)
となる.次に,
![{\displaystyle R_{2}(s)=R_{1}(s)-{\frac {B}{(s-1)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67744fccbb0a5b6945712d70e2e38c3aa8cd1f39)
とおいて、上と同様な操作を繰り返すと
と定まり[2],
![{\displaystyle R_{2}(s)={\frac {2s^{3}+s^{2}+4s+1}{(s^{2}+1)^{2}(s-1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f2866c525f92c0d562e0b22e2e20fc3b1f21453)
となる.同様にして,
![{\displaystyle R_{3}(s)=R_{2}(s)-{\frac {C}{s-1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e34fbbca85dad6bceb215b1b7197078eff8269)
より,
[3].よって,
![{\displaystyle R_{3}(s)={\frac {-2x^{3}-3s+1}{(s^{2}+1)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/270fd457d289210756dec8cec2e428b93ec302ca)
と,遂には分母から因数
が消えてしまう.次に最後の式の分子を
![{\displaystyle -2s^{3}-3s+1=-2s(s^{2}+1)-s+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8893b82c97d5ef447229cc228892971e9fa76b5b)
と変形し,
![{\displaystyle R_{3}(s)={\frac {-s+1}{(s^{2}+1)^{2}}}-{\frac {2s}{s^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89bc2360e5101fe9deeca8a98d6f1a5319b74cc6)
を得る.よって 式(2.29) の部分分数展開が完成する.すなわち,
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a741aa87cd2727942dd383c4c0eb1c496c4b403a)
この例から,一般の場合を予測することは,そう難しくないであろう.一般の有理関数
(2.30)
![{\displaystyle 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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e34bd9abeb43da9f557b507ca3ce01eb1a90f77)
の場合の結果を述べる.
[部分分数定理]
を実係数の真の分数式[4]、
をその分母とする.
![{\displaystyle f(s):=s^{n}+a_{1}s^{n-1}+a_{2}s^{n-2}+\cdots +a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b921d077a1027930e33fc94546325f1efbfe3f49)
は実数の範囲で必ず既約な 1 次式と 2 次式との積に因数分解できる[5]から,それを,
![{\displaystyle 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0f726bc2c857c16ea9779ff848334d16f5e163a)
ここに,
![{\displaystyle \sum _{i=1}^{\mu }l_{i}+2\sum _{j=1}^{\nu }m_{j}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42ef871f81808a8f6fcdae7d02af6c7296f77fa8)
とすれば,
は,
(2.31)
![{\displaystyle 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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a12b5dc56d5f1c5de0f859c78ea4d1f176240ad5)
と展開できる.ここに
等は実定数である.これらの定数の個数はちょうど
で,
は分母の多項式
の次数に等しい.なお,この分解は一意に定まる.
この定理の証明は色々あるが,次のものが標準的である.詳細は 付録 にゆずるが,ここでその概要を述べておこう.証明は 2 段に分かれる.
[第一分解定理]
と
を多項式とする.
が互いに共通因子を持たない
と
の積であれば,
![{\displaystyle {\frac {g(s)}{f(s)}}={\frac {g_{1}(s)}{f_{1}(s)}}+{\frac {g_{2}(s)}{f_{2}(s)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faff42f1e8fa63e88272c4b325cd1250b55f8c14)
と分解される.左辺が真の分数式なら,右辺の二つの分数式もそれぞれ真の分数式とすることができる.
この定理を反復適用すれば,ひとまずは,
(2.32)
![{\displaystyle 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}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/676f76e20c07a7d2bfd06809ae37ca78ee5cce33)
と分解できることは明らかである.
例
![{\displaystyle {\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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abad3953cc1dca64e366c0eb0ad9f917cd910ad5)
第 2 段目の分解は次の定理による.
[第二分解定理]
真の分数式
は
![{\displaystyle {\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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2433a41bca28bdf9760ee25762443b77f0f0f5a2)
ここに,
の次数 >
の次数
の形に分解できる.
式 (2.32) の各項にこの定理を適用すれば,求める結果 (2.31) を得る.
例
![{\displaystyle {\frac {2s^{2}-6s+5}{(s-1)^{3}}}={\frac {2}{s-1}}-{\frac {2}{(s-1)^{2}}}+{\frac {1}{(s-1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5116ac75e7594f61931458c3e7c0a3b17501918d)
![{\displaystyle {\frac {-2s^{3}-3s+1}{(s^{2}+1)^{2}}}={\frac {-2s}{s^{2}+1}}+{\frac {-s+1}{(s^{2}+1)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fc27475a635c16dfc2393ceec01f6f7f999e37a)
部分分数分解の原理は上述のとおりであるが,実用上は次の手法により求める.
例51
![{\displaystyle {\frac {2}{s^{4}-2s^{3}+2s^{2}-2s+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b01516d41773a0dbf311557c0c13a4cb75d34f6)
を部分分数に分解せよ.
解
分母を因数分解すると
となるから,
![{\displaystyle {\frac {2}{(s-1)^{2}(s^{2}+1)}}={\frac {A}{s-1}}+{\frac {B}{(s-1)^{2}}}+{\frac {Cs+D}{s^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efb05b705e552710862bb4b7f60c55349c1d855a)
の形に分解できる.分母を払うと,
![{\displaystyle 2=A(s-1)(s^{2}+1)+B(s^{2}+1)+(Cs+D)(s-1)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5868304096d2582d79da4acb21aa96732b098c6b)
となるから,
![{\displaystyle s=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac386d8f227fb823cede9b3e33d706cad3ed306)
とおいて ;
![{\displaystyle 2=2B,\therefore B=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ed8b712e49650680b8a17b0bc91d0d2164f5c9f)
![{\displaystyle s=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7903b8069a44c70f6f96511675bdd9a4ff200ed7)
とおくと ;
![{\displaystyle 2=-A+B+D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4344e5d01f4c38714d6280f21d95c57e56ed4ea3)
![{\displaystyle s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01d131dfd7673938b947072a13a9744fe997e632)
の 2 次の係数を等置して ;
![{\displaystyle 0=-A+B+D-2C,\therefore C=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a6a485272f1e4f28baea32345c45e52c433fca0)
![{\displaystyle s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01d131dfd7673938b947072a13a9744fe997e632)
の 3 次の係数を等置して ;
![{\displaystyle 0=A+C,\therefore A=-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a4542e951abb1b658d5762934913ec39297e0bf)
最後に
![{\displaystyle D=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d375dfda80ee8df1d1d7aa8b962114044e464305)
よって,
![{\displaystyle {\frac {2}{(s-1)^{2}(s^{2}+1)}}={\frac {-1}{s-1}}+{\frac {1}{(s-1)^{2}}}+{\frac {s}{s^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7ea426de4f4acde496971992236d3fed9ef9736)
と分解される.
例52
次の分数式を部分分数に分解して原像を求めよ.
![{\displaystyle {\frac {s^{2}+2s}{(s^{2}+4s+5)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/082fbda0fe6ece1c3ed9c091c637659b3a9e156c)
解答例
![{\displaystyle {\frac {s^{2}+2s}{s^{2}+4s+5}}={\frac {As+B}{s^{2}+4s+5}}+{\frac {Cs+D}{(s^{2}+4s+5)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4a9965d8e1a6aca6c1fae53b5387858c2f5b292)
![{\displaystyle s^{2}+2s=(s^{2}+4s+5)(As+B)+Cs+D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0707b27e09dd61adc0a3a5b3b89746a6dde8fdeb)
![{\displaystyle {\begin{cases}A&=0\\B+4A&=1\\4B+5A+C&=2\\5B+D&=0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99e7530995ff84d541dfe8694a530b64954502d8)
よって,
![{\displaystyle A=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75c34024483e6fb7c89e45aff3882ebf11d95a00)
![{\displaystyle \therefore B=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5d09dc2cd1969f431dc0ab77e4456235a240619)
![{\displaystyle 4+C=2,\therefore C=-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5757c6805e41f52a608b9d61030619cfef863bb8)
![{\displaystyle 5+D=0,\therefore D=-5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb29e04bbe2396719e5c78f8af2d533bc105aa7c)
![{\displaystyle \therefore {\frac {s^{2}+2s}{s^{2}+4s+5}}={\frac {1}{s^{2}+4s+5}}+{\frac {-2s-5}{(s^{2}+4s+5)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c12bf3de8fbd7a1029e3974c21fa82d08fe72666)
![{\displaystyle x\sqsupset X={\frac {1}{s^{2}+4s+5}}+{\frac {-2s-5}{(s^{2}+4s+5)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9184c3fc5d37588402a4c15d1dc1e271baa1d03)
とおくと,
![{\displaystyle X={\frac {1}{(s+2)^{2}+1}}+{\frac {-2(s+2)-1}{\{(s+2)^{2}+1\}^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4b6e64ae7352abd871dd4ed9547a7c8668f6ebc)
よって 式(2.21) より
![{\displaystyle x=e^{-2t}\left\{\sin t-{\frac {t}{2}}\sin t-{\frac {1}{2}}(\sin t-t\cos t)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5287964ac8b7d8450608081c34d4fb485f9627d)
![{\displaystyle ={\frac {e^{-2t}}{2}}\left(\sin t-t\sin t+t\cos t\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5002d4bfb5edf821833dad9d3bab989eb1214bb)
例53
次の分数式を部分分数に分解して原像を求めよ.
![{\displaystyle {\frac {1}{s(3s+1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a98a90fcf29d77ef492694289ee9214f0b19e5d)
解答例
![{\displaystyle {\frac {1}{s(3s+1)^{3}}}={\frac {A}{s}}+{\frac {B}{3s+1}}+{\frac {C}{(3s+1)^{2}}}+{\frac {D}{(3s+1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d02c285d0f27deae11f5089f1fdb84a5e8f9663b)
![{\displaystyle 1=A(3s+1)^{3}+Bs(3s+1)^{2}+Cs(3s+1)+Ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca5c253314981f1a3c54103c3b493cb4d501461)
を代入して,
,
を代入して,
,
以上から
![{\displaystyle 1=(3s+1)^{3}+Bs(3s+1)^{2}+Cs(3s+1)-3s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3934bb3b6a9f1ddf54b13092447a446d2be7f159)
で微分すると,
![{\displaystyle 0=3(3s+1)^{2}\cdot 3+B\{(3s+1)^{2}+s\cdot 2(3s+1)\cdot 3\}+C(6s+1)-3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eab905e03aec6b2a03552014e4ee7dad94c4df79)
整理して
…①
を代入して
.
①に
を代入した後で
の係数を比較して,
![{\displaystyle 0=9+B-3-3,\therefore B=-3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6986d65e5f7e3770200d2bf66d6410b3ac544b59)
すなわち,
![{\displaystyle {\frac {1}{s(3s+1)^{3}}}={\frac {1}{s}}+{\frac {-3}{3s+1}}+{\frac {-3}{(3s+1)^{2}}}+{\frac {-3}{(3s+1)^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c1150d2948cd50eac6040ddc1d9d08ffedf03d9)
…②
第 4 項については,式(2.8) より
よって ![{\displaystyle {\mathcal {L}}\left[-{\frac {1}{18}}t^{2}\right]={\frac {-{\frac {1}{9}}}{s^{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28668f3c76fe7158683b32921b6ecedd4e6ed0e2)
以上より②の原像は
![{\displaystyle 1+e^{-{\frac {t}{3}}}\left(-1-{\frac {1}{3}}t-{\frac {1}{18}}t^{2}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6fecc5e613edcddcd959f436dfe294ee9fe1d6d)
- ^
で割り切ればよいから,
.
- ^
.
- ^
.
- ^
真の分数式とは,分子の次数が分母の次数より低い分数式(有理関数)のことをいう.
- ^
1 変数の多項式による方程式
が虚根
を持つ,すなわち
のとき,
は
の共役複素数.…①
①を示す.まず複素数
について,
…②
なぜならば,
とおくとき,
で,
同じく
とおくと
,
![{\displaystyle {\overline {\alpha +\beta }}={\overline {(a+c)+(b+d)i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/236bc03dbffe2464e2516b4575594d9a832461e3)
.
次に,
…③
なぜならば、同じく上記
について,
![{\displaystyle {\overline {\alpha \cdot \beta }}={\overline {(ac-bd)+(ad+bc)i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7e78250f70bca7608bcd7230bf018832a175d5)
.
よって,
より,
![{\displaystyle {\overline {P(\alpha )}}={\overline {0}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f495f481cab63b2732a55f4ffe157f9e3ebc533)
実数
の共役複素数は
そのものに等しい.…④
②より共役複素数をとる操作と足し算は順序を入れ替えることができて,
![{\displaystyle {\overline {P(\alpha )}}={\overline {\sum _{k}a_{k}\alpha ^{k}}}=\sum _{k}{\overline {a_{k}\alpha ^{k}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d73dc68e1b051b1381fa8ff8304cc010e88c92f9)
③より共役複素数をとる操作と掛け算は順序を入れ替えることができて,
![{\displaystyle \sum _{k}{\overline {a_{k}\alpha ^{k}}}=\sum _{k}{\overline {a_{k}}}\cdot {\overline {\alpha ^{k}}}=\sum _{k}a_{k}\cdot {\overline {\alpha ^{k}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea51b889a36477b2b3b133e9db9ed60e9dffe4ce)
最後の変形は④による.
さらに③を適用して,
![{\displaystyle \sum _{k}a_{k}\cdot {\overline {\alpha ^{k}}}=\sum _{k}a_{k}\cdot ({\overline {\alpha }})^{k}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf6a09943640b196db2e536230d01e491b423695)
すなわち,
![{\displaystyle \sum _{k}a_{k}\cdot ({\overline {\alpha }})^{k}=P({\bar {\alpha }})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a0bb98bf328b5e4b52f74ebb40ae271ceba5f3b)
ここに①を示せた.
すなわち
が虚根を持つのなら,虚根
と
を同時に持つから,
![{\displaystyle P(x)=(x-\alpha )(x-{\bar {\alpha }})Q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c4dd41d8e25195b45381a79c31447ec2927b6b7)
と表せて,![{\displaystyle (x-\alpha )(x-{\bar {\alpha }})=x^{2}-(\alpha +{\bar {\alpha }})x+\alpha {\bar {\alpha }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d263c88c4e1e8bebd27087a70764ffcbccbf0c2b)
.
.
すなわち
は実係数の二次式であり,
の根は複素数空間内に存在することを前提として,
は実係数の範囲で高々二次式までに因数分解される.