Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

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 T3=R3/(2πZ)3 with dimensionless coordinates y∈T3 and s∈[0,S], where S>0 is dimensionless. Its physical length-scale image is the periodic box ΩL=R3/(2πLZ)3, with physical coordinates x=Ly in metres and fundamental cube QL=[0,2πL]3. Fields on ΩL are represented by (2πLZ)3-periodic lifts, spatial derivatives are coordinate derivatives of these lifts, and spatial integrals mean Riemann integrals over QL. For a scalar field g, set ∇xg=(∂x1g,∂x2g,∂x3g) and Δxg=∑j=13∂xj2g; for a vector field u, set (∇xu)ij=∂xjui. Choose fixed scales L>0 in metres, U>0 in metres per second, ρ∗>0 in kilograms per cubic metre, and Φ∗>0 in a specified phase unit [Φ]. Set T∗=L/U in seconds, so physical time is t=T∗s and the interval is [0,T∗S].

Let ε,M,ν>0 be dimensionless coefficients and let W∈C2(R) be a dimensionless potential bounded below. Use the dimensionless classical field tuple from the earlier definition “Periodic Cahn–Hilliard incompressible flow system”: v:[0,S]×T3→R3 and ϕ,π:[0,S]×T3→R, with

v∈C1([0,S];Cper2(T3;R3)),ϕ∈C1([0,S];Cper1(T3;R))∩C([0,S];Cper2(T3;R)),π∈C([0,S];Cper1(T3;R)).

Here Cperk consists of periodic lifts whose coordinate derivatives through order k are continuous, bounded, and uniformly continuous on Q3=[0,2π]3, and C1([0,S];Cperk) means time differentiability in the supremum norms of those spatial derivatives. Set Δy=∑j=13∂yj2. Define the dimensionless chemical-potential field

μc=ε−1W′(ϕ)−εΔyϕ,

and require μc∈C([0,S];Cper2(T3;R)). Define the corresponding physical fields u:[0,T∗S]×ΩL→R3, φ:[0,T∗S]×ΩL→R, and p:[0,T∗S]×ΩL→R by

u(t,x)=Uv(s,y),φ(t,x)=Φ∗ϕ(s,y),p(t,x)=ρ∗U2π(s,y),(s,y)=(t/T∗,x/L).

Thus u has units metres per second, φ has unit [Φ], and p has units pascals.

Define the positive physical coefficients

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

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 M has units [Φ]2m3 s kg−1. The physical chemical potential has units J m−3[Φ]−1 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

fb(φ)=βW(φ/Φ∗),F[φ]=∫ΩL(fb(φ)+λϕ2∣∇xφ∣2) dx,

G[u,φ]=∫ΩL(ρ∗2∣u∣2+fb(φ)+λϕ2∣∇xφ∣2) dx.

Both functionals have units joules.

The dimensional chemical-potential field used by this model is

μ=fb′(φ)−λϕΔxφ=βΦ∗W′(φ/Φ∗)−λϕΔxφ.

The length, speed, density, and phase scales are model inputs; no measured calibration is assigned by this definition.

Depends on

Dependency tree · 2 levels

Sources