• Research
• Open Access

# A note on ‘ψ-Geraghty type contractions’

Fixed Point Theory and Applications20142014:26

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

• Accepted: 23 January 2014
• Published:

## Abstract

Very recently, the notion of a ψ-Geraghty type contraction was defined by Gordji et al. (Fixed Point Theory and Applications 2012:74, 2012). In this short note, we realize that the main result via ψ-Geraghty type contraction is equivalent to an existing related result in the literature. Consequently, all results inspired by the paper of Gordji et al. in (Fixed Point Theory and Applications 2012:74, 2012) can be derived in the same way.

MSC:47H10, 54H25, 46J10, 46J15.

## Keywords

• Geraghty type contraction
• auxiliary function

## 1 Introduction and preliminaries

One of the celebrated generalizations of the Banach contraction (mapping) principle was given by Geraghty [1].

Theorem 1.1 (Geraghty [1])

Let $\left(X,d\right)$ be a complete metric space and $T:X\to X$ be an operator. Suppose that there exists $\beta :\left(0,\mathrm{\infty }\right)\to \left[0,1\right)$ satisfying the condition
$\beta \left({t}_{n}\right)\to 1\phantom{\rule{1em}{0ex}}\mathit{\text{implies}}\phantom{\rule{1em}{0ex}}{t}_{n}\to 0.$
(1)
If T satisfies the following inequality:
(2)

then T has a unique fixed point.

Let $\mathcal{S}$ denote the set of all functions $\beta :\left(0,\mathrm{\infty }\right)\to \left[0,1\right)$ satisfying (1). This nice result of Geraghty [1] has been studied by a number of authors, see e.g. [210] and references therein.

In the following Harandi and Emami [2] reconsidered Theorem 1.1 in the framework of partially ordered metric spaces (see also [11]).

Theorem 1.2 Let $\left(X,⪯,d\right)$ be a partially ordered complete metric space. Let $f:X\to X$ be an increasing mapping such that there exists an element ${x}_{0}\in X$ with ${x}_{0}⪯f{x}_{0}$. If there exists $\alpha \in \mathcal{S}$ such that
$d\left(fx,fy\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right),$
(3)

for each $x,y\in X$ with $x⪰y$, then f has a fixed point provided that either f is continuous or X is such that if an increasing sequence $\left\{{x}_{n}\right\}\to x$ in X; then ${x}_{n}⪯x$, for all n. Besides, if for each $x,y\in X$ there exists $z\in X$ which is comparable to x and y, then f has a unique fixed point.

Very recently, Gordji et al. [12] supposedly improved and extended Theorem 1.2 in the following way via the auxiliary function defined below. Let Ψ denote the class of the functions $\psi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ which satisfy the following conditions:

(${\psi }_{1}$) ψ is nondecreasing;

(${\psi }_{2}$) ψ is subadditive, that is, $\psi \left(s+t\right)\le \psi \left(s\right)+\psi \left(t\right)$;

(${\psi }_{3}$) ψ is continuous;

(${\psi }_{4}$) $\psi \left(t\right)=0⇔t=0$.

The following is the main theorem of Gordji et al. [12].

Theorem 1.3 Let $\left(X,⪯,d\right)$ be a partially ordered complete metric space. Let $f:X\to X$ be a nondecreasing mapping such that there exists ${x}_{0}\in X$ with ${x}_{0}⪯f{x}_{0}$. Suppose that there exist $\alpha \in \mathcal{S}$ and $\psi \in \mathrm{\Psi }$ such that
$\psi \left(d\left(fx,fy\right)\right)\le \alpha \left(\psi \left(d\left(x,y\right)\right)\right)\psi \left(d\left(x,y\right)\right),$
(4)

for all $x,y\in X$ with $x⪯y$. Assume that either f is continuous or X is such that if an increasing sequence $\left\{{x}_{n}\right\}$ converges to x, then ${x}_{n}⪯x$ for each $n\ge 1$. Then f has a fixed point.

## 2 Main results

We start this section with the following lemma, which is the skeleton of this note.

Lemma 2.1 Let $\left(X,d\right)$ be a metric space and $\psi \in \mathrm{\Psi }$. Then, a function ${d}_{\psi }:X×X\to \left[0,\mathrm{\infty }\right)$ defined by ${d}_{\psi }\left(x,y\right)=\psi \left(d\left(x,y\right)\right)$ forms a metric on X. Moreover, $\left(X,d\right)$ is complete if and only if $\left(X,{d}_{\psi }\right)$ is complete.

Proof
1. (1)

If $x=y$, then $d\left(x,y\right)=0$. Due to (${\psi }_{4}$), we have $\psi \left(d\left(x,y\right)\right)=0$. The converse is obtained analogously.

2. (2)

${d}_{\psi }\left(x,y\right)=\psi \left(d\left(x,y\right)\right)=\psi \left(d\left(y,x\right)\right)={d}_{\psi }\left(y,x\right)$.

3. (3)
Since ψ is nondecreasing, we have $\psi \left(d\left(x,y\right)\right)\le \psi \left(d\left(x,z\right)+d\left(z,y\right)\right)$. Regarding the subadditivity of ψ, we derived
$\begin{array}{rl}{d}_{\psi }\left(x,y\right)& =\psi \left(d\left(x,y\right)\right)\le \psi \left(d\left(x,z\right)+d\left(z,y\right)\right)\\ \le \psi \left(d\left(x,z\right)\right)+\psi \left(d\left(z,y\right)\right)\\ ={d}_{\psi }\left(x,z\right)+{d}_{\psi }\left(z,y\right).\end{array}$

Notice that the completeness of $\left(X,{d}_{\psi }\right)$ follows from (${\psi }_{3}$) and (${\psi }_{4}$). □

The following is the main result of this note.

Theorem 2.2 Theorem  1.3 is a consequence of Theorem  1.2.

Proof Due to Lemma 2.1, we derived the result that $\left(X,{d}_{\psi }\right)$ is a complete metric space. Furthermore, the condition (4) turns into
${d}_{\psi }\left(fx,fy\right)\le \alpha \left({d}_{\psi }\left(x,y\right)\right){d}_{\psi }\left(x,y\right).$
(5)

Hence all conditions of Theorem 1.2 are satisfied. □

## 3 The best proximity case

Let A and B be two nonempty subsets of a metric space $\left(X,d\right)$. We denote by ${A}_{0}$ and ${B}_{0}$ the following sets:
(6)

where $d\left(A,B\right)=inf\left\{d\left(x,y\right):x\in A,y\in B\right\}$.

In [13, 14], the author introduces the following definition.

Definition 3.1 Let $\left(A,B\right)$ be a pair of nonempty subsets of a metric space $\left(X,d\right)$ with ${A}_{0}\ne \mathrm{\varnothing }$. Then the pair $\left(A,B\right)$ is said to have the P-property if and only if, for any ${x}_{1},{x}_{2}\in {A}_{0}$ and ${y}_{1},{y}_{2}\in {B}_{0}$,
$d\left({x}_{1},{y}_{1}\right)=d\left(A,B\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}d\left({x}_{2},{y}_{2}\right)=d\left(A,B\right)\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}d\left({x}_{1},{x}_{2}\right)=d\left({y}_{1},{y}_{2}\right).$
(7)

Caballero et al. proved the following result.

Theorem 3.2 (See [8])

Let $\left(A,B\right)$ be a pair of nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}$ is nonempty. Let $T:A\to B$ be a Geraghty contraction, i.e. there exists $\beta \in \mathcal{S}$ such that
(8)

Suppose that T is continuous and satisfies $T\left({A}_{0}\right)\subseteq {B}_{0}$. Suppose also that the pair $\left(A,B\right)$ has the P-property. Then there exists a unique ${x}^{\ast }$ in A such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$.

Inspired by Gordji et al. [12] and Caballero et al. [8], Karapinar [7] reported the following result.

Theorem 3.3 Let $\left(A,B\right)$ be a pair of nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}$ is nonempty. Let $T:A\to B$ be ψ-Geraghty contraction, i.e. there exists $\beta \in \mathcal{S}$ such that
(9)

Suppose that T is continuous and satisfies $T\left({A}_{0}\right)\subseteq {B}_{0}$. Suppose also that the pair $\left(A,B\right)$ has the P-property. Then there exists a unique ${x}^{\ast }$ in A such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$.

The following lemmas belong to Akbar and Gabeleh [15].

Lemma 3.4 [15]

Let $\left(A,B\right)$ be a pair of nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}$ is nonempty and $\left(A,B\right)$ has the P-property. Then $\left({A}_{0},{B}_{0}\right)$ is a closed pair of subsets of X.

Lemma 3.5 [15]

Let $\left(A,B\right)$ be a pair of nonempty closed subsets of a metric space $\left(X,d\right)$ such that ${A}_{0}$ is nonempty. Assume that the pair $\left(A,B\right)$ has the P-property. Then there exists a bijective isometry $g:{A}_{0}\to {B}_{0}$ such that $d\left(x,gx\right)=dist\left(A,B\right)$.

Very recently, by using Lemma 3.4 and Lemma 3.5, Akbar and Gabeleh [15] proved that the best proximity point results via P-property can be obtained from the associate results in fixed point theory. In particular they proved the following theorem.

Theorem 3.6 Theorem  3.2 is a consequence of Theorem  1.1.

As a consequence of Theorem 2.2 we can observe the following result.

Corollary 3.7 Theorem  3.3 is a consequence of Theorem  3.2.

Regarding the analogy, we omit the proof.

Theorem 3.8 Theorem  3.3 is a consequence of Theorem  1.1.

## 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, suggestion, and ideas, which helped to improve this paper.

## Authors’ Affiliations

(1)
Department of Mathematics, Atilim University, Incek, Ankara, 06836, Turkey
(2)
Department of Mathematics, King Saud University, Riyadh, Saudi Arabia

## References

1. Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5
2. Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal., Theory Methods Appl. 2010, 72(5):2238–2242. 10.1016/j.na.2009.10.023
3. Amini-Harandi A, Fakhar M, Hajisharifi H, Hussain N: Some new results on fixed and best proximity points in preordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 263Google Scholar
4. Bilgili N, Karapinar E, Sadarangani K: A generalization for the best proximity point of Geraghty-contractions. J. Inequal. Appl. 2013., 2013: Article ID 286Google Scholar
5. Mongkolkeha C, Cho Y, Kumam P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 180Google Scholar
6. Kim J, Chandok S: Coupled common fixed point theorems for generalized nonlinear contraction mappings with the mixed monotone property in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 307Google Scholar
7. Karapinar E: On best proximity point of ψ -Geraghty contractions. Fixed Point Theory Appl. 2013., 2013: Article ID 200Google Scholar
8. Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. 2012., 2012: Article ID 231Google Scholar
9. Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 31Google Scholar
10. Sintunavarat, W: Generalized Ulam-Hyers stability, well-posedness and limit shadowing of fixed point problems for α − β -contraction mapping in metric spaces. Sci. World J. (in press)Google Scholar
11. Cho S-H, Bae J-S, Karapinar E: Fixed point theorems for α -Geraghty contraction type maps in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 329Google Scholar
12. Gordji ME, Ramezani M, Cho YJ, Pirbavafa S: A generalization of Geraghty’s theorem in partially ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2012., 2012: Article ID 74Google Scholar
13. Raj VS: A best proximity theorem for weakly contractive non-self mappings. Nonlinear Anal. 2011, 74: 4804–4808. 10.1016/j.na.2011.04.052
14. Raj, VS: Banach’s contraction principle for non-self mappings (preprint)Google Scholar
15. Abkar A, Gabeleh M: A note on some best proximity point theorems proved under P -property. Abstr. Appl. Anal. 2013., 2013: Article ID 189567 10.1155/2013/189567Google Scholar