הנוסחה המפורשת של רימן פון מנגולד

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

הנוסחה המפורשת של רימן פון מנגולד היא נוסחה לפונקציה השנייה של צ'בישב באמצעות אפסים (והקטבים) של פונקציית זטא של רימן. הפונקציה השנייה של צ'בישב סופרת באופן ממושקל את חזקות הראשוניים עד לערך נתון. מנוסחה זאת קל יחסית להסיק נוסחאות מפורשות לפונקציית המספרים הראשוניים π(x). בצורה זאת הנוסחה תקפה רק עבור x>0 לא שלם. נוסחה זאת ודומת לה סללו את הדרך להוכחת משפט המספרים הראשוניים.

הנוסחה

n;p ינושאר;pn<xln(p)=ζ(0)ζ(0)ρordρζxρρ אגף שמאל של הנוסחה נקרא פונקצית צ'בישב השניה ומסומן בדרך כלל ב-ψ(x). הנוסחה תקפה ל- x ממשי שאינו שלם. אם x שלם אז צריך להחליף את אגף שמאל בממוצע עריכיו מיד לפני ומיד אחרי x. תיקון זה של פונקצית צ'בישב השניה מסומן בדרך כלל ב-ψ0(x). הסימון ordρ מתיחס לריבוי האפס שיש לפונקציית זטא של רימן בנקודה ρ. אם ρ היא קוטב, אז ריבוי האפס מוגדר להיות מינוס מעלת הקוטב. אם אין בנקודה אפס או קוטב אז הריבוי הוא 0. הסכום באגף ימין נראה כאילו הוא רץ על קבוצה מעוצמת הרצף אולם בפועל הוא בן מניה, כיוון שכמעט תמיד הערך של ordρ הוא 0. הסכום מתכנס בתנאי. כדי לקבל התכנסות זו יש לקחת את הגבול של הסכומים החלקיים על פי עיגולים גדלים סביב אפס.

ניתן להפוך נוסחה זו למפורשת יותר באופן הבא:

  • לחשב את ζ(0)ζ(0)
  • לחשב את התרומה של הקוטב היחיד של פונקציית זטא של רימן לאגף ימין. תרומה זו היא הפונקציה x והיא מהווה את עיקר הערך של אגף ימין עבור

x גדול.

כך מתקבלת הנוסחה הבאה: ψ0(x)=xln(2π)12log(1x2)(ρ)(0,1)ordρζxρρ

הוכחת הנוסחה

קשר לנוסחה המפורשת של רימן עבור פונקצית הספירה של המספרים הראשוניים

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

הנוסחה המפורשת של רימן פון מנגולד41537102Q135471579