$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Des séries à l'hypothèse de Riemann


  La série de Riemann est la série de terme général

Elle converge si , et diverge si . On note sa somme, qu'on appelle fonction zêta de Riemann. On peut en fait définir cette fonction pour un complexe s tel que Re(s)>1 :
est alors une fonction holomorphe dans le demi-plan {s de C; Re(s)>1}. On peut prouver que se prolonge en une fonction holomorphe sur C-{1}.

  La fonction zêta est un objet surprenant : on a par exemple
En revanche, on ne sait presque rien de la valeur de zeta pour les entiers impairs, sauf un résultat d'Apery qui affirme que zeta(3) est irrationnel, et un résultat très récent de Rivoal qui affirme qu'il en est ainsi pour une infinité de valeurs d'entiers impairs. Surtout, la fonction zêta est reliée aux nombres premiers par l'identité d'Euler, qui affirme que :
  L'étude des zéros de la fonction zêta est particulièrement importante. Parmi ces zéros, on trouve des zéros triviaux, comme -2,-4,-6,... Les autres sont l'objet de l'hypothèse de Riemann, qui a conjecturé qu'ils se situaient tous sur la droite Re(s)=1/2. Une réponse affirmative à cette conjecture donnerait de précieux renseignements quant à la localisation des nombres premiers. Ce problème faisait déjà partie de la liste des 23 problèmes de Hilbert présentés au IIè congrès mondial des mathématiciens en 1900. Non résolu au XXè s., il figure encore parmi la liste des 7 problèmes du millénaire dont la résolution est primée 1 million de dollars par la fondation Clay.
Consulter aussi...