-
近年来,二阶微分方程边值问题受到许多学者的关注[1-14]. 特别地,自然界中存在着大量的周期现象且这些周期现象可以通过二阶微分方程周期边值问题[3-14]来刻画. 比如文献[5]研究了二阶周期边值问题
正解的存在性,其中a>0,λ是一个正参数,并且满足条件:
(A1) f:[0,∞) [0,∞)是连续函数,且满足当u>0时,f(u)>0;
(A2) g:[0,2π] [0,∞)是连续函数,且满足∫02πg(t)dt>0.
文献[5]运用锥上不动点定理,得到了:
引理1[5] 假定条件(A1)-(A2)成立,且
$f_{\infty}=\lim\limits_{u \rightarrow \infty} \frac{f(u)}{u}=\infty$ ,则存在λ0>0,使得当0 < λ < λ0时,问题(1)有一个正解.值得注意的是,文献[5]研究了非线性项f非负的情况下问题(1)正解的存在性,且a为常数. 受上述文献启发,本文考虑比问题(1)更广泛的问题. 具体地,本文研究二阶周期半正问题
正解的存在性,其中λ是一个正参数. 我们得到如下结论:
定理1 假定以下条件成立:
(H1) f:[0,∞) [0,∞)是一个连续函数,且
$f_0=\lim\limits_{u \rightarrow 0} \frac{f(u)}{u}=0, f_{\infty}=\lim\limits_{u \rightarrow \infty} \frac{f(u)}{u}=\infty$ ;(H2)
$g:[0, 1] \longrightarrow[0, \infty) \text { 是一个连续函数, 且满足 } \int_0^1 g(t) \mathrm{d} t>0$ ;(H3) a:[0, 1] [0,∞)是一个连续函数;
(H4) ω是[0, 1]上的连续函数,且|ω(t)|≤k.
则存在常数λ*>0,使得当0 < λ < λ*时,问题(2)至少存在一个正解uλ.
注1 当ω=0时,定理1就退化为引理1的结果. 然而,我们所要研究的是允许|ω|≠0的情形,允许非线性项取负值的情况下正解的存在性结果. 因此,我们所得的结果是对引理1的推广.
HTML
-
令空间E=C[0, 1],其在范数
$\|u\|=\max\limits_{t \in[0, 1]}|u|$ 下构成Banach空间. 定义线性算子L:$D(L) \subset E \longrightarrow E$ 为其中
引理2[15-16](锥拉伸与压缩不动点定理) 设E是一个Banach空间,且K是E中的一个锥. 假设Ω1,Ω2是E的有界开子集,且有0∈Ω1,
$\overline{\varOmega_1} \subset \varOmega_2$ . 令是全连续算子,且满足
(ⅰ)‖Au‖≤‖u‖,u∈K∩∂Ω1且‖Au‖≥‖u‖,u∈K∩∂Ω2;
或
(ⅱ)‖Au‖≥‖u‖,u∈K∩∂Ω1且‖Au‖≤‖u‖,u∈K∩∂Ω2.
则A在K∩(Ω2 \Ω1)中有一个不动点.
定义u(x),v(x)是齐次方程
满足初值条件
的解. 且定义
根据文献[6]中的定理2.5,下述引理成立:
引理3 假设条件(H3)成立且h为非负连续函数,则线性问题
存在唯一解
其中
$\text { 且 } G(t, s)>0, \forall t, s \in[0, 1] \text {. }$ 令
则m>0,M>0.
由于g(t)是[0, 1]上的连续函数,则g(t)在[0, 1]上有上界,记为T,即0 < g(t)≤T.
引理4 令w是
的唯一解,则
$w(t) \geqslant \frac{m}{M}\|w\|$ .证 由引理3知
则
从而
$w(t) \geqslant \frac{m}{M}\|w\|$ .引理5 令u∈C1[0, 1]∩C2(0,1),满足
假设
$\|u\|>\frac{M(m+M)}{m} k T$ ,则u≥0,且证 令v0(t)是微分方程
的唯一解,则
即-v0(t)≤MkT,则v0(t)≥-MkT.
令y(t)=u(t)-v0(t),则
由引理4可知
$y(t) \geqslant \frac{m}{M}\|y\|$ ,则有
-
定理1的证明 问题(2)的等价积分形式为
定义E中的集合
其中
则K为E中的一个正锥.
若u∈K,结合引理5和(3)式可知
因此
$A(K) \subset K$ . 此外,由Arzèla-Ascoli定理可得,$A: K \longrightarrow K$ 是全连续的.令a>1,有
因为
$f_0=\lim\limits_{u \rightarrow 0} \frac{f(u)}{u}=0$ ,则对$\forall \eta>0$ ,存在H1>0,使得当a < u≤H1时,有f(u)≤ηu,且满足即
因此,如果u∈K且‖u‖=H1,则由(3),(4)式得
令
则有
$\text { 因为 } f_{\infty}=\lim\limits_{u \rightarrow \infty} \frac{f(u)}{u}=\infty \text {, 则 } \forall \mu>0 \text {, 存在 } \hat{H}_2>0 $ $\text {, 使得当 } u \geqslant \hat{H}_2 \text { 时, 有 } \mu u \leqslant f(u)+\omega(t) \text {, 且满足}$ 令
则有u∈K且‖u‖=H2,则
因此,由(6)式和(7)式得
因此
从而,由(5),(8)式和引理2可知,A在K∩(Ω2\Ω1)中有一个不动点,使得H1≤‖u‖≤H2. 因此,当0 < λ < λ*时,问题(2)有一个正解uλ.
-
例1 考虑问题
解的存在性,其中λ>0.
解 这里取
对于问题(9)而言,显然f是连续的非负函数,且有
则f满足条件(H1). 又因g(t)=t连续,且
$\int_0^1 g(t) \mathrm{d} t=\frac{1}{2}>0$ ,则条件(H2)成立. 因为a(t)=t+1为0,1上的非负函数,则条件(H3)成立. 因为ω(t)=sin 2πt,则|ω(t)|≤1,从而条件(H4)成立.根据定理1可得,存在常数λ*>0,使得当0 < λ < λ*时,问题(9)至少存在一个正解uλ.