Open Access

A note on recent fixed point results involving g-quasicontractive type mappings in partially ordered metric spaces

Fixed Point Theory and Applications20142014:126

https://doi.org/10.1186/1687-1812-2014-126

Received: 5 March 2014

Accepted: 13 May 2014

Published: 23 May 2014

Abstract

In this note, we establish the equivalence between recent fixed point theorems involving quasicontractive type mappings in metric spaces endowed with a partial order.

MSC:47H10.

Keywords

g-quasicontraction coincidence point fixed point partial order metric space

1 Introduction

Let ( X , d ) be a metric space and let f , g : X X be two self-maps on X. Let
M ( f , g , x , y ) : = max { d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , f y ) , d ( g y , f x ) } for all  x , y X .
Suppose that X is endowed with a partial order . We say that f is an ordered g-quasicontraction (see [1, 2]) if
d ( f x , f y ) λ M ( f , g , x , y ) for all  x , y X  such that  g y g x

for some constant λ ( 0 , 1 ) . If g = i d X (the identity map on X), then f is said to be an ordered quasicontraction.

In [1], the authors established the following result.

Theorem 1.1 Let ( X , d ) be a metric space endowed with a certain partial order . Let f , g : X X be two self-maps on X satisfying the following conditions:
  1. (i)

    f X g X ;

     
  2. (ii)

    gX is complete;

     
  3. (iii)

    f is g-nondecreasing, i.e., g x g y f x f y ;

     
  4. (iv)

    f is an ordered g-quasicontraction;

     
  5. (v)

    there exists x 0 X such that g x 0 f x 0 ;

     
  6. (vi)

    if { g x n } is a nondecreasing sequence (w.r.t. ) that converges to some g z g X , then g x n g z for each n N .

     

Then f and g have a coincidence point, i.e., there exists z X such that f z = g z .

Taking g = i d X in Theorem 1.1, we obtain immediately the following result.

Theorem 1.2 Let ( X , d ) be a complete metric space endowed with a certain partial order . Let f : X X be a self-map on X satisfying the following conditions:
  1. (iii)

    f is nondecreasing, i.e., x y f x f y ;

     
  2. (iv)

    f is an ordered quasicontraction;

     
  3. (v)

    there exists x 0 X such that x 0 f x 0 ;

     
  4. (vi)

    if { x n } is a nondecreasing sequence (w.r.t. ) that converges to some z X , then x n z for each n N .

     

Then f has a fixed point.

Let us denote by Ψ the set of functions ψ : [ 0 , ) [ 0 , ) satisfying the following conditions:

( Ψ 1 ) ψ is nondecreasing;

( Ψ 2 ) ψ is subadditive, i.e., ψ ( s + t ) ψ ( s ) + ψ ( t ) , for every s , t 0 ;

( Ψ 3 ) ψ is continuous;

( Ψ 4 ) ψ ( t ) = 0 t = 0 .

In [3], the authors established the following result.

Theorem 1.3 Let ( X , d ) be a metric space endowed with a certain partial order . Let f , g : X X be two self-maps on X satisfying the following conditions:
  1. (i)

    f X g X ;

     
  2. (ii)

    gX is complete;

     
  3. (iii)

    f is g-nondecreasing;

     
  4. (iv)
    there exists ψ Ψ such that
    ψ ( d ( f x , f y ) ) λ max { ψ ( d ( g x , g y ) ) , ψ ( d ( g x , f x ) ) , ψ ( d ( g y , f y ) ) , ψ ( d ( g x , f y ) ) , ψ ( d ( g y , f x ) ) }
     
for all x , y X such that g y g x ;
  1. (v)

    there exists x 0 X such that g x 0 f x 0 ;

     
  2. (vi)

    if { g x n } is a nondecreasing sequence that converges to some g z g X , then g x n g z for each n N .

     

Then f and g have a coincidence point.

The aim of this note is to prove that Theorems 1.1, 1.2 and 1.3 are equivalent.

2 Main result

Our main result in this note is the following.

Theorem 2.1 We have the following equivalence:
Theorem 1.2 Theorem 1.1 Theorem 1.3 .

Proof We consider three steps in the proof.

Step 1. Theorem 1.2 Theorem 1.1.

Suppose that all the assumptions of Theorem 1.1 are satisfied. Recall that if S : X X is a given map, then there exists a subset E of X such that S E = S X and S : E X is one-to-one. For the proof of this result, we refer to [4]. Due to this remark, there exists E X such that g E = g X and g : E X is one-to-one. Let us define the map T : g E g E by
T ( g x ) = f x , x E .
Notice that the mapping T is well defined since g is one-to-one on E. From condition (ii) of Theorem 1.1, the metric space ( g E , d ) is complete. From condition (iii) of Theorem 1.1, the mapping T is nondecreasing. Observe also that T is an ordered quasicontraction. Indeed, if u , v g E such that v u , from condition (iv) of Theorem 1.1 and the definition of gE, there exist x , y E with v = g y g x = u such that
d ( T u , T v ) = d ( f x , f y ) λ M ( f , g , x , y ) = λ max { d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , f y ) , d ( g y , f x ) } = λ max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) , d ( u , T v ) , d ( v , T u ) } .

From condition (v) of Theorem 1.1, there exists x 0 X such that g x 0 f x 0 . Let u 0 = g x 0 g E , we have u 0 T u 0 . Finally, from condition (iv) of Theorem 1.1, if { u n } g E is a nondecreasing sequence that converges to some u g E , then u n u for each n N . Thus we proved that T satisfies all the conditions of Theorem 1.2. Then we deduce that T has a fixed point u g E . This means that there exists some x X such that f x = T ( g x ) = g x , that is, x X is a coincidence point of f and g.

Step 2. Theorem 1.1 Theorem 1.3.

Suppose that all the assumptions of Theorem 1.3 are satisfied. Define the function d ψ : X × X [ 0 , ) by
d ψ ( x , y ) : = ψ ( d ( x , y ) ) for all  x , y X .
In [5], we proved that d ψ is a metric on X. Moreover, ( X , d ) is complete if and only if ( X , d ψ ) is complete. Then from condition (iv) of Theorem 1.3, we deduce that f is an ordered g-quasicontraction with respect to the new metric d ψ . More precisely, we have
d ψ ( f x , f y ) λ max { d ψ ( g x , g y ) , d ψ ( g x , f x ) , d ψ ( g y , f y ) , d ψ ( g x , f y ) , d ψ ( g y , f x ) }

for all x , y X such that g y g x . Now, applying Theorem 1.1 with the metric space ( X , d ψ ) , we obtain the result of Theorem 1.3.

Step 3. Theorem 1.3 Theorem 1.2.

Taking g = i d X and ψ ( t ) = t in Theorem 1.3, we obtain immediately the result of Theorem 1.2. □

Declarations

Acknowledgements

The authors thank the Visiting Professor Programming at King Saud University for funding this work. The authors thank the anonymous referees for their remarkable comments, suggestions and ideas that helped to improve this paper.

Authors’ Affiliations

(1)
Department of Mathematics, Atilim University, İncek
(2)
Nonlinear Analysis and Applied Mathematics Research Group (NAAM), King Abdulaziz University
(3)
Department of Mathematics, King Saud University

References

  1. Golubović Z, Kadelburg Z, Radenović S: Common fixed points of ordered g -quasicontractions and weak contractions in ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 20Google Scholar
  2. Liu X: Common fixed points of ordered G -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 28Google Scholar
  3. Liu X, Ješić S: Common fixed points of a generalized ordered g -quasicontraction in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 53Google Scholar
  4. Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052View ArticleMathSciNetGoogle Scholar
  5. Karapınar E, Samet B: A note on ψ -Geraghty type contractions. Fixed Point Theory Appl. 2014., 2014: Article ID 26Google Scholar

Copyright

© Karapinar and Samet; licensee Springer. 2014

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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.