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.
Adopted diffuse free energy, mobility and capillary stress
An adopted isothermal, constant-density, incompressible phase-field model on a three-dimensional periodic box, with constant positive mobility and viscosity and a scalar internal order parameter. It does not identify that parameter with total mass density, assert an empirical calibration, supply a heat or entropy closure, or establish applicability to every two-phase material.
Postulate
Adopt the following isothermal phase-field model in a Cartesian inertial chart with absolute time in seconds and spatial coordinates in metres. Let metres, metres per second, kilograms per cubic metre, and in a chosen phase unit be fixed scales. Let , , , and . A physical field is represented by a -periodic function on , and its spatial integral is the Riemann integral over . Set , , , , and . The velocity is in metres per second, the scalar order parameter is in phase units , and scalar pressure is in pascals. The order parameter is an internal phase variable, not total mass density; no positivity or pointwise interval constraint is imposed on it.
On , require , , and , with . Here means periodic lifts whose coordinate derivatives through order are continuous, bounded, and uniformly continuous on ; time differentiability in is in the corresponding supremum norms.
For a scalar field , and ; for a vector field , . On the dimensionless torus , use periodic lifts and . For the smooth branch, require , , and , with . Here means periodic lifts whose coordinate derivatives through order are continuous, bounded, and uniformly continuous on the fundamental cube; time differentiability in is in the corresponding supremum norms.
Use dimensionless parameters , a potential bounded below, and the dimensional coefficients
The bulk phase free-energy density is in joules per cubic metre. Define the chemical-potential field and the symmetric rate tensor by
For vectors , ; is the identity; and . Adopt the phase-field stress and total Cauchy stress
where each stress has units pascals and traction is on an outward unit normal . The adopted pointwise equations are
The model uses these smooth periodic fields, so its spatial integrals have no boundary terms. It adopts constant density, constant viscosity, constant mobility, and no external body force. The phase equation describes evolution of the internal order parameter and is not a total-mass diffusion equation. This is a reduced isothermal model: is kinetic plus phase-field free energy, not the complete thermodynamic energy. No heat or entropy balance, thermostat coupling, species-mass interpretation, sharp-interface limit, contact-line law, empirical calibration, or claim of universal physical validity is adopted.
Postulate references
Facts & Assumptions
Given: The physical scales and units, periodic domain, dimensionless phase-flow formulation, and adopted continuum assumptions stated above.
Single-component nonpolar continuum and material balances: the inherited physical framework adopts a smooth nonpolar continuum with positive mass density and traction , and adopts mass, momentum, total-energy, and entropy balance statements; it does not derive those assumptions or assert universal empirical validity.
Periodic Cahn–Hilliard incompressible flow system: the mathematical formulation uses a dimensionless scalar order parameter, , the periodic Cahn–Hilliard equation, the incompressible momentum equation, and the dimensionless kinetic-plus-phase functional; it supplies no SI identification or empirical calibration.
SI dimensionalization of the periodic diffuse-interface model: , , , , and , with the physical coefficient and unit dictionary stated there.
Single-component nonpolar continuum and material balances: its total-energy and entropy balances do not supply a thermal completion for this reduced isothermal free-energy model. No deduction from those balances to the phase-field closure or conversion of dissipation to heat is asserted here.
Depends on
Dependency tree · 2 levels
Sources
- J. Tinsley Oden, Lecture Notes, Fall 2016, Chapter 11: Phase-Field Models
- Stefanos Georgiadis, Energy identity for the incompressible Cahn–Hilliard/Navier–Stokes system with non-degenerate mobility
- V.E. Badalassi, H.D. Ceniceros, and S. Banerjee, Computation of multiphase systems with phase field models