Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 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.

Fluid equation scalings and dimensionless numbers

Statement

Assume Countable Choice. Let d∈{1,2,3}, ℓ>0, and ν≥0, and write Qℓ=Rd/(ℓZ)d. For a period cell, define ∥f∥Lvol2(Qℓ)=(∫[0,ℓ]d∣f(x)∣2dx)1/2.

First, for T>0 and either Ω=Rd or Ω=Qℓ, let u∈C∞([0,T]×Ω;Rd) and π∈C∞([0,T]×Ω;R) be a velocity-pressure pair solving the unforced incompressible Navier–Stokes system ut+(u⋅∇)u=−∇π+νΔu,div⁡u=0, then for any λ>0, uλ(t,x)=λu(λ2t,λx),πλ(t,x)=λ2π(λ2t,λx) solves the same system with the same viscosity on Rd or on the torus of period ℓ/λ, respectively, for 0≤t≤T/λ2. On the torus, use the Fourier Leray multiplier P0=I, Pξ=I−ξξT/∣ξ∣2 for ξ≠0; the projected equation is preserved as well because Pλξ=Pξ. For a cell-volume L2 norm, ∥uλ(0)∥Lvol2(Qℓ/λ)=λ1−d/2∥u(0)∥Lvol2(Qℓ).

Second, for any α,β>0, if T>0, Ω⊆Rd is open, u∈C∞([0,T]×Ω;Rd), and π∈C∞([0,T]×Ω;R) solve the unforced incompressible Euler system ut+(u⋅∇)u=−∇π, div⁡u=0, then on the scaled domain β−1Ω, uα,β(t,x)=αu(αβt,βx),πα,β(t,x)=α2π(αβt,βx) solves the same equation on the correspondingly scaled domain and time interval 0≤t≤T/(αβ). These transformations are equation symmetries; on a torus they transform its period.

Finally, let U,L,ρ∗,η>0 be physical scales in SI units, where U is in m/s, L in m, ρ∗ is a constant positive reference density in kg/m3, and dynamic viscosity η is in Pa⋅s. Set kinematic viscosity ν=η/ρ∗, in m2/s. Let Ω⊆Rd be an open dimensionless spatial region and I⊆R an open time interval; set Ωphys=LΩ and Iphys=(L/U)I. Take u,v∈C∞(Ω×I;Rd) and π,δρ′∈C∞(Ω×I;R); the scaled fields u,v,π,δρ′ are dimensionless. Define physical velocity maps uphys,vphys∈C∞(Ωphys×Iphys;Rd), physical-pressure maps pphys,πphys∈C∞(Ωphys×Iphys;R), and density-perturbation map δρ∈C∞(Ωphys×Iphys;R) by uphys(X,tphys)=Uu(X/L,Utphys/L),pphys(X,tphys)=ρ∗U2π(X/L,Utphys/L), vphys(X,tphys)=Uv(X/L,Utphys/L),δρ(X,tphys)=ρ∗δρ′(X/L,Utphys/L). Adopt the constant-reference-density kinematic-pressure convention πphys:=pphys/ρ∗; thus πphys=U2π has units m2/s2, while pphys has units Pa. If uphys,πphys satisfy the constant-density incompressible system ∂tphysuphys+(uphys⋅∇X)uphys=−∇Xπphys+νΔXuphys,div⁡Xuphys=0, then the stated substitution gives the dimensionless system ∂tu+(u⋅∇x)u=−∇xπ+Re−1Δxu,div⁡xu=0, where Re=UL/ν=ρ∗UL/η. Let peos:(0,∞)→R be a differentiable equation-of-state pressure map, measured in Pa, at ρ∗, with peos′(ρ∗)>0 in m2/s2, and set the sound speed c∗=peos′(ρ∗) in m/s. For the linear acoustic tangent system, let the physical fields δρ:Ωphys×Iphys→R and vphys:Ωphys×Iphys→Rd satisfy ∂tphysδρ+ρ∗div⁡Xvphys=0,∂tphysvphys+(c∗2/ρ∗)∇Xδρ=0. Here δρ has units kg/m3. The scales X=Lx, tphys=(L/U)t, δρ=ρ∗δρ′, and vphys=Uv give the momentum coefficient Ma−2, where Ma=U/c∗. Both Re and Ma are dimensionless. These are chain-rule identities and assert no continuum limit or empirical similarity.

Facts & Assumptions

Given: The smooth equations and positive scale constants in the Statement. All scale constants are mathematical parameters; no empirical assumption is made.

[F1]

Periodic Leray and pressure maps: at nonzero Fourier frequency ξ, the Leray multiplier is Pξ=I−ξξT/∣ξ∣2, and the pressure multiplier has the same degree-zero dependence on frequency direction.

[A1]

Countable Choice: every countable family of nonempty sets has a choice function (The Axiom of Countable Choice (ACω)).

Proof

1.1givenalgebra

For the Navier–Stokes scaling, the chain rule gives (uλ)t=λ3ut(λ2t,λx), (uλ⋅∇)uλ=λ3(u⋅∇)u(λ2t,λx), ∇πλ=λ3∇π(λ2t,λx), and Δuλ=λ3Δu(λ2t,λx). Also div⁡uλ=λ2div⁡u. Thus the full equation and divergence constraint retain the same viscosity.

1.2givenalgebra

For the Euler transformation, the time derivative, convective term, and pressure gradient each acquire the common factor α2β; the divergence acquires αβ. Thus the equation and divergence constraint are preserved on the scaled domain and time interval.

1.3givenalgebra

Under the stated dimensional change of variables and normalization πphys=pphys/ρ∗, each acceleration and kinematic-pressure-gradient term in the physical incompressible equation has factor U2/L, while νΔXuphys has factor νU/L2. Dividing by U2/L gives the dimensionless coefficient ν/(UL)=Re−1; substituting ν=η/ρ∗ gives Re=ρ∗UL/η.

2.1givenA1F1step 1.1algebra

On the period-ℓ torus, a Fourier frequency ξ=2πk/ℓ becomes λξ on the period-ℓ/λ torus. Since Pλξ=Pξ and the pressure multiplier in [F1] also depends only on frequency direction, the projected equation scales with the same factor λ3. For the volume norm, change variables y=λx over a period cell: dx=λ−ddy while ∣uλ∣2=λ2∣u∣2, so the squared norm scales by λ2−d and its square root by λ1−d/2.

3.1givenalgebra∎

In the linear acoustic equations δρt+ρ∗div⁡vphys=0 and (vphys)t+(c∗2/ρ∗)∇Xδρ=0, substitute δρ=ρ∗δρ′, vphys=Uv, X=Lx, and tphys=(L/U)t. Dividing the first equation by ρ∗U/L gives δρt′+div⁡v=0; dividing the second by U2/L gives vt+(c∗2/U2)∇δρ′=0. Since Ma=U/c∗, the coefficient is Ma−2.

Depends on

Dependency tree · 2 levels

Sources