Set-valued mapping ($S:X\rightrightarrows Y$)

A mapping $S:X\rightrightarrows Y$ assigns a subset $S(u)\subset Y$ to each $u$. Empty and multiple values are allowed. The graph of a set-valued mapping records the relation as a subset of $X\times Y$.

Near $(\bar{u},\bar{v})$ in a graph, this property requires neighborhoods $U,V$ and a finite $\kappa$ such that $S(u)\cap V\subset S(u^{\prime })+\kappa \Vert u-u^{\prime }\Vert \mathbb{B}$ for all $u,u^{\prime }\in U$. Nearby solutions can be matched under nearby perturbations with linear displacement control. Single-valued maps reduce to local Lipschitz continuity.

In finite dimensions, if the graph is locally closed at $(\bar{u},\bar{v})$, the Aubin property holds exactly when $D^{\ast }S(\bar{u}\mid \bar{v})(0)=\{0\}$. Thus no nonzero horizontal vector in the limiting normal cone may occur. The exact local Lipschitz modulus is the outer norm of this coderivative.

The graph is $\mathrm{gph}S=\{(u,v):v\in S(u)\}$. Local graph normals encode the Mordukhovich coderivative and hence the Aubin property. Graph closedness is a local hypothesis in the sensitivity criterion.

The limiting coderivative is $D^{\ast }S(\bar{u}\mid \bar{v})(v^{\ast })=\{u^{\ast }:(u^{\ast },-v^{\ast })\in N_{\mathrm{gph}S}(\bar{u},\bar{v})\}$. The negative sign on the output dual is essential. For a smooth single-valued function it gives the transpose Jacobian acting on $v^{\ast }$.