The Lagrange interpolation polynomial isThe distinct nodes make all denominators nonzero. Each Lagrange basis polynomial has degree and satisfies , so the sum has degree at most and interpolates every specified value.
If and both interpolate the data and have degree at most , the polynomial has the distinct roots . A nonzero polynomial of degree at most has at most roots: repeated use of the factor theorem would otherwise make a product of linear factors divide it. Hence , proving the interpolating polynomial is unique.
Integrate the Lagrange interpolation polynomial and exchange the integral with the finite sum:Therefore the interpolatory quadrature weights areThe resulting quadrature rule is exact for every polynomial of degree at most , since its interpolant is itself. For a general continuous , replacing by its interpolant supplies the approximation.
Articles by others on the same topic
There are currently no matching articles.