On regularization of plurisubharmonic functions near boundary points (Q284806)

The main result of the paper is the following approximation theorem for plurisubharmonic functions. Let \(D\subset\mathbb C^n\) be a domain with Lipschitz boundary. Then every point \(P\in\partial D\) has a neighborhood \(U\) for which \(G:=D\cap U\) is a domain with Lipschitz boundary and for any function \(u\in\mathcal{PSH}(G)\) there exists a sequence \((u_k)_{k=1}^\infty\subset\mathcal{PSH}(G)\cap\mathcal C^\infty(G)\) such that \(u_k\searrow u\). The assumption that the boundary of \(D\) is Lipschitz is essential.