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.
Pressure Schur equivalence from inf-sup, continuity, and stiffness scaling
Statement
Let be finite-dimensional real inner-product spaces with norms . Let be symmetric positive definite, and let be a bilinear constraint form, represented by the matrices in Symmetric saddle-point system, Schur complement, and block preconditioners. Suppose that, for constants , If is the pressure mass matrix for , then the positive Schur matrix satisfies, for every , Thus pressure-mass Schur equivalence is conditional on the actual inf-sup, continuity, and velocity stiffness scalings shown here.
Facts & Assumptions
Given: Finite-dimensional real spaces , an SPD velocity matrix , a constraint matrix , a pressure mass matrix , and the positive constants in the statement.
The saddle matrix, its velocity and constraint blocks, and the pressure Schur matrix use the conventions of Symmetric saddle-point system, Schur complement, and block preconditioners.
The positive-definite bilinear form is an inner product with norm (Real and complex inner product spaces, with the inner product linear in the first argument).
Cauchy–Schwarz holds in the inner product (Cauchy–Schwarz: , with equality exactly for dependent pairs).
Proof
Fix and put . By [F1] and symmetry of , for every . By [F3], . If , equality is attained at ; if , both sides are zero. Hence
The upper energy inequality in the statement implies , so the supremum in step 1.1 is at least . The lower energy inequality implies ; continuity of therefore makes that supremum at most . Squaring these inequalities and using step 1.1 proves both displayed Schur bounds.
For nonzero , the lower bound in step 2.1 is positive because and is positive definite. Thus is positive definite, and the two quadratic-form inequalities are the stated pressure-mass spectral equivalence.
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
- Michele Benzi, Gene H. Golub, and Jörg Liesen, Numerical solution of saddle point problems (standard reference, not scraped)
- J. L. Guermond, P. Minev, and J. Shen, An overview of projection methods for incompressible flows (standard reference, not scraped)