A degree- Legendre polynomial is orthogonal, for integration on , to every polynomial of degree at most , and has distinct roots in . Divide by :The Orthogonality of Legendre polynomials gives . At every quadrature node , . The assumed exactness for therefore proves exactness up to degree , the characteristic property of Gaussian quadrature.
Use the Lagrange interpolation polynomialIts square has degree , so the exactness already proved givesThe positive weights of Gaussian quadrature follow because is a nonzero continuous polynomial. Thus these Gaussian quadrature weights are in fact positive, rather than merely nonnegative.
To prove convergence of positive quadrature on continuous functions, for a continuous , the Weierstrass approximation theorem supplies a polynomial with . For every sufficiently large , the Gaussian quadrature rule is exact for this fixed polynomial. Positivity of its weights and their sum then giveSince is arbitrary, . Notice that no differentiability of is needed; uniform polynomial approximation and positivity provide the whole argument.
Articles by others on the same topic
There are currently no matching articles.