Multiple integral representations of the Catalan's constant

Resumo Técnico: Representações de Integrais Múltiplas da Constante de Catalan

Enunciado do Problema
A constante de Catalan ($G \approx 0,915965$), definida pela série alternada $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$, é uma constante matemática fundamental com numerosas representações conhecidas em integrais e séries. Embora a literatura existente (por exemplo, [1], [7], [9]) compile listas extensas de tais fórmulas, este artigo visa derivar novas representações integrais para $G$. Especificamente, os autores buscam estabelecer novas formas envolvendo integrais duplas, integrais simples e integrais múltiplas gerais de dimensão $r \geq 2$, utilizando propriedades das funções de distribuição acumulada (CDFs) e da função transcendente de Lerch.

Metodologia
O artigo emprega uma abordagem analítica construtiva baseada em integração por partes e somatória de séries. A metodologia central baseia-se nos seguintes passos:

1. Fundamentação com CDFs: Os autores definem uma classe de funções $G_i: \mathbb{R} \to [0, 1]$ que são contínuas à direita, monotonicamente não decrescentes, satisfazem condições de fronteira ($\lim_{x\to-\infty} G_i(x)=0$, $\lim_{x\to\infty} G_i(x)=1$) e possuem a propriedade de simetria $G_i(x) = 1 - G_i(-x)$. Essas condições implicam que as derivadas dessas funções são pares, uma propriedade crucial para eliminar termos ímpares durante a integração.
2. Derivação de Integrais Duplas: Ao integrar o produto de potências de variáveis contra essas funções e aplicar integração por partes, os autores derivam uma identidade geral de integral dupla. A somatória da série resultante com sinais alternados leva à definição de $G$.
3. Extensão para Integrais Simples: Uma função auxiliar específica é introduzida para reduzir a formulação de integral dupla em uma representação de integral simples.
4. Generalização para Integrais Múltiplas: A abordagem é generalizada para $r$ dimensões. Os autores utilizam a função transcendente de Lerch, $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$, para expressar a soma da série resultante da integração em $r$ dimensões.

Principais Contribuições e Resultados

• Teorema 1 (Representação de Integral Dupla): O artigo estabelece que, para qualquer $a > 0$ e funções $G_1, G_2$ satisfazendo as condições declaradas:
  $$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 conhecidas, como a clássica $\int_0^1 \int_0^1 \frac{dx dy}{1+x^2y^2} = G$. Os autores fornecem seis exemplos ilustrativos usando diferentes CDFs, incluindo a distribuição de Rademacher, a distribuição secante hiperbólica, a distribuição normal padrão (via função erro) e a distribuição de Cauchy.

• Teorema 2 (Representação de Integral Simples): Como consequência do resultado da integral dupla, os autores derivam uma nova representação de integral simples:
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  onde $G(x)$ satisfaz as condições do Teorema 1. Isso produz novas fórmulas específicas, como aquelas envolvendo a CDF de Cauchy e a distribuição arcseno.

• Teorema 3 (Representação de Integral Múltipla): O artigo apresenta uma formulação geral para dimensões $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}$$
  onde $a_r = (\prod_{i=1}^{r-1} a_i)^{-1}$. Para $r=2$, isso reduz-se ao Teorema 1; para $r=1$, reduz-se ao Teorema 2.

• Exemplos Explícitos de Alta Dimensão: Os autores fornecem integrandos explícitos para dimensões $r=3$ até $r=10$ usando a distribuição de Rademacher (onde $G_i(x) = 1/2$ para $x \in [-1, 1]$).

  • Para $r=3$, o integrando envolve a função racional $\frac{1 - x(3)}{(1 + x(3))^2}$, onde $x(3) = (x_1 x_2 x_3)^2$.
  • Para dimensões superiores ($r=4, 5, 6, 10$), os integrandos são apresentados como funções racionais polinomiais envolvendo coeficientes derivados da expansão da função de Lerch. Por exemplo, o caso $r=10$ envolve um polinômio com coeficientes como $a_1 = -6552$ e $a_2 = 331612$.

Significado e Afirmações
O artigo afirma fornecer "várias representações integrais novas" da constante de Catalan. O significado reside na unificação dessas representações sob um único quadro teórico envolvendo funções de distribuição acumulada e a função transcendente de Lerch. Os autores demonstram que, ao selecionar diferentes CDFs válidas, pode-se gerar uma grande variedade de fórmulas integrais para $G$, variando de integrais duplas simples a integrais de alta dimensão complexas com núcleos racionais polinomiais. O trabalho expande o catálogo conhecido de fórmulas para $G$ (referenciando compilações como [1] e [7]) ao introduzir um método sistemático para gerá-las em dimensões arbitrárias. O artigo não propõe novas aplicações para essas constantes, mas foca na derivação matemática e nas relações estruturais entre diferentes formas integrais.