2025-11-10T02:59:47.339975

Congruence properties of Lehmer-Euler numbers

Komatsu, Liu
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, Lehmer's generalized Euler numbers are studied to give certain congruence properties together with recurrence and explicit formulas of the numbers. We also show a new polynomial sequence and its properties. Some identities including Euler and central factorial numbers are obtained.
academic

Propriétés de congruence des nombres de Lehmer-Euler

Informations fondamentales

  • ID de l'article : 2501.01178
  • Titre : Congruence properties of Lehmer-Euler numbers
  • Auteurs : Takao Komatsu (Université de Nagasaki), Guo-Dong Liu (Université de Huizhou)
  • Classification : math.NT (Théorie des nombres), math.CO (Combinatoire)
  • Date de publication : 2 janvier 2025 (prépublication arXiv)
  • Lien de l'article : https://arxiv.org/abs/2501.01178

Résumé

Cet article étudie les propriétés de congruence des nombres d'Euler généralisés définis par Lehmer en 1935. Lehmer a défini ces nombres en utilisant les racines cubiques de l'unité, comme une généralisation naturelle des nombres de Bernoulli et d'Euler. L'article présente les propriétés de congruence de ces nombres ainsi que des formules de récurrence et des formules explicites. Il expose également une nouvelle séquence polynomiale et ses propriétés, et obtient des identités contenant les nombres d'Euler et les nombres factoriels centraux.

Contexte et motivation de la recherche

Contexte du problème

  1. Contexte historique : En 1935, D.H. Lehmer a introduit les nombres d'Euler généralisés WnW_n, définis par : n=0Wntnn!=3et+eωt+eω2t=(l=0t3l(3l)!)1\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}ω=1+32\omega = \frac{-1+\sqrt{-3}}{2} et ω2=132\omega^2 = \frac{-1-\sqrt{-3}}{2} sont les racines cubiques de l'unité.
  2. Relation avec les nombres d'Euler classiques : Ces nombres peuvent être considérés comme des analogues des nombres d'Euler classiques, définis par : n=0Entnn!=2et+et=1cosht\sum_{n=0}^{\infty} \frac{E_n t^n}{n!} = \frac{2}{e^t + e^{-t}} = \frac{1}{\cosh t}
  3. Valeur de la recherche : Les nombres de Lehmer-Euler possèdent d'importantes propriétés combinatoires et arithmétiques. On a Wn=0W_n = 0 si et seulement si 3n3 \nmid n, et (1)nW3n>0(-1)^n W_{3n} > 0.

Motivation de la recherche

  1. Importance des propriétés de congruence : Par analogie avec les résultats classiques de Stern sur les nombres d'Euler modulo les puissances de 2, l'étude des propriétés de congruence des nombres de Lehmer-Euler revêt une importance théorique majeure en théorie des nombres.
  2. Perfectionnement théorique : Bien que certaines recherches sur les nombres de Lehmer-Euler existent, leurs propriétés de congruence n'ont pas encore été systématiquement étudiées.
  3. Généralisation de méthodes : L'étude des propriétés de ces nombres généralisés peut fournir des méthodes de recherche pour d'autres séquences similaires.

Contributions principales

  1. Établissement des propriétés de congruence fondamentales des nombres de Lehmer-Euler : Preuve que W3n(1)n(mod9)W_{3n} \equiv (-1)^n \pmod{9}
  2. Obtention de relations de congruence exactes modulo les puissances de 3 : Établissement de propriétés de congruence périodiques modulo 3k3^k
  3. Introduction des nombres de Lehmer-Euler incomplets : Définition et étude de deux formes incomplètes des nombres de Lehmer-Euler
  4. Généralisation au cas d'ordre supérieur : Définition des nombres de Lehmer-Euler généralisés d'ordre α\alpha
  5. Établissement d'une nouvelle séquence polynomiale : Définition de la séquence polynomiale Δ(x,k)\Delta(x,k) et établissement d'identités avec les nombres factoriels centraux
  6. Obtention de plusieurs nouvelles identités combinatoires : Identités impliquant les nombres d'Euler et les nombres factoriels centraux

Détails des méthodes

Propriétés fondamentales et relations de récurrence

Théorème 1 : Présente trois représentations fondamentales des nombres de Lehmer-Euler :

  1. Formule de récurrence : W0=1W_0 = 1 et pour n1n \geq 1 : W3n=k=0n1(3n3k)W3kW_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k}
  2. Formule explicite : Pour n1n \geq 1 : W3n=(3n)!k=1n(1)ki1++ik=ni1,,ik11(3i1)!(3ik)!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. Représentation par déterminant : Expression de W3nW_{3n} par un déterminant n×nn \times n

Méthodes de preuve des propriétés de congruence

Technique centrale : Utilisation du théorème de Lucas et des propriétés des racines cubiques de l'unité

Théorème 3 : Pour tout entier non négatif nn, on a : W3nZ et W3n(1)n(mod9)W_{3n} \in \mathbb{Z} \text{ et } W_{3n} \equiv (-1)^n \pmod{9}

Schéma de preuve :

  1. Utilisation de la relation de récurrence pour prouver que W3nW_{3n} est un entier
  2. Utilisation de l'identité : k=0n(3n3k)x3k=13j=02(1+ωjx)3n\sum_{k=0}^n \binom{3n}{3k} x^{3k} = \frac{1}{3} \sum_{j=0}^2 (1+\omega^j x)^{3n}
  3. Établissement de la relation de congruence par induction

Application du théorème de Lucas

Théorème 4 : Utilisation du théorème de Lucas pour établir les propriétés de congruence modulo 33=273^3 = 27 :

Pour n0n \geq 0 :

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

Nombres de Lehmer-Euler incomplets

Définition

Pour m1m \geq 1, définition de deux types de nombres de Lehmer-Euler incomplets :

  1. Type tronqué Wn,mW_{n,\leq m} : n=0Wn,mtnn!=11+l=1mt3l(3l)!\sum_{n=0}^{\infty} \frac{W_{n,\leq m} t^n}{n!} = \frac{1}{1 + \sum_{l=1}^m \frac{t^{3l}}{(3l)!}}
  2. Type queue Wn,mW_{n,\geq m} : n=0Wn,mtnn!=11+l=mt3l(3l)!\sum_{n=0}^{\infty} \frac{W_{n,\geq m} t^n}{n!} = \frac{1}{1 + \sum_{l=m}^{\infty} \frac{t^{3l}}{(3l)!}}

Propriétés

Proposition 3 : Présente les formules de récurrence, les formules explicites et les représentations par déterminant des nombres de Lehmer-Euler incomplets, qui sont des généralisations naturelles du cas original.

Nombres de Lehmer-Euler d'ordre supérieur

Définition

Pour les entiers positifs rr et α\alpha, définition des nombres de Lehmer-Euler généralisés d'ordre α\alpha, notés Wr,n(α)W_{r,n}^{(\alpha)} :

n=0Wr,n(α)tnn!=(rj=0r1eζjt)α=(l=0trl(rl)!)α\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}

ζ=ζr\zeta = \zeta_r est une racine primitive rr-ième de l'unité.

Formule explicite

Par la technique du théorème binomial et des fonctions génératrices, on obtient les expressions explicites pour le cas d'ordre supérieur. Lorsque r=2r=2, on retrouve les nombres d'Euler classiques d'ordre supérieur.

Nouvelle séquence polynomiale

Définition

Définition de la séquence polynomiale Δ(x,k)\Delta(x,k) : Δ(x,k+1)=(x+1)(2x+1)Δ(x+1,k)x2Δ(x,k)\Delta(x,k+1) = (x+1)(2x+1)\Delta(x+1,k) - x^2\Delta(x,k) avec la condition initiale : Δ(x,0)=1\Delta(x,0) = 1

Identités avec les nombres factoriels centraux

Théorème 5 : Pour les entiers non négatifs nn et kk : E2n+2k=j=0n(1)jk(2j)!Δ(j,k)2jT(2n,2j)E_{2n+2k} = \sum_{j=0}^n \frac{(-1)^{j-k}(2j)!\Delta(j,k)}{2^j} T(2n,2j)

Théorème 6 : Pour les entiers non négatifs nn : j=0n(4)njt(2n+1,2j+1)Δ(x,j)=(x+1)(x+2)(x+2n)\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) et t(n,k)t(n,k) sont respectivement les nombres factoriels centraux de deuxième et première espèce.

Résultats expérimentaux

Propriétés de congruence périodiques

Proposition 2 : Présente la périodicité des nombres de Lehmer-Euler modulo les puissances de 3 :

  • {W3nmod32}\{W_{3n} \bmod 3^2\} : période 2, motif 1,8,11,8,1
  • {W3nmod33}\{W_{3n} \bmod 3^3\} : période 6
  • {W3nmod34}\{W_{3n} \bmod 3^4\} : période 18
  • {W3nmod35}\{W_{3n} \bmod 3^5\} : période 54

Vérification numérique

L'article présente les valeurs concrètes des premiers nombres de Lehmer-Euler : 1,1,19,1513,315523,136085041,105261234643,1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots

et vérifie que ces valeurs satisfont effectivement les relations de congruence établies.

Travaux connexes

Développement historique

  1. Lehmer (1935) : Première définition des nombres d'Euler généralisés
  2. Stern (1875), Frobenius (1910) : Établissement des propriétés de congruence des nombres d'Euler classiques
  3. Ernvall (1979), Wagstaff (2000), Sun (2005) : Développement ultérieur de la théorie de congruence des nombres d'Euler

Caractère unique de la contribution de cet article

  1. Première étude systématique : Les propriétés de congruence des nombres de Lehmer-Euler n'avaient pas été systématiquement étudiées auparavant
  2. Innovation méthodologique : Combinaison ingénieuse du théorème de Lucas et des propriétés des racines cubiques de l'unité
  3. Généralisation des résultats : Généralisation du cas quadratique au cas cubique, avec une méthode de portée générale

Conclusions et discussion

Conclusions principales

  1. Établissement d'un cadre théorique complet pour la théorie de congruence des nombres de Lehmer-Euler
  2. Preuve que ces nombres possèdent des propriétés de congruence périodiques explicites
  3. Généralisation aux cas incomplets et d'ordre supérieur
  4. Établissement de liens profonds avec les nombres factoriels centraux

Limitations

  1. Conjecture de périodicité : Pour k6k \geq 6, la propriété palindromique ne subsiste plus ; la loi de périodicité complète demande une investigation ultérieure
  2. Conjecture générale : La Conjecture 1 concernant W3nW3m(mod3k+1)W_{3n} \equiv W_{3m} \pmod{3^{k+1}} lorsque 3n3m(mod23k)3n \equiv 3m \pmod{2 \cdot 3^k} n'a pas été entièrement prouvée
  3. Complexité computationnelle : Le calcul devient complexe pour les grands moduli

Directions futures

  1. Perfectionnement théorique : Preuve ou réfutation des conjectures proposées
  2. Généralisation à des cas plus généraux : Étude des nombres d'Euler généralisés correspondant aux racines pp-ièmes de l'unité
  3. Extension des applications : Exploration des applications à d'autres problèmes de théorie des nombres

Évaluation approfondie

Points forts

  1. Valeur théorique : Comble une lacune dans la théorie de congruence des nombres de Lehmer-Euler, revêtant une importance théorique majeure en théorie des nombres
  2. Innovation méthodologique : Application ingénieuse du théorème de Lucas et des propriétés des racines de l'unité ; la méthode est générale et transposable
  3. Complétude des résultats : Des propriétés fondamentales à la généralisation d'ordre supérieur, formant un système théorique complet
  4. Vérification computationnelle : Présentation d'exemples numériques concrets, renforçant la crédibilité des résultats

Insuffisances

  1. Incomplétude de certains résultats : Certaines conjectures n'ont pas été entièrement prouvées
  2. Applications limitées : Les résultats sont principalement théoriques ; la valeur pratique reste à explorer
  3. Complexité de la présentation : Certaines preuves sont relativement longues ; la lisibilité pourrait être améliorée

Impact

  1. Valeur académique : Fournit de nouveaux objets d'étude et méthodes à la théorie des nombres et aux mathématiques combinatoires
  2. Contribution théorique : Enrichit la théorie de congruence des séquences spéciales
  3. Généralisation méthodologique : Fournit un paradigme pour l'étude de problèmes similaires

Domaines d'application

  1. Recherche en théorie des nombres : Étude des propriétés de congruence des séquences spéciales
  2. Mathématiques combinatoires : Étude des fonctions génératrices et des polynômes spéciaux
  3. Mathématiques computationnelles : Vérification des calculs numériques haute précision

Références bibliographiques

L'article cite 27 références pertinentes, incluant principalement :

  • Les travaux originaux de Lehmer 13
  • Les textes classiques de la théorie de congruence des nombres d'Euler 4,5,24,25,27
  • Les recherches connexes sur les nombres factoriels centraux 18,19,22
  • Les travaux antérieurs des auteurs 1,10,11,12

Évaluation globale : Cet article est un travail de haute qualité en théorie des nombres qui établit systématiquement la théorie de congruence des nombres de Lehmer-Euler. Les méthodes sont innovantes, les résultats riches, et la contribution revêt une importance majeure pour le développement des domaines connexes. Bien que certaines questions demeurent irrésolues, l'article pose des fondations solides pour les recherches ultérieures.