A C^m Lusin approximation theorem for horizontal curves in the Heisenberg group

DOI10.1007/S00526-021-01923-9zbMATH Open1467.53032arXiv1908.07624OpenAlexW3128348547WikidataQ115386803 ScholiaQ115386803MaRDI QIDQ1995233FDOQ1995233

Authors: Marco Capolli, Andrea Pinamonti, Gareth Speight 

Publication date: 19 February 2021

Published in: Calculus of Variations and Partial Differential Equations (Search for Journal in Brave)

Abstract: We prove a $C^m$ Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous horizontal curve whose horizontal velocity is $m-1$ times $L^1$ differentiable almost everywhere coincides with a $C^m$ horizontal curve except on a set of small measure. Conversely, we show that the result no longer holds if $L^1$ differentiability is replaced by approximate differentiability. This shows our result is optimal and highlights differences between the Heisenberg and Euclidean settings.

Full work available at URL: https://arxiv.org/abs/1908.07624

Recommendations

• Lusin approximation and horizontal curves in Carnot groups
• A $C^m$ Whitney extension theorem for horizontal curves in the Heisenberg group
• Lusin approximation for horizontal curves in step 2 Carnot groups
• A \(C^{m,\omega}\) Whitney extension theorem for horizontal curves in the Heisenberg group
• The Lusin theorem and horizontal graphs in the Heisenberg group
• The Whitney extension theorem for \(C^1\), horizontal curves in the Heisenberg group
• Curvature and subsets of rectifiable curves in the Heisenberg group
• $L^p$-improving properties of measures supported on curves on the Heisenberg group
• scientific article
• Rectifiability and Lipschitz extensions into the Heisenberg group

zbMATH Keywords

approximate differentiabilityhorizontal velocity\(C^m\)-horizontal curveintegral differentiability

Mathematics Subject Classification ID

Sub-Riemannian geometry (53C17)

Cites Work

• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Differentiability of Lipschitz functions on metric measure spaces
• On the \(L^p\)-differentiability of certain classes of functions
• A tour of subriemannian geometries, their geodesics and applications
• On the structure of finite perimeter sets in step 2 Carnot groups
• Stratified Lie Groups and Potential Theory for their Sub-Laplacians
• Title not available (Why is that?)
• Rectifiability and perimeter in the Heisenberg group
• An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem
• Sobolev Spaces on Metric Measure Spaces
• Title not available (Why is that?)
• Differentiable functions
• The Whitney extension theorem for \(C^1\), horizontal curves in the Heisenberg group
• Pliability, or the Whitney extension theorem for curves in Carnot groups
• Lusin approximation for horizontal curves in step 2 Carnot groups
• Lusin approximation and horizontal curves in Carnot groups
• Porosity and differentiability of Lipschitz maps from stratified groups to Banach homogeneous groups
• Title not available (Why is that?)
• Universal differentiability sets and maximal directional derivatives in Carnot groups
• A measure zero universal differentiability set in the Heisenberg group
• A $C^m$ Whitney extension theorem for horizontal curves in the Heisenberg group
• Approximate Taylor polynomials and differentiation of functions
• Universal differentiability sets in Carnot groups of arbitrarily high step
• On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds

Cited In (5)

• Higher order Whitney extension and Lusin approximation for horizontal curves in the Heisenberg group
• A \(C^{m,\omega}\) Whitney extension theorem for horizontal curves in the Heisenberg group
• A C^k Lusin approximation theorem for real-valued functions on Carnot groups
• Whitney's extension theorem and the finiteness principle for curves in the Heisenberg group
• A $C^m$ Whitney extension theorem for horizontal curves in the Heisenberg group

This page was built for publication: A \(C^m\) Lusin approximation theorem for horizontal curves in the Heisenberg group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995233)