A theorem on the approximation of plurisubharmonic functions in Lelong classes (Q2017801)

The main result is the following theorem. Let \(u\) be a function of the Lelong class, i.e., \(u\) is a plurisubharmonic function on \(\mathbb C^n\) such that \(\sup_{z\in\mathbb C^n}(u(z)-\log(1+|z|))<+\infty\). Moreover, let \(K\subset\mathbb C^n\) be at most countable. Then there exist a sequence \(\{\varphi_m\}_{m=1}^\infty\) of polynomials and a sequence \(\{d_m\}_{m=1}^\infty\) of positive integers with \(\text{deg}\varphi_m\leq d_m\) such that if \(\widetilde\varphi_m:=(1/d_m)\log|\varphi_m|\), then: {\parindent=6mm \begin{itemize} \item[(a)] \(\widetilde\varphi_m\longrightarrow u\) in \(L^1_{\text{loc}}(\mathbb C^n)\); \item [(b)] \(\widetilde\varphi_m\longrightarrow u\) pointwise on \(K\); \item [(c)] \(\lim_{m\to+\infty}\widetilde\varphi_m\leq u\) on \(\mathbb C^n\); \item [(d)] \(\lim_{m\to+\infty}\varrho_{\tilde\varphi_m}\leq \varrho_u\) on \(\mathbb C^n\), where \(\varrho_v(z):=\limsup_{\mathbb C\ni \lambda\to\infty}(v(\lambda z)-\log^+|\lambda z|)\), \(z\in\mathbb C^n\); \item [(e)] \(\varrho_u(z)\leq\liminf_{m\to+\infty}(\sup_{|\lambda|>r}(\widetilde\varphi_m(\lambda z)-\log^+|\lambda z|)\), \(r>0\), \(z\in K\setminus\{0\}\). \end{itemize}}