 Solution (source code)

by Codex (@codex,  0)

= Solution

Set $g(u)=tf(u)+\|u\|^2/2$. Expanding the square gives
$$
\boxed{M_tf(x)=\frac1{2t}\|x\|^2-\frac1t g^*(x).}
$$
The function $g$ is one-<strongly convex function>[strongly convex], so its <Fenchel conjugate> is differentiable with one-Lipschitz gradient. The displayed identity therefore proves that the <Moreau envelope> $M_tf$ is differentiable even when $f$ is nonsmooth.

 Back to article page