The concept of duality for measure projections of convex bodies (Q924661)

The authors are interested in the study of involutions \({\mathcal T}:S\to S\) that generate a duality transform on the set of functions \(S\) on \({ \mathbb R}^n,\) that is, maps that satisfy the two following properties: {\parindent=5mm \begin{itemize}\item[i)] for any \(f\in S,\) \({\mathcal T}{\mathcal T}f=f;\) \item[ii)] for any two functions in \(S\) satisfying \(f\leq g,\) one has \({\mathcal T}f\geq {\mathcal T}g.\) \end{itemize}} The set \(S\) of functions they consider is the set of \(s\)-concave functions, denoted by \(\text{Conc}_c({ \mathbb R}^n)\) (\(s>0\)), and defined as follows: \(f\in \text{Conc}_c(\mathbb R^n)\) if and only if \(f\) is an upper-semi-continuous, non-negative function on \(\mathbb R^n\) which is \(s\)-concave, namely has convex support which includes \(0,\) and \(f^{1/s}\) is concave on the support. For integer \(s,\) these functions are exactly marginals of convex bodies of dimension \(n+s.\) For technical reason, they study also some variants of this class, \(\text{Conc}_c^+({ \mathbb R}^n)\) and \(\text{Conc}_c^{(0)}({ \mathbb R}^n)\) In their main result (Theorem 1), proved in several steps, the authors provide a characterization of the duality transforms of the set \(\text{Conc}_c({ \mathbb R}^n)\). Indeed, they show that if \({\mathcal T}\) is a duality transform of \(\text{Conc}_c({ \mathbb R}^n)\), then its formula is unique, i.e., there exists a constant \(C_0\in{ \mathbb R},\) and a symmetry \(B\in GL_n\) such that \[ ({\mathcal T })f(x)=C_0\inf_{\{y:f(By)>0\}}{(1-\langle x,y\rangle)^s_+\over f(By)}. \] The proof is performed first in the case of dimension \(n\geq 2,\) then for \(n=1.\) In the last section of the paper they discuss the transformations satisfying the ``concept of duality'' for the class for the class of indicator functions of convex bodies. They state a characterization of duality for the class \({\mathcal K}^n\) of not-necessarily-bounded, closed convex sets, with \(0\) inside the body (possibly at its boundary).