Technische Samenvatting: Thabit- en Williams-getallen in grondtal $b$ als som of verschil van twee $g$-repdigits

1. Probleemstelling

Het onderzoek richt zich op de Diofantische vergelijkingen waarbij een generalisatie van Thabit-getallen en Williams-getallen (gebaseerd op een willekeurig grondtal $b \geq 2$) kan worden uitgedrukt als de som of het verschil van twee $g$-repdigits (getallen waarbij alle cijfers in grondtal $g$ gelijk zijn).

De centrale onderzoeksvraag is het vinden van gehele oplossingen $(d_1, d_2, l, m, n)$ voor de volgende vergelijkingen:

1. (Som): $(b \pm 1)b^{n \pm 1} = d_1 \left(\frac{g^l-1}{g-1}\right) + d_2 \left(\frac{g^m-1}{g-1}\right)$
2. (Verschil): $(b \pm 1)b^{n \pm 1} = d_1 \left(\frac{g^l-1}{g-1}\right) - d_2 \left(\frac{g^m-1}{g-1}\right)$

Waarbij $1 \leq d_1, d_2 \leq g-1$ de cijfers zijn, en $n, l, m$ de exponenten/lengtes van de getallen representeren.

2. Methodologie

De auteurs maken gebruik van geavanceerde methoden uit de transcendente getaltheorie om de eindigheid van oplossingen aan te tonen en effectieve bovengrenzen te berekenen:

• Lineaire vormen in logaritmen (Baker's methode): De kern van het bewijs berust op het toepassen van de stelling van Baker (via Lemma 5 in de tekst) om de grootte van de exponenten $n, l$ en $m$ te beperken. Door de vergelijkingen te herschrijven als lineaire vormen in logaritmen ($\Lambda$), wordt een ondergrens voor $|\Lambda|$ bepaald die botst met de bovengrens afgeleid uit de vergelijking zelf.
• Reductiemethode van Baker-Davenport: Omdat de theoretische bovengrenzen voor de parameters extreem groot zijn (orde $10^{29}$), wordt de reductiemethode (gebaseerd op de continued fraction expansie van irrationale getallen) toegepast om deze grenzen naar praktisch verifieerbare waarden te verlagen.
• Casus-analyse: Er wordt een strikt onderscheid gemaakt tussen gevallen met oneindig veel oplossingen (parametrische oplossingen, zoals beschreven in Proposition 1 en 2) en gevallen met een eindig aantal oplossingen.

3. Belangrijkste Bijdragen en Resultaten

A. Algemene Theorie (Theorem 3 & 4)

De auteurs bewijzen dat, behalve voor specifieke parametrische families, de Diofantische vergelijkingen voor de som en het verschil van twee $g$-repdigits slechts een eindig aantal oplossingen hebben. Ze leveren expliciete (hoewel zeer grote) effectieve bovengrenzen voor de parameters $n, l$ en $m$ in termen van $b$ en $g$.

B. Specifieke Oplossingen voor $g=10$ (Decimalen)

Een significante praktische bijdrage is de volledige oplossing van de vergelijkingen voor het decimale stelsel ($g=10$) binnen het bereik $2 \leq b \leq 12$:

• Sommen (Theorem 13): Er zijn exact 164 oplossingen met $n \geq 1$ (exclusief de oneindige familie voor $b=10$).
• Verschillen (Theorem 19): Er zijn exact 160 oplossingen met $n \geq 1$ (exclusief de oneindige familie voor $b=2$).

C. Identificatie van Oneindige Families

Het artikel classificeert nauwkeurig de specifieke combinaties van $b$ en $g$ (zoals $b=2$ en $g=2^k$) waarvoor er parametrische families van oplossingen bestaan.

4. Wetenschappelijke Significantie

Dit werk draagt bij aan de getaltheorie door de structurele eigenschappen van Thabit- en Williams-getallen te koppelen aan de representatie van getallen in verschillende grondtallen. De methodiek (combinatie van Baker's methode en numerieke reductie) is een schoolvoorbeeld van hoe abstracte theoretische grenzen kunnen worden omgezet in concrete, computationele resultaten. Het biedt een volledig beeld van de interactie tussen exponentiële sequenties en repdigit-structuren.