马志霞, 宋建成, 雷开彬

（西南民族大学计算机科学与技术学院, 四川 成都 610041）

具有时滞的中立型泛函微分方程解的渐近性

马志霞, 宋建成, 雷开彬

（西南民族大学计算机科学与技术学院, 四川 成都 610041）

提出了算子一致有界和一致终结有界的概念，讨论了具有限时滞的中立型泛函微分方程解的一致有界和一致终结有界性，利用Lyapunov泛函方法得到了一致有界和一致终结有界性的充分条件, 给出了具有限时滞中立型泛函微分方程的解一致有界和一致终结有界性的新判据.一些近期文献中的结果得到了推广，并给出了一个实例说明其结论的应用.

中立型泛函微分方程; 一致有界; 一致终结有界

1 引言

关于时滞泛函微分方程解的渐近性，国内外学者已进行了卓有成效的研究[1-5].而对于解的渐近性，尤其是关于周期解的存在性更为人们所关注[6-11].而微分系统解的一致有界和一致终结有界, 与判断该系统是否存在周期解有很密切联系.在近几十年中, 有关微分系统解的有界性已有不少讨论[12-13]，但对中立型微分系统的讨论甚少.本文给出具有限时滞的中立型泛函微分方程解的一致有界和一致终结有界的充分条件，将近期文献中关于滞后型微分系统解的一致有界性与一致终结有界性推广到中立型时滞微分系统.

2 预备

考虑具有限时滞的中立型泛函微分系统

定义1[14]称(1)的解是

(i) 一致有界的, 如果对每一个B1> 0, 存在B2> 0, 使得任意

(ii) 关于界B是一致终结有界的, 如果对任意B3> 0, 存在T > 0, 使得任意