Alphabeta Math
AlgorithmAlgorithm: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

First-order scalar-auxiliary-variable Cahn–Hilliard step

Definition

Use either Cahn–Hilliard realization of No-flux finite-volume and conforming realizations for phase fields. Write Xh=RK for the finite-volume state space and Xh=Vh for the conforming interval state space; use the specified inner product ⟨⋅,⋅⟩h in each case. Set E1,h=Ec,h−Ee,h. Since Fε(s)=(s2−1)2/(4ε2)≥0, this is nonnegative. Explicitly, E1,h(u)=∑K∈K∣K∣Fε(uK)in the finite-volume realization, and E1,h(uh)=∫0LFε(uh(x)) dxin the conforming interval realization. Its Riesz gradient g1,h(u)=∇hE1,h(u) is specified in the finite-volume realization by (g1,h(u))K=fε(uK), where fε=Fε′. In the conforming interval realization it is the unique g1,h(uh)∈Vh satisfying ⟨g1,h(u),vh⟩h=∫0Lfε(uh(x))vh(x) dx(vh∈Vh), with the exact L2 inner product from that realization.

Inputs: un∈Xh, rn∈R, and parameters ε,κ,M,τ,C0>0. Set αn=(E1,h(un)+C0)−1/2. Output: the tuple (un+1,rn+1,μn+1) obtained by solving the linear equations un+1−unτ=−MAhμn+1, μn+1=κAhun+1+αnrn+1g1,h(un), rn+1−rn=αn2⟨g1,h(un),un+1−un⟩h. The initial scalar may be set to r0=E1,h(u0)+C0. After a step, rn+1 is an independent auxiliary variable determined by the third equation; the scheme does not impose rn+1=E1,h(un+1)+C0.

Remarks

The separate result The SAV step is uniquely solvable and dissipates a modified energy ↗ proves unique solvability of this linear system and its modified-energy identity.

Depends on

Used by

Dependency tree · two levels

9 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources