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.
A nonconstant local-equilibrium temperature field
A stipulated static local-equilibrium field on an open cube; no global equilibrium, transport law or observation is asserted.
Example
Use the one-coordinate convention of The Euclidean inner product on explicitly: sends to the function on with value , and the inverse takes the coordinate at index zero. In every scalar display below, a one-coordinate parameter or field is written through this bijection. Thus means , the scalar formula for denotes its image, means , is the identity on , and ; temperature and inequalities use the scalar coordinate . This is a notation convention, not a set-theoretic identity between a real and a function.
Take in metre coordinates and in second coordinates, with and . Choose and dimensionless . Instantiate and the local-state parameter set , and define its one-coordinate field by
For the homogeneous comparison cell, supply with states , physical energy , and numerical entropy , where is the natural logarithm of The natural logarithm as the inverse of the exponential function and physical entropy is . The coordinate is dimensionless. Set , , , and for every , so the fixed-energy admissible set is . Its entropy-maximizing set is . Define and supply ; assign this comparison state temperature . Stipulate the local-equilibrium approximation with this map, so the local constitutive state at is . The field is static and nonconstant; this stipulation is a model assumption, not an assertion that a physical sample realizes the profile.
Facts & Assumptions
Given: The local-field convention of Scope of a local-equilibrium continuum branch and the parameters just specified.
Scope of a local-equilibrium continuum branch: the local-state field has the displayed domain and its components have continuous first spatial and time partial derivatives; a temperature component is read in kelvins.
Scope of a local-equilibrium continuum branch: an entropy-based local-equilibrium model supplies cell states, entropy, retained constraints and conserved-value maps; is the entropy-maximizing subset of , and the supplied map must satisfy . Its pointwise comparison state is ; attainment is verified for the supplied model rather than inferred from a label.
Scope of a local-equilibrium continuum branch: nonconstant temperature fields are permitted in this continuum model; the pointwise comparison-cell criterion alone neither establishes nor excludes equilibrium of the whole system.
The natural logarithm as the inverse of the exponential function defines , so the supplied cell entropy is finite at every cell state.
has metre coordinates in , , dimensionless , , , and with ; the cell data are exactly those in the Example and ; the model stipulates the resulting pointwise local-equilibrium assignment.
Verification
Given: [F1]–[F4] and [A1].
Since , , so and . The affine formulas are on and meet the field regularity in [F1].
Choose interior points with and , keeping the other coordinates fixed. Their temperature difference is , so the field is not constant.
For each , [A1] gives and , with equality exactly at . Thus and , meeting the constrained-maximum criterion in [F2]. The logarithm is finite since . By [F1] and step 1.1, the one-coordinate field has the declared range and regularity, so its supplied comparison state is . Steps 1.1–1.2 show that its temperature component is positive and spatially nonconstant; [F3] says this need not describe global equilibrium. No dynamics or experimental outcome is inferred.