Discrete spline interpolation

In the mathematical field of numerical analysis, discrete spline interpolation is a form of interpolation where the interpolant is a special type of piecewise polynomial called a discrete spline. A discrete spline is a piecewise polynomial such that its central differences are continuous at the knots whereas a spline is a piecewise polynomial such that its derivatives are continuous at the knots. Discrete cubic splines are discrete splines where the central differences of orders 0, 1, and 2 are required to be continuous.{{cite journal|last1=Tom Lyche|title=Discrete Cubic Spline Interpolation|journal=BIT|date=1979|volume=16|issue=3|pages=281–290|doi=10.1007/bf01932270|s2cid=122300608 }}

Discrete splines were introduced by Mangasarin and Schumaker in 1971 as solutions of certain minimization problems involving differences.{{cite journal|author1=Mangasarian, O. L. |author2=Schumaker, L. L.|title=Discrete splines via mathematical programming|journal=SIAM J. Control|date=1971|volume=9|issue=2|pages=174–183|doi=10.1137/0309015}}

Discrete cubic splines

Let x1, x2, . . ., xn-1 be an increasing sequence of real numbers. Let g(x) be a piecewise polynomial defined by

:

g(x)=

\begin{cases}

g_1(x) & x

g_i(x) & x_{i-1}\le x < x_i \text{ for } i = 2,3, \ldots, n-1\\

g_n(x) & x\ge x_{n-1}

\end{cases}

where g1(x), . . ., gn(x) are polynomials of degree 3. Let h > 0. If

:

(g_{i+1}-g_i)(x_i +jh)=0 \text{ for } j=-1,0,1 \text{ and } i=1,2,\ldots, n-1

then g(x) is called a discrete cubic spline.

=Alternative formulation 1=

The conditions defining a discrete cubic spline are equivalent to the following:

: g_{i+1}(x_i-h) = g_i(x_i-h)

: g_{i+1}(x_i) = g_i(x_i)

: g_{i+1}(x_i+h) = g_i(x_i+h)

=Alternative formulation 2=

The central differences of orders 0, 1, and 2 of a function f(x) are defined as follows:

:D^{(0)}f(x) = f(x)

:D^{(1)}f(x)=\frac{f(x+h)-f(x-h)}{2h}

:D^{(2)}f(x)=\frac{f(x+h)-2f(x)+f(x-h)}{h^2}

The conditions defining a discrete cubic spline are also equivalent to

:D^{(j)}g_{i+1}(x_i)=D^{(j)}g_i(x_i) \text{ for } j=0,1,2 \text{ and } i=1,2, \ldots, n-1.

This states that the central differences D^{(j)}g(x) are continuous at xi.

=Example=

Let x1 = 1 and x2 = 2 so that n = 3. The following function defines a discrete cubic spline:

g(x) =

\begin{cases}

x^3 & x<1 \\

x^3 - 2(x-1)((x-1)^2-h^2) & 1\le x < 2\\

x^3 - 2(x-1)((x-1)^2-h^2)+(x-2)((x-2)^2-h^2) & x \ge 2

\end{cases}

Discrete cubic spline interpolant

Let x0 < x1 and xn > xn-1 and f(x) be a function defined in the closed interval [x0 - h, xn + h]. Then there is a unique cubic discrete spline g(x) satisfying the following conditions:

:g(x_i) = f(x_i) \text{ for } i=0,1,\ldots, n.

:D^{(1)}g_1(x_0) = D^{(1)}f(x_0).

:D^{(1)}g_n(x_n) = D^{(1)}f(x_n).

This unique discrete cubic spline is the discrete spline interpolant to f(x) in the interval [x0 - h, xn + h]. This interpolant agrees with the values of f(x) at x0, x1, . . ., xn.

Applications

  • Discrete cubic splines were originally introduced as solutions of certain minimization problems.
  • They have applications in computing nonlinear splines.{{cite journal|last1=Michael A. Malcolm|title=On the computation of nonlinear spline functions|journal=SIAM Journal on Numerical Analysis|date=April 1977|volume=14|issue=2|pages=254–282|doi=10.1137/0714017|bibcode=1977SJNA...14..254M }}
  • They are used to obtain approximate solution of a second order boundary value problem.{{cite journal|last1=Fengmin Chen, Wong, P.J.Y.|title=Solving second order boundary value problems by discrete cubic splines|journal=Control Automation Robotics & Vision (ICARCV), 2012 12th International Conference|date=Dec 2012|pages=1800–1805}}
  • Discrete interpolatory splines have been used to construct biorthogonal wavelets.{{cite journal|last1=Averbuch, A.Z., Pevnyi, A.B., Zheludev, V.A.|title=Biorthogonal Butterworth wavelets derived from discrete interpolatory splines|journal=IEEE Transactions on Signal Processing|date=Nov 2001|volume=49|issue=11|pages=2682–2692|doi=10.1109/78.960415|bibcode=2001ITSP...49.2682A |citeseerx=10.1.1.332.7428}}

References