No label defined (Q4955407)

The journal version has been published in Acta Appl. Math. 60, No. 2, 179-197 (2000). Let \(P\) be an \(n\)-dimensional polytope and for \(d= 0,1,\dots, n\) let \(P(d)\) be the \(d\)-skeleton of \(P\), that is, the union of all faces of \(P\) of dimension at most \(d\). Let \(\mu_d\) denote \(d\)-dimensional measure on \(P(d)\). A continuous real-valued function \(f\) on a domain \(\Omega\) in \(\mathbb{R}^n\) is said to have the \(P(d)\)-mean value property if \[ f(x)= \Biggl(\mu_d (P(d))^{-1} \int_{P(d)} f(x+ry) d\mu_d(y)\Biggr) \] when \(x\in \Omega\) and \(0< r< r_x\), where \(r_x\) satisfies \(\inf \{r_x: x\in K\}> 0\) for each compact subset \(K\) of \(\Omega\). The paper is mainly a survey of recent results about the space \({\mathcal H}_{P(d)} (\Omega)\) of all functions having the \(P(d)\)-mean value property on \(\Omega\). Some striking general properties established by the author [Discrete Comput. Geom. 17, 163-189 (1997; Zbl 0872.39014)] are that \({\mathcal H}_{P(d)} (\Omega)\) is a finite-dimensional vector space of polynomials, that this space is independent of \(\Omega\), and that it has a basis of homogeneous polynomials. In the case where the complete symmetry group of \(P\) acts irreducibly on \(\mathbb{R}^n\), the space \({\mathcal H}_{P(d)} (\Omega)\) consists of harmonic polynomilas. Many more details are given and special cases are discussed. The paper concludes with several open questions. It is unfortunate that numerous typographical errors make parts of the paper unclear. For the entire collection see [Zbl 0933.00034].