一类阿贝尔方程可积性及计算机判定研究.pdf

摘 要 常微分方程论，作为数学的一个重要分支，不仅本身具有重要的理论和 实际意义，而且它也是其它数学分支的基础.它不仅在力学、物理、化学、 自动控制、工程技术等方面有着广泛的应用，而且其应用范围在不但扩大， 并深人到了生物、医学、经济和其它社会学科的各个领域 判定一个给定的 微分方程是否可积或者说求其精确解显然是微分方程论最基本最重要的问 题之一 本文就阿贝尔方程的可积性展开讨论，利用变换群的思想，将第一类 和第二类阿贝尔方程进行了统一处理，并对各种已知的可积情况进行了分 类.在此基础上，通过分式线性变换得到了形式简洁、更具一般性的判定一 类特殊阿贝尔方程可积的条件.通过符号演算，给出了该条件的计算机判定 程序.另外，鉴于刘维尔的方法在研究非线性微分方程可积性上所发挥的作 用，并综合管克英教授对该间题所得到的理论基础上，对特殊阿贝尔方程的 Liouville可积性作了进一步的讨论. 关被词:阿贝尔方程，二阶自治系统，可积性，分式线性变换，判定程序 ABSTRACT Thetheoryofordinarydifferentialequations,asavitalbranchaboutmathe- matics,notonlyhasimportantacademicandactualsense,butisabaseofother mathematicalsubjects.Itstheoryandmeansarewidlyappliedtomechanis, physics,chemistry,automataandengineering,moreover,therangeofitsapplies- tionisexpandingnowandhascoveredalotoffieldsincludingbiology,medicine, economicsandsociology.Byallappearances,oneofthebasicandsignificant problemsofordinarydifferentialequationtheory isthathowtodeterminethe integrabilityandhowtogettheexactsolutiontoagivenordinarydifferential equation. ThisthesisconsiderstheintegrabilityoftheAbelianequation.Bythe thoughtoftransformationgroup,wecandealwiththefirstandthesecondkind AbelianequationsandclassifysomeknownintergableAbelianequations.Inthe baseonthefractionallineartransformation,wecangetmoresimpleandgeneral conditionsforthedeterminationoftheintegrabilityofaclassofspecialAbelian equation.Thecorrespongdingcomputerprorgammeaboutthedeterminationcon- ditionisgiven妙symboliclanguage.ColligatingtheLiouvillesmeansandsome theoremspresentedbyprofessorGuanaboutnolineardifferentialequationsinte- rgability,wediscussfurthersomeproblemsaboutLionvilleintegrabilityonsome specialAbelianequation. Keywords:Abelianequation,secondorderautonomoussystem,intergability, fractallineartransformation,determinationprogramme 声 明 本人郑重声明，本论文的所有研究工作都是在我的导师一管克英教授 的指导下，由本人独立创作完成.论文中引用已知的