[论文解读] On integral representations of q-gamma and q-beta functions

Alberto De Sole, Victor G. Kač|arXiv (Cornell University)|Feb 4, 2003

Advanced Mathematical Identities参考文献 1被引用 149

一句话总结

本文通過引入一個新的 q-常數 K(x,t)，建立了 q-伽馬函數與 q-貝塔函數的新 q-積分表達式，提供了雅可比三重乘積恆等式與拉馬努金雙曲超幾何級數公式的一種概念性證明。主要貢獻在於提出了一個修正先前表述的 q-歐拉積分表達式的 q-類比，並揭示了其與經典 q-級數恆等式之間的深刻聯繫。

ABSTRACT

We study q-integral representations of the q-gamma and the q-beta functions. This study leads to a very interesting q-constant. As an application of these integral representations, we obtain a simple conceptual proof of a family of identities for Jacobi triple product, including Jacobi's identity, and of Ramanujan's formula for the bilateral hypergeometric series.

研究动机与目标

• 解決先前 q-伽馬與 q-貝塔函數 q-積分表達式中的不一致之處。
• 引入一個新的 q-常數 K(x,t)，以確保古典積分公式之 q-類比的正確性。
• 利用 q-積分表達式，提供雅可比三重乘積恆等式與拉馬努金雙曲超幾何級數公式之概念性證明。
• 建立 q-貝塔函數的明顯對稱 q-積分表達式。
• 推導某類非正常 q-積分的 q-類比平移不變性。

提出的方法

• 引入一個新的 q-常數 K(x,t) = x^t / (1+x) * (1 + 1/x)_q^t * (1+x)_q^{1-t}，其具有 q-不變性：K(qx,t) = K(x,t)。
• 推導 q-伽馬函數的新 q-積分表達式：Γ_q(t) = K(A,t) ∫₀^{∞/A(1−q)} x^{t−1} e_q^{−x} d_qx。
• 建立 q-貝塔函數的 q-積分表達式：B_q(t,s) = K(A,t) ∫₀^{∞/A} x^{t−1} / (1+x)_q^{t+s} d_qx，使用在 (0, ∞/A) 上的非正常 q-積分。
• 利用 q-常數 K(A,t) 修正先前錯誤的表述，特別是傑克遜使用 q^{t(t−1)/2} 的情形，該表達式僅在 t 為整數時成立。
• 將新表達式應用於推導與雅可比三重乘積及拉馬努金雙曲超幾何級數公式等價的恆等式。
• 透過展示在 x → q/y 下的不變性，證明 q-貝塔函數的對稱性，從而獲得明顯對稱的積分形式。

实验结果

研究问题

• RQ1 如何利用 q-積分構造出 β 函數之正確的 q-類比歐拉積分表達式？
• RQ2 q-常數 K(x,t) 在確保 q-伽馬與 q-貝塔函數 q-積分表達式的一致性與正確性方面發揮何種作用？
• RQ3 新 q-積分表達式能否提供雅可比三重乘積恆等式的概念性證明？
• RQ4 新表述如何導出非正常 q-積分 ∫ x^α / (1+x)_q^β d_qx 的 q-類比平移不變性？
• RQ5 是否存在一個明顯對稱的 q-積分表達式，使 q-貝塔函數在 t ↔ s 下的不變性顯而易見？

主要发现

• 本文引入了一個新的 q-常數 K(x,t)，其在 x → qx 下不變，且當 t 為整數時退化為 q^{t(t−1)/2}，但當 t ∈ (0,1) 時依賴於 x。
• q-伽馬函數具有積分表達式 Γ_q(t) = K(A,t) ∫₀^{∞/A(1−q)} x^{t−1} e_q^{−x} d_qx，修正了先前使用錯誤上限的表述。
• q-貝塔函數的表達式為 B_q(t,s) = K(A,t) ∫₀^{∞/A} x^{t−1} / (1+x)_q^{t+s} d_qx，這是歐拉積分公式正確的 q-類比。
• 對稱積分表達式 B_q(t,s) = ∫₀^{∞/α} 1 / [y (1 + q/y)_q^t (1+y)_q^s] d_qy 明顯地在 t ↔ s 下不變。
• 新 q-積分表達式導出雅可比三重乘積恆等式作為 A → 0 時的特例，從而提供其概念性證明。
• 透過非正常 q-積分表示的 B_q(t,s) 與拉馬努金雙曲超幾何級數恆等式等價，從而為這一經典結果提供了新的推導。