一阶微分方程解的存在定理

第三章 一阶微分方程解的存在定理 [教学目标] 1. 理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解的误差估计式。 2. 了解解的延拓定理及延拓条件。 3. 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。 [教学方法] 讲授，实践。 [教学时间] 12 学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 例如方程 2dyydx  过点(0,0) 的解就是不唯一，易知0y 是方程过(0,0) 的解，此外，容易验证，2yx或更一般地，函数 20 0() c<1xcyxcx  都是方程过点(0,0) 而且定义在区间01x上的解，其中c 是满足01c的任一数。 解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1．存在性与唯一性定理： （1）显式一阶微分方程 ),(yxfdxdy  （3.1） 这里),(yxf是在矩形域：00:||,||Rxxayyb （3.2） 上连续。 定理 1：如果函数),(yxf满足以下条...