Series for $1/\pi$ arising from Cauchy product

In deze notie bewijst de auteur een door Sun geconjectureerde reeks voor $1/\pi$ met behulp van het Cauchy-product en hypergeometrische transformaties, en leidt hieruit twee analoog gestructureerde reeksen af die polynomen van graad 3 bevatten.

De kern

Stel je voor dat wiskunde een enorme, ingewikkelde puzzel is. In dit artikel schrijft de auteur, Roman Le Lan, over een heel specifiek stukje van die puzzel: een manier om het getal 1/π (één gedeeld door pi) te berekenen met behulp van een oneindige som.

Hier is wat er gebeurt, vertaald in alledaags taal met een paar leuke vergelijkingen:

1. Het Grote Doel: De "Pi-Formule"

Pi ($\pi$) is dat beroemde getal dat je nodig hebt om de omtrek van een cirkel te berekenen. Wiskundigen zijn al eeuwenlang op zoek naar slimme manieren om $\pi$ (of zijn omgekeerde, $1/\pi$) te benaderen.

Deze paper gaat over een formule die is bedacht door een wiskundige genaamd Sun. Sun had een lijst met 37 gokken (vermoedens) over hoe je zulke formules kunt maken. De meeste zijn al bewezen, maar deze ene specifieke formule bleef een mysterie. De auteur van dit artikel heeft die laatste puzzelstukjes eindelijk op hun plek gezet.

2. De Methode: Het "Kaartspel" van de Cauchy-product

Hoe heeft hij dit gedaan? Hij gebruikt een techniek die hij de Cauchy-product noemt.

• De Analogie: Stel je hebt twee lange rijen kaarten (twee oneindige reeksen getallen). Als je deze twee rijen op een heel specifieke manier door elkaar mengt (zoals een kaartspeler twee stapels kaarten perfect door elkaar schudt), krijg je een nieuwe, derde rij.
• In dit geval zijn de "kaarten" complexe wiskundige termen. Door ze te mengen, ontdekt de auteur dat de nieuwe rij eigenlijk een heel bekende, makkelijke vorm heeft die we al kennen. Het is alsof je twee ingewikkelde recepten door elkaar mengt en er plotseling een heel simpel, bekend gerecht uitkomt.

3. De Reis van de Bewijzen

Het artikel volgt een logische route:

• Stap 1: De Basis (Lemma's). De auteur begint met het bewijzen van een paar kleine, handige regels (lemma's). Dit zijn als het ware de gereedschappen die hij nodig heeft voor de grote klus. Hij gebruikt een computer-algoritme (Zeilberger's algoritme) om te checken of deze regels kloppen.
• Stap 2: Het Hoofdresultaat (Theorema 1). Hij gebruikt de "kaartmeng-methode" (Cauchy-product) om te bewijzen dat Sun's mysterieuze formule inderdaad klopt. Het resultaat is een prachtige vergelijking die zegt: "Als je al deze getallen optelt, krijg je precies $3\sqrt{6} / 2\pi$."
• Stap 3: De Afgeleide Resultaten (Theorema 2). Omdat hij nu de sleutel heeft gevonden, kan hij ook andere, vergelijkbare formules bewijzen. Hij gebruikt dezelfde techniek om twee nieuwe formules te vinden die net iets ingewikkelder zijn (ze bevatten getallen tot de macht 3, in plaats van alleen lineaire getallen).

4. Wat is er nog niet gelukt?

De auteur is eerlijk: er is nog één ding dat hij niet heeft kunnen oplossen. Sun had ook een gok gedaan over hoe deze formules zich gedragen in een heel speciaal soort wiskunde (genaamd $p$-adische wiskunde, wat te maken heeft met getallen modulo een priemgetal). De auteur zegt: "Ik heb dit bewezen voor de gewone wereld, maar de 'modulaire' versie blijft voor nu een mysterie."

5. De Conclusie: Een Nieuw Gereedschapskistje

Het belangrijkste aan dit artikel is niet alleen dat één formule is opgelost. Het is dat de auteur een nieuwe methode heeft getoond.

• De Metafoor: Stel je voor dat Sun een lijst met 37 sloten had, en de meeste sleutels waren al gevonden. Deze auteur heeft een nieuwe, slimme sleutel gemaakt (de Cauchy-product methode). Niet alleen opent deze sleutel het laatste slot, maar hij kan ook gebruikt worden om 8 andere sloten te openen die nog niet eens op de originele lijst stonden.

Samengevat:
Roman Le Lan heeft een ingewikkelde wiskundige gok van Sun bewezen door twee rijen getallen op een slimme manier te "schudden" (Cauchy-product). Hierdoor kon hij niet alleen dat ene mysterie oplossen, maar ook een hele reeks nieuwe, mooie formules voor $\pi$ ontdekken. Het is een mooi voorbeeld van hoe het vinden van de juiste techniek (de sleutel) je toegang geeft tot een hele nieuwe wereld van wiskundige schoonheid.

Technische samenvatting

Samenvatting: Reeksen voor 1/π afgeleid uit het Cauchy-product

Probleemstelling
Het artikel richt zich op het evalueren van specifieke oneindige reeksen die convergeren naar waarden evenredig met $1/\pi$. Deze reeksen vallen binnen het domein van de Ramanujan-Sato-reeksen, die bekend staan om hun snelle convergentie en diepe connecties met modulaire vormen en hypergeometrische functies.
De auteur behandelt een specifieke conjectuur van Z.-W. Sun (conjectuur 4.14 in Sun's werk [5]), die een reeks van de volgende vorm voorstelt:
$$\sum_{n=0}^{\infty} (3n - 1) \frac{1}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = \frac{3\sqrt{6}}{2\pi}$$
Hoewel Almkvist en Aycock eerder 36 van de 37 door Sun geconjectureerde formules hadden bewezen, bleef deze laatste identiteit onbewezen. Het doel van dit artikel is het rigoureus bewijzen van deze identiteit en het afleiden van gerelateerde resultaten.

Methodologie
De bewijstechniek in dit artikel combineert klassieke analyse met geavanceerde hypergeometrische transformaties en algoritmen voor symbolische berekening:

1. Cauchy-product en Hypergeometrische functies:
   De kern van de methode is het interpreteren van de binnenste som als een Cauchy-product van twee reeksen. De auteur definieert een genererende functie $P(z)$ en herschrijft deze als het product van twee hypergeometrische functies van het type ${}_2F_1$:
   $$P(z) = {}_2F_1\left(\frac{1}{3}, \frac{1}{6}; 1; z\right) \cdot {}_2F_1\left(\frac{2}{3}, \frac{5}{6}; 1; z\right)$$
   Door gebruik te maken van de transformatie van Euler, wordt dit product vereenvoudigd tot een kwadraat van een enkele hypergeometrische functie vermenigvuldigd met een factor $(1-z)^{-1/2}$.

2. Zeilberger's Algorithm en Recursie:
   Om de coëfficiënten van de herschreven reeks te manipuleren, maakt de auteur gebruik van Zeilberger's algoritme. Dit leidt tot een lineaire recurrente relatie voor de termen van de reeks. Deze relatie wordt gebruikt om hogere-orde termen (zoals $n^3$) uit te drukken in termen van de basisreeks.

3. Differentiatie-operatoren:
   Om de lineaire term $(3n-1)$ in de teller te verkrijgen, past de auteur een specifieke differentiatie-operator toe op de genererende functie $P(z)$, geëvalueerd bij $z = 1/2$. De operator is:
   $$-1 + \frac{3}{2}z \frac{d}{dz} \Big|_{z=1/2}$$
   Dit koppelt de oorspronkelijke som aan een bekende Ramanujan-type reeks.

4. Referentie naar Guillera's Resultaat:
   Het bewijs maakt een cruciale brug naar een reeds bewezen identiteit van J. Guillera (Lemma 2), die een specifieke ${}_3F_2$-reeks relateert aan $1/\pi$.

Belangrijkste Bijdragen en Resultaten

• Bewijs van Theorema 1:
  De auteur bewijst de conjectuur van Sun. De geëvalueerde identiteit is:
  $$\sum_{n=0}^{\infty} \frac{3n - 1}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = \frac{3\sqrt{6}}{2\pi}$$
  Dit sluit de lijst van door Sun geconjectureerde evalueringsformules af.

• Afleiding van Nieuwe Reeksen (Theorema 2):
  Door de recurrente relatie afgeleid van Zeilberger's algoritme te combineren met het resultaat van Theorema 1, leidt de auteur twee nieuwe reeksen af die polynomen van graad 3 in de teller bevatten:

  1. Een reeks met teller $9n^3 - 27n^2 - 14n - 2$, die convergeert naar $-\frac{3\sqrt{6}}{8\pi}$.
  2. Een reeks met teller $18n^3 - 54n^2 - 25n - 5$, die convergeert naar $\frac{3\sqrt{6}}{4\pi}$.

• Uitbreiding naar Tabel 1:
  De auteur stelt dat dezelfde methode kan worden toegepast om acht extra reeksen te bewijzen van de vorm $\sum (an+b)q^n (\dots) = \alpha/\pi$, waarbij $a, b$ gehele getallen zijn, $q$ rationaal, en $\alpha$ een algebraïsch getal van graad $\leq 2$. Deze worden opgesomd in een tabel aan het einde van het artikel.

• Opmerking over Supercongruenties:
  Het artikel noemt een gerelateerde conjectuur van Sun over $p$-adische supercongruenties (modulo $p^2$) voor deze reeksen. De auteur geeft toe dat deze congruentie met de huidige methoden niet bewezen kon worden, maar benadrukt wel de waarde van de analytische identiteiten.

Significantie
Deze bijdrage is significant voor de getaltheorie en de analyse van speciale functies om de volgende redenen:

1. Voltooiing van een lijst: Het sluit een belangrijke lijst van conjectures van Sun af, wat de consistentie van de theorie rondom Ramanujan-Sato-reeksen versterkt.
2. Methodologische kracht: Het demonstreert de kracht van het combineren van het Cauchy-product met hypergeometrische transformaties om complexe sommaties te vereenvoudigen.
3. Generatie van nieuwe identiteiten: Het toont aan dat het bewijzen van één basisidentiteit (Theorema 1) fungeert als een "generator" voor een hele familie van gerelateerde reeksen (Theorema 2 en de tabel), wat de efficiëntie van het vinden van nieuwe formules voor $1/\pi$ vergroot.
4. Verbinding tussen gebieden: Het werk verbindt combinatorische identiteiten (binomiaalcoëfficiënten), analytische functies (hypergeometrische reeksen) en getaltheoretische constanten ($\pi$) op een elegante manier.