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.
Hybridized no-flow RT0/P0 Darcy system
Definition
Assume Countable Choice.
Assume the no-flow Darcy data of No-flow mixed Darcy problem and coefficient norms and a facet-connected conforming mesh from Affine simplicial meshes and RT/BDM spaces. Let be its interior facets. On each cell , let The broken flux space is , the cell pressure space is , and the skeleton multiplier space is . The scalar is constant on facet and uses the fixed orientation only to label that facet; local equations use the outward normal of each cell.
For the source-only problem , a hybrid solution for satisfies, for every cell , every , and every interior facet , Because each RT0 normal component is constant on a facet, the last equation is pointwise normal-flux matching. With physical-boundary flux zero, the transformation for all cells and leaves the hybrid equations unchanged: in the local first equation the change is by Gauss–Green and the zero physical-boundary flux; the mass and jump equations do not use pressure or multipliers. This is the common pressure gauge.
Depends on
Used by
Dependency tree · two levels
20 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
- Daniele Boffi, Franco Brezzi and Michel Fortin, Mixed Finite Element Methods and Applications (standard reference, not scraped)
- Francisco-Javier Sayas, A gentle introduction to the Finite Element Method (2015) (standard reference, not scraped)