Multiple integral representations of the Catalan's constant

Resumen Técnico: Representaciones de Múltiples Integrales de la Constante de Catalan

Enunciado del Problema
La constante de Catalan ($G \approx 0.915965$), definida por la serie alternada $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$, es una constante matemática fundamental con numerosas representaciones conocidas de series e integrales. Aunque la literatura existente (p. ej., [1], [7], [9]) compila listas extensas de tales fórmulas, este artículo tiene como objetivo derivar nuevas representaciones integrales para $G$. Específicamente, los autores buscan establecer nuevas formas que involucren integrales dobles, integrales simples e integrales múltiples generales de dimensión $r \geq 2$, utilizando propiedades de las funciones de distribución acumulada (CDF) y la función trascendente de Lerch.

Metodología
El artículo emplea un enfoque analítico constructivo basado en la integración por partes y la suma de series. La metodología central se basa en los siguientes pasos:

1. Fundamento con CDFs: Los autores definen una clase de funciones $G_i: \mathbb{R} \to [0, 1]$ que son continuas por la derecha, monótonas no decrecientes, satisfacen condiciones de frontera ($\lim_{x\to-\infty} G_i(x)=0$, $\lim_{x\to\infty} G_i(x)=1$) y poseen la propiedad de simetría $G_i(x) = 1 - G_i(-x)$. Estas condiciones implican que las derivadas de estas funciones son pares, una propiedad crucial para eliminar términos impares durante la integración.
2. Derivación de Integrales Dobles: Al integrar el producto de potencias de variables contra estas funciones y aplicar integración por partes, los autores derivan una identidad general de integral doble. La suma de la serie resultante con signos alternos conduce a la definición de $G$.
3. Extensión a Integrales Simples: Se introduce una función auxiliar específica para reducir la formulación de integral doble a una representación de integral simple.
4. Generalización a Integrales Múltiples: El enfoque se generaliza a $r$ dimensiones. Los autores utilizan la función trascendente de Lerch, $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$, para expresar la suma de la serie que surge de la integración en $r$ dimensiones.

Contribuciones y Resultados Clave

• Teorema 1 (Representación de Integral Doble): El artículo establece que para cualquier $a > 0$ y funciones $G_1, G_2$ que satisfacen las condiciones enunciadas:
  $$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$$
  Este resultado generaliza fórmulas conocidas, como la clásica $\int_0^1 \int_0^1 \frac{dx dy}{1+x^2y^2} = G$. Los autores proporcionan seis ejemplos ilustrativos utilizando diferentes CDFs, incluyendo la distribución de Rademacher, la distribución secante hiperbólica, la distribución normal estándar (mediante la función de error) y la distribución de Cauchy.

• Teorema 2 (Representación de Integral Simple): Como consecuencia del resultado de la integral doble, los autores derivan una nueva representación de integral simple:
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  donde $G(x)$ satisface las condiciones del Teorema 1. Esto produce nuevas fórmulas específicas, como las que involucran la CDF de Cauchy y la distribución arcseno.

• Teorema 3 (Representación de Integral Múltiple): El artículo presenta una formulación general para dimensiones $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}$$
  donde $a_r = (\prod_{i=1}^{r-1} a_i)^{-1}$. Para $r=2$, esto se reduce al Teorema 1; para $r=1$, se reduce al Teorema 2.

• Ejemplos Explícitos de Alta Dimensión: Los autores proporcionan integrandos explícitos para dimensiones $r=3$ hasta $r=10$ utilizando la distribución de Rademacher (donde $G_i(x) = 1/2$ para $x \in [-1, 1]$).

  • Para $r=3$, el integrando involucra la función racional $\frac{1 - x(3)}{(1 + x(3))^2}$, donde $x(3) = (x_1 x_2 x_3)^2$.
  • Para dimensiones superiores ($r=4, 5, 6, 10$), los integrandos se presentan como funciones racionales polinómicas que involucran coeficientes derivados de la expansión de la función de Lerch. Por ejemplo, el caso $r=10$ involucra un polinomio con coeficientes tales como $a_1 = -6552$ y $a_2 = 331612$.

Significado y Afirmaciones
El artículo afirma proporcionar "varias representaciones integrales novedosas" de la constante de Catalan. La importancia radica en la unificación de estas representaciones bajo un único marco teórico que involucra funciones de distribución acumulada y la trascendente de Lerch. Los autores demuestran que, al seleccionar diferentes CDFs válidas, se puede generar una amplia variedad de fórmulas integrales para $G$, que van desde integrales dobles simples hasta integrales complejas de alta dimensión con núcleos racionales polinómicos. El trabajo extiende el catálogo conocido de fórmulas para $G$ (haciendo referencia a compilaciones como [1] y [7]) al introducir un método sistemático para generarlas en dimensiones arbitrarias. El artículo no propone nuevas aplicaciones para estas constantes, sino que se centra en la derivación matemática y las relaciones estructurales entre diferentes formas integrales.