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.
Existence, uniqueness, linearity, and boundedness of the Ritz projection
Statement
Let be finite-dimensional, and let be a real bounded coercive bilinear form with constants and . For every there is a unique satisfying the defining equation of The elliptic Ritz projection for a conforming finite-element space. The map is linear and The argument uses only finite-dimensional linear algebra; it adds no choice axiom.
Facts & Assumptions
Given: A finite-dimensional real subspace , a real bounded/coercive form , and .
The Ritz equation for unknown is for every ; its solution is denoted (The elliptic Ritz projection for a conforming finite-element space).
Boundedness and coercivity mean and (Bounded, coercive and symmetric sesquilinear forms).
Proof
If , define ; the Ritz equation, uniqueness, and norm bound are immediate. Otherwise fix a finite ordered basis of . Form the square matrix and vector . If and , then for each , hence . Coercivity [F2] gives , so basis independence gives . Thus has zero kernel and, being square, is invertible. Its unique solution defines the unique satisfying [F1].
Testing [F1] with gives If , the bound is immediate; otherwise divide by .
For and real scalars , bilinearity shows that satisfies [F1] for . Uniqueness from step 1.1 gives . The norm bound from step 2.1 proves boundedness, so is the required linear map.
Depends on
Used by
- Semidiscrete parabolic energy and L2 rates from elliptic approximation Corollary
- Direct derivation of the semidiscrete Ritz residual Example
- The L2 projection and Ritz projection give different initial data Example
- Semidiscrete Ritz error splitting and energy estimate Theorem
Cited to discharge well-definedness by The elliptic Ritz projection for a conforming finite-element space.
Dependency tree · two levels
10 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
- Christian Clason, Introduction to Finite Element Methods, lecture notes (standard reference, not scraped)
- Long Chen, Finite Element Methods for Parabolic Equations (standard reference, not scraped)