صيغة فاولهابر

تصغير|200بك|يسار
في الرياضيات، **صيغة فاولابر**، المسماة على اسم جوهان فاولابر، تعبر عن مجموع قوى الأعداد الطبيعية n الأولى من الدرجة p:

:\sum_{k=1}^n k^p = 1^p + 2^p + 3^p + \cdots + n^p

بأنه متعددة للحدود متغيرها &nbsp;*n*، ذات الدرجة (*p*&nbsp;+&nbsp;1) والتي تدخل في معاملاتها أعداد بيرنولي.

أعداد بيرنولي غالبا بالاصطلاح العام هُن:

:B_0 = 1,\quad B_1 = -{1 \over 2},\quad B_2 = {1 \over 6}, \quad B_3 = 0,\quad B_4 = -{1 \over 30},\quad\dots

حيث  B_1 = {1 \over 2} بدلا من -1 \over 2

ولكن للوهلة التي نتبع فيها اصطلاحا قد لا يبدوا مألوفا، بأن *B*1&nbsp;=&nbsp;+1/2, وجميع أعداد بيرنولي الأخرى تظل كما هي أعلاه (ولكن انظر الأسفل للمزيد حول هذا الموضوع).

تنص الصيغة أن

:\sum_{k=1}^n k^p = {1 \over p+1} \sum_{j=0}^p {p+1 \choose j} B_j n^{p+1-j}
 (المعامل *j* يعمل فقط حتى *p*، وليس حتى *p*&nbsp;+&nbsp;1).

لم يعلم فاولابر أن الصيغة بهذا الشكل. كان على الأقل قد عرف الـ17 حالة الأولى والحقيقة القائلة بأنه عندما يكون الأس فرديا، فإن المجموع يصبح كثيرة حدود للمجموع في الخالة الخاصة حين يكون الأسis&nbsp;1، كما كان أيضا قد علم ببعض التعميمات الجديرة بالملاحظة.
اشتقاق صيغة فاولابر متوفر في كتاب الأرقام (*The Book of Numbers*) لـجون هورتون كونوي ورتشارد غاي.

## أمثلة

:1 + 2 + 3 + \cdots + n = {n(n+1) \over 2} = {n^2 + n \over 2}

:1^2 + 2^2 + 3^2 + \cdots + n^2 = {n(n+1)(2n+1) \over 6} = {2n^3 + 3n^2 + n \over 6}

:1^3 + 2^3 + 3^3 + \cdots + n^3 = \left({n^2 + n \over 2}\right)^2 = {n^4 + 2n^3 + n^2 \over 4}

:1^4 + 2^4 + 3^4 + \cdots + n^4 = {6n^5 + 15n^4 + 10n^3 - n \over 30} 

:1^5 + 2^5 + 3^5 + \cdots + n^5 = {2n^6 + 6n^5 + 5n^4 - n^2 \over 12} 

:1^6 + 2^6 + 3^6 + \cdots + n^6 = {6n^7 + 21n^6 + 21n^5 -7n^3 + n \over 42} 

## علاقتها بكثيرة حدود بيرنولي

يمكن أيضا كتابة

:\sum_{k=0}^{n} k^p = \frac{\varphi_{p+1}(n+1)-\varphi_{p+1}(0)}{p+1},

حيثφ*j* هي متعدد حدود بيرنولي حتى الحد *j*.

## الشكل الظلالي

في التفاضل الظلالي التقليدي يتم معاملة 'j* العوامل في تعاقب أو سلسلة *B*<sub>*j*</sub> على أنها قوى، حتى نستطيع في هذه الحال تطبيق [[مبرهنة ذي الحدين|نظرية ذات الحدين]] ونقول:

:<math>\sum_{k=1}^n k^p = {1 \over p+1} \sum_{j=0}^p {p+1 \choose j} B_j n^{p+1-j}
= {1 \over p+1} \sum_{j=0}^p {p+1 \choose j} B^j n^{p+1-j} </math>

:::<math>= {(B+n)^{p+1} - B^{p+1} \over p+1}. </math>

في الشكل الحديث للتفاضل الظلالي، يتم اعتبار [[الشكل الخطي]] *T* على [[فضاء متجهي|الفضاء الشعاعي]] لمتعدادت حدود ([[متعددة الحدود|كثيرات حدود]]) في متغير *b* معطى بالعلاقة

:<math>T(b^j) = B_j.\,</math>

ويمكن القول حينئذ

:<math>\sum_{k=1}^n k^p = {1 \over p+1} \sum_{j=0}^p {p+1 \choose j} B_j n^{p+1-j}
= {1 \over p+1} \sum_{j=0}^p {p+1 \choose j} T(b^j) n^{p+1-j} </math>

:::<math> = {1 \over p+1} T\left(\sum_{j=0}^p {p+1 \choose j} b^j n^{p+1-j} \right) 
= T\left({(b+n)^{p+1} - b^{p+1} \over p+1}\right). </math>

== كثيرات حدود فاولابر ==

يستخدم المصطلح «كثيرات حدود فاولابر» من قبل بعض المؤلفين للإشارة إلى شيء غير متسلسلة كثيرة الحدود المعطاة سابقا. لاحظ فاولابر أنه *'إذا كانت *p* فردية، فإن*'

:<math>1^p + 2^p + 3^p + \cdots + n^p\, </math>

هي دالة متعدد حدود في

:<math>a=1+2+3+\cdots+n.\,</math>

وبشكل خاص

:<math>1^3 + 2^3 + 3^3 + \cdots + n^3 = a^2\,</math>

:<math>1^5 + 2^5 + 3^5 + \cdots + n^5 = {4a^3 - a^2 \over 3}</math>

:<math>1^7 + 2^7 + 3^7 + \cdots + n^7 = {12a^4 -8a^3 + 2a^2 \over 6}</math>

:<math>1^9 + 2^9 + 3^9 + \cdots + n^9 = {16a^5 - 20a^4 +12a^3 - 3a^2 \over 5}</math>

:<math>1^{11} + 2^{11} + 3^{11} + \cdots + n^{11} = {32a^6 - 64a^5 + 68a^4 - 40a^3 + 5a^2 \over 6}.</math>

أولى هذه [[مطابقة رياضية|المتطابقات]]، للحالة *p* = 3, تعرف [[عدد مربع مثلثي|بنظرية ىيكوماتشو]].
ويطلق بعض المؤلفين على كثيرات الحدود في الجانب الأيمن من هذه المطابقات اسم «كثيرات حدود فاولابر في *a*». كثيرات الحدود على الشق الأيمن تقبل القسمة على *a*<sup>&nbsp;2</sup> لأنه في حالة كانت *j*&nbsp;>&nbsp;1 فردية، يكون عدد برنولي،*B*<sub>*j*</sub> هو 0.

==العلاقة بدالة زيتا لريمان==
باستعمال <math>B_k=-k\zeta(1-k)</math>، قد يكتب 
:<math>
\sum\limits_{k=1}^n k^p = \frac{n^{p+1}}{p+1} - \sum\limits_{j=0}^{p-1}{p \choose j}\zeta(-j)n^{p-j}.
</math>

If we consider the generating function <math>G(z,n)</math> in the large <math>n</math> limit for <math>\Re (z)<0</math>, then we find
:<math>
\lim_{n\rightarrow \infty}G(z,n) = \frac{1}{e^{-z}-1}=\sum_{j=0}^{\infty} (-1)^{j-1}B_j \frac{z^{j-1}}{j!}
</math>
Heuristically, this suggests that 
:<math>
\sum_{k=1}^{\infty} k^p=\frac{(-1)^{p} B_{p+1}}{p+1}.
</math>
هذه النتيجة لا تتعارض مع قيم [[دالة زيتا لريمان]] <math>\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}</math> for negative integers <math>s=-p<0</math> on appropriately analytically continuing <math>\zeta(s)</math>.

== مراجع ==


== وصلات خارجية ==
* *CRC Concise Encyclopedia of Mathematics*, [[إيريك ويستاين]]، Chapman & Hall/CRC, 2003, ISBN 1-58488-347-2, page 2331
* 
* "Darinnen die miraculosische Inventiones zu den höchsten Cossen weiters *continuirt* und *profitiert* werden", *Academia Algebrae'', Johann Faulhaber, Augpurg, bey Johann Ulrich Schöigs, 1631.

تصنيف:فروق منتهية
تصنيف:نظرية الأعداد