Approximation of \(m\)-subharmonic functions on bounded domains in \(\mathbb{C}^n\) (Q1650509)

Let \(D\subset\mathbb C^n\) be a bounded domain. The authors study the problem of approximation of \(m\)-subharmonic (\(m\)-sh) functions and the problem of existence of a \(m\)-sh function with given continuous boundary values. Let \(\mathcal{SH}_m^-(D)\) denote the set of all \(u\in\mathcal{SH}_m(D)\) such that \(u\leq0\) and \(u\) extends to an upper semicontinuous function on \(\overline D\). Let \(\mathcal{SH}_m^\ast(D)\) be the set of those functions \(u\in\mathcal{SH}_m^-(D)\) such that \(u\) extends to a continuous \(m\)-sh function in a neighbourhood of \(\overline D\). For \(z\in\overline D\) put \[ J_{m,z}^c:=\left\{\mu: \mu \text{ is a regular Borel measure on }\overline D \text{ s. t. } u(z)\leq\int_{\overline D}ud\mu\text{ for all }u\in\mathcal{SH}_m^\ast(D)\right\}. \] For \(a\in\partial D\) let \[ \partial D(a):=\big\{\zeta: \zeta \text{ is a limit point of } \overline D\cap(a+t(\partial D-a)) \text{ when } t\nearrow 1\big\}. \] The main results of the paper are the following theorems: -- If \(D\) possesses an \(m\)-sh exhaustion function, then for every \(u\in\mathcal{SH}_m(D)\) there exists a sequence \((u_j)_{j=1}^\infty\) of smooth strictly \(m\)-sh functions on \(D\) such that \(u_j\searrow u\). -- Let \(a\in D\) and assume that there exists a neighborhood \(U\) of \(\partial D(a)\) and an \(m\)-polar set \(E\subset U\cap\partial D\) such that \(J_{m,\xi}^c=\{\delta_\xi\}\), \(\xi\in(\overline U\cap\partial D)\setminus E\), and \(J_{1,\xi}^c=\{\delta_\xi\}\), \(\xi\in\overline U\cap\partial D\). Then there exists an \(m\)-polar set \(E'\subset D\) such that, for every \(u\in\mathcal{SH}_m(D)\) with \(\sup_{U\cap\partial D}u^\ast<+\infty\), there exists a sequence \((u_j)_{j=1}^\infty\subset\mathcal{SH}_m^\ast(D)\) such that: (i) \(u_j\longrightarrow u\) pointwise on \(D\setminus E'\), (ii) \(\limsup_{j\to+\infty}u_j\leq u\) on \(\overline D\), (iii) \(u_j(x)\longrightarrow u^\ast(x)\) for every \(x\in\partial D\) such that \(u\) is continuous at \(x\). -- Let \(v\in\mathcal{SH}_m^-(D)\), \(v>-\infty\) on \(D\), and a compact \(K\subset\partial D\) be such that \(\lim_{z\to\xi}v(z)=-\infty\) for \(\xi\in K\), and assume that every \(\xi\in(\partial D)\setminus K\) admits an \(m\)-sh barrier. Then for every \(\varphi\in\mathcal C(\partial D,\mathbb R)\) there exists a bounded function \(u\in\mathcal{SH}_m(D)\) such that \(\lim_{}u(z)=\varphi(\xi)\), \(\xi\in(\partial D)\setminus K\), \(u\) is maximal on \(D\), and \(u\) can be approximated uniformly on the compact subsets of \(\overline D\setminus K\) by functions from \(\mathcal{SH}_m^\ast(D)\).