Proximal operator of a support function
= Proximal operator of a support function
For a nonempty closed convex set $C$, the <Moreau decomposition> and $\sigma_C^*=\iota_C$ give $\operatorname{prox}_{t\sigma_C}(y)=y-t\Pi_C(y/t)$.
= Proximal operator of a support function
For a nonempty closed convex set $C$, the <Moreau decomposition> and $\sigma_C^*=\iota_C$ give $\operatorname{prox}_{t\sigma_C}(y)=y-t\Pi_C(y/t)$.