Loading [MathJax]/jax/output/CommonHTML/jax.js

応用数学 第14回 (3) 定数係数2階線形微分方程式再考

定数係数2階線形微分方程式をラプラス変換で

  {ax+bx+cx=f(t)x(0)=C0, x(0)=C1.  ()
を例 4.1 (3) と同様にして解いてみます。X(s)=L(x(t)) とおくと L(ax+bx+cx)=a(s2Xsx(0)x(0))+b(sXx(0))+cX=a(s2XC0sC1)+b(sXC0)+cX=(as2+bs+c)XC0(as+b)C1a よって L(f)=F とおくと
(s2+as+b)X=C0(as+b)+C1a+F
となります。さらに H=as2+bs+c とおくと
X=C0(as+bH)+C1(aH)+(1H)F.
これをラプラス逆変換して
  x(t)=C0L1(as+bH)+C1L1(aH)+L1(1H)f(t) ()

() の解釈

 前ページの RLC 回路がそうであるように、() で表されるシステムでは得てして
  • a, b, c はシステムで決まっている定数
  • f(t) は入力 ( 外力、とも言う )
  • x(t) は出力 ( 応答関数、とも言う )
です。すると
x0(t)=L1(as+bH),   x1(t)=L1(aH),   w(t)=L1(1H)
は全てシステムによって決まっている関数であり、解 x(t)
x(t)=C0x0(t)+C1x1(t)+w(t)f(t).
と書ける
ことになります。そして
  • x0(t), x1(t) は補助方程式 ( 右辺 f(t)=0 の場合 ) の解の基底である。
  • 初期条件の C0=x(0), C1=x(0) はその結合係数として解に関与する。
  • 外力 f(t) は畳み込みの形で解に関与する。
と解釈することができます。

インパルス応答

 ところで、ディラックのデルタ関数 δ(t) は次の意味で「畳み込みに関する単位元」と言えます:
Prop.2 任意の関数 g(t) に対して g(t)δ(t)=g(t).
証明  L(gδ)=L(g)×L(δ)=L(g)×1=L(g).  よって gδ=g.  (証明終)

 この命題から、外力 f(t) の畳み込みの相手 w(t)=L1(1H) については 次のことがわかります。
Rem.3 w(t) は、初期条件が C0=C1=0、外力が f(t)=δ(t) のときの解である。
 制御工学・電気工学では
  • H をインピーダンス ( 特性関数 )
  • 1H を伝達関数
  • w(t)=L1(1H) をインパルス応答
  • δ(t) を単位インパルス
などとと呼びます。インパルス応答 w(t) は初期条件にも外力にも依らず、 システムの特性を表す重要な関数で、
  • スピーカーの設計
  • デジタル信号処理
などにも応用されます。 実際のシステムでは単位インパルス δ(t) に近い短いパルスを入力したときの出力として測定したりします。