一類單調(diào)算子的新不動(dòng)點(diǎn)定理

王維娜,薛西鋒

(西北大學(xué)數(shù)學(xué)學(xué)院,陜西西安710127)

一類單調(diào)算子的新不動(dòng)點(diǎn)定理

王維娜,薛西鋒

(西北大學(xué)數(shù)學(xué)學(xué)院,陜西西安710127)

利用單調(diào)迭代法、數(shù)學(xué)歸納法以及序差距的性質(zhì),在半序Banach空間中探究不具有緊性、連續(xù)性以及任何凹凸性的單調(diào)算子不動(dòng)點(diǎn)存在以及惟一性問(wèn)題,得出其新不動(dòng)點(diǎn)定理,這些結(jié)果對(duì)相關(guān)結(jié)論進(jìn)行了推廣,使其適用范圍更廣,同時(shí)將該結(jié)論應(yīng)用于求解Volterra型積分方程組問(wèn)題中.

單調(diào)算子;正規(guī)錐;不動(dòng)點(diǎn);序差對(duì);序差距

1 引言及預(yù)備知識(shí)

對(duì)于單調(diào)算子不動(dòng)點(diǎn)的研究,現(xiàn)已有許多的結(jié)果[1-8].有些文獻(xiàn)在研究單調(diào)算子不動(dòng)點(diǎn)時(shí),要求單調(diào)算子具有某種緊性或連續(xù)性或凹凸性,文獻(xiàn)[1]利用序差的性質(zhì)及數(shù)學(xué)歸納法,文獻(xiàn)[2-7]運(yùn)用錐理論知識(shí)和單調(diào)迭代技巧,文獻(xiàn)[8]采用與以往大不相同的假設(shè)和迭代格式均研究了不具有以上條件而滿足其他某些條件的單調(diào)算子的不動(dòng)點(diǎn)存在惟一性問(wèn)題.本文在半序Banach空間中引入序差對(duì)和序差距的概念,利用單調(diào)迭代法、數(shù)學(xué)歸納法以及序差距的性質(zhì),去掉單調(diào)算子的緊性、連續(xù)性以及凹凸性,在更廣泛的條件下,得到半序Banach空間中單調(diào)算子的新不動(dòng)點(diǎn)定理,同時(shí)將其結(jié)論應(yīng)用于求解Volterra型積分方程組的問(wèn)題中,使其求解更加簡(jiǎn)便.

設(shè)E是Banach空間,P是E中的一個(gè)錐[3].

定義1.1錐P是正規(guī)的,若存在常數(shù)N>0,使得θ≤x≤y?∥x∥≤N∥y∥,且稱滿足條件的最小正數(shù)N為P的正規(guī)常數(shù).

定義1.2P是E中的錐,θ≤u≤v,對(duì)于h∈P,若?M>0,使得v≤Mh,則令

稱a?b為u和v的h-序差,并且記dh(u,v)=a?b.

定義1.3設(shè)a?b,c?d分別為u和v,r和s的h-序差,即dh(u,v)=a?b,dh(r,s)=c?d,則(dh(u,v),dh(r,s))為序差對(duì).

定義1.4稱序差對(duì)(dh(u,v),dh(r,s))到(0,0)點(diǎn)的距離為序差距,并且記為

定義1.5設(shè)E是半序空間[3],在E×E中定義新的半序關(guān)系:若x1≤x2,y1≥y2,則記(x1,y1)≤(x2,y2).

引理1.1設(shè)E是Banach空間,P為E中一個(gè)錐,則E×E在定義1.5的半序下是半序空間.

證明(i)?(x1,y1)∈E×E,都有x1≤x1,y1≥y1,即(x1,y1)≤(x1,y1).

(ii)若(x1,y1)≤(x2,y2),且(x2,y2)≤(x3,y3),則有

故有x1≤x3,y1≥y3,即(x1,y1)≤(x3,y3).

(iii)若(x1,y1)≤(x2,y2),且(x2,y2)≤(x1,y1),則有

故有x1=x2,y1=y2,即(x1,y1)=(x2,y2).

由(i),(ii),(iii)可知E×E在定義1.5的半序下是半序空間.

引理1.2設(shè)B,C:[u0,v0]→E均為增算子,令A(yù)(x,y)=(Bx,Cy),則A在≤下是增算子;若B,C:[u0,v0]→E均為減算子,則A(x,y)=(Bx,Cy)在≤是減算子.

證明對(duì)任意x1,x2,y1,y2∈[u0,v0],若(x1,y1)≤(x2,y2),即x1≤x2,y1≥y2,又因?yàn)锽,C為增算子,所以Bx1≤Bx2,Cy1≥Cy2,故有

則A為增算子.

若B,C均為減算子,當(dāng)(x1,y1)≤(x2,y2)時(shí),有Bx2≤Bx1,Cy2≥Cy1,即

則A為減算子.

2 主要結(jié)果

定理2.1設(shè)P是E中的錐,θ≤u≤v,θ≤r≤s,h∈P,且?M,L>0,使得v≤Mh, s≤Lh,那么,

(i)

(ii)d(dh(u,v),dh(r,s))=0,則u=v,r=s.

(iii)若θ≤u1≤u≤v,θ≤r1≤r≤s,則

(iv)

證明(i)因?yàn)閐h(u,v)≥0,dh(r,s)≥0,所以

又因?yàn)閐v(u,v)≤1,ds(r,s)≤1,所以

(ii)因?yàn)?/p>

要使等式成立,需滿足dh(u,v)=0,且dh(r,s)=0.又因?yàn)閐h(u,v)=0,則u=v;dh(r,s)=0,則r=s,故有u=v,r=s.

(iii)因?yàn)楫?dāng)θ≤u1≤u≤v,θ≤r1≤r≤s時(shí),有

所以

得證.

所以

又因?yàn)?k∈[0,1],有dv(kv,v)=1?k,ds(ks,s)=1?k,所以

得證.

定理2.2設(shè)P是E中的正規(guī)錐,

為增算子,其中B,C:[u0,v0]→E均為增算子,且滿足下列條件:

則A在[u0,v0]×[u0,v0]中有惟一不動(dòng)點(diǎn)(x?,y?),且對(duì)任意的初值x0,y0∈[u0,v0],迭代序列xn=Bxn?1,yn=Cyn?1(n=1,2,………),必有xn→x?,yn→y?.

證明令

由條件(i),以及B,C是增算子可知,

由條件(ii),取k∈(0,1),可得

所以,當(dāng)n→∞時(shí),

即?ε>0,?N>0,使得當(dāng)n>N時(shí),有:

令

由(3)式可得:

由P的正規(guī)性,以及(4)式可得:

所以

由(1)和(2)式可得:

由(2)和(6)式可知,

由P的正規(guī)性,以及(5)式得

故{xn},{yn}都是Cauchy列.故存在(x?,y?)∈[u0,v0]×[u0,v0],使得

由(2)和(7)式可知,

則

定理2.3設(shè)P是E中的正規(guī)錐,θ≤u0≤v0,A(x,y)=(Bx,Cy):[u0,v0]×[u0,v0]→E×E為減算子,其中B,C:[u0,v0]→E均為減算子,且滿足下列條件:

(i)u0≤Bu0,Bv0≤v0,u0≤Cu0,Cv0≤v0;

(ii)?x,y,z,w∈[u0,v0],若x≤y,z≤w,則

則A在[u0,v0]×[u0,v0]中有惟一不動(dòng)點(diǎn)(x?,y?),且對(duì)任意的初值x0,y0∈[u0,v0],迭代序列xn=Bxn?1,yn=Cyn?1(n=1,2,………),必有xn→x?,yn→y?.

證明令H(x,y)=A2(x,y)=(B2x,C2y),易驗(yàn)證H:[u0,v0]×[u0,v0]→E×E為增算子,且

?x,y,z,w∈[u0,v0],若x≤y,z≤w,由條件(ii)可知:

故定理2.2的條件(i),(ii)均滿足,所以定理2.3的結(jié)論成立.

3 應(yīng)用

研究Volterra型積分方程組解的問(wèn)題:

其中,k(t,s)在[0,1]×[0,1]上非負(fù)連續(xù),f1(t,u),f2(t,v)在[0,1]×R上非負(fù)且分別關(guān)于u,v單調(diào)遞增.設(shè)

定理3.1在以上條件下,方程組解的問(wèn)題(9)有惟一的恒正解:

并且若(x0,y0)為初始點(diǎn)作迭代序列:

則(un(t),vn(t))在P×P上一致收斂于(u?(t),v?(t)).

證明?(u,v)∈P×P,令

設(shè)A(u,v)(t)=(Bu(t),Cv(t)).由假設(shè)條件易知:P×P→E×E滿足定理2.3的條件(i),(ii).則該定理的結(jié)論成立.

[1]欒輝.非緊非連續(xù)單調(diào)算子新不動(dòng)點(diǎn)定理[J].南昌工程學(xué)院學(xué)報(bào),2012,31(6):5-7.

[2]吳焱生.一類非緊非連續(xù)增算子新不動(dòng)點(diǎn)定理及其應(yīng)用[J].贛南師范學(xué)院學(xué)報(bào),2004(6):14-16.

[3]孫經(jīng)先.非線性泛函分析及應(yīng)用[M].北京:科學(xué)出版社,2008.

[4]張金清,孫經(jīng)先.一個(gè)非連續(xù)增算子不動(dòng)點(diǎn)定理及其應(yīng)用[J].應(yīng)用數(shù)學(xué)學(xué)報(bào),2001,24(1):34-43.

[5]Wu Y S,Li G Z.On the fi xed point existence and uniqueness theorems of mixed operators monotone operators and application[J].A.M.S.,2003,46(1):161-166.

[6]Hong S H.Fixed point for mixed monotone multivalued operators in Banach spaces with applications[J]. J.Math.Anal.Appl.,2008,337:333-342.

[7]郭大鈞.非線性分析中的半序方法[M].濟(jì)南:山東科學(xué)技術(shù)出版社,2000.

[8]顏蘇平,王申林,黃翔.一類新型混合單調(diào)算子的不動(dòng)點(diǎn)定理及在工程科技中的應(yīng)用[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué), 2010,26(3):403-408.

New fi xed point theorems of the monotone operator and its application

Wang Weina,Xue Xifeng
(School of Mathematics,Northwest University,Xi′an710127,China)

In order to explore the existence and uniqueness of monotone operator without compactness,continuity,and any convex conditions fi xed points in partially ordered Banach space,the paper uses the monotone iterative method and mathematical induction as well as the properties of the sequence gaps.Then we obtained the new fi xed point theorems of it.The results obtained generalize the related conclusion,so that it can be widely applicable scope,Meanwhile the conclusion is applied to solve the problem for Volterra integral equation group.

monotone operator,normal cone, fi xed point,order di ff erence pair,sequence gaps

O177.91

A

1008-5513(2014)03-0292-07

10.3969/j.issn.1008-5513.2014.03.011

2014-01-09.

陜西省自然科學(xué)基金(2012JM1017).

王維娜(1988-),碩士生,研究方向：非線性泛函分析.

2010 MSC:47H10