ラプラス変換のソースを表示

[[Image:Time and frequency domains.svg|thumb|290px|関数変換]]
[[関数解析学]]において、'''ラプラス変換'''（ラプラスへんかん、{{lang-en-short|Laplace transform}}）とは、[[積分]]で定義される[[関数空間]]の間の写像（線型[[作用素]]）の一種。関数変換。

ラプラス変換の名は[[ピエール＝シモン・ラプラス]]にちなむ。

ラプラス変換によりある種の[[微分]]・[[積分法|積分]]は積などの[[代数学|代数]]的な演算に置き換わるため、[[制御工学]]などにおいて時間領域の（とくに超越的な）関数を別の領域の（おもに代数的な）関数に変換することにより、計算方法の見通しを良くするための数学的な道具として用いられる。

[[フーリエ変換]]を発展させて、より実用本位で作られた計算手法である。[[1899年]]に電気技師であった[[オリヴァー・ヘヴィサイド]]が回路方程式を解くための実用的な演算子を経験則として考案して発表し、後に数学者がその演算子に対し厳密に理論的な裏付けを行った経緯がある。理論的な根拠が曖昧なままで発表されたため、この計算手法に対する懐疑的な声も多かった。この「ヘヴィサイドの演算子」の発表の後に、多くの数学者達により数学的な基盤は[[1780年]]の数学者[[ピエール＝シモン・ラプラス]]の著作にある事が指摘された(この著作においてラプラス変換の公式が頻繁に現れていた)。

従って、数学の中ではかなり応用寄りの分野である。ラプラス変換の理論は[[微分]][[積分法|積分]]、[[線型代数学|線形代数]]、[[ベクトル解析]]、[[フーリエ変換|フーリエ解析]]、[[複素解析]]を基盤としているため、理解するためにはそれらの分野を習得するべきである。

これと類似の解法として、より数学的な側面から作られた[[演算子法]]がある。こちらは演算子の記号を多項式に見立て、代数的に変形し、公式に基づいて特解を求める方法である。

==定義==

実数 {{math|''t'' &ge; 0}} について定義された関数 {{math|''f''&thinsp;(''t'')}} の'''ラプラス変換'''とは
{{Indent|<math>F(s) = \int_{0}^\infty f(t)\mathrm{e}^{-st}\mathrm dt</math>}}
で定義される {{mvar|s}} の関数 {{math|''F''(''s'')}} のことである。ここで {{mvar|s}} は[[複素数]]であり、2 つの実数 {{mvar|&sigma;, &omega;}} を用いて {{math|''s'' {{=}} ''σ'' + ''iω''}} と表すことができる（{{mvar|i}} は[[虚数単位]]）。右辺の積分は'''ラプラス積分''' {{en|(Laplace integral)}} と呼ばれる。これは時間領域から複素平面への[[写像]]である。

また、{{math|''c'' &gt; 0}} として、関数 {{math|''F''(''s'')}} から元の関数 {{math|''f''&thinsp;(''t'')}} を計算することを'''逆ラプラス変換''' {{en|(inverse Laplace transform)}} といい、
{{Indent|<math>f(t) = \lim_{p\to\infty}
 \frac{1}{2\pi i} \int_{c-ip}^{c+ip} F(s)\mathrm{e}^{st}\,\mathrm ds
</math>}}
のように定義されている。右辺の積分は'''ブロムウィッチ積分''' {{en|(Bromwich integral)}} と呼ばれる。これは複素平面から時間領域への写像である。
[[File:ブロムウィッチ積分.png|thumb|320px|複素平面を用いたブロムウィッチ積分の解説]]
これは複素積分となっている。定義通りの積分経路では計算が難しくなるが、閉曲線となるように積分経路を変更して[[留数]]を計算することにより簡単に逆ラプラス変換を求める事が可能となる。結果を言えば複素平面上の全ての特異点の留数の総和となる。ここで、{{math|''f''&thinsp;(''t'')}} を'''原関数''' {{en|(original function)}}、{{math|''F''(''s'')}} を'''像関数''' {{en|(image function)}} という。

ラプラス変換の他の記述の仕方として、次のようなものもある。
{{Indent|<math>F(s) = \mathcal{L}[f(t)]</math>}}

同様に逆ラプラス変換は、次のようにも記述される。
{{Indent|<math>f(t) = \mathcal{L}^{-1}[F(s)]</math>}}

また、これらの記号を用いた写像
{{Indent|
<math>\begin{align}
\mathcal{L} & \colon ~ f \mapsto F,\\
\mathcal{L}^{-1} & \colon F \mapsto f
\end{align}</math>}}
のことも、それぞれ'''ラプラス変換'''、'''逆ラプラス変換'''と呼ぶ。

普通、ラプラス変換および逆ラプラス変換を行う際には変換表を参照して計算する場合が多いので、前述した定義式にしたがって計算することは少ない。だが場合によっては定義式から計算したほうが簡単なときもある。たとえば逆ラプラス変換をする際に[[部分分数分解]]をしなければならない場合、むしろブロムウィッチ積分を計算したほうが早いことも多い。

;注：
:ラプラス変換は、関数 {{math|''f''&thinsp;(''t'')}} にいったん {{math|e{{sup|&minus;''&sigma;t''}}''&theta;''(''t'')}} を乗じてから[[フーリエ変換]]する操作であると考えることができる（ここで {{math|''&theta;''(''t'')}} は[[ヘヴィサイドの階段関数|ステップ関数]]である）。
:<math>F(s):=F(\sigma,\omega) = \int_{-\infty}^{\infty} \theta(t)f(t)\mathrm{e}^{-\sigma t} \mathrm{e}^{-i\omega t}\,\mathrm dt
\overset{s=\sigma+i\omega}{=\!=}\int_0^{\infty} f(t)\mathrm{e}^{-st}\,\mathrm dt
</math>

===両側ラプラス変換===
{{Main|両側ラプラス変換}}
両側ラプラス変換は積分区間を全実数域へと拡張したもので、以下のように定義される。

: <math>F(s)  = \mathcal{L}\left\{f(t)\right\}  =\int_{-\infty}^{\infty} \mathrm{e}^{-st} f(t)\,\mathrm dt</math>

==母関数との関係==

数列 {{mvar|a{{sub|n}}}} の（通常型）[[母関数]]
: <math>G(a_n;x)=\sum_n a_nx^n\,</math>
において {{math|''x'' {{=}} e{{sup|&minus;''s''}}}} とすると、
: <math>G(a_n;\mathrm{e}^{-s})=\sum_n a_n \mathrm{e}^{-sn}\,</math>
となる。
ここで和を積分に変えれば
: <math>G(a_t;\mathrm{e}^{-s})=\int a_t \mathrm{e}^{-st}\mathrm dt\,</math>
となり、関数 {{mvar|a{{sub|t}}}} のラプラス変換と一致する。この意味においてラプラス変換は母関数の「連続版」とみなすことができる。
こうした理由により、母関数とラプラス変換は同種の性質を満たすことがある。たとえば母関数の性質
: <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|*}} は[[畳み込み]]積。

==性質==
ラプラス変換と逆ラプラス変換は互いに他の逆変換である。
{{Indent|<math>\mathcal{L}\mathcal{L}^{-1} =
 \mathcal{L}^{-1}\mathcal{L} = I
</math>}}ここで、{{Mvar|I}} は[[恒等写像|恒等変換]]を表わす。

===線型性===
ラプラス変換は[[線型性]]を持ち、したがって特に''[[重ね合わせの原理]]'' を用いて計算することが可能である。ラプラス変換が線型性を持つとは、任意の関数 {{math|''f''(''t''), ''g''(''t'')}} に対して
{{Indent|<math> \mathcal{L}[af(t) + bg(t)] = 
  aF(s) + bG(s)
</math>}}
が成り立つということである。ただし、{{math|''a'', ''b''}} は {{mvar|t}} に関係しない定数。逆ラプラス変換も同様に線形性を持ち、
{{Indent|<math> \mathcal{L}^{-1}[aF(s) + bG(s)] = 
  af(t) + bg(t)
</math>}}

が成り立つ。したがって、与えられた関数を[[部分分数分解]]できるとき、各因子がラプラス変換の表にあるものに合致すれば、その変換が求められる。

===相似性===
{{math|''a'' &gt; 0}} のとき、
{{Indent|<math>\mathcal{L}\left[f(at)\right]=\frac{1}{a}F\left(\frac{s}{a}\right)</math>}}
が成立する。

===微分式===
時間 {{mvar|t}} に関する[[微分|導関数]]のラプラス変換は[[多項式]]の差となって現れる。実際に、一階の導関数をラプラス変換すると以下のように {{math|''f''&thinsp;(0)}}（元の式に {{math|0}} を代入した値）が現れる。

{{Indent|<math> \mathcal{L}\left[ \frac{\mathrm df(t)}{\mathrm dt} \right] 
  = sF(s) - f(0)
</math>}}

また、二階導関数の場合は {{math|''f''&thinsp;(0)}} に加え、{{math|''t'' {{=}} 0}} における微分係数 {{math|''f{{'}}''(0)}} が現れる。

{{Indent|<math> \mathcal{L}\left[ \frac{\mathrm d^2f(t)}{\mathrm dt^2} \right] 
  = s^2F(s) - sf(0) - f'(0)
</math>}}

これを繰り返すと、一般の {{mvar|n}} 階の導関数のラプラス変換は以下のようになる。

{{Indent|<math> \mathcal{L}\left[ \frac{\mathrm d^nf(t)}{\mathrm dt^n} \right] =
  s^nF(s) - \sum_{k=0}^{n-1} s^{n-k-1}f^{(k)}(0) 
</math> <br />
<math>= s^nF(s) - s^{n-1}f(0) - s^{n-2}f^{(1)}(0) - 
 s^{n-3}f^{(2)}(0) - \cdots - f^{(n-1)}(0)
</math>}}

===積分式===

{{Indent|<math> \mathcal{L}\left[\int_0^t f(u)\mathrm du \right] = \frac{1}{s} F(s)</math>}}

===畳み込み===
関数の[[畳み込み]]はラプラス変換で積（値ごとの積）に写される。
{{Indent|<math>\mathcal{L}[f(t)*g(t)] = 
 F(s)\,G(s)
</math>}}

これは、{{math|''H''(''s'') {{=}} ''F''(''s'')''G''(''s'')}} かつ
{{Indent|<math>F(s) = \mathcal{L}[f(t)],\, G(s) = \mathcal{L}[g(t)]</math>}}
ならば
{{Indent|<math>\mathcal{L}^{-1}[H(s)] = f(t)*g(t)</math>}}
と書くこともできる。

=== 初期値の定理・最終値の定理 ===
ラプラス変換の原関数の初期値（{{math|''t'' {{=}} 0}} での値）や最終値（{{math|''t'' &rarr; &infin;}} における極限値）を表す'''初期値の定理''' {{en|(initial value theorem)}} および'''最終値の定理''' {{en|(final value theorem)}} と呼ばれる公式が以下のような式によって与えられる。
;初期値の定理
:{{mvar|t}} の関数 {{math|''f''&thinsp;(''t'')}} が {{math|''t'' {{=}} 0}} で連続ならば
:<math>
f(0)=\lim_{t \rightarrow 0} f(t) = \lim_{s\rightarrow \infty} sF(s)
</math>
:が成り立つ。特に、{{mvar|f}} が微分可能なときは部分積分により容易に証明できる。
;最終値の定理
:{{mvar|t}} の関数 {{math|''f''&thinsp;(''t'')}} が {{math|''t'' &rarr; &infin;}} で収束するなら
:<math>
f(\infty)=\lim_{t \rightarrow\infty} f(t) = \lim_{s\rightarrow 0} sF(s)\qquad s \in \Delta_0
</math>
:が成り立つ。ただし、{{math|&Delta;{{sub|0}}}} は {{math|''s'' &gt; 0}} を含む角領域である。

=== 性質一覧表 ===

* 表中の凡例
: <math>u(t)</math> : [[ヘビサイド関数]]
: <math>(f * g)(t)</math> : {{mvar|f}} と {{mvar|g}} の[[畳み込み]]
: <math>f'(t)</math> : {{math|''f''&thinsp;(''t'')}} の {{math|1}} 階微分
: <math>f^{(n)}(t)</math> : {{math|''f''&thinsp;(''t'')}} の {{mvar|n}} 階微分

{| class="wikitable" 
 |+ '''片側ラプラス変換の性質（その 1）'''
 !性質
 	!style="white-space:nowrap" | 原関数<br/><math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math><br/>（'{{mvar|t}}' 領域 / 時間領域）
	!style="white-space:nowrap" | 像関数<br/><math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math><br/>（'{{mvar|s}}' 領域 / 周波数領域）
 	!style="white-space:nowrap" | 備考
 |-style="text-align:center"
 !style="white-space:nowrap" | [[線形性]] 
	| <math>a f(t) + b g(t) ~</math>
	| <math>a F(s)  + b G(s) ~</math>
	| 
 |-style="text-align:center"
 !style="white-space:nowrap" | 相似性
	| <math> f(at) ~</math>
	| <math>  {1 \over a} F \left ( {s \over a} \right )</math>
	| ただし、{{math|''a'' &gt; 0}}
 |-style="text-align:center"
 !style="white-space:nowrap" rowspan="2"| 移動
	| <math> f(t - a) u(t - a) ~</math>
	| <math>  \mathrm{e}^{-as} F(s) ~</math>
	| 
 |-style="text-align:center"
	| <math> f(t + \lambda) ~</math>
	| <math> \mathrm{e}^{\lambda s}\left\{F(s) - \int_0^{\lambda}\mathrm{e}^{-st}f(t)\,\mathrm dt\right\}~</math>
	| 移動第 2 則<br/>ただし、{{math|''λ'' &gt; 0}}
 |-style="text-align:center"
 !style="white-space:nowrap"| {{math|1}} 階[[微分]]
	| <math> f'(t) ~</math>
	| <math> s F(s) - f(0) ~</math>
	| ただし、{{mvar|ƒ}} は {{math|1}} 階[[微分可能]]とする。
 |-style="text-align:center"
 !style="white-space:nowrap"| {{math|2}} 階微分
	| <math>f''(t) \,</math> 
	| <math>s^{2}F(s)-sf(0)-f'(0) \,</math>
	| ただし、{{mvar|ƒ}} は {{math|2}} 階微分可能とする。
 |-style="text-align:center"
 !style="white-space:nowrap"| {{mvar|n}} 階微分
	| <math> f^{(n)}(t)  ~</math>
	| <math>  s^n F(s) - s^{n - 1} f(0) - \cdots - f^{(n - 1)}(0) ~</math>
	| ただし、{{mvar|ƒ}} は {{mvar|n}} 階微分可能とする。
 |-style="text-align:center"
 !style="white-space:nowrap" rowspan="3"| [[積分]]
	| <math> \int_0^t f(\tau)\, \mathrm d\tau  =  (u * f)(t) ~</math>
	| <math>  {1 \over s} F(s) ~</math>
	| 
 |-style="text-align:center"
	| <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>
	| ただし、{{math|''n'' &ge; 1}}
 |-style="text-align:center"
	| <math> \int_0^t \int_0^{\tau_{n-1}}\cdots \int_0^{\tau_1} f(\tau)\,\mathrm d\tau \mathrm d\tau_1 \cdots \mathrm d\tau_{n-1} ~</math>
	| <math> \frac{1}{s^n}F(s) ~</math>
	| 
 |-style="text-align:center"
 !style="white-space:nowrap"| [[畳み込み]]
	| <math> (f * g)(t) = \int_0^t f(u)\,g(t-u)\,du~</math>
	| <math> F(s) \cdot G(s) ~</math>
	| 
 |-style="text-align:center"
 !style="white-space:nowrap"| [[周期関数]]
	| <math> f(t) = f(t + T) ~</math>
	| <math>{1 \over 1 - \mathrm{e}^{-Ts}} \int_0^T \mathrm{e}^{-st} f(t)\,\mathrm dt </math>
	| {{math|''f''&thinsp;(''t'')}} は周期 {{mvar|T}} の周期関数。
|}

{| class="wikitable" 
 |+ '''片側ラプラス変換の性質（その 2）'''
 !性質
	!style="white-space:nowrap" | 像関数<br/><math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math><br/>（'{{mvar|s}}' 領域 / 周波数領域）
 	!style="white-space:nowrap" | 原関数<br/><math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math><br/>（'{{mvar|t}}' 領域 / 時間領域）
 	!style="white-space:nowrap" | 備考
 |- style="text-align:center"
 !style="white-space:nowrap"| 移動
	| <math> F(s - a) ~</math>
	| <math> \mathrm{e}^{at} f(t) ~</math>
	|
 |-style="text-align:center"
 !style="white-space:nowrap"| {{math|1}} 階微分
	| <math> F'(s) ~</math>
	| <math> -t f(t) ~</math>
	| ただし、{{mvar|F}} は{{math|1}} 階微分可能とする。
 |-style="text-align:center"
 !style="white-space:nowrap"| {{math|2}} 階微分
	| <math>F^{\prime\prime}(s)\,</math>
	| <math>t^{2}f(t) \,</math> 
	| ただし、{{mvar|F}} は {{math|2}} 階微分可能とする。
 |-style="text-align:center"
 !style="white-space:nowrap"| {{mvar|n}} 階微分
	| <math> F^{(n)}(s) ~</math>
	| <math> (-t)^{n} f(t) ~</math>
	| ただし、{{mvar|F}} は {{mvar|n}} 階微分可能とする。
 |-style="text-align:center"
 !style="white-space:nowrap" rowspan="2"| 積分
	| <math> \int_s^\infty F(\sigma)\, \mathrm d\sigma ~</math>
	| <math> \frac{f(t)}{t} ~</math>
	|
 |-style="text-align:center"
	| <math> \int_s^{\infty}\int_{\sigma_{n-1}}^{\infty}\cdots\int_{\sigma_1}^{\infty}F(\sigma)\,\mathrm d\sigma \mathrm d\sigma_1 \cdots \mathrm d\sigma_{n-1} ~ </math>
	| <math> \frac{f(t)}{t^n} ~</math>
	|
 |-style="text-align:center"
 !style="white-space:nowrap"| 畳み込み
	| <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>
	| 
|}

==変換表==

{| class="wikitable"
|- style="text-align:center"
! 変換表
!| 原関数 <br/> <math>f(t) = \mathcal{L}^{-1} \left\{ F(s) \right\}</math> <br/> '{{mvar|t}}' 領域 / 時間領域
!| 像関数 <br/> <math>F(s) = \mathcal{L}\left\{ f(t) \right\}</math> <br/> '{{mvar|s}}' 領域 / 周波数領域
!| 収束域
|- style="text-align:center"
| [[ディラックのデルタ関数|単位インパルス]] 
|| <math> \delta(t) ~</math> 
|| <math> 1  </math>
|| <math> \mathrm{all}~ s \,</math>
|-  style="text-align:center"
| [[ヘヴィサイドの階段関数|単位ステップ関数]] 
|| <math> u(t) ~</math> 
|| <math> { 1 \over s } </math> 
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>
|-  style="text-align:center"
| [[ランプ関数]] 
|| <math> t \cdot u(t)~</math>
|| <math>\frac{1}{s^2}</math> 
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>
|- style="text-align:center"
|  {{mvar|n}} 乗 <br />（{{mvar|n}} は整数）
|| <math>{  t^n \over n! } \cdot u(t) </math>  
|| <math> { 1 \over s^{n+1} } </math> 
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>   <br /> <math> (n > -1) \, </math>
|- style="text-align:center"
|  {{mvar|q}} 乗 <br />（{{mvar|q}} は複素数）
|| <math>{  t^q \over \Gamma(q+1) } \cdot u(t) </math>  
|| <math> { 1 \over s^{q+1} } </math> 
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>   <br /> <math> (\operatorname{Re}\{q\} > -1) \, </math>
|- style="text-align:center"
| {{mvar|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> \operatorname{Re} \{ s \} > 0 \, </math>
|-  style="text-align:center"
| 指数減衰
|| <math> \mathrm{e}^{-\alpha t} \cdot u(t)  ~</math>
|| <math> { 1 \over s+\alpha } </math>  
|| <math>  \operatorname{Re} \{ s \} > - \alpha ~</math>
|-  style="text-align:center"
| {{mvar|n}} 乗の指数減衰  
|| <math>\frac{t^{n}}{n!}\mathrm{e}^{-\alpha t} \cdot u(t) </math>  
|| <math>\frac{1}{(s+\alpha)^{n+1}}</math>  
|| <math> \operatorname{Re} \{ s \} > - \alpha \, </math>
|-  style="text-align:center"
| 理想遅延
|| <math> \delta(t-\tau) ~</math>
|| <math> \mathrm{e}^{-\tau s} ~</math> 
||
|-  style="text-align:center"
| 遅延付き単位ステップ関数 
|| <math> u(t-\tau) ~</math>
|| <math> { \frac{1}{s} \cdot \mathrm{e}^{-\tau s} } </math> 
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>
|-  style="text-align:center"
| 遅延付き {{mvar|n}} 乗の指数減衰 
|| <math>\frac{(t-\tau)^n}{n!} \mathrm{e}^{-\alpha (t-\tau)} \cdot u(t-\tau) </math>  
|| <math> \frac{1}{(s+\alpha)^{n+1}} \cdot \mathrm{e}^{-\tau s} </math> 
|| <math> \operatorname{Re} \{ s \} > - \alpha \, </math>
|-  style="text-align:center"
| 指数関数的接近  
|| <math>( 1-\mathrm{e}^{-\alpha t})  \cdot u(t) ~</math> 
|| <math>\frac{\alpha}{s(s+\alpha)} </math> 
|| <math>  \operatorname{Re} \{ s \} > 0~</math>
|-  style="text-align:center"
| [[正弦関数]]
|| <math> \sin(\omega t) \cdot u(t) ~</math> 
|| <math> { \omega \over s^2 + \omega^2  } </math> 
|| <math> \operatorname{Re} \{ s \} > 0  ~</math>
|-  style="text-align:center"
| [[余弦関数]]
|| <math> \cos(\omega t) \cdot u(t) ~</math>
|| <math> { s \over s^2 + \omega^2  } </math>
|| <math> \operatorname{Re} \{ s \} > 0 ~</math>
|-  style="text-align:center"
| [[双曲線関数|双曲線正弦関数]] <br/>（ハイパボリックサイン） 
|| <math> \sinh(\alpha t) \cdot u(t) ~</math>  
|| <math> { \alpha \over s^2 - \alpha^2 } </math>   
|| <math> \operatorname{Re} \{ s \} > | \alpha | ~</math>
|-  style="text-align:center"
| [[双曲線関数|双曲線余弦関数]] <br/>（ハイパボリックコサイン）
|| <math> \cosh(\alpha t) \cdot u(t) ~</math>
|| <math> { s \over s^2 - \alpha^2  } </math>    
|| <math> \operatorname{Re} \{ s \} > | \alpha | ~</math>
|-  style="text-align:center"
| 正弦波の指数減衰 
|| <math>\mathrm{e}^{-\alpha t}  \sin(\omega t) \cdot u(t) ~</math>
|| <math> { \omega \over (s+\alpha )^2 + \omega^2  } </math>
|| <math> \operatorname{Re} \{ s \} > -\alpha ~</math>
|-  style="text-align:center"
| 余弦波の指数減衰
|| <math>\mathrm{e}^{-\alpha t}  \cos(\omega t) \cdot u(t) ~</math>
|| <math> { s+\alpha \over (s+\alpha )^2 + \omega^2  } </math>  
|| <math> \operatorname{Re} \{ s \} > -\alpha ~</math>
|-  style="text-align:center"
| [[自然対数]] 
|| <math> \ln \left (  { t \over t_0 } \right ) \cdot u(t) </math>
|| <math> - {1 \over s} \left[\ln(t_0 s)+\gamma \right] </math>
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>
|-  style="text-align:center"
| 第 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> \operatorname{Re} \{ s \} > 0 \, </math>   <br /> <math> (n > -1) \, </math>
|-  style="text-align:center"
| 第 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>   || <math> \operatorname{Re} \{ s \} > | \omega | \, </math>
|-  style="text-align:center"
| 第 2 種[[ベッセル関数]] <br/>（次数が {{math|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>\operatorname{Re} \{ s \} > 0 \, </math>
|-  style="text-align:center"
| 第 2 種[[ベッセル関数#変形ベッセル関数|変形ベッセル関数]] <br/>（次数が {{math|0}} の場合）
|| <math> K_0(\alpha t) \cdot u(t)</math>  
|| &nbsp;  
|| &nbsp;
|-  style="text-align:center"
| [[誤差関数]]
|| <math> \mathrm{erf}(t) \cdot u(t) </math>
|| <math> {\mathrm{e}^{s^2/4} \left(1 - \operatorname{erf} \left(s/2\right)\right) \over s}</math>   
|| <math> \operatorname{Re} \{ s \} > 0 \, </math>
|- 
|colspan=5|'''凡例'''
{{col-begin}}
{{col-break}}
* <math> u(t) \, </math>：[[ヘビサイド関数]]。
* <math> \delta(t) \, </math>：[[ディラックのデルタ関数]]。
* <math> \Gamma (z) \, </math>：[[ガンマ関数]]。{{mvar|n}} が自然数の場合、{{math|Γ(''n'' + 1) {{=}} ''n''!}}。
* <math> \gamma \, </math>：[[オイラーの定数|オイラー・マスケローニ定数]].
{{col-break}}
* {{mvar|t}} は時間に対応する[[実数]]。
* {{mvar|s}} は[[複素数]]で複素[[角周波数]]と呼ばれる。{{math|Re{{(}}''s''{{)}}}} はその実部。
* {{math|''α'', ''β'', ''τ'', ''ω''}} は実数。
* {{mvar|n}} は[[整数]]。
{{col-end}}
|}

== 関連文献 ==
*{{Cite book |和書 |author1=宇野利雄 |author2=洪姙植 |date=1974-09-25 |title=ラプラス変換 |publisher=共立出版 |series=共立全書 203 |isbn=978-4-320-00203-6 |ref={{Harvid|宇野|洪|1974}} }}
*{{Cite book |和書 |author1=辻井重男 |author2=鎌田一雄 |date=1978-08 |title=演習ラプラス変換 |publisher=共立出版 |series=共立全書 222 |isbn=978-4-320-00222-7 |ref={{Harvid|辻井|鎌田|1978}} }}

== 関連項目 ==
{{Div col}}
*[[アナログ信号処理]]
*[[演算子法]]
*[[関数 (数学)|関数]]
*[[制御工学]] - [[古典制御論]] - [[伝達関数法]] - [[LTIシステム理論]]
*[[Z変換|{{mvar|z}} 変換]]
*[[ディラックのデルタ関数]]（インパルス関数）
*[[微分方程式]]
*[[フーリエ変換]]
*[[ヘヴィサイドの階段関数]]（ステップ関数）
*[[ヘヴィサイドの展開定理]]
*[[ミクシンスキーの演算子法]]
*[[メリン変換]]
*[[ラプラス＝スティルチェス変換]]
*[[両側ラプラス変換]]
{{Div col end}}

== 外部リンク ==
*{{Kotobank|ラプラス変換|2=[[洲之内治男]]}}
*{{MathWorld|title=Laplace Transform|urlname=LaplaceTransform}}
{{DEFAULTSORT:らふらすへんかん}}
[[Category:関数解析学]]
[[Category:制御工学]]
[[Category:積分変換]]
[[Category:微分方程式]]
[[Category:数学に関する記事]]
[[Category:エポニム]]