Système itéré de fonction

Système de fonctions itérées

Fractales contruites à partir d'un système de 3 similitudes

Fractale "Flame" contruite à partir d'un système itéré de fonctions non linéaires, avec le programme Apophysis

Un système de fonctions itérées ou IFS (d'après le nom anglais Iterated Function System) est une théorie mathématique développée par John Hutchinson en 1981 mais presque essentiellement utilisée dans le cadre de la géométrie fractale (depuis les travaux de Barnsley en 1988 et son livre Fractals Everywhere). Cette théorie est entièrement fondée sur les invariances par changement d'échelle.

Un IFS peut être la représentation fonctionnelle d'une fractale. Cela donne une théorie parfaitement définie mathématiquement qui permet de nombreuses études sur les fractales (Continuité, dérivabilité, approximation...)

Un IFS est un ensemble de N fonctions contractantes $T_i:M\to M$ dans un espace métrique M.

On définit une fonction également contractantes sur l'ensemble des parties munie avec la distance de Hausdorff, $T=\bigcup_{i=1}^N{T_i}:\mathcal{P}(M)\to\mathcal{P}(M)$.

Le théorème du point fixe donne l'existence et l'unicité d'un sous-ensemble fixe $F\subset M$ tel que T(F) = F. F est appelé attracteur de l'IFS. F est alors une fractale.

En pratique, F est obtenue comme la limite Tⁿ(F₀) pour $n\to\infty$ où F₀ est un compact quelconque. C'est de cette propriété qui vient le mot itéré car on se restreint souvent à l'étude de T^N(F₀) une approximation de la fractale.

Remarques :

• Les IFS ne servent pas uniquement à la modélisation des fractales, même si c'est dans ce cadre-là qu'elles sont le plus utilisées.
• La plupart des fonctions des IFS sont des fonctions affines. On appelle flame IFS des fractales obtenues par des fonctions non linéaires.

Dimension fractale

Si la condition d'ensemble ouvert est respectée, la valeur de la dimension de Hausdorff D de l'attracteur d'un IFS composé de k similitudes contractantes de rapport c_i, satisfait à l'équation suivante:

$c_1^D+c_2^D+ \dots + c_k^D=1$

Dans le cas de fonctions affines ou non linéaires, cette equation n'est plus valable.

Exemples

La fougère de Barnsley, élaborée par un système de 3 fonctions affines

• L'ensemble de Cantor

Fonction 1 : homothétie de rapport 1/3 par rapport au point (0,0,0)

Fonction 2 : homothétie de rapport 1/3 par rapport au point (1,0,0)

• Le tapis de Sierpinski de sommets P₁, P₂, P₃ et P₄ : 4 homothéties de rapport 1/2 par rapport à chacun des points P_i

• La fougère de Barnsley, construite à partir de trois contractions affines (rouge, bleu et cyan sur l'illustration)

Images

Encyclopédie numérique des fractales IFS

De nombreux exemples d'images fractales IFS.

http://fractal.ifrance.com/

Logiciels

• Brazil Fractal Builder

Logiciel permettant la création d'images fractales de type IFS. Son avantage est de permettre de véritablement construire les objets fractals que vous désirez, de façon visuelle et sans connaissances mathématiques préalables.

http://www.geocities.com/CapeCanaveral/Lab/1837/

• Apophysis

• Glito, programme libre permettant d'explorer les IFS de dimension 2 (applications affines, fonction sinusoïdales, ensemble de Julia) - :http://emmanuel.debanne.free.fr/glito/

Ouvrages de référence

• (en) Kenneth Falconer, Fractal geometry: Mathematical foundations and applications, John Wiley and Sons, 1990 (ISBN 0-471-92287-0), p. 113–117,136 
• John E. Hutchinson, « Fractals and self similarity », dans Indiana Univ. Math. J., vol. 30, 1981, p. 713–747 [lien DOI] 

Ce document provient de « Syst%C3%A8me de fonctions it%C3%A9r%C3%A9es ».