伏彤彤, 李永祥

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

0 引 言

考慮如下非線性項(xiàng)中含梯度項(xiàng)的橢圓邊值問題:

(1)

徑向解的存在性與唯一性, 其中:Ω={x∈N: |x|>R0},N≥3,R0>0;n為?Ω上的單位外法向量;α,β是常數(shù);J=[R0,∞);+=[0,+∞);K:J→+為系數(shù)函數(shù);f:J××+→為非線性函數(shù). 本文假設(shè):

(H1)α,β≥0, 且α+β>0;

(H2)K∈C(J,+), 且當(dāng)r→+∞時(shí),K(r)=O(1/r2(N-1)), 即?K0, 使得

(H3)f∈C(J××+,), 且對(duì)?M>0,f(r,u,η)在J×[-M,M]×[0,M]上一致連續(xù); 對(duì)?(u,η)∈×+,f(·,u,η)在J上有界.

目前, 對(duì)非線性項(xiàng)f不含梯度項(xiàng)的橢圓邊值問題正徑向解存在性的研究已有許多結(jié)果: 文獻(xiàn)[1-5]討論了Dirichlet邊界條件的特殊情形; 文獻(xiàn)[6]在允許非線性項(xiàng)超線性或次線性增長(zhǎng)的條件下, 用錐上的不動(dòng)點(diǎn)指數(shù)理論獲得了方程

(2)

正徑向解的存在性結(jié)果, 其中f:+→+為連續(xù)函數(shù),f(0)=0; 文獻(xiàn)[7-9]討論了含線性梯度項(xiàng)的橢圓型方程

-Δu=f(x,u)+g(|x|)x·u,x∈Ω

(3)

正徑向解的存在性; 對(duì)于含非線性梯度項(xiàng)的橢圓邊值問題, 文獻(xiàn)[10]在允許非線性項(xiàng)f(r,u,η)非負(fù)且關(guān)于u,η超線性增長(zhǎng)或次線性增長(zhǎng)的情形下, 運(yùn)用錐上的不動(dòng)點(diǎn)指數(shù)理論獲得了方程(1)正徑向解的存在性結(jié)果, 其中f: [R0,∞)××+→+為連續(xù)函數(shù).

本文在不假設(shè)非線性項(xiàng)f非負(fù)的一般情形下, 討論方程(1)徑向解的存在性. 在允許非線性項(xiàng)f(r,u,η)關(guān)于u,η超線性增長(zhǎng)的情形下, 用Leray-Schauder不動(dòng)點(diǎn)定理, 給出方程(1)徑向解的存在性結(jié)果, 在此基礎(chǔ)上加強(qiáng)條件, 進(jìn)一步給出該問題徑向解的唯一性結(jié)果. 假設(shè)非線性項(xiàng)f(r,u,η)關(guān)于η滿足Nagumo型增長(zhǎng)條件:

(H4) 對(duì)?M>0, 存在單調(diào)遞增的連續(xù)函數(shù)GM:+→(0,+∞), 滿足

(4)

使得

|f(r,u,η)|≤GM(η), (r,u,η)∈J×[-M,M]×+.

(5)

1 預(yù)備知識(shí)

對(duì)橢圓邊值問題(1)的徑向?qū)ΨQ解u=u(|x|), 令r=|x|, 則其可轉(zhuǎn)化為區(qū)間J上的常微分邊值問題(BVP):

(6)

(7)

則方程(6)轉(zhuǎn)化為(0,1]上的奇異常微分邊值問題(BVP):

(8)

其中:

(9)

(10)

(11)

(12)

設(shè)h∈CB(0,1]. 為了討論BVP(8), 先考慮BVP(8)相應(yīng)的奇異線性邊值問題(LBVP):

(13)

引理1對(duì)?h∈CB(0,1], 線性邊值問題(13)有唯一解v∶=Sh∈C1(I)∩C2(0,1], 且解算子S:CB(0,1]→C1(I)為線性全連續(xù)算子.

引理2對(duì)?h∈CB(0,1], 線性邊值問題(13)的解v=Sh滿足下列條件:

2)v′(1)v(1)≤0.

證明： 1) 對(duì)?h∈CB(0,1],v=Sh為L(zhǎng)BVP(13)的解, 由引理1,v∈C1(I)∩C2(0,1]. 由H?lder不等式有

即結(jié)論1)成立.

2) 由邊界條件α1v(1)+β1v′(1)=0知,

(14)

將式(14)中兩式相加, 有

(α1+β1)v′(1)v(1)=-(α1v2(1)+β1v′2(1)).

(15)

因?yàn)棣?≥0,β1≥0,α1+β1>0, 故由式(15)知,v′(1)v(1)≤0. 即結(jié)論2)成立.

證明： 對(duì)M>0, 由條件(H4)知, 存在單調(diào)遞增的連續(xù)函數(shù)GM:+→(0,+∞)滿足式(4), 使得f滿足式(5). 由式(4)知, 存在M0>0, 使得

(16)

不妨設(shè)v′(t)不恒為0, 則由連續(xù)函數(shù)的最值定理, ?t1,t2∈I, 使得

由邊界條件v(0)=0,α1v(1)+β1v′(1)=0, 易證v′(t1)≤0,v′(t2)≥0. 因此

t3=sup{t′∈[t1,t2)|v′(t′)=0},

由上確界的定義及連續(xù)函數(shù)v′(t)的介值性,t3∈[t1,t2), 且

v′(t3)=0;v′(t)>0,t∈(t3,t2].

由方程(8)及式(5), 當(dāng)t∈[t3,t2]時(shí), 有

因此, 有

(18)

將式(18)兩邊在[t3,t2]上積分, 再對(duì)左端做變量替換ρ=g(1)v′(t), 有

(19)

由此及式(16)知,g(1)v′(t2)

證畢.

2 主要結(jié)果

假設(shè)：

f(r,u,η)u≤cu2+dη2+C0, (r,u,η)∈J××+.

定理1假設(shè)條件(H1)～(H3)成立. 若f滿足(H4),(H5), 則橢圓方程(1)有徑向解.

證明： 先證明BVP(8)有解. 對(duì)?v∈C1(I)∩C2(0,1], 令

F(v)(t)∶=f(r(t),v(t),g(t)|v′(t)|),t∈I,

則由假設(shè)條件(H3),F:C1(I)→CB(0,1]連續(xù), 且把有界集映為有界集. 定義映射A=S°F, 則由引理1,S:CB(0,1]→C1(I)為線性全連續(xù)算子, 因此算子A:C1(I)→C1(I)為線性全連續(xù)算子. 再由S的定義, BVP(8)的解等價(jià)于算子A的不動(dòng)點(diǎn). 考慮同倫簇方程

v=λAv, 0<λ<1.

(20)

下面證明方程簇(20)的解集在C1(I)中有界. 設(shè)v∈C1(I)∩C2(0,1]為方程簇(20)中某λ∈(0,1)對(duì)應(yīng)的方程的解, 則v=S(λF(v)). 令h=λF(v), 則由S的定義,v=Sh為L(zhǎng)BVP(13)的解. 因此,v∈C1(I)∩C2(0,1]滿足方程

(21)

將式(21)兩邊同乘以v(t), 并在I上積分, 由條件(H5)、 式(12)及引理2中1), 有

對(duì)式(22)左邊分部積分, 并由引理2中2), 有

于是由式(22), 有

從而

因此, 對(duì)?t∈I, 有

故有估計(jì):

(23)

即方程簇的解集在C1(I)中有界. 由Leray-Schauder不動(dòng)點(diǎn)定理[14]知,A在C1(I)中有不動(dòng)點(diǎn), 該不動(dòng)點(diǎn)為BVP(8)的解. 因此橢圓邊值問題(1)有徑向解. 證畢.

在定理1中, 條件(H5)允許f(r,u,η)關(guān)于u,η超線性增長(zhǎng), Nagumo型增長(zhǎng)條件(H4)限制f(r,u,η)關(guān)于η至多二次增長(zhǎng).

(f(r,u2,η2)-f(r,u1,η1))(u2-u1)≤c(u2-u1)2+d(η2-η1)2.

定理2假設(shè)條件(H1)～(H3)成立. 若f滿足(H4),(H6), 則橢圓方程(1)有唯一徑向解.

證明： 對(duì)?r∈J, 令u1=η1=0,u2=u,η2=η,C=max{|f(r,0,0)|}+1, 易證(H6) ? (H5). 因此, 由定理1知, BVP(1)至少存在一個(gè)徑向解, 從而BVP(8)有解.

設(shè)v1,v2∈C1(I)∩C2(0,1]是BVP(8)的兩個(gè)解, 令v=v2-v1,h=F(v2)-F(v1), 則

v=v2-v1=Av2-Av1=S(F(v2)-F(v1))=Sh.

因此v∈C1(I)∩C2(0,1]是LBVP(13)的解, 且滿足方程

-v″(t)=a(t)(F(v2)-F(v1)),t∈(0,1],

(24)

將式(24)兩邊同乘以v(t)=v2(t)-v1(t), 由條件(H6), 有

將式(25)兩邊同時(shí)在I上積分, 由式(12)及引理2中1), 有

由引理2中2)知,v′(1)v(1)≤0, 因此由式(26), 有

例1設(shè)N≥3, 考慮球外部區(qū)域Ω={x∈N: |x|>1}上含梯度項(xiàng)的橢圓邊值問題:

(27)

對(duì)應(yīng)于BVP(1),R0=1,α=β=1, 相應(yīng)的系數(shù)函數(shù)

(28)

易見f(r,u,η)關(guān)于η二次增長(zhǎng), 滿足條件(H4). 下面驗(yàn)證f(r,u,η)滿足條件(H5).

對(duì)?(r,u,η)∈[1,∞)××+, 由式(28), 有

即f(r,u,η)滿足條件(H5). 因此, 由定理1知, 方程(27)有徑向解.