徐校会

(滁州城市职业学院 教育系，安徽 滁州 239000)

0 引言

近年来，随着现代科学技术的发展，在自然科学与社会科学的许多学科中，例如动力学、生物遗传工程、控制论和医学等，提出了大量新的泛函微分方程问题，急需用相关的数学理论去解决[1-3].虽然很多学者对泛函微分方程边值问题的可解性理论作了很多工作，也取得了一些成果，但由于大部分研究不考虑方程问题边值问题的振动准则[4,5]，导致对于中立型双曲泛函微分方程边值问题的可解性研究难以取得进一步突破[6]，为了解决该问题，在应用意义和数学理论上，需要在意义更宽广的条件下研究非线性中立型双曲泛微分函数方程[7-9].

本文对中立型双曲泛函数微分方程边值问题的可解性进行分析[10,11]，分别从两个方向进行分析.一方面以振动准则为基础，分析该方程边值问题的可解性[12]；另一方面去除振动准则的情况下研究该方程边值问题的周期解.

1 振动准则下的周期解分析

(1)

(Ai)

其中，Z表示∂Ω上的单位外法向量，e(x,t)∈D(∂Ω,R+)

给出以下条件：

(F1)fj(w)∈D(R,R),wfi(w)>0对w≠0，且在(0,+∞)内fi(w)是凸函数，j∈J;

(F2)τj是非负常数，0<τj<τ，且ϑj(t)，λk(t)∈D(R+,R+)有界，i∈I,j∈J,k∈K.

引理1假设条件(F1)～(F2)成立，若w(x,t)是边值问题(Ai)(i=1,2,3)在Ω×[T,+∞)(T≥0)的一个正解，则微分不等式为：

(2)

1.1 超线性情形

则边值问题(1)～(A)有一个有界的最终正解.

则AD区间内存在一个有界闭凸集[18]，用S表示.再定义如下算子T：S→AD：

(3)

其中T=t0+λ，对t≥T

(4)

(5)

则

(6)

因此，S上存在一个压缩算子T.由压缩映象原理得[19]，T在S上有一个不动点U*=U*(t).则：

(7)

易知U*(t)是方程(8)的一个有界最终正解：

(8)

其式(8)中ΔU*(t)=0，ΔU*(t-λk(t))=0，通过式(8)得：

(9)

1.2 次线性情形

定理2(D3)fj(w)(∀j∈J)是增函数；