Traces of Besov, Triebel-Lizorkin and Sobolev Spaces on Metric Spaces

We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces Z. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices s < 1, as well as the first order Hajłasz-Sobolev space M1,p(Z). They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regular subset F ⊂ Z are Besov spaces defined intrinsically on F. Our method employs the definitions of the function spaces via hyperbolic fillings of the underlying metric space.

New tensorial estimates in Besov spaces for time-dependent (2 + 1)-dimensional problems

In this paper, we consider various tensorial estimates in geometric Besov-type norms on a one-parameter foliation of surfaces with evolving geometries. Moreover, we wish to accomplish this with only very weak control on these geometries. Several of these estimates were proved in [S. Klainerman and I. Rodnianski, Causal geometry of Einstein-vacuum spacetimes with finite curvature flux, Invent. Math. 159 (2005) 437–529; S. Klainerman and I. Rodnianski, Sharp trace theorems for null hypersurfaces on Einstein metrics with finite curvature flux, Geom. Funct. Anal. 16(3) (2006) 164–229], but in very specific settings. A primary objective of this paper is to significantly simplify and make more robust the proofs of the estimates. Another goal is to generalize these estimates to more abstract settings. In [S. Alexakis and A. Shao, On the geometry of null cones to infinity under curvature flux bounds, Class. Quantum Grav. 31 (2014) 195012], we will apply these estimates in order to consider a variant of the problem in [S. Klainerman and I. Rodnianski, Causal geometry of Einstein-vacuum spacetimes with finite curvature flux, Invent. Math. 159 (2005) 437–529], that of a truncated null cone in an Einstein-vacuum spacetime extending to infinity. This analysis will then be used in [S. Alexakis and A. Shao, Bounds on the Bondi energy by a flux of curvature, to appear in J. Eur. Math. Soc.] to study and to control the Bondi mass and the angular momentum under minimal conditions.