Сингулярность в Неоднородных Приближениях: Обобщение Теоремы Хинчина

#ДиофантовыПриближения #Сингулярность #НеоднородныеПриближения #ТеоремаХинчина #ЦепныеДроби #НаилучшиеПриближения #МераИррациональности

Введение в Проблему Сингулярности

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

Основное Утверждение

Рассмотрим следующее утверждение:

Для любой функции $\Omega(t)$, убывающей к нулю, существуют иррациональное $\xi$ и вещественное $\eta$ такие, что если мы рассмотрим функцию меры иррациональности неоднородных приближений $P_{\xi, \eta}(t)$, то она будет удовлетворять условию:

$$P_{\xi, \eta}(t) < \Omega(t)$$

для любого $t \ge 1$.

Это утверждение означает, что для любой заданной скорости убывания $\Omega(t)$ можно найти пару $(\xi, \eta)$, для которой неоднородные приближения будут "сингулярными", то есть их мера иррациональности будет убывать быстрее, чем $\Omega(t)$.

Связь с Теоремой Кановина

Это утверждение возникло в результате анализа теоремы Кановина, которая касается однородных приближений. Теорема Кановина формулируется следующим образом:

Пусть $\alpha$ и $\beta$ — иррациональные числа, и $\alpha \pm \beta \notin \mathbb{Z}$. Тогда функция меры иррациональности однородных приближений $P_{\alpha, \beta}(t)$ бесконечно много раз меняет знак при $t \to \infty$.

Функция меры иррациональности для однородных приближений $P_{\alpha, \beta}(t)$ определяется как:

$$P_{\alpha, \beta}(t) = \min_{q \in \mathbb{Z}^2, 0 < \|q\| \le t} \|q_1 \alpha + q_2 \beta\|$$

где $\| \cdot \|$ обозначает расстояние до ближайшего целого.

Важно отметить, что в однородном случае (теорема Кановина) функция меры иррациональности меняет знак, что исключает возможность того, что одна функция всегда лежит под другой. Однако в случае неоднородных приближений, как следует из нашего основного утверждения, аналог теоремы Кановина не имеет места. Это означает, что для неоднородных приближений сингулярность может быть достигнута, в отличие от однородных, где "катастрофического падения" (как в числах Лиувилля) не происходит.

Мотивация изучения основного утверждения состоит в том, чтобы показать, что для неоднородных приближений аналог теоремы Кановина не имеет места. Если взять $\xi$ и $\eta$ линейно независимыми, и рассмотреть функцию $P_{\xi, 0}(t)$, которая монотонно убывает к нулю (нестрого), то наше утверждение говорит, что существуют $\xi$ и $\eta$ такие, что $P_{\xi, \eta}(t)$ всегда меньше $P_{\xi, 0}(t)$. То есть, для неоднородных приближений сингулярность возможна.

Истоки Утверждения: Теорема Хинчина и Работы Моримото

Теорема Хинчина (1926)

Истоки нашего утверждения лежат в знаменитой теореме Хинчина из его Палермской работы 1926 года. Эта теорема, также описанная в книге Касса, утверждает:

Для любой функции $\Omega(t)$, убывающей к нулю, существуют $\xi$ и $\eta$ (можно считать, что $\xi$ и $\eta$ линейно независимы) такие, что если рассмотреть функцию:

$$P^*_{\xi, \eta}(t) = \min_{q \in \mathbb{Z}^2, 0 < \|q\| \le t} \|q_1 \xi + q_2 \eta\|$$

то $P^*_{\xi, \eta}(t) < \Omega(t)$ для любого $t \ge 1$.

Хинчин сам применял эту теорему к неоднородным приближениям, решая задачи построения $\eta$ для данного $\xi$ таким образом, чтобы возникали определенные неоднородные явления.

Работы Моримото (Фукасава)

Начиная с 1926 года (и до 1938 года), Моримото (Фукасава) опубликовал серию статей, в которых почти дословно присутствует сформулированное нами утверждение. Однако, по всей видимости, оно не было явно задокументировано в его работах. Это наблюдение легло в основу недавней статьи, написанной совместно с Кленбоком и Вайсом, посвященной феномену сингулярности. В этой статье была разработана аксиоматическая система, доказывающая сингулярность повсеместно. Однако аксиоматический подход может быть громоздким, тогда как утверждение 1 (наше основное утверждение) доказывается через цепные дроби.

Детализация Утверждения: Теоремы 1 и 2

Мы сформулируем две более подробные теоремы, которые содержат и развивают утверждение 1. Утверждение 1 является одномерным и, в некотором смысле, очевидным. Соответствующие многомерные теоремы могут показаться более сложными в свете особенностей сингулярности.

Теорема 1 (Одномерный Случай)

Пусть $\Omega(t)$ — функция, убывающая к нулю. Определим $\Omega_1(t) = \frac{\Omega(4t)}{4}$. Пусть $\xi$ — иррациональное число, представленное в виде цепной дроби $\xi = [a_0; a_1, a_2, \dots]$. Предположим, что неполные частные $a_n$ растут достаточно быстро, а именно:

$$a_{n+1} \ge \frac{1}{\Omega_1(q_n)}$$

где $q_n$ — знаменатель $n$-й подходящей дроби. (Из этого условия следует, что $a_n$ могут быть и ограниченными, если $\Omega_1(t)$ порядка $1/t$.)

Определим $\eta$ как сумму хвостиков:

$$\eta = \sum_{n=1}^{\infty} (-1)^n \frac{1}{q_n}$$

Тогда функция меры иррациональности для неоднородных приближений $P_{\xi, \eta}(t)$ удовлетворяет условию:

$$0 < P_{\xi, \eta}(t) < \Omega(t)$$

для любого $t \ge 1$.

Теорема 1 является конкретизацией основного утверждения. Она показывает, что для каждого $\xi$ с быстро растущими неполными частными мы можем построить $\eta$ (как сумму хвостиков), которое обеспечит сингулярность порядка $\Omega(t)$.

Многомерное Обобщение и Теорема Ярни-Хинчина

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

Напомним теорему Ярни-Хинчина о сингулярности для совместных приближений:

Теорема Ярни (для совместных приближений): Если $\alpha, \beta$ и $1$ линейно независимы, то при рассмотрении функции меры иррациональности для совместных приближений $P_{\alpha, \beta}(t)$ (обозначим её $P_{\alpha, \beta}^{\text{совм}}(t)$):

$$\limsup_{t \to \infty} P_{\alpha, \beta}^{\text{совм}}(t) = \infty$$

То есть, сингулярности с произвольной функцией $\Omega(t)$ для совместных приближений добиться нельзя.

Теорема Хинчина (для совместных приближений): Для любой функции $\Omega(t)$ такой, что $t \cdot \Omega(t) \to \infty$ (верхний предел), существует пара $\alpha, \beta$ такая, что:

$$P_{\alpha, \beta}^{\text{совм}}(t) < \Omega(t)$$

для любого $t \ge t_0$. Эта теорема говорит, что если мы занимаемся совместными приближениями, то функция меры иррациональности может быть сделана меньше, чем $1/t$, но не произвольно быстро.

Таким образом, задача о неоднородных приближениях не похожа на задачу о совместных приближениях, а скорее на задачу о линейных формах. Это вполне естественно. Однако, оказывается, что утверждение 1 и теорема 1 имеют многомерную версию, которая доказывается точно так же, как и одномерная, и которая допускает произвольную функцию $\Omega(t)$ без условия $t \cdot \Omega(t) \to \infty$.

Это означает, что для совместных неоднородных приближений (даже многомерных) феномен сингулярности будет таким же, как для линейной формы, а не как для совместных приближений. Этот факт, который кажется очевидным и должен был содержаться в статье Моримото 1926 года, по-видимому, не задокументирован.

Наилучшие Приближения и Экспоненты Роста

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

Наилучшие Совместные Приближения

Пусть $\mathbf{\xi} = (\xi_1, \dots, \xi_d)$ — вектор, для которого мы рассматриваем наилучшие совместные приближения. Наилучшие совместные приближения $\mathbf{q}_n$ — это целочисленные векторы, для которых расстояние до ближайшего целого от $\mathbf{q}_n \mathbf{\xi}$ является минимальным. Обозначим $P_n = \|\mathbf{q}_n \mathbf{\xi}\| = \max_{j=1,\dots,d} \|q_{nj} \xi_j - a_{nj}\|$. Мы знаем, что $\mathbf{q}_n$ — примитивный вектор, т.е. $\text{gcd}(q_{n1}, \dots, q_{nd}) = 1$.

Свойства Наилучших Приближений

1. Неравенство для наилучших приближений (Лемма Чунга):

   $$P_n \ge \frac{1}{q_{n+1}}$$

   Это неравенство следует из того, что векторы $(\mathbf{q}_n, \mathbf{a}_n)$ и $(\mathbf{q}_{n+1}, \mathbf{a}_{n+1})$ являются двумя последовательными наилучшими приближениями. Разность между ними, умноженная на $\mathbf{\xi}$, дает:

   $$\|(q_n \mathbf{\xi} - \mathbf{a}_n) - (q_{n+1} \mathbf{\xi} - \mathbf{a}_{n+1})\| \ge \frac{1}{q_n q_{n+1}}$$

   Используя неравенство треугольника и свойства наилучших приближений, можно показать, что $P_n \ge \frac{1}{q_{n+1}}$.

2. Экспоненциальный рост знаменателей: Определим константы $R_+ = 2^D$ и $R_- = 4^D - 2^D$. Тогда справедливы неравенства:

   $$q_{n+1} \ge R_+ q_n$$ $$P_n \le \frac{1}{R_- q_n}$$

   Эти неравенства описывают экспоненциальный рост знаменателей наилучших приближений и экспоненциальное убывание самих приближений. Для $D=2$, $R_- = 12$. Эти результаты можно найти в обзоре Шевалье и в статье Мощевитина и Витина.

Многомерная Теорема (Теорема 2)

Теперь мы сформулируем многомерную теорему, которая является обобщением утверждения 1 и теоремы 1.

Теорема 2: Пусть $\Omega(t)$ — произвольная функция, убывающая к нулю. Определим $\Omega_1(t) = \frac{\Omega(2R_+ t)}{2R_-}$. Пусть $\mathbf{\xi} = (\xi_1, \dots, \xi_d)$ — вектор, для которого наилучшие однородные приближения $\mathbf{q}_n$ удовлетворяют условию:

$$P_n \le \Omega_1(q_n)$$

(Это условие означает, что $\mathbf{\xi}$ является лиувиллевым в смысле однородных приближений).

Определим вектор $\mathbf{\eta} = (\eta_1, \dots, \eta_d)$ как сумму:

$$\mathbf{\eta} = \sum_{n=0}^{\infty} (-1)^n \mathbf{q}_n \mathbf{\xi}$$

(Ряд сходится, поскольку $P_n$ экспоненциально убывают).

Тогда для неоднородных приближений $P_{\mathbf{\xi}, \mathbf{\eta}}(t)$ справедливо:

$$0 < P_{\mathbf{\xi}, \mathbf{\eta}}(t) < \Omega(t)$$

для любого $t \ge 1$.

Замечание: Теорема 1 является частным случаем Теоремы 2 при $D=1$. В одномерном случае $R_+=2$, $R_-=2$. Условие $a_{n+1} \ge \frac{1}{\Omega_1(q_n)}$ в Теореме 1 эквивалентно условию $P_n \le \Omega_1(q_n)$ в Теореме 2, поскольку $P_n \approx 1/a_{n+1}q_n$.

Доказательство Теоремы 2

1. Определение $\mathbf{Q}_N$: Пусть $\mathbf{Q}_N = \sum_{n=0}^{N} (-1)^n \mathbf{q}_n$. Тогда $\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta} = \sum_{n=N+1}^{\infty} (-1)^n \mathbf{q}_n \mathbf{\xi}$.

2. Оценка $\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\|$: Используя экспоненциальное убывание $P_n = \|\mathbf{q}_n \mathbf{\xi}\|$, мы можем оценить хвост ряда:

   $$\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\| = \left\| \sum_{n=N+1}^{\infty} (-1)^n \mathbf{q}_n \mathbf{\xi} \right\|$$ $$\le \sum_{n=N+1}^{\infty} P_n \le \sum_{n=N+1}^{\infty} \frac{1}{R_- q_n}$$

   Поскольку $q_{n+1} \ge R_+ q_n$, ряд убывает как геометрическая прогрессия.

   $$\le \frac{1}{R_- q_{N+1}} \sum_{k=0}^{\infty} \left(\frac{1}{R_+}\right)^k = \frac{1}{R_- q_{N+1}} \frac{R_+}{R_+-1}$$

   Используя условие $P_N \le \Omega_1(q_N)$:

   $$\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\| \le \frac{2R_+}{R_-(R_+-1)} P_{N+1} \le \frac{2R_+}{R_-(R_+-1)} \Omega_1(q_{N+1})$$

   Подставляя определение $\Omega_1(t)$:

   $$\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\| \le \frac{2R_+}{R_-(R_+-1)} \frac{\Omega(2R_+ q_{N+1})}{2R_-}$$

   Это показывает, что мы можем добиться сингулярности.

3. Наилучшие приближения для неоднородного случая: Необходимо показать, что $\mathbf{Q}_N$ являются наилучшими приближениями для неоднородной задачи. Пусть $P_{\mathbf{\xi}, \mathbf{\eta}}(t) = \min_{\mathbf{q} \in \mathbb{Z}^D, 0 < \|\mathbf{q}\| \le t} \|\mathbf{q} \mathbf{\xi} - \mathbf{\eta}\|$. Мы должны показать, что для $\mathbf{q} = \mathbf{Q}_N$:

   $$\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\| < \Omega(q_N)$$

   и что для любого другого $\mathbf{q}'$ с $q_N < \|\mathbf{q}'\| < q_{N+1}$, $\|\mathbf{q}' \mathbf{\xi} - \mathbf{\eta}\| > \|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\|$.

   Первое неравенство следует из предыдущих оценок:

   $$\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\| \le \frac{2R_+}{R_-(R_+-1)} \Omega_1(q_{N+1}) = \frac{2R_+}{R_-(R_+-1)} \frac{\Omega(2R_+ q_{N+1})}{2R_-}$$

   Если выбрать константы $R_+, R_-$ так, чтобы $\frac{2R_+}{R_-(R_+-1)} \frac{1}{2R_-} < 1$, то мы получим желаемое. Например, для $D=1$, $R_+=2, R_-=2$, $\frac{2 \cdot 2}{2(2-1)} \frac{1}{2 \cdot 2} = \frac{4}{2} \frac{1}{4} = \frac{1}{2} < 1$.

   Второе неравенство, касающееся того, что $\mathbf{Q}_N$ являются наилучшими приближениями, требует более тонкого анализа с использованием неравенства треугольника и свойств $\mathbf{q}_n$ как наилучших однородных приближений.

   $$\|\mathbf{q} \mathbf{\xi} - \mathbf{\eta}\| = \|\mathbf{q} \mathbf{\xi} - \mathbf{Q}_N \mathbf{\xi} + \mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\|$$ $$\ge \|\mathbf{q} \mathbf{\xi} - \mathbf{Q}_N \mathbf{\xi}\| - \|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\|$$

   Поскольку $\mathbf{q}$ не является наилучшим однородным приближением между $q_N$ и $q_{N+1}$, то $\|\mathbf{q} \mathbf{\xi}\| > P_N$. Используя это, можно показать, что $\|\mathbf{q} \mathbf{\xi} - \mathbf{\eta}\|$ будет больше, чем $\|\mathbf{Q}_N \mathbf{\xi} - \mathbf{\eta}\|$.

Таким образом, доказательство многомерной теоремы 2 демонстрирует, что феномен сингулярности в неоднородных приближениях сохраняется и в многомерном случае, аналогично одномерному. Это контрастирует с совместными однородными приближениями, где сингулярность ограничена.

Заключение

Мы рассмотрели ключевое утверждение о сингулярности в неоднородных приближениях, его связь с теоремой Кановина и работами Хинчина и Моримото. Были сформулированы и доказаны одномерная (Теорема 1) и многомерная (Теорема 2) версии этого утверждения, показывающие, что для любой заданной скорости убывания $\Omega(t)$ можно найти пару $(\xi, \eta)$ (или векторы $\mathbf{\xi}, \mathbf{\eta}$), для которой неоднородные приближения будут сингулярными. Этот результат подчеркивает фундаментальное различие между поведением однородных и неоднородных приближений в контексте сингулярности.

---

Generated by AI-powered TranscribeLecture.com • 3/8/2026