趙亞麗,陳天蘭

(西北師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院,甘肅 蘭州 730070)

令T≥4為一整數(shù).記

T0={0,1,…,T+1},

T1={1,2,…,T},

T2={2,3,…,T-1}.

離散邊值問題由于其重要的理論價值和物理背景,一直受許多研究者所關(guān)注,并獲得了豐富的研究成果[1-11].眾所周知,彈性梁方程在工程中有著不可或缺的作用,近年來,對兩端簡單支撐的非線性四階離散邊值問題解的存在性和多重性研究已有大量結(jié)果[2-3,6-7],其中大多數(shù)結(jié)果是基于錐上的不動點定理、不動點指數(shù)理論和拓?fù)涠壤碚摰?

He等[3]運用錐上的不動點定理研究了非線性四階離散邊值問題

Δ4u(t-2) -λa(t)f(u(t))=0,

t∈{2,3,…,T+2},

u(0)=u(T+2)=Δ2u(0)=Δ2u(T)=0

正解的存在性,其中λ是特征值,權(quán)函數(shù)a:{1,2,…,T+1}→[0,∞),f:R+→R+連續(xù)且T≥1.

Ma等[4]運用不動點指數(shù)理論研究了非線性四階離散邊值問題

Δ4u(t-2)-λf(t,u(t))=0,

t∈{2,3,…,T},

u(1)=u(T+1)=Δ2u(0)=Δ2u(T)=0

正解的存在性和多解性,其中λ>0是參數(shù),f:T2×[0,∞)→[0,∞)連續(xù)且T≥5.然而,關(guān)于非線性四階離散邊值問題

Δ4u(t-2)+f(u(t))=0,t∈T2,

(1)

u(0)=Δu(0)=Δu(T)=Δ2u(0)=0

(2)

正解存在性從未被研究,其中f:[0,∞)→[0,∞)連續(xù).事實上,在首次建立其相應(yīng)線性問題的格林函數(shù)時帶來了極大的挑戰(zhàn)性,進(jìn)而在討論其性質(zhì)時,又是一項非常艱巨的任務(wù),因此,對該類問題的研究是非常有必要和有意義的.

為此,本文運用錐上的不動點定理獲得了非線性四階離散問題(1)～(2)正解的存在性.

本文總假定:

(Hf)f:[0,∞)→[0,∞)連續(xù).

記

則f0=0且f∞=∞對應(yīng)超線性情形,f0=∞且f∞=0對應(yīng)次線性情形.

本文的主要結(jié)果如下:

定理1假定(Hf)成立且f滿足:

f0=0且f∞=∞.

則問題(1)～(2)至少存在一個正解.

定理2假定(Hf)成立且f滿足:

f0=∞且f∞=0.

則問題(1)～(2)至少存在一個正解.

1 預(yù)備知識

本文使用的主要工具是:

滿足:

(i) ‖Au‖≤‖u‖,u∈K∩?Ω1且‖Au‖≥‖u‖,u∈K∩?Ω2或

(ii) ‖Au‖≥‖u‖,u∈K∩?Ω1且‖Au‖≤‖u‖,u∈K∩?Ω2,

引理2設(shè)h:T2→R.則四階線性邊值問題

Δ4u(t-2)+h(t)=0,t∈T2,

u(0)=Δu(0)=Δu(T)=Δ2u(0)=0

(3)

等價于

(4)

其中

證明設(shè)u滿足式(3),則通過對式(3)中的方程進(jìn)行一系列和分運算,結(jié)合u(0)=Δu(0)=Δ2u(0)=0可得,

(5)

代入邊界條件Δu(T)=0,有

進(jìn)而解得

(6)

將式(6)代入式(5)中可得,

T(T-1)(t-s)(t-s-1)(t-s+1)]·

[6T(T-1)]-1h(s)+

因此,u也滿足式(4).

另一方面,很容易驗證式(4)滿足式(3).

引理3格林函數(shù)G(t,s)滿足如下性質(zhì):

(i)G(t,s)≥0,s,t∈T1.

(ii)ρ(t)Φ(s)≤G(t,s)≤Φ(s),s,t∈T1.其中

證明(i) 當(dāng)1≤t≤s≤T-1時,顯然,G(t,s)≥0.

當(dāng)2≤s≤t≤T時,下面分兩種情況討論.當(dāng)t-s-1≤0時,顯然G(t,s)≥0;當(dāng)t-s-1>0時,即t>s+1,有

G(t,s)=[t(t-1)(t-2)(T+1-s)(T-s)-

T(T-1)(t-s)(t-s-1)(t-s+1)][6T(T-

1)]-1>{(t-3)[t(t-1)(T+1-s)(T-s)-

T(T-1)(t-s)(t-s+1)]}[6T(T-1)]-1=

{(t-3)[(t2-t)(T2-2Ts+s2+T-s)-

(T2-T)(t2-2ts+s2+t-s)]}[6T(T-1)]-1=

{(t-3)[s2(t2-T2)+s2(T-t)+2stT(T-t)+

s(T2-t2)+s(t-T)+2tT(t-T)]}[6T(T-

1)]-1={(t-3)(T-t)[s2(1-T-t)+

s(2tT+T+t-1)-2tT]}[6T(T-1)]-1=

{(t-3)(s-1)(T-t)[2tT-s(T+t-1)]}

[6T(T-1)]-1>{(t-3)(s-1)(T-t)[2(s+

1)T-sT-st+s]}[6T(T-1)]-1=

{(t-3)(s-1)(T-t)[s(T-t)+2T+s]}

[6T(T-1)]-1≥0.

(7)

故(i)成立.

(ii) 當(dāng)1≤t≤s≤T-1時,有

另一方面,

當(dāng)2≤s≤t≤T時,有

G(t,s)=[t(t-1)(t-2)(T+1-s)(T-s)-

T(T-1)(t-s)(t-s-1)(t-s+1)][6T(T-

另一方面,同式(7)的處理方法,則

G(t,s)=[t(t-1)(t-2)(T+1-s)(T-s)-

T(T-1)(t-s)(t-s-1)(t-s+1)][6T(T-

1)]-1>{(t-2)[t(t-1)(T+1-s)(T-s)-

T(T-1)(t-s)(t-s+1)]}[6T(T-1)]-1=

{(t-2)(s-1)(T-t)[2tT-s(T+t-1)]}·

[6T(T-1)]-1≥

[(t-2)(T-t)(T-t+1)s(T-2)(T+1-

s)(T-s)][12T(T-1)3(T-3)]-1.

故(ii)成立.

引理4設(shè)h:T2→[0,∞).則問題(3)的唯一解u非負(fù),且滿足

證明由引理2和引理3可知,u(t)非負(fù),且對任意t∈T1,有

進(jìn)而得到,

另一方面,

ρ(t)‖u‖≥ρ‖u‖.

下面引入本文使用的空間:

定義非線性算子A:K→E,

依據(jù)引理2,很容易得到如下結(jié)論成立.

引理5若(Hf)成立,則u(t)是問題(1)～(2)的正解當(dāng)且僅當(dāng)Au=u.

引理6若(Hf)成立,則算子A:K→K全連續(xù)且A(K)?K.

證明由引理4可知,A(K)?K.由Arzel-Ascoli定理可知,A:K→K是全連續(xù)的.

2 主要結(jié)果的證明

Ω1={u∈E:‖u‖

則對任意u∈K∩?Ω1,t∈T1,由引理3可得,

(8)

其中

因此,

‖Au‖≤‖u‖,u∈K∩?Ω1.

Ω2={u∈E:‖u‖

則對任意u∈K∩?Ω2,t∈T2,由引理4可得,

由引理3和引理4可得,

因此,

‖Au‖≥‖u‖,u∈K∩?Ω2.

Ω1={u∈E:‖u‖

則對任意u∈K∩?Ω1,t∈T2,由引理3和引理4可得,

‖u‖.

因此,

‖Au‖≥‖u‖,u∈K∩?Ω1.

下面分兩種情況考慮.

(i) 若f有界.即存在L>0,對任意u∈[0,∞),有f(u)≤L.記

Ω2={u∈E:‖u‖

則對任意u∈K∩?Ω2,t∈T1,由式(8)可得,

因此,

‖Au‖≤‖u‖,u∈K∩?Ω2.

若u∈K∩?Ω2,則有f(u)≤ηH2.由式(8)可得,

因此,

‖Au‖≤‖u‖,u∈K∩?Ω2.