An invariant mean value property in the polydisc (Q1129756)

This paper describes the relation between the invariant volume mean value property and \(n\)-harmonicity in the polydisc \(D^n\) by showing that: Let \(m\) be the normalized Lebesgue measure in the unit disc \(D\). If \(f\in L^p(D^n, m\times \dots\times m)\) satisfies \[ \int_D\dots \int_D f(\psi(z_1,\dots, z_n)) dm(z_1)\cdots dm(z_n)= f(\psi(0,\dots, 0)), \] for every \(\psi\in \Aut(D^n)\) then (i) When \(p=\infty\): for every \(n\geq 2\), \(f\) is \(n\)-harmonic., i.e. \(\Delta_1f=\cdots= \Delta_nf=0\). (ii) When \(1\leq p<\infty\): for any \(n\geq 2\), there are uncountably many non-harmonic \(f\)'s which satisfy the above equation.