Thought experimentStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck pendingverified 2026-10-23 (gpt-6.1-sol)

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.

Prepared non-Maxwellian distribution and initial layer

Physical scope

Hypothetical spatially homogeneous preparation for the single-species BGK model, using a compactly supported non-Maxwellian initial velocity density. No apparatus, observation, or empirical relaxation is reported.

Statement

Assume Countable Choice ${A C}_{ω}$ : every $N$ -indexed family of nonempty sets has a choice function.

Consider a hypothetical homogeneous three-dimensional gas with particle mass $m > 0$ in kilograms, Boltzmann constant $k_{B} > 0$ in joules per kelvin, number density $n_{0} > 0$ in $m^{- 3}$ , translational temperature $T_{0} > 0$ in kelvins, and a constant reference density $f_{r e f} > 0$ with the same units as the velocity density below. Put $θ = k_{B} T_{0} / m$ in $m^{2} s^{- 2}$ , $V_{c} = \sqrt{3 θ}$ in $m s^{- 1}$ , and define the prepared number density in velocity space by

$f_{0} (v) = \frac{n_{0}}{8 V_{c}^{3}} 1_{[- V_{c}, V_{c}]^{3}} (v), v \in R^{3} .$

The density $f_{0}$ has units $s^{3} m^{- 6}$ , so $f_{0} d^{3} v$ is a number density in $m^{- 3}$ .

Here $1_{C}$ is the function equal to one on the cube $C$ and zero outside it. The corresponding Maxwellian with the same number density, zero mean velocity, and temperature $T_{0}$ is

$M (v) = n_{0} {(\frac{m}{2 π k_{B} T_{0}})}^{3 / 2} \exp (- \frac{m ∣ v ∣^{2}}{2 k_{B} T_{0}}) .$

Define the dimensionless weighted norm by $∥ g ∥_{1, 3} = \int_{R^{3}} (1 + ∣ v / v_{*} ∣^{3}) ∣ g (v) ∣ d^{3} v$ , where $v_{*} = 1 m s^{- 1}$ ; for velocity densities $g$ it has units $m^{- 3}$ . Under the homogeneous fast-scale conserving BGK model with $τ > 0$ seconds and dimensionless $ε > 0$ , this preparation has an exact initial-layer solution: for every fixed $t > 0$ , $f^{ε} (t) \to M$ in this weighted $L^{1}$ norm as $ε \to 0$ , while $f^{ε} (0) = f_{0} \neq M$ . The compactly supported $f_{0}$ is a hypothetical distribution, not an observed preparation or experiment.

Statement references

Countable Choice inherited from the BGK equilibration supplier

François Golse and C. David Levermore, Fluid Dynamics from Kinetic Equations, Lecture 2, “The BGK Operator”

David Tong, Lectures on Kinetic Theory, §2.5.1 (relaxation-time approximation and its non-exactness qualification)

Facts & Assumptions

Given: Countable Choice and $n_{0}, T_{0}, m, k_{B}, τ, ε, f_{r e f} > 0$ with the units and dimensionless conventions in the statement, the hypothetical $f_{0}$ , and the homogeneous BGK model.

[F1]

Exact equilibrium approach in the BGK model: under Countable Choice, for nonnegative initial data with finite $ω_{3}$ moment, where $ω_{3} (v) = \sum_{j = 0}^{3} (∣ v ∣ / v_{*})^{j}$ , positive number density and centered second moment, and finite reference-relative entropy, the homogeneous fast-scale BGK solution has the exact formula and weighted-norm equality in its Statement.

[A1]

The Axiom of Countable Choice ( ${A C}_{ω}$ ): the assumed Countable Choice is inherited from the kinetic measure and Gaussian-moment conventions of [F1]; the explicit cube preparation requires no additional choice.

Proof

1.1givenalgebra

Let $C = n_{0} / (8 V_{c}^{3})$ and $R = \sqrt{3} V_{c} / v_{*}$ . The cube has volume $8 V_{c}^{3}$ , so $\int f_{0} d^{3} v = n_{0}$ . Symmetry of each interval gives $\int v f_{0} d^{3} v = 0$ . For the second moment, each coordinate contributes $(2 V_{c})^{2} \int_{- V_{c}}^{V_{c}} s^{2} d s = 8 V_{c}^{5} / 3$ , so $\int_{[- V_{c}, V_{c}]^{3}} ∣ v ∣^{2} d^{3} v = 8 V_{c}^{5}$ ; dividing by $8 V_{c}^{3}$ gives mean square speed $V_{c}^{2}$ . Thus $\int ∣ v ∣^{2} f_{0} d^{3} v = n_{0} V_{c}^{2} = 3 n_{0} k_{B} T_{0} / m$ , so the mean velocity is zero and its temperature is $T_{0}$ . On the support, $ω_{3} (v) \leq 1 + R + R^{2} + R^{3}$ , hence $\int ω_{3} f_{0} d^{3} v \leq n_{0} (1 + R + R^{2} + R^{3}) < \infty$ . With $f_{r e f} > 0$ in the same units as $C$ , $\int f_{0} ∣ \log (f_{0} / f_{r e f}) ∣ d^{3} v = n_{0} ∣ \log (C / f_{r e f}) ∣ < \infty$ , using $0 \log 0 = 0$ .

2.1givenA1F1step 1.1

The Maxwellian $M$ is strictly positive on all of $R^{3}$ , whereas $f_{0}$ vanishes outside the compact cube, so $f_{0} \neq M$ almost everywhere and $∥ f_{0} - M ∥_{1, 3} > 0$ . The data in step 1.1 satisfy the hypotheses of [F1]; applying it under [A1] gives the exact solution and exponential weighted-norm equality.

3.1givenF1step 2.1algebra∎

For each fixed $t > 0$ , $e^{- t / (ε τ)} \to 0$ as $ε \to 0$ , so the equality in step 2.1 gives $f^{ε} (t) \to M$ in weighted $L^{1}$ . At $t = 0$ , the solution is $f_{0}$ , whose positive mismatch was proved in step 2.1. The initial layer is therefore a conditional model prediction for this hypothetical preparation, not an empirical result.

Remarks

Supplier status for Exact equilibrium approach in the BGK model: (current same-batch draft physics theorem; its K01 mathematical suppliers, including Exact homogeneous BGK fast relaxation and Exponential reference-relative entropy bound for homogeneous BGK, are current draft carriers with Step 1 readiness records marked ready, recording authoring readiness but not proof acceptance).

Remarks references

Exact equilibrium approach in the BGK model

Exact homogeneous BGK fast relaxation

Exponential reference-relative entropy bound for homogeneous BGK