Analytic umbral transmutations and Bessel moments

Resumen Técnico: Transmutaciones Umbrales Analíticas y Momentos de Bessel

Planteamiento del Problema
El artículo aborda la evaluación de integrales que involucran productos de funciones de Bessel de la primera especie, específicamente los "momentos de Bessel" definidos como $I_n = \int_{-\infty}^{\infty} J_0(x)^n dx$. Los autores identifican una limitación crítica en el enfoque clásico del "cálculo umbral indicial formal". Si bien este formalismo convierte con éxito productos de funciones de Bessel en integrales gaussianas que involucran potencias fraccionarias de sumas de operadores umbrales, depende de expansiones de series hipergeométricas que a menudo fallan en converger en valores de parámetros físicamente relevantes.

Un ejemplo primordial es el momento cúbico $I_3(1,1,1) = \int_{-\infty}^{\infty} J_0(x)^3 dx$. La expansión formal ingenua produce una serie hipergeométrica Appell $F_4$. Sin embargo, el dominio de convergencia de esta serie ($\sqrt{|x|} + \sqrt{|y|} < 1$) excluye explícitamente el caso equilátero donde todos los parámetros son iguales. En consecuencia, el método formal sugiere incorrectamente que la integral diverge o es indefinida, a pesar de que la integral es finita y conocida por converger a una constante específica. El artículo busca resolver esta obstrucción pasando de las series formales a un marco analítico riguroso.

Metodología
Los autores emplean un "marco umbral analítico" (basado en el trabajo previo [5]) para reinterpretar el operador umbral $u$ no meramente como un símbolo formal, sino como un funcional en la variable compleja aditiva de Borel. La metodología central consiste en:

1. Acoplamiento Umbral Analítico: La función de operador formal $f(\zeta u)$ se mapea a un funcional compuesto $f(\zeta e^u)$. El acoplamiento con un estado fundamental $\phi(t)$ se define mediante una integral de Mellin–Barnes:
   $$F(\zeta) = \langle f(\zeta e^u), \phi \rangle = \frac{1}{2\pi i} \int_{C_t} J_f(t; \zeta) \phi(t) dt$$
   donde $J_f$ es una función de salto espectral derivada de la transformada de Mellin.

2. El Teorema Maestro de Ramanujan como Principio de Selección: Los autores utilizan el Teorema Maestro de Ramanujan para invertir la transmutación umbral analítica. Este teorema actúa como un principio de selección para el "estado fundamental espectral" (o "reloj") $\Phi(t)$ asociado con un producto de Bessel dado. Específicamente, si $F(y) = J_0(\sqrt{y})^\alpha$, el estado fundamental se identifica como $\Phi_\alpha(t) = \mathcal{M}[F](-t) / \Gamma(-t)$.

3. Factorización de Relojes: El producto de funciones de Bessel se descompone en "relojes" (estados espectrales).

   • El reloj elemental para $J_0$ es $\phi_1(t) = 1/\Gamma(1+t)$.
   • El reloj cuadrático para $J_0^2$ es $\phi_2(t) = \Gamma(2t+1)/\Gamma(t+1)^3$.
   • Las potencias superiores se tratan como contracciones de estos distintos relojes.

4. Descomposición de Mellin–Barnes: La integración espacial (integral gaussiana) resulta en núcleos algebraicos (por ejemplo, $(e^u + e^v)^{-1/2}$). Estos núcleos se expanden utilizando integrales de Mellin–Barnes, fusionando los relojes separados en un único estado espectral efectivo o una función de Barnes multivariada.

Contribuciones Clave y Resultados

• Resolución del Momento Cúbico ($n=3$): Al factorizar $J_0^3 = J_0 \cdot J_0^2$, los autores combinan el reloj elemental $\phi_1$ y el reloj cuadrático $\phi_2$. La integral resultante se reduce a una integral de Barnes unidimensional, equivalente a una función $G$ de Meijer:
  $$I_3 = \frac{1}{\sqrt{\pi}} G_{3,3}^{2,1}\left( \frac{1}{4} \middle| \begin{matrix} 1/2, 1/2, 1/2 \\ 0, 0, 0 \end{matrix} \right)$$
  Esta continuación analítica produce el valor finito clásico $\frac{\Gamma(1/6)^2}{2^{2/3}\sqrt{3}\pi^{3/2}\Gamma(5/6)}$, demostrando que la serie Appell divergente era meramente una representación local de una identidad globalmente significativa.

• Productos Cúbicos Escalados: El método se extiende a $I(a,b) = \int J_0(ax)J_0(bx)^2 dx$. La dependencia de la relación de escala se codifica en una única función de transmutación de un solo reloj $H(\zeta)$, que también es una función $G$ de Meijer.

• El Cuarto Momento ($n=4$): El agrupamiento simétrico $J_0^4 = J_0^2 \cdot J_0^2$ conduce a una contracción de dos relojes cuadráticos. Esto resulta en una función $G$ de Meijer de una variable, lo que proporciona una nueva representación numérica para $I_4$ mediante la expansión de residuos de esta función (cerrando el contorno hacia la derecha), la cual produce una serie de convergencia rápida que involucra coeficientes binomiales centrales y números armónicos.

• El Quinto Momento ($n=5$) y Rangos Superiores: El artículo demuestra que $n=5$ representa una transición estructural. El agrupamiento $J_0^5 = J_0^2 \cdot J_0^2 \cdot J_0$ requiere una fusión ternaria de relojes. El núcleo resultante $(e^u + e^v + e^w)^{-1/2}$ requiere una integral de Barnes bivariada. El objeto efectivo ya no es una función $G$ de Meijer estándar (rango 1), sino una función de Barnes de dos variables. Los autores señalan que, si bien la representación analítica existe, la expansión de residuos ingenua en el punto físico $(1,1)$ no es numéricamente eficiente, resaltando una separación entre la representación analítica estructural y los métodos de evaluación numérica más eficientes.

• Potencias Fraccionarias ($n=\alpha$): El marco se generaliza para $\alpha$ real $> 2$. Los autores muestran que el momento sigue siendo el valor de Mellin de un estado espectral seleccionado por Ramanujan. A diferencia de los casos enteros donde el estado puede colapsar en un producto finito de funciones Gamma, el caso fraccionario involucra un estado espectral genuinamente seleccionado que no es un producto finito, aunque la interpretación umbral analítica persiste.

Significado y Reivindicaciones
El artículo pretende proporcionar una justificación rigurosa para el paso del cálculo umbral indicial formal a la "teoría de transmutación umbral de Mellin–Barnes". Su significancia principal reside en:

1. Validez Global vs. Local: Establece que las identidades umbrales existen globalmente, incluso cuando sus realizaciones hipergeométricas específicas (como la serie Appell $F_4$) están restringidas a cámaras de convergencia locales. El marco analítico recupera los valores finitos correctos donde las series formales divergen.
2. Jerarquía Estructural: Identifica una jerarquía en los momentos de Bessel:
   • $n=3, 4$: Las fusiones binarias conducen a funciones $G$ de Meijer de una variable.
   • $n=5$: Las fusiones ternarias conducen a estructuras de Barnes de mayor rango (bivariadas).
3. Unificación: Unifica el tratamiento de los momentos enteros y fraccionarios bajo un único paradigma analítico donde el Teorema Maestro de Ramanujan actúa como el principio de selección inversa para el estado fundamental espectral.

Los autores concluyen que, si bien el método umbral analítico proporciona una representación estructural consistente para todos los momentos, la transición de $n=4$ a $n=5$ marca el límite del "fenómeno $G$ de Meijer", requiriendo estructuras multivariadas más complejas para momentos de orden superior.