Identities and inequalities for integral transforms involving squares of the Bessel functions

Resumen Técnico: Identidades e Inequalidades para Transformadas Integrales que Involucran Cuadrados de las Funciones de Bessel

Planteamiento del Problema
Este artículo investiga la transformada integral $T_\nu$ definida por
$$T_\nu f(s) := \pi \int_0^\infty rs J_\nu(rs)^2 f(r) \, dr,$$
donde $J_\nu$ es la función de Bessel de primera especie de orden $\nu \in [-1/2, \infty)$. Esta transformada es central en el estudio de las constantes óptimas en las estimaciones de suavizado de Kato–Yajima para la ecuación de Schrödinger libre en $\mathbb{R}^d$. Específicamente, la constante óptima $C_S^{(d)}(w, \psi)$ para la desigualdad
$$\int_{\mathbb{R}^d \times \mathbb{R}} w(|x|) |\psi(|\nabla|) e^{it\Delta} u_0(x)|^2 \, dx \, dt \le C \|u_0\|_{L^2(\mathbb{R}^d)}^2$$
está determinada por el supremo de $s^{-1}\psi(s)^2 T_{k+d/2-1}w(s)$ sobre $k \in \mathbb{N}$ y $s > 0$.

Si bien trabajos previos de Bez, Saito y Sugimoto establecieron una identidad que relaciona $T_{k+d/2-1}$ con la transformada de Hankel $H_{d/2-1}$ para índices enteros $k$ y dimensiones $d$, persistía una brecha al intentar extender estas identidades a índices no enteros y derivar desigualdades generales para $T_\nu$ sin restringirse a órdenes enteros. El objetivo del artículo es extender estas identidades a índices arbitrarios y utilizarlas para establecer propiedades de monotonicidad e desigualdades para la transformada.

Metodología
El autor emplea una combinación de la teoría de transformadas integrales, identidades de funciones especiales y argumentos de la teoría de la medida.

1. Extensión de Identidades: La innovación metodológica central es la extensión de la identidad $T_{k+d/2-1}f = U_{k,d/2-1}H_{d/2-1}f$ (previamente conocida para $k$ entero) a índices arbitrarios. Esto se logra introduciendo la función de Gegenbauer de segunda especie, $D_\mu^{(\nu)}$, para definir un operador integral generalizado $U_{\mu,\nu}$ con un núcleo $K_{\mu,\nu}(r,s)$ que es distinto de cero para $r > 2s$ cuando $\mu \notin \mathbb{N}$.
2. Análisis de la Transformada de Hankel: La prueba de la identidad generalizada se basa en el cálculo de la transformada de Hankel de la función núcleo $g_{\mu,\nu,s}(r) = \pi s r^{-2\nu} J_{\mu+\nu}(rs)^2$. Este cálculo de la transformada utiliza la fórmula de Macdonald para integrales que involucran productos de tres funciones de Bessel, expresando el resultado en términos de funciones de Legendre y convirtiéndolas posteriormente a funciones de Gegenbauer.
3. Identidad de Parseval: La validez de la identidad $T_{\mu+\nu}f = U_{\mu,\nu}H_\nu f$ se establece utilizando la identidad de Parseval para la transformada de Hankel, asegurando las condiciones de integrabilidad necesarias para las funciones y sus transformadas.
4. Monotonicidad y Desigualdades: Mediante el análisis del núcleo $K_{\mu,\nu}(r,s)$, el autor deriva desigualdades puntuales (por ejemplo, $K_{\mu,\nu} \le K_{0,\nu}$) que, al combinarse con la no negatividad de la transformada de Hankel $H_\nu f$, producen desigualdades para $T_\nu f$.
5. Monotonicidad Completa: El artículo aprovecha los teoremas de Bernstein–Widder y Schoenberg, que caracterizan las funciones $f$ tales que $r \mapsto f(r^{1/2})$ es completamente monótona como superposiciones de gaussianas. Esto permite la extensión de los resultados del caso gaussiano a una clase más amplia de funciones mediante la integración contra una medida de Borel.

Contribuciones Clave y Resultados

• Identidad Generalizada (Teorema 1.6(I)): El artículo establece que para $\mu \in [0, \infty)$, $\nu \in (-1/2, \infty)$ y funciones $f$ adecuadas, la identidad $T_{\mu+\nu}f(s) = U_{\mu,\nu}H_\nu f(s)$ se cumple. Esto generaliza los resultados previos restringidos a desplazos enteros en el índice.
• Monotonicidad y Desigualdades (Teorema 1.6(II)–(V)):
  • Si $H_\nu f$ es no negativa, $s \mapsto T_\nu f(s)$ es no decreciente para $\nu \ge 1/2$.
  • La suma $T_\nu f(s) + T_{\nu+1} f(s)$ es no decreciente para $\nu > -1/2$.
  • Para $\mu \in \mathbb{N}_{\ge 1}$ o $\mu \in (0, 1]$ (con $\mu+2\nu \ge 0$), si $H_\nu f$ es no negativa, entonces $T_{\mu+\nu}f(s) \le T_\nu f(s)$.
• Aplicación a Estimaciones de Suavizado (Teorema 1.5): Utilizando la desigualdad $T_{d/2-1/2}w \le T_{d/2-1}w$ (derivada del Teorema 1.6(V) con $\mu=1/2$), el autor demuestra que si las transformadas de Fourier de un peso espacial $w$ son no negativas en $\mathbb{R}^d$ y $\mathbb{R}^{d+1}$, entonces la constante óptima para la estimación de suavizado satisface $C_S^{(d+1)}(w, \psi) \le C_S^{(d)}(w, \psi)$. Esto proporciona una condición suficiente para la propiedad de disminución de dimensión de las constantes óptimas, cubriendo los casos (A), (B) y (C) mencionados en la introducción.
• Analiticidad y Monotonicidad Completa (Teorema 1.8): Para funciones $f$ donde $r \mapsto f(r^{1/2})$ es completamente monótona, el artículo demuestra que:
  • $s \mapsto s^{-\nu-1/2}T_\nu f(s^{1/2})$ es completamente monótona.
  • $s \mapsto T_\nu f(s)$ es estrictamente creciente para $\nu \ge 1/2$.
  • $s \mapsto T_\nu f(s) + T_{\nu+1} f(s)$ es estrictamente creciente.
  • $\nu \mapsto T_\nu f(s)$ es estrictamente decreciente para $\nu \ge 0$.
  • $T_{-\nu}f(s) < T_\nu f(s)$ para $\nu \in (-1/2, 0)$.
    Estos resultados implican la analiticidad de $T_\nu f$ en $(0, \infty)$, lo cual tiene implicaciones para la no existencia de extremizadores en las estimaciones de suavizado.
• Ejemplos Específicos: El artículo aplica estos teoremas para derivar nuevas demostraciones de propiedades conocidas de las funciones de Bessel modificadas $I_\nu$ y $K_\nu$, tales como la completitud monótona de $s^{-\nu}e^{-s}I_\nu(s)$ y la monotonicidad de $s I_\nu(s)K_\nu(s)$.
• Extensiones: Los resultados se extienden al caso $\nu = -1/2$ (Proposición 4.1) y a las ecuaciones de Dirac (Teorema 4.3), mostrando propiedades de disminución de dimensión análogas para las constantes óptimas en dichos contextos.

Significancia
El artículo afirma proporcionar un marco unificado para comprender el comportamiento de la transformada integral $T_\nu$ a través de índices no enteros. Al extender la identidad que conecta $T_\nu$ con la transformada de Hankel, el autor deriva un conjunto de desigualdades que anteriormente solo se conocían para casos enteros específicos o requerían métodos distintos.

La significancia principal radica en:

1. Generalización: Extender la identidad $T_{k+d/2-1} = U_{k,d/2-1}H_{d/2-1}$ a índices reales arbitrarios, eliminando así la restricción de dimensiones o órdenes enteros en el análisis de las estimaciones de suavizado.
2. Constantes Óptimas: Proporcionar una condición suficiente rigurosa (no negatividad de las transformadas de Fourier) para la monotonicidad de las constantes de suavizado óptimas con respecto a la dimensión, probando específicamente que $C_S^{(d+1)} \le C_S^{(d)}$ bajo condiciones amplias.
3. Analiticidad: Establecer la analiticidad de $T_\nu f$ para una amplia clase de pesos (aquellos relacionados con funciones completamente monótonas), lo cual respalda la no existencia de extremizadores para las estimaciones de suavizado.
4. Unificación: Demostrar que diversas desigualdades conocidas y propiedades de monotonicidad de las funciones de Bessel (por ejemplo, las que involucran $I_\nu$ y $K_\nu$) son consecuencias directas de las propiedades generales de la transformada $T_\nu$ y de la completitud monótona de la función de entrada.

El autor señala que, aunque algunas desigualdades específicas (como las del Ejemplo 3.2) eran conocidas, las demostraciones aquí proporcionadas son nuevas y emanan de la identidad generalizada, ofreciendo un enfoque más directo y unificado.