  In this paper, we show that the entropy production functional for the
polyatomic ellipsoidal BGK model can be decomposed into two non-negative parts.
Two applications of this property: the $H$-theorem for the polyatomic BGK model
and the weak compactness of the polyatomic ellipsoidal relaxation operator, are
discussed.
