,也记为
(Abramowitz and Stegun 1972, p. 825),给出将整数
写成正整数之和的方式数,不考虑顺序,且要求给定划分中的所有整数都是不同的。例如,
,因为 10 划分为不同部分的划分是
,
,
,
,
,
,
,
,
,
。
函数在 Wolfram 语言中实现为PartitionsQ[n]。
通常定义为 1。
对于 , 2, ... 的值是 1, 1, 2, 2, 3, 4, 5, 6, 8, 10, ... (OEIS A000009)。
的前几个素数值对应于索引 3, 4, 5, 7, 22, 70, 100, 495, 1247, 2072, 320397, 3335367, 16168775, 37472505, 52940251, 78840125, 81191852, ... (OEIS A035359),对应的值为 2, 2, 3, 5, 89, 29927, 444793, 602644050950309, ... (OEIS A051005),直至
没有其他素数值 (M. Alekseyev, Jul. 10, 2015)。
也是将
划分为奇数部分的方式数,有时记为
(Andrews 1998, p. 237)。
生成函数 对于 是
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
其中 和
是 q-Pochhammer 符号。
这也可以解释为 雅可比三重积 的另一种形式,用 Q 函数 表示为
(7)
|
(Borwein and Borwein 1987, p. 64)。
递推关系 由 和
(8)
|
给出,其中
(9)
|
并且
(10)
|
是奇数除数函数,给出 的奇数除数之和:1, 1, 4, 1, 6, 4, 8, ... (OEIS A000593;Abramowitz and Stegun 1972, p. 826)。
另一个递推关系由 和
(11)
|
给出,其中
(12)
|
(E. Georgiadis, A. V. Sutherland, and K. S. Kedlaya; Sloane)。
满足不等式
(13)
|
对于 。
具有渐近级数
(14)
|
(Abramowitz and Stegun 1972, p. 826)。
对于 的类 Rademacher 收敛级数由下式给出
(15)
|
给出,其中
(16)
|
(P. J. Grabner,私人通信,Sep. 10, 2003;Hagis 1964ab, 1965),其中 表示
和
是互质的,
(17)
|
是戴德金和, 是向下取整函数,并且
是零阶第一类贝塞尔函数。公式 (16) 纠正了 Abramowitz 和 Stegun (1972, p. 825) 的错误陈述,他们错误地声称与
的公式中的类似表达式相同。(15)也可以显式地写成
(18)
|
其中 是广义超几何函数。
设 表示将
划分为正好
个不同部分的方式数。例如,
,因为 10 划分为三个不同部分的划分有四种:
,
,
,和
。
由下式给出
(19)
|
其中 是划分函数 P,并且
是二项式系数 (Comtet 1974, p. 116)。下表给出了
的前几个值 (OEIS A008289;Comtet 1974, pp. 115-116)。
1 | 2 | 3 | 4 | |
1 | 1 | |||
2 | 1 | |||
3 | 1 | 1 | ||
4 | 1 | 1 | ||
5 | 1 | 2 | ||
6 | 1 | 2 | 1 | |
7 | 1 | 3 | 1 | |
8 | 1 | 3 | 2 | |
9 | 1 | 4 | 3 | |
10 | 1 | 4 | 4 | 1 |