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

2023/10/26,常微分方程,第三章 一阶微分方程的解的存在定理,2023/10/26,常微分方程,2023/10/26,常微分方程,需解决的问题,2023/10/26,常微分方程,3.1 解的存在唯一性定理与逐步逼近法,2023/10/26,常微分方程,一 存在唯一性定理,1 定理1 考虑初值问题,2023/10/26,常微分方程,证明思路,(2)构造(3.5)近似解函数列,2023/10/26,常微分方程,(逐步求(3.5)的解,逐步逼近法),2023/10/26,常微分方程,这是为了,即,2023/10/26,常微分方程,2023/10/26,常微分方程,下面分五个命题来证明定理,为此先给出,积分方程的解,如果一个数学关系式中含有定积分符号且在定积分符号下含有未知函数,则称这样的关系式为积分方程.,积分方程,2023/10/26,常微分方程,命题1 初值问题(3.1)等价于积分方程,证明:,即,2023/10/26,常微分方程,反之,故对上式两边求导,得,且,2023/10/26,常微分方程,构造Picard逐步逼近函数列,问题:这样构造的函数列是否行得通,即上述的积分 是否有意义?,注,2023/10/26,常微分方程,命题2,证明:(用数学归纳法),2023/10/26,常微分方程,2023/10/26,常微分方程,命题3,证明:,考虑函数项级数,它的前n项部分和为,2023/10/26,常微分方程,对级数(3.9)的通项进行估计,2023/10/26,常微分方程,2023/10/26,常微分方程,于是由数学归纳法得知,对所有正整数n,有,2023/10/26,常微分方程,现设,命题4,证明:,2023/10/26,常微分方程,即,2023/10/26,常微分方程,命题5,证明:,由,2023/10/26,常微分方程,2023/10/26,常微分方程,综合命题15得到存在唯一性定理的证明.,2023/10/26,常微分方程,一 存在唯一性定理,1 定理1 考虑初值问题,2023/10/26,常微分方程,命题1 初值问题(3.1)等价于积分方程,构造Picard逐步逼近函数列,命题2,2023/10/26,常微分方程,命题3,命题4,命题5,2023/10/26,常微分方程,2 存在唯一性定理的说明,2023/10/26,常微分方程,2023/10/26,常微分方程,2023/10/26,常微分方程,2023/10/26,常微分方程,3 一阶隐方程解存在唯一性定理,定理2,考虑一阶隐方程,则方程(3.5)存在唯一解,满足初始条件,2023/10/26,常微分方程,三 近似计算和误差估计,求方程近似解的方法-Picard逐步逼近法,这里,2023/10/26,常微分方程,注:上式可用数学归纳法证明,则,2023/10/26,常微分方程,解,由于,由(3.19),2023/10/26,常微分方程,2023/10/26,常微分方程,解,2023/10/26,常微分方程,解,与初值问题等价的积分方程为,2023/10/26,常微分方程,其迭代序列分别为,取极限得,即初值问题的解为,2023/10/26,常微分方程,作业,P78 1,3,4,8,