Analog of the mean-value theorem for polynomials of special form (Q765546)

The author proves a mean-value theorem for polyanalytic polynomials of a special form. The mean-value formula contains the values of a function at the vertices of a regular \(n\)-gon and the values of a certain differential operator of the function at the center of the \textit{n}-gon. Let \(s,h\in{\mathbb Z}\), \(n,m \in {\mathbb N}\), \(n\geq 3\), \(0\leq h<n-s\), \(0\leq s \leq m-1\) and \(q= \min \{h+s,m-1\}\). Let \(B_{\mathcal R}\) be the disk of radius \({\mathcal R}\) in \({\mathbb C}\) centered at 0. Denote by \(\zeta_\nu = R e^{i\frac {2\pi\nu}{n}}\), \(\nu = 1,\dots ,n\), the vertices of each regular \(n\)-gon for which the circumscribed and the inscribed circles have the radius \({R}\) and \(r\), respectively, where \({\mathcal R}_{*}(n,R,r)=\sqrt{5R^2+4rR}\), \(n\) is odd and \({\mathcal R}_{*}(n,R,r)=\sqrt{8R^2+R^4/r^2}\), \(n\) is even. The main result is as follows: Suppose that \({\mathcal R}>\frac{1}{2}{\mathcal R}_{*}(n,R,r)\) and the function \(f\in C^{q}(B_{\mathcal R})\). The following statements are equivalent: (i) for all \(0\leq\alpha\leq 2\pi\), \(z+\zeta_\nu e^{i\alpha}\in B_{\mathcal R}\) and \(\nu\in \{1,\dots ,n\}\), one has \[ \sum^n_{\nu=1}(\zeta_\nu e^{i\alpha})^s f(\zeta_\nu e^{i\alpha}+z)=\sum^q_{p=s}\frac{nR^{2p}}{(p-s)!p!}\Big(\frac{\partial}{\partial z}\Big)^{p-s}\Big(\frac{\partial}{\partial\bar z}\Big)^p f(z); \] (ii) The function \(f\) has the form \(f(z)=\sum^h_{k=0}\sum^{m-1}_{l=0}c_{k,l} z^k {\bar{z}}^l\), where \(c_{k,l}\) are constants.