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
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 be an open time interval measured in seconds with , let , and let be a spatial periodic cell with coordinates in metres and volume measure induced from a fundamental cell. Let be a barotropic pressure law in pascals, let be a constant reference density in kilograms per cubic metre, and assume in square metres per second squared. The adopted no-force barotropic Euler model is
for periodic fields and , where density is in kilograms per cubic metre and velocity is in metres per second. Here means that coordinate derivatives of every finite order are continuous, with spatial fields periodic on . The uniform state is an equilibrium. For perturbations and , define the tangent model as the pointwise first variation at the dimensionless parameter of this equation operator on and ; on each compact time interval these perturbed densities remain positive for sufficiently small . For arbitrary initial data and , where these fields have continuous spatial derivatives of every finite order and are periodic, that tangent model is
Here is a density perturbation in kilograms per cubic metre, is a velocity perturbation in metres per second, and is the model sound speed in metres per second. For every such initial pair, this linear tangent system has a unique real solution . Its acoustic energy
is constant in joules. For a scalar or vector field , take vector coefficients componentwise; for a wavevector , use the Fourier character and normalized coefficient , with the integral taken over a fundamental cell. For , the longitudinal velocity coefficient is and the transverse coefficient is . A nonzero longitudinal normal mode is a nonzero Fourier solution with and time dependence ; its angular frequency in inverse seconds satisfies . The transverse coefficient at each , and the mean coefficients at , 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.
Statement references
Facts & Assumptions
Given: The positive reference density, pressure law, positive derivative, no-force barotropic equations, periodic cell, smooth perturbation data and Countable Choice stated above.
The Axiom of Countable Choice (): every countable family of nonempty sets has a choice function; this is carried explicitly because the mathematical global Fourier synthesis supplier assumes it.
Smooth positive-density barotropic Euler model: the current definition uses smooth positive-density fields, a pressure law, the mass equation, and nonconservative momentum equation with stress and no force. Identify ; the positive sign is the additional hypothesis stated here, not built into the definition. Its current Step-1 readiness record is ready.
Global smooth periodic linear acoustics: for , positive coefficients and smooth data on the normalized -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, , , and Countable Choice.
On any compact time interval , smooth is bounded on the compact cell, so remains positive on for all sufficiently small . With , the perturbed fields are in the positive-density state domain on ; this justifies taking the local first variation of the model operator without assuming a nonlinear solution for nonzero .
Expanding the mass equation gives . Divide by and take to obtain .
In the supplier's nonconservative momentum equation, . The chain rule gives because is continuous and uniformly on each compact time interval. Dividing by and taking gives , which is the second tangent equation since .
Write , , and . The chain rule transforms the tangent equations into and on . Apply [F2] with both positive mathematical coefficients equal to and with the rescaled smooth initial data. It supplies a unique smooth solution for all , hence for all physical times . Countable Choice is the exact assumption [A1].
For each Fourier character , the tangent equations give and . When , taking the dot product of the second equation with and differentiating the first yields , while orthogonal projection of the second gives . Thus each nonzero longitudinal mode has time dependence with , and its transverse coefficient is constant. For , both equations give constant mean coefficients.
Differentiate and use the tangent equations to get . 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.