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
{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.