第六章 非线性微分方程.pdfVIP

第六章 非线性微分方程 §6.1 稳定性 6.1.1 常微分方程组的存在唯一性定理 本章讨论非线性常微分方程组 dY = ),;( ∈ RYYtG n （6.1） dt 的解的性态. 设给定方程组（6.1）的初值条件为 )( = YtY 00 ， （6.2） 考虑包含点 的某区域 = 2010000 L yyytYt n0 ),,,;(),( 0 ,: 0 ≤?≤? bYYattR . n 在这里 的范数 定义为 2 所谓 在域 上关于 满足局部利普希 Y Y = ∑ yY i . YtG ),( G Y i=1 茨条件是指：对于 G 内任一点Yt 00 ),( ，存在闭邻域 ? GR ，而 ,( YtG ) 于 R 上关于Y 满足 利普希茨条件，即存在常数L 0 ，使得不等式 ~ ~ ;( );() ?≤? YYLYtGYtG （6.3） ~ 对所有 ,( ),(), ∈ RYtYt 成立. L 称为利普希茨常数. 存在唯一性定理 如果向量函数YtG ),( 在域 R 上连续，且关于Y 满足利普希茨条件， 则方程组（6.1）存在唯一解 = ? YttY 00 ),;( ，它在区间 0 ≤? htt 上连续，而且 ? ),;( = YYtt 0000 b 这里 = ah M = YtG );(max),,min( . M ),( ∈GYt 解的延拓与连续定理 如果向量函数YtG ),( 在域 G 内连续，且关于Y 满足局部利普希 茨条件，则方程组（6.1）的满足初值条件（6.2）的解Y = ? Ytt 00 ),;( ((t0 , 0 ∈ GY )) 可以延 拓，或者延拓到∞+ （或∞? ）；或者使点 ? Yttt 00 )),;(,( 任意接近区域 G 的边界. 而解 ? Ytt 00 ),;( 作为,; Ytt 00 的函数在它的存在范围内是连续的. ?Gi 可微性定理 如果向量函数YtG ),( 及 L nji ),,2,1,( 在域G 内连续，那么方程组 ?y j （6.1）由初值条件（6.2）确定的解 = ? YttY 00 ),;( 作为,; Ytt 00 的函数，在它的存在范围内 是连续可微的. 6.1.2 李雅普诺夫稳定性 考虑一阶非线性方程 dy ?= ByAy 2 （6.4） dt 其中, BA 为常数且