Block mixed norm ($\Vert v{\Vert }_{q,1}={\sum }_i({\sum }_r|v_i^r{|}^q{)}^{1/q}$)

The block mixed norm sums the ${\ell }^q$ norm of each block, for $q\ge 1$. Its dual norm is $\Vert p{\Vert }_{q^{\prime },\infty }={\max }_i\Vert p_i{\Vert }_{q^{\prime }}$, where $q^{\prime }=q/(q-1)$ for $q>1$ and $q^{\prime }=\infty$ for $q=1$. Apply Holder inequality blockwise and choose a norming block to attain equality. Absolute values are essential for signed components.

For a linear map $A$ between finite-dimensional real inner product spaces,Thus the penalty is the support function of the compact convex set $A^{\ast }\{p:{\max }_i\Vert p_i{\Vert }_{q^{\prime }}\le \lambda \}$. The Moreau decomposition makes its proximal operator the identity minus the Euclidean projection onto a convex set.