A DIFFERENCE EQUATION INVOLVING FIBONACCI NUMBERS. Ezio Marchi. IMA Preprint Series #2471. (March 2016)

Size: px
Start display at page:

Download "A DIFFERENCE EQUATION INVOLVING FIBONACCI NUMBERS. Ezio Marchi. IMA Preprint Series #2471. (March 2016)"

Transcription

1 A DIFFERENCE EQUATION INVOLVING FIBONACCI NUMBERS By Ezio Marchi IMA Preprint Series #2471 (March 2016) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA 400 Lind Hall 207 Church Street S.E. Minneapolis, Minnesota Phone: Fax: URL:

2 1 A DIFFERENCE EQUATION INVOLVING FIBONACCI NUMBERS by Ezio Marchi *) Abstract: In this short note we solve a non linear difference equation which becomes related to Fibonacci numbers. *) Director del Instituto de Matemática Aplicada San Luis. CONICET. Universidad Nacional de San Luis. Ejercito de los Andes 950 (5700) San Luis, Argentina.

3 2 1- A NON LINEAR DIFFERENCE EQUATION Consider the difference equation given by: x = α n x n x + β n x n = 1, 2, where x n is obtained from the previous values in a non linear way in the form expressed in it. The problem to be solved is to find x n in terms of the firsts values of it. We will propose a general form for the values of x n called quadrature and generating function procedure. The values of β n will not be arbitrary but in the solution they will depend upon other parameters. Simply the proposal is as follows (1) x n = α n c(n) + β n c(n) (2) then x n x = α n α c(n)c(n 1) + β n c(n) α c(n) c(n 1) + α n β c(n 1) + β n β c(n)c(n 1) (3) Introducing this expression in (1) and x, then after identifying terms we obtain the following recursive of difference equations α n+1 c(n + 1) = α n α n α c(n)c(n 1) β n+1 c(n + 1) = β n β α n c(n)c(n 1) (4) (5) On the other hand, c(n) α n β c(n 1) = β α α α c(n 2) (6) then α n β α α + β n = 0 (7) In a similar way 1 β n α c(n 1) β α n α c(n 2) β α = β n α α c(n) (8) from which it follows α nα n β n + β n β α α = 0 (9)

4 3 or β n = α n α n β n β α α (10) which is a condition to be fulfilled by the coefficient β n as we already mentioned. From the equality β n = V α n β α α = α n α n β n β α α (11) one derives α n β n = α 2 β α β α (12) This last difference equation is the same as that equation obtained by multiplying (4) and (5). Now the equation (12) has the general form of ɤ n = ε ɤ ɤ (13) Developing the first terms of (13) we have ɤ n = ε ε ɤ 2 ɤ n 3 = ε ε ε 2 n 3 ɤ 3 n 3 ɤ n 4 (14) = ε ε ε 2 n 3 ε 3 n 4 ɤ 5 n 4 ɤ n 5 = ε ε ε n 3 ε n 4 ε n 5 ɤ n 5 ɤ n = ε ε ε n 3 ε n 4 ε n 5 ε n 6 ɤ 13 8 n 6 ɤ n 7 Where yon immediately see that Fibonacci numbers appear in the developing of ɤ n. We define (15) p(0) p(1) p(2) p(3) p(4) p(5) p(6) p(7) p(8) as the Fibonacci numbers which are recursively given by with p(0) = 0 and p(1) = 1. p(n + 1) = p(n) + p(n 1)

5 4 In order to find the solution of (13) let us consider some equalities. First we well prove that ε s n = ε s (16) In order to see that this equality hold true consider the equality ε s p(s 1) = (17) which is obtained just by a change of variables s + 1 = s. Using this last equality then since p(0) = 0 and p(1) + p(0) = p(2) then p(s 1) p(s+1) = p(1) ε = εn s p(s+1) p(2) p(s+1) ε = εn s (18) Now with the change of variable s 1 = s we have n ε n+1 s p(s+1) = (19) and therefore the equality (16) is valid. Now we will claim that ɤ n = ɤ 1 p(n) ɤ0 p() (20) is the solution of the difference equation (13). We will prove it by induction. For n=2 we have 1 ɤ 2 = ε 2 s ɤ 1 p(2) ɤ0 p(1) = ε1 ɤ 1 ɤ 0 (21) Now assume that the formula is true for j n 1 then we have to prove that it is valid for n. This is equivalent to prove that the next equality is true ɤ n = p(n) p() ε n s ɤ 1 ɤ0 (22)

6 5 We remember that ɤ n = ε ɤ ɤ (13) p(n) p() ɤ 1 ɤ0 = ε ε s n 3 p() p() ɤ 1 ɤ0 ε s ɤ 1 p() ɤ0 p(n 3) (23) or equivalently = ε ε s n 3 ε s (24) Make the change of variable s + 2 = s in the first product of the right hand of (24) and s + 1 = s in the second product of the same hand, we have = ε p(s 2) p(1) p(s 2)+p(s 1) = ε ε εn s p(1) = ε ε εn s (25) and since p(1) = p(2) p(1) p(2) = ε ε εn s and this the equality given by (24) or (25) is true. Then applying the formula (22) to the recurrence equation (12) one gets the solution α n β n = α n s 2 p(n) p(n) p() p() α 1 β1 α0 β0 (26) On the other hand the equation (4) has the solution α n c(n) = α n s p(n) p(n) p() p() α 1 c1 α0 c0 (27) and equation (5) (28) β n c(n) = α n s p(n) p() β 1 β0 p(n) p() c 1 c0

7 6 Thus the general solution (2) is given by x n = α n s p(n) p() p(n) p(n) p() p() β [α 1 c1 α0 c0 + 1 β0 p(n) p() c ] 1 c0 (29) The equality (11) which is a restriction on the coefficients β n can be expressed as β n = α nα α n s 2 p() p() p() p() α 1 β1 α0 β0 (30) This giving the values α 1, α 0, β 0, β 1 and c 1, c 0 we have solved in a suitable way the problem of finding a general solution for equation (1) by quadrature.

FURTHER REMARKS FOR DIFFERENCE EQUATIONS. Ezio Marchi. IMA Preprint Series #2472. (March 2016)

FURTHER REMARKS FOR DIFFERENCE EQUATIONS. Ezio Marchi. IMA Preprint Series #2472. (March 2016) FURTHER REMARKS FOR DIFFERENCE EQUATIONS By Ezio Marchi IMA Preprint Series #47 (March 16) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA 4 Lind Hall 7 Church Street S.E. Minneapolis,

More information

REPRESENTATION OF RATIONAL NUMBERS THROUGH A LISSAJOUS S GEOMETRIC FIGURE. Ezio Marchi *) **)

REPRESENTATION OF RATIONAL NUMBERS THROUGH A LISSAJOUS S GEOMETRIC FIGURE. Ezio Marchi *) **) 1 REPRESENTATION OF RATIONAL NUMBERS THROUGH A LISSAJOUS S GEOMETRIC FIGURE by Ezio Marchi *) **) *) Founder and Ex Director of the Instituto de Matemática Aplicada San Luis, CONICET. Universidad Nacional

More information

STUDY OF ECOLOGICAL COMPETITION AMONG FOUR SPECIES. E. Marchi and R. Velasco. IMA Preprint Series #2469. (March 2016)

STUDY OF ECOLOGICAL COMPETITION AMONG FOUR SPECIES. E. Marchi and R. Velasco. IMA Preprint Series #2469. (March 2016) STUDY OF ECOLOGICAL COMPETITION AMONG FOUR SPECIES By E. Marchi and R. Velasco IMA Preprint Series #2469 (March 2016) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA 400 Lind Hall

More information

IMA Preprint Series # 2201

IMA Preprint Series # 2201 FIBONACCI S SEQUENCE OBTAINED BY A GENERAL RECURSIVE FORMULA By Ezio Marchi and Gustavo D. Olguín IMA Preprint Series # 221 ( April 28 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA

More information

CORRRELATED EQUILIBRIUM POINTS: COMMENTS AND RELATED TOPICS. N. Iris Auriol and Ezio Marchi. IMA Preprint Series #2465.

CORRRELATED EQUILIBRIUM POINTS: COMMENTS AND RELATED TOPICS. N. Iris Auriol and Ezio Marchi. IMA Preprint Series #2465. CORRRELATED EQUILIBRIUM POINTS: COMMENTS AND RELATED TOPICS By N. Iris Auriol and Ezio Marchi IMA Preprint Series #2465 (February 2016) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA

More information

IMA Preprint Series # 2388

IMA Preprint Series # 2388 THE GREEN WAVE IN A GRID OF AVENUES By Ezio Marchi IMA Preprint Series # 2388 ( January 2012 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF MINNESOTA 400 Lind Hall 207 Church Street S.E.

More information

Recurrence Relations and Recursion: MATH 180

Recurrence Relations and Recursion: MATH 180 Recurrence Relations and Recursion: MATH 180 1: Recursively Defined Sequences Example 1: The sequence a 1,a 2,a 3,... can be defined recursively as follows: (1) For all integers k 2, a k = a k 1 + 1 (2)

More information

1 Examples of Weak Induction

1 Examples of Weak Induction More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of

More information

Solving Recurrence Relations 1. Guess and Math Induction Example: Find the solution for a n = 2a n 1 + 1, a 0 = 0 We can try finding each a n : a 0 =

Solving Recurrence Relations 1. Guess and Math Induction Example: Find the solution for a n = 2a n 1 + 1, a 0 = 0 We can try finding each a n : a 0 = Solving Recurrence Relations 1. Guess and Math Induction Example: Find the solution for a n = 2a n 1 + 1, a 0 = 0 We can try finding each a n : a 0 = 0 a 1 = 2 0 + 1 = 1 a 2 = 2 1 + 1 = 3 a 3 = 2 3 + 1

More information

IMA Preprint Series # 2066

IMA Preprint Series # 2066 THE CARDINALITY OF SETS OF k-independent VECTORS OVER FINITE FIELDS By S.B. Damelin G. Michalski and G.L. Mullen IMA Preprint Series # 2066 ( October 2005 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS

More information

IMA Preprint Series # 2143

IMA Preprint Series # 2143 A BASIC INEQUALITY FOR THE STOKES OPERATOR RELATED TO THE NAVIER BOUNDARY CONDITION By Luan Thach Hoang IMA Preprint Series # 2143 ( November 2006 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY

More information

Worksheet 1. Difference

Worksheet 1. Difference Worksheet Differences Remember: The difference of a sequence u n is: u n u n+ u n The falling factorial (power), n to the k falling, when k > 0, is: n k n(n )... (n k + ), Please complete the following

More information

IMA Preprint Series # 2385

IMA Preprint Series # 2385 LIST COLORINGS WITH DISTINCT LIST SIZES, THE CASE OF COMPLETE BIPARTITE GRAPHS By Zoltán Füredi and Ida Kantor IMA Preprint Series # 2385 ( October 2011 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS

More information

Diophantine Equations. Elementary Methods

Diophantine Equations. Elementary Methods International Mathematical Forum, Vol. 12, 2017, no. 9, 429-438 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.7223 Diophantine Equations. Elementary Methods Rafael Jakimczuk División Matemática,

More information

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

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4 Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement

More information

Optimal dual fusion frames for probabilistic erasures

Optimal dual fusion frames for probabilistic erasures Electronic Journal of Linear Algebra Volume 32 Volume 32 (2017) Article 16 2017 Optimal dual fusion frames for probabilistic erasures Patricia Mariela Morillas Universidad Nacional de San Luis and CONICET,

More information

Nacional de La Pampa, Santa Rosa, La Pampa, Argentina b Instituto de Matemática Aplicada San Luis, Consejo Nacional de Investigaciones Científicas

Nacional de La Pampa, Santa Rosa, La Pampa, Argentina b Instituto de Matemática Aplicada San Luis, Consejo Nacional de Investigaciones Científicas This article was downloaded by: [Sonia Acinas] On: 28 June 2015, At: 17:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer

More information

The Greatest Common Divisor of k Positive Integers

The Greatest Common Divisor of k Positive Integers International Mathematical Forum, Vol. 3, 208, no. 5, 25-223 HIKARI Ltd, www.m-hiari.com https://doi.org/0.2988/imf.208.822 The Greatest Common Divisor of Positive Integers Rafael Jaimczu División Matemática,

More information

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

Algorithm Analysis Recurrence Relation. Chung-Ang University, Jaesung Lee Algorithm Analysis Recurrence Relation Chung-Ang University, Jaesung Lee Recursion 2 Recursion 3 Recursion in Real-world Fibonacci sequence = + Initial conditions: = 0 and = 1. = + = + = + 0, 1, 1, 2,

More information

SOURCE IDENTIFICATION FOR THE HEAT EQUATION WITH MEMORY. Sergei Avdonin, Gulden Murzabekova, and Karlygash Nurtazina. IMA Preprint Series #2459

SOURCE IDENTIFICATION FOR THE HEAT EQUATION WITH MEMORY. Sergei Avdonin, Gulden Murzabekova, and Karlygash Nurtazina. IMA Preprint Series #2459 SOURCE IDENTIFICATION FOR THE HEAT EQUATION WITH MEMORY By Sergei Avdonin, Gulden Murzabekova, and Karlygash Nurtazina IMA Preprint Series #2459 (November 215) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS

More information

Linear Time Selection

Linear Time Selection Linear Time Selection Given (x,y coordinates of N houses, where should you build road These lecture slides are adapted from CLRS.. Princeton University COS Theory of Algorithms Spring 0 Kevin Wayne Given

More information

A Note on the Distribution of Numbers with a Minimum Fixed Prime Factor with Exponent Greater than 1

A Note on the Distribution of Numbers with a Minimum Fixed Prime Factor with Exponent Greater than 1 International Mathematical Forum, Vol. 7, 2012, no. 13, 609-614 A Note on the Distribution of Numbers with a Minimum Fixed Prime Factor with Exponent Greater than 1 Rafael Jakimczuk División Matemática,

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4 INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!

More information

Mathematical Induction

Mathematical Induction Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)

More information

COL106: Data Structures and Algorithms (IIT Delhi, Semester-II )

COL106: Data Structures and Algorithms (IIT Delhi, Semester-II ) 1 Solve the following recurrence relations giving a Θ bound for each of the cases 1 : (a) T (n) = 2T (n/3) + 1; T (1) = 1 (Assume n is a power of 3) (b) T (n) = 5T (n/4) + n; T (1) = 1 (Assume n is a power

More information

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018 The principle of mathematical induction is a useful tool for proving that a certain predicate is true for all natural numbers. It cannot be used to discover theorems, but only to prove them. If we have

More information

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of

More information

#A5 INTEGERS 17 (2017) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS

#A5 INTEGERS 17 (2017) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS #A5 INTEGERS 7 (207) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS Tamás Lengyel Mathematics Department, Occidental College, Los Angeles, California lengyel@oxy.edu Diego Marques Departamento

More information

Unit Combinatorics State pigeonhole principle. If k pigeons are assigned to n pigeonholes and n < k then there is at least one pigeonhole containing more than one pigeons. Find the recurrence relation

More information

Matematicas Aplicadas. c1998 Universidad de Chile A CONVERGENT TRANSFER SCHEME TO THE. Av. Ejercito de Los Andes 950, 5700 San Luis, Argentina.

Matematicas Aplicadas. c1998 Universidad de Chile A CONVERGENT TRANSFER SCHEME TO THE. Av. Ejercito de Los Andes 950, 5700 San Luis, Argentina. Rev. Mat. Apl. 19:23-35 Revista de Matematicas Aplicadas c1998 Universidad de Chile Departamento de Ingeniera Matematica A CONVERGENT TRANSFER SCHEME TO THE CORE OF A TU-GAME J.C. CESCO Instituto de Matematica

More information

BOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS

BOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS 2 October 2007 arxiv:0706.375 BOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS DANIEL J. BATES, FRÉDÉRIC BIHAN, AND FRANK SOTTILE Abstract. We use Gale duality for complete intersections

More information

THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM Eng. Huda M.

THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM Eng. Huda M. THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM 2011 Eng. Huda M. Dawoud December, 2015 Section 1: Mathematical Induction 3. Let

More information

Discrete Mathematics & Mathematical Reasoning Induction

Discrete Mathematics & Mathematical Reasoning Induction Discrete Mathematics & Mathematical Reasoning Induction Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics (Sections 5.1 & 5.2) Today 1 / 12 Another proof method: Mathematical

More information

IMA Preprint Series # 2373

IMA Preprint Series # 2373 BATTERY STORAGE CONTROL FOR STEADYING RENEWABLE POWER GENERATION By Shengyuan (Mike) Chen, Emilie Danna, Kory Hedman, Mark Iwen, Wei Kang, John Marriott, Anders Nottrott, George Yin, and Qing Zhang IMA

More information

Some Applications of the Euler-Maclaurin Summation Formula

Some Applications of the Euler-Maclaurin Summation Formula International Mathematical Forum, Vol. 8, 203, no., 9-4 Some Applications of the Euler-Maclaurin Summation Formula Rafael Jakimczuk División Matemática, Universidad Nacional de Luján Buenos Aires, Argentina

More information

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

CS 4104 Data and Algorithm Analysis. Recurrence Relations. Modeling Recursive Function Cost. Solving Recurrences. Clifford A. Shaffer. Department of Computer Science Virginia Tech Blacksburg, Virginia Copyright c 2010,2017 by Clifford A. Shaffer Data and Algorithm Analysis Title page Data and Algorithm Analysis Clifford A. Shaffer Spring

More information

Jumping Sequences. Steve Butler Department of Mathematics University of California, Los Angeles Los Angeles, CA

Jumping Sequences. Steve Butler Department of Mathematics University of California, Los Angeles Los Angeles, CA 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 11 (2008), Article 08.4.5 Jumping Sequences Steve Butler Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095 butler@math.ucla.edu

More information

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12 MATH0 Introduction to Analysis (007 Fall and 008 Spring) Tutorial Note #1 Limit (Part ) Recurrence Relation: Type 1: Monotone Sequence (Increasing/ Decreasing sequence) Theorem 1: Monotone Sequence Theorem

More information

Design and Analysis of Algorithms

Design and Analysis of Algorithms CSE 101, Winter 2018 Design and Analysis of Algorithms Lecture 5: Divide and Conquer (Part 2) Class URL: http://vlsicad.ucsd.edu/courses/cse101-w18/ A Lower Bound on Convex Hull Lecture 4 Task: sort the

More information

Part III, Sequences and Series CS131 Mathematics for Computer Scientists II Note 16 RECURRENCES

Part III, Sequences and Series CS131 Mathematics for Computer Scientists II Note 16 RECURRENCES CS131 Part III, Sequences and Series CS131 Mathematics for Computer Scientists II Note 16 RECURRENCES A recurrence is a rule which defines each term of a sequence using the preceding terms. The Fibonacci

More information

Perturbation Theory of Completely Mixed Bimatrix Games. Dedicated to Alan J. Hoffman on the occasion of his 65th birthday.

Perturbation Theory of Completely Mixed Bimatrix Games. Dedicated to Alan J. Hoffman on the occasion of his 65th birthday. Perturbation Theory of Completely Mixed Bimatrix Games Joel E. Cohen Rockefeller University 1230 York Avenue, Box 20 New York, New York, 10021 and Ezio Marchi and Jorge A. Oviedo Instituto de Matenuitica

More information

Radionuclide transfer factor from soil to plant in tropical and subtropical environments:

Radionuclide transfer factor from soil to plant in tropical and subtropical environments: Radionuclide transfer factor from soil to plant in tropical and subtropical environments: statistical analysis for different plant/soil combinations H. Velasco a( * ), J. Juri Ayub a, U. Sansone b a GEA

More information

IMA Preprint Series # 2298

IMA Preprint Series # 2298 RELATING FIBER CROSSING IN HARDI TO INTELLECTUAL FUNCTION By Iman Aganj, Neda Jahanshad, Christophe Lenglet, Arthur W. Toga, Katie L. McMahon, Greig I. de Zubicaray, Margaret J. Wright, Nicholas G. Martin,

More information

POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES

POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES J MC LAUGHLIN AND B SURY Abstract In this article we obtain a general polynomial identity in variables, 2 is an arbitrary positive integer We use this identity

More information

CS 2110: INDUCTION DISCUSSION TOPICS

CS 2110: INDUCTION DISCUSSION TOPICS CS 110: INDUCTION DISCUSSION TOPICS The following ideas are suggestions for how to handle your discussion classes. You can do as much or as little of this as you want. You can either present at the board,

More information

arxiv: v1 [math.co] 30 Mar 2010

arxiv: v1 [math.co] 30 Mar 2010 arxiv:1003.5939v1 [math.co] 30 Mar 2010 Generalized Fibonacci recurrences and the lex-least De Bruijn sequence Joshua Cooper April 1, 2010 Abstract Christine E. Heitsch The skew of a binary string is the

More information

Sequences of Real Numbers

Sequences of Real Numbers Chapter 8 Sequences of Real Numbers In this chapter, we assume the existence of the ordered field of real numbers, though we do not yet discuss or use the completeness of the real numbers. In the next

More information

SEQUENTIAL ENTRY IN ONE-TO-ONE MATCHING MARKETS

SEQUENTIAL ENTRY IN ONE-TO-ONE MATCHING MARKETS REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 54, No. 2, 2013, Pages 1 14 Published online: December 21, 2013 SEQUENTIAL ENTRY IN ONE-TO-ONE MATCHING MARKETS BEATRIZ MILLÁN Abstract. We study in one-to-one

More information

CSE101: Design and Analysis of Algorithms. Ragesh Jaiswal, CSE, UCSD

CSE101: Design and Analysis of Algorithms. Ragesh Jaiswal, CSE, UCSD Greedy s Greedy s Shortest path Claim 2: Let S be a subset of vertices containing s such that we know the shortest path length l(s, u) from s to any vertex in u S. Let e = (u, v) be an edge such that 1

More information

The Fibonacci Quilt Sequence

The Fibonacci Quilt Sequence The Sequence Minerva Catral, Pari Ford*, Pamela Harris, Steven J. Miller, Dawn Nelson AMS Section Meeting Georgetown University March 7, 2015 1 1 2 1 2 3 1 2 3 4 1 2 3 4 5 Fibonacci sequence Theorem (

More information

Recurrence Relations

Recurrence Relations Recurrence Relations Recurrence Relations Reading (Epp s textbook) 5.6 5.8 1 Recurrence Relations A recurrence relation for a sequence aa 0, aa 1, aa 2, ({a n }) is a formula that relates each term a k

More information

Balls as Subspaces of Homogeneous Type: On a Construction due to R. Macías and C. Segovia

Balls as Subspaces of Homogeneous Type: On a Construction due to R. Macías and C. Segovia Balls as Subspaces of Homogeneous Type: On a Construction due to R. Macías and C. Segovia Hugo Aimar Instituto de Matemática Aplicada del Litoral, CONICET and Universidad Nacional del Litoral, Güemes 3450,

More information

Understanding the structure and reactivity of NiCu nanoparticles: an atomistic modeling

Understanding the structure and reactivity of NiCu nanoparticles: an atomistic modeling Electronic Supplementary Material (ESI) for Physical Chemistry Chemical Physics. This journal is the Owner Societies 2017 Understanding the structure and reactivity of NiCu nanoparticles: an atomistic

More information

Logic and Discrete Mathematics. Section 6.7 Recurrence Relations and Their Solution

Logic and Discrete Mathematics. Section 6.7 Recurrence Relations and Their Solution Logic and Discrete Mathematics Section 6.7 Recurrence Relations and Their Solution Slides version: January 2015 Definition A recurrence relation for a sequence a 0, a 1, a 2,... is a formula giving a n

More information

Mathematical Induction

Mathematical Induction Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical

More information

Analysis of Algorithms Generating Functions II. Holger Findling

Analysis of Algorithms Generating Functions II. Holger Findling Generating Functions II Holger Findling Lecture notes are obtained from Fundamentals of Algorithmics, Gilles Brassard and Paul Bratley. Inhomogeneous Recurrences. The solution of a linear recurrence with

More information

The Blocking Lemma for a Many-to-one Matching Model

The Blocking Lemma for a Many-to-one Matching Model The Blocking Lemma for a Many-to-one Matching Model Ruth Martínez y, Jordi Massó z, Alejandro Neme y, and Jorge Oviedo y December 2006 Abstract: The Blocking Lemma identi es a particular blocking pair

More information

A SURPRISING FACT ABOUT D-MODULES IN CHARACTERISTIC p > Introduction

A SURPRISING FACT ABOUT D-MODULES IN CHARACTERISTIC p > Introduction A SUPISING FACT ABOUT D-MODULES IN CHAACTEISTIC p > 0 JOSEP ÀLVAEZ MONTANE AND GENNADY LYUBEZNIK Abstract. Let = k[x,..., x d ] be the polynomial ring in d independent variables, where k is a field of

More information

Lecture 17: Trees and Merge Sort 10:00 AM, Oct 15, 2018

Lecture 17: Trees and Merge Sort 10:00 AM, Oct 15, 2018 CS17 Integrated Introduction to Computer Science Klein Contents Lecture 17: Trees and Merge Sort 10:00 AM, Oct 15, 2018 1 Tree definitions 1 2 Analysis of mergesort using a binary tree 1 3 Analysis of

More information

CSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators.

CSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators. CSE 311: Foundations of Computing I Autumn 014 Practice Final: Section X YY ZZ Name: UW ID: Instructions: Closed book, closed notes, no cell phones, no calculators. You have 110 minutes to complete the

More information

BOUNDARY INVERSE PROBLEMS FOR NETWORKS OF VIBRATING STRINGS WITH ATTACHED MASSES. Sergei Avdonin, Nina Avdonina and Julian Edward

BOUNDARY INVERSE PROBLEMS FOR NETWORKS OF VIBRATING STRINGS WITH ATTACHED MASSES. Sergei Avdonin, Nina Avdonina and Julian Edward BOUNDARY INVERSE PROBLEMS FOR NETWORKS OF VIBRATING STRINGS WITH ATTACHED MASSES By Sergei Avdonin, Nina Avdonina and Julian Edward IMA Preprint Series #2457 (November 2015) INSTITUTE FOR MATHEMATICS AND

More information

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006 Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18

More information

G. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES

G. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES Rend. Sem. Mat. Univ. Pol. Torino - Vol. 65, 3 (2007) G. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES Abstract. We analyze the existing relations among particular classes of generalized

More information

Recurrences COMP 215

Recurrences COMP 215 Recurrences COMP 215 Analysis of Iterative Algorithms //return the location of the item matching x, or 0 if //no such item is found. index SequentialSearch(keytype[] S, in, keytype x) { index location

More information

Discrete Math. Instructor: Mike Picollelli. Day 10

Discrete Math. Instructor: Mike Picollelli. Day 10 Day 10 Fibonacci Redux. Last time, we saw that F n = 1 5 (( 1 + ) n ( 5 2 1 ) n ) 5. 2 What Makes The Fibonacci Numbers So Special? The Fibonacci numbers are a particular type of recurrence relation, a

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Probe interval graphs and probe unit interval graphs on superclasses of cographs

Probe interval graphs and probe unit interval graphs on superclasses of cographs Author manuscript, published in "" Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 177 194 Probe interval graphs and probe unit interval graphs on superclasses of cographs

More information

POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES. J. Mc Laughlin Mathematics Department, Trinity College, 300 Summit Street, Hartford, CT

POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES. J. Mc Laughlin Mathematics Department, Trinity College, 300 Summit Street, Hartford, CT INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 5 (2005), #A13 POWERS OF A MATRIX AND COMBINATORIAL IDENTITIES J Mc Laughlin Mathematics Department, Trinity College, 300 Summit Street, Hartford,

More information

Design and Analysis of Algorithms

Design and Analysis of Algorithms CSE 101, Winter 2018 Design and Analysis of Algorithms Lecture 4: Divide and Conquer (I) Class URL: http://vlsicad.ucsd.edu/courses/cse101-w18/ Divide and Conquer ( DQ ) First paradigm or framework DQ(S)

More information

1 Recursive Algorithms

1 Recursive Algorithms 400 lecture note #8 [ 5.6-5.8] Recurrence Relations 1 Recursive Algorithms A recursive algorithm is an algorithm which invokes itself. A recursive algorithm looks at a problem backward -- the solution

More information

Math 192r, Problem Set #3: Solutions

Math 192r, Problem Set #3: Solutions Math 192r Problem Set #3: Solutions 1. Let F n be the nth Fibonacci number as Wilf indexes them (with F 0 F 1 1 F 2 2 etc.). Give a simple homogeneous linear recurrence relation satisfied by the sequence

More information

Comparison of spatial patterns of 137 Cs and * K in natural grassland soil and soil-to-plant relationship

Comparison of spatial patterns of 137 Cs and * K in natural grassland soil and soil-to-plant relationship Radioprotection - Colloques, volume 37, CI (2002) Cl-559 Comparison of spatial patterns of 137 Cs and * K in natural grassland soil and soil-to-plant relationship L.E.C. Ciuffo 1-2, J.H. Ulacco 1, M. Belli

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

6-3 Solving Systems by Elimination

6-3 Solving Systems by Elimination Another method for solving systems of equations is elimination. Like substitution, the goal of elimination is to get one equation that has only one variable. To do this by elimination, you add the two

More information

CSE 311: Foundations of Computing. Lecture 14: Induction

CSE 311: Foundations of Computing. Lecture 14: Induction CSE 311: Foundations of Computing Lecture 14: Induction Mathematical Induction Method for proving statements about all natural numbers A new logical inference rule! It only applies over the natural numbers

More information

Journal of Number Theory

Journal of Number Theory Journal of Number Theory 132 2012) 324 331 Contents lists available at SciVerse ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt Digit sums of binomial sums Arnold Knopfmacher a,florianluca

More information

Spanning tree invariants, loop systems and doubly stochastic matrices

Spanning tree invariants, loop systems and doubly stochastic matrices Spanning tree invariants, loop systems and doubly stochastic matrices Ricardo Gómez, José Miguel Salazar Instituto de Matemáticas de la Universidad Nacional Autónoma de México. Circuito Exterior, Ciudad

More information

IMA Preprint Series # 2176

IMA Preprint Series # 2176 SOLVING LARGE DOUBLE DIGESTION PROBLEMS FOR DNA RESTRICTION MAPPING BY USING BRANCH-AND-BOUND INTEGER LINEAR PROGRAMMING By Zhijun Wu and Yin Zhang IMA Preprint Series # 2176 ( October 2007 ) INSTITUTE

More information

Fibonacci Diophantine Triples

Fibonacci Diophantine Triples Fibonacci Diophantine Triples Florian Luca Instituto de Matemáticas Universidad Nacional Autonoma de México C.P. 58180, Morelia, Michoacán, México fluca@matmor.unam.mx László Szalay Institute of Mathematics

More information

SOME REMARKS ON NON-SPECIAL COHERENT ARONSZAJN TREES

SOME REMARKS ON NON-SPECIAL COHERENT ARONSZAJN TREES SOME REMARKS ON NON-SPECIAL COHERENT ARONSZAJN TREES MICHAEL HRUŠÁK AND CARLOS MARTÍNEZ RANERO Abstract. We introduce some guessing principles sufficient for the existence of non-special coherent Aronszajn

More information

,... We would like to compare this with the sequence y n = 1 n

,... We would like to compare this with the sequence y n = 1 n Example 2.0 Let (x n ) n= be the sequence given by x n = 2, i.e. n 2, 4, 8, 6,.... We would like to compare this with the sequence = n (which we know converges to zero). We claim that 2 n n, n N. Proof.

More information

Numerical modeling of a cutting torch

Numerical modeling of a cutting torch Journal of Physics: Conference Series OPEN ACCESS Numerical modeling of a cutting torch To cite this article: B R Mancinelli et al 2014 J. Phys.: Conf. Ser. 511 012071 View the article online for updates

More information

With Question/Answer Animations

With Question/Answer Animations Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary

More information

THE CORE-STABLE SETS-THE BARGAINING THEORY FROM A FUNCTIONAL AND MULTI CRITERION VIEWPOINT

THE CORE-STABLE SETS-THE BARGAINING THEORY FROM A FUNCTIONAL AND MULTI CRITERION VIEWPOINT Revista de la Uni6n Matematica Argentina Volwnen 38, 993. 82 HE CORE-SABLE SES-HE BARGANNG HEORY FROM A FUNCONAL AND MUL CRERON VEWPON Magdalena Cantisani Ezio Marchi Abstract: n this paper,it is introduced

More information

Guessing the upper bound free-energy difference between native-like structures. Jorge A. Vila

Guessing the upper bound free-energy difference between native-like structures. Jorge A. Vila 1 Guessing the upper bound free-energy difference between native-like structures Jorge A. Vila IMASL-CONICET, Universidad Nacional de San Luis, Ejército de Los Andes 950, 5700- San Luis, Argentina Use

More information

A Note on All Possible Factorizations of a Positive Integer

A Note on All Possible Factorizations of a Positive Integer International Mathematical Forum, Vol. 6, 2011, no. 33, 1639-1643 A Note on All Possible Factorizations of a Positive Integer Rafael Jakimczuk División Matemática Universidad Nacional de Luján Buenos Aires,

More information

Stirling Numbers of the 1st Kind

Stirling Numbers of the 1st Kind Daniel Reiss, Colebrook Jackson, Brad Dallas Western Washington University November 28, 2012 Introduction The set of all permutations of a set N is denoted S(N), while the set of all permutations of {1,

More information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Explain the steps in a proof by (strong) mathematical induction Use (strong) mathematical induction

More information

Chapter 5: Sequences, Mathematic Induction, and Recursion

Chapter 5: Sequences, Mathematic Induction, and Recursion Chapter 5: Sequences, Mathematic Induction, and Recursion Hao Zheng Department of Computer Science and Engineering University of South Florida Tampa, FL 33620 Email: zheng@cse.usf.edu Phone: (813)974-4757

More information

Linear recurrence relations with the coefficients in progression

Linear recurrence relations with the coefficients in progression Annales Mathematicae et Informaticae 4 (013) pp. 119 17 http://ami.ektf.hu Linear recurrence relations with the coefficients in progression Mircea I. Cîrnu Department of Mathematics, Faculty of Applied

More information

ON INVERSE DYNAMICAL AND SPECTRAL PROBLEMS FOR THE WAVE AND SCHRÖDINGER EQUATIONS ON FINITE TREES. THE LEAF PEELING METHOD.

ON INVERSE DYNAMICAL AND SPECTRAL PROBLEMS FOR THE WAVE AND SCHRÖDINGER EQUATIONS ON FINITE TREES. THE LEAF PEELING METHOD. ON INVERSE DYNAMICAL AND SPECTRAL PROBLEMS FOR THE WAVE AND SCHRÖDINGER EQUATIONS ON FINITE TREES. THE LEAF PEELING METHOD. By Sergei Avdonin, Victor Mikhaylov, and Karlygash Nurtazina IMA Preprint Series

More information

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

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations Introduction Sequences are ordered lists of elements.

More information

Core Many-to-one Matchings by Fixed-Point Methods 1

Core Many-to-one Matchings by Fixed-Point Methods 1 Journal of Economic Theory v115(2), April 2004, pp 358-376 Core Many-to-one Matchings by Fixed-Point Methods 1 Federico Echenique Humanities and Social Sciences MC 228-77 California Institute of Technology

More information

MODELING AIRCRAFT HOSES AND FLEXIBILE CONDUITS. Thomas Grandine, Ke Han, Huiyi Hu, Eunkyung Ko, Ahmet Ozkan Ozer, Cory Simon, Changhui Tan

MODELING AIRCRAFT HOSES AND FLEXIBILE CONDUITS. Thomas Grandine, Ke Han, Huiyi Hu, Eunkyung Ko, Ahmet Ozkan Ozer, Cory Simon, Changhui Tan MODELING AIRCRAFT HOSES AND FLEXIBILE CONDUITS By Thomas Grandine, Ke Han, Huiyi Hu, Eunkyung Ko, Ahmet Ozkan Ozer, Cory Simon, Changhui Tan IMA Preprint Series #2393 (May 212) INSTITUTE FOR MATHEMATICS

More information

Divide and Conquer Algorithms

Divide and Conquer Algorithms Divide and Conquer Algorithms T. M. Murali March 17, 2014 Divide and Conquer Break up a problem into several parts. Solve each part recursively. Solve base cases by brute force. Efficiently combine solutions

More information

Recursion and Induction

Recursion and Induction Recursion and Induction Themes Recursion Recurrence Definitions Recursive Relations Induction (prove properties of recursive programs and objects defined recursively) Examples Tower of Hanoi Gray Codes

More information

DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION, DIOPHANTINE APPROXIMATION, AND A REFORMULATION OF THE THUE-SIEGEL-ROTH THEOREM

DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION, DIOPHANTINE APPROXIMATION, AND A REFORMULATION OF THE THUE-SIEGEL-ROTH THEOREM DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION, DIOPHANTINE APPROXIMATION, AND A REFORMULATION OF THE THUE-SIEGEL-ROTH THEOREM JUAN LUIS VARONA Abstract. We study the differentiability of the real function

More information

SIM FORCE STANDARDS COMPARISON UP TO 10 kn

SIM FORCE STANDARDS COMPARISON UP TO 10 kn SIM FORCE STANDARDS COMPARISON UP TO 10 kn Jorge C. Torres-Guzmán, Daniel A. Ramírez-Ahedo Centro Nacional de Metrología, CENAM.. ABSTRACT A comparison in the quantity of force was carried out among the

More information

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

Definition: A sequence is a function from a subset of the integers (usually either the set Math 3336 Section 2.4 Sequences and Summations Sequences Geometric Progression Arithmetic Progression Recurrence Relation Fibonacci Sequence Summations Definition: A sequence is a function from a subset

More information