応用数学 - ラプラス変換

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

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

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

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

概要

ラプラス変換(Laplace transform)は、 $t\geq 0$ で定義された関数 $f(t)$ から無限積分を用いて、新しい関数 $F(s)$ を作り出す積分変換である。
ラプラス変換は、微分方程式を代数演算に帰着させて解くための方法を与える。

ラプラス変換を使用すると、ある種の微分方程式に関しては、ややこしい積分を使用せずに代数的に解くことが可能になる。

ラプラス変換の名前は、ラプラス(Pierre-SimonLaplace, 1749 - 1827)に因む。
ラプラスは微分方程式の解法としてラプラス変換を導入したわけではない。

「ラプラス変換を使用した微分方程式の解法」は、ヘビサイド(Oliver Heaviside, 1850 -1925)によるものである。
ヘビサイドは演算子を使用した微分方程式の解法を発見した。
この演算子の数学的基礎付けが他の数学者達によって行われ、ラプラス変換との関係が明らかにされた。

ラプラス変換の定義

定義:
 $f(t)$  を  $t\geq 0$  で定義された関数とする。
この時、以下のsの関数  $F(s)$  を  $f(t)$  のラプラス変換と言い、 $L[f(t)]$  または  $L[f]$ と書く。
 $F(s)=L[f(t)]$ 

 $F(s)=\int _{0}^{+\infty }f(t)\,e^{-st}dt$ 

 $f(t)$  を原関数(primitive function)、 $F(s)$  を像関数(image function)または  $f(t)$  のラプラス変換と呼ぶ。
 $F(s)$  のsは実数または複素数である。

$f(t)$ が $t>0$ で定義されていて、 $t=0$ では定義されていない場合でも、 $f(0)$ の値を適当に決めて $t\geq 0$ で定義されているとしてよい。

$f(t)$ から $F(s)$ に変換する式の説明
$f(t)$ に $e^{-st}$ を乗算して $f(t)\,e^{-st}$ を作る時、 $s$ は定数とみなしてよい。
次に、この関数を $0{\mbox{　〜　}}+\infty$ の範囲で積分する。(積分は変数tで行うので、sはまだ定数とみなしてよい)
無限積分は定積分なので、積分の結果、変数tは消える。(ここで定数と見なしていたsは残る)
これを、sの関数 $F(s)$ とする。

ラプラス変換の定義式の $F(s)$ は、右辺の無限積分が収束する場合のみ定義される。
右辺の無限積分はsの値によって収束する場合と収束しない場合が考えられる。

ラプラス変換は、変数tの関数の集合(原関数の集合)から、変数sの関数の集合(像関数の集合)への変換規則を表している。

ラプラス変換の定義に関する例題

ラプラス変換の定義に従って、関数  $f(t)=1$  のラプラス変換  $L[f]$  を求めよ。

 ${\begin{aligned}L[f]&=\int _{0}^{+\infty }{f(t)\,e^{-st}}dt\\&=\int _{0}^{+\infty }{e^{-st}}dt\end{aligned}}$

sの値により場合分けする。

 $s=0$  の時

 ${\begin{aligned}L[f]&=\int _{0}^{+\infty }{e^{-0{\dot {t}}}}dt=\int _{0}^{+\infty }dt\\&=\lim _{\beta \to +\infty }{\int _{0}^{\beta }}{dt}\\&=\lim _{\beta \to +\infty }{\Big [}t{\Big ]}_{0}^{\beta }\\&=\lim _{\beta \to +\infty }{\beta }\\&=+\infty \end{aligned}}$

 $s\neq 0$  の時

 ${\begin{aligned}L[f]&=\int _{0}^{+\infty }{e^{-st}}dt\\&=\lim _{\beta \to +\infty }{\int _{0}^{\beta }{e^{-st}}dt}\\&=\lim _{\beta \to +\infty }{\Big [}-{\frac {e^{-st}}{s}}{\Big ]}_{0}^{\beta }\\&=\lim _{\beta \to +\infty }{-{\frac {e^{-s\beta }-1}{s}}}\\&=\lim _{\beta \to +\infty }{\frac {1-e^{-s\beta }}{s}}\\&={\begin{cases}+\infty &(s<0{\mbox{ の と き }})\\{\frac {1}{s}}&(s>0{\mbox{ の と き }})\end{cases}}\end{aligned}}$

以上より、 $s>0$ の時のみ $L[f]$ は収束し、次式となる。
$L[1]={\frac {1}{s}}\qquad (s>0)$

ラプラス変換の存在条件

定理:
関数  $f(t)$  は  $t\geq 0$  において区分的に連続であるとする。
この時、 $f(t)$  に対し、以下を満たす定数Mとαが存在すれば、 $s>\alpha$  であるsについてラプラス変換  $L[f]$  が存在する。
 $|f(t)|\leq Me^{\alpha t}$ 

説明:
この定理の条件を満たす関数を指数α位の関数と言う。
 $f(t)$  が指数α位のとき、ラプラス変換の定義式は  $s>\alpha$  の範囲で収束して、ラプラス変換が存在する。

基本的な関数のラプラス変換公式

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

$f(t)$	$F(s)$	条件
$1$	${\frac {1}{s}}$	$s>0$
$t$	${\frac {1}{s^{2}}}$	$s>0$
$t^{n}$	${\frac {n!}{s^{n+1}}}$	$s>0,\quad n=0,1,2,\cdots$
$t^{\alpha }$	${\frac {\Gamma (\alpha +1)}{s^{\alpha +1}}}$	$\alpha >-1,\quad s>0$
$e^{at}$	${\frac {1}{s-a}}$	$s>\alpha$
$\sin {at}$	${\frac {a}{s^{2}+a^{2}}}$	$s>0,\quad a:{\mbox{ 実定数 }}$
$\cos {at}$	${\frac {s}{s^{2}-a^{2}}}$	$s>0,\quad a:{\mbox{ 実定数 }}$
単位階段関数 $U(t-a)$	${\frac {e^{-as}}{s}}$	$s>0,\quad a>0$
デルタ関数 $\delta (t)$	$1$	$-\infty <s<\infty$

法則
$f(t)$	$F(s)$	条件
線形法則 $\sinh(at)$	${\frac {a}{s^{2}-a^{2}}}$	$s>a\geq 0$
線形法則 $\cosh(at)$	${\frac {s}{s^{2}-a^{2}}}$	$s>a\geq 0$
相似法則 $f(at)$	${\frac {1}{a}}\,F\left({\frac {s}{a}}\right)$	$s>\alpha a$
第1移動法則 $e^{\lambda t}\sin(at)$	${\frac {a}{(s-\lambda )^{2}+a^{2}}}$	$s>\lambda$
第1移動法則 $e^{\lambda t}\cos(at)$	${\frac {s-\lambda }{(s-\lambda )^{2}+a^{2}}}$	$s>\lambda$
第2移動法則 $U(t-\lambda )\,f(t-\lambda )$	$e^{-\lambda s}\,F(s)$	構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > a}

※備考

\sinh(at)={\frac {e^{at}-e^{-at}}{2}}

\cosh(at)={\frac {e^{at}+e^{-at}}{2}}

ラプラス変換公式を使用した例題

ラプラス変換公式を使用して、以下の関数のラプラス変換を求めよ。

(1)  ${\mathcal {L}}[t^{2}]$ 
(2) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sqrt(t)]}

(3) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sin{\omega t}]}

(4) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\cos{\frac{t}{3}}]}

(5) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^{-t}]}

(1)の解答
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t^2] = \frac{2!}{s^{(2 + 1)}} = \frac{2}{s^3} \quad (s > 0)}
(2)の解答
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sqrt{t}] = \mathcal{L} \left[ t^{\frac{1}{2}} \right] = \frac{\Gamma(\frac{1}{2} + 1)}{s^{(1/2) + 1}} = \frac{1}{2} \frac{\Gamma(\frac{1}{2})}{s^{\frac{3}{2}}} = \frac{\sqrt{\pi}}{2s \sqrt{s}} \quad (s > 0)}

参考: 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Gamma \left ( \frac{1}{2} \right ) = \sqrt{\pi}, \quad \Gamma(\alpha + 1) = \alpha \Gamma(\alpha) \quad (\alpha > 0)}
(3)の解答
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sin{2t}] = \frac{2}{s^2 + 2^2} = \frac{2}{s^2 + 4} \quad (s > 0)}
(4)の解答
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \cos{\frac{t}{3}} \right] = \frac{s}{s^2 + \left( \frac{1}{3} \right)^2 } = \frac{s}{s^2 + \frac{1}{9}} = \frac{9s}{9 s^2 + 1} \quad (s > 0)}
(5)の解答
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^{-t}] = \frac{1}{s - (-1)} = \frac{1}{s + 1} \quad (s > -1)}

線形法則

定理:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)]}
 と 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[g(t)]}
 がそれぞれ 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > \alpha_1, \quad s > \alpha_2}
 において存在する時、
任意の定数 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a, \, b}
について以下が成立する。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[af(t) + bf(t)] = a \mathcal{L}[f(t)] + b \mathcal{L}[g(t)] \quad (s > max(\alpha_1, \, \alpha_2))}

例題:
線形法則とラプラス変換公式を使用して、以下のラプラス変換を求めよ。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[3 e^{-t} + 2 e^{2t}]}


解答:
線形法則より以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[3 e^{-t} + 2 e^{2t}] = 3 \mathcal{L}[e^{-t}] + 2 \mathcal{L}[e^{2t}]}


したがって、変換公式を使用すると以下が求められる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mbox{ 与 式 } &= 3 \mathcal{L}[e^{-t}] + 2 \mathcal{L}[e^{2t}] \\  &= 3 \frac{1}{s + 1} + 2 \frac{1}{s - 2} \\  &= \frac{3}{s + 1} + \frac{2}{s - 2}  \end{align}  }


sの範囲は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > -1}
 かつ 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 2}
 より、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 2}
 となる。

相似法則

定理:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = F(s) (s > \alpha)}
 の時、正の定数aについて以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(at)] = \frac{1}{a} F \left( \frac{s}{a} \right) \quad (s > \alpha a)}


説明:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t)}
 の変数tをa倍した 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(at)}
 に対応するラプラス変換は、 構文解析に失敗 (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 \frac{1}{a}}
 倍して、さらにそれを 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{a}}
 倍したものになる。

例題:
相似法則とラプラス変換の公式 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^t] = \frac{1}{s - 1} \quad (s > 1)}
 を使用して、以下の値を求めよ。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^{\frac{t}{2}}]}


解答:
この問題は、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s) = \frac{1}{s - 1}, \, a = \frac{1}{2}}
 の場合である。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mathcal{L}[e^{\frac{t}{2}}] &= \frac{1}{\frac{1}{2}} F \left( \frac{s}{\frac{1}{2}} \right) \\  &= 2 \frac{1}{\frac{s}{\frac{1}{2}} - 1} \\  &= \frac{2}{2s - 1}  \end{align}  }


sの範囲は、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{s}{\frac{1}{2}} > 1}
 より、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > \frac{1}{2}}
 となる。

第1移動法則

定理:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = F(s) (s > a)}
 の時、以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^{\lambda t} f(t)] = F(s - \lambda) \quad (s > a + \lambda)}


説明:
構文解析に失敗 (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 e^{\lambda t}}
 を乗算するということは、 構文解析に失敗 (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 \lambda}
 だけ平行移動することに対応する。

例題:
第1移動法則およびラプラス変換の公式  ${\mathcal {L}}[t]={\frac {1}{s^{2}}}$  を使用して、以下の値を求めよ。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t e^{3t}]}


解答:
第1移動法則において、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = t, \quad \lambda = 3}
 とする。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t] = \frac{1}{s^2}}
 より、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t e^{3t}] = \mathcal{L}[e^{3t} \, t] = \frac{1}{(s - 3)^{2}}}


ここで、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s - 3 > 0}
 より、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s > 3}

第2移動法則

定理:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = F(s) \quad (s > a)}
 の時、正の定数 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda}
 について以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[U(t - \lambda) \, f(t - \lambda)] = e^{- \lambda s} \, F(s) \quad (s > a)}


説明:
構文解析に失敗 (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 \lambda}
 だけ平行移動させることは、ラプラス変換した側では 構文解析に失敗 (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 e^{- \lambda s}}
 を乗算することに対応する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(t - \lambda) \, f(t - \lambda)}
 のグラフは、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge \lambda}
 の時は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t - \lambda)}
 、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t < \lambda}
 の時は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0}
 となる。

例題:
第2移動法則を用いて以下の値を求めよ。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[U(t - 2)(t - 2)^2]}


解答:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(t - 2)(t - 2)^2}
 は第2移動法則において、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda = 2, \quad f(t) = t^{2}}
 の場合に対応する。
第2移動法則およびラプラス変換の公式 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t^{n}] = \frac{n!}{s^{n +  1}} \quad (s > 0)}
 を使用して計算する。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mathcal{L}[U(t - 2)(t - 2)^2] &= e^{-2s} \mathcal{L}[t^{2}] \\  &= e^{-2s} \, \frac{2!}{s^{2 + 1}} \qquad ( \mbox{ 第 2 移 動 法 則 } )\\  &= \frac{2}{s^{3}} e^{-2s} \qquad (s > 0) \qquad ( \mbox{ 変 換 公 式 } )  \end{align}  }

微分法則

定理1:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(x)}
 は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge 0}
 で定義された連続な関数で、以下を満たす定数Mとαが存在し、微分可能であるとする。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle |f(t)| \le M e^{\alpha t}}


この時、構文解析に失敗 (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 s > \alpha}
 の時 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \frac{df(t)}{dt} \right]}
 が存在し、以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \frac{df(t)}{dt} \right] = s \mathcal{L}[f(t)] - f(0) \qquad (s > \alpha)}


定理1の説明:
構文解析に失敗 (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(t)}
 のラプラス変換 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(s)}
 をs倍して 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(0)}
 を減算することに対応する。
原関数を微分することは、像関数をs倍した後、定数 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(0)}
 を減算することに対応する。

定理2:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge 0}
 において、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t), \, \frac{df(t)}{dt}, \, \cdots , \, \frac{d^{(n - 1)} f(t)}{dt^{(n - 1)}}}
 は連続な関数で、以下を満たす定数Mとαが存在すると仮定する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle |f^{(i)} (t)| \le M e^{\alpha t} \qquad (i = 0, 1, 2, \cdots, n - 1)}


この時、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge 0}
 において 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d^{n} f(t)}{dt^{n}}}
 が区分的に連続であれば、 構文解析に失敗 (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 \mathcal{L} \left[ \frac{d^{n} f(t)}{dt^{n}} \right]}
 が存在し、以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f^{(n)} (t)] = s^{n} \mathcal{L}[f(t)] - s^{n - 1} f(0) - \cdots - s \frac{d^{(n - 2)} f(0)}{dt^{(n - 2)}} - \frac{d^{(n - 1)} f(0)}{dt^{(n - 1)}} \qquad (s > \alpha)}


定理2の説明:
原関数の世界で微分することは、像関数の世界では「sの多項式を作る」ことに対応する。
この定理の式はラプラス変換を使用して微分方程式を解く際に重要な役割を果たす。

微分方程式を解く際に必要となる公式:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t), \frac{df(t)}{dt}, s}
 が上記の定理の条件を満たしているとする。
この時、以下が成立する。
(1) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \frac{df(t)}{dt} \right] = s \mathcal{L}[f(t)] - f(0)}

(2) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \frac{d^2 f(t)}{dt^{2}} \right] = s^{2} \mathcal{L}[f(t)] - s f(0) - \frac{df(0)}{dt}}

例題:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = t e^{t}}
 について以下を求めよ。
(1) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{df(t)}{dt}}

(2) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(0)}

(3) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)]}
 (微分法則を使用する)

解答:
(1)
積の微分公式より、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{df(t)}{dt} = e^{t} + t e^{t}}


(2)
構文解析に失敗 (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 f(0) = 0 \times e^{0} = 0}


(3)
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 1}
 の微分法則により、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \frac{df(t)}{dt} \right] = s \mathcal{L}[f(t)] - f(0)}

これに、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t), \, \frac{df(t)}{dt}, \, f(0)}
 を代入する。

すると、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[e^{t} + t e^{t}] = s \mathcal{L}[t e^{t}] - 0}
 となる。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mathcal{L}[e^{t} + t e^{t}] &= s \mathcal{L}[t e^{t}] - 0 \\  \iff \mathcal{L}[e^{t}] + L[t e^{t}] &= s \mathcal{L}[t e^{t}] \qquad \mbox{ 線 形 性 よ り } \\  \iff (s - 1) \mathcal{L}[t e^{t}] &= \mathcal{L}[e^{t}] \\  \iff (s - 1) \mathcal{L}[t e^{t}] &= \frac{1}{s - 1} \qquad (s > 1) \\  \iff \mathcal{L}[t e^{t}] &= \frac{1}{(s - 1)^{2}} \qquad (s > 1)  \end{align}  }

積分法則

定理:
構文解析に失敗 (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 t \ge 0}
 において区分的に連続であり、ある定数M, αに対して、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle |f(t)| \le M e^{\alpha t}}
 が成立すると仮定する。
この時、以下が成立する。
 ${\mathcal {L}}\left[\int _{0}^{t}{f(u)du}\right]={\frac {1}{s}}{\mathcal {L}}[f(t)]\qquad (s>max(0,\,\alpha ))$ 

説明:
原関数を積分することは、像関数をsで除算することに対応する。

参考:
原関数の微分は、像関数をs倍すること(その後に定数を減算すること)に対応する。

例題:
積分法則を使用して以下の値を求めよ。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L} \left[ \int_{0}^{t} {\sin(3u) du} \right]}


解答:
積分法則より、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mathcal{L} \left[ \int_{0}^{t} {\sin(3u) du} \right] &= \frac{1}{s} \mathcal{L}[\sin(3t)] \\  &= \frac{1}{s} \frac{3}{s^{2} + 3^{2}} \\  &= \frac{3}{s (s^{2} + 9)} \qquad (s > 0)  \end{align}  }


参考:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sin(at)] = \frac{a}{s^{2} + a^{2}} \qquad (s > 0)}

tⁿ積法則

定理:
構文解析に失敗 (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 t \ge 0}
 において区分的に連続で指数α位の関数とする。
この時、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t^{n} f(t)] (n = 1, \, 2, \, \cdots)}
 が存在し、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = F(s)}
 とおくとき、以下が成立する。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t^{n} f(t)] = (-1)^{n} \frac{d^{n} F(s)}{ds^{n}} \qquad (s > \alpha, \, n = 1, \, 2, \, 3, \, \cdots)}


説明:
原関数の世界で「関数を 構文解析に失敗 (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 n}
 回微分して 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (-1)^{n}}
 倍する」ことに対応する。

構文解析に失敗 (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 f(t)}
 は、先の定理の仮定を満たしているとする。
この時、以下が成立する。
(1) 構文解析に失敗 (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 \mathcal{L}[t^{n} f(t)] = (-1)^{n} \frac{d^{n} F(s)}{ds^{n}}}


(2) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 1}
 の場合:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t f(t)] = - \frac{dF(s)}{ds}}


(3) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 2}
 の場合:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t^{2} f(t)] = \frac{d^{2} F(s)}{ds^{2}}}

例題:
構文解析に失敗 (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 \mathcal{L}[t e^{2t}]}


解答:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = e^{2t}}
 とおくと、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = L[e^{2t}] = \frac{1}{s - 2} = (s - 2)^{-1} \qquad (s > 2)}


構文解析に失敗 (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 n = 1}
 の場合を適用すると以下が得られる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t e^{2t}] = - \frac{dF(s)}{ds} = - \frac{d}{ds} \, (s - 2)^{-1}}


ここで、合成関数の微分公式を使用して、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mbox{ 与 式 } &= - (-1) (s - 2)^{-2} \\  &= \frac{1}{(s - 2)^{2}} \qquad (s > 2)  \end{align}  }

合成積

定義:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t), \, g(t)}
 は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge 0}
 において区分的に連続であるとする。
この時、以下の関数 構文解析に失敗 (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(t)}
 と 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g(t)}
 の合成積(convolution)あるいは畳み込みという。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (f*g)(t) = \int_{0}^{t} {f(\tau)g(t - \tau)} d \tau}

合成積の性質
合成積は、以下の法則を満たす。
(1) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (f*g) = (g*f)}
 (交換法則)
(2) 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (f*g)*h = f*(g*h)}
 (結合法則)

合成積構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (f*g)(t) = \int_{0}^{t} {f(\tau)g(t - \tau)} d \tau} の直観的意味
時刻構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t} のとき、耳に到達する音の波形を構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle h(t)} とする。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle h(t)} は、その時より構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tau} だけ前の時刻に出た音の波形構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g(t - \tau)} を $f(\tau )$ だけ増幅(あるいは減少)させた波形構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(\tau)g(t - \tau)} の影響を受ける。

時刻構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t} においては、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tau} が構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0} から構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t} までの全ての影響を受けるので、それらを全部重ねあわせた波形構文解析に失敗 (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 h(t) = (f*g)(t)} となる。

定理:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t), \, g(t)}
 は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t \ge 0}
 で区分的に連続な関数であり、かつ指数α位の関数とする。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] = F(s), \, \mathcal{L}[g(t)] = G(s)}
 とする時、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[(f*g)(t)]}
 が存在し、以下が成立する。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[(f*g)(t)] = F(s)G(s) \qquad (s > \alpha)}


注意:
構文解析に失敗 (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 g(t)}
 の(合成積ではない普通の)積のラプラス変換 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t) \cdot g(t)]}
 については、一般に 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t) \cdot g(t)]}
 と 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t)] \cdot \mathcal{L}[g(t)]}
 は一致しない。
すなわち、 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[f(t) \cdot g(t)] \ne F(s)G(s)}

例題:
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t) = t, \, g(t) = \sin(t)}
 について、合成積のラプラス変換公式を使用して 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[(f*g)(t)]}
 を求めよ。

解答:
ラプラス変換の基本公式より、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[t] = \frac{1}{s^{2}} \qquad (s > 0)}

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}[\sin(t)] = \frac{1}{s^{2} + 1} \qquad (s > 0)}


合成積のラプラス変換公式より、
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}  \mathcal{L}[(f*g)(t)] &= \mathcal{L}[f(t)] \, \mathcal{L}[g(t)] \\  &= \mathcal{L}[t] \, \mathcal{L}[\sin(t)] \\  &= \frac{1}{s^{2}} \, \frac{1}{s^{2} + 1} \qquad (s > 0) \\  &= \frac{1}{s^{2} (s^{2} + 1)} \qquad (s > 0)  \end{align}  }

ラプラス変換による微分方程式の解法

ラプラス変換の応用

ラプラス変換は、微分方程式を解くために用いられる。
また、システムの安定性や過渡解の解析に用いられる。

主な応用分野

古典的自動制御: 伝達関数を求めるための計算手法。
電気回路: 過渡現象を表す微分方程式の解法。

他の積分変換との比較

フーリエ変換

フーリエ変換(Fourier transform)とラプラス変換では積分範囲と係数部分が異なる。
また、ラプラス変換の変数sに対応する変数が構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle i \omega} (i: 虚数単位)になる。

フーリエ変換は、ラプラス変換とは異なり、周波数分析に使用される。

フーリエ変換は、スイッチをON/OFFした後、時間が十分経過した後の電圧・電流の波形の分析に使用される。
ラプラス変換は、過渡状態の電圧・電流の分析に使用される。(過渡状態とは、スイッチをON/OFFした直後の状態である)

Z変換

Z変換(Z-transform)は、両側ラプラス変換を離散化したものである。
Z変換は、デジタル信号処理で用いられる。

変換を離散化することによりコンピュータで効率よく扱うことができるようになる。

離散フーリエ変換

離散フーリエ変換(DFT: Discrete Fouriertransform)は、フーリエ変換を離散化したものである。
離散フーリエ変換を高速に計算するためのアルゴリズムとして高速フーリエ変換(FFT: Fast Fouriertransform)がある。
これらの技術はデジタル信号処理で使用される。