Open Access

Meir-Keeler ɑ-contractive fixed and common fixed point theorems

Fixed Point Theory and Applications20132013:19

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

Received: 28 November 2012

Accepted: 14 January 2013

Published: 30 January 2013

The Erratum to this article has been published in Fixed Point Theory and Applications 2013 2013:110

Abstract

Generalized Meir-Keeler α-contractive functions and pairs are introduced and their fixed and common fixed point theorems are obtained. Also, the so-called generalized Meir-Keeler α-f-contractive maps commuting with f are introduced and their coincidence and common fixed point theorems are investigated. New sufficient conditions different from those in (Samet et al. in Nonlinear Anal. 75:2154-2165, 2012) are used. An application to the coupled fixed point is established as well. An example is given to show that the α-Meir-Keeler generalization is real.

AMS Subject Classification: 47H10, 54H25.

Keywords

orbitally complete metric spacecommon fixed pointMeir-Keeler α-contractiveα-admissible mappingcoupled fixed point

1 Introduction

Fixed point theory is of wide and endless applications in many fields of engineering and science. Its core, the Banach contraction principle, has attracted many researchers who tried to generalize it in different aspects. Some dealt with the contractive condition itself, of worth mentioning Meir-Keeler contractive type [14], some extended it to more generalized metric-type spaces [511] and others applied to common [12], coupled and tripled versions (see [13, 14] and the references therein). In 1969 Meir and Keeler [15] established a fixed point theorem in a metric space ( X , d ) for mappings satisfying the following condition, called the Meir-Keeler type contractive condition:
ϵ > 0 , δ > 0 ϵ d ( x , y ) < δ + ϵ implies d ( f x , f y ) < ϵ .
(1)
In 1978 Maiti and Pal [16] generalized a fixed point for maps satisfying the following condition:
ϵ > 0 , δ > 0 ϵ max { d ( x , y ) , d ( x , f x ) , d ( y , f y ) } < δ + ϵ implies d ( f x , f y ) < ϵ .
(2)
Later in 1981, Park and Rhoades in [3] established fixed point theorems for a pair of mappings f, g satisfying a contractive condition that can be reduced to the following generalization of (2) when f = g .
(3)

In this article we develop the fixed point theorems for α-contractive type maps introduced recently in [17] (for the α-ψ-contractive multivalued case, see [18]) to Meir-Keeler versions and hence generalize the results obtained in [3] and the references therein. Then, we apply part of our results to the coupled case on the basis of Amini-Harandi [19].

2 Fixed and common fixed point theorems for generalized Meir-Keeler α-contractive maps and pairs

The first part of the following definition was introduced in [17].

Definition 1 Let f , g : X X be self-mappings of a set X and α : X × X [ 0 , ) be a mapping, then the mapping f is called α-admissible if
x , y X , α ( x , y ) 1 α ( f x , f y ) 1
and the pair ( f , g ) is called α-admissible if
x , y X , α ( x , y ) 1 α ( f x , g y ) 1 and α ( g x , f y ) 1 .
Example 2 Let X = R and
α ( x , y ) = { 1 , x , y [ 0 , 1 ] , 0 , otherwise .

Then the pair ( x 1 / 2 , x 1 / 3 ) is α-admissible but the pair ( x 1 / 2 , x + 1 ) is not α-admissible.

Definition 3 Let ( X , d ) be a metric space and f : X X be a self-mapping, α : X × X [ 0 , ) be a mapping. Then f is called Meir-Keeler α-contractive if, given an ϵ > 0 , there exists a δ > 0 such that
ϵ d ( x , y ) < ϵ + δ implies α ( x , y ) d ( f x , f y ) < ϵ .
Definition 4 Let ( X , d ) be a metric space and f : X X be a self-mapping, α : X × X [ 0 , ) be a mapping. Then f is called generalized Meir-Keeler α-contractive if, given an ϵ > 0 , there exists a δ > 0 such that
ϵ M f ( x , y ) < ϵ + δ implies α ( x , y ) d ( f x , f y ) < ϵ ,
where
M f ( x , y ) = max { d ( x , y ) , d ( x , f x ) , d ( y , f y ) , d ( x , f y ) + d ( y , f x ) 2 } .
Definition 5 Let ( X , d ) be a metric space and f , g : X X be self-mappings, α : X × X [ 0 , ) be a mapping. Then the pair ( f , g ) is called generalized Meir-Keeler α-contractive if, given an ϵ > 0 , there exists a δ > 0 such that
ϵ M ( f , g ) ( x , y ) < ϵ + δ implies α ( x , y ) d ( f x , g y ) < ϵ ,
(4)
where
M ( f , g ) ( x , y ) = max { d ( x , y ) , d ( x , f x ) , d ( y , g y ) , d ( x , g y ) + d ( y , f x ) 2 } .

We write M f ( x , y ) = M ( f , f ) ( x , y ) .

Clearly, f is generalized Meir-Keeler α-contractive if and only if ( f , f ) is generalized Meir-Keeler α-contractive.

Definition 6 Let X be any set, x 0 X and f, g be self-maps of X. Define x 2 n + 1 = f x 2 n and x 2 n + 2 = g x 2 n , n = 0 , 1 , 2 ,  . Then { x n } is called the ( f , g ) -orbit of x 0 . If d is a metric on X, then ( X , d ) is called ( f , g ) -orbitally complete if every Cauchy sequence in the ( f , g ) -orbit of x 0 is convergent and the map f or g is called orbitally continuous if it is continuous on the orbit.

The proof of the following lemma is immediate.

Lemma 7 Let f , g : X X be self-mappings of a set X, α : X × X [ 0 , ) be a mapping and { x n } be the ( f , g ) -orbit of x 0 with α ( x 0 , f x 0 ) 1 . If the pair ( f , g ) is α-admissible, then α ( x n , x n + 1 ) 1 for all n = 0 , 1 , 2 ,  .

Theorem 8 Let ( X , d ) be an ( f , g ) -orbitally complete metric space, where f, g are self-mappings of X. Also, let α : X × X [ 0 , ) be a mapping. Assume the following:
  1. 1.

    ( f , g ) is α-admissible and there exists an x 0 X such that α ( x 0 , f x 0 ) 1 ;

     
  2. 2.

    the pair ( f , g ) is generalized Meir-Keeler α-contractive.

    Then the sequence d n = d ( x n , x n + 1 ) is monotone decreasing. If, moreover, we assume that

     
  3. 3.

    on the ( f , g ) -orbit of x 0 , we have α ( x n , x j ) 1 for all n even and j > n odd and that f and g are continuous on the ( f , g ) -orbit of x 0 .

     

Then either (1) f or g has a fixed point in the ( f , g ) -orbit { x n } of x 0 or (2) f and g have a common fixed point p and lim x n = p . If, moreover, we assume that the following condition (H) holds: If { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n and x n x implies α ( x n , x ) 1 for all n, then uniqueness of the fixed point is obtained.

Proof Define d n = d ( x n , x n + 1 ) for n = 0 , 1 , 2 ,  . If d n = 0 for some even integer n, then f has a fixed point. If d n = 0 for some odd integer n, then g has a fixed point. Hence, we may assume that d n 0 for each n. The fact that the pair ( f , g ) is generalized Meir-Keeler α-contractive implies that
α ( x , y ) d ( f x , g y ) < M f ( x , y ) for each  x , y X , x , y 0 .
(5)
Note that assumption (3) implies that α ( x 0 , f x 0 ) 1 . Hence, since ( f , g ) is α-admissible, then Lemma 7 implies that α ( x n , x n + 1 ) 1 for all n = 0 , 1 , 2 , and hence by (5), we have
d 2 n = d ( f x 2 n , g x 2 n 1 ) α ( x 2 n , x 2 n 1 ) d ( f x 2 n , g x 2 n 1 ) < max { d 2 n 1 , d ( x 2 n 1 , x 2 n + 1 ) 2 } max { d 2 n 1 , d 2 n 1 + d 2 n 2 } ,
(6)

whence d 2 n < d 2 n 1 . □

Similarly, it can be shown that d 2 n + 1 < d 2 n . Thus, { d n } is monotone decreasing in n and converges to a limit, say ϱ.

Suppose ϱ > 0 . Then, for each δ > 0 , there exists a positive integer N = N ( δ ) such that ϱ d N = d ( x N , x N + 1 ) < ϱ + δ , where N can be chosen even. Thus, from assumption (1) and Lemma 7, we have d N + 1 α ( x N , x N + 1 ) d ( f x N , g x N + 1 ) < ϱ , a contradiction. Therefore, ϱ = 0 . To show that { x n } is Cauchy, we assume the contrary. Thus, there exists an ϵ > 0 such that for each integer N, there exist integers m > n > N such that d ( x m , x n ) ϵ . Define ϵ by ϵ = 2 ϵ . Choose a number δ, 0 < δ < ϵ , for which (4) is satisfied. Since ϱ = 0 , there exists an integer N = N ( δ ) such that d i < δ 6 for i N . With this choice of N, pick integers m > n > N such that
d ( x m , x n ) 2 ϵ > δ + ϵ ,
(7)
in which it is clear that m n > 6 . Otherwise, d ( x m , x n ) i = 0 5 d i + n < δ < δ + ϵ , contradicting (7). Without loss of generality, we may assume that n is even since from (7) it follows that d ( x m , x n + 1 ) > ϵ + δ 3 . From (7) there exists the smallest odd integer j > n such that
d ( x n , x j ) ϵ + δ 3 .
(8)
Hence, d ( x n , x j 2 ) < ϵ + δ 3 , and so d ( x n , x j ) d ( x n , x j 2 ) + d j 1 + d j < ϵ + δ 3 + 2 ( δ 6 ) = ϵ + 2 δ 3 . Therefore, we have
ϵ < d ( x n , x j ) M ( f , g ) ( x n , x j ) max { d ( x n , x j ) , d ( x n , x j + 1 ) + d ( x j , x n + 1 ) 2 } d ( x n , x j ) + d j + d ( x j , x n ) + d n 2 d ( x n , x j ) + δ 6 ϵ + δ ,
so that, by (7) and assumption (3), d ( x n + 1 , x j + 1 ) α ( x n , x j ) d ( x n + 1 , x j + 1 ) < ϵ . Then we have
d ( x n , x j ) d n + d ( x n + 1 , x j + 1 ) + d j < δ 6 + ϵ + δ 6 = ϵ + δ 3 .

This contradicts the choice of j in (8). Therefore, { x n } is Cauchy.

Since X is ( f , g ) -orbitally complete, { x n } converges to some point p X . Since f and g are orbitally continuous, then p is a common fixed point of f and g. To prove uniqueness, assume p is the common fixed point obtained as x n p and q is another common fixed point. Then (5) and the condition (H) yield
d ( p , q ) = d ( f p , q ) d ( f p , g x n ) + d ( g x n , q ) α ( x n , p ) d ( f p , g x n ) + d ( g x n , q ) < M ( f , g ) ( x n , p ) + d ( g x n , q ) .

If we let n , then we reach d ( p , q ) < d ( p , q ) , which implies that p = q .

Corollary 9 Let ( X , d ) be an f-orbitally complete metric space, where f is a self-mapping of X. Also, let α : X × X [ 0 , ) be a mapping. Assume the following:
  1. 1.

    f is α-admissible and there exists an x 0 X such that α ( x 0 , f x 0 ) 1 ;

     
  2. 2.

    f is generalized Meir-Keeler α-contractive.

    Then the sequence d n = d ( x n , x n + 1 ) is monotone decreasing. If, moreover, we assume that

     
  3. 3.

    on the f-orbit of x 0 , we have α ( x n , x j ) 1 for all n even and j > n odd.

     

Then either (1) f has a fixed point in the f-orbit { x n } of x 0 or (2) f has a fixed point p and lim x n = p . If, moreover, we assume that the following condition (H) holds: If { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n and x n x , then α ( x n , x ) 1 for all n, then uniqueness of the fixed point is obtained.

Since generalized Meir-Keeler α-contractions are Meir-Keeler α-contractions, then Corollary 9 is valid also for Meir-Keeler α-contractions. In the following example, the existence and uniqueness of the fixed point cannot be proved in the category of Meir-Keeler contractions, but can be proved by means of Corollary 9.

Example 10 Let X = [ 0 , 2 ] with the absolute value metric d ( x , y ) = | x y | . Define f : X X by
f ( x ) = { 0 , x = 1 4 , 1 , x [ 0 , 1 2 ) { 1 4 } , 3 2 , x [ 1 2 , 2 ] .
Then, for ϵ = 1 2 , x = 1 4 and any δ > 0 , we have 1 2 | 1 4 y | < δ + 1 2 implies y [ 1 2 , 2 ] and hence d ( f x , f y ) = d ( 0 , 3 2 ) = 3 2 > ϵ . Hence, f is not a Meir-Keeler contraction. However, f is a Meir-Keeler α-contraction, where
α ( x , y ) = { 1 , x , y [ 1 2 , 2 ] , 0 , otherwise .

Indeed, for 0 < ϵ < 1 (the case ϵ 1 is trivial, since | f x f y | 1 ), let δ = ( 1 ϵ ) , then ϵ α ( x , y ) d ( x , y ) < δ + ϵ = 1 implies that x , y [ 1 2 , 2 ] and hence d ( f x , f y ) = | 3 2 3 2 | = 0 < ϵ . Also, notice that f is continuous on the orbit of x 0 = 1 and that α ( x n , x j ) 1 for all n, j. Clearly, p = 3 2 is the unique fixed point.

Remark 11 Note that the admissibility condition (1) in Theorem 8 is not enough to proceed to guarantee the existence of the fixed point. However, such an admissibility condition was used in obtaining the main result in Theorem 2.2 of [17].

3 Generalized Meir-Keeler α-f-contractive fixed points

Definition 12 Let f be a continuous self-map of a metric space ( X , d ) , C f = { g : g : X X ,  such that  f g = g f  and  g X f X } , the sequence { f x n } defined by f x n + 1 = g x n , n = 0 , 1 , 2 ,  , with the understanding that if f x n = f x n + 1 for some n, then f x n + j = f x n for each j 0 is called the f-iteration of x 0 under g.

Definition 13 Let f be a self-map of a metric space ( X , d ) and g C f . Then g is called a Meir-Keeler α-f-contractive map if for each ϵ > 0 , there exists a δ > 0 such that for all x , y X ,
ϵ d ( f x , f y ) < ϵ + δ implies α ( x , y ) d ( g x , g y ) < ϵ .
(9)
Definition 14 Let f be a self-map of a metric space ( X , d ) and g C f . Then g is called a generalized Meir-Keeler α-f-contractive map if for each ϵ > 0 , there exists a δ > 0 such that for all x , y X ,
ϵ M g ( f ) ( x , y ) < ϵ + δ implies α ( x , y ) d ( g x , g y ) < ϵ ,
(10)

where M g ( f ) ( x , y ) = max { d ( f x , f y ) , d ( f x , g x ) , d ( f y , g y ) , d ( f x , g y ) + d ( f y , g x ) 2 } .

Lemma 15 Let f, g be continuous self-maps of a metric space ( X , d ) such that g C f . Assume g is a generalized Meir-Keeler α-f-contractive map such that α ( x n , x n + 1 ) 1 for all n. Then inf { d ( f x n , f x n + 1 ) : n = 0 , 1 , 2 , } = 0 .

Proof Let σ = inf { d ( f x n , f x n + 1 ) : n = 0 , 1 , 2 , } and σ > 0 . From the definition of the f-iteration of x 0 under g and from the fact that g is a generalized Meir-Keeler α-f-contractive map, for each n, we have
d ( f x n + 1 , f x n + 2 ) = d ( g x n , g x n + 1 ) α ( x n , x n + 1 ) d ( g x n , g x n + 1 ) < max { d ( f x n , f x n + 1 ) , d ( f x n , g x n ) , d ( f x n + 1 , g x n + 1 ) , d ( f x n , g x n + 1 ) + d ( f x n + 1 , g x n ) 2 } = max { d ( f x n , f x n + 1 ) , d ( f x n , f x n + 1 ) , d ( f x n + 1 , f x n + 2 ) , d ( f x n , f x n + 2 ) + 0 2 } = max { d ( f x n , f x n + 1 ) , d ( f x n , f x n + 2 ) 2 } max { d ( f x n , f x n + 1 ) , d ( f x n , f x n + 1 ) + d ( f x n + 1 , f x n + 2 ) 2 } .

Hence, d ( f x n + 1 , f x n + 2 ) < d ( f x n , f x n + 1 ) and { d ( f x n , f x n + 1 ) } is monotone decreasing so that σ = lim n d ( f x n , f x n + 1 ) . From the assumption that g is a Meir-Keeler α-f-contractive map, for ϵ = σ , find δ > 0 such that (10) is satisfied. For the chosen δ, pick N so that σ d ( f x n , f x n + 1 ) < σ + δ . Noting that for x = x n and y = x n + 1 , M g ( f ) ( x , y ) = d ( f x n , f x n + 1 ) , we by (10) conclude that d ( g x n , g x n + 1 ) α ( x n , x n + 1 ) d ( g x n , g x n + 1 ) < σ . But d ( g x n , g x n + 1 ) = d ( f x n + 1 , f x n + 2 ) < σ , a contradiction. □

Theorem 16 Let f, g be continuous self-maps of a metric space ( X , d ) such that g C f . Assume α ( x n , x m ) 1 for all m > n . If g is a generalized Meir-Keeler α-f-contractive map such that α satisfies the condition (f-H): If { x n } is a sequence in X such that α ( x n , x m ) 1 for all m > n and f x n z , then α ( f x n , z ) 1 and α ( f x n , f z ) 1 for all n. Then f and g have a unique common fixed point.

Proof Let x 0 X for which its f-iteration under g satisfies the assumptions of the theorem. The proof will be divided into four steps.

  • Step 1: By Lemma 15, inf { d ( f x n , f x n + 1 ) : n = 0 , 1 , 2 , } = 0 .

  • Step 2: We find a coincidence point for f and g. That is to find a z X such that f z = g z . If there exists an n such that d ( f x n , f x n + 1 ) = 0 , then f x n + 1 = g x n = f x n , and we are finished. Hence, we may assume that d ( f x n , f x n + 1 ) 0 for each n. We claim to show that { f x n } is Cauchy. Suppose not. Then there exists an ϵ > 0 and a subsequence { f x n i } of { f x n } such that d ( f x n i , f x n i + 1 ) > 2 ϵ . From (10), there exists a δ satisfying 0 < δ < ϵ for which (10) is true. Since lim n d ( f x n , f x n + 1 ) =0, there exists an N such that
    d ( f x m , f x m + 1 ) < δ 6 for all  m > N .
    Let n i N . We will show that there exists an integer j satisfying n i < j < n i + 1 such that
    ϵ + δ 3 d ( f x n i , f x j ) < ϵ + 2 δ 3 .
    (11)
    First of all, there exist values of j such that d ( f x n i , f x j ) ϵ + δ 3 . For example, choose j = n i + 1 . The inequality is also true for j = n i + 1 1 . If not, then d ( f x n i , f x j ) < ϵ + δ 3 and hence
    d ( f x n i , f x n i + 1 ) d ( f x n i , f x n i + 1 1 ) + d ( f x n i + 1 1 , f x n i + 1 ) < ϵ + δ 3 + δ 6 < 2 ϵ ,
    a contradiction. There are also values of j such that d ( f x n i , f x j ) < ϵ + δ 3 . For example, choose j = n i + 1 and j = n i + 2 . Pick j to be the smallest integer greater than n i such that d ( f x n i , f x j ) ϵ + δ 3 . Then d ( f x n i , f x i 1 ) < ϵ + δ 3 , and hence
    d ( f x n i , f x j ) d ( f x n i , f x j 1 ) + d ( f x j 1 , f x j ) < ϵ + δ 3 + δ 6 < ϵ + 2 δ 3 .
    Thus (11) is established. Now, note that
    ϵ + δ 3 d ( f x n i , f x j ) max { d ( f x n i , f x j ) , d ( f x n i , g x n i ) , d ( f x j , g x j ) , d ( f x n i , g x j ) + d ( f x j , g x n i ) 2 } .
    Then from the choice of j and the fact that f x n i + 1 = g x n i , f x j + 1 = g x j , we reach
    ϵ d ( f x n i , f x j ) < δ + ϵ .
    Hence,
    d ( f x n i + 1 , f x j + 1 ) = d ( g x n i , g x j ) α ( x n i , x j ) d ( g x n i , g x j ) < ϵ .
    On the other hand,
    d ( f x n i , f x j ) d ( f x n i , f n i + 1 ) + d ( f n i + 1 , f x j + 1 ) + d ( f x j + 1 , f x j ) < δ 6 + ϵ + δ 6 = ϵ + δ 3 ,

    contradicting (11). Therefore, { f x n } is Cauchy hence convergent to z X . Since f f x n = f g x n 1 = g f x n 1 , the continuity of f and g implies that f z = g z .

  • Step 3: We show that η = f z = g z is a common fixed point for f and g. Assume f η η , then f 2 z f z and by the help of the (f-H) condition, we have
    d ( η , f η ) = d ( g z , f g z ) = d ( g z , g f z ) d ( g z , g f x n ) + d ( g f x n , g f z ) α ( f x n , z ) d ( g z , g f x n ) + α ( f x n , f z ) d ( g f x n , g f z ) < max { d ( f z , f f x n ) , d ( f z , g z ) , d ( f f x n , g f x n ) , d ( f z , g f x n ) + d ( f f x n , g f z ) 2 } + max { d ( f f x n , f f z ) , d ( f f x n , g f x n ) , d ( f f z , g f z ) , d ( f f x n , g f z ) + d ( f f z , g f x n ) 2 } .

    If we let n above and use continuity and commutativity of f and g, then we reach d ( η , f η ) < d ( η , f η ) and hence f η = η . Moreover, g η = g f z = f η = η .

  • Step 4: Uniqueness of the common fixed point. Assume η = f z = g z is our common fixed point for f and g where f x n z and ω is another common fixed point. Then, by the (f-H) condition, we have
    d ( η , ω ) = d ( g η , ω ) d ( g η , g f x n ) + d ( g f x n , ω ) α ( η , f x n ) d ( g η , g f x n ) + d ( g f x n , ω ) < max { d ( f η , f f x n ) , d ( f η , g η ) , d ( f f x n , g f x n ) , d ( f η , g f x n ) + d ( f f x n , g η ) 2 } .

    If we let n above and use the continuity of f and g, we conclude that d ( η , ω ) < d ( η , ω ) and hence η = ω .

     □

Remark 17 Theorem 16 has been proved for commuting maps. It would be interesting to extend it for weakly commuting and compatible mappings and so forth. For example, can we extend the results in [2022] to α-type contractions?

4 Application to coupled α-Meir-Keeler fixed points

Let F : X × X X be a mapping. We say that ( x , y ) X × X is a coupled fixed point of F if F ( x , y ) = x and F ( y , x ) = y . If we define T : X × X X × X by T ( x , y ) = ( F ( x , y ) , F ( y , x ) ) , then clearly ( x , y ) is a coupled fixed point of F if and only if ( x , y ) is a fixed point of T. If ( x 0 , y 0 ) X × X , then the F-orbit of ( x 0 , y 0 ) means the orbit { ( x n , y n ) : n = 0 , 1 , 2 , } , where ( x n + 1 , y n + 1 ) = T ( x n , y n ) .

If ( X , d ) is a metric space, then ρ : X × X R defined by ρ ( ( x , y ) , ( u , v ) ) = d ( x , u ) + d ( y , v ) is a metric on X × X .

Theorem 18 Let ( X , d ) be a complete metric space and F : X × X X be a continuous mapping. Also, let α : X 2 × X 2 [ 0 , ) be a mapping. Assume the following:
  1. 1.
    For all ( x , y ) , ( u , v ) X × X , we have
    α ( ( x , y ) , ( u , v ) ) 1 implies α ( ( F ( x , y ) , F ( y , x ) ) , ( F ( u , v ) , F ( v , u ) ) ) 1 .

    Also, assume there exists ( x 0 , y 0 ) X × X such that α ( ( F ( y 0 , x 0 ) , F ( x 0 , y 0 ) ) , ( y 0 , x 0 ) ) 1 and α ( ( x 0 , y 0 ) , ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) ) 1 ;

     
  2. 2.
    For each ϵ > 0 , there exists δ > 0 such that
    ϵ 1 2 [ d ( x , u ) + d ( y , v ) ] < δ + ϵ implies α ( ( x , y ) , ( u , v ) ) d ( F ( x , y ) , F ( u , v ) ) < ϵ .

    Then the sequence ρ n = ρ ( ( x n , y n ) , ( x n + 1 , y n + 1 ) ) is monotone decreasing. If, moreover, we assume that

     
  3. 3.

    on the F-orbit of ( x 0 , y 0 ) , we have α ( ( x n , y n ) , ( x j , y j ) ) 1 and α ( ( y j , x j ) , ( y n , x n ) ) 1 for all n, j.

     

Then either (1) F has a coupled fixed point in the F-orbit { ( x n , y n ) } of ( x 0 , y 0 ) or (2) F has a coupled fixed point ( p , q ) and lim ρ ( x n , y n ) = ( p , q ) . If, moreover, we assume that the following condition (H) holds: If { ( x n , y n ) } is a sequence in X × X such that α ( ( x n , y n ) , ( x n + 1 , y n + 1 ) ) 1 for all n and d ( x n , x ) 0 , d ( y n , y ) 0 , then α ( ( x n , y n ) , ( x , y ) ) 1 and α ( ( y , x ) , ( y n , x n ) ) 1 for all n, then uniqueness of the coupled fixed point is obtained.

Proof The proof will follow by applying Corollary 9, with f = T as above, to the metric space ( X × X , ρ ) . The controlling function will be β : X 2 × X 2 [ 0 , ) given by
β ( ( x , y ) , ( u , v ) ) = min { α ( ( x , y ) , ( u , v ) ) , α ( ( y , x ) , ( v , u ) ) } .
In fact, if ϵ > 0 is given, then by assumption (2), find δ > 0 such that
ϵ 2 1 2 [ d ( x , u ) + d ( y , v ) ] < δ + ϵ 2 implies α ( ( x , y ) , ( u , v ) ) d ( F ( x , y ) , F ( u , v ) ) < ϵ 2 .
Let δ = 2 δ and assume ϵ ρ ( ( x , y ) , ( u , v ) ) < δ + ϵ . Then
ϵ 2 1 2 [ d ( x , u ) + d ( y , v ) ] < δ + ϵ 2
and
ϵ 2 1 2 [ d ( v , u ) + d ( u , x ) ] < δ + ϵ 2 .
Hence,
α ( ( x , y ) , ( u , v ) ) d ( F ( x , y ) , F ( u , v ) ) < ϵ 2
and
α ( ( v , u ) , ( y , x ) ) d ( F ( y , x ) , F ( v , u ) ) < ϵ 2 ,
which leads to
β ( ( x , y ) , ( u , v ) ) ρ ( T ( x , y ) , T ( u , v ) ) < ϵ .

 □

Notes

Declarations

Authors’ Affiliations

(1)
Mathematics and Computer Science Department, Çankaya University, Eskişehir Yolu

References

  1. Aydi H, Karapınar E: A Meir-Keeler common type fixed point theorem on partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 26Google Scholar
  2. Aydi H, Karapınar E: New Meir-Keeler type tripled fixed point theorems on ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 409872Google Scholar
  3. Park S, Rhoades BE: Meir-Keeler type contractive conditions. Math. Jpn. 1981, 26(1):13–20.MathSciNetGoogle Scholar
  4. Abdeljawad T, Karapınar E, Aydi H: A new Meir-Keeler type coupled fixed point on ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 327273. doi:10.1155/2012/327273Google Scholar
  5. Matthews, SG: Partial metric topology. Research report 212, Dept. of Computer Science, University of Warwick (1992)Google Scholar
  6. Matthews SG: Partial metric topology.Annals of the New York Academy of Sciences 728. General Topology and Its Applications. Proc. 8th Summer Conf., Queen’s College (1992) 1994, 183–197.Google Scholar
  7. Abdeljawad T: Fixed points for generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 2011, 54(11–12):2923–2927. 10.1016/j.mcm.2011.07.013MathSciNetView ArticleGoogle Scholar
  8. Abdeljawad T, Murthy PP, Taş K: A Gregus type common fixed point theorem of set-valued mappings in cone metric spaces. J. Comput. Anal. Appl. 2011, 13(4):622–628.MathSciNetGoogle Scholar
  9. Abdeljawad T, Alzabut JO, Mukheimer E, Zaidan Y: Banach contraction principle for cyclical mappings on partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 154Google Scholar
  10. Abdeljawad T, Karapınar E, Taş K: Common fixed point theorems in cone Banach spaces. Hacet. J. Math. Stat. 2011, 40(2):211–217.MathSciNetGoogle Scholar
  11. Shatanawi W, Nashine HK: A generalization of Banach’s contraction principle for nonlinear contraction in a partial metric space. J. Nonlinear Sci. Appl. 2012, 5: 37–43.MathSciNetGoogle Scholar
  12. Abdeljawad T, Karapınar E, Taş K: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 2011, 24(11):1900–1904. 10.1016/j.aml.2011.05.014MathSciNetView ArticleGoogle Scholar
  13. Abdeljawad T: Coupled fixed point theorems for partially contractive type mappings. Fixed Point Theory Appl. 2012., 2012: Article ID 148Google Scholar
  14. Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 2012. doi:10.1016/j.mcm.2011.08.042Google Scholar
  15. Meir A, Keeler E: A theorem on contraction mappings. J. Math. Anal. Appl. 1969, 28: 326–329. 10.1016/0022-247X(69)90031-6MathSciNetView ArticleGoogle Scholar
  16. Maiti M, Pal TK: Generalizations of two fixed point theorems. Bull. Calcutta Math. Soc. 1978, 70: 57–61.MathSciNetGoogle Scholar
  17. Samet B, Vetro C, Verto P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014MathSciNetView ArticleGoogle Scholar
  18. Asl JH, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212 (26 November 2012)Google Scholar
  19. Amini-Harandi A: Coupled and tripled fixed point theory in partially ordered metric spaces with applications to initial value problems. Math. Comput. Model. 2011. doi:10.1016/j.mcm.2011.12.006Google Scholar
  20. Sessa S: On a week commutativity condition of mappings in fixed point considerations. Publ. Inst. Math. (Belgr.) 1982, 32(46):149–153.MathSciNetGoogle Scholar
  21. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9(4):333–338.MathSciNetView ArticleGoogle Scholar
  22. Cho YJ, Murthy PP, Jungck J: A common fixed point theorem of Meir and Keeler type. Int. J. Math. Math. Sci. 1993, 16(4):669–674. 10.1155/S0161171293000833MathSciNetView ArticleGoogle Scholar

Copyright

© Abdeljawad; 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.