Legendre-Gauss Quadrature formula: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Dmitrii Kouznetsov
imported>Dmitrii Kouznetsov
mNo edit summary
Line 5: Line 5:
with special choice of nodes <math>x_i</math> and weights <math>w_i</math>, characterised in that, if the function <math>f</math> is [[polynomial]] of order smaller than <math>2N</math>, then the exact equality takes place in equation (1).
with special choice of nodes <math>x_i</math> and weights <math>w_i</math>, characterised in that, if the function <math>f</math> is [[polynomial]] of order smaller than <math>2N</math>, then the exact equality takes place in equation (1).


The Legendre-Gauss quadratude formula is a special case of [[Gaussian quadratures]] which allow efficient approximation of a function with known asymptotic behavior at the edges of the interval of integration.
The Legendre-Gauss quadratude formula is a special case of [[Gaussian quadratures]] which allow efficient approximation of a function with known asymptotic behavior at the edges of the interval of integration. This approximation is especially recommended for an integrand, which is [[holomorphic function]] at the interval of integration.


==Nodes and weights==
==Nodes and weights==

Revision as of 22:29, 21 May 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The Legendre-Gauss Quadratude formula is the approximation of the integral

(1)

with special choice of nodes and weights , characterised in that, if the function is polynomial of order smaller than , then the exact equality takes place in equation (1).

The Legendre-Gauss quadratude formula is a special case of Gaussian quadratures which allow efficient approximation of a function with known asymptotic behavior at the edges of the interval of integration. This approximation is especially recommended for an integrand, which is holomorphic function at the interval of integration.

Nodes and weights

Nodes in equation (1) are zeros of the Polynomial of Legendre :

(2)
(3)

Weight in equation (1) can be expressed with

(4)

There is no straightforward expression for the nodes ; they can be approximated to many decimal places through only few iterations, solving numerically equation (2) with initial approach

(5)

These formulas are described in the books [1] [2]

Precision of the approximation

For an integrand, which is polynomial of th power, the Legendre-Gauss quadrature with nodes gives the exact expression.

For an integrand, which is holomorphic function a the path of integration, the error of approximation reduces as exponential function of number of points of integration.

For an ntegrand with singulatiries at the interval of approximation, the formula still can be used, but the approximation is poor.
If the singularity of a holomorphic integrand is inside the range of integration, it can be avoided, deforming the contour of integration.
If the singularity is at the edge of the interval, one may consider to use another Gaussian quadrature, more sutable for the specific function. Alternatively, one may consider to change the variable of integration, making the integral regular.

Example

Fig.1. Example of estimate of precision: Logarithm of residual versus number of terms in the right hand side of equation (1) for various integrands .

In Fig.1, the decimal logarithm of the modulus of the residual of the appdoximation of integral with Gaussian quadrature is shown versus number of terms in the sum, for four examples of the integrand.

(black)
(red)
(green)
(blue)

The first of these functions is integrated "exactly" at , and the residual is determined by the rounding errors at the long double arithmetic. The second function (red) has branch points at the end of the interval; therefore, the approximation does not improve quickly at the increase of number terms in the sum. The last two functions are analytic within the range of integration; the residual decreases exponentially, and the precision of evaluation of the integral is limited only by the rounding errors.

Extension to other interval

is straightforward. Should I copypast the obvious formulas here?

References

  1. Abramovitz, Milton; I. Stegun (1964). Handbook of mathematical functions. National Bureau of Standards. ISBN 0-486-61272-4. 
  2. W.H.Press, S.A.Teukolsky, W.T.Vetterling, B.P.Flannery (1988). Numerical Resipes in C. Cambridge University Press. ISBN 0-521-43108-5.