これから学ぶジョルダン標準形を形成する要素である、ジョルダン細胞（またはジョルダンブロック）について述べておく。
ジョルダン細胞の表し方と、n乗の計算について考えていく。
ジョルダン細胞とは
次の形で表されるn次正方行列をジョルダン細胞といい、J(\lambda,n)とかく。
\left( \begin{array}{cccc} \lambda & 1 & & \boldsymbol{0} \\ & \lambda & \ddots & \\ & & \ddots & 1 \\ \boldsymbol{0} & & & \lambda \end{array} \right)
ジョルダン細胞は、対角成分が\lambdaでその右上に1が乗った正方行列である。
n=1の場合、1×1行列になる。このとき、成分は\lambdaのみである。
すべての1×1行列はジョルダン細胞であるということもできる。
J(\lambda,1)=\left( \begin{array}{c} \lambda \end{array} \right)
また、n=2,3の場合を具体的に書くと次のようになる。
J(\lambda,2)=\left( \begin{array}{cc} \lambda & 1 \\ 0 & \lambda \end{array} \right)，J(\lambda,3)=\left( \begin{array}{ccc} \lambda & 1 & 0 \\ 0 & \lambda & 1 \\ 0 & 0 & \lambda \end{array} \right)
また、\lambda=0の場合も当然だがあり得る。このとき、ジョルダン細胞は
J(0,3)=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array} \right)
という形になる。
このようなジョルダン細胞をいくつか対角に並べて作られる行列がジョルダン標準形である。例えば
\begin{align*}J&=\left( \begin{array}{cccc} J(\lambda_1,1) & & & \boldsymbol{0} \\ & J(\lambda_2,3) & & \\ & & J(\lambda_3,2) & \\ \boldsymbol{0} & & & J(\lambda_4,1) \end{array} \right) \\ &=\left( \begin{array}{ccccccc} \lambda_1 & & & & & & \boldsymbol{0} \\ & \lambda_2 & 1 & 0 & & & \\ & 0 & \lambda_2 & 1 & & & \\ & 0 & 0 & \lambda_2 & & & \\ & & & & \lambda_3 & 1 & \\ & & & & 0 & \lambda_3 & \\ \boldsymbol{0} & & & & & & \lambda_4 \\ \end{array} \right)\end{align*}
のような形である。
ジョルダン標準形についてはまた別の記事で述べることとする。
ジョルダン細胞のn乗の計算
ジョルダン標準形を応用して、行列のn乗の計算をすることがある。
ジョルダン標準形のn乗は、構成する各ジョルダン細胞のn乗を計算することで求めることができる。
\left( \begin{array}{ccc} J(\lambda_1,n_1) & & \boldsymbol{0} \\ & \ddots & \\ \boldsymbol{0} & & J(\lambda_k,n_k) \end{array} \right)^n=\left( \begin{array}{ccc} \left(J(\lambda_1,n_1)\right)^n & & \boldsymbol{0} \\ & \ddots & \\ \boldsymbol{0} & & \left(J(\lambda_k,n_k)\right)^n \end{array} \right)
それでは、ジョルダン細胞のn乗はどう計算したらよいかを考えよう。
まず、ジョルダン細胞は次のように分解することができる。
\begin{align*} J&=D+N \\ \left( \begin{array}{cccc} \lambda & 1 & & \\ & \lambda & \ddots & \\ & & \ddots & 1 \\ & & & \lambda \end{array} \right)&=\left( \begin{array}{cccc} \lambda & & & \\ & \lambda & & \\ & & \ddots & \\ & & & \lambda \end{array} \right)+\left( \begin{array}{cccc} 0 & 1 & & \\ & 0 & \ddots & \\ & & \ddots & 1 \\ & & & 0 \end{array} \right) \end{align*}
Dは対角行列、Nはべき零行列になっている。
二項定理を用いると
\begin{align*} J^n&=(D+N)^n \\ &={}_n\mathrm{C}_0 D^n+{}_n\mathrm{C}_1 D^{n-1}N^1+{}_n\mathrm{C}_2 D^{n-2}N^2+\cdots+{}_n\mathrm{C}_n N^n \end{align*}
とかくことができる。
ここで登場したn次のべき零行列Nは、べき乗すると1のあるラインが右上に上がっていき、n乗するとゼロ行列になる。
このことを考慮すると、次のようにまとめることができる。
ジョルダン細胞のn乗は
- 対角成分は\lambda^n
- その上の成分は{}_n\mathrm{C}_1\lambda^{n-1}
- その更に上の成分は{}_n\mathrm{C}_2\lambda^{n-2}
- (1,n)成分に行きつくか{}_n\mathrm{C}_n=1が出るまでこれを繰り返す
ことで求めることができる。
具体的な形をいくつか見てみよう。
J(\lambda,2)^n=\left( \begin{array}{cc} \lambda^n & n\lambda^{n-1} \\ 0 & \lambda^n \end{array} \right)
J(\lambda,3)^n=\left( \begin{array}{ccc} \lambda^n & n\lambda^{n-1} & \frac{1}{2}n(n-1)\lambda^{n-2} \\ 0 & \lambda^n & n\lambda^{n-1} \\ 0 & 0 & \lambda^n \end{array} \right)
J(\lambda,4)^n=\left( \begin{array}{cccc} \lambda^n & n\lambda^{n-1} & \frac{1}{2}n(n-1)\lambda^{n-2} & \frac{1}{6}n(n-1)(n-2)\lambda^{n-3} \\ 0 & \lambda^n & n\lambda^{n-1} & \frac{1}{2}n(n-1)\lambda^{n-2} \\ 0 & 0 & \lambda^n & n\lambda^{n-1} \\ 0 & 0 & 0 & \lambda^n \end{array} \right)
簡単な規則性があるので、覚えてしまおう。
線形代数学 内積の定義と正値性・対称性・線形性について 特別な行列の名前と定義・性質の一覧 対称行列と反対称行列の性質・分解公式 行列のn乗の計算方法ー４つのパターン サラスの公式による行列式の計算方法 余因[…]
