主题
Search

划分函数 b_k

DOWNLOAD Mathematica Notebook下载 Wolfram 笔记本

数 n 的划分中，所有部分都不是 k 的倍数的划分数，有时记为 b_k(n) (Gordon 和 Ono 1997)。b_k(n) 也是将 n 划分为每个部分最多 k-1 份的划分数。

存在一个特殊情况

b_2(n)=Q(n),
(1)

其中 Q(n) 是 划分函数 Q，而 b_p(n) 是 p-模表示的不可约数目 对称群 S_n。b_k(n) 的生成函数由下式给出

sum_(n=0)^(infty)b_k(n)x^n=product_(n=1)^(infty)(1-x^(kn))/(1-x^n)
(2)
=((x^k)_infty)/((x)_infty),
(3)

其中 (q)_k 是一个 q-波赫哈默尔符号。

下表给出了小 k 的 b_k(n) 的前几个值。

kOEISb_k(n)
2A0000091, 1, 2, 2, 3, 4, 5, 6, 8, 10, 12, 15, 18, 22, ...
3A0007261, 2, 2, 4, 5, 7, 9, 13, 16, 22, 27, 36, 44, 57, ...
4A0019351, 2, 3, 4, 6, 9, 12, 16, 22, 29, 38, 50, 64, 82, ...
5A0359591, 2, 3, 5, 6, 10, 13, 19, 25, 34, 44, 60, 76, 100, ...

Gordon 和 Ono (1997) 表明

b_5(5n+4)=0 (mod 5)
(4)
b_7(7n+5)=0 (mod 7)
(5)
b_(11)(11n+6)=0 (mod 11).
(6)

定义 S_k(N;M) 为满足 b_k(n)=0 (mod M) 的正整数 n<=N 的数目，Gordon 和 Ono (1997) 证明了如果 p_i^(a_i)>=sqrt(k)，则

lim_(N->infty)(S_k(N;p_i^j))/N=1
(7)

对于所有 j，其中 k=p_1^(a_1)p_2^(a_2)...p_m^(a_m)。

使用 Wolfram|Alpha 探索

参考文献

Andrews, G. E. The Theory of Partitions. Cambridge, England: Cambridge University Press, p. 109, 1998.Carlitz, L. "Generating Functions and Partition Problems." In Theory of Numbers (Ed. A. L. Whiteman). Providence, RI: Amer. Math. Soc., pp. 144-169, 1965.Cayley, A. "A Memoir on the Transformation of Elliptic Functions." Collected Mathematical Papers, Vol. 9. London: Cambridge University Press, p. 128, 1889-1897.Honsberger, R. Mathematical Gems III. Washington, DC: Math. Assoc. Amer., p. 241, 1985.Gordon, B. and Ono, K. "Divisibility of Certain Partition Functions By Powers of Primes." Ramanujan J. 1, 25-34, 1997.Sloane, N. J. A. Sequences A000009/M0281, A000726/M0316, A001935/M0566, and A035959 in "The On-Line Encyclopedia of Integer Sequences."

请引用本文为

Weisstein, Eric W. "Partition Function b_k." 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/PartitionFunctionb.html

主题分类