二次多项式微分系统的广义反射函数.pdfVIP

应 用 数 学 MATHEM ATICA APPLICATA 2015，28(3)：628—636 二次多项式微分系统的广义反射函数 周坚，赵士银 (宿迁学院教师教育系，江苏宿迁223800) 摘要： 利用广义反射函数理论，讨论多项式微分系统的广义反射 函数的结构形 式．并利用所得结论探讨二次多项式微分系统的周期解的几何性质． 关键词：广义反射函数；多项式微分系统；周期系统；周期解． 中图分类号：O175．14 AMs(2000)主题分类：34A12 文献标识码：A 文章编号：i001—9847(2015)03—0628—09 1．引言 众所周知，研究客观世界中物体的运动规律，通常归结为研究时变微分系统 = x(t，)，(t，)∈Ⅱ+” (1) 的解的性态．而在一般情况下，这并不是一件容易的事情．当系统(1)为周期系统时，即 (t+ 2w，)=x(t，) 0)，著名数学家Poincar6~HLyapunov提出了用他们的变换法来研究 这些周期系统的解的性态．数学研究者们利用这两种经典方法解决了大量问题，但对于有些 周期系统(比如不可积系统)，这两种方法运用起来则非常困难．1981年，白俄罗斯微分方程专 家Mironenko[1--3】首先创建了反射函数理论，借助反射函数这一最新工具来寻找周期系统 的Poincar6映射，这为研究微分系统(1)(即使系统(1)为不可积系统)的解的几何性质提供了新 的方法，从而开辟了微分方程的新领域．Mironenko和周正新等人对此作了深入研究，并取得了 丰富的研究成果 【-g】．为了进一步研究微分系统解的性态，本文应用反射函数的推广理论，即 广义反射函数理论，对二次多项式微分系统的广义反射函数的结构形式及其周期解的几何性 质进行了研究．由于广义反射函数解决周期解的存在性与稳定性比其他方法具有很大的优势， 所以，该方法与结果对研究其他微分系统的周期解及稳定性具有一定的参考价值和指导意 义．所得结论对于一些非线性问题的研究也将提供重要的帮助，从而为进一步解释物体的复杂 运动规律，提供新的理论依据和新的判定准则．为叙述方便，在此首先给出广义反射函数有 关的定义及引理33【J． 考虑微分系统(1)(不必为t的周期系统)满足：(t，)连续可微，且对V(t，)∈ l+， 其Cauchyl~3题的解存在且唯一．L表示其解 (t；o，z)的存在区间．记丘= {tlQ(t)∈L)，D= {(t，)lz∈Ⅱ，t∈LnL}，0∈厶． 定义 1．1 称连续可微函数F(t，z)= ((t)；t，)，(t，)∈D为微分系统(1)的广义反射函 数，其中任意函数 ()连续可微且满足 (())=t，(0)=0． 可微函数F：D—÷ 为(1)的广义反射函数，则有 F(t，(t))= ((t))，F((t)，F(t，))三F(O，X)三 ． 收稿 日期：2014-09—16 基金项目：国家自然科学基金项 目 作者简介：周坚，女，汉族，江苏人，副教授，研究方向：微分方程 第3期 周坚等：二次多项式微分系统的广义反射函数 629 注：当 (￡)：一t时，由上述定义即得(1)的反射函数及反射函数的基本关系式 【． 定义 1．2 称连续可微函数F：D—÷R为微分系统(1)的广义反射函数，当且仅当它为偏 微分方程 (，)+ (，) (t，)=Ot(t) ( )，F(t，))，F(0，X)= ． (2) 的解．并称此为广义反射函数的基本关系式． 引理 1．1 (基本引理)设系统(1)为关于t的2一周期系统，F(t，)为其广义反射函数，若 存在叩∈ 使得 (叼)=2w+叼，则系统(1)的Poincar6映射 ()可以定义为T(x)=F0／，)= ((叩)；?7，)，从而系统(1)在叼【，2+叩]上有定义的解x(t)~2w一周期解，当且仅当F(77，)= ． 2．主要定理 对于二次多项式微分系统