Loading [MathJax]/extensions/TeX/mathchoice.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

{n \choose k } =\displaystyle \frac{ n!}{k! (n-k)!} , k \leq n, n \in \mathbb{N} \cup \{0\} .

Theorem \PageIndex{2}

\Delta \displaystyle {n \choose k } = \displaystyle {n \choose k-1}, k \leq n, n \in \mathbb{N} \cup \{0\} .

Proof

Note that \displaystyle {n \choose k }= \frac{1}{k!} n^{\underline{k}}.

Consider \Delta {n \choose k } = \Delta ( \frac{1}{k!} n^{\underline{k}})

= \frac{1}{k!} \Delta( n^{\underline{k}})

= \frac{k}{k!} n^{\underline{(k-1)}}

= \frac{1}{(k-1)!} n^{\underline{(k-1)}}

= {n \choose k-1}.

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

Theorem \PageIndex{3} Newton's formula

Let a_0, a_1, a_2, \cdots be sequence of numbers such that \Delta^{k+1} a_0=0. Then the n th term of the original sequence is given by

a_n= \frac{1}{k!}(\Delta^k a_0)n^{\underline{k}} + \cdots+ a_0= a_0+ {n \choose 0 } \Delta a_1 +{n \choose 2 } \Delta^2 a_2+ \cdots + {n \choose k } \Delta^k a_k.

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?