À propos de $\zeta$
dans Arithmétique
Bonjour,
J'ai une question de naïve ici.
A cause de cette video, Visualizing the Riemann zeta function, j'imagine la somme de l'écriture littérale de zêta comme représentant une spirale comme celles qui apparaissent dans la vidéo (on passe d'un côté de la spirale au suivant 1) en le translatant au bout de lui-même, 2) en le réduisant par une homothétie d'un certain coefficient et 3) en faisant tourner le plus petit vecteur qui a résulté de 1) et 2) d'un certain angle).
Du coup, (soit $s=a+ib$), dans $n^s=n^{a+ib}=n^a \times n^{ib}$, je considère la partie de puissance réelle pure $n^a$ comme un vecteur d'une certaine longueur et la partie de puissance imaginaire pure $n^{ib}$ comme la rotation dont il faut faire tourner ce vecteur.
On a :
$\zeta(s)=\sum\limits_{n=1}^{\infty} n^{-s}=\sum\limits_{n=1}^{\infty} n^a n^{ib}$
d'une part, et
$\zeta(1-s)=\sum\limits_{n=1}^{\infty} n^{1-s}=\sum\limits_{n=1}^{\infty} n^{1-a} n^{-ib}=\sum\limits_{n=1}^{\infty} \displaystyle\frac{n}{n^a} n^{-ib}$ d'autre part.
Il y a entre deux côtés successifs de la deuxième spirale le même angle qu'entre les deux côtés successifs correspondants de la première spirale sauf que la seconde spirale tourne dans le sens inverse de la première selon une sorte de symétrie par rapport à l'axe des réels (des $n^{-ib}$ dans la spirale de $\zeta(1-s)$ correspondant aux $n^{ib}$ dans la spirale de $\zeta(s)$).
J'ai cru comprendre que si $\zeta(s)$ est nulle, $\zeta(1-s)$ l'est aussi ([small]ce qui n'entraîne pas que $a=1-a$ dans mes égalités, dommage, ça entraînerait $a=\displaystyle\frac{1}{2}$ [/small]).
Pourriez-vous me dire si c'est fondé d'exprimer $\zeta(1-s)$ ainsi, si c'est fondé d'imaginer des spirales et si oui, comment relier mes deux expressions de $\zeta(s)$ et $\zeta(1-s)$ à l'équation fonctionnelle : $$
\zeta(s)=2^s\pi^{s-1}\sin\Big(\frac{\pi s}{2}\Big)\Gamma(1-s)\zeta(1-s)
$$ Merci.
Bonne journée.
Aline
J'ai une question de naïve ici.
A cause de cette video, Visualizing the Riemann zeta function, j'imagine la somme de l'écriture littérale de zêta comme représentant une spirale comme celles qui apparaissent dans la vidéo (on passe d'un côté de la spirale au suivant 1) en le translatant au bout de lui-même, 2) en le réduisant par une homothétie d'un certain coefficient et 3) en faisant tourner le plus petit vecteur qui a résulté de 1) et 2) d'un certain angle).
Du coup, (soit $s=a+ib$), dans $n^s=n^{a+ib}=n^a \times n^{ib}$, je considère la partie de puissance réelle pure $n^a$ comme un vecteur d'une certaine longueur et la partie de puissance imaginaire pure $n^{ib}$ comme la rotation dont il faut faire tourner ce vecteur.
On a :
$\zeta(s)=\sum\limits_{n=1}^{\infty} n^{-s}=\sum\limits_{n=1}^{\infty} n^a n^{ib}$
d'une part, et
$\zeta(1-s)=\sum\limits_{n=1}^{\infty} n^{1-s}=\sum\limits_{n=1}^{\infty} n^{1-a} n^{-ib}=\sum\limits_{n=1}^{\infty} \displaystyle\frac{n}{n^a} n^{-ib}$ d'autre part.
Il y a entre deux côtés successifs de la deuxième spirale le même angle qu'entre les deux côtés successifs correspondants de la première spirale sauf que la seconde spirale tourne dans le sens inverse de la première selon une sorte de symétrie par rapport à l'axe des réels (des $n^{-ib}$ dans la spirale de $\zeta(1-s)$ correspondant aux $n^{ib}$ dans la spirale de $\zeta(s)$).
J'ai cru comprendre que si $\zeta(s)$ est nulle, $\zeta(1-s)$ l'est aussi ([small]ce qui n'entraîne pas que $a=1-a$ dans mes égalités, dommage, ça entraînerait $a=\displaystyle\frac{1}{2}$ [/small]).
Pourriez-vous me dire si c'est fondé d'exprimer $\zeta(1-s)$ ainsi, si c'est fondé d'imaginer des spirales et si oui, comment relier mes deux expressions de $\zeta(s)$ et $\zeta(1-s)$ à l'équation fonctionnelle : $$
\zeta(s)=2^s\pi^{s-1}\sin\Big(\frac{\pi s}{2}\Big)\Gamma(1-s)\zeta(1-s)
$$ Merci.
Bonne journée.
Aline
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Il faut prendre garde au fait que les valeurs de $\zeta$ ne sont données par la série dont tu parles que pour les parties réelles $> 1$ aussi.
Merci de la réponse. Je note bien que l'annulation simultanée pour $s$ et $1-s$ n'a lieu que dans la bande critique $\mathfrak{Re}(s) \in \;]0,1[$. Je comprends du reste du message que l'interprétation géométrique peut se faire pour $\mathfrak{Re}(s) > 1$ mais pas en deça dans la bande critique. Du coup, dans l'équation fonctionnelle, il ne faut pas prendre l'expression de $\zeta(1-s)$ que j'ai fournie, c'est ça ? Merci.
Cordialement,
Aline
Il faut également faire attention au facteur $\Gamma(1-s)$, qui n'est pas, si $\mathfrak{Re}(s) \geq 1$, donné par l'intégrale à paramètres usuelle définissant $\Gamma$, mais bien le prolongement analytique de $\Gamma$ aux complexes de partie réelle négative (privés de $-\mathbb N$).
Merci Poirot.
Je ne comprends pas : j'aurais pensé que le prolongement analytique permettait d'obtenir les valeurs en des points où ça divergerait à partir de valeurs en des points où ça convergerait. Dans la video, ils expliquent que ça converge à droite de la droite verticale partie réelle 1. Si je veux obtenir la valeur en un point en deça de cette droite, par exemple 1/3+4i, l'équation fonctionnelle exprime la valeur en ce point en fonction de celle en un point (2/3-4i) qui est aussi en deça de la droite, comment faire ? Comment font-ils pour calculer les valeurs pour les points d'abscisse réelle entre 0 et 1 en utilisant l'équation fonctionnelle ?
Tant pis.
Cordialement,
Aline
Imaginons que l'on ne connaisse que la série initiale et l'équation fonctionnelle, on n'obtiendrait alors que les valeurs de $\zeta$ en des complexes de partie réelle $> 1$ et $< 0$, ce qui laisse de côté toute la bande critique ! Il faut donc au moins connaître "initialement" (c'est-à-dire avant de s'amuser avec l'équation fonctionnelle) le prolongement analytique de $\zeta$ aux complexes de partie réelle $\geq \frac{1}{2}$. Pour ces valeurs-là, ce n'est pas l'équation fonctionnelle qui nous aide, mais un argument (simple) séparé.
Ce qui justifie l'usage de la relation fonctionnelle compliquée, c'est que la fonction $\zeta$ a été prolongée sur le demi-plan $\Re(s)>0$ et que le domaine final est connexe, au contraire du complémentaire de la bande critique.
Bonne journée.
Aline