Dacorogna-Moser theorem on the Jacobian determinant equation with control of support

Abstract

The original proof of Dacorogna-Moser theorem on the prescribed Jacobian PDE, $\text{det}\,\nablaφ=f$, can be modified in order to obtain control of support of the solutions from that of the initial data, while keeping optimal regularity. Briefly, under the usual conditions, a solution diffeomorphism $φ$ satisfying \[ \text{supp}(f-1)\subset\varOmega\Longrightarrow\text{supp}(φ-\text{id})\subset\varOmega \] can be found and $φ$ is still of class $C^{r+1,α}$ if $f$ is $C^{r,α}$, the domain of $f$ being a bounded connected open $C^{r+2,α}$ set $\varOmega\subset\mathbb{R}^{n}$.