Characterization of AC and Sobolev curves via Lipschitz post-compositions

2024/08/16 by Oleinik, Roman D., Tyulenev, Alexander I.
#FOS: Mathematics #Functional Analysis (math.FA)

paper · doi:10.48550/arxiv.2408.08762

Abstract

Let X:=(X,d) be an arbitrary metric space. For each p ∈ [1,∞], we prove that a map γ:[a,b] → X is p-absolutely continuous if and only if, for every Lipschitz function h:X → ℝ, the post-composition h ∘ γ is a p-absolutely continuous function. Furthermore, if X is complete and separable, then, for each p ∈ (1,∞), we show that the equivalence class (up to L¹-a.e. equality) of a Borel map γ:[a,b] → X belongs to the Sobolev W_p¹([a,b],X)-space if and only if, for every Lipschitz function h:X → ℝ, the equivalence class (up to L¹-a.e. equality) of the post-composition h ∘ γ belongs to the Sobolev W_p¹([a,b],ℝ)-space.

Related

• Criterion for the absolute continuity of curves in metric spaces
• Metric Sobolev spaces I: equivalence of definitions
• Completeness Properties of Sobolev Metrics on the Space of Curves
• Some remarks about curves in metric spaces
• Quasiconformal, Lipschitz, and BV mappings in metric spaces