: 演習問題 : ラプラス変換 : 演習問題目次索引

合成法則と積分方程式

ラプラス変換の章を閉じる前にもうひとつ紹介しなければならない法則，合成法則があります．まず合成積(convolution)を定義します．

定義 5.5 関数

は区分的に連続な関数であるとする．そのとき合成積 $f(t) \ast g(t)$ は次のように定義される．

$\displaystyle f(t) \ast g(t) = \int_{0}^{t}f(t-\tau)g(\tau)d\tau.$

例題 5.27 $\sin{t}$ と $\cos{t}$ の合成積を求めよ．

解

$\displaystyle (\sin{t}) \ast (\cos{t})$	$\displaystyle =$	$\displaystyle \int_{0}^{t}\sin{(t-\tau)}\cos{\tau} d\tau$
	$\displaystyle =$	$\displaystyle \frac{1}{2}\int_{0}^{t}(\sin{t} + \sin{(t-2\tau)})d\tau$
	$\displaystyle =$	$\displaystyle \frac{\tau\sin{t}}{2}\mid_{0}^{t} + \frac{\cos{(t-2\tau)}}{4}\mid_{0}^{t}$
	$\displaystyle =$	$\displaystyle \frac{t\sin{t}}{2}. \ensuremath{\ \blacksquare}$

定理 5.9 (合成法則)

が区分的に連続な関数で，指数位数の関数ならば，

$\displaystyle {\cal L}\{f(t) \ast g(t)\} = F(s)G(s).$

証明

$\displaystyle {\cal L}\{f \ast g\}$	$\displaystyle =$	$\displaystyle \int_{0}^{\infty}e^{-st}[\int_{0}^{t}f(t-\tau)g(\tau)d\tau]dt$
	$\displaystyle =$	$\displaystyle \int_{0}^{\infty}e^{-st}[\int_{0}^{\infty}u_{\tau}(t)f(t-\tau)g(\tau)d\tau]dt$

ここで内側の積分は $u_{\tau}(t)$ を挿入することにより無限積分に拡張された．次に積分順序の交換を行なうと

$\displaystyle {\cal L}\{f \ast g\}$	$\displaystyle =$	$\displaystyle \int_{0}^{\infty}g(\tau)[\int_{0}^{\infty}u_{\tau}(t)e^{-st}f(t-\tau)dt]d\tau$
	$\displaystyle =$	$\displaystyle \int_{0}^{\infty}[e^{-\tau s}F(s)]d\tau$
	$\displaystyle =$	$\displaystyle F(s)\int_{0}^{\infty}e^{-\tau s}g(\tau)d\tau$
	$\displaystyle =$	$\displaystyle F(s)G(s). \ensuremath{\ \blacksquare}$

系 5.2

$\displaystyle {\cal L}^{-1}\{F(s)G(s)\} = f(t) \ast g(t).$

この定理より証明を引き伸ばしてきた積分法則の証明が示せます．

系 5.3

が区分的に連続で指数位数の関数ならば

$\displaystyle {\cal L}\{\int_{0}^{t}f(u)du\} = \frac{{\cal L}\{f(t)\}}{s}$

証明 $f_{1}(t) = 1, f_{2}(t) = f(t)$ とおくと，合成法則より

$\displaystyle {\cal L}\{f_{1} \ast f_{2}\} = {\cal L}\{\int_{0}^{t}f(u)du \} = ... ...f_{1}\}{\cal L}\{f_{2}\} = \frac{{\cal L}\{f\}}{s}. \ensuremath{\ \blacksquare}$

例題 5.28 合成法則を用いて次のラプラス逆変換を求めよ．

$\displaystyle {\cal L}^{-1}\{\frac{1}{s(s^2+1)}\}.$

解

$\displaystyle \frac{1}{s(s^2+1)} = \frac{1}{s}\cdot \frac{1}{s^2+1} = F(s)G(s)$

と表わせる．また

$\displaystyle {\cal L}^{-1}\{F(s)\} = {\cal L}^{-1}\{\frac{1}{s}\} = 1,$

$\displaystyle {\cal L}^{-1}\{G(s)\} = {\cal L}^{-1}\{\frac{1}{s^2 + 1}\} = \sin{t}$

より

$\displaystyle {\cal L}^{-1}\{\frac{1}{s(s^2 + 1)}\}$	$\displaystyle =$	$\displaystyle 1 \ast \sin{t}$
	$\displaystyle =$	$\displaystyle \int_{0}^{t} \sin{\tau} d\tau$
	$\displaystyle =$	$\displaystyle 1 - \cos{t} . \ensuremath{\ \blacksquare}$