Sec$on Summary. Sequences. Recurrence Relations. Summations. Ex: Geometric Progression, Arithmetic Progression. Ex: Fibonacci Sequence

Similar documents
Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Definition of a Function.

Section Summary. Sequences. Recurrence Relations. Summations Special Integer Sequences (optional)

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Definition: A sequence is a function from a subset of the integers (usually either the set

Discrete Structures Lecture Sequences and Summations

Functions. Given a function f: A B:

Recurrence Relations and Recursion: MATH 180

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Recurrence Relations

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Propositional Logic, Predicates, and Equivalence

Sequences A sequence is a function, where the domain is a set of consecutive positive integers beginning with 1.

Chapter 5: Sequences, Mathematic Induction, and Recursion

EECS 1028 M: Discrete Mathematics for Engineers

8. Sequences, Series, and Probability 8.1. SEQUENCES AND SERIES

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

Sequences and Summations

Binomial Coefficient Identities/Complements

3.3 Accumulation Sequences

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction

COM S 330 Lecture Notes Week of Feb 9 13

Sec$on Summary. Definition of a Function.

Chapter 8: Recursion. March 10, 2008

1 Recursive Algorithms

With Question/Answer Animations

Sequences and Series. College Algebra

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms

Examples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms)

1 Examples of Weak Induction

Advanced Counting Techniques. Chapter 8

Discrete Mathematics -- Chapter 10: Recurrence Relations

Climbing an Infinite Ladder

CS Analysis of Recursive Algorithms and Brute Force

Climbing an Infinite Ladder

Discrete Mathematics. Spring 2017

Chapter Generating Functions

Induction and recursion. Chapter 5

CS 2210 Discrete Structures Advanced Counting. Fall 2017 Sukumar Ghosh

Ex. Here's another one. We want to prove that the sum of the cubes of the first n natural numbers is. n = n 2 (n+1) 2 /4.

Recurrence Relations

Outline. Part 5. Computa0onal Complexity (3) Compound Interest 2/15/12. Recurrence Rela0ons: An Overview. Recurrence Rela0ons: Formal Defini0on

Induction and Recursion

5. Sequences & Recursion

Recursion. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Given a sequence a 1, a 2,...of numbers, the finite sum a 1 + a 2 + +a n,wheren is an nonnegative integer, can be written

Sequences & Functions

12 Sequences and Recurrences

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.

Advanced Counting Techniques

1 Sequences and Summation

CS100: DISCRETE STRUCTURES

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Some Review Problems for Exam 3: Solutions

Chapter 2 - Basics Structures

Exam 2 Solutions. x 1 x. x 4 The generating function for the problem is the fourth power of this, (1 x). 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

Recursion and Induction

Some Review Problems for Exam 3: Solutions

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Advanced Counting Techniques. 7.1 Recurrence Relations

Algorithm Analysis Recurrence Relation. Chung-Ang University, Jaesung Lee

Learning Objectives

Introduction to Techniques for Counting

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Section 4.1: Sequences and Series

Mathematical Induction. Section 5.1

MCR3U Unit 7 Lesson Notes

CHAPTER 8: EXPLORING R

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

CS 4104 Data and Algorithm Analysis. Recurrence Relations. Modeling Recursive Function Cost. Solving Recurrences. Clifford A. Shaffer.

1. Decide for each of the following expressions: Is it a function? If so, f is a function. (i) Domain: R. Codomain: R. Range: R. (iii) Yes surjective.

Fall 2017 November 10, Written Homework 5

ICS141: Discrete Mathematics for Computer Science I

Chapter 4 ARITHMETIC AND GEOMETRIC PROGRESSIONS 2, 5, 8, 11, 14,..., 101

CSE 21 Practice Exam for Midterm 2 Fall 2017

Divide and Conquer. Andreas Klappenecker. [based on slides by Prof. Welch]

Mifflin County School District Planned Instruction

Section-A. Short Questions

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Practical Session #3 - Recursions

Summary: Divisibility and Factorization

Constrained and Unconstrained Optimization Prof. Adrijit Goswami Department of Mathematics Indian Institute of Technology, Kharagpur

Chapter 11 - Sequences and Series

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

Problem Set 5 Solutions

9.1 SEQUENCES AND SERIES

Fall 2017 Test II review problems

Vocabulary. Term Page Definition Clarifying Example. arithmetic sequence. explicit formula. finite sequence. geometric mean. geometric sequence

We want to show P (n) is true for all integers

OKLAHOMA SUBJECT AREA TESTS (OSAT )

IB Mathematics HL Year 2 Unit 11: Completion of Algebra (Core Topic 1)

Page references correspond to locations of Extra Examples icons in the textbook.

SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS

{ 0! = 1 n! = n(n 1)!, n 1. n! =

1 Matrices and Systems of Linear Equations. a 1n a 2n

A design paradigm. Divide and conquer: (When) does decomposing a problem into smaller parts help? 09/09/ EECS 3101

Discrete Calculus and its Applications

Transcription:

Section 2.4

Sec$on Summary Sequences Ex: Geometric Progression, Arithmetic Progression Recurrence Relations Ex: Fibonacci Sequence Summations 2

Introduc$on Sequences are ordered lists of elements. 1, 2, 3, 5, 8 1, 3, 9, 27, 81,. Sequences arise throughout mathematics, computer science, and in many other disciplines, ranging from botany to music. We will introduce the terminology to represent sequences and sums of the terms in the sequences. 3

Sequences Definition: A sequence is a function from a subset of the integers (usually either the set {0, 1, 2, 3, 4,..} or {1, 2, 3, 4,.} ) to a set S. The notation a n is used to denote the image of the integer n. We can think of a n as the equivalent of f(n) where f is a function from {0,1,2,..} to S. We call a n a term of the sequence. 4

Sequences Example: Consider the sequence where 5

Geometric Progression Definition: A geometric progression is a sequence of the form: where the initial term a and the common ratio r are real numbers. Ex: 1. Let a = 1 and r = 1. Then: 2. Let a = 2 and r = 5. Then: 3. Let a = 6 and r = 1/3. Then: 6

Arithme$c Progression Definition: An arithmetic progression is a sequence of the form: where the initial term a and the common difference d are real numbers. Ex: 1. Let a = 1 and d = 4: 2. Let a = 7 and d = 3: 3. Let a = 1 and d = 2: 7

Strings Definition: A string is a finite sequence of characters from a finite set (an alphabet). Sequences of characters or bits are important in computer science. The empty string is represented by λ. The string abcde has length 5. 8

Recurrence Rela$ons Definition: A recurrence relation for the sequence {a n } is an equation that expresses a n in terms of one or more of the previous terms of the sequence, namely, a 0, a 1,, a n-1, for all integers n with n n 0, where n 0 is a nonnegative integer. The initial conditions for a sequence specify the terms that precede the first term where the recurrence relation takes effect. A sequence is called a solution of a recurrence relation if its terms satisfy the recurrence relation. 9

Ques$ons about Recurrence Rela$ons Example 1: Let {a n } be a sequence that satisfies the recurrence relation a n = a n-1 + 3 for n = 1,2,3,4,. and suppose that a 0 = 2. What are a 1, a 2 and a 3? [Here a 0 = 2 is the initial condition.] Solution: We see from the recurrence relation that a 1 = a 0 + 3 = 2 + 3 = 5 a 2 = 5 + 3 = 8 a 3 = 8 + 3 = 11 10

Ques$ons about Recurrence Rela$ons Example 2: Let {a n } be a sequence that satisfies the recurrence relation a n = a n-1 a n-2 for n = 2,3,4,. and suppose that a 0 = 3 and a 1 = 5. What are a 2 and a 3? [Here the initial conditions are a 0 = 3 and a 1 = 5. ] Solution: We see from the recurrence relation that a 2 = a 1 - a 0 = 5 3 = 2 a 3 = a 2 a 1 = 2 5 = 3 11

Fibonacci Sequence Definition: Define the Fibonacci sequence, f 0,f 1,f 2,, by: Initial Conditions: f 0 = 0, f 1 = 1 Recurrence Relation: f n = f n-1 + f n-2 Example: Find f 2,f 3,f 4, f 5 and f 6. Answer: f 2 = f 1 + f 0 = 1 + 0 = 1, f 3 = f 2 + f 1 = 1 + 1 = 2, f 4 = f 3 + f 2 = 2 + 1 = 3, f 5 = f 4 + f 3 = 3 + 2 = 5, f 6 = f 5 + f 4 = 5 + 3 = 8. 12

Solving Recurrence Rela$ons Finding a formula for the nth term of the sequence generated by a recurrence relation is called solving the recurrence relation. Such a formula is called a closed formula. Many methods for solving recurrence relations (Ch. 8) Here we illustrate by example the method of iteration in which we need to guess the formula. The guess can be proved correct by the method of induction (Ch. 5). 13

Itera$ve Solu$on Example Method 1: Working upward, forward substitution Let {a n } be a sequence that satisfies the recurrence relation a n = a n-1 + 3 for n = 2,3,4,. and suppose that a 1 = 2. a 2 = 2 + 3 a 3 = (2 + 3) + 3 = 2 + 3 2 a 4 = (2 + 2 3) + 3 = 2 + 3 3... a n = a n-1 + 3 = (2 + 3 (n 2)) + 3 = 2 + 3(n 1) 14

Itera$ve Solu$on Example Method 2: Working downward, backward substitution Let {a n } be a sequence that satisfies the recurrence relation a n = a n-1 + 3 for n = 2,3,4,. and suppose that a 1 = 2. a n = a n-1 + 3 = (a n-2 + 3) + 3 = a n-2 + 3 2 = (a n-3 + 3 )+ 3 2 = a n-3 + 3 3... = a 2 + 3(n 2) = (a 1 + 3) + 3(n 2) = 2 + 3(n 1) 15

Financial Applica$on Example: Suppose that a person deposits $10,000.00 in a savings account at a bank yielding 11% per year with interest compounded annually. How much will be in the account after 30 years? Let P n denote the amount in the account after 30 years. P n satisfies the following recurrence relation: P n = P n-1 + 0.11P n-1 = (1.11) P n-1 with the initial condition P 0 = 10,000 Continued on next slide à 16

Financial Applica$on P n = P n-1 + 0.11P n-1 = (1.11) P n-1 with the initial condition P 0 = 10,000 Solution: Forward Substitution P 1 = (1.11)P 0 P 2 = (1.11)P 1 = (1.11) 2 P 0 P 3 = (1.11)P 2 = (1.11) 3 P 0 : P n = (1.11)P n-1 = (1.11) n P 0 = (1.11) n 10,000 P n = (1.11) n 10,000 (Can prove by induction, covered in Ch. 5) P 30 = (1.11) 30 10,000 = $228,992.97 17

Useful Sequences Example: Conjecture a formula for a n if the first 10 terms of the sequence {a n } are 1, 7, 25, 79, 241, 727, 2185, 6559, 19681, 59047 Solution: a n = 3 n - 2 18

Summa$ons Sum of terms The notation: from the sequence represents The variable j is called the index of summation. It runs through all the integers starting with its lower limit m and ending with its upper limit n. 19

Summa$ons More generally for a set S: Examples: 1 20

Geometric Series Sums of terms of geometric progressions Proof: Let To compute S n, first multiply both sides of the equality by r and then manipulate the resulting sum as follows: By the distributive property Continued on next slide à 21

Geometric Series From previous slide. Shifting the index of summation with k = j + 1. Removing k = n + 1 term and adding k = 0 term. Substituting S for summation formula Continued on next slide à 22

Geometric Series From previous slide. Solving for S n if r 1 if r = 1 QED 23

Some Useful Summa$on Formulae Geometric Series: We just proved this. Later we will prove some of these by induction. Proof in text (requires calculus) 24