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 TPFA diffusion generator
Definition
Let be a finite TPFA-admissible cell-face mesh from Finite-volume cell-face meshes and geometric regularity and Orthogonal TPFA diffusion with harmonic face transmissibility. Impose homogeneous no-flux boundary conditions: boundary faces contribute zero flux and therefore no conductance. For adjacent cells , set
where the sum is over their common interior faces and is zero when they are not adjacent. Set and . If more than one face separates a cell pair, summing their conductances gives the same cell-balance flux as retaining the faces separately. Define the symmetric matrix by and for .
For species diffusivities , the no-flux finite-volume diffusion equation is for each species , where . Its component equation is
The equality is the usual shared-face TPFA balance with outward flux and no boundary flux. The matrix is symmetric, has zero row sums and nonpositive off-diagonal entries, and obeys , where the sum is over unordered adjacent cell pairs. With , the generator is self-adjoint in the weighted pairing . This definition makes no accuracy claim for arbitrary admissible meshes.
Depends on
Used by
- Exact reaction-then-diffusion Lie step on FV or periodic grids Algorithm
- Forward-Euler reaction followed by exact FV or periodic diffusion Algorithm
- Cell-centered rectangular TPFA grid with homogeneous no-flux boundaries Definition
- A forward-Euler Fisher–KPP reaction step preserves its interval under a sharp simple bound Example
- A bounded Euler-reaction Lie step preserves rectangles and mass balance Theorem
- Exact reaction-diffusion Lie steps preserve rectangles and mass balance Theorem
- Finite-volume and periodic diffusion preserve intervals and weighted mass Theorem
Dependency tree · one level
2 results within one dependency step 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, updated author text, 2019 (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)