信息133-解的延拓.docVIP

解的延拓 一、问题提出：对于初值问题 R:|x-x0|a,|y-y0|b, 由解存在的唯一性定理可知在一定条件下，它的解在区间|x-x0|h上存在唯一，这里h=. 根据经验，如果f(x,y)的定义域R越大，解的存在唯一区间也应越大，但根据定理的结论，可能出现这种情况即随着f(x,y)的定义域的增大，解的存在唯一区间反而缩小，这显然是我们不想看到的。 例如：初值问题 1) 当取定义域为R：-1x1,-1y1时，解的存在唯一区间为|x|h=min{1,}=. 2) 当取定义域为R：-2x2,-2y2时，解的存在唯一区间|x|h=min{2,}=. 正因为如此，上节中所介绍的存在唯一性定理也叫解的局部存在唯一性定理，这种局部性显然不太好，而且实践上也要求解的存在区间尽量扩大，这样就需要讨论解的延拓的问题，为此我们先给出下列定义： 二、饱和解及饱和区间 定义1 对定义在平面区域G上的微分方程 ， （3.1） 设为方程(3.1)定义在区间()的连续解，若存在方程(3.1)的另一个解，它在区间()上有定义，且满足 (1)()()，但()(); (2) 当x()时，； 则称 ，x()是可延拓的，并且称是解在()的一个延拓。 若不存在满足上述条件的解，则称解，x()为方程的一个不可延拓解或饱和解。 此时把不可延拓解的定义区间()称为一个饱和区间。 三、局部利普希兹（lipschitz)条件 定义2 若函数f（x,y)在区域G内连续，且对G内的每一点P,有以P为中心完全含于G内的闭矩形RP存在，在RP上f（x,y)关于y满足lipschitz条件（对不同的点域RP大小和常数L可能不同），则称f（x,y)在G内关于y满足lipschitz条件。 对定义2也可作如下定义： 对定义在平面区域上函数f（x,y)，若对及常数L1(与x1,y1,a1,b1有关)使对有 恒成立，则称f(x,y)在G内关于y满足局部lipschitz条件。 注：若f（x,y)及在G内连续，则f（x,y)在G内关于y满足局部lipschitz条件。 那么，问题来了！y=向两边的最终延拓结果如何呢？ 在此，我们引进下面的定理: 解的延拓定理 如果方程右端的函数在有界区域G中连续，且在G内关于y满足局部的利普希茨条件，那么方程的通过G内任何一点(x0,y0)的解可以延拓，直到点任意接近区域G的边界，以向x增大的一方的延拓来说如果只能延拓到区间上，则当时，趋于G的边界。 推论 如果G是无界区域，在上述解的延拓定理的条件下，方 的通过点（x0,y0）的解可以延拓，以向x增大的一方的延拓来说，有下面两种情况： (1)解可以延拓到区间 ； (2)解只可延拓到区间 ，其中d为有限数，则当时，或者无界，或者点区域区域G的边界。 举例分析 例1 讨论方程 的分别通过点（0,0），（ln2,-3）的解的存在区间。 解： 由题可得：在整个oxy平面上满足解的唯一性定理及解的延拓定理条件，求解得方程的通解为，则通过点（0,0）的解为。这个解的存在区间为。通过点（ln2,-3）的解为，可知过此点的解的存在区间为. 例2 在区域，讨论方程分别通过点（1,1），（3，-1）的解的最大存在区间。 解： 因为 ，均在G内连续，所以该方程过G内任意一点的解存在且唯一。 所给方程的通解为： ，（x为任意常数） 过点（1,1）的解为， 由 ，解得 因为 ， 而当时，解 所以方程过点（1,1）的解的最大存在区间为：. 过点（3，-1）的解： 因为，， 而当时，解有界. 所以，该解的最大存在区间为. 例3 讨论方程满足条件的解的存在区间. 解： 方程右端函数于右半平面上有定义，且满足解的延拓定理的条件，这里区域G（右半平面）是无界开域，轴是它的边界，容易求得问题的解，它于区间上有定义，连续且当时，即所求问题的解向右方可以延拓到，但向左方只能延拓到0，且当时，积分曲线上的点趋向于G的边界上的点，这对应于延拓定理推论中（2）的第二种情况。 接下来，我们以一阶微分方程为载体，将一阶微分方程的相关结果推广到高阶微分方程中，得到高阶微分方程的解的存在唯一性定理，再给出解的延拓定理，最后并举例说明。 考虑n阶微分方程 (1) 其中，是实空间Rn+1中某一区域G上的连续函数 易知，方程(1)与一阶方程组 (2) 等价，其中是Rn+1中区域G上的连续函数，.事实上，在（1）中， 即可得(2)，反之亦然。 定义1 Rn上两个集合X与Y之间的距离定义为 其中. 高阶微分方程解的存在