[論文レビュー] Higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials

Dae San Kim, Taekyun Kim|arXiv (Cornell University)|Aug 9, 2013

Advanced Mathematical Identities参考文献 12被引用数 24

ひとこと要約

本稿では、ウムブラ記法を用いて、第1種の高階コーシーおよび多コーシーの混合型多項式を導入する。スターリング数、ベルヌーイ多項式、フロベニウス＝アウラー多項式、下降階乗の関係を含む明示的恒等式および変換公式を導出し、母関数および線形汎関数技法を用いて新たな関係を確立する。

ABSTRACT

In this paper, we study higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials with viewpoint of umbral calculus and give some interesting identities and formulae of those polynomials which are derived from umbral calculus.

研究の動機と目的

• ウムブラ記法を用いて、第1種の高階コーシーおよび多コーシーの混合型多項式を定義・研究すること。
• これらの混合型多項式の明示的母関数および作用素的恒等式を導出すること。
• これらの混合多項式をベルヌーイ多項式、フロベニウス＝アウラー多項式、および下降階乗多項式の形で表す変換公式を確立すること。
• シェッファー列および線形汎関数を用いて、構造的性質および再帰的関係を調査すること。
• 混合順序フレームワークを導入することで、コーシー数および多コーシー数に関する既知の結果を一般化すること。

提案手法

• 母関数 $ \left(\frac{t}{\log(1+t)}\right)^r \frac{Lif_k(\log(1+t))}{(1+t)^x} $ を用いて、混合型多項式 $ A_n^{(r,k)}(x) $ をウムブラ記法で定義する。
• $ A_n^{(r,k)}(x) $ がペア $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $ のシェッファー列であることを特定し、シェッファー記法のツールを用いることができる。
• 転送公式および線形汎関数記法を用いて、第1種スターリング数を含む変換恒等式を導出する。
• 形式的べき級数における内積操作、特に $ \langle f(t) | x^n \rangle $ および $ \langle t^k | p(x) \rangle $ を用いて、明示的な係数 $ C_{n,m} $ を導出する。
• $ Lif_k(t) $、$ \log(1+t) $、および $ (1+t)^{-s} $ を含む母関数の操作を用いて、混合多項式をベルヌーイ多項式およびフロベニウス＝アウラー多項式の基底で表現する。
• 逆関係技法を用いて、 $ A_n^{(r,k)}(x) $ を下降階乗多項式 $ x^{(m)} $ の線形結合として表現し、閉形式の変換を得る。

実験結果

リサーチクエスチョン

• RQ1 第1種の高階コーシーおよび多コーシーをどのように統合型多項式族として組み合わせることができるか？
• RQ2 これらの混合型多項式が満たす構造的恒等式および再帰的関係は何か？
• RQ3 これらの多項式は、ベルヌーイ多項式やフロベニウス＝アウラー多項式といった古典的多項式基底でどのように表現できるか？
• RQ4 第1種スターリング数は、これらの混合多項式の変換公式において果たす役割は何か？
• RQ5 $ A_n^{(r,k)}(x) $ を下降階乗多項式の形で閉形式で表すことは可能か？

主な発見

• 混合型多項式 $ A_n^{(r,k)}(x) $ がペア $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $ のシェッファー列であることが示され、ウムブラ記法による体系的解析が可能となる。
• 変換公式により、 $ A_n^{(r,k)}(x) $ がベルヌーイ多項式の線形結合として表される： $ A_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \binom{n}{l} S_1(n-l,m) A_l^{(r+s,k)}(s) \right\} B_m^{(s)}(x) $ 。
• フロベニウス＝アウラー多項式に対しても同様の変換が導出される： $ A_n^{(r,k)}(x) = \frac{1}{(1-\lambda)^s} \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \sum_{a=0}^s (-\lambda)^a \binom{n}{l} \binom{s}{a} S_1(n-l,m) A_l^{(r,k)}(s-a) \right\} H_m^{(s)}(x|\lambda) $ 。
• 下降階乗多項式への直接展開が得られる： $ A_n^{(r,k)}(x) = \sum_{m=0}^n (-1)^m \binom{n}{m} A_{n-m}^{(r,k)} x^{(m)} $ ，ここで $ x^{(m)} = x(x+1)\cdots(x+m-1) $ である。
• 微分 $ \frac{d}{dx} A_n^{(r,k)}(x) $ は、転送公式を用いて $ (-1)^{n+1} n! \sum_{l=0}^{n-1} \frac{(-1)^{l+1}}{(n-l)l!} A_l^{(r,k)}(x) $ として導出される。
• 変換公式における係数は、スターリング数 $ S_1(n-l,m) $ を用いて明示的に計算され、混合多項式が組合せ的数論と結びつく。