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.
The alternating Q1/P0 checkerboard pressure defeats the discrete inf-sup condition
Statement refuted
The continuous Q1 velocity / cellwise P0 pressure pair is uniformly inf-sup stable on every Cartesian mesh.
Facts & Assumptions
Given: The unit square with its square mesh; is the continuous bilinear vector space with zero boundary values, is the cellwise constant zero-mean space, and . Use and .
The discrete inf-sup constant is . (Fortin operators transfer the continuous inf-sup bound)
Counterexample
Define on the lower-left and upper-right cells and on the other two. Equal cell areas show , and . Let be the one-dimensional hat with values at . The only interior Q1 node is the center, so each scalar velocity is a multiple of .
Let , , and similarly . Direct integration gives , , and . The alternating signs factor, so . Interchanging gives .
Every admissible velocity is for constants , so step 2.1 gives for every velocity while is a nonzero mean-zero pressure. Its supremum in the discrete inf-sup quotient is zero; nonnegativity of that quotient forces the discrete inf-sup constant to be . Thus this family is not uniformly inf-sup stable.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
2 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
- Jean-Luc Guermond, MATH 661 Fall 2025, Chapter 54 (complete course notes) (standard reference, not scraped)
- Daniele Boffi, Franco Brezzi, Michel Fortin, Mixed Finite Element Methods and Applications (complete textbook) (standard reference, not scraped)