🔢 mathematics

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

Este artículo emplea la integración de contornos para derivar expresiones explícitas en forma cerrada que involucran derivadas de las funciones zeta de Riemann y beta de Dirichlet para las transformadas de Mellin de $1/\operatorname{arctanh} x$ y $1/(\sqrt{1-x^2}\,\operatorname{arctanh} x)$ en enteros pares, extendiendo así resultados previos y ofreciendo nuevas herramientas analíticas para investigar la naturaleza aritmética de razones específicas de las funciones zeta y beta.

Autores originales: Luc Ramsès Talla Waffo

Publicado 2026-01-27

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Luc Ramsès Talla Waffo

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective tratando de resolver un misterio sobre números. Específicamente, estás investigando dos números muy especiales y esquivos: la función Zeta de Riemann (llamémosla Z) y la función Beta de Dirichlet (llamémosla B).

Los matemáticos han sospechado durante mucho tiempo que ciertas proporciones que involucran a estos números y a la famosa constante del círculo, Pi ( $\pi$ ), son "irracionales". Esto significa que no pueden escribirse como una fracción simple (como 1/2 o 22/7). Son decimales infinitos y no periódicos que nunca se estabilizan.

Este artículo, escrito por Luc Ramsès Talla Waffo, es como un nuevo kit de herramientas diseñado para ayudar a resolver este caso. Así es como el autor aborda el problema, explicado en términos cotidianos:

1. Los dos sospechosos (Las funciones)

El autor se centra en dos "máquinas" matemáticas específicas (funciones) que toman un número de entrada y escupen un resultado.

Máquina A: Toma un número, lo divide por el "arcotangente hiperbólico inverso" (una forma elegante de decir que revierte una curva específica) y lo integra.
Máquina B: Hace lo mismo pero añade una "pared curva" (la raíz cuadrada de $1-x^2$ ) al denominador.

Piensa en estas máquinas como cribas. Viertes un flujo de números en ellas y ellas filtran patrones específicos. El autor las llama "transformadas de Mellin", que es solo un nombre elegante para un tipo específico de criba matemática que convierte una función en una nueva basada en su "forma".

2. La pista vieja frente a la nueva

Previamente, los matemáticos sabían cómo usar estas cribas cuando la entrada era un número impar (como 1, 3, 5). Era como saber cómo abrir una puerta con una llave para la mano izquierda.

Sin embargo, este artículo aborda los números pares (2, 4, 6).

El Problema: Cuando intentas usar los viejos métodos de "mano izquierda" en números pares, las matemáticas se rompen. Es como intentar abrir una puerta para la derecha con una llave para la izquierda; el mecanismo simplemente no gira, o peor aún, te da un resultado de cero, lo cual no te dice nada.
La Solución: El autor inventa un nuevo conjunto de herramientas utilizando la integración de contorno. Imagina caminar alrededor de una montaña (un camino complejo en el paisaje matemático) en lugar de intentar subir directamente. Al caminar alrededor de los "polos" (los puntos complicados donde las matemáticas explotan), el autor puede calcular el valor de estas entradas de números pares sin que desaparezcan en la nada.

3. El mapa del tesoro (Los resultados)

Al usar esta nueva técnica de "caminar alrededor de la montaña", el autor deriva fórmulas explícitas.

En lugar de obtener simplemente una integral desordenada que no se puede resolver, el autor encuentra una expresión de forma cerrada.
Piensa en esto como encontrar un mapa del tesoro que dice: "El tesoro no está enterrado en un agujero al azar; está exactamente a 3 pies bajo el roble, mezclado con una cantidad específica de polvo de oro (derivadas de las funciones Zeta y Beta)".

El artículo proporciona una larga lista de estos "mapos" para varios números pares. Por ejemplo, muestra exactamente cómo calcular la integral para $x^2$ , $x^4$ , $x^6$ , etc., en términos de constantes matemáticas conocidas y sus derivadas.

4. El panorama general: ¿Por qué es esto importante?

El objetivo final no es solo calcular estos números por diversión. Se trata de probar que son irracionales.

El autor sugiere una estrategia ingeniosa:

Si puedes probar que los resultados de estas "cribas" (las transformadas de Mellin) no pueden combinarse para crear el número $\pi$ , entonces pruebas que las proporciones de Zeta y Beta respecto a $\pi$ son irracionales.
El artículo muestra que estas transformadas pueden escribirse como series infinitas que involucran combinaciones de valores de Zeta y Beta.
Básicamente dice: "Si podemos mostrar que estas combinaciones específicas de números nunca suman $\pi$ , entonces el misterio de su irracionalidad queda resuelto".

5. El acto de "desvanecimiento"

Uno de los trucos más geniales del artículo involucra "funciones que se desvanecen". El autor identifica patrones matemáticos específicos (coeficientes combinatorios) que, al sumarse, mágicamente se cancelan entre sí para llegar a cero.

Analogía: Imagina a un grupo de personas sosteniendo carteles con números escritos en ellos. Si les pides que se coloquen en una formación específica, la suma total de los números en los carteles se convierte en cero. El autor utiliza estos grupos de "suma cero" para simplificar ecuaciones complejas, eliminando el ruido para revelar la señal central.

Resumen

En resumen, este artículo es un manual de reparación matemática.

El Problema: No podíamos calcular los valores "pares" de dos importantes cribas matemáticas porque nuestras viejas herramientas fallaban.
La Solución: El autor construyó una nueva herramienta (integración de contorno) para caminar alrededor de los obstáculos y obtener las respuestas.
El Resultado: Ahora tenemos fórmulas exactas para estos valores.
El Objetivo: Estas fórmulas proporcionan la evidencia necesaria para potencialmente probar que ciertas proporciones de números famosos son irracionales, resolviendo un enigma de larga data en la teoría de números.

El artículo no pretende curar enfermedades ni construir puentes; se mantiene estrictamente dentro del reino de las matemáticas puras, ofreciendo nuevas formas de ver la estructura oculta de los números como $\pi$ , Zeta y Beta.

Resumen Técnico: Las Transformadas de Mellin de $1/\text{arctanh } x$ y $1/(\sqrt{1-x^2}\text{arctanh } x)$

Planteamiento del Problema
Este trabajo investiga las transformadas de Mellin de dos funciones específicas, vistas como de soporte compacto en el intervalo $(0, 1)$ :
$\Phi_1(s) = \int_0^1 \frac{x^{s-1}}{\text{arctanh } x} \, dx \quad \text{y} \quad \Phi_2(s) = \int_0^1 \frac{x^{s-1}}{\sqrt{1-x^2}\text{arctanh } x} \, dx$
Estas transformadas están intrínsecamente vinculadas a la naturaleza aritmética de las razones $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ y $\frac{\beta(2n)}{\pi^{2n}}$ . Investigaciones previas (citadas como [2], [3]) establecieron representaciones integrales para estas razones involucrando polinomios pares. Sin embargo, persistía una brecha respecto a la evaluación de estas transformadas en enteros impares (correspondientes a potencias pares de $x$ en el integrando). Mientras que los valores en enteros pares fueron estudiados previamente, los casos de enteros impares conducen a integrales impropias que no pueden resolverse mediante argumentos de paridad estándar (ya que los integrandos son funciones impares), lo que requiere un nuevo enfoque analítico.

Metodología
El artículo emplea una combinación de análisis combinatorio, expansión de series y técnicas de análisis complejo, específicamente la integración de contorno.

Enfoques Combinatorios y de Series (Secciones 1 y 6):
- El autor define polinomios específicos $P_n(x)$ y $Q_n(x)$ relacionados con las raíces de funciones hiperbólicas para derivar coeficientes para expansiones de Taylor.
- Al sustituir $x = \tanh u$ , las integrales originales se transforman en integrales sobre $(0, \infty)$ que involucran $\tanh$ , $\cosh$ y $\ln u$ .
- Se utilizan expansiones binomiales y series geométricas para expresar estas integrales como sumas que involucran la derivada de la función eta de Dirichlet ( $\eta'$ ) y la función beta de Dirichlet ( $\beta'$ ).
- La Sección 6 establece sistemas acoplados que relacionan $\Phi_1(s)$ y $\Phi_2(s)$ mediante expansiones binomiales de $\sqrt{1-x^2}$ y $1/\sqrt{1-x^2}$ , permitiendo la expresión de sumas de valores de beta como series de valores de zeta y viceversa.
Integración de Contorno (Secciones 2 y 3):
- Para evaluar rigurosamente las integrales en enteros impares (que corresponden a integrales de la forma $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ ), el autor utiliza un contorno rectangular en el plano complejo.
- A diferencia de trabajos anteriores que manejaban funciones pares extendiendo el dominio a $(-\infty, \infty)$ , este trabajo aborda la naturaleza impar del integrando. El método consiste en integrar $z^2 f_{q,n}(z)$ alrededor de un rectángulo $[-R, R] \times [0, i\pi]$ y aplicar el Teorema del Residuo de Cauchy.
- Los polos del integrando se identifican y los residuos se calculan utilizando la fórmula de Cauchy y derivadas de $\ln^2 z$ .
- Esta técnica produce expresiones de forma cerrada que involucran derivadas de la función zeta de Riemann ( $\zeta'$ ) y la función beta de Dirichlet ( $\beta'$ ), junto con términos logarítmicos ( $\ln \pi, \ln 2$ ).

Contribuciones Clave y Resultados

Expresiones Explícitas de Forma Cerrada: El artículo deriva fórmulas explícitas para $\Phi_1(2n+1)$ $Φ_{1} (2 n + 1)$ y $\Phi_2(2n+1)$ $Φ_{2} (2 n + 1)$ . Estas se expresan como combinaciones lineales finitas de derivadas de las funciones eta y beta en enteros negativos (por ejemplo, $\eta'(-2i-1)$ $η^{'} (- 2 i - 1)$ y $\beta'(-2i)$ $β^{'} (- 2 i)$ ).
- Ejemplo: $\int_0^1 \frac{x^2}{\text{arctanh } x} dx = \frac{4}{3}\eta'(-1) + \frac{8}{3}\eta'(-3)$ .
Evaluación de Integrales Impropias: El trabajo proporciona un método sistemático para evaluar integrales de la forma $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ y $\int_0^\infty \frac{\sinh^{2q} z}{z \cosh^n z} dz$ . Estos resultados se presentan en términos de valores de $\zeta'$ y $\beta'$ , números de Bernoulli y números de Euler.
Identidades Combinatorias que se Anulan: La Sección 4 identifica clases específicas de funciones con coeficientes combinatorios que se anulan para ciertos argumentos enteros, lo cual es crucial para simplificar los cálculos de residuos.
Análisis Asintótico: El artículo establece límites y expansiones asintóticas para $\Phi_1(s)$ y $\Phi_2(s)$ cuando $s \to 1^+$ , proporcionando constantes $C_1$ y $C_2$ expresadas en términos de $\zeta'(2)$ , $\beta'(1)$ y términos logarítmicos.
Reformulación de Conjeturas de Irracionalidad: En la Sección 6.3, el autor reformula las conjeturas relativas a la irracionalidad de $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ y $\frac{\beta(2n)}{\pi^{2n}}$ . Se muestra que la irracionalidad de estas razones sigue si series infinitas específicas que involucran los coeficientes de las expansiones de Taylor de $1/\text{arctanh } x$ y $1/(\sqrt{1-x^2}\text{arctanh } x)$ no abarcan los números racionales de una manera que permita representar a $\pi$ .

Significancia y Reivindicaciones
El artículo reclama tres contribuciones primarias:

Perspectiva Aritmética: Estudia transformadas de Mellin profundamente conectadas con la naturaleza aritmética de $\zeta(2n+1)/\pi^{2n+1}$ y $\beta(2n)/\pi^{2n}$ , extendiendo resultados previos a argumentos de enteros impares que anteriormente no habían sido abordados debido a las restricciones de paridad.
Nuevas Perspectivas sobre Integrales: Proporciona nuevas perspectivas sobre integrales que podrían haber sido pasadas por alto en los trabajos de Blagouchine, Adamchik y otros, específicamente aquellas que involucran potencias impares de seno hiperbólico combinadas con términos logarítmicos.
Herramientas Analíticas: Desarrolla técnicas de análisis complejo (específicamente el método de integración de contorno para integrandos impares) que producen identidades no triviales útiles en combinatoria y en la evaluación de integrales hiperbólicas.

El autor señala que, si bien los resultados en enteros pares eran conocidos, la derivación en enteros impares requirió un método distinto porque los argumentos de paridad fallan (produciendo cero de forma trivial si se aplicaran ingenuamente). Las expresiones de forma cerrada derivadas, que involucran derivadas de funciones L, proporcionan nuevas herramientas analíticas para estudiar integrales hiperbólicas relacionadas y las propiedades aritméticas de las razones mencionadas.