Two-radii theorems for solutions of some differential equations (Q2901743)

The present paper is devoted to the generalization and extension of the classical Gauss mean theorem, which gives the connection between the solutions of the Laplace equation \(\Delta f = 0\) and some integral representation of \(f\). The author extends Zalcman's two-radii theorems for the solutions of a partial differential equation of special type. NEWLINENEWLINEGiven a domain \(U\subset {\mathbb R}^n\) and a homogeneous polynomial \(P\) of \(n\) variables with constant coefficients, denote by \(A_r(U)\) the set of all continuous functions defined in \(U,\) satisfying the equality \(\int\limits_{S(r)}f(x+\sigma)P(\sigma)\,d\omega(\sigma)=0\) and such that the sphere \(S(r)=\{x\in {\mathbb R}^n: | x| =r\}\) belongs to the set \(U-x=\{y\in {\mathbb R}^n: y+x\in U\}\). Let \(J_{\nu}\) be the Bessel function of the first type of the order \(\nu,\) set \(\Lambda_{n, k}=\left\{\frac{\alpha}{\beta}: J_{n/2+k-1}(\beta)=0,\quad\alpha,\beta>0\right\}\). The author's main result consists in the following. NEWLINENEWLINESuppose that a pair \(r_1, r_2\) such that \(\frac{r_1}{r_2}\not\in \Lambda_{n,k},\) \(f_1\in A_{r_1}({\mathbb R}^n),\) \(f_2\in A_{r_2}({\mathbb R}^n)\) and there exists a sequence of positive numbers \(\{M_q\}_{1}^{\infty}\) such that \(\sum\limits_{m=1}^{\infty}\left(\inf\limits_{q\geq m}M_q^{1/q}\right)^{-1}=+\infty\). Next, suppose that \(\int\limits_{{\mathbb R}^{n-1}}| f_1(x)-f_2(x)| (1+| x_1| +\ldots+| x_{n-1}| )^q\,dx_1\ldots dx_{n-1}\leq M_q\exp\{\gamma x_n\}\) for some \(\gamma>0,\) every \(q\in {\mathbb N}\) and all \(x_n\in {\mathbb R}\). Then \(P\left(\frac{\partial}{\partial x_1},\ldots, \frac{\partial}{\partial x_n}\right)f_1=P\left(\frac{\partial}{\partial x_1},\ldots, \frac{\partial}{\partial x_n}\right)f_2=0\) in the sense of distributions. The exactness of the above conditions and some useful consequences from the above main result are also obtained in the work.