ラプラス変換は、時間の関数 f(t) を複素数 s の関数 F(s) へ写しかえる積分変換です。目的は微分方程式の攻略。変換の世界では微分が「$s$ を掛ける操作」に置き換わり、面倒な微分方程式が代数方程式に変わります(定数係数の線形微分方程式の場合)。さらに初期値が変換の時点で式の中に組み込まれるため、「一般解を出してから定数を決める」という手順が丸ごと不要になります。
L{f}(s)=F(s)=∫0∞e−stf(t)dt(Resが十分大きいとき収束)
基本公式表
f(t)
F(s) = L{f}
1
s1
eat
s−a1
tn(n は非負整数)
sn+1n!
sinωt
s2+ω2ω
cosωt
s2+ω2s
L{af+bg}=aF+bG,L{f′}=sF(s)−f(0)
🔍 微分の性質 L{f-prime} = sF − f(0) を部分積分で導く
Step 1: 定義に f の代わりに f-prime を入れる
L{f′}=∫0∞e−stf′(t)dt
右辺を部分積分にかけるのが方針。u = e^{-st}, dv = f-prime dt と置く。
Step 2: 部分積分を実行する
∫0∞e−stf′(t)dt=[e−stf(t)]0∞+s∫0∞e−stf(t)dt
∫u dv = uv − ∫ v du で、du = −s e^{-st} dt だから第 2 項に +s が現れる。
Step 3: 境界項を評価して結論
[e−stf(t)]0∞=0−f(0)⟹L{f′}=sF(s)−f(0)
十分大きな t で |f(t)| ≤ C e^{at} と評価でき、Re s > a なら t → ∞ で e^{-st} f(t) → 0。二階の導関数にも繰り返せば L{f-double-prime} = s²F − s f(0) − f-prime(0)。微分が掛け算に変わる正体はこの部分積分です。