🔢 mathematics

Contributions to the theory of the Euler eta function

Este artículo investiga la distribución de los ceros de la función eta de Euler junto con su derivada integral y fraccionaria.

Autores originales: Torre Caparatta, Sebastian Pauli, Filip Saidak

Publicado 2026-08-26

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Torre Caparatta, Sebastian Pauli, Filip Saidak

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

En el vasto paisaje de las matemáticas, existen ciertos números que actúan como llaves para comprender el orden oculto del universo. Entre ellos, los más famosos son los números primos, los bloques de construcción indivisibles de la aritmética. Durante siglos, los matemáticos han intentado encontrar un patrón en cómo se dispersan estos primos, una búsqueda que condujo al descubrimiento de una función misteriosa conocida como la función zeta de Riemann. Esta función se comporta como un mapa complejo, donde las ubicaciones más importantes son sus "ceros": puntos específicos donde el valor de la función cae a la nada. Se cree que la disposición de estos ceros contiene el secreto de la distribución de los números primos, una conexión tan profunda que demostrarla es uno de los mayores desafíos sin resolver en la ciencia. Aunque el mapa original es difícil de estudiar directamente, los matemáticos suelen observar mapas relacionados, o variaciones, para obtener nuevas perspectivas. Una de estas variaciones es la función eta de Euler, una versión ligeramente diferente de la original que evita una singularidad matemática específica, lo que la convierte en un objeto más suave y manejable de examinar. Al estudiar cómo se comporta este mapa más suave, los investigadores esperan descubrir pistas sobre el original, que es más caótico.

Un equipo de matemáticos de la Universidad de North Carolina en Greensboro ha profundizado recientemente en este mapa más suave, explorando no solo los ceros de la función en sí, sino también los ceros de sus derivadas. En términos sencillos, una derivada mide cómo cambia una función en cualquier punto dado, y al observar estos cambios, los investigadores pudieron rastrear los caminos que recorren los ceros a medida que la función evoluciona. Investigaron qué sucede cuando se toman estas derivadas, incluyendo las fraccionarias, que son una forma de medir el cambio que se sitúa entre pasos de números enteros. Su trabajo revela un paisaje fascinante y algo sorprendente. Descubrieron que, para la mayor parte del plano complejo, los ceros de estas derivadas siguen caminos predecibles, a menudo permaneciendo dentro de franjas verticales específicas o moviéndose a lo largo de líneas claras. Fueron capaces de demostrar que, en ciertas regiones amplias, particularmente en el lado derecho del mapa, la función nunca llega a cero, creando efectivamente zonas seguras donde se garantiza que el valor sea distinto de cero.

Sin embargo, la historia se vuelve más intrincada en el lado izquierdo del mapa. Aquí, los investigadores descubrieron que los ceros de la primera derivada están confinados a la recta de los números reales, lo que significa que no deambulan hacia el reino complejo e imaginario en esa área específica. Demostraron que estos ceros reales aparecen en un patrón regular, con exactamente un cero ubicado entre cada par de enteros pares negativos. Este hallazgo añade una capa de orden a una región que de otro modo podría parecer caótica. Además, el equipo trazó cómo los ceros de la función original se conectan con los ceros de sus derivadas. Rastrearon caminos continuos que vinculan un cero de la función original con un cero de una derivada, mostrando cómo estos puntos migran a medida que la operación matemática cambia. Estos caminos actúan como puentes, conectando diferentes partes de la estructura matemática y revelando cómo los ceros de la función original están íntimamente ligados al comportamiento de sus derivadas.

Uno de los descubrimientos más impactantes de esta investigación es la existencia de un cero doble, un evento raro donde dos caminos de ceros se encuentran y se fusionan en un solo punto. Esto ocurre en una ubicación específica en el eje real negativo, cerca de un valor de menos cuatro punto ochenta y ocho, y sucede cuando la derivada se toma a una potencia fraccionaria de aproximadamente cero punto cuarenta y siete. Este cero doble es único; los investigadores señalan que es el único cero múltiple de una derivada fraccionaria que han encontrado para esta función o para la relacionada función zeta de Riemann. Si bien la existencia de este punto se confirma mediante cálculos rigurosos y simulaciones, el equipo admite que aún no poseen una explicación teórica completa de por qué sucede. Se mantiene como una anomalía singular en un sistema de otro modo ordenado, un pequeño pero significativo misterio que desafía su comprensión actual.

Los investigadores también observaron el número total de ceros en estas funciones a medida que se desplazan más allá a lo largo del eje imaginario. Encontraron que el número de ceros para las derivadas de la función eta de Euler crece al mismo ritmo que el número de ceros para la función zeta de Riemann original. Esto sugiere una similitud profunda y subyacente, a pesar de sus diferentes puntos de partida. Propusieron que esta relación se mantiene incluso para las derivadas fraccionarias, sugiriendo que la estructura fundamental de estos ceros se preserva independientemente de cómo cambie la función. Si bien han demostrado muchos de estos patrones, también identificaron preguntas abiertas, particularmente respecto a si existen ceros no reales para las derivadas en el lado izquierdo del mapa. Su trabajo proporciona una imagen más clara del terreno, confirmando que, si bien la función eta de Euler comparte muchas propiedades con su más famosa prima, también posee sus propios rasgos únicos, como el misterioso cero doble, que continúan invitando a una mayor exploración.

Planteamiento del Problema
Este artículo investiga la distribución de los ceros de la función eta de Euler, $\eta(s)$ (también conocida como la función zeta alternante o la función eta de Dirichlet), y sus derivadas, incluyendo tanto órdenes enteros como fraccionarios. Mientras que los ceros de la función zeta de Riemann $\zeta(s)$ y sus derivadas están bien estudiados, los autores pretenden establecer propiedades paralelas y distintas para $\eta(s)$ . Los objetivos principales son identificar regiones libres de ceros para $\eta(s) - c$ y sus derivadas $\eta^{(\alpha)}(s)$ , determinar la no nulidad de la primera derivada $\eta'(s)$ en la mitad izquierda de la franja crítica bajo el supuesto de la Hipótesis de Riemann (HR) para partes imaginarias suficientemente grandes, localizar los ceros de $\eta'(s)$ en el eje real negativo y derivar estimaciones asintóticas para las funciones de conteo de ceros $N_k^\eta(T)$ .

Metodología
Los autores emplean una combinación de técnicas de la teoría analítica de números, análisis complejo y computación numérica:

Dominancia de Series y Teorema de Rouché: Para localizar ceros en el semiplano derecho, los autores analizan la representación de la serie de Dirichlet de las derivadas. Identifican regiones donde un solo término $Q_M^\alpha(s) = (\log M)^\alpha / M^s$ domina al resto de la serie. Al aplicar el teorema de Rouché a la diferencia entre la derivada completa y los términos dominantes, prueban la existencia y simplicidad de ceros en regiones rectangulares específicas.
Ecuaciones Funcionales y Derivadas Logarítmicas: El estudio de los ceros en la franja crítica y el semiplano izquierdo se basa fuertemente en la ecuación funcional de $\eta(s)$ y su relación con $\zeta(s)$ . Los autores utilizan derivadas logarítmicas y el principio del argumento para contar ceros y establecer cotas sobre las partes reales de los ceros.
Desigualdades y Análisis Asintótico: Las demostraciones de las regiones libres de ceros y la localización de ceros implican la estimación detallada de términos trigonométricos y de la función gamma, utilizando frecuentemente cotas derivadas de la Hipótesis de Riemann o propiedades conocidas de la función Gamma (por ejemplo, la fórmula de Stirling).
Verificación Numérica: Los hallazgos teóricos están respaldados por computaciones numéricas realizadas utilizando el sistema de álgebra computacional Sage y la biblioteca de precisión múltiple mpmath. Estas computaciones visualizan las trayectorias de los ceros que conectan $\eta(s)$ con sus derivadas y las derivadas con $\eta(s)-c$ .

Contribuciones Clave y Resultados

Regiones Libres de Ceros para $\eta(s) - c$ :
- Los autores demuestran que $\eta(s) \neq 1$ para $\sigma > \sigma_0 \approx 1.9401$ , donde $\sigma_0$ es el cero de una función específica que involucra a $\zeta(\sigma)$ .
- Establecen condiciones que involucran a $|\sin(t \log 2)|$ y $-\cos(t \log 2)$ que definen regiones libres de ceros para $\eta(s) - c$ donde $c \in [0, 1)$ .
- Observan que las trayectorias de los ceros que conectan $\eta(s)$ con $\eta(s)-1$ se comportan de manera diferente dependiendo de su punto de partida: las trayectorias que parten de los ceros de $\zeta(s)$ conducen a ceros de $\eta(s)-1$ , mientras que las trayectorias que parten de los ceros no triviales de $\eta(s)$ (específicamente $s_n = 1 + 2n\pi i / \log 2$ ) tienen partes reales que tienden a infinito cuando $c \to 1$ .
Regiones Libres de Ceros y Ceros de las Derivadas en el Semiplano Derecho:
- El artículo generaliza los resultados de $\zeta^{(k)}(s)$ a $\eta^{(\alpha)}(s)$ para $\alpha > 0$ real.
- El Teorema 3.1 establece regiones libres de ceros explícitas para $\eta^{(\alpha)}(s)$ basadas en la dominancia de términos específicos en la serie de Dirichlet.
- El Teorema 3.2 demuestra que en franjas verticales específicas $S_M^\alpha$ , existe exactamente un cero simple de $\eta^{(\alpha)}(s)$ para cada entero $j$ , localizado cerca de la línea donde dos términos consecutivos de la serie se cancelan entre sí.
- A diferencia de $\zeta^{(\alpha)}(s)$ , que no tiene ceros en el eje real positivo, la naturaleza alternante de $\eta(s)$ permite la existencia de ceros de $\eta^{(\alpha)}(s)$ en el eje real.
No Nulidad de $\eta'(s)$ en la Franja Crítica (asumiendo la HR):
- El Teorema 4.1 demuestra que si la Hipótesis de Riemann es verdadera, entonces $\eta'(s) \neq 0$ para $0 < \sigma < 1/2$ y $|t| \ge 164$ . Esto se deriva analizando la parte real de la derivada logarítmica $-\eta'/\eta(1-s)$ y mostrando que es positiva bajo la suposición de la HR para $|t|$ suficientemente grande.
Ceros de $\eta'(s)$ en el Semiplano Izquierdo:
- Los Teoremas 5.1 y 5.4 localizan los ceros de $\eta'(s)$ en el eje real negativo. Demuestran que para $n \ge 3$ , existe un cero en el intervalo $[-2n-2, -2n-2+\epsilon]$ .
- Los autores muestran que $\eta'(s)$ tiene solo ceros reales para $\sigma \le 0$ y exactamente un cero real en cada intervalo $(-2n-2, -2n)$ .
Funciones de Conteo de Ceros:
- El Teorema 6.1 establece que el número de ceros de la $k$ -ésima derivada $\eta^{(k)}(s)$ con parte imaginaria hasta $T$ , denotado como $N_k^\eta(T)$ , satisface $N_k^\eta(T) = N_\zeta(T) + O(\log T)$ cuando $T \to \infty$ . Esto es paralelo al resultado conocido para $\zeta^{(k)}(s)$ y sugiere una correspondencia uno a uno entre los ceros de $\zeta$ y las derivadas de $\eta$ a través de las trayectorias de los ceros de $\eta(s)-c$ .

Significado y Observaciones
El artículo destaca tanto los paralelismos como las diferencias sorprendentes entre la teoría de $\zeta(s)$ y $\eta(s)$ . Aunque muchos resultados relativos a la distribución de ceros son análogos, los autores señalan un fenómeno único: la existencia de un doble cero para una derivada fraccionaria.

La evidencia numérica (visualizada en las Figuras 4 y 7) revela un doble cero de $\eta^{(\alpha)}(s)$ en $\alpha \approx 0.473$ cerca de $s \approx -4.88$ . Esto ocurre donde las trayectorias de los ceros desde el semiplano izquierdo se encuentran con el eje real. Los autores señalan que este es el único cero múltiple de una derivada fraccionaria descubierto para estas funciones hasta la fecha, una característica no observada en la teoría estándar de $\zeta(s)$ o de las funciones L de Dirichlet.
Los autores proponen la Conjetura 7.1, extendiendo la asíntota del conteo de ceros a las derivadas fraccionarias ( $N_\eta^\alpha(T) = N_\zeta(T) + O(\log T)$ ).
También proponen la Conjetura 7.2 (atribuida a Ricky Farr), que establece que para $k$ entero, $\eta^{(k)}(s)$ no tiene ceros no reales en el semiplano izquierdo ( $\sigma < 0, t \neq 0$ ), con la excepción del fenómeno específico del doble cero observado para las derivadas fraccionarias.

El trabajo sirve para complementar la teoría clásica de la función zeta de Riemann mapeando el paisaje específico de la función eta de Euler, proporcionando cotas rigurosas para sus derivadas e identificando características estructurales únicas como el doble cero que la distinguen de su contraparte no alternante.

Más como este