Multiple integral representations of the Catalan's constant

Technische Samenvatting: Meervoudige Integraalrepresentaties van de Constante van Catalan

Probleemstelling
De constante van Catalan ($G \approx 0,915965$), gedefinieerd door de alternerende reeks $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$, is een fundamentele wiskundige constante met talrijke bekende integraal- en reeksrepresentaties. Hoewel bestaande literatuur (bijv. [1], [7], [9]) uitgebreide lijsten van dergelijke formules compileert, heeft dit artikel tot doel nieuwe integraalrepresentaties voor $G$ af te leiden. Specifiek streven de auteurs ernaar nieuwe vormen vast te stellen die dubbele integralen, enkele integralen en algemene meervoudige integralen van dimensie $r \geq 2$ omvatten, waarbij gebruik wordt gemaakt van eigenschappen van cumulatieve verdelingsfuncties (CDF's) en de transcendentale functie van Lerch.

Methodologie
Het artikel hanteert een constructieve analytische aanpak gebaseerd op partiële integratie en reekssommatie. De kernmethodologie rust op de volgende stappen:

1. Fundering met CDF's: De auteurs definiëren een klasse van functies $G_i: \mathbb{R} \to [0, 1]$ die rechtscontinu, monotoon niet-dalend zijn, voldoen aan randvoorwaarden ($\lim_{x\to-\infty} G_i(x)=0$, $\lim_{x\to\infty} G_i(x)=1$) en de symmetrie-eigenschap $G_i(x) = 1 - G_i(-x)$ bezitten. Deze voorwaarden impliceren dat de afgeleiden van deze functies even zijn, een eigenschap die cruciaal is voor het elimineren van oneven termen tijdens integratie.
2. Afleiding van Dubbele Integralen: Door het product van machten van variabelen tegen deze functies te integreren en partiële integratie toe te passen, leiden de auteurs een algemene identiteit voor dubbele integralen af. Het sommeren van de resulterende reeks met alternerende tekens leidt tot de definitie van $G$.
3. Uitbreiding naar Enkele Integralen: Een specifieke hulpfunctie wordt geïntroduceerd om de formulering van de dubbele integraal te reduceren tot een representatie als enkele integraal.
4. Generalisatie naar Meervoudige Integralen: De aanpak wordt gegeneraliseerd naar $r$ dimensies. De auteurs maken gebruik van de transcendentale functie van Lerch, $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$, om de som van de reeks die voortvloeit uit integratie in $r$ dimensies uit te drukken.

Belangrijkste Bijdragen en Resultaten

• Stelling 1 (Representatie als Dubbele Integraal): Het artikel stelt vast dat voor elke $a > 0$ en functies $G_1, G_2$ die aan de gestelde voorwaarden voldoen:
  $$G = \int_{-a}^{a} \int_{-1/a}^{1/a} \frac{G_1(x_1)G_2(x_2)}{1 + x_1^2 x_2^2} \, dx_1 dx_2$$
  Dit resultaat generaliseert bekende formules, zoals de klassieke $\int_0^1 \int_0^1 \frac{dx dy}{1+x^2y^2} = G$. De auteurs bieden zes illustrerende voorbeelden aan met verschillende CDF's, waaronder de Rademacher-verdeling, de hyperbolische secant-verdeling, de standaardnormale verdeling (via de foutfunctie) en de Cauchy-verdeling.

• Stelling 2 (Representatie als Enkele Integraal): Als gevolg van het resultaat voor de dubbele integraal leiden de auteurs een nieuwe representatie als enkele integraal af:
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  waarbij $G(x)$ voldoet aan de voorwaarden van Stelling 1. Dit levert specifieke nieuwe formules op, zoals die welke de CDF van Cauchy en de arcsin-verdeling betrekken.

• Stelling 3 (Representatie als Meervoudige Integraal): Het artikel presenteert een algemene formulering voor dimensies $r \geq 1$:
  $$G = 2^{r-2} \int_{-a_1}^{a_1} \cdots \int_{-a_r}^{a_r} \Phi\left(-\prod_{i=1}^r x_i^2, 2-r, \frac{1}{2}\right) \prod_{i=1}^r G_i(x_i) \, d\mathbf{x}$$
  waarbij $a_r = (\prod_{i=1}^{r-1} a_i)^{-1}$. Voor $r=2$ reduceert dit tot Stelling 1; voor $r=1$ reduceert het tot Stelling 2.

• Expliciete Voorbeelden in Hoge Dimensies: De auteurs leveren expliciete integranden voor dimensies $r=3$ tot en met $r=10$ met gebruikmaking van de Rademacher-verdeling (waarbij $G_i(x) = 1/2$ voor $x \in [-1, 1]$).

  • Voor $r=3$ omvat de integrand de rationale functie $\frac{1 - x(3)}{(1 + x(3))^2}$, waarbij $x(3) = (x_1 x_2 x_3)^2$.
  • Voor hogere dimensies ($r=4, 5, 6, 10$) worden de integranden gepresenteerd als polynomiale rationale functies met coëfficiënten die zijn afgeleid uit de expansie van de functie van Lerch. Zo omvat het geval $r=10$ een polynoom met coëfficiënten zoals $a_1 = -6552$ en $a_2 = 331612$.

Betekenis en Beweringen
Het artikel beweert "verscheidene nieuwe integraalrepresentaties" van de constante van Catalan te bieden. De betekenis ligt in de unificatie van deze representaties onder één theoretisch raamwerk dat cumulatieve verdelingsfuncties en de transcendentale functie van Lerch omvat. De auteurs demonstreren dat door het selecteren van verschillende geldige CDF's een breed scala aan integraalformules voor $G$ kan worden gegenereerd, variërend van eenvoudige dubbele integralen tot complexe integralen in hoge dimensies met polynomiale rationale kernen. Het werk breidt de bekende catalogus van formules voor $G$ uit (met verwijzing naar compilaties zoals [1] en [7]) door een systematische methode te introduceren om ze in willekeurige dimensies te genereren. Het artikel stelt geen nieuwe toepassingen voor deze constanten voor, maar richt zich op de wiskundige afleiding en de structurele relaties tussen verschillende integraalvormen.