Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon Nikodym property

We prove the differentiability of Lipschitz maps X–>V, where X is a complete metric measure space satisfying a doubling condition and a Poincar'e inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vectors to suitable rectifiable curves.

💡 Research Summary

The paper establishes a comprehensive differentiability theorem for Lipschitz maps from a broad class of metric measure spaces into Banach spaces possessing the Radon–Nikodym Property (RNP). The setting is a complete metric measure space (X) equipped with a Borel measure (\mu) that satisfies a doubling condition and supports a ((1,p))-Poincaré inequality. The target space (V) is a Banach space assumed to have the RNP, a condition guaranteeing that every (V)-valued finite measure is absolutely continuous with respect to (\mu) and admits a Bochner‑integrable density.

Background. Cheeger’s seminal work showed that under the same hypotheses on (X), every real‑valued Lipschitz function is differentiable (\mu)-almost everywhere, by constructing a measurable differentiable structure based on coordinate charts and difference quotients. Extending this result to Banach‑valued functions is non‑trivial: the lack of a linear inner product and the possible infinite dimensionality of (V) prevent a direct transfer of Cheeger’s arguments. It is known that the RNP is precisely the geometric property needed to recover a form of the Lebesgue differentiation theorem for (V)-valued functions, and thus to obtain a meaningful notion of a linear approximation.

New Characterization via Directional Derivatives. The authors introduce a novel viewpoint: instead of relying on coordinate charts, they describe the differentiable structure through directional derivatives taken along a rich family of rectifiable curves. For each rectifiable curve (\gamma) in a suitably chosen collection (\Gamma), the composition (f\circ\gamma) is a real‑valued Lipschitz function on an interval and therefore possesses a classical derivative almost everywhere. This derivative, denoted (D_{\gamma}f(x)) at a point (x=\gamma(t)), is a vector in (V) and represents the rate of change of (f) in the direction of the tangent vector (T_{\gamma}(x)). By employing Alberti representations, the authors prove that for (\mu)-almost every point (x) the set of tangent directions ({T_{\gamma}(x):\gamma\in\Gamma}) spans a full “tangent space” (T_xX). Consequently, the collection of directional derivatives furnishes enough linear information to reconstruct a linear map (L_x:T_xX\to V).

Use of the RNP. The RNP is invoked at two crucial stages. First, it guarantees that the map (x\mapsto D_{\gamma}f(x)) is Bochner‑measurable and integrable with respect to the measure on the curve family provided by the Alberti representation. Second, it allows the authors to pass from the family of directional derivatives to a single linear operator (L_x) by integrating against the representation measure. The resulting operator satisfies a strong differentiability estimate: \