Свойства сравнимости чисел Лемера-Эйлера

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

• ID статьи: 2501.01178
• Название: Congruence properties of Lehmer-Euler numbers
• Авторы: Такао Коматсу (Университет Нагасаки), Го-Дун Лю (Университет Хуйчжоу)
• Классификация: math.NT (Теория чисел), math.CO (Комбинаторика)
• Дата публикации: 2 января 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2501.01178

Аннотация

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

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

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

1. Исторический контекст: В 1935 году Д.Х. Лемер ввёл обобщённые числа Эйлера $W_n$, определённые как: $\sum_{n=0}^{\infty} \frac{W_n t^n}{n!} = \frac{3}{e^t + e^{\omega t} + e^{\omega^2 t}} = \left(\sum_{l=0}^{\infty} \frac{t^{3l}}{(3l)!}\right)^{-1}$ где $\omega = \frac{-1+\sqrt{-3}}{2}$ и $\omega^2 = \frac{-1-\sqrt{-3}}{2}$ — кубические корни из единицы.
2. Связь с классическими числами Эйлера: Эти числа можно рассматривать как аналог классических чисел Эйлера, определяемых как: $\sum_{n=0}^{\infty} \frac{E_n t^n}{n!} = \frac{2}{e^t + e^{-t}} = \frac{1}{\cosh t}$
3. Исследовательская ценность: Числа Лемера-Эйлера обладают важными комбинаторными и теоретико-числовыми свойствами; $W_n = 0$ тогда и только тогда, когда $3 \nmid n$, и $(-1)^n W_{3n} > 0$.

Мотивация исследования

1. Значимость свойств сравнимости: По аналогии с классическими результатами Штерна о степенях числа 2 для чисел Эйлера, исследование свойств сравнимости чисел Лемера-Эйлера имеет важное теоретико-числовое значение
2. Совершенствование теории: Хотя существуют некоторые исследования чисел Лемера-Эйлера, их свойства сравнимости ещё не были систематически изучены
3. Обобщение методов: Исследование свойств этих обобщённых последовательностей может предоставить методологию для изучения других подобных числовых рядов

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

1. Установлены фундаментальные свойства сравнимости чисел Лемера-Эйлера: доказано, что $W_{3n} \equiv (-1)^n \pmod{9}$
2. Получены точные сравнения по степеням числа 3: установлены периодические свойства сравнимости по модулю $3^k$
3. Введены неполные числа Лемера-Эйлера: определены и изучены два типа неполных форм чисел Лемера-Эйлера
4. Обобщение на высшие порядки: определены обобщённые числа Лемера-Эйлера порядка $\alpha$
5. Установлена новая полиномиальная последовательность: определена полиномиальная последовательность $\Delta(x,k)$ и установлены тождества со связью с центральными факториальными числами
6. Получены новые комбинаторные тождества: включающие числа Эйлера и центральные факториальные числа

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

Основные свойства и рекуррентные соотношения

Теорема 1 приводит три основных представления чисел Лемера-Эйлера:

1. Рекуррентная формула: $W_0 = 1$ и для $n \geq 1$: $W_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k}$
2. Явная формула: для $n \geq 1$: $W_{3n} = (3n)! \sum_{k=1}^{n} (-1)^k \sum_{\substack{i_1+\cdots+i_k=n \\ i_1,\ldots,i_k \geq 1}} \frac{1}{(3i_1)! \cdots (3i_k)!}$
3. Представление через определитель: выражение $W_{3n}$ через определитель матрицы размера $n \times n$

Методы доказательства свойств сравнимости

Основная техника: использование теоремы Люка и свойств кубических корней из единицы

Теорема 3: для любого неотрицательного целого числа $n$ справедливо: $W_{3n} \in \mathbb{Z} \text{ и } W_{3n} \equiv (-1)^n \pmod{9}$

Схема доказательства:

1. Использование рекуррентного соотношения для доказательства целочисленности $W_{3n}$
2. Применение тождества: $\sum_{k=0}^n \binom{3n}{3k} x^{3k} = \frac{1}{3} \sum_{j=0}^2 (1+\omega^j x)^{3n}$
3. Установление свойства сравнимости методом математической индукции

Применение теоремы Люка

Теорема 4 использует теорему Люка для установления свойств сравнимости по модулю $3^3 = 27$:

для $n \geq 0$:

• $W_{9n} \equiv (-1)^n \pmod{27}$
• $W_{9n+3} \equiv (-1)^{n-1} \pmod{27}$
• $W_{9n+6} \equiv (-1)^{n-1} \cdot 8 \pmod{27}$

Неполные числа Лемера-Эйлера

Определение

Для $m \geq 1$ определены два типа неполных чисел Лемера-Эйлера:

1. Усечённый тип $W_{n,\leq m}$: $\sum_{n=0}^{\infty} \frac{W_{n,\leq m} t^n}{n!} = \frac{1}{1 + \sum_{l=1}^m \frac{t^{3l}}{(3l)!}}$
2. Хвостовой тип $W_{n,\geq m}$: $\sum_{n=0}^{\infty} \frac{W_{n,\geq m} t^n}{n!} = \frac{1}{1 + \sum_{l=m}^{\infty} \frac{t^{3l}}{(3l)!}}$

Свойства

Предложение 3 приводит рекуррентные формулы, явные формулы и представления через определители для неполных чисел Лемера-Эйлера, которые являются естественным обобщением исходного случая.

Числа Лемера-Эйлера высших порядков

Определение

Для положительных целых чисел $r$ и $\alpha$ определены обобщённые числа Лемера-Эйлера порядка $\alpha$ — $W_{r,n}^{(\alpha)}$:

$\sum_{n=0}^{\infty} \frac{W_{r,n}^{(\alpha)} t^n}{n!} = \left(\frac{r}{\sum_{j=0}^{r-1} e^{\zeta^j t}}\right)^\alpha = \left(\sum_{l=0}^{\infty} \frac{t^{rl}}{(rl)!}\right)^{-\alpha}$

где $\zeta = \zeta_r$ — первообразный корень степени $r$ из единицы.

Явные формулы

Посредством биномиальной теоремы и техники производящих функций получены явные выражения для высшего порядка; при $r=2$ результаты сводятся к классическим числам Эйлера высших порядков.

Новая полиномиальная последовательность

Определение

Определена полиномиальная последовательность $\Delta(x,k)$: $\Delta(x,k+1) = (x+1)(2x+1)\Delta(x+1,k) - x^2\Delta(x,k)$ с начальным условием: $\Delta(x,0) = 1$

Тождества со связью с центральными факториальными числами

Теорема 5: для неотрицательных целых чисел $n$ и $k$: $E_{2n+2k} = \sum_{j=0}^n \frac{(-1)^{j-k}(2j)!\Delta(j,k)}{2^j} T(2n,2j)$

Теорема 6: для неотрицательного целого числа $n$: $\sum_{j=0}^n (-4)^{n-j} t(2n+1,2j+1)\Delta(x,j) = (x+1)(x+2)\cdots(x+2n)$

где $T(n,k)$ и $t(n,k)$ — центральные факториальные числа второго и первого рода соответственно.

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

Периодические свойства сравнимости

Предложение 2 приводит периодичность чисел Лемера-Эйлера по различным степеням числа 3:

• $\{W_{3n} \bmod 3^2\}$: период равен 2, паттерн $1,8,1$
• $\{W_{3n} \bmod 3^3\}$: период равен 6
• $\{W_{3n} \bmod 3^4\}$: период равен 18
• $\{W_{3n} \bmod 3^5\}$: период равен 54

Проверка конкретных значений

В статье приводятся конкретные значения первых нескольких чисел Лемера-Эйлера: $1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots$

и проверяется, что эти значения действительно удовлетворяют установленным свойствам сравнимости.

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

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

1. Лемер (1935): первое определение обобщённых чисел Эйлера
2. Штерн (1875), Фробениус (1910): установление свойств сравнимости классических чисел Эйлера
3. Эрнвалл (1979), Вагстафф (2000), Сун (2005): дальнейшее развитие теории сравнимости чисел Эйлера

Уникальность вклада данной работы

1. Первое систематическое исследование: свойства сравнимости чисел Лемера-Эйлера ранее не были систематически изучены
2. Инновационные методы: искусное сочетание теоремы Люка и свойств кубических корней из единицы
3. Обобщение результатов: расширение от квадратичного случая к кубическому с общей методологией

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

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

1. Установлена полная теоретико-числовая база для свойств сравнимости чисел Лемера-Эйлера
2. Доказано наличие явных периодических свойств сравнимости этих чисел
3. Обобщение на неполные и высшие порядки
4. Установлена глубокая связь с центральными факториальными числами

Ограничения

1. Гипотезы о периодичности: для $k \geq 6$ палиндромные свойства больше не сохраняются; полная закономерность периодичности требует дальнейшего исследования
2. Общие гипотезы: гипотеза 1 о том, что $W_{3n} \equiv W_{3m} \pmod{3^{k+1}}$ при $3n \equiv 3m \pmod{2 \cdot 3^k}$, полностью не доказана
3. Вычислительная сложность: для больших модулей вычисления становятся сложными

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

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

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

Достоинства

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

Недостатки

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

Влияние

1. Академическая ценность: предоставление новых объектов исследования и методов для теории чисел и комбинаторики
2. Теоретический вклад: обогащение теории сравнимости специальных числовых последовательностей
3. Обобщение методов: предоставление парадигмы для исследования аналогичных задач

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

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

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

В статье цитируется 27 соответствующих источников, включая:

• Оригинальные работы Лемера 13
• Классические источники по теории сравнимости чисел Эйлера 4,5,24,25,27
• Исследования центральных факториальных чисел 18,19,22
• Предыдущие работы авторов 1,10,11,12

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