Positive homogeneous functionals related to \({\mathbf L}^p\)-norms (Q1915599)

The authors prove, i.a., the following theorem: Let \((\Omega,\Sigma,\mu)\) be a measure space with at least two disjoint sets of finite and positive measure. Suppose that \(m,\phi,\psi:(0, \infty)\to (0,\infty)\) are functions such that \(\phi\) and \(\psi\) are bijective, and \(\phi(1)= 1=\psi(1)\). Then \[ \psi\Biggl(\int_{\Omega(X)} \phi\circ| tx| d\mu\Biggr)= m(t)\psi\Biggl(\int_{\Omega(X)} \phi\circ| x| d\mu\Biggr)\tag{\(*\)} \] for all nonnegative simple functions \(x:\Omega\to \mathbb{R}\), \(x\not\equiv 0\) \(\mu\)-a.e., and all \(t>0\), where \(\Omega(x):= \{\omega\in\Omega: x(\omega)\neq 0\}\), if and only if, \(m\), \(\phi\), \(\psi\) are multiplicative and \(\psi= m\circ\phi^{-1}\). If, moreover, arbitrary two functions chosen from the set \(\{m,\phi,\psi\}\) satisfy some modest regularity assumptions then the homogeneity relation \((*)\) holds true if, and only if, \(m\), \(\phi\), and \(\psi\) are the power functions. \(\copyright\) Academic Press.