לדלג לתוכן

קונבולוציית דיריכלה

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

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

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

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

כאשר הם כל הזוגות של מספרים טבעיים שמכפלתם היא .

תכונות אלגבריות

[עריכת קוד מקור | עריכה]

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

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

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

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

סימונים מוסכמים לפונקציות אריתמטיות מרכזיות:

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

בפרט:

(הסבר)

משלוש הזהויות הללו נובע (על ידי הפעלת קונבולוציה נוספת עם בזהות השלישית):

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

אזי

בפרט:

טורי דיריכלה

[עריכת קוד מקור | עריכה]

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

.

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

.

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

.

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

על סמך הזהות ניתן לחשב טורי דיריכלה רבים. למשל , כי:

דוגמה נוספת: