Series of Error Terms for Rational Approximations of Irrational Numbers
|
|
- Sarah Randall
- 5 years ago
- Views:
Transcription
1 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee D-3073 Hannover Germany Carsten.Elsner@fhdw.de Abstract Let p n /q n be the n-th convergent of a real irrational number α, and let ε n = αq n p n. In this paper we investigate various sums of the type m ε m, m ε m, and m ε mx m. The main subject of the paper is bounds for these sums. In particular, we investigate the behaviour of such sums when α is a quadratic surd. The most significant properties of the error sums depend essentially on Fibonacci numbers or on related numbers. Statement of results for arbitrary irrationals Given a real irrational number α and its regular continued fraction expansion α = a 0 ;a,a 2,... a 0 Z, a ν N for ν, the convergents p n /q n of α form a sequence of best approximating rationals in the following sense: for any rational p/q satisfying q < q n we have α p n < α p q. The convergents p n /q n of α are defined by finite continued fractions q n p n q n = a 0 ;a,...,a n.
2 The integers p n and q n can be computed recursively using the initial values p =, p 0 = a 0, q = 0, q 0 =, and the recurrence formulae p n = a n p n + p n 2, q n = a n q n + q n 2 with n. Then p n /q n is a rational number in lowest terms satisfying the inequalities q n + q n+ < q n α p n < q n+ n 0. 2 The error terms q n α p n alternate, i.e., sgnq n α p n = n. For basic facts on continued fractions and convergents see [4,, 8]. Throughout this paper let ρ = + 2 and ρ = ρ = 2. The Fibonacci numbers F n are defined recursively by F =, F 0 = 0, and F n = F n +F n 2 for n. In this paper we shall often apply Binet s formula, F n = ρ n n ρ n 0. 3 While preparing a talk on the subject of so-called leaping convergents relying on the papers [2, 6, 7], the author applied results for convergents to the number α = e = exp. He found two identities which are based on formulas given by Cohn []: q n e p n = 2 n=0 q n e p n = 2e n=0 0 expt 2 dt 2e + 3 = , 0 exp t 2 dt e = These identities are the starting points of more generalized questions concerning error series of real numbers α.. What is the maximum size M of the series q mα p m? One easily concludes that M + /2, because qm + /2 p m = + /2. 2. Is there a method to compute q mα p m explicitly for arbitrary real quadratic irrationals? The series q mα p m [0,M] measures the approximation properties of α on average. The smaller this series is, the better rational approximations α has. Nevertheless, α can be a Liouville number and q mα p m takes a value close to M. For example, let us consider the numbers α n = ;,...,,a }{{} n+,a n+2,... n 2
3 for even positive integers n, where the elements a n+,a n+2,... are defined recursively in the following way. Let p k /q k = ;,..., for k = 0,,...,n and set }{{} k a n+ := qn n, q n+ = a n+ q n + q n = qn n qn + q n, a n+2 := qn+, q n+2 = a n+2 q n+ + q n = qn+ q n+ n + q n, a n+3 := qn+2, q n+3 = a n+3 q n+2 + q n+ =... and so on. In the general case we define a k+ by a k+ = qk k for k = n,n +,... Then we have with and 2 that 0 < α n p k < < = k n. q k q k q k+ a k+ qk 2 q k+2 k Hence α n is a Liouville number. Now it follows from 9 in Theorem 2 below with 2k = n and n 0 = n/2 that q m α n p m > n q m α n p m = F n ρ α n + ρ ρ n ρ ρ n. We shall show by Theorem 2 that M = ρ, such that the error sums of the Liouville numbers α n tend to this maximum value ρ for increasing n. We first treat infinite sums of the form n q nα p n for arbitrary real irrational numbers α = ;a,a 2,..., when we may assume without loss of generality that < α < 2. Proposition. Let α = ;a,a 2,... be a real irrational number. Then for every integer m 0, the following two inequalities hold: Firstly, provided that either Secondly, provided that a 2m a 2m+ > q 2m α p 2m + q 2m+ α p 2m+ <, 4 ρ2m or a2m = a 2m+ = and a a 2 a 2m >. q 2m α p 2m + q 2m+ α p 2m+ = ρ 2m + F 2mρ α 0 m k, 6 a = a 2 =... = a 2k+ =. 7 In the second term on the right-hand side of 6, ρ α takes positive or negative values according to the parity of the smallest subscript r with a r > : For odd r we have ρ > α, otherwise, ρ < α. Next, we introduce a set M of irrational numbers, namely M := { α R \ Q k N : α = ;,...,,a 2k+,a 2k+2,... a 2k+ > }. Note that ρ > α for α M. Our main result for real irrational numbers is given by the subsequent theorem. 3
4 Theorem 2. Let < α < 2 be a real irrational number and let g,n 0 be integers with n 2g. Set n 0 := n/2. Then the following inequalities hold.. For α M we have n q ν α p ν ρ 2g ρ 2n0, 8 ν=2g with equality for α = ρ and every odd n For α M, say α = ;,...,,a 2k+,a 2k+2,... with a 2k+ >, we have n q ν α p ν F 2k F 2g ρ α + ρ 2g ρ 2n0, 9 ν=2g with equality for n = 2k. 3. We have with equality for α = ρ. q ν α p ν ρ 2g, 0 ν=2g In particular, for any positive ε and any even integer n satisfying it follows that n logρ/ε log ρ q ν α p ν ε. ν=n For ν we know by q 2 2 and by 2 that q ν α p ν < /q ν+ /q 2 /2, which implies q ν α p ν = q ν α, where β denotes the distance of a real number β to the nearest integer. For α = a 0 ;a,a 2,..., q 0 α p 0 = α a 0 = {α} is the fractional part of α. Therefore, we conclude from Theorem 2 that q ν α ρ {α}. ν= In particular, we have for α = ρ that q ν ρ =. The following theorem gives a simple bound for m q mα p m. ν= Theorem 3. Let α be a real irrational number. Then the series q mα p m x m converges absolutely at least for x < ρ, and 0 < q m α p m <. Both the upper bound and the lower bound 0 are best possible. The proof of this theorem is given in Section 3. We shall prove Proposition and Theorem 2 in Section 4, using essentially the properties of Fibonacci numbers. 4,
5 2 Statement of Results for Quadratic Irrationals In this section we state some results for error sums involving real quadratic irrational numbers α. Any quadratic irrational α has a periodic continued fraction expansion, α = a 0 ;a,...,a ω,t,...,t r,t,...,t r,... = a 0 ;a,...,a ω,t,...,t r, say. Then there is a linear three-term recurrence formula for z n = p rn+s and z n = q rn+s s = 0,,..., r, [3, Corollary ]. This recurrence formula has the form z n+2 = Gz n+ ± z n rn > ω. Here, G denotes a positive integer, which depends on α and r, but not on n and s. The number G can be computed explicitly from the numbers T,...,T r of the continued fraction expansion of α. This is the basic idea on which the following theorem relies. Theorem 4. Let α be a real quadratic irrational number. Then q m α p m x m Q[α]x. It is not necessary to explain further technical details of the proof. Thus, the generating function of the sequence q m α p m m 0 is a rational function with coefficients from Q[α]. Example. Let α = 7 = 2;,,, 4. Then q m 7 pm x m = x x x x In particular, for x = and x = we obtain q m 7 pm = q m 7 pm = Next, we consider the particular quadratic surds α = n n 2 2 = , = = n;n,n,n,... and compute the generating function of the error terms q m α p m.
6 Corollary 6. Let n and α = n n 2 /2. Then particularly q m α p m = α +, q m α p m x m = x + α, q m α p m = α, q m α p m m + = log +. α For the number ρ = + /2 we have p m = F m+2 and q m = F m+. Hence, using /ρ + = 3 /2 = + ρ, /ρ = ρ, and + /ρ = ρ, we get from Corollary 6 F m+ ρ F m+2 = + ρ, F m+ ρ F m+2 = ρ, Similarly, we obtain for the number α = 7 from : q m 7 pm m + = 3 Proof of Theorem 3 0 F m+ ρ F m+2 m + = log ρ. x x x x dx = Throughout this paper we shall use the abbreviations ε m α = ε m := q m α p m and εα = ε mα. The sequence ε m m 0 converges strictly decreasing to zero. Since ε 0 > 0 and ε m ε m+ < 0, we have ε 0 + ε < ε m < ε 0. Put a 0 = α, θ := ε 0 = α a 0, so that 0 < θ <. Moreover, ε 0 + ε = θ + a α a 0 a + = θ + a θ = θ + θ Choosing an integer k satisfying k + < θ < k, θ. we get θ + θ > θ k + + k k + = 0, which proves the lower bound for ε m. In order to estimate the radius of convergence for the series ε m x m we first prove the inequality q m F m+ m 0, 3 6 2
7 which follows inductively. We have q 0 = = F, q = a = F 2, and q m = a m q m + q m 2 q m + q m 2 F m + F m = F m+ m 2, provided that 3 is already proven for q m and q m 2. With Binet s formula 3 and 3 we conclude that q m+ ρ m+2 ρ m+2 ρ m m 0. 4 Hence, we have ε m x m = q m α p m x m < xm m x m 0. q m+ ρ It follows that the series ε m x m converges absolutely at least for x < ρ. In order to prove that the upper bound is best possible, we choose 0 < ε < and a positive integer n satisfying + ρ < ε. n ρ Put α n := 0;,n = 2 n + 2 With p 0 = 0 and q 0 = we have by, 2, and 4, q m α n p m α n q m α n p m m= + 4 n 2 > n. > n q m= m+ n nq m= m n n ρ m m= = + ρ > ε. n ρ For the lower bound 0 we construct quadratic irrational numbers β n := 0;n and complete the proof of the theorem by similar arguments. 4 Proofs of Proposition and Theorem 2 Lemma 7. Let α = a 0 ;a,a 2,... be a real irrational number with convergents p m /q m. Let n be a subscript satisfying a n >. Then q n+k F n+k+ + F k+ F n k 0. 7
8 In the case n k + 0 mod 2 we additionally assume that n 4, k 3. Then F n+k+ + F k+ F n > ρ n+k. 6 When α ρ Z, the inequality with m = n + k is stronger than 3. Proof. We prove by induction on k. Using and 3, we obtain for k = 0 and k =, respectively, q n = a n q n + q n 2 2F n + F n = F n + F n + F n = F n+ + F F n, q n+ = a n+ q n + q n q n + q n F n+ + F n + F n = F n+2 + F 2 F n. Now, let k 0 and assume that is already proven for q n+k and q n+k+. Then q n+k+2 q n+k+ + q n+k F n+k+2 + F k+2 F n + F n+k+ + F k+ F n = F n+k+3 + F k+3 F n. This corresponds to with k replaced by k + 2. In order to prove 6 we express the Fibonacci numbers F m by Binet s formula 3. Hence, we have F n+k+ + F k+ F n = ρ ρ n+k + Case : Let n k mod 2. In particular, we have k. Then + n+k ρ + n+ + k. 2n+2k+ ρ 2n ρ 2k+ F n+k+ + F k+ F n = ρ ρ n+k + + > ρ ρ n+k + = ρ n+k. ρ 3 ρ + 2n+2k+ ρ 2n ρ2k+ Case 2: Let n mod 2, k 0 mod 2. In particular, we have n and k 0. First, we assume that k 2. Then, by similar computations as in Case, we obtain F n+k+ + F k+ F n = ρ ρ n+k + ρ + 2n+2k+ ρ + 2n ρ 2k+ > ρ n+k. 8
9 For k = 0 and some odd n we get F n+k+ + F k+ F n > ρ ρ n + ρ + 3 ρ > ρ n. Case 3: Let n 0 mod 2, k mod 2. By the assumption of the lemma, we have n 4 and k 3. Then F n+k+ + F k+ F n = ρ ρ n+k + ρ + 2n+2k+ ρ 2n ρ 2k+ > ρ n+k. Case 4: Let n k 0 mod 2. In particular, we have n 2. Then F n+k+ + F k+ F n = ρ ρ n+k + + ρ + 2n+2k+ ρ + 2n ρ 2k+ > ρ n+k. This completes the proof of Lemma 7. Lemma 8. Let m be an integer. Then ρ 2m F 2m+3 + F 2m+3 + F 2m+ ρ 2m F 2m+2 < m, 7 < m 0. 8 Proof. For m we estimate Binet s formula 3 for F 2m+2 using 4m + 2 6: Similarly, we prove 8 by F 2m+2 = ρ2m ρ 2 ρ 4m+2 F 2n+ = ρ 2n+ + ρ 2n+ ρ2m ρ 2 ρ 6 > ρ 2m. > ρ2n+ n 0. Hence, ρ 2m + F 2m+3 F 2m+3 + F 2m+ < ρ 2m ρ 2m+3 + ρ 2m+3 + ρ 2m+ <. The lemma is proven. 9
10 Proof of Proposition : Firstly, we assume the hypotheses in and prove 4. As in the proof of Theorem 3, put a 0 = α, θ := α a 0, a = /θ with 0 < θ < and ε 0 = θ <. Then ε 0 + ε = θ + a 0 a + a α = θ + a θ = θ + θ. θ We have 0 < θ < /2, since otherwise for θ > /2, we obtain a = /θ =. With a 0 = a = the conditions in are unrealizable both. Hence, there is an integer k 2 with k + < θ < k. Obviously, it follows that [/θ] = k, and therefore θ + θ Altogether, we have proven that θ < k + k k + = 2k + kk + 6 k 2. ε 0 + ε 6 <. 9 Therefore we already know that the inequality 4 holds for m = 0. Thus, we assume m in the sequel. Noting that ε 2m > 0 and ε 2m+ < 0 hold for every integer m 0, we may rewrite 4 as follows: 0 < p 2m+ p 2m αq 2m+ q 2m < ρ 2m m We distinguish three cases according to the conditions in. Case : Let a 2m+ 2. Additionally, we apply the trivial inequality a 2m+2. Then, using 2, 3, and 8, ε 2m + ε 2m+ < < q 2m+ + q 2m+2 2q 2m + q 2m + q 2m+ + q 2m + 2q 2m + q 2m 3q 2m + q 2m + 2F 2m+ + F 2m 3F 2m+ + F 2m m 0. ρ 2m Case 2: Let a 2m+ = and a 2m 2. Here, we have p 2m+ p 2m = p 2m +p 2m p 2m = p 2m, and similarly q 2m+ q 2m = q 2m. 0
11 Therefore, by 20, it suffices to show that 0 < p 2m αq 2m < ρ 2m for m. This follows with 2, 3, and 7 from 0 < p 2m αq 2m < = q 2m 2q 2m + q 2m 2 2F 2m + F 2m < m. F 2m+2 ρ 2m Case 3: Let a 2m = a 2m+ = a a 2 a 2m >. Since a 2m+ =, we again have as in Case 2: 0 < ε 2m + ε 2m+ = p 2m αq 2m < q 2m. 2 By the hypothesis of Case 3, there is an integer n satisfying n 2m and a n 2. We define an integer k by setting 2m = n + k. Then we obtain using and 6, q 2m = q n+k F n+k+ + F k+ F n > ρ n+k = ρ 2m. From the identity n+k = 2m it follows that the particular condition n k + 0 mod 2 in Lemma 7 does not occur. Thus, by 2, we conclude that the desired inequality 4. In order to prove 6, we now assume the hypothesis 7, i.e., a a 2 a 2k+ = and 0 m k. From 2m 2k and a 0 = a =... = a 2k = it is clear that p 2m = F 2m+ and q 2m = F 2m. Since a 2k+ = and 0 m k, we have q 2m α p 2m + q 2m+ α p 2m+ = p 2m αq 2m = F 2m+ αf 2m = F 2m+ ρf 2m + ρ αf 2m. From Binet s formula 3 we conclude that F 2m+ ρf 2m = ρ 2m+ + ρ 2m which finally proves the desired identity 6 in Proposition. = ρ 2m, Lemma 9. Let k be an integer, and let α := ;,...,,a 2k+,a 2k+2... be a real irrational number with partial quotients a 2k+ > and a µ for µ 2k + 2. Then we have the inequalities F 2k ρ α < ρ 2k ε 2k ε 2k+ 22 for a 2k+ 3, and for a 2k+ = 2. F 2k ρ α < ρ 2k + ρ 2k+2 ε 2k ε 2k+ ε 2k+2 ε 2k+3 23
12 One may conjecture that 22 also holds for a 2k+ = 2. Example 0. Let α = ;,,,, 2, = 2ρ + 8/3ρ + = 27 /8. With k = 2 and a = 2, we have on the one side on the other side, Proof of Lemma 9: ρ α = F 2 ρ α = ρ ε 4 ε 4 = ρ = , = Case : Let n := a 2k+ 3. Then there is a real number η satisfying 0 < η < and r 2k+ := a 2k+ ;a 2k+2,... = n + η =: + β. It is clear that n < β < n. From the theory of regular continued fractions see [, formula 6] it follows that Similarly, we have α = ;,...,,a 2k+,a 2k+2... = F 2k+2r 2k+ + F 2k+ F 2k+ r 2k+ + F 2k = F 2k+2 + β + F 2k+ F 2k+ + β + F 2k = βf 2k+2 + F 2k+3 βf 2k+ + F 2k+2. ρ = F 2k+2ρ + F 2k+ F 2k+ ρ + F 2k, hence, by some straightforward computations, ρ α = + β ρ ρf 2k+ + F 2k βf 2k+ + F 2k+2 < n ρf 2k+ + F 2k βf 2k+ + F 2k Here, we have applied the identities F 2 2k+2 F 2k+ F 2k+3 =, F 2 2k+ F 2k F 2k+2 =, and the inequality + β ρ < + n ρ < n. Since β > n and, by 2, ε 2k < ε 2k+ < = q 2k+ = q 2k+2 nf 2k+ + F 2k, a 2k+2 q 2k+ + F 2k+ n + F 2k+ + F 2k. 2
13 22 follows from nf 2k < ρf2k+ + F 2k n F2k+ + F 2k+2 ρ. 2 2k nf 2k+ + F 2k n + F 2k+ + F 2k In order to prove 2, we need three inequalities for Fibonacci numbers, which rely on Binet s formula. Let δ := /ρ 4. Then, for all integers s, we have ρ 2s+ < F 2s+ < + δρ2s+ and δρ 2s F 2s. 26 We start to prove 2 by observing that + δ ρ 2 ρ 2 + δ + 3ρ + δ + 4ρ + δ Here, the left-hand side can be diminished by noting that ρ > n n ρ + δρ 2. <. By n 3 we get + δn ρ ρ 2 + δ n ρ + δρ 2 + nρ + δ + n + ρ + δ <, or, equivalently, + δnρ 2k / ρ ρ 2k+ / + δρ 2k / n ρ 2k+ / + δρ 2k+2 / < ρ 2k nρ 2k+ / + δρ 2k / n + ρ 2k+ / + δρ 2k /. From this inequality, 2 follows easily by applications of 26 with s {2k, 2k, 2k +, 2k + 2}. Case 2: Let a 2k+ = 2. Case 2.: Let k 2. We first consider the function fβ := ρ + β βf 2k+ + F 2k+2 β 2. The function f increases monotonically with β, therefore we have fβ f2 = 3 ρ 2F 2k+ + F 2k+2, 3
14 and consequently we conclude from the identity stated in 24 that ρ α Hence, 23 follows from the inequality 3 ρ ρf 2k+ + F 2k 2F 2k+ + F 2k+2. 3 ρf 2k ρf 2k+ + F 2k 2F 2k+ + F 2k < q 2k+ q 2k+2 q 2k+3 q 2k+4 ρ k ρ2k+2 On the left-hand side we now replace the q s by certain smaller terms in Fibonacci numbers. For q 2k+2, q 2k+3, and q 2k+4, we find lower bounds by in Lemma 7: q 2k+ = a 2k+ q 2k + q 2k = 2F 2k+ + F 2k, q 2k+2 F 2k+3 + F 2 F 2k+ = F 2k+3 + F 2k+, q 2k+3 F 2k+4 + F 3 F 2k+ = F 2k+4 + 2F 2k+, q 2k+4 F 2k+ + F 4 F 2k+ = F 2k+ + 3F 2k+. Substituting these expressions into 27, we then conclude that 23 from 3 ρf 2k ρf 2k+ + F 2k 2F 2k+ + F 2k+2 + 2F 2k+ + F 2k + + F 2k+3 + F 2k+ + < F 2k+4 + 2F 2k+ F 2k+ + 3F 2k+ ρ 2k ρ 2 We apply the inequalities in 26 for all s 2 when δ is replaced by δ := /ρ 8. Using this redefined number δ, we have 3 ρ + δ ρ ρ 2 + δ 2ρ + δρ 2 + 2ρ + δ + ρ 3 + ρ + δρ 4 + 2ρ + ρ + 3ρ ρ 2 or, equivalently, + + <, 3 ρ + δρ 2k / ρ ρ 2k+ / + δρ 2k / 2ρ 2k+ / + δρ 2k+2 / 2ρ 2k+ / + δρ 2k / + ρ 2k+3 / + ρ 2k+ / δρ 2k+4 / + 2ρ 2k+ / + ρ 2k+ / + 3ρ 2k+ / < ρ 2k + ρ 2. From this inequality, 28 follows by applications of 26 with s {2k, 2k, 2k +, 2k + 2, 2k + 3, 2k + 4, 2k + } for k 2 which implies s 3. 4
15 Case 2.2: Let k =. From the hypotheses we have a 2k+ = a 3 = 2. To prove 23 it suffices to check the inequality in 28 for k =. We have F 2k = F =, F 2k = F 2 =, F 2k+ = F 3 = 2, F 2k+2 = F 4 = 3, F 2k+3 = F =, F 2k+4 = F 6 = 8, F 2k+ = F 7 = 3. Then 28 is satisfied because This completes the proof of Lemma 9. 3 ρ ρ ρ ρ <. 2 Proof of Theorem 2: In the sequel we shall use the identity F 2g + F 2g+2 + F 2g F 2n = F 2n+ F 2g n g 0, 29 which can be proven by induction by applying the recurrence formula of Fibonacci numbers. Note that F =. Next, we prove 8. Case : Let α M, α = ;a,a 2,... = ;,...,,a 2k,a 2k+,... with a 2k > for some subscript k. This implies α > ρ. Case.: Let 0 n < 2k. Then n 0 = n/2 k. In order to treat ε 2m + ε 2m+, we apply 6 with k replaced by k in Proposition. For α the condition 7 with k replaced by k is fulfilled. Note that the term F 2m ρ α in 6 is negative. Therefore, we have Sn := < n ε ν ν=2g n 0 n/2 ε2m + ε 2m+ ρ = ρ2 2g ρ 2n0 2m ρ 2 = ρ 2g ρ 2n 0. Case.2: Let n 2k. Case.2.: Let k g. Here, we get Sn k ε2m + ε 2m+ + ε 2k + ε 2k+ + n 0 m=k+ ε2m + ε 2m+. 30
16 When n 0 k, the right-hand sum is empty and becomes zero. The same holds for the left-hand sum for k = g. a We estimate the left-hand sum as in the preceding case applying 6, ρ α < 0, and the hypothesis a a 2 a 2k = : k ε2m + ε 2m+ < k ρ 2m. b Since a 2k >, the left-hand condition in allows us to apply 4 for m = k: ε 2k + ε 2k+ < ρ 2k. c We estimate the right-hand sum in 30 again by 4. To check the conditions in, we use a a 2 a 2m >, which holds by m k + and a 2k >. Hence, n 0 m=k+ ε2m + ε 2m+ < n 0 m=k+ ρ 2m. Altogether, we find with 30 that Sn < n 0 ρ 2m = ρ 2g ρ 2n 0. 3 Case.2.2: Let k < g. In order to estimate ε 2m + ε 2m+ for g m n 0, we use k + g and the arguments from c in Case.2.. Again, we obtain the inequality 3. The results from Case. and Case.2 prove 8 for a 2k > with k. It remains to investigate the following case. Case 2: Let α M, α = ;a,a 2,... with a >. For m = 0 provided that g = 0 the first condition in is fulfilled by a 2m a 2m+ = a 0 a = a >. For m we know that a a 2 a 2m > always satisfies one part of the second condition. Therefore, we apply the inequality from 4: Sn < n 0 ρ 2m = ρ 2g ρ 2n 0. Next, we prove 9. Let α M, α = ;a,a 2,... = ;,...,,a 2k+,a 2k+2,... with a 2k+ > for some subscript k. This implies ρ > α. Case 3.: Let 0 n < 2k. Then n 0 = n/2 k. In order to treat ε 2m + ε 2m+, we apply 6 with k replaced by k in Proposition. For α the condition 7 with k replaced by k is fulfilled. Note 6
17 that the term F 2m ρ α in 6 is positive. Therefore we have, using 29, Sn n 0 ρ + ρ αf 2m 2m = ρ 2g ρ 2n 0 + ρ α Here we have used that 2n 0 + 2k. n 0 F 2m = ρ 2g ρ 2n 0 + ρ αf 2n0 + F 2g ρ 2g ρ 2n 0 + F 2k F 2g ρ α. Case 3.2: Let n 2k. Our arguments are similar to the proof given in Case.2, using a a 2 a 2k = and a 2k+ >. Case 3.2.: Let k g. Applying 29 again, we obtain Sn < = k k n 0 ε2m + ε 2m+ + ε 2k + ε 2k+ + ρ + ρ αf 2m 2m + ρ + 2k ρ + ρ α k 2m F 2m n0 m=k+ = ρ 2g ρ 2n 0 + F 2k F 2g ρ α. n 0 m=k+ ρ 2m ε2m + ε 2m+ Case 3.2.2: Let k < g. From g k + we get Sn n 0 ρ 2m = ρ 2g ρ 2n 0. The results of Case 3. and Case 3.2 complete the proof of 9. For the inequality 0 we distinguish whether α belongs to M or not. Case 4.: Let α M. Then 0 is a consequence of the inequality in 8: ν=2g ε ν lim ρ 2g ρ 2n 0 = ρ 2g. n 0 Case 4.2: Let α M. There is a subscript k satisfying α = ;,...,,a 2k+,a 2k+2,... and a 2k+ >. To 7
18 simplify arguments, we introduce the function χk,g defined by χk,g = if k > g, and χk,g = 0 if k g. We have S := ε ν = ν=2g 2k ν=2g ε ν + ν=max{2k,2g} ε ν = χk,g F 2k F 2g ρ α + ρ 2g ρ 2k+ + F 2k F 2g ρ α + ρ 2g ρ 2k+ + F 2k ρ α + ρ 2g ρ 2k+ + m=max{k,g} ε2m + ε 2m+ m=k ε2m + ε 2m+ ε2m + ε 2m+, 32 m=k where we have used 9 with n = 2k and n 0 = n/2 = k. Case 4.2.: Let a 2k+ 3. The conditions in Lemma 9 for 22 are satisfied. Moreover, the terms ε 2m + ε 2m+ of the series in 32 for m k + can be estimated using 4, since a a 2 a 2k+ >. Therefore, we obtain S < ρ 2k ρ 2k + ρ 2g + m=k+ ε2m + ε 2m+ < ρ 2k ρ 2k + ρ 2g + ρ 2k+ = ρ 2g. Case 4.2.2: Let a 2k+ = 2. Now the conditions in Lemma 9 for 23 are satisfied. Thus, from 32 and 4 we have S < ρ + 2k ρ 2k+2 ρ + 2k ρ 2g + ε2m + ε 2m+ < ρ 2k + ρ 2k+2 ρ 2k + ρ 2g + m=k+2 m=k+2 ρ 2m = ρ 2k + ρ 2k+2 ρ 2k + ρ 2g + ρ 2k+3 = ρ 2g. This completes the proof of Theorem 2. Concluding remarks In this section we state some additional identities for error sums εα. For this purpose let α = a 0 ;a,a 2,... be the continued fraction expansion of a real irrational number. Then the numbers α n are defined by α = a 0 ;a,a 2,...,a n,α n n = 0,, 2,... 8
19 Proposition. For every real irrational number α we have εα = n α n= k k= and εα = n=0 n an 0 an 0 a0 0 α. Next, let α = a 0 ;a,a 2,... with a 0 be a real number with convergents p m /q m m 0, where p =, q = 0. Then the convergents p m /q m of the number /α = 0;a 0,a,a 2,... satisfy the equations q m = p m and p m = q m for m 0, since we know that p =, p 0 = 0 and q = 0, q 0 =. Therefore we obtain a relation between εα and ε/α: This proves ε/α = q m α p m = = q α p + α p m α q m q m α p m Proposition 2. For every real number α > we have ε/α = + εα α. = α q m α p m = α + εα. 6 Acknowledgment The author would like to thank Professor Iekata Shiokawa for helpful comments and useful hints in organizing the paper. I am very much obliged to the anonymous referee, who suggested the results stated in Section. Moreover, the presentation of the paper was improved by following the remarks of the referee. References [] H. Cohn, A short proof of the simple continued fraction expansion of e, Amer. Math. Monthly , [2] C. Elsner, On arithmetic properties of the convergents of Euler s number, Colloq. Math ,
20 [3] C. Elsner and T. Komatsu, On the residue classes of integer sequences satisfying a linear three term recurrence formula, Linear Algebra Appl , [4] G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, Clarendon Press, Oxford, 984. [] A. Khintchine, Kettenbrüche, Teubner, Leipzig, 949. [6] T. Komatsu, Arithmetical properties of the leaping convergents of e /s, Tokyo J. Math , 2. [7] T. Komatsu, Some combinatorial properties of the leaping convergents, Integers , A2. Available electronically at [8] O. Perron, Die Lehre von den Kettenbrüchen, Chelsea Publishing Company, New York, Mathematics Subject Classification: Primary J04; Secondary J70, B39. Keywords: continued fractions, convergents, approximation of real numbers, error terms. Concerned with sequences A00004, A009, A007676, A007677, A04008, and A Received July 2 200; revised version received January Published in Journal of Integer Sequences, January Return to Journal of Integer Sequences home page. 20
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 informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 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 informationNewton s formula and continued fraction expansion of d
Newton s formula and continued fraction expansion of d ANDREJ DUJELLA Abstract It is known that if the period s(d) of the continued fraction expansion of d satisfies s(d), then all Newton s approximants
More informationNotes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
More informationCONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS
CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS JEREMY BOOHER Continued fractions usually get short-changed at PROMYS, but they are interesting in their own right and useful in other areas
More informationPrime Numbers and Irrational Numbers
Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.
More informationON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS
ON THE ELEMENTS OF THE CONTINUED FRACTIONS OF QUADRATIC IRRATIONALS YAN LI AND LIANRONG MA Abstract In this paper, we study the elements of the continued fractions of Q and ( 1 + 4Q + 1)/2 (Q N) We prove
More informationFibonacci Sequence and Continued Fraction Expansions in Real Quadratic Number Fields
Malaysian Journal of Mathematical Sciences (): 97-8 (07) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal Fibonacci Sequence and Continued Fraction Expansions
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More informationUnisequences and nearest integer continued fraction midpoint criteria for Pell s equation
Unisequences and nearest integer continued fraction midpoint criteria for Pell s equation Keith R. Matthews Department of Mathematics University of Queensland Brisbane Australia 4072 and Centre for Mathematics
More informationCONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 15, 2014
CONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 5, 204. Basic definitions and facts A continued fraction is given by two sequences of numbers {b n } n 0 and {a n } n. One
More informationON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS
ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS by A. Lasjaunias Abstract.In 1986, Mills and Robbins observed
More information3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
More informationQUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias
QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation
More informationA Note on Jacobi Symbols and Continued Fractions
Reprinted from: The American Mathematical Monthly Volume 06, Number, pp 52 56 January, 999 A Note on Jacobi Symbols and Continued Fractions A. J. van der Poorten and P. G. Walsh. INTRODUCTION. It is well
More informationOn the classification of irrational numbers
arxiv:506.0044v [math.nt] 5 Nov 07 On the classification of irrational numbers José de Jesús Hernández Serda May 05 Abstract In this note we make a comparison between the arithmetic properties of irrational
More informationPOLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN
More informationJumping 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 informationarxiv: v2 [math.nt] 29 Jul 2017
Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation arxiv:1509.07898v2 [math.nt] 29 Jul 2017 Prapanpong Pongsriiam Department of Mathematics, Faculty of Science Silpakorn University
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More informationOn a quantitative refinement of the Lagrange spectrum
ACTA ARITHMETICA 102.1 (2002) On a quantitative refinement of the Lagrange spectrum by Edward B. Burger Amanda Folsom Alexander Pekker Rungporn Roengpitya and Julia Snyder (Williamstown MA) 1. Introduction.
More informationSummation of certain infinite Fibonacci related series
arxiv:52.09033v (30 Dec 205) Summation of certain infinite Fibonacci related series Bakir Farhi Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes Université de Bejaia 06000 Bejaia Algeria
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationAlgorithms: Background
Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.
More informationInteger Sequences Avoiding Prime Pairwise Sums
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 11 (008), Article 08.5.6 Integer Sequences Avoiding Prime Pairwise Sums Yong-Gao Chen 1 Department of Mathematics Nanjing Normal University Nanjing 10097
More informationA METRIC RESULT CONCERNING THE APPROXIMATION OF REAL NUMBERS BY CONTINUED FRACTIONS 1. INTRODUCTION AND STATEMENT OF RESULTS
A METRIC RESULT CONCERNING THE APPROXIMATION OF REAL NUMBERS BY CONTINUED FRACTIONS C. Eisner Institut fur Mathematik, Technische Universitat Hannover, Welfengarten 1, Hannover, Germany {Submitted October
More informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationSOLUTIONS FOR THE THIRD PROBLEM SET
SOLUTIONS FOR THE THIRD PROBLEM SET. On the handout about continued fractions, one finds a definition of the function f n (x) for n 0 associated to a sequence a 0,a,... We have discussed the functions
More informationSYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS
SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS J MC LAUGHLIN Abstract Let fx Z[x] Set f 0x = x and for n 1 define f nx = ff n 1x We describe several infinite
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
More informationFibonacci numbers. Chapter The Fibonacci sequence. The Fibonacci numbers F n are defined recursively by
Chapter Fibonacci numbers The Fibonacci sequence The Fibonacci numbers F n are defined recursively by F n+ = F n + F n, F 0 = 0, F = The first few Fibonacci numbers are n 0 5 6 7 8 9 0 F n 0 5 8 55 89
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationExtending Theorems of Serret and Pavone
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017), Article 17.10.5 Extending Theorems of Serret and Pavone Keith R. Matthews School of Mathematics and Physics University of Queensland Brisbane
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationCounting on Continued Fractions
appeared in: Mathematics Magazine 73(2000), pp. 98-04. Copyright the Mathematical Association of America 999. All rights reserved. Counting on Continued Fractions Arthur T. Benjamin Francis Edward Su Harvey
More informationPOLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv: v1 [math.nt] 27 Dec 2018
POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv:1812.10828v1 [math.nt] 27 Dec 2018 J. MC LAUGHLIN Abstract. Finding polynomial solutions to Pell s equation
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
More informationNotes on Equidistribution
otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for
More informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationFinite Fields and Their Applications
Finite Fields and Their Applications 18 (2012) 26 34 Contents lists available at ScienceDirect Finite Fields and Their Applications www.elsevier.com/locate/ffa On the continued fraction expansion of the
More informationAn Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2
1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics
More informationNon-classical Study on the Simultaneous Rational Approximation ABSTRACT
Malaysian Journal of Mathematical Sciences 9(2): 209-225 (205) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal Non-classical Study on the Simultaneous Rational
More informationON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS
ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS ANDREJ DUJELLA AND ZRINKA FRANUŠIĆ Abstract. It this paper, we study the problem of determining the elements in the rings of integers of quadratic
More informationJonathan Sondow 209 West 97th Street Apt 6F New York, NY USA
Which Partial Sums of the Taylor Series for e Are Convergents to e? (and a Link to the Primes 2, 5, 13, 37, 463,...) arxiv:0709.0671v1 [math.nt] 5 Sep 2007 Jonathan Sondow 209 West 97th Street Apt 6F New
More informationON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL. N. Saradha
Indian J Pure Appl Math, 48(3): 311-31, September 017 c Indian National Science Academy DOI: 101007/s136-017-09-4 ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL N Saradha School of Mathematics,
More informationON HOFSTADTER S MARRIED FUNCTIONS
THOMAS STOLL Abstract. In this note we show that Hofstadter s married functions generated by the intertwined system of recurrences a(0) = 1, b(0) = 0, b(n) = n a(b(n 1)), a(n) = n b(a(n 1)) has the solutions
More informationLimiting behaviour of large Frobenius numbers. V.I. Arnold
Limiting behaviour of large Frobenius numbers by J. Bourgain and Ya. G. Sinai 2 Dedicated to V.I. Arnold on the occasion of his 70 th birthday School of Mathematics, Institute for Advanced Study, Princeton,
More informationSECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C
p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer
More informationCALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p
CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p DOMINIC VELLA AND ALFRED VELLA. Introduction The cycles that occur in the Fibonacci sequence {F n } n=0 when it is reduced
More informationApproximation exponents for algebraic functions in positive characteristic
ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions
More informationA Recursive Relation for Weighted Motzkin Sequences
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059
More informationIntroduction to Number Theory
INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,
More informationThe Mysterious World of Normal Numbers
University of Alberta May 3rd, 2012 1 2 3 4 5 6 7 Given an integer q 2, a q-normal number is an irrational number whose q-ary expansion is such that any preassigned sequence, of length k 1, of base q digits
More informationDIFFERENTIABILITY 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 informationComplex Continued Fraction Algorithms
Complex Continued Fraction Algorithms A thesis presented in partial fulfilment of the requirements for the degree of Master of Mathematics Author: Bastiaan Cijsouw (s3022706) Supervisor: Dr W Bosma Second
More informationResearch Article On Rational Approximations to Euler s Constant γ and to γ log a/b
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 9, Article ID 66489, pages doi:.55/9/66489 Research Article On Rational Approximations to Euler s Constant
More informationGraphs with few total dominating sets
Graphs with few total dominating sets Marcin Krzywkowski marcin.krzywkowski@gmail.com Stephan Wagner swagner@sun.ac.za Abstract We give a lower bound for the number of total dominating sets of a graph
More informationDISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k
DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k RALF BUNDSCHUH AND PETER BUNDSCHUH Dedicated to Peter Shiue on the occasion of his 70th birthday Abstract. Let F 0 = 0,F 1 = 1, and F n = F n 1 +F
More informationHomework #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 informationDIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS
DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be
More information198 VOLUME 46/47, NUMBER 3
LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson
More informationLINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is
LINEAR RECURSIVE SEQUENCES BJORN POONEN 1. Sequences A sequence is an infinite list of numbers, like 1) 1, 2, 4, 8, 16, 32,.... The numbers in the sequence are called its terms. The general form of a sequence
More informationNumerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationInfinite Continued Fractions
Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with
More informationDR.RUPNATHJI( DR.RUPAK NATH )
Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology
More information1 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 informationFIFTH ROOTS OF FIBONACCI FRACTIONS. Christopher P. French Grinnell College, Grinnell, IA (Submitted June 2004-Final Revision September 2004)
Christopher P. French Grinnell College, Grinnell, IA 0112 (Submitted June 2004-Final Revision September 2004) ABSTRACT We prove that when n is odd, the continued fraction expansion of Fn+ begins with a
More informationOn the possible quantities of Fibonacci numbers that occur in some type of intervals
On the possible quantities of Fibonacci numbers that occur in some type of intervals arxiv:1508.02625v1 [math.nt] 11 Aug 2015 Bakir FARHI Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationOn repdigits as product of consecutive Lucas numbers
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 5 102 DOI: 10.7546/nntdm.2018.24.3.5-102 On repdigits as product of consecutive Lucas numbers
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationPM functions, their characteristic intervals and iterative roots
ANNALES POLONICI MATHEMATICI LXV.2(1997) PM functions, their characteristic intervals and iterative roots by Weinian Zhang (Chengdu) Abstract. The concept of characteristic interval for piecewise monotone
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationNUMBERS WITH INTEGER COMPLEXITY CLOSE TO THE LOWER BOUND
#A1 INTEGERS 12A (2012): John Selfridge Memorial Issue NUMBERS WITH INTEGER COMPLEXITY CLOSE TO THE LOWER BOUND Harry Altman Department of Mathematics, University of Michigan, Ann Arbor, Michigan haltman@umich.edu
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics ASYMPTOTIC EXPANSION OF THE EQUIPOISE CURVE OF A POLYNOMIAL INEQUALITY ROGER B. EGGLETON AND WILLIAM P. GALVIN Department of Mathematics Illinois
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationON DENJOY S CANONICAL CONTINUED FRACTION EXPANSION
Iosifescu, M. Kraaikamp, C. Osaka J. Math. 40 (2003, 235 244 ON DENJOY S CANONICAL CONTINUED FRACTION EXPANSION M. IOSIFESCU C. KRAAIKAMP (Received September 0, 200. Introduction Let be a real non-integer
More informationUpper and lower bounds on Mathieu characteristic numbers of integer orders
Upper and lower bounds on Mathieu characteristic numbers of integer orders Armando G. M. Neves aneves@mat.ufmg.br UFMG - Departamento de Matemática Av. Antônio Carlos, 6627 - Caixa Postal 702 3023-970
More informationHURWITZIAN CONTINUED FRACTIONS CONTAINING A REPEATED CONSTANT AND AN ARITHMETIC PROGRESSION
HURWITZIAN CONTINUED FRACTIONS CONTAINING A REPEATED CONSTANT AND AN ARITHMETIC PROGRESSION Abstract We prove an explicit formula for infinitely many convergents of Hurwitzian continued fractions that
More informationbe a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n
Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence
More informationMath 283 Spring 2013 Presentation Problems 4 Solutions
Math 83 Spring 013 Presentation Problems 4 Solutions 1. Prove that for all n, n (1 1k ) k n + 1 n. Note that n means (1 1 ) 3 4 + 1 (). n 1 Now, assume that (1 1k ) n n. Consider k n (1 1k ) (1 1n ) n
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
More informationON DIVISIBILITY OF SOME POWER SUMS. Tamás Lengyel Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (007, #A4 ON DIVISIBILITY OF SOME POWER SUMS Tamás Lengyel Department of Mathematics, Occidental College, 600 Campus Road, Los Angeles, USA
More informationNonhomogeneous linear differential polynomials generated by solutions of complex differential equations in the unit disc
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 20, Number 1, June 2016 Available online at http://acutm.math.ut.ee Nonhomogeneous linear differential polynomials generated by solutions
More informationThe theory of continued fractions and the approximations of irrational numbers
교육학석사학위청구논문 연분수이론과무리수의근사 The theory of continued fractions and the approximations of irrational numbers 202 년 2 월 인하대학교교육대학원 수학교육전공 정미라 교육학석사학위청구논문 연분수이론과무리수의근사 The theory of continued fractions and the
More informationWeek 9-10: Recurrence Relations and Generating Functions
Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationON MONOCHROMATIC ASCENDING WAVES. Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346
INTEGERS: Electronic Journal of Combinatorial Number Theory 7(), #A3 ON MONOCHROMATIC ASCENDING WAVES Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 1336
More informationSummation of Certain Infinite Lucas-Related Series
J. Integer Sequences 22 (209) Article 9..6. Summation of Certain Infinite Lucas-Related Series arxiv:90.04336v [math.nt] Jan 209 Bakir Farhi Laboratoire de Mathématiques appliquées Faculté des Sciences
More informationGoldbach and twin prime conjectures implied by strong Goldbach number sequence
Goldbach and twin prime conjectures implied by strong Goldbach number sequence Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this note, we present a new and direct approach to prove the Goldbach
More informationOn Some Combinations of Non-Consecutive Terms of a Recurrence Sequence
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.3.5 On Some Combinations of Non-Consecutive Terms of a Recurrence Sequence Eva Trojovská Department of Mathematics Faculty of Science
More informationMATH 301 INTRO TO ANALYSIS FALL 2016
MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing
More informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationMathematics 228(Q1), Assignment 2 Solutions
Mathematics 228(Q1), Assignment 2 Solutions Exercise 1.(10 marks) A natural number n > 1 is said to be square free if d N with d 2 n implies d = 1. Show that n is square free if and only if n = p 1 p k
More informationSOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 47 2017), 161-168 SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ωq) AND νq) S.N. Fathima and Utpal Pore Received October 1, 2017) Abstract.
More informationON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS
Hacettepe Journal of Mathematics and Statistics Volume 8() (009), 65 75 ON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS Dursun Tascı Received 09:0 :009 : Accepted 04 :05 :009 Abstract In this paper we
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More information