部分分数分解と剰余定理のバックアップの現在との差分(No.1)

概要

大学の部分分数分解は高校で習う剰余定理である。大学で習う部分分数分解は、高校で習う剰余定理である。

部分分数分解

物理・工学の諸分野で線形微分方程式を解く必要がある。
その中、ラプラス変換で線形微分方程式を手軽に解く分野がある。
例えば、電気工学や制御工学、振動工学などが特にラプラス変換を好む。

ラプラス変換自体は以下の積分式により定義されるが、
ラプラス変換で微分方程式を解く際は予め計算されるラプラス変換表を使う。

正変換：　

 \mathcr{L}[f(t)]

/home/limg/www/LimgMath/eq! Undefined control sequence.
 $\displaystyle \mathstrut { \mathcr 
                                               {L}[f(t)] } $
l.34 $}

$\int_0^\infty$ $$ f(t) $$ $e^{-st}$ $$ dt $$

正変換：　 $\mathcal{L}[f(t)]$ $$ = $$ $F(\:s)$ $$ = $$ $\int_0^\infty$ $$ f(t) $$ $e^{-\:st}$ $$ dt $$ *1

逆変換： $\mathcal{L}^{-1}[F(\:s)]$ $$ = $$ $$ f(t) $$ $$ = $$ $\ffd{1}{2\pi \:i}$ $\int_{\sigma - \:i\infty}^{\sigma + \:i \infty}$ $$ F(s) $$ $e^{st}$ $$ ds $$ *2

ラプラス変換表

原関数				$e^{at}$	$\sin(at)$	$\cos(at)$

像関数 $F(\:s)$	$\ffd{1}{\:s}$	$\ffd{1}{\:s^2}$	$\ffd{n!}{\:s^{n+1}}$	$\ffd{1}{\:s-a}$	$\ffd{a}{\:s^2+a^2}$	$\ffd{\:s}{\:s^2+a^2}$

ここで、良く使う関数のラプラス変換結果は $$ s $$

の有理式*3になっているのが分かる。
このため、ラプラス変換で線形微分方程式を解く際には、複雑な有理式を表内の有理式に分解する計算が大量発生する。
例えば、 $F(\:s)$ $$ = $$ $\ffd{1}{\:s^2 + 3\:s + 2}$ $$ = $$ $\ffd{1}{\:s+1}$ $$ - $$ $\ffd{1}{\:s+2}$ 。

表内の分数の線形結合にさえ分解できれば、直ちに微分方程式の解が分かる。
例の場合は、 $e^{at}$ $\Longrightarrow$ $\ffd{1}{\:s-a}$ より、 $e^{-t}$ $\Longrightarrow$ $\ffd{1}{\:s+1}$ 、 $e^{-2t}$ $\Longrightarrow$ $\ffd{1}{\:s+2}$ が分かり、
方程式の解はラプラス変換が $F(\:s)$ になる関数 $$ f(t) $$ $$ = $$ $e^{-1}$ $$ - $$ $e^{-2t}$ となる。

分母の因数分解で $\ffd{1}{\:s^2 + 3\:s + 2}$ $$ = $$ $\ffd{1}{(\:s+1)(\:s+2)}$ までは良いが、
その先は恒等式 $\ffd{1}{(\:s+1)(\:s+2)}$ $$ = $$ $\ffd{A}{\:s+1}$ $$ + $$ $\ffd{B}{\:s+2}$ を解くことになる。
この分母が高次多項式の有理式を、分母が低次多項式の有理式の線形和に分解する式変形を部分分数分解と言う。

部分分数分解は分母を払ってから展開して係数比較しても地道に解けるが、次のテクニックが良く知られている。

$(\:s+1)$ $F(\:s)$ $|_{s=-1} =$ $\cancel{(\:s+1)}$ $\left.\ffd{1}{\cancel{(\:s+1)}(s+2)}\right|_{s=-1}$ $= \ffd{1}{-1+2}$ $$ = $$ $$ +1 $$

$(\:s+2)$ $F(\:s)$ $|_{s=-2} =$ $\cancel{(\:s+2)}$ $\left.\ffd{1}{(s+1)\cancel{(\:s+2)}}\right|_{s=-2}$ $= \ffd{1}{-2+1}$ $$ = $$ $$ -1 $$

*1 $\:s$ は複素数。
*2 \:i は複素数単位。 $\:i^2$ $$ = $$ $$ -1 $$ 。
*3 多項式を分母と分子とする分数式

剰余定理

一般に、多項式を１次式 $$ x - a $$ で割った商を $$ Q(x) $$ 、余りを $$ R $$ と置くと、

と表せて、

$\cancelto{0}{(a - a)}\;\;\;$ $$ Q(a) $$ $$ + $$ $$ R $$ $$ = $$ $$ R $$

が成り立つ。
これが高校で学ぶ剰余定理である。

そこで、 $F(\:s)$ $$ = $$ $\ffd{A}{\:s+1}$ $$ + $$ $\ffd{B}{\:s+2}$ を眺めてみると、
$$ B $$ の分母を払って、 $P_{2}(\:s)$ $$ = $$ $(\:s+2)$ $F(\:s)$ $$ = $$ $(\:s+2)$ $\ffd{A}{s+1}$ $$ + $$ $$ B $$ と置くと、剰余定理とそっくりな式を作り出せる。
そのため、 $P_{2}(-2)$ $$ = $$ $\cancelto{0}{(-2+2)}\;\;\;$ $\ffd{A}{-2+1}$ $$ + $$ $$ B $$ $$ = $$ $$ B $$ が導ける*4。

同様に