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.
論文ID : 2501.01178タイトル : Congruence properties of Lehmer-Euler numbers著者 : 小松孝雄（長崎大学）、Guo-Dong Liu（惠州大学）分類 : math.NT（数論）、math.CO（組合論）発表日 : 2025年1月2日（arXiv プレプリント）論文リンク : https://arxiv.org/abs/2501.01178 本論文は、1935年にLehmerが定義した一般化Euler数の合同性質を研究している。Lehmerは3次単位根を用いてこれらの数を定義し、Bernoulli数およびEuler数の自然な推広として位置付けた。本論文は、これらの数の合同性質、漸化式および明示公式を与え、新しい多項式列およびその性質を示し、Euler数と中心階乗数を含む恒等式を得た。
歴史的背景 ：1935年、D.H. Lehmerは一般化Euler数 W n W_n W n ∑ n = 0 ∞ W n t n n ! = 3 e t + e ω t + e ω 2 t = ( ∑ l = 0 ∞ t 3 l ( 3 l ) ! ) − 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} ∑ n = 0 ∞ n ! W n t n = e t + e ω t + e ω 2 t 3 = ( ∑ l = 0 ∞ ( 3 l )! t 3 l ) − 1 ω = − 1 + − 3 2 \omega = \frac{-1+\sqrt{-3}}{2} ω = 2 − 1 + − 3 ω 2 = − 1 − − 3 2 \omega^2 = \frac{-1-\sqrt{-3}}{2} ω 2 = 2 − 1 − − 3 古典的Euler数との関係 ：これらの数は古典的Euler数の類似物と見なすことができ、古典的Euler数は以下のように定義される：
∑ n = 0 ∞ E n t n n ! = 2 e t + e − t = 1 cosh t \sum_{n=0}^{\infty} \frac{E_n t^n}{n!} = \frac{2}{e^t + e^{-t}} = \frac{1}{\cosh t} ∑ n = 0 ∞ n ! E n t n = e t + e − t 2 = c o s h t 1 研究価値 ：Lehmer-Euler数は重要な組合論的および数論的性質を有し、3 ∤ n 3 \nmid n 3 ∤ n W n = 0 W_n = 0 W n = 0 ( − 1 ) n W 3 n > 0 (-1)^n W_{3n} > 0 ( − 1 ) n W 3 n > 0 合同性質の重要性 ：Euler数の2を法とする幂に関するSternの古典的結果に類似して、Lehmer-Euler数の合同性質を研究することは重要な数論的意義を有する理論の完成 ：Lehmer-Euler数に関する若干の研究は存在するが、その合同性質はまだ体系的に研究されていない方法の推広 ：これらの一般化数列の性質を研究することにより、他の類似の数列に対する研究方法を提供できるLehmer-Euler数の基本的合同性質の確立 ：W 3 n ≡ ( − 1 ) n ( m o d 9 ) W_{3n} \equiv (-1)^n \pmod{9} W 3 n ≡ ( − 1 ) n ( mod 9 ) 3の幂を法とした精密な合同関係の提供 ：3 k 3^k 3 k 不完全Lehmer-Euler数の導入 ：2種類の不完全形式のLehmer-Euler数を定義し研究した高階情形への推広 ：α \alpha α 新しい多項式列の確立 ：多項式列 Δ ( x , k ) \Delta(x,k) Δ ( x , k ) 複数の新しい組合恒等式の導出 ：Euler数と中心階乗数を含む恒等式を得た定理1 はLehmer-Euler数の3つの基本的表現を与える：
漸化公式 ：W 0 = 1 W_0 = 1 W 0 = 1 n ≥ 1 n \geq 1 n ≥ 1 W 3 n = − ∑ k = 0 n − 1 ( 3 n 3 k ) W 3 k W_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k} W 3 n = − ∑ k = 0 n − 1 ( 3 k 3 n ) W 3 k 明示公式 ：n ≥ 1 n \geq 1 n ≥ 1 W 3 n = ( 3 n ) ! ∑ k = 1 n ( − 1 ) k ∑ i 1 + ⋯ + i k = n i 1 , … , i k ≥ 1 1 ( 3 i 1 ) ! ⋯ ( 3 i k ) ! 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)!} W 3 n = ( 3 n )! ∑ k = 1 n ( − 1 ) k ∑ i 1 + ⋯ + i k = n i 1 , … , i k ≥ 1 ( 3 i 1 )! ⋯ ( 3 i k )! 1 行列式表現 ：n × n n \times n n × n W 3 n W_{3n} W 3 n 核心技術 ：Lucas定理と3次単位根の性質の結合
定理3 ：任意の非負整数 n n n W 3 n ∈ Z かつ W 3 n ≡ ( − 1 ) n ( m o d 9 ) W_{3n} \in \mathbb{Z} \text{ かつ } W_{3n} \equiv (-1)^n \pmod{9} W 3 n ∈ Z かつ W 3 n ≡ ( − 1 ) n ( mod 9 )
証明の概要 ：
漸化関係を利用して W 3 n W_{3n} W 3 n 恒等式 ∑ k = 0 n ( 3 n 3 k ) x 3 k = 1 3 ∑ j = 0 2 ( 1 + ω j x ) 3 n \sum_{k=0}^n \binom{3n}{3k} x^{3k} = \frac{1}{3} \sum_{j=0}^2 (1+\omega^j x)^{3n} ∑ k = 0 n ( 3 k 3 n ) x 3 k = 3 1 ∑ j = 0 2 ( 1 + ω j x ) 3 n 帰納法を通じて合同関係を確立する 定理4 はLucas定理を用いて、3 3 = 27 3^3 = 27 3 3 = 27
n ≥ 0 n \geq 0 n ≥ 0
W 9 n ≡ ( − 1 ) n ( m o d 27 ) W_{9n} \equiv (-1)^n \pmod{27} W 9 n ≡ ( − 1 ) n ( mod 27 ) W 9 n + 3 ≡ ( − 1 ) n − 1 ( m o d 27 ) W_{9n+3} \equiv (-1)^{n-1} \pmod{27} W 9 n + 3 ≡ ( − 1 ) n − 1 ( mod 27 ) W 9 n + 6 ≡ ( − 1 ) n − 1 ⋅ 8 ( m o d 27 ) W_{9n+6} \equiv (-1)^{n-1} \cdot 8 \pmod{27} W 9 n + 6 ≡ ( − 1 ) n − 1 ⋅ 8 ( mod 27 ) m ≥ 1 m \geq 1 m ≥ 1
切断型 W n , ≤ m W_{n,\leq m} W n , ≤ m ∑ n = 0 ∞ W n , ≤ m t n n ! = 1 1 + ∑ l = 1 m t 3 l ( 3 l ) ! \sum_{n=0}^{\infty} \frac{W_{n,\leq m} t^n}{n!} = \frac{1}{1 + \sum_{l=1}^m \frac{t^{3l}}{(3l)!}} ∑ n = 0 ∞ n ! W n , ≤ m t n = 1 + ∑ l = 1 m ( 3 l )! t 3 l 1 尾部型 W n , ≥ m W_{n,\geq m} W n , ≥ m ∑ n = 0 ∞ W n , ≥ m t n n ! = 1 1 + ∑ l = m ∞ t 3 l ( 3 l ) ! \sum_{n=0}^{\infty} \frac{W_{n,\geq m} t^n}{n!} = \frac{1}{1 + \sum_{l=m}^{\infty} \frac{t^{3l}}{(3l)!}} ∑ n = 0 ∞ n ! W n , ≥ m t n = 1 + ∑ l = m ∞ ( 3 l )! t 3 l 1 命題3 は不完全Lehmer-Euler数の漸化公式、明示公式および行列式表現を与え、これらの公式は元の場合の自然な推広である。
正整数 r r r α \alpha α α \alpha α W r , n ( α ) W_{r,n}^{(\alpha)} W r , n ( α )
∑ n = 0 ∞ W r , n ( α ) t n n ! = ( r ∑ j = 0 r − 1 e ζ j t ) α = ( ∑ l = 0 ∞ t r l ( r l ) ! ) − α \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} ∑ n = 0 ∞ n ! W r , n ( α ) t n = ( ∑ j = 0 r − 1 e ζ j t r ) α = ( ∑ l = 0 ∞ ( r l )! t r l ) − α
ここで ζ = ζ r \zeta = \zeta_r ζ = ζ r r r r
二項定理と生成関数技術を通じて、高階情形の明示的表現を得た。r = 2 r=2 r = 2
多項式列 Δ ( x , k ) \Delta(x,k) Δ ( x , k ) Δ ( x , k + 1 ) = ( x + 1 ) ( 2 x + 1 ) Δ ( x + 1 , k ) − x 2 Δ ( x , k ) \Delta(x,k+1) = (x+1)(2x+1)\Delta(x+1,k) - x^2\Delta(x,k) Δ ( x , k + 1 ) = ( x + 1 ) ( 2 x + 1 ) Δ ( x + 1 , k ) − x 2 Δ ( x , k ) Δ ( x , 0 ) = 1 \Delta(x,0) = 1 Δ ( x , 0 ) = 1
定理5 ：非負整数 n n n k k k E 2 n + 2 k = ∑ j = 0 n ( − 1 ) j − k ( 2 j ) ! Δ ( j , k ) 2 j T ( 2 n , 2 j ) E_{2n+2k} = \sum_{j=0}^n \frac{(-1)^{j-k}(2j)!\Delta(j,k)}{2^j} T(2n,2j) E 2 n + 2 k = ∑ j = 0 n 2 j ( − 1 ) j − k ( 2 j )! Δ ( j , k ) T ( 2 n , 2 j )
定理6 ：非負整数 n n n ∑ j = 0 n ( − 4 ) n − j t ( 2 n + 1 , 2 j + 1 ) Δ ( x , j ) = ( x + 1 ) ( x + 2 ) ⋯ ( x + 2 n ) \sum_{j=0}^n (-4)^{n-j} t(2n+1,2j+1)\Delta(x,j) = (x+1)(x+2)\cdots(x+2n) ∑ j = 0 n ( − 4 ) n − j t ( 2 n + 1 , 2 j + 1 ) Δ ( x , j ) = ( x + 1 ) ( x + 2 ) ⋯ ( x + 2 n )
ここで T ( n , k ) T(n,k) T ( n , k ) t ( n , k ) t(n,k) t ( n , k )
命題2 はLehmer-Euler数の3の各次幂を法とした周期性を与える：
{ W 3 n m o d 3 2 } \{W_{3n} \bmod 3^2\} { W 3 n mod 3 2 } 1 , 8 , 1 1,8,1 1 , 8 , 1 { W 3 n m o d 3 3 } \{W_{3n} \bmod 3^3\} { W 3 n mod 3 3 } { W 3 n m o d 3 4 } \{W_{3n} \bmod 3^4\} { W 3 n mod 3 4 } { W 3 n m o d 3 5 } \{W_{3n} \bmod 3^5\} { W 3 n mod 3 5 } 論文は最初のいくつかのLehmer-Euler数の具体的な値を与える：
1 , 1 , 19 , 1513 , 315523 , 136085041 , 105261234643 , … 1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots 1 , 1 , 19 , 1513 , 315523 , 136085041 , 105261234643 , …
これらの値が確立された合同関係を満たすことを検証した。
Lehmer (1935) ：一般化Euler数を初めて定義したStern (1875)、Frobenius (1910) ：古典的Euler数の合同性質を確立したErnvall (1979)、Wagstaff (2000)、Sun (2005) ：Euler数の合同理論をさらに発展させた初の体系的研究 ：Lehmer-Euler数の合同性質は以前体系的に研究されていない方法の革新性 ：Lucas定理と3次単位根の性質を巧妙に結合した結果の推広 ：2次情形から3次情形への推広であり、方法は一般性を有するLehmer-Euler数の完全な合同理論の枠組みを確立した これらの数が明確な周期的合同性質を有することを証明した 不完全および高階情形への推広を行った 中心階乗数との深い関連性を確立した 周期性予想 ：k ≥ 6 k \geq 6 k ≥ 6 一般的予想 ：予想1に関する W 3 n ≡ W 3 m ( m o d 3 k + 1 ) W_{3n} \equiv W_{3m} \pmod{3^{k+1}} W 3 n ≡ W 3 m ( mod 3 k + 1 ) 3 n ≡ 3 m ( m o d 2 ⋅ 3 k ) 3n \equiv 3m \pmod{2 \cdot 3^k} 3 n ≡ 3 m ( mod 2 ⋅ 3 k ) 計算の複雑性 ：大きな法に対して、計算は複雑になる理論の完成 ：提起された予想を証明または反証するより一般的情形への推広 ：p p p 応用の拡張 ：他の数論問題への応用を探索する理論的価値 ：Lehmer-Euler数の合同理論の空白を埋め、重要な数論的意義を有する方法の革新性 ：Lucas定理と単位根の性質を巧妙に運用し、方法は一般性と推広可能性を有する結果の完全性 ：基本性質から高階推広まで、完全な理論体系を形成している計算による検証 ：具体的な数値例を与え、結果の信頼性を高めた部分的な結果の不完全性 ：若干の予想はまだ完全には証明されていない応用の限定性 ：主に理論的結果であり、実際的応用価値はさらなる開拓を要する表現の複雑性 ：部分的な証明過程は比較的冗長であり、可読性の向上が必要である学術的価値 ：数論と組合論に新しい研究対象と方法を提供する理論的貢献 ：特殊数列の合同理論を豊かにする方法の推広 ：類似問題の研究に対する範式を提供する数論研究 ：特殊数列の合同性質研究組合数学 ：生成関数と特殊多項式の研究計算数学 ：高精度数値計算の検証論文は27篇の関連文献を引用しており、主に以下を含む：
Lehmerの原始的研究 13 Euler数合同理論の古典的文献 4,5,24,25,27 中心階乗数の関連研究 18,19,22 著者の先行研究 1,10,11,12 総合評価 ：これは高品質な数論論文であり、Lehmer-Euler数の合同理論を体系的に確立し、方法が革新的で、結果が豊富であり、関連分野の発展に重要な推進作用を有する。若干の未解決問題が存在するが、後続研究のための堅実な基礎を築いている。
