Derivatives of rotation number of one parameter families of circle diffeomorphisms (Q418264)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derivatives of rotation number of one parameter families of circle diffeomorphisms |
scientific article |
Statements
Derivatives of rotation number of one parameter families of circle diffeomorphisms (English)
0 references
28 May 2012
0 references
For \(t\in [-\frac{1}{2}, \frac{1}{2}]\) and an orientation-preserving \(C^{\infty }\)-diffeomorphism \(f\) of the circle set \(f_t :=R_t \circ f\), where \(R_t\) is the rotation by \(t\). The author shows that if the rotation number \(\rho (t)\) of \(f_t\) is irrational, then \[ \limsup _{s\to t} \frac{\rho (s)-\rho (t)}{s-t}\geq 1. \] (He also remarks that this inequality is not valid for \(\liminf\).) To this end, a weaker version of the above result is first proved. (This version allows the author to give a new proof of a result of \textit{J. Graczyk} in [Bol. Soc. Bras. Mat., Nova Sér. 24, No. 2, 201--210 (1993; Zbl 0798.58048)].) Next, with the use of the Denjoy distortion lemma, the case when \(\rho (t)\) is a Liouville number is considered. Finally, the case of non-Liouville \(\rho (t)\) is studied. To do this, a result of \textit{P. Brunovský} from [Czech. Math. J. 24(99), 74--90 (1974; Zbl 0308.58007)] is applied.
0 references
circle diffeomorphism
0 references
rotation number
0 references
Liouville number
0 references
Denjoy distortion lemma
0 references
Hausdorff dimension
0 references
invariant measure
0 references