主題
Search

舒爾分拆定理


舒爾分拆定理表明,設 A(n) 表示將 n 分拆為模 6 餘 ±1 的部分的方法數,B(n) 表示將 n 分拆為模 3 餘 ±1 的不同部分的方法數,C(n) 表示將 n 分拆為彼此至少相差 3 的部分的方法數,並附加約束條件:可被 3 整除的部分之間至少相差 6。那麼 A(n)=B(n)=C(n) (舒爾 1926; 佈雷斯 1980; 安德魯斯 1986, 第 53 頁)。

對於 n=1, 2, ...,A(n)=B(n)=C(n) 的值為 1, 1, 1, 1, 2, 2, 3, 3, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 18, ... (OEIS A003105)。例如,對於 n=15,有九個分拆滿足這些條件,如下表總結 (安德魯斯 1986, 第 54 頁)。

A(15)=9B(15)=9C(15)=9
13+1+114+115
11+1+1+1+113+214+1
7+7+111+413+2
7+5+1+1+110+512+3
7+1+1+1+...+110+4+111+4
5+5+58+710+5
5+5+1+1+...+18+5+210+4+1
5+1+1+...+18+4+2+19+5+1
1+1+...+17+5+2+18+5+2

恆等式 A(n)=B(n) 可以使用以下恆等式建立

sum_(n=0)^(infty)B(n)q^n=(-q;q^3)_infty(-q^2;q^3)_infty
(1)
=((q^2;q^6)_infty(q^4;q^6)_infty)/((q;q^3)_infty(q^2;q^3)_infty)
(2)
=((q^2;q^6)_infty(q^4;q^6)_infty)/((q;q^6)_infty(q^4;q^6)_infty(q^2;q^6)_infty(q^5;q^6)_infty)
(3)
=1/((q;q^6)_infty(q^5;q^6)_infty)
(4)
=sum_(n=0)^(infty)A(n)q^n
(5)

(安德魯斯 1986, 第 54 頁)。恆等式 B(n)=C(n) 更加複雜。


另請參閱

Andrews-Gordon 恆等式, Göllnitz 定理, Rogers-Ramanujan 恆等式, 舒爾引理, 舒爾數

使用 探索

參考文獻

Andrews, G. E. "q-級數和舒爾定理" 以及 "佈雷斯對舒爾定理的證明"。第 6.2-6.3 節,q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Providence, RI: Amer. Math. Soc., pp. 53-58, 1986。Bressoud, D. M. "舒爾 1926 年分拆定理的組合證明。" Proc. Amer. Math. Soc. 79, 338-340, 1980。Schur, I. "關於同餘式 x^m+y^m=z^m (mod p)。" Jahresber. Deutsche Math.-Verein. 25, 114-116, 1916。Schur, I. "關於加法數論。" Sitzungsber. Preuss. Akad. Wiss. Phys.-Math. Kl., pp. 488-495, 1926。重印於 Gesammelte Abhandlungen, Vol. 3. Berlin: Springer-Verlag, pp. 43-50, 1973。Sloane, N. J. A. "整數序列線上百科全書" 中的序列 A003105/M0254。

在 中被引用

舒爾分拆定理

引用為

Weisstein, Eric W. "舒爾分拆定理。" 來自 Web 資源。 https://mathworld.tw/SchursPartitionTheorem.html

主題分類