On Apostol-Type Mersenne-Bernoulli and Mersenne-Euler Polynomials

技術要約：アポストル型メルセンヌ・ベルヌーイおよびメルセンヌ・オイラー多項式

問題提起と背景
特殊多項式、特に古典的なベルヌーイ多項式およびオイラー多項式は、数論、組合せ論、および数理物理学において基礎となるものである。パラメータ $\lambda$ を組み込んだアポストル・ベルヌーイ多項式やアポストル・オイラー多項式のような重要な一般化は存在するが、フィボナッチ数列（F-微積分、黄金微積分）やパドバン数列に基づく数列ベースの微積分が開発されてきた一方で、メルセンヌ数（$M_n = 2^n - 1$）に拡張する必要性が存在する。メルセンヌ数は、完全数の研究や巨大素数の研究において歴史的に重要な意味を持つ。本論文は、メルセンヌ数に基づく微積分（M-微積分）を導入し、これを用いて新しいクラスの特殊多項式である、次数の $\alpha$ を持つアポストル型メルセンヌ・ベルヌーイおよびメルセンヌ・オイラー多項式を定義することで、文献における空白を埋めるものである。

手法
著者らは、古典的な微積分とは本質的に異なるが、メルセンヌ数と密接に関連した「M-微積分」と呼ばれる数学的枠組みを構築する。その手法は以下の3つの段階で進行する：

1. 基礎的な定義： 本論文は、M-微積分の基本演算子を確立する：

   • M-階乗 ($M_n!$): $M_n! = M_n M_{n-1}!$ として再帰的に定義される。
   • M-二項係数: M-階乗を用いて定義され、古典的な二項係数とは異なる特定の対称性と漸化式を満たす。
   • M-指数関数 ($e_M^{xt}$): M-階乗を用いた冪級数によって定義される。極めて重要な点として、この関数は古典的な意味では乗法的ではなく、代わりに $e_M^{xt} e_M^{yt} = e_M^{(x+_M y)t}$ （ここで $+_M$ は M-二項加算を表す）を満たす。
   • M-微分 ($D_x$): $D_x(f(x)) = \frac{f(2x) - f(x)}{x}$ として定義される。この演算子は単項式に対して $D_x(x^n) = M_n x^{n-1}$ として作用する。
   • M-積分: M-微分の積の法則から導出された特定の積分規則を持つ、M-微分の逆演算として定義される。

2. 多項式の定義： M-微積分の生成関数を用いて、著者は次数の $\alpha$ を持つアポストル・メルセンヌ・ベルヌーイ多項式 $B_n^{(\alpha)}(x; \lambda)$ およびアポストル・メルセンヌ・オイラー多項式 $E_n^{(\alpha)}(x; \lambda)$ を、以下の生成関数を通じて定義する：
   $$\left( \frac{t}{\lambda e_M^t - 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty B_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$
   $$\left( \frac{2}{\lambda e_M^t + 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty E_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$

3. 性質の導出： 著者らは、生成関数を操作し、M-微分を適用し、M-二項定理を利用することで、体系的に性質を導出する。

主な貢献と結果
本論文は、新たに定義された多項式に関する包括的な一連の恒等式と定理を確立している：

• 明示的な表現： 多項式は次数 $n$ の単項式であり、対応するアポストル・メルセンヌ数と、M-二項係数によって重み付けされた $x$ の冪の和として表現できることが示されている。
• 加法定理： 一般化された加法公式が導出され、$P_n(x +_M y)$ を、より低次の多項式と $y$ の冪の積の和に関連付けている。
• 差分方程式： 本論文は、次数 $\alpha$ と $\alpha - 1$ の多項式を結ぶ漸化式を確立している。具体的には、$+_M 1$ によるシフトを含む差分方程式を導出している（例：$\lambda B_n^{(\alpha)}(x +_M 1; \lambda) - B_n^{(\alpha)}(x; \lambda)$）。
• 混合加法公式： アポストル・メルセンヌ・ベルヌーイ多項式とアポストル・メルセンヌ・オイラー多項式を結びつける定理が提示されており、一方のタイプを他方のタイプを用いて表現する混合加法公式を提供している。
• 微分および積分特性：
  • M-微分は、次数を下げる演算子として作用する：$D_x(B_n^{(\alpha)}(x; \lambda)) = M_n B_{n-1}^{(\alpha)}(x; \lambda)$。
  • 区間 $[0, 1]$ におけるこれらの多項式の重み付きM-積分に対する閉形式の表現 $I_{m,n}^{(\alpha)}$ および $J_{m,n}^{(\alpha)}$ が導出された。これらの結果には、メルセンヌ数と基礎となるアポストル・メルセンヌ数の和が含まれる。
• 畳み込み恒等式： 著者らは、アポストル・メルセンヌ数（$x=0$ の場合）に関する特定の畳み込み恒等式を導出し、積の和をそれら自身の線形結合に関連付けている。

意義と主張
本論文は、新しいM-微積分フレームワークを通じて、これらをメルセンヌ数の算術的性質と統合することにより、特殊多項式の理論を拡張することを主張している。その意義は以下の点にある：

1. 一般化： フィボナッチ数列やパドバン数列に関する先行研究と同様に、メルセンヌ数列に基づくアポストル型多項式の統一的な一般化を提供する。
2. 構造的完全性： 本論文は、これらの新しい多項式が、微分、積分、加法、および漸化式の明示的な公式を伴う豊かな代数的構造を備えていることを示している。
3. 今後の方向性： 著者らは、確立された枠組みが他の再帰数列（ペル数、ヤコブスタール数、またはペリン数など）にも適用可能であることを控えめに示唆しており、また、将来的な研究として、これらの多項式の零点や図形的表現の計算的な調査、およびM-対応するゼータ関数との関連性の探求を挙げている。

本研究は実験的な応用を提案するものではなく、特殊関数および数論の理論的景観に寄与するものである。