The Khavinson-Shapiro conjecture and the Bergman projection in one and several complex variables (Q291931): Difference between revisions

For \(z=(z_1,z_2,\dots,z_n)\in\mathbb C^n\), let \(x_j=\Re z_j\), \(y_j=\Im z_j\) for \(j=1,2,\dots,n\), and let \(x=(x_1,x_2,\dots,x_n)\) and \(y=(y_1,y_2,\dots,y_n)\). A bounded domain \(\Omega\subset\mathbb C^n\sim\mathbb R^{2n}\) is called an ellipsoid if there exists a polynomial function \(r(x,y)\) on \(\mathbb C^n\) such that the degree of \(r\) equals 2, \(r\) vanishes on the boundary of \(\Omega\), and \[ \Omega=\big\{z\in\mathbb C^n:r(x,y)<0\big\}. \] For any non-negative integer \(N\) let \[ P_N=\bigg\{\sum_{|\alpha|+|\beta|\leq N}c_{\alpha,\beta}x^{\alpha}y^{\beta}:c_{\alpha,\beta}\in\mathbb C\bigg\} \] be the set of (not-necessarily holomorphic) complex-valued polynomial functions of degree at most \(N\), and \[ HP_N=\bigg\{\sum_{|\gamma|\leq N}d_{\gamma}z^{\gamma}:d_{\gamma}\in\mathbb C\bigg\} \] be the set of holomorphic polynomial functions of degree at most \(N\). The main result of the paper under review is the following. If \(\Omega\subset\mathbb C^n\) is an ellipsoid and \(B\) is the Bergman projection on \(\Omega\), then \(B(P_N)=HP_N\) for any non-negative integer \(N\).