Skip to content

Advertisement

  • Research
  • Open Access

Coupled coincidence point results for ( ψ , φ ) -weakly contractive mappings in partially ordered G b -metric spaces

Fixed Point Theory and Applications20132013:206

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

  • Received: 27 December 2012
  • Accepted: 18 July 2013
  • Published:

Abstract

In this paper we present some coupled coincidence point results for ( ψ , φ ) -weakly contractive mappings in the setup of partially ordered G b -metric spaces. Our results extend the results of Cho et al. (Fixed Point Theory Appl. 2012:8, 2012) and the results of Choudhury and Maity (Math. Comput. Model. 54:73-79, 2011). Moreover, examples of the main results are given.

MSC: 47H10, 54H25.

Keywords

  • G b -metric space
  • partially ordered set
  • coupled coincidence point
  • common coupled fixed point
  • mixed monotone property

1 Introduction

Existence of coupled fixed points in partially ordered metric spaces was first investigated in 1987 by Guo and Lakshmikantham [1]. Also, Bhaskar and Lakshmikantham [2] established some coupled fixed point theorems for a mixed monotone mapping in partially ordered metric spaces.

Recently, Lakshmikantham and Ćirić [3] introduced the notions of mixed g-monotone mapping and coupled coincidence point and proved some coupled coincidence point and common coupled fixed point theorems in partially ordered complete metric spaces.

Definition 1.1 [3]

Let ( X , ) be a partially ordered set, and let F : X × X X and g : X X be two mappings. F has the mixed g-monotone property if F is monotone g-non-decreasing in its first argument and is monotone g-non-increasing in its second argument, that is, for all x 1 , x 2 X , g x 1 g x 2 implies F ( x 1 , y ) F ( x 2 , y ) for any y X and for all y 1 , y 2 X , g y 1 g y 2 implies F ( x , y 1 ) F ( x , y 2 ) for any x X .

Definition 1.2 [2]

An element ( x , y ) X × X is called a coupled fixed point of the mapping F : X × X X if x = F ( x , y ) and y = F ( y , x ) .

Definition 1.3 [3]

An element ( x , y ) X × X is called
  1. (1)

    a coupled coincidence point of mappings F : X × X X and g : X X if g ( x ) = F ( x , y ) and g ( y ) = F ( y , x ) ;

     
  2. (2)

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

     

Recently, Abbas et al. [4] introduced the concept of w-compatible mappings to obtain some coupled coincidence point results in a cone metric space.

Definition 1.4 [4]

Two mappings F : X × X X and g : X X are called w-compatible if g ( F ( x , y ) ) = F ( g x , g y ) , whenever g ( x ) = F ( x , y ) and g ( y ) = F ( y , x ) .

The concept of generalized metric space, or a G-metric space, was introduced by Mustafa and Sims [5]. Mustafa and others studied fixed point theorems for mappings satisfying different contractive conditions (see [522]).

Definition 1.5 (G-metric space [5])

Let X be a nonempty set, and let G : X × X × X R + be a function satisfying the following properties:
  1. (G1)

    G ( x , y , z ) = 0 iff x = y = z ;

     
  2. (G2)

    0 < G ( x , x , y ) for all x , y X with x y ;

     
  3. (G3)

    G ( x , x , y ) G ( x , y , z ) for all x , y , z X with z y ;

     
  4. (G4)

    G ( x , y , z ) = G ( x , z , y ) = G ( y , z , x ) = (symmetry in all three variables);

     
  5. (G5)

    G ( x , y , z ) G ( x , a , a ) + G ( a , y , z ) for all x , y , z , a X (rectangle inequality).

     

Then the function G is called a G-metric on X and the pair ( X , G ) is called a G-metric space.

Definition 1.6 [5]

Let ( X , G ) be a G-metric space, and let { x n } be a sequence of points of X. A point x X is said to be the limit of the sequence { x n } if lim n , m G ( x , x n , x m ) = 0 and one says that the sequence { x n } is G-convergent to x. Thus, if x n x in a G-metric space ( X , G ) , then for any ε > 0 , there exists a positive integer N such that G ( x , x n , x m ) < ε for all n , m N .

Definition 1.7 [5]

Let ( X , G ) be a G-metric space. A sequence { x n } is called G-Cauchy if for every ε > 0 , there is a positive integer N such that G ( x n , x m , x l ) < ε for all n , m , l N , that is, if G ( x n , x m , x l ) 0 as n , m , l .

Lemma 1.8 [5]

Let ( X , G ) be a G-metric space. Then the following are equivalent:
  1. (1)

    { x n } is G-convergent to x.

     
  2. (2)

    G ( x n , x n , x ) 0 as n .

     
  3. (3)

    G ( x n , x , x ) 0 as n .

     

Lemma 1.9 [23]

If ( X , G ) is a G-metric space, then { x n } is a G-Cauchy sequence if and only if for every ε > 0 , there exists a positive integer N such that G ( x n , x m , x m ) < ε for all m > n N .

Definition 1.10 [5]

A G-metric space ( X , G ) is said to be G-complete if every G-Cauchy sequence in ( X , G ) is convergent in X.

Definition 1.11 [5]

Let ( X , G ) and ( X , G ) be two G-metric spaces. Then a function f : X X is G-continuous at a point x X if and only if it is G-sequentially continuous at x, that is, whenever { x n } is G-convergent to x, { f ( x n ) } is G -convergent to f ( x ) .

Definition 1.12 [23]

Let ( X , G ) be a G-metric space. A mapping F : X × X X is said to be continuous at ( x , y ) if for any two G-convergent sequences { x n } and { y n } converging to x and y, respectively, { F ( x n , y n ) } is G-convergent to F ( x , y ) .

Definition 1.13 [3]

Let X be a nonempty set. We say that the mappings F : X × X X and g : X X are commutative if g ( F ( x , y ) ) = F ( g x , g y ) for all x , y X .

Choudhury and Maity [23] established some coupled fixed point results for mappings with mixed monotone property in partially ordered G-metric spaces. They obtained the following results.

Theorem 1.14 ([23], Theorem 3.1)

Let ( X , ) be a partially ordered set, and let G be a G-metric on X such that ( X , G ) is a complete G-metric space. Let F : X × X X be a continuous mapping having the mixed monotone property on X. Assume that there exists k [ 0 , 1 ) such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) k 2 [ G ( x , u , w ) + G ( y , v , z ) ]
(1.1)

for all x u w and y v z , where either u w or v z .

If there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) , then F has a coupled fixed point in X, that is, there exist x , y X such that x = F ( x , y ) and y = F ( y , x ) .

Theorem 1.15 ([23], Theorem 3.2)

If in the above theorem, in place of the continuity of F, we assume the following conditions, namely,
  1. (i)

    if a non-decreasing sequence { x n } x , then x n x for all n, and

     
  2. (ii)

    if a non-increasing sequence { y n } y , then y n y for all n,

     

then F has a coupled fixed point.

The concept of an altering distance function was introduced by Khan et al. [24] as follows.

Definition 1.16 The function ψ : [ 0 , ) [ 0 , ) is called an altering distance function if the following properties are satisfied:
  1. 1.

    ψ is continuous and non-decreasing.

     
  2. 2.

    ψ ( t ) = 0 if and only if t = 0 .

     

In [25], Cho et al. studied coupled coincidence and coupled common fixed point theorems in ordered generalized metric spaces for a nonlinear contractive condition related to a pair of altering distance functions.

Theorem 1.17 ([25], Theorem 3.1)

Let ( X , ) be a partially ordered set, and let ( X , G ) be a complete G-metric space. Let F : X 2 X and g : X X be continuous mappings such that F has the mixed g-monotone property and g commutes with F. Assume that there are altering distance functions ψ and φ such that
ψ ( G ( F ( x , y ) , F ( u , v ) , F ( s , t ) ) ) ψ ( max { G ( g x , g u , g s ) , G ( g y , g v , g t ) } ) φ ( max { G ( g x , g u , g s ) , G ( g y , g v , g t ) } )
(1.2)

for all x , y , u , v , w , z X with g w g u g x and g y g v g z . Also, suppose that F ( X × X ) g ( X ) . If there exist x 0 , y 0 X such that g x 0 F ( x 0 , y 0 ) and F ( y 0 , x 0 ) g y 0 , then F and g have a coupled coincidence point.

Definition 1.18 [25]

Let ( X , ) be a partially ordered set, and let G be a G-metric on X. We say that ( X , G , ) is regular if the following conditions hold:
  1. (i)

    If { x n } is a non-decreasing sequence with x n x , then x n x for all n N .

     
  2. (ii)

    If { x n } is a non-increasing sequence with x n x , then x n x for all n N .

     

Theorem 1.19 ([25], Theorem 3.2)

Let ( X , ) be a partially ordered set, and let G be a G-metric on X such that ( X , G , ) is regular. Assume that there exist altering distance functions ψ, φ and mappings F : X × X X and g : X X satisfying (1.2) for all x , y , u , v , w , z X with g w g u g x and g y g v g z . Suppose also that ( g ( X ) , G ) is G-complete, F has the mixed g-monotone property and F ( X × X ) g ( X ) . If there exist x 0 , y 0 X such that g x 0 F ( x 0 , y 0 ) and F ( y 0 , x 0 ) g y 0 , then F and g have a coupled coincidence point.

So far, many authors have discussed fixed point results, periodic point results, coupled and tripled fixed point results and many other related topics in fixed point theory in different extensions of the concept of metric spaces such as b-metric spaces, partial metric spaces, cone metric spaces, G-metric spaces, etc. (see, e.g., [6, 14, 20, 2633]). Motivated by the work in [34], Aghajani et al., in a submitted paper [35], extended the notion of G-metric space to the concept of G b -metric space (see Section 2). In this paper, we obtain some coupled coincidence point theorems for nonlinear ( ψ , φ ) -weakly contractive mappings in partially ordered G b -metric spaces. These results generalize and modify several comparable results in the literature.

2 Mathematical preliminaries

Aghajani et al. in [35] introduced the concept of generalized b-metric spaces ( G b -metric spaces) and then they presented some basic properties of G b -metric spaces.

The following is their definition of G b -metric spaces.

Definition 2.1 [35]

Let X be a nonempty set, and let s 1 be a given real number. Suppose that a mapping G : X × X × X R + satisfies:

  • ( G b 1 ) G ( x , y , z ) = 0 if x = y = z ,

  • ( G b 2 ) 0 < G ( x , x , y ) for all x , y X with x y ,

  • ( G b 3 ) G ( x , x , y ) G ( x , y , z ) for all x , y , z X with y z ,

  • ( G b 4 ) G ( x , y , z ) = G ( p { x , y , z } ) , where p is a permutation of x , y , z (symmetry),

  • ( G b 5 ) G ( x , y , z ) s [ G ( x , a , a ) + G ( a , y , z ) ] for all x , y , z , a X (rectangle inequality).

Then G is called a generalized b-metric and the pair ( X , G ) is called a generalized b-metric space or a G b -metric space.

It should be noted that the class of G b -metric spaces is effectively larger than that of G-metric spaces given in [5]. Indeed, each G-metric space is a G b -metric space with s = 1 (see also [36]).

The following example shows that a G b -metric on X need not be a G-metric on X.

Example 2.2 [35]

Let ( X , G ) be a G-metric space, and let G ( x , y , z ) = G ( x , y , z ) p , where p > 1 is a real number.

Note that G is a G b -metric with s = 2 p 1 . Obviously, G satisfies conditions ( G b 1 )-( G b 4 ) of Definition 2.1, so it suffices to show that ( G b 5 ) holds. If 1 < p < , then the convexity of the function f ( x ) = x p ( x > 0 ) implies that ( a + b ) p 2 p 1 ( a p + b p ) . Thus, for each x , y , z , a X , we obtain
G ( x , y , z ) = G ( x , y , z ) p ( G ( x , a , a ) + G ( a , y , z ) ) p 2 p 1 ( G ( x , a , a ) p + G ( a , y , z ) p ) = 2 p 1 ( G ( x , a , a ) + G ( a , y , z ) ) .

So, G is a G b -metric with s = 2 p 1 .

Also, in the above example, ( X , G ) is not necessarily a G-metric space. For example, let X = R and G-metric G be defined by
G ( x , y , z ) = 1 3 ( | x y | + | y z | + | x z | )

for all x , y , z R (see [5]). Then G ( x , y , z ) = G ( x , y , z ) 2 = 1 9 ( | x y | + | y z | + | x z | ) 2 is a G b -metric on with s = 2 2 1 = 2 , but it is not a G-metric on . To see this, let x = 3 , y = 5 , z = 7 and a = 7 2 . Hence, we get G ( 3 , 5 , 7 ) = 64 9 , G ( 3 , 7 2 , 7 2 ) = 1 9 , G ( 7 2 , 5 , 7 ) = 49 9 . Therefore, G ( 3 , 5 , 7 ) = 64 9 50 9 = G ( 3 , 7 2 , 7 2 ) + G ( 7 2 , 5 , 7 ) .

Example 2.3 Let X = R and d ( x , y ) = | x y | 2 . We know that ( X , d ) is a b-metric space with s = 2 . Let G ( x , y , z ) = d ( x , y ) + d ( y , z ) + d ( z , x ) , we show that ( X , G ) is not a G b -metric space. Indeed, ( G b 3 ) is not true for x = 0 , y = 2 and z = 1 . To see this, we have
G ( 0 , 0 , 2 ) = d ( 0 , 0 ) + d ( 0 , 2 ) + d ( 2 , 0 ) = 2 d ( 0 , 2 ) = 8
and
G ( 0 , 2 , 1 ) = d ( 0 , 2 ) + d ( 2 , 1 ) + d ( 1 , 0 ) = 4 + 1 + 1 = 6 .

So, G ( 0 , 0 , 2 ) > G ( 0 , 2 , 1 ) .

However, G ( x , y , z ) = max { d ( x , y ) , d ( y , z ) , d ( z , x ) } is a G b -metric on with s = 2 .

Now we present some definitions and propositions in a G b -metric space.

Definition 2.4 [35]

Let ( X , G ) be a G b -metric space. Then, for any x 0 X and any r > 0 , the G b -ball with center x 0 and radius r is
B G ( x 0 , r ) = { y X G ( x 0 , y , y ) < r } .
For example, let X = R and consider the G b -metric G defined by
G ( x , y , z ) = 1 9 ( | x y | + | y z | + | x z | ) 2
for all x , y , z R . Then
B G ( 3 , 4 ) = { y X G ( 3 , y , y ) < 4 } = { y X | 1 9 ( | y 3 | + | y 3 | ) 2 < 4 } = { y X | y 3 | 2 < 9 } = ( 0 , 6 ) .

By some straightforward calculations, we can establish the following.

Proposition 2.5 [35]

Let X be a G b -metric space. Then, for each x , y , z , a X , it follows that:
  1. (1)

    if G ( x , y , z ) = 0 , then x = y = z ,

     
  2. (2)

    G ( x , y , z ) s ( G ( x , x , y ) + G ( x , x , z ) ) ,

     
  3. (3)

    G ( x , y , y ) 2 s G ( y , x , x ) ,

     
  4. (4)

    G ( x , y , z ) s ( G ( x , a , z ) + G ( a , y , z ) ) .

     

Definition 2.6 [35]

Let X be a G b -metric space. We define d G ( x , y ) = G ( x , y , y ) + G ( x , x , y ) for all x , y X . It is easy to see that d G defines a b-metric d on X, which we call the b-metric associated with G.

Proposition 2.7 [35]

Let X be a G b -metric space. Then, for any x 0 X and any r > 0 , if y B G ( x 0 , r ) , then there exists δ > 0 such that B G ( y , δ ) B G ( x 0 , r ) .

Proof For s = 1 , see Proposition 4 in [5]. Suppose that s > 1 and let y B G ( x 0 , r ) . If y = x 0 , then we choose δ = r . If y x 0 , then 0 < G ( x 0 , y , y ) < r . Let A = { n N r 4 s n + 2 < G ( x 0 , y , y ) } . Since lim n 1 4 s n + 2 = 0 , hence, for 0 < ϵ = G ( x 0 , y , y ) r < 1 , there exists n 0 N such that 1 4 s n 0 + 2 < G ( x 0 , y , y ) r or r 4 s n 0 + 2 < G ( x 0 , y , y ) . Hence, n 0 A and A is a nonempty set, then by the well-ordering principle, A has a least element m. Since m 1 A , we have G ( x 0 , y , y ) r 4 s m + 1 . Now, if G ( x 0 , y , y ) = r 4 s m + 1 , then we choose δ = r 4 s m + 1 and if G ( x 0 , y , y ) < r 4 s m + 1 , we choose δ = r 4 s m + 1 G ( x 0 , y , y ) . □

From the above proposition, the family of all G b -balls
Ϝ = { B G ( x , r ) x X , r > 0 }

is a base of a topology τ ( G ) on X, which we call G b -metric topology.

Now, we generalize Proposition 5 in [5] for a G b -metric space as follows.

Proposition 2.8 [35]

Let X be a G b -metric space. Then, for any x 0 X and r > 0 , we have
B G ( x 0 , r 2 s + 1 ) B d G ( x 0 , r ) B G ( x 0 , r ) .

Thus, every G b -metric space is topologically equivalent to a b-metric space. This allows us to readily transport many concepts and results from b-metric spaces into the G b -metric space setting.

Definition 2.9 [35]

Let X be a G b -metric space. A sequence { x n } in X is said to be:
  1. (1)

    G b -Cauchy if for each ε > 0 there exists a positive integer n 0 such that for all m , n , l n 0 , G ( x n , x m , x l ) < ε ;

     
  2. (2)

    G b -convergent to a point x X if for each ε > 0 there exists a positive integer n 0 such that for all m , n n 0 , G ( x n , x m , x ) < ε .

     

Using the above definitions, we can easily prove the following two propositions.

Proposition 2.10 [35]

Let X be a G b -metric space. Then the following are equivalent:
  1. (1)

    The sequence { x n } is G b -Cauchy.

     
  2. (2)

    For any ε > 0 , there exists n 0 N such that G ( x n , x m , x m ) < ε for all m , n n 0 .

     

Proposition 2.11 [35]

Let X be a G b -metric space. The following are equivalent:
  1. (1)

    { x n } is G b -convergent to x.

     
  2. (2)

    G ( x n , x n , x ) 0 as n + .

     
  3. (3)

    G ( x n , x , x ) 0 as n + .

     

Definition 2.12 [35]

A G b -metric space X is called G b -complete if every G b -Cauchy sequence is G b -convergent in X.

Definition 2.13 Let ( X , G ) and ( X , G ) be two G b -metric spaces. Then a function f : X X is G b -continuous at a point x X if and only if it is G b -sequentially continuous at x, that is, whenever { x n } is G b -convergent to x, { f ( x n ) } is G b -convergent to f ( x ) .

Definition 2.14 Let ( X , G ) be a G b -metric space. A mapping F : X × X X is said to be continuous if for any two G b -convergent sequences { x n } and { y n } converging to x and y, respectively, { F ( x n , y n ) } is G b -convergent to F ( x , y ) .

Mustafa and Sims proved that each G-metric function G ( x , y , z ) is jointly continuous in all three of its variables (see Proposition 8 in [5]). But, in general, a G b -metric function G ( x , y , z ) for s > 1 is not jointly continuous in all its variables. Now, we present an example of a discontinuous G b -metric.

Example 2.15 Let X = N { } and let D : X × X R be defined by
D ( m , n ) = { 0 if  m = n , | 1 m 1 n | if one of  m n  is even and the other is even or  , 5 if one of  m n  is odd and the other is odd (and  m n ) or  , 2 otherwise .
Then it is easy to see that for all m , n , p X , we have
D ( m , p ) 5 2 ( D ( m , n ) + D ( n , p ) ) .

Thus, ( X , D ) is a b-metric space with s = 5 2 (see corrected Example 3 from [37]).

Let G ( x , y , z ) = max { D ( x , y ) , D ( y , z ) , D ( z , x ) } . It is easy to see that G is a G b -metric with s = 5 2 . Now, we show that G ( x , y , z ) is not a continuous function. Take x n = 2 n and y n = z n = 1 . Then we have x n , y n 1 and z n 1 . Also,
G ( 2 n , , ) = max { D ( 2 n , ) , D ( , ) , D ( , 2 n ) } = max { D ( 2 n , ) , D ( , ) } = 1 2 n 0
and
G ( y n , 1 , 1 ) = G ( z n , 1 , 1 ) = 0 0 .
On the other hand,
G ( x n , y n , z n ) = max { D ( x n , 1 ) , D ( 1 , 1 ) , D ( 1 , x n ) } = D ( x n , 1 ) = 2
and
G ( , 1 , 1 ) = max { D ( , 1 ) , D ( 1 , 1 ) , D ( 1 , ) } = 5 .

Hence, lim n G ( x n , y n , z n ) G ( x , y , z ) .

So, from the above discussion, we need the following simple lemma about the G b -convergent sequences in the proof of our main result.

Lemma 2.16 Let ( X , G ) be a G b -metric space with s > 1 , and suppose that { x n } , { y n } and { z n } are G b -convergent to x, y and z, respectively. Then we have
1 s 3 G ( x , y , z ) lim inf n G ( x n , y n , z n ) lim sup n G ( x n , y n , z n ) s 3 G ( x , y , z ) .

In particular, if x = y = z , then we have lim n G ( x n , y n , z n ) = 0 .

Proof Using the triangle inequality in a G b -metric space, it is easy to see that
G ( x , y , z ) s G ( x , x n , x n ) + s 2 G ( y , y n , y n ) + s 3 G ( z , z n , z n ) + s 3 G ( x n , y n , z n )
and
G ( x n , y n , z n ) s G ( x n , x , x ) + s 2 G ( y n , y , y ) + s 3 G ( z n , z , z ) + s 3 G ( x , y , z ) .

Taking the lower limit as n in the first inequality and the upper limit as n in the second inequality, we obtain the desired result. □

3 Main results

Our first result is the following.

Theorem 3.1 Let ( X , ) be a partially ordered set, and let G be a G b -metric on X such that ( X , G ) is a complete G b -metric space. Let F : X × X X and g : X X be two mappings such that
ψ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ψ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) φ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } )
(3.1)

for every pair ( x , y ) , ( u , v ) , ( w , t ) X × X such that g x g u g w and g y g v g t , or g w g u g x and g t g v g y , where ψ , φ : [ 0 , ) [ 0 , ) are altering distance functions.

Also, suppose that:
  1. 1.

    F ( X × X ) g ( X ) .

     
  2. 2.

    F has the mixed g-monotone property.

     
  3. 3.

    F is continuous.

     
  4. 4.

    g is continuous and commutes with F.

     

If 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 ) , then F and g have a coupled coincidence point in X.

Proof Let x 0 , y 0 X be such that g x 0 F ( x 0 , y 0 ) and g y 0 F ( y 0 , x 0 ) . Since F ( X × X ) g ( X ) , we can choose x 1 , y 1 X such that g x 1 = F ( x 0 , y 0 ) and g y 1 = F ( y 0 , x 0 ) . Then, g x 0 F ( x 0 , y 0 ) = g x 1 and g y 0 F ( y 0 , x 0 ) = g y 1 . Since F has the mixed g-monotone property, we have F ( x 0 , y 0 ) F ( x 1 , y 0 ) F ( x 1 , y 1 ) and F ( y 0 , x 0 ) F ( y 1 , x 0 ) F ( y 1 , x 1 ) , that is, g x 0 g x 1 and g y 0 g y 1 . In this way, we construct the sequences { z n } and { t n } as z n = g x n = F ( x n 1 , y n 1 ) and t n = g y n = F ( y n 1 , x n 1 ) for all n 1 , inductively.

One can easily show that for all n N , z n 1 z n and t n 1 t n .

We complete the proof in three steps.

Step I. Let
δ n = max { G ( z n + 1 , z n + 1 , z n ) , G ( t n + 1 , t n + 1 , t n ) } ,

we shall prove that lim n δ n = 0 .

Since g x n 1 g x n g x n and g y n 1 g y n g y n , using (3.1) we obtain that
ψ ( s max { G ( z n + 1 , z n + 1 , z n ) , G ( t n + 1 , t n + 1 , t n ) } ) = ψ ( s max { G ( F ( x n , y n ) , F ( x n , y n ) , F ( x n 1 , y n 1 ) ) , G ( F ( y n , x n ) , F ( y n , x n ) , F ( y n 1 , x n 1 ) ) } ) ψ ( max { G ( z n , z n , z n 1 ) , G ( t n , t n , t n 1 ) } ) φ ( max { G ( z n , z n , z n 1 ) , G ( t n , t n , t n 1 ) } ) .
(3.2)
If for an n 1 , δ n = 0 , then the conclusion of the theorem follows. So, we assume that
δ n 0 for all  n 1 .
(3.3)
Let, for some n, δ n 1 < δ n . So, from (3.2) as ψ is non-decreasing, we have
ψ ( s δ n 1 ) ψ ( s δ n ) ψ ( δ n 1 ) φ ( δ n 1 ) ψ ( s δ n 1 ) φ ( δ n 1 ) ,

that is, φ ( δ n 1 ) 0 . By our assumptions, we have δ n 1 = 0 , which contradicts (3.3). Therefore, for all n 1 , we deduce that δ n + 1 δ n , that is, { δ n } is a non-increasing sequence of nonnegative real numbers. Thus, there exists r 0 such that lim n δ n = r .

Letting n in (3.2), we get that
ψ ( s r ) ψ ( r ) φ ( r ) ψ ( s r ) φ ( r ) .
So, φ ( r ) = 0 . Thus,
lim n δ n = 0 .
(3.4)
Step II. We shall show that { z n } and { t n } are G b -Cauchy sequences in X. So, we shall show that for every ε > 0 , there exists k N such that for all m , n k ,
max { G ( z m , z n , z n ) , G ( t m , t n , t n ) } < ε .
(3.5)
Suppose that the above statement is false. Then there exists ε > 0 , for which we can find subsequences { z m ( k ) } and { z n ( k ) } of { z n } and { t m ( k ) } and { t n ( k ) } of { t n } such that
max { G ( z m ( k ) , z n ( k ) , z n ( k ) ) , G ( t m ( k ) , t n ( k ) , t n ( k ) ) } ε .
(3.6)
Further, corresponding to m ( k ) we can choose n ( k ) in such a way that it is the smallest integer with n ( k ) > m ( k ) satisfying (3.6). So,
max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } < ε .
(3.7)
From the rectangle inequality we have
G ( z m ( k ) , z n ( k ) , z n ( k ) ) s [ G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) + G ( z n ( k ) 1 , z n ( k ) , z n ( k ) ) ]
and
G ( t m ( k ) , t n ( k ) , t n ( k ) ) s [ G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) + G ( t n ( k ) 1 , t n ( k ) , t n ( k ) ) ] .
So,
max { G ( z m ( k ) , z n ( k ) , z n ( k ) ) , G ( t m ( k ) , t n ( k ) , t n ( k ) ) } s [ max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } + max { G ( z n ( k ) 1 , z n ( k ) , z n ( k ) ) , G ( t n ( k ) 1 , t n ( k ) , t n ( k ) ) } ] = s max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } + s δ n ( k ) 1 .
If k , as lim n δ n = 0 , from (3.6) and (3.7) we conclude that
ε s lim inf k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } .
(3.8)
On the other hand, we have
G ( z m ( k ) , z n ( k ) , z n ( k ) ) s [ G ( z m ( k ) , z m ( k ) + 1 , z m ( k ) + 1 ) + G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) ] .
Similarly,
G ( t m ( k ) , t n ( k ) , t n ( k ) ) s G ( t m ( k ) , t m ( k ) + 1 , t m ( k ) + 1 ) + s G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) .
So, we have
max { G ( z m ( k ) , z n ( k ) , z n ( k ) ) , G ( t m ( k ) , t n ( k ) , t n ( k ) ) } s max { G ( z m ( k ) , z m ( k ) + 1 , z m ( k ) + 1 ) , G ( t m ( k ) , t m ( k ) + 1 , t m ( k ) + 1 ) } + s max { G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) , G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) } .
Taking the upper limit as k in the above inequality and using (3.6), we obtain
ε lim sup k max { G ( z m ( k ) , z n ( k ) , z n ( k ) ) , G ( t m ( k ) , t n ( k ) , t n ( k ) ) } s lim sup k δ m ( k ) + s lim sup k max { G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) , G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) } .
Consequently, from (3.4) we get
ε s lim sup k max { G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) , G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) } .
(3.9)
As g x m ( k ) g x n ( k ) 1 g x n ( k ) 1 and g y m ( k ) g y n ( k ) 1 g y n ( k ) 1 , putting x = x m ( k ) , y = y m ( k ) , u = x n ( k ) 1 , v = y n ( k ) 1 , w = x n ( k ) 1 and t = y n ( k ) 1 in (3.1), for all k 0 , we have
ψ ( s max { G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) , G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) } ) = ψ ( s max { G ( F ( x m ( k ) , y m ( k ) ) , F ( x n ( k ) 1 , y n ( k ) 1 ) , F ( x n ( k ) 1 , y n ( k ) 1 ) ) , G ( F ( y m ( k ) , x m ( k ) ) , F ( y n ( k ) 1 , x n ( k ) 1 ) , F ( y n ( k ) 1 , x n ( k ) 1 ) ) } ) ψ ( max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) φ ( max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) .
Taking the upper limit as k in the above inequality and using (3.7) and (3.9), we have
ψ ( ε ) = ψ ( s ε s ) ψ ( s lim sup k max { G ( z m ( k ) + 1 , z n ( k ) , z n ( k ) ) , G ( t m ( k ) + 1 , t n ( k ) , t n ( k ) ) } ) ψ ( lim sup k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) φ ( lim inf k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) ψ ( ε ) φ ( lim inf k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) ,
which implies that
φ ( lim inf k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } ) 0 ,

or, equivalently, lim inf k max { G ( z m ( k ) , z n ( k ) 1 , z n ( k ) 1 ) , G ( t m ( k ) , t n ( k ) 1 , t n ( k ) 1 ) } = 0 , which is a contradiction to (3.8). Consequently, { z n } and { t n } are G b -Cauchy.

Step III. We shall show that F and g have a coupled coincidence point.

Since X is G b -complete and { z n } X is G b -Cauchy, there exists z X such that
lim n G ( z n , z n , z ) = lim n G ( g x n , g x n , z ) = 0 .
Similarly, there exists t X such that
lim n G ( t n , t n , t ) = lim n G ( g y n , g y n , t ) = 0 .

Now, we prove that ( z , t ) is a coupled coincidence point of F and g.

The continuity of g and Lemma 2.16 yield that
0 = 1 s 3 G ( g z , g z , g z ) lim inf n G ( g ( g x n ) , g ( g x n ) , g z ) lim sup n G ( g ( g x n ) , g ( g x n ) , g z ) s 3 G ( g z , g z , g z ) = 0 .
Hence,
lim n G ( g ( g x n ) , g ( g x n ) , g z ) = 0 ,
and, similarly, we get
lim n G ( g ( g y n ) , g ( g y n ) , g t ) = 0 .
Since g x n + 1 = F ( x n , y n ) and g y n + 1 = F ( y n , x n ) , the commutativity of F and g yields that
g ( g x n + 1 ) = g ( F ( x n , y n ) ) = F ( g x n , g y n )
and
g ( g y n + 1 ) = g ( F ( y n , x n ) ) = F ( g y n , g x n ) .

From the continuity of F, { g ( g x n + 1 ) } is G b -convergent to F ( z , t ) and { g ( g y n + 1 ) } is G b -convergent to F ( t , z ) . By uniqueness of the limit, we have F ( z , t ) = g z and F ( t , z ) = g t . That is, g and F have a coupled coincidence point. □

In the following theorem, we omit the continuity and commutativity assumptions of g and F.

Theorem 3.2 Let ( X , ) be a partially ordered set, and let G be a G b -metric on X such that ( X , G , ) is a regular G b -metric space. Suppose that F : X × X X and g : X X are two mappings satisfying (3.1) for every pair ( x , y ) , ( u , v ) , ( w , t ) X × X such that g x g u g w and g y g v g t , or g w g u g x and g t g v g y , where ψ and φ are the same as in Theorem  3.1.

Let F ( X × X ) g ( X ) , g ( X ) is a G b -complete subset of X and F has the mixed g-monotone property.

If 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 ) , then F and g have a coupled coincidence point in X.

Moreover, if g y 0 and g x 0 are comparable, then g u = F ( u , v ) = F ( v , u ) = g v , and if F and g are w-compatible, then F and g have a coupled coincidence point of the form ( t , t ) .

Proof Following the proof of the previous theorem, as g ( X ) is a G b -complete subset of X and { z n } , { t n } g ( X ) , there exist u , v X such that
lim n G ( g x n , g x n , g u ) = lim n G ( g y n , g y n , g v ) = 0 .

Now, we prove that F ( u , v ) = g u and F ( v , u ) = g v .

Since { g x n } is non-decreasing and { g y n } is non-increasing, from regularity of X we have g x n g u and g y n g v for all n 0 .

Using (3.1), we have
ψ ( s max { G ( z n + 1 , z n + 1 , F ( u , v ) ) , G ( t n + 1 , t n + 1 , F ( v , u ) ) } ) = ψ ( s max { G ( F ( x n , y n ) , F ( x n , y n ) , F ( u , v ) ) , G ( F ( y n , x n ) , F ( y n , x n ) , F ( v , u ) ) } ) ψ ( max { G ( g x n , g x n , g u ) , G ( g y n , g y n , g v ) } ) φ ( max { G ( g x n , g x n , g u ) , G ( g y n , g y n , g v ) } ) .
In the above inequality, by using Lemma 2.16, if n , we have
ψ ( 1 s 2 max { G ( g u , g u , F ( u , v ) ) , G ( g v , g v , F ( v , u ) ) } ) = ψ ( s max { 1 s 3 G ( g u , g u , F ( u , v ) ) , 1 s 3 G ( g v , g v , F ( v , u ) ) } ) ψ ( s max { lim sup n G ( z n + 1 , z n + 1 , F ( u , v ) ) , lim sup n G ( t n + 1 , t n + 1 , F ( v , u ) ) } ) ψ ( 0 ) φ ( 0 ) = 0 ,

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

Now, let g y 0 g x 0 . Then g v g y n g y 0 g x 0 g x n g u for all n N . We shall show that g u = g v .

From (3.1), we have
ψ ( s max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } ) ψ ( max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } ) φ ( max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } ) ψ ( s max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } ) φ ( max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } ) .

Therefore, max { G ( g u , g u , g v ) , G ( g v , g v , g u ) } = 0 . Hence, we get that G ( g v , g v , g u ) = G ( g u , g u , g v ) = 0 , and this means that g u = g v .

Now, let t = g u = g v . Since F and g are w-compatible, then g t = g ( g u ) = g ( F ( u , v ) ) = F ( g u , g v ) = F ( t , t ) . Thus, F and g have a coupled coincidence point of the form ( t , t ) . □

Remark 3.3 In Theorems 3.1 and 3.2, we have extended the results of Cho et al. [25] (Theorems 1.17 and 1.19).

Note that if ( X , ) is a partially ordered set, then we can endow X × X with the following partial order relation:
( x , y ) ( u , v ) x u , y v

for all ( x , y ) , ( u , v ) X × X [3].

In the following theorem, we give a sufficient condition for the uniqueness of the common coupled fixed point. Similar conditions were introduced by many authors (see, e.g., [2, 3, 9, 20, 3845]).

Theorem 3.4 Let all the conditions of Theorem  3.1 be fulfilled, and let the following condition hold:

For arbitrary two points ( x , y ) , ( z , t ) , there exists ( u , v ) such that ( F ( u , v ) , F ( v , u ) ) is comparable with ( F ( x , y ) , F ( y , x ) ) and ( F ( z , t ) , F ( t , z ) ) .

Then F and g have a unique common coupled fixed point.

Proof Let ( x , y ) and ( z , t ) be two coupled coincidence points of F and g, i.e.,
g ( x ) = F ( x , y ) , g ( y ) = F ( y , x )
and
g ( z ) = F ( z , t ) , g ( t ) = F ( t , z ) .

We shall show that g ( x ) = g ( z ) and g ( y ) = g ( t ) .

Suppose that ( x , y ) and ( z , t ) are not comparable. Choose an element ( u , v ) X × X such that ( F ( u , v ) , F ( v , u ) ) is comparable with ( F ( x , y ) , F ( y , x ) ) and ( F ( z , t ) , F ( t , z ) ) .

Let 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 } and { g v n } such that g u n + 1 = F ( u n , v n ) and g v n + 1 = F ( v n , u n ) . Since ( g x , g y ) = ( F ( x , y ) , F ( y , x ) ) and ( F ( u , v ) , F ( v , u ) ) = ( g u 1 , g v 1 ) are comparable, we may assume that ( g x , g y ) ( g u 1 , g v 1 ) . Then g x g u 1 and g y g v 1 . Using the mathematical induction, it is easy to prove that g x g u n and g y g v n for all n N .

Let γ n = max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } . We shall show that lim n γ n = 0 . First, assume that γ n = 0 for an n 1 .

Applying (3.1), as g x g u n and g y g v n , one obtains that
ψ ( s max { G ( g x , g x , g u n + 1 ) , G ( g y , g y , g v n + 1 ) } ) = ψ ( s max { G ( F ( x , y ) , F ( x , y ) , F ( u n , v n ) ) , G ( F ( y , x ) , F ( y , x ) , F ( v n , u n ) ) } ) ψ ( max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } ) φ ( max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } ) = ψ ( γ n ) φ ( γ n ) = ψ ( 0 ) φ ( 0 ) = 0 .
(3.10)

So, from the properties of ψ and φ, we deduce that γ n + 1 = 0 . Repeating this process, we can show that γ m = 0 for all m n . So, lim n γ n = 0 .

Now, let γ n 0 for all n, and let γ n < γ n + 1 for some n.

As ψ is an altering distance function, from (3.10)
ψ ( s γ n ) = ψ ( s max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } ) ψ ( s γ n + 1 ) = ψ ( s max { G ( g x , g x , g u n + 1 ) , G ( g y , g y , g v n + 1 ) } ) ψ ( max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } ) φ ( max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } ) = ψ ( γ n ) φ ( γ n ) ψ ( s γ n ) φ ( γ n ) .

This implies that γ n = 0 , which is a contradiction.

Hence, γ n + 1 γ n for all n 1 . Now, if we proceed as in Theorem 3.1, we can show that
lim n max { G ( g x , g x , g u n ) , G ( g y , g y , g v n ) } = 0 .

So, { g u n } g x and { g v n } g y .

Similarly, we can show that
lim n { G ( g z , g z , g u n ) , G ( g t , g t , g v n ) } = 0 ,

that is, { g u n } g z and { g v n } g t . Finally, since the limit is unique, g x = g z and g y = g t .

Since g x = F ( x , y ) and g y = F ( y , x ) , by the commutativity of F and g, we have g ( g x ) = g ( F ( x , y ) ) = F ( g x , g y ) and g ( g y ) = g ( F ( y , x ) ) = F ( g y , g x ) . Let g x = a and g y = b . Then g a = F ( a , b ) and g b = F ( b , a ) . Thus, ( a , b ) is another coupled coincidence point of F and g. Then a = g x = g a and b = g y = g b . Therefore, ( a , b ) is a coupled common fixed point of F and g.

To prove the uniqueness of a coupled common fixed point, assume that ( p , q ) is another coupled common fixed point of F and g. Then p = g p = F ( p , q ) and q = g q = F ( q , p ) . Since ( p , q ) is a coupled coincidence point of F and g, we have g p = g a and g q = g b . Thus, p = g p = g a = a and q = g q = g b = b . Hence, the coupled common fixed point is unique. □

The following corollary can be deduced from our previous obtained results.

Theorem 3.5 Let ( X , ) be a partially ordered set, and let ( X , G ) be a complete G b -metric space. Let F : X × X X be a mapping with the mixed monotone property such that
ψ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ψ ( G ( x , u , w ) + G ( y , v , t ) 2 ) φ ( max { G ( x , u , w ) , G ( y , v , t ) } )
(3.11)

for every pair ( x , y ) , ( u , v ) , ( w , t ) X × X such that x u w and y v t , or w u x and t v y , where ψ , φ : [ 0 , ) [ 0 , ) are altering distance functions.

Also, suppose that either
  1. (a)

    F is continuous, or

     
  2. (b)

    X is regular.

     

If there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) , then F has a coupled fixed point in X.

Proof If F satisfies (3.11), then F satisfies (3.1). So, the result follows from Theorems 3.1 and 3.2. □

In Theorems 3.1 and 3.2, if we take ψ ( t ) = t and φ ( t ) = ( 1 k ) t for all t [ 0 , ) , where k [ 0 , 1 ) , we obtain the following result.

Theorem 3.6 Let ( X , ) be a partially ordered set, and let ( X , G ) be a complete G b -metric space. Let F : X × X X be a mapping having the mixed monotone property such that
max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } k s max { G ( x , u , w ) , G ( y , v , t ) }

for every pair ( x , y ) , ( u , v ) , ( w , t ) X × X such that x u w and y v t , or w u x and t v y , where k [ 0 , 1 ) .

Also, suppose that either
  1. (a)

    F is continuous, or

     
  2. (b)

    X is regular.

     

If there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) , then F has a coupled fixed point in X.

The following corollary is an extension of the results by Choudhury and Maity (Theorems 1.14 and 1.15).

Theorem 3.7 Let ( X , ) be a partially ordered set, and let ( X , G ) be a complete G b -metric space. Let F : X × X X be a mapping with the mixed monotone property such that
max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } k 2 s [ G ( x , u , w ) + G ( y , v , t ) ]
(3.12)

for every pair ( x , y ) , ( u , v ) , ( w , t ) X × X such that x u w and y v t , or w u x and t v y .

Also, suppose that either
  1. (a)

    F is continuous, or

     
  2. (b)

    X is regular.

     

If there exist x 0 , y 0 X such that x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) , then F has a coupled fixed point in X.

Proof If F satisfies (3.12), then F satisfies (3.11). □

Now, we present an example to illustrate Theorem 3.1.

Example 3.8 Let X = R be endowed with the usual ordering, and let G b -metric on X be given by G ( x , y , z ) = ( | x y | + | y z | + | x z | ) 2 , where s = 2 .

Define F : X × X X and g : X X as
F ( x , y ) = x y 12 ,

and g ( x ) = x for all x , y X .

Define ψ , φ : [ 0 , ) [ 0 , ) by ψ ( t ) = b t , φ ( t ) = ( b 1 ) t , where 1 b 72 4 = 18 .

Let x , y , u , v , w , t X be such that x u w and y v t . Now, we have
ψ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) = 2 b ( | ( x y ) ( u v ) | + | ( u v ) ( w t ) | + | ( w t ) ( x y ) | ) 2 144 2 b ( | x u | + | y v | + | u w | + | v t | + | w x | + | t y | ) 2 144 4 b 72 ( | x u | + | u w | + | w x | ) 2 + ( | y v | + | v t | + | t y | ) 2 2 ( | x u | + | u w | + | w x | ) 2 + ( | y v | + | v t | + | t y | ) 2 2 max { ( | x u | + | u w | + | w x | ) 2 , ( | y v | + | v t | + | t y | ) 2 } = max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } = ψ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) φ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) .

Obviously, all the conditions of Theorem 3.1 are satisfied. Moreover, ( 0 , 0 ) is a coupled coincidence point of F and g.

4 Applications

In this section, we obtain some coupled coincidence point theorems for mappings satisfying some contractive conditions of integral type in an ordered complete G b -metric space.

Denote by Λ the set of all functions μ : [ 0 , + ) [ 0 , + ) verifying the following conditions:
  1. (I)

    μ is a positive Lebesgue integrable mapping on each compact subset of [ 0 , + ) .

     
  2. (II)

    For all ε > 0 , 0 ε μ ( t ) d t > 0 .

     

Corollary 4.1 Replace the contractive condition (3.1) of Theorem  3.1 by the following condition:

There exists μ Λ such that
0 ψ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) μ ( t ) d t 0 ψ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) μ ( t ) d t 0 φ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) μ ( t ) d t .
(4.1)

If the other conditions of Theorem  3.1 hold, then F and g have a coupled coincidence point.

Proof Consider the function Γ ( x ) = 0 x μ ( t ) d t . Then (4.1) becomes
Γ ( ψ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ) Γ ( ψ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) Γ ( φ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) .

Taking ψ 1 = Γ o ψ and φ 1 = Γ o φ and applying Theorem 3.1, we obtain the proof. □

Corollary 4.2 Substitute the contractive condition (3.1) of Theorem  3.1 by the following condition:

There exists μ Λ such that
ψ ( 0 s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } μ ( t ) d t ) ψ ( 0 max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } μ ( t ) d t ) φ ( 0 max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } μ ( t ) d t ) .
(4.2)

Then F and g have a coupled coincidence point if the other conditions of Theorem  3.1 hold.

Proof Again, as in Corollary 4.1, define the function Γ ( x ) = 0 x ϕ ( t ) d t . Then (4.2) changes to
ψ ( Γ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ) ψ ( Γ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) φ ( Γ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) .

Now, if we define ψ 1 = ψ o Γ and φ 1 = φ o Γ and apply Theorem 3.1, then the proof is obtained. □

As in [46], let n N be fixed. Let { μ i } 1 i N be a family of N functions which belong to Λ. For all t 0 , we define
I 1 ( t ) = 0 t μ 1 ( l ) d l , I 2 ( t ) = 0 I 1 t μ 2 ( l ) d l = 0 0 t μ 1 ( l ) d l μ 2 ( l ) d l , I 3 ( t ) = 0 I 2 t μ 3 ( l ) d l = 0 0 0 t μ 1 ( l ) d l μ 2 ( l ) d l μ 3 ( l ) d l , , I N ( t ) = 0 I ( N 1 ) t μ N ( l ) d l .

We have the following result.

Corollary 4.3 Replace the inequality (3.1) of Theorem  3.1 by the following condition:
ψ ( I N ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ) ψ ( I N ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) φ ( I N ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) ) .
(4.3)

Assume further that the other conditions of Theorem  3.1 are also satisfied. Then F and g have a coupled coincidence point.

Proof Consider ψ ˆ = ψ o I N and φ ˆ = φ o I N . Then the above inequality becomes
ψ ˆ ( s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } ) ψ ˆ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) φ ˆ ( max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } ) .

Now, applying Theorem 3.1, we obtain the desired result. □

Another consequence of our theorems is the following result.

Corollary 4.4 Replace the contractive condition (3.1) of Theorem  3.1 by the following condition:

There exist μ 1 , μ 2 , μ 3 Λ such that
0 s max { G ( F ( x , y ) , F ( u , v ) , F ( w , t ) ) , G ( F ( y , x ) , F ( v , u ) , F ( t , w ) ) } μ 1 ( t ) d t 0 max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } μ 2 ( t ) d t 0 max { G ( g x , g u , g w ) , G ( g y , g v , g t ) } μ 3 ( t ) d t .

Let the other conditions of Theorem  3.1 be satisfied. Then F and g have a coupled coincidence point.

5 Conclusions

We saw that the results of Cho et al. [25] and the results of Choudhury and Maity [23] also hold in the context of G b -metric spaces with some simple changes in the contractive conditions. The most difference between the concepts of G-metric and G b -metric is that the G b -metric function is not necessarily continuous in all its three variables (see, Example 2.15). On the other hand, by a simple but essential lemma (Lemma 2.16), we can prove many fixed point results in this new structure.

Declarations

Acknowledgements

The authors express their gratitude to the referees for their useful remarks, comments and suggestions.

Authors’ Affiliations

(1)
Present address: Department of Mathematics, Statistics and Physics, Qatar University, Doha, Qatar
(2)
Permanent address: Department of Mathematics, The Hashemite University, P.O. Box 330127, Zarqa, 13115, Jordan
(3)
Department of Mathematics, Qaemshahr Branch, Islamic Azad University, Qaemshahr, Iran
(4)
Department of Mathematics, Gilan-E-Gharb Branch, Islamic Azad University, Gilan-E-Gharb, Iran

References

  1. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar
  2. Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
  3. Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70(12):4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleGoogle Scholar
  4. Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042MathSciNetView ArticleGoogle Scholar
  5. Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7(2):289–297.MathSciNetGoogle Scholar
  6. Aydi H, Karapınar E, Shatanawi W: Tripled common fixed point results for generalized contractions in ordered generalized metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 101Google Scholar
  7. Aydi H, Shatanawi W, Vetro C: On generalized weakly G -contraction mapping in G -metric spaces. Comput. Math. Appl. 2011, 62: 4222–4229. 10.1016/j.camwa.2011.10.007MathSciNetView ArticleGoogle Scholar
  8. Gholizadeh L, Saadati R, Shatanawi W, Vaezpour SM: Contractive mapping in generalized ordered metric spaces with application in integral equations. Math. Probl. Eng. 2011., 2011: Article ID 380784 10.1155/2011/380784Google Scholar
  9. Luong NV, Thuan NX: Coupled fixed point theorems in partially ordered G -metric spaces. Math. Comput. Model. 2012, 55: 1601–1609. 10.1016/j.mcm.2011.10.058MathSciNetView ArticleGoogle Scholar
  10. Mustafa Z: Common fixed points of weakly compatible mappings in G -metric spaces. Appl. Math. Sci. 2012, 6(92):4589–4600.MathSciNetGoogle Scholar
  11. Mustafa Z: Some new common fixed point theorems under strict contractive conditions in G -metric spaces. J. Appl. Math. 2012., 2012: Article ID 248937 10.1155/2012/248937Google Scholar
  12. Mustafa Z: Mixed g -monotone property and quadruple fixed point theorems in partially ordered G -metric spaces using ( ϕ , ψ ) contractions. Fixed Point Theory Appl. 2012., 2012: Article ID 199 10.1186/1687-1812-2012-199Google Scholar
  13. Mustafa Z, Awawdeh F, Shatanawi W: Fixed point theorem for expansive mappings in G -metric spaces. Int. J. Contemp. Math. Sci. 2010, 5: 49–52.MathSciNetGoogle Scholar
  14. Mustafa Z, Aydi H, Karapınar E: Mixed g -monotone property and quadruple fixed point theorems in partially ordered metric space. Fixed Point Theory Appl. 2012., 2012: Article ID 71 10.1186/1687-1812-2012-71Google Scholar
  15. Mustafa Z, Aydi H, Karapınar E: On common fixed points in G -metric spaces using (E.A) property. Comput. Math. Appl. 2012, 64: 1944–1956. 10.1016/j.camwa.2012.03.051MathSciNetView ArticleGoogle Scholar
  16. Mustafa Z, Khandagjy M, Shatanawi W: Fixed point results on complete G -metric spaces. Studia Sci. Math. Hung. 2011, 48(3):304–319. 10.1556/SScMath.48.2011.3.1170Google Scholar
  17. Mustafa Z, Obiedat H, Awawdeh F: Some of fixed point theorem for mapping on complete G -metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 189870Google Scholar
  18. Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point result in G -metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 283028Google Scholar
  19. Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete G -metric space. Fixed Point Theory Appl. 2009., 2009: Article ID 917175Google Scholar
  20. Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011, 40: 441–447.MathSciNetGoogle Scholar
  21. Shatanawi W, Postolache M: Some fixed point results for a G -weak contraction in G -metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 815870Google Scholar
  22. Tahat N, Aydi H, Karapınar E, Shatanawi W: Common fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 48 10.1186/1687-1812-2012-48Google Scholar
  23. Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math. Comput. Model. 2011, 54: 73–79. 10.1016/j.mcm.2011.01.036MathSciNetView ArticleGoogle Scholar
  24. Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30: 1–9. 10.1017/S0004972700001659MathSciNetView ArticleGoogle Scholar
  25. Cho YJ, Rhoades BE, Saadati R, Samet B, Shatanawi W: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type. Fixed Point Theory Appl. 2012., 2012: Article ID 8Google Scholar
  26. Aydi H, Karapınar E, Postolache M: Tripled coincidence point theorems for weak φ -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 44Google Scholar
  27. Aydi H, Shatanawi W, Postolache M, Mustafa Z, Tahat N: Theorems for Boyd-Wong type contractions in ordered metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 359054Google Scholar
  28. Parvaneh V, Roshan JR, Radenović S: Existence of tripled coincidence points in ordered b -metric spaces and an application to a system of integral equations. Fixed Point Theory Appl. 2013., 2013: Article ID 130Google Scholar
  29. Razani A, Parvaneh V:Coupled coincidence point results for ( ψ , α , β ) -weak contractions in partially ordered metric spaces. J. Appl. Math. 2012., 2012: Article ID 496103 10.1155/2012/496103Google Scholar
  30. Roshan JR, Parvaneh V, Sedghi S, Shobkolaei N, Shatanawi W: Common fixed points of almost generalized ( ψ , φ ) s -contractive mappings in ordered b -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 159 10.1186/1687-1812-2013-159Google Scholar
  31. Shatanawi W, Mustafa Z: On coupled random fixed point results in partially ordered metric spaces. Mat. Vesn. 2012, 64: 139–146.MathSciNetGoogle Scholar
  32. Shatanawi W, Mustafa Z, Tahat N: Some coincidence point theorems for nonlinear contractions in ordered metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 68 10.1186/1687-1812-2011-68Google Scholar
  33. Shatanawi W, Postolache M: Common fixed point results of mappings for nonlinear contractions of cyclic form in ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 60Google Scholar
  34. Czerwik S: Contraction mappings in b -metric spaces. Acta Math. Inf. Univ. Ostrav. 1993, 1: 5–11.MathSciNetGoogle Scholar
  35. Aghajani, A, Abbas, M, Roshan, JR: Common fixed point of generalized weak contractive mappings in partially ordered G b -metric spaces. Filomat (2013, in press)Google Scholar
  36. Aghajani, A, Abbas, M, Roshan, JR: Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math. Slovaca (2012, in press)Google Scholar
  37. Hussain N, Dorić D, Kadelburg Z, Radenović S: Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012. 10.1186/1687-1812-2012-126Google Scholar
  38. Ćirić L, Lakshmikantham V: Coupled random fixed point theorems for nonlinear contractions in partially ordered metric spaces. Stoch. Anal. Appl. 2009, 27: 1246–1259. 10.1080/07362990903259967MathSciNetView ArticleGoogle Scholar
  39. 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: 4449–4460. 10.1016/j.camwa.2011.10.021MathSciNetView ArticleGoogle Scholar
  40. Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for ( ψ , φ ) -weakly contractive mappings in ordered G -metric spaces. Comput. Math. Appl. 2012, 63: 298–309. 10.1016/j.camwa.2011.11.022MathSciNetView ArticleGoogle Scholar
  41. Berinde V: Coupled fixed point theorems for contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2012, 75: 3218–3228. 10.1016/j.na.2011.12.021MathSciNetView ArticleGoogle Scholar
  42. 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.025MathSciNetView ArticleGoogle Scholar
  43. Ding HS, Li L, Radenović S: Coupled coincidence point theorems for generalized nonlinear contraction in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 96 10.1186/1687-1812-2012-96Google Scholar
  44. Ćirić L, Damjanović B, Jleli M, Samet B: Coupled fixed point theorems for generalized Mizoguchi-Takahashi contraction and applications to ordinary differential equations. Fixed Point Theory Appl. 2012., 2012: Article ID 51Google Scholar
  45. Ćirić L, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 131294Google Scholar
  46. Nashine HK, Samet B:Fixed point results for mappings satisfying ( ψ , φ ) -weakly contractive condition in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024MathSciNetView ArticleGoogle Scholar

Copyright

Advertisement