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.
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+1−an,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 n∈N. Show that Δ2an=2.
Solution
Δan=(n+1)2−n2=2n+1,
Δ2an=(2(n+1)+1)−(2n+1)=2.
Rule
Let k∈Z+. Let an=nk, for all n∈N. Then Δkan=k!.
Example 3.4.3
Let an=cn, for all n∈N. Show that Δan=(c−1)an.
Solution
Δan=cn+1−cn=cn(c−1)=(c−1)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
- Δ(an+bn)=Δan+Δbn, and
- Δ(can)=cΔan.
- Proof
-
Very simple calculation.
Definition: Falling Powers
The falling power is denoted by xm_ and it is defined by x(x−1)(x−2)(x−3)⋯(x−m+1), with x0_=1.
Falling powers are useful in the difference calculus because of the following property:
Theorem 3.4.2
Δnm_=mnm−1_.
- Proof
-
Δnm_=(n+1)m_−nm_
=(n+1)n(n−1)(n−2)(n−3)⋯(n−m+2)−n(n−1)(n−2)(n−3)⋯(n−m+1)
=n(n−1)(n−2)(n−3)⋯(n−m+2)((n+1)−(n−m+1))
=n(n−1)(n−2)(n−3)⋯(n−m+2)m
=mnm−1_.
Let us now consider the sequence of numbers in the example 3.4.1.
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!(n−k)!,k≤n,n∈N∪{0}.
Theorem 3.4.2
Δ(nk)=(nk−1),k≤n,n∈N∪{0}.
- Proof
-
Note that (nk)=1k!nk_.
Consider Δ(nk)=Δ(1k!nk_)
=1k!Δ(nk_)
=kk!n(k−1)_
=1(k−1)!n(k−1)_
=(nk−1).
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.