“…Compact properties of the integral operator K (for angular cut-off kernels) are extensively studied for monatomic single species, see, e.g., [18,14,12,21], and more recently for monatomic multicomponent mixtures [8,4]. Extensions to polyatomic single species, where the polyatomicity is modeled by either a discrete, or, a continuous internal energy variable [4,5] and polyatomic multicomponent mixtures [2], where the polyatomicity is modeled by discrete internal energy variables, have also been conducted. For models, assuming a continuous internal energy variable, see also [7] for the case of molecules undergoing resonant collisions (for which internal energy and kinetic energy, respectively, are conserved under collisions), and [10,11] for diatomic and polyatomic gases, respectively -with more restrictive assumptions on the collision kernels than in [5], but also a more direct approach.…”