Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge 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.

GLL quadrature changes only the top Legendre modes and is p-uniformly equivalent

Statement

For every p≥1, the one-dimensional GLL rule integrates all polynomials of degree at most 2p−1 exactly and has positive weights. If f=∑n=0panPn, then Qp(f2)−∫−11f2=2(p+1)p(2p+1)ap2. For every v∈Qp([−1,1]d), ∥v∥L22≤Qp⊗d(v2)≤3d∥v∥L22,∥∇v∥L22≤Qp⊗d(∣∇v∣2)≤3d∥∇v∥L22. The same inequalities hold on affine boxes under the transported rule. If a pointwise-defined scalar coefficient a:K‾→R is Lebesgue measurable on K and satisfies 0<a‾≤a(x)≤a‾ throughout K‾, the sampled form QK,p(a∣∇v∣2) is equivalent to the exact weighted energy ∫Ka∣∇v∣2 with lower factor a‾/a‾ and upper factor 3da‾/a‾. These are p-uniform stability bounds; they do not bound the Strang consistency defect or equate quadrature with exact Galerkin assembly.

Facts & Assumptions

Given: Integer p≥1, dimension d≥1, the GLL nodes and weights, and, for the coefficient bound, a pointwise-defined scalar coefficient a:K‾→R that is Lebesgue measurable on K and has the stated bounds at every point of K‾.

[F1]

Legendre-Gauss-Lobatto nodes, weights, and tensor quadrature: the nodes are −1, 1, and the roots of Pp′, and the weights are interpolatory integrals of the degree-p cardinal polynomials.

[F2]

Legendre polynomials by Rodrigues' formula and their unweighted pairing and Legendre polynomials have explicit norms and weighted derivative orthogonality: Pn has degree n, leading coefficient κn>0, and ∫−11PnPm=2δnm/(2n+1).

[A1]

The local tensor polynomial space and affine box conventions are those of Variable-degree conforming hp spaces on matching affine meshes.

Proof

1.1F1F2givenalgebra

Define g(x)=(x2−1)Pp′(x); it vanishes at all GLL nodes and has degree p+1. For p≥2, divide any polynomial f of degree at most 2p−1 as f=gr+s with deg⁡r≤p−2 and deg⁡s≤p. Integration by parts gives ∫−11gr=−∫−11Pp(2xr+(x2−1)r′)=0, since the boundary term vanishes and the bracket has degree at most p−1. The quadrature of gr is also zero because g vanishes at every node, while the interpolatory definition integrates s exactly. Thus Qp(f)=∫f. For p=1, interpolatory exactness through degree p=1 is the required degree 2p−1=1.

2.1F1F2step 1.1algebra

Divide Pp2=gr+s with deg⁡r=p−1 and deg⁡s≤p. Since the leading coefficient of g is pκp, the leading coefficient of r is κp/p. Integration by parts as in step 1.1 gives ∫gr=−∫Pp(2xr+(x2−1)r′). The bracket has degree at most p and leading coefficient (p+1)κp/p, so it equals (p+1)Pp/p plus a polynomial of degree below p; orthogonality [F2] therefore gives ∫gr=−(p+1)∥Pp∥22/p. Since Qp(gr)=0 and Qp(s)=∫s, it follows that Qp(Pp2)−∫Pp2=−∫gr=(p+1)∥Pp∥22/p=2(p+1)/(p(2p+1)).

3.1F1F2step 1.1step 2.1algebra

Write any degree-p polynomial as f=apPp+r with deg⁡r<p. Step 1.1 integrates r2 and Ppr exactly, so step 2.1 gives Qp(f2)=∫f2+δpap2, where δp=2(p+1)/(p(2p+1))>0. For a cardinal polynomial ℓj, Qp(ℓj2)=wj by its nodal values, while the displayed identity gives wj=∫ℓj2+δpap(ℓj)2>0. Thus all quadrature weights are positive and the one-dimensional squared norm ratio is between 1 and 2+1/p≤3.

4.1A1step 1.1step 3.1givenalgebra

Expand a tensor polynomial in the orthogonal basis ∏r=1dPνr(ξr), 0≤νr≤p. The tensor quadrature and exact integral are both diagonal on this basis: every cross term is exact by step 1.1, and each diagonal factor has ratio 1 unless νr=p, when step 3.1 bounds it by 3. Multiplying the d coordinate factors proves the mass norm bounds. Each coordinate derivative of a tensor polynomial is still in Qp, so applying the same tensor norm bounds to each component and summing proves the gradient bounds.

5.1A1step 4.1givenalgebra∎

An affine change of variables multiplies both exact integrals and the transported quadrature by the same positive Jacobian. Apply the unweighted bounds of step 4.1 to each physical gradient component pulled back to the reference cube. The measurable bounded coefficient makes a∣∇v∣2 integrable on the bounded box, and its specified values on K‾ define every quadrature sample. Positivity of the weights and the pointwise bounds give a‾ Q(∣∇v∣2)≤Q(a∣∇v∣2)≤a‾ Q(∣∇v∣2) and the analogous inequalities for the exact integral; combine them with step 4.1 to obtain the stated weighted comparison. The constants are independent of p.

Depends on

Used by

Dependency tree · two levels

13 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