高斯二项式系数性质：求证无穷乘积的q级数展开式

API 探路者

2026-5-19

没问题，我来一步步帮你推导这个q-级数的极限结论，核心是利用q-二项式系数的定义和无穷极限下的化简，全程逻辑很清晰：

证明过程详解

首先我们从已知的有限项q-二项式恒等式出发：

$$\prod_{k=0}^{n-1}(1+qkt)=\sum_{k=0}^{n}q{k(k-1)/2}\binom{n}{k}_{q}t^k$$

第一步：明确q-二项式系数的定义

q-二项式系数$\binom{n}{k}_q$的标准表达式（对固定k更友好的形式）是：
$$\binom{n}{k}_q = \frac{(1-q^n)(1-q{n-1})\cdots(1-q^{{n-k+1})}{(1-q)(1-q}2)\cdots(1-q^k)}$$
结合题目里的定义$\phi_k(q)=(1-q)(1-q^2)\cdots(1-qk)$，上式可以简写为：
$$\binom{n}{k}q = \frac{\prod{i=0}^{k-1}(1-q{n-i})}{\phi_k(q)}$$

第二步：计算$n \to \infty$时q-二项式系数的极限

我们讨论的前提是$|q|<1$（这是无穷乘积和级数收敛的必要条件），对于固定的k，当$n \to \infty$时，每个因子$(1-q^{{n-i})$（i从0到k-1）中的指数$n-i$趋向无穷大，而$|q|<1$意味着$q}{n-i} \to 0$，因此每个$(1-q^{n-i}) \to 1$。

由此可得：
$$\lim_{n \to \infty}\binom{n}{k}q = \frac{\prod{i=0}^{k-1}1}{\phi_k(q)} = \frac{1}{\phi_k(q)}$$

第三步：交换极限与求和顺序，得到无穷形式

现在回到原有限恒等式，当$n \to \infty$时：

左边的有限乘积$\prod_{k=0}^{n-1}(1+qkt)$直接趋向无穷乘积$\prod_{k=0}^{\infty}(1+qkt)$（在$|q|<1$且t满足收敛条件时）。
右边的有限和$\sum_{k=0}^n q^{k(k-1)/2}\binom{n}{k}q t^k$，我们可以用Weierstrass M-判别法验证：当$|q|<1$且$|t|$足够小时，级数$\sum{k=0}^\infty q^{{k(k-1)/2}\frac{|t|}k}{\phi_k(q)}$是收敛的，因此可以交换极限与求和的顺序，得到：
$$\lim_{n \to \infty}\sum_{k=0}^n q^{k(k-1)/2}\binom{n}{k}q t^k = \sum{k=0}^\infty q^{k(k-1)/2}\cdot\frac{1}{\phi_k(q)}\cdot t^k$$