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

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

Approximation Theory and Sequence Spaces被引用数 8

ひとこと要約

本稿では、ウムブラ記法を用いて、第二種の高階コーシーおよび第二種の多対数コーシーの混合型多項式 $\tilde{A}_n^{(r,k)}(x)$ を導入する。スターリング数、多対数階乗関数、シェッファー列を含む新しい恒等式および変換公式を導出し、生成関数および作用素的計算を用いて、ベルヌーイ、フロベニウス＝オイラー、およびコーシー型多項式との明示的関係を確立する。

ABSTRACT

In this paper, we investigate some properties of higher-order Cauchy of the second kind and poly-Cauchy of the second mixed type polynomials with umbral calculus viewpoint. From our investigation, we derive many interesting identities of higher-order Cauchy of the second kind and poly-Cauchy of the second kind mixed type polynomials.

研究の動機と目的

• ウムブラ記法を用いて第二種の高階コーシーおよび第二種の多対数コーシーの混合型多項式を定義・考察すること。
• これらの混合型多項式を含む新しい恒等式および変換公式を導出すること。
• ベルヌーイおよびフロベニウス＝オイラー多項式などの古典的特殊多項式との明示的関係を確立すること。
• 生成関数およびシェッファー列を通じて、これらの多項式の構造的性質を調査すること。

提案手法

• 本稿では、$ t $ の形式的べき級数を $ \mathbb{C}[x] $ 上の多項式環への線形汎関数として扱うことで、ウムブラ記法を用いて多項式列を分析する。
• 生成関数 $ \left(\frac{t}{(1+t)\log(1+t)}\right)^r \mathrm{Li}_k(-\log(1+t)) (1+t)^x $ を用いて、混合型多項式 $ \tilde{A}_n^{(r,k)}(x) $ を定義する。ここで $ \mathrm{Li}_k $ は多対数階乗関数である。
• シェッファー列を用いて $ \tilde{A}_n^{(r,k)}(x) $ を $ \sim\left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{\mathrm{Li}_k(-t)}, e^t - 1\right) $ として特徴づけ、変換恒等式の導出を可能にする。
• 作用素的計算を用いる：$ \langle f(t) | x^n \rangle = a_n $ および合成的逆関数 $ \bar{f}(t) $ を用いて係数の表現を導出する。
• スターリング数の第一種 $ S_1(n,l) $ および $ \log(1+t) $ と $ (1+t)^x $ を含む生成関数展開を用いて、主要な恒等式を導出する。
• 内積を用いた係数マッチングにより、$ \tilde{A}_n^{(r,k)}(x) $ をベルヌーイ $ B_n^{(s)}(x) $ やフロベニウス＝オイラー $ H_n^{(s)}(x|\lambda) $ などの他のシェッファー列の線形結合として表現することで、変換公式を確立する。

実験結果

リサーチクエスチョン

• RQ1 第二種の高階コーシーおよび第二種の多対数コーシーをどのように統合型多項式族に組み合わせることができるか？
• RQ2 これらの混合型多項式に対して、ウムブラ記法の枠組みからどのような恒等式および構造的性質が生じるか？
• RQ3 これらの混合型多項式は、ベルヌーイおよびフロベニウス＝オイラー多項式などの古典的数列とどのように関係するか？
• RQ4 $ \tilde{A}_n^{(r,k)}(x) $ と他のシェッファー列との間にはどのような変換公式が存在するか？
• RQ5 多項式 $ \tilde{A}_n^{(r,k)}(x) $ を単項式または他の多項式基底の展開において、明示的な係数表現を導出できるか？

主な発見

• 混合型多項式 $ \tilde{A}_n^{(r,k)}(x) $ は、$ \sim\left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{\mathrm{Li}_k(-t)}, e^t - 1\right) $ としてシェッファー列として完全に特徴づけられ、体系的な解析が可能となる。
• 変換公式により、$ \tilde{A}_n^{(r,k)}(x) $ がベルヌーイ多項式の線形結合として表現される：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ \sum_{l=0}^{n-m} \binom{n}{l} S_1(n-l,m) \tilde{A}_{l}^{(r+s,k)}(s) \right\} B_m^{(s)}(x) $。
• 別の変換公式により、$ \tilde{A}_n^{(r,k)}(x) $ がフロベニウス＝オイラー多項式で表現される：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ \sum_{l=0}^{n-m} \sum_{a=0}^{l} \frac{\binom{n}{l} \binom{s}{a} \binom{l}{a} a!}{(1-\lambda)^a} S_1(n-l,m) \tilde{A}_{l-a}^{(r,k)} \right\} H_m^{(s)}(x|\lambda) $。
• 多項式は二項型展開を満たす：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \binom{n}{m} \tilde{A}_{n-m}^{(r,k)} (x)_m $、ここで $ (x)_m $ は下り階乗である。
• 展開の係数にはスターリング数の第一種が含まれており、ウムブラ記法における内積操作によって導出される。
• 結果は生成関数および作用素的恒等式を用いて導出され、多対数階乗関数 $ \mathrm{Li}_k $ およびコーシー型多項式の次数を制御するパrameter $ r $ に明示的な依存関係を示す。