|  |
| --- |
| 
בערך זהנעשה שימושבסימנים מוסכמיםמתחום המתמטיקה.להבהרת הסימניםראו סימון מתמטי. |

גרף של פונקציית זטא עבור {\displaystyle s>1} ממשי
**פונקציית זטא של רימן** היא פונקציה מרוכבת הקרויה על שמו של המתמטיקאי ברנהרד רימן, ונודעת לה חשיבות רבה בתורת המספרים, בשל הקשר שלה להתפלגותם של המספרים הראשוניים. לפונקציה שימושים גם בפיזיקה, בתורת ההסתברות ובסטטיסטיקה. באפסים של פונקציה זו, שהם הערכים שהצבתם בפונקציה תיתן אפס, עוסקת **השערת רימן**, שהיא אחת הבעיות הפתוחות המרכזיות במתמטיקה. הראשון לחקור את הפונקציה היה לאונרד אוילר במאה ה-18.

**פונקציית זטא של רימן** היא פונקציה מרוכבת המוגדרת עבור מספרים מרוכבים s בעלי חלק ממשי גדול מ-1 על ידי \zeta (s)=\sum \_{{n=1}}^{\infty }{\frac {1}{n^{s}}}. לטור דיריכלה זה קיימת המשכה אנליטית יחידה לכל המישור המרוכב, עם קוטב פשוט בנקודה {\displaystyle \,s=1}. פונקציה זו היא הדוגמה המוכרת ביותר למשפחה של פונקציות הקרויות כולן פונקציות זטא. 

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


ζ
(
2
n
)
=

(
−
1

)

n
+
1

B

2
n

(
2
π

)

2
n

2
(
2
n
)
!


{\displaystyle \zeta (2n)={\frac {(-1)^{n+1}B\_{2n}(2\pi )^{2n}}{2(2n)!}}}

{\displaystyle \zeta (2n)={\frac {(-1)^{n+1}B_{2n}(2\pi )^{2n}}{2(2n)!}}}כאשר n מספר טבעי ו{\displaystyle B\_{2n}} הוא המספר ברנולי ה2n. מכאן מתקיים



∑

n
=
1

∞

1

n

2

=
ζ
(
2
)
=

π

2

6

{\displaystyle \sum \_{n=1}^{\infty }{\frac {1}{n^{2}}}=\zeta (2)={\frac {\pi ^{2}}{6}}}

{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\zeta (2)={\frac {\pi ^{2}}{6}}}

∑

n
=
1

∞

1

n

4

=
ζ
(
4
)
=

π

4

90

{\displaystyle \sum \_{n=1}^{\infty }{\frac {1}{n^{4}}}=\zeta (4)={\frac {\pi ^{4}}{90}}}

{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{4}}}=\zeta (4)={\frac {\pi ^{4}}{90}}}
באפסים של פונקציה זו, שהם הערכים שהצבתם בפונקציה תיתן אפס, עוסקת **השערת רימן**: ההשערה קובעת שכל האפסים ה"לא טריויאליים", כלומר האפסים שאינם מהצורה {\displaystyle -2m} כאשר m טבעי, נמצאים על הישר {\displaystyle \Re (s)={\frac {1}{2}}}. השערה זו היא אחת הבעיות הפתוחות המרכזיות במתמטיקה.

הקשר בין פונקציית זטא למספרים הראשוניים נובע מנוסחת המכפלה של אוילר: {\displaystyle \zeta (s)=\prod \_{p}{\frac {1}{1-p^{-s}}}}, כאשר המכפלה עוברת על כל המספרים הראשוניים.

המשכה אנליטית והמשוואה הפונקציונלית
-----------------------------------

כפי שהיא מוגדרת בדרך כלל, על ידי הסכום \zeta (s)=\sum \_{{n=1}}^{\infty }{\frac {1}{n^{s}}}, הפונקציה מתכנסת רק לערכים מימין לישר {\displaystyle \Re (s)=1}. כדי להגדיר את הפונקציה על כל המישור, יש לבצע המשכה אנליטית: {\displaystyle \sum \_{n=1}^{\infty }n^{-s}=\sum \_{n=1}^{\infty }s\int \_{n}^{\infty }{\frac {\mathrm {d} t}{t^{s+1}}}=s\int \_{1}^{\infty }{\frac {[t]}{t^{s+1}}}\,\mathrm {d} t={\frac {s}{s-1}}-s\int \_{1}^{\infty }{\frac {t-[t]}{t^{s+1}}}\,\mathrm {d} t}. האינטגרל בביטוי האחרון מתכנס מימין לישר {\displaystyle \Re (s)=0}, ואפשר להשתמש בשוויון הזה כדי להגדיר את הפונקציה בתחום הרחב יותר.

אם מגדירים {\displaystyle \Lambda (s)=\Gamma (s/2)\pi ^{-s/2}\zeta (s)}, כאשר \Gamma היא פונקציית גמא, אז מתקיים השוויון {\displaystyle \Lambda (s)=\Lambda (1-s)} לכל s מרוכב שאינו שלם. משוואה זו, המדגימה את הסימטריה של פונקציית זטא ביחס לציר {\displaystyle \Re (s)=1/2}, היא הבסיס לתאוריה הענפה של פונקציה זו, ושל פונקציות זטא בכלל. אפשר להוכיח אותה מן הזהות {\displaystyle \theta (i/t)=t^{1/2}\theta (it)} שמקיימת פונקציית תטא {\displaystyle \theta (z)=\sum \_{n=-\infty }^{\infty }e^{\pi in^{2}z}}. לפונקציית זטא של רימן יש גם גרסה סימטרית, שהיא פונקציית קסי של רימן, המוגדרת {\displaystyle \xi (s)={\tfrac {1}{2}}s(s-1)\pi ^{-s/2}\Gamma \left({\tfrac {1}{2}}s\right)\zeta (s)}.

מקורות
------

* Riemann's zeta function, H.M. Edwards, 1974.

קישורים חיצוניים
----------------

ויקישיתוף מדיה וקבצים בנושא **פונקציית זטא של רימן** בוויקישיתוף
* פונקציית זטא של רימן, באתר MathWorld (באנגלית)
* פונקציית זטא של רימן, באתר אנציקלופדיה בריטניקה (באנגלית)
* מאמר של אודרי טרס בנושא פונקציית זטא

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NLI: 987007553156405171
* BNE: XX533372
* BnF: cb12287377j (data)
* GND: 4308419-9
* LCCN: sh85052354
* NDL: 00574618
* SUDOC: 031709117

 |