Marstrand's density theorem in the Heisenberg group

Vasilis Chousionis, Jeremy T. Tyson

We prove that if $\mu$ is a Radon measure on the Heisenberg group ${\mathbb{H}}^n$ such that the density ${\Theta }^s(\mu ,\cdot )$, computed with respect to the Korányi metric $d_H$, exists and i…