Abstract
In this paper, a generalized vector quasi-equilibrium problem (GVQEP) is introduced and studied on Hadamard manifolds. An existence theorem of solutions for the GVQEP is established under some suitable conditions. Some applications to a generalized vector quasi-variational inequality, a generalized vector variational-like inequality and a vector optimization problem are also presented on Hadamard manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The equilibrium problem was introduced and studied by Blum and Oettli [1] in 1994 as a generalization of optimization problems and variational inequalities. This problem contains many important problems as special cases, including Nash equilibrium, complementarity and fixed point problems. Recently, there has been an increasing interest in the study of vector equilibrium problems because it provides a unified way to research some nonlinear problems, for instance, vector variational inequalities, vector complementary problems, vector saddle point problems and vector optimization problems. In recent decades, many results concerned with the existence of solutions for the vector equilibrium problems and the vector quasi-equilibrium problems have been established (see, for example, [2–14] and the references therein).
On the other hand, recent interests of a number of researchers are focused on extending some concepts and techniques of nonlinear analysis in Euclidean spaces to Riemannian manifolds (see [15–18]). In general, a manifold is not a linear space. In this setting, the linear space is replaced by a Riemannian manifold and the line segment by a geodesic (see [16, 19]). There are some advantages for a generalization of optimization methods from Euclidean spaces to Riemannian manifolds, because non-convex and non-smooth of constrained optimization problems can be seen as convex and smooth unconstrained optimization problems from the Riemannian geometry point of view (see [19–21]). N\(\acute{\mathrm {e}}\)meth [22] and Colao et al. [23] introduced the variational inequalities and equilibrium problems on Hadamard manifolds, respectively. They studied the existence of the solutions for variational inequalities and equilibrium problems on Hadamard manifolds under some suitable conditions. Recently, Zhou and Huang [24] investigated the relationship between the vector variational inequality and the vector optimization problem on Hadamard manifolds, and proved the existence of solutions for the vector variational inequality on Hadamard manifolds. However, to the best of our knowledge, there is no paper to study the generalized vector quasi-equilibrium problem (GVQEP) on Hadamard manifolds. Therefore, it is an interesting problem to consider the GVQEP on Hadamard manifolds.
Motivated and inspired by the work mentioned above, in this paper, we introduce and study a GVQEP on Hadamard manifolds. We establish an existence theorem of solutions for the GVQEP under some suitable conditions. We also give some applications to a generalized vector quasi-variational inequality (GVQVI), a generalized vector variational-like inequality and a vector optimization problem on Hadamard manifolds.
2 Preliminaries
In this section we recall some fundamental definitions, properties and notations used throughout this paper. These can be founded in any introductory books on Riemannian geometry, for example, [25–27].
Let \(M\) be a simply connected \(m\)-dimensional manifold and \(x\in M\). The tangent space of \(M\) at \(x\) is denoted by \(T_{x}M\) and the tangent bundle of \(M\) by \(TM=\bigcup _{x\in M}T_{x}M\), which is naturally a manifold. We always assume that \(M\) is endowed with a Riemannian metric to become a Riemannian manifold. We denote by \(\langle \cdot , \cdot \rangle _{x}\) the scalar product on \(T_{x}M\) with the associated norm \(\Vert \cdot \Vert _{x}\), where the subscript \(x\) is sometimes omitted. Given a piecewise smooth curve \(\gamma : [a, b]\rightarrow M\) joining \(x\) to \(y\), that is, \(\gamma (a)=x\) and \(\gamma (b)=y\), we can define the length of \(\gamma \) by \(l(\gamma )=\int _{a}^{b}\Vert \gamma '(t)\Vert dt\). Then for any \(x, y\in M\), the Riemannian distance \(d(x, y)\) which induces the original topology on \(M\), is defined by minimizing this length over the set of all such curves joining \(x\) to \(y\).
Let \(\nabla \) be the Levi-Civita connection associated with the Riemannian metric. If \(\gamma \) is a curve joining \(x\) to \(y\) in \(M\), then for each \(t\in [a, b], \nabla \) induces an isometry \(P_{\gamma , \gamma (t), x}: T_{x}M\rightarrow T_{\gamma (t)}M\), the so-called parallel transport along \(\gamma \) from \(x\) to \(\gamma (t)\). When the reference to a curve joining \(x\) to \(y\) is not necessary, we use the notation \(P_{y, x}\). We say that \(\gamma \) is a geodesic when \(\nabla _{\gamma '}^{\gamma '}=0\), in this case \(\Vert \gamma '\Vert =1, \gamma \) is said to be normalized. A geodesic joining \(x\) to \(y\) in \(M\) is said to be minimal if its length equals \(d(x, y)\).
A Riemannian manifold is complete if for any \(x\in M\) all geodesic emanating from \(x\) are defined for all \(-\infty <t<+\infty \). By the Hopf–Rinow Theorem, we know that, if \(M\) is complete, then any pair of points in \(M\) can be joined by a minimal geodesic. Moreover, \((M, d)\) is a complete metric space and bounded closed subsets are compact.
Assuming that \(M\) is complete. The exponential map \(\exp _{x}: T_{x}M\rightarrow M\) at \(x\) is defined by \(\exp _{x}(v)=\gamma _{v}(1, x)\) for each \(v\in T_{x}M\), where \(\gamma (\cdot )=\gamma _{v}(\cdot , x)\) is the geodesic starting \(x\) with velocity \(v\), that is, \(\gamma (0)=x\) and \(\gamma '(0)=v\). It is easy to see that \(\exp _{x}(tv)=\gamma _{v}(t, x)\) for each real number \(t\).
Definition 2.1
A Hadamard manifold \(M\) is a complete simply connected Riemannian manifold of nonpositive sectional curvature.
Proposition 2.1
[27] Let \(M\) be a Hadamard manifold and \(x\in M\). Then \(\exp _{x}: T_{x}M\rightarrow M\) is a diffeomorphism and for any two points \(x, y\in M\), there exists a unique normalized geodesic \(\gamma _{x, y}=\exp _{x}t\exp ^{-1}_{x}y\) for all \(t\in [0, 1]\) joining \(x\) to \(y\).
Definition 2.2
Let \(M\) be a Hadamard manifold. A subset \(K\subseteq M\) is said to be convex if, for any points \(x\) and \(y\) in \(K\), the geodesic joining \(x\) to \(y\) is contained in \(K\); that is, if \(\gamma : [a, b]\rightarrow M\) is a geodesic such that \(x=\gamma (a)\) and \(y=\gamma (b)\), then \(\gamma _{x, y}=\exp _{x}t\exp ^{-1}_{x}y\in K\) for all \(t\in [0, 1]\).
Definition 2.3
Let \(M\) be a Hadamard manifold, \(S: M\rightarrow 2^{M}\) be a set-valued mapping and \(x_{0}\in M\). Then \(S\) is said to be
-
(i)
upper semicontinuous at \(x_{0}\) if, for any open set \(V\subseteq M\) satisfying \(S(x_{0})\subseteq V\), there exists an open neighborhood \(U(x_{0})\) of \(x_{0}\) such that \(S(x)\subseteq V\) for all \(x\in U(x_{0})\);
-
(ii)
lower semicontinuous at \(x_{0}\) if, for any open set \(V\subseteq M\) satisfying \(S(x_{0})\bigcap V\ne \emptyset \), there exists an open neighborhood \(U(x_{0})\) of \(x_{0}\) such that \(S(x)\bigcap V \ne \emptyset \) for all \(x\in U(x_{0})\);
-
(iii)
upper Kuratowski semicontinuous at \(x_{0}\) if, for any sequences \(\{x_{k}\}, \{y_{k}\}\subseteq M\) with each \(y_{k}\in S(x_{k})\), the relations \(\lim _{k\rightarrow \infty }x_{k}=x_{0}\) and \(\lim _{k\rightarrow \infty }y_{k}=y_{0}\) imply \(y_{0}\in S(x_{0})\);
-
(iv)
upper semicontinuous (resp. lower semicontinuous, upper Kuratowski semicontinuous) on \(M\) if \(S\) is upper semicontinuous (resp. lower semicontinuous, upper Kuratowski semicontinuous) at every point \(x\in M\);
-
(v)
continuous on \(M\) if \(S\) is upper semicontinuous and lower semicontinuous at every point \(x\in M\).
Definition 2.4
[28] Let \(M\) be a Hadamard manifold, \(A: M\rightarrow 2^{TM}\) be a set-valued vector field and \(x_{0}\in M\). Then \(A\) is said to be
-
(i)
upper semicontinuous at \(x_{0}\) if, for any open set \(V\subseteq M\) satisfying \(A(x_{0})\subseteq V\subseteq T_{x_{0}}M\), there exists an open neighborhood \(U(x_{0})\) of \(x_{0}\) such that \(P_{x_{0}, x}A(x)\subseteq V\) for all \(x\in U(x_{0})\);
-
(ii)
upper Kuratowski semicontinuous at \(x_{0}\) if for any sequence \(\{x_{n}\}\subseteq M\) and \(\{u_{n}\}\subseteq TM\) with each \(u_{n}\in A(x_{n})\), the relations \(\lim _{n\rightarrow \infty }x_{n}=x_{0}\) and \(\lim _{n\rightarrow \infty }u_{n}=u_{0}\) imply \(u_{0}\in A(x_{0})\);
-
(iii)
upper semicontinuous (resp. upper Kuratowski semicontinuous) on \(M\) if \(A\) is upper semicontinuous (resp. upper Kuratowski semicontinuous) at each point \(x\in M\).
Remark 2.1
It is easy to check that any upper semicontinuous and closed valued vector field \(A\) is upper Kuratowski semicontinuous.
Definition 2.5
Let \(M\) be a Hadamard manifold and \(K\subseteq M\) be a nonempty convex set, \(Y\) be a Hausdorff topological vector space and \(W\subseteq Y\) be a convex cone. Then \(f: K\rightarrow Y\) is said to be
-
(i)
\(W\)-convex if, for any \(x, y\in K\),
$$\begin{aligned} f(\exp _{x}t\exp ^{-1}_{x}y)\in (1-t) f(x)+t f(y)-W,\quad \forall t\in [0, 1]; \end{aligned}$$ -
(ii)
natural \(W\)-quasi-convex if, for any \(x, y\in K, t\in [0, 1]\),
$$\begin{aligned} f(\exp _{x}t\exp ^{-1}_{x}y)\in co(f(x), f(y))-W, \end{aligned}$$where \(co(E)\) is the convex hull of \(E\);
-
(iii)
\(W\)-quasi-convex if, for any \(x, y\in K, t\in [0, 1]\),
$$\begin{aligned} f(\exp _{x}t\exp ^{-1}_{x}y)\in z-W,\quad \forall z\in \bigcup (f(x), f(y)), \end{aligned}$$where \(\bigcup (f(x), f(y))\) is the upper boundary of \(f(x)\) and \(f(y)\), that is,
$$\begin{aligned} \bigcup (f(x), f(y))=\{z\in Y: f(x)\in z-W ~\mathrm{and }~ f(y)\in z-W\}. \end{aligned}$$
Remark 2.2
-
(i)
The notions of \(W\)-convexity, natural \(W\)-quasi-convexity and \(W\)-quasi-convexity on Hadamard manifold are generalizations of these in Hausdorff topological vector space [29];
-
(ii)
It is clear that \(W\)-convexity implies natural \(W\)-quasi-convexity and natural \(W\)-quasi-convexity implies \(W\)-quasi-convexity.
3 A generalized vector quasi-equilibrium problem
In this section, we introduce and study a GVQEP on Hadamard manifold and prove the existence theorem for it, this is a generalization of some results contained in [23, 24].
From now on, let \(M\) be a Hadamard manifold and \(K\subseteq M\) be a nonempty closed set, let \(C\subseteq TM\) be a nonempty set and \(A: K\rightarrow 2^{C}\) be a set-valued vector field, \(S: K\rightarrow 2^{K} , F: K\times C\times K\rightarrow \mathbb {R}^{p}\) be two mappings. We consider the following GVQEP: find \(\overline{x}\in K\) and \(\overline{z}\in A(\overline{x})\) such that
Some special cases are as follows.
-
(I)
Let \(S(x)=K\) for every \(x\in K, F(x, z, y)=\langle z, \exp ^{-1}_{x}y\rangle \) for all \((x, z, y)\in K\times C\times K\) and \(A\) be a single-valued vector field. Then (GVQEP) reduces to the vector variational inequality on Hadamard manifold [24], which consists in finding \(x^*\in K\) such that
$$\begin{aligned} \langle A(x^*), \exp ^{-1}_{x^*}y\rangle \notin -int\mathbb {R}_{+}^{p},\quad \forall y\in K. \end{aligned}$$ -
(II)
Let \(S(x)=K\) and \(A(x)=\overline{z}\) for every \(x\in K, F(x, z, y)=h(x, y)\) for all \((x, z, y)\in K\times C\times K\) and \(p=1\). Then (GVQEP) reduces to the equilibrium problem on Hadamard manifold [23], which consists in finding \(x^*\in K\) such that
$$\begin{aligned} h(x^*, y)\ge 0,\quad \forall y\in K. \end{aligned}$$
Definition 3.1
[30] Let \(Q\subseteq \mathbb {R}^{p}\) be a nonempty set and \(\mathbb {R}_{+}^{p}\subseteq \mathbb {R}^{p}\) be a closed convex cone. Then \(\overline{y}\in Q\) is said to be a weak minimizer of \(Q\) if, for any \(y\in Q, y-\overline{y}\notin -int \mathbb {R}_{+}^{p}\). All weak minimizers of \(Q\) are denoted by \(Wmin_{\mathbb {R}_{+}^{p}}Q\).
Lemma 3.1
[30] Let \(Q\subseteq \mathbb {R}^{p}\) be a nonempty compact set and \(\mathbb {R}_{+}^{p}\subseteq \mathbb {R}^{p}\) be a closed convex cone. Then \(Wmin_{\mathbb {R}_{+}^{p}}Q\ne \emptyset \).
The following result provides a fixed point theorem in the setting of Hadamard manifold, it follows from Theorem 3.10 in [23].
Lemma 3.2
Let \(M\) be a Hadamard manifold and \(K\subseteq M\) be a compact convex set, \(V: K\rightarrow 2^{K}\) be a upper Kuratowski semicontinuous mapping. Assume that for any \(x\in K, V(x)\) is closed and convex. Then there exists a fixed point of \(V\).
Theorem 3.1
Let \(M\) be a Hadamard manifold. Suppose that the following conditions hold:
-
(i)
\(K\subseteq M\) is nonempty compact convex;
-
(ii)
\(S: K\rightarrow 2^{K}\) is a continuous set-valued mapping such that \(S(x)\) is nonempty closed convex for every \(x\in K\);
-
(iii)
\(A: K\rightarrow 2^{TM}\) is an upper Kuratowski semicontinuous vector field such that \(A(x)\) is compact convex for every \(x\in K, C\subseteq TM\) is a compact convex set and \(A(x)\subseteq C\) for every \(x\in K\);
-
(iv)
\(F: K\times C\times K\rightarrow \mathbb {R}^{p}\) is a continuous mapping satisfying the following conditions:
-
(a)
\(F(x, z, x)\in \mathbb {R}_{+}^{p}\) for every \((x, z)\in K\times C\);
-
(b)
the mapping \(y\mapsto F(x, z, y)\) is \(\mathbb {R}_{+}^{p}\)-quasi-convex for every \((x, z)\in K\times C\).
-
(a)
Then there exist \(\overline{x}\in S(\overline{x})\) and \(\overline{z}\in A(\overline{x})\) such that
Proof
We define a set-valued mapping \(P: K\times C\rightarrow 2^{K}\) as follows:
Since \(K\) is compact, \(S(x)\) is closed and \(S(x)\subseteq K\) for every \(x\in K\), we know that \(S(x)\) is compact for every \(x\in K\). It follows from the continuity of \(F\) that \(F(x, z, S(x))\) is compact for every \((x, z)\in K\times C\). Moreover, Lemma 3.1 shows that \(Wmin_{\mathbb {R}^{p}_{+}} F(x, z, S(x))\ne \emptyset \) and so \(P(x, z)\ne \emptyset \) for every \((x, z)\in K\times C\).
We shall show that
-
(I)
\(P(x, z)\) is convex for every \((x, z)\in K\times C\);
-
(II)
\(P(x, z)\) is compact for every \((x, z)\in K\times C\);
-
(III)
\(P\) is upper Kuratowski semicontinuous on \(K\times C\).
To show (I), let \(u_{1}, u_{2}\in P(x, z)\) and \(t\in [0, 1]\). By the definition of \(P(x, z)\), one has \(u_{1}, u_{2}\in S(x)\),
and
Since \(y\mapsto F(x, z, y)\) is \(\mathbb {R}_{+}^{p}\)-quasi-convex for every \((x, z)\in K\times C\), we have
and so
Again since \(S(x)\) is convex for every \(x\in K\), one has \(\exp _{u_{1}}t\exp ^{-1}_{u_{1}}u_{2}\in S(x)\). This together with (1) implies that \(\exp _{u_{1}}t\exp ^{-1}_{u_{1}}u_{2}\in P(x, z)\) and so \(P(x, z)\) is convex for every \((x, z)\in K\times C\). Then (I) holds.
Next, we prove (II). Since \(K\) is compact and \(P(x, z)\subseteq K\). We need to prove that \(P(x, z)\) is closed for every \((x, z)\in K\times C\). Let \(\{u_{n}\}\subseteq P(x, z)\) and \(u_{n}\rightarrow \overline{u}\). We show that \(\overline{u}\in P(x, z)\). In fact, since \(\{u_{n}\}\subset P(x, z)\), one has \(u_{n}\in S(x)\) and
That is,
Since \(\mathbb {R}_{+}^{p}\) is closed, \(F\) is continuous and \(u_{n}\rightarrow \overline{u}\), we have
and so
Since \(S(x)\) is closed valued for every \(x\in K\), we know that \(\overline{u}\in S(x)\). This together with (2) implies that \(\overline{u}\in P(x, z)\). Thus, \(P(x, z)\) is compact for every \((x, z)\in K\times C\). Then (II) holds.
Next we prove that \(P\) is upper Kuratowski semicontinuous on \(K\times C\). Let \(\{(x_{k}, z_{k})\}\subseteq K\times C\) and \((x_{k}, z_{k})\rightarrow (x, z)\) with \(u_{k}\in P(x_{k}, z_{k})\) and \(u_{k}\rightarrow u\in K\). Since \(u_{k}\in P(x_{k}, z_{k})\), one has \(u_{k}\in S(x_{k})\). Since \(S\) is continuous and closed valued, we know that \(u\in S(x)\) and for every \(y\in S(x)\), there exists \(y_{k}\in S(x_{k})\) such that \(y_{k}\rightarrow y\). On the other hand, since \(u_{k}\in P(x_{k}, z_{k})\), one has
The continuity of \(F\) shows that
This together with
implies that
Thus, for any \(y\in S(x)\), we have
and so
Therefore, \(u\in P(x, z)\). This shows that \(P\) is upper Kuratowski semicontinuous on \(K\times C\). Thus, (III) holds.
Now we define a set-valued mapping \(G: K\times C\rightarrow 2^{K\times C}\) as follows:
It is obvious that \(G\) is upper Kuratowski semicontinuous on \(K\times C\) and \(G(x, z)\) is compact convex for every \((x, z)\in K\times C\). By Lemma 3.2, there exists \((\overline{x}, \overline{z})\in K\times C\) such that
That is, \(\overline{x}\in P(\overline{x}, \overline{z})\) and \(\overline{z}\in A(\overline{x})\). Thus, there exists \(\overline{z}\in A(\overline{x})\) such that
Next we show that \(F(\overline{x}, \overline{z}, y)\notin -int \mathbb {R}^{p}_{+}\) for all \(y\in S(\overline{x}).\) If there exists some \(y^*\in S(x^*)\) such that \(F(\overline{x}, \overline{z}, y^*)\in -int \mathbb {R}^{p}_{+}\), then it follows from \(F(\overline{x}, \overline{z}, \overline{x})\in \mathbb {R}^{p}_{+}\) that
which is a contradiction. Thus, there exist \(\overline{x}\in K\) and \(\overline{z}\in A(\overline{x})\) such that
This completes the proof. \(\square \)
By Remark 2.2 and Theorem 3.1, we have the following result.
Corollary 3.1
Let \(M\) be a Hadamard manifold. Suppose that the following conditions hold:
-
(i)
\(K\subseteq M\) is nonempty compact convex;
-
(ii)
\(S: K\rightarrow 2^{K}\) is a continuous set-valued mapping and \(S(x)\) is nonempty closed convex for every \(x\in K\);
-
(iii)
\(A: K\rightarrow 2^{TM}\) is a upper Kuratowski semicontinuous vector field and \(A(x)\) is compact convex for every \(x\in K, C\subseteq TM\) is a compact convex set and \(A(x)\subseteq C\) for every \(x\in K\);
-
(iv)
\(F: K\times C\times K\rightarrow \mathbb {R}^{p}\) is a continuous mapping satisfying the following conditions:
-
(a)
\(F(x, z, x)\in \mathbb {R}_{+}^{p}\) for every \((x, z)\in K\times C\);
-
(b)
the mapping \(y\mapsto F(x, z, y)\) is natural \(\mathbb {R}_{+}^{p}\)-quasi-convex for every \((x, z)\in K\times C\).
-
(a)
Then there exist \(\overline{x}\in S(\overline{x})\) and \(\overline{z}\in A(\overline{x})\) such that
Remark 3.1
-
(i)
Let \(S(x)=K\) for every \(x\in K, F(x, z, y)=\langle z, \exp ^{-1}_{x}y\rangle \) for all \((x, z, y)\in K\times C\times K\) and \(A\) be a single-valued vector field. Then Theorem 3.1 and Corollary 3.1 can be regarded as a generalization of Theorem 3.2 in [24].
-
(ii)
Let \(S(x)=K\) and \(A(x)=\overline{z}\) for every \(x\in K, F(x, z, y)=h(x, y)\) for all \((x, z, y)\in K\times C\times K\) and \(p=1\). Then Theorem 3.1 and Corollary 3.1 can be regarded as a generalization of Theorem 3.2 in [23].
Next, we present an example to illustrate that all conditions in Theorem 3.1 can be satisfied and so we can solve the vector quasi-equilibrium problem in the setting of Hadamard manifold by employing Theorem 3.1. However, the classical existence theorems for the vector quasi-equilibrium problems in the setting of Euclidean spaces are not valid.
Example 3.1
Let \(M=(\mathbb {R}_{++}, \langle ,\rangle )\) be the Riemannian manifold, where \(\mathbb {R}_{++}=\{x\in \mathbb {R}: x>0\}\) and \(\langle ,\rangle \) is the Riemannian metric \(\langle ,\rangle =g(x)uv\) with \(g: \mathbb {R}_{++}\rightarrow (0, +\infty )\). Since the map \(\phi : \mathbb {R}\rightarrow M\) given by \(\phi (x)=e^{x}\) is an isometry, the sectional curvature of \(M\) is \(K\equiv 0\). Moreover, the tangent plane at \(x\in M\) denoted by \(T_{x}M\), equals \(\mathbb {R}\). The Riemannian distance \(d: M\times M\rightarrow \mathbb {R}_{+}\) is given by
(see, for example [31]). Therefore, \((\mathbb {R}_{++}, \langle ,\rangle )\) is a Hadamard manifold. The geodesic curve \(\gamma : \mathbb {R}\rightarrow M\) starting form \(x\)(\(\gamma (0)=x\)) will have the equation
where \(v=\gamma '(0)\in T_{x}M\) is the tangent unit vector of \(\gamma \) in the starting point.
The above equation implies that
To get the expression of the inverse exponential map, for any \(x, y\in M\), we write
It follows that
Let \(K=\{x|x=e^{t}, t\in [0, 1]\}\) and \(p=2\). For any \(x\in K\), let \(S(x)=\{y|y=e^{t}, t\in [\ln x,1]\}\) and \(A(x)=[1,e]\). For any \(x, y\in K\) and \(z\in T_{x}M\), define \(F(x, z, y)=(f_{1}(x, z, y), f_{2}(x, z, y))\), where
Note that \(K\) is non-convex in \(\mathbb {R}, S(x)\) is non-convex for all \(x\in K, f_{1}\) and \(f_{2}\) are both non-convex in the third variable under the usual sense, i.e., in the case \(M\) is endowed with the Euclidean metric. Thus, the classical existence theorems for the vector quasi-equilibrium problems in the setting of Euclidean spaces are no longer valid. However, by using the expression of geodesics, \(K\) is convex, \(S(x)\) is convex for all \(x\in K, f_{1}\) and \(f_{2}\) are convex in the third variable. It is easy to verify that all conditions in Theorem 3.1 hold and so Theorem 3.1 implies the existence of solutions for \(\mathrm {(GVQEP)}\) and the set \(\{x|x=e^{t}, t\in [\ln (3/e),1]\}\) is the solution set of \(\mathrm {(GVQEP)}\) on \(M\).
4 Applications
This section is devoted to some applications of the existence theorem for GVQEPs on Hadamard manifolds. The first one is to GVQVIs, followed by the application to generalized vector variational-like inequalities. The last one is to vector optimization problems.
4.1 Generalized vector quasi-variational inequalities
Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a nonempty closed set, \(V_{i}: K\rightarrow 2^{TM} (i=1, 2,\ldots , p)\) be a set-valued vector field and \(S: K\rightarrow 2^{K}\) be a set-valued mapping. We denote by \(V=V_{1}\times V_{2}\times \cdots \times V_{p}\) and consider the following GVQVI: find \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
Lemma 4.1
[28] Let \(M\) be a Hadamard manifold, \(x_{0}\in M\) and \(\{x_{n}\}\subseteq M\) with \(x_{n}\rightarrow x_{0}\). Then the following assertions hold.
-
(i)
For any \(y\in M\), we have
$$\begin{aligned} \exp _{x_{n}}^{-1}y\rightarrow \exp _{x_{0}}^{-1}y~\mathrm{and }~\exp _{y}^{-1}x_{n}\rightarrow \exp _{y}^{-1}x_{0}. \end{aligned}$$ -
(ii)
Given \(u_{n}, v_{n}\in T_{x_{n}}M\) and \(u_{0}, v_{0}\in T_{x_{0}}M\), if \(u_{n}\rightarrow u_{0}\) and \(v_{n}\rightarrow v_{0}\), then \(\langle u_{n}, v_{n}\rangle \rightarrow \langle u_{0}, v_{0}\rangle \).
Lemma 4.2
[23, 32] Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a nonempty set, \(x\in K\) and \(u\in T_{x}M\). Define a mapping \(g: M\rightarrow \mathbb {R}\) by
Then both \(g\) are affine, in other words, \(g\) and \(-g\) are convex functions.
Theorem 4.1
Let \(M\) be a Hadamard manifold. Suppose that the following conditions hold:
-
(i)
\(K\subseteq M\) is nonempty compact convex;
-
(ii)
\(S: K\rightarrow 2^{K}\) is a continuous set-valued mapping and \(S(x)\) is nonempty closed convex for every \(x\in K\);
-
(iii)
For each \(i=1, 2, \ldots , p, V_{i}: K\rightarrow 2^{TM}\) is an upper Kuratowski semicontinuous vector field and \(V_{i}(x)\) is compact convex for every \(x\in K, C_{i}\subseteq TM\) is a compact convex set and \(V_{i}(x)\subseteq C_{i}\) for every \(x\in K\).
Then there exist \(\overline{x}\in S(\overline{x})\) and \(\overline{z}\in V(\overline{x})\) such that
Proof
We denote by \(C=C_{1}\times C_{2}\times \cdots \times C_{p}\) and define \(\overline{F}: K\times C\times K\rightarrow \mathbb {R}^{p}\) as
Obviously the solutions of \(\mathrm {(GVQVI)}\) are the solutions of \(\overline{F}\). It is straightforward to see that \(\overline{F}\) satisfies hypotheses (i), (ii) and (iii) in Theorem 3.1. Now we only need to prove (iv) of Theorem 3.1. It follows from Lemma 4.1 that the mapping \(\overline{F}\) is continuous on \(K\times C\times K\). Since \(\langle z, \exp ^{-1}_{x}x\rangle =0\) for every \((x, z)\in K\times C\), condition (a) in Theorem 3.1 holds. By Lemma 4.2, we know that \(y\mapsto \overline{F}(x, z, y)\) is \(\mathbb {R}^{p}_{+}\)-convex. This yields that \(y\mapsto \overline{F}(x, z, y)\) is \(\mathbb {R}^{p}_{+}\)-quasi-convex by Remark 2.2. As a consequence of Theorem 3.1, there exists \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
and so \(\overline{x}\) is a solution of (GVQVI). This completes the proof. \(\square \)
Example 4.1
Let \(M, K, p, S\) and \(A\) be the same as in Example 3.1. For any \(x, y\in K\) and \(z\in T_{x}M\), define
where
Then it is easy to verify that all conditions in Theorem 4.1 hold. Therefore, Theorem 4.1 implies that there exists a solution set for (GVQVI).
4.2 Generalized vector variational-like inequalities
Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a nonempty closed set, \(V_{i}: K\rightarrow 2^{TM} (i=1, 2,\ldots , p)\) be a set-valued vector field and \(\eta : K\times K\rightarrow TM\) be a continuous vector field. Then the generalized vector variational-like inequality \(\mathrm {(GVVLI)}\) is formulated as follows: find \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
Theorem 4.2
Let \(M\) be a Hadamard manifold. Suppose that the following conditions hold:
-
(i)
\(K\subseteq M\) is nonempty compact convex;
-
(ii)
\(S: K\rightarrow 2^{K}\) is a continuous set-valued mapping such that \(S(x)\) is nonempty closed convex for every \(x\in K\);
-
(iii)
For each \(i=1, 2, \ldots , p, V_{i}: K\rightarrow 2^{TM}\) is an upper Kuratowski semicontinuous vector field and \(V_{i}(x)\) is compact convex for every \(x\in K, C_{i}\subseteq TM\) is a compact convex set and \(V_{i}(x)\subseteq C_{i}\) for every \(x\in K\);
-
(iv)
\(\eta : K\times K\rightarrow TM\) is a continuous vector field satisfying the following conditions:
-
(a)
\(\langle z, \eta (x, x)\rangle \in \mathbb {R}_{+}^{p}\) for every \((x, z)\in K\times C\);
-
(b)
the mapping \(y\mapsto \langle z, \eta (y, x)\rangle \) is \(\mathbb {R}_{+}^{p}\)-quasi-convex for every \((x, z)\in K\times C\).
-
(a)
Then there exist \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
Proof
We define \(C=C_{1}\times C_{2}\times \cdots \times C_{p}\) and \(\widehat{F}: K\times C\times K\rightarrow \mathbb {R}^{p}\) as follows:
Obviously, the solutions of \(\mathrm {(GVVLI)}\) are the solutions of \(\widehat{F}\). It is easy to check that \(\widehat{F}\) satisfies all the hypotheses in Theorem 3.1. As a consequence of Theorem 3.1, there exist \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
This completes the proof. \(\square \)
4.3 Vector optimization problems
In this section, some relationships between a generalized variational-like inequality and a vector optimization problem are established, which can be considered as a generalization of results presented in [24].
Definition 4.1
Let \(M\) be a Hadamard manifold and \(f: M\rightarrow \mathbb {R}\bigcup \{+\infty \}\) be a proper function. We said that \(f\) is locally Lipschitz on \(M\) if, for each \(x\in dom f\), there exists \(\epsilon _{x}>0\) such that
where \(L_{x}\) is some positive number (called the Lipschitz constant of \(f\) in neighborhood of \(x\)) and
Definition 4.2
[33] Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a convex set and \(f: M\rightarrow \mathbb {R}\bigcup \{+\infty \}\) be a proper locally Lipschitz function. Given \(x\in K\), the generalized directional derivative of \(f\) at \(x\) in the direction \(v\in T_{x}M\), denoted by \(f^{\circ }(x, v)\), is defined by
where \((D\exp _{x})_{\exp _{x}^{-1}y}\) denotes the differential of \(\exp _{x}\) at \(\exp _{x}^{-1}y\).
It is worth to pointed out that an equivalent definition has appeared in [34].
Definition 4.3
[33–35] Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a convex set and \(f: M\rightarrow \mathbb {R}\bigcup \{+\infty \}\) be a proper locally Lipschitz function. The generalized subdifferential of \(f\) at \(x\in K\), denoted by \(\partial ^{\circ }f(x)\), is defined by
Lemma 4.3
[35] Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a convex set and \(f: M\rightarrow \mathbb {R}\bigcup \{+\infty \}\) be a proper locally Lipschitz function. Then for every \(x\in K\),
-
(i)
\(\partial ^{\circ }f(x)\) is nonempty compact convex;
-
(ii)
\(\partial ^{\circ }f\) is upper Kuratowski semicontinuous on \(K\).
Remark 4.1
Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a convex set, \(f=(f_{1}, f_{2}, \ldots , f_{p}): M\rightarrow \mathbb {R}^{p}\) be a vector valued function and \(f_{i}(i=1, 2, \ldots , p)\) be a proper locally Lipschitz function. Let \(\partial ^{\circ } f(x)=\partial ^{\circ } f_{1}(x)\times \partial ^{\circ } f_{2}(x)\times \cdots \times \partial ^{\circ } f_{p}(x)\) for all \(x\in K\). Then it is easy to check that \(x\mapsto \partial ^{\circ } f(x)\) is upper Kuratowski semicontinuous on \(K\) and \(\partial ^{\circ } f(x)\) is compact convex valued for every \(x\in K\).
By Remark 4.1 and Theorem 3.1, we obtain the following result.
Theorem 4.3
Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a compact convex set, \(f_{i}: M\rightarrow \mathbb {R}^{p} (i=1, 2, \ldots , p)\) be a proper locally Lipschitz function, \(\eta : K\times K\rightarrow TM\) be a continuous vector field satisfying the following conditions:
-
(i)
\(\langle z, \eta (x, x)\rangle \in \mathbb {R}_{+}^{p}\) for every \((x, z)\in K\times C\);
-
(ii)
the mapping \(y\mapsto \langle z, \eta (y, x)\rangle \) is \(\mathbb {R}_{+}^{p}\)-quasi-convex for every \((x, z)\in K\times C\).
Then there exist \(\overline{x}\in K\) and \(\overline{z}\in V(\overline{x})\) such that
Next, we consider the following vector optimization problem:
where \(K\subseteq M\) is a nonempty set and \(f: M\rightarrow \mathbb {R}^{p}\) is a vector valued function. It is easy to check that \(x^*\in K\) is a efficient weak solution of (VOP) iff
Definition 4.4
[36] Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a convex set and \(h: M\rightarrow \mathbb {R}\bigcup \{+\infty \}\) be a proper locally Lipschitz function. Then \(h\) is said to be invex with respect to \(\eta \), if there exists \(\eta : M\times M\rightarrow TM\) such that
Theorem 4.4
Let \(M\) be a Hadamard manifold, \(K\subseteq M\) be a nonempty set and \(f_{i}: M\rightarrow \mathbb {R}^{p}(i=1, 2, \ldots , p)\) be invex with respect to \(\eta \). If \(\overline{x}\) is a solution of the following generalized variational-like inequality: find \(\overline{x}\in K\) and \(\overline{z}\in \partial ^{\circ } f(\overline{x})\) such that
Then \(\overline{x}\) is a weak efficient solution of (VOP).
Proof
Suppose that \(\overline{x}\) is not a weak efficient solution of \(\mathrm {(VOP)}\). Then there exists \(x^*\in K\) such that
This implies that, for each \(i=1, 2, \ldots , p\),
Since \(f_{i}(i=1, 2, \ldots , p)\) is invex with respect to \(\eta \), one has
By the definition of \(\partial ^{\circ } f\), we know that, for every \(z\in \partial ^{\circ }f(\overline{x})\),
which is a contradiction. This completes the proof. \(\square \)
Remark 4.2
If \(f\) is convex and differentiable on \(M, \eta (y, x)=\exp _{x}^{-1}y\) for all \((y, x)\in M\times M\), then Theorems 4.3 and 4.4 can be regarded as a generalization of Theorem 3.1 in [24].
References
Blum, E., Oettli, W.: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123–145 (1994)
Ansari, Q.H., Yao, J.C.: An existence result for the generalized vector equilibrium problems. Appl. Math. Lett. 12(8), 53–56 (1999)
Fu, J.Y.: Generalized vector quasi-equilibrium problems. Math. Meth. Oper. Res. 52, 57–64 (2000)
Fu, J.Y., Wan, A.H.: Generalized vector quasi-equilibrium problems with set-valued mappings. Math. Meth. Oper. Res. 56, 259–268 (2002)
Chen, G.Y., Yang, X.Q., Yu, H.: A nonlinear scalarization and generalized quasi-vector equilibrium problems. J. Global Optim. 32, 451–466 (2005)
Hou, S.H., Yu, H., Chen, G.Y.: On vector quasi-equilibrium problems with set-valued maps. J. Optim. Theory Appl. 119, 485–498 (2003)
Li, S.J., Yang, X.Q., Chen, G.Y.: Generalized vector quasi-equilibrium problems. Math. Meth. Oper. Res. 61, 385–397 (2005)
Li, S.J., Teo, K.L., Yang, X.Q., Wu, S.Y.: Gap function and existence of solutions to generalized vector quasi-equilibrium problems. J. Global Optim. 34, 427–440 (2006)
Li, S.J., Zeng, J.: Existence of solutions for generalized vector quasi-equilibrium problems. Optim. Lett. 2, 341–349 (2008)
Lin, L.J., Chen, H.L.: The study of KKM theorems with applications to vector equilibrium problems and implicit vector variational inequalities problems. J. Global Optim. 32, 135–157 (2005)
Ansari, Q.H., Yao, J.C.: Recent Advances in Vector Optimization. Springer, Berlin (2012)
Lin, L.J., Huang, Y.J., Ansari, Q.H.: Some existence results for solutions of generalized vector quasi-equilibrium problems. Math. Meth. Oper. Res. 65, 85–98 (2007)
Ansari, Q.H., Flores-Bazan, F.: Generalized vector quasi-equilibrium problems with applications. J. Math. Anal. Appl. 277, 246–256 (2003)
Ansari, Q.H., Schaible, S., Yao, J.C.: Generalized vector equilibrium problems under generalized pseudomonotonicity with applications. J. Nonlinear Convex Anal. 3(3), 331–344 (2002)
Walter, R.: On the metric projections onto convex sets in Riemannian spaces. Arch. Math. 25, 91–98 (1974)
Udriste, C.: Mathematics and its Applications, vol. 297. Convex functions and optimization methods on Riemannian manifolds. Kluwer Academic Publishers, Dordrecht (1994)
Ferreira, O.P., Oliveira, P.R.: Proximal point algorithm on Riemannian manifolds. Optimization 51, 257–270 (2002)
Li, C., Wang, J.H.: Newton’s method on Riemannian manifolds: Smale’s point estimate theory under the \(\gamma \)-condition. IMA J. Numer. Anal. 26, 228–251 (2006)
Rapcsák, T.: Nonconvex Optimization and Its Applications. Smooth nonlinear optimization in \(\mathbb{R}^{n}\)Kluwer Academic Publishers, Dordrecht (1997)
Rapcsák, T.: Geodesic convexity in nonlinear optimization. J. Optim. Theory Appl. 69, 169–183 (1991)
Ferreira, O.P., Pérez, L.R.L., Námeth, S.Z.: Singularities of monotone vector fields and an extragradient-type algorithm. J. Global Optim. 31, 133–151 (2005)
Németh, S.Z.: Variational inequalities on Hadamard manifolds. Nonlinear Anal. 52, 1491–1498 (2003)
Colao, V., López, G., Marino, G., Martín-Márquez, V.: Equilibrium problems in Hadamard manifolds. J. Math. Anal. Appl. 388, 61–77 (2012)
Zhou, L.W., Huang, N.J.: Existence of solutions for vector optimization on Hadamard manifolds. J. Optim. Theory Appl. 157, 44–53 (2013)
Klingenberg, W.: A Course in Differential Geometry. Springer, Berlin (1978)
Chavel, I.: Riemannian Geometry—A Modern Introduction. Cambridge University Press, London (1993)
Sakai, T.: Translations of Mathematical Monographs, vol. 149. Riemannian geometryAmerican Mathematical Society, Providence (1996)
Li, C., López, G., Martín-Márquez, V.: Monotone vector fields and the proximal point algorithm on Hadamard manifolds. J. Lond. Math. Soc. 79(2), 663–683 (2009)
Tanaka, T.: Generalized quasiconvexities, cone saddle points and minimax theorem for vector-valued functions. J. Optim. Theory Appl. 81, 355–377 (1994)
Luc, D.T.: Lecture Notes in Economics and Mathematical Systems, vol. 319. Theory of vector optimization. Springer, Berlin (1989)
da Cruz Neto, J.X., Ferreira, O.P., Lucâmbio Párez, L.R., Námeth, S.Z.: Convex- and monotone-transformable mathematical programming problems and a proximal-like point method. J. Global Optim. 35, 53–69 (2006)
Papaquiroz, E.A., Oliveira, P.R.: Proximal point methods for quasiconvex and convex functions with Bregman distances on Hadamard manifolds. J. Convex Anal. 16(1), 46–69 (2009)
Bento, G.C., Ferreira, O.P., Oliveira, P.R.: Local convergence of the proximal point method for a special class of nonconvex functions on Hadamard manifolds. Nonlinear Anal. 73, 564–572 (2010)
Azagra, D., Ferrera, J., López-Mesas, M.: Nonsmooth analysis and Hamilton–Jacobi equations on Riemannian manifolds. J. Funct. Anal. 220, 304–361 (2005)
Hosseini, S., Pouryayevali, M.R.: Generalized gradients and characterizations of epi-Lipschitz sets in Riemannian manifolds. Nonlinear Anal. 74, 3884–3895 (2011)
Reiland, T.W.: Nonsmooth invexity. Bull. Aust. Math. Soc. 42, 437–446 (1990)
Acknowledgments
The authors are grateful to the editor and the referees for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the Key Program of NSFC (Grant No. 70831005) and the National Natural Science Foundation of China (11171237).
Rights and permissions
About this article
Cite this article
Li, Xb., Huang, Nj. Generalized vector quasi-equilibrium problems on Hadamard manifolds. Optim Lett 9, 155–170 (2015). https://doi.org/10.1007/s11590-013-0703-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-013-0703-9