[論文レビュー] Some identities on the q-Bernstein polynomials, q-Stirling number and q-Bernoulli numbers

Taekyun Kim, Jongsung Choi+1 more|arXiv (Cornell University)|Jun 10, 2010

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

ひとこと要約

本稿は、p進q積分を用いて、q-Bernstein多項式、第1種および第2種のq-Stirling数、およびCarlitzのq-Bernoulli数の間の新しい恒等式を確立する。生成関数、q差分作用素、q階乗を用いた明示的公式の導出により、古典的特殊関数のq類似における深い代数的構造が明らかになる。

ABSTRACT

Recently, Kim-Jang-Yi have introduced q-Bernstein polynomials. From these q-Berstein polynomials, we investigte some properties related to q-Stirling numbes and q-Bernoulli numbes.

研究の動機と目的

• p進整数環 ℤₚ 上におけるq-Bernstein多項式、q-Stirling数、q-Bernoulli数の相関関係を調査すること。
• p進q積分とq微積分を用いて、古典的Bernstein多項式理論をq類似の設定へ拡張すること。
• q-Bernstein多項式をq-Stirling数およびq-Bernoulli数の形で表す明示的公式を導出すること。
• q差分作用素と生成関数が、これらのq特殊関数を統合する役割を果たす仕組みを探索すること。

提案手法

• ℤₚ 上のp進q積分を用いて、q-Bernstein多項式およびq-Bernoulli数を定義・分析する。
• q差分作用素 Δₚⁿ とシフト作用素 E を用いて、関数をq二項係数およびq階乗の形で表現する。
• 生成関数 tᵏe^{[1−x]ₚt}[x]ₚᵏ/k! の形を用いて、q-Bernstein多項式 Bₖ,ₙ(x,q) を特徴付ける。
• 第1種q-Stirling数は、∏ₖ₌₁ⁿ(1 + [k]ₚz) = ∑ₖ₌₀ⁿ S₁(n,k:q)zᵏ で定義され、q階乗および二項係数の展開に用いられる。
• q二項係数、q階乗、および恒等式 [x]ₖ,ₚ = [x]ₚ[x−1]ₚ⋯[x−k+1]ₚ の操作を通じて恒等式を導出する。
• S₂(n,k:q) = binom(k+n,n) [n]ₚ! / n! ⋅ βₖ,ₚ⁽⁻ⁿ⁾ の公式を用いて、逆q-Bernoulli数 βₖ,ₚ⁽⁻ⁿ⁾ とq-Stirling数の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 q-Bernstein多項式は、第1種q-Stirling数およびq-Bernoulli数を用いてどのように表現できるか？
• RQ2 第2種q-Stirling数とn次逆q-Bernoulli数との間にはどのような関係があるか？
• RQ3 q差分作用素と生成関数は、q-Bernstein多項式とq特殊関数の構造をどのように統合するか？
• RQ4 p進q積分をq二項展開およびq階乗と組み合わせたとき、どのような恒等式が導かれるか？
• RQ5 q-Bernstein多項式の生成関数を用いて、q-Stirling数およびq-Bernoulli数を含む明示的公式を導出できるか？

主な発見

• q-Bernstein多項式 Bₖ,ₙ(x,q) は、第1種q-Stirling数を含む和として表現される：Bₖ,ₙ(x,q) = ∑ₘ₌ₖⁿ (q−1)⁻ᵏ⁺ᵐ binom(n,m)ₚ S₁(m,k:q) [x]ₚᵏ [1−x]ₚⁿ⁻ᵏ。
• 和 ∑ₖ₌ᵢ₋₁ⁿ (binom(k,i)/binom(n,i)) Bₖ,ₙ(x,q) / ([1−x]ₚ + [x]ₚ)ⁿ⁻ⁱ は、∑ₖ₌₀ⁱ q^{binom(k,2)} binom(x,k)ₚ [k]ₚ! binom(k+i,i) [i]ₚ! / i! ⋅ βₖ,ₚ⁽⁻ⁱ⁾ に等しい。
• 第2種q-Stirling数 S₂(n,k:q) は、逆q-Bernoulli数との間で S₂(n,k:q) = binom(k+n,n) [n]ₚ! / n! ⋅ βₖ,ₚ⁽⁻ⁿ⁾ で関係づけられる。
• ℤₚ 上での qⁿˣ のp進q積分は、∑ₘ₌₀ⁿ binom(n,m) (q−1)ᵐ βₘ,ₚ を与え、q指数生成関数とq-Bernoulli数を結びつける。
• 恒等式 q^{nx} = ∑ₖ₌₀ⁿ (q−1)ᵏ q^{binom(k,2)} binom(n,k)ₚ [x]ₖ,ₚ が成り立ち、q指数関数がq二項係数の形で展開されることを示している。
• 生成関数 ∑ₙ₌₀∞ Bₖ,ₙ(x,q) tⁿ/n! = tᵏ e^{[1−x]ₚt} [x]ₚᵏ / k! は、q-Bernstein多項式の指数生成関数構造を確認する。