论文部分内容阅读
常微分方程是伴随着微积分发展起来的,其成长于生产实践和数学的发展进程,蕴含着丰富的数学思想方法.它在天体力学和其它力学领域显示出巨大的功能.牛顿通过解微分方程证实了地球绕太阳的运动轨道是一个椭圆;海王星的存在是天文学家先通过微分方程的方法推算出来,然后才实际观测到的.常微分方程的形成和发展与力学、天文学、物理学以及其他科学技术的发展也有着密切的联系.数学的其他分支的新发展,如复变函数、李群、组合拓扑学等,都对常微分方程的发展产生了深刻的影响.目前,常微分方程在所有自然科学领域和众多社会科学领域都有着广泛的应用.可以预测随着社会技术的发展和需求,常微分方程会有更大的发展.常微分方程的发展经历了四个阶段:第一阶段是以求通解为主要内容的经典理论阶段.1690年,Bernoulli James研究了与钟摆运动有关的“等时曲线问题(在相等的时间内,使摆沿着这条曲线作一次完全的振动(不考虑摆所经历的弧长的大小))”.他通过分析建立了常微分方程的模型,并用分离变量法解出了这条摆线的方程.1690年,Bernoul-1i James 提出了“悬链线问题(绳子悬挂于两固定点而形成的曲线(绳子是柔软的但不能是伸长的))”.Bernoulli John和Leibniz用微积分的方法解决了悬链线问题.后来又研究了等角轨线问题,正交轨线问题等等.1691年,Leibniz给出了变量分离法.1694年,他使用了常数变易法把一阶常微分方程化成积分,又发现了方程的一个解族的包络也是解.1695年,Bernoulli John给出著名的Bernoulli方程.Leibniz用变换将其化为线性方程.1715-1718年,Taylor讨论微分方程的奇解、包络和变量代换公式.1734年,Clairaut研究了 Clairaut方程,发现这个方程的通解是直线族,而直线的包络线就是奇解,Clairaut和Euler对奇解进行了全面的研究,给出从微分方程本身求奇解的方法.1734年,Euler给出了恰当方程的定义.他与克莱罗各自找到了方程是恰当方程的条件,并发现若方程是恰当的,则方程是可积的.1739年克莱罗提出了积分因子的概念,Euler确定了可采用积分因子的的方法求解方程.1772年,Laplace将奇解概念推广到高阶方程和三个变量的方程.1774年,Lagrange对奇解和通解的联系作了系统的研究,他给出了一般的方法及奇解是积分曲线族包络的几何解释等等.第二阶段是以定解问题为研究内容的适定性理论阶段.此时期是数学发展史上的一个转变时期,数学分析的基础、群的概念、复变函数的开创等都在这个时期,常微分方程深受这些新概念和新方法的影响,进入了它发展的第二个阶段.这一阶段的主要结果有:19世纪20年代,柯西建立了柯西问题解的存在唯一性定理.1873年,李普希兹提出著名的“李普希兹条件”,对柯西的存在唯一性定理作了改进.1875年和1876年柯西、李普希兹、皮亚拿和比卡先后给出常微分方程的逐次逼近法等等.第三阶段是常微分方程发展的解析理论阶段.这一阶段的主要结果之一是运用幂级数和广义幂级数解法,求出一些重要的二阶线性方程的级数解,并得到极其重要的一些特殊函数,Riemann-Fuchs奇点理论也是这一阶段非常重要的成果.第四阶段是常微分方程的定性理论阶段,庞加莱和李雅普诺夫分别开创了微分方程定性理论和微分方程运动稳定性理论.多项式微分系统是一类简单而又重要的常微分方程,极限环问题的研究在微分方程的定性理论中占有很重要的地位,1900年,Hilbert提出的第十六个问题的后半部分就是讨论平面多项式系统的极限环的最多个数和相对位置.齐次多项式微分系统作为多项式系统中重要的一类.到目前为止,齐次多项式微分系统已有不少的成果,Markus研究了P,Q互质的二次齐次多项式向量场(P,Q)的分类.Algaba得到了齐次多项式微分系统的标准型以及系统有效的不变量理论.Cima得到实数域上四阶二元型的分类定理和代数特征的分类形式.拟齐次多项式微分系统是齐次多项式微分系统的推广.近年来,拟齐次系统受到众多学者的关注,例如:拟齐次分解,拟齐次多项式系统的可积性,中心问题,极限环,标准型等都取得了丰富的成果.2013年,Garcia给出了一种对平面拟齐次多项式系统进行拟齐次分类的算法,并利用该算法得到了平面2次和3次多项式系统的所有拟齐次分类.本文考虑牛顿运动方程组其中f(q1,q2)和g(q1,q2)分别是q1,q2的n阶和m阶多项式.我们首先探讨方程组(1)的一些拟齐次性质,然后给出(1)的拟齐次分类算法,最后利用算法给出当m ≤ n = 4时(1)的拟齐次分类,记权向量ω =(s1,s2,s3,s4,d),拟齐次向量场为(P1,p2,f,g).分类结果列表如下: