- Research
- Open Access

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

- Seong-Hoon Cho
^{1}, - Jong-Sook Bae
^{2}and - Erdal Karapınar
^{3}Email author

**2013**:329

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

© Cho et al.; licensee Springer. 2013

**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 point
- contraction type mapping
*α*-Geraghty contraction type map- metric 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.*, [2–10] 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]

*T*is said to be

*α-admissible*[12] if

**Definition 1.2** [13]

*α*-admissible map

*T*is said to be

*triangular*

*α-admissible*if

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\to X$ *be a triangular* *α*-*admissible map*. *Assume that there exists* ${x}_{1}\in X$ *such that* $\alpha ({x}_{1},T{x}_{1})\ge 1$. *Define a sequence* $\{{x}_{n}\}$ *by* ${x}_{n+1}=T{x}_{n}$. *Then we have* $\alpha ({x}_{n},{x}_{m})\ge 1$ *for all* $m,n\in \mathbb{N}$ *with* $n<m$.

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\to X$

*be a map*.

*Suppose that there exists*$\beta \in \mathcal{F}$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}_{\ast}\in X$, *and* $\{{T}^{n}x\}$ *converges to* ${x}_{\ast}$ *for each* $x\in X$.

## 2 Fixed point theorems

*α*-Geraghty contraction type map if there exists $\beta \in \mathcal{F}$ such that for all $x,y\in X$,

where $M(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty)\}$.

**Remark 2.1**Since the functions belonging to ℱ are strictly smaller than one, condition (3) implies that

**Theorem 2.1**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to \mathbb{R}$

*be a function*,

*and let*$T:X\to X$

*be a map*.

*Suppose that the following conditions are satisfied*:

- (1)
*T**is a generalized**α*-*Geraghty contraction type map*; - (2)
*T**is triangular**α*-*admissible*; - (3)
*there exists*${x}_{1}\in X$*such that*$\alpha ({x}_{1},T{x}_{1})\ge 1$; - (4)
*T**is continuous*.

*Then* *T* *has a fixed point* ${x}_{\ast}\in X$, *and* *T* *is a Picard operator*, *that is*, $\{{T}^{n}{x}_{1}\}$ *converges to* ${x}_{\ast}$.

*Proof* Let ${x}_{1}\in X$ be such that $\alpha ({x}_{1},T{x}_{1})\ge 1$. Define a sequence $\{{x}_{n}\}\subset X$ by ${x}_{n+1}=T{x}_{n}$ for $n\in \mathbb{N}$. If ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$ for some ${n}_{0}\in \mathbb{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}\ne {x}_{n+1}$ for all $n\in \mathbb{N}$.

*β*, the case $M({x}_{n},{x}_{n+1})=d({x}_{n+1},{x}_{n+2})$ is impossible. Indeed,

a contradiction.

By using (6) and (7), we obtain ${lim}_{k\to \mathrm{\infty}}d({x}_{m(k)-1},{x}_{n(k)-1})=\u03f5$.

*X*that there exists

Since *T* is continuous, we get ${lim}_{n\to \mathrm{\infty}}{x}_{n}=T{x}_{\ast}$, and so ${x}_{\ast}=T{x}_{\ast}$, 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*, $\alpha :X\times X\to \mathbb{R}$

*be a function*,

*and let*$T:X\to X$

*be a map*.

*Suppose that the following conditions are satisfied*:

- (1)
*T**is a generalized**α*-*Geraghty contraction type map*; - (2)
*T**is triangular**α*-*admissible*; - (3)
*there exists*${x}_{1}\in X$*such that*$\alpha ({x}_{1},T{x}_{1})\ge 1$; - (4)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for all**n**and*${x}_{n}\to x\in X$*as*$n\to \mathrm{\infty}$,*then there exists a subsequence*$\{{x}_{n(k)}\}$*of*$\{{x}_{n}\}$*such that*$\alpha ({x}_{n(k)},x)\ge 1$*for all k*.

*Then* *T* *has a fixed point* ${x}_{\ast}\in X$, *and* *T* *is a Picard operator*, *that is*, $\{{T}^{n}{x}_{1}\}$ *converges to* ${x}_{\ast}$.

*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\ge 0$, converges to ${x}_{\ast}\in X$. Regarding (4) together with condition (4), we deduce that there exists a subsequence $\{{x}_{n(k)}\}$ of $\{{x}_{n}\}$ such that $\alpha ({x}_{n(k)},{x}_{\ast})\ge 1$ for all

*k*. Applying (3), for all

*k*, we get that

*k*large enough, we have $M({x}_{n(k)},{x}_{\ast})>0$, which implies that $\beta (M({x}_{n(k)},{x}_{\ast}))<M({x}_{n(k)},{x}_{\ast})$. By Remark 2.1, we have

a contradiction. Thus, we find $d({x}_{\ast},T{x}_{\ast})=0$, that is, ${x}_{\ast}=T{x}_{\ast}$. □

*α*-Geraghty contractive mapping, we consider the following hypothesis.

- (H)
For all $x,y\in Fix(T)$, there exists $z\in X$ such that $\alpha (x,z)\ge 1$ and $\alpha (y,z)\ge 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}_{\ast}$ *is the unique fixed point of* *T*.

*Proof*Due to Theorem 2.1 (resp. Theorem 2.2), we have a fixed point, namely ${x}_{\ast}\in X$. Let ${y}_{\ast}\in X$ be another fixed point of

*T*. Then, by assumption, there exists $z\in X$ such that

*T*is

*α*-admissible, from (10), we derive that

and so ${lim}_{n\to \mathrm{\infty}}\beta (d({x}_{\ast},{T}^{n}z))=1$. Consequently, we have ${lim}_{n\to \mathrm{\infty}}d({x}_{\ast},{T}^{n}z)=0$, and hence ${lim}_{n\to \mathrm{\infty}}{T}^{n}z={x}_{\ast}$.

Similarly, we find that ${lim}_{n\to \mathrm{\infty}}{T}^{n}z={y}_{\ast}$. Thus, we get ${x}_{\ast}={y}_{\ast}$. □

## 3 Consequences

We start this section with the following definition.

**Definition 3.1**Let $(X,d)$ be a metric space, and let $\alpha :X\times X\to \mathbb{R}$ be a function. A map $T:X\to X$ is called

*α*-Geraghty contraction type map if there exists $\beta \in \mathcal{F}$ such that for all $x,y\in X$,

**Theorem 3.1**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to \mathbb{R}$

*be a function*,

*and let*$T:X\to X$

*be a map*.

*Suppose that the following conditions are satisfied*:

- (1)
*T**is an**α*-*Geraghty contraction type map*; - (2)
*T**is triangular**α*-*admissible*; - (3)
*there exists*${x}_{1}\in X$*such that*$\alpha ({x}_{1},T{x}_{1})\ge 1$; - (4)
*either**T**is continuous or*$\underset{n\to \mathrm{\infty}}{lim}inf\alpha ({x}_{n},x)>0$(14)

*for any cluster point* *x* *of a sequence* $\{{x}_{n}\}$ *with* $\alpha ({x}_{n},{x}_{n+1})\ge 1$.

*Then* *T* *has a fixed point* ${x}_{\ast}\in X$, *and* $\{{T}^{n}{x}_{1}\}$ *converges to* ${x}_{\ast}$.

**Theorem 3.2**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to \mathbb{R}$

*be a function*,

*and let*$T:X\to X$

*be a map*.

*Suppose that the following conditions are satisfied*:

- (1)
*T**is an**α*-*Geraghty contraction type map*; - (2)
*T**is triangular**α*-*admissible*; - (3)
*there exists*${x}_{1}\in X$*such that*$\alpha ({x}_{1},T{x}_{1})\ge 1$; - (4)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for all**n**and*${x}_{n}\to x\in X$*as*$n\to \mathrm{\infty}$,*then there exists a subsequence*$\{{x}_{n(k)}\}$*of*$\{{x}_{n}\}$*such that*$\alpha ({x}_{n(k)},x)\ge 1$*for all k*.

*Then* *T* *has a fixed point* ${x}_{\ast}\in X$, *and* $\{{T}^{n}{x}_{1}\}$ *converges to* ${x}_{\ast}$.

**Theorem 3.3** *Adding condition* (H) *to the hypotheses of Theorem * 3.1 (*resp*. *Theorem * 3.2), *we obtain that* ${x}_{\ast}$ *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 $\alpha (x,y)=1$ for all $x,y\in 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,\u2aaf)$

*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\to X$

*is a map*.

*Assume that the following conditions are satisfied*:

- (1)
*there exists*$\beta \in \mathcal{F}$*such that*$d(Tx,Ty)\le \beta (d(x,y))d(x,y)$*for all*$x,y\in X$*with*$y\u2aafx$; - (2)
*there exists*${x}_{1}\in X$*such that*${x}_{1}\u2aafT{x}_{1}$; - (3)
*T**is increasing*; - (4)
*either**T**is continuous or if*$\{{x}_{n}\}$*is an increasing sequence with*${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$.

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

*Proof*Define a function $\alpha :X\times X\to [0,\mathrm{\infty})$ by

Then from $(1)$ we have $\alpha (x,y)d(Ty,Tx)\le \beta (d(y,x))d(y,x)$ for all $x,y\in X$, and so (13) is satisfied.

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

Condition (2) implies that there exists ${x}_{1}\in X$ such that $\alpha ({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,\mathrm{\infty})$, and let $d(x,y)=|x-y|$ for all $x,y\in X$. Let $\beta (t)=\frac{1}{1+t}$ for all $t\ge 0$. Then it is clear that $\beta \in \mathcal{F}$.

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}=\frac{1}{n}$.

Let $x,y\in X$ such that $\alpha (x,y)\ge 1$.

Then $x,y\in [0,1]$, and so $Tx\in [0,1]$, $Ty\in [0,1]$ and $\alpha (Tx,Ty)=1$. Hence *T* is *α*-admissible, and hence (2) is satisfied.

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

Hence, for $0\le x,y\le 1$, $\alpha (x,y)d(Tx,Ty)\le \beta (d(x,y))d(x,y)$.

If $0\le x\le 1$ and $y>1$, then $\alpha (x,y)=0$, and we have $\alpha (x,y)d(Tx,Ty)\le \beta (d(x,y))d(x,y)$.

Thus, all the hypotheses of Theorem 3.1 are satisfied, and *T* has a fixed point ${x}_{\ast}=0$.

## 4 Application to ordinary differential equations

where $f:[0,1]\times \mathbb{R}\to \mathbb{R}$ is a continuous function.

Let $C(I)$ be the space of all continuous functions defined on *I*, where $I=[0,1]$, and let $d(x,y)={\parallel x-y\parallel}_{\mathrm{\infty}}={sup}_{t\in I}|x(t)-y(t)|$ for all $x,y\in C(I)$.

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

- (1)
*ϕ*is increasing; - (2)
for each $t>0$, $\varphi (t)<t$;

- (3)
$\beta (t)=\frac{\varphi (t)}{t}\in \mathcal{F}$.

As examples of such functions, we can list the following $\varphi (t)=\frac{t}{1+t}$ and $\varphi (t)=ln(1+t)$.

- (a)there exists a function $\xi :{\mathbb{R}}^{2}\to \mathbb{R}$ such that for all $t\in I$, for all $a,b\in \mathbb{R}$ with $\xi (a,b)\ge 0$, we have$|f(t,a)-f(t,b)|\le \varphi (|a-b|);$
- (b)there exists ${x}_{1}\in C(I)$ such that for all $t\in I$,$\xi ({x}_{1}(t),{\int}_{0}^{1}G(t,s)f(s,{x}_{1}(s))\phantom{\rule{0.2em}{0ex}}ds)\ge 0;$
- (c)for all $t\in I$ and for all $x,y\in C(I)$,$\xi (x(t),y(t))\ge 0\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}\xi ({\int}_{0}^{1}G(t,s)f(s,x(s))\phantom{\rule{0.2em}{0ex}}ds,{\int}_{0}^{1}G(t,s)f(s,y(s))\phantom{\rule{0.2em}{0ex}}ds)\ge 0;$
- (d)
for any cluster point

*x*of a sequence $\{{x}_{n}\}$ of points in $C(I)$ with $\xi ({x}_{n},{x}_{n+1})\ge 0$, ${lim}_{n\to \mathrm{\infty}}inf\xi ({x}_{n},x)\ge 0$.

**Theorem 4.1** *Suppose that conditions* (a)-(d) *are satisfied*. *Then* (15) *has at least one solution* ${x}^{\ast}\in {C}^{2}(I)$.

*Proof*It is known that $x\in {C}^{2}(I)$ is a solution of (15) if and only if $x\in C(I)$ is a solution of the integral equation

Then problem (15) is equivalent to finding ${x}^{\ast}\in C(I)$ that is a fixed point of *T*.

Thus we have $d(Tx,Ty)<\beta (d(x,y))d(x,y)$ for all $x,y\in C(I)$ such that $\xi (x(t),y(t))\ge 0$ for all $t\in I$.

Obviously, $\alpha (x,y)=1$ and $\alpha (y,z)=1$ implies $\alpha (x,z)=1$ for all $x,y,z\in C(I)$.

If $\alpha (x,y)=1$ for all $x,y\in C(I)$, then $\xi (x(t),y(t))\ge 0$. From (c) we have $\xi (Tx(t),Ty(t))\ge 0$, and so $\alpha (Tx,Ty)=1$. Thus, *T* is triangular *α*-admissible.

From (b) there exists ${x}_{1}\in C(I)$ such that $\alpha ({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 $\alpha ({x}_{n},{x}_{n+1})=1$, ${lim}_{n\to \mathrm{\infty}}inf\alpha ({x}_{n},x)=1$.

By applying Theorem 2.1, *T* has a fixed point in $C(I)$, *i.e.*, there exists ${x}^{\ast}\in C(I)$ such that $T{x}^{\ast}={x}^{\ast}$, and ${x}^{\ast}$ 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

## References

- Banach S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales.
*Fundam. Math.*1922, 3: 133–181.Google Scholar - Rhoades BE: A comparison of various definitions of contractive mappings.
*Trans. Am. Math. Soc.*1977, 226: 257–290.MathSciNetView ArticleGoogle Scholar - 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 - Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.
*Appl. Anal.*2008, 87: 1–8.MathSciNetView ArticleGoogle Scholar - 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 - Geraghty M: On contractive mappings.
*Proc. Am. Math. Soc.*1973, 40: 604–608.MathSciNetView ArticleGoogle Scholar - Hille E, Phillips RS Amer. Math. Soc. Colloq. Publ. 31. In
*Functional Analysis and Semi-Groups*. Am. Math. Soc., Providence; 1957.Google Scholar - 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 - Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces.
*Math. Jpn.*1996, 44: 513–520.MathSciNetGoogle Scholar - 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 - Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghty-contractions.
*Fixed Point Theory Appl.*2012., 2012: Article ID 231Google Scholar - Samet B, Vetro C, Vetro P: Fixed point theorems for
*α*-*ψ*-contractive type mappings.*Nonlinear Anal.*2012, 75: 2154–2165.MathSciNetView ArticleGoogle Scholar - Karapinar E, Kumam P, Salimi P: On
*α*-*ψ*-Meir-Keeler contractive mappings.*Fixed Point Theory Appl.*2013., 2013: Article ID 94Google Scholar - 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

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.