FRACTALES

Certaines structures très irrégulières, souvent construites par itération, possèdent des symétries de dilatation caractéristiques : l'agrandissement d'une partie est semblable au tout. Le concept de fractalité unifie la description de nombreux objets mathématiques ou physiques et quantifie leur degré d'irrégularité. Il a été introduit en 1975 par Benoît Mandelbrot, mathématicien français qui a poursuivi ses recherches aux États-Unis, dans les laboratoires d'I.B.M. Le terme fractal, forgé à partir du latin fractus (du verbe frangere, qui signifie « briser »), souligne le caractère fractionné à l'infini de ces ensembles présentant des irrégularités à toutes les échelles.

Les mathématiciens du début du xx^e siècle (Georg Cantor, Felix Hausdorff ou Helge von Koch), qui s'interrogeaient sur la notion de dérivabilité, avaient construit toutes sortes de contre-exemples aux règles habituelles du calcul infinitésimal : des courbes continues mais ne possédant de tangentes en aucun point ; des surfaces et des volumes très irréguliers. On avait associé à ces objets une dimension dite de Hausdorff-Besicovitch, définie comme suit : on couvre l'objet par des boules de diamètre δ inférieur à ε, et on étudie la limite, quand ε tend vers 0, de la valeur minimale de la somme des δ^α ; la dimension est la valeur de α pour laquelle cette limite saute de 0 à l'infini. Pour une figure régulière, cette dimension est identique à la dimension topologique ordinaire (1 pour une ligne, 2 pour une surface, etc.), mais cela n'est pas vrai en général.

Mandelbrot, généralisant les travaux des mathématiciens français Gaston Julia et Pierre Fatou sur les itérations des fonctions complexes, montra l'intérêt de l'introduction d'une telle dimension éventuellement non entière pour caractériser des figures géométriques « ayant la propriété de pouvoir être décomposées en parties de telle façon que chaque partie soit une image réduite du tout ». Il proposa alors de définir comme objet fractal un ensemble S dans un espace R^E (ou dans tout autre espace métrique et séparable) dont la dimension de Hausdorff-Besicovitch est strictement supérieure à la dimension topologique. On définit alors une dimension fractale, d_F (en général égale, mais parfois supérieure à la dimension de Hausdorff), à partir du nombre N_εminimal de boules de rayon ε couvrant la fractale : d_F = lim {lnN_ε/ (— lnε)} lorsque ε tend vers 0. Il en découle que toute construction géométrique euclidienne usuelle engendre un objet non fractal ; en fait, une fractale est en général définie par un processus récursif et se prête donc particulièrement bien au dessin assisté par ordinateur.

On définit aussi des fractales aléatoires, pour lesquelles le choix de l'opération appliquée à chaque itération suit une loi de probabilité. À partir d'un carré, on peut par exemple conserver deux quelconques de ces quarts et obtenir ainsi une fractale de dimension 1. On peut encore généraliser la construction en variant aussi à chaque pas de l'itération le nombre de quarts conservés selon une loi de probabilité. On obtient alors une fractale aléatoire hétérogène ; il semble que ce soit ces structures qu'on rencontre dans la nature, par exemple pour la distribution des galaxies.

Une fractale autoaffine est une structure qui obéit à des lois d'échelle différentes selon les différents axes ; par exemple, la transformation x → kx ; y → k^Hy, avec H différent de 1, correspond à une dimension fractale 2 — H. Une structure montagneuse, une roche fracturée sont d'assez bons exemples de fractales autoaffines naturelles.

Une multifractale est une réunion de fractales de différentes dimensions d_F, munie d'un spectre continu ou discret f(d_F) qui spécifie la mesure de chacune des fractales.[...]