Lipschitz continuity, Aleksandrov theorem and characterizations for H-convex functions

In the geometries of stratified groups, we show that H-convex functions locally bounded from above are locally Lipschitz continuous and that the class of v-convex functions exactly corresponds to the class of upper semicontinuous H-convex functions. As a consequence, v-convex functions are locally Lipschitz continuous in every stratified group. In the class of step 2 groups we characterize locally Lipschitz H-convex functions as measures whose distributional horizontal Hessian is positive semidefinite. In Euclidean space the same results were obtained by Dudley and Reshetnyak. We prove that a continuous H-convex function is a.e. twice differentiable whenever its second horizontal derivatives are Radon measures