Isotropic p-harmonic systems in 2D Jacobian estimates and univalent solutions

Tadeusz Iwaniec, Aleksis Koski, Jani Onninen

Abstract: The core result of this paper is an inequality (rather tricky) for the Jacobian determinant of solutions of nonlinear elliptic systems in the plane. The model case is the isotropic (rotationally invariant) $\,p\,$-harmonic system $$\mathrm{div} \|Dh|^{p-2} Dh =0 ,\quad h = (u, v) \in \mathcal W^{1,p}(\Omega, \mathbb R^2), 1 < p < \infty,$$ as opposed to a pair of scalar $p$-harmonic equations: $$\mathrm{div} |\nabla u|^{p-2} \nabla u =0 \quad \mathrm{and} \quad \mathrm{div} |\nabla v|^{p-2} \nabla v=0$$ Rotational invariance of the systems in question makes them meaningful, both physically and geometrically. An issue is to overcome the nonlinear coupling between $\,\nabla u\,$ and $\, \nabla v \,$. In the extensive literature dealing with coupled systems various differential expressions of the form $\,\Phi (\nabla u\,,\nabla v )\,$ were subjected to thorough analysis. But the Jacobian determinant\linebreak $\det Dh$ $= u_x v_y - u_y v_x\,$ was never successfully incorporated into such analysis. We present here new nonlinear differential expressions of the form $\Phi(|Dh|, \det Dh )\,$ and show they are superharmonic, which yields much needed lower bounds for $\, \det Dh\,$. To illustrate the utility of such bounds we extend the celebrated univalence theorem of Radó–Kneser–Choquet on harmonic mappings ($p=2$) to the solutions of the coupled $p$-harmonic system.

Journal: Revista Matemática Iberoamericana, Volume 32, Issue 1, 2016, pp. 57–77

DOI: 10.4171/RMI/881