מספרי ברנולי

מתוך ויקיפדיה, האנציקלופדיה החופשית

במתמטיקה, סדרת מספרי ברנולי היא סדרה של מספרים שגילה יעקב ברנולי, ובזכות תכונותיה הבסיסיות היא מופיעה בהקשרים שונים באנליזה של פונקציות מרוכבות ובתורת המספרים. הסדרה איפשרה לברנולי לחשב את הסכום $\ 1^{10}+2^{10}+3^{10}+\dots+1000^{10}$ ב"פחות ממחצית של רבע שעה".

אבריה הראשונים של הסדרה הם:

$\ B_0=1, B_1 = -\frac{1}{2}, B_2 = \frac{1}{6}, B_3 = 0, B_4 = -\frac{1}{30}, B_5 = 0, B_6 = -\frac{1}{42}$ .

מספרי ברנולי מופיעים כמקדמים בפיתוח טיילור של פונקציות טריגונומטריות ושל הפונקציות ההיפרבוליות המקבילות להן. אוילר גילה שמספרים אלה קשורים לערכים מיוחדים של פונקציית זטא של רימן, והם הופיעו שוב בפתרונו של קומר למשפט האחרון של פרמה, עבור ראשוניים רגולריים.

[עריכה] סכומים של חזקות עוקבות

הנוסחאות לסכום טור כגון:

$\ 1+2+\dots+m=\frac{1}{2}(m^2+m)$
$\ 1^2+2^2+\dots+m^2 = \frac{1}{6}m(m+1)(2m+1)$ ,

ואחרות, היו ידועות זמן רב לפני ברנולי. ברנולי ביקש נוסחה כללית לסכום $\ S_m(n)=\sum_{k=1}^n k^m$ , שתהיה קלה לחישוב לכל m קבוע, כלומר, פולינום ממעלה m+1 במשתנה n. הוא הבחין שאפשר להציג את $\ (n+1)^{m+1}$ כטור טלסקופי, $\ (n+1)^{m+1}=\sum_{k=0}^{n}((k+1)^{m+1}-k^{m+1}) = \sum_{i=0}^m\binom{m+1}{i}S_i(n)$ , והסיק מכך את נוסחת הנסיגה $\ (m+1)S_{m}(n)=(n+1)^{m+1}-\sum_{i=0}^{m-1}\binom{m+1}{i}S_i(n)$ . מנוסחה זו הסיק ברנולי את השוויון $\ S_m(n) = \frac{1}{m+1}\sum_{i=0}^{m}\binom{m+1}{i}B_in^{m+1-i}$ , כאשר המקדמים, מספרי ברנולי $\ B_k$ , מוגדרים לפי נוסחת הנסיגה

$\ B_0=1; B_m = -\frac{1}{m+1}\sum_{i=0}^{m-1}\binom{m+1}{i}B_i$ .

ובקירוב: $B_{2n}\approx(-1)^{n+1} 4 \sqrt{\pi n}(\frac{n}{\pi e})^{2n}$

[עריכה] פיתוחי טיילור

מנוסחת הנסיגה של הסדרה אפשר להסיק את השוויון החשוב $\ \frac{x}{e^x-1} = \sum_{n=0}^{\infty} \frac{B_n}{n!}x^n$ (על ידי הכפלת שני אגפי השוויון בפונקציה $\ e^x-1$ ). מכיוון שהפונקציה $\ \frac{x}{e^x-1}+\frac{x}{2}=\frac{x}{2}\operatorname{coth}(x/2)$ זוגית (כאשר $\ \operatorname{coth}$ היא פונקציית הקוטנגנס ההיפרבולי), נובע מן השוויון כי $\ B_{n}=0$ לכל 1<n אי-זוגי. על ידי הצבה מתאימה מתקבל פיתוח לורן של הקוטנגנס: $\ \cot(x)=\frac{1}{x}+\sum_{n=1}^{\infty}(-1)^n\frac{2^{2n}}{(2n)!}B_{2n}x^{2n-1}$ .

[עריכה] ערכים של פונקציית זטא

מפיתוח אחר לפונקציית הקוטנגנס הסיק לאונרד אוילר את הזהות $\ \zeta(2m)=(-1)^{m+1}\frac{1}{2}\frac{(2\pi)^{2m}}{(2m)!}B_{2m}$ , כאשר $\ \zeta$ היא הפונקציה שלימים תקרא פונקציית זטא של רימן. מכאן נובע מיד כי הסימנים של $\ B_{2m}$ מתחלפים, וגם כי $\ |B_{2m}|>\left(\frac{m}{\pi e}\right)^{2m}$ , כך שהסדרה גדלה מהר מאוד (חרף הערכים הקטנים המופיעים בתחילתה).

[עריכה] ראשוניים רגולריים

בזכות הקשר שלהם לפונקציות היסודיות $\ \frac{1}{e^x-1}$ וקוטנגנס, הופיעו מספרי ברנולי מאז בנוסחאות רבות מספור. במחצית השניה של המאה ה-19 גילה ארנסט קומר שהראשוני p הוא רגולרי אם ורק אם p אינו מחלק את המונים של $\ B_2, B_4, \dots, B_{p-3}$ . מונים אלה עדיין אינם מובנים די הצורך. באשר למכנים של מספרי ברנולי - אותם קל לחשב, מכיוון ש- $\ B_{2m} \equiv - \sum_{p,\, p-1|2m}\frac{1}{p}\pmod{\mathbb{Z}}$ (משפט של Claussen ו- von Straudt, משנת 1840).