主题
Search

Bailey Mod 9 恒等式


Bailey mod 9 恒等式是一组类似于 Rogers-Ramanujan 恒等式的三个恒等式,出现在 Bailey (1947) 第 422 页的等式 (1.6)、(1.8) 和 (1.7) 中,由下式给出

A(q)=sum_(n=0)^(infty)(q^(3n^2)(q;q)_(3n))/((q^3;q^3)_n(q^3;q^3)_(2n))
(1)
=((q^4,q^5,q^9;q^9)_infty)/((q^3;q^3)_infty)
(2)
=1+q^3-q^4-q^5+2q^6-q^7-q^8+...
(3)
B(q)=sum_(n=0)^(infty)(q^(3n^2+3n)(q;q)_(3n)(1-q^(3n+2)))/((q^3;q^3)_n(q^3;q^3)_(2n+1))
(4)
=((q^2,q^7,q^9;q^9)_infty)/((q^3;q^3)_infty)
(5)
=1-q^2+q^3-q^5+2q^6-q^7-2q^8+...
(6)
C(q)=sum_(n=0)^(infty)(q^(3n^2+3n)(q;q)_(3n+1))/((q^3;q^3)_n(q^3;q^3)_(2n+1))
(7)
=((q,q^8,q^9;q^9)_infty)/((q^3;q^3)_infty)
(8)
=1-q+q^3-q^4+2q^6-2q^7-q^8+...
(9)

(OEIS A104467, A104468, 和 A104469)。

遗憾的是,Bailey 在这些恒等式首次出现的论文中使用了非标准的(且基本上无法阅读的)符号。这三个恒等式都出现在 Slater (1952) 的列表中,依次为等式 (42)、(41) 和 (40)。然而,这三个都包含印刷错误。

从某种意义上说,这些恒等式是以下序列中的下一个逻辑步骤

1. 两个 Rogers-Ramanujan 恒等式(模 5 上的三重积,关于 (q;q)_infty)。

2. 三个 Rogers-Selberg 恒等式(模 7 上的三重积,关于 (q^2;q^2)_infty)。

3. (某种程度上)四个 Bailey mod 9 恒等式(模 9 上的三重积,关于 (q^3;q^3)_infty)。

这里,“某种程度上”指的是在 A(q)B(q) 之间,存在一个“恒等式”,其中乘积项包含 (q^3,q^6,q^9;q^9)_infty/(q^3;q^3)_infty,因此该恒等式简化为 1=1,因此未列出。


另请参阅

Rogers-Ramanujan 恒等式, Rogers-Selberg 恒等式

此条目的部分内容由 Andrew Sills 贡献

使用 Wolfram|Alpha 探索

参考文献

Bailey, W. N. "Some Identities in Combinatory Analysis." Proc. London Math. Soc. 49, 421-435, 1947.Mc Laughlin, J.; Sills, A. V.; 和 Zimmer, P. "Dynamic Survey DS15: Rogers-Ramanujan-Slater Type Identities." Electronic J. Combinatorics, DS15, 1-59, May 31, 2008. http://www.combinatorics.org/Surveys/ds15.pdf.Slater, L. J. "Further Identities of the Rogers-Ramanujan Type." Proc. London Math. Soc. Ser. 2 54, 147-167, 1952.Sloane, N. J. A. Sequences A104467, A104468, 和 A104469 in "The On-Line Encyclopedia of Integer Sequences."

在 Wolfram|Alpha 中被引用

Bailey Mod 9 恒等式

请引用为

Sills, AndrewWeisstein, Eric W. "Bailey Mod 9 恒等式。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/BaileyMod9Identities.html

主题分类