A family of quadrature formulae based on piecewise polynomial interpolation. I am not aware of this quadrature rule being previously discovered. Trapezoidal rule is a special case. This is distinct from spline based quadratures. I haven't proven convergence orders, but I expect them to be prescribed by the stencil size parameter.
This is an interpolation based quadrature scheme used to approximate
Interpolation based quadratures rely on approximating the function
and then exactly integrating
We can represent this in the form above by defining cardinal basis functions.
Let
Our quadrature weights are thus
In this way, our quadrature weights are uniquely defined by our nodes and interpolation.
First, we partition the domain
where the values
For each interval,
Our interpolant is defined piecewise over each interval
A natural set of quadrature formulae arrise for equally spaced points.
First, choose a number of points
The special case of
Due to translational symmetries, all of the interior quadrature weights will be the constant
It is therefore only necessary to list the weights near the boundary that differ from this value.
We can present these weights in a standardized format: choose a grid to be the positive integers
(so
This form makes it easy to compare to, for example, the Gregory weights.
This quadrature is an interpolation based quadrature. The interpolants found are piecewise polynomials with breakpoints at the nodes. The interpolants will be continuous, but we do not enforce any degree of smoothness over the break points (unlike splines).
Select a target order
These quadrature rules are equivalent to integrating exactly this resulting interpolant.
These interpolants are not the traditional splines.
Like splines, they are continuous piecewise polynomials.
Unlike splines, they do not enforce smoothness.
The figure below compares a function to the local interpolant (our interpolant) of degree 3 and also to a cubic spline with not-a-not boundary conditions.
It also plots the first and second derivatives of each of these functions.
Note that the second derivative of the local interpolant is discontinuous at some of the breakpoints.
This demonstrates that it is distinct from splines.
We can also compare the cardinal basis for the space of interpolants to the cardinal spline basis.
We see from the cardinal basis that the local interpolant is not smooth over the breakpoints.
It is not easy to see from this plot, but the cubic spline basis functions are supported over the entire interval.
A consequence of this is that the interpolant over each piece depends on all of the function values over the entire interval.
In contrast, the cardinal basis functions for local interpolation are supported only over a continguous set of
I've tested convergence of the even order equally spaced quadrature formulae above on several test functions.
We see that convergence is roughly
We avoid error from Runge's phenomenon.
Furthermore we are exact up to numerical error on polynomials of degree less than
Lastly, convergence is limited by the smoothness of our function.