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.
Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization
Adoption of the fluid constitutive branches of the continuum framework: an incompressible Newtonian model with constant density, divergence-free velocity, pressure and positive dynamic viscosity; a barotropic inviscid model with a pressure law, conservative body force and enthalpy; and the periodic-cell idealization on the three-torus used by the local well-posedness theorem. The postulate excludes compressible viscosity with thermal coupling, non-Newtonian and turbulent-closure models, surface tension and multiphase flow, and asserts no measured viscosity, pressure law or boundary condition.
Postulate
Adopt the following constitutive branches for models of the continuum framework (Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance, Continuum body data, the fixed inertial frame and the dimensions of the fields), with the stress conventions of Traction fields and stress matrices of the continuum model, with units and sign conventions.
(a) Incompressible Newtonian fluid. Model data are a constant density , a dynamic viscosity (constant, dimension , in SI measured in , Dimensions and SI unit conventions of the non-relativistic classical mechanics framework) and a pressure field of class . The branch consists of the incompressibility constraint
on the current regions (Euclidean spatial calculus: gradient, divergence and material derivative) together with the Newtonian stress field
the second term being symmetric. By the continuity equation of the model (The continuity equation of the continuum model: local form of mass balance, the material form, and the incompressibility reading) the constraint is equivalent, in this branch, to the density being constant along every label worldline, so the constant-density reading is consistent with the adopted mass balance.
(a0) Constant-density incompressible inviscid fluid. Adopt separately the Euler branch: is constant, , pressure is a Lagrange multiplier enforcing this constraint, and . This is the same stress form as (a) with , adopted as model structure; it is not obtained by imposing a barotropic pressure law on a constant density. No positive-viscosity assumption is used in this branch.
(b) Barotropic inviscid fluid. Model data are a pressure law and a potential with the conservative body force . The branch's stress field is , where is the model density field of The density field of the continuum model and the mass of a material subregion. Its enthalpy function is defined by , with a fixed model reference density of the same dimension as . It is characterized by and has dimension , energy per unit mass; the spatial enthalpy field is (Incompressible Newtonian and barotropic inviscid fluid constitutive models, Continuum body data, the fixed inertial frame and the dimensions of the fields).
(c) Periodic-cell idealization and scale conventions. This clause applies only to the constant-density incompressible branches (a) and (a0), with constant and constant ; in (a0), set . It makes no incompressible reduction or pressure-gauge assertion for the variable-density barotropic branch (b). Assume (The Axiom of Countable Choice ()) for the normalized product measure and Fourier/Sobolev machinery of this clause; the pointwise stress laws of (a), (a0) and (b) do not use this premise. Fix a cell side length and velocity scale as model data with dimensions and , and let be the time scale. The physical spatial cell is , with physical volume ; it describes a spatially periodic ideal medium, not a material boundary or a measured wall law. Write and , using an optional fixed time origin. For physical velocity , pressure and density , define dimensionless fields and viscosity by The inviscid incompressible branch (a0) has and . The normalized unit-torus measure and norms of Periodic vector Sobolev spaces on the three-torus, the weight family, and the Leray projection apply to , not to an unscaled dimensionful velocity. In the absence of body force the physical equation scales exactly to A dimensionless lifespan is a physical lifespan , and . Pressure has zero spatial mean as the chosen gauge. The periodic geometry and the scales are adopted model data, not observed boundary behavior or measured parameters. A change of inertial frame carries the cell lattice to ; the unit-torus identification is made in the correspondingly rotated cell coordinates, rather than silently keeping a fixed lattice under an arbitrary rotation.
(d) Validity and exclusions. The branches are not adopted for: compressible viscous flow with temperature dependence or thermal coupling; non-Newtonian materials (shear-dependent or viscoelastic response); turbulent closures or averaged models (whose additional terms are not the fields of this branch); surface tension, capillarity and multiphase interfaces; and flows in which the continuum description itself fails at the scales of interest. Wall conditions such as the no-slip condition used later are additional ideal boundary data; they are adopted where stated, not derived, and their empirical validity has limits that are not formalized here.
(e) Status. The constitutive laws, the incompressibility constraint, the pressure law and the periodic-cell geometry are adopted model structure, not consequences of the balance principles. The viscosity , the pressure law and the potential are model parameters or model functions: whenever numerical values are used they enter as measured empirical premises with their conditions and uncertainty, and no measured value is asserted by this postulate.
Depends on
Incompressible Newtonian and barotropic inviscid fluid constitutive models
Periodic vector Sobolev spaces on the three-torus, the weight family, and the Leray projection
Continuum body data, the fixed inertial frame and the dimensions of the fields
Traction fields and stress matrices of the continuum model, with units and sign conventions
Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
Adopted mass balance: the mass of every material subregion is constant in time
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Euclidean spatial calculus: gradient, divergence and material derivative
The continuity equation of the continuum model: local form of mass balance, the material form, and the incompressibility reading
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Sections 12.1-12.3 (inviscid and incompressible viscous fluid models, with the Newtonian example)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Sections 8.4-8.5 (ideal and viscous incompressible fluid models)