La vidéo du jour parle de l’Hypothèse de Riemann !

J’ai essayé comme toujours de rendre ça accessible, mais je suis conscient que ça n’est pas évident car cela demande au minimum de connaître les nombres complexes.

J’ai pris soin toutefois d’éviter la notation \(\Sigma\) pour désigner les séries. Il me semble que sur un épisode court ça n’apporte pas grand chose à part demander au lecteur un effort de décryptage supplémentaire.

La transformée de Möbius

Le seul endroit où je me suis permis de le glisser, c’est dans la définition de la transformée de Möbius que je n’ai donné de toute façon qu’en « note de bas de page ».

Une petite précision concernant ladite transformation. A première vue, on pourrait croire que la somme comporte une infinité de termes, ce qui rendrait non-triviales les questions de convergence. Mais il n’en est rien ! Quand n augmente, \(x^{1/n}\) diminue et tend vers 1. Or la fonction Li() est nulle en dessous de 2. Donc quelque soit \(x\), la transformée ne comporte qu’un nombre fini de termes.

Je suis passé rapidement sur la formule d’Euler, avec son produit infini. Euler en a fait une très belle démonstration (un peu « à la main »), avec des opérations de base : si vous ne l’avez jamais vue, je vous recommande de la lire.

L’impasse sur le prolongement analytique

Passons au gros morceau : le prolongement analytique, sur lequel j’ai fait le service minimum. ElJJ et 3Blue1Brown font ça très bien, donc je ne me suis pas risqué à donner des détails. Ce qui d’ailleurs aurait été compliqué sans rentrer frontalement dans l’analyse complexe.

Toute la beauté de la chose réside dans l’unicité du prolongement : a priori on pourrait imaginer prolonger la fonction de n’importe quelle façon ou presque, mais si on impose la contrainte supplémentaire que le prolongement soit « analytique », alors il est unique.

Ah oui, sinon je suis sûr que quelques matheux ont dû s’étrangler en m’entendant dire que l’on prolongeait la fonction sur tous le plan complexe, en fait c’est vrai sauf en z=1. Mais bon, c’est vrai « presque partout ».

Et non, je ne couvrirai pas le débat sur -1/12, j’ai déjà donné !

Où trouver des zéros ?

Sur la répartition des zéros sur la droite critique, je dis que certains sont parfois très proches les uns des autres mais sur les premiers que j’ai tracé, rien de très flagrant. Mais par exemple voici deux zéros consécutifs (enfin leur parties imaginaires) :

7005,0628…

et

7005,1005…

De façon générale, on peut étudier plein de chose sur l’espacement des zéros : de l’espacement moyen au fait que des espacements arbitrairement petits ou grands.

J’ai aussi glissé à la fin de façon imprécise le fait que « l’immense majorité des zéros est très proche de la droite critique », ce qui ne veut rien dire de précis. Concrètement, on sait qu’au moins 40% des zéros sont sur la droite, et que pour tout \(\epsilon\), « presque tous » les  zéros sont dans une bande de largeur \(\epsilon\).

40 Comments

  1. Super.

    Quelques coquilles en passant :

    sur tous le plan complexe –> …tout…
    je ne couvrirai pas le débat –> …rouvrirai…
    mais sur les premiers que j’ai tracé –> …tracés
    enfin leur parties imaginaires –> …leurs…
    que des espacements arbitrairement petits ou grands –> …soient…

    • AUGER Cédric Reply

      Je rajouterais aussi « où $i$ est LE nombre imaginaire tel que $i^2=-1$ » -> « où $i$ est UN nombre imaginaire tel que $i^2=-1$ ».

  2. Brillant, mais;
    le fond de la video, c’est les maths ….

  3. Intéressant, merci pour cette vidéo ! Est-ce que l’hypothèse ne serait pas tout simplement impossible à démontrer ? (je pense au théorème de Gödel)

    • AUGER Cédric Reply

      Ce serait surprenant que le théorème de Gödel y ait sa place. Si c’était le cas, alors la théorie « classique » des nombres complexes admettrait deux extensions. Dans l’une des deux extensions, L’hypothèse serait vérifiée, alors que dans la seconde on aurait l’existence d’un zéro hors des deux droites connues. Toutefois, soit ce nombre serait non « localisable », soit il le serait, mais on n’aurait pas de preuve qu’il s’agirait d’un zéro. Je n’ai pas défini ce que j’entendais par « localisable », car c’est un peu technique et je risque de commettre des maladresses en le définissant précisément (en gros, les nombres dont le développement décimal est donné par une machine de Turing). Ça me semble assez peu crédible de pouvoir avoir ces deux extensions, et qu’elles soient toutes deux cohérentes.

  4. Brice Simeon Reply

    Merci,
    Bon, avouons-le, je n’ai pas tout compris (je n’ai pas les bases), mais je pars du principe que celui qui ne cherche pas à s’elever ne s’elevera jamais… j’en ai marre de tout comprendre sur ce que je vois à la télé, ce blog fait vraiment du bien à mon égo…
    Interessant, je vais donc (comme sur la plupart des autres articles) approfondir mon champ d’ignorance 🙂

  5. Merci pour cette vidéo intéressante.
    J’ai eu a obtenu une démonstration de cette fameuse hypothèse sauf que moi j’ai obtenu comme conclusion que les zéros non triviaux de la fonction zêta sont de la forme 1/2 + t avec t € [0;1/2[
    J’ai eu a me contacter des revue scientifique pour la publication de ma démonstration mais il ne veule même pas voir mon travail car il parait que pour publier il faut être soit enseignant d’université soit appartenir a un laboratoire de recherche reconnue
    S’il y a dans ce blog quelqu’un qui pourrait m’aider pour la publication de ma démonstration j’en serait très fière
    Cordialement

    • Sur la forme des zéros non triviaux de la fonction zêta que j’ai mentionné plus haut je tiens a corriger que ce son plutôt les partie réelle des zéros non triviaux qui sont de la forme 1/2 + t avec t € [0;1/2[ et non les zéros non triviaux

  6. Super intéressant. Il y a un truc qui me surprends encore en mathématiques, je ne comprends pas pourquoi les démonstrations se font encore au « papier et au crayon ». Depuis Gödel, on sait que les démonstrations sont des programmes, ou plutôt des chemins partant des axiomes et arrivant aux théorèmes. Toute proposition de démonstration soumis à la communauté devrait ainsi être fait sous la forme d’une suite logique de règles d »inférences et la vérification devrait être instantanée à l’aide d’un logiciel. Il devrait aussi exister une bibliothèque contenant toute les preuves découvertes par l’humanité, où est-elle? Enfin, je ne serais pas étonné d’apprendre que les prochaines grandes découvertes seront faites par l’IA.

    • Je suppose que la quantité de travail pour faire ces preuves serait énorme. Si tu dois calculer pendant des millions d’année, vu que tu fais en brute-force, c’est peut-être plus malin d’essayer de le faire à la main.
      Je vais me renseigner pour savoir si il existe des logiciels de preuve.

    • Daniel Juteau Reply

      Il y a un consensus parmi les mathématiciens sur le fait que le corpus des preuves publiées dans les journaux à comité de lecture peuvent *en principe* se récrire en une suite de déductions élémentaires à partir des axiomes (sachant qu’il y a toujours la possibilité qu’une erreur se soit glissée ici ou là…). Mais en pratique on fait des raccourcis, indispensables pour que la preuve reste lisible par un humain ; le lecteur doit être capable de combler tous les détails manquants si besoin (le niveau des détails donnés dépendant du public visé), sinon il est en droit de demander des explications aux auteurs. Il existe des logiciels tels que Coq qui permettent de vérifier et certifier des preuves mathématiques, mais c’est un énorme travail de formaliser toutes les démonstrations d’un seul article (et surtout la chaîne de tous les résultats dont on a besoin et qui sont bien antérieurs à l’article, par exemple les nombreux résultats de base d’un domaine qu’on peut trouver dans des livres d’introduction sur le sujet, et les résultats des articles cités dans la bibliographie…). Par exemple, la formalisation de la preuve du théorème de Feit-Thompson (article de 250 pages, certes) a mobilisé toute l’équipe de Georges Gonthier pendant six ans… Et là on parle de certifier une preuve, pas d’en trouver. En tout cas il est clair que chercher une preuve informatiquement en faisant des déductions logiques au hasard est désespéré ; en ce qui concerne la possibilité de faire de grandes découvertes via l’IA, ça semble peut probable aujourd’hui mais on ne sait jamais que ce que l’avenir nous réserve. En tout cas on en est très loin (surtout pour une preuve de l’hypothèse de Riemann !). Pour ce qui est de la certification de preuves et le théorème de Feit-Thompson, je recommande l’excellent article de Jérôme Germoni sur l’excellent site « Images des mathématiques » :
      http://images.math.cnrs.fr/Coq-et-caracteres.html
      En dehors des certifications de preuves mathématiques, la certification de programmes (la preuve apportée par un autre programme qu’un programme donné va toujours se comporter selon les spécifications) est cruciale pour les applications critiques (métros automatiques, aéronautique, etc).

  7. Bonjour, déjà excellente vidéo comme d’habitude !
    Je me demandais si nous pouvions voir le code python qui a permis de tracer les courbes (Li(x) ect…) ?

  8. Bonjour,
    Juste une question peut être évidente mais… Pourquoi est-ce si difficile ? Et pourquoi Les mathématiciens savent que c’est si difficile ?
    Je veux dire, comment un mathématicien chevronné comme Hilbert a pu se demander si ça serait résolu dans 1000 ans ?
    Ok ce n’était pas encore résolu, mais combien de problèmes ne l’étaient pas encore à ce moment ? Pourquoi n’a t’on pas dit la même chose sur le théorème de Fermat, sur la conjecture des nombres premiers jumeaux, sur le théorème des trois couleurs ?

    En résumé, pourquoi on prévoyait très vite que ce serait très dur ? Et le corollaire, pourquoi est-ce très dur ? (même si une réponse possible ici serait que c’est parce que personne n’a réussi…).

    Merci d’avance !

    • D’après moi la citation que le mathématicien Hilbert a évoque c’était juste a cause de la liaison de cette hypothèse avec un thème des très fascinant mathématiques qui parait très simple mais qui n’a pas encore été compris dans ces profondeur: les Nombres premier
      En conclusion on n’a pas prédit que ce problèmes serait difficile mais plutôt qu’il serait très important

  9. Très belle vidéo… Une petite recherche sur le net sur la fonction zéta montre des milliers de retours….
    En tout cas pour les cureiux des maths dont je suis (et pas seulement les matheux pros…) le domaine des nombres premiers est sans doute la plus belle mais la plus ardue branche des maths.
    Merci pour cet éclairage David.

  10. Encore un super article ! Ce serait sympa un jour que tu fasses un article et/ou une vidéo (plutôt une vidéo) sur 2 sujets sur lesquels on ne trouve quasiment aucune information sur google/youtube : les techniques pour pressuriser un avion / sous marin. Et le fonctionnement détaillé des horloges atomiques. Voilà 2 petites idées vraiment peu traitées sur internet, même si je me doute que tu dois déjà en avoir plein, des idées !

  11. Il y a plusieurs questions que je me pose à propos de cette vidéo.
    Bon j’ai bien compris que le fait d’ « avoir» la fonction de zêta Riemann et de lui rajouter des corrections grâce aux « zéros » de la fonction permet d’obtenir la fonction de répartition des nombre premiers.
    Bon d’accord, dans la théorie, c’est très bien et très intéressant, mais dans la pratique, est ce que ce n’est pas complètement inutilisable ? Parce qu’à imaginer qu’on possède TOUS les zéros triviaux, TOUS les zéros non triviaux de partie réelle ½ et TOUS les zéros non triviaux de partie réelle différente de ½. Pour pouvoir « avoir » la fonction de répartition des nombres premiers, il faudrait y ajouter une infinité de micro-corrections… et donc cela mettrait une quantité de temps infinie pour avoir réellement « la » fonction de répartition des nombre premiers. Bref j’ai l’impression que chercher tous ces zéros ne sert pas à grand-chose.
    Par ailleurs, même s’il existe des zéros de partie réelle différente de ½, à quoi cela sert de les rechercher ? Même s’il y en a une infinité, il y aura toujours une infinité de fois davantage de zéros qui admettent ½ pour partie réelle, donc du coup leur « contribution » serait absolument négligeable pour le processus de correction de la fonction zêta de Riemann, non ? Du coup si notre objectif est d’avoir une fonction zêta de Riemann partiellement corrigée et lissée pour avoir la répartition des nombres premiers dans un grand domaine donné, il suffit d’inclure un immense nombre de zéros ayant pour partie réelle ½ en se contrefichant de ceux (éventuels) dont la partie réelle serait différente de ½, puisque leurs contributions serait tout à fait insignifiante.

    Enfin, j’ai l’impression qu’on en fait tout un fromage pour ce problème du millénaire. Alors certes, le lien entre l’analyse complexe et les nombres premiers est fascinant – et comprendre ce lien serait très stimulant j’en conviens- mais pourquoi rechercher tous ces zéros non triviaux ? Une simple compréhension du lien complexe/premiers serait déjà un pas significatif en avant.
    Si je compare ce problème du millénaire à celui de P=NP ?, je trouve ce dernier incroyablement plus important pour l’humanité. Je me base sur la vidéo de passe-science qui en parle. (https://www.youtube.com/watch?v=8TrIW-4kfRg). Si on trouve un seul cas de figure où un problème NP complet (c’est-à-dire dont la complexité de résolution est proportionnelle à une constante puissance « la taille du problème ») est égal à un problème P (c’est-à-dire dont la complexité de résolution est proportionnelle à « la taille du problème » puissance un constante), on pourrait transformer TOUS les problèmes NP-complets du monde en problème P, et donc trouver des solutions beaucoup plus rapidement à de très très nombreux problèmes en mathématiques et en physique.
    J’ai quand même l’impression que le problème du millénaire P=NP ? a quand même une portée bien plus grande pour l’humanité que l’hypothèse de Riemann, pas vous ?

  12. Loingtier Reply

    Aller regarder des séries chez un mathématicien… humm, Tarski et Church ?

  13. Bravo pour ton travail. Une idée pour la prochaine : comment fonctionnent les transistors NPN (comment ils ont été découverts, physique quantique)

  14. À propos de Li(x) il y a une grosse subtilité que j’ai eu du mal à piger :

    La formule explicite de Riemann c’est d’abord celle pour Psi(x) = \sum_{p^k\le x} \log p = x-\sum x^\rho/\rho + C

    La version pour J(x)=\sum_{p^k \le x} 1/k c’est la même où on remplace x (dont la transformée de Mellin est 1/(s-1)) par

    li_\rho(x) = 1_{x > 1} pv(\int_0^x t^{\rho-1} dt/\log t)

    Cette fonction bizarre, non-bornée en 1, a un énorme avantage : sa transformée de Mellin c’est -log(s-\rho)/s

    Et -\zeta’/s\zeta(s) = 1/(s-1)-\sum 1/\rho (s-\rho) (la transformée de Mellin de Psi(x))
    \log \zeta(s) / s = -\log (s-1)/s+\sum \log (s-\rho)/s (la transformée de Mellin de J(x))

    On a donc J(x) = li_1(x)-\sum li_\rho(x) d’où on déduit la formule explicite pour \pi(x) = \sum_n J(x^{1/n}) \mu(n)/n

  15. Cela me fait rappeler le travail de Dirac en cherchant à harmoniser 2 matières qui s’opposent et Reimann avec les nombres premiers et de l autre l’analyse complexe je vais parler de l’expansion de l’univers avec le comportement de la ligne de prolongement des nombres premiers qui me fait penser à la façon comme c’est reparti l’univers qui représente le mur de planck et qui se focalise vers les zéros non triviaux qui n’est pas un instant 0 et qui converge vers le big bang je vous promets je n’ai pas lu le livre des frères bogdanov c’est en regardant la figure des nombres premiers et de la ligne qui m’ont mis la puce à l’oreille le dessin ressemble étrangement au big bang ,10 puissance 35 représente la taille de l’univers c’est vraiment bien équivalent à mes yeux l’opposé de 10 puissance moins 35 la particule de planck c’est juste fou la coïncidence

  16. Dominique FIVEL Reply

    Magnifique vidéo, même si, étant « nul en math » et ayant décroché dès les nombres complexes…ma philosophie serait celle de Brice Siméon ci-dessus.
    Ayant travaillé dans la climatisation pendant quelques années je serai intéressé par une théorie expliquant (au niveau moléculaire ou autre) ce qui se passe dans l’effet Coanda et aussi par ailleurs comment l’humidité d’un volume d’air migre vers un autre volume d’air plus sec qui serait adjacent ?!
    merci et bravo

  17. Salut a tous!!
    Si quelqu’un connait le nom d’un logiciel permettant de trace des fonction mathématiques . merci de l’envoyer

      • Merci H.L . mais je voulais plus une application qui peut aussi trace des fonctions qui contienne la fonction « partie entiere » ( tel que la fonction f(x)=E(x+2)+E(√x)+2 par exemple) ce qui n’est visiblement pas le cas avec cette application. Si tu possède une application pouvant trace des fonctions avec  » partie entière « . Merci de l’envoyer

  18. Apres avoir mieux etudier cette application Je viens de voir la fonction  »partie entière » .
    Merci H.L

  19. Es possible aussi d’avoir une application qui resoud des équations( même ceux contenant la fonction partie entière )
    Merci d’avance

  20. Belladjou Reply

    C’est égal à 0 z(s) 0,999999999… est faux et -1/12 c’est -0.08333333333…

  21. Belladjou Reply

    Bref dans notre télé, j’ai regardé YouTube et aussi , j’eut compris pourquoi c’est égal à 0.999999999 car 1/2 1/4 1/8 1/16… si on l’iterate à l’infini. Aussi , aurai un ordinateur servant de kalles fraktaler 2<333

  22. Zorglub62 Reply

    une question : si les -2n sont des zéros triviaux (à 11 minutes), c’est que la somme des carrés des entiers (et des puissances paires sont nulles) : 1 + 4 + 9 + 16 + … = 0.
    Existe-t-il une démonstration abracadabrantesque comme pour 1+2+3+4+… = -1/12 qui avait provoqué autant d’émotion en 2013?

    • Oui il en existe une 😉.

      On commence par les mêmes manipulations que lui pour trouver A et B.

      A = 1-1+1-1+1-1…. = 1/2
      et B = 1-2+3-4+5-6+7… = 1/4.

      Ensuite, on écrit que B = 1-2+3-4+5-6+7… = 1 + (-2+3-4+5-6+7…). Et donc B – 1 = -2+3-4+5-6+7… .

      Et du coup je vais calculer (B – 1) – B (attention à bien aligner les calculs comme le scienceetonnante pour ne pas faire d’erreurs).
      (B – 1) – B = -2+3-4+5-6+7… – (1-2+3-4+5-6+7…) = -3 + 5 – 7 + 9 -11 + 13 -15 +……
      Donc -1 = B -1 -B = -3+5-7+9-11+13-15+… . Et enfin, 0 = 1 + (-3+5-7+9-11+13-15+….) = 1-3+5-7+9-11+13-15+….. .

      1-3+5-7+9-11+13-15+… = 0.

      On garde ce résultat en tête.

      Et maintenant on cherche à calculer C, attention pas celui de de l’article mais C = 1-4+9-16+25-36…. = 1² – 2²+3²-4²+5²-6²+… .
      Il s’agit des carrés des entiers non nuls, les uns à la suite des autres avec alternance de signe.

      Déjà notons que C = 1 – (4-9+16-25+36-49+…) = 1 + (-4+9-16+25-36+49…).
      Donc C – 1 = -4+9-16+25-36+49…
      Or (C – 1) + C = (-4+9-16+25-36+49…) + (1-4+9-16+25-36+45…).
      2C – 1 = -3+5-7+9-11+13-15+…

      Et donc enfin 2C = 1 + ( -3+5-7+9-11+13-15+…) = 1-3+5-7+9-11+13-15+… . Or on a démontré juste avant que cette somme vaut 0. Donc il vient que 2C = 0 et donc C = 0 . On y est presque!

      On appelle D la somme D=1²+2²+3²+4²+5²+… .

      Si on fait D – C on trouve D – C = 1²+2²+3²+4²+5²+6²… – (1² – 2²+3²-4²+5²-6²+…) = 0 + 8 + 0 + 32 + 0 + 72 + 0 + 128 + 0 +… = (par la même simplification qu’il fait) = 8+32+72+128+200+288+392+…= 8*(1+4+9+16+25+36+49+…) = 8*(1²+2²+3²+4²+5²+6²+7²+…) = 8*D.

      Donc D-C=8D, soit 7D = -C. Or C =0; il vient dont que D = 1²+2²+3²+4²+5²+6²+7²+… = 0. 😊😅

  23. Bonjour

    On a pi(x) = R(x) – R(x^p1) – R(x^p2) – …

    Les p1, p2, … sont des nombres complexes, donc x^p1, x^p2 … aussi
    Mais la fonction R est une fonction de R dans R.

    Comment calcule-t-on R(x^p) alors ?

  24. pourquoi a 3:43, quand il est ecrit la formule du logarithme integrale, il est ecrit en fonction de t dans la formule alors que au debut c est ecrit li de x et non pas li de t ?

  25. Dans la fonction zêta, les zéros sont des points dans l’espace. Chaque point est un cercle de rayon nul, ce qui signifie que les points géométriques sont des racines non triviales.

Reply To Babiscus Cancel Reply

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.