Abstract
In this paper, we study the error bound of non-lower semicontinuous functions. First, we extend the concepts of strong slope and global slope to the non-lower semicontinuous functions. Second, by using the two concepts, some characterizations of the existence of the global and local error bounds are given for the non-lower semicontinuous functions. Especially, we get a necessary and sufficient condition of global error bounds for the non-lower semicontinuous functions. Moreover, it is shown by an example that the strong slope and the global slope cannot characterize the error bounds of the non-lower semicontinuous functions. Third, we emphasize the special case of convex functions defined on Euclidean space. Although the strong slope and the global slope cannot characterize the error bounds of the non-lower semicontinuous functions, they could be used to characterize the error bounds of the non-lower semicontinuous convex functions. We get several necessary and sufficient conditions of global error bounds for the non-lower semicontinuous convex functions.
Similar content being viewed by others
1 Introduction
Error bounds have important applications in the sensitivity analysis of mathematical programming and in the convergence analysis of some algorithms. For example, the theory of error bound can be useful in the convergence analysis in the algorithm in solving optimization problem [1,2,3], variational inequality problem [4, 5], and identifying the active constraint [6]. Many researchers have focused their attention on the study of the error bound (see [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25] and the references therein). We refer the interested reader to the surveys by Azé [8], Fabian et al. [13], Lewis and Pang [18], and Pang [23].
Although there is an extensive literature body on error bound, there is little literature on the error bound of the non-lower semicontinuous functions. In this paper, we study error bounds for the non-lower semicontinuous functions. The study of an inequality defined by a non-lower semicontinuous function arose from a broad class of outer approximation methods for convex optimization (see [26] and the references therein). It is also a theoretical interest to study error bounds without lower semicontinuity [16]. Some commonly studied non-lower semicontinuous functions include the indicator functions of non-closed sets. For example, the feasible direction cones of a closed convex set may not be closed, thus their indicator functions may not be lower semicontinuous [27].
The paper is organized as follows. In Sect. 2, we provide some preliminaries. In Sect. 3, we extend the concepts of strong slope and global slope to the non-lower semicontinuous functions. By using the two concepts, some characterizations of the global and local error bounds are given for the non-lower semicontinuous functions. Especially, we get a necessary and sufficient condition of global error bounds for the non-lower semicontinuous functions. In Sect. 4, we emphasize the special case of the non-lower semicontinuous convex functions defined on Euclidean space. We get several necessary and sufficient conditions of global error bounds for the non-lower semicontinuous convex functions. Moreover, the results imply that the strong slope and the global slope could be used to characterize the error bound of the non-lower semicontinuous convex functions. Finally, we make some conclusions in Sect. 5.
2 Preliminaries
Throughout the paper, unless otherwise specified, let \((X,d)\) be a complete metric space, \(f:X\rightarrow R \cup \{+\infty \}\) be a non-lower semicontinuous function. The lower semicontinuous hull of the function f is defined by \(\operatorname{cl}f(x):=\min \{\liminf_{y \rightarrow x}f(y),f(x)\}\). As usual, \(\operatorname{dom} f:=\{x \in X| f(x)<+\infty \}\) denotes the effective domain of f, \(f_{+}(x):=\max \{f(x),0\}\). Let \([f\leq 0]:=\{x\in X| f(x)\leq 0\}\), \([f= 0]:=\{x\in X| f(x)=0\}\), and \([f>0]:=\{x\in X|f(x)>0\}\). For \(U\subseteq X\) and \(\rho \in (0,+\infty )\), we define
where \(d(x,U):=\inf \{d(x,y)|y\in U\}\) with the convention that \(d(x,\emptyset )=+\infty \). Let clU denote the closure of the set U.
First, we recall the notation of global and local error bound.
Definition 2.1
We say that f has a global error bound if there exists a positive real number σ such that
Let \(\sigma (f)\) denote the supremum of \(\tau \in [0,+\infty )\) such that
Definition 2.2
Let \(\bar{x}\in X\) such that \(f(\bar{x})\leq 0\). We say that f has a local error bound at x̄ if there exist a neighborhood U of x̄ and a positive constant σ such that
Next, we recall the notion of strong slope introduced by De Giorgi et al. [28]. The strong slope was used by several authors to give characterizations of error bound for the lower semicontinuous functions (see [7, 9, 29]).
Definition 2.3
The strong slope of function f at \(x\in \operatorname{dom} f\) is defined by
For \(x\notin \operatorname{dom} f\), let \(|\nabla f|(x)=+\infty \).
The following notion (called nonlocal slope in [30]) was first introduced by Ngai and Théra in [21, Theorem 2.1].
Definition 2.4
The global slope of function f at \(x\in \operatorname{dom} f\) is defined by
For \(x\notin \operatorname{dom}f\), let \({}^{\diamond }|\nabla f|(x)=+\infty \).
In Sect. 3, we will give an example to show that the strong slope and the global slope cannot be used to characterize the error bound of the non-lower semicontinuous functions (see Example 3.1).
3 Global and local error bounds
In this section, we extend the concepts of strong slope and global slope to the non-lower semicontinuous functions and use them to give some necessary and/or sufficient conditions for the global and local error bounds of the non-lower semicontinuous functions.
Definition 3.1
The closed strong slope of f at \(x\in \operatorname{dom} f\) is defined by
For \(x\notin \operatorname{dom}f\), let \(|\nabla f|^{*}(x)=+\infty \).
Definition 3.2
The closed global slope of f at x is defined by
For \(x\notin \operatorname{dom}f\), let \({}^{\diamond }|\nabla f|^{*}(x)=+ \infty \).
According to the above definitions, one can easily get the following proposition.
Proposition 3.1
-
(i)
If \(x\in X\setminus \operatorname{cl}[f\leq 0]\), then \({}^{\diamond }|\nabla f|(x)\geq |\nabla f|(x)\) and \({}^{\diamond }| \nabla f|^{*}(x)\geq |\nabla f|^{*}(x)\).
-
(ii)
\({}^{\diamond }|\nabla f|^{*}(x)\leq {{}^{\diamond }|\nabla f|}(x)\) and \(|\nabla f|^{*}(x)\leq |\nabla f|(x)\).
-
(iii)
If f is lower semicontinuous, then
$$ {}^{\diamond } \vert \nabla f \vert ^{*}(x)={{}^{\diamond } \vert \nabla f \vert }(x)\quad \textit{and}\quad \vert \nabla f \vert ^{*}(x)= \vert \nabla f \vert (x). $$
The following proposition implies that the closed strong slope and the closed global slope of the function f is the strong slope and the global slope of the function clf, respectively.
Proposition 3.2
-
(i)
\(|\nabla f|^{*}(x)=\limsup_{u \rightarrow x}\frac{( \operatorname{cl}f(x)-\operatorname{cl}f(u))_{+}}{d(x,u)}=|\nabla \operatorname{cl}f|(x)\),
-
(ii)
\({}^{\diamond }|\nabla f|^{*}(x)=\sup_{u}\frac{( \operatorname{cl}f(x)-(\operatorname{cl}f)_{+}(u))_{+}}{d(x,u)}={{}^{\diamond }| \nabla \operatorname{cl}f|(x)}\).
Proof
We only prove (ii), and one can get (i) in a similar way. (ii) If \(\operatorname{cl}f(x)=+\infty \), then the conclusion is clearly established. Without loss of generality, suppose that \(\operatorname{cl}f(x)<+ \infty \). Since \((\operatorname{cl}f)_{+}(u)\leq f_{+}(u)\), \({}^{\diamond }| \nabla f|^{*}(x)\leq {{}^{\diamond }|\nabla \operatorname{cl}f|(x)}\). Next, we prove that \({}^{\diamond }|\nabla f|^{*}(x)\geq {{}^{\diamond }|\nabla \operatorname{cl}f|(x)}\).
If \({}^{\diamond }|\nabla \operatorname{cl}f|^{*}(x)=0\), then \(\operatorname{cl}f(x) \leq (\operatorname{cl}f)_{+}(u)\leq f_{+}(u)\) for all \(u\in X\setminus \{x \}\). From the definition of \({}^{\diamond }|\nabla f|^{*}(x)\), one has \({}^{\diamond }|\nabla f|^{*}(x)=0\).
Next, we assume that \({}^{\diamond }|\nabla \operatorname{cl}f|^{*}(x)>0\). Furthermore, \(\operatorname{cl}f(x)>0\). Let the sequence \(\{u_{n}\}\) be such that \({}^{\diamond }|\nabla \operatorname{cl}f|^{*}(x)=\lim_{n\rightarrow \infty }\frac{(\operatorname{cl}f(x)-(\operatorname{cl}f)_{+}(u _{n}))_{+}}{d(x,u_{n})}\). Since \({}^{\diamond }|\nabla \operatorname{cl}f|^{*}(x)>0\) and \(\operatorname{cl}f(x)<+ \infty \), the sequence \(\{u_{n}\}\) is bounded. There exists a subsequence \(\{u_{n_{k}}\}\) of \(\{u_{n}\}\) such that \(\lim_{n_{k}\rightarrow \infty }u_{n_{k}}=x^{*}\). We consider two cases.
1∘ \(x^{*}=x\). From the definition of the closure hull, one has \(\lim_{n_{k}\rightarrow \infty }\operatorname{cl}f(u_{n_{k}}) \geq \operatorname{cl}f(x)\). Thus, \(\operatorname{cl}f(u_{n_{k}})> 0\) for large enough \(n_{k}\) and \({{}^{\diamond }|\nabla \operatorname{cl}f|(x)}=\lim_{n_{k}\rightarrow \infty }\frac{(\operatorname{cl}f(x)-(\operatorname{cl}f)(u _{n_{k}}))_{+}}{d(x,u_{n_{k}})}\). For every \(u_{n_{k}}\), take a point \(v_{k}\) such that
Thus,
2∘ \(x^{*}\neq x\). In this case, \(d(x,x^{*})>0\). Since \(\operatorname{cl}f(x^{*})\leq \liminf_{n_{k}\rightarrow \infty } \operatorname{cl}f(u_{n_{k}})\), \({{}^{\diamond }|\nabla \operatorname{cl}f|(x)}=\frac{( \operatorname{cl}f(x)-(\operatorname{cl}f)_{+}(x^{*}))_{+}}{d(x,x^{*})}\).
Let the sequence \(\{v_{k}\}\) be such that \(d(x^{*},v_{k})\leq \frac{1}{k}\) and \(|f(v_{k})-\operatorname{cl}f(x^{*})|<\frac{1}{k}\). Thus
□
The following proposition gives some sufficient conditions for the nonemptiness of the set \([f\leq 0]\).
Proposition 3.3
If \(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{{{}^{\diamond }| \nabla f|^{*}}(x)}>0\) or \(\inf_{X\setminus \operatorname{cl}[f \leq 0]}{{|\nabla f|^{*}}(x)}>0\), then
Proof
Since \(|\nabla f|^{*}(x)\leq {{}^{\diamond }|\nabla f|^{*}(x)}\) for every \(x\in X\setminus \operatorname{cl}[f\leq 0]\), we only need to prove that the conclusions are true under the condition \(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{{{}^{\diamond }|\nabla f|^{*}}(x)}>0\).
(i) Let \(\sigma :=\inf_{X\setminus \operatorname{cl}[f\leq 0]} {{{}^{\diamond }|\nabla f|^{*}}(x)}\). Suppose for contradiction that \([f\leq 0]=\emptyset \). Thus \(\inf_{X} \operatorname{cl} f(x) \geq 0\). Let \(\bar{x}\in \operatorname{dom}f\), then there exist \(\sigma '\in (0,\sigma )\) and \(r\in (0,+\infty )\) such that
By virtue of the Ekeland variational principle [31], there exists \(x\in \bar{B}_{r}(\bar{x})\) with \(\operatorname{cl}f(x)\leq \operatorname{cl}f(\bar{x})\) such that \(\operatorname{cl}f(x)< \operatorname{cl}f(y)+\sigma ' d(x,y)\leq f(y)+\sigma ' d(x,y)\) for every \(y\in X\setminus \{x\}\). Thus \({}^{\diamond }|\nabla f|^{*}(x)\leq \sigma '<\sigma \), contradicting the assumption.
(ii) \(\operatorname{cl}[f\leq 0]\subseteq [\operatorname{cl}f\leq 0]\) is obvious. Next, we prove that \(\operatorname{cl}[f\leq 0]\supseteq [\operatorname{cl}f \leq 0]\).
If \(x\notin \operatorname{cl}[f\leq 0]\), then
Thus \(\operatorname{cl}f(x)>0\). This implies that \(x\notin [\operatorname{cl}f \leq 0]\). □
The following theorem gives two global error bound criteria for the non-lower semicontinuous functions.
Theorem 3.1
-
(i)
If \(\inf_{X\setminus \operatorname{cl}[f\leq 0]} {|\nabla f|^{*}(x)}\geq \sigma \), then \(f_{+}(x)\geq \sigma d(x,[f \leq 0])\), \(\forall x\in X\).
-
(ii)
\(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{{}^{ \diamond }|\nabla f|^{*}(x)}\geq \sigma \) if and only if \(f_{+}(x) \geq \sigma d(x,[f\leq 0])\), \(\forall x\in X\).
Proof
If \(\sigma \leq 0\), then the conclusions are clearly established. In the following, we assume that \(\sigma >0\). From Proposition 3.3, one can get
From Proposition 3.2, we have
By [9, Theorem 2.1], [21, Theorem 2.1], and [16, Theorem 2.1], Theorem 3.1 holds. □
The following example implies that the strong slope and the global slope cannot be used to characterize the error bound of the non-lower semicontinuous functions.
Example 3.1
Let Q denote the set of all rational numbers and P denote the set of all irrational number. Let \(f:R\rightarrow R\) be defined as
where \([x]\) denotes the largest integer not less than x. It is easy to see that \(x\backslash \operatorname{cl}[f\leq 0]=[f>0]\). The function f is non-lower semicontinuous and \(\inf_{[f>0]}{{}^{\diamond }| \nabla f|^{*}(x)}=\inf_{[f>0]}{|\nabla f|^{*}(x)}=0\). It follows from Theorem 3.1(ii) that f does not have a global error bound. One can easily get \(\inf_{[f>0]}{{}^{\diamond }|\nabla f|(x)}= \inf_{[f>0]}{|\nabla f|(x)}=1>0\). This implies that the strong slope and the global slope cannot be used to characterize the error bound of the non-lower semicontinuous functions.
Next, we give the characterizations of local error bounds for the non-lower semicontinuous functions.
Theorem 3.2
Let \(U\subseteq [f\leq 0]\), \(C:=X\setminus \operatorname{cl}[f\leq 0]\), \(\rho >0\); and let \(A:=\bar{B}_{\rho }(U)\cap C\) and \(D:={B}_{2\rho }(U) \cap C\). If \(\operatorname{cl}[f\leq 0]=[\operatorname{cl}f\leq 0]\), then
Proof
By Proposition 3.1(i), we only need to show the first inequality. We may assume that the left-hand side of the inequality is finite. Thus \(A\neq \emptyset \), and so \([f\leq 0] \neq \emptyset \). For any \(\sigma >\inf_{A}\frac{f(x)}{d(x,[f \leq 0])}\), there exists \(\bar{x}\in A\) such that
Let \(r\in (0,d(\bar{x},[f\leq 0]))\) such that \(f(\bar{x})<\sigma r\). Let \(g(x):=f_{+}(x)\). We have
By virtue of the Ekeland variational principle [31], there exists \(\hat{x}\in \bar{B}_{r}(\bar{x})\) such that \(\operatorname{cl}g(\hat{x})\leq \operatorname{cl}g(\bar{x})\) and \(\operatorname{cl}g(\hat{x})<\operatorname{cl}g(y)+\sigma d(\hat{x},y)\) for every \(y\in X\setminus \{\hat{x}\}\). Note that \(r< d(\bar{x},[f\leq 0]) \leq d(\bar{x}, U)\leq \rho \). For \(x\in \bar{B}_{r}(\bar{x})\subset {B}_{2\rho }(U)\), we have \(\operatorname{cl}f(x)>0\) since \(\operatorname{cl}[f \leq 0]=[\operatorname{cl}f\leq 0]\). Thus \(\hat{x}\in D\). Furthermore,
One can get \({{}^{\diamond }|\nabla f|}^{*}(\hat{x})\leq \sigma \). Thus \(\inf_{D}{{{}^{\diamond }|\nabla f|}^{*}(x)} \leq \sigma \), and the conclusion follows. □
As a special case of Theorem 3.2 that U is singleton, some characterizations of the local error bounds are obtained as follows.
Corollary 3.1
Let \(C:=X\setminus \operatorname{cl}[f\leq 0]\), \(\bar{x}\in [f\leq 0]\), \(\rho >0\), and \(D:={B}_{2\rho }(\bar{x})\cap C\). Assume that \(\operatorname{cl}[f\leq 0]=[\operatorname{cl}f\leq 0]\). If \(\inf_{D} {|\nabla f|^{*}(x)}\geq \sigma \) or \(\inf_{D}{{{}^{\diamond }| \nabla f|}_{\alpha }^{*}(x)}\geq \sigma \), then \(f_{+}(x)\geq \sigma d(x,[f\leq \alpha ])\), \(\forall x\in B_{\rho }(\bar{x})\), that is, f has a local error bound at x̄.
4 The convex case
In this section, we focus our discussion on the convex case. We show that the strong slope and the global slope could be used to characterize the error bound of the non-lower semicontinuous convex functions under mild assumptions. Throughout this section, let \(X=R^{n}\) be the n-dimensional Euclidean space with Euclidean norm \(\|\cdot \|\) and \(f:R^{n}\rightarrow R \cup \{+\infty \}\) be a non-lower semicontinuous convex function. Let \(\operatorname{ri}(\operatorname{dom}f)\) denote the relative interior of the set domf. It is well known from convex analysis (see, for example, [32]) that \(\operatorname{cl}f(x)=f(x)\) for all \(x\in \operatorname{ri}(\operatorname{dom}f)\).
Proposition 4.1
If \(x\in X\setminus \operatorname{cl}[f\leq 0]\), then
Proof
According to Proposition 3.1, we only need to show that \({{}^{\diamond }|\nabla f|}^{*}(x)\leq |\nabla f|^{*}(x)\) and \({{}^{\diamond }|\nabla f|}(x)\leq |\nabla f|(x)\) for all \(x\in X\setminus \operatorname{cl}[f\leq 0]\). We only show that \({{}^{\diamond }|\nabla f|} ^{*}(x)\leq |\nabla f|^{*}(x)\) for all \(x\in X\setminus \operatorname{cl}[f \leq 0]\). Similarly, one can show that \({{}^{\diamond }|\nabla f|}(x) \leq |\nabla f|(x)\) for all \(x\in X\setminus \operatorname{cl}[f\leq 0]\).
Let \(x\in X\setminus \operatorname{cl}[f>0]\). If \({{}^{\diamond }|\nabla f|} ^{*}(x)=0\), then \(|\nabla f|^{*}(x)=0\). Next, we assume that \({{}^{\diamond }|\nabla f|}^{*}(x)>0\). Let \(\lambda \in (0,1)\). For any \(y(\neq x)\) such that \(f(y)\leq \operatorname{cl}f(x)\), one has
Let \(\{z_{\lambda } \}_{\lambda \in (0,1)}\) be such that
and
Thus
Thus
The proof is completed. □
Lemma 4.1
If \([f\leq 0]\neq \emptyset \), \(\eta :=\inf_{{\operatorname{cl} (\operatorname{dom}f)}\setminus \operatorname{ri} ( \operatorname{dom}f)}\operatorname{cl}f(x)>0\), and \(\beta \in (0,\eta )\), then
Proof
Assume that \(\inf_{[f=\beta ]}{{}^{\diamond }| \nabla f|^{*}}(x)>0\) and \(\inf_{[f>\beta ]}{{}^{\diamond }| \nabla f|}^{*}(x)<+\infty \), thus \(\beta >\inf_{X}f\). For any fixed \(\sigma \in (\inf_{[f>\beta ]}{{}^{\diamond }|\nabla f|} ^{*}(x),+\infty )\). Let \(\bar{x}\in [f>\beta ]\) and \(\sigma >{{}^{ \diamond }|\nabla f|}^{*}(\bar{x})\). Let
where \(\delta (y|[f\leq \beta ])\) is the indicator function of the set \([f\leq \beta ]\).
We claim that \(g(y)>\operatorname{cl}f(\bar{x})\) for all \(y\neq \bar{x}\). Suppose for a contradiction that there exists \(\hat{y}\in [f\leq \beta ]\) such that \(f(\hat{y})+\sigma \|\hat{y}-\bar{x}\|+\delta ( \hat{y}|[f\leq \beta ])\leq \operatorname{cl}f(\bar{x})\). Since \(\beta \in (0,\eta )\), then \(\hat{y}\in \operatorname{ri} (\operatorname{dom}f)\). By [32, Theorem 6.1], one has \(\lambda \hat{y}+(1- \lambda )\bar{x} \in \operatorname{ri} (\operatorname{dom}f)\). By [32, Theorem 10.1], one has \(\operatorname{cl}f(\hat{y})=f( \hat{y})\) and \(\operatorname{cl}f(\lambda \hat{y}+(1-\lambda )\bar{x})=f( \lambda \hat{y}+(1-\lambda )\bar{x})\) for all \(\lambda \in (0,1)\). Since \(\liminf_{\lambda \downarrow 0} f(\lambda \hat{y}+(1-\lambda ) \bar{x})\geq \operatorname{cl}f(\bar{x})\), then \(f(\lambda \hat{y}+(1- \lambda )\bar{x})>0\) for sufficiently small \(\lambda \in (0,1)\). If \(\lambda \in (0,1)\) is sufficiently small, then
a contradiction, where the second inequality follows from \(f(\lambda \hat{y}+(1-\lambda )\bar{x})=\operatorname{cl}f(\lambda \hat{y}+(1-\lambda )\bar{x})\leq \lambda \operatorname{cl}f(\bar{x})+(1-\lambda )\operatorname{cl}f( \hat{y})\) and \(\operatorname{cl}f(\hat{y})=f(\hat{y})\).
Let \(\varepsilon \in (0,\sigma -{{}^{\diamond }|\nabla f|^{*}}(\bar{x}))\) and \(\bar{y}\in [f\leq \beta ]\). Since \(g(y)>\operatorname{cl}f(\bar{x})\) for all \(y\neq \bar{x}\), there exists \(\bar{r}_{\varepsilon }>0\) such that
By virtue of the Ekeland variational principle [31], there exists \(y_{\varepsilon }\) such that
Thus \(y_{\varepsilon }\in [f\leq \beta ]\subseteq \operatorname{ri}( \operatorname{dom}f)\) and
We claim that \(f(y_{\varepsilon })=\beta \). Indeed, we may assume, for contradiction, that \(f(y_{\varepsilon })<\beta \). Let \(z_{\varepsilon }\) be a point in the open segment \((\bar{x},y_{\varepsilon })\) with \(f(z_{\varepsilon })=\beta >0\). Then \(z_{\varepsilon }\in \operatorname{ri}( \operatorname{dom}f)\). Writing (1) for \(y:=z_{\varepsilon }\) yields
where the equality follows from \(z_{\varepsilon }\in (\bar{x},y_{ \varepsilon })\). For \(\lambda \in (0,1)\) is sufficiently small, one has
a contradiction. Thus \(f(y_{\varepsilon })=\beta \).
Now, we derive from (1) again that
Thus
which shows that \(\inf_{[f=\beta ]}{{}^{\diamond }|\nabla f|^{*}( \bar{x})}\leq \sigma \). Thus \(\inf_{[f=\beta ]}{{}^{\diamond }| \nabla f|^{*}}(\bar{x})\leq \inf_{[f>\beta ]}{{}^{\diamond }| \nabla f|}^{*}(x)\). □
Proposition 4.2
If \([f\leq 0]\neq \emptyset \) and \(\inf_{{\operatorname{cl} (\operatorname{dom}f)}\setminus \operatorname{ri} ( \operatorname{dom}f)}\operatorname{cl}f(x)>0\), then
Proof
By Proposition 4.1, we only need to prove
By Lemma 4.1, we have
where the equality follows from \([f\leq \beta ]\subseteq \operatorname{ri}( \operatorname{dom}f)\). Thus
and
The above three formulas imply that
□
By Theorem 3.1 and Proposition 4.2, we have the following result, which gives characterizations of global error bounds for the non-lower semicontinuous convex functions.
Theorem 4.1
Assume that \(\inf_{\operatorname{cl(dom)}f\setminus \operatorname{ri(dom)}f} \operatorname{cl}f>0\). Then the following statements are equivalent:
-
(i)
\(f_{+}(x)\geq \sigma d(x,[f\leq 0])\), \(\forall x\in X\).
-
(ii)
\(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{{}^{ \diamond }|\nabla f|(x)}\geq \sigma \).
-
(iii)
\(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{| \nabla f|(x)}\geq \sigma \).
-
(iv)
\(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{{}^{ \diamond }|\nabla f|^{*}(x)}\geq \sigma \).
-
(v)
\(\inf_{X\setminus \operatorname{cl}[f\leq 0]}{|\nabla f|^{*}(x)}\geq \sigma \).
5 Conclusions
In this paper, we establish some necessary and/or sufficient conditions of global and local error bounds for the non-lower semicontinuous functions. We also emphasize the special case of convex functions defined on Euclidean space. We get several necessary and sufficient conditions of global error bounds for convex functions defined on Euclidean space.
References
Hong, M.Y., Luo, Z.Q.: On the linear convergence of the alternating direction method of multipliers. Math. Program. 162, 165–199 (2017)
Luo, Z.Q.: New error bounds and their applications to convergence analysis of iterative algorithms. Math. Program. 88, 341–355 (2000)
Zhang, H.: The restricted strong convexity revisited: analysis of equivalence to error bound and quadratic growth. Optim. Lett. 11, 811–833 (2017)
Li, G.Y., Ng, K.F.: Error bounds of generalized D-gap functions for nonsmooth and nonmonotone variational inequality problems. SIAM J. Optim. 20, 667–690 (2009)
Luo, Z.Q., Pang, J.S.: Error bounds for analytic systems and their applications. Math. Program. 67, 1–28 (1994)
Facchinei, F., Fischer, A., Kanzow, C.: On the accurate identification of active constraints. SIAM J. Optim. 9, 14–32 (1999)
Azé, D., Corvellec, J.N.: On the sensitivity analysis of Hoffman constants for systems of linear inequalities. SIAM J. Optim. 12, 913–927 (2001)
Azé, D.: A survey on error bounds for lower semicontinuous functions. ESAIM Proc. 13, 1–17 (2003)
Azé, D., Corvellec, J.N.: Characterizations of error bounds for lower semicontinuous functions on metric spaces. ESAIM Control Optim. Calc. Var. 10, 409–425 (2004)
Bosch, P., Jourani, A., Henrion, R.: Sufficient conditions for error bounds and applications. Appl. Math. Optim. 50, 161–181 (2004)
Boţ, R.I., Csetnek, E.R.: Error bound results for convex inequality systems via conjugate duality. Top 20, 296–309 (2012)
Chao, M.T., Cheng, C.Z.: Linear and nonlinear error bounds for lower semicontinuous functions. Optim. Lett. 8, 1301–1312 (2014)
Fabian, M.J., Henrion, R., Kruger, A.Y., Outrata, J.V.: Error bounds: necessary and sufficient conditions. Set-Valued Anal. 18, 121–149 (2010)
He, Y.R., Sun, J.: Second-order sufficient conditions for error bounds in Banach spaces. SIAM J. Optim. 17, 795–805 (2006)
Hoffman, A.J.: On approximate solutions of systems of linear inequalities. J. Res. Natl. Bur. Stand. 49, 263–265 (1952)
Hu, H., Wang, Q.: Local and global error bounds for proper functions. Pac. J. Optim. 6, 177–186 (2010)
Huang, L.R., Ng, K.F.: On first-order and second-order conditions for error bounds. SIAM J. Optim. 14, 1057–1073 (2004)
Lewis, A.S., Pang, J.S.: Error bounds for convex inequality systems, in generalized convexity, generalized monotonicity: recent results Marseille. Nonconvex Optim. Appl. 27, 75–110 (1998)
Li, G.Y.: Global error bounds for piecewise convex polynomials. J. Res. Natl. Bur. Stand. 137, 37–64 (2013)
Ng, K.F., Zheng, X.Y.: Error bounds for lower semicontinuous functions in normed spaces. SIAM J. Optim. 12, 1–17 (2001)
Ngai, H.V., Théra, M.: Error bounds in metric spaces and application to the perturbation stability of metric regularity. SIAM J. Optim. 19, 1–20 (2008)
Ngai, H.V., Théra, M.: Error bounds for systems of lower semicontinuous functions in Asplund spaces. Math. Program. 116, 397–427 (2009)
Pang, J.S.: Error bounds in mathematical programming. Math. Program. 79, 299–332 (1997)
Wu, Z., Ye, J.J.: First-order and second-order conditions for error bounds. SIAM J. Optim. 14, 621–645 (2003)
Zheng, X.Y., Wei, Z.: Perturbation analysis of error bounds for quasi-subsmooth inequalities and semi-infinite constraint systems. SIAM J. Optim. 22, 41–65 (2003)
Combettes, P.: Strong convergence of block-iterative outer approximation methods for convex optimization. SIAM J. Control Optim. 38, 538–565 (2000)
Bakan, A., Deutsch, F., Li, W.: Strong CHIP, normality, and linear regularity of convex sets. Trans. Am. Math. Soc. 357, 3831–3863 (2005)
Giorgi, E.D., Marino, A., Tosques, M.: Problemi di spazi metrici e curve di massima pendenza (Evolution problems in metric spaces and curves of maximal slope). Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 68, 180–187 (1980)
Corvellec, J.N., Motreanu, V.V.: Nonlinear error bounds for lower semicontinuous functions on metric spaces. Math. Program. 114, 291–319 (2008)
Ngaic, H.V., Kruger, A.Y., Théra, M.: Slopes of multifunctions and extensions of metric regularity. Math. Program. 40, 355–369 (2012)
Ekeland, I.: Nonconvex minimization problems. Bull. Am. Math. Soc. 1, 443–474 (1979)
Rockafellar, R.: Convex Analysis. Princeton University Press, Princeton (1970)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Authors’ information
M.T. Chao, Ph.D., associate professor; X.P. Wang, lecturer; D.Y. Liang, associate professor.
Funding
This work was supported by the Natural Science Foundation of China (11601095,11771383), Natural Science Foundation of Guangxi Province (2016GXNSFBA380185,2016GXNSFDA380019), Postdoctoral Science Foundation of Jiangsu Province (1701159B), and Guangxi Colleges and Universities Key Laboratory of Complex System Optimization and Big Data Processing (2016CSOBDP0204).
Author information
Authors and Affiliations
Contributions
MTC carried out the idea of this paper. XPW and DYL helped to draft the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chao, M., Wang, X. & Liang, D. Some characterizations of error bound for non-lower semicontinuous functions. J Inequal Appl 2019, 38 (2019). https://doi.org/10.1186/s13660-019-1987-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-1987-9