عدد استرلینگ

در ریاضیات، اعداد استرلینگ الگو:انگلیسی، در مسائل آنالیزی و ترکیبیاتی مختلفی ظهور پیدا می‌کنند. یکی از اولین نتایجی که منجر به کشف اعداد استرلینگ شد، به دلیل کارهای ماسانوبو ساکا (Masanobu Saka) در ۱۷۸۲ بود.الگو:Sfn جیمز استرلینگ در کتابش (Methodus Differentials)، این اعداد را در سال ۱۷۳۰ به صورت جبری محض پیدا کرده بود.الگو:Sfn با وجود این که استرلینگ قبلاً این اعداد را کشف کرده بود، اما ساکا اعتبار معنابخشی ترکیبیاتی به این اعداد را نصیب خود کرد، که اکنون به نام جیمز استرلینگ می‌باشند.الگو:Sfn این نام بر روی دو مجموعه مختلف از اعداد قرار دارد. اعداد استرلینگ نوع اول و اعداد استرلینگ نوع دوم. به علاوه، برخی مواقع به اعداد لاه (Lah) نیز اعداد استرلینگ نوع سوم می‌گویند. هر نوع ازین اعداد در مقاله مربوط به خود به تفصیل مورد بحث قرار گرفته شده‌است. در این مقاله، بیشتر در مورد روابط بین این اعداد صحبت می‌شود.

خاصیت مشترک تمام این سه نوع عدد این است که آن‌ها توصیف‌کننده روابط بین سه نوع دنباله متفاوت از چندجمله‌ای‌هایی اند که به‌طور متداول در ترکیبیات ظاهر می‌گردند. به علاوه، تمام این سه نوع عدد را می‌توان به عنوان تعداد افرازهای n عنصر به k زیرمجموعه ناتهی نیز تعریف نمود که در هر زیرمجموعه، ترتیب‌ها را می‌توان به طرق مختلفی شمرد.

نمادگذاری

نمادهای متفاوت و متعددی برای اعداد استرلینگ مورد استفاده اند. در ادامه، رایج‌ترین نمادگذاری‌های معرفی می‌گردند. نماد اعداد استرلینگ نوع اول (علامت‌دار): الگو:وسط‌چین $s (n, k)$ الگو:پایان وسط‌چین برای اعداد استرلینگ نوع اول (بدون علامت) که تعداد جایگشت‌های n عنصر با k دور مجزا را می‌شمارد: الگو:وسط‌چین $[\binom{n}{k}] = c (n, k) = | s (n, k) | = (- 1)^{n - k} s (n, k)$ الگو:پایان وسط‌چین و برای اعداد استرلینگ نوع دوم، که تعداد طرق افراز یک مجموعه n عضوی به k زیرمجموعه ناتهی را می‌شمارد:^[۱] الگو:وسط‌چین ${\begin{matrix} n \\ k \end{matrix}} = S (n, k) = S_{n}^{(k)}$ الگو:پایان وسط‌چین به عنوان مثال، جمع $\sum_{k = 0}^{n} [\binom{n}{k}] = n!$ ، تعداد تمام جایگشت‌ها را می‌شمرد، در حالی که جمع $\sum_{k = 0}^{n} {\begin{matrix} n \\ k \end{matrix}} = B_{n}$ ، الگو:رچnمین عدد بل است.

آبرامویتز و استگان (نام غیررسمی اثری که توسط این دو نفر ویرایش شده)، به ترتیب از یک حرف بزرگ S و یک حرف سیاه S برای اعداد استرلینگ نوع اول و دوم استفاده می‌کند. این نمادگذاری که از براکت و آکولاد برای نمایش این اعداد استفاده می‌کند، در قیاس و الگوگیری از نمادگذاری ضرایب دوجمله‌ای است که در ۱۹۳۵ میلادی توسط جووان کاراماتا معرفی شد و سپس توسط دونال کنوث تجدید حیات گشت (نماد براکت با نمادگذاری رایج ضرایب گاوسی تضاد ایجاد می‌کند). انگیزه ریاضیاتی این نوع از نمادگذاری، به علاوه فرمول‌های اضافه تر برای عدد استرلینگ را می‌توان در صفحه اعداد استرلینگ و توابع مولد نمایی یافت.

کاربردی برای اعداد استرلینگ نوع اول

محاسبه حاصل جمع سری‌ها در دنباله‌ها

فرمول کلی، برای محاسبه حاصل جمع سری‌ها، در دنباله‌های با ویژگی ساختمان، "تفاضل‌گیری چند مرتبه ای (مرحله ای) برای بدست آمدن مقدار «قدر نسبت»، (Nth difference sequences)".

$\sum_{t = 1}^{t} (a_{f})_{t} = (a_{1})_{1} (\frac{\sum_{k = 1, f = 1}^{n, k = (f - 0)} [s (n, k) * t^{(f - 0)}]}{(f - 0)!}) + (a_{2})_{1} (\frac{\sum_{k = 1, f = 2}^{n, k = (f - 1)} [s (n, k) * t^{(f - 1)}]}{(f - 1)!}) + (a_{3})_{1} (\frac{\sum_{k = 1, f = 3}^{n, k = (f - 2)} [s (n, k) * t^{(f - 2)}]}{(f - 2)!}) + . . . + (a_{f})_{1} (\frac{\sum_{k = 1, f = f}^{n, k = (f - (f - 1))} [s (n, k) * t^{(f - (f - 1))}]}{(f - (f - 1))!})$

از فرمول بالا می‌توان برای تعیین حاصل جمع توان‌های یکسان از همه نوع از اعداد، شامل اعداد طبیعی و اعشاری و سایر اعداد، با شکل زیر نیز استفاده نمود. بطور کلی می‌توان فرمول بالا را برای محاسبه کلیه سری‌ها، و دنباله‌ها که فرم ساختمان و مرتبه ای به شکل (Nth difference sequences) ایجاد می نمایند بکار برد. $a^{k} + (a + b)^{k} + (a + 2 b)^{k} + (a + 3 b)^{k} + . . . + (a + n b)^{k}$ به‌طور مثال حاصل جمع سری‌هایی به‌شکل زیر. $3 . 3^{6} + 5 . 4^{6} + 7 . 5^{6} + 9 . 6^{6} + 11 . 7^{6} + 13 . 8^{6} + 15 . 9^{6} = 26616568.58658$ یا $5^{4} + 8^{4} + 1 1^{4} + 1 4^{4} + . . . + 2 9^{4}$
- لذا لازم است برای تعیین اولین جمله‌های حاصل از تفاضلهای متوالی، $(a_{f})_{t}$ ، که در فرمول بالا، به‌منزله ضرایب کسرهای فاکتوریلی می‌باشند، ساختمان دنباله، $[5^{4}, 8^{4}, 1 1^{4}, 1 4^{4}, 1 7^{4}]$ ترسیم گردد. (زیرا در مثال توان چهار، در چهارمین ردیف تفاضل‌گیری از ساختمان دنباله عدد تفاضل مشترک حاصل خواهد شد که برای مثال فوق مقدار ۱۹۴۴ می‌باشد. یا $(a_{f})_{t} = (a_{1})_{1} = 1944$ ) و لذا مقدار " $(a_{f})_{t}$ ‌های" مثال بالا بترتیب $[(a_{5})_{1} = 625], [(a_{4})_{1} = 3471], [(a_{3})_{1} = 7074], [(a_{2})_{1} = 6156], [(a_{1})_{1} = 1944]$ می‌باشد.
و از آنجا که تعداد جمله‌ها در سری مثال فوق (۹) عدد می‌باشد لذا برای مثال بالا $(t = 9)$ جایگذاری خواهد شد.
و به دلیل آنکه سری مثال بالا در پنجمین (۵)، مرتبه از ساختمان دنباله قرار دارد، در فرمول فوق $(f = 5)$ جایگذاری می‌شود. $1944 (\frac{24 * 9 - 50 * 9^{2} + 35 * 9^{3} - 10 * 9^{4} + 9^{5}}{5!}) + 6156 (\frac{- 6 * 9 + 11 * 9^{2} - 6 * 9^{3} + 9^{4}}{4!}) + 7074 (\frac{2 * 9 - 3 * 9^{2} + 9^{3}}{3!}) + 3471 (\frac{- 9 + 9^{2}}{2!}) + 625 (\frac{9}{1!}) = 1745397$ $\sum_{t = 1}^{t = 9} (a_{5})_{t} = 5^{4} + 8^{4} + 1 1^{4} + 1 4^{4} + 1 7^{4} + 2 0^{4} + 2 3^{4} + 2 6^{4} + 2 9^{4} = 1745397$
نکته مهم اینکه، همواره مقدار تفاضل مشترک در ساختمان دنباله‌های مانند مثال بالا، (توان‌های یکسان از اعداد طبیعی)، از رابطه $d = (b - a)^{k} * k!$ حاصل می‌شود.
به‌طور مثال، تفاضل مشترک حاصل از ساختمان دنباله مثال بالا، $d = (b - a)^{k} * k! = (8 - 5)^{4} * 4! = 1944$ می‌باشد.
- در این فرمول نمادهای $(t, f, a)$ بترتیب (نماد دنباله "a"، مرتبه دنباله "floor"، تعداد جمله‌های حاصل جمع "time" از ابتدای دنباله) و $s (n, k)$ اعداد استرلینگ نوع اول می‌باشند. (به دلیل تشابه نمادها در دنباله‌ها با نمادهای "مجموعه استرلینگ $s (n, k)$ "، تغییراتی در نماد دنباله‌ها اعمال گردیده‌است).

به‌طور مثال، فرمول عمومی برای محاسبه حاصل جمع $(t)$ جمله اول از دنباله $(a_{7})_{t}$ و مثالی برای آن، از دنباله $(a_{7})_{8}$ بشرح زیر است.

$\sum_{t = 1}^{t} (a_{7})_{t} = (a_{1})_{1} (\frac{720 t - 1764 t^{2} + 1624 t^{3} - 735 t^{4} + 175 t^{5} - 21 t^{6} + t^{7}}{7!}) + (a_{2})_{1} (\frac{- 120 t + 274 t^{2} - 225 t^{3} + 85 t^{4} - 15 t^{5} + t^{6}}{6!}) + (a_{3})_{1} (\frac{24 t - 50 t^{2} + 35 t^{3} - 10 t^{4} + t^{5}}{5!}) + (a_{4})_{1} (\frac{- 6 t + 11 t^{2} - 6 t^{3} + t^{4}}{4!}) + (a_{5})_{1} (\frac{2 t - 3 t^{2} + t^{3}}{3!}) + (a_{6})_{1} (\frac{- t + t^{2}}{2!}) + (a_{7})_{1} (\frac{t}{1!})$

به‌طور مثال: دنباله، ${- 1, - 24, - 38, 47, 516, 2029, 5861, 14202, . . .}$ در "۶" مرتبه از تفاضل‌گیری متوالی، مقدار قدر نسبت که عدد "۶۰" می‌باشد حاصل می‌گردد؛ لذا، آنرا دنباله مرتبه "۷" می‌نامیم.

بعنوان نمونه، محاسبه حاصل جمع هشت ${t = 8}$ جمله اول از دنباله مرتبه "۷" فوق با استفاده از فرمول کلی، به‌صورت زیر می‌باشد. $\sum_{t = 1}^{8} (a_{7})_{8} = 60 (\frac{720 * 8 - 1764 * 8^{2} + 1624 * 8^{3} - 735 * 8^{4} + 175 * 8^{5} - 21 * 8^{6} + 8^{7}}{7!}) + 180 (\frac{- 120 * 8 + 274 * 8^{2} - 225 * 8^{3} + 85 * 8^{4} - 15 * 8^{5} + 8^{6}}{6!}) + 195 (\frac{24 * 8 - 50 * 8^{2} + 35 * 8^{3} - 10 * 8^{4} + 8^{5}}{5!}) + 90 (\frac{- 6 * 8 + 11 * 8^{2} - 6 * 8^{3} + 8^{4}}{4!}) + 9 (\frac{2 * 8 - 3 * 8^{2} + 8^{3}}{3!}) + (- 23) (\frac{- 8 + 8^{2}}{2!}) + (- 1) (\frac{8}{1!}) = 22592$ $\sum_{t = 1}^{t = 8} (a_{7})_{t} = (- 1) + (- 24) + (- 38) + 47 + 516 + 2029 + 5861 + 14202 = 22592$

در فرمول‌های بالا، ضرایب هر یک از عبارت‌های کسری، اولین جمله ی، دنباله‌های ایجاد شده از تفاضل‌گیری‌های متوالی برای حصول به مقدار «قدر نسبت» می‌باشند.

نکته مهم اینکه با علاوه، (اضافه) نمودن مقدار اولین جمله از دنباله مرتبه بالاتر به فرمول کلی، می‌توان مقدار هر یک از جمله‌های دنباله بالاتر را تعیین نمود. لازم به‌ذکر اینکه، فرمول بالا برای محاسبه سری‌ها در دنباله‌های با جمله‌های اعشاری نیز کاربرد دارد.