From the Ingham-Jessen property to mixed-mean inequalities (Q2660457)

In this paper, the authors use the Ingham-Jessen pair of symmetric and repetition invariant means on an interval I to prove that if the sequences \(\Big(\mathcal D_{F_i}\Big)^k_{i=1}, \Big(\mathcal D_{G_j}\Big)^m_{j=1}\) are \(\mathbb{R}\)-conjugated, then the inequality \(\mathcal N(M)_{F_1}(x), \dots, \mathcal N(M)_{F_k}(x) \leq \mathcal M(N)_{G_1}(x), \dots, \mathcal N(M)_{G_k}(x) ~ \mbox{for}~ x \in I^n\) is valid for every \(n\)-tuple \(x \in I^n,\) where \(k,m,n \in \mathbb{N}\), \(F_i ,G_j:\mathbb{N}_n \to \mathbb{N}_0\) for \(i\in \mathbb{N}_k\), \(j\in \mathbb{N}_m. \)