Math 2.0

Approximations and expansions Definition

Cubic spline

Builds on SplinePolynomial functionDerivative

Definition

Let k≥1k \ge 1 and let a=t0<t1<⋯<tk=ba = t_0 < t_1 < \cdots < t_k = b be knots. A cubic spline with these knots is a function s ⁣:[a,b]→ℝs \colon [a, b] \to \R such that:

  1. for each i=1,…,ki = 1, \dots, k, the restriction of ss to [ti−1,ti][t_{i-1}, t_i] is a polynomial function of degree at most 33;
  2. ss is twice continuously differentiable on [a,b][a, b].

A cubic spline is natural if moreover s′′(a)=s′′(b)=0s''(a) = s''(b) = 0.

Remarks

This is the spline of degree 33. Writing sis_i for the piece on [ti−1,ti][t_{i-1}, t_i], clause 2 says that si(ti)=si+1(ti)s_i(t_i) = s_{i+1}(t_i), si′(ti)=si+1′(ti)s_i'(t_i) = s_{i+1}'(t_i) and si′′(ti)=si+1′′(ti)s_i''(t_i) = s_{i+1}''(t_i) for 1≤i≤k−11 \le i \le k - 1, where ′' is the derivative. The cubic splines with fixed knots form a vector space of dimension k+3k + 3. Given values at all knots, there is exactly one natural cubic spline taking them.

Example: knots −1<0<1-1 < 0 < 1 and s(x)=0s(x) = 0 for x≤0x \le 0, s(x)=x3s(x) = x^3 for x≥0x \ge 0. At 00 both pieces have value, first derivative and second derivative 00, so ss is a cubic spline. It is not natural, since s′′(1)=6≠0s''(1) = 6 \ne 0.

Non-example: s(x)=∣x∣s(x) = \abs{x} on [−1,1][-1, 1] with the knots −1<0<1-1 < 0 < 1 satisfies clause 1, since its pieces −x-x and xx are polynomials. It fails clause 2: its first derivative jumps from −1-1 to 11 at 00.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Derivative concept
  2. Polynomial function concept
  3. Spline concept
  4. Cubic spline definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Spline_interpolation
About this page
TagB7YND5ZVMF
URIm2://B7YND5ZVMF
Kinddefinition
WritingW0 stub
MSC41A15, 65D07
DefinesCubic spline
UsesSpline, Polynomial function, Derivative

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.