En matemáticas , la función Z es una función que se utiliza para estudiar la función zeta de Riemann a lo largo de la línea crítica donde el argumento es un medio. También se denomina función Z de Riemann-Siegel, función zeta de Riemann-Siegel, función Hardy , función Z de Hardy y función zeta de Hardy . Se puede definir en términos de la función theta de Riemann-Siegel y la función zeta de Riemann mediante
De la ecuación funcional de la función zeta de Riemann se deduce que la función Z es real para valores reales de t . Es una función par y analítica real para valores reales. Del hecho de que la función theta de Riemann-Siegel y la función zeta de Riemann son ambas holomorfas en la franja crítica, donde la parte imaginaria de t está entre −1/2 y 1/2, se deduce que la función Z también es holomorfa en la franja crítica. Además, los ceros reales de Z ( t ) son precisamente los ceros de la función zeta a lo largo de la línea crítica, y los ceros complejos en la franja crítica de la función Z corresponden a ceros fuera de la línea crítica de la función zeta de Riemann en su franja crítica.
El cálculo del valor de Z ( t ) para t real , y por lo tanto de la función zeta a lo largo de la línea crítica, se agiliza enormemente con la fórmula de Riemann-Siegel . Esta fórmula nos dice
donde el término de error R ( t ) tiene una expresión asintótica compleja en términos de la función
y sus derivadas. Si , y entonces
donde los puntos suspensivos indican que podemos continuar hacia términos más elevados y cada vez más complejos.
Se conocen otras series eficientes para Z(t), en particular varias que utilizan la función gamma incompleta . Si
Entonces un ejemplo especialmente bonito es
Del teorema de la línea crítica se deduce que la densidad de los ceros reales de la función Z es
Para una constante c > 2/5, por lo que el número de ceros en un intervalo de un tamaño determinado aumenta lentamente. Si la hipótesis de Riemann es verdadera, todos los ceros en la franja crítica son ceros reales y la constante c es uno. También se postula que todos estos ceros son ceros simples.
Debido a los ceros de la función Z, esta exhibe un comportamiento oscilatorio. También crece lentamente tanto en promedio como en valor máximo. Por ejemplo, tenemos, incluso sin la hipótesis de Riemann, el teorema Omega que
donde la notación significa que dividido por la función dentro de Ω no tiende a cero con el aumento de t .
El crecimiento promedio de la función Z también ha sido muy estudiado. Podemos encontrar el promedio de la raíz cuadrada media (abreviado RMS) a partir de
o
lo que nos dice que el tamaño RMS de Z ( t ) crece a medida que .
Esta estimación se puede mejorar a
Si aumentamos el exponente, obtenemos un valor promedio que depende más de los valores pico de Z. Para cuartas potencias, tenemos
de lo cual podemos concluir que la raíz cuarta de la cuarta potencia media crece como
Se han estudiado mucho las potencias pares superiores, pero se sabe menos sobre el valor medio correspondiente. Se conjetura, y se desprende de la hipótesis de Riemann, que
para cada ε positivo. Aquí la notación "o" minúscula significa que el lado izquierdo dividido por el lado derecho converge a cero; en otras palabras, la o minúscula es la negación de Ω. Esta conjetura se llama hipótesis de Lindelöf y es más débil que la hipótesis de Riemann. Normalmente se enuncia en una forma equivalente importante, que es
En cualquiera de sus formas, nos dice que la tasa de crecimiento de los valores pico no puede ser demasiado alta. El límite mejor conocido de esta tasa de crecimiento no es fuerte, lo que nos indica que cualquiera es adecuado. Sería sorprendente encontrar que la función Z creciera tan rápido como esto. Littlewood demostró que, según la hipótesis de Riemann,
Y esto parece mucho más probable.