# QuadGK.jl

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 more information, see the documentation.

## 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 function* `W(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`

.

See the `gauss`

documentation for more information. See also our example using a weight function interpolated from tabulated data.

## Similar packages

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).

For multidimensional integration, see the HCubature.jl, Cubature.jl, and Cuba.jl packages.