logo

ラプラス変換の定義と存在証明 📂微分方程式

ラプラス変換の定義と存在証明

証明

仮定2. により、tMt \ge Mについてf(t)Keat|f(t)| \le Ke^{at}が成り立つ。両辺にeste^{-st}を掛けると

estf(t)Ke(sa)t |e^{-st}f(t)| \le Ke^{-(s-a)t}

補助定理1

以下の条件を仮定する。

  • 関数fftτt \ge \tauの時に部分的に連続である。
  • ある正の数MMに対して、tMt \ge Mf(t)g(t)|f(t)| \le g(t)を満たす。
  • Mg(t)dt\displaystyle \int _{M} ^\infty g(t) dtが収束する。

すると、τf(t)dt\displaystyle \int _\tau ^\infty f(t)dtも収束する。

補助定理によれば、MKe(sa)tdt\displaystyle \int _{M} ^\infty Ke^{-(s-a)t}dtが収束する時、0estf(t)dt\displaystyle \int _{0} ^\infty e^{-st} f(t) dtも収束する。証明で使う条件を補助定理に代入してみると、

g(t)=Ke(sa)t,f(t)=estf(t),τ=0 g(t)=Ke^{-(s-a)t},\quad f(t)=e^{-st}f(t),\quad \tau=0

今、MKe(sa)tdt\displaystyle \int _{M} ^\infty Ke^{-(s-a)t}dtが収束するかだけを確認すれば、証明は完了である。

MKe(sa)tdt=KlimBMBe(sa)tdt=KlimB1as[e(sa)t]MB=KlimB1as(e(sa)Be(sa)M) \begin{align*} \int _{M} ^\infty Ke^{-(s-a)t}dt &= K\lim _{B \to \infty} \int _{M} ^B e^{-(s-a)t}dt \\ &= K\lim _{B \to \infty} \frac{1}{a-s}\left[ e^{-(s-a)t} \right]_{M}^B \\ &= K \lim _{B \to \infty} \frac{1}{a-s} \left( e^{-(s-a)B }- e^{-(s-a)M} \right) \end{align*}

ここで、sa>0s-a>0ならば、limBe(sa)B=0\displaystyle \lim _{B \to \infty} e^{-(s-a)B }=0となり、広義積分MKe(sa)tdt\displaystyle \int _{M} ^\infty Ke^{-(s-a)t}dtが収束する。従って、補助定理により、0estf(t)dt\displaystyle \int _{0} ^\infty e^{-st} f(t) dtも収束する。


  1. William E. Boyce , Boyceの初等微分方程式及び境界値問題 (第11版, 2017), p243 ↩︎