[論文レビュー] A study on the q-Euler numbers and the fermionic q-integrals of the product of several type $q$-Bernstein polynomials on Zp

Taekyun Kim|arXiv (Cornell University)|Oct 19, 2010

Advanced Mathematical Identities参考文献 7被引用数 21

ひとこと要約

本稿は、$\mathbb{Z}_p$ 上のフェルミオン的 $p$-進 $q$-積分を用いて、$q$-Euler 数と $q$-Bernstein 素数の間の新しい恒等式を確立する。$q$-アナロジーのEuler 多項式と積分表現を活用し、$q$-Bernstein 素数の積の積分と $q$-Euler 数の明示的関係を導出。$q \to 1/q$ の下での対称性および変換性が明らかになる。主な貢献は、$\xi_{n,q}(2)$、$\xi_{n,1/q}$、および $q$-Euler 数の二項和を含む恒等式の族である。

ABSTRACT

In this paper, we investigate some interesting properties of q-Berstein polynomials realted to q-Euler numbers by using the fermionic q-integral on Zp.

研究の動機と目的

• 「$p$-進解析を用いて、$q$-Bernstein 素数と $q$-Euler 数の構造的関係を調査すること。
• 「$\mathbb{Z}_p$ 上のフェルミオン的 $p$-進 $q$-積分を用いて、$q$-Euler 数を含む新しい恒等式を導出すること。
• 「$q$-Euler 数および $q$-Bernstein 素数の文脈において、$q \to 1/q$ の下での変換対称性を調査すること。
• 「$p$-進積分を用いて、複数の $q$-Bernstein 素数の積に関する恒等式を一般化すること。

提案手法

• 「$q$-Euler 数を $[x]_q^n$ のモーメントとして定義するために、フェルミオン的 $p$-進 $q$-積分 $I_q(f) = \int_{\mathbb{Z}_p} f(x) d\mu_{-q}(x)$ を用いる。
• 「Witt の公式：$\xi_{n,q}(x) = \int_{\mathbb{Z}_p} [x+y]_q^n d\mu_{-q}(y)$ を適用し、$q$-Euler 多項式と $p$-進積分を関連付ける。
• 「恒等式 $[1-x]_{1/q}^n = (-1)^n q^n [x-1]_q^n$ を用いて、$[1-x]_{1/q}^n$ の積分をシフトされた $q$-Euler 数に関連付ける。
• 「$\int_{\mathbb{Z}_p} B_{k,n}(x,q) B_{k,m}(x,q) d\mu_{-q}(x)$ の2通りの表現を等置することで、対称的恒等式を導出。一方は $\xi_{l+2k,q}$ で表され、他方は $\xi_{n+m-l,1/q}$ で表される。
• 「$[1-x]_{1/q}^{n-k}$ および $[x]_q^k$ の二項展開を用い、積分を符号が交互に付いた $q$-Euler 数の和として表現。
• 「$s$ 重積の $q$-Bernstein 素数に対して帰納法を適用し、$\sum_l \binom{N}{l} (-1)^l \xi_{l,q}$ の恒等式を導出。

実験結果

リサーチクエスチョン

• RQ1 「$\mathbb{Z}_p$ 上の $p$-進 $q$-積分を通じて、$q$-Bernstein 素数と $q$-Euler 数はどのように関係しているか？
• RQ2 「$q$-Euler 数および $q$-Bernstein 素数の積分において、$q$ を $1/q$ に置き換えたときにどのような変換性が現れるか？
• RQ3 「複数の $q$-Bernstein 素数の積に関する恒等式は、2因子を超えて一般化可能か？
• RQ4 「フェルミオン的測度 $\mu_{-q}$ は、$q$-Euler 数と多項式モーメントをどのように結びつけるか？
• RQ5 「$\xi_{n,q}(2)$ および $\xi_{n,1/q}(2)$ の恒等式は、標準的な $q$-Euler 数とどのように関係しているか？

主な発見

• 「すべての $n \in \mathbb{N}$ に対して、恒等式 $\xi_{n,q}(2) = 1 + \frac{1}{q} + \frac{1}{q^2} \xi_{n,q}$ が成り立ち、$x=2$ における $q$-Euler 多項式を $q$-Euler 数に結びつける。
• 「積分 $\int_{\mathbb{Z}_p} [1-x]_{1/q}^n d\mu_{-q}(x) = (-1)^n q^n \xi_{n,q}(-1)$ は $\xi_{n,1/q}(2)$ に等しく、$q \to 1/q$ の下での双対性を確立する。
• 「$k > 0$ のとき、恒等式 $\sum_{l=0}^{n-k} \binom{n-k}{l} (-1)^l \xi_{k+l,q} = q^2 \sum_{l=0}^{k} \binom{k}{l} (-1)^{k+l} \xi_{n-l,1/q}$ が成り立ち、これは二項変換の $q$-変形を示している。
• 「$s$ 因子への一般化では、$\sum_{l=0}^{N-sk} \binom{N-sk}{l} (-1)^l \xi_{l+sk,q} = q^2 \sum_{l=0}^{sk} \binom{sk}{l} (-1)^{sk-l} \xi_{N-l,1/q}$ が成り立ち、$N = n_1 + \cdots + n_s$ である。
• 「すべての $N \in \mathbb{Z}_+$ に対して、恒等式 $\sum_{l=0}^{N} \binom{N}{l} (-1)^l \xi_{l,q} = [2]_q + q^2 \xi_{N,1/q}$ が成り立ち、$s=1$ の場合を一般枠組みに統合する。
• 「恒等式 $\int_{\mathbb{Z}_p} B_{k,n}(x,q) B_{k,m}(x,q) d\mu_{-q}(x) = \binom{n}{k}\binom{m}{k} \sum_{l=0}^{2k} \binom{2k}{l} (-1)^{l+2k} \xi_{n+m-l,1/q}(2)$ は、$\xi_{n+m-l,1/q}(2)$ を用いた積分の閉形式表現を提供する。