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 Navier friction law for a stationary wall
An adopted smooth stationary impermeable wall law for the incompressible Newtonian branch; no universality, measured coefficient, roughness derivation, or moving-wall slip law is asserted.
Postulate
Let Ω⊂R3 be a bounded domain with C2 boundary, fixed in an inertial Euclidean frame, and let n be its outward unit normal. On ∂Ω, let u be the trace of a C1 fluid-velocity field in metres per second and let σ be the Cauchy-stress tensor in pascals, with traction on the fluid defined by σn. For a vector a, define its tangential projection by aτ:=a−(a⋅n)n. Adopt impermeability u⋅n=0 and the linear friction wall law
(σn)τ=−βuτ,
where β≥0 is a constant with units pascal-seconds per metre. In the incompressible Newtonian branch, write the constant shear-viscosity coefficient as η=μ>0 in pascal-seconds. For β>0, define the corresponding finite slip-length parameter by ℓs:=η/β metres; equivalently, β=η/ℓs. The endpoint β=0 is zero tangential traction and has no finite ℓs. This is a selected wall model, not a consequence of interior balance equations, a measured value of β, or a claim that any material or wall universally obeys it.