Dimension fractale

Mesure de la dimension fractale de la côte de Grande-Bretagne

En géométrie fractale, la dimension fractale, D, est une grandeur qui a vocation à traduire la façon qu'a un ensemble fractal de remplir l'espace, à toutes les échelles. Dans le cas des fractales, elle est non entière et supérieure à la dimension topologique.

Ce terme est un terme générique qui recouvre plusieurs définitions. Chacune peut donner des résultats différents selon l'ensemble considéré, il est donc essentiel de mentionner la définition utilisée lorsqu'on valorise la dimension fractale d'un ensemble. Les définitions les plus importantes sont la dimension de Hausdorff-Besicovitch, la dimension de Minkowski (ou "box-countig"), et la dimension de corrélation.

Dans le cas d'ensembles fractals simples (auto-similarité stricte, notamment) on conjecture^[1] que ces définitions donnent des résultats identiques.

Par abus de langage, on trouve parfois le terme "dimension fractale" pour désigner des grandeurs non géométriques telles que l'exposant de lois de puissance dans des lois de distribution statistiques ou des séries temporelles, invariantes d'échelle, notamment en finance^[2].

Approche didactique

Les trois dimensions entières

Les figures géométriques usuelles ont une dimension entière :

La dimension D d'un segment, d'un cercle et d'une courbe régulière est de 1. Sa longueur est multipliée par 2 lorsque sa taille double.
La dimension D d'une surface simple et bornée est de 2. Elle a une aire finie et cette aire est multipliée par $4 = 2 2$ lorsque sa taille double.
La dimension D d'un volume simple et borné dans l'espace est de 3. Il a un volume fini et ce volume est multiplié par $8 = 2 3$ lorsque sa taille double.

Si D est la dimension d'un objet, alors la mesure de cet objet est multipliée par $n D$ lorsque la taille de cet objet est multipliée par n.

Courbe de Koch

Or, par exemple, la longueur de la courbe de Koch est multipliée par 4 lorsque sa taille triple (En effet, cette courbe est précisément définie comme étant constituée de quatre copies d'elle-même, trois fois plus petites). Puisque $4 = 3 1,26$ , on peut considérer intuitivement qu'il s'agit d'un objet de dimension D=1,26. Il ne s'agit plus d'un simple courbe unidimensionnelle, ni d'une surface, elle se situe "entre les deux". Cette "dimension fractale", non entière, est caractéristique des ensembles fractals.

Autre approche

De manière simplifiée et en première approximation, un objet fractal est un objet ayant une homothétie interne, c'est-à-dire qu'une portion de l'objet est identique à l'objet complet. Considérons un exemple simple, le flocon de Koch : cette courbe est construite de manière récursive, on part d'un segment de droite, et on remplace chaque segment par un segment avec un chevron au milieu.

On répète cette opération à l'infini. Cette courbe est une ligne (donc de dimension 1, au sens ordinaire). Sa longueur est infinie, puisqu'à chaque étape on multiplie sa longueur par 4/3, et qu'il y a un nombre infini d'étapes. Pourtant, et contrairement à une droite infinie, on peut toujours trouver une courbe de longueur finie aussi proche que l'on veut de la courbe de von Koch. On peut donc dire en fait que si on trouve que la longueur de la courbe de von Koch est infinie, c'est qu'on l'évalue dans une « mauvaise » dimension, et qu'en mesurant « mieux », on aurait une mesure « utile », finie.

Nous avons besoin de revenir sur la notion d'étalon en physique :

L'étalon de longueur est une règle de longueur fixe (dimension 1) : pour mesurer une longueur, on regarde combien de règles tiennent bout-à-bout sur la courbe ;
L'étalon de surface est un carreau (carré) de côté fixe (dimension 2) : pour mesurer la surface, on regarde combien de carreaux on peut poser côte-à-côte sur la surface ;
L'étalon de volume est un pavé (cube) d'arête fixe (dimension 3) : pour mesurer le volume, on regarde combien de pavés on peut empiler dans l'objet.

On ne peut évaluer la longueur que d'un objet de dimension 1 : même en prenant une règle minuscule, un point ne pourra jamais la contenir, et à l'inverse sur une surface, on peut mettre un nombre infini de règles côte-à-côte (celles-ci ont une épaisseur nulle).

De même, on ne peut évaluer l'aire que d'un objet de dimension 2 : un point ou une courbe ne pourra jamais être pavé par des carreaux (même très petits), et dans un volume, on peut empiler un nombre infini de carreaux (ceux-ci ont une épaisseur nulle).

On ne peut évaluer le volume que d'un objet à trois dimensions, puisqu'on ne peut pas mettre de pavé dans un point, une courbe ni une surface.

Ainsi, si l'on appelle d_o la dimension de l'objet et d_e celle de l'étalon, on a :

si d_e > d_o, la mesure donne 0 : on ne peut pas mettre un seul étalon dans l'objet ; c'est le cas pour la courbe de von Koch lorsqu'on utilise une mesure avec une aire, ce qui indique donc que sa dimension fractale est strictement inférieure à 2.
si d_e < d_o, la mesure donne ∞ : on peut mettre autant d'étalons qu'on veut dans l'objet ; c'est le cas pour la courbe de von Koch lorsqu'on utilise une mesure avec une longueur, ce qui indique donc que sa dimension fractale est strictement supérieure à 1.
si d_e = d_o, la mesure peut donner (si l'objet mesuré n'est pas infini) un nombre fini, le nombre d'étalons qu'il faut pour couvrir l'objet ; notre problème est donc de trouver (si elle existe) la « bonne » dimension, celle qui nous donnera une mesure finie (si l'objet est fini).

Mesure approchée de la longueur d'une courbe : M(ℓ) ≈ N_ℓ×ℓ^d avec d = 1

Mesure approchée de l'aire d'une surface : M(ℓ) ≈ N_ℓ×ℓ^d avec d = 2

Mesure approchée d'une courbe de von Koch : la longueur « linéaire » tend vers l'infini, tandis que la longueur « fractale » tend vers 1

Pour faire cette mesure, la « taille » de l'étalon n'est pas sans effet. Si l'étalon est trop grand, il ne rentre pas dans l'objet (la mesure est nulle), mais en prenant des étalons de plus en plus petits, on obtient (d'habitude) des mesures qui se rapprochent. Si, pour mesurer une ligne, on utilise une règle de longueur ℓ, plus ℓ est petit, plus on pourra mettre d'étalons dans l'objet à mesurer. La mesure est le produit du nombre d'étalons par la taille de l'étalon : Si l'on fait tenir N_ℓ règles de longueur ℓ, la mesure sera

M(ℓ) = N_ℓ×ℓ

Pour un carreau de côté ℓ, l'aire du carreau sera ℓ², et si l'on couvre la surface de N_ℓ carreaux, la mesure sera

M(ℓ) = N_ℓ×ℓ²

Pour un pavé d'arrête ℓ, le volume du pavé sera ℓ³, et si l'on rempli l'objet de N_ℓ pavés, la mesure sera

M(ℓ) = N_ℓ×ℓ³

On voit que la dimension est aussi l'exposant intervenant dans le calcul de la mesure.

Dans le cas d'une ligne habituelle, lorsqu'on utilise une règle de longueur ℓ divisée par deux (ou par trois, quatre,… N), on peut mettre à peu près deux (respectivement trois, quatre,… N) fois plus de fois l'étalon dans l'objet : la mesure ne change presque pas, et finalement, au fur et à mesure qu'on réduit la taille de l'étalon, on obtient une suite de mesures qui converge : la longueur exacte de la courbe est la limite de M(ℓ) lorsque ℓ tend vers 0, c'est un nombre réel.

Prenons l'exemple d'une surface ; lorsqu'on la pave des carreaux, on n'obtient qu'une approximation de son aire (on approche la surface par un polygone). Si l'on fait tenir N_ℓ règles de longueur ℓ, la mesure sera

M(ℓ) = N_ℓ×ℓ ²

L'aire exacte de la courbe est la limite de M(ℓ) lorsque ℓ tend vers 0. Par contre

M(ℓ) = N_ℓ×ℓ

tend vers +∞, et

M(ℓ) = N_ℓ×ℓ ³

tend vers 0. On retrouve par le calcul ce que l'on a établi par géométrie.

Dans le cas de la courbe de von Koch, on voit bien que lorsqu'on divise l'étalon de longueur par 3, on peut mettre 4 fois plus d'étalons. Du coup, la suite de mesures de longueur

M(ℓ/3) = N_ℓ/3 ×(ℓ/3) ¹ = 4N_ℓ ×ℓ ¹/3 = 4/3 × M(ℓ) > M(ℓ)

ne converge pas et la suite de mesures d'aire

M(ℓ/3) = N_ℓ/3 ×(ℓ/3) ² = 4N_ℓ/3 ×ℓ ²/9 = 4/9 × M(ℓ) < M(ℓ)

tend vers 0.

Mais il est possible d'imaginer une dimension fractionnaire, de faire varier de façon continue la « dimension ». Et de fait, pour la dimension

d_o = log 4/log 3 ≈ 1,261 9.

on peut faire converger la mesure pour la courbe de von Koch en prenant :

M(ℓ) = N_ℓ ×ℓ ^do

Les principales définitions

Les définitions suivantes, les plus couramment rencontrées, abondent dans la littérature (voir les articles détaillés ou les références citées en fin d'article : Mandelbrot ou Falconer^[3]).

Définition	Applicabilité	Formule	Commentaires
Dimension de Hausdorff	la plus rigoureuse, elle est peu aisée à mettre en œuvre.	$D_H=\inf\left\{s,H^s(X)=0\right\}=\sup\left\{s,H^s(X)=\infty\right\}$ où $H s (X)$ est la mesure de Hausdorff de l'ensemble	Elle s'appuie sur une mesure, la mesure de Hausdorff. C'est la valeur critique de s pour laquelle la valeur de la mesure $H s (X)$ passe de 0 à l'infini.
Dimension d'homothétie (1)	Limitée aux ensembles à homothéties internes	$D h$ est solution de $\sum_{k=1}^N r_k^{D_h}=1$ où N est le nombre d'homothéties et $r k$ le rapport de l'homothétie de rang k. Dans le cas de rapports identiques, elle admet une solution analytique simple (voir ci-dessous)	C'est la traduction la plus simple simple de la dimension de Hausdorff, applicable aux seuls ensembles fractals a homothétie interne. Attention, cette formule n'est pas applicable dans le cas de transformations affines ou non-linéaires.
Dimension d'homothétie (2)	Limitée aux ensembles à homothéties internes de même rapport	$D_h = \frac{\ln(N)}{\ln(\frac{1}{r})}$ où N est le nombre d'homothéties et r le rapport d'homothétie	C'est un cas particulier de solution pour l'équation générale ci-dessus. La dimension d'homothétie vaut alors le quotient logarithmique entre le nombre d'homothéties internes de l'ensemble, sur l'inverse du rapport d'homothétie.
Dimension de Minkowski–Bouligand ou "Box-countig"	Tout ensemble	$D_{box}= \lim_{\varepsilon \to 0} \frac {\log N(\varepsilon)}{\log (1/\varepsilon)}$ où N(ε) est un nombre de sous-ensembles de diamètre au plus ε nécessaires pour recouvrir l'ensemble.	La plus courante et la plus simple pour mesurer numériquement la dimension d'une fractale. Elle prend pour base la couverture de l'ensemble fractal par des ensembles de taille décroissants. S'appuie sur une notion de comptage et non de mesure, ce qui la rend moins universelle. Peut, alors, être supérieure à la dimension de Hausdorff, mais jamais inférieure.

Autres définitions

Ces définitions sont plus rares dans la littérature. Elles sont utilisées dans des contextes spécifiques (théorie du Chaos, par exemple).

Définition	Applicabilité	Formule	Commentaires
Dimension de corrélation^[4]	Appliquée aux ensembles de points (attracteurs notamment)	$D_c = \lim_{\epsilon \rightarrow 0, M \rightarrow \infty} \frac{\log (g_\epsilon / M^2)}{\log \epsilon}$ où M est le nombre de points utilisés pour générer la fractale et g_ε le nombre de paires de points dont la distance mutuelle est inférieure à ε.	Dimension de Rényi d'ordre 2. Principalement utilisée en théorie du Chaos pour estimer la dimension fractale d'attracteurs, représentés par un ensemble de points calculés. Elle considère le nombre de paires de points dont la distance mutuelle est inférieure à une distance donnée. Elle a pour avantage de permettre des calculs rapides et souvent en accord avec les autres méthodes de calcul.
Dimension d'information ^[5]	Appliquée aux ensembles de points (attracteurs notamment)	$D_i = \lim_{\epsilon \rightarrow 0} \frac{ \sum_{i=1}^N P_i\log{P_i}}{\log\frac{1}{\epsilon}}$ où N est le nombre d'hypercubes de côté $\epsilon$ qui partagent l'espace et $P i$ la probabilité pour un point de tomber dans le cube de d'index i	Dimension de Rényi d'ordre 1. La dimension d'information considère l'information nécessaire pour décrire les cases occupées par les points de l'attracteur, à mesure que la taille de ces cases diminue.
Dimension de Rényi^[6]^,^[7]	Appliquée aux ensembles de points (attracteurs notamment)	$D_\alpha = \lim_{\epsilon \rightarrow 0} \frac{\frac{1}{1-\alpha}\log(\sum_{i} p_i^\alpha)}{\log\frac{1}{\epsilon}}$ où le numérateur est la limite de l'entropie de Rényi d'ordre α	Adapté à la mesure d'attracteurs. La dimension de Minkowski, la dimension d'information et la dimension de corrélation peuvent être vus comme des cas particuliers de dimension de Rényi d'ordre α. La dimension de Rényi pour α=0 traite toutes les parties du support de l'attracteur de manière identique. Pour de plus grandes valeur de α, un poids plus important est donné aux parties de l'attracteur visitées le plus fréquemment. Un attracteur pour lequel les dimensions de Rényi ne sont pas toutes égales est considéré comme multifractal, ou possède une structure multifractale.
Dimension "packing"^[3]	Tout ensemble	....	Duale de la dimension de Hausdorff. Elle considère le maximum de boules disjointes dont le centre appartient à l'ensemble fractal et non le minimum de boules couvrant la fractale.
Dimension "divider"^[3]	Appliquée aux courbes sans auto-intersection	$D_d = \lim_{\epsilon \rightarrow 0} \frac{ \log N_\epsilon}{\log\frac{1}{\epsilon}}$ ou $N_\epsilon$ est le plus grand nombre de points de la courbe successivement équidistants d'une longueur donnée ( $x k$ tels que $\|x_{k+1}-x_k\|=\epsilon$ )	Considère l'application répétée d'une unité de mesure de longueur de plus en plus petite (Cf illustration en tête de l'article). Utilisée par Lewis Fry Richardson pour mesurer dimension de la côte de Grande-Bretagne.

Relations entre dimensions

On montre, dans le cas général, que : $D_t \le D_c \le D_i \le D_H \le D_{\textrm{box}} \le D_d$ ^[4]^,^[8]^,^[3] où :

D t

est la dimension topologique de l'ensemble

D c

est la dimension de corrélation de l'ensemble (Rényi d'ordre 2)

D i

est la dimension d'information de l'ensemble (Rényi d'ordre 1)

D H

est la dimension de Hausdorff de l'ensemble (ou dimension d'homothétie)

D box

est la dimension de Minkowski de l'ensemble

D d

est la dimension "divider" de l'ensemble

En cas d'autosimilarité stricte, on conjecture (Schroeder,1991) que $D H$ et $D b o x$ sont égales.

Pour un attracteur, si chaque élément de l'attracteur a une probabilité identique d'être visitée, alors $D i$ et $D box$ sont égales^[5].

Applications et limites

La mesure de la dimension fractale trouve des applications dans de nombreux domaines de recherche tels que la physique^[9], l'analyse d'image^[10]^,^[11], l'acoustique^[12] l'analyse des zéros de la fonction de Riemann^[13] ou les processus electrochimiques^[14].

L'estimation de la dimension fractale d'objets réels est très sensible au bruit et à la quantité de données disponible. On doit donc être prudent concernant la valeur obtenue.

Les définitions de dimension fractale présentées dans la sections précédentes s'entendent à la limite, lorsque $\epsilon$ tend vers zéro. Or cette limite n'est jamais atteinte dans le monde physique à cause des limites moléculaire ou quantique. Pour cette raison il n'existe pas d'objet physique fractal au sens strict^[15].

La dimension fractale n'est, en pratique, calculée que sur un intervalle défini, généralement pour des valeurs de $\epsilon$ visibles (ou significatives vis-à-vis des propriétés que l'on souhaite étudier). On définira ainsi une dimension fractale apparente ou approximative.

La mesure d'une telle dimension fractale apparente utilise souvent la méthode de Minkowski-Bouligand ou méthode "box-counting" par comptage de boîtes. Elle consiste à

mesurer les valeurs de $N(\epsilon)$ pour différentes valeurs de $\epsilon$ dans l'intervalle choisi,
puis porter ces valeurs sur un graphe donnant $log(N(\epsilon))$ en fonction de $log(1/\epsilon)$ . Si la figure est auto-similaire, ces points seront alignés,
enfin déterminer la pente de cette droite, ce qui donnera la valeur de la dimension fractale recherchée.

Une courbe de Koch paradoxale. Sa dimension fractale ne traduit pas sa rugosité apparente.

Cette restriction peut également concerner des constructions purement géométriques. A titre de contre-exemple, dans l'illustration ci-contre, on a défini une figure fractale paradoxale ayant l'aspect de la courbe de Koch mais ayant la dimension fractale de l'ensemble de Cantor: $log(2) / log(3)$ . Elle est construite à la manière de Koch sur les premières itérations, celles concernant des intervalles de longueur visibles, mais continue à l'infini avec la construction de l'ensemble triadique de Cantor. Si l'on s'en tient à l'aspect visible, on peut considérer sa dimension fractale apparente, qui vaut celle de la courbe de Koch : $log(4) / log(3)$ , sur les intervalles de $\epsilon$ visibles.

Cet exemple illustre par ailleurs que dimension fractale et "rugosité" apparente, concept popularisé par Mandelbrot, ne vont pas toujours de pair.

Voir aussi

Sur les autres projets Wikimedia :

« la dimension fractale », sur Wikimedia Commons (ressources multimédia)

Liste de fractales par dimension de Hausdorff

Notes

↑ (en) Manferd Robert Schroeder, Fractals, Chaos, Power Laws: Minutes from an Infinite Paradise, New York, W H Freeman & Co (Sd), 1991, 6^e éd. (ISBN 978-0-7167-2136-9) (LCCN 90036763)
↑ Dimension fractale d'un index boursier
↑ ^{a, b, c et d} (en) Kenneth Falconer, Fractal Geometry: Mathematical Foundations and Applications, Chichester, John Wiley & Sons, Ltd., 1990 & 2003, 2^e éd., poche (ISBN 978-0-470-84862-3) (LCCN 2004271361)
↑ ^{a et b} Dimension de corrélation sur Mathworld
↑ ^{a et b} Dimension d'information sur Mathworld
↑ Dimension de Renyi sur Scholarpedia
↑ Dimension de Rényi sur Mathworld
↑ Dimension de Minkowski sur Mathworld
↑ B. Dubuc, J. F. Quiniou, C. Roques-Carmes, C. Tricot, and S. W. Zucker, « Evaluating the fractal dimension of profiles », dans Phys. Rev. A, vol. 39, 1989, p. 1500–12 [lien DOI]
↑ P. Soille and J.-F. Rivest, « On the validity of fractal dimension measurements in image analysis », dans Journal of Visual Communication and Image Representation, vol. 7, 1996, p. 217–229 [texte intégral, lien DOI]
↑ Tolle, C. R., McJunkin, T. R., and Gorisch, D. J., « Suboptimal Minimum Cluster Volume Cover-Based Method for Measuring Fractal Dimension », dans IEEE Trans. Pattern Anal. Mach. Intell., vol. 25, n^o 1, janvier 2003, p. 32–41 [lien DOI]
↑ P. Maragos and A. Potamianos, « Fractal dimensions of speech sounds: Computation and application to automatic speech recognition », dans Journal of the Acoustical Society of America, vol. 105, n^o 3, 1999, p. 1925 [lien PMID, lien DOI]
↑ O. Shanker, « Random matrices, generalized zeta functions and self-similarity of zero distributions », dans J. Phys. A: Math. Gen., vol. 39, 2006, p. 13983–97 [lien DOI]
↑ Ali Eftekhari, « Fractal Dimension of Electrochemical Reactions », dans Journal of the Electrochemical Society, vol. 151, n^o 9, 2004, p. E291–6 [lien DOI]
↑ Pas plus qu'il n'existe d'objet physique strictement circulaire ou carré. Cette réserve n'est pas limitée à la géométrie fractale

Références

, Les Objets fractals : forme, hasard, et dimension, Flammarion, 1973
Mandelbrot, Les Objets fractals, survol du langage fractal, Flammarion, 1975, 1984, 1989, 1995
(en) Benoît Mandelbrot, « How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension. », dans Science, New Series, vol. 156, n^o 3775, 1967, p. 636-638 [lien DOI]
(en) Kenneth Falconer, Fractal Geometry: Mathematical Foundations and Applications, Chichester, John Wiley & Sons, 1990 & 2003, 2^e éd., poche (ISBN 978-0-470-84862-3) (LCCN 2004271361)

Liens externes

Portail de la géométrie

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dimension fractale de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

Dimension de Hamel — Dimension Voir « dimension » sur le Wiktionnaire … Wikipédia en Français
Dimension spatiale — Dimension Voir « dimension » sur le Wiktionnaire … Wikipédia en Français
Dimension box-counting — Dimension de Minkowski–Bouligand En géométrie fractale, la dimension de Minkowski–Bouligand, également appelée dimension de Minkowski ou dimension box counting, est une manière de déterminer la dimension fractale d un ensemble S dans un Espace… … Wikipédia en Français
Dimension de Minkowski — Dimension de Minkowski–Bouligand En géométrie fractale, la dimension de Minkowski–Bouligand, également appelée dimension de Minkowski ou dimension box counting, est une manière de déterminer la dimension fractale d un ensemble S dans un Espace… … Wikipédia en Français
fractale — ● fractale nom féminin Objet fractal. ● fractal, fractale, fractals adjectif (latin fractus, brisé) Se dit d objets mathématiques dont la création ou la forme ne trouve ses règles que dans l irrégularité ou la fragmentation ; se dit des branches… … Encyclopédie Universelle
Dimension D'un Espace Vectoriel — En mathématiques, la dimension d un espace vectoriel E est le cardinal (c est à dire le nombre de vecteurs) de toute base de E. Elle est parfois appelée la dimension de Hamel ou la dimension algébrique à distinguer d autres types de dimension.… … Wikipédia en Français
Fractale — On nomme figure fractale ou fractale par substantivation de l adjectif (ou encore en anglais fractal), une courbe ou surface de forme irrégulière ou morcelée qui se crée en suivant des règles déterministes ou stochastiques impliquant une… … Wikipédia en Français
Dimension de Minkowski–Bouligand — Recouvrement de la côte de Grande Bretagne[1] par des réseaux carrés de maille décroissante En géométrie fractale, la dimension de Minkowski–Bouligand, également appelée dimension de Minkowski ou dimension box counting, est une manière de dét … Wikipédia en Français
Dimension — Sur les autres projets Wikimedia : « Dimension », sur le Wiktionnaire (dictionnaire universel) Dans le sens commun, la notion de dimension renvoie à la taille ; les dimensions d une pièce sont sa longueur, sa largeur et sa… … Wikipédia en Français
Fractale du dragon — Courbe du dragon Courbe du dragon La courbe du dragon (ou Fractale du dragon ou courbe de Heighway ou dragon de Heighway ) a été pour le première fois étudiée par les physiciens de la NASA John Heighway, Bruce Banks, et William Harter. Elle a été … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Dimension fractale

Sommaire

Approche didactique

Les principales définitions

Autres définitions

Relations entre dimensions

Applications et limites

Voir aussi

Notes

Références

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Dimension fractale

Sommaire

Approche didactique

Les principales définitions

Autres définitions

Relations entre dimensions

Applications et limites

Voir aussi

Notes

Références

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link