錐Banach空間中多個自映射的公共不動點定理

張　弘，薛西鋒

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

?

·數(shù)理科學(xué)·

錐Banach空間中多個自映射的公共不動點定理

張弘，薛西鋒

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

研究在錐Banach空間中，多個弱相容的自映射在滿足特定壓縮條件下，通過構(gòu)造迭代序列，并證明序列收斂性，得到此類算子具有唯一的公共不動點，豐富了壓縮映像的不動點理論。

錐Banach空間； 錐賦范空間； 弱相容； 公共不動點； 疊合點

1922年,Banach提出著名的壓縮映像原理[1],后來很多學(xué)者給出多種壓縮映像,并證明了壓縮映像不動點理論。1996年,Junck定義了兩個自映射弱相容的概念[2],2006年,Junck和Rhoades證明了在度量空間中,兩個弱相容的自映射存在公共不動點[3]。2007年黃龍光和張憲在文獻(xiàn)[4]中用序Banach空間取代實數(shù),引入錐度量空間,討論了序列的收斂性,并證明在完備的錐度量空間中算子T:X→X在滿足某些特定壓縮條件下,存在唯一的不動點。后來,一些學(xué)者通過省略正規(guī)錐的條件[5]或去掉映射連續(xù)性的條件[6],證明錐度量空間中的不動點存在性理論。文獻(xiàn)[7-14]都證明了錐度量空間中多個弱相容的自映射存在公共不動點的理論。這些成果都更加豐富了錐度量空間中的不動點理論。近些年,許多學(xué)者將錐度量空間中的不動點理論推廣到錐Banach空間[15-17]。如E.karaplnar證明了錐Banach空間中,設(shè)d:X×X→E,令d(x,y)=‖x-y‖p,若T:C→C(C?E)滿足ad(Tx,Ty)+b(d(x,Ty)+d(y,Ty))≤sd(x,y), x, y∈C,則T至少存在一個不動點。本文研究了在錐Banach空間中兩個和三個自映射滿足給定的壓縮條件下, 存在唯一的公共不動點,其結(jié)果發(fā)展和推廣了前人的成果。

1　預(yù)備知識

定義1[4]設(shè)E是實的Banach空間,P1是E的子集, 當(dāng)P1滿足下列條件,稱P1為錐

(i)P1是非空閉集, 且P1≠{0};

(ii)a,b∈R,a,b≥0,x,y∈P1?ax+by∈P1;

(iii)P1∩(-P1)={0}。

給定錐P1?E,由錐P1可導(dǎo)出E中的偏序關(guān)系“≤”,“<”,“?”。x,y∈E, x≤ y表示y-x∈P1;x

如果存在常數(shù)N>0,對任意的x, y∈E,使得θ ≤ x ≤ y?‖x‖≤N‖y‖則稱P1為正規(guī)錐,稱滿足該不等式的最小常數(shù)N為P1的正規(guī)常數(shù)。

定義2[4]設(shè)X為非空集合, d:X×X→E, 滿足下列條件:

(i)?x, y∈X, d (x, y) ≥0, d(x, y)=0?x=y;

(ii)?x, y∈X, d (x,y)=d (y, x);

(iii)?x, y, z∈X,d(x,y)≤d(x,z)+d(y,z)，

則稱d為X上的一個錐度量或者錐距離,(X, d)為錐度量空間或者錐距離空間。

定理1[4]設(shè)(X,d)是錐度量空間,且{xn}是X中的序列,P是具有正規(guī)常數(shù)K的正規(guī)錐,{xn}是Cauchy列當(dāng)且僅當(dāng)d(xn,xm)→0(m,n→∞)。

定義3[18]設(shè)X是R上的向量空間,設(shè)映射‖·‖p:X→E滿足:

(a)?x∈X,‖x‖P> 0;

(b)‖x‖P=0?x=0;

(c)?x, y∈X,‖x+y‖P≤‖x‖P+‖y‖P;

(d)?k∈R,‖kx‖P=|k|‖x‖P，

則稱‖·‖P是X的錐范數(shù),(X,‖·‖P)稱作錐賦范空間。

每個錐賦范空間都是錐度量空間,d(x,y)=‖x-y‖p。

定義4[19]設(shè)(X,‖·‖P)是錐賦范空間, x∈X且{xn}n ≥1?X,

(ii)若對任意的c∈E且c?0,存在N,使得對任意m,n≥N,都有‖xm-xn‖P≤c,則{xn}n ≥1稱為X中的Cauchy列;

(iii)若每一個Cauchy列都是收斂的,則(X,‖·‖P)稱作完備的錐賦范空間。

完備的錐賦范空間稱作錐Banach空間。

引理1[18]設(shè)(X,‖·‖P)是錐賦范空間,P是具有正規(guī)常數(shù)K的正規(guī)錐,{xn}?X,則

(i){xn}→x當(dāng)且僅當(dāng)‖xn-x‖P→0(n→∞);

(ii){xn}是Cauchy列當(dāng)且僅當(dāng)‖xn-xm‖P→0(m, n→∞);

(iii){xn}→x,{yn}→y,則‖xn-yn‖P→‖x-y‖P。

定義5[19]設(shè)X是非空集合,映射f,g:X→X,若存在x∈X使得w=fx=gx,則稱w∈X是f和g的疊合點。

定理2[20]設(shè)X是非空集合, 映射f, g:X→X稱為弱相容的,對任意u∈X,如果fu=gu,都有fgu=gfu成立。

定理3[21]設(shè)X是非空集合, 映射f, g:X→X弱相容,若f和g有唯一的疊合點, 即w=fx=gx,則w是f和g的唯一公共不動點。

2　主要結(jié)果

定理4設(shè)C是錐Banach空間X的凸閉集, P是具有正規(guī)常數(shù)K的正規(guī)錐,‖x‖P是C在X上的錐范數(shù), d:X×X→E,d(x,y)=‖x-y‖p,映射f, g:C→C滿足對任意的x, y∈C有‖fx-fy‖≤α(‖gx-fy‖+‖gy-fx‖)+γ‖gx-gy‖成立。其中α,γ∈[0,1)且2α+γ<1,假設(shè)f(X)?g(X),g(X)是X的完備子空間, f, g連續(xù)且弱相容,則它們有唯一的公共不動點。

證 明設(shè)x0為X中任意一點,因為f(x0)∈f(X)?g(X),所以存在x1∈X滿足f(x0)=g(x1),令y1=f (x0)=g(x1),又f(x1)∈f(X)?g(X),所以存在x2∈X滿足f(x1)=g(x2),令y2=f(x1)=g(x2),依此類推,得到{yn}?X,有yn=f (xn-1)=g(xn)(n=0,1,2,…)。

‖yn-yn-1‖=‖fxn-1-fxn-2‖≤

α(‖gxn-1-fxn-2‖+‖gxn-2-fxn-1‖)+

γ‖gxn-1-gxn-2‖=

α (‖yn-1-yn-1‖+‖yn-2-yn‖)+

γ‖yn-1-yn-2‖≤

α‖yn-yn-1‖+α‖yn-1-yn-2‖+

γ‖yn-1-yn-2‖，

‖yn-yn-1‖≤λ‖yn-1-yn-2‖≤

λ2‖yn-2-yn-3‖≤…≤λn-1‖y1-y0‖，

對任意的m,n且m

‖yn-ym‖≤‖yn-yn-1‖+

‖yn-1-yn-2‖+…+

‖ym+1-ym‖≤

(λn-1+λn-2+…+λm)‖y1-y0‖≤

因為f, g是連續(xù)的, 所以f2(xn)→f (z), g2(xn)→g (z), gf (xn)→g (z), fg (xn)→

f(z)

下面證f (z)=g(z)

‖f2(xn)-gf (xn)‖=

‖f2(xn)-fg (xn)‖≤

α(‖gf (xn)-fg (xn)‖+

‖g2(xn)-f2(xn)‖)+

γ‖gf (xn)-g2(xn)‖=

α‖g2(xn)-f2(xn)‖+

γ‖gf (xn)-g2(xn)‖。

令n→∞,得到‖f (z)-g(z)‖≤α‖g (z)-f (z)‖+γ‖g(z)-g (z)‖，所以(1-α)‖f (z)-g(z)‖≤0,因為1-α>0, 所以‖f (z)-g(z)‖=0, 所以f (z)=g(z),所以z是f和g的疊合點。

下面證明唯一性。

假設(shè)z1是f, g的另一個疊合點, f (z1)=g(z1)。

‖f (z)-f (z1)‖≤

α(‖g (z)-f (z1)‖+‖g(z1)-f (z)‖)+

γ‖g(z)-g(z1)‖=α(‖f (z)-f (z1)‖+

‖f (z1)-f (z)‖)+γ‖f (z)-f(z1)‖。

因為1-2α-γ>, 所以‖f (z)-f (z1)‖=0, 所以f (z1)=g(z1), 所以f (z)=g(z)=

f (z1)=g(z1)，所以z是f, g的唯一疊合點。

又因為f, g是弱相容的,由定理3知, z是f, g的唯一公共不動點。

推論1設(shè)C是錐Banach空間的凸閉集,P是具有正規(guī)常數(shù)M的正規(guī)錐,‖·‖P是C在X上的錐范數(shù)d:X×X→E, d(x,y)=‖x-y‖p, 映射f, g:C→C滿足對任意x, y∈C，‖fx-fy‖≤α‖gx-fy‖+β‖gy-fx‖+γ‖gx-gy‖成立。其中α, β,γ∈[0,1)且α+β+γ<1,假設(shè)f(X)?g(X), g(X)是X的完備子空間, f, g連續(xù)且弱相容,則f, g具有唯一的公共不動點。

引理2設(shè)X是非空集合, f, g, T是X中的自映射,v是它們的疊合點, 若(f, T)弱相容,(g,T)弱相容,則f, g,T具有唯一的公共不動點。

證 明因為v是f,g,T的疊合點,所以fu=gu=Tu,u∈X,因為(f,T)是弱相容的,則fv=fTu=Tfu=Tv,(g,T)是弱相容的, gv=gTu=Tgu=Tv,所以fv=gv=Tv=w,所以w是f, g,T的疊合點,v=w,因為疊合點唯一, 所以v是f,g,T的的唯一公共不動點。

定理5設(shè)C是錐Banach空間的凸閉集,P是具有正規(guī)常數(shù)M的正規(guī)錐,‖·‖P是C的錐范數(shù), d:X×X→E, d(x,y)=‖x-y‖p, 映射f, g,T:C→C滿足對任意x,y∈C都有‖fx-gy‖≤α‖Tx-fx‖+β‖Ty-gy‖+γ‖Tx-Ty‖。其中α+β+γ<1, 假設(shè)f (X)∪g(X)?T(X), T(X)是X的完備子空間, 且(f,T)弱相容,(g, T)弱相容,則f, g, T具有唯一公共不動點。

證 明對?x0∈X, 因為 f (x0)∈f(X)?T(X), 所以存在x1∈X, 使得Tx1=fx0, 對?x1∈X, 因為g(x1)∈g(X)?T(X), 所以存在x2∈X, 使得Tx2=gx1, 依此類推, 得到Tx2k+1=fx2k, Tx2k+2=gx2k+1, {Txn}是以x0為初始點的序列。

‖Tx2k+1-Tx2k+2‖=‖fx2k-gx2k+1‖≤

α‖Tx2k-fx2k‖+β‖Tx2k+1-

gx2k+1‖+γ‖Tx2k-Tx2k+1‖≤

(α+γ)‖Tx2k-Tx2k+1‖+

β‖Tx2k+1-Tx2k+2‖，

所以

(1-β)‖Tx2k+1-Tx2k+2‖≤

(α+γ)‖Tx2k-Tx2k+1‖，

所以

‖Tx2k+1-Tx2k+2‖≤

‖Tx2k+2-Tx2k+3‖=

‖gx2k+1-fx2k+2‖=

‖fx2k+2-gx2k+1‖≤

α‖Tx2k+2-fx2k+2‖+

β‖Tx2k+1-gx2k+1‖+

γ‖ Tx2k+2-Tx2k+1‖=

α‖Tx2k+2-Tx2k+3‖+

β‖Tx2k+1-Tx2k+2‖+

γ‖Tx2k+1-Tx2k+2‖，

所以‖Tx2k+2-Tx2k+3‖≤

所以對每一個k=0,1,2,…，有

‖Tx2k+1-Tx2k+2‖≤

而

‖Tx2k+2-Tx2k+3‖≤

‖Tx2m+1-Tx2n+1‖≤

‖Tx2m+1-Tx2m+2‖+

‖Tx2m+2-Tx2m+3‖+…+

‖Tx2n-1-Tx2n‖+‖Tx2n-Tx2n+1‖≤

同理

‖Tx2m-Tx2n+1‖≤

‖Tx2m-Tx2n‖≤

‖Tx2m+1-Tx2n‖≤

所以對所有的0< m< n，

因為P是正規(guī)錐,所以

‖Txn-Txm‖≤

所以{Txn}是Cauchy列。

因為T(X)是完備的子空間, 則存在u,v∈X, 使得Txn→v=Tu,

‖Tu-fu‖≤

‖Tu-Tx2n‖+‖Tx2n-fu‖≤

‖v-Tx2n‖+‖fu-gx2n-1‖≤

‖v-Tx2n‖+α‖Tu-fu‖+

β‖Tx2n-1-gx2n-1‖+γ‖Tu-Tx2n-1‖，

所以

‖Tu-fu‖≤

γ‖Tu-Tx2n-1‖)=

γ‖v-Tx2n-1‖)。

同理可證Tu=gu。

下證唯一性。

假設(shè)v*是f,g,T的另一個疊合點v*=fu*=gu*=Tu*, u*∈X,‖v-v*‖=‖fu-gu*‖≤α‖Tu-fu‖+β‖Tu*-gu*‖+γ‖Tu-Tu*‖≤γ‖Tu-Tu*‖, 所以v=v*因為(f, T)弱相容, (g, T)弱相容, 由引理2知v是f, g, T的唯一公共不動點。

[1]BANACH S. Sur les opération dans les ensembles abstraits etleur application auxéquations intégrales[J].Fundamenta Math,1922,13:133-181.

[2]JUNGCK G.Common fixed points for noncontinuous nonself maps on nonmetric spaces[J].Far East J Math Sci,1996,4(2):199-215.

[9]UNGCK G, RHOADES B E.Fixed point theorems for occasionally weakly compatible mappings[J].Fixed Point Theory,2006,7(2):287-296.

[4]HUANG L G, ZHANG X. Cone metric spaces and fixed point theorems of contractive mapping[J].J Math Anal Appl,2007,332(2):1468-1476.

[5]REZAPOUR S H, HAMLBARANI R. Some notes on the paper "Cone metric space and fixed point theorems of contravtive mapping" mapping[J]. J Math Anal Appl,2008,345:719-724.

[6]ABBS M, JUNGCK G.Common fixed point results for noncommuting mappings without continuity in cone metric space[J].J Math Anal Appl,2008,341:416-420.

[7]CHOUDHURY B S, METIYA N. The point of coincidence and common fixed point for a pair of mappings in Cone me-tric spaces[J].Comput Math Appl,2010,60(6):1686-1695.

[8]BARI C D, VETRO P.Common fixed points in cone metr-ic space for MK-pairs and L-pairs[J].Ars Comb,2011,99:429-437.

[9]BARI C D, SAADATI R, VETRO P. Common fixed points in cone metric spaces for CJM-pair[J].Math Comput Modelling,2011,54(9-10):2348-2354.

[10] VETRO P. Common fixed points in cone metric spaces[J].Rend Circ Mat Palermo, 2007,56(3):464-468.

[11] KARAPINAR E. Couple fixed point on cone metric spaces[J].Gazi University Journal of Science,2011,24(1):51-58.

[12] PRUDHVI K. Common fixed points in cone metric spaces[J].American Journal of Mathematical Analysis,2013,1(2):25-27.

[13] RADENOVIC S. Common fixed points under contractive conditions in cone metric spaces[J].Computers and Mathematics with Applications,2009,58:1273-1278.

[14] ALTUN I,DURMAZ G. Some fixed point theorems on ordered cone metric spaces[J].Rend Circ Mat Palermo,2009,58:511-515.

[15] KARAPINAR E. Some fixed point theorems on the cone Banach space,Proc[C]∥7 ISAAC Congress,World Scientific,2011:606-612.

[16] TURKOGLU D, ABULOHA M, ABDELJAWAD T.Some theorems and examples of cone Banach spaces[J].J Comput Anal Appl,2010,12(4):739-753.

[17] VARGHESE P G, DERSANAMBIKA K S. Common fixed point theorem on cone Banach space[J].Kathmandu University Journal of Science Engineering and Technology,2013,9(1):127-133.

[18] KARAPINAR E. Fixed point theorems in cone Banach space[J].Fixed Point Theory and Application,2009，609281：1-9.

[19] MALVIYA N. Proving Fixed Point Theorems Using General Principles in cone Banach spaces[J].International Mathematical Forum,2011,6(3):115-123.

[20] JHA K. A common fixed theorem in a cone metric space.Kathmandu University Journal of Science[J].Engineering and Technology,2009,5(1):1-5.

[21] JUNGCK G, RHOADES B E. Fixed point for set valued functions without continuity[J].Indian J Pure Appl Math,1998,29(3):227-238.

(編輯亢小玉)

Common fixed point of several self-mappings in cone Banach space

ZHANG Hong， XUE Xi-feng

(Department of Mathematics, Northwest University, Xi′an 710127， China)

The aim of this paper is to study several weakly compatible mappings in cone Banach space, satisfying some certain contractive conditions,with establishing iterative sequence and proving the sequence to converge. Several weakly compatible self-mappings have the unique common fixed point. The results extend the known achievements and make them have a rich application.

cone Banach space; cone normed space; weakly compatible mappings; common fixed point; coincidence point

2015-10-10

陜西省自然科學(xué)基金資助項目(2012JM1017)

張弘，女，陜西渭南人，從事非線性泛函分析研究。

薛西鋒，男，陜西渭南人，西北大學(xué)教授，從事非線性泛函分析研究。

O177.91

A

10.16152/j.cnki.xdxbzr.2016-02-001