# Best proximity point theorems for generalized contractions in partially ordered metric spaces

## Abstract

The purpose of this paper is to obtain four best proximity point theorems for generalized contractions in partially ordered metric spaces. Further, our P-operator technique, which changes a non-self mapping to a self-mapping, plays an important role. Some recent results in this area have been improved.

MSC:47H05, 47H09, 47H10.

## 1 Introduction and preliminaries

Let A and B be nonempty subsets of a metric space $\left(X,d\right)$. An operator $T:A\to B$ is said to be contractive if there exists $k\in \left[0,1\right)$ such that $d\left(Tx,Ty\right)\le kd\left(x,y\right)$ for any $x,y\in A$. The well-known Banach contraction principle is as follows: Let $\left(X,d\right)$ be a complete metric space, and let $T:X\to X$ be a contraction of X into itself. Then T has a unique fixed point in X.

In the sequel, we denote by Γ the functions $\beta :\left[0,\mathrm{\infty }\right)\to \left[0,1\right)$ satisfying the following condition:

$\beta \left({t}_{n}\right)\to 1\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}{t}_{n}\to 0.$

In 1973, Geraghty introduced the Geraghty-contraction and obtained Theorem 1.2 as follows.

Definition 1.1 

Let $\left(X,d\right)$ be a metric space. A mapping $T:X\to X$ is said to be a Geraghty-contraction if there exists $\beta \in \Gamma$ such that for any $x,y\in X$,

$d\left(Tx,Ty\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right).$

Theorem 1.2 

Let $\left(X,d\right)$ be a complete metric space, and let $T:X\to X$ be an operator. Suppose that there exists $\beta \in \Gamma$ such that for any $x,y\in X$,

$d\left(Tx,Ty\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right).$

Then T has a unique fixed point.

Obviously, Theorem 1.2 is an extensive version of the Banach contraction principle. Recently, the generalized contraction principle has been studied by many authors in metric spaces or more generalized metric spaces. Some results have been got in partially ordered metric spaces as follows.

Theorem 1.3 

Let $\left(X,\le \right)$ be a partially ordered set, and suppose that there exists a metric d such that $\left(X,d\right)$ is a complete metric space. Let $f:X\to X$ be an increasing mapping such that there exists an element ${x}_{0}\in X$ with ${x}_{0}\le f\left({x}_{0}\right)$. Suppose that there exists $\beta \in \Gamma$ such that

$d\left(f\left(x\right),f\left(y\right)\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\ge x.$

Assume that either f is continuous or X is such that if an increasing sequence ${x}_{n}\to x\in X$, then ${x}_{n}\le 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.

Theorem 1.4 

Let $\left(X,\le \right)$ be a partially ordered set, and suppose that there exists a metric $d\in X$ such that $\left(X,d\right)$ is a complete metric space. Let $f:X\to X$ be a continuous and nondecreasing mapping such that

$d\left(f\left(x\right),f\left(y\right)\right)\le d\left(x,y\right)-\psi \left(d\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}y\ge x,$

where $\psi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous and nondecreasing function such that ψ is positive in $\left(0,\mathrm{\infty }\right)$, $\psi \left(0\right)=0$ and ${lim}_{t\to \mathrm{\infty }}\psi \left(t\right)=\mathrm{\infty }$. If there exists ${x}_{0}\in X$ with ${x}_{0}\le f\left({x}_{0}\right)$, then f has a fixed point.

Definition 1.5 

An altering distance function is a function $\psi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ which satisfies

1. (i)

ψ is continuous and nondecreasing.

2. (ii)

$\psi \left(t\right)=0$ if and only if $t=0$.

Theorem 1.6 

Let X be a partially ordered set, and suppose that there exists a metric d in X such that $\left(X,d\right)$ is a complete metric space. Let $T:X\to X$ be a continuous and nondecreasing mapping such that

$\psi \left(d\left(Tx,Ty\right)\right)\le \varphi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\ge x,$

where ψ is an altering distance function and $\varphi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous function with the condition $\psi \left(t\right)>\varphi \left(t\right)$ for all $t>0$. If there exists ${x}_{0}\in X$ such that ${x}_{0}\le T{x}_{0}$, then T has a fixed point.

Theorem 1.7 

Let $\left(X,\le \right)$ be a partially ordered set, and suppose that there exists a metric $d\in X$ such that $\left(X,d\right)$ is a complete metric space. Let $f:X\to X$ be a continuous and nondecreasing mapping such that

$\psi \left(d\left(f\left(x\right),f\left(y\right)\right)\right)\le \psi \left(d\left(x,y\right)\right)-\varphi \left(d\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}y\ge x,$

where ψ and ϕ are altering distance functions. If there exists ${x}_{0}\in X$ with ${x}_{0}\le f\left({x}_{0}\right)$, then f has a fixed point.

In 2012, Caballero et al. introduced a generalized Geraghty-contraction as follows.

Definition 1.8 

Let A, B be two nonempty subsets of a metric space $\left(X,d\right)$. A mapping $T:A\to B$ is said to be a Geraghty-contraction if there exists $\beta \in \Gamma$ such that for any $x,y\in A$,

$d\left(Tx,Ty\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right).$

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

In , the authors give sufficient conditions for when the sets ${A}_{0}$ and ${B}_{0}$ are nonempty. In , the authors prove that any pair $\left(A,B\right)$ of nonempty, closed convex subsets of a uniformly convex Banach space satisfies the P-property.

Definition 1.9 

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

$\left\{\begin{array}{c}d\left({x}_{1},{y}_{1}\right)=d\left(A,B\right)\hfill \\ d\left({x}_{2},{y}_{2}\right)=d\left(A,B\right)\hfill \end{array}⇒\phantom{\rule{1em}{0ex}}d\left({x}_{1},{x}_{2}\right)=d\left({y}_{1},{y}_{2}\right).$

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\left({x}_{0},T{x}_{0}\right)=min\left\{d\left(x,Tx\right):x\in A\right\}$. Since $d\left(x,Tx\right)\ge d\left(A,B\right)$ for any $x\in A$, in fact, the optimal solution to this problem is the one for which the value $d\left(A,B\right)$ is attained.

In , the authors give a generalization of Theorem 1.2 by considering a non-self mapping, and they get the following theorem.

Theorem 1.10 

Let $\left(A,B\right)$ be a pair of nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}$ is nonempty. Let $T:A\to B$ be a Geraghty-contraction satisfying $T\left({A}_{0}\right)\subseteq {B}_{0}$. Suppose that the pair $\left(A,B\right)$ has the P-property. Then there exists a unique ${x}^{\ast }$ in A such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$.

Inspired by , the purpose of this paper is to obtain four best proximity point theorems for generalized contractions in partially ordered metric spaces. Further, a series of best proximity point problems can be solved by our P-operator technique, which changes a non-self mapping to a self-mapping. Some recent results in this area have been improved.

## 2 Main results

Before giving our main results, we first introduce the weak P-monotone property.

Weak P-monotone property Let $\left(A,B\right)$ be a pair of nonempty subsets of a partially ordered metric space $\left(X,d\right)$ with ${A}_{0}\ne \mathrm{\varnothing }$. Then the pair $\left(A,B\right)$ is said to have the weak P-monotone property if for any ${x}_{1},{x}_{2}\in {A}_{0}$ and ${y}_{1},{y}_{2}\in {B}_{0}$,

$\left\{\begin{array}{c}d\left({x}_{1},{y}_{1}\right)=d\left(A,B\right)\hfill \\ d\left({x}_{2},{y}_{2}\right)=d\left(A,B\right)\hfill \end{array}⇒\phantom{\rule{1em}{0ex}}d\left({x}_{1},{x}_{2}\right)\le d\left({y}_{1},{y}_{2}\right);$

furthermore, ${y}_{1}\ge {y}_{2}$ implies ${x}_{1}\ge {x}_{2}$.

Now we are in a position to give our main results.

Theorem 2.1 Let $\left(X,\le \right)$ be a partially ordered set, and let $\left(X,d\right)$ be a complete metric space. Let $\left(A,B\right)$ be a pair of nonempty closed subsets of X such that ${A}_{0}\ne \mathrm{\varnothing }$. Let $f:A\to B$ be an increasing mapping with $f\left({A}_{0}\right)\subseteq {B}_{0}$, and let there exist $\beta \in \Gamma$ such that

$d\left(f\left(x\right),f\left(y\right)\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\ge x.$

Assume that either f is continuous or that ${\overline{A}}_{0}$ is such that if an increasing sequence ${x}_{n}\to x\in {\overline{A}}_{0}$, then ${x}_{n}\le x$, n. Suppose that the pair $\left(A,B\right)$ has the weak P-monotone property. And for some ${x}_{0}\in {A}_{0}$, there exists ${\stackrel{ˆ}{x}}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right)$ and ${\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right)$. Besides, if for each $x,y\in {\overline{A}}_{0}$, there exists $z\in {\overline{A}}_{0}$ which is comparable to x and y, then there exists an ${x}^{\ast }$ in A such that $d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right)$.

Proof We first prove that ${B}_{0}$ is closed. Let $\left\{{y}_{n}\right\}\subseteq {B}_{0}$ be a sequence such that ${y}_{n}\to q\in B$. It follows from the weak P-monotone property that

$d\left({y}_{n},{y}_{m}\right)\to 0\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}d\left({x}_{n},{x}_{m}\right)\to 0,$

as $n,m\to \mathrm{\infty }$, where ${x}_{n},{x}_{m}\in {A}_{0}$ and $d\left({x}_{n},{y}_{n}\right)=d\left(A,B\right)$, $d\left({x}_{m},{y}_{m}\right)=d\left(A,B\right)$. Then $\left\{{x}_{n}\right\}$ is a Cauchy sequence so that $\left\{{x}_{n}\right\}$ converges strongly to a point $p\in A$. By the continuity of a metric d, we have $d\left(p,q\right)=d\left(A,B\right)$, 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 $f\left({\overline{A}}_{0}\right)\subseteq {B}_{0}$. In fact, if $x\in {\overline{A}}_{0}\setminus {A}_{0}$, then there exists a sequence $\left\{{x}_{n}\right\}\subseteq {A}_{0}$ such that ${x}_{n}\to x$. By the continuity of f and the closeness of ${B}_{0}$, we have $fx={lim}_{n\to \mathrm{\infty }}f{x}_{n}\in {B}_{0}$. That is, $f\left({\overline{A}}_{0}\right)\subseteq {B}_{0}$.

Define an operator ${P}_{{A}_{0}}:f\left({\overline{A}}_{0}\right)\to {A}_{0}$, by ${P}_{{A}_{0}}y=\left\{x\in {A}_{0}:d\left(x,y\right)=d\left(A,B\right)\right\}$. Since the pair $\left(A,B\right)$ has the weak P-monotone property and f is increasing, we have

$d\left({P}_{{A}_{0}}fx,{P}_{{A}_{0}}fy\right)\le d\left(fx,fy\right)\le \beta \left(d\left(x,y\right)\right)d\left(x,y\right),\phantom{\rule{1em}{0ex}}{P}_{{A}_{0}}fy\ge {P}_{{A}_{0}}fx,$

for any $y\ge x\in {\overline{A}}_{0}$. Obviously, ${P}_{{A}_{0}}f$ is increasing. Let ${x}_{n}$, $x\in {\overline{A}}_{0}$, ${x}_{n}\to x$, when f is continuous, then we have

Then ${P}_{{A}_{0}}f$ is continuous. When ${\overline{A}}_{0}$ is such that if an increasing sequence ${x}_{n}\to x\in {\overline{A}}_{0}$, then ${x}_{n}\le x$ (n), we need not prove the continuity of ${P}_{{A}_{0}}f$. For some ${x}_{0}\in {A}_{0}$, there exists ${\stackrel{ˆ}{x}}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right)$ and ${\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right)$. That is,

$d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right),\phantom{\rule{2em}{0ex}}d\left({P}_{{A}_{0}}f{x}_{0},f{x}_{0}\right)=d\left(A,B\right),\phantom{\rule{1em}{0ex}}{\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right).$

By the weak P-monotone property, we have ${P}_{{A}_{0}}f{x}_{0}\ge {x}_{0}$.

This shows that ${P}_{{A}_{0}}f:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a contraction satisfying all the conditions in Theorem 1.3. Using Theorem 1.3, we can get ${P}_{{A}_{0}}f$ has a unique fixed point ${x}^{\ast }$. That is, ${P}_{{A}_{0}}f{x}^{\ast }={x}^{\ast }\in {A}_{0}$, which implies that

$d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right).$

Therefore, ${x}^{\ast }$ is the unique one in ${A}_{0}$ such that $d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right)$. □

Theorem 2.2 Let $\left(X,\le \right)$ be a partially ordered set, and let $\left(X,d\right)$ be a complete metric space. Let $\left(A,B\right)$ be a pair of nonempty closed subsets of X such that ${A}_{0}\ne \mathrm{\varnothing }$. Let $f:A\to B$ be a continuous and nondecreasing mapping with $f\left({A}_{0}\right)\subseteq {B}_{0}$, and let f satisfy

$d\left(f\left(x\right),f\left(y\right)\right)\le d\left(x,y\right)-\psi \left(d\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}y\ge x,$

where $\psi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous and nondecreasing function such that ψ is positive in $\left(0,\mathrm{\infty }\right)$, $\psi \left(0\right)=0$ and ${lim}_{t\to \mathrm{\infty }}\psi \left(t\right)=\mathrm{\infty }$. Suppose that the pair $\left(A,B\right)$ has the weak P-monotone property. If for some ${x}_{0}\in {A}_{0}$, there exists ${\stackrel{ˆ}{x}}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right)$ and ${\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right)$, then there exists an ${x}^{\ast }$ in A such that $d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right)$.

Proof In Theorem 2.1, we have proved that ${B}_{0}$ is closed and $f\left({\overline{A}}_{0}\right)\subseteq {B}_{0}$. Now we define an operator ${P}_{{A}_{0}}:f\left({\overline{A}}_{0}\right)\to {A}_{0}$ by ${P}_{{A}_{0}}y=\left\{x\in {A}_{0}:d\left(x,y\right)=d\left(A,B\right)\right\}$. Since the pair $\left(A,B\right)$ has the weak P-monotone property, by the definition of f, we have

$d\left({P}_{{A}_{0}}fx,{P}_{{A}_{0}}fy\right)\le d\left(fx,fy\right)\le d\left(x,y\right)-\psi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}{P}_{{A}_{0}}fy\ge {P}_{{A}_{0}}fx,$

for any $y\ge x\in {\overline{A}}_{0}$. Obviously, ${P}_{{A}_{0}}f$ is continuous and nondecreasing. For some ${x}_{0}\in {A}_{0}$, there exists ${\stackrel{ˆ}{x}}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right)$ and ${\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right)$. That is,

$d\left({x}_{0},{\stackrel{ˆ}{x}}_{0}\right)=d\left(A,B\right),\phantom{\rule{2em}{0ex}}d\left({P}_{{A}_{0}}f{x}_{0},f{x}_{0}\right)=d\left(A,B\right),\phantom{\rule{1em}{0ex}}{\stackrel{ˆ}{x}}_{0}\le f\left({x}_{0}\right).$

By the weak P-monotone property, we have ${P}_{{A}_{0}}f{x}_{0}\ge {x}_{0}$.

This shows that ${P}_{{A}_{0}}f:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a contraction satisfying all the conditions in Theorem 1.4. Using Theorem 1.4, we can get ${P}_{{A}_{0}}f$ has a fixed point ${x}^{\ast }$. That is, ${P}_{{A}_{0}}f{x}^{\ast }={x}^{\ast }\in {A}_{0}$, which implies that

$d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right).$

Therefore, ${x}^{\ast }$ is the one in ${A}_{0}$ such that $d\left({x}^{\ast },f{x}^{\ast }\right)=d\left(A,B\right)$. □

Theorem 2.3 Let X be a partially ordered set, and let $\left(X,d\right)$ be a complete metric space. Let $\left(A,B\right)$ be a pair of nonempty closed subsets of X such that ${A}_{0}\ne \mathrm{\varnothing }$. Let $T:A\to B$ be a continuous and nondecreasing mapping with $T\left({A}_{0}\right)\subseteq {B}_{0}$, and let T satisfy

$\psi \left(d\left(Tx,Ty\right)\right)\le \varphi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\ge x,$

where ψ is an altering distance function and $\varphi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous function with the condition $\psi \left(t\right)>\varphi \left(t\right)$ for all $t>0$. Suppose that the pair $\left(A,B\right)$ has the weak P-monotone property. If for some ${x}_{0}\in {A}_{0}$, there exists ${y}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{y}_{0}\right)=d\left(A,B\right)$ and ${y}_{0}\le T{x}_{0}$, then there exists an ${x}^{\ast }$ in A such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$.

Proof In Theorem 2.1, we have proved that ${B}_{0}$ is closed and $f\left({\overline{A}}_{0}\right)\subseteq {B}_{0}$. Define an operator ${P}_{{A}_{0}}:T\left({\overline{A}}_{0}\right)\to {A}_{0}$ by ${P}_{{A}_{0}}y=\left\{x\in {A}_{0}:d\left(x,y\right)=d\left(A,B\right)\right\}$. Since the pair $\left(A,B\right)$ has the weak P-monotone property and ψ is nondecreasing, by the definition of T, we have

$\psi \left(d\left({P}_{{A}_{0}}Tx,{P}_{{A}_{0}}Ty\right)\right)\le \psi \left(d\left(Tx,Ty\right)\right)\le \varphi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}{P}_{{A}_{0}}Ty\ge {P}_{{A}_{0}}Tx,$

for any $y\ge x\in {\overline{A}}_{0}$. Since this shows that ${P}_{{A}_{0}}T$ is continuous and nondecreasing. Because there exist ${x}_{0}\in {A}_{0}$ and ${y}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{y}_{0}\right)=d\left(A,B\right)$ and ${y}_{0}\le T{x}_{0}$, by the weak P-monotone property, we have ${x}_{0}\le {P}_{{A}_{0}}T{x}_{0}$.

This shows that ${P}_{{A}_{0}}T:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a contraction from a complete metric subspace ${\overline{A}}_{0}$ into itself and satisfies all the conditions in Theorem 1.6. Using Theorem 1.6, we can get ${P}_{{A}_{0}}T$ has a fixed point ${x}^{\ast }$. That is, ${P}_{{A}_{0}}T{x}^{\ast }={x}^{\ast }\in {A}_{0}$, which implies that

$d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right).$

Therefore, ${x}^{\ast }$ is the one in ${A}_{0}$ such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$. □

Theorem 2.4 Let $\left(X,\le \right)$ be a partially ordered set, and let $\left(X,d\right)$ be a complete metric space. Let $\left(A,B\right)$ be a pair of nonempty closed subsets of X such that ${A}_{0}\ne \mathrm{\varnothing }$. Let $T:A\to B$ be a continuous and nondecreasing mapping with $T\left({A}_{0}\right)\subseteq {B}_{0}$, and let T satisfy

$\psi \left(d\left(T\left(x\right),T\left(y\right)\right)\right)\le \psi \left(d\left(x,y\right)\right)-\varphi \left(d\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}y\ge x,$

where ψ and ϕ are altering distance functions. Suppose that the pair $\left(A,B\right)$ has the weak P-monotone property. If for some ${x}_{0}\in {A}_{0}$, there exists ${y}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{y}_{0}\right)=d\left(A,B\right)$ and ${y}_{0}\le T{x}_{0}$, then there exists an ${x}^{\ast }$ in A such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$.

Proof In Theorem 2.1, we have proved that ${B}_{0}$ is closed and $f\left({\overline{A}}_{0}\right)\subseteq {B}_{0}$. Define an operator ${P}_{{A}_{0}}:T\left({\overline{A}}_{0}\right)\to {A}_{0}$ by ${P}_{{A}_{0}}y=\left\{x\in {A}_{0}:d\left(x,y\right)=d\left(A,B\right)\right\}$. Since the pair $\left(A,B\right)$ has the weak P-monotone property and ψ is nondecreasing, by the definition of T, we have

$\psi \left(d\left({P}_{{A}_{0}}Tx,{P}_{{A}_{0}}Ty\right)\right)\le \psi \left(d\left(Tx,Ty\right)\right)\le \psi \left(d\left(Tx,Ty\right)\right)-\varphi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}{P}_{{A}_{0}}Ty\ge {P}_{{A}_{0}}Tx,$

for any $y\ge x\in {\overline{A}}_{0}$. Since This shows that ${P}_{{A}_{0}}T$ is continuous and nondecreasing. Because there exist ${x}_{0}\in {A}_{0}$ and ${y}_{0}\in {B}_{0}$ such that $d\left({x}_{0},{y}_{0}\right)=d\left(A,B\right)$ and ${y}_{0}\le T{x}_{0}$, by the weak P-monotone property, we have ${x}_{0}\le {P}_{{A}_{0}}T{x}_{0}$.

This shows that ${P}_{{A}_{0}}T:{\overline{A}}_{0}\to {\overline{A}}_{0}$ is a contraction from a complete metric subspace ${\overline{A}}_{0}$ into itself and satisfies all the conditions in Theorem 1.7. Using Theorem 1.7, we can get ${P}_{{A}_{0}}T$ has a fixed point ${x}^{\ast }$. That is, ${P}_{{A}_{0}}T{x}^{\ast }={x}^{\ast }\in {A}_{0}$, which implies that

$d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right).$

Therefore, ${x}^{\ast }$ is the one in ${A}_{0}$ such that $d\left({x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$. □

## References

1. Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5

2. Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 2010, 72: 2238–2242. 10.1016/j.na.2009.10.023

3. Harjani J, Sadarangni K: Fixed point theorems for weakly contraction mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403–3410. 10.1016/j.na.2009.01.240

4. Yan F, Su Y, et al.: A new contraction mapping principle in partially ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2012. doi:10.1186/1687–1812–2012–152

5. Harjani J, Sadarangni K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 1188–1197. 10.1016/j.na.2009.08.003

6. Caballero J, et al.: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. 2012. doi:10.1186/1687–1812–2012–231

7. Kirk WA, Reich S, Veeramani P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 2003, 24: 851–862. 10.1081/NFA-120026380

8. Abkar A, Gabeleh M: Global optimal solutions of noncyclic mappings in metric spaces. J. Optim. Theory Appl. 2012, 153: 298–305. 10.1007/s10957-011-9966-4

9. Sankar Raj V: A best proximity point theorems for weakly contractive nonself mappings. Nonlinear Anal. 2011, 74: 4804–4808. 10.1016/j.na.2011.04.052

## Acknowledgements

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

## Author information

Authors

### Corresponding author

Correspondence to Yongfu Su.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All the authors contributed equally to the writing of the present article. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

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). https://doi.org/10.1186/1687-1812-2013-83

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2013-83

### Keywords

• generalized contraction
• fixed point
• best proximity point
• weak P-monotone property 