[論文レビュー] q-Bernoulli Numbers and Zeros of q-Sine Function

Şengül Nalcı, Oktay K. Pashaev|arXiv (Cornell University)|Feb 10, 2012

Advanced Mathematical Identities参考文献 6被引用数 6

ひとこと要約

本稿では、ジャクソンのq指数関数に基づく母関数を用いて、Bernoulli数の新しいq拡張を導入し、q一般化されたライブニッツ則とq対数微分を用いて、q正弦関数の零点とこれらのq-Bernoulli数の間の正確な関係を確立する。主な貢献は、q → 1の極限で成り立つ、古典的なBernoulli数、正弦関数の零点、リーマンゼータ関数を結ぶ関係のqアナログを提供することである。

ABSTRACT

There exists a well-known relation between the zeros of sine function, Bernoulli numbers and the Riemann Zeta function. In the present paper, we find a similar relation for zeros of q-sine function. We introduce a new q-extension of the Bernoulli numbers with generating function written in terms of both Jackson's q-exponential functions. By q-generalized multiple product Leibnitz rule and the q-analogue of logarithmic derivative we established exact relations between zeros of q-sin x and our q-Bernoulli numbers. These relations could be useful for analyzing approximate and asymptotic formulas for the zeros and solving BVP for q-Sturm-Liouville problems.

研究の動機と目的

• Bernoulli数、正弦関数の零点、リーマンゼータ関数の間の古典的関係のqアナログを確立すること。
• ジャクソンのq指数関数を母関数として用いて、新しいq-Bernoulli数のクラスを定義すること。
• q微分作用素を用いて、q正弦関数の零点と新たに定義されたq-Bernoulli数の間の正確な関係を導出すること。
• 漸近的解析やq-Sturm-Liouville境界値問題の解法に有用な枠組みを提供すること。

提案手法

• ジャクソンのq指数関数 $ e_q(x) $ と $ E_q(x) $ を含む母関数を用いて、q-Bernoulli多項式およびq-Bernoulli数を定義する。
• 母関数にq微分を適用し、q-Bernoulli多項式の再帰的公式を導出する。これは $ q \to 1 $ の極限で古典的形式に還元される。
• 無限積に含まれるq正弦関数の零点を含むq一般化多重積のライブニッツ則を導入する。
• q対数微分のアナログを用いて、$ \sin_q x $ のべき級数展開とその零点、およびq-Bernoulli数との関係を確立する。
• z \cot_q z のテイラー展開の係数をq-Bernoulli数で表現し、無限積展開と比較する。
• 逆4乗和 $ \sum_{k=1}^\infty \frac{1}{x_k^4} $ などの、q正弦関数の零点の逆べき乗和とq-Bernoulli数との明示的関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 q微積分の枠組みにおいて、Bernoulli数をどのように一般化すれば、三角関数の零点との関係を保てるか？
• RQ2 q正弦関数の零点と新たに定義されたq-Bernoulli数との正確な関係は何か？
• RQ3 古典的なBernoulli数、正弦関数の零点、リーマンゼータ関数の間の関係をqアナログの場合に拡張できるか？
• RQ4 q-Bernoulli数とq正弦関数の零点は、$ q \to 1 $ の極限でどのように振る舞い、既知の結果に回復するか？
• RQ5 これらの関係は、q-Sturm-Liouville問題の解法やq正弦関数の零点の近似にどのような意味を持つのか？

主な発見

• q-Bernoulli数の母関数は $ F_x(z) = \frac{z e_q(xz) e_q(-z/2)}{e_q(z/2) - e_q(-z/2)} = \sum_{n=0}^\infty B_n^q(x) \frac{z^n}{[n]_q!} $ として定義され、既存の文献とは異なる。
• q-Bernoulli多項式の再帰的公式は、$ q \to 1 $ の極限で古典的形式に還元され、既知の理論と整合することが確認された。
• z \cot z のqアナログは $ 1 - \sum_{k=1}^\infty b_{2k}^q (-1)^{k-1} \frac{2^{2k} z^{2k}}{(2k)!} $ として表現され、$ b_{2k}^q $ はq-Bernoulli数である。
• x^4 項に関して、$ [2]_q \left(1 + \frac{q^2 - 1}{2}\right) \sum_{k=1}^\infty \frac{1}{x_k^4} = \frac{8(q^2 - 1)}{[2]_q^3} (b_2^q)^2 - \frac{16}{[4]_q!} b_4^q $ という関係が導出され、q正弦関数の零点の逆4乗和とq-Bernoulli数を結ぶ。
• $ q \to 1 $ の極限において、和 $ \sum_{k=1}^\infty \frac{1}{x_k^4(q)} \to \frac{1}{90} $ となり、古典的結果 $ \zeta(4) = \frac{\pi^4}{90} $ が回復された。
• q正弦関数の零点の近似公式として $ x_n = q^{2(n-1)} x_1 $ が提案され、$ x_1 = \pm \sqrt{[2]_q [3]_q \frac{q^4}{q^4 - 1}} $ が得られ、これにより $ \sin_q x $ の無限積表現が表現可能となった。