Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Specified small-perturbation material dynamics

Physical scope

Two stipulated adiabatic first-variation systems about a uniform Minkowski rest state, with positive response and bulk parameters; no nonlinear remainder or lifespan bound, curved-background evolution, empirical applicability, or measurement claim.

Postulate

Use the selected local material state, perfect stress branch, bulk-only relaxation branch, and unit conventions of Smooth perfect local material balance model, Specified bulk extended entropy and relaxation law, and Thermodynamics-GR fields, currents, reference normalization and units. For this effective model take prescribed Minkowski spacetime R4 with coordinates (x0,x)=(ct,x), t∈R, x∈R3 measured in metres, and metric diag⁡(−1,1,1,1). The reference material is a constant state (v0,σp0) in the supplier's open state domain, with supplied e∈C2, u0=(1,0,0,0), Π0=0, n0=1/v0>0, ε0=n0e(v0,σp0), p0=−ev(v0,σp0), T0=eσp(v0,σp0)>0, and enthalpy density h0=ε0+p0>0. The local Gibbs supplier Local Gibbs, Euler, parcel first law and response identities gives the dimensionless adiabatic response

as:=(∂p∂ε)σp=evv(v0,σp0)n0h0;

restrict this pair of effective branches to as>0. Here evv is the second derivative of the supplied C2 state function with respect to v at fixed σp. The equality between the derivative and the state-function ratio is the exact interface stated by Local Gibbs, Euler, parcel first law and response identities under the reference-state hypotheses above. The derivative is the local fixed-composition response at the reference state; the equation does not assign a universal value to as.

For this postulate, a first variation means the derivative at λ=0 of a smooth one-parameter family of field configurations through the reference state, with dimensionless λ; no member with λ≠0 is required to solve a nonlinear equation. The fields r,Π^:R×R3→R and w:R×R3→R3 are smooth. Write r=δε, w=(δu1,δu2,δu3), and, in the bulk branch, Π^=δΠ. The adiabatic sector means δσp=0. These first variations have r and Π^ in Pa and w and as dimensionless. Let ζ0>0 and τ0>0 be the bulk viscosity and relaxation time evaluated at the reference state, with units Pa s and s. Spatial derivatives have units m−1 and c has units m s−1.

Adopt the following two constant-coefficient effective systems on the stated background:

rt+ch0div⁡w=0,wt+cash0∇r=0

for the perfect branch, and

rt+ch0div⁡w=0,wt+ch0∇(asr+Π^)=0,τ0Π^t+Π^=−ζ0cdiv⁡w

for the bulk-only branch. Derivatives ∇ and div⁡ act on x; t is physical time and c is the speed parameter in Thermodynamics-GR fields, currents, reference normalization and units. The equations define the effective linear models. No uniform nonlinear error estimate, nonlinear solution lifespan, curved-spacetime evolution result, or existence claim for the nonlinear constitutive equations is postulated. The parameters and systems are adopted model inputs; they are not measurements or claims of universal material behavior.

For later solution claims, TL3:=(R/LZ)3 is the flat three-torus for L>0, and smooth periodic data mean C∞ maps on that quotient. A multi-index is a triple in N3. A Schwartz map U0:R3→Rm means a C∞ map such that xα∂βU0(x) is bounded for every pair of multi-indices α,β. The systems have m=4 and m=5 components, respectively.

Depends on

Dependency tree · 2 levels

Sources