概率度量空間中廣義β-可容許映射的二元重合點(diǎn)定理及其應(yīng)用

徐文清,朱傳喜

(南昌大學(xué)數(shù)學(xué)系,江西南昌330031)

概率度量空間中廣義β-可容許映射的二元重合點(diǎn)定理及其應(yīng)用

徐文清,朱傳喜

(南昌大學(xué)數(shù)學(xué)系,江西南昌330031)

在Menger PM-空間中,引入廣義β-可容許映射的概念.在不要求兩映射可交換的情況下,利用迭代法,建立了廣義β-可容許映射的二元重合點(diǎn)定理.獲得了一些新的結(jié)果,推廣和改進(jìn)了相關(guān)文獻(xiàn)中的不動(dòng)點(diǎn)定理和二元重合點(diǎn)定理.最后,給出了主要結(jié)果的一個(gè)應(yīng)用.

Menger PM-空間;二元重合點(diǎn);β-可容許映射;相容映射

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

1942年,文獻(xiàn)[1]中首次提出概率度量空間,其中概率度量空間中的不動(dòng)點(diǎn)理論已成為概率分析的重要內(nèi)容之一,也是數(shù)學(xué)研究領(lǐng)域比較活躍的一部分.許多作者已經(jīng)得到了概率度量空間中不同壓縮條件下的不動(dòng)點(diǎn)定理[2-10].

近年來,有關(guān)序度量空間、概率度量空間中映射的二元重合點(diǎn)理論的研究也比較活躍.例如,2009年,文獻(xiàn)[11]獲得序度量空間中g(shù)-混合單調(diào)映射的二元重合點(diǎn)定理.2011年,文獻(xiàn)[12]得到了半序概率度量空間中可交換映射在壓縮條件下的二元重合點(diǎn)定理.2013年,文獻(xiàn)[13]在半序概率度量空間中定義了相容映射,同時(shí)建立了該映射在不滿足可交換條件下的二元重合點(diǎn)定理,從而推廣了文獻(xiàn)[12]中的相關(guān)定理.度量空間中的重合點(diǎn)定理或不動(dòng)點(diǎn)定理可參考文獻(xiàn)[14-15].

最近,文獻(xiàn)[16]在概率度量空間中定義了β-可容許映射,并得到了該空間中β-可容許映射的不動(dòng)點(diǎn)定理.本文在Menger PM-空間中,引入廣義β-可容許映射的概念.在不要求兩映射可交換的情況下,建立了廣義β-可容許映射的二元重合點(diǎn)定理.所得結(jié)果推廣了文獻(xiàn)[12-13,16]中的不動(dòng)點(diǎn)定理和二元重合點(diǎn)定理.最后,給出了主要結(jié)果的一個(gè)應(yīng)用.

為方便起見,首先回顧一些基本概念和引理[2].

用D表示一切分布函數(shù)的集合,D+={F:F∈D,F(t)=0,?t≤0},并用H(t)表示一特殊分布函數(shù),其定義如下:

映像?:[0,1]2→[0,1]稱為三角范數(shù)(簡(jiǎn)稱為t-范數(shù)),如果它滿足如下條件:對(duì)任意a,b,c,d∈[0,1],有

(?1)?(a,1)=a,?(0,0)=0;(?2)?(a,b)=?(b,a);

(?3)?(a,b)≤?(c,d),?c≥a,d≥b;(?4)?(?(a,b),c)=?(a,?(b,c)).

設(shè)?M(a,b)=min{a,b},?p(a,b)=ab,?m(a,b)={a+b?1,0},顯然它們?yōu)閠-范數(shù).

(X,F,?)稱為Menger PM-空間,如果X是一抽象集,?為t-范數(shù),F是X×X到D+的映象(記分布函數(shù)F(x,y)為Fx,y,而Fx,y(t)表示Fx,y在t∈R的值),滿足下面的條件:

(PM1)Fx,y(0)=0;

(PM2)Fx,y(t)=H(t),?t∈當(dāng)且僅當(dāng)x=y;

(PM3)Fx,y(t)=Fy,x(t);

(PM4)(Menger三角不等式)對(duì)任意x,y,z∈X,t1,t2∈,有

定義1.1[4]設(shè)Φ={?:[0,1]→[0,1]}為一個(gè)函數(shù)類,其中函數(shù)?滿足如下條件:

(i)?(t)=0當(dāng)且僅當(dāng)t=0;(ii)?是嚴(yán)格增的且當(dāng)t→∞時(shí),?(t)→∞;

(iii)?在(0,∞)上是左連續(xù)的;(iv)?在t=0處連續(xù).

定義1.2[11]設(shè)X為一非空集合,G:X×X→X和g:X→X是X上的兩自映射,元素(x,y)∈X×X稱為G的二元不動(dòng)點(diǎn),如果G(x,y)=x和G(y,x)=y.元素(x,y)∈X×X稱為G和g的二元重合點(diǎn),如果G(x,y)=g(x)和G(y,x)=g(y).

定義1.3[16]設(shè)(X,F,?)是一Menger PM-空間,β:X×X×(0,∞)→(0,∞)是一函數(shù)且g:X→X是X上的自映射,稱g是β-可容許的,如果存在x,y∈X,使得對(duì)任意t>0, β(x,y,t)≤1,則β(g(x),g(y),t)≤1,?t>0.

注1.1β-可容許映射不一定是單調(diào)映射;反之,單調(diào)映射也不一定是β-可容許映射.另外,β函數(shù)不一定可傳遞(稱β是傳遞的,如果x,y,z∈X對(duì)任意t>0,β(x,y,t)≤1, β(y,z,t)≤1,則β(x,z,t)≤1).

例1.1設(shè)X=[0,∞),f:X→X,g:X→X,β:X×X×(0,∞)→(0,∞)定義如下:

事實(shí)上,函數(shù)f在X上是不減的,若β(x,y,t)≤1,則x+y≥1.但x2+y2不一定大于1,因此,f不是β-可容許的.若β(x,y,t)≤1,則故g是β-可容許的,但很顯然g在X上不是單調(diào)的.由β的定義可知,由均值不等式可知,但因此,β不是可傳遞的.

定義1.4[13]設(shè)(X,F,?)是一完備的Menger PM-空間,G:X×X→X和g:X→X是X上的兩自映射,G和g稱為相容的,如果存在{xn}和{yn}為X中兩個(gè)序列,x,y∈X,

則對(duì)任意t>0,有

引理1.1[5]設(shè)(X,F,?)是一完備的Menger PM-空間,函數(shù)?∈Φ,如果存在c∈(0,1),

2 主要結(jié)果

定義2.1設(shè)(X,F,?)是Menger PM-空間,G:X×X→X和g:X→X是X上的兩自映射且β:X×X×(0,∞)→(0,∞)是一函數(shù),稱G和g是廣義β-可容許的,如果存在x,y,u,v∈X,使得對(duì)任意t>0,β(g(x),g(u),t)≤1和β(g(y),g(v),t)≤1,則

例2.1設(shè)X=[0,∞),g:X→X,G:X×X→X,β:X×X×(0,∞)→(0,∞)定義:

則G和g是廣義β-可容許的.

若β(g(x),g(u),t)≤1,β(g(y),g(v),t)≤1,則

引理2.1設(shè)F∈D+,G1,G2,···,Gn:R→[0,1]都為不減函數(shù),其中n∈Z+,如果存在?∈Φ和c∈(0,1),使得對(duì)任意t>0,

則

證明設(shè)G(t)=min{G1(?(t)),G2(?(t)),·(··,(Gn)()?(t))}.

利用反證法證明.假設(shè)存在t0>0,使得G?t0>F(?(t0)).由(1)式可知

矛盾.因此假設(shè)不成立,結(jié)論成立.

引理2.2設(shè)(X,F,?)是一Menger PM-空間,且?∈Φ,如果存在c∈(0,1),x,y,u,v∈X,使得對(duì)任意t>0,有

證明要證x=y和u=v,即證對(duì)任意t>0,min{Fx,y(t),Fu,v(t)}=1.利用反證法證明,假設(shè)存在t0>0,使得min{Fx,y(t0),Fu,v(t0)}<1.

由?的性質(zhì)可知,當(dāng)t→∞時(shí),?(t)→∞.再由(X,F,?)是一Menger PM-空間可得,當(dāng)t→∞時(shí),min{Fx,y(?(t)),Fu,v(?(t))}→1.因此存在t1>0,使得?(t1)>t0且

根據(jù)?的性質(zhì),對(duì)t0>0,存在r>0使得t0>?(r).由c∈(0,1),存在n∈N,使得r≥cnt1.由?是嚴(yán)格增的可得t0>?(cnt1).由已知條件可知:

這與(3)式矛盾.因此假設(shè)不成立,則x=y和u=v.

定理2.1設(shè)(X,F,?)是完備的Menger PM-空間,?為一連續(xù)的t-范數(shù)且?(a,a)≥a,?a∈[0,1].設(shè)β:X×X×(0,∞)→(0,∞)是一函數(shù),函數(shù)?∈,G:X×X→X和g:X→X是X上的兩自映射且G和g是廣義β-可容許的.如果存在c∈(0,1),對(duì)任意x,y,u,v∈X和t>0,有

設(shè)G(X,X)?g(X),g是連續(xù)的,G和g是相容的,且滿足下列條件之一:

(a)G是連續(xù)的;

(b)g是β-可容許的,如果序列{xn}?X使得對(duì)任意t>0,n∈N,β(xn,xn+1,t)≤1且xn→x,則對(duì)任意t>0,n∈N,β(xn,x,t)≤1.

存在x0,y0∈X使得對(duì)任意t>0,有

則存在x,y∈X使得G(x,y)=g(x)和G(y,x)=g(y),即(x,y)∈X×X為G和g的二元重合點(diǎn).

證明由?是連續(xù)的且對(duì)任意a∈[0,1],?(a,a)≥a可知,?(a,b)≥min{a,b}.因此由Menger三角不等式可知,對(duì)任意x,y∈X和t>0,有Fx,y(2t)≥min{Fx,z(t),Fz,y(t)}.

由已知條件可知,存在x0,y0∈X,使得

由G(X,X)?g(X)可知,存在x1,y1∈X,使得

再由G(X,X)?g(X)可知,存在x2,y2∈X,使得

依此類推可知存在點(diǎn)列{xn}和{yn},使得

由G和g是廣義β-可容許的,且β(g(x0),G(x0,y0),t)=β(g(x0),g(x1),t)≤1和β(g(y0),G(y0,x0),t)=β(g(y0),g(y1),t)≤1,則

依此類推可知,對(duì)任意n∈N,t>0,

根據(jù)?的性質(zhì),對(duì)任意t>0,存在r>0使得t>?(r).由(4)式和(5)式可知

同理

設(shè)Qn(t)=min{Fg(xn),g(xn+1)(t),Fg(yn),g(yn+1)(t)}.則Qn∈D+.結(jié)合(6)式和(7)式可得,

由引理2.1可知,

設(shè)m,n∈N,且m>n,由(8)式和?≥?M可知,

由?是嚴(yán)增的,以及t→∞時(shí),?(t)→∞可知,對(duì)任給的ε∈(0,1),存在n0∈N,使得對(duì)任意n>n0,有

由ε>0和t>0的任意性可知,序列{g(xn)}和{g(yn)}是(X,F,?)中的柯西列.由X的完備性,存在x,y∈X,使得

由g的連續(xù)性和(10)式可知,

由G和g的相容性和(10)式可知,對(duì)任意t>0,

利用Menger三角不等式和?≥?M得,

利用(11)式和(12)式,在(13)式中令n→∞可得,

下證,G(x,y)=g(x)和G(y,x)=g(y).分兩種情況證明:

(i)假設(shè)條件(a)成立,即G是連續(xù)的.由G的連續(xù)性和(10)式得

根據(jù)?的性質(zhì),對(duì)任意t>0,存在r>0使得t>?(r)>0.由Menger三角不等式和?≥?M可知,

利用(14)-(15)式,在(16)式中左右兩端取下極限可知,對(duì)任意的t>0,Fg(x),G(x,y)(t)≥1.則G(x,y)=g(x).同理,G(y,x)=g(y).

(ii)假設(shè)條件(b)成立.由?嚴(yán)增性可知,對(duì)任意λ∈(0,1)和r>0,有?(r)>?(λr).由Menger三角不等式和?≥?M可知,

由(5)式,g(xn)→x和g(yn)→y可知,β(g(xn),x,t)≤1和β(g(yn),y,t)≤1.又由g是β-可容許的,則

由(4)式和?≥?M可知,

由Menger三角不等式和?≥?M可得,

結(jié)合(17)-(19)式,可知

利用(11)式和(14)式,在(20)式中左右兩端取下極限可知,對(duì)任意的r>0,有

由?是嚴(yán)格增且左連續(xù)的,F也是左連續(xù)的,在(21)式中令λ→1,可得

由引理1.1可知,G(x,y)=g(x).同理可證G(y,x)=g(y).

綜上可知,存在x,y∈X,使得

即(x,y)∈X×X為G和g的二元重合點(diǎn).

定理2.2假設(shè)在定理2.1中增加條件:(i)g是單射,(ii)對(duì)任意(x,y),(u,v)∈X×X,存在(z,w)∈X×X,使得對(duì)任意t>0,

則G與g有唯一二元重合點(diǎn).

證明由定理2.1可知,G與g存在二元重合點(diǎn).下證重合點(diǎn)的唯一性,假設(shè)存在(x,y),(u,v)∈X×X,使得

根據(jù)新增條件(ii),存在(z,w)∈X×X,使得對(duì)任意t>0,

β(g(x),g(z),t)≤1,β(g(u),g(z),t)≤1,β(g(y),g(w),t)≤1,

β(g(v),g(w),t)≤1,β(g(z),G(z,w),t)≤1和β(g(w),G(w,z),t)≤1.設(shè)z0=z和w0=w,由G(X×X)?g(X)可知,存在z1,w1∈X,使得

依次類推可知,存在X中兩序列{g(zn)}和{g(wn)},使得

由β(g(x),g(z0),t)≤1,β(g(y),g(w0),t)≤1.再根據(jù)G和g是廣義β-可容許的可得, β(G(x,y),G(z0,w0),t)=β(g(x),g(z1),t)≤1,β(G(y,x),G(w0,z0),t)=β(g(y),g(w1),t)≤1.依次類推可得,

同理

利用

和

再根據(jù)G和g是廣義β-可容許的,可得

根據(jù)?的性質(zhì),對(duì)任意t>0,存在r>0使得t>?(r).由(4)式和(22)式可知,

同理

設(shè)

結(jié)合(25)式和(26)式,可得

對(duì)(27)式分兩種情況討論:

證明可得,

相應(yīng)的也可得

由(4)式可知,

同理

因此,

由引理2.2可知g(x)=g(u)和g(y)=g(v).

另一方面,若

則由(28)式得

在上式中令n→∞得

這表明g(zn)→g(x)和g(wn)→g(y).

2)假設(shè)

則由(27)式得

在上式中令n→∞得

這也表明g(zn)→g(x)和g(wn)→g(y).

同理可得g(zn)→g(u)和g(wn)→g(v).由序列收斂的唯一性可知g(x)=g(u)和g(y)=g(v).再由g是單射可知x=u和y=v.因此唯一性得證.

3 應(yīng)用

例3.1設(shè)x,y∈X,t>0,則(X,F,?M)是完備的Menger PM-空間.

令g:X→X,G:X×X→X,?:[0,1]→[0,1],β:X×X×(0,∞)→(0,∞)定義如下:

容易驗(yàn)證:G和g是連續(xù)的,G和g是β-可容許的,G(X×X)?g(X),?∈Φ.設(shè)x0=1和y0=1,則

由β的定義可知,β(g(x0),G(x0,y0),t)≤1和β(g(y0),G(y0,x0),t)≤1,?t>0.下證G和g是相容的.設(shè){xn}和{yn}是X中的兩序列,使得

由G和g的連續(xù)性,可知

由Menger三角不等式和?=?M,可得

在上式中令n→∞,可得

同理

因此,G和g是相容的.

再由β的定義和(29)式可知,定理2.1的(4)成立.綜上可知G,g,?和β滿足定理2.1的所有條件,所以G和g在X中存在二元重合點(diǎn),由G(2,2)=g(2)=2,則x=2為G和g的二元不動(dòng)點(diǎn).

[1] Menger K.Statistical metrics[J].Proc.Nat.Acad.Sci.USA,1942,28:535-537.

[2] Chang S S,Cho Y J,Kang S M.Probabilistic Metric Spaces and Nonlinear Operator Theory[M].Chengdu: Sichuan University Press,1994.

[3] ′Ciri′c L.Solving the Banach fi xed point principle for nonlinear contractions in probabilistic metric spaces[J]. Nonlinear Anal.,2010,72:2009-2018.

[4]Choudhury B S,Das K P.A new contraction principle in Menger spaces[J].Acta.Math.Sin.(Engl.Ser)., 2012,6:257-264.

[5] Baba?cev N A.Nonlinear generalized contraction on Menger PM-spaces[J].Appl.Anal.Discrete Math., 2008,23:1379-1386.

[6] Jachymski J.On probabilistic φ-contractions on Menger spaces[J].Nonlinear Anal.,2010,73:2199-2203.

[7] ′Ciri′c L,Mihet D,Saadati R.Monotone generalized contractions in partially ordered probabilistic metric spaces[J].Topology Appl.,2009,156:2838-2848.

[8] Fang J X,Gao Y.Common fi xed point theorems under strict contractive conditions in Menger spaces[J]. Nonlinear Anal.,2009,70:184-193.

[9] Fang J X.Common fi xed point theorems of compatible and weakly compatible maps in Menger spaces[J]. Nonlinear Anal.,2009,71:1833-1843.

[10] Xiao J Z,Zhu X H,Gao Y F.Common coupled fi xed point results for probabilistic φ-contractions in Menger spaces[J].Nonlinear Anal.,2011,74:4589-4600.

[11] Lakshmikantham V,′Ciri′c L.Coupled fi xed point theorems nonlinear contractions in partially ordered metric spaces[J].Nonlinear Anal.,2009,70:4341-4349.

[12] Hu X Q,Ma X Y.Coupled coincidence point theorems under contractive conditions in partially ordered probabilistic metric spaces[J].Nomlinear Anal.,2011,74:6451-6458.

[13] Dori′c D.Nonlinear coupled coincidence and coupled fi xed point theorems for not necessary commutative mappings in partially ordered probabilistic metric spaces[J].Appl.Math.Comput.,2013,219:5926-5935.

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

[15] 卜香娟.Banach空間中一類序壓縮映射的不動(dòng)點(diǎn)定理[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2012,28(3):334-341.

[16] Gopal D,Abbas M,Vetro C.Some new fi xed point theorems in Menger PM-spaces with application to Volterra type integral equation[J].Appl.Math.Comput.,2014,232:955-967.

Coupled coincidence point theorems for generalized β-admissible mappings in probabilistic metric spaces and its applications

Xu Wenqing,Zhu Chuanxi
(Department of Mathematics,Nanchang University,Nanchang330031,China)

In this paper,the new notion of generalized β-admissible mappings in Menger probabilistic metric spaces is introduced.We use the iterative method to establish some coupled coincidence point theorems for generalized β-admissible mappings in complete probabilistic metric spaces,where two mappings do not need to be commutative.Some new results are obtained,which generalize some fi xed point theorems and coupled coincidence point theorems in the recent corresponding literatures.Finally,an application is given to support our main results.

Menger probabilistic metric spaces,coupled coincidence point,β-admissible mappings, compatible mappings

O177.92

A

1008-5513(2014)05-0520-14

10.3969/j.issn.1008-5513.2014.05.014

2014-05-02.

國(guó)家自然科學(xué)基金(11361042,11071108,11461045);江西省自然科學(xué)基金(20132BAB201001,2010GZS0147).

徐文清(1989-),碩士生,研究方向:應(yīng)用泛函分析.

2010 MSC:47H10