[論文レビュー] q-Bernstein polynomials, q-Stirling numbers and q-Bernoulli polynomials

T. Kim|arXiv (Cornell University)|Aug 26, 2010

Advanced Mathematical Identities参考文献 11被引用数 3

ひとこと要約

本稿では、生成関数および行列表現を用いて、$q$-Bernstein多項式と$q$-Stirling数、$q$-Bernoulli多項式を結びつける新しい恒等式を導入する。再帰関係、微分公式、および重み付き和が$x^i$に一致することを示す重要な恒等式を導出し、基本的な構造的性質を確立する。

ABSTRACT

In this paper, we give new identities involving Phillips q-Bernstein polynomials and we derive some interesting properties of q-Berstein polynomials associated with q-Stirling numbers and q-Bernoulli polynomials.

研究の動機と目的

• 生成関数を用いて、$q$-Bernstein多項式と$q$-Stirling数、$q$-Bernoulli多項式を結ぶ新しい恒等式を確立すること。
• 生成関数を用いて、$q$-Bernstein多項式の再帰的および微分的関係を導出すること。
• 計算的および理論的分析のため、単項式基底に関して$q$-Bernstein多項式の行列表現を提供すること。
• $q$-整数および$q$-指数関数を用いて、古典的 Bernstein 多項式の性質を$q$-類似に一般化すること。

提案手法

• 生成関数 $F_q^{(k)}(t,x) = \frac{x^k t^k}{[k]_q!} e_q((1-x)_q t)$ を用いて、$q$-Bernstein多項式の性質を導出する。
• $q$-二項係数 $\binom{n}{k}_q$ および $q$-階乗 $[n]_q!$ を用いて、$q$-Bernstein多項式 $B_{k,n}(x,q) = \binom{n}{k}_q x^k (1-x)_q^{n-k}$ を定義する。
• $q$-指数関数 $e_q(z) = \sum_{n=0}^\infty \frac{z^n (1-q)^n}{[n]_q!}$ を用いて、$q$-指数型生成関数の類似をモデル化する。
• $q$-二項展開から得られる係数を用いて、$q$-Bernstein多項式を単項式 $x^i$ の線形結合として表現することにより、行列表現を導出する。
• $q$-Bernoulli多項式の生成関数 $\left(\frac{z}{e^z-1}\right)^k e_q(zx) = \sum_{n=0}^\infty \beta_n^{(k)}(x,q) \frac{z^n}{[n]_q!}$ を用いて、$q$-Bernstein多項式と接続する。
• $q$-Stirling数 $S(m,k)$ および二項恒等式を適用して、$B_{k,l}(x,q)$ を $q$-Bernoulli多項式および組み合わせ的係数で表現する。

実験結果

リサーチクエスチョン

• RQ1 生成関数を用いて、$q$-Bernstein多項式を$q$-Stirling数および$q$-Bernoulli多項式とどのように関連付けることができるか？
• RQ2 $q$-Bernstein多項式の挙動を支配する再帰的および微分的関係は何か？
• RQ3 $q$-Bernstein多項式と単項式基底との間の構造的関係は何か？ そして、行列表現によってどのように表現できるか？
• RQ4 恒等式 $\sum_{k=i}^n \frac{\binom{k}{i}_q}{\binom{n}{i}_q} B_{k,n}(x,q) = x^i$ は、古典的 Bernstein 多項式の性質をどのように一般化するか？
• RQ5 $B_{k,l}(x,q)$ の明示的表現は、$q$-Bernoulli多項式および$q$-Stirling数を用いてどのように得られるか？

主な発見

• 恒等式 $\sum_{k=i}^n \frac{\binom{k}{i}_q}{\binom{n}{i}_q} B_{k,n}(x,q) = x^i$ は、すべての $i, n \in \mathbb{Z}_+$ および $x \in [0,1]$ に対して成り立ち、古典的 Bernstein 多項式のモーメント性質を一般化する。
• 行列表現において、$q$-Bernstein多項式は $\left(1,x,\dots,x^n\right) \mathbf{B}^{(q)} \vec{C}^{(q)}$ として表され、$\mathbf{B}^{(q)}$ は単項式基底への$q$-二項変換を符号化する。
• $q$-Bernstein多項式 $B_{k,l}(x,q)$ は、$\frac{k!}{[k]_q!} x^k \sum_{m=0}^l \frac{[m]_q!}{m!} S(m,k) \beta_{l-m}^{(k)}((1-x)_q, q) \binom{l}{m}_q$ として明示的に表現され、$q$-Bernoulli多項式と関連づけられる。
• 生成関数 $F_q^{(k)}(t,x) = \frac{x^k t^k}{[k]_q!} e_q((1-x)_q t)$ は、$q$-Bernstein多項式を生成し、再帰的および微分的関係を導出する。
• $q$-Bernoulli多項式 $\beta_n^{(k)}(x,q)$ は、$\beta_n^{(k)}(x,q) = \sum_{m=0}^n \binom{n}{m}_q \frac{[m]_q!}{m!} x^{n-m} B_m^{(k)}$ を満たすことが示され、ここで $B_m^{(k)}$ は $k$ 階の古典的ベルヌーイ数である。
• $n=2$ の場合、$q$-Bernstein多項式の行列表現は明示的に $\begin{pmatrix}1 & 0 & 0 \\ -[2]_q & [2]_q & 0 \\ q & -[2]_q & 1 \end{pmatrix}$ として計算され、単項式基底から$q$-Bernstein基底への変換が確認された。