Skip to main content

Advertisement

Research | Open | Published:

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

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.

1 Introduction

The famous Banach contraction principle states that if (X,d) is a complete metric space and T:XX is a contraction mapping (i.e., d(Tx,Ty)αd(x,y) for all x,yX, 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 [35]. 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 [1530] 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. 1.

    P is closed and P{ 0 E };

  2. 2.

    a,bR, a,b0, x,yPax+byP;

  3. 3.

    xP, xPx= 0 E .

Given a cone PE, a partial ordering P with respect to P is naturally defined by x P y if and only if yxP for x,yE. We will write x < P y to indicate that x P y but xy, while xy will stand for yxint(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,yE,

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×XE satisfy

  1. 1.

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

  2. 2.

    d(x,y)=d(y,x) for all x,yX;

  3. 3.

    d(x,y) P d(x,z)+d(z,y) for all x,y,zX.

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 xX.

  1. 1.

    If for every cE with 0 E P c, there is NN such that d( x n ,x) P c for all nN, 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. 2.

    If for every cE with 0 E P c, there is NN 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. 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 ka, where aP and k[0,1), then a= 0 E ;

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

( p 3 ) if u,v,wE, u P v and vw, then uw;

( p 4 ) if cint(P), 0 E P a n E and a n 0 E , then there exists kN 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

  1. (i)

    (X,d) is a cone metric space,

  2. (ii)

    (X,) is a partially ordered set.

Let (X,) be a partially ordered set. By xy, we mean yx for x,yX. Elements x,yX are called comparable if xy or yx holds. A mapping f is said to be g-nondecreasing (resp., g-nonincreasing) if, for all x,yX, gxgy 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×XX and g:XX. The mapping F is said to have a mixed g-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,yX,

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×XX, g:XX. 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

gx=F(x,y)andgy=F(y,x),

and in this case (gx,gy) is called a coupled point of coincidence;

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

x=gx=F(x,y)andy=gy=F(y,x).

Definition 2.6 ([36])

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

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

( W 2 ) w -compatible if gF(x,x)=F(gx,gx) whenever gx=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×XX and g:XX be defined by

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

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

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

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

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

Let X be a nonempty set and let g:XX and F:X×XX. 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 yX. Since ga=cd=gb but F(a,y)F(b,y) for all yX, the mapping F does not have the mixed g-monotone property. But it has property (2.3) since

  1. (1)

    For each yX, we get gcF(c,y)=gc and F(c,y)F(c,v) for all vX.

  2. (2)

    For each yX, we get gdF(d,y)=gd and F(d,y)F(d,v) for all vX.

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 yX. Since ab but F(a,y)=ba=F(b,y) for all yX, the mapping F does not have the mixed monotone property. But it has property (2.4) since

  1. (1)

    For each yX, we get aF(a,y) and F(a,y)=ba=F(F(a,y),v) for all vX.

  2. (2)

    For each yX, we get bF(b,y) and F(b,y)=ab=F(F(b,y),v) for all vX.

  3. (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.1 Let (X,d,) be an ordered cone metric space over a solid cone P and let g:XX and F:X×XX. Suppose that the following hold:

  1. (i)

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

  2. (ii)

    g and F satisfy property (2.3);

  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 );

  4. (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,vX satisfying gxgu and gygv,

    (3.1)

holds;

  1. (v)

    if x n x when n in X, then x n x for n sufficiently large.

Then there exist x,yX such that

F(x,y)=gxandF(y,x)=gy,

that is, F and g have 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 )andg y n =F( y n 1 , x n 1 )
(3.2)

for all nN. 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 nN. 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 nN, 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 nN, 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 nN, 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>n1, 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 gx,gyg(X) such that g x n gx and g y n gy as n.

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

If g x n =gx and g y n =gy for some n0, 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 ,gx).

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

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

for all nN. Therefore,

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

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

So, we suppose that (g x n ,g y n )(gx,gy) for all n0. 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 gx and g y n gy, then for 0 E c, there exists NN such that d(g x n ,gx) ( 1 a 2 a 5 ) c 3 ( a 1 + a 4 + a 5 ) , d(g x n + 1 ,gx) ( 1 a 2 a 5 ) c 3 ( 1 + a 4 + a 6 ) , and d(g y n ,gy) ( 1 a 2 a 5 ) c 3 a 3 for all nN. 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),gx)= 0 E and F(x,y)=gx. Similarly, F(y,x)=gy. 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.3 Let (X,d,) be an ordered cone metric space over a solid cone P and let g:XX and F:X×XX. Suppose that the following hold:

  1. (i)

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

  2. (ii)

    g and F satisfy property (2.3);

  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 );

  4. (iv)

    there exist α,β,γ0 and α+β+γ<1 such that for all x,y,u,vX satisfying gxgu and gygv,

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

holds;

  1. (v)

    if x n x when n in X, then x n x for n sufficiently large.

Then there exist x,yX such that

F(x,y)=gxandF(y,x)=gy,

that is, F and g have 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.4 Let (X,d,) be an ordered cone metric space over a solid cone P and let F:X×XX. Suppose that the following hold:

  1. (i)

    X is complete;

  2. (ii)

    g and F satisfy property (2.4);

  3. (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 );

  4. (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,vX satisfying xu and yv,

    (3.10)

holds;

  1. (v)

    if x n x when n in X, then x n x for n sufficiently large.

Then there exist x,yX such that

F(x,y)=xandF(y,x)=y,

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

Our second main result is the following.

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

  1. (i)

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

  2. (ii)

    g and F satisfy property (2.3);

  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 );

  4. (iv)

    there is some h[0,1/2) such that for all x,y,u,vX satisfying gxgu and gygv, 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 ;
  1. (v)

    if x n x when n in X, then x n x for n sufficiently large.

Then there exist x,yX such that

F(x,y)=gxandF(y,x)=gy,

that is, F and g have 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 )andg y n =F( y n 1 , x n 1 )
(3.11)

for all nN. 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 nN.

Since g x n 1 g x n and g y n 1 g y n for all nN, 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 hd(g x n 1 ,g x n ) and d(g y n ,g y n + 1 ) P hd(g y n 1 ,g y n ). Adding up, we get that

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

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

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

Case 3. d(g x n ,g x n + 1 ) P hd(g y n 1 ,g y n ) and d(g y n ,g y n + 1 ) P hd(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 hd(g y n 1 ,g y n ) and d(g y n ,g y n + 1 ) P hd(g y n 1 ,g y n ). This case is treated analogously to Case 2.

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

δ n P 2h δ 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 gx,gyg(X) such that g x n gx and g y n gy.

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

If g x n =gx and g y n =gy for some n0, 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(gx,g x n ),d(gy,g y n ),d(F(x,y),g x n )}. Let cint(P) be fixed. If Θ x , y , x n , y n =d(gx,g x n )= 0 E or Θ x , y , x n , y n =d(gy,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)=gx. 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)=gx. Similarly, we can prove that F(y,x)=gy. Hence, (x,y) is a coupled point of coincidence of F and g.

Then, we suppose that (g x n ,g y n )(gx,gy) for all n0. 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(gx,g x n ),d(gy,g y n ),d(F(x,y),g x n )}. Let cint(P) be fixed. If Θ x , y , x n , y n =d(gx,g x n ) or Θ x , y , x n , y n =d(gy,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)=gx. 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)=gx.

Similarly, F(y,x)=gy 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.7 Let (X,d,) be an ordered cone metric space over a solid cone P. Let F:X×XX be mappings. Suppose that the following hold:

  1. (i)

    X is complete;

  2. (ii)

    F satisfies property (2.4);

  3. (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 );

  4. (iv)

    there is some h[0,1/2) such that for all x,y,u,vX satisfying xu and yv, 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 .
  1. (v)

    if x n x when n in X, then x n x for n sufficiently large.

Then there exist x,yX such that

F(x,y)=xandF(y,x)=y,

that is, F has 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.1 In 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 ) ) .

If F and g are w -compatible, then F and g have 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, gx=F(x,y), gy=F(y,x), g x =F( x , y ) and g y =F( y , x ). We will prove that

gx=g x andgy=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 )andg 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

(gx,gy)=(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 gxg u 1 and gyg v 1 . It is easy to show that, similarly,

(gx,gy)(g u n ,g v n )

for all n1, that is, gxg u n and gyg v n for all n1. 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 ,gx) P ( a 1 + a 2 + a 6 )d(g u n ,gx)+ a 3 d(g v n ,gy).

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

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

Thus,

(4.3)

In a similar way, starting from d(gx,g u n + 1 ), resp. d(gy,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 ,gx)+d(g v n + 1 ,gy) 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 ,gx)+d(g v 0 ,gy)] 0 E as n that

d(g u n ,gx)+d(g v n ,gy)c

for all cint(P) and large n. Since

0 E P d(g u n ,gx) P d(g u n ,gx)+d(g v n ,gy),

it follows by ( p 3 ) that d(g u n ,gx)c for large n, and so g u n gx when n. Similarly, g v n gy 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 gx=g x and gy=g y , i.e., (4.2) is proved. Therefore, (gx,gy) is the unique coupled point of coincidence of F and g.

Note that if (gx,gy) is a coupled point of coincidence of F and g, then (gy,gx) is also a coupled point of coincidence of F and g. Then gx=gy and therefore (gx,gx) 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 ˆ :=gx. Then we have u ˆ =gx=F(x,x). Since F and g are w -compatible, we have

g u ˆ =ggx=gF(x,x)=F(gx,gx)=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 ˆ =gx. 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:

xyxy.

Let E= C R 1 [0,1] with f= f + f for all fE 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)=|xy|φ

for all x,yX, 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:XX and F:X×XX be defined by

gx= x 2 2 andF(x,y)= x 2 + y 2 8 .

Consider y 1 =2 and y 2 =1, we have for x=3, we get y 1 =21= 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,vX satisfying gugx and gvgy, 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 gx=F(x,x), then we get only one case, that is, x=0, and hence

gF(x,x)=gF(0,0)=g0=0=F(0,0)=F(g0,g0)=F(gx,gx).

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.3 In 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 ) ) .

If F and g are w -compatible, then F and g have 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 ˆ ).

References

  1. 1.

    Turinici M: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 1986, 117: 100–127. 10.1016/0022-247X(86)90251-9

  2. 2.

    Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132(5):1435–1443. 10.1090/S0002-9939-03-07220-4

  3. 3.

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

  4. 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. 2011, 74: 6814–6825. 10.1016/j.na.2011.07.006

  5. 5.

    Kadelburg Z, Pavlović M, Radenović S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput. Math. Appl. 2010, 59: 3148–3159. 10.1016/j.camwa.2010.02.039

  6. 6.

    Nieto JJ, López RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5

  7. 7.

    Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal., Theory Methods Appl. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0

  8. 8.

    Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017

  9. 9.

    Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 2011, 74: 1749–1760. 10.1016/j.na.2010.10.047

  10. 10.

    Luong NV, Thuan NX: Coupled fixed points in partially ordered metric spaces and application. Nonlinear Anal. 2011, 74: 983–992. 10.1016/j.na.2010.09.055

  11. 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. 12.

    Caballero J, Harjani J, Sadarangani K: Positive solutions for a class of singular fractional boundary value problems. Comput. Math. Appl. 2011, 62(3):1325–1332. 10.1016/j.camwa.2011.04.013

  13. 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. 14.

    Lakshmikantham V, Ćirić LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020

  15. 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. 16.

    Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025

  17. 17.

    Nashine HK, Shatanawi W: Coupled common fixed point theorems for pair of commuting mappings in partially ordered complete metric spaces. Comput. Math. Appl. 2011, 62: 1984–1993. 10.1016/j.camwa.2011.06.042

  18. 18.

    Samet B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 2010, 72: 4508–4517. 10.1016/j.na.2010.02.026

  19. 19.

    Karapınar E, Kumam P, Sintunavarat W: Coupled fixed point theorems in cone metric spaces with a c -distance and applications. Fixed Point Theory Appl. 2012., 2012: Article ID 194

  20. 20.

    Aydi H, Karapınar E, Shatanawi W: Coupled coincidence points in ordered cone metric spaces with c -distance. J. Appl. Math. 2012., 2012: Article ID 312078

  21. 21.

    Aydi H, Karapınar E, Shatanawi W:Coupled fixed point results for (φψ)-weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 2011, 62(12):4449–4460. 10.1016/j.camwa.2011.10.021

  22. 22.

    Ding H-S, Karapınar E: A note on some coupled fixed point theorems on G -metric space. J. Inequal. Appl. 2012., 2012: Article ID 170

  23. 23.

    Hung NM, Karapınar E, Luong NV: Coupled coincidence point theorem in partially ordered metric spaces via implicit relation. Abstr. Appl. Anal. 2012., 2012: Article ID 796964

  24. 24.

    Karapınar E, Türkoǧlu AD: Best approximations theorem for a couple in cone Banach spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 784578

  25. 25.

    Karapınar E, Kaymakcalan B, Tas K: On coupled fixed point theorems on partially ordered G -metric spaces. J. Inequal. Appl. 2012., 2012: Article ID 200

  26. 26.

    Sintunavarat W, Cho YJ, Kumam P: Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 81

  27. 27.

    Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mapping under F -invariant set. Abstr. Appl. Anal. 2012., 2012: Article ID 324874

  28. 28.

    Sintunavarat W, Cho YJ, Kumam P: Coupled fixed-point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 128

  29. 29.

    Sintunavarat W, Petruşel A, Kumam P:Common coupled fixed point theorems for w -compatible mappings without mixed monotone property. Rend. Circ. Mat. Palermo 2012, 61: 361–383. doi:10.1007/s12215–012–0096–0 10.1007/s12215-012-0096-0

  30. 30.

    Sintunavarat W, Kumam P, Cho YJ: Coupled fixed point theorems for nonlinear contractions without mixed monotone property. Fixed Point Theory Appl. 2012., 2012: Article ID 170

  31. 31.

    Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087

  32. 32.

    Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2011, 74: 2591–2601. 10.1016/j.na.2010.12.014

  33. 33.

    Nashine HK, Kadelburg Z, Radenović S:Coupled common fixed point theorems for w -compatible mappings in ordered cone metric spaces. Appl. Math. Comput. 2012, 218: 5422–5432. 10.1016/j.amc.2011.11.029

  34. 34.

    Karapınar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 3656–3668. 10.1016/j.camwa.2010.03.062

  35. 35.

    Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results. Comput. Math. Appl. 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074

  36. 36.

    Abbas M, Khan MA, Radenović S: Common coupled fixed point theorem in cone metric space for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042

  37. 37.

    Ðorić D, Kadelburg Z, Radenović S: Coupled fixed point results for mappings without mixed monotone property. Appl. Math. Lett. 2012. doi:10.1016/j.aml.2012.02.022

  38. 38.

    Rezapour S, Hamlbarani R: Some notes on paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049

  39. 39.

    Long W, Rhoades BE, Rajovic M: Coupled coincidence points for two mappings in metric spaces and cone metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 66

  40. 40.

    Vandergraft JS: Newton method for convex operators in partially ordered spaces. SIAM J. Numer. Anal. 1967, 4(3):406–432. 10.1137/0704037

Download references

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.

Author information

Correspondence to Wutiphol Sintunavarat or Poom Kumam.

Additional information

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.

Rights and permissions

Reprints and Permissions

About this article

Keywords

  • cone metric spaces
  • common coupled fixed point
  • coupled coincidence point
  • w -compatible mappings
  • mixed g-monotone property