מכפלת אוילר

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

בתורת המספרים האנליטית, מכפלת אוילר היא מכפלה אינסופית של ביטויים מהצורה \ 1+\frac{a_p}{p^s}+\frac{a_{p^2}}{p^{2s}}+\cdots , העוברת על-פני המספרים הראשוניים \ p. בביטוי זה, המקדמים \ a_p,a_{p^2},\dots עשויים להיות מספרים שלמים או מרוכבים, ואילו s הוא משתנה ממשי או מרוכב. אם כל הסכומים מתכנסים והמכפלה מתכנסת, התוצאה היא פונקציה אנליטית של המשתנה s, הניתנת לתאור גם כטור דיריכלה.

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

פונקציית זטא של רימן[עריכת קוד מקור | עריכה]

הדוגמה הראשונה למכפלת אוילר, והמפורסמת ביותר, היא המכפלה של פונקציית זטא של רימן. פונקציה זו מוגדרת, עבור s שהחלק הממשי שלו \ \operatorname{Re}(s)>1, כסכום הטור \ \sum_{n=1}^{\infty} \frac{1}{n^s}. כאשר מחשבים את המכפלה \ \prod_p\left(1+\frac{1}{p^s}+\frac{1}{p^{2s}}+\dots\right) על פני כל הראשוניים p, יש לסכם את כל המכפלות של רכיב בודד מכל גורם. לדוגמה, במכפלה \ \left(1+\frac{1}{3^s}+\frac{1}{9^s}\right)\left(1+\frac{1}{7^s}\right) = 1+\frac{1}{3^s}+\frac{1}{7^s}+\frac{1}{9^s}+\frac{1}{21^s}+\frac{1}{63^s}, יש רק שני גורמים, ששניהם סופיים. בדומה לזה, המכפלה \ \left(1+\frac{1}{3^s}+\cdots\right)\left(1+\frac{1}{7^s}+\cdots\right) שווה לסכום כל הביטויים מהצורה \ \frac{1}{(3^i7^j)^s}, לכל \ i,j\geq 0. לעומת זאת, כאשר מכפילים את אינסוף הגורמים \ 1+\frac{1}{2^s}+\frac{1}{4^s}+\cdots, \ 1+\frac{1}{3^s}+\frac{1}{9^s}+\cdots, \ 1+\frac{1}{5^s}+\frac{1}{25^s}+\cdots, וכן הלאה, מתקבל הסכום של כל המכפלות מהצורה \ \frac{1}{(2^{i_2}3^{i_3}5^{i_5}\cdots)^s}. עם זאת, בחישוב המכפלה צריך הגורם המוכפל להיות שווה ל-1 כמעט בכל מקרה, כך שהסכום כולל רק את הביטויים \ \frac{1}{(2^{i_2}3^{i_3}5^{i_5}\cdots)^s} שבהם כמעט כל \ i_p=0. לפי המשפט היסודי של האריתמטיקה, מתקבל באופן זה כל ביטוי מהצורה \ \frac{1}{n^s} (n טבעי) בדיוק פעם אחת, ולכן המכפלה שווה לפונקציית זטא של רימן.

הסכום 1+\frac{1}{p^s}+\frac{1}{p^{2s}}+\dots הוא טור הנדסי, שאפשר לכתוב גם בצורה \ \left(1-\frac{1}{p^s}\right)^{-1}. כך מתקבלת הצורה המוכרת יותר של מכפלת אוילר לפונקציית זטא של רימן: \ \zeta(s) = \prod_p\left(1-\frac{1}{p^s}\right)^{-1}.

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

מן ההסבר לעיל נובע שכל מכפלת אוילר אפשר להציג כטור דיריכלה בצורה \ \prod_p\left(1+\frac{a_p}{p^s}+\frac{a_{p^2}}{p^{2s}}+\cdots\right) = \sum_{n=1}^{\infty}\frac{a_n}{n^s} , כאשר המקדמים \ a_n מחושבים על-פי הנוסחה \ a_{2^{i_2}3^{i_3}\dots} = a_{2^{i_2}} a_{3^{i_3}} \cdots (ו- \ a_1 = 1). בפרט, הפונקציה \ a : n \mapsto a_n היא פונקציה כפלית (כלומר: \ a_{nm} = a_{n}a_m לכל n ו- m זרים).

אם סדרת המקדמים היא כפלית במובן החזק (כלומר: \ a_{nm} = a_{n}a_m לכל n ו- m), אז המקדמים בגורמי המכפלה מקיימים \ a_{p^i} = a_p^i, ובמקרה כזה מתקבלת הצורה \ \sum_{n=1}^{\infty}\frac{a_n}{n^s} = \prod_p\left(1-\frac{a_p}{p^s}\right)^{-1}.

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