English

A variant of Tingley's problem on ordered Banach spaces of absolutely continuous functions

Functional Analysis 2026-07-12 v1

Abstract

For each 1p1\le p\le\infty and j=1,2j=1,2, let ACp(Ωj)AC^p(\Omega_j) denote the Banach space of complex-valued absolutely continuous functions on a closed unit interval Ωj=[xj,xj+1]\Omega_j=[x_j,x_j+1]. We equip ACp(Ωj)AC^p(\Omega_j) with the pp--norm fAC,p\|f\|_{AC,p}, and the order AC\ge_{AC} defined by f(xj)0f(x_j)\ge0 and f0f'\ge 0 a.e. Set S(ACp(Ωj))+={fACp(Ωj):fAC,p=1, fAC0}.S(AC^p(\Omega_j))^+=\{f\in AC^p(\Omega_j):\|f\|_{AC,p}=1,\ f\ge_{AC}0\}. We prove that, for each 1p1\le p\le\infty, every surjective isometry S(ACp(Ω1))+S(ACp(Ω2))+S(AC^p(\Omega_1))^+\to S(AC^p(\Omega_2))^+ extends uniquely to a complex--linear isometric order isomorphism from ACp(Ω1)AC^p(\Omega_1) onto ACp(Ω2)AC^p(\Omega_2). As an application, we obtain a corresponding extension theorem for surjective phase--isometries.

Keywords

Cite

@article{arxiv.2607.10685,
  title  = {A variant of Tingley's problem on ordered Banach spaces of absolutely continuous functions},
  author = {Min-Ruei Lin},
  journal= {arXiv preprint arXiv:2607.10685},
  year   = {2026}
}