(常微分方程)第7章奇解理论.ppt

7.1　一阶隐式微分方程　　作为对初等积分法的补充，本节讨论一阶隐式方程 　　1.微分法　　设从微分方程(7.1)中可显式解出未知函数： 　　这是一个关于变量x和p的一阶显式微分方程.　　如果能得到方程(7.3)的通解p=u(x,C)，那么就可得到方程(7.2)的通解 这里p视为一个参变量；同样，如果方程(7.3)有特解x=z(p)，则方程(7.2)有相应的特解： 　 解　利用微分法，我们得到 　　当x+f′(p)=0时，克莱罗方程(7.4)的一个特解为 图7.1 　　例7.2　求解微分方程 　　所以我们求得微分方程(7.8)的通解 图7.2 　　2.参数法　　设微分方程不明显包含自变量，即 再利用积分，可得 　　例7.3　求解微分方程 因此，微分方程(7.15)的通解为 　　因此，微分方程(7.15)有通解式(7.17)，另外还有特解y=1和y=-1.请读者自己动手画出积分曲线的图形，并注意通解与特解(y=±1)之间的关系.　　显然，上面对方程(7.12)所用的参数法也一样适用于如下的微分方程： 在(x,y,p)空间表示曲面.设它的参数表达式为 如果我们能求得一阶显式微分方程(7.19)的通解 　　例7.4　用参数法求解微分方程 亦即 　　例7.5　求解微分方程 7.2　奇　解　　在7.1节我们已经看到某些一阶隐式微分方程的个别解具有特殊的几何意义，即它们分别满足下述奇解的定义.　　定义7.1　设一阶微分方程 　　例如，y=3x和y=-3x(x≠0)是微分方程(7.8)的奇解（见图7.2），y=1和y=-1是微分方程(7.15)的两个奇解，而式(7.7)是克莱罗方程(7.4)的奇解（见图7.1）.　　下面的定理给出了奇解存在的必要条件. 　　定理7.1　设函数F(x,y,p)对(x,y,p)∈G是连续的，而且对y和p有连续的偏微商Fy′和Fp′若函数y=φ(x)(x∈J)是微分方程(7.22)的一个奇解，并且 　　证明　因为y=φ(x)是微分方程(7.22)的解，所以它自然满足上述p判别式(7.23)的第一式.现证它也满足第二式.　　假设不然,则存在x0∈J，使得 　　另一方面,由于函数f(x,y)在(x0,y0)点的某邻域内是连续的，而且对y有连续的偏微商: 　　容易验证，微分方程(7.8)的奇解y=3x和y=-3x满足相应的p判别式: 　　例如，微分方程(7.21)的p判别式为 　　也就是说，定理7.1虽然把寻找微分方程(7.22)的奇解的范围缩小到它的p判别式(7.23)或(7.24)，但是由p判别式规定的函数y=ψ(x)仍需根据奇解的定义经过验证才能确认它是否为奇解.而在不知道通解的情况下很难进行这种验证.下面的定理在某种条件下克服了这一困难. 　　定理7.2　设函数F(x,y,p)对(x,y,p)∈G是二阶连续可微的.又设由微分方程(7.22)的p判别式 　　定理7.2的证明有一定的难度，而且它已超出一般常微分方程大纲的范围.因此，我们把它放在7.4节，供有兴趣的读者参考.　　下面我们举例说明定理7.2的一个应用.　　考虑微分方程 　　例7.6　求微分方程 7.3　包　　络　　本节将采用微分几何学中有关曲线族的包络的概念阐明奇解与通解之间的联系，以及讨论寻求奇解的方法.　　设单参数C的曲线族 　　定理7.3　设微分方程 　　证明　根据奇解和包络的定义，我们只需要证明Γ是微分方程(7.32)的解.　　在Γ上任取一点(x0,y0)，其中y0=φ(x0).则由包络的定义可知，曲线族式(7.33)中有一条曲线y=u(x,C0)在(x0,y0)点与y=φ(x)相切，即 　　定理7.4　设Γ是曲线族式(7.31)的一支包络,则它满足如下的C判别式： 因为包络是连续可微的，所以我们不妨设f(C)和g(C)对C也是连续可微的.由此推出 　　定理7.5　设由曲线族式(7.31)的C判别式 　　另一方面，由式（7.41)中的第一式对C求微分得到 　　例7.7　试求微分方程 容易验证Λ1满足相应的非蜕化性条件式(7.40).因此， Λ1是积分曲线族式(7.43)的一支包络，从而它是微分方程(7.42)的奇解.而Λ2不满足非蜕化性条件，所以还不能由定理7.5断言Λ2是否为包络.易知Λ2并不是微分方程(7.42)的积分曲线，从而不可能是奇解.因此，由定理7.3得知， Λ2不是式(7.43)的包络.当然，我们也可以利用简单的作图直接验证这一事实.作图时须注意，在方程(7.42)中y不能取负值，而且积分曲线 　　例7.8　求解微分方程 它的C判别式为 7.4　奇解的存在定理　　我们来证明在7.2节中叙述的定理7