存在唯性定理证明.docVIP

存在唯一性定理 如在上连续且关于满足利普希茨条件，则方程在区间上存在唯一解，其中 逐步迫近法 微分方程等价于积分方程 取，定义可证明的满足积分方程。 通过逐步迫近法可证明解的存在唯一性。 命题1 先证积分方程与微分方程等价： 设是微分方程定义于区间上满足初值条件 的解，则是积分方程定义于区间上的连续解。反之亦然。 证 因是微分方程的解，有 两边从到取定积分 代入初值条件得 即是积分方程定义于区间上的连续解。 反之，则有 微分之 且当时有。即是微分方程定义于区间上满足初值条件的解。 现取，构造逐步迫近函数序列 命题2 对所有,函数序列在上有定义、连续且满足不等式 证 当时。显然在上有定义、连续且有 命题2当时成立。设命题2当时成立，则对 知在上有定义、连续且有 命题2当时也成立。由数学归纳法，命题2对所有均成立。 命题3 函数序列在上一致收敛。 证 只须考虑级数 (3.9) 在上一致收敛。因其部分和为 因 设对成立 则当时有 即对所有，在成立 其右端组成正项收敛级数 由魏氏判别法，级数(3.9) 在上一致收敛。即在上一致收敛。命题3得证。 现设 则在上有定义、连续且 命题4 是积分方程在上的连续解。 证 由利普希茨条件 及在上一致收敛于，知函数序列在上一致收敛于。于是 即 是积分方程在上的连续解。命题4得证。 命题5 设是积分方程在上的另一连续解。则。 证 现证也是序列在上的一致收敛极限函数。由 得 设，则 由数学归纳法，对所有，有 因此，对所有，在成立 但当时。故在上的一致收敛于。由极限的唯一性，得。命题5得证。