🔢 mathematics

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

Dit artikel stelt de volledige asymptotische expansie van de additieve Mertens-som $S_k(x)$ vast, waarbij het de leidende orde gedrag van $x^{k-1}/\log^k x$ afleidt en expliciete formules voor de expansiecoëfficiënten verstrekt in termen van meervoudige logaritmische integralen, met volledig expliciete resultaten voor de eerste paar termen voor een algemene $k$ en een volledige gesloten reeks voor het geval $k=2$ .

Oorspronkelijke auteurs: Daoyi Peng, Hao Liu

Gepubliceerd 2026-07-13

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Daoyi Peng, Hao Liu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een gigantische zak met priemgetallen hebt—de bouwstenen van de wiskunde zoals 2, 3, 5, 7, enzovoort. Stel je nu voor dat je $k$ van deze priemgetallen willekeurig kiest (waarbij $k$ minstens 2 is) en ze bij elkaar optelt. De paper stelt een zeer specifieke vraag: Als je het reciproque van die som neemt (1 gedeeld door de som) en elke mogelijke combinatie van deze priemgetallen optelt tot een enorm groot getal $x$ , hoe ziet het totaal er dan uit?

Dit wordt de additieve Mertens-som genoemd, aangeduid als $S_k(x)$ .

De Grote Verrassing: Het Is Niet Wat Je Verwachtte

Lama lang waren wiskundigen geobsedeerd door een multiplicatieve versie van dit probleem. In die versie tel je de priemgetallen niet op, maar vermenigvuldig je ze (zoals $p_1 \times p_2 \times \dots$ ). Die versie groeit heel langzaam, als een fluistering die pas luider wordt als je herhaaldelijk dubbelklikt op een knop (wiskundig gezien groeit het als $(\log \log x)^k$ ).

Maar deze paper draait het scenario om. De auteurs, Daoyi Peng en Hao Liu, ontdekten dat wanneer je de priemgetallen optelt in plaats van ze te vermenigvuldigen, de som veel sneller explodeert. Het fluistert niet; het schreeuwt. De leidende term van deze som groeit als $\frac{x^{k-1}}{(\log x)^k}$ .

Om dit te visualiseren: als de multiplicatieve versie een slak is die tegen een muur opkruipt, dan is de additieve versie een raket die opstijgt, maar dan met een zeer specifieke, voorspelbare brandstofconsumptie.

Het Meesterrecept: Een Volledige Asymptotische Expansie

De paper vertelt je niet alleen de snelheid van de raket; het schrijft het volledige recept voor het hele vluchtpad uit. Ze bewezen dat, wanneer $x$ oneindig groot wordt, je $S_k(x)$ kunt beschrijven met een precieze formule:

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

Beschouw dit als een hoogwaardige telescoop. De eerste term ( $\text{Constant}_0$ ) geeft je een wazig beeld van de sterren. De volgende term ( $\text{Constant}_1$ ) brengt de focus scherper. De volgende term ( $\text{Constant}_2$ ) maakt het beeld kristalhelder. De auteurs bewezen dat je deze "focusknoppen" oneindig lang kunt blijven toevoegen om een steeds betere benadering te krijgen.

De Geheime Ingrediënten: De Coëfficiënten

De echte magie ligt in het achterhalen van wat die "Constanten" eigenlijk zijn. De auteurs ontdekten dat deze getallen niet willekeurig zijn; ze zitten verborgen in complexe, meerdimensionale integralen (stel je het meten van het volume van een vorm voor die in $k$ dimensies bestaat, waarbij de vorm wordt gedefinieerd door logaritmen).

Het lukte hen om de code te kraken voor de eerste paar ingrediënten:

Het Eerste Ingrediënt ( $E_{k,0}$ ): Ze vonden hiervoor een heldere, gesloten formule. Bijvoorbeeld, als je 2 priemgetallen hebt ( $k=2$ ), dan is dit getal $2 \log 2$ .
Het Tweede Ingrediënt ( $E_{k,1}$ ): Dit is iets complexer en bevat beroemde wiskundige constanten zoals $\pi^2$ en speciale functies zoals polylogaritmen ( $\text{Li}_2$ ).
Het Derde Ingrediënt ( $E_{k,2}$ ): Hier wordt het lastig. De auteurs konden een perfecte formule opschrijven voor het "diagonale" deel van dit ingrediënt (waar de variabelen zich netjes gedragen), maar het "kruisdeel" (waar variabelen op een rommelige manier mengen) wordt een nachtmerrie voor $k \ge 5$ .

Cruciaal is dat de paper expliciet een eenvoudige, verenigde formule uitsluit voor het derde ingrediënt wanneer $k$ groot is (5 of meer). Hoewel ze het kunnen berekenen voor kleine gevallen zoals $k=2, 3, 4$ , wordt de wiskunde zo verstrengeld met vreemde polylogaritme-waarden dat ze toegeven dat een enkele, nette "gesloten vorm" voor alle $k$ waarschijnlijk niet bestaat op de manier waarop we hopen. Ze zeggen niet alleen "het is moeilijk"; ze laten zien dat de structuur fundamenteel verandert en nieuwe soorten getallen introduceert die niet goed samenwerken met de oude.

Het Speciale Geval: $k=2$

Wanneer je slechts twee priemgetallen kiest ( $k=2$ ), vonden de auteurs een "Gouden Ticket". Ze ontdekten dat de gehele reeks coëfficiënten ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) één enkel, prachtig patroon volgt dat verband houdt met de Dirichlet-eta-functie en de Riemann-zeta-functie. Het is alsof je ontdekt dat de gehele oneindige reeks focusknoppen voor een specifieke telescoop kan worden beschreven door één enkele, elegante vergelijking.

Hoe Zeker Zijn Ze?

De auteurs zijn uiterst zelfverzekerd over hun hoofdbetoog. Ze hebben niet alleen gegokt; ze hebben het bewezen met rigoureuze instrumenten zoals de Priemgetallenstelling en multivariate Taylor-expansies.

Het Bewijs: Ze hebben wiskundig aangetoond dat de fout in hun formule sneller krimpt dan elke macht van $\log x$ naarmate $x$ enorm groot wordt.
De Cijfers: Om hun theorie te onderbouwen, hebben ze enorme computersimulaties uitgevoerd.
- Voor $k=2$ testten ze getallen tot $5.000.000$. De benadering zat er bij gebruik van slechts de eerste vijf termen naast met slechts 0,2%.
- Voor $k=3$ testten ze tot $10.000.000$. De formule met drie termen zat er ongeveer 1,3% naast.
- Ze merkten ook iets fascinerends op: als je de formule te vroeg stopt voor kleine getallen, wordt de fout groter. Dit is de aard van een "asymptotische" reeks—het is als een kaart die nauwkeuriger wordt naarmate je verder reist, maar als je probeert het verre deel van de kaart te gebruiken om je eigen achtertuin te navigeren, kun je verdwalen.

De Kern van het Verhaal

Deze paper lost een langdurig mysterie op over hoe sommen van reciproken van priemgetallen zich gedragen wanneer je ze bij elkaar optelt. Het vervangt een vage gok door een precieze, oneindige receptuur. Hoewel ze de code hebben gekraakt voor de eerste paar stappen van het recept (en het volledige recept voor het eenvoudigste geval van twee priemgetallen), hebben ze ook een duidelijke grens getrokken: voor complexere gevallen met veel priemgetallen zijn de "kruistermen-ingrediënten" te rommelig om in een enkele, eenvoudige formule te vatten. De wiskunde is er, het is bewezen en het is getest, maar het laatste puzzelstukje voor grote $k$ blijft een prachtige, onopgeloste knoop.

Technische Samenvatting: Volledige Asymptotische Expansie van de Additieve Mertens-som $S_k(x)$

Probleemstelling
Het artikel behandelt het asymptotische gedrag van de additieve Mertens-som, gedefinieerd voor een geheel getal $k \ge 2$ en $x > 2$ als:
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
waarbij $p_i$ priemgetallen zijn. Terwijl het multiplicatieve analoog (de gegeneraliseerde Mertens-som $\sum 1/(p_1 \cdots p_k)$ ) goed bestudeerd is met een leidende term van de orde $(\log \log x)^k$ , vertoont de additieve som een fundamenteel ander groeitempo. Elementaire grenzen afgeleid uit de AM-GM-ongelijkheid en de Priemgetalstelling (PNT) suggereren dat de leidende term van de orde $x^{k-1}/\log^k x$ is. Het primaire doel van dit werk is het vaststellen van de volledige asymptotische expansie van $S_k(x)$ , waarbij de exacte coëfficiënten van de reeks worden bepaald en gesloten vormuitdrukkingen voor de initiële termen worden geleverd.

Methodologie
De auteurs maken gebruik van een combinatie van analytische getaltheorie en technieken uit de reële analyse:

Stieltjes-integraalrepresentatie: De som wordt geherformuleerd als een $k$ -voudige Stieltjes-integraal betrokken bij de priemgetal-telfunctie $\pi(u)$ .
Decompositie van de Priemgetalstelling: Het differentiaal $d\pi(u)$ wordt gesplitst in de hoofdterm $du/\log u$ en een restantterm $dR(u)$, waarbij $R(u) = \pi(u) - \text{Li}(u)$ . De fouttermen die voortvloeien uit de restantterm blijken verwaarloosbaar (ze vervallen sneller dan elke macht van $\log x$ ) met behulp van integratie door delen en grenzen aan $R(u)$ .
Variabele Rescaling en Taylor-expansie: De integraal van de hoofdterm wordt geschaald via $u_j = x t_j$ . Het domein wordt opgedeeld in een "hoofdregio" (waar $t_j$ ver verwijderd zijn van 0) en een "randregio". In de hoofdregio wordt de kern $\prod (L + \log t_j)^{-1}$ (waarbij $L = \log x$ ) geëxpandeerd met behulp van een multivariate Taylor-reeks die gebruikmaakt van volledige homogene symmetrische polynomen $h_n$ .
Laplace-transformatietechnieken: De resulterende coëfficiëntintegralen, gedefinieerd over de eenheidscube $[0,1]^k$ , worden getransformeerd naar enkelvoudige integralen met behulp van de identiteit $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ . Dit reduceert het probleem tot het analyseren van genererende functies die specifieke hogere-orde differentiaalvergelijkingen bevredigen.
Extractie van Eindige Differenten: De coëfficiënten van de expansie worden geëxtraheerd met behulp van voorwaartse differentie-operatoren $\Delta^{k-1}$ toegepast op de genererende functies, waarbij gebruik wordt gemaakt van de eigenschap dat differenten van polynomen met een graad kleiner dan $k-1$ nul zijn.

Belangrijkste Bijdragen en Resultaten

Volledige Asymptotische Expansie (Stelling 1): Het artikel bewijst dat voor elke vaste $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).$
De coëfficiënten $E_{k,n}$ worden gegeven door absoluut convergente meervoudige logaritmische integralen:
$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.$
Gesloten Vormen voor Initiële Coëfficiënten (Stelling 2):
- Leidende Term ( $E_{k,0}$ ): Een gesloten vorm wordt afgeleid die een eindige som van logaritmen omvat, gewogen door binomiale coëfficiënten en machten.
- Tweede Orde ( $E_{k,1}$ ): De coëfficiënt wordt uitgedrukt in een basis die $\pi^2$ , $\log m$ en de dilogaritme $\text{Li}_2(-1/m)$ bevat.
- Derde Orde ( $E_{k,2}$ ): De coëfficiënt wordt ontbonden in een "diagonale" deel ( $k A_k$ ) en een "cross"-deel ( $\binom{k}{2} B_k$ ). Het diagonale deel heeft voor alle $k$ een gesloten vorm met betrekking tot $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ en logaritmische sommen. Het cross-deel is volledig expliciet voor $k \le 4$ , maar wordt structureel complexer voor $k \ge 5$ , waarbij polylogaritmen met noemers $\ge 5$ voorkomen die niet lijken te reduceren tot de standaardbasis.
Expliciete Expansies voor $k=2$ en $k=3$ :
- Voor $k=2$ biedt het artikel een gesloten formule voor de gehele reeks $\{E_{2,n}\}_{n \ge 0}$ . De coëfficiënten zijn expliciete $\mathbb{Q}$ -lineaire combinaties van $\log 2$ en Riemann-zetawaarden $\zeta(j)$ , afgeleid met behulp van de Dirichlet-eta-functie.
- Voor $k=3$ zijn de eerste drie termen van de expansie volledig expliciet, waarbij de resultaten voor $E_{3,0}, E_{3,1}, E_{3,2}$ worden gecombineerd.
Numerieke Verificatie: De auteurs voeren numerieke berekeningen uit voor $S_2(x)$ en $S_3(x)$ tot $x = 10^7$ . De resultaten bevestigen dat de relatieve fout afneemt naarmate $x \to \infty$ en dat het toevoegen van opeenvolgende termen de nauwkeurigheid verbetert, wat consistent is met het asymptotische karakter van de reeks. De data illustreren ook het fenomeen van optimale afkapbaarheid voor een vaste $x$ .

Betekenis en Claims
Het artikel claimt de eerste studie van de additieve analogon van de Mertens-som in de literatuur te zijn. De primaire betekenis ligt in:

Het vaststellen van de juiste orde van grootte ( $x^{k-1}/\log^k x$ ) en de volledige asymptotische structuur van de som, in contrast met het multiplicatieve geval.
Het reduceren van de berekening van asymptotische coëfficiënten tot de evaluatie van specifieke meervoudige integralen en het bieden van expliciete gesloten vormen voor de leidende en sub-leidende termen.
Het identificeren van een structurele divergentie in de coëfficiënten voor $k \ge 5$ , waarbij de "cross"-termen polylogaritmische waarden introduceren die waarschijnlijk resistent zijn tegen reductie tot een verenigde gesloten vorm, wat een grens aangeeft aan de huidige analytische capaciteiten voor dergelijke sommen.

Het werk steunt strikt op de reële vorm van de PNT en roept geen diepe vermoedens aan (zoals de Riemann-hypothese) voor de belangrijkste asymptotische resultaten, hoewel de fouttermen afhangen van de klassieke PNT-foutgrens. Het artikel concludeert dat hoewel de diagonale delen van hogere-orde coëfficiënten traceerbaar blijven via genererende functies, de cross-delen een fundamenteel obstakel vormen voor een verenigde gesloten vorm voor algemene $k$ .