非线性微分方程及稳定性分析.pptVIP

61引言 n阶微分方程:又, 8(t, z, z 做变换:y=y 则n阶微分方程可以用一阶方程组 y2 d=8(;y,y,…,y)  写成向量形式 d=8(z;y) (6.1) 设给定方程组(6.1)的初始条件为y(0)=y 考虑包含点(t,y0)=(ti;y,…,ym)的某区域Rt-b-a,y-y0 b 所谓g(;y0)在域G上关于y局部满足利普希茨条件是指对于G 内任意点(t0,y0),存在闭邻域RcG,而g(r;yo)与R关于y 满足利普希茨条件,即存在常数LO,使得不等式: g(x;y)-g(;y)≤|y-y  对所有(t,y),(,y)∈R成立 存在唯一性定理 如果向量函数g(t;y)在域R上连续且关于 y满足利普希茨条件,则方程组(6.1)存在唯一解y=(x;ty) 它在区间-l≤h上连续,而且 这里h=min(a,M ),M=max|g(:;y)川 (1,y)∈R 解的延拓与连续性定理 如果向量函数g(;y)在某域G内连 续,且关于y满足局部里普希茨条件,则方程组(6,1)的满足初始 条件y(t0)=yo的解y=q(x;to,y)(o,y)∈G可以延拓,或者延拓 到+∞(或-∞);或者使点(t,q(;1,y)任意接近区域G的边界。  可微性定理 如果向量函数g(;y)及(,j=1.2,…,n) 在域G内连续,那么方程组(6.1)由初始条件y(t)=y确定 的解y=q(;:,y)作为1,o,y的函数,在存在范围内是连续可微。 为研究(6.1)的特解y=9()邻近的解的性态,通常先利用 变换: x=y-o(t) (6.28) 把方程(6.1)化为: t:x) (63)  其中 O f(t, x)=g(t; y) g(t; x+o(t))-g(t; (t) 此时显然有:f(t:0)=0 (64)  62稳定性的基本概念 定义61设x(t;t0,x)是系统(6、3适合初值条件x(t0)=x0 的解 (1)若VE0,6()0,使得只要o6,对一切 t≥t恒有 x(;,)小E, 则称系统63的零解x=0是稳定的 (2)若1)x=0是稳定的; 2)Yt0,彐80.使得只要||o,就有  limx(t; to, xo)=0, 则称系统(3的零解x=0是渐近稳定的:区域{|-6} 称为x=0吸引域;如果吸引域是全空间则称x=0是全局渐近 稳定的. )若彐E00,V60,都彐x0与1≥1,使6 但|x(:,x,则称x=0是不稳定的  6.3相平面 现在讨论二阶微分方程组 ddd X(t:: y) (65) Y(t; x, y) 它的解 x=x(),y=y(1) (66) 如果把时间t当做参数,仅考虑x,y为坐标的(欧氏)空间, 此空间成为方程组(6.5)的相平面(若方程组是高阶的,则称为 相空间)。在相平面(相空间)中方程组的曲线称为轨线。对一般 的方程组(65)在相平面上一个点可能有不止一条轨线经过。但 如果方程组(6.5)是驻定方程组,即其右端函数不显含时间t的情 形,此时(6.5)式变成:  d X(x (6.7) y Y(x, y) dt 附注:在相平面,驻定方程组(67)的轨线不相交 同时满足X(x,y)=0,Y(x,y)=0的点(x,y),称为驻定方程组 (67)的奇点,显然 是方程组的解。 方程(6,7)的另一形式:(dx+by (68) =cr+  显然,坐标原点x=0,y=0是奇点。如果方程组的系数满足条 件 ≠0 (69) 则此奇点还是唯一的。 根据线性代数理论可以通过非奇异的实线性变换 5=k1x+k12y (6.10) 把线性方程组(6.8)化成标准形式,其系数为下列四种形式: 1|元0 alo all-B 其中,A,a,B为实数。这些标准形式是根据方程组(68)的 特征方程 0