,也记为
(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, 7 月 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, 和 K. S. Kedlaya; Sloane)。
满足不等式
(13)
|
对于 。
具有渐近级数
(14)
|
(Abramowitz and Stegun 1972, p. 826)。
的类 Rademacher 收敛级数由下式给出
(15)
|
给出,其中
(16)
|
(P. J. Grabner, 私人通信,9 月 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 |