A first-order condition for the independence on \(p\) of weak gradients (Q2172482)

This paper studies the first-order condition upon which the minimal \(p\)-weak upper gradient of a \(W^{1,p}(X)\) function is invariant on \(p\), which is not true in general. By showing that the so-called Bounded Interpolation Property (BIP condition) implies the weak local \((1,1)\)-Poincaré inequality and doubling condition, the authors have obtained the sufficiency of BIP condition ensuring the variant of \(p\) of weak gradients. Furthermore, they also proved that the bounded interpolation property is stable for pointed measure Gromov-Hausdorff convergence and holds on a large class of spaces satisfying curvature dimension conditions.