Alphabeta Math
ExampleConstruction: AI-generatedVerification: 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.

Homogeneous translating polytropic fluid

Physical scope

Exact spatially homogeneous positive-density state of the unforced polytropic Euler model on a periodic cell. It makes no thermal, molecular, shock, or empirical claim.

Example

Assume the Axiom of Countable Choice. Let d∈{1,2,3} and L>0 measured in metres, and write TLd=(R/(2πLZ))d for the coordinate torus. When d=3 it is the physical cell; when d=1,2 it is the reduced coordinate torus and the physical cell is TL3. In SI units, choose a constant density ρ∗>0 in kilograms per cubic metre, a constant velocity V∗∈Rd in metres per second, a constant κphys>0 in pascals times (m3/kg)γ, and a dimensionless exponent γ>1. Define W∗∈R3 by W∗=V∗ for d=3 and W∗=(V∗,1,…,V∗,d,0,…,0) for d=1,2. Identify fields on the three-dimensional torus with their smooth 2πL-periodic lifts to R3 when applying the local continuum equations. In the unforced three-dimensional polytropic Euler model with pphys=κphysρphysγ and adopted specific internal energy ephys(ρ)=κphysργ−1/(γ−1), take initial data ρphys(0,X)=ρ∗ and uphys(0,X)=W∗. The constant fields ρphys(t,X)=ρ∗, uphys(t,X)=W∗, and pphys(t,X)=κphysρ∗γ form a smooth solution for every t≥0. For d=1,2 their reduced representation on TLd has velocity V∗. The total energy density 12ρ∗∣W∗∣2+ρ∗ephys(ρ∗)=12ρ∗∣W∗∣2+κphysρ∗γ/(γ−1), measured in pascals, is constant in space and time and equals the reduced expression with ∣V∗∣2. For d=3 this is the unique local solution branch; for d=1,2 it is the unique branch in the transversely invariant reduced model.

Facts & Assumptions

Given: Countable Choice, d,L,ρ∗,V∗,κphys,γ as in the Example, and the force-free periodic polytropic Euler model.

[F1]

Local positive-density polytropic model evolution: its current Statement gives unique smooth local evolution and mean-energy conservation for smooth positive-density periodic data in the fixed polytropic model, with the one- and two-dimensional cases defined as transverse invariant reductions of the three-dimensional model; the conclusion is conditional on Countable Choice and its stated suppliers.

Verification

Given: The Example data, the exact local model equation in the Statement, and [F1].

1.1givenalgebra

Since ρphys and uphys are constant in t and X, ∂tρphys=0, ∇X⋅(ρphysuphys)=0, and ∂tuphys+(uphys⋅∇X)uphys=0. Thus the mass equation holds in dimension three and in each reduced dimension; for d=1,2, the zero-padded lift has the same vanishing derivatives.

2.1givenstep 1.1algebra

The pressure κphysρ∗γ is constant, so its gradient vanishes; the momentum equation also holds. The density stays strictly positive, and all fields are smooth and periodic.

3.1givenF1step 1.1step 2.1algebra∎

The local theorem [F1] gives uniqueness for these same initial data. Therefore its local branch coincides with the constant solution verified in steps 1.1 and 2.1, which already extends for every t≥0. Its energy density is the same constant displayed in the Example.

Depends on

Dependency tree · 2 levels

Sources