How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exact homogeneous BGK fast relaxation
Statement
Adopt Countable Choice, denoted , as in the kinetic-density definition. Let , , let be a relaxation time in seconds, and let be dimensionless. Let be a finite-valued measurable velocity density with units fixed by the kinetic-density definition, with , number density , and strictly positive centered second moment. Let be its positive-temperature Gaussian from the single-species BGK definition. Fix a constant reference density with the same units as and assume , with and the integrand assigned value zero where . Define Then , has the same mass, momentum, and kinetic energy as for every , belongs to , and solves, as an equality in , A solution means a nonnegative function satisfying this equality at each time. The solution is unique among nonnegative solutions in this function class whose density and temperature remain strictly positive. Moreover, and for every , Thus the equilibrium limit is exact for each fixed and in spacetime weighted , but need not be uniform at . This branch has stationary homogeneous Euler moments; it gives no evolving inhomogeneous Euler limit.
Statement references
Facts & Assumptions
Given: Countable Choice and nonnegative with finite weighted third moment and positive variance, its moment-matched Maxwellian , and .
Gaussian Maxwellian normalization, stress, and heat flux: under the adopted Countable Choice, has exactly the mass, momentum, and energy moments used to define it, and belongs to .
The initial data and parameters satisfy the hypotheses in the Statement.
Proof
Put . Then and , so . Since , this formula is continuously differentiable in that Banach space and
Let be any other solution in the stated class. For each invariant polynomial of degree at most two, the functional is bounded on because . Continuity of this linear functional and the defining Banach-space derivative give . Integrating the equation against these invariants shows each derivative is zero, because and have the same defining moments by [F2]. Its moments are therefore those of , so . The equation reduces to in . Multiplication by has zero derivative, hence .
By [F2], the invariant moments of and agree. The affine formula for therefore preserves them. In particular its positive number density and positive centered second moment stay fixed, so for every . Step 1.1 is consequently the stated nonlinear BGK equation with the correct moment-matched target.
Homogeneity of the weight and the exact formula give Integrating in yields the stated bound because . For fixed , as , whereas at the distance is .