Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

3.4: Finite Difference Calculus

This page is a draft and is under active development. 

( \newcommand{\kernel}{\mathrm{null}\,}\)

In this section, we will explore further to the method that we explained in the introduction of Quadratic sequences.

Example 3.4.1

Create a sequence of numbers by finding a relationship between the number of points on the circumference of a circle and the number of regions created by joining the points.

circle.png

Table 3.4.1: Dividing circle
Number of points on the circle 0 1 2 3 4 5 6 7 8
Number of regions 1 1 2 4 8 16 31 57 99

Difference operator

Notation:

Let an,n=0,1,2, be a sequence of numbers. Then the first difference is defined by Δan=an+1an,n=0,1,2,.

The second difference is defined by Δ(Δan)=Δ2an=Δan+1Δan,n=0,1,2,.

Further, kth difference is denoted by Δkan,n=k,. We shall denote that Δ0an=an.

Example 3.4.2

Let an=n2, for all nN. Show that Δ2an=2.

Solution

Δan=(n+1)2n2=2n+1,

Δ2an=(2(n+1)+1)(2n+1)=2.

Rule

Let kZ+. Let an=nk, for all nN. Then Δkan=k!.

Example 3.4.3

Let an=cn, for all nN. Show that Δan=(c1)an.

Solution

Δan=cn+1cn=cn(c1)=(c1)an.

Below are some properties of the difference operator.

Theorem 3.4.1: Difference operator is a Linear Operator

Let an and bn be sequences, and let c be any number. Then

  1. Δ(an+bn)=Δan+Δbn, and
  2. Δ(can)=cΔan.
Proof

Very simple calculation.

Definition: Falling Powers

The falling power is denoted by xm_ and it is defined by x(x1)(x2)(x3)(xm+1), with x0_=1.

Falling powers are useful in the difference calculus because of the following property:

Theorem 3.4.2

Δnm_=mnm1_.

Proof

Δnm_=(n+1)m_nm_

=(n+1)n(n1)(n2)(n3)(nm+2)n(n1)(n2)(n3)(nm+1)

=n(n1)(n2)(n3)(nm+2)((n+1)(nm+1))

=n(n1)(n2)(n3)(nm+2)m

=mnm1_.

Let us now consider the sequence of numbers in the example 3.4.1.

Table 3.4.2: Falling Powers
Number of points on the circle 0 1 2 3 4 5 6 7 8
Number of regions 1 1 2 4 8 16 31 57 99
Δan   0 1 2 4 8 15 26 42
Δ2an     1 1 2 4 7 11 16
Δ3an       0 1 2 3 4 5
Δ4an         1 1 1 1 1

Since the fourth difference is constant, an should be polynomial of degree 4. Let's explore how to find this polynomial.

Definition

(nk)=n!k!(nk)!,kn,nN{0}.

Theorem 3.4.2

Δ(nk)=(nk1),kn,nN{0}.

Proof

Note that (nk)=1k!nk_.

Consider Δ(nk)=Δ(1k!nk_)

=1k!Δ(nk_)

=kk!n(k1)_

=1(k1)!n(k1)_

=(nk1).

We can also see this by considering Pascal’s triangle.

Theorem 3.4.3 Newton's formula

Let a0,a1,a2, be sequence of numbers such that Δk+1a0=0. Then the n th term of the original sequence is given by

an=1k!(Δka0)nk_++a0=a0+(n0)Δa1+(n2)Δ2a2++(nk)Δkak.

Proof

Exercise.

If n th term of the original sequence is linear, then the first difference will be a constant. If n th term of the original sequence is quadratic, then the second difference will be a constant. A cubic sequence has the third difference constant.

Source

  • Thanks to Olivia Nannan for the diagram.
  • Reference: Kunin, George B. "The finite difference calculus and applications to the interpolation of sequences." MIT Undergraduate Journal of Mathematics 232.2001 (2001): 101-9.
  • Reference: Samson, D. (2006). Number patterns, cautionary tales and finite differences. Learning and Teaching Mathematics, 2006(3), 3-8.

This page titled 3.4: Finite Difference Calculus is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Pamini Thangarajah.

Support Center

How can we help?