Loading AI tools
De Wikipédia, l'encyclopédie libre
En mathématiques, la formule des traces de Selberg est un résultat central en analyse harmonique non commutative. Elle fournit une expression pour la trace de certains opérateurs intégraux ou différentiels agissant sur des espaces de fonctions sur un espace homogène G/Γ, où G est un groupe de Lie et Γ un groupe discret, ou plus généralement sur un double quotient H\G/Γ.
Un cas particulier important est celui où l'espace est une surface de Riemann compacte S. L'article initial de Atle Selberg en 1956[1] traitait de ce cas, pour l'opérateur laplacien et ses puissances. Les traces des puissances du Laplacien permettent dans ce cas de définir une forme de fonction zêta. L'intérêt est l'analogie puissante qui apparaît alors entre la formule obtenue et les formules explicites de la théorie des nombres. Les géodésiques fermées de S jouent le rôle des nombres premiers. Cette relation a été immédiatement reconnue comme une lueur nouvelle sur l'hypothèse de Riemann.
La formule des traces de Selberg établit une relation entre le spectre de l'opérateur de Laplace-Beltrami sur une surface compacte à courbure négative constante et les longueurs des géodésiques périodiques sur cette surface.
Elle généralise la formule sommatoire de Poisson valide pour le tore.
Toute surface X compacte à courbure négative constante peut se représenter comme l'espace quotient du demi-plan de Poincaré ℍ par un sous-groupe discret Γ du groupe PSL(2, ℝ) des isométries :
Considérons l'opérateur de Laplace-Beltrami sur X :
On peut démontrer que, la surface étant compacte, son spectre est discret, c’est-à-dire que les valeurs propres λn, solutions de l'équation aux valeurs propres
forment une suite infinie qu'on peut ranger par ordre croissant :
Les fonctions propres sont dans et vérifient la condition de périodicité :
En introduisant le changement de variable :
les valeurs propres sont indexées par .
Cette formule s'écrit :
La somme est prise sur toutes les classes de conjugaison hyperboliques distinctes. La fonction h doit être :
La fonction g est la transformée de Fourier de h, c’est-à-dire :
.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.