3.1解的存在唯一性兜抹理与逐步逼近法.ppt

内江师范学院数学与信息科学学院 吴开腾 制作 解的存在唯一性定理 与 逐步逼近法 3.1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 在前一章中，介绍了能用初等方法求解的一阶微分方程的几种类型，但是，也指出，大量的一阶微分方程是不能用初等方法求出其通解的。而另一方面，实际问题所需要的往往是要求满足某种初始条件的解。因此，现在把注意力集中在Cauchy问题 的求解上，与代数方程类似，对于不能用初等方法求解的微分方程，往往用数值方法求解（这是以后要学的数值分析课程的内容之一）。在用数值方法求Cauchy问题解之前，需要在理论上解决下面两个基本问题： 问题的提出 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (1) Cauchy问题 的解是否存在？如果解不存在，要去求解就毫无意义，以后我们将给出在相当一般的条件下，上述Cauchy问题的是存在的. (2) 若已知Cauchy问题的解是存在的，我们进一步要问这样的解是否唯一的？因为如果解是不唯一的，由于不知道要确定哪一个解，却要去近似地确定它，问题也是不明确的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 下面讨论解的存在唯一性的条件，对于微分方程 及相应的Cauchy问题 其中 是固定的正数。 记 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1：设 在 上有定义，若存在 ，对任意的 使得 则称 在 上关于 满足Lipschitz条件，且 称为Lipschitz常数。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.1.1 解的存在唯一性定理与逐步逼近法 1、定理的内容 如果 在上R连续且关于y满足利普希茨条件，则方程（3.1）存在唯一的解 ，定义于区间 上，连续且满足初始条件 这里 一阶微分方程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2、拟解决的问题 微分方程(3.1)解是否存在？ 若存在，解是否唯一？ 如何确定解的存在区间？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3、手段：转化 微分方程 积分方程 目标：解？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4、方法：逐步逼近法 任取一连续函数： 如果 则终止。否则， 如果 则终止。否则， 如果