第一类Abel方程可积性研究.docVIP

Ｙ ８７８６０ 声明 本人郑重声明，本论文的所有研究工作都是在我的导师一 管克英教授的指导下，由本人独立创作完成．论文中引用的已知 结论均已列在参考文献中．未经本人许可，任何擅自更改、抄袭 本论文之内容的行为，都将承担相应的学术和法律责任． 摘要 摘要 本文首先回顾了常微分方程理论，特别是可积性理论的发展历史及研 究现状，介绍了ＬｉＤｕＶｉＩｌｅ可积的相关概念与定义，以及形如塞＝∑圣ｏ＾（。）ｙ 的“方程在线性变换群下的不变量”等概念，在此基础上集中讨论了第一 类Ａｂｅｌ方程ＬｉｏｕｖｉｌＩｅ可积性的判定问题．文章的主要内容和具体结果包 括如下几个方面； （１）对目前已知的文献（即文献［１】和文献［２】）中所给的几类可积方 程进行逐一讨论，利用文献１３］给出的一般二阶多项式自治系统Ｌｉｏｕｖｊｎｅ 可积的充要条件，给出了上述文献中所讨论的几类可积方程的积分因子 所具有的特征，即引理２．２ ４中的二元多项式垂。（ｚ，Ⅳ）关于ｙ的次数最高 是３ｉ （２）给出了当圣２（。，Ⅳ）关于９的次数是１时，方程是Ｌｉｏｕｖｉｌｌｅ的充 要条件，即 胁，＋莠器一糍铲＋（器）７＝。 具体内容详见文中的定理４ １，ｌ： （３）给出了当垂２（２，Ⅳ）关于Ⅳ的次数是２时，方程是Ｌｉｏｕｖｉｌｌｅ可积 的必要条件，即方程的系数之间需要满足下式： 脚）＋寺豁～絮铲＋（器卜钟徘汲。） 其中 ∞）＝Ｅ印（ｍ（妒糕）蛾 ，ｆｚｌ＝ ９Ｇ 【２（９ｑ—１），ｗ。（∞），３（ｚ）ｄｚ忙 （ｑ是任意常数） 摘要  ２  具体内容详见文牢的定理４  ２  ｌ及其证羁； （４）进一步指出，（３）中的判别式也是某些方程当巾２（ｚ，∥）关于Ⅳ的 次数是３时方程Ｌｉｏｕｖｉｎｅ可积的充分条件．即如果方程的系数之间满足 上式，则方程～定是可积的但当且仅当Ｃ，ｔ＝去或ｅ。＝一；时，原方 程才存在２次的圣２（ｚ，Ⅳ），当Ｇｌ取其它值（除去ｏ）时，原方程都存在３ 次的垂２（ｚ，∥） （注ｔ取ｑ＝Ｏ时就是定理４ １ ｌ即垂２（ｚ，ｇ）关于Ⅳ是１次的情况．） 总之，本文澄清了第一类Ａｂｅｌ方程在线性变换下可积与引理２ ２，４ 中的函数垂２（。，ｙ）关于ｇ的次数之间的关系，更重要的是在其中两种情 况下分别给出了这类方程Ｌｉｏｕｖｉｌｌｅ可积的简单判别式．这有利于通过编 制程序，利用计算机寅接判定方程的可积性．  关键词：  第一类Ａｂｅｌ方程；Ｌｉ。ｕｖｉＩＩｅ可积性；首次积分；积分因 子；不变量；线性变换 堑二至堑堡——６ 方程求出的氢原子电子的定态解与能谱，对广义相对论的爱因斯坦场方程 求出的中心对称场的施瓦西（Ｓｃｈｗａｒｚｓｃｈｉｌｄ）解，这些解与实际观测数据 精确吻合的事实决定了二十世纪物理学这两个重大理论的命运．因此，寻 找可求解的微分方程及其精确解仍然具有重要意义。目前已有广泛应用 的计算机软件一Ｍａｔｈｅｍａｔｉｃａ也只能精确处理一些属于显然经典可积类 型的微分方程．这种情况说明现在仍有必要对常微分方程的可积性和判 定可积性的方法做深入的研究． 对形如Ⅳ７＝∑坠。＾（。）矿的方程，当ｎ＝１时即线性方程的可积性是 显然的；当％＝２时即Ｒｉｃａｔｔｉ方程，“０１ｌｖｉｌｌｏ给出了可积性条件，具体 判定法已有许多工作；当ｎ＝３时即第一类Ａｂｅｌ方程，目前还没有简便 的，有广泛适用性的可积性判定方法文献ｆ１］运用分式线性变换的方法 给出了判定这类方程可积性的充分条件．而文献［２】）［４］在这方面做了较 系统的探索，对形如 ｎ ９７＝∑矗＠）矿＠≥３） Ｉ＝０ 的比较广泛的一阶微分方程，利用线性变换的方法给出了判定这类方程 可积性的简单的充分条件，并用数学软件Ｍａｔｈｅｍａｔｉｃａ编制了判定其是 否可积的应用程序．但需要指出的是，这些判定程序仍只是充分性条件， 仍有一些特殊的阿贝尔方程，例如： （ｚ２＋１）可７＋（掣２＋１）（２ｚ可一１）＝Ｏ 茁７∥＋２（ｚ２＋１）可３＋５２３ｙ２＝ｏ （。ｚ＋６）２９７十（。ｚ十６）９３＋叼２＝ｏ（Ⅱ，６，ｃ为任意常数，且ｃ≠ｏ） 等方程尚不能运用上述方法来判定鉴于以上情况，有必要对．Ａｂｃｌ方程 的可积性进行更系统更全面的讨论，提出新的判定方法，进而得到该方程 比较完整的可积性理论， 第一章  绪论  ７  另一方面，对于二阶多项式自治系统，文献㈦给出了判定其是否 Ｌｉｏｕｖｉｌｌｅ可积的一般性条件，运用该条件判定一个系统是否可积就需要判 定一个微分代数方程组是否存在多项式解．然而对一般给定的系统进行 有关的计算非常复杂（文献ｆ５１］’难以具体实现，因此有必要寻找更简单 实用的判定方法． 本文更系统性的研究第一类ＡｂｅＩ方程的可积性．首先给出文献㈨ｆ２１ 中的可积型方程的积分因子所具有的特征，