Waring's problem involving D.H. Lehmer numbers

Technische Samenvatting: Waring's Probleem betreffende D.H. Lehmer-getallen

Probleemstelling
Dit artikel behandelt een variatie op het klassieke Waring-probleem, specifiek het onderzoek naar de representatie van voldoende grote positieve gehele getallen als sommen van vierde machten van D.H. Lehmer-getallen. Laat $p$ een oneven priemgetal zijn. Een D.H. Lehmer-getal wordt gedefinieerd als een geheel getal $a$ waarvoor geldt dat $1 \le a \le p$, $\gcd(a, p) = 1$, en $a + \bar{a} \equiv 1 \pmod 2$, waarbij $\bar{a}$ de unieke multiplicatieve inverse van $a$ modulo $p$ is in het bereik $[1, p]$. De verzameling van deze getallen wordt aangeduid als $L(p)$.

De auteurs onderzoeken het aantal vierde machten van elementen uit $L(p)$ dat nodig is om elk voldoende groot geheel getal $N$ te representeren. Dit bouwt voort op klassieke resultaten van H. Davenport, die vaststelde dat elk voldoende groot geheel getal de som is van 16 vierde machten van natuurlijke getallen, en dat elk voldoende groot geheel getal dat niet congruent is aan 15 of 16 modulo 16 de som is van 14 dergelijke machten. Het doel van het artikel is om deze bevindingen uit te breiden naar de beperkte verzameling van D.H. Lehmer-getallen.

Methodologie
De auteurs maken gebruik van de Hardy-Littlewood cirkelmethode, een standaard analytische techniek voor additieve getaltheoretische problemen. De kern van de methodologie omvat:

1. Genererende Functies: De auteurs definiëren exponentiële sommen over de verzameling $L(p)$. Specifiek is $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$, waarbij $P \approx (N/100)^{1/4}$. Om de representatie van $N$ als een som van 14 vierde machten te behandelen, introduceren zij een hulpverzameling van gehele getallen $\{u_1, \dots, u_U\}$, die sommen zijn van 4 vierde machten van Lehmer-getallen, en definiëren zij $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$.
2. Integrale Representatie: Het aantal representaties, $r_{14}(N)$, wordt uitgedrukt als een integraal over het eenheidsinterval: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$.
3. Major en Minor Arcs: Het integratiedomein wordt gesplitst in major arcs $\mathfrak{M}$ (nabij rationale getallen met kleine noemers) en minor arcs $\mathfrak{m}$.
   • Benadering op Major Arcs: De auteurs benaderen de exponentiële som $T(\alpha)$ op de major arcs met behulp van een singular series component $T^*(\alpha, a, q)$ en een foutterm $H(\alpha)$. Dit berust op de decompositie van de som over $L(p)$ met behulp van karakterzommen en eigenschappen van de Möbius-functie.
   • Schatting op Minor Arcs: Met behulp van Weyl's ongelijkheid en grenzen voor exponentiële sommen met karakters, stellen de auteurs vast dat de bijdrage van de minor arcs verwaarloosbaar is ten opzichte van de hoofdterm.
4. Lemma's en Grenzen: Het bewijs steunt op een reeks lemma's die grenzen vaststellen voor:
   • Karakterzommen (Lemma 1).
   • De distributie van Lehmer-getallen in korte intervallen (Lemma 3, Lemma 5).
   • Het aantal oplossingen voor vergelijkingen van de vorm $x^4 + u_h = y^4 + u_i$ (Lemma 6).
   • De dichtheid van getallen die representeerbaar zijn als sommen van $s$ vierde machten van Lehmer-getallen (Lemma 7).
   • Grenzen voor $T(\alpha)$ op zowel major als minor arcs (Lemma 8, Lemma 14).

Belangrijkste Bijdragen en Resultaten
Het artikel stelt twee primaire stellingen vast met betrekking tot de representeerbaarheid van grote gehele getallen:

• Stelling 1: Elk voldoende groot positief geheel getal $N$, mits $N \not\equiv 15, 16 \pmod{16}$, kan worden gerepresenteerd als de som van 14 vierde machten van D.H. Lehmer-getallen.
• Stelling 2: Elk voldoende groot positief geheel getal kan worden gerepresenteerd als de som van 16 vierde machten van D.H. Lehmer-getallen.

Het bewijs van Stelling 1 behelst het aantonen dat de hoofdterm in de integrale representatie domineert over de fouttermen, wat garandeert dat $r_{14}(N) > 0$ voor de gespecificeerde congruentieklassen. Stelling 2 volgt direct uit Stelling 1 en de observatie dat 1 een Lehmer-getal is; derhalve kunnen gehele getallen die congruent zijn aan 15 of 16 modulo 16 worden gereduceerd tot de vorm $N-2$ (die in de toegestane congruentieklassen valt) door twee instanties van $1^4$ af te trekken.

Betekenis en Claims
De auteurs stellen dat dit het eerste onderzoek is dat specifiek gericht is op het Waring-probleem met betrekking tot D.H. Lehmer-getallen. De betekenis van het werk ligt in:

1. Uitbreiding van Klassieke Resultaten: Het slaagt erin de volwassen methoden die gebruikt worden voor het klassieke Waring-probleem (specifiek voor $k=4$) succesvol aan te passen aan een beperkte verzameling gehele getallen die gedefinieerd worden door modulaire rekenkundige eigenschappen.
2. Validatie van $G(4)=16$: De auteurs merken op dat hun resultaat, dat de reikwijdte van getallen die representeerbaar zijn als sommen van 16 vierde machten beperkt tot de specifieke deelverzameling van Lehmer-getallen, een alternatief perspectief biedt dat het klassieke resultaat $G(4)=16$ valideert.
3. Openstaande Problemen: Het artikel concludeert door voor te stellen dat het splitsen van $N$ in sommen van machten beperkt tot D.H. Lehmer-getallen voor andere gevallen van het Waring-probleem een open gebied blijft voor toekomstig onderzoek.

Het werk wordt ondersteund door het Shaanxi Fundamental Science Research Project voor Wiskunde en Natuurkunde en het Natural Science Basic Research Project van de provincie Shaanxi.