Teilerfunktion

Die ersten Werte von σ₀ ... σ₄
n	=	σ₀(n)	σ₁(n)	σ₂(n)	σ₃(n)	σ₄(n)
1	1	1	1	1	1	1
2	2	2	3	5	9	17
3	3	2	4	10	28	82
4	2²	3	7	21	73	273
5	5	2	6	26	126	626
6	2‧3	4	12	50	252	1394
7	7	2	8	50	344	2402
8	2³	4	15	85	585	4369
9	3²	3	13	91	757	6643
10	2‧5	4	18	130	1134	10642
11	11	2	12	122	1332	14642
12	2²‧3	6	28	210	2044	22386
13	13	2	14	170	2198	28562
14	2‧7	4	24	250	3096	40834
15	3‧5	4	24	260	3528	51332
16	2⁴	5	31	341	4681	69905
17	17	2	18	290	4914	83522
18	2‧3²	6	39	455	6813	112931
19	19	2	20	362	6860	130322
20	2²‧5	6	42	546	9198	170898
21	3‧7	4	32	500	9632	196964
22	2‧11	4	36	610	11988	248914
23	23	2	24	530	12168	279842
24	2³‧3	8	60	850	16380	358258
25	5²	3	31	651	15751	391251
26	2‧13	4	42	850	19782	485554
27	3³	4	40	820	20440	538084
28	2²‧7	6	56	1050	25112	655746
29	29	2	30	842	24390	707282
30	2‧3‧5	8	72	1300	31752	872644

In der Zahlentheorie ist die Teilerfunktion die Funktion, die einer natürlichen Zahl die Summe ihrer Teiler, erhoben zu einer gewissen Potenz, zuordnet. Sie wird üblicherweise mit dem griechischen Buchstaben $σ$ bezeichnet.

Definition

Für eine natürliche Zahl $n$ ist definiert:

σ_{k} (n) := \sum_{d | n} d^{k}

.

Hierbei erstreckt sich die Summe über alle positiven Teiler von $n$ , einschließlich $1$ und $n$ . Beispielsweise ist demnach $σ_{2} (6) = 1^{2} + 2^{2} + 3^{2} + 6^{2} = 50.$

Spezialisierungen

$d := σ_{0}$ ist die Teileranzahlfunktion,
$σ := σ_{1}$ ist die Teilersumme.

Eigenschaften

$σ_{k}$ ist multiplikativ, das heißt, für teilerfremde $n, m$ gilt: $σ_{k} (n \cdot m) = σ_{k} (n) \cdot σ_{k} (m)$ .
Hat n die Primfaktorzerlegung n=∏i=1rpiei, so ist
- $σ_{k} (n) = \prod_{i = 1}^{r} \sum_{j = 0}^{e_{i}} p_{i}^{j k}$ ,
- $σ_{k} (n) = \prod_{i = 1}^{r} \frac{p_{i}^{k (e_{i} + 1)} - 1}{p_{i}^{k} - 1}$ für $k > 0$ , und für $k = 0$ gilt: $σ_{0} (n) = \prod_{i = 1}^{r} (e_{i} + 1)$ .
Die durchschnittliche Größenordnung von $σ_{k}$ für $k > 0$ ist $σ_{k} (n) \sim ζ (k + 1) n^{k}$ , mit der Riemannschen Zetafunktion $ζ (s)$ .
Die durchschnittliche Größenordnung der Teileranzahlfunktion $d (n) := σ_{0} (n)$ ist $\ln n$ . Genauer gilt mit der Eulerschen Konstanten $C$

\sum_{x \leq n} d (x) = n \ln n + (2 C - 1) n + O (\sqrt{n})

.

Reihenformeln

Speziell für $σ_{0}$ gilt:

\sum_{i = 1}^{n} σ_{0} (i) = \sum_{i = 1}^{n} ⌊ \frac{n}{i} ⌋

Dies kann man sich klarmachen, in dem man die rechte Summe als $\sum_{i = 1}^{\infty} ⌊ \frac{n}{i} ⌋$ schreibt: Wenn man nun $n$ durch $n + 1$ substituiert, werden genau die Summanden der Summe um 1 größer, die $n + 1$ teilen.

Zwei Dirichletreihen mit der Teilerfunktion sind: (S. 285, Satz 291)

\sum_{n = 1}^{\infty} \frac{σ_{a} (n)}{n^{s}} = ζ (s) ζ (s - a)

für

s > 1, s > a + 1,

was speziell für d(n) = σ₀(n) ergibt:

\sum_{n = 1}^{\infty} \frac{d (n)}{n^{s}} = ζ^{2} (s)

für

s > 1

und (S. 292, Satz 305)

\sum_{n = 1}^{\infty} \frac{σ_{a} (n) σ_{b} (n)}{n^{s}} = \frac{ζ (s) ζ (s - a) ζ (s - b) ζ (s - a - b)}{ζ (2 s - a - b)} .

Eine Lambert-Reihe mit der Teilerfunktion ist:

\sum_{n = 1}^{\infty} σ_{a} (n) q^{n} = \sum_{n = 1}^{\infty} \sum_{k = 1}^{\infty} n^{a} q^{k n} = \sum_{n = 1}^{\infty} n^{a} \frac{q^{n}}{1 - q^{n}}

für beliebiges komplexes |q| ≤ 1 und a.

Die Teilerfunktion lässt sich für $k > 0$ mittels Ramanujansummen auch explizit als Reihe darstellen:

σ_{k} (n) = ζ (k + 1) n^{k} \sum_{m = 1}^{\infty} \frac{c_{m} (n)}{m^{k + 1}} .

Die Berechnung der ersten Werte von $c_{m} (n)$ zeigt das Schwanken um den „Mittelwert“ $ζ (k + 1) n^{k}$ :

σ_{k} (n) = ζ (k + 1) n^{k} [1 + \frac{(- 1)^{n}}{2^{k + 1}} + \frac{2 \cos \frac{2 π n}{3}}{3^{k + 1}} + \frac{2 \cos \frac{π n}{2}}{4^{k + 1}} + \dots]

Identitäten aus der Fourierentwicklung von Eisensteinreihen

Ein wesentlicher Bestandteil der Fourierentwicklung von Eisensteinreihen von Gewicht $k \geq 4$ , gerade, sind die Teilerfunktionen $σ_{k - 1}$ . Aus Relationen zwischen den Eisensteinreihen können die Werte einiger Faltungen von Teilerfunktionen hergeleitet werden, so ist zum Beispiel für alle $n \in ℕ$ :

120 \sum_{m = 1}^{n - 1} σ_{3} (m) σ_{3} (n - m) = σ_{7} (n) - σ_{3} (n),

5040 \sum_{m = 1}^{n - 1} σ_{3} (m) σ_{5} (n - m) = 11 σ_{9} (n) - 21 σ_{5} (n) + 10 σ_{3} (n) .

Siehe auch

Hochzusammengesetzte Zahl

Quellen

↑ Eric W. Weisstein: Divisor Function. In: MathWorld (englisch).
↑ E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 134.
↑ Godfrey Harold Hardy, E. M. Wright: Einführung in die Zahlentheorie. R. Oldenbourg, München 1958, S. 285, 292.
↑ E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 130.
↑ Tom M. Apostol: Modular Functions and Dirichlet Series in Number Theory. 2. Auflage. Springer-Verlag, 1990, S. 140.

[1] Eric W. Weisstein: Divisor Function. In: MathWorld (englisch).

[2] E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 134.

[3] Godfrey Harold Hardy, E. M. Wright: Einführung in die Zahlentheorie. R. Oldenbourg, München 1958, S. 285, 292.

[4] E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 130.

[5] Tom M. Apostol: Modular Functions and Dirichlet Series in Number Theory. 2. Auflage. Springer-Verlag, 1990, S. 140.