logo

F(as+b)のラプラス逆変換 📂微分方程式

F(as+b)のラプラス逆変換

公式1

関数f(t)f(t)のラプラス変換L{f(t)}=0estf(t)dt=F(s)\mathcal{L} \left\{ f(t) \right\}= \displaystyle \int _{0} ^\infty e^{-st}f(t)dt =F(s)s>α0s>\alpha \ge 0であるとき存在すると仮定しよう。それならば、定数a>0,ba>0 , bに対するF(as+b)F(as+b)のラプラス逆変換は次の通りである。

L1{F(as+b)}=1aebatf(ta) \mathcal{L^{-1}} \left\{ F(as+b) \right\} =\frac{1}{a}e^{-\frac{b}{a}t}f\left(\frac{t}{a}\right)

導出

1

  1. F(ks)F(ks)のラプラス逆変換: L1{F(ks)}=1kf(tk) \mathcal{L^{-1}} \left\{ F(ks) \right\} =\dfrac{1}{k}f\left(\frac{t}{k}\right)
  2. ラプラス変換の平行移動: L1{F(sc)}=ectf(t) \mathcal{L^{-1}} \left\{ F(s-c) \right\}=e^{ct}f(t)

1. により、次を得る。

L1{F(as)}=1af(ta) \mathcal{L^{-1}} \left\{ F(as) \right\} =\frac{1}{a}f\left(\frac{t}{a}\right)

F(as)F(as)からF(as+b)F(as+b)を導き出すには、ss \to s+bas+\frac{b}{a}であればよい。つまり、FFss方向にba-\frac{b}{a}だけ平行移動すればよい。2. により、平行移動されたFFを求めると、

L1{F(a(s+ba))}=1aebatf(ta)    L1{F(as+b)}=1aebatf(ta) \begin{align*} && \mathcal{L^{-1}} \left\{ F\left( a(s+\frac{b}{a}) \right) \right\} &= \frac{1}{a} e^{-\frac{b}{a}t}f\left(\frac{t}{a}\right) \\ \implies && \mathcal{L^{-1}} \left\{ F( as+b) \right\} &= \frac{1}{a} e^{-\frac{b}{a}t}f\left(\frac{t}{a}\right) \end{align*}


2

ラプラス変換の定義により、

L{1aebatf(ta)}=1a0estebatf(ta)dt=1a0e(s+ba)tf(ta)dt \begin{align*} \mathcal{L} \left\{ \frac{1}{a} e^{-\frac{b}{a}t} f\left( \frac{t}{a} \right) \right\} &= \dfrac{1}{a}\int _{0} ^\infty e^{-st}e^{-\frac{b}{a}t}f \left( \frac{t}{a} \right) dt \\ &= \dfrac{1}{a}\int _{0} ^\infty e^{-\left(s+\frac{b}{a}\right)t}f \left( \frac{t}{a} \right) dt \end{align*}

それをta=τ\dfrac{t}{a}=\tauと置こう。すると、(s+ba)t=(as+b)τ\left(s+\frac{b}{a}\right)t=(as+b)\tauであり、dt=adτdt=ad\tauなので、

L{1aebatf(ta)}=1a0e(s+ba)tf(ta)dt=0e(as+b)τf(τ)dτ=F(as+b) \begin{align*} \mathcal{L} \left\{ \frac{1}{a} e^{-\frac{b}{a}t} f\left( \frac{t}{a} \right) \right\} &= \dfrac{1}{a}\int _{0} ^\infty e^{-\left(s+\frac{b}{a}\right)t}f \left( \frac{t}{a} \right) dt \\ &= \int _{0} ^\infty e^ {-(as+b)\tau}f (\tau) d\tau \\ &= F(as+b) \end{align*}

参照


  1. William E. Boyce, Boyce’s Elementary Differential Equations and Boundary Value Problems (11th Edition, 2017), p263 ↩︎