Skip to content

Advertisement

Open Access

F-closed sets and coupled fixed point theorems without the mixed monotone property

Fixed Point Theory and Applications20132013:330

https://doi.org/10.1186/1687-1812-2013-330

Received: 28 July 2013

Accepted: 6 November 2013

Published: 3 December 2013

Abstract

In this paper we present the notion of F-closed set (which is weaker than the concept of F-invariant set introduced in Samet and Vetro (Ann. Funct. Anal. 1:46-56, 2010), and we prove some coupled fixed point theorems without the condition of mixed monotone property. Furthermore, we interpret the transitive property as a partial preorder and, then, some results in that paper and in Sintunavarat et al. (Fixed Point Theory Appl. 2012:170, 2012) can be reduced to the unidimensional case.

MSC:46T99, 47H10, 47H09, 54H25.

Keywords

partially ordered setfixed pointcontractive mappingmixed monotone propertyF-invariant set

1 Introduction

One of the very popular tools of a fixed point theory is the Banach contraction principle which first appeared in 1922. It 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 ) k d ( x , y ) for all x , y X , where k is a nonnegative number such that k < 1 ), then T has a unique fixed point. Several mathematicians have been dedicated to improvement and generalization of this principle. In recent times, one of the most attractive research topics in fixed point theory is to prove the existence of a fixed point on metric spaces endowed with partial orders. An initial result in this direction was given by Turinici [1] in 1986. Following this line of research, Ran and Reurings [2] (and, later, Nieto and Rodríguez-López [3]) used a partial order on the ambient metric space to introduce a slightly different contractivity condition, which must be only verified by comparable points. Thus, they reported two versions of the Banach contraction principle in partially ordered sets and applied them to the study of some applications to matrix equations.

Since then, different extensions to coupled, tripled, quadrupled and multidimensional cases have appeared [428]. One of the common properties of all these results is the fact that the mapping F : X n X must verify the mixed monotone property. Searching for a generalization of this kind of theorems, Samet and Vetro [29] succeeded in proving some results in which the mapping F did not necessarily have the mixed monotone property. To do that, they introduced the notion of F-invariant set. Later, Sintunavarat, Kumam and Cho [30] used this property in order to prove some coupled fixed point theorems for nonlinear contractions without the mixed monotone property.

In this note we observe that the F-invariant property introduced in [29] can be interpreted as a partial preorder and, then, some results in that paper and in [30] can be reduced to the unidimensional case.

2 Preliminaries

Henceforth, let X be a nonempty set. Given a positive integer n, let X n be the product space X × X × n × X . We will use m to denote nonnegative integers. Unless otherwise stated, ‘for all m’ will mean ‘for all m 0 ’.

Definition 1 (Roldán et al. [31])

A preorder (or a quasiorder) on X is a binary relation on X that is reflexive (i.e., x x for all x X ) and transitive (if x , y , z X verify x y and y z , then x z ). In such a case, we say that ( X , ) is a preordered space (or a preordered set). If a preorder is also antisymmetric ( x y and y x imply x = y ), then is called a partial order.

Throughout this manuscript, let ( X , d ) be a metric space, and let be a preorder (or a partial order) on X.

Definition 2 (Roldán [32])

If ( X , ) is a preordered space, a mapping T : X X is -nondecreasing if T x T y for all x , y X such that x y .

In 2003, Ran and Reurings proved the following version of the Banach theorem applicable to metric spaces endowed with a partial order.

Theorem 3 (Ran and Reurings [2])

Let ( X , ) be an ordered set endowed with a metric d, and let T : X X be a given mapping. Suppose that the following conditions hold:
  1. (a)

    ( X , d ) is complete.

     
  2. (b)

    T is -nondecreasing.

     
  3. (c)

    T is continuous.

     
  4. (d)

    There exists x 0 X such that x 0 T x 0 .

     
  5. (e)

    There exists a constant k ( 0 , 1 ) such that d ( T x , T y ) k d ( x , y ) for all x , y X with x y .

     

Then T has a fixed point. Moreover, if for all ( x , y ) X 2 there exists z X such that x z and y z , we obtain uniqueness of the fixed point.

Later, Nieto and Rodríguez-López slightly modified the hypothesis of the previous result swapping condition (c) by the fact that ( X , d , ) is nondecreasing-regular in the following sense.

Definition 4 We will say that ( X , d , ) is nondecreasing-regular (respectively, nonincreasing-regular) if any -nondecreasing (respectively, -nonincreasing) sequence { x m } d-converges to x X , we have that x m x (respectively, x m x ) for all m. And ( X , d , ) is regular if it is both nondecreasing-regular and nonincreasing-regular.

Inspired by Boyd and Wong’s theorem [33], Mukherjea [34] introduced the following kind of control functions:
Φ = { φ : [ 0 , ) [ 0 , ) : φ ( t ) < t  and  lim r t + φ ( r ) < t  for each  t > 0 } ,

and proved a version of the following result in which the space is not necessarily endowed with a partial order (but the contractivity condition holds over all pairs of points of the space).

Theorem 5 Let ( X , ) be an ordered set endowed with a metric d, and let T : X X be a given mapping. Suppose that the following conditions hold:
  1. (a)

    ( X , d ) is complete.

     
  2. (b)

    T is -nondecreasing.

     
  3. (c)

    Either T is continuous or ( X , d , ) is nondecreasing-regular.

     
  4. (d)

    There exists x 0 X such that x 0 T x 0 .

     
  5. (e)

    There exists φ Φ such that d ( T x , T y ) φ ( d ( x , y ) ) for all x , y X with x y .

     

Then T has a fixed point. Moreover, if for all ( x , y ) X 2 there exists z X such that x z and y z , we obtain uniqueness of the fixed point.

Some generalizations of the previous result can be found in Wang [35] (to the multidimensional case), in Romaguera [36] (to partial metric spaces, but not necessarily provided with a partial order) and in Roldán [32].

In order to guarantee the existence and uniqueness of a solution of periodic boundary value problems, Gnana Bhaskar and Lakshmikantham (and, subsequently, Lakshmikantham and Ćirić, see [37]) proved, in 2006, existence and uniqueness of a coupled fixed point (a notion introduced by Guo and Lakshmikantham) in the setting of partially ordered metric spaces by introducing the notion of mixed monotone property.

Definition 6 (Guo and Lakshmikantham [38])

We call an element ( x , y ) X × X a coupled fixed point of the mapping F : X × X X if
F ( x , y ) = x and F ( y , x ) = y .

In order to ensure the existence of coupled fixed points, Gnana Bhaskar and Lakshmikantham introduced the following condition.

Definition 7 (Gnana Bhaskar and Lakshmikantham [39])

Let ( X , ) be a partially ordered set and F : X × X X . We 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 any x , y X ,
x 1 , x 2 X , x 1 x 2 F ( x 1 , y ) F ( x 2 , y ) , y 1 , y 2 X , y 1 y 2 F ( x , y 1 ) F ( x , y 2 ) .

Many results were proved to ensure the existence of a coupled fixed point. One of the common properties of all these results is the fact that the mapping F : X × X X must verify the mixed monotone property. Searching for a generalization of this kind of theorems, Samet and Vetro [29] succeeded in proving some results in which the mapping F did not necessarily have the mixed monotone property.

Definition 8 (Samet and Vetro [29])

Let ( X , d ) be a metric space and F : X × X X be a given mapping. Let M be a nonempty subset of X 4 . We say that M is an F-invariant subset of X 4 if, for all x , y , z , w X ,
  1. (i)

    ( x , y , z , w ) M ( w , z , y , x ) M ;

     
  2. (ii)

    ( x , y , z , w ) M ( F ( x , y ) , F ( y , x ) , F ( z , w ) , F ( w , z ) ) M .

     

The following theorem is the main result in [29].

Theorem 9 (Samet and Vetro [29])

Let ( X , d ) be a complete metric space, F : X × X X be a continuous mapping and M be a nonempty subset of X 4 . We assume that
  1. (i)

    M is F-invariant;

     
  2. (ii)

    there exists ( x 0 , y 0 ) X 2 such that ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) , x 0 , y 0 ) M ;

     
  3. (iii)
    for all ( x , y , u , v ) M , we have
    d ( F ( x , y ) , F ( u , v ) ) α 2 [ d ( x , F ( x , y ) ) + d ( y , F ( y , x ) ) ] + β 2 [ d ( u , F ( u , v ) ) + d ( v , F ( v , u ) ) ] + θ 2 [ d ( x , F ( u , v ) ) + d ( y , F ( v , u ) ) ] + γ 2 [ d ( u , F ( x , y ) ) + d ( v , F ( y , x ) ) ] + δ 2 [ d ( x , u ) + d ( y , v ) ] ,
     

where α, β, θ, γ, δ are nonnegative constants such that α + β + θ + γ + δ < 1 .

Then F has a coupled fixed point, i.e., there exists ( x , y ) X × X such that F ( x , y ) = x and F ( y , x ) = y .

Later, Sintunavarat et al. [30] introduced the notion of transitive property so as to extend the Lakshmikantham and Ćirić’s theorem (see [37]).

Definition 10 (Sintunavarat et al. [30])

Let ( X , d ) be a metric space and M be a subset of  X 4 . We say that M satisfies the transitive property if, for all x , y , z , w , a , b X ,
( x , y , z , w ) M and ( z , w , a , b ) M ( x , y , a , b ) M .

Then they proved the following result.

Theorem 11 (Sintunavarat et al. [30])

Let ( X , d ) be a complete metric space and M be a nonempty subset of X 4 . Assume that there is a function φ : [ 0 , ) [ 0 , ) with 0 = φ ( 0 ) < φ ( t ) < t and lim r t + φ ( r ) < t for each t > 0 , and also suppose that F : X × X X is a mapping such that
d ( F ( x , y ) , F ( u , v ) ) φ ( d ( x , u ) + d ( y , v ) 2 )
(1)
for all ( x , y , u , v ) M . Suppose that either
  1. (a)

    F is continuous or

     
  2. (b)
    if for any two sequences { x m } , { y m } with ( x m + 1 , y m + 1 , x m , y m ) M ,
    { x m } x , { y m } y ,
     

for all m 1 , then ( x , y , x m , y m ) M for all m 1 .

If there exists ( x 0 , y 0 ) X × X such that ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) , x 0 , y 0 ) M and M is an F-invariant set which satisfies the transitive property, then there exist x , y X such that x = F ( x , y ) and y = F ( y , x ) , that is, F has a coupled fixed point.

In recent times, it has been proved that many coupled, tripled and quadrupled results can be reduced to the unidimensional case, that is, to Theorems 3 and 5 (see, for instance, Samet et al. [40], Agarwal et al. [41] and Roldán et al. [42]). Furthermore, in some cases, it is not necessary to consider a partial order, but a preorder (see Roldán et al. [31] and Roldán [32]).

In this paper we observe that if M X 4 is F-invariant and has the transitive property, we could induce a preorder on X 2 such that Theorem 11 can be seen as an easy consequence of Theorem 5.

3 Main results

In this section we extend some of the previous results using a weaker notion than F-invariant set. Throughout this section, let X be a nonempty set, let F : X × X X be a mapping, and let M be a subset of X 4 .

3.1 F-closed sets and a related fixed point theorem

We extend the notion of F-invariant set as follows.

Definition 12 We say that M is an F-closed subset of X 4 if, for all x , y , u , v X ,
( x , y , u , v ) M ( F ( x , y ) , F ( y , x ) , F ( u , v ) , F ( v , u ) ) M .

Obviously, every F-invariant set is an F-closed set. In particular, and X 4 are F-closed sets.

Example 13 Let X = { 0 , 1 } , and let M = { ( 0 , 0 , 0 , 0 ) , ( 1 , 0 , 0 , 0 ) } X 4 . If we consider the mapping F : X × X X given by F ( x , y ) = 0 for all x , y X , then M is F-closed, but it is not F-invariant.

In Lemma 18 we will show some nontrivial examples of F-closed sets. The following result presents a characterization of F-closed sets.

Lemma 14 Let X be a nonempty set, let F : X × X X be a mapping, and let M be a subset of X 4 . Define:
( x , y ) M ( u , v ) [ ( x , y ) = ( u , v )  or  ( u , v , x , y ) M ] , and T F : X 2 X 2 , T F ( x , y ) = ( F ( x , y ) , F ( y , x ) ) for all  ( x , y ) X 2 .
(2)
Then the following properties hold.
  1. (1)

    M is reflexive whatever M.

     
  2. (2)

    M satisfies the transitive property if and only if M is a preorder on X 2 .

     
  3. (3)

    M is F-closed if and only if the mapping T F is M -nondecreasing.

     
  4. (4)

    If M is F-invariant, then the mapping T F is M -nondecreasing.

     

Proof (1) is obvious. (2) Suppose that M satisfies the transitive property, and let ( x , y ) M ( u , v ) and ( u , v ) M ( a , b ) . If ( x , y ) = ( u , v ) or ( u , v ) = ( a , b ) , then it is apparent that ( x , y ) M ( a , b ) . In other case, ( u , v , x , y ) M and ( a , b , u , v ) M . Since M satisfies the transitive property, then ( a , b , x , y ) M , which means that M is a preorder on X 2 . The converse is similar. (3) Suppose that M is F-closed. Let ( x , y ) , ( u , v ) X 2 be such that ( x , y ) M ( u , v ) . If ( x , y ) = ( u , v ) , then it is clear that T F ( x , y ) = T F ( u , v ) . Now suppose that ( u , v , x , y ) M . Since M is F-closed, we know that ( F ( u , v ) , F ( v , u ) , F ( x , y ) , F ( y , x ) ) M , that is, ( F ( x , y ) , F ( y , x ) ) M ( F ( u , v ) , F ( v , u ) ) , which means that T F ( x , y ) M T F ( u , v ) . Therefore, T F is M -nondecreasing. The converse is similar. (4) It follows from the fact that M is also F-closed. □

Notice that if d is a metric on X, then the mapping D d : X 2 × X 2 [ 0 , ) , defined by
D d ( ( x , y ) , ( u , v ) ) = d ( x , u ) + d ( y , v ) 2 for all  ( x , y ) , ( u , v ) X 2 ,

is a metric on X 2 . Furthermore, if F : X × X X is a d-continuous mapping, then T F : X 2 X 2 , defined as in (2), is D d -continuous. Thus, the following result reduces a coupled fixed point theorem to a unidimensional case.

Theorem 15 Theorem 11 follows from Theorem 5.

Proof Let Y = X × X = X 2 , provided with the metric D d and the preorder M . It is clear that ( Y , D d ) is a complete metric space, and Lemma 14 assures us that T F is M -nondecreasing. The condition ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) , x 0 , y 0 ) M means that the point Z 0 = ( x 0 , y 0 ) verifies Z 0 M T F ( Z 0 ) . If F is d-continuous, then T F is D d -continuous. Taking into account that { ( x m , y m ) } D d -converges to ( x , y ) Y if and only if { x m } d-converges to x and { y m } d-converges to y, it is clear that condition (b) in Theorem 11 implies that ( Y , D d , M ) is nondecreasing-regular. Finally, suppose that ( x , y ) , ( u , v ) Y verify ( x , y ) M ( u , v ) and we are going to show that
D d ( T F ( x , y ) , T F ( u , v ) ) φ ( D d ( ( x , y ) , ( u , v ) ) ) .
Indeed, if ( x , y ) = ( u , v ) , there is nothing to prove. Suppose that ( x , y ) ( u , v ) . In this case, ( u , v , x , y ) M . By (1),
d ( F ( u , v ) , F ( x , y ) ) φ ( d ( u , x ) + d ( v , y ) 2 ) = φ ( D d ( ( x , y ) , ( u , v ) ) ) .
Moreover, by condition (i) in Definition 8, we have
( u , v , x , y ) M ( y , x , v , u ) M ,
and using (1) again, it follows that
d ( F ( y , x ) , F ( v , u ) ) φ ( d ( y , v ) + d ( x , u ) 2 ) = φ ( D d ( ( x , y ) , ( u , v ) ) ) .
Combining the previous inequalities, we deduce that
D d ( T F ( x , y ) , T F ( u , v ) ) = D d ( ( F ( x , y ) , F ( y , x ) ) , ( F ( u , v ) , F ( v , u ) ) ) = d ( F ( x , y ) , F ( u , v ) ) + d ( F ( y , x ) , F ( v , u ) ) 2 φ ( D d ( ( x , y ) , ( u , v ) ) ) .

Using Theorem 5, we conclude that T F has a fixed point, that is, F has a coupled fixed point. □

3.2 Fixed point results without the mixed monotone property

In the previous result, M is F-invariant and satisfies the transitive property. Next we show that these conditions are not necessary in order to prove coupled fixed point theorems. Therefore, we can prove some results avoiding such property.

Theorem 16 Let ( X , d ) be a complete metric space, let F : X × X X be a continuous mapping, and let M be a subset of X 4 . Assume that:
  1. (i)

    M is F-closed;

     
  2. (ii)

    there exists ( x 0 , y 0 ) X 2 such that ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) , x 0 , y 0 ) M ;

     
  3. (iii)
    there exists k [ 0 , 1 ) such that for all ( x , y , u , v ) M , we have
    d ( F ( x , y ) , F ( u , v ) ) + d ( F ( y , x ) , F ( v , u ) ) k ( d ( x , u ) + d ( y , v ) ) .
     

Then F has a coupled fixed point.

Proof Using ( x 0 , y 0 ) X 2 and by recurrence, define x m + 1 = F ( x m , y m ) and y m + 1 = F ( y m , x m ) for all m 0 . We claim that ( x m + 1 , y m + 1 , x m , y m ) M for all m 0 . Indeed, ( x 1 , y 1 , x 0 , y 0 ) = ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) , x 0 , y 0 ) M . Assume that ( x m + 1 , y m + 1 , x m , y m ) M for some m 0 . Since M is F-closed,
( x m + 1 , y m + 1 , x m , y m ) M ( F ( x m + 1 , y m + 1 ) , F ( y m + 1 , x m + 1 ) , F ( x m , y m ) , F ( y m , x m ) ) M ( x m + 2 , y m + 2 , x m + 1 , y m + 1 ) M .
Applying the contractivity condition to ( x m + 1 , y m + 1 , x m , y m ) M , we deduce that, for all m 0 ,
d ( F ( x m + 1 , y m + 1 ) , F ( x m , y m ) ) + d ( F ( y m + 1 , x m + 1 ) , F ( y m , x m ) ) k ( d ( x m + 1 , x m ) + d ( y m + 1 , y m ) ) ,
that is,
d ( x m + 2 , x m + 1 ) + d ( y m + 2 , y m + 1 ) k ( d ( x m + 1 , x m ) + d ( y m + 1 , y m ) ) for all  m 0 .
In other words,
max ( d ( x m + 1 , x m ) , d ( y m + 1 , y m ) ) d ( x m + 1 , x m ) + d ( y m + 1 , y m ) k m ( d ( x 1 , x 0 ) + d ( y 1 , y 0 ) ) for all  m 0 .

This proves that { x m } and { y m } are Cauchy sequences in the complete metric space ( X , d ) . Therefore, there are x , y X such that { x m } x and { y m } y . Since F is continuous, { x m + 1 } = { F ( x m , y m ) } F ( x , y ) , so F ( x , y ) = x . Analogously, F ( y , x ) = y and ( x , y ) is a coupled fixed point of F. □

Example 17 Let X = [ 1 , 1 ] provided with the Euclidean metric. Let M = X 4 { ( 0 , 0 , 0 , 1 ) } and consider the mapping F : X × X X given by F ( x , y ) = ( x y ) / 4 for all x , y X . Then M is an F-closed set but it is not an F-invariant set. Taking into account that, for all x , y , u , v X ,
| F ( x , y ) F ( u , v ) | + | F ( y , x ) F ( v , u ) | = 1 2 | ( x u ) + ( v y ) | 1 2 ( | x u | + | y v | ) ,

and choosing ( x 0 , y 0 ) = ( 1 , 1 ) , we conclude that all hypotheses of Theorem 16 are verified. Then F has a coupled fixed point, which is ( 0 , 0 ) , but Theorem 11 cannot be applied because M is not an F-invariant set.

The previous theorem also holds using a weaker contractivity condition. To introduce it, we need some notation. Given ( x , y ) , ( u , v ) X 2 , we will use, for simplicity, the notation
( T F ( x , y ) , T F ( u , v ) ) = ( F ( x , y ) , F ( y , x ) , F ( u , v ) , F ( v , u ) ) X 4 .
Given a point Z 0 = ( x 0 , y 0 ) X 2 , let T F 0 ( Z 0 ) = Z 0 , T F 1 ( Z 0 ) = T F ( Z 0 ) and T F m + 1 ( Z 0 ) = T F ( T F m ( Z 0 ) ) for all m 0 . We will denote
M F ( Z 0 ) = { ( T F m + 1 ( Z 0 ) , T F m ( Z 0 ) ) : m 0 } X 4 .

Lemma 18 Given Z 0 X 2 , the set M F ( Z 0 ) is F-closed. Indeed, if M X 4 is an F-closed set verifying ( T F ( Z 0 ) , Z 0 ) M , then M F ( Z 0 ) M .

In particular,
M F ( Z 0 ) = { M X 4 : M  is  F -closed and  ( T F ( Z 0 ) , Z 0 ) M } .
Proof Let Z 0 = ( x 0 , y 0 ) X 2 and define x m + 1 = F ( x m , y m ) and y m + 1 = F ( y m , x m ) for all m 0 . Let us prove that T F m ( Z 0 ) = ( x m , y m ) for all m 0 . If m = 0 , it is obvious. If m = 1 , then ( x 1 , y 1 ) = ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) = T F ( x 0 , y 0 ) = T F ( Z 0 ) . By recurrence,
( x m + 1 , y m + 1 ) = ( F ( x m , y m ) , F ( y m , x m ) ) = T F ( x m , y m ) = T F ( T F m ( Z 0 ) ) = T F m + 1 ( Z 0 ) .
Next we claim that M F ( Z 0 ) is F-closed. Let ( x , y , u , v ) M F ( Z 0 ) . Then there exists m 0 such that ( x , y , u , v ) = ( T F m + 1 ( Z 0 ) , T F m ( Z 0 ) ) = ( x m + 1 , y m + 1 , x m , y m ) . Therefore
( F ( x , y ) , F ( y , x ) , F ( u , v ) , F ( v , u ) ) = ( F ( x m + 1 , y m + 1 ) , F ( y m + 1 , x m + 1 ) , F ( x m , y m ) , F ( y m , x m ) ) = ( x m + 2 , y m + 2 , x m + 1 , y m + 1 ) = ( T F m + 2 ( Z 0 ) , T F m + 1 ( Z 0 ) ) M F ( Z 0 ) .
Finally, let M X 4 be an F-closed set verifying ( T F ( Z 0 ) , Z 0 ) M , and we are going to show that M F ( Z 0 ) M . In particular, we will prove that ( T F m + 1 ( Z 0 ) , T F m ( Z 0 ) ) M for all m 0 by the induction method. Indeed, if m = 0 , by hypothesis, ( T F ( Z 0 ) , Z 0 ) M . Suppose that ( T F m + 1 ( Z 0 ) , T F m ( Z 0 ) ) M for some m 0 . Since M is F-closed,
( x m + 1 , y m + 1 , x m , y m ) = ( T F m + 1 ( Z 0 ) , T F m ( Z 0 ) ) M ( F ( x m + 1 , y m + 1 ) , F ( y m + 1 , x m + 1 ) , F ( x m , y m ) , F ( y m , x m ) ) M .
Hence,
( T F m + 2 ( Z 0 ) , T F m + 1 ( Z 0 ) ) = ( x m + 2 , y m + 2 , x m + 1 , y m + 1 ) = ( F ( x m + 1 , y m + 1 ) , F ( y m + 1 , x m + 1 ) , F ( x m , y m ) , F ( y m , x m ) ) M .

This completes the induction. Thus, M F ( Z 0 ) M . □

If we particularize Theorem 16 to the F-closed set M = M F ( Z 0 ) , we obtain the following result.

Corollary 19 Let ( X , d ) be a complete metric space, let F : X × X X be a continuous mapping, and suppose that there exist Z 0 X 2 and k [ 0 , 1 ) such that
d ( F ( x , y ) , F ( u , v ) ) + d ( F ( y , x ) , F ( v , u ) ) k ( d ( x , u ) + d ( y , v ) )
(3)

for all ( x , y , u , v ) M F ( Z 0 ) . Then F has a coupled fixed point.

Notice that in the previous result, we have not necessarily a partial order on X nor a mapping verifying the mixed monotone property.

Theorem 20 Theorem 9 follows from Corollary 19.

Proof Following the proof given in [29], we can consider a constant
k = α + β + γ + 2 δ + θ 2 ( α + γ + β + θ ) [ 0 , 1 )
and a sequence { ( x m + 1 , y m + 1 ) = ( F ( x m , y m ) , F ( y m , x m ) ) } m 0 such that
d ( x m + 2 , x m + 1 ) + d ( y m + 2 , y m + 1 ) k ( d ( x m + 1 , x m ) + d ( y m + 1 , y m ) ) for all  m 0 ,

which is exactly condition (3). Then F has a coupled fixed point. □

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, King Abdulaziz University, Jeddah, Saudi Arabia
(2)
Department of Mathematics, University of Jaén, Jaén, Spain
(3)
Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University Rangsit Center, Pathumthani, Thailand
(4)
Department of Statistics and Operations Research, University of Granada, Granada, Spain

References

  1. Turinici M: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 1986, 117: 100–127.MathSciNetView ArticleGoogle Scholar
  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: 1435–1443.MathSciNetView ArticleGoogle Scholar
  3. Nieto JJ, Rodríguez-López R: Contractive mapping theorem in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239.MathSciNetView ArticleGoogle Scholar
  4. 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.MathSciNetView ArticleGoogle Scholar
  5. Abbas M, Ali B, Sintunavarat W, Kumam P: Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 187Google Scholar
  6. 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 31Google Scholar
  7. Agarwal RP, Karapinar E: A note on ‘Coupled fixed point theorems for α - ψ contractive type mappings in partially ordered metric spaces’. Fixed Point Theory Appl. 2013., 2013: Article ID 216Google Scholar
  8. Amini-Harandi A: Coupled and tripled fixed point theory in partially ordered metric spaces with applications to initial value problem. Math. Comput. Model. 2013, 57: 2343–2348.View ArticleGoogle Scholar
  9. Aydi H, Abbas M, Sintunavarat W, Kumam P: Tripled fixed point of W -compatible mappings in abstract metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 134Google Scholar
  10. Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 7347–7355.MathSciNetView ArticleGoogle Scholar
  11. Chandok S, Sintunavarat W, Kumam P: Some coupled common fixed points for a pair of mappings in partially ordered G -metric spaces. Math. Sci. 2013., 7: Article ID 24Google Scholar
  12. Đorić D, Kadelburg Z, Radenović S: Coupled fixed point results for mappings without mixed monotone property. Appl. Math. Lett. 2012, 25: 1803–1808.MathSciNetView ArticleGoogle Scholar
  13. Golubović Z, Kadelburg Z, Radenović S: Coupled coincidence points of mappings in ordered partial metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 192581Google Scholar
  14. Kadelburg Z, Nashine HK, Radenović S: Common coupled fixed point results in partially ordered G -metric spaces. Bull. Math. Anal. Appl. 2012, 4: 51–63.MathSciNetGoogle Scholar
  15. Kadelburg Z, Nashine HK, Radenović S: Some new coupled fixed point results in 0-complete ordered partial metric spaces. J. Adv. Math. Stud. 2013, 6: 159–172.Google Scholar
  16. Kadelburg Z, Radenović S: Coupled fixed point results under TVS-cone metric and W -cone-distance. Adv. Fixed Point Theory 2012, 2: 29–46.Google Scholar
  17. Pant BD, Chauhan S, Vujaković J, Khan MA, Vetro C: A coupled fixed point theorem in fuzzy metric space satisfying ϕ -contractive condition. Adv. Fuzzy Syst. 2013., 2013: Article ID 826596Google Scholar
  18. Karapınar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59(12):3656–3668.MathSciNetView ArticleGoogle Scholar
  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 194Google Scholar
  20. Radenović S: Remarks on some coupled coincidence point result in partially ordered metric spaces. Arab J. Math. Sci. 2013. 10.1016/j.ajmsc.2013.02.003Google Scholar
  21. Radenović S: Remarks on some coupled fixed point results in partial metric spaces. Nonlinear Funct. Anal. Appl. 2013, 18: 39–50.Google Scholar
  22. Radenović S: Remarks on some recent coupled coincidence point results in symmetric G -metric spaces. J. Oper. 2013., 2013: Article ID 290525Google Scholar
  23. Rajić, VĆ, Radenović, S: A note on tripled fixed point of w-compatible mappings in tvs-cone metric spaces. Thai J. Math. (2013, in press)Google Scholar
  24. 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 81Google Scholar
  25. Sintunavarat W, Kumam P: Coupled coincidence and coupled common fixed point theorems in partially ordered metric spaces. Thai J. Math. 2012, 10(3):551–563.MathSciNetGoogle Scholar
  26. Roldán A, Martínez-Moreno J, Roldán C: Multidimensional fixed point theorems in partially ordered complete metric spaces. J. Math. Anal. Appl. 2012, 396: 536–545.MathSciNetView ArticleGoogle Scholar
  27. Roldán A, Martínez-Moreno J, Roldán C: Tripled fixed point theorem in fuzzy metric spaces and applications. Fixed Point Theory Appl. 2013., 2013: Article ID 29Google Scholar
  28. Roldán A, Martínez-Moreno J, Roldán C, Karapınar E: Meir-Keeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 406026Google Scholar
  29. Samet B, Vetro C: Coupled fixed point F -invariant set and fixed point of N -order. Ann. Funct. Anal. 2010, 1: 46–56.MathSciNetView ArticleGoogle Scholar
  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 170Google Scholar
  31. Roldán A, Karapınar E:Some multidimensional fixed point theorems on partially preordered G -metric spaces under ( ψ , ϕ ) -contractivity conditions. Fixed Point Theory Appl. 2013., 2013: Article ID 158Google Scholar
  32. Roldán, A: Some coincidence/fixed point theorems under Φ-contractivity conditions without an underlying metric structure and applications (submitted)Google Scholar
  33. Boyd DW, Wong JSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458–464.MathSciNetView ArticleGoogle Scholar
  34. Mukherjea A: Contractions and completely continuous mappings. Nonlinear Anal. 1997, 1(3):235–247.MathSciNetView ArticleGoogle Scholar
  35. Wang S: Coincidence point theorems for G -isotone mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 96Google Scholar
  36. Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 2012, 159(1):194–199.MathSciNetView ArticleGoogle Scholar
  37. Lakshmikantham V, Ćirić LJ: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70(12):4341–4349.MathSciNetView ArticleGoogle Scholar
  38. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632.MathSciNetView ArticleGoogle Scholar
  39. Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65(7):1379–1393.MathSciNetView ArticleGoogle Scholar
  40. Samet B, Karapınar E, Aydi H, Rajic C: Discussion on some coupled fixed point theorems. Fixed Point Theory Appl. 2013., 2013: Article ID 50Google Scholar
  41. Agarwal R, Karapınar E: Remarks on some coupled fixed point theorems in G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 2Google Scholar
  42. Roldán, A, Martínez-Moreno, J, Roldán, C, Karapınar, E: Some remarks on multidimensional fixed point theorems. Fixed Point Theory (accepted for publication)Google Scholar

Copyright

© Kutbi et al.; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. 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.

Advertisement