Mesures de Frostman à Deux Échelles

Informations Fondamentales

• ID de l'article: 2511.04302
• Titre: Two-Scale Frostman Measures
• Auteurs: Nicolás Angelini, Úrsula Molter
• Classification: math.CA (Analyse Classique et Équations Différentielles Ordinaires)
• Date de soumission: 6 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.04302

Résumé

Cet article établit un cadre unifié de type Frostman reliant la dimension de Hausdorff classique à la famille de dimensions intermédiaires $\dim_\theta$ récemment introduite par Falconer, Fraser et Kempton. Les auteurs définissent une nouvelle quantité géométrique $\mathcal{D}(E)$ et démontrent que, sous des hypothèses modérées, il existe une famille de mesures $\{\mu_\delta\}$ supportées sur $E$ satisfaisant simultanément deux conditions de décroissance correspondant respectivement aux inégalités de Frostman pour la dimension de Hausdorff et la dimension intermédiaire. Ces mesures $(\delta, s, t)$-Frostman permettent une caractérisation à deux échelles de la dimension de l'ensemble $E$.

Contexte et Motivation de la Recherche

Problème de Recherche

La question centrale de la théorie des dimensions fractales est de décrire quantitativement la structure géométrique fine des ensembles à plusieurs échelles. Le problème clé que cet article résout est: Comment établir un cadre théorique unifié des mesures qui caractérise simultanément les propriétés géométriques d'un ensemble à la fois au niveau de la dimension de Hausdorff classique et au niveau de la nouvelle dimension intermédiaire?

Importance du Problème

1. Signification théorique: Le lemme de Frostman classique est une pierre angulaire de la géométrie fractale, établissant une correspondance entre la dimension de Hausdorff et le taux de décroissance des mesures. Avec le développement de la théorie des dimensions intermédiaires, des caractérisations théoriques des mesures correspondantes sont nécessaires.
2. Continuité du spectre des dimensions: La dimension intermédiaire $\dim_\theta E$ pour $\theta \in (0,1]$ interpole continuellement entre la dimension de Hausdorff et la dimension boîte, capturant des comportements d'échelle plus riches. Des outils théoriques des mesures correspondants sont nécessaires pour comprendre cette structure d'interpolation.
3. Valeur applicative: Cette caractérisation à deux échelles est importante pour comprendre les structures locales et globales des ensembles fractals et peut s'appliquer à plusieurs directions de recherche, notamment les théorèmes de projection et l'analyse des images.

Limitations des Méthodes Existantes

1. Le lemme de Frostman classique ne fournit qu'une condition de décroissance des mesures à une seule échelle: $\mu(B(x,r)) \leq cr^s$, caractérisant uniquement la dimension de Hausdorff.
2. La caractérisation de Frostman pour la dimension intermédiaire (Proposition 1.1) ne fonctionne que dans une plage d'échelles limitée $[\delta^{1/\theta}, \delta]$, incapable de contrôler simultanément le comportement à des échelles plus petites.
3. Absence de cadre unifié: Il n'existe pas de théorie établie traitant simultanément les comportements de décroissance des mesures sur différentes plages d'échelles.

Motivation de la Recherche

Le point de départ des auteurs est: Est-il possible de construire une famille de mesures satisfaisant simultanément différents taux de décroissance polynomiaux à petite échelle $r < \delta^{1/\theta}$ et à échelle intermédiaire $r \in [\delta^{1/\theta}, \delta]$? Cela nécessite l'introduction de nouveaux paramètres géométriques pour caractériser les propriétés de distribution de l'ensemble sous décomposition fine.

Contributions Principales

1. Introduction d'une nouvelle quantité géométrique: Définition de la dimension dyadique $\mathcal{D}(E)$, caractérisant la distribution de l'ensemble dans le processus de subdivision progressive des cubes dyadiques: $\mathcal{D}(E) := \liminf_{n\to\infty} \frac{\log N_n(E)}{\log 2}$ où $N_n(E)$ est le nombre minimal de sous-cubes.
2. Établissement du cadre de Frostman à deux échelles: Preuve du théorème principal (Théorème 3.2), montrant que sous la condition $0 < \mathcal{D}(E)$, pour $0 < s < \mathcal{D}(E)$ et $0 < t < \dim_\theta E$ (avec $s \leq t$), il existe une mesure $(\delta, s, t)$-Frostman $\mu_\delta$ satisfaisant:c(\delta^{1/\theta})^{t-s}r^s, & r \in (0, \delta^{1/\theta}) \\ cr^t, & r \in [\delta^{1/\theta}, \delta] \end{cases}$$
3. Unification de la théorie classique et moderne: Ce cadre contient naturellement le lemme de Frostman classique (quand $s=t$) et la caractérisation de Frostman pour la dimension intermédiaire comme cas particuliers.
4. Formulation de problèmes ouverts: Clarification de la possibilité de remplacer $\mathcal{D}(E)$ par la dimension inférieure plus naturelle $\dim_L E$ ou même la dimension de Hausdorff $\dim_H E$ (Problème 3.1).

Détails de la Méthode

Définition de la Tâche

Entrée: Ensemble compact $E \subset \mathbb{R}^d$, paramètre $\theta > 0$, paramètres de dimension $s, t > 0$ satisfaisant $s < \mathcal{D}(E)$, $t < \dim_\theta E$, $s \leq t$.

Sortie: Une famille de mesures de Radon $\{\mu_\delta\}_{\delta > 0}$ supportées sur $E$.

Contraintes: Les mesures doivent satisfaire les inégalités de décroissance à deux échelles (3), avec des taux de décroissance polynomiaux différents dans différentes plages d'échelles.

Architecture de la Méthode de Construction

1. Définition de la Dimension Dyadique (Définition 3.1)

Pour une partition dyadique $\mathcal{D}_n$ (divisant $\mathbb{R}^d$ en $2^{dn}$ cubes semi-ouverts), définir: $N_n(E) = \min_{Q \in \mathcal{D}_n} \#\{Q' \in \mathcal{D}_{n+1} : Q' \cap (E \cap Q) \neq \emptyset\}$

Cette quantité mesure, dans le cube dyadique le plus "clairsemé", combien de sous-cubes l'ensemble $E$ occupe au moins au niveau de subdivision suivant.

2. Idée Centrale de la Construction de la Mesure

La construction se décompose en étapes suivantes:

Étape 1: Sélection de l'Échelle Initiale

• Étant donné $\delta_k$ (de la séquence dans la définition de $\dim_\theta E$), sélectionner l'unique entier $m$ tel que $2^{-m-1} < \delta_k^{1/\theta} \leq 2^{-m}$
• Cela détermine le point de départ de l'échelle intermédiaire

Étape 2: Définition de la Mesure Initiale $\mu_m$ Introduction du paramètre clé $\Phi_{m+1}(Q)$, pour $Q \in \mathcal{D}_n$ ($n \geq m+1$): $\Phi_{m+1}(Q) = \prod_{i=0}^{n-(m+1)} \#Q_{n-i}(Q_i^*)$

où $Q_i^*$ est le cube de $\mathcal{D}_{n-i}$ contenant $Q$, et $\#Q_{n-i}(Q_i^*)$ est le nombre de cubes de $\mathcal{D}_{n-i}$ intersectant $E \cap Q_i^*$.

Définition: