コルモゴロフ・アーノルド・モーザー(KAM)定理は、力学系における、小さな摂動の下での準周期運動の持続性に関する定理である。この定理は、古典力学の摂動論で生じる小因子問題を部分的に解決する。
問題は、保存力学系の小さな摂動が持続的な準周期軌道をもたらすかどうかである。この問題に対する最初の突破口は、1954 年にアンドレイ・コルモゴロフによって与えられた。 [ 1 ]これは、1962 年にユルゲン・モーザーによって厳密に証明され、拡張された(滑らかなツイスト写像の場合)[ 2 ] 、 1963 年にウラジミール・アーノルドによって拡張された(解析的ハミルトン系の場合) [ 3 ]、そして一般的な結果は KAM 定理として知られている。
アーノルドは当初、この定理が太陽系の運動や他のn体問題の例にも適用できると考えていたが、より多くの物体に対する問題の定式化に縮退があったため、3 体問題にしか適用できないことが判明した。後に、ガブリエラ・ピンザーリは、定理の回転不変バージョンを開発することで、この縮退を解消する方法を示した。[ 4 ]
KAM定理は通常、可積分ハミルトン系の位相空間における軌跡という観点から述べられます。可積分系の運動は不変トーラス(ドーナツ状の表面)内に限定されます。可積分ハミルトン系の異なる初期条件は、位相空間において異なる不変トーラスを描きます。可積分系の座標をプロットすると、それらが準周期的であることがわかります。
KAM定理は、システムが弱い非線形摂動を受けると、不変トーラスの一部が変形して残存する、すなわち、元の多様体から変形後の多様体への写像が存在し、それが摂動に対して連続であることを示しています。逆に、他の不変トーラスは破壊されます。すなわち、任意の小さな摂動であっても、多様体はもはや不変ではなくなり、近傍の多様体への写像は存在しなくなります。残存するトーラスは非共鳴条件を満たし、すなわち、「十分に無理な」周波数を持ちます。これは、変形後のトーラス上の運動が準周期的であり続け、独立周期が変化する(非退化条件の結果として)ことを意味します。KAM定理は、これが成り立つために適用できる摂動のレベルを定量化します。
摂動によって破壊されるKAMトーラスは不変カントール集合となり、1979年にイアン・C・パーシバルによってカントールと名付けられました。 [ 5 ]
KAM定理の非共鳴条件と非縮退条件は、自由度が増えるシステムほど満たすことが難しくなる。システムの次元数が増加するにつれて、トーラスが占める体積は減少する。
摂動が増大し、滑らかな曲線が崩壊するにつれて、KAM理論から、より緩やかな仮定を必要とし、カントール集合のような集合を扱うオーブリー・マザー理論へと移行します。
量子多体可積分系の摂動に対するKAM定理の存在は未だ未解決の問題であるが、無限大の極限では、任意に小さな摂動によって可積分性が破壊されると考えられている。
KAM定理の重要な帰結の一つは、多くの初期条件において、運動が常に準周期的であり続けるということである。
コルモゴロフ、アーノルド、モーザーによって導入された手法は、準周期運動に関する膨大な研究成果へと発展し、現在ではKAM理論として知られている。特に、この理論は非ハミルトン系(モーザーの研究から始まった)、非摂動的な状況(マイケル・ハーマンの研究など)、そして高速および低速の周波数を持つ系(ミハイル・B・セヴリュクの研究など)へと拡張されてきた。
多様体流れの作用に対して不変不変量と呼ばれる-トーラス、微分同相写像が存在する場合 標準に-トーラス その結果生じる動きは均一な線形であるが静的ではない、つまり、どこはゼロでない定数ベクトルであり、周波数ベクトルと呼ばれます。
周波数ベクトルは:
すると不変量-トーラス() はKAM トーラスと呼ばれます。このケースは、小さな約数を含まないため、古典的なKAM理論では通常除外される。