 Research
 Open Access
 Published:
A note on ‘ψGeraghty type contractions’
Fixed Point Theory and Applications volume 2014, Article number: 26 (2014)
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.
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 $(X,d)$ be a complete metric space and $T:X\to X$ be an operator. Suppose that there exists $\beta :(0,\mathrm{\infty})\to [0,1)$ satisfying the condition
If T satisfies the following inequality:
then T has a unique fixed point.
Let $\mathcal{S}$ denote the set of all functions $\beta :(0,\mathrm{\infty})\to [0,1)$ satisfying (1). This nice result of Geraghty [1] has been studied by a number of authors, see e.g. [2–10] 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 $(X,\u2aaf,d)$ 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}\u2aaff{x}_{0}$. If there exists $\alpha \in \mathcal{S}$ such that
for each $x,y\in X$ with $x\u2ab0y$, then f has a fixed point provided that either f is continuous or X is such that if an increasing sequence $\{{x}_{n}\}\to x$ in X; then ${x}_{n}\u2aafx$, 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 :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ which satisfy the following conditions:
(${\psi}_{1}$) ψ is nondecreasing;
(${\psi}_{2}$) ψ is subadditive, that is, $\psi (s+t)\le \psi (s)+\psi (t)$;
(${\psi}_{3}$) ψ is continuous;
(${\psi}_{4}$) $\psi (t)=0\iff t=0$.
The following is the main theorem of Gordji et al. [12].
Theorem 1.3 Let $(X,\u2aaf,d)$ 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}\u2aaff{x}_{0}$. Suppose that there exist $\alpha \in \mathcal{S}$ and $\psi \in \mathrm{\Psi}$ such that
for all $x,y\in X$ with $x\u2aafy$. Assume that either f is continuous or X is such that if an increasing sequence $\{{x}_{n}\}$ converges to x, then ${x}_{n}\u2aafx$ 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 $(X,d)$ be a metric space and $\psi \in \mathrm{\Psi}$. Then, a function ${d}_{\psi}:X\times X\to [0,\mathrm{\infty})$ defined by ${d}_{\psi}(x,y)=\psi (d(x,y))$ forms a metric on X. Moreover, $(X,d)$ is complete if and only if $(X,{d}_{\psi})$ is complete.
Proof

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

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

(3)
Since ψ is nondecreasing, we have $\psi (d(x,y))\le \psi (d(x,z)+d(z,y))$. Regarding the subadditivity of ψ, we derived
$$\begin{array}{rl}{d}_{\psi}(x,y)& =\psi (d(x,y))\le \psi (d(x,z)+d(z,y))\\ \le \psi (d(x,z))+\psi (d(z,y))\\ ={d}_{\psi}(x,z)+{d}_{\psi}(z,y).\end{array}$$
Notice that the completeness of $(X,{d}_{\psi})$ 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 $(X,{d}_{\psi})$ is a complete metric space. Furthermore, the condition (4) turns into
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 $(X,d)$. We denote by ${A}_{0}$ and ${B}_{0}$ the following sets:
where $d(A,B)=inf\{d(x,y):x\in A,y\in B\}$.
In [13, 14], the author introduces the following definition.
Definition 3.1 Let $(A,B)$ be a pair of nonempty subsets of a metric space $(X,d)$ with ${A}_{0}\ne \mathrm{\varnothing}$. Then the pair $(A,B)$ is said to have the Pproperty if and only if, for any ${x}_{1},{x}_{2}\in {A}_{0}$ and ${y}_{1},{y}_{2}\in {B}_{0}$,
Caballero et al. proved the following result.
Theorem 3.2 (See [8])
Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$ 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
Suppose that T is continuous and satisfies $T({A}_{0})\subseteq {B}_{0}$. Suppose also that the pair $(A,B)$ has the Pproperty. Then there exists a unique ${x}^{\ast}$ in A such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$.
Inspired by Gordji et al. [12] and Caballero et al. [8], Karapinar [7] reported the following result.
Theorem 3.3 Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$ such that ${A}_{0}$ is nonempty. Let $T:A\to B$ be ψGeraghty contraction, i.e. there exists $\beta \in \mathcal{S}$ such that
Suppose that T is continuous and satisfies $T({A}_{0})\subseteq {B}_{0}$. Suppose also that the pair $(A,B)$ has the Pproperty. Then there exists a unique ${x}^{\ast}$ in A such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$.
The following lemmas belong to Akbar and Gabeleh [15].
Lemma 3.4 [15]
Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$ such that ${A}_{0}$ is nonempty and $(A,B)$ has the Pproperty. Then $({A}_{0},{B}_{0})$ is a closed pair of subsets of X.
Lemma 3.5 [15]
Let $(A,B)$ be a pair of nonempty closed subsets of a metric space $(X,d)$ such that ${A}_{0}$ is nonempty. Assume that the pair $(A,B)$ has the Pproperty. Then there exists a bijective isometry $g:{A}_{0}\to {B}_{0}$ such that $d(x,gx)=dist(A,B)$.
Very recently, by using Lemma 3.4 and Lemma 3.5, Akbar and Gabeleh [15] proved that the best proximity point results via Pproperty 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.
References
 1.
Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608. 10.1090/S00029939197303341765
 2.
AminiHarandi 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.
AminiHarandi 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 263
 4.
Bilgili N, Karapinar E, Sadarangani K: A generalization for the best proximity point of Geraghtycontractions. J. Inequal. Appl. 2013., 2013: Article ID 286
 5.
Mongkolkeha C, Cho Y, Kumam P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 180
 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 307
 7.
Karapinar E: On best proximity point of ψ Geraghty contractions. Fixed Point Theory Appl. 2013., 2013: Article ID 200
 8.
Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghtycontractions. Fixed Point Theory Appl. 2012., 2012: Article ID 231
 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 31
 10.
Sintunavarat, W: Generalized UlamHyers stability, wellposedness and limit shadowing of fixed point problems for $\alpha \beta $contraction mapping in metric spaces. Sci. World J. (in press)
 11.
Cho SH, Bae JS, Karapinar E: Fixed point theorems for α Geraghty contraction type maps in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 329
 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 74
 13.
Raj VS: A best proximity theorem for weakly contractive nonself mappings. Nonlinear Anal. 2011, 74: 4804–4808. 10.1016/j.na.2011.04.052
 14.
Raj, VS: Banach’s contraction principle for nonself mappings (preprint)
 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/189567
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.
Author information
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Geraghty type contraction
 auxiliary function