非线性微分方程.ppt

第六章 非线性微分方程§6.1 * 第六章 非线性微分方程 §6.1 稳定性 李雅普诺夫稳定性 按线性近似决定稳定性 V 函数方法 (李雅普诺夫第二方法) §6.2 定性 奇点 极限环 平面图貌 *§6.3 混沌 * 李雅普诺夫稳定性 例 求一阶非线性微分方程 的解的图貌。其中A,B为常数且A·B0，初值条件为y(0)=y0。 解 方程有通解 特解 满足初值条件的解为 (a)当A0,B0时： 满足初值条件y(0)=y00的解趋于特解y2(t)= A/B； 满足初值条件y(0)=y00的解y1(t)趋于无穷。 (b)当A0,B0时： 满足初值条件y(0)=y0A/B的解y2(t)趋于无穷； 满足初值条件的解y(0)=y0A/B趋于特解y1(t)= 0。 * 李雅普诺夫稳定性 一般称当A0,B0时的特解 y2(t)和当A0,B0时的特解 y1(t)为稳定的。 而称当A0,B0时的特解y1(t) 和当A0,B0时的特解y2(t) 为不稳定的。 对方程组 的某特解 y= φ(t), 可以通过变换 x=y-φ(t)化为方程组 的零解。 其中 即y的方程组的特解y= φ(t)变为x的方程组的零解。 * 例 例 对方程(4)的特解y2(t)= A/B ，可通过变换 x=y-A/B 化为方程 这样，讨论方程(4)的特解y2(t)= A/B的稳定性态 便可化为讨论上方程的零解x=0的稳定性态。 微分方程（4）右端不含自变量，其右端为零得到的代数方程Ay-By2=0的解y1(t)= 0 ,y2(t)= A/B是微分方程（4）的常数解，称为平衡解。 微分方程（7）右端不含自变量时为驻定微分方程。 驻定微分方程右端为零得到的代数方程的解 是微分方程的常数解，也是特解，称为驻定解或平衡解。 * 稳定性定义 假设 方程组(5)的右端函数f(t,x)在包含原点的域G内有连续的偏导数，从而满足方程组的解的存在唯一性、延拓、连续性和可微性条件。 稳定性定义 如果对任意给定的?0，存在?= ? (? ,t0)，使当任一x0满足||x0||≤ ?时，方程组(5)的由初值条件x(t0)= x0确定的解x(t)对一切t≥t0均有||x(t)||≤ ? ，则称方程组(5)的零解是稳定的。 如果方程组(5的零解x=0稳定，且存在?0，使当||x0||≤ ?0时，满足初值条件x(t0)= x0的解x(t)均有 则称零解是渐近稳定的。 * (续) 稳定性定义 稳定性定义 如果零解x=0渐近稳定，且存在域D0，当且仅当x0?D时，满足初值条件x(t0)= x0的解x(t)均有 则域D0称为(渐近)稳定域或吸引域。 若稳定域为全空间，即?0 =+∞，则称零解x=0是全局渐近稳定的或简称为全局稳定的。 当零解x=0不是稳定时，称它是不稳定的， 即：如果对某给定的? ，不管怎样小，总有x0满足||x0||≤ ? ，使方程组(5)的由初值条件x(t0)= x0确定的解x(t) ，至少存在某有t1t0，有||x(t1)||= ?。 二维情形零解的稳定性态在平面上的示意图如图(6.2)。 稳定性态在平面上的示意图 * * 稳定性态在平面 上的示意图 例 对微分方程(4)，当 A0,B0时，其零解y=0 为渐近稳定，稳定域为 yA/B。特解y2(t)=A/B 为不稳定。 当A0,B0时，微分方 程(9)的零解x=0为渐近稳 定，稳定域为x-A/B。 而对微分方程(4)的特解y2(t)=A/B为渐近稳定，稳定域为y0。零解y=0为不稳定。 * 常系数线性微分方程组稳定性 考虑常系数线性微分方程组 其特征方程为 由第五章(5.52)式知线性微分 方程组的任一解均可表为形如 的线性组合。其中λi 为特征方程(10)的根，li≥0为由根λi的重数确定的整数。 定理1 若特征方程(10)的根均具负实部根(包括负根)，则方程 组(8)的零解是渐近稳定的；若特征方程(10)具正实部根(包括正根)，则方程组(8)的零解是不稳定的；若特征方程(10)没有正实部根(包括正根)的根，但有零根或零实部的根，则方程组(8)的零解可能是稳定的也可能是不稳定的，这要看零根或零实部的根的重数是否等于1而定。 * 按线性近似的稳定性