# Coupled Fixed Point Theorems of Single-Valued Mapping forc-Distance in Cone Metric Spaces

Authors: Zaid Mohammed Fadail; Abd Ghafur Bin Ahmad
Journal: Journal of Applied Mathematics
 (2012)

---

## Abstract

A new concept of thec-distance in cone metric space has been
introduced recently in 2011. The aim of this paper is to extend and generalize
some coupled fixed-point theorems on c-distance in cone metric space. Some
examples are given.


---

## Body

## 1. Introduction

In 2007, Huang and Zhang [1] introduced the concept of cone metric space where each pair of points is assigned to a member of a real Banach space with a cone. Then, several authors have studied the existence and uniqueness of the fixed point and common fixed point for self-map f by considered different types of contractive conditions. Some of these works are noted in [2–12].In [13], Bhaskar and Lakshmikantham introduced the concept of coupled fixed point for a given partially ordered set X. Lakshmikantham and Ćirić [14] proved some more coupled fixed-point theorems in partially ordered set.In [15], Sabetghadam et al. considered the corresponding definition of coupled fixed point for the mapping in complete cone metric space and proved some coupled fixed point theorems. Then, several authors have studied the existence and uniqueness of the coupled fixed point and coupled common fixed point by considered different types of contractive conditions. Some of these works are noted in [16–23].Recently, Cho et al. [23] introduced a new concept of the c-distance in cone metric spaces (also see [24]) and proved some fixed-point theorems in ordered cone metric spaces. This is more general than the classical Banach contraction mapping principle. Sintunavarat et al. [25] extended and developed the Banach contraction theorem on c-distance of Cho et al. [23]. Wang and Guo [24] proved some common fixed point theorems for this new distance. Several authors have studied on the generalized distance in cone metric space. Some of this works are noted in [26–29].In [28], Cho et al. proved some coupled fixed point theorems in ordered cone metric spaces by using the concept of c-distance.Recall the following definition.Definition 1.1 (see [15]).
Let(X,d) be a cone metric space. An element (x,y)∈X×X is said to be a coupled fixed point of the mapping F:X×X→X if F(x,y)=x and F(y,x)=y.The following theorems are the main results given in [15].Theorem 1.2 (see [15]).
Let(X,d) be a complete cone metric space. Suppose that the mapping F:X×X→X satisfies the following contractive condition for all x,y,u,v∈X:
(1.1)d(F(x,y),F(u,v))⪯kd(x,u)+ld(y,v),
where k,l are nonnegative constants with k+l<1. Then F has a unique coupled fixed point.Theorem 1.3 (see [15]).
Let(X,d) be a complete cone metric space. Suppose the mapping F:X×X→X satisfies the following contractive condition for all x,y,u,v∈X:
(1.2)d(F(x,y),F(u,v))⪯kd(F(x,y),x)+ld(F(u,v),u),
where k,l are nonnegative constants with k+l<1. Then F has a unique coupled fixed point.In this paper we proved some coupled fixed point results forc-distance in cone metric space. Our theorems extend and develop some theorems of Sabetghadam et al. [15] on c-distance of Cho et al. [23] in cone metric space.


## 2. Preliminaries

LetE be a real Banach space and θ denote to the zero element in E. A cone P is a subset of E such that  (1)
P is nonempty set closed and P≠{θ},(2)
ifa,b are nonnegative real numbers and x,y∈P then ax+by∈P, and(3)
x∈P and -x∈P implies x=θ.For any cone P⊂E, the partial ordering ⪯ with respect to P is defined by x⪯y if and only if y-x∈P. The notation of ≺ stands for x⪯y but x≠y. Also, we used x≪y to indicate that y-x∈intP, where intP denotes the interior of P. A cone P is called normal if there exists a number K such that
(2.1)θ⪯x⪯y⟹‖x‖≤K‖y‖
for all x,y∈E. The least positive number K satisfying the above condition is called the normal constant of P.Definition 2.1 (see [1]).
LetX be a nonempty set and E be a real Banach space equipped with the partial ordering ⪯ with respect to the cone P. Suppose that the mapping d:X×X→E satisfies the following condition:  (1)
θ⪯d(x,y) for all x,y∈X and d(x,y)=θ if and only if x=y,(2)
d(x,y)=d(y,x) for all x,y∈X, and(3)
d(x,y)⪯d(x,y)+d(y,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 2.2 (see [1]).
Let(X,d) be a cone metric space and {xn} be a sequence in X and x∈X.
One has the following:(1)
for allc∈E with θ≪c, if there exists a positive integer N such that d(xn,x)≪c for all n>N, then xn is said to be convergent and x is the limit of {xn}. We denote this by xn→x,(2)
for allc∈E with θ≪c, if there exists a positive integer N such that d(xn,xm)≪c for all n,m>N then {xn} is called a Cauchy sequence in X, and(3)
a cone metric space(X,d) is called complete if every Cauchy sequence in X is convergent.Lemma 2.3 (see [8]).
(1) IfE be a real Banach space with a cone P and a⪯λa where a∈P and 0≤λ<1, then a=θ.
(2) Ifc∈intP, θ⪯an and an→θ, then there exists a positive integer N such that an≪c for all n≥N.Next we give the notation ofc-distance on a cone metric space which is a generalization of ω-distance of Kada et al. [30] with some properties.Definition 2.4 (see [23]).
Let(X,d) be a cone metric space. A function q:X×X→E is called a c-distance on X if the following conditions hold:  (q1)
θ⪯q(x,y) for all x,y∈X,(q2)
q(x,y)⪯q(x,y)+q(y,z) for all x,y,z∈X,(q3)
for eachx∈X and n≥1, if q(x,yn)⪯u for some u=ux∈P, then q(x,y)⪯u whenever {yn} is a sequence in X converging to a point y∈X, and(q4)
for allc∈E with θ≪c, there exists e∈E with θ≪e such that q(z,x)≪e and q(z,y)≪e imply d(x,y)≪c.Example 2.5 (see [23]).
LetE=ℝ and P=(x∈E:x≥0). Let X=[0,∞) and define a mapping d:X×X→E by d(x,y)=|x-y| for all x,y∈X. Then (X,d) is a cone metric space. Define a mapping q:X×X→E by q(x,y)=y for all x,y∈X. Then q is a c-distance on X.Lemma 2.6 (see [23]).
Let(X,d) be a cone metric space and q is a c-distance on X. Let {xn} and {yn} be sequences in X and x,y,z∈X. Suppose that un is a sequences in P converging to θ. Then the following hold.(1)
Ifq(xn,y)⪯un and q(xn,z)⪯un, then y=z.(2)
Ifq(xn,yn)⪯un and q(xn,z)⪯un, then {yn} converges to z.(3)
Ifq(xn,xm)⪯un for m>n, then {xn} is a Cauchy sequence in X.(4)
Ifq(y,xn)⪯un, then {xn} is a Cauchy sequence in X.Remark 2.7 (see [23]).
(1)q(x,y)=q(y,x) does not necessarily for all x,y∈X.
(2)q(x,y)=θ is not necessarily equivalent to x=y for all x,y∈X.


## 3. Main Results

In this section we prove some coupled fixed point theorems usingc-distance in cone metric space. In whole paper cone metric space is over nonnormal cone with nonempty interior.Theorem 3.1.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Let F:X×X→X be a mapping and suppose that there exists mappings k,l:X×X→[0,1) such that the following hold:(a)
k(F(x,y),F(u,v))≤k(x,y) and l(F(x,y),F(u,v))≤l(x,y) for all x,y,u,v∈X,(b)
k(x,y)=k(y,x) and l(x,y)=l(y,x) for all x,y∈X,(c)
(k+l)(x,y)<1 for all x,y∈X,(d)
q(F(x,y),F(u,v))⪯k(x,y)q(x,u)+l(x,y)q(y,v) for all x,y,u,v∈X.Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Proof.
Choosex0,y0∈X. Set x1=F(x0,y0),y1=F(y0,x0),x2=F(x1,y1),y2=F(y1,x1),…,xn+1=F(xn,yn),yn+1=F(yn,xn). Then we have the following:
(3.1)q(xn,xn+1)=q(F(xn-1,yn-1),F(xn,yn))⪯k(xn-1,yn-1)q(xn-1,xn)+l(xn-1,yn-1)q(yn-1,yn)=k(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn)+l(F(xn-2,yn-2),F(yn-2,xn-2))q(yn-1,yn)⪯k(xn-2,yn-2)q(xn-1,xn)+l(xn-2,yn-2)q(yn-1,yn)⋮⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(yn-1,yn).
And similarly(3.2)q(yn,yn+1)=q(F(yn-1,xn-1),F(yn,xn))⪯k(yn-1,xn-1)q(yn-1,yn)+l(yn-1,xn-1)q(xn-1,xn)=k(F(yn-2,xn-2),F(xn-2,yn-2))q(yn-1,yn)+l(F(yn-2,xn-2),F(xn-2,yn-2))q(xn-1,xn)⪯k(yn-2,xn-2)q(yn-1,yn)+l(yn-2,xn-2)q(xn-1,xn)⋮⪯k(y0,x0)q(yn-1,yn)+l(y0,x0)q(xn-1,xn)=k(x0,y0)q(yn-1,yn)+l(x0,y0)q(xn-1,xn).
Put, qn=q(xn,xn+1)+q(yn,yn+1). Then we have
(3.3)qn=q(xn,xn+1)+q(yn,yn+1)⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(yn-1,yn)+k(x0,y0)q(yn-1,yn)+l(x0,y0)q(xn-1,xn)=(k(x0,y0)+l(x0,y0))(q(xn-1,xn)+q(yn-1,yn))=(k(x0,y0)+l(x0,y0))qn-1=hqn-1⋮⪯hnq0,
where h=k(x0,y0)+l(x0,y0)<1.
Letm>n≥1. It follows that
(3.4)q(xn,xm)⪯q(xn,xn+1)+q(xn+1,xn+2)+⋯+q(xm-1,xm),q(yn,ym)⪯q(yn,yn+1)+q(yn+1,xy+2)+⋯+q(yy-1,ym).
Then we have
(3.5)q(xn,xm)+q(yn,ym)⪯qn+qn+1+⋯+qm-1⪯hnq0+hn+1q0+⋯+hm-1q0=(hn+hn+1+⋯+hm-1)q0⪯hn1-hq0.
From (3.5) we have
(3.6)q(xn,xm)⪯hn1-hq0,
and also
(3.7)q(yn,ym)⪯hn1-hq0.
Thus, Lemma 2.6(3) shows that {xn} and {yn} are Cauchy sequences in X. Since X is complete, there exists x* and y*∈X such that xn→x* and yn→y* as n→∞. By (q3) we have the following:
(3.8)q(xn,x*)⪯hn1-hq0,
and also
(3.9)q(yn,y*)⪯hn1-hq0.
On the other hand,(3.10)q(xn,F(x*,y*))=q(F(xn-1,yn-1),F(x*,y*))⪯k(xn-1,yn-1)q(xn-1,x*)+l(xn-1,yn-1)q(yn-1,y*)=k(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,x*)+l(F(xn-2,yn-2),F(yn-2,xn-2))q(yn-1,y*)⪯k(xn-2,yn-2)q(xn-1,x*)+l(xn-2,yn-2)q(yn-1,y*)⋮⪯k(x0,y0)q(xn-1,x*)+l(x0,y0)q(yn-1,y*)⪯k(x0,y0)hn-11-hq0+l(x0,y0)hn-11-hq0=(k(x0,y0)+l(x0,y0))hn-11-hq0=hhn-11-hq0=hn1-hq0.
By Lemma 2.6 (1), (3.8), and (3.10), we have x*=F(x*,y*). By similar way we have y*=F(y*,x*). Therefore (x*,y*) is a coupled fixed point of F.
Suppose thatx1=F(x1,y1) and y1=F(y1,x1), then we have
(3.11)q(x1,x1)=q(F(x1,y1),F(x1,y1))⪯k(x1,y1)q(x1,x1)+l(x1,y1)q(y1,y1),
and also
(3.12)q(y1,y1)=q(F(y1,x1),F(y1,x1))⪯k(y1,x1)q(y1,y1)+l(y1,x1)q(x1,x1)=k(x1,y1)q(y1,y1)+l(x1,y1)q(x1,x1)
which implies that
(3.13)q(x1,x1)+q(y1,y1)⪯k(x1,y1)q(x1,x1)+k(x1,y1)q(y1,y1)+l(x1,y1)q(y1,y1)+l(x1,y1)q(x1,x1)=(k(x1,y1)+l(x1,y1))(q(x1,x1)+q(y1,y1))=(k+l)(x1,y1)(q(x1,x1)+q(y1,y1)).
Since (k+l)(x1,y1)<1, Lemma 2.3 (1) shows that q(x1,x1)+q(y1,y1)=θ. But q(x1,x1)≽θ and q(y1,y1)≽θ, hence q(x1,x1)=θ and q(y1,y1)=θ.
Finally, suppose that there is another coupled fixed point(x′,y′) then we have
(3.14)q(x*,x′)=q(F(x*,y*),F(x′,y′))⪯k(x*,y*)q(x*,x′)+l(x*,y*)q(y*,y′)
and also
(3.15)q(y*,y′)=q(F(y*,x*),F(y′,x′))⪯k(y*,x*)q(y*,y′)+l(y*,x*)q(x*,x′)=k(x*,y*)q(y*,y′)+l(x*,y*)q(x*,x′),
which implies that
(3.16)q(x*,x′)+q(y*,y′)⪯k(x*,y*)q(x*,x′)+k(x*,y*)q(y*,y′)+l(x*,y*)q(y*,y′)+l(x*,y*)q(x*,x′)=(k(x*,y*)+l(x*,y*))(q(x*,x′)+q(y*,y′))=(k+l)(x*,y*)(q(x*,x′)+q(y*,y′)).
Since (k+l)(x*,y*)<1, Lemma 2.3 (1) shows that q(x*,x′)+q(y*,y′)=θ. But q(x*,x′)≽θ and q(y*,y′)≽θ. Hence q(x*,x′)=θ and q(y*,y′)=θ. Also we have q(x*,x*)=θ and q(y*,y*)=θ. Hence Lemma 2.6 part 1 shows that x*=x′ and y*=y′, which implies that (x*,y*)=(x′,y′). Similarly, we prove that x*=y′ and y*=x′. Hence, x*=y*. Therefore, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.From above Theorem we have the following corollaries.Corollary 3.2.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X satisfies the following contractive condition:
(3.17)q(F(x,y),F(u,v))⪯kq(x,u)+lq(y,v),
for all x,y,u,v∈X, where k,l are nonnegative constants with k+l<1. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1) then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.3.
Let(X,d) be a complete cone metric space and q is a c -distance on X. Suppose that the mapping F:X×X→X satisfies the following contractive condition:
(3.18)q(F(x,y),F(u,v))⪯k[q(x,u)+q(y,v)],
for all x,y,u,v∈X, where k∈[0,1/2). Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Theorem 3.4.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X is continuous, and suppose that there exists mappings k,l,r:X×X→[0,1) such that the following hold:  (a)
k(F(x,y),F(u,v))≤k(x,y), l(F(x,y),F(u,v))≤l(x,y)r(F(x,y),F(u,v))≤r(x,y) for all x,y,u,v∈X,(b)
(k+l+r)(x,y)<1 for all x,y∈X, and(c)
q(F(x,y),F(u,v))⪯k(x,y)q(x,u)+l(x,y)q(x,F(x,y))+r(x,y)q(u,F(u,v)) for all x,y,u,v∈X.Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Proof.
Choosex0,y0∈X. Set x1=F(x0,y0),y1=F(y0,x0),x2=F(x1,y1),y2=F(y1,x1),…,xn+1=F(xn,yn),yn+1=F(yn,xn). Then we have the following:
(3.19)q(xn,xn+1)=q(F(xn-1,yn-1),F(xn,yn))⪯k(xn-1,yn-1)q(xn-1,xn)+l(xn-1,yn-1)q(xn-1,F(xn-1,yn-1))+r(xn-1,yn-1)q(xn,F(xn,yn))=k(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn)+l(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn)+r(F(xn-2,yn-2),F(yn-2,xn-2))q(xn,xn+1)⪯k(xn-2,yn-2)q(xn-1,xn)+l(xn-2,yn-2)q(xn-1,xn)+r(xn-2,yn-2)q(xn,xn+1)⋮⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn-1,xn)+r(x0,y0)q(xn,xn+1).
Then, we have
(3.20)q(xn,xn+1)⪯k(x0,y0)+l(x0,y0)1-r(x0,y0)q(xn-1,xn)=hq(xn-1,xn)⪯h2q(xn-2,xn-1)⋮⪯hnq(x0,x1),
where h=(k(x0,y0)+l(x0,y0))/(1-r(x0,y0))<1.
Similarly we have(3.21)q(yn,yn+1)⪯k(y0,x0)+l(y0,x0)1-l(y0,x0)-r(y0,x0)q(yn-1,yn)=dq(yn-1,yn)⪯d2q(yn-2,yn-1)⋮⪯dnq(y0,y1),
where d=(k(y0,x0)+l(y0,x0))/(1-l(y0,x0)-r(y0,x0))<1.
Letm>n≥1. Then it follows that
(3.22)q(xn,xm)⪯q(xn,xn+1)+q(xn+1,xn+2)+⋯+q(xm-1,xm)⪯(hn+hn+1+⋯+hm-1)q(x0,x1)⪯hn1-hq(x0,x1)
and also
(3.23)q(yn,ym)⪯q(yn,yn+1)+q(yn+1,yn+2)+⋯+q(ym-1,ym)⪯(dn+dn+1+⋯+dm-1)q(y0,y1)⪯dn1-dq(y0,y1).
Thus, Lemma 2.6 (3) shows that {xn} and {yn} are Cauchy sequences in X. Since X is complete, there exists x* and y*∈X such that xn→x* and yn→y* as n→∞. Since F is continuous, then x*=limxn+1=limF(xn,yn)=F(limxn,limyn)=F(x*,y*). Similarly, y*=F(y*,x*). Therefore, (x*,y*) is a coupled fixed point of F.
Suppose thatx1=F(x1,y1) and y1=F(y1,x1), then we have
(3.24)q(x1,x1)=q(F(x1,y1),F(x1,y1))⪯k(x1,x1)q(x1,x1)+l(x1,x1)q(x1,F(x1,y1))+r(x1,x1)q(x1,F(x1,y1))=k(x1,x1)q(x1,x1)+l(x1,x1)q(x1,x1)+r(x1,x1)q(x1,x1)=(k+l+r)(x1,x1)q(x1,x1).
Since (k+l+r)(x1,x1)<1, Lemma 2.3 (1) shows that q(x1,x1)=θ. By similar way, q(y1,y1)=θ.
Finally, suppose that there is another coupled fixed point(x′,y′), then we have
(3.25)q(x*,x′)=q(F(x*,y*),F(x′,y′))⪯k(x*,y*)q(x*,x′)+l(x*,y*)q(x*,F(x*,y*))+r(x*,y*)q(x′,F(x′,y′))=k(x*,y*)q(x*,x′)+l(x*,y*)q(x*,x*)+r(x*,y*)q(x′,x′)=k(x*,y*)q(x*,x′)⪯k(x*,y*)q(x*,x′)+l(x*,y*)q(x*,x′)+r(x*,y*)q(x*,x′)=(k+l+r)(x*,y*)q(x*,x′).
Since (k+l+r)(x*,y*)<1, Lemma 2.3 (1) shows that q(x*,x′)=θ. Also we have q(x*,x*)=θ. Hence Lemma 2.6 (1) show that x*=x′. By similar way we have y*=y′ which implies that (x*,y*)=(x′,y′). Similarly, we prove that x*=y′ and y*=x′. Hence, x*=y*. Therefore, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.From the above theorem, we have the following corollaries.Corollary 3.5.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X is continuous, and suppose that there exist mappings l,r:X×X→[0,1) such that the following hold:  (a)
l(F(x,y),F(u,v))≤l(x,y) and r(F(x,y),F(u,v))≤r(x,y) for all x,y,u,v∈X,(b)
(l+r)(x,y)<1 for all x,y∈X, and(c)
q(F(x,y),F(u,v))⪯l(x,y)q(x,F(x,y))+r(x,y)q(u,F(u,v)) for all x,y,u,v∈X.Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.6.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X is continuous and satisfies the following contractive condition:
(3.26)q(F(x,y),F(u,v))⪯kq(x,u)+lq(x,F(x,y))+rq(u,F(u,v)),
for all x,y,u,v∈X, where k,l,r are nonnegative constants with k+l+r<1. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.7.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X is continuous and satisfies the following contractive condition for all:
(3.27)q(F(x,y),F(u,v))⪯lq(x,F(x,y))+rq(u,F(u,v)),
for all x,y,u,v∈X, where l,r are nonnegative constants with l+r<1. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1) then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.8.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X is continuous and satisfies the following contractive condition for all:
(3.28)q(F(x,y),F(u,v))⪯l[q(x,F(x,y))+q(u,F(u,v))],
for all x,y,u,v∈X, where l∈[0,1/2) is a constant. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Finally, we provide another result without condition (b) in Theorem3.1, and we do not require that F is continuous.Theorem 3.9.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Let F:X×X→X be a mapping, and suppose that there exists mappings k,l,r:X×X→[0,1) such that the following hold:  (a)
k(F(x,y),F(u,v))≤k(x,y), l(F(x,y),F(u,v))≤l(x,y) and r(F(x,y),F(u,v))≤r(x,y) for all x,y,u,v∈X,(b)
(k+2l+r)(x,y)<1 for all x,y∈X, and(c)
(1-r(x,y))q(F(x,y),F(u,v))⪯k(x,y)q(x,F(x,y))+l(x,y)q(x,F(u,v)) for all x,y,u,v∈X.Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Proof.
Choosex0,y0∈X. Set x1=F(x0,y0),y1=F(y0,x0),x2=F(x1,y1),y2=F(y1,x1),…,xn+1=F(xn,yn),yn+1=F(yn,xn). Observe that
(3.29)(1-r(x,y))q(F(x,y),F(u,v))⪯k(x,y)q(x,F(x,y))+l(x,y)q(x,F(u,v)),
equivalently
(3.30)q(F(x,y),F(u,v))⪯k(x,y)q(x,F(x,y))+l(x,y)q(x,F(u,v))+r(x,y)q(F(x,y),F(u,v)).
Then we have the following:
(3.31)q(xn,xn+1)=q(F(xn-1,yn-1),F(xn,yn))⪯k(xn-1,yn-1)q(xn-1,F(xn-1,yn-1))+l(xn-1,yn-1)q(xn-1,F(xn,yn))+r(xn-1,yn-1)q(F(xn-1,yn-1),F(xn,yn))=k(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn)+l(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn+1)+r(F(xn-2,yn-2),F(yn-2,xn-2))q(xn,xn+1)⪯k(xn-2,yn-2)q(xn-1,xn)+l(xn-2,yn-2)q(xn-1,xn+1)+r(xn-2,yn-2)q(xn,xn+1)⋮⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn-1,xn+1)+r(x0,y0)q(xn,xn+1)⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn,xn+1)+r(x0,y0)q(xn,xn+1).
Then, we have
(3.32)q(xn,xn+1)⪯k(x0,y0)+l(x0,y0)1-l(x0,y0)-r(x0,y0)q(xn-1,xn)=hq(xn-1,xn)⪯h2q(xn-2,xn-1)⋮⪯hnq(x0,x1),
where h=(k(x0,yo)+l(x0,yo))/(1-l(x0,yo)-r(x0,yo))<1.
Similarly we have(3.33)q(yn,yn+1)⪯k(y0,x0)+l(y0,x0)1-l(y0,x0)-r(y0,x0)q(yn-1,yn)=dq(yn-1,yn)⪯d2q(yn-2,yn-1)⋮⪯dnq(y0,y1),
where d=(k(y0,x0)+l(y0,x0))/(1-l(y0,x0)-r(y0,x0))<1.
Letm>n≥1. Then it follows that
(3.34)q(xn,xm)⪯q(xn,xn+1)+q(xn+1,xn+2)+⋯+q(xm-1,xm)⪯(hn+hn+1+⋯+hm-1)q(x0,x1)⪯hn1-hq(x0,x1)
and also
(3.35)q(yn,ym)⪯q(yn,yn+1)+q(yn+1,yn+2)+⋯+q(ym-1,ym)⪯(dn+dn+1+⋯+dm-1)q(y0,y1)⪯dn1-dq(y0,y1).
Thus, Lemma 2.6 (3) shows that {xn} and {yn} are Cauchy sequences in X. Since X is complete, there exists x* and y*∈X such that xn→x* and yn→y* as n→∞. By (q3) we have
(3.36)q(xn,x*)⪯hn1-hq(x0,x1),(3.37)q(yn,y*)⪯dn1-dq(y0,y1).
On the other hand, we have(3.38)q(xn,F(x*,y*))=q(F(xn-1,yn-1),F(x*,y*))⪯k(xn-1,yn-1)q(xn-1,F(xn-1,yn-1))+l(xn-1,yn-1)q(xn-1,F(x*,y*))+r(xn-1,yn-1)q(F(xn-1,yn-1),F(x*,y*))=k(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,xn)+l(F(xn-2,yn-2),F(yn-2,xn-2))q(xn-1,F(x*,y*))+r(F(xn-2,yn-2),F(yn-2,xn-2))q(xn,F(x*,y*))⪯k(xn-2,yn-2)q(xn-1,xn)+l(xn-2,yn-2)q(xn-1,F(x*,y*))+r(xn-2,yn-2)q(xn,F(x*,y*))⋮⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn-1,F(x*,y*))+r(x0,y0)q(xn,F(x*,y*))⪯k(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn-1,xn)+l(x0,y0)q(xn,F(x*,y*))+r(x0,y0)q(xn,F(x*,y*)).
Then, we have
(3.39)q(xn,F(x*,y*))⪯k(x0,y0)+l(x0,y0)1-l(x0,y0)-r(x0,y0)q(xn-1,xn)=hq(xn-1,xn)⪯hhn-1q(x0,x1)=hnq(x0,x1)⪯hn1-hq(x0,x1).
By Lemma 2.6 (1), (3.36), and (3.39), we have x*=F(x*,y*).
By similar way we have(3.40)q(yn,F(y*,x*))⪯dn1-dq(y0,y1).
By Lemma 2.6 (1), (3.37), and (3.40), we have y*=F(y*,x*). Therefore, (x*,y*) is a coupled fixed point of F.
Suppose thatx1=F(x1,y1) and y1=F(y1,x1), then we have
(3.41)q(x1,x1)=q(F(x1,y1),F(x1,y1))⪯k(x1,y1)q(x1,F(x1,y1))+l(x1,y1)q(x1,F(x1,y1))+r(x1,y1)q(F(x1,y1),F(x1,y1))=k(x1,y1)q(x1,x1)+l(x1,y1)q(x1,x1)+r(x1,y1)q(x1,x1)⪯k(x1,y1)q(x1,x1)+l(x1,y1)q(x1,x1)+l(x1,y1)q(x1,x1)+r(x1,y1)q(x1,x1)=(k+2l+r)(x1,y1)q(x1,x1).
Since (k+2l+r)(x1,y1)<1, Lemma 2.3 (1) shows that q(x1,x1)=θ. By similar way, q(y1,y1)=θ.
Finally, suppose that there is another coupled fixed point(x′,y′), then we have
(3.42)q(x*,x′)=q(F(x*,y*),F(x′,y′))⪯k(x*,y*)q(x*,F(x*,y*))+l(x*,y*)q(x*,F(x′,y′))+r(x*,y*)q(F(x*,y*),F(x′,y′))=k(x*,y*)q(x*,x*)+l(x*,y*)q(x*,x′)+r(x*,y*)q(x*,x′)=l(x*,y*)q(x*,x′)+r(x*,y*)q(x*,x′)⪯k(x*,y*)q(x*,x′)+l(x*,y*)q(x*,x′)+l(x*,y*)q(x*,x′)+r(x*,y*)q(x*,x′)=(k+2l+r)(x*,y*)q(x*,x′).
Since (k+2l+r)(x*,y*)<1, Lemma 2.3 (1) shows that q(x*,x′)=θ. Also we have q(x*,x*)=θ. Hence Lemma 2.6 (1) shows that x*=x′. By similar way we have y*=y′ which implies that (x*,y*)=(x′,y′). Similarly, we prove that x*=y′ and y*=x′. Hence, x*=y*. Therefore the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.From the above theorem, we have the following corollaries.Corollary 3.10.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Let F:X×X→X be a mapping, and suppose that there exists mappings k,l:X×X→[0,1) such that the following hold:  (a)
k(F(x,y),F(u,v))≤k(x,y) and l(F(x,y),F(u,v))≤l(x,y) for all x,y,u,v∈X,(b)
(k+2l)(x,y)<1 for all x,y∈X, and(c)
q(F(x,y),F(u,v))⪯k(x,y)q(x,F(x,y))+l(x,y)q(x,F(u,v)) for all x,y,u,v∈X.Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.11.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X satisfies the following contractive condition:
(3.43)(1-r)q(F(x,y),F(u,v))⪯kq(x,F(x,y))+lq(x,F(u,v)),
for all x,y,u,v∈X, where k,l,r are nonnegative constants with k+2l+r<1. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.12.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X satisfies the following contractive condition:
(3.44)q(F(x,y),F(u,v))⪯kq(x,F(x,y))+lq(x,F(u,v)),
for all x,y,u,v∈X, where k,l are nonnegative constants with k+2l<1. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Corollary 3.13.
Let(X,d) be a complete cone metric space, and q is a c -distance on X. Suppose that the mapping F:X×X→X satisfies the following contractive condition:
(3.45)q(F(x,y),F(u,v))⪯k[q(x,F(x,y))+q(x,F(u,v))],
for all x,y,u,v∈X, where k∈[0,1/3) is a constant. Then F has a coupled fixed point (x*,y*)∈X×X. Further, if x1=F(x1,y1) and y1=F(y1,x1), then q(x1,x1)=θ and q(y1,y1)=θ. Moreover, the coupled fixed point is unique and is of the form (x*,x*) for some x*∈X.Example 3.14.
Consider Example2.5. Define the mapping F:X×X→X by F(x,y)=(x+y)/4 for all (x,y)∈X×X. Then we have, q(F(x,y),F(u,v))=F(u,v)=(u+v)/4=u/4+v/4⪯(3/7)u+(3/7)v=kq(x,u)+lq(y,v) with k=l=3/7, and k+l=6/7<1. Therefore, the conditions of Theorem 3.1 are satisfied, and then F has a unique coupled fixed point (x,y)=(0,0) and F(0,0)=0 with q(0,0)=0.Example 3.15.
Consider Example2.5. Define the mapping F:X×X→X by F(7/8,7/8)=1/4 and F(x,y)=(x+y)/4 for all (x,y)∈X×X with (x,y)≠(7/8,7/8). Since d(F(1,1),F(7/8,7/8))=d(1,7/8)+d(1,7/8), there is not k,l∈[0,1) such that d(F(x,y),F(u,v))⪯kd(x,u)+ld(y,v) for all x,y,u,v in X. Since Theorem 1.2 of Sabetghadam et al. [15, Theorem  2.2] cannot applied to this example on cone metric space. To check this example on c-distance, we have  (1)
If(x,y)=(u,v)=(7/8,7/8), then we have q(F(7/8,7/8),F(7/8,7/8))=F(7/8,7/8)=1/4⪯k(7/8)+l(7/8)=kq(7/8,7/8)+lq(7/8,7/8) with k=l=3/7, and k+l=6/7<1.(2)
If(x,y)≠(u,v)≠(7/8,7/8), then we have q(F(x,y),F(u,v))=F(u,v)=(u+v)/4=u/4+v/4⪯(3/7)u+(3/7)v=kq(x,u)+lq(y,v) with k=l=3/7, and k+l=6/7<1.(3)
If(x,y)=(7/8,7/8),(u,v)≠(7/8,7/8), then we have q(F(7/8,7/8),F(u,v))=F(u,v)=(u+v)/4=u/4+v/4⪯(3/7)u+(3/7)v=kq(7/8,u)+lq(7/8,v) with k=l=3/7, and k+l=6/7<1.(4)
If(x,y)≠(7/8,7/8),(u,v)=(7/8,7/8), then we have q(F(x,y),F(7/8,7/8))=F(7/8,7/8)=1/4⪯k(7/8)+l(7/8)=kq(x,7/8)+lq(y,7/8) with k=l=3/7, and k+l=6/7<1.Hence q(F(x,y),F(u,v))⪯kq(x,u)+lq(y,v) for all x,y,u,v with k=l=3/7, and k+l=6/7<1. Therefore, the conditions of Theorem 3.1 are satisfied, and then F has a unique coupled fixed point (x,y)=(0,0) and F(0,0)=0 with q(0,0)=0.Remark 3.16.
In Example3.14, it is easy to see that d(F(x,y),F(u,v))⪯kd(x,u)+ld(y,v) for all x,y,u,v in X with k=l=1/4. Therefore, the condition of Theorem 1.2 of Sabetghadam et al. [15, Theorem  2.2] is satisfied, and then F has a unique coupled fixed point (x,y)=(0,0), F(0,0)=0 with q(0,0)=0.Example 3.17.
LetE=ℝ2 and P={(x,y)∈E:x,y≥0}. Let X=[0,1) and define a mapping d:X×X→E by d(x,y)=(|x-y|,|x-y|) for all x,y∈X. Then (X,d) is a complete cone metric space, see [15]. Define a mapping q:X×X→E by q(x,y)=(y,y) for all x,y∈X. Then q is a c-distance on X. In fact (q1)–(q3) are immediate. Let c∈E with θ≪c and put e=c/2. If q(z,x)≪e and q(z,y)≪e, then we have
(3.46)d(x,y)=(|x-y|,|x-y|)⪯(x+y,x+y)=(x,x)+(y,y)=q(z,x)+q(z,y)≪e+e=c.
This shows that (q4) holds. Therefore, q is a c-distance on X. Define the mapping F:X×X→X by F(x,y)=(x+y)/4 for all (x,y)∈X×X. Then we have, q(F(x,y),F(u,v))=(F(u,v),F(u,v))=((u+v)/4,(u+v)/4) = (u/4,u/4)+(v/4,v/4)=(1/4)(u, u)+(1/4)(v,v)⪯(3/7)(u,u) + (3/7)(v,v)=kq(x,u)+lq(y,v) with k=l=3/7, and k+l=6/7<1. Therefore, the conditions of Theorem 3.1 are satisfied, and then F has a unique coupled fixed point (x,y)=(0,0) and F(0,0)=0 with q(0,0)=0.



---

*Source: 246516-2012-07-19.xml*