[論文レビュー] Some new identities on the twisted (h, q)- Euler numbers and q-Bernstein polynomials

D. V. Dolgy, Dong-Jin Kang+2 more|arXiv (Cornell University)|Apr 30, 2011

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

ひとこと要約

本稿では、$\mathbb{Z}_p$ 上のフェルミオン的 $p$-進 $q$-積分を用いて、$q$-ベルヌーイ多項式とねじれ $(h,q)$-オイラー数の間の新しい恒等式を確立する。$q^{(h-1)x}\zeta^x$ で重み付けされた $q$-ベルヌーイ多項式の積の積分について、明示的な公式を導出し、それらを逆パラメータ下での双対的オイラー数を用いて表現する。主な貢献は、$q$-ベルヌーイ多項式の積分を $E_{n,q^{-1},\zeta^{-1}}^{(h)}$ を含む恒等式へ体系的に変換することであり、$q$-特殊関数の新たな計算的・構造的知見を可能にする。

ABSTRACT

In this paper we give some interesting relationships between twisted (h,q)-Euler numbers and q-Berstein polynomnials by using fermionic p-adic q-integrals on Zp

研究の動機と目的

• $p$-進解析を用いて、$q$-ベルヌーイ多項式とねじれ $(h,q)$-オイラー数の構造的関係を調査すること。
• フェルミオン的 $p$-進 $q$-積分の $q$-ベルヌーイ多項式の積の明示的恒等式を導出すること。
• $q$-変形と $\zeta \in T_p$ を用いたねじれを組み込んだことで、既知のオイラー数の恒等式を一般化すること。
• パラメータの逆転に関して、$E_{n,q,\zeta}^{(h)}$ と $E_{n,q^{-1},\zeta^{-1}}^{(h)}$ 間の変換法則を確立すること。
• ねじれオイラー数を用いた、$q$-ベルヌーイ多項式の積分を統一的に計算する枠組みを提供すること。

提案手法

• 核心的な分析的道具として、$\mathbb{Z}_p$ 上のフェルミオン的 $p$-進 $q$-積分を用い、$q$-ベルヌーイ多項式とねじれ $(h,q)$-オイラー数を関連付ける。
• 生成関数 $F_{q,\zeta}^{(h)}(t,x) = \sum_{n=0}^\infty E_{n,q,\zeta}^{(h)}(x)\frac{t^n}{n!}$ を用いて、関数方程式と漸化式を導出する。
• 二項定理を適用して、$q$-ベルヌーイ多項式 $B_{k,n}(x,q) = \binom{n}{k}[x]_q^k[1-x]_{q^{-1}}^{n-k}$ の積を単項式形に展開する。
• 恒等式 $E_{n,q,\zeta}^{(h)}(x) = \sum_{l=0}^n \binom{n}{l}[x]_q^{n-l} q^{lx} E_{l,q,\zeta}^{(h)}$ を用いて、ねじれオイラー多項式をゼロにおける値で表現する。
• 双対性 $E_{n,q^{-1},\zeta^{-1}}^{(h)}(1-x) = (-1)^n \zeta q^{n+h-1} E_{n,q,\zeta}^{(h)}(x)$ を適用し、積分を双対形に変換する。
• 積分恒等式を導出する際、$\int_{\mathbb{Z}_p} \prod_{i=1}^s B_{k,n_i}(x,q) q^{(h-1)x} \zeta^x d\mu_{-q}(x)$ を展開し、$E_{m,q,\zeta}^{(h)}$ の和に還元する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$p$-進積分を用いて $q$-ベルヌーイ多項式をねじれ $(h,q)$-オイラー数と体系的に関連付けることができるか？
• RQ2 重み $q^{(h-1)x}\zeta^x$ を持つ $s$ 個の $q$-ベルヌーイ多項式の積のフェルミオン的 $p$-進 $q$-積分の明示的形は何か？
• RQ3 パラメータの逆転に関して、$E_{n,q,\zeta}^{(h)}$ と $E_{n,q^{-1},\zeta^{-1}}^{(h)}$ 間にどのような変換法則が存在するか？
• RQ4 $q$-ベルヌーイ多項式の積の積分を、ねじれオイラー数とその双対のみで表現できるか？
• RQ5 これらの多項式の $p$-進積分表現から、どのような漸化式や生成関数の恒等式が導かれるか？

主な発見

• 積分 $\int_{\mathbb{Z}_p} B_{k,n_1}(x,q) B_{k,n_2}(x,q) q^{(h-1)x} \zeta^x d\mu_{-q}(x)$ は、$k=0$ のとき $q^{h+1}\zeta E_{n_1+n_2,q^{-1},\zeta^{-1}}^{(h)} + [2]_q$ に等しく、$k \neq 0$ のときは $E_{n_1+n_2-l,q^{-1},\zeta^{-1}}^{(h)}$ の和に複雑な形で表される。
• $s \geq 2$ のとき、$s$ 重積分 $\int_{\mathbb{Z}_p} \prod_{i=1}^s B_{k,n_i}(x,q) q^{(h-1)x} \zeta^x d\mu_{-q}(x)$ は、$k=0$ ならば $q^{h+1}\zeta E_{n_1+\cdots+n_s,q^{-1},\zeta^{-1}}^{(h)} + [2]_q$ に等しく、$k > 0$ のときは二項係数付きの双対オイラー数の和に表れる。
• $k > 0$ に対して、恒等式 $\sum_{l=0}^{n_1+n_2-2k} (-1)^l \binom{n_1+n_2-2k}{l} E_{2k+l,q}^{(h)} = q^{h+1}\zeta \sum_{l=0}^{2k} \binom{2k}{l} (-1)^{2k+l} E_{n_1+n_2-l,q^{-1},\zeta^{-1}}^{(h)}$ が成り立ち、$q$-オイラー数とその双対を結ぶ。
• 生成関数 $F_{q,\zeta}^{(h)}(t,x) = [2]_q \sum_{m=0}^\infty (-1)^m \zeta^m q^{mh} e^{[x+m]_q t}$ は、ねじれ $(h,q)$-オイラー多項式の閉形式表現を提供する。
• 漸化式 $q^h \zeta (q E_{q,\zeta}^{(h)} + 1)^n + E_{n,q,\zeta}^{(h)} = 0$（$n > 0$）および $E_{0,q,\zeta}^{(h)} = \frac{1+q}{1+q^h \zeta}$ は、ねじれオイラー数を完全に特徴付ける。
• 双対性 $E_{n,q^{-1},\zeta^{-1}}^{(h)}(1-x) = (-1)^n \zeta q^{n+h-1} E_{n,q,\zeta}^{(h)}(x)$ は、積分を双対形に変換できる対称性を提供する。