Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passverified 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.

Finite phase-field free energy does not impose an interval bound

Physical scope

One constant periodic solution of the adopted isothermal phase-field model. It demonstrates that the quartic potential and conditional free-energy identity alone do not impose a pointwise order-parameter interval; it is not an observation or a claim about every physical mixture.

Example

Let L>0 metres, U>0 metres per second, ρ∗>0 kilograms per cubic metre, Φ∗>0 in a chosen phase unit [Φ], and S>0 dimensionless. Let ε,M,ν>0 be dimensionless, set β=ρ∗U2/ε, λϕ=ρ∗U2L2ε/Φ∗2, η=ρ∗ULν, and M=MΦ∗2L/(ρ∗U), and choose the dimensionless potential W(q)=(q2−1)2/4. Put T∗=L/U, ΩL=R3/(2πLZ)3, fb(φ)=βW(φ/Φ∗), μ=fb′(φ)−λϕΔxφ, and Dij=(∂xjui+∂xiuj)/2.

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

On this periodic domain, let u be a velocity field in metres per second, φ a scalar phase field in unit [Φ], and p a scalar pressure in pascals. For a scalar field g, ∇xg=(∂x1g,∂x2g,∂x3g) and Δxg=∑j∂xj2g; for a vector field u, ∇x⋅u=∑j∂xjuj; I3 is the 3×3 identity. Consider the adopted equations ∂tφ+u⋅∇xφ=MΔxμ, ∇x⋅u=0, and ρ∗(∂tu+(u⋅∇x)u)=div⁡xσ, where σ=−pI3+2ηD+(fb−φμ+λϕ∣∇xφ∣2/2)I3−λϕ∇xφ⊗∇xφ and (div⁡xσ)i=∑j∂xjσij. Define the kinetic-plus-phase free energy by G(t)=∫ΩL(ρ∗∣u∣2/2+fb(φ)+λϕ∣∇xφ∣2/2) dx. The constant fields u=0, φ=2Φ∗, and p=0 satisfy these equations for all t∈[0,T∗S]. Their chemical potential is the constant μ=6β/Φ∗, and their kinetic-plus-phase free energy is G(t)=(2πL)3βW(2)=94(2πL)3β<∞. Thus this smooth model solution has normalized order parameter φ/Φ∗=2 outside [−1,1] while its free energy is finite and constant. The model's energy and equations do not impose that interval as a pointwise constraint; this example is not a maximum-principle theorem, stability claim, or reported observation.

Facts & Assumptions

Given: The positive scales, the quartic potential, the periodic domain, and the adopted equations in the example statement.

[F1]

Conditional phase-field free-energy dissipation: every smooth periodic solution of the adopted dimensional phase-field equations in the stated regularity class satisfies the displayed free-energy identity.

Verification

1.1givenalgebra

For u=0 and spatially constant φ=2Φ∗, all time and spatial derivatives of u and φ vanish. Since μ=fb′(φ) is constant, ∇xμ=Δxμ=0; the phase equation, incompressibility equation, and stress momentum equation therefore have both sides equal to zero when p=0. Hence these fields solve the adopted model.

2.1givenF1step 1.1algebra∎

The quartic potential has W(2)=9/4 and W′(2)=6. The kinetic and gradient terms vanish, so integrating the constant bulk term over the fundamental cube of volume (2πL)3 gives G=(2πL)3β(9/4). The conditional theorem [F1] also gives G′=0 because ∇xu=∇xμ=0. Since φ/Φ∗=2, the model admits this finite-energy solution outside [−1,1].

Depends on

Dependency tree · 2 levels