2025-11-12T06:19:10.619115

Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients

Cohen, Zudilin
We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(Γ(1/3)/Γ(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(Γ(1/4)/Γ(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.
academic

Цепные дроби и меры иррациональности для гамма-частных Чоулы–Зельберга

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

  • ID статьи: 2510.00215
  • Название: Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
  • Авторы: Henri Cohen (Bordeaux) и Wadim Zudilin (Nijmegen)
  • Классификация: math.NT (теория чисел), math.CA (классический анализ)
  • Дата публикации: 11 ноября 2025
  • Ссылка на статью: https://arxiv.org/abs/2510.00215v3

Аннотация

В статье представлены 39 быстро сходящихся представлений в виде цепных дробей для гамма-частных Чоулы–Зельберга (gamma quotients) и выведены хорошие меры иррациональности для 20 из них. Результаты включают CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (где a=12 и a=1/5), а также CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7)). Это, по-видимому, первые строгие и разумные меры иррациональности, доказанные для гамма-частных.

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

Основная проблема

В статье исследуется проблема меры иррациональности для гамма-частных Чоулы–Зельберга CS(D), где D — отрицательный фундаментальный дискриминант. Эти величины связаны со значениями функции Дедекинда eta в точках комплексного умножения (CM) через формулы Lerch и Chowla–Selberg.

Значимость

  1. Теоретическое значение: Хотя Чудновский и Нестеренко доказали алгебраическую независимость CS(D), π и exp(π√D) над ℚ (в частности, что CS(D) трансцендентно), явные и разумные меры иррациональности чрезвычайно редки.
  2. Исторический пробел: До этого существовала только одна мера иррациональности для CS(-3), основанная на численных экспериментах (предложена в 12), и границы для μ(Γ(1/3)) и μ(Γ(1/4)) в литературе 3 были настолько огромны, что практически бесполезны.
  3. Методологическое новшество: Традиционные меры иррациональности обычно получаются через интегральные или гипергеометрические конструкции (как работа Махлера по π), тогда как в данной статье используется метод цепных дробей, что в этой области чрезвычайно редко.

Ограничения существующих методов

  • Традиционные интегральные и рядовые методы неприменимы к гамма-частным
  • Известные представления гипергеометрическими рядами сходятся слишком медленно (обычно значения при z=1)
  • Отсутствуют известные полезные интегральные представления

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

  1. Построены 39 быстро сходящихся цепных дробей вида: L=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]L = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]] где D ∈ {2, 3, 4, 6}.
  2. Доказаны меры иррациональности для 20 гамма-частных, включая первые строгие границы для CS(-3), CS(-7) и других, например:
    • μ(CS(-3)) < 5.548
    • μ(CS(-7)) < 5.283
    • μ(CS(-163)) < 2.477
  3. Установлена систематическая теоретическая база:
    • Построение цепных дробей через дроби Лагерра и гипергеометрические функции
    • Вычисление пределов цепных дробей с использованием модулярных форм и теории CM
    • Развитие методов типа Апери для ограничения знаменателей
  4. Полная классификация CM-значений: Предоставлена полная таблица 44 рациональных CM-значений с идентификацией тех, которые дают меры иррациональности.

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

Постановка задачи

Для иррационального числа L требуется построить последовательности рациональных чисел u(n) и v(n) такие, что:

  1. |v(n)L - u(n)| достаточно мало: log|v(n)L - u(n)| ~ -Fn
  2. Знаменатели контролируемы: существует d(n) такое, что d(n)u(n), d(n)v(n) ∈ ℤ и log(d(n)) < Mn

Когда F > M, получается верхняя граница меры иррациональности: μ(L) ≤ 1 + (F+M)/(F-M)

Архитектура основного метода

Первый этап: дроби Лагерра (раздел 2)

Начиная с классической дроби Лагерра: (1+z1−z)a=[[1,1−az,2n−1],[2az,−z2(n2−a2)]]\left(\frac{1+z}{1-z}\right)^a = [[1, 1-az, 2n-1], [2az, -z^2(n^2-a^2)]]

Скорость сходимости: (1+z1−z)a−p(n)q(n)∼2sin⁡(πa)((1+z)/(1−z))a((1+1−z2)/z)2n+1\left(\frac{1+z}{1-z}\right)^a - \frac{p(n)}{q(n)} \sim \frac{2\sin(\pi a)((1+z)/(1-z))^a}{((1+\sqrt{1-z^2})/z)^{2n+1}}

Ключевой приём: Через "полусдвиг" (замену n на n-1/2) получаются новые цепные дроби, пределы которых — гамма-частные.

Второй этап: построение семейств цепных дробей (раздел 3)

Исследование цепных дробей специального вида: C=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]C = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]

Анализ сходимости (Предложение 3.1):

  • Пусть R = (A + √(A² - 4KD²))/2, E = R²/(KD²)
  • При A² - 4KD² > 0 цепная дробь сходится
  • Скорость сходимости: L - p(n)/q(n) ~ C₁/E^n

Третий этап: вычисление пределов (разделы 4–5)

Метод первый: представление гипергеометрическими функциями (Теорема 4.7) L0=−K1/2T1T0(12,1−1D;12+A4DK1/2)L_0 = -K^{1/2}\frac{T_1}{T_0}\left(\frac{1}{2}, 1-\frac{1}{D}; \frac{1}{2}+\frac{A}{4DK^{1/2}}\right)

где Tn(a,b;z)=Γ(a+n)Γ(b+n)Γ(2a+2n)(1/z)a+n⋅2F1(a+n,b+n;2a+2n;1/z)T_n(a,b;z) = \frac{\Gamma(a+n)\Gamma(b+n)}{\Gamma(2a+2n)}(1/z)^{a+n} \cdot {}_2F_1(a+n, b+n; 2a+2n; 1/z)

Метод второй: теория модулярных форм (раздел 5) Использование Hauptmodul треугольных групп (p,p,∞) и модулярных гипергеометрических вычислений:

  • (3,3,∞): 2F1(1/2,5/6;1;1/(1−R1(τ)))=(F1,−1/2/F1,+1/3)(τ)_2F_1(1/2, 5/6; 1; 1/(1-R_1(τ))) = (F_{1,-}^{1/2}/F_{1,+}^{1/3})(τ)
  • (4,4,∞): 2F1(1/2,3/4;1;1/(1−R2(τ)))=(F2,−1/2/F2,+1/4)(τ)_2F_1(1/2, 3/4; 1; 1/(1-R_2(τ))) = (F_{2,-}^{1/2}/F_{2,+}^{1/4})(τ)
  • (6,6,∞): 2F1(1/2,2/3;1;1/(1−R3(τ)))=(F3,−1/2/F3,+1/6)(τ)_2F_1(1/2, 2/3; 1; 1/(1-R_3(τ))) = (F_{3,-}^{1/2}/F_{3,+}^{1/6})(τ)

Через выбор CM-точек τ (такие, что (2R_N(τ)-1)² рационально), в сочетании с формулой Chowla–Selberg для вычисления фундаментальных периодов Ω(τ), получаются явные выражения для пределов цепных дробей.

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

  1. Систематическое применение полусдвига: Через замену n на n-1/2 в дробях Лагерра систематически выводятся цепные дроби для гамма-частных из цепных дробей алгебраических чисел.
  2. Рекуррентные соотношения типа Апери: Ключевая рекуррентность имеет вид (n+B)vn+1=Znvn+K(B−n)vn−1(n+B)v_{n+1} = Znv_n + K(B-n)v_{n-1} с коэффициентами, линейными по n (а не квадратичными в общем случае), что делает анализ знаменателей возможным.
  3. Явные формулы (Теорема 7.1): Даны точные выражения для членов сходимости p(n)/q(n), включающие усечённые гипергеометрические суммы: Pn=∑j=0⌊n/2⌋(−1)jKn−j(Z/K)n−2j(n−j)!(n−2j)!∑i=0j(−1)i(n−i)!i!2(j−i)!ΛiP_n = \sum_{j=0}^{\lfloor n/2\rfloor} (-1)^j K^{n-j}(Z/K)^{n-2j}\frac{(n-j)!}{(n-2j)!}\sum_{i=0}^j \frac{(-1)^i(n-i)!}{i!^2(j-i)!}\Lambda_i
  4. Оптимизированные границы знаменателей: Введение d*_D(n) вместо наивного d_D(n) = lcm(Dj+1) через исключение простых чисел p, удовлетворяющих определённым условиям (множество P_n), значительно улучшает оценки знаменателей.

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

Источники данных

Данная работа — чистая теоретическая математика, "эксперименты" в основном означают:

  1. Численная верификация: Использование высокоточных вычислений для проверки сходимости цепных дробей к ожидаемым гамма-частным
  2. Перечисление CM-значений: На основе полной классификации из 2, всего 44 рациональных CM-значения
  3. Идентификация в OEIS: Использование Онлайн-энциклопедии целочисленных последовательностей для идентификации числовых коэффициентов

Метрики оценки

  • Скорость сходимости E: log|E|/2 определяет быстроту сходимости
  • Скорость роста знаменателя m*_D: асимптотически log(d_D(n)) ~ m_D · n
  • Мера иррациональности μ(L): при log|E|/2 > m*_D получается граница для меры

Ключевые параметры

  • m*_2 = 2
  • m*_3 = 3 - π/(2√3) ≈ 2.093
  • m*_4 = 4 - π/2 ≈ 2.429
  • m*_6 = 6 - π√3/2 ≈ 3.279

Экспериментальные результаты

Основные результаты (Теорема 6.2)

Лучшие меры иррациональности:

  • μ(CS(-163)) < 2.477 (ближайшее к оптимальному значению 2)
  • μ(CS(-232)) < 2.652
  • μ(CS(-267)) < 2.869
  • μ(CS(-67)) < 3.002

Важные специальные значения:

  • μ(CS(-3)) < 5.548 (первое строгое доказательство, лучше численного результата 13.418)
  • μ(CS(-7)) < 5.283
  • μ(12^(1/4)CS(-4)) < 25.733

Следствия:

  • μ(Γ(1/3)/Γ(2/3)) < 16.644

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

Быстро сходящаяся цепная дробь для CS(-3) (метка 1.4): CS(−3)=[[0,31,1012(n−1)],[240,−(6n−1)(6n−5)]]CS(-3) = [[0, 31, 1012(n-1)], [240, -(6n-1)(6n-5)]]

Скорость сходимости: E = (16 + 5√10)⁴/36 ≈ 28446.4, то есть CS(−3)−p(n)q(n)∼33/2CS(−3)(16+510)4n6−2nCS(-3) - \frac{p(n)}{q(n)} \sim \frac{3^{3/2}CS(-3)}{(16+5\sqrt{10})^{4n}6^{-2n}}

Цепная дробь для CS(-7) (метка 1.5): CS(−7)=[[324,10773,107732(n−1)],[3570,−84(6n−1)(6n−5)]]CS(-7) = [[324, 10773, \frac{10773}{2}(n-1)], [3570, -84(6n-1)(6n-5)]]

Анализ полноты

  • Из 44 рациональных CM-значений 39 дают сходящиеся цепные дроби
  • Из них 20 сходятся достаточно быстро для получения меры иррациональности
  • Оставшиеся 19 хотя и сходятся, но log|E|/2 ≤ m*_D, поэтому меру получить нельзя
  • 5 цепных дробей расходятся (A² - 4KD² < 0)

Анализ случая: CM-значение при z = 128/3

Для τ = (-3 + 3√(-3))/2 имеем 1 - R₁(τ) = 128/3. Выбирая Ω(τ) = e^(iπ/4)η(τ)²:

Результаты вычисления:

  • Ω = 3^(-19/12)Γ(1/3)/Γ(2/3)²
  • R₁ = -125/3
  • 2F1(1/2,5/6;1;3/128)=225/63−3/25−1Γ(1/3)Γ(2/3)2_2F_1(1/2, 5/6; 1; 3/128) = 2^{25/6}3^{-3/2}5^{-1}\frac{\Gamma(1/3)}{\Gamma(2/3)^2}

Через производную Серра и модулярные свойства вычисляется 2F1(3/2,11/6;3;3/128)_2F_1(3/2, 11/6; 3; 3/128), в итоге доказывается, что цепная дробь сходится к CS(-3).

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

Классические методы получения мер иррациональности

  1. Мера π Махлера: Первое использование интегрального метода
  2. ζ(3) и π² Апери: Использование цепных дробей, позже переинтерпретировано Бейкерсом как интегралы
  3. Мера π Зейльбергера–Зудилина: Текущая лучшая, использует гипергеометрические конструкции

Работы по гамма-функции

  • Чудновский 5 и Нестеренко 14,17: Доказательство трансцендентности CS(D)
  • Бруйле 3: Огромные границы для Γ(1/3) и Γ(1/4) (непрактичные)
  • Доэрти-Блисс и др. 12: Численная мера для CS(-3) (не строго доказана)

Модулярные формы и гипергеометрические функции

  • Формула Фрике: 2F1(1/12,7/12;1;1728/(1728−j(τ)))=E61/6(τ)_2F_1(1/12, 7/12; 1; 1728/(1728-j(τ))) = E_6^{1/6}(τ)
  • Бейкерс–Коэн 2: Hauptmodul арифметических треугольных групп и классификация CM-значений
  • Коэн–Гиллера 9: Рациональные гипергеометрические тождества Рамануджана для 1/π

Связь данной работы с предыдущими

  • Методология аналогична 19 (недавней работе второго автора), но применена к другой проблеме
  • Связана с 10 (другой работой авторов) о цепных дробях для CS(-3)², CS(-4)², но более систематична
  • Первая работа, дающая строгие и разумные меры иррациональности для гамма-частных

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

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

  1. Первое строгое доказательство: Даны первые строгие и разумные меры иррациональности для 20 гамма-частных
  2. Методологическое новшество: Показано, что метод цепных дробей в некоторых случаях превосходит традиционные интегральные/рядовые методы
  3. Теоретическая полнота: Дана полная теоретическая база для цепных дробей специального вида
  4. Оптимальность результатов: Численные данные указывают на асимптотическую оптимальность границ знаменателей, поэтому меры иррациональности вряд ли могут быть значительно улучшены

Ограничения

  1. Ограничение специальной формой: Метод применим только к цепным дробям, где a(n) линейна, а b(n) квадратична
  2. Ограничение значениями D: Рассмотрены только D ∈ {2, 3, 4, 6}
  3. Конечность CM-значений: Конечность рациональных CM-значений ограничивает число обрабатываемых дискриминантов
  4. Отсутствие некоторых значений: CS(-4), CS(-8), CS(-88) появляются только в виде алгебраических кратных
  5. CS(-11) без меры: Хотя имеется сходящаяся цепная дробь, сходимость недостаточна

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

  1. Компактные треугольные группы: Исследование компактных арифметических треугольных групп (p,q,r), возможно через автоморфные формы на кривых Шимуры для получения большего числа примеров
  2. Более глубокие цепные дроби: Изучение цепных дробей с более высокими степенями a(n) и b(n), таких как цепные дроби для CS(-3)², CS(-4)², CS(-8)²: (21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]](2^{1/3}CS(-3))^2 = [[72, 33, 40n^2+2], [648, -9(2n+1)^4]]
  3. Связь с 1/π²: Исследование связи с рациональными гипергеометрическими формулами, возможно получение цепных дробей для 15 квадратов CS-значений
  4. p-адические аналоги: Формула Гросса–Кобліца является p-адическим аналогом формулы Chowla–Selberg, может быть развита параллельная теория
  5. Интегральные представления: Поиск полезных интегральных или рядовых представлений для гамма-частных

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

Достоинства

  1. Значительный прорыв: Первое получение строгих и практических мер иррациональности для гамма-частных, заполнение важного пробела в области
  2. Оригинальность методов:
    • Применение метода цепных дробей к мерам иррациональности чрезвычайно редко
    • Систематическое применение техники полусдвига — инновационно
    • Элегантное сочетание теории модулярных форм и арифметического анализа
  3. Теоретическая полнота:
    • От построения цепных дробей к вычислению пределов и ограничению знаменателей — замкнутый цикл
    • Даны явные формулы (Теорема 7.1), а не только результаты существования
    • Полное перечисление всех возможных CM-значений (Таблица 1)
  4. Техническая глубина:
    • Идентификация и использование рекуррентностей типа Апери показывает глубокое понимание
    • Оптимизация знаменателей (d*_D(n)) через тонкое просеивание простых чисел значительно улучшает результаты
    • Техническое доказательство Леммы 7.4 демонстрирует высокое мастерство
  5. Ясность изложения:
    • Раздел 1.2 с мотивирующим примером отлично направляет читателя
    • Детальные вычисления для CS(-3) (раздел 6.1) помогают пониманию
    • Таблицы организованы ясно и удобны для справки

Недостатки

  1. Ограниченная область применения:
    • Применимо только к цепным дробям специального вида и значениям D
    • Нет очевидного пути обобщения на произвольные гамма-частные
    • Из 44 CM-значений только 20 дают меры
  2. Некоторые результаты неудовлетворительны:
    • μ(12^(1/4)CS(-4)) < 25.733 слишком велико
    • μ(CS(-51)) < 2598.5 практически бесполезно
    • Всё ещё есть разрыв с теоретическим оптимумом 2
  3. Недостаточное теоретическое объяснение:
    • Почему именно эти CM-значения дают быстро сходящиеся цепные дроби?
    • Глубокие причины полусдвига не полностью выяснены
    • Возможная связь с модулярными формами Гильберта только кратко упомянута
  4. Вычислительные детали:
    • Некоторые выводы (например, Теорема 7.1) названы "легко проверяемыми", но фактически сложны
    • Точность и методология численной верификации не описаны подробно
    • Конкретные значения констант C₁, C₂ не приведены
  5. p-адическое обобщение:
    • Хотя p-адическое направление предложено, конкретные идеи не даны
    • Способ применения формулы Гросса–Кобліца неясен

Влияние

  1. Теоретический вклад:
    • Открыт новый подход к изучению гамма-частных с помощью цепных дробей
    • Показано, что в некоторых задачах о трансцендентных числах цепные дроби превосходят интегральные методы
    • Предоставлен новый сценарий применения методов типа Апери
  2. Практическая ценность:
    • Меры иррациональности имеют приложения в диофантовом приближении
    • Сами формулы цепных дробей полезны для высокоточных численных вычислений
    • Методы могут быть обобщены на другие специальные функции
  3. Воспроизводимость:
    • Теоретические выводы детальны и проверяемы
    • Таблицы 1 и 2 предоставляют полные данные
    • Зависимость от 2, хотя и неопубликованной, может быть получена у авторов
  4. Последующие исследования:
    • Уже вызвала последующую работу второго автора 19
    • Образует серию исследований с 10
    • Предоставляет шаблон для направления компактных треугольных групп

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

  1. Исследования в теории чисел:
    • Трансцендентность и алгебраическая независимость в теории трансцендентных чисел
    • Теория диофантова приближения
    • Арифметические свойства специальных значений
  2. Теория модулярных форм:
    • Приложения теории CM
    • Вычисления модулярных гипергеометрических функций
    • Исследование арифметических треугольных групп
  3. Вычислительная математика:
    • Высокоточные вычисления гамма-частных
    • Реализация алгоритмов цепных дробей
    • Численная верификация значений специальных функций
  4. Смежные области:
    • Возможные приложения к периодам эллиптических кривых и абелевых многообразий
    • Потенциальная связь с интегралами Фейнмана в квантовой теории поля
    • Возможные приложения к производящим функциям в комбинаторике

Ключевые ссылки

2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (in preparation) — основа для классификации CM-значений

5 G.V. Chudnovsky (1976) — доказательство алгебраической независимости CS(D)

10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry — связанные исследования цепных дробей типа Апери

12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) — численная мера для CS(-3)

14 Yu.V. Nesterenko (1996) — модулярные функции и проблемы трансцендентности

19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods — связанная работа второго автора

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