Homogeneous mean values: weights and asymptotics (Q1820257)

The authors prove the following. Let M be a reflexive \((M(\lambda,...,\lambda)=\lambda)\) homogeneous mean (presumably on the Cartesian power of a real interval going to \(\infty)\), with continuous second derivatives in each variable in a neighborhood of (1,...,1) and \(q_ k=(\partial M/\partial x_ k)(1,...,1)\quad (k=1,...,n).\) Then \[ M(a_ 1+x,...,a_ n+x)=x+\sum^{n}_{k=1}q_ ka_ k+0(1/x)\quad as\quad x\to \infty. \] (For the history of the problem see the preceding review.) Several means satisfying these conditions (and one which does not) are enumerated. One of them, the hypergeometric mean [\textit{B. C. Carlson}, Proc. Am. Math. Soc. 16, 759-766 (1965; Zbl 0137.268)] is further investigated for infinite sequences.