En mathématiques, les conjectures de Hardy-Littlewood sur la fonction zêta, d'après Godfrey Harold Hardy et John Edensor Littlewood, sont deux conjectures concernant la répartition et la densité des zéros de la fonction zêta de Riemann.

Conjectures

En 1914, Godfrey Harold Hardy a prouvé que la fonction zêta de Riemann ζ ( 1 2 i t ) {\displaystyle \zeta {\bigl (}{\tfrac {1}{2}} it{\bigr )}} a une infinité de zéros réels.

Soit N ( T ) {\displaystyle N(T)} le nombre de zéros réels inférieurs, N 0 ( T ) {\displaystyle N_{0}(T)} le nombre de zéros d'ordre impair de la fonction ζ ( 1 2 i t ) {\displaystyle \zeta {\bigl (}{\tfrac {1}{2}} it{\bigr )}} , situés sur l'intervalle ] 0 , T ] {\displaystyle ]0,T]} .

Hardy et Littlewood ont avancé deux conjectures.

  1. Pour tout ε > 0 {\displaystyle \varepsilon >0} , il existe T 0 = T 0 ( ε ) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon )>0} tel que pour T T 0 {\displaystyle T\geq T_{0}} et H = T 0.25 ε {\displaystyle H=T^{0.25 \varepsilon }} l'intervalle ] T , T H ] {\displaystyle ]T,T H]} contient un zéro d'ordre impair de la fonction ζ ( 1 2 i t ) {\displaystyle \zeta {\bigl (}{\tfrac {1}{2}} it{\bigr )}} .
  2. Pour tout ε > 0 {\displaystyle \varepsilon >0} , il existe T 0 = T 0 ( ε ) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon )>0} et c = c ( ε ) > 0 {\displaystyle c=c(\varepsilon )>0} , tels que pour T T 0 {\displaystyle T\geq T_{0}} et H = T 0.5 ε {\displaystyle H=T^{0.5 \varepsilon }} l'inégalité N 0 ( T H ) N 0 ( T ) c H {\displaystyle N_{0}(T H)-N_{0}(T)\geq cH} est vérifiée.

Avancés

En 1942, Atle Selberg étudia le problème 2 et prouva que pour tout ε > 0 {\displaystyle \varepsilon >0} il existe T 0 = T 0 ( ε ) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon )>0} et c = c ( ε ) > 0 {\displaystyle c=c(\varepsilon )>0} , tels que pour T T 0 {\displaystyle T\geq T_{0}} et H = T 0.5 ε {\displaystyle H=T^{0.5 \varepsilon }} ont ait l'inégalité N ( T H ) N ( T ) c H log T {\displaystyle N(T H)-N(T)\geq cH\log T} .

À son tour, Selberg fait une conjecture selon laquelle il est possible de diminuer la valeur de l'exposant a = 0.5 {\displaystyle a=0.5} pour H = T 0.5 ε {\displaystyle H=T^{0.5 \varepsilon }} , ce qui a été prouvé 42 ans plus tard par A. Karatsuba.

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hardy–Littlewood zeta-function conjectures » (voir la liste des auteurs).
  • Portail des mathématiques

Fonction zêta de Riemann Les grandes conjectures

Fonction zêta de Riemann Valeurs de la fonction zêta pour s entier

FONCTION ZÊTA Encyclopædia Universalis

FONCTION ZÊTA Encyclopædia Universalis

(PDF) Estimations of the accuracy for HardyLittlewood and BatemanHorn