An explicit expression for the remainder in the Pizzetti formula (Q752381)

We denote by \(M(t,x;f)\), \(x=(x_ 1,...,x_ n)\), the mean value of the function f on the sphere \(\Omega_{t,x}\) in the n-dimensional Euclidean space \(E_ n\), of radius t and with center at the point x. We prove the following. Proposition. Assume that in the domain \(G\subset E_ n\) the function \(f\in C_{2\ell +2}\); then for each sphere \(\Omega_{t,x}\), bounding the ball \(K_{t,x}\), situated in G, we have the formula \[ M(t,x;f)= \sum^{\ell}_{v=0} c_{v,n}t^{2v} \Delta^{v}f(x)+ R_{\ell,n}(t,x;f),\;c_{v,n}= \Gamma (n/2)/4^{v}v!\Gamma(v+n/2), \] where \[ R_{\ell,n}(t,x;f)= \int_{K_{t,x}}v_{\ell,n}(t,\tau) \Delta^{\ell +1}f(\xi)d\xi,\;\tau=| \xi -x|,\quad d\xi =d\xi_ 1...d\xi_ n, \] while the ``kernel'' \(v_{\ell,n}(t,\tau)\) has the form \[ v_{\ell,n}(t,\tau)= \frac{(t+\tau)^{n-3}(t-\tau)^{2\ell +1}}{\omega_ n2^{n-3}(2\ell +1)!(t\tau)^{n-2}}\cdot F(\frac{3- n}{2},\;\ell-\frac{n}{2}+2,\;\ell+\frac{3}{2};\;(\frac{t- \tau}{t+\tau})^ 2), \] \(\omega_ n\) being the area of the unit sphere in \(E_ n\).