Savin [‘ $\mathcal {C}^{1}$ regularity for infinity harmonic functions in two dimensions’, Arch. Ration. Mech. Anal. 3(176) (2005), 351–361] proved that every planar absolutely minimizing Lipschitz (AML) function is continuously differentiable whenever the ambient space is Euclidean. More recently, Peng et al. [‘Regularity of absolute minimizers for continuous convex Hamiltonians’, J. Differential Equations 274 (2021), 1115–1164] proved that this property remains true for planar AML functions for certain convex Hamiltonians, using some Euclidean techniques. Their result can be applied to AML functions defined in two-dimensional normed spaces with differentiable norm. In this work we develop a purely non-Euclidean technique to obtain the regularity of planar AML functions in two-dimensional normed spaces with differentiable norm.

The main result of the present article is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension $k\leq n$ in sub-Riemannian Heisenberg groups ${\mathbb H}^{n}$ . For the purpose of proving such a result, we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: both of these results stem from a new definition (equivalent to the one introduced by B. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher’s theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated constancy theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin’s complex of differential forms, we also provide a convenient basis of Rumin’s spaces. Eventually, we provide some applications of Rademacher’s theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between ${\mathbb H}$ -rectifiability and ‘Lipschitz’ ${\mathbb H}$ -rectifiability and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

We construct Lipschitz functions such that for all $s>0$ they are $s$-Hölder, and so proximally, subdifferentiable only on dyadic rationals and nowhere else. As applications we construct Lipschitz functions with prescribed Hölder and approximate subderivatives.

Etant donnée une partie $D$ dénombrable et dense de $\mathbb{R}$, nous construisons une infinité de fonctions Lipschitziennes définies sur $\mathbb{R}$, s'annulant en zéro, dont le sous-différentiel proximal est égal à ]–1, 1[ en tout point de $D$ et est vide en tout point du complémentaire de $D$. Nous déduisons que deux fonctions dont la différence n'est pas constante peuvent avoir les mêmes sous-différentiels.

The homogeneous Besov-Lipschitz spaces, usually defined by difference operators or Fourier transform, are studied in terms of mean oscillation, and several equivalent characterisations are given.