解对初值的连续性和可微性优秀PPT.ppt

《解对初值的连续性和可微性优秀PPT.ppt》由会员分享，可在线阅读，更多相关《解对初值的连续性和可微性优秀PPT.ppt（31页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、解对初值的连续性和可微性现在学习的是第1页，共31页3.3 解对初值的连续性和可微解对初值的连续性和可微性性/Continuous and differentiable dependence of the solutions/现在学习的是第2页，共31页 解对初值的连续性解对初值的连续性 解对初值的可微性解对初值的可微性本节要求本节要求：1 了解解对初值及参数的连续依赖性定理；了解解对初值及参数的连续依赖性定理；2 了解解对初值及参数的可微性定理。了解解对初值及参数的可微性定理。内容提要内容提要3.3 Continuity&differentiability Continuity&differ

2、entiability2022/12/73常微分方程-重庆科技学院-李可人现在学习的是第3页，共31页3.3.1 解对初值的对称性定理解对初值的对称性定理设 f(x,y)于域 D 内连续且关于 y 满足利普希茨条件，是初值问题的唯一解，则在此表达式中，与 可以调换其相对位置，即在解的存在范围内成立着关系式3.3 Continuity&differentiability Continuity&differentiability2022/12/74常微分方程-重庆科技学院-李可人现在学习的是第4页，共31页3.3.2解对初值的连续依赖性定理解对初值的连续依赖性定理假设 f(x,y)于域 G 内连续

3、且关于 y 满足局部利普希茨条件，是初值问题的解，它于区间 有定义 ，那么，对任意给定的 ，必存在正数，使得当时，方程满足条件 的解在区间也有定义，并且3.3 Continuity&differentiability Continuity&differentiability2022/12/75常微分方程-重庆科技学院-李可人现在学习的是第5页，共31页引理引理如果 f(x,y)在某域 D 内连续，且关于 y 满足利普希兹条件（利普希兹常数为L），则方程(3.1.1)任意两个解 在它们公共存在区间成立不等式其中 为所考虑区间内的某一值。证明证明设 在区间 均有定义，令不妨设因此，有3.3 Con

4、tinuity&differentiability Continuity&differentiability2022/12/76常微分方程-重庆科技学院-李可人现在学习的是第6页，共31页则于是因此，在区间 a,b 上 为减函数，有3.3 Continuity&differentiability Continuity&differentiability2022/12/77常微分方程-重庆科技学院-李可人现在学习的是第7页，共31页对于区间则则并且已知它有解类似以上推导过程，令注意到因此两边取平方根，得3.3 Continuity&differentiability Continuity&dif

5、ferentiability2022/12/78常微分方程-重庆科技学院-李可人现在学习的是第8页，共31页解对初值的连续依赖性定理的证明解对初值的连续依赖性定理的证明（一）构造满足利普希茨条件的有界闭区域（一）构造满足利普希茨条件的有界闭区域因为，积分曲线段是 x y 平面上一个有界闭集，又按假定对S上每一点(x,y)必存在一个以它为中心的开圆 使在其内函数 f(x,y)关于 y 满足利普希茨条件。根据有限覆盖定理，可以找到有限个具有这种性质的圆 并且它们的全体覆盖了整个积分曲线段S。设 为圆 的半径，表示 f(x,y)于 内的相应的利普希茨常数。3.3 Continuity&differe

6、ntiability Continuity&differentiability2022/12/79常微分方程-重庆科技学院-李可人现在学习的是第9页，共31页令则有且 的边界与S的距离 。对预先给定的若取则以S上每一点为中心，以 为半径的圆的全体，连同它们的圆周一起构成S的有界闭域 ，且 f(x，y)在D上关于 y 满足利普希茨条件，利普希茨常数为L。3.3 Continuity&differentiability Continuity&differentiability2022/12/710常微分方程-重庆科技学院-李可人现在学习的是第10页，共31页（二）解对初值的连续依赖性（二）解对初值

7、的连续依赖性断言，必存在这样的正数使得只要 满足不等式则解 必然在区间 也有定义。由于D是有界闭区域，且 f(x，y)在其内关于 y 满足利普希茨条件，由延拓性定理知，解 必能延拓到区域D的边界上。设它在D的边界上的点为这时必然有3.3 Continuity&differentiability Continuity&differentiability2022/12/711常微分方程-重庆科技学院-李可人现在学习的是第11页，共31页因为否则设 则由引理由 的连续性，对必存在使得当 时有取则当3.3 Continuity&differentiability Continuity&differen

8、tiability2022/12/712常微分方程-重庆科技学院-李可人现在学习的是第12页，共31页于是对一切 成立，特别地有即点均落在D的内部，而不可能位于D的边界上。与假设矛盾，因此，解 在区间a,b上有定义。3.3 Continuity&differentiability Continuity&differentiability2022/12/713常微分方程-重庆科技学院-李可人现在学习的是第13页，共31页在不等式中，将区间c，d换为a，b，可知，当时，有定理得证。3.3 Continuity&differentiability Continuity&differentiabili

9、ty2022/12/714常微分方程-重庆科技学院-李可人现在学习的是第14页，共31页的解 作为 的函数在它的存在范围内是连续的。解对初值的连续性定理解对初值的连续性定理假设 f(x,y)于域 G 内连续且关于 y 满足局部利普希茨条件，则方程3.3 Continuity&differentiability Continuity&differentiability2022/12/715常微分方程-重庆科技学院-李可人现在学习的是第15页，共31页1.1.含参数的一阶方程表示含参数的一阶方程表示2.2.一致利普希兹条件一致利普希兹条件 设函数一致地一致地关于 y 满足局部利普希兹局部利普希兹

10、(Lipschitz)(Lipschitz)条件条件，为中心的球 ，使得对任何其中L 是与 无关的正数。在 内连续，且在 内即对 内的每一点 都存在以成立不等式3.3 Continuity&differentiability Continuity&differentiability2022/12/716常微分方程-重庆科技学院-李可人现在学习的是第16页，共31页由解的存在唯一性定理，对每一方程 的解唯一确定。记为3.3 Continuity&differentiability Continuity&differentiability2022/12/717常微分方程-重庆科技学院-李可人现在学

11、习的是第17页，共31页解对初值和参数的连续依赖性定理解对初值和参数的连续依赖性定理假设 于域 内连续，且在 内关于 y 一致地满足局部利普希茨条件，是方程 通过点 的解，在区间 那么，对任意给定的 ，必存在正数时，方程满足条件 的解在区间也有定义，并且有定义其中使得当3.3 Continuity&differentiability Continuity&differentiability2022/12/718常微分方程-重庆科技学院-李可人现在学习的是第18页，共31页的解 作为 的函数在它的存在范围内是连续的。解对初值和参数的连续性定理解对初值和参数的连续性定理假设 于域 内连续，且在 内

12、关于 y 一致地满足局部利普希茨条件，则方程3.3 Continuity&differentiability Continuity&differentiability2022/12/719常微分方程-重庆科技学院-李可人现在学习的是第19页，共31页3.3.3解对初值的可微性定理解对初值的可微性定理的解 作为 的函数在它的存在范围内是连续可微的。若函数 f(x,y)以及 都在区域 G 内连续，则方程3.3 Continuity&differentiability Continuity&differentiability2022/12/720常微分方程-重庆科技学院-李可人现在学习的是第20页，

13、共31页3.3 Continuity&differentiability Continuity&differentiability2022/12/721常微分方程-重庆科技学院-李可人现在学习的是第21页，共31页证明证明由在区域 G 内连续，推知 f(x,y)在G 内关于 y 满足局部利普希茨条件。因此，解对初值的连续性定理成立，即下面进一步证明对于函数 的存在范围内任一点的偏导数在它的存在范围内关于 是连续的。存在且连续。3.3 Continuity&differentiability Continuity&differentiability2022/12/722常微分方程-重庆科技学院-

14、李可人现在学习的是第22页，共31页设由初值为足够小的正数）所确定的方程的解分别为即于是其中先证存在且连续。3.3 Continuity&differentiability Continuity&differentiability2022/12/723常微分方程-重庆科技学院-李可人现在学习的是第23页，共31页注意到 及的连续性，有其中 具有性质类似地其中 与 具有相同的性质，因此对3.3 Continuity&differentiability Continuity&differentiability2022/12/724常微分方程-重庆科技学院-李可人现在学习的是第24页，共31页即是初

15、值问题的解，在这里 被视为参数。显然，当 时上述初值问题仍然有解。3.3 Continuity&differentiability Continuity&differentiability2022/12/725常微分方程-重庆科技学院-李可人现在学习的是第25页，共31页根据解对初值和参数的连续性定理，知是的连续函数。从而存在而是初值问题的解。且 ，显然的连续函数。它是3.3 Continuity&differentiability Continuity&differentiability2022/12/726常微分方程-重庆科技学院-李可人现在学习的是第26页，共31页再证存在且连续。为初值

16、设所确定的方程的解。类似地可推证是初值问题的解。因而3.3 Continuity&differentiability Continuity&differentiability2022/12/727常微分方程-重庆科技学院-李可人现在学习的是第27页，共31页其中 具有性质故有至于 的存在及连续性，只需注意到显然它是的连续函数。是方程的解，因而由 及 的连续性即直接推的结论。证毕。证毕。3.3 Continuity&differentiability Continuity&differentiability2022/12/728常微分方程-重庆科技学院-李可人现在学习的是第28页，共31页课堂练习课堂练习1 设 是初值问题的解，试证明3.3 Continuity&differentiability Continuity&differentiability2022/12/729常微分方程-重庆科技学院-李可人现在学习的是第29页，共31页2 已知方程试求3.3 Continuity&differentiability Continuity&differentiability2022/12/730常微分方程-重庆科技学院-李可人现在学习的是第30页，共31页按照公式，一般有由于，因此，我们有时有2022/12/731常微分方程-重庆科技学院-李可人现在学习的是第31页，共31页