 Research
 Open Access
 Published:
A discussion on best proximity point and coupled best proximity point in partially ordered metric spaces
Fixed Point Theory and Applications volume 2015, Article number: 170 (2015)
Abstract
In this paper we establish some best proximity point results using generalized weak contractions with discontinuous control functions. The theorems are established in metric spaces with a partial order. We view the main problem in the paper as a problem of finding an optimal approximate solution of a fixed point equation. We also discuss several corollaries and give an illustrative example. We apply our result to obtain some coupled best proximity point results.
Introduction and mathematical preliminaries
In this work we consider a problem of global optimization in the context of partially ordered metric spaces. Specifically it is a problem of finding the minimum distance between two subsets of a partially ordered metric space. We utilize a generalized weakly contractive nonselfmap for this purpose. In fact nonselfmaps have been utilized for the said purposes under a category of problems which has been termed the proximity point problems. This category of problems had its origin in the work of Eldred and Veeramani [1] in 2006 and has, in subsequent times, developed vastly through a large number of works. The following is the description of this problem. Let \((X, d)\) be a metric space. Let A and B be two subset of X. A pair \((a, b)\in A\times B\) is called a best proximity pair if \(d(a, b) = d(A, B)= \inf \{d(x, y) : x \in A \text{ and } y \in B\}\). If A and B are two nonempty subsets of a metric space \((X, d)\) and T is a mapping from A to B, then \(d(x, Tx) \geq d(A, B)\) for all \(x \in A\). A point \(z \in A\) is called a best proximity point (with respect to T) if at the point z the function \(d(x, Tx)\) attains its global minimum with the value \(d(A, B)\); that is, \(d(z, Tz) = d(A, B)\). Thus the problem is a problem of global minimization. In another approach to this problem, it can be viewed as an approximate fixed point problem [2]. We adopt this approach in this paper. The description of this viewpoint is in the following. For the mapping \(T \colon A \rightarrow B\), the idea of a fixed point, that is, a point for which \(x = Tx\) is not pertinent when A and B are disjoint. Even in the cases where \(A \cap B \neq\emptyset\), a fixed point of the function T only exists under special conditions. But it may be possible to find some sort of approximate fixed point of T by minimizing the function \(d(x, Tx)\). If the minimized value is \(d(A, B)\), then we obtain a proximity point at which the proximity pair is realized. Thus the proximity point problem is to find an optimal approximate solution of the fixed point equation \(Tx = x\). Thus several methodologies available in the fixed point theory can be adapted to the situation. It is pertinent to point out that proximity point problems are different from best approximation problems which are not necessarily a global optimization problem. A best approximation theorem provides us with best approximate solutions which is not necessarily optimal. As an instance we consider the following Ky Fan best approximation theorem.
Theorem 1.1
([3])
Let A be a nonempty compact convex subset of a normed linear space X and \(T \colon A \rightarrow X\) be a continuous function. Then there exists \(x \in A\) such that
The point x in the above theorem need not provide with the optimum value of \(\ x  Tx\\). On the contrary the best proximity point theorems assert that the approximate solution of the fixed point equation is also globally optimal. Technically, through a best proximity point result we obtain the global minima of the real valued function \(x \mapsto d(x, Tx)\) by constraining an approximate solution of \(x = Tx\) to satisfy \(d(x, Tx) = \operatorname{dist}(A, B)\).
In the proximity point problems, there are several uses of functions satisfying contraction conditions as, for instances, in [4–16]. The contraction condition in the context for fixed point theory first appeared in the celebrated work of Banach [17], which, incidentally, is also recognized as the source of fixed point theory. Afterwards, contractive conditions have taken a large place in metric fixed point theory. For a survey of this development we refer to [18]. Weak contractions were introduced in Hilbert spaces by Alber and GuerreDelabriere [19] and subsequently extended to metric spaces by Rhoades [20]. This is a condition which is intermediate to contraction and nonexpansion. Weak contractions were studied in metric spaces and in partially ordered metric spaces through the works [21–30]. Particularly in 2013, a generalized weak contraction inequality was given by Choudhury et al. [24] which was utilized to obtain coincidence and coupled coincidence point theorems in partially ordered metric spaces.
It may be mentioned that coupled fixed point problems, and their allied problems, have attracted a large general interest amongst mathematician after the appearance of the work of Gnana Bhaskar and Lakshmikantham [31] in 2006 in which a coupled contraction mapping theorem was established although the concept of coupled fixed point was introduced in 1987 in the work of Guo and Lakshmikantham [32]. Amongst several works in the above mentioned area there are also coupled weak contraction results as, for instance, in [33] and [24]. Coupled contractions have also been utilized in best proximity problems in works like [34–37].
The purpose of the paper is to obtain proximity point results in partially ordered metric spaces by utilizing the weak contractive inequality obtained in [24]. In this context it is to be mentioned that the weak contraction has already been used to obtain proximity point theorem by Sankar Raj [16]. We have an application of our main result to a product space through which we obtain a coupled proximity point result. An illustrative example is also discussed.
The following are the requisite mathematical concepts for the discussions in this paper.
Let \((X, \preceq)\) be a partially ordered set and suppose that d is a metric on X. Unless otherwise specified, it is assumed throughout this section that A and B are two nonempty subsets of the metric space \((X, d)\). In the following we give some notation and notions:
and
It is to be noted that for every \(x\in A_{0}\) there exists \(y\in B_{0}\) such that \(d(x, y) = d(A, B)\) and conversely, for every \(y\in B_{0}\) there exists \(x\in A_{0}\) such that \(d(x, y) = d(A, B)\).
Definition 1.1
(Pproperty [16])
Let A and B be two nonempty subsets of a metric space \((X, d)\) with \(A_{0}\neq\emptyset\). Then the pair \((A, B)\) is said to have the Pproperty if, for any \(x_{1}, x_{2}\in A_{0}\) and \(y_{1}, y_{2}\in B_{0}\),
In [4], Abkar and Gabeleh show that every nonempty, bounded, closed, and convex pair of subsets of a uniformly convex Banach space has the Pproperty. Some nontrivial examples of a nonempty pair of subsets which satisfies the Pproperty are given in [4].
Definition 1.2
A mapping \(T \colon A \rightarrow A\) is said to be increasing if for all \(x_{1}, x_{2}\in A\),
Definition 1.3
([7])
A mapping \(T \colon A \rightarrow B\) is said to be proximally increasing if for all \(u_{1}, u_{2}, x_{1}, x_{2}\in A\),
One can see that, for a selfmapping, the notion of proximally increasing reduces to that of an increasing mapping.
Definition 1.4
A mapping \(T \colon A \rightarrow B\) is said to be proximally increasing on \(A_{0}\) if for all \(u_{1}, u_{2}, x_{1}, x_{2}\in A_{0}\),
Definition 1.5
An element \(x^{*}\in A\) is said to be best proximity point of the mapping \(T \colon A \rightarrow B\) if \(d(x^{*}, Tx^{*}) = d(A, B)\).
Definition 1.6
([31])
A mapping \(F \colon A \times A \rightarrow A\) is said to have the mixed monotone property if F is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument; that is, if
and
Definition 1.7
([35])
A mapping \(F \colon A \times A \rightarrow B\) is said to have the proximal mixed monotone property if \(F(x, y)\) is proximally nondecreasing in x and is proximally nonincreasing in y; that is, for all \(x, y\in A\),
and
where \(x_{1}, x_{2}, y_{1}, y_{2}, u_{1}, u_{2}, v_{1}, v_{2} \in A\).
One can see that, if \(A = B\) in the above definition, the notion of the proximal mixed monotone property reduces to that of the mixed monotone property.
In Section 3, while applying the results of Section 2 to obtain coupled best proximity point results, we will require the property in Definition 1.7 to be satisfied only on an appropriate subset of \(A\times A\). For that purpose we introduce the following definition.
Definition 1.8
A mapping \(F \colon A \times A \rightarrow B\) is said to have the proximal mixed monotone property on \(A_{0} \times A_{0}\) if for all \(x, y\in A_{0}\),
and
where \(x_{1}, x_{2}, y_{1}, y_{2}, u_{1}, u_{2}, v_{1}, v_{2} \in A_{0}\).
Definition 1.9
([36])
An element \((x^{*}, y^{*})\in A \times A\), is called a coupled best proximity point of the mapping \(F \colon A \times A \rightarrow B\) if \(d(x^{*}, F(x^{*}, y^{*})) = d(A, B)\) and \(d(y^{*}, F(y^{*}, x^{*})) = d(A, B)\).
The speciality of coupled proximity points is that they provide for the realization of the minimum distance in two ways simultaneously.
In our results in the following sections we will use two classes of functions. We denote by Ψ the set of all functions \(\psi\colon [0, \infty) \rightarrow [0, \infty)\) satisfying
 (i_{ ψ }):

ψ is continuous and \(\psi(t) = 0\) if and only if \(t = 0\);
 (i_{ α }):

α is bounded on any bounded interval in \([0, \infty)\),
 (ii_{ α }):

α is continuous at 0 and \(\alpha(0) = 0\).
Main results
Theorem 2.1
Let \((X, \preceq)\) be a partially ordered set and suppose that there is a metric d on X such that \((X, d)\) is a complete metric space. Let \((A, B)\) be a pair of nonempty closed subsets of X such that \(A_{0}\) is nonempty closed and \((A, B)\) satisfies the Pproperty. Let \(T \colon A \rightarrow B\) be a mapping such that \(T(A_{0})\subseteq B_{0}\) and T is proximally increasing on \(A_{0}\). Suppose that there exist \(\psi\in\Psi\) and \(\varphi, \theta\in\Theta\) such that
for any sequence \(\{x_{n}\}\) in \([0, \infty)\) with \(x_{n}\rightarrow t > 0\),
and for all \(x, y \in A_{0}\) with \(x \succeq y\),
Suppose either

(a)
T is continuous or

(b)
if \(\{x_{n}\}\) is a nondecreasing sequence in X such that \(x_{n} \rightarrow x\), then \(x_{n} \preceq x\) for all \(n \geq0\).
Also, suppose that there exist elements \(x_{0}, x_{1} \in A_{0}\) such that \(d(x_{1}, Tx_{0}) = d(A, B)\) and \(x_{0} \preceq x_{1}\). Then T has a best proximity point in \(A_{0}\); that is, there exists an element \(x^{*} \in A_{0}\) such that \(d(x^{*}, Tx^{*}) = d(A, B)\).
Proof
By the conditions of Theorem 2.1 there exist elements \(x_{0}, x_{1} \in A_{0}\) such that
Because of the fact that \(T(A_{0}) \subseteq B_{0} \), there exists an element \(x_{2} \in A_{0}\) such that
Since T is proximally increasing on \(A_{0}\), we get \(x_{1} \preceq x_{2}\). Continuing this process, we construct a sequence \(\{x_{n}\}\) in \(A_{0}\) such that
with
Since \((A, B)\) satisfies the Pproperty, we conclude that
Let \(R_{n} = d(x_{n+1}, x_{n})\), for all \(n \geq0\). Using (2.3), (2.5), and (2.6), we have
that is,
which, in view of the fact that \(\theta\geq0\), yields \(\psi (R_{n+1})\leq \varphi(R_{n})\), which by (2.1) implies that \(R_{n+1} \leq R_{n}\), for all positive integer n; that is, \(\{R_{n}\}\) is a monotone decreasing sequence. Hence there exists an \(r \geq0\) such that
Taking the limit supremum in both sides of (2.7), using (2.8), the property of φ and θ, and the continuity of ψ, we obtain
Since \(\varlimsup ( \theta(R_{n})) =  \varliminf \theta(R_{n})\), it follows that
that is,
which by (2.2) is a contradiction unless \(r = 0\). Therefore,
Next we show that \(\{x_{n}\}\) is a Cauchy sequence.
Suppose that \(\{x_{n}\}\) is not a Cauchy sequence. Then there exists an \(\epsilon> 0\) for which we can find two sequences of positive integers \(\{m(k)\}\) and \(\{n(k)\}\) such that for all positive integers k, \(n(k) > m(k) > k\), and \(d(x_{m(k)}, x_{n(k)})\geq \epsilon\). Assuming that \(n(k)\) is the smallest such positive integer, we get
Now,
that is,
Letting \(k\rightarrow \infty\) in the above inequality and using (2.9), we have
Again,
and
Letting \(k\rightarrow \infty\) in the above inequalities, using (2.9) and (2.10), we have
From (2.4), we have
By the Pproperty, it follows that
As \(n(k) > m(k)\), \(x_{n(k)}\succeq x_{m(k)}\), applying (2.3), we have
Taking the limit supremum in both sides of the above inequality, using (2.10), (2.11), the property of φ and θ, and the continuity of ψ, we obtain
Since \(\varlimsup ( \theta(d(x_{n(k)}, x_{m(k)}))) =  \varliminf \theta(d(x_{n(k)}, x_{m(k)}))\), it follows that
that is,
which is a contradiction by (2.10) and (2.2). Therefore, \(\{x_{n}\}\) is a Cauchy sequence in \(A_{0}\). Since \((X, d)\) is complete and \(A_{0} \subseteq X\) is closed, \(A_{0}\) is also complete. From the completeness of \(A_{0}\), there exists \(x^{*} \in A_{0} \) such that
Let the condition (a) hold.
Taking \(n\rightarrow \infty\) in (2.4) and using the continuity of T, we have \(d(x^{*}, Tx^{*}) = d(A, B)\); that is, \(x^{*}\) is best proximity point of T.
Let the condition (b) hold.
By the condition (b) of the theorem, (2.5), and (2.12), we have \(x_{n} \preceq x^{*}\) for all \(n \geq N\).
Since \(x^{*} \in A_{0}\), we have \(Tx^{*} \in T(A_{0}) \subseteq B_{0}\) and therefore there exists a point \(z \in A_{0}\) such that
Since \(d(x_{n+1}, Tx_{n}) = d(A, B)\) (by (2.4)), applying the Pproperty of \((A, B)\), we get
Applying (2.3), we have
Taking the limit as \(n \to\infty\) in the above inequality, using (2.12) and the property (ii_{ α }) of φ and θ, and the properties of ψ, we obtain
that is, \(\psi(d(z, x^{*})) \leq0\), which implies that \(d(x^{*}, z) = 0\); that is, \(z = x^{*}\). Thus, we have \(d(x^{*}, Tx^{*}) = d(A, B)\); that is, \(x^{*}\) is best proximity point of T. □
Considering ψ to be the identity mapping and \(\theta(t) = 0\) for all \(t \in[0, \infty)\) in Theorem 2.1 we have the following corollary.
Corollary 2.1
Let \((X, \preceq)\) be a partially ordered set and suppose that there is a metric d on X such that \((X, d)\) is a complete metric space. Let \((A, B)\) be a pair of nonempty closed subsets of X such that \(A_{0}\) is nonempty closed and \((A, B)\) satisfies the Pproperty. Let \(T \colon A \rightarrow B\) be a mapping such that \(T(A_{0})\subseteq B_{0}\) and T is proximally increasing on \(A_{0}\). Suppose that there exists \(\varphi\in \Theta\) such that for any sequence \(\{x_{n}\}\) in \([0, \infty)\) with \(x_{n}\rightarrow t > 0\), \(\varlimsup \varphi(x_{n}) < t\), and for all \(x, y \in A_{0}\) with \(x \succeq y\),
Suppose either

(a)
T is continuous or

(b)
if \(\{x_{n}\}\) is a nondecreasing sequence in \(A_{0}\) such that \(x_{n} \rightarrow x\), then \(x_{n} \preceq x\) for all \(n \geq0\).
Also, suppose that there exist elements \(x_{0}, x_{1} \in A_{0}\) such that \(d(x_{1}, Tx_{0}) = d(A, B)\) and \(x_{0} \preceq x_{1}\). Then T has a best proximity point in \(A_{0}\).
Considering φ to be the function ψ in Theorem 2.1 we have the following corollary.
Corollary 2.2
Let \((X, \preceq)\) be a partially ordered set and suppose that there is a metric d on X such that \((X, d)\) is a complete metric space. Let \((A, B)\) be a pair of nonempty closed subsets of X such that \(A_{0}\) is nonempty closed and \((A, B)\) satisfies the Pproperty. Let \(T \colon A \rightarrow B\) be a mapping such that \(T(A_{0})\subseteq B_{0}\) and T is proximally increasing on \(A_{0}\). Suppose that there exist \(\psi\in\Psi\) and \(\theta\in\Theta\) such that for any sequence \(\{x_{n}\}\) in \([0, \infty)\) with \(x_{n}\rightarrow t> 0\), \(\varliminf \theta(x_{n}) > 0\), and for all \(x, y \in A_{0}\) with \(x \succeq y\),
Suppose either

(a)
T is continuous or

(b)
if \(\{x_{n}\}\) is a nondecreasing sequence in \(A_{0}\) such that \(x_{n} \rightarrow x\), then \(x_{n} \preceq x\) for all \(n \geq0\).
Also, suppose that there exist elements \(x_{0}, x_{1} \in A_{0}\) such that \(d(x_{1}, Tx_{0}) = d(A, B)\) and \(x_{0} \preceq x_{1}\). Then T has a best proximity point in \(A_{0}\).
Considering ψ and φ to be the identity mappings and \(\theta(t)= (1k) t\), where \(0\leq k < 1\) in Theorem 2.1, we have the following corollary.
Corollary 2.3
Let \((X, \preceq)\) be a partially ordered set and suppose that there is a metric d on X such that \((X, d)\) is a complete metric space. Let \((A, B)\) be a pair of nonempty closed subsets of X such that \(A_{0}\) is nonempty closed and \((A, B)\) satisfies the Pproperty. Let \(T \colon A \rightarrow B\) be a mapping such that \(T(A_{0})\subseteq B_{0}\) and T is proximally increasing on \(A_{0}\). Assume that there exists \(k\in[0, 1)\) such that, for all \(x, y \in A_{0}\) with \(x \succeq y\),
Suppose either

(a)
T is continuous or

(b)
if \(\{x_{n}\}\) is a nondecreasing sequence in \(A_{0}\) such that \(x_{n} \rightarrow x\), then \(x_{n} \preceq x\) for all \(n \geq0\).
Also, suppose that there exist elements \(x_{0}, x_{1} \in A_{0}\) such that \(d(x_{1}, Tx_{0}) = d(A, B)\) and \(x_{0} \preceq x_{1}\). Then T has a best proximity point in \(A_{0}\).
In the following, our aim is to prove the existence and uniqueness of the best proximity point in Theorem 2.1.
Theorem 2.2
In addition to the hypotheses of Theorem 2.1, suppose that for every \(x, y \in A_{0}\) there exists \(u \in A_{0}\) such that u is comparable to x and y. Then T has a unique best proximity point.
Proof
From Theorem 2.1, the set of best proximity point T is nonempty. Suppose \(x, y\in A_{0}\) are two best proximity points of T; that is,
Now, we show that \(x = y\).
By the assumption, there exists \(u \in A_{0}\) such that u is comparable with x and y.
Put \(u_{0} = u\). Suppose that
Since \(T(A_{0}) \subseteq B_{0}\) and \(u_{0} = u\in A_{0}\), there exists \(u_{1} \in A_{0}\) such that
Since T is proximally increasing on \(A_{0}\), from (2.16), (2.17), and (2.18) we have
Continuing this process, we construct a sequence \(\{u_{n}\}\) in \(A_{0}\) such that
Since \((A, B)\) satisfies the Pproperty, we conclude from (2.16) and (2.20) that
Let \(R_{n} = d(x, u_{n})\). Since \(x \succeq u_{n}\) using the contractive condition (2.3), for all \(n \geq1\), we have
that is, \(\psi(R_{n+1})\leq\varphi(R_{n}) \theta(R_{n})\), which, in view of the fact that \(\theta\geq0\), yields \(\psi(R_{n+1})\leq\varphi(R_{n})\), which by (2.1) implies that \(R_{n+1} \leq R_{n}\), for all positive integer n, that is, \(\{R_{n}\}\) is a monotone decreasing sequence.
Then as in the proof of Theorem 2.1, we have
Similarly, we show that
By the triangle inequality, and using (2.22) and (2.23), we have
Hence \(x = y\); that is, the best proximity point of T is unique. □
Example 2.1
Assume the complete metric space \((X = {\mathbb{R}}^{2}, d)\), where the metric d is defined as \(d(x, y) =  x_{1}  x_{2}+  y_{1}  y_{2}\), for \(x = (x_{1}, y_{1}), y = (y_{1}, y_{2})\in X\). We define a partial order ⪯ on X such that \((x, y) \preceq(u, v)\) if and only if \(x \leq u\) and \(y \leq v\), for all \((x, y), (u, v) \in X\).
Let \(A = \{(x, 1) : 0 \leq x \leq1\}\), \(B = \{(x,  1) : 0 \leq x \leq1\}\), \(A_{0} = \{(\frac{x}{2}, 1) : 0 \leq x \leq1\}\), and \(B_{0} = B\). Consider \(T \colon A \rightarrow B\), \(T(x, 1) = (\frac{x}{2}, 1 )\). It is clear that \(d(A, B) = 2\), \(A_{0} \subseteq A\), and \(T(A_{0}) \subseteq B_{0}\). Also \((A, B)\) satisfies Pproperty.
Now we show that T is proximally increasing on \(A_{0}\). In this respect, let \((\frac{x}{2}, 1), (\frac{u}{2}, 1), (\frac{y}{2}, 1), (\frac{v}{2}, 1) \in A_{0}\) with \((\frac{y}{2}, 1) \preceq(\frac{v}{2}, 1)\).
We have
and
which implies that \(x = \frac{y}{4}\) and \(u = \frac{v}{4} \).
We see that \((\frac{y}{2}, 1) \preceq(\frac{v}{2}, 1)\) implies \(\frac{y}{2} \leq\frac{v}{2}\); that is, \(\frac{y}{4} \leq \frac{v}{4}\); that is, \(x \leq u\). Now \(x \leq u\) implies \((\frac{x}{2}, 1) \preceq(\frac{u}{2}, 1)\). Hence T is proximally increasing on \(A_{0}\).
Let \(\psi, \varphi, \theta\colon[0, \infty) \rightarrow [0, \infty)\) be given, respectively, by the formulas
Then ψ, φ, and θ have the properties mentioned in Theorem 2.1.
Here all of the conditions of Theorems 2.1 and 2.2 are satisfied and it is seen that \(x^{*} = (0, 1)\) in A is the unique best proximity point of T in \(A_{0}\).
Remark 2.1
In the above example, ψ is not the identity mapping and not identical with φ, and \(\theta(t) \neq0\), for all \(t \in [0, \infty) \). Therefore, Corollaries 2.1, 2.2, and 2.3 are not applicable to this example and hence Theorem 2.1 properly contains its Corollaries 2.1, 2.2, and 2.3.
Remark 2.2
Theorem 2.1 generalizes the main result in [16]. The main result in [16] is not applicable to this example and hence the generalization is proper.
Applications to coupled best proximity point results
In this section we make an application of the results of Section 2 to obtain new coupled proximity point results. The results are obtained through the construction of a product space to which we apply our theorem.
With the help of partially ordered set \((X, \preceq)\) we endow the product space \(X\times X\) with the following partial order:
With the help of the metric d on X, we define a metric \(d_{1}\) on \(X \times X\) as
Now, we denote \(A^{*} = A \times A\), \(B^{*} = B \times B\), \(A_{0}^{*} = A_{0} \times A_{0}\), and \(B_{0}^{*} = B_{0} \times B_{0}\). From the definition of the metric \(d_{1}\), we have the following results.

\(d_{1}(A^{*}, B^{*}) = d_{1}(A \times A, B \times B) = d(A, B) + d(A, B)\).

Let \(x =(x_{1}, y_{1}) \in A^{*}\), \(y = (x_{2}, y_{2}) \in B^{*}\) such that \(d_{1}(x, y) = d_{1}(A^{*}, B^{*})\). Then \(d(x_{1}, x_{2}) = d(y_{1}, y_{2}) = d(A, B)\).
Proof
\(d_{1}(x, y) = d_{1}(A^{*}, B^{*})\) implies \(d(x_{1}, x_{2}) + d(y_{1}, y_{2}) = d(A, B) + d(A, B)\). Since \(d(x_{1}, x_{2}) \geq d(A, B)\) and \(d(y_{1}, y_{2}) \geq d(A, B)\), it follows \(d(x_{1}, x_{2}) = d(y_{1}, y_{2}) = d(A, B)\). □

$$ A_{0}^{*} = \bigl\{ x = (x_{1}, y_{1}) \in A^{*} : d_{1}(x, y)= d_{1} \bigl(A^{*}, B^{*}\bigr) \text{ for some } y = (x_{2}, y_{2}) \in B^{*}\bigr\} $$
and
$$ B_{0}^{*} = \bigl\{ y = (x_{2}, y_{2})\in B^{*} : d_{1}(x, y) = d_{1}\bigl(A^{*}, B^{*}\bigr) \text{ for some } x = (x_{1}, y_{1}) \in A^{*}\bigr\} . $$It is to be noted that for every \(x\in A_{0}^{*}\) there exists \(y\in B_{0}^{*}\) such that \(d_{1}(x, y) = d_{1}(A^{*}, B^{*})\) and, conversely, for every \(y\in B_{0}^{*}\) there exists \(x\in A_{0}^{*}\) such that \(d_{1}(x, y) = d_{1}(A^{*}, B^{*})\).
We define a function \(T \colon A^{*} \rightarrow B^{*}\) with the help of the function \(F \colon A \times A \rightarrow B\) as follows:
Lemma 3.1
If the pair \((A, B)\) has Pproperty, then the pair \((A^{*}, B^{*})\) has also the Pproperty.
Proof
Suppose that for any \(x_{1} = (u_{1}, v_{1}), x_{2} = (u_{2}, v_{2}) \in A_{0}^{*} = A_{0} \times A_{0}\), and \(y_{1} = (r_{1}, s_{1}), y_{2} = (r_{2}, s_{2})\in B_{0}^{*} = B_{0} \times B_{0}\),
So
that is,
which implies that
Since the pair \((A, B)\) has the Pproperty, and \(u_{1}, v_{1}, u_{2}, v_{2} \in A_{0}\) and \(r_{1}, s_{1}, r_{2}, s_{2}\in B_{0}\),
and
Therefore, \(d(u_{1}, u_{2}) + d(v_{1}, v_{2}) = d(r_{1}, r_{2}) + d(s_{1}, s_{2})\); that is, \(d_{1}((u_{1}, v_{1}), (u_{2}, v_{2})) = d_{1}((r_{1}, s_{1}), (r_{2}, s_{2}))\); that is, \(d_{1}(x_{1}, x_{2}) = d_{1}(y_{1}, y_{2})\).
Hence for any \(x_{1} = (u_{1}, v_{1}), x_{2} = (u_{2}, v_{2}) \in A_{0}^{*}\) and \(y_{1} = (r_{1}, s_{1}), y_{2} = (r_{2}, s_{2})\in B_{0}^{*}\),
Therefore, the pair \((A^{*}, B^{*})\) has the Pproperty. □
Lemma 3.2
Let \(F \colon A \times A \rightarrow B\) be a mapping with \(F(A_{0} \times A_{0})\subseteq B_{0}\). If F has the proximal mixed monotone property on \(A_{0} \times A_{0}\), then the mapping \(T \colon A^{*} \rightarrow B^{*}\) is proximally increasing on \(A_{0}^{*}\).
Proof
Suppose that there exist \((x_{0}, y_{0}), (x_{1}, y_{1}), (u_{1}, v_{1}), (u_{2}, v_{2}) \in A_{0}^{*} = A_{0} \times A_{0}\) for which
It follows that
which implies that
and
By hypothesis \(F(A_{0}\times A_{0}) \subseteq B_{0}\), therefore \(F(x_{1}, y_{0}) \in B_{0}\). Hence there exists \(x^{*}_{1} \in A_{0}\) such that
Now we have
and
Using the proximal mixed monotone property of F, we have
Again, by hypothesis \(F(A_{0}\times A_{0}) \subseteq B_{0}\), therefore \(F(y_{0}, x_{1}) \in B_{0}\). Hence there exists \({y^{*}}_{1} \in A_{0}\) such that
Now we have
and
Using the proximal mixed monotone property of F, we have
Therefore,
Hence \(T \colon A^{*} \rightarrow B^{*}\) is proximally increasing on \(A_{0}^{*}\). □
Theorem 3.1
Let \((X, \preceq)\) be a partially ordered set and suppose that there is a metric d on X such that \((X, d)\) is a complete metric space. Let \((A, B)\) be a pair of nonempty closed subsets of X such that \(A_{0}\) is nonempty closed and \((A, B)\) satisfies the Pproperty. Let \(F \colon A \times A \rightarrow B\) be a mapping such that \(F(A_{0} \times A_{0})\subseteq B_{0}\), F has proximal mixed monotone property on \(A_{0} \times A_{0}\). Suppose that there exist \(\psi\in\Psi\) and \(\varphi, \theta\in \Theta\) such that (2.1) and (2.2) are satisfied and for all \((x, y), (u, v) \in A_{0} \times A_{0} \) with \((x, y) \succeq(u, v)\),
Suppose either

(a)
F is continuous or

(b)
X has the following properties:

(i)
if a nondecreasing sequence \(\{x_{n}\}\rightarrow x\), then \(x_{n} \preceq x\), for all \(n\geq0\);

(ii)
if a nonincreasing sequence \(\{y_{n}\}\rightarrow y\), then \(y \preceq y_{n}\), for all \(n \geq0\).

(i)
Also, suppose that there exist \((x_{0}, y_{0}), (x_{1}, y_{1}) \in A_{0} \times A_{0}\) such that \(d(x_{1}, F(x_{0}, y_{0}))= d(A, B)\) and \(d(y_{1}, F(y_{0}, x_{0}))= d(A, B)\) with \((x_{0}, y_{0}) \preceq(x_{1}, y_{1})\). Then F has a coupled best proximity point in \(A_{0} \times A_{0}\); that is, there exists an element \((x^{*}, y^{*}) \in A_{0} \times A_{0}\) such that \(d(x^{*}, F(x^{*}, y^{*})) = d(A, B)\) and \(d(y^{*}, F(y^{*}, x^{*})) = d(A, B)\).
Proof
We consider the product space \((X \times X, \preceq)\), the metric \(d_{1}\) on \(X \times X\), and the function \(T \colon A^{*} \rightarrow B^{*}\) as mentioned above. Denote \(Y = X \times X\). By the definition of the metric \(d_{1}\) and the function T, we have:

\((Y, d_{1})\) is a complete metric space,

\((A^{*}, B^{*})\) is a pair of nonempty closed subsets of Y such that \(A^{*}_{0}\) is nonempty closed and \((A^{*}, B^{*})\) satisfies the Pproperty,

\(T(A^{*}_{0}) \subseteq B^{*}_{0}\),

T is proximally increasing on \(A^{*}_{0}\),

T is continuous,

the condition (b) implies that if \(\{x_{n}\}\) is a nondecreasing sequence in Y such that \(x_{n} \rightarrow x\), then \(x_{n} \preceq x\) for all \(n \geq0\),

let \(p = (x, y), q = (u, v) \in A_{0} \times A_{0}\) such that \(p \succeq q\); then (3.1) reduces to
$$ \psi\bigl(d_{1}(Tp, Tq)\bigr)\leq\varphi\bigl(d_{1}(p, q) \bigr)  \theta\bigl(d_{1}(p, q)\bigr), $$ 
now, the existence of \((x_{0}, y_{0}), (x_{1}, y_{1}) \in A_{0} \times A_{0}\) such that \(d(x_{1}, F(x_{0}, y_{0}))= d(A, B)\) and \(d(y_{1}, F(y_{0}, x_{0}))= d(A, B)\) with \((x_{0}, y_{0}) \preceq(x_{1}, y_{1}) \) implies the existence of points \(p_{0} = (x_{0}, y_{0}), p_{1} = (x_{1}, y_{1})\in A^{*}_{0}\) such that \(d_{1}(p_{1}, Tp_{0})= d_{1}(A^{*}, B^{*})\) with \(p_{0} \preceq p_{1}\).
Therefore, the theorem reduces to Theorem 2.1 and hence T has a best proximity point in \(A^{*}_{0}\); that is, there exists an element \(w^{*} =(x^{*}, y^{*})\in A^{*}_{0}\) such that \(d_{1}(w^{*}, Tw^{*}) = d_{1}(A^{*}, B^{*})\); that is, \(d_{1}((x^{*}, y^{*}), T(x^{*}, y^{*})) = d_{1}(A \times A, B \times B)\); that is, \(d(x^{*}, F(x^{*}, y^{*})) + d(y^{*}, F(y^{*}, x^{*})) = d(A, B) + d(A, B)\), which implies that \(d(x^{*}, F(x^{*}, y^{*})) = d(A, B)\) and \(d(y^{*}, F(y^{*}, x^{*})) = d(A, B)\); that is, \((x^{*}, y^{*})\in A_{0} \times A_{0}\) is coupled best proximity point of F. □
The following theorem gives the uniqueness of the result in Theorem 3.1 under certain conditions.
Theorem 3.2
In addition to the hypotheses of Theorem 3.1, suppose that for every \((x, y), (x^{*}, y^{*}) \in A_{0} \times A_{0}\) there exists a \((u, v) \in A_{0} \times A_{0}\) such that \((u, v)\) is comparable to \((x, y)\) and \((x^{*}, y^{*})\). Then F has a unique coupled best proximity point.
Note that several coupled proximity point results can be obtained corresponding to Corollaries 2.12.3 if we assume the particular forms of the control functions used therein.
References
 1.
Eldred, AA, Veeramani, P: Existence and convergence of best proximity points. J. Math. Anal. Appl. 323, 10011006 (2006)
 2.
Miandaragh, MA, Postolache, M, Rezapour, S: Approximate fixed points of generalized convex contractions. Fixed Point Theory Appl. 2013, Article ID 255 (2013)
 3.
Fan, K: Extensions of two fixed point theorems of F.E. Browder. Math. Z. 122, 234240 (1969)
 4.
Abkar, A, Gabeleh, M: Global optimal solutions of noncyclic mappings in metric spaces. J. Optim. Theory Appl. 153, 298305 (2012)
 5.
Abkar, A, Gabeleh, M: Best proximity points of nonself mappings. Top 21, 287295 (2013)
 6.
Basha, SS: Best proximity points: optimal solutions. J. Optim. Theory Appl. 151, 210216 (2011)
 7.
Basha, SS: Discrete optimization in partially ordered sets. J. Glob. Optim. 54, 511517 (2012)
 8.
Caballero, J, Harjani, J, Sadarangani, K: A best proximity point theorem for Geraghtycontractions. Fixed Point Theory Appl. 2012, Article ID 231 (2012)
 9.
Choudhury, BS, Maity, P, Konar, P: A global optimality result using nonself mappings. Opsearch 51, 312320 (2014)
 10.
Choudhury, BS, Maity, P, Konar, P: A global optimality result using Geraghty type contraction. Int. J. Optim. Control, Theor. Appl. 4, 99104 (2014)
 11.
Choudhury, BS, Maity, P, Metiya, N: Best proximity point theorems with cyclic mappings in set valued analysis. Indian J. Math. 57, 79102 (2015)
 12.
Karapinar, E: On best proximity point of ψGeraghty contractions. Fixed Point Theory Appl. 2013, Article ID 200 (2013)
 13.
Karpagam, S, Agrawal, S: Best proximity points for cyclic MeirKeeler contraction maps. Nonlinear Anal. 74, 10401046 (2011)
 14.
Kutbi, MA, Chandok, S, Sintunavarat, W: Optimal solutions for nonlinear proximal \(C_{N}\)contraction mapping in metric space. J. Inequal. Appl. 2014, Article ID 193 (2014)
 15.
Mongkolkeha, C, Sintunavarat, W: Best proximity points for multiplicative proximal contraction mapping on multiplicative metric spaces. J. Nonlinear Sci. Appl. 8(6), 11341140 (2015)
 16.
Sankar Raj, V: A best proximity point theorem for weakly contractive nonselfmappings. Nonlinear Anal. 74, 48044808 (2011)
 17.
Banach, S: Sur les oprations dans les ensembles abstraits et leurs applications aux equations intgrales. Fundam. Math. 3, 133181 (1922)
 18.
Kirk, WA, Sims, B: Handbook of Metric Fixed Point Theory. Kluwer Academic, Dordrecht (2001)
 19.
Alber, YI, GuerreDelabriere, S: Principles of weakly contractive maps in Hilbert spaces. In: Goldberg, I, Lyubich, Y (eds.) New Results in Operator Theory and Its Applications. Operator Theory: Advances and Applications, vol. 98, pp. 722. Birkhäuser, Basel (1997)
 20.
Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47(4), 26832693 (2001)
 21.
Chandok, S, Choudhury, BS, Metiya, N: Fixed point results in ordered metric spaces for rational type expressions with auxiliary functions. J. Egypt. Math. Soc. 23, 95101 (2015)
 22.
Chidume, CE, Zegeye, H, Aneke, SJ: Approximation of fixed points of weakly contractive nonself maps in Banach spaces. J. Math. Anal. Appl. 270(1), 189199 (2002)
 23.
Choudhury, BS, Konar, P, Rhoades, BE, Metiya, N: Fixed point theorems for generalized weakly contractive mappings. Nonlinear Anal. 74, 21162126 (2011)
 24.
Choudhury, BS, Metiya, N, Postolache, M: A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl. 2013, Article ID 152 (2013)
 25.
Dorić, D: Common fixed point for generalized \((\psi, \varphi)\)weak contractions. Appl. Math. Lett. 22, 18961900 (2009)
 26.
Dutta, PN, Choudhury, BS: A generalisation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, Article ID 406368 (2008)
 27.
Harjani, J, Sadarangani, K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 71, 34033410 (2009)
 28.
Kamran, T, Ali, MU: Fixed point theorems for mappings satisfying a new contractive type condition. J. Adv. Math. Stud. 6(2), 115122 (2013)
 29.
Nashine, HK, Samet, B: Fixed point results for mappings satisfying \((\psi, \phi)\)weakly contractive condition in partially ordered metric spaces. Nonlinear Anal. 74, 22012209 (2011)
 30.
Zhang, Q, Song, Y: Fixed point theory for generalized ϕweak contractions. Appl. Math. Lett. 22, 7578 (2009)
 31.
Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 13791393 (2006)
 32.
Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623632 (1987)
 33.
Choudhury, BS, Kundu, A: Two coupled weak contraction theorems in partially ordered metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108, 335351 (2014)
 34.
Abkar, A, Ghods, S, Azizi, A: Coupled best proximity point theorems for proximally gMeirKeeler type mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2015, Article ID 107 (2015)
 35.
Kumam, P, Pragadeeswarar, V, Marudai, M, Sitthithakerngkiet, K: Coupled best proximity points in ordered metric spaces. Fixed Point Theory Appl. 2014, Article ID 107 (2014)
 36.
Sintunavarat, W, Kumam, P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012, Article ID 93 (2012)
 37.
Shatanawi, W, Pitea, A: Best proximity point and best proximity coupled point in a complete metric space with \((P)\)property. Filomat 29(1), 6374 (2015)
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally to this work and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Choudhury, B.S., Metiya, N., Postolache, M. et al. A discussion on best proximity point and coupled best proximity point in partially ordered metric spaces. Fixed Point Theory Appl 2015, 170 (2015). https://doi.org/10.1186/s1366301504231
Received:
Accepted:
Published:
MSC
 47H10
 54H10
 54H25
Keywords
 partially ordered set
 control function
 best proximity point
 coupled best proximity point