English

On order preserving and order reversing mappings defined on cones of convex functions

Functional Analysis 2020-06-02 v4

Abstract

In this paper, we first show that for a Banach space XX there is a fully order reversing mapping TT from conv(X){\rm conv}(X) (the cone of all extended real-valued lower semicontinuous proper convex functions defined on XX) onto itself if and only if XX is reflexive and linearly isomorphic to its dual XX^*. Then we further prove the following generalized ``Artstein-Avidan-Milman'' representation theorem: For every fully order reversing mapping T:conv(X)conv(X)T:{\rm conv}(X)\rightarrow {\rm conv}(X) there exist a linear isomorphism U:XXU:X\rightarrow X^*, x0,  φ0Xx_0^*, \;\varphi_0\in X^*, α>0\alpha>0 and r0Rr_0\in\mathbb R so that \begin{equation}\nonumber (Tf)(x)=\alpha(\mathcal Ff)(Ux+x^*_0)+\langle\varphi_0,x\rangle+r_0,\;\;\forall x\in X, \end{equation} where F:conv(X)conv(X)\mathcal F: {\rm conv}(X)\rightarrow {\rm conv}(X^*) is the Fenchel transform. Hence, these resolve two open questions. We also show several representation theorems of fully order preserving mappings defined on certain cones of convex functions. For example, for every fully order preserving mapping S:semn(X)semn(X)S:{\rm semn}(X)\rightarrow {\rm semn}(X) there is a linear isomorphism U:XXU:X\rightarrow X so that \begin{equation}\nonumber (Sf)(x)=f(Ux),\;\;\forall f\in{\rm semn}(X),\;x\in X, \end{equation} where semn(X){\rm semn}(X) is the cone of all lower semicontinuous seminorms on XX.

Keywords

Cite

@article{arxiv.1708.06548,
  title  = {On order preserving and order reversing mappings defined on cones of convex functions},
  author = {Lixin Cheng and Sijie Luo},
  journal= {arXiv preprint arXiv:1708.06548},
  year   = {2020}
}