 Research
 Open access
 Published:
Existence and continuity for the εapproximation equilibrium problems in Hadamard spaces
Journal of Inequalities and Applications volume 2016, Article number: 130 (2016)
Abstract
In this paper, the existence of εapproximate equilibrium points for a bifunction is proved under suitable conditions in the framework of a Hadamard space. We also give the sufficient conditions for the continuity of εapproximate solution maps to equilibrium problems. Then we apply our results to constrained minimization problems and Nashequilibrium problems.
1 Introduction
Let K be a nonempty subset of a linear space X and \(f : K \times K \rightarrow\mathbb{R} \) a bifunction. The equilibrium problem, for short (EP), is defined as follows:
(EP) was formulated by Blum and Oettli [1] in 1994. It is shown in the paper that (EP) includes many classical problems in optimization, such as variational inequality, constrained minimization, fixed point, Nashequilibrium problems, etc. Since that time, there has been extensive study in various directions; see [2–4] and references therein. Almost all extended and generalized results are studied in linear spaces. Actually, some applications in optimization problems cannot be considered in linear space. Recently, in the past decade, many optimization problems were investigated on nonlinear space, such as Riemannian manifolds, hyperbolic space and geodesic spaces, for example in [5–7]. In 2012, Colao et al. [8] first established the existence for an equilibrium point in the setting of Hadamard manifolds. By using an analogous KKM lemma, the authors developed an equilibrium theory and gave applications to optimizationrelated problems in Hadamard manifolds. This paper is an inspiration for studying the generalized and/or application of (EP) in Hadamard manifolds; see [5, 9, 10]. The KKM lemma is the main tool for proving an existence result for (EP). The proof of the KKM lemma relies on the fact that the closed convex hull of any finite set is compact. It was mentioned by Kopecká and Reich [11] that, in any Hadamard spaces, the closed convex hull of a finite number of points might not be compact. In order to extend [8]’s results to Hadamard spaces, Niculescu and Roventa [12] first introduced the famous KKM lemma and proved the existence of a minimax point in a Hadamard space which has the convex hull finite property. However, there are few papers, e.g. [13, 14], which deal with the existence for the solution of (EP) in Hadamard spaces.
On the other hand, when we have a mathematical problem, not only the existence of the solution for that problem but also the stability for the solution set of the problem is investigated. Roughly speaking this is about how a slight change in a parameter of a given mathematical problem could affect the solution or solution set of the problem. Hence, stability may be understood as lower (upper) semicontinuity, continuity, and Lipschitz or Hölder continuity. Currently, such a study is, in fact, very important as many useful mathematical problems are usually approximately solved by the problem. Since data of mathematical models of practical problems are obtained by measuring devices or statistical records, the models are also approximations, and hence their exact solutions are the acceptability of the approximate solution, based on a certain allowed error on the parameters of the problem. However, concerning continuity, results of approximate solutions to the parametric equilibrium problems, e.g. [15–17], are established in linear spaces.
Motivated and inspired by the above literature, the aim of this paper is to establish the existence result for (EP) and continuity of the solution mapping to parametric εapproximate parametric equilibrium problem, for short (PEP), in the setting of Hadamard spaces. We also give applications to constrained minimization problems and Nashequilibrium problems.
2 Preliminaries
Let \((X, d)\) be a metric space. X is called a Hadamard space if it complete and if for each pair of points \(x, y\in X \) there exists a point \(w \in X \) such that for all \(z\in X \)
A Hadamard space is sometimes called a global nonpositive curvature space or complete CAT(0) space. In the rest of the paper, we denote by X the Hadamard space. It is well known that, in Hadamard spaces, for each \(x,y\in X \) there exists a unique point z in the geodesic segment joining x to y with
We also denote by \([[x,y]]\) the geodesic segment joining x to y, that is, \([[ x, y]] = \{(1 t)x \oplus ty : t\in[0, 1] \}\). A subset C of X is convex if \([[x, y]]\subseteq C\) for all \(x, y\in C\).
Let \(A \subseteq X \) be a nonempty subset. Then the convex hull of A, denoted \(co(A) \), is defined as the intersection of all convex subset containing A. It is easy to see that \(co (A ) = \bigcup_{n=0}^{\infty}A_{n}\), where \(A_{0} = A\), and for \(n \geq1 \), the set \(A_{n} \) is the union of all geodesics with start and end in \(A_{n1} \). The convex hull of a finite subset is not necessarily closed, and likewise the closed convex hull of A, denoted \(\overline{co}(A) \), is the intersection of all closed convex subsets containing A. It is shown in [18] that if \(A_{1},\ldots ,A_{n} \) are compact convex subsets in a locally convex Hausdorff space, then the convex hull of their union is also compact.
Definition 1
A function \(g:C\rightarrow\mathbb{R} \) is called geodesic convex if the function \(g\circ c:[0,1]\rightarrow\mathbb{R} \) is convex for each geodesic \(c:[0,1]\rightarrow X \), \(c(t)=c_{t} \), i.e.,
for all \(t\in(0,1) \). The function g is called geodesic concave if −g is geodesic convex.
We recall the KKM mapping in the setting of Hadamard spaces which is used for the existence result for (EP).
Definition 2
[12]
Let C be a nonempty subset of a Hadamard space X. A multivalued mapping \(G : C \rightrightarrows E \) is said to be a KKM mapping if
for every nonempty finite subset F of C.
The following concept of the convex hull finite property was first introduced by [12] and used to prove the analog of the KKM lemma in Hadamard spaces.
Definition 3
[12]
We say that a Hadamard space X has the convex hull finite property if the closed convex hull of every nonempty finite family of points of X has the fixed point property.
Lemma 4
[12]
Suppose that X is a Hadamard space with the convex hull finite property and C is a nonempty subset of X. Furthermore, suppose \(T : X \rightrightarrows X \) is a KKM mapping with closed values. Then, if \(T(z) \) is compact for some \(z \in C \), then
Throughout this paper, if not otherwise specified, let X be a Hadamard space, M be metric space, and \(A\subseteq X \) be nonempty set.
Let \(N(\mu_{0}) \subset M\) be a neighborhood of the considered point \(\mu _{0}\). Let \(K : M \rightrightarrows A\) be a nonempty setvalued mapping and \(f : A \times A \times M \rightarrow\mathbb{R}\).
For each \(\mu\in N(\mu_{0})\), we consider the following parametric equilibrium problem (PEP): Find \(x \in K(\mu)\) such that
Let \(S(\mu) \) be the efficient solution set of (2.1), that is,
For each \(\mu\in N(\mu_{0}) \) and \(\varepsilon\geq0\), let \(\widetilde {S}(\varepsilon,\mu) \) denote the set of εapproximate solution set to (2.1), that is,
We collect some concepts and properties of semicontinuity for setvalued mappings in metric spaces.
Definition 5
Let X and Y be topological spaces, \(T:X\rightrightarrows Y \) be a setvalued mapping.

(i)
T is said to be upper semicontinuous (u.s.c., for short) at \(x_{0}\in X \) iff for any open set V containing \(T(x_{0}) \), there exists an open set U containing \(x_{0} \) such that \(T(x)\subseteq V \) for all \(x\in U \).

(ii)
T is said to be lower semicontinuous (l.s.c., for short) at \(x_{0}\in X \) iff for any open set V with \(T(x_{0}) \cap V\), there exists an open set U containing \(x_{0} \) such that \(T(x)\cap V \neq \emptyset\) for all \(x\in U \).

(iii)
T is said to be continuous at \(x_{0}\in X \) iff it is both l.s.c. and u.s.c.
Proposition 6
Let X and Y be metric spaces and \(T:X\rightrightarrows Y \) and \(x_{0}\in X \). Then the following are equivalent:

(i)
\(T(\cdot) \) is l.s.c. at \(x_{0} \);

(ii)
if \(\{x_{n}\} \) is any sequence such that \(x_{n}\rightarrow x_{0} \) and \(G\subseteq Y \) an open subset such that \(T(x_{0})\cap G\neq \emptyset\), then
$$ \exists N\geq1: T(x_{n})\cap G\neq\emptyset,\quad \forall n\geq N; $$ 
(iii)
if \(\{x_{n}\} \) is any sequence such that \(x_{n}\rightarrow x_{0} \) and \(y_{0}\in T(x_{0}) \) arbitrary, then there is a sequence \(\{y_{n}\} \) with \(y_{n}\in T(x_{n}) \) such that \(y_{n} \rightarrow y_{0} \).
Proposition 7
Let X and Y be metric spaces and \(T:X\rightrightarrows Y \) and \(x_{0}\in X \). Then the following are equivalent:

(i)
\(T(\cdot) \) is u.s.c. at \(x_{0} \);

(ii)
if \(x_{0}\in X \) and \(\{x_{n}\} \) is any sequence such that \(x_{n} \rightarrow x_{0} \) and \(V\subseteq Y \) an open subset such that \(T(x_{0})\subseteq V \), then
$$ \exists N\geq1 : F(x_{n})\subseteq V, \quad \forall n\geq N. $$
Let A, \(\{A_{n}\}_{n\in\mathbb{N}} \) be nonempty sets in a metric space X. We shall use the following notations:
Remark 8
It follows from (iii) in Proposition 6 that \(T(\cdot) \) is l.s.c. at \(x_{0} \) iff, for every sequence \(x_{n}\rightarrow x_{0} \), we have \(T(x_{0})\subseteq\liminf T(x_{n}) \).
3 Existence and continuity results
In this section, we first present the existence result for an εapproximate solution for (EP). We also study the continuity of εapproximate solution maps for (PEP).
Theorem 9
Let K be a nonempty closed convex subset of a Hadamard space X which has the convex hull finite property. For any given \(\varepsilon>0 \), let \(f : K \times K \rightarrow\mathbb{R} \) be a bifunction such that

(i)
for any \(x\in K \), \(f(x,x) \geq0 \);

(ii)
for every \(x\in K \), the set \(\{y\in K : f(x,y) + \varepsilon< 0\} \) is convex set;

(iii)
for every \(y\in K \), \(f(\cdot,y) \) is upper semicontinuous;

(iv)
there exist a compact set \(L\subseteq X \) and a point \(y_{0}\in L\cap K \) such that
$$ f(x,y_{0}) + \varepsilon< 0, \quad \forall x\in K\backslash L. $$
Then there exists a point \(x_{0}\in L\cap K \) such that
Proof
Define the mapping \(G : K \rightrightarrows K \) as follows:
We first prove that \(G(y) \) is closed for all \(y\in K \). Let \(\{ x_{m}\} \) be a sequence in \(G(y) \) such that \(x_{m}\rightarrow x' \) for some \(x'\in X \). Then we have \(f(x_{m},y) + \varepsilon\geq0 \) for all m. It follows from (iii) that
This implies that \(G(y) \) is closed for all \(y \in K \). By condition (iv) there exists a point \(y_{0} \in K \) for which \(G(y_{0}) \subseteq L \). Since L is compact, we see that \(G(y_{0}) \) is also. We want to prove that \(G(\cdot) \) is a KKM mapping. We prove this by contradiction, suppose that G is not a KKM mapping. Then there exist a finite subset \(A = \{x_{1},x_{2},\ldots,x_{n}\} \) of K and a point \(\hat{x} \in co(A) \) such that \(\hat{x} \notin G(y_{i}) \) for all \(i=1,\ldots,n \). Thus
That is, for any \(i \in\{1,\ldots,n\} \),
Since the set \(\{y \in K: F (\hat{x}, y) + \varepsilon< 0 \} \) is convex, we get
which is a contradiction to the assumption (i). Then by Lemma 4, there exists a point \(x_{0} \in K \) such that
Hence, there exists \(x_{0} \in L \cap K \) such that
□
Remark 10

(i)
Our Theorem 9 is closely related to Theorem 3.3 in [13], which is presented in the sense of a minimax inequality.

(ii)
If \(\varepsilon=0 \), then we have the existence result for an exact solution for (EP) which encloses the result in [12].
By setting \(L = K \) in Theorem 9, the following corollary is immediately obtained.
Corollary 11
Let K be a nonempty compact convex subset of a Hadamard space X which has the convex hull finite property. For any given \(\varepsilon>0 \), let \(f : K \times K \rightarrow\mathbb{R} \) be a bifunction such that

(i)
for any \(x\in K \), \(f(x,x) \geq0 \);

(ii)
for every \(x\in K \), the set \(\{y\in K : f(x,y) + \varepsilon< 0\} \) is convex set;

(iii)
for every \(y\in K \), \(f(\cdot,y) \) is upper semicontinuous.
Then there exists a point \(x_{0}\in K \) such that
The following example shows that the εapproximate solution for (EP) depends on ε.
Consider \(\mathbb{R}^{2} \) with the usual Euclidean meter \(d(\cdot,\cdot ) \) and \(\\cdot\\), which are defined by
where \(x=(x_{1},x_{2}) \) and \(y=(y_{1},y_{2}) \). We define the radial metric \(d_{r} \) by
Then \(X:=(\mathbb{R}^{2},d_{r}) \) is an \(\mathbb{R} \)tree with radial meter \(d_{r} \).
Example 12
Let X be an \(\mathbb{R} \)tree with radial meter \(d_{r} \). We put \(K = [[(1,0),(0,1)]] \) and \(f(x,y) = (x_{1}+x_{2})  0.3 \). After calculating we easily get
The following corollary is a sufficient condition for the existence of the parametric εapproximate solution (PEP).
Corollary 13
For any given \(\varepsilon>0 \), assume that there exists a neighborhood \(N(\mu_{0}) \) of \(\mu_{0} \) satisfying the following conditions:

(i)
for each \(\mu\in N(\mu_{0}) \), \(K(\mu) \) is a nonempty, compact and convex valued;

(ii)
for each \(\mu\in N(\mu_{0}) \) and each \(x\in K(N(\mu_{0})) \), \(f(x,x,\mu) \geq0 \);

(iii)
for each \(x\in K(N(\mu_{0})) \), the set \(\{y\in K(N(\mu_{0})) : f(x,y,\mu) + \varepsilon< 0\} \) is convex set;

(iv)
for each \(\mu\in N(\mu_{0}) \) and each \(y\in K(N(\mu_{0})) \), \(f(\cdot,y,\mu) \) is upper semicontinuous on \(K(N(\mu_{0})) \).
Then for each \(\mu\in N(\mu_{0}) \), \(\widetilde {S}(\varepsilon ,\mu) \) is nonempty and compact.
Now, we give the sufficient conditions for continuity of an approximate solution S̃ at \((\varepsilon_{0},\mu_{0}) \). Relying on the existence theorem for εapproximation (EP), we assume that the solution of the εapproximation exists for all \((\varepsilon ,\mu)\in \mathbb{R}_{+}\cup\{0\}\times M \).
Theorem 14
Consider the εapproximate (PEP). We assume that the following conditions hold:
 (C_{1}):

K is continuous at \(\mu_{0} \) and \(K(\mu_{0}) \) has compact and convex valued;
 (C_{2}):

there exists a neighborhood \(N(\mu_{0}) \) of \(\mu_{0} \) such that \(f(\cdot,\cdot,\cdot) \) is continuous on \(K(N(\mu_{0}))\times K(N(\mu _{0}))\times\{\mu_{0}\} \);
 (C_{3}):

for each \(y\in K(\mu_{0}) \), \(f(\cdot,y,\mu_{0}) \) is a geodesic concave function on \(K(N(\mu_{0})) \).
Then \(\widetilde {S}(\cdot,\cdot) \) is l.s.c. at \((\varepsilon_{0},\mu_{0}) \).
Proof
We first prove that \(\widetilde {S}(\cdot,\mu_{0}) \) is l.s.c. at \(\varepsilon_{0} \). Suppose not, then there exist an open set \(G\subseteq X \) and a sequence \(\{\varepsilon_{n}\} \) with \(\varepsilon_{n} \rightarrow \varepsilon_{0} \) such that
Note that \(\widetilde {S}(\varepsilon_{1},\mu_{0})\subseteq \widetilde {S}(\varepsilon_{2},\mu_{0}) \), if \(\varepsilon_{1}\leq\varepsilon_{2} \).
We claim that \(\varepsilon_{0}>\varepsilon_{n} \) for all \(n\in\mathbb{N} \). If not, there exists \(\overline{N}\in\mathbb{N} \) such that \(\varepsilon_{0} \leq\varepsilon_{\overline{N}} \). That is,
which is a contradiction to (3.1). So we have the claim.
Let \(x_{0}\in \widetilde {S}(0,\mu_{0}) \) and \(\bar{x}\in \widetilde {S}(\varepsilon_{0},\mu _{0})\cap G \). We set \(x_{n} = \frac{\varepsilon_{0}  \varepsilon_{n} }{\varepsilon_{0}}\bar{x}\oplus\frac{\varepsilon_{n}}{\varepsilon_{0}}x_{0} \), then \(x_{n}\rightarrow\bar{x} \) as \(n\rightarrow\infty\). Since \(\bar {x}\in G \), there exists \(n_{0}\in\mathbb{N} \) such that
We claim that \(x_{n_{0}}\in \widetilde {S}(\varepsilon_{n_{0}},\mu_{0}) \). Since \(x_{0}\in \widetilde {S}(0,\mu_{0}) \) and \(\bar{x}\in \widetilde {S}(\varepsilon_{0},\mu_{0}) \), we have, for all \(y\in K(\mu_{0}) \),
Hence
It follows from (iii) that
Therefore, \(x_{n_{0}}\in \widetilde {S}(\varepsilon_{n_{0}},\mu_{0}) \), which leads to a contradiction to (3.1). We can conclude that \(\widetilde {S}(\cdot,\mu_{0}) \) is l.s.c. at \(\varepsilon_{0} \).
Next, we prove that \(\widetilde {S}(\varepsilon ,\cdot) \) is l.s.c. at \(\mu_{0} \) for all \(\varepsilon> 0 \). By the assumption of nonemptiness of the exact solution, we set the following strict εapproximate solution maps:
It is clear that, for any \(\mu\in N(\mu_{0}) \),
We show that \(\widetilde {S}_{S}(\varepsilon,\cdot) \) is l.s.c. at \(\mu_{0} \) for all \(\varepsilon >0 \). If not, there are \(\bar{x}\in \widetilde {S}_{S}(\varepsilon,\mu_{0}) \) and a sequence \(\mu_{n} \rightarrow\mu_{0} \), but for all \(x_{n}\in \widetilde {S}_{S}(\varepsilon,\mu_{n}) \), \(x_{n} \nrightarrow\bar{x} \). Since \(K(\mu_{0}) \) is l.s.c. at \(\mu_{0} \), there exists \(\bar{x}_{n} \in K(\mu_{n}) \) with \(\bar{x}_{n} \rightarrow\bar{x} \). By the above contradiction assumption, there must be a subsequence \(\{\bar{x}_{n_{k}}\} \) of \(\{ \bar{x}_{n}\} \) such that \(\bar{x}_{n_{k}}\notin \widetilde {S}_{S}(\varepsilon,\mu_{n}) \), i.e., there exists \(y_{n_{k}}\in K(\mu_{n_{k}}) \) such that
Since \(K(\cdot) \) is u.s.c. at \(\mu_{0} \) and \(K(\mu_{0}) \) is compact valued, there exists \(\bar{y}\in K(\mu_{0}) \) such that \(y_{n_{k_{j}}}\rightarrow\bar{y} \). From (3.4) and continuity of \(f(\cdot,\cdot,\cdot) \) on \(K(N(\mu_{0})) \times K(N(\mu_{0})) \times\{ \mu_{0}\} \), we get
which leads to a contradiction. Hence \(\widetilde {S}_{S}(\varepsilon,\cdot ) \) is l.s.c. at \(\mu_{0} \).
Next, we claim that
For any \(x_{0}\in \widetilde {S}(\varepsilon,\mu_{0}) \) and \(x_{1}\in \widetilde {S}_{S}(\varepsilon,\mu_{0}) \), we put \(x_{t} = (1t)x_{0} \oplus tx_{1} \), \(t\in (0,1) \). Then \(x_{t} \rightarrow x_{0} \) as \(t\rightarrow+0 \). Since \(f(\cdot,y,\mu_{0}) \) is geodesic concave, we have
Hence, \(x_{t}\in \widetilde {S}_{S}(\varepsilon,\mu_{0}) \). This implies that \(x_{0}\in cl (\widetilde {S}_{S}(\varepsilon,\mu_{0}) ) \). So, we have the claim. Hence, for all \(\varepsilon> 0 \), \(\widetilde {S}_{S}(\varepsilon,\cdot) \) is l.s.c. at \(\mu_{0} \). Thus, for any \(\mu_{m} \rightarrow\mu_{0} \)
Combining the last inequality with (3.3) and (3.5), we have
Therefore \(\widetilde {S}(\varepsilon,\cdot) \) is l.s.c. at \(\mu_{0} \). We can conclude from Step 1 and 2 that \(\widetilde {S}(\cdot,\cdot) \) is l.s.c. at \((\varepsilon _{0},\mu_{0}) \). □
Theorem 15
Assume that the conditions (C_{1})(C_{2}) hold. Then \(\widetilde {S}(\cdot ,\cdot)\) is u.s.c. at \((\varepsilon_{0},\mu_{0}) \).
Proof
We prove by contradiction, suppose that \(\widetilde {S}(\cdot,\cdot)\) is not u.s.c. at \((\varepsilon_{0},\mu_{0}) \). Then there exist an open neighborhood U of \(\widetilde {S}(\varepsilon_{0},\mu_{0}) \) and a sequence \(\{(\varepsilon_{n},\mu_{n})\} \) converging to \((\varepsilon_{0},\mu_{0}) \) such that
Then there exists some \(x_{n}\in \widetilde {S}(\varepsilon_{n},\mu_{n}) \) such that
Since \(x_{n} \in \widetilde {S}(\varepsilon_{n},\mu_{n}) \), we have \(x_{n} \in K(\mu_{n}) \). By the assumption, \(K(\cdot) \) is u.s.c. being compact valued at \(\mu_{0} \), then we see that there exists a subsequence \(\{x_{n_{k}}\} \) such that \(x_{n_{k}} \rightarrow x^{*} \).
We will show that \(x^{*} \in \widetilde {S}(\varepsilon_{0},\mu_{0}) \). Suppose to the contrary that \(x^{*} \notin \widetilde {S}(\varepsilon_{0},\mu_{0}) \). Then there exists \(y^{*}\in A(\mu_{0}) \) such that
Since \(K(\cdot) \) is l.s.c. at \(\mu_{0} \) and \(y^{*} \in K(\mu_{0}) \), \(\varepsilon_{n} \rightarrow\varepsilon _{0} \) and \(\mu_{n} \rightarrow\mu_{0} \), we see that there exists \(y_{n} \in \widetilde {S}(\varepsilon_{n},\mu_{n}) \) such that \(y_{n} \rightarrow y^{*} \). It follows from \(y_{n} \in K(\mu_{n}) \) that
Condition (C_{2}) gives \(f(x^{*},y^{*},\mu_{0}) + \varepsilon\geq0 \). This is a contradiction with (3.7). Hence, we have \(x^{*} \in \widetilde {S}(\varepsilon_{0},\mu_{0})\subseteq U \). Since \(x_{n} \rightarrow x^{*} \) and U is an open set, there exists some \(n_{0}\in\mathbb{N} \) such that \(x_{n}\in U \) for all \(n\geq n_{0} \), which is a contradiction with (3.6). Therefore, \(\widetilde {S}(\cdot ,\cdot) \) is u.s.c. at \((\varepsilon_{0},\mu_{0}) \). □
Theorem 16
Consider the εapproximate (PEP). We assume that the conditions (C_{1})(C_{3}) hold. Then \(\widetilde {S}(\cdot,\cdot) \) is continuous at \((\varepsilon_{0},\mu_{0}) \).
The following example illustrates that Theorem 16 cannot apply with exact solution maps to (PEP).
Example 17
Let X be an \(\mathbb{R} \)tree with radial meter \(d_{r} \). We put \(M=[0,1] \) and \(K(\mu) = [[(1,0),(0,1)]] \) and \(f(x,y,\mu) = \mu (x_{1}+x_{2}) \). Then the assumptions of Theorem 9 are satisfied. Direct computations give us the approximate solution set, for positive \(\varepsilon >0 \) and \(\mu\in M \),
We see that \(\widetilde {S}(\cdot,\cdot) \) is not l.s.c. at \((0,0) \). Indeed, for \((\varepsilon _{n},\mu_{n})= (\frac{1}{2n},\frac{1}{n} )\rightarrow (0,0) \) and \((1,0) \in \widetilde {S}(0,0) \), it is clear that there is no sequence in \(\widetilde {S}(\frac{1}{2n},\frac{1}{n} ) = [ [ (\frac{1}{2},0 ), (0,\frac{1}{2} ) ] ] \) which converges to \((1,0) \). Hence, \(\widetilde {S}(\cdot,\cdot ) \) is not l.s.c. at \((0,0) \).
4 Applications
As mentioned in Section 1, the (EP) contains many optimization related problems as special cases. Therefore, we derive the continuity of the results of Section 3 for such special cases. In this section, we give applications to constrained minimization problems and Nashequilibrium problems.
4.1 Constrained minimization problems
Let X, M, A, and K be as in Section 3. Let \(g : A \times M \rightarrow\mathbb{R} \). For \(\mu\in M \), we consider the constrained minimization problem, for short (CMP), as follows:
If we set \(f(x,y,\mu) = g(y,\mu)  g(x,\mu) \), we see that (CMP) becomes an example of (EP). For \((\varepsilon ,\mu) \in\mathbb {R}_{+}\times M \), we denote the parametric εapproximate solution set of (CMP) by \(\widetilde {S}_{CMP}(\varepsilon ,\mu) \), that is,
Now, we present the continuity result for (CMP); we assume that \(\widetilde {S}_{CMP}(\varepsilon ,\mu) \) exists for all \((\varepsilon ,\mu)\in\mathbb {R}_{+}\cup\{0\}\times M \).
Corollary 18
Assume that the following conditions hold:
 (M_{1}):

K is continuous at \(\mu_{0} \) and \(K(\mu_{0}) \) is compact and convex;
 (M_{2}):

there exists a neighborhood \(N(\mu_{0}) \) of \(\mu_{0} \) such that g is continuous in \(K(N(\mu_{0})) \times\{\mu_{0}\} \);
 (M_{3}):

\(g(\cdot,\mu_{0}) \) is geodesic convex in \(K(N(\mu_{0})) \).
Then \(\widetilde {S}_{CMP}(\cdot,\cdot) \) is continuous at \((\varepsilon _{0},\mu_{0}) \).
Proof
It suffices to show that all assumptions in Theorem 16 hold. It is easy to see that (C_{1}) and (C_{2}) hold. We only check that (C_{3}) holds. For any \(x_{1},x_{2}\in K(N(\mu_{0})) \), \(t\in[0,1] \) and \(y\in K(N(\mu_{0})) \), we put \(x_{t}=tx_{1}\oplus(1t)x_{2} \). Then
This implies that (C_{3}) holds. This completes the proof. □
4.2 Nashequilibrium problems
Let \(I=\{1,2,\ldots N\} \) be a finite index set which denotes the set of players. For any \(i\in I \), consider \(X_{i} \) to be a Hadamard space where the strategy set \(K_{i}\subseteq X_{i}\) of the ith player will be given. Let \(K= \prod_{i=1}^{N}K_{i} \) belong to the product Hadamard space \(X= \prod_{i=1}^{N}X_{i} \). For arbitrary \(x = (x_{1},\ldots,x_{N}) \in X \) we define \(x^{i} = (x_{1},\ldots,x_{i1}, x_{i+1},\ldots,x_{N}) \). Suppose that for every \(i\in I \) there exists a payoff function \(f_{i}:K\rightarrow \mathbb{R} \) representing the loss of each player, depending on the strategies of all player. A Nash equilibrium [22] is a strategy profile with the property that the strategy of each player is an optimal choice given the strategy of the other players. Thus, a strategy \(x = (x_{1},x_{2},\ldots,x_{N}) \) is a Nash equilibrium if
This problem can be formulated as an equilibrium problem by defining the bifunction \(F:K\times K\rightarrow\mathbb{R} \) as
It can be shown that x is a Nashequilibrium point if and only if it is an a solution of the equilibrium problem (4.3). Our aim is to consider the continuity for Nashequilibrium points, we assume further that the strategy set \(K_{i} \) and payoff function \(f_{i} \) are perturbed, that is, they depend on a perturbation parameter μ of a metric space M for all i. More precisely, \(f_{i} : K\times M \rightarrow\mathbb{R} \) and \(K_{i} : M\rightrightarrows X \) for all i.
For \((\varepsilon ,\mu) \in\mathbb{R}_{+}\times M \), we denote the εapproximate solution set of Nashequilibrium points by \(\widetilde {S}_{NEP}(\varepsilon ,\mu) \), that is,
Corollary 19
We assume that the following conditions hold.
 (N_{1}):

\(K_{i}(\cdot) \) is continuous at \(\mu_{0} \) and \(K_{i}(\mu_{0}) \) is compact and convex valued for all i;
 (N_{2}):

there exists a neighborhood \(N(\mu_{0}) \) of \(\mu_{0} \) such that \(f_{i}(\cdot,\cdot,\cdot) \) is continuous on \(K_{i}(N(\mu_{0}))\times K_{i}(N(\mu_{0}))\times\{\mu_{0}\} \) for all i;
 (N_{3}):

for each \(y\in K_{i}(N(\mu_{0})) \), \(f_{i}(\cdot,y,\mu_{0}) \) is a geodetically concave function on \(K_{i}(N(\mu_{0})) \) for all i.
Then \(\widetilde {S}_{NEP}(\cdot,\cdot) \) is continuous at \((\varepsilon_{0},\mu _{0}) \).
Proof
If we set \(K(\mu)=\prod_{i=1}^{N} K_{i}(\mu) \) and F as in (4.3), we see that all assumptions in Theorem 16 are satisfied. Hence, we have the desired conclusion. □
5 Conclusions
In this paper, the classical existence result for εapproximate equilibrium problems is proved in the framework of the Hadamard space (nonlinear space). We also establish the sufficient conditions for the continuity of εapproximate solution maps to equilibrium problems. However, the conclusion of Theorem 16 is not true for an exact solution, in the case \(\varepsilon =0 \). As applications, we apply the continuity results to constrained minimization problems and Nashequilibrium problems.
References
Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123145 (1994)
Chen, B, Huang, NJ: Continuity of the solution mapping to parametric generalized vector equilibrium problems. J. Glob. Optim. 56, 15151528 (2012)
Li, XB, Li, SJ: Existence of solutions for generalized vector quasiequilibrium problems. Optim. Lett. 4, 1728 (2010)
Hai, NX, Khanh, PQ: The existence of εsolutions to general quasiequilibrium problems. Vietnam J. Math. 35(4), 563572 (2007)
Kristály, A: Nashtype equilibria on Riemannian manifolds: a variational approach. J. Math. Pures Appl. 101, 660688 (2014)
Udriste, C: Convex Functions and Optimization Methods on Riemannian Manifolds, vol. 597. Kluwer Academic, Dordrecht (1994)
Sturm, KT: Probability measures on metric spaces of nonpositive curvature. In: Auscher, P, et al. (eds.) Heat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces. Cont. Math., vol. 338, pp. 357390 (2003)
Colao, V, López, G, Marino, G, Márquez, M: Equilibrium problems in Hadamard manifolds. J. Math. Anal. Appl. 338(1), 6177 (2012)
Zhou, LW, Huang, NJ: Existence of solutions for vector optimization on Hadamard manifolds. J. Optim. Theory Appl. 157, 4453 (2013)
Chaipunya, P, Kumam, P: Nonself KKM maps and corresponding theorems in Hadamard manifolds. Appl. Gen. Topol. 16(1), 3744 (2015)
Kopecká, E, Reich, S: Nonexpansive retracts in Banach spaces. Banach Cent. Publ. 11, 161174 (2007)
Niculescu, CP, Roventa, L: Fan’s inequality in geodesic spaces. Appl. Math. Lett. 22, 15291533 (2009)
Shabanian, S, Vaezpour, SM: A minimax inequality and its applications to fixed point theorems in CAT(0) spaces. Fixed Point Theory Appl. 2011, 61 (2011)
Lu, H, Lu, D, Hu, Q, Yuan, G: Fixed point theorems in CAT(0) spaces with applications. J. Inequal. Appl. (2014). doi:10.1186/1029242X2014320
Li, XB, Li, SJ: Continuity of approximate solution mapping for parametric equilibrium problems. J. Glob. Optim. 51, 541548 (2011)
Wangkeeree, R, Boonman, P, Preechasilp, P: Lower semicontinuity of approximate solution mappings for parametric generalized vector equilibrium problems. J. Inequal. Appl. (2014). doi:10.1186/1029242X2014421
Anh, LQ, Tam, TN: Hausdorff continuity of approximate solution maps to parametric primal and dual equilibrium problems. Top (2015). doi:10.1007/s117500150390z
Day, MM: Normed Linear Spaces. Ergebnisse Der Mathematik Und Iher Grenzgebiete. Springer, New York (1973)
Aubin, JP, Ekeland, I: Applied Nonlinear Analysis. Wiley, New York (1984)
Aubin, JP, Frankowska, H: SetValued Analysis. Birkhäuser, Boston (1990)
Berge, C: Topological Spaces. Oliver & Boyd, London (1963)
Nash, J: Noncooperative games. Ann. Math. 54(2), 286295 (1951)
Acknowledgements
This research was supported by Pibulsongkram Rajabhat University grant RDI258312. The author is grateful to the anonymous referees for their helpful comments and suggestions, which improved the presentation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Preechasilp, P. Existence and continuity for the εapproximation equilibrium problems in Hadamard spaces. J Inequal Appl 2016, 130 (2016). https://doi.org/10.1186/s1366001610735
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001610735