Diophantine approximation of fractional parts of powers of real numbers
|
|
- Lee Murphy
- 5 years ago
- Views:
Transcription
1 Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Créteil Huazhong University of Science and Technology, Wuhan July 10th 2017 Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 1/20
2 Outline 1 Asymptotic approximation of {x n } 2 Bad approximation of {x n } 3 Uniform approximation of {x n } 4 Proofs on the uniform approximation of {x n } Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 2/20
3 Asymptotic approximation of {x n } Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 3/20
4 I. (Equi)-Distribution of {x n } A sequence (u n ) in [0, 1] is equidistributed if for all interval [a, b] [0, 1], Card{1 n N : u n [a, b]} lim = b a. N N Denote {x} the fractional part of x, and x := inf{ x n : n Z}. Koksma 1935 : For almost all real x > 1, the sequence {x n } is equidistributed. Pollington 1980 : For all δ > 0, the set { } x > 1 : {x n } [0, δ] for all n 1 has Hausdorff dimension 1. Thus, the set of numbers x > 1 such that {x n } is not dense (so not equidistributed), has Hausdorff dimension 1. Bugeaud Moshchevitin 2012, Kahane 2014 : Let (b n ) be an arbitrary sequence in [0, 1], and δ > 0. The set { } x > 1 : x n b n δ for all large n has Hausdorff dimension 1. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 4/20
5 II. Dirichlet s theorems Dirichlet Theorem, 1842 (uniform approximation) : Let θ, Q be real numbers with Q 1. There exists an integer n with 1 n Q, such that nθ < Q 1. In other words, { θ : Q 1, nθ < Q 1 has a solution 1 n Q } = R. Corollary (asymptotic approximation) : For any real θ, there exist infinitely many integers n such that nθ < n 1. In other words, { θ : nθ < n 1 for infinitely many n } = R. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 5/20
6 III. Asymptotic approximation of {x n } Koksma 1945 : Let (ɛ n ) be a real sequence with 0 ɛ n 1/2 for all n 1. If ɛ n <, then for almost all x > 1, x n ɛ n only for finitely many n. If (ɛ n ) is non-increasing and ɛ n =, then for almost all x > 1 x n ɛ n for infinitely many n. Bugeaud Dubickas 2008 : For all real number v > 1, and b > 1, dim H { 1 < x < v : b n for infinitely many n } = log v log(bv). Moreover, dim H { x > 1 : x n b n for infinitely many n } = 1. Proof : Mass transference principle (Beresnevich Velani 2006) : Leb(lim sup B(x n, r n )) = 1 H s (lim sup B(x n, r 1/s n )) =. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 6/20
7 IV. Asymptotic approximation our result Let b > 1, and y = (y n ) n 1 be an arbitrary sequence in [0, 1]. Define E(b, y) := {x > 1 : x n y n < b n for infinitely many n}. Theorem (Bugeaud L Rams, in preparation) For each v E(b, y), we have Hence dim H E(b, y) = 1. lim dim H([v ɛ, v + ɛ] E(b, y)) = log v ɛ 0 log(bv). Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 7/20
8 V. Asymptotic approximation generalization Consider a family of strictly positive increasing C 1 functions f = (f n ) n 1 on an open interval I R such that f n (x), f n(x) > 1 for all x I. For τ > 1, define E(f, y, τ) := {x I : f n (x) y n < f n (x) τ for infinitely many n}. For v I, put u(v) := lim sup n log f n (v) log f n(v), log f n (v) l(v) := lim inf n log f n(v). Assume a regularity condition lim r 0 lim sup n sup x y <r which guarantees the continuity of u and l. log f n(x) log f n(y) = 1, (1) Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 8/20
9 VI. Asymptotic approximation generalization For non-linear functions f n, i.e., when f n is not of the form f n (x) = a n x + b n, we also need the following condition : Theorem (Bugeaud L Rams, in preparation) Assume (1) and (2). If for all x I, log f M := sup n+1(v) n 1 log f n(v) <. (2) ɛ > 0, f n(x) ɛ <, (3) n=1 then for any v I τu(v) lim ɛ 0 dimh([v ɛ, v + ɛ] E(f, y, τ)) τl(v). If f n are linear then we do not need to assume (2), and lim dim 1 H([v ɛ, v + ɛ] E(f, y, τ)) = ɛ τl(v). Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 9/20
10 Bad approximation of {x n } Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 10/20
11 I. Bad approximation of {x n } Consider a family of C 1 strictly positive increasing functions f = (f n ) n 1 on an open interval I R such that f n (x), f n(x) > 1 for all x I and for all n 1. Let δ = (δ n ) n 1 be a sequence of positive real numbers such that δ n < 1/4. Define G(f, y, δ) := {x I : f n (x) y n δ n, n 1}. We need the following hypotheses : ɛ > 0, n 1, inf x (v ɛ,v+ɛ) f n+1(x) sup x (v ɛ,v+ɛ) f n(x) δn 2, (4) x I, log f lim n+1(x) =. (5) n log f n(x) Theorem (Bugeaud L Rams, in preparation) Under the hypotheses (1), (4) and (5), for all v G(f, y, δ), we have lim dim H([v ɛ, v + ɛ] G(f, y, δ)) = lim inf ɛ 0 n log f n(v) + n 1 j=1 log δ j log f n(v) log δ n. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 11/20
12 II. Bad approximation of {x n } continued Remark our result generalizes a recent result of S. Baker : f n (x) = x qn with (q n ) n 1 being a strictly increasing sequence of real numbers such that lim n (q n+1 q n ) =. Then dim H {x > 1 : lim n xqn y n = 0} = 1. Corollary (Bugeaud L Rams, in preparation) Consider a sequence of positive real numbers (a n ) n 1. If a n+1 lim =, n a n then for any sequence (y n ) n 1 of real numbers, we have dim H {x R : lim n a nx y n = 0} = 1. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 12/20
13 Uniform approximation of {x n } Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 13/20
14 I. Uniform approximation of {nθ} For an irrational θ, define w(θ) := sup{β > 0 : lim inf j j β jθ = 0}. Let {q n } be the denominators of continued fractions convergents of θ and U w [θ] := {y : Q 1, 1 n Q, nθ y < Q w }. Theorem (D.H. Kim L, arxiv 2016) Let θ be an irrational with w(θ) 1. Then the Hausdorff dimension of U w [θ] is 0 if w > w(θ), is 1 if w < 1/w(θ), and equals to lim k lim k log( k 1 j=1 (n1/w j n j θ ) n 1/w+1 log(n k n k θ 1 ) log( k 1 j=1 n j n j θ 1/w ) log(n k n k θ 1 ) k ), 1 w(θ) < w < 1,, 1 < w < w(θ). where n k is the (maximal) subsequence of (q k ) such that { n 1/w k n k θ < 1, if 1/w(θ) < w < 1, n k n k θ 1/w < 2, if 1 < w < w(θ). Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 14/20
15 II. Uniform approximation of beta-expansion Let β > 1 be a real number and T β be the β-transformation. Let v β (x) (resp. ˆv β (x)) be the supremum of the real numbers v (resp. ˆv) such that T n β (x) < (β n ) v, i.o. n, and respectively, N 1, T n β (x) < (β N ) ˆv has a solution 1 n N. Theorem (Bugeaud L, ETDS 2016) Let θ and ˆv be positive real numbers with ˆv < 1 and θ 1/(1 ˆv), then dim({x : ˆv β (x) = ˆv} {x : v β (x) = θˆv}) = θ 1 θˆv (1 + θˆv)(θ 1), dim({β > 1 : ˆv β (1) = ˆv} {β > 1 : v β (1) = θˆv}) = θ 1 θˆv (1 + θˆv)(θ 1), ( 1 ˆv ) 2, dim{x : ˆv β (x) ˆv} = dim{x : ˆv β (x) = ˆv} = 1 + ˆv ( 1 ˆv ) 2. dim{β > 1 : ˆv β (1) ˆv} = 1 + ˆv Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 15/20
16 III. Uniform approximation of {x n } For any sequence of real numbers y = (y n ) n 1 in [0, 1], define F (B, y) = { x > 1 : N 1, x n y n B N has a solution 1 n N }. Theorem (Bugeaud L Rams, in preparation) For any v F (B, y), we have lim dim H([v ɛ, v + ɛ] F (B, y)) ɛ 0 Hence dim H F (B, y) = 1. ( ) 2 log v log B. log v + log B Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 16/20
17 Proofs on the uniform approximation of {x n } Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 17/20
18 I. Construction of a subset We will construct a subset F of the set F (v, ɛ, b, B, y) := {z [v ɛ, v + ɛ] : z n y n < b n for infinitely many n and N 1, z n y n < B N has a solution 1 n N}. Suppose b = B θ with θ > 1. Take n k = θ k. Consider the points z [v ɛ, v + ɛ] such that [ (m z n k y n < b n k m, z + yn 1 ) 1 ( n k, m + yn b n + 1 ] ) 1 n k k b n. k Then z F (v, ɛ, b, B, y) = F (v, ɛ, B θ, B, y) = F (v, ɛ, b, b 1 θ, y). Level 1 : I n1 (m, y n1, b) := [(m + y n1 b n1 ) 1/n1, (m + y n1 + b n1 ) 1/n1 ], where m ](v ɛ) n1, (v + ɛ) n1 [ is an integer. Level 2 : for an interval [c, d] at level 1, his son-intervals are I n2 (m, y n2, b) := [(m + y n2 b n2 ) 1/n2, (m + y n2 + b n2 ) 1/n2 ] with m [c n2, d n2 ]. Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 18/20
19 II. Computer the numbers and the lengths By construction, for the fundamental intervals containing z F, we have each k-th level interval [c k (z), d k (z)] containing z, contains at least m k (z) = 2n k+1 c k (z) n k+1 1 /n k b n k d k (z) n k 1 son-intervals at level k + 1. the distance between intervals at level k + 1 contained in the interval [c k (z), d k (z)] is at least We have the estimations m k (z) ɛ k (z) = (1 2/b n k+1 )/n k+1 d k (z) n k+1 1. θ 2 θ+1 ( z θ 1 b ) θ k, m k (z)ε k (z) ( ) θ k θ+3 θ k. bz Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 19/20
20 III. Local dimension The local dimension of z F is bounded from below by lim inf k = lim inf k log(m 1 (z) m k 1 (z)) log m k (z)ɛ k (z) (θ 1) log z log b (θ 1) log bz lim inf k θk 1 1 θ k 1 = ( (θ 1) log z log b ) k 1 j=1 θj θ k log bz (θ 1) log z log b. (θ 1) log bz Hence, by the relation b = B θ, we have the lower bound for the set F (v, ɛ, b, B, y) = F (v, ɛ, B θ, B, y) : (θ 1) log(v ɛ) log b (θ 1) log(b(v ɛ)) = log(v ɛ) θ θ 1 log B log(v ɛ) + θ log B. By maximizing the right side of the equality, with respect to θ > 1, we obtain the lower bound ( ) 2 log(v ɛ) log B. log(v ɛ) + log B Lingmin LIAO, Université Paris-Est Créteil Diophantine approximation of {x n } 20/20
Diophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Numeration 2015, Nancy May 20th 2015 Lingmin LIAO,
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More informationUniform Diophantine approximation related to b-ary and β-expansions
Uniform Diophantine approximation related to b-ary and β-expansions Lingmin LIAO (joint work with Yann Bugeaud) Université Paris-Est Créteil (University Paris 12) Universidade Federal de Bahia April 8th
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationHausdorff dimension of weighted singular vectors in R 2
Hausdorff dimension of weighted singular vectors in R 2 Lingmin LIAO (joint with Ronggang Shi, Omri N. Solan, and Nattalie Tamam) Université Paris-Est NCTS Workshop on Dynamical Systems August 15th 2016
More informationdynamical Diophantine approximation
Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University 24-28 July
More informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More informationThe dimensional theory of continued fractions
Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Topics, Hong Kong, Dec. 10-14, 2012 Continued fraction : x [0, 1), 1 x = 1 a 1 (x) + 1 a 2 (x) + a 3 (x) + = [a 1 (x),
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 informationQuantitative recurrence for beta expansion. Wang BaoWei
Introduction Further study Quantitative recurrence for beta expansion Huazhong University of Science and Technology July 8 2010 Introduction Further study Contents 1 Introduction Background Beta expansion
More informationConsequences of the Completeness Property
Consequences of the Completeness Property Philippe B. Laval KSU Today Philippe B. Laval (KSU) Consequences of the Completeness Property Today 1 / 10 Introduction In this section, we use the fact that R
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella 1 Introduction The height H(P ) of an integer polynomial P (x) is the maximum of the absolute values of its coefficients.
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella Abstract We establish new results on root separation of integer, irreducible polynomials of degree at least four. These
More information#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
#A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr
More informationuniform distribution theory
Uniform Distribution Theory 3 (2008), no.2, 9 20 uniform distribution theory SETS OF EXACT APPROXIMATION ORDER BY RATIONAL NUMBERS II Yann Bugeaud ABSTRACT. For a non-increasing function Ψ, let Exact(Ψ)
More informationBadly approximable numbers and Littlewood-type problems
Math. Proc. Camb. Phil. Soc.: page of 2 c Cambridge Philosophical Society 20 doi:0.07/s0050040000605 Badly approximable numbers and Littlewood-type problems BY YANN BUGEAUD Université de Strasbourg, Mathématiues,
More informationASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers
More informationReport on some recent advances in Diophantine approximation
Report on some recent advances in Diophantine approximation Michel Waldschmidt Université Pierre et Marie Curie Paris 6, UMR 7586 IMJ Institut de Mathématiques de Jussieu, 4, Place Jussieu, Paris, F 75005
More informationStrictly Positive Definite Functions on the Circle
the Circle Princeton University Missouri State REU 2012 Definition A continuous function f : [0, π] R is said to be positive definite on S 1 if, for every N N and every set of N points x 1,..., x N on
More information5 Z-Transform and difference equations
5 Z-Transform and difference equations Z-transform - Elementary properties - Inverse Z-transform - Convolution theorem - Formation of difference equations - Solution of difference equations using Z-transform.
More informationIrrationality exponent and rational approximations with prescribed growth
Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing
More informationOn the Littlewood conjecture in fields of power series
Advanced Studies in Pure Mathematics 49, 2007 Probability and Number Theory Kanazawa 2005 pp. 1 20 On the Littlewood conjecture in fields of power series Boris Adamczewski and Yann Bugeaud Abstract. Let
More informationSCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE
SCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE RYAN BRODERICK, YANN BUGEAUD, LIOR FISHMAN, DMITRY KLEINBOCK AND BARAK WEISS Abstract. Given b > and y R/Z, we consider the set of x R such that
More informationFURTHER NUMBER THEORY
FURTHER NUMBER THEORY SANJU VELANI. Dirichlet s Theorem and Continued Fractions Recall a fundamental theorem in the theory of Diophantine approximation. Theorem. (Dirichlet 842). For any real number x
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 informationSCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE
SCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE RYAN BRODERICK, YANN BUGEAUD, LIOR FISHMAN, DMITRY KLEINBOCK AND BARAK WEISS Abstract. Given b > and y R/Z, we consider the set of x R such that
More informationEntropy of C 1 -diffeomorphisms without dominated splitting
Entropy of C 1 -diffeomorphisms without dominated splitting Jérôme Buzzi (CNRS & Université Paris-Sud) joint with S. CROVISIER and T. FISHER June 15, 2017 Beyond Uniform Hyperbolicity - Provo, UT Outline
More informationOn the β-expansion of an algebraic number in an algebraic base β. (Strasbourg)
On the β-expansion of an algebraic number in an algebraic base β Yann BUGEAUD (Strasbourg) Abstract. Let α in (0, 1] and β > 1 be algebraic numbers. We study the asymptotic behaviour of the function that
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationWaiting times, recurrence times, ergodicity and quasiperiodic dynamics
Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Dong Han Kim Department of Mathematics, The University of Suwon, Korea Scuola Normale Superiore, 22 Jan. 2009 Outline Dynamical Systems
More informationDistribution of Prime Numbers Prime Constellations Diophantine Approximation. Prime Numbers. How Far Apart Are They? Stijn S.C. Hanson.
Distribution of How Far Apart Are They? June 13, 2014 Distribution of 1 Distribution of Behaviour of π(x) Behaviour of π(x; a, q) 2 Distance Between Neighbouring Primes Beyond Bounded Gaps 3 Classical
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 informationSection 2.5 : The Completeness Axiom in R
Section 2.5 : The Completeness Axiom in R The rational numbers and real numbers are closely related. The set Q of rational numbers is countable and the set R of real numbers is not, and in this sense there
More informationON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES
MATH. SCAND. 99 (2006), 136 146 ON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES ARTŪRAS DUBICKAS Abstract In this paper, we prove that if t 0,t 1,t 2,... is a lacunary sequence, namely, t n+1 /t n 1 + r
More information6.2 Deeper Properties of Continuous Functions
6.2. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 69 6.2 Deeper Properties of Continuous Functions 6.2. Intermediate Value Theorem and Consequences When one studies a function, one is usually interested in
More informationThe reference [Ho17] refers to the course lecture notes by Ilkka Holopainen.
Department of Mathematics and Statistics Real Analysis I, Fall 207 Solutions to Exercise 6 (6 pages) riikka.schroderus at helsinki.fi Note. The course can be passed by an exam. The first possible exam
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationMASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES. 1. Introduction. limsupa i = A i.
MASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES HENNA KOIVUSALO AND MICHA L RAMS arxiv:1812.08557v1 [math.ca] 20 Dec 2018 Abstract. The mass transference principle, proved by Beresnevich and
More informationOn the frequency of partial quotients of regular continued fractions
On the frequency of partial quotients of regular continued fractions Ai-Hua Fan, Lingmin Liao, Ji-Hua Ma To cite this version: Ai-Hua Fan, Lingmin Liao, Ji-Hua Ma. On the frequency of partial quotients
More informationM ath. Res. Lett. 17 (2010), no. 2, c International Press 2010 SCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE
M ath. Res. Lett. 17 (2010), no. 2, 307 321 c International Press 2010 SCHMIDT S GAME, FRACTALS, AND NUMBERS NORMAL TO NO BASE Ryan Broderick, Yann Bugeaud, Lior Fishman, Dmitry Kleinbock and Barak Weiss
More informationDue date: Monday, February 6, 2017.
Modern Analysis Homework 3 Solutions Due date: Monday, February 6, 2017. 1. If A R define A = {x R : x A}. Let A be a nonempty set of real numbers, assume A is bounded above. Prove that A is bounded below
More informationKolmogorov Complexity and Diophantine Approximation
Kolmogorov Complexity and Diophantine Approximation Jan Reimann Institut für Informatik Universität Heidelberg Kolmogorov Complexity and Diophantine Approximation p. 1/24 Algorithmic Information Theory
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 information1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.
1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for
More informationSmall gaps between primes
CRM, Université de Montréal Princeton/IAS Number Theory Seminar March 2014 Introduction Question What is lim inf n (p n+1 p n )? In particular, is it finite? Introduction Question What is lim inf n (p
More informationREAL VARIABLES: PROBLEM SET 1. = x limsup E k
REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E
More informationSYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE
SYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master
More information5.5 Deeper Properties of Continuous Functions
5.5. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 195 5.5 Deeper Properties of Continuous Functions 5.5.1 Intermediate Value Theorem and Consequences When one studies a function, one is usually interested
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationTHE REAL NUMBERS Chapter #4
FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field
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 informationPalindromic continued fractions. 1. Introduction
Palindromic continued fractions Boris ADAMCZEWSKI (Lyon) & Yann BUGEAUD * (Strasbourg) 1. Introduction An old problem adressed by Khintchin [15] deals with the behaviour of the continued fraction expansion
More informationarxiv: v1 [math.nt] 4 Sep 2018
One sided Diophantine approximations arxiv:809.003v [math.nt] 4 Sep 208 Jaroslav Hančl, Ondřej Turek,2,3 Department of Mathematics, Faculty of Science, University of Ostrava 70 03 Ostrava, Czech Republic
More informationQuantitative Oppenheim theorem. Eigenvalue spacing for rectangular billiards. Pair correlation for higher degree diagonal forms
QUANTITATIVE DISTRIBUTIONAL ASPECTS OF GENERIC DIAGONAL FORMS Quantitative Oppenheim theorem Eigenvalue spacing for rectangular billiards Pair correlation for higher degree diagonal forms EFFECTIVE ESTIMATES
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 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More information1 Definition of the Riemann integral
MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of
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 informationPolynomial and rational dynamical systems on the field of p-adic numbers and its projective line
Polynomial and rational dynamical systems on the field of p-adic numbers and its projective line Lingmin LIAO (Université Paris-Est Créteil) (works with Ai-Hua Fan, Shi-Lei Fan, Yue-Fei Wang, Dan Zhou)
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationA Gel fond type criterion in degree two
ACTA ARITHMETICA 111.1 2004 A Gel fond type criterion in degree two by Benoit Arbour Montréal and Damien Roy Ottawa 1. Introduction. Let ξ be any real number and let n be a positive integer. Defining the
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More information106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)
106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other
More informationWEYL S THEOREM IN THE MEASURE THEORY OF NUMBERS. 1 = m(i) for each subinterval I of U = [0, 1). Here m(...) denotes Lebesgue measure.
WEYL S THEOREM I THE MEASURE THEORY OF UMBERS RC BAKER, R COATEY, AD G HARMA Introduction We write {y} for the fractional part of y A real sequence y, y, is said to be uniformly distributed (mod ) if lim
More informationMetric Diophantine Approximation for Formal Laurent Series over Finite Fields
Metric Diophantine Approximation for Formal Laurent Series over Finite Fields Michael Fuchs Department of Applied Mathematics National Chiao Tung University Hsinchu, Taiwan Fq9, July 16th, 2009 Michael
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More informationUPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE
uniform distribution theory DOI: 055/udt-207 002 Unif Distrib Theory 2 207), no2, 24 UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE Christopher J White ABSTRACT We consider a class of double
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationPalindromic continued fractions
Palindromic continued fractions Boris Adamczewski, Yann Bugeaud To cite this version: Boris Adamczewski, Yann Bugeaud. Palindromic continued fractions. 2005. HAL Id: hal-00014969 https://hal.archives-ouvertes.fr/hal-00014969
More informationOn the rational approximation to the Thue Morse Mahler number. Yann BUGEAUD
On the rational approximation to the Thue Morse Mahler number Yann BUGEAUD Abstract. Let (t k ) k 0 be the Thue Morse sequence on {0,1} defined by t 0 = 0, t k = t k and t k+1 = 1 t k for k 0. Let b be
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationDIOPHANTINE APPROXIMATIONS AND DIRECTIONAL DISCREPANCY OF ROTATED LATTICES.
DIOPHANTINE APPROXIMATIONS AND DIRECTIONAL DISCREPANCY OF ROTATED LATTICES. DMITRIY BILYK, XIAOMIN MA, JILL PIPHER, AND CRAIG SPENCER Abstract. In this paper we study the following question related to
More informationControllability of linear PDEs (I): The wave equation
Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed
More informationMETRIC DIOPHANTINE APPROXIMATION ON THE MIDDLE-THIRD CANTOR SET
METRIC DIOPHANTINE APPROXIMATION ON THE MIDDLE-THIRD CANTOR SET YANN BUGEAUD AND ARNAUD DURAND Abstract. Let µ 2 be a real number and let M(µ) denote the set of real numbers approximable at order at least
More informationDIMENSIONS OF SOME FRACTALS DEFINED VIA THE SEMIGROUP GENERATED BY 2 AND Introduction
DIMENSIONS OF SOME FRACTALS DEFINED VIA THE SEMIGROUP GENERATED BY 2 AND 3 YUVAL PERES, JOERG SCHMELING, STÉPHANE SEURET, AND BORIS SOLOMYAK Abstract We compute the Hausdorff and Minowsi dimension of subsets
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,
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 informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More informationζ (s) = s 1 s {u} [u] ζ (s) = s 0 u 1+sdu, {u} Note how the integral runs from 0 and not 1.
Problem Sheet 3. From Theorem 3. we have ζ (s) = + s s {u} u+sdu, (45) valid for Res > 0. i) Deduce that for Res >. [u] ζ (s) = s u +sdu ote the integral contains [u] in place of {u}. ii) Deduce that for
More informationENGEL SERIES EXPANSIONS OF LAURENT SERIES AND HAUSDORFF DIMENSIONS
J. Aust. Math. Soc. 75 (2003), 1 7 ENGEL SERIES EXPANSIONS OF LAURENT SERIES AND HAUSDORFF DIMENSIONS JUN WU (Received 11 September 2001; revised 22 April 2002) Communicated by W. W. L. Chen Abstract For
More informationFundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales
Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time
More informationSimultaneous Accumulation Points to Sets of d-tuples
ISSN 1749-3889 print, 1749-3897 online International Journal of Nonlinear Science Vol.92010 No.2,pp.224-228 Simultaneous Accumulation Points to Sets of d-tuples Zhaoxin Yin, Meifeng Dai Nonlinear Scientific
More informationEntropy dimensions and a class of constructive examples
Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération
More informationResearch Article Almost Periodic Solutions of Prey-Predator Discrete Models with Delay
Hindawi Publishing Corporation Advances in Difference Equations Volume 009, Article ID 976865, 19 pages doi:10.1155/009/976865 Research Article Almost Periodic Solutions of Prey-Predator Discrete Models
More informationChapter 9: Basic of Hypercontractivity
Analysis of Boolean Functions Prof. Ryan O Donnell Chapter 9: Basic of Hypercontractivity Date: May 6, 2017 Student: Chi-Ning Chou Index Problem Progress 1 Exercise 9.3 (Tightness of Bonami Lemma) 2/2
More informationOn the strong cell decomposition property for weakly o-minimal structures
On the strong cell decomposition property for weakly o-minimal structures Roman Wencel 1 Instytut Matematyczny Uniwersytetu Wroc lawskiego ABSTRACT We consider a class of weakly o-minimal structures admitting
More informationOn Normal Numbers. Theodore A. Slaman. University of California Berkeley
1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel
More informationPREVALENCE OF SOME KNOWN TYPICAL PROPERTIES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 185 192 185 PREVALENCE OF SOME KNOWN TYPICAL PROPERTIES H. SHI Abstract. In this paper, some known typical properties of function spaces are shown to
More informationIntroduction to Empirical Processes and Semiparametric Inference Lecture 12: Glivenko-Cantelli and Donsker Results
Introduction to Empirical Processes and Semiparametric Inference Lecture 12: Glivenko-Cantelli and Donsker Results Michael R. Kosorok, Ph.D. Professor and Chair of Biostatistics Professor of Statistics
More informationMyopic Models of Population Dynamics on Infinite Networks
Myopic Models of Population Dynamics on Infinite Networks Robert Carlson Department of Mathematics University of Colorado at Colorado Springs rcarlson@uccs.edu June 30, 2014 Outline Reaction-diffusion
More informationON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France
GLASNIK MATEMATIČKI Vol. 44(64)(2009), 323 331 ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud Université de Strasbourg, France Abstract. Let n be a positive integer. Let ξ
More informationarxiv: v3 [math.nt] 4 Oct 2009
The distribution of close conjugate algebraic numbers arxiv:0906.4286v3 [math.nt] 4 Oct 2009 Victor Beresnevich (York) Vasili Bernik (Minsk) Abstract Friedrich Götze (Bielefeld) We investigate the distribution
More informationMath 220A Complex Analysis Solutions to Homework #2 Prof: Lei Ni TA: Kevin McGown
Math 220A Complex Analysis Solutions to Homework #2 Prof: Lei Ni TA: Kevin McGown Conway, Page 14, Problem 11. Parts of what follows are adapted from the text Modular Functions and Dirichlet Series in
More informationOn the Approximability of Partial VC Dimension
On the Approximability of Partial VC Dimension Cristina Bazgan 1 Florent Foucaud 2 Florian Sikora 1 1 LAMSADE, Université Paris Dauphine, CNRS France 2 LIMOS, Université Blaise Pascal, Clermont-Ferrand
More informationIowa State University. Instructor: Alex Roitershtein Summer Homework #1. Solutions
Math 501 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 015 EXERCISES FROM CHAPTER 1 Homework #1 Solutions The following version of the
More information