Conjugaison topologique

En mathématiques, et plus particulièrement dans la théorie des systèmes dynamiques, deux fonctions $f$ et $g$ sont dites topologiquement conjuguées (ou simplement conjuguées lorsqu'il n'y a pas de risque de confusion avec, par exemple, la conjugaison complexe) s'il existe un homéomorphisme $h$ tel que $g=h^{-1}\circ f\circ h$ (où $\circ$ note la composition des fonctions). Deux fonctions conjuguées ont les mêmes propriétés dynamiques (par exemple le même nombre de points fixes), d'où l'importance de cette notion dans l'étude en particulier des suites définies par itération.

Définitions et propriétés générales

Dans tout ce qui suit, $f:X\to X,g:Y\to Y$, et $h:Y\to X$ notent des applications continues entre des espaces topologiques $X$ et $Y$.

$f$ est semiconjuguée (topologiquement) à $g$ s'il existe une surjection $h$ telle que $f\circ h=h\circ g$.

$f$ et $g$ sont topologiquement conjuguées si $h$ est bijective, et si la bijection réciproque $h^{-1}$est également continue, autrement dit si $h$ est un homéomorphisme ; on dit dans ce cas que $h$ conjugue $f$ et $g$, et on a $g=h^{-1}\circ f\circ h$.

Si $X=Y$, la conjugaison est une relation d'équivalence, puisque $f=i^{-1}\circ f\circ i$ (où $i$ est l'identité de $X$), $g=h^{-1}\circ f\circ h⟺f=(h^{-1}{)}^{-1}\circ f\circ h^{-1}$ et $f_2=h^{-1}\circ f_1\circ h,f_3=k^{-1}\circ f_2\circ k\Rightarrow f_3=(k^{-1}\circ h^{-1})\circ f_1\circ (h\circ k)$.

La conjugaison s'étend aux itérées d'une fonction, puisque $g=h^{-1}\circ f\circ h\Rightarrow g^n=h^{-1}\circ f^n\circ h$.

Si $f$ et $g$ sont conjuguées par $h$, et si $x$ est un point fixe de $f$ (donc si $f(x)=x$), alors $g(h^{-1}(x))=h^{-1}(f(h(h^{-1}(x))))=h^{-1}(f(x))=h^{-1}(x)$, et donc $h^{-1}(x)$ est un point fixe de $g$ ; plus généralement, $h$ est une bijection entre les points fixes de $g$ et ceux de $f$.

Si une suite $(u_n{)}_{n\in \mathbb{N}}$ d'éléments de $X$ est définie par $u_{n+1}=f(u_n)$, la suite $(v_n{)}_{n\in \mathbb{N}}$ définie par $v_0=h^{-1}(u_0)$ et le même schéma de récurrence $v_{n+1}=g(v_n)$ vérifie (pour tout $n\in \mathbb{N}$) $v_n=h^{-1}(u_n)$, et donc la même périodicité que la suite $(u_n)$ ; de plus, les applications étant continues, si la suite $(u_n)$ converge vers $a$, alors la suite $(v_n)$ converge vers $h^{-1}(a)$.

Exemples

• L'application logistique $x\mapsto \mu x(1-x)$, l'application de Mandelbrot $x\mapsto x^2+\mu$ et l'application de la tente $x\mapsto \mu \min (x,1-x)$ sont conjuguées.
• Les transformations de Möbius de la sphère de Riemann (distinctes de l'identité), $z\mapsto \frac{az+b}{cz+d}$ (avec $ad\ne bc$) se répartissent en deux classes d'équivalence selon qu'elles sont conjuguées à une translation $z\mapsto z+k$ (si$(d-a{)}^2+4bc=0$) ou à une homothétie $z\mapsto kz$ (si$(d-a{)}^2+4bc\ne 0$) ; de plus, on peut conjuguer deux transformations de la même classe par une autre transformation de MöbiusModèle:Note.

Équivalence topologique

On a une définition analogue pour les flots : si $\varphi$ est un flot sur $X$, $\psi$ un flot sur $Y$ et $h$ une application continue de $Y$ vers $X$, $\varphi$ est semiconjuguée (topologiquement) à $\psi$ si $h$ est une surjection telle que $\varphi (h(y),t)=h\circ \psi (y,t)$ pour tous $y\in Y$, $t\in ℝ$ ; $\varphi$ et $\psi$ sont alors topologiquement conjugués si Modèle:Mvar est un homéomorphisme.

Pour les flots, on définit également une notion plus faible : $\varphi$ et $\psi$ sont topologiquement équivalents s'il existe un homéomorphisme $h:Y\to X$, envoyant les orbites de $\psi$ vers les orbites de $\varphi$ et préservant leurs orientations. Plus précisément, si $𝒪$ est une orbite, on doit avoir pour tout $y\in Y$

$h(𝒪(y,\psi ))=\{h\circ \psi (y,t):t\in ℝ\}=\{\varphi (h(y),t):t\in ℝ\}=𝒪(h(y),\varphi )$,

et les flots doivent être (localement) de même sens : pour tout $y\in Y$, il existe $\delta >0$ tel que, si $0<|s|<t<\delta$, et si Modèle:Mvar vérifie $\varphi (h(y),s)=h\circ \psi (y,t)$, alors $s>0$.

Des systèmes d'équations différentielles à deux dimensions ayant des orbites fermées (le cas non-hyperbolique) ne sont en général pas topologiquement conjugués, car il n'est pas possible d'avoir les mêmes périodes sur chaque orbite dans les deux systèmes (autrement dit, les trajectoires sont déformables les unes dans les autres, mais pas les orbites) ; c'est la raison pour laquelle on a introduit l'équivalence topologique.

Équivalence lisse et équivalence orbitale

Des notions d'équivalence plus fines peuvent être définies si les flots $\varphi$ et $\psi$ proviennent d'équations différentielles : deux systèmes dynamiques définis par les équations différentielles $\dot{x}=f(x)$ et $\dot{y}=g(y)$, sont dits équivalents de façon lisse (smoothly equivalent) s'il existe un difféomorphisme $h:X\to Y$ tel que

$f(x)=M^{-1}(x)g(h(x))\text{, où}M(x)=\frac{\mathrm{d}h(x)}{\mathrm{d}x}.$

Dans ce cas, on peut transformer le premier système par le « changement de coordonnées » $y=h(x)$ pour obtenir le second.

Deux systèmes dynamiques sur le même espace d'états, définis par $\dot{x}=f(x)$ et $\dot{x}=g(x)$, sont dits équivalents pour les orbites (orbitally equivalent) s'il existe une fonction à valeurs positives, $\mu :X\to ℝ$, telle que $g(x)=\mu (x)f(x)$. Des systèmes équivalents pour les orbites ne diffèrent que par la paramétrisation par le temps.

Ces deux notions d'équivalence sont plus fines que l'équivalence topologique. Par exemple, les systèmes linéaires réels de dimension 2 de la forme $\dot{x}=Ax$ sont caractérisés par les valeurs propres de la matrice $A$. En particulier, les systèmes pour lesquels ces valeurs propres sont complexes et de partie réelle positive ont des foyers instables, autour desquels les trajectoires s'enroulent en spirales ; tous ces systèmes sont topologiquement équivalents, mais non équivalent pour les orbites ou de façon lisse, la condition pour ces dernières équivalence étant que les valeurs propres soient les mêmes.

Un exemple d'application

Modèle:Article connexe La méthode de Newton appliquée au calcul de la racine carrée de $a$ (méthode de Héron) amène à étudier la suite définie par $x_{n+1}=x_n-\frac{x_n^2-a}{2x_n}=\frac{x_n^2+a}{2x_n}=f(x_n)$, avec $f:x\mapsto \frac{x^2+a}{2x}$ ; or $f$ est conjuguée à $g:x\mapsto x^2$ par $h:x\mapsto \sqrt{a}\frac{1+x}{1-x}$ (avec $h^{-1}:x\mapsto \frac{x-\sqrt{a}}{x+\sqrt{a}}$) ; on en déduit que la suite $y_n=h^{-1}(x_n)$ vérifie la récurrence $y_{n+1}=g(y_n)$, donc $y_n=y_0^{2^n}$ et finalement la formule explicite $x_n=h(y_n)=\sqrt{a}\frac{1+y_0^{2^n}}{1-y_0^{2^n}}$, qui converge très rapidement vers $\sqrt{a}$ si $|y_0|<1$.

Voir aussi

• Diagramme commutatif
• Équation de Schröder
• Fonction itérée