无限时滞中立型泛函微分方程解的有界性.pdfVIP

第26卷 第5期 黑 龙 江 大 学 自然 科 学 学报 V0I_26 No．5 2009年 10月 JOURNAL OFNATURALSCIENCEOFHEILONGJIANGUNIVERSITY October，2009 无限时滞 中立型泛 函微分方程解的有界性 魏凤英 ， 王 克。 (1．福州大学 数学与计算机科学学院，福州350108；2．哈尔滨工业大学 (威海)数学系，威海264209) 摘 要 ：选取空间c 为无限时滞系统解所在的相空间，研究一类无限时滞中立型泛函微分方 程解的指数渐近稳定性及有界性，运用Bellman不等式及比较原理，在适当的条件下，得到了无限 时滞系统的解g一指数渐近稳定蕴涵g一有界性这一个新结论，该结论与迪申加 卜在 C 空间中所 得结论互不 包含 。 关键词：中立型泛函微分方程 ；无限时滞 ；g一指数渐近稳定；g一有界性 中图分类号 ：O175．12 文献标志码：A 文章编号 ：1001—701l(2009)05—0617—05 0 引 言 近些年来，对于泛函微分方程，无论是具有限时滞还是具无限时滞的，国内外的许多学者从解的有界性， 稳定性，周期解等各个层面进行了广泛而深入的定性研究，得到了许多好的结果。从而使得泛函微分方程理 论取得了长足的进展 。研究具有时滞的泛函微分方程 ，首要问题就是选取合适的相空间。对于有限时滞 的 泛函微分方程，相空间几乎都是选取连续函数加上确界模所构成的空间；而对于具有无限时滞的泛函微分方 程来说，不同的方程和不同的具体问题，可以采用不同形式的相空间。也就是说，对于同一个问题而言，可以 选取不同的相空间来考虑 。既然所取相空间不同，那么，所加条件和所得结论也不会相同，换句话说，可以从 不同角度解决同一问题。本文则以空问C 为相空问，讨论无限时滞 中立型泛函微分方程解 的有界性 问题， 得到了方程解的g一指数渐近稳定性蕴涵g一有界性这一新的结论，该结论与文 [1]在 C 空间所得结果是 互不包含的。 1 准备工作 考虑具无限时滞 中立型泛函微分方程 ： dt 八、∽ ) (1) 其 中 ，(s)= (t+s)，s∈R一。设C=C(R一，R)表示所有连续函数 ：尺一一 组成的Banach空间，g是映 R一到[1，+∞)的连续且非增函数，并满足g(0)=1，g(一。。)=+o。，其中R一=(一∞，0]。 定义 c={∈G：詈在尺一上一致连续，且 蔷。。。)。 对任意∈c，定义Ip(ig=SUP蔷，文[2]已证(，1．是Banach空间。 以下行文中，假设 对 固定 的 0是 有界 的一致连续 函数 ，对固定的 s≤0是 的连续 函数。 容易验证，如果g(s)=e～，则上述条件满足。 对任意给定的 0，∈C ，t0∈R，记满足 ：(一∞，to+ ]一R ， = ，在 [t0，to+ ]上连续的函数 收稿 日期：2008～06—29 基金项 目：福建省 自然科学基金资助项 目(S0750007)；福州大学科技发展基金资助项 目(2007一XQ一18) 作者简介：魏风英(1976一)，女，讲师，博士，主要研究方向：常 (泛函)微分方程及数学生物学，E—mail：weifengying76@yahoo．Corn．cn · 618 · 黑 龙 江 大 学 自 然 科 学 学 报 第26卷 的全体 力 A。 以下将验证 ：空间(C ，l·Ig)满足[4]中关于相空问B的假设。 (B1)对任意∈c，有l(。)l≤Il。易知I~lg= 蔷≥舞=l(。)I。 (B2)对任意to∈R，≥0，EA，t∈[t0，to+ ]，有 ∈C，而且 在[t0，+ot]上关于t连续。 首先，要证明 对给定的 ￡≥ 是 ER一的一致连续函数，这里 ()： (f+ )： (一cn+s)，