 Research
 Open Access
 Published:
Best approximation and variational inequality problems involving a simulation function
Fixed Point Theory and Applications volume 2016, Article number: 26 (2016)
Abstract
We prove the existence of a gbest proximity point for a pair of mappings, by using suitable hypotheses on a metric space. Moreover, we establish some convergence results for a variational inequality problem, by using the variational characterization of metric projections in a real Hilbert space. Our results are applicable to classical problems of optimization theory.
Introduction
Let A and B be two nonempty subsets of a metric space \((X,d)\) and \(T:A\rightarrow B\) be a nonselfmapping. The equation \(Tx=x\) is known as a general fixed point equation and its solution is related to the solution of many practical situations arising in pure and applied sciences. For instance, it is well known that many problems involving differential equations may be solved by searching for the existence of a fixed point of an integral operator. But for the existence of a fixed point of T, we need that \(T ( A ) \cap A\neq\emptyset\), otherwise \(d ( x,Tx ) >0\) for all \(x\in A\). In such a situation, it is natural to search a point \(x\in A\) such that x is closest to Tx in some sense. To clarify and support this assertion, we recall the following best approximation theorem due to Ky Fan [1], in a metric version.
Theorem 1.1
([1])
Let A be a nonempty compact convex subset of a normed linear space X and \(T : A \to X\) be a continuous mapping. Then there exists \(x \in A\) such that \(\x  Tx\ = d(Tx, A)\).
This result is related to the existence of an approximate solution to the equation \(Tx=x\). Theoretical and practical aspects of this theorem have been discussed by various mathematicians; we refer the reader to [2–11].
On the other hand, very recently Khojasteh et al. [12] introduced the concept of \(\mathcal{Z}\)contraction, by using a notion of simulation function. Consequently, fixed point results involving a \(\mathcal{Z}\)contraction are established in [12]. This approach has been of great importance to discuss various fixed point problems from an unifying point of view; see for instance [13–15] and the references therein. For more contributions on the development of fixed point theorems see [16–18].
We generalize and extend many results in the existing literature, by establishing some best proximity point theorems involving \(\mathcal{Z}\)proximal contractions; see [19, 20]. In particular, we prove the existence of a unique gbest proximity point, which is a point \(x \in A\) such that \(d(gx, Tx) = d(A, B)\), where \(g : A \to A\) is a selfmapping. As an application, we give sufficient conditions to ensure the existence of a unique solution for a variational inequality problem and propose a convergent iterative algorithm to approximate this solution, by using metric projections. Our results are applicable to some classical problems of optimization theory.
Preliminaries
Let \(\mathbb{R}\), \(\mathbb{N}\), and \(\mathbb{Q}\) denote the sets of all real numbers, positive integers and rational numbers, respectively. Let A and B be two nonempty subsets of a metric space \((X,d)\). By using the usual notation in nonlinear analysis, we recall the following notions:
Kirk et al. gave sufficient conditions to ensure that \(A_{0}\) and \(B_{0}\) are nonempty sets; see [8]. On the other hand, Sadiq Basha and Veeramani proved that \(A_{0}\) is contained in the boundary of A; see [20].
In the sequel, we are interested in establishing results involving new types of proximal contraction and hence we recall the fundamental definitions in this direction; see [21, 22].
Definition 2.1
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). A nonselfmapping \(T:A\rightarrow B\) is said to be a contraction if
for all \(x,y\in X\), where \(k \in[0,1[\).
Definition 2.2
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). A nonselfmapping \(T:A\rightarrow B\) is said to be a proximal contraction of the first kind if
for all \(u,v,x,y\in A\), where \(k \in[0,1[\).
Definition 2.3
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). A nonselfmapping \(T:A\rightarrow B\) is said to be a proximal contraction of the second kind if
for all \(u,v,x,y\in A\), where \(k \in[0,1[\).
Many authors generalized these concepts and proved their best approximation theorems; see for instance [23–25].
In 2011, Sankar Raj [10] introduced the notion of Pproperty as follows.
Definition 2.4
([10], Definition 3)
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 and only if \(d(x_{1}, y_{1}) = d(A, B)= d(x_{2}, y_{2})\) implies \(d(x_{1}, x_{2}) = d(y_{1}, y_{2})\) where \(x_{1}, x_{2} \in A_{0}\) and \(y_{1}, y_{2} \in B_{0}\).
By using Definition 2.4, Sankar Raj in [10] gave an extended version of the contraction mapping principle in [21]. Of course, for every nonempty subset A of X, the pair \((A, A)\) has the Pproperty. We shall consider this property in a remark of the next section.
Definition 2.5
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). Let \(g:A\rightarrow A\) be a selfmapping and \(T:A\rightarrow B\) a nonselfmapping. Then

(i)
\(g \in\mathcal{G}_{A}\) if g is continuous and \(d(x,y) \leq d(gx,gy)\) for all \(x,y \in A\);

(ii)
\(T \in\mathcal{T}_{g}\) if \(d(Tx,Ty) \leq d(Tgx,Tgy)\) for all \(x,y \in A\).
Finally, Khojasteh et al. in [12] defined a simulation function as follows.
Definition 2.6
A simulation function is a mapping \(\zeta: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb{R}\) satisfying the following conditions:
 (\(\zeta_{1}\)):

\(\zeta(0,0)=0\);
 (\(\zeta_{2}\)):

\(\zeta(t,s)< st\), for all \(t,s>0\);
 (\(\zeta_{3}\)):

if \(\{t_{n}\}\), \(\{s_{n}\}\) are sequences in \(]0,+\infty[\) such that \(\lim_{n\to\infty} t_{n} = \lim_{n\to+\infty }s_{n}=\ell\in\, ]0,+\infty[\), then \(\limsup_{n\to+\infty} \zeta(t_{n},s_{n})<0\).
Consequently, they established the existence and uniqueness of fixed point for a selfmapping defined in a complete metric space.
Theorem 2.1
([12])
Let \((X,d)\) be a complete metric space and \(f: X\to X\) be a \(\mathcal {Z}\)contraction with respect to a certain simulation function ζ, that is,
Then f has a unique fixed point. Moreover, for every \(x_{0}\in X\), the Picard sequence \(\{f^{n}x_{0}\}\) converges to this fixed point.
Successively, Argoubi et al. [13] point out the fact that condition (\(\zeta_{1}\)) is not mentioned in the proof of Theorem 2.1. Moreover, by putting \(x=y\) in (1), it follows that \(\zeta (0,0)\geq0\) and hence, if \(\zeta(0,0)<0\), the set of mappings \(f:X\to X\) satisfying condition (1) is an empty set.
Consequently, Argoubi et al. proposed a slight modification of Definition 2.6, by removing the condition (\(\zeta_{1}\)) and retaining the rest.
Remark 2.1
Every simulation function of Khojasteh et al. is also a simulation function of Argoubi et al. However, the converse is not true.
Example 2.1
([13], Example 2.4)
Let \(\zeta_{\lambda}: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb{R}\) be the function defined by
where \(\lambda\in\, ]0,1[\). Then \(\zeta_{\lambda}\) satisfies (\(\zeta_{2}\)) and (\(\zeta_{3}\)) with \(\zeta_{\lambda}(0,0)>0\).
In order to avoid confusion, we refer to the following definition.
Definition 2.7
A simulation function is a mapping \(\zeta: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb{R}\) satisfying the conditions (\(\zeta_{2}\)) and (\(\zeta_{3}\)).
Best proximity point theorems
In view of Definition 2.7, we consider the following notions of proximal contractions.
Definition 3.1
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). A nonselfmapping \(T:A\rightarrow B\) is said to be a \(\mathcal {Z}\)proximal contraction of the first kind if there exists a simulation function \(\zeta:[0,+\infty [\, \times[0,+\infty[ \, \to\mathbb{R}\) such that
for all \(u,v,x,y\in A\).
Remark 3.1
If \(T:A \to B\) is a \(\mathcal{Z}\)proximal contraction of the first kind and \((A,B)\) has the Pproperty, then T is a \(\mathcal {Z}\)contraction.
Example 3.1
Let \(X=\mathbb{R}\) be endowed with the usual metric \(d(x,y)=xy\) for all \(x,y \in X\). Consider \(A=[0, \frac{1}{2}]\) and \(B=[0,1]\) so that \(d(A,B)=0\). Define a mapping \(T:A \to B\) by
and the simulation function \(\zeta: [0, +\infty[\, \times[0, +\infty[\, \to \mathbb{R}\) by
It is easy to show that T is a \(\mathcal{Z}\)proximal contraction of the first kind, but not a proximal contraction of the first kind.
Indeed, from \(d(u,Tx)=d(v,Ty) = 0=d( A,B)\), we get \((x,y )= (\frac{u}{1u},\frac{v}{1v} )\), with \(u,v \in[0, \frac{1}{3}]\), and hence
since \(u+v \gequv+uv\). Thus, T is a \(\mathcal{Z}\)proximal contraction of the first kind.
On the other hand, there does not exist \(k \in[0,1[\) such that
for all \(u,v \in[0, \frac{1}{3}]\), and hence T is not a proximal contraction of the first kind.
Definition 3.2
Let A and B be two nonempty subsets of a metric space \(( X,d ) \). A nonselfmapping \(T:A\rightarrow B\) is said to be a \(\mathcal {Z}\)proximal contraction of the second kind if there exists a simulation function \(\zeta:[0,+\infty [ \, \times[0,+\infty[ \, \to\mathbb{R}\) such that
for all \(u,v,x,y\in A\).
Example 3.2
Let \(X=\mathbb{R}\) be endowed with the usual metric \(d(x,y)=xy\) for all \(x,y \in X\), and \(A=B=[0,1]\). Define a mapping \(T:[0,1] \to[0,1]\) by
Now, consider the function \(\zeta_{\lambda}: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb{R}\) given in Example 2.1. It is easy to show that T is a \(\mathcal{Z}\)proximal contraction of the second kind, but not a \(\mathcal{Z}\)proximal contraction of the first kind.
The following lemma is useful to show that a given sequence is Cauchy; see Lemma 2.1. in [26]; see also Lemma 2.1. in [17].
Lemma 3.1
Let \((X, d)\) be a metric space and \(\{x_{n}\}\) a given sequence in X. Suppose that
If \(\{x_{n}\}\) is not a Cauchy sequence, then there exists an \(\varepsilon> 0\) for which we can find subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of \(\{x_{n}\}\) such that

(i)
\(n_{k} > m_{k} \geq k\), \(k \in\mathbb{N}\);

(ii)
\(d(x_{n_{k}}, x_{m_{k}}) \geq\varepsilon\), \(d(x_{n_{k}1}, x_{m_{k}}) < \varepsilon\), \(k \in\mathbb{N}\);

(iii)
\(\lim_{k \to+ \infty}d(x_{n_{k}}, x_{m_{k}})=\varepsilon=\lim_{k \to+ \infty}d(x_{n_{k}+1}, x_{m_{k}+1})\).
On this basis, we construct our results. Precisely, we establish some theorems of gbest proximity point for \(\mathcal{Z}\)proximal contractions and deduce some corollaries.
Theorem 3.1
Let A and B be two nonempty subsets of a complete metric space \((X,d)\). Suppose that \(A_{0}\) is nonempty and closed. Assume also that the mappings \(T:A\rightarrow B\) and \(g:A\rightarrow A\) satisfy the following conditions:

(a)
T is a \(\mathcal{Z}\)proximal contraction of the first kind;

(b)
\(g \in\mathcal{G}_{A}\);

(c)
\(T ( A_{0} ) \subseteq B_{0}\);

(d)
\(A_{0}\subseteq g ( A_{0} )\).
Then there exists a unique point \(x\in A\) such that \(d ( gx,Tx ) =d ( A,B ) \). Moreover, for every \(x_{0}\in A_{0}\) there exists a sequence \(\{ x_{n} \} \subseteq A\) such that \(d ( gx_{n+1},Tx_{n} ) =d ( A,B ) \) for every \(n\in\mathbb {N}\cup \{0\}\) and \(x_{n}\rightarrow x\).
Proof
Let \(x_{0}\in A_{0}\). Since \(T ( A_{0} ) \subseteq B_{0}\) and \(A_{0}\subseteq g ( A_{0} )\), there exists \(x_{1}\in A_{0}\) such that
Clearly, for \(x_{1}\in A_{0}\), there exists \(x_{2}\in A_{0}\) such that
By repeating this process, for \(x_{n}\in A_{0}\), we can find \(x_{n+1}\in A_{0}\) such that
In the constructive process of \(\{x_{n}\}\), if for some \(m >n\), we have \(Tx_{m}=Tx_{n}\), then we choose \(x_{m+1}=x_{n+1}\). Also, if there exists \(m \in\mathbb{N}\) such that \(d(gx_{m+1},gx_{m})=0\), then \(x_{m+1}=x_{m}\), and hence \(Tx_{m+1}=Tx_{m}\) and \(x_{m+2}=x_{m+1}\). It follows that \(x_{n}=x_{m}\) for all \(n \in\mathbb{N}\) with \(n \geq m\) and so the sequence \(\{x_{n}\}\) converges to \(x_{m} \in A\). We also have \(d(gx_{m},Tx_{m})=d(A,B)\).
Then we suppose that \(0< d(x_{n+1},x_{n}) \leq d(gx_{n+1},gx_{n})\neq0\) for all \(n \in\mathbb{N}\). Since T is a \(\mathcal{Z}\)proximal contraction of the first kind and \(g \in\mathcal{G}_{A}\), we write
for every \(n\in \mathbb{N}\). This implies that the sequence \(\{d(x_{n},x_{n1})\}\) is decreasing and hence there exists \(r \geq0\) such that \(d(x_{n},x_{n1}) \to r\). Suppose \(r >0\). From (2), we deduce also that
On the other hand \(g \in\mathcal{G}_{A}\) and hence
Consequently,
Now, using the property (\(\zeta_{3}\)) of a simulation function, we write
which is a contradiction and hence \(r=0\).
The next step is to show that the sequence \(\{x_{n}\}\) is Cauchy. By contradiction, assume that \(\{x_{n}\}\) is not a Cauchy sequence. Then, by Lemma 3.1, there exist an \(\varepsilon>0\) and two subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of \(\{x_{n}\}\) such that \(n_{k} > m_{k} \geq k\) and \(d(x_{n_{k}},x_{m_{k}}) \geq \varepsilon\) for all \(k \in\mathbb{N}\) and
Then we can assume that \(d(x_{n_{k}+1},x_{m_{k}+1})>0\) for all \(k \in \mathbb{N}\). Since T is a \(\mathcal{Z}\)proximal contraction of the first kind and \(d(gx_{n_{k}+1},Tx_{n_{k}})=d(A,B)=d(gx_{m_{k}+1},Tx_{m_{k}})\), we obtain
for all \(k \in\mathbb{N}\). Thus, the previous inequality and \(g \in \mathcal{G}_{A}\) ensure that
By using the property (\(\zeta_{3}\)) of a simulation function, with \(t_{k} = d(gx_{n_{k}+1},gx_{m_{k}+1})\) and \(s_{k} =d(x_{n_{k}},x_{m_{k}})\), we obtain
which is a contradiction. We conclude that the sequence \(\{x_{n}\}\) is Cauchy. Since \((X,d)\) is complete and \(A_{0}\) is closed, then \(A_{0}\) is complete and hence there exists \(x\in A_{0}\) such that \(x_{n}\rightarrow x\). Moreover, by the continuity of g, we have \(gx_{n}\rightarrow gx\) and thus \(gx\in A_{0}\), since \(gx_{n}\in A_{0}\) for all \(n\in\mathbb{N}\) and \(A_{0}\) is closed. On the other hand, since \(x\in A_{0}\) and \(T ( A_{0} ) \subseteq B_{0}\), there exists \(z\in A_{0}\) such that \(d (z, Tx ) =d ( A,B )\).
Now, if \(z=gx_{n}\) for infinite \(n \in\mathbb{N}\), then \(z=gx\). Hence we assume that \(z \neq gx_{n}\) for all \(n \in\mathbb{N}\). Also there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{k}} \neq x\) for all \(k \in\mathbb{N}\). Again, since T is a \(\mathcal{Z}\)proximal contraction of the first kind, we get
and hence
Letting \(k\rightarrow+\infty\), we obtain \(d ( z,gx_{n_{k}+1} ) \rightarrow0\) and then \(z=gx\). This implies that
To prove the uniqueness, let \(x^{\ast}\neq x\) be another point in \(A_{0}\) such that
Since \(g \in\mathcal{G}_{A}\) and T is a \(\mathcal{Z}\)proximal contraction of the first kind, we write
which leads to \(x=x^{\ast}\), a contradiction. □
We get the following corollary, by setting g as the identity mapping on A in Theorem 3.1.
Corollary 3.1
Let A and B be two nonempty subsets of a complete metric space \((X,d)\). Suppose that \(A_{0}\) is nonempty and closed. Assume also that the mapping \(T:A\rightarrow B\) satisfies the following conditions:

(a)
T is a \(\mathcal{Z}\)proximal contraction of the first kind;

(b)
\(T ( A_{0} ) \subseteq B_{0}\).
Then there exists a unique point \(x\in A\) such that \(d( x,Tx) =d( A,B)\). Moreover, for every \(x_{0}\in A_{0}\) there exists a sequence \(\{ x_{n}\} \subseteq A\) such that \(d( x_{n+1},Tx_{n}) =d( A,B) \) for every \(n \in\mathbb{N} \cup \{0\}\) and \(x_{n}\rightarrow x\).
Example 3.3
Let X, A, B, d, T, and ζ be as in Example 3.1. Notice that \(A_{0}=A=B_{0}\) is closed and \(T(A_{0}) \subseteq B_{0}\). Thus, by an application of Corollary 3.1, the mapping \(T:A \to B\) has a unique point \(x\in A\) such that \(d(x,Tx)=0 =d( A,B)\); here \(x=0\).
From Theorem 3.1, we obtain the following corollary which is a generalization of Theorem 3.1 of [6].
Corollary 3.2
Let A and B be two nonempty subsets of a complete metric space \((X,d)\). Suppose that \(A_{0}\) is nonempty and closed. Assume also that the mappings \(T:A\rightarrow B\) and \(g:A\rightarrow A\) satisfy the following conditions:

(a)
T is a proximal contraction of the first kind;

(b)
\(g \in\mathcal{G}_{A}\);

(c)
\(T ( A_{0} ) \subseteq B_{0}\);

(d)
\(A_{0}\subseteq g ( A_{0} ) \).
Then there exists a unique point \(x\in A\) such that \(d ( gx,Tx ) =d ( A,B ) \). Moreover, for every \(x_{0}\in A_{0}\) there exists a sequence \(\{ x_{n} \} \subseteq A\) such that \(d ( gx_{n+1},Tx_{n} ) =d ( A,B ) \) for every \(n \in\mathbb{N} \cup\{0\}\) and \(x_{n}\rightarrow x\).
Proof
Note that a proximal contraction of the first kind is a \(\mathcal {Z}\)proximal contraction of the first kind with respect to the simulation function \(\zeta: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb {R}\) defined by \(\zeta(t,s)=kst\) for all \(t,s \in[0, +\infty[\), where \(k \in[0,1)\). □
The following theorem establishes a result of existence of a gbest proximity point for a \(\mathcal{Z}\)proximal contraction of the second kind.
Theorem 3.2
Let A and B be two nonempty subsets of a complete metric space \((X,d)\). Suppose that \(T ( A_{0} ) \) is nonempty and closed. Assume also that the mappings \(T:A\rightarrow B\) and \(g:A\rightarrow A\) satisfy the following conditions:

(a)
T is a \(\mathcal{Z}\)proximal contraction of the second kind;

(b)
T is injective on \(A_{0}\);

(c)
\(T\in\mathcal{T}_{g}\);

(d)
\(T ( A_{0} ) \subseteq B_{0}\);

(e)
\(A_{0}\subseteq g ( A_{0} ) \).
Then there exists a unique point \(x\in A\) such that \(d ( gx,Tx ) =d ( A,B ) \). Moreover, for every \(x_{0}\in A_{0}\) there exists a sequence \(\{ x_{n} \} \subseteq A\) such that \(d ( gx_{n+1},Tx_{n} ) =d ( A,B ) \) for every \(n\in\mathbb {N}\cup \{0\}\) and \(x_{n}\rightarrow x\).
Proof
By following a similar reasoning to that in the proof of Theorem 3.1, one can construct a sequence \(\{ x_{n}\} \subseteq A_{0}\) such that \(d( gx_{n+1},Tx_{n}) =d( A,B)\) for all \(n\in\mathbb{N}\). Moreover, in the constructive process of \(\{x_{n}\}\) if \(Tx_{m}=Tx_{n}\) for some \(m>n\), then we choose \(x_{m+1}= x_{n+1}\). This condition ensures that if, for some \(m \in\mathbb{N}\), we have \(x_{m}= x_{m+1}\), then \(x_{n}= x_{m}\) for all \(n \geq m\). So the sequence \(\{x_{n}\}\) converges to \(x_{m}\) and also \(d(gx_{m},Tx_{m})=d(A,B)\). Thus, we can suppose that \(d(x_{n+1},x_{n}) \neq0\) for all \(n \in\mathbb{N} \cup\{0\}\). Since T is a \(\mathcal{Z}\)proximal contraction of the second kind, we have
From \(T\in\mathcal{T}_{g}\) and T being injective on \(A_{0}\), we deduce that \(d( Tgx_{n+1},Tgx_{n}) >0\) and \(d( Tx_{n},Tx_{n1}) >0\) for all \(n \in\mathbb{N}\). By using the property (\(\zeta_{2}\)) of a simulation function, we get
for every \(n\in \mathbb{N}\). This implies that the sequence \(\{d(Tx_{n},Tx_{n1})\}\) is decreasing and hence there exists \(r \geq0\) such that \(d(Tx_{n},Tx_{n1}) \to r\). Suppose \(r >0\). From (3) we deduce also that
On the other hand \(T \in\mathcal{T}_{g}\) and hence
Consequently,
Now, using the property (\(\zeta_{3}\)) of a simulation function, we write
which is a contradiction and hence \(r=0\).
Next step is to show that the sequence \(\{Tx_{n}\}\) is Cauchy. By contradiction, assume that \(\{Tx_{n}\}\) is not a Cauchy sequence. Then, by Lemma 3.1, there exist an \(\varepsilon>0\) and two subsequences \(\{Tx_{n_{k}}\}\) and \(\{Tx_{m_{k}}\}\) of \(\{Tx_{n}\}\) such that \(n_{k} > m_{k} \geq k\) and \(d(Tx_{n_{k}},Tx_{m_{k}}) \geq \varepsilon\) for all \(k \in\mathbb{N}\) and
Then we can assume that \(d(Tx_{n_{k}+1},Tx_{m_{k}+1})>0\) for all \(k \in \mathbb{N}\). Since T is a \(\mathcal{Z}\)proximal contraction of the second kind and \(d(gx_{n_{k}+1},Tx_{n_{k}})=d(A,B)=d(gx_{m_{k}+1},Tx_{m_{k}})\), we obtain
for all \(k \in\mathbb{N}\). Thus the previous inequality and \(T \in\mathcal{T}_{g}\) ensure that
By using the property (\(\zeta_{3}\)) of a simulation function, with \(t_{k} = d(Tgx_{n_{k}+1},Tgx_{m_{k}+1})\) and \(s_{k} =d(Tx_{n_{k}},Tx_{m_{k}})\), we obtain
which is a contradiction. We conclude that the sequence \(\{Tx_{n}\}\) is Cauchy.
By the completeness of \((X,d)\) and since \(T ( A_{0} ) \) is closed, we have \(Tx_{n}\rightarrow Tu\in B_{0}\). Moreover, there exists \(z\in A_{0}\) such that
Since \(A_{0}\subseteq g ( A_{0} ) \), we obtain \(z=gx\) for some \(x\in A_{0}\), and hence
Clearly, if \(x=x_{n}\) for infinite \(n \in\mathbb{N}\), then \(Tx=Tu\). Therefore, we assume that \(x \neq x_{n}\) for all \(n \in\mathbb{N}\). Also there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(Tx_{n_{k}} \neq Tu\) for all \(k \in\mathbb{N}\). Again, since T is a \(\mathcal{Z}\)proximal contraction of the second kind, we get
and hence
for all \(k \in\mathbb{N}\), since \(T \in\mathcal{T}_{g}\). Letting \(k\rightarrow+\infty\), we obtain \(d ( Tx,Tx_{n_{k}+1} ) \rightarrow0\) and hence \(Tx=Tu\). This implies that
To prove the uniqueness, let \(x^{\ast} \neq x\) be another point in \(A_{0}\) such that
Since \(T\in\mathcal{T}_{g}\) is injective on \(A_{0}\) and T is a \(\mathcal{Z}\)proximal contraction of the second kind, we write
which leads to contradiction; we conclude that \(Tx=Tx^{\ast}\) and hence \(x=x^{\ast}\). □
We get the following corollary, by setting g as the identity mapping on A in Theorem 3.2.
Corollary 3.3
Let A and B be two nonempty subsets of a complete metric space \((X,d)\). Suppose that \(T ( A_{0} ) \) is nonempty and closed. Assume also that the mapping \(T:A\rightarrow B\) satisfies the following conditions:

(a)
T is a \(\mathcal{Z}\)proximal contraction of the second kind;

(b)
T is injective on \(A_{0}\);

(c)
\(T ( A_{0} ) \subseteq B_{0}\).
Then there exists a unique point \(x\in A\) such that \(d ( x,Tx ) =d ( A,B )\). Moreover, for every \(x_{0}\in A_{0}\) there exists a sequence \(\{ x_{n} \} \subseteq A\) such that \(d ( x_{n+1},Tx_{n} ) =d ( A,B ) \) for every \(n\in\mathbb{N} \cup \{0\}\) and \(x_{n}\rightarrow x\).
Example 3.4
Let \(X=\mathbb{R}\) be endowed with the usual metric \(d(x,y)=xy\) for all \(x,y \in X\). Consider \(A=[3,1]\), \(B=[0,1]\) so that \(d(A,B)=1\) and define \(T:A\to B\) by
We have
and hence \(T(A_{0})=\{0\}=B_{0}\).
It is easy to show that T is a \(\mathcal{Z}\)proximal contraction of the second kind, where the function \(\zeta_{\lambda}: [0, +\infty[\, \times[0, +\infty[\, \to\mathbb{R}\) is given in Example 2.1.
Indeed, from \(d(u,Tx)=d(v,Ty) = 1=d( A,B)\), we get \((u,v)=(1,1)\) for \(x,y \in\{3,1\}\) and hence
Therefore all the conditions of Corollary 3.3 hold true and \(x=1\) is the unique point such that \(d(1,T(1))=1=d(A,B)\).
Variational inequality problems
Let H be a real Hilbert space, with inner product \(\langle\cdot, \cdot\rangle\) and induced norm \(\ \cdot\\). Let K be a nonempty, closed, and convex subset of H. We consider a monotone variational inequality problem as follows; see [27, 28].
Problem 4.1
Find \(u \in K\) such that \(\langle Su, vu \rangle\geq0\) for all \(v \in K\), where \(S : H \to H\) is a monotone operator (i.e., \(\langle Su  Sv, vu \rangle\geq0\) for all \(u,v \in K\)).
The interest for variational inequalities theory is due to the fact that a wide class of equilibrium problems, arising in pure and applied sciences, can be treated in an unified framework [29]. Now, we recall the metric projection, say \(P_{K}:H \rightarrow K\), which is a powerful tool for solving a variational inequality problem. Referring to classical books on approximation theory in inner product spaces, see [30], we recall that for each \(u \in H\), there exists a unique nearest point \(P_{K}u \in K\) such that
The theoretical background of projection and related approximation methods can be found in [30], too. Here, we need the following crucial lemmas, relating the existence of a solution for a variational inequality problem and the existence of a fixed point of a certain mapping.
Lemma 4.1
Let \(z \in H\). Then \(u \in K\) satisfies the inequality \(\langle uz,yu \rangle\geq0\), for all \(y \in K\) if and only if \(u=P_{K}z\).
Lemma 4.2
Let \(S : H \to H\) be monotone. Then \(u \in K\) is a solution of \(\langle S u, vu \rangle\geq0\), for all \(v \in K\), if and only if \(u=P_{K}(u \lambda Su)\), with \(\lambda>0\).
On this basis, we give some general convergence results on the solution of Problem 4.1.
Theorem 4.1
Let K be a nonempty, closed, and convex subset of a real Hilbert space H and \(I_{K}\) be the identity operator on K. Assume that the monotone operator \(S: H \rightarrow H\) satisfies the following condition:

(a)
\(P_{K}(I_{K} \lambda S): K \rightarrow K\) is a \(\mathcal {Z}\)contraction, with \(\lambda>0\).
Then there exists a unique point \(u \in K\) such that \(\langle Su, vu \rangle\geq0\) for all \(v \in K\). Moreover, for every \(u_{0}\in K\), there exists a sequence \(\{u_{n}\} \subseteq K\) such that \(u_{n+1}=P_{K}(u_{n}  \lambda Su_{n})\) for every \(n \in\mathbb{N} \cup\{0\}\) and \(u_{n} \to u\).
Proof
Define \(T : K \to K\) by \(Tx=P_{K}(x \lambda Sx)\) for all \(x \in K\) so that, by Lemma 4.2, \(u \in K\) is a solution of \(\langle S u, vu \rangle\geq0\) for all \(v \in K\) if and only if \(u=Tu\). Clearly, the operator T satisfies all the hypotheses of Theorem 2.1 by setting \(A=B=K\). We deduce that the conclusions of Theorem 4.1 hold true as an immediate consequence of Theorem 2.1. □
Inspired by Theorem 4.1, one can consider the following algorithm to solve Problem 4.1.
Variational inequality problem solving algorithm
 Step 1 :

(Initialization): Select an arbitrary starting point \(u_{0} \in K\).
 Step 2 :

(Iteration): Given the current approximation point \(u_{n} \in K\), \(n \in\mathbb{N} \cup\{0\}\), compute
$$u_{n+1}=P_{K}(u_{n}  \lambda Su_{n}), $$satisfying Theorem 4.1(a).
In view of the proof of Theorem 4.1 (and hence Theorem 2.1), this algorithm generates sequences converging to a unique solution of Problem 4.1.
From Corollary 3.3, we obtain the following result for the solution of a variational inequality problem.
Theorem 4.2
Let K be a nonempty, closed, and convex subset of a real Hilbert space H and \(I_{K}\) be the identity operator on K. Assume that the monotone operator \(S: H \rightarrow H\) satisfies the following conditions:

(a)
\(P_{K}(I_{K} \lambda S): K \rightarrow K\) is a \(\mathcal {Z}\)proximal contraction of the second kind, with \(\lambda>0\);

(b)
\(P_{K}(I_{K} \lambda S)\) is injective on K;

(c)
\(P_{K}(I_{K} \lambda S)(K)\) is closed.
Then there exists a unique point \(u \in K\) such that \(\langle Su, vu \rangle\geq0\) for all \(v \in K\). Moreover, for every \(u_{0}\in K\), there exists a sequence \(\{u_{n}\} \subseteq K\) such that \(u_{n+1}=P_{K}(u_{n}  \lambda Su_{n})\) for every \(n \in\mathbb{N} \cup\{0\}\) and \(u_{n} \to u\).
Inspired by Theorem 4.2, one can consider the following algorithm to solve Problem 4.1.
Variational inequality problem solving algorithm
 Step 1 :

(Initialization): Select an arbitrary starting point \(u_{0} \in K\).
 Step 2 :

(Iteration): Given the current approximation point \(u_{n} \in K\), \(n \in\mathbb{N} \cup\{0\}\), compute
$$u_{n+1}=P_{K}(u_{n}  \lambda Su_{n}), $$satisfying Theorem 4.2(a)(c).
Our results apply to some fundamental problems of optimization theory. In fact, as a special case of Problem 4.1, we retrieve the following constrained minimization problem.
Problem 4.2
Find \(u \in K\) such that \(\langle\nabla fu, vu \rangle\geq0\) for all \(v \in K\), where \(f : H \to\mathbb{R}\) is a continuously differentiable function which is convex on K with ∇f denoting the gradient of f.
A second special case of Problem 4.1, is the following hierarchical variational inequality problem.
Problem 4.3
Let \(\operatorname{Fix}(g):=\{x \in K : x=gx\}\), where \(g:K \to K\) is such that \(\gxgy\ \leq\xy\\) (i.e., g is nonexpansive). Find \(u \in \operatorname{Fix}(g)\) such that \(\langle Su, vu \rangle\geq0\) for all \(v \in \operatorname{Fix}(g)\), where \(S : K \to K\) is a monotone continuous operator.
Finally, by using the Gâteaux directional derivative of a metric projection, we denote
where \(S:K \to H\) is continuous.
Now, consider the initial value problem:
whose critical points satisfy \(\frac{dx(t)}{dt}= 0\).
In [31], the authors proved that the set of critical points of (4) coincides with the set of solutions of a monotone variational inequality problem involving the operator S. Thus, our theory is applicable to the study of (4), which is associated to various economic problems; see again [31].
Conclusions
Best approximation and fixed point theories are continuously expanding topics due to their applications in many fields of pure and applied mathematics. Thus, we gave new theorems of gbest proximity point by using a notion of simulation function. This approach is useful to cover existing results in the literature from an unifying point of view. A discussion of the solvability of monotone variational inequality problems and related optimization problems supports the new theory.
References
 1.
Fan, K: Extensions of two fixed point theorems of F.E. Browder. Math. Z. 122(3), 234240 (1969)
 2.
Abkar, A, Gabeleh, M: Proximal quasinormal structure and a best proximity point theorem. J. Nonlinear Convex Anal. 14(4), 653659 (2013)
 3.
AlThagafi, MA, Shahzad, N: Convergence and existence results for best proximity points. Nonlinear Anal. 70(10), 36653671 (2009)
 4.
Di Bari, C, Suzuki, T, Vetro, C: Best proximity points for cyclic MeirKeeler contractions. Nonlinear Anal. 69(11), 37903794 (2008)
 5.
Eldred, AA, Veeramani, P: Existence and convergence of best proximity points. J. Math. Anal. Appl. 323(2), 10011006 (2006)
 6.
FernándezLeón, A: Best proximity points for proximal contractions (2012). arXiv:1207.4349v1 [math.FA]
 7.
Karpagam, S, Agrawal, S: Best proximity point theorems for pcyclic MeirKeeler contractions. Fixed Point Theory Appl. 2009, Article ID 197308 (2009)
 8.
Kirk, WA, Reich, S, Veeramani, P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24(78), 851862 (2003)
 9.
Sadiq Basha, S: Best proximity points: global optimal approximate solutions. J. Glob. Optim. 49(1), 1521 (2011)
 10.
Sankar Raj, V: A best proximity point theorem for weakly contractive nonselfmappings. Nonlinear Anal. 74(14), 48044808 (2011)
 11.
Vetro, C: Best proximity points: convergence and existence theorems for pcyclic mappings. Nonlinear Anal. 73(7), 22832291 (2010)
 12.
Khojasteh, F, Shukla, S, Radenović, S: A new approach to the study of fixed point theorems via simulation functions. Filomat 29(6), 11891194 (2015)
 13.
Argoubi, H, Samet, B, Vetro, C: Nonlinear contractions involving simulation functions in a metric space with a partial order. J. Nonlinear Sci. Appl. 8(6), 10821094 (2015)
 14.
Nastasi, A, Vetro, P: Fixed point results on metric and partial metric spaces via simulation functions. J. Nonlinear Sci. Appl. 8(6), 10591069 (2015)
 15.
Roldán, A, Karapınar, E, Roldán, C, MartínezMoreno, J: Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 275, 345355 (2015)
 16.
Khojasteh, F, Karapınar, E, Radenović, S: θMetric spaces: a generalization. Math. Probl. Eng. 2013, Article ID 504609 (2013)
 17.
Radenović, S, Kadelburg, Z, Jandrlić, D, Jandrlić, A: Some results on weakly contractive maps. Bull. Iran. Math. Soc. 38(3), 625645 (2012)
 18.
Van An, T, Van Dung, N, Kadelburg, Z, Radenović, S: Various generalizations of metric spaces and fixed point theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 109(1), 175198 (2015)
 19.
Sadiq Basha, S: Best proximity point theorems: an exploration of a common solution to approximation and optimization problems. Appl. Math. Comput. 218(19), 97739780 (2012)
 20.
Sadiq Basha, S, Veeramani, P: Best proximity pair theorems for multifunctions with open fibres. J. Approx. Theory 103(1), 119129 (2000)
 21.
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3(1), 133181 (1922)
 22.
Sadiq Basha, S: Best proximity points: optimal solutions. J. Optim. Theory Appl. 151(1), 210216 (2011)
 23.
Alghamdi, MA, Shahzad, N, Vetro, F: Best proximity points for some classes of proximal contractions. Abstr. Appl. Anal. 2013, Article ID 713252 (2013)
 24.
Gabeleh, M: Best proximity points for weak proximal contractions. Bull. Malays. Math. Sci. Soc. 38(1), 143154 (2015)
 25.
Kadelburg, Z, Radenović, S: A note on some recent best proximity point results for nonself mappings. Gulf J. Math. 1(1), 3641 (2013)
 26.
Jleli, M, Ćojbašić Rajić, V, Samet, B, Vetro, C: Fixed point theorems on ordered metric spaces and applications to nonlinear elastic beam equations. J. Fixed Point Theory Appl. 12(12), 175192 (2012)
 27.
Censor, Y, Gibali, A, Reich, S, Sabach, S: Common solutions to variational inequalities. SetValued Var. Anal. 20(2), 229247 (2012)
 28.
Kinderlehrer, D, Stampacchia, G: An Introduction to Variational Inequalities and Their Applications. Academic Press, New York (1980)
 29.
Patriksson, M: Nonlinear Programming and Variational Inequality Problems: A Unified Approach. Kluwer Academic, Dordrecht (1999)
 30.
Deutsch, F: Best Approximation in Inner Product Spaces. Springer, New York (2001)
 31.
Dupuis, P, Nagurney, A: Dynamical systems and variational inequalities. Ann. Oper. Res. 44(1), 742 (1993)
Acknowledgements
This research project was supported by a grant from the ‘Research Center of the Center for Female Scientific and Medical Colleges’, Deanship of Scientific Research, King Saud University.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors 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
Tchier, F., Vetro, C. & Vetro, F. Best approximation and variational inequality problems involving a simulation function. Fixed Point Theory Appl 2016, 26 (2016). https://doi.org/10.1186/s1366301605129
Received:
Accepted:
Published:
MSC
 41A65
 47J20
Keywords
 best proximity point
 metric projection
 proximal \(\mathcal{Z}\)contraction
 variational inequality