几类Kukles系统和Liénard系统的局部临界周期分支与极限环-基础数学专业论文.docxVIP

目录 目录 第一 第一章 绪论 III III PAGE PAGE 1 目 录 摘 要I ABSTRACTII 目 录III 第一章 绪论- 1 - §1.1 研究背景与进展- 1 - §1.1.1 中心与等时中心- 1 - §1.1.2 临界周期分支- 2 - §1.1.3 极限环- 3 - §1.2 本文的主要工作- 4 - 第二章 预备知识- 6 - §2.1 焦点量与奇点量- 6 - §2.2 周期常数及临界周期分支- 9 - §2.3 极限环相关基础及定理- 12- 第三章 两类微分自治系统的细中心和临界周期分支- 14 - §3.1 引言- 14 - §3.2 一类四次 Kukles 系统的细中心与临界周期分支 - 14 - §3.3 一类五次 Liénard 系统的细中心与临界周期分支 - 20 - 第四章 一类四次 Kukles 系统原点的极限环分支 - 27 - §4.1 引言- 27 - §4.2 奇点量与中心条件- 27 - §4.3 细焦点与极限环- 32 - 第五章 总结与展望 - 35 - 参考文献- 36 - 致 谢- 40 - 作者在攻读硕士期间主要研究成果- 41 - 第一章 绪论 微分系统的临界周期分支问题和极限环问题是微分方程定性理论中经典而困 难的问题，而 Kukles 系统和 Liénard 系统在微分方程定性理论理论研究和应用研究 中非常重要的系统。本文重点研究一类四次 Kukles 系统的细中心与临界周期分支问 题，一类五次 Liénard 系统的细中心与临界周期分支问题和一类四次 Kukles 系统的 极限环问题. 下面叙述这些问题的一些研究进展. §1.1 研究背景与进展 §1.1.1 中心与等时中心 研究临界周期分支问题和极限环问题首先需要对微分系统的中心问题进行分 析讨论. 若存在一个孤立奇点 O 的去心邻域V , V ??U , 使得V 中全是围绕 O 的周 期轨, 则称 O 为系统的中心. 微分系统中心问题需要进行焦点量的计算, 根据 Hillbert 有限基原理[1] ——系统的所有焦点量一定可以由有限个焦点量线性表示 (这有限个焦点量被称为焦点基) . 因此，对中心问题的研究，我们只需要将注意 力集中在这有限个焦点基上即可. 计算焦点量最基础的方法为 Poincaré后继函数法 与 Poincaré-Lyapunov 形式级数法[2], H.Dulac，M.Frommer，W.Kapteyn, Buatin 等 人均运用这两种算法来计算二次多项式微分系统的焦点量并得到了结果, 叶彦谦[3] 亦基于这些算法得到了一类缺二次项的三次系统的中心. 但是由于算法的局限性, 数学家们发现在对一些次数较高的微分系统或者是一些特殊的微分系统进行计算 时过程十分复杂且很难得到结果. 因此一些更加简便计算效率更高的算法随之应 运而生了, 如求焦点量的极坐标法[4]、求 Lyapunov 常数的递推方法[5]、计算焦点量 的专用程序法[6]、基于 Runge-Kutta-Fehlberg 方法和 Richardson 外推法的解析数值方 法[7]、计算 Poincaré 级数的递推公式[8]和计算奇点量的递推公式[9]等, 数学家们在新 算法的帮助下取得了不错的研究成果[10-13]. 随着计算机开始被广泛应用以及计算机 代数系统的普及, 运用计算机来辅助计算焦点量被越来越多的数学家使用, 如在 文[9]中刘一戎和李继彬在首次将焦点量与鞍点量进行统一计算后, 得到了计算奇 点量的形式级数法与积分因子法两种方法. 本文是依托刘一戎、陈海波[14]给出的焦 点量递推公式进行计算, 这种算法的计算过程较为简便, 只需对多项式系统右端 的系数进行有限次的加、减、乘、除即可得焦点量或者与之相对应的奇点量. 刘一 戎等人亦是以此方法为基础计算并得到了不少成果，具体成果见文[15-17]. 在对 中心的充要条件进行证明的过程中我们发现必要性是显然的, 但是充分性的证明 比较复杂，主要使用首次积分或积分因子进行证明. 到目前为止, 二次系统的中心 问题已被彻底解决, 但三次及更高次系统却仍然有大量的问题没有解决. 第一 第一章 绪论 第一 第一章 绪论 PAGE PAGE 2 PAGE PAGE 3 随着对中心问题的研究不断深入, 数学家们发现存在一种特殊的情况, 即系 统中心领域的所有闭轨的周期都是相同的常数, 这种中心被称为等时中心. 等时 中心是 1673 年 荷兰数学家 C.Huygens 在钟摆周期的单调性进行研究时发现的, 并 且借此设计出了与运动周期和振幅无关的旋轮摆钟, 提高了航海时钟的精度, 这 也是等时中心在实际生活中的第一次重要应用. 研究等时中心需要