A New Expression for the Bernoulli Numbers and its Applications

技術要約：ベルヌーイ数に関する新しい表現とその応用

問題提起
本論文は、第1種および第2種スターリング数と調和数を含む有限の離散畳み込みに関する閉形式の表現を見出すという問題に取り組んでいる。ベルヌーイ数（$B_n$）の明示的な公式（例えば、ヴォルツェルキーの恒等式やその一般化）は確立されているが、著者らは以下の特定の和を調査している：
$$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k$$
ここで、$\left\{ \begin{matrix} n \\ k \end{matrix} \right\}$ および $\left[ \begin{matrix} k \\ j \end{matrix} \right]$ はそれぞれ第2種および第1種スターリング数を表し、$H_k$ は第$k$調和数である。MezőやMercaによる、スターリング数を含む恒等式をベルヌーイ多項式へと拡張した先行研究や、調和数を含む特定のケースを導入した最近の論文に対し、本研究はこれらの知見を統一された公式へと一般化することを目指している。

手法
著者らは、母関数、漸化式、および組合せ論的恒等式の組み合わせを用いている。

1. 組合せ論的導出: 主定理の証明は、第1種および第2種スターリング数の標準的な漸化関係に基づいている。この和を $B_{n,j}$ と定義し、これらの漸化式を適用することで、著者らは $B_{n+1,j}$ を $B_{n,j-1}$ および二項係数とベルヌーイ数を含む項に関連付ける簡約公式を導出している。
2. 母関数: 応用を確立するために、著者らはスターリング数、調和数、およびポリ・ベルヌーイ多項式の母関数を利用している。具体的には、スターリング数の第2種の母関数を操作して、$H_k$ を含む和を評価している。
3. 微分および積分: 累積和公式の導出には、主恒等式を変数 $x$ で微分すること、および特定の形式を積分して、和をポリ・ベルヌーイ多項式やコーシー数に関連付ける手法を用いている。
4. モジュロ演算: 合同式の結果は、導出された公式に奇素数 $p$ を代入し、スターリング数に関する既知の定理（例：$1 < k < p$ における $\left\{ \begin{matrix} p \\ k \end{matrix} \right\} \equiv 0 \pmod p$）、バベッジの定理、およびフォン・シュタット・クラウスの定理を適用することで得られている。

主要な貢献と結果

• 主定理 (Theorem 1): 本論文は、上述の畳み込みに関する新しい明示的な公式を確立している：
  $$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k = \left( \binom{n}{j} - 1 \right) \frac{B_{n-j}}{n-j}$$
  整数 $0 \le j \le n$ に対して。著者らは、$j=1$ および $j=2$ の場合、これは $B_{n-1}$ および $B_{n-2}$ を含む既知の恒等式を回収することを注記している。

• 漸化式:

  • 著者らは、Agohによって以前に与えられたベルヌーイ数の線形漸化式を再証明している。
  • 新しい漸化式が導出されている：
    $$\sum_{j=1}^{n} \left( \binom{n}{j} + 1 \right) \frac{B_j}{j} (1 - 2^j) = 1$$

• 累積和公式: ベルヌーイ数の累積和に関する閉じた公式が、ディ・ベルヌーイ数（$B_n^{(2)}$）および $x=1$ で評価されたディ・ベルヌーイ多項式との関連付けとともに提示されている：
  $$\sum_{j=0}^{n} B_j = B_n^{(2)}(1) + B_n - B_n^{(2)} - 1$$

• 合同式: 本論文は、奇素数 $p$ およびその平方に対する、ベルヌーイ数およびオイラー数の和に関するいくつかの合同式を確立している：

  • $\sum_{j=0}^{p} p B_j \equiv -1 \pmod p$
  • $\sum_{j=0}^{p-3} B_j \equiv -1 \pmod p$ （$p \ge 5$ の場合）
  • $\sum_{j=0}^{p} E_j \equiv \frac{3}{2} \pmod p$
  • $\sum_{j=0}^{p} \frac{p B_j}{p-j+1} \equiv -1 \pmod p$

意義と主張
本論文の主要な意義は、スターリング数と調和数を含む単一の一般的な式（定理1）へと、既知の様々な恒等式を統一することにあると著者らは主張している。著者らは、この式が以下の強力なツールとして機能すると述べている：

1. 異なる方法論的観点を通じて既存の結果（Agohの漸化式など）を再証明すること。
2. これまでこの特定の形式では利用できなかった、新しい漸化式や累積和の閉じた公式を導出すること。
3. ベルヌーイ数およびオイラー数の和の合同式を確立するための体系的なアプローチを提供し、それらのモジュロ特性に関する理解を広げること。

本研究は、提示された直接的な数学的導出を超えた、実験的な応用や将来的な理論的方向性を提案するものではない。その貢献は、ベルヌーイ数、オイラー数、および関連する特殊数（special numbers）の性質に焦点を当てた、数論および組合せ論の領域に厳密に限定されている。