1 Erratum to: Optim Lett DOI 10.1007/s11590-013-0690-x

We have observed that an assumption was overlooked by us in the statements of Theorems 3.1, 3.3, and 4.3 of the above mentioned paper. We give below the complete formulations of these results. The proofs given in the initial article are now valid.

Theorem 3.1

Suppose that \(g:X\rightarrow Z\) is continuous, \(Q\) is a closed convex proper and pointed cone, \(\overline{x}\in M\cap \mathrm{dom }s\) is a local solution of \((P_{s}),\ \) where \(s:X\rightarrow R\cup \{+\infty \}\) is locally Lipschitz around \(\overline{x}\) relative to its domain with constant \(L>0.\) If there exists a neighborhood \(U\) of \(\overline{x}\) such that \(U\cap M\subset \mathrm{dom }s\) and \(g\) is metrically regular at \(\overline{x}\in M=g^{-1} (-Q)\) relative to \(-Q\) (with regularity modulus \(m>0\)), then for every \(\overline{q}\in Q{\setminus } \{0\},\overline{x}\) is a local minimum (without constraints) of the function \(s+Lm \Vert \overline{q} \Vert \cdot (\mu _{Q,\overline{q}}\circ g).\)

Theorem 3.3

Suppose that \(\overline{x}\in M\) is a local solution of \((P_{v}),g:X\rightarrow Z\) is continuous\(, v\) is locally Lipschitz around \(\overline{x}\) and \(\varphi _{K,\overline{k}}\) is Lipschitz relative to its domain. If there exists a neighborhood \(U\) of \(\overline{x}\) such that \(U\cap M\subset v^{-1}(v(\overline{x})+R\overline{k}-K)\) and \(g\) is metrically regular at \(\overline{x}\) relative to \(-Q,\) then for every \(\overline{q}\in Q{\setminus }\{0\},\) there exists \(\eta >0\) s.t. \(\overline{x}\) is a local minimum (without constraints) of the function \(\varphi _{K,\overline{k}}\circ (v(\cdot )-v(\overline{x}))+\eta (\mu _{Q,\overline{q}}\circ g).\)

Theorem 4.3

Take \(\overline{x}\in M\) as a local solution of \((P_{v})\) and take \(\overline{k}\in K\setminus \{0\}, \overline{q}\in Q\setminus \{0\}.\) Suppose that there exists a neighborhood \(U\) of \(\overline{x}\) such that \(U\cap M\subset v^{-1}(v(\overline{x})+R\overline{k}-K)\) and

  1. (i)

    \(g\) is continuous and metrically regular at \(\overline{x}\) relative to \(-Q\).

  2. (ii)

    \(v\) is locally Lipschitz around \(\overline{x}\) and \(\varphi _{K,\overline{k}}\) is Lipschitz relative to its domain.

  3. (iii)

    the function \(h:(X\times R)^{2}\rightarrow X,\) \(h(\alpha ,\beta ,\gamma ,\delta ):=\alpha -\gamma \) is metrically subregular at the point \((\overline{x},0,\overline{x},\mu _{Q,q} (g(\overline{x})))\) with respect to \(\mathrm{Gr} (\varphi _{K,\overline{k}}\circ (v(\cdot )-v(\overline{x})))_{\uparrow } \times \mathrm{Gr}(\mu _{Q,\overline{q}}\circ g)_{\uparrow }\).

  4. (iv)

    \((\varphi _{K,\overline{k}}\circ (v(\cdot )-v(\overline{x})))_{\uparrow }\) is proto-differentiable at \(\overline{x}\) relative to \(0\) or \((\mu _{Q,\overline{q}}\circ g)_{\uparrow } \) is proto-differentiable at \(\overline{x}\) relative to \(\mu _{Q,q}(g(\overline{x})).\)

Then there exists \(\eta >0\) s.t., for any \(u\in X,\)

$$\begin{aligned} D_{\uparrow }(\varphi _{K,\overline{k}}\circ (v(\cdot )-v(\overline{x})))(\overline{x})(u)+\eta D_{\uparrow }(\mu _{Q,\overline{q}}\circ g)(\overline{x})(u)\ge 0. \end{aligned}$$