Poincaré- and Sobolev- type inequalities for complex \(m\)-Hessian equations (Q2309625)

For a bounded domain \(\Omega\subset\mathbb{C}^n\) let \(\mathcal{SH}_m(\Omega)\) stand for the space of all \(m\)-subharmonic functions and \(H_m\) denote the complex \(m\)-Hessian operator on \(\Omega\). Put \(\mathcal{E}^0_m(\Omega):=\{\varphi\in\mathcal{SH}_m(\Omega): \forall_{\xi\in\partial\Omega}:\lim_{z\to\xi}\varphi(z)=0 \text{ and }\int_\Omega H_m(\varphi)<+\infty\}\), \(\mathcal{E}_{p,m}(\Omega):=\{u\in\mathcal{SH}_m(\Omega): \exists_{(\varphi_j)_{j=1}^\infty\subset\mathcal{E}^0_m(\Omega)}: \varphi_j\searrow u \text{ and } \sup_{j\in\mathbb{N}}e_{p,m}(\varphi_j)<+\infty\}\), where \(e_{p,m}(\varphi):=\int_\Omega(-\varphi)^pH_m(\varphi)\). The authors prove the following two inequalities. \(\bullet\) Poincaré-type inequality for the complex \(m\)-Hessian: Assume that \(p\geq0\), \(1\leq\ell<k\leq n\geq2\), and \(\Omega\subset\mathbb{C}^n\) is a bounded \(B_k\)-regular domain (i.e., every \(f\in\mathcal{C}(\partial\Omega)\) has an extension to a \(k\)-subharmonic function). Then \(e_{p,\ell}(u)^{\frac1{p+\ell}}\leq C(p,\ell,k,n,\Omega)e_{p,k}(u)^{\frac1{p+k}}\), \(u\in\mathcal{E}_{p,k}(\Omega)\). \(\bullet\) Sobolev-type inequality for the complex \(m\)-Hessian: Assume that \(p\geq0\), \(1\leq m\leq n\geq2\), \(0<q<\frac{(m+p)n}{n-m}\), and \(\Omega\subset\mathbb{C}^n\) is a bounded \(m\)-hyperconvex domain (i.e., \(\Omega\) admits a non-negative \(m\)-subharmonic exhaustion function). Then \(\|u\|_{L^q}\leq C(p,q,m,n,\Omega)e_{p,m}(u)^{\frac1{m+p}}\), \(u\in\mathcal{E}_{p,m}(\Omega)\).