Quantitative absolute continuity of planar measures with two independent Alberti representations (Q1984768)

An Alberti representation of a Radon measure \(\mu\) in \(\mathbb R^2\) is (roughly speaking) another Radon measure \(\nu\gg\mu\) defined via a Cavalieri-like formula with respect to an one-dimensional distribution in some family of curves, together with the Radon-Nikodym derivative \(d\mu/d\nu\). A result due to \textit{G. Alberti} et al. in [Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27--July 2, 2004. Zürich: European Mathematical Society (EMS). 3--22 (2005; Zbl 1088.28002)] says that if a Radon measure \(\mu\) allows two independent Alberti representations (which means, the related families of curves can be angularly separated), then it is absolutely continuous with respect to the Lebesgue measure. The article under review makes a step forward and shows that if \(d\mu/d\nu_1\) and \(d\mu/d\nu_2\) are bounded, then \(\mu\) is in \(L^2(\mathbb R^2)\) (in variational sense). If, moreover, also \((d\mu/d\nu_i)^{-1}\), \(i=1,2\), are bounded in the ball \(B(2)\) aroung the origin, then \(\mu\in L^p(B(1/2))\) for some \(p>2\). This is the article's main result, Theorem 1.6. Next, the authors discuss how this result can be extended to many dimensions and if one can improve the exponent \(p\) in the above statement. For the latter, particular attention is payed to a detailed analysis of the measure \(\mu=f\,d\mathcal L^2\), \(f(x)=|x|^{-\alpha}{\mathbf 1}_{B(1)}\), \(0<\alpha<1\), and its Alberti representations.