「応用数学 - ラプラス変換」の版間の差分
| (同じ利用者による、間の26版が非表示) | |||
| 14行目: | 14行目: | ||
== ラプラス変換の定義 == | == ラプラス変換の定義 == | ||
定義: | |||
<math>f(t)</math> を <math>t \ge 0</math> で定義された関数とする。<br> | |||
この時、以下のsの関数 <math>F(s)</math> を <math>f(t)</math> のラプラス変換と言い、<math>\mathcal{L}[f(t)]</math> または <math>L[f]</math>と書く。<br> | |||
<math>F(s) = L[f(t)]</math> | <br> | ||
<math>F(s) = \mathcal{L}[f(t)]</math> | |||
<math>F(s) = \int_{0}^{+ \infty} f(t) \, e^{-st} dt</math> | <math>F(s) = \int_{0}^{+ \infty} f(t) \, e^{-st} dt</math> | ||
| 28行目: | 29行目: | ||
<math>f(t)</math> から <math>F(s)</math> に変換する式の説明<br> | <math>f(t)</math> から <math>F(s)</math> に変換する式の説明<br> | ||
<math>f(t)</math> に <math>e^{-st}</math> を乗算して <math>f(t) \, e^{-st}</math> を作る時、<math>s</math> は定数とみなしてよい。<br> | <math>f(t)</math> に <math>e^{-st}</math> を乗算して <math>f(t) \, e^{-st}</math> を作る時、<math>s</math> は定数とみなしてよい。<br> | ||
次に、この関数を <math>0 \ | 次に、この関数を <math>0 \sim +\infty</math> の範囲で積分する。(積分は変数tで行うので、sはまだ定数とみなしてよい)<br> | ||
無限積分は定積分なので、積分の結果、変数tは消える。(ここで定数と見なしていたsは残る)<br> | 無限積分は定積分なので、積分の結果、変数tは消える。(ここで定数と見なしていたsは残る)<br> | ||
これを、sの関数 <math>F(s)</math> とする。<br> | これを、sの関数 <math>F(s)</math> とする。<br> | ||
| 39行目: | 40行目: | ||
== ラプラス変換の定義に関する例題 == | == ラプラス変換の定義に関する例題 == | ||
ラプラス変換の定義に従って、関数 <math>f(t) = 1</math> のラプラス変換 <math>L[f]</math> を求めよ。 | ラプラス変換の定義に従って、関数 <math>f(t) = 1</math> のラプラス変換 <math>\mathcal{L}[f]</math> を求めよ。 | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
L[f] &= \int_{0}^{+ \infty} {f(t) \, e^{-st}} dt \\ | \mathcal{L}[f] &= \int_{0}^{+ \infty} {f(t) \, e^{-st}} dt \\ | ||
&= \int_{0}^{+ \infty} {e^{-st}} dt | &= \int_{0}^{+ \infty} {e^{-st}} dt | ||
\end{align} | \end{align} | ||
| 54行目: | 55行目: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
L[f] &= \int_{0}^{+ \infty} {e^{-0 \dot t}} dt = \int_{0}^{+ \infty} dt \\ | \mathcal{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} {\int_{0}^{\beta}} {dt} \\ | ||
&= \lim_{\beta \to + \infty} \Big[ t \Big]_{0}^{\beta} \\ | &= \lim_{\beta \to + \infty} \Big[ t \Big]_{0}^{\beta} \\ | ||
| 66行目: | 68行目: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
L[f] &= \int_{0}^{+ \infty} {e^{-st}} dt \\ | \mathcal{L}[f] &= \int_{0}^{+ \infty} {e^{-st}} dt \\ | ||
&= \lim_{\beta \to + \infty} {\int_{0}^{\beta} {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} \Big[ - \frac{e^{-st}}{s} \Big]_{0}^{\beta} \\ | ||
| 80行目: | 82行目: | ||
<br> | <br> | ||
以上より、<math>s > 0</math> の時のみ <math>L[f]</math> は収束し、次式となる。<br> | 以上より、<math>s > 0</math> の時のみ <math>L[f]</math> は収束し、次式となる。<br> | ||
<math>L[1] = \frac{1}{s} \qquad (s > 0)</math | <br> | ||
<math>\mathcal{L}[1] = \frac{1}{s} \qquad (s > 0)</math> | |||
<br><br> | <br><br> | ||
| 98行目: | 101行目: | ||
<br> | <br> | ||
<center> | <center> | ||
{| class="wikitable" | style=" | {| class="wikitable" | style="text-align: center;" | ||
|+ 基本的な変換表 | |||
|- | |- | ||
! style=" | ! style="width:30%" | <math>f(t)</math> | ||
! style=" | ! style="width:30%" | <math>F(s)</math> | ||
! style=" | ! style="width:40%" | 条件 | ||
|- | |- | ||
| <math>1</math> || <math>\frac{1}{s}</math> || <math>s > 0</math> | | <math>1</math> || <math>\frac{1}{s}</math> || <math>s > 0</math> | ||
| 114行目: | 118行目: | ||
| <math>e^{at}</math> || <math>\frac{1}{s - a}</math> || <math>s > \alpha</math> | | <math>e^{at}</math> || <math>\frac{1}{s - a}</math> || <math>s > \alpha</math> | ||
|- | |- | ||
| <math>\sin{at}</math> || <math>\frac{a}{s^2 + a^2}</math> || <math>s > 0, \quad a : \mbox{ | | <math>\sin{at}</math> || <math>\frac{a}{s^2 + a^2}</math> || <math>s > 0, \quad a : \mbox{実定数}</math> | ||
|- | |- | ||
| <math>\cos{at}</math> || <math>\frac{s}{s^2 - a^2}</math> || <math>s > 0, \quad a : \mbox{ | | <math>\cos{at}</math> || <math>\frac{s}{s^2 - a^2}</math> || <math>s > 0, \quad a : \mbox{実定数}</math> | ||
|- | |- | ||
| 単位階段関数 <math>U(t - a)</math> || <math>\frac{e^{-as}}{s}</math> || <math>s > 0, \quad a > 0</math> | | 単位階段関数 <math>U(t - a)</math> || <math>\frac{e^{-as}}{s}</math> || <math>s > 0, \quad a > 0</math> | ||
| 125行目: | 129行目: | ||
<br> | <br> | ||
<center> | <center> | ||
{| class="wikitable" | style=" | {| class="wikitable" | style="text-align: center;" | ||
|+ 法則 | |+ 法則 | ||
|- | |- | ||
! style=" | ! style="width:30%" | <math>f(t)</math> | ||
! style=" | ! style="width:30%" | <math>F(s)</math> | ||
! style=" | ! style="width:40%" | 条件 | ||
|- | |- | ||
| 線形法則<br><math>\sinh | | 線形法則<br><math>\sinh{at}</math> || <math>\frac{a}{s^{2} - a^{2}}</math> || <math>s > a \ge 0</math> | ||
|- | |- | ||
| 線形法則<br><math>\cosh | | 線形法則<br><math>\cosh{at}</math> || <math>\frac{s}{s^{2} - a^{2}}</math> || <math>s > a \ge 0</math> | ||
|- | |- | ||
| 相似法則<br><math>f(at)</math> || <math>\frac{1}{a} \, F \left( \frac{s}{a} \right)</math> || <math>s > \alpha a</math> | | 相似法則<br><math>f(at)</math> || <math>\frac{1}{a} \, F \left( \frac{s}{a} \right)</math> || <math>s > \alpha a</math> | ||
|- | |- | ||
| 第1移動法則<br><math>e^{\lambda t} \sin | | 第1移動法則<br><math>e^{\lambda t} \sin{at}</math> || <math>\frac{a}{(s - \lambda)^{2} + a^{2}}</math> || <math>s > \lambda</math> | ||
|- | |- | ||
| 第1移動法則<br><math>e^{\lambda t} \cos | | 第1移動法則<br><math>e^{\lambda t} \cos{at}</math> || <math>\frac{s - \lambda}{(s - \lambda)^{2} + a^{2}}</math> || <math>s > \lambda</math> | ||
|- | |- | ||
| 第2移動法則<br><math>U(t - \lambda) \, f(t - \lambda)</math> || <math>e^{- \lambda s} \, F(s)</math> || <math>s > a</math> | | 第2移動法則<br><math>U(t - \lambda) \, f(t - \lambda)</math> || <math>e^{- \lambda s} \, F(s)</math> || <math>s > a</math> | ||
| 146行目: | 150行目: | ||
<br> | <br> | ||
: ※備考 | : ※備考 | ||
:: <math>\sinh | :: <math>\sinh{at} = \frac{e^{at} - e^{-at}}{2}</math><br> | ||
:: <math>\cosh | :: <math>\cosh{at} = \frac{e^{at} + e^{-at}}{2}</math><br> | ||
</center> | </center> | ||
<br><br> | <br><br> | ||
| 155行目: | 159行目: | ||
(1) <math>\mathcal{L}[t^2]</math> | (1) <math>\mathcal{L}[t^2]</math> | ||
(2) <math>\mathcal{L}[\sqrt | (2) <math>\mathcal{L}[\sqrt{t}]</math> | ||
(3) <math>\mathcal{L}[\sin{\omega t}]</math> | (3) <math>\mathcal{L}[\sin{\omega t}]</math> | ||
(4) <math>\mathcal{L}[\cos{\frac{t}{3}}]</math> | (4) <math>\mathcal{L}[\cos{\frac{t}{3}}]</math> | ||
| 161行目: | 165行目: | ||
<br> | <br> | ||
* (1)の解答 | * (1)の解答 | ||
*: <math>\mathcal{L}[t^2] = \frac{2!}{s^(2 + 1)} = \frac{2}{s^3} \quad (s > 0)</math> | *: <math>\mathcal{L}[t^2] = \frac{2!}{s^{(2 + 1)}} = \frac{2}{s^3} \quad (s > 0)</math> | ||
* (2)の解答 | * (2)の解答 | ||
*: <math>\mathcal{L}[\sqrt{t}] = \mathcal{L} \left[ t^{\frac{1}{2}} \right] = \frac{\Gamma(\frac{1}{2} + 1)}{s^{ | *: <math>\mathcal{L}[\sqrt{t}] = \mathcal{L} \left[ t^{\frac{1}{2}} \right] = \frac{\Gamma \left(\frac{1}{2} + 1 \right)}{s^{\frac{1}{2} + 1}} = \frac{1}{2} \frac{\Gamma \left( \frac{1}{2} \right)}{s^{\frac{3}{2}}} = \frac{\sqrt{\pi}}{2s \sqrt{s}} \quad (s > 0)</math> | ||
*: 参考: <math>\Gamma \left ( \frac{1}{2} \right ) = \sqrt{\pi}, \quad \Gamma(\alpha + 1) = \alpha \Gamma(\alpha) \quad (\alpha > 0)</math> | *: 参考: <math>\Gamma \left( \frac{1}{2} \right) = \sqrt{\pi}, \quad \Gamma(\alpha + 1) = \alpha \Gamma(\alpha) \quad (\alpha > 0)</math> | ||
* (3)の解答 | * (3)の解答 | ||
*: <math>\mathcal{L}[\sin{2t}] = \frac{2}{s^2 + 2^2} = \frac{2}{s^2 + 4} \quad (s > 0)</math> | *: <math>\mathcal{L}[\sin{2t}] = \frac{2}{s^2 + 2^2} = \frac{2}{s^2 + 4} \quad (s > 0)</math> | ||
| 265行目: | 269行目: | ||
\begin{align} | \begin{align} | ||
\mathcal{L}[U(t - 2)(t - 2)^2] &= e^{-2s} \mathcal{L}[t^{2}] \\ | \mathcal{L}[U(t - 2)(t - 2)^2] &= e^{-2s} \mathcal{L}[t^{2}] \\ | ||
&= e^{-2s} \, \frac{2!}{s^{2 + 1}} \qquad ( \mbox{ | &= e^{-2s} \, \frac{2!}{s^{2 + 1}} \qquad ( \mbox{第2移動法則} )\\ | ||
&= \frac{2}{s^{3}} e^{-2s} \qquad (s > 0) \qquad ( \mbox{ | &= \frac{2}{s^{3}} e^{-2s} \qquad (s > 0) \qquad ( \mbox{変換公式} ) | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
2026年6月3日 (水) 16:09時点における最新版
概要
ラプラス変換(Laplace transform)は、 で定義された関数 から無限積分を用いて、新しい関数 を作り出す積分変換である。
ラプラス変換は、微分方程式を代数演算に帰着させて解くための方法を与える。
ラプラス変換を使用すると、ある種の微分方程式に関しては、ややこしい積分を使用せずに代数的に解くことが可能になる。
ラプラス変換の名前は、ラプラス(Pierre-SimonLaplace, 1749 - 1827)に因む。
ラプラスは微分方程式の解法としてラプラス変換を導入したわけではない。
「ラプラス変換を使用した微分方程式の解法」は、ヘビサイド(Oliver Heaviside, 1850 -1925)によるものである。
ヘビサイドは演算子を使用した微分方程式の解法を発見した。
この演算子の数学的基礎付けが他の数学者達によって行われ、ラプラス変換との関係が明らかにされた。
ラプラス変換の定義
定義:
を で定義された関数とする。
この時、以下のsの関数 を のラプラス変換と言い、 または と書く。
を原関数(primitive function)、 を像関数(image function)または のラプラス変換と呼ぶ。 のsは実数または複素数である。
が で定義されていて、 では定義されていない場合でも、の値を適当に決めて で定義されているとしてよい。
から に変換する式の説明
に を乗算して を作る時、 は定数とみなしてよい。
次に、この関数を の範囲で積分する。(積分は変数tで行うので、sはまだ定数とみなしてよい)
無限積分は定積分なので、積分の結果、変数tは消える。(ここで定数と見なしていたsは残る)
これを、sの関数 とする。
ラプラス変換の定義式の は、右辺の無限積分が収束する場合のみ定義される。
右辺の無限積分はsの値によって収束する場合と収束しない場合が考えられる。
ラプラス変換は、変数tの関数の集合(原関数の集合)から、変数sの関数の集合(像関数の集合)への変換規則を表している。
ラプラス変換の定義に関する例題
ラプラス変換の定義に従って、関数 のラプラス変換 を求めよ。
sの値により場合分けする。
の時
の時
以上より、 の時のみ は収束し、次式となる。
ラプラス変換の存在条件
定理: 関数 は において区分的に連続であるとする。 この時、 に対し、以下を満たす定数Mとαが存在すれば、 であるsについてラプラス変換 が存在する。 説明: この定理の条件を満たす関数を指数α位の関数と言う。 が指数α位のとき、ラプラス変換の定義式は の範囲で収束して、ラプラス変換が存在する。
基本的な関数のラプラス変換公式
下表のような原関数 と像関数 の対応関係を変換表として使用すれば、ラプラス変換を機械的に実行できる。
| 条件 | ||
|---|---|---|
| 単位階段関数 | ||
| デルタ関数 |
| 条件 | ||
|---|---|---|
| 線形法則 |
||
| 線形法則 |
||
| 相似法則 |
||
| 第1移動法則 |
||
| 第1移動法則 |
||
| 第2移動法則 |
- ※備考
ラプラス変換公式を使用した例題
ラプラス変換公式を使用して、以下の関数のラプラス変換を求めよ。 (1) (2) (3) (4) (5)
- (1)の解答
- (2)の解答
- 参考:
- (3)の解答
- (4)の解答
- (5)の解答
線形法則
定理: と がそれぞれ において存在する時、 任意の定数 について以下が成立する。
例題: 線形法則とラプラス変換公式を使用して、以下のラプラス変換を求めよ。 解答: 線形法則より以下が成立する。 したがって、変換公式を使用すると以下が求められる。 sの範囲は かつ より、 となる。
相似法則
定理: の時、正の定数aについて以下が成立する。 説明: の変数tをa倍した に対応するラプラス変換は、 のラプラス変換 の変数を 倍して、さらにそれを 倍したものになる。 例題: 相似法則とラプラス変換の公式 を使用して、以下の値を求めよ。 解答: この問題は、 の場合である。 sの範囲は、 より、 となる。
第1移動法則
定理: の時、以下が成立する。 説明: に指数関数 を乗算するということは、 のラプラス変換 を だけ平行移動することに対応する。 例題: 第1移動法則およびラプラス変換の公式 を使用して、以下の値を求めよ。 解答: 第1移動法則において、 とする。 より、 ここで、 より、
第2移動法則
定理: の時、正の定数 について以下が成立する。 説明: を だけ平行移動させることは、ラプラス変換した側では に指数関数 を乗算することに対応する。 のグラフは、 の時は 、 の時は となる。
例題: 第2移動法則を用いて以下の値を求めよ。 解答: は第2移動法則において、 の場合に対応する。 第2移動法則およびラプラス変換の公式 を使用して計算する。
微分法則
定理1: は で定義された連続な関数で、以下を満たす定数Mとαが存在し、微分可能であるとする。 この時、 が区分的に連続であれば、 の時 が存在し、以下が成立する。 定理1の説明: を微分することは、 のラプラス変換 をs倍して を減算することに対応する。 原関数を微分することは、像関数をs倍した後、定数 を減算することに対応する。
定理2: において、 は連続な関数で、以下を満たす定数Mとαが存在すると仮定する。 この時、 において が区分的に連続であれば、 の時、 が存在し、以下が成立する。 定理2の説明: 原関数の世界で微分することは、像関数の世界では「sの多項式を作る」ことに対応する。 この定理の式はラプラス変換を使用して微分方程式を解く際に重要な役割を果たす。
微分方程式を解く際に必要となる公式: が上記の定理の条件を満たしているとする。 この時、以下が成立する。 (1) (2)
例題: について以下を求めよ。 (1) (2) (3) (微分法則を使用する) 解答: (1) 積の微分公式より、 (2) の時、 (3) の微分法則により、 これに、 を代入する。 すると、 となる。
積分法則
定理: は において区分的に連続であり、ある定数M, αに対して、 が成立すると仮定する。 この時、以下が成立する。 説明: 原関数を積分することは、像関数をsで除算することに対応する。 参考: 原関数の微分は、像関数をs倍すること(その後に定数を減算すること)に対応する。
例題: 積分法則を使用して以下の値を求めよ。 解答: 積分法則より、 参考:
tn積法則
定理: は、 において区分的に連続で指数α位の関数とする。 この時、 が存在し、 とおくとき、以下が成立する。 説明: 原関数の世界で「関数を 倍する」ことは、像関数の世界では「関数を 回微分して 倍する」ことに対応する。 積法則の具体例: は、先の定理の仮定を満たしているとする。 この時、以下が成立する。 (1) の場合: (2) の場合: (3) の場合:
例題: 積法則を使用して以下の値を求めよ。 解答: とおくと、 積法則の の場合を適用すると以下が得られる。 ここで、合成関数の微分公式を使用して、
合成積
定義: は において区分的に連続であるとする。 この時、以下の関数 を と の合成積(convolution)あるいは畳み込みという。
合成積の性質 合成積は、以下の法則を満たす。 (1) (交換法則) (2) (結合法則)
- 合成積 の直観的意味
- 時刻 のとき、耳に到達する音の波形を とする。
- は、その時より だけ前の時刻に出た音の波形 を だけ増幅(あるいは減少)させた波形 の影響を受ける。
- 時刻 においては、 が から までの全ての影響を受けるので、それらを全部重ねあわせた波形 が耳に到達する。
- したがって、耳に到達する音の波形は、 となる。
定理: は で区分的に連続な関数であり、かつ指数α位の関数とする。 とする時、 が存在し、以下が成立する。 注意: と の(合成積ではない普通の)積のラプラス変換 については、一般に と は一致しない。 すなわち、
例題: について、合成積のラプラス変換公式を使用して を求めよ。 解答: ラプラス変換の基本公式より、 合成積のラプラス変換公式より、
ラプラス変換による微分方程式の解法

ラプラス変換の応用
ラプラス変換は、微分方程式を解くために用いられる。
また、システムの安定性や過渡解の解析に用いられる。
主な応用分野
- 古典的自動制御: 伝達関数を求めるための計算手法。
- 電気回路: 過渡現象を表す微分方程式の解法。
他の積分変換との比較

フーリエ変換
フーリエ変換(Fourier transform)とラプラス変換では積分範囲と係数部分が異なる。
また、ラプラス変換の変数sに対応する変数が (i: 虚数単位)になる。
フーリエ変換は、ラプラス変換とは異なり、周波数分析に使用される。
フーリエ変換は、スイッチをON/OFFした後、時間が十分経過した後の電圧・電流の波形の分析に使用される。
ラプラス変換は、過渡状態の電圧・電流の分析に使用される。(過渡状態とは、スイッチをON/OFFした直後の状態である)
Z変換
Z変換(Z-transform)は、両側ラプラス変換を離散化したものである。
Z変換は、デジタル信号処理で用いられる。
変換を離散化することによりコンピュータで効率よく扱うことができるようになる。
離散フーリエ変換
離散フーリエ変換(DFT: Discrete Fouriertransform)は、フーリエ変換を離散化したものである。
離散フーリエ変換を高速に計算するためのアルゴリズムとして高速フーリエ変換(FFT: Fast Fouriertransform)がある。
これらの技術はデジタル信号処理で使用される。