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.
Turbulent averaging and open closure questions
Formal finite weighted averaging of smooth incompressible model fields and contextual limits on closure claims. No statistical averaging theorem, empirical turbulence observation, closure law, scaling law, or universality result is asserted.
Remark
Let be an open time interval, let be an open spatial region, and let . For , let be in with continuous second spatial derivatives, let be , and let be continuous. Suppose and
for one common constant . In the formal SI fluid interpretation, the equation is per unit mass: is velocity (m s), is pressure per unit mass (m s), is body force per unit mass, or acceleration (m s), and is kinematic viscosity (m s). These units specify an interpretation of the fields and do not assert physical applicability. Fix dimensionless weights with , define , , , , and , and use with rowwise tensor divergence. Thus has units m s under this interpretation. The exact finite weighted identity is
This is an identity for the specified smooth fields and fixed finite weights. For comparison, choose and a finite such that . For each fixed , the temporal average of the first supplied field over this window is ; its componentwise ordinary Riemann integral exists because is continuous on the compact window. No equality of this temporal average, the finite weighted mean , or a probability-space expectation is assumed or deduced. No long-time limit as is asserted. The tensor is the covariance term left by the nonlinear product; a closure prescription is an additional model relation that specifies this unresolved term using selected mean fields or additional variables. The identity itself supplies no such prescription. This remark asserts no measured turbulent flow, statistical averaging theorem, closure law, scaling law, universality result, or existence theorem for turbulent solutions.