Lipschitz solvability of prescribed Jacobian and divergence for singular measures

Abstract

Let $μ$ be a finite Radon measure on an open set $Ω\subset\mathbb{R}^d$, singular with respect to the Lebesgue measure. We prove Lusin-type solvability results for the prescribed divergence equation and the prescribed Jacobian equation with Lipschitz solutions. More precisely, for every $\varepsilon>0$ and every Borel datum $f \colon Ω\to \mathbb{R}$ there exists a vector field $V\in C^1_c(Ω;\mathbb{R}^d)$ such that $\operatorname{div} V=f$ on a compact set $K\subsetΩ$ with $μ(Ω\setminus K)<\varepsilon$, and $\operatorname{Lip}(V)\le (1+\varepsilon)\|f\|_{L^\infty(Ω,μ)}$. Similarly, for every Borel datum $g\colon Ω\to \mathbb{R}$ there exists a map $Φ$ with $Φ-\operatorname{Id}\in C^1_c(Ω;\mathbb{R}^d)$ such that $\det DΦ=g$ on a compact set $K\subsetΩ$ with $μ(Ω\setminus K)<\varepsilon$, and $\operatorname{Lip}(Φ-\operatorname{Id})\le (1+\varepsilon)\|g-1\|_{L^\infty(Ω,μ)}$. The maps $V$ and $Φ-\operatorname{Id}$ can be chosen arbitrarily small in supremum norm.