Jeans theorem states that a steady Collisionless Boltzmann equation solution depends on phase-space coordinates only through integrals of motion, and that a nonnegative function of isolating integrals gives a steady collisionless distribution function on its domain.
New to topics? Read the docs here!