常微分方程边值问题解的构造性证实及其计算.pdfVIP

摘 要 本文主要研究常微分方程周期解的构造性证明。 周期运动是自然界和人类活动领域中的常见现象，周期问题的研究一直是常微分方 程定性理论的中心课题，作为应用的一个重要方面，常微分方程周期解的求解问题也备 受关注。在本文中，我们用初值问题方法构造性的证明了几类方程周期解和特殊半周期 解的存在唯一性，并利用同伦延拓法给出了计算实例，因此也提供了一种大范围求解这 几类方程周期解和特殊半周期解的方法。 性的构造性证明，这种方法的优点是适用的方程的类型较广，难点是中间过程技巧性强， 不易构造；我们针对几类特殊方程的特殊性给出了一种直观而且简洁的证明方法，但是 这种方法对方程类型要求的较为苛刻，适用的范围窄。 本文分为四部分，第一章绪论，介绍了常微分方程周期解以及同伦延拓法求周期解 的研究现状，并简单介绍了构造性证明的一些情况；第二章讨论了李给出的Newton方 程和Duffing方程周期解存在唯一性的构造性证明；第三章用不同于李的方法构造性的 证明了三类特殊常微分方程周期解的存在唯一性，并给出了计算实例。第四章用同样的 方法讨论了一类特殊半周期解的构造性证明。 关键词：常微分方程，周期解，构造性证明，存在唯一性，同伦延拓法 T