常微分方程课件--解的存在唯一性定理常微分方程课件--解的存在唯一性定理.pptVIP

目录 上页 下页 返回 结束 § 2.2 解的存在惟一性定理 引入：对于给定的微分方程,它的通解一般有无限多个,而给定初始条件后,其解有时惟一,有时不惟一. 确定给定初始条件的微分方程解的存在惟一性十分重要: (一)它是数值解和定性分析的前提; (二)若实际问题中建立的方程模型的解不是 存在且惟一的,该模型就是一个坏模型. 而同一方程满足 例1:初值问题 有解: 在 . 的解为: . 它的存在区间为 例2: 初值问题 的解为: 存在区间为 例3:初始值问题: 有无穷多解,存在区间为: 2.2.1例子和思路 例 4: 证明初值问题 的解存在且惟一。 证：若 是初始值问题的解, 两端积分 满足 反之，若一个连续函数 满足 则它是 的解。 …… 取 来证明 构造迭代序列 有解． 由于 收敛，且 代入验证函数 为初值问题 的解, 这就得到解的存在性。 惟一性证明: 设有两个解 则 可微，且满足 这就证明了惟一性。 2.2.2 存在惟一性定理及其证明 设 在矩形区域 上连续，如果有常数 L0,使得对于所有的 都有: 考虑微分方程: Lips