A note on singularity of a recently introduced family of Minkowski s question-mark functions
|
|
- Clement Henderson
- 6 years ago
- Views:
Transcription
1 Dynamical systems A note on singularity of a recently introduced family of Minkowski s question-mark functions Juan Fernández Sánchez a, Wolfgang Trutschnig b a Grupo de Investigación de Análisis Matemático, Universidad de Almería, La Cañada de San Urbano, Almería, Spain b Department for Mathematics, University Salzburg, Hellbrunnerstrasse 34, 5020 Salzburg, Austria. Tel: , Fax: Received *****; accepted after revision Presented by Abstract We point out a mistake in the proof of the main theorem in a recent article on a family of generalized Minkowski s question-mark functions, saying that each member of the family is a singular homeomorphism, and provide two alternative proofs, one based on ergodicity of the Gauss map G and the α-lüroth map L α, and another one focusing more on classical properties of continued fraction expansions. Résumé Note sur la singularité d une famille de fonctions Minkowski s question-mark récemment introduite. Nous mettons en évidence une erreur dans la démonstration du théroème principal dans un article récent traitant d une famille de fonctions Minkowski s question-mark généralisées, stipulant que chaque membre de la famille est un homéomorphisme singulier, et nous produisons deux preuves alternatives, l une basée sur l ergodicité de l application de Gauss G et de l application α-lüroth L α, l autre se focalisant plus sur des propriétés classiques des décompositions de fractions continues.. Introduction Based on continued fraction- and generalized Lüroth expansions a new family of Minkowski questionmark functions was recently introduced in []. When proving the main theorem of the paper (Theorem.3) the author correctly shows that each member? α of the family is a strictly increasing homeomorphism of the unit interval [0,] and then tackles proving that? α is singular (in the sense that? α has derivative zero λ-a.e). Unfortunately, the presented proof of singularity is incorrect, implying that the theorem is still formally unproven. Main objective of this note is to provide two correct proofs of singularity of? α for every partition α. The rest of this note is organized as follows: We first introduce some notation (essentially following [] with some slight modifications) in Section 2, point out what exactly went wrong in [] and then prove Theorem.3 in [] using two different methods in Section 3. addresses: juan.fernandez@ual.es (Juan Fernández Sánchez), wolfgang@trutschnig.net (Wolfgang Trutschnig). Preprint submitted to the Académie des sciences June 28, 207
2 2. Notation In the sequel, B([0,]) will denote the Borel σ-field on [0,] and λ will denote the Lebesgue measure on B([0,]). We will write N =,2,3,... and will refer to Σ := (N ) N as code-space. As usual, G : [0,] [0,] will denote the Gauss map, defined by G(0) = 0 and G(x) = x x for x (0,]. Set s i = i for every i N and s = 0. Then the intervals I = s,i = (s 2,s ],I 2 = (s 3,s 2 ],... form a partition γ G of [0,]. Coding orbits of G via γ G, the continued fraction expansion cf : [0,] Σ is defined by setting cf(x) = a = (a,a 2,a 3,...) Σ if and only if G i (x) I ai holds for every i N. It is well known that G is strongly mixing (hence ergodic) w.r.t. the absolutely continuous probability measure µ G with density 2 +x for x [0,] (see [3]). Inthesequelwewilllet α = J,J,J 2,J 3,...denotepartitionsoftheunit intervalinduced bystrictly decreasing sequences (t i ) i= converging to 0 =: t and fulfilling t =, i.e. we have J = t,j = (t 2,t ],J 2 = (t 3,t 2 ],... For each such partition α the α-lüroth map L α is defined by L α (0) = 0 as well as L α (x) = tj x t j t j+ for x (t j+,t j ] and j N. Coding orbits of L α via α, the α-lüroth expansion Lür α : [0,] Σ is defined by setting Lür α (x) = a = (a,a 2,a 3,...) Σ if and only if L i α (x) J a i holds for every i N. Additionally to being strongly mixing w.r.t. λ, the α-lüroth map is even (isomorphic to) a Bernoulli shift (see [2]). Moreover (again see [2]) the transformation Φ α : Σ [0,], defined by Φ α (a) = t a + m ( ) m+ t am (t aj t aj+), () m=2 with the convention t + = t, fulfills Φ α Lür α = id [0,]. j= 3. Two proofs of singularity of? α Based on cf : [0,] Σ and Φ α : Σ [0,], in [] the author introduces the (generalized) questionmark function? α by setting? α (x) = Φ α cf(x) for every x [0,] and then states the following theorem. Theorem 3. ([]) Given a partition α as above, the map? α : [0,] [0,] is an increasing singular homeomorphism fulfilling L α? α =? α G. Moreover, if t,t 2,... Q, then? α maps the set A 2 of all quadratic surds into Q. In [] a correct proof for the fact that? α is an increasing homeomorphism and for the assertion concerning A 2 is given. It is well known that singularity can be shown by establishing the existence of a Borel set B [0,] fulfilling λ( B) = 0 and λ(? α ( B)) =. Letting µ α denote the pull-back of λ via? α (or, equivalently, the push-forward of λ via? α ), defined by µ α (B) = λ(? α (B)) for every Borel set B B([0,]), the author then uses the identity dx =? α (x)dx (2)? α(b) toprovethatµ α andµ G aresingularwithrespecttoeachother.eq.(2),however,iseasilyseentobewrong and should be? dx = α(b) B dµ α = µ α (B) instead. In fact, considering, for instance, B = [0,], we get? dx = α([0,]) [0,] dx =, whereas the right-hand side of eq. (2) obviously fulfils [0,]? α is a homeomorphism of [0,] too. Since the rest of the proof in [] builds upon eq. (2), an alternative? α method is needed to show singularity of? α. 2 B (x)dx < since
3 We will now provide two proofs of singularity of? α for every partition α - the first one uses ergodicity of G and L α and explicitly constructs a Borel set B with the afore-mentioned properties, the second one is more elementary and directly derives the fact? α(x) = 0 for λ-a.e. x [0,] via properties of continued fraction expansions. Proof a: We distinguish two different types of partitions α: Type I: There exists k N such that t k t k+ (k+)2 2 k(k+2). Let the Borel sets Λ and Γ be defined by Λ= x [0,] : lim n ( k+, k ] G i (x) = (k +)2 2 k(k +2) holds for every k N n Γ= x [0,] : lim (tk+,t k ] L i α(x) = t k t k+ holds for every k N. (4) Ergodicity of G w.r.t. µ G and of L α w.r.t. λ (see [2,3]) and the fact that µ G is absolutely continuous with strictly positive density implies λ(λ) = λ(γ) =. Considering that? α (x) = Φ α cf(x) holds for every x (0,] and that for every x Λ we have cf(x) Lür α (Γ),? α (Λ) Γ c follows. Hence, choosing B = Λ c directly yields λ( B) = 0 as well as λ(? α ( B)) λ(γ) =, which completes the proof for all partitions α of Type I. Type II: For every k N we have t k t k+ = (k+)2 2 k(k+2). Taking into account t = we get that there is only one partition α of Type II, namely the one fulfilling t k = for every k N. Instead of considering asymptotic frequencies of single digits of the Lüroth- and continued-fraction expansions we now consider the asymptotic frequency of the block (, ) and set k+2 2 k+ Λ= x [0,] : lim n ( 2,]2 (Gi (x),g i+ (x)) = n Γ= x [0,] : lim ( 2,]2 (Li α (x),li+ ( 4 α (x)) = 3 2 (3) (5) ) 2. (6) According to Proposition 4..2 in [3] we have λ(λ) =. Moreover, using the fact that L α is (isomorphic to) a Bernoulli shift and that (t t 2 ) 2 = ( 4 ) 3 2 ( 4) 2 holds, λ(γ) = follows. Considering and proceeding as in the second part of the first case and setting B = Λ c completes the proof. Remark Instead of using Proposition 4..2 in [3] and the fact that L α is a Bernoulli shift in order to prove λ(λ) = λ(γ) = for α of Type II, we could as well consider the maps ε G,ε Lα : [0,] [0,] 2, defined by ε G (x) = (x,g(x)) and ε Lα (x) = (x,l α (x)), and directly work with ergodicity of G and L α. In fact, applying Birkhoff s ergodic theorem ([4]) to the indicator function f : x ( ε G(x) directly 2,]2 yields that for µ G -a.e. x [0,] (hence for λ-a.e. x [0,]) we get n lim n ( 2,]2 (Gi (x),g i+ (x))= lim f G i (x) = 2 [0,] Proceeding analogously with the function f : x ( 2,]2 ε L α (x) shows λ(γ) =. f(x) +x dx =
4 Proof b: Let Λ denote the set of all points x (0,) at which? α is differentiable and define Λ according to eq. (3). For every k N define two new Borel sets Λ k,λk 3 by Λ k = x [0,] : lim n n Λ k 3 = x [0,] : lim ( 2,] ( k+, k ] (G i (x),g i+ (x)) = 2 ( 4, 3 ] ( k+, k ] (G i (x),g i+ (x)) = 2 k+ + k+2 + k k+ + k+ 3k+4 + k 3k+ Following the same reasoning as in Remark (or using Proposition 4..2 in [3]) we get λ(λ k Λ k 3) =, implyingthat Ω := Λ Λ k= (Λk Λk 3 ) fulfillsλ(ω) =.Fixx Ω andseta := cf(x) Σ. Additionally, for every n 3 let x n,y n Q [0,] be defined by x n = [a,a 2,...,a n ] := a + a a n, y n = [a,a 2,...,a n +] := a + a a n+. (7) Then we have lim n x n = lim n y n = x as well as x (x n,y n ) for n even and x (y n,x n ) for n odd. Setting x n = pn q n with p n,q n relatively prime and using the recurrence relations (.2) in [2] we get y n = (an+)pn +pn 2 (a n+)q n +q n 2 = pn+pn q n q n, which implies x n y n = ( ) n+ q n(q n+q n ). On the other hand, considering? α (x n ) = Φ α ((a,a 2,...,a n,,,...)) and? α (y n ) = Φ α ((a,a 2,...,a n +,,,...)), using eq. () yields n δ n :=? α(x n )? α (y n ) x n y n = ( )n+ n j= (t a j t aj+) ( ) n+ q n(q n+q n ) = q n (q n +q n ) j= (t aj t aj+) 0 (8) Since by construction? α is differentiable at x, obviously lim n δ n =? α(x) 0 holds. Suppose now that? α (x) > 0. Then lim n δn δ n = follows, from which, again using the recurrence relations (.2) in [2], we get = lim n δ n δ n = lim t an+) = lim t an+) q n (q n +q n ) q n (q n +q n 2 ) = lim t an+) qn 2 + qn qn 2 q n + qn 2 q n ( an + qn 2 q n ) 2 +(an + qn 2 q n ) + qn 2 q n. (9) Fix an arbitrary k N. Letting let (n j ) j N denote the subsequence of all indices with a nj = k, eq. (9) simplifies to ( q nj 2) 2 q nj 2 k + q nj +(k + q ) nj = (t k t k+ ) lim j + qn j 2 q nj By constructionofωwehavethat (a nj,a nj ) = (,k) is fulfilled infinitely often and that the sameis true for (a nj,a nj ) = (3,k). Using the same notation as in eq. (7), accordingto [2], qn j 2 q nj = [a n j,...,a 2,a ] holds, from which we conclude that qn j 2 q lies infinitely often in ( nj 2,] and infinitely often in ( 4, 3 ]. This contradicts eq. (0), implying that we can not have? α (x) > 0 if x Ω. Since x Ω was arbitrary, we have shown that? α = 0 holds λ-a.e., which completes the proof. 4 (0)
5 References [] A. Arroyo, Generalised Lüroth expansions and a family of Minkowski s question-mark functions, C. R. Acad.Sci.Paris, Ser.I 353 (205) [2] K. Dajani, C. C. Kraaikamp, Ergodic Theory of Numbers, Carus Mathematical Monographs 29, The Mathematical Association of America, [3] M. Iosifescu, C. Kraaikamp, Metrical Theory of Continued Fractions, Springer Science+Business Media Dordrecht, [4] P. Walters, An Introduction to Ergodic Theory, Springer New York,
arxiv: v2 [math.nt] 25 Oct 2018
arxiv:80.0248v2 [math.t] 25 Oct 208 Convergence rate for Rényi-type continued fraction expansions Gabriela Ileana Sebe Politehnica University of Bucharest, Faculty of Applied Sciences, Splaiul Independentei
More informationMaximum asymmetry of copulas revisited
Maximum asymmetry of copulas revisited Noppadon Kamnitui Juan Fernández-Sánchez Wolfgang Trutschnig January 0, 08 Abstract Motivated by the nice characterization of copulas A for which d A, A t ) is maximal
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 informationA Short Introduction to Ergodic Theory of Numbers. Karma Dajani
A Short Introduction to Ergodic Theory of Numbers Karma Dajani June 3, 203 2 Contents Motivation and Examples 5 What is Ergodic Theory? 5 2 Number Theoretic Examples 6 2 Measure Preserving, Ergodicity
More informationS7. Copulas, Markov Operators and Mass Transportation
S7. Copulas, Markov Operators and Mass Transportation Organizers: Enrique de Amo (Universidad de Almería, Spain) Carlo Sempi (Università del Salento, Italy) Program: 1. Fabrizio Durante (Free University
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
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 information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 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
More informationGeneralized Ricci Bounds and Convergence of Metric Measure Spaces
Generalized Ricci Bounds and Convergence of Metric Measure Spaces Bornes Généralisées de la Courbure Ricci et Convergence des Espaces Métriques Mesurés Karl-Theodor Sturm a a Institut für Angewandte Mathematik,
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationSRB measures for non-uniformly hyperbolic systems
SRB measures for non-uniformly hyperbolic systems Vaughn Climenhaga University of Maryland October 21, 2010 Joint work with Dmitry Dolgopyat and Yakov Pesin 1 and classical results Definition of SRB measure
More informationAn Introduction to Ergodic Theory Normal Numbers: We Can t See Them, But They re Everywhere!
An Introduction to Ergodic Theory Normal Numbers: We Can t See Them, But They re Everywhere! Joseph Horan Department of Mathematics and Statistics University of Victoria November 29, 203 Abstract We present
More informationIs Analysis Necessary?
Is Analysis Necessary? Ira M. Gessel Brandeis University Waltham, MA gessel@brandeis.edu Special Session on Algebraic and Analytic Combinatorics AMS Fall Eastern Meeting University of Connecticut, Storrs
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
More informationTHE LEBESGUE DIFFERENTIATION THEOREM VIA THE RISING SUN LEMMA
Real Analysis Exchange Vol. 29(2), 2003/2004, pp. 947 951 Claude-Alain Faure, Gymnase de la Cité, Case postale 329, CH-1000 Lausanne 17, Switzerland. email: cafaure@bluemail.ch THE LEBESGUE DIFFERENTIATION
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationarxiv: v3 [math.ds] 9 Nov 2012
Positive expansive flows Alfonso Artigue November 13, 2018 arxiv:1210.3202v3 [math.ds] 9 Nov 2012 Abstract We show that every positive expansive flow on a compact metric space consists of a finite number
More informationOn Convergence of Sequences of Measurable Functions
On Convergence of Sequences of Measurable Functions Christos Papachristodoulos, Nikolaos Papanastassiou Abstract In order to study the three basic kinds of convergence (in measure, almost every where,
More informationMath /Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined
Math 400-001/Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined using limits. As a particular case, the derivative of f(x)
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationSeminar In Topological Dynamics
Bar Ilan University Department of Mathematics Seminar In Topological Dynamics EXAMPLES AND BASIC PROPERTIES Harari Ronen May, 2005 1 2 1. Basic functions 1.1. Examples. To set the stage, we begin with
More informationOn the metrical theory of a non-regular continued fraction expansion
DOI: 0.55/auom-205-0032 An. Şt. Univ. Ovidius Constanţa Vol. 23(2),205, 47 60 On the metrical theory of a non-regular continued fraction expansion Dan Lascu, George Cîrlig Abstract We introduced a new
More informationMATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing.
MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. Ergodic theorems Let (X,B,µ) be a measured space and T : X X be a measure-preserving transformation. Birkhoff s Ergodic
More informationWeak convergence. Amsterdam, 13 November Leiden University. Limit theorems. Shota Gugushvili. Generalities. Criteria
Weak Leiden University Amsterdam, 13 November 2013 Outline 1 2 3 4 5 6 7 Definition Definition Let µ, µ 1, µ 2,... be probability measures on (R, B). It is said that µ n converges weakly to µ, and we then
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationKARMA DAJANI AND CHARLENE KALLE
RANDOM -EXPANSIONS WITH DELETED DIGITS KARMA DAJANI AND CHARLENE KALLE Abstract. In this paper we define random -expansions with digits taken from a given set of real numbers A = {... }. We study a generalization
More informationKato s inequality when u is a measure. L inégalité de Kato lorsque u est une mesure
Kato s inequality when u is a measure L inégalité de Kato lorsque u est une mesure Haïm Brezis a,b, Augusto C. Ponce a,b, a Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie, BC 187, 4
More informationGeneralized Continued Logarithms and Related Continued Fractions
Generalized Continued Logarithms and Related Continued Fractions Jonathan M Borwein Kevin G Hare Jason G Lynch June 22 206 Abstract We study continued arithms as introduced by Bill Gosper and studied by
More informationMETRICAL THEORY FOR α-rosen FRACTIONS
METRICAL THEORY FOR α-rosen FRACTIONS KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Abstract The Rosen fractions form an infinite family which generalizes the nearestinteger continued fractions In
More informationL Enseignement Mathématique, t. 40 (1994), p AN ERGODIC ADDING MACHINE ON THE CANTOR SET. by Peter COLLAS and David KLEIN
L Enseignement Mathématique, t. 40 (994), p. 249-266 AN ERGODIC ADDING MACHINE ON THE CANTOR SET by Peter COLLAS and David KLEIN ABSTRACT. We calculate all ergodic measures for a specific function F on
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
More informationA Level. A Level Mathematics. Proof by Contradiction (Answers) AQA, Edexcel, OCR. Name: Total Marks:
AQA, Edexcel, OCR A Level A Level Mathematics Proof by Contradiction (Answers) Name: Total Marks: A1 Proof Answers AQA, Edexcel, OCR 1) Prove that there is an infinite amount of prime numbers. Assume there
More informationOn Periodic points of area preserving torus homeomorphisms
On Periodic points of area preserving torus homeomorphisms Fábio Armando Tal and Salvador Addas-Zanata Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão 11, Cidade Universitária,
More informationNorthwestern University Department of Electrical Engineering and Computer Science
Northwestern University Department of Electrical Engineering and Computer Science EECS 454: Modeling and Analysis of Communication Networks Spring 2008 Probability Review As discussed in Lecture 1, probability
More informationContinued fractions: Properties and invariant measure (Kettingbreuken: Eigenschappen en invariante maat)
Delft University of Technology Faculty Electrical Engineering, Mathematics and Computer Science Delft Institute of Applied Mathematics Continued fractions: Properties and invariant measure (Kettingbreuken:
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationKey words. Feedback shift registers, Markov chains, stochastic matrices, rapid mixing
MIXING PROPERTIES OF TRIANGULAR FEEDBACK SHIFT REGISTERS BERND SCHOMBURG Abstract. The purpose of this note is to show that Markov chains induced by non-singular triangular feedback shift registers and
More informationarxiv: v1 [math.ca] 23 Jul 2018
NON APPROXIMATE DERIVABILITY OF THE TAKAGI FUNCTION JUAN FERRERA AND JAVIER GÓMEZ GIL arxiv:1807.08783v1 [math.ca] 23 Jul 2018 Abstract. The Takagi function is a classical example of a continuous nowhere
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationSynopsis by section of Euler s paper E796,
1 Synopsis by section of Euler s paper E796 Recherches sur le problem de trois nombres carres tels que la somme de deux quelconques moins le troisieme fasse un nombre carre Research into the problem of
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationDYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS
DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS Issam Naghmouchi To cite this version: Issam Naghmouchi. DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS. 2010. HAL Id: hal-00593321 https://hal.archives-ouvertes.fr/hal-00593321v2
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 information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationMetrical theory for α-rosen fractions
J Eur Math Soc, 259 283 c European Mathematical Society 2009 Karma Dajani Cor Kraaikamp Wolfgang Steiner Metrical theory for α-rosen fractions Received February 5, 2007 and in revised form December 20,
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationPower series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0
Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can
More informationErgodic Theorems with Respect to Lebesgue
Ergodic Theorems with Respect to Lebesgue ELEONORA CATSIGERAS Instituto de Matemática, Facultad de Ingeniería Universidad de la República Av. Herrera y Reissig 565, CP 200 Montevideo URUGUAY eleonora@fing.edu.uy
More informationCURRICULUM VITÆ. Mathematical interests : Number Theory, Logic (Model Theory), Algebraic Geometry, Complex and p-adic Analysis.
Xavier VIDAUX Associate Professor Universidad de Concepción Facultad de Ciencias Físicas y Matemáticas Departamento de Matemáticas Casilla 160 C Concepción Chile CURRICULUM VITÆ Telephone +56 41 2 20 31
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationarxiv: v1 [math.ds] 27 Feb 2019
INTRODUCING MINKOWSKI NORMALITY arxiv:902.0373v [math.ds] 27 Feb 209 DAJANI, K., DE LEPPER, M.R., AND ROBINSON, JR., E. A. This paper is dedicated to our advisors. Abstract. We introduce the concept of
More informationContinued Fraction Digit Averages and Maclaurin s Inequalities
Continued Fraction Digit Averages and Maclaurin s Inequalities Steven J. Miller, Williams College sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu Joint with Francesco Cellarosi, Doug Hensley and Jake
More informationMath 240 (Driver) Qual Exam (9/12/2017)
1 Name: I.D. #: Math 240 (Driver) Qual Exam (9/12/2017) Instructions: Clearly explain and justify your answers. You may cite theorems from the text, notes, or class as long as they are not what the problem
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationCounterexample to the infinite dimensional Carleson embedding theorem
Counterexample to the infinite dimensional Carleson embedding theorem Fedor Nazarov, Serguei Treil, and Alexander Volberg Abstract. We are going to show that the classical Carleson embedding theorem fails
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationPreliminary Exam 2016 Solutions to Morning Exam
Preliminary Exam 16 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem 1. Find the volume of the ice cream cone defined by the inequalities x + y + z 1 and x + y z /3
More informationProbability and Random Processes
Probability and Random Processes Lecture 7 Conditional probability and expectation Decomposition of measures Mikael Skoglund, Probability and random processes 1/13 Conditional Probability A probability
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationOn the number of ways of writing t as a product of factorials
On the number of ways of writing t as a product of factorials Daniel M. Kane December 3, 005 Abstract Let N 0 denote the set of non-negative integers. In this paper we prove that lim sup n, m N 0 : n!m!
More informationTHE STRUCTURE OF THE SPACE OF INVARIANT MEASURES
THE STRUCTURE OF THE SPACE OF INVARIANT MEASURES VAUGHN CLIMENHAGA Broadly, a dynamical system is a set X with a map f : X is discrete time. Continuous time considers a flow ϕ t : Xö. mostly consider discrete
More informationArithmetic and metric properties of Oppenheim continued fraction expansions
Journal of Number Theory 27 (2007 64 82 www.elsevier.com/locate/jnt Arithmetic and metric properties of Oppenheim continued fraction expansions Ai-Hua Fan a,b,, Bao-Wei Wang b,c,junwu c a Department of
More informationThe Class Equation X = Gx. x X/G
The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.
More informationUpper Bounds for Partitions into k-th Powers Elementary Methods
Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationNontangential limits and Fatou-type theorems on post-critically finite self-similar sets
Nontangential limits and on post-critically finite self-similar sets 4th Cornell Conference on Analysis, Probability, and Mathematical Physics on Fractals Universidad de Colima Setting Boundary limits
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationTAYLOR AND MACLAURIN SERIES
TAYLOR AND MACLAURIN SERIES. Introduction Last time, we were able to represent a certain restricted class of functions as power series. This leads us to the question: can we represent more general functions
More informationBruhat order, rationally smooth Schubert varieties, and hyperplane arrangements
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 833 840 Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements Suho Oh 1 and Hwanchul Yoo Department of Mathematics, Massachusetts
More informationMETRIC PROPERTIES OF N-CONTINUED FRACTIONS
METRIC PROPERTIES OF -COTIUED FRACTIOS DA LASCU Communicated by Marius Iosifescu A generalization of the regular continued fractions was given by Burger et al. in 2008 [3]. In this paper, we give metric
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationSEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS AND CONTINUOUS SOLUTIONS OF RELATED EQUATIONS. Rafa l Kapica Silesian University, Poland
GLASNIK MATEMATIČKI Vol. 42(62)(2007), 389 399 SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS AND CONTINUOUS SOLUTIONS OF RELATED EQUATIONS Rafa l Kapica Silesian University, Poland Abstract.
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationSIMPLE QUASICRYSTALS ARE SETS OF STABLE SAMPLING
SIMPLE QUASICRYSTALS ARE SETS OF STABLE SAMPLING BASARAB MATEI AND YVES MEYER Version française abrégée Soit K R n un ensemble compact et soit E K L 2 (R n ) le sous-espace de L 2 (R n ) composé de toutes
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 informationSCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS BY JACEK D Z I U B A Ń S K I (WROC
More informationOn the negative base greedy and lazy representations
On the negative base greedy and lazy representations Tomáš Hejda,, Zuzana Masáková, Edita Pelantová June 01 Abstract We consider positional numeration systems with negative real base β, where β > 1, and
More informationDigit Frequencies and Bernoulli Convolutions
Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has
More informationMetric and arithmetic properties of a new class of continued fraction expansions
MASTER ALGANT Università di Padova and Leiden University Master Thesis in Mathematics Metric and arithmetic properties of a new class of continued fraction expansions Valentina Masarotto Thesis advisor:
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationTHE SUM OF DIGITS OF n AND n 2
THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationSection The Radon-Nikodym Theorem
18.4. The Radon-Nikodym Theorem 1 Section 18.4. The Radon-Nikodym Theorem Note. For (X, M,µ) a measure space and f a nonnegative function on X that is measurable with respect to M, the set function ν on
More informationTYPICAL POINTS FOR ONE-PARAMETER FAMILIES OF PIECEWISE EXPANDING MAPS OF THE INTERVAL
TYPICAL POINTS FOR ONE-PARAMETER FAMILIES OF PIECEWISE EXPANDING MAPS OF THE INTERVAL DANIEL SCHNELLMANN Abstract. Let I R be an interval and T a : [0, ] [0, ], a I, a oneparameter family of piecewise
More information