The concept of duality in convex analysis, and the characterization of the Legendre transform (Q2389148)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The concept of duality in convex analysis, and the characterization of the Legendre transform
scientific article

    Statements

    The concept of duality in convex analysis, and the characterization of the Legendre transform (English)
    0 references
    14 July 2009
    0 references
    Let \(Cvx(\mathbb{R}^n)\) be the class of lower semi-continuous convex functions \(\varphi:\mathbb{R}^n\to\overline\mathbb{R}\) (such that the only function attaining the value \(-\infty\) is the constant \(-\infty\) function) and let \({\mathcal L}:Cvx (\mathbb{R}^n)\to Cvx(\mathbb{R}^n)\) be the Young-Fenchel transform according to \[ ({\mathcal L}\varphi)(x)=\sup_y(\langle x,y\rangle-\varphi(y)). \] It is well known that \({\mathcal L}\) is order-reserving (i.e. \(\varphi\leq\psi\) implies \({\mathcal L}\varphi\geq {\mathcal L}\psi)\) and that \({\mathcal L}\) is an involution (i.e. it is \({\mathcal L}{\mathcal L}\varphi=\varphi\) for any \(\varphi\in Cvx(\mathbb{R}^n))\). In the paper, the authors show conversely that any involution \({\mathcal T}:Cvx(\mathbb{R}^n)\to Cvx(\mathbb{R}^n)\) which is order-reversing must be, up to linear terms, the Young-Fenchel transform, i.e. there exist a invertible symmetric linear transformation \(B: \mathbb{R}^n\to\mathbb{R}^n\), a vector \(v_0\in\mathbb{R}^n\) and a constant \(c_0\) such that \[ ({\mathcal T}\varphi)=({\mathcal L}\varphi)(Bx+v_0)+\langle x,y_0 \rangle +c_0. \]
    0 references
    Young-Fenchel transformation
    0 references
    Legendre transformation
    0 references
    convex function
    0 references
    involution
    0 references
    order-reversing transformation
    0 references
    0 references
    0 references

    Identifiers