Velocity averaging -- a general framework
We prove that the sequence of averaged quantities $\int_{\R^m}u_n(\mx,\msnop)$ $ρ(\msnop)d\msnop$, is strongly precompact in $\Ldl\Rd$, where $ρ\in \Ldc{\R^m}$, and $u_n\in \Ld{\R^m; \pL s\Rd}$, $s\geq 2$, are weak solutions to differential operator equations with variable coefficients. In particular, this includes differential operators of hyperbolic, parabolic or ultraparabolic type, but also fractional differential operators. If $s>2$ then the coefficients can be discontinuous with respect to the space variable $\mx\in \R^d$, otherwise, the coefficients are continuous functions. In order to obtain the result we prove a representation theorem for an extension of the $H$-measures.