Calculateur Fonction eta de Dirichlet et Relation Zeta
Calculateur fonction eta de Dirichlet eta(s) : serie alternante, relation avec zeta de Riemann, valeurs speciales via nombres de Bernoulli et bande critique.
Signaler une erreur de calcul
Aidez-nous à améliorer. Décrivez ce qui ne va pas dans le calcul.
Résultat
| Voce | Valore |
|---|
Afficher les détails
Partager le résultat
Avertissement : ce calcul est purement indicatif. Pour les décisions importantes, consultez un professionnel.
La fonction eta de Dirichlet
Fonction introduite par Dirichlet au XIXe siecle. Serie alternante :
eta(s) = Sigma (-1)^(k+1)/k^s = 1 - 1/2^s + 1/3^s - ...
Aussi appelee 'fonction zeta alternante'. Lien etroit avec zeta de Riemann.
Relation avec zeta
eta(s) = (1 - 2^(1-s)) * zeta(s). Eta holomorphe sur tout C, zeta a un pole en s=1. Eta(1) = lim (1-2^(1-s)) zeta(s) = ln 2.
Valeurs speciales
- eta(0) = 1/2
- eta(1) = ln(2) = 0.693147...
- eta(2) = pi^2/12 = 0.822467...
- eta(3) = (3/4) zeta(3) = 0.901543... (Apery)
- eta(4) = 7 pi^4/720
- eta(-1) = 1/4
- eta(-2) = 0
Formule : eta(2n) = (2^(2n-1)-1)/2^(2n-1) |B_{2n}| pi^(2n)/(2n)!.
Convergence
- Re(s) > 1 : absolue.
- 0 < Re(s) <= 1 : conditionnelle (Leibniz).
- Re(s) <= 0 : divergente, necessite prolongement analytique ou accélération.
Cinq modes
- eta(s) réel avec Euler-Borwein.
- Relation avec zeta.
- Somme partielle alternante.
- Analyse droite critique.
- Valeurs speciales et constantes.
Hypothèse de Riemann
Zeros non triviaux de zeta sur Re(s)=1/2. Zeros de eta : (a) zeros de zeta (HR) ; (b) zeros de (1-2^(1-s)) = 0 sur ligne s=1-2pi ik/ln 2. HR equivalent pour eta et zeta.
Accélération Euler-Borwein
Borwein (1991) : formule fermee avec polynomes de Chebyshev. 15+ chiffres avec 50 termes. Van Wijngaarden modifie pratique.
Contexte historique
Dirichlet a introduit la fonction dans le contexte du théorème sur les premiers dans les progressions arithmetiques. Riemann (1859) a etudie zeta et etabli l hypothèse. Borwein (1991) a trouve un algorithme efficace pour calculer eta et zeta. Pilier de la théorie analytique des nombres apparaissant dans de nombreux contextes modernes.
Applications
- Théorie analytique des nombres : bande critique sans pole, alternative a zeta.
- Physique statistique : Bose-Einstein et Fermi-Dirac avec sommes alternantes.
- Mecanique quantique : regularisation eta(-1) = 1/12 en théorie des cordes.
- Probabilite : generatrices de distributions alternantes.
- Computation : zeta via eta sans prolongement explicite.
- Histoire : Dirichlet, Euler, Riemann, Borwein en deux siecles de developpement.
Histoire de la fonction eta de Dirichlet
La fonction tire son nom du mathématicien allemand Peter Gustav Lejeune Dirichlet (1805-1859), l'un des fondateurs de la théorie analytique des nombres. Dirichlet introduisit les fonctions qui portent aujourd'hui son nom en étudiant la distribution des nombres premiers dans les progressions arithmétiques, un travail couronné par le célèbre théorème de Dirichlet de 1837. La fonction eta, définie par la série alternée Σ (−1)^(k+1)/k^s, est l'exemple le plus simple de fonction L de Dirichlet, la famille de fonctions qui généralise la zeta de Riemann et qui est au cœur de la théorie des nombres moderne. On l'appelle aussi fonction zeta alternée, pour son lien étroit avec la zeta de Riemann. Son étude a aidé à comprendre la structure profonde des nombres premiers et demeure un pont entre l'analyse complexe et l'arithmétique.
La fonction eta et le prolongement analytique de la zeta
L'un des usages les plus importants de la fonction eta est de fournir le prolongement analytique de la fonction zeta de Riemann. La série qui définit ζ(s) ne converge que pour Re(s) > 1, mais la relation η(s) = (1 − 2^(1−s))·ζ(s) permet d'étendre la zeta au-delà de cette limite. Comme la série alternée de la fonction eta converge pour tous les s avec Re(s) > 0, elle définit ζ(s) = η(s)/(1 − 2^(1−s)) sur toute la bande critique 0 < Re(s) < 1, le territoire crucial de l'hypothèse de Riemann. Contrairement à la zeta, qui a un pôle simple en s = 1, la fonction eta est holomorphe sur tout le plan complexe, sans singularités. Cette propriété en fait un outil numérique et théorique précieux pour explorer les zéros de la zeta.
Mis à jour en juillet 2026
Commentaires (0)
Connectez-vous pour commenter.
Pas encore de commentaire. Soyez le premier !