# Common Fixed Point Theorems of the Asymptotic Sequences in Ordered Cone Metric Spaces

Authors: Chi-Ming Chen
Journal: Journal of Applied Mathematics
 (2011)

---

## Abstract

We introduce the notions of the asymptotic𝒮ℳ𝒦-sequence with respect to the stronger Meir-Keeler cone-type mapping ξ:int(P)∪{θ}→[0,1) and the asymptotic 𝒲ℳ𝒦-sequence with respect to the weaker Meir-Keeler cone-type mapping ϕ:int(P)∪{θ}→int(P)∪{θ} and prove some common fixed point theorems for these two asymptotic sequences in cone metric spaces with regular cone P. Our results generalize some recent results.


---

## Body

## 1. Introduction and Preliminaries

Let(X,d) be a metric space, D a subset of X, and f:D→X a map. We say f is contractive if there exists α∈[0,1) such that for all x,y∈D,(1.1)d(fx,fy)≤α⋅d(x,y).
The well-known Banach’s fixed point theorem asserts that if D=X, f is contractive and (X,d) is complete, then f has a unique fixed point in X. It is well known that the Banach contraction principle [1] is a very useful and classical tool in nonlinear analysis. Also, this principle has many generalizations. For instance, Kannan [2] and Chatterjea [3] introduced two conditions that can replace (1.1) in Banach’s theorem.(Kannan [2]) There exists α∈[0,1) such that for all x,y∈X,(1.2)d(fx,fy)≤α2[d(x,fx)+d(y,fy)].(Chatterjea [3]) There exists α∈[0,1) such that for all x,y∈X,(1.3)d(fx,fy)≤α2[d(x,fy)+d(y,fx)].After these three conditions, many papers have been written generalizing some of the conditions (1.1), (1.2), and (1.3). In 1969, Boyd and Wong [4] showed the following fixed point theorem.Theorem 1.1 (see [4]).
Let(X,d) be a complete metric space and f:X→X a map. Suppose there exists a function ϕ:ℝ+→ℝ+ satisfying ϕ(0)=0, ϕ(t)<t for all t>0 and ϕ is right upper semicontinuous such that
(1.4)d(fx,fy)≤ϕ(d(x,y))∀x,y∈X.
Then, f has a unique fixed point in X.Later, Meir-Keeler [5], using a result of Chu and Diaz [6], extended Boyd-Wong’s result to mappings satisfying the following more general condition:(1.5)∀η>0∃δ>0suchthatη≤d(x,y)<η+δ⟹d(fx,fy)<η,
and Meir-Keeler proved the following very interesting fixed point theorem which is a generalization of the Banach contraction principle.Theorem 1.2 (Meir-Keeler [5]).
Let(X,d) be a complete metric space and let f be a Meir-Keeler contraction, that is, for every η>0, there exists δ>0 such that d(x,y)<η+δ implies d(fx,fy)<η for all x,y∈X. Then, f has a unique fixed point.Subsequently, some authors worked on this notion of Meir-Keeler contraction (e.g., [7–10]).Huang and Zhang [11] introduced the concept of cone metric space by replacing the set of real numbers by an ordered Banach space, and they showed some fixed point theorems of contractive type mappings on cone metric spaces. The category of cone metric spaces is larger than metric spaces. Subsequently, many authors like Abbas and Jungck [12] have generalized the results of Huang and Zhang [11] and studied the existence of common fixed points of a pair of self-mappings satisfying a contractive type condition in the framework of normal cone metric spaces. However, authors like Rezapour and Hamlbarani [13] studied the existence of common fixed points of a pair of self and nonself mappings satisfying a contractive type condition in the situation in which the cone does not need to be normal. Many authors studied this subject, and many results on fixed point theory are proved (see, e.g., [13–27]).Throughout this paper, byℝ we denote the set of all real numbers, while ℕ is the set of all natural numbers, and we initiate our discussion by introducing some preliminaries and notations.Definition 1.3 (see [11]).
LetE be a real Banach space and P a nonempty subset of E. P≠{θ}, where θ denotes the zero element of E, is called a cone if and only if(i)
P is closed,(ii)
a,b∈ℝ, a,b≥0, x,y∈P⇒ax+by∈P,(iii)
x∈P and -x∈P⇒x=θ.For given a coneP⊂E, we can define a partial ordering with respect to P by x≼y or x≽y if and only if y-x∈P for all x,y∈E. The real Banach space E equipped with the partial ordered induced by P is denoted by (E,≼). We shall write x≺y to indicate that x≼y but x≠y, while x≼y will stand for y-x∈int(P), where int(P) denotes the interior of P.Proposition 1.4 (see [28]).
SupposeP is a cone in a real Bancah space E. Then,(i)
Ife≼f and f≪g, then e≪g.(ii)
Ife≪f and f≼g, then e≪g.(iii)
Ife≪f and f≪g, then e≪g.(iv)
Ifa∈P and a≼e for each e∈int(P), then a=θ.Proposition 1.5 (see [29]).
Supposee∈int(P), θ≼an, and an→θ. Then, there exists n0∈ℕ such that an≪e for all n≥n0.The coneP is called normal if there exists a real number K>0 such that for all x,y∈E,(1.6)θ≼x≼y⟹‖x‖≤K‖y‖.The least positive numberK satisfying above is called the normal constant of P.The coneP is called regular if every increasing sequence which is bounded from above is convergent, that is, if {xn} is a sequence such that(1.7)x1≼x2≼⋯≼xn≼⋯≼y,
for some y∈E, then there is x∈E such that ∥xn-x∥→0 as n→∞. Equivalently, the cone P is regular if and only if every decreasing sequence which is bounded from below is convergent. It is well known that a regular cone is a normal cone.Definition 1.6 (see [11]).
LetX be a nonempty set, E a real Banach space, and P a cone in E. Suppose the mapping d:X×X→(E,≼) satisfies(i)
θ≼d(x,y), for all x,y∈X,(ii)
d(x,y)=θ if and only if x=y,(iii)
d(x,y)=d(y,x), for all x,y∈X,(iv)
d(x,y)+d(y,z)≽d(x,z), for all x,y,z∈X.Then, d is called a cone metric on X, and (X,d) is called a cone metric space.Definition 1.7 (see [11]).
Let(X,d) be a cone metric space, and let {xn} be a sequence in X and x∈X. If for every c∈E with θ≪c there is n0∈ℕ such that
(1.8)d(xn,x)≪c,∀n>n0,
then {xn} is said to be convergent and {xn} converges to x.Definition 1.8 (see [11]).
Let(X,d) be a cone metric space, and let {xn} be a sequence in X. We say that {xn} is a Cauchy sequence if for any c∈E with θ≪c, there is n0∈ℕ such that
(1.9)d(xn,xm)≪c,∀n,m>n0.Definition 1.9 (see [11]).
Let(X,d) be a cone metric space. If every Cauchy sequence is convergent in X, then X is called a complete cone metric space.Remark 1.10 (see [11]).
IfP is a normal cone, then {xn} converges to x if and only if d(xn,x)→θ as n→∞. Further, in the case {xn} is a Cauchy sequence if and only if d(xn,xm)→θ as m,n→∞.In this paper, we introduce the notions of the asymptotic𝒮ℳ𝒦-sequence with respect to the stronger Meir-Keeler cone-type mapping ξ:int(P)∪{θ}→[0,1) and the asymptotic 𝒲ℳ𝒦-sequence with respect to the weaker Meir-Keeler cone-type mapping ϕ:int(P)∪{θ}→int(P)∪{θ} and prove some common fixed point theorems for these two asymptotic sequences in cone metric spaces with regular cone P.


## 2. Common Fixed Point Theorems for the Asymptotic𝒮ℳ𝒦-Sequences

In 1973, Geraghty [30] introduced the following generalization of Banach’s contraction principle.Theorem 2.1 (see [30]).
Let(X,d) be a complete metric space, and let S denote the class of the functions β:[0,∞)→[0,1) which satisfy the condition
(2.1)β(tn)⟶1⟹tn⟶0.
Let f:X→X be a mapping satisfying
(2.2)d(fx,fy)≤β(d(x,y))⋅d(x,y),forx,y∈X,
where β∈S. Then, f has a unique fixed point z∈X.In this section, we first introduce the notions of the stronger Meir-Keeler cone-type mappingξ:int(P)∪{θ}→[0,1) and the asymptotic 𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ, and we next prove some common fixed point theorems for the asymptotic 𝒮ℳ𝒦-sequence in cone metric spaces.Definition 2.2.
Let(X,d) be a cone metric space with cone P, and let
(2.3)ξ:int⁡(P)∪{θ}⟶[0,1).
Then, the function ξ is called a stronger Meir-Keeler cone-type mapping, if for each η∈int(P) with η≫θ there exists δ≫θ such that for x,y∈X with η≼d(x,y)≪δ+η there exists γη∈[0,1) such that ξ(d(x,y))<γη.Example 2.3.
LetE=ℝ, P={x∈E:x≽θ} a normal cone, X=[0,∞), and let d:X×X→E be the Euclidean metric. Define ξ:int(P)∪{θ}→[0,1) by ξ(d(x,y))=γ where γ∈[0,1), x,y∈X, then ξ is a stronger Meir-Keeler cone-type mapping.Example 2.4.
LetE=ℝ, P={x∈E:x≽θ} a normal cone, X=[0,∞), and let d:X×X→E be the Euclidean metric. Define ξ:int(P)∪{θ}→[0,1) by ξ(d(x,y))=∥d(x,y)∥/(∥d(x,y)∥+1) for x,y∈X, then ξ is a stronger Meir-Keeler cone-type mapping.Definition 2.5.
Let(X,d) be a cone metric space with a cone P, ξ:int(P)∪{θ}→[0,1) a stronger Meir-Keeler cone-type mapping, and let
(2.4){fn}n∈N,fn:X⟶X
be a sequence of mappings. Suppose that there exists α∈ℕ such that the sequence {fn}n∈ℕ satisfy that
(2.5)d(fiαx,fjαy)≼ξ(d(x,y))⋅d(x,y),∀x,y∈X,andi,j∈N.
Then, we call {fn}n∈ℕ an asymptotic 𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ.Example 2.6.
LetE=ℝ2 and P={(x,y)∈ℝ2|x,y≽θ} a normal cone in E. Let
(2.6)X={(x,0)∈R2∣x≥0}∪{(0,y)∈R2∣y≥0},
and we define the mapping d:X×X→E by
(2.7)d((x,0),(y,0))=(95|x-y|,|x-y|),d((0,x),(0,y))=(|x-y|,35|x-y|),d((x,0),(0,y))=d((0,y),(x,0))=(95x+y,x+35y).
Let the asymptotic 𝒮ℳ𝒦-sequence of mappings, {fn}n∈ℕ, fn:X→X be
(2.8)fn(x,0)=(0,3nx),fn(0,y)=(13n+1y,0),
and let ξ:int(P)→[0,1) be
(2.9)ξ((x,y))={13‖d(x,y)‖,ifd(x,y)≼12,‖d(x,y)‖‖d(x,y)‖+1,ifd(x,y)≫12.
Then, ξ is a stronger Meir-Keeler cone-type mapping and for α=2, and let {fn}n∈ℕ be an asymptotic 𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ.Now, we will prove the following common fixed point theorem of the asymptotic𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping for cone metric spaces with regular cone.Theorem 2.7.
Let(X,d) be a complete cone metric space, P a regular cone in E, and let ξ:int(P)∪{θ}→[0,1) be a stronger Meir-Keeler cone-type mapping. Suppose
(2.10){fn}n∈N,fn:X⟶X
is an asymptotic 𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ. Then, {fn}n∈ℕ has a unique common fixed point in X.Proof.
Since{fn}n∈ℕ is an asymptotic 𝒮ℳ𝒦-sequence with respect to this stronger Meir-Keeler cone-type mapping ξ, there exists α∈ℕ such that
(2.11)d(fiαx,fjαy)≼ξ(d(x,y))⋅d(x,y),∀x,y∈X,andi,j∈N.
Givenx0∈X and we define the sequence {xn} recursively as follows:
(2.12)xn=fnαxn-1,∀n∈N.
Hence, for each n∈ℕ, we have
(*)d(xn,xn+1)=d(fnαxn-1,fn+1αxn)≼ξ(d(xn-1,xn))⋅d(xn-1,xn)≪d(xn-1,xn).
Thus, the sequence{d(xn,xn+1)} is descreasing. Regularity of P guarantees that the mentioned sequence is convergent. Let limn→∞d(xn,xn+1)=η≥0. Then, there exists κ0∈ℕ such that for all n≥κ0(2.13)η≼d(xn,xn+1)≪η+δ.
For eachn∈ℕ, since ξ is a stronger Meir-Keeler type mapping, for these η and δ≫0 we have that for xκ0+n,xκ0+n+1∈X with η≼d(xκ0+n,xκ0+n+1)≪δ+η, there exists γη∈[0,1) such that ξ(d(xκ0+n,xκ0+n+1))<γη. Thus, by (*), we can deduce
(2.14)d(xκ0+n,xκ0+n+1)=ξ(d(xκ0+n-1,xκ0+n))⋅d(xκ0+n-1,xκ0+n)≪γη⋅d(xκ0+n-1,xκ0+n),
and it follows that for each n∈ℕ(2.15)d(xκ0+n,xκ0+n+1)≪γη⋅d(xκ0+n-1,xκ0+n)≪⋯≪γηn⋅d(xκ0+1,xκ0+2).
So,
(2.16)lim⁡n→∞d(xκ0+n,xκ0+n+1)=θ,sinceγη<1.
We now claim thatlimn→∞d(xκ0+n,xκ0+m)=θ for m>n. For m,n∈ℕ with m>n, we have
(2.17)d(xκ0+n,xκ0+m)≼∑i=nm-1d(xκ0+i,xκ0+i+1)≺γηm-11-γηd(xκ0+1,xκ0+2),
and hence d(xn,xm)→θ, since 0<γη<1. So {xn} is a Cauchy sequence. Since (X,d) is a complete cone metric space, there exists ν∈X such that limn→∞xn=ν.
We next prove thatν is a unique periodic point of fj, for all j∈ℕ. Since for all j∈ℕ,
(2.18)d(ν,fjαν)=d(ν,xn)+d(xn,fjαν)=d(ν,xn)+d(fnαxn-1,fjαν)=d(ν,xn)+ξ(d(xn-1,ν))⋅d(xn-1,ν)≪d(ν,xn)+γη⋅d(xn-1,ν),
we have d(ν,fjαν)→θ. This implies that ν=fjαν. So, ν is a periodic point of fj, for all j∈ℕ.
Letμ be another periodic point of fi, for all i∈ℕ. Then,
(2.19)d(μ,ν)=d(fiαμ,fjαν)≼ξ(d(μ,ν))⋅d(μ,ν)≪γηd(μ,ν).
Then, μ=ν.
Sincefiν=fi(fiαν)=fjα(fiν), we have that fiν is also a periodic point of fi, for all j∈ℕ. Therefore, ν=fiν, for all j∈ℕ, that is, ν is a unique common fixed point of {fn}n∈ℕ.Example 2.8.
It is easy to get that(0,0) is a unique common fixed point of the asymptotic 𝒮ℳ𝒦-sequence {fn}n∈ℕ of Example 2.6.If the stronger Meir-Keeler cone-type mappingξ(t)=c for some c∈[0,1), then we are easy to get the following corollaries.Corollary 2.9.
Let(X,d) be a complete cone metric space, P a regular cone of a real Banach space E, and let c∈[0,1). Suppose the sequence of mappings
(2.20){fn}n∈N,fn:X⟶X
satisfy that for some α∈ℕ,
(2.21)d(fiαx,fjαy)≼c⋅d(x,y),∀x,y∈X,andi,j∈N.
Then, {fn}n∈ℕ has a unique common fixed point in X.Corollary 2.10 (see [11]).
Let(X,d) be a complete cone metric space, P a regular cone of a real Banach space E, and let c∈[0,1). Suppose the mapping f:X→X satisfies that for some α∈ℕ,
(2.22)d(fαx,fαy)≼c⋅d(x,y),∀x,y∈X.
Then, f has a unique fixed point in X.Definition 2.11.
Let(X,d) be a cone metric space with a cone P, and let
(2.23)ξ,ξi,j:int⁡(P)∪{θ}→[0,1),∀i,j∈N
be stronger Meir-Keeler cone-type mappings with
(2.24)sup⁡i,j∈N⁡ξi,j(t)≤ξ(t)∀t∈P.
Suppose the sequence {fn}n∈ℕ, fn:X→X satisfy that for some α∈ℕ,
(2.25)d(fiαx,fjαy)≼ξi,j(d(x,y))⋅d(x,y),∀x,y∈X,i,j∈N.
Then, we call {fn}n∈ℕ a generalized asymptotic 𝒮ℳ𝒦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j}i,j∈ℕ.Example 2.12.
LetE=ℝ2 and P={(x,y)∈ℝ2|x,y≽θ} a normal cone in E. Let
(2.26)X={(x,0)∈R2∣x≥0}∪{(0,y)∈R2∣y≥0},
and we define the mapping d:X×X→E by
(2.27)d((x,0),(y,0))=(95|x-y|,|x-y|),d((0,x),(0,y))=(|x-y|,35|x-y|),d((x,0),(0,y))=d((0,y),(x,0))=(95x+y,x+35y).
Let {fn}n∈ℕ, fn:X→X be
(2.28)fn(x,0)=(0,2nx),fn(0,y)=(12n+1y,0),
and let ξi,j,ξ:P→[0,1) be
(2.29)ξi,j(t)={12,ift≼1,12+14‖t‖i+j,ift≫1,ξ(t)={34,ift≼3,‖t‖‖t‖+1,ift≫3.
Then, {ξi,j}i,j∈ℕ be stronger Meir-Keeler cone-type mappings with
(2.30)sup⁡i,j∈N⁡ξi,j(t)≼ξ(t)∀t∈P,
and for α=2, let {fn}n∈ℕ be a generalized asymptotic 𝒮ℳ𝒦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j}i,j∈ℕ.Follows Theorem3.4, we are easy to conclude the following results.Theorem 2.13.
Let(X,d) be a complete cone metric space, P a regular cone of a real Banach space E, let
(2.31)ξ,ξi,j:int⁡(P)∪{θ}→[0,1),∀i,j∈N
be stronger Meir-Keeler cone-type mappings with
(2.32)sup⁡i,j∈N⁡ξi,j(t)≼ξ(t)∀t∈P,
and let
(2.33){fn}n∈N,fn:X⟶X
be a generalized asymptotic 𝒮ℳ𝒦-sequence with respect to the stronger Meir-Keeler cone-type mappings {ξi,j}i,j∈ℕ. Then, {fn}n∈ℕ has a unique common fixed point in X.Example 2.14.
It is easy to get that(0,0) is a unique common fixed point of the generalized 𝒮ℳ𝒦-sequence {fn}n∈ℕ of Example 2.12.


## 3. Common Fixed Point Theorems for the Asymptotic𝒲ℳ𝒦-Sequences

In this section, we first introduce the notions of the weaker Meir-Keeler cone-type mappingϕ:int(P)∪{θ}→int(P)∪{θ} and the asymptotic 𝒲ℳ𝒦-sequence with respect to this weaker Meir-Keeler cone-type mapping ϕ, and we next prove some common fixed point theorems for the asymptotic 𝒲ℳ𝒦-sequence in cone metric spaces.Definition 3.1.
Let(X,d) be a cone metric space with cone P, and let
(3.1)ϕ:int⁡(P)∪{θ}⟶int⁡(P)∪{θ}.
Then, the function ϕ is called a weaker Meir-Keeler cone-type mapping, if for each η∈int(P) with η≫θ there exists δ≫θ such that for x,y∈X with η≼d(x,y)≪δ+η there exists n0∈ℕ such that ϕn0(d(x,y))≪η.Example 3.2.
LetE=ℝ, P={x∈E:x≽θ} a normal cone, X=[0,∞), and let d:X×X→E be the Euclidean metric. Define ϕ:int(P)∪{θ}→int(P)∪{θ} by ϕ(d(x,y))=(1/3)d(x,y) for x,y∈X, then ϕ is a weaker Meir-Keeler cone-type mapping.Definition 3.3.
Let(X,d) be a cone metric space with a cone P, ϕ:int(P)∪{θ}→int(P)∪{θ} be a weaker Meir-Keeler cone-type mapping, and let
(3.2){fn}n∈N,fn:X→X
be a sequence of mappings. Suppose that there exists α∈ℕ such that the sequence {fn}n∈ℕ satisfy that
(3.3)d(fiαx,fjαy)≼ϕ(d(x,y)),∀x,y∈X,i,j∈N.
Then, we call {fn}n∈ℕ an asymptotic 𝒲ℳ𝒦-sequence with respect to this weaker Meir-Keeler cone-type mapping ξ.Now, we will prove the following common fixed point theorem of the asymptotic𝒲ℳ𝒦-sequence with respect to this weaker Meir-Keeler cone-type mapping for cone metric spaces with regular cone.Theorem 3.4.
Let(X,d) be a complete cone metric space, P a regular cone in E, and let ϕ:int(P)∪{θ}→int(P)∪{θ} be a weaker Meir-Keeler cone-type mapping, and ϕ also satisfies the following conditions:(i)
ϕ(θ)=θ; ϕ(t)≪t for all t≫θ,(ii)
fortn∈int(P)∪{θ}, if limn→∞tn=γ≫θ, then limn→∞ϕ(tn)≪γ,(iii)
{ϕn(t)}n∈ℕ is decreasing.Suppose that
(3.4){fn}n∈N,fn:X⟶X
is an asymptotic 𝒲ℳ𝒦-sequence with respect to this weaker Meir-Keeler cone-type mapping ϕ. Then, {fn}n∈ℕ has a unique common fixed point in X.Proof.
Since{fn}n∈ℕ is an asymptotic 𝒲ℳ𝒦-sequence with respect to this weaker Meir-Keeler cone-type mapping ξ, there exists α∈ℕ such that
(3.5)d(fiαx,fjαy)≼ϕ(d(x,y)),∀x,y∈X,i,j∈N.
Givenx0∈X and we define the sequence {xn} recursively as follows:
(3.6)xn=fnαxn-1,∀n∈N.
Hence, for each n∈ℕ, we have
(3.7)d(xn,xn+1)=d(fnαxn-1,fn+1αxn)≼ϕ(d(xn-1,xn))=ϕ(d(fn-1αxn-2,fnαxn-1))≼ϕ2(d(xn-2,xn-1))≼⋯≼ϕnd(x0,x1).
Since{ϕn(d(x0,x1))}n∈ℕ is decreasing. Regularity of P guarantees that the mentioned sequence is convergent. Let limn→∞ϕn(d(x0,x1))=η, η≥θ. We claim that η=θ. On the contrary, assume that θ≪η. Then, by the definition of the weaker Meir-Keeler cone-type mapping, there exists δ≫0 such that for x0,x1∈X with η≼d(x0,x1)≪δ+η there exists n0∈ℕ such that ϕn0(d(x0,x1))≪η. Since limn→∞ϕn(d(x,fx))=η, there exists m0∈ℕ such that η≼ϕmd(x0,x1)≪δ+η, for all m≥m0. Thus, we conclude that ϕm0+n0(d(x0,x1))≪η. So, we get a contradiction. So, limn→∞ϕn(d(x0,x1))=θ, and so limn→∞d(xn,xn+1)=θ.
Next, we letcm=d(xm,xm+1), and we claim that the following result holds:
(**)foreachɛ≫θ,thereisn0(ɛ)∈Nsuchthatforallm,n≥n0(ɛ),d(xm,xm+1)≪ɛ.
We will prove (3.7) by contradiction. Suppose that (3.7) is false. Then, there exists some ɛ≫θ such that for all k∈ℕ, there are mk,nk∈ℕ with mk>nk≥k satisfying:(1)
mk is even and nk is odd,(2)
d(xmk,xnk)≽ɛ,(3)
mk is the smallest even number such that the conditions (1), (2) hold.By (2), we have limk→∞d(xmk,xnk)=ɛ, and
(3.8)ɛ≼d(xmk,xnk)≼d(xmk,xmk+1)+d(xmk+1,xnk+1)+d(xnk+1,xnk)≼d(xmk,xmk+1)+ϕ(d(xmk,xnk))+d(xnk+1,xnk).
Letting k→∞. Then, by the condition (ii) of this weaker Meir-Keeler cone-type mapping ϕ, we have
(3.9)ɛ≼θ+lim⁡k→∞ϕ(d(xmk,xnk))+θ≪ɛ,
a contradiction. So, {xn} is a Cauchy sequence. Since (X,d) is a complete cone metric space, there exists ν∈X such that limn→∞xn=ν.
We next prove thatν is a unique periodic point of fj, for all j∈ℕ. Since for all j∈ℕ,
(3.10)d(ν,fjαν)=d(ν,xn)+d(xn,fjαν)=d(ν,xn)+d(fnαxn-1,fjαν)=d(ν,xn)+ϕ(d(xn-1,ν))≪d(ν,xn)+d(xn-1,ν),
we have d(ν,fjαν)→θ. This implies that ν=fjαν. So, ν is a periodic point of fj, for all j∈ℕ.
Letμ be another periodic point of fi, for all i∈ℕ. Then,
(3.11)d(μ,ν)=d(fiαμ,fjαν)≼ϕ(d(μ,ν))≪d(μ,ν).
Then, μ=ν.
Sincefiν=fi(fiαν)=fjα(fiν), we have that fiν is also a periodic point of fi, for all j∈ℕ. Therefore, ν=fiν, for all j∈ℕ, that is, ν is a unique common fixed point of {fn}n∈ℕ.



---

*Source: 127521-2011-12-29.xml*