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.
Periodic Cahn–Hilliard incompressible flow system
Definition
Fix an integer , a time interval with , constants , and a potential that is bounded below. Use the torus, integral, periodic-lift, and time-regularity conventions of periodic torus calculus, with all spatial derivatives taken on the lifts. For vectors , write and ; set , , and , componentwise when is vector-valued. Write . A classical tuple consists of periodic fields , , and , with , , and . Define the chemical-potential field, which is not an independent unknown, by
and require so that its Laplacian is pointwise defined. The dimensionless periodic incompressible phase-flow system is
Here is a scalar order parameter; “diffuse interface” refers only to representing interfacial structure through this field and its spatial-gradient energy. The scalar is the multiplier enforcing the divergence constraint. The associated total energy is
All coefficients and fields in this definition are dimensionless mathematical quantities; no physical units, empirical calibration, sharp-interface limit, or claim that is a probability or positive density is asserted. A physical identification requires additional density, phase-scale, surface-energy, length/time-scale, and chemical-potential units.