2
votes
0answers
53 views

Rising Sun Inequality (Dunford-Schwartz maximal inequality)

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an absolutely integrable function, and let $f^*:\mathbb{R} \rightarrow \mathbb{R}$ be the one-sided signed Hardy-Littlewood maximal function $$f^*(x) := ...
1
vote
0answers
14 views

$L_1$ mean ergodic theorem for the action of compact group

Let $X$ be a Polish space with Borel probability measure $\mu$. A compact group $G$ acts on X continuously. It is right that for any $f\in C_b(X)$ exists a sequence $(g_k \in G)_{k\in \mathbb{N}}$ ...
3
votes
0answers
21 views

Unique ergodicity a spectral invariant?

Suppose $f:X\to X$ and $g:Y\to Y$ are two automorphism of measure spaces. Suppose there is an unitary operator $V:L^2(X)\to L^2(Y)$ satisfying $VU_fV^*=U_g$, here $U_f$ and $U_g$ are the Koopman ...
3
votes
1answer
38 views

Pointwise Ergodic Theorem - one particular estimate

I am struggling with an estimate in a proof of the pointwise ergodic theorem discussed in T. Ward and M. Einsiedler: Ergodic Theory with a view towards Number Theory, which is left as an exercise. I ...
4
votes
0answers
39 views

Shift and ergodic measures

Let $X = \{0,1\}^{\mathbb{N}}$ endowed with the product topology and $\sigma : \left\{ \begin{array}{ccc} X & \to & X \\ (\epsilon_n) & \mapsto & (\epsilon_{n+1}) \end{array} \right.$. ...
1
vote
1answer
38 views

compactness of the set of invariant measures

Suppose that we have a dynamical system on some compact space $X$ with discrete time space and transformation given by some $\phi : X \rightarrow X$. My question is when is the set $Prob(\phi)$ of all ...
2
votes
0answers
46 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
2
votes
1answer
70 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 ...
2
votes
0answers
69 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, ...
3
votes
1answer
147 views

When is the composition operator assigned to a measure-preserving map unitary?

Let $(X,\mathcal{B},\mu)$ be a standard probability space, and let $T:X\rightarrow X$ be a measurable, measure-preserving transformation, i.e. for every $A\in\mathcal{B}$, $\mu(T^{-1}(A))=\mu(A)$. ...
9
votes
0answers
330 views

Compact set of probability measures

I think I can solve the following exercise if X is assumed to be separable, otherwise I can't. Let $X$ be a (Hausdorff) locally compact space, $\pi\colon X \to Y$ a continuous map into a ...
8
votes
1answer
284 views

A convergence problem in Banach spaces related to ergodic theory

Suppose $X$ is a Banach space, $T\in B(X)$, satisfied the following condition. $\sup \Big\lVert\frac{1}{n}\sum \limits_{i=0}^{n-1}T^{i}\Big\rVert<\infty$ $\frac{1}{n}\lVert ...
10
votes
1answer
282 views

$(n^2 \alpha \bmod 1)$ is equidistributed in $\mathbb{T}^2$ if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$

I did the following homework question, can you tell me if I have it right? We want to show that the sequence $(n^2 \alpha \bmod 1)$ is equidistributed if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$. ...
5
votes
1answer
155 views

Ergodic Recurrence

My solution concerning a problem about Ergodic Recurrence requires me to prove that $\|P_T 1_B\| > 0$. Where $P_T$ is the projection onto the space $I := \{f \in L^2 : f \circ T = f\}$, $T$ is a ...
4
votes
1answer
271 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...