江衛(wèi)華 楊彩霞
摘要:基于ORegan和Zima所研究的范數(shù)形式的Leggett-Williams定理,利用Banach空間中錐和Leray-Schauder度的性質(zhì),研究了帶有積分邊界條件的二階共振邊值問題正解的存在性。最后給出了例子驗(yàn)證所得結(jié)論。
關(guān)鍵詞:常微分方程數(shù)值解;邊值問題;共振;正解;錐;Fredholm算子
中圖分類號(hào):O175.8MSC(2010)主題分類:34B18文獻(xiàn)標(biāo)志碼:A
Existence of positive solutions of boundary value problem
with integral boundary condition at resonance
JIANG Weihua, YANG Caixia
(School of Science, Hebei University of Science and Technology, Shijiazhuang, Hebei 050018, China)
Abstract:In view of the Leggett-Williams norm-type theorem due to O'Regan and Zima, by using the properties of the cone and Leray-Schauder degree in Banach space, the existence of positive solutions of the second order boundary value problem with integral boundary condition at resonance is studied. An example is given to illustrate the main results.
Keywords:numerical solution of ordinary differential equations; boundary value problem; resonance; positive solution; cone; Fredholm operator
收稿日期:2014-12-03;修回日期:2015-05-05;責(zé)任編輯:張軍
基金項(xiàng)目:國(guó)家自然科學(xué)基金(11171088);河北省自然科學(xué)基金 (A2013208108)
作者簡(jiǎn)介:江衛(wèi)華(1964-),女,河北邯鄲人,教授,博士,主要從事應(yīng)用泛函分析、常微分方程邊值問題方面的研究。
E-mail:jianghua64@163.com
江衛(wèi)華,楊彩霞.帶積分邊界條件的共振邊值問題正解的存在性[J].河北科技大學(xué)學(xué)報(bào),2015,36(4):376-381.
JIANG Weihua, YANG Caixia.Existence of positive solutions of boundary value problemwith integral boundary condition at resonance[J].Journal of Hebei University of Science and Technology,2015,36(4):376-381.1問題提出
對(duì)常微分方程多點(diǎn)邊值問題的研究起源于BITSADZE[1],之后,許多學(xué)者研究了非線性多點(diǎn)邊值問題。對(duì)多點(diǎn)邊值問題解和正解的研究已經(jīng)取得了大量的結(jié)果[2-10]。眾所周知,相比非共振問題,求解共振邊值問題正解的存在性相關(guān)文獻(xiàn)報(bào)道比較少。
有學(xué)者利用Cremins半線性映射不動(dòng)點(diǎn)指數(shù)定理[11-12],研究了二階常微分方程3點(diǎn)共振邊值問題:(p(t)x′(t))′=f(t,x(t),x′(t)),t∈(0,1),
x′(t)=0,x(1)=x(η)(1)正解的存在性結(jié)果。INFANTE等[13]給出了如下共振多點(diǎn)邊值問題:x″(t)+f(t,x(t))=0,t∈(0,1),
x′(0)=0,x(1)=∑m-2i=1αix(ηi)(2)正解的存在性,其中0<η1<η2<…<ηm-2<1,αi>0,∑m-2i=1αi=1。
受上述文獻(xiàn)啟發(fā),考慮如下具有積分邊界條件的二階共振邊值問題:-x″(t)=f(t,x(t)),t∈[0,1],
x′(0)=0,x(1)=∫10p(t)x(t)dt(3)正解的存在性。其中p(t)≥0,且∫10p(t)dt=1。本文利用范數(shù)形式的Leggett-Williams不動(dòng)點(diǎn)定理[14],給出了正解存在的充分條件。
2預(yù)備知識(shí)
為方便讀者理解,在本部分開始,列出了一些基本知識(shí)以及在證明過程中必要的引理。
河北科技大學(xué)學(xué)報(bào)2015年第4期江衛(wèi)華,等:帶積分邊界條件的共振邊值問題正解的存在性定義1設(shè)X是實(shí)Banach空間。一個(gè)非空凸閉集合CX如果滿足:
1)λx∈C,對(duì)任何x∈C,λ≥0;
2)若x,-x∈C,則有x=θ,
則稱C為錐。
由C可得到X中的一個(gè)半序xy,當(dāng)且僅當(dāng)y-x∈C。
設(shè)X,Y是Banach空間,L:dom L X→Y是指數(shù)為零的Fredholm算子,即Im L是閉集且dim Ker L=codim Im L<∞。此時(shí)存在連續(xù)投影算子P:X→X和Q:Y→Y,使得Im P=Ker L,Ker Q=Im L。此外,由于dim Im Q=dim Ker L,因此存在同構(gòu)J:Im Q→Ker L,若限制L在Ker P∩dom L上,記為L(zhǎng)p,則它的逆算子存在,記為Kp:Im L→Ker P∩dom L。
這樣(見文獻(xiàn)[11]、文獻(xiàn)[12]、文獻(xiàn)[15]和文獻(xiàn)[16]),方程Lx=Nx等價(jià)于x=(P+JQN)x+Kp(I-Q)Nx。
引理1[17]設(shè)C為X中一個(gè)錐,則對(duì)每個(gè)u∈C\{θ},存在1個(gè)正數(shù)σ(u)使得‖x+u‖≥σ(u)‖x‖,對(duì)x∈C。
令γ:X→C為保核收縮,即γ為一連續(xù)映射,且γx=x,x∈C。并記
Ψ:=P+JQN+Kp(I-Q)N和Ψγ:=Ψγ。
定理1[14]設(shè)C為X中的錐,Ω1,Ω2為X中有界開子集,且1Ω2,C∩(2\Ω1)≠。假設(shè)L:dom LX→Y是指數(shù)為0的Fredholm算子,且
1)QN:X→Y連續(xù)有界,Kp(I-Q)N:X→X在X的任意有界子集上是緊的;
2) 對(duì)任何x∈Ω2∩dom L,λ∈(0,1),Lx≠λNx;
3) γ將2中子集映射為C中有界集;
4) dB([I-(P+JQN)γ]|Ker L,Ker L∩Ω2,0)≠0,其中dB代表Brouwer度;
5)存在u0∈C\{0}使得x∈C(u0)∩Ω1,都有‖x‖≤σ(u0)‖Ψx‖,其中C(u0)={x∈C:μu0x,μ>0},σ(u0)滿足對(duì)x∈C,不等式‖x+u0‖≥σ(u0)‖x‖ 都成立;
6)(P+JQN)γ(Ω2)C;
7)Ψγ(2\Ω1)C。
則方程Lx=Nx在C∩(2\Ω1)中有1個(gè)解。
為表達(dá)簡(jiǎn)單,令G(t,s):=(1-s)22-(t-s)+5+3t23(1-∫10t2p(t)dt)[(1-s)-∫1s(t-s)p(t)dt],0≤s≤t≤1,
(1-s)22+5+3t23(1-∫10t2p(t)dt)[(1-s)-∫1s(t-s)p(t)dt],0≤t
令κ:=min1maxt,s∈(0,1)G(t,s),1-∫10t2p(t)dtmaxt,s∈[0,1]2[(1-s)-∫1s(t-s)p(t)dt],顯然κ<1。
3主要結(jié)論
定理2設(shè)存在R∈(0,∞)使得f:[0,1]×[0,R]→R連續(xù)且
H1)f(t,x)>-κx,對(duì)任何(t,x)∈[0,1]×[0,R],
H2)f(t,R)<0,對(duì)任何t∈[0,1] ,
H3)存在r∈(0,R),t0∈[0,1],a∈(0,1],M∈(0,1)和連續(xù)函數(shù)g:[0,1]→[0,∞),h:(0,r]→[0,∞)使得對(duì)[t,x]∈[0,1]×(0,r],總有f(t,x)≥g(t)h(x),且h(x)/xa在(0,r]上非增并滿足:h(r)r∫10G(t0,s)g(s)ds≥1-MMa,則邊值問題(3)在[0,1]上至少有1個(gè)正解。
證明考慮Banach空間X=Y=C[0,1]及范數(shù)‖x‖=maxt∈[0,1]|x(t)|,定義線性算子L:dom LX→Y,Lx=-x″(t),t∈[0,1],其中:dom L={x∈X|x″(t)∈C[0,1],x′(0)=0,x(1)=∫10p(t)x(t)dt}。定義算子N:X→Y且(Nx)(t)=f(t,x(t)),t∈[0,1]。
顯然有Ker L={x∈dom L:x(t)=c,t∈[0,1]}且Im L={y∈Y:∫10[(1-s)-∫1s(t-s)p(t)dt]y(s)ds=0},顯然,dim Ker L=1,Im L是閉集。
定義投影算子P:X→X,Q:Y→Y分別為
Px(t)=∫10x(t)dt,Qy(t)=21-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]y(s)ds。容易驗(yàn)證Im P=Ker L,Ker Q=Im L且Ker P={x∈X:∫10x(s)ds=0}。
y∈Y,有y=y-Qy+Qy,Q(y-Qy)=Qy-Q2y=0,即y-Qy∈Ker Q,所以有Y=Ker Q+Im Q=Im L+Im Q。y∈Im L∩Im Q,由y∈Im Q,知y=c(常數(shù)), 又y=c∈Im L,有∫10[(1-s)-∫1s(t-s)p(t)dt]cds=0,而∫10[(1-s)-∫1s(t-s)p(t)dt]ds≠0,所以c=0,Im Q∩Im L={0},從而Y=Im QIm L。由于dim Im Q=1,因此codim Im L=1。所以L是指數(shù)為0的Fredholm算子。
對(duì)任一y∈Im L,Lp的逆算子Kp由下式給出:
(Kp)y=∫10k(t,s)y(s)ds,
其中:
k(t,s)=(1-s)22,0≤t
(1-s)22+s-t,0≤s≤t≤1,
考慮到f可連續(xù)延拓至[0,1]×(-∞,+∞),因此定理1中條件1)成立。
定義錐C={x∈X:x(t)≥0,t∈[0,1]}。
令Ω1={x∈X:r>|x(t)|>M‖x‖,t∈[0,1]}和Ω2={x∈X:‖x‖ 容易驗(yàn)證Ω1,Ω2為有界開集。 此外,C∩(2\Ω1)≠。定義同構(gòu)J:Im Q→Ker L為J=I,算子γ:X→C為(γx)(t)=|x(t)|,x∈X。在此定義下,γ是一個(gè)保核收縮且將2中子集映射為C中有界子集,這說明定理1中條件3)成立。 下面說明定理1的條件2)成立。為此,假設(shè)存在x0∈C∩Ω2∩dom L以及λ0∈(0,1)使得Lx0=λ0Nx0,即對(duì)t∈[0,1]有: x″0(t)+λ0f(t,x0)=0, 設(shè)t1∈[0,1]滿足x0(t1)=R,有:
0≥x″0(t1)=-λ0f(t1,x0(t1))
與條件H2)矛盾,所以定理1的條件2)成立。
下面證明條件4)成立。
對(duì)x∈Ker L∩Ω2,有x(t)=c,t∈[0,1],定義H(c,λ)=c-λ|c|-2λ1-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,|c|)ds,其中c∈[-R,R],λ∈[0,1]。
假設(shè)H(c,λ)=0,則:c=λ|c|+2λ1-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,|c|)ds≥
λ|c|-2λκ|c|1-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]ds≥0,如果H(R,λ)=0,即R-λR-2λ1-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,R)ds=0,因此有:
0≤(1-λ)R=2λ1-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,R)ds,
與條件H2)矛盾。
對(duì)x∈Ω2∩Ker L,λ∈[0,1],有H(R,λ)≠0,因此有dB(H(c,0),Ker L∩Ω2,0)=dB(H(c,1),Ker L∩Ω2,0)。然而dB(H(c,0),Ker L∩Ω2,0)=dB(I,Ker L∩Ω2,0)=1。所以有:
dB([I-(P+JQN)γ]|Ker L,Ker L∩Ω2,0)=dB(H(c,1),Ker L∩Ω2,0)≠0。
對(duì)于x∈Ω2有:
(P+JQN)γ(x)=∫10|x(s)|ds+21-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,|x(s)|)ds≥
∫10(1-2κ1-∫10t2p(t)dt[(1-s)-∫1s(t-s)p(t)dt])|x(s)|ds≥0,
因此定理1中條件6)成立。設(shè)x∈2\Ω1,t∈[0,1],則有:
(Ψγ)(x)=∫10|x(s)|ds+21-∫10t2p(t)dt∫10[(1-s)-∫1s(t-s)p(t)dt]f(s,|x(s)|)ds+
∫10k(t,s){f(s,|x(s)|)-21-∫10t2p(t)dt∫10[(1-τ)-∫1τ(t-τ)p(t)dt]f(τ,|x(τ)|)dτ}ds=
∫10|x(s)|ds+∫10G(t,s)f(s,|x(s)|)ds。
由條件H1)可得:
(Ψγ)(x)≥∫10|x(s)|ds-κ∫10G(t,s)|x(s)|ds=∫10(1-κG(t,s))|x(s)|ds≥0,
因此定理1中的條件7)成立。
最后,證明定理1中條件5)成立。
取u0(t)≡1,t∈[0,1],顯然有u0∈C\{0},C(u0)={x∈C|x(t)>0,t∈[0,1]}。
取σ(u0)=1,設(shè)x∈C(u0)∩Ω1,有x(t)>0,t∈[0,1],0<‖x‖≤r,x(t)≥M‖x‖,t∈[0,1]。
考慮到條件H3),對(duì)所有x∈C(u0)∩Ω1,
(Ψx)(t0)=∫10x(s)ds+∫10G(t0,s)f(s,x(s))ds≥
M‖x‖+∫10G(t0,s)g(s)h(x(s))ds=
M‖x‖+∫10G(t0,s)g(s)h(x(s))xa(s)xa(s)ds≥
M‖x‖+h(r)ra∫10G(t0,s)g(s)xa(s)ds≥
M‖x‖+h(r)ra∫10G(t0,s)g(s)Ma‖x‖ads≥
M‖x‖+(1-M)‖x‖=‖x‖。
所以對(duì)于x∈C(u0)∩Ω1,有‖x‖≤σ(u0)‖Ψx‖,即定理1中條件5)成立。由定理1可知,方程Lx=Nx在C∩(2\Ω1) 中有1個(gè)解。
4例子
考慮如下共振邊值問題:x″(t)+-t22+t2+12(x2-4x+3)x2-8x+17=0,t∈[0,1],
x′(0)=0,x(1)=∫10x(t)dt,(4)取p(t)=1>0,顯然∫10p(t)dt=1,滿足條件。通過簡(jiǎn)單計(jì)算,得到κ=613,∫10G(0,s)ds=2318。取R=98,r=12,t0=0,a=1,M=12及g(t)=-t22+t2+12,h(x)=x2-8x+17,易知:12≤g(t)≤58,t∈[0,1]。
容易驗(yàn)證:
A1)f(t,x)>-613x,對(duì)任意[t,x]∈[0,1]×0,98;
A2)f(t,R)<0,對(duì)任意t∈[0,1];
A3)f(t,x)≥g(t)h(x)對(duì)任意[t,x]∈[0,1]×0,12并且有h(x)x=x2-8x+17x在0,12上非增,h(r)r∫10G(0,s)g(s)ds≥532∫10G(0,s)ds=532×2318≥1=1-MMa。
滿足定理2的所有條件,因此,邊值問題(4)在[0,1]上至少有1個(gè)正解。
參考文獻(xiàn)/References:
[1]BITSADZE A V, SAMARSKIA A. Some elementary generalizations of linear elliptic boundary value problems[J]. Doklal Akad Nauk SSSR,1969,185:739-742.
[2]MOISEEV E I, ILIN V A. Nonlocal boundary value problem of the second kind for a Sturm-Liouville operator[J]. Differential Equations,1987,23:979-987.
[3]MA Ruyun. Positive solutions of a nonlinear three-point boundary value problem[J]. Electron Journal of Differential Equations,1999,34:1-8.
[4]YANG Liu, LIU Xiping, JIA Mei. Multiplicity results for second-order m-point boundary value problem [J]. Journal of Mathematical Analysis and Applications, 2006,324(1):532-542.
[5]HAN Xiaoling. Positive solutions for a three-point boundary value problem at resonance [J]. Journal of Mathematical Analysis and Applications,2007,336(1):556-568.
[6]MA Ruyun. Multiplicity results for a three-point boundary value problem at resonance[J]. Nonlinear Analysis, 2003,53(6):777-789.
[7]HENDERSON J. Double solutions of three-point boundary-value problems for second-order differential equations [J].Electron Journal of Differential Equations, 2004,115:1-7.
[8]AGARWAL R P, OREGAN D. Some new existence results for differential and integral equations[J].Nonlinear Anal,1997,29(6):679-692.
[9]ZHANG Guowei, SUN Jingxian. Positive solutions of m-point boundary value problems [J]. Journal of Mathematical Analysis and Applications, 2004,291(2):406-418.
[10]江衛(wèi)華,劉秀君,宗慧敏.具有共振的分?jǐn)?shù)階微分方程邊值問題解的存在性[J].河北科技大學(xué)學(xué)報(bào),2014,35(6):518-523.
JIANG Weihua,LIU Xiujun,ZONG Huimin.Existence of solutions for fractional differential equation boundary value problems at resonance[J].Journal of Hebei University of Science and Technology,2014,35(6):518-523.
[11]BAI Chuanzhi, FANG Jinxuan. Existence of positive solutions for three-point boundary value problems at resonance[J].Journal of Mathematical Analysis and Applications,2004,291(2): 538-549.
[12]CREMINS C T. A fixed-point index and existence theorems for semilinear equations in cones[J]. Nonlinear Anal,2001,46:789-806.
[13]INFANTE G, ZIMA M. Positive solutions of multi-point boundary value problems at resonance[J]. Nonlinear Anal,2008,69:2458-2465.
[14]OREGAN D, ZIMA M. Leggett-Williams norm-type theorems for coincidences[J]. Archlv der Mathematlk, 2006,87(3):233-244.
[15]MAWHIN J. Equivalence theorems for nonlinear operator equations and coincidence degree theory for mappings in locally convex topological vector spaces [J].Differential Equations, 1972,12:610-636.
[16]ZIMA M. Fixed point theorem of Leggett-Williams type and its application [J].Journal of Mathematical Analysis and Applications,2004,299(1):254-260.
[17]PETRYSHYN W V. On the solvability of in quasinormal cones with and k-set contractive[J]. Nonlinear Anal,1981,5(5):585-591.第36卷第4期河北科技大學(xué)學(xué)報(bào)Vol.36,No.4