[論文レビュー] Identities of symmetry for higher-order q-Euler polynomials

Dae San Kim, Taekyun Kim|arXiv (Cornell University)|Jan 13, 2014

Advanced Mathematical Identities被引用数 4

ひとこと要約

本稿は、多変数 $p$-adicフェルミオン的積分を用いて、高次の $q$-Euler多項式と $q$-アナログの高次の交代累乗和の間の対称性に関する新しい恒等式を導出する。主な貢献は、$w_1, w_2$ を奇数の正の整数として、異なる $q$-パラメータおよび次数を持つ $q$-Euler多項式を関連付ける変換公式を導出することで得られる対称的恒等式であり、古典的対称性恒等式を $q$-設定に一般化するものである。

ABSTRACT

In this paper, we derive basic identities of symmetry in two variables related to higher-order q-Euler polynomials and q-analogue of higher order alternating power sums. The derivation of identities are based on the multibvariate p-adic fermionic integral espression of the generating function for the higher-order q-Euler polynomials.

研究の動機と目的

• 古典的対称性恒等式を高次 $q$-Euler多項式の $q$-アナログ設定に拡張すること。
• $q$-Euler多項式の $p$-adic不変積分における $q$-拡張の対称性に関する未解決問題を解消すること。
• 高次 $q$-Euler多項式と $q$-アナログの交代累乗和の間の新しい対称的関係を確立すること。
• 多変数 $p$-adicフェルミオン的積分を用いて、既知の古典的対称性恒等式を $q$-変形の場合に一般化すること。

提案手法

• 高次 $q$-Euler多項式の母関数の多変数 $p$-adicフェルミオン的積分表現を用いる。
• 積分式 $ \int_{\mathbb{Z}_p} \cdots \int_{\mathbb{Z}_p} e^{[x + y_1 + \cdots + y_r]_q t} d\mu_{-1}(y_1) \cdots d\mu_{-1}(y_r) $ を適用し、多項式恒等式を導出する。
• スケーリングパラメータ $w_1, w_2$（奇数の正の整数）を用いた変換を導入し、異なる $q$-パラメータを持つ $q$-Euler多項式を関連付ける。
• 異なる $q^{w_1}$ と $q^{w_2}$ を含む2つの異なる積分表現を比較することで、$w_1$ と $w_2$ に関してバランスの取れた恒等式を導出する。
• パラメータ $j_1, \dots, j_r$ を $w$ を法として扱い、$q$-整数と交代符号を含む、重要な和 $T_{n,i,q}^{(r)}(w)$ を定義する。
• 母関数技法と $q$-微積分の恒等式を用いて2つの式を等置し、最終的な対称的恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的高次Euler多項式の対称性恒等式を $q$-変形の場合にどのように拡張できるか？
• RQ2 $p$-adicフェルミオン的積分枠組みにおいて、交代累乗和とEuler多項式の間の $q$-アナログの対称性恒等式は何か？
• RQ3 異なる $q$-パラメータ $q^{w_1}$ と $q^{w_2}$ を持つ $q$-Euler多項式の間で、対称的関係を確立できるか？
• RQ4 和 $T_{n,i,q}^{(r)}(w)$ は、パラメータ変換下での $q$-Euler多項式の接続において果たす役割は何か？
• RQ5 パラメータ $w_1$ と $w_2$（奇数の正の整数）は、導出された恒等式の対称的構造にどのように影響を与えるか？

主な発見

• 本稿では、異なる $q$-パラメータを持つ $q$-Euler多項式の間の対称的恒等式を確立した。具体的には、$E_{n-i,q^{w_1}}^{(r)}(w_2x)$ と $E_{n-i,q^{w_2}}^{(r)}(w_1x)$ の間の恒等式である。
• 対称的恒等式は $ \sum_{i=0}^{n} \binom{n}{i} [w_1]_q^{n-i} [w_2]_q^i T_{n,i,q^{w_2}}^{(r)}(w_1) E_{n-i,q^{w_1}}^{(r)}(w_2x) = \sum_{i=0}^{n} \binom{n}{i} [w_1]_q^i [w_2]_q^{n-i} T_{n,i,q^{w_1}}^{(r)}(w_2) E_{n-i,q^{w_2}}^{(r)}(w_1x) $ で与えられ、$w_1, w_2$ が奇数である場合に有効である。
• 和 $T_{n,i,q}^{(r)}(w)$ は明示的に $ \sum_{j_1,\dots,j_r=0}^{w-1} (-1)^{j_1+\cdots+j_r} q^{(n-i)(j_1+\cdots+j_r)} [j_1+\cdots+j_r]_q^i $ として定義され、交代 $q$-累乗和の構造を捉えている。
• この恒等式は、$q$-整数と $q$-変形積分を組み込むことで、古典的対称性恒等式を $q$-設定に一般化している。
• 導出は $p$-adicフェルミオン的積分と $q$-Euler多項式の母関数に依拠しており、$q$-特殊関数と $p$-adic解析との深い関係を示している。
• この結果は、Kimが以前に得た古典的Euler多項式の対称性恒等式の $q$-拡張を提供し、$p$-adic積分における $q$-対称性に関する未解決問題を解決する。