 Research
 Open access
 Published:
Coderivatives and Aubin property of efficient point and efficient solution setvalued maps in parametric vector optimization
Journal of Inequalities and Applications volume 2020, Article number: 231 (2020)
Abstract
The aim of this paper is computing the coderivatives of efficient point and efficient solution setvalued maps in a parametric vector optimization problem. By using a method different from the existing literature we establish an upper estimate and explicit expression for the coderivatives of an efficient point setvalued map where the independent variable can take values in the whole space. As an application, we give some characterizations on the Aubin property of an efficient point map and an explicit expression of the coderivative for an efficient solution map. We provide several examples illustrating the main results.
1 Introduction
Consider the following parametric vectorvalued optimization problem:
where \(f:\mathcal{R}^{m}\times \mathcal{R}^{n}\rightarrow \mathcal{R}^{s}\) is a vectorvalued map, \(C:\mathcal{R}^{m}\rightrightarrows \mathcal{R}^{n}\) is a setvalued map, K is a pointed closed convex cone of \(\mathcal{R}^{s}\) that induces a partial ordering \(\preceq _{K}\), \(x\in \mathcal{R}^{n}\) is a decision variable, and \(p\in \mathcal{R}^{m}\) is a parameter. The “\(\operatorname{Min}_{K}\)” in (1) is understood as follows: \(y\in \operatorname{Min}_{K}A\) if and only if \((yK)\cap A=\{y\}\) for each \(A\subseteq \mathcal{R}^{s}\); when \(A=\emptyset \), \(\operatorname{Min}_{K}A=\emptyset \). For convenience, we define \(F:\mathcal{R}^{m}\rightrightarrows \mathcal{R}^{s}\) as
and \(\mathcal{F}:\mathcal{R}^{m}\rightrightarrows \mathcal{R}^{s}\) as
The latter is the efficient point setvalued map for (1). Clearly, the efficient solution map of (1) is given as
The aim of this paper is discussion of the coderivatives and Aubin property of the efficient point and efficient solution maps in parametric vector optimization problems. The derivatives (especially, coderivatives) are very useful tools to discuss the Aubin property, which is an important concept in sensitivity analysis in optimization theory and applications. The key work of sensitivity analysis is analyzing the behavior of the efficient point setvalued maps \(\mathcal{F}\) and the efficient solution setvalued maps S by using certain concepts of generalized derivatives for setvalued maps. Let us review the main work in this field. In primal spaces, by using the tangent derivatives for setvalued maps, which are generated by tangent cones to their graphs, sensitivity results are obtained for vector optimization problems with kinds of structure; see, for example, [2, 7, 8, 11, 14, 16, 22, 23] and references therein. In dual spaces, sensitivity results of scalar (singleobjective) optimization problems are obtained by the coderivatives generated by normal cones to the graphs of setvalued maps; we refer the readers to [10, 15, 19, 20, 25] for just a few of them.
There are also some papers discussing the sensitivity of vector optimization problems. By using the results in [17], Huy et al. [6] studied the sensitivity properties of the parametric vector optimization problem via the Mordukhovich coderivatives with respect to the socalled generalized order optimality in the Asplund space setting. Chuong and Yao [4] and Chuong [3] gave some results on sensitivity analysis in parametric vector optimization problems by virtue of the Fréchet and Clarke coderivatives in the Banach space setting, respectively. Xue et al. [24] studied the upper estimates and equality formula for the coderivatives of parametric vector setvalued optimization problems in Banach spaces. The method to obtain the coderivatives of an efficient point map \(\mathcal{F}\) in these papers is as follows: first, they gave some useful and effective expressions for the coderivatives of F by the coderivatives of \(F+K\); then these effective characterizations are applied to the efficient point map \(\mathcal{F}\); finally, by the domination property they showed that the coderivatives of the efficient point map \(\mathcal{F}\) is equivalent to that of F. We can easily see that this method is technical and complex and that the drawback of this method is that these results cannot be used to establish the Aubin property of \(\mathcal{F}\) and the coderivatives of solution map S since the independent variable of the coderivatives setvalued map of \(\mathcal{F}\) is restricted to a part of the space; it also does not provide all the characters of \(\mathcal{F}\), especially for the independent variable being 0, which is important in showing the Aubin property of \(\mathcal{F}\).
In this paper, we introduce a new way, different from those in the recent literature, to investigate the sensitivity and Aubin properties of the parametric vectorvalued optimization problem via the coderivatives. We first establish an upper estimate and explicit expression for computing the coderivative of an efficient point setvalued map \(\mathcal{F}\) where the independent variable can take values in the whole space and then employ this formula to study the Aubin property of \(\mathcal{F}\). As a byproduct, we use this formula to establish an explicit expression of the coderivative for efficient solution map S only by the coderivative of the objective function and the constraint map.
The rest of the paper is organized as follows. In Sect. 2, we recall and discuss some basic constructions from variational analysis and generalized differentiation, broadly employed in the formulations and proofs of the main results. In Sect. 3, we first establish an upper estimate and explicit expression for the coderivative of the efficient point setvalued map \(\mathcal{F}\). Then, by the above formula, we obtain the Aubin property of \(\mathcal{F}\). In Sect. 4, we study the coderivative of the efficient solution map S for the parametric vectorvalued optimization problem. Moreover, we provide examples to analyze and illustrate the obtained results.
2 Basic definitions and preliminaries
We use standard notation. For all spaces, the norms are always denoted by \(\\cdot \\), and \(\langle \cdot ,\cdot \rangle \) means the canonical pairing. The closed ball with center x and radius η is denoted by \(B_{\eta }(x)\). The symbol \(A^{*}\) denotes the adjoint operator of a linear continuous operator A. If \(F:\mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\) is a setvalued map, then by \(\operatorname{dom} F=\{x\in \mathcal{R}^{n}\mid F(x)\neq \emptyset \}\) and \(\operatorname{gph}F=\{(x,y)\in \mathcal{R}^{n}\times \mathcal{R}^{s}\mid y \in F(x)\}\) we denote the domain and graph of F, respectively. The notation \(x_{n}\overset{S}{\rightarrow }x\) means that the sequence \(x_{n}\) is contained in the subset S and converges to x. For a setvalued map \(F:\mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\), the expression
signifies the sequential Painlevé–Kuratowski upper (outer) limit of F at x̄; \(\mathbb{N}=\{1,2,\ldots\}\). The origins of all spaces are denoted by 0.
Next, we recall the basic concepts and constructions of variational analysis and generalized differentiation for formulations and justifications of the main results of the paper. Most of the concepts and properties can be found in the recent monographs [17, 18].
Definition 2.1
Let \(\Omega \subset \mathcal{R}^{n}\) be a nonempty subset.

(i)
Let \(\bar{x}\in \Omega \) and \(\varepsilon \geq 0\). The Fréchet normal cone (or the prenormal cone) to Ω at \(\bar{x}\in \Omega \) is defined by
$$ \hat{N}(\bar{x},\Omega )=\biggl\{ x^{*}\in \mathcal{R}^{n}\Bigm \limsup_{x \overset{\Omega }{\rightarrow }\bar{x}} \frac{\langle x^{*},x\bar{x}\rangle }{ \Vert x\bar{x} \Vert }\leq 0\biggr\} . $$(5)We put \(\hat{N}(\bar{x},\Omega )=\emptyset \) if \(\bar{x}\notin \Omega \).

(ii)
The Mordukhovich normal cone (or basic normal cone) to \(\Omega \subset \mathcal{R}^{n}\) at x̄ is defined through the Painlevé–Kuratowski upper (outer) limit as
$$ N(\bar{x},\Omega )= \mathop{\operatorname{Lim\, sup}}_{x_{k}\rightarrow \bar{x}} \hat{N}(x_{k},\Omega ). $$(6)
Definition 2.2
Consider a setvalued map \(\Phi : \mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\).

(i)
The Fréchet coderivative \(\hat{D}^{*}\Phi (\bar{x},\bar{y})\) at \((\bar{x},\bar{y})\) is defined through the Fréchet normal cone (5) to the graph as
$$ \hat{D}^{*}\Phi (\bar{x},\bar{y}) \bigl(y^{*}\bigr)=\bigl\{ x^{*}\in \mathcal{R}^{n} \mid \bigl(x^{*},y^{*}\bigr)\in \hat{N}\bigl((\bar{x}, \bar{y}),\operatorname{gph}\Phi \bigr)\bigr\} . $$(7) 
(ii)
The normal (Mordukhovich) coderivative of Φ at \((\bar{x},\bar{y})\) is
$$ D^{*}\Phi (\bar{x},\bar{y}) \bigl(y^{*} \bigr)=\bigl\{ x^{*}\in \mathcal{R}^{n}\mid \bigl(x^{*},y^{*}\bigr) \in N\bigl((\bar{x},\bar{y}), \operatorname{gph}\Phi \bigr)\bigr\} , $$(8)that is, \(D^{*}\Phi (\bar{x},\bar{y})(y^{*})\) is the collection of all \(x^{*}\) for which there are sequences \((x_{k},y_{k})\rightarrow (\bar{x},\bar{y})\) and \((x_{k}^{*},y_{k}^{*})\rightarrow (x^{*},y^{*})\) with \((x_{k},y_{k})\in \operatorname{gph}\Phi \) and \(x_{k}^{*}\in \hat{D}^{*}\Phi (x_{k},y_{k})(y^{*}_{k})\).
The symbol \(D^{*}\Phi (\bar{x})\) is used when Φ is singlevalued at x̄ and \(\bar{y}=\Phi (\bar{x})\).
We say that Ω is regular at \(\bar{x}\in \Omega \) if \(N(\bar{x},\Omega )=\hat{N}(\bar{x},\Omega )\) and that Φ is regular at \((\bar{x},\bar{y})\) if \(D^{*}\Phi (\bar{x},\bar{y})=\hat{D}^{*}\Phi (\bar{x},\bar{y})\).
The following proposition gives a sufficient condition for the regularity of Φ and special representations of the coderivatives.
Proposition 2.1
Let \(\Phi :\mathcal{R}^{n}\rightarrow \mathcal{R}^{s}\) be Fréchet differentiable at x̄. Then
Moreover, if Φ is strictly differentiable at x̄, that is, Φ is singlevalued around x̄ and
then Φ is regular at x̄, and we have
Definition 2.3
Let \(f:\mathcal{R}^{n}\rightarrow \mathcal{R}^{s}\) be a singlevalued map, and let \(\bar{x}\in \operatorname{dom}f\). The map f is said to be locally upper Lipschitzian at x̄ if there are numbers \(\eta >0\) and \(L>0\) such that
We say that a setvalued map \(F:\mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\) admits a local upper Lipschitzian selection at \((\bar{x},\bar{y})\in \operatorname{gph} F\) if there is a singlevalued map \(f:\operatorname{dom}F\rightarrow \mathcal{R}^{s}\) which is locally upper Lipschitzian at x̄ satisfying \(f(\bar{x})=\bar{y}\) and \(f(x)\in F(x)\) for all \(x\in \operatorname{dom}F\) in a neighborhood of x̄. We say that F admits a locally upper Lipschitzian selection around \((\bar{x},\bar{y})\in \operatorname{gph} F\) if there is a neighborhood U of \((\bar{x},\bar{y})\) such that F admits a locally upper Lipschitzian selection at any \((x,y)\in \operatorname{gph} F\cap U\).
Definition 2.4
([1])
Let \(S\subset \mathcal{R}^{n}\) be a nonempty subset. The paratingent cone to K at \(z\in clK\) is the set
The paratingent (or strict) derivative to a setvalued map \(F : \mathcal{R}^{n} \rightrightarrows \mathcal{R}^{s}\) at \((\bar{x}, \bar{y})\in \operatorname{cl}(\operatorname{gph} F)\) is the setvalued map \(D_{*}F(\bar{x}, \bar{y})\) whose graph is the paratingent cone to gphF at \((\bar{x}, \bar{y})\). That is, \(v\in D_{*}F(\bar{x},\bar{y})(u)\) if and only if there are sequences \(t_{k}\rightarrow 0_{+}\), \((x_{k},y_{k})\rightarrow (\bar{x},\bar{y})\), and \((u_{k},v_{k})\rightarrow (u,v)\) with \((x_{k},y_{k})\in \operatorname{gph} F\) and \(y_{k}+t_{k}v_{k}\in F(x_{k}+t_{k}u_{k})\).
3 Sensitivity analysis of the efficient point map
In this section, we provide sensitivity analysis of the efficient point setvalued map \(\mathcal{F}\) for the parametric vectorvalued optimization problem. By upper estimates for the coderivatives of an efficient point setvalued map, we obtain the Aubin property of \(\mathcal{F}\).
Recall that a map T is said to be compact at \(\bar{x}\in \operatorname{dom} T\) if for any sequence \({(x_{k},y_{k})}\subset \operatorname{gph} T\) with \(x_{k}\rightarrow \bar{x}\), there exists a subsequence \(y_{k_{i}}\) converging to some \(\bar{y}\in T(\bar{x})\). We say that T is locally compact around x̄ if there is a neighborhood U of x̄ such that T is compact at any \(x\in U\cap \operatorname{dom} T\).
The following property is very important in computing the coderivative of an efficient point setvalued map \(\mathcal{F}\).
Proposition 3.1
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}=f(\bar{p},\bar{x})\), and let the setvalued map \(M:\mathcal{R}^{m}\times \mathcal{R}^{s}\rightrightarrows \mathcal{R}^{n}\) be defined by
Suppose that f is locally Lipschitz at \((\bar{p},\bar{x})\), \(M(\bar{p},\bar{y})=\{\bar{x}\}\), and M is compact at \((\bar{p},\bar{y})\). If
then
Proof
Let \(v\in D_{*}F(\bar{p},\bar{y})(0)\). By the definition of strict derivative, there are sequences \(t_{n}\), \((p_{n},y_{n})\), and \((u_{n},v_{n})\) with \(t_{n}\downarrow 0\), \((p_{n},y_{n})\overset{\operatorname{gph} F}{\longrightarrow }(\bar{p},\bar{y})\), and \((u_{n},v_{n})\rightarrow (0,v)\) such that \(y_{n}+t_{n}v_{n}\in F(p_{n}+t_{n}u_{n})\). By the definition of F there exist \(x_{n}\in C(p_{n})\) and \(x_{n}'\in C(p_{n}+t_{n}u_{n})\) satisfying \(y_{n}=f(p_{n},x_{n})\) and \(y_{n}+t_{n}v_{n}=f(p_{n}+t_{n}u_{n},x_{n}')\). So
For the above \(p_{n}\), \(y_{n}\), and \(x_{n}\in M(p_{n},y_{n})\), since M is compact at \((\bar{p},\bar{y})\), there exists a convergent subsequence, and we may assume without loss of generality that \(x_{n}\rightarrow \hat{x}\in M(\bar{p},\bar{y})\). The assumption \(M(\bar{p},\bar{y})=\{\bar{x}\}\) implies that \(x_{n}\rightarrow \bar{x}\). Similarly, since \(x_{n}'\in M(p_{n}+t_{n}u_{n},y_{n}+t_{n}v_{n})\), we have \(x_{n}'\rightarrow \bar{x}\). Then by [9, Theorem 1.3] the nonsingularity condition of C ensures the existence of a constant \(L>0\) such that
for n large enough. So we have \(\frac{x_{n}'x_{n}}{t_{n}}\rightarrow 0\). Since f is locally Lipschitz at \((\bar{p},\bar{x})\) and \(p_{n},p_{n}+t_{n}u_{n}\rightarrow \bar{p}\) as \(n\rightarrow \infty \), there exists a constant \(L>0\) such that
Since \(u_{n}\) converges to 0, we have
which implies that (10) holds. This completes the proof. □
Remark 3.1
If C is a singlevalued map that is continuous at p̄, then the hypothetical conditions of M hold naturally, and the nonsingularity condition (9) is equivalent to the Lipschitzian property of C at p̄. In this case, this proposition reduces to the classic result of composition of two Lipschitz maps.
The following example shows that our result is a generalization of the classic result on composition of two Lipschitz maps even in the singlevalued case.
Example 3.1
Let \(C:\mathcal{R}\rightarrow \mathcal{R}\) and \(f:\mathcal{R}\times \mathcal{R}\rightarrow \mathcal{R}\) be defined by
and
respectively. Then, we have
Consider \((\bar{p},\bar{x})=(0,0)\) and \(\bar{y}=f(\bar{p},\bar{x})=0\). By direct computation we obtain that for any \(p\in \mathcal{R}\),
and
Although C is not continuous at p̄, our result still works.
We give some sufficient conditions for the hypothetical conditions of M in Proposition 3.1.
Proposition 3.2
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}=f(\bar{p},\bar{x})\), and let the setvalued map \(M:\mathcal{R}^{m}\times \mathcal{R}^{s}\rightrightarrows \mathcal{R}^{n}\) be defined by
Consider the following conditions:

(i)
f is strictly differentiable at \((\bar{p},\bar{x})\), and \(\nabla f(\bar{p},\bar{x})\) is invertible;

(ii)
\(f^{1}\) is locally singlevalued around ȳ and continuous at this point;

(iii)
\(M(\bar{p},\bar{y})=\{\bar{x}\}\), and \(f^{1}\) is compact at ȳ;

(iv)
\(M(\bar{p},\bar{y})=\{\bar{x}\}\), and C is compact at p̄;

(v)
\(M(\bar{p},\bar{y})=\{\bar{x}\}\), and M is compact at \((\bar{p},\bar{y})\);

(vi)
\(M(\bar{p},\bar{y})=\{\bar{x}\}\), and M is upper semicontinuous at \((\bar{p},\bar{y})\);

(vii)
\(M(\bar{p},\bar{y})=\{\bar{x}\}\), and M is locally upper Lipschitz at \((\bar{p},\bar{y})\);
Then we have
Proof
(i)⇒(ii) By [17, Theorem 1.60] assumption of (i) implies that \(f^{1}\) is locally singlevalued around ȳ and strict differentiable at this point. Obviously, (ii) holds.
(ii)⇒(iii), (iii)⇒(v), (iv)⇒(v), and (vii)⇒(vi) immediately follow from the definition of compactness and construction of M.
(vi)⇒(v) We can find the result in [5, Proposition 2.5.9]. This completes the proof. □
Now we consider the coderivatives of the setvalued map \(\mathcal{F}\).
Theorem 3.1
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}\in \mathcal{F}(\bar{p})\). Suppose that f is locally Lipschitz at \((\bar{p},\bar{x})\), \(M(\bar{p},\bar{y})=\{\bar{x}\}\), and C is locally compact around p̄. If condition (9) holds, then we have the following results.

(i)
For any \(y^{*}\in \mathcal{R}^{s}\),
$$\begin{aligned}& D^{*}\mathcal{F}(\bar{p},\bar{y}) \bigl(y^{*}\bigr)=D^{*}F(\bar{p},\bar{y}) \bigl(y^{*}\bigr) \subset \bigcup_{(p^{*},x^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})}p^{*}+D^{*}C( \bar{p},\bar{x}) \bigl(x^{*}\bigr), \\& \bigcup_{(p^{*},x^{*})\in \hat{D}^{*}f(\bar{p},\bar{x})(y^{*})}p^{*}+ \hat{D}^{*}C(\bar{p},\bar{x}) \bigl(x^{*}\bigr)\subset \hat{D}^{*}F(\bar{p}, \bar{y}) \bigl(y^{*}\bigr)= \hat{D}^{*}\mathcal{F}(\bar{p},\bar{y}) \bigl(y^{*}\bigr). \end{aligned}$$(11)Moreover, if f and C are regular at \((\bar{p},\bar{x})\) and p̄, respectively, then \(\mathcal{F}\) is regular at \((\bar{p},\bar{y})\), and for any \(y^{*}\in \mathcal{R}^{s}\), (11) holds as equality.

(ii)
If f is \(Fr\acute{e}chet\) differentiable at \((\bar{p},\bar{x})\) with the derivative \(\nabla f(\bar{p},\bar{x})=(\nabla _{p}f(\bar{p},\bar{x}),\nabla _{x}f( \bar{p},\bar{x}))\), then for any \(y^{*}\in \mathcal{R}^{s}\),
$$ \hat{D}^{*}\mathcal{F}(\bar{p},\bar{y}) \bigl(y^{*} \bigr)=\hat{D}^{*}F(\bar{p}, \bar{y}) \bigl(y^{*}\bigr)= \nabla _{p}f(\bar{p},\bar{x})^{*}y^{*}+ \hat{D}^{*}C( \bar{p},\bar{x}) \bigl(\nabla _{x}f( \bar{p},\bar{x})^{*}y^{*}\bigr). $$ 
(iii)
If f is strictly differentiable at \((\bar{p},\bar{x})\), then for any \(y^{*}\in \mathcal{R}^{s}\),
$$ D^{*}\mathcal{F}(\bar{p},\bar{y}) \bigl(y^{*}\bigr)=D^{*}F(\bar{p},\bar{y}) \bigl(y^{*}\bigr) \subset \nabla _{p}f(\bar{p}, \bar{x})^{*}y^{*}+D^{*}C(\bar{p},\bar{x}) \bigl( \nabla _{x}f(\bar{p},\bar{x})^{*}y^{*} \bigr). $$(12)Moreover, if C is regular at p̄, then \(\mathcal{F}\) is regular at \((\bar{p},\bar{y})\), and for any \(y^{*}\in \mathcal{R}^{s}\), (12) holds as equality.
Proof
First, we prove that \(D^{*}\mathcal{F}(\bar{p},\bar{y})(y^{*})=D^{*}F(\bar{p},\bar{y})(y^{*})\). Let \(p^{*}\in D^{*}\mathcal{F}(\bar{p},\bar{y})(y^{*})\). By the definitions of normal coderivative and normal cone, there are sequences \((p_{k},y_{k})\overset{\mathcal{F}}{\longrightarrow }(\bar{p},\bar{y})\) and \((p_{k}^{*},y_{k}^{*})\rightarrow (p^{*},y^{*})\) such that
We only need to show that in a neighborhood U of \((\bar{p},\bar{y})\), for any \((p_{k},y_{k})\in U\), \((p_{k_{i}},y_{k_{i}})\overset{\mathcal{F}}{\longrightarrow }(p_{k},y_{k})\) if and only if \((p_{k_{i}},y_{k_{i}})\overset{F}{\longrightarrow }(p_{k},y_{k})\). Suppose the contrary. Then there is a sequence \((p'_{k_{i}},y'_{k_{i}})\in \operatorname{gph} F\setminus \operatorname{gph}\mathcal{F}\) such that \((p'_{k_{i}},y'_{k_{i}})\longrightarrow (p_{k},y_{k})\). Since C is locally compact around p̄, there exists a neighborhood U of p̄ such that for any \(p\in U\), C is compact at p. For any \(p_{k}\rightarrow p\) and \(y_{k}\in F(p_{k})\), by the definition of F there exists \(x_{k}\in C(p_{k})\) with \(y_{k}=f(p_{k},x_{k})\). Because C is compact at p, there is a subsequence \((p_{k_{i}},x_{k_{i}})\rightarrow (p,x)\) with \(x\in C(p)\). Thus by the Lipschitzian continuity assumption of f we have \((p_{k_{i}},y_{k_{i}})\rightarrow (p,y)\) along with \(y=f(p,x)\in F(p)\). So F is also locally compact around p̄. Case (iv) of Proposition 4.3 in [13] implies that \(\mathcal{F}\) is locally order semicontinuous around \((\bar{p},\bar{y})\). So, for the above \((p'_{k_{i}},y'_{k_{i}})\), there is a sequence \((p'_{k_{i}},y''_{k_{i}})\in \operatorname{gph}\mathcal{F}\) such that \(y''_{k_{i}}\leq _{K} y'_{k_{i}}\). However, under the assumption, we have \(D_{*}F(\bar{p},\bar{y})(0)=\{0\}\), which implies that there exists at most one element \(y(p)\) in a neighborhood of p̄ (see [9, Theorem 1.3]). This is a contradiction, and thus the equality relation holds.
From [24, Propositions 3.4 and 3.5, Corollaries 3.1 and 3.2] it follows that we only need to show that the setvalued map M admits a locally upper Lipschitzian selection at \((\bar{p},\bar{y},\bar{x})\). Following [9, Theorem 1.3], the nonsingularity condition of C implies that there exist neighborhoods U of p̄ and V of x̄ and a constant \(L>0\) such that there is at most one element \(x(p)\) in the local image set \(C(p)\cap V\) for \(p\in U\), and it satisfies
We claim here that for any \((p_{n},y_{n})\rightarrow (\bar{p},\bar{y})\) and \(x_{n}\in M(p_{n},y_{n})\), \(x_{n}\in V\) as \(n\rightarrow \infty \). If not, there would be a subsequence \(x_{n_{k}}\in M(p_{n_{k}},y_{n_{k}})\subset C(p_{n_{k}})\) such that \(x_{n_{k}}\notin V\). By the compactness of C we may assume without loss of generality that \(x_{n_{k}}\rightarrow \hat{x}\in C(\bar{p})\), \(\hat{x}\neq \bar{x}\), by taking a subsequence if necessary. By the definition of a setvalued map M we have \(\hat{x}\in M(\bar{p},\bar{y})\), which contradicts to the fact that \(M(\bar{p},\bar{y})=\{\bar{x}\}\). Thus M has at most one element in a neighborhood of \((\bar{p},\bar{y})\) and Lipschitzian around \((\bar{p},\bar{y})\), which implies the locally upper Lipschitzian selection and inner semicontinuous property of M at \((\bar{p},\bar{y},\bar{x})\). This completes the proof. □
If f is strictly differentiable with surjective derivative, then we have the following result.
Corollary 3.1
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}\in \mathcal{F}(\bar{p})\). Suppose that f is strictly differentiable at \((\bar{p},\bar{x})\), \(\nabla f(\bar{p},\bar{x})\) is surjective, and C is locally compact around p̄. If \(M(\bar{p},\bar{y})=\{\bar{x}\}\) and condition (9) holds, then for any \(y^{*}\in \mathcal{R}^{s}\), (12) holds as equality.
Proof
The inclusion relation (12) directly follows from Theorem 3.1. We only need to prove the converse inclusion. By [17, Corollary 1.59] the assumption on f implies that \(f^{1}\) has the Aubin property at \((\bar{y},\bar{p},\bar{x})\). Noting that \(\{p\} \times C(p)=(f^{1}\circ F)(p)\) and in this case
is inner semicontinuous at \((\bar{p},\bar{x},\bar{y})\) naturally, using [17, Corollary 3.15], we have that for any \((p^{*},x^{*})\in \mathcal{R}^{m}\times \mathcal{R}^{n}\),
By [12, Lemma 49] we have that for any \((p^{*},x^{*})\in \mathcal{R}^{m}\times \mathcal{R}^{n}\),
Note that
So we have that for any \((p^{*},x^{*})\in \mathcal{R}^{m}\times \mathcal{R}^{n}\),
Since \(\nabla f(\bar{p},\bar{x})\) is surjective, by [17, Lemma 1.18] \(\nabla f(\bar{p},\bar{x})^{*}\) is injective, which ensures that
Thus, for any \(y^{*}\in \mathcal{R}^{s}\),
This completes the proof. □
Remark 3.2
We know that the paratingent cone is large. So condition (9) is rather strong. However, the results we obtained are more interesting, because the independent variable can rake values in the whole space. This ensures us to obtain the Aubin property of \(\mathcal{F}\) and the coderivatives of efficient solution map S. In this view, our results are better than the analogous ones in [4, Theorem 3.6], [3, Theorem 3.6], and [24, Theorem 3.6], where the independent variable can only take values in \(K^{*}_{up}:=\{y^{*}\in \mathcal{R}^{s}\mid \exists \beta >0, \langle y^{*},k\rangle \geq \beta \k\, {\forall k\in K}\} \).
Example 3.2
Let \(K=\mathcal{R}_{+}\), and let \(C:\mathcal{R}\rightrightarrows \mathcal{R}\) and \(f:\mathcal{R}\times \mathcal{R}\rightarrow \mathcal{R}\) be defined by
and
respectively. Then we have
and
Consider \((\bar{p},\bar{x})=(0,0)\) and \(\bar{y}=f(\bar{p},\bar{x})=0\). By direct computation we obtain
and
Obviously, C is compact around p̄, so all the conditions of Corollary 3.1 hold. In fact, we can see that
and
Thus, for any \(y^{*}\), we have
We are now ready to obtain the Aubin property of \(\mathcal{F}\). Recall that a setvalued map \(F:\mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\) is said to be locally continuous around x̄ for ȳ if there exist neighborhoods U of x̄ and V of ȳ such that, for any \(x\in U\) and \(\epsilon >0\), we can find \(\delta >0\) with
Corollary 3.2
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}\in \mathcal{F}(\bar{p})\). Suppose that f is locally Lipschitz at \((\bar{p},\bar{x})\), \(M(\bar{p},\bar{y})=\{\bar{x}\}\), and C is locally compact around p̄. Assume that condition (9) holds and that C is locally continuous around p̄ for x̄. Then \(\mathcal{F}\) has the Aubin property at \((\bar{p},\bar{x})\).
Proof
It follows from the first part of Theorem 3.1 that
Since f is locally Lipschitz at \((\bar{p},\bar{x})\), by using [17, Theorem 1.44] we have
and thus
By case (a) of [21, Theorem 9.54] the continuity assumption of C and the nonsingularity condition (9) imply that
So we have \(D^{*}\mathcal{F}(\bar{p},\bar{y})(0)=\{0\}\), which means that \(\mathcal{F}\) has the Aubin property at \((\bar{p},\bar{x})\). This completes the proof. □
4 Coderivative of solution map
In this section, we establish verifiable formulas for upper estimating and precise computing the coderivatives of the efficient solution map S in the parametric multiobjective problem (4).
Theorem 4.1
Let S in (4) be the efficient solution map for the multiobjective optimization problem (1). Let \(\bar{x}\in S(\bar{p})\) with \(\bar{y}=f(\bar{p},\bar{x})\). Let the map \(N:\mathcal{R}^{m}\times \mathcal{R}^{n}\rightrightarrows \mathcal{R}^{s}\) be defined by \(N(p,x)=f(p,x)\cap \mathcal{F}(p) \). Suppose that \(\mathcal{F}\) has locally closedgraph around \((\bar{p},\bar{y})\).

(i)
Assume that N is inner semicontinuous at \((\bar{p},\bar{x},\bar{y})\) and that one of the following constraint qualification conditions (a) and (b) holds:

(a)
$$ D^{*}N(\bar{p},\bar{x},\bar{y}) (0)\subset \bigcup _{y^{*}\in \mathcal{R}^{s}} D^{*}f(\bar{p},\bar{x}) \bigl(y^{*}\bigr)+ \bigl(D^{*}\mathcal{F}( \bar{p}, \bar{y}) \bigl(y^{*}\bigr),0\bigr); $$(13)

(b)
$$ \begin{aligned} & 0\in p^{*}+D^{*}\mathcal{F}(\bar{p}, \bar{y}) \bigl(y^{*}\bigr), \\ &\bigl(p^{*},0\bigr)\in D^{*}f( \bar{p},\bar{x}) \bigl(y^{*}\bigr)\quad \Rightarrow\quad p^{*}=y^{*}=0 \end{aligned} $$(14)
and
$$\begin{aligned}& p^{*}\in D^{*}C(\bar{p},\bar{x}) \bigl(x^{*}\bigr)\cap \bigcup_{(p^{\prime *},x^{*}) \in D^{*}f(\bar{p},\bar{x})(y^{*})} \bigl[p^{\prime *}+D^{*}\mathcal{F}(\bar{p}, \bar{y}) \bigl(y^{*}\bigr)\bigr] \\& \quad \Rightarrow\quad p^{*}=x^{*}=0. \end{aligned}$$(15)Then for any \(x^{*}\in \mathcal{R}^{n}\),
$$\begin{aligned} D^{*}S(\bar{p},\bar{x}) \bigl(x^{*} \bigr) \subset& \bigcup_{x_{1}^{*}\in \mathcal{R}^{n}}\bigcup _{(p^{*},x_{1}^{*}x^{*})\in D^{*}f(\bar{p}, \bar{x})(y^{*})}D^{*}C(\bar{p},\bar{x}) \bigl(x_{1}^{*}\bigr)+p^{*} \\ &{}+D^{*} \mathcal{F}(\bar{p},\bar{y}) \bigl(y^{*}\bigr). \end{aligned}$$(16)Moreover, suppose that N admits a locally upper Lipschitzian selection around \((\bar{p},\bar{x},\bar{y})\) and that f, C, and \(\mathcal{F}\) are regular at \((\bar{p},\bar{x})\), \((\bar{p},\bar{x})\), and \((\bar{p},\bar{y})\), respectively. Then S is regular at \((\bar{p},\bar{x})\), and (16) holds as equality.

(a)

(ii)
Suppose that f is locally Lipschitz at \((\bar{p},\bar{x})\), \(M(\bar{p},\bar{y})=\{\bar{x}\}\), and C is locally compact around p̄. Assume that condition (9) holds and that the following constraint qualification conditions hold:
$$\begin{aligned}& \begin{aligned} &{}p^{*}\in \bigcup_{(p_{1}^{*},x^{*})\in D^{*}f(\bar{p},\bar{x}) (y^{*})}p_{1}^{*}+D^{*}C( \bar{p},\bar{x}) \bigl(x^{*}\bigr), \\ &\bigl(p^{*},0\bigr)\in D^{*}f(\bar{p},\bar{x}) \bigl(y^{*}\bigr) \quad \Rightarrow\quad p^{*}=y^{*}=0; \end{aligned} \end{aligned}$$(17)$$\begin{aligned}& \begin{aligned}[b] &p^{*}\in D^{*}C(\bar{p}, \bar{x}) \bigl(x^{*}\bigr)\cap \bigcup_{ \substack{(p^{\prime *},x^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})\\ (p_{1}^{*},x_{1}^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})}} \bigl[p^{\prime *}+p_{1}^{*}+D^{*}C( \bar{p},\bar{x}) \bigl(x_{1}^{*}\bigr)\bigr] \\ &\quad \Rightarrow\quad p^{*}=x^{*}=0. \end{aligned} \end{aligned}$$(18)Then for any \(x^{*}\in \mathcal{R}^{n}\),
$$\begin{aligned}& D^{*}S(\bar{p},\bar{x}) \bigl(x^{*}\bigr) \\& \quad \subset \bigcup_{x_{1}^{*}\in \mathcal{R}^{n}}\bigcup _{ \substack{(p^{*},x_{1}^{*}x^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})\\ (p_{1}^{*},x_{2}^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})}}D^{*}C( \bar{p},\bar{x}) \bigl(x_{1}^{*}\bigr)+p^{*}+p_{1}^{*}+D^{*}C( \bar{p},\bar{x}) \bigl(x_{2}^{*}\bigr). \end{aligned}$$(19)If, moreover, f and C are regular at \((\bar{p},\bar{x})\), then the equality relation holds, S is regular at \((\bar{p},\bar{x})\), and the qualification condition (17) can be replaced by
$$\begin{aligned}& D^{*}N(\bar{p},\bar{x},\bar{y}) (0) \\& \quad \subset \bigcup _{y^{*}\in \mathcal{R}^{s}} D^{*}f(\bar{p},\bar{x}) \bigl(y^{*}\bigr)+ \biggl(\bigcup_{(p^{*},x^{*}) \in D^{*}f(\bar{p},\bar{x})(y^{*})}p^{*}+D^{*}C( \bar{p},\bar{x}) \bigl(x^{*}\bigr),0\biggr); \end{aligned}$$(20) 
(iii)
Suppose that f is strictly differentiable at \((\bar{p},\bar{x})\), \(M(\bar{p},\bar{y})=\{\bar{x}\}\), and C is locally compact around p̄. Assume that condition (9) holds and that one of the following constraint qualification conditions (a) and (b) holds:

(a)
$$ \bigl[p^{*}=\nabla _{p}f(\bar{p}, \bar{x})^{*}y^{*}, 0=\nabla _{x}f( \bar{p}, \bar{x})^{*}y^{*}\bigr]\quad \Rightarrow\quad p^{*}=y^{*}=0; $$(21)

(b)
The partial derivative operator \(\nabla _{x}f(\bar{p},\bar{x})\) is surjective, and
$$ \begin{aligned}[b] &\biggl[p^{*}\in D^{*}C(\bar{p}, \bar{x}) \bigl(x^{*}\bigr)\cap \bigcup_{x^{*}= \nabla _{x}f(\bar{p},\bar{x})^{*}y^{*}}D^{*}C( \bar{p},\bar{x}) \bigl(x^{*}\bigr)\biggr] \\ &\quad \Rightarrow\quad p^{*}=x^{*}=0. \end{aligned} $$(22)Then for any \(x^{*}\in \mathcal{R}^{n}\),
$$\begin{aligned}& D^{*}S(\bar{p},\bar{x}) \bigl(x^{*} \bigr) \\& \quad \subset \bigcup_{x_{1}^{*}\in \mathcal{R}^{n}}\bigcup _{x^{*}x_{1}^{*}=\nabla _{x}f(\bar{p}, \bar{x})^{*}y^{*}}D^{*}C(\bar{p},\bar{x}) \bigl(x_{1}^{*}\bigr)+D^{*}C(\bar{p}, \bar{x}) \bigl(x^{*}x_{1}^{*}\bigr). \end{aligned}$$(23)Moreover, if C is regular at \((\bar{p},\bar{x})\), then the equality relation holds, S is regular at \((\bar{p},\bar{x})\), and the qualification condition (21) can be replaced by
$$ D^{*}N(\bar{p},\bar{x},\bar{y}) (0)\subset \bigcup _{y^{*}\in \mathcal{R}^{s}} \bigl(D^{*}C(\bar{p},\bar{x}) \bigl(\nabla _{x}f(\bar{p}, \bar{x})^{*}y^{*} \bigr),\nabla _{x}f(\bar{p},\bar{x})^{*}y^{*} \bigr)\bigr). $$(24)

(a)
Proof
Let \(G(p)=\{p\}\times \mathcal{F}(p)\) and \(H(p,y)=\{x \mid y=f(p,x)\}\). Then we have \(S(p)=C(p)\cap H\circ G(p)\).
(i) First, we compute the coderivative of \(H\circ G\). On one hand, by the definition of coderivative, \((p^{*},y^{*})\in D^{*}H(\bar{p},\bar{y},\bar{x})(x^{*})\) if and only if \((p^{*},x^{*})\in D^{*}f(\bar{p},\bar{x})(y^{*})\). On the other hand, [12, Lemma 49] ensures that for any \((p^{*},y^{*})\in \mathcal{R}^{m}\times \mathcal{R}^{s}\),
Thus by [12, Theorem 39], for any \(x^{*}\in \mathcal{R}^{n}\), we have
provided that N is inner semicontinuous at \((\bar{p},\bar{x},\bar{y})\) and (13) holds. By the expressions of G, H, and N we can easily check that the qualification condition (14) is equivalent to
which implies (13).
Then by Proposition 27 of [12] we get
provided that
By the above coderivative expressions of \(H\circ G\) and C, it is a simple matter to check that (15) and (27) imply (28) and (16), respectively.
Moreover, if N admits a locally upper Lipschitzian selection around \((\bar{p},\bar{x},\bar{y})\) and f and \(\mathcal{F}\) are regular at \((\bar{p},\bar{x})\) and \((\bar{p},\bar{y})\), respectively, then by [12, Propositions 36 and 37] the inclusion relation (25) becomes equality, and \(H\circ G\) is regular at \((\bar{p},\bar{x})\). Furthermore, if C is regular at \((\bar{p},\bar{x})\), then by [12, Proposition 27], (27) becomes equality, and S is regular at \((\bar{p},\bar{x})\).
(ii) Since f is locally Lipschitz at \((\bar{p},\bar{y})\), by the definition of N we can easily check that N admits a locally upper Lipschitzian selection around \((\bar{p},\bar{x},\bar{y})\). Then by Theorem 3.1, \(\mathcal{F}\) has the upper estimate (11), and thus (17), (18), and (16) imply (14), (15), and (19), respectively.
Moreover, if f and C are regular at \((\bar{p},\bar{x})\), then by Theorem 3.1 and the above coderivative expressions of \(H\circ G\), \(\mathcal{F}\), G, and \(H\circ G\) are regular at \((\bar{p},\bar{y})\), \((\bar{p},\bar{p},\bar{y})\), and \((\bar{p},\bar{x})\), respectively. Thus (11) and (25) become equalities, and therefore (27) becomes equality, and S is regular at \((\bar{p},\bar{x})\). Meanwhile, qualification (20) is equivalent to (13), and therefore the qualification condition (17) can be replaced by (20).
(iii) Since f is strictly differentiable at \((\bar{p},\bar{x})\), we have that H is Nregular at \((\bar{p},\bar{y},\bar{x})\) and \(p^{*}=\nabla _{p}f(\bar{p},\bar{x})^{*}y^{*}\), \(x^{*}=\nabla _{x}f(\bar{p},\bar{x})^{*}y^{*}\). If the partial derivative operator \(\nabla _{x}f(\bar{p},\bar{x})\) is surjective, then [17, Lemma 1.17] implies that \(\nabla _{x}f(\bar{p},\bar{x})^{*}\) is injective. Thus \(0=\nabla _{x}f(\bar{p},\bar{x})^{*}y^{*}\), implying \(y^{*}=0\), and therefore qualification conditions (21) hold naturally. Note that (21) and (22) are equivalent to (17) and (18), respectively. Similarly to the proof of case (ii), we can obtain the results in case (iii) by using Theorem 3.1 and Corollary 3.1. This completes the proof. □
For a strictly differentiable map with surjective derivative, we have the following results.
Corollary 4.1
Let \(\bar{x}\in C(\bar{p})\) and \(\bar{y}\in \mathcal{F}(\bar{p})\). Suppose that f is strictly differentiable at \((\bar{p},\bar{x})\), \(\nabla f(\bar{p},\bar{x})\) is surjective, and C is locally compact around p̄. If \(M(\bar{p},\bar{y})=\{\bar{x}\}\) and condition (9) and (22) hold, then for any \(x^{*}\in \mathcal{R}^{n}\), (23) holds.
Proof
References
Aubin, J.P., Frankowska, H.: SetValued Analysis. Birkhäuser, Boston (1990)
Bednarczuk, E.M., Song, W.: Contingent epiderivative and its applications to setvalued maps. Control Cybern. 27, 375–386 (1998)
Chuong, T.D.: Clarke coderivatives of efficient point multifunctions in parametric vector optimization. Nonlinear Anal. 74, 273–285 (2011)
Chuong, T.D., Yao, J.C.: Coderivatives of efficient point multifunctions in parametric vector optimization. Taiwan. J. Math. 13(6), 1671–1693 (2009)
Göpfert, A., Riahi, H., Tammer, C., Zǎlinescu, C.: Variational Methods in Partially Ordered Spaces. Springer, New York (2003)
Huy, N.Q., Mordukhovich, B.S., Yao, J.C.: Coderivatives of frontier and solution maps in parametric multiobjective optimization. Taiwan. J. Math. 12(8), 2083–2111 (2008)
Kuk, H., Tanino, T., Tanaka, M.: Sensitivity analysis in vector optimization. J. Optim. Theory Appl. 89, 713–730 (1996)
Lee, G.M., Huy, N.Q.: On sensitivity analysis in vector optimization. Taiwan. J. Math. 11, 945–958 (2007)
Levy, A.B.: Nonsingularity conditions for multifunctions. SetValued Anal. 7, 89–99 (1999)
Levy, A.B., Mordukhovich, B.S.: Coderivatives in parametric optimization. Math. Program., Ser. A 99, 311–327 (2004)
Li, M.H., Li, S.J.: Secondorder differential and sensitivity properties of weak vector variational inequalities. J. Optim. Theory Appl. 144, 76–87 (2010)
Li, S.J., Penot, J.P., Xue, X.W.: Codifferential calculus. SetValued Var. Anal. 19, 505–536 (2011)
Li, S.J., Xue, X.W.: Sensitivity analysis of gap functions for vector variational inequality via coderivatives. Optimization 63(7), 1075–1098 (2014)
Li, S.J., Yan, H., Chen, G.Y.: Differential and sensitivity properties of gap functions for vector variational inequalities. Math. Methods Oper. Res. 57, 377–391 (2003)
Lucet, Y., Ye, J.J.: Sensitivity analysis of the value function for optimization problems with variational inequality constraints. SIAM J. Control Optim. 40, 699–723 (2001). Erratum: SIAM J. Control Optim. 41, 1315–1319 (2002)
Meng, K.W., Li, S.J.: Differential and sensitivity properties of gap functions for Minty vector variational inequalities. J. Math. Anal. Appl. 337, 386–398 (2008)
Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation, Vol. I: Basic Theory, Vol. II: Applications. Springer, Berlin (2006)
Mordukhovich, B.S.: Variational Analysis and Applications. Springer, Berlin (2018)
Mordukhovich, B.S., Nam, N.M., Yen, N.D.: Subgradients of marginal functions in parametric mathematical programming. Math. Program. 116, 369–396 (2009)
Outrata, J.V.: Optimality conditions for a class of mathematical programs with equilibrium constraints. Math. Oper. Res. 24, 627–644 (1999)
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (1998)
Shi, D.S.: Contingent derivative of the perturbation map in multiobjective optimization. J. Optim. Theory Appl. 70, 385–396 (1991)
Tanino, T.: Stability and sensitivity analysis in convex vector optimization. SIAM J. Control Optim. 26, 521–536 (1988)
Xue, X.W., Li, S.J., Liao, C.M., Yao, J.C.: Sensitivity analysis of parametric vector setvalued optimization problems via coderivatives. Taiwan. J. Math. 15(6), 2533–2554 (2011)
Zhang, R.: Weakly upper Lipschitzian multifunctions and applications to parametric optimization. Math. Program., Ser. A 102, 153–166 (2005)
Acknowledgements
The author would like to thank the anonymous referees for their valuable comments and suggestions, which helped to improve the paper.
Availability of data and materials
Not applicable.
Funding
This research was partially supported by Natural Science Foundation of Chongqing Bureau of Science and technology (cstc2019jcyjmsxmX0443) and the Foundation for Talent Acquisition of Chongqing University of Art and Sciences (R2019FSC16).
Author information
Authors and Affiliations
Contributions
The author carried out the results and read and approved the current version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Xue, X. Coderivatives and Aubin property of efficient point and efficient solution setvalued maps in parametric vector optimization. J Inequal Appl 2020, 231 (2020). https://doi.org/10.1186/s13660020024992
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660020024992