Question about probability spaces $(X,\mathcal B,\mu)$ with a measurable map $T\colon X\to X$ preserving the measure, that is $\mu(T^{—1}A)=\mu(A)$ for all $A$ measurable.

learn more… | top users | synonyms

3
votes
0answers
48 views

Ergodic mean for Schrodinger flow

Let us consider the linear Schrodinger equation in $\mathbb{R}^N$ $$ (i\partial _t+\Delta)\,u=0\mbox{ ,}\quad u(0,x)=f$$ with $f\in L^2(\mathbb{R}^N)$, and let $u(t,x)=e^{it\Delta}f$ its solution. ...
4
votes
1answer
60 views

It Suffices to Check Mixing on an Algebra

Let $X, \mathcal{A}, \mu$ be a probability space and $T: X \rightarrow X$ a measure preserving measurable map (i.e. $\mu (T^{-1}(A)) = \mu (A)$ for all $A \in \mathcal{A}$). We say $T$ is mixing for ...
2
votes
1answer
37 views

Spectrum and tower decomposition

I'm trying to read "Partitions of Lebesgue space in trajectories defined by ergodic automorphisms" by Belinskaya (1968). In the beginning of the proof of theorem 2.7, the author considers an ergodic ...
3
votes
1answer
228 views

The Denjoy Theorem

I'm currently studying Denjoy's theorem, which says the following: Theorem If $f$ is a diffeomorphism of $S^1$ with a irrational number rotation $ \rho$ and the variation of $f^{'}$ (denoted by ...
1
vote
1answer
57 views

A random variable, measurable w.r.t. the class of invariant events, is invariant

I would like to deeply understand the following proof; however, many things are not really obvious to me. I would appreciate if somebody could explain the solution in detail. Thank you. Problem ...
2
votes
1answer
63 views

Ergodicity in Transformation Implied by Ergodicity in Induced Transformation

For a finite, recurrant, invertible, measure preserving dynamical system with transformation $T$, I can show that if $T$ is ergodic, then the induced transformation for any positive-measure set is ...
2
votes
1answer
104 views

Proving Borel Cantelli Lemma using Martingales

I need a hint for exercise 5.2.1 in the book: Ergodic Theory: with a view towards Number Theory By Manfred Leopold Einsiedler, Thomas Ward. In the chapter 5 the authors gives the margingale ...
3
votes
1answer
102 views

$\mu(E)>0 \Rightarrow \mu(f(E))=\mu(E)$?

Consider injective continuous functions $f:\mathbb{R}^2 \rightarrow \mathbb{R}^2$. Which of these function are such that: $\mu(E)>0 \Rightarrow \mu(f(E))=\mu(E)$? (Isometries are clearly ok.)
1
vote
0answers
70 views

Different definitions of an ergodic stationary process

From page 3 of a note: A stationary process is ergodic if any two variables positioned far apart in the sequence are almost independently distributed. A formal definition is the following: ...
1
vote
1answer
47 views

Wandering Sets and Recurrent Transformations

I'd like to show that a measure preserving transformation $T:X\rightarrow X$ is recurrent iff it has no wandering sets of positive measure. I'm working from the following definitions: a measurable ...
1
vote
0answers
32 views

Recurrence for upper Banach Density

Let $E\subseteq \mathbb{Z}$ have $d^*(E) >0$ where $d^*$ is upper Banach density. I am trying to understand why there must exist an $1\leq n \leq \frac{1}{d^*(E)} + 1$ such that $d^*(E\cap (E-n)) ...
1
vote
2answers
57 views

a question on orbit in ergodic theory

For the map $T: [0,1]\to [0, 1]$ defined by $Tx=10x\pmod{1}$, how to use the decimal expansion to construct a $x$, such that the orbit of $x$, say $\theta_x=\{T^nx: n\geq 0\}$ is dense in $[0, 1]$ ...
3
votes
3answers
280 views

Relationship between entropy and ergodicity

Are there any direct connections between entropy and ergodicity? For example, does knowing that $(X,\mathcal{S},\mu,T)$ is ergodic help in computing the entropy? I know that there are some indirect ...
4
votes
1answer
241 views

Liouville's theorem: How to get an invariant measure?

Liouville's theorem states that the `natural' 2-from is preserved under the Hamiltonian flow. Apparently this leads to an invariant measure $\mu$ as follows \begin{equation} d\mu = \frac{d\sigma}{|| ...
3
votes
0answers
106 views

Reference for a transformation

Has the (Lebesgue-)ergodic transformation $T: \{0,1\}^{\mathbb{N}} \to \{0,1\}^{\mathbb{N}}$ defined by $T(x(0)x(1)x(2)\cdots) = x(1)x(3)x(5)\cdots$ been well-studied? If so, where? Does it have a ...
0
votes
1answer
54 views

Correspondence between fractal sets and trees

In Hillel Furstenberg's series lectures on ergodic theory in fractal geometry, he mentioned his search on finding a one-to-one correspondence between fractal sets and trees, however, I couldn't not ...
5
votes
1answer
368 views

Ergodic action of a group

What does it mean and how is it defined if the action of a group is meant to be ergodic? Thank you for your replies!
1
vote
0answers
31 views

literature to learn more on ergodic harris recurrent chains with an atom

I'm trying to learn more on the topic mentioned in the title. Namely I'd like to get more information on the behavior of the boundary terms. ie if I decompose sum of my chain (suppose it's ...
10
votes
1answer
213 views

Non-ergodic measure

Is there an easy way to see that if $\mu$ and $\nu$ are $T$-invariant measures on the same space $X$, and $\mu \neq \nu$, then $\frac{1}{2}(\mu+\nu)$ is NOT ergodic? I know that ergodic measures are ...
2
votes
1answer
73 views

Eigenfunction of $T^n$ vs. eigenfunction of $T$ when $T$ is ergodic

Let $(X, \mathcal{B}, \mu, T)$ be an ergodic system, and suppose $f \in L^2(X, \mathcal{B}, \mu)$ is an eigenfunction of $T^n$ for some integer $n > 1$. Is it possible to write $f$ as a linear ...
4
votes
2answers
92 views

Optimal probability measure

Let $A$ be a finite set and let $\Bbb P$ be a probability measure on $A^{\Bbb N_0}$. Further, let $x_i:A^{\Bbb N_0}\to A$ be projection maps, so that $(x_i)_{i=0}^\infty$ can be treated as a ...
2
votes
0answers
71 views

What is the name of this metric: Why is $(\mathcal{M}, L)$ complete

I am reading section 4 of this article about invariant measures: http://maths-people.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Let $(X,d)$ a complete metric space, ...
2
votes
2answers
139 views

Ergodic theory question about the support of a measure.

I am trying to work through some problems from " Ergodic theory with view towards number theory" but I am finding it a tad more difficult than expected. In particular, I have the following question: ...
2
votes
1answer
192 views

Are polynomials modulo $1$ equidistributed?

It is an elementary exercise to show that for irrational $\alpha \in \mathbb{R}$, the sequence $\{ \alpha n \mod 1 \}_{n \in \mathbb{N}}$ is dense in $T := \mathbb{R}/\mathbb{Z}$. With more work, it ...
6
votes
2answers
135 views

Recurrent point of continuous transformation in a compact metric space

Given a metric space $(X,d)$ and a transformation $T:X\rightarrow X$, a point $x\in X$ is said to be recurrent iff it belongs to the closure of its orbit $\{T(x), T^2(x),...\}$: more precisely, ...
1
vote
0answers
60 views

convergence of discrete random variables with finite entropy

Let $Z$ be the set of discrete random variables on some probability space. Define the quantity $d(X_1,X_2)=h(X_1 \mid X_2)+h(X_2 \mid X_1)$ between two random variables $X_1, X_2 \in Z$. For $X \in Z$ ...
1
vote
0answers
60 views

Furstenberg recurrence

I am having trouble verifying exercise 1 here. Can I get some hints/solutions? (It's not homework, I am just reading up on it for my own interest.) Theorem 2. (Furstenberg multiple recurrence ...
3
votes
0answers
87 views

Are geodesic flows on surfaces with negative curvature Anosov?

I'm just going through the original book by Anosov, where he tries to proof this result. I don't quite understand it. So let $\phi_t:TM\rightarrow TM$ be a geodesic flow on a compact surface $M$ of ...
2
votes
0answers
71 views

The chacon transform

I am following this document http://www.jstor.org/stable/2037431?seq=4 Shouldn't it be necessary to check that the chacon transform is ergodic? The theorem I'm familiar is this: Let $T$ be a ...
7
votes
2answers
202 views

What is the distribution of leading digits of the squares?

Inspired by How can 0.149162536... be normal?, I ask for the distribution of the leading coefficients of $1,4,9,16,25,36\ldots$. (namely $1,4,9,1,2,3\ldots$) Does a Benford-like law apply? The online ...
2
votes
1answer
62 views

Why every strict stationary process have the following representation

Suppose $\{X_n\}_{n\geq 1}$ is a strict stationary process, that is for every $n$, $(X_0,\ldots,X_n)$ and $(X_1,\ldots,X_{n+1})$ have the same distribution. Then there is a probability space ...
0
votes
1answer
161 views

Unfolding a Billiard Trajectory

The following image is from page 1019 of http://www-fourier.ujf-grenoble.fr/~lanneau/references/masur_tabachnikov_chap13.pdf From what I understand about unfolding billiards we are representing the ...
1
vote
0answers
51 views

Invariance of conservative part in Hopf decomposition

Let $(\Omega,\mu)$ be a $\sigma$-finite measured space. Let $\tau$ be an endomorphism of this space, meaning that $\mu(\tau^{-1}(A))=\mu(A)$ for any $A$. There is a decomposition $\Omega=C \cup D$ ...
-1
votes
1answer
39 views

Need help with the following:

Proof or counterexample: a) if $T$ is ergodic, then $T^2$ is ergodic, b) if $T$ is strong mixing, then $T^2$ is strong mixing. Thank you.
2
votes
2answers
74 views

A question involving Invariant Set in ergodic theorem

I have a question about the invariant set in the ergodic theorem, I am wondering if anyone could give me some help or hint. In the measurable space (X, $\Sigma$) and consider a measurable self map T, ...
2
votes
0answers
128 views

Bernoulli shift on $S^\mathbb{Z}$

Why is the Bernoulli shift ergodic? I know the proof for $S^\mathbb{N}$. The best would be if you could argue from this fact to the integer case, so that way I can see how one usually goes from ...
2
votes
0answers
86 views

Ergodicity and equidistribution

It is known that ergodicity imply dense, but not vice-versa. Also dense does not imply equidistribution (example). But what about equidistribution and ergodicity properties?
1
vote
1answer
203 views

Ergodic Theory (Weak Mixing)

If $T$ is weak mixing then we know that $T\times T \times \ldots \times T$ is also weak mixing. Does anyone know if this is true for $T\times T \times \ldots$?
4
votes
1answer
70 views

Recipe to proof ergodicity?

Consider the following theorem about equivalent formulations of ergodicity. Let $S$ be a measure preserving map on a measrespace $(\Omega,\mathfrak F,\mathbb P)$ and define $$\nu_n(A,\omega) = ...
8
votes
5answers
261 views

High-School Level Introduction to Dynamical Systems

In one month I'll be giving a talk to motivated high schools students on a topic of my choice from dynamical systems and/or ergodic theory. I'm having trouble coming up with a topic compelling enough ...
12
votes
1answer
221 views

Why is integer approximation of a function interesting?

I have recently learnt the following result: Let $g \in \mathbb{R}[x]$ be a polynomial with $g(0) = 0$. Then, for any $\varepsilon > 0$, the set of positive integers $n$, such that $g(n)$ is ...
1
vote
1answer
114 views

An application of Birkhoff ergodic theorem

Let $(X,B,m)$ be the particular probability space where $X$ is the circle in the plane with center at the origin and radius 1, $B$ is the collection of borel sets, $m$ is the lebesgue measure. Let ...
2
votes
1answer
176 views

A necessary and sufficient condition for ergodicity

Let $(X,\mathcal B,\mu)$ be a probability space and $T\colon X\rightarrow X$ be measure preserving. I need to prove that $T$ is ergodic if and only if the following property holds: If $f\colon ...
1
vote
0answers
79 views

Checking isomorphism between two measure preserving maps

Let $T_1\colon [0,1]\rightarrow [0,1]$ be the full tent map, $B_1$ be the collection of Borel sets, and $m_1$ denote the Lebesgue measure. Let $T_2\colon\sum_2^+\rightarrow \sum_2^+$ be the full one ...
5
votes
1answer
42 views

Historical behavior of the Birkhoff averages

Birkoff Ergodic Theorem: Let be $(X,\mathcal{A},\mu)$ a probability space, $T:X\to X$ a measurable tranformation preserving $\mu$ and $f\in L^{1}(\mu)$, then there exists a $\Sigma \subset X$ and ...
3
votes
1answer
43 views

Need help in proving a set has bounded gaps.

Let $(X,B,\mu)$ be a probability space and $T\colon X\rightarrow X$ is measure preserving. Let $A\in B$ such that $\mu(A)>0$. Then I am asked to prove the following claims: The set of positive ...
1
vote
0answers
23 views

Need help in proving a unique invariant borel probability measure is ergodic. [duplicate]

Let $X$ be a topological space and $f : X \rightarrow X$ be a function. Suppose that there exists a unique invariant borel probability measure m. We need show that m is ergodic : I assumed by ...
4
votes
1answer
106 views

Prove that $m$ is ergodic.

Let $X$ be a topological space, $f\colon X\rightarrow X$ be a function. Suppose that there exists a unique invariant Borel probability measure $m$. Prove that $m$ is ergodic. Thank you.
1
vote
0answers
70 views

Conclusions about the Manneville-Pomeau Example

I was trying to solve an exercise about the Manneville-Pomeau example, but I got stuck. I need to give a little background before posting the exercise. Thank you guys in advance for your attention. ...
2
votes
1answer
87 views

Finding invariant Borel probability measures for a contraction map

Let $X$ be a compact metric space. Let $f:X\rightarrow X$ be a contraction map. I need to find all $f$-invariant Borel probability measures. Thank you.