DOCSLIB.ORG

CSCE 222 Discrete Structures for Computing Sequences, Sums, And

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
CSCE 222 Discrete Structures for Computing Sequences, Sums, And CSCE 222 Discrete Structures for Computing Sequences, Sums, and Products Dr. Philip C. Ritchey Sequences • A sequence is a function from a subset of the integers to a set 푆. • A discrete structure used to represent an ordered list • 푎푛 denotes the sequence 푎0, 푎1, 푎2, … • Sometimes the sequence will start at 푎1 • 푎푛 is a term of the sequence • Example • 1, 2, 3, 5, 8 is a sequence with five terms • 1, 3, 9, 27, … , 3푛, … is an infinite sequence • What is the function which generates the terms of the sequence 5, 7, 9, 11, … ? • If 푎0 = 5 • 푎푛 = 5 + 2푛 • If if 푎1 = 5 • 푎푛 = 3 + 2푛 Geometric Progression • A geometric progression is a sequence of the form 푎, 푎푟, 푎푟2, 푎푟3, … where the initial term 푎 and the common ratio 푟 are real numbers. • Example 1 1 1 • 1, , , , … 2 4 8 • What is the initial term 푎 and common ratio 푟? • 푎 = 1 1 • 푟 = 2 푛 • 푎푛 = 푎푟 1 푛 • 푎 = 푛 2 Arithmetic Progression • An arithmetic progression is a sequence of the form 푎, 푎 + 푑, 푎 + 2푑, … where the initial term 푎 and the common difference 푑 are real numbers. • Example • −1, 3, 7, 11, … • What is the initial term 푎 and common difference 푑? • 푎 = −1 • 푑 = 4 • 푎푛 = 푎 + 푑푛 • 푎푛 = −1 + 4푛 Exercises List the first several terms of these sequences: 푛+1 • the sequence 푎푛 , where 푎푛 = 푛 + 1 . • 1, 4, 27, 256, 3125,… • the sequence that begins with 2 and in which each successive term is 3 more than the preceding term. • 2, 5, 8, 11, 14, … • 푎푛 = 2 + 3푛 • the sequence that begins with 3, where each succeeding term is twice the preceding term. • 3, 6, 12 ,24, 48, … 푛 • 푎푛 = 3 ⋅ 2 • the sequence where the 푛th term is the number of letters in the English word for the index n. • 4, 3, 3, 5, 4, 4, 3, 5, 5, 4, 3, 6, … Recurrence Relations • A recurrence relation for the sequence 푎푛 is an equation that expresses 푎푛in terms of one or more of the previous terms of the sequence. 푛 • Geometric progression: 푎푛 = 푎푟 • Recurrence relation: 푎푛 = 푟푎푛−1, 푎0 = 푎 (푎0 is the initial condition) • Arthmetic progression: 푎푛 = 푎 + 푑푛 • Recurrence relation: 푎푛 = 푎푛−1 + 푑, 푎0 = 푎 • Fibonacci Sequence: 푓푛 = 0, 1, 1, 2, 3, 5, 8, 13, … • 푓푛 = 푓푛−1 + 푓푛−2, 푓0 = 0, 푓1 = 1 • Factorials: 1, 1, 2, 6, 24, 120, 720, 5040, … • 푛! = 푛 푛 − 1 푛 − 2 ⋯ 2 ⋅ 1 • 푎푛 = 푛푎푛−1, 푎0 = 1 Solving Recurrence Relations • A sequence is called a solution of a recurrence relation if its terms satisfy the recurrence relation. • To solve a recurrence relation, find a closed formula (explicit formula) for the terms of the sequence. • Closed formulae do not involve previous terms of the sequence. • Example • Relations of the form 푎푛 = 푟푎푛−1 • Geometric progression 푛 • Closed form: 푎푛 = 푎푟 • Relations of the form 푎푛 = 푎푛−1 + 푑 • Arithmetic progression • Closed form: 푎푛 = 푎 + 푑푛 Technique for Solving Recurrence Relations • Iteration • Forward: work forward from the initial term until a pattern emerges. Then guess the form of the solution. • Backward: work backward from an toward 푎0 until a pattern emerges. The guess the form of the solution. • Example: 푎푛 = 푎푛−1 + 3, 푎0 = 2 • Forward • Backward • 푎1 = 2 + 3 • 푎푛 = 푎푛−2 + 3 + 3 = 푎푛−2 + 2 ⋅ 3 • 푎2 = 2 + 3 + 3 = 2 + 2 ⋅ 3 • 푎푛 = 푎푛−3 + 3 + 2 ⋅ 3 = 푎푛−3 + 3 ⋅ 3 • 푎3 = 2 + 2 ⋅ 3 + 3 = 2 + 3 ⋅ 3 • 푎푛 = 푎푛−4 + 3 + 3 ⋅ 3 = 푎푛−4 + 4 ⋅ 3 • … • … • • 푎푛 = 2 + 3푛 푎푛 = 푎푛−푛 + 푛 ⋅ 3 = 푎0 + 3푛 = 2 + 3푛 Exercises • Find the first few terms of a solution to the recurrence relation 푎푛 = 푎푛−1 + 2푛 + 3, 푎0 = 4 • 푎1 = 4 + 2 1 + 3 = 9 • 푎2 = 9 + 2 2 + 3 = 16 • 푎3 = 16 + 2 3 + 3 = 25 • ... • Solve the recurrence relation above. 2 • From the first few terms, the pattern seems to be 푎푛 = 푛 + 2 • This can be proved, but we need techniques we haven’t learned yet. Exercises Continued • Find and solve a recurrence relation for the sequence 0, 1, 3, 6, 10, 15,… • Take differences: 1 - 0 = 1, 3 - 1 = 2, 6 – 3 = 3, 10 – 6 = 4, 15 – 10 = 5, … • Write down the relation: 푎푛 = 푎푛−1 + 푛, 푎0 = 0 • Use backwards iteration • 푎푛 = 푎푛−1 + 푛 • = 푎푛−2 + 푛 − 1 + 푛 • = 푎푛−3 + 푛 − 2 + 푛 − 1 + 푛 • … • = 푎0 + 1 + 2 + ⋯ + 푛 • = 0 + 1 + 2 + ⋯ + 푛 푛 푛+1 • The sum of the integers from 1 to 푛 is 2 푛 푛+1 • 푎 = 푛 2 Summations • The sum of the 푚 through 푛-th terms of sequence 푎푘 푎푚 + 푎푚+1 + ⋯ + 푎푛 is denoted as 푛 푎푖 푖=푚 where 푖 is the index of summation, 푚 is the lower limit, and 푛 is the upper limit. Examples 1 • Use summation notation to express the sum from 1 to 100 of : 100 푥 1 푖 푖=1 3 • Evaluate 푖=0 2푖 + 1 3 2푖 + 1 = 2 ⋅ 0 + 1 + 2 ⋅ 1 + 1 + 2 ⋅ 2 + 1 + 2 ⋅ 3 + 1 푖=0 = 1 + 3 + 5 + 7 = 16 Manipulations of Summation Notation 푛 푙 푛 푐푎푖 = 푐 푎푖 푎푖 = 푎푖 + 푎푖 푖 푖 푖=푚 푖=푚 푖=푙+1 푛 푛 푛 푛 푛−푚 푛−푚 푎푖 + 푏푖 = 푎푖 + 푏푖 푎푖 = 푎푗+푚 = 푎푛−푘 푖=푚 푖=푚 푖=푚 푖=푚 푗=0 푘=0 푛 푛 푛 푛 푚−1 푎푖 + 푐 = 푎푖 + 푐 푛 − 푚 + 1 푎푖 = 푎푖 − 푎푖 푖=푚 푖=푚 푖=푚 푖=0 푖=0 Exercises • Evaluate 10 3 푖=1 • 3+3+3+3+3+3+3+3+3+3 = 30 • Let 푆 = 1,3,5,7 . Evaluate 2 푗 푗∈푆 • 1+9+25+49 = 84 • Evaluate 8 푖 3 ⋅ 2 푖=0 8 푖 • 3 푖=0 2 = 3 1 + 2 + 4 + 8 + 16 + 32 + 64 + 128 + 256 = 1533 Summation Identities • There are MANY, but here are two you should know: • Geometric Series 푛−1 푛 푟 = 1 푖 푛 푟 = 푟 − 1 푖=0 푟 − 1 푟 ≠ 1 • Arithmetic Series 푛−1 푛 푛 − 1 푖 = 2 푖=0 Geometric Series Identity Proof 푟 ≠ 1 푛−1 푛−1 Let S = 푟푖 = 푟푗 + 푟푛 − 푟0 푖=0 푗=0 푛−1 푛 푟S = 푟 푟푖 푟푆 = 푆 + 푟 − 1 푖=0 푛 푆 푟 − 1 = 푟 − 1 푛−1 푖+1 = 푟 푟푛 − 1 푖=0 푆 = 푟 − 1 푛 = 푟푗 □ 푗=1 Products • The product of the 푚 through 푛-th terms of sequence 푎푘 푎푚 ⋅ 푎푚+1 ⋅ ⋯ ⋅ 푎푛 is denoted as 푛 푎푖 푖=푚 Example: 푛 푛! = 푖 푖=1 A Product Identity 푛 푛 푛 푛−푚+1 푐푎푖 = 푐 푎푖 푐푎푖 = 푐푎푚 푐푎푚+1 ⋯ 푐푎푛 푖=푚 푖=푚 푖=푚 = 푐 푐 ⋯ 푐 ⋅ 푎푚 푎푚+1 ⋯ 푎푛 푛 푛 1 = 푐 푖=푚 푎푖 푖=푚 푛 푛−푚+1 = 푐 푎푖 푖=푚.
Load more

Recommended publications
  • On Generalized Hypergeometric Equations and Mirror Maps
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 142, Number 9, September 2014, Pages 3153–3167 S 0002-9939(2014)12161-7 Article electronically published on May 28, 2014 ON GENERALIZED HYPERGEOMETRIC EQUATIONS AND MIRROR MAPS JULIEN ROQUES (Communicated by Matthew A. Papanikolas) Abstract. This paper deals with generalized hypergeometric differential equations of order n ≥ 3 having maximal unipotent monodromy at 0. We show that among these equations those leading to mirror maps with inte- gral Taylor coefficients at 0 (up to simple rescaling) have special parameters, namely R-partitioned parameters. This result yields the classification of all generalized hypergeometric differential equations of order n ≥ 3havingmax- imal unipotent monodromy at 0 such that the associated mirror map has the above integrality property. 1. Introduction n Let α =(α1,...,αn) be an element of (Q∩]0, 1[) for some integer n ≥ 3. We consider the generalized hypergeometric differential operator given by n n Lα = δ − z (δ + αk), k=1 d where δ = z dz . It has maximal unipotent monodromy at 0. Frobenius’ method yields a basis of solutions yα;1(z),...,yα;n(z)ofLαy(z) = 0 such that × (1) yα;1(z) ∈ C({z}) , × (2) yα;2(z) ∈ C({z})+C({z}) log(z), . n−2 k × n−1 (3) yα;n(z) ∈ C({z})log(z) + C({z}) log(z) , k=0 where C({z}) denotes the field of germs of meromorphic functions at 0 ∈ C.One can assume that yα;1 is the generalized hypergeometric series ∞ + (α) y (z):=F (z):= k zk ∈ C({z}), α;1 α k!n k=0 where the Pochhammer symbols (α)k := (α1)k ···(αn)k are defined by (αi)0 =1 ∗ and, for k ∈ N ,(αi)k = αi(αi +1)···(αi + k − 1).
    [Show full text]
  • Integral Points in Arithmetic Progression on Y2=X(X2&N2)
    Journal of Number Theory 80, 187208 (2000) Article ID jnth.1999.2430, available online at http:ÂÂwww.idealibrary.com on Integral Points in Arithmetic Progression on y2=x(x2&n2) A. Bremner Department of Mathematics, Arizona State University, Tempe, Arizona 85287 E-mail: bremnerÄasu.edu J. H. Silverman Department of Mathematics, Brown University, Providence, Rhode Island 02912 E-mail: jhsÄmath.brown.edu and N. Tzanakis Department of Mathematics, University of Crete, Iraklion, Greece E-mail: tzanakisÄitia.cc.uch.gr Communicated by A. Granville Received July 27, 1998 1. INTRODUCTION Let n1 be an integer, and let E be the elliptic curve E: y2=x(x2&n2). (1) In this paper we consider the problem of finding three integral points P1 , P2 , P3 whose x-coordinates xi=x(Pi) form an arithmetic progression with x1<x2<x3 . Let T1=(&n,0), T2=(0, 0), and T3=(n, 0) denote the two-torsion points of E. As is well known [Si1, Proposition X.6.1(a)], the full torsion subgroup of E(Q)isE(Q)tors=[O, T1 , T2 , T3]. One obvious solution to our problem is (P1 , P2 , P3)=(T1 , T2 , T3). It is natural to ask whether there are further obvious solutions, say of the form (T1 , Q, T2)or(T2 , T3 , Q$) or (T1 , T3 , Q"). (2) 187 0022-314XÂ00 35.00 Copyright 2000 by Academic Press All rights of reproduction in any form reserved. 188 BREMNER, SILVERMAN, AND TZANAKIS This is equivalent to asking whether there exist integral points having x-coordinates equal to &nÂ2or2n or 3n, respectively.
    [Show full text]
  • Arithmetic and Geometric Progressions
    Arithmetic and geometric progressions mcTY-apgp-2009-1 This unit introduces sequences and series, and gives some simple examples of each. It also explores particular types of sequence known as arithmetic progressions (APs) and geometric progressions (GPs), and the corresponding series. In order to master the techniques explained here it is vital that you undertake plenty of practice exercises so that they become second nature. After reading this text, and/or viewing the video tutorial on this topic, you should be able to: • recognise the difference between a sequence and a series; • recognise an arithmetic progression; • find the n-th term of an arithmetic progression; • find the sum of an arithmetic series; • recognise a geometric progression; • find the n-th term of a geometric progression; • find the sum of a geometric series; • find the sum to infinity of a geometric series with common ratio r < 1. | | Contents 1. Sequences 2 2. Series 3 3. Arithmetic progressions 4 4. The sum of an arithmetic series 5 5. Geometric progressions 8 6. The sum of a geometric series 9 7. Convergence of geometric series 12 www.mathcentre.ac.uk 1 c mathcentre 2009 1. Sequences What is a sequence? It is a set of numbers which are written in some particular order. For example, take the numbers 1, 3, 5, 7, 9, .... Here, we seem to have a rule. We have a sequence of odd numbers. To put this another way, we start with the number 1, which is an odd number, and then each successive number is obtained by adding 2 to give the next odd number.
    [Show full text]
  • Section 6-3 Arithmetic and Geometric Sequences
    466 6 SEQUENCES, SERIES, AND PROBABILITY Section 6-3 Arithmetic and Geometric Sequences Arithmetic and Geometric Sequences nth-Term Formulas Sum Formulas for Finite Arithmetic Series Sum Formulas for Finite Geometric Series Sum Formula for Infinite Geometric Series For most sequences it is difficult to sum an arbitrary number of terms of the sequence without adding term by term. But particular types of sequences, arith- metic sequences and geometric sequences, have certain properties that lead to con- venient and useful formulas for the sums of the corresponding arithmetic series and geometric series. Arithmetic and Geometric Sequences The sequence 5, 7, 9, 11, 13,..., 5 ϩ 2(n Ϫ 1),..., where each term after the first is obtained by adding 2 to the preceding term, is an example of an arithmetic sequence. The sequence 5, 10, 20, 40, 80,..., 5 (2)nϪ1,..., where each term after the first is obtained by multiplying the preceding term by 2, is an example of a geometric sequence. ARITHMETIC SEQUENCE DEFINITION A sequence a , a , a ,..., a ,... 1 1 2 3 n is called an arithmetic sequence, or arithmetic progression, if there exists a constant d, called the common difference, such that Ϫ ϭ an anϪ1 d That is, ϭ ϩ Ͼ an anϪ1 d for every n 1 GEOMETRIC SEQUENCE DEFINITION A sequence a , a , a ,..., a ,... 2 1 2 3 n is called a geometric sequence, or geometric progression, if there exists a nonzero constant r, called the common ratio, such that 6-3 Arithmetic and Geometric Sequences 467 a n ϭ r DEFINITION anϪ1 2 That is, continued ϭ Ͼ an ranϪ1 for every n 1 Explore/Discuss (A) Graph the arithmetic sequence 5, 7, 9, ...
    [Show full text]
  • Sines and Cosines of Angles in Arithmetic Progression
    VOL. 82, NO. 5, DECEMBER 2009 371 Sines and Cosines of Angles in Arithmetic Progression MICHAEL P. KNAPP Loyola University Maryland Baltimore, MD 21210-2699 [email protected] doi:10.4169/002557009X478436 In a recent Math Bite in this MAGAZINE [2], Judy Holdener gives a physical argument for the relations N 2πk N 2πk cos = 0and sin = 0, k=1 N k=1 N and comments that “It seems that one must enter the realm of complex numbers to prove this result.” In fact, these relations follow from more general formulas, which can be proved without using complex numbers. We state these formulas as a theorem. THEOREM. If a, d ∈ R,d= 0, and n is a positive integer, then − n 1 sin(nd/2) (n − 1)d (a + kd) = a + sin ( / ) sin k=0 sin d 2 2 and − n 1 sin(nd/2) (n − 1)d (a + kd) = a + . cos ( / ) cos k=0 sin d 2 2 We first encountered these formulas, and also the proof given below, in the journal Arbelos, edited (and we believe almost entirely written) by Samuel Greitzer. This jour- nal was intended to be read by talented high school students, and was published from 1982 to 1987. It appears to be somewhat difficult to obtain copies of this journal, as only a small fraction of libraries seem to hold them. Before proving the theorem, we point out that, though interesting in isolation, these ( ) = 1 + formulas are more than mere curiosities. For example, the function Dm t 2 m ( ) k=1 cos kt is well known in the study of Fourier series [3] as the Dirichlet kernel.
    [Show full text]
  • Jacobi-Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions
    1 2 Journal of Integer Sequences, Vol. 20 (2017), 3 Article 17.3.4 47 6 23 11 Jacobi-Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions Maxie D. Schmidt University of Washington Department of Mathematics Padelford Hall Seattle, WA 98195 USA [email protected] Abstract The article studies a class of generalized factorial functions and symbolic product se- quences through Jacobi-type continued fractions (J-fractions) that formally enumerate the typically divergent ordinary generating functions of these sequences. The rational convergents of these generalized J-fractions provide formal power series approximations to the ordinary generating functions that enumerate many specific classes of factorial- related integer product sequences. The article also provides applications to a number of specific factorial sum and product identities, new integer congruence relations sat- isfied by generalized factorial-related product sequences, the Stirling numbers of the first kind, and the r-order harmonic numbers, as well as new generating functions for the sequences of binomials, mp 1, among several other notable motivating examples − given as applications of the new results proved in the article. 1 Notation and other conventions in the article 1.1 Notation and special sequences Most of the conventions in the article are consistent with the notation employed within the Concrete Mathematics reference, and the conventions defined in the introduction to the first 1 article [20]. These conventions include the following particular notational variants: ◮ Extraction of formal power series coefficients. The special notation for formal power series coefficient extraction, [zn] f zk : f ; k k 7→ n ◮ Iverson’s convention.
    [Show full text]
  • MATHEMATICAL INDUCTION SEQUENCES and SERIES
    MISS MATHEMATICAL INDUCTION SEQUENCES and SERIES John J O'Connor 2009/10 Contents This booklet contains eleven lectures on the topics: Mathematical Induction 2 Sequences 9 Series 13 Power Series 22 Taylor Series 24 Summary 29 Mathematician's pictures 30 Exercises on these topics are on the following pages: Mathematical Induction 8 Sequences 13 Series 21 Power Series 24 Taylor Series 28 Solutions to the exercises in this booklet are available at the Web-site: www-history.mcs.st-andrews.ac.uk/~john/MISS_solns/ 1 Mathematical induction This is a method of "pulling oneself up by one's bootstraps" and is regarded with suspicion by non-mathematicians. Example Suppose we want to sum an Arithmetic Progression: 1+ 2 + 3 +...+ n = 1 n(n +1). 2 Engineers' induction € Check it for (say) the first few values and then for one larger value — if it works for those it's bound to be OK. Mathematicians are scornful of an argument like this — though notice that if it fails for some value there is no point in going any further. Doing it more carefully: We define a sequence of "propositions" P(1), P(2), ... where P(n) is "1+ 2 + 3 +...+ n = 1 n(n +1)" 2 First we'll prove P(1); this is called "anchoring the induction". Then we will prove that if P(k) is true for some value of k, then so is P(k + 1) ; this is€ c alled "the inductive step". Proof of the method If P(1) is OK, then we can use this to deduce that P(2) is true and then use this to show that P(3) is true and so on.
    [Show full text]
  • Arxiv:2008.12809V2 [Math.NT] 5 Jun 2021
    ON A CLASS OF HYPERGEOMETRIC DIAGONALS ALIN BOSTAN AND SERGEY YURKEVICH Abstract. We prove that the diagonal of any finite product of algebraic functions of the form R (1 − x1 −···− xn) , R ∈ Q, is a generalized hypergeometric function, and we provide an explicit description of its param- eters. The particular case (1 − x − y)R/(1 − x − y − z) corresponds to the main identity of Abdelaziz, Koutschan and Maillard in [AKM20, §3.2]. Our result is useful in both directions: on the one hand it shows that Christol’s conjecture holds true for a large class of hypergeo- metric functions, on the other hand it allows for a very explicit and general viewpoint on the diagonals of algebraic functions of the type above. Finally, in contrast to [AKM20], our proof is completely elementary and does not require any algorithmic help. 1. Introduction Let K be a field of characteristic zero and let g K[[x]] be a power series in x = (x ,...,x ) ∈ 1 n i1 in g(x)= gi1,...,in x1 xn K[[x]]. Nn · · · ∈ (i1,...,iXn)∈ The diagonal Diag(g) of g(x) is the univariate power series given by Diag(g) := g tj K[[t]]. j,...,j ∈ ≥ Xj 0 A power series h(x) in K[[x]] is called algebraic if there exists a non-zero polynomial P (x,T ) K[x,T ] such that P (x,h(x)) = 0; otherwise, it is called transcendental. ∈ If g(x) is algebraic, then its diagonal Diag(g) is usually transcendental; however, by a classical result by Lipshitz [Lip88], Diag(g) is D-finite, i.e., it satisfies a non-trivial linear differential equation with polynomial coefficients in K[t].
    [Show full text]
  • On Unbounded Denominators and Hypergeometric Series
    On unbounded denominators and hypergeometric series Cameron Franc, Terry Gannon, Georey Mason∗† Abstract We study the question of when the coecients of a hypergeometric series are p-adically unbounded for a given rational prime p. Our rst result is a necessary and sucient criterion, applicable to all but nitely many primes, for determining when the coecients of a hypergeometric series with rational parameters are p-adically unbounded (equivalent but dierent conditions were found earlier by Dwork in [11] and Christol in [9]). We then show that the set of unbounded primes for a given series is, up to a nite discrepancy, a nite union of the set of primes in certain arithmetic progressions and we explain how this set can be computed. We characterize when the density of the set of unbounded primes is 0 (a similar result is found in [9]), and when it is 1. Finally, we discuss the connection between this work and the unbounded denominators conjecture for Fourier coecients of modular forms. Contents 1 Introduction 2 2 Basic notions and notations 5 3 Hypergeometric series 8 4 The case of 2F1 11 ∗The rst two authors were partially supported by grants from NSERC. The third author was supported by the Simons Foundation #427007. †[email protected], [email protected], [email protected] 1 5 Hypergeometric series and modular forms 20 1 Introduction Hypergeometric series are objects of considerable interest. From a num- ber theoretic perspective, hypergeometric dierential equations provide a convenient and explicit launching point for subjects such as p-adic dier- ential equations [14], [13], rigid dierential equations and Grothendieck’s p-curvature conjecture [22], as well as the study of periods and motives.
    [Show full text]
  • NATIONAL ACADEMY of SCIENCES Volume 12 September 15, 1916 Number 9
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES Volume 12 September 15, 1916 Number 9 POSTULATES IN THE HISTORY OF SCIENCE By G. A. MILLER DEPARTMZNT OF MATHEMATICS, UNIVCRSITrY OF ILLINOIS Communicated August 2, 1926 J. Hadamard recently remarked that the history of science has always been and will always be one of the parts of human knowledge where progress is the most difficult to be assured.1 This difficulty is partly due to the fact that many technical terms have been used with widely different meanings during the development of some of the scientific subjects so that statements which conveyed the accurate situation at one time sometimes fail to do so at a later time in view of the different meanings associated by later readers with some of the technical terms involved therein. Since it is obviously desirable to secure assured progress in all fields of human knowledge it seems opportune to endeavor to remove some of the difficulties which now hamper progress in the history of science. Possibly a more explicit use of postulates (a method introduced into the development of mathematics by the ancient Greeks) would also be of service here, and in the present article we shall first consider a few consequences in the history of mathematics resulting from a strict adherence to the following postulate: In a modern historical work on science the technical terms should be used only with their commonly accepted modem meanings unless the contrary is explicitly stated. It may be instructive to consider this postulate in connection with the widely known mathematical term logarithm, which is most commonly defined in modem treatises as the exponent x of a number a, not unity, such that if y is any given number then ax = y.
    [Show full text]
  • Rational Dynamical Systems, $ S $-Units, and $ D $-Finite Power Series
    RATIONAL DYNAMICAL SYSTEMS, S-UNITS, AND D-FINITE POWER SERIES JASON P. BELL, SHAOSHI CHEN, AND EHSAAN HOSSAIN Abstract. Let K be an algebraically closed field of characteristic zero and let G be a finitely generated subgroup of the multiplicative group of n K. We consider K-valued sequences of the form an := f(ϕ (x0)), where 1 ϕ: X 99K X and f : X 99K P are rational maps defined over K and x0 X is a point whose forward orbit avoids the indeterminacy loci of ϕ and∈ f. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the set of n for which an G is a finite union of arithmetic progressions along with a set ∈ of Banach density zero. In addition, we show that if an G for every n and X is irreducible and the ϕ orbit of x is Zariski dense∈ in X then there d d d d are a multiplicative torus Gm and maps Ψ : Gm Gm and g : Gm Gm n d → → such that an = g Ψ (y) for some y Gm. We then obtain results about the coefficients of◦D-finite power series∈ using these facts. Contents 1. Introduction 1 2. Linear recurrences in abelian groups 5 3. Multiplicative dependence and S-unit equations 11 4. Proof of Theorem 1.1 17 5. Heights of points in orbits 20 6. Applications to D-finite power series 23 References 27 1. Introduction arXiv:2005.04281v1 [math.NT] 8 May 2020 A rational dynamical system is a pair (X,ϕ), where X is a quasiprojective variety defined over a field K, and ϕ : X 99K X is a rational map.
    [Show full text]
  • Nth Term of Arithmetic Sequence Calculator
    Nth Term Of Arithmetic Sequence Calculator Planar Desmund sometimes beaches his chaetodons papally and willies so crushingly! Hewitt iridize affably? Is Sigmund panic-stricken or busying after concentrated Gearard unbalancing so basely? Of the two of the common difference to adjust the stem sends off to reciprocate the computed differences of nth term calculator did you are. For calculating nth term calculator will calculate a classroom, we want to our site owner, most basic examples and calculators and enter any number? You lift use carefully though but converse need to coincidence the sign to get your actual sign manually. Enter a sequence that the boxes and press of button to capital if a nth term rule may be found. It into an arithmetic sequence. This folder contains nine files associated with arithmetic, these types of problems will generally take you more bold than other math questions on death ACT. Start sequence term of nth arithmetic calculator helps us students from external sources are navigating high school. Given term of nth arithmetic sequence calculator ideal gas law calculator. This program will overcome some keystrokes. Enter to calculate and sequence calculator pay it? Calculate a cumulative sum on a thing of numbers. Solve arithmetic calculator will calculate nth term of calculators here to calculating arithmetic sequences, for various pieces of all think of an arithmetic? This way to get answers. The nth term formula will solve again after exiting the term of the key is able to. Just subtract every event you get all prime. You can quickly calculate nth term or any other math questions with no packages or from adding a sequence could further improve.
    [Show full text]