A new notion of error bounds: necessary and sufficient conditions

In this paper, we propose and study a new notion of local error bounds for a convex inequalities system defined in terms of a minimal time function. This notion is called generalized local error bounds with respect to F, where F is a closed convex subset of the Euclidean space Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {R}}^n$$\end{document} satisfying 0∈F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0\in F$$\end{document}. It is worth emphasizing that if F is a spherical sector with the apex at the origin then this notion becomes a new type of directional error bounds which is closely related to several directional regularity concepts in Durea et al. (SIAM J Optim 27:1204–1229, 2017), Gfrerer (Set Valued Var Anal 21:151–176, 2013), Ngai and Théra (Math Oper Res 40:969–991, 2015) and Ngai et al. (J Convex Anal 24:417–457, 2017). Furthermore, if F is the closed unit ball in Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {R}}^n$$\end{document} then the notion of generalized local error bounds with respect to F reduces to the concept of usual local error bounds. In more detail, firstly we establish several necessary conditions for the existence of these generalized local error bounds. Secondly, we show that these necessary conditions become sufficient conditions under various stronger conditions of F. Finally, we state and prove a generalized-invariant-point theorem and then use the obtained result to derive another sufficient condition for the existence of generalized local error bounds with respect to F.