词条 | 微分动力系统 |
释义 | weifen dongli xitong 微分动力系统(卷名:数学) differential dynamic system 具有可微性质的动力系统。这一常微分方程论的分支起源于有关结构稳定性的研究。常微结构稳定性这一概念,A.A.安德罗诺夫和Л.С.庞特里亚金在1937年即已提出,但二十多年后,才开始受到人们的认真注意(见动力系统)。 微分动力系统的研究后来得以日益开展还由于它吸收了泛函分析、黎曼几何学、微分拓扑学、遍历理论等数学分支的一些内容作为工具来进行大范围的分析(例如,微分拓扑中的匀断性概念在微分动力系统研究中有较广泛的运用),还由于它有较广泛而深入的应用前景。 举例 考虑一线性常微分方程组(或常微系统) ![]() ![]() ![]() ![]() ![]() ![]() ![]() 假如(2)的扰动项η(x)具有充分小的模 ![]() 事实上,若‖η‖1<∞,则对每一z∈E2,(2)有解墫(t,z)(-∞<t<∞)取初值墫(0,z)=z。置 ![]() 但有的常微分方程组(或常微系统)是很敏感的,即任何微小的扰动都不保证它的相图结构不改变,例如图2 ![]() 上面是两个简单的常微系统的例子,前者在微小C1扰动下相图结构不变,后者则不然。 常微系统及结构稳定 这里一般考虑光滑流形上的常微系统,不限于欧氏空间或其开子集上的常微分方程组。这样考虑是有理由的。例如,En×En上一C∞函数H在哈密顿系统 ![]() 设M是一光滑流形(是一个有可数基及豪斯多夫拓扑的拓扑流形,其上有C∞微分构造)。命Tx(M)为M在x处的切空间, ![]() 设S是M上一C1常微系统:若绕M上任一点处取局部坐标系,则局限在这样的坐标系上,S可表成常微分方程组,其系数函数对自变量连续地可微。根据基本的常微分方程论,在M中过每一点x都有惟一的一条称为S的轨线的曲线φt(x)(t∈一个包含O的最大区间(t憦,t憪)),满足 ![]() 在这些轨线中占有特殊地位的是奇点和周期轨线。S的奇点α(即S(α)为0向量)称为双曲的,如果S在α处(就局部坐标系来说)的雅可比方阵的所有特征根实部都不为0。设p是S过常点с的周期轨线(即φρ(с)=с对某些ρ>0),任取M中过с的一个余维为1的光滑子流形∑作为S的截痕,于是从∑中邻近于с的点出发的轨线将接着再与∑相交。这给出∑上绕с处的局部C1微分同胚。p称为双曲的,如果这微分同胚在с处的雅可比方阵所有特征根绝对值都不等于1。 在S所有轨线组成的相图中,非游荡集Ω(S)有时有很复杂的拓扑结构。因为Ω(S)由所有这样的点x∈M组成,即x的每一邻域U都有域回归性,这是说,恒有任意充分大的t使有非空的U∩φt(U)。 M上所有C1常微系统自然地作成一线性空间 ![]() 设M是一光滑黎曼流形。对任一Z∈H(M),置 ![]() 前面举了结构稳定与非结构稳定系统的例子。显然M上所有结构稳定系统作成H(M)中一开子集。 结构稳定理论中极大部分重要成果都是在紧致光滑流形情况下得出的。下面普遍设M是紧致的。 于是对任一Z∈H(M)恒有 ‖Z‖1<∞,且H(M)作成一巴拿赫空间以‖·‖1为模Z(据M的紧致性可看出,从M上另外的黎曼度量出发得出的这样的模是等价的)。从M的紧致性可得出,S∈H(M)过任一x ∈M 的轨线 ![]() ![]() 从二维到高维 在一闭曲面M2上,C1常微系统S结构稳定的充分必要条件是:①S仅有有限个数的奇点和周期轨线,这些奇点和周期轨道都是双曲的。②S过每一常点с∈M2的轨线的ω-极限集Гc和α-极限集合Г婞都只能是奇点或周期轨线,但Гc和Г婞不同时都是鞍点。 M.佩克索托(1959,1962)得出这个特征性定理。在此以前,安德罗诺夫与庞特里亚金(1937)就某类平面常微分方程组叙述过同样的结论。佩克索托同时还给出一稠密性定理,即:M2上所有的结构稳定系统作成H(M2)中一稠密子集。这个结果是令人鼓舞的,因为对于H(M2)中各种常微系统所展示的许多复杂的相图,多少看到了有一点一般性的规律。 但当diтM≥3时,是否可以有类似的结论呢?S.斯梅尔曾经研究过M上一类较特殊而现在称为莫尔斯-斯梅尔系统(简称M-S系统)的常微系统(1960)。这类系统至少有一个特性是:它的非游荡集仅由有限个数的奇点和周期轨道组成。后来J.帕利斯与斯梅尔(1968)证明M-S系统是结构稳定的。闭曲面上的结构稳定系统是M-S系统。但即令当diтM=3时,M上所有的结构稳定系统可以不作成H(M)中的一个稠密子集,R.威廉斯(1968)曾经给出一个三维非稠密性的例子。另外,结构稳定系统周期轨线的个数一般也可以是无限的。60年代初期继续出现的斯梅尔马蹄及阿诺索夫微分同胚(包括托姆环面自同构),通过取扭扩都可引出具有无限多周期轨线的结构稳定的常微系统。扭扩是一个从微分同胚以得出常微系统的办法。 微分同胚与扭扩 前面已经指出,所讨论的微分动力系统,除开由常微系统所产生的对时间 t连续的动力系统以外,还有由微分同胚所产生的离散动力系统。命Diff(N)为一紧致光滑流形N上所有的C1微分同胚作成的集合,赋以C1拓扑。对任给的一 ƒ∈Diff(N),由(q,x) ![]() ![]() 如上所述,有两类形式的问题。一类是有关连续系统的,另一类是离散的。两者基本上类似,但有其独特性的部分。另一方面,在有关微分动力系统的文献中也经常看到,有些重要成果先对离散系统建立,然后设法扩充至连续情况。象Z.尼太斯基在《可微动力系统》一书中总结到的研究离散系统的方法,比如巴拿赫空间中哈特曼-格罗布曼定理的应用,有代表性。若直接讨论常微系统,采用典范方程组的办法将是较方便的。 任给ƒ∈Diff(N)。它的扭扩流形Nƒ是商流形(-∞,∞)×N/~,其中~表等价关联(t,x)~(t+q,f -q(x))对于q∈J(图3 ![]() ![]() 在此必须指出:可以这样取Nƒ上的一个C∞微分构造,使得x ![]() ![]() 双曲性、匀断性与Ω-稳定 考虑S∈H(M)及所产生的动力系统φt:M→M(- ∞<t<∞)如前。从S的C1可微性,知φt(-∞ <t <∞)也是C1可微的,故S也在M的切空间丛T(M)上导出一单参变换群(亦即一动力系统)dφt:T(M)→T(M)(- ∞<t<∞)。设Λ是M中一闭子集,在 φt(-∞<t<∞)下不变。称S在Λ上有双曲构造,如果部分丛T(M)|Λ有直和分解 ![]() ![]() 设S在Λ上有双曲构造,对任一x∈Λ,记 ![]() 一个重要问题是:如何推广dimM=2情况下的佩克索托特征性定理,寻找dimM≥3情况下结构稳定系统的特征性质。这方面曾经有一个(原为帕利斯与斯梅尔就微分同胚产生的离散系统情况下提出的)推测。其内容为:S∈H(M) 结构稳定的充要条件是①公理A:S在Ω(S)上有双曲构造,且奇点与周期轨线的并集在Ω(S)中稠密。②强匀断:对任意的x及y∈Ω(S),W-(x)与W+(y)恒匀断相交。 这条件充分性的证明虽久已由C.鲁宾孙(1954)完成,但必要性尚只在低维情况下得到验证。主要是要验证 S结构稳定是否蕴涵它在Ω(S)上有双曲构造。 比结构稳定这概念稍弱一点的,有所谓Ω-稳定性。S∈H(M)将称为Ω-稳定的,如果存在一数δ>0使得, 如果Z∈H(M)且‖Z-S‖1<δ,则Ω(S)与Ω(Z)有相同的相图结构,换言之,即有一从Ω(S)到Ω(Z)上的拓扑变换把S在Ω(S)中的轨线映到Z的轨线。 若S是结构稳定的,则它也显然是Ω-稳定的。同样有一个问题:若S是Ω-稳定的,则它是否一定在Ω(S)上有双曲构造呢?对这个问题,过去只在低维情况下有肯定的答案。 扰动问题 微分动力系统研究,大致可以说,前期以稳定性问题为核心而展开。近年来,逐渐更多地涉及到一些非稳定方面的课题。这是从数学上反映了自然界中常常发生的、随时间而变导的扰动现象,因而引人注意。如1963年,E.N.洛伦茨就讨论了简化一个流体动力学方程后所得的方程组 ![]() 如上所述,在高维情况下,由于结构稳定系统或Ω-稳定系统的非稠密性,H(M)中有些系统在发生扰动时,其相图拓扑结构可能随扰动而混杂地变动。这方面的有些规律应当是遍历性的。例如,从佩辛与D.吕埃尔的一个结果有:若S是M上一C∞常微系统且μ是在φt(-∞<t<∞)下不变的概率测度,则对几乎所有点x∈M, ![]() ![]() 考虑M上所有的结构稳定系统。它们作成H(M)中一开子集 ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 参考书目 S.Smale,The Mathematics of Time,Essays on Dynamical Systems,Economic Processes,and Relat-ed Topics,Springer-Verlag,New York,1980. M.C.Irwin,Smooth Dynamical Systems, AcademicPress,London, 1980. Z.Nitecki,Differentiable Dynamics, MIT Press,Cambridge,Mass.,1971. D. Ruelle,Differentiable Dynamical Systems andthe Problem of Turbulence, Bull.AMS.(New Series),5,pp.29~42,1981. 廖山涛:典范方程组,《数学学报》,第17期,第100~109,175~196,270~295页, 1974。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。