• Research
• Open Access

Further generalized contraction mapping principle and best proximity theorem in metric spaces

Fixed Point Theory and Applications20152015:120

https://doi.org/10.1186/s13663-015-0373-7

• Accepted: 30 June 2015
• Published:

Abstract

The aim of this paper is to prove a more generalized contraction mapping principle. By using this more generalized contraction mapping principle, a further generalized best proximity theorem was established. Some concrete results have been derived by using the above two theorems. The results of this paper improve many important results published recently in the literature.

Keywords

• contraction mapping principle
• complete metric spaces
• fixed point
• best proximity theorem

1 Introduction

The Banach contraction mapping principle is a classical and powerful tool in nonlinear analysis. Weak contractions are generalizations of Banach contraction mapping which have been studied by several authors, and in particular some types of weak contractions in complete metric spaces were introduced in [1]. Let T be a self-map of a metric space $$(X, d)$$ and $$\phi: [0,+\infty)\rightarrow [0,+\infty)$$ be a function. We say that T is a ϕ-contraction if
$$d(Tx,Ty)\leq\phi\bigl(d(x,y)\bigr), \quad \forall x,y\in X.$$
In 1968, Browder [2] proved that if ϕ is nondecreasing and right continuous, and $$(X,d)$$ is complete, then T has a unique fixed point $$x^{*}$$ and $$\lim_{n\rightarrow+\infty}T^{n}x_{0}=x^{*}$$ for any given $$x_{0} \in X$$. Subsequently, his result was extended in 1969 by Boyd and Wong [3] by weakening the hypothesis on ϕ where it suffices to assume that ϕ is right upper semi-continuous (not necessarily monotonic). For a comprehensive study of relations between several contractive conditions, see [4, 5].

In 1973, Geraghty [6] introduced the Geraghty-contraction and obtained the fixed point theorem.

Definition 1.1

Let $$(X, d)$$ be a metric space. A mapping $$T : X \rightarrow X$$ is said to be a Geraghty-contraction if there exists $$\beta\in{ \varGamma }$$ such that for any $$x, y \in X$$,
$$d(Tx, Ty) \leq\beta\bigl(d(x, y)\bigr)d(x,y),$$
where the class Γ denotes those functions $$\beta: [0,+\infty)\rightarrow[0,+\infty)$$ satisfying the following condition: $$\beta(t_{n})\rightarrow1 \Rightarrow t_{n}\rightarrow0$$.

Theorem 1.2

([6])

Let $$(X, d)$$ be a complete metric space and $$T : X \rightarrow X$$ be a Geraghty-contraction. Then T has a unique fixed point $$x^{*}$$ and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to $$x^{*}$$.

In 2012, Samet et al. [7] defined the notion of α-admissible mappings as follows.

Definition 1.3

([7])

Let $$\alpha: X\times X\rightarrow[0,+\infty)$$ be a function. We say that a self-mapping $$T:X\rightarrow X$$ is α-admissible if
$$x,y \in X, \quad \alpha(x,y)\geq1 \quad \Rightarrow\quad \alpha(Tx,Ty)\geq1.$$
By using this concept, they proved some fixed point results.

Theorem 1.4

([7])

Let $$(X, d)$$ be a complete metric space and $$T : X \rightarrow X$$ be an α-admissible mapping. Assume that the following conditions hold:
1. (i)
for all $$x, y \in X$$, we have
$$\alpha(x,y)d(Tx,Ty)\leq \psi(x,y),$$
where $$\psi:[0,+\infty)\rightarrow[0,+\infty)$$ is a nondecreasing function such that
$$\sum_{n=1}^{+\infty}\psi^{n}(t)< + \infty,\quad \forall t>0;$$

2. (ii)

there exists $$x_{0} \in X$$ such that $$\alpha(x_{0},Tx_{0})\geq1$$;

3. (iii)

either T is continuous or for any sequence $$\{x_{n}\}$$ in X with $$\alpha(x_{n},x_{n+1})\geq1$$ for all $$n\geq0$$ and $$x_{n}\rightarrow x$$ as $$n\rightarrow+\infty$$, then $$\alpha(x_{n},x)\geq1$$.

Then T has a fixed point.

In particular, existence of a fixed point for weak contractions and generalized contractions was extended to partially ordered metric spaces in [1, 819]. Among them, some involve altering distance functions. Such functions were introduced by Khan et al. in [20], where they presented some fixed point theorems with the help of such functions. We recall the definition of altering distance function.

Definition 1.5

An altering distance function is a function $$\psi:[0,\infty)\rightarrow[0,\infty)$$ which satisfies
1. (a)

ψ is continuous and nondecreasing;

2. (b)

$$\psi=0$$ if and only if $$t=0$$.

Recently, Harjani and Sadarangani proved some fixed point theorems for weak contraction and generalized contractions in partially ordered metric spaces by using the altering distance function in [11, 19] respectively. Their results improve the theorems of [8].

Theorem 1.6

([11])

Let $$(X,\leq)$$ be a partially ordered set and suppose that there exists a metric $$d\in X$$ such that $$(X,d)$$ is a complete metric space. Let $$f:X\rightarrow X$$ be a continuous and nondecreasing mapping such that
$$d\bigl(f(x),f(y)\bigr)\leq d(x,y)-\psi\bigl(d(x,y)\bigr) \quad \textit{for }x \geq y,$$
where $$\psi:[0,\infty)\rightarrow[0,\infty)$$ is a continuous and nondecreasing function such that ψ is positive in $$(0,\infty)$$, $$\psi(0)=0$$ and $$\lim_{t\rightarrow \infty}\psi(t)=\infty$$. If there exists $$x_{0}\in X$$ with $$x_{0}\leq f(x_{0})$$, then f has a fixed point.

Theorem 1.7

([19])

Let $$(X,\leq)$$ be a partially ordered set and suppose that there exists a metric $$d\in X$$ such that $$(X,d)$$ is a complete metric space. Let $$f:X\rightarrow X$$ be a continuous and nondecreasing mapping such that
$$\psi d\bigl(f(x),f(y)\bigr)\leq\psi\bigl(d(x,y)\bigr)-\phi\bigl(d(x,y)\bigr) \quad \textit{for }x\geq y,$$
where ψ and ϕ are altering distance functions. If there exists $$x_{0}\in X$$ with $$x_{0}\leq f(x_{0})$$, then f has a fixed point.

Subsequently, Amini-Harandi and Emami proved another fixed point theorem for contraction type maps in partially ordered metric spaces in [10]. The following class of functions is used in [10].

Theorem 1.8

([10])

Let $$(X,\leq)$$ be a partially ordered set and suppose that there exists a metric d such that $$(X,d)$$ is a complete metric space. Let $$f:X\rightarrow X$$ be an increasing mapping such that there exists an element $$x_{0}\in X$$ with $$x_{0}\leq f(x_{0})$$. Suppose that there exists $$\beta \in{ \varGamma }$$ such that
$$d\bigl(f(x),f(y)\bigr)\leq\beta\bigl(d(x,y)\bigr)d(x,y)\quad \textit{for each }x,y \in X\textit{ with } x\geq y.$$
Assume that either f is continuous or X is such that if an increasing sequence $${x_{n}}\rightarrow x \in X$$, then $$x_{n}\leq x$$, 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.

In 2012, Yan et al. proved the following result.

Theorem 1.9

([1])

Let X be a partially ordered set and suppose that there exists a metric d in x such that $$(X,d)$$ is a complete metric space. Let $$T:X\rightarrow X$$ be a continuous and nondecreasing mapping such that
$$\psi\bigl(d(Tx,Ty)\bigr)\leq\phi\bigl(d(x,y)\bigr), \quad \forall x\geq y,$$
where ψ is an altering distance function and $$\phi:[0,\infty)\rightarrow[0,\infty)$$ is a continuous function with the condition $$\psi(t)>\phi(t)$$ for all $$t>0$$. If there exists $$x_{0}\in X$$ such that $$x_{0}\leq Tx_{0}$$, then T has a fixed point.

Several problems can be changed as 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, it is worth consideration to find 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 since 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 [2134]).

Let A, B be two nonempty subsets of a complete metric space and consider a mapping $$T:A\rightarrow B$$. The best proximity point problem is whether we can find an element $$x_{0}\in A$$ such that $$d(x_{0},Tx_{0})=\min\{d(x,Tx): x\in A\}$$. Since $$d(x,Tx)\geq 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)$$ is 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:
\begin{aligned}& A_{0}=\bigl\{ x\in A: d(x,y)=d(A,B) \mbox{ for some } y\in B \bigr\} , \\& B_{0}=\bigl\{ y\in B: d(x,y)=d(A,B) \mbox{ for some } x\in A \bigr\} , \end{aligned}
where $$d(A,B)=\inf\{d(x,y): x\in A \mbox{ and } y\in B \}$$.

It is interesting to note 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$$ [28, 29].

Definition 1.10

([33])

Let $$(A,B)$$ be a pair of nonempty subsets of a metric space $$(X,d)$$ with $$A_{0}\neq \emptyset$$. Then the pair $$(A,B)$$ 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}$$,
$$\left \{ \textstyle\begin{array}{l} d(x_{1},y_{1})=d(A,B), \\ d(x_{2},y_{2})=d(A,B) \end{array}\displaystyle \right . \quad \Rightarrow\quad d(x_{1},x_{2})=d(y_{1},y_{2}).$$

In [14], the authors proved that any pair $$(A,B)$$ of nonempty closed convex subsets of a real Hilbert space H satisfies the P-property.

In [28], P-property was weakened to weak P-property and an example satisfying P-property but not weak P-property can be found there.

Definition 1.11

([28])

Let $$(A,B)$$ be a pair of nonempty subsets of a metric space $$(X,d)$$ with $$A_{0}\neq \emptyset$$. Then the pair $$(A,B)$$ is said to have the weak P-property if and only if for any $$x_{1},x_{2}\in A_{0}$$ and $$y_{1},y_{2}\in B_{0}$$,
$$\left \{ \textstyle\begin{array}{l} d(x_{1},y_{1})=d(A,B), \\ d(x_{2},y_{2})=d(A,B) \end{array}\displaystyle \right . \quad \Rightarrow\quad d(x_{1},x_{2}) \leq d(y_{1},y_{2}).$$

Example

([28])

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,
$$d\bigl( (0,0),(-1,1) \bigr)=d\bigl( (0,0),(1,1) \bigr)=\sqrt{2};$$
however,
$$0=d\bigl( (0,0),(0,0) \bigr)< d\bigl( (-1,1),(1,1) \bigr)=2.$$
We can see that the pair $$(A,B)$$ satisfies the weak P-property but not the P-property.

Definition 1.12

([34])

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$. A mapping $$f: A\rightarrow B$$ is said to be weakly contractive provided that
$$d\bigl(f(x),f(y)\bigr)\leq\bar{\alpha}(x,y)d(x,y)$$
for all $$x,y\in A$$, where the function $$\bar{\alpha}: X\times X\rightarrow[0,1)$$ holds, for every $$0< a< b$$, that
$$\theta(a,b)=\sup\bigl\{ \bar{\alpha}(x,y): a\leq d(x,y) \leq b\bigr\} < 1.$$

Theorem 1.13

([34])

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$ such that $$A_{0}\neq\emptyset$$. Let $$T: A\rightarrow B$$ be a weakly contractive mapping defined as in Definition  1.12. 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^{*}\in A_{0}$$ and the iteration sequence $$\{x_{2k} \}_{n=0}^{\infty}$$ defined by
$$x_{2k+1}=Tx_{2k}, \qquad d(x_{2k+2}, x_{2k+1})=d(A,B), \quad k=0,1,2, \ldots$$
converges, for every $$x_{0}\in A_{0}$$, to $$x^{*}$$.

The aim of this paper is to prove a further generalized contraction mapping principle. By using this further generalized contraction mapping principle, the authors prove a further generalized best proximity theorem. Some concrete results are derived by using the above two theorems. The results of this paper modify and improve many other important recent results.

2 Further generalized contraction mapping principle

In what follows, we prove the following theorem which generalizes many related results in the literature.

Theorem 2.1

Let $$(X,d)$$ be a complete metric space. Let $$T:X\rightarrow X$$ be a mapping such that
$$\psi\bigl(d(Tx,Ty)\bigr)\leq\phi\bigl(d(x,y)\bigr),\quad \forall x, y \in X,$$
(2.1)
where $$\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)$$ are two functions with the conditions:
\begin{aligned} (1) &\quad \psi(a)\leq\phi(b) \quad \Rightarrow\quad a \leq b; \\ (2) &\quad \left \{ \textstyle\begin{array}{l} \psi(a_{n})\leq\phi(b_{n}), \\ a_{n}\rightarrow\varepsilon,\qquad b_{n}\rightarrow\varepsilon \end{array}\displaystyle \right .\quad \Rightarrow \quad \varepsilon=0. \end{aligned}
Then T has a unique fixed point and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to this fixed point.

Proof

For any given $$x_{0} \in X$$, we define an iterative sequence as follows:
$$x_{1}= Tx_{0},\qquad x_{2}= Tx_{1}, \qquad \ldots ,\qquad x_{n+1}= Tx_{n}, \qquad \ldots.$$
(2.2)
Then, for each integer $$n\geq1$$, from (2.1) and (2.2) we get
$$\psi\bigl(d(x_{n+1},x_{n})\bigr)=\psi\bigl(d(Tx_{n},Tx_{n-1}) \bigr)\leq\phi \bigl(d(x_{n},x_{n-1})\bigr).$$
(2.3)
Using condition (1) we have
$$d(x_{n+1},x_{n})\leq d(x_{n},x_{n-1})$$
for all $$n\geq1$$. Hence the sequence $${d(x_{n+1},x_{n})}$$ is nonincreasing and, consequently, there exists $$r\geq0$$ such that
$$d(x_{n+1},x_{n})\rightarrow r$$
as $$n\rightarrow\infty$$. By using condition (2) we know $$r=0$$.
In what follows, we show that $$\{x_{n}\}$$ is a Cauchy sequence. Suppose that $$\{x_{n}\}$$ is not a Cauchy sequence. Then there exists $$\varepsilon>0$$ for which we can find subsequences $$\{x_{n_{k}}\}$$, $$\{ x_{m_{k}}\}$$ with $$n_{k}> m_{k}>k$$ such that
$$d(x_{n_{k}},x_{m_{k}})\geq\varepsilon$$
(2.4)
for all $$k\geq1$$. Further, corresponding to $$m_{k}$$ we can choose $$n_{k}$$ in such a way that it is the smallest integer with $$n_{k}>m_{k}$$ satisfying (2.4). Then
$$d(x_{n_{k}-1},x_{m_{k}})< \varepsilon.$$
(2.5)
From (2.4) and (2.5), we have
$$\varepsilon\leq d(x_{n_{k}},x_{m_{k}}) \leq d(x_{n_{k}},x_{n_{k}-1})+d(x_{n_{k}-1},x_{m_{k}}) < d(x_{n_{k}},x_{n_{k}-1})+\varepsilon.$$
Letting $$k\rightarrow\infty$$, we get
$$\lim_{k\rightarrow\infty}d(x_{n_{k}},x_{m_{k}})= \varepsilon.$$
(2.6)
By using the triangular inequality, we have
\begin{aligned}& d(x_{n_{k}},x_{m_{k}})\leq d(x_{n_{k}},x_{n_{k}-1})+d(x_{n_{k}-1},x_{m_{k}-1})+d(x_{m_{k}-1},x_{m_{k}}), \\& d(x_{n_{k}-1},x_{m_{k}-1})\leq d(x_{n_{k}-1},x_{n_{k}})+d(x_{n_{k}},x_{m_{k}})+d(x_{m_{k}},x_{m_{k}-1}). \end{aligned}
Letting $$k\rightarrow\infty$$ in the above two inequalities and applying (2.6), we have
$$\lim_{k\rightarrow\infty}d(x_{n_{k}-1},x_{m_{k}-1})=\varepsilon.$$
Since
$$\psi\bigl(d(x_{n_{k}},x_{m_{k}})\bigr)\leq\phi \bigl(d(x_{n_{k}-1},x_{m_{k}-1})\bigr).$$
By using condition (2) we know $$\varepsilon=0$$, which is a contradiction. This shows that $$\{x_{n}\}$$ is a Cauchy sequence and, since X is a complete metric space, there exists $$z\in X$$ such that $$x_{n}\rightarrow z$$ as $$n\rightarrow\infty$$. From (2.1) and (2.2) we have
$$\psi\bigl(d(x_{n},Tz)\bigr)\leq\phi\bigl(d(x_{n-1},z)\bigr).$$
By using condition (1) we get
$$d(x_{n},Tz)\leq d(x_{n-1}, z),$$
so that $$d(x_{n},Tz)\rightarrow0$$, as $$n\rightarrow+\infty$$. Therefore
$$d(z,Tz)\leq d(x_{n},z)+d(x_{n},Tz) \rightarrow0$$
as $$n\rightarrow+\infty$$. This implies $$z=Tz$$ and proves that z is a fixed point. Next we prove the uniqueness of the fixed point. Assume that there exist two fixed points z and w. Then from (2.1) we have that
$$\psi\bigl(d(z,w)\bigr)= \psi\bigl(d(Tz,Tw)\bigr)\leq\phi\bigl(d(z,w)\bigr),$$
by using condition (2) we know $$d(z,w)=0$$ and hence $$z=w$$. This completes the proof. □

Example 2.2

The following functions satisfy conditions (1) and (2) of Theorem 2.1:
\begin{aligned} (\mathrm{a}) &\quad \textstyle\begin{cases} \psi_{1}(t)=t, \\ \phi_{1}(t)=\alpha t, \end{cases}\displaystyle \end{aligned}
where $$0<\alpha<1$$ is a constant;
\begin{aligned} (\mathrm{b}) &\quad \textstyle\begin{cases} \psi_{2}(t)=t^{2}, \\ \phi_{2}(t)=\ln(t^{2}+1); \end{cases}\displaystyle \end{aligned}
\begin{aligned} (\mathrm{c})&\quad \textstyle\begin{cases} \psi_{3}(t)=t, \\ \phi_{3}(t)= \textstyle\begin{cases} t^{2}, & 0\leq t\leq \frac{1}{2}, \\ t-\frac{3}{8}, & \frac{1}{2}< t< +\infty; \end{cases}\displaystyle \displaystyle \displaystyle \end{cases}\displaystyle \displaystyle \displaystyle \end{aligned}
\begin{aligned} (\mathrm{d})&\quad \textstyle\begin{cases} \psi_{4}(t)= \textstyle\begin{cases} t, & 0\leq t\leq1, \\ t-\frac{1}{2}, & 1< t< +\infty, \end{cases}\displaystyle \displaystyle \displaystyle \\ \phi_{4}(t)= \textstyle\begin{cases} \frac{t}{2}, & 0\leq t \leq1, \\ t-\frac{4}{5}, & 1< t< +\infty; \end{cases}\displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \end{cases}\displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \end{aligned}
\begin{aligned} (\mathrm{e})&\quad \textstyle\begin{cases} \psi_{5}(t)= \textstyle\begin{cases} t, & 0\leq t< 1, \\ \alpha t^{2}, & 1\leq t< +\infty, \end{cases}\displaystyle \displaystyle \displaystyle \\ \phi_{5}(t)= \textstyle\begin{cases} t^{2}, & 0\leq t< 1, \\ \beta t, & 1\leq t< +\infty, \end{cases}\displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \end{cases}\displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \displaystyle \end{aligned}
where $$0<\beta< \alpha$$ are constants.

If we choose $$\psi_{5}(t)$$, $$\phi_{5}(t)$$ in Theorem 2.1, then we can get the following result.

Theorem 2.3

Let $$(X,d)$$ be a complete metric space. Let $$T:X\rightarrow X$$ be a mapping such that
\begin{aligned}& 0\leq d(Tx,Ty)< 1\quad \Rightarrow\quad d(Tx,Ty)\leq\bigl(d(x,y) \bigr)^{2}, \\& d(Tx,Ty)\geq1\quad \Rightarrow\quad \alpha\bigl(d(Tx,Ty)\bigr)^{2}\leq \beta d(x,y) \end{aligned}
for any $$x,y \in X$$. Then T has a unique fixed point and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to this fixed point.

If we choose $$\psi_{4}(t)$$, $$\phi_{4}(t)$$ in Theorem 2.1, then we can get the following result.

Theorem 2.4

Let $$(X,d)$$ be a complete metric space. Let $$T:X\rightarrow X$$ be a mapping such that
\begin{aligned}& 0\leq d(Tx,Ty)\leq1 \quad \Rightarrow \quad d(Tx,Ty)\leq\frac{1}{2}d(x,y), \\& 1< d(Tx,Ty) \quad \Rightarrow\quad d(Tx,Ty)\leq d(x,y)-\frac {3}{10} \end{aligned}
for any $$x,y \in X$$. Then T has a unique fixed point and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to this fixed point.

If we choose $$\psi_{3}(t)$$, $$\phi_{3}(t)$$ in Theorem 2.1, then we can get the following result.

Theorem 2.5

Let $$(X,d)$$ be a complete metric space. Let $$T:X\rightarrow X$$ be a mapping such that
\begin{aligned}& 0\leq d(x,y)\leq\frac{1}{2} \quad \Rightarrow\quad d(Tx,Ty)\leq \bigl(d(x,y)\bigr)^{2}, \\& \frac{1}{2}< d(x,y) \quad \Rightarrow\quad d(Tx,Ty)\leq d(x,y)- \frac{3}{8} \end{aligned}
for any $$x,y \in X$$. Then T has a unique fixed point and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to this fixed point.

It is easy to prove the following conclusion and corollary.

Corollary 2.6

Let $$\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)$$ be two functions with the conditions:
1. (i)

$$\psi(0)=\phi(0)$$;

2. (ii)

$$\psi(t)>\phi(t)$$, $$\forall t>0$$;

3. (iii)

ψ is lower semi-continuous, ϕ is upper semi-continuous.

Then $$\psi(t)$$, $$\phi(t)$$ satisfy conditions (1) and (2).

Corollary 2.7

Let $$(X,d)$$ be a complete metric space. Let $$T:X\rightarrow X$$ be a mapping such that
$$\psi\bigl(d(Tx,Ty)\bigr)\leq\phi\bigl(d(x,y)\bigr),\quad \forall x, y \in X,$$
where $$\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)$$ are two functions with the conditions (i), (ii) and (iii). Then T has a unique fixed point, and for any given $$x_{0} \in X$$, the iterative sequence $$T^{n}x_{0}$$ converges to this fixed point.

3 Further generalized best proximity point theorems

Before giving our main results, we first introduce the notion of $$(\varphi,\psi)$$-P-property.

Definition 3.1

Let $$(A,B)$$ be a pair of nonempty subsets of a metric space $$(X,d)$$ with $$A_{0}\neq\emptyset$$. Then the pair $$(A,B)$$ is said to have the $$(\psi,\varphi)$$-P-property if and only if for any $$x_{1},x_{2}\in A_{0}$$ and $$y_{1},y_{2}\in B_{0}$$,
$$\left \{ \textstyle\begin{array}{l} d(x_{1},y_{1})=d(A,B) \\ d(x_{2},y_{2})=d(A,B) \end{array}\displaystyle \quad \Rightarrow\quad \psi\bigl( d(x_{1},x_{2})\bigr) \leq\varphi\bigl( d(y_{1},y_{2}) \bigr), \right .$$
where $$\psi, \varphi: [0, +\infty) \rightarrow[0, +\infty)$$ are two functions.

Theorem 3.2

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$ such that $$A_{0}\neq\emptyset$$. Let $$\psi, \varphi, \phi: [0, +\infty) \rightarrow[0, +\infty)$$ be three functions with the conditions:
\begin{aligned} (1)&\quad \psi(a)\leq\phi(b)\quad \Rightarrow \quad a \leq b; \\ (2)&\quad \left \{ \textstyle\begin{array}{l} \psi(a_{n})\leq\phi(b_{n}), \\ a_{n}\rightarrow\varepsilon, \qquad b_{n}\rightarrow\varepsilon \end{array}\displaystyle \right .\quad \Rightarrow\quad \varepsilon=0; \\ (3)&\quad \psi(t_{n})\rightarrow0 \quad \Rightarrow\quad t_{n}\rightarrow0; \\ (4)&\quad t_{n}\rightarrow0\quad \Rightarrow \quad \varphi(t_{n})\rightarrow 0 ; \\ (5)&\quad \varphi(a)\leq\phi(b)\quad \Rightarrow\quad a \leq b. \end{aligned}
Let $$T: A\rightarrow B$$ be a mapping such that
$$\varphi\bigl(d(Tx,Ty)\bigr)\leq\phi\bigl(d(x,y)\bigr),\quad \forall x, y \in A.$$
(3.1)
Suppose that the pair $$(A,B)$$ has the $$(\psi,\varphi)$$-P-property and $$T(A_{0})\subseteq B_{0}$$. Then there exists a unique $$x^{*}$$ in A such that $$d(x^{*},Tx^{*})=d(A,B)$$.

Proof

We first prove that $$B_{0}$$ is closed. Let $$\{y_{n}\} \subseteq B_{0}$$ be a sequence such that $$y_{n} \rightarrow q \in B$$. It follows from the $$(\psi,\varphi)$$-P-property that
$$\varphi\bigl( d(y_{n},y_{m})\bigr)\rightarrow0 \quad \Rightarrow\quad \psi\bigl( d(x_{n},x_{m})\bigr) \rightarrow0$$
as $$n,m\rightarrow\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)$$. This together with conditions (3) and (4) implies that $$\{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}\rightarrow x$$. From (3.1) and condition (5) we have
$$d(Tx,Ty)\leq d(x,y),\quad \forall x, y \in A.$$
This together with the closedness of $$B_{0}$$ implies that $$Tx=\lim_{n\rightarrow\infty}Tx_{n} \in B_{0}$$. That is, $$T(\overline{A}_{0}) \subseteq B_{0}$$.
Define an operator $$P_{A_{0}}: T(\overline{A}_{0})\rightarrow A_{0}$$ by $$P_{A_{0}}y=\{x\in A_{0}: d(x,y)=d(A,B)\}$$. Since the pair $$(A,B)$$ has the $$(\psi,\varphi)$$-P-property and T satisfies condition (3.1), we have
$$\psi\bigl(d(P_{A_{0}}Tx_{1},P_{A_{0}}Tx_{2}) \bigr)\leq\varphi\bigl( d(Tx_{1},Tx_{2})\bigr)\leq\phi \bigl( d(x_{1},x_{2})\bigr)$$
for any $$x_{1},x_{2} \in\overline{A}_{0}$$. This shows that $$P_{A_{0}}T: \overline{A}_{0} \rightarrow\overline{A}_{0}$$ is a mapping from a complete metric subspace $$\overline{A}_{0}$$ into itself, and it satisfies the conditions of Theorem 2.1. By using Theorem 2.1, we can get that $$P_{A_{0}}T$$ has a unique fixed point $$x^{*}$$. That is, $$P_{A_{0}}Tx^{*}=x^{*}\in A_{0}$$. It implies that
$$d\bigl(x^{*},Tx^{*}\bigr)=d(A,B).$$
Therefore, $$x^{*}$$ is the unique element in $$A_{0}$$ such that $$d(x^{*},Tx^{*})=d(A,B)$$. It is easy to see that $$x^{*}$$ is also the unique one in A such that $$d(x^{*},Tx^{*})=d(A,B)$$. □

Theorem 3.3

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$ such that $$A_{0}\neq\emptyset$$. Let $$\psi, \phi: [0, +\infty) \rightarrow[0, +\infty)$$ be two functions with the conditions:
\begin{aligned} (1)&\quad \psi(a)\leq\phi(b) \quad \Rightarrow\quad a \leq b; \\ (2)&\quad \left \{ \textstyle\begin{array}{l} \psi(a_{n})\leq\phi(b_{n}), \\ a_{n}\rightarrow\varepsilon,\qquad b_{n}\rightarrow\varepsilon \end{array}\displaystyle \right .\quad \Rightarrow\quad \varepsilon=0; \\ (3)&\quad \psi(t_{n})\rightarrow0 \quad \Leftrightarrow\quad t_{n}\rightarrow 0 \end{aligned}
and $$\psi(t)$$ is nondecreasing. Let $$T: A\rightarrow B$$ be a mapping such that
$$\psi\bigl(d(Tx,Ty)\bigr)\leq\phi\bigl(d(x,y)\bigr), \quad \forall x, y \in A.$$
(3.2)
Suppose that the pair $$(A,B)$$ has the weak P-property and $$T(A_{0})\subseteq B_{0}$$. Then there exists a unique $$x^{*}$$ in A such that $$d(x^{*},Tx^{*})=d(A,B)$$.

Proof

Let $$\varphi(t)=\psi(t)$$ for all $$t \in [0,+\infty)$$. Then the pair $$(A,B)$$ having the weak P-property implies that the pair $$(A,B)$$ has the $$(\psi,\varphi)$$-P-property. Condition (3) of Theorem 3.3 implies conditions (3), (4) of Theorem 3.2 and (3.2) implies (3.1). By using Theorem 3.2 we get the conclusion of Theorem 3.3. □

If we choose $$\psi_{3}(t)$$, $$\phi_{3}(t)$$ in Theorem 3.3, then we can get the following result.

Theorem 3.4

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$ such that $$A_{0}\neq\emptyset$$. Let $$T:A\rightarrow B$$ be a mapping such that
\begin{aligned}& 0\leq d(x,y)\leq\frac{1}{2} \quad \Rightarrow \quad d(Tx,Ty)\leq \bigl(d(x,y)\bigr)^{2}, \\& \frac{1}{2}< d(x,y) \quad \Rightarrow \quad d(Tx,Ty)\leq d(x,y)- \frac{3}{8} \end{aligned}
for any $$x,y \in A$$. Suppose that the pair $$(A,B)$$ has the weak P-property and $$T(A_{0})\subseteq B_{0}$$. Then there exists a unique $$x^{*}$$ in A such that $$d(x^{*},Tx^{*})=d(A,B)$$.

If we choose $$\psi_{4}(t)$$, $$\phi_{4}(t)$$ in Theorem 3.3, then we can get the following result.

Theorem 3.5

Let $$(A,B)$$ be a pair of nonempty closed subsets of a complete metric space $$(X,d)$$ such that $$A_{0}\neq\emptyset$$. Let $$T:A\rightarrow B$$ be a mapping such that
\begin{aligned}& 0\leq d(Tx,Ty)\leq1 \quad \Rightarrow \quad d(Tx,Ty)\leq\frac{1}{2}d(x,y), \\& 1< d(Tx,Ty) \quad \Rightarrow\quad d(Tx,Ty)\leq d(x,y)-\frac {3}{10} \end{aligned}
for any $$x,y \in X$$. Suppose that the pair $$(A,B)$$ has the weak P-property and $$T(A_{0})\subseteq B_{0}$$. Then there exists a unique $$x^{*}$$ in A such that $$d(x^{*},Tx^{*})=d(A,B)$$.

Example 3.6

Let $$X=R^{2}$$ and
\begin{aligned}& A=\bigl\{ (0,y)\in R^{2}: 0\leq y \leq1 \mbox{ or } y=-n^{2}, n=2,3, \ldots\bigr\} , \\& B=\biggl\{ (1,y)\in R^{2}: 0\leq y \leq1 \mbox{ or } -\infty< y \leq-4+ \frac {3}{10}\biggr\} . \end{aligned}
It is easy to see that
\begin{aligned}& A_{0}=\bigl\{ (0,y)\in R^{2}: 0\leq y \leq1\bigr\} , \\& B_{0}=\bigl\{ (1,y)\in R^{2}: 0\leq y \leq1\bigr\} . \end{aligned}
Let $$T:A\rightarrow B$$ be defined by
$$T(0,y)= \textstyle\begin{cases} (1,\frac{y}{2})& \mbox{if } 0 \leq y \leq1, \\ (1, -n^{2}+\frac{3n}{10}) & \mbox{if } y=-n^{2}, n=2,3, \ldots . \end{cases}$$
It is obvious that A, B are closed sets of $$R^{2}$$, $$A_{0}\neq\emptyset$$, the pair $$(A,B)$$ has the weak P-property and $$T(A_{0})\subset B_{0}$$. On the other hand, from the definition of T, it is not hard to see that
\begin{aligned}& 0\leq\bigl\vert T(0,x)-T(0,y)\bigr\vert \leq1 \quad \Rightarrow\quad \bigl\vert T(0,x)-T(0,y)\bigr\vert = \frac {1}{2}\bigl\vert (0,x)-(0,y)\bigr\vert , \\& 1< \bigl\vert T(0,x)-T(0,y)\bigr\vert \quad \Rightarrow\quad \bigl\vert T(0,x)-T (0,y)\bigr\vert \leq\bigl\vert (0,x)-(0,y)\bigr\vert - \frac{3}{10} \end{aligned}
for all $$(0,x), (0,y) \in A$$. Therefore, by using Theorem 3.5, there exists a unique $$x^{*}=(0,0)$$ in A such that $$d(x^{*},Tx^{*})=d(A,B)=1$$, where $$Tx^{*}=(1,0)$$. Note that the above mapping T is a further generalized contraction, but not a contraction. In fact, for any $$(0,-n^{2}), (0,-m^{2})\in A$$, $$m>n$$, we have
$$\bigl\vert T\bigl(0,-n^{2}\bigr)- T\bigl(0,-m^{2}\bigr) \bigr\vert =m^{2}-\frac{3m}{10}-n^{2}+ \frac{3n}{10},$$
hence
$$\frac{|T(0,-n^{2})- T(0,-m^{2})|}{|(0,-n^{2})-(0,m^{2})|}=1+\frac{3}{10}\frac {m-n}{(m+n)(m-n)}\rightarrow1$$
as $$m,n\rightarrow+\infty$$.

Declarations

Acknowledgements

The second author was partially supported by the grant MOST 103-2923-E-037-001-MY3.

Authors’ Affiliations

(1)
Department of Mathematics, Tianjin Polytechnic University, Tianjin, 300387, China
(2)
Center for General Education, China Medical University, Taichung, 40402, Taiwan
(3)
Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia

References

1. Yan, F, Su, Y, Feng, Q: A new contraction mapping principle in partially ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2012, 152 (2012)
2. Browder, FE: On the convergence of successive approximations for nonlinear functional equations. Proc. K. Ned. Akad. Wet., Ser. A, Indag. Math. 30, 27-35 (1968)
3. Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969)
4. Jachymski, J: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 125, 2327-2335 (1997)
5. Jachymski, J, Jóźwik, I: Nonlinear contractive conditions: a comparison and related problems. In: Fixed Point Theory and Its Applications. Banach Center Publ., vol. 77, pp. 123-146. Polish Acad. Sci., Warsaw (2007)
6. Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604-608 (1973)
7. Samet, B, Vetro, C, Vetro, P: Fixed point theorem for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154-2165 (2012)
8. Dhutta, P, Choudhury, B: A generalization of contractions in partially ordered metric spaces. Appl. Anal. 87, 109-116 (2008)
9. Sastry, K, Babu, G: Some fixed point theorems by altering distance between the points. Indian J. Pure Appl. Math. 30, 641-647 (1999)
10. 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. 72, 2238-2242 (2010)
11. Harjani, J, Sadarangni, K: Fixed point theorems for weakly contraction mappings in partially ordered sets. Nonlinear Anal. 71, 3403-3410 (2009)
12. Burgic, D, Kalabusic, S, Kulenovic, M: Global attractivity results for mixed monotone mappings in partially ordered complete metric spaces. Fixed Point Theory Appl. 2009, Article ID 762478 (2009)
13. Ciric, L, Cakid, N, Rajovic, M, Uma, J: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008, Article ID 131294 (2008)
14. Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379-1393 (2006)
15. Lakshmikantham, V, Ciric, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 4341-4349 (2009)
16. Nieto, JJ, Rodriguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223-239 (2005)
17. Nieto, JJ, Rodriguez-López, R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 23, 2205-2212 (2007)
18. O’Regan, D, Petrusel, A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 341, 1241-1252 (2008)
19. Harjani, J, Sadarangni, K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 72, 1188-1197 (2010)
20. Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30(1), 1-9 (1984)
21. Sadiq Basha, S: Best proximity point theorems generalizing the contraction principle. Nonlinear Anal. 74, 5844-5850 (2011)
22. Mongkolkeha, C, Cho, YJ, Kumam, P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013, 180 (2013)
23. Dugundji, J, Granas, A: Weakly contractive mappings and elementary domain invariance theorem. Bull. Greek Math. Soc. 19, 141-151 (1978)
24. Alghamdi, MA, Alghamdi, MA, Shahzad, S: Best proximity point results in geodesic metric spaces. Fixed Point Theory Appl. 2013, 164 (2013)
25. Nashine, HK, Kumam, P, Vetro, C: Best proximity point theorems for rational proximal contractions. Fixed Point Theory Appl. 2013, 95 (2013)
26. Karapinar, E: On best proximity point of ψ-Geraghty contractions. Fixed Point Theory Appl. 2013, 200 (2013)
27. Zhang, J, Su, Y, Cheng, Q: Best proximity point theorems for generalized contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2013, 83 (2013)
28. Zhang, J, Su, Y, Cheng, Q: A note on ‘A best proximity point theorem for Geraghty-contractions’. Fixed Point Theory Appl. 2013, 99 (2013)
29. 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, 50 (2014)
30. Amini-Harandi, A, Hussain, N, Akbar, F: Best proximity point results for generalized contractions in metric spaces. Fixed Point Theory Appl. 2013, 164 (2013)
31. Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71-76 (1968)
32. Caballero, J, Harjani, J, Sadarangani, K: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. (2012). doi:10.1186/1687-1812-2012-231
33. Kirk, WA, Reich, S, Veeramani, P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24, 851-862 (2003)
34. Sun, Y, Su, Y, Zhang, J: A new method for the research of best proximity point theorems of nonlinear mappings. Fixed Point Theory Appl. 2014, 116 (2014)