试论常微分方程的奇解

试论常微分方程的奇解摘要:一阶微分方程拥有含有一个任意常数的通解,另外可能还有个别不含于通解的特解,即奇解,利用P-判别法和C-判别法可以求出奇解,而这两种判别法是否适用于求每一个一阶微分方程的奇解?此文中举了几个例子来说明这个问题.并给出另外三种求奇解的方法.关键词:一阶微分方程,奇解,P-判别式,C-判别式,C-P消去法,拾遗法,自然法.DiscussingSingularSolutionaboutFirstOrderDifferentialEquationZHUYong-wang(Class1,Grade2006,CollegeofMathematicsandInformationScience)Advisor:ProfessorLIJian-minAbstract:Firstorderdifferentialequationhasageneralsolutionwhichcontainsanarbitraryconstant,butsometimesithasspecialsolutionthatissingularsolution,whichcanbesolvedbytheP-judgmentmethodandC-judgmentmethod．Whilewhetherthetwojudgmentscanbeappliedtogeteverysingularsolutiontothefirstorderdifferentialequation?Thispaperintendstoillustratethisproblemwithseveralexamples．Keywords:Singularsolution,P-judgment,C-judgment,C-Peliminationmethod,Thesupplementmethod,Naturalmethod.1．引言一般来说一阶常微分方程拥有任意常数的通解,另外还有个别不含于通解的特解.这种特解可以理解为通解的一种蜕化现象.它在几何上往往表现为解的唯一性遭到破坏.早在1649年莱布尼兹就已经观察到解族的包络也是一个解.克莱络和欧拉对奇解作了某些讨论,得出了P－判别式求奇解的方法.拉格朗日对奇解和通解的联系作了系统的研究,给出C－判别式求奇解的方法和奇解的积分曲线族的包络这一几何解释.2．奇解、包络、C-判别式、P-判别式的定义及问题出近几年许多学者对常微分方程这方面特别关注,在一阶常微分方程有奇解的条件、常微分方程奇解的求法、摆线的构成和奇解的联系、Cornwall不等式的应用及微分方程的奇解等方面有大量的文章发表,由此可见,人们对微分方程的奇解有了很深的认识.微分方程的奇解在常微分方程的解中具有特殊的地位.奇解的定义:微分方程的某一个解称为奇解,如果在这个解的每一个点上至少还有方程的另外一个解存在,也就是说奇解是这样的一个解,在它上面的每一个点唯一性都不成立,或者说奇解对应的曲线上每一个点至少有方程的两条积分曲线通过.包络的定义:设在平面上有一条连续可微的曲线,q.在曲线族,,0VxyC中都有一条曲线*KC通过q点并在该点与相切,而且*KC在q点的某一邻域内不同与,则称曲线为曲线族,,0VxyC的一支包络.从奇解和包络的定义容易知道一阶微分方程的通解的包络（如果它存在的话）一定是奇解;反之,微分方程的奇解（若存在的话）也是微分方程的通解的包络.因而,为了求微分方程的奇解,可以先求出它的通解,然后求通解的包络.对于一阶微分方程,如果此方程有除了通解之外的奇解,则此奇解一定满足两个判别式,即P－判别式和C－判别式.定理11:设函数F(x,y,p)对(x,y,p)G是连续的,而且对y和p有连续的偏微商'yF和'pF,若函数y=(x)(xJ)是微分方程'(,,)0Fxyy的一个奇解,并且'x.(x).(x)G(xJ)则奇解y=(x)满足一个称之为P-判别式的联立方程(,,)0Fxyp,',,0pFxyp其中py.定理12:设微分方程'(,,)0Fxyy有通积分(,,)0Vxyc又设积分曲线(,,)0Vxyc有包络为y=(x)xJ则奇解y=(x)满足C－判别式的联立方程(,,)0Vxyc,'(,,)0cVxyc.以上两个定理是奇解的必要条件,也就是说用C－判别式和P－判别式求出的解不一定是微分方程的解,如果是微分方程的解也不一定是奇解,但是在求一阶微分方程的奇解时通常都会采用这两个判别式.由1中奇解部分的定理2和定理5知,只要求解是微分方程的解,用P－判别式求出的解满足:'''(,,)0(,,)0yppFxypFxyp,用C-判别式求出的解满足非蜕化条件:'''',0,0,0,0xyCCVV,则此解就是奇解,既然C－判别式和P－判别式是求奇解的方法,那么是不是这两个判别式（C－判别式和P－判别式）对所有一阶微分方程求奇解都有效?3．几个例子利用P－判别式和C－判别式对一些一阶微分方程进行求解的运算,看看会出现什么样的结果?【例1】:求的奇解2'0yyx解:令'yp,利用P－判别式:2020pyxp;消去P得yx,但yx不是微分方程的解,所以原方程无奇解.我们可以发现利用P－判别式求出的解不一定是奇解.那么利用C－判别式所求出的解是不是一定是方程的奇解呢?我们接着看下一个例子.【例2】:求2'33y5y的奇解.解:原方程的通解为:35yxcC－判别式为:35230305yxcxc;消去C得y=0,但y=0不是方程的解,所以原方程无奇解.以上两个例子充分说明了C－判别式和P－判别式是求奇解的必要条件.【例3】:求微分方程2'1xyyyye的奇解.解:原方程的P－判别式为:22210210xyypyepy;消去P得y=0易知y=0是微分方程的解.而且:'''(,,)10(,,)20yppFxypFxyp所以y=0是微分方程的奇解.【例4】1:求2'419yyy.解:首先我们不难求出微分方程的通积分:2230xcyy()由C－判别式:223020xcyyxc（其中C为任意常数）确定二支连续可微的曲线0y和3y,对他们分别作如下形式的参数表示式:1:xc0yc2:xc3yc容易验证1满足相应的非蜕化条件:'''',0,0,0,0xyCCVV,因此1是积分曲线族()的一支包络,从而它是微分方程的奇解.而2不满足相应的非蜕化条件,所以还不能断言2是否为包络,不过我们可以利用简单的作图得知2不是曲线族()的包络,因此它不是奇解,虽然它是微分方程的解.从例3、例4两题中,可以发现,如果利用P－判别式来求奇解可以直接从方程出发,而如果要用C－判别式需要求出通解,但是无论用哪一判别式要使求得的解为奇解,则此解一定满足:用P－判别式时满足:'''(,,)0(,,)0yppFxypFxyp;用C－判别式时满足:'''',0,0,0,0xyCCVV.对于一些微分方程既能用P－判别式又能用C－判别式求奇解,我们接着看一道例题.【例5】5:求20dydyxydxdx的奇解．解:法一:令dypdx,则P-判别式:2020pxpypx;消去P得24xy.法二:方程的通解为2ycxcC－判别式:2020ycxcxc;消去C得24xy,满足非蜕化条件:'''',2,20,0,,10,0xyCCVVc所以24xy是奇解.由例5知:既然某些一阶微分方程既可用P－判别式来求奇解又可用C－判别式求奇解.那么能否将P－判别式和C－判别式联合起来求奇解呢?4．新判别法在我们的教材和资料中我们通常采用P－判别式和C－判别式来求一阶微分方程的奇解,然而对于某些问题,P－判别式和C－判别式这两种方法求奇解比较困难.因此还有其他方法来求奇解,这些新方法用起来比较方便,通过查阅资料和文献,人们对新解法研究的比较少,在此介绍三种新的解法,方便对一阶微分方程求奇解.4.1.C－P消去法【例6】9:求23''48927xyyy的奇解.解:令'ypP－判别式:23248927809xypppp;消去P得:yx及427yx方程的通解为:23ycxcC－判别式:2320230ycxcycxc;消去C得427yx.则427yx为奇解.例6中介绍了一种新方法,C－P消去法:定义:联合P-判别式和C-判别式,从P－判别式得到解,0xy和从P－判别式得到解,0xy中寻得公共单因式,令其为零,一般就是奇解.在例6中,由P－判别式得到4027yxyx,由C－判别式得到4027yx,它们的公共单因式为4027yx,令其为零,即427yx.【例7】:求220xpxpy的奇解.解:从220xpxpy和220xpx中消去P得:y=-x再求通解,将方程写成22yxpxp211(222)dxdypdypxdppdxxdppp即2dxdpxp通积分为:2()4ycxc从2()4ycxc和2()4ycc中消去C得:0x及yx按C－P消去法知yx是奇解.就特殊方程:,dyfxydx假设,fxy连续.给出以下两种特殊的求奇解的方法.即自然法和拾遗法.4.2.自然法6定义:当点集L＝(,)|fxyy不是孤立点集,而是有分支yx时,则yx可能是奇解.对于,dyfxydx当,fxy连续,则只要fy有界,就能保证,dyfxydx的解存在唯一,所以当fy时,他就可能破坏了解的唯一性.【例8】:求'21yy（|y|1）的奇解.解:2,1fxyy21fyyy当1y时,fy所以1y可能破坏解的唯一性,它可能是奇解.验证:(1)1y显然是方程的解.(2)由分离变量法求得通解是:sin()yxc()22xc在1y上任取一点0,1x通解表达式中有解00sin()cos()2yxxxx通过点0,1x且其上导数'0y,即此解与1y相切,故1y是奇解.同理:1y也是方程的奇解.4.3.拾遗法7定义:当方程,dyfxydx在求通积分的过程中,经常遇到分离变量,方程两边需要同时除以不含导数的因式,则令这个因式等于零,可能得到奇解.因为方程两边同时除以含有x、y的因式时,原方程可能遗失了解,当然有可能遗失了方程的奇解.【例9】:求210xxdydx1x的奇解.解:除以因式21xx得:21dxdyxx积分后得通解:2ln||11xycx但令消去因子为零,即210xx得0x;1x验证:(1)它们都是方程的解;(2)有20limln||11xxx2211limln||limln||01111xxxxxx前者说明通解表达式中没有解与0x相交;后者说明通解表达式中有解与1x.相交,且从方程本身看出交点上的斜率都是'y因此得结论:0x是正常解,1x是奇解.5．结论以上五种是判定奇解的方法,都需验证所得曲线是否真是奇解,这个验证步骤有时比较麻烦,若C－判别式,0xy和P－