🔢 mathematics

On divisor sums due to Erd\H{o}s and Ramanujan

Dieser Artikel leitet die asymptotische Größenordnung $\sum_{n \leq x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$ für die hybride Teilersumme, die die Probleme von Erdős und Ramanujan kombiniert, unter Verwendung von Golombs Abschätzung für leistungsfähige Zahlen und Turáns quantitativer Form des Hardy-Ramanujan-Theorems her.

Ursprüngliche Autoren: John M. Campbell

Veröffentlicht 2026-05-04

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: John M. Campbell

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, die verborgenen Muster der Zahlen zu verstehen. In der Welt der Mathematik hat jede ganze Zahl (wie 1, 2, 3, 100) eine „Familie" von Teilern. Zum Beispiel hat die Zahl 12 die Teiler 1, 2, 3, 4, 6 und 12. Die Anzahl dieser Teiler wird mit $d(n)$ bezeichnet.

Seit über einem Jahrhundert versuchen berühmte Mathematiker wie Ramanujan und Erdős herauszufinden, was passiert, wenn man diese Teileranzahlen für Millionen von Zahlen addiert. Sie haben einige schöne, vorhersehbare Muster entdeckt.

Diese Arbeit, verfasst von John Campbell, nimmt sich eines neuen, kniffligeren Rätsels an. Anstatt nur die Teiler zu zählen, fragt der Autor: Was passiert, wenn wir das Reziproke (das „Eins durch") einer sehr spezifischen, komplizierten Teileranzahl nehmen?

Hier ist die Aufschlüsselung der Geschichte der Arbeit, unter Verwendung einfacher Analogien:

1. Der Aufbau: Zwei berühmte Probleme

Um das neue Problem zu verstehen, müssen wir zunächst die beiden alten kennen, die es miteinander verbindet:

Das Ramanujan-Problem: Stellen Sie sich vor, Sie haben eine riesige Menschenmenge (Zahlen). Sie fragen jeden: „Wie viele Freunde (Teiler) hast du?" Ramanujan herausgefunden, dass sich die Summe der Reziproken dieser Freundeszahlen (1 geteilt durch die Anzahl der Freunde) auf eine sehr spezifische, vorhersehbare Weise vergrößert.
Das Erdős-Problem: Stellen Sie sich nun ein Spiel „Stille Post" vor. Sie nehmen eine Zahl, zählen ihre Freunde ( $d(n)$ ) und zählen dann die Freunde dieser Zahl ( $d(d(n))$ ). Erdős herausgefunden, wie sich die Summe dieser „Freunde von Freunden" verhält.

2. Das neue Rätsel: Der „Hybrid"

Campbells Arbeit fragt: Was wäre, wenn wir diese beiden kombinieren?
Anstatt nur die „Freunde von Freunden" ( $d(d(n))$ ) zu zählen, was wäre, wenn wir das Reziproke dieser Zahl nehmen?
$\text{Summe von } \frac{1}{d(d(n))}$

Das ist so, als würde man fragen: „Wenn ich mir für jede Zahl bis zu einer Million die ‚Freunde von Freunden' anschaue und die Brüche $1/\text{diese Anzahl}$ addiere, was ist dann die Gesamtsumme?"

Der Autor stellt fest, dass dies viel schwieriger ist als die ursprünglichen Probleme. Das Reziproke zu nehmen ist wie das Aufdrehen der Lautstärke bei den „seltsamen" Zahlen. Wenn eine Zahl eine sehr kleine „Freunde-von-Freunden"-Anzahl hat, wird ihr Reziprokes riesig und bringt das Gleichgewicht der Summe durcheinander.

3. Die Detektivarbeit: Die Menge filtern

Um dies zu lösen, musste Campbell die Menge der Zahlen in drei Gruppen aufteilen, wie das Aufräumen eines unordentlichen Zimmers in Haufen:

Haufen A (Die „mächtigen" Zahlen): Dies sind Zahlen mit einer sehr schweren, „mächtigen" Struktur (mathematisch sind sie durch Quadrate von Primzahlen teilbar). Campbell verwendete eine von Golomb entdeckte Regel, um zu zeigen, dass diese Zahlen selten genug sind, um die Gesamtsumme nicht allzu sehr zu stören.
Haufen B (Die „Ausreißer"): Dies sind Zahlen, die eine seltsame Anzahl von Primfaktoren haben (entweder viel zu viele oder viel zu wenige). Mit Hilfe eines klassischen statistischen Werkzeugs namens Turánsche Ungleichung (die wie ein „Varianz-Check" in der Statistik funktioniert), bewies Campbell, dass auch diese Ausreißer selten genug sind, um für die Hauptberechnung ignoriert zu werden.
Haufen C (Die „normalen" Zahlen): Dies ist die große Mehrheit der Zahlen. Für diese verhält sich die „Freunde-von-Freunden"-Anzahl gut. Campbell zeigte, dass für diese Gruppe der Wert von $1/d(d(n))$ für alle ungefähr gleich groß ist.

4. Die große Enthüllung

Nachdem er die unordentlichen Haufen (A und B) herausgefiltert hatte, betrachtete Campbell die Hauptgruppe (C). Er stellte fest, dass sich die Summe auf eine überraschend einfache Weise verhält.

Das Ergebnis:
Die Gesamtsumme wächst mit einer Rate von ungefähr:
$\frac{x}{\log(\log x)}$
(Wobei $x$ die Größe der Menge ist, die Sie betrachten.)

Auf Deutsch: Wenn Sie die Größe Ihrer Menge verdoppeln, verdoppelt sich die Summe nicht; sie wächst etwas langsamer und folgt einer spezifischen „Doppel-Logarithmus"-Kurve.

5. Die „Vermutung"

Die Arbeit beweist die Größe (Größenordnung) dieser Summe. Der Autor macht jedoch auch eine kühne Vermutung:
Genau wie Ramanujan für sein Problem eine spezifische Konstante fand, vermutet Campbell, dass es auch für dieses neue Hybridproblem eine spezifische Konstante gibt. Er schreibt, dass der Beweis für das Bestehen dieser spezifischen Konstante wahrscheinlich sehr schwierig ist, ähnlich wie andere berühmte ungelöste Probleme in der Mathematik.

Zusammenfassung

John Campbell nahm ein komplexes mathematisches Rätsel, das „Teiler von Teilern" und ihre Reziproken betraf. Durch eine Mischung aus alten statistischen Werkzeugen und neuen Filtertechniken bewies er, dass die Summe dieser Werte mit einer vorhersehbaren Rate wächst: proportional zur Größe der Zahlen dividiert durch den Logarithmus des Logarithmus der Größe.

Es ist eine Geschichte davon, ein chaotisches, unregelmäßiges mathematisches Objekt zu nehmen, es in „normale" und „anormale" Gruppen zu sortieren und zu zeigen, dass die „normale" Gruppe die endgültige Antwort bestimmt.

1. Problemstellung

Der Artikel untersucht das asymptotische Verhalten einer spezifischen hybriden Teiler-Summe, die Elemente aus zwei klassischen Problemen der analytischen Zahlentheorie kombiniert:

Die Ramanujan-Teiler-Summe: Betrifft die Summe der Kehrwerte der Teilerfunktion, $\sum_{n \le x} \frac{1}{d(n)}$ . Ramanujan (1915) zeigte, dass sich diese Summe asymptotisch wie $\frac{x}{\sqrt{\log x}}$ verhält.
Die Erdős-Teiler-Summe: Betrifft die Summe der iterierten Teilerfunktion, $\sum_{n \le x} d(d(n))$ . Erdős (1950er Jahre) bewies, dass sich diese wie $c_1 x \log \log x$ verhält.
Das Titchmarsh-Teilerproblem: Betrifft Summen über Primzahlen, speziell $\sum_{p \le x} d(p-1)$ . Jüngste Arbeiten von Gabdullin et al. (2020er Jahre) analysierten die reziproke Version $\sum_{p \le x} \frac{1}{d(p-1)}$ und zeigten, dass sie von der Ordnung $\frac{x}{(\log x)^{3/2}}$ ist.

Das Kernproblem:
Der Autor untersucht die „hybride" Summe, die durch Bildung des Kehrwerts der Erdős-iterierten Funktion entsteht:
$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$
Das Vorhandensein des Kehrwerts kompliziert die Analyse erheblich, da es den Beitrag von ganzen Zahlen $n$ , bei denen $d(d(n))$ außergewöhnlich klein ist, verstärkt. Ziel des Artikels ist es, die Größenordnung von $S(x)$ zu bestimmen.

2. Methodik

Der Beweis stützt sich auf die Zerlegung der Menge der ganzen Zahlen $\{n \le x\}$ in „typische" und „ausgezeichnete" Mengen, die Abschätzung des Beitrags der ausgezeichneten Mengen und die Abschätzung des Hauptterms unter Verwendung von Werkzeugen der probabilistischen Zahlentheorie.

Wichtige Werkzeuge und Definitionen:

Zerlegung von $n$ : Ganze Zahlen werden in einen quadratfreien Teil $a(n)$ und einen kraftvollen Teil $b(n)$ zerlegt (wobei $n = a(n)b(n)$ ). Die Teilerfunktion wird ausgedrückt als $d(n) = 2^{\omega(a(n))} d(b(n))$ , wobei $\omega(n)$ die Anzahl der verschiedenen Primfaktoren ist.
Golombs Abschätzung: Wird verwendet, um die Dichte kraftvoller Zahlen zu begrenzen. Die Anzahl der kraftvollen Zahlen $\le x$ ist $O(x^{1/2})$ .
Turáns quantitative Hardy–Ramanujan-Theorem: Nutzt die Turán–Kubilius-Ungleichung, um zu zeigen, dass $\omega(n)$ normal um $\log \log n$ verteilt ist. Insbesondere ist die Varianz klein: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$ .
Abelsche Summation: Wird angewendet, um über kraftvolle Zahlen zu summieren und Schranken herzuleiten.

Beweisstrategie (Lemma-Zerlegung):
Der Autor unterteilt den Summationsbereich $n \le x$ in drei disjunkte Mengen, um die Summe nach oben und unten abzuschätzen:

Menge $B_1(x)$ (Großer kraftvoller Teil): Ganze Zahlen, bei denen der kraftvolle Teil $b(n) > (\log \log x)^2$ ist.
- Methode: Unter Verwendung von Golombs Abschätzung und der Abelschen Summation beweist der Autor, dass die Anzahl solcher ganzen Zahlen klein ist ( $\ll \frac{x}{\log \log x}$ ). Da $\frac{1}{d(d(n))} \le 1$ gilt, ist ihr Gesamtbeitrag vernachlässigbar.
Menge $B_2(x)$ (Atypische Primfaktoren): Ganze Zahlen, bei denen $\omega(n)$ signifikant vom Mittelwert $\log \log x$ abweicht (speziell außerhalb von $[\frac{1}{2}\log \log x, 2\log \log x]$ ).
- Methode: Unter Verwendung von Turáns Varianzabschätzung (Gleichung 15) zeigt der Autor, dass die Anzahl solcher ganzen Zahlen $\ll \frac{x}{\log \log x}$ ist. Ihr Beitrag ist ebenfalls vernachlässigbar.
Menge $B_3(x)$ (Typische quadratfreie ganze Zahlen): Ganze Zahlen, die quadratfrei sind und bei denen $\omega(n)$ im normalen Bereich liegt.
- Methode: Für quadratfreie $n$ gilt $d(n) = 2^{\omega(n)}$ . Folglich ist $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$ .
- Da $\omega(n) \approx \log \log x$ ist, gilt für den Term $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$ .
- Die Dichte quadratfreier Zahlen beträgt $\frac{6}{\pi^2}x$ . Der Autor beweist, dass die Summe über diese Menge die dominante untere Schranke liefert.

3. Wichtige Beiträge und Ergebnisse

Hauptsatz:
Der Artikel etabliert die Größenordnung für die hybride Summe:
$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$
Dies bedeutet, dass es positive Konstanten $c_{min}$ und $c_{max}$ gibt, sodass für hinreichend große $x$ gilt:
$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$

Vermutung:
Durch Analogie zur vermuteten asymptotischen Äquivalenz für die Titchmarsh-Ramanujan-Hybride (Gabdullin et al.) vermutet der Autor eine präzise asymptotische Formel:
$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$
für eine Konstante $c_3 \in (0, \infty)$ . Der Autor stellt fest, dass der Beweis der Existenz dieser spezifischen Konstante wahrscheinlich ein schwieriges Problem ist, ähnlich der Schwierigkeit der Titchmarsh-Ramanujan-Vermutung.

4. Bedeutung

Brückenschlag zwischen klassischen Problemen: Die Arbeit vereint erfolgreich die Untersuchung der Erdős-iterierten Teiler-Summe und der Ramanujan-reziproken Teiler-Summe und schafft ein neues „hybrides" Problem in der analytischen Zahlentheorie.
Umgang mit Kehrwerten: Sie zeigt, wie mit den analytischen Schwierigkeiten umgegangen werden kann, die durch Kehrwerte in Teiler-Summen eingeführt werden, insbesondere wie die Fälle mit „kleinen Teilern" (ganze Zahlen mit wenigen Teilern) das Verhalten der Summe dominieren.
Methodische Anwendung: Der Artikel kombiniert effektiv Golombs Schranken für kraftvolle Zahlen mit Turáns probabilistischen Abschätzungen zur Verteilung von Primfaktoren, um ein Problem zu lösen, bei dem Standard-multiplicative Techniken (wie die Hyperbelmethode von Dirichlet) aufgrund der nicht-multipikativen Natur von $d(d(n))$ versagen.
Zukünftige Richtungen: Der Artikel ebnet den Weg für zukünftige Forschung zur präzisen Konstante $c_3$ und zur möglichen Anwendung ähnlicher hybrider Techniken auf andere iterierte arithmetische Funktionen.

Zusammenfassend beweist Campbell, dass die Summe der Kehrwerte der iterierten Teilerfunktion wie $\frac{x}{\log \log x}$ wächst, ein Ergebnis, das langsamer ist als das lineare Wachstum der nicht-reziproken Erdős-Summe, aber schneller als das $\frac{x}{\sqrt{\log x}}$ -Wachstum der Standard-Ramanujan-reziproken Summe.