 Research
 Open access
 Published:
Coincidence best proximity point theorems for proximal Berinde gcyclic contractions in metric spaces
Journal of Inequalities and Applications volumeÂ 2021, ArticleÂ number:Â 21 (2021)
Abstract
In this paper, we introduce the notions of proximal Berinde gcyclic contractions of two nonselfmappings and proximal Berinde gcontractions, called proximal Berinde gcyclic contraction of the first and second kind. Coincidence best proximity point theorems for these types of mappings in a metric space are presented. Some examples illustrating our main results are also given. Our main results extend and generalize many existing results in the literature.
1 Introduction
Fixed point theory has an important role in the study of theory of nonlinear equations. Several problems can be formulated as equations of the form \(Jx=x\), where J is a selfmapping in a metric space or in other spaces as appropriate framework. Fixed point theory concerning contraction and generalized contractions has been studied by many mathematicians. It is wellknown that the first person who gave the idea of a contraction was Banach [4]. In 1922, he introduced the concept of a contraction of a selfmapping in a metric space and proved that every contraction mapping from a complete metric space X into itself has a unique fixed point. Later, in 2004, the Romanian mathematician Berinde [7] introduced the concept of a weak contraction mapping in a metric space, which is the generalization of the contraction mapping. He proved that every weak contraction mapping from a complete metric space X into itself has a fixed point. In addition to the references mentioned above, there are two interesting articles about the existence of a fixed point for a singlevalued mapping which was studied by Hussain et al. [16] and Latif et al. [20]. Although fixed point theory has great importance in solving nonlinear equations of the form \(Jx=x\), where J is a selfmapping, if J is a nonselfmapping, then it is possible that J has no fixed points. But we know that the distance between x and Jx is always greater than or equal to zero. So \(d(x,Jx)\geq 0\) for all x in the domain of J. Hence, it raises the following question: Can we find an element x in the domain of J such that
where \(D(J)\) is the domain of J. From the above questions, this resulted in the study of a best proximity point theorem. Let \((X,\\cdot \)\) be a normed vector space and C a nonempty compact convex subset in X. In 1969, Fan [12] was the first to study the best proximity point theorem, and he proved that if \(J:C\to X\) is a contraction nonselfmapping, then there exists \(x^{*}\in C\) such that \(\x^{*}Jx^{*}\=d(Jx^{*},C)\), where \(d(Jx^{*},C)=\min \{\Jx^{*}x\ : x\in C\}\). Clearly, if \(J(C)\subseteq C\), then \(x^{*}\) is a fixed point of J. Later, Kirk et al. [19] studied and introduced the concept of a cyclic mapping in the context of a metric space. Moreover, they proved that if \(J:Y\cup Z\to Y\cup Z\) is a cyclic mapping on a complete metric space \((X,d)\) and J satisfies the condition
for some \(\alpha \in [0,1)\) and for all \(x\in Y\), \(y\in Z\), then \(Y\cap Z \neq \emptyset \) and J has a unique fixed point in \(Y\cup Z\). Three years later, Eldred and Veeramani [11] introduced the concept of a cyclic contraction and proved the existence and convergence results of a best proximity point for the cyclic contraction in a uniformly metric space and a convex Banach space, which is an extension of the results of Kirk et al. [19] to the case \(Y\cap Z \neq \emptyset \). Based on the concept of Eldred and Veeramani [11], many mathematicians got interested in studying best proximity point theorems in various directions. More details can be found in [1, 9, 13, 15, 17, 21, 22].
In 2011, Gabeleh and Abker [15] studied and discussed the existence and convergence of a best proximity point of a semicyclic contraction pair \((J,T)\), where J and T are selfmappings on \(Y\cup Z\). In the same year, Basha [5] introduced the concept of a proximal cyclic contraction of two mappings J and T. Furthermore, the author gave the concept of a proximal contraction of the first and the second kind for nonselfmappings. Especially, the author obtained some interesting results on best proximity points for there mappings in a complete metric space.
In addition to the above article, many famous researchers have been interested in studying best proximity point theory in different directions. For more details, see Ayari et al. [3], Sehgal and Singh [25], Vetrivel et al. [26], Anuradha and Veeramani [2], Basha and Veeramani [6], Kirk et al. [18], Raj [23], Gabeleh [14], Abkar and Gabeleh [1], Du and Lakzian [10], Eldred and Veeramani [11], Reich [24], and the references therein.
The main aim of this paper is to study a coincidence best proximity point result for proximal Berinde gcyclic contraction of two nonselfmappings, and a coincidence best proximity point result for proximal Berinde gcontraction of the first and second kind on a complete metric space.
2 Preliminaries
In this section, we will review the notations and definitions to provide basic knowledge for creating the main results of this article.
Definition 2.1
([7])
Let \((X, d)\) be a metric space. A mapping \(J : X \to X\) is called a weak contraction if there exist \(k \in (0,1)\) and \(L \geq 0\) such that
Remark 2.2
In some articles, the mapping J satisfying the condition (2.1) is called an almost contraction (see, [8]).
Let \((X,d)\) be a metric space and Y, Z be nonempty subsets of X. Let \(J : Y \to Z\) and \(g:Y\to Y\) be mappings. A point \(x\in Y\) such that \(d(x,Jx)=d(Y,Z)\) is called a best proximity point ofÂ J. A point \(x\in Y\) is said to be a coincidence best proximity point of the pair \((g,J)\) if \(d(gx,Jx)=d(Y,Z)\). We give the meaning of the sets \(Y_{0}\) and \(Z_{0}\) as follows:
A mapping \(J:Y \cup Z \to Y \cup Z\) is called a cyclic mapping if \(J(Y)\subseteq Z\) and \(J(Z)\subseteq Y\).
Definition 2.3
([11])
A mapping \(J:Y \cup Z \to Y \cup Z\) is called a cyclic contraction if the following conditions hold:

(i)
J is a cyclic mapping;

(ii)
There exists \(k \in (0,1)\) such that \(d(Jx,Jy) \leq kd(x,y)+(1k)d(Y,Z)\) for all \(x\in Y\), \(y\in Z\).
Definition 2.4
([15])
Let Y, Z be two nonempty closed subsets of a complete metric space \((X, d)\), and let J, T be two selfmaps on \(Y\cup Z\). We call \((J, T)\) a semicyclic contraction pair if the following conditions hold:

(i)
J is a cyclic mapping;

(ii)
There exists \(\alpha \in (0,1)\) such that \(d(Jx,Ty) \leq \alpha d(x,y)+(1\alpha )d(Y,Z)\) for all \(x\in Y\), \(y\in Z\).
Obviously, in the case that \(J = T\), a semicyclic contraction pair reduces to a cyclic contraction.
Definition 2.5
([5])
Given nonselfmappings \(J : Y\to Z\) and \(T : Z\to Y\), the pair \((J, T)\) is said to form a proximal cyclic contraction if there exists a nonnegative number \(\alpha < 1\) such that
for all u, x in Y and v, y in Z.
Definition 2.6
([5])
A mapping \(J : Y\to Z\) is said to be a proximal contraction of the first kind if there exists a nonnegative number \(\alpha < 1\) such that
for all \(u_{1}\), \(u_{2}\), \(x_{1}\), \(x_{2}\) in Y.
Note that, if J is a selfmapping, then, using Definition 2.6, we get that J is a contraction. So, the pair \((J, J)\) forms a proximal cyclic contraction.
Definition 2.7
([5])
A mapping \(J : Y \to Z\) is said to be a proximal contraction of the second kind if there exists a nonnegative real number \(\alpha < 1\) such that
for all \(u_{1}\), \(u_{2}\), \(x_{1}\), \(x_{2}\) in Y.
It is remarked that in the case that J is a nonselfmapping, a proximal contraction of the first kind reduces to a contraction and every contraction is a proximal contraction of the second kind.
Definition 2.8
([5])
Given a mapping \(J : Y \to Z\) and an isometry \(g : Y\to Y\), the mapping J is said to preserve isometric distance with respect to g if
for all \(x_{1}\) and \(x_{2}\) in Y.
Also, Basha [5] proved the existence of the following best proximity point in a complete metric space.
Theorem 2.9
(Basha [5], Theorem 3.1)
Let Y and Z be nonempty closed subsets of a complete metric space such that \(Y_{0}\) and \(Z_{0}\) are nonempty. Let \(J : Y\to Z\), \(T : Z\to Y\), and \(g : Y\cup Z \to Y\cup Z\) satisfy the following conditions:

(a)
J and T are proximal contractions of the first kind;

(b)
\(J(Y_{0}) \subseteq Z_{0}\) and \(T(Z_{0})\subseteq Y_{0}\);

(c)
The pair \((J,T)\) forms a proximal cyclic contraction;

(d)
g is an isometry;

(e)
\(Y_{0} \subseteq g(Y_{0})\) and \(Z_{0} \subseteq g(Z_{0})\).
Then, there exist a unique element x in Y and a unique element y in Z satisfying
Further, for any fixed element \(x_{0}\) in \(Y_{0}\), the sequence \(\{x_{n}\}\), defined by
converges to the element x. For any fixed element \(y_{0}\) in \(Z_{0}\), the sequence \(\{y_{n}\}\), defined by
converges to the element y.
Motivated by Eldred and Veeramani [11], Gabeleh and Abker [15], and Basha [5], and the idea of Berinde [7], we introduce the new classes of proximal Berinde gcontractions of the first and second kind, and proximal Berinde gcyclic contractions which are more general than the class of nonselfmappings in [5]. Moreover, we obtain a coincidence best proximity point theorem. We also give some examples to illustrate our results.
3 Main results
In this section, we shall first introduce proximal Berinde gcontractions of the first and second kind, as well as proximal Berinde gcyclic contractions. Then, we prove the existence of coincidence best proximity points for these nonselfmappings in a metric space. Throughout this section, Y and Z are two nonempty subsets of a metric space \((X,d)\).
Definition 3.1
Let \(J:Y \rightarrow Z\), \(T:Z \rightarrow Y\) and \(g:Y\cup Z\to Y\cup Z\) be mappings. An element \((x,y)\in Y\times Z\) is called a coincidence best proximity point of the triple \((g,J,T)\) if \((gx,gy)\in Y\times Z\) and \(d(gx,Jx)=d(Y,Z)=d(gy,Ty)\).
Definition 3.2
Let \(J:Y \rightarrow Z\) and \(g:Y\to Y\) be mappings. A mapping J is said to be a proximal Berinde gcontraction of the first kind if there exist \(\alpha \in [0,1)\) and \(L_{1}\geq 0\) such that for all \(x_{1},x_{2},u_{1},u_{2} \in Y\),
From Definition 3.2, if we take \(L_{1}=0\) and g as the identity mapping, then a proximal Berinde gcontraction of the first kind reduces to a proximal contraction of the first kind which was introduced by Basha [5].
Example 3.3
Consider the complete metric space \(\mathbb{R}^{2}\) with the usual metric defined by
Let \(Y=\{(1,y):y\in [1,0]\}\cup \{(0,0)\}\) and \(Z=\{(x,y)\in \mathbb{R}^{2}:x^{2}+y^{2}=1 \text{ and } x\in [1,0]\}\). Then \(d(Y,Z)=1\). Define the mappings \(J:Y\to Z\) and \(g:Y\to Y\) as follows:
and
Now, we will show that J is a proximal Berinde gcontraction of the first kind. Let \(x_{1}=(x_{1}',y_{2}')\), \(x_{2}=(x_{2}',y_{2}')\in Y\) and \(u_{1},u_{2}\in Y\) be such that
We shall divide the consideration into five cases.
Case 1. Let \(x_{1}=(0,0)=x_{2}\). Then \(Jx_{1}=(0,1)=Jx_{2}\), and so \(gu_{1}=gu_{2}=(0,0)\). Obviously, J satisfies the inequality (3.1), for all \(L_{1}\geq 0\).
Case 2. Let \(x_{1}=(0,0)\), \(x_{2}=(x_{2}',y_{2}')\in Y\{(0,0)\}\) (similarly, if \(x_{2}=(0,0)\), \(x_{1}\in Y\{(0,0)\}\)). Then \(Jx_{1}=(0,1)\), \(Jx_{2}= ( \frac{y_{2}'}{2},\sqrt{1\frac{{y_{2}'}^{2}}{4}} )\), and so \(gu_{1}=(0,0)\), \(gu_{2}\in \{(0,0),(1,1)\}\).

If \(gu_{2}=(0,0)\), then J satisfies the inequality (3.1), for all \(L_{1}\geq 0\).

If \(gu_{2}=(1,1)\), then \(x_{2}=(1,0)\). This implies
$$ d(gu_{1},gu_{2})=\sqrt{2}, d(gx_{1},gx_{2})=1\quad \text{and}\quad \min \bigl\{ d(gx_{1},gu_{2}),d(gx_{2},gu_{1}) \bigr\} =1. $$It follows that
$$ d(gu_{1},gu_{2})\leq \frac{1}{2}d(gx_{1},gx_{2})+L_{1} \min \bigl\{ d(gx_{1},gu_{2}), d(gx_{2},gu_{1}) \bigr\} , $$for all \(L_{1}\geq \sqrt{2}\frac{1}{2}\).
Case 3. Let \(x_{1}\), \(x_{2}\in Y\{(0,0),(1,0)\}\). Then \(gu_{1}=gu_{2}=(0,0)\). Obviously, J satisfies the inequality (3.1), for all \(L_{1}\geq 0\).
Case 4. Let \(x_{1}=(1,0)=x_{2}\). Then \(Jx_{1}=(0,1)=Jx_{2}\), and so \(gu_{1},gu_{2}\in \{(0,0),(1,1)\}\). Obviously, if \(gu_{1}=gu_{2}\), then J satisfies the inequality (3.1) for all \(L_{1}\geq 0\).
Suppose that \(gu_{1}\neq gu_{2}\). Then
It follows that
where \(L_{1}\geq \sqrt{2}\).
Case 5. Let \(x_{1}=(1,0)\) and \(x_{2}\in \{(0,0),(1,0)\}\) (similarly, if \(x_{2}=(1,0)\), \(x_{1}\in Y\{(0,0), (1,0)\}\)). Then \(Jx_{1}=(0,1)\), \(Jx_{2}= ( \frac{y_{2}'}{2},\sqrt{1 \frac{y_{2}^{\prime 2}}{4}} )\), and so \(gu_{1}\in \{(0,0),(1,1)\}\), \(gu_{2}=(0,0)\). Obviously, if \(gu_{1}=gu_{2}=(0,0)\), then J satisfies the inequality (3.1) for all \(L_{1}\geq 0\).
Suppose that \(gu_{1}\neq gu_{2}\). Then
It follows that
where \(L_{1}\geq \sqrt{2}\). From each case, we can conclude that J is a proximal Berinde gcontraction of the first kind with \(\alpha =\frac{1}{2}\) and \(L_{1}=\sqrt{2}\). From Case 4, we noticed that J is not a proximal contraction of the first kind when \(L_{1}=0\) and g is the identity mapping.
Definition 3.4
Let \(J:Y \rightarrow Z\) and \(g:Y\to Y\) be mappings. A mapping J is said to be a proximal Berinde gcontraction of the second kind if there exist \(\beta \in [0,1)\) and \(L_{2}\geq 0\) such that for all \(x_{1},x_{2},u_{1},u_{2} \in Y\),
From Definition 3.4, if we take \(L_{2}=0\) and g as the identity mapping, then a proximal Berinde gcontraction of the second kind reduces to a proximal contraction of the second kind which was introduced by Basha [5].
Definition 3.5
Let \(J:Y \rightarrow Z\), \(T:Z \rightarrow Y\) and \(g:Y\cup Z\to Y\cup Z\) be mappings. The pair \((J,T)\) is said to be a proximal Berinde gcyclic contraction if there exist \(\gamma \in [0,1)\) and \(L\geq 0\) such that
for all \(x_{1},gu_{1} \in Y\) and \(x_{2}, gu_{2} \in Z \).
From Definition 3.5, if we take \(L=0\) and g as the identity mapping, then a proximal Berinde gcyclic contraction reduces to a proximal cyclic contraction which was introduced by Basha [5].
Before giving the coincidence best proximity point theorems, we give the following lemmas, which are important tools for proving the existence of coincidence best proximity points in a metric space.
Lemma 3.6
Let Y and Z be nonempty subsets of a metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y \to Z\) and \(g:Y\to Y\) with \(J(Y_{0})\subseteq Z_{0} \) and \(Y_{0}\subseteq g(Y_{0})\). Then

(i)
For each \(x\in Y_{0}\), there exists \(y\in Y_{0}\) such that \(d(gy,Jx)=d(Y,Z)\);

(ii)
For each \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) in \(Y_{0}\) satisfies
$$ d(gx_{n+1},Jx_{n})=d(Y,Z), \quad \textit{for all } n\in \mathbb{N}^{*}. $$
Proof
(i) Let \(x\in Y_{0}\) be given. Since \(J(Y_{0})\subseteq Z_{0}\), \(Jx\in Z_{0}\). Then, there exists \(z\in Y_{0}\) such that \(D(z,Jx)=d(Y,Z)\). Since \(Y_{0}\subseteq g(Y_{0})\), there exists \(y\in Y_{0}\) such that \(z=gy\), and then \(d(gy,Jx)=d(Y,Z)\).
(ii) Let \(x_{0}\in Y_{0}\) be given. By using (i), we get that there exists \(x_{1}\in Y_{0}\) such that
Again, from \(x_{1}\in Y_{0}\) and using (i), we have that there exists \(x_{2}\in Y_{0}\) such that
Continuing in the same way, we can establish a sequence \(\{x_{n}\}\) in \(Y_{0}\) such that
The proof is completed.â€ƒâ–¡
Lemma 3.7
Let Y be a nonempty closed subset of a complete metric space \((X,d)\). Suppose that \(\{x_{n}\}\) is a sequence in Y and there exists \(\alpha \in [0,1)\) such that
then a sequence \(\{x_{n}\}\) converges to some point x in Y.
Proof
We shall divide our proof into two cases.
Case 1. If \(d(x_{0},x_{1})=0\) or \(\alpha =0\), then we get that \(\{x_{n}\}\) converges to some point x in Y.
Case 2. If \(d(x_{0},x_{1})\neq 0\) and \(\alpha \neq 0\), then for each \(m,n\in \mathbb{N}\) such that \(m>n\),
Since \(\alpha \in (0,1)\), \(\{x_{n}\}\) is a Cauchy sequence in X, and hence converges to some point x in Y since Y is closed.â€ƒâ–¡
Lemma 3.8
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\), with \(Y_{0}\) being nonempty. Let \(J:Y\to Z\) and \(g:Y\to Y\) satisfy the following conditions:

(i)
J is a proximal Berinde gcontraction of the first kind such that \(J(Y_{0})\subseteq Z_{0}\);

(ii)
g is an isometry with \(Y_{0}\subseteq g(Y_{0})\).
Then, there exists a point \(x\in Y\) such that \(x_{n}\to x\), as \(n\to \infty \).
Proof
Let \(x_{0}\in Y_{0}\) be given. By Lemma 3.6, we can find a sequence \(\{x_{n}\}\) in \(Y_{0}\) defined by
Since J is a proximal Berinde gcontraction of the first kind and
we obtain that for each \(n\in \mathbb{N}\),
By using (3.4), we get
It implies that
because g is an isometry. Since \(\alpha \in [0,1)\) and using Lemma 3.7, we obtain that there exists \(x\in Y\) such that \(x_{n}\to x\) as \(n\to \infty \).â€ƒâ–¡
Theorem 3.9
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y\to Z\), \(T:Z\to Y\), and \(g:Y\cup Z\to Y\cup Z\) satisfy the following conditions:

(i)
J and T are proximal Berinde gcontractions of the first kind, i.e., there exist \(\alpha , \beta \in [0,1)\) and \(L_{1},L_{2}\geq 0\) such that J and T satisfy the condition (3.1), respectively;

(ii)
\(J(Y_{0})\subseteq Z_{0}\) and \(T(Z_{0})\subseteq Y_{0}\);

(iii)
g is an isometry with \(Y_{0}\subseteq g(Y_{0})\) and \(Z_{0}\subseteq g(Z_{0})\);

(iv)
The pair \((J,T)\) is a proximal Berinde gcyclic contraction.
Then, there exists a point \(x\in Y\) and there exists a point \(y\in Z\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x, and for any fixed \(y_{0}\in Z_{0}\), the sequence \(\{y_{n}\}\) defined by
converges to the element y.
In addition, if \(\alpha +L_{1}<1\) and \(\beta +L_{2}<1\), then there exists a unique element x and there exists a unique element y which satisfy the equation (3.5).
Proof
From J satisfies the conditions (i)â€“(iii) and using Lemma 3.8, we get that for \(x_{0}\in Y_{0}\), we can find a sequence \(\{x_{n}\}\) in \(Y_{0}\) such that
and which converges to some element \(x\in Y\). Similarly, for \(y_{0}\in Z_{0}\), we can find a sequence \(\{y_{n}\}\) in \(Z_{0}\) such that
and which converges to some element \(y\in Z\). Since the pair \((J,T)\) is a proximal Berinde gcyclic contraction and
there exist \(\gamma \in [0,1)\) and \(L\geq 0\) such that
It implies that
Taking limit as \(n\to \infty \), we have \(d(x,y)\leq \gamma d(x,y)+(1\gamma )d(Y,Z)\), and so \(d(x,y)\leq d(Y,Z)\). Then \(d(x,y)= d(Y,Z)\), that is, \(x\in Y_{0}\) and \(y\in Z_{0}\). Since \(J(Y_{0})\subseteq Z_{0}\) and \(T(Z_{0})\subseteq Y_{0}\), \(Jx\in Z_{0}\) and \(Ty\in Y_{0}\). Hence there exist \(w\in Y_{0}\) and \(v\in Z_{0}\) such that
since \(Y_{0}\subseteq g(Y_{0})\) and \(Z_{0}\subseteq g(Z_{0})\). Since J is a proximal Berinde gcontraction of the first kind and
we obtain that
Taking \(n\to \infty \) in above inequality, by the continuity of g, we get \(d(gw,gx)=0\), and so, \(gx=gw\). It implies that
Similarly, it is easy to verify that \(d(gy,Ty)=d(Y,Z)\). Thus, we can conclude that
Therefore, \((x,y)\) is a coincidence best proximity point of the triple \((g,J,T)\). Next, we will show that \((x,y)\) is unique. Suppose that \(\alpha +L_{1}<1\), \(\beta +L_{2}<1\) and there exists \(gw\in Y_{0}\) such that
Since J is a proximal Berinde gcontraction of the first kind, we have that
Since \(\alpha +L_{1}<1\), \(d(gx,gw)=0\). It follows that \(gx=gw\), which implies that there exists a unique \(x\in Y\) such that \(d(gx,Jx)=d(Y,Z)\). Similarly, we can show that there exists a unique \(y\in Z\) such that \(d(gy,Ty)=d(Y,Z)\). Therefore, the pair \((x,y)\) is a unique coincidence best proximity point of the triple \((g,J,T)\).â€ƒâ–¡
Example 3.10
Consider the complete metric space \(\mathbb{R}^{2}\) with the usual metric defined by
Let \(Y=\{(x,0)\in \mathbb{R}^{2}: x\in [0,1] \}\) and \(Z=\{(y,1)\in \mathbb{R}^{2}: y\in [0,1] \}\). Then \(d(Y,Z)=1\), \(Y_{0}=Y\) and \(Z_{0}=Z\). Define the mappings \(J:Y\to Z\), \(T:Z\to Y\), and \(g:Y\cup Z \to Y\cup Z\) by
Obviously, g is an isometry, J and T are proximal Berinde gcontractions of the first kind, and the pair \((J,T)\) is a proximal Berinde gcyclic contraction. Clearly, the mappings J, T, and g satisfy the conditions (ii) and (iv). Therefore, all hypothesis of Theorem 3.9 are satisfied. Moreover, \((0,0)\in Y\) is a coincidence best proximity point of the pair \((g,J)\) and \((0,1)\in Z\) is a coincidence best proximity point of the pair \((g,T)\), i.e., \(((0,0),(0,1))\) is a coincidence best proximity point of the triple \((g,J,T)\).
If we take \(L_{1}=0\), \(L_{2}=0\) and \(L=0\) in Theorem 3.9, we obtain the following coincidence best proximity point theorem which is more general than that of Basha [5].
Corollary 3.11
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y\to Z\), \(T:Z\to Y\), and \(g:Y\cup Z\to Y\cup Z\) satisfy the following conditions:

(i)
J and T are proximal gcontractions of the first kind;

(ii)
\(J(Y_{0})\subseteq Z_{0}\) and \(J(Z_{0})\subseteq Y_{0}\);

(iii)
g is an isometry with \(Y_{0}\subseteq g(Y_{0})\) and \(Z_{0}\subseteq g(Z_{0})\);

(iv)
The pair \((J,T)\) is a proximal gcyclic contraction.
Then, there exists a unique point \(x\in Y\) and there exists a unique point \(y\in Z\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x and for any fixed \(y_{0}\in Z_{0}\), the sequence \(\{y_{n}\}\) defined by
converges to the element y.
If g is the identity mapping, we immediately obtain the following corollary as follows.
Corollary 3.12
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y\to Z\) and \(T:Z\to Y\) satisfy the following conditions:

(i)
J and T are proximal contractions of the first kind;

(ii)
\(J(Y_{0})\subseteq Z_{0}\) and \(J(Z_{0})\subseteq Y_{0}\);

(iii)
The pair \((J,T)\) is a proximal cyclic contraction.
Then, there exist a unique point \(x\in Y\) and a unique point \(y\in Z\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x and, for any fixed \(y_{0}\in Z_{0}\), the sequence \(\{y_{n}\}\) defined by
converges to the element y.
Theorem 3.13
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y\to Z\) and \(g:Y\to Y\) satisfy the following conditions:

(i)
J is a proximal Berinde gcontraction of the first and second kind, i.e., there exist \(\alpha , \beta \in [0,1)\) and \(L_{1},L_{2}\geq 0\) such that J satisfies the conditions (3.1) and (3.2), respectively;

(ii)
J preserves the isometric distance with respect to g and \(J(Y_{0})\subseteq Z_{0}\);

(iii)
g is an isometry with \(Y_{0}\subseteq g(Y_{0})\).
Then, there exists a point \(x\in Y\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x.
In addition, if \(\alpha +L_{1}<1\) and \(\beta +L_{2}<1\), then there exists a unique coincidence best proximity point of the pair \((g,J)\).
Proof
By Lemma 3.8, it is possible to establish a sequence \(\{x_{n}\}\) in \(Y_{0}\) such that
Since J is a proximal Berinde gcontraction of the first kind and
there exist \(\alpha \in [0,1)\) and \(L_{1}\geq 0\) such that
Since g is an isometry, \(d(x_{n},x_{n+1})\leq \alpha d(x_{n1},x_{n})\), for all \(n\in \mathbb{N}\).
Hence
By Lemma 3.7, we get that there exists \(x\in Y_{0}\) such that
Since J is a proximity Berinde gcontractions of the second kind and due to (3.7), there exist \(\beta \in [0,1)\) and \(L_{2}\geq 0\) such that
Since J preserves isometric distance with respect to g,
This implies that
By Lemma 3.7, we get that there exists \(y\in Z\) such that
From (3.8), (3.9), and \(d(gx_{n+1},Jx_{n})=d(Y,Z)\), we get
This implies that \(gx\in Y_{0}\). Since \(Y_{0}\subseteq g(Y_{0})\), there exists \(z\in Y_{0}\) such that \(gx=gz\). So, \(x=z\in Y_{0}\) because g is an isometry. Since \(J(Y_{0})\subseteq Z_{0}\), \(Jx\in Z_{0}\) and there exists \(u\in Y_{0}\) such that
Again, since J is a proximity Berinde gcontractions of the first kind and due to (3.7),
Taking limit as \(n\to \infty \), we have \(d(gu,gx)=0\). Thus, \(gu=gx\). From (3.10), we obtain that
i.e., x is a coincidence best proximity point of the pair \((g,J)\). The uniqueness and remaining path of the proof follows by that of Theorem 3.9.â€ƒâ–¡
Example 3.14
Consider the complete metric space \(\mathbb{R}\) with the usual metric. Let \(Y=[1,1]\) and \(Z=[4,3]\cup [3,4]\). Then \(d(Y,Z)=2\), \(Y_{0}=\{1,1\}\) and \(Z_{0}=\{3,3\}\). Define the mappings \(J:Y\to Z\) and \(g:Y \to Y\) by
Obviously, g is an isometry with \(Y_{0}\subseteq g(Y_{0})\), J preserves the isometric distance with respect to g and it is a proximal Berinde gcontraction of the first and the second kind with \(J(Y_{0})\subseteq Z_{0}\). Therefore, all hypothesis of Theorem 3.13 are valid. Moreover, \(1\in Y\) is a coincidence best proximity point of the pair \((g,J)\).
If we suppose that \(Y_{0}\) is closed in Theorem 3.13, then we do not need to assume that J is a proximal Berinde gcontractions of the second kind. This gives the following theorem.
Theorem 3.15
Suppose that all the assumptions of Lemma 3.8hold. In addition, suppose that \(Y_{0}\) is closed. Then, there exists an element x in Y such that \(d(gx,Jx)=d(Y,Z)\), i.e., x is a coincidence best proximity point of the pair \((g,J)\).
Proof
By the proof of Lemma 3.8, we get that the sequence \(\{x_{n}\}\) in \(Y_{0}\) defined by
converges to an element \(x\in Y\). Since \(Y_{0}\) is closed, we obtain that \(x\in Y_{0}\). Since \(J(Y_{0})\subseteq Z_{0}\), there exists \(z\in Y_{0}\) such that
Since J is a proximal Berinde gcontraction of the first kind and using (3.11), we have
Taking \(n\to \infty \) in the above inequality, by the continuity of g, we get \(d(gx,gz)=0\), and so, \(gx=gz\). It implies that
i.e., x is a coincidence best proximity point of the pair \((g,J)\).â€ƒâ–¡
If we take \(L_{1}=0\) and \(L_{2}=0\) in Theorem 3.13, we obtain the following coincidence best proximity point result, which is more general than a coincidence best proximity point result in [5].
Corollary 3.16
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Let \(J:Y\to Z\) and \(g:Y\to Y\) satisfy the following conditions:

(i)
J is a proximal contraction of the first and second kind;

(ii)
J preserves the isometric distance with respect to g and \(J(Y_{0})\subseteq Z_{0}\);

(iii)
g is an isometry with \(Y_{0}\subseteq g(Y_{0})\).
Then, there exists a unique element \(x\in Y\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x.
If g is the identity mapping, we obtain the following result by applying Theorem 3.13 as follows.
Corollary 3.17
Let Y and Z be nonempty closed subsets of a complete metric space \((X,d)\) such that \(Y_{0}\) is nonempty. Suppose that \(J:Y\to Z\) is a proximal contraction of the first and the second kind with \(J(Y_{0})\subseteq Z_{0}\). Then there exists a unique element \(x\in Y\) such that
Moreover, for any fixed \(x_{0}\in Y_{0}\), the sequence \(\{x_{n}\}\) defined by
converges to the element x.
Availability of data and materials
Not applicable.
References
Abkar, A., Gabeleh, M.: Best proximity points of nonself mappings. Top 21(2), 287â€“295 (2013)
Anuradha, J., Veeramani, P.: Proximal pointwise contraction. Topol. Appl. 156(18), 2942â€“2948 (2009). https://doi.org/10.1016/j.topol.2009.01.017
Ayari, M.I., Mustafa, Z., Jaradat, M.M.: Generalization of best proximity points theorem for nonself proximal contractions of first kind. Fixed Point Theory Appl. 2019, 7 (2019)
Banach, S.: Sur les opÃ©rations dans les ensembles abstraits et leur application aux Ã©quations intÃ©grales. Fundam. Math. 3, 133â€“181 (1922)
Basha, S.S.: Best proximity point theorems generalizing the contraction principle. Nonlinear Anal. 74, 5844â€“5850 (2011)
Basha, S.S., Veeramani, P.: Best proximity pair theorems for multifunctions with open fibres. J. Approx. Theory 103(1), 119â€“129 (2000)
Berinde, V.: Approximating fixed points of weak contractions using the Picard iteration. Nonlinear Anal. Forum 9(1), 43â€“53 (2004)
Berinde, V., Pacurar, M.: Fixed points and continuity of almost contractions. Fixed Point Theory 9(1), 23â€“34 (2008)
Derafshpour, M., Rezapour, S., Shahzad, N.: Best proximity points of cycliccontractions in ordered metric spaces. Topol. Methods Nonlinear Anal. 37, 193â€“202 (2011)
Du, W.S., Lakzian, H.: Nonlinear conditions for the existence of best proximity points. J. Inequal. Appl. (2012). https://doi.org/10.1186/1029242X2012206
Eldred, A.A., Veeramani, P.: Existence and convergence of best proximity points. J. Math. Anal. Appl. 323(2), 1001â€“1006 (2006)
Fan, K.: Extensions of two fixed point theorems of F.E. Browder. Math. Z. 122, 234â€“240 (1969)
Felicit, J.M., Eldred, A.A.: Best proximity points for cyclical contractive mappings. Appl. Gen. Topol. 16, 119â€“126 (2015)
Gabeleh, M.: Global optimal solutions of nonself mappings. UPB Sci. Bull., Ser. A 75(3), 67â€“74 (2013)
Gabeleh, M., Abkar, A.: Best proximity points for semicyclic contractive pairs in Banach spaces. Int. Math. Forum 6, 2179â€“2186 (2011)
Hussain, N., Parvaneh, V., Roshan, J.R., Kadelburg, Z.: Fixed points of cyclic weakly \((\psi ,\varphi ,L,A,B)\)contractive mappings in ordered bmetric spaces with applications. Fixed Point Theory Appl. 2013, 256 (2013). https://doi.org/10.1186/168718122013256
Karapinar, E.: Best proximity points of cyclic mappings. Appl. Math. Lett. 25, 1761â€“1766 (2012)
Kirk, W.A., Reich, S., Veeramani, P.: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24(7â€“8), 851â€“862 (2003)
Kirk, W.A., Srinivasan, P.S., Veeramani, P.: Fixed points for mapping cyclic contractions. Fixed Point Theory 4, 79â€“89 (2003)
Latif, A., Roshan, J.R., Parvaneh, V., Hussain, N.: Fixed point results via Î±admissible mappings and cyclic contractive mappings in partial bmetric spaces. J. Inequal. Appl. 2014, 345 (2014). https://doi.org/10.1186/1029242X2014345
Mongkolkeha, C., Cho, Y.J., Kumam, P.: Best proximity points for generalized proximal Ccontraction mappings in metric spaces with partial orders. J. Inequal. Appl. 2013, 94 (2013)
Parvaneh, V., Haddadi, M.R., Aydi, H.: On best proximity point results for some type of mappings. J. Funct. Spaces 2020, Article ID 6298138 (2020)
Raj, V.S.: A best proximity point theorem for weakly contractive nonself mappings. Nonlinear Anal., Theory Methods Appl. 74(14), 4804â€“4808 (2011)
Reich, S.: Approximate selections, best approximations, fixed points, and invariant sets. J. Math. Anal. Appl. 62(1), 104â€“113 (1978)
Sehgal, V.M., Singh, S.P.: A theorem on best approximations. Numer. Funct. Anal. Optim. 10(1â€“2), 181â€“184 (1989)
Vetrivel, V., Veeramani, P., Bhattacharyya, P.: Some extensions of Fanâ€™s best approximation theorem. Numer. Funct. Anal. Optim. 13(3â€“4), 397â€“402 (1992)
Acknowledgements
The authors would like to thank all the benefactors for their remarkable comments, suggestions, and ideas that helped improve this paper. This research was financially supported by the Faculty of Science, Mahasarakham University.
Funding
This research was financially supported by the Faculty of Science, Mahasarakham University.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the articleâ€™s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the articleâ€™s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Klanarong, C., Chaiya, I. Coincidence best proximity point theorems for proximal Berinde gcyclic contractions in metric spaces. J Inequal Appl 2021, 21 (2021). https://doi.org/10.1186/s13660021025475
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660021025475