奇点 常微分方程.docVIP

§6.3 奇点 本节考虑平面自治系统 (6.18) 以下总假定函数在区域 , 上连续并满足初值解的存在与唯一性定理的条件. 6.3.1 相平面、相轨线与相图 我们把平面称为(6.18)的相平面,而把(6.18)的解在平面上的轨迹称为(6.18)的轨线或相轨线.轨线族在相平面上的图像称为(6.18)的相图. 易于看出,解在相平面上的轨线,正是这个解在三维空间中的积分曲线在相平面上的投影.我们以后会看到,用轨线来研究(6.18)的通解常要比用积分曲线方便得多. 下面通过一个例子来说明方程组的积分曲线和轨线的关系. 例 1 很明显,方程组有特解它在三维空间中的积分曲线是一条螺旋线(如图5-3(a)),它经过点. 当增加时,螺旋线向上方盘旋.上述解在平面上的轨线是圆它恰为上述积分曲线在平面上的投影. 当增加时,轨线的方向如图5-3(b)所示. 另外,易知对于任意常数,函数也是方程组的解.他的积分曲线是经过点()的螺旋线.但是,它们与解有同一条轨线 (a) (b) 图 5-3 同时,我们可以看出, 的积分曲线可以由的积分曲线沿轴向下平移距离而得到.由于的任意性,可知轨线对应着无穷多条积分曲线. 为了画出方程组在相平面上的相图,我们求出方程组通解 其中,为任意常数.于是, 方程组的轨线就是圆族(图5-3(b)). 特别,是方程的解,它的轨线是原点. 6.3.2 平面自治系统的三个基本性质 性质 1 积分曲线的平移不变性 设是自治系统(6.18)的一个解,则对于任意常数,函数 也是(6.18)的解. 事实上,我们有恒等式 由这个事实可以推出:将(6.18)的积分曲线沿轴作任意平移后,仍然是(6.18)的积分曲线.从而它们所对应的轨线也相同.于是,自治系统(6.18)的一条轨线对应着无穷多个解. 性质 2 轨线的唯一性 如果满足初值解的存在与唯一性定理条件,则过相平面上的区域的任一点,(6.18)存在一条且唯一一条轨线. 事实上,假设在相平面的点附近有两条不同的轨线段和都通过点.则在空间中至少存在两条不同的积分曲线段和(它们有可能属于同一条积分曲线),使得它们在相空间中的投影分别是和(见图5-4,这是不妨设).现在把所在的积分曲线沿轴向右平移,则由性质 1知道,平移后得到的仍是系统(6.18)的积分曲线,并且它与至少有一个公共点.因此,利用解的唯一性, 与应完全重合,从而它们在相空间中有相同的投影.另一方面, 与在相空间显然也有相同的投影,这蕴含和在相平面中的点附近有相同的投影,而这与上面的假设矛盾. 图 5-4 性质 1和性质2说明,相平面上每条轨线都是沿轴可平移重合的一族积分曲线的投影,而且只是这族积分曲线的投影. 此外,由性质1同样还可知道,系统(6.18)的解的一个平移仍是(6.18)的解,并且它们满足同样的初值条件,从而由解的唯一性知 因此,在(6.18)的解族中我们只须考虑相应于初始时刻的解,并简记为 , *性质 3 群的性质 系统(6.18)的解满足关系式 (6.19) 其几何意义是:在相平面上,如果从点出发的轨线经过时间到达点,再经过时间到达点,那么从点出发的轨线经过时间也到达点. 事实上,由平移不变性(性质 1), 是系统(6.18)的解,而且易知它与解在时的初值都等于.由解的唯一性,这两个解应该相等.取就得到(6.19). 对于固定的,定义平面到自身的变换如下: . 也就是把点映到由该点出发的轨线经过时间到达的点.在集合中引入乘法运算: 令 . 由(6.19)知.所以乘法运算在集合中是封闭的,而且满足结合律,故二元组构成一个群.容易验证,其单位元为,而的逆元为.这就是群性质名称的由来.这个平面到自身的变换群也称作由方程(6.18)所生成的动力系统.有时也把方程(6.18)就叫做一个动力系统.由此所开展的研究工作导致动