Put and . Indistinguishability gives an exchangeable ensemble. Define unit-normalized marginal distributions
Integrating the dissipative Liouville equation over removes their boundary fluxes. The identical pair terms remain:
This is the first equation of a BBGKY hierarchy, with no independence assumed yet.
The additional physical assumption is a mean-field closure for velocity alignment: neglect pair correlations, . Initial independence alone does not make this exact at later times, because the particles interact. In the usual number convention, and the two-particle distribution function is . Consequently the closed equation at finite is
Neglecting the relative correction gives the intended mean-field alignment equation:
Equivalently, the closure incorporates this large- approximation. It cannot be an exact finite- identity with , since whereas .
There is also a consistent finite- convention yielding the boxed equation directly under the independence closure: define instead. Its total normalization of a probability distribution is , rather than the physical particle number . Thus the displayed source equation needs a stated normalization of a probability distribution convention, or the large- approximation, in addition to neglect of correlations. In the remaining parts we use the displayed mean-field alignment equation itself; its moment identities do not depend on the total normalization of a probability distribution.
Put and . Normalize the symmetric -particle phase-space distribution function to one. Use factorial normalization for its one-particle marginal and two-particle distribution function:
Thus and . For unit particle mass, also carries mass density. These conventions explain why no extra factor occurs in the result.
Separate the Hamiltonian as , where
and contains all terms involving only particles . The stated Poisson bracket gives Hamilton's equations
Conservation of probability along the Hamiltonian flow gives the Hamiltonian Liouville equation
Assume decay of the required velocity moments and either decay or periodic boundary conditions in position. Integrating over eliminates the terms by integration by parts. The terms in differentiating an integrated velocity also vanish. Indistinguishability makes the remaining terms equal, so
Relabeling the two particles gives the first BBGKY hierarchy equation:
This is exact for a differentiable pair potential; no independent-particle closure has been made.
Normalize the symmetric -particle phase-space distribution function to one and write , . The number-normalized one- and two-particle distribution functions are
Thus and . These conventions absorb the otherwise explicit factor in the first BBGKY hierarchy equation.
Separate the Hamiltonian into kinetic energy, external potential energy, and pair potential terms. Their Hamilton's equations give
The sign follows directly from the stated Poisson bracket: . The Hamiltonian Liouville equation is consequently
Integrate over and multiply by . Assume sufficient decay in velocity space and either decay or periodic boundary conditions in position, so that integration by parts removes all transport terms with . The surviving interaction term is
where indistinguishability makes all terms equal. Relabeling as yields the exact result
No assumption of molecular chaos for the Boltzmann equation has entered: the dependence on the two-particle distribution function is still exact.
For identical particles with symmetric, unit-normalized phase-space distribution function , the number-normalized two-particle marginal is . Its integral over is and its full integral is . The factorial convention counts ordered distinct pairs and absorbs the combinatorial coefficient in the first BBGKY hierarchy equation. It does not imply statistical independence of the pair.