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.

Orthogonal TPFA diffusion with harmonic face transmissibility

Definition

Let T=(K,F) be a boundary-anchored mesh as in Finite-volume cell-face meshes and geometric regularity. It is TPFA-admissible if, for each interior face F=K∣L, the center segment [xK,xL] is perpendicular to the supporting hyperplane of F and intersects the relative interior of F at a point yF. Thus the center points lie on opposite sides of that face, and dK,F=∣yF−xK∣, dL,F=∣xL−yF∣, so define dF:=∣xL−xK∣=dK,F+dL,F for every interior face. Each boundary face F⊂∂K∩∂Ω must satisfy xF−xK=dK,FnK,F with dK,F>0; in particular, its face centroid is the normal projection of xK onto the face plane.

Let the scalar diffusion coefficient be constant on each cell, λ∣K=λK, with fixed bounds 0<λ∗≤λK≤λ∗<∞. For each interior face and boundary face define the transmissibilities TF=∣F∣dK,F/λK+dL,F/λL(F=K∣L),TK,F=∣F∣λKdK,F(F⊂∂K∩∂Ω). The interior formula is the conductance of two half-cell resistances in series. Equivalently, with λFharm=dF/(dK,F/λK+dL,F/λL), it is TF=∣F∣λFharm/dF. This is a distance-weighted harmonic mean; it equals the ordinary harmonic mean only when dK,F=dL,F.

For cell values uK and prescribed boundary face values gF, the outward signed flux is QK,F(u)=TF(uK−uL)(F=K∣L),QK,F(u)=TK,F(uK−gF)(F⊂∂Ω). 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 f are ∑F⊂∂KQK,F(u)=∫Kf(x) dx(K∈K). 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 ah(u,v)=∑F=K∣L∈FintTF(uK−uL)(vK−vL)+∑F∈FbdyTK,FuKvK,∥u∥Eh2=ah(u,u). For each face take a separate copy DF of measure ∣F∣dF on an interior face and ∣F∣dK,F on a boundary face. The reconstructed normal gradient is (uL−uK)nK,F/dF on an interior face (with either fixed orientation) and −uKnK,F/dK,F on a homogeneous boundary face. Give the interior face copy coefficient λFharm and the boundary face copy coefficient λK. Then ∥u∥Eh2 is exactly the weighted L2 norm of this face-copy gradient reconstruction. The copies are bookkeeping spaces; they are not claimed to partition Ω.

xKxLdFQK;FQL;FFK;¸KL;¸L

The drawing uses the outward-from-cell sign convention, so QK,F=−QL,F. 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

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