1
$\begingroup$

It is well known that a rotation $f(z)=e^{i\theta}z$ of the unit circle, is ergodic if and only if $e^{i\theta}$ is not a root of unity.

Now, what happens if we let $\theta$ depend on $z$ (say, continuously)?

To be more explicit: let $\theta:S^1\subset{\mathbb C}\rightarrow [0,2\pi)$ be continuous, and let $$f:S^1\rightarrow S^1,\qquad f(z)=e^{i\theta(z)}z.$$ Does there exist criteria (or some sort of classification) on whether $f$ is ergodic or not?

$\endgroup$
5
  • $\begingroup$ I guess you mean that $\theta$ can depend on $z$? (Rather than on $\theta$.) $\endgroup$ Commented Feb 16, 2012 at 1:01
  • 1
    $\begingroup$ Also your original rotation should be $f(z) = e^{i\theta} z$, and I assume that in your definition of a new map $f$ you want $f(z) = e^{i\theta(z)} z$. $\endgroup$ Commented Feb 16, 2012 at 1:02
  • 3
    $\begingroup$ If I understand your definition, then this is an incredibly large class of systems, and there's essentially no hope of a complete answer. Two remarks jump out: (1) to talk about ergodicity you need an invariant measure. A more meaningful question might be whether or not $f$ is uniquely ergodic. (2) the maps you define are degree 1 maps of the circle. If you put a few more restrictions on $z$ so that they must be homeomorphisms, then there's a very rich theory of orientation preserving homeomorphisms of the circle. See en.wikipedia.org/wiki/Rotation_number, for instance. $\endgroup$ Commented Feb 16, 2012 at 1:07
  • $\begingroup$ Also en.wikipedia.org/wiki/Circle_map gives some idea of the richness of behaviour that can happen. $\endgroup$ Commented Feb 16, 2012 at 1:07
  • $\begingroup$ Vaughn, thanks. The wikipedia reference is very much in the direction I was looking for. I also edited as you observed. $\endgroup$
    – Federico
    Commented Feb 16, 2012 at 18:54

0

You must log in to answer this question.

Browse other questions tagged .