# A new method for the research of best proximity point theorems of nonlinear mappings

- Yaqiong Sun
^{1}, - Yongfu Su
^{1}Email author and - Jingling Zhang
^{1}

**2014**:116

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

© Sun et al.; licensee Springer. 2014

**Received: **1 January 2014

**Accepted: **8 April 2014

**Published: **12 May 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 *P*-operator technique, which changes non-self-mapping to self-mapping, 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.

## Keywords

*P*-propertyweakly contractive mappinggeneralized best proximity pointproximal cyclic contraction

## 1 Introduction and preliminaries

Several problems can be changed to equations of the form $Tx=x$, where *T* is a given self-mapping 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 non-self-mapping 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 self-mapping. 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.

*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 well-known 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]

*weakly contractive*provided 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]

*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$

**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 *P*-operator technique, which changes non-self-mapping to self-mapping, 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]

*P*-

*property*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 *P*-property.

In [4], the *P*-property has been weakened to the weak *P*-property. An example that satisfies the *P*-property but not the weak *P*-property can be found there.

**Definition 2.7** [4]

*weak*

*P*-

*property*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}}\}$.

We can see that the pair $(A,B)$ satisfies the weak *P*-property but not the *P*-property.

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

**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$

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*

*P*-

*property*.

*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

*P*-property 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}$.

*P*-property, we have

*A*such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. The Picard iteration sequence

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*

*P*-

*property*.

*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

*P*-property, we have

*A*such that $d({x}^{\ast},T{x}^{\ast})=d(A,B)$. The Picard iteration sequence

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:

*P*-property so it must satisfy the weakly

*P*-property. Meanwhile

*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

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:

*P*-property and so must satisfy the weakly

*P*-property. Meanwhile the following inequality holds:

*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]

for all ${u}_{1},{u}_{2},{x}_{1},{x}_{2}\in A$.

Recently in [9], Amini-Harandi *et al.* introduced the following new class of proximal contractions and proved the following result.

**Definition 3.2** [9]

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 one*-*to*-*one 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 Amini-Harandi *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

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 one*-*to*-*one 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

*A*. Now we prove $(A,D)$ is a complete metric space. Let $\{{x}_{n}\}\subseteq (A,D)$ be a Cauchy sequence, 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)$.

*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

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 one*-*to*-*one 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]

for all $u,x\in A$ and $v,y\in B$.

**Definition 4.2** [1]

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 non-self-proximal 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 Geraghty-contraction and obtained Theorem 4.6.

**Definition 4.5** [14]

*Geraghty*-

*contraction*if there exists $\beta \in \Gamma $ such that for any $x,y\in X$

*Γ*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 Geraghty*-*contraction*. *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]

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 Geraghty-contraction, 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 Geraghty-contraction, 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 Geraghty-contraction, 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)$.

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 non-negative real number *r*.

**Counter-example**Let

*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

**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

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)$.

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. □

## Declarations

### Acknowledgements

This project is supported by the National Natural Science Foundation of China under grant (11071279).

## Authors’ Affiliations

## References

- Sadiq Basha S: Best proximity point theorems generalizing the contraction principle.
*Nonlinear Anal.*2011, 74: 5844–5850. 10.1016/j.na.2011.04.017View ArticleMathSciNetMATHGoogle Scholar - Mongkolkeha C, Cho YJ, Kumam P: Best proximity points for Geraghty’s proximal contraction mappings.
*Fixed Point Theory Appl.*2013., 2013: Article ID 180Google Scholar - Dugundji J, Granas A: Weakly contractive mappings and elementary domain invariance theorem.
*Bull. Soc. Math. Grèce*1978, 19: 141–151.MathSciNetMATHGoogle Scholar - Zhang J, Su Y, Cheng Q: A note on ‘A best proximity point theorem for Geraghty-contractions’.
*Fixed Point Theory Appl.*2013., 2013: Article ID 99Google Scholar - Alghamdi MA, Alghamdi MA, Shahzad N: Best proximity point results in geodesic metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 164Google Scholar - Nashine HK, Kumam P, Vetro C: Best proximity point theorems for rational proximal contractions.
*Fixed Point Theory Appl.*2013., 2013: Article ID 95Google Scholar - Karapinar E: On best proximity point of
*ψ*-Geraghty contractions.*Fixed Point Theory Appl.*2013., 2013: Article ID 200Google Scholar - 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 83Google Scholar - Amini-Harandi A, Hussain N, Akbar F: Best proximity point results for generalized contractions in metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 164Google Scholar - 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 50Google Scholar - Kannan R: Some results on fixed points.
*Bull. Calcutta Math. Soc.*1968, 60: 71–76.MathSciNetMATHGoogle Scholar - Ariza-Ruiz D, Jimenez-Melando A: A continuation method for weakly Kannan mappings.
*Fixed Point Theory Appl.*2010., 2010: Article ID 321594Google Scholar - Kirk WA, Reich S, Veeramani P: Proximinal retracts and best proximity pair theorems.
*Numer. Funct. Anal. Optim.*2003, 24: 851–862. 10.1081/NFA-120026380View ArticleMathSciNetMATHGoogle Scholar - Geraghty M: On contractive mappings.
*Proc. Am. Math. Soc.*1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5View ArticleMathSciNetMATHGoogle Scholar - Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 93Google Scholar - Kumam P, Aydi H, Karapinar E, Sintunavarat W: Best proximity points and extension of Mizoguchi-Takahashi’s fixed point theorems.
*Fixed Point Theory Appl.*2013., 2013: Article ID 242Google Scholar - Karapinar E, Sintunavarat W: The existence of an optimal approximate solution theorems for generalized proximal contraction non-self mappings and applications.
*Fixed Point Theory Appl.*2013., 2013: Article ID 323Google Scholar - Sintunavarat W, Kumam P: The existence theorems of an optimal approximate solution for generalized proximal contraction mappings.
*Abstr. Appl. Anal.*2013., 2013: Article ID 375604Google 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 credited.