Analyse harmonique non commutative

L'analyse harmonique non commutative est une branche des mathématiques qui est parvenue à maturité vers la fin des années 1970 ; elle généralise l'analyse harmonique classique et consiste, comme cette dernière (qui remonte au Modèle:S-), à développer une fonction en composantes fondamentales. Elle a des applications dans de nombreux domaines : les équations aux dérivées partielles qui, avec leurs problèmes aux bords, ont des groupes de symétrie non commutatifs ; la Mécanique quantique ; récemment, les sciences de l'ingénieur (traitement d'images, robotique, chimie, théorie des systèmes dynamiques non linéaires, etc.) ; la théorie des nombres (Modèle:Lien, groupes adéliques)Modèle:,.

L'analyse harmonique, à ses débuts, considérait des fonctions périodiques et en réalisait la décomposition en série de Fourier. Une fonction périodique (de période 1, après normalisation) peut être considérée comme définie sur le tore $𝕋=ℝ/\mathbb{Z}$, et la théorie des groupes commutatifs localement compacts montre que l'« espace dual » du tore, sur lequel dont définis les coefficients de Fourier, est l'ensemble $\mathbb{Z}$ des entiers relatifs, qui est de nouveau un groupe abélien ; aussi les coefficients de Fourier d'une fonction périodique forment-ils une suite de nombres complexes. Réciproquement, quand on réalise la synthèse de Fourier, on passe par la « formule de Plancherel » des coefficients de Fourier, définis sur $\mathbb{Z}$, à la fonction périodique dont ils sont issus, définie sur $𝕋$ qui est le « dual » de $\mathbb{Z}$.

Ceci est un cas particulier du théorème de dualité de Lev Pontryagin et Egbert van Kampen, qui montre que le « bidual » d'un groupe localement compact commutatif G s'identifie à G. D'autre part, on peut associer à une fonction définie sur la droite réelle $ℝ$ sa transformée de Fourier, elle aussi définie sur $ℝ$, qui est son propre dual ; puis on peut faire l'opération inverse, par la formule de Plancherel. L'analyse harmonique consiste donc à associer à une fonction, définie sur un groupe topologique G (qu'on supposera être un groupe de Lie quand on voudra définir sur ce groupe, par exemple, la notion de dérivée), une autre fonction, définie sur l'« espace dual » $\hat{G}$ de ce groupe.

Celui-ci est défini comme étant l'ensemble des classes d'équivalence des représentations unitaires irréductibles de G ; lorsque G est un groupe « apprivoisé », par exemple un groupe de Lie semi-simple, cet espace est muni d'une « topologie naturelle » et d'une mesure « canonique », la mesure de Plancherel. Lorsque le groupe G est commutatif, ces représentations irréductibles s'identifient aux caractères de G ; $\hat{G}$ est alors de nouveau un groupe commutatif localement compact, et la mesure de Plancherel est la mesure de Haar sur $\hat{G}$ : ceci est lié au fait que, dans ce cas, toutes les représentations unitaires irréductibles de G sont de dimension (ou « degré ») 1.

Sur un groupe non commutatif, ce n'est plus le cas, et déjà sur un groupe fini ou compact non commutatif, les « coefficients de Fourier » d'une fonction, qui constituent la « cotransformée de Fourier » de cette fonction, sont des matrices. On peut encore définir les caractères comme étant les traces des représentations irréductibles : dans le cas d'un groupe compact, ce sont des traces au sens usuel (traces de matrices) ; dans le cas d'un groupe non compact, ce sont des traces dans un sens généralisé qui est fondé à la fois sur la notion d'opérateur à trace et sur celle de distribution (« caractères de Harish-Chandra »).

La « décomposition de Fourier » sur un groupe non commutatif non compact comporte une partie discrète, analogue aux coefficients de Fourier d'une fonction périodique : c'est la « série discrète » ; et une partie continue, analogue à la transformée de Fourier d'une fonction sur la droite réelle : c'est la « série principale ». La partie purement formelle de l'analyse harmonique non commutative peut être présentée assez simplement, par généralisations successives, en partant des développements en série de Fourier et de la transformation de Fourier sur la droite réelle puis sur un groupe commutatif, en envisageant ensuite le cas d'un groupe compact, enfin en montrant comment le « formalisme de Peter-Weyl » peut s'étendre au cas d'un groupe non compact.

En revanche, dès qu'on veut, comme l'a fait Harish-Chandra, dépasser le cadre purement formel et expliciter dans le cas général la formule de Plancherel, qui permet de réaliser la synthèse de Fourier à partir des caractères, l'analyse harmonique non commutative est « hérissée de difficultés conceptuelles » et « nécessite des moyens techniques considérables », suivant les expressions de Jean Dieudonné. Le groupe $S{L}_2(ℝ)$ des matrices carrées d'ordre 2 à coefficients réels et de déterminant 1 est le groupe non compact semi-simple de la plus petite dimension possible ; tout en restant relativement simple, il a une structure suffisamment riche pour donner un bon aperçu des points fondamentaux de la théorie générale.

Historique

Frigyes Riesz et Ernst Sigismund Fischer en 1907 pour les séries de Fourier, Michel Plancherel en 1910 pour la transformation de Fourier, ont démontré les théorèmes qui portent leur nom (théorème de Riesz-Fischer et théorème de Plancherel) et qui sont au cœur de l'analyse harmonique commutative, respectivement sur le tore et sur la droite réelle. Leur extension sur un groupe commutatif a été réalisée par Pontryagin et van Kampen dans les années 1934-1935. L'analyse harmonique sur un groupe compact non commutatif a été établie par Hermann Weyl et son étudiant Fritz Peter en 1927. Ces théories ont été réunies et simplifiées dans le livre d'André Weil publié en 1940, le théorème de Plancherel sur un groupe commutatif y trouvant sa forme générale.

Le passage aux groupes non compacts non commutatifs s'est effectué sur la base de nombreux travaux dont un thème commun est la théorie des représentations : il faut citer en premier lieu les travaux portant sur les représentations des groupes finis : ceux de Ferdinand Georg Frobenius qui a introduit la notion de caractère d'un groupe non commutatif fini en 1896 et a démontré l'orthogonalité de deux caractères irréductibles ; le livre classique de William Burnside sur les groupes finis, paru en 1911 ; les relations d'orthogonalité d'Issai Schur (1924). Il convient de mentionner aussi les nombreux travaux portant sur les groupes et algèbres de Lie, dont Élie Cartan, Hermann Weyl, Claude Chevalley comptent parmi les protagonistes les plus notoires. Datant des années 1940, les travaux d'Israel Gelfand et ses collaborateurs Mark Aronovitch Naïmark et Dmitrii Abramovich Raikov (algèbres stellaires, représentations unitaires irréductibles), de John von Neumann et Francis Joseph Murray (algèbres de von Neumann, sommes continues d'espaces de Hilbert) ; plus tard, vers la fin des années 1950 et le début des années 1960, ceux de François Bruhat (distributions sur un groupe localement compact et représentations des groupes p-adiques)Modèle:, et Jacques Dixmier (algèbres stellaires, algèbres de von Neumann, mesure de Plancherel). S'appuyant sur le notions créées par Claude Chevalley, Emil Artin et George William Whaples, les travaux d'André Weil et John Tate ont montré à partir des années 1950 que toute la théorie algébrique des nombres peut se présenter comme une application de l'analyse harmonique sur les groupes d'adèles et d'idèles de corps de nombres Modèle:,.

On peut faire remonter les débuts de l'analyse harmonique non commutative proprement dite à 1947, lorsque Gelfand et Naïmark, étudiant le groupe $S{L}_2(ℂ)$, ont déterminé deux types de représentations irréductibles : celles constituant la « Modèle:Lien », associées aux sous-groupes diagonaux, et dont les caractères s'expriment grâce aux « Modèle:Lien », et celles constituant la « série complémentaire », ces dernières n'entrant pas dans la formule de Plancherel car elles y ont un poids nul. Toutes les représentations irréductibles sont de l'un ou l'autre de ces types. Ils ont généralisé ce résultat en 1950 à tous les groupes classiques complexes.

Mais en 1947 encore, Valentine Bargmann a mis en évidence dans le cas de $S{L}_2(ℝ)$ un phénomène qui n'intervenait pas dans le cas complexe : l'existence d'une « série discrète », analogue à la « série de Fourier généralisée » de Peter-Weyl dans le cas d'un groupe compact, ainsi que des relations d'orthogonalité semblables à celles des caractères des séries de Fourier, de ceux de Frobenius-Schur et de ceux de Peter-Weyl. Entre 1950 et 1955, Irving Segal et Modèle:Lien ont établi le cadre formel généralModèle:,Modèle:,. Mautner a montré en 1950 que le groupe $S{L}_2(ℝ)$ est « apprivoisé » (on dit aussi « de type I ») et a émis la conjecture qu'il en est de même de tous les groupes de Lie semi-simples. Cette conjecture a été démontrée par Harish-Chandra l'année suivante (1951).

La théorie s'est ensuite orientée vers les calculs effectifs avec divers mathématiciens, dont Roger Godement, Atle Selberg (et sa formule des traces qui, obtenue en 1956, généralise la formule sommatoire de Poisson), et surtout Harish-Chandra. Ce dernier a explicité la formule de Plancherel pour $S{L}_2(ℝ)$ en 1952 ; puis il s'est lancé dans un programme colossal, dont la réalisation a demandé un quart de siècle, visant à expliciter la formule de Plancherel des groupes semi-simples, puis des groupes réductifs généraux. Un passage obligé était l'étude approfondie de la série discrète, travail qui à lui seul était considérable ; cette étude a été reformulée, selon un point de vue différent, par Michael Atiyah et Wilfried Schmid en 1977 dans un article de synthèse. L'aboutissement des travaux de Harish-Chandra a été publié entre 1970 et 1975Modèle:,. Le cas des groupes nilpotents a été étudié à partir des idées d'Alexandre Kirillov (« méthode des orbites ») qui ont mûri vers la même période. Parmi les groupes résolubles non nilpotents, certains sont « apprivoisés », donc susceptibles de donner lieu à une analyse harmonique, d'autres non ; un critère obtenu par Louis Auslander et Bertram Kostant en 1967 permet de les distinguer.

Pour résumer en une courte phrase les travaux ci-dessus, on peut dire que la cotransformation de Fourier et la transformation de Fourier sont des opérations inverses l'une de l'autre de $L^2(G)$ sur $L^2(\hat{G})$, G étant le groupe considéré, $\hat{G}$ son dual, et ces transformations étant in fine explicites ; c'est une généralisation du théorème de Plancherel. Parallèlement, Laurent Schwartz a généralisé ce théorème en 1948, dans une autre direction, celle de la transformation de Fourier des distributions tempérées : dans le cas où $G=\hat{G}={ℝ}^n$, le théorème de Plancherel reste valide si l'on remplace $L^2$ par $𝒮$, l'espace de Schwartz, ou son dual ${𝒮}^{\prime }$, l'espace des distributions tempérées. Modèle:Lien et Friedrich Mautner, dans trois articles publiés entre 1955 et 1965, ont introduit la notion d'espace de Schwartz sur $S{L}_2(ℝ)$ ; cette approche a ensuite été généralisée par Harish-Chandra entre 1966 et 1976 au cas où G est un groupe de Lie semi-simple réel, puis au cas où G est un groupe réductif réel ou p-adiqueModèle:,, faisant de l'« Modèle:Lien » et son dual le cadre naturel de l'analyse harmonique non commutative. Néanmoins, la formule de Plancherel pour les groupes p-adiques est moins explicite que pour les groupes réels ; la classification des séries discrètes dans le cas p-adique reste un problème ouvert qui fait partie du programme de Langlands, et les applications de l'analyse harmonique non commutative à la théorie des nombres, qui ont commencé à se développer avec notamment Harish-Chandra, Armand Borel, Hervé Jacquet et Robert LanglandsModèle:,Modèle:,, restent un domaine dont l'exploration est loin d'être terminée.

Conventions et notations

Dans tout ce qui suit, sauf mention du contraire, espace topologique signifie espace topologique séparé, localement compact et séparable, groupe signifie groupe topologique métrisable, séparable, connexe, localement compact et unimodulaire, groupe de Lie signifie groupe de Lie réel métrisable, séparable, localement compact, connexe et unimodulaire, fonction signifie fonction à valeurs complexes ; les espaces de Hilbert sont tous complexes et séparables. Un opérateur dans un espace de Hilbert H est un endomorphisme continu de H dans lui-même ; l'ensemble de ces opérateurs est une algèbre (sur le corps des complexes) notée $End(H)$. Un automorphisme de H (pour la structure d'espaces de Hilbert) est un élément $u\in End(H)$ tel que $⟨u\left(\alpha \right),u\left(\beta \right)⟩=⟨\alpha ,\beta ⟩$ pour tous $\alpha ,\beta \in H$ ; l'ensemble de ces automorphismes est l'algèbre notée $Aut(H)$. Soit X un espace topologique muni d'une mesure de Radon $\mu$ (ou soit $(X,𝔗)$ un espace mesurable et $\mu$ une mesure « abstraite » sur $𝔗$) ; quand il n'y a pas d'ambiguïté, et sauf mention du contraire, deux fonctions $\mu$-mesurable sur X et égales $\mu$-presque partout ne sont pas distinguées. L'espace vectoriel des fonctions continues sur X est noté $𝒞(X)$.

Représentations unitaires des groupes de Lie

La notion de représentation

Soit G un groupe et $m_G$ une mesure de Haar sur G (invariante à gauche et à droite, puisque G est unimodulaire). Une représentation unitaire de G dans un espace de Hilbert H est un morphisme de groupes $U:G\to Aut(H)$ tel que l'application $G\ni x\mapsto U(x)f\in H$ est continue pour tout $f\in H$. La dimension de H (finie ou infinie) est appelée le degré de U. Toutes les représentations sont unitaires dans ce qui suit. Une représentation U est dite irréductible si tout sous-espace fermé non réduit à 0 de H et stable par U est nécessairement égal à H. Deux représentations $U_1:G\to H_1$ et $U_2:G\to H_2$ sont équivalentes s'il existe un isomorphisme d'espace de Hilbert $T:H_1\to H_2$ tel que $U_2(x)=T{U}_1(x)T^{-1}$ pour tout $x\in G$. La représentation triviale de G dans H est l'application constante $g\mapsto I{d}_H$. Une représentation scalaire U est un multiple scalaire de la représentation triviale, c'est-à-dire telle que $U(x)=u(x)I{d}_H$, où $u(x)\in ℂ,\mathrm{\forall }x\in G$. Les représentations régulières à gauche U de G sont celles pour lesquelles $H=L^2\left(G\right)$, l'espace de Hilbert des classes (modulo l'égalité $m_G$-presque partout) de fonctions à valeurs complexes de carré intégrable sur G par rapport à $m_G$, et $U(x)$ est la translation à gauche $\gamma (x)$ où $(\gamma (x)f)(y)=f(x^{-1}y)$ ($f\in H,x,y\in G$) ; cette représentation est évidemment unitaire. On définit de même la représentation régulière à droite $\delta (x)$, où $(\delta (x)f)(y)=f(yx)$ ($f\in H,x,y\in G$), et on peut raisonner sur l'une ou l'autre. Dans ce qui suit, « représentation régulière » signifie représentation régulière à gauche. Le problème central de l'analyse harmonique sur un groupe G (commutatif ou non) est, comme on va le voir, l'étude de la décomposition en composantes irréductibles de la représentation régulière de G. Le lemme de Schur ci-dessous est un résultat classique d'algèbre lorsque l'espace de Hilbert H est de dimension finie ; lorsque H est de dimension infinie, c'est une conséquence de la théorie spectrale de Hilbert :

On conviendra dans ce qui suit de ne pas distinguer deux représentations équivalentes, pour ne pas compliquer la terminologie.

Un théorème dû à Gelfand et Raïkov montre que tout groupe G (localement compact) possède un système complet de représentations irréductibles, c'est-à-dire que pour tout élément $x\ne e$, il existe un espace de Hilbert H et une représentation irréductible $U:G\to Aut(H)$ telle que $U(x)\ne I{d}_H$.

Sommes continues d'espaces de Hilbert

Soit Z un espace topologique, $\pi$ une mesure sur Z, $(H_z{)}_{z\in Z}$ une famille d'espaces de Hilbert, et $V=\prod _{z\in Z}{H}_z$ ; la famille $(H_z{)}_{z\in Z}$ est appelée un champ d'espaces de Hilbert, un élément $f=(f_z{)}_{z\in Z}$ où $f_z\in H_z,\mathrm{\forall }z\in Z$ est appelé un champ de vecteurs, un élément $u=(u_z{)}_{z\in Z}$ où $u_z\in End(H_z),\mathrm{\forall }z\in Z$ est appelé un champ d'opérateurs. Le champ $(H_z{)}_{z\in Z}$ est dit $\pi$-mesurable s'il existe un sous-espace S de V tel que (i) pour tout champ de vecteurs $\epsilon =({\epsilon }_z)\in S$, la fonction à valeurs réelles $z\mapsto \Vert {\epsilon }_z\Vert$ est $\pi$-mesurable, (ii) si $f\in V$ est tel que pour tout $\epsilon \in S$, la fonction $z\mapsto {⟨f_z,{\epsilon }_z⟩}_{H_z}$ est $\pi$-mesurable, alors $f\in S$, (iii) il existe dans V une suite $({\epsilon }^i)$ de champs de vecteurs telle que pour tout $z\in Z$, la suite $({\epsilon }_z^i)$ soit totale dans $H_z$. S'il en est ainsi, un champ de vecteurs f est dit $\pi$-mesurable si pour tout i, la fonction $z\mapsto {⟨f_z,{\epsilon }_z^i⟩}_{H_z}$ est $\pi$-mesurable ; il est dit de carré intégrable (par rapport à $\pi$) s'il est $\pi$-mesurable et si

$\underset{Z}{\int }{\Vert f_z\Vert }^{2}d\pi \left(z\right)<\mathrm{\infty }$.

Les champs de vecteurs de carré intégrable forment un espace préhilbertien complexe K ; en quotientant par le sous-espace formé par les champs de vecteurs $\pi$-négligeables, on obtient un espace préhilbertien séparé H, et on peut montrer que H est complet, donc est un espace de Hilbert. C'est cet espace qui est appelé la somme continue du champ d'espaces de Hilbert $(H_z{)}_{z\in Z}$Modèle:,. Il est noté

$H=\underset{Z}{\int }{H}_{z}d\pi (z)$.

Si Z est discret, cette somme continue est une somme hilbertienne et les $H_z$ s'identifient canoniquement à des sous-espaces hilbertiens de H (ce qui est inexact, en général, si Z n'est pas discret).

Sommes continues de représentations

Soit maintenant G un groupe et $(U_z{)}_{z\in Z}$ une famille, chaque $U_z$ étant une représentation unitaire de G dans l'espace de Hilbert $H_z$ ; $(U_z{)}_{z\in Z}$ est appelée un champ de représentations unitaires. Si les fonctions $z\mapsto H_z{\epsilon }^i$ sont toutes mesurables, il existe une représentation unitaire unique U de G dans H telle que la relation $g=Uf$ équivaut à $g_z=U_z{f}_z,\mathrm{\forall }z\in Z$. On dit alors que U est la somme continue des $U_z$ et on écrit

$U=\underset{Z}{\int }{U}_{z}d\pi (z)$.

Si les $U_z$ sont irréductibles, on a donc une décomposition de U en somme continue de représentations irréductibles. C'est le cas de la décomposition en série de Fourier et la transformée de Fourier, que nous allons rappeler maintenant, ces représentations irréductibles étant alors « scalaires ».

Transformation de Fourier sur un groupe commutatif

Séries de Fourier

Soit $G=𝕋$ le tore défini plus haut, $H=L^2\left(𝕋\right)$, et considérons la représentation régulière $\gamma$. On peut décomposer une fonction $f\in H$ en série de Fourier :

$f=\sum _n\overline{ℱ}[f{]}_n{\chi }_n^{\ast }$

où ${\chi }_n$ est le « caractère » $y\mapsto e^{i2\pi ny}$ ($y\in 𝕋$), ${\chi }_n^{\ast }\left(y\right)=\overline{{\chi }_n\left(y\right)}$, les coefficients de Fourier $\overline{ℱ}[f{]}_n$ sont donnés par

$\overline{ℱ}[f{]}_n=\underset{𝕋}{\int }{\chi }_n\left(x\right)f(x)dx$

et la série converge dans H. En notant $\overline{ℱ}[f]$ la suite $(\overline{ℱ}[f{]}_n)$, on a $\overline{ℱ}[f]\in l^2$, et il vient

$\gamma (x)f=\sum _n{\chi }_n^{\ast }\left(x\right)\overline{ℱ}[f{]}_n{\chi }_n$.

On a $(f\star {\chi }_n^{\ast })\left(x\right)=\underset{𝕋}{\int }f(y){\chi }_n^{\ast }(x-y)dy={\chi }_n^{\ast }\left(x\right)\overline{ℱ}[f{]}_n$, et par conséquent, en posant ${\mathrm{\Theta }}_n\left(f\right)=\overline{ℱ}[f{]}_n$, on obtient la « formule de Plancherel »

$f(x)=\sum _n(f\star {\chi }_n^{\ast })=\sum _n{\mathrm{\Theta }}_n(\gamma (-x)f)$.

L'espace de Hilbert H se décompose en la somme hilbertienne ${\oplus }_nℂ{\chi }_n^{\ast }$ et $({\chi }_n^{\ast })$ est une base hilbertienne de H. Soit $H_n=ℂ{\chi }_n^{\ast }$ ; c'est un sous-espace hilbertien de dimension 1 de H (avec le produit scalaire habituel dans $ℂ$), et si $f\in H_n$, on a $\gamma (x)f={\chi }_n\left(x\right)f$. La restriction de $\gamma$ à $H_n$ est donc une représentation irréductible de degré 1, dite « scalaire », à savoir la multiplication par ${\chi }_n$. On écrira donc $\gamma ={\oplus }_n{\chi }_n$. On peut encore noter H et $\gamma$ par les intégrales respectives $\underset{\mathbb{Z}}{\int }{H}_{n}d{m}_{\mathbb{Z}}\left(n\right)$ et $\underset{\mathbb{Z}}{\int }{\chi }_{n}d{m}_{\mathbb{Z}}\left(n\right)$ où $m_{\mathbb{Z}}$ est la mesure définie par $m_{\mathbb{Z}}(n)=1$ (c'est-à-dire la mesure de Haar normalisée sur $\mathbb{Z}$). Le groupe $\hat{G}$ des caractères est isomorphe à $\mathbb{Z}$ et peut donc lui être identifié. Comme on va le voir plus loin, $\mathbb{Z}$ est le « dual » du groupe $𝕋$ ; on peut récrire ce qui précède en notant $\hat{x}$ au lieu de n l'élément générique de $𝕋$. En notant ${\Vert f\Vert }_2$ la norme de f dans $L^2\left(𝕋\right)$ et ${\Vert \overline{ℱ}[f]\Vert }_2$ la norme de la suite $\overline{ℱ}[f]$ dans $l^2$, l'égalité de Parseval (ou de Bessel-Parseval) s'écrit ${{\Vert f\Vert }_2}^2={{\Vert \overline{ℱ}[f]\Vert }_2}^2$.

On appelle cotransformation de Fourier la correspondance $\overline{ℱ}:f\mapsto \overline{ℱ}[f]$.

Transformées de Fourier

Soit $G=ℝ$, $H=L^2\left(ℝ\right)$, et U la représentation régulière de G. Soit $f\in L^2$ une fonction suffisamment régulière (ce qui sera précisé plus loin). Sa transformée de Fourier est donnée par

$ℱ[f]:\nu \mapsto \underset{ℝ}{\int }{\chi }_{\nu }^{\ast }(x)f\left(x\right)dx$

où $dx$ est la mesure de Lebesgue, ${\chi }_{\nu }$ est le « caractère » $y\mapsto e^{i2\pi \nu y}$, ${\chi }_{\nu }^{\ast }(x)=\overline{{\chi }_{\nu }(x)}$ et l'intégrale converge dans H. On a cette fois

$ℱ\left[\gamma \left(x\right)f\right]\left(\nu \right)={\chi }_{\nu }^{\ast }(x)ℱ[f]\left(\nu \right)$

et par transformée de Fourier inverse

$f\left(x\right)=\underset{ℝ}{\int }{\chi }_{\nu }(y)ℱ\left[f\right]\left(\nu \right)d\nu$.

En posant ${\mathrm{\Theta }}_{\nu }^{\ast }\left(f\right)=ℱ[f](\nu )$, on appellera formule de Plancherel l'expression équivalente

$f(x)=\underset{ℝ}{\int }{\mathrm{\Theta }}_{\nu }^{\ast }\left(\gamma (-x)f\right)d\nu$.

Soit $H_{\nu }=ℂ{\chi }_{\nu }$ l'espace de Hilbert de dimension 1 engendré par ${\chi }_{\nu }$. Alors H s'identifie à l'ensemble des fonctions (ou, plus exactement, des classes de fonctions modulo l'égalité presque partout) $\hat{f}$ de carré intégrable telles que $\hat{f}(\nu )\in H_{\nu },\mathrm{\forall }\nu \in ℝ$. Si $f\in H_{\nu }$, on a $\gamma (x)f={\chi }_{\nu }^{\ast }(x)f$. La situation est donc semblable à la précédente (si ce n'est qu'au lieu de la cotransformation de Fourier on a considéré cette fois la transformation de Fourier) : la représentation régulière $\gamma$ se décompose en représentations irréductibles $U_{\nu }^{\ast }$ dans les espaces $H_{\nu }$, et $U_{\nu }^{\ast }(x)f={\chi }_{\nu }^{\ast }(x)f$. L'espace de Hilbert H est la somme continue des espaces de Hilbert $H_{\nu }$ et $\gamma$ est la somme continue des « représentations scalaires » (évidemment irréductibles) $U_{\nu }^{\ast }$ relativement à la mesure de Lebesque. À la différence de ce qui précède, les $H_{\nu }$ ne sont pas des sous-espaces de H. On écrit donc $H=\underset{ℝ}{\int }{H}_{\nu }d\nu$ et $\gamma =\underset{ℝ}{\int }{U}_{\nu }^{\ast }d\nu$. L'égalité de Parseval s'écrit ${{\Vert f\Vert }_2}^2={{\Vert ℱ[f]\Vert }_2}^2$.

Transformation de Fourier sur un groupe commutatif

Considérons un groupe commutatif G noté multiplicativement, dont l'élément unité est noté e, et sur lequel on a défini une mesure de Haar $m_G$. Soit $𝐔$ le groupe multiplicatif des nombres complexes de module unitaire. Un caractère unitaire de G est un morphisme de groupes topologiques de G dans $𝐔$. Dans ce qui suit, « caractère » signifie caractère unitaire. L'ensemble des caractères de G forme un groupe multiplicatif et commutatif, noté $\hat{G}$ et appelé le groupe dual de G. Ce groupe est muni de la topologie de la Modèle:Lien, ce qui en fait un groupe topologique localement compact ; il est muni d'une mesure de Haar $m_{\hat{G}}$, unique à la multiplication près par un réel positif. On a $\chi (x^{-1})=\overline{\chi (x)}$ pour tout $x\in G$ car $\chi (x^{-1})\chi (x)=1$ et $\left|\chi \left(x\right)\right|=1$.

Pour $x\in G$ et $\hat{x}\in \hat{G}$, notons $⟨\hat{x},x⟩$ le nombre complexe $\hat{x}(x)$. La transformée de Fourier d'une fonction $f\in L^1(G)$ (où $L^1(G)$ désigne l'espace de Banach des fonctions intégrables sur G) est donnée par

$ℱ\left[f\right]\left(\hat{x}\right)=\underset{G}{\int }\overline{⟨\hat{x},x⟩}f\left(x\right)d{m}_G\left(x\right)$.

Les propriétés suivantes découlent de calculs simples et vont être utiles : soit de nouveau, pour $f\in L^2\left(G\right)$, $\gamma (x)f$ ($x\in G$) la translatée à gauche$y\mapsto f(x^{-1}y)$ ; puisque la mesure de Haar $d{m}_G$ est invariante par translation, on a, si $f\in L^1\left(G\right)\cap L^2\left(G\right)$

$ℱ[\gamma (x)f]\left(\hat{x}\right)=\overline{⟨\hat{x},x⟩}ℱ\left[f\right]\left(\hat{x}\right)$.

Par ailleurs, si $f,g\in L^1(G)$, alors leur convolée $f\star g:x\mapsto \underset{G}{\int }f\left(y\right)g\left(y^{-1}x\right)d{m}_G\left(y\right)$ est encore dans $L^1(G)$, et on a

$ℱ[f\star g]=ℱ\left[f\right]ℱ\left[g\right]$.

En désignant par $\tilde{f}$ la fonction $x\mapsto \overline{f(x^{-1})}$, on a $ℱ\left[\tilde{f}\right]=\overline{ℱ\left[f\right]}$.

Le théorème de Plancherel montre que si $f\in L^1\left(G\right)\cap L^2\left(G\right)$, alors $ℱ\left[f\right]\in L^2\left(\hat{G}\right)$. On peut choisir de manière unique la mesure de Haar $d{m}_{\hat{G}}$ de façon que la transformée de Fourier se prolonge en une isométrie de $L^2(G)$ sur $L^2(\hat{G})$. Cette mesure de Haar $d{m}_{\hat{G}}$ est dite associée à la mesure de Haar $d{m}_G$. En conséquence :

Soit alors $f,g\in L^1\left(G\right)\cap L^2\left(G\right)$ et $h=\gamma (x)(f\star \tilde{g})$, d'où $h(x)=(f\star \tilde{g})(e)$ et $ℱ\left[h\right](\hat{x})=\overline{⟨\hat{x},x⟩}ℱ[f\star \tilde{g}]\left(\hat{x}\right)$, soit encore $ℱ[f\star \tilde{g}]\left(\hat{x}\right)=⟨\hat{x},x⟩ℱ\left[h\right](\hat{x})$. On peut écrire l'égalité de Parseval sous la forme

$(f\star \tilde{g})\left(e\right)=\underset{\hat{G}}{\int }ℱ\left[f\right]\left(\hat{x}\right)\overline{ℱ\left[g\right]\left(\hat{x}\right)}d{m}_{\hat{G}}\left(\hat{x}\right)$ ;

de plus, on a

$ℱ[f\star \tilde{g}](\hat{x})=ℱ[f](\hat{x})ℱ[\tilde{g}](\hat{x})=ℱ\left[f\right]\left(\hat{x}\right)\overline{ℱ\left[g\right]\left(\hat{x}\right)}$.

On obtient de la sorte le résultat suivant, où $A(G)$ désigne le sous-espace vectoriel de $L^1(G)$ engendré par les fonctions $f\star \tilde{g}$ $(f,g\in L^1\left(G\right)\cap L^2\left(G\right))$ :

On peut maintenant énoncer l'un des résultats les plus importants de l'analyse harmonique sur un groupe commutatif :

Posons alors, comme plus haut, ${\mathrm{\Theta }}_{\hat{x}}^{\ast }\left(f\right)=ℱ[f](\hat{x})$ ; avec ces identifications on obtient la formule de Plancherel, valide pour toute fonction $f\in A(G)$ :

$f(x)=\underset{\hat{G}}{\int }{\mathrm{\Theta }}_{\hat{x}}^{\ast }\left(\gamma \left(x^{-1}\right)f\right)d{m}_{\hat{G}}\left(\hat{x}\right)$.

On a montré plus haut comment cette formule se déduit de l'égalité de Parseval. Inversement, l'égalité de Parseval de déduit de cette formule en posant $f=g\star \tilde{h}(g,h\in L^1\left(G\right)\cap L^2\left(G\right))$ et $x=e$. La formule de Plancherel est donc essentiellement équivalente à l'égalité de Parseval.

Interprétation en termes de sommes de représentations irréductibles

Soit $H=L^2(G)$, $\gamma$ la représentation régulière de G, $H_{\hat{x}}$ l'espace de Hilbert de dimension 1 engendré par le caractère $\hat{x}$, et $U_{\hat{x}}$ la représentation « scalaire » de G dans $H_{\hat{x}}$ définie par $U_{\hat{x}}f=\overline{⟨\hat{x},x⟩}f$ puisque pour $x,y\in G,\hat{x}\in \hat{G}$,

$⟨\hat{x},x^{-1}y⟩=⟨\hat{x},x^{-1}⟩⟨\hat{x},y⟩=\overline{⟨\hat{x},x⟩}⟨\hat{x},y⟩$.

L'espace de Hilbert H s'identifie (via la transformation de Fourier) à l'ensemble des fonctions $\hat{f}\in L^2(\hat{G})$ telles que $\hat{f}(\hat{x})\in H_{\hat{x}},\mathrm{\forall }\hat{x}\in \hat{G}$. Par conséquent, H s'identifie à la somme continue d'espaces de Hilbert $\underset{\hat{G}}{\int }{H}_{\hat{x}}d{m}_{\hat{G}}\left(\hat{x}\right)$, et $\gamma$ s'identifie à la somme continue de représentations scalaires $\underset{\hat{G}}{\int }{U}_{\hat{x}}d{m}_{\hat{G}}\left(\hat{x}\right)$. Le résultat suivant, qu'on peut déduire directement du lemme de Schur, reformule partiellement le théorème de dualité de Pontryagin-van Kampen :

Cotransformation de Fourier sur un groupe compact

L'analyse harmonique sur un groupe compact G généralise le développement en série de Fourier d'une fonction périodique, lequel correspond au cas où G est le tore $𝕋$. Tout groupe compact est unimodulaire ; la mesure de Haar $m_G$ est normalisée, de sorte que $m_G(G)=1$. Si $f,g\in L^2(G)$, alors $f\star g$ est une fonction continue sur G ; et puisque $𝒞(G)\subset L^2(G)$, l'espace de Hilbert $H=L^2(G)$ est une algèbre de convolution ; c'est donc une algèbre hilbertienne (voir ci-dessous) munie de l'involution $f\mapsto \tilde{f}:x\mapsto \overline{\stackrel{ˇ}{f}(x)}$ où $\check{f}:x\mapsto f\left(x^{-1}\right)$.

Algèbres hilbertiennes

Une algèbre hilbertienne H est une algèbre involutive (i.e. munie d'une involution $f\mapsto \tilde{f}$) et d'un produit scalaire vérifiant (ainsi que d'autres propriétés) $⟨f,g⟩=⟨\tilde{g},\tilde{f}⟩,\mathrm{\forall }f,g\in H$. Une telle algèbre, quand elle est complète, est la somme hilbertienne d'un ensemble dénombrable de sous-algèbres ${𝔞}_n$:

$H=\underset{n}{⨁}{𝔞}_n$

où chaque ${𝔞}_n$ est simple (i.e. ses seuls idéaux bilatères fermés sont 0 et ${𝔞}_n$) et est un idéal bilatère minimal de H (i.e. tout idéal bilatère de H, inclus dans ${𝔞}_n$, est égal à ${𝔞}_n$). Les ${𝔞}_n$ s'annulent mutuellement (i.e. si $f\in {𝔞}_n$, $f^{\prime }\in {𝔞}_{n^{\prime }}$, $n\ne n^{\prime }$, alors $f\star f^{\prime }=0$, en dénotant par $\star$ le produit dans H). Chaque ${𝔞}_n$ est la somme hibertienne d'idéaux à gauche minimaux ${\Im }_j^{(n)}$ ($j\in J_n$, où $J_n$ est un ensemble dénombrable d'indices) deux à deux isomorphes et orthogonaux, et ${\Im }_j^{(n)}={𝔞}_n\star e_j^{(n)}$ où les $e_j^{(n)}$ sont des idempotents (i.e. $e_j^{(n)}\star e_k^{(n)}={\delta }_{jk}{e}_j^{(n)}$) autoadjoints (i.e. stables par l'involution) minimaux.

Théorème de Peter-Weyl

Soit ${\left(a_j^{(n)}\right)}_{1\le j\le p(n)}$ une base hilbertienne de ${\Im }_1^{\left(n\right)}$ telle que $a_j^{(n)}\in e_j^{(n)}\star {𝔞}_n\star e_1^{(n)}$ et $m_{jk}^{(n)}={\gamma }_n{a}_j^{(n)}\star \widetilde{a_k^{(n)}}$ où ${\gamma }_n$ est un coefficient normalisateur. Les $m_{jk}^{(n)}$ sont les coefficients de $M_n$ ; ils sont autoadjoints et, pour j fixé, forment une base orthonormale de ${\Im }_j^{(n)}$. Quand j, k et n varient, les $m_{jk}^{(n)}$ forment une base hilbertienne de $L^2(G)$. On a les relations

$M_n(xy)=M_n(x)M_n(y),M_n(x^{-1})=(M_n(x){)}^{\ast }$

(où $(.{)}^{\ast }$ est la transposée-conjuguée) qui entraînent que $M_n(x)$ est unitaire. De plus, l'application $x\mapsto M_n(x)$ est continue et est donc une représentation (unitaire continue) de G dans ${ℂ}^{d(n)}$ (muni du produit hermitien habituel). Les représentions $M_n$ sont donc les représentations irréductibles ; leur ensemble, qui est dénombrable, est noté $\hat{G}$, et l'élément générique de $\hat{G}$ est noté $\hat{x}$. On écrira dans ce qui suit $(\hat{x}(x){)}^{\ast }={\hat{x}}^{\ast }(x)$. Le caractère associé à $\hat{x}$ est ${\mathrm{\Theta }}_{\hat{x}}=Tr(\hat{x})$, où $Tr$ désigne la trace ; ceci généralise la notion de caractère d'une représentation d'un groupe fini. Soit $F(\hat{G})=\prod _{\hat{x}\in \hat{G}}{ℂ}^{d(\hat{x})\times d(\hat{x})}$ (où $d(\hat{x})$ est l'ordre de la matrice $\hat{x}$).

Les deux égalités suivantes sont immédiates :

$\overline{ℱ}[f\star g]=\overline{ℱ}[f].\overline{ℱ}[G]$, et $\overline{ℱ}[\gamma (x)f{]}_{\hat{x}}=\hat{x}(x)\overline{ℱ}[f{]}_{\hat{x}}$.

Théorème de Plancherel-Peter-Weyl

Soit $L^2(\hat{G})$ la somme hilbertienne des espaces de Hilbert ${ℂ}^{d(\hat{x})\times d(\hat{x})}$ : $L^2(\hat{G})$ est l'espace des familles $\mathrm{\Phi }=({\mathrm{\Phi }}_{\hat{x}})\in F(\hat{G})$ telles que $\sum _{\hat{x}\in \hat{G}}{\Vert {\mathrm{\Phi }}_{\hat{x}}\Vert }_2^2<\mathrm{\infty }$, muni du produit scalaire

${⟨\mathrm{\Phi },\mathrm{\Psi }⟩}_{L^2\left(\hat{G}\right)}=\sum _{\hat{x}}d(\hat{x})Tr\left\{{\mathrm{\Phi }}_{\hat{x}}^{\ast }{\mathrm{\Psi }}_{\hat{x}}\right\}$.

Ci-dessous, on notera une famille comme une fonction. Le produit scalaire dans $L^2(G)$ est dans ce qui suit

${⟨f,g⟩}_{L^2\left(G\right)}=\underset{G}{\int }\overline{f(x)}g(x)d{m}_G\left(x\right)$.

On inverse la cotransformation de Fourier à partir de l'égalité de Parseval en procédant comme dans le cas commutatif, mutatis mutandis, c'est-à-dire en posant $f=\gamma (x)(\tilde{g}\star h)$, $g,h\in L^2\left(G\right)$. En définissant $A(G)$ comme plus haut, on obtient de cette façon, pour toute fonction $f\in A(G)$ et tout $x\in G$

$f(x)=\sum _{\hat{x}\in \hat{G}}d(\hat{x})Tr\{{\hat{x}}^{\ast }(x)\overline{ℱ}\left[f\right](\hat{x})\}$.

Remarque

La transformation de Fourier sur $L^1(G)$ ou $L^2(G)$ n'est pas compatible avec le produit de convolution dans le cas non commutatif. En effet, supposons qu'on définisse

$ℱ[f{]}_{\hat{x}}=\underset{G}{\int }{\hat{x}}^{\ast }\left(x\right)f(x)d{m}_G(x)$.

On obtient alors $ℱ[f\star g]=ℱ[g]ℱ[f]$, « dont personne ne veut ».

Cotransformation de Fourier sur un groupe de Lie

Formule de Plancherel abstraite

Algèbres de von Neumann

Soit H un espace de Hilbert. Une algèbre $𝒜\subset End(H)$ est une algèbre de von Neumann si elle est stable pour l'involution de $End(H)$ (c'est-à-dire si elle est autoadjointe) et faiblement fermée. Sa norme vérifie ${\Vert u\Vert }^2=\Vert u^{\ast }u\Vert =\Vert u{u}^{\ast }\Vert$, et c'est donc une algèbre stellaire. On désigne par ${𝒜}^{+}$ l'ensemble des opérateurs u autoadjoints positifs (on écrira $u\ge 0$) de $𝒜$. Une trace (au sens de von Neumann) sur une algèbre de von Neumann $𝒜$ est une application $Tr:{𝒜}^{+}\to [0,+\mathrm{\infty }]$ telle que

$Tr\{u+v\}=Tr\left\{u\right\}+Tr\left\{v\right\}$, $Tr\left\{\lambda u\right\}=\lambda Tr\left(u\right)(\lambda \in {ℝ}_{+})$

où l'on convient que $0.(+\mathrm{\infty })=0$, et

$Tr\left\{u{u}^{\ast }\right\}=Tr\left\{u^{\ast }u\right\}$ ($u,v\in 𝒜$).

Une trace est dite finie si elle ne prend que des valeurs finies dans ${𝒜}^{+}$ ; on la prolonge alors à $𝒜$ d'une manière évidente. Elle est dite semi-finie si pour tout $u\in {𝒜}^{+}$

$Tr\left\{u\right\}=\sup \{Tr\left\{v\right\}:0\le v\le u,Tr\left\{v\right\}<+\mathrm{\infty }\}$.

Une algèbre de von Neumann est dite finie (resp. semi-finie) si pour tout $u\in {𝒜}^{+}$, $u\ne 0$, il existe une trace finie (resp. semi-finie) $Tr$ telle que $Tr\left\{u\right\}\ne 0$. Une trace non triviale est une trace qui n'est pas identiquement nulle.

Une algèbre de von Neumann est un facteur si son centre se réduit aux opérateurs scalaires (et est donc isomorphe à $ℂ$). Sur un facteur, une trace non triviale est unique (à la multiplication près par une constante) si elle existe. Les facteurs pour lesquels il n'existe pas de trace non triviale sont dits de type III : ce cas est pathologique. Les autres (auxquels on se restreindra désormais) sont dits de type I ou II. Parmi les facteurs finis, il y a les algèbres de matrices ${𝐌}_n(ℂ)$ ; ces facteurs sont dits de type $I_n$. Parmi les facteurs semi-finis non finis, il y a les algèbres $End(H)$ où H est un espace de Hilbert de dimension infinie ; ces facteurs sont dits de type $I_{\mathrm{\infty }}$. Un facteur de type $I_n$ ou de type $I_{\mathrm{\infty }}$ est dit de type I. Les facteurs qui ne sont ni de type I, ni de type III, sont dits de type II.

Un élément $u\in 𝒜$ est dit de Hilbert-Schmidt relativement à une trace $Tr$ si $Tr\left\{u^{\ast }u\right\}<\mathrm{\infty }$. La norme de Hilbert-Schmidt d'un tel opérateur est ${\Vert u\Vert }_2=\sqrt{Tr\left\{u^{\ast }u\right\}}$.

Théorème de Plancherel-Mautner-Segal

Soit G un groupe, $H=L^2(G)$, $\gamma$ la représentation régulière de G dans H et $𝒜$ l'algèbre de von Neumann engendrée par les $\gamma (x)H,x\in G$. Il découle d'un théorème de Mautner, démontré à partir du lemme de Schur, qu'on peut décomposer $\gamma$ suivant une somme continue

$\gamma =\underset{Z}{\int }{U}_{z}d\pi \left(z\right),L^2(G)=\underset{Z}{\int }{H}_{z}d\pi \left(z\right)$,

où $(Z,\pi )$ est un espace mesuré, chaque $U_z$ est une représentation de G dans $H_z$, $U_z\in {𝒜}_z$, où chaque ${𝒜}_z=End(H_z)$ est un facteur de type I (resp. II), muni d'une trace non triviale $T{r}_z$ (unique à la multiplication près par un coefficient >0) ; les représentations $U_z$ sont dites factorielles de type I (resp. II). Soit, pour $f\in L^2(G)\cap L^1(G)$

$\overline{ℱ}[f](z)=\underset{G}{\int }{U}_z(x)f(x)d{m}_G\left(x\right)$.

Cet opérateur et borné pour tout $z\in Z$ et $\overline{ℱ}\left[f\right]\in F(Z)$ où $F\left(Z\right)=\prod _{z\in Z}{𝒜}_z$.

Soit $L^2(Z)$ la somme continue des espaces de Hilbert ${𝒜}_z$ : $L^2(Z)$ est l'espace des familles $\pi$-mesurables $\mathrm{\Phi }=({\mathrm{\Phi }}_{\hat{x}})\in F(Z)$ telles que $\underset{Z}{\int }{\Vert {\mathrm{\Phi }}_z\Vert }_2^{2}d\pi \left(z\right)<\mathrm{\infty }$ (où ${\Vert {\mathrm{\Phi }}_z\Vert }_2$ est la norme de Hilbert-Schmidt relativement à la trace $T{r}_z$) muni du produit scalaire

${⟨\mathrm{\Phi },\mathrm{\Psi }⟩}_{L^2\left(Z\right)}=\underset{Z}{\int }T{r}_z\left\{{\mathrm{\Phi }}_z^{\ast }{\mathrm{\Psi }}_z\right\}d\pi \left(z\right)$.

Le produit scalaire dans $L^2(G)$ est défini comme dans le cas d'un groupe compact. Par densité de $L^2(G)\cap L^1(G)$ dans $L^2(G)$, on obtient le résultat suivantModèle:, :

Ce théorème implique évidemment que si $f\in L^2\left(G\right)$, alors ${\Vert \overline{ℱ}[f](z)\Vert }_2<\mathrm{\infty }$ $\pi$-presque partout.

L'égalité de Parseval permet d'inverser la cotransformation de Fourier (et de définir ainsi la transformation de Fourier) en suivant la même méthode que celle qui a été utilisée sur un groupe commutatif, puis sur un groupe compact ; en définissant $A(G)$ comme plus haut, on obtient :

Le même raisonnement que dans le cas commutatif montre que l'égalité de Parseval et la formule de Plancherel sont équivalentes.

Cas des « groupes apprivoisés »

Ce qui précède est tout à fait général, les représentations factorielles $U_z$ pouvant être de type I ou II. Néanmoins, les représentations de type II présentent des caractères pathologiques ; en particulier, elles admettent des décompositions en représentations irréductibles non équivalentes, ce qui ne peut pas se produire avec les représentations de type I.

Un groupe G est dit de type I, ou « apprivoisé » (terminologie de Kirillov), si toutes ses représentations factorielles sont de type I. La classe des groupes apprivoisés contient celle des groupes commutatifs, des groupes compacts, des groupes (réels, complexes ou p-adiques) réductifs (et en particulier des groupes de Lie semi-simples) et des groupes de Lie nilpotents. En revanche, il existe des groupes de Lie résolubles et des groupes discrets non commutatifs qui ne sont pas apprivoisés (et sont donc « sauvages »).

Sur un groupe apprivoisé, les représentations factorielles sont irréductibles. En identifiant deux représentations irréductibles équivalentes, l'espace mesuré $(Z,\pi )$ s'identifie donc avec $(\hat{G},m_{\hat{G}})$, l'espace dual du groupe G. Les opérateurs $\hat{f}\left(z\right)$ ci-dessus sont alors des Modèle:Lien au sens usuel, leur trace a sa signification habituelle, et $m_{\hat{G}}$ est appelée la mesure de Plancherel. Dans le cas où G est compact, le théorème de Plancherel-Mautner-Segal se réduit à celui de Plancherel-Peter-Weyl, les espaces $H_z=H_{\hat{x}}$ étant alors de dimension finie, $\hat{G}$ étant discret, $\pi \left(\left\{\hat{x}\right\}\right)$ étant la dimension $d(\hat{x})$ de $H_{\hat{x}}$, et les $\hat{f}\left(z\right)$ étant des matrices carrées d'ordre $d(\hat{x})$.

Théorie de Harish-Chandra

Caractères de Harish-Chandra

Soit G un groupe apprivoisé, par exemple un groupe de Lie semi-simple. Les représentations irréductibles de G ne sont pas de dimension finie en général ; la définition des caractères qui a été donnée à propos des groupes compacts n'est donc plus valide, puisque chaque $\hat{x}(x)$ est un opérateur unitaire dans un espace de Hilbert de dimension infinie, et n'admet donc pas de trace. Soit $𝒟(G)$ l'espace des fonctions indéfiniment dérivables sur G et à support compact, muni de sa topologie habituelle en théorie des distributions. Si $f\in 𝒟(G)$,

$\overline{ℱ}\left[f\right]\left(\hat{x}\right)=\underset{G}{\int }\hat{x}(x)f(x)d{m}_G\left(x\right)$

est un opérateur à trace.

On peut se contenter d'évaluer la formule de Plancherel en $x=e$. Elle peut alors s'interpréter comme un développement sur l'espace dual de la distribution de Dirac :

$\delta =\underset{\hat{G}}{\int }{\mathrm{\Theta }}_{\hat{x}}d{m}_{\hat{G}}\left(\hat{x}\right)$.

Sous-groupes de Cartan, séries discrète et principale

Soit G un groupe de Lie, qu'on supposera semi-simple dans tout ce qui suit. Les représentations irréductibles forment trois « séries ». Les deux qui interviennent dans la formule de Plancherel sont les « séries tempérées ». L'autre, qui donne lieu à des termes globalement de mesure de Plancherel nulle, est la « série complémentaire » ; sa détermination exhaustive dans le cas général reste un problème ouvert, et les deux séries tempérées sont les plus importantes. Un sous-groupe de Cartan est un sous-groupe abélien maximal. Il existe un nombre fini de classes de conjugaison de ces sous-groupes, et chacun d'eux est de la forme $T\times A$ où T est compact et A est isomorphe à ${ℝ}^n$ pour un certain entier n. La série discrète existe si, et seulement s'il existe des sous-groupes de Cartan compacts ; les représentations irréductibles $\hat{x}\in \hat{G}$ de cette série se caractérisent par le fait que $m_{\hat{G}}\left(\left\{\hat{x}\right\}\right)>0$, et leur caractère est analogue à celui obtenu pour les groupes compacts par Peter et Weyl ; les représentations irréductibles de la série discrète ont, comme dans le cas compact, un degré fini, appelé « degré formel », $d(\hat{x})$. Les caractères des représentations irréductibles sont intégrés dans la série principale par rapport à une mesure absolument continue (par rapport à la mesure de Lebesgue) dont la densité est appelée « fonction de Plancherel ».

Dans le cas de $S{L}_2(ℝ)$, il existe deux classes de conjugaison de sous-groupes de Cartan. L'une d'entre elles, à laquelle sera associée la série discrète, est constituée de groupes compacts isomorphes à $𝕋$ :

$T=\{\left(\begin{array}{cc}\cos \theta & \sin \theta \\ -\sin \theta & \cos \theta \end{array}\right):\theta \in 2\pi 𝕋\}$.

L'autre, à laquelle sera associée la série principale, est constituée de groupes isomorphes à $ℝ$ (en passant par le logarithme) :

$A=\{\left(\begin{array}{cc}a& 0\\ 0& a^{-1}\end{array}\right):a>0\}.$

Formule de Plancherel-Harish-Chandra

L'aboutissement des travaux de Harish-Chandra est la formule de Plancherel « explicite », dont la démonstration prend près de 250 pages et qui s'écrit pourtant sous une forme concise :

La première sommation s'effectue sur un ensemble de représentants $H=T\times A$ des classes de conjugaison des sous-groupes de Cartan de G (avec la notation introduite plus haut). La seconde correspond à la série discrète, dont les éléments $\hat{x}\in \hat{T}$ ont pour degré formel $d\left(\hat{x}\right)$. Les $\mathrm{\Theta }(H,\hat{x};\nu )$ sont les caractères de Harish-Chandra. Enfin, $\mu (H,\hat{x};.)$ est la fonction de Plancherel et $d\nu$ est la mesure de Lebesgue. L'avantage de la formule de Plancherel-Harish-Chandra sur la formule de Plancherel abstraite est qu'au lieu que l'intégration soit réalisée par rapport à la mystérieuse mesure de Plancherel, elle consiste maintenant en une somme discrète plus une intégration par rapport à la mesure de Lebesgue.

Dans le cas de $S{L}_2(ℝ)$, la formule de Plancherel-Harish-Chandra s'écrit :

$\begin{array}{c}f\left(e\right)=\sum _{n\in \mathbb{Z}}\left|n\right|\mathrm{\Theta }(T;n)\left(f\right)+\\ +\frac{1}{4}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\mathrm{\Theta }(A,0;\nu )\left(f\right)\mathrm{t}\mathrm{h}\left(\frac{\pi \nu }{2}\right)\mathrm{d}\mathrm{\nu }\\ +\frac{1}{4}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\mathrm{\Theta }(A,1;\nu )\left(f\right)\mathrm{c}\mathrm{o}\mathrm{t}\mathrm{h}\left(\frac{\pi \nu }{2}\right)\mathrm{d}\mathrm{\nu }\mathrm{.}\end{array}$

Le premier terme est la série discrète, dont l'élément (i.e. la représentation irréductible) d'indice n a pour degré formel $\left|n\right|$ ; les deux suivants constituent la série principale. Les $\mathrm{\Theta }(A,\epsilon ;\nu )(\epsilon =0,1)$ sont les caractères de Harish-Chandra, $\nu \mapsto \mathrm{t}\mathrm{h}\left(\frac{\pi \nu }{2}\right)$ et $\nu \mapsto \mathrm{c}\mathrm{o}\mathrm{t}\mathrm{h}\left(\frac{\pi \nu }{2}\right)$ sont les deux fonctions de Plancherel (l'une ou l'autre étant utilisée suivant la valeur de $\epsilon$). On montre qu'il existe en outre deux séries complémentaires.

Notes et références

Références

• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage

Deux ouvrages difficiles qui se complètent. Analyse harmonique non commutative et théorie des nombres. Recueil de textes de conférences données par d'éminents spécialistes, beaucoup d'entre elles proposant des synthèses.

• Modèle:Ouvrage

Algèbres normées, en particulier stellaires, et transformation de Fourier sur un groupe commutatif.

• Modèle:Ouvrage

Cotranformation de Fourier sur un groupe compact.

• Modèle:Ouvrage

Présentation synthétique de la théorie formelle.

• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage

Applications aux sciences de l'ingénieur.

• Modèle:Ouvrage

Théorie spectrale de Hilbert (t. 2), des représentations (t. 5), des fonctions sphériques et de l'analyse harmonique commutative (t. 6). Sur un groupe compact, Dieudonné utilise (§ XXI.4) la transformation (et non la cotransformation) de Fourier, d'où l'incompatibilité (passée sous silence) avec le produit de convolution.

• Modèle:Ouvrage
• Modèle:Ouvrage

Deux ouvrages qui « dominent le sujet » (Dieudonné dixit) et comportent chacun plus de 1000 références. Algèbres de von Neumann, mesure de Plancherel.

• Modèle:Ouvrage

État des connaissances concernant l'analyse harmonique sur les groupes p-adiques, au travers de textes de conférences données par des spécialistes éminents. Pour un lecteur connaissant déjà bien l'analyse harmonique non commutative « classique ».

• Modèle:Ouvrage

Initiation aux notions de base, par l'un des créateurs de la théorie (l'analyse harmonique non commutative n'est pas abordée).

• Modèle:Article
• Modèle:Article
• Modèle:Article, Invent. Math., vol. 36, 1976, Modèle:P., Ann. Math., vol. 104, 1976, Modèle:P..
• Modèle:Article

Les contributions essentielles de Harish-Chandra.

• Modèle:Article

Bon résumé des contributions essentielles de Harish-Chandra.

• Modèle:Ouvrage

Théorie des représentations, introduction à la mesure de Plancherel, par l'un de des principaux créateurs de l'analyse harmonique non commutative (mais cette dernière n'est pas exposée).

• Modèle:Ouvrage

L'étude de $S{L}_2(ℝ)$ est une des meilleures approches pour commencer à étudier de manière sérieuse l'analyse harmonique non commutative. Lang a écrit ce livre pour maîtriser lui-même le sujet « because of the obvious connection with number theory, principally through Langland's conjecture relating representation theory to elliptic curves ».

• Modèle:Article.
• Modèle:Article
• Modèle:Article.
• Modèle:Article
• Modèle:Ouvrage

Ouvrage ayant eu un grand rôle historique.

• Modèle:Article
• Modèle:Article

Les principaux résultats de la thèse de J. Tate sont exposés sous une forme actualisée au chapitre XIV de : Modèle:Ouvrage.

• Modèle:Ouvrage

Ouvrage difficile, orienté vers les applications de l'Analyse harmonique non commutative aux équations aux dérivées partielles.

• Modèle:Ouvrage

Ouvrage difficile, pour une étude approfondie.

• Modèle:Ouvrage

L'un des livres (avec celui de Serge Lang) par lesquels on peut conseiller de commencer l'étude de l'analyse harmonique non commutative.

• Modèle:Article
• Modèle:Ouvrage

Cet ouvrage a joué un rôle historique considérable.

• Modèle:Ouvrage

Livre essentiel (c'est en cela qu'il est « basic ») sur la fonction zêta, la fonction L de Dirichlet, la transformation de Fourier sur les anneaux d'adèles, la théorie des corps de classes. Où il est montré que l'analyse harmonique est un moyen très efficace de présenter la théorie algébrique des nombres.

• Modèle:Ouvrage

Une des principales contributions de Hermann Weyl ; présentation détaillée la théorie des représentations des « groupes classiques » compacts.

Voir aussi

• Analyse harmonique (mathématiques)
• Analyse harmonique sur un groupe abélien fini
• Transformation de Fourier
• Représentations d'un groupe fini
• Théorie des représentations d'un groupe fini

Modèle:Palette Traitement du signal