解析学基礎/ラプラス変換
ラプラス変換とは

無限積分 ∫ 0 ∞ f ( x ) e − s x d x {\displaystyle \int _{0}^{\infty }f(x)e^{-sx}\ dx} を関数 f ( x ) {\displaystyle f(x)} のラプラス変換といいます。 ラプラス変換は L ( s ) {\displaystyle L(s)} という記号で表される事も多いですが、変換元の関数を明示したい場合には L [ f ( x ) ] {\displaystyle L[f(x)]} や L [ f ( x ) ] ( s ) {\displaystyle L[f(x)](s)} などという記号で表す場合もあります。ラプラス変換の変数はsである事に注意してください。xに関する定積分で定義されるのですから、xは(変換後の関数の)変数ではありません。
ラプラス変換とは

ラプラス変換は無限区間の広義積分ですので、極限が収束するときにしか使うことができません。どのような関数に対して収束するのかという十分条件として、指数 α {\displaystyle \alpha } 位の関数という関数のクラスを定義しておきます。
ラプラス変換とは

定義 関数 f ( x ) {\displaystyle f(x)} が不等式 | f ( x ) | ≤ M e α x {\displaystyle \left|f(x)\right|\leq Me^{\alpha x}} (Mは正の定数)を満たすとき、 f ( x ) {\displaystyle f(x)} は指数 α {\displaystyle \alpha } 位であるという。
ラプラス変換とは

関数 f ( x ) {\displaystyle f(x)} が指数 α {\displaystyle \alpha } 位ならば、 0 ≤ | f ( x ) e − s x | ≤ M e − ( s − α ) x {\displaystyle 0\leq |f(x)e^{-sx}|\leq Me^{-(s-\alpha )x}} が成り立ちます。 s > α {\displaystyle s>\alpha } を満たすsに対して優関数 M e − ( s − α ) x {\displaystyle Me^{-(s-\alpha )x}} の積分 ∫ 0 ∞ M e − ( s − α ) x d x {\displaystyle \int _{0}^{\infty }Me^{-(s-\alpha )x}dx} は収束しますので、解析学基礎/広義積分#優関数の原理により、ラプラス変換 L [ f ( x ) ] {\displaystyle L[f(x)]} も収束します。
ラプラス変換とは

またこの不等式から、 f ( x ) {\displaystyle f(x)} が指数 α {\displaystyle \alpha } 位で s > α {\displaystyle s>\alpha } ならば、はさみうちの原理より lim x → ∞ f ( x ) e − s x = 0 {\displaystyle \lim _{x\to \infty }f(x)e^{-sx}=0} であることもわかります。
ラプラス変換の公式

s > 0 {\displaystyle s>0} のとき、
ラプラス変換の公式

s > α {\displaystyle s>\alpha } のとき、
ラプラス変換の公式

s > 0 {\displaystyle s>0} のとき、
ラプラス変換の公式

この第2項を更に部分積分すると、
ラプラス変換の公式

が得られます。これを L [ sin β x ] {\displaystyle L[\sin \beta x]} に関して解けば L [ sin β x ] = β s 2 + β 2 {\displaystyle L[\sin \beta x]={\frac {\beta }{s^{2}+\beta ^{2}}}} が得られます。 同様の計算を行う事により L [ cos β x ] = s s 2 + β 2 {\displaystyle L[\cos \beta x]={\frac {s}{s^{2}+\beta ^{2}}}} も得られます。
ラプラス変換の公式

が成り立ちます。これを上述の正弦と余弦のラプラス変換に用いれば、 s > α {\displaystyle s>\alpha } のとき、
ラプラス変換の公式

が成立する事が分かります。
ラプラス変換の公式

以下関数 f ( x ) {\displaystyle f(x)} が何回でも微分可能(すなわち C ∞ {\displaystyle C^{\infty }} 級である)と仮定しておきます。
ラプラス変換の公式

部分積分の公式を使うことで、導関数のラプラス変換の公式は導出されます。
ラプラス変換の公式

関数 f ( x ) {\displaystyle f(x)} の微分のラプラス変換は
ラプラス変換の公式

という風に導出できます。
ラプラス変換の公式

結果だけを改めて書くと、
ラプラス変換の公式

です。
ラプラス変換の公式

もちろん(これに限らず数学の学習全般に言えることですが)、公式を理解し使いこなすためには、このような一般的な証明をすることと、具体的な(2次関数や3次関数あるいは三角関数や指数関数などの)初等関数を例として実際にラプラス変換の計算をしてみることで実際に上記の公式 L [ f ′ ( x ) ] = s L [ f ( x ) ] − f ( 0 ) {\displaystyle L[f'(x)]=sL[f(x)]-f(0)} が成り立つことを確認することと、両方をやってみることが大切です。以降、この本ではわざわざこのような注意はしませんが、言われなくても必ずこのような学習をしましょう。
ラプラス変換の公式

高階導関数のラプラス変換も、この公式を繰り返し適用することで得られます。たとえば、
ラプラス変換の公式

です。先ほどと同様に結果だけを改めて書くと
ラプラス変換の公式

です。以下同様の事を繰り返せばn階導関数のラプラス変換の公式
ラプラス変換の公式

が導出できます。(証明は数学的帰納法によります。)
ラプラス変換の公式

多項式 f ( x ) = a 0 + a 1 x + ⋯ + a n x n {\displaystyle f(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n}} のラプラス変換を考えます。 ラプラス変換は明らかに線型性を持ちますので、 L [ f ( x ) ] = a 0 L [ 1 ] + a 1 L [ x ] + ⋯ + a n L [ x n ] {\displaystyle L[f(x)]=a_{0}L[1]+a_{1}L[x]+\cdots +a_{n}L[x^{n}]} です。 したがって、 m = 1 , 2 , ⋯ , n {\displaystyle m=1,2,\cdots ,n} に対して L [ x m ] {\displaystyle L[x^{m}]} が求まれば、 f ( x ) {\displaystyle f(x)} のラプラス変換も求まることになります。
ラプラス変換の公式

L [ x m ] {\displaystyle L[x^{m}]} を定義通りに計算するならば部分積分をm回繰り返すことになりますが、次のように簡単に計算することもできます。 g ( x ) = x m {\displaystyle g(x)=x^{m}} とすると、
ラプラス変換の公式

が得られます。よって、 L [ g ( m + 1 ) ( x ) ] = 0 {\displaystyle L[g^{(m+1)}(x)]=0} です。
ラプラス変換の公式

ところで、上述の導関数のラプラス変換の公式を適用すると
ラプラス変換の公式

となります。ゆえに
ラプラス変換の公式

が成り立ちます。
ラプラス変換の公式

ここでは関数 f ( x ) {\displaystyle f(x)} のラプラス変換が変数 s {\displaystyle s} で微分可能であると仮定します。この関数 f ( x ) {\displaystyle f(x)} のラプラス変換を
ラプラス変換の公式

と書くとき、この式の両辺を変数 s {\displaystyle s} で微分すると、解析学基礎/関数列の極限#微分と広義積分の順序交換の定理3.5より
ラプラス変換の公式

が成り立ちます。従って d d s F ( s ) = − L [ x f ( x ) ] {\displaystyle {\frac {d}{ds}}F(s)=-L[xf(x)]} より L [ x f ( x ) ] = − d d s L [ f ( x ) ] {\displaystyle L[xf(x)]=-{\frac {d}{ds}}L[f(x)]} が得られます。
ラプラス変換の公式

上の7.で得られた公式を関数 x f ( x ) {\displaystyle xf(x)} に適用すると
ラプラス変換の公式

が成り立つことがわかります。以下同様の議論を繰り返す事により
ラプラス変換の公式

が導かれます。
逆ラプラス変換

ラプラス変換は単射です。すなわち、異なる関数のラプラス変換が一致することはありません。したがって、次を満たすような写像 L − 1 {\displaystyle L^{-1}} が存在することがわかります。
逆ラプラス変換

この L − 1 {\displaystyle L^{-1}} を逆ラプラス変換と呼びます。逆ラプラス変換も積分を用いた式で書くことができますが、ここでは割愛します。上記の定義式のみで十分な応用例を、次節で見てみます。
ラプラス変換の応用

ラプラス変換を用いて、微分方程式を解いてみましょう。例として下の問題を考えます。
ラプラス変換の応用

この微分方程式の左辺のラプラス変換は線型性により
ラプラス変換の応用

なので、両辺にラプラス変換を施すと
ラプラス変換の応用

が成り立ちます。ここで右辺を高校で学んだように部分分数分解をすると、
ラプラス変換の応用

となります。この両辺に逆ラプラス変換を施せば第2節で述べたラプラス変換の公式より
ラプラス変換の応用

が得られます。(ここで逆ラプラス変換にも線型性が成り立つ事を用いました。)斯くして初期値問題の解
ラプラス変換の応用

が導かれた事になります。