Nombre de rotation

Nombre de rotation

En mathématiques, et plus précisément en théorie des systèmes dynamiques, le nombre de rotation est un invariant des homéomorphismes du cercle. Il fut introduit par Henri Poincaré en 1885, en relation avec la précession du périhélie des orbites planétaires. Poincaré démontra par la suite qu'il n'existe d'orbite périodique que si le nombre de rotation est rationnel.

Sommaire

Définition

Soit f: S1 → S1 un homéomorphisme du cercle S1 = R/Z préservant l'orientation. Alors f peut être relevé (de manière unique à un entier près) en un homéomorphisme F: R → R de la droite numérique ; plus précisément, si f(a)=0 (en identifiant S1 à [0,1[), on a F(x)=f(x) pour \scriptstyle 0\le x<a, F(x)=f(x)+1 pour \scriptstyle a\le x<1, et \scriptstyle F(x + 1) = F(x) +1 pour tout x réel (la fonction F -IdR est donc 1-périodique).

Le nombre de rotation de f est alors défini[1] à l'aide des itérées de F :

\omega(f)=\lim_{n\to\infty} \frac{F^n(x)}{n},

avec F^n=F\circ F\circ\dots\circ F (n fois).

Henri Poincaré a démontré que la limite existe et est indépendante de x ; si on remplace F par F+p, cette limite est également augmentée de p, aussi le nombre de rotation est-il défini à un entier près (ou plutôt est un élément bien précis de R/Z). Intuitivement, il mesure l'angle de rotation moyen le long d'une orbite de f.

Exemples

Si f est une rotation d'angle θ, et donc si F(x) = x + θ, son nombre de rotation ω(f) est égal à θ.

Si f admet un point fixe a = f(a), son nombre de rotation est nul.

S'il existe un a tel que f(a) \ne a et f(f(a)) = a, ω(f) = 1 / 2. Plus généralement, si f admet un point périodique a tel que fq(a) = a, et donc que Fq(a) = a + p, ω(f) = p / q et est donc rationnel.

Propriétés

Le nombre de rotation est invariant par semiconjugaison topologique : si f et g sont deux homéomorphismes du cercle et qu'il existe une application continue h, non nécessairement bijective, du cercle dans lui-même telle que \scriptstyle h\circ f = g\circ h , alors f et g ont les mêmes nombres de rotation. Ce résultat fut utilisé par Poincaré et Arnaud Denjoy pour classer les homéomorphismes du cercle. Il y a essentiellement deux types d'homéomorphismes f, selon les orbites possibles de f (une orbite est la suite des valeurs x, f(x), f(f(x)),... pour un x donné) :

  • Le nombre de rotation de f est rationnel : ω(f) = p/q (sous forme irréductible). Alors f admet une orbite périodique, toutes les orbites périodiques sont de période q, et l'ordre des points de chacune de ces orbites coïncide avec celui d'une rotation d'angle p/q. De plus, chaque orbite de f converge vers une orbite périodique.
  • Le nombre de rotation de f est un irrationnel θ. Alors f n'admet pas d'orbite périodique. On peut distinguer deux sous-cas :
  1. Il existe une orbite dense. Dans ce cas, f est conjuguée par un homéomorphisme h à la rotation irrationnelle \scriptstyle r:x\mapsto x+\theta (c'est-à-dire que \scriptstyle f=h\circ r\circ h^{-1}), et toutes les orbites sont denses. Denjoy a démontré que c'est toujours le cas si f admet une dérivée seconde continue.
  2. Il existe un ensemble C, homéomorphe à l'ensemble de Cantor, et invariant par f. Alors les orbites de tous les points ont C pour valeurs d'adhérence. Dans ce cas, f est seulement semiconjuguée à r par une application continue h (c'est-à-dire que \scriptstyle h\circ r = f\circ h ), et h est constante sur le complémentaire de C.

D'autre part, le nombre de rotation est continu en tant qu'application allant du groupe des homéomorphismes du cercle (muni de la topologie de la convergence) vers le cercle.

Généralisations

La notion de nombre de rotation ne s'étend même pas, sous cette forme, aux applications continues du cercle dans lui-même d'indice 1, mais non bijectives : Arnold a donné le simple contre-exemple \scriptstyle f : x\mapsto x+\sin(2\pi x), pour lequel la limite définissant ω(f) peut, selon x, prendre différentes valeurs, voire ne pas exister[2]. Cependant, on peut dans ce cas associer à chaque x son ensemble de rotation, ensemble des valeurs d'adhérence de la suite des Fn(x)/n ; la même construction s'applique alors, par exemple, à des homéomorphismes de la couronne {(x,y) / 1 < x2 + y2 < 2}, ou du tore S^1\times S^1 ; son étude est connue sous le nom de théorie de la rotation (Rotation theory).

Notes

  1. ↑ On trouve plus fréquemment mentionné la définition (évidemment équivalente) \scriptstyle \omega(f)=\lim_{n\to\infty} (F^n(x)-x)/n
  2. ↑ Université de Paris-Sud, Systèmes dynamiques, examen de 2005

Voir aussi

Références


  • M.R. Herman, Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations, Publ. Math. IHES, 49 (1979) pp. 5–234

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Nombre de rotation de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • rotation — [ rɔtasjɔ̃ ] n. f. • 1486, repris fin XVIIe; lat. rotatio 1 ♦ Mouvement d un corps qui se déplace autour d un axe (matériel ou non), au cours duquel chaque point du corps se meut avec la même vitesse angulaire. ⇒ giration. Rotation de la Terre.… …   Encyclopédie Universelle

  • Nombre Complexe Fendu — En mathématiques, les nombres complexes fendus sont une extension des nombres réels définis de manière analogue aux nombres complexes (usuels). La différence clef entre les deux est que la multiplication des nombres complexes (usuels) respecte la …   Wikipédia en Français

  • Nombre De Rossby — Le nombre de Rossby est un nombre sans dimension très utilisé en dynamique des fluides géophysiques. Il représente le rapport entre les forces d inerties et les forces dues à la rotation qui caractérisent le mouvement d un fluide dans un repère… …   Wikipédia en Français

  • Nombre complexe fendu — En mathématiques, les nombres complexes fendus sont une extension des nombres réels définis de manière analogue aux nombres complexes (usuels). La différence clef entre les deux est que la multiplication des nombres complexes (usuels) respecte la …   Wikipédia en Français

  • Nombre de rossby — Le nombre de Rossby est un nombre sans dimension très utilisé en dynamique des fluides géophysiques. Il représente le rapport entre les forces d inerties et les forces dues à la rotation qui caractérisent le mouvement d un fluide dans un repère… …   Wikipédia en Français

  • Rotation (mathématiques élémentaires) — Rotation plane Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Nombre Complexe — Pour les articles homonymes, voir complexe. Les nombres complexes forment une extension de l ensemble des nombres réels. Ils permettent notamment de définir des solutions à toutes les équations polynomiales à coefficients réels. Les nombres… …   Wikipédia en Français

  • Rotation de la terre — Le nombre de rotations de la Terre sur elle même est de 365,2425 par an environ (calendrier grégorien), soit 366,2425 jours sidéraux (rotation par rapport au système de référence céleste). Comme la Terre n est pas rigoureusement un solide massif… …   Wikipédia en Français

  • Rotation (géométrie) — Rotation Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. La rotation (du latin rotare : tourner) est le mouvement d un corps autour d un point ou d un axe …   Wikipédia en Français

  • nombre — [ nɔ̃br ] n. m. • déb. XIIe; lat. numerus I ♦ 1 ♦ Concept de base des mathématiques, une des notions fondamentales de l entendement que l on peut rapporter à d autres idées (de pluralité, d ensemble, de correspondance), mais non définir.… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”