Extreme values of derivatives of Dirichlet $L$-functions

Resumen Técnico: Valores Extremos de las Derivadas de las Funciones L de Dirichlet

Planteamiento del Problema
El artículo aborda el problema de establecer cotas inferiores para los valores extremos de las $\ell$-ésimas derivadas de las funciones L de Dirichlet, denotadas como $L^{(\ell)}(s, \chi)$, dentro del rango de la franja crítica $1/2 < \sigma < 1$. Mientras que los valores extremos de las propias funciones L ($\ell=0$) han sido estudiados extensamente —notablemente por Aistleitner, Mahatab, Munsch y Peyrot [3], quienes establecieron cotas inferiores precisas para $|L(1, \chi)|$ y $|L(\sigma, \chi)|$— el comportamiento de sus derivadas en el rango $1/2 < \sigma < 1$ había sido menos explorado. El trabajo previo de D. Yang [14] había analizado con éxito las derivadas en $s=1$, pero la extensión al intervalo abierto $(1/2, 1)$ requería nuevas técnicas.

Metodología
Los autores emplean el método del resonador largo, un refinamiento de la técnica de resonancia introducida originalmente por Voronin [11] y mejorada por Soundararajan [10] y otros. La estrategia central consiste en construir una función "resonadora" específica $R(\chi)$ diseñada para amplificar los valores de $L^{(\ell)}(\sigma, \chi)$ para un carácter no principal específico $\chi$.

La ejecución técnica procede de la siguiente manera:

1. Truncamiento de la Serie: Los autores establecen primero que, para primos suficientemente grandes $q$, la derivada $L^{(\ell)}(\sigma, \chi)$ puede aproximarse eficazmente mediante una serie de Dirichlet truncada $P(\chi) = \sum_{n \le q} (\log n)^\ell \chi(n) n^{-\sigma}$. Se demuestra que el término de error es despreciable ($O(q^{1/2-\sigma}(\log q)^{\ell+1})$) utilizando la desigualdad de Pólya-Vinogradov y la sumación por partes (Lema 2.1).
2. Construcción del Resonador: Se define una función completamente multiplicativa $r(n)$ tal que $r(p) = 1/2$ para primos $p \le Y$ y $0$ en caso contrario, donde $Y = \eta \log q \log \log q$. El resonador se define como $R(\chi) = \sum r(n)\chi(n)$.
3. Análisis de Momentos: La demostración se basa en el análisis de la razón de dos sumas sobre el conjunto de caracteres de Dirichlet módulo $q$:
   • $S_1 = \sum |R(\chi)|^2$
   • $S_2 = \sum P(\chi)|R(\chi)|^2$
     Al expandir estas sumas y utilizar la ortogonalidad de los caracteres de Dirichlet, los autores derivan una cota inferior para el valor máximo de $|P(\chi)|$ mediante la desigualdad $\max |P(\chi)| \ge S_2/S_1$.
4. Estimación Asintótica: Los autores estiman cuidadosamente las sumas $S_1$ y $S_2$, aislando la contribución del carácter principal (que se muestra como despreciable) y centrándose en los caracteres no principales. La estimación implica productos de Euler y el Teorema de los Números Primos para evaluar el crecimiento de la magnitud del resonador.

Contribuciones Clave y Resultados
La contribución principal del artículo es el Teorema 1.1, el cual establece que para cualquier entero fijo $\ell \ge 0$ y $\sigma \in (1/2, 1)$, existe una constante $c_{\sigma, \ell} > 0$ tal que para cada primo $q$ suficientemente grande, existe un carácter no principal $\chi \pmod q$ que satisface:
$$|L^{(\ell)}(\sigma, \chi)| \ge \exp\left( c_{\sigma, \ell} \frac{(\log q)^{1-\sigma}}{(\log \log q)^\sigma} \right)$$

Este resultado demuestra que las derivadas de las funciones L de Dirichlet pueden alcanzar valores extremos del mismo orden de magnitud que las funciones originales en el rango $1/2 < \sigma < 1$. Específicamente:

• En el caso $\ell=0$, el teorema recupera el resultado conocido de Aistleitner et al. [3] respecto a $|L(\sigma, \chi)|$.
• El trabajo generaliza hallazgos previos sobre la función zeta de Riemann (específicamente [12, Teorema 2(B)]) al contexto de las funciones L de Dirichlet.
• Extiende el alcance del trabajo de D. Yang [14] desde el punto frontera $s=1$ hacia el interior de la franja crítica.

Significancia
El artículo reclama su significancia al cerrar una brecha en la comprensión de la distribución de los valores extremos de las derivadas de las funciones L. Al demostrar que las derivadas no decaen significativamente en magnitud comparadas con las propias funciones dentro de la franja crítica, los autores refuerzan la conexión entre las propiedades analíticas de estas derivadas y problemas fundamentales en teoría de números, tales como las estimaciones de sumas de caracteres y la distribución de residuos cuadráticos. La aplicación exitosa del método del resonador largo a este problema específico destaca la versatilidad del método para manejar derivadas de orden superior en la franja crítica.