On the convergence of the proximal algorithm for nonsmooth functions involving analytic features

We study the convergence of the proximal algorithm applied to nonsmooth functions that satisfy the ?jasiewicz inequality around their generalized critical points. Typical examples of functions complying with these conditions are continuous semialgebraic or subanalytic functions. Following ?jasiewicz’s original idea, we prove that any bounded sequence generated by the proximal algorithm converges to some generalized critical point. We also obtain convergence rate results which are related to the flatness of the function by means of ?jasiewicz exponents. Apart from the sharp and elliptic cases which yield finite or geometric convergence, the decay estimates that are derived are of the type O(k ^?s ), where s ∈ (0, + ∞) depends on the flatness of the function.