Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Kinetic density, velocity, covariance stress and heat flux

Definition

Use the velocity space R3 and Lebesgue measure dv fixed by Cutoff elastic-reflection collision measure and gain. Let Ω=∏j=13(R/LjZ) be a flat periodic spatial domain with periods Lj>0 (in metres in the physical interpretation), and let I⊆R be an open time interval. Let F:Ω×R3×I→[0,∞) be a measurable number density in position and velocity. At each (r,t) where the integrals below are finite, assume 0<n(r,t):=∫R3F(r,v,t) dv<∞ and ∫∣v∣3F(r,v,t) dv<∞. Fix a particle mass m>0 in kilograms, with number count dimensionless. In SI, F has units m−3(m s−1)−3.

Define (x⊗y)ij=xiyj, ∇r⋅T by (∇r⋅T)i=∑j∂rjTij, and A:B=∑i,jAijBij. Define the number density n, mass density ρ=mn, mean velocity u=n−1∫vF dv, kinetic covariance momentum flux

Π=m∫R3(v−u)⊗(v−u)F dv,

internal kinetic-energy density e=12tr⁡Π, and heat-flux vector

q=m2∫R3∣v−u∣2(v−u)F dv.

Their SI units are respectively m−3, kg m−3, m s−1, pascals, J m−3, and J m−2 s−1. The tensor Π is symmetric because each integrand (v−u)⊗(v−u) is symmetric, and it is positive semidefinite because for every ξ∈R3, ξTΠξ=m∫[ξ⋅(v−u)]2F dv≥0. It is the kinetic momentum-flux covariance; in the balance law below it enters with a plus sign, while a continuum tensile-stress variable defined from it would be −Π.

Depends on

Dependency tree · 2 levels

Sources