Approximate Functions and Interpolation

In many kinds of numerical computations, it is convenient to introduce approximate functions. Approximate functions can be thought of as generalizations of ordinary approximate real numbers. While an approximate real number gives the value to a certain precision of a single numerical quantity, an approximate function gives the value to a certain precision of a quantity which depends on one or more parameters. The Wolfram Language uses approximate functions, for example, to represent numerical solutions to differential equations obtained with NDSolve, as discussed in "Numerical Differential Equations".

Approximate functions in the Wolfram Language are represented by InterpolatingFunction objects. These objects work like the pure functions discussed in "Pure Functions". The basic idea is that when given a particular argument, an InterpolatingFunction object finds the approximate function value that corresponds to that argument.

The InterpolatingFunction object contains a representation of the approximate function based on interpolation. Typically it contains values and possibly derivatives at a sequence of points. It effectively assumes that the function varies smoothly between these points. As a result, when you ask for the value of the function with a particular argument, the InterpolatingFunction object can interpolate to find an approximation to the value you want.

 Interpolation[{f1,f2,…}] construct an approximate function with values fi at successive integers Interpolation[{{x1,f1},{x2,f2},…}] construct an approximate function with values fi at points xi

Constructing approximate functions.

Here is a table of the values of the sine function.
 In[1]:=
 Out[1]=
This constructs an approximate function which represents these values.
 In[2]:=
 Out[2]=
The approximate function reproduces each of the values in the original table.
 In[3]:=
 Out[3]=
It also allows you to get approximate values at other points.
 In[4]:=
 Out[4]=
In this case the interpolation is a fairly good approximation to the true sine function.
 In[5]:=
 Out[5]=

You can work with approximate functions much as you would with any other Wolfram Language functions. You can plot approximate functions, or perform numerical operations such as integration or root finding.

If you give a nonnumerical argument, the approximate function is left in symbolic form.
 In[6]:=
 Out[6]=
Here is a numerical integral of the approximate function.
 In[7]:=
 Out[7]=
Here is the same numerical integral for the true sine function.
 In[8]:=
 Out[8]=
A plot of the approximate function is essentially indistinguishable from the true sine function.
 In[9]:=
 Out[9]=

If you differentiate an approximate function, the Wolfram Language will return another approximate function that represents the derivative.

This finds the derivative of the approximate sine function, and evaluates it at .
 In[10]:=
 Out[10]=
The result is close to the exact one.
 In[11]:=
 Out[11]=

InterpolatingFunction objects contain all the information the Wolfram Language needs about approximate functions. In standard Wolfram Language output format, however, only the part that gives the domain of the InterpolatingFunction object is printed explicitly. The lists of actual parameters used in the InterpolatingFunction object are shown only in iconic form.

In standard output format, the only parts of an InterpolatingFunction object printed explicitly are its domain and output type.
 In[12]:=
 Out[12]=
If you ask for a value outside of the domain, the Wolfram Language prints a warning, then uses extrapolation to find a result.
 In[13]:=
 Out[13]=

The more information you give about the function you are trying to approximate, the better the approximation the Wolfram Language constructs can be. You can, for example, specify not only values of the function at a sequence of points, but also derivatives.

 Interpolation[{{{x1},f1,df1,ddf1,…},…}] construct an approximate function with specified derivatives at points xi

Constructing approximate functions with specified derivatives.

This interpolates through the values of the sine function and its first derivative.
 In[14]:=
 Out[14]=
This finds a better approximation to the derivative than the previous interpolation.
 In[15]:=
 Out[15]=

Interpolation works by fitting polynomial curves between the points you specify. You can use the option InterpolationOrder to specify the degree of these polynomial curves. The default setting is , yielding cubic curves.

This makes a table of values of the cosine function.
 In[16]:=
This creates an approximate function using linear interpolation between the values in the table.
 In[17]:=
 Out[17]=
The approximate function consists of a collection of straightline segments.
 In[18]:=
 Out[18]=
With the default setting , cubic curves are used, and the function looks smooth.
 In[19]:=
 Out[19]=

Increasing the setting for InterpolationOrder typically leads to smoother approximate functions. However, if you increase the setting too much, spurious wiggles may develop.

 ListInterpolation[{{f11,f12,…},{f21,…},…}] construct an approximate function from a two‐dimensional grid of values at integer points ListInterpolation[list,{{xmin,xmax},{ymin,ymax}}] assume the values are from an evenly spaced grid with the specified domain ListInterpolation[list,{{x1,x2,…},{y1,y2,…}}] assume the values are from a grid with the specified grid lines

Interpolating multidimensional arrays of data.

This interpolates an array of values from integer grid points.
 In[20]:=
 Out[20]=
Here is the value at a particular position.
 In[21]:=
 Out[21]=
Here is another array of values.
 In[22]:=
To interpolate this array you explicitly have to tell the Wolfram Language the domain it covers.
 In[23]:=
 Out[23]=

ListInterpolation works for arrays of any dimension, and in each case it produces an InterpolatingFunction object which takes the appropriate number of arguments.

This interpolates a threedimensional array.
 In[24]:=
 Out[24]=
The resulting InterpolatingFunction object takes three arguments.
 In[25]:=
 Out[25]=

The Wolfram Language can handle not only purely numerical approximate functions, but also ones which involve symbolic parameters.

This generates an InterpolatingFunction that depends on the parameters a and b.
 In[26]:=
This shows how the interpolated value at 2.2 depends on the parameters.
 In[27]:=
 Out[27]=
With the default setting for InterpolationOrder used, the value at this point no longer depends on a.
 In[28]:=
 Out[28]=

In working with approximate functions, you can quite often end up with complicated combinations of InterpolatingFunction objects. You can always tell the Wolfram Language to produce a single InterpolatingFunction object valid over a particular domain by using FunctionInterpolation.

This generates a new InterpolatingFunction object valid in the domain 0 to 1.
 In[29]:=
 Out[29]=
This generates a nested InterpolatingFunction object.
 In[30]:=
 Out[30]=
This produces a pure twodimensional InterpolatingFunction object.
 In[31]:=
 Out[31]=
 FunctionInterpolation[expr,{x,xmin,xmax}] construct an approximate function by evaluating expr with x ranging from xmin to xmax FunctionInterpolation[expr,{x,xmin,xmax},{y,ymin,ymax},…] construct a higher‐dimensional approximate function

Constructing approximate functions by evaluating expressions.