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

Propiedades de congruencia de números de Lehmer-Euler

Información Básica

  • ID del artículo: 2501.01178
  • Título: Propiedades de congruencia de números de Lehmer-Euler
  • Autores: Takao Komatsu (Universidad de Nagasaki), Guo-Dong Liu (Universidad de Huizhou)
  • Clasificación: math.NT (Teoría de Números), math.CO (Combinatoria)
  • Fecha de publicación: 2 de enero de 2025 (preimpresión en arXiv)
  • Enlace del artículo: https://arxiv.org/abs/2501.01178

Resumen

Este artículo estudia las propiedades de congruencia de números de Euler generalizados definidos por Lehmer en 1935. Lehmer utilizó raíces cúbicas de la unidad para definir estos números como una generalización natural de los números de Bernoulli y Euler. El artículo presenta propiedades de congruencia, fórmulas recursivas y fórmulas explícitas de estos números, además de mostrar una nueva secuencia polinomial y sus propiedades, obteniendo identidades que incluyen números de Euler y números factoriales centrales.

Antecedentes y Motivación de la Investigación

Contexto del Problema

  1. Antecedentes históricos: En 1935, D.H. Lehmer introdujo números de Euler generalizados WnW_n, definidos como: 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} donde ω=1+32\omega = \frac{-1+\sqrt{-3}}{2} y ω2=132\omega^2 = \frac{-1-\sqrt{-3}}{2} son raíces cúbicas de la unidad.
  2. Relación con números de Euler clásicos: Estos números pueden considerarse como análogos de los números de Euler clásicos, definidos como: 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. Valor de investigación: Los números de Lehmer-Euler poseen propiedades importantes en combinatoria y teoría de números, con Wn=0W_n = 0 si y solo si 3n3 \nmid n, y (1)nW3n>0(-1)^n W_{3n} > 0.

Motivación de la Investigación

  1. Importancia de las propiedades de congruencia: De manera análoga a los resultados clásicos de Stern sobre números de Euler módulo potencias de 2, el estudio de propiedades de congruencia de números de Lehmer-Euler tiene importancia significativa en teoría de números
  2. Perfeccionamiento teórico: Aunque existen investigaciones previas sobre números de Lehmer-Euler, sus propiedades de congruencia aún no han sido estudiadas sistemáticamente
  3. Generalización de métodos: Al estudiar las propiedades de estos números generalizados, se pueden proporcionar métodos de investigación para otras secuencias similares

Contribuciones Principales

  1. Establecimiento de propiedades de congruencia fundamentales de números de Lehmer-Euler: Se demostró que W3n(1)n(mod9)W_{3n} \equiv (-1)^n \pmod{9}
  2. Obtención de relaciones de congruencia exactas módulo potencias de 3: Se establecieron propiedades de congruencia periódicas módulo 3k3^k
  3. Introducción de números de Lehmer-Euler incompletos: Se definieron y estudiaron dos formas incompletas de números de Lehmer-Euler
  4. Generalización a casos de orden superior: Se definieron números de Lehmer-Euler generalizados de orden α\alpha
  5. Establecimiento de nuevas secuencias polinomiales: Se definió la secuencia polinomial Δ(x,k)\Delta(x,k) y se establecieron identidades con números factoriales centrales
  6. Obtención de múltiples nuevas identidades combinatorias: Se obtuvieron identidades que involucran números de Euler y números factoriales centrales

Explicación Detallada de Métodos

Propiedades Básicas y Relaciones Recursivas

Teorema 1 proporciona tres representaciones fundamentales de números de Lehmer-Euler:

  1. Fórmula recursiva: W0=1W_0 = 1 y para n1n \geq 1: W3n=k=0n1(3n3k)W3kW_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k}
  2. Fórmula explícita: Para 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. Representación determinantal: Se expresa W3nW_{3n} mediante un determinante de n×nn \times n

Métodos de Prueba de Propiedades de Congruencia

Técnica central: Utilización del teorema de Lucas y propiedades de raíces cúbicas de la unidad

Teorema 3: Para cualquier entero no negativo nn, se tiene: W3nZ y W3n(1)n(mod9)W_{3n} \in \mathbb{Z} \text{ y } W_{3n} \equiv (-1)^n \pmod{9}

Esquema de prueba:

  1. Utilización de la relación recursiva para demostrar que W3nW_{3n} es un entero
  2. Uso de la identidad: 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. Establecimiento de relaciones de congruencia mediante inducción

Aplicación del Teorema de Lucas

Teorema 4 utiliza el teorema de Lucas para establecer propiedades de congruencia módulo 33=273^3 = 27:

Para 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}

Números de Lehmer-Euler Incompletos

Definición

Para m1m \geq 1, se definen dos tipos de números de Lehmer-Euler incompletos:

  1. Tipo truncado 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. Tipo de cola 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)!}}

Propiedades

Proposición 3 proporciona fórmulas recursivas, fórmulas explícitas y representaciones determinantales para números de Lehmer-Euler incompletos, que son generalizaciones naturales del caso original.

Números de Lehmer-Euler de Orden Superior

Definición

Para enteros positivos rr y α\alpha, se definen números de Lehmer-Euler generalizados de orden α\alpha, 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}

donde ζ=ζr\zeta = \zeta_r es una raíz primitiva rr-ésima de la unidad.

Fórmula Explícita

Mediante el teorema del binomio y técnicas de funciones generatrices, se obtienen expresiones explícitas para el caso de orden superior, que se reducen a números de Euler de orden superior clásicos cuando r=2r=2.

Nueva Secuencia Polinomial

Definición

Se define la secuencia polinomial Δ(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) con condición inicial: Δ(x,0)=1\Delta(x,0) = 1

Identidades con Números Factoriales Centrales

Teorema 5: Para enteros no negativos nn y 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)

Teorema 6: Para enteros no negativos 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)

donde T(n,k)T(n,k) y t(n,k)t(n,k) son números factoriales centrales de segunda y primera clase, respectivamente.

Resultados Experimentales

Propiedades de Congruencia Periódica

Proposición 2 proporciona la periodicidad de números de Lehmer-Euler módulo potencias de 3:

  • {W3nmod32}\{W_{3n} \bmod 3^2\}: período 2, patrón 1,8,11,8,1
  • {W3nmod33}\{W_{3n} \bmod 3^3\}: período 6
  • {W3nmod34}\{W_{3n} \bmod 3^4\}: período 18
  • {W3nmod35}\{W_{3n} \bmod 3^5\}: período 54

Verificación Numérica Específica

El artículo proporciona valores específicos de los primeros números de Lehmer-Euler: 1,1,19,1513,315523,136085041,105261234643,1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots

y verifica que estos valores satisfacen efectivamente las relaciones de congruencia establecidas.

Trabajos Relacionados

Desarrollo Histórico

  1. Lehmer (1935): Definió por primera vez números de Euler generalizados
  2. Stern (1875), Frobenius (1910): Establecieron propiedades de congruencia de números de Euler clásicos
  3. Ernvall (1979), Wagstaff (2000), Sun (2005): Desarrollaron posteriormente la teoría de congruencias de números de Euler

Singularidad de la Contribución de este Artículo

  1. Primer estudio sistemático: Las propiedades de congruencia de números de Lehmer-Euler no habían sido estudiadas sistemáticamente previamente
  2. Innovación metodológica: Combinación ingeniosa del teorema de Lucas y propiedades de raíces cúbicas de la unidad
  3. Generalización de resultados: Generalización del caso cuadrático al caso cúbico, con métodos de carácter general

Conclusiones y Discusión

Conclusiones Principales

  1. Se estableció un marco teórico completo de teoría de congruencias para números de Lehmer-Euler
  2. Se demostraron propiedades de congruencia periódica clara para estos números
  3. Se realizó generalización a casos incompletos y de orden superior
  4. Se establecieron conexiones profundas con números factoriales centrales

Limitaciones

  1. Conjetura de periodicidad: Para k6k \geq 6, la propiedad palindrómica ya no se mantiene, y la ley de periodicidad completa requiere investigación adicional
  2. Conjetura general: La Conjetura 1 sobre W3nW3m(mod3k+1)W_{3n} \equiv W_{3m} \pmod{3^{k+1}} cuando 3n3m(mod23k)3n \equiv 3m \pmod{2 \cdot 3^k} aún no ha sido completamente demostrada
  3. Complejidad computacional: El cálculo se vuelve complejo para módulos grandes

Direcciones Futuras

  1. Perfeccionamiento teórico: Demostración o refutación de las conjeturas propuestas
  2. Generalización a casos más generales: Investigación de números de Euler generalizados correspondientes a raíces pp-ésimas de la unidad
  3. Expansión de aplicaciones: Exploración de aplicaciones en otros problemas de teoría de números

Evaluación Profunda

Fortalezas

  1. Valor teórico: Llena el vacío en la teoría de congruencias de números de Lehmer-Euler, con significancia importante en teoría de números
  2. Innovación metodológica: Aplicación ingeniosa del teorema de Lucas y propiedades de raíces de la unidad, con métodos de carácter general y generalizable
  3. Completitud de resultados: Desde propiedades fundamentales hasta generalizaciones de orden superior, formando un sistema teórico completo
  4. Verificación computacional: Proporciona ejemplos numéricos específicos, aumentando la credibilidad de los resultados

Deficiencias

  1. Incompletitud de algunos resultados: Ciertas conjeturas aún no han sido completamente demostradas
  2. Aplicabilidad limitada: Principalmente resultados teóricos, con valor de aplicación práctica aún por explorar
  3. Complejidad de presentación: Algunos procesos de prueba son relativamente extensos, con legibilidad que requiere mejora

Impacto

  1. Valor académico: Proporciona nuevos objetos de investigación y métodos para teoría de números y matemática combinatoria
  2. Contribución teórica: Enriquece la teoría de congruencias de secuencias especiales
  3. Generalización de métodos: Proporciona un paradigma para la investigación de problemas similares

Escenarios Aplicables

  1. Investigación en teoría de números: Estudio de propiedades de congruencia de secuencias especiales
  2. Matemática combinatoria: Investigación de funciones generatrices y polinomios especiales
  3. Matemática computacional: Verificación de cálculos numéricos de alta precisión

Referencias Bibliográficas

El artículo cita 27 referencias relacionadas, que incluyen principalmente:

  • Trabajos originales de Lehmer 13
  • Literatura clásica en teoría de congruencias de números de Euler 4,5,24,25,27
  • Investigaciones relacionadas con números factoriales centrales 18,19,22
  • Trabajos previos de los autores 1,10,11,12

Evaluación general: Este es un artículo de teoría de números de alta calidad que establece sistemáticamente la teoría de congruencias de números de Lehmer-Euler, con métodos innovadores y resultados abundantes, ejerciendo un importante efecto impulsor en el desarrollo de campos relacionados. Aunque existen algunos problemas sin resolver, proporciona una base sólida para investigaciones posteriores.