On the Moser-Trudinger inequality in complex space (Q2320147)

The authors study pluricomplex analogues of the Moser-Trudinger and Sobolev inequalities for plurisubharmonic functions. Let \(\Omega\subset\mathbb C^n\) be a bounded hyperconvex domain, \(n\geq2\). Put \[\mathcal E_0(\Omega):=\{\varphi\in\mathcal{PSH}(\Omega): \forall_{\xi\in\partial\Omega}:\lim_{z\to\xi}\varphi(z)=0 \text{ and }\int_\Omega(dd^c\varphi)^n<+\infty\},\] \[\mathcal E_p(\Omega):=\{u\in\mathcal{PSH}(\Omega): \exists_{(\varphi_j)_{j=1}^\infty\subset\mathcal E_0(\Omega)}: \varphi_j\searrow u \text{ and } \sup_{j\in\mathbb N}e_p(\varphi_j)<+\infty\},\] where \(e_p(\varphi):=\int_\Omega(-\varphi)^p(dd^c\varphi)^n\), \(p>0\). The main results of the paper are the following two inequalities: \par Pluricomplex Moser-Trudinger inequality: There exist constants \(A(p,n,\Omega)\), \(B(p,n,\Omega)\) such that \[ \log\int_\Omega e^{-u}d\lambda_{2n}\leq A(p,n,\Omega)+B(p,n,\Omega)(e_p(u))^{1/p},\quad u\in\mathcal E_p(\Omega). \] Moreover, for \(0<\varepsilon<1\), \[ A(p,n,\Omega)\leq\log\Big(\big(\pi^n+\operatorname{const}(n)\frac{\varepsilon n}{(n-\varepsilon n)^n}\big)(\operatorname{diam}\Omega)^{2n}\Big),\] \[ \frac{p}{(4\pi)^{n/p}(n+p)^{1+n/p}}\leq B(p,n,\Omega)\leq(2\varepsilon n)^{-n/p}. \] \par Pluricomplex Sobolev inequality: \[\|u\|_{L^q}\leq C(p,q,n,\Omega)|||u|||_p, \quad u\in\delta\mathcal E_p:=\mathcal E_p-\mathcal E_p,\quad q>0,\] where \(|||\cdot |||_p\) stands for the norm in \(\delta\mathcal E_p\) and \[ C(p,q,n,\Omega)=e^{\frac1q A(p,n,\Omega)}\frac{(n+p)\big(B(p,n,\Omega)\big)^{\frac{p}{n+p}}}{n^{\frac{n}{n+p}}p^{\frac{p}{n+p}}}\big(\varGamma(\tfrac{nq}{n+p}+1)\big)^{1/q}. \]