SOLUTION SETS OF RECURRENCE RELATIONS

Similar documents
Skew-Symmetric Matrix Polynomials and their Smith Forms

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

MATHEMATICS 217 NOTES

LECTURE 13. Quotient Spaces

Linear Algebra I. Ronald van Luijk, 2015

MATH JORDAN FORM

Elementary linear algebra

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Abstract Vector Spaces and Concrete Examples

Chapter 2 Linear Transformations

NOTES ON FINITE FIELDS

1 Basic Combinatorics

Linear and Bilinear Algebra (2WF04) Jan Draisma

The Theory of Linear Homogeneous (Constant Coefficient) Recurrences

Lecture Summaries for Linear Algebra M51A

Homework 5 M 373K Mark Lindberg and Travis Schedler

Standard forms for writing numbers

TC10 / 3. Finite fields S. Xambó

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

A linear algebra proof of the fundamental theorem of algebra

Factorization in Polynomial Rings

Eigenspaces in Recursive Sequences

MATH 326: RINGS AND MODULES STEFAN GILLE

A linear algebra proof of the fundamental theorem of algebra

2.4 Algebra of polynomials

Generalized eigenvector - Wikipedia, the free encyclopedia

1 Fields and vector spaces

Jordan Structures of Alternating Matrix Polynomials

Math 120 HW 9 Solutions

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

Groups of Prime Power Order with Derived Subgroup of Prime Order

Math 210B. Artin Rees and completions

Analytic Fredholm Theory

(Rgs) Rings Math 683L (Summer 2003)

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

1 Invariant subspaces

A Little Beyond: Linear Algebra

A Do It Yourself Guide to Linear Algebra

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =

1.1 Limits and Continuity. Precise definition of a limit and limit laws. Squeeze Theorem. Intermediate Value Theorem. Extreme Value Theorem.

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

RETRACTED On construction of a complex finite Jacobi matrix from two spectra

1 Examples of Weak Induction

6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if. (a) v 1,, v k span V and

LECTURE 13. Quotient Spaces

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

Topics in linear algebra

Systems of Linear Equations

What is A + B? What is A B? What is AB? What is BA? What is A 2? and B = QUESTION 2. What is the reduced row echelon matrix of A =

MATH 205 HOMEWORK #3 OFFICIAL SOLUTION. Problem 1: Find all eigenvalues and eigenvectors of the following linear transformations. (a) F = R, V = R 3,

Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps

= W z1 + W z2 and W z1 z 2

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Triangularizing matrix polynomials. Taslaman, Leo and Tisseur, Francoise and Zaballa, Ion. MIMS EPrint:

Cover Page. The handle holds various files of this Leiden University dissertation

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

The Cayley-Hamilton Theorem and the Jordan Decomposition

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Infinite-Dimensional Triangularization

MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix.

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

THE LENGTH OF NOETHERIAN MODULES

Math 121 Homework 4: Notes on Selected Problems

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Review of Linear Algebra

Week 9-10: Recurrence Relations and Generating Functions

Structure of rings. Chapter Algebras

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

Chapter 1 Vector Spaces

Kernel and range. Definition: A homogeneous linear equation is an equation of the form A v = 0

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

An Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Math 121 Homework 5: Notes on Selected Problems

GENERALIZED EIGENVECTORS, MINIMAL POLYNOMIALS AND THEOREM OF CAYLEY-HAMILTION

Systems of Linear Equations

CHAPTER 3. Matrix Eigenvalue Problems

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Recall the convention that, for us, all vectors are column vectors.

A proof of the Jordan normal form theorem

Spectra of Semidirect Products of Cyclic Groups

Math 113 Winter 2013 Prof. Church Midterm Solutions

12. Hilbert Polynomials and Bézout s Theorem

1. Introduction. Throughout this work we consider n n matrix polynomials with degree k of the form

(a + b)c = ac + bc and a(b + c) = ab + ac.

MATH Linear Algebra

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

V (v i + W i ) (v i + W i ) is path-connected and hence is connected.

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Ring Theory Problems. A σ

EIGENVALUES AND EIGENVECTORS

Transcription:

SOLUTION SETS OF RECURRENCE RELATIONS SEBASTIAN BOZLEE UNIVERSITY OF COLORADO AT BOULDER The first section of these notes describes general solutions to linear, constant-coefficient, homogeneous recurrence relations of arbitrary order, including the case that eigenvalues are repeated. Our proofs will use linear algebra and a touch of abstract algebra instead of generating functions. Accordingly, I hope that these notes will be accessible to a student with a course or two of undergraduate linear algebra and some experience with arguments involving divisibility. We will then apply these results to sketch a derivation of the general solutions to ordinary differential equations. 1. General solutions to recurrence relations For the purpose of these notes, a sequence is a sequence of complex numbers (although our results should hold if we replace C by any algebraically closed field). We will either write a sequence as a list of numbers enclosed in parentheses or by a single expression enclosed in parentheses. It will be convenient to index all sequences by the variable j, starting with j = 0. To illustrate these conventions, (j) denotes the sequence of numbers (0, 1, 2, 3, 4,...) and (2 j ) is the sequence (1, 2, 4, 8, 16,...). The set of all sequences of complex numbers we denote by C N. This has the structure of an infinite-dimensional complex vector space where the addition of two sequences (a j ) and (b j ) is done coordinatewise (i.e. (a j ) + (b j ) = (a j + b j ) ) and scalar multiplication is defined by c(a j ) = (ca j ). We will see that solutions to recurrence relations form finite-dimensional subspaces of C N. A linear homogeneous recurrence relation of order k (hereafter, a recurrence relation of order k) is an equation of the form (1) a j = c 1 a j 1 + c 2 a j 2 + + c k a j k. where c 1, c 2,..., c k are complex numbers. A solution to a recurrence relation is a complexvalued sequence (a 1, a 2,...) such that (1) holds for each j k. Such a sequence is called a recurrence sequence of order k. Familiar examples of recurrence sequences include geometric sequences and the Fibonacci numbers. Date: January 23, 2016. 1

2 SEBASTIAN BOZLEE UNIVERSITY OF COLORADO AT BOULDER To each recurrence relation of order k, (2) a j = c 1 a j 1 + c 2 a j 2 + + c k a j k, there is associated a characteristic polynomial of degree k, f(λ) = λ k c 1 λ k 1 c 2 λ k 2 c k 1 λ c k. The roots of the characteristic polynomial are called the eigenvalues of the recurrence relation. We shall see that the characteristic polynomial of a recurrence relation is closely related to its solutions. Let Λ be the linear operator on sequences defined by Λ(a j ) = (a j+1 ). The effect of Λ is to shift the elements of the sequence by one space. For example, Λ(3, 1, 4, 1, 5,...) = (1, 4, 1, 5,...). Given a polynomial f(λ) = λ k c 1 λ k 1 c 2 λ k 2 c k 1 λ c k, we define a linear operator f(λ) by f(λ) = Λ k c 1 Λ k 1 c 2 Λ k 2 c k 1 Λ c k I. where Λ k is defined to be the composition of Λ with itself k times, i.e. a shift by k spaces, and I is the identity operator. Given these definitions, for an arbitrary sequence (a j ), f(λ)(a j ) = (Λ k c 1 Λ k 1 c 2 Λ k 2 c k 1 Λ c k I)(a j ) = (a j+k c 1 a j+k 1 c 2 a j+k 2 c k 1 a j+1 c k a j ). So, f(λ)(a j ) = (0) if and only if (a j ) satisfies the recurrence relation (2). In other words, ker f(λ) is the solution set of (2). Since the kernel of a linear map is a vector space, the solution set is a vector space. Therefore all we have to do to describe the solution set of a recurrence relation is to find a basis for ker f(λ). We will spend the rest of these notes deriving a nice basis for ker f(λ) related to the factorization of f(λ). Its basis vectors will be called fundamental solutions. Consider the correspondence between characteristic polynomials and solution sets f(λ) ker f(λ). In the Lemma 2, we show that some of the divisibility structure of polynomials is carried over by this correspondence to the containment structure of subspaces of C N. (For readers familiar with lattices, this is the first part of a proof that the correspondence above is a lattice homomorphism.)

SOLUTION SETS OF RECURRENCE RELATIONS 3 First, however, we will prove a lemma about polynomials. The proof can probably be skipped on a first read, and can be found with more context in any book on abstract algebra (we are essentially proving that C[λ] is a PID). Lemma 1. If f(λ) and g(λ) are polynomials and h(λ) = gcd(f(λ), g(λ)), then there exist polynomials p(λ) and q(λ) so that p(λ)f(λ) + q(λ)g(λ) = h(λ). Proof. Let I = {a(λ)f(λ) + b(λ)g(λ) a(λ), b(λ) are polynomials }. Note that the sum of any two elements of I lies in I and a polynomial multiple of any element of I lies in I. We will now show that I is equal to the set J = {c(λ)k(λ) c(λ) is a polynomial } for some polynomial k(λ) in I. Tentatively, we select k(λ) to be a polynomial of I of least degree. Let d(λ) be some polynomial in I. By the division algorithm for polynomials, we can write d(λ) = c(λ)k(λ) + r(λ) where the remainder r(λ) is either 0 or a polynomial of degree strictly less than the degree of k(λ). Rearranging the equation above, d(λ) c(λ)k(λ) = r(λ). Since d(λ) I and k(λ) I, and I is closed under addition and polynomial multiples, d(λ) c(λ)k(λ) I, so r(λ) I. Recall k(λ) which was chosen as the polynomial of least degree in I, and r(λ) was chosen to be zero or to have degree less than k(λ). Therefore r(λ) = 0, so k(λ) d(λ). Since d(λ) was arbitrary, I J. On the other hand, since J consists of multiples of an element of I and I contains all multiples of its elements, J I. Since k(λ) I, we have that k(λ) = p 1 (λ)f(λ) q 1 (λ)g(λ). Now, since I = J and f(λ) I, k(λ) f(λ). Similarly, k(λ) g(λ). That is, k(λ) is a common divisor of f(λ) and g(λ). Therefore, by definition of gcd, k(λ) h(λ). On the other hand, we note that since h(λ) divides f(λ) and g(λ), h(λ) divides p 1 (λ)f(λ) and q 1 (λ)g(λ). It follows that h(λ) divides their sum, p 1 (λ)f(λ) + q 1 (λ)g(λ) = k(λ). Since k(λ) divides h(λ) and vice versa, h(λ) = Ck(λ) for some constant C. Then h(λ) = Cp 1 (λ)f(λ) + Cq 1 (λ)g(λ). Taking p(λ) = Cp 1 (λ) and q(λ) = Cp 2 (λ), we have the result.

4 SEBASTIAN BOZLEE UNIVERSITY OF COLORADO AT BOULDER Lemma 2. If f(λ) and g(λ) are polynomials and h(λ) = gcd(f(λ), g(λ)), then ker h(λ) = ker f(λ) ker g(λ). In particular, if g(λ) f(λ), then ker g(λ) is a subspace of ker f(λ). Proof. Let h(λ) = gcd(f(λ), g(λ)). By the preceding lemma, there are polynomials p(λ), q(λ) so that p(λ)f(λ) + q(λ)g(λ) = h(λ). Let (a j ) ker f(λ) ker g(λ). Then h(λ)(a j ) = (p(λ)f(λ) + q(λ)g(λ))(a j ) = p(λ)(0) + q(λ)(0) = (0). So ker f(λ) ker g(λ) ker h(λ). Conversely, let (a j ) ker h(λ). f(λ) = p(λ)h(λ). Then Since h(λ) f(λ), there is a polynomial p(λ) so that f(λ)(a j ) = p(λ)h(λ)(a j ) = p(λ)(0) = (0). So, (a j ) ker f(λ). Similarly, (a j ) ker g(λ). Therefore, (a j ) ker f(λ) ker g(λ), so ker f(λ) ker g(λ) ker h(λ). The result follows. We will also require the following fact. Lemma 3. The solution set of an order k recurrence has dimension k. dim ker f(λ) = deg f(λ). Equivalently, Proof. Let f(λ) be the characteristic polynomial of the recurrence. The solution set is ker f(λ). Let ϕ : ker f(λ) C k be the map that takes a solution (a j ) to its first k values, (a 0, a 1,..., a k 1 ). This is clearly linear. It is bijective since any choice of initial values a 0, a 1,..., a k 1 uniquely determines a solution sequence via the recurrence relation: i.e. a k = c 1 a k 1 + c 2 a k 2 + + c k a 0, a k+1 = c 1 a k + c 2 a k 1 + + c k a 1,. Therefore ϕ is an isomorphism of vector spaces. Since C k has dimension k, we conclude that ker f(λ) has dimension k. Suppose f(λ) = q l=1 (Λ λ l) k l is a characteristic polynomial, where the λ l are distinct. By Lemma 2, ker((λ λ l ) k l ) is a subspace of ker f(λ) for each l. As a first step toward finding a fundamental solution set for the corresponding recurrence relation, we start by finding a basis of ker((λ λ l ) k l ) for each l. The case where λ l = 0 is handled separately.

SOLUTION SETS OF RECURRENCE RELATIONS 5 Lemma 4. ker Λ n has the basis B0 n = {(δ j0 ), (δ j1 ),..., (δ j,n 1 )}, where 1 if i = j δ ij = 0 if i j Proof. B0 n is clearly linearly independent (its elements have nonzero entries in different coordinates) and clearly belongs to ker Λ n (since shifting by n gets rid of all nonzero entries). Since B n 0 = n and ker Λ n has dimension n, B n 0 is a basis. Lemma 5. Let λ be a nonzero complex number and let n be a positive integer. Then ker((λ λ) n ) has the basis B n λ = {(λj ), (jλ j ),..., (j n 1 λ j )}. Proof. We will first prove that for each n, {(λ j ), (jλ j ),..., (j n 1 λ j )} ker((λ λ) n ). The proof is by induction. Let n = 1. Then (Λ λ)(λ j ) = (λ j+1 λλ j ) = (0), so (λ j ) ker(λ λ). Suppose {(λ j ), (jλ j ),..., (j n 1 λ j )} ker((λ λ) n ) for n = k, for some integer k 1. Then by Lemma 2, {(λ j ), (jλ j ),..., (j n 1 λ j )} ker((λ λ) n+1 ). It remains to show that (j n λ j ) ker((λ λ) n+1 ). Now, (Λ λ) n+1 (j n λ j ) = (Λ λ) n ((j + 1) n λ j+1 j n λ j+1 ) ( ) ( ) ( ) n n n = (Λ λ) (λ n j n 1 λ j + λ j n 2 λ j + + λ )λ j 1 2 n = (0) where we have used the binomial theorem on the second line and the induction hypothesis on the third. Therefore, {(λ j ), (jλ j ),..., (j n λ j )} ker((λ λ) n+1 ). By induction, {(λ j ), (jλ j ),..., (j n 1 λ j )} ker((λ λ) n ) for all n N. Next we will show that (j n λ j ) Span {(λ j ), (jλ j ),..., (j n 1 λ j )} for all n. The result is trivial for n = 1. For n > 1, suppose that K 1, K 2,..., K n are complex numbers so that But then (j n λ j ) = K 1 (λ j ) + K 2 (jλ j ) + + K n (j n 1 λ j ). j n λ j = K 1 λ j + K 2 jλ j + + K n j n 1 λ j, which implies (this is where we use that λ is nonzero) j n = K 1 + K 2 j + + K n j n 1 for all j. This is impossible, since the left hand side is an nth degree polynomial and the right hand side is an (n 1)st degree polynomial. So (j n λ j ) Span {(λ j ), (jλ j ),..., (j n 1 λ j } for all n.

6 SEBASTIAN BOZLEE UNIVERSITY OF COLORADO AT BOULDER Therefore, for all n, {(λ j ), (jλ j ),..., (j n 1 λ j )} is a linearly independent subset of ker((λ λ) n ) containing n vectors. Since ker((λ λ) n ) has dimension n, {(λ j ), (jλ j ),..., (j n 1 λ j )} is a basis of ker((λ λ) n ). So far we have characterized the solution sets of recurrence relations with a single eigenvalue, possibly repeated. solutions corresponding to each eigenvalue. For the remaining recurrences it suffices to piece together the Theorem 6. Let f(λ) = q l=1 (λ λ l) k l be the characteristic polynomial of a kth order recurrence relation with q distinct eigenvalues λ 1, λ 2,..., λ q with respective multiplicities k 1, k 2,..., k q. Then the solution set of the recurrence has the basis of fundamental solutions q B k l λ. l=1 Proof. The proof is by induction on q. The q = 1 case was proven in Lemmas 4 and 5. Suppose the result holds for some integer q 1. Let f(λ) = q+1 l=1 (λ λ l) k l be the characteristic polynomial of a kth order recurrence relation with q + 1 distinct eigenvalues λ 1, λ 2,..., λ q+1 with respective multiplicities k 1, k 2,..., k q+1. We split ker f(λ) into two subspaces U = ker ( q l=1 (Λ λ l) l) k and V = ker((λ λq+1 ) k q+1 ), with U corresponding to the first q eigenvalues, and V corresponding to the (q + 1)st eigenvalue. By the induction hypothesis, the first subspace, U has the basis q. By Lemmas 4 and 5, the second l=1 Bk l λ subspace V has the basis B k q+1 λ. By Lemma 2, since the polynomials q l=1 (λ λ l) k l and (λ λq+1 ) k q+1 that determine each subspace are relatively prime, U V = ker I = {(0)}. It follows dim (U + V ) = dim U + dim V dim U V = dim U + dim V q = k l + k q+1 l=1 = deg f(λ) = dim ker f(λ). Since U + V is a subspace of ker f(λ) with dimension equal to that of ker f(λ), U + V = ker f(λ). Furthermore, since U V = {(0)}, U + V is a direct sum. Therefore, the union of the bases, q+1, is a basis of ker f(λ). The result follows by induction. l=1 Bk l λ By comparing fundamental solution sets, we obtain the following corollary. (Readers familiar with lattices may recognize that this completes the proof that f(λ) ker f(λ) is a lattice homomorphism.)

SOLUTION SETS OF RECURRENCE RELATIONS 7 Corollary 7. If f(λ) and g(λ) are polynomials and h(λ) = lcm(f(λ), g(λ)), then ker h(λ) = ker f(λ) + ker g(λ). In particular, ker f(λ) ker g(λ) only if f(λ) g(λ). 2. General solutions to differential equations A linear, constant-coefficient, homogeneous differential equation of order k (hereafter, a differential equation of order k) is an equation of the form (3) y (k) = c 1 y (k 1) + + c k 1 y + c k y, where y is understood to be a complex-valued function on the complex plane, and y (n) denotes the nth derivative of y. A solution is a differentiable function y : C C so that the above equation holds. (Readers who are uncomfortable with derivatives of complex functions may assume y : R C instead; in this case our argument will only give analytic solutions - that is, solutions y : R C so that y is equal to its Taylor series. These are actually the only solutions.) Complex differentiable functions are analytic, so we may rewrite the equation above using the Taylor series of y. If y : C C is an analytic function with Taylor series y(x) = i=0 (a i/i!)x i, let S(y) = (a j ) denote the sequence of derivatives of y. S is an injective linear function. Notice S(y ) = ΛS(y). sequences: Applying S to both sides of differential equation (3), we obtain an equation on Λ k S(y) = c 1 Λ k 1 S(y) + + c k 1 ΛS(y) + c k S(y). In other words, if y satisfies (3), then S(y) = (a j ) is a solution to the recurrence relation a j = c 1 a 1 + + c k 1 a j k+1 + c k a j k. Conversely, since S is injective, y solves differential equation (3) only if S(y) solves the above recurrence relation. Therefore to find the solutions of (3), all we have to do is find the solutions of the corresponding recurrence relation and then see what the solutions are a Taylor series of. Theorem 8. Consider the differential equation (4) y (k) = c 1 y (k 1) + + c k 1 y + c k y.

8 SEBASTIAN BOZLEE UNIVERSITY OF COLORADO AT BOULDER Let f(λ) be the polynomial λ k c 1 λ k 1 c k 1 λ c k, and let λ 1,..., λ q be its distinct roots, with respective multiplicities k 1,..., k q. Then the set of solutions to (4) is { q } k i K i,l x l e λix K i,l C for all i, l i=1 l=1