2025-11-11T09:46:09.378063

Finite random iterated function systems do not always satisfy Bowen's formula

Arima
In this paper, we provide a finite random iterated function system satisfying the open set condition, for which the random version of Bowen's formula fails to hold. This counterexample shows that analogous results established for random recursive constructions are not always obtained for random iterated function systems.
academic

Конечные случайные итерированные системы функций не всегда удовлетворяют формуле Боуэна

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

  • ID статьи: 2509.02070
  • Название: Finite random iterated function systems do not always satisfy Bowen's formula
  • Автор: Юя Арима (Математический факультет Университета Нагои)
  • Классификация: math.DS (Динамические системы)
  • Дата публикации: 6 ноября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2509.02070

Аннотация

В данной работе построен контрпример конечной случайной итерированной системы функций (CSISF), удовлетворяющей условию открытого множества, для которого случайная версия формулы Боуэна не выполняется. Этот результат показывает, что аналогичные результаты, установленные для случайных рекурсивных конструкций, не всегда применимы к случайным итерированным системам функций.

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

Проблемный фон

  1. Значимость исследования случайных фрактальных множеств: Случайные фрактальные множества, как модели, более близкие к естественным явлениям, чем фрактальные множества, порождённые детерминированными системами функций, имеют важное значение в математике и физике.
  2. Два основных метода случайного построения:
    • Случайные итерированные системы функций (CSISF): Единообразный выбор IFS на каждом уровне
    • Случайные рекурсивные конструкции: Независимый выбор IFS для каждой конечной строки, обладающий более сильной независимостью
  3. Ограничения существующей теории: Хотя известны результаты теории размерности для случайных рекурсивных конструкций, остаётся неясным, всегда ли те же результаты справедливы для CSISF.

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

Данная работа направлена на исследование фундаментальных различий между CSISF и случайными рекурсивными конструкциями, особенно в теории фрактальной размерности. Автор обнаружил, что хотя оба метода во многих случаях дают сходные результаты, в некоторых специальных случаях возникают значительные различия.

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

  1. Построение ключевого контрпримера: Предоставлен контрпример конечной случайной итерированной системы функций, удовлетворяющей условию открытого множества, для которого случайная версия формулы Боуэна не выполняется
  2. Выявление теоретических различий: Доказано, что результаты для случайных рекурсивных конструкций не могут быть прямо обобщены на случайные итерированные системы функций
  3. Строгое математическое доказательство: Предоставлено полное математическое обоснование путём объединения теории цепных дробей и эргодической теории
  4. Уточнение границ теории: Чётко определены область применимости и ограничения теории CSISF

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

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

Построить конечную случайную итерированную систему функций (p⃗,Ψ)(p⃗,Ψ) такую, что для PP-почти всех ω∈Ωω ∈ Ω выполняется: dim⁡H(J(Ψ(ω)))<B(Ψ)\dim_H(J(Ψ(ω))) < B(Ψ) где B(Ψ)B(Ψ) — параметр Боуэна.

Конструктивная схема

1. Базовая установка

  • Возьмём X=[0,1]dX = [0,1]^d и определим аффинные подобия: φi(x)=12x+12vi,vi=∑ℓ=1diℓeℓφ_i(x) = \frac{1}{2}x + \frac{1}{2}v_i, \quad v_i = \sum_{ℓ=1}^d i_ℓe_ℓ
  • Определим индексные множества:
    • I1:={0}dI_1 := \{0\}^d (одноточечное множество)
    • I2d:={0,1}dI_{2^d} := \{0,1\}^d (множество всех вершин)

2. Определение каркаса

Введём понятие «каркаса» F=({Un}n∈N,{Vn}n∈N)F = (\{U_n\}_{n∈ℕ}, \{V_n\}_{n∈ℕ}), удовлетворяющего условиям:

  • (F1)(F1): 1≤U11 ≤ U_1
  • (F2)(F2): nUn≤VnnU_n ≤ V_n и (Un+Vn)3≤Un+1(U_n + V_n)^3 ≤ U_{n+1}

3. Построение IFS

Для каждого i∈Ni ∈ ℕ определим: I(i):=I1Ui×I2dViI^{(i)} := I_1^{U_i} × I_{2^d}^{V_i}

Каждое ψτ(i)ψ_τ^{(i)} является композицией Ui+ViU_i + V_i отображений.

Выбор вероятностного вектора

Выберем вероятностный вектор: pn=1Cn2,C=∑n=1∞1n2p_n = \frac{1}{Cn^2}, \quad C = \sum_{n=1}^∞ \frac{1}{n^2}

Этот выбор соответствует классическим результатам в теории цепных дробей.

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

1. Применение теории цепных дробей

Использование вероятностных свойств разложения в цепные дроби, в частности обобщения теоремы Хинчина, для установления связи между случайными последовательностями и скоростью роста коэффициентов цепных дробей.

2. Искусное применение эргодической теории

Анализ предельного поведения через теорему Биркгофа об эргодичности:

∞ & \text{если } t < d \\ -∞ & \text{если } t ≥ d \end{cases}$$ ### 3. Тонкий анализ оценок размерности Через теорию размерности неавтономных конформных IFS доказано, что размерность Хаусдорфа равна нулю, что образует значительное расхождение с параметром Боуэна $d$. ## Основные результаты ### Теорема 1.1 (основной результат) Существует конечная случайная итерированная система функций $(p⃗,Ψ)$ такая, что для $P$-почти всех $ω ∈ Ω$: $$\dim_H(J(Ψ(ω))) < B(Ψ)$$ ### Предложение 2.2 (вычисление параметра Боуэна) Для построенной системы $B(Ψ) = d$. ### Предложение 2.4 (результат о размерности) Для $P$-почти всех $ω ∈ Ω$ выполняется $\dim_H(J(Ψ(ω))) = 0$. ## Стратегия доказательства ### Первый этап: анализ параметра Боуэна Прямым вычислением доказывается: $$E_{i∈ℕ}\left[\log \sum_{j∈I^{(i)}} (c_j^{(i)})^t\right] = \begin{cases} ∞ & \text{если } t < d \\ -∞ & \text{если } t ≥ d \end{cases}$$ ### Второй этап: свойства цепных дробей Использование соответствия между вероятностным вектором $p_n = 1/(Cn^2)$ и распределением коэффициентов цепных дробей для построения случайных последовательностей со специальными свойствами роста. ### Третий этап: оценка верхней границы размерности Через формулу размерности для неавтономных систем: $$\dim_H(J(Φ_ω)) ≤ \inf\{t ≥ 0: P(t) < 0\}$$ где $P(t) = \liminf_{n→∞} \frac{1}{n} \log \sum_{τ̃∈Σ̃_ω^n} c_{τ̃}^t$ ## Связанные работы ### Теория случайных рекурсивных конструкций Молдин-Уильямс (1986) доказали, что для случайных рекурсивных конструкций размерность Хаусдорфа почти наверное равна: $$\inf\left\{t ≥ 0: \log \sum_{i∈ℕ} p_i \sum_{j∈I^{(i)}} (c_j^{(i)})^t ≤ 0\right\}$$ ### Известные результаты для CSISF Рой-Урбански (2011) и Ремпе-Гиллен-Урбански (2016) доказали справедливость формулы Боуэна для CSISF при определённых условиях. ### Прорыв в данной работе Данная работа впервые доказывает необходимость этих условий, выявляя фундаментальные ограничения теории CSISF. ## Выводы и обсуждение ### Основные выводы 1. **Уточнение теоретических границ**: CSISF не всегда удовлетворяют формуле Боуэна, что указывает на фундаментальные различия со случайными рекурсивными конструкциями 2. **Эффективность конструктивного метода**: Посредством тщательного проектирования вероятностного распределения и построения каркаса успешно разделены два вида случайности 3. **Совершенствование теории размерности**: Предоставлено более точное понимание теории размерности случайных фракталов ### Теоретическое значение Результаты данной работы показывают, что «интенсивность» случайности оказывает фундаментальное влияние на фрактальную размерность. Независимый выбор на каждой позиции в случайных рекурсивных конструкциях и единообразный выбор по уровням в CSISF приводят к существенно различным геометрическим свойствам. ### Ограничения 1. **Специфичность конструкции**: Контрпример зависит от конкретного вероятностного распределения и геометрической конфигурации 2. **Экстремальность нулевой размерности**: Построенное предельное множество имеет размерность 0, что может быть недостаточно общим 3. **Неполнота для высших размерностей**: Для общего случая размерностей теория остаётся неполной ### Направления будущих исследований 1. **Поиск общих условий**: Определение необходимых и достаточных условий для справедливости формулы Боуэна для CSISF 2. **Промежуточные размерности**: Построение примеров с размерностью между 0 и параметром Боуэна 3. **Расширение приложений**: Обобщение результатов на более общие случайные динамические системы ## Глубокая оценка ### Достоинства 1. **Значительный теоретический вклад**: Впервые выявлены фундаментальные различия между двумя важными методами случайного построения 2. **Изящные технические методы**: Искусное объединение теории вероятностей, эргодической теории и фрактальной геометрии 3. **Строгое и полное доказательство**: Логика математического обоснования ясна, технические детали обработаны надлежащим образом 4. **Глубокая постановка проблемы**: Затронут центральный теоретический вопрос в данной области ### Недостатки 1. **Специфичность контрпримера**: Конструкция зависит от конкретного выбора параметров, общность требует усиления 2. **Недостаточная геометрическая интуиция**: Геометрическое объяснение причин возникновения этого различия недостаточно полно 3. **Неясные перспективы применения**: Практическая ценность теоретических результатов требует дальнейшего исследования ### Влияние 1. **Теоретическая ценность**: Предоставлены важный контрпример и новые направления исследований для теории случайных фракталов 2. **Методологический вклад**: Продемонстрирован потенциал применения теории цепных дробей в случайной фрактальной геометрии 3. **Развитие области**: Способствует развитию теории CSISF в направлении большей точности и полноты ### Области применения Методы и результаты данной работы применимы к: 1. Теоретическим исследованиям случайной фрактальной геометрии 2. Анализу размерности случайных динамических систем 3. Междисциплинарным исследованиям на пересечении теории вероятностей и фрактальной геометрии 4. Теоретическому обоснованию моделей случайных фракталов в естественных явлениях ## Библиография Статья ссылается на важные работы в данной области, включая: - Молдин и Уильямс (1986): Основополагающие работы по случайным рекурсивным конструкциям - Рой и Урбански (2011): Случайные графо-направленные марковские системы - Ремпе-Гиллен и Урбански (2016): Теория неавтономных конформных IFS - Хинчин (1964): Классический учебник по теории цепных дробей Данная работа вносит значительный вклад в теорию случайных фракталов, не только решая важный теоретический вопрос, но и предоставляя новые направления исследований и технические инструменты для дальнейшего развития этой области.