History of Nodes and weights of Gauss–Laguerre quadrature

back to table · edit · history · where entries came from · files

compare when who what
2026-09-10 09:20 bmatschke interactive the differential operator is upright; d is not a variable current reviewed
2026-09-05 11:27 bmatschke interactive the completeness note is read as part of a sentence and was a noun phrase with a telegraphic appendix; say which rules are here, what n indexes, and that each is listed in full
2026-09-04 14:24 bmatschke interactive who asked for a table is not a fact about the mathematics; the issue is answered in the issue
2026-09-03 01:23 bmatschke interactive link the Gauss-Hermite rule where the formula asks the reader to fold it, and replace "no integer is a root" -- which asserts the difficulty -- with Schur's irreducibility, checked here for every n the table holds
2026-09-03 00:36 zeta3 with claude (agent run 20260903T001339Z) table-build@1.41+af15eeb9 audit: link the Legendre polynomials where the secondary-polynomial formula names them; the DLMF link title no longer names a family the corpus holds
2026-09-03 00:32 zeta3 with claude (agent run 20260903T001 table-build@1.41+af15eeb9 Gauss-Laguerre nodes and weights for n <= 30: roots of L_n isolated over Q[x], weights in ball arithmetic, every rule checked for its degree of exactness with a control before being sent
2026-09-03 00:32 zeta3 table-build@1.41+af15eeb9 checking that this table can be written to
2026-09-03 00:31 zeta3 with claude (agent run 20260903T001339Z) table-build@1.41+af15eeb9 draft: nodes and weights of Gauss-Laguerre quadrature, proposal 3 of BATCH-2026-09-02

What changed between 2026-09-05 11:27 and 2026-09-10 09:20

from line 33 (5 lines) @@ -33,5 +33,5 @@
         equals: HREF{One}         number: '1'-        comment: $w_1=1=\int_0^\infty e^{-x}\,dx$+        comment: $w_1=1=\int_0^\infty e^{-x}\,\mathrm{d}x$       x:         equals: HREF{One}
from line 1542 (8 lines) @@ -1542,8 +1542,8 @@
     at a root of $L_n$. Also $\dfrac{1}{w_k}=\sum_{j=0}^{n-1}L_j(x_k)^2$, the Christoffel     function at the node, the $L_j$ being orthonormal for $e^{-x}$.-  formula-exactness: $\sum_{k=1}^{n} w_k x_k^m=\int_{0}^{\infty}x^m e^{-x}\,dx=m!$+  formula-exactness: $\sum_{k=1}^{n} w_k x_k^m=\int_{0}^{\infty}x^m e^{-x}\,\mathrm{d}x=m!$     for $0\leq m\leq 2n-1$, and not for $m=2n$; the moments are in HREF{Factorial}[the     table of factorials]. In particular $w_k>0$ and $\sum_{k=1}^{n}w_k=1$.-  formula-secondary: $w_k=\dfrac{q_n(x_k)}{L_n'(x_k)}$ with $q_n(x)=\int_{0}^{\infty}\dfrac{L_n(t)-L_n(x)}{t-x}\,e^{-t}\,dt$+  formula-secondary: $w_k=\dfrac{q_n(x_k)}{L_n'(x_k)}$ with $q_n(x)=\int_{0}^{\infty}\dfrac{L_n(t)-L_n(x)}{t-x}\,e^{-t}\,\mathrm{d}t$     the secondary polynomial of $L_n$ for the density $e^{-x}$, a polynomial of degree     $n-1$ with rational coefficients; the same construction for the HREF{Legendre_polynomials}[Legendre
from line 1558 (8 lines) @@ -1558,8 +1558,8 @@
     with $2n$ points and $u_k$ their weights; for $x^{1/2}e^{-x}$ it has nodes $t_k^2$     and weights $2u_k t_k^2$, taken from the Gauss–Hermite rule with $2n+1$ points.-    Both follow from $\int_{0}^{\infty}g(x)\,x^{\mp 1/2}e^{-x}\,dx=\int_{-\infty}^{\infty}-    g(t^2)\,t^{1\mp 1}\,e^{-t^2}\,dt$ and the uniqueness of the Gauss rule.-  formula-whole-half-line: $\int_{0}^{\infty}f(x)\,dx\approx\sum_{k=1}^{n}w_k\,e^{x_k}f(x_k)$-    CITE{Wiki}, and on $[a,\infty)$ with the weight $e^{-x}$, $\int_{a}^{\infty}f(x)\,e^{-x}\,dx\approx+    Both follow from $\int_{0}^{\infty}g(x)\,x^{\mp 1/2}e^{-x}\,\mathrm{d}x=\int_{-\infty}^{\infty}+    g(t^2)\,t^{1\mp 1}\,e^{-t^2}\,\mathrm{d}t$ and the uniqueness of the Gauss rule.+  formula-whole-half-line: $\int_{0}^{\infty}f(x)\,\mathrm{d}x\approx\sum_{k=1}^{n}w_k\,e^{x_k}f(x_k)$+    CITE{Wiki}, and on $[a,\infty)$ with the weight $e^{-x}$, $\int_{a}^{\infty}f(x)\,e^{-x}\,\mathrm{d}x\approx     e^{-a}\sum_{k=1}^{n}w_k\,f(x_k+a)$. Programs:
from line 1579 (7 lines) @@ -1579,7 +1579,7 @@
     language: Python Definition: For $n\geq 1$ the Gauss–Laguerre quadrature rule with $n$ points is the-  unique rule $\int_{0}^{\infty} f(x)\,e^{-x}\,dx \approx \sum_{k=1}^{n} w_k f(x_k)$-  that is exact for every polynomial $f$ of degree at most $2n-1$ CITE{Wiki}. Listed-  are its nodes $x_1<\cdots<x_n$ and its weights $w_k$.+  unique rule $\int_{0}^{\infty} f(x)\,e^{-x}\,\mathrm{d}x \approx \sum_{k=1}^{n}+  w_k f(x_k)$ that is exact for every polynomial $f$ of degree at most $2n-1$ CITE{Wiki}.+  Listed are its nodes $x_1<\cdots<x_n$ and its weights $w_k$. Parameters:   n:
from line 1618 (5 lines) @@ -1618,5 +1618,5 @@
     half-line it gives the rules for $x^{\pm 1/2}e^{-x}$ - table: HREF{Factorial}[Factorial of natural numbers]-  relation: the moments $\int_0^\infty x^m e^{-x}\,dx=m!$ that the rule reproduces+  relation: the moments $\int_0^\infty x^m e^{-x}\,\mathrm{d}x=m!$ that the rule reproduces     for $m\leq 2n-1$ - table: HREF{Algebraic_numbers_of_degree_2}[Algebraic numbers of degree 2] 

Sign in to restore an earlier version.