応用数学 第12回 (1) ラプラス変換の由来と定義
$\newcommand{\LT}{\mathscr{L}}$
ラプラス変換の由来
第7-8回に扱った演算子法は、
電気技師にして数学者のヘヴィサイド ( 1850-1925年 ) が発明しました。
極めて有効な方法でしたが、
厳密な証明無しで道具を先に作ってしまったがために当初数学界では受け入れられませんでした。
その後、他の数学者たちによって、
ラプラス ( 1749-1827年 ) の研究していたラプラス変換が再発見されて演算子法の理論的裏付けを与えることがわかり、
ラプラス変換もその簡明さから広く使われるようになった、ということのようです。
以上、ネットからの受け売りです。
ラプラス変換の定義
Def.1 $t \geqq 0$ で定義された関数 $f(t)$ に対し、
$\dps{F(s)=\LT(f)(s)=\int_{0}^{\infty}f(t)e^{-st}dt}$
を $f(t)$ の「ラプラス変換」または「ラプラス積分」と呼ぶ。
$\LT(f)$ を「 $f$ の像関数」、$f$ を「 $\LT(f)$ の原関数」と呼ぶ。
※ この講義では教科書にならって $f$ の変数を $t$、$\LT(f)$ の変数を $s$ と書きます。
※ $f(t)$ としては区分的になめらかな関数を想定しています。( 教科書 pp.43-44 )
※ フーリエ変換との違いは
- 積分区間は $0$ から $+\infty$ である
- $e$ の肩に $i$ が無い
- $\frac{1}{\sqrt{2\pi}}$ 倍がつかない
ところです。証明は省略しますが、
Th.2 $\LT(f)$ に対し
- $s \gt \alpha$ で $\LT(f)$ は収束し
- $s \lt \alpha$ で $\LT(f)$ は発散する
ような $\alpha$ が一意的に定まる。このとき
- $\alpha$ を $\LT(f)$ の収束座標
- 区間 $s \gt \alpha$ を $\LT(f)$ の収束域
と呼ぶ。
教科書の例 1.1
(1) $f(t) = 1$ ( 定数関数 ) のとき
\begin{align}
\LT(f)(s)
& = \int_0^{\infty} e^{-st} dt \\
& = \left[-\frac{1}{s}e^{-st}\right]_0^{\infty}
=
\left\{
\begin{array}{ll}
\dps{\frac{1}{s}} & \mbox{ if }\ s \gt 0 \\
+\infty & \mbox{ if }\ s \leqq 0 \\
\end{array}
\right.
\end{align}
従って収束域は $s \gt 0$ です。( 以下、収束する場合の式のみ書きます。)
(3) $f(t) = e^{\lambda t}$ のとき
\begin{align}
\LT(f)(s)
& = \int_0^{\infty} e^{(\lambda-s)t} dt \\
& = \left[\frac{1}{\lambda-s}e^{(\lambda-s)t}\right]_0^{\infty}
=\dps{\frac{1}{s-\lambda}} \quad \mbox{ if }\ s \gt \lambda
\end{align}
(5, 6) $f(t) = e^{i\lambda t}$ のとき
\begin{align}
\LT(f)(s)
& = \int_0^{\infty} e^{(i\lambda-s)t} dt
= \left[\frac{1}{i\lambda-s}e^{(i\lambda-s)t}\right]_0^{\infty} \\
&= \dps{\frac{1}{s-i\lambda}}
= \dps{\frac{s+i\lambda}{s^2+\lambda^2}} \quad \mbox{ if }\ s \gt 0
\end{align}
オイラーの公式 $e^{i\lambda t}=\cos(\lambda t) + i \sin(\lambda t)$ を使って実部・虚部に分けると
\begin{align}
\LT(\cos(\lambda t)) & = \dps{\frac{s}{s^2+\lambda^2}}, \\
\LT(\sin(\lambda t)) & = \dps{\frac{\lambda}{s^2+\lambda^2}} \quad \mbox{ if }\ s \gt 0. \\
\end{align}
※ 今日は $\LT(f)$ をいくつか計算しますが、
目的はガンマ関数・デルタ関数・双曲線関数等の基本的関数を覚えてもらうことです。
微分方程式を解く段階では、
出来上がった $\LT(f)$ の対応表を参照することになります。