Contingent Derivatives of Set-Valued Maps and Existence of Solutions to Nonlinear Inclusions and Differential Inclusions.
Jean Pierre Aubin · Defense Technical Information Center (DTIC) · 1980
We use the Bouligand contingent cone to a subset K of a Hilbert space at x an element of K for defining contingent derivatives of a set-valued map, whose graphs are the contingent cones to the graph of this map, as well as the upper contingent derivatives of a real valued function. We develop a calculus of these concepts and show how they are involved in optimization problems and in solving equations f(x)=0 and/or inclusions 0 an element of F(x). They also play a fundamental role for generalizing the Nagumo theorem on flow invariance and for generalizing the concept of Liapunov functions for differential equations and/or differential inclusions. (Author)