פונקציית L של דיריכלה
במתמטיקה פונקציית L של דיריכלה היא טור דיריכלה שסדרת מקדמיו היא קרקטר דיריכלה. דיריכלה הגדיר מושג זה כחלק מרכזי בהוכחתו של משפט דיריכלה על מספרים ראשוניים בסדרות חשבוניות. זוהי הדוגמה הראשונה לפונקציית L (שאיננה פונקציית זטא). דוגמה זו הובילה לדוגמאות רבות נוספות ונחשבת לעיתים ללידתה של תורת המספרים האנליטית.[1]
רקע
טור דיריכלה
- ערך מורחב – טור דיריכלה
טור דיריכלה הוא טור מהצורה
אם סדרת המקדמים לא גדלה מהר מידי, אז טור זה מתכנס בהחלט בקבוצה מהצורה כאשר הוא מספר ממשי. המספר (ולעתים גם הישר ) נקראים אבסיסת ההתכנסות (Abscissa of convergence) של הטור.
פונקציית זטא של רימן
- ערך מורחב – פונקציית זטא של רימן
הדוגמה הבסיסית ביותר לטור דיריכלה היא פונקציית זטא של רימן. במקרה זה כל המקדמים שווים ל - 1. לפונקציית זטא של רימן יש תכונות רבות שאין לרוב טורי דיריכלה. בראש תכונות אלה נמצאות מכפלת אוילר והמשכה אנליטית לפונקציה מרומורפית בכל המישור המרוכב.
מכפלת אוילר
- ערך מורחב – מכפלת אוילר
אחת התכונות הבסיסיות ביותר של פונקציית זטא של רימן היא מכפלת אוילר. מכפלת אוילר נותנת את הביטוי הבא לפונקציית זטא של רימן (בתחום ההתכנסות שלה):
קל להסיק את נוסחת המכפלה הזאת ממשפט הקייום והיחידות של הפרוק לגורמים ראשוניים.
פונקציית L
- ערך מורחב – פונקציית L
אין הגדרה מוסכמת אחת למושג הכללי של פונקציית L, אבל באופן כללי פונקציית L היא טור דיריכלה שמקיים תכונות הדומות לאלה של פונקציית זטא של רימן, ובראשן מכפלת אוילר והמשכה אנליטית.
קרקטר דיריכלה
- ערך מורחב – קרקטר דיריכלה
דיריכלה הבין שאם סדרת המקדמים היא כפלית אז לטור דיריכלה המתאים יהיה אפשר לכתוב מכפלת אוילר. זה נותן את המוטיבציה להגדרה הבאה:
קרקטר דיריכלה עם מנחה (condactor) הוא פונקציה המקיימת:
- לכל מתקיים:
- לכל שאינו זר ל- מתקיים:
- לכל מתקיים:
הגדרה
פונקציית L של דיריכלה היא טור דיריכלה שסדרת מקדמיו היא קרקטר דיריכלה. באופן מפורש פונקציית L של דיריכלה מוגדרת על ידי הטור
הערה על הטרמינולוגיה
השם פונקציית L של דיריכלה יכול להתייחס, בהתאם להקשר, הן לטור כביטוי, הן לערכו של טור זה כפונקציה מחצי המישור ל - והן להמשכה האנליטית של פונקציה זו (ראו להלן). השימוש האחרון הוא הנפוץ ביותר.
תכונות
- מכפלת אוילר: באופן דומה למכפלת אוילר הקלאסית קל להראות שפונקציית L של דיריכלה מקיימת את נוסחת המכפלה הבאה:
- המשכה אנליטית: לפונקציית L של דיריכלה יש המשכה אנליטית לכל המישור מלבד הנקודה .
- אם הקרקטר לא טריוויאלי (זאת אומרת שהוא מקבל גם ערכים שאינם 0 או 1) אז המשכה זו אנליטית גם בנקודה . אחרת לפונקציית L יש קוטב פשוט בנקודה זו (במקרה זה פונקציית L של דיריכלה שווה לפונקציית זטא עד כדי כופל פשוט).
- משוואה פונקציונלית: פונקציית L של דיריכלה מקיימת משוואה פונקציונלית הקושרת את ערכה בנקודה לערכה בנקודה . משוואה זו דומה למשוואה הפונקציונלית של פונקציית זטא של רימן.
- אי־התאפסות ב - 1: דיריכלה הוכיח שעבור קרקטר דיריכלה לא טריוויאלי פונקציית L לא מתאפסת בנקודה . משפט זה מהווה חלק מרכזי בהוכחת משפט דיריכלה על ראשוניים בסדרות חשבוניות.
- אי־התאפסות על אבסיסת ההתכנסות: אדמר ודה לה ואלה פוסן הוכיחו שפונקציית L לא מתאפסת כאשר . הם הוכיחו אי־התאפסות זו בסמוך להוכחתם של משפט המספרים הראשוניים. ההוכחה משלבת בין הוכחתו של דיריכלה לאי־ההתאפסות בנקודה 1 והוכחתם לאי־התאפסות של פונקציית זטא על אבסיסת ההתכנסות שלה (המהווה חלק מרכזי בהוכחת משפט המספרים הראשוניים). אי־התאפסות זו גוררת גרסה של משפט דיריכלה המשלבת בין משפט דיריכלה למשפט המספרם הראשוניים. גרסה זו נוגעת לצפיפות הטבעית של מספרים ראשוניים בסדרה חשבונית.
- אי־התאפסויות נוספות: במרוצת השנים הוכיחו מתמטיקאים רבים אי־התאפסות של פונקציית L בתחומים נוספים. אי־התאפסויות אלה גוררות טענות נוספות על התפלגויות של מספרים ראשוניים בסדרות חשבוניות. הכללה אולטימטיבית של אי־התאפסויות אלה היא ההשערה שפונקציית L לא מתאפסת בחצי המישור . השערה זו היא מקרה פרטי של השערת רימן המוכללת והיא גוררת מידע מדויק למדי על התפלגויות של מספרים ראשוניים בסדרות חשבוניות.
- נוסחת מספר המחלקה של דיריכלה: עבור קרקטר דיריכלה ממשי , דיריכלה פיתח נוסחה שקושרת בין הערך לבין מספר מחלקה של מספר שלם המתקבל מהמנחה של . מנוסחה זו ניתן להסיק מידית את אי־ההתאפסות של . דיריכלה גם פיתח נוסחה נוספת, מפורשת יותר, לערך אך לא ניתן להסיק ממנה ישירות את אי־ההתאפסות של .
- נוסחת מספר המחלקה של דדקינד עבור שדות ציקלוטומיים: מנוסחה זו קל להסיק קשר בין מכפלת הערכים עבור קרקטרים (לא טריוויאליים) בעלי אותו המנחה ובין מספר המחלקה של ההרחבה הציקלוטומית המתאימה. מכאן קל להסיק את אי־ההתאפסות של . זאת לא הייתה ההוכחה המקורית של דיריכלה לאי־התאפסות זו. דיריכלה הוכיח את אי־ההתאפסות עבור קרקטר ממשי על ידי נוסחת מספר המחלקה שלו, והשתמש בשיטה פשוטה יותר כדי להראות את אי־ההתאפסות עבור קרקטר שאינו ממשי.
ראו גם
לקריאה נוספת
- The Development of Prime Number Theory From Euclid to Hardy and Littlewood מאת Władysław Narkiewicz.
קישורים חיצוניים
- קורס של נועם אלקיס בתורת המספרים האנליטית.
- פונקציית L של דיריכלה, באתר MathWorld (באנגלית)
הערות שוליים
- ^ The Development of Prime Number Theory From Euclid to Hardy and Littlewood מאת Władysław Narkiewicz.
פונקציות L וזטא | ||
---|---|---|
פונקציות זטא בתורת המספרים | פונקציית זטא של רימן • פונקציית זטא של דדקינד • פונקציית זטא של הסה-וויל • פונקציית זטא אריתמטית • פונקציית זטא של איגוסה | |
פונקציות L (נוספות) בתורת המספרים | פונקציית L של דיריכלה • פונקציית L של ארטין • פונקציית L של הקה • פונקציית L של תבנית אוטומורפית • פונקציית L מוטיבית | |
תוצאות חשובות | המשכה אנליטית ומשוואה פונקציאונלית עבור פונקציית זטא של רימן • משפט המספרים הראשוניים • הנוסחה המפורשת של רימן מנגולד • משפט דיריכלה • משפט הצפיפות של צ'בוטרב • משפט פרובניוס (תורת המספרים האלגברית) • השערות וויל • נוסחת מספר המחלקה (של דיריכלה ושל דדקינד) | |
השערות חשובות | השערת רימן (המוכללת) • השערת לנגלנדס • השערת לינדולף • השערת ארטין | |
פונקציות L וזטא נוספות | פונקציית זטא של חבורה • פונקציית זטא הצגתית של חבורה • פונקציית זטא של סלברג | |
מושגים קשורים נוספים | תורת המספרים האנליטית • תורת המספרים האלגברית • המשכה אנליטית • טור דיריכלה |
38965166פונקציית L של דיריכלה