Courbe de De Rham

courbe fractale continue obtenue comme image d'un espace de Cantor

En mathématiques, une courbe de De Rham est une courbe fractale continue obtenue comme l'image de l'espace de Cantor ou, de manière équivalente, à partir du développement en base 2 des nombres réels dans l'intervalle unité. De nombreuses courbes fractales bien connues, dont la fonction de Cantor, la courbe de Cesàro-Faber ( courbe C de Lévy ), la fonction point d'interrogation de Minkowski, la courbe de blanc-manger et la courbe de Koch sont toutes des exemples de courbes de De Rham. La forme générale de la courbe a été décrite pour la première fois par Georges de Rham en 1957[1].

Construction

modifier

On considère un espace métrique complet   (en général   2 avec la distance euclidienne habituelle), et une paire d'applications contractantes sur M :

 

D'après le théorème du point fixe de Banach, ceux-ci ont des points fixes   et   respectivement. Soit x un nombre réel dans l'intervalle  , ayant un développement binaire

 

où chaque   vaut 0 ou 1. On considère l'application

 

définie par

 

  désigne la composition des fonctions. On peut montrer que chaque   projette le bassin d’attraction commun de   et   vers un seul point   dans  . L'ensemble de points  , paramétrée par un seul paramètre réel x, est connue sous le nom de courbe de De Rham.

Condition de continuité

modifier

La construction en termes de chiffres binaires peut être comprise de deux manières distinctes. Une solution consiste à projeter l'espace de Cantor en des points distincts du plan. L'espace de Cantor est l'ensemble de toutes les chaînes infiniment longues de chiffres binaires. C'est un espace discret et non connexe. L'espace de Cantor peut être projeté sur l'intervalle réel unité en voyant chaque chaîne comme un développement binaire d'un nombre réel. Dans cette carte, les fractions dyadiques ont deux représentations distinctes sous forme de chaînes de chiffres binaires. Par exemple, le nombre réel 1/2 a deux développements binaires équivalents :   et  , de manière analogue à l'égalité 0,999... = 1,000... en termes de développements décimaux. Les deux points   et   sont des points distincts dans l'espace de Cantor, mais les deux sont projetés sur le nombre même réel 1/2. Ainsi, les réels de l’intervalle unité sont une image continue de l’espace de Cantor.

La même notion de continuité est appliquée à la courbe de De Rham en demandant que les points fixes soient appariés, de sorte que

 

Avec cet appariement, les développements binaires des fractions dyadiques correspondent toujours au même point, assurant ainsi la continuité à ce point. On considére le comportement en 1/2. Pour tout point p du plan, on a deux suites distinctes :

 
 

correspondant aux deux développements binaires   et  . Puisque les deux applications sont toutes deux contractantes, la première suite converge vers   et la deuxième à  . Si ces deux éléments sont égaux, alors les deux développements binaires de 1/2 correspondent au même point. Cet argument peut être répété à n’importe quelle fraction dyadique, assurant ainsi la continuité en ces points. Les nombres réels qui ne sont pas des fractions dyadiques n'ont qu'une seule représentation binaire unique, et il s'ensuit que la courbe ne peut pas être discontinue en de tels points. La courbe de De Rham résultante   est une fonction continue de x, pour tout x.

En général, les courbes de De Rham ne sont pas dérivables.

Propriétés

modifier

Les courbes de De Rham sont par construction auto-similaires, puisque

  pour   et
  pour  

Les auto-symétries de toutes les courbes de De Rham sont données par le monoïde qui décrit les symétries de l'arbre binaire infini ou espace de Cantor. Ce soi-disant monoïde à doublement de période est un sous-ensemble du groupe modulaire.

L'image de la courbe, c'est-à-dire l'ensemble des points  , peut être obtenu par un système de fonctions itérées utilisant l'ensemble des applications contractantes  . Mais le résultat d’un système de fonctions itérées avec deux applications contractantes est une courbe de De Rham si et seulement si les applications contractantes satisfont à la condition de continuité.

Des exemples détaillés et concrets des autosimilarités peuvent être trouvés dans les articles sur l'escalier de Cantor et sur la fonction point d'interrogation de Minkowski. Précisément le même monoïde d'autosimilarités, le monoïde dyadique, s'applique à chaque courbe de De Rham.

Classification et exemples

modifier

Les systèmes suivants génèrent des courbes continues.

Courbes de Cesàro

modifier
 
Courbe de Cesàro pour a = 0,3 + i 0,3
 
Courbe de Cesàro pour a = 0,5 + i 0,5. Il s'agit de la courbe C de Lévy.

Les courbes de Cesàro, également connues sous le nom de courbes de Cesàro – Faber ou courbes en C de Lévy, sont des courbes de De Rham générées par des transformations affines conservant l'orientation, avec des points fixes en   et  .

En raison de ces contraintes, les courbes de Cesàro sont déterminées de manière unique par un nombre complexe   tel que   et  .

Les applications contractantes   et   sont alors définies comme fonctions complexes dans le plan complexe par :

 

Pour la valeur de  , la courbe résultante est la courbe en C de Lévy.

Courbes de Koch-Peano

modifier
 
Courbe de Koch – Peano pour a = 0,6 + i 0,37. Elle est proche de la courbe de Koch .
 
Courbe de Koch – Peano pour a = 0,6 + i 0,45.

De la même manière, on peut définir la famille de courbes de Koch – Peano comme l'ensemble des courbes de De Rham générées par des transformations affines inversant l'orientation, avec des points fixes en   et  .

Ces applications sont exprimées dans le plan complexe en fonction de  , le complexe conjugué de   :

 

Le nom de la famille vient de ses deux membres les plus célèbres. Le flocon de Koch est obtenue en fixant :

 

tandis que la courbe de Peano correspond à :

 

La courbe de De Rham pour   pour les valeurs de   inférieures et proches de 1 ressemble visuellement à la courbe d'Osgood (en). Ces deux courbes sont étroitement liées, mais ne sont pas identiques. La courbe d'Osgood est obtenue par soustraction d'ensembles répétés et constitue donc un ensemble parfait, tout comme l'ensemble de Cantor lui-même. La construction de l'ensemble d'Osgood demande que des triangles de plus en plus petits soient soustraits, laissant derrière eux un ensemble « gros » de mesure non nulle ; la construction est analogue à l'ensemble gras de Cantor, qui a une mesure non nulle. En revanche, la courbe de De Rham n’est pas « grosse » ; la construction n'offre pas de moyen de « grossir » les « segments de droite » qui se situent « entre » les rationnels dyadiques.

Applications affines générales

modifier
 
Courbe de De Rham affine générique
 
Courbe de De Rham affine générique
 
Courbe de De Rham affine générique
 
Courbe de De Rham affine générique

Les courbes de Cesàro–Faber et de Peano–Koch sont toutes deux des cas particuliers du cas général d'une paire de transformations linéaires affines sur le plan complexe. En fixant une extrémité de la courbe à 0 et l'autre à 1, le cas général est obtenu en itérant sur les deux transformées

 

Étant des transformations affines, ces transformations agissent sur un point   du plan 2D en agissant sur le vecteur

 

On voit que le milieu de la courbe se situe en   ; les quatre autres paramètres peuvent varier pour créer une grande variété de courbes.

La courbe du blanc-manger du paramètre   peut être obtenu en définissant  ,   et  , soit :

 

Depuis la courbe du blanc-manger pour le paramètre   est une parabole de l'équation  , cela illustre le fait que dans certaines occasions, les courbes de De Rham peuvent être lisses.

Fonction point d'interrogation de Minkowski

modifier

La fonction point d'interrogation de Minkowski est générée par la paire d'applications

 

Non-exemples

modifier

Étant donné deux fonctions quelconques   et  , on peut définir une application à partir de l'espace de Cantor, par itération répétée des chiffres, exactement de la même manière que pour les courbes de De Rham. En général, le résultat ne sera pas une courbe de De Rham si les conditions de continuité ne sont pas remplies. Ainsi, il existe de nombreux ensembles qui pourraient être en correspondance biunivoque avec l'espace de Cantor, dont les points peuvent être associés de manière unique avec des points dans l'espace de Cantor ; cependant, ce ne sont pas des courbes de De Rham, car les rationnels dyadiques ne correspondraient pas au même point.

Ensemble de Julia de l'ensemble de Mandelbrot

modifier

L'ensemble de Mandelbrot est généré par une équation itérée de doublement de période   L'ensemble de Julia correspondant est obtenu en itérant dans la direction opposée. Cela se fait en écrivant  , ce qui donne deux racines distinctes déduites de l'itération avant  . Ces deux racines peuvent être distinguées comme

 

En fixant du nombre complexe  , le résultat est l'ensemble de Julia pour cette valeur de  . Cette courbe est continue lorsque   est à l'intérieur de l'ensemble de Mandelbrot ; sinon, c'est un nuage de points déconnectés. Cependant, la raison de la continuité n'est pas due à la condition de De Rham, car, en général, les points correspondant aux rationnels dyadiques sont très éloignés les uns des autres. En fait, cette propriété peut être utilisée pour définir une notion de « pôles opposés », de points conjugués dans l'ensemble de Julia.

Généralisations

modifier

Il est facile de généraliser la définition en utilisant plus de deux applications de contraction. Si l'on utilise n applications, alors la décomposition n-aire de x doit être utilisée à la place du développement binaire des nombres réels. La condition de continuité doit être généralisée en :

 , pour  

Cette condition de continuité peut être comprise avec l’exemple suivant. Supposons que l'on travaille en base 10. Ensuite, on a (classiquement) la correspondance 0,999...= 1,000... ce qui est une équation de continuité qui doit être appliquée à chaque écart de ce type. Autrement dit, étant donné les chiffres décimaux   avec  , on a

 

Une telle généralisation permet, par exemple, de produire la courbe en pointe de flèche de Sierpiński (dont l'image est le triangle de Sierpiński ), en utilisant les applications de contraction d'un système de fonctions itérées qui produit le triangle de Sierpiński.

Courbes multifractales

modifier

Ornstein et d'autres décrivent un système multifractal dans lequel, au lieu de travailler sur une base fixe, on travaille sur une base variable.

On considère l'espace produit d'espaces discrets des bases variables  

 

pour   le groupe cyclique, pour   un nombre entier. Tout nombre réel dans l'intervalle unité peut être développé en une suite  telle que chaque  . Plus précisément, un nombre réel   s'écrit comme

 

Ce développement n'est pas unique, si   pour tout  . Dans ce cas, on a :

 

De tels points sont analogues aux rationnels dyadiques dans le développement dyadique, et les équations de continuité sur la courbe doivent être appliquées à ces points.

Pour chaque  , il faut préciser deux choses : un ensemble de deux points   et   et un ensemble de   fonctions   (avec   ). La condition de continuité est alors comme ci-dessus,

 , pour  

Dans son exemple original, Ornstein utilise

 

Voir également

modifier

Références

modifier
  1. Georges de Rham, Sur quelques courbes definies par des equations fonctionnelles. Univ. e Politec. Torino. Rend. Sem. Mat., 1957, 16, 101 –113

Bibliographie

modifier
  • (en) Georges de Rham, On Some Curves Defined by Functional Equations (1957), reprinted in Classics on Fractals, ed. Gerald A. Edgar (Addison-Wesley, 1993), pp. 285–298.
  • (en) Linas Vepstas, A Gallery of de Rham curves, (2006).
  • (en) Linas Vepstas, Symmetries of Period-Doubling Maps, (2006). (A general exploration of the modular group symmetry in fractal curves.)