Abstract
In this paper, some exact calculus rules are obtained for calculating the coderivatives of the composition of two multivalued maps. Similar rules are displayed for sums. A crucial role is played by an intermediate set-valued map called the resolvent. We first establish inclusions for contingent, Fréchet and limiting coderivatives. Combining them, we get equality rules. The qualification conditions we present are natural and less exacting than classical conditions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aubin, J.-P., Cellina, A.: Differential Inclusions. Springer, Berlin (1984)
Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhaüser, Boston (1990)
Azé, D., Cârjă, O.: Fast controls and minimum time. Control Cybern. 29(4), 887–894 (2000)
Azé, D., Corvellec, J.-N.: Variational methods in classical open mapping theorems. J. Convex Anal. 13(3–4), 477–488 (2006)
Borwein, J.M., Zhu, Q.J.: Techniques of variational analysis. In: Canadian Books in Math., vol. 20. Canad. Math. Soc., Springer, New York (2005)
Bourbaki, N.: Elements of Mathematics. General Topology. Part 1. Hermann, Paris; Addison-Wesley, Reading. Translated from the French, Hermann, Paris (1940–1971)
Carjă, O.: The minimal time function in infinite dimensions. SIAM J. Control Optim. 31(5), 1103–1114 (1993)
Clarke, F.H.: Methods of dynamic and nonsmooth optimization. In: CBMS-NSF Regional Conference Series in Applied Mathematics, vol. 57. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (1989)
Clarke, F.H.: Optimization and nonsmooth analysis. In: Classics in Applied Mathematics, vol. 5, 2nd edn. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (1990)
Clarke, F.H., Ledyaev, Yu.S., Stern, R.J., Wolenski, P.R.: Nonsmooth analysis and control theory. In: Graduate Texts in Mathematics, vol. 178. Springer, New York (1998)
Cornejo, O., Jourani, A., Zalinescu, C.: Conditioning and upper-Lipschitz inverse subdifferentials in nonsmooth optimization problems. J. Optim. Theory Appl. 95(1), 127–148 (1997)
Dontchev, A.L., Rockafellar, R.T.: Regularity and conditioning of solution mappings in variational analysis. Set-Valued Anal. 12(1–2), 79–109 (2004)
Filippov, A.F.: Classical solutions of differential inclusions with multivalued right-hand sides. SIAM J. Control 5, 609–621 (1967)
Geremew, W., Mordukhovich, B.S., Nam, N.M.: Coderivative calculus and metric regularity for constraint and variational systems. Nonlinear Anal. 70(1), 529–552 (2009)
Goebel, R.: Regularity of the optimal feedback and the value function in convex problems of optimal control. Set-Valued Anal. 12(1–2), 127–145 (2004)
Henrion, R., Jourani, A., Outrata, J.V.: On the calmness of a class of multifunctions. SIAM J. Optim. 13, 603–618 (2002)
Henrion, R., Outrata, J.: A subdifferential condition for calmness of multifunctions. J. Math. Anal. Appl. 258, 110–130 (2001)
Henrion, R., Outrata, J.V.: Calmness of constraint systems with applications. Math. Program. 104, 437–464 (2005)
Huy, N.Q., Mordukhovich, B.S., Yao, J.C.: Coderivatives of frontier and solution maps in parametric multiobjective optimization. Taiwanese J. Math. 12(8), 2083–2111 (2008)
Ioffe, A.: On necessary conditions in variable end-time optimal control problems. Control Cybern. 34(3), 805–818 (2005)
Ioffe, A.: Existence and relaxation theorems for unbounded differential inclusions. J. Convex Anal. 13(2), 353–362 (2006)
Ioffe, A.D.: Approximate subdifferentials and applications 3: the metric theory. Mathematika 36(1), 1–38 (1989)
Ioffe, A.D.: Codirectional compactness, metric regularity and subdifferential calculus. In: Théra, M. (ed.) Constructive, Experimental and Nonlinear Analysis. Canadian Math. Soc. Proc. Conferences Series, vol. 27, pp. 123–163, American Mathematical Society, Providence (2000)
Ioffe, A.D.: Metric regularity and subdifferential calculus. Uspekhi Mat. Nauk 55, 103–162 (2000). Translation in Russ. Math. Surv. 55, 501–558 (2000)
Ioffe, A.D., Outrata, J.V.: On metric and calmness qualification conditions in subdifferential calculus. Set-Valued Anal. 16, 199–227 (2008)
Ioffe, A.D., Penot, J.-P.: Subdifferentials of performance functions and calculus of coderivatives of set-valued mappings. Well-posedness and stability of variational problems. Serdica Math. J. 22, 257–282 (1996)
Jourani, A., Thibault, L.: Verifiable conditions for openness and regularity of multivalued mappings in Banach spaces. Trans. Am. Math. Soc. 347(4), 1255–1268 (1995)
Jourani, A., Thibault, L.: Metric regularity and subdifferential calculus in Banach spaces. Set-Valued Anal. 3(1), 87–100 (1995)
Klatte, D., Kummer, B.: Nonsmooth equations in optimization. In: Regularity, Calculus, Methods and Applications, Nonconvex Optimization and its Applications, vol. 60. Kluwer, Dordrecht (2002)
Ledyaev, Yu.S., Zhu, Q.J.: Implicit multifunctions theorems. Set-Valued Anal. 7, 209–238 (1999)
Lee, G.M., Tam, N.N., Yen, N.D.: Normal coderivative for multifunctions and implicit function theorems. J. Math. Anal. Appl. 338, 11–22 (2008)
Levy, A.B.: Lipschitzian multifunctions and a Lipschitzian inverse function theorem. Math. Oper. Res. 26, 105–118 (2001)
Levy, A.B.: Solution stability from general principles. SIAM J. Control Optim. 40, 209–238 (2001)
Levy, A.B., Mordukhovich, B.S.: Coderivatives in parametric optimization. Math. Program. 99, 311–327 (2004)
Li, S.J., Meng K.W., Penot, J.-P.: Calculus rules of multimaps. Set-Valued Anal. 17, 21–39 (2009)
Luc, D.T., Penot, J.-P.: Convergence of asymptotic directions. Trans. Am. Math. Soc. 353(10), 4095–4121 (2001)
Loewen P.D., Rockafellar R.T.: Optimal control of unbounded differential inclusions. SIAM J. Control Optim. 32, 442–470 (1994)
Mordukhovich, B.S.: Maximum principle in problems of time optimal control with nonsmooth constraints. J. Appl. Math. Mech. 40, 960–969 (1976)
Mordukhovich, B.S.: Metric approximations and necessary optimality conditions for general classes of extremal problems. Sov. Math., Dokl. 22, 526–530 (1980)
Mordukhovich, B.S.: Optimal control of evolution inclusions. Nonlinear Anal. 63(5–7), 775–784 (2005)
Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation I, Grundlehren der Math. Wissenschaften, vol. 330. Springer, Berlin (2006)
Mordukhovich, B.S.: Optimal control of nonconvex differential inclusions. Differential equations, chaos and variational problems. In: Progr. Nonlinear Differential Equations Appl., vol. 75, pp. 285–303. Birkhäuser, Basel (2008)
Mordukhovich, B.S., Nam, N.M.: Variational analysis of extended generalized equations via coderivative calculus in Asplund spaces. J. Math. Anal. Appl. 350(2), 663–679 (2009)
Mordukhovich, B.S., Shao, Y.: Nonsmooth sequential analysis in Asplund spaces. Trans. Am. Math. Soc. 348(4), 1235–1280 (1996)
Mordukhovich, B.S., Shao, Y.: Nonconvex coderivative calculus for infinite dimensional multifunctions. Set-Valued Anal. 4, 205–236 (1996)
Mordukhovich, B.S., Shao, Y.: Stability of set-valued mappings in infinite dimension: point criteria and applications. SIAM J. Control Optim. 35, 285–314 (1997)
Mordukhovich, B.S., Shao, Y.: Fuzzy calculus for coderivatives of multifunctions. Nonlinear Anal. Theory Methods Appl. 29, 605–626 (1997)
Mordukhovich, B.S., Shao, Y.: Mixed coderivatives of set-valued mappings in variational analysis. J. Appl. Anal. 4, 269–294 (1998)
Mordukhovich, B.S., Shao, Y., Zhu, Q.J.: Viscosity coderivatives and their limiting behavior in smooth Banach spaces. Positivity 4, 1–39 (2000)
Mordukhovich, B.S., Wang, D., Wang, L.: Optimal control of delay-differential inclusions with multivalued initial conditions in infinite dimensions. Control Cybern. 37(2), 393–428 (2008)
Nachi, K., Penot, J.-P.: Inversion of multifunctions and differential inclusions. Control Cybern. 34(3), 871–901 (2005)
Ngai, H.V., Théra, M.: Metric inequality, subdifferential calculus and applications. Set-Valued Anal. 9, 187–216 (2001)
Ngai, H.V., Théra, M.: Error bounds and implicit multifunction theorem in smooth Banach spaces and applications to optimization. Set-Valued Anal. 12, 195–223 (2004)
Outrata, J., Kočvara, M., Zowe, J.: Nonsmooth approach to optimization problems with equilibrium constraints, theory, applications and numerical results. In: Nonconvex Optimization and its Applications, vol. 28. Kluwer, Dordrecht (1998)
Palais, R.S.: When proper maps are closed. Proc. Am. Math. Soc. 24, 835–836 (1970)
Penot, J.-P.: On regularity conditions in mathematical programming. Math. Program. Stud. 19, 167–199 (1982)
Penot, J.-P.: Continuity properties of performance functions. In: Hiriart-Urruty, J.-B., Oettli, W., Stoer, J. (eds.) Optimization Theory and Algorithms. Lecture Notes in Pure and Applied Math., vol. 86, pp. 77–90. Marcel Dekker, New York (1983)
Penot, J.-P.: Compact nets, filters and relations. J. Math. Anal. Appl. 93(2), 400–417 (1983)
Penot, J.-P.: Metric regularity, openness and Lipschitzian behavior multifunctions. Nonlinear Anal. Theory Methods Appl. 13 (6), 629–643 (1989)
Penot, J.-P.: Subdifferential calculus without qualification assumptions. J. Convex Anal. 3(2), 1–13 (1996)
Penot, J.-P.: Metric estimates for the calculus of multimappings. Set-Valued Anal. 5(4), 291–308 (1997)
Penot, J.-P.: Compactness properties, openness criteria and coderivatives. Set-Valued Anal. 6(4), 363–380 (1998). Preprint 1995
Penot, J.-P.: Well-behavior, well-posedness and nonsmooth analysis. Pliska Stud. Math. Bulgar. 12, 141–190 (1998)
Penot, J.-P.: Cooperative behavior for sets and relations. Math. Methods Oper. Res. 48, 229–246 (1998)
Penot, J.-P.: A fixed point theorem for asymptotically contractive mappings. Proc. Am. Math. Soc. 131(8), 2371–2377 (2003)
Penot, J.-P.: A metric approach to asymptotic analysis. Bull. Sci. Math. 127, 815–833 (2003)
Penot, J.-P.: Softness, sleekness and regularity properties in nonsmooth analysis. Nonlinear Anal. 68(9), 2750–2768 (2008)
Penot, J.-P.: Error bounds, calmness and their applications in nonsmooth analysis. Contemp. Math. 514, 225–247 (2010)
Penot, J.-P.: Calculus Without Derivatives (submitted)
Polovinkin, E.S., Smirnov, G.V.: Differentiation of multivalued mappings and properties of solutions of differential equations. Sov. Math., Dokl. 33, 662–666 (1986)
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis, Springer, Berlin (1998)
Song, W.: Calmness and error bounds for convex constraint systems, SIAM J. Optim. 17, 353–371 (2006)
Vinter, R.B.: Optimal Control. Birkhäuser, Boston (2000)
Wang, B.: The fuzzy intersection rule in variational analysis and applications. J. Math. Anal. Appl. 323, 1365–1372 (2006)
Wu, Z., Ye, J.J.: On error bounds for lower semicontinuous functions. Math. Program. Ser. A 92(2), 301–314 (2002)
Wu, Z., Ye, J.J.: Sufficient conditions for error bounds. SIAM J. Optim. 12(2), 421–435 (2001/2002)
Zhang, R., Treiman, J.: Upper-Lipschitz multifunctions and inverse subdifferentials. Nonlinear Anal. Theory Methods Appl. 24(2), 273–286 (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was partially supported by the National Natural Science Foundation of China (Grant number: 10871216).
Rights and permissions
About this article
Cite this article
Li, S., Penot, JP. & Xue, X. Codifferential Calculus. Set-Valued Anal 19, 505–536 (2011). https://doi.org/10.1007/s11228-010-0171-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11228-010-0171-7