具有时滞的中立型泛函微分方程解的渐近性-西南民族大学学报自然.PDF

第40 卷第6 期 西南民族大学学报·自然科学版 Nov. 2014 Journal of Southwest University for NationalitiesNatural Science Edition ___________________________________________________________________ doi: 10.3969/j.issn.1003-4271.2014.06.17 具有时滞的中立型泛函微分方程解的渐近性 马志霞, 宋建成, 雷开彬 （西南民族大学计算机科学与技术学院, 四川 成都 610041 ） 摘 要: 提出了算子一致有界和一致终结有界的概念，讨论了具有限时滞的中立型泛函微分方程解的一致有界和一致 终结有界性，利用Lyapunov 泛函方法得到了一致有界和一致终结有界性的充分条件, 给出了具有限时滞中立型泛函微 分方程的解一致有界和一致终结有界性的新判据. 一些近期文献中的结果得到了推广，并给出了一个实例说明其结论的 应用. 关键词: 中立型泛函微分方程; 一致有界; 一致终结有界 中图分类号: O175 文献标识码: A 文章编号: 1003-4271(2014)06-0895-05 1 引言 [1-5] 关于时滞泛函微分方程解的渐近性，国内外学者已进行了卓有成效的研究 . 而对于解的渐近性，尤其是 [6-11] 关于周期解的存在性更为人们所关注 . 而微分系统解的一致有界和一致终结有界, 与判断该系统是否存在 周期解有很密切联系. 在近几十年中, 有关微分系统解的有界性已有不少讨论[12-13] ，但对中立型微分系统的讨论 甚少. 本文给出具有限时滞的中立型泛函微分方程解的一致有界和一致终结有界的充分条件，将近期文献中关 于滞后型微分系统解的一致有界性与一致终结有界性推广到中立型时滞微分系统. 2 预备 令R  [0,) , C[X ,Y]表示从拓扑空间 X 映射到拓扑空间 Y 的连续函数类. C C([h,0],R n ) ，其中 h 0  R n W (s) ，并定义空间C 中的范数为 sup(t) h t 0, 其中 表示欧氏空间 中的范数, 记 i 为 楔函数, 即W C(R ,R ) , 严格单调增加且W (0) 0 . i i 考虑具有限时滞的中立型泛函微分系统 d D(t,x ) f (t,x ), x x (t s), h s 0, (1) t t t dt n 其中x R , D,f C(R  