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

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

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

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

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


(f*g)(n) =
\sum_{d\,\mid \,n} f(d)g\left(\frac{n}{d}\right)

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


(f*g)(n) =
\sum_{ab\,=\,n} f(a)g(b)

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

תכונות אלגבריות[עריכת קוד מקור | עריכה]

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

תכונות אלו הופכות את קבוצת הפונקציות האריתמטיות לחוג קומוטטיבי ביחס לחיבור וקונבולוציית דיריכלה. איבר היחידה בחוג הוא פונקציית היחידה \varepsilon, המוגדרת \varepsilon(1)=1 ו-\varepsilon(n)=0 לכל n>1. האיברים ההפיכים בחוג הם אלו המקיימים f(1)\ne 0. ההופכי של איבר בחוג קרוי הופכי דיריכלה. קיימת נוסחה רקורסיבית להופכי דיריכלה של פונקציה. אם g הוא הופכי דיריכלה של f אז ל-n=1, g(1)=\tfrac{1}{f(1)}. ל-n>1 מתקיים:


g(n) = 
\frac {-1}{f(1)} \sum_\stackrel{d\,\mid \,n} {d < n}
f\left(\frac{n}{d}\right) g(d)

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

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

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

מסמנים \mathbf{1} את הפונקציה שמחזירה 1 לכל n. לכל פונקציה f:

(f*\mathbf{1})(n) = \sum_{d\,\mid \,n} f(d)

בפרט:

d = \mathbf{1}*\mathbf{1}
\sigma = I*\mathbf{1}
I = \phi*\mathbf{1} (הסבר)

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

\sigma = \phi*d

פונקציית מביוס היא הופכי דיריכלה של \mathbf{1}. כלומר \mu*\mathbf{1} = \varepsilon. מכאן נובעת מיד נוסחת ההיפוך של מביוס. אם,

F(n) = \sum_{d\,\mid \,n} f(d)

אז,

f = \varepsilon*f = \mu*\mathbf{1}*f = \mu*F

בפרט:

\mathbf{1} = d*\mu
I = \sigma*\mu
\phi = I*\mu

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

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

D(f;s) = \sum_{n=1}^{\infty} \frac{f(n)}{n^s}

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

\zeta(s) = D(\mathbf{1};s) = \sum_{n=1}^{\infty} \frac{1}{n^s}

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

D(f*g;s) = D(f;s)\cdot D(g;s)

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

על סמך הזהות ניתן לחשב טורי דיריכלה רבים. למשל D(\mu ;s) = \tfrac{1}{\zeta(s)}, כי:

D(\mu ;s)\cdot\zeta(s) = D(\mu*\mathbf{1};s) = D(\varepsilon ;s) = 1

דוגמה נוספת:

D(\phi ;s) = D(I*\mu ;s) = D(I;s)\cdot D(\mu ;s) = \left(\sum_{n=1}^{\infty} \frac{n}{n^s}\right)\cdot\frac{1}{\zeta(s)} = \frac{\zeta(s-1)}{\zeta(s)}