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

== 概要 ==
ラプラス変換(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>F(s)</math> の対応関係を変換表として使用すれば、ラプラス変換を機械的に実行できる。<br>
<br>
<center>
{| class="wikitable" | style="background-color:#fefefe;"
|-
! style="background-color:#66CCFF;width:50%" | <math>f(t)</math>
! style="background-color:#66CCFF;width:50%" | <math>F(s)</math>
|-
| 1 || <math>\frac{1}{s}</math>
|-
| t || <math>\frac{1}{s^2}</math>
|-
| <math>\sin{at}</math> || <math>\frac{a}{s^2 + a^2} \qquad (s > 0, \, a : \mbox{実 定 数　} )</math>
|-
| <math>\cos{at}</math> || <math>\frac{s}{s^2 - a^2} \qquad (s > 0, \, a : \mbox{実 定 数　} )</math>
|}
</center>
<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__
[[カテゴリ:解析学]]