A smoothing property of the Bergman projection (Q453422): Difference between revisions

Let \(\Omega\subset\subset\mathbb C^n\) be a smoothly bounded domain on which the \(\overline{\partial}\)-Neumann operator is compact. It was \textit{J.~J.~Kohn} who showed in [Proc. Symp. Pure Math. 41, 137--145 (1984; Zbl 0535.32010)] that for any \(k\in\mathbb N\) there exists a constant \(C_k>0\) such that \[ \|Bf\|^{}_k\leq C^{}_k\|f\|^{}_k,\quad f\in H^k(\Omega), \] where \(B\) is the Bergman projection, \(\|\cdot\|^{}_k\) is the \(L^2\) Sobolev norm of order \(k\) on \(\Omega\) and \[ H^k(\Omega):=\big\{f\in L^2(\Omega):\|f\|^{}_k<\infty\big\}. \] The authors of the paper under review improve the above result as follows. Let \(\Omega\subset\subset\mathbb C^n\) be a smoothly bounded pseudoconvex domain on which the \(\overline{\partial}\)-Neumann operator is compact, let \(r\) be a smooth defining function for \(\Omega\) and let \[ X:=\sum_{j=1}^nr^{}_{\overline z_j}\frac{\partial}{\partial z_j}-r^{}_{z_j}\frac{\partial}{\partial\overline z_j} \] be the vector field. Let \(X^jf=X(X\dots(Xf)\dots)\) denote the \(j\)-fold differentiation of \(f\) by the vector field \(X\). Then for any \(k\in\mathbb N\) there exists a constant \(C_k>0\) such that \[ \|Bf\|^{}_k\leq C^{}_k\sum_{j=0}^k\|X^jf\| \] holds for any \(f\in L^2(\Omega)\) such that \(X^jf\in L^2(\Omega)\) (in the distributional sense), \(j=1,\dots,k\).