Formule de Riemann-Siegel

Formule de Riemann-Siegel

En mathématiques, et plus précisément en analyse, la formule de Riemann-Siegel est une estimation asymptotique de l'erreur de l'équation fonctionnelle d'approximation de la fonction zêta de Riemann, c'est-à-dire une approximation de la fonction zêta par la somme de séries de Dirichlet finies.

Sommaire

Histoire

Cette formule a été découverte par Carl Siegel en 1932 alors qu'il analysait les notes manuscrites non publiées de Bernhard Riemann, lesquelles dataient des années 1850[1].

Siegel l'a obtenue en partant de l' « intégrale de Riemann–Siegel », une expression de la fonction zêta qui fait appel à une intégrale curviligne. Au début du XXIe siècle, cette formule est régulièrement utilisée pour calculer les valeurs de la fonction zêta, dans le but de rechercher la position de ses zéros (voir hypothèse de Riemann). Elle est parfois combinée à l' algorithme de Odlyzko–Schönhage (en), ce qui rend le calcul plus rapide.

Description

Si M et N sont des entiers strictement positifs, alors la fonction zêta peut être définie par

\zeta(s) = \sum_{n=1}^N\frac{1}{n^s} + \gamma(1-s)\sum_{n=1}^M\frac{1}{n^{1-s}} + R(s)

\displaystyle\gamma(s) = \pi^{1/2-s}\Gamma(s/2)/\Gamma((1-s)/2)

est le facteur qui apparaît dans l'équaton foncionnelle \displaystyle\zeta(s) = \gamma(s) \zeta(1 - s) et où

R(s) = \frac{-\Gamma(1-s)}{2\pi i}\oint \frac{(-x)^{s-1}e^{-Nx}dx}{e^x-1}

est une intégrale curviligne sur une ligne commençant et se terminant en \displaystyle\infin et encerclant les pôles de module inférieur ou égal à \displaystyle 2 \pi M.

L'équation fonctionnelle d'approximation produit une estimation de la taille de l'erreur. Siegel en 1932[2] et Edwards en 1974[3] ont obtenu la formule de Riemann-Siegel en appliquant la méthode du point col à cette intégrale pour en déduire un développement asymptotique de l'erreur \displaystyle R(s) en série de puissances négatives de \displaystyle\Im(s).

Dans la pratique, s est habituellement sur la ligne critique et les entiers positifs M et N ont comme valeur \displaystyle2 \pi \Im(s)^{1/2}. En 1979, Gabcke a découvert de bonnes limites pour l'erreur de la formule de Riemann–Siegel[4].

Formule intégrale de Riemann

Riemann a démontré que

\int_{0\searrow 1}\frac{e^{-i\pi u^2+2\pi i pu}du}{e^{\pi i u}-e^{-\pi i u}} = 
\frac{e^{i\pi p^2}-e^{i\pi p}}{e^{i\pi p}- e^{-i\pi p}}

où la courbe d'intégration est une ligne de pente −1 qui passe entre 0 et 1[5].

Il a utilisé cette équation pour donner une formule intégrale de la fonction zêta :

\displaystyle\pi^{-s/2}\Gamma(s/2)\zeta(s)=
 \pi^{-s/2}\Gamma(s/2)\int_{0\swarrow 1}\frac{x^{-s}e^{\pi i x^2}}{e^{\pi i x}-e^{-\pi i x}}\,dx
+\pi^{-(1-s)/2}\Gamma((1-s)/2)\int_{0\searrow 1}\frac{x^{s-1}e^{-\pi i x^2}}{e^{\pi i x}-e^{-\pi i x}}\,dx

Notes et références

  1. (en) John Derbyshire, Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics, Plume, 2004, 448 p. (ISBN 978-0452285255), p. 256-257, 263-264 
  2. Siegel, 1932
  3. Edwards, 1974
  4. Gabcke, 1979
  5. Edwards, 1974, 7.9

Annexes

Bibliographie

  • (en) Michael V. Berry, The Riemann–Siegel expansion for the zeta function: high orders and remainders, vol. 450, 1995, p. 439–462 
  • (en) H. M. Edwards, Riemann's Zeta Function, New York, Dover Publications, 1974 (ISBN 978-0-486-41740-0) 
  • (de) Wolfgang Gabcke, Neue Herleitung und Explizite Restabschätzung der Riemann-Siegel-Formel, Georg-August-Universität Göttingen, 1979 [lire en ligne] 
  • (de) Carl Ludwig Siegel, Über Riemanns Nachlaß zur analytischen Zahlentheorie, 1932, p. 45–80.
    Republié in Gesammelte Abhandlungen, vol. 1., Berlin: Springer-Verlag, 1966
     

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formule de Riemann-Siegel de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Hypothèse de Riemann — Représentation du module de la fonction zêta de Riemann. En mathématiques, l hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien allemand Bernhard Riemann. Elle dit que les zéros non triviaux de la fonction zêta d …   Wikipédia en Français

  • Carl Siegel — Pour les articles homonymes, voir Siegel. Carl Ludwig Siegel en 1975 Carl Ludwig Siegel (31 décembre  …   Wikipédia en Français

  • Histoire De La Fonction Zeta De Riemann — Histoire de la fonction zêta de Riemann Cet article présente une histoire de la fonction zêta de Riemann. Pour une présentation mathématique de la fonction et de ses propriétés, voir : Article principal : fonction zêta de Riemann. Un… …   Wikipédia en Français

  • Histoire de la fonction Zeta de Riemann — Histoire de la fonction zêta de Riemann Cet article présente une histoire de la fonction zêta de Riemann. Pour une présentation mathématique de la fonction et de ses propriétés, voir : Article principal : fonction zêta de Riemann. Un… …   Wikipédia en Français

  • Histoire de la fonction zeta de riemann — Histoire de la fonction zêta de Riemann Cet article présente une histoire de la fonction zêta de Riemann. Pour une présentation mathématique de la fonction et de ses propriétés, voir : Article principal : fonction zêta de Riemann. Un… …   Wikipédia en Français

  • Histoire de la fonction zêta de Riemann — En mathématiques, la fonction zêta de Riemann est définie comme la somme d une série particulière, dont les applications à la théorie des nombres et en particulier à l étude des nombres premiers se sont avérées essentielles. Cet article présente… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Harold Edwards — Harold Mortimer Edwards, Jr. (6 août 1936 à Champaign, Illinois, États Unis[1]) est un mathématicien américain spécialisé en théorie des nombres et en algèbre abstraite. Il a publié des ouvrages sur l histoire et la philosophie des mathématiques …   Wikipédia en Français

  • Équation fonctionnelle (fonction L) — En mathématiques, l une des propriétés caractéristiques des fonctions L de la théorie des nombres est la forme de leur équation fonctionnelle. Il existe une théorie élaborée de ce que devraient être ces propriétés ; beaucoup d entre elles… …   Wikipédia en Français

  • HILBERT (PROBLÈMES DE) — «Qui ne se réjouirait de pouvoir soulever le voile qui cache le futur, de jeter un regard sur le développement des mathématiques, ses progrès ultérieurs, les secrets des découvertes des siècles à venir?...» Prévoir le futur des mathématiques: qui …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”