动力系统的概念

1、动力系统的概念这一章是对于事实的调查，而且来源于应用于全书的动力系统理论。我们的主要目的是 为后面的章节确定固定使用的常用符号和专业术语，并且回想一些常常在课本的前言中不被讨论的理论的一些方面。 为了更容易的阅读，我们保持讨论时采用非专业术语，并尽可能地避免技术上的符号和观点。然而许多遗漏的细节可以从研究生使用的动力系统的课本的前言 中找到，一些更加先进的课题仅仅在研究性的文章中涉及到。在某些情况下，我们将提供一些在更深的章节中关于这个主题的参考。另外，我们鼓励读者使用附录A和B作为基于不同的几何和函数分析的参考。流量，映射，动力系统对于任意白集合 P, 一个变换群Ft ：P P中的任意的一个

2、参数t属于实数，如果F0 x x对于所有的x属于集合P,并且Ft s Ft Fs对于任意的t,s,属于实数都成立 则被称为一个流。这两个属性表明 Ft和它的逆F t是不可以转化的。 这一组合(P,Ft)叫做 基于空间P的一个连续的动力系统。换句话说，一个连续的动力系统包括一个可能状态集合 和唯一决定将来状态 Ft(x)的当前的状态函数 x的变化规则。通过x这一点的变化轨迹是集 合(x) Ut RFt(x)。一个固定点的流是一个点 x且Ft(x) x对于任意的t R都成立。 这个流的一个周期的轨迹就是通过这一点x对于那些存在的正数T并且?足FT(x) x的这样的轨迹。如果用以上所说的映射族 Ft

3、定义只需t 0,且对于所有的t, s满足F0 x x和 Ft s Ft Fs ,则Ft叫做半流形。注：半流形通常是不可逆的，动力系统的一个典型的 特征是在无穷大的空间中是确定的。当有单独向映射f : P P且存在P, f时，离散动力系统是确定的。 这样的系统还有 一些性质即通过f的迭代次数可以得出唯一的当前状态决定所有的将来状态 f x,f2x,.。这时X的取值范围是确定的在集合x 仃)中，其中0nn n 1f X X, f f f f , f f 。n上面离散动力系统的定点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的关于f 1极限级。注：连续型动力系统的一一映射 x F1 X定义与离散型动力系统在相同的拓扑空间中。一一映射不能得到基础流量的全部性质，但是能够继承很多相似的特征。另一个庞加莱映射提供了流的频闪图片，它的构造如下：假设P是？上的一个开集合，是在P中一个超曲面（即光滑的 （m 1）维流行）。假设 X的任意轨道，x ,横向的相交于一点是不同于 X的。然后第一个返回时间X是确定的对于X 即_ .n .-tx min0 F x 。映射P:,Xx F x ,叫做第一返回映射或庞加莱映射设联系在一起的流

5、量Ft o超曲面通常被称作相应的庞加莱截面。一一映射和第一返回映射和基础流和庞加莱截面一样光滑。常微分方程和动力系统这本书大部分叙述的常微分方程形式 ?x f x,t .这里x P Rn, f是一个充分光滑的向量场确定的P R。集合P叫做方程的象空间，同时P R叫做扩充相空间。常微分方程叫做独立存在的如果f没有明确的时间相依性，如下 f X,t f X。流量和自治的方程结合起来单参数变换群Ft: PRn,X0X t,X0 ,Xo表示为解决Xt的初始状态，如下，X 0 X0。根据常微分方程的基本理论， 函数5的 像（）的右边一样光滑，同时关于 t也是光滑的。如果 f依赖于Cr形状的参数，那么Ft

6、也 是Cr类的随着关于那些参数的变量。非自治的常微分方程不能产生流，因为解Xt；t0,X0明确取决于初始时间t0且X t0；t0,X0 X0O其结果是，我们可以得到X t S；t0,X0X s；t0, X t； t0, X0在一般情况下。然而，产生的映射Ft :P P, L0X0 a x t；t0,X具有两个参数的集合存在，解的唯一性能保证和流类似的性能因为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作为未知函数

7、xt。一些方程承认自治的线性项在它们的右边，当常微分方程能够写成?x Ax g x, t ,和相应的积分方程工 At t0A t0.x t ex0e g x , d这个公式可以通过改进非齐次的，线性常微分方程x Ax g x t ,t的通解获得。积分方程是在估计进展的解之间的距离或关于初始条件或参数的偏导数非常有用的。例 如，一个有连续独立解的常微分方程的初始条件能够涉及到在积分方程（）中，写作x t;x0 xt； X0Xo xo一 txo xof x ； xo ,tot_L x ；xo x ；xo dto当f特定领域，L O是一个利普希茨常数然后，通过格朗瓦尔不等式，我们得到,4 _/ t

8、t,x t; xox t; xo xo xo e这样证明要求的连续性。最后不等式的一个重要结果是如果xo XO e 1和t to|九，那么x t; xo xt; xo 。换句话说，“在有限时间，O 接近的初始条件停留在 O 接近”例如，在时间尺度上O 1当O.这种论据是有用的很多时候在离散化动力学动力系统理论中。例如，它意味着时间T映射x Ft x的连续性对于任意在 x和t处连续的流量Ft o目前，我们已经解决的只有实数上的常微分方程问题。微分方程的理论确定在一个流形中在局部坐标上是类似的。定义一个独立的常微分方程在一个流形上，需要一个利普希茨向量场在 M上，例如，一个利普希茨映射f : M

9、R TM ,P P,v p .?然后和这个向量场相应常微分方程是系统p v p。liouville 定理V t表示集合Ft U的体积的开一个自治的常微分方程流的一个重要的特征是其在体积元素上的作用，例如，不管它是否压缩，扩大，或保存大量的集合的初始条件。如果集的初始条件URn,那么下面陈述liouville定理:V t t o divfdx . dtU这个公式表示随意发散的向量场产生大量保持体积的流在Rn上。同样，有阻尼系统,divf 0,压缩拓扑空间的体积。同时，强迫系统，divf 0扩展相空间的体积。这些观察结果对流具有重要的质的影响。例如，一个保持体积不变流的不动点不能够渐进稳定。至于在

10、流形上的常微分方程，liouville定理能够叙述如下。让 作为一个在 M上体积，和让v作为一个向量场在 M上。通过公式，我们能够确定 v关于的散度。d 匚t.一 F t 0 div v . dt这里的Ft 表示在F1处 的拉回。如果vt表示 体积的Ft U ,那么我们可 以得到d 一V t t 0 div v 。dtU在一个流形上积分形式的其中的含义，见附录。结构稳定性和分歧点假定两个向量场u和v是确定在一个有边界的流形M上的。这样的向量场叫做在 M上的拓扑等效，如果那存在同胚映射h: M M ,把轨道上的u变换到轨道上的v保存它们的方向。拓扑等效向量场的例子在图显示出来。在紧流形M上，一个

11、C类的向量场u是渐进稳定的，如果它是拓扑等价的对于在 M上的任意其他向量场是在 C1的范围内充 分接近于u。不严格的说，一个向量场是拓扑等价的，如果小的变形不能够改变它的在本质结构上。在二维空间中，贝秀多定理鉴定了渐进稳定性的向量场的特征。也就是，让M成为一个封闭的在平面上的磁盘。 那么一个Cr类的向量场确定在 M上是渐进稳定的，当且仅 当每个平衡点和周期轨道都是双曲时，从章节意义上说，没有连接鞍点的轨线。此外， 渐进稳定向量场的集合是开集，Cr的向量场是密集的在 M上。此理论适用于开平面在二维空间的流形中，但是不适用于普通的二流形如二环面T2O当一个向量场u在一个C类的向量场中时可能是渐进不

12、稳定，它相对于这个类的一 个子集可能变成渐进稳定。例如，思考一个纯粹虚构的二维空间的哈密尔顿函数的向量场趋向于一个不动点， 它的特征值不为零。这样一个向量场的所有轨道接近这个不动点的附 近，在哈密尔顿函数承认限度的局部最大值或最小值。明显地，任意小的扰动都能改变这个不动点到槽中；因此，向量场在原点周围的任意封闭圆平面是渐进不稳定的。然而， 对于哈密尔顿函数本身来说小的摄动可能仍然放弃附近的局部极限值，所以接近不动点的轨道可能会有点轻微的变形，但仍有坚持性。因此，最初的向量场在一个C类的哈密尔顿函数向量场中是渐进稳定的。在C类向量场的空间中的一个向量场u是确定的在 M上，如果它不是渐进稳定的，被

13、称为一个分叉点。作为一个分歧点，我们指的是通过一个分叉点作为交换参数在向量场 中的一个用参数表示的族。一个不变的集合附近发生质的改变通常称作局部分歧点，然而质的改变涉及的扩展结构在相空间中叫做全局分歧。更多的了解分歧点的含义，请看Chowand Hale 72,或着 Gukenheimer, Holmes145 ,Kuznetsov221。哈密尔顿系统古典的，精典哈密尔顿系统是众所周知的存在在物理学中。它们被不同形式的微分方程来描述?q DpH q, p,t , ?p DqH q, p,t ,其中q, p Rn Rn叫做典型变量，C2类作用H : Rn Rn RR叫做系统的哈密尔顿量。整数n是

14、指自由度的数量。 哈密尔顿系统最常出现在用n自由度描述的机械系统的运动中。在此背景下，q是一个向量n的广义坐标，p是一个向量相应的广义动量。如果，机械系统是保守系统，例如，仅受和时间无关势能力，那么哈密尔顿函数仅仅是机械能量H T V ,动能和势能的和。如果H没有显式依赖t,那么（）的解是守恒的，因为 H qt , pt0.对于单dt自由度系统，这是我们想象的轨道作为H水平面曲线的子集。除了体积保留，一个典型哈密尔顿系统的流有两个保持性能。首先，它保留了典型辛的特征从 dq dp : 1dqi dpi的形式，例如，Ft dq dp dq dp对于t R, F表示F1的拉回（见附录）.因此，F是

15、一个在流形（R2n,dq dp ）上的辛映射（？ 2n,dq dp）,于是也保存体 积dq dp dq dpn。（见附录+）。因为这种体积可能区别仅仅在在R2n上标准体积，我们断定就标准体积的拓扑空间R2n而言，典型哈密尔顿函数的流是体积保存不变的。换句话说，对于任意t,大量集合的初始条件 U的体积是等于 于大量的图像集合 Ft U的体 积。超出以上提及的保持性能，写出动力系统的哈密尔顿形式，其优点在整个向量场Xh Xq,XpDpH, DqH能够被一个实函数 H复制。此外，哈密尔顿函数本身告诉你很多哈密尔顿量流。例如， Ft 的不动点仅仅是临界点 H ,例如，DH 0的点。不懂点的稳定性明显的

16、取决于影响性能 的H。如果H具有局部最小值或最大值在 p点，那么p是一个稳定的不动点，因为这样运用H来决定作为一个李雅普诺夫函数。在Rn上，经典的哈密尔顿系统的概念能够推广的一个辛流形。观察的结果是对于任意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 ,或相当于 Xh x dq dp DH x。）（附录）这最后一个表达式提出在任意2n维空间辛流形 M , 上推广的哈密尔顿系统。让我们考虑

17、类C2的函数H : MR.哈密尔顿函数的向量场 Xh :M TM和H联系起来能够确定向量场XH DH o我们给出了几何的定义在图.相当于，Xh是具有哈密尔顿变量 H的哈密尔顿函数如 果ixH x u（x） Xh x ,u DU u,（）对于所有的u TxM。最后，微分方程?x Xh x（）叫做哈密尔顿系统通过哈密尔顿变量H生成的在 M,水平面上的集合H ,E h x M|H x h , 叫做能量面。由隐式函数定理，如果保持DH x 0对于所有x E h ,E h是一个流形。在那种，f#况下E h是一个M的余维数1 一个子流形，叫做常规能源表面。 如果包含L能源表面E h , M任意子集L叫做等

18、能道。有时 M的两个子集包含一样的能源表面也是提到 的等能道广义的哈密尔顿系统，拥有经典哈密尔顿系统的所有保持性能。例如，过（）的解， 哈密尔顿变量H被固定，因为dH xt DH xt Xh xt dtx t Xh x t , Xh x t 0,我们经常在（）用到的。这意味着（）的轨道局限于 H的能量面。对于辛保存的证明来自 通过（）的流量，看 亚伯拉罕和马斯登 4或者阿诺德 21。体积的保存遵循附录。哈密尔顿系统的性能延续到它们的庞加莱映射。特别是，对于一个n维自由度的哈密尔顿系统，如果 是一个 2n 2维的庞加莱截面在一个固定的能量面内，那么限制辛的形式是非退化的，相应的庞加莱映射P:（如

19、果定乂）是辛映射。例如，P让我们考虑一个映射R。变化率f沿着一个哈密尔顿向量场X H的轨迹能够计算因为df x t dtDf x tXh xtDf x tDH x tf,H,是泊松括号由辛形式诱导而来（见附录）的哈密尔顿系统的首次积分是一个常数解的函数，以上公式表明 f是不变的当且仅当f,H0,例如，当且仅当f是退化的随着 H o一些向量场能够写成哈密尔顿形式在开集中,但是没有在整个的相空间上。例如，思考相空间M R S1和坐标I,和辛的形式ddl。微分方程0,容许哈密尔顿函数 H I ,在M的开子集上，但是这种函数不能扩展到一个全局性的确定的平稳的函数在 M上,因为它在 中不是周期性的。一般

20、来说，如果对于任意x M有一个x的邻域U , X是一个受限于U的哈密尔顿变量，在辛流形 M , 上的一个向量场 X叫做局部哈密尔顿量，。注：X是一个局部哈密尔顿变量当且仅当单形对于所有x来说。Poincare-Cartan积分不变式目前为止我一直认为只有独立哈密尔顿函数向量场,但是在经典力学中也有人遇到过这样的微分方程形式q DpH q, p,t ,p DqH q, p,t。这样一个系统源自一个依赖时间的哈密尔顿变量H通过典型的辛形式 dq dp,正如它的自治系统。然而，一些独立哈密尔顿系统的保守型能无法对（）满足。例如，哈密尔顿函数通常不转换解的方向。一个重要的保守性能是适用于独立和不独立的

21、情况是积分pdq Hdt在扩展的相空间的渐进线上。这个积分叫做Poincare-Cartan积分不变式，制定精确地保守效果是下面的情况。让作为初始条件t b处的渐近线。表示曲线的像在流的作用下扩展相空间记为t F： 。那么，口 pdq Hdt 口 pdq Hdt。0t简言之，Poincare-Cartan积分不变式在扩展的相空间（是沿着随着t常数平面与“隧道”交叉的解保守的见图）。对于一个 Poincare-Cartan积分不变式的几何证明，见，例如，Arnold21生成函数哈密尔顿函数方程（）证明是等价于极限化积分pdq Hdt ,例如，它们来源于条件pdq Hdt 0.因此，如果我们改变变

22、量p,q P,Q保持规范的辛结构，那么我们必须有pdq Hdt PdQ Kdt,（）是一些标量乘数，K P,Q,t是被转化的哈密尔顿变量，是一个封闭的单形。为了简单，我们让 1和寻求那就可以保证（）条件，因为闭型是确定在简单的欧氏空间连接的地区，我们可以改写（）如pdq Hdt PdQ Kdt d S对于一些实值函数 S。d pq qdp pdq无解，我们进一步改写这个方程如qdp Hdt PdQ KdtdS,其中S pq So这个最终公式结果表明，任何函数S p,Q,t , 一种依赖时间变化的变量变换p,q P,Q满足q DpS,P DqS将会导致一个典型的，时间相依的哈密尔顿系统通过哈密尔

23、顿变量SK H ()t由此而论，函数 S叫做生成函数，对于变量的变换p,q P,Q .利用生成函数的优点是不用必须完成转化为整个哈密尔顿系统的向量场；一种简单的计算哈密尔顿函数的方法来自(),源自新的向量场就通过规范的辛dQ dP来自K。注：对于时间相依转型的哈密尔顿变量K仅仅是以新坐标表达初始哈密尔顿量H。对于更多的资料关于生成函数，见Abrahamand Marsden 4 或者 Arnold 21。无限维的哈密尔顿系统在这本书的第5章我们将会遇到哈密尔顿系统在函数空间上是确定的。因为大部分的分析将会限制在无限维流形，这里我们只说最简单的无限维哈密顿系统。作为一般参考书目，我们推荐 Che

24、rnoff and Marsden 66 或者 Abraham et al. 5 。2 一把M , 一个不牢固的辛流形模式化在空间 E上，让H :M R作为一个C类的 函数(见附 录B的定义)。一个 哈密尔顿函数向 量场 是和H联系起来的向 量场 是 XH :M TM满足x XH x ,u DH x u,()对于所有的u TxM.因为 假定为弱的非退彳在映射 b :TxMTxM上不是必须的，因此Xh可能不存在对于一个固定的函数H 。此外，尽管 H是光滑的，Xh通常是确定的仅仅在M的子集上。然而，因为 b是单射，所以Xh是唯一的当它是确定的。如果被假定为强的非退化的，则哈密尔顿系统的一般形式在M

25、 , 是?x Xh x DH .此外，Xh x 一般不是处处确定的在 M上。假如流是存在的，在无限维的情况下，能量的性能和通过哈密尔顿系统的流的体积保守也拥有。或许无限维的哈密尔顿系统最著名的例子是线性波动方程uttu xx ,和函数u x,t : Rn RR.为了简单，我们限制n 1 ,假定u在x上是周期性的且周期 L。随着表达式v Ut ,方程能够改写成如U V,V Uxx.考虑现在的流形M H 0, LL；e10, L和能量函数pelpeiH u,v1 L 2- v2L 02 .ux dx.和双形u vdxu vdx,M , 来源于一个辛流形。我们现在计算哈密尔顿向量场Xh XH,XH和

26、H联系起来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。因此，系统()是哈密尔顿系统和能够写成如下?u vH u,v , ?v uH u,v ,几乎处处在 D上。事实上哈密尔顿系统存在半群理论的流(见 Yosida 383 )。我们最后注 解Xh是定义在M上意义上的全局分布。辛约化在经典的力学里，一个古老

27、的技术就是通过研究哈密尔顿系统的周期对称性来减小它的维数。一个广义的哈密尔顿系统和普通的连续的对称性思想的延伸由辛约化理论给出。下面我们会详细描述，为了更详细的知道细节和结果，我们请读者参阅参考文献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上的函数可以被认为是哈密尔顿系统作用在 (M,)上的流。相 应的哈密尔顿函数将会被认为是群函数里的动量映射，这是由于在经典的力学里， 循环对称的存在性，与角动量相似的角色激发产生的。为了让这些想法更加精确，设 是一个与辛流型(M,)相关的辛函数，让J是一个从M到李代数映射的对偶空间 g。我们称J是一个动量映射，如果函数满足：(p) (P), d(J(p),),或者更细微地说，i dJ(p),)。这里 是极小数，和函数 并且(，)指的是对偶空间g和g中的元素的序列对相关。为了避免介绍更多的注释，我们把我们的注意

29、力限制在交换群中，也是阿贝尔群，在这个群中，群的乘法是可以交换的。我们在这本书遇到的对称性都是由阿贝尔对称群产生的。为了在非阿贝尔群中的函数下的辛减约化，读者请参阅我们上面所标注的资源。在阿贝尔李群中，例如 S1或者是R,我们可以根据下面的实行辛约化。假设我们已经 确定了 J是李群G中的函数的动量映射。回想：动量映射可以被想成是群函数的哈密尔顿 函数。辛约化的思想包括建立一个新的级别J ,然后关于群的函数采取商空间的水平。对*1任意固定的g ,被作用的空间P J 1( )/G被称做是约化相空间。图显示，约化的相空间是一个流形，如果是一个常量并且作用在 J 1( )上G的函数是适当的和自由的。1

30、让 ：JP作为商的投射，映射任意点p J 到类P上对应的群的轨道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的作用是适当的和任意的在 M上。 在那种情况下， P , 是一个辛流形，能够作为全部的哈密尔顿流的“模型”。这意味着如果Ft表示哈密尔顿流生成的简化的哈密尔顿函数x ,x P在辛流形P , 上，那么在P上约化的流与在 M上的全部哈密尔顿流量F

31、t交换，例如，Ft Ft 。研究在P上约化的流使得理解在拓相空间M上的动力学更容易。可积性系统正如我们所看到的那样，一个合适对称群的存在及其相应的守恒量有效地减少了哈密尔顿系统的一个自由度。如果在一个问题中能找到足够多的自由积分，那么连续减少最终将会形成单自由度汉密尔顿系统，而它又是可以根据面积来积分的，例如，用绝对值法求单积分的值。通过对称群及在减少过程中用到的相应积分而最终形成的一维自由度问题的解决方法可以重新构造全相空间结构。在绝大多数情况下，大部分的可积相空间中，n维自由度问题可归结为不变n维圆环面。Liouville-Arnold-Jost定理给出了上述论述的一个准确表达式，也就是下

32、面我们将要描述的。（证明见Arnold21,更多关于可积系统的知识见Arnold et al.22）。设（M ,）是一个有限维辛流型，& DH 是定义在M上的哈密尔顿系统，含有平光滑汉密尔顿量H。假设对于（）存在 n个积分Fi H, F2,K ,Fn,它们彼此对合，例如，Fi,Fj 0对所有的i和j成立。考虑联合式Mf x M|Fi（x） fi, i 1,K,n并假设n个函数Fi不依赖于M f ,那么M f显然是哈密尔顿系统（）的一个不变流型。此外，如果M f是简洁的和关联的，那么 Liouville-Arnold-Jost定理保证了 M f微分同胚于n维圆环面no在这种情况下，存在一个接近

33、Mf的作用角度变量（I, ） U n,其中U ?n是个开 集，这样对偶形就可以写成nd dI d i dI i,并且方程（）变为注意，在这些新坐标中，哈密尔顿H只依赖于I。此外，流是完全可积的，因为解决方案可写为(t)(0) DiH(Io)t, I(t) Io.如果频率向量 DiH (Io)的元素理性地独立于给定的n维圆环面IIo,那么结果是准周期的，并且每一个都形成了圆环面的稠密子集。但是，如果频率是理性依赖的，那么所有的j解是周期性的，例如闭轨道形成了圆环面。这样的一个圆环面被称为谐振的。在一般的可积系统中，谐振圆环面在相空间中形成了一个零测度的稠密集，与此同时，不是谐振的圆环面通常会形成

34、满测度的稠密集。在大多数情况下可积性的得出比不可积更难建立。对于n维自由度哈密尔顿系统，有一些准则能自动指出n个独立积分的不存在性。想要查阅这些准则，我们建议读者查看Kozlov211,那同时给出了汉密尔顿动态系统几个方面的详细介绍。KAM定理和 Whiskered圆环面可积汉密尔顿系统在它们的相空间中有很多要求。因为很多经典力学问题与一些可积系统类似，因此很自然地想到研究圆环面在小幅度扰动下的积分极限情况。在天体力学中，试图在近可积系统中建立持久不变圆环面始于Lindstedt和Deprit。但是，Ponicare注意至L他们对于持久不变圆环面的扰动系列大体上是发散的。发散的原因是小分母的出

35、现，这又归因于谐振圆环面。KAM定理是在对形如H(I, ； ) Ho(I) Hi(I,；)的近可积汉密尔顿系统中的n维持久不变圆环面的研究结果中得出的。在定理的早期发展过程中，汉密尔顿 H被假定为解析的，然后需要的条件被减弱到2n+1阶导数连续(见Poschel312或Arnold et al.22 ) KAM定理的主要结果是在相空间的有限开集U上非退化条件D2Ho(I)00.持久圆环面是连续能否被满足，那么 U中大量未被扰动的 n维圆环面需要足够小的的，接近于未被扰动圆环面，并且形成了测度是(1)的开集，当0时，接近U的测度。此外，如果等能的非退化条件Di2HoD1H0D1H00(1.14)成立，若要相同表述仍然正确就需要限制每个能面H 常量.上述基本结果的不同版本已经在近平衡椭圆圆环面，可移动退化圆环面，低维圆环面和对偶映射圆环面中得到证明。(更多最新记录见 Arnold et al.22或Broer et