Variational Analysis, Optimization, and Fixed Point Theory 2014View this Special Issue
Research Article | Open Access
Jiangxing Zhu, Qinghai He, Jinchuan Lin, "Error Bound for Conic Inequality in Hilbert Spaces", Abstract and Applied Analysis, vol. 2014, Article ID 785213, 7 pages, 2014. https://doi.org/10.1155/2014/785213
Error Bound for Conic Inequality in Hilbert Spaces
We consider error bound issue for conic inequalities in Hilbert spaces. In terms of proximal subdifferentials of vector-valued functions, we provide sufficient conditions for the existence of a local error bound for a conic inequality. In the Hilbert space case, our result improves and extends some existing results on local error bounds.
Let be a Banach space and let be a proper lower semicontinuous function. Consider the following inequality: Let and . Recall that inequality has a local error bound at if there exist such that where and denotes the open ball centered at of radius . In the variational analysis literature, sensitivity analysis of mathematical programming and convergence analysis of some algorithms of optimization problems are deeply tied to the notion of error bound. Since Hoffman's pioneering work , the study of error bounds has received extensive attention in the mathematical programming literature (for details, see [2–9] and references therein). For us, the work of Ioffe in this area will be particularly important. The author in his seminal work  first characterized error bound (under a different name) in terms of the subdifferentials and gave the following interesting result: if is locally Lipschitz at and there exist such that then has a local error bound at , where denotes the Clarke-Rockafellar subdifferential of at (for its definition, see Section 2). Results of the same flavour have sprung up. In 2010, in considering a general closed multifunction in place of and with the subdifferential replaced by the coderivative of , Zheng and Ng  extended the above-mentioned result to a generalized equation defined by a closed multifunction. Recently, Zheng and Ng  once again extended Ioffe's classic result to the conic inequality case in Asplund spaces in terms of the conic subdifferential defined by Fréchet normal cone. In this paper, we will extend Ioffe's result to the conic inequality case in the Hilbert space setting.
Let be Banach spaces with ordered by a closed convex cone . Let and be a function, where is the union of with an abstract infinity . In this paper, we consider the following conic inequality: Indeed, many constraint systems in optimization can be viewed as special cases of . For example, when , , and , reduces to where each is a real-valued function on . Another important case is the following: when and , reduces to constraint systems of semi-infinite optimization problems; of course, one can also view the constraint systems in conic optimization problems as examples of . Hence conic inequality systems exist quite extensively. For such a kind of systems, we consider their error bounds. Let denote the solution set of ; that is, We say that has a local error bound at if there exist such that It is clear that (5) reduces to (1) when and . The main aim of this paper is to extend the above-mentioned Ioffe’s classic result on error bounds to conic inequality with being any pair of Hilbert spaces in terms of proximal subdifferentials of vector-valued functions defined by proximal normal cone with a kind of variational behavior of “order two.” In particular, we have improved Zheng and Ng's result in the Hilbert space setting.
Let be a Banach space with topological dual and let . For a proper lower semicontinuous function , we denote by and the domain and the epigraph of , respectively; that is, Throughout the paper, the symbol always denotes the convergence relative to the distance induced by the norm while the arrow signifies the weak* convergence in the dual space .
Recall that the Fréchet subdifferential of at is defined as (see [15, 16]) Let denote the proximal subdifferential of at ; that is, For a closed subset of and , define, respectively, the Fréchet normal cone and the proximal normal cone and of to as where denotes the indicator function of (i.e., if and otherwise). Clearly, if and only if each of the following two conditions holds.(1)There exist such that (2)There exists such that Let denote the Mordukhovich (limiting) normal cone of to ; that is, if and only if there exist sequences and such that
It is well known that Let be a Banach space and let be a closed convex cone, which defines a preorder in as follows: . Let usually is called the dual cone of . Let denote an abstract infinity and . For a vector-valued function , the epigraph of with respect to the ordering cone is defined by In the vector-valued setting, in view of (13), we will use the following kinds of subdifferentials of : In the special case when and , we have , The following lemma will be useful in our analysis later.
Lemma 1. Let be spaces with being a closed convex cone and suppose that is a function such that is closed. Then, for any and ,
Proof. Let . Then it follows from (11) that there exists such that Noting that for any and that one has This means that , which implies in turn that and thus completes the proof of the lemma.
Lemma 2. Let be a Hilbert space and let be proper lower semicontinuous and suppose that is twice continuously differentiable at . Then where denotes the derivative of at .
Lemma 3. Let be a nonempty closed subset of a Hilbert space and let be such that . Then there exists satisfying the following properties.(i)The set of closest points in to is the singleton .(ii) is Fréchet differentiable at and (iii).
Lemma 4. Let be a Hilbert space and let be a proper lower semicontinuous function. Let and be such that . Then, for any , there exist and in with having the following property:
3. Main Results
As an extension of Ioffe's classic results on error bounds to conic inequality in Asplund spaces, Zheng and Ng  proved Theorem I.
Theorem I. Let be Asplund spaces with being a closed convex cone. Let be a function such that its -epigraph is closed. Let and be such that Then conic inequality (CIE) has a local error bound at .
It is well known that for any . So condition (28) will be much easier to be satisfied if is replaced by . Taking this fact into account, Theorem 6 provides a sharper result with replaced by and gives a relationship between the modulus of error bound and corresponding radius which were not mentioned in Theorem I. Its proof, which is slightly different from the one of Theorem I in , is based on a smooth variational principle rather than the Ekeland variational principle. Since the proof of Theorem 6 proceeds by contradiction, we give the following proposition to describe quantitative properties for a point that violates (5).
Proposition 5. Let be Hilbert spaces with being a closed convex cone. Let be a function such that its -epigraph is closed. Let , and be such that Then there exist satisfying the following properties:
Proof. It follows from (29) that there exists such that Define the function by for all . Then is lower semicontinuous (due to the closedness of ) and This and Lemma 4 imply that there exist such that From (36), it is easy to verify that (30) holds. Applying (35) and leads us to the following: which also implies that and thus verifies (31), while (37) together with gives us and so . It follows from this and (39) that Furthermore, (37) implies that where It follows from (40) and Lemma 3 that is twice continuously differentiable at and So applying Lemma 2 to (41) leads us to the inclusions which justifies (32) and thus completes the proof of the proposition.
With the preparation that we have done, the proof of our main result is now straightforward.
Theorem 6. Let be Hilbert spaces with being a closed convex cone. Let be a function such that its -epigraph is closed. Let and be such that Then, one has
Proof. The proof proceeds by contradiction. Namely, suppose to the contrary that (46) is not true; then, there exists such that
and consequently it follows from Proposition 5 that there exist such that (30), (31), and (32) hold. Then, one has
Since , we can take such that . Then, by Lemma 1, one has
It follows from (32) and (50) that
Noting that , this implies that . Indeed, due to the definition of proximal normal cone, there exists such that
for all .
Namely, for all .
Setting in the above inequality, one has Noting that and is a cone, one has which means that Let Then and so . Combining this with (30) implies that which contradicts (45) and (49). The proof is complete.
Letting in Theorem 6, we have the following global error bound result.
Corollary 7. Let , be spaces with being a closed convex cone. Let be a function such that its -epigraph is closed. Let and , be such that Then, one has
Remark 8. Since the class of Asplund space is more extensive than that of Hilbert space from the framework of spaces, Theorem I has a wider range of applications than Theorem 6.
The subdifferential in Theorem 6 expresses a kind of variational behavior of “order two,” while in Theorem I is of “order one.” In general, is smaller than , and, furthermore, may have measure zero even for a smooth function. In , Clarke et al. have constructed a function on whose proximal subgradient is nonempty on a set that is small in the sense of measure and category. For the sake of convenience, we present this interesting result to show this kind of somewhat surprising phenomenon as follows.
Let be the (continuous) function of period 4 which satisfies for , for , and define Clearly is continuous, and thus defined by is on . Following the excellent proof of Clarke, we arrive at the conclusion that both and have measure zero. For more details, we refer the reader to Theorem 6.1 in .
To our knowledge, we do not know whether the assumption of Hilbert spaces in Theorem 6 and Corollary 7 can be extended to more general Banach spaces or not, for example, whether these results can be extended to () spaces.
Under the assumption somewhat stronger than that for Theorem 6, we have the following stability version regarding local error bounds for .
Theorem 9. Let be Hilbert spaces and suppose that is continuous and that is a closed convex cone such that , where denotes the interior. Let be such that . Then, there exists such that, for any , the corresponding conic inequality (CIE) has a local error bound at each .
Proof. By Theorem 6, it suffices to show that there exist , such that for all . If it is not the case, we can find a sequence in converging to and satisfying By the definition of , this means that there exist and such that Without loss of generality, we assume that converges to with the weak* topology (taking a subsequence if necessary). Taking the continuity assumption of into consideration, it follows from (63) that We claim that . Granting this, one has , which contradicts the assumption that . It remains to show that . Since , there exist and such that . Hence, and so . Since . This shows that , which completes the proof.
Example 10 (failure of having a local error bound). Let , , , and for all . Then is continuous, and .
It is well known and easy to check that . Take a sequence in , where Then converges to and and that it follows that Hence the conic inequality does not have a local error bound at . This situation occurs, of course, because is empty.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This research was supported by the National Natural Science Foundation of China (Grant nos. 11371312 and 11261067) and IRTSTYN.
- A. J. Hoffman, “On approximate solutions of systems of linear inequalities,” Journal of Research of the National Bureau of Standards, vol. 49, pp. 263–265, 1952.
- D. Azé and J. N. Corvellec, “Characterizations of error bounds for lower semicontinuous functions on metric spaces,” ESAIM. Control, Optimisation and Calculus of Variations, vol. 10, no. 3, pp. 409–425, 2004.
- A. D. Ioffe, “Metric regularity and subdifferential calculus,” Russian Mathematical Surveys, vol. 55, no. 3, pp. 501–558, 2000.
- A. S. Lewis and J. S. Pang, “Error bounds for convex inequality systems,” in Generalized Convexity, Generalized Monotonicity: Recent Results, J. P. Crouzeix, J. E. Martinez-Legaz, and M. Volle, Eds., vol. 27 of Nonconvex Optimization and Its Applications, pp. 75–110, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.
- K. F. Ng and X. Y. Zheng, “Error bounds for lower semicontinuous functions in normed spaces,” SIAM Journal on Optimization, vol. 12, no. 1, pp. 1–17, 2001.
- H. van Ngai and M. Théra, “Error bounds for systems of lower semicontinuous functions in Asplund spaces,” Mathematical Programming, vol. 116, no. 1-2, pp. 397–427, 2009.
- J. S. Pang, “Error bounds in mathematical programming,” Mathematical Programming B, vol. 79, no. 1–3, pp. 299–332, 1997.
- Z. Wu and J. J. Ye, “On error bounds for lower semicontinuous functions,” Mathematical Programming, vol. 92, no. 2, pp. 301–314, 2002.
- C. Zalinescu, “Weak sharp minima, well-behaving functions and global error bounds for convex inequalities in Banach spaces,” in Proceedings of the 12th Baikal International Conference on Optimization Methods and Their Applications, pp. 272–284, Irkutsk, Russia, 2001.
- A. D. Ioffe, “Regular points of Lipschitz functions,” Transactions of the American Mathematical Society, vol. 251, pp. 61–69, 1979.
- X. Y. Zheng and K. F. Ng, “Metric subregularity and calmness for nonconvex generalized equations in Banach spaces,” SIAM Journal on Optimization, vol. 20, no. 5, pp. 2119–2136, 2010.
- X. Y. Zheng and K. F. Ng, “Error bound for conic inequality,” Vietnam Journal of Mathematics. In press.
- F. H. Clarke, Optimization and Nonsmooth Analysis, John Wiley & Sons, New York, NY, USA, 1983.
- F. H. Clarke, Yu. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory, Springer, New York, NY, USA, 1998.
- B. S. Mordukhovich, Variational Analysis and Generalized Differentiation. I/II, Springer, Berlin, Germany, 2006.
- W. Schirotzek, Nonsmooth Analysis, Springer, Berlin, Germany, 2007.
- F. H. Clarke, Yu. S. Ledyaev, and P. R. Wolenski, “Proximal analysis and minimization principles,” Journal of Mathematical Analysis and Applications, vol. 196, no. 2, pp. 722–735, 1995.
Copyright © 2014 Jiangxing Zhu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.