ラプラス変換の定義と存在証明
📂微分方程式ラプラス変換の定義と存在証明
証明
仮定2. により、t≥Mについて∣f(t)∣≤Keatが成り立つ。両辺にe−stを掛けると
∣e−stf(t)∣≤Ke−(s−a)t
補助定理
以下の条件を仮定する。
- 関数fがt≥τの時に部分的に連続である。
- ある正の数Mに対して、t≥Mが∣f(t)∣≤g(t)を満たす。
- ∫M∞g(t)dtが収束する。
すると、∫τ∞f(t)dtも収束する。
補助定理によれば、∫M∞Ke−(s−a)tdtが収束する時、∫0∞e−stf(t)dtも収束する。証明で使う条件を補助定理に代入してみると、
g(t)=Ke−(s−a)t,f(t)=e−stf(t),τ=0
今、∫M∞Ke−(s−a)tdtが収束するかだけを確認すれば、証明は完了である。
∫M∞Ke−(s−a)tdt=KB→∞lim∫MBe−(s−a)tdt=KB→∞lima−s1[e−(s−a)t]MB=KB→∞lima−s1(e−(s−a)B−e−(s−a)M)
ここで、s−a>0ならば、B→∞lime−(s−a)B=0となり、広義積分∫M∞Ke−(s−a)tdtが収束する。従って、補助定理により、∫0∞e−stf(t)dtも収束する。
■