q阶乘幂是阶乘幂的Q-模拟[1]。与阶乘幂在广义超几何函数中的作用类似,q阶乘幂也是定义基本超几何函数的基础。
- 当n为正整数时,q阶乘幂定义为
![{\displaystyle (a;q)_{n}=\prod _{k=0}^{n-1}(1-aq^{k})=(1-a)(1-aq)(1-aq^{2})\cdots (1-aq^{n-1}),}](//wikimedia.org/api/rest_v1/media/math/render/svg/b1466ba7e092bdb772d16e37528304f129dd4d52)
- 当n为0时,q阶乘幂定义为
![{\displaystyle (a;q)_{0}=1.}](//wikimedia.org/api/rest_v1/media/math/render/svg/24e08580648c17926f024546ff8776dc785ce84f)
- 与一般的阶乘幂不同的是,q阶乘幂可以扩展成一个无穷乘积
![{\displaystyle (a;q)_{\infty }=\prod _{k=0}^{\infty }(1-aq^{k}),}](//wikimedia.org/api/rest_v1/media/math/render/svg/1f7b7dd330e81362c6cd58b4d9e959563ae93118)
- 这时它是一个关于q在单位圆盘内的解析函数,也可以考虑为一个关于q的形式幂级数。其中一个特殊情况
![{\displaystyle \phi (q)=(q;q)_{\infty }=\prod _{k=1}^{\infty }(1-q^{k})}](//wikimedia.org/api/rest_v1/media/math/render/svg/d215ab17825076b0d5aab4ac52b0bd7753867a09)
- 被称为欧拉函数。
- 有限q阶乘幂可以用无穷q阶乘幂表示
![{\displaystyle (a;q)_{n}={\frac {(a;q)_{\infty }}{(aq^{n};q)_{\infty }}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/5c7f907936f668ccacd8f2ab89d4adb26e421418)
- 这样就能把q阶乘幂扩展到n为负整数的情况:对于非负整数n,有
![{\displaystyle (a;q)_{-n}={\frac {1}{(aq^{-n};q)_{n}}}=\prod _{k=1}^{n}{\frac {1}{(1-a/q^{k})}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6962b7e934ccc8f6e7439fc4326f50a46087b054)
- 以及
![{\displaystyle (a;q)_{-n}={\frac {(-q/a)^{n}q^{n(n-1)/2}}{(q/a;q)_{n}}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/2f6fd993d11429c7f4e525406d37a436ca2cf0f5)
因为很多关于q阶乘幂的等式都含有多个q阶乘幂相乘,因此在标准写法中用一个含有多个变量的q阶乘幂来表示这个乘积:
![{\displaystyle (a_{1},a_{2},\ldots ,a_{m};q)_{n}=(a_{1};q)_{n}(a_{2};q)_{n}\ldots (a_{m};q)_{n}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/a82b61091c36e3c40744890888e52b1e7b8a11d8)
-
::
![Thumb](//wikimedia.org/api/rest_v1/media/math/render/svg/bab691dc351d39956a70d069b6c199095dfe5d22)
-
::
![Thumb](//wikimedia.org/api/rest_v1/media/math/render/svg/d77f575034e1f54ca86abad8b8c7698c4cfefd37)
-
::
![Thumb](//wikimedia.org/api/rest_v1/media/math/render/svg/d37aa71a45d08a77cfc69773da235c057587d8eb)
-
::
![Thumb](//wikimedia.org/api/rest_v1/media/math/render/svg/50c80b06f54c07efc5d880883d7edf6a748e3e8b)