[論文レビュー] Some identities of higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus

Taekyun Kim, Dae San Kim+2 more|arXiv (Cornell University)|Feb 21, 2013

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

ひとこと要約

本稿では、ウムブラ記法を用いて、高階のベルヌーイ、オイラー、エルミート多項式に関する新しい恒等式を導出しており、シーファー列および母関数を通じて、これらの多項式族の間の新たな線形関係を確立している。主な貢献は、スターリング数および指数型母関数を含む係数公式を用いて、エルミート多項式を高階のベルヌーイ多項式およびフロベニウス＝オイラー多項式の組み合わせに体系的に変換することにある。

ABSTRACT

In this paper, we study umbral calculus to have alternative ways of obtaining our results. That is, we derive some interesting identities of the higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus to have alternative ways.

研究の動機と目的

• ウムブラ記法の枠組みを用いて、高階のベルヌーイ、オイラー、エルミート多項式に関する新しい恒等式を導出すること。
• エルミート多項式を高階のベルヌーイ多項式およびフロベニウス＝オイラー多項式の表現として再定式化すること。
• スターリング数や母関数といった組合せ的構造を用いて、これらの多項式展開の明示的係数公式を提供すること。
• ウムブラ記法におけるシーファー列形式を用いて、古典的直交多項式の取り扱いを統一すること。

提案手法

• 形式的冪級数を多項式空間上の線形汎関数として扱う、ウムブラ記法の枠組みを用いる。
• 母関数で定義されるシーファー列を適用：$ E_n^{(r)}(x) \tilde{=} \big((e^t+1)/2\big)^r, t $ および $ H_n(x) \tilde{=} e^{t^2/4}, t/2 $。
• 多項式展開における係数を計算するために、逆行列公式 $ C_{n,k} = \frac{1}{k!} \big\< \frac{h(\bar{f}(t))}{g(\bar{f}(t))} l(\bar{f}(t))^k \big| x^n \big> $ を用いる。
• 母関数、指数シフト、単項式への線形汎関数の作用を用いて、係数の表現を導出する。
• 係数を微分を用いて抽出するために、恒等式 $ \left< f(t) | p(x) \right> = \sum_{k} \frac{\left< f(t) | x^k \right>}{k!} p^{(k)}(0) $ を適用する。
• $(e^t - 1)^k$、$(e^t - \lambda)^r$、$e^{-t^2/4}$ などの母関数の操作を用いて、係数をスターリング数およびエルミート数の形で表現する。

実験結果

リサーチクエスチョン

• RQ1 ウムブラ記法を用いて、高階のベルヌーイ多項式をエルミート多項式の線形結合としてどのように表現できるか？
• RQ2 r > n の場合に、エルミート多項式を高階のベルヌーイ多項式に展開する明示的係数公式は何か？
• RQ3 r ≤ n の場合、係数はどのように変化するのか。また、第二種スターリング数はこの領域でどのような役割を果たすか？
• RQ4 フロベニウス＝オイラー多項式を用いてエルミート多項式を表現できるか。その場合の係数構造はどのようなものか？
• RQ5 ウムブラ変換の下で、エルミート、ベルヌーイ、およびフロベニウス＝オイラー多項式の母関数の関数的関係は何か？

主な発見

• r > n ≥ 0 の場合、エルミート多項式 $ H_n(x) $ は $ n! \sum_{k=0}^n \left\{ \sum_{j=0}^k \sum_{l=0}^n \frac{(r-k)! S_2(l+r-k, r-k) (-1)^{k-j} \binom{k}{j} 2^l H_{n-l}(j) }{(l+r-k)! k! (n-l)!} \right\} B_k^{(r)}(x) $ として表現され、スターリング数およびエルミート数を含む。
• n ≥ r の場合、$ H_n(x) $ の展開は二つの部分に分かれる：$ k < r $ の部分はスターリング数を含み、$ k \geq r $ の部分は二項係数およびエルミート数項を含む $ j $ に関する和を含む。
• フロベニウス＝オイラーの場合、$ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \binom{n}{k} 2^k \left[ \sum_{j=0}^r \binom{r}{j} (-\lambda)^{r-j} H_{n-k}(j) \right] H_k^{(r)}(x|\lambda) $ であり、これはフロベニウス＝オイラー多項式への直接的な変換を提供する。
• 別表現として、$ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \left\{ \sum_{j=0}^r \sum_{l=0}^{[\frac{n-k}{2}]} \frac{\binom{n}{k} \binom{r}{j} 2^k (-1)^l (-\lambda)^{r-j} (n-k)! (2j)^{n-k-2l} }{l! (n-k-2l)!} \right\} H_k^{(r)}(x|\lambda) $ が導出され、$ t^{2l} $ を用いて偶数階微分を組み込んでいる。
• 展開 $ H_n(x) = \sum_{k=0}^n C_{n,k} B_k^{(r)}(x) $ の係数 $ C_{n,k} $ は、$ j $ および $ l $ に関する二重和として明示的に計算され、$ r-k $、$ S_2 $、およびエルミート数に依存する。
• 結果として、ウムブラ記法が、関数合成および逆級数技術を用いて、異なる多項式族に跨る恒等式を体系的に導出する統一的かつ体系的な手法を提供することが示された。