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.
Alternative restricted creeping-flow force balance
Ideal creeping-flow alternative, prescribed stress/data, constant density, no unconditional NS approximation error or empirical premise.
Postulate
For a smooth constant-density incompressible Newtonian continuum in an inertial Cartesian chart, select the steady zero-inertia alternative force balance on an open region . Let be constant mass density, constant dynamic viscosity, velocity, pressure and specified body acceleration. In SI units, is , is , is , is , and is in pascals. Adopt Here and . This is an alternative zero-inertia branch: the full material-acceleration momentum equation is not also imposed on the same field. For constant , the adopted balance is equivalent to . The Postulate does not assert that small Reynolds number alone yields this branch, provide an approximation error or solution-existence result, or establish empirical validity. Boundary and far-field data remain separate.
Postulate references
Facts & Assumptions
Given: Smooth fields, constant , specified body acceleration and the adopted steady zero-inertia alternative force law.
Newtonian stress and Fourier conductive closure: the selected mechanical closure is in the constant-density incompressible subcase.
Specified wall, thermal, periodic and initial data: boundary and far-field data are separately selected and are not implied by the local force law.
Classical frames, primitive quantities and SI units: Newtonian spacetime has absolute time in seconds and oriented Euclidean affine three-space; an inertial Cartesian chart is an orientation-preserving affine isometry from that space to , with coordinates in metres and chart changes , for constant , relative velocity in , and translation in metres. Here a frame means the adapted chart, not an observer congruence or basis field.
Formulation notes
The steady zero-inertia balance is an adopted alternative branch, not a deduction from the full material-acceleration equation or from experimental data. For constant , componentwise differentiation gives . Incompressibility therefore makes the adopted force law equivalent to . Boundary and far-field data remain separate inputs; this algebraic equivalence supplies no approximation-error or solvability claim.