Abstract
A theorem of Lusin states that every Borel function onRis equal almost everywhere to the derivative of a continuous function. This result was later generalized to Rn in works of Alberti and Moonens-Pfeffer. In this note, we prove direct analogs of these results on a large class of metric measure spaces, those with doubling measures and Poincaré inequalities, which admit a form of differentiation by a famous theorem of Cheeger.
References
[1] G. Alberti, A Lusin type theorem for gradients, J. Funct. Anal., 100 (1991), 110-118. 10.1016/0022-1236(91)90104-DSearch in Google Scholar
[2] Z.M. Balogh, Size of characteristic sets and functions with prescribed gradient, J. Reine Angew. Math., 564 (2003), 63-83. Search in Google Scholar
[3] D. Bate. Structure of measures in Lipschitz differentiability spaces. J. Amer. Math. Soc. 28 (2015), no. 2, 421-482. 10.1090/S0894-0347-2014-00810-9Search in Google Scholar
[4] D. Bate, G. Speight, Differentiability, porosity and doubling in metric measure spaces, Proc. Amer. Math. Soc., 141 (2013), 971-985. 10.1090/S0002-9939-2012-11457-1Search in Google Scholar
[5] M. Bourdon, H. Pajot, Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings, Proc. Amer. Math. Soc., 127 (1999), 2315-2324. 10.1090/S0002-9939-99-04901-1Search in Google Scholar
[6] J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9 (1999), 428-517. 10.1007/s000390050094Search in Google Scholar
[7] J. Cheeger, B. Kleiner, Inverse limit spaces satisfying a Poincaré inequality, Anal. Geom. Metr. Spaces 3 (2015), 15–39 10.1515/agms-2015-0002Search in Google Scholar
[8] M. Christ, A T(b) theorem with remarks on analytic capacity and the Cauchy integral, Colloq. Math., 60/61 (1990), 601-628. 10.4064/cm-60-61-2-601-628Search in Google Scholar
[9] E. Durand-Cartagena, J.A. Jaramillo, N. Shanmugalingam, The 1-Poincaré inequality in metric measure spaces, Michigan Math. J., 61 (2012), 63-85. 10.1307/mmj/1331222847Search in Google Scholar
[10] G. Francos, The Luzin theorem for higher-order derivatives, Michigan Math. J., 61 (2012), 507-516. 10.1307/mmj/1347040255Search in Google Scholar
[11] P. Hajłasz, J. Mirra, The Lusin theorem and horizontal graphs in the Heisenberg group. Anal. Geom. Metr. Spaces, 1 (2013), 295-301. Search in Google Scholar
[12] J. Heinonen, P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math., 181 (1998), 1-61.. 10.1007/BF02392747Search in Google Scholar
[13] J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson. Sobolev Spaces on Metric Measure Spaces: An Approach Based on Upper Gradients. New Mathematical Monographs: 27. Cambridge University Press, Cambridge. 2015. 10.1017/CBO9781316135914Search in Google Scholar
[14] S. Keith, Modulus and the Poincaré inequality on metric measure spaces, Math. Z., 245 (2003), 255-292. 10.1007/s00209-003-0542-ySearch in Google Scholar
[15] S. Keith, A differentiable structure for metric measure spaces. Adv. Math., 183 (2004), 271-315. Search in Google Scholar
[16] B. Kleiner, J. Mackay, Differentiable structures on metric measure spaces: A primer, preprint (2011). To appear, Annali SNS. arXiv:1108.1324. Search in Google Scholar
[17] B. Kleiner, A. Schioppa, PI spaces with analytic dimension 1 and arbitrary topological dimension, preprint (2015). arXiv:1504.06646. Search in Google Scholar
[18] T. Laakso, Ahlfors Q-regular spaces with arbitrary Q > 1 admitting weak Poincaré inequality, Geom. Funct. Anal., 10 (2000), 111-123. 10.1007/s000390050003Search in Google Scholar
[19] N. Lusin, Sur la notion de l’intégrale, Ann. Mat. Pura Appl., 26 (1917), 77-129. 10.1007/BF02679738Search in Google Scholar
[20] L. Moonens, W.F. Pfeffer, The multidimensional Luzin theorem, J. Math. Anal. Appl., 339 (2008), 746-752. 10.1016/j.jmaa.2007.07.041Search in Google Scholar
[21] S. Semmes, Finding curves on general spaces through quantitative topology, with applications to Sobolev and Poincaré inequalities, Selecta Math. (N.S.), 2(2) (1996), 155-295. 10.1007/BF01587936Search in Google Scholar
© 2015 Guy C. David
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
