保存系

物理学あるいは力学系理論において保存系（ほぞんけい、）とは、相空間の体積が時間発展しても保存される性質を持つ系である。保存力学系とも呼ばれる。保存系に対し、体積が時間発展で縮小あるいは変化する系を散逸系という。

実現象のモデルの例でいえば、摩擦の無い振動子のような系全体のエネルギーが保存される場合が保存系に該当する。時間依存しないハミルトニアンを持つハミルトン系は保存系の一例である。保存量や第一積分と呼ばれる任意の軌道上で一定であるような実連続関数の存在で保存系を定義付ける場合もある。

定義

力学系を定める自励系連立常微分方程式

あるいは

を考える。ここで、

である。微分方程式の独立変数 は 次元の相空間を張る。この微分方程式により、相空間上の各点 にはベクトル が対応付けられる。相空間上の点は時間 の経過によって相空間上を動いてく。ある時刻で相空間上のある連続な領域を考えると、その領域を占めている点の集合が時間経過で動く。系が保存系であれば、動いた後のそれらの点で占められる領域の体積は、時間経過前の元の領域の体積と等しい。

3次元相空間内のある体積を とし、それを覆う閉曲面を とする。 上の各点でベクトル と に外向きな法線ベクトル の組を考えると、 上の面積要素 は微小時間 の間に という体積分だけ相空間を通過するので、 時間後の体積 は

と表すことができる。これより

であるから、発散定理を適用すると、

が得られる。ここで、 は の時間微分を、 は の発散を意味する。この関係を 次元に一般化すると、

という関係が得られる。微分方程式が保存系であれば であるから、上記の関係式より

が成り立つ。

滑らかな写像 によって定まる2次元の離散力学系のヤコビ行列の行列式 が、任意の点で を満たすとき、写像 は面積保存型と呼ばれる。3次元微分方程式で表される保存系のポアンカレ写像は、面積保存型写像になる。

性質や例 例えば、ハミルトン系は保存系の一種である。変数を とする。時間依存しないハミルトニアン を持つハミルトン系は

と表されるので、

となり、保存系の条件を満たす。ハミルトン系で時間経過しても体積が保たれる性質はリュービルの定理として知られる。面積保存型写像の場合のよく調べられている典型例は標準写像がある。実現象のモデルの例でいえば、摩擦のない振動子のような系全体のエネルギーが保存される場合が保存系に該当する。仮に時間を反転させても違和感の無い可逆な現象を表すのは保存系である。

保存系で体積が時間発展によって保存されるとき、一つの仕方としては、その体積を占めている領域が大きく変形せずに時間発展して、体積が保たれる場合が考えられる。もう一つの仕方は、領域のある方向は時間とともに のように引き伸ばされるが、それと直交する別の方向には の縮み、領域は大きく変形するが体積は のように保たれる場合が考えられる。近接する軌道が離れて行く度合いを定量化するリアプノフ指数 を使えば、初期体積 に対して 時間後の体積 は、平均として

のように得ることができる。したがって、保存系のリアプノフ指数では

が成り立つ。写像の場合も同様に、 回反復合成後の体積 は、平均として

のように得ることができる。

保存系の相空間にはアトラクターは存在しない。保存系の平衡点の種類は、鞍状点（サドル）または渦心点（センター、楕円型）に限られる。面積保存型写像の周期点も、サドル型か楕円型に限られる。カオスが存在する場合は、散逸系のストレンジアトラクターとは異なり、体積正の有限の領域を占める。物理的な例としては三体問題や二重振り子が保存系のカオスの代表例である。

別の定義

保存系の定義は、体積変化の有無で定義するのが一般的であるが、系全体のエネルギーが保存されることを以って保存系を定義することもある。より一般的には、力学系あるいは微分方程式

に対し、 を変数とする非定数実連続関数 が系の任意の軌道（微分方程式の解）の上で定数であるとき、 を保存量や第一積分と呼ぶ。このような保存量が存在する系を指して保存系とも呼ぶ。ハミルトン系の場合は、そのハミルトニアン 自体が保存量である。

出典

参照文献

外部リンク