積分計算のためのラプラス変換
こんにちは！るめなるです！今回はラプラス変換について書きたいと思います．ただ，あくまでも計算（の省略）で使うことを目的としているので，厳密性は考慮せず，公式の証明も書きません．それについてはなにかの書籍やpdfを参照してください．まあ私が知らないだけなんですけどね．
まずは$t$を変数とする関数$f(t)$のラプラス変換$\mathcal{L}[f(t)](s)$を定義します．
定義
$$ \mathcal{L}[f(t)](s) = \int_0^{\infty} f(t) e^{-st} dt $$
とりあえず，これが定義になります．どうしてこの積分区間なのかとか，どうして$e^{-st}$と一緒に積分するのかとか色々疑問はあると思いますが，まずは受け入れましょう．計算で使うためだけならそこまで踏み込まなくても十分だと思いますし，私も分かりません．
ちなみに，他にも「フーリエ変換」や「メリン変換」というものがあり，これも色々と使われます（これも定義と変換の例を調べて少し見ておくだけで大丈夫だと思います）．
では，使用頻度が高めの公式を見てみましょう．
公式
$$\begin{align*} &\mathcal{L}[t](s) = \frac{1}{s^2} & &\mathcal{L}[t^{\alpha}](s)=\frac{\Gamma(\alpha + 1)}{s^{\alpha + 1}} \\ &\mathcal{L}[\sin \omega t](s)=\frac{\omega}{s^2 + \omega^2}& &\mathcal{L}[\cos \omega t](s)=\frac{s}{s^2 + \omega^2} \end{align*}$$
証明ですが，定義通り積分を計算していくだけになります．良い計算練習になると思うのでぜひやってみましょう．使用頻度ですが，$\sin\omega t$と$\cos \omega t$のラプラス変換が一番良く使われる気がします（かなり計算を短縮できるため）．また，逆の方向の変形，つまり，例えば積分の中に$\frac{\omega}{s^2 + \omega^2}$という形があった時にそれを$\mathcal{L}[\sin \omega t](s)$と変形して，元の積分と順序を交換して計算する，という技法も使われることがあります．このように逆方向に変換することを逆ラプラス変換といいます．
最後に，実際にラプラス変換がどのように使われるのかを見ていきたいと思います．ぜひ解説を見る前に自分で解いてみてください！
例題
\begin{align*} \int_0^{\infty} \frac{\cos x - 1}{xe^{2x}} dx ~=~? \end{align*}
解説
\begin{align*} \int_0^{\infty} \frac{\cos x - 1}{xe^{2x}} dx &= \int_0^{\infty} \frac{1}{xe^{2x}}\int_0^1 \frac{d} {dt} \cos xt dt dx \\ &= -\int_0^{\infty} \int_0^{1} e^{-2x}\sin xt dt dx \\ &= -\int_0^1 \int_0^{\infty} e^{-2x}\sin xt dx dt\\ &= -\int_0^1 \mathcal{L}[\sin xt](2) dt \\ &= -\int_0^1 \frac{t}{t^2 + 4} dt \\ &= -\frac12 \int_0^1 \frac{(t^2 + 4)'}{t^2 + 4} dt\\ &= -\frac12 \Biggl[ \ln(t^2 + 4) \Biggr]_0^1\\ &= -\frac12 (\ln 5 - 2\ln 2)\\ &= \ln 2 - \frac{\ln 5}{2} \end{align*}
どうだったでしょうか．3行目で現れた積分が，ラプラス変換の公式を使うことですぐに計算することができていますね．このように，計算の途中でラプラス変換（もしくは上で少し触れたフーリエ変換，メリン変換）の形が出てきた場合，公式を用いて簡単に計算できるのです．
お気づきの方もいるかもしれませんが，この積分において，被積分関数の$\cos x$の$x$の係数，$e^x$の$x$の係数をそれぞれ一般化することができます．計算方法は例題と全く同じなので，簡単な演習問題としてやってみてください！
※問題は私が適当に作ったんですが，二重積分の交換が出来るのかは私に確認できる力がないので，もし交換できない場合だったら申し訳ないです…
今回はここまでにします．最後までご覧いただきありがとうございました！
この記事を高評価した人
この記事に送られたバッジ
投稿者
