Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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 Vh⊂V be finite-dimensional, and let a be a real bounded coercive bilinear form with constants M and α>0. For every u∈V there is a unique Rhu∈Vh satisfying the defining equation of The elliptic Ritz projection for a conforming finite-element space. The map Rh:V→Vh is linear and ∥Rhu∥V≤Mα∥u∥V. The argument uses only finite-dimensional linear algebra; it adds no choice axiom.

Facts & Assumptions

Given: A finite-dimensional real subspace Vh⊂V, a real bounded/coercive form a, and u∈V.

[F1]

The Ritz equation for unknown zh∈Vh is a(zh,vh)=a(u,vh) for every vh∈Vh; its solution is denoted Rhu (The elliptic Ritz projection for a conforming finite-element space).

[F2]

Boundedness and coercivity mean ∣a(x,y)∣≤M∥x∥V∥y∥V and a(x,x)≥α∥x∥V2 (Bounded, coercive and symmetric sesquilinear forms).

Proof

1.1F1F2givenconstruct

If Vh={0}, define Rhu=0; the Ritz equation, uniqueness, and norm bound are immediate. Otherwise fix a finite ordered basis (e1,…,em) of Vh. Form the square matrix Kij=a(ej,ei) and vector bi=a(u,ei). If Kc=0 and x=∑jcjej, then a(x,ei)=0 for each i, hence a(x,x)=∑icia(x,ei)=0. Coercivity [F2] gives x=0, so basis independence gives c=0. Thus K has zero kernel and, being square, is invertible. Its unique solution Kc=b defines the unique Rhu satisfying [F1].

2.1F1F2step 1.1algebra

Testing [F1] with vh=Rhu gives α∥Rhu∥V2≤a(Rhu,Rhu)=a(u,Rhu)≤M∥u∥V∥Rhu∥V. If Rhu=0, the bound is immediate; otherwise divide by α∥Rhu∥V.

3.1F1step 1.1step 2.1algebra∎

For u,w∈V and real scalars c,d, bilinearity shows that cRhu+dRhw satisfies [F1] for cu+dw. Uniqueness from step 1.1 gives Rh(cu+dw)=cRhu+dRhw. The norm bound from step 2.1 proves boundedness, so Rh is the required linear map.

Depends on

Used by

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