存在唯一性定理.pptVIP

学习动物精神 12、善解人意的海豚：常常问自己：我是主管该怎么办才能有助于更好的处理事情的方法。在工作上善解人意， 会减轻主管、共 事者的负担，也 让你更具人缘。 4.1 解的存在、唯一性定理 从第二章可以看到，微分方程源于生产生活实际，研究微分方程的目的在于分析和了解它所反映的客观规律，帮助人们解释已有的各种现象，并能在一定程度上预测未来，指导实践．因此讨论反映某一运动规律的微分方程，最理想的方法是能找出通解的表达式，再根据定解条件，确定出其中的任意常数，获得所需要的特解，并通过特解的表达式了解它对某些参数的依赖情况，从而适当地选取这些参数，使得对应的解所描述的“运动”具有所需要的性能． 在第三章中，我们介绍了微分方程的初等积分法，求解了几类特殊的微分方程，并指出大量的微分方程不能用初等积分法求解．例如形式很简单的微分方程 就没有用初等函数表达的通解．同时，人们最关注的往往是实际问题在特定初值条件下的解．此时，必须换另外一种方式来进行研究．第一、研究初值问题的解在一定条件下的存在性和唯一性．第二、在得到肯定回答的前提下，求微分方程的近似解．这是因为如果解不存在，根本没有必要求解，更没有必要求近似解了； 如果解存在但不唯一，由于我们不知道应该近似地求哪个解，问题本身还是不明确的．因此，解的存在唯一性定理是求近似解的理论基础．此外，定理的证明过程还提供了求近似解的具体途径，这也体现了存在唯一性定理的实用价值．第三、由于实际观测的初始数据与真实现象的初始状态值之间往往存在误差，因此我们自然要问，以它为初值的解与真实解之间的误差是否在允许的范围之内？也就是说，当初值变动很小时，解的变动是否也很小？我们称之为解对初值的连续依赖性问题． 下面的例子说明解不存在或不唯一的情况确实存在。 例4.1.1 微分方程 的解显然不存在。 例4.1.2 历史上曾经有个实际问题可以归结为如下的微分方程的初值问题 解 由分离变量法求得问题的通解是 ，由初始条件得C=1，于是特解为 ，积分曲线如图4.1.1所示。但实验曲线却如图4.1.2所示。即我们得到两个解 （4.1.1） 它们在 时相同，但在 时完全不同。 这说明初值问题（4.1.1）的解不是唯一的。 定理4.1.1 （毕卡定理）设有一阶微分方程的初值问题 其中 在矩形域 上连续；对变量y满足Lipschitz条件, 即对任何D （4.1.2） 中的点 均成立不等式 则初值问题（4.1.2）在区间 上有并且只有一个解，其中常数满足 证明 为了突出思路，证明过程分为四步。 1 初值问题（4.1.2）等价于积分方程（未知函数出现在积分号内的方程称为积分方程） （4.1.3） 事实上，设 是（4.1.2）的解，则有 由此积分得到 即 是积分方程（4.1.3）的解。 反之，设 是（4.1.3）的解，则只要逆转上面的推导，就可以知道 是（4.1.2）的解。 因此只需证明积分方程（4.1.3）在区间I上有且只有一个解。 2 用逐次迭代法构造毕卡序列 当 在I上连续，所以 在I上是连续可微的，并且满足不等式 （4.1.4） 这就是说在区间I上有 。 又因为 在I上连续，所以又有 在I上是连续可微的，并且满足不等式 从而在区间I上有 。如此类推，用数学归纳法可以证明，由（4.1.4）给出的毕卡序列 在I上连续，并且 满足不等式 3 现在证明毕卡序列 一致收敛于积分 的收敛性等价于级数 的收敛性。下面证明级数（4.1.5）在I上是一致 （4.1.6） 方程（4.1.3）的解。注意，序列 （4.1.5） 收敛的。为此我们用归纳法证明不等式 在I上成立。 事实上，当 时，由上面的讨论知（4.1.6） 时，（4.1.6）成立，先由 再利用Lipschitz条件和归纳法假设，有 即当 时（4.1.6）也成立