無限積分
を関数
のラプラス変換といいます。
ラプラス変換は
という記号で表される事も多いですが、変換元の関数を明示したい場合には
や
などという記号で表す場合もあります。ラプラス変換の変数はsである事に注意してください。xに関する定積分で定義されるのですから、xは(変換後の関数の)変数ではありません。
指数
位の関数
[編集]
ラプラス変換は無限区間の広義積分ですので、極限が収束するときにしか使うことができません。どのような関数に対して収束するのかという十分条件として、指数
位の関数という関数のクラスを定義しておきます。
定義 関数
が不等式
(Mは正の定数)を満たすとき、
は指数
位であるという。
関数
が指数
位ならば、
が成り立ちます。
を満たすsに対して優関数
の積分
は収束しますので、解析学基礎/広義積分#優関数の原理により、ラプラス変換
も収束します。
またこの不等式から、
が指数
位で
ならば、はさみうちの原理より
であることもわかります。
のとき、
![{\displaystyle L[1]=\int _{0}^{\infty }e^{-sx}dx=\left[-{\frac {1}{s}}e^{-sx}\right]_{0}^{\infty }={\frac {1}{s}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1ed5494b4f1d20ff59ca52c8226335e7cebaeed)
のとき、
![{\displaystyle L[e^{\alpha x}]=\int _{0}^{\infty }e^{\alpha x}e^{-sx}dx=\int _{0}^{\infty }e^{-(s-\alpha )x}dx=\left[-{\frac {1}{s-\alpha }}e^{-(s-\alpha )x}\right]_{0}^{\infty }={\frac {1}{s-\alpha }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87e404d45e8d3cacd7591e4b253824a4e82a6e0a)
のとき、
![{\displaystyle L[\sin \beta x]=\int _{0}^{\infty }e^{-sx}\sin \beta xdx=\left[e^{-sx}\left(-{\frac {1}{\beta }}\cos \beta x\right)\right]_{0}^{\infty }-\int _{0}^{\infty }(-s)e^{-sx}\left(-{\frac {1}{\beta }}\cos \beta x\right)dx={\frac {1}{\beta }}-{\frac {s}{\beta }}\int _{0}^{\infty }e^{-sx}\cos \beta xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23d2e8ceb29f848c2c17c0b5dea8bb221744ab11)
この第2項を更に部分積分すると、
![{\displaystyle L[\sin \beta x]={\frac {1}{\beta }}-{\frac {s}{\beta }}\left(\left[e^{-sx}\left({\frac {1}{\beta }}\sin \beta x\right)\right]_{0}^{\infty }-\int _{0}^{\infty }(-s)e^{-sx}\left({\frac {1}{\beta }}\sin \beta x\right)dx\right)={\frac {1}{\beta }}-{\frac {s^{2}}{\beta ^{2}}}L[\sin \beta x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dac5af03e3f1d090426383846b0184409e97f5ef)
が得られます。これを
に関して解けば
が得られます。
同様の計算を行う事により
も得られます。
![{\displaystyle L[e^{\alpha x}f(x)](s)=\int _{0}^{\infty }e^{-sx}e^{\alpha x}f(x)dx=\int _{0}^{\infty }e^{-(s-\alpha )x}f(x)dx=L[f(x)](s-\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6086d21317b0efd10ced2eabc477698f227fc1cc)
が成り立ちます。これを上述の正弦と余弦のラプラス変換に用いれば、
のとき、
![{\displaystyle L[e^{\alpha x}\sin \beta x]={\frac {\beta }{(s-\alpha )^{2}+\beta ^{2}}},L[e^{\alpha x}\cos \beta x]={\frac {s-\alpha }{(s-\alpha )^{2}+\beta ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/282e16c942f85c92a3562f73dfbdaa9c54b35383)
が成立する事が分かります。
以下関数
が何回でも微分可能(すなわち
級である)と仮定しておきます。
部分積分の公式を使うことで、導関数のラプラス変換の公式は導出されます。
関数
の微分のラプラス変換は
![{\displaystyle {\begin{aligned}L[f'(x)]&=\int _{0}^{\infty }f'(x)e^{-sx}dx\\&=\left[f(x)e^{-sx}\right]_{0}^{\infty }-\int _{0}^{\infty }(-s)e^{-sx}f(x)dx\\&=\left(\lim _{x\to \infty }f(x)e^{-sx}\right)-f(0)+s\int _{0}^{\infty }e^{-sx}f(x)dx\\&=0-f(0)+sL[f(x)]\\&=sL[f(x)]-f(0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71e9bd85ff19f7033ad97c1b6d507f320fc403a1)
という風に導出できます。
結果だけを改めて書くと、
![{\displaystyle L[f'(x)]=sL[f(x)]-f(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ecb0d3e333c81518d9cdc7134623aacbebe892f)
です。
もちろん(これに限らず数学の学習全般に言えることですが)、公式を理解し使いこなすためには、このような一般的な証明をすることと、具体的な(2次関数や3次関数あるいは三角関数や指数関数などの)初等関数を例として実際にラプラス変換の計算をしてみることで実際に上記の公式
が成り立つことを確認することと、両方をやってみることが大切です。以降、この本ではわざわざこのような注意はしませんが、言われなくても必ずこのような学習をしましょう。
高階導関数のラプラス変換も、この公式を繰り返し適用することで得られます。たとえば、
![{\displaystyle {\begin{aligned}L[f''(x)]&=sL[f'(x)]-f'(0)\\&=s(sL[f(x)]-f(0))-f'(0)\\&=s^{2}L[f(x)]-sf(0)-f'(0)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abcdbc556f25b34e321c818d6c8cb3f4f5cecd8d)
です。先ほどと同様に結果だけを改めて書くと
![{\displaystyle L[f''(x)]=s^{2}L[f(x)]-sf(0)-f'(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fd223c1af34f67ccd33430955480e0e318b645c)
です。以下同様の事を繰り返せばn階導関数のラプラス変換の公式
![{\displaystyle L[f^{(n)}(x)]=s^{n}L[f(x)]-\sum _{r=1}^{n}s^{n-r}f^{(r-1)}(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f9944bb3be6f4eb051ea064f68820c62a7bfadb)
が導出できます。(証明は数学的帰納法によります。)
多項式
のラプラス変換を考えます。
ラプラス変換は明らかに線型性を持ちますので、
です。
したがって、
に対して
が求まれば、
のラプラス変換も求まることになります。
を定義通りに計算するならば部分積分をm回繰り返すことになりますが、次のように簡単に計算することもできます。
とすると、
![{\displaystyle g^{(r)}(x)={\begin{cases}m(m-1)\cdots (m-r+1)x^{m-r}&(1\leq r\leq m-1)\\m!&(r=m)\\0&(r\geq m+1)\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee6599da6be36a86bc577970d04f86648ea1ad7b)
が得られます。よって、
です。
ところで、上述の導関数のラプラス変換の公式を適用すると
![{\displaystyle L[g^{(m+1)}(x)]=s^{m+1}L[g(x)]-\sum _{r=1}^{m+1}s^{(m+1)-r}g^{r-1}(0)=s^{m+1}L[g(x)]-m!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05acb313ea4415d78d2dedfe721fb7618c335d4f)
となります。ゆえに
![{\displaystyle s^{m+1}L[x^{m}]-m!=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/182f735e5958a5b54bf1246de227a5f0451532f6)
![{\displaystyle L[x^{m}]={\frac {m!}{s^{m+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19985c55e9bcf1d70c923932010f3edb22ea0b87)
が成り立ちます。
- 7. 独立変数
が掛かった関数のラプラス変換
ここでは関数
のラプラス変換が変数
で微分可能であると仮定します。この関数
のラプラス変換を
![{\displaystyle F(s)=L[f(x)]=\int _{0}^{\infty }f(x)e^{-sx}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f2ee1182eb8b7be23e880455979931caec85056)
と書くとき、この式の両辺を変数
で微分すると、解析学基礎/関数列の極限#微分と広義積分の順序交換の定理3.5より
![{\displaystyle {\frac {d}{ds}}F(s)={\frac {d}{ds}}\int _{0}^{\infty }f(x)e^{-sx}dx=\int _{0}^{\infty }{\frac {\partial }{\partial {s}}}[f(x)e^{-sx}]dx=\int _{0}^{\infty }f(x){\frac {\partial }{\partial {s}}}(e^{-sx})dx=\int _{0}^{\infty }f(x)(-x)e^{-sx}dx=-\int _{0}^{\infty }xf(x)e^{-sx}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/256986fdffd518fd7c416ea4c3b56afbf581529c)
が成り立ちます。従って
より
が得られます。
- 8. 独立変数
の冪が掛かった関数のラプラス変換
上の7.で得られた公式を関数
に適用すると
![{\displaystyle L[x^{2}f(x)]=L[x(xf(x))]=-{\frac {d}{ds}}L[xf(x)]=-{\frac {d}{ds}}\left[-{\frac {d}{ds}}L[f(x)]\right]=(-1)^{2}{\frac {d^{2}}{ds^{2}}}L[f(x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b549178bc337211fced4f7ab43729306f797e50)
が成り立つことがわかります。以下同様の議論を繰り返す事により
![{\displaystyle L[x^{n}f(x)]=(-1)^{n}{\frac {d^{n}}{ds^{n}}}L[f(x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7fd7703e53febf1fac1ee134a4bb3d4e125c779)
が導かれます。
ラプラス変換は単射です。すなわち、異なる関数のラプラス変換が一致することはありません。したがって、次を満たすような写像
が存在することがわかります。
![{\displaystyle f(x)=L^{-1}[L[f(x)]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19d3ba6760ded66e19ccd3e5842654f5aafd3f64)
この
を逆ラプラス変換と呼びます。逆ラプラス変換も積分を用いた式で書くことができますが、ここでは割愛します。上記の定義式のみで十分な応用例を、次節で見てみます。
ラプラス変換を用いて、微分方程式を解いてみましょう。例として下の問題を考えます。
, ![{\displaystyle y(0)=0,y'(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a08d9439eff1f45a94e32a289c776bde634f64a)
この微分方程式の左辺のラプラス変換は線型性により
![{\displaystyle L[y'']+2L[y']-8L[y]=s^{2}L[y]-sy(0)-y'(0)+2(sL[y]-y(0))-8L[y]=(s^{2}+2s-8)L[y]-1=(s-2)(s+4)L[y]-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/059cac05da2bd966eabbbc389b735bc3bda30129)
なので、両辺にラプラス変換を施すと
![{\displaystyle (s-2)(s+4)L[y]-1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/226e34d7f7e3bed610c0d7772e378902ce46c2cf)
![{\displaystyle L[y]={\frac {1}{(s+4)(s-2)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11ac16eebdbf9c553eae1e953ef25a69b35edc29)
が成り立ちます。ここで右辺を高校で学んだように部分分数分解をすると、
![{\displaystyle L[y]={\frac {1}{6}}\left({\frac {1}{s-2}}-{\frac {1}{s+4}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7c68a4d7ad45211f6a232a35e094d06b70f14aa)
となります。この両辺に逆ラプラス変換を施せば第2節で述べたラプラス変換の公式より
![{\displaystyle L^{-1}[L[y]]={\frac {1}{6}}(e^{2x}-e^{-4x})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6a04afc9489e487dbcd75d1074fa38969ee99c5)
が得られます。(ここで逆ラプラス変換にも線型性が成り立つ事を用いました。)斯くして初期値問題の解
![{\displaystyle y={\frac {1}{6}}(e^{2x}-e^{-4x})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af1036bd5816bd5d99e534095343b0fe4e9fa2d3)
が導かれた事になります。