\(C^k\)-estimates for the \(\overline\partial_b\)-equation on convex domains of finite type (Q2571464)

Let \(D\) be a bounded convex domain in \(\mathbb C^n\) of finite type \(m\) and with \(\mathcal C^{\infty }\)-smooth boundary. The author uses the definition of the equivalence classes given by \textit{G. M. Henkin} [Usp. Mat. Nauk 32, No.~3(195), 57--118 (1977; Zbl 0358.35057)] and defines the space \(\tilde {\mathcal C^{\alpha }_{(0,q)}}(bD)\) to be the set of equivalence classes \([f]\) such that \(f\in \mathcal C^{\alpha }_{(0,q)}(bD)\) with norm \(\| [f]\| _{bD,\alpha }= \inf \{ \| g\| _{bD,\alpha } \;: \;g\in \mathcal C^{\alpha }_{(0,q)}(bD), \;[g]=[f] \}.\) The main result is the following: let \(q=1, \dots ,n\), then there exist two linear operators \([T_q], [\tilde T_q]: \tilde {\mathcal C^0_{(0,q)}}(bD) \longrightarrow \tilde {\mathcal C^0_{(0,q-1)}}(bD) \) such that the following statements hold. (i) For all \(k\in \mathbb N\) there is a constant \(c_k>0\) such that for all \([f] \in \tilde {\mathcal C^k_{(0,q)}}(bD), \;[T_q][f]\) and \([\tilde T_q][f]\) are in \(\tilde {\mathcal C^{k+1/m}_{(0,q-1)}}(bD)\) and \[ \| [\tilde T_q][f] \| _{bD, k+1/m}+ \| [T_q][f] \| _{bD, k+1/m} \leq c_k \| [f]\| _{bD,k}. \] (ii) For all \([f]\in \tilde {\mathcal C^0_{(0,q)}}(bD)\) such that \(\overline \partial_b [f]\) belongs to \(\tilde {\mathcal C^0_{(0,q+1)}}(bD)\) and with the additional hypothesis when \(q=n-1\) that \(\int_{bD}f\wedge \phi=0 \) for all \(\overline \partial \)-closed forms \(\phi \in \mathcal C^{\infty }_{(n,0)}(bD),\) we have \[ [f]=\overline \partial_b ([T_q]- [\tilde T_q])[f]+ ([T_{q+1}]-[\tilde T_{q+1}])\overline \partial_b [f]. \] In the proof the construction of a support function for convex domains of finite type due to \textit{K. Diederich} and \textit{J. E. Fornæ{ss}} [Math. Z. 230, No.~1, 145--164 (1999; Zbl 1045.32016)] is used.