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

4
votes
2answers
47 views

Minimal distance for Irrational Rotations on the circle

It is a well known fact that for $\alpha$ irrational that $\langle n\alpha\rangle$ is dense on the unit circle. I want to know what the result is for computing $a_n=\min_{1\le N \le n} |\langle N ...
5
votes
1answer
62 views

Sawyer's proof that a certain lim sup of sets has full measure

Given $(X, \mathcal{A}, \mu)$ a probability space, let $\mathcal{F}$ be a family of $\mu$-invariant measurable functions, closed under composition, with the following property: If $A$ is a measurable ...
1
vote
0answers
88 views

Testing whether a particular set of measures borelianas is a set of Baire

Let $X$ compact metric space and $F:X\times \mathbb{R}\rightarrow X$ flow continuous ($F(x,t)=F_t(x)$). If $\delta>0$ we define $$\Lambda(x,\delta)=\bigcup_{h\in ...
0
votes
0answers
27 views

expected value of a doubly stochastic matrix with i.i.d entries

I am now thinking a problem: what is the expected value of doubly stochastic matrix with i.i.d entries Each entries is i.i.d in $[0,1]$. Will the answer be a matrix with all entries ...
2
votes
1answer
64 views

Cesaro summation

Let's consider $\{a_{n} \} -$ a bounded sequence of real numbers. Is it true that $\frac{1}{n} \sum_{k=0}^{n-1}{|a_{k}|^{p}}$ (Cesaro sums) converges or diverges for all $p \geq 1$? (more presicely: ...
4
votes
0answers
59 views

Equidistribution theorem of Weyl

Have you examples of applications of Equidistribution theorem of Weyl in proofs of irrationality of numbers? I don't know if "if and only if" is true for this theorem.
0
votes
0answers
9 views

Varying measures and invariant measures

Are there any results related to varying measures? Why are invariant measures so useful/important?
0
votes
0answers
31 views

Ergodic means and Birkhoff theorem

Let's consider the following map $$F(x, y) = \lim_{n \to \infty}{\frac{1}{n} \sum_{k=0}^{n-1}{f(\{x + ky \})}}$$ and $f(x) = x(1-x)$. I would like to evaluate the value of $F(x, y)$ for arbitrary ...
1
vote
0answers
20 views

Confusion about the concept of ergodicity in random process

This is a basic question I came across when I started learning random processes. Suppose I have a random variable $f(t) = G(t) + n(t)$ where $G(t) = A\exp(-t^2/T^2)$ (i.e. a deterministic function ...
3
votes
0answers
32 views

Reference on the history of ergodic theory

I'm looking for some good books on the history of ergodic theory. I'm a Ph.D student in the field, and I am taking Steven Weinberg's advice to learn about the history of my field: ...
1
vote
0answers
22 views

Strong mixing property for endomorphisms of a finite set

Let's consider $X = \{1, 2, \ldots, n \}$. I would like to establish, how many of the maps $f: X \to X$ have the following strong mixing property: For a given triple $(X, \mathcal{B}, \mu)$, $T: X ...
0
votes
1answer
80 views

Eventually periodic continued fraction implies root of polynomial of degree 2

How to prove that every irrational number with eventually periodic continued fraction expansion is a root of a polynomial of degree 2?
1
vote
2answers
58 views

Can a mixing process be non-stationary?

I was always under the impression that a mixing process is ergodic and an ergodic process is necessarily stationary, so that a mixing process is stationary. I have come across a paper discussing ...
1
vote
0answers
43 views

An aquidistributed sequence

Prove that $\{an^\sigma\}$ is equidistributed in $ [0,1) $,if $\sigma>0$ is noninteger and $a\neq 0$. I know how to solve this problem if $\sigma <1$ , so it is not a duplicate of ...
2
votes
0answers
26 views

Ergodicity under measure-theoretic isomorphism

Suppose we have two measurable dynamical systems $(X_1,\mathcal{B}_1,\mu_1,T_1)$ and $(X_2,\mathcal{B}_1,\mu_2,T_2)$, with $\mu_i(X_i)=1,\ i=1,2$. Suppose they are measure-theoretically isomorphic ...
2
votes
2answers
42 views

why topological conjugacy does not preserve ergodicity?

I want to know why topological conjugacy does not transfer ergodicity from one dynamical system to another?and if we change the maps from continous to C1-differentiable will the problem solve or not?
2
votes
1answer
39 views

$T(x) = \{\frac{1}{x} \}$ invariant measure

Let's consider $T: (0,\hspace{-0.05 in}1] \rightarrow [0,\hspace{-0.05 in}1)$ which is defined as $Tx = \{ \frac{1}{x} \}$. It can be shown that Lebesgue measure is not invariant under this map. ...
2
votes
0answers
33 views

Ergodic theorem in two variables?

I just started learning ergodic theorem due to the need in a research project. I am aware of the following form of ergodic theorem: If $\{X_n\}$ is an ergodic process with state space $\mathcal{X}$ ...
1
vote
0answers
38 views

Uniform integrability of functional of an ergodic Markov Chain?

Suppose $\{X_n\}$ is an ergodic Markov Chain with general state space $\mathcal{X}$ and stationary distribution $\pi$. Suppose $\forall x\in\mathcal{X}, f(x)\geq 0$ and ...
6
votes
2answers
69 views

A discontinuous almost everywhere map does not admit an invariant measure

Let's consider a map $T: X \rightarrow X$ so that it's discontinuous almost everywhere (in particular, let $X = \mathbb{R}$, and $T = 1_{\mathbb{Q}}$ -- Dirichlet function). Is it true that $T$ does ...
0
votes
1answer
20 views

Integrability and area-preservation property of maps

Suppose we have a map defined on a plane, $x_{1}=f(x_{0})$, where $x \in \mathbb{R}^{2}$. Assume it is integable: there exists a function $I$ of the phase space variable $x$ such that $I(x)=I(f(x))$. ...
0
votes
1answer
44 views

Rotation map on $S^1$ preserves measure

I'm having a little trouble understanding following the example in my book as to why the rotation map $R_{\alpha}$ preserves Lebesgue measure. We have $R_{\alpha}([x])=[x+\alpha]$ and ...
1
vote
0answers
35 views

Question about dense trajectory on $k$-dimensional torus under rotation map

Today when I was doing ergodic theory problems I faced with following problem: Assume rotation map on $k$-dimensional torus under $\alpha=(\alpha_1,...,\alpha_n)$ then orbit of all $x$ in ...
1
vote
1answer
34 views

Computing Lyapunov Exponents

Consider $\mathcal{T}=S^{1}\times D^{2}$, where $S^{1}=[0,1]\mod 1$ and $D^{2}=\{(x,y)\in\mathbb{R}^{2}|x^{2}+y^{2}\le 1\}$. Fix $\lambda\in(0,\frac{1}{2})$ and define the map ...
1
vote
1answer
44 views

Question About Definition of Lyapunov Exponents

I just have a quick question about the definition of Lyapunov exponents. My textbook defines them for a smooth map $f:M\to M$, where $M$ is a smooth manifold. For $x\in M$ and $v\in T_xM$: ...
3
votes
0answers
47 views

Understanding Proof of Poincare Recurrence Theorem

I'm trying to follow a proof in my book of the Poincare Recurrence Theorem, but I have three questions about this proof: Theorem Let $(X,\Sigma,\mu$ be a finite measure space, $f:X\to X$ be a ...
0
votes
1answer
26 views

Point with a dense trajectory

Let's consider a map $\varphi: [0, 1] \rightarrow [0, 1]$ so that $x \mapsto \{2x \}$. I would like to find a point $x$ so that its trajectory is everywhere dence in $[0,1]$. Firstly, the basic idea ...
2
votes
1answer
38 views

Is there is a map from the 3-dimensional ball to itself that does not admit an invariant measure?

Krylov-Bogolybov theorem states that if $X$ is metrizable compact space and $f: X \rightarrow X$ is continous then it admits an invariant Borel probability measure. I would like to build a map $F$ ...
0
votes
0answers
12 views

Can you think of interesting examples of equidistribtuion of a surface measure supported on a curve?

I am trying to understand equidistribution, and am trying to think of two dimensional examples where a measure is supported on a one dimensional subspace (line/curve/...), but in the limit under the ...
1
vote
1answer
85 views

What probability topics can be read without Measure Theory

I know Intermediate Probability Theory and Statistics (distributions, convergence concepts, characteristic functions, etc.) and am pretty good at these. I would love to know more about Probability ...
3
votes
1answer
70 views

Orbit of transformation on point in measure space returns to subset

Let $X$ be a measure space and $T:X\to X$ a measure preserving transformation. The Poincare recurrence theorem states that for any $T$ and any $A\subset X$ with $\mu(A) > 0$ (we take $\mu(X)=1$) ...
2
votes
1answer
17 views

Is there a way to find $\limsup$ and $\liminf$ for ergodic processes almost surely?

Let $\{X_k\}$ be an ergodic process. I know that if $f$ is a smooth real valued function then by Birkoff's ergodic theorem, $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n f(X_k)=\mathbb{E}(f(X_1))\mbox{ ...
0
votes
0answers
53 views

Bakers map has dense orbit.

Let $X=[0,1]^2$, $L$-the Lebesgue measure on the $\sigma$-field of Borel sets. Define the map $T:X \to X$: $$T(x,y)= \begin{cases} (2x,y) \textrm{ for } x \in [0,\frac{1}{2}), y \in [0,1] \\ (2x-1, ...
3
votes
1answer
91 views

Definition of topological entropy

What the meaning of the limit that appears in the definition of topological entropy? Let $X$ a compact metric space and $f\colon X\to X$ a continuous function and a subset $K \subset X$. The ...
1
vote
1answer
61 views

What is measure theoretical entropy in multidimensional symbolic dynamical systems?

Can any one describe the term entropy used in dynamical systems, and what is roll of entropy in symbolic dynamical systems and please give the brief introduction on measure theoretical entropy?
4
votes
2answers
82 views

Ergodic components of Markov chain by transition matrix

I would like to find an algorithm for obtaining all ergodic components of a finite Markov chain with discrete time defined by its transition matrix (i.e. ergodic subchains into which the given chain ...
2
votes
1answer
37 views

Measure preserving transformation $T([a,b])\subset P$ if $\lambda(P)=\lambda([a,b])$

"Suppose that a measurable subset $P \subset [0,1]$ and the interval $I = [a,b] \subset [0,1]$ are such that $\lambda(P) = \lambda(I)$, where $\lambda$ is the Lebesgue measure on $[0,1]$. Show that ...
5
votes
1answer
167 views

Show that Brownian motion on the unit circle is exponentially ergodic and has the uniform measure as its invariant distribution.

My search results keep bring up planar Brownian motion on the unit disk. However, I am specifically referring to $e^{jW_{t}} = [\cos(W_t),\sin(W_t)]^{T}$ where $W_t$ is Brownian motion. I am at a ...
1
vote
1answer
40 views

A claim in Krengel's book on Ergodic Theorems.

In Krengel's it's argued that the fact that $\exists 0\ne u \in L_\infty$ orthogonal to $(zI-T)L_1$ , where $z$ is a complex number on the unit circle, $|z|=1$, then $T^* u = zu$. I don't understnad ...
1
vote
1answer
28 views

Stationarity and Ergodicity vs. Memorylessness

A (discrete) memoryless information source is (usually) defined as a collection of random variables that are independent and identically distributed. My question is, does memorylessness imply ...
1
vote
1answer
16 views

A question on measure from Krengel's book on Ergodic Theorems.

Something which I am not sure how is it inferred. On page 307 of the book Ergodic Theorems by Ulrich Krengel, they write that: " $M_l(x) = \mu(\{ z : k_1(x,z)\geq 1/l \} )$. Let $l(x)$ be the ...
1
vote
0answers
45 views

Is $X(T) = A \sin(\omega_0 t + \Phi)$ mean ergodic?

This is an example of a tutorial but I think has not been solved properly. Please help me! $X(T) = A \sin(\omega_0 t + \Phi)$ $A$ and $\phi$ are independent $A$ is uniformly distributed over ...
2
votes
1answer
104 views

Bernoulli product measure

Let $\Omega=\{0,1\}^\mathbb{N}$ and $\mathcal{A}$ the sigma-algebra generated by the cylinders sets $\{w\in\Omega\vert \forall s \in S, w_s=\epsilon_s\}$ with $S\subset\mathbb{N}$ finite and ...
2
votes
0answers
25 views

Moser's Twist Theorem for maps with reflection

Suppose I have a simple two dimensional integrable twist map, such as $x_{1}=x_{0}+y_{0}, \quad y_{1}=y_{0}$. Suppose that I perturb it in such a way that Moser's Twist Theorem is satisfied. What ...
2
votes
0answers
39 views

finding an invariant measure

Are there any methods for finding an (infinite, absolutely continuous with respect to lebesgue measure) invariant measure $d\mu=f(u,v)dudv$ for something like the following? $$ T:Q\to Q, \ ...
2
votes
1answer
42 views

Can I use Birkhoff's Ergodic Theorem for this problem?

I have a stationary process $\{u_n\}$ and I have a function $f:\mathbb{R}^L\to \mathbb{R}^+$. I want to evaluate the following limit $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n g(f(\mathbf{u}_{k}))$$ ...
0
votes
1answer
46 views

Does aperiodicity needed for ergodic theorem to hold true?

Given a irreducible and positive recurrent countable state Markov Chain with unique stationary distribution $\pi$, is the following true $$\frac{1}{n}\sum_{i=1}^{n}X_i \to \sum j \pi_j$$ Or, to ...
2
votes
1answer
60 views

Use of ergodic theory in numerical simulations

Is ergodic theory used in numerical simulations? The kind of application I have in mind is: for $\alpha$ irrational, $( n\alpha \mod 1)_{n \geq 0}$ is equi-distributed on $[0,1]$, and I imagine that ...
0
votes
0answers
27 views

Reference on the normality of some numbers

I'm searching for a contemporary reference on the normality on basis 10 of the Champernowne and Erdös-Copeland constants, defined as $$ C=0,12345678910111213... $$ $$ E=0,23571113...$$ that is, the ...
1
vote
0answers
45 views

Krylov-Bogoliubov theorem in discrete and continuous time

Consider the following two similar frameworks (the first one in discrete time, the second one in continuous time) in which I am trying to apply the Krylov-Bogoliubov theorem. 1) (Discrete time.) ...