Growth conditions on a function and the error bound condition (Q2037710)

Let \(f\) be a real-valued function defined on a neighborhood of a smooth manifold \(Q\) with boundary, \(f_{\ast }:=\inf_{x\in Q}\), and assume that \(\Omega:=f^{-1}\left( f_{\ast }\right) \) is nonempty and \(L:=\sup_{x\in Q}\left\Vert f^{\prime }\left( x\right) \right\Vert \) is finite. Denote the Fréchet gradient of \(f\) by \(f^{\prime }\), the tangent space of \(Q\) at \(x\in Q\) by \(T_{x}\), the metric projection mapping onto \(T_{x}\) by \(P_{T_{x}}\), and let \(\rho _{\Omega }\left( x\right) :=\inf_{a\in \Omega }\left\Vert x-a\right\Vert\). The authors prove that, if \(Q\) is proximally smooth with constant \(R\) and \(f\) is weakly convex with constant \(\beta >0\) (that is, if \(f+\frac{\beta }{2}\left\Vert \cdot \right\Vert ^{2}\) is convex), then the quadratic growth condition \[ \exists \alpha >0\text{ such that }\frac{\alpha }{2}\rho _{\Omega }^{2}\left( x\right) \leq f\left( x\right) -f_{\ast }\text{ }\forall x\in Q\cap f^{-1}\left( \left] -\infty ,\tau \right] \right) \] implies the error bound condition \[ \exists \nu >0\text{ such that }\nu \rho _{\Omega }\left( x\right) \leq \left\Vert P_{T_{x}}f^{\prime }\left( x\right) \right\Vert \text{ }\forall x\in Q\cap f^{-1}\left( \left] -\infty ,\tau \right] \right) \text{,} \] with \(\nu :=\frac{\alpha -\beta }{2}-\frac{L}{R}\) (assuming that \(\nu >0\)). In the case when \(Q\) is the solution set of a system of equations, they give sufficient conditions of a different nature for an error bound of a different type to hold.