刘怡建

(福州理工学院计算与信息科学学院数学系，福建 福州 350108)

1 问题的提出

周期解存在性的研究，是泛函微分方程定性理论分析中的一个重要部分，受到学术界的高度关注.由于在实际问题中滞后现象总是存在的，因此人们描述自然现象时，采用具有无穷时滞的中立型泛函微分方程比积分微分方程更客观.对于具有无穷时滞的泛函微分方程的周期解和概周期解的存在性问题，众多学者对它进行了研究[1-13].例如，方聪娜等[10]研究了如下一类具有无穷时滞的中立型Volterra积分微分方程的概周期解问题：

陈凤德等[11]讨论了如下周期系统的周期解的存在性和唯一性：

张志信等[12]在文献[11]的基础上，得到了如下中立型微分系统的周期解的存在性和唯一性的一组充分性条件：

林华远等[13]在文献[12]的基础上讨论了如下中立型概周期微分方程的概周期解的存在性和唯一性：

(1)

受这些文献的启发，笔者拟探讨比方程(1)更广泛的一类中立型积分微分方程的概周期解的存在性和唯一性.

2 预备知识

定义1[14]称f(t)是概周期的，如果对于∀ε>0，集合

T(f,ε)={τ;|f(t+τ)-f(t)|<ε,∀t∈R}

是相对稠密的.即对于∀ε>0，存在l=l(ε)>0，使得在每个长度为l的区间内至少有1个τ=τ(ε)∈T(f,ε)，满足|f(t+τ)-f(t)|<ε，t∈R.

定义2[14]若存在投影方阵P(P满足P=P2)及常数α≥0，β≥1，满足

‖X(t)PX-1(s)‖≤βe-α(t-s)t≥s，

‖X(t)(I-P)X-1(s)‖≤βeα(t-s)t≤s，

则称系统

x′=A(t)x

(2)

在R上具有指数型二分性.其中：x∈Rn；A(t)是定义在R上的分段连续的n×n实函数矩阵；X(t)是系统(2)的标准解方阵.

引理1[14]若线性系统(2)满足指数型二分性，则概周期系统

x′=A(t)x+g(t)

(3)

有唯一概周期解x(t)，

(4)

记ρ(x)是权函数，U是所有权函数构成的集合，……