A New insight into the Ambrosio--Reshetnyak approach to Sobolev maps

Alexander Tyulenev

Home/Archive/arXiv

arXiv · 2610.04384

A New insight into the Ambrosio--Reshetnyak approach to Sobolev maps

Alexander Tyulenev

View original source ↗Read source document ↗Export metadata ↓

Abstract

Given $p \in (1,\infty)$, let $\operatorname{X}=(\operatorname{X},ρ,μ)$ be a metric measure space such that the measure $μ$ is uniformly locally doubling and $\operatorname{X}$ supports a weak local $(1,p)$-Poincaré inequality. Let $(\operatorname{Y},\operatorname{d},\underline{y})$ be a complete pointed metric space. We prove that the equivalence class of a Borel map $ u:\operatorname{X} \to \operatorname{Y}$ (modulo coincidence $μ$-a.e.) belongs to the Ambrosio--Reshetnyak--Sobolev class $W_{p}^{1}(\operatorname{X},\operatorname{Y})$ if and only if $h \circ u$ belongs to the Sobolev space $W_{p}^{1}(\operatorname{X})$ for every $1$-Lipschitz function $h:\operatorname{Y} \to \mathbb{R}$.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Alexander Tyulenev. 2026-10-03. A New insight into the Ambrosio--Reshetnyak approach to Sobolev maps. https://arxiv.org/abs/2610.04384

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Operations on $\mathscr{M}\otimes_{\mathcal{A}(U)}\mathrm{Alt}^{\bullet}(U,M)$. Stokes theorem for locally convex linear space valued forms. Divergence theorem for locally convex linear space valued vector fields

We extend to $\mathscr{M}\otimes_{\mathcal{A}(U)}\mathfrak{T}_{\bullet}^{\bullet}(U,M)$ the usual operations defined on $\mathfrak{T}_{\bullet}^{\bullet}(U,M)$, then by employing the properties of the projective tensor product of locally convex spaces, we generalize to $\mathscr{M}\otimes_{\mathcal{A}(U)}\mathrm{Alt}^{\bullet}(U,M)$ the usual wedge product, insertion operator and exterior differential defined on $\mathrm{Alt}^{\bullet}(U,M)$ and establish their properties. Here $M$ is a smooth finite dimensional manifold, $U$ an open submanifold of $M$, $\mathcal{A}(U)$ the ring of smooth maps on $U$, $\mathfrak{T}_{\bullet}^{\bullet}(U,M)$ the $\mathcal{A}(U)$-module of smooth tensor fields of $M$ defined on $U$, $\mathrm{Alt}^{\bullet}(U,M)$ the $\mathcal{A}(U)$-module of smooth alternating tensor fields of $M$ defined on $U$, while $\mathscr{M}$ is a $\mathcal{A}(U)$-module. $\mathscr{M}$ depending by the operation might be either general, or one of the following function spaces: $\mathscr{L}_{c}^{1}(U,G,λ)$, $\mathscr{L}_{loc}^{1}(U,G,λ)$, $\mathcal{B}^{p}(U,G)$ with $G$ a Hausdorff locally convex space. This framenwork permits to construct the divergence of a $G$-valued $p$-times continuously differentiable vector field, to define the weak integral of $G$-valued compactly supported scalarly integrable maximal forms, to associate a $G$-valued measure with any locally integrable $G$-valued form, to establish a Stokes type theorem for $G$-valued compactly supported $p$-times continuously differentiable forms and to obtain a divergence type theorem for $G$-valued $p$-times continously differentiable vector fields.

math.FA↗

arXiv2026

The Grothendieck Constant is Strictly Larger than Davie-Reeds' Bound

The Grothendieck constant $K_{G}$ is a fundamental quantity in functional analysis, with important connections to quantum information, combinatorial optimization, and the geometry of Banach spaces. Despite decades of study, the value of $K_{G}$ is unknown. The best known lower bound on $K_{G}$ was obtained independently by Davie and Reeds in the 1980s. In this paper we show that their bound is not optimal. We prove that $K_{G} \ge K_{DR} + 10^{-12}$, where $K_{DR}$ denotes the Davie-Reeds lower bound. Our argument is based on a perturbative analysis of the Davie-Reeds operator. We show that every near-extremizer for the Davie-Reeds problem has $Ω(1)$ weight on its degree-3 Hermite coefficients, and therefore introducing a small cubic perturbation increases the integrality gap of the operator.

math.FA↗

arXiv2026

Higher-order differentiability of Korevaar--Schoen energy forms and energy measures

In this paper, we investigate the differentiability of Korevaar--Schoen $p$-energy forms and the associated $p$-energy measures. We obtain higher-order derivatives by virtue of explicit realizations of Korevaar--Schoen $p$-energy forms and the associated $p$-energy measures as subsequential pointwise limits of certain double integrals.

math.FA↗