\(L^{2}\)-approximation of differential forms by \(\bar {\partial}\)-closed ones on smooth hypersurfaces (Q2275500)

Let \(\Omega\) be a domain in \(\mathbb{C}^n\) and \(E\) a closed subset of \(\Omega\). In this paper, the authors study approximation on \(E\) of forms with continuous coefficients by smooth \(\bar\partial\)-closed forms on \(\Omega\). Denote by \(\mathcal{C}_{(0,q)}(\Omega)\) (resp. \(L^2_{(0,q)}(\Omega)\), \(\mathcal{C}^\infty_{(0,q)}(\Omega)\)) the set of \((0,q)\)-forms on \(\Omega\) with continuous (resp. square integrable, smooth) coefficients. Let \(E\) be a smooth real hypersurface in \(\Omega\). The paper is concerned with sufficient conditions on \(E\) and \(\Omega\) such that for every \(u=\sum_{|j|=q}'u_j\,d\bar{z}_j\in\mathcal{C}_{(0,q)}(\Omega)\), every compact \(K\subset E\), and \(\varepsilon>0\), there exists a \(\bar\partial\)-closed form \(\nu=\sum_{|j|=q}'\nu_j\,d\bar{z}_j\in\mathcal{C}_{(0,q)}^\infty(\Omega)\), such that \[ \int\limits_K|u-\nu|^2\,d\lambda_E:={\sum\limits_{|j|=q}}' \int\limits_K|u_j-\nu_j|^2\,d\lambda_E<\varepsilon\,, \] where \(d\lambda_E\) is the surface measure on \(E\). The main result of the paper is the following theorem (Theorem 3.2): Let \(\Omega\) be a \(q\)-convex domain in \(\mathbb{C}^n\) and let \(\varphi\) be a smooth strictly \(q\)-subharmonic function. Let \(\Omega'\subset\Omega\) be an open subset. Suppose that there exists \(t_0\in\mathbb{R}\) satisfying the following conditions: {(i)} \((s,t_0)\subset\varphi(\Omega)\), where \(s:=\inf_\Omega\varphi\); {(ii)} \(d\varphi\neq 0\) on the open set \(\{s<\varphi<t_0\}\); {(iii)} \(\sup_{s<x<t_0}\int_{\Omega'\cap\{\varphi=x\}}d\lambda_{E_x}<\infty\), where \(d\lambda_{E_x}\) is the surface measure of \(E_x:=\{z:\varphi(z)=x\}\); {(iv)} \(\Omega'\cap\{\varphi<t_0\}\) is relatively compact in \(\Omega\). Then there exists a sequence \(\{x_k\}\downarrow s\) such that for every form \(u\in\mathcal{C}_{(0,q-1)}(\Omega)\), \(k_0\geq0\) and \(\varepsilon>0\), there exist \(k\geq k_0\) and a \(\bar\partial\)-closed form \(u_k\in CL^2_{(0,q-1)}(\Omega)\) with smooth coefficients satisfying \[ \int\limits_{E_{x_k}\cap\Omega'}|u-u_k|^2\,d\lambda_{E_{x_k}}<\varepsilon\,. \]