No label defined (Q4245047)

Consider a differential operator \(\mu\overline \partial= \overline\partial -\mu_j^k d\overline z^j\otimes {\partial\over \partial z^k}\) on smooth functions in \(\mathbb{C}^n\). \(\mu_j^k\) are supposed to be smooth and satisfy the following conditions: \[ \overline\partial \mu-\mu_j^l d\overline z^j \wedge \partial_l \mu=0,\quad \text{where} \quad\mu= \mu_j^kd \overline z^j \otimes {\partial\over \partial z^k}; \tag{1} \] \[ \det(I-\overline MM)>0, \quad \text{where} \quad M=(\mu_j^k). \tag{2} \] A complex valued function \(f\) is called \(\mu\)-holomorphic if \(\mu\overline\partial f=0\). A map \(F:D_1\to D_2\) between two domains in \(\mathbb{C}^n\) is \(\mu\)-holomorphic if all its components are \(\mu\)-holomorphic. The author proves the following Theorem. Let \(f:D_1\to D_2\) be a \(\mu\)-holomorphic, proper map between smooth, bounded, pseudoconvex domains in \(\mathbb{C}^n\) and \(D_1\) satisfies some additional convexity condition. Suppose additionally that \(f\) satisfies the following finite growth condition: for every multi-index \(\alpha\) holds \(|D^\alpha f(w)|\leq cd(f(w),\partial D_2)^{-k}\) with \(k\) and \(c\) depending on \(\alpha\). Then \(f\) extends smoothly to \(\partial D_1\setminus\{z:\det(f'(z)) =0\}\).