Abstract: In this work, a convergence lemma for function $f$ being finite compositions of analytic mappings and the maximum operator is proved. The lemma shows that the set of $\delta$-stationary points near an isolated local minimum point $x^*$ is shrinking to $x^*$ as $\delta\to 0$. It is a natural extension of the version for strongly convex $C^1$ functions. However, the correctness of the lemma is subtle. Analytic mappings are necessary for the lemma in the sense that replacing it with differentiable or $C^\infty$ mappings makes the lemma false. The proof is based on stratification theorems of semi-analytic sets by {\L}ojasiewicz. An extension of this proof presents a geometric characterization of the set of stationary points of $f$. Finally, a notion of stability on stationary points, called convergence stability, is proposed. It asks, under small numerical errors, whether a reasonable convergent optimization method started near a stationary point should eventually converge to the same stationary point. The concept of convergence stability becomes nontrivial qualitatively only when the objective function is both nonsmooth and nonconvex. Via the convergence lemma, an intuitive equivalent condition for convergence stability of $f$ is proved. These results together provide a new geometric perspective to study the problem of "where-to-converge" in nonsmooth nonconvex optimization.

Hausdorff continuity of solution maps to equilibrium problems via the oriented distance function

Semi-continuity of the solution maps of set-valued equilibrium problems with equilibrium constraints

Equilibrium Problems on Riemannian Manifolds with Applications

On the existence and Lipschitz-like property of the solution map to parametric equilibrium problems governed by trifunction with applications

A Strong Convergence Theorem for Solutions of Equilibrium Problems and Asymptotically Quasi-Φ-nonexpansive Mappings in the Intermediate Sense

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

Continuity of extensions of Lipschitz maps and of monotone maps

Monotone and Pseudo-Monotone Equilibrium Problems in Hadamard Spaces

Set Valued Equilibrium Problems Without Linear Structure

Continuity properties of the data-to-solution map and ill-posedness for a two-component Fornberg-Whitham system

Continuity of the solution map of some active scalar equations in Hölder and Zygmund spaces

On the Viability and Invariance of Proper Sets under Continuity Inclusions in Wasserstein Spaces

On the Convergence of Continuous and Discrete Unbalanced Optimal Transport Models for 1-Wasserstein Distance

Continuity of Optimal Solution Functions and their Conditions on Objective Functions

Vector Equilibrium Problems—A Unified Approach and Applications

Differential Stability Properties of Convex Optimization and Optimal Control Problems

On the Well-posedness of Hamilton-Jacobi-Bellman Equations of the Equilibrium Type

On Convergence of Solutions to Equilibria for Fully Nonlinear Parabolic Systems with Nonlinear Boundary Conditions

On Convergence Lemma and Convergence Stability for Piecewise Analytic Functions