[論文レビュー] A probabilistic interpretation of the Volkenborn integral

Ashwani K. Bhandari, Christophe Vignat|arXiv (Cornell University)|Jan 18, 2012

Advanced Mathematical Identities参考文献 3被引用数 3

ひとこと要約

本稿は、ロジスティック分布および双曲正割分布に従う確率変数を用いた期待値との関連を通じて、ボルケンボルン積分の確率的解釈を提供し、ベルヌーイ多項式およびオイラー多項式の恒等式の新たな導出を可能にする。主たる貢献は、これらの確率的表現を用いたラーベの乗法定理の多次元拡張である。

ABSTRACT

In this paper, we provide a probabilistic interpretation of the Volkenborn integral; this allows us to extend results by T. Kim et al about sums of Euler numbers to sums of Bernoulli numbers. We also obtain a probabilistic representation of the multidimensional Volkenborn integral which allows us to derive a multivariate version of Raabe's multiplication theorem for the higher-order Bernoulli and Euler polynomials.

研究の動機と目的

• 特別な連続および離散確率変数を用いたボルケンボルン積分の確率的枠組みの確立。
• この確率的解釈を用いて、既知のオイラー数の恒等式をベルヌーイ数へ拡張すること。
• 高階ベルヌーイおよびオイラー多項式に対するラーベの乗法定理の多次元版の導出。
• 乗法パラメータ m が偶数および奇数の場合の差異を、符号付き測度およびキャンセレーション性質を用いて取り扱うこと。
• キムらのベルンシュタイン多項式に関する結果を、ボルケンボルン積分の文脈でベータ多項式へ統一的かつ一般化すること。

提案手法

• q=0 のボルケンボルン積分を、LB が密度 (π/2)sech²(πx) のロジスティック分布に従うときの E[f(x + iLB - 1/2)] として表現する。
• q=1 のボルケンボルン積分を、LE が密度 sech(πx) の双曲正割分布に従うときの E[f(x + iLE - 1/2)] として表現する。
• キャンセレーション性質の利用：UB ~ Uniform[0,1] が LB と独立のとき、E[(x + iLB - 1/2 + UB)^n] = x^n が成り立つ。
• ラデマッハ変数 UE に対しても同様の原理を適用：E[(x + iLE - 1/2 + UE)^n] = x^n が成り立つ。
• 独立な確率変数のコピーを導入し、符号付き測度を用いてオイラーの場合の多次元恒等式を導出する。
• 独立な一様およびラデマッハ変数の和は、元の変数のスケーリング版と一致するように再重み付け可能であり、これにより確率的項のキャンセレーションが可能になる。

実験結果

リサーチクエスチョン

• RQ1 ボルケンボルン積分は、既知の確率分布を用いてどのように確率的に解釈できるか？
• RQ2 ボルケンボルン積分の確率的表現を用いて、ベルヌーイ数および多項式の新たな恒等式を導出可能か？
• RQ3 ベルヌーイおよびオイラー多項式に対するラーベの乗法定理の多次元一般化は何か？
• RQ4 乗法パラメータ m が偶数か奇数かによって、結果にどのような差が生じるか？
• RQ5 一様およびラデマッハ変数のキャンセレーション性質を用いて、多次元ボルケンボルン積分を簡略化可能か？

主な発見

• f(x) の q=0 ボルケンボルン積分は、密度 (π/2)sech²(πx) のロジスティック分布に従う LB を用いて E[f(x + iLB - 1/2)] に等しい。
• f(x) の q=1 ボルケンボルン積分は、密度 sech(πx) の双曲正割分布に従う LE を用いて E[f(x + iLE - 1/2)] に等しい。
• n 番目のベルヌーイ数は B_n = E[(iLB - 1/2)^n] を満たし、n 番目のオイラー数は E_n = E[(iLE - 1/2)^n] を満たす。
• 多次元の場合、ベルヌーイ多項式のラーベ恒等式は m^{-n} E[(mx + m∑a_i(iLB^{(i)} - 1/2) + ∑a_i(iL̃B^{(i)} - 1/2) + m∑a_i U_B^{(i)})^n] = B_n^{(k)}(mx|a) として導出される。
• 奇数 m のオイラー多項式に関して、恒等式 ∑_{l_i=0}^{m-1} (-1)^{∑l_i} E_n(x + (1/m)∑a_i l_i | a) = m^{-n} E[(mx + m∑a_i(iLE^{(i)} - 1/2) + ∑a_i(iL̃E^{(i)} - 1/2) + m∑a_i U_E^{(i)})^n] が成り立つ。
• 偶数 m の場合、{0,…,m-1} 上に重み (−1)^l を持つ符号付き測度を導入し、期待値の差分としての恒等式が得られる。この差分は微分に類似した項に還元され、E_n^{(k)}(mx) が定数倍で得られる。