On Mersenne-Bernoulli and Mersenne-Euler polynomials

技術要約：メルセンヌ・ベルヌーイおよびメルセンヌ・オイラー多項式について

問題提起と動機
特殊多項式、特にベルヌーイ多項式やオイラー多項式は、その構造化された漸化式と母関数により、組合せ論、数論、および数学的解析において基礎的なツールとなっている。近年の文献では、「退化型」、「確率論的」、あるいは「ハイブリッド型」のこれらの多項式の探索が急増している。これらの進展と、巨大素数の探索におけるメルセンヌ数（$M_n = 2^n - 1$）の重要性に着想を得て、本研究では新しいクラスの多項式、すなわちメルセンヌ・ベルヌーイ多項式およびメルセンヌ・オイラー多項式を導入する。本研究の目的は、これらの基本的な性質を確立し、関連する恒等式を導出し、これらの多項式によって形成される行列構造を調査することである。

手法
著者らは、古典的な微積分概念をメルセンヌ数の列に適応させた**M-解析学（M-calculus）**に基づく枠組みを採用している。主な手法的構成要素は以下の通りである：

1. M-定義： 本研究では、M-階乗（$M_n!$）、M-二項係数（$\binom{n}{k}_M$）、およびM-指数関数（$e_M^{xt}$）を定義する。これらの定義は、メルセンヌ数の再帰的性質（$M_{n+1} = 2M_n + 1$）に依拠している。
2. 母関数： メルセンヌ・ベルヌーイ多項式（$B_{n,M}(x)$）およびメルセンヌ・オイラー多項式（$E_{n,M}(x)$）は、古典的な定義と同様に、M-指数関数を用いて指数型母関数を通じて定義される：
   • $\frac{t e_M^{xt}}{e_M^t - 1} = \sum_{n=0}^{\infty} B_{n,M}(x) \frac{t^n}{M_n!}$
   • $\frac{2 e_M^{xt}}{e_M^t + 1} = \sum_{n=0}^{\infty} E_{n,M}(x) \frac{t^n}{M_n!}$
3. M-微分およびM-積分： 特定の演算子であるメルセンヌ微分（$D_t$）を、$t \neq 0$ において $D_t(f(t)) = \frac{f(2t) - f(t)}{t}$ と定義する。この演算子は、積の法則や線形性など、従来の微分と同様の性質を満たす。これに対応して、メルセンヌ積分はこの演算子に関する反積分として定義される。
4. 行列分解： 著者らは、これらの多項式からなる $n$ 次の正方行列を構築し、代数的な分解を利用してその逆行列を決定する。

主要な貢献と結果

• 基本恒等式： 本論文では、以下の核となる恒等式を導出している：

  • 二項型展開： $B_{n,M}(x +_M y) = \sum_{k=0}^n \binom{n}{k}_M B_{k,M}(x) y^{n-k}$
  • 差分方程式： $B_{n,M}(x +_M 1) - B_{n,M}(x) = M_n x^{n-1}$ および $E_{n,M}(x +_M 1) + E_{n,M}(x) = 2x^n$
  • 明示的な公式： $B_{n,M}(x)$ および $E_{n,M}(x)$ を、メルセンヌ・ベルヌーイ／オイラー数（$B_{k,M}, E_{k,M}$）と $x$ の冪（べき）を用いた式として表現したもの。
  • 漸化関係： $x=0$ と置くことで導かれる $B_{n,M}$ および $E_{n,M}$ の再帰的公式。

• 畳み込みおよび演算子関係：

  • 本研究は、両方の多項式クラス間の関係、例えば $E_{n-1,M}(x) = -\frac{2}{M_n} \sum_{k=1}^n \binom{n}{k}_M E_{k,M} B_{n-k,M}(x)$ を確立している。
  • メルセンヌ微分を用いることで、著者らは $D_x(B_{n,M}(x)) = M_n B_{n-1,M}(x)$ および $D_x(E_{n,M}(x)) = M_n E_{n-1,M}(x)$ であることを証明している。
  • $D_t$ 演算子を用いた、これらの数の積に関する畳み込み恒等式が導出されている。

• メルセンヌ積分： 本論文では、定積分 $\int_0^1 x^n B_{m,M}(x) dM(x)$ および $\int_0^1 x^n E_{m,M}(x) dM(x)$ を計算し、メルセンヌ二項係数を含む明示的な総和公式を提供している。

• 行列理論：

  • メルセンヌ・パスカル行列 $M_n(x)$ が定義され、その逆行列は既存の文献から引用されている。
  • メルセンヌ・ベルヌーイ行列 $B_n(x)$ および メルセンヌ・オイラー行列 $E_n(x)$ が導入されている。
  • 逆行列公式： 本論文は、これらの行列の明示的な逆行列を提供している：
    • $B_n^{-1} = Q_n$ （ここで $Q_n$ はメルセンヌ二項係数とメルセンヌ数の逆数を含む行列である）
    • $E_n^{-1} = \frac{1}{2}(M_n + I_n)$ （ここで $I_n$ は単位行列である）
  • 積公式： 行列は $B_n(x +_M y) = B_n(x) M_n(y)$ といった積の関係を満たし、多項式行列の分解を可能にしている。

意義と主張
本論文は、これらをメルセンヌ数と結びつけることで、特殊多項式の理論を拡張することを主張しており、数論および組合せ論における新しい研究の道筋を提供している。著者らは、自らの研究を、これらの新しい多項式の基礎的な性質を確立する体系的な調査として位置づけている。

今後の方向性に関して、本論文は、これらの多項式の確率論的解釈が重要な研究領域であることを控えめに示唆している。具体的には、著者らは、退化型ベルおよびダウリング多項式に見られるものと同様の、新しい漸化関係（Spivey型の漸化式など）を導き出す可能性のある、これらの多項式に対応する確率変数の構築を提案している。本論文は、物理学や工学への即時的な応用を主張するものではなく、純粋数学における構造的および代数的な性質に焦点を当てている。