主题
Search

q 级数恒等式

下载 Mathematica 笔记本下载 Wolfram 笔记本

存在许多美丽的涉及 q 级数的恒等式，其中一些可以直接通过取标准组合恒等式的 q-模拟得到，例如，q-二项式定理

sum_(n=0)^infty((a;q)_nz^n)/((q;q)_n)=((az;q)_infty)/((z;q)_infty)
(1)

(|z|<1, |q|<1; Andrews 1986, p. 10)，欧拉恒等式的一个特例

(aq;q)_infty=sum_(k=0)^infty((-1)^kq^(k(k+1)/2)a^k)/((q;q)_k)
(2)

(Gasper 和 Rahman 1990, p. 9; Leininger 和 Milne 1999)，以及 q-范德蒙和

_2phi_1(a,q^(-n);c;q,q)=(a^n(c/a,q)_n)/((c;q)_n),
(3)

其中 _2phi_1(a,b;c;q,z) 是一个 q-超几何函数。

其他 q 级数恒等式，例如，雅可比恒等式、罗杰斯-拉马努金恒等式和 q-超几何 恒等式

_2phi_1(a,b;c;q,z)=((b;q)_infty(az;q)_infty)/((c;q)_infty(z;q)_infty)_2phi_1(c/b,a;az;q,b),
(4)

似乎凭空出现。另一个这样的例子是

sum_(n=0)^infty((-q;q^2)_nq^(n(n-1))z^n)/((z;q^2)_n)=sum_(n=0)^infty((-zq;q^4)_nq^(n(2n-1))z^n)/((z;q^2)_(2n+1))
(5)

(Gordon 和 McIntosh 2000)。

Hirschhorn (1999) 给出了美丽的恒等式

(q)_infty^5=(q^5)_infty (mod 5)
(6)
=1+4q^5+4q^(10)+q^(25)+q^(35)+4q^(60)+... (mod 5)
(7)

(OEIS A098445)。其他涉及 q 级数 (q)_infty 的模恒等式包括

(q)_infty^3=sum_(n=0)^(infty)(-1)^n(2n+1)q^(n(n+1)/2) (mod 5)
(8)
=X+2qY (mod 5)
(9)

(Hardy 和 Wright 1979，Hirschhorn 1999)，其中

X=product_(n=1)^(infty)(1-q^(25n-15))(1-q^(25n-10))(1-q^(25n))
(10)
=sum_(n=-infty)^(infty)(-1)^nq^((25n^2-5n)/2)
(11)
Y=product_(n=1)^(infty)(1-q^(25n-20))(1-q^(25n-5))(1-q^(25n))
(12)
=sum_(n=-infty)^(infty)(-1)^nq^((25n^2-15n)/2)
(13)

(Hirschhorn 1999)。

Zucker (1990) 定义了有用的符号

(n)=product_(k=1)^(infty)(1-q^(kn))
(14)
=(q^n;q^n)
(15)
[n]=q^(n/24)product_(k=1)^(infty)(1-q^(kn)).
(16)

M. Trott（私人通讯，2000 年 12 月 19 日）发现了一组可以用这种符号表示的美丽恒等式，

0=-5(1)(2)^2(5)^4+4(2)^5(5)(10)+(1)^5(10)^2
(17)
0=-9(1)(2)^4(3)^8+8(2)^9(3)^3(6)+(1)^9(6)^4
(18)
0=-25(1)^2(2)^2(5)^7+16(2)^8(5)(10)^2+5(1)^6(5)^3(10)^2
(19)
+4(1)^5(2)^3(10)^3
(20)
0=-4(1)^2(3)^2(4)^8+3(2)^8(6)^4+(1)^8(4)^2(12)^2
(21)
0=-2(1)^4(4)^(14)+(2)^(14)(8)^4+(1)^8(2)^2(4)^4(8)^4.
(22)

这些与 模方程 恒等式密切相关。例如，方程 (◇) 是 Shen (1994) 方程 (3.12) 的优雅形式，使用以下恒等式获得

theta_4(q)=((1)^2)/((2))
(23)
theta_4(q^5)=(10)product_(k=1)^(infty)(1-q^(10k-5))^2
(24)
theta_4^3(q^5)=((5)^4)/((10))product_(k=1)^(infty)(1-q^(10k-5))^2
(25)

(OEIS A002448, A089803, 和 A089804)。 同样，方程 (◇) 实际上是经典表达式

theta_3^2(q)+theta_4^2(q)=2theta_3^2(q^2)
(26)

对于 雅可比 theta 函数，它来自

theta_3(q)=((2)^5)/((1)^2(4)^2)
(27)
theta_4(q)=((1)^2)/((2))
(28)

(J. Zucker，私人通讯，2003 年 11 月 11 日)。

M. Trott（私人通讯，2009 年 7 月 8 日）发现的另一组恒等式由下式给出

(-1;q)_infty-2(-q;q)_infty=0 q(q^2;q)_infty-(q^2;q)_infty+(q;q)_infty=0 2q(-q^2;q)_infty+2(-q^2;q)_infty-(-1;q)_infty=0 q(-q^2;q)_infty+(-q^2;q)_infty-(-q;q)_infty=0 q(q^(-1);q^2)_infty-q(q;q^2)_infty+(q;q^2)_infty=0 q(-q^(-1);q^2)_infty-q(-q;q^2)_infty-(-q;q^2)_infty=0 (q;q^2)_infty+q(q^3;q^2)_infty-(q^3;q^2)_infty=0 -(q^3;q)_infty+(q^2;q)_infty+q^2(q^3;q)_infty=0 -(-q;q^2)_infty+q(-q^3;q^2)_infty+(-q^3;q^2)_infty=0 (-q^3;q)_infty-(-q^2;q)_infty+q^2(-q^3;q)_infty=0 q(q^(-1);q^3)_infty-q(q^2;q^3)_infty+(q^2;q^3)_infty=0 (q;q^3)_infty+q^2(q^(-2);q^3)_infty-q^2(q;q^3)_infty=0 -(-q;q^3)_infty+q^2(-q^(-2);q^3)_infty-q^2(-q;q^3)_infty=0 q(q^(-1);q^4)_infty-q(q^3;q^4)_infty+(q^3;q^4)_infty=0 q(-q^(-1);q^4)_infty-q(-q^3;q^4)_infty-(-q^3;q^4)_infty=0 (q;q^4)_infty+q^3(q^(-3);q^4)_infty-q^3(q;q^4)_infty=0 -(-q;q^4)_infty+q^3(-q^(-3);q^4)_infty-q^3(-q;q^4)_infty=0 (q^3;q^5)_infty+q^2(q^(-2);q^5)_infty-q^2(q^3;q^5)_infty=0 -(-q^3;q^5)_infty+q^2(-q^(-2);q^5)_infty-q^2(-q^3;q^5)_infty=0 q^3(q^(-3);q^5)_infty+(q^2;q^5)_infty-q^3(q^2;q^5)_infty=0 q^3(-q^(-3);q^5)_infty-(-q^2;q^5)_infty-q^3(-q^2;q^5)_infty=0 (q;q^5)_infty+q^4(q^(-4);q^5)_infty-q^4(q;q^5)_infty=0 -(-q;q^5)_infty+q^4(-q^(-4);q^5)_infty-q^4(-q;q^5)_infty=0 q^3(q^(-3);q^6)_infty-q^3(q^3;q^6)_infty+(q^3;q^6)_infty=0 q^3(-q^(-3);q^6)_infty-q^3(-q^3;q^6)_infty-(-q^3;q^6)_infty=0 q^4(q^(-4);q^6)_infty+(q^2;q^6)_infty-q^4(q^2;q^6)_infty=0 q^4(-q^(-4);q^6)_infty-(-q^2;q^6)_infty-q^4(-q^2;q^6)_infty=0 (q;q^6)_infty+q^5(q^(-5);q^6)_infty-q^5(q;q^6)_infty=0 -(-q;q^6)_infty+q^5(-q^(-5);q^6)_infty-q^5(-q;q^6)_infty=0 q^4(q^(-4);q^7)_infty+(q^3;q^7)_infty-q^4(q^3;q^7)_infty=0 q^4(-q^(-4);q^7)_infty-(-q^3;q^7)_infty-q^4(-q^3;q^7)_infty=0 q^5(q^(-5);q^7)_infty+(q^2;q^7)_infty-q^5(q^2;q^7)_infty=0 q^5(-q^(-5);q^7)_infty-(-q^2;q^7)_infty-q^5(-q^2;q^7)_infty=0 (q;q^7)_infty+q^6(q^(-6);q^7)_infty-q^6(q;q^7)_infty=0 -(-q;q^7)_infty+q^6(-q^(-6);q^7)_infty-q^6(-q;q^7)_infty=0 q^5(q^(-5);q^8)_infty+(q^3;q^8)_infty-q^5(q^3;q^8)_infty=0 q^6(-q^(-6);q^8)_infty-(-q^2;q^8)_infty-q^6(-q^2;q^8)_infty=0 (q;q^8)_infty+q^7(q^(-7);q^8)_infty-q^7(q;q^8)_infty=0 -(-q;q^8)_infty+q^7(-q^(-7);q^8)_infty-q^7(-q;q^8)_infty=0 q^8(-q^(-8);q^(11))_infty-(-q^3;q^(11))_infty-q^8(-q^3;q^(11))_infty=0 -(-q;q^(16))_infty+q^(15)(-q^(-15);q^(16))_infty-q^(15)(-q;q^(16))_infty=0.
(29)

另请参阅

雅可比恒等式, q-超几何函数, q-级数, q-范德蒙和, 拉马努金 Theta 函数, 罗杰斯-拉马努金恒等式

使用 Wolfram|Alpha 探索

参考文献

Andrews, G. E. q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Providence, RI: Amer. Math. Soc., 1986.Berndt, B. C. "Modular Equations of Degrees 3, 5, and 7 and Associated Theta-Function Identities." 第 19 章，Ramanujan's Notebooks, Part III. New York:Springer-Verlag, 页 220-324, 1985.Gasper, G. 和 Rahman, M. Basic Hypergeometric Series. Cambridge, England: Cambridge University Press, 1990.Gordon, B. 和 McIntosh, R. J. "Some Eighth Order Mock Theta Functions." J. London Math. Soc. 62, 321-335, 2000.Hardy, G. H. 和 Wright, E. M. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, 1979.Hirschhorn, M. D. "Another Short Proof of Ramanujan's Mod 5 Partition Congruences, and More." Amer. Math. Monthly 106, 580-583, 1999.Leininger, V. E. 和 Milne, S. C. "Some New Infinite Families of eta-Function Identities." Methods Appl. Anal. 6, 225-248, 1999.Shen, L.-C. "On the Additive Formulae of the Theta Functions and a Collection of Lambert Series Pertaining to the Modular Equations of Degree 5." Trans. Amer. Math. Soc. 345, 323-345, 1994.Sloane, N. J. A. Sequences A002448, A089803, A089804, 和 A098445 in "The On-Line Encyclopedia of Integer Sequences."Zucker, J. "Further Relations Amongst Infinite Series and Products. II. The Evaluation of Three-Dimensional Lattice Sums." J. Phys. A: Math. Gen. 23, 117-132, 1990.

在 Wolfram|Alpha 中引用

q 级数恒等式

请引用为

Weisstein, Eric W. "q 级数恒等式。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/q-SeriesIdentities.html

主题分类