リアプノフ指数
リアプノフ指数（リアプノフしすう、）とは、力学系においてごく接近した軌道が離れていく度合いを表す量である。リャプノフ指数とも表記される。ロシア人科学者 （アレクサンドル・リプノーフ、）にその名をちなむ。
系の相空間上の2つの軌道について考える。2つの軌道上の時刻 "t" における点の距離をベクトル δ("t") として、初期状態 "t" = 0 には、これらの軌道は距離 δ(0) だけ離れているとする。δ("t") を近似的に次のように表す。
ここでformula_2 はユークリッドノルムを意味する。上式で "λ" > 0 の場合は軌道は離れていき、 "λ" < 0 の場合は軌道は近づいていく。よって、軌道が離れていく度合いは "λ" の値により決定される。この "λ" がリアプノフ指数である。軌道がカオス的であるとき、上式のように軌道は指数関数的に離れていく。すなわち、リアプノフ指数が正であることが軌道がカオス的であることの1つの定義とされる。
より詳細には、系の状態変数が "k" 個（"k" > 1）の場合、すなわち相空間が "k" 次元である場合は各次元ごとに固有のリアプノフ指数を持つ。これらのリアプノフ指数の組をリアプノフスペクトラムと呼び、そのうちの最大のリアプノフ指数を最大リアプノフ指数と呼ぶ。各々のリアプノフ指数を見れば正であったり負であったりするが、最大リアプノフ指数が正であれば、その系はカオスの特徴の1つである初期値鋭敏性を持つといえる。
まず、単純な1次元離散力学系の場合のリアプノフ指数について説明する。formula_3を系の状態変数、formula_4を離散時間としたとき（ここではformula_5は0を含む）、 写像 "x" = "f"("x") のリアプノフ指数 "λ" は次のように定義される。
ここで、ln は自然対数を意味する。上式は次のように導入される。
初期位置を "x" とする。さらに、"x" からの微小量 "λ" ずれた点 "x" + "λ" を考える。リアプノフ指数では "x" から出発する軌道と "x" + "λ" から出発する軌道がどれだけ離れていくかを定義したい。ずれは時間発展とともに変化していくと考えられるので、時刻 "n" におけるずれを "λ" で表す。"n" = 1 でのずれはformula_7となり、"n" = "n" でのずれも同様に、formula_8と得られる。ここで、"f"("x")は "f"("x")の "n" 回反復写像を表す。
本記事の冒頭で定義したように、"λ" が "n" に指数関数的に比例するとして、
と表す。両辺の自然対数をとると、
が得られる。ただし、初期のずれ量 "λ" は微小量としたが、実際にはリアプノフ指数は初期のずれ量を無限小とした "λ" → 0 の極限値で定義される。よって、上式は
となる。上式の絶対値の中身に注目すると、
とできる。ここで ("f")'("x") は、"f"("x") の微分を意味する。formula_13は総乗を意味し、最右辺は合成関数の微分の連鎖律により得ることができる。よって、
となる。さらに上式において "n" → ∞ とした極限値が存在するとき、その極限値を初期値 "x" から出発する軌道のリアプノフ指数と呼ぶ。
1968年に発表されたValery Oseledecの多重エルゴード定理により、"n" → ∞ の極限値が存在すること、ほとんどすべての初期値 "x" で "λ" は同じ値に収束することが証明されている。対象とする力学系のアトラクターの吸引域内の初期値であれば、全ての初期値で同じ "λ" の値に収束する。
力学系が "k" 次元の相空間を持つ高次元力学系の場合、各方向に別々のリアプノフ指数が存在する。すなわち高次元力学系であれば、軌道のずれは、ある方向には離れていくが、別の方向では縮まっていく状況がありえる。よって "k" 個のリアプノフ指数を得ることができる。このような "k" 個のリアプノフ指数の組を、リアプノフスペクトラム（）と呼ぶ。
リアプノフスペクトラムでは一般に "λ" から値が大きい順に並べる。最大値である "λ" を、特に最大リアプノフ指数（）と呼ぶ。記事冒頭で述べたように、相空間上の2つの軌道上の時刻 "t" における点の間の距離、すなわちずれを δ("t") とする。リアプノフスペクトラム "λ" は以下のように定義される。
一般に "λ" は初期値 x(0) に依存する。しかし1次元離散力学系の場合と同様に、ほとんどすべての初期位置 x から同一の "λ" を得ることができる。"λ" の定義式にある "α" は、次式で定義される "k" × "k" 正定値行列 Λ の固有値である。
さらに M は、δ("t") の解を次の形式で表したときの δ(0) に対する乗数として得られる。
系が連続力学系の場合、 "k" 個の状態変数 {"x", "x", ..., "x"}、常微分方程式 {"f", "f", ..., "f"} から成る常微分方程式系formula_20が与えられる。f が線形近似可能な場合、f のヤコビ行列を用いて、
と表すことができる。また、系が離散力学系の場合、 "k" 個の状態変数、常差分方程式から成る差分方程式系 x("t" + 1) = f(x("t"))が与えられる。同じく、差分方程式系 f が線形近似可能な場合、f のヤコビ行列を用いて、
と表すことができる。ここに、J は以下に示すようなヤコビ行列による線形写像で、軌道 x("t") に依存し、すなわち初期値 x(0)、時間 "t" に依存して変化する。
常微分方程式系の場合は、formula_24を解いてformula_19を得ることで、上記の定義で出てきた正方行列 M を得ることができる。差分方程式系の場合は、J を "t" 回繰り返し適用することで次のような δ("t") と δ(0) の関係式で書き表すことできるので、M は "J" の 0 から "t" − 1 までの総乗として得ることができる。
対数の底に 2 を使用して計算した場合には、ビット/時間を単位として使用することがある。
これは、λ > 0 の場合、単位時間あたりλビットの情報が失われ、λ < 0 の場合λビットの情報が生成することに相当する。
保存系の場合、相空間の全エネルギーは保存される。従って全リアプノフ指数の総和はゼロになる。散逸系ではリアプノフ指数の総和は負になる。
力学系が何らかの流れである場合、1つのリアプノフ指数は常にゼロとなる。つまり、流れの方向の固有ベクトルに対応する固有値から得られるリアプノフ指数がゼロになる。
Pesin's theorem によれば、正のリアプノフ指数の総和はコルモゴロフ・シナイ・エントロピー（Kolmogorov-Sinai entropy）の近似値を与える。
最大リアプノフ指数の逆数を「リアプノフ時間; Lyapunov time」と呼ぶことがあり、"e"-folding time の特性を定義する。カオス的軌道ではリアプノフ時間は有限であり、正規の軌道では無限大となる。
軌道がカオス的振る舞いをみせるストレンジアトラクターは、フラクタル構造を持つことが多い。このようなアトラクターのフラクタル次元とリアプノフスペクトラムの間には関係が存在する。アトラクターのリアプノフスペクトラムが得られたとして、その各リアプノフ指数 "λ" がそれらの値の大きさで降順に並べられているとしたとき、次のようなフラクタル次元の一種 "D" が定義される。
ここで、 "ξ" は、
であり、"j" は " ξ" が負にならない最大値、すなわち、リアプノフ指数を "λ" + "λ" + "λ" ...と順に足していったときに、その総和が負となる直前における、足し合わせたリアプノフ指数の個数である。"ξ" ≥ 0 を満たす "j" が存在しないときは、"D" = 0、系の次元数 "k" と "j" が一致する場合は、"D" = "k" とする。
このように定義されたフラクタル次元 "D" は、リアプノフ次元 （）と呼ばれる。リアプノフ次元は、James L. KaplanとJames A. Yorkeにより1979年に提案された。そのためカプラン・ヨーク次元（）とも呼ばれ、記号 "D" とも記される。
上式で定義されるリアプノフ次元は、フラクタル次元の1つである容量次元の考え方をもとにして、次のように導入される。リアプノフ指数の総和は相空間内の "k" 次元の体積要素の体積変化率を与えるので、同様に部分和である "ξ" から、"j" 次元までの体積要素は拡大するが、"j" + 1 次元以上の体積要素は縮小することになる。そのため、アトラクタを収めるためには少なくとも "j" 次元は必要で、考えられるフラクタル次元の下限を与えている。一方で、"j" + 1 次元は考えられるフラクタル次元の上限といえる。"k" 次元相空間上の一辺が "d" の立方体は、時間発展により各辺 exp("λ""t"), exp("λ""t"), exp("λ""t")... の直方体に写像される。ここで、１辺の長さ "ε" が、
である "j" + 1 次元立方体の箱を考え、容量次元と同じように、ストレンジアトラクタの不変集合をこの箱を何個も当てながら全体を覆うことを考える。このとき、覆うのに必要な箱の数 "N" は、
と推論できる。よって、容量次元と同様の定義から、
となり、"j" の定義より −"λ" = |"λ"| なので、リアプノフ次元の定義
を得ることができる。
他のフラクタル次元と比較したリアプノフ次元の利点は、リアプノフスペクトラムさえ得ることができれば簡単に計算可能なことである。また、リアプノフ次元は系の情報量次元の上限を表している。