Dimension de Hausdorff de l'approximation diophantienne dynamique associée aux systèmes ergodiques mélangeants

Informations fondamentales

• ID de l'article: 2502.13051
• Titre: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• Auteur: E. Daviaud (Université de Liège)
• Classification: math.DS (Systèmes dynamiques), math.MG (Géométrie métrique)
• Date de publication: Février 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2502.13051

Résumé

Cet article étudie la dimension de Hausdorff de l'approximation diophantienne dynamique associée aux systèmes ergodiques mélangeants. Plus précisément, lorsque la mesure ergodique possède une dimension exacte, on établit une formule sous la condition de mélange polynomiale rapide du système ; lorsque la mesure ne possède pas de dimension exacte, on établit des résultats analogues sous l'hypothèse de vitesse de mélange surpolynomiale. En application, cet article généralise les résultats de Fan-Schmeling-Troubetzkoy concernant le doublement d'angle sur le cercle au cas de la transformation (×2,×3) sur le tore bidimensionnel.

Contexte et motivation de la recherche

Contexte du problème

1. Problèmes classiques d'approximation diophantienne: Étant donné une séquence $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$, l'étude de la dimension des ensembles de points qui peuvent être approximés par cette séquence à une vitesse donnée est un problème central en approximation diophantienne, systèmes dynamiques et analyse multifractale.
2. Développement historique:
   • Dirichlet et Khintchine ont d'abord étudié la dimension de Hausdorff de l'ensemble d'approximation rationnelle $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$
   • Beresnevich-Velani ont prouvé que l'estimation $\dim_H E_\psi$ est équivalente à la validité de la conjecture de Duffin-Schaeffer
   • Koukoulopoulos-Maynard ont récemment prouvé cette conjecture, établissant que $\dim_H E_\psi = \min\{1, s_\psi\}$
3. Problèmes analogues dans les systèmes dynamiques: Étude de la dimension du problème d'approximation de l'orbite $(T^n(x))_{n\in\mathbb{N}}$ à un point donné, où:
   • Fan-Schmeling-Troubetzkoy ont étudié le cas des applications Markov dilatantes sur le cercle
   • Liao-Seuret ont généralisé les résultats à des mesures de Gibbs plus générales
   • Persson a étudié le cas des systèmes à mélange exponentiel

Motivation de la recherche

1. Perfectionnement théorique: Persson a conjecturé que la dimension de Hausdorff dans le cas des systèmes dynamiques devrait être la même que dans le cas de l'approximation aléatoire
2. Percée technique: Les résultats existants dépendent principalement de la conformité ; cet article vise à traiter le cas non-conforme
3. Extension d'application: Généralisation des résultats unidimensionnels aux mesures auto-affines sur les tapis de Bedford-McMullen en dimension supérieure

Contributions principales

1. Établissement d'une théorie complète pour les systèmes Σ-mélangeants: Pour les mesures de dimension exacte, on fournit une formule exacte pour la dimension de Hausdorff des ensembles d'approximation dynamique sous la condition de Σ-mélange
2. Preuve de la formule de dimension pour le cas de mélange surpolynomial: Pour $\delta \geq \frac{1}{\dim_H \mu}$, on prouve que $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$
3. Généralisation des résultats de Fan-Schmeling-Troubetzkoy: Extension des résultats sur la transformation ×2 du cercle au cas de la transformation (×2,×3) sur le tore
4. Fourniture de résultats d'optimalité: Construction de contre-exemples montrant la nécessité de la condition de mélange surpolynomial
5. Développement d'un principe de transfert de masse pour les mesures finies: Établissement d'outils techniques applicables aux mesures non-Ahlfors régulières

Explication détaillée des méthodes

Définition de la tâche

Étude de la dimension de Hausdorff des ensembles d'approximation dynamique: $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\}$ où $(r_n)_{n\in\mathbb{N}}$ est une séquence décroissante de rayons.

Cadre technique principal

1. Définition des propriétés de mélange

Définition 2.4: Soit $(T,\mu)$ un système ergodique sur $\mathbb{R}^d$, et $\varphi: \mathbb{N} \to \mathbb{R}_+$ une fonction non-croissante. On dit que $(T,\mu)$ est $\varphi$-mélangeant par rapport à $(C_1, C_2, \gamma)$ si pour $A \in C_1$ et $B \in C_2$: $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

On dit que c'est Σ-mélangeant lorsque $\sum_{n\geq 1} \varphi(n) < +\infty$.

2. Énoncé des théorèmes principaux

Théorème 3.2 (Cas Σ-mélangeant): Soit $(T,\mu)$ un système ergodique Σ-mélangeant, avec $\mu$ de dimension exacte. Pour une séquence non-croissante $r = (r_n)_{n\in\mathbb{N}}$ satisfaisant $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ alors pour $\mu$-presque tout $x$, on a $\dim_H E(x,r) = s_r$.

Théorème 3.4 (Cas de mélange surpolynomial): Soit $(T,\mu)$ un système ergodique à mélange surpolynomial, avec $\dim_H \mu > 0$. Pour chaque $\delta \geq \frac{1}{\dim_H \mu}$, pour $\mu$-presque tout $x$: $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$

Points d'innovation technique

1. Lemme de Borel-Cantelli dynamique

Lemme 6.5: Établissement d'une version dynamique du lemme de Borel-Cantelli pour les systèmes Σ-mélangeants, prouvant que: $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. Estimation précise des temps de frappe

Proposition 2.2: Pour les systèmes Σ-mélangeants, on prouve que le temps de frappe $\tau_r(x,y)$ satisfait: $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. Principe de transfert de masse pour mesures finies

Théorème 6.1: Généralisation du principe classique de transfert de masse au cas des mesures finies, utilisant le contenu de Hausdorff $\mu$-essentiel: $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, dont les résultats sont vérifiés par:

1. Comparaison avec les résultats connus: Récupération des résultats de Fan-Schmeling-Troubetzkoy et autres dans les cas particuliers
2. Construction d'optimalité: Construction de contre-exemples dans un article compagnon montrant la nécessité des conditions de mélange
3. Exemples d'application: Application des résultats aux mesures auto-affines sur les tapis de Bedford-McMullen

Application aux tapis de Bedford-McMullen

Proposition 3.10: Preuve que les mesures auto-affines associées aux tapis $(m,n)$-Bedford-McMullen satisfont la propriété Σ-mélangeante: $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ où $C > 0$ et $\tau < 1$.

Résultats expérimentaux

Résultats principaux

1. Caractérisation complète du cas de dimension exacte

Pour les mesures de dimension exacte et les systèmes Σ-mélangeants, on établit une théorie complète de la dimension de Hausdorff des ensembles d'approximation dynamique, généralisant entièrement les résultats du cas aléatoire au cadre dynamique.

2. Condition suffisante pour le mélange surpolynomial

On prouve que lorsque $\delta \geq \frac{1}{\dim_H \mu}$, la condition de mélange surpolynomial est suffisante pour assurer la formule de dimension $\frac{1}{\delta}$, confirmant la conjecture de Persson.

3. Application aux tapis de Bedford-McMullen

Corollaire 3.12: Pour les mesures auto-affines sur les tapis $(m,n)$-Bedford-McMullen, sous l'hypothèse de régularité multifractale, on a: