Subextension and approximation of negative plurisubharmonic functions (Q1001945): Difference between revisions

Let \(\varOmega\Subset\mathbb C^n\) be a hyperconvex domain. Let \(\mathcal E_0(\varOmega):=\{u\in\mathcal{PSH}^-(\varOmega)\cap L^\infty(\varOmega): \forall_{\zeta\in\partial\varOmega}: \lim_{z\to\zeta}u(z)=0,\; \int_{\varOmega}(dd^cu)^n<+\infty\}\), \(\mathcal F(\varOmega):=\{v\in\mathcal{PSH}^-(\varOmega): \exists_{(v_j)_{j=1}^\infty\subset\mathcal E_0(\varOmega)}: v_j\searrow v,\;\sup_{j\in\mathbb N}\int_{\varOmega}(dd^cv_j)^n<+\infty\}\), and let \(\mathcal E(\varOmega):=\{u\in\mathcal{PSH}^-(\varOmega): u\) is locally in \(\mathcal F(\varOmega)\}\). Let \(\mathcal N(\varOmega)\) be the set of all functions \(u\in\mathcal E(\varOmega)\) such that \(\widetilde u=0\), where \(\widetilde u:=(\lim_{j\to+\infty}u^j)^\ast\), \(u^j:=\sup\{\varphi\in\mathcal{PSH}(\varOmega): \varphi\leq u\) on \(\varOmega\setminus\varOmega_j\}\), and \((\varOmega_j)_{j=1}^\infty\) is a sequence of pseudoconvex domains such that \(\varOmega_j\Subset\varOmega_{j+1}\Subset\varOmega\), \(\varOmega=\bigcup_{j=1}^\infty\varOmega_j\). The main result of the paper is the following approximation theorem. Let \(\varOmega\Subset\varOmega_{j+1}\Subset\varOmega_j\) be hyperconvex and there exist \(v\in\mathcal N(\varOmega)\), \(v<0\), \(v_j\in\mathcal N(\varOmega)\) such that \(v_j\longrightarrow v\) a.e.~on \(\varOmega\). Then for every \(u\in\mathcal F(\varOmega)\) there exists an increasing sequence \(u_j\in\mathcal F(\varOmega_j)\) such that \(u_j\longrightarrow u\) a.e.~on \(\varOmega\).