Best proximity point of modified Suzuki-Edelstein-Geraghty type proximal contractions

Author(s): Leta Bekere Kumssa1
1Department of Mathematics, Madda Walabu University, Bale Robe-247, Ethiopia.
Copyright © Leta Bekere Kumssa. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we introduce the notion of modified Suzuki-Edelstein-Geraghty proximal contraction and prove the existence and uniqueness of best proximity point for such mappings. Our results extend and unify many existing results in the literature. We draw corollaries and give illustrative example to demonstrate the validity of our result.

Keywords: Best proximity point, weak \(P\)-property, Suzuki contraction, Edelstein contraction, RJ-property.

1. Introduction

In 1922, Banach [1] introduced a remarkable principle, namely Banach contraction principle which asserts that every contraction self-mapping on a complete metric space has a unique fixed point. This principle plays a leading role in the development of fixed point theory. Banach’s contraction principle has been generalized and extended in different directions. On his work, Edelstein [2] introduced the notion of contractive mapping and generalized Banach contraction principle. In 1973, Geraghty [3] generalized Banach’s contraction principle by replacing the contraction constant by a function having certain specified properties. In 2008, Suzuki [4] introduced a new type of mapping and presented a generalization of the Banach contraction principle in which the completeness can also be characterized by the existence of a fixed point of these mappings. All these generalizations are only applicable for self-mappings.

In recent years, best proximity point theory attracted the attention of several authors. The purpose of best proximity point theory is to address a problem of finding the distance between two closed sets by using non self-mappings from one set to the other. The problem is known as the proximity point problem. Best proximity point theory analyzes the existence of an approximate solution that is optimal.

Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(T:A\to B\) is a mapping, then \(d(x,Tx)\geq d(A,B)\) for all \(x\in A\). In general, for non self-mapping \(T : A \to B\), the fixed point equation \(Tx = x \) may not have a solution. In this case, it is focused on the possibility of finding an element \( x \in A\) that is an approximate solution such that the error \(d(x, Tx)\) is minimum, possibly \(d(x, Tx) = d(A,B).\)

A best proximity point becomes a fixed point if the underlying mapping is a self-mapping. Therefore, it can be concluded that best proximity point theorems generalize fixed point theorems in a natural way. In recent years, the existence and convergence of best proximity points is an interesting aspect of optimization theory which attracted the attention of many authors [5,6,7,8,9].

We recall the following notations and definitions: Let \((X,d)\) be a metric space and let \(A\) and \(B\) be non-empty subsets of \(X\).

\begin{align*}A_{0} &:= \{x \in A : d(x, y) = d(A,B)\&nbsp for \&nbsp some \&nbsp y \in B\},\\ B_{0} &:= \{y \in B : d(x, y) = d(A,B) \&nbsp for \&nbsp some \&nbsp x\in A\}.\end{align*} We denote by \(\mathcal{F}\) the class of all functions \(\beta :[0,\infty)\to [0,1)\) satisfying the following condition: \[ \beta(t_{n})\to 1 \implies t_{n}\to 0.\] We denote by \(\Phi\) the class of all functions \(\phi :[0,\infty)\to [0,\infty)\) satisfying the following conditions:
  • 1. \(\phi\) is continuous,
  • 2. \(\phi\) is non-decreasing, and
  • 3. \(\phi(t)=0 \iff t=0\).

Definition 1. [10] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(\alpha :A\times A\to [0,\infty)\) be a function. We say that a non self-mapping \(T:A\to B\) is \(\alpha-\)proximal admissible if, for all \( x, y,u,v\in A,\) \begin{align*} & \left\{\begin{array}{ll} \alpha(x,y)\geq 1~\\ d(u,Tx)=d(A,B)\\ d(v,Ty)=d(A,B) \end{array}\right.\implies \alpha(u,v)\geq 1. \end{align*}

Definition 2. [11] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(\alpha :A\times A\to [0,\infty)\) be a function. We say that a non self-mapping \(T:A\to B\) is triangular \(\alpha-\)proximal admissible if, for all \( x, y,z, x_{1},x_{2}, u_{1}, u_{2}\in A,\) \begin{align*} &(T_{1}) \left\{\begin{array}{ll} \alpha(x_{1},x_{2})\geq 1~\\ d(u_{1},Tx_{1})=d(A,B)\\ d(u_{2},Tx_{2})=d(A,B) \end{array}\right.\implies \alpha(u_{1},u_{2})\geq 1,\\& (T_{2}) \left\{\begin{array}{ll} \alpha(x,z)\geq 1\\\alpha(z,y)\geq 1 \end{array}\right.\implies\alpha(x,y)\geq 1. \end{align*}

Definition 3. [12] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(A_0\ne \emptyset\), we say that the pair \((A,B)\) has weak \(P\)-property if and only if \begin{align*} \left\{\begin{array}{ll} d(x_{1},y_{1})=d(A,B)\\ d(x_{2},y_{2})=d(A,B) \end{array}\right.\implies d(x_{1},x_{2})\leq d(y_{1},y_{2}), \end{align*} for all \(x_{1},x_{2}~\in A\) and \( y_{1}, y_{2}\in B.\)

Definition 4. [10] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(\alpha, \eta :A\times A\to [0,\infty)\) be functions. We say that a non self-mapping \(T:A\to B\) is \(\alpha-\)proximal admissible with respect to \(\eta \) if, for all \( x, y,u,v,z,w\in A,\) \begin{align*} & \left\{\begin{array}{ll} \alpha(x,y)\geq \eta(x,y)~\\ d(u,Tx)=d(A,B)\\ d(v,Ty)=d(A,B) \end{array}\right.\implies \alpha(u,v)\geq \eta(u,v). \end{align*}

Definition 5. [13] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(T :A\to B\) be a mapping. We say that T has the RJ-property if for any sequence \(\{x_{n}\}\subseteq A,\) \begin{align*} & \left\{\begin{array}{ll} \displaystyle\lim_{n\to\infty}d(x_{n+1},Tx_{n})=d(A,B)\\ \displaystyle\lim_{n\to\infty}x_{n}=x \end{array}\right.\implies x\in A_{0}.& \end{align*}

Remark 1. [13] Any continuous mapping \(T:A\to B\) has the RJ-property provided that \(A\) and \(B\) are non-empty closed subsets of a metric space \((X,d)\). If \(A\) and \(B\) are not closed subsets of \(X\), then \(T\) may not have RJ-property.

Example 1. [13] Let \(X=\mathbb{R}\), \(A=(0,1)\) and \(B=(2,3)\). We define \(d:X\times X\to[0,\infty)\) and \(T:A\to B\) by \(d(x,y)=|x-y|\) and \(Tx=3-x\). Let \(\{x_{n}\}=\{1-\frac{1}{n}\}\subseteq A\), then \[\lim_{n\to\infty}x_{n}=1 \&nbsp and \&nbsp \lim_{n\to\infty}d(x_{n+1},Tx_{n})=\lim_{n\to\infty}d(1-\frac{1}{n+1},2+\frac{1}{n})=1=d(A,B),\] but \(1\notin A_{0}\). Hence \(T\) does not satisfy the RJ-property.

In 2016, Hamzehnejadi and Lashkaripour [13] proved best proximity point results for non self-map satisfying the RJ-property.

Definition 6. [13] Let \(A\) and \(B\) be two non-empty subsets of a metric space \((X,d)\) and \(\alpha:X\times X\to [0,\infty)\) be a function. A mapping \(T :A\to B\) is said to be a generalized \(\alpha-\phi-\)Geraghty proximal contraction if there exists \(\beta \in \mathcal{F} \) such that for all \(x,y,u,v\in A\), \begin{align*} \left\{\begin{array}{ll} d(u,Tx)=d(A,B)\\ d(v,Ty)=d(A,B) \end{array}\right.\implies \alpha(x,y)\phi(d(u,v))\leq\beta\big(\phi(M(x,y,u,v))\big)\phi(M(x,y,u,v)), \end{align*} where \(M(x,y,u,v)=\) max \(\{d(x,y),d(x,u),d(y,v)\}\) and \(\phi\in \Phi\).

Theorem 1. [13] Let \((X,d)\) be a complete metric space, \(A\) and \(B\) be non-empty subsets of \(X \), \(\alpha: X\times X\to [0,\infty)\) be a function and \(T: A\to B\) be a mapping. If the following conditions are satisfied:

  • 1. \(T\) is a generalized \(\alpha-\phi-\)Geraghty proximal contraction type mapping,
  • 2. \( T(A_{0}) \subseteq B_{0}\) and \(T\) is triangular \(\alpha-\)proximal admissible,
  • 3. \(T\) has the RJ-property,
  • 4. if \(\{x_{n}\}\) is a sequence in \(A\) such that \(\alpha(x_{n},x_{n+1})\geq 1\) for all \(n\) and \(x_{n}\to x\in A\) as \(n\to \infty\), then there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(\alpha(x_{n_{k}},x)\geq 1\) for all \(k\),
  • 5. there exist \(x_{0},x_{1}\in A\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_{0},x_{1})\geq1\),
then there exists \(x^*\in A_{0}\) such that \(d(x^*,Tx^*)=d(A,B)\). Moreover, if \(\alpha(x,y)\geq 1\) for all \(x,y\in P_{T}(A)\), where \(P_{T}(A)\) denotes the set of best proximity points of \(T\), then \(x^*\) is a unique best proximity point of \(T\).

In this paper, we denote by \(\Phi_{\varphi}\) the class of functions \(\varphi: [0,\infty)\to [0,\infty)\) satisfying the following property:

\[\varphi(t)\leq \frac{1}{2}t \&nbsp for \&nbsp all \&nbsp t\geq 0.\] We denote by \(\Psi\) the set of non-decreasing functions \(\psi: [0,\infty)\to[0,\infty)\) such that \[\lim\limits_{n\to\infty}\psi^n(t)=0 \&nbsp for \&nbsp all \&nbsp t\geq 0.\] Recently, Hussain et al., [14] proved the existence of best proximity point for modified Suzuki-Edelstein \(\alpha\)-proximal contraction.

Definition 7. [14] Suppose \(A\) and \(B\) are two non-empty subsets of a metric space \((X,d)\). A non self-mapping \(T:A\to B\) is said to be modified Suzuki-Edelstein Proximal contraction if \[\varphi(d(x,Tx))-2d(A,B)\leq \alpha(x,y)d(x,y)\implies \alpha(x,y)d(Tx,Ty)\leq \psi(d(x,y)),\] for all \(x,y\in A\), where \(\varphi\in\Phi_{\varphi}\), \(\psi\in \Psi\) and \(\alpha: A\times A\to [0,\infty)\).

Theorem 2. [14] Suppose \(A\) and \(B\) are two non-empty closed subsets of a complete metric space \((X,d)\) with \(A_0\) is non-empty and let \(T: A\to B\) with \(T(A_0)\subseteq B_0\) be continuous modified Suzuzi-Edelstein proximal admissible mapping with respect to \(\eta(x,y)=2\) and the pair \((A,B)\) satisfies the weak \(P\)-property. If, the elements \(x_0\) and \(x_1\) with \(d(x_1,Tx_0)=d(A,B)\) satisfies \(\alpha(x_0,x_1)\geq 2\), then \(T\) has a unique best proximity point.

Lemma 1. [15] Suppose \((X,d)\) is a metric space and \(\{x_n\}\) be a sequence in \(X\) such that \( d(x_n, x_{n + 1} )\rightarrow 0 \) as \( n\rightarrow\infty\). If \( \{x_{n}\} \) is not a Cauchy sequence, then there exist an \(\epsilon > 0\) and sequences of positive integers \(\{m_{k}\}\) and \(\{n_{k}\}\) with \(m_{k} > n_{k} > k\) such that \(d(x_{m_{k}}, x_{n_{k}})\geq\epsilon, d(x_{m_{k}-1}, x_{n_{k}})< \epsilon\) and \[\hspace{-.1cm}(i) \lim_{k\to\infty} d(x_{m_{k}-1} , x_{n_{k}+1} ) = \epsilon\hspace{4.1cm}(ii)~ \lim_{k\to\infty} d(x_{m_{k}} , x_{n_{k}} ) = \epsilon\] \[ (iii) \lim_{k\to\infty} d(x_{m_{k}-1} , x_{n_{k}}) = \epsilon\hspace{4.cm}(iv) \lim_{k\to\infty} d(x_{m_{k}} , x_{n_{k}+1} ) = \epsilon.\] Motivated by the work of Suzuki, Edelstein and Geraghty, we introduce the notion of modified Suzuki-Edelstein-Geraghty proximal contraction and prove the existence and uniqueness of best proximity point for such mappings.

2. Main results

Definition 8. Let \(A\) and \(B\) be two non-empty subsets of metric space \((X,d)\). Let \( T :A\to B\) be non self-mapping and \(\alpha: A\times A\to [0,\infty)\) be a function. \(T\) is said to be a modified Suzuki-Edelstein-Geraghty proximal contraction if there exist \(\beta \in \mathcal{F} \) and \(\phi\in\Phi\) such that for all \(x,y\in A\),

\begin{align} \label{31} &\varphi(d(x,Tx))-2d(A,B)\leq \alpha(x,y)d(x,y)\notag\\ &\alpha(x,y)\phi(d(Tx,Ty))\leq\beta\big(\phi(M(x,y))\big)\phi( \&nbsp {max}\{d(x,y),m(x,y)-d(A,B)\}), \end{align}
(1)
where \(M(x,y)= \max \{d(x,y),d(x,Tx),d(y,Ty)\}\), &nbsp \(m(x,y)=\max\{d(x,Tx),d(y,Ty)\}\) and \(\varphi\in \Phi_{\varphi}\).

Theorem 3. Let \((X,d)\) be a complete metric space and \(A\) and \(B\) be non-empty closed subsets of \(X \) with \(A_0\) is non-empty. If \(T: A\to B\) be a modified Suzuki-Edelstein-Geraghty proximal contraction mapping such that the following conditions hold:

  • 1. \(T(A_0)\subseteq B_0\) and the pair \((A,B)\) satisfies the weak \(P\)-property,
  • 2. \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta(x,y)= 2\),
  • 3. \(T\) is continuous,
  • 4. there exist \(x_{0},x_{1}\in A\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_0,x_1)\geq2\),
then \(T\) has a unique best proximity point in \(A_0\).

Proof. By assumption (\(iv\)), there exist \(x_{0},~x_{1}\in A\) such that

\begin{equation} \label{eq31} d(x_{1},Tx_{0})=d(A,B)\&nbsp and\&nbsp \alpha(x_{0}, x_{1})\geq 2. \end{equation}
(2)
Since \(Tx_{0}\in B\), by the definition of \(A_{0}\), from (2), we have \(x_{1}\in A_{0}\). Since \(T(A_{0})\subseteq B_{0},\) we have \(Tx_{1} \in B_{0}\). Hence by definition of \(B_{0}\), there exists an element \(x_{2}\in A\) such that
\begin{equation} \label{eq32} d(x_{2},Tx_{1})=d(A,B). \end{equation}
(3)
Since \(T\) is \(\alpha\)-proximal admissible with respect to \(\eta(x,y)=2\), we obtain \(\alpha(x_1,x_2)\ge 2\). On continuing this process, we have
\begin{equation} \label{eq33} d(x_{n+1},Tx_{n})=d(A,B)\&nbsp and \&nbsp \alpha(x_{n}, x_{n+1})\geq 2, \end{equation}
(4)
for all \(n\in\mathbb{N}\).

Now,

\begin{align} \label{eq34} \varphi(d(x_{n-1},Tx_{n-1}))&\leq\frac{1}{2}d(x_{n-1},Tx_{n-1})\leq 2d(x_{n-1},Tx_{n-1})\leq 2(d(x_{n-1},x_{n})+ d(x_{n},Tx_{n-1})) \notag\\ &=2(d(x_{n-1},x_{n})+ d(A,B)) =2d(x_{n-1},x_{n})+ 2d(A,B). \end{align}
(5)
From (5), we have \[\varphi(d(x_{n-1},Tx_{n-1}))-2d(A,B)\leq 2d(x_{n-1},x_{n})\leq\alpha(x_{n-1},x_{n})d(x_{n-1},x_{n}).\] By (1), it follows that
\begin{align} \label{eq37} \phi(d(x_{n},x_{n+1}))&=\phi(d(Tx_{n-1},Tx_{n}))\leq \alpha(x_{n-1},x_{n})\phi(d(Tx_{n-1},Tx_{n}))\notag\\ &\leq\beta\big(\phi(M(x_{n-1},x_{n}))\big)\phi({max}\{d(x_{n-1},x_{n}),m(x_{n-1},x_{n})-d(A,B)\}), \end{align}
(6)
where \( M(x_{n-1},x_{n})= {max}\{d(x_{n-1},x_{n}),d(x_{n-1},Tx_{n-1}),d(x_{n},Tx_{n})\}= {max}\{d(x_{n-1},x_{n}),d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\},\) and \( m(x_{n-1},x_{n})={max}\{d(x_{n-1},Tx_{n-1}),d(x_{n},Tx_{n})\}={max}\{d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\}.\)

Suppose \(x_{n_{0}}=x_{n_{0}+1}\) for some \(n_{0}\in \mathbb{N}\). Assume that \(x_{n_{0}+1}\neq x_{n_{0}+2}\), then by (6), it follows that

\begin{align*} \phi(d(x_{n_{0}+1},x_{n_{0}+2}))&\leq\beta\big(\phi(M(x_{n_{0}},x_{n_{0}+1}))\big)\phi({max}\{m(x_{n_0},x_{n_{0}+1})-d(A,B)\})\\ &<\phi(\{{max}\{m(x_{n_0},x_{n_{0}+1})-d(A,B)\})\\&=\phi({max}\{d(x_{n_{0}},x_{n_{0}+1}),d(x_{n_{0}+1},x_{n_{0}+2})\}-d(A,B)\})\\ &\leq\phi(\{d(x_{n_{0}+1},x_{n_{0}+2})+d(A,B)\}-d(A,B))\\&=\phi(d(x_{n_{0}+1},x_{n_{0}+2})), \end{align*} a contradiction. Therefore \(x_{n_{0}+1}= x_{n_{0}+2}\), hence \(x_{n_{0}}=x_{n_{0}+1}= x_{n_{0}+2}\), so from (4), it follows that \( d(x_{n_{0}},Tx_{n_{0}})=d(x_{n_{0}+1},Tx_{n_{0}})=d(A,B),\) i.e., \(x_{n_{0}}\) is a best proximity point of \(T\), which is the desired result. Therefore, we assume that \(x_n\neq x_{n+1}\) for all \(n\in\mathbb{N}\cup \{0\}\). From (6), we obtain
\begin{align} \label{38} \phi(d(x_{n},x_{n+1}))&=\phi(d(Tx_{n-1},Tx_{n}))\notag\\ &\leq\beta\big(\phi(M(x_{n-1},x_{n}))\big)\phi( {max}\{m(x_{n-1},x_{n})-d(A,B)\})\notag\\ &<\phi( {max}\big\{d(x_{n-1},x_{n}), {max}\{m(x_{n-1},x_{n})\}-d(A,B)\})\notag\\ &=\phi( {max}\big\{d(x_{n-1},x_{n}), {max}\{d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\}-d(A,B)\})\notag\\ &\leq\phi( {max}\big\{d(x_{n-1},x_{n}), {max}\{d(x_{n-1},x_{n})+d(A,B),d(x_{n},x_{n+1})+d(A,B)\}-d(A,B)\})\notag\\ & =\phi( {max}\{d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\}). \end{align}
(7)
If \( {max}\{d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\}=d(x_{n},x_{n+1}),\) then \(\phi(d(x_{n},x_{n+1}))< \phi (d(x_{n},x_{n+1})),\) a contradiction. Hence \( {max}\{d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\}=d(x_{n-1},x_{n})\), so, by (7), we have \(\phi(d(x_{n},x_{n+1}))< \phi(d(x_{n-1},x_{n})).\) By the non-decreasing property of \(\phi\), it follows that \( d(x_{n},x_{n+1})\leq d(x_{n-1},x_{n})\), for all \(n\geq 1.\) Hence we deduce that \(\{d(x_{n},x_{n+1})\}\) is a decreasing sequence of non-negative real numbers. So, there exists \(r\geq 0\) such that
\begin{equation} \label{eq40} \displaystyle\lim_{n\to\infty}d(x_{n},x_{n+1})=r. \end{equation}
(8)
Suppose that \(r>0\). From (7), we have
\begin{equation} \label{312} 0< \frac{\phi(d(x_{n},x_{n+1}))}{\phi(d(x_{n-1},x_{n} )}\leq \beta(\phi( M(x_{n-1},x_{n})))< 1, \end{equation}
(9)
where
\begin{equation} \label{313} M(x_{n-1},x_{n})= {max}\{d(x_{n-1},x_{n}),d(x_{n-1},x_{n}),d(x_{n},x_{n+1})\} =d(x_{n-1},x_{n}). \end{equation}
(10)
On letting \(n\to \infty\) in (9) and using (10), we obtain \(\displaystyle\lim_{n\to\infty}\beta(\phi(d(x_{n-1},x_{n})))=1.\) Since \(\beta\in\mathcal{F},\) it follows that \(\displaystyle\lim_{n\to\infty}\phi(d(x_{n-1},x_{n}))=0.\) By continuity of \(\phi\), we get
\begin{equation} \label{eq38} \phi(\displaystyle\lim_{n\to\infty}d(x_{n},x_{n+1}))=0, \end{equation}
(11)
i.e., \(\phi(r)=0\), so that \(r=0\). i.e.,
\begin{equation} \label{eq41} \displaystyle\lim_{n\to\infty}d(x_{n},x_{n+1})=0. \end{equation}
(12)
Now, we show that \(\{x_{n}\}\) is a Cauchy sequence. Suppose \(\{x_{n}\}\) is not a Cauchy sequence. Then there exists an \(\epsilon>0\) for which we can find sequences of positive integers \(\{m_{k}\}\) and \(\{n_{k}\}\) with \(m_{k}>n_{k}>k\) such that
\begin{equation} \label{eq315} d(x_{m_{k}},x_{n_{k}})\geq\epsilon \&nbsp and\&nbsp d(x_{m_{k}-1},x_{n_{k}})< \epsilon. \end{equation}
(13)
Since \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta (x,y)=2\), we can show that \(\alpha(x_n, x_m)\ge 2\) for all \(n,m\in \mathbb{N}\) with \(n< m\). If \(n=m+1\), we have
\begin{equation} \label{eq42} \alpha(x_n,x_m)\geq 2. \end{equation}
(14)
Suppose that \(\alpha(x_n, x_m)\ge 2\) for all \(n,m\in \mathbb{N}\) with \(n< m\). To show this we shall prove that \(\alpha(x_n,x_{m+1})\geq 2\) with \(n< m\). From (4), we have
\begin{equation} \label{eq43} \alpha(x_m,x_{m+1})\geq 2. \end{equation}
(15)
Also since \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta (x,y)=2\), then from (14) and (15), \(\alpha(x_n,x_{m+1})\ge 2\) for all \(n,m\in \mathbb{N}\) with \(n< m\). Hence for any \(m_k, n_k\in\mathbb{N}\) with \(n_k < m_k\), we get \(\alpha(x_{m_{k}},x_{n_{k}})\ge 2\). From (12) and (13), we can choose a positive integer \(k_1\in\mathbb{N}\) such that
\begin{align} \label{eq46} \varphi(d(x_{m_{k}},Tx_{m_{k}}))&\leq\frac{1}{2}d(x_{m_{k}},Tx_{m_{k}})=\frac{1}{2}d(x_{m_{k}},x_{m_{k+1}})\leq \frac{1}{2}\epsilon \leq\frac{1}{2}d(x_{m_{k}},x_{n_{k}})\leq 2d(x_{m_{k}},x_{n_{k}})\notag \\&\leq 2\big(d(x_{m_{k}},Tx_{n_{k-1}})+d(Tx_{n_{k-1}},x_{n_{k}})\big)~ \leq 2d(x_{m_{k}},x_{n_{k}})+ 2d(A,B). \end{align}
(16)
From (16), we have that \( \varphi(d(x_{m_{k}},Tx_{m_{k}}))-2d(A,B)\leq 2d(x_{m_{k}},x_{n_{k}})\leq\alpha(x_{m_{k}},x_{n_{k}})d(x_{m_{k}},x_{n_{k}}). \) Therefore,
\begin{equation} \label{eq47} \varphi(d(x_{m_{k}},Tx_{m_{k}}))-2d(A,B)\leq\alpha(x_{m_{k}},x_{n_{k}})d(x_{m_{k}},x_{n_{k}}). \end{equation}
(17)
By (1), we get
\begin{align} \label{eq48} \phi(d(x_{m_{k+1}},x_{n_{k+1}}))&\leq \alpha(x_{m_{k}},x_{n_{k}})\phi(d(x_{m_{k+1}},x_{n_{k+1}}))\notag\\ &\leq\beta\big(\phi(M(x_{m_{k}},x_{n_{k}}))\big) \phi( {max}\{d(x_{m_k},x_{n_k}), {max}\{m(x_{m_k},x_{n_k})\}-d(A,B)\}), \end{align}
(18)
where \begin{align*} {max}\{d(x_{m_k},x_{n_k}),& {max}~\{m(x_{m_k},x_{n_k})\}-d(A,B)\}\\&= {max}\{d(x_{m_k},x_{n_k}), {max}\{d(x_{m_k},Tx_{m_k}),d(x_{n_k},Tx_{n_k})\}-d(A,B)\}\\&= {max}\{d(x_{m_k},x_{n_k}), {max}\{d(x_{m_k},x_{m_{k+1}}),d(x_{n_k},x_{n_{k+1}})\}-d(A,B)\}\\&\le {max}\{d(x_{m_k},x_{n_k}), {max}\{d(x_{m_k},x_{m_{k+1}})+d(A,B),d(x_{n_k},x_{n_{k+1}})+d(A,B)\}-d(A,B)\}\\&= {max}\{d(x_{m_k},x_{n_k}),d(x_{m_k},x_{m_{k+1}}),d(x_{n_k},x_{n_{k+1}})\} . \end{align*} Hence by applying Lemma 1 \begin{align*} \lim\limits_{k\to \infty} {max}\{d(x_{m_k},x_{n_k}), {max}~\{m(x_{m_k},x_{n_k})\}-d(A,B)\}\le\lim\limits_{k\to \infty} {max}\{d(x_{m_k},x_{n_k}),d(x_{m_k},x_{m_{k+1}}),d(x_{n_k},x_{n_{k+1}})\}=\epsilon. \end{align*} On letting \(k\to\infty\) in (18), it follows that \[0< \frac{\phi(\epsilon)}{\phi(\epsilon)}\leq\displaystyle\lim\limits_{k\to\infty}\beta(\phi(M(x_{m_{k}},x_{n_{k}})))\leq 1,\] thus, \[\displaystyle\lim\limits_{k\to\infty}\beta(\phi(M(x_{m_{k}},x_{n_{k}})))= 1.\] Since \(\beta\in\mathcal{F},\) we have \[\displaystyle\lim\limits_{k\to\infty}\phi( {max}\{d(x_{n_k},x_{m_k}),d(x_{m_k},x_{m_{k+1}}),d(x_{n_k},x_{n_{k+1}})\})=0.\] This yields, by continuity of \(\phi\), that \[\phi(\displaystyle\lim_{k\to\infty}( {max}\{d(x_{n_k},x_{m_k}),d(x_{m_k},x_{m_{k+1}}),d(x_{n_k},x_{n_{k+1}})\}))=0,\] i.e., \(\phi(\epsilon)=0\) and hence \(\epsilon=0\), a contradiction. Hence \(\{x_{n}\}\) is a Cauchy sequence. By the completeness of \(X\) and closed property of \(A\), there exists \(x^*\in A\) such that \(\displaystyle\lim_{n\to\infty}x_{n}=x^*\). Since \(T\) is continuous, from (4), we obtain \begin{equation*} d(A,B)= \lim\limits_{n\to}d(x_{n+1},Tx_{n})=d(x^*,Tx^*), \end{equation*} hence \(x^*\) is the best proximity point of \(T\).

We now show the uniqueness of best proximity point. Suppose that \(u\) and \(v\) are the two distinct best proximity points of \(T\). Since \(d(u,Tu)=d(A,B)=d(v,Tv)\), by weak \(P\)-property of the pair \((A,B),\) we get

\begin{equation} \label{50} d(u,v)\leq d(Tu,Tv). \end{equation}
(19)
Now, we consider
\begin{align} \label{eq50} \varphi(d(u,Tu))\leq\frac{1}{2}d(u,Tu)\leq 2d(u,Tu)=2 d(A,B). \end{align}
(20)
From (20), we have that \[\varphi(d(u,Tu))-2d(A,B)\leq 0\leq\alpha(u,v)d(u,v).\] By (1) and (19), it follows that \begin{align*} \phi(d(u,v))&\leq \phi(d(Tu,Tv))\leq\alpha(u,v)\phi(d(Tu,Tv))\\&\leq\beta\big(\phi(M(u,v))\big)\phi( {max}\{d(u,v), {max}\{m(u,v)\}-d(A,B)\})\\&<\phi( {max}\{d(u,v), {max}\{m(u,v)\}-d(A,B)\})\\&=\phi( {max}\{d(u,v), {max}\{d(u,Tu),d(v,Tv)\}-d(A,B)\})\\&=\phi(d(u,v)), \end{align*} a contradiction. Hence \(u=v\).

Example 2. Let \(X=\mathbb{R}^2,~A=[0,\infty)\times\{1\},~B=[0,\infty)\times\{0\}, A_{0}=[0,1]\times\{1\} \) and \(B_{0}=[0,1]\times\{0\}\). We define \(d\) by \(d((x_{1},x_{2}),(y_{1},y_{2}))=\sqrt{(x_{1}-y_{1})^2+(x_{2}-y_{2})^2}\) for all \((x_{1},x_{2}),(y_{1},y_{2})\in X\) and a map \(T:A\to B\) by \begin{align*} &T(x,1) = \left\{\begin{array}{ll} \big(\frac{1}{2}x,0\big) & \mbox{ &nbsp if&nbsp \(x\in[0,1]\)}\\ (\frac{3}{2}x-1,0)&\mbox{ &nbsp if &nbsp \(x\geq1\)}. \end{array} \right. \end{align*} We also define functions \(\alpha: A\times A\to [0,\infty),~\beta: [0,\infty)\to [0,1), and \&nbsp \phi:[0,\infty)\to[0,\infty)\) by \begin{align*} \alpha((p,q),(r,s)) &= \left\{\begin{array}{ll} 2&\mbox{ &nbsp if &nbsp \((p,q),(r,s)\in [0,1]\times\{1\}\)}.\\ 0&\mbox{ &nbsp otherwise,} \end{array} \right.\\ \beta(t) &= \left\{\begin{array}{ll} 0& \mbox{ &nbsp if &nbsp \(t=0\)},\\ \frac{1+t}{1+2t} & \mbox{ &nbsp if \(t>0\), } \end{array} \right. \end{align*} and \begin{align*}\phi(t) &= \left\{\begin{array}{ll} \frac{1}{2}t&\mbox{ &nbsp if &nbsp \(t\in[0,1]\)},\\ \frac{t}{1+t}&\mbox{ &nbsp if &nbsp \(t\geq1\)}. \end{array} \right. \end{align*} Clearly, \(~T(A_{0})\subseteq B_{0}\), \(d(A,B)=1\) and \(T\) is continuous. We choose \(x_{0}=(\frac{1}{2},1)\) and \(x_{1}=(\frac{1}{4},1)\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_{0}, x_{1})\geq 2.\) Now, let \((x,1),~(y,1),~(u,1),~(v,1)\in A\) such that

\begin{align} \label{43} \left\{\begin{array}{ll} \alpha((x,1),(y,1))\geq 2,\\ d((u,1),T(x,1))=d(A,B)=1\\ d((v,1),T(y,1))=d(A,B)=1.~ \end{array}\right. \end{align}
(21)
From (21), we obtain \(x,y\in [0,1],~u=\frac{1}{2}x\in[0,\frac{1}{2}]\), \(v=\frac{1}{2}y\in[0,\frac{1}{2}]\) and hence \(d((u,1),(v,1))\leq d(T(x,1),T(y,1))\). Therefore, the pair \((A,B)\) satisfies the weak \(P\)-property. Also, \(\alpha((u,1),(v,1))\geq 2\). Hence \(T\) is \(\alpha-\)proximal admissible. Clearly, \(T\) is a triangular \(\alpha-\)proximal admissible with respect to \(\eta ((x,1),(y,1))= 2\).

Now, we show that \(T\) is a modified Suzuki-Edelstein-Geraghty proximal contraction mapping. Let \((x,1),~(y,1)\in [0,1]\times\{1\}\), then \(\alpha((x,1),~(y,1))=2\). Without loss of generality assume that \(x>y\). Now, we consider

\begin{align*} {max}&\left\{d\left(\left(x,1\right),\left(y,1\right)\right),{max}\left\{m\left(\left(x,1\right),\left(y,1\right)\right)\right\}-d\left(A,B\right)\right\} \\&={max}\left\{d\left(\left(x,1\right),\left(y,1\right)\right),{max}~\left\{d\left(\left(x,1\right),T\left(x,1\right)\right),d\left(\left(y,1\right),T\left(y,1\right)\right)\right\}-d\left(A,B\right)\right\}\\&={max}\left\{d\left(\left(x,1\right),\left(y,1\right)\right),{max}~\left\{d\left(\left(x,1\right),\left(\frac{1}{2}x,0\right)\right),d\left(\left(y,1\right),\left(\frac{1}{2}y,0\right)\right)\right\}-1\right\}\\&={max}\left\{d\left(\left(x,1\right),\left(y,1\right)\right),~\left\{d\left(\left(x,1\right),\left(\frac{1}{2}x,0\right)\right)\right\}-1\right\}\\&\leq{max}\left\{d\left(\left(x,1\right),\left(y,1\right)\right),~\left\{d\left(\left(x,1\right),\left(\frac{1}{2}x,0\right)\right)\right\}\right\} \\&=d\left(\left(x,1\right),\left(\frac{1}{2}x,0\right)\right). \end{align*} Also we consider \begin{align*} \varphi\left(d\left(\left(x,1\right),T\left(x,1\right)\right)\right)&\leq\frac{1}{2}d\left(\left(x,1\right),T\left(x,1\right)\right)=\frac{1}{2}d\left(\left(x,1\right),\left(\frac{x}{2},0\right)\right)\leq 2d\left(\left(x,1\right),\left(\frac{x}{2},0\right)\right)\\&\leq 2\left(d\left(\left(x,1\right),\left(y,1\right)\right) +d\left(\left(y,1\right),\left(\frac{x}{2},0\right)\right)\right)\leq 2\left(d\left(\left(x,1\right),\left(y,1\right)\right) +d\left(\left(\frac{x}{2},1\right),\left(\frac{x}{2},0\right)\right)\right)\\&=2d\left(\left(x,1\right),\left(y,1\right)\right) + 2d\left(A,B\right). \end{align*} Hence \(\varphi(d((x,1),T(x,1)))-2d(A,B)\leq2d((x,1),(y,1))=\alpha ((x,1),(y,1))d((x,1),(y,1)).\) By (1), it follows that \begin{align*} \frac{1}{4}\sqrt{(x-y)^2}&=\phi(d((T(x,1),T(y,1))))\leq \alpha ((x,1),(y,1))\phi(d((T(x,1),T(y,1))))\\ &\leq\beta\big(\phi(M((x,1),(y,1)))\big)\phi({max}\{d((x,1),(y,1)),{max}\{m((x,1),(y,1))\}-d(A,B)\})\\ &<\phi({max}\{d((x,1),(y,1)),{max}\{m((x,1),(y,1))\}-d(A,B)\})\\ &=\phi(d((x,1),(\frac{1}{2}x,0)))=\frac{\sqrt{\frac{1}{4}x^2+1}}{1+\sqrt{\frac{1}{4}x^2+1}}. \end{align*} Therefore, \(T\) is a modified Suzuki-Edelstein-Geraghty proximal contraction mapping. The point \((0,1)\in A_0\) is the unique best proximity point of \(T\).

If \(\phi(t)=t\) for all \(t\geq 0\), in Theorem 3, we have the following corollary.

Corollary 1. Suppose that \(A\) and \(B\) are two non-empty closed subsets of a complete metric space \((X,d)\) with \(A_0\) is non-empty. Assume that \(\alpha: A\times A\to [0,\infty)\) is a function and there exists \(\beta \in \mathcal{F} \). If \(T:A\to B\) be a non self-mapping such that for all \(x,y\in A\), \( \varphi(d(x,Tx))-2d(A,B)\leq \alpha(x,y)d(x,y)\) implies \(\alpha(x,y)d(Tx,Ty) \leq\beta\big(M(x,y)\big){max}\{d(x,y),m(x,y)-d(A,B)\}, \) where \(M(x,y)=\max \{d(x,y),d(x,Tx),d(y,Ty)\},\) \(m(x,y)={max}\{d(x,Tx),d(y,Ty)\}\) and \(\varphi\in \Phi_{\varphi}\) with the following conditions hold:

  • 1. \(T(A_0)\subseteq B_0\) and the pair \((A,B)\) satisfies the weak \(P\)-property,
  • 2. \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta(x,y)= 2\),
  • 3. \(T\) is continuous,
  • 4. there exist \(x_{0},x_{1}\in A\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_0,x_1)\geq2\),
then \(T\) has a unique best proximity point in \(A_0\).

We can prove the existence and uniqueness of best proximity point by replacing the continuity assumption with RJ-property in Theorem 3.

Theorem 4. Let \((X,d)\) be a complete metric space and \(A\) and \(B\) be non-empty closed subsets of \(X \) with \(A_0\) is non-empty. If \(T: A\to B\) be a modified Suzuki-Edelstein-Geraghty proximal contraction mapping such that the following conditions hold:

  • 1. \(T(A_0)\subseteq B_0\) and the pair \((A,B)\) satisfies the weak \(P\)-property,
  • 2. \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta(x,y)= 2\),
  • 3. \(T\) has the RJ-property and assume that \(\alpha(x,y)\geq 2\) for all \(x,y\in A\),
  • 4. there exist \(x_{0},x_{1}\in A\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_0,x_1)\geq2\),
then \(T\) has a unique best proximity point in \(A_0\).

Proof. From the proof of Theorem 3, \(\{x_n\}\) is cauchy such that \(x_n\to x*\in A\) as \(n\to\infty\). Since \(T\) has the RJ-property \(x^*\in A_0\). We shall prove that \(d(x^*, Tx^*) = d(A,B).\) From the proof of Theorem 3, we have \(d(x_{n+1},x_{n+2})\leq d(x_{n},x_{n+1})\) for all \(n\in\mathbb{N}\cup \{0\}\).

Suppose \(d(x_n,x^*)< \frac{1}{2}d(x_n,x_{n+1})\) and \(d(x_{n+1},x^*)< \frac{1}{2}d(x_{n+1},x_{n+2}),\) for some \(n\in\mathbb{N}.\) Therefore,

\begin{align*} d(x_n,x_{n+1})&\leq d(x_n,x^*)+d(x^*,x_{n+1})< \frac{1}{2}d(x_n,x_{n+1})+\frac{1}{2}d(x_{n+1},x_{n+2})\\ &\leq\frac{1}{2}d(x_n,x_{n+1})+\frac{1}{2}d(x_{n},x_{n+1})=d(x_{n},x_{n+1}), \end{align*} a contradiction. Hence \(d(x_n,x^*)\ge\frac{1}{2}d(x_n,x_{n+1})\) and \(d(x_{n+1},x^*)\ge\frac{1}{2}d(x_{n+1},x_{n+2}),\) for all \(n\in\mathbb{N}.\)

Now, we consider

\begin{align*} \varphi(d(x_n,Tx_n))&\le\frac{1}{2}d(x_n,Tx_n)\le d(x_n,Tx_n)\le d(x_n,x_{n+1})+d(x_{n+1},Tx_n)\\&\leq 2d(x_n,x^*)+d(A,B)\leq 2d(x_n,x^*)+2d(A,B). \end{align*} From the above inequality, we obtain \[\varphi(d(x_n,Tx_n))-2d(A,B)\leq 2d(x_n,x^*)\leq \alpha(x_n,x^*)d(x_n,x^*).\] Since \(x_n\in A ~\forall n\in \mathbb{N}\) and \(x^*\in A\), we obtain \(\alpha(x_n,x^*)\geq 2\). Thus from (1), it follows that
\begin{align} \label{21} \phi(d(Tx_{n},Tx^*))&\leq\alpha(x_n,x^*)\phi(d(Tx_{n},Tx^*))\notag\\&\le\beta\big(\phi(M(x_{n},x^*))\big)\phi({max}\{d(x_{n},x^*),m(x_{n},x^*)-d(A,B)\})\notag\\&<\phi({max}\big\{d(x_{n},x^*),{max}\{m(x_{n},x^*)\}-d(A,B)\})\notag\\&\le\phi({max}\big\{d(x_{n},x^*),{max}\{d(x_{n},x_{n+1})+d(x_{n+1}Tx_{n}),d(x^*,Tx^*)\}-d(A,B)\})\notag\\ &=\phi({max}\big\{d(x_{n},x^*),{max}\{d(x_{n},x_{n+1}),d(x^*,Tx^*)-d(A,B)\}\}). \end{align}
(22)
Letting \(n\to\infty\) in (22), we obtain
\begin{equation} \label{22} \phi\big(\lim\limits_{n\to\infty}d(Tx_n,Tx^*)\big)< \phi\big(d(x^*,Tx^*)-d(A,B)\big). \end{equation}
(23)
Since \(d(x^*,Tx^*)\leq d(x^*,x_{n+1})+d(x_{n+1},Tx_n)+d(Tx_n,Tx^*),\) we get \begin{equation*}d(x^*,Tx^*)-d(x_{n+1},Tx_n)\leq d(x^*,x_{n+1})+d(Tx_n,Tx^*).\end{equation*} From the property of \(\phi\), it follows that \begin{equation*}\phi\big(d(x^*,Tx^*)-d(x_{n+1},Tx_n)\big)\leq\phi\big(d(x^*,x_{n+1})+d(Tx_n,Tx^*)\big).\end{equation*} Hence
\begin{equation} \label{23} \phi\big(d(x^*,Tx^*)-d(A,B)\big)\leq\phi\big(\lim\limits_{n\to\infty}d(Tx_n,Tx^*)\big). \end{equation}
(24)
By (23) and (24), we have \begin{equation*} \phi\big(d(x^*,Tx^*)-d(A,B)\big)\leq\phi\big(\lim\limits_{n\to\infty}d(Tx_n,Tx^*)\big)< \phi\big(d(x^*,Tx^*)-d(A,B)\big),\end{equation*} a contradiction. Hence \(d(x^*,Tx^*)=d(A,B)\). Therefore, \(x^*\) is the best proximity point of \(T\). Uniqueness follows from the proof of Theorem 3.

If we take \(\phi(t)=t\) for all \(t\geq 0\), in Theorem 4, we have the following corollary.

Corollary 2. Suppose that \(A\) and \(B\) are two non-empty closed subsets of a complete metric space \((X,d)\) with \(A_0\) is non-empty. Further suppose that \(\alpha: A\times A\to [0,\infty)\) is a function and there exists \(\beta \in \mathcal{F} \). If \(T:A\to B\) be a non self-mapping such that for all \(x,y\in A\), we have \( \varphi(d(x,Tx))-2d(A,B)\leq \alpha(x,y)d(x,y)\) implies \(\alpha(x,y)d(Tx,Ty) \leq\beta\big(M(x,y)\big){max}\{d(x,y),m(x,y)-d(A,B)\}, \) where \(M(x,y)=\max \{d(x,y),d(x,Tx),d(y,Ty)\}\), \(m(x,y)={max}\{d(x,Tx),d(y,Ty)\}\) and \(\varphi\in \Phi_{\varphi}\), with the following conditions hold:

  • 1. \(T(A_0)\subseteq B_0\) and the pair \((A,B)\) satisfies the weak \(P\)-property,
  • 2. \(T\) is triangular \(\alpha\)-proximal admissible with respect to \(\eta(x,y)= 2\),
  • 3. \(T\) has the RJ-property and assume that \(\alpha(x,y)\geq 2\) for all \(x,y\in A\),
  • 4. there exist \(x_{0},x_{1}\in A\) such that \(d(x_{1},Tx_{0})=d(A,B)\) and \(\alpha(x_0,x_1)\geq2\),
then \(T\) has a unique best proximity point in \(A_0\).

Conflicts of Interest

The author declares no conflict of interest.

References:

  1. Banach, S. (1922). Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae, 3(1), 133-181. [Google Scholor]
  2. Edelstein, M. (1961). An extension of Banach’s contraction principle. Proceedings of the American Mathematical Society, 12(1), 7-10.[Google Scholor]
  3. Geraghty, M. A. (1973). On contractive mappings. Proceedings of the American Mathematical Society, 40(2), 604-608. [Google Scholor]
  4. Suzuki, T. (2008). A generalized Banach contraction principle that characterizes metric completeness. Proceedings of the American mathematical Society, 136(5), 1861-1869. [Google Scholor]
  5. Abkar, A., & Gabeleh, M. (2012). Global optimal solutions of noncyclic mappings in metric spaces. Journal of Optimization Theory and Applications, 153(2), 298-305. [Google Scholor]
  6. Abkar, A., & Gabeleh, M. (2013). Best proximity points of non-self mappings. TOP, 21(2), 287-295. [Google Scholor]
  7. Al-Thagafi, M. A., & Shahzad, N. (2009). Convergence and existence results for best proximity points. Nonlinear Analysis: Theory, Methods & Applications, 70(10), 3665-3671. [Google Scholor]
  8. Basha, S. S. (2011). Best proximity points: optimal solutions. Journal of Optimization Theory and Applications, 151(1), 210-216. [Google Scholor]
  9. Basha, S. S. (2012). Discrete optimization in partially ordered sets. Journal of Global Optimization, 54(3), 511-517. [Google Scholor]
  10. Jleli, M., & Samet, B. (2013). Best proximity points for \(\alpha\)-\(\psi\)proximal contractive type mappings and applications. Bulletin des Sciences Mathématiques, 137(8), 977-995. [Google Scholor]
  11. Kumam, P., Salimi, P., & Vetro, C. (2014). Best proximity point results for modified \(\alpha\)-proximal \(C\)-contraction mappings. Fixed Point Theory and Applications, 2014(1), Article No. 99. [Google Scholor]
  12. Zhang, J., Su, Y., & Cheng, Q. (2013). A note on ‘A best proximity point theorem for Geraghty-contractions’. Fixed Point Theory and Applications, 2013(1), Article No. 99. [Google Scholor]
  13. Hamzehnejadi, J., & Lashkaripour, R. (2016). Best proximity points for generalized \(\alpha-\phi-\)Geraghty proximal contraction mappings and its applications. Fixed Point Theory and Applications, 2016(1), Article No. 72. [Google Scholor]
  14. Hussain, A., Iqbal, M. Q., & Hussain, N. (2019). Best proximity point results for Suzuki-Edelstein proximal contractions via auxiliary functions. Filomat, 33(2), 435-447. [Google Scholor]
  15. Babu, G. V. R., & Sailaja, P. D. (2012). A fixed point theorem of generalized weakly contractive maps in orbitally complete metric spaces. Thai Journal of Mathematics, 9(1), 1-10. [Google Scholor]