Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

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 I⊂R be a bounded open time interval measured in seconds and let Ω⊂R3 be a fixed bounded open spatial domain measured in metres whose boundary is locally a Lipschitz graph after rigid coordinate changes. Take ρ0>0 kilograms per cubic metre and μ0>0 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 u:I×Ω→R3 be a twice continuously differentiable velocity in metres per second, p:I×Ω→R a once continuously differentiable pressure multiplier in pascals, and b:I×Ω→R3 a continuous body-acceleration field in metres per second squared. Define D=(∇u+∇uT)/2 and the stress tensor σ=−pI3+2μ0D in pascals, where I3 is the 3×3 identity and (div⁡σ)i=∑j=13∂xjσij.

The forced incompressible Newtonian branch adopts

div⁡u=0,ρ0(∂tu+(u⋅∇)u)=ρ0b+div⁡σ.

Equivalently, since μ0 is constant and div⁡u=0, its momentum equation is

ρ0(∂tu+(u⋅∇)u)+∇p=μ0Δu+ρ0b.

The derived kinematic viscosity is νphys=μ0/ρ0 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 u admit a continuous extension u‾:I×Ω‾→R3 of its interior values, and define its classical wall trace by uΓ(t,x):=u‾(t,x) for (t,x)∈I×∂Ω. This extension, when it exists, is unique because Ω is dense in Ω‾. The separately selected no-slip boundary datum is uΓ=0; 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.

Depends on

Dependency tree · 2 levels

Sources