一阶微分方程解的存在唯一性定理.pptVIP

第三章一阶微分方程解的存在唯一性定理

/ExistenceUniquenessTheoremofFirst-OrderODE/

;?深刻理解解的存在唯一性定理的条件与结论;.

;大量的一阶微分方程是不能用初等措施求出其通解的。另首先，实际问题所需要的往往是规定满足某种初始条件的解。因此目前我们把注意力集中在Cauchy问题。;一种不能用初等积分法求解的方程与否有解?初值问题有解的条件是什么?;一般地,能求得精确解的微分方程少之又少.当微分方程

的解存在且唯一时,我们可以用近似计算来得到微分方程的近

似解.

;在实际问题的微分方程模型中,由于多种条件的限制,实际测量的初始数据(初始条件)往往是不精确的,以此为根据得到的解与否能反应问题的本质?换句话讲:当时值的变化很小时,微分方程的解的变化与否也很小?;§3.1解的存在唯一性定理和

逐渐迫近法

/ExistenceUniquenessTheoremProgressiveMethod/

;概念和定义;本节规定/Requirements/;一、概念与定义/ConceptandDefinition/;2.利普希兹条件;二、存在唯一性定理;定理1的证明需要证明五个命题：;证明思绪;定理1的证明;证明;反之，假如;目前取;例如RiccatiEquation

;;解：;命题2对于所有的(3.1.9)中函数;即命题2当n=1时成立。;??即命题２在n=k＋１时也成立。;为此，进行如下的估计，由逐渐迫近序列(3.1.9)有:;设对于正整数n,不等式

;由此可知，当;则;因而，对(3.1.9)两边取极限,得到:;命题5;现设;有;因此，在;附注/Remark/;这条件是充足条件，而非必要条件。;此外，;2);例3当Lipscitz条件不满足时，解也也许存在唯一。;x;例4设方程(3.1)为线性方程;4）定理中;定理中;4)一阶隐式方程的解的存在唯一性;实际上，由条件知所确定的隐函数

在邻域内存在且持续，且;三、近似计算和误差估计;例5;例6;§3.1ExistenceUniquenessTheoremProgressiveMethod