Alphabeta Math
DefinitionDefinition: 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.

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 Xh=RK, mh(u,v)=∑K∈K∣K∣uKvK, and ah(u,v)=∑F=K∣L∈FintTF(uK−uL)(vK−vL). There is no boundary-face term: the flux through each physical boundary face is prescribed to be zero. Define Ah:Xh→Xh by mh(Ahu,v)=ah(u,v) for all v∈Xh. Split the double-well density as Fε=Fc−Fe,Fc(s)=s44ε2+s22ε2,Fe(s)=s2ε2−14ε2. The associated finite-volume energy components are Ec,h(u)=∑K∣K∣(uK44ε2+uK22ε2),Ee,h(u)=∑K∣K∣(uK2ε2−14ε2).

For convergence on Ω=(0,L), a second realization uses the same orthogonal dual mesh with centers xi=(i−12)h, h=L/N. Its conforming space Vh 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 L2(0,L) inner product, its stiffness is ah(v,w)=∫0Lv′w′ dx, and its energy components are Ec,h(v)=∫0LFc(v) dx and Ee,h(v)=∫0LFe(v) dx. Define Ah:Vh→Vh by (Ahv,w)L2=ah(v,w). For degrees of freedom vi=v(xi), this stiffness is exactly the interior two-point flux form ∑i=1N−1(vi+1−vi)(wi+1−wi)/h; the exact mass and potential integrals are the conforming reconstruction used in the convergence theorem.

Both realizations have a constant function 1, a real finite-dimensional inner-product space, and a self-adjoint nonnegative operator Ah. They share the physical energy Eh(u)=κ2mh(Ahu,u)+Ec,h(u)−Ee,h(u), with the appropriate inner product and energy components for the realization. The sign convention is Ah≈−Δ.

K1K2K3K4QFQFQFQ=0Q=0

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 W01,p 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

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