Extension and trace results for doubling metric measure spaces and their hyperbolic fillings
In this paper we study connections between Besov spaces of functions on a compact metric space , equipped with a doubling measure, and the Newton--Sobolev space of functions on a uniform domain . This uniform domain is obtained as a uniformization of a (Gromov) hyperbolic filling of . To do so, we construct a family of hyperbolic fillings in the style of the work of Bonk and Kleiner and the work of Bourdon and Pajot. Then for each parameter we construct a lift of the doubling measure on to , and show that is doubling and supports a -Poincaré inequality. We then show that for each with and there is a choice of such that the Besov space is the trace space of the Newton--Sobolev space when . Finally, we exploit the tools of potential theory on to obtain fine properties of functions in , such as their quasicontinuity and quasieverywhere existence of -Lebesgue points with , where is a doubling dimension associated with the measure on . Applying this to compact subsets of Euclidean spaces improves upon a result of Netrusov in .