32 解的延拓.docVIP

§3.2 解的延拓 上节我们学习了解的存在唯一性定理，当的右端函数在上满足解的存在性唯一性条件时，初值问题的解在上存在且唯一. 但是，这个定理的结果是局部的，也就是说解的存在区间是很小的. 可能随着的存在区域的增大，而能肯定的解得存在区间反而缩小。例如，上一节的例1，当定义区域变为时，，解的范围缩小为. 在实际引用中，我们也希望解的存在区间能尽量扩大，下面讨论解的延展概念，尽量扩大解的存在区间，把解的存在唯一性定理的结果由局部的变成大范围的. 1、饱和解及饱和区间 定义1 对定义在平面区域上的微分方程 (3.1) 设是方程(3.1)定义在区间上的一个解,如果方程(3.1)还有一个定义在区间上的另一解,且满足 (1) ；但是 （2）当时， 则称是可延拓的，并称是在上的延拓.否则如果不存在满足上述条件的解,则称是方程(3.1)的不可延拓解或饱和解,此时把不可延拓解的区间称为一个饱和区间. 2、局部李普希兹条件 定义2 若函数在区域内连续，且对内每一点，都存在以点为中心，完全含在内的闭矩形域，使得在上关于满足李普希兹条件（对于不同的点，闭矩形域的大小和李普希兹常数可能不同），则称在上关于满足局部李普希兹条件. 定理3 （延拓定理）如果方程的右端函数在（有界或无界）区域上连续，且在关于满足局部李普希兹条件，则对任意一点，方程以为初值的解均可以向左右延展，直到点任意接近区域的边界. 以向增大的一方来说，如果只能延拓到区间上，则当时，趋于区域的边界。 证明 ，由解的存在唯一性定理，初值问题 （1） 存在唯一的解，解的存在唯一区间为.取, ,以为中心作一小矩形,则初值问题 (2) 存在唯一的解，解的存在唯一区间为. 因为 ,有唯一性定理,在两区间的重叠部分应有,即当时.定义函数 则是方程(3.1)满足(1)(或(2)) 的,在上有定义的唯一的解.这样,把方程(3.1)满足(1)的解在定义区间上向右延伸了一段.即把解看作方程(3.1)的解在定义区间的向右延拓,延拓到更大区间.同样的方法,也可把解向左延拓.这种将曲线向左右延拓的办法可继续进行下去,最后将得到一个解,不能再向左右延拓了.这个解称为方程(3.1)的饱和解. 推论1 对定义在平面区域上的初值问题 其中 若在区域内连续且关于满足局部Lipschtiz条件,则它的任一非饱和解均可延拓为饱和解. 推论2 设是初值问题 其中 的一个饱和解，则该饱和解的饱和区间一定是开区间. 证明 若饱和区间不是开区间,不妨设,则,这样解还可以向右延拓,从而是非饱和解,矛盾.对时,同样讨论,即(或)时, . 推论3 如果是无界区域,在上面解的延拓定理的条件下,方程(3.1)通过点的解可以延拓,以向增大(减小)一方的延拓来说,有以下两种情况: 解可以延拓到区间(或)； 解只可延拓到区间(或)，其中为有限数，则当时，或者无界,或者点. 例1讨论方程分别通过点和点的解的存在区间. 解 此方程右端函数在整个平面上满足解的存在唯一性定理及解的延拓定理的条件.易知方程的通解为 故通过点的解为,这个解的存在区间为； 通过点的解为,这个解的存在区间为 (如图所示).注意, 过点的解为向右方可以延拓到 ,但向左方只能延拓到,因为当时,. 例2讨论方程过点的解的存在区间. 解 方程右端函数在右半平面上满足解的存在唯一性定理及解的延拓定理的条件.区域(右半平面)是无界开域，轴是它的边界. 易知问题的解为,它于区间 上有定义、连续且当时, ,即所求问题的解向右方可以延拓到,但向左方只能延拓到,且当时积分曲线上的点趋向于区域的边界上的点. 例3 考虑方程,假设和在平面上连续，试证明：对于任意及，方程满足的解都在上存在. 证明 根据题设,易知方程右端函数在整个平面上满足解的存在唯一性定理及解的延拓定理的条件.又为方程在上的解,由延拓定理可知,对,满足的解应当无限远离原点,但是,由解的唯一性, 又不能穿过直线,故只能向两侧延拓,而无限远离原点,从而解应在存在. 注: 如果函数于整个平面上定义、连续和有界,同时存在关于的一阶连续