常微分方程-§31解的存在唯一性定理与逐步逼近法.pptx

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,常微分方程,*,第三章,一阶微分方程解存在定理,11/13/2025,常微分方程,1/40,11/13/2025,常微分方程,2/40,需处理问题,11/13/2025,常微分方程,3/40,3.1,解存在唯一性定理与逐步迫近法,11/13/2025,常微分方程,4/40,一 存在唯一性定理,1 定理1,考虑初值问题,11/13/2025,常微分方程,5/40,(1)初值问题(3.1)解等价于积分方程,连续解,.,证实思绪,(2)结构(3.5)近似解函数列,11/13/2025,常微分方程,6/40,(逐步求(3.5)解,逐步迫近法),11/13/2025,常微分方程,7/40,这是为了,即,11/13/2025,常微分方程,8/40,11/13/2025,常微分方程,9/40,下面分五个命题来证实定理,为此先给出,积分方程解,假如一个数学关系式中含有定积分符号且在定积分符号下含有未知函数,则称这么关系式为积分方程.,积分方程,11/13/2025,常微分方程,10/40,命题1,初值问题(3.1)等价于积分方程,证实:,即,11/13/2025,常微分方程,11/40,反之,故对上式两边求导,得,且,11/13/2025,常微分方程,12/40,结构Picard逐步迫近函数列,问题:,这么结构函数列是否行得通,即上述积分,是否有意义?,注,11/13/2025,常微分方程,13/40,命题2,证实:,(用数学归纳法),11/13/2025,常微分方程,14/40,11/13/2025,常微分方程,15/40,命题3,证实:,考虑函数项级数,它前n项部分和为,11/13/2025,常微分方程,16/40,对级数(3.9)通项进行预计,11/13/2025,常微分方程,17/40,11/13/2025,常微分方程,18/40,于是由数学归纳法得知,对全部正整数n,有,11/13/2025,常微分方程,19/40,现设,命题4,证实:,11/13/2025,常微分方程,20/40,即,11/13/2025,常微分方程,21/40,命题5,证实:,由,11/13/2025,常微分方程,22/40,11/13/2025,常微分方程,23/40,综合命题15得到存在唯一性定理证实.,11/13/2025,常微分方程,24/40,一 存在唯一性定理,1 定理1,考虑初值问题,11/13/2025,常微分方程,25/40,命题1,初值问题(3.1)等价于积分方程,结构Picard逐步迫近函数列,命题2,11/13/2025,常微分方程,26/40,命题3,命题4,命题5,11/13/2025,常微分方程,27/40,2 存在唯一性定理说明,11/13/2025,常微分方程,28/40,11/13/2025,常微分方程,29/40,11/13/2025,常微分方程,30/40,11/13/2025,常微分方程,31/40,3 一阶隐方程解存在唯一性定理,定理2,考虑一阶隐方程,则方程(3.5)存在唯一解,满足初始条件,11/13/2025,常微分方程,32/40,三 近似计算和误差预计,求方程近似解方法-Picard逐步迫近法,这里,11/13/2025,常微分方程,33/40,注:,上式可用数学归纳法证实,则,11/13/2025,常微分方程,34/40,例1,讨论初值问题,解存在唯一区间,并求在此区间上与真正解误差不超,解,因为,由(3.19),11/13/2025,常微分方程,35/40,11/13/2025,常微分方程,36/40,例2,求初值问题,解存在唯一区间.,解,11/13/2025,常微分方程,37/40,例3,利用Picard迭代法求初值问题,解.,解,与初值问题等价积分方程为,11/13/2025,常微分方程,38/40,其迭代序列分别为,取极限得,即初值问题解为,11/13/2025,常微分方程,39/40,作业,P78 1,3,4,8,11/13/2025,常微分方程,40/40,