Formule des traces de Selberg

Formule des traces de Selberg

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 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.

Sommaire

Définitions

Toute surface X compacte à courbure négative constante peut se représenter comme l'espace quotient du demi-plan de Poincaré \mathbb{H} par un sous-groupe discret Γ du groupe PSL(2,\mathbb{R}) des isométries :

X \ = \ \Gamma \backslash \mathbb{H}.

Considérons l'opérateur de Laplace-Beltrami sur X :

 \Delta \ u(x,y) \ = \ y^2 \left( \, \frac{\partial^2 u}{\partial x^2} \ +  \ \frac{\partial^2 u}{\partial y^2} \,  \right).

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 :

- \ \Delta \ u_n(x,y) \ = \ \lambda_n \ u_n(x,y)

forment une suite dénombrable, qu'on peut ranger par ordre croissant :

 0 = \lambda_0 < \lambda_1 \leq \lambda_2 \leq \cdots

Les fonctions propres sont dans u_n(x,y) \in C^{\infty}(\mathbb{H}) et vérifient la condition de périodicité :

\forall \ \gamma \ \in \ \Gamma  \ , \quad u_n(\gamma z)\ = \ u_n(z) .

En introduisant le changement de variable :

 \mu  \ = \ s(1-s) \ , \quad s \ = \ \frac{1}{2} \ + \ i \, r ,

les valeurs propres sont indexées par

 r_{n}, \quad n \ \geq \ 0 .

Formule de Selberg

La formule des traces de Selberg s'écrit :


\sum_{n=0}^{\infty} h(r_n) = \frac{\mu(F)}{4 \pi } \int_{-\infty}^{\infty} r \, h(r) \,  \tanh(\pi r) \, dr \ + \ \sum_{ \{T\} } \frac{ \log N(T_0) }{ N(T)^{1/2} - N(T)^{-1/2} } \ g( \log N(T) )
.

La somme {T} est prise sur toutes les classes de conjugaison hyperboliques distinctes. La fonction h doit être :

  • analytique dans la bande  \vert \Im \mathrm{m}(r) \vert \leq 1/2+\delta , où δ est une constante positive ;
  • être paire : h( − r) = h(r) ;
  • satisfaire la majoration :  \vert h(r) \vert \leq M \ \left( 1 + \vert \Re \mathrm{e}(r) \vert^{-2-\delta} \ \right), où M est une autre constante positive.

La fonction g est la transformée de Fourier de h, c’est-à-dire :

 h(r) = \int_{-\infty}^{\infty} g(u) \ e^{iru} \ du .

Articles connexes

Bibliographie

  • A. Selberg, Harmonic Analysis and Discontinuous Groups in Weakly Symmetric Riemannian Spaces With Applications to Dirichlet Series, Journal of the Indian Mathematical Society 20 (1956) 47-87.
  • H.P. McKean, Selberg's Trace Formula as Applied to a Compact Riemannian Surface, Communications in Pure and Applied Mathematics 25 (1972) 225-246. Erratum dans : Communications in Pure and Applied Mathematics 27 (1974) p.134
  • D. Hejhal, The Selberg Trace Formula and the Riemann Zeta Function, Duke Mathematics Journal 43 (1976) 441-482
  • D. Hejhal, The Selberg Trace Formula For Psl(2,R), Volume I, Springer Lecture Notes 548 (1976), ISBN .
  • A.B. Venkov, Spectral Theory of Automorphic Functions, the Selberg Zeta Function, and Some Problems of Analytic Number Theory and Mathematical Physics, Russian Mathematical Surveys 34 (1979) 79-153.
  • P. Cartier and A. Voros, Une Nouvelle Interprétation de la formule des traces de Selberg, dans The Grothendieck Festschrift, volume 87 of Progress in Mathematics, Birkhäuser (1990) 1-67.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formule des traces de Selberg de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Formule Des Traces De Selberg — 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… …   Wikipédia en Français

  • Formule des traces de selberg — 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… …   Wikipédia en Français

  • Formule Sommatoire De Poisson — Pour les articles homonymes, voir Poisson (homonymie). La formule sommatoire de Poisson, parfois appelée resommation de Poisson, établit une relation entre le spectre de l opérateur de Laplace Beltrami sur le cercle et les longueurs des… …   Wikipédia en Français

  • Formule de sommation de Poisson — Formule sommatoire de Poisson Pour les articles homonymes, voir Poisson (homonymie). La formule sommatoire de Poisson, parfois appelée resommation de Poisson, établit une relation entre le spectre de l opérateur de Laplace Beltrami sur le cercle… …   Wikipédia en Français

  • Formule sommatoire de poisson — Pour les articles homonymes, voir Poisson (homonymie). La formule sommatoire de Poisson, parfois appelée resommation de Poisson, établit une relation entre le spectre de l opérateur de Laplace Beltrami sur le cercle et les longueurs des… …   Wikipédia en Français

  • Formule sommatoire de Poisson — Pour les articles homonymes, voir Poisson (homonymie). La formule sommatoire de Poisson (parfois appelée resommation de Poisson) est une identité entre deux sommes infinies, la première construite avec une fonction f, la seconde avec sa… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Atle Selberg — (né le 17 juin 1917 à Langesund (en) (Norvège) et mort le 6 août 2007 à Princeton (New Jersey)) est un mathématicien …   Wikipédia en Français

  • Liste Des Matières De La Théorie Des Nombres — Article détaillé : cryptologie. . Sommaire 1 Facteur (mathématiques) 2 Fractions 3 Arithmétique modulaire 4 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”