A Brief on Characteristic Functions

Total Page:16

File Type:pdf, Size:1020Kb

A Brief on Characteristic Functions Missouri University of Science and Technology Scholars' Mine Graduate Student Research & Creative Works Student Research & Creative Works 01 Dec 2020 A Brief on Characteristic Functions Austin G. Vandegriffe Follow this and additional works at: https://scholarsmine.mst.edu/gradstudent_works Part of the Applied Mathematics Commons, and the Probability Commons Recommended Citation Vandegriffe, Austin G., "A Brief on Characteristic Functions" (2020). Graduate Student Research & Creative Works. 2. https://scholarsmine.mst.edu/gradstudent_works/2 This Presentation is brought to you for free and open access by Scholars' Mine. It has been accepted for inclusion in Graduate Student Research & Creative Works by an authorized administrator of Scholars' Mine. This work is protected by U. S. Copyright Law. Unauthorized use including reproduction for redistribution requires the permission of the copyright holder. For more information, please contact [email protected]. A Brief on Characteristic Functions A Presentation for Harmonic Analysis Missouri S&T : Rolla, MO Presentation by Austin G. Vandegriffe 2020 Contents 1 Basic Properites of Characteristic Functions 1 2 Inversion Formula 5 3 Convergence & Continuity of Characteristic Functions 9 4 Convolution of Measures 13 Appendix A Topology 17 B Measure Theory 17 B.1 Basic Measure Theory . 17 B.2 Convergence in Measure & Its Consequences . 20 B.3 Derivatives of Measures . 22 C Analysis 25 i Notation 8 For all 8P For P-almost all, where P is a measure 9 There exists () If and only if U Disjoint union −* Weak convergence n λn Lebegue measure on R ; the n is omitted if n = 1 µ^ Characteristic function of a measure µ −! Complete convergence @B The boundary of a set B B¯ The closer of a set B B◦ The interior of a set B Bc The complement of a set B B(Ω) σ-algebra generated by open sets of the implicit topology τ(Ω) n Bn σ-algebra generated by the usual topology on R Br(!) A ball of radius r about an element ! of an implicit metric space (Ω; d) C k(X; Y ) Space of continuous functions from X to Y with k continuous derivatives Cb(X; Y ) Space of bounded continuous functions from X to Y Cc(X; Y ) Space of continuous functions from X to Y with compact support Cp(X; Y ) Space of periodic continuous functions from X to Y C The complex numbers diag(α1; :::; αn) An n × n matrix with diagonal elements α1; :::; αn Fµ The distribution function of µ, that is, Fµ(x) = µ((−∞; x)) iff If and only if Lp(Ω; Ω0; µ) Space of functions f :Ω ! Ω0 such f p is µ-integrable P(F) Set of probability measures on F Pn Set of probability measures on Bn Q The rational numbers R(F) Set of Radon measures on the σ-algebra F Rn Set of Radon measures on Bn R The real numbers s:t: Such that U! 2 τ An open set in τ containing ! z Complex conjugate ii Ackowledgement I would like to thank Dr. Jason C. Murphy1 for motivating my studies in harmonic analysis which ultimately enabled me to write this work. Dr. Murphy also guided me through some proofs and replaced my doubts with clarity; his input was of great value. 1Jason Murphy: https://scholar.google.com/citations?user=32q4x cAAAAJ&hl=en iii Characteristic Functions Introduction Characteristic functions (CFs) are often used in problems involving convergence in distribution, independence of random variables, infinitely divisible distribu- tions, and stochastics [5]. The most famous use of characteristic functions is in the proof of the Central Limit Theorem, also known as the Fundamental Theo- rem of Statistics. Though less frequent, CFs have also been used in problems of nonparametric time series analysis [6] and in machine learning [7{9]. Moreover, CFs uniquely determine their distribution, much like the moment generating functions (MGFs), but the major difference is that CFs always exists, whereas MGFs can fail, e.g. the Cauchy distribution. This makes CFs more robust in general. In the following, I will present an introduction and basic properties of the Fourier-Stieltjes transform, it's inverse and relation to the Radon-Nikodym derivative, then go on to prove the L´evyContinuity Theorem, and finally a short presentation of measure convolutions. Much of the following presentation will be for probability measures and their distribution functions; however, some results can be generalized to (un)signed finite measures [1, 5, 10]. One can find an overview of background knowledge in the Appendix. 1 Basic Properites of Characteristic Functions Definition 1.1 (Characteristic Function / Fourier{Stieltjes Transform). Let n X : (Ω; F; P) ! (R ; Bn; h•; •i) and µ = X#P, the pushforward measure / distribution of X. The characteristic function or Fourier{Stieltjes transform of µ is Z Z iht;X(!)i iht;xi µ^(t) = e dP(!) = e dµ(x) n Ω R where equality comes from Theorem B.7. In terms of the Fourier transform, if µ admits a Radon{Nikodym derivative f with respect to the n-Lebesgue measure λn (Theorem B.26), then Z Z iht;xi iht;xi ^ µ^(t) = e dµ(x) = e f(x) dλn(x) = f(t) n n R R That is, the characteristic function is nothing but the Fourier transform of the density of µ if one exists. Theorem 1.2 (Properties of the Characteristic Function). Let µ be as above, then i) µ^(0) = 1 ii) jµ^(t)j 5 1 1 iii) µ^(−t) = µ^(t) iv) µ^ is uniformly continuous on Rn v) (µ\1 + µ2) =µ ^1 +µ ^2 Proof. i) Z Z ih0;xi n µ^(0) = e dµ(x) = dµ(x) = µ(R ) = 1 n n R R ii) Z ih0;xi jµ^(t)j = e dµ(x) n R Z ih0;xi 5 je j dµ(x) n R Z 5 1 dµ(x) n R n = µ(R ) = 1 iii) Z µ^(−t) = eih-t;xi dµ(x) n R Z = e-iht;xi dµ(x) n R Z = eiht;xi dµ(x) nn since eix = e−ix n R Z = eiht;xi dµ(x) n R = µ^(t) iv) Let δ > 0 Z iht+δ;xi iht;xi jµ^(t + δ) − µ^(t)j = e − e dµ(x) n R 2 Z iht;xi+ihδ;xi iht;xi = e − e dµ(x) n R Z iht;xi ihδ;xi iht;xi = e · e − e dµ(x) n R Z iht;xi ihδ;xi iht;xi 5 e · e − e dµ(x) n R Z iht;xi ihδ;xi = e e − 1 dµ(x) n R Z ihδ;xi = e − 1 dµ(x) n R ihδ;xi δ#0 5 sup e − 1 −−! 0 n x2R v) Z iht;xi (µ\1 + µ2) = e d[µ1 + µ2](x) n R Z Z iht;xi iht;xi = e dµ1(x) + e dµ2(x) n n R R =µ ^1 +µ ^2 Theorem 1.3. Let (Rn; B(Rn); λ) be as usual, µ 2 P(B(Rn)), and f 2 L1(Rn; C; λ), then Z Z ^ f dµ = fµ^ dλn n n R R Proof. This follows from Fubini's theorem 0 1 Z Z Z ^ iπht;xi f dµ = @ e f(x) dλn(x)A dµ(t) n n n R R R 0 1 Z Z iπht;xi = @ e f(x) dµ(t)A dλn(x) n n R R 0 1 Z Z iπht;xi = f(x) @ e dµ(t)A dλn(x) n n R R 3 Z = [f · µ^](x) dλn(x) n R Theorem 1.4 (Uniqueness). If µ1; µ2 2 Pn, then µ1 = µ2 () µ^1 =µ ^2 : Note: the equality of the characteristic functions is over the real numbers. Proof. \ =) ": This is obvious Z Z iht;xi iht;xi µ^1(t) = e dµ1(x) = e dµ2(x) =µ ^2(t) n n R R \ (= ": Supposeµ ^1(t) =µ ^2(t) for all t, then Z Z iht;xi iht;xi n e d[µ1 − µ2](x) = e dµ¯(x) = 0 8t 2 R n n R R N P iht(1;:::;n);•i then for all trigonometric polynomials γN (•) = c(t1;:::;tn)e t1;:::;tn=−N we have Z γN (x)dµ¯(x) = 0 n R and so for the uniform limit γ(•) in N, which are the continuous periodic func- tions (Theorem C.6), we have Z γ(x)dµ¯(x) = 0 n R Let c(•) be a continuous function which vanishes outside a fixed, bounded ⊗n support S, choose m such that S ⊆ (−m; m] , and choose γm(•) to be a continuous periodic function with period 2m such that γm(x) = c(x) 8x 2 (−m; m]⊗n. Sinceµ ¯ is the difference of of two monotone increasing functions (Fµ = Fµ1 − Fµ2 ), it is a function of bounded variation; hence 8 > 0 9 m s.t. µ¯(x) < for jxj = m1 and we have Z m"1 Z Z 0 = γm dµ¯ −−−! c dµ¯ = c dµ¯ = 0 Rn Rn S Since c was arbitary, we have, by Theorem B.20 and taking c to be indicator functions on sets in Bn, that µ¯ = µ1 − µ2 = 0 and so µ1 = µ2. 4 2 Inversion Formula n n Theorem 2.1 (Inversion). Let (R ; Bn; λ) be as usual; µ 2 Pn; a; b 2 R (a < b) and let (a; b) = fx 2 Rn : a < x < b)g, then 2 n 3 Z -itj aj -itj bj -n -n Y e − e µ((a; b)) + 2 µ(fa; bg) = (2π) lim 4 5 µ^(t) dλn(t) k"1 it j=1 j (-k;k) T n there k = [k1; :::; kn] and (-k; k) = fx 2 R : −k 5 x 5 kg.
Recommended publications
  • Quasi-Invariant Gaussian Measures for the Cubic Fourth Order Nonlinear Schrödinger Equation
    Probab. Theory Relat. Fields DOI 10.1007/s00440-016-0748-7 Quasi-invariant Gaussian measures for the cubic fourth order nonlinear Schrödinger equation Tadahiro Oh1,2 · Nikolay Tzvetkov3 Received: 4 August 2015 / Revised: 25 November 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We consider the cubic fourth order nonlinear Schrödinger equation on the circle. In particular, we prove that the mean-zero Gaussian measures on Sobolev spaces s(T) > 3 H , s 4 , are quasi-invariant under the flow. Keywords Fourth order nonlinear Schrödinger equation · Biharmonic nonlinear Schrödinger equation · Gaussian measure · Quasi-invariance Mathematics Subject Classification 35Q55 Contents 1 Introduction ............................................... 1.1 Background ............................................. 1.2 Cubic fourth order nonlinear Schrödinger equation ........................ 1.3 Main result ............................................. 1.4 Organization of the paper ...................................... 2 Notations ................................................. 3 Reformulation of the cubic fourth order NLS .............................. B Tadahiro Oh [email protected] Nikolay Tzvetkov [email protected] 1 School of Mathematics, The University of Edinburgh, James Clerk Maxwell Building, The King’s Buildings, Peter Guthrie Tait Road, Edinburgh EH9 3FD, UK 2 The Maxwell Institute for the Mathematical Sciences, James Clerk Maxwell Building, The King’s Buildings, Peter Guthrie Tait Road,
    [Show full text]
  • Uniqueness of the Gaussian Orthogonal Ensemble
    Uniqueness of the Gaussian Orthogonal Ensemble ´ Jos´e Angel S´anchez G´omez∗, Victor Amaya Carvajal†. December, 2017. A known result in random matrix theory states the following: Given a ran- dom Wigner matrix X which belongs to the Gaussian Orthogonal Ensemble (GOE), then such matrix X has an invariant distribution under orthogonal conjugations. The goal of this work is to prove the converse, that is, if X is a symmetric random matrix such that it is invariant under orthogonal conjuga- tions, then such matrix X belongs to the GOE. We will prove this using some elementary properties of the characteristic function of random variables. 1 Introduction We will prove one of the main characterization of the matrices that belong to the Gaussian Orthogonal Ensemble. This work was done as a final project for the Random Matrices graduate course at the Centro de Investigaci´on en Matem´aticas, A.C. (CIMAT), M´exico. 2 Background I We will denote by n m(F), the set of matrices of size n m over the field F. The matrix M × × Id d will denote the identity matrix of the set d d(F). × M × Definition 1. Denote by (n) the set of orthogonal matrices of n n(R). This means, ⊺ O ⊺ M × if O (n) then O O = OO = In n. ∈ O × ⊺ arXiv:1901.09257v3 [math.PR] 1 Oct 2019 Definition 2. A symmetric matrix X is a square matrix such that X = X. We will denote the set of symmetric n n matrices by Sn. × Definition 3. [Gaussian Orthogonal Ensemble (GOE)].
    [Show full text]
  • Large Deviations for Stochastic Navier-Stokes Equations With
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2013 Large deviations for stochastic Navier-Stokes equations with nonlinear viscosities Ming Tao Louisiana State University and Agricultural and Mechanical College, [email protected] Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Applied Mathematics Commons Recommended Citation Tao, Ming, "Large deviations for stochastic Navier-Stokes equations with nonlinear viscosities" (2013). LSU Doctoral Dissertations. 1558. https://digitalcommons.lsu.edu/gradschool_dissertations/1558 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. LARGE DEVIATIONS FOR STOCHASTIC NAVIER-STOKES EQUATIONS WITH NONLINEAR VISCOSITIES A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Ming Tao B.S. in Math. USTC, 2004 M.S. in Math. USTC, 2007 May 2013 Acknowledgements This dissertation would not be possible without several contributions. First of all, I am extremely grateful to my advisor, Professor Sundar, for his constant encouragement and guidance throughout this work. Meanwhile, I really wish to express my sincere thanks to all the committee members, Professors Kuo, Richardson, Sage, Stoltzfus and the Dean's representa- tive Professor Koppelman, for their help and suggestions on the corrections of this dissertaion. I also take this opportunity to thank the Mathematics department of Louisiana State University for providing me with a pleasant working environment and all the necessary facilities.
    [Show full text]
  • Chap 3 : Two Random Variables
    Chap 3: Two Random Variables Chap 3 : Two Random Variables Chap 3.1: Distribution Functions of Two RVs In many experiments, the observations are expressible not as a single quantity, but as a family of quantities. For example to record the height and weight of each person in a community or the number of people and the total income in a family, we need two numbers. Let X and Y denote two random variables based on a probability model .(Ω,F,P). Then x2 P (x1 <X(ξ) ≤ x2)=FX (x2) − FX (x1)= fX (x) dx x1 and y2 P (y1 <Y(ξ) ≤ y2)=FY (y2) − FY (y1)= fY (y) dy y1 What about the probability that the pair of RVs (X, Y ) belongs to an arbitrary region D?In other words, how does one estimate, for example P [(x1 <X(ξ) ≤ x2) ∩ (y1 <Y(ξ) ≤ y2)] =? Towards this, we define the joint probability distribution function of X and Y to be FXY (x, y)=P (X ≤ x, Y ≤ y) ≥ 0 (1) 1 Chap 3: Two Random Variables where x and y are arbitrary real numbers. Properties 1. FXY (−∞,y)=FXY (x, −∞)=0,FXY (+∞, +∞)=1 (2) since (X(ξ) ≤−∞,Y(ξ) ≤ y) ⊂ (X(ξ) ≤−∞), we get FXY (−∞,y) ≤ P (X(ξ) ≤−∞)=0 Similarly, (X(ξ) ≤ +∞,Y(ξ) ≤ +∞)=Ω,wegetFXY (+∞, +∞)=P (Ω) = 1. 2. P (x1 <X(ξ) ≤ x2,Y(ξ) ≤ y)=FXY (x2,y) − FXY (x1,y) (3) P (X(ξ) ≤ x, y1 <Y(ξ) ≤ y2)=FXY (x, y2) − FXY (x, y1) (4) To prove (3), we note that for x2 >x1 (X(ξ) ≤ x2,Y(ξ) ≤ y)=(X(ξ) ≤ x1,Y(ξ) ≤ y) ∪ (x1 <X(ξ) ≤ x2,Y(ξ) ≤ y) 2 Chap 3: Two Random Variables and the mutually exclusive property of the events on the right side gives P (X(ξ) ≤ x2,Y(ξ) ≤ y)=P (X(ξ) ≤ x1,Y(ξ) ≤ y)+P (x1 <X(ξ) ≤ x2,Y(ξ) ≤ y) which proves (3).
    [Show full text]
  • Probability Theory Manjunath Krishnapur
    Probability theory Manjunath Krishnapur DEPARTMENT OF MATHEMATICS,INDIAN INSTITUTE OF SCIENCE 2000 Mathematics Subject Classification. Primary ABSTRACT. These are lecture notes from the spring 2010 Probability theory class at IISc. There are so many books on this topic that it is pointless to add any more, so these are not really a substitute for a good (or even bad) book, but a record of the lectures for quick reference. I have freely borrowed a lot of material from various sources, like Durrett, Rogers and Williams, Kallenberg, etc. Thanks to all students who pointed out many mistakes in the notes/lectures. Contents Chapter 1. Measure theory 1 1.1. Probability space 1 1.2. The ‘standard trick of measure theory’! 4 1.3. Lebesgue measure 6 1.4. Non-measurable sets 8 1.5. Random variables 9 1.6. Borel Probability measures on Euclidean spaces 10 1.7. Examples of probability measures on the line 11 1.8. A metric on the space of probability measures on Rd 12 1.9. Compact subsets of P (Rd) 13 1.10. Absolute continuity and singularity 14 1.11. Expectation 16 1.12. Limit theorems for Expectation 17 1.13. Lebesgue integral versus Riemann integral 17 1.14. Lebesgue spaces: 18 1.15. Some inequalities for expectations 18 1.16. Change of variables 19 1.17. Distribution of the sum, product etc. 21 1.18. Mean, variance, moments 22 Chapter 2. Independent random variables 25 2.1. Product measures 25 2.2. Independence 26 2.3. Independent sequences of random variables 27 2.4.
    [Show full text]
  • ON the ISOMORPHISM PROBLEM for NON-MINIMAL TRANSFORMATIONS with DISCRETE SPECTRUM Nikolai Edeko (Communicated by Bryna Kra) 1. I
    DISCRETE AND CONTINUOUS doi:10.3934/dcds.2019262 DYNAMICAL SYSTEMS Volume 39, Number 10, October 2019 pp. 6001{6021 ON THE ISOMORPHISM PROBLEM FOR NON-MINIMAL TRANSFORMATIONS WITH DISCRETE SPECTRUM Nikolai Edeko Mathematisches Institut, Universit¨atT¨ubingen Auf der Morgenstelle 10 D-72076 T¨ubingen,Germany (Communicated by Bryna Kra) Abstract. The article addresses the isomorphism problem for non-minimal topological dynamical systems with discrete spectrum, giving a solution under appropriate topological constraints. Moreover, it is shown that trivial systems, group rotations and their products, up to factors, make up all systems with discrete spectrum. These results are then translated into corresponding results for non-ergodic measure-preserving systems with discrete spectrum. 1. Introduction. The isomorphism problem is one of the most important prob- lems in the theory of dynamical systems, first formulated by von Neumann in [17, pp. 592{593], his seminal work on the Koopman operator method and on dynamical systems with \pure point spectrum" (or \discrete spectrum"). Von Neumann, in particular, asked whether unitary equivalence of the associated Koopman opera- tors (\spectral isomorphy") implied the existence of a point isomorphism between two systems (\point isomorphy"). In [17, Satz IV.5], he showed that two ergodic measure-preserving dynamical systems with discrete spectrum on standard proba- bility spaces are point isomorphic if and only if the point spectra of their Koopman operators coincide, which in turn is equivalent to their
    [Show full text]
  • The Gap Between Gromov-Vague and Gromov-Hausdorff-Vague Topology
    THE GAP BETWEEN GROMOV-VAGUE AND GROMOV-HAUSDORFF-VAGUE TOPOLOGY SIVA ATHREYA, WOLFGANG LOHR,¨ AND ANITA WINTER Abstract. In [ALW15] an invariance principle is stated for a class of strong Markov processes on tree-like metric measure spaces. It is shown that if the underlying spaces converge Gromov vaguely, then the processes converge in the sense of finite dimensional distributions. Further, if the underly- ing spaces converge Gromov-Hausdorff vaguely, then the processes converge weakly in path space. In this paper we systematically introduce and study the Gromov-vague and the Gromov-Hausdorff-vague topology on the space of equivalence classes of metric boundedly finite measure spaces. The latter topology is closely related to the Gromov-Hausdorff-Prohorov metric which is defined on different equivalence classes of metric measure spaces. We explain the necessity of these two topologies via several examples, and close the gap between them. That is, we show that convergence in Gromov- vague topology implies convergence in Gromov-Hausdorff-vague topology if and only if the so-called lower mass-bound property is satisfied. Further- more, we prove and disprove Polishness of several spaces of metric measure spaces in the topologies mentioned above (summarized in Figure 1). As an application, we consider the Galton-Watson tree with critical off- spring distribution of finite variance conditioned to not get extinct, and construct the so-called Kallenberg-Kesten tree as the weak limit in Gromov- Hausdorff-vague topology when the edge length are scaled down to go to zero. Contents 1. Introduction 1 2. The Gromov-vague topology 6 3.
    [Show full text]
  • Review of Local and Global Existence Results for Stochastic Pdes with Lévy Noise
    DISCRETE AND CONTINUOUS doi:10.3934/dcds.2020241 DYNAMICAL SYSTEMS Volume 40, Number 10, October 2020 pp. 5639–5710 REVIEW OF LOCAL AND GLOBAL EXISTENCE RESULTS FOR STOCHASTIC PDES WITH LÉVY NOISE Justin Cyr1, Phuong Nguyen1;2, Sisi Tang1 and Roger Temam1;∗ 1 Department of Mathematics Indiana University Swain East Bloomington, IN 47405, USA 2 Department of Mathematics and Statistics Texas Tech University Lubbock, TX 79409, USA (Communicated by Nikolay Tzvetkov) Abstract. This article is a review of Lévy processes, stochastic integration and existence results for stochastic differential equations and stochastic partial differential equations driven by Lévy noise. An abstract PDE of the typical type encountered in fluid mechanics is considered in a stochastic setting driven by a general Lévy noise. Existence and uniqueness of a local pathwise solution is established as a demonstration of general techniques in the area. 1. Introduction. In this article we review results of existence and uniqueness of local pathwise solutions to stochastic partial differential equations (SPDEs) driven by a Lévy noise. Lévy processes are canonical generalizations of Wiener processes that possess jump discontinuities. Lévy noise is fitting in stochastic models of fluid dynamics as a way to represent interactions that occur as abrupt jolts at random times, such as bursts of wind. Models based on SPDEs with Lévy noise have been used to describe observational records in paleoclimatology in [14], with the jump events of the Lévy noise proposed as representing abrupt triggers for shifts between glacial and warm climate states. The articles [40] and [24] use processes with jumps to model phase transitions in bursts of wind that contribute to the dynamics of El Niño.
    [Show full text]
  • Random Variables and Probability Distributions
    Schaum's Outline of Probability and Statistics CHAPTERCHAPTER 122 Random Variables and Probability Distributions Random Variables Suppose that to each point of a sample space we assign a number. We then have a function defined on the sam- ple space. This function is called a random variable (or stochastic variable) or more precisely a random func- tion (stochastic function). It is usually denoted by a capital letter such as X or Y. In general, a random variable has some specified physical, geometrical, or other significance. EXAMPLE 2.1 Suppose that a coin is tossed twice so that the sample space is S ϭ {HH, HT, TH, TT}. Let X represent the number of heads that can come up. With each sample point we can associate a number for X as shown in Table 2-1. Thus, for example, in the case of HH (i.e., 2 heads), X ϭ 2 while for TH (1 head), X ϭ 1. It follows that X is a random variable. Table 2-1 Sample Point HH HT TH TT X 2110 It should be noted that many other random variables could also be defined on this sample space, for example, the square of the number of heads or the number of heads minus the number of tails. A random variable that takes on a finite or countably infinite number of values (see page 4) is called a dis- crete random variable while one which takes on a noncountably infinite number of values is called a nondiscrete random variable. Discrete Probability Distributions Let X be a discrete random variable, and suppose that the possible values that it can assume are given by x1, x2, x3, .
    [Show full text]
  • Sarnak's Möbius Disjointness for Dynamical Systems with Singular Spectrum and Dissection of Möbius Flow
    Sarnak’s Möbius disjointness for dynamical systems with singular spectrum and dissection of Möbius flow Houcein Abdalaoui, Mahesh Nerurkar To cite this version: Houcein Abdalaoui, Mahesh Nerurkar. Sarnak’s Möbius disjointness for dynamical systems with singular spectrum and dissection of Möbius flow. 2020. hal-02867657 HAL Id: hal-02867657 https://hal.archives-ouvertes.fr/hal-02867657 Preprint submitted on 15 Jun 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Sarnak’s M¨obius disjointness for dynamical systems with singular spectrum and dissection of M¨obius flow El Houcein El Abdalaoui Department of Mathematics Universite of Rouen, France and Mahesh Nerurkar Department of Mathematics Rutgers University, Camden NJ 08102 USA Abstract It is shown that Sarnak’s M¨obius orthogonality conjecture is fulfilled for the compact metric dynamical systems for which every invariant measure has singular spectra. This is accomplished by first establishing a special case of Chowla conjecture which gives a correlation between the M¨obius function and its square. Then a computation of W. Veech, followed by an argument using the notion of ‘affinity between measures’, (or the so called ‘Hellinger method’), completes the proof.
    [Show full text]
  • Dynamical Systems of Probabilistic Origin: Gaussian and Poisson Systems Elise Janvresse, Emmanuel Roy, Thierry De La Rue
    Dynamical Systems of Probabilistic Origin: Gaussian and Poisson Systems Elise Janvresse, Emmanuel Roy, Thierry de la Rue To cite this version: Elise Janvresse, Emmanuel Roy, Thierry de la Rue. Dynamical Systems of Probabilistic Origin: Gaussian and Poisson Systems. Encyclopedia of Complexity and Systems Science, 2020, 978-3-642- 27737-5. 10.1007/978-3-642-27737-5_725-1. hal-02451104 HAL Id: hal-02451104 https://hal.archives-ouvertes.fr/hal-02451104 Submitted on 23 Jan 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. DYNAMICAL SYSTEMS OF PROBABILISTIC ORIGIN: GAUSSIAN AND POISSON SYSTEMS ELISE´ JANVRESSE, EMMANUEL ROY AND THIERRY DE LA RUE Outline Glossary 1 1. Definition of the subject 3 2. Introduction 4 3. From probabilistic objects to dynamical systems 4 3.1. Gaussian systems 4 3.2. Poisson suspensions 5 4. Spectral theory 6 4.1. Basics of spectral theory 6 4.2. Fock space 7 4.3. Operators on a Fock space 7 4.4. Application to Gaussian and Poisson chaos 7 5. Basic ergodic properties 8 5.1. Ergodicity and mixing 8 5.2. Entropy, Bernoulli properties 9 6. Joinings, factors and centralizer 10 6.1.
    [Show full text]
  • An Application of a Functional Inequality to Quasi-Invariance in Infinite Dimensions
    An Application of a Functional Inequality to Quasi-Invariance in Infinite Dimensions Maria Gordina Abstract One way to interpret smoothness of a measure in infinite dimensions is quasi-invariance of the measure under a class of transformations. Usually such settings lack a reference measure such as the Lebesgue or Haar measure, and therefore we cannot use smoothness of a density with respect to such a measure. We describe how a functional inequality can be used to prove quasi-invariance results in several settings. In particular, this gives a different proof of the classical Cameron- Martin (Girsanov) theorem for an abstract Wiener space. In addition, we revisit several more geometric examples, even though the main abstract result concerns quasi-invariance of a measure under a group action on a measure space. Keywords and phrases Quasi-invariance • Group action • Functional inequalities 1991 Mathematics Subject Classification. Primary 58G32 58J35; Secondary 22E65 22E30 22E45 58J65 60B15 60H05. 1 Introduction Our goal in this paper is to describe how a functional inequality can be used to prove quasi-invariance of certain measures in infinite dimensions. Even though the original argument was used in a geometric setting, we take a slightly different approach in this paper. Namely, we formulate a method that can be used to prove quasi- invariance of a measure under a group action. Such methods are useful in infinite dimensions when usually there is no natural reference measure such as the Lebesgue measure. At the same time quasi-invariance of measures is a useful tool in proving regularity results when it is reformulated as an integration by parts formula.
    [Show full text]