A note on simultaneous approximation on Vitushkin sets (Q1979997): Difference between revisions

Let \(K\subseteq\mathbb{C}\) be a Vitushkin set satisfying \(K=\overline{K^{\mathrm o}}\), where \(K^{\mathrm o}\) is the interior of \(K\). Denote by \(C^1(K,\mathbb{C})\) the set of functions \(f\) such that the partial derivatives \(f_x\) and \(f_y\), or equivalently the Wirtinger derivatives \(\bar\partial f\) and \(\partial f\), admit continuous extensions to \(\overline{K^{\mathrm o}}=K\). Let \(C_c^\infty(\mathbb{C})\) be the space of infinitely differentiable functions with compact support in \(\mathbb{C}\). It is proved that for every \(f\in C^1(K,\mathbb{C})\) there exist \(f_n\in C_c^\infty(\mathbb{C})\) such that \(\|f_n-f\|_K\rightarrow0\) and \(\|\bar\partial f_n-\bar\partial_e f\|_K\rightarrow 0\), where \(\partial_e f\) denotes the continuous extension of \(\partial f:=(f_x-if_y)/2\) to \(\overline{K^{\mathrm o}}\). As a consequence, the authors prove the general Gauss integral theorem for functions whose partial derivatives in a planar Jordan domain \(G\) with rectifiable boundary admit continuous extensions to its boundary.