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.
SI dimensionalization of the periodic diffuse-interface model
SI scaling of the three-dimensional periodic, constant-density diffuse-interface model. The definition fixes length, time, density, phase, viscosity, mobility, free-energy, pressure, and chemical-potential units; it supplies no empirical calibration or claim of universal physical applicability.
Definition
Use the dimensionless periodic torus with dimensionless coordinates and , where is dimensionless. Its physical length-scale image is the periodic box , with physical coordinates in metres and fundamental cube . Fields on are represented by -periodic lifts, spatial derivatives are coordinate derivatives of these lifts, and spatial integrals mean Riemann integrals over . For a scalar field , set and ; for a vector field , set . Choose fixed scales in metres, in metres per second, in kilograms per cubic metre, and in a specified phase unit . Set in seconds, so physical time is and the interval is .
Let be dimensionless coefficients and let be a dimensionless potential bounded below. Use the dimensionless classical field tuple from the earlier definition “Periodic Cahn–Hilliard incompressible flow system”: and , with
Here consists of periodic lifts whose coordinate derivatives through order are continuous, bounded, and uniformly continuous on , and means time differentiability in the supremum norms of those spatial derivatives. Set . Define the dimensionless chemical-potential field
and require . Define the corresponding physical fields , , and by
Thus has units metres per second, has unit , and has units pascals.
Define the positive physical coefficients
Here is a bulk free-energy-density coefficient in joules per cubic metre, is a gradient free-energy coefficient in joules per metre per phase-unit squared, is dynamic viscosity in pascal seconds, and has units . The physical chemical potential has units and the pressure has units pascals.
Define the bulk phase free-energy density, phase free-energy functional, and kinetic-plus-phase free-energy functional by
Both functionals have units joules.
The dimensional chemical-potential field used by this model is
The length, speed, density, and phase scales are model inputs; no measured calibration is assigned by this definition.