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$），定义为 $D_t(f(t)) = \frac{f(2t) - f(t)}{t}$（对于 $t \neq 0$）。该算子满足类似于常规导数的性质，如乘积法则和线性性质。相应地，梅森积分被定义为该算子的反导数。
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 型）。本文并不声称在物理或工程领域有直接应用，而是侧重于纯数学中的结构与代数性质。