We establish smoothing estimates in the framework of hyperbolic Sobolev
spaces for the velocity averaging operator ρ of the solution of the
kinetic transport equation. If the velocity domain is either the unit sphere or
the unit ball, then, for any exponents q and r, we find a characterisation
of the exponents β+ and β−, except possibly for an endpoint case,
for which D+β+D−β−ρ is bounded from space-velocity
Lx,v2 to space-time LtqLxr. Here, D+ and D− are the classical
and hyperbolic derivative operators, respectively. In fact, we shall provide an
argument which unifies these velocity domains and the velocity averaging
estimates in either case are shown to be equivalent to mixed-norm bounds on the
cone multiplier operator acting on L2. We develop our ideas further in
several ways, including estimates for initial data lying in certain Besov
spaces, for which a key tool in the proof is the sharp ℓp decoupling
theorem recently established by Bourgain and Demeter. We also show that the
level of permissible smoothness increases significantly if we restrict
attention to initial data which are radially symmetric in the spatial variable.Comment: 23 pages; some additional arguments added to the proof of Theorem 1.3
in the case d=3; to appear in Journal de Math\'ematiques Pures et
Appliqu\'ee