🔢 mathematics

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

Diese Arbeit etabliert die vollständige asymptotische Entwicklung der additiven Mertens-Summe $S_k(x)$ , leitet deren führendes Verhalten von $x^{k-1}/\log^k x$ ab und liefert explizite Formeln für die Entwicklungs-Koeffizienten in Abhängigkeit von multiplen logarithmischen Integralen, mit vollständig expliziten Ergebnissen für die ersten paar Terme für allgemeines $k$ sowie einer vollständigen geschlossenen Folge für den Fall $k=2$ .

Ursprüngliche Autoren: Daoyi Peng, Hao Liu

Veröffentlicht 2026-07-13

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Daoyi Peng, Hao Liu

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 hätten einen riesigen Beutel voller Primzahlen – die Bausteine der Mathematik wie 2, 3, 5, 7 und so weiter. Stellen Sie sich nun vor, Sie ziehen $k$ dieser Primzahlen nach dem Zufallsprinuss (wobei $k$ mindestens 2 sein muss) und addieren sie auf. Die Arbeit stellt eine sehr spezifische Frage: Wenn Sie den Kehrwert dieser Summe (1 geteilt durch die Summe) nehmen und die Kehrwerte aller möglichen Kombinationen dieser Primzahlen bis zu einer riesigen Zahl $x$ aufsummieren, wie sieht das Gesamtergebnis aus?

Dies wird als additive Mertens-Summe bezeichnet, geschrieben als $S_k(x)$ .

Die große Überraschung: Es ist nicht das, was man erwartet

Lange Zeit waren Mathematiker von einer multiplikativen Version dieses Problems besessen. In dieser Version multiplizieren Sie die Primzahlen (wie $p_1 \times p_2 \times \dots$ ), anstatt sie zu addieren. Diese Version wächst sehr langsam, wie ein Flüstern, das erst lauter wird, wenn man immer wieder doppelt auf eine Schaltfläche klickt (mathematisch gesehen wächst sie wie $(\log \log x)^k$ ).

Doch dieses Papier dreht das Skript um. Die Autoren, Daoyi Peng und Hao Liu, haben entdeckt, dass die Summe viel schneller explodiert, wenn man die Primzahlen addiert statt sie zu multiplizieren. Sie flüstert nicht; sie schreit. Der Leitterm dieser Summe wächst wie $\frac{x^{k-1}}{(\log x)^k}$ .

Um dies zu visualisieren: Wenn die multiplikative Version eine Schnecke ist, die eine Wand hochkrabbelt, dann ist die additive Version eine Rakete, die abhebt – aber mit einer sehr spezifischen, vorhersehbaren Treibstoffverbrauchsrate.

Das Meisterrezept: Eine vollständige asymptotische Entwicklung

Das Papier beschreibt nicht nur die Geschwindigkeit der Rakete; es schreibt das vollständige Rezept für den gesamten Flugpfad. Sie haben bewiesen, dass man $S_k(x)$ , wenn $x$ gegen Unendlich geht, mit einer präzisen Formel beschreiben kann:

$S_k(x) \approx \frac{x^{k-1}}{(\log x)^k} \times \left( \text{Konstante}_0 + \frac{\text{Konstante}_1}{\log x} + \frac{\text{Konstante}_2}{(\log x)^2} + \dots \right)$

Stellen Sie sich das wie ein hochwertiges Teleskop vor. Der erste Term ( $\text{Konstante}_0$ ) liefert ein verschwommenes Bild der Sterne. Der nächste Term ( $\text{Konstante}_1$ ) schärft den Fokus. Der nächste ( $\text{Konstante}_2$ ) macht das Bild kristallklar. Die Autoren haben bewiesen, dass man diese „Fokusregler“ ewig weit hinzufügen kann, um eine immer bessere Annäherung zu erhalten.

Die geheimen Zutaten: Die Koeffizienten

Die wahre Magie liegt darin, herauszufinden, was diese „Konstanten“ eigentlich sind. Die Autoren fanden heraus, dass diese Zahlen nicht zufällig sind; sie sind in komplexen, mehrdimensionalen Integralen verborgen (man stelle sich vor, man misst das Volumen einer Form, die in $k$ Dimensionen existiert, wobei die Form durch Logarithmen definiert ist).

Es gelang ihnen, den Code für die ersten paar Zutaten zu knacken:

Die erste Zutat ( $E_{k,0}$ ): Sie fanden eine saubere, geschlossene Formel für diese. Wenn Sie zum Beispiel 2 Primzahlen haben ( $k=2$ ), ist diese Zahl $2 \log 2$ .
Die zweite Zutat ( $E_{k,1}$ ): Diese ist etwas komplexer und beinhaltet berühmte mathematische Konstanten wie $\pi^2$ und spezielle Funktionen namens Polylogarithmen ( $\text{Li}_2$ ).
Die dritte Zutat ( $E_{k,2}$ ): Hier wird es knifflig. Die Autoren konnten eine perfekte Formel für den „diagonalen“ Teil dieser Zutat aufschreiben (wo die Variablen sich „gut“ verhalten), aber der „Kreuzterm“ (wo die Variablen auf unordentliche Weise miteinander vermischt werden) wird für $k \ge 5$ zu einem Albtraum.

Entscheidend ist, dass das Papier explizit gegen eine einfache, einheitliche Formel für die dritte Zutat bei großen $k$ (5 oder mehr) argumentiert. Während sie die Fälle für kleine $k$ wie $k=2, 3, 4$ berechnen können, wird die Mathematik durch die seltsamen Polylogarithmus-Werte so verknotet, dass sie zugeben, dass ein einzelner, eleganter „geschlossener Ausdruck“ für alle $k$ wahrscheinlich nicht existiert. Sie sagen nicht nur „es ist schwer“; sie zeigen, dass sich die Struktur grundlegend ändert und neue Arten von Zahlen einführt, die nicht mit den alten harmonieren.

Der Spezialfall: $k=2$

Wenn man nur zwei Primzahlen wählt ( $k=2$ ), fanden die Autoren ein „Goldenes Ticket“. Sie entdeckten, dass die gesamte Sequenz der Koeffizienten ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) einem einzigen, wunderschönen Muster folgt, das die Dirichlet-Eta-Funktion und die Riemannsche Zeta-Funktion beinhaltet. Es ist, als würde man feststellen, dass die gesamte unendliche Folge der Fokusregler für ein bestimmtes Teleskop durch eine einzige, elegante Gleichung beschrieben werden kann.

Wie sicher sind sie sich?

Die Autoren sind äußerst zuversichtlich in ihr Hauptergebnis. Sie haben nicht nur geraten; sie haben es mit strengen Werkzeugen wie dem Primzahlsatz und mehrdimensionalen Taylor-Entwicklungen bewiesen.

Der Beweis: Sie haben mathematisch demonstriert, dass der Fehler in ihrer Formel schneller als jede Potenz von $\log x$ schrumpft, wenn $x$ riesig wird.
Die Zahlen: Um ihre Theorie zu untermauern, führten sie massive Computersimulationen durch.
- Für $k=2$ testeten sie Zahlen bis zu $5.000.000$. Die Annäherung wich unter Verwendung der ersten fünf Terme ihrer Formel nur um 0,2 % ab.
- Für $k=3$ testeten sie bis zu $10.000.000$. Die Drei-Term-Formel wich um etwa 1,3 % ab.
- Sie bemerkten auch etwas Faszinierendes: Wenn man die Formel für kleine Zahlen zu früh abbricht, wird sie schlechter. Dies ist die Natur einer „asymptotischen“ Reihe – es ist wie eine Karte, die genauer wird, je weiter man reist, aber wenn man versucht, mit dem „fernen“ Teil der Karte seinen eigenen Hinterhof zu navigieren, kann man sich verlaufen.

Das Fazre Fazit

Dieses Papier löst ein lang gehegtes Rätsel darüber, wie sich Summen von Primkehrwerten verhalten, wenn man sie aufsummiert. Es ersetzt eine vage Vermutung durch ein präzises, unendliches Rezept. Während sie den Code für die ersten Schritte des Rezepts (und das ganze Rezept für den einfachsten Fall von zwei Primzahlen) geknackt haben, haben sie auch eine klare Linie gezogen: Für komplexere Fälle mit vielen Primzahlen sind die „Kreuzterm“-Zutaten zu chaotisch, um in einer einzigen, einfachen Formel aufgeschrieben zu werden. Die Mathematik ist da, sie ist bewiesen, und sie wurde getestet, aber das letzte Puzzleteil für große $k$ bleibt ein wunderschöner, ungelöster Knoten.

Technisches Resümee: Vollständige asymptotische Entwicklung der additiven Mertens-Summe $S_k(x)$

Problemstellung
Die Arbeit befasst sich mit dem asymptotischen Verhalten der additiven Mertens-Summe, definiert für eine ganze Zahl $k \ge 2$ und $x > 2$ als:
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
wobei $p_i$ Primzahlen sind. Während das multiplikative Analogon (verallgemeinerte Mertens-Summe $\sum 1/(p_1 \cdots p_k)$ ) gut untersucht ist und einen Leitterm der Ordnung $(\log \log x)^k$ besitzt, weist die additive Summe eine grundlegend andere Wachstumsrate auf. Elementare Abschätzungen, die aus der AM-GM-Ungleichung und dem Primzahlsatz (PNT) abgeleitet werden, legen nahe, dass der Leitterm der Ordnung $x^{k-1}/\log^k x$ ist. Das primäre Ziel dieser Arbeit ist es, die vollständige asymptotische Entwicklung von $S_k(x)$ zu etablieren, die exakten Koeffizienten der Reihe zu bestimmen und geschlossene Ausdrücke für die ersten Terme bereitzustellen.

Methodik
Die Autoren verwenden eine Kombination aus analytischer Zahlentheorie und Techniken der reellen Analysis:

Stieltjes-Integral-Darstellung: Die Summe wird als $k$ -faches Stieltjes-Integral unter Verwendung der Primzahlverteilungsfunktion $\pi(u)$ umformuliert.
Zerlegung des Primzahlsatzes (PNT): Das Differenzial $d\pi(u)$ wird in den Hauptterm $du/\log u$ und einen Restterm $dR(u)$ aufgeteilt, wobei $R(u) = \pi(u) - \text{Li}(u)$ ist. Die aus dem Restterm resultierenden Fehlerterme werden durch Integration durch Teile und Abschätzungen auf $R(u)$ als vernachlässigbar erwiesen (sie zerfallen schneller als jede Potenz von $\log x$ ).
Variablenskalierung und Taylor-Entwicklung: Das Integral des Hauptterms wird mittels $u_j = x t_j$ skaliert. Das Gebiet wird in eine „Hauptregion“ (in der $t_j$ von 0 fern bleiben) und eine „Randregion“ unterteilt. In der Hauptregion wird der Kern $\prod (L + \log t_j)^{-1}$ (mit $L = \log x$ ) unter Verwendung einer multivariaten Taylor-Reihe mit vollständigen homogenen symmetrischen Polynomen $h_n$ expandiert.
Laplace-Transform-Techniken: Die resultierenden Koeffizientenintegrale, die über dem Einheitswürfel $(0,1]^k$ definiert sind, werden mithilfe der Identität $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ in ein eintermiges Integral transformiert. Dies reduziert das Problem auf die Analyse von Erzeugungsfunktionen, die spezifische Differentialgleichungen höherer Ordnung erfüllen.
Extraktion durch endliche Differenzen: Die Koeffizienten der Entwicklung werden durch auf die Erzeugungsfunktionen angewendete Vorwärtsdifferenz-Operatoren $\Delta^{k-1}$ extrahiert, wobei die Eigenschaft genutzt wird, dass Differenzen von Polynomen des Grades kleiner als $k-1$ verschwinden.

Wesentliche Beiträge und Ergebnisse

Vollständige asymptotische Entwicklung (Theorem 1): Das Papier beweist, dass für jedes feste $N \ge 0$ :
$S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^N \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right).$
Die Koeffizienten $E_{k,n}$ sind gegeben durch absolut konvergente multiple logarithmische Integrale:
$E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dots, \log t_k)}{t_1 + \cdots + t_k} dt.$
Geschlossene Formen für die Anfangskoeffizienten (Theorem 2):
- Leitterm ( $E_{k,0}$ ): Eine geschlossene Form unter Verwendung einer endlichen Summe von Logarithmen, gewichtet durch Binomialkoeffizienten und Potenzen, wird hergeleitet.
- Zweiter Ordnung ( $E_{k,1}$ ): Der Koeffizient wird in einer Basis aus $\pi^2$ , $\log m$ und der Dilogarithmus $\text{Li}_2(-1/m)$ ausgedrückt.
- Dritter Ordnung ( $E_{k,2}$ ): Der Koeffizient wird in einen „diagonalen“ Teil ( $k A_k$ ) und einen „Kreuz“-Teil ( $\binom{k}{2} B_k$ ) zerlegt. Der diagonale Teil lässt sich für alle $k$ unter Verwendung von $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ und logarithmischen Summen in einer geschlossenen Form darstellen. Der Kreuz-Teil ist für $k \le 4$ vollständig explizit, wird aber für $k \ge 5$ strukturell komplex und beinhaltet Polylogarithmen mit Nennern $\ge 5$ , die nicht offensichtlich auf die Standardbasis reduzierbar sind.
Explizite Entwicklungen für $k=2$ und $k=3$ :
- Für $k=2$ liefert das Papier eine geschlossene Formel für die gesamte Sequenz $\{E_{2,n}\}_{n \ge 0}$ . Die Koeffizienten sind explizite $\mathbb{Q}$ -lineare Kombinationen von $\log 2$ und Riemannschen Zeta-Werten $\zeta(j)$ , abgeleitet unter Verwendung der Dirichlet-Eta-Funktion.
- Für $k=3$ sind die ersten drei Terme der Entwicklung vollständig explizit, unter Kombination der Ergebnisse für $E_{3,0}, E_{3,1}, E_{3,2}$ .
Numerische Verifizierung: Die Autoren führen numerische Berechnungen für $S_2(x)$ und $S_3(x)$ bis $x = 10^7$ durch. Die Ergebnisse bestätigen, dass der relative Fehler für $x \to \infty$ abnimmt und dass das Hinzufügen aufeinanderfolgender Terme die Genauigkeit verbessert, was konsistent mit der asymptotischen Natur der Reihe ist. Die Daten illustrieren zudem das Phänomen der optimalen Trunkierung für ein festes $x$ .

Bedeutung und Ansprüche
Das Papier beansprucht, die erste Untersuchung des additiven Analogons der Mertens-Summe in der Literatur zu sein. Seine primäre Bedeutung liegt in:

Der Feststellung der korrekten Größenordnung ( $x^{k-1}/\log^k x$ ) und der vollständigen asymptotischen Struktur der Summe, im Gegensatz zum multiplikativen Fall.
Der Reduktion der Berechnung asymptotischer Koeffizienten auf die Evaluierung spezifischer multipler Integrale und der Bereitstellung expliziter geschlossener Formen für die führenden und untergeordneten Terme.
Der Identifizierung einer strukturellen Divergenz in den Koeffizienten für $k \ge 5$ , bei der die „Kreuz“-Terme Polylogarithmus-Werte einführen, die wahrscheinlich einer Reduktion auf eine einheitliche geschlossene Form widerstehen, was eine Grenze der aktuellen analytischen Fähigkeiten für solche Summen aufzeigt.

Die Arbeit stützt sich strikt auf die reell-variable Form des PNT und ruft keine tiefen Vermutungen (wie die Riemannsche Vermutung) für die Hauptasymptotik-Ergebnisse auf, obwohl die Fehlerterme vom klassischen PNT-Fehlerterm abhängen. Das Papier schließt damit, dass während die diagonalen Teile höherer Ordnung Koeffizienten über Erzeugungsfunktionen handhabbar bleiben, die Kreuz-Teile ein fundamentales Hindernis für eine einheitliche geschlossene Form für allgemeines $k$ darstellen.