この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "ラプラス変換"
関数解析学において、ラプラス変換(ラプラスへんかん、英: Laplace transform)とは、積分で定義される関数空間の間の写像(線型作用素)の一種。関数変換。積分変換の一種。
ラプラス変換の名は18世紀の数学者ピエール=シモン・ラプラスにちなむ。
ラプラス変換によりある種の微分・積分は積などの代数的な演算に置き換わるため、制御工学などにおいて時間領域の(とくに超越的な)関数を別の領域の(おもに代数的な)関数に変換することにより、計算方法の見通しを良くするための数学的な道具として用いられる。従って、数学の中ではかなり応用寄りの分野である。
フーリエ変換を発展させて、より適用範囲を広げた計算手法である。1899年に電気技師であったオリヴァー・ヘヴィサイドが回路方程式を解くための実用的な演算子を経験則として考案して発表し、後に数学者がその演算子に対し厳密に理論的な裏付けを行った経緯がある。理論的な根拠が曖昧なままで発表されたため、この計算手法に対する懐疑的な声も多かった。この「ヘヴィサイドの演算子」の発表の後に、多くの数学者達により数学的な基盤は1780年の数学者ピエール=シモン・ラプラスの著作にある事が指摘された(この著作においてラプラス変換の公式が頻繁に現れていた)。
フーリエ変換がL^1((-∞,∞))上のゲルファント変換であるのに対しラプラス変換はL^1((0,∞))上のゲルファント変換と説明できる。
実数 t ≥ 0 について定義された関数 f (t) のラプラス変換とは F ( s ) = ∫ 0 ∞ f ( t ) e − s t d t {\displaystyle F(s)=\int _{0}^{\infty }f(t)\mathrm {e} ^{-st}\mathrm {d} t} で定義される s の関数 F(s) のことである。ここで s は複素数であり、2 つの実数 σ, ω を用いて s = σ + iω と表すことができる(i は虚数単位)。右辺の積分はラプラス積分 (Laplace integral) と呼ばれる。これは時間領域から複素平面への写像である。 また、c > 0 として、関数 F(s) から元の関数 f (t) を計算することを逆ラプラス変換 (inverse Laplace transform) といい、 f ( t ) = lim p → ∞ 1 2 π i ∫ c − i p c + i p F ( s ) e s t d s {\displaystyle f(t)=\lim _{p\to \infty }{\frac {1}{2\pi i}}\int _{c-ip}^{c+ip}F(s)\mathrm {e} ^{st}\,\mathrm {d} s} のように定義されている。ここでcは全ての特異点の実部よりも大きい実数である。右辺の積分はブロムウィッチ積分 (Bromwich integral) と呼ばれる。これは複素平面から時間領域への写像である。複素平面を用いたブロムウィッチ積分の解説 これは複素積分となっている。定義通りの積分経路では計算が難しくなるが、閉曲線となるように積分経路を変更して留数を計算することにより簡単に逆ラプラス変換を求める事が可能となる。結果を言えば複素平面上の全ての特異点の留数の総和となる。ここで、f (t) を原関数 (original function)、F(s) を像関数 (image function) という。 ラプラス変換の他の記述の仕方として、次のようなものもある。 F ( s ) = L [ f ( t ) ] {\displaystyle F(s)={\mathcal {L}}[f(t)]} 同様に逆ラプラス変換は、次のようにも記述される。 f ( t ) = L − 1 [ F ( s ) ] {\displaystyle f(t)={\mathcal {L}}^{-1}[F(s)]} また、これらの記号を用いた写像 L : f ↦ F , L − 1 : F ↦ f {\displaystyle {\begin{aligned}{\mathcal {L}}&\colon ~f\mapsto F,\\{\mathcal {L}}^{-1}&\colon F\mapsto f\end{aligned}}} のことも、それぞれラプラス変換、逆ラプラス変換と呼ぶ。 普通、ラプラス変換および逆ラプラス変換を行う際には変換表を参照して計算する場合が多いので、前述した定義式にしたがって計算することは少ない。だが場合によっては定義式から計算したほうが簡単なときもある。たとえば逆ラプラス変換をする際に部分分数分解をしなければならない場合、むしろブロムウィッチ積分を計算したほうが早いことも多い。 両側ラプラス変換は積分区間を全実数域へと拡張したもので、以下のように定義される。 F ( s ) = L { f ( t ) } = ∫ − ∞ ∞ e − s t f ( t ) d t {\displaystyle F(s)={\mathcal {L}}\left\{f(t)\right\}=\int _{-\infty }^{\infty }\mathrm {e} ^{-st}f(t)\,\mathrm {d} t} 数列 an の(通常型)母関数 G ( a n ; x ) = ∑ n a n x n {\displaystyle G(a_{n};x)=\sum _{n}a_{n}x^{n}\,} において x = e−s とすると、 G ( a n ; e − s ) = ∑ n a n e − s n {\displaystyle G(a_{n};\mathrm {e} ^{-s})=\sum _{n}a_{n}\mathrm {e} ^{-sn}\,} となる。ここで和を積分に変えれば G ( a t ; e − s ) = ∫ a t e − s t d t {\displaystyle G(a_{t};\mathrm {e} ^{-s})=\int a_{t}\mathrm {e} ^{-st}\mathrm {d} t\,}
これと類似の解法として、より数学的な側面から作られた演算子法がある。こちらは演算子の記号を多項式に見立て、代数的に変形し、公式に基づいて特解を求める方法である。
定義
注:
ラプラス変換は、関数 f (t) にいったん e−σtθ(t) を乗じてからフーリエ変換する操作であると考えることができる(ここで θ(t) はステップ関数である)。 F ( s ) := F ( σ , ω ) = ∫ − ∞ ∞ θ ( t ) f ( t ) e − σ t e − i ω t d t = = s = σ + i ω ∫ 0 ∞ f ( t ) e − s t d t {\displaystyle F(s):=F(\sigma ,\omega )=\int _{-\infty }^{\infty }\theta (t)f(t)\mathrm {e} ^{-\sigma t}\mathrm {e} ^{-i\omega t}\,\mathrm {d} t{\overset {s=\sigma +i\omega }{=\!=}}\int _{0}^{\infty }f(t)\mathrm {e} ^{-st}\,\mathrm {d} t}
両側ラプラス変換詳細は「両側ラプラス変換」を参照
母関数との関係