動力系統(tǒng)的概念

1、動力系統(tǒng)的概念這一章是對于事實的調(diào)查，而且來源于應(yīng)用于全書的動力系統(tǒng)理論。我們的主要目的是 為后面的章節(jié)確定固定使用的常用符號和專業(yè)術(shù)語，并且回想一些常常在課本的前言中不被討論的理論的一些方面。 為了更容易的閱讀，我們保持討論時采用非專業(yè)術(shù)語，并盡可能地避免技術(shù)上的符號和觀點。然而許多遺漏的細節(jié)可以從研究生使用的動力系統(tǒng)的課本的前言 中找到，一些更加先進的課題僅僅在研究性的文章中涉及到。在某些情況下，我們將提供一些在更深的章節(jié)中關(guān)于這個主題的參考。另外，我們鼓勵讀者使用附錄A和B作為基于不同的幾何和函數(shù)分析的參考。流量，映射，動力系統(tǒng)對于任意白集合 P, 一個變換群Ft ：P P中的任意的一個

2、參數(shù)t屬于實數(shù)，如果F0 x x對于所有的x屬于集合P,并且Ft s Ft Fs對于任意的t,s,屬于實數(shù)都成立 則被稱為一個流。這兩個屬性表明 Ft和它的逆F t是不可以轉(zhuǎn)化的。 這一組合(P,Ft)叫做 基于空間P的一個連續(xù)的動力系統(tǒng)。換句話說，一個連續(xù)的動力系統(tǒng)包括一個可能狀態(tài)集合 和唯一決定將來狀態(tài) Ft(x)的當(dāng)前的狀態(tài)函數(shù) x的變化規(guī)則。通過x這一點的變化軌跡是集 合(x) Ut RFt(x)。一個固定點的流是一個點 x且Ft(x) x對于任意的t R都成立。 這個流的一個周期的軌跡就是通過這一點x對于那些存在的正數(shù)T并且?足FT(x) x的這樣的軌跡。如果用以上所說的映射族 Ft

3、定義只需t 0,且對于所有的t, s滿足F0 x x和 Ft s Ft Fs ,則Ft叫做半流形。注：半流形通常是不可逆的，動力系統(tǒng)的一個典型的 特征是在無窮大的空間中是確定的。當(dāng)有單獨向映射f : P P且存在P, f時，離散動力系統(tǒng)是確定的。 這樣的系統(tǒng)還有 一些性質(zhì)即通過f的迭代次數(shù)可以得出唯一的當(dāng)前狀態(tài)決定所有的將來狀態(tài) f x,f2x,.。這時X的取值范圍是確定的在集合x 仃)中，其中0nn n 1f X X, f f f f , f f 。n上面離散動力系統(tǒng)的定點X是點X P且f X X的點。k點的周期是對于點 X P有fk X X且對于所有的j k有fj X X。對于X P, X

4、的極限集合是確定的， x q P n,: fni x q。如果f是可逆的，則X的 極限集合可以定義 X的關(guān)于f 1極限級。注：連續(xù)型動力系統(tǒng)的一一映射 x F1 X定義與離散型動力系統(tǒng)在相同的拓撲空間中。一一映射不能得到基礎(chǔ)流量的全部性質(zhì)，但是能夠繼承很多相似的特征。另一個龐加萊映射提供了流的頻閃圖片，它的構(gòu)造如下：假設(shè)P是？上的一個開集合，是在P中一個超曲面（即光滑的 （m 1）維流行）。假設(shè) X的任意軌道，x ,橫向的相交于一點是不同于 X的。然后第一個返回時間X是確定的對于X 即_ .n .-tx min0 F x 。映射P:,Xx F x ,叫做第一返回映射或龐加萊映射設(shè)聯(lián)系在一起的流

5、量Ft o超曲面通常被稱作相應(yīng)的龐加萊截面。一一映射和第一返回映射和基礎(chǔ)流和龐加萊截面一樣光滑。常微分方程和動力系統(tǒng)這本書大部分敘述的常微分方程形式 ?x f x,t .這里x P Rn, f是一個充分光滑的向量場確定的P R。集合P叫做方程的象空間，同時P R叫做擴充相空間。常微分方程叫做獨立存在的如果f沒有明確的時間相依性，如下 f X,t f X。流量和自治的方程結(jié)合起來單參數(shù)變換群Ft: PRn,X0X t,X0 ,Xo表示為解決Xt的初始狀態(tài)，如下，X 0 X0。根據(jù)常微分方程的基本理論， 函數(shù)5的 像（）的右邊一樣光滑，同時關(guān)于 t也是光滑的。如果 f依賴于Cr形狀的參數(shù)，那么Ft

6、也 是Cr類的隨著關(guān)于那些參數(shù)的變量。非自治的常微分方程不能產(chǎn)生流，因為解Xt；t0,X0明確取決于初始時間t0且X t0；t0,X0 X0O其結(jié)果是，我們可以得到X t S；t0,X0X s；t0, X t； t0, X0在一般情況下。然而，產(chǎn)生的映射Ft :P P, L0X0 a x t；t0,X具有兩個參數(shù)的集合存在，解的唯一性能保證和流類似的性能因為x t s；t0,x0 x s； t0, x t；t0, x0 .注：在擴充的相空間P R上擴充的常微分方程?X f X, t , ? t 1,認為流 F x,tFttx ,t 。和常微分方程（）等價的公式是積分方程X tX0作為未知函數(shù)

7、xt。一些方程承認自治的線性項在它們的右邊，當(dāng)常微分方程能夠?qū)懗?x Ax g x, t ,和相應(yīng)的積分方程工 At t0A t0.x t ex0e g x , d這個公式可以通過改進非齊次的，線性常微分方程x Ax g x t ,t的通解獲得。積分方程是在估計進展的解之間的距離或關(guān)于初始條件或參數(shù)的偏導(dǎo)數(shù)非常有用的。例 如，一個有連續(xù)獨立解的常微分方程的初始條件能夠涉及到在積分方程（）中，寫作x t;x0 xt； X0Xo xo一 txo xof x ； xo ,tot_L x ；xo x ；xo dto當(dāng)f特定領(lǐng)域，L O是一個利普希茨常數(shù)然后，通過格朗瓦爾不等式，我們得到,4 _/ t

8、t,x t; xox t; xo xo xo e這樣證明要求的連續(xù)性。最后不等式的一個重要結(jié)果是如果xo XO e 1和t to|九，那么x t; xo xt; xo 。換句話說，“在有限時間，O 接近的初始條件停留在 O 接近”例如，在時間尺度上O 1當(dāng)O.這種論據(jù)是有用的很多時候在離散化動力學(xué)動力系統(tǒng)理論中。例如，它意味著時間T映射x Ft x的連續(xù)性對于任意在 x和t處連續(xù)的流量Ft o目前，我們已經(jīng)解決的只有實數(shù)上的常微分方程問題。微分方程的理論確定在一個流形中在局部坐標上是類似的。定義一個獨立的常微分方程在一個流形上，需要一個利普希茨向量場在 M上，例如，一個利普希茨映射f : M

9、R TM ,P P,v p .?然后和這個向量場相應(yīng)常微分方程是系統(tǒng)p v p。liouville 定理V t表示集合Ft U的體積的開一個自治的常微分方程流的一個重要的特征是其在體積元素上的作用，例如，不管它是否壓縮，擴大，或保存大量的集合的初始條件。如果集的初始條件URn,那么下面陳述liouville定理:V t t o divfdx . dtU這個公式表示隨意發(fā)散的向量場產(chǎn)生大量保持體積的流在Rn上。同樣，有阻尼系統(tǒng),divf 0,壓縮拓撲空間的體積。同時，強迫系統(tǒng)，divf 0擴展相空間的體積。這些觀察結(jié)果對流具有重要的質(zhì)的影響。例如，一個保持體積不變流的不動點不能夠漸進穩(wěn)定。至于在

10、流形上的常微分方程，liouville定理能夠敘述如下。讓 作為一個在 M上體積，和讓v作為一個向量場在 M上。通過公式，我們能夠確定 v關(guān)于的散度。d 匚t.一 F t 0 div v . dt這里的Ft 表示在F1處 的拉回。如果vt表示 體積的Ft U ,那么我們可 以得到d 一V t t 0 div v 。dtU在一個流形上積分形式的其中的含義，見附錄。結(jié)構(gòu)穩(wěn)定性和分歧點假定兩個向量場u和v是確定在一個有邊界的流形M上的。這樣的向量場叫做在 M上的拓撲等效，如果那存在同胚映射h: M M ,把軌道上的u變換到軌道上的v保存它們的方向。拓撲等效向量場的例子在圖顯示出來。在緊流形M上，一個

11、C類的向量場u是漸進穩(wěn)定的，如果它是拓撲等價的對于在 M上的任意其他向量場是在 C1的范圍內(nèi)充 分接近于u。不嚴格的說，一個向量場是拓撲等價的，如果小的變形不能夠改變它的在本質(zhì)結(jié)構(gòu)上。在二維空間中，貝秀多定理鑒定了漸進穩(wěn)定性的向量場的特征。也就是，讓M成為一個封閉的在平面上的磁盤。 那么一個Cr類的向量場確定在 M上是漸進穩(wěn)定的，當(dāng)且僅 當(dāng)每個平衡點和周期軌道都是雙曲時，從章節(jié)意義上說，沒有連接鞍點的軌線。此外， 漸進穩(wěn)定向量場的集合是開集，Cr的向量場是密集的在 M上。此理論適用于開平面在二維空間的流形中，但是不適用于普通的二流形如二環(huán)面T2O當(dāng)一個向量場u在一個C類的向量場中時可能是漸進不

12、穩(wěn)定，它相對于這個類的一 個子集可能變成漸進穩(wěn)定。例如，思考一個純粹虛構(gòu)的二維空間的哈密爾頓函數(shù)的向量場趨向于一個不動點， 它的特征值不為零。這樣一個向量場的所有軌道接近這個不動點的附 近，在哈密爾頓函數(shù)承認限度的局部最大值或最小值。明顯地，任意小的擾動都能改變這個不動點到槽中；因此，向量場在原點周圍的任意封閉圓平面是漸進不穩(wěn)定的。然而， 對于哈密爾頓函數(shù)本身來說小的攝動可能仍然放棄附近的局部極限值，所以接近不動點的軌道可能會有點輕微的變形，但仍有堅持性。因此，最初的向量場在一個C類的哈密爾頓函數(shù)向量場中是漸進穩(wěn)定的。在C類向量場的空間中的一個向量場u是確定的在 M上，如果它不是漸進穩(wěn)定的，被

13、稱為一個分叉點。作為一個分歧點，我們指的是通過一個分叉點作為交換參數(shù)在向量場 中的一個用參數(shù)表示的族。一個不變的集合附近發(fā)生質(zhì)的改變通常稱作局部分歧點，然而質(zhì)的改變涉及的擴展結(jié)構(gòu)在相空間中叫做全局分歧。更多的了解分歧點的含義，請看Chowand Hale 72,或著 Gukenheimer, Holmes145 ,Kuznetsov221。哈密爾頓系統(tǒng)古典的，精典哈密爾頓系統(tǒng)是眾所周知的存在在物理學(xué)中。它們被不同形式的微分方程來描述?q DpH q, p,t , ?p DqH q, p,t ,其中q, p Rn Rn叫做典型變量，C2類作用H : Rn Rn RR叫做系統(tǒng)的哈密爾頓量。整數(shù)n是

14、指自由度的數(shù)量。 哈密爾頓系統(tǒng)最常出現(xiàn)在用n自由度描述的機械系統(tǒng)的運動中。在此背景下，q是一個向量n的廣義坐標，p是一個向量相應(yīng)的廣義動量。如果，機械系統(tǒng)是保守系統(tǒng)，例如，僅受和時間無關(guān)勢能力，那么哈密爾頓函數(shù)僅僅是機械能量H T V ,動能和勢能的和。如果H沒有顯式依賴t,那么（）的解是守恒的，因為 H qt , pt0.對于單dt自由度系統(tǒng)，這是我們想象的軌道作為H水平面曲線的子集。除了體積保留，一個典型哈密爾頓系統(tǒng)的流有兩個保持性能。首先，它保留了典型辛的特征從 dq dp : 1dqi dpi的形式，例如，F(xiàn)t dq dp dq dp對于t R, F表示F1的拉回（見附錄）.因此，F(xiàn)是

15、一個在流形（R2n,dq dp ）上的辛映射（？ 2n,dq dp）,于是也保存體 積dq dp dq dpn。（見附錄+）。因為這種體積可能區(qū)別僅僅在在R2n上標準體積，我們斷定就標準體積的拓撲空間R2n而言，典型哈密爾頓函數(shù)的流是體積保存不變的。換句話說，對于任意t,大量集合的初始條件 U的體積是等于 于大量的圖像集合 Ft U的體 積。超出以上提及的保持性能，寫出動力系統(tǒng)的哈密爾頓形式，其優(yōu)點在整個向量場Xh Xq,XpDpH, DqH能夠被一個實函數(shù) H復(fù)制。此外，哈密爾頓函數(shù)本身告訴你很多哈密爾頓量流。例如， Ft 的不動點僅僅是臨界點 H ,例如，DH 0的點。不懂點的穩(wěn)定性明顯的

16、取決于影響性能 的H。如果H具有局部最小值或最大值在 p點，那么p是一個穩(wěn)定的不動點，因為這樣運用H來決定作為一個李雅普諾夫函數(shù)。在Rn上，經(jīng)典的哈密爾頓系統(tǒng)的概念能夠推廣的一個辛流形。觀察的結(jié)果是對于任意u uqup TxR2n, 一個典型的哈密爾頓向量場X H滿足q, p xixH dq dp u dq dp Xh x ,uXq,up:Xp,uqDH x u ,其中我們用過的公式（）和附錄 A里的一些符號。因此，我們可以得到 b ,dq dp X DH ,或相當(dāng)于 Xh x dq dp DH x。）（附錄）這最后一個表達式提出在任意2n維空間辛流形 M , 上推廣的哈密爾頓系統(tǒng)。讓我們考慮

17、類C2的函數(shù)H : MR.哈密爾頓函數(shù)的向量場 Xh :M TM和H聯(lián)系起來能夠確定向量場XH DH o我們給出了幾何的定義在圖.相當(dāng)于，Xh是具有哈密爾頓變量 H的哈密爾頓函數(shù)如 果ixH x u（x） Xh x ,u DU u,（）對于所有的u TxM。最后，微分方程?x Xh x（）叫做哈密爾頓系統(tǒng)通過哈密爾頓變量H生成的在 M,水平面上的集合H ,E h x M|H x h , 叫做能量面。由隱式函數(shù)定理，如果保持DH x 0對于所有x E h ,E h是一個流形。在那種，f#況下E h是一個M的余維數(shù)1 一個子流形，叫做常規(guī)能源表面。 如果包含L能源表面E h , M任意子集L叫做等

18、能道。有時 M的兩個子集包含一樣的能源表面也是提到 的等能道廣義的哈密爾頓系統(tǒng)，擁有經(jīng)典哈密爾頓系統(tǒng)的所有保持性能。例如，過（）的解， 哈密爾頓變量H被固定，因為dH xt DH xt Xh xt dtx t Xh x t , Xh x t 0,我們經(jīng)常在（）用到的。這意味著（）的軌道局限于 H的能量面。對于辛保存的證明來自 通過（）的流量，看 亞伯拉罕和馬斯登 4或者阿諾德 21。體積的保存遵循附錄。哈密爾頓系統(tǒng)的性能延續(xù)到它們的龐加萊映射。特別是，對于一個n維自由度的哈密爾頓系統(tǒng)，如果 是一個 2n 2維的龐加萊截面在一個固定的能量面內(nèi)，那么限制辛的形式是非退化的，相應(yīng)的龐加萊映射P:（如

19、果定乂）是辛映射。例如，P讓我們考慮一個映射R。變化率f沿著一個哈密爾頓向量場X H的軌跡能夠計算因為df x t dtDf x tXh xtDf x tDH x tf,H,是泊松括號由辛形式誘導(dǎo)而來（見附錄）的哈密爾頓系統(tǒng)的首次積分是一個常數(shù)解的函數(shù)，以上公式表明 f是不變的當(dāng)且僅當(dāng)f,H0,例如，當(dāng)且僅當(dāng)f是退化的隨著 H o一些向量場能夠?qū)懗晒軤栴D形式在開集中,但是沒有在整個的相空間上。例如，思考相空間M R S1和坐標I,和辛的形式ddl。微分方程0,容許哈密爾頓函數(shù) H I ,在M的開子集上，但是這種函數(shù)不能擴展到一個全局性的確定的平穩(wěn)的函數(shù)在 M上,因為它在 中不是周期性的。一般

20、來說，如果對于任意x M有一個x的鄰域U , X是一個受限于U的哈密爾頓變量，在辛流形 M , 上的一個向量場 X叫做局部哈密爾頓量，。注：X是一個局部哈密爾頓變量當(dāng)且僅當(dāng)單形對于所有x來說。Poincare-Cartan積分不變式目前為止我一直認為只有獨立哈密爾頓函數(shù)向量場,但是在經(jīng)典力學(xué)中也有人遇到過這樣的微分方程形式q DpH q, p,t ,p DqH q, p,t。這樣一個系統(tǒng)源自一個依賴時間的哈密爾頓變量H通過典型的辛形式 dq dp,正如它的自治系統(tǒng)。然而，一些獨立哈密爾頓系統(tǒng)的保守型能無法對（）滿足。例如，哈密爾頓函數(shù)通常不轉(zhuǎn)換解的方向。一個重要的保守性能是適用于獨立和不獨立的

21、情況是積分pdq Hdt在擴展的相空間的漸進線上。這個積分叫做Poincare-Cartan積分不變式，制定精確地保守效果是下面的情況。讓作為初始條件t b處的漸近線。表示曲線的像在流的作用下擴展相空間記為t F： 。那么，口 pdq Hdt 口 pdq Hdt。0t簡言之，Poincare-Cartan積分不變式在擴展的相空間（是沿著隨著t常數(shù)平面與“隧道”交叉的解保守的見圖）。對于一個 Poincare-Cartan積分不變式的幾何證明，見，例如，Arnold21生成函數(shù)哈密爾頓函數(shù)方程（）證明是等價于極限化積分pdq Hdt ,例如，它們來源于條件pdq Hdt 0.因此，如果我們改變變

22、量p,q P,Q保持規(guī)范的辛結(jié)構(gòu)，那么我們必須有pdq Hdt PdQ Kdt,（）是一些標量乘數(shù)，K P,Q,t是被轉(zhuǎn)化的哈密爾頓變量，是一個封閉的單形。為了簡單，我們讓 1和尋求那就可以保證（）條件，因為閉型是確定在簡單的歐氏空間連接的地區(qū)，我們可以改寫（）如pdq Hdt PdQ Kdt d S對于一些實值函數(shù) S。d pq qdp pdq無解，我們進一步改寫這個方程如qdp Hdt PdQ KdtdS,其中S pq So這個最終公式結(jié)果表明，任何函數(shù)S p,Q,t , 一種依賴時間變化的變量變換p,q P,Q滿足q DpS,P DqS將會導(dǎo)致一個典型的，時間相依的哈密爾頓系統(tǒng)通過哈密爾

23、頓變量SK H ()t由此而論，函數(shù) S叫做生成函數(shù)，對于變量的變換p,q P,Q .利用生成函數(shù)的優(yōu)點是不用必須完成轉(zhuǎn)化為整個哈密爾頓系統(tǒng)的向量場；一種簡單的計算哈密爾頓函數(shù)的方法來自(),源自新的向量場就通過規(guī)范的辛dQ dP來自K。注：對于時間相依轉(zhuǎn)型的哈密爾頓變量K僅僅是以新坐標表達初始哈密爾頓量H。對于更多的資料關(guān)于生成函數(shù)，見Abrahamand Marsden 4 或者 Arnold 21。無限維的哈密爾頓系統(tǒng)在這本書的第5章我們將會遇到哈密爾頓系統(tǒng)在函數(shù)空間上是確定的。因為大部分的分析將會限制在無限維流形，這里我們只說最簡單的無限維哈密頓系統(tǒng)。作為一般參考書目，我們推薦 Che

24、rnoff and Marsden 66 或者 Abraham et al. 5 。2 一把M , 一個不牢固的辛流形模式化在空間 E上，讓H :M R作為一個C類的 函數(shù)(見附 錄B的定義)。一個 哈密爾頓函數(shù)向 量場 是和H聯(lián)系起來的向 量場 是 XH :M TM滿足x XH x ,u DH x u,()對于所有的u TxM.因為 假定為弱的非退彳在映射 b :TxMTxM上不是必須的，因此Xh可能不存在對于一個固定的函數(shù)H 。此外，盡管 H是光滑的，Xh通常是確定的僅僅在M的子集上。然而，因為 b是單射，所以Xh是唯一的當(dāng)它是確定的。如果被假定為強的非退化的，則哈密爾頓系統(tǒng)的一般形式在M

25、 , 是?x Xh x DH .此外，Xh x 一般不是處處確定的在 M上。假如流是存在的，在無限維的情況下，能量的性能和通過哈密爾頓系統(tǒng)的流的體積保守也擁有?；蛟S無限維的哈密爾頓系統(tǒng)最著名的例子是線性波動方程uttu xx ,和函數(shù)u x,t : Rn RR.為了簡單，我們限制n 1 ,假定u在x上是周期性的且周期 L。隨著表達式v Ut ,方程能夠改寫成如U V,V Uxx.考慮現(xiàn)在的流形M H 0, LL；e10, L和能量函數(shù)pelpeiH u,v1 L 2- v2L 02 .ux dx.和雙形u vdxu vdx,M , 來源于一個辛流形。我們現(xiàn)在計算哈密爾頓向量場Xh XH,XH和

26、H聯(lián)系起來1 L ,1 0 XH vdx1 LL 0 vXHdx,1 LuH udx 0vH vdx.存在的M上。運用公式（）和從附錄中L2-梯度的定義，我們可以寫出因為u和v是任意的，我們幾乎處處可以得到XH vH v和XH uH uxx。注：Xh是唯一一個在M上的向量場，如果我們限制致密的子集D H 2er 0, L H per 0, L M。因此，系統(tǒng)()是哈密爾頓系統(tǒng)和能夠?qū)懗扇缦?u vH u,v , ?v uH u,v ,幾乎處處在 D上。事實上哈密爾頓系統(tǒng)存在半群理論的流(見 Yosida 383 )。我們最后注 解Xh是定義在M上意義上的全局分布。辛約化在經(jīng)典的力學(xué)里，一個古老

27、的技術(shù)就是通過研究哈密爾頓系統(tǒng)的周期對稱性來減小它的維數(shù)。一個廣義的哈密爾頓系統(tǒng)和普通的連續(xù)的對稱性思想的延伸由辛約化理論給出。下面我們會詳細描述，為了更詳細的知道細節(jié)和結(jié)果，我們請讀者參閱參考文獻4Abraham andMarsden 和21Arnold(M,)是一個辛流形并且 G是一個李群(附錄)。一個群里的映射：G M M,如果對任意的g G , 0是一個辛映射，也就是，g,則 稱為偶對的。任彳sj G的gd子群g將會引起在 M上的流F (x),(x)并且符合的向量場 X(x) 0,(x)t 0是局gdt g部漢密爾頓量。這由下面的公式給出，因為dix Lx ixd 0,因為g,(x)是

28、偶對的并且變化微小。我們對這種情況感興趣，在這種情況下，X是全局哈密爾頓量并且子群 g上的函數(shù)可以被認為是哈密爾頓系統(tǒng)作用在 (M,)上的流。相 應(yīng)的哈密爾頓函數(shù)將會被認為是群函數(shù)里的動量映射，這是由于在經(jīng)典的力學(xué)里， 循環(huán)對稱的存在性，與角動量相似的角色激發(fā)產(chǎn)生的。為了讓這些想法更加精確，設(shè) 是一個與辛流型(M,)相關(guān)的辛函數(shù)，讓J是一個從M到李代數(shù)映射的對偶空間 g。我們稱J是一個動量映射，如果函數(shù)滿足：(p) (P), d(J(p),),或者更細微地說，i dJ(p),)。這里 是極小數(shù)，和函數(shù) 并且(，)指的是對偶空間g和g中的元素的序列對相關(guān)。為了避免介紹更多的注釋，我們把我們的注意

29、力限制在交換群中，也是阿貝爾群，在這個群中，群的乘法是可以交換的。我們在這本書遇到的對稱性都是由阿貝爾對稱群產(chǎn)生的。為了在非阿貝爾群中的函數(shù)下的辛減約化，讀者請參閱我們上面所標注的資源。在阿貝爾李群中，例如 S1或者是R,我們可以根據(jù)下面的實行辛約化。假設(shè)我們已經(jīng) 確定了 J是李群G中的函數(shù)的動量映射?；叵耄簞恿坑成淇梢员幌氤墒侨汉瘮?shù)的哈密爾頓 函數(shù)。辛約化的思想包括建立一個新的級別J ,然后關(guān)于群的函數(shù)采取商空間的水平。對*1任意固定的g ,被作用的空間P J 1( )/G被稱做是約化相空間。圖顯示，約化的相空間是一個流形，如果是一個常量并且作用在 J 1( )上G的函數(shù)是適當(dāng)?shù)暮妥杂傻摹?

30、讓 ：JP作為商的投射，映射任意點p J 到類P上對應(yīng)的群的軌道p (見圖).派生的d p能夠用來確定向量的等價類在任何切空間 TpJ 1 .也就是說， 一個擁有d p :u u ,在u TpJ 1 中通過d p的映射u ,僅是向量的等價類。 它能夠顯示雙形 是定義為u, v u,v, u,v TpJ 1,是非退化的在 P上，假如 是一個正則值對于 J和G的作用是適當(dāng)?shù)暮腿我獾脑?M上。 在那種情況下， P , 是一個辛流形，能夠作為全部的哈密爾頓流的“模型”。這意味著如果Ft表示哈密爾頓流生成的簡化的哈密爾頓函數(shù)x ,x P在辛流形P , 上，那么在P上約化的流與在 M上的全部哈密爾頓流量F

31、t交換，例如，F(xiàn)t Ft 。研究在P上約化的流使得理解在拓相空間M上的動力學(xué)更容易?？煞e性系統(tǒng)正如我們所看到的那樣，一個合適對稱群的存在及其相應(yīng)的守恒量有效地減少了哈密爾頓系統(tǒng)的一個自由度。如果在一個問題中能找到足夠多的自由積分，那么連續(xù)減少最終將會形成單自由度漢密爾頓系統(tǒng)，而它又是可以根據(jù)面積來積分的，例如，用絕對值法求單積分的值。通過對稱群及在減少過程中用到的相應(yīng)積分而最終形成的一維自由度問題的解決方法可以重新構(gòu)造全相空間結(jié)構(gòu)。在絕大多數(shù)情況下，大部分的可積相空間中，n維自由度問題可歸結(jié)為不變n維圓環(huán)面。Liouville-Arnold-Jost定理給出了上述論述的一個準確表達式，也就是下

32、面我們將要描述的。（證明見Arnold21,更多關(guān)于可積系統(tǒng)的知識見Arnold et al.22）。設(shè)（M ,）是一個有限維辛流型，& DH 是定義在M上的哈密爾頓系統(tǒng)，含有平光滑漢密爾頓量H。假設(shè)對于（）存在 n個積分Fi H, F2,K ,Fn,它們彼此對合，例如，F(xiàn)i,Fj 0對所有的i和j成立?？紤]聯(lián)合式Mf x M|Fi（x） fi, i 1,K,n并假設(shè)n個函數(shù)Fi不依賴于M f ,那么M f顯然是哈密爾頓系統(tǒng)（）的一個不變流型。此外，如果M f是簡潔的和關(guān)聯(lián)的，那么 Liouville-Arnold-Jost定理保證了 M f微分同胚于n維圓環(huán)面no在這種情況下，存在一個接近

33、Mf的作用角度變量（I, ） U n,其中U ?n是個開 集，這樣對偶形就可以寫成nd dI d i dI i,并且方程（）變?yōu)樽⒁猓谶@些新坐標中，哈密爾頓H只依賴于I。此外，流是完全可積的，因為解決方案可寫為(t)(0) DiH(Io)t, I(t) Io.如果頻率向量 DiH (Io)的元素理性地獨立于給定的n維圓環(huán)面IIo,那么結(jié)果是準周期的，并且每一個都形成了圓環(huán)面的稠密子集。但是，如果頻率是理性依賴的，那么所有的j解是周期性的，例如閉軌道形成了圓環(huán)面。這樣的一個圓環(huán)面被稱為諧振的。在一般的可積系統(tǒng)中，諧振圓環(huán)面在相空間中形成了一個零測度的稠密集，與此同時，不是諧振的圓環(huán)面通常會形成

34、滿測度的稠密集。在大多數(shù)情況下可積性的得出比不可積更難建立。對于n維自由度哈密爾頓系統(tǒng)，有一些準則能自動指出n個獨立積分的不存在性。想要查閱這些準則，我們建議讀者查看Kozlov211,那同時給出了漢密爾頓動態(tài)系統(tǒng)幾個方面的詳細介紹。KAM定理和 Whiskered圓環(huán)面可積漢密爾頓系統(tǒng)在它們的相空間中有很多要求。因為很多經(jīng)典力學(xué)問題與一些可積系統(tǒng)類似，因此很自然地想到研究圓環(huán)面在小幅度擾動下的積分極限情況。在天體力學(xué)中，試圖在近可積系統(tǒng)中建立持久不變圓環(huán)面始于Lindstedt和Deprit。但是，Ponicare注意至L他們對于持久不變圓環(huán)面的擾動系列大體上是發(fā)散的。發(fā)散的原因是小分母的出

35、現(xiàn)，這又歸因于諧振圓環(huán)面。KAM定理是在對形如H(I, ； ) Ho(I) Hi(I,；)的近可積漢密爾頓系統(tǒng)中的n維持久不變圓環(huán)面的研究結(jié)果中得出的。在定理的早期發(fā)展過程中，漢密爾頓 H被假定為解析的，然后需要的條件被減弱到2n+1階導(dǎo)數(shù)連續(xù)(見Poschel312或Arnold et al.22 ) KAM定理的主要結(jié)果是在相空間的有限開集U上非退化條件D2Ho(I)00.持久圓環(huán)面是連續(xù)能否被滿足，那么 U中大量未被擾動的 n維圓環(huán)面需要足夠小的的，接近于未被擾動圓環(huán)面，并且形成了測度是(1)的開集，當(dāng)0時，接近U的測度。此外，如果等能的非退化條件Di2HoD1H0D1H00(1.14)成立，若要相同表述仍然正確就需要限制每個能面H 常量.上述基本結(jié)果的不同版本已經(jīng)在近平衡橢圓圓環(huán)面，可移動退化圓環(huán)面，低維圓環(huán)面和對偶映射圓環(huán)面中得到證明。(更多最新記錄見 Arnold et al.22或Broer et