解析学基礎/微分方程式入門

未知の関数とその導関数を含む方程式を微分方程式と呼びます。
本来これは総称であって正確には1変数関数の導関数(常微分)を含む常微分方程式と多変数関数の所謂偏導関数(偏微分)
を含む偏微分方程式に大別されるのですが本稿では偏微分方程式は扱わないのでここで単に微分方程式と言った場合は
常微分方程式を表すものとします。
また理論的な詳細は常微分方程式を参照してもらう事とし本稿では解法の説明を重点的に行う事にします。 ${\displaystyle }$

1階微分方程式

微分方程式の中に含まれる導関数の最高階数をその微分方程式の階数といいます。この節では1階導関数を含む所謂1階微分方程式について解説します。

変数分離形

1階微分方程式に於いて最も単純なのは変数分離形と呼ばれる以下の形の微分方程式です。；

${\frac {dy}{dx}}=f(x)g(y)$　(ただし$g(y)\neq 0$)

この微分方程式は両辺をg(y)で割って積分する事により以下のように解く事ができます。；

$\int {\frac {1}{g(y)}}{\frac {dy}{dx}}dx+C_{1}=\int f(x)dx+C_{2}$

$\int {\frac {1}{g(y)}}dy=\int f(x)dx+C$

ここで $C=C_{2}-C_{1}$ という風にして積分定数(微分方程式の世界では任意定数と呼ぶ事が多いです)を1つにまとめました。(以下この様な任意定数の書き換えを適宜(暗黙裡に)行う場合があります。)この任意定数を含む解を一般解といいます。他方任意定数に特定の値を与えて一意的に決定した解を特殊解と呼びます。任意定数は $y_{0}=f(x_{0})$ のように独立変数がある値のときの従属変数の値を与えることで決定する事がしばしばあります。この $y_{0}=f(x_{0})$の様な関係式 を初期条件と言い、関数値 $y_{0}$ を初期値と言います。初期条件から特殊解を決定する計算は一般解を求めるよりは易しいことが多いですので、一般解が求まったことをもって解が求まったとしてもよさそうにも思われますが、物理現象などを記述するために微分方程式を解いているのならば、特殊解こそが現実の事象を記述しているとも言えますので、初期条件から特殊解を求めることも重要です。

1階線型微分方程式

未知関数及びその導関数についての1次式で書かれる微分方程式を線型微分方程式と呼びます。ここでは1階のそれについて述べる事にします。
微分方程式

$y'+P(x)y=Q(x)$　…(☆)

を1階線型微分方程式といいます。この微分方程式の一般解は以下の公式で与えられます。

• $y=e^{-\int P(x)dx}\left\{\int e^{\int P(x)dx}Q(x)dx+C\right\}$

証明
$y=e^{-\int P(x)dx}\left\{\int e^{\int P(x)dx}Q(x)dx+C\right\}$とすると、

$y'+P(x)y=-P(x)e^{-\int P(x)dx}\left\{\int e^{\int P(x)dx}Q(x)dx+C\right\}+e^{-\int P(x)dx}e^{\int P(x)dx}Q(x)+P(x)e^{-\int P(x)dx}\left\{\int e^{\int P(x)dx}Q(x)dx+C\right\}=Q(x)$

導出
まず微分方程式(☆)の右辺を零とおいた $y'+P(x)y=0$ …(☆☆) という等式を考えます (これを(☆)に付随する同次方程式または斉次方程式といいます)。
この同次方程式(☆☆)は変数分離形なので

$y'=-P(x)y$

$\int {\frac {1}{y}}dy=-\int P(x)dx+C_{1}$

$y=\pm e^{-\int P(x)dx+C_{1}}=C_{2}e^{-\int P(x)dx}$

という風に解けます( $C_{2}=\pm e^{C_{1}}$と書き換えました。)。ここでこの解を用いて微分方程式(☆)を満たす関数を作ります。
この解の任意定数 $C_{2}$ をある関数$u(x)$に書き換えた式

$y=u(x)e^{-\int P(x)dx}$ …(☆☆☆)

が(☆)の解になっているとします(この書き換えを定数変化法といいます。任意の関数yは$u(x)$を適切に設定すればこのように表せることに注意)。この(☆☆☆)の両辺を微分すれば

$y'=u'(x)e^{-\int P(x)dx}+u(x)e^{-\int P(x)dx}(-P(x))=u'(x)e^{-\int P(x)dx}-P(x)y$

が成り立ちます。そしてこの最右辺第２項を移項すれば(☆)より

$Q(x)=u'(x)e^{-\int P(x)dx}$

でなければならないことが分かります。従ってこの等式から

$u'(x)=e^{\int P(x)dx}Q(x)$

$u(x)=\int e^{\int P(x)dx}Q(x)dx+C$

が得られます。この関数$u(x)$を(☆☆☆)に代入する事により上述の公式が導かれる事が分かります。(証明終)

ベルヌーイの微分方程式

1階微分方程式

$y'=P(x)y+Q(x)y^{m}$　, $(m\in \mathbb {R} )$

をベルヌーイの微分方程式と呼びます。この微分方程式は $m=0$ のときは1階線型微分方程式、 $m=1$ のときは変数分離形の微分方程式ですので、既にみたようにして解くことができますが、$m\neq 0,1$ の場合は次のようにして解くことができます。

未知関数 $y=y(x)$ に対して $u=u(x)=y^{1-m}$ という関数を考えて、これを微分すると

$u'=(1-m)y^{-m}\cdot y'=(1-m)y^{-m}\{P(x)y+Q(x)y^{m}\}=(1-m)\{P(x)y^{1-m}+Q(x)\}=(1-m)\{P(x)u+Q(x)\}$

が得られます。これは関数 $u=u(x)$ に関する1階線型微分方程式に他なりません。

クレローの微分方程式

1階微分方程式

$y=xy'+f(y')$

をクレローの微分方程式といいます。この微分方程式に於いて $y'=p$ と書いて両辺を微分すると

$y'=p'x+p\cdot 1+f'(p)p'=p$

すなわち

$p'\{x+f'(p)\}=0$

が成り立ちます。これから $p'=0$ または $x+f'(p)=0$ が得られますが、前者からただちに $p=C$ (任意定数)が求まるので、これにより

• $y=Cx+f(C)$　…(✪)
  

という風に一般解が導かれます。一方の後者の方ですが、この等式と当該微分方程式を連立させて $p$ を消去すると上述の一般解とは一味違う解が導かれます。
この解は上記一般解(✪)の任意定数にいかなる数値を代入しても求める事ができない解であり、特異解と呼ばれています。
(実はこの特異解、直線族(✪)を自身の各点に於ける接線とする曲線(包絡線といいます)を表していたりします。)

2階微分方程式

ここからは2階微分方程式の解法について述べる事にします。

簡単な2階微分方程式

以下の微分方程式は置換積分を用いる事により変数分離形の1階微分方程式に帰着させる事ができます。；

• ${\frac {d^{2}y}{dx^{2}}}=\phi (y)$。

上式の両辺にdy/dxを掛けて積分すれば

$\int {\frac {dy}{dx}}{\frac {d^{2}y}{dx^{2}}}dx=\int \phi (y){\frac {dy}{dx}}dx+C_{1}$

となります。ここで $u={\frac {dy}{dx}}$ とおけば$\int {\frac {dy}{dx}}{\frac {d^{2}y}{dx^{2}}}dx=\int udu$ですので、以下のように計算できます。；

$\int udu=\int \phi (y)dy+C_{1}$

${\frac {1}{2}}u^{2}=\int \phi (y)dy+C_{1}$

${\frac {dy}{dx}}=\pm {\sqrt {2\int \phi (y)dy+C_{2}}}$

これは(形は複雑ですが)変数分離形の微分方程式に他なりません。

2階線型微分方程式Ⅰ

一般の2階の線型微分方程式は、

$y''+P(x)y'+Q(x)y=R(x)$　…(＊)

という形で書ける微分方程式です。また微分方程式(＊)に付随する同次方程式は次式で表されます。；

$y''+P(x)y'+Q(x)y=0$　…(＊＊)。

ここで微分方程式(＊＊)が$y_{1}=y_{1}(x),y_{2}=y_{2}(x)$という２つの解を持っていたとします。するとこれらの線型結合

$y=c_{1}y_{1}+c_{2}y_{2}$　($c_{1},c_{2}$:任意定数)　…(＊＊＊)

も(＊＊)を満たす事が代入により分かります。このような解 $y_{1},y_{2}$ を(＊＊)の基本解といいます。
一般的な形(関数係数かつ非同次)の2階線型微分方程式(＊)を解くのは少し難しいのでそれに関しては後述させてもらう事にしてここでは定数係数かつ同次の2階線型微分方程式の解法について述べてゆく事にします。

それでは2階定数係数同次線型微分方程式

$y''+ay'+by=0$　($a,b=Const$)　…(★)

の解を探してみることにしましょう。やや天下り的ですが $y=e^{\lambda x}$ とおくと、$y'=\lambda e^{\lambda x},y''=\lambda ^{2}e^{\lambda x}$なので、これを方程式に代入すれば

$(\lambda ^{2}+a\lambda +b)e^{\lambda x}=0$

となります。指数関数が零になる事はないので上式から二次方程式

$\lambda ^{2}+a\lambda +b=0$　…(★★)

が得られます(これを特性方程式といいます)。
この二次方程式の相違なる二解を $\lambda _{1},\lambda _{2}$ と書けば二つの指数関数 $e^{\lambda _{1}x},e^{\lambda _{2}x}$ が微分方程式(★)の基本解になっている事が分かります。
ゆえに(＊＊＊)より次式で与えられる関数が微分方程式(★)の一般解になっている事が分かりました。；

• $y=c_{1}e^{\lambda _{1}x}+c_{2}e^{\lambda _{2}x}$。　…(♪)

特性方程式(★★)が重解 $\lambda$ を持つ場合、以下で見るように(★)は $y=e^{\lambda x}$ という形以外の解を持ちます。
解がある関数 $u=u(x)$ を用いて $y=ue^{\lambda x}$ と書けるとすると、

$y'=u'e^{\lambda x}+u\lambda e^{\lambda x}=e^{\lambda x}(u'+\lambda u)$、

$y''=\lambda e^{\lambda x}(u'+\lambda u)+e^{\lambda x}(u''+\lambda u')=e^{\lambda x}(u''+2\lambda u'+\lambda ^{2}u)$

より

$y''+ay'+by=e^{\lambda x}\{u''+(2\lambda +a)u'+(\lambda ^{2}+a\lambda +b)u\}$　…(＃)

が得られます。ここで$\lambda$は二次方程式(★★)の解なので、$(\lambda ^{2}+a\lambda +b)=0$であり、また解と係数の関係より$\lambda +\lambda =-a$すなわち$2\lambda +a=0$が成り立つので、(＃)が零となるためには $u''=0$すなわち$u=c_{1}+c_{2}x$ ($c_{1},c_{2}$:積分定数) が成立せねばなりません。
従って(★★)が重解を持つとき微分方程式(★)は以下の解を持つ事が分かりました。；

• $y=e^{\lambda x}(c_{1}+c_{2}x)$ 。…(♪♪)

特性方程式(★★)の相違なる二解が複素数解 $\alpha \pm i\beta$ ($i$:虚数単位)である場合一般解(♪)は複素数値関数を用いて表される事になりますがこの解は以下のように適当な変形を施す事によって実数値関数を用いた式に書き換えられる事がわかります。
$\lambda _{1}=\alpha +i\beta ,\lambda _{2}=\alpha -i\beta$ とおけばオイラーの公式 $e^{i\theta }=\cos {\theta }+i\sin {\theta },(\theta \in \mathbb {R} )$ より

$e^{\lambda _{1}x}=e^{(\alpha +i\beta )x}=e^{\alpha x}e^{i\beta x}=e^{\alpha x}(\cos {\beta x}+i\sin {\beta x})$

$e^{\lambda _{2}x}=e^{(\alpha -i\beta )x}=e^{\alpha x}e^{-i\beta x}=e^{\alpha x}(\cos {\beta x}-i\sin {\beta x})$

が成り立ちます。したがって、解(♪)は

$c_{1}e^{\alpha x}(\cos {\beta x}+i\sin {\beta x})+c_{2}e^{\alpha x}(\cos {\beta x}-i\sin {\beta x})=e^{\alpha x}((c_{1}+c_{2})\cos {\beta x}+i(c_{1}-c_{2})\sin {\beta x})$

と書き換えられますので、任意定数を書き換えることで

• $y=e^{\alpha x}(c_{1}\cos {\beta x}+c_{2}\sin {\beta x})$。…(♪♪♪)

と表されることがわかりました。

(♪♪♪)は(♪)とはずいぶん見た目の異なる表現ですので、本当に解になっているか不安になるかもしれません。実際に(★)を満たすか確かめてみましょう。(♪♪♪)を微分すると

$y'=e^{\alpha x}\left((\alpha c_{1}+\beta c_{2})\cos \beta x+(\alpha c_{2}-\beta c_{1})\sin \beta x)\right)$

$y''=e^{\alpha x}\left(\left((\alpha ^{2}-\beta ^{2})c_{1}+2\alpha \beta c_{2}\right)\cos \beta x+\left(-2\alpha \beta c_{1}+(\alpha ^{2}-\beta ^{2})c_{2}\right)\sin \beta x\right)$

です。これを(★)の左辺に代入してみます。(★★)の解と係数の関係より$a=-2\alpha ,b=\alpha ^{2}+\beta ^{2}$であることに注意すると、

${\begin{aligned}&y''+ay'+by\\=&e^{\alpha x}\left(\left(\left((\alpha ^{2}-\beta ^{2})c_{1}+2\alpha \beta c_{2}\right)-2\alpha (\alpha c_{1}+\beta c_{2})+(\alpha ^{2}+\beta ^{2})c_{1}\right)\cos \beta x+\left(\left(-2\alpha \beta c_{1}+(\alpha ^{2}-\beta ^{2})c_{2}\right)-2\alpha (\alpha c_{2}-\beta c_{1})+(\alpha ^{2}+\beta ^{2})c_{2}\right)\sin \beta x\right)\\=&0\end{aligned}}$

となり、確かに解であることが確かめられました。

(♪♪♪)に於いて $c_{1}=A\sin {\theta _{0}},c_{2}=A\cos {\theta _{0}}$ とおけば解は

• $y=Ae^{\alpha x}\sin {(\beta x+\theta _{0})}$　…(♬)

と表せます。(♪♪♪)の表現は解が二次元の線型空間をなすことがわかりやすい表現ですが、(♬)の表現は任意定数を決めたときの関数の様子がよりわかりやすい表現で、どちらも重要な表現です。

2階線型微分方程式Ⅱ

ここからは定数係数の2階非同次線型微分方程式

$y''+ay'+by=R$　…(†)　(※$R=R(x)$)　${\displaystyle }$

の解法について考察する事にしましょう。1階線型微分方程式の節で述べた定数変化法がここでも使えます。まず同次方程式(★)の一般解を
$y=c_{1}y_{1}+c_{2}y_{2}$ と書く事にします。そしてこの解の任意定数 $c_{1},c_{2}$ をそれぞれ二つの関数 $u=u(x),v=v(x)$ に置き換えたものを

$y_{p}=uy_{1}+vy_{2}$

で表す事とし、これが(†)を満たすものとします。上式を微分すると

$y'_{p}=u'y_{1}+uy'_{1}+v'y_{2}+vy'_{2}$

が得られます。ここで再び天下り的ですが $u'y_{1}+v'y_{2}=0$ を仮定しておく事にします。すると

$y'_{p}=uy'_{1}+vy'_{2}$

ですが、これを更に微分すれば

$y''_{p}=u'y'_{1}+uy''_{1}+v'y'_{2}+vy''_{2}$

となります。これらを(†)に代入すれば

$(y''_{1}+ay'_{1}+by_{1})u+(y''_{2}+ay'_{2}+by_{2})v+u'y'_{1}+v'y'_{2}=R$

となりますが、2つの関数 $y_{1},y_{2}$ は(★)の基本解だから上式の括弧内は零になります。従って仮定と組み合わせる事により2つの等式

$\left\{{\begin{matrix}u'y_{1}+v'y_{2}=0\\u'y'_{1}+v'y'_{2}=R\end{matrix}}\right.$

が求まります。これを未知数 $u',v'$ に関する連立一次方程式と考えて解けば

$u'=-{\frac {Ry_{2}}{W}}$　、$v'={\frac {Ry_{1}}{W}}$

となります。ここで $W=W(y_{1},y_{2})=y_{1}y'_{2}-y'_{1}y_{2}$ とおきました。(この関数Ｗをロンスキー行列式またはロンスキアンと呼びます。)
上述の連立方程式の解を積分すれば次式が得られます。；

$u=-\int {\frac {Ry_{2}}{W}}dx$　、$v=\int {\frac {Ry_{1}}{W}}dx$。

従ってこれらを $y_{p}=uy_{1}+vy_{2}$ に代入すれば以下の式が(†)を満たすことがわかります。；

• $y_{p}=-y_{1}\int {\frac {Ry_{2}}{W}}dx+y_{2}\int {\frac {Ry_{1}}{W}}dx$。

この$y_{p}$と同次方程式(★)の一般解 $y_{G}=c_{1}y_{1}+c_{2}y_{2}$を用いて

$y=y_{G}+y_{p}$

と表される関数を考えると、

$y''+ay'+by=(y''_{G}+ay'_{G}+by_{G})+(y''_{p}+ay'_{p}+by_{p})=0+R=R$

ですので、この式が非同次方程式(†)の一般解になっていることがわかります。すなわち、

• $y=c_{1}y_{1}+c_{2}y_{2}-y_{1}\int {\frac {Ry_{2}}{W}}dx+y_{2}\int {\frac {Ry_{1}}{W}}dx$

は一般解になっています。

　(補遺)
ここで上述のオイラーの公式について一点補足しておきます。当公式は指数関数及び正弦・余弦のテイラー展開を用いて証明するのが一般的なのですが
一応以下のような導出法もあります。;
実変数複素数値関数 $f(x)=g(x)+ih(x)$ に対してその微積分を

$f'(x)=g'(x)+ih'(x)$　、$\int f(x)dx=\int g(x)dx+i\int h(x)dx$

で定義しておきます。ここで関数 $f(x)=\cos x+i\sin x$ を考えて上式を使って微分すれば

$f'(x)=-\sin x+i\cos x=i(\cos x+i\sin x)$

であり、すなわち

$f'(x)=if(x)$

が成り立ちます。これは変数分離形の1階微分方程式であり、 $f(x)=Ce^{ix}$ という風に解けます。また $f(0)=1$ からただちにC=1が求まるので結局

$e^{ix}=\cos x+i\sin x$

が導かれる事が分かります。(略証終)

2階線型微分方程式Ⅲ

2階冪関数係数線型微分方程式　${\displaystyle }$

$x^{2}y''+axy'+by=Q(x)$　…(❤)

を(２階の)オイラーの微分方程式と呼びます。この線型微分方程式は適当な変数変換を行う事により定数係数のそれに帰着させる事ができます。
以下ではその事実を示してゆく事にしましょう。
独立変数 $x$ に対して $x=e^{t}$ とおくと、${\frac {dt}{dx}}=e^{-t}$が得られます。次に関数 $y=y(x)$ の媒介変数 $t$ に関する微分をドット記号 ❝・❞ を用いて ${\dot {y}}={\frac {dy}{dt}}$、${\ddot {y}}={\frac {d^{2}y}{dt^{2}}}$ という風に書く事にすれば

$y'={\frac {dy}{dt}}{\frac {dt}{dx}}={\dot {y}}e^{-t}$より、$xy'={\dot {y}}$

$y''={\frac {dy'}{dt}}{\frac {dt}{dx}}={\frac {d}{dt}}({\dot {y}}e^{-t})\cdot e^{-t}=\{{\ddot {y}}e^{-t}+{\dot {y}}e^{-t}(-1)\}\cdot e^{-t}=({\ddot {y}}-{\dot {y}})\cdot e^{-2t}$より、$x^{2}y''={\ddot {y}}-{\dot {y}}$

が成立します。これらの等式を微分方程式 (❤) に代入すれば ${\ddot {y}}+(a-1){\dot {y}}+by=Q(e^{t})$　…(♠) が導かれます。これは変数 $t$ を独立変数とする未知関数 $y=y(e^{t})$ に関する2階定数係数線型微分方程式に他なりません。

簡単な連立微分方程式

ここでは連立方程式の微分方程式版とも言うべき連立微分方程式の解法について考察する事にします。一般的な解法を述べるのは難しいので以下では極めて単純な1階定数係数同次線型連立微分方程式の解法についてのみ議論してゆく事にします。なお本節では行列の固有値と固有ベクトルに関する知識を仮定しています。

二つの未知関数 $y_{1}=y_{1}(x),y_{2}=y_{2}(x)$ に対して以下の連立微分方程式が成立しているとします。；

$\left\{{\begin{matrix}y'_{1}=a_{11}y_{1}+a_{12}y_{2}\\y'_{2}=a_{21}y_{1}+a_{22}y_{2}\end{matrix}}\right.$　…(♡)

この連立微分方程式は

${\begin{pmatrix}y'_{1}\\y'_{2}\\\end{pmatrix}}={\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\\\end{pmatrix}}{\begin{pmatrix}y_{1}\\y_{2}\\\end{pmatrix}}$

と表せますので、

$A={\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\\\end{pmatrix}}$　、$\mathbf {y} ={\begin{pmatrix}y_{1}\\y_{2}\\\end{pmatrix}}$

とすると

${\frac {d\mathbf {y} }{dx}}=A\mathbf {y}$

という風に簡潔に表す事ができます。(ベクトル値関数の微分は成分ごとに行うものとします。)

ここで行列Aが異なる2つの固有値$\lambda _{1},\lambda _{2}$を持つとすると、適当な行列Pを用いて

$P^{-1}AP={\begin{pmatrix}\lambda _{1}&0\\0&\lambda _{2}\\\end{pmatrix}}$

と表せます。ここで$\mathbf {z} =P^{-1}\mathbf {y}$とすると、${\frac {d\mathbf {y} }{dx}}=A\mathbf {y}$より

${\frac {d\left(P^{-1}\mathbf {y} \right)}{dx}}=P^{-1}A\mathbf {y}$

${\frac {d\mathbf {z} }{dx}}=P^{-1}AP\mathbf {z}$

が得られます。

$\mathbf {z} ={\begin{pmatrix}z_{1}\\z_{2}\\\end{pmatrix}}$とすると、

${\begin{pmatrix}z'_{1}\\z'_{2}\\\end{pmatrix}}={\begin{pmatrix}\lambda _{1}&0\\0&\lambda _{2}\\\end{pmatrix}}{\begin{pmatrix}z_{1}\\z_{2}\\\end{pmatrix}}={\begin{pmatrix}\lambda _{1}z_{1}\\\lambda _{2}z_{2}\\\end{pmatrix}}$

となります。この方程式を解くと、

$z_{1}=c_{1}e^{\lambda _{1}x},z_{2}=c_{2}e^{\lambda _{2}x}$

であることはただちにわかります。$P={\begin{pmatrix}p_{11}&p_{12}\\p_{21}&p_{22}\\\end{pmatrix}}$とすると $\mathbf {y} =P\mathbf {z}$ より

${\begin{pmatrix}y_{1}\\y_{2}\\\end{pmatrix}}={\begin{pmatrix}p_{11}&p_{12}\\p_{21}&p_{22}\\\end{pmatrix}}{\begin{pmatrix}z_{1}\\z_{2}\\\end{pmatrix}}={\begin{pmatrix}p_{11}z_{1}+p_{12}z_{2}\\p_{21}z_{1}+p_{22}z_{2}\\\end{pmatrix}}=z_{1}{\begin{pmatrix}p_{11}\\p_{21}\\\end{pmatrix}}+z_{2}{\begin{pmatrix}p_{12}\\p_{22}\\\end{pmatrix}}$

となります。従って上式に表れる二つのベクトルを

${\boldsymbol {\phi _{1}}}={\begin{pmatrix}p_{11}\\p_{21}\\\end{pmatrix}}$　、${\boldsymbol {\phi _{2}}}={\begin{pmatrix}p_{12}\\p_{22}\\\end{pmatrix}}$

とおく事により以下の連立微分方程式(♡)の解の公式が導かれる事になります。；

• $\mathbf {y} =c_{1}e^{\lambda _{1}x}{\boldsymbol {\phi _{1}}}+c_{2}e^{\lambda _{2}x}{\boldsymbol {\phi _{2}}}$

前節で述べた2階定数係数同次線型微分方程式

$y''+ay'+by=0$　($a,b=Const$)　…(★)

は未知関数及びその導関数を $y=y_{1}$　、$y'=y'_{1}=y_{2}$とおく事により

${\begin{cases}y'_{1}=y_{2}\\y'_{2}=-by_{1}-ay_{2}\end{cases}}$

と連立微分方程式の形で書けます。ゆえに2階線型微分方程式(★)は上述の連立微分方程式(♡)の特別な場合に過ぎない事が分かります。
そしてこれは

$A^{\dagger }={\begin{pmatrix}0&1\\-b&-a\\\end{pmatrix}}$

を用いて${\frac {d\mathbf {y} }{dx}}=A^{\dagger }\mathbf {y}$と書けます。ここでこの行列 $A^{\dagger }$ の固有多項式を求めてみると

$\Psi _{A^{\dagger }}(\lambda )=\det(\lambda E-A^{\dagger })=\left|{\begin{pmatrix}\lambda &0\\0&\lambda \\\end{pmatrix}}-{\begin{pmatrix}0&1\\-b&-a\\\end{pmatrix}}\right|={\begin{vmatrix}\lambda &-1\\b&\lambda +a\\\end{vmatrix}}=\lambda (\lambda +a)-(-b)=\lambda ^{2}+a\lambda +b$

となります(ただし $E$ は単位行列)。即ち前節で天下り的に導入した特性方程式は実は固有方程式 $\Psi _{A^{\dagger }}(\lambda )=0$ に他ならなかったという訳です。