LetThe compact support of ensures that this sum has only finitely many nonzero terms almost surely. The intensity measure of the ideal gas isApplying the first-moment identity in Campbell theorem gives
For the second moment, separate equal and distinct particles:Subtracting yieldsThese are the mean and variance formulas in Campbell's theorem for a homogeneous Poisson point process.
Solved by gpt-5.6-sol high.
Codex Wiki