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-flow mixed Darcy problem and coefficient norms
Definition
Assume Countable Choice. Let be a bounded connected Lipschitz polyhedral domain, , and set and with the real graph and integral inner products from The real H(div) space and The real zero-mean space is Hilbert. A permeability tensor is a measurable real symmetric matrix field for which there are constants satisfying for almost every and every . It is positive definite almost everywhere, so is measurable and has eigenvalues between and . Define and the weighted flux norm . For data and , the no-flow mixed Darcy problem is to find such that The pressure space's zero-mean constraint fixes the additive constant (Neumann) gauge; encodes zero weak normal flux on the full boundary. In the standard source-only Darcy problem used for hybridization, .
Depends on
Used by
- Hybridized no-flow RT0/P0 Darcy system Definition
- Checkerboard permeability and the explicit contrast factor Example
- Continuous mixed Darcy well-posedness with pressure gauge Theorem
- Exact RT0/P0 element mass balance and normal continuity Theorem
- Hybridization, static condensation, and pressure gauge Theorem
- RT0/P0 Darcy stability and flux/pressure error bound Theorem
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
- Francisco-Javier Sayas, A gentle introduction to the Finite Element Method (2015) (standard reference, not scraped)
- Daniele Boffi, Franco Brezzi and Michel Fortin, Mixed Finite Element Methods and Applications (standard reference, not scraped)