The diagonalization method and Brocard's problem

In dit artikel wordt de diagonalisatiemethode voor functies van natuurlijke naar reële getallen geïntroduceerd en toegepast om aan te tonen dat de vergelijkingen van de vorm $\Gamma_r(n)+k=m^2$ voor vaste $k$ en $r$ slechts een eindig aantal oplossingen hebben.

De kern

Stel je voor dat wiskunde een enorme, eindeloze ladder is. De klassieke "Brocard-probleem" is als het zoeken naar specifieke sporten op die ladder waar je precies op een perfect vierkant kunt springen.

De vraag is simpel: als je de getallen vermenigvuldigt (1 × 2 × 3 × ... × n, wat we een faculteit noemen) en er 1 bij optelt, krijg je dan ooit een perfect vierkant getal (zoals 4, 9, 16, 25)? We weten dat dit een paar keer gebeurt (bijvoorbeeld bij 4, 5 en 7), maar niemand weet of het ooit weer gebeurt. Het is als zoeken naar een naald in een hooiberg die misschien wel, maar misschien ook niet bestaat.

In dit artikel introduceert de auteur, Theophilus Agama, een nieuwe manier om naar dit probleem te kijken. Hij gebruikt een methode die hij "diagonalisatie" noemt. Laten we dit uitleggen met een paar simpele metaforen:

1. De Nieuwe Ladder (De "Afgekorte" Ladder)

In plaats van de hele ladder te beklimmen (de volledige faculteit), bouwt de auteur een kortere versie. Hij noemt dit de "afgekorte Gamma-functie".

• De oude ladder: $n!$ (1 × 2 × 3 × ... × n). Dit groeit razendsnel, als een raket.
• De nieuwe ladder: $\Gamma_r(n)$ (n × (n-1) × ... × (n-r)). Dit is alsof je de ladder niet helemaal van onderen tot boven beklimt, maar alleen een stukje van de top pakt. Het is een "afgekorte" versie.

De vraag is nu: als je op deze kortere ladder stapt en er een vast getal $k$ bij optelt, krijg je dan een perfect vierkant? De auteur bewijst dat voor elke vaste ladderhoogte ($r$) en elk vast extra getal ($k$), er maar een eindig aantal sporten zijn waar dit gebeurt. Je kunt niet oneindig vaak op een vierkant springen op deze ladder.

2. De "Diagonalisatie"-Methode: Een Net Werpen

Hoe bewijst hij dit? Hij gebruikt een slimme techniek die hij diagonalisatie noemt.
Stel je voor dat je een visser bent. Je wilt weten hoeveel vissen (de oplossingen) er in een meer zitten die precies op een vierkant patroon zwemmen.

• In plaats van elke vis één voor één te tellen (wat onmogelijk is bij oneindige getallen), gooit hij een net over het hele meer.
• Dit net is zijn wiskundige formule. Het meet niet alleen waar de vissen zitten, maar ook hoe snel ze zwemmen en hoe groot de groep is die ze vormen.
• Hij noemt dit het "spoor" (trace) van de diagonalen. Hij kijkt naar de totale massa van de getallen en vergelijkt die met de snelheid waarmee ze groeien.

3. De "Krachtmeting" (De Ongelijkheid)

Het geheim van zijn methode zit in een wiskundige balans, een soort krachtmeting:

• Aan de ene kant van de balans staat hoe snel de ladder groeit (de "kracht" van de functie).
• Aan de andere kant staat hoe "ruw" of "onvoorspelbaar" de beweging is (de afgeleide, of de snelheid van verandering).

De auteur toont aan dat als de ladder (de functie) snel genoeg groeit en niet te chaotisch beweegt, het net (de formule) uiteindelijk leeg blijft. Er zijn simpelweg niet genoeg plekken waar de getallen perfect in een vierkant passen. Het is alsof je zegt: "De ladder groeit zo snel dat er geen ruimte meer is voor de perfecte vierkanten om te blijven hangen."

4. Waarom is dit belangrijk?

Vroeger moesten wiskundigen gokken of er nog meer oplossingen zijn, of ze moesten enorme computers gebruiken om tot enorme getallen te rekenen. Ze vertrouwden ook op theorieën die nog niet bewezen waren (zoals de "abc-gissing").

Deze nieuwe methode is onvoorwaardelijk. Dat betekent dat het bewijs stevig staat op de grond, zonder dat je hoeft te gokken. Het is als het bouwen van een brug die niet afhankelijk is van het weer, maar puur op de sterkte van het staal.

Samengevat:
De auteur heeft een nieuwe, slimme manier bedacht om te kijken naar getallen die in een vierkant passen. Door de "ladder" van getallen te verkorten en een speciaal "net" (diagonalisatie) te gebruiken om de groei te meten, heeft hij bewezen dat voor een bepaalde klasse van deze ladders, er maar een eindig aantal oplossingen zijn. Het is een elegante manier om te zeggen: "Het is gedaan, er zijn geen oneindige verrassingen meer te vinden op deze specifieke plek."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On a Variant of Brocard's Problem via the Diagonalization Method" van Theophilus Agama, vertaald en samengevat in het Nederlands.

Titel: Een variant van Brocard's probleem via de diagonalisatiemethode

Auteur: Theophilus Agama
Onderwerp: Getaltheorie, Diophantische vergelijkingen, Asymptotische analyse

---

1. Probleemstelling en Context

Het artikel behandelt een variant van het beroemde Brocard-probleem, een langdurig open vraagstuk in de getaltheorie. Het klassieke probleem vraagt om geheeltallige oplossingen $(n, m)$ voor de vergelijking:
$$n! + 1 = m^2$$
Hoewel er slechts drie kleine oplossingen bekend zijn ($n = 4, 5, 7$), is het niet bewezen of er oneindig veel of slechts eindig veel oplossingen bestaan. Bestaande resultaten (zoals die van Overholt) zijn vaak conditioneel, afhankelijk van diepe conjectures zoals de $abc$-conjectuur.

De auteur introduceert een veralgemening waarbij de faculteit $n!$ wordt vervangen door een afgekapt Gamma-product. Voor een vast geheel getal $r \geq 0$ wordt de $r$-de afgekapt Gamma-functie gedefinieerd als:
$$\Gamma_r(n) := \begin{cases} n(n-1)\cdots(n-r) & \text{als } n > r \\ 0 & \text{anders} \end{cases}$$
Het doel is om de Diophantische vergelijking te bestuderen:
$$\Gamma_r(n) + k = m^2$$
waarbij $k$ en $r$ vaste natuurlijke getallen zijn. De hoofdvraag is of deze vergelijking voor vaste $r$ en $k$ slechts een eindig aantal oplossingen $n > r$ heeft.

2. Methodologie: De Diagonalisatiemethode

De kernbijdrage van het artikel is de ontwikkeling en toepassing van een nieuwe analytische techniek: de diagonalisatiemethode voor functies $f: \mathbb{N} \to \mathbb{R}$.

A. Definities

• Diagonaal ($D_k(f)$): De verzameling van indices $n$ waarvoor $f(n) + k$ een perfect kwadraat is.
• Schaal-diagonaal ($D_k(f, s)$): De subset van $D_k(f)$ met elementen $\leq s$.
• Trace ($T_f(s, k)$): Een partiële som over de diagonaal, gedefinieerd als $\sum_{n \leq s, n \in D_k(f)} f(n)$.

B. Analytisch Kader

De methode vertaalt het discrete telprobleem naar een continu analytisch probleem via twee hoofdcomponenten:

1. Stieltjes-integratie en partiële integratie: De trace wordt uitgedrukt als een integraal die de relatie blootlegt tussen het aantal punten op de diagonaal en de groei van de functie $f$ en zijn afgeleide.
   $$T_f(s, k) = f(s)|D_k(f, s)| - \int_1^s f'(t)|D_k(f, t)| dt$$
2. Cauchy-Schwarz-ongelijkheid: Door de Cauchy-Schwarz-ongelijkheid toe te passen op de resulterende integralen, leidt de auteur tot een fundamentele diagonaale ongelijkheid (Stelling 2.3). Deze ongelijkheid koppelt de $L^2$-norm van de diagonaal aan de gemiddelde waarden van $f$ en de $L^2$-norm van de afgeleide $f'$.

De centrale stelling stelt dat als aan bepaalde voorwaarden wordt voldaan (specifiek een limietvoorwaarde die de groei van $f$ relateert aan de som van $f$ en de afgeleide), dan moet de grootte van de diagonaal $|D_k(f)|$ eindig zijn.

3. Belangrijkste Resultaten

Stelling 4.1 (Variational Brocard)

Het artikel bewijst dat voor vaste $r, k \in \mathbb{N}$, de vergelijking
$$\Gamma_r(n) + k = m^2$$
slechts een eindig aantal geheeltallige oplossingen $n > r$ heeft.

Bewijsstrategie:

1. De auteur past de algemene diagonalisatiemethode toe op $f = \Gamma_r$.
2. Er wordt gebruikgemaakt van de asymptotische groei: $\Gamma_r(n) \asymp n^{r+1}$.
3. Via Lemma 3.6 wordt aangetoond dat de term met de afgeleide $\frac{1}{\Gamma_r(s)} \sqrt{\int_1^s |\Gamma_r'(t)|^2 dt}$ asymptotisch gedraagt als $s^{-1/2}$, wat naar 0 convergeert.
4. De som $\sum_{n \leq s} \Gamma_r(n)$ wordt geschat en vergeleken met $\Gamma_r(s)$.
5. De limietvoorwaarde uit Propositie 3.1 wordt geverifieerd:
   $$\lim_{s \to \infty} \left( \frac{1}{\Gamma_r(s)} \sum_{n \leq s} \Gamma_r(n) \right) \left( 1 - \dots \right)^{-1} < \infty$$
   Omdat deze limiet eindig is, volgt uit de diagonalisatiemethode dat de verzameling oplossingen eindig is.

4. Bijdrage en Significantie

• Onvoorwaardelijk Bewijs: In tegenstelling tot veel eerdere resultaten over Brocard-achtige problemen (zoals die van Overholt), is dit resultaat onvoorwaardelijk. Het maakt geen gebruik van conjectures zoals de $abc$-conjectuur of modulaire vormen.
• Nieuw Analytisch Gereedschap: De paper introduceert een "variational-analytic" perspectief. In plaats van algebraïsche of modulaire structuren te gebruiken, wordt het probleem getransformeerd naar ongelijkheden voor geaggregeerde traces en Sobolev-normen.
• Generaliseerbaarheid: De methode is niet beperkt tot $\Gamma_r$. De auteur suggereert dat deze aanpak toepasbaar is op andere rijen met polynoom-groei, zolang de groei en de gladheid (afgeleiden) van de functie gecontroleerd kunnen worden.
• Verband met het originele probleem: Hoewel de methode direct toepasbaar is op de afgekapt Gamma-functie, biedt het een nieuw kader om het originele Brocard-probleem ($n! + 1 = m^2$) te benaderen, hoewel de specifieke technische uitdagingen bij de volledige faculteit (die sneller groeit dan polynomen) nog verder onderzoek vereisen.

Conclusie

Theophilus Agama presenteert een krachtige, nieuwe analytische techniek om de finitude van oplossingen voor Diophantische vergelijkingen van de vorm $f(n) + k = m^2$ te bewijzen. Door de toepassing op de afgekapt Gamma-functie, bewijst hij onvoorwaardelijk dat er slechts eindig veel oplossingen zijn voor deze variant van Brocard's probleem. Dit opent de deur voor verdere verkenningen van vergelijkbare vergelijkingen binnen een rigoureus analytisch raamwerk.