Resumen Técnico: Admisibilidad de los Ceros Extremales de Hörmander–Bernhardsson

1. El Problema

El artículo aborda el estudio espectral de los ceros $\{\pm\tau_n\}_{n \geq 1}$ de la función extremal de Hörmander–Bernhardsson $\phi$. Esta función es la solución a un problema de minimización de la norma $L^1$ entre las funciones de tipo exponencial $\pi$ normalizadas en $\phi(0)=1$.

El problema central es determinar si las secuencias derivadas de estos ceros (específicamente sus potencias $\tau_n^m$) son admisibles en el sentido de Quine–Heydari–Song (QHS). La admisibilidad es una propiedad analítica crucial que garantiza que la función zeta espectral asociada $\zeta_X(s)$ tenga una continuación meromorfa y que el producto regularizado de zeta se comporte de manera predecible, similar a los espectros de operadores elípticos en geometría.

Un obstáculo teórico identificado es que, aunque los ceros $\tau_n$ son perturbaciones de la red de semienteros ($n + 1/2$), la naturaleza de dicha perturbación (de orden $1/n$) podría introducir términos logarítmicos en la expansión de la traza del calor, lo cual rompería la admisibilidad estricta de QHS.

2. Metodología

El autor emplea una combinación de análisis asintótico, teoría de funciones especiales y transformadas de Mellin. Los pilares metodológicos son:

• Forma Normal Analítica: Se utiliza la parametrización reciente de Bondarenko–Ortega-Cerdà–Radchenko–Seip (BOCRS) para expresar los ceros como $\tau_n = a_n - \rho(a_n^{-1})$, donde $a_n = n + 1/2$. El autor demuestra que al elevar los ceros al cuadrado ($\lambda_n = \tau_n^2$), la perturbación de orden $1/n$ se cancela, permitiendo una forma normal del tipo $\lambda_n = (n+a)^2 + q((n+a)^{-2})$, donde $q$ es una función analítica.
• Análisis de Sumas Gaussianas Ponderadas: La traza del calor $\Theta(t) = \sum e^{-\lambda_n t}$ se reduce a una combinación de sumas gaussianas ponderadas. Se aplica la inversión de Mellin y el desplazamiento de contorno utilizando la estructura meromorfa de la función zeta de Hurwitz para obtener las expansiones asintóticas.
• Cálculo de Residuos y Transformada de Laplace: Para conectar las expansiones de pequeño tiempo ($t \to 0^+$) con las propiedades de la función zeta y los productos canónicos, se utiliza la Lema de Watson y la relación entre la traza del calor y la función zeta mediante la transformada de Mellin.

3. Contribuciones y Resultados Clave

A. Admisibilidad de los cuadrados (Teoremas 1.1 y 1.2)

El resultado principal es que la secuencia de ceros al cuadrado $\lambda_n = \tau_n^2$ es admisible en el sentido de QHS. Esto implica que la traza del calor $\theta(t)$ posee una expansión completa en potencias puras de $t^{1/2}$ (sin términos logarítmicos). Como consecuencia directa, se demuestra la Conjetura 1 de [BOCRS25], estableciendo una identidad de simetría para los valores especiales de la serie de Dirichlet $L^+(s)$ en enteros negativos:
$$L^+(-2k) = \frac{L^+(2k)}{(2\pi i C)^{2k}}$$

B. La Dicotomía de Paridad (Teorema 1.3 y 5.1)

El autor establece un fenómeno de paridad fundamental para las potencias $\tau_n^m$:

1. Si $m$ es par: La secuencia $(\tau_n^m)$ es admisible. La estructura cuadrática elimina los términos armónicos que generan logaritmos.
2. Si $m$ es impar: La secuencia no es admisible. La expansión de la traza del calor contiene un término no nulo de la forma $t \log t$. Este término es una "firma analítica" de la presencia de polos de orden superior en el plano de Mellin.

C. Criterio de Admisibilidad General (Teorema 1.4 y 3.17)

Se proporciona un criterio robusto: cualquier perturbación analítica de una red cuadrática de la forma $\lambda_n = (n+a)^2 + q((n+a)^{-2})$ es admisible, lo que extiende estos resultados a problemas de Sturm-Liouville y ceros de funciones especiales (Bessel, Airy).

D. Consecuencias para Productos Canónicos y Funciones Zeta

• Para $m$ par, se obtienen fórmulas precisas para la extracción de coeficientes en la expansión de $\log W(\lambda)$ (el producto canónico) en términos de los valores de la función zeta.
• Para $m$ impar, se demuestra que la presencia del término $t \log t$ se traduce en correcciones de tipo $\frac{\log \lambda}{\lambda}$ en las asíntotas de los productos canónicos.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Resolución de Conjeturas: Resuelve un problema abierto en la teoría de funciones extremales de tipo exponencial.
2. Unificación Teórica: Conecta la teoría de la regularización de zeta (QHS) con la teoría de funciones de Paley-Wiener y la estructura de los ceros de funciones extremales.
3. Herramienta Analítica: Proporciona un marco para entender cómo las pequeñas perturbaciones en una red de ceros pueden o no alterar la estructura de la expansión de la traza del calor, distinguiendo claramente entre comportamientos "limpios" (potencias puras) y comportamientos "logarítmicos".