《非线性微分方程.doc》由会员分享，可在线阅读，更多相关《非线性微分方程.doc（12页珍藏版）》请在金锄头文库上搜索。
1、第六章 非线性微分方程教学目的：使学生重点掌握二维自治系统奇点的分类及其附近的轨线分布；理解稳定性概念及其判定定理，会应用稳定性概念、线性化系统的特征值、Liapunov第二方法讨论自治系统的解的稳定性；了解周期解和极限环的概念教学内容：1、存在唯一性定理、稳定性2、相平面相平面、奇点分类、按线性近似决定微分方程组的稳定性3、Liapunov第二方法Liapunov第二方法4、极限圈周期解、极限环教学重难点：奇点的分类与相应零解的稳定性教学过程：6.1 稳定性6.1.1 常微分方程组的存在唯一性定理本章讨论非线性常微分方程组 （6.1）的解的性态. 设给定方程组（6.1）的初值条件为 ， （6
2、.2）考虑包含点的某区域 .在这里的范数定义为. 所谓在域上关于满足局部利普希茨条件是指：对于内任一点，存在闭邻域，而于上关于满足利普希茨条件，即存在常数，使得不等式 （6.3）对所有成立. 称为利普希茨常数. 存在唯一性定理 如果向量函数在域上连续，且关于满足利普希茨条件，则方程组（6.1）存在唯一解，它在区间上连续，而且 这里. 解的延拓与连续定理 如果向量函数在域内连续，且关于满足局部利普希茨条件，则方程组（6.1）的满足初值条件（6.2）的解可以延拓，或者延拓到（或）；或者使点任意接近区域的边界. 而解作为的函数在它的存在范围内是连续的. 可微性定理 如果向量函数及在域内连续，那么方程
3、组（6.1）由初值条件（6.2）确定的解作为的函数，在它的存在范围内是连续可微的.6.1.2 李雅普诺夫稳定性考虑一阶非线性方程 （6.4）其中为常数且，初值条件为.为研究方程组（6.1）的特解邻近的解的性态，通常先利用变换 （6.6） 把方程组（6.1）化为 ， （6.7）其中 . 此时显然有 （6.8）而把方程组（6.1）的特解变为方程组（6.7）的零解. 于是，问题就化为讨论方程组（6.7）的零解邻近的解的性态.驻定微分方程常用的特解是常数解，即方程右端函数等于零时的解，如方程（6.4）的特解. 微分方程的常数解，又称为驻定解或平衡解.考虑微分方程组（6.7），假设其右端函数满足条件（6
4、.8）且在包含原点的域内有连续的偏导数，从而满足解的存在唯一性、延拓、连续性和可微性定理的条件.定义1 如果对任意给定的，存在，使当任一满足时，方程组（6.7）的由初值条件确定的解，对一切均有 .则称方程组（6.7）的零解为稳定的.如果（6.7）的零解稳定，且存在这样的使当时，满足初值条件的解均有，则称方程组（6.7）的零解为渐近稳定的.如果零解渐近稳定，且存在域，当且仅当时满足初值条件的解均有，则域称为（渐近）稳定或吸引域. 若稳定域为全空间，即，则称零解为全局渐近稳定的或简称全局稳定的.当零解不是稳定时，称它是不稳定的. 即是说：如果对某个给定的不管怎样小，总有一个满足，使由初值条件所确定
5、的解，至少存在某个使得 ，则称方程组（6.7）的零解为不稳定的.二维情形零解的稳定性态，在平面上的示意图如图（6.2）（见254页）6.1.3 按线性近似决定稳定性考虑一阶常系数线性微分方程组 （6.10）由第五章5.3的（5.52）式可知，它的任一解均可由 （6.11）的线性组合，这里为方程组（6.10）的系数矩阵的特征方程 （6.12）的根，为零或正整数，由根的重数决定.根据（6.11），与第五章相对应的可得如下结论.定理1 若特征方程（6.12）的根均具有负实部，则方程组（6.10）的零解是渐近稳定的；若特征方程（6.12）具有正实部的根，则方程组（6.10）的零解是不稳定的；若特征方程
6、（6.12）没有正实部的根，但有零根或具有零实部的根，则方程组（6.10）的零解可能是稳定的也可能是不稳定的，这要看零根或具有零实部的根其重数是否等于1而定.考虑非线性方程组 ， （6.13）其中，且满足条件 （当时）. （6.14）显然是方程组（6.13）的解. 亦是方程组的奇点.问题 在什么条件下，（6.13）的零解稳定性能由线性微分方程组（6.10）的零解的稳定性来决定. 这便是所谓按线性近似决定稳定性的问题.定理2 若特征方程（6.12）没有零根或零实部的根，则非线性微分方程组（6.13）的零解的稳定性态与其线性近似的方程组（6.10）的零解的稳定性态一致. 这就是说，当特征方程（6.
7、12）的根均具有负实部时，方程组（6.13）的零解是渐近稳定的，而当特征方程（6.12）具有正实部的根时，其零解是不稳定的.（6.2中再补充证明）该定理说明非线性微分方程组（6.13）的零解是否为渐近稳定的取决于其相应的特征方程（6.12）的全部的根是否具有负实部.临界情形至于特征方程（6.12）除有负实部的根外还有零根或具零实部的根的情形，非线性微分方程组（6.13）的零解的稳定性态并不能由线性近似方程组（6.10）来决定. 因为可以找到这样的例子，适当变动（条件（6.14）仍满足），便可使非线性微分方程组（6.13）的零解是稳定的或是不稳定的.例1 考虑有阻力的数学摆的振动，其微分方程为
8、， （6.15）这里长度，质量和重力加速度均大于0，并设阻力系数. 令，将方程（6.15）化为一阶微分方程组 （6.16）原点是方程组的零解. 赫尔维茨（Hurwitz）判别代数方程的根的实部是否均为负的法则.定理3 设给定常系数的次代数方程 ， （6.18）其中，作行列式 其中（对一切）.那么，方程（6.18）的一切根均有负实部的充分必要条件是下列不等式同时成立： . 证明见高等代数的课本，略.例2 考虑一阶非线性微分方程组 例3 对三次方程，其中，考虑其根均具有负实部时参数的变化范围.习题6.1 第260页1（1），（3）；3（1），（3）；4（1），（3）；56.2 函数方法6.2.1
9、李雅普诺夫定理 对于数学摆的振动，当摆有阻力时可由其线性近似方程组决定它的稳定性. 但当摆无阻力时，方程组（6.16）变成 （6.19）属于临界情形，不能按线性近似决定其稳定性. 为判断其零解的稳定性态. 直接对方程组（6.19）进行处理. 李雅普诺夫第二方法的思想：构造一个特殊的函数，并利用函数及其通过方程组的全导数的性质来确定方程组解的稳定性. 具有此特殊性质的函数称为李雅普诺夫函数，简称函数.如何应用函数来确定非线性微分方程组的解稳定性态问题. 只考虑非线性驻定微分方程组 （6.20）定义2 假设为在域内定义的一个实连续函数，. 如果在此域内恒有，则称函数为常正的；如果对一切都有，则称函
10、数为定正的；如果函数是定正的（或常正的），则称函数为定负（或常负）的.进而假设函数关于所有变元的偏导数存在且连续，以方程（6.20）的解代入，然后对求导数 ，这样求得的导数称为函数通过方程（6.20）的全导数.例1 函数 是常正的；而函数是定正的；定理4 如果对微分方程组（6.20）可以找到一个定正函数，其通过（6.20）的全导数为常负函数或恒等于零，则方程组（6.20）的零解是稳定的.如果有定正函数，其通过（6.20）的全导数为定负的，则方程组（6.20）的零解是渐近稳定的.如果存在函数和某非负常数，而通过（6.20）的全导数可以表示为 ，且当时，为定正函数，而当时为常正函数或恒等于零；又在
11、的任意小邻域内都至少存在某个，使，那么，方程组（6.20）的零解是不稳定的.证明详见第265页.几何解释 由未知函数组成的空间称为相空间，二维相空间又称为相平面，微分方程的解在相空间中的轨迹称为轨线，轨线亦可定义为积分曲线在相空间中的投影. 以平面微分方程组为例，从相平面上轨线与函数的关系来说明稳定性定理的几何意义.例2 考虑平面微分方程组 ， （6.26）定理4是李雅普诺夫稳定性的基本定理，对含有时间的非驻定的微分方程组及含有时间的函数也有相应的定理，其证明也一样.定理5 如果存在定正函数，其通过方程组（6.20）的全导数为常负，但使的点的集中除零解之外并不包含方程组（6.20）的整条正半轨线，则方程组（6.20）的零解是渐近稳定的. 定理5的证明与定理4的类似.例3 数学摆的稳定性问题6.2.2 二次型函数的构造应用李雅普诺夫第二方法判断微分方程组零解的稳定性的关键是找到合适的函数. 如何构造满足特定性质的函数是一个有趣而复杂的问题. 这里考虑常系数线性微分方程组构造二次型函数的问题，并利用它来补充证明按线性近似决定稳定性的定理2定理6 如果一阶线性方程组 （6.10）的特征根均不满足关系，则对任何负定（或正定）的对称矩阵，均有唯一的二次型 （6.27）使其通过方程组（6.10）的全导数有 . （6.28）且对称矩阵满足关系式 ，
