Ensembles de Julia
Considérons les polynomes quadratiques complexes qui s'écrivent sous la forme :
$$\phi_c(z)=z^2+c.$$
L'ensemble de Julia rempli est composé des $z$ tels que la suite des itérés par $\phi_c$ est bornée.
En prenant $R>0$ suffisamment grand pour que $R^2-R\geq |c|$, l'ensemble de Julia rempli est le sous-ensemble du plan complexe défini par :
$$K(\phi_c)=\{z\in C\; :\; \forall n \in N, \;|\phi_c^n(z)|\leq R\},$$ où $\phi_c^n(z)$ est le nième itéré de $\phi_c(z)$. L'ensemble de Julia est la frontière de $K(\phi_c)$.
En 1982, Adrien Douady and Hubbard montrent que les ensembles de Julia sont connexes par arcs si et seulement si la suite des itérés de $0$ est bornée.
De plus, $K(\phi_c)$ et $J(\phi_c)$ sont soit connexes par arcs (il existe un chemin inclus dans l'ensemble qui connecte toute paire de points de cet ensemble) ou totalement déconectés (pour toute paire de point, il est impossible de trouver un chemin dans l'ensemble qui les connecte). L'ensemble des points du plan complexe $c$ pour lesquels l'ensemble de Julia est connexe par arcs est appelé l'ensemble de Mandelbrot. Il est défini comme l'ensemble des nombres complexes $c$ pour lesquels la suite des itérés de la fonction $\phi_c$ ne diverge pas vers l'infini partant de $z=0$.
L'ensemble de Mandelbrot est contenu dans la boule de rayon 1, $B(0,2)$. Différentes régions de l'ensemble de Mandelbrot correspondent à différents comprtements de la suite des itérés de $\phi_c$ et différentes caractéristiques des ensembles de Julia.
Aubin et ses coauteurs ont montré que ces ensembles de Julia pouvaient décrits comme des noyaux de viabilité de systèmes particuliers:
Aubin, J.-P., Bayen, A., & Saint-Pierre, P. Viability Theory: New Directions. Springer. 2011.
- De manière assez évidente, le sous-ensemble $K_c:=Viab_{\phi_c}(B(0,2))$ est égal à l'ensemble de Julia rempli de la fonction $\phi_c$ lorsque $|c|\leq 2$ (ce qui est le cas lorsque $c$ appartient à l'ensemble de Mandebrot) et sa frontière $J_u:=\partial K_c$ est l'ensemble de Julia.
Ainsi, les ensembles ensembles de Julia peuvent être approchés grâce à l'algorithme de viabilité :
| Dynamiques | Contrôles | Incertitudes | Contraintes | Cible | Concept de Viabilité |
|
Temps discret Continues en espace de dimension 2 $\phi(x,y):=(x^2-y^2+a,2xy+b)$ Paramètres : $a$, $b$ |
Aucun | Aucune | B(0,2) | Aucun | Noyau de viabilité |
Voir ci-dessous des approximations d'ensembles de Julia célèbres :
- le lapin de Douady lorsque $c$ est proche d'une racine complexe de $c^3+2c^2+c+1$, $c\approx -0.123 \pm 0.745i $ (pour cette racine complexe, l'orbite de 0 est périodique de période 3 donc bornée). Le lapin de Douady est ainsi connexe par arcs. L'approximation ci-dessous est obtenue avec le logiciel ViabLab et $c=-0.123 + 0.745i$ :

-
Une approximation de la Basilique lorsque $c=-1$ :

- Et une approximationd'un autre ensemble de Julia avec cette fois $c=-0.8+0.156i$ :




Nous mettons à disposition ci-dessous les fichiers nécessaires pour calculer les approximations susmentionnées à l'aide du logiciel ViabLab.
Veuillez consulter les supports de formation :