This package provides support for one-dimensional numerical integration in Julia using adaptive
Gauss-Kronrod quadrature.
The code was originally part of Base Julia. It supports integration of arbitrary numeric types,
including arbitrary precision (BigFloat), and even integration of arbitrary normed vector spaces
(e.g. matrix-valued integrands).
The package provides three functions: quadgk, gauss, and kronrod.
quadgk performs the integration, gauss computes Gaussian quadrature points and weights for integrating
over the interval [a, b], and kronrod computes Kronrod points, weights, and embedded Gaussian quadrature
weights for integrating over [-1, 1]. Typical usage looks like:
using QuadGK
integral, err =quadgk(x ->exp(-x^2), 0, 1, rtol=1e-8)
which computes the integral of exp(–x²) from x=0 to x=1 to a relative tolerance of 10⁻⁸, and returns the approximate integral = 0.746824132812427 and error estimate err = 7.887024366937112e-13 (which is actually smaller than the requested tolerance: convergence was very rapid because the integrand is smooth).
For integrands whose values are small arrays whose length is known at compile-time,
it is usually most efficient to modify your integrand to return
an SVector from the StaticArrays.jl package.
However, for integrands that return large or variabley-length arrays, we also provide a function
quadgk!(f!, result, a,b...) in order to exploit in-place operations where possible. The
result argument is used to store the estimated integral I in-place, and the integrand function
is now of the form f!(r, x) and should write f(x) in-place into the result array r.
Gaussian quadrature and arbitrary weight functions
If you are computing many similar integrals of smooth functions, you may not need an adaptive
integration — with a little experimentation, you may be able to decide on an appropriate number
N of integration points in advance, and re-use this for all of your integrals. In this case
you can use x, w = gauss(N, a, b) to find the quadrature points x and weights w, so that
sum(f.(x) .* w) is an N-point approximation to ∫f(x)dx from a to b.
For computing many integrands of similar functions with singularities,
x, w = gauss(W, N, a, b) function allows you to pass a weight functionW(x) as the first argument,
so that sum(f.(x) .* w) is an N-point approximation to ∫W(x)f(x)dx from a to b. In this way,
you can put all of the singularities etcetera into W and precompute an accurate quadrature rule as
long as the remaining f(x) terms are smooth. For example,
using QuadGK
x, w =gauss(x ->exp(-x) /sqrt(x), 10, 0, -log(1e-10), rtol=1e-9)
computes the points and weights for performing ∫exp(-x)f(x)/√x dx integrals from 0 to -log(1e-10) ≈ 23, so that there is a 1/√x singularity in the integrand at x=0 and a rapid decay for increasing x. (The gauss function currently does not support infinite integration intervals, but for a rapidly decaying weight function you can approximate an infinite interval to any desired accuracy by a sufficiently broad interval, with a tradeoff in computational expense.) For example, with f(x) = sin(x), the exact answer is 0.570370556005742…. Using the points and weights above with sum(sin.(x) .* w), we obtain 0.5703706212868831, which is correct to 6–7 digits using only 10 f(x) evaluations. Obtaining similar
accuracy for the same integral from quadgk requires nearly 300 function evaluations. However, the
gauss function itself computes many (2N) numerical integrals of your weight function (multiplied
by polynomials), so this is only more efficient if your f(x) is very expensive or if you need
to compute a large number of integrals with the same W.
The FastGaussQuadrature.jl package provides
non-adaptive Gaussian quadrature variety of built-in weight functions — it is a good choice you need to go to very high orders N, e.g. to integrate rapidly oscillating functions, or use weight functions that incorporate some standard singularity in your integrand. QuadGK, on the other hand, keeps the order N of the quadrature rule fixed and improves accuracy by subdividing the integration domain, which can be better if fine resolution is required only in a part of your domain (e.g if your integrand has a sharp peak or singularity somewhere that is not known in advance).
请发表评论