
Summary: We consider the Lezanski-Polyak-Lojasiewicz inequality for a real-analytic function on a real-analytic compact manifold without boundary in finite-dimensional Euclidean space. This inequality emerged in 1963 independently in works of three authors: Lezanski and Lojasiewicz from Poland and Polyak from the USSR. The inequality is appeared to be a very useful tool in the convergence analysis of the gradient methods, firstly in unconstrained optimization and during the past few decades in problems of constrained optimization. Basically, it is applied for a smooth in a certain sense function on a smooth in a certain sense manifold. We propose the derivation of the inequality from the error bound condition of the power type on a compact real-analytic manifold. As an application, we prove the convergence of the gradient projection algorithm of a real analytic function on a real analytic compact manifold without boundary. Unlike known results, our proof gives explicit dependence of the error via parameters of the problem: the power in the error bound condition and the constant of proximal smoothness first of all. Here we significantly use a technical fact that a smooth compact manifold without boundary is a proximally smooth set.
Real-analytic manifolds, real-analytic spaces, Numerical mathematical programming methods, real-analytic function, gradient projection algorithm, error bound condition, QA1-939, proximal smoothness, Lezanski-Polyak-Lojasiewicz inequality, Mathematics, lezanski – polyak – lojasiewicz inequality, Real-analytic functions
Real-analytic manifolds, real-analytic spaces, Numerical mathematical programming methods, real-analytic function, gradient projection algorithm, error bound condition, QA1-939, proximal smoothness, Lezanski-Polyak-Lojasiewicz inequality, Mathematics, lezanski – polyak – lojasiewicz inequality, Real-analytic functions
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
