Equality and homogeneity of generalized integral means

Abstract

Given two continuous functions $f,g:I\to\mathbb{R}$ such that $g$ is positive and $f/g$ is strictly monotone, a measurable space $(T,A)$, a measurable family of $d$-variable means $m: I^d\times T\to I$, and a probability measure $μ$ on the measurable sets $A$, the $d$-variable mean $M_{f,g,m;μ}:I^d\to I$ is defined by $$ M_{f,g,m;μ}(\pmb{x}) :=\left(\frac{f}{g}\right)^{-1}\left( \frac{\int_T f\big(m(x_1,\dots,x_d,t)\big)\,dμ(t)} {\int_T g\big(m(x_1,\dots,x_d,t)\big)\,dμ(t)}\right) \qquad(\pmb{x}=(x_1,\dots,x_d)\in I^d). $$ The aim of this paper is to solve the equality and homogeneity problems of these means, i.e., to find conditions for the generating functions $(f,g)$ and $(h,k)$, for the family of means $m$, and for the measure $μ$ such that the equality $$ M_{f,g,m;μ}(\pmb{x})=M_{h,k,m;μ}(\pmb{x}) \qquad(\pmb{x}\in I^d) $$ and the homogeneity property $$ M_{f,g,m;μ}(λ\pmb{x})=λM_{f,g,m;μ}(\pmb{x}) \qquad(λ>0,\,\pmb{x},λ\pmb{x}\in I^d), $$ respectively, be satisfied.