[論文レビュー] Complete Bell polynomials and new generalized identities for polynomials of higher order

Boris Rubinstein|ArXiv.org|Nov 16, 2009

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

ひとこと要約

本稿では、完全なベル多項式を用いて高次ベルヌーイ多項式およびオイラー多項式の新しい恒等式を確立し、深い代数的関係を明らかにした。主な貢献は、累乗和およびベルヌーイ数を介してベル多項式とこれらの特別な多項式を結ぶ一般恒等式であり、これにより新しい漸化式および高次の場合の一般化オイラー恒等式が得られた。

ABSTRACT

The relations between the Bernoulli and Eulerian polynomials of higher order and the complete Bell polynomials are found that lead to new identities for the Bernoulli and Eulerian polynomials and numbers of higher order. General form of these identities is considered and generating function for polynomials satisfying this general identity is found.

研究の動機と目的

• 高次ベルヌーイ多項式およびオイラー多項式と完全ベル多項式との間の体系的関係を確立すること。
• 完全ベル多項式の構造を用いて、高次ベルヌーイ多項式およびオイラー多項式の新しい漸化式恒等式を導出すること。
• パラメータ化された生成関数を用いて、既知のオイラーおよびベルヌーイ恒等式を高次の場合に一般化すること。
• 一般化ベル型恒等式を満たす多項式の生成関数を統一的枠組みで提供すること。
• 古典的恒等式（例：ノーリングの恒等式）をより広範な代数的文脈で回復および拡張すること。

提案手法

• 累乗和およびベルヌーイ数を含む指数的生成関数を用いて、高次ベルヌーイ多項式およびオイラー多項式の生成関数を表現すること。
• 対数的生成関数のテイラー展開を用い、モーメントおよびコピュラントを介して係数を完全ベル多項式と関連付けること。
• 高次多項式がベルヌーイ数および累乗和を係数に含む完全ベル多項式として表現される一般恒等式を導出すること。
• 完全ベル多項式の生成関数を応用して、高次多項式の漸化式を導出すること。
• 累乗和の表現を代入し、二項係数を用いて簡略化することで、一般恒等式を明示的な漸化式に変換すること。
• 完全ベル多項式表現と既知のベルヌーイ数および多項式に関する恒等式を組み合わせることで、新しい恒等式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 高次ベルヌーイ多項式およびオイラー多項式をどのようにして完全ベル多項式と体系的に関連付けることができるか？
• RQ2 これらの多項式を完全ベル多項式として表現することによって、どのような一般化された漸化式恒等式が導かれるか？
• RQ3 この枠組みを用いて、ベルヌーイ数の古典的オイラー恒等式を高次ベルヌーイ多項式に拡張できるか？
• RQ4 本研究で導出された一般化ベル型恒等式を満たす多項式の生成関数は何か？
• RQ5 新しい恒等式は、既知の結果（例：高次ベルヌーイ多項式に対するノーリングの恒等式）をどのように回復または一般化するか？

主な発見

• 高次ベルヌーイ多項式 $ B^{(m)}_n(s|\boldsymbol{d}) $ は、正確に完全ベル多項式 $ \boldsymbol{B}_n(s + a_1, a_2, \bar{a}) $ に等しい。ここで $ a_i = (-1)^{i-1} B_i \tau_i / i $ かつ $ \tau_k = \text{tr}(\boldsymbol{d}^k) $ である。
• 一般化恒等式が導出された：$ B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \binom{n}{k} B_k \tau_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $。特殊化により既知の恒等式に帰着する。
• 恒等式 $ \tau_1 B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \tau_k B_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $ は、高次ベルヌーイ多項式の新しい漸化式を導く。
• 新しい恒等式が確立された：$ \tau_1 B^{(m)}_n(s|\boldsymbol{d}) = (s - \tau_1) B^{(m)}_{n-1}(s|\boldsymbol{d}) - \frac{1}{n} \tau_k B_k B^{(m)}_{n-k}(s|\boldsymbol{d}) $。これは古典的オイラー恒等式を一般化する。
• $ \boldsymbol{d} = \boldsymbol{1} $ の場合、恒等式はノーリングの既知の結果に帰着する：$ m B^{(m+1)}_n(s|\boldsymbol{1}) = (m - n) B^{(m)}_n(s|\boldsymbol{1}) + n(s - m) B^{(m)}_{n-1}(s|\boldsymbol{1}) $。
• $ m = n $ の場合、恒等式は $ B^{(m+1)}_m(s|\boldsymbol{1}) = (s - m) B^{(m)}_{m-1}(s|\boldsymbol{1}) = \tau_{m-1} $ を導き、ベルヌーイ多項式の既知の積恒等式（$ m = n $ 時）を確認する。