Вторая формула предела Кронекера для вещественных квадратичных полей

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

• ID статьи: 2510.10554
• Название: Kronecker second limit formula for real quadratic fields
• Авторы: Youngju Choie, Rahul Kumar
• Классификация: math.NT (теория чисел), math.CA (комплексный анализ)
• Дата публикации: 14 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.10554

Аннотация

В данной работе впервые установлена вторая формула "предела" Кронекера для вещественных квадратичных полей. Более точно, авторы получили вторую формулу предела Кронекера для дзета-функции Загье. Используя теорию редукции Загье (которая связывает дзета-функцию Загье с дзета-функцией вещественного квадратичного поля), авторы выразили значения дзета-функции узких идеальных классов вещественного квадратичного поля при натуральных параметрах через аналитическую функцию, называемую функцией Герглоца-Загье-Новикова высшего порядка, обозначаемую как $F_k(x;α,β)$. Эта функция играет центральную роль в исследовании и обладает элегантными свойствами, удовлетворяя бинарным, тернарным и шестичленным функциональным уравнениям. На основе формулы предела Кронекера и функциональных уравнений авторы предоставляют альтернативное выражение для комбинаций значений дзета-функции, интерпретируют формулу "предела" Кронекера с точки зрения когомологических соотношений и устанавливают связь между $F_k(x;α,β)$ и обобщённой функцией Дедекинда-эта.

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

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

1. История формул предела Кронекера: Классические первая и вторая формулы предела Кронекера имеют широкое применение в теории чисел и физике, связанные с постоянными членами разложений Лорана некоторых рядов Дирихле при $s=1$.
2. Ограничения существующих результатов:
   • Кронекер первоначально вывел формулу для дзета-функции Дедекинда мнимых квадратичных полей
   • Загье в 1975 году развил первую формулу предела Кронекера для вещественных квадратичных полей, введя функцию Герглоца
   • Однако вторая формула предела Кронекера для вещественных квадратичных полей оставалась неизвестной
3. Исследовательский пробел: Несмотря на широкое развитие первой формулы предела Кронекера и её приложений, литература по второй формуле предела Кронекера относительно ограничена, особенно в случае вещественных квадратичных полей.

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

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

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

1. Первое установление второй формулы предела Кронекера для вещественных квадратичных полей: Получена полная вторая формула предела Кронекера через дзета-функцию Загье
2. Введение функции Герглоца-Загье-Новикова высшего порядка: Определена новая аналитическая функция $F_k(x;α,β)$, обобщающая известную функцию Герглоца
3. Доказательство богатых функциональных свойств: Установлены бинарные, тернарные и шестичленные функциональные уравнения для $F_k(x;α,β)$
4. Предоставление когомологической интерпретации: Интерпретирована формула предела с точки зрения когомологических соотношений, построены соответствующие 1-коциклы
5. Установление связи с функцией Дедекинда-эта: Через интегральное представление типа Бине связаны $F_k(x;α,β)$ и обобщённая функция Дедекинда-эта
6. Предоставление выражений для рациональных значений дзета-функции: Даны новые выражения для комбинаций значений дзета-функции

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

Основные определения

Функция Герглоца-Загье-Новикова высшего порядка: $F_k(x;α,β) := \int_0^∞ \frac{\text{Li}_{k-1}(e^{-xt}e^{2πiα})}{1-e^{-t}e^{2πiβ}} dt, \quad \text{Re}(x) > 0$

где $\text{Li}_s(z) = \sum_{n≥1} \frac{z^n}{n^s}$ — полилогарифм.

Дзета-функция Загье: $Z_Q(s;(α,β)) := \sum_{p≥1,q≥0} \frac{e^{2πi(αp+βq)}}{Q(p,q)^s}$

где $Q(x,y)$ — неопределённая бинарная квадратичная форма с дискриминантом 1.

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

Теорема 2.2 (Вторая формула предела Кронекера): Для $α,β ∈ \mathbb{R}\setminus\mathbb{Z}$:

1. $Z_Q(s;(α,β))$ аналитична в области $\text{Re}(s) > 1/2$
2. Вторая формула предела Кронекера имеет вид: $Z_Q(1;(α,β)) = F_2(w';α,β) - F_2(w;α,β)$

Теорема 2.3 (Случай высшего порядка): Для положительного целого числа $k > 1$: $Z_Q(k;(α,β)) = -(D_{k-1}F_{2k})(w,w';α,β)$

где $D_n$ — дифференциальный оператор: $(\mathcal{D}_nf)(x,y;α,β) = \sum_{i=0}^n \binom{2n-i}{n} \frac{f^{(i)}(x;α,β) - (-1)^if^{(i)}(y;α,β)}{i!(y-x)^{n-i}}$

Функциональные уравнения

Бинарное функциональное уравнение: $F_k(x;α,β) + (-x)^{k-2}F_k\left(\frac{1}{x};β,α\right) = \frac{1}{x}\text{Li}_k(e^{2πiα}) - (-x)^{k-1}\text{Li}_k(e^{2πiβ}) + \sum_{r=1}^{k-1}(-x)^{r-1}\text{Li}_{k-r}(e^{2πiα})\text{Li}_r(e^{2πiβ})$

Тернарное функциональное уравнение: Более сложные тернарные соотношения связывают $F_k(x;α,β)$, $F_k(x+1;α+β,β)$ и $F_k(\frac{x+1}{x};α+β,α)$

Шестичленное функциональное уравнение: Выводится из тернарных соотношений и модулярного преобразования $F_k|_{2k}(-I)(x,α,β) = F_k(x,-α,-β)$

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

Численная верификация

Авторы проводят численную верификацию на примере $K = \mathbb{Q}(\sqrt{3})$:

• Поле имеет два узких класса $B_0$ и $B_1$
• Соответствующие множества редуцированных квадратичных иррациональностей:
  • $\text{Red}(B_0) = \{2+\sqrt{3}\}$
  • $\text{Red}(B_1) = \{1+\frac{1}{\sqrt{3}}, \frac{3+\sqrt{3}}{2}\}$

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

Используя Mathematica, авторы верифицируют численное совпадение обеих частей формулы высшего порядка предела Кронекера (2.18) с точностью более 15 знаков после запятой.

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

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

Численные расчёты подтверждают корректность теоретических формул. Например, для $\text{Red}(B_0) = \{2+\sqrt{3}\}$ и параметров $(α,β) = (0.5, 0.5)$:

• Левая часть: $-11.127412237247254... + 6.11342... × 10^{-20}i$
• Правая часть: $-11.12741223912468... + 1.30095... × 10^{-15}i$

Ошибка находится в пределах численной точности, что подтверждает корректность теории.

Асимптотические свойства

Предложение 3.2: Установлены асимптотические разложения $F_k(x;α,β)$ при $x→∞$ и $x→0$:

При $x→∞$: $F_k(x;α,β) \sim \sum_{n=0}^∞ \frac{a_n(β)}{x^{n+1}}\text{Li}_{k+n}(e^{2πiα})$

При $x→0$ даны более сложные разложения.

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

Историческое развитие

1. Кронекер (1929): Первоначальная формула предела для дзета-функции Дедекинда мнимых квадратичных полей
2. Хеке (1917), Герглоц (1923): Ранние работы по вещественным квадратичным полям
3. Загье (1975): Первая формула предела Кронекера для вещественных квадратичных полей, введение функции Герглоца
4. Власенко-Загье (2013): Формулы "предела" Кронекера высшего порядка
5. Новиков (1981): Исследование связанных функций

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

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

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

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

1. Успешно установлена вторая формула предела Кронекера для вещественных квадратичных полей
2. Введённая функция $F_k(x;α,β)$ обладает богатыми аналитическими свойствами
3. Предоставлены новые выражения для значений дзета-функции и когомологическая интерпретация
4. Установлена глубокая связь с обобщённой функцией Дедекинда-эта

Ограничения

1. Некоторые результаты требуют условия $α,β ∈ \mathbb{R}\setminus\mathbb{Z}$, целочисленный случай требует предельного перехода
2. Результаты для рациональных значений дзета-функции в основном ограничены случаем $α = β$
3. Гипотеза 6.2 полностью не решена

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

1. Расширение на более общие алгебраические числовые поля
2. Исследование более глубоких связей с теорией модулярных форм
3. Изучение арифметических свойств $F_k(x;α,β)$
4. Совершенствование общей теории рациональных значений дзета-функции

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

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

1. Теоретическая полнота: Впервые установлена вторая формула предела Кронекера для вещественных квадратичных полей, заполнен важный теоретический пробел
2. Техническая инновация: Введённая функция $F_k(x;α,β)$ обобщает несколько известных функций, обладает унифицирующим характером
3. Строгость методов: Доказательства охватывают комплексный анализ, теорию функциональных уравнений, когомологию и другие области
4. Богатство результатов: Не только даны основные формулы, но и установлены многочисленные свойства функций и приложения

Недостатки

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

Влияние

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

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

1. Исследование специальных значений L-функций в аналитической теории чисел
2. Изучение арифметических свойств квадратичных полей
3. Теория модулярных форм и автоморфных форм
4. Когомологические методы в алгебраической теории чисел

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

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