Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedprecheck passverified 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.

Specific fundamental relation and valid response charts

Definition

Let U⊂(0,∞)×R be open, with coordinates (v,s), and let e:U→R have continuous total derivatives through order two (write e∈C2(U)). The pair (U,e) is a simple-fluid state relation for the purposes of this mathematical library. At (v,s)∈U, v is the specific-volume coordinate, s the specific-entropy coordinate, and e(v,s) the specific-energy value. Define T(v,s):=∂e∂s(v,s),p(v,s):=−∂e∂v(v,s),ρ:=1v. In these partial derivatives the other state coordinate is held fixed. Write evv,evs,esv,ess for the corresponding second partial derivatives, set He:=(evvevsesvess), and define the coordinate-Hessian determinant Je:=evvess−evsesv. The local thermal-chart hypothesis at a state is T>0 and ess>0; it is a pointwise hypothesis and does not assert a global inverse. The conditions evv>0 and Je>0, when required, are separate pointwise response restrictions. The definition itself imposes no sign condition on evv or Je and no invertibility or convexity condition on all of U.

Under the physical SI interpretation only, v has units m3 kg−1, s has units J kg−1 K−1, e has units J kg−1, T has units K, p has units Pa, and ρ has units kg m−3. This is a mathematical definition of a state relation and makes no claim that an actual material obeys it.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources