重根と複素数根(Multiple roots and Complex roots)

前節では特性方程式が異なる実数根をもつ場合を考えました．ここでは重根と複素数根をもつ場合を考えます．もし複素数 $a + bi$

が微分方程式 ${\bf X}^{\prime} = A{\bf X}$ の特性方程式の根ならば， ${\bf X}^{\prime} = A{\bf X}$ は $c{\bf Q}e^{(a+bi)t}$ の形をした解をもっているはずです．ただし， ${\bf Q}$ は複素固有ベクトル， $c$

は任意の複素定数です．

${\bf X}^{\prime} = A{\bf X}$ の $A$ が実行列のとき，複素指数や複素ベクトルの存在は扱いにくいものです．とくに初期値 ${\bf X}(0) = {\bf X}_{0}$ が実数のときはなおさらです．そこで解を実数と実関数だけで表わす必要があります．

$A$ を実行列， $\lambda = a+bi$ が複素固有値で ${\bf C} = {\bf C}_{1} + i{\bf C}_{2} ({\bf C}_{1},{\bf C}_{2} \mbox{実数ベクトル})$ が $\lambda$ に対する固有ベクトルだとすると固有方程式(eigenequation)

$\displaystyle (A - \lambda I){\bf C} = {\bf0}$

よりその共役も

$\displaystyle \overline{(A - \lambda I){\bf C}} = (\bar{A} - \bar{\lambda}\bar{I})\bar{\bf C} = {\bf0}$

を満たします．よって $\bar{\lambda} = a - bi$ も固有値となり，対応する固有ベクトル $\bar{\bf C}$ をもちます．したがって， ${\bf X}_{1} = {\bf C}e^{\lambda t}$ と ${\bf X}_{2} = \bar{\bf C}e^{\bar{\lambda} t}$ はともに ${\bf X}^{\prime} = A{\bf X}$ の解になります．もちろん ${\bf X}_{1}$ と ${\bf X}_{2}$ の一次結合も解です．とくにその中でも

$\displaystyle \Re{\bf C}e^{\lambda t} = \Re{\bf X}_{1} = \frac{{\bf X}_{1} + {\bf X}_{2}}{2} = {\bf C}_{1}e^{at}\cos{bt} - {\bf C}_{2}e^{at}\sin{bt}$

と

$\displaystyle \Im{\bf C}e^{\lambda t} = \Im{\bf X}_{1} = \frac{{\bf X}_{1} - {\bf X}_{2}}{2i} = {\bf C}_{1}e^{at}\sin{bt} - {\bf C}_{2}e^{at}\cos{bt}$

は一次独立な実数値解です．ここにでてきた $\Re{\bf C}e^{\lambda t}$ と $\Im{\bf C}e^{\lambda t}$ のことを，複素数 ${\bf C}e^{\lambda t}$ の実部(real part)と虚部(imaginary part)といいます．

例題 3..3

${\bf X}^{\prime} = \left(\begin{array}{rrr} 2&-1&-1\\ 2&1&-1\\ 0&-1&1 \end{array}\right){\bf X}$ を解け．

解

$\displaystyle \det(A - \lambda I) = \det\left(\begin{array}{rrr} 2-\lambda&-1&-... ...&-1&1-\lambda \end{array}\right) = (2-\lambda)(\lambda^{2} - 2\lambda + 2) = 0$

より固有値 $\lambda = 2, 1 \pm i$ を得る．

まず，固有値 $2$ に対応する固有ベクトルを求めると

$\displaystyle A - 2I$	$\displaystyle =$	$\displaystyle \left(\begin{array}{rrr} 0&-1&-1\\ 2&-1&-1\\ 0&-1&-1 \end{array... ...rrow} \left(\begin{array}{rrr} 1&-1/2&-1/2\\ 0&1&1\\ 0&0&0 \end{array}\right)$
	$\displaystyle \stackrel{\frac{R_{2}}{2}+ R_{1}\to R_{1}} {\longrightarrow}$	$\displaystyle \left(\begin{array}{rrr} 1&0&0\\ 0&1&1\\ 0&0&0 \end{array}\right)$

より固有ベクトルは ${\bf C} = \left(\begin{array}{r} 0\\ -1\\ 1 \end{array}\right)$ である．

次に固有値 $1+i$ に対応する固有ベクトルを求める．

$\displaystyle A - (1+i) I$	$\displaystyle =$	$\displaystyle \left(\begin{array}{rrr} 1-i&-1&-1\\ 2&-i&-1\\ 0&-1&-i \end{array}\right)$
	$\displaystyle \stackrel{\begin{array}{c} {}_{\frac{1}{1-i} \times R_{1}\to R_{1}}\\ {}_{-(1+i)R_{1} + R_{2}\to R_{2}} \end{array}}{\longrightarrow}$	$\displaystyle \left(\begin{array}{rrr} 1&-1/1-i&-1/1-i\\ 0&1&i\\ 0&-1&-i \end{array}\right)$
	$\displaystyle \stackrel{\begin{array}{c} {}_{\frac{R_{2}}{1-i} + R_{1}\to R_{1}}\\ {}_{R_{2} + R_{3}\to R_{3}} \end{array}}{\longrightarrow}$	$\displaystyle \left(\begin{array}{rrr} 1&0&-1\\ 0&1&i\\ 0&0&0 \end{array}\right)$

より固有ベクトルは ${\bf C} = \left(\begin{array}{r} 1\\ -i\\ 1 \end{array}\right)$ である．これより ${\bf C}e^{\lambda t}$ の実部と虚部を求めると，

$\displaystyle {\bf C}e^{\lambda t}$	$\displaystyle =$	$\displaystyle \left(\begin{array}{c} 1\\ -i\\ 1 \end{array}\right)e^{(1+i)t} = \left(\begin{array}{c} 1\\ -i\\ 1 \end{array}\right)e^{t}(\cos{t} + i\sin{t})$
	$\displaystyle =$	$\displaystyle \left(\begin{array}{c} e^{t}\cos{t} + ie^{t}\sin{t}\\ e^{t}\sin{... ...}\\ - e^{t}\cos{t}\\ e^{t}\sin{t} \end{array}\right)}_{\mbox{imaginary part}}$

となる．よって一般解は次のように表わすことができる．

$\displaystyle {\bf X}(t) = c_{1}\left(\begin{array}{c} 0\\ e^{2t}\\ -e^{2t} \... ... e^{t}\cos{t}\\ e^{t}\sin{t} \end{array}\right). \ensuremath{ \blacksquare}$

さて，行列 $A$ の特性方程式が重根をもつ場合はどうでしょう．この場合も， $A$ が対角化可能(つまり，重複度と同数の一次独立な固有ベクトルをもつ)ならば，単根のときと同じように一般解を求めることができます．では $A$ が対角化不可能の場合はどうでしょう．こんな場合に便利な方法として行列の指数関数を用いる方法があります．

${\bf X}^{\prime} = A{\bf X}$ の解として， $y = ce^{at}$ が $y^{\prime} = ay$ の解であったように， ${\bf X} = {\bf C}e^{At}$ を考えます．ただし $A$ は $n$ 次の正方行列， ${\bf C}$ は定数ベクトルです．これが可能なためには $e^{At}$ に意味づけを行なう必要があります．そこで $e^{at}$ のMaclaurin級数

$\displaystyle e^{at} = 1 + at + \frac{(at)^{2}}{2!} + \frac{(at)^{3}}{3!} + \cdots$

より

$\displaystyle e^{At} = I + tA + \frac{t^{2}}{2!}A^{2} + \frac{t^{3}}{3!}A^{3} + \cdots$

で定義します．この展開はすべての $t$

で収束することが知られています．これを行列 $A$

の指数行列(exponential matrix)といいます．また

$\displaystyle \frac{d}{dt}e^{At} = A + tA^{2} + \frac{t^{2}}{2!}A^{3} + \cdots = Ae^{At}$

より， ${\bf X} = {\bf C}e^{At}$ は ${\bf X}^{\prime} = A{\bf X}$ の解といえます．

ここでひとつ問題があります．それは，どうやって ${\bf C}e^{At}$ を計算するかということです．定義を使うと無限級数の計算をすることになりますが，じつは無限級数の計算をせずに，解を求める方法があるのです．まず ${\bf C}e^{(A - \lambda I)t}$ の展開を考えて下さい．つまり，

$\displaystyle {\bf C}e^{(A - \lambda I)t}$	$\displaystyle =$	$\displaystyle {\bf C} + t(A - \lambda I){\bf C} + \frac{t^{2}}{2!}(A - \lambda I)^{2}{\bf C}$
	$\displaystyle +$	$\displaystyle \frac{t^{3}}{3!}(A - \lambda I)^{3}{\bf C} + \cdots + \frac{t^{k}}{k!}(A - \lambda I)^{k}{\bf C} + \cdots$

ここである

で $(A - \lambda I)^{k}{\bf C} = 0$ が成り立てば，上の展開で $k$

の後はすべて0になります．よってこのときは，有限級数の計算をすればよいことになります．

例題 3..4

$\left\{\begin{array}{rl} x_{1}^{\prime} =& 4x_{1} - x_{2} + 2x_{3}\\ x_{2}^{\prime} =& 4x_{2} + 2x_{3}\\ x_{3}^{\prime} =& 4x_{3} \end{array}\right .$ を解け．

解

$\displaystyle \det(A - \lambda I) = \det\left(\begin{array}{rrr} 4-\lambda&-1&2\\ 0&4-\lambda&2\\ 0&0&4-\lambda \end{array}\right) = (4 - \lambda)^{3}$

より，固有値 $\lambda = 4$ である．次に固有値 $4$

に対する固有ベクトルCを求める．

$\displaystyle A - 4I = \left(\begin{array}{rrr} 0&-1&2\\ 0&0&2\\ 0&0&0 \end{a... ...ghtarrow} \left(\begin{array}{rrr} 0&1&0\\ 0&0&1\\ 0&0&0 \end{array}\right)$

より ${\bf C} = \left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right)$ となり，ひとつの解

$\displaystyle \left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right)e^{4t}$

を得る．

$A$ は三次の正方行列なので一般解を表わすには， $3$ つの一次独立な解が必要である．そこで

$\displaystyle (A - 4I)^{2}{\bf C} = {\bf0}, (A - 4I){\bf C} \neq {\bf0}$

を満たす ${\bf C}$ を見つける．

$\displaystyle (A - 4I)^{2} = \left(\begin{array}{rrr} 0&0&-2\\ 0&0&0\\ 0&0&0 \end{array}\right)$

より $c_{1},c_{2}$ は任意の値を取ることができるので， ${\bf C} = \left(\begin{array}{c} \alpha\\ \beta\\ 0 \end{array}\right)$ とおくと， $(A - 4I)^{2}{\bf C} = {\bf0}$ を満たす．次にもうひとつの条件 $(A - 4I){\bf C} \neq {\bf0}$ を満たすように $\alpha,\beta$ を選ぶと，

$\displaystyle (A - 4I){\bf C} = \left(\begin{array}{rrr} 0&-1&2\\ 0&0&2\\ 0&0... ...end{array}\right) = \left(\begin{array}{c} -\beta\\ 0\\ 0 \end{array}\right)$

より $\beta = 1$ ．よって ${\bf C} = \left(\begin{array}{c} 0\\ 1\\ 0 \end{array}\right)$ となり，2つめの解

$\displaystyle e^{At}{\bf C}$	$\displaystyle =$	$\displaystyle e^{4t}e^{(A - 4I)t}{\bf C} = e^{4t}[{\bf C} + t(A - 4I){\bf C}]$
	$\displaystyle =$	$\displaystyle e^{4t}\{\left(\begin{array}{c} 0\\ 1\\ 0 \end{array}\right) + t... ...0&0&0 \end{array}\right)\left(\begin{array}{c} 0\\ 1\\ 0 \end{array}\right)\}$
	$\displaystyle =$	$\displaystyle e^{4t}\{\left(\begin{array}{c} 1\\ 1\\ 0 \end{array}\right) + \... ...array}\right)\} = e^{4t}\left(\begin{array}{c} 1-t\\ 1\\ 0 \end{array}\right)$

を得る．3つめの解を求めるために，

$\displaystyle (A - 4I)^{3}{\bf C} = {\bf0}, (A - 4I)^{2}{\bf C} \neq {\bf0}$

を満たす ${\bf C}$ を見つける． $(A - 4I)^{3}$ は零行列なので ${\bf C} = \left(\begin{array}{c} \alpha\\ \beta\\ \gamma \end{array}\right)$ は $(A - 4I)^{3}{\bf C} = {\bf0}$ を満たす．ここでもうひとつの条件を用い，前に選んだ ${\bf C}$ と一次独立になるように， $\alpha,\beta,\gamma$ を選ぶと， ${\bf C} = \left(\begin{array}{c} 0\\ 0\\ 1 \end{array}\right)$ となる．これより3つめの解を計算すると

$\displaystyle e^{At}{\bf C}$	$\displaystyle =$	$\displaystyle e^{4t}e^{(A - 4I)t}{\bf C}$
	$\displaystyle =$	$\displaystyle e^{4t}[{\bf C} + t(A - 4I){\bf C} + \frac{t^{2}}{2!}(A - 4I)^{2}{\bf C}]$
	$\displaystyle =$	$\displaystyle e^{4t}[\left(\begin{array}{c} 0\\ 0\\ 1 \end{array}\right) + t\... ... 0&0&0 \end{array}\right)\left(\begin{array}{c} 0\\ 0\\ 1 \end{array}\right)]$
	$\displaystyle =$	$\displaystyle e^{4t}\left(\begin{array}{c} 2t - t^{2}\\ 2t\\ 1 \end{array}\right)$

である．ここで $\left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right), \left(\begin{array}{c} ... ...array}\right), \left(\begin{array}{c} 2t - t^{2}\\ 2t\\ 1 \end{array}\right)$ は一次独立なので，一般解は

$\displaystyle {\bf X} = e^{4t}[c_{1}\left(\begin{array}{c} 1\\ 0\\ 0 \end{arr... ...right) + c_{3}\left(\begin{array}{c} 2t - t^{2}\\ 2t\\ 1 \end{array}\right)]$

で与えられる． $\blacksquare$

Subsections

演習問題3.2