秦培歌, 薛春艳

(北京信息科技大学 理学院, 北京 100192)

0 引 言

近年来,具变号权函数的微分方程或系统得到了广泛的研究[1-8]。众所周知,这类问题描述了很多重要的物理现象。比如,在量子力学模型[9-10]、半导体理论以及依赖于时间和空间的封闭容器中的核反应[11]数学模型中都有广泛的应用。

在本文中,考察如下二阶微分系统:

(1)

其中

此处,fi(u(t))表示fi(u(t))=fi(u1(t),u2(t),…,un(t)),i=1,2,…,n,且ωi(t)(i=1,2,…,n)在[0,1]上可能变号。则系统(1)的方程表示为

(2)

系统(1)的边界条件表示为

(3)

当n=1时,系统(1)退化为标量方程

(4)

其中ω(t)在[0,1]上变号。Yao[1]运用锥拉伸与锥压缩不动点定理研究了边值问题(4)正解的存在性和多解性。Jiang等[2]运用Schauder不动点定理得到了问题(4)存在一个正解。值得注意的是,在上述文献中,作者只考虑了二阶微分方程权函数变号的情况,本文则把权函数变号的二阶微分方程推广到n维系统,得到系统正解的存在性。

在本文中,除非另有说明,默认i=1,2,…,n。

1)ωi:J→R是连续的,存在ξ∈(0,1)使得

且ωi(t)在J的任意子区间上不恒为零;

3) 存在0<θ<+∞,θ≠1和k1,k2>0,使得k1‖u‖θ≤fi(u)≤k2‖u‖θ。

注1 系统(1)的解u是满足(1)的向量值函数u∈C2(J,Rn)。若一个解u=(u1,u2,…,un)T是正的,则对任意t∈J,有ui(t)≥0,i=1,2,…,n,且u至少有一个非零分量。

1 预备知识

定义

则有

引理1 假设条件1)和2)满足,则问题(1)有一个解u=(u1,u2,…,un)T。其中,

证明 引理1的证明类似于文献[17]中引理2的证明。

由G(t,s)的定义可知,它有如下性质:

命题1G(t,s)由式(6)定义,于是有

为了获得系统(1)正解的存在性,需要假设下面条件成立:

4) 存在0<σ<ξ,使得

下列命题表明条件4)是合理的。

命题2 假设存在0<σ<ξ使得

证明 首先证明

G(t,ξ-μτ)≥σG(t,ξ+τ),τ∈[0,1-ξ]

情况1 若t∈[0,ξ],有

情况2:若t∈[ξ,1],有

然后,做变换s=ξ-μτ,τ∈[0,1-ξ],可得

做变换s=ξ+τ,τ∈[0,1-ξ],可得

接下来,由命题的假设,对于任意的(t,τ)∈[0,1]×[0,1-ξ],有