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.

Periodic Cahn–Hilliard incompressible flow system

Definition

Fix an integer d≥1, a time interval [0,T] with T>0, constants ε,M,ν>0, and a potential W∈C2(R) 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 a,b∈Rd, write a⋅b=∑j=1dajbj and ∣a∣2=a⋅a; set (Δu)i=∑j=1d∂j2ui, (∇u)ij=∂jui, and (u⋅∇)f=∑j=1duj∂jf, componentwise when f is vector-valued. Write ∇⋅u=div⁡u. A classical tuple consists of periodic fields u:[0,T]×Td→Rd, ϕ:[0,T]×Td→R, and π:[0,T]×Td→R, with u∈C1([0,T];Cper2), ϕ∈C1([0,T];Cper1)∩C([0,T];Cper2), and π∈C([0,T];Cper1). Define the chemical-potential field, which is not an independent unknown, by

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

and require μc∈C([0,T];Cper2) so that its Laplacian is pointwise defined. The dimensionless periodic incompressible phase-flow system is

∂tϕ+u⋅∇ϕ=MΔμc,∂tu+(u⋅∇)u+∇π=νΔu−ϕ∇μc,∇⋅u=0.

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

E(t):=∫Td(12∣u(t,x)∣2+ε2∣∇ϕ(t,x)∣2+ε−1W(ϕ(t,x))) dx.

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.

Depends on

Dependency tree · 1 level

Sources