Holomorphic approximation on compact pseudoconvex complex manifolds (Q1568959)

The purpose of this paper is to get the Mergelyan approximation property on compact pseudoconvex complex manifolds of finite type in the sense of D'Angelo. Let \(\overline{M}\) be a compact pseudoconvex complex manifold with smooth boundary \(bM\) such that \(bM\) is finite type and \(\dim_{\mathbb{C}}M\geq 2\). Let \(m\) be an arbitrary nonnegative integer. Let \(f\) be a function in \(H(M)\cap H_m(M)\), where \(H_m(M)\) is the Sobolev space of order \(m\). Then there exists a sequence of functions \(f_n\) in \(H(\overline{M})\) such that \[ \lim_{n\to\infty}\|f_n-f\|_{m,M}=0 . \] Also, the authors get a holomorphic approximation theorem near a boundary point of finite type. They use the topology given in Sobolev spaces.