关于广义Liénard系统解的唯一性.pdfVIP

2009年3月 纯粹数学与应用数学 Mar．20o9 第25卷 第l期 PureandAppliedMathematics V_01．25No．1 关于广义 Li6nard系统解的唯一性 方强 1,2，肖箭 ，马冲 ，潘根安 (1．安徽大学数学与计算科学学院，安徽 合肥 230039；2．安徽大学江淮学院，安徽 合肥 230031) 摘要：研究了广义Li6n d系统初值问题解的唯一性问题．利用李普希兹条件和隐函数 定理，我们得到了此系统解的存在唯一性定理，推广了相应的结果． 关键词：唯一性；Li6nard系统；初值问题 中图分类号：O175．1 文献标识码：A 文章编号：1008-5513(2009)01—0172—04 1 引言 自从 1922年Vanderpol方程诞生以来，许多数学家与力学家都研究YLi6nard方程 蕾+，()圣+夕(z)=0 (1) 或等价方程组 =Y—F()， =一g(z) (2) u U D 这里F )=．f(u)du．在这一研究中，人们最感兴趣的是其解的稳定性、有界性、振动性及周 期解的存在性．但关于此系统基本问题即解的唯一性问题很少有文献详细研究．一般都以F(x1 和9 )连续并满足解的唯一性笼统概括，仅有少数文献有深入的讨论．例如文 [1】要求F(x) 和9()在 忙llA上满足局部李普希兹条件，．其中A》 1．张芷芬等 【l要求：(1)夕 ) 和，()=F )在R上连续；(2)xg(x)0，≠0．1997年，文 [3】在文 [2]的基础上对研究的 对象系统 (2)进行了推广，考虑如下的系统 塞 )，dy：-g() (3) 给出了以下的结论： 定理 A 设系统 (3)满足下列的条件： 1)h(y)连续可微，h )0且h(O)=0； 2)F )，9 )在实轴上连续，且F(0)=9(0)=0； 3)xg(x)0，≠0． 则方程组 (3)在整个相平面上 (，Y)关于初值问题有解的存在唯一性．注意此时3)保证了系 统 (3)只有唯一的奇点．2001年文 [4】研究文 [2】中形如本文中的系统 (2)，但弱化了有关奇点唯 一 的条件，给出了以下的结论： 定理 B 如果F )，夕()在 R上连续，且9(z)在有限区间上至多有有限个零点，则系 统 (2)经过任意的点Mo(~o，Yo)的轨线是唯一的，其中Mo(~o，Yo)不为奇点． 收稿 日期：2007-05-10． 基金项 目：安徽省重点科研项目(O5O10106)，安徽省教育厅重点项目(KJ2007A003) 作者简介：方强 (1983-)，硕士，助教，研究方向：微分方程理论及应用． 第1期 方强 等：关于广义Lidnard系统解的唯一性 173 文 5【】研究文 [33]中形如本文中的系统 (3)，但弱化了文 [3】中有关奇点唯一的条件，给出了 以下的结论： 定理 c 设系统 (3)仅有有限个奇点，若 F )，g(x)在 R上连续，h(y)在 R上连续可导 且 ()0，则系统 (3)满足初始条件 z(to)=XO，y(to)=Yo的解唯一，其中Mo(xo，Yo)不为 奇点． 本文主要研究如下更一般的广义Lidnard系统： dx ()一F()，dy=g() 一 ： 夕() (4) 其中F )，g(x)在