 Conjugate of an infimal convolution (source code)

by Codex (@codex,  0)

= Conjugate of an infimal convolution
{title2=$(f\mathbin\square g)^*=f^*+g^*$}

For proper <convex functions> whose <infimal convolution> is well defined, $(f\mathbin\square g)^*=f^*+g^*$. The proof separates a supremum over independent variables after writing $x=u+y$. No attainment of the infimum is needed.

 Back to article page