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.

Cell-centered rectangular TPFA grid with homogeneous no-flux boundaries

Definition

Let Ω=∏j=1d(0,Lj), where Lj>0, and let integers Nj≥2 define hj=Lj/Nj. The finite cell set is Ih=∏j=1d{0,…,Nj−1}, cell centers are xi=((ij+12)hj)j=1d, and every cell has volume mh=∏jhj. This is the uniform orthogonal Cartesian mesh; adjacent center segments are perpendicular to their shared faces. Take the scalar cellwise coefficient to be λK=1 and give boundary faces homogeneous no-flux data, so they contribute no flux.

For a grid vector v=(vi)i∈Ih, define the positive cell-centered stencil

(AhNv)i=∑j=1d2vi−vi+ej−vi−ejhj2,

where an unavailable neighbor at a boundary is assigned the value of the boundary cell itself. Indeed a face normal to direction j has area ∣F∣=mh/hj and adjacent centers are distance hj apart, so its TPFA transmissibility is ∣F∣/hj=mh/hj2; dividing the cell balance by mh gives the displayed coefficient. Boundary faces contribute zero flux. Thus Mh=mhI and LhN=mhAhN are the mass and stiffness matrices of the no-flux specialization in No-flux TPFA diffusion generator. For species diffusivities dr≥0, the finite-volume diffusion equation is Ur′=−drAhNUr.

Define the doubled periodic grid with 2Nj cells per direction on side lengths 2Lj, using the same widths hj, as in Periodic rectangular reaction-diffusion grid. The reflection map Eh extends U evenly across every boundary face: in one coordinate, its extended index is i for 0≤i<Nj and 2Nj−1−i for Nj≤i<2Nj; apply this coordinatewise. This finite reflection convention is used in the error theorem below.

Depends on

Used by

Dependency tree · two levels

6 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