[論文レビュー] On Some Explicit Formulas for Bernoulli Numbers and Polynomials

Lazhar Fekih‐Ahmed|arXiv (Cornell University)|Jun 26, 2011

Advanced Mathematical Identities参考文献 10被引用数 4

ひとこと要約

本稿は、ベルヌーイ数の2つのあまり知られていない明示的公式について、初等的な証明を提供する：$ B_k = (-1)^{k+1} \textstyle\sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ および $ B_k = (-1)^{k+1} \textstyle\sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $、ここで $ \Delta_n(k) $ は $ j^k $ の前進差分を表す。この手法は、分数階微分とハリウッド・ゼータ関数を用いて、ベルヌーイ数と多項式を複素指数にまで拡張し、$ B_s = s\zeta(1-s) $ および $ B_s(x) = s\zeta(1-s,x) $ を定義することで、その正則性を一般化する。

ABSTRACT

We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of complex order.

研究の動機と目的

• 文献にあまり登場しない2つのベルヌーイ数の明示的公式に対して、スターリング数や漸化式に依存せずに直接的で初等的な証明を提供すること。
• 分数階微分とハリウッド・ゼータ関数を用いて、ベルヌーイ数と多項式の定義を複素指数にまで拡張すること。
• 分数階微分と積分表現を用いることで、ベルヌーイ数と多項式の複素順序への自然な一般化を確立すること。
• ベルヌーイ数の母関数が分数階微分を用いて再解釈可能であり、これにより新しい恒等式や拡張が得られることを示すこと。

提案手法

• 前進差分 $ \Delta_n(k) = \sum_{j=1}^n (-1)^j \binom{n}{j} j^k $ を用いた第一の公式の導出と、和の代数的変形。
• 分数階微分のラウレンツの線積分定義を応用し、$ B_k $ を $ I^{k-1}[\psi(-t)]_{t=0} $ の形で表現、ここで $ \psi(t) $ は母関数に関連する関数である。
• $ s\zeta(s+1) $ のグローバルに収束する級数と、項別に分数階微分を適用することで第二の公式を導出。
• 複素数 $ s $ に対して有効である $ B_s = s\zeta(1-s) $ および $ B_s(x) = s\zeta(1-s,x) $ を用いて、一般化されたベルヌーイ数 $ B_s $ と多項式 $ B_s(x) $ を定義。
• 母関数 $ \frac{t}{e^t - 1} $ を $ \psi(t) $ を含む積分表現に変換し、分数階微分の評価を可能にする。
• ガンマ関数の関数等式と留数計算を用いて、ゼロにおける分数階微分を評価し、リーマン・ゼータ関数と結びつける。

実験結果

リサーチクエスチョン

• RQ1 2つのベルヌーイ数の明示的公式は、スターリング数や漸化式に依存せずに、初等的手法で証明可能か？
• RQ2 分数階微分を用いて、複素指数におけるベルヌーイ数と多項式を定義する方法は何か？
• RQ3 ベルヌーイ数の文脈において、母関数の分数階微分とハリウッド・ゼータ関数の関係は何か？
• RQ4 関数的性質を保ちながら、ベルヌーイ数と多項式を複素指数に自然に正則関数として拡張できるか？

主な発見

• 第一の公式 $ B_k = (-1)^{k+1} \sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ は、前進差分と和の恒等式を直接用いて証明された。
• 第二の公式 $ B_k = (-1)^{k+1} \sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $ は、 $ s\zeta(s+1) $ のグローバルに収束する級数の項別分数階微分によって導出された。
• 複素順序 $ s $ の一般化ベルヌーイ数は $ B_s = s\zeta(1-s) $ として定義され、古典的定義を正則関数として拡張する。
• 複素順序 $ s $ の一般化ベルヌーイ多項式は $ B_s(x) = s\zeta(1-s,x) $ として定義され、古典的多項式を複素指数に一般化する。
• 関数 $ \psi(t) = \frac{t e^{-t}}{(1 - e^{-t})^2} - \frac{e^{-t}}{1 - e^{-t}} $ の $ t=0 $ における $ -s $ 階微分は $ (s-1)\zeta(s) $ を与え、ゼータ関数と分数階微分を結びつける。
• この手法により、ゼータ関数の解析接続を用いることで、複素順序の一般化ベルヌーイ数と多項式を自然に定義するフレームワークが得られた。