Размерность Хаусдорфа динамического диофантова приближения, связанного с эргодическими перемешивающими системами

Основная информация

• ID статьи: 2502.13051
• Название: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• Автор: E. Daviaud (Университет Льежа)
• Классификация: math.DS (Динамические системы), math.MG (Метрическая геометрия)
• Дата публикации: февраль 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2502.13051

Аннотация

В данной работе исследуется размерность Хаусдорфа динамического диофантова приближения, связанного с эргодическими перемешивающими системами. В частности, при условии, что эргодическая мера имеет точную размерность, устанавливается формула при полиномиально быстром перемешивании системы; когда мера не имеет точной размерности, аналогичный результат доказывается при предположении о сверхполиномиальной скорости перемешивания. В качестве приложения работа обобщает результаты Фана-Шмелинга-Трубецкого об удвоении на окружности на случай отображения (×2,×3) на двумерном торе.

Исследовательский контекст и мотивация

Постановка проблемы

1. Классическая задача диофантова приближения: Для заданной последовательности $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$ исследование размерности множества точек, приближаемых этой последовательностью с заданной скоростью, является центральной проблемой в диофантовом приближении, динамических системах и мультифрактальном анализе.
2. Историческое развитие:
   • Дирихле и Хинчин первыми исследовали размерность Хаусдорфа множества рациональных приближений $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ б.ч.}\}$
   • Березневич-Велани доказали, что оценка $\dim_H E_\psi$ эквивалентна справедливости гипотезы Даффина-Шеффера
   • Кукулопулос-Майнард недавно доказали эту гипотезу, установив $\dim_H E_\psi = \min\{1, s_\psi\}$
3. Аналогичные задачи в динамических системах: Исследование размерности множеств, в которых орбиты $(T^n(x))_{n\in\mathbb{N}}$ приближают заданную точку, где:
   • Фан-Шмелинг-Трубецкой исследовали расширяющие марковские отображения на окружности
   • Ляо-Сере обобщили результаты на более общие меры Гиббса
   • Перссон исследовал случай экспоненциально перемешивающихся систем

Исследовательская мотивация

1. Совершенствование теории: Перссон предположил, что размерность Хаусдорфа в динамическом случае должна совпадать со случаем случайного приближения
2. Технический прорыв: Существующие результаты в основном опираются на конформность; данная работа нацелена на рассмотрение неконформного случая
3. Расширение приложений: Обобщение одномерных результатов на самоаффинные меры на ковриках Бедфорда-Макмаллена

Основные вклады

1. Построена полная теория для Σ-перемешивающихся систем: Для мер с точной размерностью при условии Σ-перемешивания получена точная формула для размерности Хаусдорфа множеств динамического приближения
2. Доказана формула размерности в случае сверхполиномиального перемешивания: Для $\delta \geq \frac{1}{\dim_H \mu}$ доказано, что $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ б.ч.}\} = \frac{1}{\delta}$
3. Обобщены результаты Фана-Шмелинга-Трубецкого: Результаты для отображения ×2 на окружности распространены на отображение (×2,×3) на торе
4. Получены результаты оптимальности: Построены контрпримеры, демонстрирующие необходимость условия сверхполиномиального перемешивания
5. Разработан принцип передачи массы для конечных мер: Установлены технические инструменты, применимые к мерам, не являющимся регулярными по Альфорсу

Подробное описание методов

Определение задачи

Исследование размерности Хаусдорфа множеств динамического приближения: $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ б.ч.}\}$ где $(r_n)_{n\in\mathbb{N}}$ — убывающая последовательность радиусов.

Основная техническая схема

1. Определение свойств перемешивания

Определение 2.4: Пусть $(T,\mu)$ — эргодическая система на $\mathbb{R}^d$, $\varphi: \mathbb{N} \to \mathbb{R}_+$ — неубывающая функция. Система $(T,\mu)$ называется $\varphi$-перемешивающей относительно $(C_1, C_2, \gamma)$, если для $A \in C_1$ и $B \in C_2$ выполняется: $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

При $\sum_{n\geq 1} \varphi(n) < +\infty$ система называется Σ-перемешивающей.

2. Формулировка основных теорем

Теорема 3.2 (Σ-перемешивающий случай): Пусть $(T,\mu)$ — Σ-перемешивающая эргодическая система, $\mu$ имеет точную размерность. Для убывающей последовательности $r = (r_n)_{n\in\mathbb{N}}$ такой, что $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ то для $\mu$-почти каждого $x$ выполняется $\dim_H E(x,r) = s_r$.

Теорема 3.4 (Сверхполиномиальное перемешивание): Пусть $(T,\mu)$ — сверхполиномиально перемешивающая эргодическая система, $\dim_H \mu > 0$. Для каждого $\delta \geq \frac{1}{\dim_H \mu}$ для $\mu$-почти каждого $x$ выполняется: $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ б.ч.}\} = \frac{1}{\delta}$

Технические инновации

1. Динамическая лемма Бореля-Кантелли

Лемма 6.5: Установлена динамическая версия леммы Бореля-Кантелли для Σ-перемешивающихся систем, доказано: $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. Точные оценки времён попадания

Предложение 2.2: Для Σ-перемешивающихся систем доказано, что время попадания $\tau_r(x,y)$ удовлетворяет: $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. Принцип передачи массы для конечных мер

Теорема 6.1: Обобщен классический принцип передачи массы на случай конечных мер с использованием $\mu$-существенного содержания Хаусдорфа: $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

Экспериментальная установка

Теоретическая верификация

Данная работа является теоретической и верифицируется следующим образом:

1. Сравнение с известными результатами: В частных случаях восстанавливаются результаты Фана-Шмелинга-Трубецкого и других авторов
2. Конструкции оптимальности: В сопутствующей статье построены контрпримеры, демонстрирующие необходимость условий перемешивания
3. Примеры приложений: Результаты применены к самоаффинным мерам на ковриках Бедфорда-Макмаллена

Приложение к коврикам Бедфорда-Макмаллена

Предложение 3.10: Доказано, что самоаффинные меры $\mu$, связанные с $(m,n)$-коврами Бедфорда-Макмаллена, удовлетворяют свойству Σ-перемешивания: $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ где $C > 0$, $\tau < 1$.

Результаты экспериментов

Основные результаты

1. Полная характеризация случая точной размерности

Для мер с точной размерностью и Σ-перемешивающихся систем построена полная теория размерности Хаусдорфа множеств динамического приближения, полностью обобщающая результаты случайного приближения на динамическую установку.

2. Достаточные условия сверхполиномиального перемешивания

Доказано, что при $\delta \geq \frac{1}{\dim_H \mu}$ условие сверхполиномиального перемешивания достаточно для справедливости формулы размерности $\frac{1}{\delta}$, что подтверждает гипотезу Перссона.

3. Приложение к коврикам Бедфорда-Макмаллена

Следствие 3.12: Для самоаффинной меры $\mu$ на $(m,n)$-ковре Бедфорда-Макмаллена при предположении о мультифрактальной регулярности выполняется: $\dim_H \{y : \|T_{m,n}^k(x) - y\|_\infty \leq \frac{1}{k^\delta} \text{ б.ч.}\} = \begin{cases} \frac{1}{\delta} & \text{если } \delta \geq \frac{1}{\dim(\mu)} \\ D_\mu(\frac{1}{\delta}) & \text{если } \frac{1}{h_0} \leq \delta \leq \frac{1}{\dim(\mu)} \\ \dim_H K & \text{если } \delta \leq \frac{1}{h_0} \end{cases}$

Результаты оптимальности

В сопутствующей статье построены $n \mapsto n^{-s}$-перемешивающие системы ($0 < s < 1$), доказано, что для некоторых $\theta > \frac{1}{3}$: $\dim_H \{y \in \mathbb{T}^3 : \|y - T^n(x)\|_\infty \leq \frac{1}{n^\theta} \text{ б.ч.}\} < 3$ что показывает оптимальность условия сверхполиномиального перемешивания.

Связанные работы

Классическое диофантово приближение

1. Теория Хинчина-Ярника: Основание теории размерности для множеств рациональных приближений
2. Гипотеза Даффина-Шеффера: Прорывное доказательство Кукулопулоса-Майнарда

Задачи приближения в динамических системах

1. Фан-Шмелинг-Трубецкой (2013): Исследование расширяющих марковских отображений на окружности с мерами Гиббса
2. Ляо-Сере (2013): Обобщение на более общие расширяющие марковские отображения
3. Перссон (2019): Исследование экспоненциально перемешивающихся систем с предположением о размерности

Теория случайного приближения

1. Ярвenpää и др. (2024): Построение полной теории приближения случайными i.i.d. последовательностями
2. Экстрём-Перссон (2018): Развитие теории размерности для случайных limsup множеств

Заключение и обсуждение

Основные выводы

1. Полное решение гипотезы Перссона: При надлежащих условиях перемешивания размерность динамического приближения совпадает со случаем случайного приближения
2. Построение теории неконформного случая: Преодоление ограничений, связанных с зависимостью от конформности
3. Оптимальные условия перемешивания: Σ-перемешивание достаточно для случая точной размерности, сверхполиномиальное перемешивание необходимо для общего случая

Технические вклады

1. Разработка новых методов передачи массы: Применимые к мерам, не являющимся регулярными по Альфорсу
2. Точные оценки времён попадания: Обобщение результатов Галатоло
3. Конструкции контрпримеров: Демонстрация оптимальности условий перемешивания

Ограничения

1. Предположения о мультифрактальности: Мультифрактальная регулярность для ковриков Бедфорда-Макмаллена остаётся гипотезой
2. Техническая сложность: Доказательства значительно сложнее, чем в случае случайного приближения
3. Область применения: Применимо в основном к системам с достаточно быстрым перемешиванием

Направления будущих исследований

1. Верификация мультифрактальной регулярности: Для самоаффинных мер на ковриках Бедфорда-Макмаллена
2. Расширение на более общие системы: Исследование систем с более медленным перемешиванием
3. Развитие методов потенциальной теории: Построение инструментов потенциальной теории для динамических систем

Глубокая оценка

Преимущества

1. Полнота теории: Впервые полностью решена задача размерности приближения в динамической установке
2. Технические инновации: Разработаны новые технические инструменты, особенно принцип передачи массы для конечных мер
3. Практическая ценность: Успешное применение к важным геометрическим примерам (коврики Бедфорда-Макмаллена)
4. Оптимальность: Контрпримеры демонстрируют оптимальность полученных результатов

Недостатки

1. Сложность доказательств: Технические доказательства весьма сложны и требуют улучшения читаемости
2. Дополнительные условия: Некоторые приложения требуют дополнительных технических предположений (например, мультифрактальная регулярность)
3. Вычислительная сложность: Практическое вычисление скоростей перемешивания может быть затруднено

Влияние

1. Теоретический вклад: Решение важной открытой проблемы в области, продвижение теории динамического диофантова приближения
2. Методологическая ценность: Разработанные технические инструменты могут найти применение в других задачах
3. Геометрические приложения: Предоставление новых инструментов для задач размерности в фрактальной геометрии

Области применения

1. Быстро перемешивающиеся динамические системы: Особенно Σ-перемешивающие или сверхполиномиально перемешивающие системы
2. Самоаффинные фракталы: Коврики Бедфорда-Макмаллена и подобные геометрические объекты
3. Мультифрактальный анализ: Задачи, связанные с локальной размерностью

Библиография

Статья цитирует 35 важных работ, охватывающих диофантово приближение, динамические системы, фрактальную геометрию и другие области, в частности:

• Прорывные работы Кукулопулоса-Майнарда о гипотезе Даффина-Шеффера
• Основополагающие исследования Фана-Шмелинга-Трубецкого
• Последние результаты Ярвenpää и др. о случайном приближении
• Классические работы по фрактальной геометрии и мультифрактальному анализу