Qualification conditions for calculus rules of coderivatives of multivalued mappings (Q1380310)

This paper is a continuation of the paper by the same authors [``Chain rules for coderivatives of multivalued mappings in Banach spaces'', to appear in Proc. Am. Math.] in some sense. The concept of derivatives (associated to tangent cones) for non-smooth and nonconvex multivalued mappings has been introduced by \textit{J. P. Aubin} [Adv. Math., Suppl. Stud. 7A, 159-229 (1981; Zbl 0484.47034)] and by \textit{B. S. Mordukhovich} [Soviet Math. Dokl. 22, 526-530 (1980; Zbl 0491.49011)]. That paper established in the finite-dimensional setting several calculus rules for coderivatives of sums and compositions of multivalued mappings. The authors of this paper show that the method of their previous paper works also for limiting Fréchet coderivatives and produces new verifiable qualification conditions for the study of calculus rules of coderivatives of multivalued mappings. A typical theorem of this paper is the following: Let \(D^*\) denote the approximate coderivative if the spaces \(X\), \(Y\), and \(Z\) are arbitrary Banach spaces (resp. the limiting Fréchet coderivative if \(X\), \(Y\), and \(Z\) are Asplund space). Let \(G: X\rightrightarrows Y\) and \(F: Y\rightrightarrows Z\) be two multivalued mappings with closed graphs and let \(\overline y\in G(\overline x)\cap F^{-1}(\overline z)\). Assume that \[ [y^*\in D^*F(\overline y,\overline z)(0)\quad\text{and} \quad 0\in D^*G(\overline x,\overline y)(y^*)]\Rightarrow y^*= 0 \] and that \(G\) is \(\partial_A\)-coderivatively (resp. sequentially \(\widehat\partial_{Fre}\) coderivatively) compact at \((\overline x,\overline y)\) or \(F^{-1}\) is \(\partial_A\)-coderivatively (resp. sequentially \(\widehat\partial_{Fre}\)-coderivatively) compact at \((\overline z,\overline y)\). Then there exists \(a>0\) such that for all \((x,y,z)\) near \((\overline x,\overline y,\overline z)\), \[ d(x,y,z;\text{Gr }G\times Z\cap X\times\text{Gr }F)\leq a[d(x,y; \text{Gr }G)+ d(y,z;\text{Gr }F)]. \] {}.