The Jacobian determinant revisited (Q635846): Difference between revisions

Let \(\vec g:\Omega\to \mathbb{R}^d\) be a map from a smooth bounded open subset of \(\mathbb{R}^d\). Due to the divergence structure of the Jacobian \(\text{Det}(\nabla\vec g)\) for smooth \(\vec g\) discovered by Morrey, this can be extended as a distribution of the Schwartz class \(D'(\Omega)\) to much more general than smooth maps \(\vec g\). The authors prove that, within the scale of fractional Sobolev spaces, \(W^{1-d}_d(\Omega,\mathbb{R}^d)\) is the optimal extension space. In this case, \[ \text{Det}(\nabla\vec g)= \sum^d_{i=1} {\partial h_i\over\partial x_i}\quad\text{in }D'(\Omega) \] for some \(\vec h= (h_1,\dots, h_d)\in L_1(\Omega)^d\) satisfying \[ \|\vec h\|\leq C(\Omega,d)= (\|\vec g\|_{B^{1-1/d}_d})^d. \] The so defined Jacobian satisfies some important inequalities, the basic hardest of which is Theorem 2. Let \(\vec f,\vec g\in (W^{d-1}_1\cap \text{BMO})(\Omega,\mathbb{R}^d)\) with \(d\geq 3\). Then, for every \(C^1\)-function \(\psi\) compactly supported in \(\Omega\): (i) \(|\langle\text{Det}(\nabla\vec f),\psi\rangle- \langle\text{Det}(\nabla\vec y), \psi\rangle|\leq C(d,\Omega)\|\vec f-\vec g\|_{\text{BMO}}(\|\nabla\vec f\|_{L^{d-1}}+ \|\nabla\vec g\|_{L^{d-1}})^{d-1}\cdot \|\nabla\psi\|_{L^\infty}\); (ii) \(|\langle\text{Det}(\nabla\vec f),\psi\rangle- \langle\text{Det}(\nabla\vec g),\psi\rangle|\leq C(d,\Omega)\|\nabla\vec f-\nabla\vec g\|_{L^{d-1}}(\|\nabla\vec f\|_{L^{d-1}}+ \|\nabla\vec g\|_{L^{d-1}})^{d-2}\cdot(\|\vec f\|_{\text{BMO}}+\|\vec g\|_{\text{BMO}})\|\nabla\psi\|_{L^\infty}\).