Subextension of \(m\)-subharmonic functions (Q2174227)

Let \(\Omega\subset \mathbb{C}^n\) be a hyper-convex domain. The \(m\)-complex Hessian of a \(m\)-subharmonic function in \(\Omega\) is defined by \(H_m=(dd^cu)^m\wedge \beta^{n-m}\). Denote by \(SH^-_m(\Omega)\) the class of all negative \(m\)-subharmonic functions on \(\Omega\) and introduce the classes: \[ \mathcal{E}^0_m(\Omega)=\left\{u\in SH_m^-(\Omega)\cap L^\infty(\Omega):\lim_{z\to \partial \Omega}u=0, \int_\Omega H_m(u)<\infty \right\}, \] \[ \mathcal{F}^0_m(\Omega)=\left\{u\in SH_m^-(\Omega):\exists\{u_j\}\subset \mathcal{E}_m^0(\Omega), u_j\searrow u, \sup_j \int_\Omega H_m(u_j)<\infty \right\}. \] The main result of the article establishes that if \(\Omega\subset \tilde \Omega\subset \mathbb{C}^n\) are hyper-convex domains and \(u\in \mathcal{F}_m(\Omega)\), then there exists \(w\in \mathcal{F}_m(\tilde \Omega)\) such that \(w\leq u\) in \(\Omega\).