The Lusin theorem and horizontal graphs in the Heisenberg group

Piotr Hajlasz, Jacob Mirra

In this paper we prove that every collection of measurable functions $f_{\alpha }$, $|\alpha |=m$ coincides a.e. with $m$th order derivatives of a function $g\in C^{m-1}$ whose derivatives of or…