厳密な説明
重要な性質は
\mathcal{L}[f'](s)=sF(s)-f(0)
です。ただし F(s)=\mathcal{L}[f](s) です。
これがなぜ成り立つかを部分積分で確かめます。
\mathcal{L}[f'](s)=\int_0^\infty e^{-st}f'(t)\,dt
で、u=e^{-st},\ dv=f'(t)\,dt と置くと
\mathcal{L}[f'](s)=\Bigl[e^{-st}f(t)\Bigr]_0^\infty+s\int_0^\infty e^{-st}f(t)\,dt
です。ここで e^{-st}f(t)\to 0 が成り立つだけ十分に収束するとすれば
\Bigl[e^{-st}f(t)\Bigr]_0^\infty=0-f(0)
だから
\mathcal{L}[f'](s)=sF(s)-f(0)
を得ます。
したがって
f'(t)+f(t)=0,\qquad f(0)=1
を変換すると
(sF(s)-1)+F(s)=0
です。よって
(s+1)F(s)=1,\qquad F(s)=\frac{1}{s+1}
となり、逆変換で
f(t)=e^{-t}
を得ます。