Abonnez-vous à Universalis pour 1 euro

ZÊTA FONCTION

Article modifié le

Équations fonctionnelles et représentation des groupes

On peut considérer que l'intégrale eulérienne :

définit Γ comme « transformée de Mellin » de e-x, la transformation de Mellin se déduisant de la transformation de Laplace bilatère (ou transformation de Fourier-Laplace) qui à une fonction f fait correspondre la fonction :
par le changement de variable x = et dans l'intégrale ; la « formule d'inversion » de la transformation de Mellin donne alors :
où l'intégrale est prise le long de la droite t ↦ c + it dans le plan complexe, avec c > 0. La démonstration de l' équation fonctionnelle de ζ(s) par Riemann rappelée plus haut conduit à l'idée plus générale d'attacher à une série de Dirichlet :
convergente dans un demi-plan, donc telle que an = O(nc) pour c > 0, la fonction f, analytique dans le demi-plan H tel que Im z > 0, définie par :
pour λ > 0, de sorte que la fonction :
soit transformée de Mellin de f. Généralisant la méthode de Riemann, E. Hecke a remarqué que les propriétés (A) et (B) suivantes sont équivalentes.

Propriété (A). La fonction :

où ε = ± 1, est entière et bornée dans chaque « bande » |Re s| ≤ a et vérifie, pour un k > 0, l'équation fonctionnelle :
Propriété (B). On a :

Lorsque ϕ(s) = ζ(2s), on a ε = 1, λ = 2 et k = 1/2. Une fonction analytique dans H de la forme (26), donc telle que f (z + λ) = f (z), et vérifiant en outre (B) est dite forme modulaire de dimension k et de multiplicateur ε pour le groupe G(λ) engendré par les deux automorphismes z ↦ z + λ et z ↦ − 1/z du demi-plan H. Le cas le plus important est celui où λ = 1, le groupe G(1) n'étant autre alors que le groupe modulaire des transformations :

avec a, b, c et d dans Z et avec ad − bc = 1 ; ce groupe est le quotient de SL(2, Z) par son centre.

On aperçoit donc là le début d'une étroite relation entre la théorie des représentations des groupes (du groupe GL(2) pour commencer) et les propriétés arithmétiques des courbes algébriques définies sur un corps de nombres, par le biais des fonctions zêta et L attachées à ces courbes. Cette relation est activement explorée à l'heure actuelle (A. Weil, G. Shimura, H. Jacquet et R. Langlands, P. Deligne...) et paraît pleine de promesses.

— Jean DIEUDONNÉ

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Autres références

  • ARTIN EMIL (1898-1962)

    • Écrit par
    • 1 319 mots
    ...l'application des résultats obtenus à la théorie des nombres. Pour tout corps de nombres algébriques K, on peut considérer une fonction ζk(s), appelée la fonction zêta de Dedekind, qui généralise la fonction zêta de Riemann (obtenue lorsque K est le corps des nombres rationnels). Généralisant un résultat...

  • BOHR HARALD (1887-1951)

    • Écrit par
    • 130 mots

    Né à Copenhague, frère du physicien Niels Bohr, Harald Bohr devint professeur à l'institut polytechnique de Copenhague, en 1915, puis à l'Université de cette ville, en 1930.

    Ses premiers travaux portent sur les séries de Dirichlet. En liaison avec E. Landau, il étudie la fonction...

  • GAMMA FONCTION

    • Écrit par
    • 1 580 mots
    • 2 médias
    Graphe - crédits : Encyclopædia Universalis France
    ...La fonction gamma permet ainsi de ramener certains problèmes d'arithmétique multiplicative à des problèmes additifs. En particulier, la célèbre fonction zêta, intervenant dans la théorie des nombres premiers, peut s'écrire sous la forme :
    qui est à la base de la théorie de Riemann (cf....

  • HADAMARD JACQUES (1865-1963)

    • Écrit par
    • 1 401 mots
    ...L'étude du genre des fonctions entières conduit Hadamard aux grands problèmes de la théorie des nombres. Dans un mémoire de 1896, il montre que la fonction zêta n'a pas de zéros sur la droite Re z = 1. Ce résultat lui permet d'obtenir la première démonstration complète du fameux théorème,...
  • Afficher les 13 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter