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.
Orthogonal TPFA diffusion with harmonic face transmissibility
Definition
Let be a boundary-anchored mesh as in Finite-volume cell-face meshes and geometric regularity. It is TPFA-admissible if, for each interior face , the center segment is perpendicular to the supporting hyperplane of and intersects the relative interior of at a point . Thus the center points lie on opposite sides of that face, and , , so define for every interior face. Each boundary face must satisfy with ; in particular, its face centroid is the normal projection of onto the face plane.
Let the scalar diffusion coefficient be constant on each cell, , with fixed bounds . For each interior face and boundary face define the transmissibilities The interior formula is the conductance of two half-cell resistances in series. Equivalently, with , it is . This is a distance-weighted harmonic mean; it equals the ordinary harmonic mean only when .
For cell values and prescribed boundary face values , the outward signed flux is This is a two-point flux approximation (TPFA): an interior face flux uses only the values in its two incident cells, and a boundary face flux uses only its incident cell value and the prescribed boundary value. The finite-volume equations for a cellwise integrable source are Thus an interior face uses one flux with opposite signs in its two balances. For homogeneous Dirichlet data define the symmetric energy form and its norm by For each face take a separate copy of measure on an interior face and on a boundary face. The reconstructed normal gradient is on an interior face (with either fixed orientation) and on a homogeneous boundary face. Give the interior face copy coefficient and the boundary face copy coefficient . Then is exactly the weighted norm of this face-copy gradient reconstruction. The copies are bookkeeping spaces; they are not claimed to partition .
The drawing uses the outward-from-cell sign convention, so . Orthogonality is required for the TPFA diffusion flux to approximate the full normal flux with only the two cell values. The definition includes scalar isotropic diffusion only; anisotropic tensors and nonorthogonal meshes require a separately analysed cell-and-face method. Cellwise coefficient jumps are allowed when their interfaces are mesh faces. No universal consistency claim is made for jumps that cut through cells.
Depends on
Used by
- A nonorthogonal two-point flux gives a false transverse flux Counterexample
- No-flux finite-volume and conforming realizations for phase fields Definition
- No-flux TPFA diffusion generator Definition
- Harmonic TPFA flux on a rectangular Voronoï mesh Example
- Harmonic transmissibility across a one-dimensional material interface Example
- Discrete Poincaré inequality from boundary paths Theorem
- Discrete TPFA Rellich compactness and physical weak gradients Theorem
- TPFA discrete Green identity, coercivity, and maximum principle Theorem
- TPFA flux-energy convergence for smooth face-aligned interfaces Theorem
Dependency tree · one level
1 result 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, 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)