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

DOI10.1007/S00526-021-01923-9MaRDI QIDQ1995233zbMATH OpenOpenAlexWikidataFDO

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)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Sub-Riemannian geometry (53C17)

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.

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; zbMATH DE number 5906499
• Rectifiability and Lipschitz extensions into the Heisenberg group

Cites work

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

Cited in

(9)

• Whitney's extension theorem and the finiteness principle for curves in the Heisenberg group
• The Lusin theorem and horizontal graphs in the Heisenberg group
• Lusin approximation for horizontal curves in step 2 Carnot groups
• A $C^m$ Whitney extension theorem for horizontal curves in the Heisenberg group
• Lusin approximation and horizontal curves in Carnot groups
• Higher order Whitney extension and Lusin approximation for horizontal curves in the Heisenberg group
• A C^k Lusin approximation theorem for real-valued functions on Carnot groups
• On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds
• A \(C^{m,\omega}\) 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)