[論文レビュー] A New Approach to Multivariate q-Euler polynomials by using Umbral calculus

Serkan Aracı, Xiangxing Kong+2 more|arXiv (Cornell University)|Nov 16, 2012

Advanced Mathematical Identities被引用数 5

ひとこと要約

本稿では、多変数 $q$-Euler多項式の恒等式を導出するための、新しいアンブロ・カルキュラスに基づくアプローチを提案する。これは、$q$-変形を伴う複数変数への古典的Euler多項式の一般化である。主な貢献は、任意の多項式を多変数 $q$-Euler基底多項式の線形結合として表現する新しい展開公式であり、微分作用素および母関数を用いて係数を明示的に計算可能である。

ABSTRACT

In this work, we derive numerous identities for multivariate q-Euler polynomials by using umbral calculus.

研究の動機と目的

• アンブロ・カルキュラスを用いて、多変数 $q$-Euler多項式の体系的枠組みを構築すること。
• 古典的Euler多項式を $q$-変形を伴う複数変数に一般化すること。
• 多変数 $q$-Euler多項式基底における多項式展開の明示的係数公式を導出すること。
• 母関数および線形汎関数を用いて、多変数 $q$-Euler多項式を含む積分的および微分的恒等式を確立すること。
• 形式的べき級数および線形汎関数技法を用いて、$q$-EulerおよびSheffer列に関する既存の結果を統一的かつ拡張すること。

提案手法

• $ mathcal{F}$ における形式的べき級数を用いたアンブロ・カルキュラスを採用し、線形汎関数と多項式を双対空間として取り扱う。
• Sheffer列の枠組みを適用し、多変数 $q$-Euler多項式が特定の母関数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ に対してAppell列であることを同定する。
• 線形汎関数の作用 $\langle f(t) \mid p(x) \rangle = a_n$ において、$f(t) = \sum a_k \frac{t^k}{k!}$ とし、係数と微分を関連付ける。
• 恒等式 $\left\langle \frac{e^{yt}-1}{t} \mid p(x) \right\rangle = \int_0^y p(u) du$ を用いて、$q$-Euler多項式の積分表現を導出する。
• 係数公式を $b_k = \frac{1}{2^r k!} \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} p^{(k)}\left(\sum a_j k_j\right)$ により導出し、重み付き和における微分の形で展開係数を表現する。
• 母関数およびデルタ級数の合成逆関数を用いて、多項式列の構築および操作を行う。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてアンブロ・カルキュラス技法を用いて多変数 $q$-Euler多項式を体系的に生成できるか？
• RQ2 任意の多項式を多変数 $q$-Euler多項式基底において展開する明示的公式は何か？
• RQ3 恒等式 $\frac{e^{yt}-1}{t}$ を含む積分的恒等式は、多変数 $q$-Euler多項式の構造とどのように関係するか？
• RQ4 母関数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ は、$q$-Euler基底を定義するために果たす役割は何か？
• RQ5 多変数 $q$-Euler多項式基底における多項式展開の係数を、どのようにして効率的に計算できるか？

主な発見

• 多変数 $q$-Euler多項式 $E_{n,q}(x \mid a_1,\dots,a_r; b_1,\dots,b_r)$ が母関数 $g(t) = \frac{(q^{b_1}e^{a_1 t}+1)\cdots(q^{b_r}e^{a_r t}+1)}{2^r}$ に対してAppell列であることが示された。
• 明示的係数公式 $b_k = \frac{1}{2^r k!} \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} p^{(k)}\left(\sum a_j k_j\right)$ が導出され、$q$-Euler基底における多項式展開が可能になった。
• 恒等式 $\left\langle \frac{e^{yt}-1}{t} \mid E_{n,q}(x \mid \dots) \right\rangle = \int_0^y E_{n,q}(u \mid \dots) du$ が確立され、生成関数汎関数と定積分が結びつけられた。
• $t^k$ の多項式への作用が $k$ 階微分に対応すること、すなわち $t^k p(x) = p^{(k)}(x)$ であることが示され、アンブロ・カルキュラスにおける重要な恒等式となった。
• 生成関数の展開 $\left(q^{b_1}e^{a_1 t}+1\right)\cdots\left(q^{b_r}e^{a_r t}+1\right) = \sum_{k_1+\cdots+k_r=1} q^{\sum b_l k_l} e^{t \sum a_j k_j}$ を用いて、汎関数作用の分解が行われた。
• この枠組みにより、複数のパラメータ $a_i, b_i$ を持つ多変数設定への古典的 $q$-Euler多項式の一般化が成功し、AppellおよびSheffer列の性質が保持された。