Weak solutions to the quaternionic Monge-Ampère equation (Q2210887): Difference between revisions

Let \(\Omega\subset\mathbb H^n\) be a smoothly bounded, strictly quaternionic pseudoconvex domain. The author solves the Dirichlet problem \[\begin{cases} \mathcal{QPSH}(\Omega)\cap\mathcal C(\overline\Omega),\\ (\partial\partial_Ju)^n=f dV_{4n}\quad\text{in}\quad\Omega,\\ u\big|_{\partial\Omega}=\varphi\in\mathcal C(\partial\Omega), \end{cases}\] for the quaternionic Monge-Ampère equation with a continuous boundary data and the right-hand side in \(L^p\) for \(p>2\) (this is the optimal bound on \(p\)). He also proves that the local integrability exponent of quaternionic plurisubharmonic functions is \(2\) (which is less than an integrability exponent of the fundamental solution): Suppose that \(u\in\mathcal{QPSH}(\Omega)\), \(u\not\equiv-\infty\). Then \(u\in L^p(\Omega)\) for any \(p<2\) and the bound on \(p\) is optimal. Moreover, if \(u_j\not\equiv-\infty\) is a sequence of qpsh functions converging in \(L^1_{\operatorname{loc}}(\Omega)\) to some \(u\), necessarily belonging to \(\mathcal{QPSH}(\Omega)\), then convergence holds in \(L^p_{\operatorname{loc}}(\Omega)\) for any \(p<2\).