Research  Open  Published:
A new method for the research of best proximity point theorems of nonlinear mappings
Fixed Point Theory and Applicationsvolume 2014, Article number: 116 (2014)
Abstract
The purpose of this paper is to present a new method for the research of best proximity point theorems of nonlinear mappings in metric spaces. In this paper, the Poperator technique, which changes nonselfmapping to selfmapping, provides a new and simple method of proof. Best proximity point theorems for weakly contractive and weakly Kannan mappings, generalized best proximity point theorems for generalized contractions, and best proximity points for proximal cyclic contraction mappings have been proved by using this new method. Meanwhile, many recent results in this area have been improved.
MSC:47H05, 47H09, 47H10.
1 Introduction and preliminaries
Several problems can be changed to equations of the form $Tx=x$, where T is a given selfmapping defined on a subset of a metric space, a normed linear space, a topological vector space or some suitable space. However, if T is a nonselfmapping from A to B, then the aforementioned equation does not necessarily admit a solution. In this case, one would contemplate finding an approximate solution x in A such that the error $d(x,Tx)$ is minimum, where d is the distance function. In view of the fact that $d(x,Tx)$ is at least $d(A,B)$, a best proximity point theorem (for short BPPT) guarantees the global minimization of $d(x,Tx)$ by the requirement that an approximate solution x satisfies the condition $d(x,Tx)=d(A,B)$. Such optimal approximate solutions are called best proximity points of the mapping T. Interestingly, best proximity point theorems also serve as a natural generalization of fixed point theorems, for a best proximity point becomes a fixed point if the mapping under consideration is a selfmapping. Research on the best proximity point is an important topic in the nonlinear functional analysis and applications (see [1–18]).
Let A, B be two nonempty subsets of a complete metric space and consider a mapping $T:A\to B$. The best proximity point problem is whether we can find an element ${x}_{0}\in A$ such that $d({x}_{0},T{x}_{0})=min\{d(x,Tx):x\in A\}$. Since $d(x,Tx)\ge d(A,B)$ for any $x\in A$, in fact, the optimal solution to this problem is the one for which the value $d(A,B)$ attained.
Let A, 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\text{and}y\in B\}$.
It is interesting to notice that ${A}_{0}$ and ${B}_{0}$ are contained in the boundaries of A and B, respectively, provided A and B are closed subsets of a normed linear space such that $d(A,B)>0$ (see [1]).
2 BPPT for weakly contractive and weakly Kannan mappings
Let A and B be nonempty subsets of a metric space $(X,d)$. An operator $T:A\to B$ is said to be contractive if there exists $k\in [0,1)$ such that $d(Tx,Ty)\le kd(x,y)$ for any $x,y\in A$. The wellknown Banach contraction principle says: Let $(X,d)$ be a complete metric space, and $T:X\to X$ be a contraction of X into itself. Then T has a unique fixed point in X.
In the last 50 years, the Banach contraction principle has been extensively studied and generalized in many settings. One of the generalizations is the weakly contractive mapping.
Definition 2.1 [3]
Let $(X,d)$ be a metric space. A mapping $f:X\to X$ is said to be weakly contractive provided that
for all $x,y\in X$, where the function $\overline{\alpha}:X\times X\to [0,1)$, holds, for every $0<a<b$, that
The fixed point theorem for weakly contractive mapping was presented in [3].
Theorem 2.2 Let $(X,d)$ be a complete metric space. If $f:X\to X$ is a weakly contractive mapping, then f has a unique fixed point ${x}^{\ast}$ and the Picard sequence of iterates ${\{{f}^{n}(x)\}}_{n\in N}$ converges, for every $x\in X$, to ${x}^{\ast}$.
One type of contraction which is different from the Banach contraction is Kannan mappings. In [11], Kannan obtained the following fixed point theorem.
Theorem 2.3 [11]
Let $(X,d)$ be a complete metric space and let $f:X\to X$ be a mapping such that
for all $x,y\in X$ and some $\alpha \in [0,1)$, then f has a unique fixed point ${x}^{\ast}\in X$. Moreover, the Picard sequence of iterates ${\{{f}^{n}(x)\}}_{n\in N}$ converges, for every $x\in X$, to ${x}^{\ast}$.
In [12], the authors introduce a more general weakly Kannan mapping and obtain its fixed point theorem.
Definition 2.4 [12]
Let $(X,d)$ be a metric space. A mapping $f:X\to X$ is said to be weakly Kannan if there exists $\overline{\alpha}:X\times X\to [0,1)$, which satisfies for every $0<a\le b$ and for all $x,y\in X$
and
Theorem 2.5 [12]
Let $(X,d)$ be a complete metric space. If $f:X\to X$ is a weakly Kannan mapping, then f has a unique fixed point ${x}^{\ast}$ and the Picard sequence of iterates ${\{{f}^{n}(x)\}}_{n\in N}$ converges, for every $x\in X$, to ${x}^{\ast}$.
In this section, we first obtain best proximity point theorems for weakly contractive mapping and weakly Kannan mapping in metric spaces. Further, we extend the results to partial metric spaces. The Poperator technique, which changes nonselfmapping to selfmapping, provides a new and simple proof. Many recent results in this area have been improved.
Before giving the main results, we need the following notations and basic facts.
Definition 2.6 [13]
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}$,
In [13], the author proves that any pair $(A,B)$ of nonempty closed convex subsets of a real Hilbert space H satisfies the Pproperty.
In [4], the Pproperty has been weakened to the weak Pproperty. An example that satisfies the Pproperty but not the weak Pproperty can be found there.
Definition 2.7 [4]
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 weak Pproperty if and only if for any ${x}_{1},{x}_{2}\in {A}_{0}$ and ${y}_{1},{y}_{2}\in {B}_{0}$,
Example [4]
Consider $({R}^{2},d)$, where d is the Euclidean distance and the subsets $A=\{(0,0)\}$ and $B=\{y=1+\sqrt{1{x}^{2}}\}$.
Obviously, ${A}_{0}=\{(0,0)\}$, ${B}_{0}=\{(1,1),(1,1)\}$ and $d(A,B)=\sqrt{2}$. Furthermore,
however,
We can see that the pair $(A,B)$ satisfies the weak Pproperty but not the Pproperty.
Firstly, we present the following definitions.
Definition 2.8 Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$. A mapping $f:A\to B$ is said to be weakly contractive provided that
for all $x,y\in A$, where the function $\overline{\alpha}:X\times X\to [0,1)$ holds, for every $0<a<b$, and
Definition 2.9 Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space. A mapping $f:A\to B$ is said to be weakly Kannan if there exists $\overline{\alpha}:X\times X\to [0,1)$ which satisfies for every $0<a\le b$ and for all $x,y\in X$
and
Next we prove the best proximity point theorems for weakly contractive and weakly Kannan mappings in metric spaces.
Theorem 2.10 Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$ such that ${A}_{0}\ne \mathrm{\varnothing}$. Let $T:A\to B$ be a weakly contractive mapping defined as Definition 2.8. Suppose that $T({A}_{0})\subseteq {B}_{0}$ and the pair $(A,B)$ has the weak Pproperty. Then T has a unique best proximity point ${x}^{\ast}\in {A}_{0}$ and the iteration sequence ${\{{x}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$.
Proof We first prove that ${B}_{0}$ is closed. Let $\{{y}_{n}\}\subseteq {B}_{0}$ be a sequence such that ${y}_{n}\to q\in B$. It follows from the weak Pproperty that
as $n,m\to \mathrm{\infty}$, where ${x}_{n},{x}_{m}\in {A}_{0}$ and $d({x}_{n},{y}_{n})=d(A,B)$, $d({x}_{m},{y}_{m})=d(A,B)$. Then $\{{x}_{n}\}$ is a Cauchy sequence so that $\{{x}_{n}\}$ converges strongly to a point $p\in A$. By the continuity of metric d we have $d(p,q)=d(A,B)$, that is, $q\in {B}_{0}$ and hence ${B}_{0}$ is closed.
Let ${\overline{A}}_{0}$ be the closure of ${A}_{0}$; we claim that $T({\overline{A}}_{0})\subseteq {B}_{0}$. In fact, if $x\in {\overline{A}}_{0}\setminus {A}_{0}$, then there exists a sequence $\{{x}_{n}\}\subseteq {A}_{0}$ such that ${x}_{n}\to x$. By the continuity of T and the closedness of ${B}_{0}$ we have $Tx={lim}_{n\to \mathrm{\infty}}T{x}_{n}\in {B}_{0}$. That is $T({\overline{A}}_{0})\subseteq {B}_{0}$.
Define an operator ${P}_{{A}_{0}}:T({\overline{A}}_{0})\to {A}_{0}$, by ${P}_{{A}_{0}}y=\{x\in {A}_{0}:d(x,y)=d(A,B)\}$. Since the pair $(A,B)$ has the weak Pproperty, we have
for any ${x}_{1},{x}_{2}\in {\overline{A}}_{0}$. This shows that ${P}_{{A}_{0}}T:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a weak contraction from complete metric subspace ${\overline{A}}_{0}$ into itself. Using Theorem 2.2, we can see that ${P}_{{A}_{0}}T$ has a unique fixed point ${x}^{\ast}$. That is, ${P}_{{A}_{0}}T{x}^{\ast}={x}^{\ast}\in {A}_{0}$, which implies that
Therefore, ${x}^{\ast}$ is the unique one in ${A}_{0}$ such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. It is easy to see that ${x}^{\ast}$ is also the unique one in A such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. The Picard iteration sequence
converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$. The iteration sequence ${\{{x}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
is exactly the subsequence of $\{{x}_{n}\}$, so that it converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$. This completes the proof. □
Theorem 2.11 Let $(A,B)$ be a pair of nonempty closed subsets of a complete metric space $(X,d)$ such that ${A}_{0}\ne \mathrm{\varnothing}$. Let $T:A\to B$ be a continuous weakly Kannan mapping defined as Definition 2.9. Suppose that $T({A}_{0})\subseteq {B}_{0}$ and the pair $(A,B)$ has the weak Pproperty. Then T has a unique best proximity point ${x}^{\ast}\in {A}_{0}$ and the iteration sequence ${\{{x}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$.
Proof The closedness of ${B}_{0}$ and $T({\overline{A}}_{0})\subseteq {B}_{0}$ have been proved in Theorem 2.10. Now we define an operator ${P}_{{A}_{0}}:T({\overline{A}}_{0})\to {A}_{0}$, by ${P}_{{A}_{0}}y=\{x\in {A}_{0}:d(x,y)=d(A,B)\}$. Since the pair $(A,B)$ has weak Pproperty, we have
for any ${x}_{1},{x}_{2}\in {\overline{A}}_{0}$. This shows that ${P}_{{A}_{0}}T:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a weakly Kannan mapping from complete metric subspace ${\overline{A}}_{0}$ into itself. Using Theorem 2.5, we can see that ${P}_{{A}_{0}}T$ a unique fixed point ${x}^{\ast}$. That is, ${P}_{{A}_{0}}T{x}^{\ast}={x}^{\ast}\in {A}_{0}$, which implies that
Therefore, ${x}^{\ast}$ is the unique one in ${A}_{0}$ such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. It is easy to see that ${x}^{\ast}$ is also the unique one in A such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. The Picard iteration sequence
converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$. Since the iteration sequence ${\{{x}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
is exactly the subsequence of $\{{x}_{n}\}$, it converges, for every ${x}_{0}\in {A}_{0}$, to ${x}^{\ast}$. This completes the proof. □
Example 2.12 Let $X={R}^{2}$, $A=\{(1,y):y\ge 0\}$, $B=\{(0,y):y\ge 0\}$, and define $f:A\to B$ as follows:
We have ${A}_{0}=A\ne \mathrm{\varnothing}$, ${B}_{0}=B$, $f({A}_{0})\subseteq {B}_{0}$. It is obvious that $(A,B)$ satisfy the Pproperty so it must satisfy the weakly Pproperty. Meanwhile
where
That is, f is a weakly contractive mapping. All conditions of Theorem 2.10 hold, the conclusion of Theorem 2.10 is also correct, that is, f has a unique best proximity point ${z}^{\ast}=(1,0)\in {A}_{0}$ such that $d({z}^{\ast},f({z}^{\ast}))=d((1,0),(0,0))=1=d(A,B)$. On the other hand, it is obvious that the iteration sequence ${\{{z}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
converges, for every ${z}_{0}\in {A}_{0}$, to ${z}^{\ast}$, since
In fact, from ${y}_{2(k+1)}=\frac{{y}_{2k}^{2}}{{y}_{2k}+1}$ we know that ${y}_{2(k+1)}\le {y}_{2k}$, so there exists a number ${y}^{\ast}$ such that ${y}_{2k}\to {y}^{\ast}$. Furthermore, ${y}^{\ast}=\frac{{({y}^{\ast})}^{2}}{{y}^{\ast}+1}$ and hence ${y}^{\ast}=0$.
Example 2.13 Let $X={R}^{2}$, $A=\{(1,y),y\ge 0\}$, $B=\{(0,y),y\ge 0\}$. For $y\ge 0$, $z\ge 0$, we have the following equivalence relations:
We define a function $f:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ as follows:
From the above equivalence relations, we get
Therefore, we define a mapping $T:A\to B$ as follows:
We have ${A}_{0}=A\ne \mathrm{\varnothing}$, ${B}_{0}=B$, $T({A}_{0})\subseteq {B}_{0}$. It is obvious that $(A,B)$ satisfy the Pproperty and so must satisfy the weakly Pproperty. Meanwhile the following inequality holds:
where $\overline{\alpha}(y,h)=\frac{y+h+2}{(y+h+3)}$. That is, T is a continuous weakly Kannan mapping. All conditions of Theorem 2.11 hold, the conclusion of Theorem 2.11 is also correct, that is, T has a unique best proximity point ${z}^{\ast}=(1,0)\in {A}_{0}$ such that $d({z}^{\ast},T({z}^{\ast}))=d((1,0),(0,0))=1=d(A,B)$. On the other hand, it is obvious that the iteration sequence ${\{{z}_{2k}\}}_{n=0}^{\mathrm{\infty}}$ defined by
converges, for every ${z}_{0}\in {A}_{0}$, to ${z}^{\ast}$, since ${z}_{2(k+1)}=(1,\frac{1}{3}\sqrt{{({y}_{2k}f({y}_{2k}))}^{2}+1}1)\to (1,0)$.
3 Generalized BPPT for generalized contractions
Definition 3.1 [3]
A mapping $T:A\to B$ is said to be a proximal contraction of the first kind if there exists a nonnegative number $\alpha <1$ such that
for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$.
Recently in [9], AminiHarandi et al. introduced the following new class of proximal contractions and proved the following result.
Definition 3.2 [9]
A mapping $T:A\to B$ is said to be a $(\phi ,g)$contraction if
for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$, where $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is a function obeying the following conditions:
and $g:A\to A$ is a mapping. If g is the identity operator, $T:A\to B$ is said to be a φcontraction.
Definition 3.3 An element x in A is said to be a best proximity point of the mapping $T:A\to B$ if it satisfies the condition that $d(x,Tx)=d(A,B)$.
Theorem 3.4 [9]
Let A and B be nonempty closed subsets of a complete metric space $(X,d)$ such that B is approximately compact with respect to A. Moreover, assume that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $T:A\to B$ and $g:A\to A$ satisfy the following conditions.

(a)
T is a $(\phi ,g)$proximal contraction,

(b)
$T({A}_{0})\subseteq {B}_{0}$,

(c)
g is a onetoone continuous map such that ${g}^{1}:g(A)\to A$ is uniformly continuous,

(d)
${A}_{0}\subseteq g({A}_{0})$.
Then there exists a unique element $x\in A$ such that $d(g(x),Tx)=d(A,B)$. Further, for any fixed element $x\in {A}_{0}$, the sequence $\{{x}_{n}\}$ defined by $d(g({x}_{n+}),T{x}_{n})=d(A,B)$ converges to x.
The purpose of this section is to improve the result of AminiHarandi et al. by using a new simple method of proof without the hypothesis of approximate compactness to B.
The following lemma is important for our results, which is actually a generalized Banach’s fixed point theorem.
Lemma 3.5 Let A be a subset of a complete metric space $(X,d)$, and let $T:X\to X$ a continuous mapping with conditions
and $T(A)\subseteq A$, where $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is a function obeying the following conditions:
Then for any fixed element ${x}_{0}\in X$, the sequence $\{{x}_{n}\}$ defined by ${x}_{n+1}=T{x}_{n}$ converges to a point $x\in \overline{A}$. Further, x is a fixed point of T.
Proof We claim that $\{{x}_{n}\}$ is a Cauchy sequence. Suppose, to the contrary, that $\{{x}_{n}\}$ is not a Cauchy sequence. Then there exist ${\epsilon}_{0}>0$ and two subsequences of integers $\{{n}_{k}\}$, $\{{m}_{k}\}$ such that
Since $d({x}_{n},{x}_{n+1})\to 0$ ($n\to \mathrm{\infty}$) is obvious, we may also assume
by choosing ${m}_{k}$ to be the smallest number exceeding ${n}_{k}$ for which (3.1) holds. From (3.1) and (3.2) we have
Taking the limit as $k\to \mathrm{\infty}$, we get
By the triangle inequality
Taking the suplimit as $k\to \mathrm{\infty}$, we get
a contradiction. Therefore $\{{x}_{n}\}$ is a Cauchy sequence. Since X is complete, there exists $x\in X$ such that ${x}_{n}\to x$. It is obvious from the continuity of T and $d({x}_{n},T{x}_{n})\to 0$ that x is a fixed point of T. This completes the proof. □
Now, we are ready to state our main result in this section.
Theorem 3.6 Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $T:A\to B$ and $g:A\to A$ satisfy the following conditions.

(a)
g is a onetoone continuous map such that ${g}^{1}:g(A)\to A$ is uniformly continuous;

(b)
T is a $(\phi ,g)$contraction with $T({A}_{0})\subset {B}_{0}$.
Then there exists a unique element ${x}^{\ast}\in A$ such that $d(g({x}^{\ast}),T{x}^{\ast})=d(A,B)$. Further, for any fixed element ${x}_{0}\in {A}_{0}$, the sequence defined by $d(g({x}_{n+1}),T{x}_{n})=d(A,B)$, converges to ${x}^{\ast}$.
Proof Let
It is obvious that $D(x,y)$ is a metric on the A. Now we prove $(A,D)$ is a complete metric space. Let $\{{x}_{n}\}\subseteq (A,D)$ be a Cauchy sequence, we have
Since ${g}^{1}:g(A)\to A$ is uniformly continuous, we have
and hence $\{{x}_{n}\}\subseteq (A,d)$ is a Cauchy sequence. Since $(A,d)$ is a complete metric space, there exists an element $x\in A$ such that $d({x}_{n},x)\to 0$ as $n\to \mathrm{\infty}$. Since g is continuous, we have $D({x}_{n},x)\to 0$ as $n\to \mathrm{\infty}$. This completes the proof of the completeness of $(A,D)$.
For any $x\in {A}_{0}$, from (b) we know $Tx\in {B}_{0}$. Since T is a $(\phi ,g)$contraction, there exists a unique $z\in {A}_{0}$ such that $d(z,Tx)=d(A,B)$. We denote $z={T}_{0}Tx$. Then ${T}_{0}:S({A}_{0})\to {A}_{0}$ is a mapping. Further, we define a composite mapping $u={T}_{0}Tx$ from ${A}_{0}$ into itself. Since T is a $(\phi ,g)$contraction, we have
for any ${x}_{1},{x}_{2}\in {A}_{0}$,
for any ${x}_{1},{x}_{2}\in {A}_{0}$, and
for any ${x}_{1},{x}_{2}\in {A}_{0}$. From the above inequality, we also know that the mapping $u={g}^{1}{T}_{0}Tx$ is continuous on the ${A}_{0}$, so we can expand the definition of $u={g}^{1}{T}_{0}Tx$ onto ${\overline{A}}_{0}$ such that it is still continuous on the ${\overline{A}}_{0}$. By using Lemma 3.5, we know for any fixed element ${x}_{0}\in {A}_{0}$, that the sequence $\{{x}_{n}\}$ defined by
which is equivalent to $d(g({x}_{n+1}),T{x}_{n})=d(A,B)$, converges to a point ${x}^{\ast}\in \overline{A}$. Further, ${x}^{\ast}$ is a fixed point of ${g}^{1}{T}_{0}T$. That is, ${x}^{\ast}={g}^{1}{T}_{0}T{x}^{\ast}$ which is equivalent to $d(g({x}^{\ast}),T{x}^{\ast})=d(A,B)$. Since T is a $(\phi ,g)$contraction, this ${x}^{\ast}$ is unique. This completes the proof. □
Corollary 3.7 Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $T:A\to B$ and $g:A\to A$ satisfy the following conditions.

(a)
g is a onetoone continuous map such that ${g}^{1}:g(A)\to A$ is uniformly continuous;

(b)
T is a proximal contraction of the first kind with $T({A}_{0})\subset {B}_{0}$.
Then there exists a unique element ${x}^{\ast}\in A$ such that $d(g({x}^{\ast}),T{x}^{\ast})=d(A,B)$. Further, for any fixed element ${x}_{0}\in {A}_{0}$, the sequence defined by $d(g({x}_{n+1}),T{x}_{n})=d(A,B)$ converges to ${x}^{\ast}$.
Corollary 3.8 Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $T:A\to B$ be is a φcontraction with $T({A}_{0})\subset {B}_{0}$. Then there exists a unique best proximity point ${x}^{\ast}\in A$ of T. Further, for any fixed element ${x}_{0}\in {A}_{0}$, the sequence defined by $d({x}_{n+1},T{x}_{n})=d(A,B)$ converges to ${x}^{\ast}$.
Remark 3.9 In Theorem 3.6, we do not need the hypothesis of approximate compactness to B. Therefore, Theorem 3.6 improved substantially the results of Theorem 3.4. On the other hand, the method of proof is also different.
4 BPPT for proximal cyclic contraction mappings
Definition 4.1 [1]
Given nonselfmappings $S:A\to B$ and $T:B\to A$, the pair $(S,T)$ is said to form a proximal cyclic contraction if there exists a nonnegative number $\alpha <1$ such that
for all $u,x\in A$ and $v,y\in B$.
Definition 4.2 [1]
A mapping $S:A\to B$ is said to be a proximal contraction of the first kind if there exists a nonnegative number $\alpha <1$ such that
for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$.
Definition 4.3 An element x in A is said to be a best proximity point of the mapping $S:A\to B$ if it satisfies the condition that $d(x,Sx)=d(A,B)$.
In [1], the author proved the following result, a generalized best proximity point theorem for nonselfproximal contractions of the first kind.
Theorem 4.4 [1]
Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $S:A\to B$, $T:B\to A$ and $g:A\cup B\to A\cup B$ satisfy the following conditions.

(a)
S and T are proximal contractions of the first kind.

(b)
$S({A}_{0})\subset {B}_{0}$ and $T({B}_{0})\subset {A}_{0}$.

(c)
The pair $(S,T)$ forms a proximal cyclic contraction.

(d)
g is an isometry.

(e)
${A}_{0}\subset g({A}_{0})$ and ${B}_{0}\subset g({B}_{0})$.
Then there exist a unique element x in A and a unique element y in B satisfying the conditions that
Further, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by
converges to the element x. For any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by
converges to the element y.
On the other hand, a sequence $\{{u}_{n}\}$ of elements in A converges to x if there is a sequence $\{{\epsilon}_{n}\}$ of positive numbers for which ${lim}_{n\to \mathrm{\infty}}{\epsilon}_{n}=0$, $d({u}_{n+1},{z}_{n+1})\le {\epsilon}_{n}$, where ${z}_{n+1}\in A$ satisfies the condition that $d({z}_{n+1},S{u}_{n})=d(A,B)$.
In 1973, Geraghty introduced the Geraghtycontraction and obtained Theorem 4.6.
Definition 4.5 [14]
Let $(X,d)$ be a metric space. A mapping $T:X\to X$ is said to be a Geraghtycontraction if there exists $\beta \in \Gamma $ such that for any $x,y\in X$
where the class Γ denotes those functions $\beta :[0,\mathrm{\infty})\to [0,1)$ satisfying the following condition:
Theorem 4.6 [14]
Let $(X,d)$ be a complete metric space and $T:X\to X$ be a Geraghtycontraction. Then T has a unique fixed point ${x}^{\ast}$ and, for any ${x}_{0}\in X$, the iterative sequence ${x}_{n+1}=T{x}_{n}$ converges to ${x}^{\ast}$.
Definition 4.7 [2]
A mapping $S:A\to B$ is called Geraghty’s proximal contraction of the first kind if there exists $\beta \in \Gamma $ such that
for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$.
In [2], the authors proved the following result.
Theorem 4.8 [2]
Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $S:A\to B$, $T:B\to A$, and $g:A\cup B\to A\cup B$ satisfy the following conditions.

(a)
S, T are Geraghty’s proximal contractions of the first kind.

(b)
$S({A}_{0})\subset {B}_{0}$ and $T({B}_{0})\subset {A}_{0}$.

(c)
The pair $(S,T)$ forms a proximal cyclic contraction.

(d)
g is an isometry.

(e)
${A}_{0}\subset g({A}_{0})$ and ${B}_{0}\subset g({B}_{0})$.
Then there exist a unique element ${x}^{\ast}$ in A and a unique element ${y}^{\ast}$ in B satisfying the conditions that
Further, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by
converges to the element ${x}^{\ast}$. For any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by
converges to the element ${y}^{\ast}$.
On the other hand, a sequence $\{{u}_{n}\}$ of elements in A converges to x if there is a sequence $\{{\epsilon}_{n}\}$ of positive numbers for which ${lim}_{n\to \mathrm{\infty}}{\epsilon}_{n}=0$, $d({u}_{n+1},{z}_{n+1})\le {\epsilon}_{n}$, where ${z}_{n+1}\in A$ satisfies the condition that $d({z}_{n+1},S{u}_{n})=d(A,B)$.
The purpose of this section is to prove best proximity point theorems for proximal cyclic contractions and weakly proximal contractions by using the new method of proof. Our results improve and extend the recent results of some others. Meanwhile, we point out a mistake in Theorem 4.8.
Theorem 4.9 Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $S:A\to B$, $T:B\to A$, and $g:A\cup B\to A\cup B$ satisfy the following conditions.

(a)
S, T are Geraghty’s proximal contractions of the first kind.

(b)
$S({A}_{0})\subset {B}_{0}$ and $T({B}_{0})\subset {A}_{0}$.

(c)
The pair $(S,T)$ forms a proximal cyclic contraction.

(d)
g is an isometry.

(e)
${A}_{0}\subset g({A}_{0})$ and ${B}_{0}\subset g({B}_{0})$.
Then there exist a unique element ${x}^{\ast}$ in A and a unique element ${y}^{\ast}$ in B satisfying the conditions that
Further, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by
converges to the element ${x}^{\ast}$. For any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by
converges to the element ${y}^{\ast}$.
On the other hand, assume $\beta (t)\le \alpha <1$. Then a sequence $\{{u}_{n}\}$ of elements in A converges to ${x}^{\ast}$ if there is a sequence $\{{\epsilon}_{n}\}$ of positive numbers for which ${lim}_{n\to \mathrm{\infty}}{\epsilon}_{n}=0$, $d({u}_{n+1},{z}_{n+1})\le {\epsilon}_{n}$, where ${z}_{n+1}\in A$ satisfies the condition that $d(g{z}_{n+1},S{u}_{n})=d(A,B)$.
Proof For any $x\in {A}_{0}$, from (b) we know $Sx\in {B}_{0}$. Since S is a Geraghtycontraction, there exists a unique $z\in {A}_{0}$ such that $d(z,Sx)=d(A,B)$. We denote $z={S}_{0}Sx$. Then ${S}_{0}:S({A}_{0})\to {A}_{0}$ is a mapping. Further, we define a composite mapping $u={g}^{1}{S}_{0}Sx$ from ${A}_{0}$ into itself. Since S is a Geraghtycontraction, we have
for any ${x}_{1},{x}_{2}\in {A}_{0}$. From the above inequality, we also know that the mapping $u={g}^{1}{S}_{0}Sx$ is continuous, so we can expand the definition of $u={g}^{1}{S}_{0}Sx$ onto ${\overline{A}}_{0}$. Because we do not need the continuity of function $\beta (t)$, we define another function $\overline{\beta}(t):[0,\mathrm{\infty})\to [0,1)$ as follows:
It is easy to see $\overline{\beta}(t)\in \Gamma $. From (4.1) we get
for any ${x}_{1},{x}_{2}\in {\overline{A}}_{0}$. From (4.2) we know ${g}^{1}{S}_{0}S:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a Geraghtycontraction. By using Theorem 4.6, we claim ${g}^{1}{S}_{0}S$ has a unique fixed point ${x}^{\ast}$ in ${\overline{A}}_{0}$, that is, ${x}^{\ast}={g}^{1}{S}_{0}S{x}^{\ast}$, which implies $g{x}^{\ast}={S}_{0}S{x}^{\ast}$ and hence $d(g{x}^{\ast},S{x}^{\ast})=d(A,B)$. By using the same method, we can prove that there exists a unique element ${y}^{\ast}$ in ${\overline{B}}_{0}$ such that $d(g{y}^{\ast},T{y}^{\ast})=d(A,B)$. On the other hand, from (c) we have
which implies $d({x}^{\ast},{y}^{\ast})\le d(A,B)$ and hence $d({x}^{\ast},{y}^{\ast})=d(A,B)$.
Since ${g}^{1}{S}_{0}S$ is a Geraghtycontraction, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by ${x}_{n+1}={g}^{1}{S}_{0}S{x}_{n}$ converges to the element ${x}^{\ast}$. This sequence $\{{x}_{n}\}$ also is defined by $d(g{x}_{n+1},S{x}_{n})=d(A,B)$. For the same reason, for any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by ${y}_{n+1}={g}^{1}{T}_{0}T{x}_{n}$, converges to the element ${y}^{\ast}$. This sequence $\{{y}_{n}\}$ also is defined by $d(g{y}_{n+1},T{y}_{n})=d(A,B)$.
Finally, $d(g{z}_{n+1},S{u}_{n})=d(A,B)\iff {z}_{n+1}={g}^{1}{S}_{0}S{u}_{n}$, which gives us
It is easy to prove $d({x}_{n+1},{u}_{n+1})\to 0$ which implies ${u}_{n}\to {x}^{\ast}$. This completes the proof. □
Remark 4.10 If $\beta (t)\equiv \alpha <1$, then Theorem 4.9 yields Theorem 4.4.
Remark 4.11 In the reference [2], from line 15 to line 20 on page 7, the following argument is wrong, so the final conclusion of Theorem 1.8 is not correct.
The wrong argument For any $\epsilon >0$, choose a positive integer N such that ${\epsilon}_{n}\le \epsilon $ for all $n>N$. Observe that
Since ε is arbitrary, we can conclude that for all $n\ge N$ the sequence $\{d({x}_{n},{u}_{n})\}$ is nonincreasing and bounded below and hence converges to some nonnegative real number r.
Counterexample Let
then
and, for any $\epsilon >0$, we can choose a positive integer N such that $\frac{1}{n+1}\le \epsilon $ for all $n>N$, and hence
But ${d}_{n}$ is not nonincreasing and ${d}_{n}\to \mathrm{\infty}$ as $n\to \mathrm{\infty}$.
Next we prove the best proximal point theorem for a weakly proximal contractive mapping.
Definition 4.12 Let A and B be nonempty subsets of a complete metric space. A mapping $S:A\to B$ is called weak proximal contraction if
for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$, where for the function $\overline{\alpha}:X\times X\to [0,1)$ we have, for every $0<a<b$,
Theorem 4.13 Let A and B be nonempty closed subsets of a complete metric space such that ${A}_{0}$ and ${B}_{0}$ are nonempty. Let $S:A\to B$, $T:B\to A$ and $g:A\cup B\to A\cup B$ satisfy the following conditions.

(a)
S, T are weakly proximal contractions.

(b)
$S({A}_{0})\subset {B}_{0}$ and $T({B}_{0})\subset {A}_{0}$.

(c)
The pair $(S,T)$ forms a proximal cyclic contraction.

(d)
g is an isometry.

(e)
${A}_{0}\subset g({A}_{0})$ and ${B}_{0}\subset g({B}_{0})$.
Then there exist a unique element ${x}^{\ast}$ in A and a unique element ${y}^{\ast}$ in B satisfying the conditions that
Further, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by
converges to the element ${x}^{\ast}$. For any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by
converges to the element ${y}^{\ast}$.
On the other hand, assume $\overline{\alpha}(x,y)\le \alpha <1$. Then a sequence $\{{u}_{n}\}$ of elements in A converges to ${x}^{\ast}$ if there is a sequence $\{{\epsilon}_{n}\}$ of positive numbers for which ${lim}_{n\to \mathrm{\infty}}{\epsilon}_{n}=0$, $d({u}_{n+1},{z}_{n+1})\le {\epsilon}_{n}$, where ${z}_{n+1}\in A$ satisfies the condition that $d(g{z}_{n+1},S{u}_{n})=d(A,B)$.
Proof For any $x\in {A}_{0}$, from (b) we know $Sx\in {B}_{0}$. Since S is a weakly contractive mapping, there exists a unique $z\in {A}_{0}$ such that $d(z,Sx)=d(A,B)$. We denote $z={S}_{0}Sx$. Then ${S}_{0}:S({A}_{0})\to {A}_{0}$ is a mapping. Further, we define a composite mapping $u={g}^{1}{S}_{0}Sx$ from ${A}_{0}$ into itself. Since S is a weakly contractive mapping, then we have
for any ${x}_{1},{x}_{2}\in {A}_{0}$. From above inequality, we also know the mapping $u={g}^{1}{S}_{0}Sx$ is continuous, so we can expand the definition of $u={g}^{1}{S}_{0}Sx$ onto ${\overline{A}}_{0}$. From the above inequality we know that ${g}^{1}{S}_{0}S:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a weak contractive mapping. By using Theorem 2.2, we claim that ${g}^{1}{S}_{0}S$ has a unique fixed point ${x}^{\ast}$ in ${\overline{A}}_{0}$, that is, ${x}^{\ast}={g}^{1}{S}_{0}S{x}^{\ast}$, which implies $g{x}^{\ast}={S}_{0}S{x}^{\ast}$ and hence $d(g{x}^{\ast},S{x}^{\ast})=d(A,B)$. By using the same method, we can prove that there exists a unique element ${y}^{\ast}$ in ${\overline{B}}_{0}$ such that $d(g{y}^{\ast},T{y}^{\ast})=d(A,B)$. On the other hand, from (c) we have
which implies $d({x}^{\ast},{y}^{\ast})\le d(A,B)$ and hence $d({x}^{\ast},{y}^{\ast})=d(A,B)$.
Since ${g}^{1}{S}_{0}S$ is a weak contractive mapping, for any fixed element ${x}_{0}$ in ${A}_{0}$, the sequence $\{{x}_{n}\}$, defined by ${x}_{n+1}={g}^{1}{S}_{0}S{x}_{n}$ converges to the element ${x}^{\ast}$. This sequence $\{{x}_{n}\}$ also is defined by $d(g{x}_{n+1},S{x}_{n})=d(A,B)$. By the same reason, for any fixed element ${y}_{0}$ in ${B}_{0}$, the sequence $\{{y}_{n}\}$, defined by ${y}_{n+1}={g}^{1}{T}_{0}T{x}_{n}$ converges to the element ${y}^{\ast}$. This sequence $\{{y}_{n}\}$ also is defined by $d(g{y}_{n+1},T{y}_{n})=d(A,B)$.
Finally, $d(g{z}_{n+1},S{u}_{n})=d(A,B)\iff {z}_{n+1}={g}^{1}{S}_{0}S{u}_{n}$, which gives us
It is easy to prove $d({x}_{n+1},{u}_{n+1})\to 0$, which implies ${u}_{n}\to {x}^{\ast}$, This completes the proof. □
References
 1.
Sadiq Basha S: Best proximity point theorems generalizing the contraction principle. Nonlinear Anal. 2011, 74: 5844–5850. 10.1016/j.na.2011.04.017
 2.
Mongkolkeha C, Cho YJ, Kumam P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 180
 3.
Dugundji J, Granas A: Weakly contractive mappings and elementary domain invariance theorem. Bull. Soc. Math. Grèce 1978, 19: 141–151.
 4.
Zhang J, Su Y, Cheng Q: A note on ‘A best proximity point theorem for Geraghtycontractions’. Fixed Point Theory Appl. 2013., 2013: Article ID 99
 5.
Alghamdi MA, Alghamdi MA, Shahzad N: Best proximity point results in geodesic metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 164
 6.
Nashine HK, Kumam P, Vetro C: Best proximity point theorems for rational proximal contractions. Fixed Point Theory Appl. 2013., 2013: Article ID 95
 7.
Karapinar E: On best proximity point of ψ Geraghty contractions. Fixed Point Theory Appl. 2013., 2013: Article ID 200
 8.
Zhang J, Su Y, Cheng Q: Best proximity point theorems for generalized contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 83
 9.
AminiHarandi A, Hussain N, Akbar F: Best proximity point results for generalized contractions in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 164
 10.
Zhang J, Su Y: Best proximity point theorems for weakly contractive mapping and weakly Kannan mapping in partial metric spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 50
 11.
Kannan R: Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60: 71–76.
 12.
ArizaRuiz D, JimenezMelando A: A continuation method for weakly Kannan mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 321594
 13.
Kirk WA, Reich S, Veeramani P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 2003, 24: 851–862. 10.1081/NFA120026380
 14.
Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608. 10.1090/S00029939197303341765
 15.
Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 93
 16.
Kumam P, Aydi H, Karapinar E, Sintunavarat W: Best proximity points and extension of MizoguchiTakahashi’s fixed point theorems. Fixed Point Theory Appl. 2013., 2013: Article ID 242
 17.
Karapinar E, Sintunavarat W: The existence of an optimal approximate solution theorems for generalized proximal contraction nonself mappings and applications. Fixed Point Theory Appl. 2013., 2013: Article ID 323
 18.
Sintunavarat W, Kumam P: The existence theorems of an optimal approximate solution for generalized proximal contraction mappings. Abstr. Appl. Anal. 2013., 2013: Article ID 375604
Acknowledgements
This project is supported by the National Natural Science Foundation of China under grant (11071279).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
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
 best proximity point
 weak Pproperty
 weakly contractive mapping
 generalized best proximity point
 proximal cyclic contraction