Differentiability of intrinsic Lipschitz functions within Heisenberg groups (Q645294)

Let \(\mathbb{G}_1,\mathbb{G}_2\) be complementary subgroups of a group \(\mathbb{G}\). Then the intrinsic (left) graph of \(f:\mathcal{A}\subset \mathbb{G}_1 \to\mathbb{G}_2\) is the set graph \((f)=\{g \cdot f(g)|g \in \mathcal{A} \}\). A subset \(\mathcal{S}\) of a Carnot group \(\mathbb{G}\) is a left intrinsic graph in direction of a homogeneous subgroup \(\mathbb{H}\), if \(\mathcal{S}\) intersects each left coset of \(\mathbb{H}\) in at most a single point. Definition: The map \(f: \mathbb{G}_1 \to\mathbb{G}_2\) is intrinsic Lipschitz, if at each point \(p \in \text{graph}(f)\) there is an intrinsic cone with vertex \(p\), axis \(\mathbb{G}_2\) and fixed opening, intersecting graph\((f)\) only at \(p\). Also \(f: \mathbb{G}_1 \to\mathbb{G}_2\) is intrinsic differentiable at \(g\in \mathbb{G}_1\) if there is a homogeneous subgroup \(\mathbb{T}_g\) of \(\mathbb{G}\) such that in \(p=g \cdot f(g)\in \text{graph}(f)\) the left coset \(p\cdot \mathbb{T}_g\) is the tangent plane to graph\((f)\) in \(p\). The basic matter of this article is the study of these last two notions and their relationships when the ambient group \(\mathbb{G}\) is the Heisenberg groups \(\mathbb{H}^n\) identified through the exponential map with \(\mathbb{R}^{2n+1}\).