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.
Forced constant-density incompressible Newtonian model
Smooth, forced, constant-density incompressible Newtonian branch with a prescribed body acceleration and separately selected no-slip wall data. The definition asserts no solution existence, solver convergence, or empirical applicability.
Definition
Let be a bounded open time interval measured in seconds and let be a fixed bounded open spatial domain measured in metres whose boundary is locally a Lipschitz graph after rigid coordinate changes. Take kilograms per cubic metre and pascal seconds as primitive branch-local physical parameters: this forced branch adopts them as constant density and dynamic shear viscosity inputs and derives neither from another framework nor from observations. Let be a twice continuously differentiable velocity in metres per second, a once continuously differentiable pressure multiplier in pascals, and a continuous body-acceleration field in metres per second squared. Define and the stress tensor in pascals, where is the identity and .
The forced incompressible Newtonian branch adopts
Equivalently, since is constant and , its momentum equation is
The derived kinematic viscosity is in square metres per second. Pressure is a constraint multiplier, not an equation-of-state pressure. When the stationary no-slip branch is selected, additionally require that admit a continuous extension of its interior values, and define its classical wall trace by for . This extension, when it exists, is unique because is dense in . The separately selected no-slip boundary datum is ; the extension requirement is additional boundary regularity, and neither it, this equality, nor the body force follows from the interior balance. This is a forced branch of the Newtonian model: it adds the prescribed acceleration field to the unforced branch and makes no claim of solution existence or empirical validity.