高维空间中连接双曲鞍点的异宿环的稳定性.pdf

刘潇等：高维空间中连接双曲鞍点的异宿环的稳定性 献 4[])．1958年Andronov等人 【】中把条件减弱为假设方程右端是C 的，用讨论后继函数的方法又 重新证明了这一定理． 定理 1．1 设 s()是系统 (参见文献 [5】) = ，()， X ∈ 。， ．，∈C 的与鞍点 0相连的同宿环，则当 00(或 0)时，(1)是稳定 (或不稳定)的． 借助文献 6【]中的结果，文献 7【】与 f8】对右端函数为 的情况进行了进一步研究．从文献 f7]不 难理解在粗环的情况下，仅用鞍点本身的信息就可以决定同宿环的稳定性．1968年Cherkas在文献 9『] 中假设右端为 的条件下，引进局部坐标又重新证明了上述定理并将他的方法推广获得了粗异宿环 的稳定性判据．1985年，冯贝叶等人在文献 [10】中解决了临界情况下异宿环的稳定性，而在文献 fl1] 又进一步将他的方法加 以推广、得到了上面所提到的全部有关同宿、异宿环稳定性的结果．罗定军等 人在文献 [12]中对相关结果给出了新的更简单的证明．文献 [6】讨论了无穷远分界线的稳定性，给出 了无穷远同宿环的Melnikov判据，以及从无穷远分界线分支出极限环的解析判据；从同宿，异宿环分 支出同宿，异宿环的条件，以及空间同宿环的稳定性．文献 1『31把 Melnikov函数推广到了高维空间， 并提出了与分支方程密切相连的主法向概念． 本文考虑高维空间连接双曲鞍点的异宿环的稳定性，将文献 f21关于 3维系统鞍点异宿环的稳定 性的研究推广到m+n+2维空间鞍点异宿环的稳定性研究，在可定义回复映射的条件下，给出了异 宿环稳定流形和不稳定流形的维数． 2 基本定义及假设 在这一节，我们将给出几个关于高维空间异宿环稳定性的定义以及对空间系统的几个基本假设， 它们在后面一节关于异宿环稳定性的证明过程中起非常重要的作用． 考虑空间系统 X=F(x)，X ∈ ++，F∈C (r≥2)． (2．1) 定义 2．1 设 是系统 (2．1)的不可分解的闭不变集．称集合Uc m+n+是 的一个 ￡一部分 邻域，若 (1)LcU， (2)对 E0，若X ∈U，则 d(X，L)E， (3)若 ∑是 的横截面，则 ∑n 同胚于 ]l~m--[n+l中的单位开球 Bm+n+l： f lX ∈ + ， IX 『1)． 定义 2．2 设 L是系统 (2．1)的不可分解的闭不变集，称 是正向 (负向)部分邻域稳定的，若 对 ￡0，存在 的一个 ￡部分邻域 ，使得过 中任意一点 的前向轨道 Orb+()(负向轨道 Orb一(11包含在 U中． 定义 2．3 设 (，t)表示 t=0时通过 的轨线上对应于时刻 t的点．若 不仅是正向 (负向) 部分邻域稳定的，且具有性质：当t_÷+。。(一∞)时，d((，)，L) 0，则称 是正向 (负向)部分邻 域渐近稳定的． 定义 2．4 若 不是正向部分邻域稳定的，即对任意的 ￡0，L不存在可按向前方向定义回复 映射的 ￡一部分邻域或虽然存在但不满足定义2．1中U所具有的性质，则称 是不稳定的． 中国科学：数学 第 44卷 第 12期 本文总假设 以 F几点成立： (H1)X= 是 (2．1)的双曲鞍点，即F()=0且Ai=D F()的特征值为 i，… ．， ，，， pi，．．．，pmz，满足Rep]pb0 bReAl，i=1，2，J=1，2，…，m，f=1，2，．．．，凡． (H2)系统 (2．1)有一异宿环 F=r1ur2，其中 = ( =ri()I又 ：F()，t∈ }，r1(+∞)= r2(一∞)=P2，r2(+。。)：rl(一∞)=P1． (H3)r在点 处分别与由相应于 ，p 的特征向量 e，e 张成的直线相切．记单位特征向量分 别为e=limt-+一。。 ，ei-=limt-~+。。袭 ，e=limt-++。。 ，则e∈ ，e∈ ， 其 中 和 分别为鞍点 的不稳定流形和稳定流形． (H4) t．l+ir+a (t) “= “， lira 。(t)