text:
# Ensembles d’unicité pour les polynômes 11footnote 1Classification mathématique: 30D05, 58F23. Mots clés: ensemble d’unicité, ensemble de Julia, mesure invariante.

## 1 Introduction

On note $`^1=\{\mathrm{}\}`$ la droite projective complexe. Un compact $`E`$ de $``$ est appelé ensemble d’unicité si pour tous polynômes non constants $`f`$ et $`g`$ vérifiant $`f^1(E)=g^1(E)`$ on a $`f=g`$. S’il existe un polynôme $`P\mathrm{id}`$ tel que $`P^1(E)=E`$, alors $`E`$ n’est pas un ensemble d’unicité.

###### Question 1

Supposons que $`P^1(E)E`$ pour tout polynôme $`P\mathrm{id}`$. $`E`$ est-t-il un ensemble d’unicité?

Les ensembles d’unicité pour les polynômes de même degré sont déterminés par Ostrovskii, Pakovitch et Zaidenberg . Les ensembles d’unicité pour les fonctions entières ou méromorphes avec un nombre minimal d’éléments sont étudiés par Nevanlinna et également par plusieurs autres auteurs (voir par exemple ).

###### Question 2

Soit $`\mu `$ une mesure de probabilité à support compact dans $``$. Pour quels polynômes $`f`$ et $`g`$ de degrés $`d1`$ et $`d^{}1`$ on a $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$?

Les deux questions posées ci-dessus sont étroitement liées. En effet, si la capacité logarithmique $`E`$ est positive et si $`f^1(E)=g^1(E)`$, alors $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$ pour la mesure d’équilibre $`\mu `$ de $`E`$. Réciproquement, si $`E`$ est le support de $`\mu `$ et si $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$, on a $`f^1(E)=g^1(E)`$. De plus, on peut trouver un compact $`E_0`$ de capacité logarithmique positive tel que $`f^1(E_0)=g^1(E_0)`$ (voir le paragraphe 3). Lorsque $`fg`$, $`E`$ et $`E_0`$ ne sont donc pas ensembles d’unicité. Les deux cas particuliers de ces problèmes sont le problème de détermination des fonctions ayant le même ensemble de Julia ou la même mesure totalement invariante et le problème de détermination des fonctions permutables  (voir également ). Notre résultat principal est le théorème suivant:

###### Théorème 1

Soient $`\mu `$ une mesure de probabilité à support compact dans $``$ et $`f`$, $`g`$ deux polynômes de degrés $`d1`$ et $`d^{}1`$. Soit $`m`$ le plus grand diviseur commun de $`d`$ et $`d^{}`$. Supposons que $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$. Alors il existe un polynôme $`Q`$ de degré $`m`$ et des polynômes $`f_0`$, $`g_0`$ tels que $`f=f_0Q`$, $`g=g_0Q`$ et tels que l’une des conditions suivantes soit vraie:

1. $`f_0=\mathrm{id}`$ ou $`g_0=\mathrm{id}`$.
2. $`d>m`$, $`d^{}>m`$ et pour une certaine coordonnée $`z`$ de $``$ on a $`f_0(z)=z^{d/m}`$, $`g_0(z)=az^{d^{}/m}`$$`a0`$ est une constante.
3. $`d>m`$, $`d^{}>m`$ et pour une certaine coordonnée $`z`$ de $``$ on a $`f_0=\pm \mathrm{T}_{d/m}`$, $`g_0=\pm \mathrm{T}_{d^{}/m}`$$`\mathrm{T}_k`$ est le polynôme de Tchebychev de degré $`k`$.

###### Corollaire 1

Soit $`E`$ un compact de capacité logarithmique positive de $``$. Alors $`E`$ est un ensemble d’unicité si et seulement si pour tout polynôme $`P\mathrm{id}`$ on a $`P^1(E)E`$.

Soit $`P`$ un polynôme de degré au moins deux. L’ensemble de Julia rempli $`K_P`$ de $`P`$ est l’ensemble des points d’orbite bornée, i.e. les points $`z`$ tels que les suites $`\{P^n(z)\}_n`$ soient bornées. Ici on note $`P^n:=P\mathrm{}P`$ le $`n`$-ième itéré de $`P`$. L’ensemble de Julia $`J_P`$ est le bord topologique de l’ensemble $`K_P`$. Alors $`K_P`$ est le plus grand compact totalement invariant par $`P`$, i.e. $`P^1(K_P)=K_P`$. L’ensemble $`J_P`$ est le plus petit compact totalement invariant par $`P`$ qui contient plus qu’un élément (voir par exemple \[2, 4.2.2\]).

###### Corollaire 2

Soit $`E`$ un compact de capacité logarithmique positive de $``$. Supposons que $`E`$ n’est pas un ensemble d’unicité et que $`E`$ n’est pas invariant par aucune rotation de $``$. Alors il existe un polynôme $`P`$ de degré au moins deux tel que $`P^1(E)=E`$ et $`J_PEK_P`$.

Si dans un ouvert $`U`$ l’intersection $`J_PU`$ est un ensemble non vide, inclus dans une courbe réelle lisse, alors $`P(z)=z^d`$ ou $`P(z)=\pm \mathrm{T}_d(z)`$ pour une certaine coordonnée $`z`$ de $``$ \[15, p.127\]. La notation $`\mathrm{T}_d`$ signifie le polynôme de Tchebychev de degré $`d`$ défini par $`\mathrm{T}_d(\mathrm{cos}t):=\mathrm{cos}dt`$. Si $`P(z)=z^d`$, $`K_P`$ est le disque unité, $`J_P`$ est le cercle unité; si $`P(z)=\pm \mathrm{T}_d(z)`$, $`K_p`$ et $`J_p`$ sont égaux au segment $`[1,1]`$. On en déduit facilement que, toute courbe réelle lisse par morceaux, qui n’est invariante par aucune rotation, est un ensemble d’unicité.

L’ensemble $`J_P`$ est le support d’une mesure de probabilité $`\mu _P`$ qui est totalement invariante par $`P`$, i.e. $`(\mathrm{deg}P)^1P^{}(\mu _P)=\mu _P`$. C’est la seule mesure de probabilité à support compact qui est totalement invariante par $`P`$ sauf dans le cas où $`P(z)=z^d`$ pour une certaine coordonnée $`z`$ de $``$. Dans ce cas exceptionnel, toute mesure totalement invariante est une combinaison linéaire de la mesure de Lebesgue sur le cercle unité et de la masse de Dirac en $`0`$. Dans le théorème 1, si $`g_0=\mathrm{id}`$, $`\mathrm{deg}f_02`$ et si $`f_0`$ n’est pas conjugué à $`z^{d/m}`$ on a $`\mu =\mu _{f_0}`$. Dans la deuxième condition du théorème 1, $`\mu `$ est une combinaison linéaire de la masse de Dirac en $`0`$ et de la mesure de Lebesgue sur le cercle $`\{z:|z|=|a|^{d/(dd^{})}\}`$. Dans la troisième condition de ce théorème, $`\mu `$ est la mesure totalement invariante des polynômes de Tchebychev.

Dans la preuve du théorème 1, on se ramène à des systèmes dynamiques holomorphes en une et en plusieurs variables. D’abord, on peut choisir une fonction subharmonique $`\phi _0`$ telle que $`i\overline{}\phi _0=\mu `$ et $`d^1\phi _0f=d_{}^{}{}_{}{}^{1}\phi _0g=:\phi _1`$. Notons $`\delta _f(z):=\mathrm{exp}(2i\pi /d)z+a_0+a_1z^1+\mathrm{}`$ le germe d’application holomorphe défini au voisinage de $`\mathrm{}`$ qui préserve les fibres de $`f`$. Notons $`\delta _g`$ le germe analogue pour $`g`$. Alors $`\delta _f`$ et $`\delta _g`$ préservent les lignes de niveau de $`\phi _1`$. Dans une coordonnée locale convenable, les lignes de niveau de $`\phi _1`$ au voisinage de $`\mathrm{}`$ sont les cercles de centre $`\mathrm{}`$. Par conséquent, pour cette coordonnée locale, $`\delta _f`$ et $`\delta _g`$ sont des rotations. D’où $`\delta _f\delta _g=\delta _g\delta _f`$ et $`\delta _f^{d/m}=\delta _g^{d^{}/m}=:\delta `$. Notons $`_f(z)`$ la fibre de $`f`$ qui contient $`z`$, i.e. $`_f(z)=f^1f(z)`$. Le polynôme $`Q`$ sera défini comme un polynôme dont toute fibre générique $`_Q(z)`$ est égale à l’intersection $`_f(z)_g(z)`$. Au voisinage de $`\mathrm{}`$, la fibre $`_Q(z)`$ est l’orbite de $`z`$ par $`\delta `$. Ceci entraîne que $`Q`$ est bien défini et qu’il est de degré $`m`$ (proposition 2). Si $`m=d`$ ou $`m=d^{}`$, on peut choisir $`P=f`$ ou $`P=g`$; la condition 1 du théorème 1 est alors vraie. Pour la suite de la preuve, on peut supposer que $`d>1`$ et $`d^{}>1`$ sont premiers entre eux.

Notons $`\mathrm{\Phi }`$ un polynôme de degré $`dd^{}`$ vérifiant $`_\mathrm{\Phi }(z)=g^1g(_f(z))`$ pour tout $`z`$. Au voisinage de $`\mathrm{}`$, $`_\mathrm{\Phi }(z)`$ est l’ensemble des points $`\delta _g^n\delta _f^m(z)`$ car $`\delta _f`$ et $`\delta _g`$ commutent. Ceci entraîne que $`\mathrm{\Phi }`$ existe et que $`_\mathrm{\Phi }(z)=f^1f(_g(z))`$ (proposition 2). Alors on peut décomposer $`\mathrm{\Phi }=f_1g=g_1f`$$`f_1`$ (resp. $`g_1`$) est un polynôme de degré $`d`$ (resp. $`d^{}`$). En suite, on peut montrer que $`𝒞_{f_1}=g(𝒞_f)`$ et $`𝒞_{g_1}=f(𝒞_g)`$$`𝒞`$ signifie l’ensemble critique. Ceci, sous certaines conditions posées sur les coefficients dominants et sur les valeurs de polynômes en $`0`$, permet de construire un endomorphisme polynomial $`𝒟_{d,d^{}}`$ de l’ensemble $`\mathrm{\Sigma }(d,d^{})`$ des couples $`(f,g)`$. L’ensemble des couples $`(f,g)`$ qui vérifient les hypothèses du théorème 1, est un sous-ensemble algébrique $`𝒩(d,d^{})`$ invariant par $`𝒟_{d,d^{}}`$. L’ensemble des couples $`(f,g)`$ qui vérifient la condition 2 ou 3 du théorème 1, décrit deux courbes $`𝒞_1(d,d^{})`$ et $`𝒞_2(d,d^{})`$. Il reste à prouver que $`𝒩(d,d^{})=𝒞_1(d,d^{})𝒞_2(d,d^{})`$. On montrera que les points périodiques de $`𝒩(d,d^{})`$ appartiennent à $`𝒞_1(d,d^{})𝒞_2(d,d^{})`$. Ceci est dû à la solution d’une équation bien connue: $`fg=gf`$ (en particulier, pour les points fixes, on obtient directement $`\mathrm{\Phi }=fg=gf`$). Finalement, l’invariance de $`𝒩(d,d^{})`$ par $`𝒟_{d,d^{}}`$ implique que $`𝒩(d,d^{})=𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

Remerciement.— Je tiens à remercier Charles Favre et Nessim Sibony pour leurs aides pendant la préparation de cet article.

## 2 Factorisation de polynômes

Soit $`P`$ un polynôme de degré $`d1`$. Il existe une fonction holomorphe unique $`B(z)=z+a_0+a_1z^1+a_2z^2+\mathrm{}`$ définie au voisinage de $`\mathrm{}`$ telle que $`BPB^1=\alpha z^d`$$`\alpha `$ est le coefficient dominant de $`P`$ (voir par exemple \[2, 6.10.1\]). On définit la fonction $`\delta _P`$ par la formule $`\delta _P(z):=B^1(\theta _dB(z))`$$`\theta _d:=\mathrm{exp}(2\pi i/d)`$. Cette fonction est définie au voisinage de $`\mathrm{}`$, permute les éléments de chaque fibre de $`P`$ et vérifie $`P\delta _P=P`$, $`\delta _P^d=\mathrm{id}`$. Soit $`\mathrm{\Phi }`$ une application définie dans un voisinage suffisamment petit de $`\mathrm{}`$ à l’image dans un espace $`X`$. Alors $`\mathrm{\Phi }`$ s’écrit sous la forme $`GP`$ si et seulement si $`\delta _P`$ préserve les fibres de $`\mathrm{\Phi }`$, i.e. $`\mathrm{\Phi }\delta _P=\mathrm{\Phi }`$.

###### Proposition 1

Soient $`X`$ un espace métrique, $`a`$ un point de $`X`$ et $`\mathrm{\Phi }`$ une application définie dans un voisinage suffisamment petit de $`\mathrm{}`$ à l’image dans $`X\{a\}`$ vérifiant $`lim_z\mathrm{}\mathrm{\Phi }(z)=a`$. Soient $`P_1`$ et $`P_2`$ deux polynômes de degrés $`d_11`$ et $`d_21`$ tels que $`\mathrm{\Phi }`$ s’écrive sous les formes $`\mathrm{\Phi }=G_1P_1=G_2P_2`$. Soit $`m`$ le plus grand diviseur commun de $`d_1`$ et $`d_2`$. Alors $`\delta _{P_1}\delta _{P_2}=\delta _{P_2}\delta _{P_1}`$ et $`\delta _{P_1}^{d_1/m}=\delta _{P_2}^{d_2/m}`$. En particulier, si $`d_1=d_2`$ il existe un polynôme linéaire $`\sigma `$ tel que $`P_1=\sigma P_2`$.

* Preuve— On montre que $`\delta _{P_1}\delta _{P_2}=\delta _{P_2}\delta _{P_1}`$. Supposons que $`\delta :=\delta _{P_1}^1\delta _{P_2}\delta _{P_1}\delta _{P_2}^1\mathrm{id}`$. Remarquons que $`\delta `$ s’écrit sous la forme $`\delta (z)=z+a_0+a_1z^1+a_2z^2+\mathrm{}`$. La dynamique d’une telle application est bien connue (voir par exemple \[2, 6.5\]). Il existe un point $`z`$ tel que $`\delta ^n(z)`$ tende vers $`\mathrm{}`$ quand $`n+\mathrm{}`$. Par conséquent, $`\mathrm{\Phi }(\delta ^n(z))`$ tend vers $`a`$. C’est une contradiction car $`\mathrm{\Phi }\delta =\mathrm{\Phi }`$. De même manière, on montre que $`\delta _{P_1}^{d_1/m}\delta _{P_2}^{d_2/m}=\mathrm{id}`$ et $`\delta _{P_1}^{d_1/m}=\delta _{P_2}^{d_2/m}`$.

Si $`d_1=d_2`$, on a $`\delta _{P_1}=\delta _{P_2}`$. Par conséquent, $`_{P_1}(z)=_{P_2}(z)`$ au voisinage de $`\mathrm{}`$. Par analyticité, ceci est vrai pour tout $`z`$. Alors on peut définir la fonction $`\sigma `$ holomorphe dans $``$ par $`\sigma :=P_1P_2^1`$. Il est clair que $`\sigma `$ est bijective. Par conséquent, $`\sigma `$ est linéaire et $`P_1=\sigma P_2`$.

$`\mathrm{}`$

Pour tout polynôme $`P`$, on note $`𝒞_P`$ l’ensemble critique de $`P`$. Un point de $`𝒞_P`$ sera compté $`k`$ fois s’il est de multiplicité $`k`$.

###### Proposition 2

Soient $`P_1`$ et $`P_2`$ deux polynômes de degrés $`d_11`$ et $`d_21`$. Soit $`m`$ le plus grand diviseur commun de $`d_1`$ et $`d_2`$.

1. Si $`\mathrm{\Phi }`$ est un polynôme vérifiant $`\mathrm{\Phi }\delta _{P_1}=\mathrm{\Phi }`$ au voisinage de $`\mathrm{}`$, alors il existe un polynôme $`R`$ tel que $`\mathrm{\Phi }=RP_1`$.
2. Si $`\delta _{P_1}^{d_1/m}=\delta _{P_2}^{d_2/m}`$ alors il existe un polynôme $`Q`$ de degré $`m`$ et des polynômes $`R_1`$, $`R_2`$ tels que $`P_1=R_1Q`$ et $`P_2=R_2Q`$. En particulier, si $`d^{}=m`$ il existe un polynôme $`R`$ tel que $`P_1=RP_2`$.
3. Si $`m=1`$ et si $`\delta _{P_1}\delta _{P_2}=\delta _{P_2}\delta _{P_1}`$, il existe un polynôme $`\mathrm{\Phi }`$ de degré $`d_1d_2`$ et des polynômes $`P_1^{}`$, $`P_2^{}`$ tels que $`\mathrm{\Phi }=P_1^{}P_2=P_2^{}P_1`$. De plus, on a $`𝒞_{P_1^{}}=P_2(𝒞_{P_1})`$ et $`𝒞_{P_2^{}}=P_1(𝒞_{P_2})`$.

* Preuve— 1. Le fait que $`\mathrm{\Phi }\delta _{P_1}`$ implique que $`_{P_1}(z)_\mathrm{\Phi }(z)`$ pour $`z`$ dans un voisinage de $`\mathrm{}`$. Par analyticité, ceci est vrai pour tout $`z`$. Par conséquent, on peut définir la fonction $`R`$ holomorphe dans $``$ par $`R(z):=\mathrm{\Phi }P^1(z)`$. On a $`\mathrm{\Phi }=RP_1`$. Comme $`\mathrm{\Phi }`$ et $`P`$ sont des polynômes, $`lim_z\mathrm{}R(z)=\mathrm{}`$. Donc $`R`$ est un polynôme.

2. On note $`w:=(w_1,w_2)`$ les coordonnées de $`^2`$. Soient $`\mathrm{\Pi }:^2`$ défini par $`\mathrm{\Pi }(z):=(P_1(z),P_2(z))`$ et $`𝒞:=\mathrm{\Pi }()`$. Alors $`𝒞`$ est une courbe algébrique de $`^2`$. De plus, elle est parabolique car elle est l’image de $``$ par une application holomorphe. D’où $`𝒞`$ est un $``$ ou un $`^{}`$ immergé dans $`^2`$. La courbe compactifiée $`\overline{𝒞}^2`$ est donc rationnelle. Comme $`P(z)/Q(z)`$ a une limite finie ou infinie quand $`z\mathrm{}`$, $`\overline{𝒞}`$ coupe la droite infinie $`L`$ en un seul point $`a`$. De plus, au voisinage de $`a`$, $`\overline{𝒞}`$ est irréductible car c’est l’image d’un voisinage de $`\mathrm{}`$ par l’application $`\mathrm{\Pi }`$. On en déduit que $`𝒞=\overline{𝒞}\{a\}`$ est un $``$ immergé. Soit $`\phi :𝒞`$ une application holomorphe, injective en dehors d’un nombre fini de points. On pose $`Q:=\phi ^1\mathrm{\Pi }`$. Alors $`Q`$ est une fonction holomorphe définie en dehors d’un nombre fini de points au voisinage desquels elle est bornée. Par conséquent, $`Q`$ se prolonge en une fonction holomorphe sur $``$. On vérifie facilement que $`lim_z\mathrm{}Q(z)=\mathrm{}`$. Donc $`Q`$ est un polynôme. On pose $`\delta :=\delta _{P_1}^{d_1/m}=\delta _{P_2}^{d_2/m}`$.

Au voisinage de $`\mathrm{}`$, on a

$$Q\delta =\phi ^1(P_1\delta ,P_2\delta )=\phi ^1(P_1,P_2)=Q.$$

Soient $`z_1`$ et $`z_2`$ suffisamment proches de $`\mathrm{}`$ tels que $`Q(z_1)=Q(z_2)`$. Alors $`P_1(z_1)=P_1(z_1)`$ et $`P_2(z_1)=P_2(z_2)`$. Il existe donc les entiers $`0n_1d_11`$ et $`0n_2d_21`$ tels que $`z_1=\delta _{P_1}^{n_1}(z_2)=\delta _{P_2}^{n_2}(z_2)`$. De plus, on sait que

$$\underset{z\mathrm{}}{lim}\frac{\delta _{P_j}^{n_j}(z)}{z}=\mathrm{exp}(2n_j\pi i/d_j).$$

Par conséquent, l’égalité $`\delta _{P_1}^{n_1}(z_2)=\delta _{P_2}^{n_2}(z_2)`$ pour $`z_2`$ suffisamment proche de $`\mathrm{}`$ implique que $`n_jm`$ est divisible par $`d_j`$ pour $`j=1`$ ou $`2`$. On a alors $`z_1=\delta ^{n_1m/d_1}(z_2)`$.

Les deux arguments ci-dessus montrent que $`\delta _Q=\delta `$. Par conséquent, $`\mathrm{deg}Q=m`$. D’après la première partie, il existe des polynômes $`R_1`$ et $`R_2`$ tels que $`P_1=R_1Q`$ et $`P_2=R_2Q`$.

On remarque que $`_Q(z)=_{P_1}(z)_{P_2}(z)`$ pour un $`z`$ générique car ceci est vrai au voisinage de $`\mathrm{}`$. On peut également prouver cette partie par la même méthode que l’on utilisera dans la troisième partie.

3. Comme $`m=1`$, il existe des entiers relatifs $`n_1`$ et $`n_2`$ tels que $`n_1d_2+n_2d_1=1`$. Posons $`\delta :=\delta _{P_1}^{n_1}\delta _{P_2}^{n_2}`$. Alors $`\delta `$ s’écrit sous la forme $`\delta (z)=\mathrm{exp}(2\pi i/dd^{})z+a_0+a_1z^1+\mathrm{}`$. Notons $`(z)=P_2^1P_2(_{P_1}(z))`$. Un point de $`(z)`$ est compté $`k`$ fois s’il est de multiplicité $`k`$. Alors $`(z)`$ est de cardinal $`dd^{}`$ et au voisinage de $`\mathrm{}`$, $`(z)`$ est l’orbite de $`z`$ par $`\delta `$ car $`\delta _{P_1}\delta _{P_2}=\delta _{P_2}\delta _{P_1}`$. On en déduit que $`(z)=P_1^1P_1(_{P_2}(z))`$ au voisinage de $`\mathrm{}`$. Par analyticité, ceci est vrai pour tout $`z`$.

Pour tout $`1ndd^{}1`$, on note $`S_n(z)`$ la somme symétrique des termes du type $`z_1\mathrm{}z_n`$ avec $`\{z_1,\mathrm{},z_n\}(z)`$. Alors $`S_n(z)`$ est une fonction holomorphe sur $``$. Il est clair que $`|\delta _{P_1}^i\delta _{P_2}^j(z)/z|`$ tend vers $`1`$ quand $`z\mathrm{}`$ pour tous $`i`$ et $`j`$. Par conséquent, $`S_n(z)=\text{O}(|z|^n)`$ quand $`z\mathrm{}`$. On en déduit que $`\mathrm{deg}S_nndd^{}1`$. Comme au voisinage de $`\mathrm{}`$, $`(z)`$ est l’orbite de $`z`$ par $`\delta `$, on a $`(z)=(z_1)`$ pour tout $`z_1(z)`$. Par conséquent, $`S_n`$ est constant sur $`(z)`$. Le fait que $`(z)`$ est de cardinal $`dd^{}>\mathrm{deg}S_n`$ implique que $`S_n`$ est un polynôme constant. Soit $`\mathrm{\Phi }`$ le polynôme de degré $`dd^{}`$ défini par:

$$\mathrm{\Phi }(z):=z^{dd^{}}S_1z^{dd^{}1}+\mathrm{}+(1)^{dd^{}1}S_{dd^{}1}z.$$

Alors au voisinage de $`\mathrm{}`$, $`_\mathrm{\Phi }(z)=(z)`$. Par analyticité, ceci est vrai pour tout $`z`$. Par conséquent, $`\mathrm{\Phi }\delta _{P_1}=\mathrm{\Phi }`$ et $`\mathrm{\Phi }\delta _{P_2}=\mathrm{\Phi }`$. D’après la première partie, il existe des polynômes $`P_1^{}`$ et $`P_2^{}`$ tels que $`\mathrm{\Phi }=P_1^{}P_2=P_2^{}P_1`$.

On a $`𝒞_\mathrm{\Phi }=𝒞_{P_2}P_2^1(𝒞_{P_1^{}})`$. Ici la notation $`𝒞`$ signifie l’ensemble critique et un point critique sera compté $`k`$ fois s’il est de multiplicité $`k`$. Remarquons qu’un point critique $`z`$ de $`\mathrm{\Phi }`$ est de multiplicité $`k`$ si et seulement si $`z`$ est un point de multiplicité $`k+1`$ de $`(z)`$. Comme $`(z)=P_2^1P_2(_{P_1}(z))`$, on a $`𝒞_\mathrm{\Phi }=𝒞_{P_2}P_2^1P_2(𝒞_{P_1})`$. Alors $`P_2^1(𝒞_{P_1^{}})=P_2^1P_2(𝒞_{P_1})`$ car $`𝒞_\mathrm{\Phi }=𝒞_{P_2}P_2^1(𝒞_{P_1^{}})`$. D’où $`𝒞_{P_1^{}}=P_2(𝒞_{P_1})`$. De même, on a $`𝒞_{P_2^{}}=P_1(𝒞_{P_2})`$.

$`\mathrm{}`$

Soient $`\mu `$ une mesure de probabilité à support compact et $`f`$, $`g`$ deux polynômes de degrés $`d`$ et $`d^{}`$ vérifiant $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$. Soit $`\phi `$ une fonction subharmonique vérifiant $`i\overline{}\phi =\mu `$. Cette fonction est harmonique sur la composante non bornée de $`\text{supp}(\mu )`$; elle est unique à une constante près. De plus, $`\phi \mathrm{ln}|z|`$ est harmonique et bornée au voisinage de $`\mathrm{}`$. Posons $`\psi :=d^1\phi f`$. Alors $`i\overline{}\psi =d^1f^{}(\mu )`$. Comme $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$, on a $`d_{}^{}{}_{}{}^{1}\phi g=\psi +c`$$`c`$ est une constante. Lorsque $`dd^{}`$, quitte à remplacer $`\phi `$ par $`\phi dd^{}c/(dd^{})`$, on peut supposer que $`c=0`$. Dans tous les cas, on peut appliquer la proposition 1 pour la fonction $`\psi `$. On obtient $`\delta _f\delta _g=\delta _g\delta _f`$ et $`\delta _f^{d/m}=\delta _g^{d^{}/m}`$$`m`$ est le plus grand diviseur commun de $`d`$ et $`d^{}`$. D’après la proposition 2, on a:

###### Corollaire 3

Il existe un polynôme $`Q`$ de degré $`m`$ et des polynômes $`f_0`$, $`g_0`$ tels que $`f=f_0Q`$, $`g=g_0Q`$ et $`(d/m)^1f_0^{}(\mu )=(d^{}/m)^1g_0^{}(\mu )`$. En particulier, si $`d^{}`$ divise $`d`$, il existe un polynôme $`P`$ de degré $`d/d^{}`$ tel que $`f=Pg`$ et $`d^1d^{}P^{}(\mu )=\mu `$.

## 3 Endomorphisme polynomial $`𝒟_{d,d^{}}`$

Soient $`\mu _0`$ une mesure de probabilité à support compact de $``$ et $`f_0`$, $`g_0`$ deux polynômes de degrés $`d>1`$, $`d^{}>1`$ vérifiant $`d^1f_0^{}(\mu _0)=d_{}^{}{}_{}{}^{1}g_0^{}(\mu _0)`$ . On suppose que $`d`$ et $`d^{}`$ sont premiers entre eux (voir le corollaire 3) et que $`d>d^{}`$. Soient $`\beta 0`$ et $`\alpha 0`$ les coefficients dominants de $`f_0`$ et $`g_0`$. On choisit un point $`a`$ tel que $`f_0(a)=g_0(a)`$. Soit $`b:=f_0(a)=g_0(a)`$. Quitte à remplacer $`f_0`$ par $`\sigma _1f_0\sigma _2`$, $`g_0`$ par $`\sigma _1g_0\sigma _2`$ et $`\mu _0`$ par $`(\sigma _1)_{}(\mu _0)`$ on peut supposer que $`a=b=0`$ et $`\beta =1`$$`\sigma _2(z):=Az+a`$, $`\sigma _1(z):=A^d\beta ^1(zb)`$ et $`A^{}`$. Soit $`\phi `$ la fonction subharmonique vérifiant $`i\overline{}\phi =\mu _0`$ et $`d^1\phi f_0=d_{}^{}{}_{}{}^{1}\phi g_0`$. Posons $`\phi _0(z):=\mathrm{max}(0,\phi (z))`$, $`\phi _1:=d^1\phi _0f_0`$, $`E_0:=\phi _0^1(0)`$ et $`E_1:=f_0^1(E_0)`$. Alors $`\phi _0`$ est subharmonique; $`\phi _1=d_{}^{}{}_{}{}^{1}\phi _0g_0`$ et $`E_1=g_0^1(E_0)`$. Comme $`\phi `$ tend vers l’infini quand $`z\mathrm{}`$, $`E_0`$ est compact. Alors $`\phi _0`$ est la fonction de Green de $`^1E_0`$ avec un seul pôle en $`\mathrm{}`$. On en déduit que $`E_0`$ est de capacité logarithmique positive (voir par exemple, \[16, III.8\]).

Notons $`\mathrm{\Sigma }(d,d^{},\alpha )`$ l’ensemble des couples $`(f,g)`$$`f`$ (resp. $`g`$) est un polynôme de degré $`d`$ (resp. $`d^{}`$) à coefficient dominant $`1`$ (resp. $`\alpha `$) qui s’annule en $`0`$.

###### Lemme 1

Il existe un couple unique $`(f_1,g_1)\mathrm{\Sigma }(d,d^{},\alpha ^d)`$ et un compact $`E_1`$ de capacité logarithmique positive tels que $`f_1g_0=g_1f_0`$ et tels que $`E_0=f_1^1(E_1)=g_1^1(E_1)`$. De plus, on a $`𝒞_{f_1}=g_0(𝒞_{f_0})`$ et $`𝒞_{g_1}=f_0(𝒞_{g_0})`$.

* Preuve— D’après le corollaire 3 et la proposition 2, il existe un polynôme $`\mathrm{\Phi }`$ de degré $`dd^{}`$ et des polynômes $`f_1`$ et $`f_2`$ tels que $`\mathrm{\Phi }=f_1g_0=g_1f_0`$. Quitte à remplacer $`\mathrm{\Phi }`$, $`f_1`$ et $`g_1`$ par $`\sigma \mathrm{\Phi }`$, $`\sigma f_1`$ et $`\sigma g_1`$, on peut supposer que $`\mathrm{\Phi }(0)=0`$ et que le coefficient dominant de $`\mathrm{\Phi }`$ soit $`\alpha ^d`$$`\sigma `$ est un certain polynôme linéaire. On a alors $`(f_1,g_1)\mathrm{\Sigma }(d,d^{},\alpha ^d)`$.

Montrons qu’au voisinage de $`\mathrm{}`$, $`\delta _{f_1}`$ préserve les lignes de niveau de $`\phi _0`$. Soient $`a_1`$ et $`a_2`$ suffisamment proches de $`\mathrm{}`$ tels que $`f_1(a_1)=f_1(a_2)`$. Il faut prouver que $`\phi _0(a_1)=\phi _0(a_2)`$. Il existe $`b_1`$ et $`b_2`$ tels que $`g_0(b_1)=a_1`$ et $`g_0(b_2)=(a_2)`$. Alors $`\mathrm{\Phi }(b_1)=\mathrm{\Phi }(b_2)`$. Par construction de $`\mathrm{\Phi }`$ (voir la preuve de la proposition 2), il existe $`m`$ et $`n`$ tels que $`b_1=\delta _{f_0}^m\delta _{g_0}^n(b_2)`$. Comme $`\phi _1=d^1\phi _0f_0=d_{}^{}{}_{}{}^{1}\phi _0g_0`$, les applications $`\delta _{f_0}`$ et $`\delta _{g_0}`$ préservent les lignes de niveau de $`\phi _1`$. D’où $`\phi _1(b_1)=\phi _1(b_2)`$. On obtient

$$\phi _0(a_1)=\phi _0g_0(b_1)=d^{}\phi _1(b_1)=d^{}\phi _1(b_2)=\phi _0g_0(b_2)=\phi _0(a_1).$$

Alors au voisinage de $`\mathrm{}`$, $`\delta _{f_1}`$ préserve les lignes de niveau de $`\phi _0`$, i.e. les lignes de niveau de $`\phi _0`$ sont réunions de fibres de $`f_1`$. Comme $`\phi _0`$ est harmonique dans $`E_0=\phi _0^1(0)`$, elle est réelle analytique dans $`E_0`$. Par analyticité, $`E_0`$ est une réunion de fibres de $`f_1`$. Par conséquent, $`E_0`$ est une réunion de fibres de $`f_1`$. Posons $`E_1:=f_1(E_0)`$. Alors $`E_0=f_1^1(E_1)`$. Il est clair que $`E_1`$ est de capacité logarithmique positive. Les relations $`f_1g_0=g_1f_0`$ et $`f_0^1(E_0)=g_0^1(E_0)`$ entraînent $`g_1^1(E_1)=E_0`$. Les polynômes $`f_1`$ et $`g_1`$ sont uniques car la fonction $`\mathrm{\Phi }`$ est unique (voir la preuve de la proposition 2). D’après la proposition 2, on a $`𝒞_{f_1}=g_0(𝒞_{f_0})`$ et $`𝒞_{g_1}=f_0(𝒞_{g_0})`$.

$`\mathrm{}`$

###### Remarque 1

1. On peut construire les couples $`(f_k,g_k)\mathrm{\Sigma }(d,d^{},\alpha ^{d^k})`$ et les compacts $`E_k`$ tels que $`f_kg_{k1}=g_kf_{k1}`$ et $`E_{k1}=f_k^1(E_k)=g_k^1(E_k)`$.

2. On fixe un $`k1`$ et un $`m0`$. On pose $`\stackrel{~}{d}:=d^k`$, $`\stackrel{~}{d}^{}:=d_{}^{}{}_{}{}^{k}`$, $`\stackrel{~}{\alpha }:=\alpha ^{d^m(d^{k1}+d^{k2}d^{}+\mathrm{}+d_{}^{}{}_{}{}^{k1})}`$, $`\stackrel{~}{f}_i:=f_{ik+k+m1}\mathrm{}f_{ik+m}`$, $`\stackrel{~}{g}_i:=g_{ik+k+m1}\mathrm{}g_{ik+m}`$, $`\stackrel{~}{E}_i:=E_{ik+k+m1}`$ pour $`i=0`$ ou 1. Alors $`(\stackrel{~}{f}_0,\stackrel{~}{g}_0)\mathrm{\Sigma }(\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha })`$ et $`(\stackrel{~}{f}_1,\stackrel{~}{g}_1)\mathrm{\Sigma }(\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha }^{\stackrel{~}{d}})`$. On vérifie facilement que $`\stackrel{~}{f}_1\stackrel{~}{g}_0=\stackrel{~}{g}_1\stackrel{~}{f}_0`$ et que $`\stackrel{~}{E}_0=\stackrel{~}{f}_1^1(\stackrel{~}{E}_1)=\stackrel{~}{g}_1^1(\stackrel{~}{E}_1)`$. Par l’unicité, $`(\stackrel{~}{f}_1,\stackrel{~}{g}_1)`$ est le couple que l’on peut construire comme dans le lemme 1 mais pour les polynômes $`\stackrel{~}{f}_0`$ et $`\stackrel{~}{g}_0`$.

On remarque qu’un couple $`(f,g)\mathrm{\Sigma }(d,d^{},\alpha )`$ est déterminé uniquement par les points critiques de $`f`$ et de $`g`$. Notons $`\mathrm{\Pi }_{d,d^{},\alpha }:^{d1}\times ^{d^{}1}\mathrm{\Sigma }(d,d^{},\alpha )`$ l’application qui associe un point $`(x,y)=(x_1,\mathrm{},x_{d1},y_1,\mathrm{},y_{d^{}1})`$ le couple $`(f,g)\mathrm{\Sigma }(d,d^{},\alpha )`$ vérifiant $`𝒞_f=\{x_1,\mathrm{},x_{d1}\}`$ et $`𝒞_g=\{y_1,\mathrm{},y_{d^{}1}\}`$. Cette application définit un revêtement ramifié au-dessus de $`\mathrm{\Sigma }(d,d^{},\alpha )`$. On définit l’application $`𝒟_{d,d^{}}:^{d1}\times ^{d^{}1}\times ^{}^{d1}\times ^{d^{}1}\times ^{}`$ par:

$$𝒟_{d,d^{}}(x,y,\alpha ):=(g(x_1),\mathrm{},g(x_{d1}),f(y_1),\mathrm{},f(y_{d^{}1}),\alpha ^d)$$

$`(f,g):=\mathrm{\Pi }_{d,d^{},\alpha }(x,y)`$. Les polynômes $`f`$ et $`g`$ sont déterminés par les formules explicites suivantes:

$$f(z)=\frac{1}{d}_0^z(tx_1)\mathrm{}(tx_{d1})𝑑t$$

et

$$g(z)=\frac{\alpha ^d}{d^{}}_0^z(ty_1)\mathrm{}(ty_{d^{}1})𝑑t.$$

Il est clair que $`𝒟_{d,d^{}}`$ est un endomorphisme polynomial.

###### Remarque 2

1. D’après le lemme précédent, si $`\mathrm{\Pi }_{d,d^{},\alpha }(x,y)=(f_0,g_0)`$ on a $`\mathrm{\Pi }_{d,d^{},\alpha ^d}(x^{},y^{})=(f_1,g_1)`$$`(x^{},y^{},\alpha ^d):=𝒟_{d,d^{}}(x,y,\alpha )`$.

2. D’après la remarque 1, si $`\mathrm{\Pi }_{\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha }}(\stackrel{~}{x},\stackrel{~}{y})=(\stackrel{~}{f}_0,\stackrel{~}{g}_0)`$ on a $`\mathrm{\Pi }_{\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha }}(\stackrel{~}{x}^{},\stackrel{~}{y}^{})=(\stackrel{~}{f}_1,\stackrel{~}{g}_1)`$$`(\stackrel{~}{x}^{},\stackrel{~}{y}^{},\stackrel{~}{\alpha }^{\stackrel{~}{d}}):=𝒟_{\stackrel{~}{d},\stackrel{~}{d}^{}}(\stackrel{~}{x},\stackrel{~}{y},\stackrel{~}{\alpha })`$.

## 4 Ensemble invariant $`𝒩(d,d^{})`$

Notons $`(d,d^{})`$ l’ensemble des points $`(x,y,\alpha )^{d1}\times ^{d^{}1}\times ^{}`$ vérifiant $`f^{}g=g^{}f`$$`(f,g):=\mathrm{\Pi }_{d,d^{},\alpha }(x,y)`$, $`(x^{},y^{},\alpha ^d):=𝒟_{d,d^{}}(x,y,\alpha )`$ et $`(f^{},g^{}):=\mathrm{\Pi }_{d,d^{},\alpha ^d}(x^{},y^{})`$. Notons $`𝒩(d,d^{})`$ l’ensemble des $`(x,y,\alpha )(d,d^{})`$ vérifiant les deux propriétés suivantes:

* 1. $`𝒫(d,d^{})`$: pour tout $`n0`$, on a $`𝒟_{d,d^{}}^n(x,y,\alpha )(d,d^{})`$.
* 2. Pour tous $`k1`$ et $`m0`$, si $`\mathrm{\Pi }_{\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha }}(\stackrel{~}{x},\stackrel{~}{y})=(\stackrel{~}{f},\stackrel{~}{g})`$ alors $`(\stackrel{~}{x},\stackrel{~}{y},\stackrel{~}{\alpha })`$ vérifie la condition $`𝒫(\stackrel{~}{d},\stackrel{~}{d}^{})`$$`(x_n,y_n,\alpha _n):=𝒟_{d,d^{}}^n(x,y,\alpha )`$, $`(f_n,g_n):=\mathrm{\Pi }_{d,d^{},\alpha _n}(x_n,y_n)`$, $`\stackrel{~}{f}:=f_{k+m1}\mathrm{}f_m`$, $`\stackrel{~}{g}:=g_{k+m1}\mathrm{}g_m`$, $`\stackrel{~}{d}:=d^k`$, $`\stackrel{~}{d}^{}:=d_{}^{}{}_{}{}^{k}`$ et $`\stackrel{~}{\alpha }:=\alpha ^{d^m(d^{k1}+d^{k2}d^{}+\mathrm{}+d_{}^{}{}_{}{}^{k1})}`$ (voir la remarque 2).

Alors $`𝒩(d,d^{})`$ est un sous-ensemble algébrique faiblement invariant par $`𝒟_{d,d^{}}`$ i.e. $`𝒟_{d,d^{}}(𝒩(d,d^{}))𝒩(d,d^{})`$. De plus, $`𝒟_{d,d^{}}^n(𝒩(d,d^{}))`$ est faiblement invariant par $`𝒟_{d,d^{}}`$ pour tout $`n0`$.

Soient $`f_0`$, $`g_0`$, $`\alpha `$ et $`E_0`$ vérifiant les hypothèses du paragraphe précédent. D’après le lemme 1 et les remarques 1, 2, on a $`(x,y,\alpha )𝒩(d,d^{})`$ pour tout $`(x,y)`$ vérifiant $`\mathrm{\Pi }_{d,d^{},\alpha }(x,y)=(f_0,g_0)`$.

Nous construisons maintenant deux sous-ensembles $`𝒞_1(d,d^{})`$ et $`𝒞_2(d,d^{})`$ de $`𝒩(d,d^{})`$ grâce à des exemples précis sur $`f_0`$, $`g_0`$, $`\alpha `$ et $`E_0`$. Par suite, on montre que $`𝒩(d,d^{})=𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

Soient $`\sigma _1`$, $`\sigma _2`$ deux polynômes linéaires, $`a0`$ et $`\alpha 0`$ tels que $`(f,g)\mathrm{\Sigma }(d,d^{},\alpha )`$$`f(z):=\sigma _1(z^d)\sigma _2`$ et $`g(z):=\sigma _1(az^d^{})\sigma _2`$. On a $`f^1(E)=g^1(E)`$ pour $`E:=\sigma _1(\{z:|z|=|a|^{d/(dd^{})}\})`$. Par conséquent, $`(x,y,\alpha )𝒩(d,d^{})`$ pour tout $`(x,y)`$ vérifiant $`\mathrm{\Pi }_{d,d^{},\alpha }(x,y)=(f,g)`$. On note $`𝒞_1(d,d^{})`$ l’ensemble de ces points $`(x,y,\alpha )`$.

Notons $`\mathrm{T}_k`$ le polynôme de Tchebychev de degré $`k`$ défini par $`\mathrm{T}(\mathrm{cos}z):=\mathrm{cos}kz`$. On sait que l’ensemble de Julia de $`\mathrm{T}_k`$ est l’intervalle $`[1,1]`$, que le coefficient dominant de $`\mathrm{T}_k`$ est égal à $`2^{k1}`$ et que les points critiques de $`\mathrm{T}_k`$ sont les points $`\mathrm{cos}t\pm 1`$ avec $`t`$ vérifiant $`\mathrm{sin}kt=0`$. Soient $`\sigma _1`$, $`\sigma _2`$ deux polynômes linéaires et $`\alpha ^{}`$ tels que $`(f,g)\mathrm{\Sigma }(d,d^{},\alpha )`$$`f:=\sigma _1(\pm \mathrm{T}_d)\sigma _2`$, $`g:=\sigma _1(\pm \mathrm{T}_d^{})\sigma _2`$. Posons $`E:=\sigma _1([1,1])`$. Alors $`f^1(E)=g^1(E)`$. On en déduit que $`(x,y,\alpha )𝒩(d,d^{})`$. Notons $`𝒞_2(d,d^{})`$ l’ensemble de tels points $`(x,y,\alpha )`$.

###### Lemme 2

$`𝒞_1(d,d^{})`$ et $`𝒞_2(d,d^{})`$ sont des courbes algébriques réductibles dont aucune composante n’est incluse dans un hyperplan du type $`\{\alpha =\text{constante}\}`$.

* Preuve— Soient $`\sigma _1(z)=a_1z+b_1`$, $`\sigma _2(z)=a_2z+b_2`$ et $`f`$, $`g`$, $`\alpha `$, $`x`$, $`y`$ définis ci-dessus.

Pour la courbe $`𝒞_1(d,d^{})`$, comme $`(f,g)\mathrm{\Sigma }(d,d^{},\alpha )`$, on obtient les relations suivantes: $`a_1a_2^d=1`$, $`a_1aa_2^d^{}=\alpha `$ et $`a_1b_2^d+b_1=a_1ab_2^d^{}+b_1=0`$. On a également, $`x=(b_2/a_2,\mathrm{},b_2/a_2)`$ et $`y=(b_2/a_2,\mathrm{},b_2/a_2)`$. On obtient facilement que $`b_2=0`$ ou $`\alpha =(b_2/a_2)^{dd^{}}`$. Ceci montre que $`𝒞_1`$ est une courbe algébrique réductible et qu’aucune de ses composantes n’est incluse dans $`\{\alpha =\text{constante}\}`$.

Pour la courbe $`𝒞_2(d,d^{})`$, on obtient $`a_12^{d1}a_2^d=1`$, $`a_12^{d^{}1}a_2^d^{}=\alpha `$ et $`\pm a_1\mathrm{T}_d(b_2)+b_1=\pm a_1\mathrm{T}_d^{}(b_2)+b_1=0`$. On a $`\{x_1,\mathrm{},x_{d1}\}=\sigma _2^1(𝒞_{\mathrm{T}_{d_2}})`$, $`\{y_1,\mathrm{},y_{d^{}1}\}=\sigma _2^1(𝒞_{\mathrm{T}_{d_2}})`$. On remarque que $`b_2`$ est une solution de l’équation $`\pm \mathrm{T}_d(z)=\pm \mathrm{T}_d^{}(z)`$. Cette équation n’a qu’un nombre fini de solution. Les autres nombres $`a_1`$ et $`a_2`$ (resp. $`b_1`$) s’écrivent en fonction de $`\alpha `$ (resp. de $`\alpha `$ et de $`b_2`$). Par conséquent, $`𝒞_2(d,d^{})`$ est une courbe algébrique dont aucune composante n’est incluse dans un hyperplan du type $`\{\alpha =\text{constante}\}`$.

$`\mathrm{}`$

###### Lemme 3

* 1. $`𝒟_{d,d^{}}^1(𝒞_1(d,d^{}))𝒩(d,d^{})𝒞_1(d,d^{})`$.
* 2. $`𝒟_{d,d^{}}^1(𝒞_2(d,d^{}))𝒩(d,d^{})𝒞_2(d,d^{})`$.

* Preuve— 1. Soit $`(x,y,\alpha )𝒟_{d,d^{}}^1(𝒞_1(d,d^{}))𝒩(d,d^{})`$. Posons $`(f,g):=\mathrm{\Pi }_{d,d^{},\alpha }(x,y)`$, $`(x_1,y_1,\alpha _1):=𝒟_{d,d^{}}(x,y,\alpha )`$ et $`(f_1,g_1):=\mathrm{\Pi }_{d,d^{},\alpha _1}(x_1,y_1)`$. Comme $`(x_1,y_1,\alpha _1)𝒞_1(d,d^{})`$, il existe des polynômes linéaires $`\sigma _1`$, $`\sigma _2`$ et une constante non nulle $`a`$ tels que $`f_1(z)=\sigma _1([\sigma _2(z)]^d)`$ et $`g_1=\sigma _1(a[\sigma _2(z)^d^{}])`$. Comme $`(x,y,\alpha )𝒩(d,d^{})`$, on a $`f_1g=g_1f`$. Posons $`f^{}:=\sigma _2f`$ et $`g^{}:=\sigma _2g`$. Alors $`a[f^{}(z)]^d^{}=[g^{}(z)]^d`$. Posons $`\mathrm{\Phi }(z):=a[f^{}(z)]^d^{}=[g^{}(z)]^d`$. Soit $`\lambda `$ une racine de $`\mathrm{\Phi }`$. Alors la multiplicité de $`\lambda `$ est divisible par $`d`$ et par $`d^{}`$. Comme $`d`$ et $`d^{}`$ sont premiers entre eux, la multiplicité de $`\lambda `$ est divisible par $`dd^{}`$. D’autre part, $`\mathrm{deg}\mathrm{\Phi }=dd^{}`$. On déduit que $`\lambda `$ est la seule racine de $`\mathrm{\Phi }`$. Il est également la seule racine de $`f^{}`$ et de $`g^{}`$. Alors il existe un polynôme linéaire $`\sigma `$ et un $`b`$ tels que $`f^{}(z)=[\sigma (z)]^d`$ et $`g^{}(z)=b[\sigma (z)]^d^{}`$. D’où $`(x,y,\alpha )𝒞_1(d,d^{})`$.

2. De même manière, on se ramène à une équation du type $`\mathrm{T}_dg^{}=\pm \mathrm{T}_d^{}f^{}`$. Il faut montrer qu’il existe un polynôme linéaire $`\sigma `$ tel que $`f^{}=\pm \mathrm{T}_d\sigma `$ et $`g^{}=\pm \mathrm{T}_d^{}\sigma `$. Il est clair que $`f_{}^{}{}_{}{}^{1}([1,1])=g_{}^{}{}_{}{}^{1}([1,1])`$. On déduit de la définition de $`𝒟_{d,d^{}}`$ que $`g^{}(𝒞_f^{})=𝒞_{\mathrm{T}_d}`$. Par conséquent, les points critiques de $`f^{}`$ sont tous de multiplicité 1. De même pour $`g^{}`$.

Pour $`|z|`$ suffisamment grand on a $`_f^{}(z)_g^{}(z)=\{z\}`$. En effet, utilisant les développements asymptotiques de $`\delta _f^{}`$ et $`\delta _g^{}`$, on obtient pour tous $`1nd1`$ et $`1md^{}1`$:

$$\underset{z\mathrm{}}{lim}\frac{\delta _f^{}^m(z)}{\delta _g^{}^n(z)}=\mathrm{exp}(2m\pi i/d2n\pi i/d^{})0$$

car $`d`$ et $`d^{}`$ sont premiers entre eux. Par analyticité, pour un $`z`$ générique $`_f^{}(z)_g^{}(z)=\{z\}`$. Soit $`p𝒞_f^{}`$. Montrons que $`f^{}(p)=\pm 1`$. Supposons que $`f^{}(p)=a\pm 1`$. On sait que $`g^{}(𝒞_f^{})=𝒞_{\mathrm{T}_d}[1,1]`$ et $`f_{}^{}{}_{}{}^{1}([1,1])=g_{}^{}{}_{}{}^{1}([1,1])`$. D’où $`a]1,1[`$. Alors au voisinage de $`p`$, $`f_{}^{}{}_{}{}^{1}([1,1])`$ est la réunion de deux courbes réelles analytiques qui se coupent en $`p`$. Par conséquent, $`p`$ est un point critique de $`g^{}`$. Comme $`\delta _f^{}`$ et $`\delta _g^{}`$ commutent, leurs prolongements analytiques commutent aussi au voisinage de $`p`$. On en déduit que $`_f^{}(z)_g^{}(z)`$ contient au moins deux éléments pour tout $`z`$ suffisamment proche de $`p`$. C’est une contradiction. Donc $`f^{}(p)=\pm 1`$. De même $`g^{}(q)=\pm 1`$ pour $`q𝒞_g^{}`$.

Le fait que $`f^{}`$ est de degré $`d`$ implique que pour $`d`$ impair $`f_{}^{}{}_{}{}^{1}(1)`$ est une réunion de $`(d1)/2`$ points critiques et d’un point non critique; pour $`d`$ pair $`f_{}^{}{}_{}{}^{1}(1)`$ est la réunion de $`d/2`$ points critiques ou la réunion de $`d/21`$ points critiques avec deux points non critiques. De même pour $`f_{}^{}{}_{}{}^{1}(1)`$. Quitte à remplacer $`f^{}`$, $`g^{}`$ par $`\pm f^{}\sigma `$ et $`g^{}\sigma `$ pour un certain polynôme linéaire $`\sigma `$, on peut supposer que $`\pm 1`$ ne sont pas critiques pour $`f`$ et que pour $`d`$ impair $`f^{}(1)=1`$, $`f^{}(1)=1`$ et pour $`d`$ pair $`f^{}(1)=f^{}(1)=1`$. On remarque qu’au voisinage de $`\pm 1`$, $`f_{}^{}{}_{}{}^{1}([1,1])`$ est un arc réel analytique. Par conséquent, $`g^{}(\pm 1)=\pm 1`$ et $`\pm 1`$ ne sont pas critiques pour $`g^{}`$. Quitte à remplacer $`g^{}`$ par $`\pm g^{}`$, on peut supposer que pour $`d^{}`$ impair $`g^{}(1)=1`$, $`g^{}(1)=1`$ et pour $`d^{}`$ pair $`g^{}(1)=g^{}(1)=1`$.

Alors il existe des polynômes $`P`$, $`Q`$ tels que pour $`d`$ impair $`f^{}(z)+1=(z+1)P^2(z)`$, $`f^{}(z)1=(z1)Q^2(z)`$ et pour $`d`$ pair $`f^{}(z)+1=P^2(z)`$, $`f^{}(z)1=(z1)(z+1)Q^2(z)`$. Posons $`\psi (z):=(z+z^1)/2`$. On vérifie facilement qu’il existe une fonction rationnelle $`R(z)`$ telle que:

$$\frac{f^{}+1}{f^{}1}\psi (z)=R^2(z).$$

On en déduit que $`f^{}(z)\psi =(F+F^1)/2`$$`F:=(R+1)/(R1)`$. On a donc $`\psi ^1f^{}\psi =F^{\pm 1}`$. Ceci implique que $`\mathrm{deg}F=d`$. De même, il existe une fonction rationnelle $`G`$ de degré $`d^{}`$ telle que $`\psi ^1g^{}\psi =G^{\pm 1}`$. D’autre part, $`\psi ^1\mathrm{T}_d\psi (z)=z^{\pm d}`$ et $`\psi ^1\mathrm{T}_d^{}\psi (z)=z^{\pm d^{}}`$. On déduit de la relation $`\mathrm{T}_dg^{}=\pm \mathrm{T}_d^{}f^{}`$ que $`F^{\pm d^{}}=\pm G^{\pm d}`$. Alors comme dans la partie précédente, les multiplicités des zéros et des pôles de $`F^{\pm d^{}}=\pm G^{\pm d}`$ sont divisibles par $`dd^{}`$. Or c’est une fonction de degré $`dd^{}`$. D’où $`F(z)=Az^{\pm d}`$ et $`G(z)=Bz^{\pm d^{}}`$. Le fait que $`f^{}(1)=g^{}(1)=1`$ entraîne $`A=B=1`$. D’où $`f^{}=\mathrm{T}_d`$ et $`g^{}=\mathrm{T}_d^{}`$.

$`\mathrm{}`$

###### Lemme 4

Soit $`(x,y,\alpha )𝒩(d,d^{})`$ un point prépériodique de $`𝒟_{d,d^{}}`$, i.e. $`𝒟_{d,d^{}}^{k+m}(x,y,\alpha )=𝒟_{d,d^{}}^m(x,y,\alpha )`$ pour certains $`k1`$ et $`m0`$. Alors $`(x,y,\alpha )`$ appartient à $`𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

* Preuve— On utilise les notations de la définition de l’ensemble $`𝒩(d,d^{})`$. Soient $`(\stackrel{~}{x}^{},\stackrel{~}{y}^{},\stackrel{~}{\alpha }^{}):=𝒟_{\stackrel{~}{d},\stackrel{~}{d}^{}}(\stackrel{~}{x},\stackrel{~}{y},\stackrel{~}{\alpha })`$ et $`(\stackrel{~}{f}^{},\stackrel{~}{g}^{}):=\mathrm{\Pi }_{\stackrel{~}{d},\stackrel{~}{d}^{},\stackrel{~}{\alpha }}(\stackrel{~}{x}^{},\stackrel{~}{y}^{})`$. Comme $`𝒟_{d,d^{}}^{k+m}(x,y,\alpha )=𝒟_{d,d^{}}^m(x,y,\alpha )`$, on a $`\stackrel{~}{f}^{}=\stackrel{~}{f}`$ et $`\stackrel{~}{g}^{}=\stackrel{~}{g}`$ (voir la remarque 2). Par définition de $`𝒩(\stackrel{~}{d},\stackrel{~}{d}^{})`$, on a $`\stackrel{~}{f}^{}\stackrel{~}{g}=\stackrel{~}{g}^{}\stackrel{~}{f}`$. D’où $`\stackrel{~}{f}\stackrel{~}{g}=\stackrel{~}{g}\stackrel{~}{f}`$. Cette équation a été résolue par Fatou et Julia . Dans notre cas, $`\stackrel{~}{d}>1`$ et $`\stackrel{~}{d}^{}>1`$ sont premiers entre eux. D’après le théorème de Fatou-Julia, il existe un polynôme linéaire $`\sigma _1`$ tel que l’une des conditions suivantes soit vraie:

1. $`\sigma _1\stackrel{~}{f}\sigma _1^1=z^{\stackrel{~}{d}}`$ et $`\sigma _1\stackrel{~}{g}\sigma _1^1=az^{\stackrel{~}{d}^{}}`$$`a0`$ est une constante.
    2. $`\sigma _1\stackrel{~}{f}\sigma _1^1=\pm \mathrm{T}_{\stackrel{~}{d}}`$ et $`\sigma _1\stackrel{~}{g}\sigma _1^1=\pm \mathrm{T}_{\stackrel{~}{d}^{}}`$.

Considérons le second cas, le premier cas sera traité de même manière. On remarque que $`\mathrm{T}_{rs}=\mathrm{T}_r\mathrm{T}_s`$. En particulier, $`\mathrm{T}_{\stackrel{~}{d}}=\mathrm{T}_{\stackrel{~}{d}/d}\mathrm{T}_d`$. Le fait que $`\stackrel{~}{f}=f_{k+m1}\mathrm{}f_m`$ implique

$$(\sigma _1f_{k+m1}\sigma _1^1)\mathrm{}(\sigma _1f_m\sigma _1^1)=\sigma _1\stackrel{~}{f}\sigma ^1=\pm \mathrm{T}_{\stackrel{~}{d}}.$$

D’après la proposition 1, il existe un polynôme linéaire $`\sigma _2`$ tel que $`\sigma _1f_m\sigma _1^1=\sigma _2\mathrm{T}_d`$. De même, il existe $`\sigma _2^{}`$ tel que $`\sigma _1g_m\sigma _1^1=\sigma _2^{}\mathrm{T}_d^{}`$. Alors $`f_m=\sigma _3\mathrm{T}_d\sigma _1`$ et $`g_m=\sigma _3^{}\mathrm{T}_d^{}\sigma _1`$$`\sigma _3:=\sigma _1^1\sigma _2`$ et $`\sigma _3^{}:=\sigma _1^1\sigma _2`$. On sait que pour $`d`$ et $`d^{}`$ premiers entre eux l’ensemble critique de $`\mathrm{T}_d`$ (resp. de $`\mathrm{T}_d^{}`$) est invariant par $`\mathrm{T}_d^{}`$ (resp. par $`\mathrm{T}_d`$). Par construction de $`𝒟_{d,d^{}}`$, on a

$$𝒞_{f_{m+1}}=g_m(𝒞_{f_m})=\sigma _3^{}\mathrm{T}_d^{}(𝒞_{\mathrm{T}_d})=\sigma _3^{}(𝒞_{\mathrm{T}_d}).$$

Alors il existe un polynôme linéaire $`\sigma _4`$ tel que $`f_{m+1}=\sigma _4\mathrm{T}_d\sigma _{3}^{}{}_{}{}^{1}`$. De même, il existe un polynôme linéaire $`\sigma _4^{}`$ tel que $`g_{m+1}=\sigma _4^{}\mathrm{T}_d^{}\sigma _3^1`$.

Comme on a montré ci–dessus pour $`f_m`$ et $`g_m`$, il suffit de remplacer $`m`$ par $`m+1`$ afin d’obtenir $`f_{m+1}=\sigma _6\mathrm{T}_d\sigma _5`$ et $`g_{m+1}=\sigma _6^{}\mathrm{T}_d\sigma _5`$$`\sigma _5`$, $`\sigma _6`$ et $`\sigma _6^{}`$ sont linéaires. On déduit des quatres dernières égalités que l’ensemble critique de $`\mathrm{T}_d`$ (resp. de $`\mathrm{T}_d^{}`$) est invariant par $`\sigma _5\sigma _3^{}`$ (resp. par $`\sigma _5\sigma _3`$). D’où $`\sigma _5\sigma _3^{}(z)=\pm z`$ et $`\sigma _5\sigma _3(z)=\pm z`$. Par conséquent, $`\sigma _3^{}(z)=\sigma _3(\pm z)`$ et donc $`f_m=\sigma _3\mathrm{T}_d\sigma _1`$ et $`g_m=\sigma _3(\pm \mathrm{T}_d^{})\sigma _1`$. Ceci signifie que $`(f_m,g_m,\alpha _m)𝒞_2(d,d^{})`$. D’après le lemme 3, $`(f,g,\alpha )𝒞_2(d,d^{})`$ car $`(f,g,\alpha )=(f_0,g_0,\alpha _0)`$.

$`\mathrm{}`$

###### Proposition 3

On a $`𝒩(d,d^{})=𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

Soit $`S`$ un sous-ensemble algébrique périodique de $`𝒩(d,d^{})`$, i.e. $`𝒟_{d,d^{}}^n(S)=S`$ pour un certain $`n1`$. On montre que $`S𝒞_1(d,d^{})𝒞_2(d,d^{})`$. Soit $`a`$ une racine d’ordre $`d^{m1}1`$ de l’unité. On pose $`K_a`$ l’ensemble des points $`(x,y,a)`$. Alors $`K_a`$ est périodique de période $`m`$.

###### Lemme 5

Pour tout $`a`$, l’ensemble $`SK_a`$ est fini.

* Preuve— Soit $`V`$ une composante irréductible, périodique de $`SK_a`$. Il faut montrer que $`dimV=0`$. Supposons par l’absurde que $`dimV1`$. Pour simplifier les notations, on suppose par la suite que $`a=1`$ et on pose $`𝒟:=𝒟_{d,d^{}}`$. Notons $`s:=(x,y)=(x_1,\mathrm{},x_{d1},y_1,\mathrm{},y_{d^{}1})`$ les coordonnées de $`K_a^{d+d^{}2}`$ . Comme $`𝒟`$ est polynomial, elle se prolonge en une application méromorphe de $`^{d+d^{}2}`$ dans lui-même. Notons encore $`𝒟`$ ce prolongement. Soit $`L:=^{d+d^{}2}K_a`$ l’hyperplan à l’infini muni des coordonnées homogènes $`w:=[x_1:\mathrm{}:x_{d1}:y_1:\mathrm{}:y_{d^{}1}]`$. On pose $`(f,g):=\mathrm{\Pi }_{d,d^{},a}(s)`$. Les formules explicites des polynômes $`f`$ et $`g`$ sont données dans le paragraphe précédent. On remarque que $`f(y_i)`$ (resp. $`g(x_i)`$) est un polynôme homogène de degré $`d`$ (resp. $`d^{}`$) en variables $`x`$ et $`y`$. Par conséquent, il existe une constante $`c>0`$ telle que $`|f(y_j)|c\lambda ^d`$ et $`|g(x_i)|c\lambda ^d^{}`$

$$\lambda :=\mathrm{max}(\underset{1\nu d1}{\mathrm{max}}|x_\nu |,\underset{1\nu d^{}1}{\mathrm{max}}|y_\nu |).$$

Comme $`d>d^{}`$, l’ensemble d’indétermination $`I`$ de $`𝒟`$ est égal à

$$I=\{wL:f(y_1)=\mathrm{}=f(y_{d^{}1})=0\}$$

et l’ensemble $`X:=𝒟(LI)`$ vérifie

$$X\{wL:x_1=\mathrm{}=x_{d1}=0\}.$$

Comme $`dimV1`$, l’intersection $`\overline{V}L\mathrm{}`$. Comme $`V`$ est prépériodique, $`\overline{V}(IX)\mathrm{}`$. Soient $`s^{(n)}=(x^{(n)},y^{(n)})V`$ tendant vers un point $`w_0\overline{V}(IX)`$ quand $`n+\mathrm{}`$. On pose $`(f_n,g_n):=\mathrm{\Pi }_{d,d^{},a}(s^{(n)})`$, $`\overline{s}^{(n)}:=𝒟(s^{(n)})`$ et $`(\overline{f}_n,\overline{g}_n):=\mathrm{\Pi }_{d,d^{},a}(\overline{s}^{(n)})`$. Par définition de $`𝒟_{d,d^{}}`$, on a $`𝒞_{\overline{f}_n}=g_n(𝒞_{f_n})`$ et $`𝒞_{\overline{g}_n}=f_n(𝒞_{g_n})`$. Par définition de $`𝒩(d,d^{})`$, on a $`\overline{f}_ng_n=\overline{g}_nf_n`$. Soient

$$\lambda _n=\mathrm{max}(\underset{1\nu d1}{\mathrm{max}}|x_\nu ^{(n)}|,\underset{1\nu d^{}1}{\mathrm{max}}|y_\nu ^{(n)}|).$$

Alors $`|\overline{x}_\nu ^{(n)}|c\lambda _n^d^{}`$ et $`|\overline{y}_\nu ^{(n)}|c\lambda _n^d`$. On pose $`\sigma _1(z):=\lambda z`$, $`\sigma _2(z):=\lambda ^{d1}z`$, $`\sigma _3(z):=\lambda ^{d^{}1}z`$ et $`\sigma _4(z):=\lambda ^{(d1)(d^{}1)}z`$. On pose également $`f_n^{}:=\sigma _2^1f_n\sigma _1`$, $`g_n^{}:=\sigma _3^1g_n\sigma _1`$, $`\overline{f}_n^{}:=\sigma _4^1\overline{f}_n\sigma _3`$ et $`\overline{g}_n^{}:=\sigma _4^1\overline{g}_1\sigma _2`$. Alors $`\overline{f}_n^{}g_n^{}=\overline{g}_n^{}f_n^{}`$, $`(f_n^{},g_n^{})\mathrm{\Sigma }(d,d^{},1)`$ et $`(\overline{f}_n^{},\overline{g}_n^{})\mathrm{\Sigma }(d,d^{},1)`$. On a aussi $`𝒞_{f_n^{}}=\sigma _1^1(𝒞_{f_n})=\sigma _1^1\{x_1^{(n)},\mathrm{},x_{d1}^{(n)}\}`$, $`𝒞_{g_n^{}}=\sigma ^1\{y_1^{(n)},\mathrm{},y_{d^{}1}^{(n)}\}`$, $`𝒞_{\overline{f}^{}}=\sigma _3^1\{\overline{x}_1^{(n)},\mathrm{},\overline{x}_{d1}^{(n)}\}`$ et $`𝒞_{\overline{g}^{}}=\sigma _2^1\{\overline{y}_1^{(n)},\mathrm{},\overline{y}_{d^{}1}^{(n)}\}`$. Par définition de $`\lambda _n`$ et des $`\sigma _i`$, les points critiques de $`f^{}`$ et $`g^{}`$ (resp. de $`\overline{f}^{}`$ et $`\overline{g}^{}`$) sont de modules majorés par $`1`$ (resp. par $`c`$). De plus, au moins l’un des points critiques de $`f^{}`$ ou de $`g^{}`$ est de module $`1`$. Le fait que $`(f^{},g^{})\mathrm{\Sigma }(d,d^{},1)`$ et $`(\overline{f}^{},\overline{g}^{})\mathrm{\Sigma }(d,d^{},1)`$ entraîne que les coefficients des polynômes $`f_n^{}`$, $`g_n^{}`$, $`\overline{f}_n^{}`$ et $`\overline{g}_n^{}`$ sont bornés. On vérifie facilement que $`𝒞_{\overline{f}_n^{}}=g_n^{}(𝒞_{f_n^{}})`$ et $`𝒞_{\overline{g}_n^{}}=f_n^{}(𝒞_{g_n^{}})`$. Soient $`F`$, $`G`$, $`\overline{F}`$, $`\overline{G}`$ quatre polynômes tels que $`(F,G,\overline{F},\overline{G})`$ soit adhérent à la suite $`(f_n^{},g_n^{},\overline{f}_n^{},\overline{g}_n^{})`$. Par continuité, on a $`\overline{F}G=\overline{G}F`$, $`𝒞_{\overline{F}}=G(𝒞_F)`$ et $`𝒞_{\overline{G}}=F(𝒞_G)`$. De plus, au moins un point critique de $`F`$ ou de $`G`$ est de module 1.

Cas 1.– Supposons que $`w_0I`$. On déduit de la description de $`I`$ que $`\lambda _n^{d+1}\overline{y}_\nu ^{(n)}`$ tend vers $`0`$ quand $`n+\mathrm{}`$. Ceci implique que les points critiques de $`\overline{G}`$ sont tous nuls. D’où $`\overline{G}(z)=z^d^{}`$ et $`[F(z)]^d^{}=\overline{F}G(z)`$ car $`\overline{F}G=\overline{G}F`$. Alors les multiplicités des zéros de $`\overline{F}G`$ sont divisibles par $`d^{}`$. Comme $`d=\mathrm{deg}\overline{F}`$ n’est pas divisible par $`d^{}`$, il existe au moins une racine $`a_1`$ de $`\overline{F}`$ telle que sa multiplicité $`\alpha _1`$ ne soit pas divisible par $`d^{}`$.

Supposons d’abord qu’il existe une autre racine $`a_2`$ de $`\overline{F}`$ dont la multiplicité $`\alpha _2`$ n’est pas divisible par $`d^{}`$. Soit $`b_j`$ un point arbitraire de $`G^1(a_j)`$ à multiplicité $`\beta _j`$. Alors $`\alpha _j\beta _j`$ est divisible par $`d^{}`$. Notons $`\alpha _j^{}`$ le plus grand diviseur commun de $`\alpha _j`$ et $`d^{}`$. Notons également $`\nu _j=d^{}/\alpha _j^{}`$. Alors $`\nu _j`$ divise $`\beta _j`$. On en déduit qu’il existe un polynôme non constant $`K_j`$ tel que $`G(z)a_j=[K_j(z)]^{\nu _j}`$. Comme $`\alpha _j`$ ne divise pas $`d^{}`$, on a $`\nu _j2`$. On obtient donc $`[K_1(z)]^{\nu _1}=[K_2(z)]^{\nu _2}b^{\nu _2}`$$`b^{\nu _2}=a_2a_10`$. Ceci implique

$$[K_1(z)]^{\nu _1}=\underset{j=0}{\overset{\nu _21}{}}[K_2(z)\theta _jb].$$

$`\theta _j:=\mathrm{exp}(2j\pi i/\nu _2)`$. Les facteurs du membre à droite sont deux à deux premiers entre eux. Par conséquent, il existe des polynômes $`P_j`$ tels que $`K_2(z)\theta _jb=[P_j(z)]^{\nu _1}`$. On a

$$[P_1(z)]^{\nu _1}[P_0(z)]^{\nu _1}=(\theta _1\theta _0)b0.$$

C’est une contradiction car le membre à gauche se factorise en $`\nu _1`$ facteurs qui ne sont pas tous constants.

Il reste le cas où $`a_1`$ est la seule racine de $`\overline{F}`$ dont la multiplicité n’est pas divivible par $`d^{}`$. Comme $`d=\mathrm{deg}\overline{F}`$ et $`d^{}`$ sont premiers entre eux, $`\alpha _1`$ et $`d^{}`$ sont premiers entre eux. Par conséquent, tout point de $`G^1(a_1)`$ est de multiplicité divisible par $`d^{}`$. Comme $`\mathrm{deg}G=d^{}`$ et comme $`G\mathrm{\Sigma }(d,d^{},1)`$, on a $`G(z)=z^d^{}`$. On en déduit que $`a_1=0`$. On peut donc écrire $`\overline{F}(z)=z^{\alpha _1}[P(z)]^d^{}`$$`P`$ est un polynôme unitaire. L’équation $`[F(z)]^d^{}=\overline{F}G(z)`$ entraîne $`F(z)=z^{\alpha _1}P(z^d^{})`$. Les égalités suivantes sont obtenues par les calculs de dérivées:

$$F^{}(z)=z^{\alpha _11}[\alpha _1P(z^d^{})+d^{}z^d^{}P^{}(z^d^{})]$$

et

$$\overline{F}^{}(z)=z^{\alpha _11}[P(z)]^{d^{}1}[\alpha _1P(z)+d^{}zP^{}(z)].$$

Soit $`a`$ une racine non nulle de $`F^{}`$, i.e. une racine de $`\alpha _1P(z^d^{})+d^{}z^d^{}P^{}(z^d^{})`$. Alors $`\mathrm{exp}(2k\pi i/d^{})a`$ est également une racine de $`F^{}`$ pour tout $`0kd^{}1`$. Comme $`𝒞_{\overline{F}}=G(𝒞_F)`$ et comme $`G(z)=z^d^{}`$, toute racine de $`\overline{F}^{}`$ est du type $`a^d^{}`$, i.e. une racine de $`\alpha _1P(z)+d^{}zP^{}(z)`$. De plus, la multiplicité de cette racine est divisible par $`d^{}`$. Soit $`b`$ une racine de multiplicité $`nd^{}+m`$ de $`P(z)`$ avec $`0md^{}1`$. Alors $`b`$ est une racine de multiplicité $`nd^{}+m1`$ de $`P^{}(z)`$ et donc de $`\alpha _1P(z)+d^{}zP^{}(z)`$. Par conséquent, $`b`$ est une racine de multiplicité $`(n^{}d^{}+m)(d^{}1)+(nd^{}+m1)`$ de $`\overline{F}^{}`$. Cette multiplicité n’est pas divisible par $`d^{}`$. C’est impossible. D’où $`P(z)=1`$ et $`F(z)=z^d`$. C’est aussi une contradiction car au moins l’un des points critiques de $`F`$ ou de $`G`$ est de module 1.

Cas 2.– Supposons maintenant que $`w_0X`$. Par la description de $`X`$, $`\lambda _n^1x_\nu ^{(n)}`$ tend vers $`0`$ quand $`n+\mathrm{}`$. Par conséquent, les points critiques de $`f_n^{}`$ tendent vers $`0`$. On en déduit que $`F(z)=z^d`$ et que $`𝒞_{\overline{F}}=G(𝒞_F)=\{0\}`$. On a donc $`\overline{F}(z)=z^d`$. On obtient alors $`\overline{G}(z^d)=[G(z)]^d`$. Ceci montre que les racines de $`\overline{G}(z^d)`$ sont toutes de multiplicité divisible par $`d`$. En particulier, toute racine non nulle de $`\overline{G}`$ est de multiplicité divisible par $`d`$. Mais $`\mathrm{deg}\overline{G}=d^{}<d`$. Donc $`\overline{G}`$ n’a pas de racine non nulle. Alors $`\overline{G}(z)=z^d^{}`$ et donc $`G(z)=z^d^{}`$. C’est une contradiction car au moins un point critique de $`F`$ ou de $`G`$ est de module 1.

$`\mathrm{}`$

Fin de la preuve de la proposition 2.– Si $`dimS=0`$, alors $`S`$ est simplement un point périodique. D’après le lemme 4, $`S𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

Si $`dimS1`$, d’après le lemme précédent, $`SK_a`$ est un ensemble fini pour tout $`a`$. Comme $`S`$ et $`K_a`$ sont périodiques, $`SK_a`$ est périodique. Par conséquent, tout point de $`SK_a`$ est prépériodique. D’après le lemme 4, $`SK_a𝒞_1(d,d^{})𝒞_2(d,d^{})`$. Comme $`S`$ est périodique et comme $`𝒟_{d,d^{}}`$ envoie l’hyperplan $`\{\alpha =c\}`$ dans l’hyperplan $`\{\alpha =c^d\}`$, $`SK_a`$ est non vide sauf peut-être pour un nombre fini de $`a`$. On déduit que $`dimS=1`$ et que $`S`$ coupe $`𝒞_1(d,d^{})𝒞_2(d,d^{})`$ en une infinité de points. D’où $`S𝒞_1(d,d^{})𝒞_2(d,d^{})`$. Ceci est vrai pour tout sous-ensemble algébrique périodique de $`𝒩(d,d^{})`$.

Comme $`𝒟_{d,d^{}}^n(𝒩(d,d^{}))`$ est faiblement invariant pour tout $`n0`$, toute composante de $`𝒩(d,d^{})`$ s’envoie par un $`𝒟_{d,d^{}}^n`$ dans une composante périodique de $`𝒩(d,d^{})`$. Donc elle s’envoie par $`𝒟_{d,d^{}}^n`$ dans $`𝒞_1(d,d^{})𝒞_2(d,d^{})`$. D’après le lemme 3, elle est incluse dans $`𝒞_1(d,d^{})𝒞_2(d,d^{})`$.

## 5 Preuves des théorèmes et remarques

Preuve du théorème 1— Soient $`\mu `$, $`f`$ et $`g`$ vérifiant les hypothèses du théorème 1. Si $`d`$ est divisible par $`d^{}`$ ou si $`d^{}`$ est divisible par $`d`$, d’après le corollaire 3, la condition 1 du théorème 1 est satisfaisante.

Dans le cas contraire, d’après le corollaire 3, on peut supposer que $`d`$ et $`d^{}`$ sont premiers entre eux et que $`d>1`$, $`d^{}>1`$. Sans perdre en généralité, on peut supposer que $`d>d^{}`$. Alors d’après les paragraphes 3 et 4, il existe des polynômes linéaires $`\sigma _1`$, $`\sigma _2`$ et un nombre $`\alpha 0`$ tels que

$$(\sigma _1f\sigma _2,\sigma _1g\sigma _2)\mathrm{\Pi }_{d,d^{},\alpha }(𝒩(d,d^{})).$$

D’après la proposition 3, $`𝒩(d,d^{})=𝒞_1(d,d^{})𝒞_2(d,d^{})`$. Par définition de $`𝒞_1(d,d^{})`$ et $`𝒞_2(d,d^{})`$, il existe des polynômes linéaires $`\sigma _3`$ et $`\sigma _4`$ tels que l’une des conditions suivantes soit vraie:

1. $`\sigma _3f\sigma _4(z)=z^d`$ et $`\sigma _3g\sigma _4(z)=az^d^{}`$$`a0`$ est une constante.
2. $`\sigma _3f\sigma _4=\pm \mathrm{T}_d`$ et $`\sigma _3g\sigma _4=\pm \mathrm{T}_d^{}`$.

Posons $`Q:=\sigma _3^1\sigma _4^1`$, $`f_0:=fQ^1`$ et $`g_0:=gQ^1`$. On a $`f=f_0Q`$ et $`g=g_0Q`$. On a aussi $`f_0=\sigma _3^1z^d\sigma _3`$, $`g_0=\sigma _3^1(az^d^{})\sigma _3`$ ou $`f_0=\sigma _3^1(\pm \mathrm{T}_d)\sigma _3`$, $`g_0=\sigma _3^1(\pm \mathrm{T}_d^{})\sigma _3`$. Alors pour la nouvelle coordonnée $`z^{}:=\sigma _3^1(z)`$, $`f_0`$ et $`g_0`$ vérifient la condition 2 ou la condition 3 du théorème 1.

$`\mathrm{}`$

###### Lemme 6

Soient $`E`$ un compact, $`f`$ et $`g`$ deux polynômes de degrés $`d>1`$ et $`d^{}>1`$. Supposons que $`f^1(E)=g^1(E)`$ et que $`d`$, $`d^{}`$ sont premiers entre eux.

1. Si $`f(z)=az^d`$ et $`g(z)=bz^d^{}`$ avec $`a0`$ et $`b0`$, alors $`E`$ est une réunion de cercles centrés en $`0`$
2. Si $`f(z)=\pm \mathrm{T}_d`$ et $`g(z)=\pm \mathrm{T}_d^{}`$, alors $`E=[1,1]`$.

* Preuve— 1. On note $`S_r`$ le cercle de centre $`0`$ et de rayon $`r0`$. Pour tout compact non vide $`K`$, on pose $`A_K(r)`$ le maximum des longueurs des composantes connexes de $`S_rK`$. On pose

$$A_K:=sup\{A_K(r)\text{ pour tout }r>0\text{ tel que }KS_r\mathrm{}\}.$$

Posons $`F:=f^1(E)`$. On a $`A_F=d^1A_E`$. D’autre part, $`F=g^1(E)`$. D’où $`A_F=d_{}^{}{}_{}{}^{1}A_E`$. On en déduit que $`A_E=A_F=0`$. Par conséquent, $`E`$ est une réunion de cercles centrés en $`0`$.

2. Notons $`\phi `$ la fonction de Green de $`^1[1,1]`$ avec un seul pôle en $`\mathrm{}`$. On a $`d^1\phi f=d_{}^{}{}_{}{}^{1}\phi g=\phi `$. Notons $`E_1=f^1(E)=g^1(E)`$. On a

$$\underset{E_1}{\mathrm{max}}\phi (z)=d^1\underset{E}{\mathrm{max}}\phi (z)=d_{}^{}{}_{}{}^{1}\underset{E}{\mathrm{max}}\phi (z).$$

Par conséquent, $`\phi (z)=0`$ pour $`zE_1`$. D’où $`E_1[1,1]`$ et $`E[1,1]`$. Notons $`\psi (z):=(z+z^1)/2`$. On a $`\psi ^1f\psi (z)=\pm z^{\pm d}`$, $`\psi ^1g\psi (z)=\pm z^{\pm d^{}}`$. Posons $`\stackrel{~}{E}:=\psi ^1(E)`$. Alors $`\stackrel{~}{E}\psi ^1([1,1])=\{z:|z|=1\}`$. On a $`\stackrel{~}{f}^1(\stackrel{~}{E})=\stackrel{~}{g}^1(\stackrel{~}{E})`$$`\stackrel{~}{f}(z):=\pm z^d`$ et $`\stackrel{~}{g}(z):=\pm z^d^{}`$. D’après la partie précédente, $`\stackrel{~}{E}`$ est le cercle unité. D’où $`E=[1,1]`$.

$`\mathrm{}`$

Preuve du corollaire 1— Dans le corollaire 1, la condition nécessaire est évidente. Pour la condition suffisante, supposons par l’absurde qu’il existe deux polynômes distints $`f`$ et $`g`$ tels que $`f^1(E)=g^1(E)`$. Notons $`\mathrm{\Omega }`$ la composante connexe de $`^1E`$ qui contient $`\mathrm{}`$. Alors $`f^1(\mathrm{\Omega })=g^1(\mathrm{\Omega })`$. Comme $`E`$ est de capacité logarithmique positive, il existe une fonction de Green $`\phi `$ de $`\mathrm{\Omega }`$ avec un seul pôle en $`\mathrm{}`$ \[16, III.8\]. Alors $`d^1\phi f`$, $`d_{}^{}{}_{}{}^{1}\phi g`$ sont les fonctions de Green de $`f^1(\mathrm{\Omega })=g^1(\mathrm{\Omega })`$ avec un seul pôle en $`\mathrm{}`$. Comme la fonction de Green est unique, on a $`d^1\phi f=d_{}^{}{}_{}{}^{1}\phi g`$. On pose $`\phi _0(z)=0`$ si $`z\mathrm{\Omega }`$ et $`\phi _0(z)=\phi (z)`$ si $`z\mathrm{\Omega }`$. C’est une fonction subharmonique et $`\mu :=i\overline{}\phi _0`$ est la mesure d’équilibre de $`E`$ \[16, III\]. On obtient par les relations précédentes que $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$. D’après le théorème 1, on a $`f=f_0Q`$ et $`g=g_0Q`$. D’où $`f_0^1(E)=g_0^1(E)`$. Si la condition 1 du théorème 1 est vraie, on a $`f_0^1(E)=g_0^1(E)=E`$.

Si la condition 2 du théorème 1 est vraie, d’après le lemme précédent, $`E`$ est une réunion de cercles centrés en $`0`$. On a $`P^1(E)=E`$ pour toute rotation $`P`$ de centre $`0`$.

Si la condition 3 est vraie, d’après le lemme précédent, $`E=[1,1]`$. Par conséquent, $`P^1(E)=E`$ pour $`P:=\mathrm{T}_k`$.

Dans les trois cas, on obtient une contradiction avec l’hypothèse du corollaire 1.

$`\mathrm{}`$
Preuve du corollaire 2.— Comme $`E`$ est de capacité logarithmique positive, $`E`$ est un ensemble infini. D’après le corollaire 1, il existe un polynôme $`P\mathrm{id}`$ tel que $`P^1(E)=E`$. Si $`P(z)=az+b`$, on a $`|a|=1`$ et $`a1`$ car $`E`$ est compact. Alors $`P`$ est une rotation de centre $`b/(1a)`$. C’est impossible. On a donc $`\mathrm{deg}P2`$. On sait que $`J_P`$ est le plus petit compact totalement invariant par $`P`$ qui contient plus qu’un élément. D’où $`J_PE`$. Comme $`K_P`$ est le plus grand compact totalement invariant par $`P`$, on a $`EK_P`$.

$`\mathrm{}`$
Dans le cas général, si $`E`$ est un compact et si $`f`$, $`g`$ sont deux polynômes vérifiant $`f^1(E)=g^1(E)`$, il n’existe pas de mesure $`\mu `$ à support dans $`E`$ telle que $`d^1f^{}(\mu )=d_{}^{}{}_{}{}^{1}g^{}(\mu )`$. Par exemple pour $`E=\{0\}`$, $`f(z)=z(z1)`$ et $`g(z)=z^2(z1)`$, la seule mesure de probabilité $`\mu `$ supportée par $`E`$ est la masse de Dirac en $`0`$. On a $`f^1(E)=g^1(E)`$ mais $`d^1f^{}(\mu )d_{}^{}{}_{}{}^{1}g^{}(\mu )`$.

###### Proposition 4

Soient $`E`$ un compact, $`f`$ et $`g`$ deux polynômes tels que $`f^1(E)=g^1(E)`$. Alors il existe deux mesures de probabilité $`\mu _1`$ et $`\mu _2`$ à support dans $`E`$ telles que $`g_{}(d^1f^{}(\mu _1))=\mu _1`$ et $`f_{}(d_{}^{}{}_{}{}^{1}g^{}(\mu _2))=\mu _2`$.

* Preuve— Soit $`\delta _0`$ une mesure de probabilité à support dans $`E`$. Posons $`\delta _n:=g_{}(d^1f^{}(\delta _{n1}))`$ pour tout $`n1`$. Alors $`\delta _n`$ est une mesure de probabilité à support dans $`E`$. Posons $`S_n:=(\delta _0+\mathrm{}+\delta _{n1})/n`$. Alors $`S_n`$ est également une mesure de probabilité à support dans $`E`$. Il existe une suite croissante $`\{n_i\}_i`$ telle que $`S_{n_i}`$ tende faiblement vers une mesure $`\mu _1`$ quand $`i+\mathrm{}`$ car l’ensemble des mesures de probabilité à support dans $`E`$ est compact. On en déduit que $`g_{}(d^1f^{}(S_{n_i}))`$ tend faiblement vers $`g_{}(d^1f^{}(\mu _1))`$. D’autre part, $`g_{}(d^1f^{}(S_{n_i}))S_{n_i}=(\delta _{n_i}\delta _0)/n_i`$ tend vers $`0`$. On obtient finalement $`g_{}(d^1f^{}(\mu _1))=\mu _1`$. De même pour $`\mu _2`$.

$`\mathrm{}`$


format: text

text:
# About the finding of independent vertices of a graph

## 1 Statement of the problem

Consider the class $`L`$ of undirected graphs without loops and multiple edges with weighted vertices.

Assume that there is a graph $`G=(X,\mathrm{\Gamma },M)L`$, where $`X=\{x_1,\mathrm{},x_n\}`$ be the set of the graph vertices, $`\mathrm{\Gamma }`$ is the mapping $`X`$ into $`X`$, and $`M=\{\mu (x_1),\mathrm{},\mu (x_n)\}`$ is the set of the non-negative integers – weights of the graph vertices. If $`X_1=\{x_{i_1},\mathrm{},x_{i_m}\}X`$ then $`\mathrm{\Gamma }X_1=\mathrm{\Gamma }x_{i_1}\mathrm{}\mathrm{\Gamma }x_{i_m}`$.

A graph $`G=(X,\mathrm{\Gamma },M)L`$ is called isometric if $`\mu (x_i)=\mu (x_j)`$ ($`ij`$) for all $`x_i,x_jX`$.

For any $`AX`$ we shall designate

$$\mu (A)=\underset{x_iA}{}\mu (x_i).$$

As a problem $`Z`$, given on a graph $`G=(X,\mathrm{\Gamma },M)L`$, we shall call the problem of finding of vertex set $`UX`$ such that satisfies conditions

$$U\mathrm{\Gamma }U,$$
(1)
$$U\mathrm{\Gamma }U=X$$
(2)
and supplies the maximum of a function

$$\mu (U).$$
(3)
Any vertex set $`UX`$, satisfying the condition (1), is called independent. An independent set $`UX`$, satisfying (2), is called the maximal independent set (MIS) of the graph $`G`$.

A MIS $`\widehat{U}X`$, supplying the maximum of the function (3), is called the maximum independent set (MMIS) of the graph $`G`$ (the optimum solution of the problem $`Z`$).

The problem $`Z`$ has the different applications . It has the special significance in Computation Complexity Theory, as it is NP-complete . From the point of view of applications, the significance of any NP-complete problem is that it can be considered as a mathematical model of all discrete problems.

The existing methods for solving of the problem $`Z`$ (as a rule, in an isometric graph) consist in basic in finding all MIS of the graph $`GL`$ and selection of them the maximum independent set .

The inefficiency of such approach to solving the problem $`Z`$ is proved by that the maximum number of the MISs $`\sigma _G(n)`$, a graph $`GL`$ can has, is equal to $`\sigma _G(n)=\gamma (s)\dot{3}^{r1}`$ , where $`n=3r+s`$, $`\gamma (0)=3`$, $`\gamma (1)=4`$, $`\gamma (2)=6`$. Hence, complexity of any algorithm, based on searching of all MIS of a graph $`G`$, can not have an evaluation better than $`O(3^{n/3})`$.

With the problem $`Z`$, given on a graph $`G`$, it is usually connected a problem of finding the maximum complete subgraph (the maximal clique) in the additional graph $`\overline{G}=(X,\overline{\mathrm{\Gamma }},M)L`$ as the subset of vertices $`\widehat{U}X`$, inducing the maximum clique of a graph $`\overline{G}`$, is MMIS of a graph $`G`$ .

Notice that the Maximum Clique Problem is a maximize problem, and from the point of view of the approach, accepted in Operations Research, is not dual to the problem $`Z`$.

Unfortunately, the difficulties, connected with finding MMIS of a graph $`GL`$, can not are overcome by development of a polynomial algorithm, enabling to find approximate solution of the problem $`Z`$ with a guaranteed deviation from the optimum solution . Therefore, for development of the solution methods of the problem $`Z`$, it is necessary either to try to create an algorithm, discovering its exact solution (in this case it will be proven that P= NP), or to find the exact solution of the problem for separate subclasses of graphs of $`L`$ (the majority authors go to the last way).

The main result of the given work is that the problem $`Z`$, given on an arbitrary graph $`GL`$, can be considered as the solving the same problem in subclass of the normal conjugate-orthogonal graphs. A problem is formulated that is dual to the problem $`Z`$. It is shown that, for trivial conjugate-orthogonal graphs, any of its MIS is also a MMIS.

## 2 A normal graph

Divide a set of all vertices of a graph $`G=(X,\mathrm{\Gamma },)L`$ into classes j ($`j=\overline{1,s}`$) such that if $`_{i_1}`$, $`{}_{i_2}{}^{}K_j`$, then $`\mathrm{\Gamma }_{i_1}=\mathrm{\Gamma }_{i_2}`$. The set of all such classes of the graph is designated by $`H_G`$.

###### Theorem 2.1

If $`{}_{i_1}{}^{}U`$ and $`{}_{i_1}{}^{}_{j}^{}`$ then $`{}_{j}{}^{}U`$, where $`U`$ be a MIS of a graph $`G=(X,\mathrm{\Gamma },)`$.

Assume the conditions of Theorem 2.1 are satisfied and we allow that there exists a vertex $`{}_{i_2}{}^{}_{j}^{}`$ such that $`{}_{i_2}{}^{}U`$ ($`i_1i_2`$).

As $`\mathrm{\Gamma }x_{i_2}=\mathrm{\Gamma }x_{i_1}`$ then $`{}_{i_2}{}^{}\mathrm{\Gamma }U`$ owing to (1). But, it takes into considering (2), we have $`{}_{i_2}{}^{}U`$. The contradiction have obtained. Q.E.D.

###### Theorem 2.2

For any vertex $`{}_{i}{}^{}`$ ($`i=\overline{1,n}`$) of a graph $`G=(X,\mathrm{\Gamma },)`$

$$\mathrm{\Gamma }x_i=\underset{r}{}K_{j_r}(K_{j_r}H_G)$$

It is clear that the vertex set $`\mathrm{\Gamma }x_i`$ can be divided into the classes $`K_{j_1}^{}`$, …, $`{}_{}{}^{}{}_{j_t}{}^{}`$ as it is mentioned above. Assume that these classes of vertices are distinct from similar vertex classes of the graph $`G`$, that is, $`{}_{j_r}{}^{}_{j_r}^{}`$ and $`{}_{j_r}{}^{}_{j_r}^{}`$ ($`=\overline{1,t}`$).

It follows from here that there are the vertices $`{}_{k_1}{}^{}_{j_r}^{}K_{j_r}`$ and $`x_{k_2}_{j_r}_{j_r}^{}`$ such that $`{}_{k_1}{}^{}\mathrm{\Gamma }_i\mathrm{\Gamma }x_i`$ and $`{}_{k_2}{}^{}\mathrm{\Gamma }_i`$.

As vertices $`_{k_1}`$, $`{}_{k_2}{}^{}_{j_r}^{}`$ then $`\mathrm{\Gamma }_{k_1}=\mathrm{\Gamma }_{k_2}`$ by the definition. If $`{}_{k_1}{}^{}\mathrm{\Gamma }x_i`$ then $`{}_{i}{}^{}\mathrm{\Gamma }_{k_1}`$, it signifies, $`{}_{i}{}^{}\mathrm{\Gamma }_{k_2}`$. Then we have $`x_{k_2}\mathrm{\Gamma }x_i`$. The contradiction have obtained. Q.E.D.

Thus, it is established that $`\mathrm{\Gamma }x_i`$, for any vertex $`{}_{i}{}^{}`$ ($`i=\overline{1,}`$) of a graph $`G=(X,\mathrm{\Gamma },)`$, be an union of some classes $`{}_{j_r}{}^{}H_G`$.

###### Corollary 2.1

For any class $`{}_{j}{}^{}H_G`$ of a graph $`G=(X,\mathrm{\Gamma },)`$

$$\mathrm{\Gamma }K_j=\underset{r}{}K_{j_r}(K_{j_r}H_G)$$

A graph $`G_1=(X_1,\mathrm{\Gamma }_1,_1)L`$ is called normal if for any two vertices $`y_{j_1}`$, $`{}_{j_2}{}^{}X_1`$ ($`j_1j_2`$) the relation $`\mathrm{\Gamma }y_{j_1}\mathrm{\Gamma }_{j_2}`$ takes place.

Obviously, that for any graph $`G=(X,\mathrm{\Gamma },M)L`$ can be found a mapping $`\varphi `$: $`G_1=\varphi (G)`$, where $`G_1=(X_1,\mathrm{\Gamma }_1,M_1)L`$ be the normal graph. Thus, $`G_1=\varphi (G)`$ if $`y_j=\varphi (K_j)`$ ($`K_jH_G`$) and $`\mathrm{\Gamma }_1y_j=\varphi (\mathrm{\Gamma }K_j)`$, $`\mu (y_j)=\mu (K_j)`$ for all $`y_jX_1`$ ($`j=\overline{1,s}`$).

Fig. 1 (a) shows the graph $`GL`$ with the unit weights of its vertices, and Fig. 1 (B) shows the normal graph $`G_1`$ that corresponds it (weights of its vertices are put in brackets).

Designate by $`L_H`$ the set of all normal graphs with the weighted vertices that correspond graphs of the class $`L`$.

Further, speaking about a graph $`G=(X,\mathrm{\Gamma },)`$, we shall mean that $`GL_H`$. Besides, we assume that $`CardX=n`$.

## 3 A twin-orthogonal graph

Let $`G=(X,\mathrm{\Gamma },)L_H`$.

The adjacent vertices 1, $`x_2`$ of the graph $`G`$ is called orthogonal if for all vertices $`{}_{i_1}{}^{}\mathrm{\Gamma }x_1\{x_2\}`$ and $`x_{i_2}\mathrm{\Gamma }_2\{x_1\}`$, when they exist, the relation are fulfilled:

$$\mathrm{\Gamma }x_1\mathrm{\Gamma }x_{i_2},\mathrm{\Gamma }x_2\mathrm{\Gamma }x_{i_1}.$$
(4)
###### Theorem 3.1

If at least one of adjacent vertices 1, $`x_2X`$ of a graph $`G`$ is dangling then the vertices $`x_1`$ and $`x_2`$ are orthogonal.

Really, suppose, for example, a vertex $`x_1`$ of a graph $`G`$, adjacent with a vertex $`{}_{2}{}^{}X`$, is dangling. Hence, $`\mathrm{\Gamma }_1=\{_2\}`$.

Then we shall have $`\mathrm{\Gamma }_1\{x_2\}`$ and $`\mathrm{\Gamma }_1\mathrm{\Gamma }x_{i_2}`$ for all $`x_{i_2}\mathrm{\Gamma }_2\{_1\}`$ when $`\mathrm{\Gamma }x_2\{x_1\}`$ (as $`x_2\mathrm{\Gamma }x_{i_2}`$). Q.E.D.

###### Theorem 3.2

Let $`U`$ be an arbitrary MIS of a graph $`G=(X,\mathrm{\Gamma },M)`$. If $`x_1`$, $`x_2`$ is the orthogonal vertices of $`G`$ either $`{}_{1}{}^{}U`$ or $`{}_{2}{}^{}U`$.

Assume that the conditions of Theorem 3.2 are satisfied, and suppose that $`x_1`$, $`x_2\mathrm{\Gamma }U`$. Then there exists at least vertex $`{}_{3}{}^{}\mathrm{\Gamma }x_1`$ such that $`x_3U`$, and at least vertex $`{}_{4}{}^{}\mathrm{\Gamma }x_2`$ such that $`x_4U`$.

By the condition (4), for the orthogonal vertices $`x_1`$, $`x_2X`$, we shall have $`x_3\mathrm{\Gamma }_4`$ and $`x_4\mathrm{\Gamma }x_3`$, that is, the vertices $`x_3`$, $`x_4U`$ are adjacent. We have received the contradiction. Q.E.D.

A graph $`\stackrel{~}{G}=(\stackrel{~}{X},\stackrel{~}{\mathrm{\Gamma }},\stackrel{~}{M})L_H`$ is called twin-orthogonal if graph vertices can divide into pairs of the orthogonal vertices. It is clear that $`rd()=n=2k`$, where $`k`$ is a non-negative integer.

Fig. 2 is represented of a twin-orthogonal graph with the unit weights of the vertices.

We shall be to say that the twin-orthogonal graph $`\stackrel{~}{G}=(\stackrel{~}{X},\stackrel{~}{\mathrm{\Gamma }},\stackrel{~}{})`$ corresponds a graph $`G=(X,\mathrm{\Gamma },)`$, if:

* $`X\stackrel{~}{X}`$;
* $`\mu (x_i)=0`$ for any vertex $`x_i\stackrel{~}{X}X`$;
* any MIS $`UX`$ of $`G`$ can be obtained from some MIS $`\stackrel{~}{U}\stackrel{~}{X}`$ of $`\stackrel{~}{G}`$ by removal of all vertices $`x_i\stackrel{~}{X}`$ such that $`x_iX`$.

It is easy to see that one of twin-orthogonal graphs $`\stackrel{~}{G}=(\stackrel{~}{X},\stackrel{~}{\mathrm{\Gamma }},\stackrel{~}{})`$, corresponding a graph $`G=(X,\mathrm{\Gamma },M)`$, can be constructed as follows.

Let $`X_1`$ be the set of all vertices of the graph $`G`$, not being orthogonal for one vertex of this graph. We join a set of vertices $`{}_{2}{}^{}=\{x_{n+1},\mathrm{},x_{n+p}\}`$ ($`p=rd(X_1)`$) to the graph $`G`$, and each of vertices $`{}_{k}{}^{}_{2}^{}`$ we connect by an edge with one and only one of vertices $`{}_{j}{}^{}X_1`$. We assume that $`\mu (x_k)=0`$ for all $`{}_{k}{}^{}X_2`$.

It is clear that, as a result, a twin-orthogonal graph $`\stackrel{~}{G}=(\stackrel{~}{X},\stackrel{~}{\mathrm{\Gamma }},\stackrel{~}{})`$ will be obtained that is induced on a vertex set $`\stackrel{~}{}=_2`$, where $`\stackrel{~}{\mathrm{\Gamma }}x_i=\mathrm{\Gamma }_i`$ for any vertex $`{}_{i}{}^{}_1`$, $`\stackrel{~}{\mathrm{\Gamma }}x_j=\mathrm{\Gamma }x_j\{_k\}`$ for all $`x_j_1`$ and $`\stackrel{~}{\mathrm{\Gamma }}x_h=\{x_j\}`$ for all $`x_kX_2`$.

It is easy to be convinced that the constructed twin-orthogonal graph $`\stackrel{~}{G}`$ corresponds the initial graph $`G`$.

More simple way for a construction of the twin-orthogonal graph $`\stackrel{~}{G}`$ = $`(\stackrel{~}{X}`$, $`\stackrel{~}{\mathrm{\Gamma }}`$, $`\stackrel{~}{})`$, corresponding a graph $`G`$ = $`(X,\mathrm{\Gamma },M)`$, is based on Theorem 3.1.

We shall join a vertex set 1 ($`rd(X_1)=rd(X)`$) to a graph $`G`$ such that each vertex $`{}_{j}{}^{}_{1}^{}`$ we shall connect by an edge with one and only one of vertices $`{}_{i}{}^{}X`$. We assume $`\mu (_j)=0`$ for all $`{}_{j}{}^{}X_1`$. As a result, obviously, it be also obtained a twin-orthogonal graph $`\stackrel{~}{G}=(\stackrel{~}{X},\stackrel{~}{\mathrm{\Gamma }},\stackrel{~}{})`$ induced on a set of vertices $`\stackrel{~}{}=X_1`$, where $`\stackrel{~}{\mathrm{\Gamma }}_i=\mathrm{\Gamma }_i\{_j\}`$ for any vertex $`{}_{i}{}^{}`$ and $`\stackrel{~}{\mathrm{\Gamma }}x_j=\{_i\}`$ for all $`{}_{j}{}^{}X_1`$.

###### Theorem 3.3

If $`\stackrel{~}{U}\stackrel{~}{}`$ be an optimum solution of the problem $`Z`$ on the twin-orthogonal graph $`\stackrel{~}{\mathrm{\Gamma }}_i=\mathrm{\Gamma }_i\{_j\}`$ corresponding a graph $`G=(X,\mathrm{\Gamma },)`$ then an optimum solution $`\widehat{U}`$ of the problem $`Z`$, given on the graph $`G`$, can be obtained by removal from $`\stackrel{~}{U}`$ of all vertices $`{}_{i}{}^{}\stackrel{~}{U}`$ such that $`{}_{i}{}^{}\stackrel{~}{}`$, and, besides, $`\mu (\widehat{U})=\mu (\stackrel{~}{U})`$.

It follows from the definition of a twin-orthogonal graph $`\stackrel{~}{G}`$, corresponding a graph $`G`$. Q.E.D.

## 4 Some properties of a twin-orthogonal graph

Let $`L_0`$ be the set of the normal twin-orthogonal graphs.

###### Theorem 4.1

If $`U_1`$, $`U_2`$ be the different MISs of a twin-orthogonal graph $`G=(X,\mathrm{\Gamma },)L_0`$ then $`rd(U_1)=rd(U_2)=k`$, where $`rd()=n=2k`$, $`k`$ be a non-negative integer.

It follows from Theorem 3.2. Q.E.D.

A twin-orthogonal graph $`G=(X,\mathrm{\Gamma },)`$ is called trivial if for any orthogonal vertices i, $`{}_{j}{}^{}X`$ the relation is fulfilled: $`\mu (_i)=\mu (x_j)`$.

###### Theorem 4.2

If $`G=(X,\mathrm{\Gamma },)`$ be a trivial twin-orthogonal graph then any MIS is also MMIS.

It follows from Theorems 3.2 and 4.1. Q.E.D.

###### Theorem 4.3

If $`x_1`$, $`x_2`$ be the orthogonal vertices of a graph $`G=(,\mathrm{\Gamma },)`$ then any pair of vertices from a set $`\mathrm{\Gamma }x_1\{x_2\}`$ ($`\mathrm{\Gamma }x_2\{x_1\}`$) is not orthogonal.

Assume that the conditions of Theorem 4.3 are satisfied, and we suppose that the vertices $`_{i_1}`$, $`{}_{i_2}{}^{}\mathrm{\Gamma }x_1\{_2\}`$ are orthogonal. Then we have $`{}_{1}{}^{}\mathrm{\Gamma }x_{i_1}`$, and $`{}_{1}{}^{}\mathrm{\Gamma }_{i_2}`$, that is, the relation (4) are not fulfilled for vertices $`x_{i_1}`$, $`x_{i_2}`$. We have obtained the contradiction. Q.E.D.

###### Corollary 4.1

If the vertices 1, $`x_2`$ of a graph $`G=(X,\mathrm{\Gamma },)`$ are orthogonal then they do not form a three-vertex clique with any vertex $`{}_{i}{}^{}`$ ($`i1`$, $`i2`$).

###### Corollary 4.2

If the vertices $`{}_{1}{}^{},_{2}^{}`$ of a graph $`G=(X,\mathrm{\Gamma },)`$ are orthogonal then $`(\mathrm{\Gamma }x_1\{x_2\})(\mathrm{\Gamma }x_2\{x_1\})=`$.

## 5 A dual problem

Further, for convenience, any two orthogonal vertices of a graph $`G`$ = $`(X`$, $`\mathrm{\Gamma },)`$ $`L_0`$ we shall designate by i and $`{}_{}{}^{}{}_{i}{}^{}`$.

A graph $`G^{}=(X,\mathrm{\Gamma }^{},M)L_0`$, obtained from a graph $`G=(X,\mathrm{\Gamma },)L_0`$ by renaming of pairs of orthogonal vertices, is called conjugate for the graph $`G`$.

Thus, any orthogonal vertices i, $`{}_{i}{}^{}`$ are adjacent in graphs $`G`$ and $`G^{}`$. The vertices i, $`{}_{j}{}^{}X`$, if they are not orthogonal in the graph $`G`$, are adjacent in the graph $`G^{}`$ if and only if corresponding vertices $`x_i^{}`$, $`x_j^{}X`$ are adjacent in the graph $`G`$.

Obviously, that $`(G^{})^{}=G`$.

A problem of finding of a vertex set $`U`$ of a graph $`G^{}=(X,\mathrm{\Gamma }^{},)`$, satisfying conditions (1), (2) and supplying the minimum of the function (3), we shall call dual to the problem $`Z`$.

A MIS $`\stackrel{ˇ}{U}X`$, supplying the minimum of the function (3), is called the minimum independent set of vertices (MNMIS) of a graph $`G^{}`$.

The following statements are proved easily.

###### Theorem 5.1

If $`U`$ be a MIS of a graph $`G=(X,\mathrm{\Gamma },M)`$ then $`\mathrm{\Gamma }U=U`$ be a MIS of the conjugate graph $`G=(X,\mathrm{\Gamma }^{},)`$.

###### Theorem 5.2

If $`U_1`$, $`U_2`$ be MISs of a graph $`G=(X,\mathrm{\Gamma },)`$ then $`\mu (U_1)\mu (U_2)`$ if and only if $`\mu (\mathrm{\Gamma }U_1)\mu (\mathrm{\Gamma }U_2)`$.

The following theorem is a corollary of Theorems 5.1 and 5.2.

###### Theorem 5.3

MIS $`\widehat{U}`$ is MNMIS of a graph $`G=(X,\mathrm{\Gamma },)`$ if and only if $`\mathrm{\Gamma }\widehat{U}=\widehat{U}`$ is MNMIS of a conjugate graph $`G^{}=(X,\mathrm{\Gamma }^{},)`$.

###### Theorem 5.4

Let $`\widehat{U}`$, $`\stackrel{ˇ}{U}`$ be MMIS and MNMIS of a graph $`G`$ = $`(X`$, $`\mathrm{\Gamma }`$, $`M)`$ respectively. Then a relation takes place

$$0\mu (\widehat{U})\mu (\stackrel{ˇ}{U})\underset{x_i,x_i^{}X}{}|\mu (x_i)\mu (x_i^{})|.$$

It is also easy to be convinced in a validity of this statement.