Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-10-22
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.

Restricted hydrostatic effective functional

Physical scope

An adopted zeroth-gradient effective equilibrium functional on a compact smooth static background in a declared long-wavelength regime; no microscopic trace, convergence, empirical equation of state, or transport coefficient is asserted.

Postulate

Use the prescribed static hydrostatic data Σ,h,N,Φ,q,T0,μ0,D,p,dVh, with local profiles T=T0/N and μ=(μ0−qΦ)/N. Fix the background fields and parameters, and take an open interval U⊂R containing μ0 such that (T0/N(x),(r−qΦ(x))/N(x))∈D for every r∈U and x∈Σ. Adopt the dimensionless effective functional

Whs(T0,r;h,N,Φ,q,p):=log⁡Zeff=1kBT0∫ΣN(x) p ⁣(T0N(x),r−qΦ(x)N(x))dVh(x),

with the integral finite. Here Zeff:=exp⁡(Whs) is notation for the adopted functional; no microscopic trace or Gibbs state is asserted. “Hydrostatic” labels this prescribed static equilibrium response model: the background is time-independent along the chosen Killing field and the Killing-normalized temperature is T0; it does not assert a fluid-equation solution or a thermal state. A “derivative expansion” means a formal ordering of candidate corrections by the number of derivatives of the prescribed background and local thermodynamic variables; this postulate retains its order-zero term only. Each application declares a microscopic length ℓmicro>0 in metres, a microscopic relaxation time τmicro>0 in seconds, and a positive spatial background scale Lbg in metres, identifying the physical meaning of each without equating distinct microscopic scales; Lbg is the shortest declared spatial variation or curvature scale among the prescribed fields. The static model is used only in the declared spatial long-wavelength regime ℓmicro/Lbg≪1. Its integral contains no temporal gradients; any time-dependent extension must separately declare a temporal variation scale tbg>0 in seconds and satisfy τmicro/tbg≪1. No numerical error bound, convergence of a gradient expansion, or microscopic existence claim is asserted. The pressure function p(T,μ) is separately supplied and is not identified with a pressure derived from a material energy function unless an application states that additional equation-of-state identification.

Depends on

Dependency tree · 2 levels

Sources