INTERPOLATION (from Lat. interpolare, to alter, or insert something fresh, connected with polire, a polish), in mathematics, the process of obtaining intermediate terms of a series of which particular terms only are given. The cubes, for instance, shown in the second column of the accompanying table, may be regarded as terms of a series, and the cube of a fractional number, not exceeding the last number in the first column, may be found by interpolation. The process of obtaining the cube of a number exceeding the last number in the first column would be extrapolation; the formulae which apply to interpolation apply in theory to extrapolation, but in practice special precautions as to accuracy are necessary. The present article deals only with interpolation.

The term is usually limited to those cases in which there are two quantities, x and u, which are so related that when x has any arbitrary value, lying perhaps between certain limits, the value of u is determinate. There is a given series of associated values of u and of x, and interpolation consists in determining the value of u for any arbitrary value of x, or the value of x for any arbitrary value of u, lying between two of the values in the series. Either of the two quantities may be regarded as a function of the other; it is convenient to treat one, x, as the "independent variable," the other, u, being treated as the "dependent variable," i.e. as a function of x. If, as is usually the case, the successive values of one of the quantities proceed by a constant increment, this quantity is to be regarded as the independent variable. The two series of values may be tabulated, those of x being placed in a column (or row), and those of u in a parallel column (or row); u is then said to be tabulated in terms of x. The independent variable x is called the argument, and the dependent variable u is called the entry. Interpolation, in the ordinary sense, consists in determining the value of a for a value of x intermediate between two values appearing in the table. This may be described as direct interpolation, to distinguish it from inverse interpolation, which consists in determining the value of x for a value of u intermediate between two in the table. The methods employed can be extended to cases in which the value of u depends on the values of two or more independent quantities x,y,...

In the ordinary case we may regard the values of x as measured along a straight line OX from a fixed point 0, so that to any value of x there corresponds a point on the line. If we represent the corresponding value of u by an ordinate drawn from the line, the extremities of all such ordinates will lie on a curve which will be the graph of u with regard to x. Interpolation therefore consists in determining the length of the ordinate of a curve occupying a particular position, when the lengths of ordinates occupying certain specified positions are known. If u is a function of two variables, x and y, we may similarly represent it by the ordinate of a surface, the position of the ordinate being determined by the values of x and of y jointly.

The series or tables to which interpolation has to be applied may for convenience be regarded as falling into two main groups. The first group comprises mathematical tables, i.e. tables of mathematical functions; in the case of such a table the value of the function u for each tabulated value of x is calculated to a known degree of accuracy, and the degree of accuracy of an interpolated value of u can be estimated. The second group comprises tables of values which are found experimentally, e.g. values of a physical quantity or of a statistical ratio; these values are usually subject to certain "errors" of observation or of random selection (see Probability). The methods of interpolation are usually the same in the two groups of cases, but special considerations have to be taken into account in the second group. The line of demarcation of the two groups is not absolutely fixed; the tables used by actuaries, for instance, which are of great importance in practical life, are based on statistical observations, but the tables formed directly from the observations have been "smoothed" so as to obtain series which correspond in form to the series of values of mathematical functions.

It must be assumed, at any rate in the case of a mathematical function, that the "entry" u varies continuously with the "argument" x, i.e. that there are no sudden breaks, changes of direction, &c., in the curve which is the graph of u.

Various methods of interpolation are described below. The simplest is that which uses the principle of proportional parts; and mathematical tables are usually arranged so as to enable this method to be employed. Where this is not possible, the methods are based either on the use of Taylor's Theorem, which gives a formula involving differential coefficients (see Infinitesimal Calculus), or on the properties of finite differences (see Differences, Calculus Of). Taylor's Theorem can only be applied directly to a known mathematical function; but it can be applied indirectly, by means of finite differences, in various cases where the form of the function expressing u in terms of x is unknown; and even where the form of this function is known it is sometimes more convenient to determine the differential coefficients by means of the differences than to calculate them directly from their mathematical expressions. Finally, there are cases where we cannot even employ finite-difference formulae directly. In these cases we must adopt some special method; e.g. we may instead of u tabulate some function of u, such as its logarithm, which is found to be amenable to ordinary processes, then determine the value of this function corresponding to the particular value of x, and thence determine the corresponding value of u itself.

In considering methods of interpolation, it will be assumed, unless the contrary is stated, that the values of x proceed by a constant increment, which will be denoted by h. In order to see what method is to be employed, it is usually necessary to arrange the given series of values of u in the form of a table, as explained above, and then to take the successive differences of u. The differences of the successive values of u are called its first differences; these form a new series, the first differences of which are the second differences of u; and so on. The systems of notation of the differences are explained briefly below. For the fuller discussion, reference should be made to Differences, Calculus Of.

I. Interpolation From Mathematical Tables A. Direct Interpolation. I. Interpolation by First Differences. - The simplest cases are those in which the first difference in u is constant, or nearly so. For example :- Example I. - (u= log l ox). Example 2. - (u =log lox).

In Example I the first difference of u corresponding to a difference of hm ooi in x is 0001000; but, since we are working throughout to seven places of decimals, it is more convenient to write it moo. This system of ignoring the decimal point in dealing with differences will be adopted throughout this article. To find u for an intermediate value of x we assume the principle of proportional parts, i.e. we assume that the difference in u is proportional to the difference in x. Thus for x=4.342945 the difference in u is 945 of moo =945, so that u is. 6376898+. 0000945 = ' 6 377 8 43 For x=4'3429-4482 the difference in u would be 944.82, so that the value of u would apparently be. 6376898+. 000094482 = .637784282. This, however, would be incorrect. It must be remembered that the values of u are only given "correct to seven places of decimals," i.e. each tabulated value differs from the corresponding true value by a tabular error which may have any value up to =. 10f 000000l; and we cannot therefore by interpolation obtain a result which is correct to nine places. If the interpolated value of u has to be used in calculations for which it is important that this value should be as accurate as possible, it may be convenient to retain it temporarily in the form 6376898+944 82 =.6377842 82 or 6376898+94482= 6 3778-4282; but we must ultimately return to the seven-place arrangement and write it as 6377843. The result of interpolation by first difference is thus usually subject to two inaccuracies, the first being the tabular error of u itself, and the second being due to the necessity of adjusting the final figure of the added (proportional) difference. If the tabulated values are correct to seven places of decimals, the interpolated value, with the final figure adjusted, will be within 0000001 of its true value.

In Example 2 the differences do not at first sight appear to run regularly, but this is only due to the fact that the final figure in each value of u represents, as explained in the last paragraph, an approximation to the true value. The general principle on which we proceed is the same; but we use the actual difference corresponding to the interval in which the value of x lies. Thus for x =7.41373 we should have u= 86982+( 373 of 58) _ 87004; this result being correct within -wool.

2. Interpolation by Second Differences

If the consecutive first differences of u are not approximately equal, we must take account of the next order of differences. For example: - Example 3. - (u=log lox).

In such a case the advancing-difference formula is generally used. The notation is as follows. The series of values of x and of u are respectively xo, xi, x2,. .. and uo, ui, u2, .; and the successive differences of u are denoted by Au, 0 2 u,.. . Thus Duo denotes u1 - uo, and 0 2 00 denotes Lu1 - Duo = u 2 - 201+uo. The value of x for which u is sought is supposed to lie between xo and xi. If we write it equal to xo +6(x1 - xo) =xo+Bh, so that 0 lies between o and I, we may denote it by and the corresponding value of u by uo. We have then 0(1-0) 6(I - 6)(2-6) uo=uo+BOuo - &2uo+ 03uo - ... (I).

21 3!

Tables of the values of the coefficients of 0 2 u0 and i 3 uo to three places of decimals for various values of 0 from 0 to I are given in the ordinary collections of mathematical tables; but the formula is not really convenient if we have to go beyond ,6, 2 uo, or if 02uo itself contains more than two significant figures.

To apply the formula to Example 3 for x=6.277, we have 6 = 77, so that uo = 79 2 39+(. 77 of 695) - ( 089 of - II) = 79239+ 535 1 5+ 0 9 8 = 79775 Here, as elsewhere, we use two extra figures in the intermediate calculations, for the purpose of adjusting the final figure in the ultimate result.

3. Taylor's Theorem

Where differences beyond the second are involved, Taylor's Theorem is useful. This theorem (see Infinitesimal Calculus) gives the formula 92 63 uo = u0+616-, c22,-}-c33? + ... (2), where, c1, c 2, c 2,. .. are the values for 0 of the first, second, third,. .. differential coefficients of u with regard to x. The values of c1, c 2,. .. can occasionally be calculated from the analytical expressions for the differential coefficients of u; but more generally they have to be calculated from the tabulated differences. For this purpose central-difference formulae are the best. If we write I Lbuo = 2 (Duo 6 2 u0 = 020_1 ! 023 00 = 2 (03u-i+z3u-2 &c.

so that, if (as in §§ I and 2) each difference is placed opposite the space between the two quantities of which it is the difference, the expressions 5 2 uo, S 4 uo,.. . denote the differences of even order in a horizontal line with uo, and µAu °, 0 3 uo,. denote the means of the differences of odd order immediately below and above this line, then (see Differences, Calculus Of) the values of c 1, c21 are given by c1 =µSuo - 4lu5 3 uo+3 1 olta 5 uo - i 40l 1S 7 uo+ c 2 oF60s 8u 0+

c3 =m5 3 u0 - 1 -/.lb 5 uo+ 2 µb 7 uo -.

c4 = S 4 uo - 4.6 6 u0+-2-ID-6 8 u0 -

cS = 05u0 - g%Lb7u0+ ... c 6 = o 6 uo - 1S B U +.. .

If a calculating machine is used, the formula (2) is most conveniently written uo = uo+P1B P1 = ci + 1 P26 P2=c2 +aP36 Using 0 as the multiplicand in each case, the successive expressions

P 3 i P2, P1 i u9 are easily calculated.

? As an example, take u= tan x to five places of decimals, the values of x proceeding by a difference of I°. It will be found that the following is part of the table: - Example 4. - (u=tan x). To find u for x= 66°23', we have 0=23/60 = 3 8 33333. The following shows the full working: in actual practice it would be abbreviated. The operations commence on the right-hand side. It will be noticed that two extra figures are retained throughout.

+4105 67 = + 161023P3e=+ 71 =+ C 1 = +10549 42 3 +20550 C4= U 0 =2.28710 P1 = +1071044 P2=+84013 P3

00001 (§ 8), so that 2.28710 is correct within Ooooi I.

In applying this method to mathematical tables, it is desirable, on account of the tabular error, that the differences taken into account in (4) should end with a difference of even order. If, e.g. we use 0 3 uo in calculating ci, and c3, we ought also to use 5 4 u 0 for calculating c 2 and c4, even though the term due to S 4 uo would be negligible if S 4 uo were known exactly.

4. Geometrical and Algebraical Interpretation

In applying the principle of proportional parts, in such a case as that of Example I, we in effect treat the graph of u as a straight line. We see that the extremities of a number of consecutive ordinates lie approximately in a straight line: i.e. that, if the values are correct within = 2p, a straight line passes through points which are within a corresponding distance of the actual extremities of the ordinates; and we assume that this is true for intermediate ordinates. Algebraically we treat u as being of the form A +Bx, where A and B are constants determined by the values of u at the extremities of the interval through which we interpolate. In using first and second differences we treat u as being of the form A +Bx +Cx 2; i.e. we pass a parabola (with axis vertical) through the extremities of three consecutive ordinates, and consider that this is the graph of u, to the degree of accuracy given by the data. Similarly in using differences of a higher order we replace the graph by a curve whose equation is of the form u=A+Bx +Cx 2 +Dx 3 +. .. The various forms that interpolationformulae take are due to the various principles on which ordinates are selected for determining the values of A, B, C.. .

B. Inverse Interpolation. 5. To find the value of x when u is given, i.e. to find the value of 0 when uo is given, we use the same formula as for direct interpolation, but proceed (if differences beyond the first are involved) by successive approximation. Taylor's Theorem, for instance, gives 6 = (uo - uo) - (c1 + _ (ice - P1 (6), (5).

(3), (4) We first find an approximate value for 0: then calculate P 1, and find by (6) a more accurate value of 0; then, if necessary, recalculate P i, and thence 0, and so on.

II. Construction Of Tables By Subdivision Of Intervals 6. When the values of u have been tabulated for values of x proceeding by a difference h, it is often desirable to deduce a table in which the differences of x are h/n, where n is an integer.

If n is even it may be advisable to form an intermediate table in which the intervals are 1h. For this purpose we have = 1(U o +U) U=u-s5 2 u+1 (($S 4 u 30145Gu+...

=u8L 52u - 101 54u4(56u- .. .)Jt] where The following is an example; the data are the values of tan x to five places of decimals, the interval in x being I°. The differences of odd order are omitted for convenience of printing.

Example 5.

If a new table is formed from these values, the intervals be ng °, it will be found that differences beyond the fourth are negligible. To subdivide h into smaller intervals than 1h, various methods may be used. One is to calculate the sets of quantities which in the new table will be the successive differences, corresponding to uo, u l, ... and to find the intermediate terms by successive additions. A better method is to use a formula due to J. D. Everett. If we write 0= I - 0, Everett's formula is, in its most symmetrical form, For actual calculations a less symmetrical form may be used. Denoting (a+1)9(9-1) 5 2 741+ (9 +2)(0+1)0(0-1)(e -2) 5 4 74 1 +... (Io), by Al i, we have, for interpolation between uo and Ui, uo =uo+9Auo+oVi+l-oVo (I I), the successive values of 0 being i/n, 2/n, .. (n - I)/n. For interpolation between U i and 74 2 we have, with the same succession of values of 0, ul+o =ui +BV 1, V 2 + l_9 V l (12).

The values of 1 _ 0 V 1 in (12) are exactly the same as those of oV1 in (I I), but in the reverse order. The process is therefore that (i.) we find the successive values of uo+0 uo, &c., i.e. we construct a table, with the required intervals of x, as if we had only to take first differences into account; (ii.) we construct, in a parallel column, a table giving the values of W I, &c.; (iii.) we repeat these latter values, placing the set belonging to each interval h in the interval next following it, and writing the values in the reverse order; and (iv.) by'adding horizontally we get the final values for the new table.

As an example, take the values of tan x by intervals of 1° in x, as found above (Ex. 5). The first diagram below is a portion of this table, with the differences, and the second shows the calculation of the terms of (1 I) so as to get a table in which the intervals are o I of I°. The last column but one in the second diagram is introduced for convenience of calculation.

Example 6.

The following are the values of the coefficients of u1, 32,1, 454u1, and 6 6 u 1 in (9) for certain values of n. For calculating the four terms due to Pu t in the case of n =5 it should be noticed that the third term is twice the first, the fourth is the mean of the first and the third, and the second is the mean of the third and the fourth. In table 3, and in the last column of table 2, the coefficients are corrected in the last figure.

TABLE I .-n =5.

Table 2.-n =10.

Table 3.---n =12.

General Observations 7. Derivation of Formulae.-The advancing-difference formula (I) may be written, in the symbolical notation of finite differences, uo= (1-1-0) 0 74 0 =D e no (13); and it is an extension of _the theorem that if n is a positive integer un=uo+n0uo+ n(2, i) o 2 uo+...

the series being continued until the terms vanish. The formula (4) is identically true: the formula (13) or (I) is only formally true, but its applicability to concrete cases is due to the fact that the series in (1), when taken for a definite number of terms, differs from the true value of uo by a "remainder" which in most cases is very small when this definite number of terms is properly chosen.

Everett's formula (9), and the central-difference formula obtained by substituting from (4) in (2), are modifications of a standard formula u0-?6Su ? -? 6(6 21 1) 02uo-? (0+00(0 - I)53uI+ (0+00(0-0(0-2) 54uo +. .. (9+1)6(9 + + 5!.

(o-f-1)?b(?- 1) (o +2) (o+I)o(?

s2uo - 1)(0-2)547404m.

(9+2) (0+I)0(0 3!

?u0+ 3!

u 0 =0u1+ 52u1+ 5!

(9) (7), (8).

which may similarly be regarded as an extension of the theorem that, if n is a positive integer, un=uo +nSul +n(21 I)S2uo+(n-I-I)31 nI) 33ui ... (16).

There are other central-difference formulae besides those mentioned above; the general symbolical expression. is where ue = (cosh BhD +sinh ehD)uo (17), cosh ZhD =,u, sink zhD =15 (18).

8. Comparative A ccuracy.-Central-difference formulae are usually more accurate than advancing-difference formulae, whether we consider the inaccuracy due to omission of the "remainder" mentioned in the last paragraph or the error due to the approximative character of the tabulated values. The latter is the more important. If each tabulated value of u is within t Zp of the corresponding true value, and if the differences used in the formulae are the tabular differences, i.e. the actual successive differences of the tabulated values of u, then the ratio of the limit of error of ue, as calculated from the first r terms of the series in (I), to Zp is the sum of the first r terms of the series I-{-o+e(1-o)+e(' -e)(2-e)-{ o(1-e)(2-e)(3-0)+ 46(1-9) (2 -9) (3 -0)(4-0) +3-340(I -6) ... (564)+ ..., while the corresponding ratio for the use of differences up to 62Puo inclusive in (4) or up to 5 2P u i and o 2P uo in (9) (i.e. in effect, up to (5 2P+l ui) is the sum of the first p+I terms of the series e(1 -0) (1+0)0(1-0)(2-0) + I. I + (2!)2 + (3 !) 2 + it being supposed in each case that 0 lies between o and 1. The following table gives a comparison of the respective limits of error; the lines I. and II. give the errors due to the advancing-difference and the central-difference formulae, and the coefficient p is omitted throughout.

Table 4.

In some cases the differences tabulated are not the tabular differences, but the corrected differences; i.e. each difference, like each value of u, is correct within It does not follow that these differences should be used for interpolation. Whatever formula is employed, the first difference should always be the tabular first difference, not the corrected first difference; and, further, if a centraldifference formula is used, each difference of odd order should be the tabular difference of the corrected differences of the next lower order. (This last result is indirectly achieved if Everett's formula is used.) With these precautions (i.) the central-difference formula is slightly improved by using corrected instead of tabular differences, and (ii.) the advancing-difference formula is greatly improved, being better than the central-difference formula with tabular differences, but still not so good as the latter with corrected differences. For 0=. 5, for instance, supposing we have to go to fifth differences, the limits. 497 and t 696, as given above, become = .627 and. 575 respectively. _ 9. Completion of Table of Differences .-If no values of u outside the range within which we have to interpolate are given, the series of differences will be incomplete at both ends. It may be continued in each direction by treating as constant the extreme difference of the highest order involved; and central-difference formulae can then be employed uniformly throughout the whole range.

Suppose, for instance, that the values of tan x in § 6 extended only from x =60° to x =80°, we could then complete the table of differences by making the entries shown in italics below.

Example 7.

For interpolating between x =60° and x =61 ° we should obtain the same result by applying Everett's formula to this table as by using the advancing-difference formula; and similarly at the other end for the receding differences.

Interpolation by Substituted Tabulation. 10. The relation of u to x may be such that the successive differences of u increase rapidly, so that interpolation-formulae cannot be employed directly. Other methods have then to be used. The best method is to replace u by some expression v which is a function of u such that (i.) the value of v or of u can be determined for any given value of u or of v, and (ii.) when v is tabulated in terms of x the differences decrease rapidly. We can then calculate v, and thence u, for any intermediate value of x.

If, for instance, we require tan x for a value of x which is nearly 90°, it will be found that the table of tangents is not suitable for interpolation. We can, however, convert it into a table of cotangents to about the same number of significant figures; from this we can easily calculate cot x, and thence tan x.

I 1. This method is specially suitable for statistical data, where the successive values of u represent the area of a figure of frequency up to successive ordinates. We have first to determine, by inspection, a curve which bears a general similarity to the unknown curve of frequency, and whose area and abscissa are so related that either can be readily calculated with the other is known. This may be called the auxiliary curve. Denoting {by t the abscissa of this curve which corresponds to area u, we find the value of t corresponding to each of the given values of u. Then, tabulating t in terms of x, we have a table in which, if the auxiliary curve has been well chosen, differences of t after the first or second are negligible. We can therefore find t, and thence u, for any intermediate value of x. Extensions. 12. Construction of Formulae.-Any difference of u of the rth order involves r+1 consecutive values of u, and it might be expressed by the suffixes which indicate these values. Thus we might write the table of differences (2+0)(1+0)0(i -e)(2-e)(3-e) The formulae (I) and (15) might then be written u' = uo-, - X0, I)-} - x - xo 'x - x1 (0, I, 2)+ h h 2 h x - xp x - Xi x - x2 (0, I, 2, 3) + (19), h ' 2h ' 3h u=up -I- x - xo (01)+ x - xo - I O 1)+ E h 2h ' x - xo x - xi x 3 x -i(I, 0, I, 2)+ ... (20).

h 2h h The general principle on which these formulae are constructed, and which may be used to construct other formulae, is that (i.) we start with any tabulated value of u, (ii.) we pass to the successive differences by steps, each of which may be either downwards or upwards, and (iii.) the new suffix which is introduced at each step determines the new factor (involving x) for use in the next term. For any particular value of x, however, all formulae which end with the same difference of the rth order give the same result, provided tabular differences are used. If, for instance, we go only to first differences, we have uo+ h x (O, I) = ui+ x h xl (o, I) identically.

13. Ordinates not Equidistant. - When the successive ordinates in the graph of u are not equidistant, i.e. when the differences of successive values of x are not equal, the above principle still applies, provided the differences are adjusted in a particular way. Let the values of x for which u is tabulated be a=xo+ah, b=xo+13h, c=xo+ Then the table becomes In this table, however, (a, 0) does not mean Up - u a , but (u s - ua) (0 - a); (a, [3, y) means { (0, y) - (a, 1 3)) = 2 (y - a); and, generally any quantity (n,. .. 0) in the column headed "rth diff." is obtained by dividing the difference of the adjoining quantities in the preceding column by (4--, 7)/r. If the table is formed in this way, we may apply the principle of § 12 so as to obtain formulae such as u = ua+x h a (a, (3) + x h a Z h b (a, a, 7)-F ... (21), u = uy+ x j - - (13, 7)+ 7 - x 2h b (a, 13, y)+ .. (22).

The following example illustrates the method, h being taken to be I° Example 8.

To find u for x=31°, we use the values for 26°, 27°, 32° and 35° and obtain 11= A-3 8 37 00+1(156194 00)+i 2(-144547)+ 5 4 (-4600) _ 5150380, I 2 3 which is only wrong in the last figure.

If the values of u occurring in (21) or (22) are u a, up, u y,.. . u,, corresponding to values a, b, c,. .. 1 of x, the formula may be more symmetrically written u (x - b) (x - c)...(x - l) u + (x - a) (x - c)...(x - l ) u = (a - c)...(a - l) a (b - a) (b - c)...(b - l) a + (x - a) (x - b) (x - c)...? (23) (l - a) (l - b) (l - c) ... This is known as Lagrange's formula, but it is said to be due to Euler. It is not convenient for practical use, since it does not show how many terms have to be taken in any particular case.

14. Interpolation from Tables of Double Entry. - When u is a function of x and y, and is tabulated in terms of x and of y jointly, its calculation for a pair of values not given in the table may be effected either directly or by first forming a table of values of u in terms of y for the particular value of x and then determining u from this table for the particular value of y. For direct interpolation, consider that A represents differencing by changing x into x+1, and A' differencing by changing y into y+I. Then the formula is ux,y = (I +L) x (I + o') &u o,o; and the right-hand side can be developed in whatever form is most convenient for the particular case.

REFERENCES

For general formulae, with particular applications, see the Text-book of the Institute of Actuaries, part ii. (1st ed. 1887, 2nd ed. 1902), p. 434; H. L. Rice, Theory and Practice of Interpolation (1899). Some historical references are given by C. W. Merrifield, "On Quadratures and Interpolation," Brit. Assoc. Report (1880), p. 321; see also Encycl. der math. Wiss. vol. i. pt. 2, pp. 800-819. For J. D. Everett's formula, see Quar. Jour. Pure and Applied Maths., No. 128 (1901), and Jour. Inst. Actuaries, vol. xxxv. (1901), p. 452. As to relative accuracy of different formulae, see Proc. Lon. Math. Soc. (2) vol. iv. p. 320. Examples of interpolation by means of auxiliary curves will be found in Jour. Royal Stat. Soc. vol. lxiii. pp. 433, 6 37. See also DIFFERENCES, CALCULUS OF. (W. F. SH.)

Categories: I-IOL