[論文レビュー] Note on the sums of powers of consecutive $q$-integers

Yılmaz Şimşek, D. Kim+2 more|arXiv (Cornell University)|Mar 11, 2005

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

ひとこと要約

本稿では、正の偶数整数に対する Barnes のベルヌーイ数およびベルヌーイ多項式の q 同型を構築し、連続する q 整数の累乗和の q 同型を提供する。生成関数およびメリン変換を用いて q ベルヌーイ多項式と q 累乗和を関連付ける一般式を導出し、シュロッサーの未解決問題の一部を解決する。

ABSTRACT

In this paper we construct the $q$-analogue of Barnes's Bernoulli numbers and polynomials of degree 2, for positive even integers, which is an answer to a part of Schlosser's question. For positive odd integers, Schlosser's question is still open. Finally, we will treat the $q$-analogue of the sums of powers of consecutive integers.

研究の動機と目的

• 正の偶数整数に対する Barnes のベルヌーイ数およびベルヌーイ多項式の q 同型を構築すること。
• 連続する整数の累乗和の q 同型に関するシュロッサーの未解決問題の一部を解決すること。
• 連続する q 整数の累乗和の q 同型 S_{m,n}(q) の一般式を導出すること。
• メリン変換を用いた q 生成関数の変換により q ゼータ関数を定義し、それらを研究すること。

提案手法

• q 整数の和と指数生成項を用いて、q ベルヌーイ数 β_{n,k,q}^* の生成関数 F_{k,q}^*(t) を定義する。
• 二項係数、q ポッヒハマーに類似した項、および q に関する有理関数を用いて、β_{n,k,q}^* の閉形式表現を導出する。
• インデックスをずらした項と q 指数関数項を含む第二の生成関数 F_{k,q}^*(t;k) を導入し、q ベルヌーイ多項式 β_{n,k,q}^*(k) を定義する。
• q 累乗和と q ベルヌーイ多項式を結ぶ一般式 S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n を確立する。
• 生成関数にメリン変換を適用し、Re(s) > 2 に対して q ゼータ関数 ζ_{k,q}^*(s) および ζ_{k,q}^*(s;k) を定義する。
• コーシーの留数定理を用いて、q ゼータ関数の特殊値と q ベルヌーイ数との関係を導出する：ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n。

実験結果

リサーチクエスチョン

• RQ1 正の偶数整数に対して、Barnes のベルヌーイ数およびベルヌーイ多項式の q 同型を構築できるか？
• RQ2 連続する q 整数の累乗和 S_{m,n}(q) の一般 q 同型式は存在するか？
• RQ3 q 生成関数のメリン変換を用いて、q ゼータ関数をどのように定義できるか？
• RQ4 q ゼータ関数の特殊値と q ベルヌーイ数との関係は何か？
• RQ5 q → 1 の極限において、q ベルヌーイ数および多項式は古典的ベルヌーイ数にどのように還元されるか？

主な発見

• q ベルヌーイ数 β_{n,k,q}^* は、二項係数および q に関する有理関数を含む閉形式で明示的に与えられ、偶数 n に対して有効である。
• q ベルヌーイ多項式 β_{n,k,q}^*(k) は、重み付き和を含む閉形式で導出され、m に関する和の項に q 指数関数項と分母が (1 - q^{m - (n-1)/2 - 2}) および (1 - q^{m - (n-1)/2}) である項が含まれる。
• 一般式 S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n が確立され、古典的累乗和の q 同型を提供する。
• q ゼータ関数 ζ_{k,q}^*(s) は、F_{k,q}^*(-t) のメリン変換により定義され、正の整数 n に対して ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n が成り立つ。
• lim_{q→1} F_{k,q}^*(t) = -F_2(t; -1; -1, -1) が成り立ち、古典的 Barnes の二重ゼータ関数と整合性があることが示される。
• 構築された q ベルヌーイ数および多項式は、q → 1 の極限において古典的ベルヌーイ数に還元され、q 同型の整合性が確認される。