📂微分方程式

ディラックのデルタ関数のラプラス変換

定理¹

ディラックデルタ関数のラプラス変換は次のようになる。

$$\mathcal{L} \left\{ \delta (t-t_{0}) \right\} = e^{-st_{0}}$$

証明

上の図のように$d_\tau (t) = \dfrac{1}{2\tau}$$-\tau \le t \le \tau$と定義する。すると、以下の極限はディラックデルタ関数と同じである。

$$\lim \limits_{\tau \to 0^+}d_\tau (t)=\delta (t) \\ \lim \limits_{\tau \to 0^+}d_\tau (t-t_{0})=\delta (t-t_{0})$$

すると$\mathcal{L} \left\{ \delta (t-t_{0}) \right\}=\mathcal{L} \left\{ \lim \limits_{ \tau \to 0^+}d_\tau (t-t_{0}) \right\}$である。従って、

$$\begin{align*} \int_{0}^\infty e^{-st}\delta (t-t_{0})dt &=\lim_{\tau \to 0^+} \int_{0} ^\infty e^{-st}d_\tau (t-t_{0})dt \\ &= \lim_{\tau \to 0^+} \int_{0} ^\infty e^{-st}d_\tau (t-t_{0})dt \\ &= \lim_{\tau \to 0^+} \int_{t_{0}-\tau}^{t_{0}+\tau}e^{-st}d_\tau (t-t_{0})dt \\ &= \lim_{\tau \to 0^+} \int_{t_{0}-\tau}^{t_{0}+\tau}e^{-st}\dfrac{1}{2\tau}dt \\ &= \lim_{\tau \to 0^+} \dfrac{1}{2\tau}\dfrac{-1}{s}\left[ e^{-st} \right]_{t_{0}-\tau}^{t_{0}+\tau} \\ &= \lim_{\tau \to 0^+} \dfrac{1}{2s\tau }\left( e^{-s(t_{0}-\tau)}-e^{-s(t_{0}+\tau)}\right) \\ &= \lim_{\tau \to 0^+} \dfrac{1}{2s\tau }e^{-st_{0}}\left( e^{s\tau}-e^{-s\tau}\right) \\ &= \lim_{\tau \to 0^+} e^{-st_{0}}\dfrac{1}{s\tau }\dfrac{e^{s\tau}-e^{-s\tau}}{2} \\ &= \lim_{\tau \to 0^+} e^{-st_{0}}\dfrac{1}{s\tau }\sinh (s\tau) \end{align*}$$

この時、ロピタルの定理によって、

$$\lim \limits_{\tau \to 0^+}\dfrac{\sinh (s\tau) }{s\tau}=\lim \limits_{\tau \to 0^+} \dfrac { s\cosh (s\tau)}{s}=1$$

従って、

$$\int_{0}^\infty e^{-st}\delta (t-t_{0})dt =e^{-st_{0}}$$

■

参照

• ラプラス変換表