§平面定性理论简介.ppt

平面定性理论的研究目标是：在不求解的情况下，仅从（6.4.1）右端的函数的性质出发，在相平面上描绘出其轨线的分布图，称为相图。任何实现呢？从运动的观点来看， 系统（6.4.1）可以看成是描述平面上一个运动质点的运动方程，这样系统（6.4.1）在相平面上每一点（x,y）确定了一个速度向量V（x，y）=(f(x,y),g(x,y)), 其中 是任意常数，消去 得 这是一族对数螺线，这样的奇点称为焦点， 且当 时是稳定焦点， 时是不稳定焦点， 的正负决定了 增加时轨线是顺时针还是逆 时针绕原点旋转的。 * * §6.4 平面定性理论简介 6.4.1 线性系统的计算机相图 6.4.2 平面线性系统的初始奇点 6.4.3 平面非线性系统奇点附近的轨线分布 6.4.4 极限环的概念 6.4.5 极限环的存在性与不存在性 (6.4.1) 本节我们仍考虑被称为平面系统的二维自治系统 (6.4.1) 其中 ， 在上 连续且满足解的 存在唯一性条件。 为了研究系统（6.4.1）的轨线的定性性态， 必须弄清其奇点及其邻域内的轨线分布。比如 上节我们已知系统的任何出发于常点的轨线， 不可能在任一有限时刻到达奇点。反过来如果系 统的某一解 ， 满足： 则点 一定是系统的奇点。 一般来说，奇点及其附近轨线的性态是比较 复杂的。又因为对于系统的任何奇点 均 可用变换 (6.4.2) 把（6.4.1）变为： (6.4.3) 且(6.4.3)的奇点 即对应于(6.4.1)的 移变换，所以不改变奇点及邻域轨线的性态。 奇点 。又因为变换(6.4.2)只是一个平 因此，我们可假设 是(6.4.1)的奇点，且 性态即可。所以设(6.4.1)中的右端函数满足： (6.4.4) 如果 均是 的线形函 数。我们称之为线性系统，即 只须讨论(6.4.1)的奇点 及其邻域的轨线 (6.4.5) 6.4.1 几个线性系统的计算机相图 一个自治系统在奇点邻域的相图对奇点邻 域轨线的性态有很大的帮助。Maple可以方便地 画出其图形，给我们一个直观的形象。 Maple画轨线图时候先要调入微分方程的软 件包，接着定义方程，给出变量及其范围，指定 初值，再给出步长、颜色等。看几个具体的例子。 例5.3.1 用Maple描出系统 (5.3.6) 在奇点附近轨线的相图。 解 用Maple解得相图5.7。 6.4.2 平面线性系统的初等奇点 考虑到一般的平面线性系统 （6.4.5） 其中系数矩阵 常数矩阵 。 如果 ，则 是系统 这时的奇点称为系统的高阶奇点。 下边讨论系统（6.4.5）的初等奇点。 根据线性代数的理论，必定存在非奇异 实矩阵 ，使得 成为 的若当 的惟一的奇点，这个奇点称为孤立奇点. 而 则称 非为孤立奇点,而非孤立奇点充满一条直线， （Jordan）标准型，且若当标准型的形式由 的特征根的不同情况而具有以下几种形式： 因而对系统（6.4.5）作变换 即 ，其中 是上边所说的实可逆矩阵，则系统 (6.4.5)变为: (6.4.10) 从 而变换的几种形式就能容易的得出 平面系统（6.4.10）的轨线结构，至于 原方程组(6.4.5)的奇点及附近的轨线结构只须 用变换 返回到就行了。 由于变换 不改变奇点的位置与类 型 ，因此我们只对线性系统的标准方程组给出 讨论。 记 设 的特征方程为： 则特征方程为　　　　　　 ，特征根为 (6.4.11) 由特征根的不同情况分为四种情况来讨论: 1. 特征根为不相等的同号实根 此时对应的标准型为 (6.4.12) 容易求出其通解为 （6.4.13） 其中 是任意常数， 对应于零解， 对应的 轴正负半轴都是轨线； 对应的 轴正负半轴是轨线； 当 时候，再分两种情况讨论： （1）， 同号且均为负数 这时消去