Discrete velocity Boltzmann equation in the plane: stationary solutions

The paper proves existence of mild solutions to normal discrete velocity Boltzmann equations sin the plane with no pair of colinear interacting velocities, and given ingoing boundary values. A key property is L1 compactness of the integrated collision frequency for a sequence of approximations. This is proved using the Kolmogorov-Riesz theorem, which here replaces the L1 compactness of velocity averages, not available when the velocities are discrete.