行列差分方程式

力学系の理論における行列差分方程式（ぎょうれつさぶんほうていしき、）は、各時点においてベクトルとして与えられている変数に関する系で、各時点の値がそれ以前の時点における変数の値と行列を用いた関係性で結ばれているような差分方程式を言う。

そのような方程式の階数 (order) とは、変数ベクトルの値を指定するために必要となる任意の二時点の間隔の最大値を言う。例えば、 を  成分列ベクトル、 を -次正方行列として、 は二階方程式の例ということになる。特にこれは右辺に定ベクトル項を持たないから斉次方程式の例でもある。添字をずらしたり、別の文字を用いたりして  や  のように書いても方程式としては同じものである。

最もよく遭遇する行列差分方程式は、一階のものであろう。

一階方程式 
特に非斉次の一階方程式を考え、その定常状態について確認しよう。すなわち、定ベクトル  を持つ方程式  に関して、それが定める系の定常状態  とは、それ以降に新たな値を導くことがない状態に到達したベクトル  の値を言う。定義により  は当該の方程式において  と置いたものを満足するものでなくてはならず、それを  に関して解いて  を得るが、ここで  は可逆であるものと仮定している（ただし、 は -次単位行列）。

定常状態が存在するとき、上記の非斉次方程式は、 なる形の斉次方程式に書き直すことができる。この斉次方程式が安定である—すなわち、 が定常状態  に漸近収束する—ための必要十分条件は、（実または複素）変換行列  の固有値が  より小さい絶対値を持つことである。

方程式を斉次形で  と書くことにすれば、よく知られた仕方により、初期条件すなわち  の初期値  から反復適用と置換から直ちに  のように各項の値は順次求まり、そして  に関する数学的帰納法によって一般に  が成立することが証明される。さらに  が対角化可能ならば、 はその固有値と固有ベクトルを用いて書けるから、その解は  の形に与えられる。ここに  はその列ベクトルが  の固有ベクトルの全体からなる -次正方行列（固有値が全て異なると仮定した場合には必ず可逆）であり、 は  の固有値が主対角線上に並ぶ対角行列である。

この解の様子が上記の安定性について得ることを動機づける。すなわち  が十分な時間経過後に零行列となるための必要十分条件は  の任意の固有値が絶対値に関して  より小さいことである。

一階行列系から高階スカラー系へ 
-次元ベクトルの成す系  から一つの状態変数、具体的に  に関する力学系に展開することができる。上で見た方程式のベクトル解  を  の  個の固有値に関して展開して、それを  と書けば、それは  の発展を記述するものであって、それ自身もまた同じ固有値を含む解を持つ。この記述は、直観的には  の発展の方程式  を動機づける。ここに各パラメータ  は  の固有方程式  の係数である。

すなわち、-次元一階線型系の変数ベクトルの各成分スカラーは、各々個別の一スカラー変数 -階差分方程式に従って発展する。そのような一変数方程式の安定性はもとの行列差分方程式の安定性と同じである。

高階方程式の解と安定性 
高階—すなわち最大の時間間隔が一周期よりも長い—行列方程式も、区分行列に関する一階の形の方程式に変換すれば、解くことができて、それらの安定性を調べることができる。

例えば、-成分変数ベクトル  と -次係数行列  を持つ二階方程式  は -次単位行列  と -次零行列  を用いて  の形にまとめることができる。これを、現在時点とその一つ前の時点における変数をひとまとめにした  成分変数ベクトル  と -次正方区分行列  に関する一階方程式と見れば、既にみたように解  が得られるというわけである。ゆえに以前と同じように、このまとめられた方程式、したがってもとの二階方程式が安定となるための必要十分条件として、行列  の任意の固有値が絶対値に関して  より小さいこと、を挙げることができる。

関連項目 
 
 差分方程式
 線型差分方程式
 力学系

参考文献 

線型代数学
行列論
漸化式
力学系
数学に関する記事