このあたりで，2階の線形微分方程式の解き方をまとめておこう．
ここに，a, b は実定数とする．
この式を Laplace 変換すると，
となる．これを \mathcal{L}[x] について解くと，
}
ここに，
いま，
とすれば，式(2.24) の解は，
となる．したがってあとは，2次の分数式
}
の原像過渡解と呼ぶ．を求めることだけが残っている．そこで分母の多項式を，
とおき，次の三つの場合に分けて考える．
(i) h(s)=0 が異なる 2 実根 \alpha, \beta を持つとき，
}
(ii) h(s)=0 が重根 \alpha を持つとき，
}
(iii) h(s)=0 が虚根 \alpha \pm i\beta を持つとき，
となる．
初期値が定まれば A, B は決まる
実際、式(2.24) の初期値として x(0)=x_0, x'(0)=v_0 のとき，h(s)が二実根を持つなら A = \frac{\beta x_0 - v_0}{\beta-\alpha}, B = \frac{v_0 - \alpha x_0}{\beta-\alpha}, h(s)が重根を持つなら，A = v_0 - \alpha x_0, B=x_0, h(s) が虚根を持つなら A = x_0, B = \frac{v_0 - \alpha x_0}{\beta}． 
．しかしこのまま未定のまま放置しておいても，与えられた微分方程式の解である．
例48\quad
R(s) の原像は，同次微分方程式または斉次微分方程式．，
の解であることを，直接，式(2.25) に代入して確かめよ．
解答例
(i) 上記 h(s) = 0 が二実根を持つ場合．
h(s) = s^2 + as + b = 0 の二根を \alpha, \beta とすると，解と係数の関係より
よって対応する微分方程式は，
この解が x = Ae^{\alpha t} + Be^{\beta t} であることを、この方程式に直接代入して確かめる．
(i) 上記 h(s) = 0 が重根を持つ場合．
重根を \alpha とするとき，
対応する微分方程式は，
この解が x = (At + B)e^{\alpha t} であることを直接代入して確認する．
(i) 上記 h(s) = 0 が虚根を持つ場合．
二虚根を \alpha\pm\beta i とするとき，これを根とする方程式は，
対応する微分方程式は
x = e^{\alpha t}(A\cos\beta t + B\sin\beta t) がこの方程式の解であることを実際に代入して確認する．
\diamondsuit
A, B を未定のまま，放置しておいた解を一般解という．
一般解は，R(s) の分母，すなわち，
だけによって決まる．この式は式 (2.25) から直ちに書き下すことができる．
これを，微分方程式 (2.25) の特性多項式という隣接三項間の線形漸化式にも特性方程式が登場するが，単にそれにとどまらず隣接三項間の漸化式全体がこの二階微分方程式と相似する．．
非同次の方程式または非斉次微分方程式．，
の解の一つ，
ここに，
}
定常解と呼ぶ．が，確かに式 (2.26) を満たすことを確認しておこう．
その前に次の補題を準備する．
補題 2.2\quad
証明
とすると，
となる．この原像が求める公式である．というのは，
だから
すなわち，\frac{d}{dt}(f*g) \sqsupset sFG - (f*g)(0) で (f*g)(0) = \int_0^{t=0} f(t-\tau)g(\tau)d\tau = 0．
である．
\diamondsuit
このように Laplace 変換を使えば簡単に証明できるが，これを使わない別証を与えておく．
その理由は，「Laplace 変換によって求めた解が正しい解であること」を確認するという目的であるのに，
そのために Laplace 変換を使うのはまずいからである．
別証
に
{{制御と振動の数学/equation|g(t-\tau)=\int_{\tau}^t g'(u-\tau)du + g(0)
を代入した式，
において，右辺の第 1 項の積分順序を変更する．
合成積 の Laplace 変換を計算したときと同様に考えればよい．積分範囲は三角領域，
であるから，
すなわち
となる．これを t で微分すればよい．
\diamondsuit
さて，この合成積の微分をもう一度実行すると，
となる．以下帰納的に，公式
を得る
ここで (g''*f)' = g'''*f + g''(0)f より
ここで (g^{(3)}*f)' = g^{(4)}*f + g^{(3)}(0)f より
例によって数学的帰納法による記述は回避する．
．ただし f^{(0)}=f, g^{(0)} = g とする．もちろん f, g は必要なだけ微分可能としている．
さて，これだけ準備しておいて，本題に入ろう．g(t) は
の解である
とおくと
すなわち
ここで
より
よって
から，
となる．よって，
となって証明が完了する．
\diamondsuit
例49\quad
例にならって
が
の解であることを証明してみよ．
解答例
\diamondsuit
例50\quad
例にならって
が
の解であることを証明してみよ．
解答例
\diamondsuit