劉麗亞,谷 峰

(杭州師范大學應用數(shù)學研究所，杭州師范大學理學院，杭州 浙江 310036)

b-度量空間中的一類平方型Φ-壓縮映象的公共不動點定理

劉麗亞,谷 峰

(杭州師范大學應用數(shù)學研究所，杭州師范大學理學院，杭州 浙江 310036)

利用b-度量空間中自映象對相容和弱相容條件,討論了b-度量空間中一類平方型Φ-壓縮映象公共不動點的存在性與唯一性問題,證明了一個新的公共不動點定理，改進和推廣了某些已知結果.

b-度量空間; 相容映象對; 弱相容映象對; 平方型Φ-壓縮映象; 公共不動點

1 引言和預備知識

在度量空間的框架下,張石生[1]和谷峰[2]研究了一類Φ-擴張型映象,在映象對可交換和相容的條件下,分別得到了3個映象和4個映象的公共不動點定理.后來,谷峰與何振華[3]討論了一類Φ-壓縮型映象的公共不動點問題,獲得了一個新的公共不動點定理.本文受上述文獻的啟發(fā),將問題放在由Czerwik[4]所提出的b-度量空間中加以考慮.我們在b-度量空間中研究了涉及4個映象的一類平方型Φ-壓縮映象,在適當?shù)臈l件下證明了一個新的公共不動點定理.由于b-度量空間包含一般的度量空間為特例,因此,該結果本質(zhì)的改進和發(fā)展了前人的一些已知結果.

定義1[4]設X是一非空集,s≥1是一個給定的實數(shù).稱函數(shù)d:X×X→R+是集合X上的一個b-度量.若對?x,y,z∈X,有以下條件滿足：

(b1)d(x,y)=0?x=y; (b2)d(x,y)=d(y,x); (b3)d(x,z)≤s[d(x,y)+d(y,z)].

這時，稱(X,d)是一個b-度量空間,稱實數(shù)s為b-度量空間(X,d)的系數(shù).

注1 度量空間一定是b-度量空間(s=1),反之,b-度量空間不一定是度量空間.反例可見文獻[5].

定義2[6]設(X,d)是一個b-度量空間,點列{xn}?X.

注2[7]在b-度量空間中:(i)收斂點列的極限是唯一的;(ii)每個收斂點列都是柯西列;(iii)一般情況下,b-度量不一定是連續(xù)的.

定義3[6]若b-度量空間(X,d)上每個Cauchy列都收斂,則稱此b-度量空間為完備的b-度量空間.

引理1[8]設(X,d)是具有參數(shù)s≥1的b-度量空間,{xn}·{yn}?X分別收斂于X中的兩點x和y.則有

定義5[10]集合X上的自映象對(f,g)稱為是弱相容的,如果

{t∈X:f(t)=g(t)}?{t∈X:fg(t)=gf(t)}

定義6[1]稱函數(shù)Φ滿足條件(Φ),如果函數(shù)Φ滿足以下條件:

(Φ):Φ:[0,∞)→[0,∞)是連續(xù)的和對t不減的,且Φ(t)0.

(i)mi>ni+1,ni→∞(i→∞);(ii)d(ymi,yni)>ε0;d(ymi-1,yni)≤ε0,i=1,2,3,….

證明 與文獻[1]中引理7.4.4的證明完全類同,這里略去.

2 主要結果

定理1 設S,T,A,B是完備b-度量空間(X,d)中的4個自映象,且滿足以下條件:

(i)S(X)?B(X),T(X)?A(X);(ii)?x,y∈X,有

其中Φ滿足條件(Φ).如果以下條件之一被滿足,則S,T,A,B有唯一公共不動點.

1)S,A之一連續(xù),且(S,A)相容,(T,B)弱相容;2)T,B之一連續(xù),且(S,A)弱相容,(T,B)相容;3)A,B之一為滿射,且(S,A)和(T,B)都弱相容.

證明 任取x0∈X,因S(X)?B(X),T(X)?A(X),故存在{xn},{yn}?X,使得

y2n=Sx2n=Bx2n+1,y2n+1=Tx2n+1=Ax2n+2,n=0,1,2,3,…

下證

露骨料透水混凝土是由粗骨料、高標號水泥、水、強化劑、外加劑等經(jīng)一定比例調(diào)配拌制而成的一種多孔輕質(zhì)的新型環(huán)保地面鋪裝材料。與傳統(tǒng)混凝土相比，透水混凝土多采用單粒徑的粗骨料作為混凝土的主體，配以水泥凈漿或者少量細骨料砂漿作為粘接劑，包裹在粗骨料顆粒的表面，形成孔隙均勻分布的蜂窩狀結構，結構模型如圖1所示。普通混凝土結構模型如圖2所示。

(1)

事實上,由條件(ii)可知

(2)

如果d(y2n-2,y2n-1)0(否則有d(y2n-2,y2n-1)<0,矛盾).于是由式(2)和定義6得

出現(xiàn)矛盾,因此必有d(y2n-1,y2n)≤d(y2n-1,y2n-2)成立.于是,從Φ的遞增性和式(2)可得

下面證明{yn}是X中的Cauchy列.若不然,由引理4知,必存在某一ε0>0和正整數(shù)列{mi},{ni},使得:(a)mi>ni+1,ni→∞(i→∞);(b)d(ymi,yni)>ε0,d(ymi-1,yni)≤ε0,i=1,2,3,….

則由三角不等式和(b)得

d(ymi,yni)≤sd(ymi,ymi-1)+sd(ymi-1,yni)≤sd(ymi,ymi-1)+sε0.

(3)

d(ymi+1,yni)≤sd(ymi+1,ymi-1)+sd(ymi-1,yni)≤s2d(ymi+1,ymi)+s2d(ymi,ymi-1)+sε0.

(4)

sd(ymi,ymi-1)+s2ε0+s2d(yni,yni+1).

(5)

d(ymi-1,yni+1)≤sd(ymi-1,yni)+sd(yni,yni+1)≤sε0+sd(yni,yni+1).

(6)

在式(3)(4)(5)和(6)兩端取上極限,并利用式(1)得

(7)

(8)

(9)

(10)

再由三角不等式和(b)得ε0

sd(ymi,ymi+1)+s2d(ymi+1,yni+1)+s2d(yni+1,yni).

(11)

ε0

(12)

在式(11)(12)兩端取上極限,并利用式(1)得

(13)

(14)

下面分4種情況進行討論.

(I)當mi為偶數(shù),ni為奇數(shù)的情形.此時由條件(ii)有

于上式兩端各項取上極限,并利用式(1)(7)(8)(9)(13)和Φ(t)的性質(zhì),得

此為矛盾.

(II)當mi,ni都為偶數(shù)的情形.此時由條件(ii)有

于上式兩端各項取上極限,并利用式(1)(7)(10)(14)(b)和Φ(t)的性質(zhì),得

此為矛盾.

(III)當mi,ni同為奇數(shù),(IV)mi為奇數(shù),ni為偶數(shù)的情形,與(I)和(II)同理可引出類似的矛盾.這些矛盾說明{yn}是X中的Cauchy列.

因X完備,故存在y*∈X,使得yn→y*(n→∞),于是子列{y2n-1}和{y2n}也都收斂于y*,即Ax2n=y2n-1→y*,Sx2n=y2n→y*(n→∞).

1)設S,A之一連續(xù)且,(S,A)相容,(T,B)弱相容.

于上式兩邊取上極限,并利用引理1得

于是由引理3(i)可知,有s4d2(Ay*,y*)=0,進而Ay*=y*.再由條件(ii)有

對上式兩邊取上極限,使用引理1,Ay*=y*和Φ的遞增性,得

由此及引理3(i)可知,有s4d2(Sy*,y*)=0,進而可得Sy*=y*.于是y*=Sy*=Ay*.

由此及引理3(i)可知,有s8d2(y*,Tu)=0,進而y*=Tu.

因(T,B)弱相容,故Ty*=TBu=BTu=By*.

下證Ty*=y*.事實上,由條件(ii)和Φ的遞增性可得

故由引理3(i)可知,s8d2(y*,Ty*)=0,即y*=Ty*.于是y*=Ty*=By*.

綜上,我們得y*=Sy*=Ay*=Ty*=By*,即y*是S,T,A,B的公共不動點.

于上式兩端取上極限,并使用引理1和函數(shù)Φ的性質(zhì),得

于是由引理3(i)可知s4d2(Sy*,y*)=0,進而可得Sy*=y*.

下證Ay*=y*,事實上,由Sy*=y*及SX?BX知,?v∈X使Bv=Sy*=y*.使用條件(ii)得

s8d2(Sx2n,Tv)≤

對上式兩端取上極限,并使用引理1和Φ的遞增性質(zhì),得

由此及引理3(i)可知,s6d2(y*,Tv)=0,即y*=Tv.于是Bv=Tv=y*.

由y*=Tv∈TX?AX可知,?w∈X使Tv=Aw=y*.再使用條件(ii)得

由此及引理3(i)可知,s8d2(Sw,y*)=0,即Sw=y*.于是y*=Sw=Aw.因(A,S)弱相容,故y*=Sy*=SAw=ASw=Ay*.

對于y*=Ty*=By*的證明,與A連續(xù)時相應部分的證明完全相同,這里省略.

綜上我們有y*=Sy*=Ay*=Ty*=By*,即y*是S,T,A,B的公共不動點.

下證公共不動點唯一.設x*也是S,T,A,B的一個公共不動點,則由條件(ii)有

由此及引理3(i)可知,s8d2(y*,x*)=0,即y*=x*.于是y*是S,T,A,B的唯一公共不動點.

2)當B,T之一連續(xù),(S,A)弱相容,(T,B)相容時,類似1)可證.

3)設A,B之一為滿射,且(S,A)和(T,B)都弱相容.

如果A是滿射,則對y*∈X,?z∈X使Az=y*.由條件(ii)得

上式中令n→∞取上極限,并利用引理1得

(15)

由此及引理3(i)可知,s6d2(Sz,y*)=0,即Sz=y*.于是Sz=Az=y*.

又由(S,A)弱相容.故Sy*=SAz=ASz=Ay*.

下證Sy*=y*.以y*代替式(15)中的z,可得

由此及引理3(i)可知,s6d2(Sy*,y*)=0,即Sy*=y*,于是Ay*=Sy*=y*.

對于y*=Ty*=By*的證明,與1)中相應部分的證明完全相同,這里省略.

至此,我們證明了y*=Sy*=Ay*=Ty*=By*,即y*是S,T,A,B的公共不動點.

公共不動點的唯一性與1)中的證明相同.

當B是滿射時同理可證y*是S,T,A,B的唯一公共不動點.至此定理1獲證.

注3 由于度量空間一定是b-度量空間,故定理1擴展了文獻[3]的主要結果.

推論1 設S,T,A,B是完備b-度量空間(X,d)中的4個自映象,滿足條件S(X)?B(X)和T(X)?A(X),且?x,y∈X,都有

其中k∈(0,1).如果以下條件之一被滿足,則S,T,A,B有唯一公共不動點.

1)S,A之一連續(xù),且(S,A)相容,(T,B)弱相容;2)T,B之一連續(xù),且(S,A)弱相容,(T,B)相容;3)A,B之一為滿射,且(S,A)和(T,B)都弱相容.

證明 在定理1中取Φ(t)=kt即得.

推論2 設S,T,A,B是完備b-度量空間(X,d)中的4個自映象,滿足條件S(X)?B(X)和T(X)?A(X),且?x,y∈X,都有

s8d2(Sx,Ty)≤αd(Ax,By)d(Ax,Sx)+βd(Ax,Ty)d(By,Sx)+γd(Ax,By)d(By,Ty).

其中α,β,γ≥0,0<α+β+γ<0.如果以下條件之一被滿足,S,T,A,B有唯一公共不動點.

1)S,A之一連續(xù),且(S,A)相容,(T,B)弱相容;2)T,B之一連續(xù),且(S,A)弱相容,(T,B)相容;3)A,B之一為滿射,且(S,A)和(T,B)都弱相容.

證明 由條件(ii)可得

s8d2(Sx,Ty)≤αd(Ax,By)d(Ax,Sx)+βd(Ax,Ty)d(By,Sx)+γd(Ax,By)d(By,Ty)≤

考慮到0<α+β+γ<1,則推論2的結論由推論1即得.

注4 推論1和推論2將度量空間中的相應結果擴展到更廣泛的b-度量空間中.

[1] 張石生.不動點理論及其應用[M].重慶:重慶出版社,1984.

[2] 谷峰.關于Φ擴張相容映象的公共不動點定理[J].寶雞文理學院學報(自然科學版),2001,21(3):176-179.

[3] 谷峰,何振華.一類平方型Φ-壓縮映象的公共不動點定理[J].商丘師范學院學報,2006,22(5):27-32.

[4] CZERWIK S. Contraction mappings in b-metric space[J]. Acta Math Inform Univ Ostraviensis,1993,1(1):5-11.

[5] AKKOUCHI M. A common fixed point theorems for expansive mappings under strict implicit conditions on b-metric spaces[J]. Acta Univ Palack Olomuc Fac Rerum Natur Math,2011,50(1):5-15.

[6] BORICEANU M. Strict fixed point theorems for multivalued operators in b-metric spaces[J]. Int J Mod Math,2009,4(3):285-301.

[7] BORICEANU M. Fixed point theory for multivalued contraction on a set with two b-metrics[J].Creative Math,2008,17:326-332.

[8] AGHAJANI A, ABBAS M, ROSHAN J R. Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces[J]. Math Slovaca,2014,64(4):941-960.

[9] ROSHAN J R, SHOBKOLAEI N, SEDGHI S, et al. Common fixed point of four maps in b-metric spaces[J]. Hacettepe Journal of Mathematics and Statistics,2014,43(4):613-624.

[10] JUNGCK G. Common fixed points for non-continuous nonself mappings on a nonmeric spaces[J]. Far East J Math Sci,1996,4(2):199-212.

The Common Fixed Point Theorem for a Class of Twice Power TypeΦ-contractive Mapping inb-metric Spaces

LIU Liya, GU Feng

(Institute of Applied Mathematics, School of Science, Hangzhou Normal University, Hangzhou 310036, China)

By using the compatible and weak compatible conditions of self-mapping pair inb-metric spaces, the existence and uniqueness of common fixed point for a class of twice power typeΦ-contractive mappings inb-metric spaces is discussed. A new common fixed theorem is obtained.

b-metric spaces; compatible mapping pair; weak compatible mapping pair; twice power typeΦ-contractive mapping; common fixed point

2015-06-10

國家自然科學基金項目(11071169);浙江省自然科學基金項目(Y6110287).

谷 峰(1960—), 男, 教授, 主要從事泛函分析及其應用研究. E-mail: gufeng99@sohu.com

10.3969/j.issn.1674-232X.2016.02.010

O177.91 MSC2010:47H10,54H25

A

1674-232X(2016)02-0171-07