An asymptotic sharp Sobolev regularity for planar infinity harmonic functions (Q2338131)

Suppose \(\Omega\) be an open connected subset of \(\mathbb R^2\) and function \(u\in C(\Omega)\) is \(\infty\)-harmonic in \(\Omega\), i.e., \[ -\Delta_{\infty} u :=-\frac12\sum_{i=1}^2(|Du|^2)_iu_i= -\sum_{i,j=1}^2u_iu_ju_{ij} = 0 \quad \text{in }\ \Omega \] in viscosity sense. \par The main result of the paper under review is the following. For each \(\alpha>0\) \[\| D|Du|^\alpha \|_{L^2(V)}\le C(\alpha)\frac 1{\mathrm{dist}(V,\partial U)} \||Du|^\alpha\|_{L^2(U)}\quad\forall V\Subset U\Subset \Omega,\] and \[ (|Du|^\alpha)_i u_i=0 \text{ almost\ everywhere\ in }\ \Omega. \] This result is sharp as \(\alpha\to 0\). \par The authors consider also the distributional determinant \(-\det D^2 u\). It is proved that this determinant is a Radon measure satisfying \[-\det D^2u \ge |D|Du||^2, \] \[\|-\det D^2u\|(V)\le C \frac 1{[\mathrm{dist}(V,\partial U)]^2} \||Du| \|^2_{L^2(U)}\quad\forall V\Subset U\Subset \Omega,\] where \(\|-\det D^2u\|(V)\) denotes the total measure of the open set \(V\) with respect to the Radon measure \(-\det D^2u\,dx\). \par For each \(p>2\) some quantitative local \(W^{1,p}\)-estimates of \(u\), and consequently, an \(L^p\)-Liouville property for \(\infty\)-harmonic functions in whole plane are proved.