On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

Cet article étudie une classe de fonctions continues sur $[0,1]$ aux propriétés fractales, en établissant des critères de monotonie, de non-différentiabilité et de singularité, tout en analysant les propriétés de leurs ensembles de niveau.

L'essentiel

Voici une explication simple et imagée de ce papier mathématique, conçue pour être comprise par tout le monde, même sans bagage en mathématiques avancées.

🎨 Le Dessin d'une Montagne Impossible

Imaginez que vous devez dessiner une ligne sur un papier, de gauche à droite (de 0 à 1). Normalement, une ligne monte (elle augmente) ou descend (elle diminue). C'est comme une route de montagne : elle peut monter vers le sommet ou descendre vers la vallée.

Mais les auteurs de ce papier, Klymchuk et Pratsiovtyi, ont créé un type de ligne très spécial. C'est une montagne qui ne fait que des zigzags.

1. La Règle du Jeu : Le Code à 3 Couleurs

Pour construire cette ligne, ils utilisent un système de code secret basé sur trois couleurs (ou chiffres) : le 0 (rouge), le 1 (bleu) et le 2 (vert).

• Chaque point de votre ligne est défini par une suite infinie de ces couleurs (ex: rouge, bleu, vert, rouge...).
• C'est un peu comme si vous construisiez une maison brique par brique, mais vous avez une infinité de briques de trois couleurs différentes.

2. Le Secret : Le "Bouton Magique" (ε)

Le secret de cette ligne réside dans un petit bouton magique appelé ε (epsilon). Ce bouton contrôle comment la ligne se comporte à chaque étape de sa construction.

• Si le bouton est réglé sur "0" (ou très bas) : La ligne est une rampes douce. Elle monte tout le temps, sans jamais redescendre. C'est monotone (ennuyeux mais prévisible).
• Si le bouton est réglé sur "1/2" (la moitié) : La ligne devient plate par endroits. Imaginez un escalier où certaines marches sont devenues des paliers infinis. La ligne s'arrête de monter pendant un moment, puis reprend. C'est ce qu'on appelle une fonction "singulière".
• Si le bouton est réglé entre "1/2" et "1" (le mode fou) : C'est là que la magie opère. La ligne devient chaotique.
  • Elle monte, puis descend, puis monte, puis descend...
  • Le plus fou ? Elle fait cela partout. Peu importe où vous zoomez avec une loupe, vous verrez toujours des montagnes et des vallées. Elle ne monte jamais vraiment sur une distance, ni ne descend jamais vraiment. C'est une fonction nulle part monotone.

3. L'Analogie du Miroir Fractal

Imaginez que vous regardez un dessin dans un miroir.

• Dans une ligne normale, si vous zoomez, vous voyez une ligne droite.
• Dans cette ligne spéciale, si vous zoomez sur une petite partie, vous voyez exactement la même structure que la grande ligne, mais en plus petit. C'est un fractal.
• C'est comme un flocon de neige de Koch ou le triangle de Sierpinski : la complexité est partout, à l'infini.

4. Pourquoi est-ce important ? (Les Propriétés)

Les auteurs ont étudié trois choses principales sur cette ligne bizarre :

• La Continuité (Pas de trous) : Même si elle zigzague follement, la ligne est continue. Elle ne saute jamais. C'est comme un fil de laine qu'on ne peut pas couper. Si vous la dessinez, votre crayon ne doit jamais quitter le papier.
• La Dérivabilité (Pas de pente définie) : Si vous essayez de mesurer la pente de cette ligne à un endroit précis, vous échouez. Elle est trop irrégulière. Elle est "toute en dents de scie". Mathématiquement, on dit qu'elle n'est nulle part dérivable. C'est comme essayer de mesurer la pente d'une côte rocheuse à l'échelle d'un grain de sable : ça n'a pas de sens.
• Les Niveaux (Lignes horizontales) : Si vous tracez une ligne horizontale (par exemple à la hauteur 0,5) et que vous regardez où elle coupe votre montagne bizarre :
  • Si le bouton est bas, elle coupe une seule fois.
  • Si le bouton est moyen, elle coupe un segment entier (elle reste collée à la ligne).
  • Si le bouton est "fou" (entre 0,5 et 1), elle coupe la ligne une infinité de fois, mais de manière dispersée (comme des points isolés). C'est ce qu'on appelle un ensemble dénombrable.

En Résumé

Ce papier décrit la recette pour construire une courbe mathématique infiniment complexe.

C'est comme si vous preniez un morceau de pâte à modeler et que vous le pliez, le tordiez et le repliez à l'infini, de manière à ce qu'il remplisse l'espace de manière chaotique, mais sans jamais se briser.

• Le but : Montrer que l'on peut créer des fonctions continues (sans trous) qui sont si irrégulières qu'elles ne sont ni montantes ni descendantes nulle part.
• L'application : Cela aide les mathématiciens à comprendre la géométrie des formes complexes, la nature du hasard (stochastique) et comment les structures fractales apparaissent dans des systèmes déterministes.

C'est une exploration de la beauté du chaos : une règle simple (le bouton ε) qui génère une complexité infinie et fascinante.

Résumé technique

Voici un résumé technique détaillé de l'article « Sur une classe de fonctions nulle part monotones aux propriétés fractales contenant une sous-classe de fonctions singulières » par S. O. Klymchuk et M. V. Pratsivytyi.

1. Problématique et Contexte

L'article s'intéresse à l'étude d'une classe spécifique de fonctions continues définies sur l'intervalle $[0, 1]$. Ces fonctions sont construites à l'aide d'une généralisation de la représentation des nombres réels, appelée représentation $Q^*_3$, basée sur un système ternaire (base 3) et une matrice stochastique infinie.

L'objectif principal est d'analyser les propriétés analytiques et géométriques de ces fonctions, notamment :

• Leur monotonie (strictement croissante, nulle part monotone).
• Leur dérivabilité.
• Leur nature singulière (dérivée nulle presque partout).
• La structure de leurs ensembles de niveau.

Ces travaux s'inscrivent dans le contexte des fonctions fractales et des fonctions de Cantor, où les auteurs cherchent à établir des critères précis reliant les paramètres de définition de la fonction à ses propriétés globales.

2. Méthodologie et Définition de la Fonction

Les auteurs définissent la fonction $f$ via une série infinie basée sur la représentation $Q^*_3$ d'un nombre $x \in [0, 1]$.

Définition de la représentation $Q^*_3$ :
Un nombre $x$ est représenté par une suite de chiffres $(\alpha_k)_{k \ge 1}$ où $\alpha_k \in \{0, 1, 2\}$, selon la formule :
$$x = \beta_{\alpha_1} + \sum_{k=2}^{\infty} \left( \beta_{\alpha_k} \prod_{j=1}^{k-1} q_{\alpha_j, j} \right)$$
où $Q^* = ||q_{ik}||$ est une matrice stochastique positive infinie ($q_{ik} > 0$ et $\sum_{i=0}^2 q_{ik} = 1$). Les termes $\beta_{ik}$ sont des bornes cumulatives définies par les $q_{ik}$.

Définition de la fonction $f$ :
La fonction est définie par l'égalité :
$$f(x) = \delta_{\alpha_1} + \sum_{k=2}^{\infty} \left( \delta_{\alpha_k} \prod_{j=1}^{k-1} g_{\alpha_j} \right)$$
Les paramètres clés sont :

• Une suite de nombres $(\varepsilon_k)$ telle que $0 \le \varepsilon_k \le 1$.
• Des coefficients $g_{ik}$ définis par : $g_{0k} = g_{2k} = \frac{1+\varepsilon_k}{3}$ et $g_{1k} = \frac{1-2\varepsilon_k}{3}$.
• Des coefficients $\delta_{ik}$ définis par : $\delta_{0k} = 0$, $\delta_{1k} = g_{0k}$, $\delta_{2k} = g_{0k} + g_{1k}$.

Approche méthodologique :

1. Correction de la définition : Démonstration de la convergence absolue de la série et de l'indépendance de la valeur de $f$ vis-à-vis de la représentation du nombre (cas des nombres rationnels ayant deux représentations).
2. Analyse de la continuité : Utilisation de la définition de la limite pour prouver la continuité uniforme sur $[0, 1]$.
3. Étude des incréments : Calcul de l'incrément de la fonction sur les cylindres (intervalles définis par les premiers chiffres de la représentation $Q^*_3$).
4. Analyse géométrique : Étude de l'auto-similarité du graphe de la fonction via des transformations affines.

3. Contributions Clés et Résultats Principaux

Les auteurs établissent des critères rigoureux reliant la valeur du paramètre $\varepsilon_k$ aux propriétés de la fonction $f$.

A. Continuité et Image

• Théorème 1 : La fonction $f$ est continue sur tout l'intervalle $[0, 1]$.
• Corollaire : L'image de $f$ est exactement l'intervalle $[0, 1]$.

B. Monotonie et Dérivabilité

Le comportement de la fonction dépend crucialement de la valeur de $\varepsilon_k$ :

1. Cas $\varepsilon_k = 1/2$ :
   • On a $g_{1k} = 0$. La fonction est constante sur certains intervalles (cylindres) spécifiques.
   • La fonction est singulière : sa dérivée est nulle presque partout (sur la réunion de ces intervalles dont la somme des longueurs est 1).
2. Cas $0 \le \varepsilon_k < 1/2$ :
   • On a $g_{1k} > 0$.
   • Résultat : La fonction est strictement croissante sur tout son domaine.
3. Cas $1/2 < \varepsilon_k \le 1$ :
   • On a $g_{1k} < 0$.
   • Théorème 3 : La fonction est nulle part monotone (nowhere monotonic). Elle n'est monotone sur aucun sous-intervalle de $[0, 1]$.
   • La fonction est nulle part dérivable (non-differentiable everywhere).

C. Structure Fractale et Auto-similarité

• Théorème 4 : Si $\varepsilon_k$ est constant, le graphe de la fonction $\Gamma_f$ possède une propriété d'auto-similarité affine. Le graphe restreint à un cylindre de rang $i$ est affinement équivalent au graphe global via une transformation $\phi_i$. Cela confirme la nature fractale de la fonction.

D. Ensembles de Niveau (Level Sets)

Les auteurs caractérisent la cardinalité des ensembles $f^{-1}(y_0)$ :

• Si $0 \le \varepsilon_n < 1/2$ (fonction strictement croissante) : Chaque ensemble de niveau est un singleton (un seul point).
• Si $\varepsilon_n = 1/2$ (fonction singulière) : Chaque ensemble de niveau est soit un point, soit un segment.
• Si $1/2 < \varepsilon_n \le 1$(fonction nulle part monotone) : Chaque ensemble de niveau est un **ensemble dénombrable**. Cela découle du fait que les incréments sur les cylindres successifs changent de signe, forçant la courbe à croiser toute ligne horizontale$y=y_0$ une infinité de fois de manière discrète.

4. Signification et Implications

Cet article apporte une contribution significative à la théorie des fonctions singulières et fractales en :

1. Généralisation : Il étend les résultats connus sur les fonctions de Cantor et les fonctions de type Minkowski en introduisant une dépendance dynamique via une matrice stochastique infinie et une suite de paramètres $(\varepsilon_k)$.
2. Classification Unifiée : Il offre un cadre unifié permettant de passer continûment d'une fonction strictement croissante à une fonction singulière, puis à une fonction nulle part monotone, simplement en ajustant le paramètre $\varepsilon$.
3. Propriétés Géométriques : Il met en lumière la relation profonde entre la structure des ensembles de niveau et la monotonie de la fonction, démontrant que la complexité fractale (nulle part monotone) implique une structure d'ensembles de niveau dénombrable, contrairement aux fonctions monotones classiques.

En résumé, Klymchuk et Pratsivytyi fournissent une construction analytique robuste d'une classe de fonctions "pathologiques" (au sens de la monotonie) qui possèdent des propriétés fractales riches, offrant ainsi un outil puissant pour l'étude de la géométrie des graphes de fonctions continues non dérivables.