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

בתורת המספרים, קונבולוציית דיריכלה היא פעולה בינארית בין שתי פונקציות אריתמטיות הדומה לקונבולוציה. הפעולה פותחה על ידי המתמטיקאי הגרמני בן המאה ה-19 יוהאן פטר גוסטב לז'ן דיריכלה. לכל שתי פונקציות אריתמטיות f , g {\displaystyle f,g} קונבולוציית דיריכלה f ∗ g {\displaystyle f*g} מוגדרת: ( f ∗ g ) ( n ) = ∑ d ∣ n f ( d ) g ( n d ) {\displaystyle (f*g)(n)=\sum _{d\,\mid \,n}f(d)g\left({\frac {n}{d}}\right)} כאשר d {\displaystyle d} עובר על כל המחלקים של n {\displaystyle n} . ניתן להגדיר גם ללא פעולת חילוק: ( f ∗ g ) ( n ) = ∑ a b = n f ( a ) g ( b ) {\displaystyle (f*g)(n)=\sum _{ab\,=\,n}f(a)g(b)} כאשר a , b {\displaystyle a,b} הם כל הזוגות של מספרים טבעיים שמכפלתם היא n {\displaystyle n} . קונבולוציית דיריכלה היא פעולה קומוטטיבית ואסוציאטיבית. היא גם דיסטריבוטיבית מעל חיבור פונקציות ( ( f + g ) ( n ) = f ( n ) + g ( n ) {\displaystyle (f+g)(n)=f(n)+g(n)} ). תכונות אלו הופכות את קבוצת הפונקציות האריתמטיות לחוג קומוטטיבי ביחס לחיבור וקונבולוציית דיריכלה. איבר היחידה בחוג הוא פונקציית היחידה ε {\displaystyle \varepsilon } , המוגדרת ε ( n ) = { 1 : n = 1 0 : n > 1 {\displaystyle \varepsilon (n)={\begin{cases}1&:n=1\\0&:n>1\end{cases}}} האיברים ההפיכים בחוג הם אלה המקיימים f ( 1 ) ≠ 0 {\displaystyle f(1)\neq 0} . ההופכי של איבר בחוג נקרא הופכי דיריכלה. קיימת נוסחה רקורסיבית להופכי דיריכלה של פונקציה. אם g {\displaystyle g} הוא הופכי דיריכלה של f {\displaystyle f} אז ל- n = 1 {\displaystyle n=1} מתקיים g ( 1 ) = 1 f ( 1 ) {\displaystyle g(1)={\tfrac {1}{f(1)}}} . ל- n > 1 {\displaystyle n>1} מתקיים: g ( n ) = − 1 f ( 1 ) ∑ d < n d ∣ n f ( n d ) g ( d ) {\displaystyle g(n)=-{\frac {1}{f(1)}}\sum _{\stackrel {d\,\mid \,n}{d<n}}f\left({\frac {n}{d}}\right)g(d)} הקונבולוציה של שתי פונקציות כפליות גם היא כפלית. כל פונקציה כפלית היא הפיכה והופכי דיריכלה שלה גם כן כפלי. הקונבולוציה של שתי פונקציות כפילות במובן החזק אינה בהכרח כפלית במובן החזק. מסמנים 1 {\displaystyle \mathbf {1} } את הפונקציה שמחזירה 1 {\displaystyle 1} לכל n {\displaystyle n} . לכל פונקציה f {\displaystyle f} : ( f ∗ 1 ) ( n ) = ∑ d ∣ n f ( d ) {\displaystyle (f*\mathbf {1} )(n)=\sum _{d\,\mid \,n}f(d)} בפרט: d = 1 ∗ 1 {\displaystyle d=\mathbf {1} *\mathbf {1} } σ = I ∗ 1 {\displaystyle \sigma =I*\mathbf {1} } I = ϕ ∗ 1 {\displaystyle I=\phi *\mathbf {1} } (הסבר) משלוש הזהויות הללו נובע (על ידי הפעלת קונבולוציה נוספת עם 1 {\displaystyle \mathbf {1} } בזהות השלישית): σ = ϕ ∗ d {\displaystyle \sigma =\phi *d} פונקציית מביוס היא הופכי דיריכלה של 1 {\displaystyle \mathbf {1} } . כלומר μ ∗ 1 = ε {\displaystyle \mu *\mathbf {1} =\varepsilon } . מכאן נובעת מיד נוסחת ההיפוך של מביוס. אם F ( n ) = ∑ d ∣ n f ( d ) {\displaystyle F(n)=\sum _{d\,\mid \,n}f(d)} אזי f = ε ∗ f = μ ∗ 1 ∗ f = μ ∗ F {\displaystyle f=\varepsilon *f=\mu *\mathbf {1} *f=\mu *F} בפרט: 1 = d ∗ μ I = σ ∗ μ ϕ = I ∗ μ ε = λ ∗ | μ | {\displaystyle {\begin{aligned}\mathbf {1} =d*\mu \\I=\sigma *\mu \\\phi =I*\mu \\\varepsilon =\lambda *|\mu |\end{aligned}}} טור דיריכלה של פונקציה אריתמטית f {\displaystyle f} הוא פונקציה מרוכבת במשתנה s {\displaystyle s} המוגדרת: D ( f ; s ) = ∑ n = 1 ∞ f ( n ) n s {\displaystyle D(f;s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}} . המפורסם מבין טורי דיריכלה הוא פונקציית זטא של רימן: ζ ( s ) = D ( 1 ; s ) = ∑ n = 1 ∞ 1 n s {\displaystyle \zeta (s)=D(\mathbf {1} ;s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}} . יש קשר הדוק בטורי דיריכלה לקונבולוציית דיריכלה, המתבטא בזהות: D ( f ∗ g ; s ) = D ( f ; s ) ⋅ D ( g ; s ) {\displaystyle D(f*g;s)=D(f;s)\cdot D(g;s)} . הזהות אנלוגית למשפט הקונבולוציה שקובע שקונבולוציה רגילה מקיימת זהות דומה עם התמרת פורייה. על סמך הזהות ניתן לחשב טורי דיריכלה רבים. למשל D ( μ ; s ) = 1 ζ ( s ) {\displaystyle D(\mu ;s)={\tfrac {1}{\zeta (s)}}} , כי: D ( μ ; s ) ⋅ ζ ( s ) = D ( μ ∗ 1 ; s ) = D ( ε ; s ) = 1 {\displaystyle D(\mu ;s)\cdot \zeta (s)=D(\mu *\mathbf {1} ;s)=D(\varepsilon ;s)=1} דוגמה נוספת: D ( ϕ ; s ) = D ( I ∗ μ ; s ) = D ( I ; s ) ⋅ D ( μ ; s ) = ( ∑ n = 1 ∞ n n s ) ⋅ 1 ζ ( s ) = ζ ( s − 1 ) ζ ( s ) {\displaystyle 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)}}}