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.
No-flux finite-volume and conforming realizations for phase fields
Definition
The no-flux finite-volume realization starts from a finite connected cell-face mesh as in Finite-volume cell-face meshes and geometric regularity and uses the interior-face orthogonality and positive transmissibilities of Orthogonal TPFA diffusion with harmonic face transmissibility. For unit diffusivity, let , , and There is no boundary-face term: the flux through each physical boundary face is prescribed to be zero. Define by for all . Split the double-well density as The associated finite-volume energy components are
For convergence on , a second realization uses the same orthogonal dual mesh with centers , . Its conforming space consists of functions affine between consecutive centers and constant on the two half-cells between a boundary and the nearest center. Its inner product is the exact inner product, its stiffness is , and its energy components are and . Define by . For degrees of freedom , this stiffness is exactly the interior two-point flux form ; the exact mass and potential integrals are the conforming reconstruction used in the convergence theorem.
Both realizations have a constant function , a real finite-dimensional inner-product space, and a self-adjoint nonnegative operator . They share the physical energy , with the appropriate inner product and energy components for the realization. The sign convention is .
The diagram labels four adjacent cell values, three shared interior fluxes, and the prescribed zero boundary fluxes. Each interior flux appears with opposite signs in its two cell balances. The diagram records the convention only; it is not used as a proof.
Remarks
The published TPFA theorem TPFA discrete Green identity, coercivity, and maximum principle treats homogeneous Dirichlet data and its energy includes boundary penalties. The no-flux realization above deliberately omits those terms and uses only its interior transmissibilities; its kernel and gauge are proved separately in Kernel, range, and mean-zero inverse for the no-flux Laplacian. The conditional parabolic limit item Conditional monotone finite-volume parabolic limit identification assumes zero-boundary reconstructions and is not used for this Neumann branch. The finite-dimensional gradient-flow algorithm also applies to the conforming realization stated above.
Depends on
Used by
- Backward-Euler convex splitting for Allen–Cahn and Cahn–Hilliard Algorithm
- First-order scalar-auxiliary-variable Cahn–Hilliard step Algorithm
- Modified-energy decay alone does not imply physical-energy decay Counterexample
- Stabilized semi-implicit phase-field step Definition
- A two-cell Cahn–Hilliard mass and energy ledger Example
- Kernel, range, and mean-zero inverse for the no-flux Laplacian Lemma
- Uniform interval stability of the phase-field L2 projector Lemma
- Existence, uniqueness, mass conservation, and energy decay of a convex-splitting step Theorem
- First-order time error under smooth fixed-mesh solutions Theorem
- One-dimensional mesh and time convergence of convex-splitting phase flows Theorem
Dependency tree · two levels
8 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
- R. Eymard, T. Gallouët, and R. Herbin, Finite Volume Methods, Handbook of Numerical Analysis, Vol. VII, 2000; complete updated author text (standard reference, not scraped)
- Jérôme Droniou, Finite volume schemes for diffusion equations: introduction to and review of modern methods, 2014 (standard reference, not scraped)
- Jie Shen and Xiaofeng Yang, Numerical approximations of Allen-Cahn and Cahn-Hilliard equations, Discrete and Continuous Dynamical Systems A 28 (2010), 1669–1691 (standard reference, not scraped)