主题
Search

扎吉尔恒等式

DOWNLOAD Mathematica Notebook下载 Wolfram Notebook
sum_(n=0)^(infty)[(q)_infty-(q)_n]=g(q)+(q)_inftysum_(k=1)^(infty)(q^k)/(1-q^k)
(1)
=g(q)+(q)_inftyL(q)
(2)
=g(q)+(q)_infty(psi_q(1)+ln(1-q))/(lnq)
(3)
=-q-2q^2-q^3-q^4+2q^5+4q^7+q^8+...
(4)

(OEIS A117586; Andrews 1972, 1998; Knuth 和 Paterson 1978; Chapman 2000; Zagier 2001)，其中

g(q)=sum_(n=1)^infty(-1)^n[(3n-1)q^(n(3n-1)/2)+3nq^(n(3n+1)/2)],
(5)

L(q) 是 Lambert 级数，以及 psi_q(z) 是 q-polygamma 函数。

如果

f(x,q)=1+sum_(n=1)^infty(-1)^n[x^(3n-1)q^(n(3n-1)/2)+x^(3n)q^(n(3n+1)/2)],
(6)

则相关的恒等式由下式给出

f(x,q)=sum_(n=0)^(infty)(x;q)_(n+1)x^n
(7)
=1-x^2q-x^3q^2+x^5q^5+x^6q^7-x^8q^(12)-x^9q^(15)+...
(8)

(Subbarao 1971, Andrews 1972, Andrews 1983, Knuth 和 Paterson 1978, Chapman 2000, Zagier 2001)。

另请参阅

五边形数定理

使用 Wolfram|Alpha 探索

参考文献

Andrews, G. E. "Two Theorems of Gauss and Allied Identities Proved Arithmetically." Pacific J. Math. 41, 563-578, 1972.Andrews, G. E. "Euler's Pentagonal Number Theorem." Math. Mag. 56, 279-284, 1983.Andrews, G. E. The Theory of Partitions. Cambridge, England: Cambridge University Press, 1998.Chapman, R. "Franklin's Argument Proves an Identity of Zagier." Electronic J. Combinatorics 7, No. 1, R54, 1-5, 2000. http://www.combinatorics.org/Volume_7/Abstracts/v7i1r54.html.Knuth, D. E. and Paterson, M. S. "Identities from Partition Involutions." Fib. Quart. 16, 198-212, 1978.Sloane, N. J. A. Sequence A117586 in "The On-Line Encyclopedia of Integer Sequences."Subbarao, M. V. "Combinatorial Proofs of Some Identities." Proc. Washington State University Conference on Number Theory. Washington State University, pp. 80-91, 1971.Zagier, D. "Vassiliev Invariants and a Strange Identity Related to the Dedekind Eta-Function." Topology 40, 945-960, 2001.

在 Wolfram|Alpha 中被引用

扎吉尔恒等式

请引用为

Weisstein, Eric W. “扎吉尔恒等式。”来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/ZagiersIdentity.html

主题分类