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$ 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$ 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$ 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$ 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
    Feb 16, 2012 at 18:54

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.