Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-10-23
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

Physical scope

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 t in seconds and spatial coordinates x in metres. Let L>0 metres, U>0 metres per second, ρ∗>0 kilograms per cubic metre, and Φ∗>0 in a chosen phase unit [Φ] be fixed scales. Let S>0, T∗=L/U, ΩL=R3/(2πLZ)3, and t∈[0,T∗S]. A physical field is represented by a (2πLZ)3-periodic function on R3, and its spatial integral is the Riemann integral over QL=[0,2πL]3. Set s=t/T∗, y=x/L, v=u/U, ϕ=φ/Φ∗, and π=p/(ρ∗U2). The velocity is u:[0,T∗S]×ΩL→R3 in metres per second, the scalar order parameter is φ:[0,T∗S]×ΩL→R in phase units [Φ], and scalar pressure p 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 T3=R3/(2πZ)3, require v∈C1([0,S];Cper2(T3;R3)), ϕ∈C1([0,S];Cper1(T3;R))∩C([0,S];Cper2(T3;R)), and π∈C([0,S];Cper1(T3;R)), with μc=ε−1W′(ϕ)−εΔyϕ∈C([0,S];Cper2). Here Cperk means periodic lifts whose coordinate derivatives through order k are continuous, bounded, and uniformly continuous on [0,2π]3; time differentiability in Cperk is in the corresponding supremum norms.

For a scalar field g, ∇xg=(∂x1g,∂x2g,∂x3g) and Δxg=∑j=13∂xj2g; for a vector field u, (∇xu)ij=∂xjui. On the dimensionless torus T3=R3/(2πZ)3, use periodic lifts and Δy=∑j=13∂yj2. For the smooth branch, require v∈C1([0,S];Cper2(T3;R3)), ϕ∈C1([0,S];Cper1(T3;R))∩C([0,S];Cper2(T3;R)), and π∈C([0,S];Cper1(T3;R)), with μc=ε−1W′(ϕ)−εΔyϕ∈C([0,S];Cper2). Here Cperk means periodic lifts whose coordinate derivatives through order k are continuous, bounded, and uniformly continuous on the fundamental cube; time differentiability in Cperk is in the corresponding supremum norms.

Use dimensionless parameters ε,M,ν>0, a potential W∈C2(R) bounded below, and the dimensional coefficients

β=ρ∗U2ε,λϕ=ρ∗U2L2εΦ∗2,η=ρ∗ULν,M=MΦ∗2Lρ∗U.

The bulk phase free-energy density is fb(φ)=βW(φ/Φ∗) in joules per cubic metre. Define the chemical-potential field and the symmetric rate tensor by

μ=fb′(φ)−λϕΔxφ,D=12(∇xu+(∇xu)T).

For vectors a,b∈R3, (a⊗b)ij=aibj; I3 is the 3×3 identity; and (div⁡xσ)i=∑j∂xjσij. Adopt the phase-field stress and total Cauchy stress

σc=(fb(φ)−φμ+λϕ2∣∇xφ∣2)I3−λϕ∇xφ⊗∇xφ,σ=−pI3+2ηD+σc,

where each stress has units pascals and traction is σn on an outward unit normal n. The adopted pointwise equations are

∂tφ+u⋅∇xφ=MΔxμ,∇x⋅u=0,ρ∗(∂tu+(u⋅∇x)u)=div⁡xσ.

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: G=∫ΩL(ρ∗∣u∣2/2+fb(φ)+λϕ∣∇xφ∣2/2) dx 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.

Facts & Assumptions

Given: The physical scales and units, periodic domain, dimensionless phase-flow formulation, and adopted continuum assumptions stated above.

[F1]

Single-component nonpolar continuum and material balances: the inherited physical framework adopts a smooth nonpolar continuum with positive mass density and traction σn, and adopts mass, momentum, total-energy, and entropy balance statements; it does not derive those assumptions or assert universal empirical validity.

[F2]

Periodic Cahn–Hilliard incompressible flow system: the mathematical formulation uses a dimensionless scalar order parameter, μc=ε−1W′(ϕ)−εΔϕ, the periodic Cahn–Hilliard equation, the incompressible momentum equation, and the dimensionless kinetic-plus-phase functional; it supplies no SI identification or empirical calibration.

[F3]

SI dimensionalization of the periodic diffuse-interface model: x=Ly, t=(L/U)s, u=Uv, φ=Φ∗ϕ, and p=ρ∗U2π, with the physical coefficient and unit dictionary stated there.

[L1]

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 G dissipation to heat is asserted here.

Depends on

Dependency tree · 2 levels

Sources