A characterization of the existence of zeros for operators with Lipschitzian derivative and closed range

Abstract

Let $H$ be a real Hilbert space and $Φ:H\to H$ be a $C^1$ operator with Lipschitzian derivative and closed range. We prove that $Φ^{-1}(0)\neq \emptyset$ if and only if, for each $ε>0$, there exist a convex set $X\subset H$ and a convex function $ψ:X\to {\bf R}$ such that $\sup_{x\in X}(\|x\|^2+ψ(x))-\inf_{x\in X}\|x\|^2+ψ(x))<ε$ and $0\in \overline{conv}(Φ(X))$.