Linear interpolation · Lablypedia

Linear interpolation between two known points

If the two known points are given by the coordinates $(x_{0}, y_{0})$ and $(x_{1}, y_{1})$ , the linear interpolant is the straight line between these points. For a value $x$ in the interval $(x_{0}, x_{1})$ , the value $y$ along the straight line is given from the equation of slopes $\frac{y - y_{0}}{x - x_{0}} = \frac{y_{1} - y_{0}}{x_{1} - x_{0}},$ which can be derived geometrically from the figure on the right. It is a special case of polynomial interpolation with $n = 1$ .

Solving this equation for $y$ , which is the unknown value at $x$ , gives $\begin{matrix} y & = y_{0} + (x - x_{0}) \frac{y_{1} - y_{0}}{x_{1} - x_{0}} \\ = \frac{y_{0} (x_{1} - x_{0})}{x_{1} - x_{0}} + \frac{y_{1} (x - x_{0}) - y_{0} (x - x_{0})}{x_{1} - x_{0}} \\ = \frac{y_{1} x - y_{1} x_{0} - y_{0} x + y_{0} x_{0} + y_{0} x_{1} - y_{0} x_{0}}{x_{1} - x_{0}} \\ = \frac{y_{0} (x_{1} - x) + y_{1} (x - x_{0})}{x_{1} - x_{0}}, \end{matrix}$ which is the formula for linear interpolation in the interval $(x_{0}, x_{1})$ . Outside this interval, the formula is identical to linear extrapolation.

This formula can also be understood as a weighted average. The weights are inversely related to the distance from the end points to the unknown point; the closer point has more influence than the farther point. Thus, the weights are $1 - (x - x_{0}) / (x_{1} - x_{0})$ and $1 - (x_{1} - x) / (x_{1} - x_{0})$ , which are normalized distances between the unknown point and each of the end points. Because these sum to 1, $\begin{matrix} y & = y_{0} (1 - \frac{x - x_{0}}{x_{1} - x_{0}}) + y_{1} (1 - \frac{x_{1} - x}{x_{1} - x_{0}}) \\ = y_{0} (1 - \frac{x - x_{0}}{x_{1} - x_{0}}) + y_{1} (\frac{x - x_{0}}{x_{1} - x_{0}}) \\ = y_{0} (\frac{x_{1} - x}{x_{1} - x_{0}}) + y_{1} (\frac{x - x_{0}}{x_{1} - x_{0}}) \end{matrix}$ yielding the formula for linear interpolation given above.

5 more chapters are free with a Lably account.

Interpolation of a data set

Linear interpolation on a set of data points (x₀, y₀), (x₁, y₁), ..., (x_n, y_n) is defined as piecewise linear, resulting from the concatenation of linear segment interpolants between each pair of data points. This results in a continuous curve, with a discontinuous derivative (in general), thus of differentiability class $C^{0}$ .

Linear interpolation as an approximation

Linear interpolation is often used to approximate a value of some function f using two known values of that function at other points. The error of this approximation is defined as $R_{T} = f (x) - p (x),$ where p denotes the linear interpolation polynomial defined above: $p (x) = f (x_{0}) + \frac{f (x_{1}) - f (x_{0})}{x_{1} - x_{0}} (x - x_{0}) .$

It can be proven using Rolle's theorem that if f has a continuous second derivative, then the error is bounded by $| R_{T} | \leq \frac{(x_{1} - x_{0})^{2}}{8} max_{x_{0} \leq x \leq x_{1}} | f^{″} (x) | .$

That is, the approximation between two points on a given function gets worse with the second derivative of the function that is approximated. This is intuitively correct as well: the "curvier" the function is, the worse the approximations made with simple linear interpolation become.

History and applications

Linear interpolation has been used since antiquity for filling the gaps in tables. Suppose that one has a table listing the population of some country in 1970, 1980, 1990 and 2000, and that one wanted to estimate the population in 1994. Linear interpolation is an easy way to do this. It is believed that it was used in the Seleucid Empire (last three centuries BC) and by the Greek astronomer and mathematician Hipparchus (second century BC). A description of linear interpolation can be found in the ancient Chinese mathematical text called The Nine Chapters on the Mathematical Art (九章算術), dated from 200 BC to AD 100 and the Almagest (2nd century AD) by Ptolemy.

The basic operation of linear interpolation between two values is commonly used in computer graphics. In that field's jargon it is sometimes called a lerp (from linear interpolation). The term can be used as a verb or noun for the operation. e.g. "Bresenham's algorithm lerps incrementally between the two endpoints of the line."

Lerp operations are built into the hardware of all modern computer graphics processors. They are often used as building blocks for more complex operations: for example, a bilinear interpolation can be accomplished in three lerps. Because this operation is cheap, it's also a good way to implement accurate lookup tables with quick lookup for smooth functions without having too many table entries.

Extensions

Accuracy

If a C⁰ function is insufficient, for example if the process that has produced the data points is known to be smoother than C⁰, it is common to replace linear interpolation with spline interpolation or, in some cases, polynomial interpolation.

Multivariate

Linear interpolation as described here is for data points in one spatial dimension. For two spatial dimensions, the extension of linear interpolation is called bilinear interpolation, and in three dimensions, trilinear interpolation. Notice, though, that these interpolants are no longer linear functions of the spatial coordinates, rather products of linear functions; this is illustrated by the clearly non-linear example of bilinear interpolation in the figure below. Other extensions of linear interpolation can be applied to other kinds of mesh such as triangular and tetrahedral meshes, including Bézier surfaces. These may be defined as indeed higher-dimensional piecewise linear functions (see second figure below).

Programming language support

Many libraries and shading languages have a "lerp" helper-function (in GLSL known instead as mix), returning an interpolation between two inputs (v0, v1) for a parameter t in the closed unit interval [0, 1]. Signatures between lerp functions are variously implemented in both the forms (v0, v1, t) and (t, v0, v1).

<span id="mwhQ"></span><span class="linenos" data-line="1" id="mwhg"></span><span class="c1" id="mwhw">// Imprecise method, which does not guarantee v = v1 when t = 1, due to floating-point arithmetic error.</span> <span class="linenos" data-line="2" id="mwiA"></span><span class="c1" id="mwiQ">// This method is monotonic. This form may be used when the hardware has a native fused multiply-add instruction.</span> <span class="linenos" data-line="3" id="mwig"></span><span class="kt" id="mwiw">float</span><span class="w" id="mwjA"> </span><span class="nf" id="mwjQ">lerp</span><span class="p" id="mwjg">(</span><span class="kt" id="mwjw">float</span><span class="w" id="mwkA"> </span><span class="n" id="mwkQ">v0</span><span class="p" id="mwkg">,</span><span class="w" id="mwkw"> </span><span class="kt" id="mwlA">float</span><span class="w" id="mwlQ"> </span><span class="n" id="mwlg">v1</span><span class="p" id="mwlw">,</span><span class="w" id="mwmA"> </span><span class="kt" id="mwmQ">float</span><span class="w" id="mwmg"> </span><span class="n" id="mwmw">t</span><span class="p" id="mwnA">)</span><span class="w" id="mwnQ"> </span><span class="p" id="mwng">{</span> <span class="linenos" data-line="4" id="mwnw"></span><span class="w" id="mwoA"> </span><span class="k" id="mwoQ">return</span><span class="w" id="mwog"> </span><span class="n" id="mwow">v0</span><span class="w" id="mwpA"> </span><span class="o" id="mwpQ">+</span><span class="w" id="mwpg"> </span><span class="n" id="mwpw">t</span><span class="w" id="mwqA"> </span><span class="o" id="mwqQ">*</span><span class="w" id="mwqg"> </span><span class="p" id="mwqw">(</span><span class="n" id="mwrA">v1</span><span class="w" id="mwrQ"> </span><span class="o" id="mwrg">-</span><span class="w" id="mwrw"> </span><span class="n" id="mwsA">v0</span><span class="p" id="mwsQ">);</span> <span class="linenos" data-line="5" id="mwsg"></span><span class="p" id="mwsw">}</span> <span class="linenos" data-line="6" id="mwtA"></span> <span class="linenos" data-line="7" id="mwtQ"></span><span class="c1" id="mwtg">// Precise method, which guarantees v = v1 when t = 1. This method is monotonic only when v0 * v1 < 0.</span> <span class="linenos" data-line="8" id="mwtw"></span><span class="c1" id="mwuA">// Lerping between same values might not produce the same value</span> <span class="linenos" data-line="9" id="mwuQ"></span><span class="kt" id="mwug">float</span><span class="w" id="mwuw"> </span><span class="nf" id="mwvA">lerp</span><span class="p" id="mwvQ">(</span><span class="kt" id="mwvg">float</span><span class="w" id="mwvw"> </span><span class="n" id="mwwA">v0</span><span class="p" id="mwwQ">,</span><span class="w" id="mwwg"> </span><span class="kt" id="mwww">float</span><span class="w" id="mwxA"> </span><span class="n" id="mwxQ">v1</span><span class="p" id="mwxg">,</span><span class="w" id="mwxw"> </span><span class="kt" id="mwyA">float</span><span class="w" id="mwyQ"> </span><span class="n" id="mwyg">t</span><span class="p" id="mwyw">)</span><span class="w" id="mwzA"> </span><span class="p" id="mwzQ">{</span> <span class="linenos" data-line="10" id="mwzg"></span><span class="w" id="mwzw"> </span><span class="k" id="mw0A">return</span><span class="w" id="mw0Q"> </span><span class="p" id="mw0g">(</span><span class="mi" id="mw0w">1</span><span class="w" id="mw1A"> </span><span class="o" id="mw1Q">-</span><span class="w" id="mw1g"> </span><span class="n" id="mw1w">t</span><span class="p" id="mw2A">)</span><span class="w" id="mw2Q"> </span><span class="o" id="mw2g">*</span><span class="w" id="mw2w"> </span><span class="n" id="mw3A">v0</span><span class="w" id="mw3Q"> </span><span class="o" id="mw3g">+</span><span class="w" id="mw3w"> </span><span class="n" id="mw4A">t</span><span class="w" id="mw4Q"> </span><span class="o" id="mw4g">*</span><span class="w" id="mw4w"> </span><span class="n" id="mw5A">v1</span><span class="p" id="mw5Q">;</span> <span class="linenos" data-line="11" id="mw5g"></span><span class="p" id="mw5w">}</span>

This lerp function is commonly used for alpha blending (the parameter "t" is the "alpha value"), and the formula may be extended to blend multiple components of a vector (such as spatial x, y, z axes or r, g, b colour components) in parallel.