פונקציית מחלקים

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

הגדרה

פונקציית מחלקים ${\sigma }_x(n)$ מוגדרת כסכום של המחלקים בחזקת x של n, או:

${\sigma }_x(n)=\sum _{d|n}{d}^x.$

הפונקציה הסופרת את מספר המחלקים מסומנת ב-$d(n)$ או ב-$\tau (n)$ (פונקציית הטאו) והיא בעצם ${\sigma }_0(n)$. כלומר:

${\sigma }_0(n)\equiv \tau (n)\equiv d(n)$

כאשר x הוא 1 זוהי פונקציית סכום המחלקים, ואז משמיטים את הכתיב התחתון.

${\sigma }_1(n)\equiv \sigma (n)$

לכל מספר ראשוני p:

${\sigma }_0(p)=2$

${\sigma }_1(p)=p+1$

ובאופן כללי אם $n=\prod _{i=1}^r{p}_i^{k_i}$ הוא הפירוק לגורמים של n, אז:

${\sigma }_x(n)=\prod _{i=1}^r(1+p_i^x+p_i^{2x}+\cdots +p_i^{k_{i}x})=\prod _{i=1}^r\sum _{j=0}^{k_i}{p}_i^{jx}=\prod _{i=1}^r\frac{p_i^{(k_i+1)x}-1}{p_i^x-1}$

ובפרט:

$d(n)=\prod _{i=1}^r(k_i+1)$

שימוש בטורים

שני טורי דיריכלה המשתמשים בפונקציית המחלקים הם

$\sum _{n=1}^{\mathrm{\infty }}\frac{{\sigma }_a(n)}{n^s}=\zeta (s)\zeta (s-a)$

$\sum _{n=1}^{\mathrm{\infty }}\frac{{\sigma }_a(n){\sigma }_b(n)}{n^s}=\frac{\zeta (s)\zeta (s-a)\zeta (s-b)\zeta (s-a-b)}{\zeta (2s-a-b)}$

טור למברט המשתמש בפונקציית המחלקים הוא:

$\sum _{n=1}^{\mathrm{\infty }}{q}^n{\sigma }_a(n)=\sum _{n=1}^{\mathrm{\infty }}\frac{n^a{q}^n}{1-q^n}$

קצב גידול

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

$$\begin{gathered} \underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\frac{\sigma (n)}{n \\ \log \log n}=e^{\gamma } \end{gathered}$$

כאשר הוא $\gamma$ קבוע אוילר.

ראו גם

סדרת מחלקים

קישורים חיצוניים

מדיה וקבצים בנושא פונקציית מחלקים בוויקישיתוף   

• .html פונקציית מחלקים, באתר MathWorld (באנגלית)