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.
Potentials And Responses — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Arc Length and Rectifiable Curves
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Entropy Foundation
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Representation And Equilibrium
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Subspaces, Products, and Quotients
- Suprema and Infima
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Logarithm and General Powers
- The Riemann Integral: Definition and Integrability
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamic Framework
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
These are constructed model calculations, not reported experiments. The first example shows that a smooth positive-temperature chart can fail to admit an isothermal pressure inverse. The second calculates a nonzero pressure-work integral around a closed quasistatic model path, so that work depends on the process.
The preceding companion td-representation-and-equilibrium-examples already records a tagged-scaling countermodel: Tagged bulk scaling need not be homogeneity within one fixed tag. It is linked here as context for the same-tag homogeneity condition in Euler and Gibbs-Duhem identities under same-tag homogeneity, not as a logical supplier.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
A smooth chart with no isothermal pressure inverse
Constructed local concave entropy chart at fixed composition, used only to show failure of a response-coordinate inverse; it is not a measured material equation of state or a complete bulk-family model.
Example
Fix the amount of substance and stipulate the local entropy representative
on the open domain , , where has units , has units joules, has units , and has units . This chart is finite, C2, concave, and has . It illustrates that a smooth positive-temperature chart need not admit pressure as a local coordinate at fixed temperature.
The displayed entropy is in physical SI coordinates. For this constructed local model, choose the positive-amount open neighborhood stated here (or any positive neighborhood of the fixed amount, extending this entropy independently of amount) and let be the numerical preimage of that product patch under . Declare as the model's local state-domain patch and set . The derivatives below are those of on , exactly as in Entropic temperature, pressure, and molar chemical potentials. This supplies the numerical-to-SI chart identification for the formal witness, with no assertion of a measured material or a global constitutive extension.
Facts & Assumptions
Given: The stipulated entropy chart and positive constants in the Example. The chart is a constructed model calculation; it reports no measurement.
SI quantities and unit conventions: is in joules, in cubic metres, in , in kelvins, and in pascals.
The natural logarithm as the inverse of the exponential function and The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: The logarithm is defined on positive arguments and for .
Entropic temperature, pressure, and molar chemical potentials: and on the stipulated positive-temperature chart.
Thermodynamic response functions on valid local charts: is defined only where the required local inverse chart exists.
Verification
By [F2], and . Hence [F3] gives and . The Hessian of in is diagonal with entries and , so it is negative semidefinite on the open domain.
At fixed , the equation is independent of . Therefore the map is not injective on any open neighborhood, so the inverse required by [F4] does not exist and is not defined by that chart. This does not contradict a theorem whose hypotheses require a valid response inverse.
Nonzero pressure work around a closed model cycle
Constructed smooth concave positive-temperature chart for a closed fixed-composition system in a fixed Galilean chart, coupled to an ideal planar constant-area piston in frictionless mechanical equilibrium; the work and heat values are model calculations, not reported observations.
Example
Fix a material constitution and amount and stipulate, on and , the entropy chart
where is in , is in joules, is in , is in , and is in . Let be a closed system of this constitution and amount. Stipulate that the process model admits a record as in Thermodynamic process records and transfer conventions, using one fixed Galilean inertial chart and satisfying . Its equilibrium state path is piecewise-C1, starting at and following, in order, a constant-temperature leg from to , a constant-volume leg to , a constant-temperature leg from to , and a constant-volume leg back to , where and . The moving boundary is a planar piston of constant area. Throughout the volume-changing legs it remains in frictionless mechanical equilibrium with a load tracking the equilibrium pressure, as required by Mechanical pressure-volume work coupling; controlled heat exchange is permitted, and no other work coordinate acts. In this model, the finite work transfer is defined as the line integral of the incremental piston work along this piecewise-C1 path. This is a stipulated idealized model record, not a reported observation. Its pressure-work integral is not an endpoint increment.
The displayed entropy is in physical SI coordinates. For this constructed local model, choose the positive-amount open neighborhood stated here (or any positive neighborhood of the fixed amount, extending this entropy independently of amount) and let be the numerical preimage of that product patch under . Declare as the model's local state-domain patch and set . The derivatives below are those of on , exactly as in Entropic temperature, pressure, and molar chemical potentials. This supplies the numerical-to-SI chart identification for the formal witness, with no assertion of a measured material or a global constitutive extension.
Facts & Assumptions
Given: The stipulated entropy chart, constants and SI units in the Example, and the model assumption that its process family admits the closed core record described there, in one fixed Galilean chart and with . Its state path is piecewise-C1; the moving boundary is a planar constant-area piston in frictionless mechanical equilibrium with a load tracking the model pressure. Controlled heat exchange is permitted and no other work coordinate acts. No empirical realization is claimed.
Equilibrium state domains and SI quantities and unit conventions: The chart uses positive physical energy and volume in joules and cubic metres; entropy is in .
The natural logarithm as the inverse of the exponential function and The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: is defined on positive arguments and has derivative .
Entropic temperature, pressure, and molar chemical potentials: and on a positive-temperature chart.
Mechanical pressure-volume work coupling: On the admitted quasistatic frictionless piston path, the incremental work on the system is ; this constructed protocol defines its finite as the path integral of those increments along the four legs.
First-law energy balance for closed process records and Thermodynamic process records and transfer conventions: For the admitted closed cycle, with heat positive into and work positive on the system.
Reversal, concatenation, closed paths, and oriented piecewise-C1 reparametrizations and Scalar line integrals with respect to arc length and vector-field line integrals: For a piecewise-C1 path in the chart, is the Riemann line integral .
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative and A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion: Continuous integrands on each compact segment are Riemann integrable and their polynomial antiderivatives give the segment integrals.
The gradient theorem: the line integral of a gradient is the endpoint increment: The integral of a gradient along a closed piecewise-C1 path is zero.
Chain sum product and composition rules for Banach derivatives: The derivative of a product of differentiable scalar maps is the sum of the two product terms.
Verification
By [F2] and [L4], the entropy derivatives are and . Thus [F3] gives and on the stated domain. The Hessian is diagonal with entries and , so the chart is C2 and concave.
On each isotherm the vector field in [L1] is continuous, so [L2] gives ; the reverse isotherm contributes the negative of the same bracket multiplied by , and the isochoric legs contribute zero.
Summing the four legs yields , since and . Thus by [F4].
The cycle returns to the same , so [F5] gives . If there were a scalar potential on an open neighborhood of the loop with (equivalently, ), [L3] would force its closed integral to be zero, contradicting step 3.1. Thus no such endpoint potential represents pressure work on a neighborhood containing this loop; the work depends on the path.