Critical weak-$L^{p}$ differentiability of singular integrals

Abstract

We establish that for every function $u \in L^1_\mathrm{loc}(Ω)$ whose distributional Laplacian $Δu$ is a signed Borel measure in an open set $Ω$ in $\mathbb{R}^{N}$, the distributional gradient $\nabla u$ is differentiable almost everywhere in $Ω$ with respect to the weak-$L^{\frac{N}{N-1}}$ Marcinkiewicz norm. We show in addition that the absolutely continuous part of $Δu$ with respect to the Lebesgue measure equals zero almost everywhere on the level sets $\{u = α\}$ and $\{\nabla u = e\}$, for every $α\in \mathbb{R}$ and $e \in \mathbb{R}^N$. Our proofs rely on an adaptation of Calderón and Zygmund's singular-integral estimates inspired by subsequent work by Hajlasz.