En matemática, la función Z es una función usada para el estudio de la función zeta de Riemann a lo largo de la recta crítica, donde la parte real del argumento es 1/2. Es también llamada función Z de Riemann-Siegel o función zeta de Hardy.[1]​ Ésta puede ser definida en términos de la función theta de Riemann-Siegel y de la función zeta de Riemann como:[1]

Propiedades

editar

Se puede deducir de la ecuación funcional de la función zeta de Riemann que la función Z es real para valores reales de t. Es una función impar, y analítica para valores del argumento reales. De hecho, se puede observar que la función theta de Riemann-Siegel y la función zeta de Riemann son ambas holomorfas en la recta crítica, y donde la parte imaginaria de t está comprendida entre -1/2 y 1/2, la función Z es holomorfa en el rango crítico también.[2]​ Más aún, los ceros reales de Z(t) son precisamente los ceros de la función zeta a lo largo de la recta crítica, y los ceros complejos de la función Z dentro del rango crítico, corresponden a los ceros complejos fuera de la recta crítica de la función zeta de Riemann.


Función theta de Riemann-Siegel en el plano complejo
 
 
   

Fórmula de Riemann-Siegel

editar

El cálculo de los valores de la función   para t real y, por tanto, de la función zeta de Riemann a lo largo de la línea crítica, se puede acelerar en gran medida con el uso de la fórmula de Riemann–Siegel. Esa fórmula nos dice que

 

donde el error   tiene una expresión compleja asintótica en término de la función

 

y sus derivadas. Si  ,  y  , entonces

 

donde los puntos suspensivos indican que se puede continuar añadiendo términos adicionales más complejos con derivadas de mayor orden.

Se conocen más series eficientes de la función  , en particular varias que usan la función gamma incompleta. Si

 

entonces un ejemplo de expansión particularmente elegante es

 

Comportamiento de la función Z

editar

A partir del teorema de la línea crítica, se deduce que la densidad de ceros reales de la función Z es

 

para una constante c > 2/5. Por tanto, el número de ceros en un intervalo dado crece lentamente a medida que movemos el intervalo a mayores valores del eje real. Si la hipótesis de Riemann es cierta, todos los ceros aparecen en la línea crítica (por tanto son ceros reales) y la constante c es igual a 1. Se ha postulado también que todos estos ceros son ceros simples (sin degeneración).

Un teorema Omega

editar

Debido a los ceros de la función Z, esta exhibe un comportamiento oscilatorio. También crece lentamente su promedio y su valor máximo. De hecho, se tiene que, incluso sin la necesidad de usar la hipótesis de Riemann, el teorema Omega

 

donde esta notación significa que  , para valores altos de t, se comporta asintóticamente como una constante Ω mutiplicada por la función de t dada.

Crecimiento medio

editar

El crecimiento medio de la función Z también ha sido estudiado. Se puede ver que la media cuadrática

 

o

 

lo que significa que la media cuadrática de   crece como  .

Esta estimación puede mejorarse con

 

Si incrementamos el exponente, se ve que el valor medio depende más de los valores pico de  . A cuarto orden se tiene


 

de donde se deduce que la raíz cuarta de la media de cuarto orden crece como  .

Se han estudiado incluso mayores potencias pares, pero menos se sabe sobre el correspondiente valor medio. Se ha conjeturado, y se deduce de la hipótesis de Riemann, que

 

para cualquier real positivo ε. la notación de la pequeña "o" significa que la parte de la izquierda dividida por la de la derecha converge a cero para T asintótico, en otras palabras, la pequeña o es la negación de Ω. A esta congetura se le denomina la hipótesis de Lindelöf, y es más débil que la hipótesis de Riemann. Normalmente se expresa de la siguiente forma equivalente

 

en cualquiera de las formas, esta hipótesis nos dice la tasa de crecimiento de los valores pico no puede ser demasiado alta. La mejor cota al ratio de crecimiento no es muy fuerte, actualmente se sabe que  . Sería sorprendente encontrar que la función   crece tan rápido como eso. Littlewood demostró que, asumiendo hipótesis de Riemann,

 

un resultado mucho más razonable.

Véase también

editar

Referencias

editar
  1. a b Weisstein, Eric W. (2005). «Riemann-Siegel Functions» (en inglés). Consultado el 15 de enero de 2010. 
  2. Berry, M. V. (1995). «The Riemann-Siegel Expansion for the Zeta Function: High Orders and Remainders». The royal society 450 (1939). p. 439-462. 

Bibliografía

editar

Enlaces externos

editar
  • Wolfram Research (2009). «RiemannSiegelZ» (en inglés). Consultado el 15 de enero de 2010.