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

一阶微分方程解的存在定理 第三章一阶微分方程解的存在定理 1.了解解的存在唯一性定理的条件、结论和证明思想，掌握逐次逼近法，熟练近似解的误差估计公式。2.理解连续性定理和解的条件。 3.理解解对初值的连续性、可微性定理的条件和结论。 【教学重点和难点】解的存在唯一性定理的证明，解对初值的连续性和可微性定理的证明。[教学方法]教学、实践。[教学时间]12学时 [教学内容]解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。[考核目标] 1.了解解的存在唯一性定理的条件和结论，能用逐次逼近法解决简单问题。2.熟悉近似解的误差估计公式和解对初值的连续性和可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1解的存在唯一性定理和逐步逼近法 微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 通过点（0,0）的解不是唯一的。很容易知道y=0是通过（0,0）的方程的解。此外，很容易验证y=x或更一般， ?00≤x≤c （x-c）c 都是方程过点(0,0)而且定义在区间0≤x≤1上的解，其中c是满足0 解的存在唯一性定理可以很好地解释上述问题，并明确地肯定了方程在一定条件下解的存在性 和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1.存在唯一性定理：（1）显式一阶微分方程 =f(x,y)（3.1）dx 这里，f（x，y）在矩形域中：R:| x-x0 |≤ a、 | y-y0 |≤ B（3.2） 定理1：如果函数f(x,y)满足以下条件：1）在r上连续：2）在r上关于变量y满足李普希兹（lipschitz）条件，即存在常数l0，使对于r上任何一对点(x,y1)，(x,y2)均有不等式 如果f（x，Y1）-f（x，Y2）≤ ly1-y2成立，那么方程（3.1）在区间| x-x0 |上有唯一的解y=ν（x）≤ H 连续，而且满足初始条件 ν（x0）=y0（3.3） 其中h=min(a, )，M=MAXF（x，y），l称为Lipschitz常数 x,y∈rm 1） 初值问题（3.1）的解等价于积分方程y=Y0+的连续解。 2）构造近似解函数列{?n(x)} 任意连续函数|0（x），使得||0（x）-y0|≤ B、 替换上述积分方程的右端 f(x,y)dx ν1（x）=y0+ f(x,?0(x))dx 如果φ1（x）≡ ν0（x），则ν0（x）是积分方程的解，否则，再次使用该值，在积分方程的右端用Ф1（x）替换y，以获得Ф2（x）=y0+ f(x,?1(x))dx 如果φ2（x）≡ ν1（x），则Ф1（x）是积分方程的解，否则，继续并得到ФN（x）=Y0+，因此我们得到函数序列{νN（x）}。 3）函数序列{?n(x)}在区间[x0-h,x0+h]上一致收敛于?(x)，即lim?n(x)=?(x) （3.4）f（x，νn-1（x））dx 存在，对(3.4)取极限,得到 lim?n（x）=y0+lim?f（x，νn-1（x））dx n→∞x0x =y0+?f（x，ν（x））dx 即?(x)=y0+ f（x，ν（x））dx。 4)φ(x)是积分方程y=y0+ [x0-h，x0+h]上F（x，y）DX的连续解 这种一步一步求出方程解的方法——逐步逼近法.在定理的假设条件下,分五个命题来证明定理.为了讨论方便,只考虑区间x0≤x≤x0+h,对于区间x0-h≤x≤x0的讨论完全类似.命题1设y=?(x)是方程(3.1)定义于区间x0≤x≤x0+