English

Commutativity of integral quasi-arithmetic means on measure spaces

Classical Analysis and ODEs 2017-11-09 v2

Abstract

Let (X,L,λ)(X, \mathscr{L}, \lambda) and (Y,M,μ)(Y, \mathscr{M}, \mu) be finite measure spaces for which there exist ALA \in \mathscr{L} and BMB \in \mathscr{M} with 0<λ(A)<λ(X)0 < \lambda(A) < \lambda(X) and 0<μ(B)<μ(Y)0 < \mu(B) < \mu(Y), and let IRI\subseteq \mathbf{R} be a non-empty interval. We prove that, if ff and gg are continuous bijections IR+I \to \mathbf{R}^+, then the equation f1 ⁣(Xf ⁣(g1 ⁣(Ygh  dμ))dλ) ⁣=g1 ⁣(Yg ⁣(f1 ⁣(Xfh  dλ))dμ) f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;d\mu\right)\right)d \lambda\right)\! = g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;d\lambda\right)\right)d \mu\right) is satisfied by every LM\mathscr{L} \otimes \mathscr{M}-measurable simple function h:X×YIh: X \times Y \to I if and only if f=cgf=c g for some cR+c \in \mathbf{R}^+ (it is easy to see that the equation is well posed). An analogous, but essentially different, result, with ff and gg replaced by continuous injections IRI \to \mathbf R and λ(X)=μ(Y)=1\lambda(X)=\mu(Y)=1, was recently obtained in [Indag. Math. 27 (2016), 945-953].

Keywords

Cite

@article{arxiv.1703.03938,
  title  = {Commutativity of integral quasi-arithmetic means on measure spaces},
  author = {Dorota Głazowska and Paolo Leonetti and Janusz Matkowski and Salvatore Tringali},
  journal= {arXiv preprint arXiv:1703.03938},
  year   = {2017}
}

Comments

5 pages, no figures. To appear in Acta Mathematica Hungarica. The paper is a sequel of arXiv:1503.01139