Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck pendingverified 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.

Restricted incompressible creeping-flow Stokes model

Physical scope

Ideal creeping-flow auxiliary model with specified data/decay/regularity; no empirical premises.

Definition

Use the Newtonian Cartesian inertial chart convention of the earlier classical-frame definition, with spatial coordinates x in metres. Let Ω⊆R3 be open, ρ0>0 constant density in kg m−3, μ>0 constant dynamic viscosity in Pa s, u∈C2(Ω;R3) velocity in m s−1, p∈C1(Ω) pressure in pascals, and b∈C0(Ω;R3) specified body acceleration in m s−2. Set D=(∇u+∇uT)/2 in s−1, (div⁡σ)i=∑j∂jσij, and (Δu)i=∑j∂jjui; ∇ has units m−1 and Δ has units m−2. The stress σ=−pI+2μD has units Pa. The selected steady creeping Stokes branch is div⁡u=0,σ=−pI+2μD,div⁡σ+ρ0b=0. Equivalently, −∇p+μΔu+ρ0b=0. The definition uses the zero-inertia alternative force balance and does not also impose the full material-acceleration equation on the same field. Boundary, far-field, geometry and decay conditions are separate. The force-free sphere application selects b=0. No error estimate comparing this steady branch with the full constant-density momentum equation retaining material acceleration is asserted.

Facts & Assumptions

Given: Open Ω, constant ρ0,μ>0, u∈C2, p∈C1, specified b, and adopted constitutive and zero-inertia inputs.

[A1]

Specified wall, thermal, periodic and initial data: boundary and far-field inputs are separate and imply no solution.

[A2]

Newtonian stress and Fourier conductive closure: the selected stress is σ=−pI+2μD; its Fourier law is unused.

[A3]

Alternative restricted creeping-flow force balance: the alternative steady balance is div⁡σ+ρ0b=0, and the full material-acceleration law is not simultaneously imposed.

[F1]

Classical frames, primitive quantities and SI units: time is absolute in seconds on Newtonian spacetime with oriented Euclidean affine three-space; a frame is an adapted Cartesian inertial chart with spatial coordinates in metres and inertial chart changes t∗=t+t0, x∗=Qx+vt+a for constant Q∈SO(3), v in m s−1, and a in metres. Its SI dictionary assigns u units m s−1, ρ0 units kg m−3, p units Pa, μ units Pa s, and b units m s−2.

Proof

1.1givenA2A3F1algebra

Use the adapted Cartesian inertial chart and SI field dictionary in [F1]. The definition combines the incompressible Newtonian stress [A2] with the adopted alternative steady force balance [A3]. It is a formulation definition, not a derivation from measurements.

1.2givenA2A3algebra

Componentwise, (div⁡(2μD))i=μΔui+μ∂idiv⁡u. The last term vanishes; therefore div⁡σ+ρ0b=0 is exactly −∇p+μΔu+ρ0b=0.

2.1givenA1step 1.2algebra∎

No boundary data enter this equivalence; their selection under [A1] gives no existence or error estimate.

Depends on

Dependency tree · 2 levels

Sources