Skip to content

Advertisement

Open Access

Fixed point theorems for α-Geraghty contraction type maps in metric spaces

Fixed Point Theory and Applications20132013:329

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

Received: 19 August 2013

Accepted: 7 November 2013

Published: 3 December 2013

Abstract

In this paper, we introduce a notion of α-Geraghty contraction type maps in the setting of a metric space. We also establish some fixed point theorems for such maps and give an example to illustrate our results. Finally, we discuss the application of our main results in the research fields of ordinary differential equations.

MSC:47H10, 54H25.

Keywords

fixed pointcontraction type mappingα-Geraghty contraction type mapmetric space

1 Introduction and preliminaries

The Banach contraction principle [1], which is a useful tool in the study of many branches of mathematics and mathematical sciences, is one of the earlier and fundamental results in fixed point theory. Because of its importance in nonlinear analysis, a number of authors have improved, generalized and extended this basic result either by defining a new contractive mapping in the context of a complete metric space or by investigating the existing contractive mappings in various abstract spaces; see, e.g., [210] and references therein.

In particular, Geraghty [6] obtained a generalization of the Banach contraction principle in the setting of complete metric spaces by considering an auxiliary function. Later, Amini-Harandi and Emami [3] characterized the result of Geraghty in the context of a partially ordered complete metric space. This result is of particular interest since many real world problems can be identified in a partially ordered complete metric space. Cabellero et al. [11] discussed the existence of a best proximity point of Geraghty contraction.

Recently, Samet et al. [12] obtained remarkable fixed point results by defining the notion of α-ψ-contractive mappings. The authors of [12] concluded also that several existing results can be obtained as consequences of their main results. Very recently, Karapınar and Samet [13] introduced the concept of generalized α-ψ contractive mappings, which was inspired by the notion of α-ψ-contractive mappings. Furthermore, they [13] obtained some fixed point theorems for such mappings and listed some of the consequences of their main results.

In this paper, motivated by the developments discussed above, we define the concept of α-Geraghty contraction type maps in the setting of a metric space. Moreover, we prove the existence and uniqueness of a fixed point of such maps in the context of a complete metric space. We give an example to illustrate our main theorem and consider an application of our result in the area of ordinary differential equations.

For the sake of completeness, we recollect some basic definitions and remarkable results on the topic in the literature.

Definition 1.1 [12]

Let T : X X be a map and α : X × X R be a function. Then T is said to be α-admissible [12] if
α ( x , y ) 1 implies α ( T x , T y ) 1 .

Definition 1.2 [13]

An α-admissible map T is said to be triangular α-admissible if
α ( x , z ) 1 and α ( z , y ) 1 imply α ( x , y ) 1 .
(1)

For more details for an α-admissible map and a triangular α-admissible map, see [12] and [13, 14], respectively.

Lemma 1.1 [13]

Let T : X X be a triangular α-admissible map. Assume that there exists x 1 X such that α ( x 1 , T x 1 ) 1 . Define a sequence { x n } by x n + 1 = T x n . Then we have α ( x n , x m ) 1 for all m , n N with n < m .

We denote by the family of all functions β : [ 0 , ) [ 0 , 1 ) which satisfies the condition
lim n β ( t n ) = 1 implies lim n t n = 0 .

By using such maps, Geraghty [6] observed the following interesting results.

Theorem 1.1 [6]

Let ( X , d ) be a metric space, and let T : X X be a map. Suppose that there exists β F such that for all x , y X ,
d ( T x , T y ) β ( d ( x , y ) ) d ( x , y ) .
(2)

Then T has a unique fixed point x X , and { T n x } converges to x for each x X .

2 Fixed point theorems

Let ( X , d ) be a metric space, and let α : X × X R be a function. A map T : X X is called a generalized α-Geraghty contraction type map if there exists β F such that for all x , y X ,
α ( x , y ) d ( T x , T y ) β ( M ( x , y ) ) M ( x , y ) ,
(3)

where M ( x , y ) = max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) } .

Remark 2.1 Since the functions belonging to are strictly smaller than one, condition (3) implies that
d ( T x , T y ) < M ( x , y ) for any  x , y X  with  x y .
Theorem 2.1 Let ( X , d ) be a complete metric space, α : X × X R be a function, and let T : X X be a map. Suppose that the following conditions are satisfied:
  1. (1)

    T is a generalized α-Geraghty contraction type map;

     
  2. (2)

    T is triangular α-admissible;

     
  3. (3)

    there exists x 1 X such that α ( x 1 , T x 1 ) 1 ;

     
  4. (4)

    T is continuous.

     

Then T has a fixed point x X , and T is a Picard operator, that is, { T n x 1 } converges to x .

Proof Let x 1 X be such that α ( x 1 , T x 1 ) 1 . Define a sequence { x n } X by x n + 1 = T x n for n N . If x n 0 = x n 0 + 1 for some n 0 N , then x n 0 is a fixed point of T, and hence the proof is completed. Thus, throughout the proof, we assume that x n x n + 1 for all n N .

By Lemma 1.1, we have
α ( x n , x n + 1 ) 1
(4)
for all n N . Then we have
d ( x n + 1 , x n + 2 ) = d ( T x n , T x n + 1 ) α ( x n , x n + 1 ) d ( T x n , T x n + 1 ) β ( M ( x n , x n + 1 ) ) M ( x n , x n + 1 ) ,
(5)
for all n N , where
M ( x n , x n + 1 ) = max { d ( x n , x n + 1 ) , d ( x n , T x n ) , d ( x n + 1 , T x n + 1 ) } = max { d ( x n , x n + 1 ) , d ( x n , x n + 1 ) , d ( x n + 1 , x n + 2 ) } .
Regarding the definition of β, the case M ( x n , x n + 1 ) = d ( x n + 1 , x n + 2 ) is impossible. Indeed,
d ( x n + 1 , x n + 2 ) β ( M ( x n , x n + 1 ) ) M ( x n , x n + 1 ) β ( d ( x n + 1 , x n + 2 ) ) d ( x n + 1 , x n + 2 ) < d ( x n + 1 , x n + 2 ) ,

a contradiction.

Thus, we conclude that d ( x n + 1 , x n + 2 ) < d ( x n , x n + 1 ) for all n N . So, the sequence { d ( x n , x n + 1 ) } is nonnegative and nonincreasing. Hence, there exists r 0 such that lim n d ( x n , x n + 1 ) = r . We claim that r = 0 . Suppose, on the contrary, that r > 0 . Then, due to (5), we have
d ( x n + 1 , x n + 2 ) d ( x n , x n + 1 ) β ( d ( x n , x n + 1 ) ) < 1 ,
which yields that lim n β ( d ( x n , x n + 1 ) ) = 1 . Since β F , we derive that
lim n d ( x n , x n + 1 ) = 0 .
(6)
We shall show that { x n } is a Cauchy sequence. Suppose, on the contrary, that { x n } is not a Cauchy sequence. Thus, there exists ϵ > 0 such that, for all k > 0 , there exist m ( k ) > n ( k ) > k with (the smallest number satisfying the condition below)
d ( x m ( k ) , x n ( k ) ) ϵ and d ( x m ( k ) 1 , x n ( k ) ) < ϵ .
Then we have
ϵ d ( x m ( k ) , x n ( k ) ) d ( x m ( k ) , x m ( k ) 1 ) + d ( x m ( k ) 1 , x n ( k ) ) < d ( x m ( k ) , x m ( k ) 1 ) + ϵ .
Letting k in the above inequality, we have
lim k d ( x m ( k ) , x n ( k ) ) = ϵ .
(7)

By using (6) and (7), we obtain lim k d ( x m ( k ) 1 , x n ( k ) 1 ) = ϵ .

By Lemma 1.1, α ( x n ( k ) 1 , x m ( k ) 1 ) 1 . Thus we have
d ( x m ( k ) , x n ( k ) ) = d ( T x m ( k ) 1 , T x n ( k ) 1 ) α ( x n ( k ) 1 , x m ( k ) 1 ) d ( T x n ( k ) 1 , T x m ( k ) 1 ) β ( M ( x n ( k ) 1 , x m ( k ) 1 ) ) M ( x n ( k ) 1 , x m ( k ) 1 ) ,
where
M ( x n ( k ) 1 , x m ( k ) 1 ) = max { d ( x n ( k ) 1 , x m ( k ) 1 ) , d ( x n ( k ) 1 , T x n ( k ) 1 ) , d ( x m ( k ) 1 , T x m ( k ) 1 ) } = max { d ( x n ( k ) 1 , x m ( k ) 1 ) , d ( x n ( k ) 1 , x n ( k ) ) , d ( x m ( k ) 1 , x m ( k ) ) } .
Hence, we conclude that
d ( x m ( k ) , x n ( k ) ) M ( x n ( k ) 1 , x m ( k ) 1 ) β ( M ( x n ( k ) 1 , x m ( k ) 1 ) ) .
Keeping (6) in mind and letting n in the above inequality, we derive that lim k β ( d ( x n ( k ) 1 , x m ( k ) 1 ) ) = 1 , and so lim k d ( x n ( k ) 1 , x m ( k ) 1 ) = 0 . Hence, ϵ = 0 , which is a contradiction. So, we conclude that { x n } is a Cauchy sequence. It follows from the completeness of X that there exists
x = lim n x n X .

Since T is continuous, we get lim n x n = T x , and so x = T x , which completes the proof. □

The continuity of the mapping T can be dropped. In the following theorem, we replace the continuity of the operator T by a suitable condition.

Theorem 2.2 Let ( X , d ) be a complete metric space, α : X × X R be a function, and let T : X X be a map. Suppose that the following conditions are satisfied:
  1. (1)

    T is a generalized α-Geraghty contraction type map;

     
  2. (2)

    T is triangular α-admissible;

     
  3. (3)

    there exists x 1 X such that α ( x 1 , T x 1 ) 1 ;

     
  4. (4)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n and x n x X as n , then there exists a subsequence { x n ( k ) } of { x n } such that α ( x n ( k ) , x ) 1 for all k.

     

Then T has a fixed point x X , and T is a Picard operator, that is, { T n x 1 } converges to x .

Proof Following the lines in the proof of Theorem 2.1, we conclude that the sequence { x n } , defined by x n + 1 = T x n for all n 0 , converges to x X . Regarding (4) together with condition (4), we deduce that there exists a subsequence { x n ( k ) } of { x n } such that α ( x n ( k ) , x ) 1 for all k. Applying (3), for all k, we get that
d ( x n ( k ) + 1 , T x ) = d ( T x n ( k ) , T x ) α ( x n ( k ) , x ) d ( T x n ( k ) , T x ) β ( M ( x n ( k ) , x ) ) M ( x n ( k ) , x ) .
(8)
On the other hand, we have
M ( x n , x ) = max { d ( x n , x ) , d ( x n , T x n ) , d ( x , T x ) } = max { d ( x n , x ) , d ( x n , x n + 1 ) , d ( x , T x ) } .
Letting k in the above equality, we get that
lim k M ( x n ( k ) , x ) = d ( x , T x ) .
(9)
Suppose that d ( x , T x ) > 0 . From (9), for k large enough, we have M ( x n ( k ) , x ) > 0 , which implies that β ( M ( x n ( k ) , x ) ) < M ( x n ( k ) , x ) . By Remark 2.1, we have
d ( x n ( k ) + 1 , T x ) < M ( x n ( k ) , x ) .
Letting k in the above inequality, using (9), we obtain that
d ( x , T x ) < d ( x , T x ) ,

a contradiction. Thus, we find d ( x , T x ) = 0 , that is, x = T x . □

For the uniqueness of a fixed point of a generalized α-Geraghty contractive mapping, we consider the following hypothesis.
  1. (H)

    For all x , y Fix ( T ) , there exists z X such that α ( x , z ) 1 and α ( y , z ) 1 .

     

Here, Fix ( T ) denotes the set of fixed points of T.

Theorem 2.3 Adding condition (H) to the hypotheses of Theorem  2.1 (resp. Theorem  2.2), we obtain that x is the unique fixed point of T.

Proof Due to Theorem 2.1 (resp. Theorem 2.2), we have a fixed point, namely x X . Let y X be another fixed point of T. Then, by assumption, there exists z X such that
α ( x , z ) 1 and α ( y , z ) 1 .
(10)
Since T is α-admissible, from (10), we derive that
α ( x , T n z ) 1 and α ( y , T n z ) 1 for all  n .
(11)
Hence we have
d ( x , T n z ) α ( x , T n 1 z ) d ( T x , T T n 1 z ) β ( d ( x , T n 1 z ) ) d ( x , T n 1 z ) < d ( x , T n 1 z )
(12)
for all n N . Thus, the sequence { d ( x , T n z ) } is nonincreasing, and so there exists u 0 such that lim n d ( x , T n z ) = u . From (12) we have
d ( x , T n z ) d ( x , T n 1 z ) β ( d ( x , T n 1 z ) ) ,

and so lim n β ( d ( x , T n z ) ) = 1 . Consequently, we have lim n d ( x , T n z ) = 0 , and hence lim n T n z = x .

Similarly, we find that lim n T n z = y . Thus, we get x = y . □

3 Consequences

We start this section with the following definition.

Definition 3.1 Let ( X , d ) be a metric space, and let α : X × X R be a function. A map T : X X is called α-Geraghty contraction type map if there exists β F such that for all x , y X ,
α ( x , y ) d ( T x , T y ) β ( d ( x , y ) ) d ( x , y ) .
(13)
Theorem 3.1 Let ( X , d ) be a complete metric space, α : X × X R be a function, and let T : X X be a map. Suppose that the following conditions are satisfied:
  1. (1)

    T is an α-Geraghty contraction type map;

     
  2. (2)

    T is triangular α-admissible;

     
  3. (3)

    there exists x 1 X such that α ( x 1 , T x 1 ) 1 ;

     
  4. (4)
    either T is continuous or
    lim n inf α ( x n , x ) > 0
    (14)
     

for any cluster point x of a sequence { x n } with α ( x n , x n + 1 ) 1 .

Then T has a fixed point x X , and { T n x 1 } converges to x .

Theorem 3.2 Let ( X , d ) be a complete metric space, α : X × X R be a function, and let T : X X be a map. Suppose that the following conditions are satisfied:
  1. (1)

    T is an α-Geraghty contraction type map;

     
  2. (2)

    T is triangular α-admissible;

     
  3. (3)

    there exists x 1 X such that α ( x 1 , T x 1 ) 1 ;

     
  4. (4)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n and x n x X as n , then there exists a subsequence { x n ( k ) } of { x n } such that α ( x n ( k ) , x ) 1 for all k.

     

Then T has a fixed point x X , and { T n x 1 } converges to x .

Theorem 3.3 Adding condition (H) to the hypotheses of Theorem  3.1 (resp. Theorem  3.2), we obtain that x is the unique fixed point of T.

Remark 3.1 We show that the interesting result of Geraghty [6], Theorem 1.1, is a consequence of Theorem 3.1 and Theorem 3.3. Indeed, let α ( x , y ) = 1 for all x , y X . Then T is an α-Geraghty contraction type map. It is evident that all the hypotheses of Theorem 3.1 and Theorem 3.3 are satisfied. Hence, T has a unique fixed point.

Corollary 3.4 [3]

Let ( X , ) be a partially ordered set and suppose that there exists a metric d on X such that ( X , d ) is a complete metric space. Suppose that T : X X is a map. Assume that the following conditions are satisfied:
  1. (1)
    there exists β F such that
    d ( T x , T y ) β ( d ( x , y ) ) d ( x , y )

    for all x , y X with y x ;

     
  2. (2)

    there exists x 1 X such that x 1 T x 1 ;

     
  3. (3)

    T is increasing;

     
  4. (4)

    either T is continuous or if { x n } is an increasing sequence with lim n x n = x , then x n x for all n N .

     

Then T has a fixed point x X , and { T n x 1 } converges to x . Further if, for any x , y X , there exists z X such that z is comparable to x and y, then T has a unique fixed point in X.

Proof Define a function α : X × X [ 0 , ) by
α ( x , y ) = { 1 if  x y , 0 otherwise .

Then from ( 1 ) we have α ( x , y ) d ( T y , T x ) β ( d ( y , x ) ) d ( y , x ) for all x , y X , and so (13) is satisfied.

Hence, the condition (1) of Theorem 3.1 is fulfilled. Since T is increasing, α ( x , y ) = 1 implies α ( T x , T y ) = 1 for all x , y X . Thus, T is triangular α-admissible.

Condition (2) implies that there exists x 1 X such that α ( x 1 , T x 1 ) = 1 , and so condition (3) of Theorem 3.1 is satisfied.

Condition (4) implies that condition (4) of Theorem 3.1 is satisfied.

Thus, all the conditions of Theorem 3.1 are satisfied. By Theorem 3.1, T has a fixed point in X. □

We give an example to illustrate Theorem 3.1.

Example 3.1 Let X = [ 0 , ) , and let d ( x , y ) = | x y | for all x , y X . Let β ( t ) = 1 1 + t for all t 0 . Then it is clear that β F .

We define a mapping T : X X by
T x = { 1 2 x ( 0 x 1 ) , 2 x ( x > 1 )
and a function α : X × X [ 0 , ) by
α ( x , y ) = { 1 ( 0 x , y 1 ) , 0 otherwise .

Condition (3) of Theorem 3.1 is satisfied with x 1 = 1 . Condition (4) of Theorem 3.1 is satisfied with x n = T n x 1 = 1 n .

Let x , y X such that α ( x , y ) 1 .

Then x , y [ 0 , 1 ] , and so T x [ 0 , 1 ] , T y [ 0 , 1 ] and α ( T x , T y ) = 1 . Hence T is α-admissible, and hence (2) is satisfied.

We show that the condition (1) of Theorem 3.1 is satisfied.

If 0 x , y 1 , then α ( x , y ) = 1 , and we have
β ( d ( x , y ) ) d ( x , y ) α ( x , y ) d ( T x , T y ) = β ( d ( x , y ) ) d ( x , y ) d ( T x , T y ) = | x y | 1 + | x y | 1 2 | x y | = | x y | ( 1 | x y | ) 2 ( 1 + | x y | ) 0 .

Hence, for 0 x , y 1 , α ( x , y ) d ( T x , T y ) β ( d ( x , y ) ) d ( x , y ) .

If 0 x 1 and y > 1 , then α ( x , y ) = 0 , and we have α ( x , y ) d ( T x , T y ) β ( d ( x , y ) ) d ( x , y ) .

Thus, all the hypotheses of Theorem 3.1 are satisfied, and T has a fixed point x = 0 .

Note that (2) is not satisfied. In fact, for x = 1 , y = 2 , we have
d ( T 1 , T 2 ) = 7 2 > 1 2 > β ( d ( 2 , 1 ) ) d ( 2 , 1 ) .

4 Application to ordinary differential equations

We consider the following two-point boundary value problem of a second-order differential equation:
{ d 2 x d t 2 = f ( t , x ( t ) ) , t [ 0 , 1 ] , x ( 0 ) = x ( 1 ) = 0 ,
(15)

where f : [ 0 , 1 ] × R R is a continuous function.

The Green function associated to (15) is given by
G ( t , s ) = { t ( 1 s ) , 0 t s 1 , s ( 1 t ) , 0 s t 1 .

Let C ( I ) be the space of all continuous functions defined on I, where I = [ 0 , 1 ] , and let d ( x , y ) = x y = sup t I | x ( t ) y ( t ) | for all x , y C ( I ) .

Then ( C ( I ) , d ) is a complete metric space.

Let ϕ : [ 0 , ) [ 0 , ) be a function satisfying the following conditions:
  1. (1)

    ϕ is increasing;

     
  2. (2)

    for each t > 0 , ϕ ( t ) < t ;

     
  3. (3)

    β ( t ) = ϕ ( t ) t F .

     

As examples of such functions, we can list the following ϕ ( t ) = t 1 + t and ϕ ( t ) = ln ( 1 + t ) .

We consider the following conditions:
  1. (a)
    there exists a function ξ : R 2 R such that for all t I , for all a , b R with ξ ( a , b ) 0 , we have
    | f ( t , a ) f ( t , b ) | ϕ ( | a b | ) ;
     
  2. (b)
    there exists x 1 C ( I ) such that for all t I ,
    ξ ( x 1 ( t ) , 0 1 G ( t , s ) f ( s , x 1 ( s ) ) d s ) 0 ;
     
  3. (c)
    for all t I and for all x , y C ( I ) ,
    ξ ( x ( t ) , y ( t ) ) 0 implies ξ ( 0 1 G ( t , s ) f ( s , x ( s ) ) d s , 0 1 G ( t , s ) f ( s , y ( s ) ) d s ) 0 ;
     
  4. (d)

    for any cluster point x of a sequence { x n } of points in C ( I ) with ξ ( x n , x n + 1 ) 0 , lim n inf ξ ( x n , x ) 0 .

     

Theorem 4.1 Suppose that conditions (a)-(d) are satisfied. Then (15) has at least one solution x C 2 ( I ) .

Proof It is known that x C 2 ( I ) is a solution of (15) if and only if x C ( I ) is a solution of the integral equation
x ( t ) = 0 1 G ( t , s ) f ( s , x ( s ) ) d s for all  t I .
We define T : C ( I ) C ( I ) by
T x ( t ) = 0 1 G ( t , s ) f ( s , x ( s ) ) d s for all  t I .

Then problem (15) is equivalent to finding x C ( I ) that is a fixed point of T.

Let x , y C ( I ) such that ξ ( x ( t ) , y ( t ) ) 0 for all t I . From (a) we have
| T x ( t ) T y ( t ) | = | 0 1 G ( t , s ) [ f ( s , x ( s ) ) f ( s , y ( s ) ) ] d s | 0 1 G ( t , s ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s 0 1 G ( t , s ) ϕ ( | x ( s ) y ( s ) | ) d s sup t I 0 1 G ( t , s ) d s ϕ ( x y ) = 1 8 ϕ ( d ( x , y ) ) d ( x , y ) d ( x , y ) < β ( d ( x , y ) ) d ( x , y ) .

Thus we have d ( T x , T y ) < β ( d ( x , y ) ) d ( x , y ) for all x , y C ( I ) such that ξ ( x ( t ) , y ( t ) ) 0 for all t I .

We define α : C ( I ) × C ( I ) [ 0 , ) by
α ( x , y ) = { 1 if  ξ ( x ( t ) , y ( t ) ) 0 , t I , 0 otherwise .
Then, for all x , y C ( I ) , we have
α ( x , y ) d ( T x , T y ) < β ( d ( x , y ) ) d ( x , y ) .

Obviously, α ( x , y ) = 1 and α ( y , z ) = 1 implies α ( x , z ) = 1 for all x , y , z C ( I ) .

If α ( x , y ) = 1 for all x , y C ( I ) , then ξ ( x ( t ) , y ( t ) ) 0 . From (c) we have ξ ( T x ( t ) , T y ( t ) ) 0 , and so α ( T x , T y ) = 1 . Thus, T is triangular α-admissible.

From (b) there exists x 1 C ( I ) such that α ( x 1 , T x 1 ) = 1 .

By (d), we have that for any cluster point x of a sequence { x n } of points in C ( I ) with α ( x n , x n + 1 ) = 1 , lim n inf α ( x n , x ) = 1 .

By applying Theorem 2.1, T has a fixed point in C ( I ) , i.e., there exists x C ( I ) such that T x = x , and x is a solution of (15). □

Declarations

Acknowledgements

The authors thank anonymous reviewers for their remarkable comments, suggestion and ideas that helped to improve our paper.

Authors’ Affiliations

(1)
Department of Mathematics, Hanseo University, ChungnamSouth Korea
(2)
Department of Mathematics, Moyngji University, Yongin, South Korea
(3)
Department of Mathematics, Atilim University, Ankara, Turkey

References

  1. Banach S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 1922, 3: 133–181.Google Scholar
  2. Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226: 257–290.MathSciNetView ArticleGoogle Scholar
  3. Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 2238–2242.MathSciNetView ArticleGoogle Scholar
  4. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 1–8.MathSciNetView ArticleGoogle Scholar
  5. Cho SH, Bae JS:Common fixed point theorems for mappings satisfying property ( E . A ) on cone metric spaces. Math. Comput. Model. 2011, 53: 945–951.MathSciNetView ArticleGoogle Scholar
  6. Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608.MathSciNetView ArticleGoogle Scholar
  7. Hille E, Phillips RS Amer. Math. Soc. Colloq. Publ. 31. In Functional Analysis and Semi-Groups. Am. Math. Soc., Providence; 1957.Google Scholar
  8. Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332(2):1468–1476.MathSciNetView ArticleGoogle Scholar
  9. Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math. Jpn. 1996, 44: 513–520.MathSciNetGoogle Scholar
  10. Yang SK, Bae JS, Cho SH: Coincidence and common fixed and periodic point theorems in cone metric spaces. Comput. Math. Appl. 2011, 61: 170–177.MathSciNetView ArticleGoogle Scholar
  11. Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. 2012., 2012: Article ID 231Google Scholar
  12. Samet B, Vetro C, Vetro P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165.MathSciNetView ArticleGoogle Scholar
  13. Karapinar E, Kumam P, Salimi P: On α - ψ -Meir-Keeler contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 94Google Scholar
  14. Karapinar E, Samet B: Generalized ( α - ψ )-contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012., 2012: Article ID 793486Google Scholar

Copyright

© Cho 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