On a family of arithmetic series related to the Möbius function

Die Arbeit verallgemeinert ein Ergebnis von Alladi und Johnson, indem sie zeigt, dass die Summe von $\mu(n)\omega(n)/n$ über alle natürlichen Zahlen $n$, deren kleinster Primfaktor in einer Menge von Primzahlen mit natürlicher Dichte liegt, gleich null ist, und liefert dazu eine effektive Konvergenzschätzung.

Das Wesentliche

Das große Rätsel der Zahlen: Wenn die kleinsten Bausteine zählen

Stellen Sie sich vor, die ganzen Zahlen (1, 2, 3, 4, ...) sind wie eine riesige, unendliche Stadt. Jede Zahl in dieser Stadt ist ein Gebäude. Aber jedes Gebäude ist aus kleineren Bausteinen gebaut, den Primzahlen.

• Die Primzahlen sind die fundamentalen Ziegelsteine.
• Die kleinste Primzahl, die ein Gebäude (eine Zahl) zusammenhält, nennen wir den „kleinsten Primfaktor".
  • Bei der Zahl 12 (das sind $2 \times 2 \times 3$) ist die 2 der kleinste Ziegelstein.
  • Bei der Zahl 35 (das sind $5 \times 7$) ist die 5 der kleinste Ziegelstein.

Der Autor dieses Papers, Gérald Tenenbaum, untersucht eine sehr spezielle Art, diese Stadt zu zählen. Er schaut sich nicht einfach alle Zahlen an, sondern nur solche, bei denen der kleinste Ziegelstein zu einer bestimmten Gruppe gehört.

Das Spiel mit den Vorzeichen (Die Waage)

Um das Problem zu verstehen, müssen wir uns zwei besondere Werkzeuge vorstellen, die Mathematiker benutzen:

1. Der Mobius-Filter ($\mu$): Stellen Sie sich vor, jede Zahl hat ein Schild.

   • Wenn die Zahl aus einer geraden Anzahl verschiedener Ziegelsteine besteht, ist das Schild positiv (+).
   • Wenn sie aus einer ungeraden Anzahl besteht, ist das Schild negativ (-).
   • Wenn ein Ziegelstein doppelt vorkommt (wie bei 12, wo die 2 zweimal ist), ist das Schild leer (0).
   • Zweck: Dieser Filter sorgt dafür, dass sich positive und negative Zahlen oft gegenseitig aufheben, wie eine Waage, die im Gleichgewicht sein soll.

2. Der Zähler der Ziegelsteine ($\omega$): Dieser zählt einfach, wie viele verschiedene Ziegelsteine in einem Gebäude stecken.

Tenenbaum stellt nun eine riesige Waage auf. Er legt alle Zahlen $n$ darauf, deren kleinster Ziegelstein zu einer bestimmten Gruppe von Primzahlen gehört. Auf die Waage legt er das Gewicht:
$$\text{Gewicht} = \frac{\text{Mobius-Schild} \times \text{Anzahl der Ziegelsteine}}{n}$$

Die große Entdeckung: Die Waage bleibt im Gleichgewicht

In einer früheren Studie hatten Alladi und Johnson bewiesen: Wenn man sich nur Primzahlen in einer bestimmten Reihenfolge (arithmetische Folge) anschaut (z. B. alle Primzahlen, die bei der Division durch 3 den Rest 1 lassen), dann wiegt die Waage am Ende genau null. Die positiven und negativen Beiträge heben sich perfekt auf.

Tenenbaum fragt sich nun: Gilt das immer noch, wenn wir die Gruppe der Primzahlen beliebig wählen?

Die Antwort ist Ja.

Er zeigt, dass es fast egal ist, welche Gruppe von Primzahlen Sie auswählen, solange diese Gruppe eine gewisse „natürliche Dichte" hat (d.h., sie ist nicht völlig chaotisch oder extrem selten). Wenn Sie alle Zahlen nehmen, deren kleinster Primfaktor zu dieser Gruppe gehört, und die Waage wie oben beschreiben, wird das Ergebnis immer gegen Null streben.

Wie schnell passiert das? (Die Geschwindigkeit des Ausgleichs)

Das ist nicht nur eine theoretische Aussage. Tenenbaum berechnet auch, wie schnell sich die Waage ausgleicht.
Stellen Sie sich vor, Sie schütten Sand auf die Waage. Am Anfang wackelt sie stark. Aber je mehr Sand (je mehr Zahlen) Sie hinzufügen, desto ruhiger wird sie.
Tenenbaum gibt eine Formel an, die sagt: „Je weiter Sie in der Zahlenreihe nach vorne gehen, desto schneller nähert sich das Ergebnis Null an, und zwar mit einer bestimmten Geschwindigkeit, die von der Größe Ihrer Primzahl-Gruppe abhängt."

Ein wichtiger Hinweis: Nicht jede Gruppe funktioniert

Der Autor warnt jedoch vor einem Fallstrick. Man kann sich eine Gruppe von Primzahlen so „schummeln" zusammenstellen, dass die Waage nicht auf Null geht.

• Das Bild: Stellen Sie sich vor, Sie bauen eine Stadt, in der Sie in bestimmten Abständen plötzlich riesige Hochhäuser bauen, die die Waage kippen lassen, und dann lange Zeit gar nichts. Wenn Sie diese „Schummel-Strategie" anwenden, funktioniert der mathematische Zauber nicht mehr.
• Tenenbaum zeigt, dass für „normale", natürliche Gruppen von Primzahlen das Ergebnis Null ist, aber für künstlich konstruierte, extrem unregelmäßige Gruppen nicht.

Warum ist das wichtig?

Dieses Ergebnis ist wie ein Beweis dafür, dass die Welt der Zahlen, obwohl sie auf den ersten Blick chaotisch wirkt, tief im Inneren eine erstaunliche Ordnung und Symmetrie besitzt. Selbst wenn wir uns nur auf die „kleinsten Bausteine" einer Zahl konzentrieren, heben sich die komplexen Wechselwirkungen zwischen den Zahlen so perfekt auf, dass das Gesamtergebnis neutral bleibt.

Zusammenfassend:
Tenenbaum hat bewiesen, dass die Natur der Primzahlen so robust ist, dass eine spezielle mathematische Summe (eine Art Waage) immer auf Null ausbalanciert wird, egal welche „natürliche" Auswahl an Primzahlen man trifft. Er hat zudem genau berechnet, wie schnell diese Balance erreicht wird.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers von Gérald Tenenbaum auf Deutsch.

Titel: Über eine Familie arithmetischer Reihen im Zusammenhang mit der Möbius-Funktion

Autor: Gérald Tenenbaum
Zielsetzung: Verallgemeinerung eines Ergebnisses von Alladi und Johnson über die Summation von $\mu(n)\omega(n)/n$ über Primzahlen in arithmetischen Progressionen auf Mengen von Primzahlen mit natürlicher Dichte.

---

1. Problemstellung und Hintergrund

Das Papier untersucht das asymptotische Verhalten der Summe
$$S(x) = \sum_{\substack{n \le x \\ P^-(n) \in \mathcal{P}}} \frac{\mu(n)\omega(n)}{n},$$
wobei:

• $P^-(n)$ der kleinste Primfaktor von $n$ ist.
• $\mu(n)$ die Möbius-Funktion ist.
• $\omega(n)$ die Anzahl der verschiedenen Primfaktoren von $n$ ist.
• $\mathcal{P}$ eine Teilmenge der Primzahlen ist.

Hintergrund:
In einer kürzlichen Arbeit zeigten Alladi und Johnson, dass für Primzahlen in einer arithmetischen Progression $P^-(n) \equiv \ell \pmod k$ (mit $(k, \ell)=1$) die Summe gegen 0 konvergiert:
$$\sum_{P^-(n) \equiv \ell \pmod k} \frac{\mu(n)\omega(n)}{n} = 0.$$
Ihr Beweis stützte sich stark auf den Primzahlsatz für arithmetische Progressionen und eine Dualitätsidentität von Alladi.

Die offene Frage:
Tenenbaum untersucht, inwieweit dieses Verschwinden der Summe von der spezifischen Struktur der Primzahlmengen $\mathcal{P}$ abhängt. Konvergiert die Summe immer noch gegen 0, wenn $\mathcal{P}$ eine allgemeinere Menge von Primzahlen mit einer bestimmten Dichte ist?

---

2. Methodik

Tenenbaum verwendet eine Kombination aus analytischen Zahlentheorie-Methoden, die über die Techniken von Alladi und Johnson hinausgehen:

1. Möbius-Inversion und Dualität:
   Die Summe wird in zwei Teile zerlegt: einen Beitrag von kleinen Primfaktoren ($P^-(n) \le y$) und einen Beitrag von großen Primfaktoren ($P^-(n) > y$), wobei $y$ ein frei wählbarer Parameter ist.

   • Für den kleinen Teil wird eine Identität hergeleitet, die $g_y(n)$ (eine Dirichlet-Faltung) mit der größten Primfaktor-Funktion $P^+(n)$ verbindet. Dies ermöglicht eine Abschätzung mittels des starken Primzahlsatzes.

2. Selberg-Delange-Methode:
   Für den großen Teil der Summe wird die Methode von Selberg und Delange angewendet. Dies beinhaltet die Analyse der Dirichlet-Reihe:
   $$F(s, z) = \sum_{P^-(n) > y} \frac{\mu(n)z^{\omega(n)}}{n^s}.$$
   Die Summe wird als Ableitung dieser Reihe bei $z=1$ interpretiert.

3. Perronsche Formel und Konturintegration:
   Zur Rückgewinnung der Koeffizienten der Dirichlet-Reihe wird eine modifizierte Perron-Formel verwendet. Die Integration erfolgt entlang komplexer Konturen.

   • Sattelpunktsabschätzungen: Die Integrale werden durch Verschiebung der Integrationspfade und Ausnutzung der Eigenschaften der Dickman-Funktion $\varrho(v)$ (via ihrer Laplace-Transformierten) abgeschätzt.
   • Zero-freie Regionen: Die Analyse nutzt die Korobov-Vinogradov-Region, in der die Riemannsche Zeta-Funktion keine Nullstellen hat, um Fehlerterme zu kontrollieren.

4. Asymptotische Analyse:
   Die Hauptterme werden durch Hankel-Konturen um den Ursprung ausgewertet, was zu Termen mit der Dickman-Funktion und der Euler-Konstanten $\gamma$ führt.

---

3. Hauptergebnisse

Hauptsatz (Theorem 1.1)

Sei $\mathcal{P}$ eine Menge von Primzahlen, die eine natürliche Dichte $\delta \in [0, 1]$ besitzt. Das bedeutet, dass für die Funktion
$$\varepsilon_{\mathcal{P}}(t) := \frac{1}{t} \sum_{\substack{p \le t \\ p \in \mathcal{P}}} \log p - \delta$$
gilt: $\varepsilon_{\mathcal{P}}(t) = o(1)$ für $t \to \infty$.

Dann gilt:
$$\sum_{P^-(n) \in \mathcal{P}} \frac{\mu(n)\omega(n)}{n} = 0.$$

Effektive Abschätzung:
Für ein festes $b > 5/3$ und $e^{(\log_2 x)^b} \le y \le \sqrt{x}$ gilt die folgende effektive Konvergenzrate:
$$\sum_{\substack{n \le x \\ P^-(n) \in \mathcal{P}}} \frac{\mu(n)\omega(n)}{n} \ll \varepsilon^*_{\mathcal{P}}(y) \log u + \frac{1}{u},$$
wobei $u = \frac{\log x}{\log y}$ und $\varepsilon^*_{\mathcal{P}}(y) = \sup_{t > y} |\varepsilon_{\mathcal{P}}(t)|$.

Grenzen der Gültigkeit (Gegenbeispiel)

Der Autor zeigt, dass die Bedingung der natürlichen Dichte notwendig ist. Wenn $\mathcal{P}$ so gewählt wird, dass es Primzahlen in Intervallen $[\sqrt{x_j}, x_j]$ für eine sehr schnell wachsende Folge $\{x_j\}$ enthält, konvergiert die Summe nicht gegen 0. Stattdessen gilt:
$$\liminf_{x \to \infty} \sum_{\substack{n \le x \\ P^-(n) \in \mathcal{P}}} \frac{\mu(n)\omega(n)}{n} \le -\log 2.$$
Dies verdeutlicht, dass die Struktur der Primzahlauswahl entscheidend ist.

Spezialfälle (Proposition 3.1 & 3.2)

• Für $\mathcal{P} = \text{alle Primzahlen}$ gilt: $\sum_{n \le x} \frac{\mu(n)\omega(n)}{n} \sim -\frac{1}{\log x}$.
• Für $\mathcal{P} = \{p\}$ (eine einzelne Primzahl) gilt: $\sum_{\substack{n \le x \\ P^-(n)=p}} \frac{\mu(n)\omega(n)}{n} \sim \frac{\zeta(1, p)}{p \log x}$.
  Tenenbaum bemerkt, dass man das globale Ergebnis ($\to 0$) nicht einfach durch Summation der lokalen Ergebnisse (für einzelne Primzahlen) rekonstruieren kann, was auf eine tiefe Nicht-Kommutativität der Grenzübergänge hinweist.

---

4. Bedeutung und Beitrag

1. Verallgemeinerung: Das Ergebnis erweitert den Satz von Alladi und Johnson von arithmetischen Progressionen auf jede Primzahlmenge mit natürlicher Dichte. Dies zeigt, dass die Konvergenz gegen 0 eine universelle Eigenschaft für "gut verteilte" Primzahlmengen ist und nicht an die Struktur arithmetischer Progressionen gebunden ist.
2. Effektive Raten: Im Gegensatz zu reinen Existenzaussagen liefert Tenenbaum eine effektive Abschätzung der Konvergenzgeschwindigkeit, die von der Güte der Annäherung der Dichte der Menge $\mathcal{P}$ an $\delta$ abhängt.
3. Technische Präzision: Die Arbeit demonstriert die Kraft der Kombination aus Perron-Formel, Sattelpunktsanalyse und der Theorie der Dickman-Funktion bei der Behandlung von Summen über kleinste Primfaktoren.
4. Klarstellung der Grenzen: Durch das konstruierte Gegenbeispiel wird präzise aufgezeigt, wo die Methode versagt (bei unregelmäßig verteilten Primzahlmengen), was das Verständnis der zugrunde liegenden Mechanismen vertieft.

Zusammenfassend stellt dieses Papier einen bedeutenden Fortschritt in der analytischen Zahlentheorie dar, indem es die Bedingungen für das Verschwinden bestimmter gewichteter Summen über die Möbius-Funktion und die Anzahl der Primfaktoren präzisiert und verallgemeinert.