Непрерывные дроби и показатели иррациональности для модифицированных рядов Энгеля и Пирса

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

• ID статьи: 1810.10127
• Название: Continued fractions and irrationality exponents for modified Engel and Pierce series
• Авторы: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
• Классификация: math.NT (Теория чисел)
• Дата публикации: 23 октября 2018 г.
• Ссылка на статью: https://arxiv.org/abs/1810.10127

Аннотация

В данной работе исследуются разложения в непрерывные дроби и показатели иррациональности модифицированных рядов Энгеля и Пирса. Ряд Энгеля представляет собой сумму обратных величин неубывающей последовательности положительных целых чисел $(x_n)$, где каждый член делится на предыдущий; ряд Пирса — это знакопеременный ряд обратных величин последовательности с аналогичным свойством. Авторы доказывают, что для любого рационального числа существует класс рядов Энгеля, при добавлении которых к этому рациональному числу получается трансцендентное число $\alpha$, разложение которого в непрерывную дробь может быть явно определено соответствующей последовательностью $(x_n)$, генерируемой нелинейным рекуррентным соотношением второго порядка. Статья также содержит аналогичные результаты для сумм и разностей рациональных чисел и рядов Пирса, доказывает нижнюю границу показателя иррациональности $(3+\sqrt{5})/2$ в обоих случаях и выявляет бесконечное семейство трансцендентных чисел, для которых показатель иррациональности может быть точно вычислен.

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

Предпосылки проблемы

1. Ряды Энгеля и Пирса: Эти два класса рядов являются важными обобщениями разложений в непрерывные дроби с аналогичными рекурсивными и метрическими свойствами
2. Конструирование трансцендентных чисел: Поиск трансцендентных чисел с явным разложением в непрерывную дробь является важной задачей в теории чисел
3. Теория показателей иррациональности: Показатель иррациональности $\mu(\alpha)$ измеряет, насколько хорошо вещественное число $\alpha$ может быть приближено рациональными числами; теорема Рота утверждает, что показатель иррациональности алгебраических иррациональных чисел равен 2

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

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

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

1. Расширение теоремы о конструировании непрерывных дробей: Объединение произвольного рационального числа $p/q$ с рядом Энгеля или Пирса с получением явного разложения в непрерывную дробь
2. Улучшение нижней границы показателя иррациональности: Доказательство того, что показатель иррациональности $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ для всех таких трансцендентных чисел
3. Точное вычисление показателя иррациональности: Выявление бесконечного числа семейств трансцендентных чисел, для которых показатель иррациональности может быть точно вычислен
4. Конструирование рядов с сильным свойством делимости: Для рядов Энгеля, удовлетворяющих более сильному условию $x_j^2|x_{j+1}$, предоставление полного конструирования непрерывной дроби

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

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

Исследование разложений в непрерывные дроби и показателей иррациональности трансцендентных чисел вида:

• Модифицированный ряд Энгеля: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
• Модифицированный ряд Пирса: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

где последовательность $(x_n)$ удовлетворяет условию $x_j|x_{j+1}$ и генерируется нелинейным рекуррентным соотношением.

Основное рекуррентное соотношение

Последовательности $(x_n)$ и $(y_n)$ определяются следующим образом: $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

где $x_1 = q$, $(u_n)$ — последовательность положительных целых чисел. Это приводит к тому, что $x_n$ удовлетворяет нелинейному рекуррентному соотношению второго порядка: $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

Основные теоремы

Теорема 2.1 (Модифицированный ряд Энгеля): Для $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ при выборе $y_0 = mq + q_{2k-1} + 1$ разложение $\alpha$ в непрерывную дробь имеет вид:

• Первые $2k+1$ членов совпадают с разложением $p/q$
• $a_{2k+1} = m + u_1 y_0$
• $a_{2k+2j} = x_j$, $a_{2k+2j+1} = u_{j+1}y_j$ для $j \geq 1$

Теоремы 2.2 и 2.4 (Модифицированный ряд Пирса): Содержат аналогичные формулы разложения в непрерывную дробь для рядов Пирса, но с более сложной структурой, включающей 3-периодический паттерн.

Анализ показателя иррациональности

Лемма 3.1: Скорость роста последовательности удовлетворяет условию $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

Это доказывается методом математической индукции с использованием рекуррентного соотношения $\rho_{k+1} = 3 - \rho_k^{-1}$, где $\rho_k$ — показатель роста.

Теорема 3.3: Когда $u_n$ является многочленом от $x_n$, показатель иррациональности может быть точно вычислен: $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ где $d$ — степень многочлена.

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

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

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

1. Доказательства методом индукции: Доказательство того, что частичные суммы равны определённым подходящим дробям
2. Асимптотический анализ: Анализ поведения роста последовательности
3. Матричные методы: Использование матричного представления непрерывных дробей

Конкретные примеры

Пример 4.4: Для $q = 5$, $z_j = (j+1)^2 + 1$ построены разложения в непрерывные дроби для четырёх различных значений $p$, демонстрирующие конкретное применение метода.

Результаты исследования

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

1. Нижняя граница показателя иррациональности: Показатель иррациональности всех модифицированных рядов Энгеля/Пирса $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$, что значительно улучшает предыдущую границу $5/2 = 2.5$
2. Точные вычисления: Для последовательностей $(u_n)$ специального вида показатель иррациональности может быть точно вычислен как $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
3. Конструирование бесконечных семейств: Теорема 3.4 доказывает, что для любого $\nu \geq (3+\sqrt{5})/2$ существует бесконечно много трансцендентных чисел с показателем иррациональности, точно равным $\nu$

Теоретические открытия

1. Паттерны роста: Скорость роста последовательности $(x_n)$ определяется чередованием чисел Фибоначчи
2. Структура непрерывной дроби: Разложение модифицированного ряда Пирса в непрерывную дробь демонстрирует 3-периодический паттерн
3. Рекурсивное конструирование: Непрерывные дроби при условии сильной делимости обладают рекурсивной структурой с приблизительным удвоением длины

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

Исторический контекст

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

Предыдущие работы

1. Hone (2015, 2016, 2017): Разработка основной теории непрерывных дробей для рядов Энгеля
2. Varona (2017): Расширение на ряды Пирса
3. Работы Shallit и др.: Исследование рядов Энгеля специального вида

Инновации данной работы

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

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

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

1. Трансцендентные числа, полученные из модифицированных рядов Энгеля/Пирса, имеют явные разложения в непрерывные дроби
2. Показатели иррациональности этих чисел не менее $(3+\sqrt{5})/2$ и могут быть точно вычислены
3. Существуют бесконечные семейства трансцендентных чисел с произвольно большими показателями иррациональности

Ограничения

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

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

1. Обобщение на другие ряды: Исследование более общих форм рядов
2. Вычислительные методы: Разработка эффективных алгоритмов вычисления непрерывных дробей
3. Поиск приложений: Выявление применений в диофантовых приближениях

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

Достоинства

1. Теоретическая глубина: Сочетание теории непрерывных дробей, рекуррентных соотношений и теории трансцендентных чисел
2. Полнота результатов: Не только доказательство существования, но и конструктивные доказательства
3. Технические инновации: Улучшение методов оценки показателей иррациональности
4. Единая теоретическая база: Единообразный подход к рядам Энгеля и Пирса

Недостатки

1. Сложность доказательств: Некоторые доказательства носят технический характер и могут быть сложны для восприятия
2. Ограниченное количество примеров: Относительно мало конкретных числовых примеров
3. Теоретический характер: Сильная теоретическая направленность, практическая ценность ограничена

Влияние

1. Научный вклад: Предоставление новых методов конструирования трансцендентных чисел в теории чисел
2. Теоретическая ценность: Улучшение важных результатов теории показателей иррациональности
3. Расширяемость: Предоставление основы и инструментов для последующих исследований

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

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

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

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

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