动力系统的一些定性理论分析.doc

重庆大学硕士学位论文 1 前 言 ?a b ? 的初等奇点附近的轨道结构。其中 ? A 为常数矩阵，奇点(0，0)是初等的 ? ? ? c d ? ? 是指矩阵 A 非退化。 定理 1.2.5 (初等奇点类型的判定) 对于系统(1.3)，记 p ? ?trA ? ?(a ? d), q ? det A ? ad ? bc 则我们有 (1) 当q ? 0时，(0，0)为鞍点； (2) 当q ? 0 且 p2 ? 4q 时，(0，0)为两向结点； (3) 当q ? 0 且 p2 ? 4q 时，(0，0)为单向结点或星形结点； (4) 当q ? 0 且0 ? p2 ? 4q 时，(0，0)为焦点； (5) 当q ? 0 且 p ? 0 时，(0，0)中心点； 图 1.1 鞍点 图 1.2 单向结点 Fig1.1 saddle point Fig1.2 unidirectional node 图 1.3 焦点 图 1.4 两向结点 Fig1.3 focus Fig1.4 two-directional node 3 重庆大学硕士学位论文 1 前 言 图 1.5 星形结点 图 1.6 中心 Fig1.5 star node Fig1.6 center 平面动力系统的一些结果 平面动力系统因为其较好的几何直观，在过去几十年来获得了长足的发展。 这里就闭轨存在性问题和奇点的类型问题的主要结果做一概述。 给定微分方程组 ?dx ? ? ? dt dy ? ? ? dt ? ? X (x, Y(x, y) y) (1.4) 其中 X (x, y),Y(x, y) 是定义在 R2 上的连续函数，并满足保证初值问题的解才存在唯 一性。则(1.4)在 R2 上定义了一个动力系统 f 。 平面动力系统的许多结果都是由方程解的存在唯一性和平面 Jordan 定理这个 简单的几何事实推得。关于闭轨的一些结果主要是 H. Poincare 和 I. Bendixson 得到 的。必须指出的是，很多结论只在欧氏平面 R2 或二维球面 S 2 成立，这是因为 Jordan 定理的缘故。 定理 1.2.6 (Poincare-Bendixson 环域定理) 设 D 是由两条单闭曲线 L 和 1 L 所 2 包围成的环域，并且在 D 内无奇点；又设当t 增加时从 L ， L 上出发的轨线都进 1 2 入(或都离开) D ，则在 D 内存在闭轨线 L ，其相对位置是 1 L L L ? ? 。 2 记 ? 为 f ?p,t?的所有? 极限点， A 为 f ?p,t?的所有? 极限点。即： p p p ?q lim f ( p,t ) ? q,t ? ???， ? ? ? ? ??? ? ? Ap q lim f ( p,t ) q,t n ? n ? ? n n ? n n 显然有 ? 和 p A 为不变闭集。 p 定理 1.2.7 若 L 为闭轨，则： (1) L ? ? ? L ? ? ; p p (2) L ? A ? p L ? A 。 p 定理 1.2.8 若 ? ( p A )有界非空，且不包含奇点，则 p ? ( p A )必为闭轨线。 p 定理 1.2.9 若 f ( p, I) 非闭轨线， ? 为闭轨线，则存在 p 的? 邻域 S( p,?) ， p 使得对任何 q ? S(p,?) 必有 ? p ? ? 。 q 4 重庆大学硕士学位论文 1 前 言 定理 1.2.10 平面上任何闭轨所包围的区域中必有奇点。 定理 1.2.11 设 D 是由两条闭轨线 L1 ? L 所围成的环域， D 中无奇点也无其 2 他闭轨线，则对一切 q ? D ，必有?q ? L1 , A ? L (或者?q ? L2 , A ? L )。 q 2 q 1 下面我们对平面非线性系统奇点的拓扑结构的经典结果作些总结。主要是通 过与相应的一阶近似系统的比较得到的。 给定微分方程组 ?dx ? ? ? dt dy ? ? ? dt ? ? ax cx ? ? by dy (1.5) 和 ?dx ? ax ? by ? ? x, y ? ? ? ? dt ? (1.6) dy ? ? ? ? cx ? dy ? ? x, y ? ? dt 其中 a,b,c,d 是实数，??0,0?? ??0,0?? 0，且在原点的邻域中??x, y?,??x, y?对 x, y 连续，还满足解的唯一性条件。为方便，我们引入方程(1.6)的两组条件： 条件 1： ??x, y?,??x, y?=o(r) ，r ? 0 ； 条件 2： ??x, y?,??x, y?在原点的小邻域内对 x, y 连续可微。 条件 3：??x, y?,??x, y?= ( ) o r ， r ? 0 ，其中? 是一