Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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.

Legendre-Gauss-Lobatto nodes, weights, and tensor quadrature

Definition

Fix an integer p≥1. Let ξ0=−1, ξp=1, and let ξ1<⋯<ξp−1 be the roots of Pp′ in (−1,1); for p=1 this interior list is empty. By Legendre-Gauss-Lobatto nodes are distinct and interior critical points are simple these p+1 nodes are distinct. Define ℓj(x)=∏0≤i≤p, i≠j(x−ξi)/(ξj−ξi), set wj=∫−11ℓj(x) dx, and define the Legendre–Gauss–Lobatto rule by Qp(f)=∑j=0pwjf(ξj).

On [−1,1]d its tensor rule is Qp⊗d(f)=∑j1,…,jd=0p(wj1⋯wjd)f(ξj1,…,ξjd). For an affine box map FK(ξ)=bK+JKξ, define the transported rule by QK,p(f)=∣det⁡JK∣Qp⊗d(f∘FK). The nodal basis on K is the pullback of ∏r=1dℓjr(ξr). The local mass and stiffness forms are respectively mK,p(v,w)=QK,p(vw) and aK,p(v,w)=QK,p(∇v⋅∇w); any sampled coefficient is evaluated at the same quadrature nodes. Global forms are assembled by summing the cell forms.

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