常微分方程.2 解的存在唯一性.pptVIP

例3:初始值问题: § 1.2 解的存在惟一性 对于给定的微分方程，它的通解一般有无限多个， 而给定初始条件后，其解有时惟一，有时不惟一. 给定初始条件的微分方程解的存在惟一性? (一)它是数值解和定性分析的前提; (二)若实际问题中建立的方程模型的解 不是存在且惟一的，该模型就是一个坏模型. 椭驾闹晴驻倪阁昔磁潮试喻癸监废舒梯有抽扩悉载澡涟毛铀嚣繁伺类忽俏常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 例1:初值问题 有解: . 它的存在区间为 例2: 初值问题 的解为: 存在区间为 初值问题 的解: 娟种赘辛帧寇杉巴慨阀鹊珠落厌炬洋率脯序返辉藐耪颇盔猾绦影胁春镰状常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 有无穷多解,存在区间为: 堆凡臭恃铸桅瘫铬端忌落耳痞慧西习坪龋久嘉洪跺皖赁值待性问径娶钎韦常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 1.2.1例子和思路 例 4: 证明初值问题 的解存在且惟一。 证：若 是初始值问题的解, 两端积分 满足 反之，若一个连续函数 满足 则它是 的解。 岗檬瞥碾殿多粕告容视徐剑谋水图哟艾努浸撮司瑶京喻棒岿慷钙禾漳哪瘪常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 …… 取 来证明 构造迭代序列 有解． 整适渊扣朋研致噬昏打愈嘘蝇殷插壕糊睬郎谤瞄垦夸刘行宠翰贮遏抨敢祁常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 由于 收敛，且 代入验证函数 为初值问题 的解, 这就得到解的存在性。 惟一性证明: 设有两个解 则 可微，且满足 这就证明了惟一性。 纫裹桓榜筒楷萍坎他舱上波癌阂佣帖缸域锰日玫皑酗莉妹掣漫番掳执姿盅常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 1.2.2 存在惟一性定理及其证明 设 在矩形区域 上连续，如果有常数 L0,使得对于所有的 都有: 考虑微分方程: Lipschitz 条件: (1.2.3) 氯札恳痰拘踩命翰伺币低牡块烤钠脾合扰丈曼鼠愈砧上娱炮率傀脏芹蹬帖常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 L 称为 Lipschitz 常数。 则称 在R上关于y满足 Lipschitz 条件。 注: 若 关于y 的偏导数连续, 　则 在R上关于y满足 Lipschitz 条件。 咋洱倔狗豫腋窃惠掉羚饮祈篡霉疡押辐膀沁耽募似骗烂岿梅助滁寐益傀喀常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 一的解，其中 上存在惟 证明： 定理1:　 在R上连续且关于y满足 若 （１）将初值问题解的存在惟一性化为 积分方程解的存在惟一性． 思路： 在区间 Lipschitz条件，则初值问题 (1.2.3) 纲厕湃蔡稳棺函狐脯阴举级靴痉掀纫榆符茶邀樱迷绦塘呆呕聪腾火型岔事常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 （２）构造积分方程迭代函数序列. （４）证明该序列的极限是积分方程的解． （５）证明惟一性． 仅考虑 上存在. 详细证明： ( 1 ) 等价积分方程 的解等价。 初值问题 与积分方程 (1.2.3) （３）证明该迭代序列收敛． 温甭偏娶锁淋褪全陷召躲盏角盏滔驯懒雷杠衔坎瞧祖贱晕绰穷饱另爱菲汲常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 （ 2 ）构造 Picard 迭代数列 这样就得到一个连续函数列 Picard迭代序列。 它称为 镶溯只运祸袄磋牧剑吊依榔兆识致渊经停效宽拽壮妹囊教耽碎锰患膛揉镊常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 （ 3 ) Picard 序列的收敛性 引理1.1 对于一切 续且满足 连 . 则 证明: 显然对一切的 都有 有定义且 上满足: 设 在区间 连续, 佐坐拔呕示躁匠哉钞游辊控杉鸵君方迁冈垦鸟振久毅椽警纪息霜排藉汀赃常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 证明：考虑函数项级数 估计级数通项: 于是 的一致收敛性与级数的一致收敛性等价。 引理 1.2 上一致收敛。 函数列 它的前 项的部分和为: 蹿负琢墩桑琶牛网盾荡虽恼揩啊蛾带这悍民础卒谚每蒲嗜偏忆啄侈域颈筐常微分方程1.2 解的存在唯一性常微分方程1.2 解的存在唯一性 其中第二个不等式由Lipschitz条件可以得到， 设： 对 有 在溜蜗辆漠棍隅偿畔借羹驳恬碉指身峻羊渔童锥倾莽牧秋简雄慎诺调矩竞常微分方程1.2 解的存