Alphabeta Math
Pipeline-generated
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.

✓ 4 results · all verified · 4 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs; all 4 also cleared it.

Phase-field and dissipative gradient-flow computation — Examples

1 · Prerequisites

2 · Summary

These four worked examples keep exact calculations separate from general stability claims. The one-dimensional Allen–Cahn front The one-dimensional Allen–Cahn double-well front verifies the stationary ODE and finite energy on R; it is not a bounded-interval no-flux solution. Its profile has a ∣u∣≤1/2 transition width 22κ ε artanh⁡(1/2). The companion grid calculation Interface width and a grid that misses the transition places a uniform grid of spacing h halfway between samples and shows that when h exceeds this width, no sample lies inside the transition. This is a missed-interface example, not a sufficient resolution criterion.

Modified-energy decay alone does not imply physical-energy decay gives scalar pairs on a one-cell no-flux mesh of unit cell volume with ε=C0=1. The auxiliary values move from (u0,r0)=(1,1) to (u1,r1)=(0,1/2): r2 decreases from 1 to 1/4, while the physical double-well energy rises from 0 to 1/4. These pairs refute the implication from a modified-energy inequality alone; they are explicitly not claimed to be a trajectory of the SAV update.

The two-cell ledger A two-cell Cahn–Hilliard mass and energy ledger takes unit cells, one interior transmissibility T=1, zero boundary flux, unit parameters, and initial data (1,−1). It reduces the convex-splitting CH step to the unique root a∈(0,1) of 2a3+7a−5=0 and returns (a,−a). The mean remains zero, and the exact physical energies are 2 and 2a2+12(1−a2)2<2. Each calculation is proved in its item carrier.

Companion A page: phase-field-and-energy-dissipative-discretization.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: AI-adaptedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

The one-dimensional Allen–Cahn double-well front

Example

For κ,ε>0, on the real line set uε(x)=tanh⁡ ⁣(x2κ ε). This is a stationary finite-energy heteroclinic profile for the one-dimensional Allen–Cahn Euler–Lagrange equation −κu′′+fε(u)=0. It is a profile example on R, not a boundary-value solution on a bounded no-flux interval.

Facts & Assumptions

Given: The double-well potential and Allen–Cahn variational derivative in Allen–Cahn and Cahn–Hilliard double-well gradient flows, with fixed κ,ε>0.

[F1]

Allen–Cahn and Cahn–Hilliard double-well gradient flows: fε(s)=(s3−s)/ε2 and the stationary Allen–Cahn equation is −κu′′+fε(u)=0.

Verification

1.1F1algebra

Put a=(2κ ε)−1. Differentiation gives uε′=a(1−uε2) and uε′′=−2a2uε(1−uε2)=2a2(uε3−uε). Since 2κa2=ε−2, −κuε′′+fε(uε)=0 by [F1].

2.1givenstep 1.1algebra∎

The limits of uε at ±∞ are ±1. Also 1−uε2=sech⁡2(ax), so the energy density is 12ε2sech⁡4(ax), which is integrable because it decays exponentially at both ends. Hence the profile has finite energy and joins the two wells.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Interface width and a grid that misses the transition

Example

For the front in The one-dimensional Allen–Cahn double-well front, the interval where ∣uε(x)∣≤12 has width Wε=22κ ε artanh⁡(1/2). If a uniform sample grid has spacing h>Wε and the front is centered halfway between two sample points, no grid point lies in that transition interval. This gives a precise unresolved-interface configuration; it is not a sufficient resolution criterion.

Facts & Assumptions

Given: The exact front profile and positive parameters κ,ε.

[F1]

The one-dimensional Allen–Cahn double-well front: uε(x)=tanh⁡(x/(2κ ε)) and its transition is centered at x=0.

Verification

1.1F1givenalgebra

Since tanh⁡ is strictly increasing and tanh⁡(artanh⁡(1/2))=1/2, the endpoints of ∣uε∣≤1/2 are x=±2κ εartanh⁡(1/2). Subtracting them gives Wε as stated.

2.1step 1.1givenalgebra∎

Place sample points at (j+12)h for j∈Z. Their distance from the front center is at least h/2>Wε/2, so every sample point lies outside the transition interval from step 1.1. The grid therefore records no sample with ∣uε∣≤1/2.

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Modified-energy decay alone does not imply physical-energy decay

Statement refuted

The scalar inequality E~1≤E~0, by itself, implies Ephys(u1)≤Ephys(u0).

Construction

Take a one-cell no-flux mesh with cell volume ∣K∣=1, so the gradient term is zero and the cell-volume mass is one, and set ε=C0=1. Let u0=1, u1=0, r0=1, and r1=1/2. Then the modified scalar energy r2 decreases from 1 to 1/4, while the original double-well energy increases from F1(1)=0 to F1(0)=1/4. These scalar pairs are a counterexample to the stated implication from an energy inequality alone; they are not asserted to be a trajectory of the SAV update equations.

Facts & Assumptions

Given: The physical double-well energy and the SAV modified energy definition.

[F1]

Allen–Cahn and Cahn–Hilliard double-well gradient flows: F1(s)=(s2−1)2/4 is the original potential energy density.

[F2]

No-flux finite-volume and conforming realizations for phase fields: Eh(u)=κ2⟨Ahu,u⟩h+Ec,h(u)−Ee,h(u); on a one-cell no-flux mesh Ah=0 and the potential term is F1(u).

[F3]

The SAV step is uniquely solvable and dissipates a modified energy: the SAV theorem dissipates E~h(u,r)=κ2⟨Ahu,u⟩h+r2.

Refutation

1.1F1F2givenalgebra

On one cell, [F2] gives Ah=0 and Ephys(u)=F1(u). Direct substitution using [F1] gives F1(1)=0 and F1(0)=1/4.

2.1F3step 1.1algebra∎

The modified energies of the displayed pairs are E~0=(r0)2=1 and E~1=(r1)2=1/4 by [F3], so the modified energy strictly decreases while the physical energy strictly increases by step 1.1. Hence the proposed implication is false. The pairs are not claimed to satisfy the SAV update, so this refutes only the logical implication from modified-energy decay alone.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

A two-cell Cahn–Hilliard mass and energy ledger

Example

Take two unit cells on (0,2), one interior face with transmissibility T=1, no-flux boundary faces, ε=κ=M=τ=1, and u0=(1,−1). The discrete mean is zero, and the one-step convex-splitting state is u1=(a,−a) where a is the unique root in (0,1) of 2a3+7a−5=0. The initial energy is 2 and the new energy is 2a2+12(1−a2)2<2.

Facts & Assumptions

Given: The two-cell finite-volume realization and the convex-splitting Cahn–Hilliard step.

[F1]

No-flux finite-volume and conforming realizations for phase fields: for this two-cell mesh, mh(u,v)=u1v1+u2v2, Ah(u1,u2)=(u1−u2,u2−u1), and Eh(u)=12⟨Ahu,u⟩h+F(u1)+F(u2).

[F2]

Existence, uniqueness, mass conservation, and energy decay of a convex-splitting step: the Cahn–Hilliard step is unique, preserves the discrete mean, and does not increase Eh.

Verification

1.1F1F2givenalgebra

The initial mean is zero, so mass conservation [F2] forces u1=(a,−a). Since Ah(a,−a)=(2a,−2a) and Fc′(s)=s3+s, Fe′(s)=2s, the first chemical-potential component is μ1=2a+(a3+a)−2=a3+3a−2. The first state equation gives a−1=−2μ1, hence 2a3+7a−5=0. The polynomial is strictly increasing because its derivative is 6a2+7>0, and its values at 0 and 1 are −5 and 4; therefore it has exactly one root a∈(0,1).

2.1F1step 1.1algebra∎

The initial gradient energy is 12⟨Ahu0,u0⟩h=2 and both potential terms vanish, so Eh(u0)=2. For u1=(a,−a) the gradient energy is 2a2 and the potential energy is 12(1−a2)2. Since 0<a<1, (1−a2)2<1−a2, hence Eh(u1)<2=Eh(u0). This is the exact finite ledger for the step.

Sources