Stability of Hölder estimates for on pseudoconvex domains of finite type in ℂ² (Q4386133)

On a smoothly bounded pseudoconvex domain \(\Omega\) in \({\mathbb{C}}^2\) of finite type \(m\), by constructing integral kernel, \textit{R. M. Range} [Math. Ann. 288, No.~1, 63-74 (1990; Zbl 0723.32010)], established the following Hölder estimate: For each \(\overline\partial\)-closed form \(f\in C^1_{(0,1)}(\overline \Omega)\), for each \(\eta>0\) there is a solution \(u^{(\eta)}\) of \(\overline\partial u=f\) on \(\Omega\) which satisfies \[ |u^{(\eta)}(z)-u^{(\eta)}(w)|\leq C_\eta\|f\|_{L^\infty}|z-w|^{{1/m} -\eta}, \] for \(z,w\in\Omega\). The constant \(C_\eta\) is independent of \(f\). In this paper the authors define a smooth bumping family of \(\Omega\) in the following way: (1) \(\Omega_0=\Omega\); (2) \(\Omega_{t_1}\subset\subset\Omega_{t_2}\) if \(t_1<t_2\); (3) \(\{b\Omega_t\}_{0\leq t\leq 1}\) is a \(C^\infty\) family of real hypersurfaces in \({\mathbb{C}}^n\); (4) the boundary defining functions \(r_t\) of \(\Omega_t\) varies smoothly with respect to \(t\) and \(r_t\rightarrow r\) as \(t\rightarrow 0\) in the \(C^\infty\) topology. By checking the effect of the parameter \(t\) in Range's construction carefully, they prove the main theorem in this paper : Let \(\Omega\) be a smoothly bounded pseudoconvex domain in \({\mathbb{C}}^2\) of finite type \(m\), and let \(\{\Omega_t\}_{0\leq t\leq 1}\) be a smooth bumping family of \(\Omega\). Then there is \(t_\Omega>0\), depending only on \(\Omega\), such that for each \(\eta>0\) and \(t<t_\Omega\), and for each \(\overline\partial\)-closed function \(f_t\in C^1_{(0,1)}(\overline \Omega_t)\), there is a solution \(u_t^{(\eta)}\) of \(\overline\partial u=f_t\) on \(\Omega_t\) which satisfies \[ |u_t^{(\eta)}(z)-u_t^{(\eta)}(w)|\leq C_\eta\|f_t\|_{L^\infty}|z-w|^{{1/m} -\eta}, \] for \(z,w\in\Omega_t\). The constant \(C_\eta\) is independent of \(f\) and \(t\). As an application of the main theorem, they prove the Mergelyan property on \(\Omega\). That is: On a smoothly bounded pseudoconvex domain \(\Omega\) in \({\mathbb{C}}^2\) of finite type \(m\), for each \(f\in H(\Omega)\cap C^{\alpha'}(\overline\Omega)\), \(0\leq \alpha'\leq {1/m}\) and for each \(\alpha<\alpha^\prime\), there is a sequence \(\{g_n\}\subset H(\overline\Omega)\) such that \(\lim_{n\rightarrow \infty} \|g_n-f\|_{C^\alpha(\overline\Omega)}=0\).