Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pending‡ sources checked 2026-10-23
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

Physical scope

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.

Depends on

Dependency tree · 2 levels

Sources