応用数学 - ラプラス変換のソースを表示

== 概要 ==
ラプラス変換(Laplace transform)は、<math>t \ge 0</math> で定義された関数 <math>f(t)</math> から無限積分を用いて、新しい関数 <math>F(s)</math> を作り出す積分変換である。<br>
ラプラス変換は、微分方程式を代数演算に帰着させて解くための方法を与える。<br>
<br>
ラプラス変換を使用すると、ある種の微分方程式に関しては、ややこしい積分を使用せずに代数的に解くことが可能になる。<br>
<br>
ラプラス変換の名前は、ラプラス(Pierre-SimonLaplace, 1749 - 1827)に因む。<br>
ラプラスは微分方程式の解法としてラプラス変換を導入したわけではない。<br>
<br>
「ラプラス変換を使用した微分方程式の解法」は、ヘビサイド(Oliver Heaviside, 1850 -1925)によるものである。<br>
ヘビサイドは演算子を使用した微分方程式の解法を発見した。<br>
この演算子の数学的基礎付けが他の数学者達によって行われ、ラプラス変換との関係が明らかにされた。<br>
<br><br>

== ラプラス変換の定義 ==
 定義:
 <math>f(t)</math> を <math>t \ge 0</math> で定義された関数とする。
 この時、以下のsの関数 <math>F(s)</math> を <math>f(t)</math> のラプラス変換と言い、<math>L[f(t)]</math> または <math>L[f]</math>と書く。
 <math>F(s) = L[f(t)]</math>
 
 <math>F(s) = \int_{0}^{+ \infty} f(t) \, e^{-st} dt</math>
 
 <math>f(t)</math> を原関数(primitive function)、<math>F(s)</math> を像関数(image function)または <math>f(t)</math> のラプラス変換と呼ぶ。
 <math>F(s)</math> のsは実数または複素数である。
<br>
<math>f(t)</math> が <math>t > 0</math> で定義されていて、<math>t = 0</math> では定義されていない場合でも、<math>f(0)</math>の値を適当に決めて <math>t \ge 0</math> で定義されているとしてよい。<br>
<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>0 \mbox{　〜　} + \infty</math> の範囲で積分する。(積分は変数tで行うので、sはまだ定数とみなしてよい)<br>
無限積分は定積分なので、積分の結果、変数tは消える。(ここで定数と見なしていたsは残る)<br>
これを、sの関数 <math>F(s)</math> とする。<br>
<br>
ラプラス変換の定義式の <math>F(s)</math> は、右辺の無限積分が収束する場合のみ定義される。<br>
右辺の無限積分はsの値によって収束する場合と収束しない場合が考えられる。<br>
<br>
ラプラス変換は、変数tの関数の集合(原関数の集合)から、変数sの関数の集合(像関数の集合)への変換規則を表している。<br>
<br><br>

== ラプラス変換の定義に関する例題 ==
 ラプラス変換の定義に従って、関数 <math>f(t) = 1</math> のラプラス変換 <math>L[f]</math> を求めよ。
 
 <math>
 \begin{align}
 L[f] &= \int_{0}^{+ \infty} {f(t) \, e^{-st}} dt \\
 &= \int_{0}^{+ \infty} {e^{-st}} dt
 \end{align}
 </math>
<br>
sの値により場合分けする。<br>
<br>
 <math>s = 0</math> の時
 
 <math>
 \begin{align}
 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{align}
 </math>
<br>
 <math>s \ne 0</math> の時
 
 <math>
 \begin{align}
 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{align}
 </math>
<br>
以上より、<math>s > 0</math> の時のみ <math>L[f]</math> は収束し、次式となる。<br>
<math>L[1] = \frac{1}{s} \qquad (s > 0)</math><br>
<br><br>

== ラプラス変換の存在条件 ==
 定理:
 関数 <math>f(t)</math> は <math>t \ge 0</math> において区分的に連続であるとする。
 この時、<math>f(t)</math> に対し、以下を満たす定数Mとαが存在すれば、<math>s > \alpha</math> であるsについてラプラス変換 <math>L[f]</math> が存在する。
 <math>|f(t)| \le M e^{\alpha t}</math>
 
 説明:
 この定理の条件を満たす関数を指数α位の関数と言う。
 <math>f(t)</math> が指数α位のとき、ラプラス変換の定義式は <math>s > \alpha</math> の範囲で収束して、ラプラス変換が存在する。
<br><br>

== 基本的な関数のラプラス変換公式 ==
下表のような原関数 <math>f(t)</math> と像関数 <math>F(s)</math> の対応関係を変換表として使用すれば、ラプラス変換を機械的に実行できる。<br>
<br>
<center>
{| class="wikitable" | style="background-color:#fefefe;text-align: center;"
|-
! style="background-color:#66CCFF;width:30%" | <math>f(t)</math>
! style="background-color:#66CCFF;width:30%" | <math>F(s)</math>
! style="background-color:#66CCFF;width:40%" | 条件
|-
| <math>1</math> || <math>\frac{1}{s}</math> || <math>s > 0</math>
|-
| <math>t</math> || <math>\frac{1}{s^2}</math> || <math>s > 0</math>
|-
| <math>t^{n}</math> || <math>\frac{n!}{s^{n + 1}}</math> || <math>s > 0, \quad n = 0, 1, 2, \cdots</math>
|-
| <math>t^{\alpha}</math> || <math>\frac{\Gamma(\alpha + 1)}{s^{\alpha + 1}}</math> || <math>\alpha > -1, \quad s > 0</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>
|-
| <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>\delta(t)</math> || <math>1</math> || <math>- \infty < s < \infty</math>
|}
</center>
<br>
<center>
{| class="wikitable" | style="background-color:#fefefe;text-align: center;"
|+ 法則
|- 
! style="background-color:#66CCFF;width:30%" | <math>f(t)</math>
! style="background-color:#66CCFF;width:30%" | <math>F(s)</math>
! style="background-color:#66CCFF;width:40%" | 条件
|-
| 線形法則<br><math>\sinh(at)</math> || <math>\frac{a}{s^{2} - a^{2}}</math> || <math>s > a \ge 0</math>
|-
| 線形法則<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>
|-
| 第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(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>
|}
<br>
: ※備考
:: <math>\sinh(at) = \frac{e^{at} - e^{-at}}{2}</math><br>
:: <math>\cosh(at) = \frac{e^{at} + e^{-at}}{2}</math><br>
</center>
<br><br>

== ラプラス変換公式を使用した例題 ==
 ラプラス変換公式を使用して、以下の関数のラプラス変換を求めよ。
 
 (1) <math>\mathcal{L}[t^2]</math>
 (2) <math>\mathcal{L}[\sqrt(t)]</math>
 (3) <math>\mathcal{L}[\sin{\omega t}]</math>
 (4) <math>\mathcal{L}[\cos{\frac{t}{3}}]</math>
 (5) <math>\mathcal{L}[e^{-t}]</math>
<br>
* (1)の解答
*: <math>\mathcal{L}[t^2] = \frac{2!}{s^(2 + 1)} = \frac{2}{s^3} \quad (s > 0)</math>
* (2)の解答
*: <math>\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)</math>
*: 参考: <math>\Gamma \left ( \frac{1}{2} \right ) = \sqrt{\pi}, \quad \Gamma(\alpha + 1) = \alpha \Gamma(\alpha) \quad (\alpha > 0)</math>
* (3)の解答
*: <math>\mathcal{L}[\sin{2t}] = \frac{2}{s^2 + 2^2} = \frac{2}{s^2 + 4} \quad (s > 0)</math>
* (4)の解答
*: <math>\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)</math>
* (5)の解答
*: <math>\mathcal{L}[e^{-t}] = \frac{1}{s - (-1)} = \frac{1}{s + 1} \quad (s > -1)</math>
<br><br>

== 線形法則 ==
 定理:
 <math>\mathcal{L}[f(t)]</math> と <math>\mathcal{L}[g(t)]</math> がそれぞれ <math>s > \alpha_1, \quad s > \alpha_2</math> において存在する時、
 任意の定数 <math>a, \, b</math>について以下が成立する。
 
 <math>\mathcal{L}[af(t) + bf(t)] = a \mathcal{L}[f(t)] + b \mathcal{L}[g(t)] \quad (s > max(\alpha_1, \, \alpha_2))</math>
<br>
 例題:
 線形法則とラプラス変換公式を使用して、以下のラプラス変換を求めよ。
 <math>\mathcal{L}[3 e^{-t} + 2 e^{2t}]</math>
 
 解答:
 線形法則より以下が成立する。
 <math>\mathcal{L}[3 e^{-t} + 2 e^{2t}] = 3 \mathcal{L}[e^{-t}] + 2 \mathcal{L}[e^{2t}]</math>
 
 したがって、変換公式を使用すると以下が求められる。
 <math>
 \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}
 </math>
 
 sの範囲は <math>s > -1</math> かつ <math>s > 2</math> より、 <math>s > 2</math> となる。
<br><br>

== 相似法則 ==
 定理:
 <math>\mathcal{L}[f(t)] = F(s) (s > \alpha)</math> の時、正の定数aについて以下が成立する。
 <math>\mathcal{L}[f(at)] = \frac{1}{a} F \left( \frac{s}{a} \right) \quad (s > \alpha a)</math>
 
 説明:
 <math>f(t)</math> の変数tをa倍した <math>f(at)</math> に対応するラプラス変換は、 <math>f(t)</math> のラプラス変換 <math>F(s)</math> の変数を <math>\frac{1}{a}</math> 倍して、さらにそれを <math>\frac{1}{a}</math> 倍したものになる。
 
 例題:
 相似法則とラプラス変換の公式 <math>\mathcal{L}[e^t] = \frac{1}{s - 1} \quad (s > 1)</math> を使用して、以下の値を求めよ。
 <math>\mathcal{L}[e^{\frac{t}{2}}]</math>
 
 解答:
 この問題は、<math>F(s) = \frac{1}{s - 1}, \, a = \frac{1}{2}</math> の場合である。
 <math>
 \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}
 </math>
 
 sの範囲は、<math>\frac{s}{\frac{1}{2}} > 1</math> より、 <math>s > \frac{1}{2}</math> となる。
<br><br>

== 第1移動法則 ==
 定理:
 <math>\mathcal{L}[f(t)] = F(s) (s > a)</math> の時、以下が成立する。
 <math>\mathcal{L}[e^{\lambda t} f(t)] = F(s - \lambda) \quad (s > a + \lambda)</math>
 
 説明:
 <math>f(t)</math> に指数関数 <math>e^{\lambda t}</math> を乗算するということは、 <math>f(t)</math> のラプラス変換 <math>F(s)</math> を <math>\lambda</math> だけ平行移動することに対応する。
 
 例題:
 第1移動法則およびラプラス変換の公式 <math>\mathcal{L}[t] = \frac{1}{s^2}</math> を使用して、以下の値を求めよ。
 <math>\mathcal{L}[t e^{3t}]</math>
 
 解答:
 第1移動法則において、 <math>f(t) = t, \quad \lambda = 3</math> とする。
 <math>\mathcal{L}[t] = \frac{1}{s^2}</math> より、
 <math>\mathcal{L}[t e^{3t}] = \mathcal{L}[e^{3t} \, t] = \frac{1}{(s - 3)^{2}}</math>
 
 ここで、 <math>s - 3 > 0</math> より、 <math>s > 3</math>
<br><br>

== 第2移動法則 ==
 定理:
 <math>\mathcal{L}[f(t)] = F(s) \quad (s > a)</math> の時、正の定数 <math>\lambda</math> について以下が成立する。
 <math>\mathcal{L}[U(t - \lambda) \, f(t - \lambda)] = e^{- \lambda s} \, F(s) \quad (s > a)</math>
 
 説明:
 <math>f(t)</math> を <math>\lambda</math> だけ平行移動させることは、ラプラス変換した側では <math>F(s)</math> に指数関数 <math>e^{- \lambda s}</math> を乗算することに対応する。
 <math>U(t - \lambda) \, f(t - \lambda)</math> のグラフは、<math>t \ge \lambda</math> の時は <math>f(t - \lambda)</math> 、 <math>t < \lambda</math> の時は <math>0</math> となる。
<br>
 例題:
 第2移動法則を用いて以下の値を求めよ。
 <math>\mathcal{L}[U(t - 2)(t - 2)^2]</math>
 
 解答:
 <math>U(t - 2)(t - 2)^2</math> は第2移動法則において、 <math>\lambda = 2, \quad f(t) = t^{2}</math> の場合に対応する。
 第2移動法則およびラプラス変換の公式 <math>\mathcal{L}[t^{n}] = \frac{n!}{s^{n +  1}} \quad (s > 0)</math> を使用して計算する。
 
 <math>
 \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}
 </math>
<br><br>

== ラプラス変換による微分方程式の解法 ==
[[ファイル:Applied Mathematics Laplace Transform 1.png|フレームなし|中央]]
<br><br>

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

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


__FORCETOC__
[[カテゴリ:解析学]]