 Moreau's theorem

In mathematics, Moreau's theorem is a result in convex analysis.It shows that sufficiently well-behaved convex functionals on Hilbert spaces are differentiable and the derivative is well-approximated by the so-called Yosida approximation, which is defined in terms of the resolvent operator.