解及存在唯一性定理和.pptVIP

由此可知，当 时 (3.1.14)的右端是正项收敛级数 的一般项， 由维尔斯特拉斯(Weierstrass)判别法(简称维氏判别法), 级数(3.1.11) 在 上一致收敛, 因而序列 也在 上一致收敛。 命题3证毕 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 则 也在 又可知 现设 上连续，且由(3.1.10) 命题4 是积分方程(3.1.6)的定义于 证 明: 由利普希兹条件 以及 在 上一致收敛于 上的连续解。 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 因而，对(3.1.9)两边取极限,得到: 即 即知序列 在 一致收敛 这就是说, 是积分方程(3.1.16)的定义于 上的连续解。 命题4 证毕 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 命题5 也是积分方程(3.1.6)的定义于 上的一个连续解, 则 证明 若 首先证明 也是序列 的一致收敛极限函数。 为此，从 进行如下的估计 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 现设 则有 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 有 故由数学归纳法得知对于所有的正整数 n ，有下面的估计式 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 因此，在 上有: 是收敛级数的公项, 故 时 因而 在 上一致收敛于 根据极限的唯一性， 即得: 命题5证毕 综合命题1-5，即得到存在唯一性定理的证明。 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 例 求初值问题 的第三次近似解。 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 附 注/Remark/ 1）如果在 R 上 存在且连续, 则 f (x,y) 在R上关于 y 满足利普希兹条件，反之不成立。 证 在 R 上连续，则在 R 上有界，记为L 由中值定理 故 f(x,y) 在 R 上关于 y 满足利普希兹条件。 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 这条件是充分条件，而非必要条件。 例1 R 为中心在原点的矩形域 但 故 f(x,y) 在 R 上关于 y 满足利普希兹条件。 在 R 上存在且有界 f(x,y) 在 R 上关于 y 满足利普希兹条件。 在 R 上存在且无界 f(x,y) 在 R 上关于 y 不满足利普希兹条件。 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 2) 定理1 中的两个条件是保证 Cauchy P 存在 唯一的充分条件，而非必要条件。 例2 当连续条件不满足时，解也可能存在唯一。 f(x,y) 在以原点为中心的矩形域中不连续，但解存在唯一 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 例3 当 Lipscitz 条件不满足时，解也可能存在唯一。 f(x,y) 在 (x,0) 的任何邻域内不满足Lipscitz 条件，但解存在唯一 不可能有界 § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 x y § 3.1 Existence Uniqueness Theorem Progressive Method * * 常微分方程-重庆科技学院-李可人 例4 设方程(3.1)为线性方程 则当 P(x),Q(x