【精选习题】第三章一阶微分方程解的存在定理

《【精选习题】第三章一阶微分方程解的存在定理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第三章一阶微分方程的解的存在定理3-1求下列初值问题的近似解。1）求初值问题的第三次近似解；2）求初值问题的第二次近似解。解由解的存在唯一性定理知，1），2）中的初值问题的解分别在，的邻域内存在且唯一。下面求它们的近似解。1），，，。2），，。评注：逐次逼近函数序列，，在实际中有广泛的应用。利用此序列求近似解时，须验证初值问题的解存在唯一，否则求出的结果可能并不是我们想要的近似解。3-2设，求初值问题的解的存在区间，并求第二次近似解，给出在解的存在区间的误差估计。解设，显然，方程在上满足解的存在唯一性

2、定理，则，所以，方程过点的解的存在区间为：，即。设是初值问题的解，是第二次近似解，则，。在区间上，与的误差为，取，所以。评注：需要掌握第次近似解和真正解在区间内的误差估计公式，在进行近似计算时，可以根据误差的要求，选取适当的逐步逼近函数。3-3讨论方程在怎样的区域中满足解的存在唯一性定理的条件，并求通过点的一切解。解设，则，故在的任何区域上存在且连续，因而方程在这样的区域中满足解的存在唯一性定理的条件。显然，是通过点的一个解；又由方程得。所以通过点的一切解为及。评注：寻找解的存在唯一性定理中的条件所满

3、足的区域，就是寻找连续和关于满足利普希兹条件的区域，困难在于利普希兹条件的验证，除用定义外，还常用下面的结论：在上存在且有界，则在上关于满足利普希兹条件。在上存在且无界，则在上关于不满足利普希兹条件。其中为某矩形区域。3-4证明格朗瓦耳(Gronwall)不等式：设为非负常数，和为在区间上的连续非负函数，且满足不等式，则有。并由此证明定理3.1中的唯一性结论。证1）时，令则。由可得，两边从到积分得即有所以即有。2）时，对任意，由于所以由1）有当时，有。因为，即得，从而综上所述，不等式成立。唯一性的证明

4、。设是初值问题的两个解，则有，。于是，其中为利普希兹常数，由上面的不等式可知，因而有。评注：格朗瓦耳不等式是微分方程中的重要不等式，表明积分不等式与其解的关系。用格朗瓦耳不等式证明微分方程初值问题解的唯一性是一个很好的方法。3-5假定函数于的邻域内是的不增函数，试证初值问题（1）在一侧最多只有一个解。证设初值问题（2）存在两个解，要证当时，有。反证法。若当时，不恒为零，即存在，使得，不妨设，由的连续性及，知必存在，，使得及，，则有，。而，其中。由及对的不增性，知，，这与矛盾。因此，对，有。评注：此结论

5、并没有给出初值问题解的存在性，只保证了如果初值问题有解，解必唯一。3-5假设函数在区域内连续并满足局部李普希兹条件及；又方程的满足初始条件的解对一切有定义，试证下列说法是等价的：（1）任给，可以找到正数，使当时，对一切有；（1）任给及，存在正数，使当时，对一切有。证因函数在区域内连续并满足局部李普希兹条件，故方程的满足初始条件的解在区域内唯一存在且连续地依赖于初值。又由知，方程在内有零解。先证，由（1），存在，使当时，对一切有成立。当然，对，有成立，因而存在，使得，这时，对一切，仍有。再证由（2），对

6、任给和，存在，使，对一切，有，因为方程的解在内连续依赖于初值，故对已给，存在使当时，在区间上，有。又过点的解唯一且连续光滑，故对任给，存在，当时，对一切，均有成立。3-6假设函数及都在区域内连续，又是方程满足初始条件的解，试证存在且连续，并写出其表达式。证1）因及都在区域内连续，则在内满足局部利普希兹条件，故解在它的存在范围内对连续。2）设由初值和足够小，所确定的解分别为和，则这两个解均满足积分方程。即和，所以其中是关于的连续函数，且当时，于是有，即是初值问题的解，因此是的连续函数。由上边微分方程解得

7、，故存在，，显然，它是的连续函数。评注：我们看到，在表达式中，包含有方程满足初始条件的解，一般来说，初值问题解的表达式很难得到，因此，偏导数公式的实际应用并不广泛，但理论上表明初值问题解对初值的连续可微性。3-7假设函数和于区间上连续，试证方程满足初始条件的解，作为的函数于区域上存在连续偏导数，并写出其表达式。证因是方程满足初始条件的解，故有。视为的函数，即有，又关于连续，故存在且连续。设由初值和所确定的解分别为和，则，，即是初值问题的解，因此是的连续函数。解上方程得，故存在，，显然，它在其存在范围内

8、连续。设由初值和所确定的解分别为和则，其中是关于的连续函数，且当时，，于是有，即是初值问题的解，因此是的连续函数，解上方程得，所以，，在其存在范围内连续。评注：本题也可直接用3-7题的结果得到证明。可以看到，对于线性方程，初值问题的解对初值的各个一阶偏导数只与初值有关，而与初值问题解的表达式无关，应用较为广泛。xoy3-8求曲线族的包络，并绘出图形。解从消去，得判别曲线为。图3-1经检验曲线是曲线族的包络。如上图3-1所示。评注：采用判别曲线法求单参数曲