zbMATH — the first resource for mathematics

Absolute continuity and \({\alpha}\)-numbers on the real line. (English) Zbl 1403.28003
Summary: Let \(\mu,\nu\) be Radon measures on \(\mathbb{R}\), with \(\mu\) nonatomic and \(\nu\) doubling, and write \(\mu=\mu_{a}+\mu_{s}\) for the Lebesgue decomposition of \(\mu\) relative to \(\nu\). For an interval \(I\subset\mathbb{R}\), define \(\alpha_{\mu,\nu}(I):=\mathbb{W}_{1}(\mu_{I},\nu_{I})\), the Wasserstein distance of normalised blow-ups of \(\mu\) and \(\nu\) restricted to \(I\). Let \(\mathcal{S}_{\nu}\) be the square function \[ \mathcal{S}^{2}_{\nu}(\mu)=\sum\limits_{I\in\mathcal{D}}\alpha_{\mu,\nu}^{2}(I)\chi_{I}, \] where \(\mathcal{D}\) is the family of dyadic intervals of side-length at most 1. I prove that \(\mathcal{S}_{\nu}(\mu)\) is finite \(\mu_{a}\) almost everywhere and infinite \(\mu_{s}\) almost everywhere. I also prove a version of the result for a nondyadic variant of the square function \(\mathcal{S}_{\nu}(\mu)\). The results answer the simplest “\(n=d=1\)” case of a problem of J. Azzam, G. David and T. Toro.

28A33 Spaces of measures, convergence of measures
28A75 Length, area, volume, other geometric measure theory
Full Text: DOI Link
[1] 10.1007/s00208-015-1206-z · Zbl 1334.28004
[2] 10.1007/s00209-016-1788-5 · Zbl 1375.28005
[3] 10.1307/mmj/1029004679 · Zbl 0794.42011
[4] 10.2307/2944333 · Zbl 0770.35014
[5] 10.1007/978-1-4939-1230-8 · Zbl 1304.42002
[6] 10.1090/S0894-0347-01-00379-4 · Zbl 0994.42015
[7] 10.1112/plms/pdn035 · Zbl 1194.28005
[8] 10.1007/s00526-015-0917-z · Zbl 1416.42014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.