Research

# Coupled coincidence point and common coupled fixed point theorems lacking the mixed monotone property

Ravi P Agarwal12, Wutiphol Sintunavarat3* and Poom Kumam3*

Author Affiliations

1 Department of Mathematics, Texas A&M University Kingsville, Kingsville, TX, 78363, USA

2 Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah, 21589, Saudi Arabia

3 Department of Mathematics, Faculty of Science, King Mongkut’s University of Technology Thonburi (KMUTT), Bang Mod, Thrung Kru, Bangkok, 10140, Thailand

For all author emails, please log on.

Fixed Point Theory and Applications 2013, 2013:22  doi:10.1186/1687-1812-2013-22

The electronic version of this article is the complete one and can be found online at: http://www.fixedpointtheoryandapplications.com/content/2013/1/22

 Received: 7 July 2012 Accepted: 15 January 2013 Published: 31 January 2013

© 2013 Agarwal et al.; licensee Springer

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

### Abstract

In this paper, we prove the coupled coincidence point theorems for a w -compatible mapping in partially ordered cone metric spaces over a solid cone without the mixed g-monotone property. In the case of a totally ordered space, these results are automatically obvious under the assumption given. Therefore, these results can be applied in a much wider class of problems. We also prove the uniqueness of a common coupled fixed point in this setup and give some example which is not applied to the existence of a common coupled fixed point by using the mixed g-monotone property but can be applied to our results.

MSC: 47H10, 54H25.

##### Keywords:
cone metric spaces; common coupled fixed point; coupled coincidence point; w -compatible mappings; mixed g-monotone property

### 1 Introduction

The famous Banach contraction principle states that if ( X , d ) is a complete metric space and T : X X is a contraction mapping (i.e., d ( T x , T y ) α d ( x , y ) for all x , y X , where α is a non-negative number such that α < 1 ), then T has a unique fixed point. This principle is one of the cornerstones in the development of nonlinear analysis. Fixed point theorems have applications not only in the various branches of mathematics, but also in economics, chemistry, biology, computer science, engineering, and others. Due to the importance, generalizations of Banach’s contraction principle have been investigated heavily by several authors.

Following this trend, the problem of existence and uniqueness of fixed points in partially ordered sets has been studied thoroughly because of its interesting nature. In 1986, Turinici [1] presented the first result in this direction. Afterward, Ran and Reurings [2] gave some applications of Turinici’s theorem to matrix equations. The results of Ran and Reurings were further extended to ordered cone metric spaces in [3-5]. In 2005, Nieto and Rodríguez-López [6] extended Ran and Reurings’s theorems for nondecreasing mappings and obtained a unique solution for a first-order ordinary differential equation with periodic boundary conditions.

The notion of coupled fixed points was introduced by Guo and Lakshmikantham [7]. Since then, the concept has been of interest to many researchers in metrical fixed point theory. In 2006, Bhaskar and Lakshmikantham [8] introduced the concept of a mixed monotone property (see further Definition 2.4). They proved classical coupled fixed point theorems for mappings satisfying the mixed monotone property and also discussed an application of their result by investigating the existence and uniqueness of a solution of the periodic boundary value problem. Following this result, Harjani et al.[9] (see also [10,11]) studied the existence and uniqueness of solutions of a nonlinear integral equation as an application of coupled fixed points. Very recently, motivated by the work of Caballero et al.[12], Jleli and Samet [13] discussed the existence and uniqueness of a positive solution for the singular nonlinear fractional differential equation boundary value problem

D 0 + α u ( t ) = f ( t , u ( t ) , u ( t ) ) , 0 < t < 1 , u ( a ) = u ( b ) = 0 , a , b { 0 , 1 } , (1.1)

where α R such that 3 < α 4 , D 0 + α is the Riemann-Liouville fractional derivative and f : ( 0 , 1 ] × [ 0 , ) × [ 0 , ) [ 0 , ) is continuous, lim t 0 + f ( t , , ) = + (f is singular at t = 0 ) for all t ( 0 , 1 ] , f ( t , , ) is nondecreasing with respect to the first component and decreasing with respect to its second and third components.

Since their important role in the study of the existence and uniqueness of a solution of the periodic boundary value problem, a nonlinear integral equation, and the existence and uniqueness of a positive solution for the singular nonlinear fractional differential equation boundary value problem, a wide discussion on coupled fixed point theorems aimed the interest of many scientists.

In 2009, Lakshmikantham and Ćirić [14] extended the concept of a mixed monotone property to a mixed g-monotone mapping and proved coupled coincidence point and common coupled fixed point theorems which are more general than the result of Bhaskar and Lakshmikantham in [8]. A number of articles on coupled fixed point, coupled coincidence point, and common coupled fixed point theorems have been dedicated to the improvement; see [15-30] and the references therein.

On the other hand, in 2007, Huang and Zhang [31] have re-introduced the concept of a cone metric space which is replacing the set of real numbers by an ordered Banach space E. They went further and defined the convergence via interior points of the cone by which the order in E is defined. This approach allows the investigation of cone spaces in the case when the cone is not necessarily normal. They also continued with results concerned with the normal cones only. One of the main results from [31] is the Banach contraction principle in the setting of normal cone spaces. Afterward, many authors generalized their fixed point theorems in cone spaces with normal cones. In other words, the fixed point problem in the setting of cone metric spaces is appropriate only in the case when the underlying cone is non-normal but just has interior that is nonempty. In this case only, proper generalizations of results from the ordinary metric spaces can be obtained. In 2011, Janković et al.[32] gave some examples showing that theorems from ordinary metric spaces cannot be applied in the setting of cone metric spaces, when the cone is non-normal.

Recently, Nashine et al.[33] established common coupled fixed point theorems for mixed g-monotone and w -compatible mappings satisfying more general contractive conditions in ordered cone metric spaces over a cone that is only solid (i.e., has a nonempty interior) which improve works of Karapınar [34] and Shatanawi [35]. This result is an ordered version extension of the results of Abbas et al.[36].

In this work, we show that the mixed g-monotone property in common coupled fixed point theorems in ordered cone metric spaces can be replaced by another property due to Ðorić et al.[37]. This property is automatically satisfied in the case of a totally ordered space. Therefore, these results can be applied in a much wider class of problems. Our results generalize and extend many well-known comparable results in the literature. An illustrative example is presented in this work when our results can be used in proving the existence of a common coupled fixed point, while the results of Nashine et al.[33] cannot.

### 2 Preliminaries

In this section, we give some notations and a property that are useful for our main results. Let E be a real Banach space with respect to a given norm E and let 0 E be a zero vector of E. A nonempty subset P of E is called a cone if the following conditions hold:

1. P is closed and P { 0 E } ;

2. a , b R , a , b 0 , x , y P a x + b y P ;

3. x P , x P x = 0 E .

Given a cone P E , a partial ordering P with respect to P is naturally defined by x P y if and only if y x P for x , y E . We will write x < P y to indicate that x P y but x y , while x y will stand for y x int ( P ) , where int ( P ) denotes the interior of P.

The cone P is said to be normal if there exists a real number K > 0 such that for all x , y E ,

0 E P x P y x E K y E .

The least positive number K satisfying the above statement is called a normal constant of P. In 2008, Rezapour and Hamlbarani [38] showed that there are no normal cones with a normal constant K < 1 .

In what follows, we always suppose that E is a real Banach space with cone P satisfying int ( P ) (such cones are called solid).

Definition 2.1 ([31])

Let X be a nonempty set and d : X × X E satisfy

1. 0 E P d ( x , y ) for all x , y X and d ( x , y ) = 0 E if and only if x = y ;

2. d ( x , y ) = d ( y , x ) for all x , y X ;

3. d ( x , y ) P 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 2.2 ([31])

Let ( X , d ) be a cone metric space, { x n } be a sequence in X, and x X .

1. If for every c E with 0 E P c , there is N N such that d ( x n , x ) P c for all n N , then { x n } is said to converge to x. This limit is denoted by lim n x n = x or x n x as n .

2. If for every c E with 0 E P c , there is N N such that d ( x n , x m ) P c for all n , m > N , then { x n } is called a Cauchy sequence in X.

3. If every Cauchy sequence in X is convergent in X, then ( X , d ) is called a complete cone metric space.

Let ( X , d ) be a cone metric space. Then the following properties are often used (particularly when dealing with cone metric spaces in which the cone need not be normal):

( p 1 ) if a P k a , where a P and k [ 0 , 1 ) , then a = 0 E ;

( p 2 ) if 0 E P u c for each 0 E c , then u = 0 E ;

( p 3 ) if u , v , w E , u P v and v w , then u w ;

( p 4 ) if c int ( P ) , 0 E P a n E and a n 0 E , then there exists k N such that for all n > k , we have a n c .

Definition 2.3 Let X be a nonempty set. Then ( X , d , ) is called an ordered cone metric space if

(i) ( X , d ) is a cone metric space,

(ii) ( X , ) is a partially ordered set.

Let ( X , ) be a partially ordered set. By x y , we mean y x for x , y X . Elements x , y X are called comparable if x y or y x holds. A mapping f is said to be g-nondecreasing (resp., g-nonincreasing) if, for all x , y X , g x g y implies f ( x ) f ( y ) (resp., f ( y ) f ( x ) ). If g is the identity mapping, then f is said to be nondecreasing (resp., nonincreasing).

Definition 2.4 ([8,14])

Let ( X , ) be a partially ordered set and let F : X × X X and g : X X . The mapping F is said to have a mixedg-monotone property if F is monotone g-nondecreasing in its first argument and monotone g-nonincreasing in its second argument, that is, for any x , y X ,

x 1 , x 2 X , g x 1 g x 2 F ( x 1 , y ) F ( x 2 , y ) (2.1)

and

y 1 , y 2 X , g y 1 g y 2 F ( x , y 1 ) F ( x , y 2 ) (2.2)

hold. If in the previous relations g is the identity mapping, then it is said that F has a mixed monotone property.

Definition 2.5 ([8,14])

Let X be a nonempty set and F : X × X X , g : X X . An element ( x , y ) X × X is called

(C1) a coupled fixed point of F if x = F ( x , y ) and y = F ( y , x ) ;

(C2) a coupled coincidence point of mappings g and F if

g x = F ( x , y ) and g y = F ( y , x ) ,

and in this case ( g x , g y ) is called a coupled point of coincidence;

(C3) a common coupled fixed point of mappings g and F if

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

Definition 2.6 ([36])

Let X be a nonempty set. Mappings F : X × X X and g : X X are called

( W 1 ) w-compatible if g F ( x , y ) = F ( g x , g y ) whenever g x = F ( x , y ) and g y = F ( y , x ) ;

( W 2 ) w -compatible if g F ( x , x ) = F ( g x , g x ) whenever g x = F ( x , x ) .

It is easy to see that w-compatible implies w -compatible. The following example shows that the converse of the above argument is not true.

Example 2.7 Let X = [ 0 , ) and F : X × X X and g : X X be defined by

F ( x , y ) = { π , ( x , y ) = ( 0 , 1 ) , 2 , ( x , y ) = ( 1 , 0 ) , 8 , otherwise , g x = { π , x = 0 , 2 , x = 1 , 8 , x { 4 , 6 , 8 , } , 5 , otherwise .

It is easy to see that g 0 = π = F ( 0 , 1 ) and g 1 = 2 = F ( 1 , 0 ) , but g F ( 0 , 1 ) = 5 8 = F ( g 0 , g 1 ) . Hence, F and g are not w-compatible.

However, F ( x , x ) = g x is possible only if x { 4 , 6 , 8 , } and for all points in this case, we get g F ( x , x ) = 8 = F ( g x , g x ) . Therefore, F and g are w -compatible.

For elements x, y of a partially ordered set ( X , ) , we will write x y whenever x and y are comparable (i.e., x y or y x holds).

Next, we give a new property due to Ðorić et al.[37].

Let X be a nonempty set and let g : X X and F : X × X X . We will consider the following condition:

if  x , y , u , v X  are such that  g x F ( x , y ) = g u , then  F ( x , y ) F ( u , v ) . (2.3)

In particular, when g = I X , it reduces to

for all  x , y , v , if  x F ( x , y ) , then  F ( x , y ) F ( F ( x , y ) , v ) . (2.4)

Remark 2.8 We obtain that the conditions (2.3) and (2.4) are trivially satisfied if ( X , ) is the totally ordered.

The following examples show that the condition (2.3) ((2.4), resp.) may be satisfied when F does not have the mixed g-monotone property (monotone property, resp.).

Example 2.9 Let X = { a , b , c , d } , = { ( a , a ) , ( b , b ) , ( c , c ) , ( d , d ) , ( a , b ) , ( c , d ) } ,

g : ( a b c d c d c d ) , F : ( ( a , y ) ( b , y ) ( c , y ) ( d , y ) b a c d )

for all y X . Since g a = c d = g b but F ( a , y ) F ( b , y ) for all y X , the mapping F does not have the mixed g-monotone property. But it has property (2.3) since

(1) For each y X , we get g c F ( c , y ) = g c and F ( c , y ) F ( c , v ) for all v X .

(2) For each y X , we get g d F ( d , y ) = g d and F ( d , y ) F ( d , v ) for all v X .

Example 2.10 Let X = { a , b , c , d } , = { ( a , a ) , ( b , b ) , ( c , c ) , ( d , d ) , ( a , b ) , ( c , d ) } ,

F : ( ( a , y ) ( b , y ) ( c , y ) ( d , y ) b a c d )

for all y X . Since a b but F ( a , y ) = b a = F ( b , y ) for all y X , the mapping F does not have the mixed monotone property. But it has property (2.4) since

(1) For each y X , we get a F ( a , y ) and F ( a , y ) = b a = F ( F ( a , y ) , v ) for all v X .

(2) For each y X , we get b F ( b , y ) and F ( b , y ) = a b = F ( F ( b , y ) , v ) for all v X .

(3) The other two cases are trivial.

### 3 Coupled coincidence point theorems lacking the mixed g-monotone property

In this section, we give the existence of coupled coincidence point theorems in ordered cone metric spaces lacking the mixed g-monotone property. Our first main result is the following theorem.

Theorem 3.1Let ( X , d , ) be an ordered cone metric space over a solid conePand let g : X X and F : X × X X . Suppose that the following hold:

(i) F ( X × X ) g ( X ) and g ( X ) is a complete subspace ofX;

(ii) gandFsatisfy property (2.3);

(iii) there exist x 0 , y 0 X such that g x 0 F ( x 0 , y 0 ) and g y 0 F ( y 0 , x 0 ) ;

(iv) there exists a i 0 for i = 1 , 2 , , 6 and i = 1 6 a i < 1 such that for all x , y , u , v X satisfying g x g u and g y g v ,

(3.1)

holds;

(v) if x n x when n inX, then x n x fornsufficiently large.

Then there exist x , y X such that

F ( x , y ) = g x and F ( y , x ) = g y ,

that is, Fandghave a coupled coincidence point ( x , y ) X × X .

Proof Starting from x 0 , y 0 (condition (iii)) and using the fact that F ( X × X ) g ( X ) (condition (i)), we can construct sequences { g x n } and { g y n } in X such that

g x n = F ( x n 1 , y n 1 ) and g y n = F ( y n 1 , x n 1 ) (3.2)

for all n N . By (iii), we get g x 0 F ( x 0 , y 0 ) = g x 1 , and the condition (ii) implies that

g x 1 = F ( x 0 , y 0 ) F ( x 1 , y 1 ) = g x 2 .

Proceeding by induction, we get that g x n 1 g x n and, similarly, g y n 1 g y n for all n N . Therefore, we can apply the condition (3.1) to obtain

d ( g x n , g x n + 1 ) = d ( F ( x n 1 , y n 1 ) , F ( x n , y n ) ) P a 1 d ( g x n 1 , g x n ) + a 2 d ( F ( x n 1 , y n 1 ) , g x n 1 ) + a 3 d ( g y n 1 , g y n ) + a 4 d ( F ( x n , y n ) , g x n ) + a 5 d ( F ( x n 1 , y n 1 ) , g x n ) + a 6 d ( F ( x n , y n ) , g x n 1 ) = a 1 d ( g x n 1 , g x n ) + a 2 d ( g x n , g x n 1 ) + a 3 d ( g y n 1 , g y n ) + a 4 d ( g x n + 1 , g x n ) + a 5 d ( g x n , g x n ) + a 6 d ( g x n + 1 , g x n 1 ) P a 1 d ( g x n 1 , g x n ) + a 2 d ( g x n , g x n 1 ) + a 3 d ( g y n 1 , g y n ) + a 4 d ( g x n + 1 , g x n ) + a 6 [ d ( g x n 1 , g x n ) + d ( g x n , g x n + 1 ) ] P ( a 1 + a 2 + a 6 ) d ( g x n 1 , g x n ) + a 3 d ( g y n 1 , g y n ) + ( a 4 + a 6 ) d ( g x n , g x n + 1 ) ,

which implies that

( 1 a 4 a 6 ) d ( g x n , g x n + 1 ) P ( a 1 + a 2 + a 6 ) d ( g x n 1 , g x n ) + a 3 d ( g y n 1 , g y n ) . (3.3)

Similarly, starting with d ( g y n , g y n + 1 ) = d ( F ( y n , x n ) , F ( y n 1 , x n 1 ) ) and using g x n 1 g x n and g y n 1 g y n for all n N , we get

( 1 a 4 a 6 ) d ( g y n , g y n + 1 ) P ( a 1 + a 2 + a 6 ) d ( g y n 1 , g y n ) + a 3 d ( g x n 1 , g x n ) . (3.4)

Combining (3.3) and (3.4), we obtain that

(3.5)

Now, starting from d ( g x n + 1 , g x n ) = d ( F ( x n , y n ) , F ( x n 1 , y n 1 ) ) and using g x n 1 g x n and g y n 1 g y n for all n N , we get that

( 1 a 2 a 5 ) d ( g x n , g x n + 1 ) P ( a 1 + a 4 + a 5 ) d ( g x n 1 , g x n ) + a 3 d ( g y n 1 , g y n ) .

Similarly, starting from d ( g y n + 1 , g y n ) = d ( F ( y n , x n ) , F ( y n 1 , x n 1 ) ) and using g x n 1 g x n and g y n 1 g y n for all n N , we get that

( 1 a 2 a 5 ) d ( g y n , g y n + 1 ) P ( a 1 + a 4 + a 5 ) d ( g y n 1 , g y n ) + a 3 d ( g x n 1 , g x n ) .

Again adding up, we obtain that

(3.6)

Finally, adding up (3.5) and (3.6), it follows that

d ( g x n , g x n + 1 ) + d ( g y n , g y n + 1 ) P λ [ d ( g x n 1 , g x n ) + d ( g y n 1 , g y n ) ] (3.7)

with

0 λ = 2 a 1 + a 2 + 2 a 3 + a 4 + a 5 + a 6 2 a 2 a 4 a 5 a 6 < 1 , (3.8)

since i = 1 6 a i < 1 .

From the relation (3.7), we have

d ( g x n , g x n + 1 ) + d ( g y n , g y n + 1 ) P λ [ d ( g x n 1 , g x n ) + d ( g y n 1 , g y n ) ] P λ 2 [ d ( g x n 2 , g x n 1 ) + d ( g y n 2 , g y n 1 ) ] P λ n [ d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) ] .

If d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) = 0 E , then ( x 0 , y 0 ) is a coupled coincidence point of F and g. So, let 0 E < P d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) .

For any m > n 1 , repeated use of the triangle inequality gives

d ( g x n , g x m ) + d ( g y n , g y m ) P d ( g x n , g x n + 1 ) + d ( g x n + 1 , g x n + 2 ) + + d ( g x m 1 , g x m ) + d ( g y n , g y n + 1 ) + d ( g y n + 1 , g y n + 2 ) + + d ( g y m 1 , g y m ) P [ λ n + λ n + 1 + + λ m 1 ] [ d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) ] P λ n 1 λ [ d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) ] .

Since λ n 1 λ 0 as n , we get λ n 1 λ [ d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) ] 0 E as n .

From ( p 4 ), we have for 0 E c and large n,

λ n 1 λ [ d ( g x 0 , g x 1 ) + d ( g y 0 , g y 1 ) ] c .

By ( p 3 ), we get

d ( g x n , g x m ) + d ( g y n , g y m ) c .

Since

d ( g x n , g x m ) P d ( g x n , g x m ) + d ( g y n , g y m )

and

d ( g y n , g y m ) P d ( g x n , g x m ) + d ( g y n , g y m ) ,

then by ( p 3 ), we get d ( g x n , g x m ) c and d ( g y n , g y m ) c for n large enough. Therefore, we get { g x n } and { g y n } are Cauchy sequences in g ( X ) . By completeness of g ( X ) , there exist g x , g y g ( X ) such that g x n g x and g y n g y as n .

By (v), we have g x n g x and g y g y n for all n 0 . Now, we prove that F ( x , y ) = g x and F ( y , x ) = g y .

If g x n = g x and g y n = g y for some n 0 , from (3.1) we have

d ( F ( x , y ) , g x ) P d ( F ( x , y ) , g x n + 1 ) + d ( g x n + 1 , g x ) = d ( F ( x , y ) , F ( x n , y n ) ) + d ( g x n + 1 , g x ) P a 1 d ( g x , g x n ) + a 2 d ( F ( x , y ) , g x ) + a 3 d ( g y , g y n ) + a 4 d ( F ( x n , y n ) , g x n ) + a 5 d ( F ( x , y ) , g x n ) + a 6 d ( F ( x n , y n ) , g x ) + d ( g x n + 1 , g x ) P a 1 d ( g x , g x n ) + a 2 d ( F ( x , y ) , g x ) + a 3 d ( g y , g y n ) + a 4 d ( g x n + 1 , g x ) + a 4 d ( g x , g x n ) + a 5 d ( F ( x , y ) , g x ) + a 5 d ( g x , g x n ) + a 6 d ( g x n + 1 , g x ) + d ( g x n + 1 , g x ) = a 2 d ( F ( x , y ) , g x ) + a 4 d ( g x n + 1 , g x ) + a 5 d ( F ( x , y ) , g x ) + a 6 d ( g x n + 1 , g x ) + d ( g x n + 1 , g x ) ,

which further implies that

d ( F ( x , y ) , g x ) P 1 + a 4 + a 6 1 a 2 a 5 d ( g x n + 1 , g x ) .

Since g x n g x , then for 0 E c , there exists N N such that

d ( g x n + 1 , g x ) ( 1 a 2 a 5 ) c 1 + a 4 + a 6

for all n N . Therefore,

d ( F ( x , y ) , g x ) c .

Now, according to ( p 2 ), it follows that d ( F ( x , y ) , g x ) = 0 E and F ( x , y ) = g x . Similarly, we can prove that F ( y , x ) = g y . Hence, ( x , y ) is a coupled coincidence point of the mappings F and g.

So, we suppose that ( g x n , g y n ) ( g x , g y ) for all n 0 . Using (3.1), we get

d ( F ( x , y ) , g x ) P d ( F ( x , y ) , g x n + 1 ) + d ( g x n + 1 , g x ) = d ( F ( x , y ) , F ( x n , y n ) ) + d ( g x n + 1 , g x ) P a 1 d ( g x , g x n ) + a 2 d ( F ( x , y ) , g x ) + a 3 d ( g y , g y n ) + a 4 d ( F ( x n , y n ) , g x n ) + a 5 d ( F ( x , y ) , g x n ) + a 6 d ( F ( x n , y n ) , g x ) + d ( g x n + 1 , g x ) P a 1 d ( g x , g x n ) + a 2 d ( F ( x , y ) , g x ) + a 3 d ( g y , g y n ) + a 4 d ( g x n + 1 , g x ) + a 4 d ( g x , g x n ) + a 5 d ( F ( x , y ) , g x ) + a 5 d ( g x , g x n ) + a 6 d ( g x n + 1 , g x ) + d ( g x n + 1 , g x ) ,

which further implies that

d ( F ( x , y ) , g x ) P a 1 + a 4 + a 5 1 a 2 a 5 d ( g x , g x n ) + 1 + a 4 + a 6 1 a 2 a 5 d ( g x n + 1 , g x ) + a 3 1 a 2 a 5 d ( g y , g y n ) .

Since g x n g x and g y n g y , then for 0 E c , there exists N N such that d ( g x n , g x ) ( 1 a 2 a 5 ) c 3 ( a 1 + a 4 + a 5 ) , d ( g x n + 1 , g x ) ( 1 a 2 a 5 ) c 3 ( 1 + a 4 + a 6 ) , and d ( g y n , g y ) ( 1 a 2 a 5 ) c 3 a 3 for all n N . Thus,

d ( F ( x , y ) , g x ) c 3 + c 3 + c 3 = c .

Now, according to ( p 2 ), it follows that d ( F ( x , y ) , g x ) = 0 E and F ( x , y ) = g x . Similarly, F ( y , x ) = g y . Hence, ( x , y ) is a coupled coincidence point of the mappings F and g. □

Remark 3.2 In Theorem 3.1, the condition (ii) is a substitution for the mixed g-monotone property that has been used in most of the coupled coincidence point theorems so far. Therefore, Theorem 3.1 improves the results of Nashine et al.[33]. Moreover, it is an ordered version extension of the results of Abbas et al.[36].

Corollary 3.3Let ( X , d , ) be an ordered cone metric space over a solid conePand let g : X X and F : X × X X . Suppose that the following hold:

(i) F ( X × X ) g ( X ) and g ( X ) is a complete subspace ofX;

(ii) gandFsatisfy property (2.3);

(iii) there exist x 0 , y 0 X such that g x 0 F ( x 0 , y 0 ) and g y 0 F ( y 0 , x 0 ) ;

(iv) there exist α , β , γ 0 and α + β + γ < 1 such that for all x , y , u , v X satisfying g x g u and g y g v ,

d ( F ( x , y ) , F ( u , v ) ) P α d ( g x , g u ) + β d ( g y , g v ) + γ d ( F ( x , y ) , g u ) (3.9)

holds;

(v) if x n x when n inX, then x n x fornsufficiently large.

Then there exist x , y X such that

F ( x , y ) = g x and F ( y , x ) = g y ,

that is, Fandghave a coupled coincidence point ( x , y ) X × X .

Putting g = I X , where I X is the identity mapping from X into X in Theorem 3.1, we get the following corollary.

Corollary 3.4Let ( X , d , ) be an ordered cone metric space over a solid conePand let F : X × X X . Suppose that the following hold:

(i) Xis complete;

(ii) gandFsatisfy property (2.4);

(iii) there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) ;

(iv) there exists a i 0 for i = 1 , 2 , , 6 and i = 1 6 a i < 1 such that for all x , y , u , v X satisfying x u and y v ,

(3.10)

holds;

(v) if x n x when n inX, then x n x fornsufficiently large.

Then there exist x , y X such that

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

that is, Fhas a coupled fixed point ( x , y ) X × X .

Our second main result is the following.

Theorem 3.5Let ( X , d , ) be an ordered cone metric space over a solid coneP. Let F : X × X X and g : X X be mappings. Suppose that the following hold:

(i) F ( X × X ) g ( X ) and g ( X ) is a complete subspace ofX;

(ii) gandFsatisfy property (2.3);

(iii) there exist x 0 , y 0 X such that g x 0 F ( x 0 , y 0 ) and g y 0 F ( y 0 , x 0 ) ;

(iv) there is some h [ 0 , 1 / 2 ) such that for all x , y , u , v X satisfying g x g u and g y g v , there exists

Θ x , y , u , v { d ( g x , g u ) , d ( g y , g v ) , d ( F ( x , y ) , g u ) }

such that

d ( F ( x , y ) , F ( u , v ) ) P h Θ x , y , u , v ;

(v) if x n x when n inX, then x n x fornsufficiently large.

Then there exist x , y X such that

F ( x , y ) = g x and F ( y , x ) = g y ,

that is, Fandghave a coupled coincidence point ( x , y ) X × X .

Proof Since F ( X × X ) g ( X ) (condition (i)), we can start from x 0 , y 0 (condition (iii)) and construct sequences { g x n } and { g y n } in X such that

g x n = F ( x n 1 , y n 1 ) and g y n = F ( y n 1 , x n 1 ) (3.11)

for all n N . From (iii), we get g x 0 F ( x 0 , y 0 ) = g x 1 and the condition (ii) implies that

g x 1 = F ( x 0 , y 0 ) F ( x 1 , y 1 ) = g x 2 .

By repeating this process, we have g x n 1 g x n . Similarly, we can prove that g y n 1 g y n for all n N .

Since g x n 1 g x n and g y n 1 g y n for all n N , from (iv), we have that there exist h [ 0 , 1 / 2 ) and

Θ 1 { d ( g x n 1 , g x n ) , d ( g y n 1 , g y n ) , d ( F ( x n 1 , y n 1 ) , g x n ) } = { d ( g x n 1 , g x n ) , d ( g y n 1 , g y n ) , 0 E }

such that

d ( g x n , g x n + 1 ) = d ( F ( x n 1 , y n 1 ) , F ( x n , y n ) ) P h Θ 1 .

Similarly, one can show that there exists

Θ 2 { d ( g x n 1 , g x n ) , d ( g y n 1 , g y n ) , 0 E ) }

such that

d ( g y n , g y n + 1 ) = d ( F ( y n 1 , x n 1 ) , F ( y n , x n ) ) P h Θ 2 .

Now, denote δ n = d ( g x n , g x n + 1 ) + d ( g y n , g y n + 1 ) . Since the cases Θ 1 = 0 E and Θ 2 = 0 E are trivial, we have to consider the following four possibilities.

Case 1. d ( g x n , g x n + 1 ) P h d ( g x n 1 , g x n ) and d ( g y n , g y n + 1 ) P h d ( g y n 1 , g y n ) . Adding up, we get that

δ n P h δ n 1 P 2 h δ n 1 .

Case 2. d ( g x n , g x n + 1 ) P h d ( g x n 1 , g x n ) and d ( g y n , g y n + 1 ) P h d ( g x n 1 , g x n ) . Then

δ n P 2 h d ( g x n 1 , g x n ) P 2 h d ( g x n 1 , g x n ) + 2 h d ( g y n 1 , g y n ) = 2 h δ n 1 .

Case 3. d ( g x n , g x n + 1 ) P h d ( g y n 1 , g y n ) and d ( g y n , g y n + 1 ) P h d ( g x n 1 , g x n ) . This case is treated analogously to Case 1.

Case 4. d ( g x n , g x n + 1 ) P h d ( g y n 1 , g y n ) and d ( g y n , g y n + 1 ) P h d ( g y n 1 , g y n ) . This case is treated analogously to Case 2.

Thus, in all cases, we get δ n P 2 h δ n 1 for all n N , where 0 2 h < 1 . Therefore,

δ n P 2 h δ n 1 P ( 2 h ) 2 δ n 2 P P ( 2 h ) n δ 0 ,

and by the same argument as in Theorem 3.1, it is proved that { g x n } and { g y n } are Cauchy sequences in g ( X ) . By the completeness of g ( X ) , there exist g x , g y g ( X ) such that g x n g x and g y n g y .

From (v), we get g x n g x and g y g y n for all n 0 . Now, we prove that F ( x , y ) = g x and F ( y , x ) = g y .

If g x n = g x and g y n = g y for some n 0 , from (iv) we have

d ( F ( x , y ) , g x ) P d ( F ( x , y ) , g x n + 1 ) + d ( g x n + 1 , g x ) = d ( F ( x , y ) , F ( x n , y n ) ) + d ( g x n + 1 , g x ) P h Θ x , y , x n , y n + d ( g x n + 1 , g x ) ,

where Θ x , y , x n , y n { d ( g x , g x n ) , d ( g y , g y n ) , d ( F ( x , y ) , g x n ) } . Let c int ( P ) be fixed. If Θ x , y , x n , y n = d ( g x , g x n ) = 0 E or Θ x , y , x n , y n = d ( g y , g y n ) = 0 E , then for n sufficiently large, we have that

d ( F ( x , y ) , g x ) c .

By property ( p 2 ), it follows that F ( x , y ) = g x . If Θ x , y , x n , y n = d ( F ( x , y ) , g x n ) , then we get that

d ( F ( x , y ) , g x ) P h d ( F ( x , y ) , g x n ) + d ( g x n + 1 , g x ) P h d ( F ( x , y ) , g x ) + h d ( g x , g x n ) + d ( g x n + 1 , g x ) = h d ( F ( x , y ) , g x ) + d ( g x n + 1 , g x ) .

Now, it follows that for n sufficiently large,

d ( F ( x , y ) , g x ) P 1 1 h d ( g x n + 1 , g x ) P 1 1 h ( 1 h ) c = c .

Therefore, again by property ( p 2 ), we get that F ( x , y ) = g x . Similarly, we can prove that F ( y , x ) = g y . Hence, ( x , y ) is a coupled point of coincidence of F and g.

Then, we suppose that ( g x n , g y n ) ( g x , g y ) for all n 0 . For this, consider

d ( F ( x , y ) , g x ) P d ( F ( x , y ) , g x n + 1 ) + d ( g x n + 1 , g x ) = d ( F ( x , y ) , F ( x n , y n ) ) + d ( g x n + 1 , g x ) P h Θ x , y , x n , y n + d ( g x n + 1 , g x ) ,

where Θ x , y , x n , y n { d ( g x , g x n ) , d ( g y , g y n ) , d ( F ( x , y ) , g x n ) } . Let c int ( P ) be fixed. If Θ x , y , x n , y n = d ( g x , g x n ) or Θ x , y , x n , y n = d ( g y , g y n ) , then for n sufficiently large, we have that

d ( F ( x , y ) , g x ) h c 2 h + c 2 = c .

By property ( p 2 ), it follows that F ( x , y ) = g x . If Θ x , y , x n , y n = d ( F ( x , y ) , g x n ) , then we get that

d ( F ( x , y ) , g x ) P h d ( F ( x , y ) , g x n ) + d ( g x n + 1 , g x ) P h d ( F ( x , y ) , g x ) + h d ( g x , g x n ) + d ( g x n + 1 , g x ) .

Now, it follows that for n sufficiently large,

d ( F ( x , y ) , g x ) P h 1 h d ( g x , g x n ) + 1 1 h d ( g x n + 1 , g x ) h 1 h 1 h h c 2 + 1 1 h ( 1 h ) c 2 = c .

Thus, again by property ( p 2 ), we get that F ( x , y ) = g x .

Similarly, F ( y , x ) = g y is obtained. Hence, ( x , y ) is a coupled point of coincidence of the mappings F and g. □

Remark 3.6 It would be interesting to relate our Theorem 3.5 with Theorem 2.1 of Long et al.[39].

Putting g = I X , where I X is the identity mapping from X into X in Theorem 3.5, we get the following corollary.

Corollary 3.7Let ( X , d , ) be an ordered cone metric space over a solid coneP. Let F : X × X X be mappings. Suppose that the following hold:

(i) Xis complete;

(ii) Fsatisfies property (2.4);

(iii) there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) ;

(iv) there is some h [ 0 , 1 / 2 ) such that for all x , y , u , v X satisfying x u and y v , there exists

Θ x , y , u , v { d ( x , u ) , d ( y , v ) , d ( F ( x , y ) , u ) }

such that

d ( F ( x , y ) , F ( u , v ) ) P h Θ x , y , u , v .

(v) if x n x when n inX, then x n x fornsufficiently large.

Then there exist x , y X such that

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

that is, Fhas a coupled fixed point ( x , y ) X × X .

### 4 Common coupled fixed point theorems lacking the mixed monotone property

Some questions arise naturally from Theorems 3.1 and 3.5. For example, one may ask if there are necessary conditions for the existence and uniqueness of a common coupled fixed point of F and g?

The next theorem provides a positive answer to this question with additional hypotheses to Theorems 3.1 and 3.5.

For the given partial order ⪯ on the set X, we will denote also by ⪯ the order on X × X given by

( x 1 , y 1 ) ( x 2 , y 2 ) x 1 x 2 and y 1 y 2 . (4.1)

Theorem 4.1In addition to the hypotheses of Theorem 3.1, suppose that for every ( x , y ) , ( x , y ) X × X , there exists ( u , v ) X × X such that

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) )

and

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) ) .

IfFandgare w -compatible, thenFandghave a unique common coupled fixed point, that is, there exists a unique ( u ˆ , v ˆ ) X × X such that

u ˆ = g u ˆ = F ( u ˆ , v ˆ ) and v ˆ = g v ˆ = F ( v ˆ , u ˆ ) .

Proof From Theorem 3.1, the set of coupled coincidence points of F and g is nonempty. Suppose ( x , y ) and ( x , y ) are coupled coincidence points of F, that is, g x = F ( x , y ) , g y = F ( y , x ) , g x = F ( x , y ) and g y = F ( y , x ) . We will prove that

g x = g x and g y = g y . (4.2)

By assumption, there exists ( u , v ) X × X such that

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) )

and

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) ) .

Put u 0 = u , v 0 = v and choose u 1 , v 1 X so that g u 1 = F ( u 0 , v 0 ) and g v 1 = F ( v 0 , u 0 ) . Then, similarly as in the proof of Theorem 3.1, we can inductively define sequences { g u n } , { g v n } with

g u n + 1 = F ( u n , v n ) and g v n + 1 = F ( v n , u n )

for all n. Further, set x 0 = x , y 0 = y , x 0 = x , y 0 = y and, in a similar way, define the sequences { g x n } , { g y n } and { g x n } , { g y n } . Then it is easy to show that

g x n F ( x , y ) , g y n F ( y , x )

and

g x n F ( x , y ) , g y n F ( y , x )

as n .

Since

( g x , g y ) = ( g x 1 , g y 1 ) = ( F ( x , y ) , F ( y , x ) ) ( F ( u , v ) , F ( v , u ) ) = ( g u 1 , g v 1 ) ,

we have g x g u 1 and g y g v 1 . It is easy to show that, similarly,

( g x , g y ) ( g u n , g v n )

for all n 1 , that is, g x g u n and g y g v n for all n 1 . Thus, from (3.1), we have

d ( g u n + 1 , g x ) = d ( F ( u n , v n ) , F ( x , y ) ) P a 1 d ( g u n , g x ) + a 2 d ( F ( u n , v n ) , g u n ) + a 3 d ( g v n , g y ) + a 4 d ( F ( x , y ) , g x ) + a 5 d ( F ( u n , v n ) , g x ) + a 6 d ( F ( x , y ) , g u n ) = a 1 d ( g u n , g x ) + a 2 d ( g u n + 1 , g u n ) + a 3 d ( g v n , g y ) + a 4 d ( g x , g x ) + a 5 d ( g u n + 1 , g x ) + a 6 d ( g x , g u n ) P a 1 d ( g u n , g x ) + a 2 [ d ( g u n + 1 , g x ) + d ( g x , g u n ) ] + a 3 d ( g v n , g y ) + a 5 d ( g u n + 1 , g x ) + a 6 d ( g x , g u n ) ,

that is,

( 1 a 2 a 5 ) d ( g u n + 1 , g x ) P ( a 1 + a 2 + a 6 ) d ( g u n , g x ) + a 3 d ( g v n , g y ) .

In the same way, starting from d ( g v n + 1 , g y ) , we can show that

( 1 a 2 a 5 ) d ( g v n + 1 , g y ) P ( a 1 + a 2 + a 6 ) d ( g v n , g y ) + a 3 d ( g u n , g x ) .

Thus,

(4.3)

In a similar way, starting from d ( g x , g u n + 1 ) , resp. d ( g y , g v n + 1 ) , and adding up the obtained inequalities, one gets that

(4.4)

Finally, adding up (4.3) and (4.4), we obtain that

d ( g u n + 1 , g x ) + d ( g v n + 1 , g y ) P λ [ d ( g u n , g x ) + d ( g v n , g y ) ] , (4.5)

where λ is determined as in (3.8), and hence 0 λ < 1 .

By inequality (4.5) n time, we have

It follows from λ n [ d ( g u 0 , g x ) + d ( g v 0 , g y ) ] 0 E as n that

d ( g u n , g x ) + d ( g v n , g y ) c

for all c int ( P ) and large n. Since

0 E P d ( g u n , g x ) P d ( g u n , g x ) + d ( g v n , g y ) ,

it follows by ( p 3 ) that d ( g u n , g x ) c for large n, and so g u n g x when n . Similarly, g v n g y when n . By the same procedure, one can show that g u n g x and g v n g y as n . By the uniqueness of the limit, we get g x = g x and g y = g y , i.e., (4.2) is proved. Therefore, ( g x , g y ) is the unique coupled point of coincidence of F and g.

Note that if ( g x , g y ) is a coupled point of coincidence of F and g, then ( g y , g x ) is also a coupled point of coincidence of F and g. Then g x = g y and therefore ( g x , g x ) is the unique coupled point of coincidence of F and g.

Next, we show that F and g have a common coupled fixed point. Let u ˆ : = g x . Then we have u ˆ = g x = F ( x , x ) . Since F and g are w -compatible, we have

g u ˆ = g g x = g F ( x , x ) = F ( g x , g x ) = F ( u ˆ , u ˆ ) .

Thus, ( g u ˆ , g u ˆ ) is a coupled point of coincidence of F and g. By the uniqueness of a coupled point of coincidence of F and g, we get g u ˆ = g x . Therefore, u ˆ = g u ˆ = F ( u ˆ , u ˆ ) , that is, ( u ˆ , u ˆ ) is a common coupled fixed point of F and g.

Finally, we show the uniqueness of a common coupled fixed point of F and g. Let ( u ˜ , u ˜ ) X × X be another common coupled fixed point of F and g. So,

u ˜ = g u ˜ = F ( u ˜ , u ˜ ) .

Then ( g u ˆ , g u ˆ ) and ( g u ˜ , g u ˜ ) are two common coupled points of coincidence of F and g and, as was previously proved, it must be g u ˆ = g u ˜ , and so u ˆ = g u ˆ = g u ˜ = u ˜ . This completes the proof. □

Next, we give some illustrative example which supports Theorem 4.1, while the results of Nashine et al.[33] do not.

Example 4.2 Let X = R be ordered by the following relation:

x y x y .

Let E = C R 1 [ 0 , 1 ] with f = f + f for all f E and

P = { f E : f ( t ) 0  for  t [ 0 , 1 ] } .

It is well known (see, e.g., [40]) that the cone P is not normal. Let

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

for all x , y X , for a fixed φ P (e.g., φ ( t ) = e t for t [ 0 , 1 ] ). Then ( X , d ) is a complete ordered cone metric space over a non-normal solid cone.

Let g : X X and F : X × X X be defined by

g x = x 2 2 and F ( x , y ) = x 2 + y 2 8 .

Consider y 1 = 2 and y 2 = 1 , we have for x = 3 , we get y 1 = 2 1 = y 2 , but

F ( x , y 1 ) = 13 8 10 8 = F ( x , y 2 ) .

So, the mapping F does not satisfy the mixed g-monotone property. Therefore, Theorems 3.1 and 3.2 of Nashine et al.[33] cannot be used to reach this conclusion.

Now, we show that Theorem 4.1 can be used for this case.

Take a 1 = a 3 = 1 4 and a 2 = a 4 = a 5 = a 6 = 0 . We will check that the condition (3.1) in Theorem 3.1 holds.

For x , y , u , v X satisfying g u g x and g v g y , we have

d ( F ( x , y ) , F ( u , v ) ) = | x 2 + y 2 8 u 2 + v 2 8 | φ P 1 4 | x 2 2 u 2 2 | φ + 1 4 | y 2 2 v 2 2 | φ = 1 4 d ( g x , g u ) + 1 4 d ( g y , g v ) = a 1 d ( g x , g u ) + a 3 d ( g y , g v ) .

Next, we show that F and g are w -compatible. We note that if g x = F ( x , x ) , then we get only one case, that is, x = 0 , and hence

g F ( x , x ) = g F ( 0 , 0 ) = g 0 = 0 = F ( 0 , 0 ) = F ( g 0 , g 0 ) = F ( g x , g x ) .

Therefore, F and g are w -compatible.

Moreover, other conditions in Theorem 4.1 are also satisfied. Now, we can apply Theorem 4.1 to conclude the existence of a unique common coupled fixed point of F and g that is a point ( 0 , 0 ) .

The following uniqueness result corresponding to Theorem 3.5 can be proved in the same way as Theorem 4.1.

Theorem 4.3In addition to the hypotheses of Theorem 3.5, suppose that for every ( x , y ) , ( x , y ) X × X , there exists ( u , v ) X × X such that

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) )

and

( F ( u , v ) , F ( v , u ) ) ( F ( x , y ) , F ( y , x ) ) .

IfFandgare w -compatible, thenFandghave a unique coupled common fixed point, that is, there exists a unique ( u ˆ , v ˆ ) X × X such that

u ˆ = g u ˆ = F ( u ˆ , v ˆ ) and v ˆ = g v ˆ = F ( v ˆ , u ˆ ) .

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

### Acknowledgements

The authors would like to thank Professor Hichem Ben-El-Mechaiekh and the referee for valuable comments. The second author would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST) and the third author would like to thank the Commission on Higher Education, the Thailand Research Fund and KMUTT under Grant No. MRG5580213 for financial support during the preparation of this manuscript.

### References

1. Turinici, M: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl.. 117, 100–127 (1986). Publisher Full Text

2. Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc.. 132(5), 1435–1443 (2004). Publisher Full Text

3. Altun, I, Damjanović, B, Djorić, D: Fixed point and common fixed point theorems on ordered cone metric spaces. Appl. Math. Lett.. 23, 310–316 (2009)

4. Aydi, H, Nashine, HK, Samet, B, Yazidi, H: Coincidence and common fixed point results in partially ordered cone metric spaces and applications to integral equations. Nonlinear Anal.. 74, 6814–6825 (2011). Publisher Full Text

5. Kadelburg, Z, Pavlović, M, Radenović, S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput. Math. Appl.. 59, 3148–3159 (2010). Publisher Full Text

6. Nieto, JJ, López, RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order. 22, 223–239 (2005). Publisher Full Text

7. Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal., Theory Methods Appl.. 11, 623–632 (1987). Publisher Full Text

8. Bhaskar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal.. 65, 1379–1393 (2006). Publisher Full Text

9. Harjani, J, López, B, Sadarangani, K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal.. 74, 1749–1760 (2011). Publisher Full Text

10. Luong, NV, Thuan, NX: Coupled fixed points in partially ordered metric spaces and application. Nonlinear Anal.. 74, 983–992 (2011). Publisher Full Text

11. Luong, NV, Thuan, NX: Coupled fixed point theorems for mixed monotone mappings and an application to integral equations. Comput. Math. Appl. (2011) doi:10.1016/j.camwa.2011.10.011

12. Caballero, J, Harjani, J, Sadarangani, K: Positive solutions for a class of singular fractional boundary value problems. Comput. Math. Appl.. 62(3), 1325–1332 (2011). Publisher Full Text

13. Jleli, M, Samet, B: On positive solutions for a class of singular nonlinear fractional differential equations. Bound. Value Probl.. 2012, (2012) Article ID 73

14. Lakshmikantham, V, Ćirić, LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal.. 70, 4341–4349 (2009). Publisher Full Text

15. Abbas, M, Sintunavarat, W, Kumam, P: Coupled fixed point of generalized contractive mappings on partially ordered G-metric spaces. Fixed Point Theory Appl.. 2012, (2012) Article ID 31

16. Choudhury, BS, Kundu, A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal.. 73, 2524–2531 (2010).