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.
Response derivatives and linear acoustic sign
Statement
Let be open and let have continuous total derivatives through order two. Fix with and , set and , and use the local chart from the unique branch satisfying . Define Because is open, choose an open interval containing such that for every , and define by . Then and the chain rule gives . This is the local isentropic pressure-response coefficient; its sign is not assumed.
Let be a nonempty open time interval. On , let and have continuous partial derivatives through order two. Use the Euclidean dot product and norm on . Use , , and . Consider the mathematical barotropic system Here . For and with continuous partial derivatives through order two, the pointwise first variation about is defined by differentiating at after substituting and , with sufficiently close to zero locally at each point so the perturbed density lies in . It is If , then with , for every nonzero and every the following are plane-wave solutions: If , then for every nonzero and every , set . The fields solve the same linearized system and have exponential time factor ; for , their amplitudes grow exponentially. These are exact statements about the linearized mathematical system; they provide no finite-amplitude error or lifespan estimate and make no empirical claim about a material.
Statement references
Facts & Assumptions
Given: The state relation and local chart in the Statement, the definitions and , and the displayed barotropic system.
Specific fundamental relation and valid response charts: is defined on an open domain, , , and ; signs of and are separate hypotheses.
Local Helmholtz chart and partial-Legendre derivative identities: at a state with and , the supplier provides a unique local chart satisfying and at the chart point.
The chain rule for total derivatives: : a differentiable composition has derivative given by the composition of the derivatives.
The fields have the domains and componentwise regularity stated in the Statement. The function , , is because and is smooth on .
In the physical SI interpretation, has units , has units , has units , has units , has units , has units , has units , and has units . These units do not assert empirical validity.
Proof
By [F2], at fixed the chain rule gives . For fixed , the chain rule and give .
Put and . Substitution into the continuity equation gives . In the momentum equation, is order , while ; its first-order term is therefore . Equating first-order coefficients gives the displayed linearized system.
Differentiate in time and take the divergence of . Since and are constants, subtraction yields .
Suppose , take , and put . For , and . The stated gives and ; hence both linearized equations hold because .
Suppose , put , and use the stated exponential mode. Then , , , and . The continuity equation follows from the first two identities, and the momentum equation follows from , which holds by the definition of . Since for , the time factor is exponentially increasing; when the density-mode amplitude is , and when the mode is zero.