We establish the following result: if the graph of a (nonsmooth) real-extended-valued function f : R n → R ∪ {+∞} is closed and admits a Whitney stratification, then the norm of the gradient of f at x ∈ dom f relative to the stratum containing x bounds from below all norms of Clarke subgradients of f at x. As a consequence, we obtain some Morse-Sard type theorems as well as a nonsmooth Kurdyka-Lojasiewicz inequality for functions definable in an arbitrary o-minimal structure.
Abstract. The classical Lojasiewicz inequality and its extensions for partial differential equation problems (Simon) and to o-minimal structures (Kurdyka) have a considerable impact on the analysis of gradient-like methods and related problems: minimization methods, complexity theory, asymptotic analysis of dissipative partial differential equations, and tame geometry. This paper provides alternative characterizations of this type of inequality for nonsmooth lower semicontinuous functions defined on a metric or a real Hilbert space. In the framework of metric spaces, we show that a generalized form of the Lojasiewicz inequality (hereby called the Kurdyka-Lojasiewicz inequality) is related to metric regularity and to the Lipschitz continuity of the sublevel mapping, yielding applications to discrete methods (strong convergence of the proximal algorithm). In a Hilbert setting we further establish that asymptotic properties of the semiflow generated by −∂f are strongly linked to this inequality. This is done by introducing the notion of a piecewise subgradient curve: such curves have uniformly bounded lengths if and only if the KurdykaLojasiewicz inequality is satisfied. Further characterizations in terms of talweg lines -a concept linked to the location of the less steepest points at the level sets of f -and integrability conditions are given. In the convex case these results are significantly reinforced, allowing us in particular to establish a kind of asymptotic equivalence for discrete gradient methods and continuous gradient curves. On the other hand, a counterexample of a convex C 2 function in R 2 is constructed to illustrate the fact that, contrary to our intuition, and unless a specific growth condition is satisfied, convex functions may fail to fulfill the Kurdyka-Lojasiewicz inequality.
International audienceIn this note, we prove the equivalence, under appropriate conditions, between several dynamical formalisms: projected dynamical systems, two types of differential inclusions, and a class of complementarity dynamical systems. Each of these dynamical systems can also be considered as a hybrid dynamical system. This work both generalizes previous results and sheds some new light on the relationship between known formalisms; besides, it exclusively uses tools from convex analysis
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.