応用数学 - ラプラス逆変換

📢 Webサイト閉鎖と移転のお知らせ

このWebサイトは2026年9月に閉鎖いたします。

移転先はhttps://mochiu.net/index.php?title=応用数学 - ラプラス逆変換です。

新しい記事は移転先で追加しております。（旧サイトでは記事を追加しておりません）

概要

ラプラス逆変換について理解する。
部分分数展開について理解する。

ラプラス逆変換の定義

定義:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s)}
 に対し、  ${\mathcal {L}}[f(t)]=F(s)$ となる  $f(t)$  が存在する時、
 $f(t)={\mathcal {L}}^{-1}[F(s)]$ 
と書き、これを  $F(s)$  のラプラス逆変換(inverse Laplace transform)という。

説明:
ラプラス変換は全単射ではないので、通常の関数の逆関数と同じようにラプラス逆変換を定義できるわけではない。

ラプラス逆変換の定義の考え方

$F(s)$ に対し、 ${\mathcal {L}}[f(t)]=F(s)$ となる $f(t)$ が存在する場合、それらは無数に存在して1つに決まらない。
そのような、 ${\mathcal {L}}[f(t)]=F(s)$ となる $f(t)$ を全部まとめて1グループにして、その中から代表を1つ選んで $f(t)={\mathcal {L}}^{-1}[F(s)]$ とする。
もし、グループの中に連続な関数が存在すれば、それを代表として選び、 $f(t)={\mathcal {L}}^{-1}[F(s)]$ と書くことにする。

$F(s)$ に対し、 ${\mathcal {L}}[f(t)]=F(s)$ となる $f(t)$ が無数に存在することは、以下の定理によって示される。
すなわち、高々有限個の不連続な点で異なる原関数たちは、同一の像関数(ラプラス変換結果)をもつ。

定理:
 $f(t)$  と  $g(t)$ は、 $t\geqq 0$  において区分的に連続な関数であるとする。
この時、 ${\mathcal {L}}[f(t)]={\mathcal {L}}[g(t)]$  ならば、 $f(t)$  と  $g(t)$  は不連続な点を除いて一致する。

このような不連続な点を除けば一致するような原関数の中に連続な関数があれば、それを代表させてラプラス逆変換の値として採用する。

$t\geqq 0$ において、下図の関数 $f(t)$ 、 $g(t)$ 、 $h(t)$ のラプラス変換の値は一致する。
${\mathcal {L}}[f(t)]={\mathcal {L}}[g(t)]={\mathcal {L}}[h(t)]=F(s)$

この中で $f(t)=1\quad (t\geqq 0)$ をラプラス逆変換の値として採用する。
${\mathcal {L}}^{-1}[F(s)]=f(t)$

ブロムウィチ積分

ラプラス逆変換を、ラプラス変換の定義式のような積分式として与えることも可能である。
そのような定義式は、ブロムウィチ積分(Bromwich integral)あるいは反転公式と呼ばれる。

ブロムウィチ積分は、フーリエの積分定理を使用することにより導くことができる。

ラプラス逆変換を行う場合、通常は変換公式を使用する。
そのため、ブロムウィチ積分の定義式を使用する必要はあまり生じない。

定理:
以下のブロムウィチ積分により、像関数  $F(s)$  から原関数  $f(t)$  を求めることができる。
 $f(t)={\frac {1}{2\pi i}}\int _{p-i\infty }^{p+i\infty }{e^{st}F(s)ds}$ 

ここで、 $s=p+i\alpha \quad (p,\,\alpha :{\mbox{ 実 数 }},\,\,i:{\mbox{ 虚 数 単 位 }})$  とする。

説明:
ここまでの話では変数sを実数として扱ってきた。
しかし、 $F(s)$  から  $f(t)$  を求めるブロムウィチ積分ではsは複素数である。

ブロムウィチ積分は、複素数平面上の虚軸に平行な直線に沿った区間  $p-i\infty$  から  $p+i\infty$  の無限積分となる。

ブロムウィチ積分:
 $f(t)={\frac {1}{2\pi i}}\int _{p-i\infty }^{p+i\infty }{e^{st}F(s)\,ds}$ 

 $\qquad s=p+i\alpha \quad (p,\,\alpha :{\mbox{ 実 数 }},\,\,i:{\mbox{ 虚 数 単 位 }})$

下図に、ブロムウィチ積分の積分経路を示す。

ブロムウィチ積分は、複素数平面から時間領域への写像である。

複素数平面を用いたブロムウィチ積分は、定義通りの積分経路では計算が難しくなる。
そのため、閉曲線となるように積分経路を変更して留数(residue)を計算する。

ブロムウィチ積分の値は、複素数平面上の全ての特異点の留数の総和となる。

ラプラス逆変換公式の活用

ラプラス逆変換は、ラプラス逆変換公式を使用して計算する。

ラプラス逆変換公式は、先のラプラス逆変換の定義やブロムウィチ積分を使用して基本的な関数に対してあらかじめ求められた値を公式として表したものである。

ラプラス変換とラプラス逆変換を使用した微分方程式の解法では、そのようなラプラス逆変換公式を活用する。
ラプラス逆変換公式とラプラス変換公式は本質的に同じものである。

ラプラス逆変換公式

下表のような原関数 $f(t)$ と像関数 $F(s)$ の対応関係を変換表として使用すれば、ラプラス逆変換を機械的に実行できる。

$f(t)$	$F(s)$	条件
$1$	${\frac {1}{s}}$	$s>0$
$t$	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s^2}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{t^{n - 1}}{(n - 1)!}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s^{n}}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n} は正整数
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{t^{p - 1}}{\Gamma(p)}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s^{p}}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p > 0}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle e^{at}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s - a}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > \alpha}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sin{at}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{a}{s^2 + a^2}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0, \quad a : \mbox{ 実定数　}}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cos{at}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{s}{s^2 + a^2}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0, \quad a : \mbox{ 実定数　}}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sinh{at}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{a}{s^2 - a^2}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0, \quad a : \mbox{ 実定数　}}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \cosh{at}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{s}{s^2 - a^2}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0, \quad a : \mbox{ 実定数　}}
単位階段関数構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(t - a)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{e^{-as}}{s}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 0, \quad a > 0}
デルタ関数構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \delta(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 1}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle - \infty < s < \infty}

法則
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s)}	条件
線形法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a f(t) + b g(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a F(s) + b F(s)}
相似法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{a} f \left( \frac{t}{a} \right)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(as)}
第1移動法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle e^{at} f(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s - a)}
第2移動法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(t - a) \, f(t - a)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle e^{- as} \, F(s)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a > 0}
微分法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{df(t)}{dt}} 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d^{2} f(t)}{dt^{2}}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle sF(s) - f(0)} 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s^{2} F(s) - sf(0) - \frac{df(0)}{ds}}
積分法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int^{t}_{0} {f(u) \, du}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{F(s)}{s}}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t^{n}} 積法則構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t^{n} f(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (-1)^{n} \, \frac{dF^{n} (s)}{ds}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n : \mbox{ 正整数 }}
合成積構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (f * g)(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s) \, G(s)}
$-tf(t)$	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dF(s)}{ds}}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (-1)^{n} \, t^{n} \, f(t)}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dF^{n} (s)}{ds^{n}}}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 1, 2, 3, \cdots}
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle erf(\sqrt{t})}	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s \sqrt{s + 1}}}

ラプラス逆変換公式は、ラプラス変換公式を基にして作成されている。
ラプラス逆変換公式とラプラス変換公式は本質的に同じものである。

ラプラス逆変換公式における逆変換の値は、なるべく構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t > 0} において連続な関数を選んである。 (構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t < 0} ではどんな値でもよい)

なお、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{s}} のラプラス逆変換は構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = 1} でも構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = U(t)} でもよい。