We discuss differentiability properties of convex functions on Heisenberg groups. We show that the notions of horizontal convexity (h-convexity) and viscosity convexity (v-convexity) are equivalent and that h-convex functions are locally Lipschitz continuous. Finally we exhibit Weierstrass-type h-convex functions which are nowhere differentiable in the vertical direction on a dense set or on a Cantor set of vertical lines.

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A\subset {ℝ}^2$. We prove that, for such $A$, the distance function $d_A=\mathrm{dist}(·,A)$ is a “DC aura” for $A$, which implies that each closed locally WDC set in ${ℝ}^2$ is a WDC set. Another consequence is that compact WDC subsets of ${ℝ}^2$ form a Borel subset of the space of all compact sets.