Alphabeta Math
Physics theoremStatement: 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.

Linear acoustic model prediction

Physical scope

Exact global smooth tangent-model prediction for a positive-density, no-force barotropic Euler equilibrium at rest on a periodic three-dimensional cell, when p'(rho*)>0. No finite-amplitude error estimate or empirical applicability claim is asserted.

Statement

Assume Countable Choice. Let I⊆R be an open time interval measured in seconds with 0∈I, let L=1 m, and let ΩL:=R3/(2πLZ)3 be a spatial periodic cell with coordinates in metres and volume measure dx induced from a fundamental cell. Let p:(0,∞)→R be a C1 barotropic pressure law in pascals, let ρ∗>0 be a constant reference density in kilograms per cubic metre, and assume p′(ρ∗)>0 in square metres per second squared. The adopted no-force barotropic Euler model is

∂tρ+div⁡(ρu)=0,ρ(∂tu+(u⋅∇)u)+∇p(ρ)=0,

for periodic fields ρ∈C2(I×ΩL;(0,∞)) and u∈C2(I×ΩL;R3), where density is in kilograms per cubic metre and velocity is in metres per second. Here C∞ means that coordinate derivatives of every finite order are continuous, with spatial fields periodic on ΩL. The uniform state (ρ,u)=(ρ∗,0) is an equilibrium. For perturbations z∈C∞(I×ΩL;R) and v∈C∞(I×ΩL;R3), define the tangent model as the pointwise first variation at the dimensionless parameter ϵ=0 of this equation operator on ρϵ=ρ∗+ϵz and uϵ=ϵv; on each compact time interval these perturbed densities remain positive for sufficiently small ∣ϵ∣. For arbitrary initial data z0∈C∞(ΩL;R) and v0∈C∞(ΩL;R3), where these fields have continuous spatial derivatives of every finite order and are periodic, that tangent model is

∂tz+ρ∗div⁡v=0,∂tv+c∗2ρ∗∇z=0,(z,v)∣t=0=(z0,v0),c∗:=p′(ρ∗)>0.

Here z is a density perturbation in kilograms per cubic metre, v is a velocity perturbation in metres per second, and c∗ is the model sound speed in metres per second. For every such initial pair, this linear tangent system has a unique real C∞ solution (z,v):R×ΩL→R×R3. Its acoustic energy

Eac(t):=12∫ΩL(ρ∗∣v∣2+c∗2ρ∗z2) dx

is constant in joules. For a scalar or vector field f, take vector coefficients componentwise; for a wavevector κ∈L−1Z3, use the Fourier character eκ(x)=eiκ⋅x and normalized coefficient f^(κ,t)=((2πL)3)−1∫ΩLf(t,x)e−iκ⋅x dx, with the integral taken over a fundamental cell. For κ≠0, the longitudinal velocity coefficient is v^∥=(κ⋅v^)∣κ∣−2κ and the transverse coefficient is v^⊥=v^−v^∥. A nonzero longitudinal normal mode is a nonzero Fourier solution with v^⊥=0 and time dependence e−iωt; its angular frequency ω in inverse seconds satisfies ω2=c∗2∣κ∣2. The transverse coefficient at each κ≠0, and the mean coefficients z^(0,t),v^(0,t) at κ=0, are constant in time. These are exact deductions for the specified linear tangent model, not a finite-amplitude approximation theorem, an observation, or a claim that an actual fluid follows the model.

Facts & Assumptions

Given: The positive reference density, C1 pressure law, positive derivative, no-force barotropic equations, periodic cell, smooth perturbation data and Countable Choice stated above.

[A1]

The Axiom of Countable Choice (ACω): every countable family of nonempty sets has a choice function; this is carried explicitly because the mathematical global Fourier synthesis supplier assumes it.

[F1]

Smooth positive-density barotropic Euler model: the current definition uses smooth positive-density fields, a C1 pressure law, the mass equation, and nonconservative momentum equation with stress −P(ρ)I3 and no force. Identify P=p; the positive sign p′(ρ∗)>0 is the additional hypothesis stated here, not built into the definition. Its current Step-1 readiness record is ready.

[F2]

Global smooth periodic linear acoustics: for d∈{1,2,3}, positive coefficients and smooth data on the normalized 2π-periodic torus, the displayed constant-coefficient tangent system has a unique global smooth solution and conserves the stated weighted Fourier energy. Its current full proof and hypotheses were inspected, and its current Step-1 readiness record is ready.

Proof

Given: The barotropic equations and equilibrium in the Statement, smooth periodic tangent data, p∈C1, p′(ρ∗)>0, and Countable Choice.

1.1givenF1construct

On any compact time interval J⊂I, smooth z is bounded on the compact cell, so ρϵ=ρ∗+ϵz remains positive on J×ΩL for all sufficiently small ∣ϵ∣. With uϵ=ϵv, the perturbed fields are in the positive-density state domain on J; this justifies taking the local first variation of the model operator without assuming a nonlinear solution for nonzero ϵ.

2.1givenF1step 1.1algebra

Expanding the mass equation gives ∂tρϵ+div⁡(ρϵuϵ)=ϵ(∂tz+ρ∗div⁡v)+ϵ2div⁡(zv). Divide by ϵ and take ϵ→0 to obtain ∂tz+ρ∗div⁡v=0.

2.2givenF1step 1.1algebra

In the supplier's nonconservative momentum equation, ρϵ(∂tuϵ+(uϵ⋅∇)uϵ)=ϵρ∗∂tv+O(ϵ2). The chain rule gives ∇p(ρϵ)=ϵp′(ρ∗)∇z+o(ϵ) because p′ is continuous and ρϵ→ρ∗ uniformly on each compact time interval. Dividing by ϵρ∗ and taking ϵ→0 gives ∂tv+(p′(ρ∗)/ρ∗)∇z=0, which is the second tangent equation since c∗2=p′(ρ∗).

3.1givenA1F2step 2.1step 2.2algebra

Write y=x/L, s=(c∗/L)t, z~=z/ρ∗ and v~=v/c∗. The chain rule transforms the tangent equations into ∂sz~+div⁡yv~=0 and ∂sv~+∇yz~=0 on T3=(R/2πZ)3. Apply [F2] with both positive mathematical coefficients equal to 1 and with the rescaled smooth initial data. It supplies a unique smooth solution for all s∈R, hence for all physical times t∈R. Countable Choice is the exact assumption [A1].

3.2givenstep 2.1step 2.2algebra

For each Fourier character eκ, the tangent equations give ∂tz^+iρ∗κ⋅v^=0 and ∂tv^+i(c∗2/ρ∗)κz^=0. When κ≠0, taking the dot product of the second equation with κ and differentiating the first yields ∂ttz^+c∗2∣κ∣2z^=0, while orthogonal projection of the second gives ∂tv^⊥=0. Thus each nonzero longitudinal mode has time dependence e−iωt with ω2=c∗2∣κ∣2, and its transverse coefficient is constant. For κ=0, both equations give constant mean coefficients.

4.1givenstep 3.1algebra∎

Differentiate Eac and use the tangent equations to get dEacdt=−c∗2∫ΩL(v⋅∇z+z div⁡v) dx=−c∗2∫ΩLdiv⁡(zv) dx=0. The last integral vanishes because each component is periodic and opposite-face fluxes cancel; the global smoothness from step 3.1 justifies differentiation under the integral.

Depends on

Dependency tree · 2 levels

Sources