1/13

Auteur : Henri DELILLE

Email : henri.delille@yahoo.fr
Le 5 janvier 2005
LHYPOTHESE DE RIEMANN
ET LE COMPORTEMENT DU RATIO
zta(s)/zta(1-s)
Rsum : Jtudie le comportement du ratio ( ) ( ) 1 s s . . en utilisant la
relation fonctionnelle et lexpression de zta en dveloppement dEuler
MacLaurin. Je montre quil est compatible avec lHypothse de Riemann.
Abstract: I study the behaviour of the ratio ( ) ( ) 1 s s . . using the
functional relation and the expression of zeta as an Euler MacLaurin
expansion. This behaviour is compatible with the Riemann Hypothesis.
2/13
Table des matires
1 Lhypothse de Riemann.............................................................................................. 3
2 Renormalisation par le dveloppement dEuler - MacLaurin.................................... 3
3 Dmonstration (fausse) de lhypothse de Riemann............................................. 4
4 La proposition RHP est fausse..................................................................................... 5
5 Une autre preuve fausse de RH.............................................................................. 7
6 Remarque sur les sries ( )
1
constante n S n = ..................................................... 8
7 La norme du ratio zta(1-s)/zta(s) .............................................................................. 9
8 Application de la formule de Riemann - Siegel ......................................................... 11
9 Bibliographie .............................................................................................................. 13
3/13
COMPORTEMENT DU RATIO ( ) ( ) 1 s s . .
1 Lhypothse de Riemann
Chapitre d'quation 1 Section 1
Riemann a montr dans son article de 1859 que . satisfait une relation fonctionnelle :
[1,1] ( ) ( ) ( ) ( ) ( ) 1 1 s s s s s . ; ; . c = = avec ( ) ( )
2
2
s
s s ; t

= I
La fonction ( ) s ; na pas de ple pour 0 o > , except 0 s = qui correspond au ple
1 s = de ( ) s . .
Les ples -2, -4, -2k de ( ) s ; correspondent aux zros triviaux 2, -4, -6, -2k de ( ) s . .
Le produit eulrien
1
( )
1
s
p premier
s
p
.

=
=

I
montre que . na pas de zro pour 1 o > .
La relation fonctionnelle implique quil nexiste donc pas de zro non trivial pour 0 o < .
Hadamard et de de la Valle Poussin ont dmontr que . ne sannule pas pour 1 o = .
Les zros non triviaux sont donc ncessairement dans la bande critique 0 1 o < < et sont
symtriques par rapport la droite critique 1 2 s it = + .
Jusqu prsent tous les zros non triviaux ont t trouvs sur la droite critique. Des
sondages ont t effectus jusqu plus de
20
10 .
LHypothse de Riemann (nonce dans son article de 1859) est que tous les zros non
triviaux sont situs sur la droite critique.
2 Renormalisation par le dveloppement dEuler - MacLaurin
Chapitre d'quation (Suivant) Section 1
La srie de Dirichlet dfinissant zta ne converge que pour ( ) 1 s o = 9 > .
Le dveloppement dEuler MacLaurin permet de calculer le prolongement analytique de
zta pour 1 o s en tant les termes divergents de la srie.
La srie de Dirichlet scrit : ( ) ( ) ( )
1 1
n
s s
n n
n
s k k s s . . .

+
= + = +

Le principe est de soustraire les termes divergents du complmentaire ( )
n
s .

.
Dans le cas de la fonction zta de Riemann, le dveloppement dEuler MacLaurin est :
[2,1] ( )
( )
( ) ( )
1
1
1
0
1 1
1
1
1 !
m
s m
n M
m
m s s
M
k m
B n
s k n s R s
s m
.
+

= =
| |

| = + +
|

\ .

En notant : ( ) ( ) 1
m
m
j
l j
s s l
=
= +
I
, par convention ( )
0
1
1 s =
4/13
Avec M=2N pair, ( ) ( )
( )
( )
2 1 2 1
2 1
2
1
2 1 !
N N
s N
N
n
B t
R s s t dt
N

+ +

=
+

o 2 1 N B + est un
polynme priodifi de Bernoulli : [2,2]
( )
( )
( )
( )
( )
2 1 1
2 1
1
2sin 2
1
2 1 !
2
N N
N
k
B t k t
N
k
t
t

+ +
+
=
=
+

Les nombres
m
B sont les nombres de Bernoulli. Les valeurs impaires sauf
1
B sont nulles.
Les premires valeurs sont :
0
1 1 1 1 1 5
1, , , 0, , 0, , 0, , 0,
2 6 30 42 30 66
B

=
Les coefficients de Bernoulli sont donns par un systme dquations linaires rcurrent :
[2,3]
( )
( )
1
0
1
0
! !
k
n
k
k
B
n k k

Avec
0
1 B = et aussi [2,4] ( )
0 0
1
1
1
n k
j
n
n
k j
k
B j
j k
= =
| |
=
|
+
\ .

Par exemple : ( )
1
1
1
s n
s
n
n
s k
s
.

converge pour 0 o > .

3 Dmonstration (fausse) de lhypothse de Riemann
Chapitre d'quation (Suivant) Section 1
Soit la fonction [3,1] ( )
( )
( )
1 s
D s
s
.
.

=
Cette fonction est dfinie sur { } 0, zros triviaux \
+
.
Pour les zros non triviaux, sa valeur est : ( )
( )
( ) 1
D
; p
p
; p
=

Notons : ( )
( )
( )
0
1 s
s
s
;
;
;

= : ( )
( )
0
1
D s
s ;
=
Sur la droite critique : ( ) 1 2 1 D it + =
Considrons un zro non trivial, alors :
[3,2] ( ) ( )
1
1 2
1
1 1
0
1 2 12
n
t
n
k n n O n
p
p p p o
. p p
p

= = +

Posons ( )
1
1
1
s n
s
n
n
s k
s
.

et ( )
( )
( )
1
n
n
n
s
D s
s
.
.

=
La suite ( )
n
D s est dfinie de
| | { }
: 0,1 s o
+
e e
5/13
Du fait de lgalit[3,2], on trouve ( )
( )
( )
( )
1
1 2
1
1
1
n
O n
D n
O n
o
p

+
=
+
qui ne converge que
sur la droite critique 1 2 o = .
Posons maintenant ( )
1
*
1
1
1 2
s n
s s
n
n
s k n
s
.


=

, alors :
( )
( )
( )
( )
1
1 2 *
1
1
1
1
n
O n
D n
O n
o
p
p
p

=
+
La suite
( )
( )
*
n
n
D s
D s
a pour limite 1, si cette limite existe, et
( )
( )
*
1 D
D
p p
p p

=
Donc : [3,3]
( )
( )
1 1
1 1
p p
p p
pp

= + =
Il y en dcoule 1 2 it p = + .
La suite ( )
n
D s est uniformment convergente dans la bande critique
| | { }
: 0,1 s o e e sauf ventuellement pour un zro non trivial hors de la droite critique.
Lhypothse de Riemann est vraie ?
4 La proposition RHP est fausse
Chapitre d'quation (Suivant) Section 1
Le raisonnement utilis ci avant est bas sur la proposition suivante.
Proposition RHP Considrons une srie de Dirichlet ( ) Z s satisfaisant les proprits
suivantes.
La srie admet un dveloppement dEuler MacLaurin gnralis :
( )
( )
( )
( ) ( ) ( )
1
0 1 2
1 2
1 1
s
n
s s s
k t r
S n n
Z s a k S n n S n sn O n
s
o

= +

Les suites ( ) ( ) ( )
0 1 2
, , S n S n S n sont bornes et ( ) ( )
1 2
0, 0 n S n S n = = .
Cette condition est satisfaite en gnral par les sries dont les coefficients forment une
suite G-priodique (voir bibl. III).
La srie satisfait une relation fonctionnelle forte :
( ) ( )
( )
1 Z s s Z s = u avec ( ) | | { }
0, : 0,1 s s o u = e e
6/13
Alors les zros de ( ) Z s dans la bande critique
| | { }
: 0,1 s o e e sont sur la droite
critique{ } 1 2 s it = + .
Ainsi la vracit de GRH serait la consquence :
- de lexistence dun produit eulrien
- du thorme PNT : les L-fonctions de Dirichlet ne sannulent pas sur la droite
1 o =
- de la proposition RHP
La proposition RHP est fausse. Lune des raisons est que ( )
( )
( )
1
n
n
n
s
D s
s
.
.

= ne
converge que pour 1 2 o = . La suite
( )
( )
*
n
n
D s
D s
ne converge pas uniformment.
Citons un exemple non trivial d Davenport et Heilbronn de srie de Dirichlet satisfaisant
les conditions dapplication de RHP mais ne possdant pas de produit eulrien :
Soit
( )
( )
10 2 5 2 5 1 o = , la srie de Dirichlet dfinie par la suite
( ) 1, , , 1, 0 o o de priode 5 satisfait lquation fonctionnelle
( ) ( ) ( )
1
2
1
5 1
s
F s s F s ;
+
= et possde des zros hors de la droite critique.
La fonction ( ) ( ) ( ) ( )
1
1
2 2 1 cos 2
s
s s s ; t t

= I
La fonction ( ) F s scrit aussi :
( ) ( ) ( ) ( ) ( ) ( )
5 ,1 5 , 2 5 , 3 5 , 4 5
s
F s s s s s . o. o. .

= +
Avec ( ) ( )
0
,
s
k
s a k a .

=
= +

la fonction dHurwitz
Il a t dmontr que ( ) F s a une infinit de zros pour 1 o > et aussi
pour 0 t T < s ,
1 2
1 2 1 o o o < s s s : ( ) ( )
12 1 2
, N T c T o o =
Un exemple calcul par R. Spira est 0, 808517 85, 699348 i p +
Quant au nombre de zros sur la droite critique, il est : ( )
1 2
0
ln , 0 N T T T
c
c

> > .
Rappelons que pour la fonction zta de Riemann : ( ) ( )
0
ln N T CT T > .
7/13
5 Une autre preuve fausse de RH
Chapitre d'quation (Suivant) Section 1
Considrons la fonction [5,1] ( )
( )
( )
( )
( )
1
1 2 1
1 1 2
s
s
s s
E s
s s
. n
. n

= =

Posons ( )
1
1
1
s n
s
n
n
s k
s
.

et ( ) ( )
1
1
1
n
k
s
n
s k n
+

=

Si p est un zro non trivial, la suite ( ) 1

n
E p | | 0,1 o e
Donc
1
1 2
1 1 2
1 2
it
p
p
p

= = +

Posons ( )
( )
( )
1
,
n
n
n
s
D s
s
o
.
.
o
.

= et ( )
( )
( )
1
,
n
n
n
s
D s
s
o
n
n
o
n

= avec
( )
1
1
1
s
n
s
n
n
s k
s
o
o
o
.

, ( ) ( )
1
1
1
n
k
s
n
s k
o
o
n


+

=

, alors pour un zro non

trivial : [5,2] ( )
( )
( )
( )
1 1
1
,
n
S n
D n n
S n
o
o . o
o
p o





Nous avons : ( )
1
1
2
n S n = pour . et n donc ( )
( ) 1
,
n
D s n n
o
o . o
o



Posons
| |
1
1 , 0,
1
o oo o o
o
= = e
+
Alors ( ) , 1
n
D n n
o
. oo o
p o



et ( ) , 1
n
D n n
o
n oo o
p o



En posant ( ) ( ) ( ) , , ,
n n n
E D D
. n
p o p o p o = , on obtient une suite dont chaque facteur
converge vers 1 quel que soit
| |
1
0,1
1
o
o
= e
+
.
Lune des objections la validit de RHP est leve. De plus, cela nest possible que pour la
fonction zta de Riemann qui possde la proprit ( )
1
constante n S n = .
La limite ( ) lim , 1
n
n
E p o

= est contradictoire sauf pour

1
, 1
2
o o = = donc RH est
vraie ?
Remarque sur la convergence de ( ) ( ) , , ,
n n
D D
. n
p o p o
La preuve propose serait certaine si la convergence des suites
8/13
( ) ( ) , , ,
n n
D D
. n
p o p o est uniforme. Ces suites sont de la forme 0/0 et la limite dpend
des vitesses de convergence des numrateur et dnominateur.
Il est cependant troublant que le rsultat soit compatible avec RH. Considrons une famille
quelconque de suites ( ) ( )
j
n
n
s s . .

, la probabilit pour que tous les ratios

( ) ( ) lim 1
j j
n n
n
. p . p

soient compatibles avec RH est nulle. Hors la famille

naturelle issue du dveloppement dEuler MacLaurin lest ! Il est difficile de croire
que cest le fruit du hasard.
Thorme RH est quivalente la convergence uniforme de la suite ( ) ,
n
E p o
La srie de Dirichlet zta a une proprit fondamentale issue du thorme de Hamburger.
En effet, la relation fonctionnelle de zta caractrise compltement la fonction zta dans
lespace des sries de Dirichlet.
Donc, contrairement aux autres L-fonctions, nous pouvons esprer dmontrer RH en
utilisant uniquement la relation fonctionnelle et lexpression en srie de Dirichlet (donc en
faisant abstraction de la reprsentation eulrienne).
Le dveloppement dEuler- MacLaurin concentre la fois la proprit zta appartient
lespace des sries de Dirichlet et, de faon cache, la relation fonctionnelle (voir bibl.
III).
Il nest donc pas invraisemblable de dmontrer RH es sappuyant uniquement sur le
dveloppement dEuler MacLaurin.
Remarque sur le ratio des drives
Admettons que la drive ( ) ' 0 . p = , alors
( )
( ) ( )
0
' 1
1
'
. p
. p ; p

= et calculons le ratio
des sries des drives : ( )
'
ln 1
,
ln
n
n
D
n
.
o
p o
o
=


Si ce ratio converge uniformment, alors le rsultat est contradictoire sauf sur la droite
critique.
6 Remarque sur les sries ( )
1
constante n S n =
Chapitre d'quation (Suivant) Section 1
La preuve est base sur la proprit ( )
1
constante n S n = la fois pour zta, dont les
coefficients ont pour priode 1, et ta dont les coefficients ont pour priode 2.
Quen est-il pour des priodes q suprieures 2 ?
9/13
La valeur de ( )
1
S n est donne par : ( ) ( )
1 1
1
1
2
q
n l
l
S n l q a
q
+
=
=

(voir bibl. III)

On trouve la base des solutions non triviales en rsolvant le systme dquations linaires :
( ) | |
1
1
2 1, 1,
q
n l
l
l q a n q
+
=
= e

Par exemple pour q=3, une solution est : ( )

8 2 4
, ,
9 9 9
k
a
| |
=
|
\ .
La srie de Dirichlet satisfait lquation fonctionnelle faible :
( ) ( ) ( ) ( ) ( ) ( ) ( )
1 2 1
0 1 3
6 5 3
3 3 1 3 1 1 ,
9 9 3 3
s s s
Z s s s s s L s . ; . ; ;

| |
+ =
|
\ .
La fonction de Davenport Heilbronn dont les coefficients ont la priode 5 ne satisfait pas
la proprit ( )
1
constante S n = .
Il semble vident que la fonction zta de Riemann est la seule srie de Dirichlet satisfaisant
( ) ( ) m , constante
m
n m S n = .
Je conjecture quaucune L-fonction de Dirichlet (autre que zta) ne satisfait la
proprit ( )
1
constante S n = .
Je conjecture galement que les fonctions zta et ta sont les seules sries de Dirichlet
satisfaisant simultanment une quation fonctionnelle forte et ( )
1
constante S n = .
Remarque sur les fonctions ta gnralises
Soient un nombre premier p et la suite ( ) ( ) 1, ,1, 1
k
a p = + , alors :
( ) ( ) ( )
1
1
1
s s
p k
s p s a k n .


= =

est une fonction ta gnralise.

La suite ( )
1
S n correspondante nest pas constante si 2 p > .
La suite ( )
( )
( )
,
,
,
1
,
p n
p n
p n
s
D s
s
o
n
n
o
n

= nest pas convergente en dehors de la droite critique.
7 La norme du ratio zta(1-s)/zta(s)
Chapitre d'quation (Suivant) Section 1
Si le zro appartient la droite critique ( )
( )
( )
( )
( )
1
1
1
D
.
. p
; p
p
; p . p

= = =

10/13
Je minterroge sur les valeurs de s telles que ( ) 1 D s
.
= .
Thorme Soit une fonction analytique sur { } \ 1 satisfaisant lquation fonctionnelle
( ) ( ) ( )
( )
( ) ( ) ( )
2 1 2
2 1 2 1
s s
s a f s s a f s
q q
t t

| | | |
I + = I +
| |
\ . \ .
avec ae
Notons la norme du rapport ( )
( )
( )
1
f
f s
D s
f s

= . Il existe une constante ( )

0
t t q > telle
que si ( ) { }
0
; 0 1; s s it t t q o o e = + < < > alors ( ) 1 1 2
f
D s s it = = +
Corollaire RH est quivalent ( ) ( ) 0 1 s D s
.
. = = .
RH est quivalent la convergence uniforme de ( )
n
D s
.
dans la bande critique.
Ce thorme expliquerait pourquoi la droite critique joue un rle particulier mme pour les
sries de Dirichlet qui ont une quation fonctionnelle mais pour lesquelles RH nest pas
vraie. Cest le cas de la srie de Heilbronn.
Preuve -
Nous avons les dveloppements suivants pour la fonction gamma et la fonction inverse de
la cotangente :
( )
( ) ( )
1
2
1
2 1
z z
z e z O z t

I = +
( ) ( )
1 3
cot ; 0
2
x x O x x
t

= + >
( ) ( ) ( )
( )
( ) ( )
2 2
2 1 2
1 2 1 2
s s
f
D s s a s a
q q
t t

| | | |
= I + = I +
| |
\ . \ .
Posons 0 a = , il est ais de voir que ce paramtre ninflue pas le rsultat :
Soit :
( ) ( )
( ) ( )
1
1
1
1
1 1
exp ln ln 1
2 2 2 2 2 2
1 1 1 1 1 1
exp ln ln 1 1
2 2 2 2 2 2
s s s s
e O s
q
s s s s
e O s
q
o
o
o
o
t
t

| |
| | | |
| |
+ + =
| |
| |
|
\ .
\ . \ . \ .
| | | | | | | | | | | |
+ +
|
| | | | |
|
\ . \ .
\ . \ . \ .
\ .
11/13
1 1
ln ln arg
2 2 2 2 2 2 2
s s it s s
i
o | | + | | | | | |
= +
| | | |
\ . \ . \ . \ .
Donc :
( )
1 1
ln ln 1 ln arg
2 2 2 2 2 2 2 2
s s s s s s
t o
| |
| |
+ =
|
|
\ .
\ .
Par ailleurs :
( )
1 2
arg cot
2 2
s t
t t O t
t
o t
o

| |
= = +
|
\ .

Nous obtenons :[7,1]
( )
( ) ( ) ( )
1 2
1 1
2
exp 2 1 ln 1 2 1
2
e t
O t O t O t
q
o
o o
t
o o

| | | | | |
+ + + = +
| | |
\ . \ . \ .
Prenons le logarithme :
( )
( ) ( ) ( )
2
1 1 1
1 2 ln ln 1
2
e t
O t g s g s
q
o
t
o

| | | |
= =
|
|
|
\ . \ .
( ) ( )
( )
( )
( )
2
1 1 2 2
1 2 ln 1 2 1 2
e
O t c t O t
q t
t
o o o

| |
= = +
|
|
\ .
Cette quation nest satisfaite que si
1
2
s it = + pour ( )
2
0
2e
t t q K
q
t
> = .
8 Application de la formule de Riemann - Siegel
Chapitre d'quation (Suivant) Section 1
La relation fonctionnelle approximative (ou formule de Riemann Siegel) est :
( ) ( )
( ) ( )
( )
1
0
,
1 1
2 1
s
nx
n n
s s
x
Hn
k k
s e s
s k s k dx
i e x
o
. ;
t


= =
H
= + +

avec ( )
1
1 2
0
1
2 2
s
s s
s ; t

| | | |
= I I
| |
\ . \ .
Pour 2 xy t t = :
[8,1] ( ) ( ) ( ) ( )
1 2
1 1
0
1 1
y x
s s
k k
s k s k O x O t y
o
o o
. ;


= =
= + + +

12/13
Choisissons
2
t
m x y
t
= = =
( ) ( )
( )
2
1
0
1 1
m m
s s
k k
s k s k O t
o
. ;


= =
= + +

Examinons maintenant le dveloppement de Euler MacLaurin :
( ) { }
1
1
1
1
s m
s s
m
k
m
s k s x x dx
s
.



=
=

Nous avons { }
( )
1 1 s
m m
O t
s x x dx s x dx m
o o
o


s =

Notons les zros non triviaux s i p o = = + , nous obtenons :
[8,2]
( )
{ }
( )( ) { }
( )
1
0 1
2
2
0
0
1
1
m
m
m
m
x x dx
x x dx O
p
p
p
o
p
; p
p
p p
; p p

+
= + +

+ +

De [7,1] : ( ) ( )
1 2
0
O m
o
; p

=
Nous obtenons lencadrement :
[8,3] { } ( )( ) { }
( )
2
1 2
0
1
m m
x x dx x x dx O
o
p p
p ; p p


+
+ =

Cet encadrement est meilleur que lencadrement naturel
( )
1 2
O
o

13/13
9 Bibliographie
I. Bernhard Riemann : Ueber die Anzahl der Primzahlen unter einer gegebenen
Grsse. Monatsberichte der Berliner Akademie, November 1859.
II. Lhypothse de Riemann : un panorama (3 novembre 2004). Henri Delille.
III. Les sries de Dirichlet coefficients priodiques (15 fvrier 2005). Henri Delille
IV. Hypothse de Riemann et L-fonctions de Dirichlet (6 novembre 2004). Henri
Delille
V. Hypothse de Riemann et corps quadratiques (6 novembre 2004). Henri Delille