On supnorm estimates for \(\bar \partial\) on infinite type convex domains in \(\mathbb C^{2}\) (Q555687): Difference between revisions

The authors study the \(\bar\partial\) equation on some convex domains of infinite type in \(\mathbb C^2\). They prove that supnorm estimates hold for some infinite exponential type domains, provided the exponent is less than 1. (The reader is informed that it is not known whether 1 is optimal in the considerations.) The authors consider the following example: Let \(\chi :\mathbb R_{+} \cup \{0\} \to \mathbb R_{+}\) be a smooth function such that \(\chi'' (t) \geq 0\) everywhere, \(\chi'' (t) > 0\) for all \(t \in (1, 1 + a)\), and \[ \chi(t) = 1\quad\text{for} \quad t \in [0, 1], \] \[ \chi(t) =1 + \exp\bigg( - \frac{1}{ (t-1)^{\alpha/2 }}\bigg)\quad\text{for} \quad t \in (1, 1 + \varepsilon), \] and \[ \chi(t) = t - \eta\quad \text{for}\quad t \geq 1 + a, \] where \(a >\varepsilon > 0\), \(a > \eta > 0\) are small numbers such that \(\chi',\chi'',\chi''' > 0 \text{ on } \mathbb R_{+} \cup \{0\}.\) The domain \(\Omega\subset \mathbb C^2\) is defined as follows: \[ \Omega=\Big\{(z_1 , z_2 ) \in \mathbb C^2 : \rho(z_1 , z_2 ) = \chi\big(|z_1 |^2 \big) + |z_2 |^2 < 4\Big\}. \] Roughly speaking, this domain is a rounded off ball cut by a cylinder. A similar construction is carried out for the bidisc with its corners rounded off and for some other domains. It is shown that supnorm estimates hold on these domains. The idea is to split the boundary into three parts: one which contains the flat points, one which contains the uniformly convex points, and the third one consists of the convex boundary points near to the flat part. Two different ideas of Henkin are extensively used to obtain the authors results, when dealing with parts one and two of the boundary. The main difficulty is when dealing with the third part. The explicit nature of the examples makes it possible to control some integrals over that part of the boundary. It is interesting whether the result holds for more general infinite-type domains and in dimension greater than \(2\).