משפט המספרים הראשוניים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 128:
== הכללות ==
 
מסמנים ב- <math>\ \pi_k(x)</math> את מספרם של המספרים הקטנים מ-x, שיש להם בדיוק k גורמים ראשוניים. ידועגאוס שיער ש-: <math>\ \pi_k(x)\sim \frac{x \ln\ln x^{k-1}}{(k-1)! \ln x}</math>. השערה זו הוכחה על ידי [[אדמונד לנדאו|לנדאו]] ב-1900. על הפונקציה <math>\omega(n)</math> הסופרת כמה גורמים ראשוניים שונים יש למספר n, ידוע שליחס <math>\frac{\omega(n)-\log\log n}{\sqrt{\log\log n}}</math> יש [[התפלגות נורמלית סטנדרטית]] כאשר n נבחר באקראי מהמספרים הקטנים מ-N, ו-N שואף לאינסוף (זהו משפט של [[ארדש]] ו-Kac מ-1940; [[הארדי]] ו[[רמנוג'אן]] הוכיחו שהיחס חסום).
 
משפט המספרים הראשוניים סופר את הראשוניים בין 1 ל-x. בדומה לזה אפשר לנסות להעריך את מספר הראשוניים בקטע שאורכו x ומתחיל ב-y, כלומר את <math>\pi(x+y)-\pi(y)</math>, במיוחד כאשר x אינו גדול ביחס ל-y. האתגר הוא להוכיח את הקירוב <math>\ \pi(x+y)-\pi(y) \sim \frac{x}{\log y}</math> כאשר x קטן יחסית. אם <math>x = \lambda y</math> תוצאה זו נובעת מן המשפט. [[השערת רימן]], השקולה לקירוב משופר במשפט המספרים הראשוניים, מאפשרת להוכיח את אותה תוצאה גם עבור <math>\ x = \sqrt{y}\log y</math>. ללא השערת רימן, Heath-Brown הוכיח את הקירוב עבור <math>\ x = y^{7/11}</math>. סלברג הוכיח את הקירוב עבור <math>\ x = \log^2 y</math> לכמעט כל y, אבל ידוע שקירוב זה אינו נכון לכל y.