ラプラス変換
関数解析学において、ラプラス変換（ラプラスへんかん、Laplace transform）とは、積分で定義される関数空間の間の写像（線型作用素）の一種。関数変換。
ラプラス変換の名はピエール＝シモン・ラプラスにちなむ。
ラプラス変換によりある種の微分・積分は積などの代数的な演算に置き換わるため、制御工学などにおいて時間領域の（とくに超越的な）関数を別の領域の（おもに代数的な）関数に変換することにより、計算方法の見通しを良くするための数学的な道具として用いられる。
フーリエ変換を発展させて、より実用本位で作られた計算手法である。1899年にヘヴィサイドという電気技師が回路方程式を解くための実用的な演算子を経験則として考案して発表し、後に数学者がその演算子に対し厳密に理論的な裏付けを行った経緯がある。理論的な根拠が曖昧なままで発表されたため、この計算手法に対する懐疑的な声も多かった。この「ヘヴィサイドの演算子」の発表の後に、多くの数学者達により数学的な基盤は1780年の数学者ピエール＝シモン・ラプラスの著作にある事が指摘された。(この著作においてラプラス変換の公式が頻繁に現れていた)
従って、数学の中ではかなり応用寄りの分野である。ラプラス変換の理論は微分積分、線形代数、ベクトル解析、フーリエ解析、複素解析を基盤としているため、理解するためにはそれらの分野を習得するべきである。
これと類似の解法として、より数学的な側面から作られた演算子法がある。こちらは演算子の記号を多項式に見立て、代数的に変形し、公式に基づいて特解を求める方法である。
目次
定義
実数 t ≧ 0 について定義された関数 <math>f(t)\,</math> のラプラス変換とは テンプレート:Indent で定義される s の関数 <math>F(s)\, </math> のことである。ここで s は複素数で s = σ + iω , i は虚数単位。右辺の積分はラプラス積分と呼ばれる。これは時間領域から複素平面への写像である。
また、 <math>c > 0 \, </math> として、関数 <math>F(s) \, </math> から 元の関数 <math>f(t) \, </math> を計算することを逆ラプラス変換といい、 テンプレート:Indent のように定義されている。右辺の積分はブロムウィッチ積分と呼ばれる。これは複素平面から時間領域への写像である。
これは複素積分となっている。定義通りの積分経路では計算が難しくなるが、閉曲線となるように積分経路を変更して留数を計算することにより簡単に逆ラプラス変換を求める事が可能となる。 結果を言えば複素平面上の全ての特異点の留数の総和となる。 ここで、 <math>f(t) \, </math> を原関数、 <math>F(s) \, </math> を像関数という。
ラプラス変換の他の記述の仕方として、次のようなものもある。 テンプレート:Indent
同様に逆ラプラス変換は、次のようにも記述される。 テンプレート:Indent
また、これらの記号を用いた写像 テンプレート:Indent のことも、それぞれラプラス変換、逆ラプラス変換と呼ばれることがある。
普通、ラプラス変換および逆ラプラス変換を行う際には変換表を参照して計算する場合が多いので前述した定義式にしたがって計算することは少ない。だが場合によっては定義式から計算したほうが簡単なときもある。たとえば逆ラプラス変換をする際に部分分数分解をしなければならない場合、むしろブロムウィッチ積分を計算したほうが早いことも多い。
注：ラプラス変換は、関数<math>f(t)</math>にいったん<math>e^{-\sigma t} \theta(t)</math>を乗じてからフーリエ変換する操作であると考えることができる（ここで<math>\theta(t)</math>はステップ関数である）。
両側ラプラス変換
テンプレート:Main 両側ラプラス変換は積分区間を全実数域へと拡張したもので、以下のように定義される。
- <math>F(s) = \mathcal{L}\left\{f(t)\right\} =\int_{-\infty}^{\infty} e^{-st} f(t)\,dt</math>
母関数との関係
数列<math>a_n</math>の(通常型)母関数
- <math>G(a_n;x)=\sum_n a_nx^n\,</math>
において<math>x=e^{-s}</math>とすると、
- <math>G(a_n;e^{-s})=\sum_n a_n e^{-sn}\,</math>
となる。 ここでシグマを積分に変えれば
- <math>G(a_t;e^{-s})=\int a_t e^{-st}dt\,</math>
となり、関数<math>a_t</math>のラプラス変換と一致する。 この意味においてラプラス変換は母関数の「連続版」とみなす事ができる。 こうした理由により、母関数とラプラス変換は同種の性質を満たす事がある。 たとえば母関数の性質
- <math>G(a_n;x)G(b_n;x)=G(a_n*b_n;x)\,</math>
はラプラス変換の性質
- <math>\mathcal{L}[f](s)\mathcal{L}[g](s)=\mathcal{L}[f*g](s)\,</math>
に対応する。ここで「<math>*</math>」は畳み込み積。
性質
ラプラス変換と逆ラプラス変換は互いに他の逆変換である。 テンプレート:Indent
線型性
ラプラス変換は線型性を持ち、したがって特に重ね合わせの原理 を用いて計算することが可能である。ラプラス変換が線型性を持つとは、任意の関数 f(t), g(t) に対して テンプレート:Indent が成り立つということである。ただし、a, b は t に関係しない定数。 逆ラプラス変換も同様で、 テンプレート:Indent
が成り立つ。したがって、与えられた関数を部分分数分解できるとき、各因子がラプラス変換の表にあるものに合致すれば、その変換が求められる。
相似性
a>0のとき、 テンプレート:Indent が成立する。
微分式
時間 t に関する導関数のラプラス変換は多項式の差となって現れる。実際に、一階の導関数をラプラス変換すると以下のように f(0)（元の式に0を代入した値）が現れる。
また、二階導関数の場合は f(0) に加え、t = 0 における微分係数 f '(0) が現れる。
これを繰り返すと、一般の n 階の導関数のラプラス変換は以下のようになる。
積分式
畳み込み
関数の畳み込みはラプラス変換で積（値ごとの積）にうつされる。 テンプレート:Indent
これは、H(s) = F(s)G(s) かつ テンプレート:Indent ならば テンプレート:Indent と書くこともできる。
初期値の定理・最終値の定理
ラプラス変換の原関数の初期値（t = 0での値）や最終値（t → ∞ における極限値）を表す初期値の定理および最終値の定理と呼ばれる公式が以下のような式によって与えられる。
- 初期値の定理 (initial value theorem)
- <math> t </math> の関数 <math> f(t) </math> がt=0で連続ならば
- <math>
f(0)=\lim_{t \rightarrow 0} f(t) = \lim_{s\rightarrow \infty} sF(s) </math>
- が成り立つ。特に、<math> f </math> が微分可能なときは部分積分により容易に証明できる。
- 最終値の定理 (final value theorem)
- <math> t </math> の関数 <math> f(t) </math> がt→∞で収束すれば
- <math>
f(\infty)=\lim_{t \rightarrow\infty} f(t) = \lim_{s\rightarrow 0} sF(s)\qquad s \in \Delta_0 </math>
- が成り立つ。ただし、<math>\Delta_0 </math> は <math> s>0 </math> を含む角領域である。
性質一覧表
- 表中の凡例
- u(t) : ヘビサイド関数
- (f * g)(t) : f と g の畳み込み
- f'(t) : f(t) の1階微分
- f(n)(t) : f(t) の n 階微分
| 性質 | 原関数 <math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math> (時間領域) |
像関数 <math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math> ('s'領域/周波数領域) |
備考 |
|---|---|---|---|
| 線形性 | <math>a f(t) + b g(t) \ </math> | <math>a F(s) + b G(s) \ </math> | |
| 相似性 | <math> f(at) \ </math> | <math> {1 \over a} F \left ( {s \over a} \right )</math> | ただし、a > 0 |
| 移動 | <math> f(t - a) u(t - a) \ </math> | <math> e^{-as} F(s) \ </math> | |
| <math> f(t + \lambda) \ </math> | <math> e^{\lambda s}\left\{F(s) - \int_0^{\lambda}e^{-st}f(t)\,dt\right\} \ </math> | 移動第2則 ただし、λ > 0 | |
| 1階微分 | <math> f'(t) \ </math> | <math> s F(s) - f(0) \ </math> | ただし、ƒ は微分可能とする。 |
| 2階微分 | <math>f(t) \,</math> | <math>s^{2}F(s)-sf(0)-f'(0) \,</math> | ただし、ƒ は2階微分可能とする。 |
| n階微分 | <math> f^{(n)}(t) \ </math> | <math> s^n F(s) - s^{n - 1} f(0) - \cdots - f^{(n - 1)}(0) \ </math> | ただし、ƒ は n 階微分可能とする。 |
| 積分 | <math> \int_0^t f(\tau)\, d\tau = (u * f)(t) \ </math> | <math> {1 \over s} F(s) \ </math> | |
| <math> \frac{1}{(n-1)!}\int_0^t (t-q)^{n-1}f(q)\mathrm{d}q \ </math> | <math> \frac{1}{s^n} F(s) \ </math> | ただし、n ≧ 1 | |
| <math> \int_0^t \int_0^{\tau_{n-1}}\cdots \int_0^{\tau_1} f(\tau)\,d\tau d\tau_1 \cdots d\tau_{n-1} \ </math> | <math> \frac{1}{s^n}F(s) \ </math> | ||
| 畳み込み | <math> (f * g)(t) = \int_0^t f(u)\,g(t-u)\,du\ </math> | <math> F(s) \cdot G(s) \ </math> | |
| 周期関数 | <math> f(t) = f(t + T) \ </math> | <math>{1 \over 1 - e^{-Ts}} \int_0^T e^{-st} f(t)\,dt </math> | f(t) は周期 T の周期関数。 |
| 性質 | 像関数 <math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math> ('s'領域/周波数領域) |
原関数 <math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math> (時間領域) |
備考 |
|---|---|---|---|
| 移動 | <math> F(s - a) \ </math> | <math> e^{at} f(t) \ </math> | |
| 1階微分 | <math> F'(s) \ </math> | <math> -t f(t) \ </math> | ただし、F は微分可能とする。 |
| 2階微分 | <math>F^{\prime\prime}(s)\,</math> | <math>t^{2}f(t) \,</math> | ただし、F は2階微分可能とする。 |
| n階微分 | <math> F^{(n)}(s) \ </math> | <math> (-t)^{n} f(t) \ </math> | ただし、F は n 階微分可能とする。 |
| 積分 | <math> \int_s^\infty F(\sigma)\, d\sigma \ </math> | <math> \frac{f(t)}{t} \ </math> | |
| <math> \int_s^{\infty}\int_{\sigma_{n-1}}^{\infty}\cdots\int_{\sigma_1}^{\infty}F(\sigma)\,d\sigma d\sigma_1 \cdots d\sigma_{n-1} \ </math> | <math> \frac{f(t)}{t^n} \ </math> | ||
| 畳み込み | <math> (F*G)(s) = \frac{1}{2 \pi \mathrm{i}}\int_{c-\mathrm{i}\infty}^{c+\mathrm{i}\infty} F(\sigma) \,G(s-\sigma)\mathrm{d}\sigma </math> | <math> f(t) \,g(t) </math> |
変換表
| 変換表 | 原関数 <math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math> 時間領域 |
像関数 <math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math> 's'-領域/周波数領域 |
収束域 | |
|---|---|---|---|---|
| 単位インパルス | <math> \delta(t) \ </math> | <math> 1 </math> | <math> \mathrm{all} \ s \,</math> | |
| 単位ステップ関数 | <math> u(t) \ </math> | <math> { 1 \over s } </math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| ランプ関数 | <math> t \cdot u(t)\ </math> | <math>\frac{1}{s^2}</math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| n 乗 ( n は整数 ) |
<math>{ t^n \over n! } \cdot u(t) </math> | <math> { 1 \over s^{n+1} } </math> | <math> \textrm{Re} \{ s \} > 0 \, </math> <math> (n > -1) \, </math> | |
| q 乗 ( q は複素数 ) |
<math>{ t^q \over \Gamma(q+1) } \cdot u(t) </math> | <math> { 1 \over s^{q+1} } </math> | <math> \textrm{Re} \{ s \} > 0 \, </math> <math> (\textrm{Re}\{q\} > -1) \, </math> | |
| n 乗根 | <math> \sqrt[n]{t} \cdot u(t) = t^{1/n} \cdot u(t) </math> | <math> \frac{1}{s^{1+1/n}} \cdot \Gamma\left(1+\frac{1}{n}\right)</math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| 指数減衰 | <math> e^{-\alpha t} \cdot u(t) \ </math> | <math> { 1 \over s+\alpha } </math> | <math> \textrm{Re} \{ s \} > - \alpha \ </math> | |
| n 乗の指数減衰 | <math>\frac{t^{n}}{n!}e^{-\alpha t} \cdot u(t) </math> | <math>\frac{1}{(s+\alpha)^{n+1}}</math> | <math> \textrm{Re} \{ s \} > - \alpha \, </math> | |
| 理想遅延 | <math> \delta(t-\tau) \ </math> | <math> e^{-\tau s} \ </math> | ||
| 遅延付き単位ステップ関数 | <math> u(t-\tau) \ </math> | <math> { \frac{1}{s} \cdot e^{-\tau s} } </math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| 遅延付き n 乗の指数減衰 | <math>\frac{(t-\tau)^n}{n!} e^{-\alpha (t-\tau)} \cdot u(t-\tau) </math> | <math> \frac{1}{(s+\alpha)^{n+1}} \cdot e^{-\tau s} </math> | <math> \textrm{Re} \{ s \} > - \alpha \, </math> | |
| 指数関数的接近 | <math>( 1-e^{-\alpha t}) \cdot u(t) \ </math> | <math>\frac{\alpha}{s(s+\alpha)} </math> | <math> \textrm{Re} \{ s \} > 0\ </math> | |
| 正弦 | <math> \sin(\omega t) \cdot u(t) \ </math> | <math> { \omega \over s^2 + \omega^2 } </math> | <math> \textrm{Re} \{ s \} > 0 \ </math> | |
| 余弦 | <math> \cos(\omega t) \cdot u(t) \ </math> | <math> { s \over s^2 + \omega^2 } </math> | <math> \textrm{Re} \{ s \} > 0 \ </math> | |
| 双曲線正弦関数 (ハイパボリックサイン) |
<math> \sinh(\alpha t) \cdot u(t) \ </math> | <math> { \alpha \over s^2 - \alpha^2 } </math> | <math> \textrm{Re} \{ s \} > | \alpha | \ </math> | |
| 双曲線余弦関数 (ハイパボリックコサイン) |
<math> \cosh(\alpha t) \cdot u(t) \ </math> | <math> { s \over s^2 - \alpha^2 } </math> | <math> \textrm{Re} \{ s \} > | \alpha | \ </math> | |
| 正弦波の指数減衰 | <math>e^{-\alpha t} \sin(\omega t) \cdot u(t) \ </math> | <math> { \omega \over (s+\alpha )^2 + \omega^2 } </math> | <math> \textrm{Re} \{ s \} > -\alpha \ </math> | |
| 余弦波の指数減衰 | <math>e^{-\alpha t} \cos(\omega t) \cdot u(t) \ </math> | <math> { s+\alpha \over (s+\alpha )^2 + \omega^2 } </math> | <math> \textrm{Re} \{ s \} > -\alpha \ </math> | |
| 自然対数 | <math> \ln \left ( { t \over t_0 } \right ) \cdot u(t) </math> | <math> - {1 \over s} \ [ \ \ln(t_0 s)+\gamma \ ] </math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| 第1種ベッセル関数 | <math> J_n( \omega t) \cdot u(t)</math> | <math>\frac{ \omega^n \left(s+\sqrt{s^2+ \omega^2}\right)^{-n}}{\sqrt{s^2 + \omega^2}}</math> | <math> \textrm{Re} \{ s \} > 0 \, </math> <math> (n > -1) \, </math> | |
| 第1種変形ベッセル関数 | <math>I_n(\omega t) \cdot u(t)</math> | <math> \frac{ \omega^n \left(s+\sqrt{s^2-\omega^2}\right)^{-n}}{\sqrt{s^2-\omega^2}} </math> | \omega | \, </math> | |
| 第2種ベッセル関数 (次数が 0 の場合) |
<math> Y_0(\alpha t) \cdot u(t)</math> | <math>-{2 \sinh^{-1}(s/\alpha) \over \pi \sqrt{s^2+\alpha^2}}</math> | <math>\textrm{Re} \{ s \} > 0 \, </math> | |
| 第2種変形ベッセル関数 (次数が 0 の場合) |
<math> K_0(\alpha t) \cdot u(t)</math> | |||
| 誤差関数 | <math> \mathrm{erf}(t) \cdot u(t) </math> | <math> {e^{s^2/4} \left(1 - \operatorname{erf} \left(s/2\right)\right) \over s}</math> | <math> \textrm{Re} \{ s \} > 0 \, </math> | |
| 凡例
テンプレート:Col-begin テンプレート:Col-break
| ||||
関連項目
- 関数
- ディラックのデルタ関数（インパルス関数）
- ヘヴィサイドの階段関数（ステップ関数）
- 微分方程式
