Multiple integral representations of the Catalan's constant

Technische Zusammenfassung: Mehrfache Integraldarstellungen der Konstante von Catalan

Problemstellung
Die Konstante von Catalan ($G \approx 0,915965$), definiert durch die alternierende Reihe $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$, ist eine fundamentale mathematische Konstante mit zahlreichen bekannten Integral- und Reihendarstellungen. Während die bestehende Literatur (z. B. [1], [7], [9]) umfangreiche Listen solcher Formeln zusammenstellt, zielt dieser Artikel darauf ab, neue Integraldarstellungen für $G$ herzuleiten. Konkret streben die Autoren neue Formen an, die Doppelintegrale, einfache Integrale und allgemeine mehrfache Integrale der Dimension $r \geq 2$ umfassen, wobei Eigenschaften von Verteilungsfunktionen (CDFs) und der Lerchschen Transzendenten verwendet werden.

Methodik
Der Artikel verfolgt einen konstruktiven analytischen Ansatz, der auf partieller Integration und Reihensummation basiert. Die Kernmethodik stützt sich auf folgende Schritte:

1. Fundament mit Verteilungsfunktionen: Die Autoren definieren eine Klasse von Funktionen $G_i: \mathbb{R} \to [0, 1]$, die rechtsstetig, monoton nichtfallend sind, Randbedingungen erfüllen ($\lim_{x\to-\infty} G_i(x)=0$, $\lim_{x\to\infty} G_i(x)=1$) und die Symmetrieeigenschaft $G_i(x) = 1 - G_i(-x)$ besitzen. Diese Bedingungen implizieren, dass die Ableitungen dieser Funktionen gerade sind, eine Eigenschaft, die entscheidend ist, um bei der Integration ungerade Terme zu eliminieren.
2. Herleitung von Doppelintegralen: Durch Integration des Produkts von Potenzen von Variablen gegen diese Funktionen und Anwendung der partiellen Integration leiten die Autoren eine allgemeine Doppelintegralidentität her. Die Summation der resultierenden Reihe mit alternierenden Vorzeichen führt zur Definition von $G$.
3. Erweiterung auf einfache Integrale: Eine spezifische Hilfsfunktion wird eingeführt, um die Doppelintegralformulierung auf eine Darstellung als einfaches Integral zu reduzieren.
4. Verallgemeinerung auf mehrfache Integrale: Der Ansatz wird auf $r$ Dimensionen verallgemeinert. Die Autoren nutzen die Lerchsche Transzendente, $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$, um die Summe der aus der $r$-dimensionalen Integration entstehenden Reihe auszudrücken.

Hauptbeiträge und Ergebnisse

• Satz 1 (Doppelintegraldarstellung): Der Artikel stellt fest, dass für jedes $a > 0$ und Funktionen $G_1, G_2$, die die genannten Bedingungen erfüllen:
  $$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$$
  Dieses Ergebnis verallgemeinert bekannte Formeln, wie das klassische $\int_0^1 \int_0^1 \frac{dx dy}{1+x^2y^2} = G$. Die Autoren liefern sechs illustrative Beispiele unter Verwendung verschiedener Verteilungsfunktionen, einschließlich der Rademacher-Verteilung, der hyperbolischen Sekanten-Verteilung, der Standardnormalverteilung (über die Fehlerfunktion) und der Cauchy-Verteilung.

• Satz 2 (Darstellung als einfaches Integral): Als Konsequenz des Doppelintegralergebnisses leiten die Autoren eine neue Darstellung als einfaches Integral her:
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  wobei $G(x)$ die Bedingungen von Satz 1 erfüllt. Dies liefert spezifische neue Formeln, wie etwa solche, die die Cauchy-Verteilungsfunktion und die Arcsin-Verteilung betreffen.

• Satz 3 (Darstellung als mehrfaches Integral): Der Artikel präsentiert eine allgemeine Formulierung für Dimensionen $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}$$
  wobei $a_r = (\prod_{i=1}^{r-1} a_i)^{-1}$. Für $r=2$ reduziert sich dies auf Satz 1; für $r=1$ reduziert es sich auf Satz 2.

• Explizite Beispiele hoher Dimensionen: Die Autoren liefern explizite Integranden für die Dimensionen $r=3$ bis $r=10$ unter Verwendung der Rademacher-Verteilung (wobei $G_i(x) = 1/2$ für $x \in [-1, 1]$).

  • Für $r=3$ beinhaltet der Integrand die rationale Funktion $\frac{1 - x(3)}{(1 + x(3))^2}$, wobei $x(3) = (x_1 x_2 x_3)^2$.
  • Für höhere Dimensionen ($r=4, 5, 6, 10$) werden die Integranden als polynomiale rationale Funktionen dargestellt, die Koeffizienten beinhalten, die sich aus der Entwicklung der Lerchschen Funktion ergeben. Beispielsweise beinhaltet der Fall $r=10$ ein Polynom mit Koeffizienten wie $a_1 = -6552$ und $a_2 = 331612$.

Bedeutung und Behauptungen
Der Artikel behauptet, „mehrere neue Integraldarstellungen" der Konstante von Catalan bereitzustellen. Die Bedeutung liegt in der Vereinigung dieser Darstellungen unter einem einzigen theoretischen Rahmen, der Verteilungsfunktionen und die Lerchsche Transzendente umfasst. Die Autoren zeigen, dass durch die Auswahl verschiedener gültiger Verteilungsfunktionen eine breite Vielfalt an Integralformeln für $G$ erzeugt werden kann, die von einfachen Doppelintegralen bis hin zu komplexen mehrdimensionalen Integralen mit polynomialen rationalen Kernen reichen. Die Arbeit erweitert den bekannten Katalog von Formeln für $G$ (unter Bezugnahme auf Zusammenstellungen wie [1] und [7]), indem sie eine systematische Methode einführt, um diese in beliebigen Dimensionen zu generieren. Der Artikel schlägt keine neuen Anwendungen für diese Konstanten vor, sondern konzentriert sich auf die mathematische Herleitung und die strukturellen Beziehungen zwischen verschiedenen Integralformen.