第1章: ラプラス変換とは
時間領域の関数を複素数領域の関数に変換する数学的操作の基本を学ぶ。
1.1 ラプラス変換の動機
微分方程式を解くことは、物理学や工学において非常に重要である。しかし、微分方程式を直接解くことは、しばしば困難を伴う。
典型的な問題
次のような微分方程式を考える:
$$\frac{d^2y}{dt^2} + 3\frac{dy}{dt} + 2y = e^{-t}$$初期条件 $y(0) = 1$, $y'(0) = 0$ のもとでこれを解くことは、従来の方法では煩雑な計算を必要とする。
ラプラス変換の威力は、微分方程式を代数方程式に変換できる点にある。これにより、複雑な微分操作が単純な乗算に置き換わる。
この図が示すように、ラプラス変換を使うと「回り道」をすることで、実は問題が簡単になる。これは対数を使って掛け算を足し算に変換する方法に似ている。
1.2 ラプラス変換の定義
定義:ラプラス変換
時間 $t \geq 0$ で定義された関数 $f(t)$ に対して、ラプラス変換 $\mathcal{L}\{f(t)\}$ は次の積分で定義される:
$$\mathcal{L}\{f(t)\} = F(s) = \int_0^{\infty} f(t) e^{-st} \, dt$$ここで $s$ は複素数パラメータであり、この積分が収束する範囲で $F(s)$ が定義される。
記号について整理すると:
- $f(t)$:元の関数(時間領域)
- $F(s)$:変換後の関数($s$ 領域または複素数領域)
- $\mathcal{L}$:ラプラス変換の演算子
- $e^{-st}$:変換の核(カーネル)
積分の意味
ラプラス変換は「重み付き積分」である。関数 $f(t)$ に減衰因子 $e^{-st}$ を掛けて、$t = 0$ から $t = \infty$ まで積分する。この減衰因子のおかげで、多くの関数で積分が収束する。
例1.1:定数関数のラプラス変換
$f(t) = 1$ のラプラス変換を求める。
ただし、$\text{Re}(s) > 0$ のとき $\lim_{t \to \infty} e^{-st} = 0$ となることを用いた。
定理:ラプラス変換の線形性
$a$, $b$ を定数とするとき、次が成り立つ:
$$\mathcal{L}\{af(t) + bg(t)\} = a\mathcal{L}\{f(t)\} + b\mathcal{L}\{g(t)\}$$証明
定義に基づいて計算すると:
$$\mathcal{L}\{af(t) + bg(t)\} = a \int_0^{\infty} f(t) e^{-st} \, dt + b \int_0^{\infty} g(t) e^{-st} \, dt = a\mathcal{L}\{f(t)\} + b\mathcal{L}\{g(t)\}$$これは積分の線形性から直接導かれる。$\square$
1.3 直感的な意味
ラプラス変換は、関数を「周波数と減衰」の観点から分析する道具である。
フーリエ変換との関係
ラプラス変換とフーリエ変換は密接に関連している。$s = j\omega$($j$ は虚数単位)と置くと、ラプラス変換はフーリエ変換に帰着する。ラプラス変換は、フーリエ変換を拡張したものと見なすことができる。
重要なポイント
- ラプラス変換は片側変換である($t \geq 0$ のみ考える)
- 微分方程式の初期値問題を解くのに適している
- $s$ は一般に複素数だが、多くの場合実数として扱っても問題ない
1.4 歴史的背景
ラプラス変換は、フランスの数学者 Pierre-Simon Laplace(1749-1827)にちなんで名付けられた。
歴史年表
- 1780年代:Laplace が確率論の研究で類似の変換を使用
- 1880年代:Oliver Heaviside が電気回路の解析に演算子法を導入
- 1920年代:Bromwich と Carson が厳密な数学的基礎を確立
- 現代:制御工学、信号処理、物理学で広く使用される
当初は純粋数学の道具であったラプラス変換は、20世紀に入って工学分野で革命的な役割を果たした。特に、電気回路の過渡現象の解析や、自動制御システムの設計において不可欠な道具となっている。
1.5 練習問題
問題1
$f(t) = 5$ のラプラス変換を求めよ。
解答
線形性より:$\mathcal{L}\{5\} = 5 \cdot \mathcal{L}\{1\} = \dfrac{5}{s}$($\text{Re}(s) > 0$)
問題2
$\displaystyle\int_0^{\infty} e^{2t} \cdot e^{-st} \, dt$ が収束するための $s$ の条件を求めよ。
解答
$e^{2t} \cdot e^{-st} = e^{(2-s)t}$ より、$t \to \infty$ で積分が収束する条件は指数の実部が負、すなわち $\text{Re}(2 - s) < 0$ で、$\text{Re}(s) > 2$。
問題3
$\mathcal{L}\{f(t)\} = F(s)$, $\mathcal{L}\{g(t)\} = G(s)$ のとき、$\mathcal{L}\{3f(t) - 2g(t)\}$ を求めよ。
解答
線形性より:$\mathcal{L}\{3f(t) - 2g(t)\} = 3F(s) - 2G(s)$