Professional Documents
Culture Documents
Sequences
Sequences
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted
digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about
JSTOR, please contact support@jstor.org.
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
http://about.jstor.org/terms
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access
to The American Mathematical Monthly
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
How to Differentiate and Integrate Sequences
Donald R. Chalice
The main purpose of this note is to show how to apply "discrete calculus" to solve cer-
tain discrete differential equations. Along the way we easily obtain closed formulas for
sums such as E>L3 km, and prove discrete analogues of Taylor's formula and the Chain
Rule (involving moving averages). Discrete integrating factors allow us to express the
solutions of certain of our discrete differential equations naturally as convolutions.
Such a solution may be interpreted as a convolution of the "impulse response" of the
system with the "driving sequence". This has an analog in differential equations: The
driven harmonic oscillator whose solution is the convolution of the "impulse response"
with the driver. Our main point is to use one's calculus/differential equations intuition
to solve certain discrete differential equations, whose solutions are usually found by
guessing and induction.
So let us begin by first discussing discrete calculus. All of our sequences are se-
quences of real or complex numbers
Let k be a positive integer and let pk (n) denote the space of polynomials of degree
k in n. Evidently, pk(n) has dimension k + 1 and is spanned by 1, n, n2, ... , nk.
The natural basis for pk (n) is the following set of polynomials in n (ordered by
degree):
One verifies that the natural basis is indeed a basis of pk (n). The reason we call
it the natural basis for pk (n) is that, just as the derivative of xk is kxk-1, the discrete
derivative of pk(n) is kpk I(n):
Likewise, for any constant m, APpk(n + m) = kpkl (n + m). Evidently, with k fixe
Pk (n) is the number of permutations of size k from n objects.
The following differentiation rules hold:
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
Since the series E' AA(k) is collapsing, the fundamental theorem is immediate:
Note the 1 appended to the upper limit of the summation in the Fundamental The-
orem. As in Calculus, we differentiate P (k) Q (k) and then integrate both sides from 0
to n to get the integration by parts formula (again notice the added 1):
then integrate:
n n Ark rn+l 1
o O r-1 r-1
Definition 3. (Higher Order Derivatives) Let A (n), n = 0, 1, 2, ... be a sequence.
Then the 2ndforward difference or 2nd discrete derivative is found by taking the for-
ward difference twice: A2A (n) = A (A A (n)). The kth forward difference or discrete
derivative is found by taking the forward difference k times; we denote it by
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
The expansion of k3 used in proving Proposition 2 is actually the Taylor expansion
of k3. The next Taylor theorem holds for any sequence.
Proof The result is true for k = 1, so suppose (*) is true for k. Take A of both sides,
and add (*) to get
(k+l)AjA( )
N(n+l)-1
N(n+l)-1
= pt(AA(n), AN(n))AN(n),
where
n+N-1
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
Theorem 6. (Chain Rule) If N(n) is a sequence of non-negative integers, then
where ,u(AA(n), AN(n)) is the moving average of the AN(n) derivatives starting at
AA(n).
* If AA(n) = A B(n) for all n, then A(n) and B(n) differ by a constant.
A(n + 1) = f(A(n)).
By subtracting A(n) from both sides we get a first order discrete differ
or difference equation: A A (n) = f (A (n)) -A (n) = g (A (n)). As in the continuous
case, a discrete differential equation of the form
A(n + 1) = A(n) + b.
A(n + 1) = rA(n) + b.
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
or
The equations in the two preceeding examples are easily solved without discrete
calculus as well. The first can be solved by expanding
The second can be solved by subtracting the fixed point c = rc + b from both sides to
get a homogeneous equation
Solution: The method used to solve the affine system can be used for say p(n) a
polynomial of low degree but it becomes notationally complicated. Instead, we observe
that equation (1) is equivalent to
By analogy, since linear differential equations with constant coefficients are solved
with integrating factors, we try to do the same. Observe that
Ar -n r--1 (- r).
or
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
Integration from 0 to n gives
or
Definition 7. Given two sequences A(n), B(n), their convolution is the sequence
n
00
A(z) = E3A(k)zk.
k=O
n rn(rn( )
1-r (1r)2'
and
0 0~~00
(r* P2)(n-1
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
which we can view as a combination of a polynomial of degree 2 with r'. Continuing
the induction shows the following:
Corollary 9. [5, p. 108] If p (n) is a polynomial of degree m, then the solution to the
non-homogeneous affine dynamical system
The nth term of the convolution of two sequences is the nth term of the product
of their generating functions, so multiplying generating functions is an easy way to
find convolutions. Discrete integration by parts can also be a way to calculate certain
convolutions.
In the language of differential equations, the solution to a driven harmonic oscillator
is the convolution of the impulse response with the driver [1, p. 544]. In the language
of deterministic time series [4, pp. 157-173], the outgoing time series (sequence) xn
produced by a time invariant linear filter (transformation) xn = L(sn) on an incoming
time series (sequence) Sn is the convolution of the impulse response hn = L(8n) of the
filter with the incoming times series, i.e., xn = (h * S)n. An example of a linear filter
Xn= L(sn) is the so called auto-regressive moving average filter,
that calculates the nth term xn of the outgoing time series from the average of its
previous two terms (auto-regression) and a moving average of terms of the incom-
ing series n. We consider two impulse responses: The impulse response hn = L( n)
which is the response to
I ifn=O
Sn = 3n =i0 if n :A 0
rn-I if n> 1
R(n)= if n10
is the "driver impulse" response of the equation with initial condition A (0) = 0. Thus,
as (R * p)(n) = (r * p)(n - 1) for n > 1, we can interpret the solution to (2) as A(0)
times the undriven solution with initial condition 1 plus the convolution with the driver
p (n) of the "driver impulse" response R (n) of the system with 0 initial condition.
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
Solution: The equivalent discrete differential equation is AA(n) + (1 - r)A(n) -
Sn. Applying Theorem 8, we have
A(n) | A(O)rn + _ if r s
A(O)rn + nr n- if r =s.
I9-R ? TE M A weChave R A [ l
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
and our integrating factor is R-n-1:
A R- is[_ A (n)) :1 (?
Lk B(n)}J0)
Integration gives
B=(+4
B= +,51-VH)
1 2 J5
Thus,
A(n')) 2 ) ? -l1
B(n) \ 0 2 n J) o 0
or
A(n) =
Of course, what is striking about this recursion is that irrationals are used
a sequence of integers. It is amusing to use a computer algebra system to d
function A(n) and check the values at various integers. The characteristic f
p. 120] leads to a quick but perhaps less enlightening solution.
We can perturb the Fibonacci tree by pruning at the nth stage by adding a driving
function p (n) to the dynamical system that defines the Fibonacci sequence. This gives
the second-order dynamical system
Solving this leads to replacing the zero right-hand side in (4) by (0 p(n))T. Thus:
( AA(n) ( 0 -1 "(A(n)8 ( 0
tAB(n)! V-1 1 }B(n)} p(n)}
A L B(n)] p(n))
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
By integration to n - 1,
R -n ( )_ R-k-I or
( (n) _n I1\nZZI
H?(n) = Rn(1).
The solution of the undriven system with initial conditions A (0) = 0 and A (1) = 1 is
H1(n) =Rn 0
and the response of the system with 0 initial conditions to the impulse driver p(n) =
8(n) is
which is a linear combination of the Fibonacci sequence delayed by 2 time units and
preceeded by 1 and 0, the Fibonacci sequence delayed by 1 time unit and preceeded
by 0, and the convolution of the impulse driver response with the driver.
REFERENCES
1. Paul Blanchard, Robert L. Devaney, and Glen R. Hall, Differential Equations, Brooks-Cole, Boston, 1998.
2. Robert L. Devaney, An Introduction to Chaotic Dynamical Systems, Benjamin Cummings, Menlo Park,
1986.
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms
3. C.L. Liu, Elements of Discrete Mathematics, McGraw-Hill, New York, 1977.
4. Enders A. Robinson and Manuel T. Silvia, Digital Foundations of Time Series Analysis, Holden-Day, San
Francisco, 1979.
5. James T. Sandefur, Discrete Dynamical Systems, Clarendon Press, Oxford, 1990.
DON CHALICE (ethnic spelling Ceilesh) received his Bachelor's degree at Wisconsin (where he was a Sloan
Scholar) and his Ph.D. at Northwestern University in Banach algebras. He is a strong proponent of the Modified
Moore Method and teaches 80-90% of his courses in this manner. His interests include Banach function
algebras, complex analysis, and discrete dynamics. He lives in Northwest Washington with his wife Coral and
three large dogs.
Western Washington University, Bellingham WA 98225 MS 9063
chalice@cc.wwu.edu
This content downloaded from 129.252.86.83 on Tue, 04 Jul 2017 23:36:06 UTC
All use subject to http://about.jstor.org/terms