🔢 mathematics

The Mellin's transforms of $\dfrac{1}{\operatorname{arctanh} x}$ and $\dfrac{1}{\sqrt{1-x^2}\,\operatorname{arctanh} x}$

Este artigo emprega integração de contorno para derivar expressões explícitas em forma fechada envolvendo derivadas das funções zeta de Riemann e beta de Dirichlet para as transformadas de Mellin de $1/\operatorname{arctanh} x$ e $1/(\sqrt{1-x^2}\,\operatorname{arctanh} x)$ em inteiros pares, estendendo, desta forma, resultados anteriores e oferecendo novas ferramentas analíticas para investigar a natureza aritmética de razões específicas de funções zeta e beta.

Autores originais: Luc Ramsès Talla Waffo

Publicado 2026-01-27

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Luc Ramsès Talla Waffo

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um detetive tentando resolver um mistério sobre números. Especificamente, você está investigando dois números muito especiais e esquivos: a função Zeta de Riemann (vamos chamá-la de Z) e a função Beta de Dirichlet (vamos chamá-la de B).

Matemáticos suspeitam há muito tempo que certas razões envolvendo esses números e a famosa constante do círculo, Pi ( $\pi$ ), são "irracionais". Isso significa que elas não podem ser escritas como uma fração simples (como 1/2 ou 22/7). Elas são decimais infinitos, não repetitivos, que nunca se estabilizam.

Este artigo, escrito por Luc Ramsès Talla Waffo, é como um novo kit de ferramentas projetado para ajudar a solucionar este caso. Veja como o autor aborda o problema, explicado em termos cotidianos:

1. Os Dois Suspeitos (As Funções)

O autor foca em duas "máquinas" matemáticas específicas (funções) que recebem um número de entrada e cospem um resultado.

Máquina A: Recebe um número, divide pelo "tangente hiperbólico inverso" (uma maneira sofisticada de dizer que ela reverte uma curva específica) e o integra.
Máquina B: Faz o mesmo, mas adiciona uma "parede curva" (a raiz quadrada de $1-x^2$ ) ao denominador.

Pense nessas máquinas como peneiras. Você despeja um fluxo de números nelas e elas filtram padrões específicos. O autor chama isso de "transformadas de Mellin", que é apenas um nome chique para um tipo específico de peneira matemática que transforma uma função em uma nova baseada em sua "forma".

2. A Pista Antiga vs. A Nova

Anteriormente, os matemáticos sabiam como usar essas peneiras quando a entrada era um número ímpar (como 1, 3, 5). Era como saber como abrir uma porta com uma chave para a mão esquerda.

No entanto, este artigo aborda os núpars (2, 4, 6).

O Problema: Quando você tenta usar os antigos métodos de "mão esquerda" em números pares, a matemática falha. É como tentar abrir uma porta de mão direita com uma chave de mão esquerda; o mecanismo simplesmente não gira, ou pior, fornece um resultado de zero, o que não lhe diz nada.
A Solução: O autor inventa um novo conjunto de ferramentas usando integração de contorno. Imagine caminhar ao redor de uma montanha (um caminho complexo no cenário matemático) em vez de tentar subir direto. Ao caminhar ao redor dos "polos" (os pontos complicados onde a matemática explode), o autor pode calcular o valor dessas entradas de números pares sem que elas desapareçam no nada.

3. O Mapa do Tesouro (Os Resultados)

Ao usar essa nova técnica de "caminhar ao redor da montanha", o autor deriva fórmulas explícitas.

Em vez de obter apenas uma integral confusa que não pode ser resolvida, o autor encontra uma expressão de forma fechada.
Pense nisso como encontrar um mapa do tesouro que diz: "O tesouro não está enterrado em um buraco aleatório; está exatamente a 3 pés sob o carvalho, misturado com uma quantidade específica de pó de ouro (derivadas das funções Zeta e Beta)."

O artigo fornece uma longa lista desses "mapas" para vários números pares. Por exemplo, ele mostra exatamente como calcular a integral para $x^2$ , $x^4$ , $x^6$ , etc., em termos de constantes matemáticas conhecidas e suas derivadas.

4. O Quadro Geral: Por Que Isso Importa?

O objetivo final não é apenas calcular esses números por diversão. É sobre provar que eles são irracionais.

O autor sugere uma estratégia astuta:

Se você conseguir provar que os resultados dessas "peneiras" (as transformadas de Mellin) não podem ser combinados para criar o número $\pi$ , então você prova que as razões de Zeta e Beta para $\pi$ são irracionais.
O artigo mostra que essas transformadas podem ser escritas como séries infinitas envolvendo combinações de valores de Zeta e Beta.
Ele essencialmente diz: "Se pudermos mostrar que essas combinações específicas de números nunca somam $\pi$ , então o mistério de sua irracionalidade estará resolvido."

5. O Ato de "Desaparecer"

Um dos truques mais legais do artigo envolve "funções de desaparecimento". O autor identifica padrões matemáticos específicos (coeficientes combinatórios) que, quando somados, magicamente se cancelam para zero.

Analogia: Imagine um grupo de pessoas segurando cartazes com números neles. Se você pedir que elas fiquem em uma formação específica, a soma total dos números nos cartazes torna-se zero. O autor usa esses grupos de "soma zero" para simplificar equações complexas, removendo o ruído para revelar o sinal central.

Resumo

Em suma, este artigo é um manual de reparo matemático.

O Problema: Não conseguíamos calcular os valores "pares" de duas peneiras matemáticas importantes porque nossas ferramentas antigas falhavam.
O Conserto: O autor construiu uma nova ferramenta (integração de contorno) para caminhar ao redor dos obstáculos e obter as respostas.
O Resultado: Agora temos fórmulas exatas para esses valores.
O Objetivo: Essas fórmulas fornecem a evidência necessária para potencialmente provar que certas razões de números famosos são irracionais, resolvendo um enigma de longa data na teoria dos números.

O artigo não afirma curar doenças ou construir pontes; ele permanece estritamente dentro do reino da matemática pura, oferecendo novas maneiras de enxergar a estrutura oculta de números como $\pi$ , Zeta e Beta.

Resumo Técnico: As Transformadas de Mellin de $1/\text{arctanh } x$ e $1/(\sqrt{1-x^2}\text{arctanh } x)$

Enunciado do Problema
Este trabalho investiga as transformadas de Mellin de duas funções específicas, vistas como suporte compacto no intervalo $(0, 1)$ :
$\Phi_1(s) = \int_0^1 \frac{x^{s-1}}{\text{arctanh } x} \, dx \quad \text{e} \quad \Phi_2(s) = \int_0^1 \frac{x^{s-1}}{\sqrt{1-x^2}\text{arctanh } x} \, dx$
Estas transformadas estão intrinsecamente ligadas à natureza aritmética das razões $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ e $\frac{\beta(2n)}{\pi^{2n}}$ . Pesquisas anteriores (citadas como [2], [3]) estabeleceram representações integrais para estas razões envolvendo polinômios pares. No entanto, uma lacuna permanecia quanto à avaliação destas transformadas em inteiros ímpares (correspondentes a potências pares de $x$ no integrando). Enquanto os valores em inteiros pares foram estudados anteriormente, os casos de inteiros ímpares levam a integrais impróprias que não podem ser resolvidas usando argumentos de paridade padrão (pois os integrandos são funções ímpares), necessitando de uma nova abordagem analítica.

Metodologia
O artigo emprega uma combinação de análise combinatória, expansão de séries e técnicas de análise complexa, especificamente integração de contorno.

Abordagens Combinatórias e de Séries (Seções 1 & 6):
- O autor define polinômios específicos $P_n(x)$ e $Q_n(x)$ relacionados às raízes de funções hiperbólicas para derivar coeficientes para expansões de Taylor.
- Ao substituir $x = \tanh u$ , as integrais originais são transformadas em integrais sobre $(0, \infty)$ envolvendo $\tanh$ , $\cosh$ e $\ln u$ .
- Expansões binomiais e séries geométricas são utilizadas para expressar estas integrais como somas envolvendo derivadas da função eta de Dirichlet ( $\eta'$ ) e da função beta de Dirichlet ( $\beta'$ ).
- A Seção 6 estabelece sistemas acoplados relacionando $\Phi_1(s)$ e $\Phi_2(s)$ via expansões binomiais de $\sqrt{1-x^2}$ e $1/\sqrt{1-x^2}$ , permitindo a expressão de somas de valores beta como séries de valores zeta e vice-versa.
Integração de Contorno (Seções 2 & 3):
- Para avaliar rigorosamente as integrais em inteiros ímpares (que correspondem a integrais da forma $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ ), o autor utiliza um contorno retangular no plano complexo.
- Diferente de trabalhos anteriores que lidavam com funções pares ao estender o domínio para $(-\infty, \infty)$ , este trabalho aborda a natureza ímpar do integrando. O método envolve integrar $z^2 f_{q,n}(z)$ em torno de um retângulo $[-R, R] \times [0, i\pi]$ e aplicar o Teorema do Resíduo de Cauchy.
- Os polos do integrando são identificados, e os resíduos são calculados usando a fórmula integral de Cauchy e derivadas de $\ln^2 z$ .
- Esta técnica produz expressões de forma fechada envolvendo derivadas da função zeta de Riemann ( $\zeta'$ ) e da função beta de Dirichlet ( $\beta'$ ), juntamente com termos logarítmicos ( $\ln \pi, \ln 2$ ).

Principais Contribuições e Resultados

Expressões de Forma Fechada Explícitas: O artigo deriva fórmulas explícitas para $\Phi_1(2n+1)$ $Φ_{1} (2 n + 1)$ e $\Phi_2(2n+1)$ $Φ_{2} (2 n + 1)$ . Estas são expressas como combinações lineares finitas de derivadas das funções eta e beta em inteiros negativos (ex: $\eta'(-2i-1)$ $η^{'} (- 2 i - 1)$ e $\beta'(-2i)$ $β^{'} (- 2 i)$ ).
- Exemplo: $\int_0^1 \frac{x^2}{\text{arctanh } x} dx = \frac{4}{3}\eta'(-1) + \frac{8}{3}\eta'(-3)$ .
Avaliação de Integrais Impróprias: O trabalho fornece um método sistemático para avaliar integrais da forma $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ e $\int_0^\infty \frac{\sinh^{2q} z}{z \cosh^n z} dz$ . Estes resultados são apresentados em termos de valores de $\zeta'$ e $\beta'$ , números de Bernoulli e números de Euler.
Identidades Combinatórias Nulas: A Seção 4 identifica classes específicas de funções com coeficientes combinatórios que se anulam para certos argumentos inteiros, o que é crucial para simplificar os cálculos de resíduos.
Análise Assintótica: O artigo estabelece limites e expansões assintóticas para $\Phi_1(s)$ e $\Phi_2(s)$ quando $s \to 1^+$ , fornecendo constantes $C_1$ e $C_2$ expressas em termos de $\zeta'(2)$ , $\beta'(1)$ e termos logarítmicos.
Reformulação de Conjecturas de Irracionalidade: Na Seção 6.3, o autor reformula as conjecturas relativas à irracionalidade de $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ e $\frac{\beta(2n)}{\pi^{2n}}$ . A irracionalidade destas razões mostra-se decorrente se séries infinitas específicas envolvendo os coeficientes das expansões de Taylor de $1/\text{arctanh } x$ e $1/(\sqrt{1-x^2}\text{arctanh } x)$ não ocuparem os números racionais de uma forma que permita que $\pi$ seja representado.

Significância e Alegações
O artigo alega três contribuições primárias:

Insight Aritmético: Estuda transformadas de Mellin profundamente conectadas à natureza aritmética de $\zeta(2n+1)/\pi^{2n+1}$ e $\beta(2n)/\pi^{2n}$ , estendendo resultados anteriores para argumentos de inteiros ímpares que anteriormente não haviam sido abordados devido a restrições de paridade.
Novas Perspectivas sobre Integrais: Fornece novas perspectivas sobre integrais que podem ter sido negligenciadas nos trabalhos de Blagouchine, Adamchik e outros, especificamente aquelas envolvendo potências ímpares de seno hiperbólico combinadas com termos logarítmicos.
Ferramentas Analíticas: Desenvolve técnicas de análise complexa (especificamente o método de integração de contorno para integrandos ímpares) que produzem identidades não triviais úteis em combinatória e na avaliação de integrais hiperbólicas.

O autor observa que, embora os resultados em inteiros pares fossem conhecidos, a derivação em inteiros ímpares exigiu um método distinto porque os argumentos de paridade falham (resultando em zero trivial se aplicados ingenuamente). As expressões de forma fechada derivadas envolvendo derivadas de funções L fornecem novas ferramentas analíticas para o estudo de integrais hiperbólicas relacionadas e das propriedades aritméticas das referidas razões.