Supnorm estimates for \(\bar{\partial}\) on product domains in \(\mathbb{C}^n\) (Q6640965)

The authors provide a solution operator for \(\overline{\partial}\) on products of planar domains that satisfies sup-norm estimates. The main result of the paper is the following theorem.\N\NTheorem. Let \(D_{1}, \cdots, D_{n} \subset \mathbb{C}\) be open bounded domains with \(C^{1,\alpha}\) boundary, where \(0<\alpha<1\). Consider the product domain \(\Omega = D_{1}\times\cdots\times D_{n}\). Let \(f = f_{1}d\overline{z}_{1}+\cdots+f_{n}d\overline{z}_{n}\) be a \(\overline{\partial}\)-closed \((0,1)\) form on \(\Omega\) with components \(f_{j}\in C^{n-1,\alpha}(\Omega)\). There exists \(Tf\in C^{1,\alpha}(\Omega)\) solving\N\[\N\overline{\partial}Tf = f \;\;in\;\Omega\N\]\Nand satisfying the supnorm estimate\N\[\N|Tf\|_{\infty} \leq C\|f\|_{\infty}\N\]\Nfor a constant \(C\) independent of \(f\).\N\N\(T\) is an integral operator constructed from the well known one-dimensional fundamental solution to \(\overline{\partial}\). Denote by \(T^{k}\), \(1\leq k\leq n\), the slicewise operator\N\[\NT^{k}f(z):= - \frac{1}{2\pi i}\int_{D_{k}}\frac{f(z_{1},\cdots,\zeta_{k},\cdots,z_{n})}{\zeta_{k}-z_{k}}d\overline{\zeta}_{k}\wedge d\zeta_{k}\;.\N\]\NThe operator \(T\) is then defined as follows:\N\[\NTf:= \sum_{s=1}^{n}(-1)^{s-1}\sum_{1\leq i_{1}<\cdots<i_{s}\leq n}T^{i_{1}}\cdots T^{i_{s}}\left(\frac{\partial^{s-1}f_{i_{s}}}{\partial\overline{z}_{i_{1}}\cdots\partial\overline{z}_{i_{s-1}}}\right)\;.\N\]\NThe up to \((n-1)\) derivatives of \(f\) involved in the definition of \(T\) explain the need for the regularity assumptions on \(f\).\N\NThe authors point out that for \(n=2\), this solution operator also occurs in work of \textit{L. Chen} and \textit{J. D. McNeal} [Math. Ann. 376, No. 1--2, 407--430 (2020)]. These authors derived the formula by specializing the Cauchy-Fantappie machinery to product domains in \(\mathbb{C}^{2}\); they were concerned with \(L^{p}\) estimates for \(p<\infty\).