נוסחת מספר המחלקה של דיריכלה

בתורת המספרים נוסחת מספר המחלקה של דיריכלה היא נוסחה המקשרת בין מספר מחלקה של מספר שלם  והערך של פונקציית  של דיריכלה המתאימה לקרקטר דיריכלה ממשי המתאים ל -  ב -1. את הנוסחה הוכיח דיריכלה בשנת 1839 כחלק מהוכחתו של משפט דיריכלה על ראשוניים בסדרות חשבוניות.
רקע ומוטיבציה

עבור מספר טבעי , קרקטר דיריכלה עם מנחה (condactor)  הוא פונקציה  המקיימת:
לכל  מתקיים: 
לכל  זר ל- מתקיים: 
לכל  מתקיים: 

 עבור קרקטר דיריכלה , פונקציית  של דיריכלה מוגדרת כך:

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

 עבור  מגדירים:

  שלם (שונה מ - 0) כלשהו מפרקים את  לגורמים ראשוניים (לאו דווקא שונים)  כאשר  ומגדירים:

ניתן להראות שכל קרקטר דיריכלה ממשי ניתן לכתוב כ:

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

הנוסחה
נקבע מספר שלם .
נסמן 
המקרה השלילי
כאשר  קל יותר לנסח את נוסחת מספר המחלקה. נסמן
במקרה זה נוסחת מספר המחלקה קובעת ש:

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

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

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

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

נוסחה נוספת לערך של פונקציית L
בנוסף לנוסחת מספר המחלקה דיריכלה פיתח נוסחה ל -  עבור קרקטר דיריכלה כלשהו עם מנחה  המציגה אותו כסכום סופי:

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

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

במקרה שהמנחה  ראשוני (אי־זוגי) והקרקטר  ממשי אז ניתן לפשט נוסחה זו באמצעות נוסחאות מפורשות לסכומי גאוס ולקבל (עבור  לא טריבוויאלי):

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

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

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

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

ראו גם
נוסחת מספר המחלקה של דדקינד
מספר מחלקה
פונקציית L של דיריכלה
משפט דיריכלה

לקראה נוספת
 פרק בספר שעוסק בנושא: Wright, S. (2016). Dirichlet’s Class-Number Formula. In: Quadratic Residues and Non-Residues. Lecture Notes in Mathematics, vol 2171. Springer, Cham. https://doi.org/10.1007/978-3-319-45955-4_8
 Władysław Narkiewicz, The Development of Prime Number Theory From Euclid to Hardy and Littlewood

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

 Roy Zhao, The Class Number Formula for Quadratic Fields and Related Results, January 31, 2016

הערות שוליים

קטגוריה:תורת המספרים האלגברית
קטגוריה:תבניות ריבועיות