CUBO A Mathematical Journal
Vol.16, No¯ 02, (135–148). June 2014

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair
Mappings in Ordered Cone Metric Spaces

Sushanta Kumar Mohanta

Department of Mathematics,

West Bengal State University,

Barasat, 24 Parganas (North), Kolkata 700126, West Bengal, India.

smwbes@yahoo.in

ABSTRACT

The existence of coupled coincidence points for mappings satisfying generalized con-

tractive conditions related to ψ and ϕ-maps in an ordered cone metric space is proved.

Our results extend and generalize some well-known comparable results in the existing

literature.

RESUMEN

Se prueba la existencia de puntos coincidentes acoplados para aplicaciones que satis-

facen las condiciones de contractividad generalizada relacionada a las aplicaciones ψ

y ϕ en un espacio métrico cono ordenados. Nuestro resultado extiende y generaliza

algunos resultados comparables conocidos en la literatura.

Keywords and Phrases: Cone metric space, ψ-map, ϕ-map, coupled coincidence point.

2010 AMS Mathematics Subject Classification: 54H25, 47H10.



136 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

1 Introduction

Fixed point theory plays a major role in mathematics because of its applications in many important

areas such as optimization, mathematical models, nonlinear and adaptive control systems. Over

the past two decades a considerable amount of research work for the development of metric fixed

point theory have executed by numerous mathematicians. The fixed points for certain mappings

in ordered metric spaces has been studied by Ran and Reurings [16]. In [11] Nieto and López

extended the result of Ran and Reurings [16] for nondecreasing mappings and applied their results

to obtain a unique solution for a first order differential equation. The existence of coupled fixed

points in partially ordered metric spaces was first investigated by Bhaskar and Laksmikantham

[3]. So far, many mathematicians have studied coupled fixed point results for mappings under

various contractive conditions in different metric spaces. In 2007, Huang and Zhang [5] introduced

the concept of cone metric spaces and proved some important fixed point theorems. Afterwards,

Sabetghadam and Masiha [17] obtained some fixed point results for generalized ϕ-pair mappings

in cone metric spaces. The purpose of this paper is to obtain sufficient conditions for existence of

coupled coincidence points for mappings satisfying generalized contractive conditions related to ψ

and ϕ -maps in ordered cone metric spaces.

2 Preliminaries

In this section we need to recall some basic notations, definitions, and necessary results from

existing literature.

Definition 1. [3] Let (X, ⊑) be a partially ordered set and F : X × X → X be a self-map. One

can say that F has the mixed monotone property if F(x, y) is monotone nondecreasing in x and is

monotone nonincreasing in y, that is, for all x1, x2 ∈ X, x1 ⊑ x2 implies F(x1, y) ⊑ F(x2, y) for

any y ∈ X, and for all y1, y2 ∈ X, y1 ⊒ y2 implies F(x, y1) ⊑ F(x, y2) for any x ∈ X.

Definition 2. [4] Let (X, ⊑) be a partially ordered set and F : X × X → X and g : X → X

be two self-mappings. F has the mixed g-monotone property if F is monotone g-nondecreasing

in its first argument and is monotone g-nonincreasing in its second argument, that is, for all

x1, x2 ∈ X, gx1 ⊑ gx2 implies F(x1, y) ⊑ F(x2, y) for any y ∈ X, and for all y1, y2 ∈ X, gy1 ⊑ gy2
implies F(x, y1) ⊒ F(x, y2) for any x ∈ X.

Definition 3. [3] An element (x, y) ∈ X × X is called a coupled fixed point of the mapping F :

X × X → X if x = F(x, y) and y = F(y, x).

Definition 4. [8] An element (x, y) ∈ X × X is called

(i) a coupled coincidence point of the mappings F : X × X → X and g : X → X if gx = F(x, y) and

gy = F(y, x),



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 137

(ii) a common coupled fixed point of the mappings F : X×X → X and g : X → X if x = gx = F(x, y)

and y = gy = F(y, x).

Definition 5. [4] Let X be a nonempty set. One can say that the mappings F : X × X → X and

g : X → X are commutative if g(F(x, y)) = F(gx, gy), for all x, y ∈ X.

Let E be a real Banach space and θ denote the zero element in E. A cone P is a subset of E

such that

(i) P is closed, nonempty and P ̸= {θ};

(ii) a, b ∈ R, a, b ≥ 0, x, y ∈ P ⇒ ax + by ∈ P;

(iii) P ∩ (−P) = {θ}.

For any cone P ⊆ E, we can define a partial ordering ≼ on E with respect to P by x ≼ y if and

only if y − x ∈ P. We shall write x ≺ y (equivalently, y ≻ x) if x ≼ y and x ̸= y, while x ≪ y will

stand for y − x ∈ int(P), where int(P) denotes the interior of P. The cone P is called normal if

there is a number k > 0 such that for all x, y ∈ E,

θ ≼ x ≼ y implies ∥x∥ ≤ k ∥y∥.

The least positive number satisfying the above inequality is called the normal constant of P.

Rezapour and Hamlbarani [13] proved that there are no normal cones with normal constant k < 1.

Definition 6. [2] Let P be a cone. A nondecreasing mapping ϕ : P → P is called a ϕ-map if

(ϕ1) ϕ(θ) = θ and θ ≺ ϕ(w) ≺ w for w ∈ P \ {θ},

(ϕ2) w − ϕ(w) ∈ int(P) for every w ∈ int(P),

(ϕ3) lim
n→∞

ϕn(w) = θ for every w ∈ P \ {θ}.

Definition 7. [17] Let P be a cone and let (wn) be a sequence in P. One says that wn → θ if for

every ϵ ∈ P with θ ≪ ϵ there exists n0 ∈ N such that wn ≪ ϵ for all n ≥ n0.

A nondecreasing mapping ψ : P → P is called a ψ-map if

(ψ1)ψ(w) = θ if and only if w = θ,

(ψ2) for every wn ∈ P, wn → θ if and only if ψ(wn) → θ,

(ψ3) for every w1, w2 ∈ P, ψ(w1 + w2) ≼ ψ(w1) + ψ(w2).

Definition 8. [5] Let X be a nonempty set. Suppose the mapping d : X × X → E satisfies

(i) θ ≼ d(x, y) for all x, y ∈ X and d(x, y) = θ if and only if x = y ;

(ii) d(x, y) = d(y, x) for all x, y ∈ X;



138 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

(iii) d(x, y) ≼ d(x, z) + d(z, y) 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 9. [5] Let (X, d) be a cone metric space. Let (xn) be a sequence in X and x ∈ X. If for

every c ∈ E with θ ≪ c there is a natural number n0 such that for all n > n0, d(xn, x) ≪ c, then

(xn) is said to be convergent and (xn) converges to x, and x is the limit of (xn). We denote this

by lim
n→∞

xn = x or xn → x (n → ∞).

Definition 10. [5] Let (X, d) be a cone metric space, (xn) be a sequence in X. If for any c ∈ E

with θ ≪ c, there is a natural number n0 such that for all n, m > n0, d(xn, xm) ≪ c, then (xn)

is called a Cauchy sequence in X.

Definition 11. [5] 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.

Lemma 1. [19] Every cone metric space (X, d) is a topological space. For c ≫ θ, c ∈ E, x ∈ X

let B(x, c) = {y ∈ X : d(y, x) ≪ c} and β = {B(x, c) : x ∈ X, c ≫ θ}. Then τc = {U ⊆ X : ∀x ∈

U, ∃B ∈ β, x ∈ B ⊆ U} is a topology on X.

Definition 12. [19] Let (X, d) be a cone metric space. A map T : (X, d) → (X, d) is called

sequentially continuous if xn ∈ X, xn → x implies Txn → Tx.

Lemma 2. [19] Let (X, d) be a cone metric space, and T : (X, d) → (X, d) be any map. Then, T is

continuous if and only if T is sequentially continuous.

Lemma 3. [14] Let E be a real Banach space with a cone P. Then

(i) If a ≪ b and b ≪ c, then a ≪ c.

(ii) If a ≼ b and b ≪ c, then a ≪ c.

Lemma 4. [5] Let E be a real Banach space with cone P. Then one has the following.

(i) If θ ≪ c, then there exists δ > 0 such that ∥b∥ < δ implies b ≪ c.

(ii) If an, bn are sequences in E such that an → a, bn → b and an ≼ bn for all n ≥ 1, then

a ≼ b.

Proposition 1. [6] If E is a real Banach space with cone P and if a ≼ λa where a ∈ P and

0 ≤ λ < 1 then a = θ.

3 Main Results

In this section we always suppose that E is a real Banach space, P is a cone in E with int(P) ̸= ∅

and ≼ is the partial ordering on E with respect to P. Also, we mean by ϕ the ϕ-map and by ψ

the ψ-map, unless otherwise stated. Now, we state and prove our main results.



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 139

Theorem 1. Let (X, ⊑) be a partially ordered set and (X, d) be a complete cone metric space.

Suppose F : X × X → X and g : X → X be two continuous and commuting functions with F(X × X) ⊆

g(X). Let F satisfy mixed g-monotone property and

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u))) ≼ ϕ(ψ(d(gx, gu) + d(gy, gv))) (1)

for all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and (gy ⊑ gv). If there exist

x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a coupled coincidence

point.

Proof. Let x0, y0 be such that gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0. Since F(X × X) ⊆ g(X), we

can choose x1, y1 ∈ X such that gx1 = F(x0, y0) and gy1 = F(y0, x0). Continuing this process one

can construct sequences (xn) and (yn) in X such that gxn+1 = F(xn, yn) and gyn+1 = F(yn, xn)

for all n ≥ 0. We shall show that

gxn ⊑ gxn+1 and gyn ⊒ gyn+1 (2)

for all n ≥ 0.

We shall use the mathematical induction. For n = 0, (2) follows by the choice of x0 and y0. Suppose

now (2) holds for n = k, k ≥ 0. Then gxk ⊑ gxk+1 and gyk ⊒ gyk+1. Mixed g-monotonicity of

F now implies that

gxk+1 = F(xk, yk) ⊑ F(xk+1, yk) ⊑ F(xk+1, yk+1) = gxk+2.

Similarly, we have gyk+1 ⊒ gyk+2. Thus (2) follows for k + 1. Hence, by the mathematical induc-

tion we conclude that (2) holds for n ≥ 0.

Now for all n ∈ N,

ψ(d(gxn, gxn+1) + d(gyn, gyn+1)) = ψ

⎛

⎜

⎜

⎝

d(F(xn−1, yn−1), F(xn, yn))

+d(F(yn−1, xn−1), F(yn, xn))

⎞

⎟

⎟

⎠

≼ ϕ(ψ(d(gxn−1, gxn) + d(gyn−1, gyn)))

≼ ϕ2(ψ(d(gxn−2, gxn−1) + d(gyn−2, gyn−1)))

·

·

·

≼ ϕn(ψ(d(gx0, gx1) + d(gy0, gy1))).

Let ϵ ∈ int(P), then by (ϕ2), ϵ0 = ϵ − ϕ(ϵ) ∈ int(P). By (ϕ3),

lim
n→∞

ϕn(ψ(d(gx0, gx1) + d(gy0, gy1))) = θ.



140 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

So, there exists n0 ∈ N such that for all m ≥ n0,

ψ(d(gxm, gxm+1) + d(gym, gym+1)) ≪ ϵ − ϕ(ϵ).

We show that

ψ(d(gxm, gxn+1) + d(gym, gyn+1)) ≪ ϵ, (3)

for a fixed m ≥ n0 and n ≥ m.

Clearly, this holds for n = m. We now suppose that (3) holds for some n ≥ m. Then by using

(ψ3) and condition (1), we obtain

ψ(d(gxm, gxn+2) + d(gym, gyn+2)) ≼ ψ

⎛

⎜

⎜

⎝

d(gxm, gxm+1) + d(gxm+1, gxn+2)

+d(gym, gym+1) + d(gym+1, gyn+2)

⎞

⎟

⎟

⎠

≼ ψ(d(gxm, gxm+1) + d(gym, gym+1))

+ψ(d(gxm+1, gxn+2) + d(gym+1, gyn+2))

≼ ψ(d(gxm, gxm+1) + d(gym, gym+1))

+ϕ(ψ(d(gxm, gxn+1) + d(gym, gyn+1)))

≪ ϵ − ϕ(ϵ) + ϕ(ϵ) = ϵ.

Therefore, by induction (3) holds.

Since ψ is nondecreasing, it follows from (3) that

ψ(d(gxm, gxn+1)) ≼ ψ(d(gxm, gxn+1) + d(gym, gyn+1)) ≪ ϵ

for a fixed m ≥ n0 and n ≥ m.

Similarly,

ψ(d(gym, gyn+1)) ≪ ϵ

for a fixed m ≥ n0 and n ≥ m.

Therefore, by using (ψ2) we deduce that (gxn) and (gyn) are Cauchy sequences in X. Since X is

complete, there exist x∗, y∗ ∈ X such that gxn → x
∗ and gyn → y

∗ as n → ∞. By continuity of

g we get lim
n→∞

ggxn = gx
∗ and lim

n→∞
ggyn = gy

∗. Commutativity of F and g now implies that

ggxn = g(F(xn−1, yn−1)) = F(gxn−1, gyn−1)

for all n ∈ N and

ggyn = g(F(yn−1, xn−1)) = F(gyn−1, gxn−1)

for all n ∈ N. Since F is continuous,

gx∗ = lim
n→∞

ggxn = lim
n→∞

F(gxn−1, gyn−1)

= F( lim
n→∞

gxn−1, lim
n→∞

gyn−1)

= F(x∗, y∗)



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 141

and

gy∗ = lim
n→∞

ggyn = lim
n→∞

F(gyn−1, gxn−1)

= F( lim
n→∞

gyn−1, lim
n→∞

gxn−1)

= F(y∗, x∗).

Thus, F and g have a coupled coincidence point.

If we let ψ be the identity map in Theorem 1, then we have the following Corollary.

Corolary 1. Let (X, ⊑) be a partially ordered set and (X, d) be a complete cone metric space.

Suppose F : X × X → X and g : X → X be two continuous and commuting functions with F(X × X) ⊆

g(X). Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)) ≼ ϕ(d(gx, gu) + d(gy, gv))

for all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and (gy ⊑ gv). If there exist

x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a coupled coincidence

point.

Corolary 2. Let (X, ⊑) be a partially ordered set and (X, d) be a complete cone metric space.

Suppose F : X × X → X and g : X → X be two continuous and commuting functions with F(X × X) ⊆

g(X). Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)) ≼ k(d(gx, gu) + d(gy, gv))

for some k ∈ [0, 1) and all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and

(gy ⊑ gv). If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g

have a coupled coincidence point.

Proof. The proof can be obtained from Theorem 1 by taking ψ = I, the identity map and ϕ(x) =

kx, where k ∈ [0, 1) is a constant.

The following Corollary is a generalization of the result [[3], Theorem 2.1].

Corolary 3. Let (X, ⊑) be a partially ordered set and (X, d) be a complete cone metric space.

Suppose F : X × X → X and g : X → X be two continuous and commuting functions with F(X × X) ⊆

g(X). Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) ≼ ad(gx, gu) + bd(gy, gv) (4)

for some a, b ∈ [0, 1) with a + b < 1 and all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or

(gx ⊒ gu) and (gy ⊑ gv). If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0,

then F and g have a coupled coincidence point.



142 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

Proof. Let x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and (gy ⊑ gv). Using (4),

we have

d(F(x, y), F(u, v)) ≼ ad(gx, gu) + bd(gy, gv)

and

d(F(y, x), F(v, u)) ≼ ad(gy, gv) + bd(gx, gu).

Therefore,

d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)) ≼ (a + b)(d(gx, gu) + d(gy, gv)).

The result follows from Corollary 2.

Theorem 2. Let (X, ⊑) be a partially ordered set and (X, d) be a cone metric space. Suppose

F : X × X → X and g : X → X be two functions such that F(X × X) ⊆ g(X) and (g(X), d) is a

complete subspace of X. Let F satisfy mixed g-monotone property and

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u))) ≼ ϕ(ψ(d(gx, gu) + d(gy, gv)))

for all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and (gy ⊑ gv). Suppose X has

the following property:

(i) if a nondecreasing sequence (xn) → x, then xn ⊑ x for all n.

(ii) if a nonincreasing sequence (yn) → y, then y ⊑ yn for all n.

If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a

coupled coincidence point.

Proof. Consider Cauchy sequences (gxn) and (gyn) as in the proof of Theorem 1. Since (g(X), d)

is complete, there exist x∗, y∗ ∈ X such that gxn → gx
∗ and gyn → gy

∗. It is to be noted that the

sequence (gxn) is nondecreasing and converges to gx
∗. By given condition (i) we have, therefore,

gxn ⊑ gx
∗ for all n ≥ 0 and similarly gyn ⊒ gy

∗ for all n ≥ 0.

By (ψ2), for θ ≪ c, one can choose a natural number n0 such that ψ(d(gxn, gx
∗)) ≪ c

4
and

ψ(d(gyn, gy
∗)) ≪ c

4
for all n ≥ n0.



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 143

Then,

ψ

⎛

⎜

⎜

⎝

d(F(x∗, y∗), gx∗)

+d(F(y∗, x∗), gy∗)

⎞

⎟

⎟

⎠

≼ ψ

⎛

⎜

⎜

⎝

d(F(x∗, y∗), gxn+1) + d(gxn+1, gx
∗)

+d(F(y∗, x∗), gyn+1) + d(gyn+1, gy
∗)

⎞

⎟

⎟

⎠

≼ ψ(d(gxn+1, gx
∗) + d(gyn+1, gy

∗))

+ψ

⎛

⎜

⎜

⎝

d(F(x∗, y∗), F(xn, yn))

+d(F(y∗, x∗), F(yn, xn))

⎞

⎟

⎟

⎠

≼ ψ(d(gxn+1, gx
∗)) + ψ(d(gyn+1, gy

∗))

+ϕ(ψ(d(gxn, gx
∗) + d(gyn, gy

∗)))

≺ ψ(d(gxn+1, gx
∗)) + ψ(d(gyn+1, gy

∗))

+ψ(d(gxn, gx
∗) + d(gyn, gy

∗))

≼ ψ(d(gxn+1, gx
∗)) + ψ(d(gyn+1, gy

∗))

+ψ(d(gxn, gx
∗)) + ψ(d(gyn, gy

∗))

≪
c

4
+

c

4
+

c

4
+

c

4
= c.

So, c
i
− ψ(d(F(x∗, y∗), gx∗) + d(F(y∗, x∗), gy∗)) ∈ P, for all i ≥ 1. Since c

i
→ θ as i → ∞ and

P is closed, −ψ(d(F(x∗, y∗), gx∗) + d(F(y∗, x∗), gy∗)) ∈ P. But P ∩ (−P) = θ gives that

ψ(d(F(x∗, y∗), gx∗) + d(F(y∗, x∗), gy∗)) = θ.

By (ψ1), we get

d(F(x∗, y∗), gx∗) + d(F(y∗, x∗), gy∗) = θ.

This shows that d(F(x∗, y∗), gx∗) = d(F(y∗, x∗), gy∗) = θ and so F(x∗, y∗) = gx∗, F(y∗, x∗) = gy∗.

Thus, F and g have a coupled coincidence point.

If we let ψ be the identity map in Theorem 2, then we have the following Corollary.

Corolary 4. Let (X, ⊑) be a partially ordered set and (X, d) be a cone metric space. Suppose

F : X × X → X and g : X → X be two functions such that F(X × X) ⊆ g(X) and (g(X), d) is a

complete subspace of X. Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)) ≼ ϕ(d(gx, gu) + d(gy, gv))

for all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and (gy ⊑ gv). Suppose X has

the following property:

(i) if a nondecreasing sequence (xn) → x, then xn ⊑ x for all n.

(ii) if a nonincreasing sequence (yn) → y, then y ⊑ yn for all n.

If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a

coupled coincidence point.



144 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

Corolary 5. Let (X, ⊑) be a partially ordered set and (X, d) be a cone metric space. Suppose

F : X × X → X and g : X → X be two functions such that F(X × X) ⊆ g(X) and (g(X), d) is a

complete subspace of X. Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)) ≼ k(d(gx, gu) + d(gy, gv))

for some k ∈ [0, 1) and all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or (gx ⊒ gu) and

(gy ⊑ gv). Suppose X has the following property:

(i) if a nondecreasing sequence (xn) → x, then xn ⊑ x for all n.

(ii) if a nonincreasing sequence (yn) → y, then y ⊑ yn for all n.

If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a

coupled coincidence point.

Proof. The proof can be obtained from Theorem 2 by taking ψ = I, the identity map and ϕ(x) =

kx, where k ∈ [0, 1) is a constant.

The following Corollary is a generalization of the result [[3], Theorem 2.2].

Corolary 6. Let (X, ⊑) be a partially ordered set and (X, d) be a cone metric space. Suppose

F : X × X → X and g : X → X be two functions such that F(X × X) ⊆ g(X) and (g(X), d) is a

complete subspace of X. Let F satisfy mixed g-monotone property and

d(F(x, y), F(u, v)) ≼ ad(gx, gu) + bd(gy, gv)

for some a, b ∈ [0, 1) with a + b < 1 and all x, y, u, v ∈ X with (gx ⊑ gu) and (gy ⊒ gv) or

(gx ⊒ gu) and (gy ⊑ gv). Suppose X has the following property:

(i) if a nondecreasing sequence (xn) → x, then xn ⊑ x for all n.

(ii) if a nonincreasing sequence (yn) → y, then y ⊑ yn for all n.

If there exist x0, y0 ∈ X satisfying gx0 ⊑ F(x0, y0) and F(y0, x0) ⊑ gy0, then F and g have a

coupled coincidence point.

Proof. The proof follows from Theorem 2 by an argument similar to that used in Corollary 3.

Theorem 3. In addition to hypothesis of either Theorem 1 or Theorem 2, suppose that any two

elements of g(X) are comparable and g is one-one. Then F and g have a coupled coincidence point

of the form (x∗, x∗) for some x∗ ∈ X.

Proof. We first note that the set of coupled coincidence points of F and g is nonempty. We will

show that if (x∗, y∗) is a coupled coincidence point of F and g, then x∗ = y∗. Since the elements

of g(X) are comparable, we may assume that gx∗ ⊑ gy∗. Suppose that d(gx∗, gy∗) ̸= θ. Then, by

using (ϕ1) we have

ψ(d(gx∗, gy∗) + d(gy∗, gx∗)) = ψ(d(F(x∗, y∗), F(y∗, x∗)) + d(F(y∗, x∗), F(x∗, y∗)))

≼ ϕ(ψ(d(gx∗, gy∗) + d(gy∗, gx∗)))

≺ ψ(d(gx∗, gy∗) + d(gy∗, gx∗)),



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 145

a contradiction. Therefore, d(gx∗, gy∗) = θ which gives that gx∗ = gy∗. Since g is one-one, it

follows that x∗ = y∗.

We conclude with an example.

Example 1. Let E = R2, the Euclidean plane and P = {(x, x) ∈ R2 : x ≥ 0} a cone in E. Let

X = [0, ∞) with the usual ordering and define d : X × X → E by

d(x, y) = (| x − y |, | x − y |)

for all x, y ∈ X. Then (X, d) is a partially ordered complete cone metric space. Define F : X×X → X

as follows:

F(x, y) =

⎧
⎪⎪⎨

⎪⎪⎩

x−y
6

, if x ≥ y

0, if x < y,

for all x, y ∈ X and g : X → X with gx = x
3
for all x ∈ X. Then F(X × X) ⊆ g(X) = X and F

satisfy mixed g-monotone property. Also F and g are continuous and commuting, g(0) ≤ F(0, 1)

and g(1) ≥ F(1, 0).

Let ψ,ϕ : P → P be defined by ψ(x, x) = (x
2
, x
2
) and ϕ(x, x) = (3x

4
, 3x

4
).

Let x, y, u, v ∈ X be such that gx ≤ gu and gy ≥ gv. Now, we have

Case-I (y > x and v > u). Then

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)))

= ψ

(

d(0, 0) + d

(

y − x

6
,
v − u

6

))

= ψ

(

| y − x − v + u |

6
,
| y − x − v + u |

6

)

=

(

| y − x − v + u |

12
,
| y − x − v + u |

12

)

≼

(

| x − u |

12
+

| y − v |

12
,
| x − u |

12
+

| y − v |

12

)

. (5)

Again,

ϕ(ψ(d(gx, gu) + d(gy, gv))) = ϕ
(

ψ
(

d
(

x
3
, u
3

)

+ d
(

y
3
, v
3

)))

= ϕ

(

ψ

((

| x − u |

3
,
| x − u |

3

)

+

(

| y − v |

3
,
| y − v |

3

)))

=

(

3
| x − u |

24
+ 3

| y − v |

24
, 3

| x − u |

24
+ 3

| y − v |

24

)

. (6)



146 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

It follows from conditions (5) and (6) that

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u))) ≼ ϕ(ψ(d(gx, gu) + d(gy, gv))).

Case-II (y > x and u ≥ v). Then

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)))

= ψ

(

d

(

0,
u − v

6

)

+ d

(

y − x

6
, 0

))

= ψ

((

u − v

6
,
u − v

6

)

+

(

y − x

6
,
y − x

6

))

=

(

u − v + y − x

12
,
u − v + y − x

12

)

≼

(

| x − u |

12
+

| y − v |

12
,
| x − u |

12
+

| y − v |

12

)

≺

(

3
| x − u |

24
+ 3

| y − v |

24
, 3

| x − u |

24
+ 3

| y − v |

24

)

= ϕ(ψ(d(gx, gu) + d(gy, gv))).

Case-III (x ≥ y and u ≥ v). Then

ψ(d(F(x, y), F(u, v)) + d(F(y, x), F(v, u)))

= ψ

(

d

(

x − y

6
,
u − v

6

)

+ d(0, 0)

)

=

(

| x − y − u + v |

12
,
| x − y − u + v |

12

)

≼

(

| x − u |

12
+

| y − v |

12
,
| x − u |

12
+

| y − v |

12

)

≼

(

3
| x − u |

24
+ 3

| y − v |

24
, 3

| x − u |

24
+ 3

| y − v |

24

)

= ϕ(ψ(d(gx, gu) + d(gy, gv))).

The case x ≥ y and v > u is not possible. As gx ≤ gu and gy ≥ gv, it follows that x ≤ u and

y ≥ v. So, v ≤ y ≤ x ≤ u when x ≥ y. Thus, we have all the conditions of Theorem 1. Moreover,

(0, 0) is the coupled coincidence point of F and g.

Received: November 2013. Revised: March 2014.



CUBO
16, 2 (2014)

Coupled Coincidence Points for Generalized (ψ, ϕ)-Pair . . . 147

References

[1] M. Abbas and G. Jungck, Common fixed point results for noncommuting mappings without

continuity in cone metric spaces, J. Math. Anal. Appl., 341, 2008, 416-420.

[2] C.Di Bari, P.Vetro, ϕ-Pairs and common fixed points in cone metric spaces, Rendiconti del

Circolo Matematico di Palermo, 57, 2008, 279-285.

[3] T.G. Bhaskar and V.Lakshmikantham, Fixed point theorems in partially ordered metric spaces

and applications, Nonlinear Analysis: Theory, Methods and Applications, 65, 2006, 1379-1393.

[4] L.Ćirić, N.Cakić, M.Rajović, and J.S.Ume, Monotone generalized nonlinear contractions in

partially ordered metric spaces, Fixed Point Theory and Applications, Vol. 2008, Article ID

131294, 11 pages.

[5] L.-G.Huang, X.Zhang, Cone metric spaces and fixed point theorems of contractive mappings,

J. Math. Anal. Appl., 332, 2007, 1468-1476.

[6] D.Ilić, V.Rakočević, Common fixed points for maps on cone metric space, J. Math. Anal.

Appl., 341, 2008, 876-882.

[7] N.V.Luong and N.X.Thuan, Coupled fixed points in partially ordered metric spaces and ap-

plication, Nonlinear Analysis: Theory, Methods and Applications, 74, 2011, 983-992.

[8] V.Lakshmikantham and L.Ćirić, Coupled fixed point theorems for nonlinear contractions in

partially ordered metric spaces, Nonlinear Analysis: Theory, Methods and Applications, 70,

2009, 4341-4349.

[9] S.K. Mohanta and R. Maitra, A characterization of completeness in cone metric spaces, The

Journal of Nonlinear Science and Applications, 6, 2013, 227-233.

[10] S.K. Mohanta, Common fixed points for mappings satisfying ϕ and F-maps in G-cone metric

spaces, Bulletin of Mathematical Analysis and Applications, 4, 2012, 133-147.

[11] J.J.Nieto and R.Rodriguez-Lacuteopez, Existence and uniqueness of fixed point in partially

ordered sets and applications to ordinary differential equations, Acta Math. Sin. (Engl. Ser.),

23, 2007, 2205-2212.

[12] B. E. Rhoades, Some theorems on weakly contractive maps, Nonlinear Analysis: Theory,

Methods and Applications, 47, 2001, 2683-2693.

[13] S.Rezapour, R.Hamlbarani, Some notes on the paper ”Cone metric spaces and fixed point

theorems of contractive mappings”, J. Math. Anal. Appl., 345, 2008, 719-724.

[14] S.Rezapour, M.Derafshpour and R.Hamlbarani, A review on topological properties of cone

metric spaces, in Proceedings of the Conference on Analysis, Topology and Applications

(ATA’08),Vrnjacka Banja, Serbia, May-June 2008.



148 Sushanta Kumar Mohanta CUBO
16, 2 (2014)

[15] A.Razani and V.Parvaneh, Coupled coincidence point results for (ψ,α,β)-weak contractions

in partially ordered metric spaces, Journal of Applied Mathematics, vol. 2012, Article ID

496103, 19 pages.

[16] A.C.M.Ran and M.C.B.Reurings, A fixed point theorem in partially ordered sets and some

applications to matrix equations, Proc. Amer. Math. Soc., 132, 2004, 1435-1443.

[17] F.Sabetghadam and H.P.Masiha, Common fixed points for generalize ϕ-pair mappings on

cone metric spaces, Fixed Point Theory and Applications, vol. 2010, Article ID 718340, 8

pages.

[18] W.Shatanawi, B.Samet, and M.Abbas, Coupled fixed point theorems for mixed monotone

mappings in ordered partial metric spaces, Mathematical and Computer Modelling, 55, 2012,

680-687.

[19] D.Turkoglu and M.Abuloha, Cone metric spaces and fixed point theorems in diametrically

contractive mappings, Acta Math. Sin. (Engl. Ser.), 26, 2010, 489-496.

[20] S. Wang, B. Guo, Distance in cone metric spaces and common fixed point theorems, Applied

Mathematics Letters, 24, 2011, 1735-1739.