模度量空間下的不動點定理

常思進, 柴國慶，黃東琴

(湖北師范學院 數學與統計學院, 湖北 黃石 435002)

模度量空間下的不動點定理

常思進, 柴國慶，黃東琴

(湖北師范學院 數學與統計學院, 湖北 黃石 435002)

推廣了模度量空間，針對一類被稱之為Chatterjea映射，在適當的條件下，建立了映射T具有不動點的存在性和唯一性結果.

模度量空間; 不動點; Chatterjea映射

1 引言及預備知識

Banach壓縮映像原理最初被廣泛的應用在具體的度量空間,自從Chistyakov定義了模度量空間以后,他們就把度量空間中的Banach壓縮映像原理推廣到模度量空間上,模度量空間這個新概念背后的主要思想是模塊化的物理解釋。通俗的說,是在任意兩個點集的非負有限的距離, 在某集合上的模可以定義為一個具有以下性質的非負(可能是無窮大)的“速度場(廣義上)”：給定任意“時間”

λ>0，它和平均速度ωλ(x,y)有這樣的關聯性，如果要覆蓋點x,y之間的“距離”，x,y∈X以速度

ωλ(x,y)從點x移動到點y需要時間λ.本文主要在度量空間的基礎上研究了模度量空間的不動點問題, 研究并證明了模度量空間中在Chatterjea映射下的不動點的存在性及唯一性.

定義1[1]X為非空集合，函數ω:(0,∞)×X×X→[0,∞] ,如果有下列三條公理成立： 對任意的x,y,z∈X,

1)x=y當且僅當ωλ(x,y)=0，對所有λ>0;

2)ωλ(x,y)=ωλ(y,x),對所有λ>0;

3)ωλ+υ(x,y)≤ωλ(x,z)+ωυ(z,y),對所有λ,υ>0;

那么稱 (X,ω)為模度量空間.

3)模度量空間(X,ω)中的子集M被稱作是ω-完備的，如果對于M中每一個ω-Cauchy 列是ω-收斂列且它的ω-極限在M中.

ωλ(Tx,Ty)≤h(λ)[ω2λ(x,Ty)+ω2λ(y,Tx)] ?x,y∈X

定義4[3]映射T:C→C為一個映射，C是X的非空子集. 設x∈C, 定義軌道OT(x,0,∞)={x,Tx,T2x,…,Tnx,…}.

2 主要結果及其證明

定理1 (X,ω)是一個模度量空間，C是X的非空子集.假設C是ω-完備的，映射T:C→C為Chatterjea映射，且存在x0∈C，使得軌道OT(x0,0,∞)有界，則T有唯一不動點.

ωλ(Tx,Ty)≤h(λ)[ω2λ(x,Ty)+ω2λ(y,Tx)] ?x,y∈X

(1)

對x0∈C,作迭代序列xn=Tnx0，n=0,1,2,…，于是由(1)式，得

ωλ(xn+1,xn)=ωλ(Txn,Txn-1)≤h(λ)[ω2λ(xn,Txn-1)+ω2λ(xn-1,Txn)]=h(λ)[ω2λ(xn,xn)+ω2λ(xn-1,Txn)]=h(λ)ω2λ(xn-1,Txn)=h(λ)ω2λ(xn-1,xn+1)≤h(λ)[ωλ(xn-1,xn)+ωλ(xn,xn+1)]

故

(2)

由(2)式依此類推，得

ωλ(xn,xn+1)≤βnωλ(x0,x1)

(3)

由于T是Chatterjea映射，?p≥1,n≥1 由 (1)，(3)式，得

ωλ(Tn+px0,Tnx0)≤h(λ)[ω2λ(Tn+p-1x0,Tnx0)+ω2λ(Tn+px0,Tn-1x0)]≤h(λ)[ωλ(Tn+p-1x0,Tn-1x0)+ωλ(Tn-1x0,Tnx0)+ωλ(Tn+p-1x0,Tn-1x0)+ωλ(Tn+px0,Tn+p-1x0)]≤ 2h(λ)ωλ(Tn+p-1x0,Tn-1x0)+h(λ)ωλ(x0,x1)(βn-1+βn+p-1)

故

記a=ωλ(x0,x1)，則

由于β∈(0,1 )，有βn+p-m+βn-m<2βn-m,故

故

故

由于OT(x0,0,∞)有界，故?M>0,?p> 1，有ωλ(Tpx0,x0)≤M.由于β∈(0,1)，故:對?ε>0,

則當n>N時，有

即{xn} 是X中ω-Cauchy列.

又因為C是ω-完備的，故 {xn}ω-收斂到x∈C

下面證明X是T的不動點,

對上式，取n→∞，得ωλ(Tx,x)≤h(λ)ωλ(x,Tx)

下證T至多有一個不動點.

反設：若不然，設x,z∈X是T的兩個不動點，則由(1)式，得

ωλ(x,z)=ωλ(Tx,Tz)≤h(λ)[ω2λ(x,Tz)+ω2λ(z,Tx)]=h(λ)[ω2λ(x,z)+ω2λ(z,x)]

而ω2λ(x,z)≤ωλ(x,z)+ωλ(z,z)=ωλ(x,z),故

ωλ(x,z)≤h(λ)[ωλ(x,z)+ωλ(z,x)]= 2h(λ)ωλ(x,z)

例1 集合X={a,b∈R/0≤a+b≤1},定義映射ω:(0,∞)×X×X→[0,∞] 為

如果X是ω-完備的，映射T:X→X為

Ta=3Tb=4

則

[1]Chistyakov V V. Modular metric spaces, I: basic concepts[J]. Nonlinear Anal, 2010,72(1): 1～14.

[2]Orlicz W. Collected Papers(Part I, II)[M]. Warsaw: Panstwowe Wydawnictwo Naukove, 1988.

[3]Bruck R E.A common fixed point theorem for a commuting family of nonexpansive mappings[J]. Pac J Math,1974,53: 59～71.

[4]Chistyakov V V.Modular metric spaces, II: application to superposition operators[J]. Nonlinear Anal,2010, 72(1):15～30.

[5]Nakano H. Modulared Semi-Ordered Linear Spaces[M]. Tokyo:Maruzen, 1950.

[6]Musielak J.Orlicz Spaces and Modular Spaces[J]. Lecture Notes in Math, 1983,1034(6):2019～2032.

[7]Diening L.Theoretical and numerical results for electrorheological fluids[J]. Ph D thesis, 2006,3:1172～1190.

[8]Ruzicka M.Electrorheological Fluids Modeling and Mathematical Theory[M]. Berlin:Springer, 2002.

[9]Khamsi M A, Kozlowski W K, Reich S.Fixed point theory in modular function spaces[J]. Nonlinear Anal, 1990,14:935～953.

[10]Khamsi M A, Kozlowski W K.On asymptotic pointwise contractions in modular function spaces[J]. Nonlinear Anal,2010,73:2957～2967.

[11]Goebel K, Reich S.Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Series of Monographsand Textbooks in Pure and Applied Mathematics[M] .New York:Imperial College,1984.

[12]Kozlowski W M. Notes on modular function spaces II[J]. Comment Math,1988, 28:105～120.

Fixedpointtheoreminmodularmetricspace

CHANG Si-jin, CHAI Guo-qing , HUANG Dong-qin

(College of Mathematics and Statistics, Hubei Normal University, Huangshi 435002,China)

This paper expanded that the modular metric space which is called the chatterjea mapping, establish the mappingThas the fixed point existence and uniqueness results under appropriate conditions

modular metric space; fixed point; Chatterjea mappings

2014—09—01

常思進(1989— )，女，湖北十堰人，碩士研究生，主要研究方向：非線性泛函分析.

O177.91

A

1009-2714(2014)04- 0079- 04

10.3969/j.issn.1009-2714.2014.04.017