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.
Finite phase-field free energy does not impose an interval bound
One constant periodic solution of the adopted isothermal phase-field model. It demonstrates that the quartic potential and conditional free-energy identity alone do not impose a pointwise order-parameter interval; it is not an observation or a claim about every physical mixture.
Example
Let metres, metres per second, kilograms per cubic metre, in a chosen phase unit , and dimensionless. Let be dimensionless, set , , , and , and choose the dimensionless potential . Put , , , , and .
On this periodic domain, let be a velocity field in metres per second, a scalar phase field in unit , and a scalar pressure in pascals. For a scalar field , and ; for a vector field , ; is the identity. Consider the adopted equations , , and , where and . Define the kinetic-plus-phase free energy by . The constant fields , , and satisfy these equations for all . Their chemical potential is the constant , and their kinetic-plus-phase free energy is . Thus this smooth model solution has normalized order parameter outside while its free energy is finite and constant. The model's energy and equations do not impose that interval as a pointwise constraint; this example is not a maximum-principle theorem, stability claim, or reported observation.
Example references
Facts & Assumptions
Given: The positive scales, the quartic potential, the periodic domain, and the adopted equations in the example statement.
Conditional phase-field free-energy dissipation: every smooth periodic solution of the adopted dimensional phase-field equations in the stated regularity class satisfies the displayed free-energy identity.
Verification
For and spatially constant , all time and spatial derivatives of and vanish. Since is constant, ; the phase equation, incompressibility equation, and stress momentum equation therefore have both sides equal to zero when . Hence these fields solve the adopted model.
The quartic potential has and . The kinetic and gradient terms vanish, so integrating the constant bulk term over the fundamental cube of volume gives . The conditional theorem [F1] also gives because . Since , the model admits this finite-energy solution outside .