彭 皓，柏仕坤

重庆师范大学数学科学学院，重庆，401331

众所周知，自然界中有许多现象在发展过程中会出现短时间内的扰动，这类扰动能瞬时地改变系统状态，其影响往往是不可忽略的。基于此，常微分方程的脉冲效应自然能引发人们的广泛关注[1-9]。例如，刘立山等[1]运用不动点指数研究以下的二阶脉冲微分方程组两点边值问题正解的存在性：

其中J′=(0,1){t1,t2,…,tm},fi≥0,i=1,2。文献[2]中作者运用类似于[1]的方法研究了一个高阶脉冲微分方程积分边值问题正解的存在性：

受上述文献的启发，在半正型非线性项和脉冲项的条件下，讨论如下四阶脉冲微分方程边值问题：

(1)

正解的存在性，f,Ik在无穷远处满足一定的增长性条件。其中ti∈(0,1),且

分别是y′在t=tk点处的右极限和左极限。非线性f和脉冲项Ik满足以下条件：

(H0)f∈C([0,1]×R+,R),Ik∈C(R+,R),且存在正数M,Mk(k=1,2,…,m)使得

f(t,y)≥-M,Ik(y(tk))≥-Mk,∀t∈[0,1],y∈R+,k=1,2,…,m。

1 预备知识

令E=C[0,1],‖y‖=supt∈[0,1]|y(t)|,则(E,‖·‖)是一实Banach空间。鉴于脉冲效应的出现，亦需要以下的空间

引理1[3]四阶脉冲微分方程边值问题(1)等价于如下的积分方程

(2)

其中

(3)

引理2Green函数G满足以下一些性质：

(1)G∈C([0,1]×[0,1],R+),G(t,s)>0,∀t,s∈(0,1);

(2)t(1-t)s(1-s)≤G(t,s)≤s(1-s),∀t,s∈[0,1];

(3)G(t,s)≤t(1-t),∀t,s∈[0,1];

这四种性质直接由G的定义可得，故略去它们的证明。

为了证明本文的定理，先给出两个引理[10]：

y-Ay≠λy0,∀y∈∂Ω∩P,λ≥0,

则i(A,Ω∩P,P)=0,其中i是锥P上的不动点指数。

y≠λAy,∀y∈∂Ω∩P,λ∈[0,1],则i(A,Ω∩P,P)=1。

2 主要结论

由于非线性项f和脉冲项Ik可变号，为了方便研究,将构造如下非负算子方程。为此，需要考虑以下四阶脉冲微分方程边值问题：

(4)

根据引理1知(4)的解可以表示为：

(5)

定理1若y*是(1)的正解，则y*+ω是如下方程的解：

(6)

其中

(7)

反过来，若y*是(6)的解，且y*(t)≥ω(t),∀t∈[0,1],则y*-ω是(1)的正解。

证明：已知(1)与(2)等价，所以当y*是(1)的正解时，y*满足以下方程：