[論文レビュー] Poly-Cauchy numbers and polynomials with umbral calculus viewpoint

Dae San Kim, Taekyun Kim|arXiv (Cornell University)|Jul 19, 2013

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

ひとこと要約

本稿は、ウムブラル計算を用いて、多項式・多項式・カールツ多項式との関連を確立する新しい恒等式を導出する。特に、スターリング数と母関数を含む係数の公式を通じて、シェッファー列にたいする多項式の線形結合としての表現を提示する。

ABSTRACT

In this paper, we give some interesting identities of poly-Cauchy numbers and polynomials arising from umbral calculus.

研究の動機と目的

• ウムブラル計算の枠組みを用いて、多項式および多項式の構造的性質を調査すること。
• ベルヌーイ多項式やフロベニウス＝オイラー多項式などの古典的多項式列と関連する多項式の明示的恒等式を導出すること。
• スターリング数と母関数を含む係数の公式を通じて、多項式をシェッファー列の線形結合として表現すること。
• ウムブラル計算の技法を用いて、多項式とさまざまなタイプのシェッファー多項式との間の新しい変換公式を確立すること。

提案手法

• 多項式 $ C_n^{(k)}(x) $ をペア $ ig( rac{1}{ ext{Lif}_k(-t)}, e^{-t} - 1 ig) $ に対するシェッファー列とみなして、ウムブラル計算を適用する。
• 転送公式および線形汎関数による係数抽出を用いて、$ C_n^{(k)}(x) $ と他のシェッファー列との間の変換恒等式を導出する。
• 母関数 $ ext{Lif}_k( ext{log}(1+t)) $ および $ rac{t}{(1+t) ext{log}(1+t)} $ を用いて、係数をスターリング数および特別な値に表現する。
• 母関数の合成逆関数 $ ar{f}(t) $ を用いて、ベルヌーイ多項式およびカールツ多項式を含む $ C_n^{(k)}(x) $ の明示的公式を導出する。
• 恒等式 $ rac{1}{g(ar{f}(t))}e^{xar{f}(t)} = \text{母関数} $ を適用し、$ C_n^{(k)}(x) $ をシェッファー多項式の級数として表現する。
• 多項式 $ C_n^{(k)}(x) = \bigsum_{m=0}^n C_{n,m} B_n^{(r)}(x) $ の展開における係数 $ C_{n,m} $ について、スターリング数および $ C_{n-m-l-a}^{(k)} $ の特別な値を含む和を用いた複数の同等な表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 ウムブラル計算を用いて、多項式をベルヌーイ多項式の線形結合としてどのように表現できるか？
• RQ2 多項式 $ C_n^{(k)}(x) $ をフロベニウス＝オイラー多項式 $ H_m^{(r)}(x|\theta) $ で表す際の明示的係数公式は何か？
• RQ3 第1種スターリング数は、多項式を他のシェッファー列に変換する際にどのように現れるか？
• RQ4 多項式 $ C_n^{(k)}(x) $ を上昇階乗多項式 $ x^{(m)} $ で表現した際に現れる恒等式は何か？また、それらは古典的二項係数構造とどのように関係するか？
• RQ5 母関数 $ \frac{t}{(1+t)\text{log}(1+t)} $ を用いて、高次のベルヌーイ数を含む多項式およびベルヌーイ数の新しい恒等式を導出できるか？

主な発見

• 本稿は、定理2.8を導出し、$ C_n^{(k)}(x) $ をベルヌーイ多項式 $ B_n^{(r)}(x) $ の和として表現する。係数にはスターリング数、カールツ多項式 $ \beta_a^{(r)}(-r) $、多項式 $ C_{n-m-l-a}^{(k)} $ が含まれる。
• 定理2.9は、$ C_n^{(k)}(x) $ をフロベニウス＝オイラー多項式 $ H_m^{(r)}(x|\theta) $ に変換する公式を提供する。係数には $ \binom{n}{l+m} $、$ S_1(l+m,m) $、$ C_{n-m-l}^{(k)}(a) $ が含まれ、$ \frac{(-1)^{m+r}}{(1-\theta)^r} $ でスケーリングされる。
• 定理2.10は、$ C_n^{(k)}(x) $ を上昇階乗多項式 $ x^{(m)} $ に関して直接展開する公式を確立する。係数は $ (-1)^m \binom{n}{m} C_{n-m}^{(k)} $ であり、二項型構造を示す。
• 本稿は、母関数 $ \frac{t}{(1+t)\text{log}(1+t)} $ が $ t^a $ の級数として展開可能であり、その $ r $ 乗が多項係数およびベルヌーイ数 $ B_a^{(a)} $ を用いて表現可能であることを示し、さらなる係数導出を可能にする。
• 多項式 $ C_n^{(k)}(x) $ をベルヌーイ多項式 $ B_n^{(r)}(x) $ に展開する際の係数 $ C_{n,m} $ は、$ S_1(l+m,m) $、$ \binom{n}{l+m} $、$ \binom{n-m-l}{a} $、および $ B_a^{(a)} $ の積を含む三重和として導出され、定理2.8で閉形式が得られる。
• 本稿は、$ C_n^{(k)}(x) $ が $ \big( \frac{1}{\text{Lif}_k(-t)}, e^{-t} - 1 \big) $ に対するシェッファー列であることを確認し、転送公式や合成逆関数技法を含むウムブラル計算のツールの適用が可能であることを示している。