主題
Search

第二類斯特林數

下載 Mathematica Notebook 圖示下載 Wolfram Notebook

將一個包含 n 個元素的集合劃分為 m 個非空集合（即，m 集塊）的方法數，也稱為斯特林集數。例如，集合 {1,2,3} 可以用一種方式劃分為三個子集：{{1},{2},{3}}；用三種方式劃分為兩個子集：{{1,2},{3}}，{{1,3},{2}}，和 {{1},{2,3}}；以及用一種方式劃分為一個子集：{{1,2,3}}。

第二類斯特林數有多種表示法，包括 S(n,m) (Riordan 1980, Roman 1984), S_n^((m)) (Fort 1948; Abramowitz and Stegun 1972, p. 822), S_n^m (Jordan 1965), s_n^((m)), S_2(n,m), 或 Knuth 的符號 {n; m} (Graham et al. 1994; Knuth 1997, p. 65)。Abramowitz 和 Stegun (1972, p. 822) 總結了各種符號約定，這些約定可能有點令人困惑。第二類斯特林數在 Wolfram 語言 中實現為StirlingS2[n, m]，並表示為 S_n^((m))。

三個元素的第二類斯特林數是

S(3,1)=1
(1)
S(3,2)=3
(2)
S(3,3)=1.
(3)

由於一個包含 n 個元素的集合只能以一種方式劃分為 1 個或 n 個子集，

S(n,1)=S(n,n)=1.
(4)

其他特殊情況包括

S(n,0)=delta_(n0)
(5)
S(n,2)=2^(n-1)-1
(6)
S(n,3)=1/6(3^n-3·2^n+3)
(7)
S(n,n-1)=(n; 2).
(8)

第二類斯特林數三角形是

1 1 1 1 3 1 1 7 6 1 1 15 25 10 1 1 31 90 65 15 1
(9)

(OEIS A008277)，其第 n 行對應於 貝爾多項式 phi_n(x) 的係數。

第二類斯特林數可以透過以下求和公式計算

S(n,k)=1/(k!)sum_(i=0)^k(-1)^i(k; i)(k-i)^n,
(10)

其中 (n; k) 是一個二項式係數，或者使用生成函式

x^n=sum_(m=0)^(n)S(n,m)(x)_m
(11)
=sum_(m=0)^(n)S(n,m)x(x-1)...(x-m+1),
(12)

其中 (x)_m 是降階乘 (Roman 1984, pp. 60 和 101)，

sum_(n=k)^inftyS(n,k)(x^n)/(n!)=1/(k!)(e^x-1)^k,
(13)

以及

sum_(n=1)^(infty)S(n,k)x^n=sum_(n=k)^(infty)S(n,k)x^n
(14)
=(x^k)/((1-x)(1-2x)...(1-kx))
(15)
=((-1)^k)/(((x-1)/x)_k)
(16)

對於 z<1/m (Abramowitz 和 Stegun 1972, p. 824; Stanley 1997, p. 57)，其中 (x)_m 是一個 波赫哈默爾符號。另一個生成函式由下式給出

sum_(k=1)^nS(n,k)(k-1)!z^k=(-1)^nLi_(1-n)(1+1/z)
(17)

對於 n>=2，其中 Li_n(z) 是多對數函式。

第二類斯特林數透過 Dobiński 公式 與 泊松分佈 密切相關

B_n(x)=sum_(k=0)^nx^kS(n,k)
(18)

其中 B_n(x) 是一個 貝爾多項式。

StirlingNumberSecondKind

以上圖表 (Dickau) 說明了第二類斯特林數 S(n,m) 對於 n=3 和 4 的定義。第二類斯特林數遵循以下遞推關係

S(n,k)=S(n-1,k-1)+kS(n-1,k)
(19)
S(n,k)=sum_(m=k)^(n)k^(n-m)S(m-1,k-1).
(20)

第一類斯特林數 s(n,m) 與第二類斯特林數 S(n,m) 相關聯。例如，矩陣 (s)_(i,j) 和 (S)_(i,j) 互為逆矩陣，其中 (A)_(ij) 表示第 (i,j) 項為 aAi,j) 的矩陣，對於 i,j=1, ..., n (G. Helms，私人通訊，2006 年 4 月 28 日)。

其他公式包括

s(n,i)=sum_(k=i)^nsum_(j=0)^ks(n,k)s(k,j)S(j,i)
(21)
S(n,i)=sum_(k=i)^nsum_(j=0)^kS(n,k)S(k,j)s(j,i)
(22)

(Roman 1984, p. 67)，以及

S(n,m)=sum_(k=0)^(n-m)(-1)^k(k+n-1; k+n-m)(2n-m; n-k-m)s(k-m+n,k)
(23)
s(n,m)=sum_(k=0)^(n-m)(-1)^k(k+n-1; k+n-m)(2n-m; n-k-m)S(k-m+n,k)
(24)
sum_(l=0)^(max(k,j)+1)s(l,j)S(k,1)=delta_(jk)
(25)
sum_(l=0)^(max(k,j)+1)s(k,l)S(l,j)=delta_(jm).
(26)

涉及第二類斯特林數的恆等式由下式給出

sum_(m=1)^n(-1)^m(m-1)!S(n,m)=0
(27)
sum_(k=0)^nk!(m+1; k+1)S(n,k)=H_(m,-n),
(28)

其中 H_(n,r) 是一個廣義調和數，並且

f(m,n)=sum_(k=1)^(infty)k^n(m/(m+1))^k
(29)
=(m+1)sum_(k=1)^(n)k!S(n,k)m^k.
(30)

序列 f(1,n) 由 2, 6, 26, 150, 1082, 9366, 94586, 1091670, ... (OEIS A000629; Konhauser et al. 1996, p. 174) 給出，並且最後一位數字只能是 0、2 或 6 (Riskin 1995)。K. A. Penson（私人通訊，2002 年 4 月 10 日）提出的另一個有趣的恆等式由下式給出

sum_(k=0)^inftyk^n[k+1-(Gamma(k+2,1))/(Gamma(k+1))]=sum_(k=0)^n(S(n,k))/(k+2)
(31)

對於 n=0, 1, ..., 其中 Gamma(a,x) 是一個不完全伽瑪函式，Gamma(x) 是一個 伽瑪函式，並且 k^n 在 k,n=0 時取值為 1。

第二類斯特林數也出現在涉及微分運算元 theta=zd/dz 的恆等式中。

另請參閱

貝爾數, 貝爾多項式, 組合鎖, 互補貝爾數, 微分運算元, Lengyel 常數, 最小覆蓋, 泊松分佈, 第一類斯特林數, 斯特林多項式, 斯特林變換

相關的 Wolfram 網站

http://functions.wolfram.com/IntegerFunctions/StirlingS2/

使用 探索

參考文獻

Abramowitz, M. 和 Stegun, I. A. (編). "第二類斯特林數." §24.1.4 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. 紐約: Dover, pp. 824-825, 1972.Butzer, P. L. 和 Hauss, M. "第一類和第二類斯特林函式；一些新的應用." Israel Mathematical Conference Proceedings: Approximation, Interpolation, and Summability, in Honor of Amnon Jakimovski on his Sixty-Fifth Birthday (編 S. Baron 和 D. Leviatan). Ramat Gan, Israel: IMCP, pp. 89-108, 1991.Carlitz, L. "關於 Nörlund 的 [原文如此] 多項式 B_n^((z))." Proc. Amer. Math. Soc. 11, 452-455, 1960.Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. 多德雷赫特，荷蘭: Reidel, 1974.Conway, J. H. 和 Guy, R. K. In The Book of Numbers. 紐約: Springer-Verlag, pp. 91-92, 1996.Dickau, R. M. "第二類斯特林數." http://mathforum.org/advanced/robertd/stirling2.html.Dickau, R. "視覺化組合列舉." Mathematica in Educ. Res. 8, 11-18, 1999.Fort, T. Finite Differences and Difference Equations in the Real Domain. 牛津，英格蘭: Clarendon Press, 1948.Gould, H. W. "斯特林數表示問題." Proc. Amer. Math. Soc. 11, 447-451, 1960.Graham, R. L.; Knuth, D. E.; 和 Patashnik, O. "斯特林數." §6.1 in Concrete Mathematics: A Foundation for Computer Science, 2nd ed. 雷丁，馬薩諸塞州: Addison-Wesley, pp. 257-267, 1994.Jordan, C. Calculus of Finite Differences, 3rd ed. 紐約: Chelsea, 1965.Knuth, D. E. "關於符號的兩個註釋." Amer. Math. Monthly 99, 403-422, 1992.Knuth, D. E. The Art of Computer Programming, Vol. 1: Fundamental Algorithms, 3rd ed. 雷丁，馬薩諸塞州: Addison-Wesley, 1997.Konhauser, J. D. E.; Velleman, D.; 和 Wagon, S. Which Way Did the Bicycle Go? And Other Intriguing Mathematical Mysteries. 華盛頓特區: Math. Assoc. Amer., p. 174, 1996.Riordan, J. Combinatorial Identities. 紐約: Wiley, 1979.Riordan, J. An Introduction to Combinatorial Analysis. 紐約: Wiley, 1980.Riskin, A. "問題 10231." Amer. Math. Monthly 102, 175-176, 1995.Roman, S. The Umbral Calculus. 紐約: Academic Press, pp. 59-63, 1984.Sloane, N. J. A. 序列 A000629 和 A008277 in "整數序列線上百科全書."Stanley, R. P. Enumerative Combinatorics, Vol. 1. 劍橋，英格蘭: Cambridge University Press, 1997.Stirling, J. Methodus differentialis, sive tractatus de summation et interpolation serierum infinitarium. 倫敦, 1730. 英文翻譯由 Holliday, J. The Differential Method: A Treatise of the Summation and Interpolation of Infinite Series. 1749.Young, P. T. "伯努利數、尤拉數和斯特林數的同餘式." J. Number Th. 78, 204-227, 1999.

在 中引用

第二類斯特林數

請引用為

Weisstein, Eric W. "第二類斯特林數." 來自 Web 資源. https://mathworld.tw/StirlingNumberoftheSecondKind.html

主題分類