Convexity and its extension are of great importance in mathematical programming, which serves as an efficient concept to investigate optimality conditions. There was several extensions and generalizations for classical convexity. Among them, one meaningful notion is called arcwise connected convexity, which was first introduced by Avrie and Zang [5]. Since then, several scholars have been made efforts to establish optimality conditions and duality results in mathematical programming under the new defined generalized arcwise connected convexities. For instance: sub-arcwise connected functions [13], arcwise cone connected type-Ⅰ functions [18], arcwise connected cone-convex functions [9], arcwise connected cone-quasiconvex set-valued mappings [19] and $B$-arcwise connected functions [22], and so on. In this paper, we shall introduce a kind of generalized arcwise connected convexity, named $(\rho, b)$-right differential arcwise connected funtions, which are proposed by combining arcwise connected convexity together with $B$-invexity given in [6].
It is well-known that vector variational-like inequalities play an important role in the field of applied mathematics. In the investigation of vector variational-like inequalities, scholars are focused on the following two topics: one is the relationship between vector variational-like inequalities and vector optimization; the other one is the existence results of vector variational-like inequalities. Since Giannessi [11] first discussed the relationship between Minty vector variational inequalities and vector optimality problems in the case of differentiable functions, many results were obtained by scholars related to this topic. For example: Homidan and Ansari [2] discussed the relationship between a kind of generalized Minty vector variational-like inequalities and vector optimality problems in the case of non-differentiable functions; Ansari and Lee [4] introduced the Minty vector variational inequalities and the Stampacchia vector variational inequalities by defining upper Dini derivative, and presented an existence result for the solutions of these two kinds of variational inequalities; Yu [19], Yu and Liu [20] disclosed the relationships between proper efficiency of generalized cone-preinvex set-valued optimization problem and a kind of vector variational-like inequalities; Kim et al. [21] discussed solution existence, stability and global error bound for strongly pseudomonotone variational inequalities.
This paper is a further study of Stampacchia and Minty vector variational-like inequalities involving the generalized arcwise connected convex functions. Under the assumption of $(\rho, b)$-right differential arcwise connected convexity, we show the close relationships between two kinds of vector variational-like inequalities and multi-objective programming. This paper is arranged as follows: Section 2 is concerned with some definitions, which will be applicable in proving our results. In Section 3, some relationships between vector variational-like inequalities and multi-objective programming are derived.
Let $\mathbb{R}^{n}$, $\mathbb{R}$, $\mathbb{R}_+$ and $\mathbb{R}_{++}$ be $n$-dimensional Euclidean space, the set of real numbers, the set of nonnegative real numbers and the set of positive real numbers. For arbitrary $x, y\in \mathbb{R}^{n}$, the inner product between $x$ and $y$ is denoted by $x^Ty$. The following convention for vectors in $\mathbb{R}^{n}$ will be followed
Let us recall the notions of arcwise connected convexity for a set and a function.
Deflnition 2.1 [10] A set $X\subset\mathbb{R}^{n}$ is said to be arcwise connected, if for any $x, u\in X$, there exists a continuous vector-valued function $H_{x, u}:[0, 1] \rightarrow X$, named an arc, such that
Deflnition 2.2 [5] Let $\varphi$ be a real valued function defined on an arcwise connected set $X\subset \mathbb{R}^{n}$. Let $x, u\in X$ and $H_{x, u}$ be the arc connecting $x$ and $u$ in X. The function $\varphi$ is said to possess a right derivative or right differential with respect to the arc $H_{x, u}$ at $t=0$ if
exists. This limit is denoted by $\varphi^{+}(H_{x, u}(0))$.
Deflnition 2.3 [20] Let $X\subset\mathbb{R}^{n}$ be arcwise connected set. A function $\varphi:X\rightarrow R$ is called to be $(\rho, b)$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, if there exist real valued functions $b:X\times X\rightarrow \mathbb{R_{+}}, \rho:X\times X\rightarrow \mathbb{R}$ such that
If $\varphi$ is $(\rho, b)$-right differential arcwise connected at for all $x\in X$, then $\varphi$ is called $(\rho, b)$-right differential arcwise connected on $ X$; $\varphi$ is called to be strictly $(\rho, b)$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, if equation (2.1) takes strict inequality, that is
If $\varphi$ is strictly $(\rho, b)$-right differential arcwise connected at for all $x\in X$, then $\varphi$ is called strictly $(\rho, b)$-right differential arcwise connected on $ X$.
Following example enables us to illustrate the above definition.
Example 1 Considering the functions $\varphi:[0, 1]\rightarrow \mathbb{R}, \ b:[0, 1]\times[0, 1]\rightarrow \mathbb{R_{+}}$ and $\rho:[0, 1]\times[0, 1]\rightarrow \mathbb{R}$, defined by $\varphi(x)=x^{2}, ~ b(x, u)= x^{4}, ~ \rho(x, u)=0.$ Further, for any $u, x\in [0, 1]$, define $H_{x, u}(t)=\sqrt{(1-t^{2})x^{2}+t^{2}u^{2}}, ~\forall~t\in [0, 1]$. Then by definition of right derivative of $\varphi$, we obtain $\varphi^{+}(H_{x, u}(0))=0.$ Taking $x=0$, we have $\varphi(u)-\varphi(x)=u^2.$ Therefore we get
it is obvious that for $x\in[0, 1]$,
Thus $\varphi$ is $(\rho, b)$-right differential arcwise connected with respect to $H_{x, u}$ at $x=0$.
Deflnition 2.4 Let $X\subset\mathbb{R}^{n}$ be arcwise connected set, a function $\varphi:X\rightarrow R$ is called to be pseudo $(\rho, b)$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, if there exist real valued functions $b:X\times X\rightarrow \mathbb{R_{+}}, \rho:X\times X\rightarrow \mathbb{R}$ such that
Equivalently,
Example 2 Consider the functions $\varphi:[0, 1]\mapsto \mathbb{R}, b:[0, 1]\times[0, 1]\mapsto \mathbb{R_{+}}$ and $\rho:[0, 1]\times[0, 1]\rightarrow \mathbb{R}$, defined by $\varphi(x)=x^{2}, ~ b(x, u)= 1, ~ \rho(x, u)=-2x^2.$ Further, for any $u, x\in [0, 1]$, define $H_{x, u}(t)=\sqrt{(\sin(1-t)\frac{\pi}{2})x^2+u^2}, ~\forall~t\in [0, 1]$. Then we obtain
Assuming that $\varphi^{+}(H_{x, u}(0))+\rho(x, u)\geq 0$, that is
we derive $f(u)-f(x)=u^2-x^2\geq 0.$ This shows that $\varphi$ is pseudo $(\rho, b)$-right differential arcwise connected with respect to $H_{x, u}$ at all $x\in [0, 1]$.
Deflnition 2.5 The right derivative of function $\varphi: X\subset \mathbb{R}^n\rightarrow \mathbb{R}$ is called monotone on $X$, if there exists real valued function $\rho:X\times X\rightarrow \mathbb{R}$ such that
Now, we give an example, which illustrate the monotonicity of right derivative for a real valued function.
Example 3 Consider the function $\varphi:(0, 1]\rightarrow \mathbb{R}, \ \rho:(0, 1]\times(0, 1]\rightarrow \mathbb{R}$ defined by
Further, for any $u, x\in X$, defining $H_{u, x}(t)=\sqrt{t x^{2t}+(1-t)u^{2}}, ~\forall~t\in [0, 1]$. Then
and $\varphi^{+}(H_{x, u}(0))=(x^{2}-1)\cos x^{2}.$ Thus for any $x, u\in (0, 1]$, one has
It is clear that $ \rho(u, x)+\varphi^{+}(H_{u, x}(0))+\rho(x, u)+\varphi^{+}(H_{x, u}(0))\leq 0.$ Therefore the right derivative of function $\varphi$ is monotone on $(0, 1]$.
From now on, unless otherwise specified we always assume that $X\subset \mathbb{R}^n$ is an arcwise connected subset of $\mathbb{R}^n$, $f(x)=\left (f_{1}(x), f_{2}(x), \cdots, f_{p}(x)\right)^T$, $f_{i}:X \rightarrow \mathbb{R}$ and $f_i$ is $(\rho, b)$-right differential arcwise connected function, $i\in P=\{1, 2, \cdots, p\}$.
Consider the following multi-objective programming problem
Deflnition 2.6 A point $x\in X$ is said to be an efficient solution of (MOP), if there exists no $u\in X$ such that $f_{i}(u)-f_{i}(x)\leq 0, ~\forall~i\in P$ with strict inequality for at least one $i$.
Deflnition 2.7 A point $x\in X$ is said to be a weak efficient solution of (MOP), if there exists no $u\in X$ such that $f_{i}(u)-f_{i}(x) < 0, ~\forall~ i\in P.$
Next, we are about to introduce the following Stampacchia and Minty arcwise connected vector variational-like inequalities, respectively, with also their weak formulations.
(SVVI) For a given function $\rho_{i}, \ i\in P$, find $x\in X$ such that there is no $u\in X$, fulfilling
(MVVI) For a given function $\rho_{i}, \ i\in P$, find $x\in X$ such that there is no $u\in X$, fulfilling
(WSVVI) For a given function $\rho_{i}, \ i\in P$, find $x\in X$ such that there is no $u\in X$, fulfilling
(WMVVI) For a given function $\rho_{i}, \ i\in P$, find $x\in X$ such that there is no $u\in X$, fulfilling
Example 4 Consider the functions $f:[0, 1]\rightarrow \mathbb{R}^{2}, \rho_{i}:[0, 1]\times[0, 1]\rightarrow \mathbb{R}, i=1, 2$, defined by $f(x)=(f_{1}(x), f_{2}(x))^T, $ $f_{1}(x)=x^{2}, ~ f_{2}(x)=x^{4}, ~ \forall x\in [0, 1], $ and $\rho_{1}(u, x)=\rho_{2}(u, x))=0$ for $u, x\in [0, 1]$. Let $H_{u, x}(t)=\sqrt{(1-t^{2})u^{2}+t^{2}x^{2}}, ~\forall~t\in [0, 1]$. Then
Thus
It is obvious that for $x\in[0, 1]$, there exists no $u\in [0, 1]$, satisfing
Therefore, each number in $[0, 1]$ is a solution of (WMVVI).
In this section, we work on the relationships between Stampacchia and Minty vector variational-like inequalities and multi-objective programming, which are formulated in Section 2.
Theorem 3.1 Let $u$ be arbitrary vector in $X$, $b_{i}:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, $f_{i}:X\rightarrow \mathbb{R}$ is $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$. If $x$ solves (SVVI), then $x$ is an efficient solution of (MOP).
Proof Suppose that $x$ is not an efficient solution of (MOP), then there exists $u\in X$ such that
with strict inequality for at least one $i$. Because, for each $i\in P$, $f_{i}$ is $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, it follows from Definition 2.3 that
Noticing that $b_{i}(x, u)> 0$, we derive from $(3.1)$ and $(3.2)$ that $ \rho_{i}(x, u)+f_{i}^{+}(H_{x, u}(0))\leq 0$ with strict inequality for at least one $i$. This shows that there exists $u\in X$ such that
which is a contradiction to the fact that $x$ solves (SVVI).
Theorem 3.2 Let $u$ be arbitrary vector in $X$, $b_{i}:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R_{+}}, \ i\in P$ and for each $i\in P$, $-f_{i}:X\rightarrow \mathbb{R}$ is strictly $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$. If $x$ is a weak efficient solution of (MOP), then $x$ solves (SVVI).
Proof We proceed by contradiction. Assume that $x$ is a weak efficient solution of (MOP), but does not solve (SVVI). Then there exists $u\in X$ such that
that is, there exists $u\in X$ such that
with strict inequality for at least one $i$. Because, for each $i\in P$, $-f_{i}$ is strictly $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, it follows from Definition 2.3 that
By (3.3) and (3.4), we obtain that there exists $u\in X$ such that $f_{i}(u)-f_{i}(x) < 0, ~\forall~i \in P, $ which contributes to a contradiction. Hence $x$ is a solution of problem (SVVI).
Theorem 3.3 Let $u$ be arbitrary vector in $X$, $b_{i}:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, $f_{i}:X\rightarrow \mathbb{R}$ is pseudo $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$. If $x$ solves (WSVVI), then $x$ is a weak efficient solution of (MOP).
Proof We proceed by contradiction. Assume that $x$ is not a weak efficient solution of (MOP), namely, there exists $u\in X$ such that $ f_{i}(u)-f_{i}(x) < 0, ~\forall~i\in P.$ Since, for each $i\in P$, $f_{i}$ is pseudo $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{x, u}$ at $x\in X$, hence, for $u\in X$, we can derive
That is, there exists $u\in X$ such that
which leads to a contradiction.
Theorem 3.4 Let $u, x\in X$ be arbitrary vectors, $b_i:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, $f_{i}:X\rightarrow \mathbb{R}$ is $(\rho_i, b_i)$-right differential arcwise connected with respect to $H_{u, x}$ on $ X$. If $x$ is an efficient solution of (MOP), then $x$ solves (MVVI).
Proof Suppose, contrary to the result, that $x$ does not solve (MVVI), then there exists $u\in X$, such that
with strict inequality for at least one $i$. Because, for each $i\in P$, $f_{i}$ is $(\rho_i, b_{i})$-right differential arcwise connected with respect to $H_{u, x}$ on $X$, so we have
By condition (3.5) and the above inequality, it follows that there exists $u\in X$, satisfying
with strict inequality for at least one $i$, which contradicts the hypothesis that $x$ is an efficient solution of (MOP).
Theorem 3.5 Let $u, x\in X$ be arbitrary vectors, $\rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, the right derivative of $f_{i}:X\rightarrow \mathbb{R}$ is monotone on $ X$. If $x\in X$ solves (WSVVI), then $x$ solves (WMVVI).
Proof Suppose $x$ solves (WSVVI), then there exists no $u\in X$, such that
i.e., there exists $u\in X$ such that
Because, for each $i\in P$, the right derivative of $f_{i}$ is monotone on $X$, we have
The above inequality can be rewritten as, for all $x, u\in X$ and $i\in P$, we get
By inequalities (3.6) and (3.7), it follows that, there exists no $u\in X$ such that
That is, there exists no $u\in X$, such that
which implies that, $x$ solves (WMVVI).
Theorem 3.6 Let $u, x\in X$ be arbitrary vectors, $b_i:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, $f_{i}:X\rightarrow \mathbb{R}$ is strictly $(\rho_i, b_i)$-right differential arcwise connected with respect to $H_{u, x}$ on $ X$. If $x$ is a weak efficient solution of (MOP), then $x$ solves (MVVI).
Proof We proceed by contradiction. Suppose that $x$ is a weak efficient solution of (MOP) but does not solve (MVVI), then there exists $u\in X$, satisfying
with strict inequality for at least one $i$. Because, for each $i\in P$, $f_{i}$ is strictly $(\rho_{i}, b_{i})$-right differential arcwise connected with respect to $H_{u, x}$ on $X$, so we have
From (3.8) and (3.9), it follows, there exists $u\in X$ such that $f_{i}(u)-f_{i}(x) < 0, ~\forall~i\in P, $ which contradicts the fact that $x$ is a weak efficient solution of (MOP).
Theorem 3.7 Let $u, x\in X$ be arbitrary vectors, $b_i:X\times X\rightarrow \mathbb{R_{++}}, \ \rho_{i}:X\times X\rightarrow \mathbb{R}, \ i\in P$ and for each $i\in P$, $f_{i}:X\rightarrow \mathbb{R}$ is $(\rho_i, b_i)$-right differential arcwise connected with respect to $H_{u, x}$ on $ X$. If $x$ is a weak efficient solution of (MOP), then $x$ solves (WMVVI).
Proof The proof is similar to that of Theorem 3.4 and therefore being omitted.