Regularity of a \(\overline{\partial}\)-solution operator for strongly \(\mathbf{C}\)-linearly convex domains with minimal smoothness (Q2050523)

The authors prove a gain of 1/2 a derivative for a solution operator to the \(\bar{\partial}\)-problem on strongly \(C\)-linearly convex domains with \(C^{1,1}\) boundary (domains for which there exists a defining function which is \(C^1\) and whose derivatives are Lipschitz continuous). A strongly \(C\)-linearly convex domain, \(D\), is defined by the condition \[ |r_{\zeta} \cdot (\zeta - z)| \ge c|\zeta - z|^2 \qquad z \in D,\ \zeta \in \partial D, \] where \(r\) is a \(C^1\) defining function for the domain, and where the positive constant, \(c\), may depend on \(r\). The establishment of a gain of 1/2 a derivative for solutions to the \(\bar{\partial}\)-problem have a long history; see, for example, the references in the article under review. The main results (Theorem 1.2) of the article are homotopy formulas (based on Cauchy-Leray-Koppelman kernels and established with weaker assumptions) and estimates of the involved operators for strongly \(C\)-linearly convex domains with \(C^{1,1}\) boundary: \begin{align*} & \varphi = \bar{\partial} H_q \varphi + H_{q+1} \bar{\partial} \varphi \qquad q=1,\ldots,n-1, \\ & \varphi = H_0 \varphi + H_{1} \bar{\partial} \varphi \qquad q=0 \end{align*} for \((0,q)\)-forms \(\varphi\), such that \(\varphi\) and \(\bar{\partial}\varphi\) are \(C^1\) up to the boundary. The operators \(H_q\) satisfy the estimates \begin{align*} & |H_q \varphi|_{\Lambda^{a+1/2}(\overline{D})} \lesssim |\varphi|_{\Lambda^{a}(\overline{D})}\\ & |H_0 \varphi|_{\Lambda^{a}(\overline{D})} \lesssim |\varphi|_{\Lambda^{a}(\overline{D})}, \end{align*} for \(a>1\), where \(\Lambda^{\beta}\) are Hölder spaces or, in the case of integer \(\beta\), Zygmund spaces. The result can be viewed as an extension of the result of the first author [Math. Ann. 374, No. 1--2, 841--880 (2019; Zbl 1432.32049)] in which a gain of 1/2 a derivative is established for strictly pseudoconvex domains with \(C^2\) boundary (indeed the proofs of those results are employed in the establishment of the above homotopy formulas). Note that strongly \(C\)-linearly convex domains with \(C^2\) boundary are strictly pseudoconvex [the second author and \textit{E. M. Stein}, Bull. Math. Sci. 3, No. 2, 241--285 (2013; Zbl 1277.32002)], hence the results in this paper are obtained under a relaxtion of the boundary regularity assumptions (while, at the same time, under a strengthening of the convexivity assumption).