# Calculus of Finite Differences

## calculus of finite differences

[′kal·kyə·ləs əv ′fī‚nīt ′dif·rən·səs]## Calculus of Finite Differences

a branch of mathematics that studies functions of a discretely (discontinuously) varying argument, in contrast to differential calculus and integral calculus, where the argument is assumed to vary continuously. The expressions

Δ*y _{k}* ≡ Δ

*f*(

*x*) =

_{k}*f*(

*x*)−

_{k+1}*f*(

*x*)

_{k}first order differences

Δ^{2}*y _{k}* ≡ Δ

^{2}

*f*(

*x*) = Δ

_{k}*f*(

*x*

_{k+1})− Δ

*f*(

*x*)

_{k}=*f*(*x*_{k+2}) − 2*f*(*x*_{k+1}) + *f*(*x*_{k+2})

second order differences

. . . . . . . . . . . . . . . . . . . .

Δ^{n}*y _{k}* ≡ Δ

^{n}

*f*(

*x*) = Δ

_{k}^{n-1}

*f*(

*x*

_{k+1}) − Δ

^{n-1}

*f*(

*x*

_{k})

are the “forward” finite differences for a sequence of values *y*_{1} = *f*(*x*_{1}), *y*_{2} = *f*(*x*_{2}, . . . ,*y _{k}* =

*f*(

*x*

_{k}), . . . , of the function

*f*(

*x*) corresponding to the sequence

*x*

_{0}, . . . ,

*x*

_{k}, . . . of values of the argument; here

*x*=

_{k}*x*

_{0}+

*kh*, with

*h*constant and

*k*integral.

Likewise, the “backward” finite differences Δ^{n}*y _{k}* are defined by the equalities

Δ^{n}*y _{k}* = ∇

^{n}

*y*

_{k+1}

In connection with interpolation, frequent use is made of central differences *δ*^{n}*y*, which are computed for odd *n* at the points *x* = *x _{i}* +

*1/2h*and for even

*n*at the points

*x*=

*x*, by the formulas

_{i}δ*f*(*x* + 1/2*h*) ≡ δ*y*_{i}+1/2 = *f*(*x*_{i}+1) − *f*(*x _{i}*)

δ*f*(*x _{i}*) ≡ δ

^{2}

*y*

_{i}≡ δ

*y*

_{i}+1/2 − δ

*y*

_{i}-1/2

. . . . . . . . . . . . . . . . . . . .

δ^{2m-1}*f*(*x _{i}* + 1/2

*h*) ≡ δ

^{2m-1}

*y*

_{i+1/2}= δ

^{2m-2}

*y*

_{i+1}− δ

^{2m}

δ^{2m}*f*(*x _{i}*)≡δ

^{2m-1}

*y*

_{i+1/2}−δ

^{2m-1}

*y*

_{i-1/2}

They are supplemented with the arithmetic means

for *m* = 1, 2, . . . and the mean

for *m* = 0. The central differences *δ ^{n}y* are related to the finite differences

*Δ*by the equations

^{n}yδ^{2m}*y _{i}* = ∆

^{2m}

*y*

_{i-m}δ^{2m+1}*y _{i+1/2}* = ∆

^{2m+1}

*y*

_{i-m}If the values of the argument do not form an arithmetic progression, that is, if *x*_{k} + *x _{k}* is not constant, then instead of finite differences we use divided differences, defined successively by the formulas

The connection between finite differences and derivatives is given by the formula, where. There exists a perfect analogy between the role of finite differences in the theory of functions of a discrete argument and the role of derivatives in the theory of functions of a continuous argument. Finite differences are at the core of a number of branches of numerical analysis, such as interpolation of functions, numerical differentiation and integration, and numerical methods for solving differential equations.

For example, in order to obtain an approximate solution of (an ordinary or partial) differential equation, we often replace the derivatives by the corresponding differences divided by the powers of the differences of the arguments and solve the resulting difference equation.

An important branch of the calculus of finite differences is devoted to the solution of difference equations of the form

**(1)***F*[*x*, Δ*f*(*x*), . . . , Δ^{n}*f*(*x*)] = 0

a problem that in many ways is similar to the solution of *n*th-order differential equations. Equation (1) is usually written in the form

Φ[*x*, *f*(*x*), *f*(*x*_{1}), . . . , *f*(*x*_{n})] = 0

with differences expressed by the corresponding values of the function. A particularly simple case is that of a linear homogeneous equation with constant coefficients:

*f*(*x* + *n*) + *a*_{1}*f*(*x* + *n* − 1) + . . . + *a _{n}f*(

*x*) = 0

where *a*_{1}, . . . , *a _{n}* are constants. In order to solve this equation, we must find the roots

*λ*

_{1},

*λ*

_{2}, . . . ,

*λ*of its characteristic equation

_{n}*λ*^{n} + *aλ*^{n-1} + . . . + *a _{n}* = 0

The solution of the equation is then represented in the form

*f*(*x*) = *C*_{1}*λ*_{1}^{x} +*C*_{2}*λ*_{2}^{x} + . . . + *C*_{n}*λ*_{n}^{x}

where *C*_{1}, *C*_{2}, . . . , *C _{n}* are arbitrary constants (it is assumed here that no two of the numbers

*λ*

_{1},

*λ*

_{2}, . . . ,

*λ*

_{n}are equal).

### REFERENCES

Berezin, I. S., and N. P. Zhidkov.*Metody vychislenii*, 3rd ed., vols. 1–2. Moscow, 1966.

Gel’fond, A. O.

*Ischislenie konechnykh raznostei*, 3rd ed. Moscow, 1967. edited by

N. S. BAKHVALOV