Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-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.

Single-species BGK relaxation operator

Definition

Adopt Countable Choice, denoted ACω, as in the kinetic-density definition. Fix the particle mass m>0 in kilograms, Boltzmann constant kB>0 in joules per kelvin, and velocity Lebesgue measure dv from the kinetic-density definition. Put v∗=1 m s−1 and ω3(v)=∑j=03(∣v∣/v∗)j. Here v∈R3 is measured in metres per second, and f is a number density in velocity space with units s3 m−6. For a finite-valued nonnegative measurable velocity density f:R3→[0,∞) with finite absolute third moment ∫ω3(v)f(v) dv<∞, set n:=∫f dv. Where n>0, set u:=n−1∫vf dv and T:=m(3kBn)−1∫∣v−u∣2f dv; then n has units m−3, u has units m s−1, and T has units kelvins. Define the admissible BGK input domain DBGK:={f:∫ω3f dv<∞, f≥0 finite-valued measurable, n>0, ∫∣v−u∣2f dv>0}. Fix a relaxation time τ>0 measured in seconds. For f∈DBGK, the temperature T is strictly positive, θ:=kBT/m has units m2 s−2, and the moment-matched Maxwellian M[f] and relaxation operator are defined by the following formulas; M[f] has the same units as f: M[f](v):=n(2πθ)−3/2exp⁡(−∣v−u∣2/(2θ)),QBGK(f):=M[f]−fτ. The displayed formula defines the single-species Bhatnagar–Gross–Krook (BGK) relaxation operator pointwise on DBGK, with QBGK(f) in units of f per second. The corresponding accelerated homogeneous model with dimensionless parameter ϵ>0 is ∂tf=QBGK(f)/ϵ. Outside DBGK this item assigns no BGK operator. This is a prescribed relaxation model. It is distinct from the binary collision operator and does not by itself assert a derivation from microscopic mechanics or an inhomogeneous hydrodynamic limit.

Depends on

Dependency tree · 2 levels

Sources