scholarly journals Almost everywhere convergence of ergodic series

2015 ◽  
Vol 37 (2) ◽  
pp. 490-511 ◽  
Author(s):  
AIHUA FAN

We consider ergodic series of the form $\sum _{n=0}^{\infty }a_{n}f(T^{n}x)$, where $f$ is an integrable function with zero mean value with respect to a $T$-invariant measure $\unicode[STIX]{x1D707}$. Under certain conditions on the dynamical system $T$, the invariant measure $\unicode[STIX]{x1D707}$ and the function $f$, we prove that the series converges $\unicode[STIX]{x1D707}$-almost everywhere if and only if $\sum _{n=0}^{\infty }|a_{n}|^{2}<\infty$, and that in this case the sum of the convergent series is exponentially integrable and satisfies a Khintchine-type inequality. We also prove that the system $\{f\circ T^{n}\}$ is a Riesz system if and only if the spectral measure of $f$ is absolutely continuous with respect to the Lebesgue measure and the Radon–Nikodym derivative is bounded from above as well as from below by a constant. We check the conditions for Gibbs measures $\unicode[STIX]{x1D707}$ relative to hyperbolic dynamics $T$ and for Hölder functions $f$. An application is given to the study of differentiability of the Weierstrass-type functions $\sum _{n=0}^{\infty }a_{n}f(3^{n}x)$.

Author(s):  
ABDELHADI ES-SARHIR

This paper deals with the regularity of an invariant measure μ associated to a class of generalized Ornstein–Uhlenbeck operators. Regularity here means that μ is absolutely continuous with respect to a properly chosen Gaussian reference measure σ on a separable Hilbert space H. Moreover, the square root of its Radon–Nikodym derivative ρ should belong to some directional Sobolev space [Formula: see text].


2015 ◽  
Vol 36 (8) ◽  
pp. 2351-2383 ◽  
Author(s):  
ABDELHAMID ADOUANI

Let$f$and$g$be two class$P$-homeomorphisms of the circle$S^{1}$with break point singularities, which are differentiable maps except at some singular points where the derivative has a jump. Assume that$f$and$g$have irrational rotation numbers and the derivatives$\text{Df}$and$\text{Dg}$are absolutely continuous on every continuity interval of$\text{Df}$and$\text{Dg}$, respectively. We prove that if the product of the$f$-jumps along all break points of$f$is distinct from that of$g$then the homeomorphism$h$conjugating$f$and$g$is a singular function, i.e. it is continuous on$S^{1}$, but$\text{Dh}(x)=0$ almost everywhere with respect to the Lebesgue measure. This result generalizes previous results for one and two break points obtained by Dzhalilov, Akin and Temir, and Akhadkulov, Dzhalilov and Mayer. As a consequence, we get in particular Dzhalilov–Mayer–Safarov’s theorem: if the product of the$f$-jumps along all break points of$f$is distinct from$1$, then the invariant measure$\unicode[STIX]{x1D707}_{f}$is singular with respect to the Lebesgue measure.


1993 ◽  
Vol 03 (04) ◽  
pp. 1045-1049
Author(s):  
A. BOYARSKY ◽  
Y. S. LOU

Jablonski maps are higher dimensional maps defined on rectangular partitions with each component a function of only one variable. It is well known that expanding Jablonski maps have absolutely continuous invariant measures. In this note we consider Jablonski maps defined on countable partitions. Such maps occur, for example, in multivariable number theoretic problems. The main result establishes the existence of an absolutely continuous invariant measure for Jablonski maps on a countable partition with the additional condition that the images of all the partition elements form a finite collection. An example is given.


Author(s):  
Edwin Hewitt ◽  
Herbert S. Zuckerman

Introduction. A famous construction of Wiener and Wintner ((13)), later refined by Salem ((11)) and extended by Schaeffer ((12)) and Ivašev-Musatov ((8)), produces a non-negative, singular, continuous measure μ on [ − π,π[ such thatfor every ∈ > 0. It is plain that the convolution μ * μ is absolutely continuous and in fact has Lebesgue–Radon–Nikodým derivative f such that For general locally compact Abelian groups, no exact analogue of (1 · 1) seems possible, as the character group may admit no natural order. However, it makes good sense to ask if μ* μ is absolutely continuous and has pth power integrable derivative. We will construct continuous singular measures μ on all non-discrete locally compact Abelian groups G such that μ * μ is a absolutely continuous and for which the Lebesgue–Radon–Nikodým derivative of μ * μ is in, for all real p > 1.


1996 ◽  
Vol 06 (06) ◽  
pp. 1143-1151
Author(s):  
E. A. SATAEV

This paper is devoted to presenting and giving a sketch of the proof of the theorem which states that, if the sequence of hyperbolic mappings with singularities converges to degenerating piecewise expanding mapping, then the corresponding sequence of measures of a Sinai-Bowen-Ruelle type converges to an absolutely continuous invariant measure.


2004 ◽  
Vol 11 (3) ◽  
pp. 467-478
Author(s):  
György Gát

Abstract We prove that the maximal operator of the Marcinkiewicz mean of integrable two-variable functions is of weak type (1, 1) on bounded two-dimensional Vilenkin groups. Moreover, for any integrable function 𝑓 the Marcinkiewicz mean σ 𝑛𝑓 converges to 𝑓 almost everywhere.


This chapter presents a higher-order-logic formalization of the main concepts of information theory (Cover & Thomas, 1991), such as the Shannon entropy and mutual information, using the formalization of the foundational theories of measure, Lebesgue integration, and probability. The main results of the chapter include the formalizations of the Radon-Nikodym derivative and the Kullback-Leibler (KL) divergence (Coble, 2010). The latter provides a unified framework based on which most of the commonly used measures of information can be defined. The chapter then provides the general definitions that are valid for both discrete and continuous cases and then proves the corresponding reduced expressions where the measures considered are absolutely continuous over finite spaces.


2012 ◽  
Vol 33 (2) ◽  
pp. 529-548 ◽  
Author(s):  
BENOÎT KLOECKNER

AbstractIn this paper we compute the derivative of the action on probability measures of an expanding circle map at its absolutely continuous invariant measure. The derivative is defined using optimal transport: we use the rigorous framework set up by Gigli to endow the space of measures with a kind of differential structure. It turns out that 1 is an eigenvalue of infinite multiplicity of this derivative, and we deduce that the absolutely continuous invariant measure can be deformed in many ways into atomless, nearly invariant measures. We also show that the action of standard self-covering maps on measures has positive metric mean dimension.


Sign in / Sign up

Export Citation Format

Share Document