制御と振動の数学/第一類/Laplace 変換/指数関数の Laplace 変換とその応用
§1

前節で導いた公式
§1

において, f ( t ) = e α t {\displaystyle f(t)=e^{\alpha t}} とおくと, f ′ ( t ) = α e α t , f ( 0 ) = 1 {\displaystyle f'(t)=\alpha e^{\alpha t},f(0)=1} であるから,
§1

となる.
§1

よって公式,
§1

を得る. ここで上式の右辺を 1 s {\displaystyle {\frac {1}{s}}} で展開してみると,
§1

すなわち,
§1

となるが,この原像は,式(2.8)より,
§1

である.これは e α t {\displaystyle e^{\alpha t}} の Taylor 展開にほかならない.
§2

次に公式(2.12) の応用として C による年代測定を説明しよう. 試料に含まれている C の濃度を c ( t ) {\displaystyle c(t)} とすると,
§2

なる微分方程式を満たす.すなわち炭素の放射性同位元素 C の壊変の速さは,その時の濃度に比例する.この式を Laplace 変換すると
§2

この原像は、
§2

である.これより経過年数は,
§2

と求まる. c ( t ) = 1 2 c ( 0 ) {\displaystyle c(t)={\frac {1}{2}}c(0)} となる時間を半減期といい T 1 / 2 {\displaystyle T_{1/2}} で表す.C の場合は,
§2

である.半減期が分かれば、壊変定数が分かる. したがって,初期濃度 c ( 0 ) {\displaystyle c(0)} が分かれば現在の濃度 c ( t ) {\displaystyle c(t)} を測定することによって経過年数が分かる.これが C による年代測定の原理である.
§2

例22 {\displaystyle \quad }
§2

c ( 0 ) {\displaystyle c(0)} の決定が大問題である. c ( 0 ) {\displaystyle c(0)} としては,1950年代の大気中の C の濃度をとる.これは奇怪である.理由を調べてみよ.
§2

解答例
§2

不明.
§2

♢ {\displaystyle \diamondsuit }
§2

例23 {\displaystyle \quad }
§2

ここに
§2

を解け.ただし a , b {\displaystyle a,b} は定数である.
§2

解
§2

Laplace 変換すると
§2

これを L [ x ] {\displaystyle {\mathcal {L}}[x]} について解き,
§2

さらに右辺を部分分数分解すると,
§2

この原像を求めると,
§2

を得る.
§2

この例は,時刻 t = 0 {\displaystyle t=0} にスイッチを入れて部屋を暖房したときの温度変化を表す. x {\displaystyle x} は暖房前の室温(外界の温度に等しいと仮定している)からの偏位を表す. 定常状態の温度は,
§2

であって,これは供給熱量と外界に逃げる熱量とが平衡を保つ状態での温度を示す. これは平衡状態の式,すなわち式(2.13) で d x d t = 0 {\displaystyle {\frac {dx}{dt}}=0} とおいた式,
§2

の解と一致している.
§2

♢ {\displaystyle \diamondsuit }
§2

例24 {\displaystyle \quad }
§2

を解け.
§2

解
§2

Laplace 変換すると,
§2

ところで,
§2

となることを想い起こすと,原像は,
§2

となる.
§2

♢ {\displaystyle \diamondsuit }
§2

式(2.15)は定数変化の公式と呼ばれている重要な公式である. その名前の由来は次のとおりである. 同次式,
§2

の解は,
§2

であった.定数 c {\displaystyle c} を変数 u ( t ) {\displaystyle u(t)} に置き換えて、非同次の式(2.14) の解を探す.すなわち,
§2

を式(2.14)に代入すると,
§2

となる.これを 0 {\displaystyle 0} から t {\displaystyle t} まで積分し,
§2

この結果を式(2.16)に代入すると,
§2

となり求める結果を得る.
§2

♢ {\displaystyle \diamondsuit }
§2

この公式は重要であるから,誘導法とともに覚えておくことが望ましい.
§2

例25 {\displaystyle \quad } 次の微分方程式を解け.解を直接微分方程式に代入して成否を確かめよ.
§2

解答例
§2

s L [ x ] − 2 + L [ x ] = 1 s 2 {\displaystyle s{\mathcal {L}}[x]-2+{\mathcal {L}}[x]={\frac {1}{s^{2}}}} L [ x ] = 1 s 2 ( s + 1 ) + 2 s + 1 = − 1 s + 1 s 2 + 3 s + 1 {\displaystyle {\mathcal {L}}[x]={\frac {1}{s^{2}(s+1)}}+{\frac {2}{s+1}}={\frac {-1}{s}}+{\frac {1}{s^{2}}}+{\frac {3}{s+1}}} ∴ x = t − 1 + 3 e − t {\displaystyle \therefore x=t-1+3e^{-t}} このとき x ′ = 1 − 3 e − t {\displaystyle x'=1-3e^{-t}} ∴ x + x ′ = t − 1 + 3 e − t + 1 − 3 e − t = t {\displaystyle \therefore x+x'=t-1+3e^{-t}+1-3e^{-t}=t} x ( 0 ) = − 1 + 3 0 = 2 {\displaystyle x(0)=-1+3^{0}=2} よって解 x {\displaystyle x} は与方程式の解のひとつ.
§2

♢ {\displaystyle \diamondsuit }
§2

例26 {\displaystyle \quad } 次の微分方程式を解け.解を直接微分方程式に代入して成否を確かめよ.
§2

解答例
§2

s 2 L [ x ] − 1 − 3 s L [ x ] + 2 L [ x ] = 0 {\displaystyle s^{2}{\mathcal {L}}[x]-1-3s{\mathcal {L}}[x]+2{\mathcal {L}}[x]=0} L [ x ] = 1 ( s − 1 ) ( s − 2 ) = 1 s − 2 − 1 s − 1 {\displaystyle {\mathcal {L}}[x]={\frac {1}{(s-1)(s-2)}}={\frac {1}{s-2}}-{\frac {1}{s-1}}} ∴ x = e 2 t − e t {\displaystyle \therefore x=e^{2t}-e^{t}} このとき x ′ = 2 e 2 t − e t {\displaystyle x'=2e^{2t}-e^{t}} x ′′ = 4 e 2 t − e t {\displaystyle x''=4e^{2t}-e^{t}} ∴ x ′′ − 3 x ′ + 2 x = 4 e 2 t − e t − 3 ( 2 e 2 t − e t ) + 2 ( e 2 t − e t ) = 0 {\displaystyle \therefore x''-3x'+2x=4e^{2t}-e^{t}-3(2e^{2t}-e^{t})+2(e^{2t}-e^{t})=0} x ( 0 ) = e 2 ⋅ 0 − e 0 = 0 {\displaystyle x(0)=e^{2\cdot 0}-e^{0}=0} x ′ ( 0 ) = 2 e 2 ⋅ 0 − e 0 = 1 {\displaystyle x'(0)=2e^{2\cdot 0}-e^{0}=1} よって解 x {\displaystyle x} は与方程式の解のひとつ.
§2

♢ {\displaystyle \diamondsuit }
§2

例27 {\displaystyle \quad } 次の微分方程式を解け.解を直接微分方程式に代入して成否を確かめよ.
§2

解答例
§2

s 2 L [ x ] − 4 L [ x ] = 8 s {\displaystyle s^{2}{\mathcal {L}}[x]-4{\mathcal {L}}[x]={\frac {8}{s}}} L [ x ] = 8 s ( s + 2 ) ( s − 2 ) = − 2 s + 1 s − 2 + 1 s + 2 {\displaystyle {\mathcal {L}}[x]={\frac {8}{s(s+2)(s-2)}}={\frac {-2}{s}}+{\frac {1}{s-2}}+{\frac {1}{s+2}}} ∴ x = e 2 t + e − 2 t − 2 {\displaystyle \therefore x=e^{2t}+e^{-2t}-2} このとき x ′ = 2 e 2 t − 2 e − 2 t {\displaystyle x'=2e^{2t}-2e^{-2t}} x ′′ = 4 e 2 t + 4 e − 2 t {\displaystyle x''=4e^{2t}+4e^{-2t}} ∴ x ′′ − 4 x = 4 e 2 t + 4 e − 2 t − 4 ( e 2 t + e − 2 t − 2 ) = 8 {\displaystyle \therefore x''-4x=4e^{2t}+4e^{-2t}-4(e^{2t}+e^{-2t}-2)=8} x ( 0 ) = e 0 + e 0 − 2 = 0 {\displaystyle x(0)=e^{0}+e^{0}-2=0} x ′ ( 0 ) = 2 e 0 − e 0 = 0 {\displaystyle x'(0)=2e^{0}-e^{0}=0} よって解 x {\displaystyle x} は与方程式の解のひとつ.
§2

♢ {\displaystyle \diamondsuit }
§2

例28 {\displaystyle \quad } 次の微分方程式を解け.解を直接微分方程式に代入して成否を確かめよ.
§2

解答例
§2

L [ x ] = x 0 s + ( v 0 + 5 x 0 ) ( s + 2 ) ( s + 3 ) + L [ f ] ( s + 2 ) ( s + 3 ) {\displaystyle {\mathcal {L}}[x]={\frac {x_{0}s+(v_{0}+5x_{0})}{(s+2)(s+3)}}+{\frac {{\mathcal {L}}[f]}{(s+2)(s+3)}}}
§2

過渡解を u ( t ) {\displaystyle u(t)} とすると, u {\displaystyle u} については L [ u ] = x 0 s ( s + 2 ) ( s + 3 ) + ( v 0 + 5 x 0 ) ( s + 2 ) ( s + 3 ) {\displaystyle {\mathcal {L}}[u]={\frac {x_{0}s}{(s+2)(s+3)}}+{\frac {(v_{0}+5x_{0})}{(s+2)(s+3)}}} = x 0 ( − 2 s + 2 + 3 s + 3 ) + ( v 0 + 5 x 0 ) ( 1 s + 2 − 1 s + 3 ) {\displaystyle =x_{0}\left({\frac {-2}{s+2}}+{\frac {3}{s+3}}\right)+(v_{0}+5x_{0})\left({\frac {1}{s+2}}-{\frac {1}{s+3}}\right)} この原像は u ( t ) = x 0 ( − 2 e − 2 t + 3 e − 3 t ) + ( v 0 + 5 x 0 ) ( e − 2 t − e − 3 t ) {\displaystyle u(t)=x_{0}\left(-2e^{-2t}+3e^{-3t}\right)+(v_{0}+5x_{0})\left(e^{-2t}-e^{-3t}\right)} = x 0 ( − 2 e − 2 t + 3 e − 3 t + 5 e − 2 t − 5 e − 3 t ) + v 0 ( e − 2 t − e − 3 t ) {\displaystyle =x_{0}\left(-2e^{-2t}+3e^{-3t}+5e^{-2t}-5e^{-3t}\right)+v_{0}\left(e^{-2t}-e^{-3t}\right)} = x 0 ( 3 e − 2 t − 2 e − 3 t ) + v 0 ( e − 2 t − e − 3 t ) {\displaystyle =x_{0}(3e^{-2t}-2e^{-3t})+v_{0}(e^{-2t}-e^{-3t})} 定常解を v ( t ) {\displaystyle v(t)} とすると, v {\displaystyle v} については L [ v ] = L [ f ] ( s + 2 ) ( s + 3 ) {\displaystyle {\mathcal {L}}[v]={\frac {{\mathcal {L}}[f]}{(s+2)(s+3)}}} = ( 1 s + 2 − 1 s + 3 ) ⋅ L [ f ] {\displaystyle =\left({\frac {1}{s+2}}-{\frac {1}{s+3}}\right)\cdot {\mathcal {L}}[f]} この原像は v ( t ) = ( e − 2 t − e − 3 t ) ∗ f ( t ) {\displaystyle v(t)=(e^{-2t}-e^{-3t})*f(t)} = ∫ 0 t { e − 2 ( t − τ ) − e − 3 ( t − τ ) } f ( τ ) d τ {\displaystyle =\int _{0}^{t}\left\{e^{-2(t-\tau )}-e^{-3(t-\tau )}\right\}f(\tau )d\tau } よって解は x ( t ) = u ( t ) + v ( t ) = x 0 ( 3 e − 2 t − 2 e − 3 t ) + v 0 ( e − 2 t − e − 3 t ) + ∫ 0 t { e − 2 ( t − τ ) − e − 3 ( t − τ ) } f ( τ ) d τ {\displaystyle x(t)=u(t)+v(t)=x_{0}(3e^{-2t}-2e^{-3t})+v_{0}(e^{-2t}-e^{-3t})+\int _{0}^{t}\left\{e^{-2(t-\tau )}-e^{-3(t-\tau )}\right\}f(\tau )d\tau }
§2

続いて検算を実施する.積分範囲の上端が変数である定積分の微分について復習すると, d d t ∫ 0 t f ( τ ) d τ = f ( t ) , {\displaystyle {\frac {d}{dt}}\int _{0}^{t}f(\tau )d\tau =f(t),\quad } ただし, ∫ 0 t f ( τ ) d τ {\displaystyle \int _{0}^{t}f(\tau )d\tau } の被積分形 f ( τ ) {\displaystyle f(\tau )} の中にすでに変数 t {\displaystyle t} が入っていてはいけない.
§2

定常解 v ( t ) {\displaystyle v(t)} については v ( t ) = ∫ 0 t { e − 2 ( t − τ ) − e − 3 ( t − τ ) } f ( τ ) d τ {\displaystyle v(t)=\int _{0}^{t}\left\{e^{-2(t-\tau )}-e^{-3(t-\tau )}\right\}f(\tau )d\tau } = ∫ 0 t { e − 2 t ⋅ e 2 τ − e − 3 t ⋅ e 3 τ } f ( τ ) d τ {\displaystyle =\int _{0}^{t}\left\{e^{-2t}\cdot e^{2\tau }-e^{-3t}\cdot e^{3\tau }\right\}f(\tau )d\tau } = e − 2 t ∫ 0 t e 2 τ f ( τ ) d τ − e − 3 t ∫ 0 t e 3 τ f ( τ ) d τ {\displaystyle =e^{-2t}\int _{0}^{t}e^{2\tau }f(\tau )d\tau -e^{-3t}\int _{0}^{t}e^{3\tau }f(\tau )d\tau } v ′ ( t ) = − 2 e − 2 t ∫ 0 t e 2 τ f ( τ ) d τ + e − 2 t e 2 t f ( t ) + 3 e − 3 t ∫ 0 t e 3 τ f ( τ ) d τ − e − 3 t e 3 t f ( t ) {\displaystyle v'(t)=-2e^{-2t}\int _{0}^{t}e^{2\tau }f(\tau )d\tau +e^{-2t}e^{2t}f(t)+3e^{-3t}\int _{0}^{t}e^{3\tau }f(\tau )d\tau -e^{-3t}e^{3t}f(t)} = − 2 e − 2 t ∫ 0 t e 2 τ f ( τ ) d τ + 3 e − 3 t ∫ 0 t e 3 τ f ( τ ) d τ {\displaystyle =-2e^{-2t}\int _{0}^{t}e^{2\tau }f(\tau )d\tau +3e^{-3t}\int _{0}^{t}e^{3\tau }f(\tau )d\tau } v ′′ ( t ) = 4 e − 2 t ∫ 0 t e 2 τ f ( τ ) d τ − 2 e − 2 t ⋅ e 2 t f ( t ) − 9 e − 3 t ∫ 0 t e 3 τ f ( τ ) d τ + 3 e − 3 t e 3 t f ( t ) {\displaystyle v''(t)=4e^{-2t}\int _{0}^{t}e^{2\tau }f(\tau )d\tau -2e^{-2t}\cdot e^{2t}f(t)-9e^{-3t}\int _{0}^{t}e^{3\tau }f(\tau )d\tau +3e^{-3t}e^{3t}f(t)} = 4 e − 2 t ∫ 0 t e 2 τ f ( τ ) d τ − 9 e − 3 t ∫ 0 t e 3 τ f ( τ ) d τ + f ( t ) {\displaystyle =4e^{-2t}\int _{0}^{t}e^{2\tau }f(\tau )d\tau -9e^{-3t}\int _{0}^{t}e^{3\tau }f(\tau )d\tau +f(t)} よって v ′′ + 5 v ′ + 6 v = { 4 + 5 ( − 2 ) + 6 ⋅ 1 } ∫ 0 t e 2 τ f ( τ ) d τ + { ( − 9 ) + 5 ⋅ 3 + 6 ( − 1 ) } ∫ 0 t e 3 τ f ( τ ) d τ + f ( t ) {\displaystyle v''+5v'+6v=\left\{4+5(-2)+6\cdot 1\right\}\int _{0}^{t}e^{2\tau }f(\tau )d\tau +\left\{(-9)+5\cdot 3+6(-1)\right\}\int _{0}^{t}e^{3\tau }f(\tau )d\tau +f(t)} = f ( t ) {\displaystyle =f(t)}
§2

過渡解 u ( t ) {\displaystyle u(t)} については u ( t ) = x 0 ( 3 e − 2 t − 2 e − 3 t ) + v 0 ( e − 2 t − e − 3 t ) {\displaystyle u(t)=x_{0}(3e^{-2t}-2e^{-3t})+v_{0}(e^{-2t}-e^{-3t})} u ′ ( t ) = x 0 ( − 6 e − 2 t + 6 e − 3 t ) + v 0 ( − 2 e − 2 t + 3 e − 3 t ) {\displaystyle u'(t)=x_{0}(-6e^{-2t}+6e^{-3t})+v_{0}(-2e^{-2t}+3e^{-3t})} u ′′ ( t ) = x 0 ( 12 e − 2 t − 18 e − 3 t ) + v 0 ( 4 e − 2 t − 9 e − 3 t ) {\displaystyle u''(t)=x_{0}(12e^{-2t}-18e^{-3t})+v_{0}(4e^{-2t}-9e^{-3t})} よって u ′′ + 5 u ′ + 6 u = x 0 [ { 12 + 5 ( − 6 ) + 6 ⋅ 3 } e − 2 t + { ( − 18 ) + 5 ⋅ 6 + 6 ( − 2 ) } ] + v 0 [ { 4 + 5 ( − 2 ) + 6 ⋅ 1 } e − 2 t + { − 9 + 5 ⋅ 3 + 6 ( − 1 ) } e − 3 t ] {\displaystyle u''+5u'+6u=x_{0}\left[\left\{12+5(-6)+6\cdot 3\right\}e^{-2t}+\left\{(-18)+5\cdot 6+6(-2)\right\}\right]+v_{0}\left[\left\{4+5(-2)+6\cdot 1\right\}e^{-2t}+\left\{-9+5\cdot 3+6(-1)\right\}e^{-3t}\right]} = 0 {\displaystyle =0} x ( 0 ) = u ( 0 ) = x 0 ( 3 e 0 − 2 e 0 ) + v 0 ( e 0 − e 0 ) = x 0 {\displaystyle x(0)=u(0)=x_{0}(3e^{0}-2e^{0})+v_{0}(e^{0}-e^{0})=x_{0}} x ′ ( 0 ) = u ′ ( 0 ) = x 0 ( − 6 e 0 + 6 e 0 ) + v 0 ( − 2 e 0 + 3 e 0 ) = v 0 {\displaystyle x'(0)=u'(0)=x_{0}(-6e^{0}+6e^{0})+v_{0}(-2e^{0}+3e^{0})=v_{0}} よって x {\displaystyle x} は与方程式の解のひとつ.
§2

♢ {\displaystyle \diamondsuit }
§2

補題
§2

証明
§2

合成積の定義より
§2

を得る.
§2

♢ {\displaystyle \diamondsuit }
§2

この補題(2.17a)を適用すれば,
§2

を得る.ところで,
§2

よって次の公式を得る.
§2

この公式を前の結果
§2

と比較すると, t {\displaystyle t} 領域で e α t {\displaystyle e^{\alpha t}} を掛けることと, s {\displaystyle s} 領域で α {\displaystyle \alpha } だけ移動することとが対応している. このことは,もっと一般的に成立する事実である.
§2

第一移動定理
§2

証明
§2

♢ {\displaystyle \diamondsuit }
§2

この定理から,直ちに,
§2

が導かれるのである.
§2

例29 {\displaystyle \quad }
§2

を解け.
§2

解答例
§2

与式を Laplace 変換すると,
§2

これを L [ x ] {\displaystyle {\mathcal {L}}[x]} について解くと,
§2

となるから,この原像は,
§2

である.
§2

♢ {\displaystyle \diamondsuit }
§2

例30 {\displaystyle \quad }
§2

を解け.
§2

解
§2

とおくと,
§2

それゆえ,
§2

を得る.
§2

♢ {\displaystyle \diamondsuit }
§2

例31 {\displaystyle \quad }
§2

次の微分方程式を解け.
§2

解等例
§2

s L [ x ] − 1 + L [ x ] = 1 s + 1 {\displaystyle s{\mathcal {L}}[x]-1+{\mathcal {L}}[x]={\frac {1}{s+1}}}
§2

∴ L [ x ] = 1 s + 1 + 1 ( s + 1 ) 2 {\displaystyle \therefore {\mathcal {L}}[x]={\frac {1}{s+1}}+{\frac {1}{(s+1)^{2}}}}
§2

∴ x = ( 1 + t ) e − t {\displaystyle \therefore x=(1+t)e^{-t}}
§2

♢ {\displaystyle \diamondsuit }
§2

例32 {\displaystyle \quad }
§2

次の微分方程式を解け.
§2

解答例
§2

s 2 L [ x ] + 2 s L [ x ] + L [ x ] = 1 ( s + 1 ) 2 {\displaystyle s^{2}{\mathcal {L}}[x]+2s{\mathcal {L}}[x]+{\mathcal {L}}[x]={\frac {1}{(s+1)^{2}}}}
§2

L [ x ] = 1 ( s + 1 ) 4 {\displaystyle {\mathcal {L}}[x]={\frac {1}{(s+1)^{4}}}}
§2

∴ x = t 3 3 ! e − t {\displaystyle \therefore x={\frac {t^{3}}{3!}}e^{-t}}
§2

♢ {\displaystyle \diamondsuit }
§2

例33 {\displaystyle \quad }
§2

次の微分方程式を解け.
§2

解答例
§2

s 2 L [ x ] − 2 s − 1 + 4 ( s L [ x ] − 2 ) + 4 L [ x ] = 3 ( s + 2 ) 2 {\displaystyle s^{2}{\mathcal {L}}[x]-2s-1+4(s{\mathcal {L}}[x]-2)+4{\mathcal {L}}[x]={\frac {3}{(s+2)^{2}}}}
§2

L [ x ] = 2 s + 9 ( s + 2 ) 2 + 3 ( s + 2 ) 4 = 2 s + 2 + 5 ( s + 2 ) 2 + 3 ( s + 2 ) 4 {\displaystyle {\mathcal {L}}[x]={\frac {2s+9}{(s+2)^{2}}}+{\frac {3}{(s+2)^{4}}}={\frac {2}{s+2}}+{\frac {5}{(s+2)^{2}}}+{\frac {3}{(s+2)^{4}}}}
§2

x = ( 2 + 5 t + t 3 2 ) e − 2 t {\displaystyle x=(2+5t+{\frac {t^{3}}{2}})e^{-2t}}
§2

♢ {\displaystyle \diamondsuit }
§2

例34 {\displaystyle \quad }
§2

次の微分方程式を解け.
§2

解答例
§2

s 2 L [ x ] + 2 s L [ x ] − 3 L [ x ] = 16 s − 1 {\displaystyle s^{2}{\mathcal {L}}[x]+2s{\mathcal {L}}[x]-3{\mathcal {L}}[x]={\frac {16}{s-1}}}
§2

L [ x ] = 16 ( s − 1 ) 2 ( s + 3 ) = 1 s + 3 − 1 s − 1 + 4 ( s + 1 ) 2 {\displaystyle {\mathcal {L}}[x]={\frac {16}{(s-1)^{2}(s+3)}}={\frac {1}{s+3}}-{\frac {1}{s-1}}+{\frac {4}{(s+1)^{2}}}}
§2

∴ x = e − 3 t + ( 4 t − 1 ) e t {\displaystyle \therefore x=e^{-3t}+(4t-1)e^{t}}
§2

♢ {\displaystyle \diamondsuit }