Another fixed point theorem for nonexpansive potential operators
We prove the following result: Let X be a real Hilbert space and let J: X → ℝ be a C¹ functional with a nonexpansive derivative. Then, for each r > 0, the following alternative holds: either J’ has a fixed point with norm less than r, or .