A relaxation to the post-composition approach to metric-valued Sobolev maps
Abstract
We establish that the definition of Sobolev mappings from metric measure spaces to metric spaces relying on the post-composition approach of Ambrosio-Reshetnyak admits, under certain transparent assumptions on the spaces, an equivalent reformulation that is substantially weaker than the principal version. In detail, the corresponding definition requires maps of this kind to meet two successive tests in order to be called Sobolev: first a ''qualitative'' one and then a ''quantitative'' one. At the same time, our result allows the relevant conclusion to be drawn based solely on the ''qualitative'' part. Remarkably, the conditions on the spaces sufficient for this to hold fit entirely into the singular flavor of the subject. More explicitly, such a phenomenon emerges if either the source space is of finite Hausdorff dimension and satisfies the Sobolev-to-Luzin-Lipschitz property or the target space is of finite Hausdorff dimension. All this provides a significant generalization of several earlier achievements on the topic.
Related
- Mordukhovich Derivatives and Covering Constant for Set-Valued Metric Projection in General Banach Spaces
- A purely metric characterization of supercritical Sobolev spaces
- On one relaxation of the bounded-length-distortion condition in the context of metric measure spaces
- Scaling limits for Moran processes on metric strategy spaces: an Eulerian derivation of pure replicator and Fleming--Viot measure-valued PDEs
- Continuity equation on metric spaces via measure-valued derivations and BV-Wasserstein curves
BibTeX
@misc{oleinik2026relaxation,
title = {{A relaxation to the post-composition approach to metric-valued Sobolev maps}},
author = {Roman D. Oleinik},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.04435},
eprint = {2610.04435},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.04435},
}
RIS
TY - UNPB
TI - A relaxation to the post-composition approach to metric-valued Sobolev maps
AU - Roman D. Oleinik
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.04435
UR - https://arxiv.org/abs/2610.04435
AB - We establish that the definition of Sobolev mappings from metric measure spaces to metric spaces relying on the post-composition approach of Ambrosio-Reshetnyak admits, under certain transparent assumptions on the spaces, an equivalent reformulation that is substantially weaker than the principal version. In detail, the corresponding definition requires maps of this kind to meet two successive tests in order to be called Sobolev: first a ''qualitative'' one and then a ''quantitative'' one. At the same time, our result allows the relevant conclusion to be drawn based solely on the ''qualitative'' part. Remarkably, the conditions on the spaces sufficient for this to hold fit entirely into the singular flavor of the subject. More explicitly, such a phenomenon emerges if either the source space is of finite Hausdorff dimension and satisfies the Sobolev-to-Luzin-Lipschitz property or the target space is of finite Hausdorff dimension. All this provides a significant generalization of several earlier achievements on the topic.
ER -